Trace number 3290874

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 2UNSAT 1151.17 1151.15

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-17.cnf
MD5SUMade81e5508101352b3d942708b201606
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark505.23
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses89966
Sum of the clauses size425665
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216962
Number of clauses of size 310874
Number of clauses of size 412189
Number of clauses of size 522355
Number of clauses of size over 527586

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.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   89966   425665 |   26989       0        0     nan |  0.000 % |
0.00/0.10	c |         0 |   88818   439305 |      --       0       --      -- |     --   | -1148/13640
0.00/0.10	c ==============================================================================
0.00/0.10	c Result  :   #vars: 5924   #clauses: 88818   #literals: 439305
0.00/0.10	c CPU time:   0.096985 s
0.00/0.10	c ==============================================================================
0.00/0.16	c
0.00/0.16	c Starting glucose
0.00/0.16	c
0.16/0.93	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
0.16/0.93	c WARNING: for repeatability, setting FPU to use double precision
0.16/0.93	c ============================[ Problem Statistics ]=============================
0.16/0.93	c |                                                                             |
0.16/0.93	c |  Number of variables:          5924                                         |
0.16/0.93	c |  Number of clauses:           88818                                         |
0.16/0.93	c |  Parse time:                   0.02 s                                       |
0.16/0.93	c |                                                                             |
0.16/0.93	c ============================[ Search Statistics ]==============================
0.16/0.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.16/0.93	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.16/0.93	c ===============================================================================
0.16/0.93	c |      4030 |    5924    88818   439305 |        1     2046     28 |  0.000 % |
0.16/0.93	c |      4797 |    5924    88818   439305 |        1     2813     30 |  0.000 % |
0.16/0.93	c |      5334 |    5924    88818   439305 |        1     3350     31 |  0.000 % |
0.16/0.93	c |      5836 |    5924    88818   439305 |        1     3852     34 |  0.000 % |
0.16/0.93	c |      6313 |    5924    88818   439305 |        1     4329     34 |  0.000 % |
0.16/0.93	c |      6582 |    5924    88818   439305 |        1     4598     35 |  0.000 % |
0.16/0.93	c |      6684 |    5924    88818   439305 |        1     4700     35 |  0.000 % |
0.16/0.93	c |      7248 |    5924    88818   439305 |        1     5264     35 |  0.000 % |
0.16/0.93	c |      7601 |    5924    88818   439305 |        1     5617     34 |  0.000 % |
0.16/0.93	c |      7701 |    5924    88818   439305 |        1     5717     34 |  0.000 % |
0.16/0.93	c |      7895 |    5924    88818   439305 |        1     5911     35 |  0.000 % |
0.16/0.93	c |      7997 |    5924    88818   439305 |        1     6013     35 |  0.000 % |
0.16/0.93	c |      8248 |    5924    88818   439305 |        1     6264     35 |  0.000 % |
0.16/0.93	c |      8704 |    5924    88818   439305 |        1     6720     35 |  0.000 % |
0.16/0.93	c |      8856 |    5924    88818   439305 |        1     6872     35 |  0.000 % |
0.16/0.93	c |      8957 |    5924    88818   439305 |        1     6973     36 |  0.000 % |
0.16/0.93	c |      9063 |    5924    88818   439305 |        1     7079     36 |  0.000 % |
0.16/0.93	c |      9345 |    5924    88818   439305 |        1     7361     36 |  0.000 % |
0.16/0.93	c |      9447 |    5924    88818   439305 |        1     7463     36 |  0.000 % |
0.16/0.93	c |      9899 |    5924    88818   439305 |        1     7915     36 |  0.000 % |
0.16/0.93	c |     10000 |    5924    88818   439305 |        1     8016     36 |  0.000 % |
0.16/0.93	c |     10982 |    5924    88818   439305 |        1     4692     25 |  0.000 % |
0.16/0.93	c |     11423 |    5924    88818   439305 |        1     5133     26 |  0.000 % |
0.16/0.93	c |     12146 |    5924    88818   439305 |        1     5856     30 |  0.000 % |
0.16/0.93	c |     13277 |    5924    88818   439305 |        1     6987     32 |  0.000 % |
0.16/0.93	c |     13377 |    5924    88818   439305 |        1     7087     33 |  0.000 % |
0.16/0.93	c |     13583 |    5924    88818   439305 |        1     7293     33 |  0.000 % |
0.16/0.93	c |     14213 |    5924    88818   439305 |        1     7923     33 |  0.000 % |
0.16/0.93	c |     18620 |    5924    88818   439305 |        1    12330     34 |  0.000 % |
0.16/0.93	c |     19623 |    5924    88818   439305 |        1    13333     36 |  0.000 % |
0.16/0.93	c |     20141 |    5924    88818   439305 |        1     7100     24 |  0.000 % |
0.16/0.93	c |     20241 |    5924    88818   439305 |        1     7200     25 |  0.000 % |
0.16/0.93	c |     20418 |    5924    88818   439305 |        1     7377     25 |  0.000 % |
0.16/0.93	c |     20522 |    5924    88818   439305 |        1     7481     26 |  0.000 % |
0.16/0.93	c |     20746 |    5924    88818   439305 |        1     7705     26 |  0.000 % |
0.16/0.93	c |     21484 |    5924    88818   439305 |        1     8443     27 |  0.000 % |
0.16/0.93	c |     21947 |    5924    88818   439305 |        1     8906     27 |  0.000 % |
0.16/0.93	c |     22188 |    5924    88818   439305 |        1     9147     28 |  0.000 % |
0.16/0.93	c |     22386 |    5924    88818   439305 |        1     9345     28 |  0.000 % |
2.98/3.09	c |     22585 |    5924    88818   439305 |        1     9544     29 |  0.000 % |
2.98/3.09	c |     22686 |    5924    88818   439305 |        1     9645     29 |  0.000 % |
2.98/3.09	c |     22799 |    5924    88818   439305 |        1     9758     29 |  0.000 % |
2.98/3.09	c |     23227 |    5924    88818   439305 |        1    10186     29 |  0.000 % |
2.98/3.09	c |     23541 |    5924    88818   439305 |        1    10500     30 |  0.000 % |
2.98/3.09	c |     23733 |    5924    88818   439305 |        1    10692     30 |  0.000 % |
2.98/3.09	c |     24784 |    5924    88818   439305 |        1    11743     31 |  0.000 % |
2.98/3.09	c |     24997 |    5924    88818   439305 |        1    11956     32 |  0.000 % |
2.98/3.09	c |     25264 |    5924    88818   439305 |        1    12223     32 |  0.000 % |
2.98/3.09	c |     25501 |    5924    88818   439305 |        1    12460     32 |  0.000 % |
2.98/3.09	c |     25609 |    5924    88818   439305 |        1    12568     32 |  0.000 % |
2.98/3.09	c |     25843 |    5924    88818   439305 |        1    12802     33 |  0.000 % |
2.98/3.09	c |     25953 |    5924    88818   439305 |        1    12912     33 |  0.000 % |
2.98/3.09	c |     26927 |    5924    88818   439305 |        1    13886     34 |  0.000 % |
2.98/3.09	c |     27486 |    5924    88818   439305 |        1    14445     34 |  0.000 % |
2.98/3.09	c |     27672 |    5924    88818   439305 |        1    14631     34 |  0.000 % |
2.98/3.09	c |     27923 |    5924    88818   439305 |        1    14882     35 |  0.000 % |
2.98/3.09	c |     29210 |    5924    88818   439305 |        1    16169     35 |  0.000 % |
2.98/3.09	c |     29615 |    5924    88818   439305 |        1    16574     35 |  0.000 % |
2.98/3.09	c |     30035 |    5924    88818   439305 |        1    16994     36 |  0.000 % |
2.98/3.09	c |     30137 |    5924    88818   439305 |        1    17096     36 |  0.000 % |
2.98/3.09	c |     31235 |    5924    88818   439305 |        1    18194     36 |  0.000 % |
2.98/3.09	c |     32934 |    5924    88818   439305 |        1    10626     23 |  0.000 % |
2.98/3.09	c |     33228 |    5924    88818   439305 |        1    10920     24 |  0.000 % |
2.98/3.09	c |     33790 |    5924    88818   439305 |        1    11482     25 |  0.000 % |
2.98/3.09	c |     33890 |    5924    88818   439305 |        1    11582     25 |  0.000 % |
2.98/3.09	c |     35298 |    5924    88818   439305 |        1    12990     28 |  0.000 % |
2.98/3.09	c |     35855 |    5924    88818   439305 |        1    13547     28 |  0.000 % |
2.98/3.09	c |     38373 |    5924    88818   439305 |        1    16065     30 |  0.000 % |
2.98/3.09	c |     39472 |    5924    88818   439305 |        1    17164     31 |  0.000 % |
2.98/3.09	c |     41819 |    5924    88818   439305 |        1    19511     35 |  0.000 % |
2.98/3.09	c |     43336 |    5924    88818   439305 |        1    21028     35 |  0.000 % |
2.98/3.09	c |     44542 |    5924    88818   439305 |        1    22234     35 |  0.000 % |
2.98/3.09	c |     44666 |    5924    88818   439305 |        1    22358     36 |  0.000 % |
2.98/3.09	c |     45212 |    5924    88818   439305 |        1    22904     36 |  0.000 % |
2.98/3.09	c |     45313 |    5924    88818   439305 |        1    23005     36 |  0.000 % |
2.98/3.09	c |     45414 |    5924    88818   439305 |        1    23106     36 |  0.000 % |
2.98/3.09	c |     45519 |    5924    88818   439305 |        1    23211     36 |  0.000 % |
2.98/3.09	c |     48749 |    5924    88818   439305 |        1    14597     25 |  0.000 % |
2.98/3.09	c |     49135 |    5924    88818   439305 |        1    14983     26 |  0.000 % |
2.98/3.09	c |     49458 |    5924    88818   439305 |        1    15306     26 |  0.000 % |
2.98/3.09	c |     50154 |    5924    88818   439305 |        1    16002     27 |  0.000 % |
2.98/3.09	c |     50254 |    5924    88818   439305 |        1    16102     27 |  0.000 % |
2.98/3.09	c |     54252 |    5924    88818   439305 |        1    20100     31 |  0.000 % |
2.98/3.09	c |     62798 |    5924    88818   439305 |        1    28646     35 |  0.000 % |
2.98/3.09	c |     62972 |    5924    88818   439305 |        1    28820     35 |  0.000 % |
2.98/3.09	c |     64422 |    5924    88818   439305 |        1    15856     25 |  0.000 % |
2.98/3.09	c |     65697 |    5924    88818   439305 |        1    17131     27 |  0.000 % |
2.98/3.09	c |     65798 |    5924    88818   439305 |        1    17232     27 |  0.000 % |
2.98/3.09	c |     66865 |    5924    88818   439305 |        1    18299     28 |  0.000 % |
13.08/13.16	c |     69903 |    5924    88818   439305 |        1    21337     30 |  0.000 % |
13.08/13.16	c |     70006 |    5924    88818   439305 |        1    21440     30 |  0.000 % |
13.08/13.16	c |     70143 |    5924    88818   439305 |        1    21577     31 |  0.000 % |
13.08/13.16	c |     76913 |    5924    88818   439305 |        1    28347     34 |  0.000 % |
13.08/13.16	c |     78233 |    5924    88818   439305 |        1    29667     35 |  0.000 % |
13.08/13.16	c |     78803 |    5924    88818   439305 |        1    30237     35 |  0.000 % |
13.08/13.16	c |     83428 |    5924    88818   439305 |        1    17860     23 |  0.000 % |
13.08/13.16	c |     99645 |    5924    88818   439305 |        1    34077     34 |  0.000 % |
13.08/13.16	c |    104036 |    5924    88818   439305 |        1    38468     36 |  0.000 % |
13.08/13.16	c |    104138 |    5924    88818   439305 |        1    38570     36 |  0.000 % |
13.08/13.16	c |    104239 |    5924    88818   439305 |        1    38671     36 |  0.000 % |
13.08/13.16	c |    137125 |    5924    88818   439305 |        1    29749     30 |  0.000 % |
13.08/13.16	c |    137447 |    5924    88818   439305 |        1    30071     30 |  0.000 % |
13.08/13.16	c |    140213 |    5924    88818   439305 |        1    32837     33 |  0.000 % |
13.08/13.16	c |    140481 |    5924    88818   439305 |        1    33105     33 |  0.000 % |
13.08/13.16	c |    140821 |    5924    88818   439305 |        1    33445     33 |  0.000 % |
13.08/13.16	c |    141873 |    5924    88818   439305 |        1    34497     33 |  0.000 % |
13.08/13.16	c |    141987 |    5924    88818   439305 |        1    34611     33 |  0.000 % |
13.08/13.16	c |    143334 |    5924    88818   439305 |        1    35958     34 |  0.000 % |
13.08/13.16	c |    143507 |    5924    88818   439305 |        1    36131     34 |  0.000 % |
13.08/13.16	c |    144333 |    5924    88818   439305 |        1    36957     35 |  0.000 % |
13.08/13.16	c |    167395 |    5924    88818   439305 |        1    35220     30 |  0.000 % |
13.08/13.16	c |    167496 |    5924    88818   439305 |        1    35321     30 |  0.000 % |
13.08/13.16	c |    167729 |    5924    88818   439305 |        1    35554     30 |  0.000 % |
13.08/13.16	c |    174322 |    5924    88818   439305 |        1    42147     32 |  0.000 % |
13.08/13.16	c |    174694 |    5924    88818   439305 |        1    42519     32 |  0.000 % |
13.08/13.16	c |    176068 |    5924    88818   439305 |        1    43893     32 |  0.000 % |
13.08/13.16	c |    176168 |    5924    88818   439305 |        1    43993     32 |  0.000 % |
13.08/13.16	c |    176956 |    5924    88818   439305 |        1    44781     33 |  0.000 % |
13.08/13.16	c |    178299 |    5924    88818   439305 |        1    46124     33 |  0.000 % |
13.08/13.16	c |    178400 |    5924    88818   439305 |        1    46225     33 |  0.000 % |
13.08/13.16	c |    180793 |    5924    88818   439305 |        1    48618     34 |  0.000 % |
13.08/13.16	c |    180912 |    5924    88818   439305 |        1    48737     34 |  0.000 % |
13.08/13.16	c |    181067 |    5924    88818   439305 |        1    48892     34 |  0.000 % |
13.08/13.16	c |    181172 |    5924    88818   439305 |        1    48997     34 |  0.000 % |
13.08/13.16	c |    181273 |    5924    88818   439305 |        1    49098     34 |  0.000 % |
13.08/13.16	c |    181384 |    5924    88818   439305 |        1    49209     34 |  0.000 % |
13.08/13.16	c |    183667 |    5924    88818   439305 |        1    51492     35 |  0.000 % |
13.08/13.16	c |    183767 |    5924    88818   439305 |        1    51592     35 |  0.000 % |
13.08/13.16	c |    189314 |    5924    88818   439305 |        1    29736     24 |  0.000 % |
13.08/13.16	c |    193515 |    5924    88818   439305 |        1    33937     27 |  0.000 % |
13.08/13.16	c |    193770 |    5924    88818   439305 |        1    34192     27 |  0.000 % |
13.08/13.16	c |    193870 |    5924    88818   439305 |        1    34292     27 |  0.000 % |
13.08/13.16	c |    194635 |    5924    88818   439305 |        1    35057     28 |  0.000 % |
13.08/13.16	c |    195017 |    5924    88818   439305 |        1    35439     28 |  0.000 % |
13.08/13.16	c |    195117 |    5924    88818   439305 |        1    35539     28 |  0.000 % |
13.08/13.16	c |    195217 |    5924    88818   439305 |        1    35639     28 |  0.000 % |
13.08/13.16	c |    196407 |    5924    88818   439305 |        1    36829     29 |  0.000 % |
13.08/13.16	c |    197579 |    5924    88818   439305 |        1    38001     30 |  0.000 % |
13.08/13.16	c |    197679 |    5924    88818   439305 |        1    38101     30 |  0.000 % |
24.28/24.35	c |    197801 |    5924    88818   439305 |        1    38223     30 |  0.000 % |
24.28/24.35	c |    198197 |    5924    88818   439305 |        1    38619     30 |  0.000 % |
24.28/24.35	c |    199236 |    5924    88818   439305 |        1    39658     30 |  0.000 % |
24.28/24.35	c |    200634 |    5924    88818   439305 |        1    41056     31 |  0.000 % |
24.28/24.35	c |    202535 |    5924    88818   439305 |        1    42957     32 |  0.000 % |
24.28/24.35	c |    202797 |    5924    88818   439305 |        1    43219     32 |  0.000 % |
24.28/24.35	c |    210432 |    5924    88818   439305 |        1    50854     34 |  0.000 % |
24.28/24.35	c |    210532 |    5924    88818   439305 |        1    50954     34 |  0.000 % |
24.28/24.35	c |    210775 |    5924    88818   439305 |        1    51197     34 |  0.000 % |
24.28/24.35	c |    211551 |    5924    88818   439305 |        1    51973     35 |  0.000 % |
24.28/24.35	c |    214091 |    5924    88818   439305 |        1    54513     35 |  0.000 % |
24.28/24.35	c |    214871 |    5924    88818   439305 |        1    55293     35 |  0.000 % |
24.28/24.35	c |    214971 |    5924    88818   439305 |        1    55393     36 |  0.000 % |
24.28/24.35	c |    217052 |    5924    88818   439305 |        1    57474     36 |  0.000 % |
24.28/24.35	c |    217382 |    5924    88818   439305 |        1    57804     36 |  0.000 % |
24.28/24.35	c |    219830 |    5924    88818   439305 |        1    30250     23 |  0.000 % |
24.28/24.35	c |    219946 |    5924    88818   439305 |        1    30366     23 |  0.000 % |
24.28/24.35	c |    236612 |    5924    88818   439305 |        1    47032     32 |  0.000 % |
24.28/24.35	c |    241253 |    5924    88818   439305 |        1    51673     33 |  0.000 % |
24.28/24.35	c |    242753 |    5924    88818   439305 |        1    53173     33 |  0.000 % |
24.28/24.35	c |    243105 |    5924    88818   439305 |        1    53525     33 |  0.000 % |
24.28/24.35	c |    243415 |    5924    88818   439305 |        1    53835     33 |  0.000 % |
24.28/24.35	c |    246055 |    5924    88818   439305 |        1    56475     34 |  0.000 % |
24.28/24.35	c |    246368 |    5924    88818   439305 |        1    56788     34 |  0.000 % |
24.28/24.35	c |    247759 |    5924    88818   439305 |        1    58179     35 |  0.000 % |
24.28/24.35	c |    255606 |    5924    88818   439305 |        1    33424     25 |  0.000 % |
24.28/24.35	c |    255708 |    5924    88818   439305 |        1    33526     25 |  0.000 % |
24.28/24.35	c |    256098 |    5924    88818   439305 |        1    33916     25 |  0.000 % |
24.28/24.35	c |    256774 |    5924    88818   439305 |        1    34592     26 |  0.000 % |
24.28/24.35	c |    265948 |    5924    88818   439305 |        1    43766     31 |  0.000 % |
24.28/24.35	c |    266050 |    5924    88818   439305 |        1    43868     31 |  0.000 % |
24.28/24.35	c |    266150 |    5924    88818   439305 |        1    43968     31 |  0.000 % |
24.28/24.35	c |    266250 |    5924    88818   439305 |        1    44068     31 |  0.000 % |
24.28/24.35	c |    266353 |    5924    88818   439305 |        1    44171     31 |  0.000 % |
24.28/24.35	c |    267225 |    5924    88818   439305 |        1    45043     31 |  0.000 % |
24.28/24.35	c |    267325 |    5924    88818   439305 |        1    45143     31 |  0.000 % |
24.28/24.35	c |    270049 |    5924    88818   439305 |        1    47867     32 |  0.000 % |
24.28/24.35	c |    270150 |    5924    88818   439305 |        1    47968     32 |  0.000 % |
24.28/24.35	c |    270250 |    5924    88818   439305 |        1    48068     32 |  0.000 % |
24.28/24.35	c |    281821 |    5924    88818   439305 |        1    59639     35 |  0.000 % |
24.28/24.35	c |    290713 |    5924    88818   439305 |        1    68531     37 |  0.000 % |
24.28/24.35	c |    304833 |    5924    88818   439305 |        1    47447     33 |  0.000 % |
24.28/24.35	c |    305162 |    5924    88818   439305 |        1    47776     33 |  0.000 % |
24.28/24.35	c |    305749 |    5924    88818   439305 |        1    48363     34 |  0.000 % |
24.28/24.35	c |    308752 |    5924    88818   439305 |        1    51366     35 |  0.000 % |
24.28/24.35	c |    308973 |    5924    88818   439305 |        1    51587     35 |  0.000 % |
24.28/24.35	c |    309142 |    5924    88818   439305 |        1    51756     35 |  0.000 % |
24.28/24.35	c |    309374 |    5924    88818   439305 |        1    51988     35 |  0.000 % |
24.28/24.35	c |    309474 |    5924    88818   439305 |        1    52088     35 |  0.000 % |
24.28/24.35	c |    311044 |    5924    88818   439305 |        1    53658     35 |  0.000 % |
37.68/37.71	c |    326992 |    5924    88818   439305 |        1    69606     38 |  0.000 % |
37.68/37.71	c |    327170 |    5924    88818   439305 |        1    69784     38 |  0.000 % |
37.68/37.71	c |    327272 |    5924    88818   439305 |        1    69886     38 |  0.000 % |
37.68/37.71	c |    327373 |    5924    88818   439305 |        1    69987     38 |  0.000 % |
37.68/37.71	c |    327637 |    5924    88818   439305 |        1    70251     38 |  0.000 % |
37.68/37.71	c |    327968 |    5924    88818   439305 |        1    70582     38 |  0.000 % |
37.68/37.71	c |    328069 |    5924    88818   439305 |        1    70683     38 |  0.000 % |
37.68/37.71	c |    329518 |    5924    88818   439305 |        1    72132     39 |  0.000 % |
37.68/37.71	c |    331445 |    5924    88818   439305 |        1    74059     39 |  0.000 % |
37.68/37.71	c |    331547 |    5924    88818   439305 |        1    74161     39 |  0.000 % |
37.68/37.71	c |    331648 |    5924    88818   439305 |        1    74262     39 |  0.000 % |
37.68/37.71	c |    331748 |    5924    88818   439305 |        1    74362     39 |  0.000 % |
37.68/37.71	c |    333618 |    5924    88818   439305 |        1    38436     25 |  0.000 % |
37.68/37.71	c |    333718 |    5924    88818   439305 |        1    38536     25 |  0.000 % |
37.68/37.71	c |    334032 |    5924    88818   439305 |        1    38850     25 |  0.000 % |
37.68/37.71	c |    343403 |    5924    88818   439305 |        1    48221     29 |  0.000 % |
37.68/37.71	c |    343597 |    5924    88818   439305 |        1    48415     29 |  0.000 % |
37.68/37.71	c |    343697 |    5924    88818   439305 |        1    48515     29 |  0.000 % |
37.68/37.71	c |    343797 |    5924    88818   439305 |        1    48615     29 |  0.000 % |
37.68/37.71	c |    344624 |    5924    88818   439305 |        1    49442     29 |  0.000 % |
37.68/37.71	c |    344788 |    5924    88818   439305 |        1    49606     29 |  0.000 % |
37.68/37.71	c |    348385 |    5924    88818   439305 |        1    53203     31 |  0.000 % |
37.68/37.71	c |    348485 |    5924    88818   439305 |        1    53303     31 |  0.000 % |
37.68/37.71	c |    363139 |    5924    88818   439305 |        1    67957     34 |  0.000 % |
37.68/37.71	c |    363641 |    5924    88818   439305 |        1    68459     34 |  0.000 % |
37.68/37.71	c |    363742 |    5924    88818   439305 |        1    68560     34 |  0.000 % |
37.68/37.71	c |    364077 |    5924    88818   439305 |        1    68895     34 |  0.000 % |
37.68/37.71	c |    364938 |    5924    88818   439305 |        1    69756     34 |  0.000 % |
37.68/37.71	c |    365059 |    5924    88818   439305 |        1    69877     34 |  0.000 % |
37.68/37.71	c |    365159 |    5924    88818   439305 |        1    69977     34 |  0.000 % |
37.68/37.71	c |    365262 |    5924    88818   439305 |        1    70080     34 |  0.000 % |
37.68/37.71	c |    365364 |    5924    88818   439305 |        1    70182     34 |  0.000 % |
37.68/37.71	c |    365801 |    5924    88818   439305 |        1    70619     34 |  0.000 % |
37.68/37.71	c |    369094 |    5924    88818   439305 |        1    73912     36 |  0.000 % |
37.68/37.71	c |    369424 |    5924    88818   439305 |        1    74242     36 |  0.000 % |
37.68/37.71	c |    377751 |    5924    88818   439305 |        1    42172     25 |  0.000 % |
37.68/37.71	c |    381348 |    5924    88818   439305 |        1    45769     27 |  0.000 % |
37.68/37.71	c |    381448 |    5924    88818   439305 |        1    45869     27 |  0.000 % |
37.68/37.71	c |    383296 |    5924    88818   439305 |        1    47717     28 |  0.000 % |
37.68/37.71	c |    388392 |    5924    88818   439305 |        1    52813     30 |  0.000 % |
37.68/37.71	c |    388594 |    5924    88818   439305 |        1    53015     30 |  0.000 % |
37.68/37.71	c |    390835 |    5924    88818   439305 |        1    55256     31 |  0.000 % |
37.68/37.71	c |    392532 |    5924    88818   439305 |        1    56953     32 |  0.000 % |
37.68/37.71	c |    392712 |    5924    88818   439305 |        1    57133     32 |  0.000 % |
37.68/37.71	c |    402775 |    5924    88818   439305 |        1    67196     34 |  0.000 % |
37.68/37.71	c |    402938 |    5924    88818   439305 |        1    67359     34 |  0.000 % |
37.68/37.71	c |    403600 |    5924    88818   439305 |        1    68021     34 |  0.000 % |
37.68/37.71	c |    423709 |    5924    88818   439305 |        1    45127     25 |  0.000 % |
37.68/37.71	c |    424782 |    5924    88818   439305 |        1    46200     25 |  0.000 % |
37.68/37.71	c |    425204 |    5924    88818   439305 |        1    46622     26 |  0.000 % |
66.87/66.93	c |    425427 |    5924    88818   439305 |        1    46845     26 |  0.000 % |
66.87/66.93	c |    425535 |    5924    88818   439305 |        1    46953     26 |  0.000 % |
66.87/66.93	c |    427689 |    5924    88818   439305 |        1    49107     27 |  0.000 % |
66.87/66.93	c |    427789 |    5924    88818   439305 |        1    49207     27 |  0.000 % |
66.87/66.93	c |    428680 |    5924    88818   439305 |        1    50098     28 |  0.000 % |
66.87/66.93	c |    430270 |    5924    88818   439305 |        1    51688     28 |  0.000 % |
66.87/66.93	c |    448017 |    5924    88818   439305 |        1    69435     34 |  0.000 % |
66.87/66.93	c |    448129 |    5924    88818   439305 |        1    69547     34 |  0.000 % |
66.87/66.93	c |    449055 |    5924    88818   439305 |        1    70473     34 |  0.000 % |
66.87/66.93	c |    449161 |    5924    88818   439305 |        1    70579     34 |  0.000 % |
66.87/66.93	c |    449262 |    5924    88818   439305 |        1    70680     34 |  0.000 % |
66.87/66.93	c |    496412 |    5924    88818   439305 |        1    72232     33 |  0.000 % |
66.87/66.93	c |    498171 |    5924    88818   439305 |        1    73991     34 |  0.000 % |
66.87/66.93	c |    498921 |    5924    88818   439305 |        1    74741     34 |  0.000 % |
66.87/66.93	c |    499319 |    5924    88818   439305 |        1    75139     34 |  0.000 % |
66.87/66.93	c |    511484 |    5924    88818   439305 |        1    87304     36 |  0.000 % |
66.87/66.93	c |    512112 |    5924    88818   439305 |        1    87932     36 |  0.000 % |
66.87/66.93	c |    523727 |    5924    88818   439305 |        1    51347     26 |  0.000 % |
66.87/66.93	c |    523955 |    5924    88818   439305 |        1    51575     26 |  0.000 % |
66.87/66.93	c |    524065 |    5924    88818   439305 |        1    51685     26 |  0.000 % |
66.87/66.93	c |    556349 |    5924    88818   439305 |        1    83969     34 |  0.000 % |
66.87/66.93	c |    578704 |    5924    88818   439305 |        1    55519     27 |  0.000 % |
66.87/66.93	c |    578805 |    5924    88818   439305 |        1    55620     27 |  0.000 % |
66.87/66.93	c |    589899 |    5924    88818   439305 |        1    66714     31 |  0.000 % |
66.87/66.93	c |    590181 |    5924    88818   439305 |        1    66996     31 |  0.000 % |
66.87/66.93	c |    609798 |    5924    88818   439305 |        1    86613     34 |  0.000 % |
66.87/66.93	c |    611810 |    5924    88818   439305 |        1    88625     34 |  0.000 % |
66.87/66.93	c |    611911 |    5924    88818   439305 |        1    88726     34 |  0.000 % |
66.87/66.93	c |    612035 |    5924    88818   439305 |        1    88850     34 |  0.000 % |
66.87/66.93	c |    612701 |    5924    88818   439305 |        1    89516     34 |  0.000 % |
66.87/66.93	c |    614141 |    5924    88818   439305 |        1    90956     35 |  0.000 % |
66.87/66.93	c |    620333 |    5924    88818   439305 |        1    97148     35 |  0.000 % |
66.87/66.93	c |    621420 |    5924    88818   439305 |        1    98235     36 |  0.000 % |
66.87/66.93	c |    621770 |    5924    88818   439305 |        1    98585     36 |  0.000 % |
66.87/66.93	c |    621881 |    5924    88818   439305 |        1    98696     36 |  0.000 % |
66.87/66.93	c |    621981 |    5924    88818   439305 |        1    98796     36 |  0.000 % |
66.87/66.93	c |    622280 |    5924    88818   439305 |        1    99095     36 |  0.000 % |
66.87/66.93	c |    622642 |    5924    88818   439305 |        1    99457     36 |  0.000 % |
66.87/66.93	c |    628306 |    5924    88818   439305 |        1   105121     36 |  0.000 % |
66.87/66.93	c |    644594 |    5924    88818   439305 |        1    68003     29 |  0.000 % |
66.87/66.93	c |    646503 |    5924    88818   439305 |        1    69912     30 |  0.000 % |
66.87/66.93	c |    646749 |    5924    88818   439305 |        1    70158     30 |  0.000 % |
66.87/66.93	c |    646850 |    5924    88818   439305 |        1    70259     30 |  0.000 % |
66.87/66.93	c |    646951 |    5924    88818   439305 |        1    70360     30 |  0.000 % |
66.87/66.93	c |    648771 |    5924    88818   439305 |        1    72180     30 |  0.000 % |
66.87/66.93	c |    648871 |    5924    88818   439305 |        1    72280     30 |  0.000 % |
66.87/66.93	c |    655469 |    5924    88818   439305 |        1    78878     31 |  0.000 % |
66.87/66.93	c |    656623 |    5924    88818   439305 |        1    80032     31 |  0.000 % |
66.87/66.93	c |    658792 |    5924    88818   439305 |        1    82201     32 |  0.000 % |
66.87/66.93	c |    658892 |    5924    88818   439305 |        1    82301     32 |  0.000 % |
92.28/92.35	c |    661252 |    5924    88818   439305 |        1    84661     32 |  0.000 % |
92.28/92.35	c |    661356 |    5924    88818   439305 |        1    84765     32 |  0.000 % |
92.28/92.35	c |    661725 |    5924    88818   439305 |        1    85134     32 |  0.000 % |
92.28/92.35	c |    661827 |    5924    88818   439305 |        1    85236     33 |  0.000 % |
92.28/92.35	c |    663948 |    5924    88818   439305 |        1    87357     33 |  0.000 % |
92.28/92.35	c |    676675 |    5924    88818   439305 |        1   100084     34 |  0.000 % |
92.28/92.35	c |    686494 |    5924    88818   439305 |        1   109903     37 |  0.000 % |
92.28/92.35	c |    689459 |    5924    88818   439305 |        1    56878     25 |  0.000 % |
92.28/92.35	c |    689560 |    5924    88818   439305 |        1    56979     25 |  0.000 % |
92.28/92.35	c |    693364 |    5924    88818   439305 |        1    60783     27 |  0.000 % |
92.28/92.35	c |    732175 |    5924    88818   439305 |        1    99594     34 |  0.000 % |
92.28/92.35	c |    732275 |    5924    88818   439305 |        1    99694     34 |  0.000 % |
92.28/92.35	c |    732375 |    5924    88818   439305 |        1    99794     34 |  0.000 % |
92.28/92.35	c |    732533 |    5924    88818   439305 |        1    99952     34 |  0.000 % |
92.28/92.35	c |    742649 |    5924    88818   439305 |        1   110068     36 |  0.000 % |
92.28/92.35	c |    743491 |    5924    88818   439305 |        1   110910     36 |  0.000 % |
92.28/92.35	c |    743594 |    5924    88818   439305 |        1   111013     36 |  0.000 % |
92.28/92.35	c |    743695 |    5924    88818   439305 |        1   111114     36 |  0.000 % |
92.28/92.35	c |    744010 |    5924    88818   439305 |        1   111429     36 |  0.000 % |
92.28/92.35	c |    744231 |    5924    88818   439305 |        1   111650     36 |  0.000 % |
92.28/92.35	c |    748965 |    5924    88818   439305 |        1   116384     37 |  0.000 % |
92.28/92.35	c |    750527 |    5924    88818   439305 |        1    59349     25 |  0.000 % |
92.28/92.35	c |    756598 |    5924    88818   439305 |        1    65420     27 |  0.000 % |
92.28/92.35	c |    757246 |    5924    88818   439305 |        1    66068     27 |  0.000 % |
92.28/92.35	c |    757346 |    5924    88818   439305 |        1    66168     27 |  0.000 % |
92.28/92.35	c |    757502 |    5924    88818   439305 |        1    66324     27 |  0.000 % |
92.28/92.35	c |    759251 |    5924    88818   439305 |        1    68073     28 |  0.000 % |
92.28/92.35	c |    759409 |    5924    88818   439305 |        1    68231     28 |  0.000 % |
92.28/92.35	c |    760180 |    5924    88818   439305 |        1    69002     28 |  0.000 % |
92.28/92.35	c |    764862 |    5924    88818   439305 |        1    73684     30 |  0.000 % |
92.28/92.35	c |    764962 |    5924    88818   439305 |        1    73784     30 |  0.000 % |
92.28/92.35	c |    765138 |    5924    88818   439305 |        1    73960     30 |  0.000 % |
92.28/92.35	c |    766887 |    5924    88818   439305 |        1    75709     30 |  0.000 % |
92.28/92.35	c |    767447 |    5924    88818   439305 |        1    76269     30 |  0.000 % |
92.28/92.35	c |    767595 |    5924    88818   439305 |        1    76417     30 |  0.000 % |
92.28/92.35	c |    767699 |    5924    88818   439305 |        1    76521     30 |  0.000 % |
92.28/92.35	c |    768966 |    5924    88818   439305 |        1    77788     31 |  0.000 % |
92.28/92.35	c |    769066 |    5924    88818   439305 |        1    77888     31 |  0.000 % |
92.28/92.35	c |    769166 |    5924    88818   439305 |        1    77988     31 |  0.000 % |
92.28/92.35	c |    769266 |    5924    88818   439305 |        1    78088     31 |  0.000 % |
92.28/92.35	c |    773464 |    5924    88818   439305 |        1    82286     32 |  0.000 % |
92.28/92.35	c |    773780 |    5924    88818   439305 |        1    82602     32 |  0.000 % |
92.28/92.35	c |    790239 |    5924    88818   439305 |        1    99061     35 |  0.000 % |
92.28/92.35	c |    792101 |    5924    88818   439305 |        1   100923     35 |  0.000 % |
92.28/92.35	c |    792201 |    5924    88818   439305 |        1   101023     35 |  0.000 % |
92.28/92.35	c |    818450 |    5924    88818   439305 |        1    66070     25 |  0.000 % |
92.28/92.35	c |    820510 |    5924    88818   439305 |        1    68130     26 |  0.000 % |
92.28/92.35	c |    825787 |    5924    88818   439305 |        1    73407     27 |  0.000 % |
92.28/92.35	c |    825894 |    5924    88818   439305 |        1    73514     27 |  0.000 % |
120.88/120.91	c |    828092 |    5924    88818   439305 |        1    75712     28 |  0.000 % |
120.88/120.91	c |    828838 |    5924    88818   439305 |        1    76458     29 |  0.000 % |
120.88/120.91	c |    838822 |    5924    88818   439305 |        1    86442     30 |  0.000 % |
120.88/120.91	c |    839477 |    5924    88818   439305 |        1    87097     30 |  0.000 % |
120.88/120.91	c |    839577 |    5924    88818   439305 |        1    87197     30 |  0.000 % |
120.88/120.91	c |    839825 |    5924    88818   439305 |        1    87445     31 |  0.000 % |
120.88/120.91	c |    839925 |    5924    88818   439305 |        1    87545     31 |  0.000 % |
120.88/120.91	c |    841978 |    5924    88818   439305 |        1    89598     31 |  0.000 % |
120.88/120.91	c |    842220 |    5924    88818   439305 |        1    89840     31 |  0.000 % |
120.88/120.91	c |    850287 |    5924    88818   439305 |        1    97907     33 |  0.000 % |
120.88/120.91	c |    850591 |    5924    88818   439305 |        1    98211     33 |  0.000 % |
120.88/120.91	c |    851109 |    5924    88818   439305 |        1    98729     33 |  0.000 % |
120.88/120.91	c |    851211 |    5924    88818   439305 |        1    98831     33 |  0.000 % |
120.88/120.91	c |    851703 |    5924    88818   439305 |        1    99323     33 |  0.000 % |
120.88/120.91	c |    919888 |    5924    88818   439305 |        1   103704     33 |  0.000 % |
120.88/120.91	c |    921010 |    5924    88818   439305 |        1   104826     33 |  0.000 % |
120.88/120.91	c |    921110 |    5924    88818   439305 |        1   104926     33 |  0.000 % |
120.88/120.91	c |    921210 |    5924    88818   439305 |        1   105026     33 |  0.000 % |
120.88/120.91	c |    921310 |    5924    88818   439305 |        1   105126     33 |  0.000 % |
120.88/120.91	c |    921410 |    5924    88818   439305 |        1   105226     33 |  0.000 % |
120.88/120.91	c |    922927 |    5924    88818   439305 |        1   106743     33 |  0.000 % |
120.88/120.91	c |    934682 |    5924    88818   439305 |        1   118498     34 |  0.000 % |
120.88/120.91	c |    940388 |    5924    88818   439305 |        1   124204     35 |  0.000 % |
120.88/120.91	c |    940577 |    5924    88818   439305 |        1   124393     35 |  0.000 % |
120.88/120.91	c |    953201 |    5924    88818   439305 |        1    70622     26 |  0.000 % |
120.88/120.91	c |    954010 |    5924    88818   439305 |        1    71431     26 |  0.000 % |
120.88/120.91	c |    954110 |    5924    88818   439305 |        1    71531     26 |  0.000 % |
120.88/120.91	c |    954425 |    5924    88818   439305 |        1    71846     26 |  0.000 % |
120.88/120.91	c |    954575 |    5924    88818   439305 |        1    71996     26 |  0.000 % |
120.88/120.91	c |    955235 |    5924    88818   439305 |        1    72656     27 |  0.000 % |
120.88/120.91	c |    955342 |    5924    88818   439305 |        1    72763     27 |  0.000 % |
120.88/120.91	c |    956229 |    5924    88818   439305 |        1    73650     27 |  0.000 % |
120.88/120.91	c |    959797 |    5924    88818   439305 |        1    77218     28 |  0.000 % |
120.88/120.91	c |    959898 |    5924    88818   439305 |        1    77319     28 |  0.000 % |
120.88/120.91	c |    960000 |    5924    88818   439305 |        1    77421     28 |  0.000 % |
120.88/120.91	c |    960806 |    5924    88818   439305 |        1    78227     29 |  0.000 % |
120.88/120.91	c |    961098 |    5924    88818   439305 |        1    78519     29 |  0.000 % |
120.88/120.91	c |    961198 |    5924    88818   439305 |        1    78619     29 |  0.000 % |
120.88/120.91	c |    961299 |    5924    88818   439305 |        1    78720     29 |  0.000 % |
120.88/120.91	c |    967874 |    5924    88818   439305 |        1    85295     30 |  0.000 % |
120.88/120.91	c |    970340 |    5924    88818   439305 |        1    87761     31 |  0.000 % |
120.88/120.91	c |    970442 |    5924    88818   439305 |        1    87863     31 |  0.000 % |
120.88/120.91	c |    970547 |    5924    88818   439305 |        1    87968     31 |  0.000 % |
120.88/120.91	c |    970648 |    5924    88818   439305 |        1    88069     31 |  0.000 % |
120.88/120.91	c |    971087 |    5924    88818   439305 |        1    88508     31 |  0.000 % |
120.88/120.91	c |    974523 |    5924    88818   439305 |        1    91944     31 |  0.000 % |
120.88/120.91	c |    985110 |    5924    88818   439305 |        1   102531     33 |  0.000 % |
120.88/120.91	c |    985699 |    5924    88818   439305 |        1   103120     33 |  0.000 % |
120.88/120.91	c |    985800 |    5924    88818   439305 |        1   103221     33 |  0.000 % |
120.88/120.91	c |    989606 |    5924    88818   439305 |        1   107027     33 |  0.000 % |
147.39/147.41	c |    989706 |    5924    88818   439305 |        1   107127     33 |  0.000 % |
147.39/147.41	c |   1003343 |    5924    88818   439305 |        1   120764     36 |  0.000 % |
147.39/147.41	c |   1004051 |    5924    88818   439305 |        1   121472     36 |  0.000 % |
147.39/147.41	c |   1005158 |    5924    88818   439305 |        1   122579     36 |  0.000 % |
147.39/147.41	c |   1005261 |    5924    88818   439305 |        1   122682     36 |  0.000 % |
147.39/147.41	c |   1005362 |    5924    88818   439305 |        1   122783     36 |  0.000 % |
147.39/147.41	c |   1005465 |    5924    88818   439305 |        1   122886     36 |  0.000 % |
147.39/147.41	c |   1006150 |    5924    88818   439305 |        1   123571     36 |  0.000 % |
147.39/147.41	c |   1006356 |    5924    88818   439305 |        1   123777     36 |  0.000 % |
147.39/147.41	c |   1008269 |    5924    88818   439305 |        1   125690     36 |  0.000 % |
147.39/147.41	c |   1010165 |    5924    88818   439305 |        1   127586     36 |  0.000 % |
147.39/147.41	c |   1010267 |    5924    88818   439305 |        1   127688     36 |  0.000 % |
147.39/147.41	c |   1010367 |    5924    88818   439305 |        1   127788     36 |  0.000 % |
147.39/147.41	c |   1010473 |    5924    88818   439305 |        1   127894     36 |  0.000 % |
147.39/147.41	c |   1010574 |    5924    88818   439305 |        1   127995     36 |  0.000 % |
147.39/147.41	c |   1010941 |    5924    88818   439305 |        1   128362     36 |  0.000 % |
147.39/147.41	c |   1011044 |    5924    88818   439305 |        1   128465     36 |  0.000 % |
147.39/147.41	c |   1011150 |    5924    88818   439305 |        1   128571     36 |  0.000 % |
147.39/147.41	c |   1014237 |    5924    88818   439305 |        1   131658     37 |  0.000 % |
147.39/147.41	c |   1027334 |    5924    88818   439305 |        1    75751     26 |  0.000 % |
147.39/147.41	c |   1040956 |    5924    88818   439305 |        1    89373     30 |  0.000 % |
147.39/147.41	c |   1043573 |    5924    88818   439305 |        1    91990     31 |  0.000 % |
147.39/147.41	c |   1046172 |    5924    88818   439305 |        1    94589     31 |  0.000 % |
147.39/147.41	c |   1050006 |    5924    88818   439305 |        1    98423     32 |  0.000 % |
147.39/147.41	c |   1050360 |    5924    88818   439305 |        1    98777     32 |  0.000 % |
147.39/147.41	c |   1054820 |    5924    88818   439305 |        1   103237     32 |  0.000 % |
147.39/147.41	c |   1058543 |    5924    88818   439305 |        1   106960     33 |  0.000 % |
147.39/147.41	c |   1074265 |    5924    88818   439305 |        1   122682     36 |  0.000 % |
147.39/147.41	c |   1074731 |    5924    88818   439305 |        1   123148     36 |  0.000 % |
147.39/147.41	c |   1074831 |    5924    88818   439305 |        1   123248     36 |  0.000 % |
147.39/147.41	c |   1081399 |    5924    88818   439305 |        1   129816     37 |  0.000 % |
147.39/147.41	c |   1082863 |    5924    88818   439305 |        1   131280     38 |  0.000 % |
147.39/147.41	c |   1082963 |    5924    88818   439305 |        1   131380     38 |  0.000 % |
147.39/147.41	c |   1083063 |    5924    88818   439305 |        1   131480     38 |  0.000 % |
147.39/147.41	c |   1083165 |    5924    88818   439305 |        1   131582     38 |  0.000 % |
147.39/147.41	c |   1083322 |    5924    88818   439305 |        1   131739     38 |  0.000 % |
147.39/147.41	c |   1083431 |    5924    88818   439305 |        1   131848     38 |  0.000 % |
147.39/147.41	c |   1083623 |    5924    88818   439305 |        1   132040     38 |  0.000 % |
147.39/147.41	c |   1090897 |    5924    88818   439305 |        1   139314     38 |  0.000 % |
147.39/147.41	c |   1104718 |    5924    88818   439305 |        1    81537     29 |  0.000 % |
147.39/147.41	c |   1104820 |    5924    88818   439305 |        1    81639     29 |  0.000 % |
147.39/147.41	c |   1105481 |    5924    88818   439305 |        1    82300     29 |  0.000 % |
147.39/147.41	c |   1115803 |    5924    88818   439305 |        1    92622     33 |  0.000 % |
147.39/147.41	c |   1115943 |    5924    88818   439305 |        1    92762     33 |  0.000 % |
147.39/147.41	c |   1117425 |    5924    88818   439305 |        1    94244     33 |  0.000 % |
147.39/147.41	c |   1117737 |    5924    88818   439305 |        1    94556     33 |  0.000 % |
147.39/147.41	c |   1129284 |    5924    88818   439305 |        1   106103     35 |  0.000 % |
147.39/147.41	c |   1130085 |    5924    88818   439305 |        1   106904     35 |  0.000 % |
147.39/147.41	c |   1130185 |    5924    88818   439305 |        1   107004     35 |  0.000 % |
147.39/147.41	c |   1131807 |    5924    88818   439305 |        1   108626     35 |  0.000 % |
169.48/169.57	c |   1131909 |    5924    88818   439305 |        1   108728     35 |  0.000 % |
169.48/169.57	c |   1132606 |    5924    88818   439305 |        1   109425     35 |  0.000 % |
169.48/169.57	c |   1140367 |    5924    88818   439305 |        1   117186     35 |  0.000 % |
169.48/169.57	c |   1140468 |    5924    88818   439305 |        1   117287     35 |  0.000 % |
169.48/169.57	c |   1141069 |    5924    88818   439305 |        1   117888     35 |  0.000 % |
169.48/169.57	c |   1141917 |    5924    88818   439305 |        1   118736     35 |  0.000 % |
169.48/169.57	c |   1148702 |    5924    88818   439305 |        1   125521     36 |  0.000 % |
169.48/169.57	c |   1148802 |    5924    88818   439305 |        1   125621     36 |  0.000 % |
169.48/169.57	c |   1150187 |    5924    88818   439305 |        1   127006     36 |  0.000 % |
169.48/169.57	c |   1174407 |    5924    88818   439305 |        1    77024     25 |  0.000 % |
169.48/169.57	c |   1174564 |    5924    88818   439305 |        1    77181     25 |  0.000 % |
169.48/169.57	c |   1178165 |    5924    88818   439305 |        1    80782     26 |  0.000 % |
169.48/169.57	c |   1178475 |    5924    88818   439305 |        1    81092     26 |  0.000 % |
169.48/169.57	c |   1178640 |    5924    88818   439305 |        1    81257     26 |  0.000 % |
169.48/169.57	c |   1178933 |    5924    88818   439305 |        1    81550     27 |  0.000 % |
169.48/169.57	c |   1179116 |    5924    88818   439305 |        1    81733     27 |  0.000 % |
169.48/169.57	c |   1181909 |    5924    88818   439305 |        1    84526     28 |  0.000 % |
169.48/169.57	c |   1182087 |    5924    88818   439305 |        1    84704     28 |  0.000 % |
169.48/169.57	c |   1182356 |    5924    88818   439305 |        1    84973     28 |  0.000 % |
169.48/169.57	c |   1182456 |    5924    88818   439305 |        1    85073     28 |  0.000 % |
169.48/169.57	c |   1184564 |    5924    88818   439305 |        1    87181     29 |  0.000 % |
169.48/169.57	c |   1184886 |    5924    88818   439305 |        1    87503     29 |  0.000 % |
169.48/169.57	c |   1184986 |    5924    88818   439305 |        1    87603     29 |  0.000 % |
169.48/169.57	c |   1185218 |    5924    88818   439305 |        1    87835     29 |  0.000 % |
169.48/169.57	c |   1185554 |    5924    88818   439305 |        1    88171     29 |  0.000 % |
169.48/169.57	c |   1185655 |    5924    88818   439305 |        1    88272     29 |  0.000 % |
169.48/169.57	c |   1185914 |    5924    88818   439305 |        1    88531     29 |  0.000 % |
169.48/169.57	c |   1188254 |    5924    88818   439305 |        1    90871     30 |  0.000 % |
169.48/169.57	c |   1196430 |    5924    88818   439305 |        1    99047     32 |  0.000 % |
169.48/169.57	c |   1196742 |    5924    88818   439305 |        1    99359     32 |  0.000 % |
169.48/169.57	c |   1197507 |    5924    88818   439305 |        1   100124     32 |  0.000 % |
169.48/169.57	c |   1197884 |    5924    88818   439305 |        1   100501     32 |  0.000 % |
169.48/169.57	c |   1198919 |    5924    88818   439305 |        1   101536     32 |  0.000 % |
169.48/169.57	c |   1205389 |    5924    88818   439305 |        1   108006     33 |  0.000 % |
169.48/169.57	c |   1205491 |    5924    88818   439305 |        1   108108     33 |  0.000 % |
169.48/169.57	c |   1208081 |    5924    88818   439305 |        1   110698     33 |  0.000 % |
169.48/169.57	c |   1208412 |    5924    88818   439305 |        1   111029     33 |  0.000 % |
169.48/169.57	c |   1209115 |    5924    88818   439305 |        1   111732     33 |  0.000 % |
169.48/169.57	c |   1209216 |    5924    88818   439305 |        1   111833     34 |  0.000 % |
169.48/169.57	c |   1209895 |    5924    88818   439305 |        1   112512     34 |  0.000 % |
169.48/169.57	c |   1220915 |    5924    88818   439305 |        1   123532     35 |  0.000 % |
169.48/169.57	c |   1221661 |    5924    88818   439305 |        1   124278     35 |  0.000 % |
169.48/169.57	c |   1221763 |    5924    88818   439305 |        1   124380     35 |  0.000 % |
169.48/169.57	c |   1221868 |    5924    88818   439305 |        1   124485     35 |  0.000 % |
169.48/169.57	c |   1223459 |    5924    88818   439305 |        1   126076     35 |  0.000 % |
169.48/169.57	c |   1237450 |    5924    88818   439305 |        1   140067     37 |  0.000 % |
169.48/169.57	c |   1240586 |    5924    88818   439305 |        1   143203     37 |  0.000 % |
169.48/169.57	c |   1241043 |    5924    88818   439305 |        1   143660     37 |  0.000 % |
169.48/169.57	c |   1241411 |    5924    88818   439305 |        1   144028     37 |  0.000 % |
169.48/169.57	c |   1241679 |    5924    88818   439305 |        1   144296     37 |  0.000 % |
229.28/229.36	c |   1243364 |    5924    88818   439305 |        1   145981     38 |  0.000 % |
229.28/229.36	c |   1244790 |    5924    88818   439305 |        1   147407     38 |  0.000 % |
229.28/229.36	c |   1244949 |    5924    88818   439305 |        1   147566     38 |  0.000 % |
229.28/229.36	c |   1245102 |    5924    88818   439305 |        1   147719     38 |  0.000 % |
229.28/229.36	c |   1245595 |    5924    88818   439305 |        1   148212     38 |  0.000 % |
229.28/229.36	c |   1246086 |    5924    88818   439305 |        1   148703     38 |  0.000 % |
229.28/229.36	c |   1266558 |    5924    88818   439305 |        1    92371     28 |  0.000 % |
229.28/229.36	c |   1266734 |    5924    88818   439305 |        1    92547     28 |  0.000 % |
229.28/229.36	c |   1268682 |    5924    88818   439305 |        1    94495     28 |  0.000 % |
229.28/229.36	c |   1272086 |    5924    88818   439305 |        1    97899     29 |  0.000 % |
229.28/229.36	c |   1279408 |    5924    88818   439305 |        1   105221     30 |  0.000 % |
229.28/229.36	c |   1279648 |    5924    88818   439305 |        1   105461     31 |  0.000 % |
229.28/229.36	c |   1279749 |    5924    88818   439305 |        1   105562     31 |  0.000 % |
229.28/229.36	c |   1281266 |    5924    88818   439305 |        1   107079     31 |  0.000 % |
229.28/229.36	c |   1285831 |    5924    88818   439305 |        1   111644     32 |  0.000 % |
229.28/229.36	c |   1295362 |    5924    88818   439305 |        1   121175     34 |  0.000 % |
229.28/229.36	c |   1295463 |    5924    88818   439305 |        1   121276     34 |  0.000 % |
229.28/229.36	c |   1295563 |    5924    88818   439305 |        1   121376     34 |  0.000 % |
229.28/229.36	c |   1298655 |    5924    88818   439305 |        1   124468     35 |  0.000 % |
229.28/229.36	c |   1298757 |    5924    88818   439305 |        1   124570     35 |  0.000 % |
229.28/229.36	c |   1298858 |    5924    88818   439305 |        1   124671     35 |  0.000 % |
229.28/229.36	c |   1298973 |    5924    88818   439305 |        1   124786     35 |  0.000 % |
229.28/229.36	c |   1299073 |    5924    88818   439305 |        1   124886     35 |  0.000 % |
229.28/229.36	c |   1299175 |    5924    88818   439305 |        1   124988     35 |  0.000 % |
229.28/229.36	c |   1303324 |    5924    88818   439305 |        1   129137     35 |  0.000 % |
229.28/229.36	c |   1303436 |    5924    88818   439305 |        1   129249     35 |  0.000 % |
229.28/229.36	c |   1303536 |    5924    88818   439305 |        1   129349     35 |  0.000 % |
229.28/229.36	c |   1303644 |    5924    88818   439305 |        1   129457     35 |  0.000 % |
229.28/229.36	c |   1303747 |    5924    88818   439305 |        1   129560     35 |  0.000 % |
229.28/229.36	c |   1303847 |    5924    88818   439305 |        1   129660     35 |  0.000 % |
229.28/229.36	c |   1304030 |    5924    88818   439305 |        1   129843     35 |  0.000 % |
229.28/229.36	c |   1316570 |    5924    88818   439305 |        1   142383     37 |  0.000 % |
229.28/229.36	c |   1316959 |    5924    88818   439305 |        1   142772     37 |  0.000 % |
229.28/229.36	c |   1317528 |    5924    88818   439305 |        1   143341     37 |  0.000 % |
229.28/229.36	c |   1317730 |    5924    88818   439305 |        1   143543     37 |  0.000 % |
229.28/229.36	c |   1317836 |    5924    88818   439305 |        1   143649     37 |  0.000 % |
229.28/229.36	c |   1319426 |    5924    88818   439305 |        1   145239     37 |  0.000 % |
229.28/229.36	c |   1324033 |    5924    88818   439305 |        1   149846     38 |  0.000 % |
229.28/229.36	c |   1326702 |    5924    88818   439305 |        1   152515     38 |  0.000 % |
229.28/229.36	c |   1328844 |    5924    88818   439305 |        1   154657     38 |  0.000 % |
229.28/229.36	c |   1330553 |    5924    88818   439305 |        1   156366     38 |  0.000 % |
229.28/229.36	c |   1336185 |    5924    88818   439305 |        1    82596     26 |  0.000 % |
229.28/229.36	c |   1336289 |    5924    88818   439305 |        1    82700     26 |  0.000 % |
229.28/229.36	c |   1336389 |    5924    88818   439305 |        1    82800     26 |  0.000 % |
229.28/229.36	c |   1336491 |    5924    88818   439305 |        1    82902     26 |  0.000 % |
229.28/229.36	c |   1336626 |    5924    88818   439305 |        1    83037     26 |  0.000 % |
229.28/229.36	c |   1363241 |    5924    88818   439305 |        1   109652     30 |  0.000 % |
229.28/229.36	c |   1363539 |    5924    88818   439305 |        1   109950     30 |  0.000 % |
229.28/229.36	c |   1363639 |    5924    88818   439305 |        1   110050     30 |  0.000 % |
229.28/229.36	c |   1534090 |    5924    88818   439305 |        1   113911     31 |  0.000 % |
291.08/291.15	c |   1534334 |    5924    88818   439305 |        1   114155     31 |  0.000 % |
291.08/291.15	c |   1534440 |    5924    88818   439305 |        1   114261     31 |  0.000 % |
291.08/291.15	c |   1535717 |    5924    88818   439305 |        1   115538     31 |  0.000 % |
291.08/291.15	c |   1535861 |    5924    88818   439305 |        1   115682     31 |  0.000 % |
291.08/291.15	c |   1535963 |    5924    88818   439305 |        1   115784     31 |  0.000 % |
291.08/291.15	c |   1572934 |    5924    88818   439305 |        1   152755     35 |  0.000 % |
291.08/291.15	c |   1573035 |    5924    88818   439305 |        1   152856     35 |  0.000 % |
291.08/291.15	c |   1573138 |    5924    88818   439305 |        1   152959     35 |  0.000 % |
291.08/291.15	c |   1574682 |    5924    88818   439305 |        1   154503     35 |  0.000 % |
291.08/291.15	c |   1574943 |    5924    88818   439305 |        1   154764     35 |  0.000 % |
291.08/291.15	c |   1575043 |    5924    88818   439305 |        1   154864     35 |  0.000 % |
291.08/291.15	c |   1577359 |    5924    88818   439305 |        1   157180     36 |  0.000 % |
291.08/291.15	c |   1577459 |    5924    88818   439305 |        1   157280     36 |  0.000 % |
291.08/291.15	c |   1584118 |    5924    88818   439305 |        1   163939     36 |  0.000 % |
291.08/291.15	c |   1607475 |    5924    88818   439305 |        1   100093     27 |  0.000 % |
291.08/291.15	c |   1607575 |    5924    88818   439305 |        1   100193     27 |  0.000 % |
291.08/291.15	c |   1622636 |    5924    88818   439305 |        1   115254     29 |  0.000 % |
291.08/291.15	c |   1640431 |    5924    88818   439305 |        1   133049     32 |  0.000 % |
291.08/291.15	c |   1644295 |    5924    88818   439305 |        1   136913     32 |  0.000 % |
291.08/291.15	c |   1648484 |    5924    88818   439305 |        1   141102     33 |  0.000 % |
291.08/291.15	c |   1648586 |    5924    88818   439305 |        1   141204     33 |  0.000 % |
291.08/291.15	c |   1648752 |    5924    88818   439305 |        1   141370     33 |  0.000 % |
291.08/291.15	c |   1653395 |    5924    88818   439305 |        1   146013     33 |  0.000 % |
291.08/291.15	c |   1654148 |    5924    88818   439305 |        1   146766     33 |  0.000 % |
291.08/291.15	c |   1654248 |    5924    88818   439305 |        1   146866     33 |  0.000 % |
291.08/291.15	c |   1654352 |    5924    88818   439305 |        1   146970     33 |  0.000 % |
291.08/291.15	c |   1699987 |    5924    88818   439305 |        1   102805     27 |  0.000 % |
291.08/291.15	c |   1700088 |    5924    88818   439305 |        1   102906     27 |  0.000 % |
291.08/291.15	c |   1703471 |    5924    88818   439305 |        1   106289     28 |  0.000 % |
291.08/291.15	c |   1703571 |    5924    88818   439305 |        1   106389     28 |  0.000 % |
291.08/291.15	c |   1704211 |    5924    88818   439305 |        1   107029     28 |  0.000 % |
291.08/291.15	c |   1705177 |    5924    88818   439305 |        1   107995     28 |  0.000 % |
291.08/291.15	c |   1720756 |    5924    88818   439305 |        1   123574     30 |  0.000 % |
291.08/291.15	c |   1721843 |    5924    88818   439305 |        1   124661     30 |  0.000 % |
291.08/291.15	c |   1721943 |    5924    88818   439305 |        1   124761     30 |  0.000 % |
291.08/291.15	c |   1725830 |    5924    88818   439305 |        1   128648     30 |  0.000 % |
291.08/291.15	c |   1732667 |    5924    88818   439305 |        1   135485     31 |  0.000 % |
291.08/291.15	c |   1732767 |    5924    88818   439305 |        1   135585     31 |  0.000 % |
291.08/291.15	c |   1746956 |    5924    88818   439305 |        1   149774     32 |  0.000 % |
291.08/291.15	c |   1747309 |    5924    88818   439305 |        1   150127     32 |  0.000 % |
291.08/291.15	c |   1748518 |    5924    88818   439305 |        1   151336     33 |  0.000 % |
291.08/291.15	c |   1748688 |    5924    88818   439305 |        1   151506     33 |  0.000 % |
291.08/291.15	c |   1752571 |    5924    88818   439305 |        1   155389     33 |  0.000 % |
291.08/291.15	c |   1775731 |    5924    88818   439305 |        1   178549     35 |  0.000 % |
291.08/291.15	c |   1775834 |    5924    88818   439305 |        1   178652     35 |  0.000 % |
291.08/291.15	c |   1776080 |    5924    88818   439305 |        1   178898     35 |  0.000 % |
291.08/291.15	c |   1776353 |    5924    88818   439305 |        1   179171     35 |  0.000 % |
291.08/291.15	c |   1810276 |    5924    88818   439305 |        1   120691     32 |  0.000 % |
291.08/291.15	c |   1810740 |    5924    88818   439305 |        1   121155     33 |  0.000 % |
291.08/291.15	c |   1810841 |    5924    88818   439305 |        1   121256     33 |  0.000 % |
353.69/353.77	c |   1810965 |    5924    88818   439305 |        1   121380     33 |  0.000 % |
353.69/353.77	c |   1814426 |    5924    88818   439305 |        1   124841     33 |  0.000 % |
353.69/353.77	c |   1814857 |    5924    88818   439305 |        1   125272     33 |  0.000 % |
353.69/353.77	c |   1814957 |    5924    88818   439305 |        1   125372     33 |  0.000 % |
353.69/353.77	c |   1816736 |    5924    88818   439305 |        1   127151     33 |  0.000 % |
353.69/353.77	c |   1816841 |    5924    88818   439305 |        1   127256     33 |  0.000 % |
353.69/353.77	c |   1817709 |    5924    88818   439305 |        1   128124     33 |  0.000 % |
353.69/353.77	c |   1848113 |    5924    88818   439305 |        1   158528     35 |  0.000 % |
353.69/353.77	c |   1850926 |    5924    88818   439305 |        1   161341     36 |  0.000 % |
353.69/353.77	c |   1855017 |    5924    88818   439305 |        1   165432     36 |  0.000 % |
353.69/353.77	c |   1855209 |    5924    88818   439305 |        1   165624     36 |  0.000 % |
353.69/353.77	c |   1855309 |    5924    88818   439305 |        1   165724     36 |  0.000 % |
353.69/353.77	c |   1856139 |    5924    88818   439305 |        1   166554     36 |  0.000 % |
353.69/353.77	c |   1866412 |    5924    88818   439305 |        1   176827     37 |  0.000 % |
353.69/353.77	c |   1893929 |    5924    88818   439305 |        1   109339     28 |  0.000 % |
353.69/353.77	c |   1895899 |    5924    88818   439305 |        1   111309     28 |  0.000 % |
353.69/353.77	c |   1897797 |    5924    88818   439305 |        1   113207     29 |  0.000 % |
353.69/353.77	c |   1955939 |    5924    88818   439305 |        1   171349     34 |  0.000 % |
353.69/353.77	c |   1956040 |    5924    88818   439305 |        1   171450     34 |  0.000 % |
353.69/353.77	c |   1956140 |    5924    88818   439305 |        1   171550     34 |  0.000 % |
353.69/353.77	c |   1956466 |    5924    88818   439305 |        1   171876     34 |  0.000 % |
353.69/353.77	c |   2011078 |    5924    88818   439305 |        1   128902     29 |  0.000 % |
353.69/353.77	c |   2012667 |    5924    88818   439305 |        1   130491     29 |  0.000 % |
353.69/353.77	c |   2019017 |    5924    88818   439305 |        1   136841     30 |  0.000 % |
353.69/353.77	c |   2019118 |    5924    88818   439305 |        1   136942     30 |  0.000 % |
353.69/353.77	c |   2022834 |    5924    88818   439305 |        1   140658     31 |  0.000 % |
353.69/353.77	c |   2023026 |    5924    88818   439305 |        1   140850     31 |  0.000 % |
353.69/353.77	c |   2023183 |    5924    88818   439305 |        1   141007     31 |  0.000 % |
353.69/353.77	c |   2023284 |    5924    88818   439305 |        1   141108     31 |  0.000 % |
353.69/353.77	c |   2023548 |    5924    88818   439305 |        1   141372     31 |  0.000 % |
353.69/353.77	c |   2024199 |    5924    88818   439305 |        1   142023     31 |  0.000 % |
353.69/353.77	c |   2024299 |    5924    88818   439305 |        1   142123     31 |  0.000 % |
353.69/353.77	c |   2031752 |    5924    88818   439305 |        1   149576     32 |  0.000 % |
353.69/353.77	c |   2031852 |    5924    88818   439305 |        1   149676     32 |  0.000 % |
353.69/353.77	c |   2032099 |    5924    88818   439305 |        1   149923     32 |  0.000 % |
353.69/353.77	c |   2032199 |    5924    88818   439305 |        1   150023     32 |  0.000 % |
353.69/353.77	c |   2032299 |    5924    88818   439305 |        1   150123     32 |  0.000 % |
353.69/353.77	c |   2032401 |    5924    88818   439305 |        1   150225     32 |  0.000 % |
353.69/353.77	c |   2033587 |    5924    88818   439305 |        1   151411     32 |  0.000 % |
353.69/353.77	c |   2033881 |    5924    88818   439305 |        1   151705     32 |  0.000 % |
353.69/353.77	c |   2056386 |    5924    88818   439305 |        1   174210     35 |  0.000 % |
353.69/353.77	c |   2061544 |    5924    88818   439305 |        1   179368     35 |  0.000 % |
353.69/353.77	c |   2062440 |    5924    88818   439305 |        1   180264     35 |  0.000 % |
353.69/353.77	c |   2064875 |    5924    88818   439305 |        1   182699     35 |  0.000 % |
353.69/353.77	c |   2065269 |    5924    88818   439305 |        1   183093     35 |  0.000 % |
353.69/353.77	c |   2071420 |    5924    88818   439305 |        1   189244     36 |  0.000 % |
353.69/353.77	c |   2072019 |    5924    88818   439305 |        1   189843     36 |  0.000 % |
353.69/353.77	c |   2077152 |    5924    88818   439305 |        1   194976     36 |  0.000 % |
353.69/353.77	c |   2077253 |    5924    88818   439305 |        1   195077     36 |  0.000 % |
353.69/353.77	c |   2078473 |    5924    88818   439305 |        1   196297     36 |  0.000 % |
473.19/473.23	c |   2081042 |    5924    88818   439305 |        1   198866     36 |  0.000 % |
473.19/473.23	c |   2082480 |    5924    88818   439305 |        1   200304     36 |  0.000 % |
473.19/473.23	c |   2084530 |    5924    88818   439305 |        1   102148     25 |  0.000 % |
473.19/473.23	c |   2099116 |    5924    88818   439305 |        1   116734     26 |  0.000 % |
473.19/473.23	c |   2099524 |    5924    88818   439305 |        1   117142     26 |  0.000 % |
473.19/473.23	c |   2106880 |    5924    88818   439305 |        1   124498     27 |  0.000 % |
473.19/473.23	c |   2106982 |    5924    88818   439305 |        1   124600     27 |  0.000 % |
473.19/473.23	c |   2108554 |    5924    88818   439305 |        1   126172     28 |  0.000 % |
473.19/473.23	c |   2108655 |    5924    88818   439305 |        1   126273     28 |  0.000 % |
473.19/473.23	c |   2109293 |    5924    88818   439305 |        1   126911     28 |  0.000 % |
473.19/473.23	c |   2111666 |    5924    88818   439305 |        1   129284     28 |  0.000 % |
473.19/473.23	c |   2119302 |    5924    88818   439305 |        1   136920     29 |  0.000 % |
473.19/473.23	c |   2119457 |    5924    88818   439305 |        1   137075     29 |  0.000 % |
473.19/473.23	c |   2214861 |    5924    88818   439305 |        1   129675     30 |  0.000 % |
473.19/473.23	c |   2214963 |    5924    88818   439305 |        1   129777     30 |  0.000 % |
473.19/473.23	c |   2215326 |    5924    88818   439305 |        1   130140     30 |  0.000 % |
473.19/473.23	c |   2215428 |    5924    88818   439305 |        1   130242     30 |  0.000 % |
473.19/473.23	c |   2239221 |    5924    88818   439305 |        1   154035     34 |  0.000 % |
473.19/473.23	c |   2239858 |    5924    88818   439305 |        1   154672     34 |  0.000 % |
473.19/473.23	c |   2266806 |    5924    88818   439305 |        1   181620     35 |  0.000 % |
473.19/473.23	c |   2266907 |    5924    88818   439305 |        1   181721     35 |  0.000 % |
473.19/473.23	c |   2268089 |    5924    88818   439305 |        1   182903     35 |  0.000 % |
473.19/473.23	c |   2268190 |    5924    88818   439305 |        1   183004     35 |  0.000 % |
473.19/473.23	c |   2268290 |    5924    88818   439305 |        1   183104     35 |  0.000 % |
473.19/473.23	c |   2270324 |    5924    88818   439305 |        1   185138     35 |  0.000 % |
473.19/473.23	c |   2309705 |    5924    88818   439305 |        1   119124     28 |  0.000 % |
473.19/473.23	c |   2324710 |    5924    88818   439305 |        1   134129     30 |  0.000 % |
473.19/473.23	c |   2324814 |    5924    88818   439305 |        1   134233     30 |  0.000 % |
473.19/473.23	c |   2325164 |    5924    88818   439305 |        1   134583     30 |  0.000 % |
473.19/473.23	c |   2361563 |    5924    88818   439305 |        1   170982     34 |  0.000 % |
473.19/473.23	c |   2366936 |    5924    88818   439305 |        1   176355     35 |  0.000 % |
473.19/473.23	c |   2367288 |    5924    88818   439305 |        1   176707     35 |  0.000 % |
473.19/473.23	c |   2449878 |    5924    88818   439305 |        1   151297     30 |  0.000 % |
473.19/473.23	c |   2451090 |    5924    88818   439305 |        1   152509     30 |  0.000 % |
473.19/473.23	c |   2451191 |    5924    88818   439305 |        1   152610     30 |  0.000 % |
473.19/473.23	c |   2451730 |    5924    88818   439305 |        1   153149     30 |  0.000 % |
473.19/473.23	c |   2455574 |    5924    88818   439305 |        1   156993     31 |  0.000 % |
473.19/473.23	c |   2457326 |    5924    88818   439305 |        1   158745     31 |  0.000 % |
473.19/473.23	c |   2457646 |    5924    88818   439305 |        1   159065     31 |  0.000 % |
473.19/473.23	c |   2457749 |    5924    88818   439305 |        1   159168     31 |  0.000 % |
473.19/473.23	c |   2485880 |    5924    88818   439305 |        1   187299     33 |  0.000 % |
473.19/473.23	c |   2494211 |    5924    88818   439305 |        1   195630     33 |  0.000 % |
473.19/473.23	c |   2525108 |    5924    88818   439305 |        1   115924     25 |  0.000 % |
473.19/473.23	c |   2529032 |    5924    88818   439305 |        1   119848     26 |  0.000 % |
473.19/473.23	c |   2529136 |    5924    88818   439305 |        1   119952     26 |  0.000 % |
473.19/473.23	c |   2529238 |    5924    88818   439305 |        1   120054     26 |  0.000 % |
473.19/473.23	c |   2531127 |    5924    88818   439305 |        1   121943     26 |  0.000 % |
473.19/473.23	c |   2531365 |    5924    88818   439305 |        1   122181     26 |  0.000 % |
473.19/473.23	c |   2535604 |    5924    88818   439305 |        1   126420     26 |  0.000 % |
473.19/473.23	c |   2546844 |    5924    88818   439305 |        1   137660     28 |  0.000 % |
547.69/547.73	c |   2552077 |    5924    88818   439305 |        1   142893     29 |  0.000 % |
547.69/547.73	c |   2609382 |    5924    88818   439305 |        1   200198     33 |  0.000 % |
547.69/547.73	c |   2609482 |    5924    88818   439305 |        1   200298     34 |  0.000 % |
547.69/547.73	c |   2610355 |    5924    88818   439305 |        1   201171     34 |  0.000 % |
547.69/547.73	c |   2610548 |    5924    88818   439305 |        1   201364     34 |  0.000 % |
547.69/547.73	c |   2611379 |    5924    88818   439305 |        1   202195     34 |  0.000 % |
547.69/547.73	c |   2619531 |    5924    88818   439305 |        1   210347     34 |  0.000 % |
547.69/547.73	c |   2620387 |    5924    88818   439305 |        1   211203     34 |  0.000 % |
547.69/547.73	c |   2620487 |    5924    88818   439305 |        1   211303     34 |  0.000 % |
547.69/547.73	c |   2620726 |    5924    88818   439305 |        1   211542     34 |  0.000 % |
547.69/547.73	c |   2623035 |    5924    88818   439305 |        1   213851     34 |  0.000 % |
547.69/547.73	c |   2623137 |    5924    88818   439305 |        1   213953     34 |  0.000 % |
547.69/547.73	c |   2641638 |    5924    88818   439305 |        1   119251     25 |  0.000 % |
547.69/547.73	c |   2652608 |    5924    88818   439305 |        1   130221     28 |  0.000 % |
547.69/547.73	c |   2652822 |    5924    88818   439305 |        1   130435     28 |  0.000 % |
547.69/547.73	c |   2653025 |    5924    88818   439305 |        1   130638     28 |  0.000 % |
547.69/547.73	c |   2655241 |    5924    88818   439305 |        1   132854     29 |  0.000 % |
547.69/547.73	c |   2655519 |    5924    88818   439305 |        1   133132     29 |  0.000 % |
547.69/547.73	c |   2655619 |    5924    88818   439305 |        1   133232     29 |  0.000 % |
547.69/547.73	c |   2655723 |    5924    88818   439305 |        1   133336     29 |  0.000 % |
547.69/547.73	c |   2655930 |    5924    88818   439305 |        1   133543     29 |  0.000 % |
547.69/547.73	c |   2664198 |    5924    88818   439305 |        1   141811     30 |  0.000 % |
547.69/547.73	c |   2664299 |    5924    88818   439305 |        1   141912     30 |  0.000 % |
547.69/547.73	c |   2664560 |    5924    88818   439305 |        1   142173     30 |  0.000 % |
547.69/547.73	c |   2669206 |    5924    88818   439305 |        1   146819     30 |  0.000 % |
547.69/547.73	c |   2669306 |    5924    88818   439305 |        1   146919     30 |  0.000 % |
547.69/547.73	c |   2680483 |    5924    88818   439305 |        1   158096     31 |  0.000 % |
547.69/547.73	c |   2680618 |    5924    88818   439305 |        1   158231     31 |  0.000 % |
547.69/547.73	c |   2682180 |    5924    88818   439305 |        1   159793     31 |  0.000 % |
547.69/547.73	c |   2685813 |    5924    88818   439305 |        1   163426     31 |  0.000 % |
547.69/547.73	c |   2686268 |    5924    88818   439305 |        1   163881     31 |  0.000 % |
547.69/547.73	c |   2689159 |    5924    88818   439305 |        1   166772     32 |  0.000 % |
547.69/547.73	c |   2690414 |    5924    88818   439305 |        1   168027     32 |  0.000 % |
547.69/547.73	c |   2690515 |    5924    88818   439305 |        1   168128     32 |  0.000 % |
547.69/547.73	c |   2696913 |    5924    88818   439305 |        1   174526     32 |  0.000 % |
547.69/547.73	c |   2702246 |    5924    88818   439305 |        1   179859     33 |  0.000 % |
547.69/547.73	c |   2762667 |    5924    88818   439305 |        1   124483     27 |  0.000 % |
547.69/547.73	c |   2763159 |    5924    88818   439305 |        1   124975     27 |  0.000 % |
547.69/547.73	c |   2787305 |    5924    88818   439305 |        1   149121     29 |  0.000 % |
547.69/547.73	c |   2787468 |    5924    88818   439305 |        1   149284     29 |  0.000 % |
547.69/547.73	c |   2787568 |    5924    88818   439305 |        1   149384     29 |  0.000 % |
547.69/547.73	c |   2789137 |    5924    88818   439305 |        1   150953     30 |  0.000 % |
547.69/547.73	c |   2789240 |    5924    88818   439305 |        1   151056     30 |  0.000 % |
547.69/547.73	c |   2789691 |    5924    88818   439305 |        1   151507     30 |  0.000 % |
547.69/547.73	c |   2798942 |    5924    88818   439305 |        1   160758     30 |  0.000 % |
547.69/547.73	c |   2799915 |    5924    88818   439305 |        1   161731     30 |  0.000 % |
547.69/547.73	c |   2800015 |    5924    88818   439305 |        1   161831     30 |  0.000 % |
547.69/547.73	c |   2800314 |    5924    88818   439305 |        1   162130     30 |  0.000 % |
547.69/547.73	c |   2800415 |    5924    88818   439305 |        1   162231     30 |  0.000 % |
547.69/547.73	c |   2800535 |    5924    88818   439305 |        1   162351     30 |  0.000 % |
635.29/635.32	c |   2802924 |    5924    88818   439305 |        1   164740     31 |  0.000 % |
635.29/635.32	c |   2804563 |    5924    88818   439305 |        1   166379     31 |  0.000 % |
635.29/635.32	c |   2809442 |    5924    88818   439305 |        1   171258     31 |  0.000 % |
635.29/635.32	c |   2838178 |    5924    88818   439305 |        1   199994     33 |  0.000 % |
635.29/635.32	c |   2838279 |    5924    88818   439305 |        1   200095     33 |  0.000 % |
635.29/635.32	c |   2839234 |    5924    88818   439305 |        1   201050     33 |  0.000 % |
635.29/635.32	c |   2839336 |    5924    88818   439305 |        1   201152     33 |  0.000 % |
635.29/635.32	c |   2839437 |    5924    88818   439305 |        1   201253     33 |  0.000 % |
635.29/635.32	c |   2839538 |    5924    88818   439305 |        1   201354     33 |  0.000 % |
635.29/635.32	c |   2839732 |    5924    88818   439305 |        1   201548     33 |  0.000 % |
635.29/635.32	c |   2840007 |    5924    88818   439305 |        1   201823     33 |  0.000 % |
635.29/635.32	c |   2840111 |    5924    88818   439305 |        1   201927     33 |  0.000 % |
635.29/635.32	c |   2850813 |    5924    88818   439305 |        1   212629     34 |  0.000 % |
635.29/635.32	c |   2850914 |    5924    88818   439305 |        1   212730     34 |  0.000 % |
635.29/635.32	c |   2864175 |    5924    88818   439305 |        1   225991     35 |  0.000 % |
635.29/635.32	c |   2864532 |    5924    88818   439305 |        1   226348     35 |  0.000 % |
635.29/635.32	c |   2867863 |    5924    88818   439305 |        1   229679     35 |  0.000 % |
635.29/635.32	c |   2867963 |    5924    88818   439305 |        1   229779     35 |  0.000 % |
635.29/635.32	c |   2868101 |    5924    88818   439305 |        1   229917     35 |  0.000 % |
635.29/635.32	c |   2884289 |    5924    88818   439305 |        1   127706     26 |  0.000 % |
635.29/635.32	c |   2884390 |    5924    88818   439305 |        1   127807     26 |  0.000 % |
635.29/635.32	c |   2890370 |    5924    88818   439305 |        1   133787     28 |  0.000 % |
635.29/635.32	c |   2898525 |    5924    88818   439305 |        1   141942     28 |  0.000 % |
635.29/635.32	c |   2900115 |    5924    88818   439305 |        1   143532     29 |  0.000 % |
635.29/635.32	c |   2904161 |    5924    88818   439305 |        1   147578     29 |  0.000 % |
635.29/635.32	c |   2907057 |    5924    88818   439305 |        1   150474     29 |  0.000 % |
635.29/635.32	c |   2908107 |    5924    88818   439305 |        1   151524     30 |  0.000 % |
635.29/635.32	c |   2917853 |    5924    88818   439305 |        1   161270     31 |  0.000 % |
635.29/635.32	c |   2933857 |    5924    88818   439305 |        1   177274     32 |  0.000 % |
635.29/635.32	c |   2933958 |    5924    88818   439305 |        1   177375     32 |  0.000 % |
635.29/635.32	c |   2934383 |    5924    88818   439305 |        1   177800     32 |  0.000 % |
635.29/635.32	c |   2935545 |    5924    88818   439305 |        1   178962     32 |  0.000 % |
635.29/635.32	c |   2935648 |    5924    88818   439305 |        1   179065     32 |  0.000 % |
635.29/635.32	c |   2948741 |    5924    88818   439305 |        1   192158     34 |  0.000 % |
635.29/635.32	c |   2949278 |    5924    88818   439305 |        1   192695     34 |  0.000 % |
635.29/635.32	c |   2951551 |    5924    88818   439305 |        1   194968     34 |  0.000 % |
635.29/635.32	c |   2953640 |    5924    88818   439305 |        1   197057     34 |  0.000 % |
635.29/635.32	c |   2953740 |    5924    88818   439305 |        1   197157     34 |  0.000 % |
635.29/635.32	c |   2954772 |    5924    88818   439305 |        1   198189     34 |  0.000 % |
635.29/635.32	c |   2996970 |    5924    88818   439305 |        1   240387     35 |  0.000 % |
635.29/635.32	c |   2997072 |    5924    88818   439305 |        1   240489     35 |  0.000 % |
635.29/635.32	c |   2997172 |    5924    88818   439305 |        1   240589     35 |  0.000 % |
635.29/635.32	c |   3004583 |    5924    88818   439305 |        1   126992     25 |  0.000 % |
635.29/635.32	c |   3011798 |    5924    88818   439305 |        1   134207     26 |  0.000 % |
635.29/635.32	c |   3016002 |    5924    88818   439305 |        1   138411     27 |  0.000 % |
635.29/635.32	c |   3016216 |    5924    88818   439305 |        1   138625     27 |  0.000 % |
635.29/635.32	c |   3016614 |    5924    88818   439305 |        1   139023     27 |  0.000 % |
635.29/635.32	c |   3026745 |    5924    88818   439305 |        1   149154     28 |  0.000 % |
635.29/635.32	c |   3067767 |    5924    88818   439305 |        1   190176     31 |  0.000 % |
635.29/635.32	c |   3087127 |    5924    88818   439305 |        1   209536     32 |  0.000 % |
710.29/710.36	c |   3087429 |    5924    88818   439305 |        1   209838     32 |  0.000 % |
710.29/710.36	c |   3092530 |    5924    88818   439305 |        1   214939     33 |  0.000 % |
710.29/710.36	c |   3092630 |    5924    88818   439305 |        1   215039     33 |  0.000 % |
710.29/710.36	c |   3093484 |    5924    88818   439305 |        1   215893     33 |  0.000 % |
710.29/710.36	c |   3093586 |    5924    88818   439305 |        1   215995     33 |  0.000 % |
710.29/710.36	c |   3093722 |    5924    88818   439305 |        1   216131     33 |  0.000 % |
710.29/710.36	c |   3093824 |    5924    88818   439305 |        1   216233     33 |  0.000 % |
710.29/710.36	c |   3101435 |    5924    88818   439305 |        1   223844     33 |  0.000 % |
710.29/710.36	c |   3101535 |    5924    88818   439305 |        1   223944     33 |  0.000 % |
710.29/710.36	c |   3106120 |    5924    88818   439305 |        1   228529     33 |  0.000 % |
710.29/710.36	c |   3106278 |    5924    88818   439305 |        1   228687     33 |  0.000 % |
710.29/710.36	c |   3108221 |    5924    88818   439305 |        1   230630     33 |  0.000 % |
710.29/710.36	c |   3118192 |    5924    88818   439305 |        1   240601     33 |  0.000 % |
710.29/710.36	c |   3118733 |    5924    88818   439305 |        1   241142     33 |  0.000 % |
710.29/710.36	c |   3122556 |    5924    88818   439305 |        1   244965     34 |  0.000 % |
710.29/710.36	c |   3122668 |    5924    88818   439305 |        1   245077     34 |  0.000 % |
710.29/710.36	c |   3132601 |    5924    88818   439305 |        1   131409     25 |  0.000 % |
710.29/710.36	c |   3151932 |    5924    88818   439305 |        1   150740     27 |  0.000 % |
710.29/710.36	c |   3166797 |    5924    88818   439305 |        1   165605     29 |  0.000 % |
710.29/710.36	c |   3171608 |    5924    88818   439305 |        1   170416     29 |  0.000 % |
710.29/710.36	c |   3171897 |    5924    88818   439305 |        1   170705     29 |  0.000 % |
710.29/710.36	c |   3172609 |    5924    88818   439305 |        1   171417     29 |  0.000 % |
710.29/710.36	c |   3175700 |    5924    88818   439305 |        1   174508     29 |  0.000 % |
710.29/710.36	c |   3215815 |    5924    88818   439305 |        1   214623     32 |  0.000 % |
710.29/710.36	c |   3243406 |    5924    88818   439305 |        1   242214     33 |  0.000 % |
710.29/710.36	c |   3243507 |    5924    88818   439305 |        1   242315     33 |  0.000 % |
710.29/710.36	c |   3243609 |    5924    88818   439305 |        1   242417     33 |  0.000 % |
710.29/710.36	c |   3243709 |    5924    88818   439305 |        1   242517     33 |  0.000 % |
710.29/710.36	c |   3244519 |    5924    88818   439305 |        1   243327     34 |  0.000 % |
710.29/710.36	c |   3244674 |    5924    88818   439305 |        1   243482     34 |  0.000 % |
710.29/710.36	c |   3244774 |    5924    88818   439305 |        1   243582     34 |  0.000 % |
710.29/710.36	c |   3244878 |    5924    88818   439305 |        1   243686     34 |  0.000 % |
710.29/710.36	c |   3245110 |    5924    88818   439305 |        1   243918     34 |  0.000 % |
710.29/710.36	c |   3245212 |    5924    88818   439305 |        1   244020     34 |  0.000 % |
710.29/710.36	c |   3245535 |    5924    88818   439305 |        1   244343     34 |  0.000 % |
710.29/710.36	c |   3245637 |    5924    88818   439305 |        1   244445     34 |  0.000 % |
710.29/710.36	c |   3245921 |    5924    88818   439305 |        1   244729     34 |  0.000 % |
710.29/710.36	c |   3246021 |    5924    88818   439305 |        1   244829     34 |  0.000 % |
710.29/710.36	c |   3246235 |    5924    88818   439305 |        1   245043     34 |  0.000 % |
710.29/710.36	c |   3246679 |    5924    88818   439305 |        1   245487     34 |  0.000 % |
710.29/710.36	c |   3246780 |    5924    88818   439305 |        1   245588     34 |  0.000 % |
710.29/710.36	c |   3299721 |    5924    88818   439305 |        1   172334     29 |  0.000 % |
710.29/710.36	c |   3302278 |    5924    88818   439305 |        1   174891     29 |  0.000 % |
710.29/710.36	c |   3302379 |    5924    88818   439305 |        1   174992     29 |  0.000 % |
710.29/710.36	c |   3303263 |    5924    88818   439305 |        1   175876     30 |  0.000 % |
710.29/710.36	c |   3303941 |    5924    88818   439305 |        1   176554     30 |  0.000 % |
710.29/710.36	c |   3324831 |    5924    88818   439305 |        1   197444     32 |  0.000 % |
710.29/710.36	c |   3324931 |    5924    88818   439305 |        1   197544     32 |  0.000 % |
710.29/710.36	c |   3325031 |    5924    88818   439305 |        1   197644     32 |  0.000 % |
710.29/710.36	c |   3325615 |    5924    88818   439305 |        1   198228     32 |  0.000 % |
763.99/764.02	c |   3325715 |    5924    88818   439305 |        1   198328     32 |  0.000 % |
763.99/764.02	c |   3325926 |    5924    88818   439305 |        1   198539     32 |  0.000 % |
763.99/764.02	c |   3327292 |    5924    88818   439305 |        1   199905     32 |  0.000 % |
763.99/764.02	c |   3327690 |    5924    88818   439305 |        1   200303     32 |  0.000 % |
763.99/764.02	c |   3344696 |    5924    88818   439305 |        1   217309     33 |  0.000 % |
763.99/764.02	c |   3344797 |    5924    88818   439305 |        1   217410     33 |  0.000 % |
763.99/764.02	c |   3347673 |    5924    88818   439305 |        1   220286     33 |  0.000 % |
763.99/764.02	c |   3347775 |    5924    88818   439305 |        1   220388     33 |  0.000 % |
763.99/764.02	c |   3348129 |    5924    88818   439305 |        1   220742     33 |  0.000 % |
763.99/764.02	c |   3349774 |    5924    88818   439305 |        1   222387     33 |  0.000 % |
763.99/764.02	c |   3349962 |    5924    88818   439305 |        1   222575     33 |  0.000 % |
763.99/764.02	c |   3350198 |    5924    88818   439305 |        1   222811     33 |  0.000 % |
763.99/764.02	c |   3350299 |    5924    88818   439305 |        1   222912     33 |  0.000 % |
763.99/764.02	c |   3358264 |    5924    88818   439305 |        1   230877     34 |  0.000 % |
763.99/764.02	c |   3365296 |    5924    88818   439305 |        1   237909     34 |  0.000 % |
763.99/764.02	c |   3366546 |    5924    88818   439305 |        1   239159     34 |  0.000 % |
763.99/764.02	c |   3366646 |    5924    88818   439305 |        1   239259     34 |  0.000 % |
763.99/764.02	c |   3366747 |    5924    88818   439305 |        1   239360     34 |  0.000 % |
763.99/764.02	c |   3366847 |    5924    88818   439305 |        1   239460     34 |  0.000 % |
763.99/764.02	c |   3368260 |    5924    88818   439305 |        1   240873     35 |  0.000 % |
763.99/764.02	c |   3370232 |    5924    88818   439305 |        1   242845     35 |  0.000 % |
763.99/764.02	c |   3371738 |    5924    88818   439305 |        1   244351     35 |  0.000 % |
763.99/764.02	c |   3371992 |    5924    88818   439305 |        1   244605     35 |  0.000 % |
763.99/764.02	c |   3373227 |    5924    88818   439305 |        1   245840     35 |  0.000 % |
763.99/764.02	c |   3373327 |    5924    88818   439305 |        1   245940     35 |  0.000 % |
763.99/764.02	c |   3373487 |    5924    88818   439305 |        1   246100     35 |  0.000 % |
763.99/764.02	c |   3373591 |    5924    88818   439305 |        1   246204     35 |  0.000 % |
763.99/764.02	c |   3406724 |    5924    88818   439305 |        1   150539     26 |  0.000 % |
763.99/764.02	c |   3456214 |    5924    88818   439305 |        1   200029     30 |  0.000 % |
763.99/764.02	c |   3456315 |    5924    88818   439305 |        1   200130     30 |  0.000 % |
763.99/764.02	c |   3457547 |    5924    88818   439305 |        1   201362     31 |  0.000 % |
763.99/764.02	c |   3457648 |    5924    88818   439305 |        1   201463     31 |  0.000 % |
763.99/764.02	c |   3457748 |    5924    88818   439305 |        1   201563     31 |  0.000 % |
763.99/764.02	c |   3458071 |    5924    88818   439305 |        1   201886     31 |  0.000 % |
763.99/764.02	c |   3458171 |    5924    88818   439305 |        1   201986     31 |  0.000 % |
763.99/764.02	c |   3458271 |    5924    88818   439305 |        1   202086     31 |  0.000 % |
763.99/764.02	c |   3461850 |    5924    88818   439305 |        1   205665     31 |  0.000 % |
763.99/764.02	c |   3462275 |    5924    88818   439305 |        1   206090     31 |  0.000 % |
763.99/764.02	c |   3462376 |    5924    88818   439305 |        1   206191     31 |  0.000 % |
763.99/764.02	c |   3465437 |    5924    88818   439305 |        1   209252     31 |  0.000 % |
763.99/764.02	c |   3465537 |    5924    88818   439305 |        1   209352     31 |  0.000 % |
763.99/764.02	c |   3472454 |    5924    88818   439305 |        1   216269     32 |  0.000 % |
763.99/764.02	c |   3472675 |    5924    88818   439305 |        1   216490     32 |  0.000 % |
763.99/764.02	c |   3472776 |    5924    88818   439305 |        1   216591     32 |  0.000 % |
763.99/764.02	c |   3472878 |    5924    88818   439305 |        1   216693     32 |  0.000 % |
763.99/764.02	c |   3480379 |    5924    88818   439305 |        1   224194     32 |  0.000 % |
763.99/764.02	c |   3480480 |    5924    88818   439305 |        1   224295     32 |  0.000 % |
763.99/764.02	c |   3480614 |    5924    88818   439305 |        1   224429     32 |  0.000 % |
763.99/764.02	c |   3480714 |    5924    88818   439305 |        1   224529     32 |  0.000 % |
763.99/764.02	c |   3480815 |    5924    88818   439305 |        1   224630     32 |  0.000 % |
816.79/816.81	c |   3480915 |    5924    88818   439305 |        1   224730     32 |  0.000 % |
816.79/816.81	c |   3481015 |    5924    88818   439305 |        1   224830     32 |  0.000 % |
816.79/816.81	c |   3481115 |    5924    88818   439305 |        1   224930     32 |  0.000 % |
816.79/816.81	c |   3481215 |    5924    88818   439305 |        1   225030     32 |  0.000 % |
816.79/816.81	c |   3481316 |    5924    88818   439305 |        1   225131     32 |  0.000 % |
816.79/816.81	c |   3481416 |    5924    88818   439305 |        1   225231     32 |  0.000 % |
816.79/816.81	c |   3485780 |    5924    88818   439305 |        1   229595     33 |  0.000 % |
816.79/816.81	c |   3485881 |    5924    88818   439305 |        1   229696     33 |  0.000 % |
816.79/816.81	c |   3515693 |    5924    88818   439305 |        1   259508     35 |  0.000 % |
816.79/816.81	c |   3518053 |    5924    88818   439305 |        1   261868     35 |  0.000 % |
816.79/816.81	c |   3518156 |    5924    88818   439305 |        1   261971     35 |  0.000 % |
816.79/816.81	c |   3521237 |    5924    88818   439305 |        1   133646     24 |  0.000 % |
816.79/816.81	c |   3571976 |    5924    88818   439305 |        1   184385     29 |  0.000 % |
816.79/816.81	c |   3572076 |    5924    88818   439305 |        1   184485     29 |  0.000 % |
816.79/816.81	c |   3572179 |    5924    88818   439305 |        1   184588     29 |  0.000 % |
816.79/816.81	c |   3582459 |    5924    88818   439305 |        1   194868     30 |  0.000 % |
816.79/816.81	c |   3582689 |    5924    88818   439305 |        1   195098     30 |  0.000 % |
816.79/816.81	c |   3612554 |    5924    88818   439305 |        1   224963     32 |  0.000 % |
816.79/816.81	c |   3612658 |    5924    88818   439305 |        1   225067     32 |  0.000 % |
816.79/816.81	c |   3616303 |    5924    88818   439305 |        1   228712     32 |  0.000 % |
816.79/816.81	c |   3616577 |    5924    88818   439305 |        1   228986     32 |  0.000 % |
816.79/816.81	c |   3629001 |    5923    88818   439305 |        1   239559     33 |  0.017 % |
816.79/816.81	c |   3629102 |    5923    88818   439305 |        1   239660     33 |  0.017 % |
816.79/816.81	c |   3629255 |    5923    88818   439305 |        1   239813     33 |  0.017 % |
816.79/816.81	c |   3629399 |    5923    88818   439305 |        1   239957     33 |  0.017 % |
816.79/816.81	c |   3629499 |    5923    88818   439305 |        1   240057     33 |  0.017 % |
816.79/816.81	c |   3630322 |    5923    88818   439305 |        1   240880     33 |  0.017 % |
816.79/816.81	c |   3630614 |    5923    88818   439305 |        1   241172     33 |  0.017 % |
816.79/816.81	c |   3630714 |    5923    88818   439305 |        1   241272     33 |  0.017 % |
816.79/816.81	c |   3630944 |    5923    88818   439305 |        1   241502     33 |  0.017 % |
816.79/816.81	c |   3631046 |    5923    88818   439305 |        1   241604     33 |  0.017 % |
816.79/816.81	c |   3631157 |    5923    88818   439305 |        1   241715     33 |  0.017 % |
816.79/816.81	c |   3631257 |    5923    88818   439305 |        1   241815     33 |  0.017 % |
816.79/816.81	c |   3631357 |    5923    88818   439305 |        1   241915     33 |  0.017 % |
816.79/816.81	c |   3633440 |    5923    88818   439305 |        1   243998     33 |  0.017 % |
816.79/816.81	c |   3633541 |    5923    88818   439305 |        1   244099     33 |  0.017 % |
816.79/816.81	c |   3633741 |    5923    88818   439305 |        1   244299     33 |  0.017 % |
816.79/816.81	c |   3633971 |    5923    88818   439305 |        1   244529     33 |  0.017 % |
816.79/816.81	c |   3634269 |    5923    88818   439305 |        1   244827     33 |  0.017 % |
816.79/816.81	c |   3634390 |    5923    88818   439305 |        1   244948     34 |  0.017 % |
816.79/816.81	c |   3634632 |    5923    88818   439305 |        1   245190     34 |  0.017 % |
816.79/816.81	c |   3634732 |    5923    88818   439305 |        1   245290     34 |  0.017 % |
816.79/816.81	c |   3634835 |    5923    88818   439305 |        1   245393     34 |  0.017 % |
816.79/816.81	c |   3635069 |    5923    88818   439305 |        1   245627     34 |  0.017 % |
816.79/816.81	c |   3635169 |    5923    88818   439305 |        1   245727     34 |  0.017 % |
816.79/816.81	c |   3641319 |    5923    88818   439305 |        1   251877     34 |  0.017 % |
816.79/816.81	c |   3641420 |    5923    88818   439305 |        1   251978     34 |  0.017 % |
816.79/816.81	c |   3642917 |    5923    88818   439305 |        1   253475     34 |  0.017 % |
816.79/816.81	c |   3643019 |    5923    88818   439305 |        1   253577     34 |  0.017 % |
816.79/816.81	c |   3648587 |    5923    88818   439305 |        1   259145     34 |  0.017 % |
854.89/854.94	c |   3648689 |    5923    88818   439305 |        1   259247     34 |  0.017 % |
854.89/854.94	c |   3691776 |    5923    88818   439305 |        1   169266     30 |  0.017 % |
854.89/854.94	c |   3696075 |    5923    88818   439305 |        1   173565     30 |  0.017 % |
854.89/854.94	c |   3696176 |    5923    88818   439305 |        1   173666     30 |  0.017 % |
854.89/854.94	c |   3696577 |    5923    88818   439305 |        1   174067     30 |  0.017 % |
854.89/854.94	c |   3710042 |    5923    88818   439305 |        1   187532     31 |  0.017 % |
854.89/854.94	c |   3711034 |    5923    88818   439305 |        1   188524     31 |  0.017 % |
854.89/854.94	c |   3715258 |    5923    88818   439305 |        1   192748     32 |  0.017 % |
854.89/854.94	c |   3716866 |    5923    88818   439305 |        1   194356     32 |  0.017 % |
854.89/854.94	c |   3729145 |    5923    88818   439305 |        1   206635     32 |  0.017 % |
854.89/854.94	c |   3729245 |    5923    88818   439305 |        1   206735     32 |  0.017 % |
854.89/854.94	c |   3729345 |    5923    88818   439305 |        1   206835     32 |  0.017 % |
854.89/854.94	c |   3729446 |    5923    88818   439305 |        1   206936     32 |  0.017 % |
854.89/854.94	c |   3729546 |    5923    88818   439305 |        1   207036     32 |  0.017 % |
854.89/854.94	c |   3729666 |    5923    88818   439305 |        1   207156     32 |  0.017 % |
854.89/854.94	c |   3729766 |    5923    88818   439305 |        1   207256     32 |  0.017 % |
854.89/854.94	c |   3729868 |    5923    88818   439305 |        1   207358     32 |  0.017 % |
854.89/854.94	c |   3729968 |    5923    88818   439305 |        1   207458     32 |  0.017 % |
854.89/854.94	c |   3730068 |    5923    88818   439305 |        1   207558     32 |  0.017 % |
854.89/854.94	c |   3732243 |    5923    88818   439305 |        1   209733     32 |  0.017 % |
854.89/854.94	c |   3732343 |    5923    88818   439305 |        1   209833     32 |  0.017 % |
854.89/854.94	c |   3732443 |    5923    88818   439305 |        1   209933     32 |  0.017 % |
854.89/854.94	c |   3732544 |    5923    88818   439305 |        1   210034     32 |  0.017 % |
854.89/854.94	c |   3733192 |    5923    88818   439305 |        1   210682     32 |  0.017 % |
854.89/854.94	c |   3744916 |    5923    88818   439305 |        1   222406     33 |  0.017 % |
854.89/854.94	c |   3745016 |    5923    88818   439305 |        1   222506     33 |  0.017 % |
854.89/854.94	c |   3745118 |    5923    88818   439305 |        1   222608     33 |  0.017 % |
854.89/854.94	c |   3745300 |    5923    88818   439305 |        1   222790     33 |  0.017 % |
854.89/854.94	c |   3746660 |    5923    88818   439305 |        1   224150     33 |  0.017 % |
854.89/854.94	c |   3746760 |    5923    88818   439305 |        1   224250     33 |  0.017 % |
854.89/854.94	c |   3746860 |    5923    88818   439305 |        1   224350     33 |  0.017 % |
854.89/854.94	c |   3747000 |    5923    88818   439305 |        1   224490     33 |  0.017 % |
854.89/854.94	c |   3747556 |    5923    88818   439305 |        1   225046     33 |  0.017 % |
854.89/854.94	c |   3748224 |    5923    88818   439305 |        1   225714     33 |  0.017 % |
854.89/854.94	c |   3751519 |    5923    88818   439305 |        1   229009     33 |  0.017 % |
854.89/854.94	c |   3762506 |    5923    88818   439305 |        1   239996     34 |  0.017 % |
854.89/854.94	c |   3762606 |    5923    88818   439305 |        1   240096     34 |  0.017 % |
854.89/854.94	c |   3762709 |    5923    88818   439305 |        1   240199     34 |  0.017 % |
854.89/854.94	c |   3764770 |    5923    88818   439305 |        1   242260     34 |  0.017 % |
854.89/854.94	c |   3764904 |    5923    88818   439305 |        1   242394     34 |  0.017 % |
854.89/854.94	c |   3765004 |    5923    88818   439305 |        1   242494     34 |  0.017 % |
854.89/854.94	c |   3766276 |    5923    88818   439305 |        1   243766     34 |  0.017 % |
854.89/854.94	c |   3767273 |    5923    88818   439305 |        1   244763     34 |  0.017 % |
854.89/854.94	c |   3768121 |    5923    88818   439305 |        1   245611     34 |  0.017 % |
854.89/854.94	c |   3769463 |    5923    88818   439305 |        1   246953     34 |  0.017 % |
854.89/854.94	c |   3771058 |    5923    88818   439305 |        1   248548     34 |  0.017 % |
854.89/854.94	c |   3771274 |    5923    88818   439305 |        1   248764     34 |  0.017 % |
854.89/854.94	c |   3771374 |    5923    88818   439305 |        1   248864     34 |  0.017 % |
854.89/854.94	c |   3771696 |    5923    88818   439305 |        1   249186     34 |  0.017 % |
854.89/854.94	c |   3771798 |    5923    88818   439305 |        1   249288     34 |  0.017 % |
926.80/926.80	c |   3771900 |    5923    88818   439305 |        1   249390     34 |  0.017 % |
926.80/926.80	c |   3772000 |    5923    88818   439305 |        1   249490     34 |  0.017 % |
926.80/926.80	c |   3772958 |    5923    88818   439305 |        1   250448     34 |  0.017 % |
926.80/926.80	c |   3773113 |    5923    88818   439305 |        1   250603     34 |  0.017 % |
926.80/926.80	c |   3773216 |    5923    88818   439305 |        1   250706     34 |  0.017 % |
926.80/926.80	c |   3773316 |    5923    88818   439305 |        1   250806     34 |  0.017 % |
926.80/926.80	c |   3773416 |    5923    88818   439305 |        1   250906     34 |  0.017 % |
926.80/926.80	c |   3776857 |    5923    88818   439305 |        1   254347     35 |  0.017 % |
926.80/926.80	c |   3784064 |    5923    88818   439305 |        1   261554     35 |  0.017 % |
926.80/926.80	c |   3784165 |    5923    88818   439305 |        1   261655     35 |  0.017 % |
926.80/926.80	c |   3790204 |    5923    88818   439305 |        1   267694     35 |  0.017 % |
926.80/926.80	c |   3791124 |    5923    88818   439305 |        1   268614     35 |  0.017 % |
926.80/926.80	c |   3791495 |    5923    88818   439305 |        1   268985     35 |  0.017 % |
926.80/926.80	c |   3793091 |    5923    88818   439305 |        1   270581     35 |  0.017 % |
926.80/926.80	c |   3793192 |    5923    88818   439305 |        1   270682     35 |  0.017 % |
926.80/926.80	c |   3793295 |    5923    88818   439305 |        1   270785     35 |  0.017 % |
926.80/926.80	c |   3793492 |    5923    88818   439305 |        1   270982     35 |  0.017 % |
926.80/926.80	c |   3797580 |    5923    88818   439305 |        1   138932     25 |  0.017 % |
926.80/926.80	c |   3797680 |    5923    88818   439305 |        1   139032     25 |  0.017 % |
926.80/926.80	c |   3797895 |    5923    88818   439305 |        1   139247     25 |  0.017 % |
926.80/926.80	c |   3797997 |    5923    88818   439305 |        1   139349     25 |  0.017 % |
926.80/926.80	c |   3812849 |    5923    88818   439305 |        1   154201     27 |  0.017 % |
926.80/926.80	c |   3819940 |    5923    88818   439305 |        1   161292     27 |  0.017 % |
926.80/926.80	c |   3820663 |    5923    88818   439305 |        1   162015     27 |  0.017 % |
926.80/926.80	c |   3828668 |    5923    88818   439305 |        1   170020     28 |  0.017 % |
926.80/926.80	c |   3828768 |    5923    88818   439305 |        1   170120     28 |  0.017 % |
926.80/926.80	c |   3832945 |    5923    88818   439305 |        1   174297     29 |  0.017 % |
926.80/926.80	c |   3834571 |    5923    88818   439305 |        1   175923     29 |  0.017 % |
926.80/926.80	c |   3834672 |    5923    88818   439305 |        1   176024     29 |  0.017 % |
926.80/926.80	c |   3836624 |    5923    88818   439305 |        1   177976     29 |  0.017 % |
926.80/926.80	c |   3837485 |    5923    88818   439305 |        1   178837     29 |  0.017 % |
926.80/926.80	c |   3837585 |    5923    88818   439305 |        1   178937     29 |  0.017 % |
926.80/926.80	c |   3837686 |    5923    88818   439305 |        1   179038     29 |  0.017 % |
926.80/926.80	c |   3837844 |    5923    88818   439305 |        1   179196     29 |  0.017 % |
926.80/926.80	c |   3838299 |    5923    88818   439305 |        1   179651     29 |  0.017 % |
926.80/926.80	c |   3838399 |    5923    88818   439305 |        1   179751     29 |  0.017 % |
926.80/926.80	c |   3838499 |    5923    88818   439305 |        1   179851     29 |  0.017 % |
926.80/926.80	c |   3849883 |    5923    88818   439305 |        1   191235     30 |  0.017 % |
926.80/926.80	c |   3850069 |    5923    88818   439305 |        1   191421     30 |  0.017 % |
926.80/926.80	c |   3869057 |    5923    88818   439305 |        1   210409     30 |  0.017 % |
926.80/926.80	c |   3916612 |    5922    88818   439305 |        1   248878     33 |  0.034 % |
926.80/926.80	c |   3945971 |    5922    88818   439305 |        1   143808     25 |  0.034 % |
926.80/926.80	c |   3960911 |    5922    88818   439305 |        1   158748     26 |  0.034 % |
926.80/926.80	c |   3961012 |    5922    88818   439305 |        1   158849     26 |  0.034 % |
926.80/926.80	c |   3979140 |    5922    88818   439305 |        1   176977     29 |  0.034 % |
926.80/926.80	c |   3979241 |    5922    88818   439305 |        1   177078     29 |  0.034 % |
926.80/926.80	c |   3980886 |    5922    88818   439305 |        1   178723     29 |  0.034 % |
926.80/926.80	c |   3986485 |    5922    88818   439305 |        1   184322     30 |  0.034 % |
926.80/926.80	c |   3987935 |    5922    88818   439305 |        1   185772     30 |  0.034 % |
926.80/926.80	c |   3991823 |    5922    88818   439305 |        1   189660     30 |  0.034 % |
984.80/984.87	c |   3991924 |    5922    88818   439305 |        1   189761     30 |  0.034 % |
984.80/984.87	c |   3992673 |    5922    88818   439305 |        1   190510     30 |  0.034 % |
984.80/984.87	c |   3992775 |    5922    88818   439305 |        1   190612     30 |  0.034 % |
984.80/984.87	c |   3993062 |    5922    88818   439305 |        1   190899     30 |  0.034 % |
984.80/984.87	c |   4026757 |    5922    88818   439305 |        1   224594     32 |  0.034 % |
984.80/984.87	c |   4039161 |    5922    88818   439305 |        1   236998     33 |  0.034 % |
984.80/984.87	c |   4039374 |    5922    88818   439305 |        1   237211     33 |  0.034 % |
984.80/984.87	c |   4041717 |    5922    88818   439305 |        1   239554     33 |  0.034 % |
984.80/984.87	c |   4043318 |    5922    88818   439305 |        1   241155     33 |  0.034 % |
984.80/984.87	c |   4043993 |    5922    88818   439305 |        1   241830     33 |  0.034 % |
984.80/984.87	c |   4044796 |    5922    88818   439305 |        1   242633     33 |  0.034 % |
984.80/984.87	c |   4044900 |    5922    88818   439305 |        1   242737     33 |  0.034 % |
984.80/984.87	c |   4045000 |    5922    88818   439305 |        1   242837     33 |  0.034 % |
984.80/984.87	c |   4047100 |    5922    88818   439305 |        1   244937     33 |  0.034 % |
984.80/984.87	c |   4065991 |    5922    88818   439305 |        1   263828     33 |  0.034 % |
984.80/984.87	c |   4069527 |    5922    88818   439305 |        1   267364     33 |  0.034 % |
984.80/984.87	c |   4069627 |    5922    88818   439305 |        1   267464     33 |  0.034 % |
984.80/984.87	c |   4069727 |    5922    88818   439305 |        1   267564     33 |  0.034 % |
984.80/984.87	c |   4069827 |    5922    88818   439305 |        1   267664     33 |  0.034 % |
984.80/984.87	c |   4070959 |    5922    88818   439305 |        1   268796     33 |  0.034 % |
984.80/984.87	c |   4074583 |    5922    88818   439305 |        1   272420     34 |  0.034 % |
984.80/984.87	c |   4084901 |    5922    88818   439305 |        1   143328     24 |  0.034 % |
984.80/984.87	c |   4085002 |    5922    88818   439305 |        1   143429     24 |  0.034 % |
984.80/984.87	c |   4085102 |    5922    88818   439305 |        1   143529     24 |  0.034 % |
984.80/984.87	c |   4085326 |    5922    88818   439305 |        1   143753     24 |  0.034 % |
984.80/984.87	c |   4085486 |    5922    88818   439305 |        1   143913     24 |  0.034 % |
984.80/984.87	c |   4086438 |    5922    88818   439305 |        1   144865     24 |  0.034 % |
984.80/984.87	c |   4086538 |    5922    88818   439305 |        1   144965     24 |  0.034 % |
984.80/984.87	c |   4086639 |    5922    88818   439305 |        1   145066     24 |  0.034 % |
984.80/984.87	c |   4095219 |    5922    88818   439305 |        1   153646     25 |  0.034 % |
984.80/984.87	c |   4095320 |    5922    88818   439305 |        1   153747     25 |  0.034 % |
984.80/984.87	c |   4098298 |    5922    88818   439305 |        1   156725     26 |  0.034 % |
984.80/984.87	c |   4101779 |    5922    88818   439305 |        1   160206     26 |  0.034 % |
984.80/984.87	c |   4107426 |    5922    88818   439305 |        1   165853     26 |  0.034 % |
984.80/984.87	c |   4107526 |    5922    88818   439305 |        1   165953     26 |  0.034 % |
984.80/984.87	c |   4107756 |    5922    88818   439305 |        1   166183     26 |  0.034 % |
984.80/984.87	c |   4110042 |    5922    88818   439305 |        1   168469     27 |  0.034 % |
984.80/984.87	c |   4110838 |    5922    88818   439305 |        1   169265     27 |  0.034 % |
984.80/984.87	c |   4111029 |    5922    88818   439305 |        1   169456     27 |  0.034 % |
984.80/984.87	c |   4118272 |    5922    88818   439305 |        1   176699     27 |  0.034 % |
984.80/984.87	c |   4118373 |    5922    88818   439305 |        1   176800     27 |  0.034 % |
984.80/984.87	c |   4118475 |    5922    88818   439305 |        1   176902     27 |  0.034 % |
984.80/984.87	c |   4118578 |    5922    88818   439305 |        1   177005     27 |  0.034 % |
984.80/984.87	c |   4127735 |    5922    88818   439305 |        1   186162     28 |  0.034 % |
984.80/984.87	c |   4127835 |    5922    88818   439305 |        1   186262     28 |  0.034 % |
984.80/984.87	c |   4127938 |    5922    88818   439305 |        1   186365     28 |  0.034 % |
984.80/984.87	c |   4129764 |    5922    88818   439305 |        1   188191     28 |  0.034 % |
984.80/984.87	c |   4130559 |    5922    88818   439305 |        1   188986     28 |  0.034 % |
984.80/984.87	c |   4154713 |    5922    88818   439305 |        1   213140     30 |  0.034 % |
984.80/984.87	c |   4154816 |    5922    88818   439305 |        1   213243     30 |  0.034 % |
1151.10/1151.13	c |   4160353 |    5922    88818   439305 |        1   218780     30 |  0.034 % |
1151.10/1151.13	c |   4160454 |    5922    88818   439305 |        1   218881     30 |  0.034 % |
1151.10/1151.13	c |   4160662 |    5922    88818   439305 |        1   219089     30 |  0.034 % |
1151.10/1151.13	c |   4161072 |    5922    88818   439305 |        1   219499     30 |  0.034 % |
1151.10/1151.13	c |   4164468 |    5922    88818   439305 |        1   222895     30 |  0.034 % |
1151.10/1151.13	c |   4259676 |    5904    88460   437670 |        1   148177     25 |  0.338 % |
1151.10/1151.13	c |   4285636 |    5904    88460   437670 |        1   174137     27 |  0.338 % |
1151.10/1151.13	c |   4312121 |    5904    88460   437670 |        1   200622     28 |  0.338 % |
1151.10/1151.13	c |   4317084 |    5904    88460   437670 |        1   205585     29 |  0.338 % |
1151.10/1151.13	c |   4388992 |    5904    88460   437670 |        1   144454     25 |  0.338 % |
1151.10/1151.13	c |   4400872 |    5904    88460   437670 |        1   156334     25 |  0.338 % |
1151.10/1151.13	c |   4407363 |    5904    88460   437670 |        1   162825     26 |  0.338 % |
1151.10/1151.13	c |   4407463 |    5904    88460   437670 |        1   162925     26 |  0.338 % |
1151.10/1151.13	c |   4407568 |    5904    88460   437670 |        1   163030     26 |  0.338 % |
1151.10/1151.13	c |   4421755 |    5904    88460   437670 |        1   177217     27 |  0.338 % |
1151.10/1151.13	c |   4482928 |    5904    88460   437670 |        1   238390     31 |  0.338 % |
1151.10/1151.13	c |   4486439 |    5904    88460   437670 |        1   241901     31 |  0.338 % |
1151.10/1151.13	c |   4491766 |    5904    88460   437670 |        1   247228     31 |  0.338 % |
1151.10/1151.13	c |   4520613 |    5904    88460   437670 |        1   276075     32 |  0.338 % |
1151.10/1151.13	c |   4527605 |    5904    88460   437670 |        1   283067     32 |  0.338 % |
1151.10/1151.13	c |   4530727 |    5904    88460   437670 |        1   143566     23 |  0.338 % |
1151.10/1151.13	c |   4531599 |    5904    88460   437670 |        1   144438     23 |  0.338 % |
1151.10/1151.13	c |   4540424 |    5904    88460   437670 |        1   153263     24 |  0.338 % |
1151.10/1151.13	c |   4540984 |    5904    88460   437670 |        1   153823     24 |  0.338 % |
1151.10/1151.13	c |   4567876 |    5885    88157   436347 |        1   160043     25 |  0.658 % |
1151.10/1151.13	c |   4574347 |    5885    88157   436347 |        1   166514     26 |  0.658 % |
1151.10/1151.13	c |   4575277 |    5885    88157   436347 |        1   167444     26 |  0.658 % |
1151.10/1151.13	c |   4575919 |    5885    88157   436347 |        1   168086     26 |  0.658 % |
1151.10/1151.13	c |   4576021 |    5885    88157   436347 |        1   168188     26 |  0.658 % |
1151.10/1151.13	c |   4615438 |    5161    87408   432469 |        1   114582     21 | 12.880 % |
1151.10/1151.13	c ===============================================================================
1151.10/1151.13	c restarts              : 1118
1151.10/1151.13	c nb ReduceDB           : 58
1151.10/1151.13	c nb removed Clauses    : 4349501
1151.10/1151.13	c nb learnts DL2        : 2856
1151.10/1151.13	c nb learnts size 2     : 1829
1151.10/1151.13	c nb learnts size 1     : 13
1151.10/1151.13	c conflicts             : 4615438        (4012 /sec)
1151.10/1151.13	c decisions             : 5970923        (0.00 % random) (5190 /sec)
1151.10/1151.13	c propagations          : 1089231994     (946737 /sec)
1151.10/1151.13	c conflict literals     : 211526891      (42.94 % deleted)
1151.10/1151.13	c nb reduced Clauses    : 2348
1151.10/1151.13	c CPU time              : 1150.51 s
1151.10/1151.13	
1151.10/1151.14	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3290874-1303776055/watcher-3290874-1303776055 -o /tmp/evaluation-result-3290874-1303776055/solver-3290874-1303776055 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3290874-1303776055.cnf 

