Trace number 3257820

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 2SAT 1067.38 1067.36

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
MD5SUM04c9f68df814bad18919ca17a3e0867a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.342947
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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 |   61409   123673 |   18422       0        0     nan |  0.000 % |
0.00/0.12	c |         0 |   60200   195461 |      --       0       --      -- |     --   | -1209/71788
0.00/0.12	c ==============================================================================
0.00/0.12	c Result  :   #vars: 900   #clauses: 60200   #literals: 195461
0.00/0.12	c CPU time:   0.114982 s
0.00/0.12	c ==============================================================================
0.00/0.15	c
0.00/0.15	c Starting glucose
0.00/0.15	c
136.89/136.94	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
136.89/136.94	c WARNING: for repeatability, setting FPU to use double precision
136.89/136.94	c ============================[ Problem Statistics ]=============================
136.89/136.94	c |                                                                             |
136.89/136.94	c |  Number of variables:           900                                         |
136.89/136.94	c |  Number of clauses:           60200                                         |
136.89/136.94	c |  Parse time:                   0.01 s                                       |
136.89/136.94	c |                                                                             |
136.89/136.94	c ============================[ Search Statistics ]==============================
136.89/136.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
136.89/136.94	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
136.89/136.94	c ===============================================================================
136.89/136.94	c |     17665 |     900    60200   195461 |        1    11372     74 |  0.000 % |
136.89/136.94	c |     62079 |     900    60200   195461 |        1    27939     55 |  0.000 % |
136.89/136.94	c |    320305 |     900    60200   195461 |        1    62933     43 |  0.000 % |
136.89/136.94	c |    393084 |     900    60200   195461 |        1    57517     38 |  0.000 % |
136.89/136.94	c |    394303 |     900    60200   195461 |        1    58736     39 |  0.000 % |
136.89/136.94	c |    431775 |     900    60200   195461 |        1    53200     33 |  0.000 % |
136.89/136.94	c |    571603 |     900    60200   195461 |        1    99224     39 |  0.000 % |
136.89/136.94	c |    592824 |     900    60200   195461 |        1    69643     33 |  0.000 % |
136.89/136.94	c |    605180 |     900    60200   195461 |        1    81999     35 |  0.000 % |
136.89/136.94	c |    607993 |     900    60200   195461 |        1    84812     35 |  0.000 % |
136.89/136.94	c |    616832 |     900    60200   195461 |        1    93651     36 |  0.000 % |
136.89/136.94	c |    616964 |     900    60200   195461 |        1    93783     36 |  0.000 % |
136.89/136.94	c |    672670 |     900    60200   195461 |        1    96092     35 |  0.000 % |
136.89/136.94	c |    673770 |     900    60200   195461 |        1    97192     35 |  0.000 % |
136.89/136.94	c |    704284 |     900    60200   195461 |        1    71709     31 |  0.000 % |
136.89/136.94	c |    705123 |     900    60200   195461 |        1    72548     31 |  0.000 % |
136.89/136.94	c |    711963 |     900    60200   195461 |        1    79388     33 |  0.000 % |
136.89/136.94	c |    719271 |     900    60200   195461 |        1    86696     34 |  0.000 % |
136.89/136.94	c |    738013 |     900    60200   195461 |        1   105438     36 |  0.000 % |
136.89/136.94	c |    759371 |     900    60200   195461 |        1    68196     29 |  0.000 % |
136.89/136.94	c |    759508 |     900    60200   195461 |        1    68333     29 |  0.000 % |
136.89/136.94	c |    769521 |     900    60200   195461 |        1    78346     32 |  0.000 % |
136.89/136.94	c |    775180 |     900    60200   195461 |        1    84005     32 |  0.000 % |
136.89/136.94	c |    787930 |     900    60200   195461 |        1    96755     34 |  0.000 % |
136.89/136.94	c |    793679 |     900    60200   195461 |        1   102504     34 |  0.000 % |
136.89/136.94	c |    797820 |     900    60200   195461 |        1   106645     35 |  0.000 % |
136.89/136.94	c |    821659 |     899    60192   195293 |        1    26809     30 |  0.111 % |
136.89/136.94	c |    826574 |     899    60192   195293 |        1    31724     33 |  0.111 % |
136.89/136.94	c |    827550 |     899    60192   195293 |        1    32700     34 |  0.111 % |
136.89/136.94	c |    872191 |     899    60192   195293 |        1    77341     42 |  0.111 % |
136.89/136.94	c |    880696 |     899    60192   195293 |        1    43280     32 |  0.111 % |
136.89/136.94	c |    881024 |     899    60192   195293 |        1    43608     33 |  0.111 % |
136.89/136.94	c |    888500 |     899    60192   195293 |        1    51084     35 |  0.111 % |
136.89/136.94	c |    921585 |     899    60192   195293 |        1    84169     42 |  0.111 % |
136.89/136.94	c |    921756 |     899    60192   195293 |        1    84340     42 |  0.111 % |
136.89/136.94	c |    940957 |     899    60192   195293 |        1   103541     43 |  0.111 % |
136.89/136.94	c |    958884 |     899    60192   195293 |        1    65682     35 |  0.111 % |
136.89/136.94	c |    977912 |     899    60192   195293 |        1    84710     37 |  0.111 % |
136.89/136.94	c |   1037661 |     899    60192   195293 |        1    80760     35 |  0.111 % |
220.89/220.96	c |   1037762 |     899    60192   195293 |        1    80861     35 |  0.111 % |
220.89/220.96	c |   1039974 |     899    60192   195293 |        1    83073     35 |  0.111 % |
220.89/220.96	c |   1044635 |     899    60192   195293 |        1    87734     37 |  0.111 % |
220.89/220.96	c |   1085146 |     899    60192   195293 |        1   128245     40 |  0.111 % |
220.89/220.96	c |   1085249 |     899    60192   195293 |        1   128348     40 |  0.111 % |
220.89/220.96	c |   1087563 |     899    60192   195293 |        1   130662     41 |  0.111 % |
220.89/220.96	c |   1132274 |     899    60192   195293 |        1   106429     39 |  0.111 % |
220.89/220.96	c |   1139604 |     899    60192   195293 |        1   113759     41 |  0.111 % |
220.89/220.96	c |   1222458 |     899    60192   195293 |        1   123742     39 |  0.111 % |
220.89/220.96	c |   1225574 |     899    60192   195293 |        1   126858     39 |  0.111 % |
220.89/220.96	c |   1238951 |     899    60192   195293 |        1   140235     41 |  0.111 % |
220.89/220.96	c |   1249913 |     899    60192   195293 |        1   151197     41 |  0.111 % |
220.89/220.96	c |   1258132 |     899    60192   195293 |        1    83282     32 |  0.111 % |
220.89/220.96	c |   1268624 |     899    60192   195293 |        1    93774     33 |  0.111 % |
220.89/220.96	c |   1273098 |     899    60192   195293 |        1    98248     34 |  0.111 % |
220.89/220.96	c |   1274909 |     899    60192   195293 |        1   100059     35 |  0.111 % |
220.89/220.96	c |   1280154 |     899    60192   195293 |        1   105304     36 |  0.111 % |
220.89/220.96	c |   1280255 |     899    60192   195293 |        1   105405     36 |  0.111 % |
220.89/220.96	c |   1280400 |     899    60192   195293 |        1   105550     36 |  0.111 % |
220.89/220.96	c |   1281888 |     899    60192   195293 |        1   107038     36 |  0.111 % |
220.89/220.96	c |   1284205 |     899    60192   195293 |        1   109355     36 |  0.111 % |
220.89/220.96	c |   1289307 |     899    60192   195293 |        1   114457     37 |  0.111 % |
220.89/220.96	c |   1293801 |     899    60192   195293 |        1   118951     38 |  0.111 % |
220.89/220.96	c |   1306280 |     899    60192   195293 |        1   131430     39 |  0.111 % |
220.89/220.96	c |   1313053 |     899    60192   195293 |        1   138203     40 |  0.111 % |
220.89/220.96	c |   1335517 |     899    60192   195293 |        1    81596     30 |  0.111 % |
220.89/220.96	c |   1410187 |     899    60192   195293 |        1   156266     39 |  0.111 % |
220.89/220.96	c |   1421143 |     899    60192   195293 |        1    85390     30 |  0.111 % |
220.89/220.96	c |   1421243 |     899    60192   195293 |        1    85490     30 |  0.111 % |
220.89/220.96	c |   1442499 |     899    60192   195293 |        1   106746     36 |  0.111 % |
220.89/220.96	c |   1474063 |     899    60192   195293 |        1   138310     38 |  0.111 % |
220.89/220.96	c |   1474164 |     899    60192   195293 |        1   138411     38 |  0.111 % |
220.89/220.96	c |   1474756 |     899    60192   195293 |        1   139003     39 |  0.111 % |
220.89/220.96	c |   1491798 |     899    60192   195293 |        1   156045     40 |  0.111 % |
220.89/220.96	c |   1492996 |     899    60192   195293 |        1   157243     40 |  0.111 % |
220.89/220.96	c |   1518734 |     899    60192   195293 |        1    98464     31 |  0.111 % |
220.89/220.96	c |   1528342 |     899    60192   195293 |        1   108072     33 |  0.111 % |
220.89/220.96	c |   1577419 |     899    60192   195293 |        1   157149     38 |  0.111 % |
220.89/220.96	c |   1578619 |     899    60192   195293 |        1   158349     38 |  0.111 % |
220.89/220.96	c |   1579173 |     899    60192   195293 |        1   158903     38 |  0.111 % |
220.89/220.96	c |   1584448 |     899    60192   195293 |        1   164178     39 |  0.111 % |
220.89/220.96	c |   1586789 |     899    60192   195293 |        1   166519     40 |  0.111 % |
220.89/220.96	c |   1586891 |     899    60192   195293 |        1   166621     40 |  0.111 % |
220.89/220.96	c |   1586991 |     899    60192   195293 |        1   166721     40 |  0.111 % |
220.89/220.96	c |   1588971 |     899    60192   195293 |        1   168701     40 |  0.111 % |
220.89/220.96	c |   1590204 |     899    60192   195293 |        1   169934     40 |  0.111 % |
220.89/220.96	c |   1593081 |     899    60192   195293 |        1   172811     40 |  0.111 % |
220.89/220.96	c |   1594098 |     899    60192   195293 |        1   173828     40 |  0.111 % |
220.89/220.96	c |   1594198 |     899    60192   195293 |        1   173928     40 |  0.111 % |
220.89/220.96	c |   1595179 |     899    60192   195293 |        1    87755     28 |  0.111 % |
285.78/285.84	c |   1621230 |     899    60192   195293 |        1   113806     34 |  0.111 % |
285.78/285.84	c |   1624618 |     899    60192   195293 |        1   117194     34 |  0.111 % |
285.78/285.84	c |   1626187 |     899    60192   195293 |        1   118763     35 |  0.111 % |
285.78/285.84	c |   1643583 |     899    60192   195293 |        1   136159     37 |  0.111 % |
285.78/285.84	c |   1684869 |     899    60192   195293 |        1   177445     42 |  0.111 % |
285.78/285.84	c |   1684969 |     899    60192   195293 |        1   177545     42 |  0.111 % |
285.78/285.84	c |   1685483 |     899    60192   195293 |        1   178059     42 |  0.111 % |
285.78/285.84	c |   1688113 |     899    60192   195293 |        1    90907     29 |  0.111 % |
285.78/285.84	c |   1701011 |     899    60192   195293 |        1   103805     34 |  0.111 % |
285.78/285.84	c |   1701113 |     899    60192   195293 |        1   103907     34 |  0.111 % |
285.78/285.84	c |   1701215 |     899    60192   195293 |        1   104009     34 |  0.111 % |
285.78/285.84	c |   1701315 |     899    60192   195293 |        1   104109     34 |  0.111 % |
285.78/285.84	c |   1703491 |     899    60192   195293 |        1   106285     34 |  0.111 % |
285.78/285.84	c |   1710777 |     899    60192   195293 |        1   113571     35 |  0.111 % |
285.78/285.84	c |   1714563 |     899    60192   195293 |        1   117357     36 |  0.111 % |
285.78/285.84	c |   1714673 |     899    60192   195293 |        1   117467     36 |  0.111 % |
285.78/285.84	c |   1714773 |     899    60192   195293 |        1   117567     36 |  0.111 % |
285.78/285.84	c |   1714873 |     899    60192   195293 |        1   117667     36 |  0.111 % |
285.78/285.84	c |   1715285 |     899    60192   195293 |        1   118079     36 |  0.111 % |
285.78/285.84	c |   1716182 |     899    60192   195293 |        1   118976     37 |  0.111 % |
285.78/285.84	c |   1730125 |     899    60192   195293 |        1   132919     38 |  0.111 % |
285.78/285.84	c |   1754211 |     899    60192   195293 |        1   157005     41 |  0.111 % |
285.78/285.84	c |   1761575 |     899    60192   195293 |        1   164369     42 |  0.111 % |
285.78/285.84	c |   1771339 |     899    60192   195293 |        1   174133     43 |  0.111 % |
285.78/285.84	c |   1772072 |     899    60192   195293 |        1   174866     43 |  0.111 % |
285.78/285.84	c |   1778748 |     899    60192   195293 |        1   181542     44 |  0.111 % |
285.78/285.84	c |   1798023 |     899    60192   195293 |        1   108427     31 |  0.111 % |
285.78/285.84	c |   1798141 |     899    60192   195293 |        1   108545     31 |  0.111 % |
285.78/285.84	c |   1800219 |     899    60192   195293 |        1   110623     31 |  0.111 % |
285.78/285.84	c |   1820093 |     899    60192   195293 |        1   130497     33 |  0.111 % |
285.78/285.84	c |   1844033 |     899    60192   195293 |        1   154437     36 |  0.111 % |
285.78/285.84	c |   1898246 |     899    60192   195293 |        1   113657     31 |  0.111 % |
285.78/285.84	c |   1910971 |     899    60192   195293 |        1   126382     33 |  0.111 % |
285.78/285.84	c |   1911071 |     899    60192   195293 |        1   126482     33 |  0.111 % |
285.78/285.84	c |   1915448 |     899    60192   195293 |        1   130859     33 |  0.111 % |
285.78/285.84	c |   1920785 |     899    60192   195293 |        1   136196     34 |  0.111 % |
285.78/285.84	c |   1920898 |     899    60192   195293 |        1   136309     34 |  0.111 % |
285.78/285.84	c |   1923073 |     899    60192   195293 |        1   138484     34 |  0.111 % |
285.78/285.84	c |   1930368 |     899    60192   195293 |        1   145779     35 |  0.111 % |
285.78/285.84	c |   1931202 |     899    60192   195293 |        1   146613     35 |  0.111 % |
285.78/285.84	c |   1931376 |     899    60192   195293 |        1   146787     35 |  0.111 % |
285.78/285.84	c |   1931541 |     899    60192   195293 |        1   146952     35 |  0.111 % |
285.78/285.84	c |   1931684 |     899    60192   195293 |        1   147095     35 |  0.111 % |
285.78/285.84	c |   1935665 |     899    60192   195293 |        1   151076     36 |  0.111 % |
285.78/285.84	c |   1935766 |     899    60192   195293 |        1   151177     36 |  0.111 % |
285.78/285.84	c |   1966105 |     899    60192   195293 |        1   181516     40 |  0.111 % |
285.78/285.84	c |   1966207 |     899    60192   195293 |        1   181618     40 |  0.111 % |
285.78/285.84	c |   1976427 |     899    60192   195293 |        1   191838     41 |  0.111 % |
285.78/285.84	c |   1982482 |     899    60192   195293 |        1   100299     28 |  0.111 % |
285.78/285.84	c |   1991313 |     899    60192   195293 |        1   109130     31 |  0.111 % |
321.09/321.12	c |   1996970 |     899    60192   195293 |        1   114787     32 |  0.111 % |
321.09/321.12	c |   1997072 |     899    60192   195293 |        1   114889     32 |  0.111 % |
321.09/321.12	c |   1999693 |     899    60192   195293 |        1   117510     33 |  0.111 % |
321.09/321.12	c |   2007246 |     899    60192   195293 |        1   125063     34 |  0.111 % |
321.09/321.12	c |   2007403 |     899    60192   195293 |        1   125220     34 |  0.111 % |
321.09/321.12	c |   2012125 |     899    60192   195293 |        1   129942     35 |  0.111 % |
321.09/321.12	c |   2014525 |     899    60192   195293 |        1   132342     36 |  0.111 % |
321.09/321.12	c |   2014629 |     899    60192   195293 |        1   132446     36 |  0.111 % |
321.09/321.12	c |   2014735 |     899    60192   195293 |        1   132552     36 |  0.111 % |
321.09/321.12	c |   2015165 |     899    60192   195293 |        1   132982     36 |  0.111 % |
321.09/321.12	c |   2015265 |     899    60192   195293 |        1   133082     36 |  0.111 % |
321.09/321.12	c |   2026559 |     899    60192   195293 |        1   144376     37 |  0.111 % |
321.09/321.12	c |   2026975 |     899    60192   195293 |        1   144792     37 |  0.111 % |
321.09/321.12	c |   2027075 |     899    60192   195293 |        1   144892     37 |  0.111 % |
321.09/321.12	c |   2030624 |     899    60192   195293 |        1   148441     37 |  0.111 % |
321.09/321.12	c |   2030904 |     899    60192   195293 |        1   148721     37 |  0.111 % |
321.09/321.12	c |   2032141 |     899    60192   195293 |        1   149958     37 |  0.111 % |
321.09/321.12	c |   2032242 |     899    60192   195293 |        1   150059     37 |  0.111 % |
321.09/321.12	c |   2036597 |     899    60192   195293 |        1   154414     38 |  0.111 % |
321.09/321.12	c |   2036697 |     899    60192   195293 |        1   154514     38 |  0.111 % |
321.09/321.12	c |   2046765 |     899    60192   195293 |        1   164582     38 |  0.111 % |
321.09/321.12	c |   2046892 |     899    60192   195293 |        1   164709     38 |  0.111 % |
321.09/321.12	c |   2049316 |     899    60192   195293 |        1   167133     39 |  0.111 % |
321.09/321.12	c |   2050556 |     899    60192   195293 |        1   168373     39 |  0.111 % |
321.09/321.12	c |   2057325 |     899    60192   195293 |        1   175142     39 |  0.111 % |
321.09/321.12	c |   2058581 |     899    60192   195293 |        1   176398     39 |  0.111 % |
321.09/321.12	c |   2067551 |     899    60192   195293 |        1   185368     40 |  0.111 % |
321.09/321.12	c |   2086121 |     899    60192   195293 |        1   103739     28 |  0.111 % |
321.09/321.12	c |   2091495 |     899    60192   195293 |        1   109113     29 |  0.111 % |
321.09/321.12	c |   2099830 |     899    60192   195293 |        1   117448     30 |  0.111 % |
321.09/321.12	c |   2101041 |     899    60192   195293 |        1   118659     31 |  0.111 % |
321.09/321.12	c |   2110095 |     899    60192   195293 |        1   127713     32 |  0.111 % |
321.09/321.12	c |   2128403 |     899    60192   195293 |        1   146021     34 |  0.111 % |
321.09/321.12	c |   2135189 |     899    60192   195293 |        1   152807     35 |  0.111 % |
321.09/321.12	c |   2137444 |     899    60192   195293 |        1   155062     35 |  0.111 % |
321.09/321.12	c |   2137649 |     899    60192   195293 |        1   155267     35 |  0.111 % |
321.09/321.12	c |   2140031 |     899    60192   195293 |        1   157649     36 |  0.111 % |
321.09/321.12	c |   2142324 |     899    60192   195293 |        1   159942     36 |  0.111 % |
321.09/321.12	c |   2142426 |     899    60192   195293 |        1   160044     36 |  0.111 % |
321.09/321.12	c |   2142526 |     899    60192   195293 |        1   160144     36 |  0.111 % |
321.09/321.12	c |   2144037 |     899    60192   195293 |        1   161655     36 |  0.111 % |
321.09/321.12	c |   2147503 |     899    60192   195293 |        1   165121     37 |  0.111 % |
321.09/321.12	c |   2149462 |     899    60192   195293 |        1   167080     37 |  0.111 % |
321.09/321.12	c |   2157139 |     899    60192   195293 |        1   174757     38 |  0.111 % |
321.09/321.12	c |   2158027 |     899    60192   195293 |        1   175645     38 |  0.111 % |
321.09/321.12	c |   2158830 |     899    60192   195293 |        1   176448     38 |  0.111 % |
321.09/321.12	c |   2159118 |     899    60192   195293 |        1   176736     38 |  0.111 % |
321.09/321.12	c |   2159963 |     899    60192   195293 |        1   177581     39 |  0.111 % |
321.09/321.12	c |   2171069 |     899    60192   195293 |        1   188687     39 |  0.111 % |
321.09/321.12	c |   2186643 |     899    60192   195293 |        1   204261     40 |  0.111 % |
353.39/353.42	c |   2186743 |     899    60192   195293 |        1   204361     40 |  0.111 % |
353.39/353.42	c |   2187074 |     899    60192   195293 |        1   204692     40 |  0.111 % |
353.39/353.42	c |   2188451 |     899    60192   195293 |        1   103268     27 |  0.111 % |
353.39/353.42	c |   2190961 |     899    60192   195293 |        1   105778     28 |  0.111 % |
353.39/353.42	c |   2191064 |     899    60192   195293 |        1   105881     28 |  0.111 % |
353.39/353.42	c |   2192049 |     899    60192   195293 |        1   106866     28 |  0.111 % |
353.39/353.42	c |   2192149 |     899    60192   195293 |        1   106966     28 |  0.111 % |
353.39/353.42	c |   2192683 |     899    60192   195293 |        1   107500     28 |  0.111 % |
353.39/353.42	c |   2200415 |     899    60192   195293 |        1   115232     30 |  0.111 % |
353.39/353.42	c |   2202001 |     899    60192   195293 |        1   116818     31 |  0.111 % |
353.39/353.42	c |   2202887 |     899    60192   195293 |        1   117704     31 |  0.111 % |
353.39/353.42	c |   2204279 |     899    60192   195293 |        1   119096     31 |  0.111 % |
353.39/353.42	c |   2210645 |     899    60192   195293 |        1   125462     32 |  0.111 % |
353.39/353.42	c |   2213154 |     899    60192   195293 |        1   127971     33 |  0.111 % |
353.39/353.42	c |   2215573 |     899    60192   195293 |        1   130390     33 |  0.111 % |
353.39/353.42	c |   2217296 |     899    60192   195293 |        1   132113     33 |  0.111 % |
353.39/353.42	c |   2217396 |     899    60192   195293 |        1   132213     33 |  0.111 % |
353.39/353.42	c |   2217678 |     899    60192   195293 |        1   132495     34 |  0.111 % |
353.39/353.42	c |   2217797 |     899    60192   195293 |        1   132614     34 |  0.111 % |
353.39/353.42	c |   2219827 |     899    60192   195293 |        1   134644     34 |  0.111 % |
353.39/353.42	c |   2219928 |     899    60192   195293 |        1   134745     34 |  0.111 % |
353.39/353.42	c |   2221951 |     899    60192   195293 |        1   136768     34 |  0.111 % |
353.39/353.42	c |   2225925 |     899    60192   195293 |        1   140742     35 |  0.111 % |
353.39/353.42	c |   2226027 |     899    60192   195293 |        1   140844     35 |  0.111 % |
353.39/353.42	c |   2227764 |     899    60192   195293 |        1   142581     35 |  0.111 % |
353.39/353.42	c |   2229857 |     899    60192   195293 |        1   144674     35 |  0.111 % |
353.39/353.42	c |   2229959 |     899    60192   195293 |        1   144776     36 |  0.111 % |
353.39/353.42	c |   2268504 |     899    60192   195293 |        1   183321     39 |  0.111 % |
353.39/353.42	c |   2271671 |     899    60192   195293 |        1   186488     39 |  0.111 % |
353.39/353.42	c |   2276391 |     899    60192   195293 |        1   191208     40 |  0.111 % |
353.39/353.42	c |   2276635 |     899    60192   195293 |        1   191452     40 |  0.111 % |
353.39/353.42	c |   2278229 |     899    60192   195293 |        1   193046     40 |  0.111 % |
353.39/353.42	c |   2279301 |     899    60192   195293 |        1   194118     40 |  0.111 % |
353.39/353.42	c |   2295166 |     899    60192   195293 |        1   209983     41 |  0.111 % |
353.39/353.42	c |   2295908 |     899    60192   195293 |        1   210725     41 |  0.111 % |
353.39/353.42	c |   2305590 |     899    60192   195293 |        1   115004     30 |  0.111 % |
353.39/353.42	c |   2306333 |     899    60192   195293 |        1   115747     30 |  0.111 % |
353.39/353.42	c |   2307278 |     899    60192   195293 |        1   116692     30 |  0.111 % |
353.39/353.42	c |   2323605 |     899    60192   195293 |        1   133019     32 |  0.111 % |
353.39/353.42	c |   2328358 |     899    60192   195293 |        1   137772     33 |  0.111 % |
353.39/353.42	c |   2328461 |     899    60192   195293 |        1   137875     33 |  0.111 % |
353.39/353.42	c |   2330218 |     899    60192   195293 |        1   139632     34 |  0.111 % |
353.39/353.42	c |   2330433 |     899    60192   195293 |        1   139847     34 |  0.111 % |
353.39/353.42	c |   2340935 |     899    60192   195293 |        1   150349     35 |  0.111 % |
353.39/353.42	c |   2346887 |     899    60192   195293 |        1   156301     36 |  0.111 % |
353.39/353.42	c |   2357326 |     899    60192   195293 |        1   166740     37 |  0.111 % |
353.39/353.42	c |   2357426 |     899    60192   195293 |        1   166840     37 |  0.111 % |
353.39/353.42	c |   2358357 |     899    60192   195293 |        1   167771     37 |  0.111 % |
353.39/353.42	c |   2365964 |     899    60192   195293 |        1   175378     38 |  0.111 % |
353.39/353.42	c |   2373953 |     899    60192   195293 |        1   183367     39 |  0.111 % |
386.69/386.77	c |   2374851 |     899    60192   195293 |        1   184265     39 |  0.111 % |
386.69/386.77	c |   2375402 |     899    60192   195293 |        1   184816     39 |  0.111 % |
386.69/386.77	c |   2392914 |     899    60192   195293 |        1   202328     40 |  0.111 % |
386.69/386.77	c |   2397444 |     899    60192   195293 |        1   206858     40 |  0.111 % |
386.69/386.77	c |   2397572 |     899    60192   195293 |        1   206986     40 |  0.111 % |
386.69/386.77	c |   2397888 |     899    60192   195293 |        1   207302     41 |  0.111 % |
386.69/386.77	c |   2398249 |     899    60192   195293 |        1   207663     41 |  0.111 % |
386.69/386.77	c |   2398403 |     899    60192   195293 |        1   207817     41 |  0.111 % |
386.69/386.77	c |   2405247 |     899    60192   195293 |        1   214661     41 |  0.111 % |
386.69/386.77	c |   2426385 |     899    60192   195293 |        1   127800     31 |  0.111 % |
386.69/386.77	c |   2426623 |     899    60192   195293 |        1   128038     32 |  0.111 % |
386.69/386.77	c |   2426725 |     899    60192   195293 |        1   128140     32 |  0.111 % |
386.69/386.77	c |   2431748 |     899    60192   195293 |        1   133163     32 |  0.111 % |
386.69/386.77	c |   2432668 |     899    60192   195293 |        1   134083     33 |  0.111 % |
386.69/386.77	c |   2435174 |     899    60192   195293 |        1   136589     33 |  0.111 % |
386.69/386.77	c |   2438991 |     899    60192   195293 |        1   140406     33 |  0.111 % |
386.69/386.77	c |   2444613 |     899    60192   195293 |        1   146028     34 |  0.111 % |
386.69/386.77	c |   2457798 |     899    60192   195293 |        1   159213     36 |  0.111 % |
386.69/386.77	c |   2459297 |     899    60192   195293 |        1   160712     36 |  0.111 % |
386.69/386.77	c |   2459928 |     899    60192   195293 |        1   161343     36 |  0.111 % |
386.69/386.77	c |   2474393 |     899    60192   195293 |        1   175808     37 |  0.111 % |
386.69/386.77	c |   2474689 |     899    60192   195293 |        1   176104     37 |  0.111 % |
386.69/386.77	c |   2478524 |     899    60192   195293 |        1   179939     38 |  0.111 % |
386.69/386.77	c |   2480993 |     899    60192   195293 |        1   182408     38 |  0.111 % |
386.69/386.77	c |   2481373 |     899    60192   195293 |        1   182788     38 |  0.111 % |
386.69/386.77	c |   2481473 |     899    60192   195293 |        1   182888     38 |  0.111 % |
386.69/386.77	c |   2490932 |     899    60192   195293 |        1   192347     39 |  0.111 % |
386.69/386.77	c |   2497172 |     899    60192   195293 |        1   198587     39 |  0.111 % |
386.69/386.77	c |   2503638 |     899    60192   195293 |        1   205053     40 |  0.111 % |
386.69/386.77	c |   2503936 |     899    60192   195293 |        1   205351     40 |  0.111 % |
386.69/386.77	c |   2504039 |     899    60192   195293 |        1   205454     40 |  0.111 % |
386.69/386.77	c |   2504406 |     899    60192   195293 |        1   205821     40 |  0.111 % |
386.69/386.77	c |   2511316 |     899    60192   195293 |        1   212731     40 |  0.111 % |
386.69/386.77	c |   2514927 |     899    60192   195293 |        1   216342     40 |  0.111 % |
386.69/386.77	c |   2517442 |     899    60192   195293 |        1   218857     40 |  0.111 % |
386.69/386.77	c |   2517544 |     899    60192   195293 |        1   218959     40 |  0.111 % |
386.69/386.77	c |   2518217 |     899    60192   195293 |        1   219632     40 |  0.111 % |
386.69/386.77	c |   2520035 |     899    60192   195293 |        1   110852     27 |  0.111 % |
386.69/386.77	c |   2520136 |     899    60192   195293 |        1   110953     27 |  0.111 % |
386.69/386.77	c |   2524622 |     899    60192   195293 |        1   115439     28 |  0.111 % |
386.69/386.77	c |   2525250 |     899    60192   195293 |        1   116067     28 |  0.111 % |
386.69/386.77	c |   2535166 |     899    60192   195293 |        1   125983     30 |  0.111 % |
386.69/386.77	c |   2535509 |     899    60192   195293 |        1   126326     30 |  0.111 % |
386.69/386.77	c |   2536927 |     899    60192   195293 |        1   127744     30 |  0.111 % |
386.69/386.77	c |   2549150 |     899    60192   195293 |        1   139967     31 |  0.111 % |
386.69/386.77	c |   2554719 |     899    60192   195293 |        1   145536     32 |  0.111 % |
386.69/386.77	c |   2557760 |     899    60192   195293 |        1   148577     32 |  0.111 % |
386.69/386.77	c |   2559083 |     899    60192   195293 |        1   149900     32 |  0.111 % |
386.69/386.77	c |   2560688 |     899    60192   195293 |        1   151505     33 |  0.111 % |
386.69/386.77	c |   2561694 |     899    60192   195293 |        1   152511     33 |  0.111 % |
446.79/446.82	c |   2567772 |     899    60192   195293 |        1   158589     33 |  0.111 % |
446.79/446.82	c |   2567899 |     899    60192   195293 |        1   158716     33 |  0.111 % |
446.79/446.82	c |   2569903 |     899    60192   195293 |        1   160720     33 |  0.111 % |
446.79/446.82	c |   2573622 |     899    60192   195293 |        1   164439     34 |  0.111 % |
446.79/446.82	c |   2577272 |     899    60192   195293 |        1   168089     34 |  0.111 % |
446.79/446.82	c |   2577539 |     899    60192   195293 |        1   168356     34 |  0.111 % |
446.79/446.82	c |   2593657 |     899    60192   195293 |        1   184474     36 |  0.111 % |
446.79/446.82	c |   2600566 |     899    60192   195293 |        1   191383     37 |  0.111 % |
446.79/446.82	c |   2603993 |     899    60192   195293 |        1   194810     37 |  0.111 % |
446.79/446.82	c |   2621993 |     899    60192   195293 |        1   212810     38 |  0.111 % |
446.79/446.82	c |   2625410 |     899    60192   195293 |        1   216227     38 |  0.111 % |
446.79/446.82	c |   2625510 |     899    60192   195293 |        1   216327     38 |  0.111 % |
446.79/446.82	c |   2629775 |     899    60192   195293 |        1   220592     39 |  0.111 % |
446.79/446.82	c |   2629937 |     899    60192   195293 |        1   220754     39 |  0.111 % |
446.79/446.82	c |   2634111 |     899    60192   195293 |        1   224928     39 |  0.111 % |
446.79/446.82	c |   2637319 |     899    60192   195293 |        1   114941     27 |  0.111 % |
446.79/446.82	c |   2637440 |     899    60192   195293 |        1   115062     27 |  0.111 % |
446.79/446.82	c |   2637540 |     899    60192   195293 |        1   115162     27 |  0.111 % |
446.79/446.82	c |   2643471 |     899    60192   195293 |        1   121093     28 |  0.111 % |
446.79/446.82	c |   2644439 |     899    60192   195293 |        1   122061     28 |  0.111 % |
446.79/446.82	c |   2658363 |     899    60192   195293 |        1   135985     31 |  0.111 % |
446.79/446.82	c |   2658466 |     899    60192   195293 |        1   136088     31 |  0.111 % |
446.79/446.82	c |   2698101 |     899    60192   195293 |        1   175723     38 |  0.111 % |
446.79/446.82	c |   2698219 |     899    60192   195293 |        1   175841     38 |  0.111 % |
446.79/446.82	c |   2708208 |     899    60192   195293 |        1   185830     39 |  0.111 % |
446.79/446.82	c |   2720420 |     899    60192   195293 |        1   198042     40 |  0.111 % |
446.79/446.82	c |   2736361 |     899    60192   195293 |        1   213983     40 |  0.111 % |
446.79/446.82	c |   2740921 |     899    60192   195293 |        1   218543     40 |  0.111 % |
446.79/446.82	c |   2747670 |     899    60192   195293 |        1   225292     41 |  0.111 % |
446.79/446.82	c |   2747860 |     899    60192   195293 |        1   225482     41 |  0.111 % |
446.79/446.82	c |   2748117 |     899    60192   195293 |        1   225739     41 |  0.111 % |
446.79/446.82	c |   2785154 |     899    60192   195293 |        1   146974     31 |  0.111 % |
446.79/446.82	c |   2789448 |     899    60192   195293 |        1   151268     32 |  0.111 % |
446.79/446.82	c |   2791369 |     899    60192   195293 |        1   153189     32 |  0.111 % |
446.79/446.82	c |   2798035 |     899    60192   195293 |        1   159855     33 |  0.111 % |
446.79/446.82	c |   2810016 |     899    60192   195293 |        1   171836     34 |  0.111 % |
446.79/446.82	c |   2811431 |     899    60192   195293 |        1   173251     34 |  0.111 % |
446.79/446.82	c |   2812182 |     899    60192   195293 |        1   174002     35 |  0.111 % |
446.79/446.82	c |   2813489 |     899    60192   195293 |        1   175309     35 |  0.111 % |
446.79/446.82	c |   2816090 |     899    60192   195293 |        1   177910     35 |  0.111 % |
446.79/446.82	c |   2832516 |     899    60192   195293 |        1   194336     37 |  0.111 % |
446.79/446.82	c |   2837706 |     899    60192   195293 |        1   199526     37 |  0.111 % |
446.79/446.82	c |   2837806 |     899    60192   195293 |        1   199626     37 |  0.111 % |
446.79/446.82	c |   2837907 |     899    60192   195293 |        1   199727     37 |  0.111 % |
446.79/446.82	c |   2840707 |     899    60192   195293 |        1   202527     38 |  0.111 % |
446.79/446.82	c |   2847413 |     899    60192   195293 |        1   209233     38 |  0.111 % |
446.79/446.82	c |   2853841 |     899    60192   195293 |        1   215661     38 |  0.111 % |
446.79/446.82	c |   2872754 |     899    60192   195293 |        1   234574     40 |  0.111 % |
446.79/446.82	c |   2873193 |     899    60192   195293 |        1   235013     40 |  0.111 % |
514.80/514.81	c |   2876313 |     899    60192   195293 |        1   119732     27 |  0.111 % |
514.80/514.81	c |   2879739 |     899    60192   195293 |        1   123158     27 |  0.111 % |
514.80/514.81	c |   2880520 |     899    60192   195293 |        1   123939     27 |  0.111 % |
514.80/514.81	c |   2880625 |     899    60192   195293 |        1   124044     27 |  0.111 % |
514.80/514.81	c |   2891132 |     899    60192   195293 |        1   134551     29 |  0.111 % |
514.80/514.81	c |   2891591 |     899    60192   195293 |        1   135010     29 |  0.111 % |
514.80/514.81	c |   2901217 |     899    60192   195293 |        1   144636     31 |  0.111 % |
514.80/514.81	c |   2908110 |     899    60192   195293 |        1   151529     32 |  0.111 % |
514.80/514.81	c |   2908927 |     899    60192   195293 |        1   152346     32 |  0.111 % |
514.80/514.81	c |   2920681 |     899    60192   195293 |        1   164100     33 |  0.111 % |
514.80/514.81	c |   2927740 |     899    60192   195293 |        1   171159     34 |  0.111 % |
514.80/514.81	c |   2933268 |     899    60192   195293 |        1   176687     35 |  0.111 % |
514.80/514.81	c |   2935594 |     899    60192   195293 |        1   179013     35 |  0.111 % |
514.80/514.81	c |   2936599 |     899    60192   195293 |        1   180018     35 |  0.111 % |
514.80/514.81	c |   2949453 |     899    60192   195293 |        1   192872     36 |  0.111 % |
514.80/514.81	c |   2949556 |     899    60192   195293 |        1   192975     36 |  0.111 % |
514.80/514.81	c |   2956230 |     899    60192   195293 |        1   199649     36 |  0.111 % |
514.80/514.81	c |   2967880 |     899    60192   195293 |        1   211299     37 |  0.111 % |
514.80/514.81	c |   2973230 |     899    60192   195293 |        1   216649     38 |  0.111 % |
514.80/514.81	c |   2973330 |     899    60192   195293 |        1   216749     38 |  0.111 % |
514.80/514.81	c |   2997506 |     899    60192   195293 |        1   240925     40 |  0.111 % |
514.80/514.81	c |   2998861 |     899    60192   195293 |        1   121276     26 |  0.111 % |
514.80/514.81	c |   2999608 |     899    60192   195293 |        1   122023     27 |  0.111 % |
514.80/514.81	c |   3002461 |     899    60192   195293 |        1   124876     27 |  0.111 % |
514.80/514.81	c |   3002562 |     899    60192   195293 |        1   124977     27 |  0.111 % |
514.80/514.81	c |   3008376 |     899    60192   195293 |        1   130791     28 |  0.111 % |
514.80/514.81	c |   3015424 |     899    60192   195293 |        1   137839     30 |  0.111 % |
514.80/514.81	c |   3022812 |     899    60192   195293 |        1   145227     31 |  0.111 % |
514.80/514.81	c |   3025665 |     899    60192   195293 |        1   148080     31 |  0.111 % |
514.80/514.81	c |   3046977 |     899    60192   195293 |        1   169392     34 |  0.111 % |
514.80/514.81	c |   3063503 |     899    60192   195293 |        1   185918     37 |  0.111 % |
514.80/514.81	c |   3067341 |     899    60192   195293 |        1   189756     37 |  0.111 % |
514.80/514.81	c |   3077586 |     899    60192   195293 |        1   200001     38 |  0.111 % |
514.80/514.81	c |   3083977 |     899    60192   195293 |        1   206392     38 |  0.111 % |
514.80/514.81	c |   3087649 |     899    60192   195293 |        1   210064     39 |  0.111 % |
514.80/514.81	c |   3089969 |     899    60192   195293 |        1   212384     39 |  0.111 % |
514.80/514.81	c |   3090914 |     899    60192   195293 |        1   213329     39 |  0.111 % |
514.80/514.81	c |   3091017 |     899    60192   195293 |        1   213432     39 |  0.111 % |
514.80/514.81	c |   3091786 |     899    60192   195293 |        1   214201     39 |  0.111 % |
514.80/514.81	c |   3110601 |     899    60192   195293 |        1   233016     39 |  0.111 % |
514.80/514.81	c |   3110846 |     899    60192   195293 |        1   233261     39 |  0.111 % |
514.80/514.81	c |   3143734 |     899    60192   195293 |        1   142550     29 |  0.111 % |
514.80/514.81	c |   3187237 |     899    60192   195293 |        1   186053     36 |  0.111 % |
514.80/514.81	c |   3190038 |     899    60192   195293 |        1   188854     36 |  0.111 % |
514.80/514.81	c |   3193392 |     899    60192   195293 |        1   192208     36 |  0.111 % |
514.80/514.81	c |   3193492 |     899    60192   195293 |        1   192308     36 |  0.111 % |
514.80/514.81	c |   3216278 |     899    60192   195293 |        1   215094     38 |  0.111 % |
514.80/514.81	c |   3216941 |     899    60192   195293 |        1   215757     38 |  0.111 % |
514.80/514.81	c |   3221158 |     899    60192   195293 |        1   219974     38 |  0.111 % |
514.80/514.81	c |   3223672 |     899    60192   195293 |        1   222488     38 |  0.111 % |
557.39/557.44	c |   3223773 |     899    60192   195293 |        1   222589     38 |  0.111 % |
557.39/557.44	c |   3231748 |     899    60192   195293 |        1   230564     38 |  0.111 % |
557.39/557.44	c |   3232838 |     899    60192   195293 |        1   231654     38 |  0.111 % |
557.39/557.44	c |   3241759 |     899    60192   195293 |        1   240575     39 |  0.111 % |
557.39/557.44	c |   3241859 |     899    60192   195293 |        1   240675     39 |  0.111 % |
557.39/557.44	c |   3249907 |     899    60192   195293 |        1   248723     39 |  0.111 % |
557.39/557.44	c |   3257800 |     899    60192   195293 |        1   130414     27 |  0.111 % |
557.39/557.44	c |   3261018 |     899    60192   195293 |        1   133632     28 |  0.111 % |
557.39/557.44	c |   3261118 |     899    60192   195293 |        1   133732     28 |  0.111 % |
557.39/557.44	c |   3261282 |     899    60192   195293 |        1   133896     28 |  0.111 % |
557.39/557.44	c |   3263060 |     899    60192   195293 |        1   135674     28 |  0.111 % |
557.39/557.44	c |   3264811 |     899    60192   195293 |        1   137425     28 |  0.111 % |
557.39/557.44	c |   3311464 |     899    60192   195293 |        1   184078     36 |  0.111 % |
557.39/557.44	c |   3312897 |     899    60192   195293 |        1   185511     36 |  0.111 % |
557.39/557.44	c |   3313000 |     899    60192   195293 |        1   185614     36 |  0.111 % |
557.39/557.44	c |   3313100 |     899    60192   195293 |        1   185714     36 |  0.111 % |
557.39/557.44	c |   3319048 |     899    60192   195293 |        1   191662     36 |  0.111 % |
557.39/557.44	c |   3323965 |     899    60192   195293 |        1   196579     37 |  0.111 % |
557.39/557.44	c |   3329141 |     899    60192   195293 |        1   201755     37 |  0.111 % |
557.39/557.44	c |   3332138 |     899    60192   195293 |        1   204752     37 |  0.111 % |
557.39/557.44	c |   3332239 |     899    60192   195293 |        1   204853     37 |  0.111 % |
557.39/557.44	c |   3334468 |     899    60192   195293 |        1   207082     37 |  0.111 % |
557.39/557.44	c |   3335676 |     899    60192   195293 |        1   208290     37 |  0.111 % |
557.39/557.44	c |   3341740 |     899    60192   195293 |        1   214354     38 |  0.111 % |
557.39/557.44	c |   3352356 |     899    60192   195293 |        1   224970     38 |  0.111 % |
557.39/557.44	c |   3353420 |     899    60192   195293 |        1   226034     38 |  0.111 % |
557.39/557.44	c |   3355472 |     899    60192   195293 |        1   228086     39 |  0.111 % |
557.39/557.44	c |   3355900 |     899    60192   195293 |        1   228514     39 |  0.111 % |
557.39/557.44	c |   3358669 |     899    60192   195293 |        1   231283     39 |  0.111 % |
557.39/557.44	c |   3359079 |     899    60192   195293 |        1   231693     39 |  0.111 % |
557.39/557.44	c |   3360141 |     899    60192   195293 |        1   232755     39 |  0.111 % |
557.39/557.44	c |   3369920 |     899    60192   195293 |        1   242534     39 |  0.111 % |
557.39/557.44	c |   3370059 |     899    60192   195293 |        1   242673     39 |  0.111 % |
557.39/557.44	c |   3375060 |     899    60192   195293 |        1   247674     40 |  0.111 % |
557.39/557.44	c |   3388092 |     899    60192   195293 |        1   131912     27 |  0.111 % |
557.39/557.44	c |   3388195 |     899    60192   195293 |        1   132015     27 |  0.111 % |
557.39/557.44	c |   3396217 |     899    60192   195293 |        1   140037     29 |  0.111 % |
557.39/557.44	c |   3396611 |     899    60192   195293 |        1   140431     29 |  0.111 % |
557.39/557.44	c |   3396711 |     899    60192   195293 |        1   140531     29 |  0.111 % |
557.39/557.44	c |   3396859 |     899    60192   195293 |        1   140679     29 |  0.111 % |
557.39/557.44	c |   3397661 |     899    60192   195293 |        1   141481     29 |  0.111 % |
557.39/557.44	c |   3410604 |     899    60192   195293 |        1   154424     31 |  0.111 % |
557.39/557.44	c |   3413978 |     899    60192   195293 |        1   157798     32 |  0.111 % |
557.39/557.44	c |   3417256 |     899    60192   195293 |        1   161076     32 |  0.111 % |
557.39/557.44	c |   3419582 |     899    60192   195293 |        1   163402     33 |  0.111 % |
557.39/557.44	c |   3422951 |     899    60192   195293 |        1   166771     33 |  0.111 % |
557.39/557.44	c |   3423108 |     899    60192   195293 |        1   166928     33 |  0.111 % |
557.39/557.44	c |   3423324 |     899    60192   195293 |        1   167144     33 |  0.111 % |
557.39/557.44	c |   3425508 |     899    60192   195293 |        1   169328     33 |  0.111 % |
557.39/557.44	c |   3437381 |     899    60192   195293 |        1   181201     35 |  0.111 % |
605.10/605.13	c |   3438139 |     899    60192   195293 |        1   181959     35 |  0.111 % |
605.10/605.13	c |   3446544 |     899    60192   195293 |        1   190364     36 |  0.111 % |
605.10/605.13	c |   3451086 |     899    60192   195293 |        1   194906     36 |  0.111 % |
605.10/605.13	c |   3459968 |     899    60192   195293 |        1   203788     37 |  0.111 % |
605.10/605.13	c |   3460068 |     899    60192   195293 |        1   203888     37 |  0.111 % |
605.10/605.13	c |   3460169 |     899    60192   195293 |        1   203989     37 |  0.111 % |
605.10/605.13	c |   3483746 |     899    60192   195293 |        1   227566     39 |  0.111 % |
605.10/605.13	c |   3487441 |     899    60192   195293 |        1   231261     39 |  0.111 % |
605.10/605.13	c |   3487552 |     899    60192   195293 |        1   231372     39 |  0.111 % |
605.10/605.13	c |   3487652 |     899    60192   195293 |        1   231472     39 |  0.111 % |
605.10/605.13	c |   3487752 |     899    60192   195293 |        1   231572     39 |  0.111 % |
605.10/605.13	c |   3488015 |     899    60192   195293 |        1   231835     39 |  0.111 % |
605.10/605.13	c |   3488274 |     899    60192   195293 |        1   232094     39 |  0.111 % |
605.10/605.13	c |   3488374 |     899    60192   195293 |        1   232194     39 |  0.111 % |
605.10/605.13	c |   3494425 |     899    60192   195293 |        1   238245     40 |  0.111 % |
605.10/605.13	c |   3495789 |     899    60192   195293 |        1   239609     40 |  0.111 % |
605.10/605.13	c |   3501997 |     899    60192   195293 |        1   245817     40 |  0.111 % |
605.10/605.13	c |   3502100 |     899    60192   195293 |        1   245920     40 |  0.111 % |
605.10/605.13	c |   3502317 |     899    60192   195293 |        1   246137     40 |  0.111 % |
605.10/605.13	c |   3502422 |     899    60192   195293 |        1   246242     40 |  0.111 % |
605.10/605.13	c |   3504678 |     899    60192   195293 |        1   248498     40 |  0.111 % |
605.10/605.13	c |   3504780 |     899    60192   195293 |        1   248600     40 |  0.111 % |
605.10/605.13	c |   3508054 |     899    60192   195293 |        1   251874     40 |  0.111 % |
605.10/605.13	c |   3514135 |     899    60192   195293 |        1   257955     41 |  0.111 % |
605.10/605.13	c |   3529135 |     899    60192   195293 |        1   141555     28 |  0.111 % |
605.10/605.13	c |   3530631 |     899    60192   195293 |        1   143051     29 |  0.111 % |
605.10/605.13	c |   3530743 |     899    60192   195293 |        1   143163     29 |  0.111 % |
605.10/605.13	c |   3537153 |     899    60192   195293 |        1   149573     30 |  0.111 % |
605.10/605.13	c |   3538091 |     899    60192   195293 |        1   150511     30 |  0.111 % |
605.10/605.13	c |   3571936 |     899    60192   195293 |        1   184356     34 |  0.111 % |
605.10/605.13	c |   3574289 |     899    60192   195293 |        1   186709     34 |  0.111 % |
605.10/605.13	c |   3574944 |     899    60192   195293 |        1   187364     34 |  0.111 % |
605.10/605.13	c |   3575160 |     899    60192   195293 |        1   187580     34 |  0.111 % |
605.10/605.13	c |   3575263 |     899    60192   195293 |        1   187683     34 |  0.111 % |
605.10/605.13	c |   3575363 |     899    60192   195293 |        1   187783     34 |  0.111 % |
605.10/605.13	c |   3583734 |     899    60192   195293 |        1   196154     35 |  0.111 % |
605.10/605.13	c |   3624943 |     899    60192   195293 |        1   237363     37 |  0.111 % |
605.10/605.13	c |   3635338 |     899    60192   195293 |        1   247758     38 |  0.111 % |
605.10/605.13	c |   3635438 |     899    60192   195293 |        1   247858     38 |  0.111 % |
605.10/605.13	c |   3635639 |     899    60192   195293 |        1   248059     38 |  0.111 % |
605.10/605.13	c |   3641540 |     899    60192   195293 |        1   253960     39 |  0.111 % |
605.10/605.13	c |   3641746 |     899    60192   195293 |        1   254166     39 |  0.111 % |
605.10/605.13	c |   3642841 |     899    60192   195293 |        1   255261     39 |  0.111 % |
605.10/605.13	c |   3646017 |     899    60192   195293 |        1   258437     39 |  0.111 % |
605.10/605.13	c |   3648105 |     899    60192   195293 |        1   260525     39 |  0.111 % |
605.10/605.13	c |   3652105 |     899    60192   195293 |        1   264525     39 |  0.111 % |
605.10/605.13	c |   3652277 |     899    60192   195293 |        1   264697     39 |  0.111 % |
605.10/605.13	c |   3653877 |     899    60192   195293 |        1   266297     39 |  0.111 % |
605.10/605.13	c |   3653978 |     899    60192   195293 |        1   266398     39 |  0.111 % |
605.10/605.13	c |   3658886 |     899    60192   195293 |        1   137302     27 |  0.111 % |
656.79/656.80	c |   3662304 |     899    60192   195293 |        1   140720     28 |  0.111 % |
656.79/656.80	c |   3671374 |     899    60192   195293 |        1   149790     29 |  0.111 % |
656.79/656.80	c |   3672440 |     899    60192   195293 |        1   150856     30 |  0.111 % |
656.79/656.80	c |   3675706 |     899    60192   195293 |        1   154122     30 |  0.111 % |
656.79/656.80	c |   3680881 |     899    60192   195293 |        1   159297     31 |  0.111 % |
656.79/656.80	c |   3683665 |     899    60192   195293 |        1   162081     31 |  0.111 % |
656.79/656.80	c |   3685292 |     899    60192   195293 |        1   163708     31 |  0.111 % |
656.79/656.80	c |   3685394 |     899    60192   195293 |        1   163810     31 |  0.111 % |
656.79/656.80	c |   3688123 |     899    60192   195293 |        1   166539     32 |  0.111 % |
656.79/656.80	c |   3688223 |     899    60192   195293 |        1   166639     32 |  0.111 % |
656.79/656.80	c |   3689492 |     899    60192   195293 |        1   167908     32 |  0.111 % |
656.79/656.80	c |   3697361 |     899    60192   195293 |        1   175777     33 |  0.111 % |
656.79/656.80	c |   3697461 |     899    60192   195293 |        1   175877     33 |  0.111 % |
656.79/656.80	c |   3711287 |     899    60192   195293 |        1   189703     34 |  0.111 % |
656.79/656.80	c |   3746578 |     899    60192   195293 |        1   224994     37 |  0.111 % |
656.79/656.80	c |   3746678 |     899    60192   195293 |        1   225094     37 |  0.111 % |
656.79/656.80	c |   3746778 |     899    60192   195293 |        1   225194     37 |  0.111 % |
656.79/656.80	c |   3749863 |     899    60192   195293 |        1   228279     37 |  0.111 % |
656.79/656.80	c |   3772343 |     899    60192   195293 |        1   250759     38 |  0.111 % |
656.79/656.80	c |   3772810 |     899    60192   195293 |        1   251226     38 |  0.111 % |
656.79/656.80	c |   3774715 |     899    60192   195293 |        1   253131     38 |  0.111 % |
656.79/656.80	c |   3779525 |     899    60192   195293 |        1   257941     39 |  0.111 % |
656.79/656.80	c |   3781654 |     899    60192   195293 |        1   260070     39 |  0.111 % |
656.79/656.80	c |   3784342 |     899    60192   195293 |        1   262758     39 |  0.111 % |
656.79/656.80	c |   3784532 |     899    60192   195293 |        1   262948     39 |  0.111 % |
656.79/656.80	c |   3787151 |     899    60192   195293 |        1   265567     39 |  0.111 % |
656.79/656.80	c |   3787470 |     899    60192   195293 |        1   265886     39 |  0.111 % |
656.79/656.80	c |   3795198 |     899    60192   195293 |        1   137013     26 |  0.111 % |
656.79/656.80	c |   3797316 |     899    60192   195293 |        1   139131     27 |  0.111 % |
656.79/656.80	c |   3805580 |     899    60192   195293 |        1   147395     28 |  0.111 % |
656.79/656.80	c |   3805758 |     899    60192   195293 |        1   147573     28 |  0.111 % |
656.79/656.80	c |   3814723 |     899    60192   195293 |        1   156538     30 |  0.111 % |
656.79/656.80	c |   3817243 |     899    60192   195293 |        1   159058     30 |  0.111 % |
656.79/656.80	c |   3827141 |     899    60192   195293 |        1   168956     32 |  0.111 % |
656.79/656.80	c |   3827241 |     899    60192   195293 |        1   169056     32 |  0.111 % |
656.79/656.80	c |   3827512 |     899    60192   195293 |        1   169327     32 |  0.111 % |
656.79/656.80	c |   3827996 |     899    60192   195293 |        1   169811     32 |  0.111 % |
656.79/656.80	c |   3828195 |     899    60192   195293 |        1   170010     32 |  0.111 % |
656.79/656.80	c |   3828467 |     899    60192   195293 |        1   170282     32 |  0.111 % |
656.79/656.80	c |   3850638 |     899    60192   195293 |        1   192453     34 |  0.111 % |
656.79/656.80	c |   3859803 |     899    60192   195293 |        1   201618     35 |  0.111 % |
656.79/656.80	c |   3860100 |     899    60192   195293 |        1   201915     35 |  0.111 % |
656.79/656.80	c |   3869773 |     899    60192   195293 |        1   211588     36 |  0.111 % |
656.79/656.80	c |   3880861 |     899    60192   195293 |        1   222676     36 |  0.111 % |
656.79/656.80	c |   3881311 |     899    60192   195293 |        1   223126     36 |  0.111 % |
656.79/656.80	c |   3881413 |     899    60192   195293 |        1   223228     36 |  0.111 % |
656.79/656.80	c |   3885956 |     899    60192   195293 |        1   227771     37 |  0.111 % |
656.79/656.80	c |   3894778 |     899    60192   195293 |        1   236593     37 |  0.111 % |
656.79/656.80	c |   3895398 |     899    60192   195293 |        1   237213     37 |  0.111 % |
656.79/656.80	c |   3902611 |     899    60192   195293 |        1   244426     38 |  0.111 % |
693.40/693.47	c |   3904127 |     899    60192   195293 |        1   245942     38 |  0.111 % |
693.40/693.47	c |   3907562 |     899    60192   195293 |        1   249377     38 |  0.111 % |
693.40/693.47	c |   3907664 |     899    60192   195293 |        1   249479     38 |  0.111 % |
693.40/693.47	c |   3911786 |     899    60192   195293 |        1   253601     38 |  0.111 % |
693.40/693.47	c |   3915637 |     899    60192   195293 |        1   257452     39 |  0.111 % |
693.40/693.47	c |   3917188 |     899    60192   195293 |        1   259003     39 |  0.111 % |
693.40/693.47	c |   3919299 |     899    60192   195293 |        1   261114     39 |  0.111 % |
693.40/693.47	c |   3925063 |     899    60192   195293 |        1   266878     39 |  0.111 % |
693.40/693.47	c |   3936177 |     899    60192   195293 |        1   277992     40 |  0.111 % |
693.40/693.47	c |   3950478 |     899    60192   195293 |        1   153088     29 |  0.111 % |
693.40/693.47	c |   3951485 |     899    60192   195293 |        1   154095     29 |  0.111 % |
693.40/693.47	c |   3954264 |     899    60192   195293 |        1   156874     29 |  0.111 % |
693.40/693.47	c |   3954801 |     899    60192   195293 |        1   157411     30 |  0.111 % |
693.40/693.47	c |   3961521 |     899    60192   195293 |        1   164131     31 |  0.111 % |
693.40/693.47	c |   3968569 |     899    60192   195293 |        1   171179     31 |  0.111 % |
693.40/693.47	c |   3970166 |     899    60192   195293 |        1   172776     31 |  0.111 % |
693.40/693.47	c |   3971319 |     899    60192   195293 |        1   173929     31 |  0.111 % |
693.40/693.47	c |   3977185 |     899    60192   195293 |        1   179795     32 |  0.111 % |
693.40/693.47	c |   3990610 |     899    60192   195293 |        1   193220     34 |  0.111 % |
693.40/693.47	c |   3992235 |     899    60192   195293 |        1   194845     34 |  0.111 % |
693.40/693.47	c |   3994915 |     899    60192   195293 |        1   197525     34 |  0.111 % |
693.40/693.47	c |   3995015 |     899    60192   195293 |        1   197625     34 |  0.111 % |
693.40/693.47	c |   3995115 |     899    60192   195293 |        1   197725     34 |  0.111 % |
693.40/693.47	c |   3998687 |     899    60192   195293 |        1   201297     35 |  0.111 % |
693.40/693.47	c |   4009256 |     899    60192   195293 |        1   211866     36 |  0.111 % |
693.40/693.48	c |   4015571 |     899    60192   195293 |        1   218181     36 |  0.111 % |
693.40/693.48	c |   4015923 |     899    60192   195293 |        1   218533     36 |  0.111 % |
693.40/693.48	c |   4027419 |     899    60192   195293 |        1   230029     36 |  0.111 % |
693.40/693.48	c |   4027612 |     899    60192   195293 |        1   230222     37 |  0.111 % |
693.40/693.48	c |   4029097 |     899    60192   195293 |        1   231707     37 |  0.111 % |
693.40/693.48	c |   4029294 |     899    60192   195293 |        1   231904     37 |  0.111 % |
693.40/693.48	c |   4029397 |     899    60192   195293 |        1   232007     37 |  0.111 % |
693.40/693.48	c |   4029954 |     899    60192   195293 |        1   232564     37 |  0.111 % |
693.40/693.48	c |   4034774 |     899    60192   195293 |        1   237384     37 |  0.111 % |
693.40/693.48	c |   4038186 |     899    60192   195293 |        1   240796     37 |  0.111 % |
693.40/693.48	c |   4041409 |     899    60192   195293 |        1   244019     37 |  0.111 % |
693.40/693.48	c |   4042376 |     899    60192   195293 |        1   244986     37 |  0.111 % |
693.40/693.48	c |   4042565 |     899    60192   195293 |        1   245175     37 |  0.111 % |
693.40/693.48	c |   4043730 |     899    60192   195293 |        1   246340     37 |  0.111 % |
693.40/693.48	c |   4044933 |     899    60192   195293 |        1   247543     37 |  0.111 % |
693.40/693.48	c |   4045059 |     899    60192   195293 |        1   247669     37 |  0.111 % |
693.40/693.48	c |   4045268 |     899    60192   195293 |        1   247878     38 |  0.111 % |
693.40/693.48	c |   4052066 |     899    60192   195293 |        1   254676     38 |  0.111 % |
693.40/693.48	c |   4064707 |     899    60192   195293 |        1   267317     39 |  0.111 % |
693.40/693.48	c |   4068216 |     899    60192   195293 |        1   270826     39 |  0.111 % |
693.40/693.48	c |   4068317 |     899    60192   195293 |        1   270927     39 |  0.111 % |
693.40/693.48	c |   4069965 |     899    60192   195293 |        1   272575     39 |  0.111 % |
693.40/693.48	c |   4071010 |     899    60192   195293 |        1   273620     39 |  0.111 % |
693.40/693.48	c |   4071172 |     899    60192   195293 |        1   273782     39 |  0.111 % |
693.40/693.48	c |   4071272 |     899    60192   195293 |        1   273882     39 |  0.111 % |
740.90/740.93	c |   4072106 |     899    60192   195293 |        1   274716     39 |  0.111 % |
740.90/740.93	c |   4072796 |     899    60192   195293 |        1   275406     39 |  0.111 % |
740.90/740.93	c |   4076898 |     899    60192   195293 |        1   279508     39 |  0.111 % |
740.90/740.93	c |   4089995 |     899    60192   195293 |        1   150810     27 |  0.111 % |
740.90/740.93	c |   4090095 |     899    60192   195293 |        1   150910     27 |  0.111 % |
740.90/740.93	c |   4101798 |     899    60192   195293 |        1   162613     29 |  0.111 % |
740.90/740.93	c |   4101899 |     899    60192   195293 |        1   162714     29 |  0.111 % |
740.90/740.93	c |   4102967 |     899    60192   195293 |        1   163782     29 |  0.111 % |
740.90/740.93	c |   4103076 |     899    60192   195293 |        1   163891     29 |  0.111 % |
740.90/740.93	c |   4104799 |     899    60192   195293 |        1   165614     30 |  0.111 % |
740.90/740.93	c |   4104900 |     899    60192   195293 |        1   165715     30 |  0.111 % |
740.90/740.93	c |   4116158 |     899    60192   195293 |        1   176973     31 |  0.111 % |
740.90/740.93	c |   4133478 |     899    60192   195293 |        1   194293     33 |  0.111 % |
740.90/740.93	c |   4136273 |     899    60192   195293 |        1   197088     33 |  0.111 % |
740.90/740.93	c |   4139087 |     899    60192   195293 |        1   199902     33 |  0.111 % |
740.90/740.93	c |   4142993 |     899    60192   195293 |        1   203808     34 |  0.111 % |
740.90/740.93	c |   4145858 |     899    60192   195293 |        1   206673     34 |  0.111 % |
740.90/740.93	c |   4147318 |     899    60192   195293 |        1   208133     34 |  0.111 % |
740.90/740.93	c |   4162024 |     899    60192   195293 |        1   222839     35 |  0.111 % |
740.90/740.93	c |   4163940 |     899    60192   195293 |        1   224755     35 |  0.111 % |
740.90/740.93	c |   4170457 |     899    60192   195293 |        1   231272     35 |  0.111 % |
740.90/740.93	c |   4170687 |     899    60192   195293 |        1   231502     35 |  0.111 % |
740.90/740.93	c |   4171321 |     899    60192   195293 |        1   232136     35 |  0.111 % |
740.90/740.93	c |   4172768 |     899    60192   195293 |        1   233583     35 |  0.111 % |
740.90/740.93	c |   4178815 |     899    60192   195293 |        1   239630     36 |  0.111 % |
740.90/740.93	c |   4187999 |     899    60192   195293 |        1   248814     36 |  0.111 % |
740.90/740.93	c |   4190053 |     899    60192   195293 |        1   250868     37 |  0.111 % |
740.90/740.93	c |   4212675 |     899    60192   195293 |        1   273490     38 |  0.111 % |
740.90/740.93	c |   4212956 |     899    60192   195293 |        1   273771     38 |  0.111 % |
740.90/740.93	c |   4213406 |     899    60192   195293 |        1   274221     38 |  0.111 % |
740.90/740.93	c |   4213593 |     899    60192   195293 |        1   274408     38 |  0.111 % |
740.90/740.93	c |   4217759 |     899    60192   195293 |        1   278574     38 |  0.111 % |
740.90/740.93	c |   4224839 |     899    60192   195293 |        1   285654     38 |  0.111 % |
740.90/740.93	c |   4224939 |     899    60192   195293 |        1   285754     38 |  0.111 % |
740.90/740.93	c |   4225914 |     899    60192   195293 |        1   286729     38 |  0.111 % |
740.90/740.93	c |   4226015 |     899    60192   195293 |        1   286830     38 |  0.111 % |
740.90/740.93	c |   4228099 |     899    60192   195293 |        1   144515     26 |  0.111 % |
740.90/740.93	c |   4230050 |     899    60192   195293 |        1   146466     26 |  0.111 % |
740.90/740.93	c |   4234245 |     899    60192   195293 |        1   150661     27 |  0.111 % |
740.90/740.93	c |   4241509 |     899    60192   195293 |        1   157925     28 |  0.111 % |
740.90/740.93	c |   4266056 |     899    60192   195293 |        1   182472     32 |  0.111 % |
740.90/740.93	c |   4266764 |     899    60192   195293 |        1   183180     32 |  0.111 % |
740.90/740.93	c |   4269966 |     899    60192   195293 |        1   186382     33 |  0.111 % |
740.90/740.93	c |   4271480 |     899    60192   195293 |        1   187896     33 |  0.111 % |
740.90/740.93	c |   4271972 |     899    60192   195293 |        1   188388     33 |  0.111 % |
740.90/740.93	c |   4273795 |     899    60192   195293 |        1   190211     33 |  0.111 % |
740.90/740.93	c |   4278076 |     899    60192   195293 |        1   194492     33 |  0.111 % |
740.90/740.93	c |   4290056 |     899    60192   195293 |        1   206472     34 |  0.111 % |
740.90/740.93	c |   4290562 |     899    60192   195293 |        1   206978     34 |  0.111 % |
740.90/740.93	c |   4291827 |     899    60192   195293 |        1   208243     34 |  0.111 % |
788.20/788.22	c |   4299891 |     899    60192   195293 |        1   216307     35 |  0.111 % |
788.20/788.22	c |   4310638 |     899    60192   195293 |        1   227054     35 |  0.111 % |
788.20/788.22	c |   4321688 |     899    60192   195293 |        1   238104     36 |  0.111 % |
788.20/788.22	c |   4321965 |     899    60192   195293 |        1   238381     36 |  0.111 % |
788.20/788.22	c |   4322728 |     899    60192   195293 |        1   239144     36 |  0.111 % |
788.20/788.22	c |   4322979 |     899    60192   195293 |        1   239395     36 |  0.111 % |
788.20/788.22	c |   4323079 |     899    60192   195293 |        1   239495     36 |  0.111 % |
788.20/788.22	c |   4323310 |     899    60192   195293 |        1   239726     36 |  0.111 % |
788.20/788.22	c |   4329251 |     899    60192   195293 |        1   245667     37 |  0.111 % |
788.20/788.22	c |   4333473 |     899    60192   195293 |        1   249889     37 |  0.111 % |
788.20/788.22	c |   4338338 |     899    60192   195293 |        1   254754     37 |  0.111 % |
788.20/788.22	c |   4340530 |     899    60192   195293 |        1   256946     37 |  0.111 % |
788.20/788.22	c |   4343698 |     899    60192   195293 |        1   260114     37 |  0.111 % |
788.20/788.22	c |   4346272 |     899    60192   195293 |        1   262688     38 |  0.111 % |
788.20/788.22	c |   4363147 |     899    60192   195293 |        1   279563     38 |  0.111 % |
788.20/788.22	c |   4380985 |     899    60192   195293 |        1   150400     26 |  0.111 % |
788.20/788.22	c |   4383692 |     899    60192   195293 |        1   153107     26 |  0.111 % |
788.20/788.22	c |   4386560 |     899    60192   195293 |        1   155975     27 |  0.111 % |
788.20/788.22	c |   4388698 |     899    60192   195293 |        1   158113     27 |  0.111 % |
788.20/788.22	c |   4389110 |     899    60192   195293 |        1   158525     27 |  0.111 % |
788.20/788.22	c |   4389777 |     899    60192   195293 |        1   159192     27 |  0.111 % |
788.20/788.22	c |   4389878 |     899    60192   195293 |        1   159293     28 |  0.111 % |
788.20/788.22	c |   4392665 |     899    60192   195293 |        1   162080     28 |  0.111 % |
788.20/788.22	c |   4394221 |     899    60192   195293 |        1   163636     28 |  0.111 % |
788.20/788.22	c |   4396876 |     899    60192   195293 |        1   166291     29 |  0.111 % |
788.20/788.22	c |   4400452 |     899    60192   195293 |        1   169867     29 |  0.111 % |
788.20/788.22	c |   4408789 |     899    60192   195293 |        1   178204     31 |  0.111 % |
788.20/788.22	c |   4409217 |     899    60192   195293 |        1   178632     31 |  0.111 % |
788.20/788.22	c |   4427765 |     899    60192   195293 |        1   197180     33 |  0.111 % |
788.20/788.22	c |   4438150 |     899    60192   195293 |        1   207565     34 |  0.111 % |
788.20/788.22	c |   4451766 |     899    60192   195293 |        1   221181     34 |  0.111 % |
788.20/788.22	c |   4455642 |     899    60192   195293 |        1   225057     35 |  0.111 % |
788.20/788.22	c |   4463788 |     899    60192   195293 |        1   233203     35 |  0.111 % |
788.20/788.22	c |   4464786 |     899    60192   195293 |        1   234201     35 |  0.111 % |
788.20/788.22	c |   4466455 |     899    60192   195293 |        1   235870     36 |  0.111 % |
788.20/788.22	c |   4466854 |     899    60192   195293 |        1   236269     36 |  0.111 % |
788.20/788.22	c |   4469174 |     899    60192   195293 |        1   238589     36 |  0.111 % |
788.20/788.22	c |   4469276 |     899    60192   195293 |        1   238691     36 |  0.111 % |
788.20/788.22	c |   4471787 |     899    60192   195293 |        1   241202     36 |  0.111 % |
788.20/788.22	c |   4472001 |     899    60192   195293 |        1   241416     36 |  0.111 % |
788.20/788.22	c |   4478587 |     899    60192   195293 |        1   248002     37 |  0.111 % |
788.20/788.22	c |   4479601 |     899    60192   195293 |        1   249016     37 |  0.111 % |
788.20/788.22	c |   4479780 |     899    60192   195293 |        1   249195     37 |  0.111 % |
788.20/788.22	c |   4487954 |     899    60192   195293 |        1   257369     37 |  0.111 % |
788.20/788.22	c |   4488058 |     899    60192   195293 |        1   257473     37 |  0.111 % |
788.20/788.22	c |   4489470 |     899    60192   195293 |        1   258885     37 |  0.111 % |
788.20/788.22	c |   4489580 |     899    60192   195293 |        1   258995     37 |  0.111 % |
788.20/788.22	c |   4490847 |     899    60192   195293 |        1   260262     37 |  0.111 % |
788.20/788.22	c |   4494958 |     899    60192   195293 |        1   264373     38 |  0.111 % |
788.20/788.22	c |   4497890 |     899    60192   195293 |        1   267305     38 |  0.111 % |
821.30/821.31	c |   4498485 |     899    60192   195293 |        1   267900     38 |  0.111 % |
821.30/821.31	c |   4498586 |     899    60192   195293 |        1   268001     38 |  0.111 % |
821.30/821.31	c |   4503153 |     899    60192   195293 |        1   272568     38 |  0.111 % |
821.30/821.31	c |   4517658 |     899    60192   195293 |        1   287073     39 |  0.111 % |
821.30/821.31	c |   4520052 |     899    60192   195293 |        1   289467     39 |  0.111 % |
821.30/821.31	c |   4522967 |     899    60192   195293 |        1   292382     39 |  0.111 % |
821.30/821.31	c |   4524351 |     899    60192   195293 |        1   293766     39 |  0.111 % |
821.30/821.31	c |   4524501 |     899    60192   195293 |        1   293916     39 |  0.111 % |
821.30/821.31	c |   4527031 |     899    60192   195293 |        1   296446     39 |  0.111 % |
821.30/821.31	c |   4529973 |     899    60192   195293 |        1   149793     26 |  0.111 % |
821.30/821.31	c |   4534801 |     899    60192   195293 |        1   154621     27 |  0.111 % |
821.30/821.31	c |   4536941 |     899    60192   195293 |        1   156761     27 |  0.111 % |
821.30/821.31	c |   4537919 |     899    60192   195293 |        1   157739     27 |  0.111 % |
821.30/821.31	c |   4538021 |     899    60192   195293 |        1   157841     27 |  0.111 % |
821.30/821.31	c |   4538862 |     899    60192   195293 |        1   158682     27 |  0.111 % |
821.30/821.31	c |   4544831 |     899    60192   195293 |        1   164651     29 |  0.111 % |
821.30/821.31	c |   4544933 |     899    60192   195293 |        1   164753     29 |  0.111 % |
821.30/821.31	c |   4547363 |     899    60192   195293 |        1   167183     29 |  0.111 % |
821.30/821.31	c |   4547463 |     899    60192   195293 |        1   167283     29 |  0.111 % |
821.30/821.31	c |   4547902 |     899    60192   195293 |        1   167722     29 |  0.111 % |
821.30/821.31	c |   4554020 |     899    60192   195293 |        1   173840     30 |  0.111 % |
821.30/821.31	c |   4554712 |     899    60192   195293 |        1   174532     30 |  0.111 % |
821.30/821.31	c |   4561335 |     899    60192   195293 |        1   181155     31 |  0.111 % |
821.30/821.31	c |   4565261 |     899    60192   195293 |        1   185081     31 |  0.111 % |
821.30/821.31	c |   4566570 |     899    60192   195293 |        1   186390     31 |  0.111 % |
821.30/821.31	c |   4583399 |     899    60192   195293 |        1   203219     33 |  0.111 % |
821.30/821.31	c |   4583767 |     899    60192   195293 |        1   203587     33 |  0.111 % |
821.30/821.31	c |   4583870 |     899    60192   195293 |        1   203690     33 |  0.111 % |
821.30/821.31	c |   4586291 |     899    60192   195293 |        1   206111     33 |  0.111 % |
821.30/821.31	c |   4587835 |     899    60192   195293 |        1   207655     33 |  0.111 % |
821.30/821.31	c |   4592299 |     899    60192   195293 |        1   212119     34 |  0.111 % |
821.30/821.31	c |   4592504 |     899    60192   195293 |        1   212324     34 |  0.111 % |
821.30/821.31	c |   4603302 |     899    60192   195293 |        1   223122     35 |  0.111 % |
821.30/821.31	c |   4605859 |     899    60192   195293 |        1   225679     36 |  0.111 % |
821.30/821.31	c |   4606103 |     899    60192   195293 |        1   225923     36 |  0.111 % |
821.30/821.31	c |   4610575 |     899    60192   195293 |        1   230395     36 |  0.111 % |
821.30/821.31	c |   4617372 |     899    60192   195293 |        1   237192     37 |  0.111 % |
821.30/821.31	c |   4621151 |     899    60192   195293 |        1   240971     37 |  0.111 % |
821.30/821.31	c |   4621252 |     899    60192   195293 |        1   241072     37 |  0.111 % |
821.30/821.31	c |   4621912 |     899    60192   195293 |        1   241732     37 |  0.111 % |
821.30/821.31	c |   4622239 |     899    60192   195293 |        1   242059     37 |  0.111 % |
821.30/821.31	c |   4626739 |     899    60192   195293 |        1   246559     37 |  0.111 % |
821.30/821.31	c |   4631814 |     899    60192   195293 |        1   251634     37 |  0.111 % |
821.30/821.31	c |   4632248 |     899    60192   195293 |        1   252068     38 |  0.111 % |
821.30/821.31	c |   4633031 |     899    60192   195293 |        1   252851     38 |  0.111 % |
821.30/821.31	c |   4634380 |     899    60192   195293 |        1   254200     38 |  0.111 % |
821.30/821.31	c |   4640801 |     899    60192   195293 |        1   260621     38 |  0.111 % |
821.30/821.31	c |   4643843 |     899    60192   195293 |        1   263663     38 |  0.111 % |
821.30/821.31	c |   4645140 |     899    60192   195293 |        1   264960     38 |  0.111 % |
821.30/821.31	c |   4646519 |     899    60192   195293 |        1   266339     39 |  0.111 % |
871.50/871.52	c |   4646856 |     899    60192   195293 |        1   266676     39 |  0.111 % |
871.50/871.52	c |   4646991 |     899    60192   195293 |        1   266811     39 |  0.111 % |
871.50/871.52	c |   4650694 |     899    60192   195293 |        1   270514     39 |  0.111 % |
871.50/871.52	c |   4650794 |     899    60192   195293 |        1   270614     39 |  0.111 % |
871.50/871.52	c |   4656420 |     899    60192   195293 |        1   276240     39 |  0.111 % |
871.50/871.52	c |   4664028 |     899    60192   195293 |        1   283848     39 |  0.111 % |
871.50/871.52	c |   4664578 |     899    60192   195293 |        1   284398     39 |  0.111 % |
871.50/871.52	c |   4665994 |     899    60192   195293 |        1   285814     39 |  0.111 % |
871.50/871.52	c |   4673246 |     899    60192   195293 |        1   293066     40 |  0.111 % |
871.50/871.52	c |   4673451 |     899    60192   195293 |        1   293271     40 |  0.111 % |
871.50/871.52	c |   4673552 |     899    60192   195293 |        1   293372     40 |  0.111 % |
871.50/871.52	c |   4673653 |     899    60192   195293 |        1   293473     40 |  0.111 % |
871.50/871.52	c |   4673753 |     899    60192   195293 |        1   293573     40 |  0.111 % |
871.50/871.52	c |   4677938 |     899    60192   195293 |        1   297758     40 |  0.111 % |
871.50/871.52	c |   4683959 |     899    60192   195293 |        1   303779     40 |  0.111 % |
871.50/871.52	c |   4686002 |     899    60192   195293 |        1   153622     26 |  0.111 % |
871.50/871.52	c |   4688327 |     899    60192   195293 |        1   155947     27 |  0.111 % |
871.50/871.52	c |   4689811 |     899    60192   195293 |        1   157431     27 |  0.111 % |
871.50/871.52	c |   4706095 |     899    60192   195293 |        1   173715     29 |  0.111 % |
871.50/871.52	c |   4706893 |     899    60192   195293 |        1   174513     29 |  0.111 % |
871.50/871.52	c |   4711915 |     899    60192   195293 |        1   179535     30 |  0.111 % |
871.50/871.52	c |   4720139 |     899    60192   195293 |        1   187759     31 |  0.111 % |
871.50/871.52	c |   4725082 |     899    60192   195293 |        1   192702     31 |  0.111 % |
871.50/871.52	c |   4737535 |     899    60192   195293 |        1   205155     32 |  0.111 % |
871.50/871.52	c |   4743117 |     899    60192   195293 |        1   210737     33 |  0.111 % |
871.50/871.52	c |   4743833 |     899    60192   195293 |        1   211453     33 |  0.111 % |
871.50/871.52	c |   4790517 |     899    60192   195293 |        1   258137     35 |  0.111 % |
871.50/871.52	c |   4798624 |     899    60192   195293 |        1   266244     36 |  0.111 % |
871.50/871.52	c |   4806436 |     899    60192   195293 |        1   274056     36 |  0.111 % |
871.50/871.52	c |   4806940 |     899    60192   195293 |        1   274560     36 |  0.111 % |
871.50/871.52	c |   4810773 |     899    60192   195293 |        1   278393     36 |  0.111 % |
871.50/871.52	c |   4810947 |     899    60192   195293 |        1   278567     36 |  0.111 % |
871.50/871.52	c |   4811047 |     899    60192   195293 |        1   278667     36 |  0.111 % |
871.50/871.52	c |   4814789 |     899    60192   195293 |        1   282409     37 |  0.111 % |
871.50/871.52	c |   4815801 |     899    60192   195293 |        1   283421     37 |  0.111 % |
871.50/871.52	c |   4820568 |     899    60192   195293 |        1   288188     37 |  0.111 % |
871.50/871.52	c |   4821287 |     899    60192   195293 |        1   288907     37 |  0.111 % |
871.50/871.52	c |   4827758 |     899    60192   195293 |        1   295378     37 |  0.111 % |
871.50/871.52	c |   4832750 |     899    60192   195293 |        1   300370     38 |  0.111 % |
871.50/871.52	c |   4834734 |     899    60192   195293 |        1   302354     38 |  0.111 % |
871.50/871.52	c |   4836850 |     899    60192   195293 |        1   304470     38 |  0.111 % |
871.50/871.52	c |   4837271 |     899    60192   195293 |        1   304891     38 |  0.111 % |
871.50/871.52	c |   4838615 |     899    60192   195293 |        1   306235     38 |  0.111 % |
871.50/871.52	c |   4838719 |     899    60192   195293 |        1   306339     38 |  0.111 % |
871.50/871.52	c |   4838820 |     899    60192   195293 |        1   306440     38 |  0.111 % |
871.50/871.52	c |   4838923 |     899    60192   195293 |        1   306543     38 |  0.111 % |
871.50/871.52	c |   4839087 |     899    60192   195293 |        1   306707     38 |  0.111 % |
871.50/871.52	c |   4842889 |     899    60192   195293 |        1   155708     25 |  0.111 % |
871.50/871.52	c |   4852055 |     899    60192   195293 |        1   164874     27 |  0.111 % |
871.50/871.52	c |   4854078 |     899    60192   195293 |        1   166897     27 |  0.111 % |
913.30/913.36	c |   4854550 |     899    60192   195293 |        1   167369     28 |  0.111 % |
913.30/913.36	c |   4855020 |     899    60192   195293 |        1   167839     28 |  0.111 % |
913.30/913.36	c |   4855121 |     899    60192   195293 |        1   167940     28 |  0.111 % |
913.30/913.36	c |   4856134 |     899    60192   195293 |        1   168953     28 |  0.111 % |
913.30/913.36	c |   4859788 |     899    60192   195293 |        1   172607     29 |  0.111 % |
913.30/913.36	c |   4859888 |     899    60192   195293 |        1   172707     29 |  0.111 % |
913.30/913.36	c |   4861233 |     899    60192   195293 |        1   174052     29 |  0.111 % |
913.30/913.36	c |   4861342 |     899    60192   195293 |        1   174161     29 |  0.111 % |
913.30/913.36	c |   4874151 |     899    60192   195293 |        1   186970     31 |  0.111 % |
913.30/913.36	c |   4887985 |     899    60192   195293 |        1   200804     32 |  0.111 % |
913.30/913.36	c |   4888085 |     899    60192   195293 |        1   200904     32 |  0.111 % |
913.30/913.36	c |   4891487 |     899    60192   195293 |        1   204306     32 |  0.111 % |
913.30/913.36	c |   4893466 |     899    60192   195293 |        1   206285     33 |  0.111 % |
913.30/913.36	c |   4893566 |     899    60192   195293 |        1   206385     33 |  0.111 % |
913.30/913.36	c |   4893667 |     899    60192   195293 |        1   206486     33 |  0.111 % |
913.30/913.36	c |   4894265 |     899    60192   195293 |        1   207084     33 |  0.111 % |
913.30/913.36	c |   4898501 |     899    60192   195293 |        1   211320     33 |  0.111 % |
913.30/913.36	c |   4898653 |     899    60192   195293 |        1   211472     33 |  0.111 % |
913.30/913.36	c |   4922861 |     899    60192   195293 |        1   235680     35 |  0.111 % |
913.30/913.36	c |   4929739 |     899    60192   195293 |        1   242558     35 |  0.111 % |
913.30/913.36	c |   4935263 |     899    60192   195293 |        1   248082     36 |  0.111 % |
913.30/913.36	c |   4935363 |     899    60192   195293 |        1   248182     36 |  0.111 % |
913.30/913.36	c |   4938979 |     899    60192   195293 |        1   251798     36 |  0.111 % |
913.30/913.36	c |   4958799 |     899    60192   195293 |        1   271618     37 |  0.111 % |
913.30/913.36	c |   4967221 |     899    60192   195293 |        1   280040     38 |  0.111 % |
913.30/913.36	c |   4967322 |     899    60192   195293 |        1   280141     38 |  0.111 % |
913.30/913.36	c |   4967424 |     899    60192   195293 |        1   280243     38 |  0.111 % |
913.30/913.36	c |   4979292 |     899    60192   195293 |        1   292111     38 |  0.111 % |
913.30/913.36	c |   4980543 |     899    60192   195293 |        1   293362     38 |  0.111 % |
913.30/913.36	c |   4984531 |     899    60192   195293 |        1   297350     38 |  0.111 % |
913.30/913.36	c |   4986663 |     899    60192   195293 |        1   299482     38 |  0.111 % |
913.30/913.36	c |   4988221 |     899    60192   195293 |        1   301040     38 |  0.111 % |
913.30/913.36	c |   4988489 |     899    60192   195293 |        1   301308     38 |  0.111 % |
913.30/913.36	c |   4991049 |     899    60192   195293 |        1   303868     39 |  0.111 % |
913.30/913.36	c |   4998018 |     899    60192   195293 |        1   310837     39 |  0.111 % |
913.30/913.36	c |   5000482 |     899    60192   195293 |        1   313301     39 |  0.111 % |
913.30/913.36	c |   5000588 |     899    60192   195293 |        1   313407     39 |  0.111 % |
913.30/913.36	c |   5002384 |     899    60192   195293 |        1   157803     25 |  0.111 % |
913.30/913.36	c |   5004032 |     899    60192   195293 |        1   159451     26 |  0.111 % |
913.30/913.36	c |   5005483 |     899    60192   195293 |        1   160902     26 |  0.111 % |
913.30/913.36	c |   5006436 |     899    60192   195293 |        1   161855     26 |  0.111 % |
913.30/913.36	c |   5007557 |     899    60192   195293 |        1   162976     26 |  0.111 % |
913.30/913.36	c |   5014484 |     899    60192   195293 |        1   169903     28 |  0.111 % |
913.30/913.36	c |   5017453 |     899    60192   195293 |        1   172872     28 |  0.111 % |
913.30/913.36	c |   5017675 |     899    60192   195293 |        1   173094     28 |  0.111 % |
913.30/913.36	c |   5018487 |     899    60192   195293 |        1   173906     28 |  0.111 % |
913.30/913.36	c |   5019499 |     899    60192   195293 |        1   174918     29 |  0.111 % |
913.30/913.36	c |   5019600 |     899    60192   195293 |        1   175019     29 |  0.111 % |
913.30/913.36	c |   5026053 |     899    60192   195293 |        1   181472     29 |  0.111 % |
913.30/913.36	c |   5026345 |     899    60192   195293 |        1   181764     30 |  0.111 % |
942.40/942.43	c |   5028829 |     899    60192   195293 |        1   184248     30 |  0.111 % |
942.40/942.43	c |   5028929 |     899    60192   195293 |        1   184348     30 |  0.111 % |
942.40/942.43	c |   5029170 |     899    60192   195293 |        1   184589     30 |  0.111 % |
942.40/942.43	c |   5030873 |     899    60192   195293 |        1   186292     30 |  0.111 % |
942.40/942.43	c |   5030973 |     899    60192   195293 |        1   186392     30 |  0.111 % |
942.40/942.43	c |   5031652 |     899    60192   195293 |        1   187071     30 |  0.111 % |
942.40/942.43	c |   5037515 |     899    60192   195293 |        1   192934     31 |  0.111 % |
942.40/942.43	c |   5037616 |     899    60192   195293 |        1   193035     31 |  0.111 % |
942.40/942.43	c |   5042079 |     899    60192   195293 |        1   197498     31 |  0.111 % |
942.40/942.43	c |   5043785 |     899    60192   195293 |        1   199204     32 |  0.111 % |
942.40/942.43	c |   5056970 |     899    60192   195293 |        1   212389     33 |  0.111 % |
942.40/942.43	c |   5062974 |     899    60192   195293 |        1   218393     34 |  0.111 % |
942.40/942.43	c |   5064261 |     899    60192   195293 |        1   219680     34 |  0.111 % |
942.40/942.43	c |   5066840 |     899    60192   195293 |        1   222259     34 |  0.111 % |
942.40/942.43	c |   5066943 |     899    60192   195293 |        1   222362     34 |  0.111 % |
942.40/942.43	c |   5070531 |     899    60192   195293 |        1   225950     34 |  0.111 % |
942.40/942.43	c |   5070632 |     899    60192   195293 |        1   226051     34 |  0.111 % |
942.40/942.43	c |   5071845 |     899    60192   195293 |        1   227264     35 |  0.111 % |
942.40/942.43	c |   5076823 |     899    60192   195293 |        1   232242     35 |  0.111 % |
942.40/942.43	c |   5079329 |     899    60192   195293 |        1   234748     35 |  0.111 % |
942.40/942.43	c |   5079430 |     899    60192   195293 |        1   234849     35 |  0.111 % |
942.40/942.43	c |   5083341 |     899    60192   195293 |        1   238760     35 |  0.111 % |
942.40/942.43	c |   5084391 |     899    60192   195293 |        1   239810     35 |  0.111 % |
942.40/942.43	c |   5084508 |     899    60192   195293 |        1   239927     35 |  0.111 % |
942.40/942.43	c |   5084608 |     899    60192   195293 |        1   240027     35 |  0.111 % |
942.40/942.43	c |   5085916 |     899    60192   195293 |        1   241335     36 |  0.111 % |
942.40/942.43	c |   5086455 |     899    60192   195293 |        1   241874     36 |  0.111 % |
942.40/942.43	c |   5088042 |     899    60192   195293 |        1   243461     36 |  0.111 % |
942.40/942.43	c |   5089809 |     899    60192   195293 |        1   245228     36 |  0.111 % |
942.40/942.43	c |   5089910 |     899    60192   195293 |        1   245329     36 |  0.111 % |
942.40/942.43	c |   5090188 |     899    60192   195293 |        1   245607     36 |  0.111 % |
942.40/942.43	c |   5105216 |     899    60192   195293 |        1   260635     37 |  0.111 % |
942.40/942.43	c |   5108245 |     899    60192   195293 |        1   263664     37 |  0.111 % |
942.40/942.43	c |   5108350 |     899    60192   195293 |        1   263769     37 |  0.111 % |
942.40/942.43	c |   5119215 |     899    60192   195293 |        1   274634     38 |  0.111 % |
942.40/942.43	c |   5119315 |     899    60192   195293 |        1   274734     38 |  0.111 % |
942.40/942.43	c |   5121047 |     899    60192   195293 |        1   276466     38 |  0.111 % |
942.40/942.43	c |   5125636 |     899    60192   195293 |        1   281055     39 |  0.111 % |
942.40/942.43	c |   5129286 |     899    60192   195293 |        1   284705     39 |  0.111 % |
942.40/942.43	c |   5129386 |     899    60192   195293 |        1   284805     39 |  0.111 % |
942.40/942.43	c |   5129503 |     899    60192   195293 |        1   284922     39 |  0.111 % |
942.40/942.43	c |   5138292 |     899    60192   195293 |        1   293711     39 |  0.111 % |
942.40/942.43	c |   5139331 |     899    60192   195293 |        1   294750     39 |  0.111 % |
942.40/942.43	c |   5140991 |     899    60192   195293 |        1   296410     39 |  0.111 % |
942.40/942.43	c |   5144563 |     899    60192   195293 |        1   299982     39 |  0.111 % |
942.40/942.43	c |   5145504 |     899    60192   195293 |        1   300923     39 |  0.111 % |
942.40/942.43	c |   5145866 |     899    60192   195293 |        1   301285     39 |  0.111 % |
942.40/942.43	c |   5145967 |     899    60192   195293 |        1   301386     39 |  0.111 % |
942.40/942.43	c |   5146874 |     899    60192   195293 |        1   302293     39 |  0.111 % |
942.40/942.43	c |   5148431 |     899    60192   195293 |        1   303850     40 |  0.111 % |
982.61/982.64	c |   5158195 |     899    60192   195293 |        1   313614     40 |  0.111 % |
982.61/982.64	c |   5158841 |     899    60192   195293 |        1   314260     40 |  0.111 % |
982.61/982.64	c |   5158942 |     899    60192   195293 |        1   314361     40 |  0.111 % |
982.61/982.64	c |   5159475 |     899    60192   195293 |        1   314894     40 |  0.111 % |
982.61/982.64	c |   5159826 |     899    60192   195293 |        1   315245     40 |  0.111 % |
982.61/982.64	c |   5159926 |     899    60192   195293 |        1   315345     40 |  0.111 % |
982.61/982.64	c |   5160344 |     899    60192   195293 |        1   315763     40 |  0.111 % |
982.61/982.64	c |   5163692 |     899    60192   195293 |        1   319111     40 |  0.111 % |
982.61/982.64	c |   5198199 |     899    60192   195293 |        1   193617     31 |  0.111 % |
982.61/982.64	c |   5198565 |     899    60192   195293 |        1   193983     31 |  0.111 % |
982.61/982.64	c |   5211898 |     899    60192   195293 |        1   207316     32 |  0.111 % |
982.61/982.64	c |   5211999 |     899    60192   195293 |        1   207417     32 |  0.111 % |
982.61/982.64	c |   5216317 |     899    60192   195293 |        1   211735     32 |  0.111 % |
982.61/982.64	c |   5221333 |     899    60192   195293 |        1   216751     33 |  0.111 % |
982.61/982.64	c |   5221433 |     899    60192   195293 |        1   216851     33 |  0.111 % |
982.61/982.64	c |   5224460 |     899    60192   195293 |        1   219878     33 |  0.111 % |
982.61/982.64	c |   5230528 |     899    60192   195293 |        1   225946     33 |  0.111 % |
982.61/982.64	c |   5234431 |     899    60192   195293 |        1   229849     34 |  0.111 % |
982.61/982.64	c |   5236157 |     899    60192   195293 |        1   231575     34 |  0.111 % |
982.61/982.64	c |   5237037 |     899    60192   195293 |        1   232455     34 |  0.111 % |
982.61/982.64	c |   5241968 |     899    60192   195293 |        1   237386     34 |  0.111 % |
982.61/982.64	c |   5242901 |     899    60192   195293 |        1   238319     34 |  0.111 % |
982.61/982.64	c |   5243290 |     899    60192   195293 |        1   238708     34 |  0.111 % |
982.61/982.64	c |   5248944 |     899    60192   195293 |        1   244362     35 |  0.111 % |
982.61/982.64	c |   5249228 |     899    60192   195293 |        1   244646     35 |  0.111 % |
982.61/982.64	c |   5255851 |     899    60192   195293 |        1   251269     35 |  0.111 % |
982.61/982.64	c |   5256071 |     899    60192   195293 |        1   251489     35 |  0.111 % |
982.61/982.64	c |   5256171 |     899    60192   195293 |        1   251589     35 |  0.111 % |
982.61/982.64	c |   5256868 |     899    60192   195293 |        1   252286     35 |  0.111 % |
982.61/982.64	c |   5256968 |     899    60192   195293 |        1   252386     35 |  0.111 % |
982.61/982.64	c |   5257465 |     899    60192   195293 |        1   252883     35 |  0.111 % |
982.61/982.64	c |   5258055 |     899    60192   195293 |        1   253473     35 |  0.111 % |
982.61/982.64	c |   5260906 |     899    60192   195293 |        1   256324     35 |  0.111 % |
982.61/982.64	c |   5261147 |     899    60192   195293 |        1   256565     36 |  0.111 % |
982.61/982.64	c |   5263405 |     899    60192   195293 |        1   258823     36 |  0.111 % |
982.61/982.64	c |   5267786 |     899    60192   195293 |        1   263204     36 |  0.111 % |
982.61/982.64	c |   5268411 |     899    60192   195293 |        1   263829     36 |  0.111 % |
982.61/982.64	c |   5273808 |     899    60192   195293 |        1   269226     36 |  0.111 % |
982.61/982.64	c |   5276255 |     899    60192   195293 |        1   271673     36 |  0.111 % |
982.61/982.64	c |   5276997 |     899    60192   195293 |        1   272415     37 |  0.111 % |
982.61/982.64	c |   5277097 |     899    60192   195293 |        1   272515     37 |  0.111 % |
982.61/982.64	c |   5277304 |     899    60192   195293 |        1   272722     37 |  0.111 % |
982.61/982.64	c |   5280899 |     899    60192   195293 |        1   276317     37 |  0.111 % |
982.61/982.64	c |   5281037 |     899    60192   195293 |        1   276455     37 |  0.111 % |
982.61/982.64	c |   5284422 |     899    60192   195293 |        1   279840     37 |  0.111 % |
982.61/982.64	c |   5296315 |     899    60192   195293 |        1   291733     38 |  0.111 % |
982.61/982.64	c |   5301374 |     899    60192   195293 |        1   296792     38 |  0.111 % |
982.61/982.64	c |   5301696 |     899    60192   195293 |        1   297114     38 |  0.111 % |
982.61/982.64	c |   5302989 |     899    60192   195293 |        1   298407     38 |  0.111 % |
982.61/982.64	c |   5309591 |     899    60192   195293 |        1   305009     39 |  0.111 % |
1012.10/1012.13	c |   5309698 |     899    60192   195293 |        1   305116     39 |  0.111 % |
1012.10/1012.13	c |   5312699 |     899    60192   195293 |        1   308117     39 |  0.111 % |
1012.10/1012.13	c |   5314451 |     899    60192   195293 |        1   309869     39 |  0.111 % |
1012.10/1012.13	c |   5325959 |     899    60192   195293 |        1   321377     40 |  0.111 % |
1012.10/1012.13	c |   5327007 |     899    60192   195293 |        1   322425     40 |  0.111 % |
1012.10/1012.13	c |   5327107 |     899    60192   195293 |        1   322525     40 |  0.111 % |
1012.10/1012.13	c |   5329379 |     899    60192   195293 |        1   324797     40 |  0.111 % |
1012.10/1012.13	c |   5329481 |     899    60192   195293 |        1   324899     40 |  0.111 % |
1012.10/1012.13	c |   5332647 |     899    60192   195293 |        1   165461     26 |  0.111 % |
1012.10/1012.13	c |   5333053 |     899    60192   195293 |        1   165867     26 |  0.111 % |
1012.10/1012.13	c |   5333923 |     899    60192   195293 |        1   166737     26 |  0.111 % |
1012.10/1012.13	c |   5338446 |     899    60192   195293 |        1   171260     27 |  0.111 % |
1012.10/1012.13	c |   5338546 |     899    60192   195293 |        1   171360     27 |  0.111 % |
1012.10/1012.13	c |   5342128 |     899    60192   195293 |        1   174942     27 |  0.111 % |
1012.10/1012.13	c |   5342252 |     899    60192   195293 |        1   175066     27 |  0.111 % |
1012.10/1012.13	c |   5355631 |     899    60192   195293 |        1   188445     29 |  0.111 % |
1012.10/1012.13	c |   5355732 |     899    60192   195293 |        1   188546     29 |  0.111 % |
1012.10/1012.13	c |   5356168 |     899    60192   195293 |        1   188982     29 |  0.111 % |
1012.10/1012.13	c |   5356268 |     899    60192   195293 |        1   189082     29 |  0.111 % |
1012.10/1012.13	c |   5356399 |     899    60192   195293 |        1   189213     29 |  0.111 % |
1012.10/1012.13	c |   5357701 |     899    60192   195293 |        1   190515     29 |  0.111 % |
1012.10/1012.13	c |   5358795 |     899    60192   195293 |        1   191609     29 |  0.111 % |
1012.10/1012.13	c |   5358901 |     899    60192   195293 |        1   191715     29 |  0.111 % |
1012.10/1012.13	c |   5360449 |     899    60192   195293 |        1   193263     29 |  0.111 % |
1012.10/1012.13	c |   5363741 |     899    60192   195293 |        1   196555     30 |  0.111 % |
1012.10/1012.13	c |   5363994 |     899    60192   195293 |        1   196808     30 |  0.111 % |
1012.10/1012.13	c |   5364808 |     899    60192   195293 |        1   197622     30 |  0.111 % |
1012.10/1012.13	c |   5373799 |     899    60192   195293 |        1   206613     31 |  0.111 % |
1012.10/1012.13	c |   5385012 |     899    60192   195293 |        1   217826     32 |  0.111 % |
1012.10/1012.13	c |   5385112 |     899    60192   195293 |        1   217926     32 |  0.111 % |
1012.10/1012.13	c |   5387610 |     899    60192   195293 |        1   220424     32 |  0.111 % |
1012.10/1012.13	c |   5387851 |     899    60192   195293 |        1   220665     32 |  0.111 % |
1012.10/1012.13	c |   5391289 |     899    60192   195293 |        1   224103     33 |  0.111 % |
1012.10/1012.13	c |   5391389 |     899    60192   195293 |        1   224203     33 |  0.111 % |
1012.10/1012.13	c |   5391489 |     899    60192   195293 |        1   224303     33 |  0.111 % |
1012.10/1012.13	c |   5393761 |     899    60192   195293 |        1   226575     33 |  0.111 % |
1012.10/1012.13	c |   5393862 |     899    60192   195293 |        1   226676     33 |  0.111 % |
1012.10/1012.13	c |   5393968 |     899    60192   195293 |        1   226782     33 |  0.111 % |
1012.10/1012.13	c |   5399151 |     899    60192   195293 |        1   231965     34 |  0.111 % |
1012.10/1012.13	c |   5399665 |     899    60192   195293 |        1   232479     34 |  0.111 % |
1012.10/1012.13	c |   5410281 |     899    60192   195293 |        1   243095     35 |  0.111 % |
1012.10/1012.13	c |   5410381 |     899    60192   195293 |        1   243195     35 |  0.111 % |
1012.10/1012.13	c |   5413142 |     899    60192   195293 |        1   245956     35 |  0.111 % |
1012.10/1012.13	c |   5413242 |     899    60192   195293 |        1   246056     35 |  0.111 % |
1012.10/1012.13	c |   5413563 |     899    60192   195293 |        1   246377     35 |  0.111 % |
1012.10/1012.13	c |   5414308 |     899    60192   195293 |        1   247122     35 |  0.111 % |
1012.10/1012.13	c |   5417867 |     899    60192   195293 |        1   250681     35 |  0.111 % |
1012.10/1012.13	c |   5425356 |     899    60192   195293 |        1   258170     35 |  0.111 % |
1012.10/1012.13	c |   5428561 |     899    60192   195293 |        1   261375     35 |  0.111 % |
1012.10/1012.13	c |   5429204 |     899    60192   195293 |        1   262018     35 |  0.111 % |
1047.31/1047.34	c |   5432182 |     899    60192   195293 |        1   264996     35 |  0.111 % |
1047.31/1047.34	c |   5433106 |     899    60192   195293 |        1   265920     35 |  0.111 % |
1047.31/1047.34	c |   5439314 |     899    60192   195293 |        1   272128     36 |  0.111 % |
1047.31/1047.34	c |   5443257 |     899    60192   195293 |        1   276071     36 |  0.111 % |
1047.31/1047.34	c |   5444541 |     899    60192   195293 |        1   277355     36 |  0.111 % |
1047.31/1047.34	c |   5444946 |     899    60192   195293 |        1   277760     36 |  0.111 % |
1047.31/1047.34	c |   5449836 |     899    60192   195293 |        1   282650     36 |  0.111 % |
1047.31/1047.34	c |   5452084 |     899    60192   195293 |        1   284898     37 |  0.111 % |
1047.31/1047.34	c |   5452232 |     899    60192   195293 |        1   285046     37 |  0.111 % |
1047.31/1047.34	c |   5466843 |     899    60192   195293 |        1   299657     37 |  0.111 % |
1047.31/1047.34	c |   5473542 |     899    60192   195293 |        1   306356     37 |  0.111 % |
1047.31/1047.34	c |   5475034 |     899    60192   195293 |        1   307848     38 |  0.111 % |
1047.31/1047.34	c |   5475446 |     899    60192   195293 |        1   308260     38 |  0.111 % |
1047.31/1047.34	c |   5475927 |     899    60192   195293 |        1   308741     38 |  0.111 % |
1047.31/1047.34	c |   5476027 |     899    60192   195293 |        1   308841     38 |  0.111 % |
1047.31/1047.34	c |   5476496 |     899    60192   195293 |        1   309310     38 |  0.111 % |
1047.31/1047.34	c |   5482732 |     899    60192   195293 |        1   315546     38 |  0.111 % |
1047.31/1047.34	c |   5482832 |     899    60192   195293 |        1   315646     38 |  0.111 % |
1047.31/1047.34	c |   5482932 |     899    60192   195293 |        1   315746     38 |  0.111 % |
1047.31/1047.34	c |   5483032 |     899    60192   195293 |        1   315846     38 |  0.111 % |
1047.31/1047.34	c |   5483342 |     899    60192   195293 |        1   316156     38 |  0.111 % |
1047.31/1047.34	c |   5486908 |     899    60192   195293 |        1   319722     38 |  0.111 % |
1047.31/1047.34	c |   5487745 |     899    60192   195293 |        1   320559     38 |  0.111 % |
1047.31/1047.34	c |   5495690 |     899    60192   195293 |        1   328504     38 |  0.111 % |
1047.31/1047.34	c |   5496483 |     899    60192   195293 |        1   329297     38 |  0.111 % |
1047.31/1047.34	c |   5498266 |     899    60192   195293 |        1   165881     25 |  0.111 % |
1047.31/1047.34	c |   5499159 |     899    60192   195293 |        1   166774     25 |  0.111 % |
1047.31/1047.34	c |   5499888 |     899    60192   195293 |        1   167503     25 |  0.111 % |
1047.31/1047.34	c |   5505584 |     899    60192   195293 |        1   173199     26 |  0.111 % |
1047.31/1047.34	c |   5511699 |     899    60192   195293 |        1   179314     27 |  0.111 % |
1047.31/1047.34	c |   5512187 |     899    60192   195293 |        1   179802     27 |  0.111 % |
1047.31/1047.34	c |   5517607 |     899    60192   195293 |        1   185222     28 |  0.111 % |
1047.31/1047.34	c |   5518972 |     899    60192   195293 |        1   186587     28 |  0.111 % |
1047.31/1047.34	c |   5519074 |     899    60192   195293 |        1   186689     28 |  0.111 % |
1047.31/1047.34	c |   5527388 |     899    60192   195293 |        1   195003     29 |  0.111 % |
1047.31/1047.34	c |   5527489 |     899    60192   195293 |        1   195104     29 |  0.111 % |
1047.31/1047.34	c |   5527753 |     899    60192   195293 |        1   195368     29 |  0.111 % |
1047.31/1047.34	c |   5527855 |     899    60192   195293 |        1   195470     29 |  0.111 % |
1047.31/1047.34	c |   5527975 |     899    60192   195293 |        1   195590     29 |  0.111 % |
1047.31/1047.34	c |   5529816 |     899    60192   195293 |        1   197431     29 |  0.111 % |
1047.31/1047.34	c |   5532789 |     899    60192   195293 |        1   200404     30 |  0.111 % |
1047.31/1047.34	c |   5539063 |     899    60192   195293 |        1   206678     30 |  0.111 % |
1047.31/1047.34	c |   5546998 |     899    60192   195293 |        1   214613     31 |  0.111 % |
1047.31/1047.34	c |   5547946 |     899    60192   195293 |        1   215561     31 |  0.111 % |
1047.31/1047.34	c |   5555647 |     899    60192   195293 |        1   223262     32 |  0.111 % |
1047.31/1047.34	c |   5563631 |     899    60192   195293 |        1   231246     33 |  0.111 % |
1047.31/1047.34	c |   5564438 |     899    60192   195293 |        1   232053     33 |  0.111 % |
1047.31/1047.34	c |   5564539 |     899    60192   195293 |        1   232154     33 |  0.111 % |
1047.31/1047.34	c |   5564639 |     899    60192   195293 |        1   232254     33 |  0.111 % |
1047.31/1047.34	c |   5564741 |     899    60192   195293 |        1   232356     33 |  0.111 % |
1067.30/1067.34	c |   5564843 |     899    60192   195293 |        1   232458     33 |  0.111 % |
1067.30/1067.34	c |   5564945 |     899    60192   195293 |        1   232560     33 |  0.111 % |
1067.30/1067.34	c |   5578277 |     899    60192   195293 |        1   245892     33 |  0.111 % |
1067.30/1067.34	c |   5580998 |     899    60192   195293 |        1   248613     33 |  0.111 % |
1067.30/1067.34	c |   5581604 |     899    60192   195293 |        1   249219     34 |  0.111 % |
1067.30/1067.34	c |   5593471 |     899    60192   195293 |        1   261086     35 |  0.111 % |
1067.30/1067.34	c |   5598013 |     899    60192   195293 |        1   265628     35 |  0.111 % |
1067.30/1067.34	c |   5598276 |     899    60192   195293 |        1   265891     35 |  0.111 % |
1067.30/1067.34	c |   5606822 |     899    60192   195293 |        1   274437     35 |  0.111 % |
1067.30/1067.34	c |   5606923 |     899    60192   195293 |        1   274538     35 |  0.111 % |
1067.30/1067.34	c |   5608387 |     899    60192   195293 |        1   276002     35 |  0.111 % |
1067.30/1067.34	c |   5608488 |     899    60192   195293 |        1   276103     35 |  0.111 % |
1067.30/1067.34	c |   5608772 |     899    60192   195293 |        1   276387     35 |  0.111 % |
1067.30/1067.34	c |   5611644 |     899    60192   195293 |        1   279259     36 |  0.111 % |
1067.30/1067.34	c |   5616251 |     899    60192   195293 |        1   283866     36 |  0.111 % |
1067.30/1067.34	c |   5617141 |     899    60192   195293 |        1   284756     36 |  0.111 % |
1067.30/1067.34	c |   5617406 |     899    60192   195293 |        1   285021     36 |  0.111 % |
1067.30/1067.34	c |   5618087 |     899    60192   195293 |        1   285702     36 |  0.111 % |
1067.30/1067.34	c |   5623832 |     899    60192   195293 |        1   291447     36 |  0.111 % |
1067.30/1067.34	c |   5624486 |     899    60192   195293 |        1   292101     36 |  0.111 % |
1067.30/1067.34	c |   5624635 |     899    60192   195293 |        1   292250     36 |  0.111 % |
1067.30/1067.34	c |   5634102 |     899    60192   195293 |        1   301717     37 |  0.111 % |
1067.30/1067.34	c |   5636122 |     899    60192   195293 |        1   303737     37 |  0.111 % |
1067.30/1067.34	c |   5637883 |     899    60192   195293 |        1   305498     37 |  0.111 % |
1067.30/1067.34	c |   5639538 |     899    60192   195293 |        1   307153     37 |  0.111 % |
1067.30/1067.34	c ===============================================================================
1067.30/1067.34	c restarts              : 1063
1067.30/1067.34	c nb ReduceDB           : 64
1067.30/1067.34	c nb removed Clauses    : 5247424
1067.30/1067.34	c nb learnts DL2        : 336
1067.30/1067.34	c nb learnts size 2     : 44
1067.30/1067.34	c nb learnts size 1     : 1
1067.30/1067.34	c conflicts             : 5639538        (5288 /sec)
1067.30/1067.34	c decisions             : 6819491        (0.00 % random) (6394 /sec)
1067.30/1067.34	c propagations          : 487644406      (457242 /sec)
1067.30/1067.34	c conflict literals     : 294560759      (57.91 % deleted)
1067.30/1067.34	c nb reduced Clauses    : 96645
1067.30/1067.34	c CPU time              : 1066.49 s
1067.30/1067.34	
1067.30/1067.35	s SATISFIABLE
1067.30/1067.35	v -1 -2 -3 -4 -5 -6 -7 -8 -9 10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 188 -189 -190 -191 -192 -193 -194 -195 -196 197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 229 -230 -231 232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 686 -687 -688 -689 -690 -691 -692 -693 -694 -695 696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 818 -819 820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 898 -899 -900 -901 -902 -903 -904 905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 936 -937 -938 -939 -940 -941 -942 -943 -944 -945 0

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.76 3.94 3.76 3/190 16256
/proc/meminfo: memFree=11960784/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 458716008 8912896 252 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 252 211 178 0 69 0

