Trace number 3303345

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2? (TO) 5000.09 5000.01

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
MD5SUM399c54da7337981a88a374a67e87ba30
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2100
Number of clauses215164
Sum of the clauses size432288
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2215094
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 570

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.05	c ==============================================================================
0.00/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |  215164   432288 |   64549       0        0     nan |  0.000 % |
0.00/0.62	c |         0 |  212438   711223 |      --       0       --      -- |     --   | -2726/278935
0.00/0.62	c ==============================================================================
0.00/0.62	c Result  :   #vars: 2030   #clauses: 212438   #literals: 711223
0.00/0.62	c CPU time:   0.614906 s
0.00/0.62	c ==============================================================================
0.00/0.73	c
0.00/0.73	c Starting glucose
0.00/0.73	c
276.58/276.67	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
276.58/276.67	c WARNING: for repeatability, setting FPU to use double precision
276.58/276.67	c ============================[ Problem Statistics ]=============================
276.58/276.67	c |                                                                             |
276.58/276.67	c |  Number of variables:          2030                                         |
276.58/276.67	c |  Number of clauses:          212438                                         |
276.58/276.67	c |  Parse time:                   0.04 s                                       |
276.58/276.67	c |                                                                             |
276.58/276.67	c ============================[ Search Statistics ]==============================
276.58/276.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
276.58/276.67	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
276.58/276.67	c ===============================================================================
276.58/276.67	c |      1234 |    2030   212438   711223 |        1     1234    180 |  0.000 % |
276.58/276.67	c |     38034 |    2030   212438   711223 |        1    15732     94 |  0.000 % |
276.58/276.67	c |    371357 |    2030   212438   711223 |        1    76185     63 |  0.000 % |
276.58/276.67	c |    562240 |    2030   212438   711223 |        1    89869     61 |  0.000 % |
276.58/276.67	c |    566073 |    2030   212438   711223 |        1    93702     62 |  0.000 % |
276.58/276.67	c |    570936 |    2030   212438   711223 |        1    98565     63 |  0.000 % |
276.58/276.67	c |    575112 |    2030   212438   711223 |        1    51941     44 |  0.000 % |
276.58/276.67	c |    584026 |    2030   212438   711223 |        1    60855     50 |  0.000 % |
276.58/276.67	c |    605337 |    2030   212438   711223 |        1    82166     59 |  0.000 % |
276.58/276.67	c |    643660 |    2030   212438   711223 |        1    67089     51 |  0.000 % |
276.58/276.67	c |    863180 |    2030   212438   711223 |        1   110806     55 |  0.000 % |
276.58/276.67	c |    863939 |    2030   212438   711223 |        1   111565     55 |  0.000 % |
276.58/276.67	c |    866606 |    2030   212438   711223 |        1   114232     56 |  0.000 % |
276.58/276.67	c |    899610 |    2030   212438   711223 |        1    83437     53 |  0.000 % |
276.58/276.67	c |    915016 |    2030   212438   711223 |        1    98843     57 |  0.000 % |
276.58/276.67	c |    919387 |    2030   212438   711223 |        1   103214     58 |  0.000 % |
276.58/276.67	c |   1006734 |    2030   212438   711223 |        1   124165     69 |  0.000 % |
276.58/276.67	c |   1007023 |    2030   212438   711223 |        1   124454     69 |  0.000 % |
276.58/276.67	c |   1008798 |    2030   212438   711223 |        1   126229     69 |  0.000 % |
276.58/276.67	c |   1010004 |    2030   212438   711223 |        1   127435     70 |  0.000 % |
276.58/276.67	c |   1035418 |    2030   212438   711223 |        1    83845     51 |  0.000 % |
276.58/276.67	c |   1105120 |    2030   212438   711223 |        1    81948     45 |  0.000 % |
276.58/276.67	c |   1105220 |    2030   212438   711223 |        1    82048     45 |  0.000 % |
276.58/276.67	c |   1169741 |    2030   212438   711223 |        1   146569     61 |  0.000 % |
276.58/276.67	c |   1259574 |    2030   212438   711223 |        1    85391     43 |  0.000 % |
276.58/276.67	c |   1312216 |    2030   212438   711223 |        1   138033     52 |  0.000 % |
276.58/276.67	c |   1339526 |    2030   212438   711223 |        1    85948     42 |  0.000 % |
276.58/276.67	c |   1357328 |    2030   212438   711223 |        1   103750     49 |  0.000 % |
276.58/276.67	c |   1373021 |    2030   212438   711223 |        1   119443     52 |  0.000 % |
276.58/276.67	c |   1375950 |    2030   212438   711223 |        1   122372     53 |  0.000 % |
276.58/276.67	c |   1376303 |    2030   212438   711223 |        1   122725     53 |  0.000 % |
276.58/276.67	c |   1379666 |    2030   212438   711223 |        1   126088     53 |  0.000 % |
276.58/276.67	c |   1381406 |    2030   212438   711223 |        1   127828     54 |  0.000 % |
276.58/276.67	c |   1381507 |    2030   212438   711223 |        1   127929     54 |  0.000 % |
276.58/276.67	c |   1416705 |    2030   212438   711223 |        1   163127     59 |  0.000 % |
276.58/276.67	c |   1416808 |    2030   212438   711223 |        1   163230     59 |  0.000 % |
276.58/276.67	c |   1424278 |    2030   212438   711223 |        1    88702     42 |  0.000 % |
276.58/276.67	c |   1445622 |    2030   212438   711223 |        1   110046     50 |  0.000 % |
276.58/276.67	c |   1445722 |    2030   212438   711223 |        1   110146     50 |  0.000 % |
560.58/560.69	c |   1454254 |    2030   212438   711223 |        1   118678     52 |  0.000 % |
560.58/560.69	c |   1457951 |    2030   212438   711223 |        1   122375     53 |  0.000 % |
560.58/560.69	c |   1467485 |    2030   212438   711223 |        1   131909     55 |  0.000 % |
560.58/560.69	c |   1468179 |    2030   212438   711223 |        1   132603     55 |  0.000 % |
560.58/560.69	c |   1543912 |    2030   212438   711223 |        1   123739     51 |  0.000 % |
560.58/560.69	c |   1546044 |    2030   212438   711223 |        1   125871     51 |  0.000 % |
560.58/560.69	c |   1549764 |    2030   212438   711223 |        1   129591     52 |  0.000 % |
560.58/560.69	c |   1565162 |    2030   212438   711223 |        1   144989     54 |  0.000 % |
560.58/560.69	c |   1623724 |    2030   212438   711223 |        1   116356     48 |  0.000 % |
560.58/560.69	c |   1655201 |    2030   212438   711223 |        1   147833     56 |  0.000 % |
560.58/560.69	c |   1660947 |    2030   212438   711223 |        1   153579     57 |  0.000 % |
560.58/560.69	c |   1661626 |    2030   212438   711223 |        1   154258     57 |  0.000 % |
560.58/560.69	c |   1698599 |    2030   212438   711223 |        1   101427     44 |  0.000 % |
560.58/560.69	c |   1729501 |    2030   212438   711223 |        1   132329     52 |  0.000 % |
560.58/560.69	c |   1780553 |    2030   212438   711223 |        1   183381     59 |  0.000 % |
560.58/560.69	c |   1808936 |    2030   212438   711223 |        1   119365     48 |  0.000 % |
560.58/560.69	c |   1823676 |    2030   212438   711223 |        1   134105     51 |  0.000 % |
560.58/560.69	c |   1864100 |    2030   212438   711223 |        1   174529     55 |  0.000 % |
560.58/560.69	c |   1875418 |    2030   212438   711223 |        1   185847     56 |  0.000 % |
560.58/560.69	c |   1914823 |    2030   212438   711223 |        1   130242     47 |  0.000 % |
560.58/560.69	c |   1915100 |    2030   212438   711223 |        1   130519     47 |  0.000 % |
560.58/560.69	c |   1917296 |    2030   212438   711223 |        1   132715     48 |  0.000 % |
560.58/560.69	c |   1966689 |    2030   212438   711223 |        1   182108     54 |  0.000 % |
560.58/560.69	c |   1994840 |    2030   212438   711223 |        1   112670     44 |  0.000 % |
560.58/560.69	c |   2019807 |    2030   212438   711223 |        1   137637     50 |  0.000 % |
560.58/560.69	c |   2037465 |    2030   212438   711223 |        1   155295     52 |  0.000 % |
560.58/560.69	c |   2040101 |    2030   212438   711223 |        1   157931     53 |  0.000 % |
560.58/560.69	c |   2112049 |    2030   212438   711223 |        1   129682     46 |  0.000 % |
560.58/560.69	c |   2146544 |    2030   212438   711223 |        1   164177     52 |  0.000 % |
560.58/560.69	c |   2150166 |    2030   212438   711223 |        1   167799     52 |  0.000 % |
560.58/560.69	c |   2236451 |    2030   212438   711223 |        1   151271     50 |  0.000 % |
560.58/560.69	c |   2304854 |    2030   212438   711223 |        1   114270     40 |  0.000 % |
560.58/560.69	c |   2331513 |    2030   212438   711223 |        1   140929     47 |  0.000 % |
560.58/560.69	c |   2332778 |    2030   212438   711223 |        1   142194     47 |  0.000 % |
560.58/560.69	c |   2361846 |    2030   212438   711223 |        1   171262     50 |  0.000 % |
560.58/560.69	c |   2390835 |    2030   212438   711223 |        1   200251     55 |  0.000 % |
560.58/560.69	c |   2450994 |    2030   212438   711223 |        1   152407     47 |  0.000 % |
560.58/560.69	c |   2451462 |    2030   212438   711223 |        1   152875     47 |  0.000 % |
560.58/560.69	c |   2453773 |    2030   212438   711223 |        1   155186     48 |  0.000 % |
560.58/560.69	c |   2617999 |    2030   212438   711223 |        1   208817     51 |  0.000 % |
560.58/560.69	c |   2627456 |    2030   212438   711223 |        1   218274     52 |  0.000 % |
560.58/560.69	c |   2640390 |    2030   212438   711223 |        1   118019     38 |  0.000 % |
560.58/560.69	c |   2669659 |    2030   212438   711223 |        1   147288     47 |  0.000 % |
560.58/560.69	c |   2685855 |    2030   212438   711223 |        1   163484     50 |  0.000 % |
560.58/560.69	c |   2686200 |    2030   212438   711223 |        1   163829     50 |  0.000 % |
560.58/560.69	c |   2690375 |    2030   212438   711223 |        1   168004     51 |  0.000 % |
560.58/560.69	c |   2690476 |    2030   212438   711223 |        1   168105     51 |  0.000 % |
560.58/560.69	c |   2700868 |    2030   212438   711223 |        1   178497     52 |  0.000 % |
560.58/560.69	c |   2720884 |    2030   212438   711223 |        1   198513     54 |  0.000 % |
560.58/560.69	c |   2728316 |    2030   212438   711223 |        1   205945     55 |  0.000 % |
764.19/764.23	c |   2735962 |    2030   212438   711223 |        1   213591     55 |  0.000 % |
764.19/764.23	c |   2794570 |    2030   212438   711223 |        1   156398     45 |  0.000 % |
764.19/764.23	c |   2795483 |    2030   212438   711223 |        1   157311     45 |  0.000 % |
764.19/764.23	c |   2949321 |    2030   212438   711223 |        1   192752     49 |  0.000 % |
764.19/764.23	c |   2949589 |    2030   212438   711223 |        1   193020     49 |  0.000 % |
764.19/764.23	c |   2951122 |    2030   212438   711223 |        1   194553     50 |  0.000 % |
764.19/764.23	c |   2952243 |    2030   212438   711223 |        1   195674     50 |  0.000 % |
764.19/764.23	c |   2957527 |    2030   212438   711223 |        1   200958     51 |  0.000 % |
764.19/764.23	c |   3016826 |    2030   212438   711223 |        1   139248     40 |  0.000 % |
764.19/764.23	c |   3021950 |    2030   212438   711223 |        1   144372     42 |  0.000 % |
764.19/764.23	c |   3074609 |    2030   212438   711223 |        1   197031     49 |  0.000 % |
764.19/764.23	c |   3083193 |    2030   212438   711223 |        1   205615     50 |  0.000 % |
764.19/764.23	c |   3089843 |    2030   212438   711223 |        1   212265     51 |  0.000 % |
764.19/764.23	c |   3093223 |    2030   212438   711223 |        1   215645     51 |  0.000 % |
764.19/764.23	c |   3093619 |    2030   212438   711223 |        1   216041     51 |  0.000 % |
764.19/764.23	c |   3094501 |    2030   212438   711223 |        1   216923     51 |  0.000 % |
764.19/764.23	c |   3144511 |    2030   212438   711223 |        1   143335     41 |  0.000 % |
764.19/764.23	c |   3152872 |    2030   212438   711223 |        1   151696     43 |  0.000 % |
764.19/764.23	c |   3198010 |    2030   212438   711223 |        1   196834     50 |  0.000 % |
764.19/764.23	c |   3238529 |    2030   212438   711223 |        1   237353     54 |  0.000 % |
764.19/764.23	c |   3244793 |    2030   212438   711223 |        1   243617     55 |  0.000 % |
764.19/764.23	c |   3244894 |    2030   212438   711223 |        1   243718     55 |  0.000 % |
764.19/764.23	c |   3254584 |    2030   212438   711223 |        1   127220     37 |  0.000 % |
764.19/764.23	c |   3262768 |    2030   212438   711223 |        1   135404     40 |  0.000 % |
764.19/764.23	c |   3299512 |    2030   212438   711223 |        1   172148     52 |  0.000 % |
764.19/764.23	c |   3299614 |    2030   212438   711223 |        1   172250     52 |  0.000 % |
764.19/764.23	c |   3327914 |    2030   212438   711223 |        1   200550     58 |  0.000 % |
764.19/764.23	c |   3331974 |    2030   212438   711223 |        1   204610     58 |  0.000 % |
764.19/764.23	c |   3338193 |    2030   212438   711223 |        1   210829     59 |  0.000 % |
764.19/764.23	c |   3359275 |    2030   212438   711223 |        1   231911     60 |  0.000 % |
764.19/764.23	c |   3359375 |    2030   212438   711223 |        1   232011     60 |  0.000 % |
764.19/764.23	c |   3359475 |    2030   212438   711223 |        1   232111     60 |  0.000 % |
764.19/764.23	c |   3369800 |    2030   212438   711223 |        1   242436     61 |  0.000 % |
764.19/764.23	c |   3408938 |    2030   212438   711223 |        1   152763     46 |  0.000 % |
764.19/764.23	c |   3466729 |    2030   212438   711223 |        1   210554     54 |  0.000 % |
764.19/764.23	c |   3481776 |    2030   212438   711223 |        1   225601     56 |  0.000 % |
764.19/764.23	c |   3482906 |    2030   212438   711223 |        1   226731     57 |  0.000 % |
764.19/764.23	c |   3493085 |    2030   212438   711223 |        1   236910     58 |  0.000 % |
764.19/764.23	c |   3494445 |    2030   212438   711223 |        1   238270     58 |  0.000 % |
764.19/764.23	c |   3495906 |    2030   212438   711223 |        1   239731     58 |  0.000 % |
764.19/764.23	c |   3523238 |    2030   212438   711223 |        1   135671     39 |  0.000 % |
764.19/764.23	c |   3527265 |    2030   212438   711223 |        1   139698     41 |  0.000 % |
764.19/764.23	c |   3565120 |    2030   212438   711223 |        1   177553     48 |  0.000 % |
764.19/764.23	c |   3565796 |    2030   212438   711223 |        1   178229     48 |  0.000 % |
764.19/764.23	c |   3567871 |    2030   212438   711223 |        1   180304     48 |  0.000 % |
764.19/764.23	c |   3569825 |    2030   212438   711223 |        1   182258     49 |  0.000 % |
764.19/764.23	c |   3586578 |    2030   212438   711223 |        1   199011     51 |  0.000 % |
764.19/764.23	c |   3591151 |    2030   212438   711223 |        1   203584     52 |  0.000 % |
764.19/764.23	c |   3596996 |    2030   212438   711223 |        1   209429     53 |  0.000 % |
764.19/764.23	c |   3606310 |    2030   212438   711223 |        1   218743     54 |  0.000 % |
853.99/854.02	c |   3606549 |    2030   212438   711223 |        1   218982     54 |  0.000 % |
853.99/854.02	c |   3607562 |    2030   212438   711223 |        1   219995     54 |  0.000 % |
853.99/854.02	c |   3628280 |    2030   212438   711223 |        1   240713     57 |  0.000 % |
853.99/854.02	c |   3643982 |    2030   212438   711223 |        1   256415     59 |  0.000 % |
853.99/854.02	c |   3644607 |    2030   212438   711223 |        1   257040     59 |  0.000 % |
853.99/854.02	c |   3656937 |    2030   212438   711223 |        1   135365     38 |  0.000 % |
853.99/854.02	c |   3659566 |    2030   212438   711223 |        1   137994     39 |  0.000 % |
853.99/854.02	c |   3670317 |    2030   212438   711223 |        1   148745     42 |  0.000 % |
853.99/854.02	c |   3682816 |    2030   212438   711223 |        1   161244     47 |  0.000 % |
853.99/854.02	c |   3683352 |    2030   212438   711223 |        1   161780     47 |  0.000 % |
853.99/854.02	c |   3689870 |    2030   212438   711223 |        1   168298     48 |  0.000 % |
853.99/854.02	c |   3690487 |    2030   212438   711223 |        1   168915     49 |  0.000 % |
853.99/854.02	c |   3722800 |    2030   212438   711223 |        1   201228     53 |  0.000 % |
853.99/854.02	c |   3727135 |    2030   212438   711223 |        1   205563     53 |  0.000 % |
853.99/854.02	c |   3744221 |    2030   212438   711223 |        1   222649     55 |  0.000 % |
853.99/854.02	c |   3750391 |    2030   212438   711223 |        1   228819     56 |  0.000 % |
853.99/854.02	c |   3768704 |    2030   212438   711223 |        1   247132     59 |  0.000 % |
853.99/854.02	c |   3772909 |    2030   212438   711223 |        1   251337     59 |  0.000 % |
853.99/854.02	c |   3773602 |    2030   212438   711223 |        1   252030     59 |  0.000 % |
853.99/854.02	c |   3776156 |    2030   212438   711223 |        1   254584     60 |  0.000 % |
853.99/854.02	c |   3776256 |    2030   212438   711223 |        1   254684     60 |  0.000 % |
853.99/854.02	c |   3778876 |    2030   212438   711223 |        1   257304     60 |  0.000 % |
853.99/854.02	c |   3779677 |    2030   212438   711223 |        1   258105     60 |  0.000 % |
853.99/854.02	c |   3780562 |    2030   212438   711223 |        1   258990     60 |  0.000 % |
853.99/854.02	c |   3813490 |    2030   212438   711223 |        1   155319     45 |  0.000 % |
853.99/854.02	c |   3863131 |    2030   212438   711223 |        1   204960     54 |  0.000 % |
853.99/854.02	c |   3875042 |    2030   212438   711223 |        1   216871     55 |  0.000 % |
853.99/854.02	c |   3879043 |    2030   212438   711223 |        1   220872     56 |  0.000 % |
853.99/854.02	c |   3879365 |    2030   212438   711223 |        1   221194     56 |  0.000 % |
853.99/854.02	c |   3879883 |    2030   212438   711223 |        1   221712     56 |  0.000 % |
853.99/854.02	c |   3880725 |    2030   212438   711223 |        1   222554     57 |  0.000 % |
853.99/854.02	c |   3898421 |    2030   212438   711223 |        1   240250     59 |  0.000 % |
853.99/854.02	c |   3906761 |    2030   212438   711223 |        1   248590     60 |  0.000 % |
853.99/854.02	c |   3908671 |    2030   212438   711223 |        1   250500     60 |  0.000 % |
853.99/854.02	c |   3913222 |    2030   212438   711223 |        1   255051     61 |  0.000 % |
853.99/854.02	c |   3952747 |    2030   212438   711223 |        1   155388     44 |  0.000 % |
853.99/854.02	c |   3976415 |    2030   212438   711223 |        1   179056     48 |  0.000 % |
853.99/854.02	c |   3981675 |    2030   212438   711223 |        1   184316     50 |  0.000 % |
853.99/854.02	c |   3989164 |    2030   212438   711223 |        1   191805     51 |  0.000 % |
853.99/854.02	c |   3993923 |    2030   212438   711223 |        1   196564     52 |  0.000 % |
853.99/854.02	c |   3995030 |    2030   212438   711223 |        1   197671     52 |  0.000 % |
853.99/854.02	c |   3995277 |    2030   212438   711223 |        1   197918     52 |  0.000 % |
853.99/854.02	c |   3997536 |    2030   212438   711223 |        1   200177     53 |  0.000 % |
853.99/854.02	c |   3997636 |    2030   212438   711223 |        1   200277     53 |  0.000 % |
853.99/854.02	c |   3999457 |    2030   212438   711223 |        1   202098     53 |  0.000 % |
853.99/854.02	c |   4022270 |    2030   212438   711223 |        1   224911     56 |  0.000 % |
853.99/854.02	c |   4034389 |    2030   212438   711223 |        1   237030     58 |  0.000 % |
853.99/854.02	c |   4045599 |    2030   212438   711223 |        1   248240     59 |  0.000 % |
853.99/854.02	c |   4047458 |    2030   212438   711223 |        1   250099     59 |  0.000 % |
853.99/854.02	c |   4047941 |    2030   212438   711223 |        1   250582     60 |  0.000 % |
979.40/979.40	c |   4055968 |    2030   212438   711223 |        1   258609     60 |  0.000 % |
979.40/979.40	c |   4061096 |    2030   212438   711223 |        1   263737     61 |  0.000 % |
979.40/979.40	c |   4071946 |    2030   212438   711223 |        1   274587     62 |  0.000 % |
979.40/979.40	c |   4109311 |    2030   212438   711223 |        1   170138     44 |  0.000 % |
979.40/979.40	c |   4121715 |    2030   212438   711223 |        1   182542     46 |  0.000 % |
979.40/979.40	c |   4130842 |    2030   212438   711223 |        1   191669     47 |  0.000 % |
979.40/979.40	c |   4136621 |    2030   212438   711223 |        1   197448     48 |  0.000 % |
979.40/979.40	c |   4145686 |    2030   212438   711223 |        1   206513     49 |  0.000 % |
979.40/979.40	c |   4212531 |    2030   212438   711223 |        1   273358     57 |  0.000 % |
979.40/979.40	c |   4219021 |    2030   212438   711223 |        1   279848     57 |  0.000 % |
979.40/979.40	c |   4226055 |    2030   212438   711223 |        1   286882     58 |  0.000 % |
979.40/979.40	c |   4226347 |    2030   212438   711223 |        1   287174     58 |  0.000 % |
979.40/979.40	c |   4231999 |    2030   212438   711223 |        1   148420     39 |  0.000 % |
979.40/979.40	c |   4235934 |    2030   212438   711223 |        1   152355     40 |  0.000 % |
979.40/979.40	c |   4264597 |    2030   212438   711223 |        1   181018     48 |  0.000 % |
979.40/979.40	c |   4264765 |    2030   212438   711223 |        1   181186     48 |  0.000 % |
979.40/979.40	c |   4265006 |    2030   212438   711223 |        1   181427     48 |  0.000 % |
979.40/979.40	c |   4271563 |    2030   212438   711223 |        1   187984     49 |  0.000 % |
979.40/979.40	c |   4282739 |    2030   212438   711223 |        1   199160     51 |  0.000 % |
979.40/979.40	c |   4305892 |    2030   212438   711223 |        1   222313     53 |  0.000 % |
979.40/979.40	c |   4306059 |    2030   212438   711223 |        1   222480     53 |  0.000 % |
979.40/979.40	c |   4310291 |    2030   212438   711223 |        1   226712     54 |  0.000 % |
979.40/979.40	c |   4310557 |    2030   212438   711223 |        1   226978     54 |  0.000 % |
979.40/979.40	c |   4317133 |    2030   212438   711223 |        1   233554     55 |  0.000 % |
979.40/979.40	c |   4318010 |    2030   212438   711223 |        1   234431     55 |  0.000 % |
979.40/979.40	c |   4335015 |    2030   212438   711223 |        1   251436     56 |  0.000 % |
979.40/979.40	c |   4337678 |    2030   212438   711223 |        1   254099     56 |  0.000 % |
979.40/979.40	c |   4337867 |    2030   212438   711223 |        1   254288     56 |  0.000 % |
979.40/979.40	c |   4339047 |    2030   212438   711223 |        1   255468     57 |  0.000 % |
979.40/979.40	c |   4342929 |    2030   212438   711223 |        1   259350     57 |  0.000 % |
979.40/979.40	c |   4343029 |    2030   212438   711223 |        1   259450     57 |  0.000 % |
979.40/979.40	c |   4344678 |    2030   212438   711223 |        1   261099     57 |  0.000 % |
979.40/979.40	c |   4345052 |    2030   212438   711223 |        1   261473     57 |  0.000 % |
979.40/979.40	c |   4345176 |    2030   212438   711223 |        1   261597     57 |  0.000 % |
979.40/979.40	c |   4355804 |    2030   212438   711223 |        1   272225     58 |  0.000 % |
979.40/979.40	c |   4365903 |    2030   212438   711223 |        1   282324     59 |  0.000 % |
979.40/979.40	c |   4369240 |    2030   212438   711223 |        1   285661     59 |  0.000 % |
979.40/979.40	c |   4371863 |    2030   212438   711223 |        1   288284     60 |  0.000 % |
979.40/979.40	c |   4390438 |    2030   212438   711223 |        1   159858     39 |  0.000 % |
979.40/979.40	c |   4422382 |    2030   212438   711223 |        1   191802     45 |  0.000 % |
979.40/979.40	c |   4430972 |    2030   212438   711223 |        1   200392     47 |  0.000 % |
979.40/979.40	c |   4515172 |    2030   212438   711223 |        1   284592     54 |  0.000 % |
979.40/979.40	c |   4534134 |    2030   212438   711223 |        1   153960     36 |  0.000 % |
979.40/979.40	c |   4548643 |    2030   212438   711223 |        1   168469     40 |  0.000 % |
979.40/979.40	c |   4548911 |    2030   212438   711223 |        1   168737     40 |  0.000 % |
979.40/979.40	c |   4560837 |    2030   212438   711223 |        1   180663     43 |  0.000 % |
979.40/979.40	c |   4573367 |    2030   212438   711223 |        1   193193     45 |  0.000 % |
979.40/979.40	c |   4576055 |    2030   212438   711223 |        1   195881     46 |  0.000 % |
979.40/979.40	c |   4576157 |    2030   212438   711223 |        1   195983     46 |  0.000 % |
979.40/979.40	c |   4596767 |    2030   212438   711223 |        1   216593     50 |  0.000 % |
1092.70/1092.76	c |   4607100 |    2030   212438   711223 |        1   226926     52 |  0.000 % |
1092.70/1092.76	c |   4611875 |    2030   212438   711223 |        1   231701     53 |  0.000 % |
1092.70/1092.76	c |   4613790 |    2030   212438   711223 |        1   233616     53 |  0.000 % |
1092.70/1092.76	c |   4630556 |    2030   212438   711223 |        1   250382     54 |  0.000 % |
1092.70/1092.76	c |   4653871 |    2030   212438   711223 |        1   273697     58 |  0.000 % |
1092.70/1092.76	c |   4730122 |    2030   212438   711223 |        1   197745     48 |  0.000 % |
1092.70/1092.76	c |   4731367 |    2030   212438   711223 |        1   198990     48 |  0.000 % |
1092.70/1092.76	c |   4732701 |    2030   212438   711223 |        1   200324     48 |  0.000 % |
1092.70/1092.76	c |   4732981 |    2030   212438   711223 |        1   200604     48 |  0.000 % |
1092.70/1092.76	c |   4746933 |    2030   212438   711223 |        1   214556     51 |  0.000 % |
1092.70/1092.76	c |   4792472 |    2030   212438   711223 |        1   260095     60 |  0.000 % |
1092.70/1092.76	c |   4792573 |    2030   212438   711223 |        1   260196     60 |  0.000 % |
1092.70/1092.76	c |   4795450 |    2030   212438   711223 |        1   263073     60 |  0.000 % |
1092.70/1092.76	c |   4796663 |    2030   212438   711223 |        1   264286     61 |  0.000 % |
1092.70/1092.76	c |   4797709 |    2030   212438   711223 |        1   265332     61 |  0.000 % |
1092.70/1092.76	c |   4798261 |    2030   212438   711223 |        1   265884     61 |  0.000 % |
1092.70/1092.76	c |   4798363 |    2030   212438   711223 |        1   265986     61 |  0.000 % |
1092.70/1092.76	c |   4803092 |    2030   212438   711223 |        1   270715     61 |  0.000 % |
1092.70/1092.76	c |   4804175 |    2030   212438   711223 |        1   271798     62 |  0.000 % |
1092.70/1092.76	c |   4804495 |    2030   212438   711223 |        1   272118     62 |  0.000 % |
1092.70/1092.76	c |   4808327 |    2030   212438   711223 |        1   275950     62 |  0.000 % |
1092.70/1092.76	c |   4825234 |    2030   212438   711223 |        1   292857     63 |  0.000 % |
1092.70/1092.76	c |   4830806 |    2030   212438   711223 |        1   298429     63 |  0.000 % |
1092.70/1092.76	c |   4831838 |    2030   212438   711223 |        1   299461     63 |  0.000 % |
1092.70/1092.76	c |   4850899 |    2030   212438   711223 |        1   163719     42 |  0.000 % |
1092.70/1092.76	c |   4851205 |    2030   212438   711223 |        1   164025     42 |  0.000 % |
1092.70/1092.76	c |   4851306 |    2030   212438   711223 |        1   164126     42 |  0.000 % |
1092.70/1092.76	c |   4855982 |    2030   212438   711223 |        1   168802     44 |  0.000 % |
1092.70/1092.76	c |   4856297 |    2030   212438   711223 |        1   169117     44 |  0.000 % |
1092.70/1092.76	c |   4876940 |    2030   212438   711223 |        1   189760     49 |  0.000 % |
1092.70/1092.76	c |   4884724 |    2030   212438   711223 |        1   197544     51 |  0.000 % |
1092.70/1092.76	c |   4890682 |    2030   212438   711223 |        1   203502     52 |  0.000 % |
1092.70/1092.76	c |   4893546 |    2030   212438   711223 |        1   206366     52 |  0.000 % |
1092.70/1092.76	c |   4893647 |    2030   212438   711223 |        1   206467     52 |  0.000 % |
1092.70/1092.76	c |   4906275 |    2030   212438   711223 |        1   219095     55 |  0.000 % |
1092.70/1092.76	c |   4906375 |    2030   212438   711223 |        1   219195     55 |  0.000 % |
1092.70/1092.76	c |   4939863 |    2030   212438   711223 |        1   252683     61 |  0.000 % |
1092.70/1092.76	c |   4941095 |    2030   212438   711223 |        1   253915     61 |  0.000 % |
1092.70/1092.76	c |   4941197 |    2030   212438   711223 |        1   254017     61 |  0.000 % |
1092.70/1092.76	c |   4947077 |    2030   212438   711223 |        1   259897     62 |  0.000 % |
1092.70/1092.76	c |   4950228 |    2030   212438   711223 |        1   263048     62 |  0.000 % |
1092.70/1092.76	c |   4961694 |    2030   212438   711223 |        1   274514     62 |  0.000 % |
1092.70/1092.76	c |   4964996 |    2030   212438   711223 |        1   277816     63 |  0.000 % |
1092.70/1092.76	c |   5011145 |    2030   212438   711223 |        1   166571     41 |  0.000 % |
1092.70/1092.76	c |   5012628 |    2030   212438   711223 |        1   168054     41 |  0.000 % |
1092.70/1092.76	c |   5012728 |    2030   212438   711223 |        1   168154     42 |  0.000 % |
1092.70/1092.76	c |   5019191 |    2030   212438   711223 |        1   174617     43 |  0.000 % |
1092.70/1092.76	c |   5037778 |    2030   212438   711223 |        1   193204     47 |  0.000 % |
1092.70/1092.76	c |   5046371 |    2030   212438   711223 |        1   201797     48 |  0.000 % |
1092.70/1092.76	c |   5115425 |    2030   212438   711223 |        1   270851     57 |  0.000 % |
1331.01/1331.09	c |   5116050 |    2030   212438   711223 |        1   271476     57 |  0.000 % |
1331.01/1331.09	c |   5130889 |    2030   212438   711223 |        1   286315     57 |  0.000 % |
1331.01/1331.09	c |   5132915 |    2030   212438   711223 |        1   288341     58 |  0.000 % |
1331.01/1331.09	c |   5139895 |    2030   212438   711223 |        1   295321     58 |  0.000 % |
1331.01/1331.09	c |   5142406 |    2030   212438   711223 |        1   297832     58 |  0.000 % |
1331.01/1331.09	c |   5150230 |    2030   212438   711223 |        1   305656     60 |  0.000 % |
1331.01/1331.09	c |   5164246 |    2030   212438   711223 |        1   319672     60 |  0.000 % |
1331.01/1331.09	c |   5166065 |    2030   212438   711223 |        1   161485     37 |  0.000 % |
1331.01/1331.09	c |   5166662 |    2030   212438   711223 |        1   162082     37 |  0.000 % |
1331.01/1331.09	c |   5176881 |    2030   212438   711223 |        1   172301     40 |  0.000 % |
1331.01/1331.09	c |   5199102 |    2030   212438   711223 |        1   194522     43 |  0.000 % |
1331.01/1331.09	c |   5321545 |    2030   212438   711223 |        1   316965     55 |  0.000 % |
1331.01/1331.09	c |   5353715 |    2030   212438   711223 |        1   186537     42 |  0.000 % |
1331.01/1331.09	c |   5379427 |    2030   212438   711223 |        1   212249     45 |  0.000 % |
1331.01/1331.09	c |   5398300 |    2030   212438   711223 |        1   231122     48 |  0.000 % |
1331.01/1331.09	c |   5408885 |    2030   212438   711223 |        1   241707     49 |  0.000 % |
1331.01/1331.09	c |   5437315 |    2030   212438   711223 |        1   270137     52 |  0.000 % |
1331.01/1331.09	c |   5489909 |    2030   212438   711223 |        1   322731     55 |  0.000 % |
1331.01/1331.09	c |   5491274 |    2030   212438   711223 |        1   324096     55 |  0.000 % |
1331.01/1331.09	c |   5493420 |    2030   212438   711223 |        1   326242     55 |  0.000 % |
1331.01/1331.09	c |   5500520 |    2030   212438   711223 |        1   168142     36 |  0.000 % |
1331.01/1331.09	c |   5503105 |    2030   212438   711223 |        1   170727     37 |  0.000 % |
1331.01/1331.09	c |   5508795 |    2030   212438   711223 |        1   176417     38 |  0.000 % |
1331.01/1331.09	c |   5515555 |    2030   212438   711223 |        1   183177     40 |  0.000 % |
1331.01/1331.09	c |   5515712 |    2030   212438   711223 |        1   183334     40 |  0.000 % |
1331.01/1331.09	c |   5520880 |    2030   212438   711223 |        1   188502     41 |  0.000 % |
1331.01/1331.09	c |   5551907 |    2030   212438   711223 |        1   219529     45 |  0.000 % |
1331.01/1331.09	c |   5553003 |    2030   212438   711223 |        1   220625     45 |  0.000 % |
1331.01/1331.09	c |   5567172 |    2030   212438   711223 |        1   234794     47 |  0.000 % |
1331.01/1331.09	c |   5582769 |    2030   212438   711223 |        1   250391     48 |  0.000 % |
1331.01/1331.09	c |   5654949 |    2030   212438   711223 |        1   322571     55 |  0.000 % |
1331.01/1331.09	c |   5670577 |    2030   212438   711223 |        1   170404     36 |  0.000 % |
1331.01/1331.09	c |   5677295 |    2030   212438   711223 |        1   177122     37 |  0.000 % |
1331.01/1331.09	c |   5692174 |    2030   212438   711223 |        1   192001     40 |  0.000 % |
1331.01/1331.09	c |   5724049 |    2030   212438   711223 |        1   223876     44 |  0.000 % |
1331.01/1331.09	c |   5731689 |    2030   212438   711223 |        1   231516     45 |  0.000 % |
1331.01/1331.09	c |   5750022 |    2030   212438   711223 |        1   249849     47 |  0.000 % |
1331.01/1331.09	c |   5751319 |    2030   212438   711223 |        1   251146     47 |  0.000 % |
1331.01/1331.09	c |   5777585 |    2030   212438   711223 |        1   277412     49 |  0.000 % |
1331.01/1331.09	c |   5782287 |    2030   212438   711223 |        1   282114     49 |  0.000 % |
1331.01/1331.09	c |   5788876 |    2030   212438   711223 |        1   288703     50 |  0.000 % |
1331.01/1331.09	c |   5821894 |    2030   212438   711223 |        1   321721     52 |  0.000 % |
1331.01/1331.09	c |   5888361 |    2030   212438   711223 |        1   217784     43 |  0.000 % |
1331.01/1331.09	c |   5901165 |    2030   212438   711223 |        1   230588     44 |  0.000 % |
1331.01/1331.09	c |   5954040 |    2030   212438   711223 |        1   283463     49 |  0.000 % |
1331.01/1331.09	c |   6029644 |    2030   212438   711223 |        1   186092     37 |  0.000 % |
1331.01/1331.09	c |   6036092 |    2030   212438   711223 |        1   192540     38 |  0.000 % |
1331.01/1331.09	c |   6036192 |    2030   212438   711223 |        1   192640     38 |  0.000 % |
1331.01/1331.09	c |   6043436 |    2030   212438   711223 |        1   199884     39 |  0.000 % |
1533.61/1533.62	c |   6050171 |    2030   212438   711223 |        1   206619     41 |  0.000 % |
1533.61/1533.62	c |   6050970 |    2030   212438   711223 |        1   207418     41 |  0.000 % |
1533.61/1533.62	c |   6058033 |    2030   212438   711223 |        1   214481     42 |  0.000 % |
1533.61/1533.62	c |   6117880 |    2030   212438   711223 |        1   274328     47 |  0.000 % |
1533.61/1533.62	c |   6121340 |    2030   212438   711223 |        1   277788     47 |  0.000 % |
1533.61/1533.62	c |   6121971 |    2030   212438   711223 |        1   278419     48 |  0.000 % |
1533.61/1533.62	c |   6122179 |    2030   212438   711223 |        1   278627     48 |  0.000 % |
1533.61/1533.62	c |   6123961 |    2030   212438   711223 |        1   280409     48 |  0.000 % |
1533.61/1533.62	c |   6160177 |    2030   212438   711223 |        1   316625     51 |  0.000 % |
1533.61/1533.62	c |   6261503 |    2030   212438   711223 |        1   242338     49 |  0.000 % |
1533.61/1533.62	c |   6261861 |    2030   212438   711223 |        1   242696     49 |  0.000 % |
1533.61/1533.62	c |   6266610 |    2030   212438   711223 |        1   247445     50 |  0.000 % |
1533.61/1533.62	c |   6266872 |    2030   212438   711223 |        1   247707     50 |  0.000 % |
1533.61/1533.62	c |   6269501 |    2030   212438   711223 |        1   250336     50 |  0.000 % |
1533.61/1533.62	c |   6287811 |    2030   212438   711223 |        1   268646     51 |  0.000 % |
1533.61/1533.62	c |   6327153 |    2030   212438   711223 |        1   307988     53 |  0.000 % |
1533.61/1533.62	c |   6342309 |    2030   212438   711223 |        1   323144     54 |  0.000 % |
1533.61/1533.62	c |   6349682 |    2030   212438   711223 |        1   330517     54 |  0.000 % |
1533.61/1533.62	c |   6355076 |    2030   212438   711223 |        1   335911     55 |  0.000 % |
1533.61/1533.62	c |   6357477 |    2030   212438   711223 |        1   338312     55 |  0.000 % |
1533.61/1533.62	c |   6361984 |    2030   212438   711223 |        1   342819     55 |  0.000 % |
1533.61/1533.62	c |   6362139 |    2030   212438   711223 |        1   342974     55 |  0.000 % |
1533.61/1533.62	c |   6362846 |    2030   212438   711223 |        1   343681     55 |  0.000 % |
1533.61/1533.62	c |   6384735 |    2030   212438   711223 |        1   187370     38 |  0.000 % |
1533.61/1533.62	c |   6404917 |    2030   212438   711223 |        1   207552     43 |  0.000 % |
1533.61/1533.62	c |   6405081 |    2030   212438   711223 |        1   207716     43 |  0.000 % |
1533.61/1533.62	c |   6468412 |    2030   212438   711223 |        1   271047     52 |  0.000 % |
1533.61/1533.62	c |   6492649 |    2030   212438   711223 |        1   295284     56 |  0.000 % |
1533.61/1533.62	c |   6514341 |    2030   212438   711223 |        1   316976     58 |  0.000 % |
1533.61/1533.62	c |   6514961 |    2030   212438   711223 |        1   317596     58 |  0.000 % |
1533.61/1533.62	c |   6567727 |    2030   212438   711223 |        1   189568     40 |  0.000 % |
1533.61/1533.62	c |   6569551 |    2030   212438   711223 |        1   191392     40 |  0.000 % |
1533.61/1533.62	c |   6591580 |    2030   212438   711223 |        1   213421     45 |  0.000 % |
1533.61/1533.62	c |   6598440 |    2030   212438   711223 |        1   220281     46 |  0.000 % |
1533.61/1533.62	c |   6599477 |    2030   212438   711223 |        1   221318     46 |  0.000 % |
1533.61/1533.62	c |   6606696 |    2030   212438   711223 |        1   228537     47 |  0.000 % |
1533.61/1533.62	c |   6634234 |    2030   212438   711223 |        1   256075     53 |  0.000 % |
1533.61/1533.62	c |   6634597 |    2030   212438   711223 |        1   256438     53 |  0.000 % |
1533.61/1533.62	c |   6634875 |    2030   212438   711223 |        1   256716     53 |  0.000 % |
1533.61/1533.62	c |   6638346 |    2030   212438   711223 |        1   260187     53 |  0.000 % |
1533.61/1533.62	c |   6687029 |    2030   212438   711223 |        1   308870     58 |  0.000 % |
1533.61/1533.62	c |   6689965 |    2030   212438   711223 |        1   311806     59 |  0.000 % |
1533.61/1533.62	c |   6762952 |    2030   212438   711223 |        1   201398     40 |  0.000 % |
1533.61/1533.62	c |   6780702 |    2030   212438   711223 |        1   219148     43 |  0.000 % |
1533.61/1533.62	c |   6784486 |    2030   212438   711223 |        1   222932     44 |  0.000 % |
1533.61/1533.62	c |   6786747 |    2030   212438   711223 |        1   225193     44 |  0.000 % |
1533.61/1533.62	c |   6792958 |    2030   212438   711223 |        1   231404     45 |  0.000 % |
1533.61/1533.62	c |   6826561 |    2030   212438   711223 |        1   265007     49 |  0.000 % |
1533.61/1533.62	c |   6830741 |    2030   212438   711223 |        1   269187     49 |  0.000 % |
1533.61/1533.62	c |   6830843 |    2030   212438   711223 |        1   269289     49 |  0.000 % |
1657.11/1657.11	c |   6834153 |    2030   212438   711223 |        1   272599     50 |  0.000 % |
1657.11/1657.11	c |   6839815 |    2030   212438   711223 |        1   278261     50 |  0.000 % |
1657.11/1657.11	c |   6857103 |    2030   212438   711223 |        1   295549     52 |  0.000 % |
1657.11/1657.11	c |   6865065 |    2030   212438   711223 |        1   303511     52 |  0.000 % |
1657.11/1657.11	c |   6871617 |    2030   212438   711223 |        1   310063     53 |  0.000 % |
1657.11/1657.11	c |   6882741 |    2030   212438   711223 |        1   321187     54 |  0.000 % |
1657.11/1657.11	c |   6886054 |    2030   212438   711223 |        1   324500     54 |  0.000 % |
1657.11/1657.11	c |   6887676 |    2030   212438   711223 |        1   326122     54 |  0.000 % |
1657.11/1657.11	c |   6891458 |    2030   212438   711223 |        1   329904     55 |  0.000 % |
1657.11/1657.11	c |   6913564 |    2030   212438   711223 |        1   352010     56 |  0.000 % |
1657.11/1657.11	c |   6917862 |    2030   212438   711223 |        1   356308     56 |  0.000 % |
1657.11/1657.11	c |   6918537 |    2030   212438   711223 |        1   356983     56 |  0.000 % |
1657.11/1657.11	c |   6921344 |    2030   212438   711223 |        1   359790     56 |  0.000 % |
1657.11/1657.11	c |   6921444 |    2030   212438   711223 |        1   359890     56 |  0.000 % |
1657.11/1657.11	c |   6922055 |    2030   212438   711223 |        1   360501     56 |  0.000 % |
1657.11/1657.11	c |   6930719 |    2030   212438   711223 |        1   369165     57 |  0.000 % |
1657.11/1657.11	c |   6940335 |    2030   212438   711223 |        1   192769     36 |  0.000 % |
1657.11/1657.11	c |   6946993 |    2030   212438   711223 |        1   199427     38 |  0.000 % |
1657.11/1657.11	c |   6948906 |    2030   212438   711223 |        1   201340     38 |  0.000 % |
1657.11/1657.11	c |   6951750 |    2030   212438   711223 |        1   204184     39 |  0.000 % |
1657.11/1657.11	c |   6980823 |    2030   212438   711223 |        1   233257     44 |  0.000 % |
1657.11/1657.11	c |   7005062 |    2030   212438   711223 |        1   257496     49 |  0.000 % |
1657.11/1657.11	c |   7006143 |    2030   212438   711223 |        1   258577     49 |  0.000 % |
1657.11/1657.11	c |   7037190 |    2030   212438   711223 |        1   289624     53 |  0.000 % |
1657.11/1657.11	c |   7037292 |    2030   212438   711223 |        1   289726     53 |  0.000 % |
1657.11/1657.11	c |   7038209 |    2030   212438   711223 |        1   290643     53 |  0.000 % |
1657.11/1657.11	c |   7044939 |    2030   212438   711223 |        1   297373     54 |  0.000 % |
1657.11/1657.11	c |   7046213 |    2030   212438   711223 |        1   298647     54 |  0.000 % |
1657.11/1657.11	c |   7050107 |    2030   212438   711223 |        1   302541     55 |  0.000 % |
1657.11/1657.11	c |   7057266 |    2030   212438   711223 |        1   309700     56 |  0.000 % |
1657.11/1657.11	c |   7070340 |    2030   212438   711223 |        1   322774     57 |  0.000 % |
1657.11/1657.11	c |   7082834 |    2030   212438   711223 |        1   335268     58 |  0.000 % |
1657.11/1657.11	c |   7088396 |    2030   212438   711223 |        1   340830     58 |  0.000 % |
1657.11/1657.11	c |   7117267 |    2030   212438   711223 |        1   369701     61 |  0.000 % |
1657.11/1657.11	c |   7120209 |    2030   212438   711223 |        1   372643     61 |  0.000 % |
1657.11/1657.11	c |   7126125 |    2030   212438   711223 |        1   189950     38 |  0.000 % |
1657.11/1657.11	c |   7158307 |    2030   212438   711223 |        1   222132     44 |  0.000 % |
1657.11/1657.11	c |   7163655 |    2030   212438   711223 |        1   227480     45 |  0.000 % |
1657.11/1657.11	c |   7168778 |    2030   212438   711223 |        1   232603     46 |  0.000 % |
1657.11/1657.11	c |   7180767 |    2030   212438   711223 |        1   244592     47 |  0.000 % |
1657.11/1657.11	c |   7211476 |    2030   212438   711223 |        1   275301     49 |  0.000 % |
1657.11/1657.11	c |   7212697 |    2030   212438   711223 |        1   276522     49 |  0.000 % |
1657.11/1657.11	c |   7245171 |    2030   212438   711223 |        1   308996     52 |  0.000 % |
1657.11/1657.11	c |   7261664 |    2030   212438   711223 |        1   325489     52 |  0.000 % |
1657.11/1657.11	c |   7265710 |    2030   212438   711223 |        1   329535     52 |  0.000 % |
1657.11/1657.11	c |   7266638 |    2030   212438   711223 |        1   330463     52 |  0.000 % |
1657.11/1657.11	c |   7266788 |    2030   212438   711223 |        1   330613     52 |  0.000 % |
1657.11/1657.11	c |   7328645 |    2030   212438   711223 |        1   201278     38 |  0.000 % |
1657.11/1657.11	c |   7330277 |    2030   212438   711223 |        1   202910     38 |  0.000 % |
1657.11/1657.11	c |   7330377 |    2030   212438   711223 |        1   203010     38 |  0.000 % |
1825.21/1825.27	c |   7330479 |    2030   212438   711223 |        1   203112     38 |  0.000 % |
1825.21/1825.27	c |   7345048 |    2030   212438   711223 |        1   217681     41 |  0.000 % |
1825.21/1825.27	c |   7345292 |    2030   212438   711223 |        1   217925     41 |  0.000 % |
1825.21/1825.27	c |   7354805 |    2030   212438   711223 |        1   227438     43 |  0.000 % |
1825.21/1825.27	c |   7384317 |    2030   212438   711223 |        1   256950     48 |  0.000 % |
1825.21/1825.27	c |   7388674 |    2030   212438   711223 |        1   261307     48 |  0.000 % |
1825.21/1825.27	c |   7408484 |    2030   212438   711223 |        1   281117     50 |  0.000 % |
1825.21/1825.27	c |   7461638 |    2030   212438   711223 |        1   334271     55 |  0.000 % |
1825.21/1825.27	c |   7463661 |    2030   212438   711223 |        1   336294     56 |  0.000 % |
1825.21/1825.27	c |   7464895 |    2030   212438   711223 |        1   337528     56 |  0.000 % |
1825.21/1825.27	c |   7465317 |    2030   212438   711223 |        1   337950     56 |  0.000 % |
1825.21/1825.27	c |   7465698 |    2030   212438   711223 |        1   338331     56 |  0.000 % |
1825.21/1825.27	c |   7470878 |    2030   212438   711223 |        1   343511     56 |  0.000 % |
1825.21/1825.27	c |   7479386 |    2030   212438   711223 |        1   352019     57 |  0.000 % |
1825.21/1825.27	c |   7479487 |    2030   212438   711223 |        1   352120     57 |  0.000 % |
1825.21/1825.27	c |   7480149 |    2030   212438   711223 |        1   352782     57 |  0.000 % |
1825.21/1825.27	c |   7484932 |    2030   212438   711223 |        1   357565     57 |  0.000 % |
1825.21/1825.27	c |   7535766 |    2030   212438   711223 |        1   214600     40 |  0.000 % |
1825.21/1825.27	c |   7566291 |    2030   212438   711223 |        1   245125     43 |  0.000 % |
1825.21/1825.27	c |   7566392 |    2030   212438   711223 |        1   245226     43 |  0.000 % |
1825.21/1825.27	c |   7567232 |    2030   212438   711223 |        1   246066     43 |  0.000 % |
1825.21/1825.27	c |   7568605 |    2030   212438   711223 |        1   247439     44 |  0.000 % |
1825.21/1825.27	c |   7569232 |    2030   212438   711223 |        1   248066     44 |  0.000 % |
1825.21/1825.27	c |   7570136 |    2030   212438   711223 |        1   248970     44 |  0.000 % |
1825.21/1825.27	c |   7574359 |    2030   212438   711223 |        1   253193     45 |  0.000 % |
1825.21/1825.27	c |   7575497 |    2030   212438   711223 |        1   254331     45 |  0.000 % |
1825.21/1825.27	c |   7582393 |    2030   212438   711223 |        1   261227     46 |  0.000 % |
1825.21/1825.27	c |   7583672 |    2030   212438   711223 |        1   262506     46 |  0.000 % |
1825.21/1825.27	c |   7589484 |    2030   212438   711223 |        1   268318     47 |  0.000 % |
1825.21/1825.27	c |   7590650 |    2030   212438   711223 |        1   269484     47 |  0.000 % |
1825.21/1825.27	c |   7590762 |    2030   212438   711223 |        1   269596     47 |  0.000 % |
1825.21/1825.27	c |   7592202 |    2030   212438   711223 |        1   271036     47 |  0.000 % |
1825.21/1825.27	c |   7636942 |    2030   212438   711223 |        1   315776     51 |  0.000 % |
1825.21/1825.27	c |   7638165 |    2030   212438   711223 |        1   316999     51 |  0.000 % |
1825.21/1825.27	c |   7643782 |    2030   212438   711223 |        1   322616     52 |  0.000 % |
1825.21/1825.27	c |   7644602 |    2030   212438   711223 |        1   323436     52 |  0.000 % |
1825.21/1825.27	c |   7644739 |    2030   212438   711223 |        1   323573     52 |  0.000 % |
1825.21/1825.27	c |   7664755 |    2030   212438   711223 |        1   343589     55 |  0.000 % |
1825.21/1825.27	c |   7740602 |    2030   212438   711223 |        1   223029     39 |  0.000 % |
1825.21/1825.27	c |   7740953 |    2030   212438   711223 |        1   223380     39 |  0.000 % |
1825.21/1825.27	c |   7765762 |    2030   212438   711223 |        1   248189     43 |  0.000 % |
1825.21/1825.27	c |   7766068 |    2030   212438   711223 |        1   248495     43 |  0.000 % |
1825.21/1825.27	c |   7797043 |    2030   212438   711223 |        1   279470     46 |  0.000 % |
1825.21/1825.27	c |   7806693 |    2030   212438   711223 |        1   289120     47 |  0.000 % |
1825.21/1825.27	c |   7807200 |    2030   212438   711223 |        1   289627     47 |  0.000 % |
1825.21/1825.27	c |   7873626 |    2030   212438   711223 |        1   356053     51 |  0.000 % |
1825.21/1825.27	c |   7874413 |    2030   212438   711223 |        1   356840     51 |  0.000 % |
1825.21/1825.27	c |   7881494 |    2030   212438   711223 |        1   363921     52 |  0.000 % |
1825.21/1825.27	c |   7929676 |    2030   212438   711223 |        1   213100     37 |  0.000 % |
1825.21/1825.27	c |   7930584 |    2030   212438   711223 |        1   214008     37 |  0.000 % |
2040.62/2040.63	c |   7941876 |    2030   212438   711223 |        1   225300     39 |  0.000 % |
2040.62/2040.63	c |   7960265 |    2030   212438   711223 |        1   243689     42 |  0.000 % |
2040.62/2040.63	c |   8007986 |    2030   212438   711223 |        1   291410     48 |  0.000 % |
2040.62/2040.63	c |   8013012 |    2030   212438   711223 |        1   296436     49 |  0.000 % |
2040.62/2040.63	c |   8045589 |    2030   212438   711223 |        1   329013     52 |  0.000 % |
2040.62/2040.63	c |   8048677 |    2030   212438   711223 |        1   332101     53 |  0.000 % |
2040.62/2040.63	c |   8050543 |    2030   212438   711223 |        1   333967     53 |  0.000 % |
2040.62/2040.63	c |   8051412 |    2030   212438   711223 |        1   334836     53 |  0.000 % |
2040.62/2040.63	c |   8066167 |    2030   212438   711223 |        1   349591     54 |  0.000 % |
2040.62/2040.63	c |   8090885 |    2030   212438   711223 |        1   374309     56 |  0.000 % |
2040.62/2040.63	c |   8146972 |    2030   212438   711223 |        1   228807     42 |  0.000 % |
2040.62/2040.63	c |   8147423 |    2030   212438   711223 |        1   229258     42 |  0.000 % |
2040.62/2040.63	c |   8163282 |    2030   212438   711223 |        1   245117     44 |  0.000 % |
2040.62/2040.63	c |   8191480 |    2030   212438   711223 |        1   273315     47 |  0.000 % |
2040.62/2040.63	c |   8301897 |    2030   212438   711223 |        1   383732     52 |  0.000 % |
2040.62/2040.63	c |   8365493 |    2030   212438   711223 |        1   243138     40 |  0.000 % |
2040.62/2040.63	c |   8390443 |    2030   212438   711223 |        1   268088     42 |  0.000 % |
2040.62/2040.63	c |   8391911 |    2030   212438   711223 |        1   269556     43 |  0.000 % |
2040.62/2040.63	c |   8392011 |    2030   212438   711223 |        1   269656     43 |  0.000 % |
2040.62/2040.63	c |   8394804 |    2030   212438   711223 |        1   272449     43 |  0.000 % |
2040.62/2040.63	c |   8425998 |    2030   212438   711223 |        1   303643     46 |  0.000 % |
2040.62/2040.63	c |   8465904 |    2030   212438   711223 |        1   343549     48 |  0.000 % |
2040.62/2040.63	c |   8493025 |    2030   212438   711223 |        1   370670     51 |  0.000 % |
2040.62/2040.63	c |   8493125 |    2030   212438   711223 |        1   370770     51 |  0.000 % |
2040.62/2040.63	c |   8494523 |    2030   212438   711223 |        1   372168     52 |  0.000 % |
2040.62/2040.63	c |   8496543 |    2030   212438   711223 |        1   374188     52 |  0.000 % |
2040.62/2040.63	c |   8520014 |    2030   212438   711223 |        1   397659     53 |  0.000 % |
2040.62/2040.63	c |   8522815 |    2030   212438   711223 |        1   400460     53 |  0.000 % |
2040.62/2040.63	c |   8523023 |    2030   212438   711223 |        1   400668     54 |  0.000 % |
2040.62/2040.63	c |   8525692 |    2030   212438   711223 |        1   403337     54 |  0.000 % |
2040.62/2040.63	c |   8526117 |    2030   212438   711223 |        1   403762     54 |  0.000 % |
2040.62/2040.63	c |   8533184 |    2030   212438   711223 |        1   410829     54 |  0.000 % |
2040.62/2040.63	c |   8542120 |    2030   212438   711223 |        1   212954     36 |  0.000 % |
2040.62/2040.63	c |   8545087 |    2030   212438   711223 |        1   215921     37 |  0.000 % |
2040.62/2040.63	c |   8551791 |    2030   212438   711223 |        1   222625     38 |  0.000 % |
2040.62/2040.63	c |   8552551 |    2030   212438   711223 |        1   223385     38 |  0.000 % |
2040.62/2040.63	c |   8558779 |    2030   212438   711223 |        1   229613     39 |  0.000 % |
2040.62/2040.63	c |   8559161 |    2030   212438   711223 |        1   229995     39 |  0.000 % |
2040.62/2040.63	c |   8567151 |    2030   212438   711223 |        1   237985     40 |  0.000 % |
2040.62/2040.63	c |   8568486 |    2030   212438   711223 |        1   239320     41 |  0.000 % |
2040.62/2040.63	c |   8568762 |    2030   212438   711223 |        1   239596     41 |  0.000 % |
2040.62/2040.63	c |   8569453 |    2030   212438   711223 |        1   240287     41 |  0.000 % |
2040.62/2040.63	c |   8597722 |    2030   212438   711223 |        1   268556     45 |  0.000 % |
2040.62/2040.63	c |   8619336 |    2030   212438   711223 |        1   290170     47 |  0.000 % |
2040.62/2040.63	c |   8633066 |    2030   212438   711223 |        1   303900     48 |  0.000 % |
2040.62/2040.63	c |   8637510 |    2030   212438   711223 |        1   308344     49 |  0.000 % |
2040.62/2040.63	c |   8644357 |    2030   212438   711223 |        1   315191     49 |  0.000 % |
2040.62/2040.63	c |   8680531 |    2030   212438   711223 |        1   351365     51 |  0.000 % |
2040.62/2040.63	c |   8680873 |    2030   212438   711223 |        1   351707     51 |  0.000 % |
2040.62/2040.63	c |   8694779 |    2030   212438   711223 |        1   365613     52 |  0.000 % |
2147.13/2147.13	c |   8695955 |    2030   212438   711223 |        1   366789     52 |  0.000 % |
2147.13/2147.13	c |   8703491 |    2030   212438   711223 |        1   374325     52 |  0.000 % |
2147.13/2147.13	c |   8713521 |    2030   212438   711223 |        1   384355     53 |  0.000 % |
2147.13/2147.13	c |   8714279 |    2030   212438   711223 |        1   385113     53 |  0.000 % |
2147.13/2147.13	c |   8719477 |    2030   212438   711223 |        1   390311     53 |  0.000 % |
2147.13/2147.13	c |   8722242 |    2030   212438   711223 |        1   393076     54 |  0.000 % |
2147.13/2147.13	c |   8723026 |    2030   212438   711223 |        1   393860     54 |  0.000 % |
2147.13/2147.13	c |   8727851 |    2030   212438   711223 |        1   398685     54 |  0.000 % |
2147.13/2147.13	c |   8728680 |    2030   212438   711223 |        1   399514     54 |  0.000 % |
2147.13/2147.13	c |   8729109 |    2030   212438   711223 |        1   399943     54 |  0.000 % |
2147.13/2147.13	c |   8733729 |    2030   212438   711223 |        1   404563     54 |  0.000 % |
2147.13/2147.13	c |   8733829 |    2030   212438   711223 |        1   404663     54 |  0.000 % |
2147.13/2147.13	c |   8738438 |    2030   212438   711223 |        1   409272     55 |  0.000 % |
2147.13/2147.13	c |   8740031 |    2030   212438   711223 |        1   410865     55 |  0.000 % |
2147.13/2147.13	c |   8761179 |    2030   212438   711223 |        1   222609     38 |  0.000 % |
2147.13/2147.13	c |   8771390 |    2030   212438   711223 |        1   232820     39 |  0.000 % |
2147.13/2147.13	c |   8771845 |    2030   212438   711223 |        1   233275     39 |  0.000 % |
2147.13/2147.13	c |   8778316 |    2030   212438   711223 |        1   239746     41 |  0.000 % |
2147.13/2147.13	c |   8780630 |    2030   212438   711223 |        1   242060     41 |  0.000 % |
2147.13/2147.13	c |   8794917 |    2030   212438   711223 |        1   256347     43 |  0.000 % |
2147.13/2147.13	c |   8812300 |    2030   212438   711223 |        1   273730     46 |  0.000 % |
2147.13/2147.13	c |   8825927 |    2030   212438   711223 |        1   287357     48 |  0.000 % |
2147.13/2147.13	c |   8831652 |    2030   212438   711223 |        1   293082     48 |  0.000 % |
2147.13/2147.13	c |   8832652 |    2030   212438   711223 |        1   294082     48 |  0.000 % |
2147.13/2147.13	c |   8832752 |    2030   212438   711223 |        1   294182     48 |  0.000 % |
2147.13/2147.13	c |   8835804 |    2030   212438   711223 |        1   297234     49 |  0.000 % |
2147.13/2147.13	c |   8837814 |    2030   212438   711223 |        1   299244     49 |  0.000 % |
2147.13/2147.13	c |   8908010 |    2030   212438   711223 |        1   369440     53 |  0.000 % |
2147.13/2147.13	c |   8908119 |    2030   212438   711223 |        1   369549     53 |  0.000 % |
2147.13/2147.13	c |   8914585 |    2030   212438   711223 |        1   376015     53 |  0.000 % |
2147.13/2147.13	c |   8914687 |    2030   212438   711223 |        1   376117     53 |  0.000 % |
2147.13/2147.13	c |   8918081 |    2030   212438   711223 |        1   379511     54 |  0.000 % |
2147.13/2147.13	c |   8924558 |    2030   212438   711223 |        1   385988     54 |  0.000 % |
2147.13/2147.13	c |   8957009 |    2030   212438   711223 |        1   418439     55 |  0.000 % |
2147.13/2147.13	c |   8970823 |    2030   212438   711223 |        1   220246     36 |  0.000 % |
2147.13/2147.13	c |   8982068 |    2030   212438   711223 |        1   231491     37 |  0.000 % |
2147.13/2147.13	c |   8987130 |    2030   212438   711223 |        1   236553     38 |  0.000 % |
2147.13/2147.13	c |   8995590 |    2030   212438   711223 |        1   245013     39 |  0.000 % |
2147.13/2147.13	c |   9007481 |    2030   212438   711223 |        1   256904     40 |  0.000 % |
2147.13/2147.13	c |   9007583 |    2030   212438   711223 |        1   257006     40 |  0.000 % |
2147.13/2147.13	c |   9025079 |    2030   212438   711223 |        1   274502     42 |  0.000 % |
2147.13/2147.13	c |   9026175 |    2030   212438   711223 |        1   275598     42 |  0.000 % |
2147.13/2147.13	c |   9034960 |    2030   212438   711223 |        1   284383     44 |  0.000 % |
2147.13/2147.13	c |   9039738 |    2030   212438   711223 |        1   289161     44 |  0.000 % |
2147.13/2147.13	c |   9039944 |    2030   212438   711223 |        1   289367     44 |  0.000 % |
2147.13/2147.13	c |   9057116 |    2030   212438   711223 |        1   306539     46 |  0.000 % |
2147.13/2147.13	c |   9061430 |    2030   212438   711223 |        1   310853     47 |  0.000 % |
2147.13/2147.13	c |   9073130 |    2030   212438   711223 |        1   322553     48 |  0.000 % |
2147.13/2147.13	c |   9075518 |    2030   212438   711223 |        1   324941     48 |  0.000 % |
2147.13/2147.13	c |   9078427 |    2030   212438   711223 |        1   327850     48 |  0.000 % |
2366.14/2366.13	c |   9078855 |    2030   212438   711223 |        1   328278     49 |  0.000 % |
2366.14/2366.13	c |   9125814 |    2030   212438   711223 |        1   375237     52 |  0.000 % |
2366.14/2366.13	c |   9141841 |    2030   212438   711223 |        1   391264     53 |  0.000 % |
2366.14/2366.13	c |   9141942 |    2030   212438   711223 |        1   391365     53 |  0.000 % |
2366.14/2366.13	c |   9143716 |    2030   212438   711223 |        1   393139     53 |  0.000 % |
2366.14/2366.13	c |   9143925 |    2030   212438   711223 |        1   393348     53 |  0.000 % |
2366.14/2366.13	c |   9153159 |    2030   212438   711223 |        1   402582     54 |  0.000 % |
2366.14/2366.13	c |   9158573 |    2030   212438   711223 |        1   407996     54 |  0.000 % |
2366.14/2366.13	c |   9158673 |    2030   212438   711223 |        1   408096     54 |  0.000 % |
2366.14/2366.13	c |   9162645 |    2030   212438   711223 |        1   412068     55 |  0.000 % |
2366.14/2366.13	c |   9182803 |    2030   212438   711223 |        1   217643     36 |  0.000 % |
2366.14/2366.13	c |   9190875 |    2030   212438   711223 |        1   225715     37 |  0.000 % |
2366.14/2366.13	c |   9191057 |    2030   212438   711223 |        1   225897     37 |  0.000 % |
2366.14/2366.13	c |   9231686 |    2030   212438   711223 |        1   266526     42 |  0.000 % |
2366.14/2366.13	c |   9243965 |    2030   212438   711223 |        1   278805     43 |  0.000 % |
2366.14/2366.13	c |   9267455 |    2030   212438   711223 |        1   302295     46 |  0.000 % |
2366.14/2366.13	c |   9277169 |    2030   212438   711223 |        1   312009     46 |  0.000 % |
2366.14/2366.13	c |   9338825 |    2030   212438   711223 |        1   373665     50 |  0.000 % |
2366.14/2366.13	c |   9366165 |    2030   212438   711223 |        1   401005     51 |  0.000 % |
2366.14/2366.13	c |   9388501 |    2030   212438   711223 |        1   423341     52 |  0.000 % |
2366.14/2366.13	c |   9388641 |    2030   212438   711223 |        1   423481     52 |  0.000 % |
2366.14/2366.13	c |   9413540 |    2030   212438   711223 |        1   231170     36 |  0.000 % |
2366.14/2366.13	c |   9414911 |    2030   212438   711223 |        1   232541     36 |  0.000 % |
2366.14/2366.13	c |   9440459 |    2030   212438   711223 |        1   258089     40 |  0.000 % |
2366.14/2366.13	c |   9444721 |    2030   212438   711223 |        1   262351     41 |  0.000 % |
2366.14/2366.13	c |   9446843 |    2030   212438   711223 |        1   264473     41 |  0.000 % |
2366.14/2366.13	c |   9453932 |    2030   212438   711223 |        1   271562     42 |  0.000 % |
2366.14/2366.13	c |   9524376 |    2030   212438   711223 |        1   342006     48 |  0.000 % |
2366.14/2366.13	c |   9551608 |    2030   212438   711223 |        1   369238     50 |  0.000 % |
2366.14/2366.13	c |   9553015 |    2030   212438   711223 |        1   370645     50 |  0.000 % |
2366.14/2366.13	c |   9563900 |    2030   212438   711223 |        1   381530     51 |  0.000 % |
2366.14/2366.13	c |   9586096 |    2030   212438   711223 |        1   403726     52 |  0.000 % |
2366.14/2366.13	c |   9606519 |    2030   212438   711223 |        1   424149     53 |  0.000 % |
2366.14/2366.13	c |   9609210 |    2030   212438   711223 |        1   426840     53 |  0.000 % |
2366.14/2366.13	c |   9612937 |    2030   212438   711223 |        1   430567     53 |  0.000 % |
2366.14/2366.13	c |   9616295 |    2030   212438   711223 |        1   433925     54 |  0.000 % |
2366.14/2366.13	c |   9630093 |    2030   212438   711223 |        1   227919     36 |  0.000 % |
2366.14/2366.13	c |   9633209 |    2030   212438   711223 |        1   231035     36 |  0.000 % |
2366.14/2366.13	c |   9636102 |    2030   212438   711223 |        1   233928     37 |  0.000 % |
2366.14/2366.13	c |   9638424 |    2030   212438   711223 |        1   236250     37 |  0.000 % |
2366.14/2366.13	c |   9639582 |    2030   212438   711223 |        1   237408     38 |  0.000 % |
2366.14/2366.13	c |   9717762 |    2030   212438   711223 |        1   315588     46 |  0.000 % |
2366.14/2366.13	c |   9730325 |    2030   212438   711223 |        1   328151     47 |  0.000 % |
2366.14/2366.13	c |   9812701 |    2030   212438   711223 |        1   410527     53 |  0.000 % |
2366.14/2366.13	c |   9831227 |    2030   212438   711223 |        1   429053     55 |  0.000 % |
2366.14/2366.13	c |   9831327 |    2030   212438   711223 |        1   429153     55 |  0.000 % |
2366.14/2366.13	c |   9831734 |    2030   212438   711223 |        1   429560     55 |  0.000 % |
2366.14/2366.13	c |   9832219 |    2030   212438   711223 |        1   430045     55 |  0.000 % |
2366.14/2366.13	c |   9833311 |    2030   212438   711223 |        1   431137     55 |  0.000 % |
2366.14/2366.13	c |   9834362 |    2030   212438   711223 |        1   432188     55 |  0.000 % |
2596.73/2596.71	c |   9837916 |    2030   212438   711223 |        1   435742     55 |  0.000 % |
2596.73/2596.71	c |   9840897 |    2030   212438   711223 |        1   438723     55 |  0.000 % |
2596.73/2596.71	c |   9841179 |    2030   212438   711223 |        1   439005     55 |  0.000 % |
2596.73/2596.71	c |   9841496 |    2030   212438   711223 |        1   439322     56 |  0.000 % |
2596.73/2596.71	c |   9841638 |    2030   212438   711223 |        1   439464     56 |  0.000 % |
2596.73/2596.71	c |   9842325 |    2030   212438   711223 |        1   440151     56 |  0.000 % |
2596.73/2596.71	c |   9843986 |    2030   212438   711223 |        1   441812     56 |  0.000 % |
2596.73/2596.71	c |   9854487 |    2030   212438   711223 |        1   229908     37 |  0.000 % |
2596.73/2596.71	c |   9883114 |    2030   212438   711223 |        1   258535     41 |  0.000 % |
2596.73/2596.71	c |   9883215 |    2030   212438   711223 |        1   258636     41 |  0.000 % |
2596.73/2596.71	c |   9896506 |    2030   212438   711223 |        1   271927     43 |  0.000 % |
2596.73/2596.71	c |   9960148 |    2030   212438   711223 |        1   335569     49 |  0.000 % |
2596.73/2596.71	c |   9962475 |    2030   212438   711223 |        1   337896     49 |  0.000 % |
2596.73/2596.71	c |   9966710 |    2030   212438   711223 |        1   342131     49 |  0.000 % |
2596.73/2596.71	c |   9969196 |    2030   212438   711223 |        1   344617     50 |  0.000 % |
2596.73/2596.71	c |   9999452 |    2030   212438   711223 |        1   374873     53 |  0.000 % |
2596.73/2596.71	c |  10005016 |    2030   212438   711223 |        1   380437     53 |  0.000 % |
2596.73/2596.71	c |  10016404 |    2030   212438   711223 |        1   391825     54 |  0.000 % |
2596.73/2596.71	c |  10020149 |    2030   212438   711223 |        1   395570     55 |  0.000 % |
2596.73/2596.71	c |  10051467 |    2030   212438   711223 |        1   426888     57 |  0.000 % |
2596.73/2596.71	c |  10151375 |    2030   212438   711223 |        1   301803     48 |  0.000 % |
2596.73/2596.71	c |  10169538 |    2030   212438   711223 |        1   319966     49 |  0.000 % |
2596.73/2596.71	c |  10183308 |    2030   212438   711223 |        1   333736     50 |  0.000 % |
2596.73/2596.71	c |  10229701 |    2030   212438   711223 |        1   380129     53 |  0.000 % |
2596.73/2596.71	c |  10257787 |    2030   212438   711223 |        1   408215     55 |  0.000 % |
2596.73/2596.71	c |  10275176 |    2030   212438   711223 |        1   425604     56 |  0.000 % |
2596.73/2596.71	c |  10315047 |    2030   212438   711223 |        1   237879     37 |  0.000 % |
2596.73/2596.71	c |  10360166 |    2030   212438   711223 |        1   282998     43 |  0.000 % |
2596.73/2596.71	c |  10370453 |    2030   212438   711223 |        1   293285     44 |  0.000 % |
2596.73/2596.71	c |  10380695 |    2030   212438   711223 |        1   303527     46 |  0.000 % |
2596.73/2596.71	c |  10380800 |    2030   212438   711223 |        1   303632     46 |  0.000 % |
2596.73/2596.71	c |  10421272 |    2030   212438   711223 |        1   344104     49 |  0.000 % |
2596.73/2596.71	c |  10422116 |    2030   212438   711223 |        1   344948     49 |  0.000 % |
2596.73/2596.71	c |  10422382 |    2030   212438   711223 |        1   345214     49 |  0.000 % |
2596.73/2596.71	c |  10440006 |    2030   212438   711223 |        1   362838     51 |  0.000 % |
2596.73/2596.71	c |  10447145 |    2030   212438   711223 |        1   369977     52 |  0.000 % |
2596.73/2596.71	c |  10452368 |    2030   212438   711223 |        1   375200     52 |  0.000 % |
2596.73/2596.71	c |  10452497 |    2030   212438   711223 |        1   375329     52 |  0.000 % |
2596.73/2596.71	c |  10489602 |    2030   212438   711223 |        1   412434     56 |  0.000 % |
2596.73/2596.71	c |  10520241 |    2030   212438   711223 |        1   443073     58 |  0.000 % |
2596.73/2596.71	c |  10537755 |    2030   212438   711223 |        1   230390     36 |  0.000 % |
2596.73/2596.71	c |  10549424 |    2030   212438   711223 |        1   242059     38 |  0.000 % |
2596.73/2596.71	c |  10587087 |    2030   212438   711223 |        1   279722     41 |  0.000 % |
2596.73/2596.71	c |  10601785 |    2030   212438   711223 |        1   294420     42 |  0.000 % |
2596.73/2596.71	c |  10602334 |    2030   212438   711223 |        1   294969     43 |  0.000 % |
2596.73/2596.71	c |  10602776 |    2030   212438   711223 |        1   295411     43 |  0.000 % |
2596.73/2596.71	c |  10602945 |    2030   212438   711223 |        1   295580     43 |  0.000 % |
2596.73/2596.71	c |  10627532 |    2030   212438   711223 |        1   320167     46 |  0.000 % |
2596.73/2596.71	c |  10635932 |    2030   212438   711223 |        1   328567     46 |  0.000 % |
2596.73/2596.71	c |  10691638 |    2030   212438   711223 |        1   384273     51 |  0.000 % |
2784.44/2784.42	c |  10692076 |    2030   212438   711223 |        1   384711     51 |  0.000 % |
2784.44/2784.42	c |  10694250 |    2030   212438   711223 |        1   386885     51 |  0.000 % |
2784.44/2784.42	c |  10699261 |    2030   212438   711223 |        1   391896     52 |  0.000 % |
2784.44/2784.42	c |  10711405 |    2030   212438   711223 |        1   404040     52 |  0.000 % |
2784.44/2784.42	c |  10714461 |    2030   212438   711223 |        1   407096     52 |  0.000 % |
2784.44/2784.42	c |  10715317 |    2030   212438   711223 |        1   407952     52 |  0.000 % |
2784.44/2784.42	c |  10730103 |    2030   212438   711223 |        1   422738     53 |  0.000 % |
2784.44/2784.42	c |  10730414 |    2030   212438   711223 |        1   423049     53 |  0.000 % |
2784.44/2784.42	c |  10745081 |    2030   212438   711223 |        1   437716     54 |  0.000 % |
2784.44/2784.42	c |  10749287 |    2030   212438   711223 |        1   441922     55 |  0.000 % |
2784.44/2784.42	c |  10804323 |    2030   212438   711223 |        1   264150     37 |  0.000 % |
2784.44/2784.42	c |  10852340 |    2030   212438   711223 |        1   312167     43 |  0.000 % |
2784.44/2784.42	c |  10859627 |    2030   212438   711223 |        1   319454     44 |  0.000 % |
2784.44/2784.42	c |  10864129 |    2030   212438   711223 |        1   323956     45 |  0.000 % |
2784.44/2784.42	c |  10870895 |    2030   212438   711223 |        1   330722     45 |  0.000 % |
2784.44/2784.42	c |  10873028 |    2030   212438   711223 |        1   332855     46 |  0.000 % |
2784.44/2784.42	c |  10882480 |    2030   212438   711223 |        1   342307     47 |  0.000 % |
2784.44/2784.42	c |  10882607 |    2030   212438   711223 |        1   342434     47 |  0.000 % |
2784.44/2784.42	c |  10894085 |    2030   212438   711223 |        1   353912     47 |  0.000 % |
2784.44/2784.42	c |  10947854 |    2030   212438   711223 |        1   407681     49 |  0.000 % |
2784.44/2784.42	c |  11002870 |    2030   212438   711223 |        1   462697     51 |  0.000 % |
2784.44/2784.42	c |  11005274 |    2030   212438   711223 |        1   465101     52 |  0.000 % |
2784.44/2784.42	c |  11011701 |    2030   212438   711223 |        1   236129     33 |  0.000 % |
2784.44/2784.42	c |  11014611 |    2030   212438   711223 |        1   239039     34 |  0.000 % |
2784.44/2784.42	c |  11022513 |    2030   212438   711223 |        1   246941     35 |  0.000 % |
2784.44/2784.42	c |  11155688 |    2030   212438   711223 |        1   380116     47 |  0.000 % |
2784.44/2784.42	c |  11156504 |    2030   212438   711223 |        1   380932     48 |  0.000 % |
2784.44/2784.42	c |  11178262 |    2030   212438   711223 |        1   402690     49 |  0.000 % |
2784.44/2784.42	c |  11180330 |    2030   212438   711223 |        1   404758     50 |  0.000 % |
2784.44/2784.42	c |  11180470 |    2030   212438   711223 |        1   404898     50 |  0.000 % |
2784.44/2784.42	c |  11185868 |    2030   212438   711223 |        1   410296     50 |  0.000 % |
2784.44/2784.42	c |  11199874 |    2030   212438   711223 |        1   424302     51 |  0.000 % |
2784.44/2784.42	c |  11208109 |    2030   212438   711223 |        1   432537     51 |  0.000 % |
2784.44/2784.42	c |  11211309 |    2030   212438   711223 |        1   435737     51 |  0.000 % |
2784.44/2784.42	c |  11214919 |    2030   212438   711223 |        1   439347     51 |  0.000 % |
2784.44/2784.42	c |  11218313 |    2030   212438   711223 |        1   442741     52 |  0.000 % |
2784.44/2784.42	c |  11231315 |    2030   212438   711223 |        1   455743     53 |  0.000 % |
2784.44/2784.42	c |  11233203 |    2030   212438   711223 |        1   457631     53 |  0.000 % |
2784.44/2784.42	c |  11266930 |    2030   212438   711223 |        1   253359     37 |  0.000 % |
2784.44/2784.42	c |  11279987 |    2030   212438   711223 |        1   266416     39 |  0.000 % |
2784.44/2784.42	c |  11294524 |    2030   212438   711223 |        1   280953     41 |  0.000 % |
2784.44/2784.42	c |  11294625 |    2030   212438   711223 |        1   281054     41 |  0.000 % |
2784.44/2784.42	c |  11294958 |    2030   212438   711223 |        1   281387     41 |  0.000 % |
2784.44/2784.42	c |  11295574 |    2030   212438   711223 |        1   282003     41 |  0.000 % |
2784.44/2784.42	c |  11297884 |    2030   212438   711223 |        1   284313     42 |  0.000 % |
2784.44/2784.42	c |  11319678 |    2030   212438   711223 |        1   306107     45 |  0.000 % |
2784.44/2784.42	c |  11320067 |    2030   212438   711223 |        1   306496     45 |  0.000 % |
2784.44/2784.42	c |  11331395 |    2030   212438   711223 |        1   317824     46 |  0.000 % |
2784.44/2784.42	c |  11335305 |    2030   212438   711223 |        1   321734     47 |  0.000 % |
2784.44/2784.42	c |  11360899 |    2030   212438   711223 |        1   347328     49 |  0.000 % |
2987.95/2987.95	c |  11361370 |    2030   212438   711223 |        1   347799     49 |  0.000 % |
2987.95/2987.95	c |  11364001 |    2030   212438   711223 |        1   350430     49 |  0.000 % |
2987.95/2987.95	c |  11366923 |    2030   212438   711223 |        1   353352     50 |  0.000 % |
2987.95/2987.95	c |  11367094 |    2030   212438   711223 |        1   353523     50 |  0.000 % |
2987.95/2987.95	c |  11367320 |    2030   212438   711223 |        1   353749     50 |  0.000 % |
2987.95/2987.95	c |  11393988 |    2030   212438   711223 |        1   380417     51 |  0.000 % |
2987.95/2987.95	c |  11426244 |    2030   212438   711223 |        1   412673     54 |  0.000 % |
2987.95/2987.95	c |  11434590 |    2030   212438   711223 |        1   421019     54 |  0.000 % |
2987.95/2987.95	c |  11455913 |    2030   212438   711223 |        1   442342     55 |  0.000 % |
2987.95/2987.95	c |  11463461 |    2030   212438   711223 |        1   449890     56 |  0.000 % |
2987.95/2987.95	c |  11464396 |    2030   212438   711223 |        1   450825     56 |  0.000 % |
2987.95/2987.95	c |  11464498 |    2030   212438   711223 |        1   450927     56 |  0.000 % |
2987.95/2987.95	c |  11478171 |    2030   212438   711223 |        1   464600     56 |  0.000 % |
2987.95/2987.95	c |  11500805 |    2030   212438   711223 |        1   246646     36 |  0.000 % |
2987.95/2987.95	c |  11509442 |    2030   212438   711223 |        1   255283     38 |  0.000 % |
2987.95/2987.95	c |  11513368 |    2030   212438   711223 |        1   259209     38 |  0.000 % |
2987.95/2987.95	c |  11513661 |    2030   212438   711223 |        1   259502     38 |  0.000 % |
2987.95/2987.95	c |  11518405 |    2030   212438   711223 |        1   264246     39 |  0.000 % |
2987.95/2987.95	c |  11519352 |    2030   212438   711223 |        1   265193     39 |  0.000 % |
2987.95/2987.95	c |  11523585 |    2030   212438   711223 |        1   269426     40 |  0.000 % |
2987.95/2987.95	c |  11543416 |    2030   212438   711223 |        1   289257     42 |  0.000 % |
2987.95/2987.95	c |  11548343 |    2030   212438   711223 |        1   294184     42 |  0.000 % |
2987.95/2987.95	c |  11549655 |    2030   212438   711223 |        1   295496     43 |  0.000 % |
2987.95/2987.95	c |  11587216 |    2030   212438   711223 |        1   333057     46 |  0.000 % |
2987.95/2987.95	c |  11669565 |    2030   212438   711223 |        1   415406     51 |  0.000 % |
2987.95/2987.95	c |  11673504 |    2030   212438   711223 |        1   419345     52 |  0.000 % |
2987.95/2987.95	c |  11709918 |    2030   212438   711223 |        1   455759     53 |  0.000 % |
2987.95/2987.95	c |  11713218 |    2030   212438   711223 |        1   459059     53 |  0.000 % |
2987.95/2987.95	c |  11729432 |    2030   212438   711223 |        1   475273     54 |  0.000 % |
2987.95/2987.95	c |  11752467 |    2030   212438   711223 |        1   255101     36 |  0.000 % |
2987.95/2987.95	c |  11774272 |    2030   212438   711223 |        1   276906     39 |  0.000 % |
2987.95/2987.95	c |  11780016 |    2030   212438   711223 |        1   282650     40 |  0.000 % |
2987.95/2987.95	c |  11780853 |    2030   212438   711223 |        1   283487     40 |  0.000 % |
2987.95/2987.95	c |  11822421 |    2030   212438   711223 |        1   325055     45 |  0.000 % |
2987.95/2987.95	c |  11866474 |    2030   212438   711223 |        1   369108     48 |  0.000 % |
2987.95/2987.95	c |  11893712 |    2030   212438   711223 |        1   396346     50 |  0.000 % |
2987.95/2987.95	c |  11945687 |    2030   212438   711223 |        1   448321     54 |  0.000 % |
2987.95/2987.95	c |  11949409 |    2030   212438   711223 |        1   452043     54 |  0.000 % |
2987.95/2987.95	c |  11950095 |    2030   212438   711223 |        1   452729     54 |  0.000 % |
2987.95/2987.95	c |  11961193 |    2030   212438   711223 |        1   463827     54 |  0.000 % |
2987.95/2987.95	c |  11962038 |    2030   212438   711223 |        1   464672     55 |  0.000 % |
2987.95/2987.95	c |  11970356 |    2030   212438   711223 |        1   472990     55 |  0.000 % |
2987.95/2987.95	c |  12038842 |    2030   212438   711223 |        1   295672     41 |  0.000 % |
2987.95/2987.95	c |  12056575 |    2030   212438   711223 |        1   313405     43 |  0.000 % |
2987.95/2987.95	c |  12068872 |    2030   212438   711223 |        1   325702     44 |  0.000 % |
2987.95/2987.95	c |  12069969 |    2030   212438   711223 |        1   326799     44 |  0.000 % |
2987.95/2987.95	c |  12072006 |    2030   212438   711223 |        1   328836     44 |  0.000 % |
2987.95/2987.95	c |  12074846 |    2030   212438   711223 |        1   331676     45 |  0.000 % |
2987.95/2987.95	c |  12084479 |    2030   212438   711223 |        1   341309     46 |  0.000 % |
2987.95/2987.95	c |  12084635 |    2030   212438   711223 |        1   341465     46 |  0.000 % |
3192.65/3192.67	c |  12084754 |    2030   212438   711223 |        1   341584     46 |  0.000 % |
3192.65/3192.67	c |  12085383 |    2030   212438   711223 |        1   342213     46 |  0.000 % |
3192.65/3192.67	c |  12085631 |    2030   212438   711223 |        1   342461     46 |  0.000 % |
3192.65/3192.67	c |  12087098 |    2030   212438   711223 |        1   343928     46 |  0.000 % |
3192.65/3192.67	c |  12113207 |    2030   212438   711223 |        1   370037     49 |  0.000 % |
3192.65/3192.67	c |  12113359 |    2030   212438   711223 |        1   370189     49 |  0.000 % |
3192.65/3192.67	c |  12123949 |    2030   212438   711223 |        1   380779     51 |  0.000 % |
3192.65/3192.67	c |  12139094 |    2030   212438   711223 |        1   395924     52 |  0.000 % |
3192.65/3192.67	c |  12154928 |    2030   212438   711223 |        1   411758     53 |  0.000 % |
3192.65/3192.67	c |  12161583 |    2030   212438   711223 |        1   418413     54 |  0.000 % |
3192.65/3192.67	c |  12163819 |    2030   212438   711223 |        1   420649     54 |  0.000 % |
3192.65/3192.67	c |  12173365 |    2030   212438   711223 |        1   430195     54 |  0.000 % |
3192.65/3192.67	c |  12173467 |    2030   212438   711223 |        1   430297     54 |  0.000 % |
3192.65/3192.67	c |  12197156 |    2030   212438   711223 |        1   453986     55 |  0.000 % |
3192.65/3192.67	c |  12250450 |    2030   212438   711223 |        1   258882     37 |  0.000 % |
3192.65/3192.67	c |  12268031 |    2030   212438   711223 |        1   276463     40 |  0.000 % |
3192.65/3192.67	c |  12273058 |    2030   212438   711223 |        1   281490     41 |  0.000 % |
3192.65/3192.67	c |  12276516 |    2030   212438   711223 |        1   284948     41 |  0.000 % |
3192.65/3192.67	c |  12276674 |    2030   212438   711223 |        1   285106     41 |  0.000 % |
3192.65/3192.67	c |  12277823 |    2030   212438   711223 |        1   286255     41 |  0.000 % |
3192.65/3192.67	c |  12290401 |    2030   212438   711223 |        1   298833     43 |  0.000 % |
3192.65/3192.67	c |  12303720 |    2030   212438   711223 |        1   312152     44 |  0.000 % |
3192.65/3192.67	c |  12308920 |    2030   212438   711223 |        1   317352     45 |  0.000 % |
3192.65/3192.67	c |  12318950 |    2030   212438   711223 |        1   327382     46 |  0.000 % |
3192.65/3192.67	c |  12348986 |    2030   212438   711223 |        1   357418     49 |  0.000 % |
3192.65/3192.67	c |  12369468 |    2030   212438   711223 |        1   377900     51 |  0.000 % |
3192.65/3192.67	c |  12391320 |    2030   212438   711223 |        1   399752     53 |  0.000 % |
3192.65/3192.67	c |  12435031 |    2030   212438   711223 |        1   443463     55 |  0.000 % |
3192.65/3192.67	c |  12436227 |    2030   212438   711223 |        1   444659     55 |  0.000 % |
3192.65/3192.67	c |  12439892 |    2030   212438   711223 |        1   448324     55 |  0.000 % |
3192.65/3192.67	c |  12466269 |    2030   212438   711223 |        1   474701     56 |  0.000 % |
3192.65/3192.67	c |  12482051 |    2030   212438   711223 |        1   490483     57 |  0.000 % |
3192.65/3192.67	c |  12482321 |    2030   212438   711223 |        1   490753     57 |  0.000 % |
3192.65/3192.67	c |  12489086 |    2030   212438   711223 |        1   497518     57 |  0.000 % |
3192.65/3192.67	c |  12589372 |    2030   212438   711223 |        1   346797     49 |  0.000 % |
3192.65/3192.67	c |  12590285 |    2030   212438   711223 |        1   347710     49 |  0.000 % |
3192.65/3192.67	c |  12590389 |    2030   212438   711223 |        1   347814     49 |  0.000 % |
3192.65/3192.67	c |  12596844 |    2030   212438   711223 |        1   354269     50 |  0.000 % |
3192.65/3192.67	c |  12673613 |    2030   212438   711223 |        1   431038     53 |  0.000 % |
3192.65/3192.67	c |  12674167 |    2030   212438   711223 |        1   431592     53 |  0.000 % |
3192.65/3192.67	c |  12688460 |    2030   212438   711223 |        1   445885     54 |  0.000 % |
3192.65/3192.67	c |  12701991 |    2030   212438   711223 |        1   459416     54 |  0.000 % |
3192.65/3192.67	c |  12707797 |    2030   212438   711223 |        1   465222     54 |  0.000 % |
3192.65/3192.67	c |  12745713 |    2030   212438   711223 |        1   503138     55 |  0.000 % |
3192.65/3192.67	c |  12766903 |    2030   212438   711223 |        1   270726     38 |  0.000 % |
3192.65/3192.67	c |  12767005 |    2030   212438   711223 |        1   270828     38 |  0.000 % |
3192.65/3192.67	c |  12769970 |    2030   212438   711223 |        1   273793     39 |  0.000 % |
3192.65/3192.67	c |  12786243 |    2030   212438   711223 |        1   290066     42 |  0.000 % |
3192.65/3192.67	c |  12794566 |    2030   212438   711223 |        1   298389     44 |  0.000 % |
3192.65/3192.67	c |  12815645 |    2030   212438   711223 |        1   319468     45 |  0.000 % |
3354.35/3354.35	c |  12816320 |    2030   212438   711223 |        1   320143     45 |  0.000 % |
3354.35/3354.35	c |  12817029 |    2030   212438   711223 |        1   320852     46 |  0.000 % |
3354.35/3354.35	c |  12829017 |    2030   212438   711223 |        1   332840     47 |  0.000 % |
3354.35/3354.35	c |  12829845 |    2030   212438   711223 |        1   333668     47 |  0.000 % |
3354.35/3354.35	c |  12849858 |    2030   212438   711223 |        1   353681     48 |  0.000 % |
3354.35/3354.35	c |  12857657 |    2030   212438   711223 |        1   361480     48 |  0.000 % |
3354.35/3354.35	c |  12862209 |    2030   212438   711223 |        1   366032     48 |  0.000 % |
3354.35/3354.35	c |  12884153 |    2030   212438   711223 |        1   387976     50 |  0.000 % |
3354.35/3354.35	c |  12888156 |    2030   212438   711223 |        1   391979     50 |  0.000 % |
3354.35/3354.35	c |  12901790 |    2030   212438   711223 |        1   405613     51 |  0.000 % |
3354.35/3354.35	c |  12929052 |    2030   212438   711223 |        1   432875     52 |  0.000 % |
3354.35/3354.35	c |  12935312 |    2030   212438   711223 |        1   439135     53 |  0.000 % |
3354.35/3354.35	c |  12945684 |    2030   212438   711223 |        1   449507     54 |  0.000 % |
3354.35/3354.35	c |  12945830 |    2030   212438   711223 |        1   449653     54 |  0.000 % |
3354.35/3354.35	c |  12954716 |    2030   212438   711223 |        1   458539     54 |  0.000 % |
3354.35/3354.35	c |  12985056 |    2030   212438   711223 |        1   488879     56 |  0.000 % |
3354.35/3354.35	c |  13011909 |    2030   212438   711223 |        1   259540     36 |  0.000 % |
3354.35/3354.35	c |  13048639 |    2030   212438   711223 |        1   296270     40 |  0.000 % |
3354.35/3354.35	c |  13055861 |    2030   212438   711223 |        1   303492     41 |  0.000 % |
3354.35/3354.35	c |  13061274 |    2030   212438   711223 |        1   308905     41 |  0.000 % |
3354.35/3354.35	c |  13069528 |    2030   212438   711223 |        1   317159     42 |  0.000 % |
3354.35/3354.35	c |  13080464 |    2030   212438   711223 |        1   328095     43 |  0.000 % |
3354.35/3354.35	c |  13091835 |    2030   212438   711223 |        1   339466     45 |  0.000 % |
3354.35/3354.35	c |  13101847 |    2030   212438   711223 |        1   349478     45 |  0.000 % |
3354.35/3354.35	c |  13106555 |    2030   212438   711223 |        1   354186     46 |  0.000 % |
3354.35/3354.35	c |  13106657 |    2030   212438   711223 |        1   354288     46 |  0.000 % |
3354.35/3354.35	c |  13143803 |    2030   212438   711223 |        1   391434     49 |  0.000 % |
3354.35/3354.35	c |  13143903 |    2030   212438   711223 |        1   391534     49 |  0.000 % |
3354.35/3354.35	c |  13154429 |    2030   212438   711223 |        1   402060     50 |  0.000 % |
3354.35/3354.35	c |  13155784 |    2030   212438   711223 |        1   403415     50 |  0.000 % |
3354.35/3354.35	c |  13158729 |    2030   212438   711223 |        1   406360     50 |  0.000 % |
3354.35/3354.35	c |  13159021 |    2030   212438   711223 |        1   406652     50 |  0.000 % |
3354.35/3354.35	c |  13169033 |    2030   212438   711223 |        1   416664     51 |  0.000 % |
3354.35/3354.35	c |  13178472 |    2030   212438   711223 |        1   426103     52 |  0.000 % |
3354.35/3354.35	c |  13193820 |    2030   212438   711223 |        1   441451     53 |  0.000 % |
3354.35/3354.35	c |  13208469 |    2030   212438   711223 |        1   456100     53 |  0.000 % |
3354.35/3354.35	c |  13220178 |    2030   212438   711223 |        1   467809     54 |  0.000 % |
3354.35/3354.35	c |  13230396 |    2030   212438   711223 |        1   478027     55 |  0.000 % |
3354.35/3354.35	c |  13236383 |    2030   212438   711223 |        1   484014     55 |  0.000 % |
3354.35/3354.35	c |  13238028 |    2030   212438   711223 |        1   485659     55 |  0.000 % |
3354.35/3354.35	c |  13239496 |    2030   212438   711223 |        1   487127     55 |  0.000 % |
3354.35/3354.35	c |  13239596 |    2030   212438   711223 |        1   487227     55 |  0.000 % |
3354.35/3354.35	c |  13250284 |    2030   212438   711223 |        1   497915     56 |  0.000 % |
3354.35/3354.35	c |  13266129 |    2030   212438   711223 |        1   513760     57 |  0.000 % |
3354.35/3354.35	c |  13272591 |    2030   212438   711223 |        1   261411     36 |  0.000 % |
3354.35/3354.35	c |  13273082 |    2030   212438   711223 |        1   261902     36 |  0.000 % |
3354.35/3354.35	c |  13368923 |    2030   212438   711223 |        1   357743     49 |  0.000 % |
3354.35/3354.35	c |  13376552 |    2030   212438   711223 |        1   365372     49 |  0.000 % |
3354.35/3354.35	c |  13410428 |    2030   212438   711223 |        1   399248     52 |  0.000 % |
3354.35/3354.35	c |  13425734 |    2030   212438   711223 |        1   414554     53 |  0.000 % |
3536.25/3536.20	c |  13445949 |    2030   212438   711223 |        1   434769     54 |  0.000 % |
3536.25/3536.20	c |  13455069 |    2030   212438   711223 |        1   443889     55 |  0.000 % |
3536.25/3536.20	c |  13459545 |    2030   212438   711223 |        1   448365     55 |  0.000 % |
3536.25/3536.20	c |  13460092 |    2030   212438   711223 |        1   448912     55 |  0.000 % |
3536.25/3536.20	c |  13464484 |    2030   212438   711223 |        1   453304     56 |  0.000 % |
3536.25/3536.20	c |  13471034 |    2030   212438   711223 |        1   459854     56 |  0.000 % |
3536.25/3536.20	c |  13496665 |    2030   212438   711223 |        1   485485     57 |  0.000 % |
3536.25/3536.20	c |  13497039 |    2030   212438   711223 |        1   485859     57 |  0.000 % |
3536.25/3536.20	c |  13497143 |    2030   212438   711223 |        1   485963     57 |  0.000 % |
3536.25/3536.20	c |  13497645 |    2030   212438   711223 |        1   486465     57 |  0.000 % |
3536.25/3536.20	c |  13548613 |    2030   212438   711223 |        1   276038     39 |  0.000 % |
3536.25/3536.20	c |  13549188 |    2030   212438   711223 |        1   276613     39 |  0.000 % |
3536.25/3536.20	c |  13558202 |    2030   212438   711223 |        1   285627     40 |  0.000 % |
3536.25/3536.20	c |  13558538 |    2030   212438   711223 |        1   285963     40 |  0.000 % |
3536.25/3536.20	c |  13588400 |    2030   212438   711223 |        1   315825     44 |  0.000 % |
3536.25/3536.20	c |  13591188 |    2030   212438   711223 |        1   318613     44 |  0.000 % |
3536.25/3536.20	c |  13669637 |    2030   212438   711223 |        1   397062     52 |  0.000 % |
3536.25/3536.20	c |  13689383 |    2030   212438   711223 |        1   416808     54 |  0.000 % |
3536.25/3536.20	c |  13689645 |    2030   212438   711223 |        1   417070     54 |  0.000 % |
3536.25/3536.20	c |  13708506 |    2030   212438   711223 |        1   435931     56 |  0.000 % |
3536.25/3536.20	c |  13712956 |    2030   212438   711223 |        1   440381     56 |  0.000 % |
3536.25/3536.20	c |  13717424 |    2030   212438   711223 |        1   444849     56 |  0.000 % |
3536.25/3536.20	c |  13798578 |    2030   212438   711223 |        1   526003     59 |  0.000 % |
3536.25/3536.20	c |  13798782 |    2030   212438   711223 |        1   526207     59 |  0.000 % |
3536.25/3536.20	c |  13847733 |    2030   212438   711223 |        1   311153     44 |  0.000 % |
3536.25/3536.20	c |  13851581 |    2030   212438   711223 |        1   315001     45 |  0.000 % |
3536.25/3536.20	c |  13856772 |    2030   212438   711223 |        1   320192     46 |  0.000 % |
3536.25/3536.20	c |  13860867 |    2030   212438   711223 |        1   324287     46 |  0.000 % |
3536.25/3536.20	c |  13898092 |    2030   212438   711223 |        1   361512     50 |  0.000 % |
3536.25/3536.20	c |  13910253 |    2030   212438   711223 |        1   373673     51 |  0.000 % |
3536.25/3536.20	c |  13911992 |    2030   212438   711223 |        1   375412     51 |  0.000 % |
3536.25/3536.20	c |  13918343 |    2030   212438   711223 |        1   381763     51 |  0.000 % |
3536.25/3536.20	c |  13923274 |    2030   212438   711223 |        1   386694     52 |  0.000 % |
3536.25/3536.20	c |  13927975 |    2030   212438   711223 |        1   391395     52 |  0.000 % |
3536.25/3536.20	c |  13944365 |    2030   212438   711223 |        1   407785     52 |  0.000 % |
3536.25/3536.20	c |  13960653 |    2030   212438   711223 |        1   424073     53 |  0.000 % |
3536.25/3536.20	c |  13985157 |    2030   212438   711223 |        1   448577     54 |  0.000 % |
3536.25/3536.20	c |  13985257 |    2030   212438   711223 |        1   448677     54 |  0.000 % |
3536.25/3536.20	c |  13986643 |    2030   212438   711223 |        1   450063     54 |  0.000 % |
3536.25/3536.20	c |  13991072 |    2030   212438   711223 |        1   454492     54 |  0.000 % |
3536.25/3536.20	c |  13992003 |    2030   212438   711223 |        1   455423     55 |  0.000 % |
3536.25/3536.20	c |  14013334 |    2030   212438   711223 |        1   476754     56 |  0.000 % |
3536.25/3536.20	c |  14025720 |    2030   212438   711223 |        1   489140     57 |  0.000 % |
3536.25/3536.20	c |  14040498 |    2030   212438   711223 |        1   503918     57 |  0.000 % |
3536.25/3536.20	c |  14051559 |    2030   212438   711223 |        1   514979     58 |  0.000 % |
3536.25/3536.20	c |  14054037 |    2030   212438   711223 |        1   517457     58 |  0.000 % |
3536.25/3536.20	c |  14055563 |    2030   212438   711223 |        1   518983     58 |  0.000 % |
3536.25/3536.20	c |  14064243 |    2030   212438   711223 |        1   527663     59 |  0.000 % |
3536.25/3536.20	c |  14064403 |    2030   212438   711223 |        1   527823     59 |  0.000 % |
3536.25/3536.20	c |  14113549 |    2030   212438   711223 |        1   310374     42 |  0.000 % |
3680.26/3680.29	c |  14113651 |    2030   212438   711223 |        1   310476     42 |  0.000 % |
3680.26/3680.29	c |  14114699 |    2030   212438   711223 |        1   311524     42 |  0.000 % |
3680.26/3680.29	c |  14117057 |    2030   212438   711223 |        1   313882     43 |  0.000 % |
3680.26/3680.29	c |  14140390 |    2030   212438   711223 |        1   337215     45 |  0.000 % |
3680.26/3680.29	c |  14141088 |    2030   212438   711223 |        1   337913     46 |  0.000 % |
3680.26/3680.29	c |  14141188 |    2030   212438   711223 |        1   338013     46 |  0.000 % |
3680.26/3680.29	c |  14161089 |    2030   212438   711223 |        1   357914     48 |  0.000 % |
3680.26/3680.29	c |  14165254 |    2030   212438   711223 |        1   362079     48 |  0.000 % |
3680.26/3680.29	c |  14175166 |    2030   212438   711223 |        1   371991     50 |  0.000 % |
3680.26/3680.29	c |  14178732 |    2030   212438   711223 |        1   375557     50 |  0.000 % |
3680.26/3680.29	c |  14182649 |    2030   212438   711223 |        1   379474     50 |  0.000 % |
3680.26/3680.29	c |  14184975 |    2030   212438   711223 |        1   381800     51 |  0.000 % |
3680.26/3680.29	c |  14186064 |    2030   212438   711223 |        1   382889     51 |  0.000 % |
3680.26/3680.29	c |  14186331 |    2030   212438   711223 |        1   383156     51 |  0.000 % |
3680.26/3680.29	c |  14205779 |    2030   212438   711223 |        1   402604     52 |  0.000 % |
3680.26/3680.29	c |  14225121 |    2030   212438   711223 |        1   421946     54 |  0.000 % |
3680.26/3680.29	c |  14230589 |    2030   212438   711223 |        1   427414     54 |  0.000 % |
3680.26/3680.29	c |  14243942 |    2030   212438   711223 |        1   440767     55 |  0.000 % |
3680.26/3680.29	c |  14251448 |    2030   212438   711223 |        1   448273     55 |  0.000 % |
3680.26/3680.29	c |  14251641 |    2030   212438   711223 |        1   448466     55 |  0.000 % |
3680.26/3680.29	c |  14258107 |    2030   212438   711223 |        1   454932     56 |  0.000 % |
3680.26/3680.29	c |  14269444 |    2030   212438   711223 |        1   466269     56 |  0.000 % |
3680.26/3680.29	c |  14271054 |    2030   212438   711223 |        1   467879     57 |  0.000 % |
3680.26/3680.29	c |  14303144 |    2030   212438   711223 |        1   499969     58 |  0.000 % |
3680.26/3680.29	c |  14332196 |    2030   212438   711223 |        1   529021     59 |  0.000 % |
3680.26/3680.29	c |  14350887 |    2030   212438   711223 |        1   278510     37 |  0.000 % |
3680.26/3680.29	c |  14350988 |    2030   212438   711223 |        1   278611     37 |  0.000 % |
3680.26/3680.29	c |  14351792 |    2030   212438   711223 |        1   279415     37 |  0.000 % |
3680.26/3680.29	c |  14354401 |    2030   212438   711223 |        1   282024     38 |  0.000 % |
3680.26/3680.29	c |  14357246 |    2030   212438   711223 |        1   284869     38 |  0.000 % |
3680.26/3680.29	c |  14397167 |    2030   212438   711223 |        1   324790     42 |  0.000 % |
3680.26/3680.29	c |  14466834 |    2030   212438   711223 |        1   394457     46 |  0.000 % |
3680.26/3680.29	c |  14478070 |    2030   212438   711223 |        1   405693     47 |  0.000 % |
3680.26/3680.29	c |  14487521 |    2030   212438   711223 |        1   415144     48 |  0.000 % |
3680.26/3680.29	c |  14487842 |    2030   212438   711223 |        1   415465     48 |  0.000 % |
3680.26/3680.29	c |  14511011 |    2030   212438   711223 |        1   438634     49 |  0.000 % |
3680.26/3680.29	c |  14531909 |    2030   212438   711223 |        1   459532     50 |  0.000 % |
3680.26/3680.29	c |  14533610 |    2030   212438   711223 |        1   461233     50 |  0.000 % |
3680.26/3680.29	c |  14561100 |    2030   212438   711223 |        1   488723     52 |  0.000 % |
3680.26/3680.29	c |  14575556 |    2030   212438   711223 |        1   503179     53 |  0.000 % |
3680.26/3680.29	c |  14575931 |    2030   212438   711223 |        1   503554     53 |  0.000 % |
3680.26/3680.29	c |  14579510 |    2030   212438   711223 |        1   507133     53 |  0.000 % |
3680.26/3680.29	c |  14584909 |    2030   212438   711223 |        1   512532     53 |  0.000 % |
3680.26/3680.29	c |  14603122 |    2030   212438   711223 |        1   530745     54 |  0.000 % |
3680.26/3680.29	c |  14618712 |    2030   212438   711223 |        1   274536     35 |  0.000 % |
3680.26/3680.29	c |  14618822 |    2030   212438   711223 |        1   274646     35 |  0.000 % |
3680.26/3680.29	c |  14619145 |    2030   212438   711223 |        1   274969     35 |  0.000 % |
3680.26/3680.29	c |  14627283 |    2030   212438   711223 |        1   283107     36 |  0.000 % |
3680.26/3680.29	c |  14628058 |    2030   212438   711223 |        1   283882     36 |  0.000 % |
3680.26/3680.29	c |  14630127 |    2030   212438   711223 |        1   285951     37 |  0.000 % |
3820.46/3820.44	c |  14632953 |    2030   212438   711223 |        1   288777     37 |  0.000 % |
3820.46/3820.44	c |  14635144 |    2030   212438   711223 |        1   290968     37 |  0.000 % |
3820.46/3820.44	c |  14637059 |    2030   212438   711223 |        1   292883     38 |  0.000 % |
3820.46/3820.44	c |  14677613 |    2030   212438   711223 |        1   333437     43 |  0.000 % |
3820.46/3820.44	c |  14680174 |    2030   212438   711223 |        1   335998     43 |  0.000 % |
3820.46/3820.44	c |  14695972 |    2030   212438   711223 |        1   351796     45 |  0.000 % |
3820.46/3820.44	c |  14701472 |    2030   212438   711223 |        1   357296     45 |  0.000 % |
3820.46/3820.44	c |  14701767 |    2030   212438   711223 |        1   357591     45 |  0.000 % |
3820.46/3820.44	c |  14702477 |    2030   212438   711223 |        1   358301     45 |  0.000 % |
3820.46/3820.44	c |  14708021 |    2030   212438   711223 |        1   363845     46 |  0.000 % |
3820.46/3820.44	c |  14708333 |    2030   212438   711223 |        1   364157     46 |  0.000 % |
3820.46/3820.44	c |  14708556 |    2030   212438   711223 |        1   364380     46 |  0.000 % |
3820.46/3820.44	c |  14714263 |    2030   212438   711223 |        1   370087     47 |  0.000 % |
3820.46/3820.44	c |  14714363 |    2030   212438   711223 |        1   370187     47 |  0.000 % |
3820.46/3820.44	c |  14716674 |    2030   212438   711223 |        1   372498     47 |  0.000 % |
3820.46/3820.44	c |  14728913 |    2030   212438   711223 |        1   384737     48 |  0.000 % |
3820.46/3820.44	c |  14745138 |    2030   212438   711223 |        1   400962     50 |  0.000 % |
3820.46/3820.44	c |  14746972 |    2030   212438   711223 |        1   402796     50 |  0.000 % |
3820.46/3820.44	c |  14747075 |    2030   212438   711223 |        1   402899     50 |  0.000 % |
3820.46/3820.44	c |  14756774 |    2030   212438   711223 |        1   412598     51 |  0.000 % |
3820.46/3820.44	c |  14762526 |    2030   212438   711223 |        1   418350     51 |  0.000 % |
3820.46/3820.44	c |  14765840 |    2030   212438   711223 |        1   421664     52 |  0.000 % |
3820.46/3820.44	c |  14798621 |    2030   212438   711223 |        1   454445     54 |  0.000 % |
3820.46/3820.44	c |  14798788 |    2030   212438   711223 |        1   454612     54 |  0.000 % |
3820.46/3820.44	c |  14802352 |    2030   212438   711223 |        1   458176     54 |  0.000 % |
3820.46/3820.44	c |  14811561 |    2030   212438   711223 |        1   467385     55 |  0.000 % |
3820.46/3820.44	c |  14817840 |    2030   212438   711223 |        1   473664     55 |  0.000 % |
3820.46/3820.44	c |  14818457 |    2030   212438   711223 |        1   474281     55 |  0.000 % |
3820.46/3820.44	c |  14827075 |    2030   212438   711223 |        1   482899     56 |  0.000 % |
3820.46/3820.44	c |  14828282 |    2030   212438   711223 |        1   484106     56 |  0.000 % |
3820.46/3820.44	c |  14839261 |    2030   212438   711223 |        1   495085     56 |  0.000 % |
3820.46/3820.44	c |  14843507 |    2030   212438   711223 |        1   499331     57 |  0.000 % |
3820.46/3820.44	c |  14855378 |    2030   212438   711223 |        1   511202     57 |  0.000 % |
3820.46/3820.44	c |  14884326 |    2030   212438   711223 |        1   540150     59 |  0.000 % |
3820.46/3820.44	c |  14895905 |    2030   212438   711223 |        1   277329     36 |  0.000 % |
3820.46/3820.44	c |  14896009 |    2030   212438   711223 |        1   277433     36 |  0.000 % |
3820.46/3820.44	c |  14902260 |    2030   212438   711223 |        1   283684     37 |  0.000 % |
3820.46/3820.44	c |  14902360 |    2030   212438   711223 |        1   283784     37 |  0.000 % |
3820.46/3820.44	c |  14904966 |    2030   212438   711223 |        1   286390     38 |  0.000 % |
3820.46/3820.44	c |  14912124 |    2030   212438   711223 |        1   293548     39 |  0.000 % |
3820.46/3820.44	c |  14912471 |    2030   212438   711223 |        1   293895     39 |  0.000 % |
3820.46/3820.44	c |  14913276 |    2030   212438   711223 |        1   294700     39 |  0.000 % |
3820.46/3820.44	c |  14959220 |    2030   212438   711223 |        1   340644     44 |  0.000 % |
3820.46/3820.44	c |  14960262 |    2030   212438   711223 |        1   341686     44 |  0.000 % |
3820.46/3820.44	c |  14978407 |    2030   212438   711223 |        1   359831     47 |  0.000 % |
3820.46/3820.44	c |  14984376 |    2030   212438   711223 |        1   365800     47 |  0.000 % |
3820.46/3820.44	c |  15090656 |    2030   212438   711223 |        1   472080     54 |  0.000 % |
3820.46/3820.44	c |  15114203 |    2030   212438   711223 |        1   495627     55 |  0.000 % |
3820.46/3820.44	c |  15118715 |    2030   212438   711223 |        1   500139     55 |  0.000 % |
3820.46/3820.44	c |  15125136 |    2030   212438   711223 |        1   506560     55 |  0.000 % |
3991.26/3991.28	c |  15125236 |    2030   212438   711223 |        1   506660     55 |  0.000 % |
3991.26/3991.28	c |  15146914 |    2030   212438   711223 |        1   528338     56 |  0.000 % |
3991.26/3991.28	c |  15195207 |    2030   212438   711223 |        1   299639     38 |  0.000 % |
3991.26/3991.28	c |  15226233 |    2030   212438   711223 |        1   330665     42 |  0.000 % |
3991.26/3991.28	c |  15238864 |    2030   212438   711223 |        1   343296     43 |  0.000 % |
3991.26/3991.28	c |  15239077 |    2030   212438   711223 |        1   343509     43 |  0.000 % |
3991.26/3991.28	c |  15239383 |    2030   212438   711223 |        1   343815     43 |  0.000 % |
3991.26/3991.28	c |  15242116 |    2030   212438   711223 |        1   346548     44 |  0.000 % |
3991.26/3991.28	c |  15242216 |    2030   212438   711223 |        1   346648     44 |  0.000 % |
3991.26/3991.28	c |  15242388 |    2030   212438   711223 |        1   346820     44 |  0.000 % |
3991.26/3991.28	c |  15316602 |    2030   212438   711223 |        1   421034     48 |  0.000 % |
3991.26/3991.28	c |  15331026 |    2030   212438   711223 |        1   435458     49 |  0.000 % |
3991.26/3991.28	c |  15331644 |    2030   212438   711223 |        1   436076     49 |  0.000 % |
3991.26/3991.28	c |  15332804 |    2030   212438   711223 |        1   437236     49 |  0.000 % |
3991.26/3991.28	c |  15335573 |    2030   212438   711223 |        1   440005     49 |  0.000 % |
3991.26/3991.28	c |  15337022 |    2030   212438   711223 |        1   441454     50 |  0.000 % |
3991.26/3991.28	c |  15337367 |    2030   212438   711223 |        1   441799     50 |  0.000 % |
3991.26/3991.28	c |  15337506 |    2030   212438   711223 |        1   441938     50 |  0.000 % |
3991.26/3991.28	c |  15366598 |    2030   212438   711223 |        1   471030     51 |  0.000 % |
3991.26/3991.28	c |  15388259 |    2030   212438   711223 |        1   492691     52 |  0.000 % |
3991.26/3991.28	c |  15402696 |    2030   212438   711223 |        1   507128     53 |  0.000 % |
3991.26/3991.28	c |  15404728 |    2030   212438   711223 |        1   509160     53 |  0.000 % |
3991.26/3991.28	c |  15405403 |    2030   212438   711223 |        1   509835     53 |  0.000 % |
3991.26/3991.28	c |  15413011 |    2030   212438   711223 |        1   517443     53 |  0.000 % |
3991.26/3991.28	c |  15414604 |    2030   212438   711223 |        1   519036     53 |  0.000 % |
3991.26/3991.28	c |  15415393 |    2030   212438   711223 |        1   519825     53 |  0.000 % |
3991.26/3991.28	c |  15423335 |    2030   212438   711223 |        1   527767     54 |  0.000 % |
3991.26/3991.28	c |  15425044 |    2030   212438   711223 |        1   529476     54 |  0.000 % |
3991.26/3991.28	c |  15425926 |    2030   212438   711223 |        1   530358     54 |  0.000 % |
3991.26/3991.28	c |  15426492 |    2030   212438   711223 |        1   530924     54 |  0.000 % |
3991.26/3991.28	c |  15427917 |    2030   212438   711223 |        1   532349     54 |  0.000 % |
3991.26/3991.28	c |  15437441 |    2030   212438   711223 |        1   541873     55 |  0.000 % |
3991.26/3991.28	c |  15437601 |    2030   212438   711223 |        1   542033     55 |  0.000 % |
3991.26/3991.28	c |  15447468 |    2030   212438   711223 |        1   551900     55 |  0.000 % |
3991.26/3991.28	c |  15461706 |    2030   212438   711223 |        1   286535     35 |  0.000 % |
3991.26/3991.28	c |  15499233 |    2030   212438   711223 |        1   324062     39 |  0.000 % |
3991.26/3991.28	c |  15507882 |    2030   212438   711223 |        1   332711     39 |  0.000 % |
3991.26/3991.28	c |  15522121 |    2030   212438   711223 |        1   346950     41 |  0.000 % |
3991.26/3991.28	c |  15525086 |    2030   212438   711223 |        1   349915     41 |  0.000 % |
3991.26/3991.28	c |  15528464 |    2030   212438   711223 |        1   353293     41 |  0.000 % |
3991.26/3991.28	c |  15528703 |    2030   212438   711223 |        1   353532     41 |  0.000 % |
3991.26/3991.28	c |  15529565 |    2030   212438   711223 |        1   354394     41 |  0.000 % |
3991.26/3991.28	c |  15530514 |    2030   212438   711223 |        1   355343     41 |  0.000 % |
3991.26/3991.28	c |  15534453 |    2030   212438   711223 |        1   359282     42 |  0.000 % |
3991.26/3991.28	c |  15538326 |    2030   212438   711223 |        1   363155     42 |  0.000 % |
3991.26/3991.28	c |  15539837 |    2030   212438   711223 |        1   364666     42 |  0.000 % |
3991.26/3991.28	c |  15540413 |    2030   212438   711223 |        1   365242     42 |  0.000 % |
3991.26/3991.28	c |  15562763 |    2030   212438   711223 |        1   387592     44 |  0.000 % |
3991.26/3991.28	c |  15674559 |    2030   212438   711223 |        1   499388     49 |  0.000 % |
3991.26/3991.28	c |  15703464 |    2030   212438   711223 |        1   528293     51 |  0.000 % |
4073.47/4073.42	c |  15706221 |    2030   212438   711223 |        1   531050     51 |  0.000 % |
4073.47/4073.42	c |  15706495 |    2030   212438   711223 |        1   531324     51 |  0.000 % |
4073.47/4073.42	c |  15712554 |    2030   212438   711223 |        1   537383     51 |  0.000 % |
4073.47/4073.42	c |  15712920 |    2030   212438   711223 |        1   537749     51 |  0.000 % |
4073.47/4073.42	c |  15714636 |    2030   212438   711223 |        1   539465     51 |  0.000 % |
4073.47/4073.42	c |  15732218 |    2030   212438   711223 |        1   557047     52 |  0.000 % |
4073.47/4073.42	c |  15732557 |    2030   212438   711223 |        1   557386     52 |  0.000 % |
4073.47/4073.42	c |  15733045 |    2030   212438   711223 |        1   557874     52 |  0.000 % |
4073.47/4073.42	c |  15733145 |    2030   212438   711223 |        1   557974     52 |  0.000 % |
4073.47/4073.42	c |  15734762 |    2030   212438   711223 |        1   559591     52 |  0.000 % |
4073.47/4073.42	c |  15738187 |    2030   212438   711223 |        1   563016     53 |  0.000 % |
4073.47/4073.42	c |  15738344 |    2030   212438   711223 |        1   563173     53 |  0.000 % |
4073.47/4073.42	c |  15747553 |    2030   212438   711223 |        1   290178     34 |  0.000 % |
4073.47/4073.42	c |  15747653 |    2030   212438   711223 |        1   290278     34 |  0.000 % |
4073.47/4073.42	c |  15752949 |    2030   212438   711223 |        1   295574     35 |  0.000 % |
4073.47/4073.42	c |  15758452 |    2030   212438   711223 |        1   301077     36 |  0.000 % |
4073.47/4073.42	c |  15762192 |    2030   212438   711223 |        1   304817     37 |  0.000 % |
4073.47/4073.42	c |  15762292 |    2030   212438   711223 |        1   304917     37 |  0.000 % |
4073.47/4073.42	c |  15762964 |    2030   212438   711223 |        1   305589     37 |  0.000 % |
4073.47/4073.42	c |  15769363 |    2030   212438   711223 |        1   311988     38 |  0.000 % |
4073.47/4073.42	c |  15769994 |    2030   212438   711223 |        1   312619     38 |  0.000 % |
4073.47/4073.42	c |  15783847 |    2030   212438   711223 |        1   326472     39 |  0.000 % |
4073.47/4073.42	c |  15790757 |    2030   212438   711223 |        1   333382     40 |  0.000 % |
4073.47/4073.42	c |  15790858 |    2030   212438   711223 |        1   333483     40 |  0.000 % |
4073.47/4073.42	c |  15795844 |    2030   212438   711223 |        1   338469     41 |  0.000 % |
4073.47/4073.42	c |  15805069 |    2030   212438   711223 |        1   347694     42 |  0.000 % |
4073.47/4073.42	c |  15825575 |    2030   212438   711223 |        1   368200     44 |  0.000 % |
4073.47/4073.42	c |  15830936 |    2030   212438   711223 |        1   373561     45 |  0.000 % |
4073.47/4073.42	c |  15831040 |    2030   212438   711223 |        1   373665     45 |  0.000 % |
4073.47/4073.42	c |  15831495 |    2030   212438   711223 |        1   374120     45 |  0.000 % |
4073.47/4073.42	c |  15832130 |    2030   212438   711223 |        1   374755     45 |  0.000 % |
4073.47/4073.42	c |  15834471 |    2030   212438   711223 |        1   377096     45 |  0.000 % |
4073.47/4073.42	c |  15850753 |    2030   212438   711223 |        1   393378     47 |  0.000 % |
4073.47/4073.42	c |  15877563 |    2030   212438   711223 |        1   420188     49 |  0.000 % |
4073.47/4073.42	c |  15898743 |    2030   212438   711223 |        1   441368     50 |  0.000 % |
4073.47/4073.42	c |  15898844 |    2030   212438   711223 |        1   441469     50 |  0.000 % |
4073.47/4073.42	c |  15926686 |    2030   212438   711223 |        1   469311     52 |  0.000 % |
4073.47/4073.42	c |  15932543 |    2030   212438   711223 |        1   475168     52 |  0.000 % |
4073.47/4073.42	c |  15940551 |    2030   212438   711223 |        1   483176     53 |  0.000 % |
4073.47/4073.42	c |  15949304 |    2030   212438   711223 |        1   491929     53 |  0.000 % |
4073.47/4073.42	c |  15950220 |    2030   212438   711223 |        1   492845     53 |  0.000 % |
4073.47/4073.42	c |  15952288 |    2030   212438   711223 |        1   494913     53 |  0.000 % |
4073.47/4073.42	c |  15952391 |    2030   212438   711223 |        1   495016     53 |  0.000 % |
4073.47/4073.42	c |  15952685 |    2030   212438   711223 |        1   495310     53 |  0.000 % |
4073.47/4073.42	c |  15960007 |    2030   212438   711223 |        1   502632     54 |  0.000 % |
4073.47/4073.42	c |  15974205 |    2030   212438   711223 |        1   516830     55 |  0.000 % |
4073.47/4073.42	c |  16011439 |    2030   212438   711223 |        1   554064     57 |  0.000 % |
4073.47/4073.42	c |  16021052 |    2030   212438   711223 |        1   563677     58 |  0.000 % |
4073.47/4073.42	c |  16021152 |    2030   212438   711223 |        1   563777     58 |  0.000 % |
4073.47/4073.42	c |  16024483 |    2030   212438   711223 |        1   567108     58 |  0.000 % |
4164.17/4164.20	c |  16025162 |    2030   212438   711223 |        1   567787     58 |  0.000 % |
4164.17/4164.20	c |  16026830 |    2030   212438   711223 |        1   569455     58 |  0.000 % |
4164.17/4164.20	c |  16028800 |    2030   212438   711223 |        1   286624     36 |  0.000 % |
4164.17/4164.20	c |  16029219 |    2030   212438   711223 |        1   287043     36 |  0.000 % |
4164.17/4164.20	c |  16041309 |    2030   212438   711223 |        1   299133     39 |  0.000 % |
4164.17/4164.20	c |  16041762 |    2030   212438   711223 |        1   299586     39 |  0.000 % |
4164.17/4164.20	c |  16062295 |    2030   212438   711223 |        1   320119     42 |  0.000 % |
4164.17/4164.20	c |  16062422 |    2030   212438   711223 |        1   320246     42 |  0.000 % |
4164.17/4164.20	c |  16064932 |    2030   212438   711223 |        1   322756     42 |  0.000 % |
4164.17/4164.20	c |  16074958 |    2030   212438   711223 |        1   332782     43 |  0.000 % |
4164.17/4164.20	c |  16075915 |    2030   212438   711223 |        1   333739     43 |  0.000 % |
4164.17/4164.20	c |  16076016 |    2030   212438   711223 |        1   333840     43 |  0.000 % |
4164.17/4164.20	c |  16078211 |    2030   212438   711223 |        1   336035     44 |  0.000 % |
4164.17/4164.20	c |  16078312 |    2030   212438   711223 |        1   336136     44 |  0.000 % |
4164.17/4164.20	c |  16078618 |    2030   212438   711223 |        1   336442     44 |  0.000 % |
4164.17/4164.20	c |  16090698 |    2030   212438   711223 |        1   348522     45 |  0.000 % |
4164.17/4164.20	c |  16091151 |    2030   212438   711223 |        1   348975     45 |  0.000 % |
4164.17/4164.20	c |  16154905 |    2030   212438   711223 |        1   412729     50 |  0.000 % |
4164.17/4164.20	c |  16157283 |    2030   212438   711223 |        1   415107     50 |  0.000 % |
4164.17/4164.20	c |  16174802 |    2030   212438   711223 |        1   432626     52 |  0.000 % |
4164.17/4164.20	c |  16175048 |    2030   212438   711223 |        1   432872     52 |  0.000 % |
4164.17/4164.20	c |  16175176 |    2030   212438   711223 |        1   433000     52 |  0.000 % |
4164.17/4164.20	c |  16179646 |    2030   212438   711223 |        1   437470     52 |  0.000 % |
4164.17/4164.20	c |  16179746 |    2030   212438   711223 |        1   437570     52 |  0.000 % |
4164.17/4164.20	c |  16182309 |    2030   212438   711223 |        1   440133     52 |  0.000 % |
4164.17/4164.20	c |  16189745 |    2030   212438   711223 |        1   447569     52 |  0.000 % |
4164.17/4164.20	c |  16190941 |    2030   212438   711223 |        1   448765     53 |  0.000 % |
4164.17/4164.20	c |  16191113 |    2030   212438   711223 |        1   448937     53 |  0.000 % |
4164.17/4164.20	c |  16191228 |    2030   212438   711223 |        1   449052     53 |  0.000 % |
4164.17/4164.20	c |  16228979 |    2030   212438   711223 |        1   486803     54 |  0.000 % |
4164.17/4164.20	c |  16251766 |    2030   212438   711223 |        1   509590     55 |  0.000 % |
4164.17/4164.20	c |  16259291 |    2030   212438   711223 |        1   517115     55 |  0.000 % |
4164.17/4164.20	c |  16277480 |    2030   212438   711223 |        1   535304     56 |  0.000 % |
4164.17/4164.20	c |  16277647 |    2030   212438   711223 |        1   535471     56 |  0.000 % |
4164.17/4164.20	c |  16279876 |    2030   212438   711223 |        1   537700     56 |  0.000 % |
4164.17/4164.20	c |  16287158 |    2030   212438   711223 |        1   544982     56 |  0.000 % |
4164.17/4164.20	c |  16287453 |    2030   212438   711223 |        1   545277     56 |  0.000 % |
4164.17/4164.20	c |  16289107 |    2030   212438   711223 |        1   546931     57 |  0.000 % |
4164.17/4164.20	c |  16292800 |    2030   212438   711223 |        1   550624     57 |  0.000 % |
4164.17/4164.20	c |  16293383 |    2030   212438   711223 |        1   551207     57 |  0.000 % |
4164.17/4164.20	c |  16293483 |    2030   212438   711223 |        1   551307     57 |  0.000 % |
4164.17/4164.20	c |  16319309 |    2030   212438   711223 |        1   289740     35 |  0.000 % |
4164.17/4164.20	c |  16323696 |    2030   212438   711223 |        1   294127     36 |  0.000 % |
4164.17/4164.20	c |  16323944 |    2030   212438   711223 |        1   294375     36 |  0.000 % |
4164.17/4164.20	c |  16324838 |    2030   212438   711223 |        1   295269     36 |  0.000 % |
4164.17/4164.20	c |  16329210 |    2030   212438   711223 |        1   299641     37 |  0.000 % |
4164.17/4164.20	c |  16330444 |    2030   212438   711223 |        1   300875     37 |  0.000 % |
4164.17/4164.20	c |  16335016 |    2030   212438   711223 |        1   305447     38 |  0.000 % |
4164.17/4164.20	c |  16351380 |    2030   212438   711223 |        1   321811     40 |  0.000 % |
4164.17/4164.20	c |  16353917 |    2030   212438   711223 |        1   324348     41 |  0.000 % |
4315.58/4315.56	c |  16354017 |    2030   212438   711223 |        1   324448     41 |  0.000 % |
4315.58/4315.56	c |  16354118 |    2030   212438   711223 |        1   324549     41 |  0.000 % |
4315.58/4315.56	c |  16354218 |    2030   212438   711223 |        1   324649     41 |  0.000 % |
4315.58/4315.56	c |  16354320 |    2030   212438   711223 |        1   324751     41 |  0.000 % |
4315.58/4315.56	c |  16354476 |    2030   212438   711223 |        1   324907     41 |  0.000 % |
4315.58/4315.56	c |  16373421 |    2030   212438   711223 |        1   343852     43 |  0.000 % |
4315.58/4315.56	c |  16373587 |    2030   212438   711223 |        1   344018     43 |  0.000 % |
4315.58/4315.56	c |  16374264 |    2030   212438   711223 |        1   344695     43 |  0.000 % |
4315.58/4315.56	c |  16374639 |    2030   212438   711223 |        1   345070     43 |  0.000 % |
4315.58/4315.56	c |  16375440 |    2030   212438   711223 |        1   345871     43 |  0.000 % |
4315.58/4315.56	c |  16377309 |    2030   212438   711223 |        1   347740     43 |  0.000 % |
4315.58/4315.56	c |  16377607 |    2030   212438   711223 |        1   348038     43 |  0.000 % |
4315.58/4315.56	c |  16378098 |    2030   212438   711223 |        1   348529     43 |  0.000 % |
4315.58/4315.56	c |  16379881 |    2030   212438   711223 |        1   350312     44 |  0.000 % |
4315.58/4315.56	c |  16382539 |    2030   212438   711223 |        1   352970     44 |  0.000 % |
4315.58/4315.56	c |  16424942 |    2030   212438   711223 |        1   395373     48 |  0.000 % |
4315.58/4315.56	c |  16428888 |    2030   212438   711223 |        1   399319     49 |  0.000 % |
4315.58/4315.56	c |  16444120 |    2030   212438   711223 |        1   414551     50 |  0.000 % |
4315.58/4315.56	c |  16444231 |    2030   212438   711223 |        1   414662     50 |  0.000 % |
4315.58/4315.56	c |  16447037 |    2030   212438   711223 |        1   417468     50 |  0.000 % |
4315.58/4315.56	c |  16447138 |    2030   212438   711223 |        1   417569     50 |  0.000 % |
4315.58/4315.56	c |  16465438 |    2030   212438   711223 |        1   435869     51 |  0.000 % |
4315.58/4315.56	c |  16479269 |    2030   212438   711223 |        1   449700     52 |  0.000 % |
4315.58/4315.56	c |  16488321 |    2030   212438   711223 |        1   458752     53 |  0.000 % |
4315.58/4315.56	c |  16501195 |    2030   212438   711223 |        1   471626     53 |  0.000 % |
4315.58/4315.56	c |  16520007 |    2030   212438   711223 |        1   490438     54 |  0.000 % |
4315.58/4315.56	c |  16571173 |    2030   212438   711223 |        1   541604     57 |  0.000 % |
4315.58/4315.56	c |  16597191 |    2030   212438   711223 |        1   567622     59 |  0.000 % |
4315.58/4315.56	c |  16597405 |    2030   212438   711223 |        1   567836     59 |  0.000 % |
4315.58/4315.56	c |  16599609 |    2030   212438   711223 |        1   570040     59 |  0.000 % |
4315.58/4315.56	c |  16610263 |    2030   212438   711223 |        1   290687     36 |  0.000 % |
4315.58/4315.56	c |  16610432 |    2030   212438   711223 |        1   290856     36 |  0.000 % |
4315.58/4315.56	c |  16617537 |    2030   212438   711223 |        1   297961     38 |  0.000 % |
4315.58/4315.56	c |  16640168 |    2030   212438   711223 |        1   320592     40 |  0.000 % |
4315.58/4315.56	c |  16640492 |    2030   212438   711223 |        1   320916     40 |  0.000 % |
4315.58/4315.56	c |  16692948 |    2030   212438   711223 |        1   373372     44 |  0.000 % |
4315.58/4315.56	c |  16694213 |    2030   212438   711223 |        1   374637     44 |  0.000 % |
4315.58/4315.56	c |  16741659 |    2030   212438   711223 |        1   422083     47 |  0.000 % |
4315.58/4315.56	c |  16741760 |    2030   212438   711223 |        1   422184     47 |  0.000 % |
4315.58/4315.56	c |  16744743 |    2030   212438   711223 |        1   425167     47 |  0.000 % |
4315.58/4315.56	c |  16787971 |    2030   212438   711223 |        1   468395     50 |  0.000 % |
4315.58/4315.56	c |  16788182 |    2030   212438   711223 |        1   468606     50 |  0.000 % |
4315.58/4315.56	c |  16788283 |    2030   212438   711223 |        1   468707     50 |  0.000 % |
4315.58/4315.56	c |  16788638 |    2030   212438   711223 |        1   469062     50 |  0.000 % |
4315.58/4315.56	c |  16804137 |    2030   212438   711223 |        1   484561     51 |  0.000 % |
4315.58/4315.56	c |  16804418 |    2030   212438   711223 |        1   484842     51 |  0.000 % |
4315.58/4315.56	c |  16804522 |    2030   212438   711223 |        1   484946     51 |  0.000 % |
4315.58/4315.56	c |  16825885 |    2030   212438   711223 |        1   506309     52 |  0.000 % |
4315.58/4315.56	c |  16831614 |    2030   212438   711223 |        1   512038     52 |  0.000 % |
4315.58/4315.56	c |  16871185 |    2030   212438   711223 |        1   551609     54 |  0.000 % |
4439.88/4439.85	c |  16875627 |    2030   212438   711223 |        1   556051     54 |  0.000 % |
4439.88/4439.85	c |  16888504 |    2030   212438   711223 |        1   568928     55 |  0.000 % |
4439.88/4439.85	c |  16888606 |    2030   212438   711223 |        1   569030     55 |  0.000 % |
4439.88/4439.85	c |  16888706 |    2030   212438   711223 |        1   569130     55 |  0.000 % |
4439.88/4439.85	c |  16888848 |    2030   212438   711223 |        1   569272     55 |  0.000 % |
4439.88/4439.85	c |  16897178 |    2030   212438   711223 |        1   577602     55 |  0.000 % |
4439.88/4439.85	c |  16903706 |    2030   212438   711223 |        1   584130     55 |  0.000 % |
4439.88/4439.85	c |  16904963 |    2030   212438   711223 |        1   292786     34 |  0.000 % |
4439.88/4439.85	c |  16911658 |    2030   212438   711223 |        1   299481     35 |  0.000 % |
4439.88/4439.85	c |  16914224 |    2030   212438   711223 |        1   302047     35 |  0.000 % |
4439.88/4439.85	c |  16947580 |    2030   212438   711223 |        1   335403     40 |  0.000 % |
4439.88/4439.85	c |  16949956 |    2030   212438   711223 |        1   337779     40 |  0.000 % |
4439.88/4439.85	c |  16978773 |    2030   212438   711223 |        1   366596     42 |  0.000 % |
4439.88/4439.85	c |  16979342 |    2030   212438   711223 |        1   367165     42 |  0.000 % |
4439.88/4439.85	c |  16992295 |    2030   212438   711223 |        1   380118     43 |  0.000 % |
4439.88/4439.85	c |  17017063 |    2030   212438   711223 |        1   404886     45 |  0.000 % |
4439.88/4439.85	c |  17017163 |    2030   212438   711223 |        1   404986     45 |  0.000 % |
4439.88/4439.85	c |  17021408 |    2030   212438   711223 |        1   409231     46 |  0.000 % |
4439.88/4439.85	c |  17021894 |    2030   212438   711223 |        1   409717     46 |  0.000 % |
4439.88/4439.85	c |  17031216 |    2030   212438   711223 |        1   419039     46 |  0.000 % |
4439.88/4439.85	c |  17045498 |    2030   212438   711223 |        1   433321     48 |  0.000 % |
4439.88/4439.85	c |  17045629 |    2030   212438   711223 |        1   433452     48 |  0.000 % |
4439.88/4439.85	c |  17093720 |    2030   212438   711223 |        1   481543     51 |  0.000 % |
4439.88/4439.85	c |  17095493 |    2030   212438   711223 |        1   483316     51 |  0.000 % |
4439.88/4439.85	c |  17103766 |    2030   212438   711223 |        1   491589     52 |  0.000 % |
4439.88/4439.85	c |  17104548 |    2030   212438   711223 |        1   492371     52 |  0.000 % |
4439.88/4439.85	c |  17105330 |    2030   212438   711223 |        1   493153     52 |  0.000 % |
4439.88/4439.85	c |  17105430 |    2030   212438   711223 |        1   493253     52 |  0.000 % |
4439.88/4439.85	c |  17105549 |    2030   212438   711223 |        1   493372     52 |  0.000 % |
4439.88/4439.85	c |  17106232 |    2030   212438   711223 |        1   494055     52 |  0.000 % |
4439.88/4439.85	c |  17115200 |    2030   212438   711223 |        1   503023     53 |  0.000 % |
4439.88/4439.85	c |  17118864 |    2030   212438   711223 |        1   506687     53 |  0.000 % |
4439.88/4439.85	c |  17119045 |    2030   212438   711223 |        1   506868     53 |  0.000 % |
4439.88/4439.85	c |  17126150 |    2030   212438   711223 |        1   513973     53 |  0.000 % |
4439.88/4439.85	c |  17164949 |    2030   212438   711223 |        1   552772     54 |  0.000 % |
4439.88/4439.85	c |  17172041 |    2030   212438   711223 |        1   559864     54 |  0.000 % |
4439.88/4439.85	c |  17172952 |    2030   212438   711223 |        1   560775     54 |  0.000 % |
4439.88/4439.85	c |  17173303 |    2030   212438   711223 |        1   561126     54 |  0.000 % |
4439.88/4439.85	c |  17173956 |    2030   212438   711223 |        1   561779     54 |  0.000 % |
4439.88/4439.85	c |  17184506 |    2030   212438   711223 |        1   572329     55 |  0.000 % |
4439.88/4439.85	c |  17186123 |    2030   212438   711223 |        1   573946     55 |  0.000 % |
4439.88/4439.85	c |  17211092 |    2030   212438   711223 |        1   303717     36 |  0.000 % |
4439.88/4439.85	c |  17212004 |    2030   212438   711223 |        1   304629     36 |  0.000 % |
4439.88/4439.85	c |  17220492 |    2030   212438   711223 |        1   313117     37 |  0.000 % |
4439.88/4439.85	c |  17242514 |    2030   212438   711223 |        1   335139     39 |  0.000 % |
4439.88/4439.85	c |  17273694 |    2030   212438   711223 |        1   366319     42 |  0.000 % |
4439.88/4439.85	c |  17273797 |    2030   212438   711223 |        1   366422     42 |  0.000 % |
4439.88/4439.85	c |  17297363 |    2030   212438   711223 |        1   389988     44 |  0.000 % |
4439.88/4439.85	c |  17297620 |    2030   212438   711223 |        1   390245     44 |  0.000 % |
4439.88/4439.85	c |  17304369 |    2030   212438   711223 |        1   396994     44 |  0.000 % |
4745.18/4745.19	c |  17306180 |    2030   212438   711223 |        1   398805     44 |  0.000 % |
4745.18/4745.19	c |  17338139 |    2030   212438   711223 |        1   430764     46 |  0.000 % |
4745.18/4745.19	c |  17338785 |    2030   212438   711223 |        1   431410     46 |  0.000 % |
4745.18/4745.19	c |  17411890 |    2030   212438   711223 |        1   504515     51 |  0.000 % |
4745.18/4745.19	c |  17413322 |    2030   212438   711223 |        1   505947     51 |  0.000 % |
4745.18/4745.19	c |  17448722 |    2030   212438   711223 |        1   541347     52 |  0.000 % |
4745.18/4745.19	c |  17529964 |    2030   212438   711223 |        1   324787     37 |  0.000 % |
4745.18/4745.19	c |  17593200 |    2030   212438   711223 |        1   388023     43 |  0.000 % |
4745.18/4745.19	c |  17603965 |    2030   212438   711223 |        1   398788     45 |  0.000 % |
4745.18/4745.19	c |  17623000 |    2030   212438   711223 |        1   417823     46 |  0.000 % |
4745.18/4745.19	c |  17623100 |    2030   212438   711223 |        1   417923     46 |  0.000 % |
4745.18/4745.19	c |  17730896 |    2030   212438   711223 |        1   525719     51 |  0.000 % |
4745.18/4745.19	c |  17772168 |    2030   212438   711223 |        1   566991     52 |  0.000 % |
4745.18/4745.19	c |  17811113 |    2030   212438   711223 |        1   305535     34 |  0.000 % |
4745.18/4745.19	c |  17871710 |    2030   212438   711223 |        1   366132     39 |  0.000 % |
4745.18/4745.19	c |  17928113 |    2030   212438   711223 |        1   422535     42 |  0.000 % |
4745.18/4745.19	c |  17929182 |    2030   212438   711223 |        1   423604     42 |  0.000 % |
4745.18/4745.19	c |  17929889 |    2030   212438   711223 |        1   424311     43 |  0.000 % |
4745.18/4745.19	c |  17932527 |    2030   212438   711223 |        1   426949     43 |  0.000 % |
4745.18/4745.19	c |  17968310 |    2030   212438   711223 |        1   462732     45 |  0.000 % |
4745.18/4745.19	c |  17972292 |    2030   212438   711223 |        1   466714     45 |  0.000 % |
4745.18/4745.19	c |  17992442 |    2030   212438   711223 |        1   486864     46 |  0.000 % |
4745.18/4745.19	c |  17993540 |    2030   212438   711223 |        1   487962     46 |  0.000 % |
4745.18/4745.19	c |  17995741 |    2030   212438   711223 |        1   490163     46 |  0.000 % |
4745.18/4745.19	c |  18012420 |    2030   212438   711223 |        1   506842     47 |  0.000 % |
4745.18/4745.19	c |  18013782 |    2030   212438   711223 |        1   508204     47 |  0.000 % |
4745.18/4745.19	c |  18023938 |    2030   212438   711223 |        1   518360     47 |  0.000 % |
4745.18/4745.19	c |  18033044 |    2030   212438   711223 |        1   527466     48 |  0.000 % |
4745.18/4745.19	c |  18057787 |    2030   212438   711223 |        1   552209     49 |  0.000 % |
4745.18/4745.19	c |  18059980 |    2030   212438   711223 |        1   554402     49 |  0.000 % |
4745.18/4745.19	c |  18105860 |    2030   212438   711223 |        1   600282     52 |  0.000 % |
4745.18/4745.19	c |  18107314 |    2030   212438   711223 |        1   601736     52 |  0.000 % |
4745.18/4745.19	c |  18113214 |    2030   212438   711223 |        1   304639     34 |  0.000 % |
4745.18/4745.19	c |  18116383 |    2030   212438   711223 |        1   307808     34 |  0.000 % |
4745.18/4745.19	c |  18124556 |    2030   212438   711223 |        1   315981     35 |  0.000 % |
4745.18/4745.19	c |  18150644 |    2030   212438   711223 |        1   342069     38 |  0.000 % |
4745.18/4745.19	c |  18163363 |    2030   212438   711223 |        1   354788     40 |  0.000 % |
4745.18/4745.19	c |  18167725 |    2030   212438   711223 |        1   359150     40 |  0.000 % |
4745.18/4745.19	c |  18168129 |    2030   212438   711223 |        1   359554     40 |  0.000 % |
4745.18/4745.19	c |  18195268 |    2030   212438   711223 |        1   386693     43 |  0.000 % |
4745.18/4745.19	c |  18210929 |    2030   212438   711223 |        1   402354     45 |  0.000 % |
4745.18/4745.19	c |  18211272 |    2030   212438   711223 |        1   402697     45 |  0.000 % |
4745.18/4745.19	c |  18220581 |    2030   212438   711223 |        1   412006     45 |  0.000 % |
4745.18/4745.19	c |  18220685 |    2030   212438   711223 |        1   412110     45 |  0.000 % |
4745.18/4745.19	c |  18221749 |    2030   212438   711223 |        1   413174     46 |  0.000 % |
4745.18/4745.19	c |  18256615 |    2030   212438   711223 |        1   448040     49 |  0.000 % |
4745.18/4745.19	c |  18261012 |    2030   212438   711223 |        1   452437     49 |  0.000 % |
4745.18/4745.19	c |  18261112 |    2030   212438   711223 |        1   452537     49 |  0.000 % |
4745.18/4745.19	c |  18262858 |    2030   212438   711223 |        1   454283     50 |  0.000 % |
4873.28/4873.29	c |  18281203 |    2030   212438   711223 |        1   472628     51 |  0.000 % |
4873.28/4873.29	c |  18284793 |    2030   212438   711223 |        1   476218     51 |  0.000 % |
4873.28/4873.29	c |  18311131 |    2030   212438   711223 |        1   502556     52 |  0.000 % |
4873.28/4873.29	c |  18312059 |    2030   212438   711223 |        1   503484     52 |  0.000 % |
4873.28/4873.29	c |  18322856 |    2030   212438   711223 |        1   514281     52 |  0.000 % |
4873.28/4873.29	c |  18325709 |    2030   212438   711223 |        1   517134     52 |  0.000 % |
4873.28/4873.29	c |  18336822 |    2030   212438   711223 |        1   528247     53 |  0.000 % |
4873.28/4873.29	c |  18357615 |    2030   212438   711223 |        1   549040     54 |  0.000 % |
4873.28/4873.29	c |  18357715 |    2030   212438   711223 |        1   549140     54 |  0.000 % |
4873.28/4873.29	c |  18382867 |    2030   212438   711223 |        1   574292     55 |  0.000 % |
4873.28/4873.29	c |  18385709 |    2030   212438   711223 |        1   577134     55 |  0.000 % |
4873.28/4873.29	c |  18385811 |    2030   212438   711223 |        1   577236     55 |  0.000 % |
4873.28/4873.29	c |  18387595 |    2030   212438   711223 |        1   579020     55 |  0.000 % |
4873.28/4873.29	c |  18394437 |    2030   212438   711223 |        1   585862     55 |  0.000 % |
4873.28/4873.29	c |  18394546 |    2030   212438   711223 |        1   585971     55 |  0.000 % |
4873.28/4873.29	c |  18395893 |    2030   212438   711223 |        1   587318     56 |  0.000 % |
4873.28/4873.29	c |  18395994 |    2030   212438   711223 |        1   587419     56 |  0.000 % |
4873.28/4873.29	c |  18398647 |    2030   212438   711223 |        1   590072     56 |  0.000 % |
4873.28/4873.29	c |  18404603 |    2030   212438   711223 |        1   596028     56 |  0.000 % |
4873.28/4873.29	c |  18404768 |    2030   212438   711223 |        1   596193     56 |  0.000 % |
4873.28/4873.29	c |  18424341 |    2030   212438   711223 |        1   310170     36 |  0.000 % |
4873.28/4873.29	c |  18429349 |    2030   212438   711223 |        1   315178     37 |  0.000 % |
4873.28/4873.29	c |  18438599 |    2030   212438   711223 |        1   324428     38 |  0.000 % |
4873.28/4873.29	c |  18444281 |    2030   212438   711223 |        1   330110     39 |  0.000 % |
4873.28/4873.29	c |  18445472 |    2030   212438   711223 |        1   331301     39 |  0.000 % |
4873.28/4873.29	c |  18456092 |    2030   212438   711223 |        1   341921     40 |  0.000 % |
4873.28/4873.29	c |  18457774 |    2030   212438   711223 |        1   343603     40 |  0.000 % |
4873.28/4873.29	c |  18463851 |    2030   212438   711223 |        1   349680     41 |  0.000 % |
4873.28/4873.29	c |  18506106 |    2030   212438   711223 |        1   391935     44 |  0.000 % |
4873.28/4873.29	c |  18508056 |    2030   212438   711223 |        1   393885     44 |  0.000 % |
4873.28/4873.29	c |  18512918 |    2030   212438   711223 |        1   398747     45 |  0.000 % |
4873.28/4873.29	c |  18523010 |    2030   212438   711223 |        1   408839     46 |  0.000 % |
4873.28/4873.29	c |  18531445 |    2030   212438   711223 |        1   417274     46 |  0.000 % |
4873.28/4873.29	c |  18535718 |    2030   212438   711223 |        1   421547     47 |  0.000 % |
4873.28/4873.29	c |  18552940 |    2030   212438   711223 |        1   438769     48 |  0.000 % |
4873.28/4873.29	c |  18566202 |    2030   212438   711223 |        1   452031     49 |  0.000 % |
4873.28/4873.29	c |  18568152 |    2030   212438   711223 |        1   453981     49 |  0.000 % |
4873.28/4873.29	c |  18578469 |    2030   212438   711223 |        1   464298     50 |  0.000 % |
4873.28/4873.29	c |  18584356 |    2030   212438   711223 |        1   470185     50 |  0.000 % |
4873.28/4873.29	c |  18591013 |    2030   212438   711223 |        1   476842     51 |  0.000 % |
4873.28/4873.29	c |  18591631 |    2030   212438   711223 |        1   477460     51 |  0.000 % |
4873.28/4873.29	c |  18593545 |    2030   212438   711223 |        1   479374     51 |  0.000 % |
4873.28/4873.29	c |  18594737 |    2030   212438   711223 |        1   480566     51 |  0.000 % |
4873.28/4873.29	c |  18597666 |    2030   212438   711223 |        1   483495     51 |  0.000 % |
4873.28/4873.29	c |  18615119 |    2030   212438   711223 |        1   500948     52 |  0.000 % |
4873.28/4873.29	c |  18634723 |    2030   212438   711223 |        1   520552     53 |  0.000 % |
4873.28/4873.29	c |  18661918 |    2030   212438   711223 |        1   547747     54 |  0.000 % |
4873.28/4873.29	c |  18683998 |    2030   212438   711223 |        1   569827     55 |  0.000 % |
4873.28/4873.29	c |  18700685 |    2030   212438   711223 |        1   586514     56 |  0.000 % |
4873.28/4873.29	c |  18706722 |    2030   212438   711223 |        1   592551     56 |  0.000

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303345-1303899331/watcher-3303345-1303899331 -o /tmp/evaluation-result-3303345-1303899331/solver-3303345-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303345-1303899331.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 19063
/proc/meminfo: memFree=22431472/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 501530859 8912896 253 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19063/statm: 2176 253 211 178 0 69 0