running on 2 cores: 4,6

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: 3.38 3.79 3.38 4/192 31121
/proc/meminfo: memFree=14764956/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) R 31119 31121 30717 0 -1 4202496 315 0 0 0 0 0 0 0 23 0 1 0 489203486 8912896 252 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122534293 0 65538 4100 65536 0 0 0 17 4 0 0 0
/proc/31121/statm: 2176 252 211 178 0 69 0

[startup+0.057972 s]
/proc/loadavg: 3.38 3.79 3.38 4/192 31121
/proc/meminfo: memFree=14764956/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 489203486 8912896 252 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/31121/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100999 s]
/proc/loadavg: 3.38 3.79 3.38 4/192 31121
/proc/meminfo: memFree=14764956/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 489203486 8912896 252 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/31121/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300901 s]
/proc/loadavg: 3.38 3.79 3.38 4/192 31121
/proc/meminfo: memFree=14764956/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 8704

[startup+0.700817 s]
/proc/loadavg: 3.38 3.79 3.38 4/192 31121
/proc/meminfo: memFree=14764956/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 8704

[startup+1.50072 s]
/proc/loadavg: 3.43 3.79 3.39 5/194 31124
/proc/meminfo: memFree=14752176/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=35016 CPUtime=1.31 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 7597 0 0 0 131 0 0 0 25 0 1 0 489203503 35856384 5009 33554432000 4194304 4260849 140734192909664 18446744073709551615 4238027 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 8754 5009 250 17 0 5395 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 43720