[startup+0.0994639 s]
/proc/loadavg: 3.76 3.94 3.76 3/190 16256
/proc/meminfo: memFree=11960784/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 458716008 8912896 252 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100459 s]
/proc/loadavg: 3.76 3.94 3.76 3/190 16256
/proc/meminfo: memFree=11960784/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 458716008 8912896 252 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300403 s]
/proc/loadavg: 3.76 3.94 3.76 3/190 16256
/proc/meminfo: memFree=11960784/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+0.700323 s]
/proc/loadavg: 3.76 3.94 3.76 3/190 16256
/proc/meminfo: memFree=11960784/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+1.50021 s]
/proc/loadavg: 3.76 3.94 3.76 5/198 16272
/proc/meminfo: memFree=11933936/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=24188 CPUtime=1.34 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 6047 0 0 0 133 1 0 0 22 0 1 0 458716023 24768512 2871 33554432000 4194304 4260849 140737137050080 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 6047 2871 251 17 0 2688 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32892

[startup+3.10093 s]
/proc/loadavg: 3.76 3.94 3.76 5/198 16272
/proc/meminfo: memFree=11926744/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=31260 CPUtime=2.94 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 7674 0 0 0 293 1 0 0 25 0 1 0 458716023 32010240 4423 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 7815 4423 251 17 0 4456 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39964

