Trace number 3303493

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 1266.18 1266.16

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
MD5SUM4f7ff14ba0d33c4cf7de4e3c004f2f79
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark893.472
Satisfiable
(Un)Satisfiability was proved
Number of variables223
Number of clauses26441
Sum of the clauses size116565
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2296
Number of clauses of size 324153
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51992

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.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   26441   116565 |    7932       0        0     nan |  0.000 % |
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 223   #clauses: 26441   #literals: 116565
0.00/0.01	c CPU time:   0.007998 s
0.00/0.01	c ==============================================================================
0.00/0.02	c
0.00/0.02	c Starting glucose
0.00/0.02	c
28.60/28.63	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
28.60/28.63	c WARNING: for repeatability, setting FPU to use double precision
28.60/28.63	c ============================[ Problem Statistics ]=============================
28.60/28.63	c |                                                                             |
28.60/28.63	c |  Number of variables:           223                                         |
28.60/28.63	c |  Number of clauses:           26441                                         |
28.60/28.63	c |  Parse time:                   0.01 s                                       |
28.60/28.63	c |                                                                             |
28.60/28.63	c ============================[ Search Statistics ]==============================
28.60/28.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.60/28.63	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
28.60/28.63	c ===============================================================================
28.60/28.63	c |      4954 |     223    26441   116565 |        1     2958     22 |  0.000 % |
28.60/28.63	c |      8940 |     223    26441   116565 |        1     6944     24 |  0.000 % |
28.60/28.63	c |      9040 |     223    26441   116565 |        1     7044     24 |  0.000 % |
28.60/28.63	c |      9142 |     223    26441   116565 |        1     7146     24 |  0.000 % |
28.60/28.63	c |     11809 |     223    26441   116565 |        1     5519     23 |  0.000 % |
28.60/28.63	c |     16413 |     223    26441   116565 |        1    10123     24 |  0.000 % |
28.60/28.63	c |     33262 |     223    26441   116565 |        1    10950     24 |  0.000 % |
28.60/28.63	c |     34238 |     223    26441   116565 |        1    11926     24 |  0.000 % |
28.60/28.63	c |     62468 |     223    26441   116565 |        1    28313     24 |  0.000 % |
28.60/28.63	c |    178426 |     223    26441   116565 |        1    46238     21 |  0.000 % |
28.60/28.63	c |    179663 |     223    26441   116565 |        1    47475     21 |  0.000 % |
28.60/28.63	c |    179763 |     223    26441   116565 |        1    47575     21 |  0.000 % |
28.60/28.63	c |    203147 |     223    26441   116565 |        1    43562     22 |  0.000 % |
28.60/28.63	c |    221263 |     223    26441   116565 |        1    31679     20 |  0.000 % |
28.60/28.63	c |    222734 |     223    26441   116565 |        1    33150     20 |  0.000 % |
28.60/28.63	c |    253630 |     223    26441   116565 |        1    64046     22 |  0.000 % |
28.60/28.63	c |    267842 |     223    26441   116565 |        1    45656     21 |  0.000 % |
28.60/28.63	c |    324857 |     223    26441   116565 |        1    67472     22 |  0.000 % |
28.60/28.63	c |    334468 |     223    26441   116565 |        1    39288     20 |  0.000 % |
28.60/28.63	c |    378318 |     223    26441   116565 |        1    42728     20 |  0.000 % |
28.60/28.63	c |    447716 |     223    26441   116565 |        1    69125     20 |  0.000 % |
28.60/28.63	c |    447817 |     223    26441   116565 |        1    69226     20 |  0.000 % |
28.60/28.63	c |    467835 |     223    26441   116565 |        1    89244     20 |  0.000 % |
28.60/28.63	c |    467935 |     223    26441   116565 |        1    89344     20 |  0.000 % |
28.60/28.63	c |    468036 |     223    26441   116565 |        1    89445     20 |  0.000 % |
28.60/28.63	c |    472637 |     223    26441   116565 |        1    48448     19 |  0.000 % |
28.60/28.63	c |    475210 |     223    26441   116565 |        1    51021     19 |  0.000 % |
28.60/28.63	c |    475941 |     223    26441   116565 |        1    51752     19 |  0.000 % |
28.60/28.63	c |    476403 |     223    26441   116565 |        1    52214     19 |  0.000 % |
28.60/28.63	c |    476665 |     223    26441   116565 |        1    52476     19 |  0.000 % |
28.60/28.63	c |    481254 |     223    26441   116565 |        1    57065     20 |  0.000 % |
28.60/28.63	c |    481356 |     223    26441   116565 |        1    57167     20 |  0.000 % |
28.60/28.63	c |    500810 |     223    26441   116565 |        1    76621     21 |  0.000 % |
28.60/28.63	c |    501435 |     223    26441   116565 |        1    77246     21 |  0.000 % |
28.60/28.63	c |    501536 |     223    26441   116565 |        1    77347     21 |  0.000 % |
28.60/28.63	c |    502034 |     223    26441   116565 |        1    77845     21 |  0.000 % |
28.60/28.63	c |    502401 |     223    26441   116565 |        1    78212     21 |  0.000 % |
28.60/28.63	c |    503746 |     223    26441   116565 |        1    79557     21 |  0.000 % |
28.60/28.63	c |    503847 |     223    26441   116565 |        1    79658     21 |  0.000 % |
47.40/47.45	c |    507329 |     223    26441   116565 |        1    83140     21 |  0.000 % |
47.40/47.45	c |    512634 |     223    26441   116565 |        1    88445     21 |  0.000 % |
47.40/47.45	c |    527661 |     223    26441   116565 |        1    55271     19 |  0.000 % |
47.40/47.45	c |    529688 |     223    26441   116565 |        1    57298     19 |  0.000 % |
47.40/47.45	c |    530403 |     223    26441   116565 |        1    58013     19 |  0.000 % |
47.40/47.45	c |    530504 |     223    26441   116565 |        1    58114     19 |  0.000 % |
47.40/47.45	c |    530675 |     223    26441   116565 |        1    58285     19 |  0.000 % |
47.40/47.45	c |    559688 |     223    26441   116565 |        1    87298     21 |  0.000 % |
47.40/47.45	c |    642597 |     223    26441   116565 |        1    66006     19 |  0.000 % |
47.40/47.45	c |    643510 |     223    26441   116565 |        1    66919     19 |  0.000 % |
47.40/47.45	c |    644654 |     223    26441   116565 |        1    68063     19 |  0.000 % |
47.40/47.45	c |    644819 |     223    26441   116565 |        1    68228     19 |  0.000 % |
47.40/47.45	c |    653816 |     223    26441   116565 |        1    77225     20 |  0.000 % |
47.40/47.45	c |    657017 |     223    26441   116565 |        1    80426     20 |  0.000 % |
47.40/47.45	c |    658529 |     223    26441   116565 |        1    81938     20 |  0.000 % |
47.40/47.45	c |    658631 |     223    26441   116565 |        1    82040     20 |  0.000 % |
47.40/47.45	c |    658733 |     223    26441   116565 |        1    82142     20 |  0.000 % |
47.40/47.45	c |    658833 |     223    26441   116565 |        1    82242     20 |  0.000 % |
47.40/47.45	c |    663150 |     223    26441   116565 |        1    86559     20 |  0.000 % |
47.40/47.45	c |    663433 |     223    26441   116565 |        1    86842     21 |  0.000 % |
47.40/47.45	c |    664550 |     223    26441   116565 |        1    87959     21 |  0.000 % |
47.40/47.45	c |    664774 |     223    26441   116565 |        1    88183     21 |  0.000 % |
47.40/47.45	c |    664914 |     223    26441   116565 |        1    88323     21 |  0.000 % |
47.40/47.45	c |    665017 |     223    26441   116565 |        1    88426     21 |  0.000 % |
47.40/47.45	c |    674051 |     223    26441   116565 |        1    97460     21 |  0.000 % |
47.40/47.45	c |    674871 |     223    26441   116565 |        1    98280     21 |  0.000 % |
47.40/47.45	c |    676436 |     223    26441   116565 |        1    99845     21 |  0.000 % |
47.40/47.45	c |    680965 |     223    26441   116565 |        1   104374     21 |  0.000 % |
47.40/47.45	c |    681949 |     223    26441   116565 |        1   105358     21 |  0.000 % |
47.40/47.45	c |    684421 |     223    26441   116565 |        1   107830     21 |  0.000 % |
47.40/47.45	c |    704092 |     223    26441   116565 |        1    71499     20 |  0.000 % |
47.40/47.45	c |    712191 |     223    26441   116565 |        1    79598     20 |  0.000 % |
47.40/47.45	c |    713571 |     223    26441   116565 |        1    80978     20 |  0.000 % |
47.40/47.45	c |    714238 |     223    26441   116565 |        1    81645     20 |  0.000 % |
47.40/47.45	c |    714375 |     223    26441   116565 |        1    81782     20 |  0.000 % |
47.40/47.45	c |    717316 |     223    26441   116565 |        1    84723     21 |  0.000 % |
47.40/47.45	c |    717417 |     223    26441   116565 |        1    84824     21 |  0.000 % |
47.40/47.45	c |    756323 |     223    26441   116565 |        1    65133     19 |  0.000 % |
47.40/47.45	c |    756735 |     223    26441   116565 |        1    65545     19 |  0.000 % |
47.40/47.45	c |    756835 |     223    26441   116565 |        1    65645     19 |  0.000 % |
47.40/47.45	c |    756943 |     223    26441   116565 |        1    65753     19 |  0.000 % |
47.40/47.45	c |    759715 |     223    26441   116565 |        1    68525     19 |  0.000 % |
47.40/47.45	c |    763453 |     223    26441   116565 |        1    72263     19 |  0.000 % |
47.40/47.45	c |    763699 |     223    26441   116565 |        1    72509     19 |  0.000 % |
47.40/47.45	c |    763800 |     223    26441   116565 |        1    72610     19 |  0.000 % |
47.40/47.45	c |    771527 |     223    26441   116565 |        1    80337     20 |  0.000 % |
47.40/47.45	c |    773622 |     223    26441   116565 |        1    82432     20 |  0.000 % |
47.40/47.45	c |    774015 |     223    26441   116565 |        1    82825     20 |  0.000 % |
47.40/47.45	c |    776852 |     223    26441   116565 |        1    85662     20 |  0.000 % |
47.40/47.45	c |    777155 |     223    26441   116565 |        1    85965     20 |  0.000 % |
67.78/67.89	c |    778933 |     223    26441   116565 |        1    87743     20 |  0.000 % |
67.78/67.89	c |    784606 |     223    26441   116565 |        1    93416     21 |  0.000 % |
67.78/67.89	c |    790413 |     223    26441   116565 |        1    99223     21 |  0.000 % |
67.78/67.89	c |    792886 |     223    26441   116565 |        1   101696     21 |  0.000 % |
67.78/67.89	c |    809207 |     223    26441   116565 |        1   118017     22 |  0.000 % |
67.78/67.89	c |    823052 |     223    26441   116565 |        1    70666     19 |  0.000 % |
67.78/67.89	c |    823202 |     223    26441   116565 |        1    70816     19 |  0.000 % |
67.78/67.89	c |    829545 |     223    26441   116565 |        1    77159     20 |  0.000 % |
67.78/67.89	c |    836823 |     223    26441   116565 |        1    84437     20 |  0.000 % |
67.78/67.89	c |    836987 |     223    26441   116565 |        1    84601     20 |  0.000 % |
67.78/67.89	c |    837492 |     223    26441   116565 |        1    85106     20 |  0.000 % |
67.78/67.89	c |    838559 |     223    26441   116565 |        1    86173     20 |  0.000 % |
67.78/67.89	c |    838660 |     223    26441   116565 |        1    86274     20 |  0.000 % |
67.78/67.89	c |    843459 |     223    26441   116565 |        1    91073     20 |  0.000 % |
67.78/67.89	c |    846421 |     223    26441   116565 |        1    94035     20 |  0.000 % |
67.78/67.89	c |    864264 |     223    26441   116565 |        1   111878     21 |  0.000 % |
67.78/67.89	c |    864454 |     223    26441   116565 |        1   112068     21 |  0.000 % |
67.78/67.89	c |    869953 |     223    26441   116565 |        1   117567     21 |  0.000 % |
67.78/67.89	c |    870874 |     223    26441   116565 |        1   118488     21 |  0.000 % |
67.78/67.89	c |    871630 |     223    26441   116565 |        1   119244     21 |  0.000 % |
67.78/67.89	c |    871731 |     223    26441   116565 |        1   119345     21 |  0.000 % |
67.78/67.89	c |    871831 |     223    26441   116565 |        1   119445     21 |  0.000 % |
67.78/67.89	c |    872090 |     223    26441   116565 |        1   119704     21 |  0.000 % |
67.78/67.89	c |    872190 |     223    26441   116565 |        1   119804     21 |  0.000 % |
67.78/67.89	c |    880138 |     223    26441   116565 |        1    63954     18 |  0.000 % |
67.78/67.89	c |    889239 |     223    26441   116565 |        1    73055     19 |  0.000 % |
67.78/67.89	c |    889612 |     223    26441   116565 |        1    73428     19 |  0.000 % |
67.78/67.89	c |    889712 |     223    26441   116565 |        1    73528     19 |  0.000 % |
67.78/67.89	c |    889903 |     223    26441   116565 |        1    73719     19 |  0.000 % |
67.78/67.89	c |    902832 |     223    26441   116565 |        1    86648     20 |  0.000 % |
67.78/67.89	c |    903672 |     223    26441   116565 |        1    87488     20 |  0.000 % |
67.78/67.89	c |    903772 |     223    26441   116565 |        1    87588     20 |  0.000 % |
67.78/67.89	c |    911395 |     223    26441   116565 |        1    95211     21 |  0.000 % |
67.78/67.89	c |    940410 |     223    26441   116565 |        1   124226     21 |  0.000 % |
67.78/67.89	c |    941745 |     223    26441   116565 |        1   125561     21 |  0.000 % |
67.78/67.89	c |    941846 |     223    26441   116565 |        1   125662     21 |  0.000 % |
67.78/67.89	c |    941946 |     223    26441   116565 |        1   125762     21 |  0.000 % |
67.78/67.89	c |    950224 |     223    26441   116565 |        1    67641     19 |  0.000 % |
67.78/67.89	c |    954422 |     223    26441   116565 |        1    71839     19 |  0.000 % |
67.78/67.89	c |    969103 |     223    26441   116565 |        1    86520     20 |  0.000 % |
67.78/67.89	c |    969501 |     223    26441   116565 |        1    86918     20 |  0.000 % |
67.78/67.89	c |    970286 |     223    26441   116565 |        1    87703     20 |  0.000 % |
67.78/67.89	c |    975373 |     223    26441   116565 |        1    92790     20 |  0.000 % |
67.78/67.89	c |    975474 |     223    26441   116565 |        1    92891     20 |  0.000 % |
67.78/67.89	c |   1020947 |     223    26441   116565 |        1    69362     18 |  0.000 % |
67.78/67.89	c |   1024480 |     223    26441   116565 |        1    72895     19 |  0.000 % |
67.78/67.89	c |   1044327 |     223    26441   116565 |        1    92742     20 |  0.000 % |
67.78/67.89	c |   1044427 |     223    26441   116565 |        1    92842     20 |  0.000 % |
67.78/67.89	c |   1053510 |     223    26441   116565 |        1   101925     20 |  0.000 % |
67.78/67.89	c |   1057333 |     223    26441   116565 |        1   105748     21 |  0.000 % |
88.88/88.92	c |   1060833 |     223    26441   116565 |        1   109248     21 |  0.000 % |
88.88/88.92	c |   1090916 |     223    26441   116565 |        1   139331     21 |  0.000 % |
88.88/88.92	c |   1114343 |     223    26441   116565 |        1    91161     19 |  0.000 % |
88.88/88.92	c |   1115422 |     223    26441   116565 |        1    92240     20 |  0.000 % |
88.88/88.92	c |   1115766 |     223    26441   116565 |        1    92584     20 |  0.000 % |
88.88/88.92	c |   1115868 |     223    26441   116565 |        1    92686     20 |  0.000 % |
88.88/88.92	c |   1115979 |     223    26441   116565 |        1    92797     20 |  0.000 % |
88.88/88.92	c |   1120698 |     223    26441   116565 |        1    97516     20 |  0.000 % |
88.88/88.92	c |   1120799 |     223    26441   116565 |        1    97617     20 |  0.000 % |
88.88/88.92	c |   1121355 |     223    26441   116565 |        1    98173     20 |  0.000 % |
88.88/88.92	c |   1121816 |     223    26441   116565 |        1    98634     20 |  0.000 % |
88.88/88.92	c |   1125825 |     223    26441   116565 |        1   102643     20 |  0.000 % |
88.88/88.92	c |   1125925 |     223    26441   116565 |        1   102743     20 |  0.000 % |
88.88/88.92	c |   1130087 |     223    26441   116565 |        1   106905     20 |  0.000 % |
88.88/88.92	c |   1130188 |     223    26441   116565 |        1   107006     20 |  0.000 % |
88.88/88.92	c |   1130289 |     223    26441   116565 |        1   107107     20 |  0.000 % |
88.88/88.92	c |   1130389 |     223    26441   116565 |        1   107207     20 |  0.000 % |
88.88/88.92	c |   1130529 |     223    26441   116565 |        1   107347     20 |  0.000 % |
88.88/88.92	c |   1137047 |     223    26441   116565 |        1   113865     21 |  0.000 % |
88.88/88.92	c |   1137355 |     223    26441   116565 |        1   114173     21 |  0.000 % |
88.88/88.92	c |   1138423 |     223    26441   116565 |        1   115241     21 |  0.000 % |
88.88/88.92	c |   1139011 |     223    26441   116565 |        1   115829     21 |  0.000 % |
88.88/88.92	c |   1139243 |     223    26441   116565 |        1   116061     21 |  0.000 % |
88.88/88.92	c |   1139603 |     223    26441   116565 |        1   116421     21 |  0.000 % |
88.88/88.92	c |   1152663 |     223    26441   116565 |        1   129481     21 |  0.000 % |
88.88/88.92	c |   1178266 |     223    26441   116565 |        1    80886     19 |  0.000 % |
88.88/88.92	c |   1181618 |     223    26441   116565 |        1    84238     19 |  0.000 % |
88.88/88.92	c |   1207313 |     223    26441   116565 |        1   109933     20 |  0.000 % |
88.88/88.92	c |   1207414 |     223    26441   116565 |        1   110034     20 |  0.000 % |
88.88/88.92	c |   1214141 |     223    26441   116565 |        1   116761     21 |  0.000 % |
88.88/88.92	c |   1214242 |     223    26441   116565 |        1   116862     21 |  0.000 % |
88.88/88.92	c |   1238580 |     223    26441   116565 |        1   141200     21 |  0.000 % |
88.88/88.92	c |   1258437 |     223    26441   116565 |        1    84256     19 |  0.000 % |
88.88/88.92	c |   1258537 |     223    26441   116565 |        1    84356     19 |  0.000 % |
88.88/88.92	c |   1261881 |     223    26441   116565 |        1    87700     19 |  0.000 % |
88.88/88.92	c |   1294732 |     223    26441   116565 |        1   120551     21 |  0.000 % |
88.88/88.92	c |   1305021 |     223    26441   116565 |        1   130840     21 |  0.000 % |
88.88/88.92	c |   1305121 |     223    26441   116565 |        1   130940     21 |  0.000 % |
88.88/88.92	c |   1305416 |     223    26441   116565 |        1   131235     21 |  0.000 % |
88.88/88.92	c |   1305524 |     223    26441   116565 |        1   131343     21 |  0.000 % |
88.88/88.92	c |   1306175 |     223    26441   116565 |        1   131994     21 |  0.000 % |
88.88/88.92	c |   1306349 |     223    26441   116565 |        1   132168     21 |  0.000 % |
88.88/88.92	c |   1306449 |     223    26441   116565 |        1   132268     21 |  0.000 % |
88.88/88.92	c |   1308031 |     223    26441   116565 |        1   133850     21 |  0.000 % |
88.88/88.92	c |   1311621 |     223    26441   116565 |        1   137440     21 |  0.000 % |
88.88/88.92	c |   1311914 |     223    26441   116565 |        1   137733     21 |  0.000 % |
88.88/88.92	c |   1312464 |     223    26441   116565 |        1   138283     21 |  0.000 % |
88.88/88.92	c |   1318006 |     223    26441   116565 |        1   143825     21 |  0.000 % |
88.88/88.92	c |   1327301 |     223    26441   116565 |        1   153120     22 |  0.000 % |
88.88/88.92	c |   1331667 |     223    26441   116565 |        1   157486     22 |  0.000 % |
120.00/120.05	c |   1336595 |     223    26441   116565 |        1    83011     19 |  0.000 % |
120.00/120.05	c |   1338373 |     223    26441   116565 |        1    84789     19 |  0.000 % |
120.00/120.05	c |   1339201 |     223    26441   116565 |        1    85617     19 |  0.000 % |
120.00/120.05	c |   1339301 |     223    26441   116565 |        1    85717     19 |  0.000 % |
120.00/120.05	c |   1339901 |     223    26441   116565 |        1    86317     19 |  0.000 % |
120.00/120.05	c |   1340003 |     223    26441   116565 |        1    86419     19 |  0.000 % |
120.00/120.05	c |   1343413 |     223    26441   116565 |        1    89829     19 |  0.000 % |
120.00/120.05	c |   1344669 |     223    26441   116565 |        1    91085     19 |  0.000 % |
120.00/120.05	c |   1348186 |     223    26441   116565 |        1    94602     19 |  0.000 % |
120.00/120.05	c |   1424894 |     223    26441   116565 |        1    89308     18 |  0.000 % |
120.00/120.05	c |   1447152 |     223    26441   116565 |        1   111566     19 |  0.000 % |
120.00/120.05	c |   1480959 |     223    26441   116565 |        1   145373     20 |  0.000 % |
120.00/120.05	c |   1483196 |     223    26441   116565 |        1   147610     20 |  0.000 % |
120.00/120.05	c |   1484421 |     223    26441   116565 |        1   148835     20 |  0.000 % |
120.00/120.05	c |   1485325 |     223    26441   116565 |        1   149739     20 |  0.000 % |
120.00/120.05	c |   1499336 |     223    26441   116565 |        1   163750     20 |  0.000 % |
120.00/120.05	c |   1500797 |     223    26441   116565 |        1   165211     21 |  0.000 % |
120.00/120.05	c |   1535603 |     223    26441   116565 |        1   115419     19 |  0.000 % |
120.00/120.05	c |   1537518 |     223    26441   116565 |        1   117334     20 |  0.000 % |
120.00/120.05	c |   1537618 |     223    26441   116565 |        1   117434     20 |  0.000 % |
120.00/120.05	c |   1538914 |     223    26441   116565 |        1   118730     20 |  0.000 % |
120.00/120.05	c |   1539015 |     223    26441   116565 |        1   118831     20 |  0.000 % |
120.00/120.05	c |   1539271 |     223    26441   116565 |        1   119087     20 |  0.000 % |
120.00/120.05	c |   1539373 |     223    26441   116565 |        1   119189     20 |  0.000 % |
120.00/120.05	c |   1551855 |     223    26441   116565 |        1   131671     20 |  0.000 % |
120.00/120.05	c |   1570332 |     223    26441   116565 |        1   150148     20 |  0.000 % |
120.00/120.05	c |   1585480 |     223    26441   116565 |        1   165296     21 |  0.000 % |
120.00/120.05	c |   1601277 |     223    26441   116565 |        1    93894     19 |  0.000 % |
120.00/120.05	c |   1602637 |     223    26441   116565 |        1    95254     19 |  0.000 % |
120.00/120.05	c |   1609198 |     223    26441   116565 |        1   101815     19 |  0.000 % |
120.00/120.05	c |   1621746 |     223    26441   116565 |        1   114363     19 |  0.000 % |
120.00/120.05	c |   1623258 |     223    26441   116565 |        1   115875     19 |  0.000 % |
120.00/120.05	c |   1625076 |     223    26441   116565 |        1   117693     19 |  0.000 % |
120.00/120.05	c |   1628957 |     223    26441   116565 |        1   121574     20 |  0.000 % |
120.00/120.05	c |   1662022 |     223    26441   116565 |        1   154639     21 |  0.000 % |
120.00/120.05	c |   1662122 |     223    26441   116565 |        1   154739     21 |  0.000 % |
120.00/120.05	c |   1665453 |     223    26441   116565 |        1   158070     21 |  0.000 % |
120.00/120.05	c |   1667301 |     223    26441   116565 |        1   159918     21 |  0.000 % |
120.00/120.05	c |   1668387 |     223    26441   116565 |        1   161004     21 |  0.000 % |
120.00/120.05	c |   1669441 |     223    26441   116565 |        1   162058     21 |  0.000 % |
120.00/120.05	c |   1669773 |     223    26441   116565 |        1   162390     21 |  0.000 % |
120.00/120.05	c |   1669873 |     223    26441   116565 |        1   162490     21 |  0.000 % |
120.00/120.05	c |   1669973 |     223    26441   116565 |        1   162590     21 |  0.000 % |
120.00/120.05	c |   1682629 |     223    26441   116565 |        1   175246     21 |  0.000 % |
120.00/120.05	c |   1683110 |     223    26441   116565 |        1   175727     21 |  0.000 % |
120.00/120.05	c |   1683464 |     223    26441   116565 |        1   176081     21 |  0.000 % |
120.00/120.05	c |   1705883 |     223    26441   116565 |        1   108700     19 |  0.000 % |
120.00/120.05	c |   1708521 |     223    26441   116565 |        1   111338     19 |  0.000 % |
120.00/120.05	c |   1708991 |     223    26441   116565 |        1   111808     19 |  0.000 % |
120.00/120.05	c |   1709092 |     223    26441   116565 |        1   111909     19 |  0.000 % |
137.50/137.59	c |   1710161 |     223    26441   116565 |        1   112978     19 |  0.000 % |
137.50/137.59	c |   1723563 |     223    26441   116565 |        1   126380     20 |  0.000 % |
137.50/137.59	c |   1725855 |     223    26441   116565 |        1   128672     20 |  0.000 % |
137.50/137.59	c |   1727060 |     223    26441   116565 |        1   129877     20 |  0.000 % |
137.50/137.59	c |   1727160 |     223    26441   116565 |        1   129977     20 |  0.000 % |
137.50/137.59	c |   1728149 |     223    26441   116565 |        1   130966     20 |  0.000 % |
137.50/137.59	c |   1728252 |     223    26441   116565 |        1   131069     20 |  0.000 % |
137.50/137.59	c |   1728352 |     223    26441   116565 |        1   131169     20 |  0.000 % |
137.50/137.59	c |   1745309 |     223    26441   116565 |        1   148126     20 |  0.000 % |
137.50/137.59	c |   1747151 |     223    26441   116565 |        1   149968     20 |  0.000 % |
137.50/137.59	c |   1747252 |     223    26441   116565 |        1   150069     20 |  0.000 % |
137.50/137.59	c |   1772572 |     223    26441   116565 |        1   175389     21 |  0.000 % |
137.50/137.59	c |   1773622 |     223    26441   116565 |        1   176439     21 |  0.000 % |
137.50/137.59	c |   1773722 |     223    26441   116565 |        1   176539     21 |  0.000 % |
137.50/137.59	c |   1773996 |     223    26441   116565 |        1   176813     21 |  0.000 % |
137.50/137.59	c |   1801388 |     223    26441   116565 |        1   111803     19 |  0.000 % |
137.50/137.59	c |   1806204 |     223    26441   116565 |        1   116619     19 |  0.000 % |
137.50/137.59	c |   1809337 |     223    26441   116565 |        1   119752     19 |  0.000 % |
137.50/137.59	c |   1810813 |     223    26441   116565 |        1   121228     19 |  0.000 % |
137.50/137.59	c |   1812174 |     223    26441   116565 |        1   122589     20 |  0.000 % |
137.50/137.59	c |   1813318 |     223    26441   116565 |        1   123733     20 |  0.000 % |
137.50/137.59	c |   1813543 |     223    26441   116565 |        1   123958     20 |  0.000 % |
137.50/137.59	c |   1814018 |     223    26441   116565 |        1   124433     20 |  0.000 % |
137.50/137.59	c |   1814223 |     223    26441   116565 |        1   124638     20 |  0.000 % |
137.50/137.59	c |   1818289 |     223    26441   116565 |        1   128704     20 |  0.000 % |
137.50/137.59	c |   1821007 |     223    26441   116565 |        1   131422     20 |  0.000 % |
137.50/137.59	c |   1821107 |     223    26441   116565 |        1   131522     20 |  0.000 % |
137.50/137.59	c |   1824801 |     223    26441   116565 |        1   135216     20 |  0.000 % |
137.50/137.59	c |   1824901 |     223    26441   116565 |        1   135316     20 |  0.000 % |
137.50/137.59	c |   1825002 |     223    26441   116565 |        1   135417     20 |  0.000 % |
137.50/137.59	c |   1825525 |     223    26441   116565 |        1   135940     20 |  0.000 % |
137.50/137.59	c |   1838994 |     223    26441   116565 |        1   149409     20 |  0.000 % |
137.50/137.59	c |   1839094 |     223    26441   116565 |        1   149509     20 |  0.000 % |
137.50/137.59	c |   1839888 |     223    26441   116565 |        1   150303     20 |  0.000 % |
137.50/137.59	c |   1849813 |     223    26441   116565 |        1   160228     20 |  0.000 % |
137.50/137.59	c |   1850058 |     223    26441   116565 |        1   160473     21 |  0.000 % |
137.50/137.59	c |   1850813 |     223    26441   116565 |        1   161228     21 |  0.000 % |
137.50/137.60	c |   1862155 |     223    26441   116565 |        1   172570     21 |  0.000 % |
137.50/137.60	c |   1863094 |     223    26441   116565 |        1   173509     21 |  0.000 % |
137.50/137.60	c |   1863194 |     223    26441   116565 |        1   173609     21 |  0.000 % |
137.50/137.60	c |   1863522 |     223    26441   116565 |        1   173937     21 |  0.000 % |
137.50/137.60	c |   1864341 |     223    26441   116565 |        1   174756     21 |  0.000 % |
137.50/137.60	c |   1864479 |     223    26441   116565 |        1   174894     21 |  0.000 % |
137.50/137.60	c |   1864579 |     223    26441   116565 |        1   174994     21 |  0.000 % |
137.50/137.60	c |   1864679 |     223    26441   116565 |        1   175094     21 |  0.000 % |
137.50/137.60	c |   1898321 |     223    26441   116565 |        1   113737     19 |  0.000 % |
137.50/137.60	c |   1914298 |     223    26441   116565 |        1   129714     19 |  0.000 % |
137.50/137.60	c |   1914449 |     223    26441   116565 |        1   129865     19 |  0.000 % |
137.50/137.60	c |   1915735 |     223    26441   116565 |        1   131151     19 |  0.000 % |
137.50/137.60	c |   1915836 |     223    26441   116565 |        1   131252     19 |  0.000 % |
154.11/154.13	c |   1920234 |     223    26441   116565 |        1   135650     19 |  0.000 % |
154.11/154.13	c |   1920369 |     223    26441   116565 |        1   135785     19 |  0.000 % |
154.11/154.13	c |   1920715 |     223    26441   116565 |        1   136131     20 |  0.000 % |
154.11/154.13	c |   1922092 |     223    26441   116565 |        1   137508     20 |  0.000 % |
154.11/154.13	c |   1922386 |     223    26441   116565 |        1   137802     20 |  0.000 % |
154.11/154.13	c |   1924628 |     223    26441   116565 |        1   140044     20 |  0.000 % |
154.11/154.13	c |   1925108 |     223    26441   116565 |        1   140524     20 |  0.000 % |
154.11/154.13	c |   1925458 |     223    26441   116565 |        1   140874     20 |  0.000 % |
154.11/154.13	c |   1928252 |     223    26441   116565 |        1   143668     20 |  0.000 % |
154.11/154.13	c |   1956499 |     223    26441   116565 |        1   171915     20 |  0.000 % |
154.11/154.13	c |   1956599 |     223    26441   116565 |        1   172015     20 |  0.000 % |
154.11/154.13	c |   1956755 |     223    26441   116565 |        1   172171     20 |  0.000 % |
154.11/154.13	c |   1956943 |     223    26441   116565 |        1   172359     20 |  0.000 % |
154.11/154.13	c |   1957049 |     223    26441   116565 |        1   172465     20 |  0.000 % |
154.11/154.13	c |   2011040 |     223    26441   116565 |        1   128858     19 |  0.000 % |
154.11/154.13	c |   2031222 |     223    26441   116565 |        1   149040     20 |  0.000 % |
154.11/154.13	c |   2045499 |     223    26441   116565 |        1   163317     20 |  0.000 % |
154.11/154.13	c |   2046523 |     223    26441   116565 |        1   164341     20 |  0.000 % |
154.11/154.13	c |   2046623 |     223    26441   116565 |        1   164441     20 |  0.000 % |
154.11/154.13	c |   2046723 |     223    26441   116565 |        1   164541     20 |  0.000 % |
154.11/154.13	c |   2046824 |     223    26441   116565 |        1   164642     20 |  0.000 % |
154.11/154.13	c |   2049535 |     223    26441   116565 |        1   167353     20 |  0.000 % |
154.11/154.13	c |   2049636 |     223    26441   116565 |        1   167454     20 |  0.000 % |
154.11/154.13	c |   2050276 |     223    26441   116565 |        1   168094     20 |  0.000 % |
154.11/154.13	c |   2058604 |     223    26441   116565 |        1   176422     20 |  0.000 % |
154.11/154.13	c |   2058706 |     223    26441   116565 |        1   176524     20 |  0.000 % |
154.11/154.13	c |   2058962 |     223    26441   116565 |        1   176780     20 |  0.000 % |
154.11/154.13	c |   2059790 |     223    26441   116565 |        1   177608     20 |  0.000 % |
154.11/154.13	c |   2061556 |     223    26441   116565 |        1   179374     20 |  0.000 % |
154.11/154.13	c |   2062045 |     223    26441   116565 |        1   179863     20 |  0.000 % |
154.11/154.13	c |   2062145 |     223    26441   116565 |        1   179963     20 |  0.000 % |
154.11/154.13	c |   2068351 |     223    26441   116565 |        1   186169     20 |  0.000 % |
154.11/154.13	c |   2068942 |     223    26441   116565 |        1   186760     21 |  0.000 % |
154.11/154.13	c |   2074102 |     223    26441   116565 |        1   191920     21 |  0.000 % |
154.11/154.13	c |   2075506 |     223    26441   116565 |        1   193324     21 |  0.000 % |
154.11/154.13	c |   2076094 |     223    26441   116565 |        1   193912     21 |  0.000 % |
154.11/154.13	c |   2076194 |     223    26441   116565 |        1   194012     21 |  0.000 % |
154.11/154.13	c |   2081539 |     223    26441   116565 |        1   199357     21 |  0.000 % |
154.11/154.13	c |   2082007 |     223    26441   116565 |        1   199825     21 |  0.000 % |
154.11/154.13	c |   2084421 |     223    26441   116565 |        1   102035     18 |  0.000 % |
154.11/154.13	c |   2084523 |     223    26441   116565 |        1   102137     18 |  0.000 % |
154.11/154.13	c |   2094373 |     223    26441   116565 |        1   111987     18 |  0.000 % |
154.11/154.13	c |   2094749 |     223    26441   116565 |        1   112363     18 |  0.000 % |
154.11/154.13	c |   2095197 |     223    26441   116565 |        1   112811     18 |  0.000 % |
154.11/154.13	c |   2095297 |     223    26441   116565 |        1   112911     18 |  0.000 % |
154.11/154.13	c |   2095397 |     223    26441   116565 |        1   113011     18 |  0.000 % |
154.11/154.13	c |   2095591 |     223    26441   116565 |        1   113205     18 |  0.000 % |
154.11/154.13	c |   2095749 |     223    26441   116565 |        1   113363     18 |  0.000 % |
154.11/154.13	c |   2095850 |     223    26441   116565 |        1   113464     18 |  0.000 % |
195.19/195.25	c |   2099915 |     223    26441   116565 |        1   117529     18 |  0.000 % |
195.19/195.25	c |   2148113 |     223    26441   116565 |        1   165727     20 |  0.000 % |
195.19/195.25	c |   2197699 |     223    26441   116565 |        1   112513     18 |  0.000 % |
195.19/195.25	c |   2245740 |     223    26441   116565 |        1   160554     19 |  0.000 % |
195.19/195.25	c |   2249642 |     223    26441   116565 |        1   164456     20 |  0.000 % |
195.19/195.25	c |   2254268 |     223    26441   116565 |        1   169082     20 |  0.000 % |
195.19/195.25	c |   2267383 |     223    26441   116565 |        1   182197     20 |  0.000 % |
195.19/195.25	c |   2289839 |     223    26441   116565 |        1   204653     21 |  0.000 % |
195.19/195.25	c |   2290558 |     223    26441   116565 |        1   205372     21 |  0.000 % |
195.19/195.25	c |   2291980 |     223    26441   116565 |        1   206794     21 |  0.000 % |
195.19/195.25	c |   2292080 |     223    26441   116565 |        1   206894     21 |  0.000 % |
195.19/195.25	c |   2292181 |     223    26441   116565 |        1   206995     21 |  0.000 % |
195.19/195.25	c |   2292281 |     223    26441   116565 |        1   207095     21 |  0.000 % |
195.19/195.25	c |   2293906 |     223    26441   116565 |        1   208720     21 |  0.000 % |
195.19/195.25	c |   2310157 |     223    26441   116565 |        1   119571     18 |  0.000 % |
195.19/195.25	c |   2310259 |     223    26441   116565 |        1   119673     18 |  0.000 % |
195.19/195.25	c |   2318021 |     223    26441   116565 |        1   127435     19 |  0.000 % |
195.19/195.25	c |   2325708 |     223    26441   116565 |        1   135122     19 |  0.000 % |
195.19/195.25	c |   2325947 |     223    26441   116565 |        1   135361     19 |  0.000 % |
195.19/195.25	c |   2330905 |     223    26441   116565 |        1   140319     19 |  0.000 % |
195.19/195.25	c |   2334498 |     223    26441   116565 |        1   143912     19 |  0.000 % |
195.19/195.25	c |   2352635 |     223    26441   116565 |        1   162049     20 |  0.000 % |
195.19/195.25	c |   2355024 |     223    26441   116565 |        1   164438     20 |  0.000 % |
195.19/195.25	c |   2357793 |     223    26441   116565 |        1   167207     20 |  0.000 % |
195.19/195.25	c |   2361836 |     223    26441   116565 |        1   171250     20 |  0.000 % |
195.19/195.25	c |   2368695 |     223    26441   116565 |        1   178109     21 |  0.000 % |
195.19/195.25	c |   2445121 |     223    26441   116565 |        1   146536     19 |  0.000 % |
195.19/195.25	c |   2445222 |     223    26441   116565 |        1   146637     19 |  0.000 % |
195.19/195.25	c |   2458371 |     223    26441   116565 |        1   159786     20 |  0.000 % |
195.19/195.25	c |   2461622 |     223    26441   116565 |        1   163037     20 |  0.000 % |
195.19/195.25	c |   2462868 |     223    26441   116565 |        1   164283     20 |  0.000 % |
195.19/195.25	c |   2472346 |     223    26441   116565 |        1   173761     20 |  0.000 % |
195.19/195.25	c |   2472446 |     223    26441   116565 |        1   173861     20 |  0.000 % |
195.19/195.25	c |   2472547 |     223    26441   116565 |        1   173962     20 |  0.000 % |
195.19/195.25	c |   2491017 |     223    26441   116565 |        1   192432     20 |  0.000 % |
195.19/195.25	c |   2491117 |     223    26441   116565 |        1   192532     20 |  0.000 % |
195.19/195.25	c |   2497625 |     223    26441   116565 |        1   199040     20 |  0.000 % |
195.19/195.25	c |   2497727 |     223    26441   116565 |        1   199142     20 |  0.000 % |
195.19/195.25	c |   2500742 |     223    26441   116565 |        1   202157     20 |  0.000 % |
195.19/195.25	c |   2500842 |     223    26441   116565 |        1   202257     20 |  0.000 % |
195.19/195.25	c |   2505816 |     223    26441   116565 |        1   207231     21 |  0.000 % |
195.19/195.25	c |   2517831 |     223    26441   116565 |        1   219246     21 |  0.000 % |
195.19/195.25	c |   2529842 |     223    26441   116565 |        1   120655     18 |  0.000 % |
195.19/195.25	c |   2529943 |     223    26441   116565 |        1   120756     18 |  0.000 % |
195.19/195.25	c |   2542042 |     223    26441   116565 |        1   132855     18 |  0.000 % |
195.19/195.25	c |   2544268 |     223    26441   116565 |        1   135081     18 |  0.000 % |
195.19/195.25	c |   2545298 |     223    26441   116565 |        1   136111     18 |  0.000 % |
195.19/195.25	c |   2547547 |     223    26441   116565 |        1   138360     19 |  0.000 % |
195.19/195.25	c |   2549568 |     223    26441   116565 |        1   140381     19 |  0.000 % |
195.19/195.25	c |   2549670 |     223    26441   116565 |        1   140483     19 |  0.000 % |
230.19/230.27	c |   2556056 |     223    26441   116565 |        1   146869     19 |  0.000 % |
230.19/230.27	c |   2561004 |     223    26441   116565 |        1   151817     19 |  0.000 % |
230.19/230.27	c |   2562207 |     223    26441   116565 |        1   153020     19 |  0.000 % |
230.19/230.27	c |   2569493 |     223    26441   116565 |        1   160306     19 |  0.000 % |
230.19/230.27	c |   2570033 |     223    26441   116565 |        1   160846     19 |  0.000 % |
230.19/230.27	c |   2570384 |     223    26441   116565 |        1   161197     19 |  0.000 % |
230.19/230.27	c |   2600843 |     223    26441   116565 |        1   191656     20 |  0.000 % |
230.19/230.27	c |   2606496 |     223    26441   116565 |        1   197309     20 |  0.000 % |
230.19/230.27	c |   2607011 |     223    26441   116565 |        1   197824     20 |  0.000 % |
230.19/230.27	c |   2610008 |     223    26441   116565 |        1   200821     20 |  0.000 % |
230.19/230.27	c |   2610327 |     223    26441   116565 |        1   201140     20 |  0.000 % |
230.19/230.27	c |   2610588 |     223    26441   116565 |        1   201401     20 |  0.000 % |
230.19/230.27	c |   2611827 |     223    26441   116565 |        1   202640     20 |  0.000 % |
230.19/230.27	c |   2612141 |     223    26441   116565 |        1   202954     20 |  0.000 % |
230.19/230.27	c |   2617088 |     223    26441   116565 |        1   207901     21 |  0.000 % |
230.19/230.27	c |   2617189 |     223    26441   116565 |        1   208002     21 |  0.000 % |
230.19/230.27	c |   2617289 |     223    26441   116565 |        1   208102     21 |  0.000 % |
230.19/230.27	c |   2617390 |     223    26441   116565 |        1   208203     21 |  0.000 % |
230.19/230.27	c |   2618257 |     223    26441   116565 |        1   209070     21 |  0.000 % |
230.19/230.27	c |   2633012 |     223    26441   116565 |        1   223825     21 |  0.000 % |
230.19/230.27	c |   2670893 |     223    26441   116565 |        1   148504     19 |  0.000 % |
230.19/230.27	c |   2681918 |     223    26441   116565 |        1   159529     19 |  0.000 % |
230.19/230.27	c |   2682065 |     223    26441   116565 |        1   159676     19 |  0.000 % |
230.19/230.27	c |   2686343 |     223    26441   116565 |        1   163954     19 |  0.000 % |
230.19/230.27	c |   2687235 |     223    26441   116565 |        1   164846     19 |  0.000 % |
230.19/230.27	c |   2703912 |     223    26441   116565 |        1   181523     19 |  0.000 % |
230.19/230.27	c |   2705528 |     223    26441   116565 |        1   183139     20 |  0.000 % |
230.19/230.27	c |   2717971 |     223    26441   116565 |        1   195582     20 |  0.000 % |
230.19/230.27	c |   2720515 |     223    26441   116565 |        1   198126     20 |  0.000 % |
230.19/230.27	c |   2720615 |     223    26441   116565 |        1   198226     20 |  0.000 % |
230.19/230.27	c |   2721811 |     223    26441   116565 |        1   199422     20 |  0.000 % |
230.19/230.27	c |   2723545 |     223    26441   116565 |        1   201156     20 |  0.000 % |
230.19/230.27	c |   2726869 |     223    26441   116565 |        1   204480     20 |  0.000 % |
230.19/230.27	c |   2743125 |     223    26441   116565 |        1   220736     20 |  0.000 % |
230.19/230.27	c |   2750982 |     223    26441   116565 |        1   228593     20 |  0.000 % |
230.19/230.27	c |   2751284 |     223    26441   116565 |        1   228895     20 |  0.000 % |
230.19/230.27	c |   2761886 |     223    26441   116565 |        1   123696     18 |  0.000 % |
230.19/230.27	c |   2761988 |     223    26441   116565 |        1   123798     18 |  0.000 % |
230.19/230.27	c |   2762716 |     223    26441   116565 |        1   124526     18 |  0.000 % |
230.19/230.27	c |   2762818 |     223    26441   116565 |        1   124628     18 |  0.000 % |
230.19/230.27	c |   2773803 |     223    26441   116565 |        1   135613     18 |  0.000 % |
230.19/230.27	c |   2773991 |     223    26441   116565 |        1   135801     18 |  0.000 % |
230.19/230.27	c |   2784233 |     223    26441   116565 |        1   146043     19 |  0.000 % |
230.19/230.27	c |   2855236 |     223    26441   116565 |        1   217046     20 |  0.000 % |
230.19/230.27	c |   2904486 |     223    26441   116565 |        1   147894     18 |  0.000 % |
230.19/230.27	c |   2914263 |     223    26441   116565 |        1   157671     19 |  0.000 % |
230.19/230.27	c |   2914513 |     223    26441   116565 |        1   157921     19 |  0.000 % |
230.19/230.27	c |   2915460 |     223    26441   116565 |        1   158868     19 |  0.000 % |
230.19/230.27	c |   2915800 |     223    26441   116565 |        1   159208     19 |  0.000 % |
230.19/230.27	c |   2915900 |     223    26441   116565 |        1   159308     19 |  0.000 % |
280.79/280.86	c |   2916003 |     223    26441   116565 |        1   159411     19 |  0.000 % |
280.79/280.86	c |   2916483 |     223    26441   116565 |        1   159891     19 |  0.000 % |
280.79/280.86	c |   2918117 |     223    26441   116565 |        1   161525     19 |  0.000 % |
280.79/280.86	c |   2918220 |     223    26441   116565 |        1   161628     19 |  0.000 % |
280.79/280.86	c |   2926705 |     223    26441   116565 |        1   170113     19 |  0.000 % |
280.79/280.86	c |   3094197 |     223    26441   116565 |        1   216609     19 |  0.000 % |
280.79/280.86	c |   3094298 |     223    26441   116565 |        1   216710     19 |  0.000 % |
280.79/280.86	c |   3103125 |     223    26441   116565 |        1   225537     19 |  0.000 % |
280.79/280.86	c |   3105129 |     223    26441   116565 |        1   227541     19 |  0.000 % |
280.79/280.86	c |   3105323 |     223    26441   116565 |        1   227735     19 |  0.000 % |
280.79/280.86	c |   3107010 |     223    26441   116565 |        1   229422     19 |  0.000 % |
280.79/280.86	c |   3119139 |     223    26441   116565 |        1   241551     20 |  0.000 % |
280.79/280.86	c |   3121535 |     223    26441   116565 |        1   243947     20 |  0.000 % |
280.79/280.86	c |   3121652 |     223    26441   116565 |        1   244064     20 |  0.000 % |
280.79/280.86	c |   3128549 |     223    26441   116565 |        1   127368     17 |  0.000 % |
280.79/280.86	c |   3128721 |     223    26441   116565 |        1   127540     17 |  0.000 % |
280.79/280.86	c |   3128821 |     223    26441   116565 |        1   127640     17 |  0.000 % |
280.79/280.86	c |   3132941 |     223    26441   116565 |        1   131760     18 |  0.000 % |
280.79/280.86	c |   3133436 |     223    26441   116565 |        1   132255     18 |  0.000 % |
280.79/280.86	c |   3147320 |     223    26441   116565 |        1   146139     18 |  0.000 % |
280.79/280.86	c |   3151069 |     223    26441   116565 |        1   149888     18 |  0.000 % |
280.79/280.86	c |   3158786 |     223    26441   116565 |        1   157605     19 |  0.000 % |
280.79/280.86	c |   3160445 |     223    26441   116565 |        1   159264     19 |  0.000 % |
280.79/280.86	c |   3177651 |     223    26441   116565 |        1   176470     19 |  0.000 % |
280.79/280.86	c |   3200556 |     223    26441   116565 |        1   199375     20 |  0.000 % |
280.79/280.86	c |   3200657 |     223    26441   116565 |        1   199476     20 |  0.000 % |
280.79/280.86	c |   3203762 |     223    26441   116565 |        1   202581     20 |  0.000 % |
280.79/280.86	c |   3204566 |     223    26441   116565 |        1   203385     20 |  0.000 % |
280.79/280.86	c |   3205809 |     223    26441   116565 |        1   204628     20 |  0.000 % |
280.79/280.86	c |   3209035 |     223    26441   116565 |        1   207854     20 |  0.000 % |
280.79/280.86	c |   3211935 |     223    26441   116565 |        1   210754     20 |  0.000 % |
280.79/280.86	c |   3212035 |     223    26441   116565 |        1   210854     20 |  0.000 % |
280.79/280.86	c |   3214745 |     223    26441   116565 |        1   213564     20 |  0.000 % |
280.79/280.86	c |   3277410 |     223    26441   116565 |        1   150034     18 |  0.000 % |
280.79/280.86	c |   3279745 |     223    26441   116565 |        1   152369     18 |  0.000 % |
280.79/280.86	c |   3325013 |     223    26441   116565 |        1   197637     19 |  0.000 % |
280.79/280.86	c |   3339249 |     223    26441   116565 |        1   211873     19 |  0.000 % |
280.79/280.86	c |   3342663 |     223    26441   116565 |        1   215287     19 |  0.000 % |
280.79/280.86	c |   3372509 |     223    26441   116565 |        1   245133     20 |  0.000 % |
280.79/280.86	c |   3386096 |     223    26441   116565 |        1   129914     17 |  0.000 % |
280.79/280.86	c |   3386869 |     223    26441   116565 |        1   130687     17 |  0.000 % |
280.79/280.86	c |   3387537 |     223    26441   116565 |        1   131355     17 |  0.000 % |
280.79/280.86	c |   3387652 |     223    26441   116565 |        1   131470     17 |  0.000 % |
280.79/280.86	c |   3402891 |     223    26441   116565 |        1   146709     18 |  0.000 % |
280.79/280.86	c |   3404265 |     223    26441   116565 |        1   148083     18 |  0.000 % |
280.79/280.86	c |   3410666 |     223    26441   116565 |        1   154484     18 |  0.000 % |
280.79/280.86	c |   3410770 |     223    26441   116565 |        1   154588     18 |  0.000 % |
280.79/280.86	c |   3410870 |     223    26441   116565 |        1   154688     18 |  0.000 % |
280.79/280.86	c |   3410970 |     223    26441   116565 |        1   154788     18 |  0.000 % |
280.79/280.86	c |   3423327 |     223    26441   116565 |        1   167145     19 |  0.000 % |
318.49/318.54	c |   3424644 |     223    26441   116565 |        1   168462     19 |  0.000 % |
318.49/318.54	c |   3424745 |     223    26441   116565 |        1   168563     19 |  0.000 % |
318.49/318.54	c |   3424847 |     223    26441   116565 |        1   168665     19 |  0.000 % |
318.49/318.54	c |   3441068 |     223    26441   116565 |        1   184886     19 |  0.000 % |
318.49/318.54	c |   3441170 |     223    26441   116565 |        1   184988     19 |  0.000 % |
318.49/318.54	c |   3441983 |     223    26441   116565 |        1   185801     19 |  0.000 % |
318.49/318.54	c |   3455781 |     223    26441   116565 |        1   199599     20 |  0.000 % |
318.49/318.54	c |   3491327 |     223    26441   116565 |        1   235145     20 |  0.000 % |
318.49/318.54	c |   3512335 |     223    26441   116565 |        1   256153     20 |  0.000 % |
318.49/318.54	c |   3512780 |     223    26441   116565 |        1   256598     20 |  0.000 % |
318.49/318.54	c |   3517919 |     223    26441   116565 |        1   261737     20 |  0.000 % |
318.49/318.54	c |   3518799 |     223    26441   116565 |        1   262617     20 |  0.000 % |
318.49/318.54	c |   3521998 |     223    26441   116565 |        1   134409     18 |  0.000 % |
318.49/318.54	c |   3522098 |     223    26441   116565 |        1   134509     18 |  0.000 % |
318.49/318.54	c |   3522354 |     223    26441   116565 |        1   134765     18 |  0.000 % |
318.49/318.54	c |   3522455 |     223    26441   116565 |        1   134866     18 |  0.000 % |
318.49/318.54	c |   3534916 |     223    26441   116565 |        1   147327     18 |  0.000 % |
318.49/318.54	c |   3537145 |     223    26441   116565 |        1   149556     18 |  0.000 % |
318.49/318.54	c |   3556949 |     223    26441   116565 |        1   169360     19 |  0.000 % |
318.49/318.54	c |   3557049 |     223    26441   116565 |        1   169460     19 |  0.000 % |
318.49/318.54	c |   3564798 |     223    26441   116565 |        1   177209     19 |  0.000 % |
318.49/318.54	c |   3601151 |     223    26441   116565 |        1   213562     20 |  0.000 % |
318.49/318.54	c |   3601253 |     223    26441   116565 |        1   213664     20 |  0.000 % |
318.49/318.54	c |   3609754 |     223    26441   116565 |        1   222165     20 |  0.000 % |
318.49/318.54	c |   3611343 |     223    26441   116565 |        1   223754     20 |  0.000 % |
318.49/318.54	c |   3611455 |     223    26441   116565 |        1   223866     20 |  0.000 % |
318.49/318.54	c |   3613127 |     223    26441   116565 |        1   225538     20 |  0.000 % |
318.49/318.54	c |   3613233 |     223    26441   116565 |        1   225644     20 |  0.000 % |
318.49/318.54	c |   3627666 |     223    26441   116565 |        1   240077     20 |  0.000 % |
318.49/318.54	c |   3628012 |     223    26441   116565 |        1   240423     20 |  0.000 % |
318.49/318.54	c |   3632170 |     223    26441   116565 |        1   244581     20 |  0.000 % |
318.49/318.54	c |   3632271 |     223    26441   116565 |        1   244682     20 |  0.000 % |
318.49/318.54	c |   3653902 |     223    26441   116565 |        1   266313     20 |  0.000 % |
318.49/318.54	c |   3654388 |     223    26441   116565 |        1   266799     20 |  0.000 % |
318.49/318.54	c |   3654778 |     223    26441   116565 |        1   267189     20 |  0.000 % |
318.49/318.54	c |   3677849 |     223    26441   116565 |        1   156257     18 |  0.000 % |
318.49/318.54	c |   3679877 |     223    26441   116565 |        1   158285     18 |  0.000 % |
318.49/318.54	c |   3680083 |     223    26441   116565 |        1   158491     18 |  0.000 % |
318.49/318.54	c |   3685339 |     223    26441   116565 |        1   163747     18 |  0.000 % |
318.49/318.54	c |   3686215 |     223    26441   116565 |        1   164623     18 |  0.000 % |
318.49/318.54	c |   3686316 |     223    26441   116565 |        1   164724     18 |  0.000 % |
318.49/318.54	c |   3686849 |     223    26441   116565 |        1   165257     19 |  0.000 % |
318.49/318.54	c |   3721299 |     223    26441   116565 |        1   199707     19 |  0.000 % |
318.49/318.54	c |   3725371 |     223    26441   116565 |        1   203779     19 |  0.000 % |
318.49/318.54	c |   3727268 |     223    26441   116565 |        1   205676     19 |  0.000 % |
318.49/318.54	c |   3727368 |     223    26441   116565 |        1   205776     19 |  0.000 % |
318.49/318.54	c |   3727543 |     223    26441   116565 |        1   205951     19 |  0.000 % |
318.49/318.54	c |   3750120 |     223    26441   116565 |        1   228528     20 |  0.000 % |
318.49/318.54	c |   3757133 |     223    26441   116565 |        1   235541     20 |  0.000 % |
318.49/318.54	c |   3783189 |     223    26441   116565 |        1   261597     20 |  0.000 % |
352.59/352.67	c |   3799625 |     223    26441   116565 |        1   141435     17 |  0.000 % |
352.59/352.67	c |   3800423 |     223    26441   116565 |        1   142233     17 |  0.000 % |
352.59/352.67	c |   3803250 |     223    26441   116565 |        1   145060     18 |  0.000 % |
352.59/352.67	c |   3804112 |     223    26441   116565 |        1   145922     18 |  0.000 % |
352.59/352.67	c |   3804575 |     223    26441   116565 |        1   146385     18 |  0.000 % |
352.59/352.67	c |   3804677 |     223    26441   116565 |        1   146487     18 |  0.000 % |
352.59/352.67	c |   3834803 |     223    26441   116565 |        1   176613     18 |  0.000 % |
352.59/352.67	c |   3835067 |     223    26441   116565 |        1   176877     18 |  0.000 % |
352.59/352.67	c |   3835715 |     223    26441   116565 |        1   177525     18 |  0.000 % |
352.59/352.67	c |   3839561 |     223    26441   116565 |        1   181371     18 |  0.000 % |
352.59/352.67	c |   3880221 |     223    26441   116565 |        1   222031     19 |  0.000 % |
352.59/352.67	c |   3880358 |     223    26441   116565 |        1   222168     19 |  0.000 % |
352.59/352.67	c |   3880461 |     223    26441   116565 |        1   222271     19 |  0.000 % |
352.59/352.67	c |   3915083 |     223    26441   116565 |        1   256893     20 |  0.000 % |
352.59/352.67	c |   3917158 |     223    26441   116565 |        1   258968     20 |  0.000 % |
352.59/352.67	c |   3919197 |     223    26441   116565 |        1   261007     20 |  0.000 % |
352.59/352.67	c |   3919303 |     223    26441   116565 |        1   261113     20 |  0.000 % |
352.59/352.67	c |   3920498 |     223    26441   116565 |        1   262308     20 |  0.000 % |
352.59/352.67	c |   3940124 |     223    26441   116565 |        1   142736     17 |  0.000 % |
352.59/352.67	c |   3942780 |     223    26441   116565 |        1   145392     17 |  0.000 % |
352.59/352.67	c |   3943085 |     223    26441   116565 |        1   145697     17 |  0.000 % |
352.59/352.67	c |   3949188 |     223    26441   116565 |        1   151800     18 |  0.000 % |
352.59/352.67	c |   3959750 |     223    26441   116565 |        1   162362     18 |  0.000 % |
352.59/352.67	c |   3964337 |     223    26441   116565 |        1   166949     18 |  0.000 % |
352.59/352.67	c |   3975440 |     223    26441   116565 |        1   178052     19 |  0.000 % |
352.59/352.67	c |   3975840 |     223    26441   116565 |        1   178452     19 |  0.000 % |
352.59/352.67	c |   3980970 |     223    26441   116565 |        1   183582     19 |  0.000 % |
352.59/352.67	c |   3981302 |     223    26441   116565 |        1   183914     19 |  0.000 % |
352.59/352.67	c |   3982335 |     223    26441   116565 |        1   184947     19 |  0.000 % |
352.59/352.67	c |   3983154 |     223    26441   116565 |        1   185766     19 |  0.000 % |
352.59/352.67	c |   3983254 |     223    26441   116565 |        1   185866     19 |  0.000 % |
352.59/352.67	c |   3987993 |     223    26441   116565 |        1   190605     19 |  0.000 % |
352.59/352.67	c |   3988126 |     223    26441   116565 |        1   190738     19 |  0.000 % |
352.59/352.67	c |   3988226 |     223    26441   116565 |        1   190838     19 |  0.000 % |
352.59/352.67	c |   3993243 |     223    26441   116565 |        1   195855     19 |  0.000 % |
352.59/352.67	c |   3995691 |     223    26441   116565 |        1   198303     19 |  0.000 % |
352.59/352.67	c |   4013910 |     223    26441   116565 |        1   216522     20 |  0.000 % |
352.59/352.67	c |   4017989 |     223    26441   116565 |        1   220601     20 |  0.000 % |
352.59/352.67	c |   4019470 |     223    26441   116565 |        1   222082     20 |  0.000 % |
352.59/352.67	c |   4023706 |     223    26441   116565 |        1   226318     20 |  0.000 % |
352.59/352.67	c |   4045262 |     223    26441   116565 |        1   247874     20 |  0.000 % |
352.59/352.67	c |   4045386 |     223    26441   116565 |        1   247998     20 |  0.000 % |
352.59/352.67	c |   4046224 |     223    26441   116565 |        1   248836     20 |  0.000 % |
352.59/352.67	c |   4047036 |     223    26441   116565 |        1   249648     20 |  0.000 % |
352.59/352.67	c |   4050821 |     223    26441   116565 |        1   253433     20 |  0.000 % |
352.59/352.67	c |   4078885 |     223    26441   116565 |        1   281497     20 |  0.000 % |
352.59/352.67	c |   4082751 |     223    26441   116565 |        1   143568     17 |  0.000 % |
352.59/352.67	c |   4085937 |     223    26441   116565 |        1   146754     17 |  0.000 % |
352.59/352.67	c |   4086825 |     223    26441   116565 |        1   147642     18 |  0.000 % |
352.59/352.67	c |   4090256 |     223    26441   116565 |        1   151073     18 |  0.000 % |
398.50/398.58	c |   4190644 |     223    26441   116565 |        1   251461     19 |  0.000 % |
398.50/398.58	c |   4190745 |     223    26441   116565 |        1   251562     19 |  0.000 % |
398.50/398.58	c |   4198734 |     223    26441   116565 |        1   259551     19 |  0.000 % |
398.50/398.58	c |   4231135 |     223    26441   116565 |        1   147550     17 |  0.000 % |
398.50/398.58	c |   4236097 |     223    26441   116565 |        1   152512     17 |  0.000 % |
398.50/398.58	c |   4241381 |     223    26441   116565 |        1   157796     17 |  0.000 % |
398.50/398.58	c |   4252108 |     223    26441   116565 |        1   168523     18 |  0.000 % |
398.50/398.58	c |   4256386 |     223    26441   116565 |        1   172801     18 |  0.000 % |
398.50/398.58	c |   4257135 |     223    26441   116565 |        1   173550     18 |  0.000 % |
398.50/398.58	c |   4283118 |     223    26441   116565 |        1   199533     19 |  0.000 % |
398.50/398.58	c |   4294803 |     223    26441   116565 |        1   211218     19 |  0.000 % |
398.50/398.58	c |   4310858 |     223    26441   116565 |        1   227273     19 |  0.000 % |
398.50/398.58	c |   4312300 |     223    26441   116565 |        1   228715     19 |  0.000 % |
398.50/398.58	c |   4312492 |     223    26441   116565 |        1   228907     19 |  0.000 % |
398.50/398.58	c |   4316256 |     223    26441   116565 |        1   232671     20 |  0.000 % |
398.50/398.58	c |   4316356 |     223    26441   116565 |        1   232771     20 |  0.000 % |
398.50/398.58	c |   4316562 |     223    26441   116565 |        1   232977     20 |  0.000 % |
398.50/398.58	c |   4316662 |     223    26441   116565 |        1   233077     20 |  0.000 % |
398.50/398.58	c |   4316762 |     223    26441   116565 |        1   233177     20 |  0.000 % |
398.50/398.58	c |   4338196 |     223    26441   116565 |        1   254611     20 |  0.000 % |
398.50/398.58	c |   4338298 |     223    26441   116565 |        1   254713     20 |  0.000 % |
398.50/398.58	c |   4342523 |     223    26441   116565 |        1   258938     20 |  0.000 % |
398.50/398.58	c |   4342624 |     223    26441   116565 |        1   259039     20 |  0.000 % |
398.50/398.58	c |   4350482 |     223    26441   116565 |        1   266897     20 |  0.000 % |
398.50/398.58	c |   4350642 |     223    26441   116565 |        1   267057     20 |  0.000 % |
398.50/398.58	c |   4357662 |     223    26441   116565 |        1   274077     20 |  0.000 % |
398.50/398.58	c |   4361858 |     223    26441   116565 |        1   278273     20 |  0.000 % |
398.50/398.58	c |   4361960 |     223    26441   116565 |        1   278375     20 |  0.000 % |
398.50/398.58	c |   4399643 |     223    26441   116565 |        1   169058     18 |  0.000 % |
398.50/398.58	c |   4400469 |     223    26441   116565 |        1   169884     18 |  0.000 % |
398.50/398.58	c |   4402315 |     223    26441   116565 |        1   171730     18 |  0.000 % |
398.50/398.58	c |   4403288 |     223    26441   116565 |        1   172703     18 |  0.000 % |
398.50/398.58	c |   4403388 |     223    26441   116565 |        1   172803     18 |  0.000 % |
398.50/398.58	c |   4404042 |     223    26441   116565 |        1   173457     18 |  0.000 % |
398.50/398.58	c |   4422766 |     223    26441   116565 |        1   192181     19 |  0.000 % |
398.50/398.58	c |   4430102 |     223    26441   116565 |        1   199517     19 |  0.000 % |
398.50/398.58	c |   4431365 |     223    26441   116565 |        1   200780     19 |  0.000 % |
398.50/398.58	c |   4435384 |     223    26441   116565 |        1   204799     19 |  0.000 % |
398.50/398.58	c |   4436368 |     223    26441   116565 |        1   205783     19 |  0.000 % |
398.50/398.58	c |   4436470 |     223    26441   116565 |        1   205885     19 |  0.000 % |
398.50/398.58	c |   4440755 |     223    26441   116565 |        1   210170     19 |  0.000 % |
398.50/398.58	c |   4441034 |     223    26441   116565 |        1   210449     19 |  0.000 % |
398.50/398.58	c |   4441137 |     223    26441   116565 |        1   210552     19 |  0.000 % |
398.50/398.58	c |   4451374 |     223    26441   116565 |        1   220789     19 |  0.000 % |
398.50/398.58	c |   4487441 |     223    26441   116565 |        1   256856     20 |  0.000 % |
398.50/398.58	c |   4494304 |     223    26441   116565 |        1   263719     20 |  0.000 % |
398.50/398.58	c |   4494408 |     223    26441   116565 |        1   263823     20 |  0.000 % |
398.50/398.58	c |   4494715 |     223    26441   116565 |        1   264130     20 |  0.000 % |
398.50/398.58	c |   4495208 |     223    26441   116565 |        1   264623     20 |  0.000 % |
398.50/398.58	c |   4506725 |     223    26441   116565 |        1   276140     20 |  0.000 % |
470.30/470.39	c |   4508014 |     223    26441   116565 |        1   277429     20 |  0.000 % |
470.30/470.39	c |   4514323 |     223    26441   116565 |        1   283738     20 |  0.000 % |
470.30/470.39	c |   4517497 |     223    26441   116565 |        1   286912     20 |  0.000 % |
470.30/470.39	c |   4523202 |     223    26441   116565 |        1   292617     20 |  0.000 % |
470.30/470.39	c |   4523520 |     223    26441   116565 |        1   292935     20 |  0.000 % |
470.30/470.39	c |   4527313 |     223    26441   116565 |        1   296728     20 |  0.000 % |
470.30/470.39	c |   4528052 |     223    26441   116565 |        1   297467     20 |  0.000 % |
470.30/470.39	c |   4588040 |     223    26441   116565 |        1   207852     18 |  0.000 % |
470.30/470.39	c |   4606648 |     223    26441   116565 |        1   226460     19 |  0.000 % |
470.30/470.39	c |   4622282 |     223    26441   116565 |        1   242094     19 |  0.000 % |
470.30/470.39	c |   4635798 |     223    26441   116565 |        1   255610     19 |  0.000 % |
470.30/470.39	c |   4643562 |     223    26441   116565 |        1   263374     19 |  0.000 % |
470.30/470.39	c |   4654390 |     223    26441   116565 |        1   274202     19 |  0.000 % |
470.30/470.39	c |   4749988 |     223    26441   116565 |        1   217604     18 |  0.000 % |
470.30/470.39	c |   4750318 |     223    26441   116565 |        1   217934     18 |  0.000 % |
470.30/470.39	c |   4757870 |     223    26441   116565 |        1   225486     18 |  0.000 % |
470.30/470.39	c |   4758240 |     223    26441   116565 |        1   225856     18 |  0.000 % |
470.30/470.39	c |   4907873 |     223    26441   116565 |        1   220690     18 |  0.000 % |
470.30/470.39	c |   4910638 |     223    26441   116565 |        1   223455     18 |  0.000 % |
470.30/470.39	c |   4915620 |     223    26441   116565 |        1   228437     18 |  0.000 % |
470.30/470.39	c |   4944945 |     223    26441   116565 |        1   257762     19 |  0.000 % |
470.30/470.39	c |   4947983 |     223    26441   116565 |        1   260800     19 |  0.000 % |
470.30/470.39	c |   4980169 |     223    26441   116565 |        1   292986     19 |  0.000 % |
470.30/470.39	c |   4985593 |     223    26441   116565 |        1   298410     19 |  0.000 % |
470.30/470.39	c |   4991287 |     223    26441   116565 |        1   304104     19 |  0.000 % |
470.30/470.39	c |   4991405 |     223    26441   116565 |        1   304222     19 |  0.000 % |
470.30/470.39	c |   5005917 |     223    26441   116565 |        1   161336     17 |  0.000 % |
470.30/470.39	c |   5017846 |     223    26441   116565 |        1   173265     17 |  0.000 % |
470.30/470.39	c |   5021296 |     223    26441   116565 |        1   176715     17 |  0.000 % |
470.30/470.39	c |   5027066 |     223    26441   116565 |        1   182485     18 |  0.000 % |
470.30/470.39	c |   5035883 |     223    26441   116565 |        1   191302     18 |  0.000 % |
470.30/470.39	c |   5035985 |     223    26441   116565 |        1   191404     18 |  0.000 % |
470.30/470.39	c |   5036289 |     223    26441   116565 |        1   191708     18 |  0.000 % |
470.30/470.39	c |   5057177 |     223    26441   116565 |        1   212596     18 |  0.000 % |
470.30/470.39	c |   5078634 |     223    26441   116565 |        1   234053     19 |  0.000 % |
470.30/470.39	c |   5084281 |     223    26441   116565 |        1   239700     19 |  0.000 % |
470.30/470.39	c |   5085064 |     223    26441   116565 |        1   240483     19 |  0.000 % |
470.30/470.39	c |   5092361 |     223    26441   116565 |        1   247780     19 |  0.000 % |
470.30/470.39	c |   5101623 |     223    26441   116565 |        1   257042     19 |  0.000 % |
470.30/470.39	c |   5102846 |     223    26441   116565 |        1   258265     19 |  0.000 % |
470.30/470.39	c |   5102947 |     223    26441   116565 |        1   258366     19 |  0.000 % |
470.30/470.39	c |   5103515 |     223    26441   116565 |        1   258934     19 |  0.000 % |
470.30/470.39	c |   5104230 |     223    26441   116565 |        1   259649     19 |  0.000 % |
470.30/470.39	c |   5104330 |     223    26441   116565 |        1   259749     19 |  0.000 % |
470.30/470.39	c |   5104432 |     223    26441   116565 |        1   259851     19 |  0.000 % |
470.30/470.39	c |   5108428 |     223    26441   116565 |        1   263847     19 |  0.000 % |
470.30/470.39	c |   5112156 |     223    26441   116565 |        1   267575     19 |  0.000 % |
470.30/470.39	c |   5117910 |     223    26441   116565 |        1   273329     20 |  0.000 % |
470.30/470.39	c |   5121028 |     223    26441   116565 |        1   276447     20 |  0.000 % |
470.30/470.39	c |   5131886 |     223    26441   116565 |        1   287305     20 |  0.000 % |
506.02/506.02	c |   5163249 |     223    26441   116565 |        1   318668     20 |  0.000 % |
506.02/506.02	c |   5166263 |     223    26441   116565 |        1   161679     17 |  0.000 % |
506.02/506.02	c |   5168188 |     223    26441   116565 |        1   163604     17 |  0.000 % |
506.02/506.02	c |   5168288 |     223    26441   116565 |        1   163704     17 |  0.000 % |
506.02/506.02	c |   5168744 |     223    26441   116565 |        1   164160     17 |  0.000 % |
506.02/506.02	c |   5170123 |     223    26441   116565 |        1   165539     17 |  0.000 % |
506.02/506.02	c |   5170223 |     223    26441   116565 |        1   165639     17 |  0.000 % |
506.02/506.02	c |   5175739 |     223    26441   116565 |        1   171155     17 |  0.000 % |
506.02/506.02	c |   5177905 |     223    26441   116565 |        1   173321     18 |  0.000 % |
506.02/506.02	c |   5179401 |     223    26441   116565 |        1   174817     18 |  0.000 % |
506.02/506.02	c |   5179816 |     223    26441   116565 |        1   175232     18 |  0.000 % |
506.02/506.02	c |   5179916 |     223    26441   116565 |        1   175332     18 |  0.000 % |
506.02/506.02	c |   5201708 |     223    26441   116565 |        1   197124     18 |  0.000 % |
506.02/506.02	c |   5202071 |     223    26441   116565 |        1   197487     18 |  0.000 % |
506.02/506.02	c |   5241269 |     223    26441   116565 |        1   236685     19 |  0.000 % |
506.02/506.02	c |   5241986 |     223    26441   116565 |        1   237402     19 |  0.000 % |
506.02/506.02	c |   5250739 |     223    26441   116565 |        1   246155     19 |  0.000 % |
506.02/506.02	c |   5250979 |     223    26441   116565 |        1   246395     19 |  0.000 % |
506.02/506.02	c |   5258076 |     223    26441   116565 |        1   253492     19 |  0.000 % |
506.02/506.02	c |   5258389 |     223    26441   116565 |        1   253805     19 |  0.000 % |
506.02/506.02	c |   5258489 |     223    26441   116565 |        1   253905     19 |  0.000 % |
506.02/506.02	c |   5312015 |     223    26441   116565 |        1   307431     20 |  0.000 % |
506.02/506.02	c |   5312115 |     223    26441   116565 |        1   307531     20 |  0.000 % |
506.02/506.02	c |   5312222 |     223    26441   116565 |        1   307638     20 |  0.000 % |
506.02/506.02	c |   5312322 |     223    26441   116565 |        1   307738     20 |  0.000 % |
506.02/506.02	c |   5322158 |     223    26441   116565 |        1   317574     20 |  0.000 % |
506.02/506.02	c |   5322854 |     223    26441   116565 |        1   318270     20 |  0.000 % |
506.02/506.02	c |   5323196 |     223    26441   116565 |        1   318612     20 |  0.000 % |
506.02/506.02	c |   5324552 |     223    26441   116565 |        1   319968     20 |  0.000 % |
506.02/506.02	c |   5331139 |     223    26441   116565 |        1   163957     17 |  0.000 % |
506.02/506.02	c |   5341631 |     223    26441   116565 |        1   174449     17 |  0.000 % |
506.02/506.02	c |   5347204 |     223    26441   116565 |        1   180022     18 |  0.000 % |
506.02/506.02	c |   5347306 |     223    26441   116565 |        1   180124     18 |  0.000 % |
506.02/506.02	c |   5348422 |     223    26441   116565 |        1   181240     18 |  0.000 % |
506.02/506.02	c |   5352716 |     223    26441   116565 |        1   185534     18 |  0.000 % |
506.02/506.02	c |   5358983 |     223    26441   116565 |        1   191801     18 |  0.000 % |
506.02/506.02	c |   5359332 |     223    26441   116565 |        1   192150     18 |  0.000 % |
506.02/506.02	c |   5361676 |     223    26441   116565 |        1   194494     18 |  0.000 % |
506.02/506.02	c |   5361823 |     223    26441   116565 |        1   194641     18 |  0.000 % |
506.02/506.02	c |   5362513 |     223    26441   116565 |        1   195331     18 |  0.000 % |
506.02/506.02	c |   5366840 |     223    26441   116565 |        1   199658     18 |  0.000 % |
506.02/506.02	c |   5374286 |     223    26441   116565 |        1   207104     18 |  0.000 % |
506.02/506.02	c |   5390362 |     223    26441   116565 |        1   223180     19 |  0.000 % |
506.02/506.02	c |   5406887 |     223    26441   116565 |        1   239705     19 |  0.000 % |
506.02/506.02	c |   5406987 |     223    26441   116565 |        1   239805     19 |  0.000 % |
506.02/506.02	c |   5408945 |     223    26441   116565 |        1   241763     19 |  0.000 % |
506.02/506.02	c |   5409045 |     223    26441   116565 |        1   241863     19 |  0.000 % |
506.02/506.02	c |   5417015 |     223    26441   116565 |        1   249833     19 |  0.000 % |
506.02/506.02	c |   5418136 |     223    26441   116565 |        1   250954     19 |  0.000 % |
506.02/506.02	c |   5448207 |     223    26441   116565 |        1   281025     20 |  0.000 % |
574.00/574.05	c |   5458236 |     223    26441   116565 |        1   291054     20 |  0.000 % |
574.00/574.05	c |   5458961 |     223    26441   116565 |        1   291779     20 |  0.000 % |
574.00/574.05	c |   5495846 |     223    26441   116565 |        1   328664     20 |  0.000 % |
574.00/574.05	c |   5504083 |     223    26441   116565 |        1   171697     17 |  0.000 % |
574.00/574.05	c |   5504255 |     223    26441   116565 |        1   171869     17 |  0.000 % |
574.00/574.05	c |   5504582 |     223    26441   116565 |        1   172196     17 |  0.000 % |
574.00/574.05	c |   5504695 |     223    26441   116565 |        1   172309     17 |  0.000 % |
574.00/574.05	c |   5504811 |     223    26441   116565 |        1   172425     17 |  0.000 % |
574.00/574.05	c |   5504911 |     223    26441   116565 |        1   172525     17 |  0.000 % |
574.00/574.05	c |   5515134 |     223    26441   116565 |        1   182748     18 |  0.000 % |
574.00/574.05	c |   5516256 |     223    26441   116565 |        1   183870     18 |  0.000 % |
574.00/574.05	c |   5517133 |     223    26441   116565 |        1   184747     18 |  0.000 % |
574.00/574.05	c |   5518598 |     223    26441   116565 |        1   186212     18 |  0.000 % |
574.00/574.05	c |   5521167 |     223    26441   116565 |        1   188781     18 |  0.000 % |
574.00/574.05	c |   5565367 |     223    26441   116565 |        1   232981     19 |  0.000 % |
574.00/574.05	c |   5565468 |     223    26441   116565 |        1   233082     19 |  0.000 % |
574.00/574.05	c |   5566483 |     223    26441   116565 |        1   234097     19 |  0.000 % |
574.00/574.05	c |   5566893 |     223    26441   116565 |        1   234507     19 |  0.000 % |
574.00/574.05	c |   5571015 |     223    26441   116565 |        1   238629     19 |  0.000 % |
574.00/574.05	c |   5571413 |     223    26441   116565 |        1   239027     19 |  0.000 % |
574.00/574.05	c |   5578533 |     223    26441   116565 |        1   246147     19 |  0.000 % |
574.00/574.05	c |   5578858 |     223    26441   116565 |        1   246472     19 |  0.000 % |
574.00/574.05	c |   5627860 |     223    26441   116565 |        1   295474     20 |  0.000 % |
574.00/574.05	c |   5640096 |     223    26441   116565 |        1   307710     20 |  0.000 % |
574.00/574.05	c |   5643966 |     223    26441   116565 |        1   311580     20 |  0.000 % |
574.00/574.05	c |   5680871 |     223    26441   116565 |        1   180684     17 |  0.000 % |
574.00/574.05	c |   5716939 |     223    26441   116565 |        1   216752     18 |  0.000 % |
574.00/574.05	c |   5721811 |     223    26441   116565 |        1   221624     18 |  0.000 % |
574.00/574.05	c |   5750098 |     223    26441   116565 |        1   249911     19 |  0.000 % |
574.00/574.05	c |   5806115 |     223    26441   116565 |        1   305928     19 |  0.000 % |
574.00/574.05	c |   5812923 |     223    26441   116565 |        1   312736     19 |  0.000 % |
574.00/574.05	c |   5813024 |     223    26441   116565 |        1   312837     19 |  0.000 % |
574.00/574.05	c |   5819685 |     223    26441   116565 |        1   319498     19 |  0.000 % |
574.00/574.05	c |   5833074 |     223    26441   116565 |        1   332887     20 |  0.000 % |
574.00/574.05	c |   5856359 |     223    26441   116565 |        1   185776     17 |  0.000 % |
574.00/574.05	c |   5866465 |     223    26441   116565 |        1   195882     17 |  0.000 % |
574.00/574.05	c |   5867745 |     223    26441   116565 |        1   197162     18 |  0.000 % |
574.00/574.05	c |   5868871 |     223    26441   116565 |        1   198288     18 |  0.000 % |
574.00/574.05	c |   5870516 |     223    26441   116565 |        1   199933     18 |  0.000 % |
574.00/574.05	c |   5872187 |     223    26441   116565 |        1   201604     18 |  0.000 % |
574.00/574.05	c |   5872287 |     223    26441   116565 |        1   201704     18 |  0.000 % |
574.00/574.05	c |   5903132 |     223    26441   116565 |        1   232549     18 |  0.000 % |
574.00/574.05	c |   5919836 |     223    26441   116565 |        1   249253     19 |  0.000 % |
574.00/574.05	c |   5929120 |     223    26441   116565 |        1   258537     19 |  0.000 % |
574.00/574.05	c |   5936106 |     223    26441   116565 |        1   265523     19 |  0.000 % |
574.00/574.05	c |   5936936 |     223    26441   116565 |        1   266353     19 |  0.000 % |
574.00/574.05	c |   5961654 |     223    26441   116565 |        1   291071     19 |  0.000 % |
574.00/574.05	c |   5972170 |     223    26441   116565 |        1   301587     20 |  0.000 % |
574.00/574.05	c |   5995401 |     223    26441   116565 |        1   324818     20 |  0.000 % |
574.00/574.05	c |   6007809 |     223    26441   116565 |        1   337226     20 |  0.000 % |
620.29/620.38	c |   6009694 |     223    26441   116565 |        1   339111     20 |  0.000 % |
620.29/620.38	c |   6013974 |     223    26441   116565 |        1   343391     20 |  0.000 % |
620.29/620.38	c |   6029039 |     223    26441   116565 |        1   185455     17 |  0.000 % |
620.29/620.38	c |   6030321 |     223    26441   116565 |        1   186737     17 |  0.000 % |
620.29/620.38	c |   6034404 |     223    26441   116565 |        1   190820     17 |  0.000 % |
620.29/620.38	c |   6035067 |     223    26441   116565 |        1   191483     17 |  0.000 % |
620.29/620.38	c |   6047237 |     223    26441   116565 |        1   203653     18 |  0.000 % |
620.29/620.38	c |   6047680 |     223    26441   116565 |        1   204096     18 |  0.000 % |
620.29/620.38	c |   6047781 |     223    26441   116565 |        1   204197     18 |  0.000 % |
620.29/620.38	c |   6050555 |     223    26441   116565 |        1   206971     18 |  0.000 % |
620.29/620.38	c |   6056610 |     223    26441   116565 |        1   213026     18 |  0.000 % |
620.29/620.38	c |   6068562 |     223    26441   116565 |        1   224978     18 |  0.000 % |
620.29/620.38	c |   6138231 |     223    26441   116565 |        1   294647     19 |  0.000 % |
620.29/620.38	c |   6138643 |     223    26441   116565 |        1   295059     19 |  0.000 % |
620.29/620.38	c |   6141230 |     223    26441   116565 |        1   297646     19 |  0.000 % |
620.29/620.38	c |   6142949 |     223    26441   116565 |        1   299365     19 |  0.000 % |
620.29/620.38	c |   6190374 |     223    26441   116565 |        1   346790     20 |  0.000 % |
620.29/620.38	c |   6190474 |     223    26441   116565 |        1   346890     20 |  0.000 % |
620.29/620.38	c |   6196909 |     223    26441   116565 |        1   177724     17 |  0.000 % |
620.29/620.38	c |   6203095 |     223    26441   116565 |        1   183910     17 |  0.000 % |
620.29/620.38	c |   6203449 |     223    26441   116565 |        1   184264     17 |  0.000 % |
620.29/620.38	c |   6203549 |     223    26441   116565 |        1   184364     17 |  0.000 % |
620.29/620.38	c |   6203649 |     223    26441   116565 |        1   184464     17 |  0.000 % |
620.29/620.38	c |   6208763 |     223    26441   116565 |        1   189578     17 |  0.000 % |
620.29/620.38	c |   6208863 |     223    26441   116565 |        1   189678     17 |  0.000 % |
620.29/620.38	c |   6209130 |     223    26441   116565 |        1   189945     17 |  0.000 % |
620.29/620.38	c |   6212226 |     223    26441   116565 |        1   193041     17 |  0.000 % |
620.29/620.38	c |   6216556 |     223    26441   116565 |        1   197371     17 |  0.000 % |
620.29/620.38	c |   6227933 |     223    26441   116565 |        1   208748     18 |  0.000 % |
620.29/620.38	c |   6232570 |     223    26441   116565 |        1   213385     18 |  0.000 % |
620.29/620.38	c |   6246882 |     223    26441   116565 |        1   227697     18 |  0.000 % |
620.29/620.38	c |   6249674 |     223    26441   116565 |        1   230489     18 |  0.000 % |
620.29/620.38	c |   6250608 |     223    26441   116565 |        1   231423     18 |  0.000 % |
620.29/620.38	c |   6250708 |     223    26441   116565 |        1   231523     18 |  0.000 % |
620.29/620.38	c |   6250989 |     223    26441   116565 |        1   231804     18 |  0.000 % |
620.29/620.38	c |   6256513 |     223    26441   116565 |        1   237328     18 |  0.000 % |
620.29/620.38	c |   6257167 |     223    26441   116565 |        1   237982     18 |  0.000 % |
620.29/620.38	c |   6275005 |     223    26441   116565 |        1   255820     19 |  0.000 % |
620.29/620.38	c |   6275105 |     223    26441   116565 |        1   255920     19 |  0.000 % |
620.29/620.38	c |   6275207 |     223    26441   116565 |        1   256022     19 |  0.000 % |
620.29/620.38	c |   6275768 |     223    26441   116565 |        1   256583     19 |  0.000 % |
620.29/620.38	c |   6276026 |     223    26441   116565 |        1   256841     19 |  0.000 % |
620.29/620.38	c |   6282906 |     223    26441   116565 |        1   263721     19 |  0.000 % |
620.29/620.38	c |   6297850 |     223    26441   116565 |        1   278665     19 |  0.000 % |
620.29/620.38	c |   6310122 |     223    26441   116565 |        1   290937     19 |  0.000 % |
620.29/620.38	c |   6314741 |     223    26441   116565 |        1   295556     19 |  0.000 % |
620.29/620.38	c |   6314841 |     223    26441   116565 |        1   295656     19 |  0.000 % |
620.29/620.38	c |   6375504 |     223    26441   116565 |        1   356319     20 |  0.000 % |
620.29/620.38	c |   6377357 |     223    26441   116565 |        1   179973     17 |  0.000 % |
620.29/620.38	c |   6377458 |     223    26441   116565 |        1   180074     17 |  0.000 % |
676.00/676.06	c |   6382992 |     223    26441   116565 |        1   185608     17 |  0.000 % |
676.00/676.06	c |   6386129 |     223    26441   116565 |        1   188745     17 |  0.000 % |
676.00/676.06	c |   6396898 |     223    26441   116565 |        1   199514     17 |  0.000 % |
676.00/676.06	c |   6397726 |     223    26441   116565 |        1   200342     17 |  0.000 % |
676.00/676.06	c |   6437762 |     223    26441   116565 |        1   240378     18 |  0.000 % |
676.00/676.06	c |   6465151 |     223    26441   116565 |        1   267767     19 |  0.000 % |
676.00/676.06	c |   6467641 |     223    26441   116565 |        1   270257     19 |  0.000 % |
676.00/676.06	c |   6470991 |     223    26441   116565 |        1   273607     19 |  0.000 % |
676.00/676.06	c |   6477276 |     223    26441   116565 |        1   279892     19 |  0.000 % |
676.00/676.06	c |   6500569 |     223    26441   116565 |        1   303185     19 |  0.000 % |
676.00/676.06	c |   6502609 |     223    26441   116565 |        1   305225     19 |  0.000 % |
676.00/676.06	c |   6502710 |     223    26441   116565 |        1   305326     19 |  0.000 % |
676.00/676.06	c |   6503411 |     223    26441   116565 |        1   306027     19 |  0.000 % |
676.00/676.06	c |   6514522 |     223    26441   116565 |        1   317138     19 |  0.000 % |
676.00/676.06	c |   6555534 |     223    26441   116565 |        1   358150     20 |  0.000 % |
676.00/676.06	c |   6563708 |     223    26441   116565 |        1   185518     17 |  0.000 % |
676.00/676.06	c |   6567283 |     223    26441   116565 |        1   189093     17 |  0.000 % |
676.00/676.06	c |   6567383 |     223    26441   116565 |        1   189193     17 |  0.000 % |
676.00/676.06	c |   6567547 |     223    26441   116565 |        1   189357     17 |  0.000 % |
676.00/676.06	c |   6569419 |     223    26441   116565 |        1   191229     17 |  0.000 % |
676.00/676.06	c |   6572047 |     223    26441   116565 |        1   193857     17 |  0.000 % |
676.00/676.06	c |   6606745 |     223    26441   116565 |        1   228555     18 |  0.000 % |
676.00/676.06	c |   6617161 |     223    26441   116565 |        1   238971     18 |  0.000 % |
676.00/676.06	c |   6617866 |     223    26441   116565 |        1   239676     18 |  0.000 % |
676.00/676.06	c |   6618328 |     223    26441   116565 |        1   240138     18 |  0.000 % |
676.00/676.06	c |   6618430 |     223    26441   116565 |        1   240240     18 |  0.000 % |
676.00/676.06	c |   6631992 |     223    26441   116565 |        1   253802     19 |  0.000 % |
676.00/676.06	c |   6634562 |     223    26441   116565 |        1   256372     19 |  0.000 % |
676.00/676.06	c |   6634799 |     223    26441   116565 |        1   256609     19 |  0.000 % |
676.00/676.06	c |   6635472 |     223    26441   116565 |        1   257282     19 |  0.000 % |
676.00/676.06	c |   6656557 |     223    26441   116565 |        1   278367     19 |  0.000 % |
676.00/676.06	c |   6656661 |     223    26441   116565 |        1   278471     19 |  0.000 % |
676.00/676.06	c |   6669455 |     223    26441   116565 |        1   291265     19 |  0.000 % |
676.00/676.06	c |   6669555 |     223    26441   116565 |        1   291365     19 |  0.000 % |
676.00/676.06	c |   6669687 |     223    26441   116565 |        1   291497     19 |  0.000 % |
676.00/676.06	c |   6673345 |     223    26441   116565 |        1   295155     19 |  0.000 % |
676.00/676.06	c |   6674463 |     223    26441   116565 |        1   296273     19 |  0.000 % |
676.00/676.06	c |   6688188 |     223    26441   116565 |        1   309998     20 |  0.000 % |
676.00/676.06	c |   6688735 |     223    26441   116565 |        1   310545     20 |  0.000 % |
676.00/676.06	c |   6689736 |     223    26441   116565 |        1   311546     20 |  0.000 % |
676.00/676.06	c |   6711394 |     223    26441   116565 |        1   333204     20 |  0.000 % |
676.00/676.06	c |   6718730 |     223    26441   116565 |        1   340540     20 |  0.000 % |
676.00/676.06	c |   6746237 |     223    26441   116565 |        1   184654     17 |  0.000 % |
676.00/676.06	c |   6751930 |     223    26441   116565 |        1   190347     17 |  0.000 % |
676.00/676.06	c |   6754245 |     223    26441   116565 |        1   192662     17 |  0.000 % |
676.00/676.06	c |   6766277 |     223    26441   116565 |        1   204694     17 |  0.000 % |
676.00/676.06	c |   6766377 |     223    26441   116565 |        1   204794     17 |  0.000 % |
676.00/676.06	c |   6780992 |     223    26441   116565 |        1   219409     18 |  0.000 % |
676.00/676.06	c |   6808883 |     223    26441   116565 |        1   247300     18 |  0.000 % |
676.00/676.06	c |   6824235 |     223    26441   116565 |        1   262652     19 |  0.000 % |
748.29/748.38	c |   6857691 |     223    26441   116565 |        1   296108     19 |  0.000 % |
748.29/748.38	c |   6869429 |     223    26441   116565 |        1   307846     19 |  0.000 % |
748.29/748.38	c |   6872128 |     223    26441   116565 |        1   310545     19 |  0.000 % |
748.29/748.38	c |   6876761 |     223    26441   116565 |        1   315178     19 |  0.000 % |
748.29/748.38	c |   6877031 |     223    26441   116565 |        1   315448     19 |  0.000 % |
748.29/748.38	c |   6877161 |     223    26441   116565 |        1   315578     19 |  0.000 % |
748.29/748.38	c |   6878567 |     223    26441   116565 |        1   316984     19 |  0.000 % |
748.29/748.38	c |   6882400 |     223    26441   116565 |        1   320817     19 |  0.000 % |
748.29/748.38	c |   6882855 |     223    26441   116565 |        1   321272     19 |  0.000 % |
748.29/748.38	c |   6885741 |     223    26441   116565 |        1   324158     20 |  0.000 % |
748.29/748.38	c |   6885841 |     223    26441   116565 |        1   324258     20 |  0.000 % |
748.29/748.38	c |   6886081 |     223    26441   116565 |        1   324498     20 |  0.000 % |
748.29/748.38	c |   6886181 |     223    26441   116565 |        1   324598     20 |  0.000 % |
748.29/748.38	c |   6887252 |     223    26441   116565 |        1   325669     20 |  0.000 % |
748.29/748.38	c |   6887485 |     223    26441   116565 |        1   325902     20 |  0.000 % |
748.29/748.38	c |   6887585 |     223    26441   116565 |        1   326002     20 |  0.000 % |
748.29/748.38	c |   6908419 |     223    26441   116565 |        1   346836     20 |  0.000 % |
748.29/748.38	c |   6954280 |     223    26441   116565 |        1   206695     17 |  0.000 % |
748.29/748.38	c |   6956114 |     223    26441   116565 |        1   208529     17 |  0.000 % |
748.29/748.38	c |   6981166 |     223    26441   116565 |        1   233581     18 |  0.000 % |
748.29/748.38	c |   6995778 |     223    26441   116565 |        1   248193     18 |  0.000 % |
748.29/748.38	c |   7009290 |     223    26441   116565 |        1   261705     18 |  0.000 % |
748.29/748.38	c |   7009390 |     223    26441   116565 |        1   261805     18 |  0.000 % |
748.29/748.38	c |   7017623 |     223    26441   116565 |        1   270038     18 |  0.000 % |
748.29/748.38	c |   7046516 |     223    26441   116565 |        1   298931     19 |  0.000 % |
748.29/748.38	c |   7056041 |     223    26441   116565 |        1   308456     19 |  0.000 % |
748.29/748.38	c |   7072220 |     223    26441   116565 |        1   324635     19 |  0.000 % |
748.29/748.38	c |   7079870 |     223    26441   116565 |        1   332285     19 |  0.000 % |
748.29/748.38	c |   7080505 |     223    26441   116565 |        1   332920     19 |  0.000 % |
748.29/748.38	c |   7084779 |     223    26441   116565 |        1   337194     19 |  0.000 % |
748.29/748.38	c |   7088445 |     223    26441   116565 |        1   340860     19 |  0.000 % |
748.29/748.38	c |   7163946 |     223    26441   116565 |        1   227762     17 |  0.000 % |
748.29/748.38	c |   7168618 |     223    26441   116565 |        1   232434     17 |  0.000 % |
748.29/748.38	c |   7169009 |     223    26441   116565 |        1   232825     17 |  0.000 % |
748.29/748.38	c |   7170693 |     223    26441   116565 |        1   234509     17 |  0.000 % |
748.29/748.38	c |   7227011 |     223    26441   116565 |        1   290827     18 |  0.000 % |
748.29/748.38	c |   7228635 |     223    26441   116565 |        1   292451     18 |  0.000 % |
748.29/748.38	c |   7308449 |     223    26441   116565 |        1   372265     19 |  0.000 % |
748.29/748.38	c |   7312358 |     223    26441   116565 |        1   376174     19 |  0.000 % |
748.29/748.38	c |   7331351 |     223    26441   116565 |        1   203967     17 |  0.000 % |
748.29/748.38	c |   7346629 |     223    26441   116565 |        1   219245     17 |  0.000 % |
748.29/748.38	c |   7348161 |     223    26441   116565 |        1   220777     17 |  0.000 % |
748.29/748.38	c |   7353132 |     223    26441   116565 |        1   225748     17 |  0.000 % |
748.29/748.38	c |   7353325 |     223    26441   116565 |        1   225941     17 |  0.000 % |
748.29/748.38	c |   7354359 |     223    26441   116565 |        1   226975     18 |  0.000 % |
748.29/748.38	c |   7354459 |     223    26441   116565 |        1   227075     18 |  0.000 % |
748.29/748.38	c |   7363253 |     223    26441   116565 |        1   235869     18 |  0.000 % |
748.29/748.38	c |   7369596 |     223    26441   116565 |        1   242212     18 |  0.000 % |
748.29/748.38	c |   7377697 |     223    26441   116565 |        1   250313     18 |  0.000 % |
748.29/748.38	c |   7395521 |     223    26441   116565 |        1   268137     18 |  0.000 % |
810.09/810.16	c |   7397430 |     223    26441   116565 |        1   270046     18 |  0.000 % |
810.09/810.16	c |   7397532 |     223    26441   116565 |        1   270148     18 |  0.000 % |
810.09/810.16	c |   7403325 |     223    26441   116565 |        1   275941     19 |  0.000 % |
810.09/810.16	c |   7403425 |     223    26441   116565 |        1   276041     19 |  0.000 % |
810.09/810.16	c |   7439453 |     223    26441   116565 |        1   312069     19 |  0.000 % |
810.09/810.16	c |   7445696 |     223    26441   116565 |        1   318312     19 |  0.000 % |
810.09/810.16	c |   7455829 |     223    26441   116565 |        1   328445     19 |  0.000 % |
810.09/810.16	c |   7465801 |     223    26441   116565 |        1   338417     19 |  0.000 % |
810.09/810.16	c |   7479430 |     223    26441   116565 |        1   352046     19 |  0.000 % |
810.09/810.16	c |   7492987 |     223    26441   116565 |        1   365603     20 |  0.000 % |
810.09/810.16	c |   7493163 |     223    26441   116565 |        1   365779     20 |  0.000 % |
810.09/810.16	c |   7503619 |     223    26441   116565 |        1   376235     20 |  0.000 % |
810.09/810.16	c |   7504007 |     223    26441   116565 |        1   376623     20 |  0.000 % |
810.09/810.16	c |   7505815 |     223    26441   116565 |        1   378431     20 |  0.000 % |
810.09/810.16	c |   7525275 |     223    26441   116565 |        1   204092     17 |  0.000 % |
810.09/810.16	c |   7526201 |     223    26441   116565 |        1   205018     17 |  0.000 % |
810.09/810.16	c |   7528449 |     223    26441   116565 |        1   207266     17 |  0.000 % |
810.09/810.16	c |   7530390 |     223    26441   116565 |        1   209207     17 |  0.000 % |
810.09/810.16	c |   7543883 |     223    26441   116565 |        1   222700     17 |  0.000 % |
810.09/810.16	c |   7544078 |     223    26441   116565 |        1   222895     17 |  0.000 % |
810.09/810.16	c |   7546276 |     223    26441   116565 |        1   225093     17 |  0.000 % |
810.09/810.16	c |   7565465 |     223    26441   116565 |        1   244282     18 |  0.000 % |
810.09/810.16	c |   7572568 |     223    26441   116565 |        1   251385     18 |  0.000 % |
810.09/810.16	c |   7581890 |     223    26441   116565 |        1   260707     18 |  0.000 % |
810.09/810.16	c |   7583811 |     223    26441   116565 |        1   262628     18 |  0.000 % |
810.09/810.16	c |   7617754 |     223    26441   116565 |        1   296571     19 |  0.000 % |
810.09/810.16	c |   7618133 |     223    26441   116565 |        1   296950     19 |  0.000 % |
810.09/810.16	c |   7618464 |     223    26441   116565 |        1   297281     19 |  0.000 % |
810.09/810.16	c |   7626160 |     223    26441   116565 |        1   304977     19 |  0.000 % |
810.09/810.16	c |   7626260 |     223    26441   116565 |        1   305077     19 |  0.000 % |
810.09/810.16	c |   7692542 |     223    26441   116565 |        1   371359     20 |  0.000 % |
810.09/810.16	c |   7696735 |     223    26441   116565 |        1   375552     20 |  0.000 % |
810.09/810.16	c |   7696835 |     223    26441   116565 |        1   375652     20 |  0.000 % |
810.09/810.16	c |   7696941 |     223    26441   116565 |        1   375758     20 |  0.000 % |
810.09/810.16	c |   7697504 |     223    26441   116565 |        1   376321     20 |  0.000 % |
810.09/810.16	c |   7773315 |     223    26441   116565 |        1   255740     18 |  0.000 % |
810.09/810.16	c |   7784773 |     223    26441   116565 |        1   267198     18 |  0.000 % |
810.09/810.16	c |   7785516 |     223    26441   116565 |        1   267941     18 |  0.000 % |
810.09/810.16	c |   7798698 |     223    26441   116565 |        1   281123     18 |  0.000 % |
810.09/810.16	c |   7804940 |     223    26441   116565 |        1   287365     18 |  0.000 % |
810.09/810.16	c |   7813152 |     223    26441   116565 |        1   295577     19 |  0.000 % |
810.09/810.16	c |   7814309 |     223    26441   116565 |        1   296734     19 |  0.000 % |
810.09/810.16	c |   7814707 |     223    26441   116565 |        1   297132     19 |  0.000 % |
810.09/810.16	c |   7815389 |     223    26441   116565 |        1   297814     19 |  0.000 % |
810.09/810.16	c |   7816885 |     223    26441   116565 |        1   299310     19 |  0.000 % |
810.09/810.16	c |   7818225 |     223    26441   116565 |        1   300650     19 |  0.000 % |
810.09/810.16	c |   7828105 |     223    26441   116565 |        1   310530     19 |  0.000 % |
810.09/810.16	c |   7851408 |     223    26441   116565 |        1   333833     19 |  0.000 % |
810.09/810.16	c |   7853230 |     223    26441   116565 |        1   335655     19 |  0.000 % |
810.09/810.16	c |   7854405 |     223    26441   116565 |        1   336830     19 |  0.000 % |
877.10/877.16	c |   7858393 |     223    26441   116565 |        1   340818     19 |  0.000 % |
877.10/877.16	c |   7863617 |     223    26441   116565 |        1   346042     19 |  0.000 % |
877.10/877.16	c |   7865031 |     223    26441   116565 |        1   347456     19 |  0.000 % |
877.10/877.16	c |   7866526 |     223    26441   116565 |        1   348951     19 |  0.000 % |
877.10/877.16	c |   7870639 |     223    26441   116565 |        1   353064     19 |  0.000 % |
877.10/877.16	c |   7871682 |     223    26441   116565 |        1   354107     19 |  0.000 % |
877.10/877.16	c |   7873959 |     223    26441   116565 |        1   356384     19 |  0.000 % |
877.10/877.16	c |   7875631 |     223    26441   116565 |        1   358056     19 |  0.000 % |
877.10/877.16	c |   7883750 |     223    26441   116565 |        1   366175     19 |  0.000 % |
877.10/877.16	c |   7883909 |     223    26441   116565 |        1   366334     19 |  0.000 % |
877.10/877.16	c |   7884009 |     223    26441   116565 |        1   366434     19 |  0.000 % |
877.10/877.16	c |   7904188 |     223    26441   116565 |        1   386613     20 |  0.000 % |
877.10/877.16	c |   7909042 |     223    26441   116565 |        1   391467     20 |  0.000 % |
877.10/877.16	c |   7910808 |     223    26441   116565 |        1   393233     20 |  0.000 % |
877.10/877.16	c |   7910908 |     223    26441   116565 |        1   393333     20 |  0.000 % |
877.10/877.16	c |   7912404 |     223    26441   116565 |        1   394829     20 |  0.000 % |
877.10/877.16	c |   7933308 |     223    26441   116565 |        1   216731     17 |  0.000 % |
877.10/877.16	c |   7940725 |     223    26441   116565 |        1   224148     17 |  0.000 % |
877.10/877.16	c |   7943421 |     223    26441   116565 |        1   226844     17 |  0.000 % |
877.10/877.16	c |   7944572 |     223    26441   116565 |        1   227995     17 |  0.000 % |
877.10/877.16	c |   7956540 |     223    26441   116565 |        1   239963     18 |  0.000 % |
877.10/877.16	c |   7962847 |     223    26441   116565 |        1   246270     18 |  0.000 % |
877.10/877.16	c |   7963462 |     223    26441   116565 |        1   246885     18 |  0.000 % |
877.10/877.16	c |   7967050 |     223    26441   116565 |        1   250473     18 |  0.000 % |
877.10/877.16	c |   7970888 |     223    26441   116565 |        1   254311     18 |  0.000 % |
877.10/877.16	c |   7971474 |     223    26441   116565 |        1   254897     18 |  0.000 % |
877.10/877.16	c |   7971575 |     223    26441   116565 |        1   254998     18 |  0.000 % |
877.10/877.16	c |   7971675 |     223    26441   116565 |        1   255098     18 |  0.000 % |
877.10/877.16	c |   7997650 |     223    26441   116565 |        1   281073     18 |  0.000 % |
877.10/877.16	c |   8076574 |     223    26441   116565 |        1   359997     19 |  0.000 % |
877.10/877.16	c |   8078915 |     223    26441   116565 |        1   362338     19 |  0.000 % |
877.10/877.16	c |   8128217 |     223    26441   116565 |        1   210032     16 |  0.000 % |
877.10/877.16	c |   8131295 |     223    26441   116565 |        1   213110     17 |  0.000 % |
877.10/877.16	c |   8134888 |     223    26441   116565 |        1   216703     17 |  0.000 % |
877.10/877.16	c |   8150432 |     223    26441   116565 |        1   232247     17 |  0.000 % |
877.10/877.16	c |   8164134 |     223    26441   116565 |        1   245949     17 |  0.000 % |
877.10/877.16	c |   8165726 |     223    26441   116565 |        1   247541     17 |  0.000 % |
877.10/877.16	c |   8192613 |     223    26441   116565 |        1   274428     18 |  0.000 % |
877.10/877.16	c |   8197722 |     223    26441   116565 |        1   279537     18 |  0.000 % |
877.10/877.16	c |   8212293 |     223    26441   116565 |        1   294108     18 |  0.000 % |
877.10/877.16	c |   8214189 |     223    26441   116565 |        1   296004     18 |  0.000 % |
877.10/877.16	c |   8214295 |     223    26441   116565 |        1   296110     18 |  0.000 % |
877.10/877.16	c |   8226068 |     223    26441   116565 |        1   307883     18 |  0.000 % |
877.10/877.16	c |   8239439 |     223    26441   116565 |        1   321254     19 |  0.000 % |
877.10/877.16	c |   8341646 |     223    26441   116565 |        1   219263     17 |  0.000 % |
877.10/877.16	c |   8341746 |     223    26441   116565 |        1   219363     17 |  0.000 % |
877.10/877.16	c |   8347611 |     223    26441   116565 |        1   225228     17 |  0.000 % |
877.10/877.16	c |   8347784 |     223    26441   116565 |        1   225401     17 |  0.000 % |
877.10/877.16	c |   8347901 |     223    26441   116565 |        1   225518     17 |  0.000 % |
877.10/877.16	c |   8349210 |     223    26441   116565 |        1   226827     17 |  0.000 % |
932.10/932.13	c |   8349311 |     223    26441   116565 |        1   226928     17 |  0.000 % |
932.10/932.13	c |   8350717 |     223    26441   116565 |        1   228334     17 |  0.000 % |
932.10/932.13	c |   8354582 |     223    26441   116565 |        1   232199     17 |  0.000 % |
932.10/932.13	c |   8355454 |     223    26441   116565 |        1   233071     17 |  0.000 % |
932.10/932.13	c |   8367004 |     223    26441   116565 |        1   244621     18 |  0.000 % |
932.10/932.13	c |   8367104 |     223    26441   116565 |        1   244721     18 |  0.000 % |
932.10/932.13	c |   8387561 |     223    26441   116565 |        1   265178     18 |  0.000 % |
932.10/932.13	c |   8396567 |     223    26441   116565 |        1   274184     18 |  0.000 % |
932.10/932.13	c |   8396667 |     223    26441   116565 |        1   274284     18 |  0.000 % |
932.10/932.13	c |   8470024 |     223    26441   116565 |        1   347641     19 |  0.000 % |
932.10/932.13	c |   8486578 |     223    26441   116565 |        1   364195     19 |  0.000 % |
932.10/932.13	c |   8498028 |     223    26441   116565 |        1   375645     19 |  0.000 % |
932.10/932.13	c |   8508067 |     223    26441   116565 |        1   385684     20 |  0.000 % |
932.10/932.13	c |   8508613 |     223    26441   116565 |        1   386230     20 |  0.000 % |
932.10/932.13	c |   8511950 |     223    26441   116565 |        1   389567     20 |  0.000 % |
932.10/932.13	c |   8518662 |     223    26441   116565 |        1   396279     20 |  0.000 % |
932.10/932.13	c |   8518762 |     223    26441   116565 |        1   396379     20 |  0.000 % |
932.10/932.13	c |   8519861 |     223    26441   116565 |        1   397478     20 |  0.000 % |
932.10/932.13	c |   8520757 |     223    26441   116565 |        1   398374     20 |  0.000 % |
932.10/932.13	c |   8520857 |     223    26441   116565 |        1   398474     20 |  0.000 % |
932.10/932.13	c |   8529812 |     223    26441   116565 |        1   407429     20 |  0.000 % |
932.10/932.13	c |   8553839 |     223    26441   116565 |        1   224662     17 |  0.000 % |
932.10/932.13	c |   8553939 |     223    26441   116565 |        1   224762     17 |  0.000 % |
932.10/932.13	c |   8554039 |     223    26441   116565 |        1   224862     17 |  0.000 % |
932.10/932.13	c |   8565609 |     223    26441   116565 |        1   236432     17 |  0.000 % |
932.10/932.13	c |   8574052 |     223    26441   116565 |        1   244875     17 |  0.000 % |
932.10/932.13	c |   8585525 |     223    26441   116565 |        1   256348     18 |  0.000 % |
932.10/932.13	c |   8585628 |     223    26441   116565 |        1   256451     18 |  0.000 % |
932.10/932.13	c |   8586784 |     223    26441   116565 |        1   257607     18 |  0.000 % |
932.10/932.13	c |   8600591 |     223    26441   116565 |        1   271414     18 |  0.000 % |
932.10/932.13	c |   8604903 |     223    26441   116565 |        1   275726     18 |  0.000 % |
932.10/932.13	c |   8607606 |     223    26441   116565 |        1   278429     18 |  0.000 % |
932.10/932.13	c |   8624572 |     223    26441   116565 |        1   295395     18 |  0.000 % |
932.10/932.13	c |   8629863 |     223    26441   116565 |        1   300686     18 |  0.000 % |
932.10/932.13	c |   8637035 |     223    26441   116565 |        1   307858     19 |  0.000 % |
932.10/932.13	c |   8637136 |     223    26441   116565 |        1   307959     19 |  0.000 % |
932.10/932.13	c |   8637402 |     223    26441   116565 |        1   308225     19 |  0.000 % |
932.10/932.13	c |   8637622 |     223    26441   116565 |        1   308445     19 |  0.000 % |
932.10/932.13	c |   8642291 |     223    26441   116565 |        1   313114     19 |  0.000 % |
932.10/932.13	c |   8673697 |     223    26441   116565 |        1   344520     19 |  0.000 % |
932.10/932.13	c |   8673797 |     223    26441   116565 |        1   344620     19 |  0.000 % |
932.10/932.13	c |   8681169 |     223    26441   116565 |        1   351992     19 |  0.000 % |
932.10/932.13	c |   8682749 |     223    26441   116565 |        1   353572     19 |  0.000 % |
932.10/932.13	c |   8684814 |     223    26441   116565 |        1   355637     19 |  0.000 % |
932.10/932.13	c |   8687365 |     223    26441   116565 |        1   358188     19 |  0.000 % |
932.10/932.13	c |   8688257 |     223    26441   116565 |        1   359080     19 |  0.000 % |
932.10/932.13	c |   8696167 |     223    26441   116565 |        1   366990     19 |  0.000 % |
932.10/932.13	c |   8697060 |     223    26441   116565 |        1   367883     19 |  0.000 % |
932.10/932.13	c |   8743221 |     223    26441   116565 |        1   414044     19 |  0.000 % |
932.10/932.13	c |   8744665 |     223    26441   116565 |        1   415488     20 |  0.000 % |
1003.80/1003.84	c |   8758387 |     223    26441   116565 |        1   219807     17 |  0.000 % |
1003.80/1003.84	c |   8759440 |     223    26441   116565 |        1   220860     17 |  0.000 % |
1003.80/1003.84	c |   8762023 |     223    26441   116565 |        1   223443     17 |  0.000 % |
1003.80/1003.84	c |   8764031 |     223    26441   116565 |        1   225451     17 |  0.000 % |
1003.80/1003.84	c |   8764131 |     223    26441   116565 |        1   225551     17 |  0.000 % |
1003.80/1003.84	c |   8775828 |     223    26441   116565 |        1   237248     17 |  0.000 % |
1003.80/1003.84	c |   8776537 |     223    26441   116565 |        1   237957     17 |  0.000 % |
1003.80/1003.84	c |   8789844 |     223    26441   116565 |        1   251264     17 |  0.000 % |
1003.80/1003.84	c |   8798141 |     223    26441   116565 |        1   259561     18 |  0.000 % |
1003.80/1003.84	c |   8798327 |     223    26441   116565 |        1   259747     18 |  0.000 % |
1003.80/1003.84	c |   8799322 |     223    26441   116565 |        1   260742     18 |  0.000 % |
1003.80/1003.84	c |   8804164 |     223    26441   116565 |        1   265584     18 |  0.000 % |
1003.80/1003.84	c |   8804838 |     223    26441   116565 |        1   266258     18 |  0.000 % |
1003.80/1003.84	c |   8808632 |     223    26441   116565 |        1   270052     18 |  0.000 % |
1003.80/1003.84	c |   8813955 |     223    26441   116565 |        1   275375     18 |  0.000 % |
1003.80/1003.84	c |   8839023 |     223    26441   116565 |        1   300443     18 |  0.000 % |
1003.80/1003.84	c |   8841088 |     223    26441   116565 |        1   302508     18 |  0.000 % |
1003.80/1003.84	c |   8850562 |     223    26441   116565 |        1   311982     18 |  0.000 % |
1003.80/1003.84	c |   8855038 |     223    26441   116565 |        1   316458     18 |  0.000 % |
1003.80/1003.84	c |   8862740 |     223    26441   116565 |        1   324160     18 |  0.000 % |
1003.80/1003.84	c |   8925665 |     223    26441   116565 |        1   387085     19 |  0.000 % |
1003.80/1003.84	c |   8931051 |     223    26441   116565 |        1   392471     19 |  0.000 % |
1003.80/1003.84	c |   8976482 |     223    26441   116565 |        1   225895     17 |  0.000 % |
1003.80/1003.84	c |   9004766 |     223    26441   116565 |        1   254179     17 |  0.000 % |
1003.80/1003.84	c |   9008658 |     223    26441   116565 |        1   258071     17 |  0.000 % |
1003.80/1003.84	c |   9016134 |     223    26441   116565 |        1   265547     17 |  0.000 % |
1003.80/1003.84	c |   9022747 |     223    26441   116565 |        1   272160     17 |  0.000 % |
1003.80/1003.84	c |   9059520 |     223    26441   116565 |        1   308933     18 |  0.000 % |
1003.80/1003.84	c |   9126370 |     223    26441   116565 |        1   375783     18 |  0.000 % |
1003.80/1003.84	c |   9140621 |     223    26441   116565 |        1   390034     19 |  0.000 % |
1003.80/1003.84	c |   9150395 |     223    26441   116565 |        1   399808     19 |  0.000 % |
1003.80/1003.84	c |   9150693 |     223    26441   116565 |        1   400106     19 |  0.000 % |
1003.80/1003.84	c |   9155782 |     223    26441   116565 |        1   405195     19 |  0.000 % |
1003.80/1003.84	c |   9158143 |     223    26441   116565 |        1   407556     19 |  0.000 % |
1003.80/1003.84	c |   9161560 |     223    26441   116565 |        1   410973     19 |  0.000 % |
1003.80/1003.84	c |   9164718 |     223    26441   116565 |        1   414131     19 |  0.000 % |
1003.80/1003.84	c |   9177811 |     223    26441   116565 |        1   427224     19 |  0.000 % |
1003.80/1003.84	c |   9179454 |     223    26441   116565 |        1   428867     19 |  0.000 % |
1003.80/1003.84	c |   9189413 |     223    26441   116565 |        1   224225     16 |  0.000 % |
1003.80/1003.84	c |   9191292 |     223    26441   116565 |        1   226104     16 |  0.000 % |
1003.80/1003.84	c |   9206106 |     223    26441   116565 |        1   240918     17 |  0.000 % |
1003.80/1003.84	c |   9211403 |     223    26441   116565 |        1   246215     17 |  0.000 % |
1003.80/1003.84	c |   9214798 |     223    26441   116565 |        1   249610     17 |  0.000 % |
1003.80/1003.84	c |   9227678 |     223    26441   116565 |        1   262490     17 |  0.000 % |
1003.80/1003.84	c |   9237719 |     223    26441   116565 |        1   272531     17 |  0.000 % |
1003.80/1003.84	c |   9238239 |     223    26441   116565 |        1   273051     17 |  0.000 % |
1003.80/1003.84	c |   9248292 |     223    26441   116565 |        1   283104     18 |  0.000 % |
1003.80/1003.84	c |   9251740 |     223    26441   116565 |        1   286552     18 |  0.000 % |
1003.80/1003.84	c |   9251915 |     223    26441   116565 |        1   286727     18 |  0.000 % |
1003.80/1003.84	c |   9260687 |     223    26441   116565 |        1   295499     18 |  0.000 % |
1069.22/1069.24	c |   9282709 |     223    26441   116565 |        1   317521     18 |  0.000 % |
1069.22/1069.24	c |   9312155 |     223    26441   116565 |        1   346967     18 |  0.000 % |
1069.22/1069.24	c |   9312255 |     223    26441   116565 |        1   347067     18 |  0.000 % |
1069.22/1069.24	c |   9313825 |     223    26441   116565 |        1   348637     19 |  0.000 % |
1069.22/1069.24	c |   9318780 |     223    26441   116565 |        1   353592     19 |  0.000 % |
1069.22/1069.24	c |   9373620 |     223    26441   116565 |        1   408432     19 |  0.000 % |
1069.22/1069.24	c |   9375735 |     223    26441   116565 |        1   410547     19 |  0.000 % |
1069.22/1069.24	c |   9378048 |     223    26441   116565 |        1   412860     19 |  0.000 % |
1069.22/1069.24	c |   9463228 |     223    26441   116565 |        1   280839     17 |  0.000 % |
1069.22/1069.24	c |   9463938 |     223    26441   116565 |        1   281549     17 |  0.000 % |
1069.22/1069.24	c |   9480831 |     223    26441   116565 |        1   298442     18 |  0.000 % |
1069.22/1069.24	c |   9482259 |     223    26441   116565 |        1   299870     18 |  0.000 % |
1069.22/1069.24	c |   9486060 |     223    26441   116565 |        1   303671     18 |  0.000 % |
1069.22/1069.24	c |   9487518 |     223    26441   116565 |        1   305129     18 |  0.000 % |
1069.22/1069.24	c |   9496781 |     223    26441   116565 |        1   314392     18 |  0.000 % |
1069.22/1069.24	c |   9496894 |     223    26441   116565 |        1   314505     18 |  0.000 % |
1069.22/1069.24	c |   9497101 |     223    26441   116565 |        1   314712     18 |  0.000 % |
1069.22/1069.24	c |   9515552 |     223    26441   116565 |        1   333163     18 |  0.000 % |
1069.22/1069.24	c |   9515776 |     223    26441   116565 |        1   333387     18 |  0.000 % |
1069.22/1069.24	c |   9516026 |     223    26441   116565 |        1   333637     18 |  0.000 % |
1069.22/1069.24	c |   9523220 |     223    26441   116565 |        1   340831     18 |  0.000 % |
1069.22/1069.24	c |   9526413 |     223    26441   116565 |        1   344024     18 |  0.000 % |
1069.22/1069.24	c |   9529203 |     223    26441   116565 |        1   346814     18 |  0.000 % |
1069.22/1069.24	c |   9537650 |     223    26441   116565 |        1   355261     18 |  0.000 % |
1069.22/1069.24	c |   9547030 |     223    26441   116565 |        1   364641     18 |  0.000 % |
1069.22/1069.24	c |   9547151 |     223    26441   116565 |        1   364762     18 |  0.000 % |
1069.22/1069.24	c |   9547327 |     223    26441   116565 |        1   364938     18 |  0.000 % |
1069.22/1069.24	c |   9553122 |     223    26441   116565 |        1   370733     18 |  0.000 % |
1069.22/1069.24	c |   9581810 |     223    26441   116565 |        1   399421     19 |  0.000 % |
1069.22/1069.24	c |   9594983 |     223    26441   116565 |        1   412594     19 |  0.000 % |
1069.22/1069.24	c |   9608126 |     223    26441   116565 |        1   425737     19 |  0.000 % |
1069.22/1069.24	c |   9612445 |     223    26441   116565 |        1   430056     19 |  0.000 % |
1069.22/1069.24	c |   9617185 |     223    26441   116565 |        1   434796     19 |  0.000 % |
1069.22/1069.24	c |   9617285 |     223    26441   116565 |        1   434896     19 |  0.000 % |
1069.22/1069.24	c |   9617753 |     223    26441   116565 |        1   435364     19 |  0.000 % |
1069.22/1069.24	c |   9617856 |     223    26441   116565 |        1   435467     19 |  0.000 % |
1069.22/1069.24	c |   9639827 |     223    26441   116565 |        1   237640     16 |  0.000 % |
1069.22/1069.24	c |   9644388 |     223    26441   116565 |        1   242201     16 |  0.000 % |
1069.22/1069.24	c |   9658707 |     223    26441   116565 |        1   256520     17 |  0.000 % |
1069.22/1069.24	c |   9679576 |     223    26441   116565 |        1   277389     17 |  0.000 % |
1069.22/1069.24	c |   9683213 |     223    26441   116565 |        1   281026     17 |  0.000 % |
1069.22/1069.24	c |   9684058 |     223    26441   116565 |        1   281871     17 |  0.000 % |
1069.22/1069.24	c |   9689518 |     223    26441   116565 |        1   287331     17 |  0.000 % |
1069.22/1069.24	c |   9689618 |     223    26441   116565 |        1   287431     17 |  0.000 % |
1069.22/1069.24	c |   9689718 |     223    26441   116565 |        1   287531     17 |  0.000 % |
1069.22/1069.24	c |   9689881 |     223    26441   116565 |        1   287694     17 |  0.000 % |
1069.22/1069.24	c |   9689981 |     223    26441   116565 |        1   287794     17 |  0.000 % |
1069.22/1069.24	c |   9692315 |     223    26441   116565 |        1   290128     18 |  0.000 % |
1069.22/1069.24	c |   9697782 |     223    26441   116565 |        1   295595     18 |  0.000 % |
1069.22/1069.24	c |   9697978 |     223    26441   116565 |        1   295791     18 |  0.000 % |
1205.72/1205.73	c |   9700923 |     223    26441   116565 |        1   298736     18 |  0.000 % |
1205.72/1205.73	c |   9705828 |     223    26441   116565 |        1   303641     18 |  0.000 % |
1205.72/1205.73	c |   9727820 |     223    26441   116565 |        1   325633     18 |  0.000 % |
1205.72/1205.73	c |   9728231 |     223    26441   116565 |        1   326044     18 |  0.000 % |
1205.72/1205.73	c |   9728574 |     223    26441   116565 |        1   326387     18 |  0.000 % |
1205.72/1205.73	c |   9732276 |     223    26441   116565 |        1   330089     18 |  0.000 % |
1205.72/1205.73	c |   9733103 |     223    26441   116565 |        1   330916     18 |  0.000 % |
1205.72/1205.73	c |   9751845 |     223    26441   116565 |        1   349658     18 |  0.000 % |
1205.72/1205.73	c |   9758655 |     223    26441   116565 |        1   356468     18 |  0.000 % |
1205.72/1205.73	c |   9773399 |     223    26441   116565 |        1   371212     18 |  0.000 % |
1205.72/1205.73	c |   9788317 |     223    26441   116565 |        1   386130     19 |  0.000 % |
1205.72/1205.73	c |   9802678 |     223    26441   116565 |        1   400491     19 |  0.000 % |
1205.72/1205.73	c |   9804522 |     223    26441   116565 |        1   402335     19 |  0.000 % |
1205.72/1205.73	c |   9818769 |     223    26441   116565 |        1   416582     19 |  0.000 % |
1205.72/1205.73	c |   9822786 |     223    26441   116565 |        1   420599     19 |  0.000 % |
1205.72/1205.73	c |   9887550 |     223    26441   116565 |        1   262962     17 |  0.000 % |
1205.72/1205.73	c |   9925595 |     223    26441   116565 |        1   301007     17 |  0.000 % |
1205.72/1205.73	c |   9937130 |     223    26441   116565 |        1   312542     18 |  0.000 % |
1205.72/1205.73	c |  10007318 |     222    26050   115392 |        1   319960     18 |  0.448 % |
1205.72/1205.73	c |  10018101 |     222    26050   115392 |        1   330743     18 |  0.448 % |
1205.72/1205.73	c |  10030196 |     222    26050   115392 |        1   342838     19 |  0.448 % |
1205.72/1205.73	c |  10030411 |     222    26050   115392 |        1   343053     19 |  0.448 % |
1205.72/1205.73	c |  10030511 |     222    26050   115392 |        1   343153     19 |  0.448 % |
1205.72/1205.73	c |  10032755 |     222    26050   115392 |        1   345397     19 |  0.448 % |
1205.72/1205.73	c |  10064610 |     222    26050   115392 |        1   377252     19 |  0.448 % |
1205.72/1205.73	c |  10158453 |     221    26050   115392 |        1   277477     17 |  0.897 % |
1205.72/1205.73	c |  10159045 |     221    26050   115392 |        1   278069     17 |  0.897 % |
1205.72/1205.73	c |  10159145 |     221    26050   115392 |        1   278169     17 |  0.897 % |
1205.72/1205.73	c |  10178774 |     221    26050   115392 |        1   297798     17 |  0.897 % |
1205.72/1205.73	c |  10211795 |     221    26050   115392 |        1   330819     18 |  0.897 % |
1205.72/1205.73	c |  10216756 |     221    25630   114132 |        1   282435     18 |  0.897 % |
1205.72/1205.73	c |  10237300 |     221    25630   114132 |        1   302979     18 |  0.897 % |
1205.72/1205.73	c |  10304202 |     221    25630   114132 |        1   369881     19 |  0.897 % |
1205.72/1205.73	c |  10318580 |     221    25630   114132 |        1   199021     16 |  0.897 % |
1205.72/1205.73	c |  10321514 |     221    25630   114132 |        1   201955     16 |  0.897 % |
1205.72/1205.73	c |  10325965 |     221    25630   114132 |        1   206406     17 |  0.897 % |
1205.72/1205.73	c |  10328077 |     221    25630   114132 |        1   208518     17 |  0.897 % |
1205.72/1205.73	c |  10328177 |     221    25630   114132 |        1   208618     17 |  0.897 % |
1205.72/1205.73	c |  10339994 |     221    25630   114132 |        1   220435     17 |  0.897 % |
1205.72/1205.73	c |  10340095 |     221    25630   114132 |        1   220536     17 |  0.897 % |
1205.72/1205.73	c |  10379990 |     221    25630   114132 |        1   260431     18 |  0.897 % |
1205.72/1205.73	c |  10396337 |     221    25630   114132 |        1   276778     18 |  0.897 % |
1205.72/1205.73	c |  10444749 |     221    25630   114132 |        1   325190     18 |  0.897 % |
1205.72/1205.73	c |  10460133 |     221    25630   114132 |        1   340574     18 |  0.897 % |
1205.72/1205.73	c |  10525705 |     221    25630   114132 |        1   406146     19 |  0.897 % |
1205.72/1205.73	c |  10545859 |     221    25630   114132 |        1   217286     16 |  0.897 % |
1205.72/1205.73	c |  10574295 |     220    25216   112890 |        1   210683     16 |  1.345 % |
1205.72/1205.73	c |  10575488 |     220    25216   112890 |        1   211876     16 |  1.345 % |
1205.72/1205.73	c |  10582306 |     220    25216   112890 |        1   218694     17 |  1.345 % |
1205.72/1205.73	c |  10585625 |     220    25216   112890 |        1   222013     17 |  1.345 % |
1266.12/1266.15	c |  10635080 |     218    25216   112890 |        1   271466     17 |  2.242 % |
1266.12/1266.15	c |  10644972 |     218    25216   112890 |        1   281358     17 |  2.242 % |
1266.12/1266.15	c |  10656160 |     218    25216   112890 |        1   292546     17 |  2.242 % |
1266.12/1266.15	c |  10658466 |     218    25216   112890 |        1   294852     17 |  2.242 % |
1266.12/1266.15	c |  10666071 |     218    25216   112890 |        1   302457     18 |  2.242 % |
1266.12/1266.15	c |  10666260 |     218    25216   112890 |        1   302646     18 |  2.242 % |
1266.12/1266.15	c |  10695936 |     218    25216   112890 |        1   332322     18 |  2.242 % |
1266.12/1266.15	c |  10701991 |     218    24464   110634 |        1   279116     18 |  2.242 % |
1266.12/1266.15	c |  10742162 |     218    24464   110634 |        1   319287     19 |  2.242 % |
1266.12/1266.15	c |  10795761 |     217    24464   110634 |        1   197831     16 |  2.691 % |
1266.12/1266.15	c |  10810094 |     217    24464   110634 |        1   212164     17 |  2.691 % |
1266.12/1266.15	c |  10846304 |     217    24464   110634 |        1   248374     17 |  2.691 % |
1266.12/1266.15	c |  10873297 |     217    24464   110634 |        1   275367     18 |  2.691 % |
1266.12/1266.15	c |  10890664 |     217    24117   109593 |        1   277688     18 |  2.691 % |
1266.12/1266.15	c |  10892043 |     217    24117   109593 |        1   279067     18 |  2.691 % |
1266.12/1266.15	c |  10905816 |     215    24117   109593 |        1   292838     18 |  3.587 % |
1266.12/1266.15	c |  10941137 |     168    24117   109593 |        1   328151     18 | 24.664 % |
1266.12/1266.15	c ===============================================================================
1266.12/1266.15	c restarts              : 1255
1266.12/1266.15	c nb ReduceDB           : 90
1266.12/1266.15	c nb removed Clauses    : 10387511
1266.12/1266.15	c nb learnts DL2        : 290
1266.12/1266.15	c nb learnts size 2     : 148
1266.12/1266.15	c nb learnts size 1     : 15
1266.12/1266.15	c conflicts             : 10941137       (8644 /sec)
1266.12/1266.15	c decisions             : 12989847       (0.00 % random) (10262 /sec)
1266.12/1266.15	c propagations          : 335825051      (265314 /sec)
1266.12/1266.15	c conflict literals     : 248783123      (49.55 % deleted)
1266.12/1266.15	c nb reduced Clauses    : 21595
1266.12/1266.15	c CPU time              : 1265.76 s
1266.12/1266.15	
1266.12/1266.15	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: 977)

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-3303493-1306933372/watcher-3303493-1306933372 -o /tmp/evaluation-result-3303493-1306933372/solver-3303493-1306933372 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303493-1306933372.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 2/518 23930
/proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 804933902 8912896 253 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23930/statm: 2176 253 211 178 0 69 0