[startup+3.10045 s]
/proc/loadavg: 3.43 3.79 3.39 5/194 31124
/proc/meminfo: memFree=14740272/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=35016 CPUtime=2.92 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 8057 0 0 0 291 1 0 0 25 0 1 0 489203503 35856384 5456 33554432000 4194304 4260849 140734192909664 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 8754 5456 250 17 0 5395 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43720

[startup+6.30087 s]
/proc/loadavg: 3.43 3.79 3.39 5/194 31125
/proc/meminfo: memFree=14758924/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=42156 CPUtime=6.11 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 9809 0 0 0 610 1 0 0 25 0 1 0 489203503 43167744 7070 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224434 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 10539 7070 250 17 0 7180 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 50860

[startup+12.7007 s]
/proc/loadavg: 3.52 3.80 3.39 5/195 31126
/proc/meminfo: memFree=14704812/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=42156 CPUtime=12.51 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 10059 0 0 0 1250 1 0 0 25 0 1 0 489203503 43167744 7313 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 10539 7313 250 17 0 7180 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 50860

[startup+25.5004 s]
/proc/loadavg: 3.59 3.81 3.40 6/194 31136
/proc/meminfo: memFree=14613080/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=54032 CPUtime=25.32 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 18453 0 0 0 2529 3 0 0 25 0 1 0 489203503 55328768 8973 33554432000 4194304 4260849 140734192909664 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 13508 8973 250 17 0 10149 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62736