[startup+6.30037 s]
/proc/loadavg: 3.78 3.94 3.76 5/198 16272
/proc/meminfo: memFree=11895248/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=35680 CPUtime=6.13 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 9064 0 0 0 612 1 0 0 25 0 1 0 458716023 36536320 5728 33554432000 4194304 4260849 140737137050080 18446744073709551615 4247463 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 8920 5728 251 17 0 5561 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 44384

[startup+12.7002 s]
/proc/loadavg: 3.80 3.94 3.76 5/198 16272
/proc/meminfo: memFree=11860676/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=50228 CPUtime=12.54 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 11875 0 0 0 1252 2 0 0 25 0 1 0 458716023 51433472 8506 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 12557 8506 251 17 0 9198 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58932

[startup+25.5009 s]
/proc/loadavg: 3.84 3.94 3.76 5/198 16272
/proc/meminfo: memFree=11870460/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=61828 CPUtime=25.34 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 16867 0 0 0 2531 3 0 0 25 0 1 0 458716023 63311872 7991 33554432000 4194304 4260849 140737137050080 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 15457 7991 251 17 0 12098 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70532

[startup+51.1004 s]
/proc/loadavg: 3.89 3.94 3.77 5/198 16273
/proc/meminfo: memFree=11806724/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=61828 CPUtime=50.94 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 20664 0 0 0 5090 4 0 0 25 0 1 0 458716023 63311872 11653 33554432000 4194304 4260849 140737137050080 18446744073709551615 4225418 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 15457 11653 251 17 0 12098 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70532