[startup+0.112695 s]
/proc/loadavg: 2.01 2.03 2.00 2/518 23930
/proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.200673 s]
/proc/loadavg: 2.01 2.03 2.00 2/518 23930
/proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.30066 s]
/proc/loadavg: 2.01 2.03 2.00 2/518 23930
/proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.700572 s]
/proc/loadavg: 2.01 2.03 2.00 2/518 23930
/proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+1.50042 s]
/proc/loadavg: 2.01 2.03 2.00 3/520 23933
/proc/meminfo: memFree=21806540/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=24048 CPUtime=1.46 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 3610 0 0 0 146 0 0 0 20 0 1 0 804933905 24625152 2726 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 6012 2726 249 17 0 2653 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32752

[startup+3.1011 s]
/proc/loadavg: 2.01 2.03 2.00 3/520 23933
/proc/meminfo: memFree=21802572/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=25080 CPUtime=3.06 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 3880 0 0 0 306 0 0 0 25 0 1 0 804933905 25681920 2984 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225418 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 6270 2984 249 17 0 2911 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33784

[startup+6.30045 s]
/proc/loadavg: 2.01 2.03 2.00 3/520 23933
/proc/meminfo: memFree=21800428/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=29432 CPUtime=6.26 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 5646 0 0 0 626 0 0 0 25 0 1 0 804933905 30138368 3464 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 7358 3464 249 17 0 3999 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38136