[startup+51.1008 s]
/proc/loadavg: 3.58 3.79 3.40 4/188 31215
/proc/meminfo: memFree=14719316/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=65524 CPUtime=50.92 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 22530 0 0 0 5088 4 0 0 25 0 1 0 489203503 67096576 12895 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224703 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 16381 12895 250 17 0 13022 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74228

[startup+102.307 s]
/proc/loadavg: 3.83 3.81 3.43 6/194 31229
/proc/meminfo: memFree=14297652/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=84356 CPUtime=102.12 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 32415 0 0 0 10206 6 0 0 25 0 1 0 489203503 86380544 17842 33554432000 4194304 4260849 140734192909664 18446744073709551615 4209426 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 21089 17842 250 17 0 17730 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 93060

[startup+162.301 s]
/proc/loadavg: 3.89 3.83 3.46 5/194 31260
/proc/meminfo: memFree=14167580/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=84356 CPUtime=162.12 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 32415 0 0 0 16204 8 0 0 25 0 1 0 489203503 86380544 17842 33554432000 4194304 4260849 140734192909664 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 21089 17842 250 17 0 17730 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 93060

[startup+222.301 s]
/proc/loadavg: 3.96 3.86 3.49 5/194 31266
/proc/meminfo: memFree=14018764/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=84356 CPUtime=222.12 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 32415 0 0 0 22204 8 0 0 25 0 1 0 489203503 86380544 17842 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 21089 17842 250 17 0 17730 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 93060