[startup+102.307 s]
/proc/loadavg: 4.01 3.97 3.78 5/198 16274
/proc/meminfo: memFree=11794436/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=61828 CPUtime=102.15 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 26177 0 0 0 10210 5 0 0 25 0 1 0 458716023 63311872 12281 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 15457 12281 252 17 0 12098 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 70532

[startup+162.301 s]
/proc/loadavg: 4.00 3.97 3.79 5/198 16276
/proc/meminfo: memFree=11754116/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=93596 CPUtime=162.14 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 33461 0 0 0 16208 6 0 0 25 0 1 0 458716023 95842304 19401 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 23399 19401 252 17 0 20040 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 102300

[startup+222.301 s]
/proc/loadavg: 4.00 3.97 3.80 4/195 16279
/proc/meminfo: memFree=11847496/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=93596 CPUtime=222.15 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 42013 0 0 0 22207 8 0 0 25 0 1 0 458716023 95842304 20223 33554432000 4194304 4260849 140737137050080 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 23399 20223 252 17 0 20040 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 102300

[startup+282.3 s]
/proc/loadavg: 4.18 4.02 3.83 5/198 16309
/proc/meminfo: memFree=11769140/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=142916 CPUtime=282.14 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 75062 0 0 0 28202 12 0 0 25 0 1 0 458716023 146345984 28273 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 35729 28273 252 17 0 32370 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 151620