[startup+0.0934881 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 19063
/proc/meminfo: memFree=22431472/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 501530859 8912896 253 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19063/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100487 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 19063
/proc/meminfo: memFree=22431472/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 501530859 8912896 253 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19063/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300459 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 19063
/proc/meminfo: memFree=22431472/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 501530859 8912896 253 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19063/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700387 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 19063
/proc/meminfo: memFree=22431472/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 501530859 8912896 253 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19063/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50024 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 19074
/proc/meminfo: memFree=22401672/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=33084 CPUtime=0.75 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 6275 0 0 0 75 0 0 0 17 0 1 0 501530933 33878016 4102 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19074/statm: 8271 4102 251 17 0 4912 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 41788

[startup+3.10095 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 19074
/proc/meminfo: memFree=22382460/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=47384 CPUtime=2.35 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 13223 0 0 0 234 1 0 0 20 0 1 0 501530933 48521216 8468 33554432000 4194304 4260849 140734641919952 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19074/statm: 11846 8468 251 17 0 8487 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 56088

[startup+6.30037 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 19074
/proc/meminfo: memFree=22356920/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=58988 CPUtime=5.55 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 16199 0 0 0 553 2 0 0 25 0 1 0 501530933 60403712 11202 33554432000 4194304 4260849 140734641919952 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19074/statm: 14747 11202 251 17 0 11388 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 67692

[startup+12.7012 s]
/proc/loadavg: 0.44 0.10 0.03 3/180 19074
/proc/meminfo: memFree=22363264/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=58992 CPUtime=11.96 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 23531 0 0 0 1192 4 0 0 25 0 1 0 501530933 60407808 7495 33554432000 4194304 4260849 140734641919952 18446744073709551615 4209683 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19074/statm: 14748 7495 251 17 0 11389 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67696

[startup+25.5009 s]
/proc/loadavg: 0.68 0.16 0.05 3/180 19075
/proc/meminfo: memFree=22342624/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=58992 CPUtime=24.75 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 27578 0 0 0 2470 5 0 0 25 0 1 0 501530933 60407808 11302 33554432000 4194304 4260849 140734641919952 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19074/statm: 14748 11302 251 17 0 11389 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 67696

[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/180 19075
/proc/meminfo: memFree=22297536/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=108192 CPUtime=50.35 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 39091 0 0 0 5028 7 0 0 25 0 1 0 501530933 110788608 17629 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 27048 17629 251 17 0 23689 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 116896

[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 3/180 19077
/proc/meminfo: memFree=22243080/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=116356 CPUtime=101.56 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 47721 0 0 0 10147 9 0 0 25 0 1 0 501530933 119148544 25810 33554432000 4194304 4260849 140734641919952 18446744073709551615 4227024 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 29089 25810 251 17 0 25730 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 125060

[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.31 3/180 19078
/proc/meminfo: memFree=22224188/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=116356 CPUtime=161.55 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 47721 0 0 0 16146 9 0 0 25 0 1 0 501530933 119148544 25810 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 29089 25810 251 17 0 25730 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 125060

[startup+222.3 s]
/proc/loadavg: 2.02 1.07 0.43 3/180 19080
/proc/meminfo: memFree=22267036/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=116356 CPUtime=221.55 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 47721 0 0 0 22146 9 0 0 25 0 1 0 501530933 119148544 25810 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 29089 25810 251 17 0 25730 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 125060

[startup+282.301 s]
/proc/loadavg: 2.01 1.22 0.51 3/180 19081
/proc/meminfo: memFree=22238968/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=116356 CPUtime=281.56 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 47721 0 0 0 28147 9 0 0 25 0 1 0 501530933 119148544 25810 33554432000 4194304 4260849 140734641919952 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 29089 25810 251 17 0 25730 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 125060

[startup+342.301 s]
/proc/loadavg: 2.00 1.37 0.61 3/180 19083
/proc/meminfo: memFree=22189324/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=166012 CPUtime=341.56 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 81822 0 0 0 34142 14 0 0 25 0 1 0 501530933 169996288 36123 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 41503 36123 251 17 0 38144 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 174716

[startup+402.301 s]
/proc/loadavg: 2.00 1.47 0.69 3/180 19085
/proc/meminfo: memFree=22185316/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6

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

/proc/19074/statm: 66041 59150 251 17 0 62682 0
Current children cumulated CPU time (s) 4302.37
Current children cumulated vsize (KiB) 272868

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 19233
/proc/meminfo: memFree=21940488/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=264764 CPUtime=4361.66 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 1975084 0 0 0 435756 410 0 0 25 0 1 0 501530933 271118336 51291 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 66191 51291 251 17 0 62832 0
Current children cumulated CPU time (s) 4362.38
Current children cumulated vsize (KiB) 273468

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 19235
/proc/meminfo: memFree=21985220/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=215280 CPUtime=4421.66 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2004595 0 0 0 441750 416 0 0 25 0 1 0 501530933 220446720 45214 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 53820 45214 251 17 0 50461 0
Current children cumulated CPU time (s) 4422.38
Current children cumulated vsize (KiB) 223984

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 19236
/proc/meminfo: memFree=21906676/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=265964 CPUtime=4481.65 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2019411 0 0 0 447745 420 0 0 25 0 1 0 501530933 272347136 59838 33554432000 4194304 4260849 140734641919952 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 66491 59838 251 17 0 63132 0
Current children cumulated CPU time (s) 4482.37
Current children cumulated vsize (KiB) 274668

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 19238
/proc/meminfo: memFree=21953620/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=266524 CPUtime=4541.66 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2047490 0 0 0 453740 426 0 0 25 0 1 0 501530933 272920576 53044 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 66631 53044 251 17 0 63272 0
Current children cumulated CPU time (s) 4542.38
Current children cumulated vsize (KiB) 275228

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 19240
/proc/meminfo: memFree=21891080/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=349524 CPUtime=4601.67 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2058379 0 0 0 459737 430 0 0 25 0 1 0 501530933 357912576 63799 33554432000 4194304 4260849 140734641919952 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 87381 63799 251 17 0 84022 0
Current children cumulated CPU time (s) 4602.39
Current children cumulated vsize (KiB) 358228

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 19241
/proc/meminfo: memFree=21912084/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=269908 CPUtime=4661.67 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2082956 0 0 0 465731 436 0 0 25 0 1 0 501530933 276385792 54116 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 67477 54116 251 17 0 64118 0
Current children cumulated CPU time (s) 4662.39
Current children cumulated vsize (KiB) 278612

[startup+4722.31 s]
/proc/loadavg: 2.07 2.02 1.93 3/180 19243
/proc/meminfo: memFree=21954940/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=220104 CPUtime=4721.67 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2111684 0 0 0 471725 442 0 0 25 0 1 0 501530933 225386496 48499 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 55026 48499 251 17 0 51667 0
Current children cumulated CPU time (s) 4722.39
Current children cumulated vsize (KiB) 228808

[startup+4782.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 19244
/proc/meminfo: memFree=21867220/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=351896 CPUtime=4781.66 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2129192 0 0 0 477719 447 0 0 25 0 1 0 501530933 360341504 65803 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 87974 65803 251 17 0 84615 0
Current children cumulated CPU time (s) 4782.38
Current children cumulated vsize (KiB) 360600

[startup+4842.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/180 19246
/proc/meminfo: memFree=21912820/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=270688 CPUtime=4841.66 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2160395 0 0 0 483713 453 0 0 25 0 1 0 501530933 277184512 59580 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 67672 59580 251 17 0 64313 0
Current children cumulated CPU time (s) 4842.38
Current children cumulated vsize (KiB) 279392

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 19248
/proc/meminfo: memFree=21941804/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=221108 CPUtime=4901.67 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2186238 0 0 0 489707 460 0 0 25 0 1 0 501530933 226414592 47715 33554432000 4194304 4260849 140734641919952 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 55277 47715 251 17 0 51918 0
Current children cumulated CPU time (s) 4902.39
Current children cumulated vsize (KiB) 229812

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 19249
/proc/meminfo: memFree=21904304/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=271756 CPUtime=4961.67 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2201552 0 0 0 495702 465 0 0 25 0 1 0 501530933 278278144 62845 33554432000 4194304 4260849 140734641919952 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 67939 62845 251 17 0 64580 0
Current children cumulated CPU time (s) 4962.39
Current children cumulated vsize (KiB) 280460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 19250
/proc/meminfo: memFree=21952024/32951124 swapFree=67111412/67111528
[pid=19063] ppid=19061 vsize=8704 CPUtime=0.72 cores=0,2,4,6
/proc/19063/stat : 19063 (glucose.sh) S 19061 19063 19031 0 -1 4202496 360 4444 0 0 0 0 71 1 15 0 1 0 501530859 8912896 255 33554432000 4194304 4922060 140734552421520 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19063/statm: 2176 255 211 178 0 69 0
[pid=19074] ppid=19063 vsize=221836 CPUtime=4999.37 cores=0,2,4,6
/proc/19074/stat : 19074 (glucose_static) R 19063 19063 19031 0 -1 4202496 2223250 0 0 0 499468 469 0 0 25 0 1 0 501530933 227160064 47876 33554432000 4194304 4260849 140734641919952 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19074/statm: 55459 47876 251 17 0 52100 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 230540

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 5000.01
CPU time (s): 5000.09
CPU user time (s): 4995.39
CPU system time (s): 4.7
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 440740

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

runsolver used 8.77267 second user time and 18.5012 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-27 12:15:31
IDJOB=3303345
IDBENCH=71308
IDSOLVER=1687
FILE ID=node137/3303345-1303899331
RUNJOBID= node137-1303899331-19049
PBS_JOBID= 13164511
Free space on /tmp= 71680 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g4.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303345-1303899331/watcher-3303345-1303899331 -o /tmp/evaluation-result-3303345-1303899331/solver-3303345-1303899331 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303345-1303899331.cnf 

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

MD5SUM BENCH= 399c54da7337981a88a374a67e87ba30
RANDOM SEED=278539786

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22432008 kB
Buffers:       1770584 kB
Cached:        8130484 kB
SwapCached:        112 kB
Active:        3783364 kB
Inactive:      6181420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22432008 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:            3924 kB
Writeback:           0 kB
AnonPages:       62852 kB
Mapped:          14416 kB
Slab:           490072 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187500 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71596 MiB
End job on node137 at 2011-04-27 13:38:53