[startup+282.301 s]
/proc/loadavg: 3.98 3.88 3.52 5/194 31267
/proc/meminfo: memFree=14038072/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=85700 CPUtime=282.12 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 32759 0 0 0 28204 8 0 0 25 0 1 0 489203503 87756800 18178 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 21425 18178 250 17 0 18066 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 94404

[startup+342.301 s]
/proc/loadavg: 3.99 3.90 3.55 5/194 31269
/proc/meminfo: memFree=14020156/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=99872 CPUtime=342.12 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 58096 0 0 0 34201 11 0 0 25 0 1 0 489203503 102268928 20021 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 24968 20021 250 17 0 21609 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 108576

[startup+402.301 s]
/proc/loadavg: 3.99 3.91 3.57 5/194 31271
/proc/meminfo: memFree=13936820/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6

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


[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.70 5/194 31280
/proc/meminfo: memFree=13892712/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=149192 CPUtime=762.14 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 178987 0 0 0 76187 27 0 0 25 0 1 0 489203503 152772608 29870 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 37298 29870 250 17 0 33939 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 157896

[startup+822.301 s]
/proc/loadavg: 4.00 3.97 3.71 5/194 31282
/proc/meminfo: memFree=13981480/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=99872 CPUtime=822.13 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 191660 0 0 0 82183 30 0 0 25 0 1 0 489203503 102268928 21758 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 24968 21758 250 17 0 21609 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 108576

[startup+882.301 s]
/proc/loadavg: 4.00 3.97 3.73 5/194 31283
/proc/meminfo: memFree=13924792/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=99872 CPUtime=882.13 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 202492 0 0 0 88180 33 0 0 25 0 1 0 489203503 102268928 21758 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 24968 21758 250 17 0 21609 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 108576

[startup+942.301 s]
/proc/loadavg: 4.04 3.99 3.75 5/194 31285
/proc/meminfo: memFree=13902080/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=149192 CPUtime=942.14 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 221839 0 0 0 94177 37 0 0 25 0 1 0 489203503 152772608 30502 33554432000 4194304 4260849 140734192909664 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 37298 30502 250 17 0 33939 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 157896

[startup+1002.3 s]
/proc/loadavg: 4.08 4.00 3.76 5/194 31287
/proc/meminfo: memFree=13894740/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=149192 CPUtime=1002.14 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 232669 0 0 0 100175 39 0 0 25 0 1 0 489203503 152772608 30611 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 37298 30611 250 17 0 33939 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 157896

[startup+1062.3 s]
/proc/loadavg: 4.03 4.00 3.78 5/194 31288
/proc/meminfo: memFree=13893356/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=118844 CPUtime=1062.15 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 247589 0 0 0 106173 42 0 0 25 0 1 0 489203503 121696256 23076 33554432000 4194304 4260849 140734192909664 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 29711 23076 250 17 0 26352 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 127548

[startup+1122.3 s]
/proc/loadavg: 4.01 4.00 3.79 5/194 31290
/proc/meminfo: memFree=13827372/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=167868 CPUtime=1122.15 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 266583 0 0 0 112168 47 0 0 25 0 1 0 489203503 171896832 32146 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 41967 32146 250 17 0 38608 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 176572

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

[startup+1126.3 s]
/proc/loadavg: 4.01 4.00 3.79 5/194 31290
/proc/meminfo: memFree=13967976/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=118548 CPUtime=1126.15 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 266602 0 0 0 112568 47 0 0 25 0 1 0 489203503 121393152 21759 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 29637 21759 250 17 0 26278 0
Current children cumulated CPU time (s) 1126.31
Current children cumulated vsize (KiB) 127252

[startup+1139.1 s]
/proc/loadavg: 4.01 4.00 3.79 5/194 31290
/proc/meminfo: memFree=13961652/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=118548 CPUtime=1138.95 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 266602 0 0 0 113848 47 0 0 25 0 1 0 489203503 121393152 21759 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 29637 21759 250 17 0 26278 0
Current children cumulated CPU time (s) 1139.11
Current children cumulated vsize (KiB) 127252

[startup+1145.5 s]
/proc/loadavg: 4.00 4.00 3.79 5/194 31290
/proc/meminfo: memFree=13941936/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=118548 CPUtime=1145.35 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 266602 0 0 0 114488 47 0 0 25 0 1 0 489203503 121393152 21759 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 29637 21759 250 17 0 26278 0
Current children cumulated CPU time (s) 1145.51
Current children cumulated vsize (KiB) 127252

[startup+1148.7 s]
/proc/loadavg: 4.00 4.00 3.79 5/194 31291
/proc/meminfo: memFree=13931892/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=118548 CPUtime=1148.55 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 266602 0 0 0 114808 47 0 0 25 0 1 0 489203503 121393152 21759 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 29637 21759 250 17 0 26278 0
Current children cumulated CPU time (s) 1148.71
Current children cumulated vsize (KiB) 127252

[startup+1150.3 s]
/proc/loadavg: 4.00 4.00 3.79 5/194 31291
/proc/meminfo: memFree=13928048/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=118548 CPUtime=1150.14 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 269968 0 0 0 114967 47 0 0 25 0 1 0 489203503 121393152 24936 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 29637 24936 250 17 0 26278 0
Current children cumulated CPU time (s) 1150.3
Current children cumulated vsize (KiB) 127252

[startup+1150.7 s]
/proc/loadavg: 4.00 4.00 3.79 5/194 31291
/proc/meminfo: memFree=13912796/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=118548 CPUtime=1150.54 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 270010 0 0 0 115007 47 0 0 25 0 1 0 489203503 121393152 24976 33554432000 4194304 4260849 140734192909664 18446744073709551615 4224703 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 29637 24976 250 17 0 26278 0
Current children cumulated CPU time (s) 1150.7
Current children cumulated vsize (KiB) 127252

[startup+1151.1 s]
/proc/loadavg: 4.00 4.00 3.79 5/194 31291
/proc/meminfo: memFree=13912796/32951124 swapFree=67111528/67111528
[pid=31121] ppid=31119 vsize=8704 CPUtime=0.16 cores=4,6
/proc/31121/stat : 31121 (glucose.sh) S 31119 31121 30717 0 -1 4202496 359 2404 0 0 0 0 16 0 22 0 1 0 489203486 8912896 254 33554432000 4194304 4922060 140734412069968 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/31121/statm: 2176 254 211 178 0 69 0
[pid=31124] ppid=31121 vsize=118548 CPUtime=1150.94 cores=4,6
/proc/31124/stat : 31124 (glucose_static) R 31121 31121 30717 0 -1 4202496 270053 0 0 0 115047 47 0 0 25 0 1 0 489203503 121393152 25018 33554432000 4194304 4260849 140734192909664 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31124/statm: 29637 25018 250 17 0 26278 0
Current children cumulated CPU time (s) 1151.1
Current children cumulated vsize (KiB) 127252

Child status: 20
Real time (s): 1151.15
CPU time (s): 1151.17
CPU user time (s): 1150.67
CPU system time (s): 0.491925
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 195248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1150.67
system time used= 0.491925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273034
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= 40
involuntary context switches= 1850

runsolver used 1.9977 second user time and 4.28835 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-26 02:00:55
IDJOB=3290874
IDBENCH=83451
IDSOLVER=1651
FILE ID=node138/3290874-1303776055
RUNJOBID= node138-1303774706-30736
PBS_JOBID= 13157192
Free space on /tmp= 71904 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290874-1303776055/watcher-3290874-1303776055 -o /tmp/evaluation-result-3290874-1303776055/solver-3290874-1303776055 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3290874-1303776055.cnf 

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

MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=628773053

node138.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.854
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.70
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.854
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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14764980 kB
Buffers:       2067772 kB
Cached:       15254228 kB
SwapCached:          0 kB
Active:       10271416 kB
Inactive:      7354328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14764980 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          105648 kB
Writeback:           0 kB
AnonPages:      303228 kB
Mapped:          15504 kB
Slab:           496980 kB
PageTables:       5656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   499856 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= 71568 MiB
End job on node138 at 2011-04-26 02:20:06