[startup+342.301 s]
/proc/loadavg: 4.14 4.03 3.84 5/198 16311
/proc/meminfo: memFree=11719268/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=93596 CPUtime=342.15 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 103012 0 0 0 34198 17 0 0 25 0 1 0 458716023 95842304 20224 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 23399 20224 252 17 0 20040 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 102300

[startup+402.301 s]
/proc/loadavg: 4.10 4.04 3.85 5/198 16312
/proc/meminfo: memFree=11763624/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7

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


[startup+522.301 s]
/proc/loadavg: 4.01 4.02 3.86 5/198 16316
/proc/meminfo: memFree=11649880/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=93596 CPUtime=522.15 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 184657 0 0 0 52185 30 0 0 25 0 1 0 458716023 95842304 20224 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 23399 20224 252 17 0 20040 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 102300

[startup+582.301 s]
/proc/loadavg: 4.00 4.02 3.87 5/198 16317
/proc/meminfo: memFree=11680108/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=93596 CPUtime=582.15 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 207469 0 0 0 58180 35 0 0 25 0 1 0 458716023 95842304 20225 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 23399 20225 252 17 0 20040 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 102300

[startup+642.3 s]
/proc/loadavg: 4.00 4.01 3.88 5/198 16319
/proc/meminfo: memFree=11704892/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=93596 CPUtime=642.16 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 230560 0 0 0 64176 40 0 0 25 0 1 0 458716023 95842304 20225 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 23399 20225 252 17 0 20040 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 102300