[startup+12.7012 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 23933
/proc/meminfo: memFree=21792252/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=34628 CPUtime=12.67 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 7559 0 0 0 1266 1 0 0 25 0 1 0 804933905 35459072 5269 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 8657 5269 250 17 0 5298 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43332

[startup+25.5006 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 23934
/proc/meminfo: memFree=21780216/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=51080 CPUtime=25.46 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 10860 0 0 0 2545 1 0 0 25 0 1 0 804933905 52305920 8491 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 12770 8491 250 17 0 9411 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59784

[startup+51.1005 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 23934
/proc/meminfo: memFree=21766052/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=60980 CPUtime=51.06 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 16789 0 0 0 5104 2 0 0 25 0 1 0 804933905 62443520 11922 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 15245 11922 250 17 0 11886 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69684

[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 23938
/proc/meminfo: memFree=21728452/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=64728 CPUtime=102.28 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 17808 0 0 0 10226 2 0 0 25 0 1 0 804933905 66281472 12902 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 16182 12902 250 17 0 12823 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 73432

[startup+162.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/520 23940
/proc/meminfo: memFree=21718632/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=84600 CPUtime=162.27 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 24822 0 0 0 16224 3 0 0 25 0 1 0 804933905 86630400 15087 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 21150 15087 250 17 0 17791 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 93304

[startup+222.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/520 23942
/proc/meminfo: memFree=21716884/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=85076 CPUtime=222.29 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 25590 0 0 0 22226 3 0 0 25 0 1 0 804933905 87117824 15832 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 21269 15832 250 17 0 17910 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 93780

[startup+282.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/520 23944
/proc/meminfo: memFree=21731108/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=85076 CPUtime=282.27 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 26064 0 0 0 28224 3 0 0 25 0 1 0 804933905 87117824 16290 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 21269 16290 250 17 0 17910 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 93780

[startup+342.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/520 23945
/proc/meminfo: memFree=21710252/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=103560 CPUtime=342.27 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 31433 0 0 0 34223 4 0 0 25 0 1 0 804933905 106045440 21402 33554432000 4194304 4260849 140733978623104 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 25890 21402 250 17 0 22531 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 112264

[startup+402.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/520 23947
/proc/meminfo: memFree=21708108/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7

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


[startup+882.32 s]
/proc/loadavg: 2.02 2.05 2.00 3/520 23990
/proc/meminfo: memFree=21719284/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=882.3 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 170146 0 0 0 88208 22 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 126096

[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/520 23991
/proc/meminfo: memFree=21689248/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=942.27 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 189063 0 0 0 94202 25 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 126096

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 23993
/proc/meminfo: memFree=21686372/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1002.28 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 207978 0 0 0 100201 27 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 126096

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 23994
/proc/meminfo: memFree=21688460/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1062.28 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 227331 0 0 0 106198 30 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 126096

[startup+1122.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/520 23996
/proc/meminfo: memFree=21684704/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=166712 CPUtime=1122.27 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 245773 0 0 0 112195 32 0 0 25 0 1 0 804933905 170713088 34704 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 41678 34704 250 17 0 38319 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 175416

[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/520 24029
/proc/meminfo: memFree=21777040/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1182.28 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 256131 0 0 0 118194 34 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 126096

[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/520 24030
/proc/meminfo: memFree=21760092/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1242.28 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 124191 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 126096

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

[startup+1254.4 s]
/proc/loadavg: 2.04 2.05 2.01 3/520 24031
/proc/meminfo: memFree=21758348/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1254.38 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 125401 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1254.4
Current children cumulated vsize (KiB) 126096

[startup+1260.8 s]
/proc/loadavg: 2.03 2.05 2.01 3/520 24031
/proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1260.78 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126041 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1260.8
Current children cumulated vsize (KiB) 126096

[startup+1264.02 s]
/proc/loadavg: 2.03 2.05 2.01 3/520 24031
/proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1264 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126363 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224898 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1264.02
Current children cumulated vsize (KiB) 126096

[startup+1264.8 s]
/proc/loadavg: 2.03 2.05 2.01 3/520 24031
/proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1264.78 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126441 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1264.8
Current children cumulated vsize (KiB) 126096

[startup+1265.6 s]
/proc/loadavg: 2.03 2.05 2.01 3/520 24031
/proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1265.58 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126521 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1265.6
Current children cumulated vsize (KiB) 126096

[startup+1266 s]
/proc/loadavg: 2.03 2.05 2.01 3/520 24031
/proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1265.98 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126561 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1266
Current children cumulated vsize (KiB) 126096

[startup+1266.1 s]
/proc/loadavg: 2.03 2.05 2.01 3/520 24031
/proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528
[pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7
/proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23930/statm: 2176 255 211 178 0 69 0
[pid=23933] ppid=23930 vsize=117392 CPUtime=1266.1 cores=1,3,5,7
/proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126573 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23933/statm: 29348 26068 250 17 0 25989 0
Current children cumulated CPU time (s) 1266.12
Current children cumulated vsize (KiB) 126096

Child status: 20
Real time (s): 1266.16
CPU time (s): 1266.18
CPU user time (s): 1265.79
CPU system time (s): 0.39094
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 175416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1265.79
system time used= 0.39094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281785
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= 42
involuntary context switches= 2014

runsolver used 6.15406 second user time and 15.7826 second system time

The end

Launcher Data

Begin job on node149 at 2011-06-01 15:02:52
IDJOB=3303493
IDBENCH=83311
IDSOLVER=1687
FILE ID=node149/3303493-1306933372
RUNJOBID= node149-1306927227-23496
PBS_JOBID= 13488481
Free space on /tmp= 73616 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_445.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303493-1306933372/watcher-3303493-1306933372 -o /tmp/evaluation-result-3303493-1306933372/solver-3303493-1306933372 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303493-1306933372.cnf 

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4f7ff14ba0d33c4cf7de4e3c004f2f79
RANDOM SEED=708690594

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
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.806
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:     32950928 kB
MemFree:      21816240 kB
Buffers:        295144 kB
Cached:        2246616 kB
SwapCached:      84504 kB
Active:        2056768 kB
Inactive:      8748488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21816240 kB
SwapTotal:    67111528 kB
SwapFree:     34979748 kB
Dirty:            1576 kB
Writeback:           0 kB
AnonPages:     8203960 kB
Mapped:          18104 kB
Slab:           139736 kB
PageTables:     118044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173212812 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= 73616 MiB
End job on node149 at 2011-06-01 15:23:58