[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.88 5/198 16320
/proc/meminfo: memFree=11699412/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=93596 CPUtime=702.16 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 254809 0 0 0 70172 44 0 0 25 0 1 0 458716023 95842304 20225 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 23399 20225 252 17 0 20040 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 102300

[startup+762.307 s]
/proc/loadavg: 4.05 4.01 3.89 5/198 16322
/proc/meminfo: memFree=11642220/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=142916 CPUtime=762.16 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 279123 0 0 0 76166 50 0 0 25 0 1 0 458716023 146345984 32339 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224873 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 35729 32339 252 17 0 32370 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 151620

[startup+822.3 s]
/proc/loadavg: 4.10 4.03 3.90 5/198 16324
/proc/meminfo: memFree=11702856/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=142916 CPUtime=822.16 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 303358 0 0 0 82162 54 0 0 25 0 1 0 458716023 146345984 31551 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 35729 31551 252 17 0 32370 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 151620

[startup+882.301 s]
/proc/loadavg: 4.03 4.02 3.91 5/198 16325
/proc/meminfo: memFree=11609192/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=142916 CPUtime=882.16 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 326097 0 0 0 88157 59 0 0 25 0 1 0 458716023 146345984 28212 33554432000 4194304 4260849 140737137050080 18446744073709551615 4238016 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 35729 28212 252 17 0 32370 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 151620

[startup+942.301 s]
/proc/loadavg: 4.01 4.01 3.91 5/198 16327
/proc/meminfo: memFree=11577288/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=173736 CPUtime=942.16 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 344454 0 0 0 94152 64 0 0 25 0 1 0 458716023 177905664 33141 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 43434 33141 252 17 0 40075 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 182440

[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.91 5/198 16328
/proc/meminfo: memFree=11568708/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=142916 CPUtime=1002.16 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 367443 0 0 0 100148 68 0 0 25 0 1 0 458716023 146345984 28257 33554432000 4194304 4260849 140737137050080 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 35729 28257 252 17 0 32370 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 151620

[startup+1062.3 s]
/proc/loadavg: 4.03 4.02 3.91 5/198 16330
/proc/meminfo: memFree=11641720/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=142916 CPUtime=1062.17 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 384580 0 0 0 106145 72 0 0 25 0 1 0 458716023 146345984 31645 33554432000 4194304 4260849 140737137050080 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 35729 31645 252 17 0 32370 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 151620

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

[startup+1065.5 s]
/proc/loadavg: 4.03 4.02 3.91 5/198 16330
/proc/meminfo: memFree=11675696/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=142916 CPUtime=1065.37 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 385197 0 0 0 106465 72 0 0 25 0 1 0 458716023 146345984 32255 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 35729 32255 252 17 0 32370 0
Current children cumulated CPU time (s) 1065.51
Current children cumulated vsize (KiB) 151620

[startup+1066.3 s]
/proc/loadavg: 4.03 4.02 3.91 5/198 16330
/proc/meminfo: memFree=11673836/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=142916 CPUtime=1066.16 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 385336 0 0 0 106544 72 0 0 25 0 1 0 458716023 146345984 32390 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224703 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 35729 32390 252 17 0 32370 0
Current children cumulated CPU time (s) 1066.3
Current children cumulated vsize (KiB) 151620

[startup+1067.1 s]
/proc/loadavg: 4.03 4.02 3.91 5/198 16330
/proc/meminfo: memFree=11641716/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=142916 CPUtime=1066.96 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 385493 0 0 0 106624 72 0 0 25 0 1 0 458716023 146345984 32542 33554432000 4194304 4260849 140737137050080 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 35729 32542 252 17 0 32370 0
Current children cumulated CPU time (s) 1067.1
Current children cumulated vsize (KiB) 151620

[startup+1067.3 s]
/proc/loadavg: 4.03 4.02 3.91 5/198 16330
/proc/meminfo: memFree=11641716/32951124 swapFree=67111528/67111528
[pid=16256] ppid=16254 vsize=8704 CPUtime=0.14 cores=5,7
/proc/16256/stat : 16256 (glucose.sh) S 16254 16256 15508 0 -1 4202496 359 1397 0 0 0 0 14 0 18 0 1 0 458716008 8912896 254 33554432000 4194304 4922060 140733838818496 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/16256/statm: 2176 254 211 178 0 69 0
[pid=16271] ppid=16256 vsize=173736 CPUtime=1067.16 cores=5,7
/proc/16271/stat : 16271 (glucose_static) R 16256 16256 15508 0 -1 4202496 385530 0 0 0 106644 72 0 0 25 0 1 0 458716023 177905664 32578 33554432000 4194304 4260849 140737137050080 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16271/statm: 43434 32578 252 17 0 40075 0
Current children cumulated CPU time (s) 1067.3
Current children cumulated vsize (KiB) 182440

Child status: 10
Real time (s): 1067.36
CPU time (s): 1067.38
CPU user time (s): 1066.63
CPU system time (s): 0.742887
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 182440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1066.63
system time used= 0.742887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387695
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= 1192

runsolver used 1.76973 second user time and 4.06638 second system time

The end

Launcher Data

Begin job on node132 at 2011-04-22 13:19:38
IDJOB=3257820
IDBENCH=71271
IDSOLVER=1651
FILE ID=node132/3257820-1303471178
RUNJOBID= node132-1303469875-16025
PBS_JOBID= 13107182
Free space on /tmp= 72040 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g4.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257820-1303471178/watcher-3257820-1303471178 -o /tmp/evaluation-result-3257820-1303471178/solver-3257820-1303471178 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3257820-1303471178.cnf 

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

MD5SUM BENCH= 04c9f68df814bad18919ca17a3e0867a
RANDOM SEED=1123145902

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11961056 kB
Buffers:       1249300 kB
Cached:       18967280 kB
SwapCached:          0 kB
Active:        8493324 kB
Inactive:     11951892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11961056 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11692 kB
Writeback:           8 kB
AnonPages:      227564 kB
Mapped:          15552 kB
Slab:           479360 kB
PageTables:       5292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   407088 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72036 MiB
End job on node132 at 2011-04-22 13:37:26