Trace number 3303885

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.02 4999.91

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
MD5SUMc6d3480970bb2819448dd0a800a3cf1c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3527.13
Satisfiable
(Un)Satisfiability was proved
Number of variables1134832
Number of clauses6175026
Sum of the clauses size14647926
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 26124260
Number of clauses of size 3960
Number of clauses of size 41200
Number of clauses of size 51200
Number of clauses of size over 546560

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.00	c num clauses = 6175026
0.00/0.00	c too many clauses .. no preprocessing
0.00/0.00	c
0.00/0.00	c Starting glucose
0.00/0.00	c
175.19/175.24	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
175.19/175.24	c WARNING: for repeatability, setting FPU to use double precision
175.19/175.24	c ============================[ Problem Statistics ]=============================
175.19/175.24	c |                                                                             |
175.19/175.24	c |  Number of variables:       1134832                                         |
175.19/175.24	c |  Number of clauses:         5086413                                         |
175.19/175.24	c |  Parse time:                   1.21 s                                       |
175.19/175.24	c |                                                                             |
175.19/175.24	c ============================[ Search Statistics ]==============================
175.19/175.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
175.19/175.24	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
175.19/175.24	c ===============================================================================
175.19/175.24	c |       195 |  986595  5084621 11976102 |        1      195   2563 | 13.062 % |
175.19/175.24	c |       296 |  986595  5084621 11976102 |        1      296   2467 | 13.062 % |
175.19/175.24	c |       396 |  986595  5084621 11976102 |        1      396   2187 | 13.062 % |
175.19/175.24	c |      1455 |  986592  5084621 11976102 |        1     1452   3396 | 13.063 % |
175.19/175.24	c |      1708 |  986592  5084621 11976102 |        1     1705   3389 | 13.063 % |
175.19/175.24	c |      1809 |  986592  5084621 11976102 |        1     1806   3314 | 13.063 % |
175.19/175.24	c |      1909 |  986592  5084621 11976102 |        1     1906   3241 | 13.063 % |
175.19/175.24	c |      2014 |  986592  5084621 11976102 |        1     2011   3125 | 13.063 % |
175.19/175.24	c |      2261 |  986592  5084621 11976102 |        1     2258   2976 | 13.063 % |
175.19/175.24	c |      3074 |  986591  5084621 11976102 |        1     3070   3101 | 13.063 % |
175.19/175.24	c |      3379 |  986591  5084621 11976102 |        1     3375   3356 | 13.063 % |
175.19/175.24	c |      3479 |  986591  5084621 11976102 |        1     3475   3307 | 13.063 % |
175.19/175.24	c |      4217 |  986591  5084621 11976102 |        1     2235    960 | 13.063 % |
175.19/175.24	c |      5273 |  986591  5084621 11976102 |        1     3291   1568 | 13.063 % |
175.19/175.24	c |      6989 |  986591  5084621 11976102 |        1     5007   1471 | 13.063 % |
175.19/175.24	c |      7089 |  986591  5084621 11976102 |        1     5107   1469 | 13.063 % |
175.19/175.24	c |      7189 |  986591  5084621 11976102 |        1     5207   1452 | 13.063 % |
175.19/175.24	c |      7403 |  986543  5084621 11976102 |        1     5419   1436 | 13.067 % |
175.19/175.24	c |      7503 |  986543  5084621 11976102 |        1     5519   1434 | 13.067 % |
175.19/175.24	c |      8908 |  986542  5084621 11976102 |        1     6923   2197 | 13.067 % |
175.19/175.24	c |      9009 |  986542  5084617 11976049 |        1     7010   2183 | 13.067 % |
175.19/175.24	c |     11021 |  986118  5084617 11976049 |        1     4724    919 | 13.104 % |
175.19/175.24	c |     11123 |  986117  5084617 11976049 |        1     4825    940 | 13.105 % |
175.19/175.24	c |     12713 |  986111  5084617 11976049 |        1     6409   1354 | 13.105 % |
175.19/175.24	c |     13062 |  986111  5084617 11976049 |        1     6758   1530 | 13.105 % |
175.19/175.24	c |     13162 |  986111  5084617 11976049 |        1     6858   1550 | 13.105 % |
175.19/175.24	c |     17661 |  986068  5084555 11975443 |        1    11348   1911 | 13.109 % |
175.19/175.24	c |     18156 |  986067  5084555 11975443 |        1    11842   1895 | 13.109 % |
175.19/175.24	c |     18711 |  986067  5084555 11975443 |        1    12397   1934 | 13.109 % |
175.19/175.24	c |     18811 |  986067  5084555 11975443 |        1    12497   1962 | 13.109 % |
175.19/175.24	c |     18912 |  986067  5084555 11975443 |        1    12598   2000 | 13.109 % |
175.19/175.24	c |     19012 |  986067  5084555 11975443 |        1    12698   1999 | 13.109 % |
175.19/175.24	c |     20551 |  986067  5084555 11975443 |        1     7510    802 | 13.109 % |
175.19/175.24	c |     21407 |  986066  5084555 11975443 |        1     8365   1131 | 13.109 % |
175.19/175.24	c |     21548 |  986066  5084555 11975443 |        1     8506   1135 | 13.109 % |
175.19/175.24	c |     23035 |  986040  5084555 11975443 |        1     9978   1317 | 13.111 % |
175.19/175.24	c |     23137 |  986040  5084555 11975443 |        1    10080   1319 | 13.111 % |
175.19/175.24	c |     25024 |  986037  5084555 11975443 |        1    11964   1476 | 13.112 % |
175.19/175.24	c |     27219 |  986033  5084553 11975425 |        1    14148   1830 | 13.112 % |
545.81/545.89	c |     27321 |  986033  5084553 11975425 |        1    14250   1877 | 13.112 % |
545.81/545.89	c |     27421 |  986033  5084553 11975425 |        1    14350   1871 | 13.112 % |
545.81/545.89	c |     27941 |  986032  5084553 11975425 |        1    14869   1885 | 13.112 % |
545.81/545.89	c |     28955 |  986032  5084553 11975425 |        1    15883   2044 | 13.112 % |
545.81/545.89	c |     30280 |  986030  5084553 11975425 |        1    17206   2073 | 13.112 % |
545.81/545.89	c |     30381 |  986030  5084553 11975425 |        1    17307   2080 | 13.112 % |
545.81/545.89	c |     31942 |  986016  5084553 11975425 |        1     9634    544 | 13.113 % |
545.81/545.89	c |     32046 |  986016  5084553 11975425 |        1     9738    548 | 13.113 % |
545.81/545.89	c |     40132 |  985995  5084553 11975425 |        1    17818   2151 | 13.115 % |
545.81/545.89	c |     40232 |  985995  5084549 11975392 |        1    17917   2143 | 13.115 % |
545.81/545.89	c |     41100 |  985994  5084549 11975392 |        1    18784   2122 | 13.115 % |
545.81/545.89	c |     41200 |  985993  5084549 11975392 |        1    18883   2114 | 13.116 % |
545.81/545.89	c |     44183 |  985993  5084549 11975392 |        1    21866   2726 | 13.116 % |
545.81/545.89	c |     44284 |  985993  5084549 11975392 |        1    21967   2747 | 13.116 % |
545.81/545.89	c |     45502 |  985993  5084549 11975392 |        1    23185   2919 | 13.116 % |
545.81/545.89	c |     45948 |  985992  5084549 11975392 |        1    23630   2889 | 13.116 % |
545.81/545.89	c |     49398 |  985985  5084549 11975392 |        1    15234   1382 | 13.116 % |
545.81/545.89	c |     49498 |  985985  5084549 11975392 |        1    15334   1386 | 13.116 % |
545.81/545.89	c |     49599 |  985985  5084549 11975392 |        1    15435   1397 | 13.116 % |
545.81/545.89	c |     50750 |  985985  5084549 11975392 |        1    16586   1459 | 13.116 % |
545.81/545.89	c |     50851 |  985985  5084549 11975392 |        1    16687   1455 | 13.116 % |
545.81/545.89	c |     52714 |  985942  5084549 11975392 |        1    18530   1481 | 13.120 % |
545.81/545.89	c |     52814 |  985942  5084549 11975392 |        1    18630   1477 | 13.120 % |
545.81/545.89	c |     53714 |  985940  5084549 11975392 |        1    19528   1540 | 13.120 % |
545.81/545.89	c |     53915 |  985938  5084549 11975392 |        1    19727   1546 | 13.120 % |
545.81/545.89	c |     54088 |  985938  5084549 11975392 |        1    19900   1559 | 13.120 % |
545.81/545.89	c |     55241 |  985938  5084549 11975392 |        1    21053   1648 | 13.120 % |
545.81/545.89	c |     55341 |  985938  5084549 11975392 |        1    21153   1645 | 13.120 % |
545.81/545.89	c |     55441 |  985938  5084549 11975392 |        1    21253   1651 | 13.120 % |
545.81/545.89	c |     55546 |  985938  5084549 11975392 |        1    21358   1650 | 13.120 % |
545.81/545.89	c |     55646 |  985938  5084549 11975392 |        1    21458   1656 | 13.120 % |
545.81/545.89	c |     57965 |  985936  5084547 11975356 |        1    23535   1819 | 13.121 % |
545.81/545.89	c |     61185 |  985934  5084547 11975356 |        1    26753   1852 | 13.121 % |
545.81/545.89	c |     62383 |  985933  5084547 11975356 |        1    27950   1925 | 13.121 % |
545.81/545.89	c |     63682 |  985933  5084547 11975356 |        1    15000    467 | 13.121 % |
545.81/545.89	c |     65599 |  985930  5084547 11975356 |        1    16912    759 | 13.121 % |
545.81/545.89	c |     65699 |  985930  5084547 11975356 |        1    17012    762 | 13.121 % |
545.81/545.89	c |     66630 |  985928  5084547 11975356 |        1    17941    921 | 13.121 % |
545.81/545.89	c |     70622 |  985908  5084547 11975356 |        1    21931   2926 | 13.123 % |
545.81/545.89	c |     70722 |  985908  5084547 11975356 |        1    22031   2920 | 13.123 % |
545.81/545.89	c |     73850 |  985906  5084547 11975356 |        1    25157   3190 | 13.123 % |
545.81/545.89	c |     73952 |  985906  5084545 11975335 |        1    25259   3187 | 13.123 % |
545.81/545.89	c |     75073 |  985427  5084545 11975335 |        1    26378   3177 | 13.165 % |
545.81/545.89	c |     75174 |  985427  5084545 11975335 |        1    26479   3177 | 13.165 % |
545.81/545.89	c |     76514 |  985310  5084545 11975335 |        1    27814   3172 | 13.176 % |
545.81/545.89	c |     77284 |  985309  5084545 11975335 |        1    28583   3151 | 13.176 % |
545.81/545.89	c |     80016 |  985218  5084545 11975335 |        1    31313   3109 | 13.184 % |
545.81/545.89	c |     80116 |  985218  5084545 11975335 |        1    31413   3100 | 13.184 % |
545.81/545.89	c |     80216 |  985148  5084545 11975335 |        1    31511   3102 | 13.190 % |
545.81/545.89	c |     83419 |  985133  5084545 11975335 |        1    17809    377 | 13.191 % |
863.41/863.45	c |     83521 |  985133  5084545 11975335 |        1    17911    380 | 13.191 % |
863.41/863.45	c |     89017 |  985126  5084521 11974405 |        1    23378    906 | 13.192 % |
863.41/863.45	c |     89890 |  985125  5084521 11974405 |        1    24250   1013 | 13.192 % |
863.41/863.45	c |     90150 |  985125  5084521 11974405 |        1    24510   1023 | 13.192 % |
863.41/863.45	c |     92423 |  985125  5084521 11974405 |        1    26783   1150 | 13.192 % |
863.41/863.45	c |     93523 |  985122  5084521 11974405 |        1    27875   1227 | 13.192 % |
863.41/863.45	c |     97260 |  985100  5084521 11974405 |        1    31609   1600 | 13.194 % |
863.41/863.45	c |     97360 |  985100  5084521 11974405 |        1    31709   1620 | 13.194 % |
863.41/863.45	c |     97465 |  985100  5084521 11974405 |        1    31814   1618 | 13.194 % |
863.41/863.45	c |     99307 |  984677  5084521 11974405 |        1    33654   1618 | 13.231 % |
863.41/863.45	c |     99409 |  984677  5084521 11974405 |        1    33756   1614 | 13.231 % |
863.41/863.45	c |    102175 |  984676  5084517 11973918 |        1    36434   1647 | 13.232 % |
863.41/863.45	c |    102854 |  984613  5084517 11973918 |        1    37112   1647 | 13.237 % |
863.41/863.45	c |    104191 |  984458  5084517 11973918 |        1    38446   1810 | 13.251 % |
863.41/863.45	c |    104802 |  984457  5084517 11973918 |        1    39056   1813 | 13.251 % |
863.41/863.45	c |    104903 |  984457  5084517 11973918 |        1    19629    295 | 13.251 % |
863.41/863.45	c |    105049 |  984457  5084517 11973918 |        1    19775    312 | 13.251 % |
863.41/863.45	c |    105149 |  984457  5084517 11973918 |        1    19875    333 | 13.251 % |
863.41/863.45	c |    106456 |  984456  5084517 11973918 |        1    21181    489 | 13.251 % |
863.41/863.45	c |    107154 |  984456  5084517 11973918 |        1    21879    609 | 13.251 % |
863.41/863.45	c |    107255 |  984456  5084517 11973918 |        1    21980    612 | 13.251 % |
863.41/863.45	c |    110151 |  984454  5084517 11973918 |        1    24874    760 | 13.251 % |
863.41/863.45	c |    110251 |  984453  5084517 11973918 |        1    24973    769 | 13.251 % |
863.41/863.45	c |    112881 |  984453  5084517 11973918 |        1    27603   1182 | 13.251 % |
863.41/863.45	c |    116863 |  984452  5084509 11973650 |        1    31543   1438 | 13.251 % |
863.41/863.45	c |    118787 |  984451  5084509 11973650 |        1    33466   1559 | 13.251 % |
863.41/863.45	c |    118887 |  984451  5084509 11973650 |        1    33566   1560 | 13.251 % |
863.41/863.45	c |    119798 |  983927  5084509 11973650 |        1    34475   1575 | 13.298 % |
863.41/863.45	c |    120422 |  983927  5084509 11973650 |        1    35099   1581 | 13.298 % |
863.41/863.45	c |    120769 |  983927  5084509 11973650 |        1    35446   1592 | 13.298 % |
863.41/863.45	c |    120922 |  983927  5084509 11973650 |        1    35599   1600 | 13.298 % |
863.41/863.45	c |    121022 |  983927  5084509 11973650 |        1    35699   1603 | 13.298 % |
863.41/863.45	c |    121463 |  983912  5084509 11973650 |        1    36139   1605 | 13.299 % |
863.41/863.45	c |    121969 |  983912  5084509 11973650 |        1    36645   1641 | 13.299 % |
863.41/863.45	c |    122395 |  983910  5084509 11973650 |        1    37069   1644 | 13.299 % |
863.41/863.45	c |    122495 |  983910  5084509 11973650 |        1    37169   1641 | 13.299 % |
863.41/863.45	c |    123876 |  983910  5084509 11973650 |        1    38550   1752 | 13.299 % |
863.41/863.45	c |    124754 |  983910  5084509 11973650 |        1    39428   1760 | 13.299 % |
863.41/863.45	c |    125438 |  983909  5084509 11973650 |        1    40111   1767 | 13.299 % |
863.41/863.45	c |    125778 |  983909  5084509 11973650 |        1    40451   1801 | 13.299 % |
863.41/863.45	c |    126826 |  983909  5084509 11973650 |        1    41499   1823 | 13.299 % |
863.41/863.45	c |    126928 |  983909  5084503 11972975 |        1    41584   1823 | 13.299 % |
863.41/863.45	c |    130029 |  983908  5084503 11972975 |        1    22601    374 | 13.299 % |
863.41/863.45	c |    130778 |  983908  5084503 11972975 |        1    23350    428 | 13.299 % |
863.41/863.45	c |    130878 |  983908  5084503 11972975 |        1    23450    435 | 13.299 % |
863.41/863.45	c |    131318 |  983908  5084503 11972975 |        1    23890    445 | 13.299 % |
863.41/863.45	c |    133431 |  983908  5084503 11972975 |        1    26003   1432 | 13.299 % |
863.41/863.45	c |    133533 |  983908  5084503 11972975 |        1    26105   1438 | 13.299 % |
863.41/863.45	c |    133633 |  983908  5084503 11972975 |        1    26205   1443 | 13.299 % |
863.41/863.45	c |    135534 |  983908  5084503 11972975 |        1    28106   1595 | 13.299 % |
1125.22/1125.22	c |    135637 |  983908  5084503 11972975 |        1    28209   1592 | 13.299 % |
1125.22/1125.22	c |    136365 |  983908  5084503 11972975 |        1    28937   1656 | 13.299 % |
1125.22/1125.22	c |    137703 |  983908  5084503 11972975 |        1    30275   1671 | 13.299 % |
1125.22/1125.22	c |    139602 |  983908  5084503 11972975 |        1    32174   1736 | 13.299 % |
1125.22/1125.22	c |    139782 |  983908  5084503 11972975 |        1    32353   1739 | 13.299 % |
1125.22/1125.22	c |    139934 |  982946  5084503 11972975 |        1    32504   1748 | 13.384 % |
1125.22/1125.22	c |    140037 |  982946  5084503 11972975 |        1    32607   1758 | 13.384 % |
1125.22/1125.22	c |    141022 |  982946  5084503 11972975 |        1    33592   1776 | 13.384 % |
1125.22/1125.22	c |    141249 |  982946  5084503 11972975 |        1    33819   1778 | 13.384 % |
1125.22/1125.22	c |    141449 |  982945  5084503 11972975 |        1    34018   1786 | 13.384 % |
1125.22/1125.22	c |    141549 |  982945  5084503 11972975 |        1    34118   1787 | 13.384 % |
1125.22/1125.22	c |    141654 |  982945  5084503 11972975 |        1    34223   1795 | 13.384 % |
1125.22/1125.22	c |    141754 |  982945  5084503 11972975 |        1    34323   1795 | 13.384 % |
1125.22/1125.22	c |    142132 |  982944  5084503 11972975 |        1    34700   1809 | 13.384 % |
1125.22/1125.22	c |    148425 |  982940  5084503 11972975 |        1    40989   2170 | 13.385 % |
1125.22/1125.22	c |    148525 |  982940  5084503 11972975 |        1    41089   2167 | 13.385 % |
1125.22/1125.22	c |    149133 |  982936  5084503 11972975 |        1    41696   2203 | 13.385 % |
1125.22/1125.22	c |    149233 |  982936  5084503 11972975 |        1    41796   2203 | 13.385 % |
1125.22/1125.22	c |    151070 |  982936  5084503 11972975 |        1    43633   2207 | 13.385 % |
1125.22/1125.22	c |    151320 |  982935  5084497 11971639 |        1    43860   2207 | 13.385 % |
1125.22/1125.22	c |    152865 |  982935  5084497 11971639 |        1    45405   2246 | 13.385 % |
1125.22/1125.22	c |    152965 |  982935  5084497 11971639 |        1    45505   2251 | 13.385 % |
1125.22/1125.22	c |    153065 |  982935  5084497 11971639 |        1    45605   2249 | 13.385 % |
1125.22/1125.22	c |    154297 |  982935  5084497 11971639 |        1    46837   2251 | 13.385 % |
1125.22/1125.22	c |    154705 |  982935  5084497 11971639 |        1    47245   2242 | 13.385 % |
1125.22/1125.22	c |    155167 |  982934  5084497 11971639 |        1    47706   2275 | 13.385 % |
1125.22/1125.22	c |    159203 |  982911  5084497 11971639 |        1    27009    482 | 13.387 % |
1125.22/1125.22	c |    159303 |  982911  5084497 11971639 |        1    27109    488 | 13.387 % |
1125.22/1125.22	c |    160830 |  982910  5084497 11971639 |        1    28635    564 | 13.387 % |
1125.22/1125.22	c |    160930 |  982910  5084497 11971639 |        1    28735    566 | 13.387 % |
1125.22/1125.22	c |    161126 |  982910  5084497 11971639 |        1    28931    578 | 13.387 % |
1125.22/1125.22	c |    161664 |  982910  5084497 11971639 |        1    29469    637 | 13.387 % |
1125.22/1125.22	c |    163450 |  982909  5084497 11971639 |        1    31254    804 | 13.387 % |
1125.22/1125.22	c |    163573 |  982909  5084497 11971639 |        1    31377    804 | 13.387 % |
1125.22/1125.22	c |    169538 |  982907  5084495 11971612 |        1    37332   1556 | 13.387 % |
1125.22/1125.22	c |    169641 |  982906  5084495 11971612 |        1    37434   1555 | 13.388 % |
1125.22/1125.22	c |    170828 |  982904  5084495 11971612 |        1    38619   1545 | 13.388 % |
1125.22/1125.22	c |    171335 |  982524  5084495 11971612 |        1    39124   1576 | 13.421 % |
1125.22/1125.22	c |    171953 |  982515  5084495 11971612 |        1    39741   1605 | 13.422 % |
1125.22/1125.22	c |    173157 |  982511  5084495 11971612 |        1    40941   1633 | 13.422 % |
1125.22/1125.22	c |    174132 |  982506  5084495 11971612 |        1    41915   1654 | 13.423 % |
1125.22/1125.22	c |    174586 |  982504  5084495 11971612 |        1    42367   1679 | 13.423 % |
1125.22/1125.22	c |    174687 |  982504  5084495 11971612 |        1    42468   1678 | 13.423 % |
1125.22/1125.22	c |    176740 |  982502  5084495 11971612 |        1    44519   1709 | 13.423 % |
1125.22/1125.22	c |    176840 |  982502  5084495 11971612 |        1    44619   1712 | 13.423 % |
1125.22/1125.22	c |    176942 |  982502  5084495 11971612 |        1    44721   1712 | 13.423 % |
1125.22/1125.22	c |    177438 |  982502  5084495 11971612 |        1    45217   1714 | 13.423 % |
1125.22/1125.22	c |    177538 |  982501  5084495 11971612 |        1    45316   1713 | 13.423 % |
1125.22/1125.22	c |    178390 |  982281  5084495 11971612 |        1    46166   1754 | 13.443 % |
1125.22/1125.22	c |    178505 |  982281  5084495 11971612 |        1    46281   1753 | 13.443 % |
1285.72/1285.79	c |    179047 |  982280  5084495 11971612 |        1    46822   1755 | 13.443 % |
1285.72/1285.79	c |    179407 |  982280  5084495 11971612 |        1    47182   1764 | 13.443 % |
1285.72/1285.79	c |    179511 |  982280  5084483 11970855 |        1    47258   1765 | 13.443 % |
1285.72/1285.79	c |    180888 |  982267  5084483 11970855 |        1    48633   1832 | 13.444 % |
1285.72/1285.79	c |    180989 |  982267  5084483 11970855 |        1    48734   1829 | 13.444 % |
1285.72/1285.79	c |    181096 |  982267  5084483 11970855 |        1    48841   1826 | 13.444 % |
1285.72/1285.79	c |    181548 |  982267  5084483 11970855 |        1    49293   1833 | 13.444 % |
1285.72/1285.79	c |    181648 |  982267  5084483 11970855 |        1    49393   1832 | 13.444 % |
1285.72/1285.79	c |    187879 |  982258  5084483 11970855 |        1    28330    378 | 13.445 % |
1285.72/1285.79	c |    188149 |  982258  5084483 11970855 |        1    28600    393 | 13.445 % |
1285.72/1285.79	c |    188953 |  982258  5084483 11970855 |        1    29404    529 | 13.445 % |
1285.72/1285.79	c |    189055 |  982258  5084483 11970855 |        1    29506    534 | 13.445 % |
1285.72/1285.79	c |    189932 |  982258  5084483 11970855 |        1    30383    574 | 13.445 % |
1285.72/1285.79	c |    190032 |  982258  5084483 11970855 |        1    30483    576 | 13.445 % |
1285.72/1285.79	c |    190259 |  982258  5084483 11970855 |        1    30710    613 | 13.445 % |
1285.72/1285.79	c |    190359 |  982258  5084483 11970855 |        1    30810    621 | 13.445 % |
1285.72/1285.79	c |    190554 |  982243  5084483 11970855 |        1    31004    625 | 13.446 % |
1285.72/1285.79	c |    191452 |  982242  5084483 11970855 |        1    31901    674 | 13.446 % |
1285.72/1285.79	c |    192006 |  982239  5084483 11970855 |        1    32452    731 | 13.446 % |
1285.72/1285.79	c |    192160 |  982239  5084483 11970855 |        1    32606    755 | 13.446 % |
1285.72/1285.79	c |    192275 |  982239  5084477 11970807 |        1    32718    755 | 13.446 % |
1285.72/1285.79	c |    193582 |  982238  5084477 11970807 |        1    34024    796 | 13.446 % |
1285.72/1285.79	c |    193809 |  982238  5084477 11970807 |        1    34251    822 | 13.446 % |
1285.72/1285.79	c |    193909 |  982238  5084477 11970807 |        1    34351    833 | 13.446 % |
1285.72/1285.79	c |    194009 |  982238  5084477 11970807 |        1    34451    835 | 13.446 % |
1285.72/1285.79	c |    194109 |  982238  5084477 11970807 |        1    34551    836 | 13.446 % |
1285.72/1285.79	c |    194209 |  982238  5084477 11970807 |        1    34651    835 | 13.446 % |
1285.72/1285.79	c |    194310 |  982238  5084477 11970807 |        1    34752    836 | 13.446 % |
1285.72/1285.79	c |    194412 |  982238  5084477 11970807 |        1    34854    836 | 13.446 % |
1285.72/1285.79	c |    195415 |  982238  5084477 11970807 |        1    35857    923 | 13.446 % |
1285.72/1285.79	c |    195515 |  982238  5084477 11970807 |        1    35957    925 | 13.446 % |
1285.72/1285.79	c |    196171 |  982227  5084477 11970807 |        1    36612    958 | 13.447 % |
1285.72/1285.79	c |    196271 |  982227  5084477 11970807 |        1    36712    959 | 13.447 % |
1285.72/1285.79	c |    196572 |  982227  5084477 11970807 |        1    37013    958 | 13.447 % |
1285.72/1285.79	c |    196672 |  982227  5084475 11970790 |        1    37112    961 | 13.447 % |
1285.72/1285.79	c |    196850 |  982227  5084475 11970790 |        1    37290    985 | 13.447 % |
1285.72/1285.79	c |    199120 |  982209  5084475 11970790 |        1    39559   1209 | 13.449 % |
1285.72/1285.79	c |    199224 |  982209  5084475 11970790 |        1    39663   1207 | 13.449 % |
1285.72/1285.79	c |    201948 |  981894  5084475 11970790 |        1    42385   1305 | 13.477 % |
1285.72/1285.79	c |    202323 |  981883  5084475 11970790 |        1    42759   1318 | 13.478 % |
1285.72/1285.79	c |    203864 |  981865  5084475 11970790 |        1    44298   1344 | 13.479 % |
1285.72/1285.79	c |    206861 |  981864  5084475 11970790 |        1    47294   1467 | 13.479 % |
1285.72/1285.79	c |    207427 |  981864  5084475 11970790 |        1    47860   1464 | 13.479 % |
1285.72/1285.79	c |    207572 |  981863  5084465 11970190 |        1    47989   1466 | 13.479 % |
1285.72/1285.79	c |    209733 |  981862  5084465 11970190 |        1    50149   1448 | 13.480 % |
1285.72/1285.79	c |    210045 |  981862  5084465 11970190 |        1    50461   1455 | 13.480 % |
1285.72/1285.79	c |    210470 |  981862  5084465 11970190 |        1    50886   1453 | 13.480 % |
1285.72/1285.79	c |    210571 |  981862  5084465 11970190 |        1    50987   1453 | 13.480 % |
1285.72/1285.79	c |    211230 |  981861  5084465 11970190 |        1    51645   1455 | 13.480 % |
1285.72/1285.79	c |    211350 |  981861  5084465 11970190 |        1    51765   1476 | 13.480 % |
1911.74/1911.72	c |    211946 |  981859  5084465 11970190 |        1    52359   1476 | 13.480 % |
1911.74/1911.72	c |    212827 |  981854  5084465 11970190 |        1    53239   1482 | 13.480 % |
1911.74/1911.72	c |    213026 |  981848  5084465 11970190 |        1    53436   1497 | 13.481 % |
1911.74/1911.72	c |    218122 |  981835  5084465 11970190 |        1    58526   1630 | 13.482 % |
1911.74/1911.72	c |    218222 |  981835  5084465 11970190 |        1    58626   1629 | 13.482 % |
1911.74/1911.72	c |    218692 |  981834  5084465 11970190 |        1    59095   1632 | 13.482 % |
1911.74/1911.72	c |    219198 |  981834  5084465 11970190 |        1    59601   1665 | 13.482 % |
1911.74/1911.72	c |    222743 |  981830  5084459 11970161 |        1    33175    463 | 13.482 % |
1911.74/1911.72	c |    222917 |  981830  5084459 11970161 |        1    33349    476 | 13.482 % |
1911.74/1911.72	c |    223744 |  981830  5084459 11970161 |        1    34176    532 | 13.482 % |
1911.74/1911.72	c |    224522 |  981827  5084459 11970161 |        1    34947    563 | 13.483 % |
1911.74/1911.72	c |    224757 |  981827  5084459 11970161 |        1    35182    587 | 13.483 % |
1911.74/1911.72	c |    228848 |  981827  5084459 11970161 |        1    39273    777 | 13.483 % |
1911.74/1911.72	c |    230736 |  981827  5084459 11970161 |        1    41161    909 | 13.483 % |
1911.74/1911.72	c |    231271 |  981819  5084459 11970161 |        1    41694    925 | 13.483 % |
1911.74/1911.72	c |    232085 |  981819  5084459 11970161 |        1    42508   1019 | 13.483 % |
1911.74/1911.72	c |    232188 |  981819  5084459 11970161 |        1    42611   1021 | 13.483 % |
1911.74/1911.72	c |    232294 |  981819  5084459 11970161 |        1    42717   1021 | 13.483 % |
1911.74/1911.72	c |    232467 |  981536  5084459 11970161 |        1    42889   1028 | 13.508 % |
1911.74/1911.72	c |    232746 |  981536  5084459 11970161 |        1    43168   1029 | 13.508 % |
1911.74/1911.72	c |    232846 |  981536  5084459 11970161 |        1    43268   1029 | 13.508 % |
1911.74/1911.72	c |    235196 |  981535  5084455 11969844 |        1    45563   1099 | 13.508 % |
1911.74/1911.72	c |    235897 |  981535  5084455 11969844 |        1    46264   1160 | 13.508 % |
1911.74/1911.72	c |    235997 |  981535  5084455 11969844 |        1    46364   1160 | 13.508 % |
1911.74/1911.72	c |    237325 |  981535  5084455 11969844 |        1    47692   1181 | 13.508 % |
1911.74/1911.72	c |    237829 |  981533  5084455 11969844 |        1    48194   1187 | 13.509 % |
1911.74/1911.72	c |    238866 |  981533  5084455 11969844 |        1    49231   1225 | 13.509 % |
1911.74/1911.72	c |    239237 |  981533  5084455 11969844 |        1    49602   1228 | 13.509 % |
1911.74/1911.72	c |    239340 |  981533  5084455 11969844 |        1    49705   1228 | 13.509 % |
1911.74/1911.72	c |    240256 |  981533  5084455 11969844 |        1    50621   1258 | 13.509 % |
1911.74/1911.72	c |    242022 |  981526  5084455 11969844 |        1    52386   1286 | 13.509 % |
1911.74/1911.72	c |    242122 |  981523  5084455 11969844 |        1    52483   1285 | 13.509 % |
1911.74/1911.72	c |    243386 |  981523  5084455 11969844 |        1    53747   1339 | 13.509 % |
1911.74/1911.72	c |    243487 |  981523  5084455 11969844 |        1    53848   1338 | 13.509 % |
1911.74/1911.72	c |    244953 |  981522  5084453 11969831 |        1    55310   1445 | 13.509 % |
1911.74/1911.72	c |    245053 |  981522  5084453 11969831 |        1    55410   1465 | 13.509 % |
1911.74/1911.72	c |    245572 |  981522  5084453 11969831 |        1    55929   1462 | 13.509 % |
1911.74/1911.72	c |    245886 |  981522  5084453 11969831 |        1    56243   1492 | 13.509 % |
1911.74/1911.72	c |    246117 |  981521  5084453 11969831 |        1    56473   1495 | 13.510 % |
1911.74/1911.72	c |    247400 |  981520  5084453 11969831 |        1    57755   1524 | 13.510 % |
1911.74/1911.72	c |    247696 |  981520  5084453 11969831 |        1    58051   1547 | 13.510 % |
1911.74/1911.72	c |    247800 |  981520  5084453 11969831 |        1    58155   1550 | 13.510 % |
1911.74/1911.72	c |    247910 |  981520  5084453 11969831 |        1    58265   1548 | 13.510 % |
1911.74/1911.72	c |    248421 |  981305  5084453 11969831 |        1    58775   1593 | 13.529 % |
1911.74/1911.72	c |    248525 |  981305  5084453 11969831 |        1    58879   1592 | 13.529 % |
1911.74/1911.72	c |    251668 |  981303  5084453 11969831 |        1    62020   1647 | 13.529 % |
1911.74/1911.72	c |    253861 |  981301  5084453 11969831 |        1    64211   1638 | 13.529 % |
1911.74/1911.72	c |    254561 |  981300  5084453 11969831 |        1    64910   1636 | 13.529 % |
1911.74/1911.72	c |    254661 |  981300  5084453 11969831 |        1    65010   1636 | 13.529 % |
1911.74/1911.72	c |    275285 |  981300  5084453 11969831 |        1    53113   3440 | 13.529 % |
2183.85/2183.84	c |    275413 |  981298  5084449 11969547 |        1    53211   3438 | 13.529 % |
2183.85/2183.84	c |    276673 |  981298  5084449 11969547 |        1    54471   3445 | 13.529 % |
2183.85/2183.84	c |    278006 |  981271  5084449 11969547 |        1    55800   3421 | 13.532 % |
2183.85/2183.84	c |    278194 |  981271  5084449 11969547 |        1    55988   3424 | 13.532 % |
2183.85/2183.84	c |    278295 |  981271  5084449 11969547 |        1    56089   3427 | 13.532 % |
2183.85/2183.84	c |    278424 |  981269  5084449 11969547 |        1    56217   3423 | 13.532 % |
2183.85/2183.84	c |    282414 |  981236  5084449 11969547 |        1    60194   3354 | 13.535 % |
2183.85/2183.84	c |    283479 |  981222  5084449 11969547 |        1    61257   3336 | 13.536 % |
2183.85/2183.84	c |    283970 |  981222  5084449 11969547 |        1    61748   3324 | 13.536 % |
2183.85/2183.84	c |    284294 |  981221  5084449 11969547 |        1    62071   3317 | 13.536 % |
2183.85/2183.84	c |    286308 |  981220  5084449 11969547 |        1    64084   3300 | 13.536 % |
2183.85/2183.84	c |    287709 |  981219  5084449 11969547 |        1    65484   3350 | 13.536 % |
2183.85/2183.84	c |    287811 |  981219  5084449 11969547 |        1    65586   3346 | 13.536 % |
2183.85/2183.84	c |    288185 |  981219  5084449 11969547 |        1    65960   3356 | 13.536 % |
2183.85/2183.84	c |    288343 |  981218  5084449 11969547 |        1    66117   3354 | 13.536 % |
2183.85/2183.84	c |    288459 |  981218  5084449 11969547 |        1    66233   3352 | 13.536 % |
2183.85/2183.84	c |    288787 |  981218  5084449 11969547 |        1    66561   3346 | 13.536 % |
2183.85/2183.84	c |    289826 |  981217  5084449 11969547 |        1    67599   3322 | 13.536 % |
2183.85/2183.84	c |    289926 |  981217  5084449 11969547 |        1    67699   3318 | 13.536 % |
2183.85/2183.84	c |    290716 |  981216  5084449 11969547 |        1    68488   3313 | 13.536 % |
2183.85/2183.84	c |    290865 |  981216  5084449 11969547 |        1    68637   3310 | 13.536 % |
2183.85/2183.84	c |    290965 |  981216  5084449 11969547 |        1    68737   3309 | 13.536 % |
2183.85/2183.84	c |    293438 |  981205  5084449 11969547 |        1    36089    631 | 13.537 % |
2183.85/2183.84	c |    293772 |  981205  5084449 11969547 |        1    36423    687 | 13.537 % |
2183.85/2183.84	c |    293873 |  981204  5084449 11969547 |        1    36523    690 | 13.538 % |
2183.85/2183.84	c |    293974 |  981198  5084449 11969547 |        1    36618    689 | 13.538 % |
2183.85/2183.84	c |    294738 |  981198  5084449 11969547 |        1    37382    711 | 13.538 % |
2183.85/2183.84	c |    294840 |  981198  5084449 11969547 |        1    37484    710 | 13.538 % |
2183.85/2183.84	c |    295173 |  981198  5084449 11969547 |        1    37817    750 | 13.538 % |
2183.85/2183.84	c |    295454 |  981197  5084449 11969547 |        1    38097    756 | 13.538 % |
2183.85/2183.84	c |    298723 |  981191  5084449 11969547 |        1    41360    865 | 13.539 % |
2183.85/2183.84	c |    298866 |  981191  5084449 11969547 |        1    41503    865 | 13.539 % |
2183.85/2183.84	c |    298967 |  981191  5084449 11969547 |        1    41604    868 | 13.539 % |
2183.85/2183.84	c |    299602 |  981191  5084449 11969547 |        1    42239    873 | 13.539 % |
2183.85/2183.84	c |    299891 |  981167  5084449 11969547 |        1    42521    877 | 13.541 % |
2183.85/2183.84	c |    304876 |  981166  5084425 11969394 |        1    47493   1069 | 13.541 % |
2183.85/2183.84	c |    304976 |  981166  5084425 11969394 |        1    47593   1076 | 13.541 % |
2183.85/2183.84	c |    311645 |  981164  5084425 11969394 |        1    54260   1835 | 13.541 % |
2183.85/2183.84	c |    311745 |  981164  5084425 11969394 |        1    54360   1834 | 13.541 % |
2183.85/2183.84	c |    312650 |  981151  5084425 11969394 |        1    55264   1836 | 13.542 % |
2183.85/2183.84	c |    313372 |  981151  5084425 11969394 |        1    55986   1828 | 13.542 % |
2183.85/2183.84	c |    313987 |  981151  5084425 11969394 |        1    56601   1854 | 13.542 % |
2183.85/2183.84	c |    315843 |  981149  5084425 11969394 |        1    58455   1921 | 13.542 % |
2183.85/2183.84	c |    319511 |  981143  5084425 11969394 |        1    62117   1967 | 13.543 % |
2183.85/2183.84	c |    319613 |  981143  5084423 11969375 |        1    62216   1966 | 13.543 % |
2183.85/2183.84	c |    322664 |  981142  5084423 11969375 |        1    65266   2009 | 13.543 % |
2183.85/2183.84	c |    324318 |  981142  5084423 11969375 |        1    66920   2047 | 13.543 % |
2183.85/2183.84	c |    324885 |  981142  5084423 11969375 |        1    67487   2054 | 13.543 % |
2183.85/2183.84	c |    324988 |  981142  5084423 11969375 |        1    67590   2052 | 13.543 % |
2333.74/2333.74	c |    326083 |  981141  5084423 11969375 |        1    68684   2084 | 13.543 % |
2333.74/2333.74	c |    326183 |  981141  5084423 11969375 |        1    68784   2083 | 13.543 % |
2333.74/2333.74	c |    326480 |  981141  5084423 11969375 |        1    69081   2088 | 13.543 % |
2333.74/2333.74	c |    326580 |  981141  5084423 11969375 |        1    69181   2088 | 13.543 % |
2333.74/2333.74	c |    327001 |  981141  5084423 11969375 |        1    69602   2101 | 13.543 % |
2333.74/2333.74	c |    327150 |  981141  5084423 11969375 |        1    69751   2097 | 13.543 % |
2333.74/2333.74	c |    327250 |  981141  5084423 11969375 |        1    69851   2095 | 13.543 % |
2333.74/2333.74	c |    327350 |  981141  5084423 11969375 |        1    69951   2095 | 13.543 % |
2333.74/2333.74	c |    327518 |  981141  5084423 11969375 |        1    70119   2100 | 13.543 % |
2333.74/2333.74	c |    327619 |  981141  5084423 11969375 |        1    70220   2105 | 13.543 % |
2333.74/2333.74	c |    327719 |  981141  5084423 11969375 |        1    70320   2106 | 13.543 % |
2333.74/2333.74	c |    327965 |  981126  5084423 11969375 |        1    70562   2109 | 13.544 % |
2333.74/2333.74	c |    328762 |  981124  5084423 11969375 |        1    71357   2119 | 13.545 % |
2333.74/2333.74	c |    328862 |  981124  5084423 11969375 |        1    71457   2119 | 13.545 % |
2333.74/2333.74	c |    329032 |  981124  5084423 11969375 |        1    71627   2117 | 13.545 % |
2333.74/2333.74	c |    329197 |  981123  5084423 11969375 |        1    71791   2115 | 13.545 % |
2333.74/2333.74	c |    332032 |  981123  5084423 11969375 |        1    74626   2270 | 13.545 % |
2333.74/2333.74	c |    334219 |  981120  5084423 11969375 |        1    39066    324 | 13.545 % |
2333.74/2333.74	c |    334563 |  981120  5084423 11969375 |        1    39410    351 | 13.545 % |
2333.74/2333.74	c |    334664 |  981119  5084423 11969375 |        1    39510    355 | 13.545 % |
2333.74/2333.74	c |    334914 |  981119  5084423 11969375 |        1    39760    386 | 13.545 % |
2333.74/2333.74	c |    335016 |  981119  5084423 11969375 |        1    39862    391 | 13.545 % |
2333.74/2333.74	c |    335144 |  981119  5084423 11969375 |        1    39990    397 | 13.545 % |
2333.74/2333.74	c |    335278 |  981119  5084423 11969375 |        1    40124    400 | 13.545 % |
2333.74/2333.74	c |    335378 |  981119  5084423 11969375 |        1    40224    405 | 13.545 % |
2333.74/2333.74	c |    342518 |  981117  5084421 11969353 |        1    47358    798 | 13.545 % |
2333.74/2333.74	c |    342676 |  981117  5084421 11969353 |        1    47516    811 | 13.545 % |
2333.74/2333.74	c |    342778 |  981117  5084421 11969353 |        1    47618    811 | 13.545 % |
2333.74/2333.74	c |    342997 |  981117  5084421 11969353 |        1    47837    858 | 13.545 % |
2333.74/2333.74	c |    343098 |  981117  5084421 11969353 |        1    47938    861 | 13.545 % |
2333.74/2333.74	c |    343201 |  981117  5084421 11969353 |        1    48041    872 | 13.545 % |
2333.74/2333.74	c |    343301 |  981117  5084421 11969353 |        1    48141    883 | 13.545 % |
2333.74/2333.74	c |    343401 |  981116  5084421 11969353 |        1    48240    888 | 13.545 % |
2333.74/2333.74	c |    343649 |  981115  5084421 11969353 |        1    48487    889 | 13.545 % |
2333.74/2333.74	c |    343749 |  981115  5084421 11969353 |        1    48587    889 | 13.545 % |
2333.74/2333.74	c |    345278 |  981114  5084421 11969353 |        1    50115    979 | 13.545 % |
2333.74/2333.74	c |    345404 |  981112  5084421 11969353 |        1    50239    978 | 13.546 % |
2333.74/2333.74	c |    345855 |  980314  5084421 11969353 |        1    50676   1018 | 13.616 % |
2333.74/2333.74	c |    345958 |  980314  5084421 11969353 |        1    50779   1019 | 13.616 % |
2333.74/2333.74	c |    346058 |  980314  5084421 11969353 |        1    50879   1020 | 13.616 % |
2333.74/2333.74	c |    346333 |  980314  5084421 11969353 |        1    51154   1025 | 13.616 % |
2333.74/2333.74	c |    348459 |  980313  5084417 11968490 |        1    53153   1074 | 13.616 % |
2333.74/2333.74	c |    348560 |  980313  5084417 11968490 |        1    53254   1090 | 13.616 % |
2333.74/2333.74	c |    348730 |  980306  5084417 11968490 |        1    53423   1094 | 13.617 % |
2333.74/2333.74	c |    348830 |  980306  5084417 11968490 |        1    53523   1097 | 13.617 % |
2333.74/2333.74	c |    349614 |  980305  5084417 11968490 |        1    54306   1104 | 13.617 % |
2333.74/2333.74	c |    351004 |  980305  5084417 11968490 |        1    55696   1242 | 13.617 % |
2333.74/2333.74	c |    351105 |  980305  5084417 11968490 |        1    55797   1245 | 13.617 % |
2333.74/2333.74	c |    351619 |  980304  5084417 11968490 |        1    56310   1249 | 13.617 % |
2333.74/2333.74	c |    352463 |  980302  5084417 11968490 |        1    57152   1257 | 13.617 % |
2442.55/2442.55	c |    352567 |  980301  5084417 11968490 |        1    57255   1261 | 13.617 % |
2442.55/2442.55	c |    352967 |  980301  5084417 11968490 |        1    57655   1269 | 13.617 % |
2442.55/2442.55	c |    354295 |  980300  5084417 11968490 |        1    58982   1280 | 13.617 % |
2442.55/2442.55	c |    354959 |  980300  5084417 11968490 |        1    59646   1300 | 13.617 % |
2442.55/2442.55	c |    356090 |  980300  5084415 11968475 |        1    60768   1339 | 13.617 % |
2442.55/2442.55	c |    356352 |  980299  5084415 11968475 |        1    61029   1341 | 13.617 % |
2442.55/2442.55	c |    356453 |  980299  5084415 11968475 |        1    61130   1346 | 13.617 % |
2442.55/2442.55	c |    356628 |  980299  5084415 11968475 |        1    61305   1353 | 13.617 % |
2442.55/2442.55	c |    357519 |  980299  5084415 11968475 |        1    62196   1386 | 13.617 % |
2442.55/2442.55	c |    357619 |  980299  5084415 11968475 |        1    62296   1384 | 13.617 % |
2442.55/2442.55	c |    358741 |  980298  5084415 11968475 |        1    63417   1477 | 13.617 % |
2442.55/2442.55	c |    359262 |  980298  5084415 11968475 |        1    63938   1488 | 13.617 % |
2442.55/2442.55	c |    359362 |  980298  5084415 11968475 |        1    64038   1487 | 13.617 % |
2442.55/2442.55	c |    359469 |  980288  5084415 11968475 |        1    64143   1489 | 13.618 % |
2442.55/2442.55	c |    359572 |  980288  5084415 11968475 |        1    64246   1488 | 13.618 % |
2442.55/2442.55	c |    359673 |  980288  5084415 11968475 |        1    64347   1495 | 13.618 % |
2442.55/2442.55	c |    359829 |  980288  5084415 11968475 |        1    64503   1498 | 13.618 % |
2442.55/2442.55	c |    359941 |  980287  5084415 11968475 |        1    64614   1504 | 13.618 % |
2442.55/2442.55	c |    360096 |  980287  5084415 11968475 |        1    64769   1505 | 13.618 % |
2442.55/2442.55	c |    360432 |  980287  5084415 11968475 |        1    65105   1513 | 13.618 % |
2442.55/2442.55	c |    361997 |  980285  5084415 11968475 |        1    66668   1519 | 13.618 % |
2442.55/2442.55	c |    362621 |  980285  5084415 11968475 |        1    67292   1556 | 13.618 % |
2442.55/2442.55	c |    362721 |  980285  5084415 11968475 |        1    67392   1556 | 13.618 % |
2442.55/2442.55	c |    364370 |  980283  5084415 11968475 |        1    69039   1580 | 13.619 % |
2442.55/2442.55	c |    365655 |  980283  5084415 11968475 |        1    70324   1603 | 13.619 % |
2442.55/2442.55	c |    365755 |  980283  5084415 11968475 |        1    70424   1602 | 13.619 % |
2442.55/2442.55	c |    366121 |  980283  5084415 11968475 |        1    70790   1613 | 13.619 % |
2442.55/2442.55	c |    368697 |  980283  5084415 11968475 |        1    73366   1633 | 13.619 % |
2442.55/2442.55	c |    368797 |  980283  5084413 11968460 |        1    73464   1636 | 13.619 % |
2442.55/2442.55	c |    368899 |  980283  5084413 11968460 |        1    73566   1643 | 13.619 % |
2442.55/2442.55	c |    369078 |  980283  5084413 11968460 |        1    73745   1645 | 13.619 % |
2442.55/2442.55	c |    369595 |  980282  5084413 11968460 |        1    74261   1648 | 13.619 % |
2442.55/2442.55	c |    369893 |  980282  5084413 11968460 |        1    74559   1652 | 13.619 % |
2442.55/2442.55	c |    370184 |  980282  5084413 11968460 |        1    74850   1655 | 13.619 % |
2442.55/2442.55	c |    370629 |  980281  5084413 11968460 |        1    75294   1651 | 13.619 % |
2442.55/2442.55	c |    370974 |  980281  5084413 11968460 |        1    75639   1660 | 13.619 % |
2442.55/2442.55	c |    371098 |  980281  5084413 11968460 |        1    75763   1659 | 13.619 % |
2442.55/2442.55	c |    372159 |  980279  5084413 11968460 |        1    76822   1662 | 13.619 % |
2442.55/2442.55	c |    372260 |  980279  5084413 11968460 |        1    76923   1660 | 13.619 % |
2442.55/2442.55	c |    372414 |  980279  5084413 11968460 |        1    77077   1662 | 13.619 % |
2442.55/2442.55	c |    372664 |  980279  5084413 11968460 |        1    77327   1662 | 13.619 % |
2442.55/2442.55	c |    372765 |  980279  5084413 11968460 |        1    77428   1660 | 13.619 % |
2442.55/2442.55	c |    373628 |  980279  5084413 11968460 |        1    78291   1709 | 13.619 % |
2442.55/2442.55	c |    373730 |  980279  5084413 11968460 |        1    78393   1711 | 13.619 % |
2442.55/2442.55	c |    374431 |  980279  5084413 11968460 |        1    79094   1723 | 13.619 % |
2442.55/2442.55	c |    374896 |  980269  5084413 11968460 |        1    79558   1720 | 13.620 % |
2442.55/2442.55	c |    375419 |  980268  5084413 11968460 |        1    80080   1727 | 13.620 % |
2442.55/2442.55	c |    375520 |  980268  5084413 11968460 |        1    80181   1730 | 13.620 % |
2442.55/2442.55	c |    375628 |  980268  5084413 11968460 |        1    80289   1730 | 13.620 % |
2442.55/2442.55	c |    375728 |  980268  5084413 11968460 |        1    80389   1729 | 13.620 % |
2726.05/2726.03	c |    375829 |  980268  5084413 11968460 |        1    80490   1731 | 13.620 % |
2726.05/2726.03	c |    375979 |  980268  5084413 11968460 |        1    80640   1736 | 13.620 % |
2726.05/2726.03	c |    376398 |  980267  5084413 11968460 |        1    40736    293 | 13.620 % |
2726.05/2726.03	c |    391072 |  980267  5084413 11968460 |        1    55410   2030 | 13.620 % |
2726.05/2726.03	c |    392093 |  980267  5084413 11968460 |        1    56431   2029 | 13.620 % |
2726.05/2726.03	c |    392293 |  980267  5084413 11968460 |        1    56631   2025 | 13.620 % |
2726.05/2726.03	c |    392594 |  980267  5084413 11968460 |        1    56932   2061 | 13.620 % |
2726.05/2726.03	c |    392696 |  980262  5084413 11968460 |        1    57033   2060 | 13.621 % |
2726.05/2726.03	c |    394280 |  980261  5084413 11968460 |        1    58616   2059 | 13.621 % |
2726.05/2726.03	c |    395438 |  980261  5084413 11968460 |        1    59774   2070 | 13.621 % |
2726.05/2726.03	c |    395543 |  980261  5084413 11968460 |        1    59879   2070 | 13.621 % |
2726.05/2726.03	c |    397012 |  980194  5084413 11968460 |        1    61345   2083 | 13.627 % |
2726.05/2726.03	c |    397116 |  980194  5084413 11968460 |        1    61449   2081 | 13.627 % |
2726.05/2726.03	c |    398780 |  980194  5084413 11968460 |        1    63113   2125 | 13.627 % |
2726.05/2726.03	c |    398880 |  980194  5084405 11968363 |        1    63031   2128 | 13.627 % |
2726.05/2726.03	c |    399635 |  980193  5084405 11968363 |        1    63785   2133 | 13.627 % |
2726.05/2726.03	c |    399827 |  980192  5084405 11968363 |        1    63976   2135 | 13.627 % |
2726.05/2726.03	c |    399927 |  980192  5084405 11968363 |        1    64076   2133 | 13.627 % |
2726.05/2726.03	c |    400029 |  980192  5084405 11968363 |        1    64178   2131 | 13.627 % |
2726.05/2726.03	c |    401300 |  980191  5084405 11968363 |        1    65448   2121 | 13.627 % |
2726.05/2726.03	c |    402044 |  980191  5084405 11968363 |        1    66192   2156 | 13.627 % |
2726.05/2726.03	c |    403197 |  980185  5084405 11968363 |        1    67343   2143 | 13.627 % |
2726.05/2726.03	c |    403320 |  980185  5084405 11968363 |        1    67466   2153 | 13.627 % |
2726.05/2726.03	c |    403420 |  980185  5084405 11968363 |        1    67566   2154 | 13.627 % |
2726.05/2726.03	c |    403520 |  980185  5084405 11968363 |        1    67666   2154 | 13.627 % |
2726.05/2726.03	c |    404062 |  980185  5084405 11968363 |        1    68208   2190 | 13.627 % |
2726.05/2726.03	c |    404162 |  980184  5084405 11968363 |        1    68307   2190 | 13.627 % |
2726.05/2726.03	c |    405075 |  980183  5084405 11968363 |        1    69219   2183 | 13.627 % |
2726.05/2726.03	c |    406040 |  980183  5084405 11968363 |        1    70184   2183 | 13.627 % |
2726.05/2726.03	c |    407001 |  980174  5084405 11968363 |        1    71142   2176 | 13.628 % |
2726.05/2726.03	c |    407205 |  980174  5084405 11968363 |        1    71346   2185 | 13.628 % |
2726.05/2726.03	c |    407372 |  980174  5084405 11968363 |        1    71513   2182 | 13.628 % |
2726.05/2726.03	c |    407473 |  980174  5084405 11968363 |        1    71614   2179 | 13.628 % |
2726.05/2726.03	c |    407628 |  980174  5084405 11968363 |        1    71769   2185 | 13.628 % |
2726.05/2726.03	c |    408251 |  980174  5084405 11968363 |        1    72392   2198 | 13.628 % |
2726.05/2726.03	c |    408425 |  980173  5084405 11968363 |        1    72565   2194 | 13.628 % |
2726.05/2726.03	c |    410773 |  980173  5084405 11968363 |        1    74913   2215 | 13.628 % |
2726.05/2726.03	c |    410876 |  980173  5084405 11968363 |        1    75016   2217 | 13.628 % |
2726.05/2726.03	c |    410976 |  980173  5084405 11968363 |        1    75116   2217 | 13.628 % |
2726.05/2726.03	c |    411423 |  980173  5084405 11968363 |        1    75563   2223 | 13.628 % |
2726.05/2726.03	c |    411957 |  980173  5084405 11968363 |        1    76097   2227 | 13.628 % |
2726.05/2726.03	c |    412720 |  980157  5084405 11968363 |        1    76859   2248 | 13.630 % |
2726.05/2726.03	c |    413122 |  980156  5084405 11968363 |        1    77260   2244 | 13.630 % |
2726.05/2726.03	c |    413963 |  980156  5084405 11968363 |        1    78101   2308 | 13.630 % |
2726.05/2726.03	c |    414063 |  980156  5084405 11968363 |        1    78201   2315 | 13.630 % |
2726.05/2726.03	c |    415227 |  980155  5084405 11968363 |        1    79364   2309 | 13.630 % |
2726.05/2726.03	c |    417836 |  980155  5084405 11968363 |        1    81973   2316 | 13.630 % |
2726.05/2726.03	c |    418259 |  980155  5084405 11968363 |        1    82396   2338 | 13.630 % |
2726.05/2726.03	c |    418818 |  980155  5084405 11968363 |        1    82955   2356 | 13.630 % |
2726.05/2726.03	c |    418919 |  980155  5084405 11968363 |        1    83056   2356 | 13.630 % |
2933.36/2933.37	c |    419457 |  980145  5084405 11968363 |        1    83593   2363 | 13.631 % |
2933.36/2933.37	c |    420005 |  980145  5084405 11968363 |        1    84141   2387 | 13.631 % |
2933.36/2933.37	c |    420105 |  980145  5084405 11968363 |        1    84241   2390 | 13.631 % |
2933.36/2933.37	c |    422669 |  980136  5084405 11968363 |        1    43983    384 | 13.632 % |
2933.36/2933.37	c |    423085 |  980135  5084405 11968363 |        1    44398    400 | 13.632 % |
2933.36/2933.37	c |    423894 |  980135  5084405 11968363 |        1    45207    448 | 13.632 % |
2933.36/2933.37	c |    424107 |  980135  5084395 11968284 |        1    45405    462 | 13.632 % |
2933.36/2933.37	c |    424207 |  980135  5084395 11968284 |        1    45505    463 | 13.632 % |
2933.36/2933.37	c |    426171 |  980135  5084395 11968284 |        1    47469    548 | 13.632 % |
2933.36/2933.37	c |    428867 |  980098  5084395 11968284 |        1    50162    625 | 13.635 % |
2933.36/2933.37	c |    430910 |  980098  5084393 11968248 |        1    52167    715 | 13.635 % |
2933.36/2933.37	c |    431011 |  980098  5084393 11968248 |        1    52268    714 | 13.635 % |
2933.36/2933.37	c |    431111 |  980098  5084393 11968248 |        1    52368    713 | 13.635 % |
2933.36/2933.37	c |    431948 |  980098  5084393 11968248 |        1    53205    765 | 13.635 % |
2933.36/2933.37	c |    432048 |  980098  5084393 11968248 |        1    53305    769 | 13.635 % |
2933.36/2933.37	c |    432150 |  980098  5084393 11968248 |        1    53407    770 | 13.635 % |
2933.36/2933.37	c |    434097 |  980098  5084393 11968248 |        1    55354    868 | 13.635 % |
2933.36/2933.37	c |    434198 |  980086  5084393 11968248 |        1    55453    868 | 13.636 % |
2933.36/2933.37	c |    435141 |  980076  5084393 11968248 |        1    56391    900 | 13.637 % |
2933.36/2933.37	c |    435982 |  980076  5084393 11968248 |        1    57232    979 | 13.637 % |
2933.36/2933.37	c |    436083 |  980076  5084393 11968248 |        1    57333    985 | 13.637 % |
2933.36/2933.37	c |    436900 |  980075  5084393 11968248 |        1    58149   1034 | 13.637 % |
2933.36/2933.37	c |    437512 |  980061  5084393 11968248 |        1    58759   1045 | 13.638 % |
2933.36/2933.37	c |    437612 |  980059  5084393 11968248 |        1    58857   1045 | 13.638 % |
2933.36/2933.37	c |    439247 |  980059  5084393 11968248 |        1    60492   1079 | 13.638 % |
2933.36/2933.37	c |    439347 |  980059  5084389 11968209 |        1    60579   1079 | 13.638 % |
2933.36/2933.37	c |    439498 |  980059  5084389 11968209 |        1    60730   1086 | 13.638 % |
2933.36/2933.37	c |    440500 |  980059  5084389 11968209 |        1    61732   1107 | 13.638 % |
2933.36/2933.37	c |    441039 |  980059  5084389 11968209 |        1    62271   1121 | 13.638 % |
2933.36/2933.37	c |    441491 |  980059  5084389 11968209 |        1    62723   1125 | 13.638 % |
2933.36/2933.37	c |    443437 |  980059  5084389 11968209 |        1    64669   1160 | 13.638 % |
2933.36/2933.37	c |    443537 |  980059  5084389 11968209 |        1    64769   1162 | 13.638 % |
2933.36/2933.37	c |    446690 |  980059  5084389 11968209 |        1    67922   1278 | 13.638 % |
2933.36/2933.37	c |    448419 |  980059  5084389 11968209 |        1    69651   1302 | 13.638 % |
2933.36/2933.37	c |    448521 |  980059  5084389 11968209 |        1    69753   1302 | 13.638 % |
2933.36/2933.37	c |    450005 |  980059  5084389 11968209 |        1    71237   1313 | 13.638 % |
2933.36/2933.37	c |    450106 |  980059  5084389 11968209 |        1    71338   1313 | 13.638 % |
2933.36/2933.37	c |    453445 |  980057  5084389 11968209 |        1    74675   1422 | 13.639 % |
2933.36/2933.37	c |    453567 |  980057  5084389 11968209 |        1    74797   1421 | 13.639 % |
2933.36/2933.37	c |    454496 |  980056  5084389 11968209 |        1    75725   1425 | 13.639 % |
2933.36/2933.37	c |    454597 |  980056  5084389 11968209 |        1    75826   1426 | 13.639 % |
2933.36/2933.37	c |    454840 |  980056  5084389 11968209 |        1    76069   1423 | 13.639 % |
2933.36/2933.37	c |    455415 |  980055  5084389 11968209 |        1    76643   1431 | 13.639 % |
2933.36/2933.37	c |    457883 |  980052  5084389 11968209 |        1    79108   1481 | 13.639 % |
2933.36/2933.37	c |    457984 |  980052  5084389 11968209 |        1    79209   1482 | 13.639 % |
2933.36/2933.37	c |    459135 |  980051  5084389 11968209 |        1    80359   1523 | 13.639 % |
2933.36/2933.37	c |    459271 |  980050  5084389 11968209 |        1    80494   1522 | 13.639 % |
2933.36/2933.37	c |    461119 |  980050  5084389 11968209 |        1    82342   1537 | 13.639 % |
2933.36/2933.37	c |    461219 |  980050  5084389 11968209 |        1    82442   1536 | 13.639 % |
2933.36/2933.37	c |    461665 |  980050  5084389 11968209 |        1    82888   1553 | 13.639 % |
3151.47/3151.45	c |    461765 |  980050  5084389 11968209 |        1    82988   1553 | 13.639 % |
3151.47/3151.45	c |    462352 |  980050  5084389 11968209 |        1    83575   1558 | 13.639 % |
3151.47/3151.45	c |    462452 |  980050  5084389 11968209 |        1    83675   1557 | 13.639 % |
3151.47/3151.45	c |    462892 |  980050  5084389 11968209 |        1    84115   1559 | 13.639 % |
3151.47/3151.45	c |    462992 |  980050  5084389 11968209 |        1    84215   1561 | 13.639 % |
3151.47/3151.45	c |    463092 |  980050  5084389 11968209 |        1    84315   1561 | 13.639 % |
3151.47/3151.45	c |    463469 |  980050  5084389 11968209 |        1    84692   1562 | 13.639 % |
3151.47/3151.45	c |    463579 |  980050  5084389 11968209 |        1    84802   1561 | 13.639 % |
3151.47/3151.45	c |    464246 |  980050  5084389 11968209 |        1    85469   1564 | 13.639 % |
3151.47/3151.45	c |    464346 |  980050  5084389 11968209 |        1    85569   1567 | 13.639 % |
3151.47/3151.45	c |    464446 |  980050  5084389 11968209 |        1    85664   1567 | 13.639 % |
3151.47/3151.45	c |    470937 |  980011  5084389 11968209 |        1    46755    317 | 13.643 % |
3151.47/3151.45	c |    471037 |  980011  5084389 11968209 |        1    46855    319 | 13.643 % |
3151.47/3151.45	c |    471138 |  980011  5084389 11968209 |        1    46956    321 | 13.643 % |
3151.47/3151.45	c |    473135 |  980010  5084389 11968209 |        1    48952    417 | 13.643 % |
3151.47/3151.45	c |    473237 |  980010  5084389 11968209 |        1    49054    418 | 13.643 % |
3151.47/3151.45	c |    474275 |  980010  5084389 11968209 |        1    50092    506 | 13.643 % |
3151.47/3151.45	c |    474995 |  980009  5084389 11968209 |        1    50811    531 | 13.643 % |
3151.47/3151.45	c |    475581 |  979996  5084389 11968209 |        1    51395    578 | 13.644 % |
3151.47/3151.45	c |    475694 |  979996  5084389 11968209 |        1    51508    578 | 13.644 % |
3151.47/3151.45	c |    475832 |  979996  5084389 11968209 |        1    51646    578 | 13.644 % |
3151.47/3151.45	c |    475960 |  979996  5084389 11968209 |        1    51774    585 | 13.644 % |
3151.47/3151.45	c |    476297 |  979993  5084389 11968209 |        1    52108    583 | 13.644 % |
3151.47/3151.45	c |    476397 |  979992  5084389 11968209 |        1    52207    582 | 13.644 % |
3151.47/3151.45	c |    476993 |  979992  5084389 11968209 |        1    52803    605 | 13.644 % |
3151.47/3151.45	c |    477095 |  979992  5084389 11968209 |        1    52905    610 | 13.644 % |
3151.47/3151.45	c |    478133 |  979991  5084389 11968209 |        1    53942    664 | 13.644 % |
3151.47/3151.45	c |    478235 |  979991  5084389 11968209 |        1    54044    676 | 13.644 % |
3151.47/3151.45	c |    478361 |  979991  5084389 11968209 |        1    54170    677 | 13.644 % |
3151.47/3151.45	c |    478463 |  979991  5084389 11968209 |        1    54272    676 | 13.644 % |
3151.47/3151.45	c |    478715 |  979991  5084389 11968209 |        1    54524    693 | 13.644 % |
3151.47/3151.45	c |    478815 |  979991  5084389 11968209 |        1    54624    694 | 13.644 % |
3151.47/3151.45	c |    478915 |  979991  5084389 11968209 |        1    54724    699 | 13.644 % |
3151.47/3151.45	c |    479102 |  979991  5084389 11968209 |        1    54911    699 | 13.644 % |
3151.47/3151.45	c |    480793 |  979990  5084389 11968209 |        1    56601    737 | 13.644 % |
3151.47/3151.45	c |    481150 |  979990  5084389 11968209 |        1    56958    746 | 13.644 % |
3151.47/3151.45	c |    482359 |  979990  5084389 11968209 |        1    58167    785 | 13.644 % |
3151.47/3151.45	c |    483633 |  979989  5084389 11968209 |        1    59440    826 | 13.645 % |
3151.47/3151.45	c |    484344 |  979988  5084389 11968209 |        1    60150    870 | 13.645 % |
3151.47/3151.45	c |    487379 |  979987  5084389 11968209 |        1    63184   1043 | 13.645 % |
3151.47/3151.45	c |    487481 |  979987  5084383 11968143 |        1    63235   1043 | 13.645 % |
3151.47/3151.45	c |    487825 |  979986  5084383 11968143 |        1    63578   1048 | 13.645 % |
3151.47/3151.45	c |    487947 |  979986  5084383 11968143 |        1    63700   1047 | 13.645 % |
3151.47/3151.45	c |    488050 |  979986  5084383 11968143 |        1    63803   1047 | 13.645 % |
3151.47/3151.45	c |    489246 |  979983  5084383 11968143 |        1    64996   1118 | 13.645 % |
3151.47/3151.45	c |    489346 |  979983  5084383 11968143 |        1    65096   1120 | 13.645 % |
3151.47/3151.45	c |    490082 |  979983  5084383 11968143 |        1    65832   1123 | 13.645 % |
3151.47/3151.45	c |    496686 |  979974  5084383 11968143 |        1    72433   1431 | 13.646 % |
3151.47/3151.45	c |    497424 |  979973  5084383 11968143 |        1    73170   1451 | 13.646 % |
3151.47/3151.45	c |    497829 |  979973  5084383 11968143 |        1    73575   1453 | 13.646 % |
3391.18/3391.20	c |    498584 |  979972  5084383 11968143 |        1    74329   1451 | 13.646 % |
3391.18/3391.20	c |    499092 |  979971  5084383 11968143 |        1    74836   1454 | 13.646 % |
3391.18/3391.20	c |    499989 |  979971  5084383 11968143 |        1    75733   1560 | 13.646 % |
3391.18/3391.20	c |    500089 |  979971  5084383 11968143 |        1    75833   1559 | 13.646 % |
3391.18/3391.20	c |    501457 |  979971  5084383 11968143 |        1    77201   1651 | 13.646 % |
3391.18/3391.20	c |    501866 |  979971  5084383 11968143 |        1    77610   1654 | 13.646 % |
3391.18/3391.20	c |    501973 |  979971  5084383 11968143 |        1    77717   1654 | 13.646 % |
3391.18/3391.20	c |    502164 |  979971  5084383 11968143 |        1    77908   1654 | 13.646 % |
3391.18/3391.20	c |    502314 |  979971  5084383 11968143 |        1    78058   1655 | 13.646 % |
3391.18/3391.20	c |    503142 |  979970  5084383 11968143 |        1    78885   1686 | 13.646 % |
3391.18/3391.20	c |    503242 |  979970  5084381 11968130 |        1    78979   1686 | 13.646 % |
3391.18/3391.20	c |    503342 |  979970  5084381 11968130 |        1    79079   1690 | 13.646 % |
3391.18/3391.20	c |    504440 |  979968  5084381 11968130 |        1    80175   1694 | 13.646 % |
3391.18/3391.20	c |    505104 |  979968  5084381 11968130 |        1    80839   1717 | 13.646 % |
3391.18/3391.20	c |    505247 |  979968  5084381 11968130 |        1    80982   1717 | 13.646 % |
3391.18/3391.20	c |    506375 |  979967  5084381 11968130 |        1    82109   1725 | 13.647 % |
3391.18/3391.20	c |    506477 |  979967  5084381 11968130 |        1    82211   1727 | 13.647 % |
3391.18/3391.20	c |    506594 |  979967  5084381 11968130 |        1    82328   1732 | 13.647 % |
3391.18/3391.20	c |    506695 |  979967  5084381 11968130 |        1    82429   1733 | 13.647 % |
3391.18/3391.20	c |    508295 |  979967  5084381 11968130 |        1    84029   1752 | 13.647 % |
3391.18/3391.20	c |    508395 |  979967  5084381 11968130 |        1    84129   1752 | 13.647 % |
3391.18/3391.20	c |    509331 |  979966  5084381 11968130 |        1    85064   1778 | 13.647 % |
3391.18/3391.20	c |    509432 |  979966  5084381 11968130 |        1    85165   1777 | 13.647 % |
3391.18/3391.20	c |    511220 |  979966  5084381 11968130 |        1    86953   1808 | 13.647 % |
3391.18/3391.20	c |    511320 |  979966  5084381 11968130 |        1    87053   1807 | 13.647 % |
3391.18/3391.20	c |    511474 |  979966  5084381 11968130 |        1    87207   1814 | 13.647 % |
3391.18/3391.20	c |    513088 |  979958  5084381 11968130 |        1    88820   1827 | 13.647 % |
3391.18/3391.20	c |    513904 |  979957  5084381 11968130 |        1    89635   1829 | 13.647 % |
3391.18/3391.20	c |    514076 |  979957  5084381 11968130 |        1    89807   1834 | 13.647 % |
3391.18/3391.20	c |    514603 |  979957  5084381 11968130 |        1    90334   1845 | 13.647 % |
3391.18/3391.20	c |    515442 |  979957  5084381 11968130 |        1    91173   1891 | 13.647 % |
3391.18/3391.20	c |    515893 |  979956  5084381 11968130 |        1    91623   1898 | 13.647 % |
3391.18/3391.20	c |    516470 |  979956  5084381 11968130 |        1    92200   1903 | 13.647 % |
3391.18/3391.20	c |    520397 |  979956  5084381 11968130 |        1    96127   1970 | 13.647 % |
3391.18/3391.20	c |    520502 |  979956  5084379 11968116 |        1    96229   1969 | 13.647 % |
3391.18/3391.20	c |    524909 |  979947  5084379 11968116 |        1    52574    529 | 13.648 % |
3391.18/3391.20	c |    525123 |  979947  5084379 11968116 |        1    52788    531 | 13.648 % |
3391.18/3391.20	c |    526048 |  979947  5084379 11968116 |        1    53713    583 | 13.648 % |
3391.18/3391.20	c |    526185 |  979946  5084379 11968116 |        1    53849    588 | 13.648 % |
3391.18/3391.20	c |    526467 |  979946  5084379 11968116 |        1    54131    590 | 13.648 % |
3391.18/3391.20	c |    527099 |  979943  5084379 11968116 |        1    54760    598 | 13.649 % |
3391.18/3391.20	c |    527408 |  979943  5084379 11968116 |        1    55069    624 | 13.649 % |
3391.18/3391.20	c |    531199 |  979939  5084379 11968116 |        1    58856    795 | 13.649 % |
3391.18/3391.20	c |    531304 |  979939  5084379 11968116 |        1    58961    797 | 13.649 % |
3391.18/3391.20	c |    532708 |  979937  5084379 11968116 |        1    60363    881 | 13.649 % |
3391.18/3391.20	c |    533326 |  979937  5084379 11968116 |        1    60981    895 | 13.649 % |
3391.18/3391.20	c |    534514 |  979937  5084379 11968116 |        1    62169    958 | 13.649 % |
3391.18/3391.20	c |    534615 |  979937  5084379 11968116 |        1    62270    963 | 13.649 % |
3391.18/3391.20	c |    534715 |  979937  5084379 11968116 |        1    62370    967 | 13.649 % |
3391.18/3391.20	c |    535984 |  979937  5084379 11968116 |        1    63639   1025 | 13.649 % |
3539.98/3539.92	c |    536250 |  979937  5084379 11968116 |        1    63905   1026 | 13.649 % |
3539.98/3539.92	c |    536510 |  979937  5084379 11968116 |        1    64165   1025 | 13.649 % |
3539.98/3539.92	c |    536610 |  979937  5084379 11968116 |        1    64265   1025 | 13.649 % |
3539.98/3539.92	c |    539097 |  979451  5084379 11968116 |        1    66746   1082 | 13.692 % |
3539.98/3539.92	c |    540308 |  979450  5084379 11968116 |        1    67956   1107 | 13.692 % |
3539.98/3539.92	c |    540408 |  979450  5084379 11968116 |        1    68056   1109 | 13.692 % |
3539.98/3539.92	c |    542987 |  979450  5084379 11968116 |        1    70635   1200 | 13.692 % |
3539.98/3539.92	c |    543308 |  979449  5084379 11968116 |        1    70955   1203 | 13.692 % |
3539.98/3539.92	c |    543780 |  979449  5084379 11968116 |        1    71427   1224 | 13.692 % |
3539.98/3539.92	c |    543880 |  979449  5084379 11968116 |        1    71527   1223 | 13.692 % |
3539.98/3539.92	c |    545925 |  979447  5084379 11968116 |        1    73570   1286 | 13.692 % |
3539.98/3539.92	c |    546026 |  979447  5084379 11968116 |        1    73671   1288 | 13.692 % |
3539.98/3539.92	c |    546128 |  979447  5084379 11968116 |        1    73773   1288 | 13.692 % |
3539.98/3539.92	c |    546228 |  979447  5084379 11968116 |        1    73873   1288 | 13.692 % |
3539.98/3539.92	c |    547051 |  979445  5084379 11968116 |        1    74694   1293 | 13.693 % |
3539.98/3539.92	c |    547154 |  979445  5084379 11968116 |        1    74797   1292 | 13.693 % |
3539.98/3539.92	c |    547594 |  979444  5084379 11968116 |        1    75236   1319 | 13.693 % |
3539.98/3539.92	c |    547986 |  979436  5084379 11968116 |        1    75626   1319 | 13.693 % |
3539.98/3539.92	c |    551980 |  979422  5084371 11967238 |        1    79580   1319 | 13.695 % |
3539.98/3539.92	c |    552080 |  979420  5084371 11967238 |        1    79678   1318 | 13.695 % |
3539.98/3539.92	c |    552181 |  979420  5084371 11967238 |        1    79779   1316 | 13.695 % |
3539.98/3539.92	c |    552281 |  979420  5084371 11967238 |        1    79879   1315 | 13.695 % |
3539.98/3539.92	c |    552382 |  979420  5084371 11967238 |        1    79980   1314 | 13.695 % |
3539.98/3539.92	c |    554068 |  979419  5084371 11967238 |        1    81665   1371 | 13.695 % |
3539.98/3539.92	c |    554170 |  979419  5084371 11967238 |        1    81767   1372 | 13.695 % |
3539.98/3539.92	c |    554271 |  979419  5084371 11967238 |        1    81868   1373 | 13.695 % |
3539.98/3539.92	c |    554873 |  979419  5084371 11967238 |        1    82470   1386 | 13.695 % |
3539.98/3539.92	c |    554974 |  979419  5084371 11967238 |        1    82571   1385 | 13.695 % |
3539.98/3539.92	c |    555078 |  979419  5084371 11967238 |        1    82675   1387 | 13.695 % |
3539.98/3539.92	c |    558441 |  979419  5084371 11967238 |        1    86038   1491 | 13.695 % |
3539.98/3539.92	c |    559239 |  979419  5084371 11967238 |        1    86836   1516 | 13.695 % |
3539.98/3539.92	c |    559340 |  979418  5084371 11967238 |        1    86936   1516 | 13.695 % |
3539.98/3539.92	c |    559442 |  979418  5084371 11967238 |        1    87038   1514 | 13.695 % |
3539.98/3539.92	c |    559542 |  979418  5084371 11967238 |        1    87138   1515 | 13.695 % |
3539.98/3539.92	c |    560015 |  979417  5084371 11967238 |        1    87610   1521 | 13.695 % |
3539.98/3539.92	c |    560247 |  979417  5084371 11967238 |        1    87842   1521 | 13.695 % |
3539.98/3539.92	c |    560443 |  979417  5084371 11967238 |        1    88038   1522 | 13.695 % |
3539.98/3539.92	c |    560543 |  979417  5084371 11967238 |        1    88138   1522 | 13.695 % |
3539.98/3539.93	c |    563077 |  979416  5084371 11967238 |        1    90671   1567 | 13.695 % |
3539.98/3539.93	c |    563178 |  979416  5084371 11967238 |        1    90772   1570 | 13.695 % |
3539.98/3539.93	c |    564550 |  979416  5084371 11967238 |        1    92144   1592 | 13.695 % |
3539.98/3539.93	c |    564650 |  979416  5084371 11967238 |        1    92244   1593 | 13.695 % |
3539.98/3539.93	c |    565670 |  979414  5084371 11967238 |        1    93262   1614 | 13.695 % |
3539.98/3539.93	c |    566454 |  979414  5084371 11967238 |        1    94046   1613 | 13.695 % |
3539.98/3539.93	c |    566555 |  979413  5084371 11967238 |        1    94146   1613 | 13.695 % |
3539.98/3539.93	c |    566735 |  979413  5084371 11967238 |        1    94326   1635 | 13.695 % |
3539.98/3539.93	c |    566836 |  979413  5084371 11967238 |        1    94427   1634 | 13.695 % |
3539.98/3539.93	c |    566937 |  979412  5084371 11967238 |        1    94527   1634 | 13.695 % |
3539.98/3539.93	c |    567082 |  979412  5084371 11967238 |        1    94672   1637 | 13.695 % |
3539.98/3539.93	c |    567184 |  979412  5084371 11967238 |        1    94774   1637 | 13.695 % |
3745.18/3745.14	c |    569138 |  979412  5084371 11967238 |        1    96728   1686 | 13.695 % |
3745.18/3745.14	c |    569238 |  979412  5084371 11967238 |        1    96824   1686 | 13.695 % |
3745.18/3745.14	c |    569339 |  979412  5084371 11967238 |        1    96925   1688 | 13.695 % |
3745.18/3745.14	c |    569439 |  979412  5084371 11967238 |        1    97025   1689 | 13.695 % |
3745.18/3745.14	c |    570478 |  979411  5084371 11967238 |        1    98063   1725 | 13.696 % |
3745.18/3745.14	c |    570623 |  979411  5084371 11967238 |        1    98208   1726 | 13.696 % |
3745.18/3745.14	c |    570724 |  979411  5084371 11967238 |        1    98309   1728 | 13.696 % |
3745.18/3745.14	c |    573344 |  979345  5084371 11967238 |        1   100928   1852 | 13.701 % |
3745.18/3745.14	c |    573444 |  979345  5084371 11967238 |        1   101028   1851 | 13.701 % |
3745.18/3745.14	c |    573664 |  979345  5084371 11967238 |        1   101248   1854 | 13.701 % |
3745.18/3745.14	c |    575441 |  979332  5084371 11967238 |        1    52304    430 | 13.702 % |
3745.18/3745.14	c |    576499 |  979319  5084371 11967238 |        1    53360    539 | 13.704 % |
3745.18/3745.14	c |    576599 |  979312  5084371 11967238 |        1    53459    543 | 13.704 % |
3745.18/3745.14	c |    576699 |  979312  5084371 11967238 |        1    53559    549 | 13.704 % |
3745.18/3745.14	c |    576908 |  979311  5084371 11967238 |        1    53767    549 | 13.704 % |
3745.18/3745.14	c |    577010 |  979311  5084371 11967238 |        1    53869    549 | 13.704 % |
3745.18/3745.14	c |    577129 |  979311  5084371 11967238 |        1    53988    554 | 13.704 % |
3745.18/3745.14	c |    577230 |  979311  5084371 11967238 |        1    54089    563 | 13.704 % |
3745.18/3745.14	c |    578005 |  979311  5084371 11967238 |        1    54864    592 | 13.704 % |
3745.18/3745.14	c |    578105 |  979311  5084371 11967238 |        1    54964    592 | 13.704 % |
3745.18/3745.14	c |    580072 |  979311  5084371 11967238 |        1    56931    717 | 13.704 % |
3745.18/3745.14	c |    581048 |  979310  5084371 11967238 |        1    57906    740 | 13.704 % |
3745.18/3745.14	c |    581151 |  979310  5084371 11967238 |        1    58009    742 | 13.704 % |
3745.18/3745.14	c |    581269 |  979309  5084371 11967238 |        1    58126    748 | 13.704 % |
3745.18/3745.14	c |    584710 |  979303  5084371 11967238 |        1    61561    855 | 13.705 % |
3745.18/3745.14	c |    584810 |  979303  5084371 11967238 |        1    61661    854 | 13.705 % |
3745.18/3745.14	c |    588338 |  979301  5084371 11967238 |        1    65187   1011 | 13.705 % |
3745.18/3745.14	c |    590448 |  979301  5084371 11967238 |        1    67297   1057 | 13.705 % |
3745.18/3745.14	c |    593054 |  979300  5084371 11967238 |        1    69902   1113 | 13.705 % |
3745.18/3745.14	c |    593298 |  979300  5084371 11967238 |        1    70146   1127 | 13.705 % |
3745.18/3745.14	c |    593398 |  979300  5084371 11967238 |        1    70246   1129 | 13.705 % |
3745.18/3745.14	c |    593498 |  979300  5084371 11967238 |        1    70346   1130 | 13.705 % |
3745.18/3745.14	c |    593627 |  979300  5084371 11967238 |        1    70475   1141 | 13.705 % |
3745.18/3745.14	c |    593728 |  979300  5084371 11967238 |        1    70576   1141 | 13.705 % |
3745.18/3745.14	c |    593828 |  979300  5084371 11967238 |        1    70676   1141 | 13.705 % |
3745.18/3745.14	c |    594165 |  979300  5084371 11967238 |        1    71013   1161 | 13.705 % |
3745.18/3745.14	c |    594267 |  979300  5084371 11967238 |        1    71115   1161 | 13.705 % |
3745.18/3745.14	c |    595163 |  979300  5084371 11967238 |        1    72011   1172 | 13.705 % |
3745.18/3745.14	c |    595605 |  979300  5084371 11967238 |        1    72453   1184 | 13.705 % |
3745.18/3745.14	c |    600480 |  979300  5084371 11967238 |        1    77328   1274 | 13.705 % |
3745.18/3745.14	c |    600580 |  979300  5084361 11967099 |        1    77393   1275 | 13.705 % |
3745.18/3745.14	c |    600680 |  979300  5084361 11967099 |        1    77493   1274 | 13.705 % |
3745.18/3745.14	c |    600781 |  979300  5084361 11967099 |        1    77594   1272 | 13.705 % |
3745.18/3745.14	c |    600977 |  979300  5084361 11967099 |        1    77790   1274 | 13.705 % |
3745.18/3745.14	c |    601077 |  979300  5084361 11967099 |        1    77890   1275 | 13.705 % |
3745.18/3745.14	c |    601206 |  979300  5084361 11967099 |        1    78019   1285 | 13.705 % |
3745.18/3745.14	c |    601306 |  979300  5084361 11967099 |        1    78119   1289 | 13.705 % |
3745.18/3745.14	c |    601728 |  979298  5084361 11967099 |        1    78539   1289 | 13.705 % |
3745.18/3745.14	c |    602752 |  979297  5084361 11967099 |        1    79562   1295 | 13.706 % |
3745.18/3745.14	c |    604307 |  979297  5084361 11967099 |        1    81117   1325 | 13.706 % |
4010.49/4010.49	c |    604614 |  979296  5084361 11967099 |        1    81423   1324 | 13.706 % |
4010.49/4010.49	c |    605133 |  979296  5084361 11967099 |        1    81942   1332 | 13.706 % |
4010.49/4010.49	c |    605233 |  979296  5084361 11967099 |        1    82042   1332 | 13.706 % |
4010.49/4010.49	c |    605825 |  979295  5084361 11967099 |        1    82633   1327 | 13.706 % |
4010.49/4010.49	c |    606820 |  979295  5084361 11967099 |        1    83628   1395 | 13.706 % |
4010.49/4010.49	c |    607211 |  979295  5084361 11967099 |        1    84019   1392 | 13.706 % |
4010.49/4010.49	c |    607312 |  979295  5084361 11967099 |        1    84120   1392 | 13.706 % |
4010.49/4010.49	c |    607957 |  979295  5084361 11967099 |        1    84765   1400 | 13.706 % |
4010.49/4010.49	c |    608166 |  979295  5084361 11967099 |        1    84974   1402 | 13.706 % |
4010.49/4010.49	c |    611854 |  979295  5084361 11967099 |        1    88662   1472 | 13.706 % |
4010.49/4010.49	c |    612223 |  979295  5084361 11967099 |        1    89031   1473 | 13.706 % |
4010.49/4010.49	c |    612326 |  979295  5084361 11967099 |        1    89134   1472 | 13.706 % |
4010.49/4010.49	c |    613600 |  979288  5084361 11967099 |        1    90401   1501 | 13.706 % |
4010.49/4010.49	c |    613847 |  979288  5084361 11967099 |        1    90648   1502 | 13.706 % |
4010.49/4010.49	c |    614181 |  979287  5084361 11967099 |        1    90981   1500 | 13.706 % |
4010.49/4010.49	c |    614591 |  979286  5084361 11967099 |        1    91386   1508 | 13.707 % |
4010.49/4010.49	c |    614746 |  979286  5084361 11967099 |        1    91541   1507 | 13.707 % |
4010.49/4010.49	c |    615082 |  979286  5084361 11967099 |        1    91877   1512 | 13.707 % |
4010.49/4010.49	c |    617939 |  979285  5084361 11967099 |        1    94733   1631 | 13.707 % |
4010.49/4010.49	c |    618506 |  979285  5084361 11967099 |        1    95300   1639 | 13.707 % |
4010.49/4010.49	c |    618606 |  979285  5084361 11967099 |        1    95400   1639 | 13.707 % |
4010.49/4010.49	c |    619555 |  979285  5084361 11967099 |        1    96349   1631 | 13.707 % |
4010.49/4010.49	c |    620596 |  979284  5084361 11967099 |        1    97389   1651 | 13.707 % |
4010.49/4010.49	c |    620700 |  979284  5084361 11967099 |        1    97493   1652 | 13.707 % |
4010.49/4010.49	c |    620918 |  979284  5084361 11967099 |        1    97711   1657 | 13.707 % |
4010.49/4010.49	c |    621020 |  979284  5084361 11967099 |        1    97813   1658 | 13.707 % |
4010.49/4010.49	c |    621121 |  979284  5084361 11967099 |        1    97914   1658 | 13.707 % |
4010.49/4010.49	c |    623311 |  979284  5084361 11967099 |        1   100104   1680 | 13.707 % |
4010.49/4010.49	c |    623412 |  979284  5084361 11967099 |        1   100205   1678 | 13.707 % |
4010.49/4010.49	c |    625941 |  979282  5084361 11967099 |        1   102732   1719 | 13.707 % |
4010.49/4010.49	c |    626044 |  979282  5084361 11967099 |        1   102835   1718 | 13.707 % |
4010.49/4010.49	c |    626338 |  979282  5084361 11967099 |        1   103129   1718 | 13.707 % |
4010.49/4010.49	c |    626438 |  979282  5084361 11967099 |        1   103229   1717 | 13.707 % |
4010.49/4010.49	c |    626538 |  979282  5084361 11967099 |        1   103329   1716 | 13.707 % |
4010.49/4010.49	c |    626640 |  979282  5084361 11967099 |        1   103431   1714 | 13.707 % |
4010.49/4010.49	c |    626743 |  979280  5084361 11967099 |        1   103532   1713 | 13.707 % |
4010.49/4010.49	c |    626845 |  979279  5084361 11967099 |        1   103633   1712 | 13.707 % |
4010.49/4010.49	c |    627587 |  979278  5084361 11967099 |        1   104374   1711 | 13.707 % |
4010.49/4010.49	c |    630152 |  979278  5084361 11967099 |        1    53718    287 | 13.707 % |
4010.49/4010.49	c |    633535 |  979276  5084361 11967099 |        1    57099    394 | 13.707 % |
4010.49/4010.49	c |    633637 |  979276  5084361 11967099 |        1    57201    395 | 13.707 % |
4010.49/4010.49	c |    633740 |  979276  5084361 11967099 |        1    57304    407 | 13.707 % |
4010.49/4010.49	c |    633841 |  979276  5084361 11967099 |        1    57405    408 | 13.707 % |
4010.49/4010.49	c |    634931 |  978288  5084361 11967099 |        1    58493    433 | 13.794 % |
4010.49/4010.49	c |    635543 |  978268  5084361 11967099 |        1    59103    448 | 13.796 % |
4010.49/4010.49	c |    637925 |  978267  5084353 11966005 |        1    61426    615 | 13.796 % |
4010.49/4010.49	c |    641299 |  977969  5084353 11966005 |        1    64797    735 | 13.823 % |
4010.49/4010.49	c |    642648 |  977961  5084347 11965418 |        1    66073    798 | 13.823 % |
4010.49/4010.49	c |    642749 |  977961  5084347 11965418 |        1    66174    804 | 13.823 % |
4010.49/4010.49	c |    642852 |  977961  5084347 11965418 |        1    66277    809 | 13.823 % |
4212.69/4212.66	c |    643160 |  977958  5084347 11965418 |        1    66582    819 | 13.824 % |
4212.69/4212.66	c |    645142 |  977957  5084347 11965418 |        1    68563    861 | 13.824 % |
4212.69/4212.66	c |    645628 |  977956  5084347 11965418 |        1    69048    870 | 13.824 % |
4212.69/4212.66	c |    645728 |  977956  5084347 11965418 |        1    69148    871 | 13.824 % |
4212.69/4212.66	c |    646184 |  977956  5084347 11965418 |        1    69604    915 | 13.824 % |
4212.69/4212.66	c |    646298 |  977956  5084347 11965418 |        1    69718    916 | 13.824 % |
4212.69/4212.66	c |    646398 |  977956  5084347 11965418 |        1    69818    915 | 13.824 % |
4212.69/4212.66	c |    648644 |  977956  5084347 11965418 |        1    72064    942 | 13.824 % |
4212.69/4212.66	c |    648744 |  977956  5084347 11965418 |        1    72164    942 | 13.824 % |
4212.69/4212.66	c |    652881 |  977948  5084347 11965418 |        1    76293   1038 | 13.824 % |
4212.69/4212.66	c |    656023 |  977947  5084345 11965405 |        1    79425   1130 | 13.825 % |
4212.69/4212.66	c |    656124 |  977946  5084345 11965405 |        1    79525   1131 | 13.825 % |
4212.69/4212.66	c |    657455 |  977945  5084345 11965405 |        1    80855   1148 | 13.825 % |
4212.69/4212.66	c |    659731 |  977944  5084345 11965405 |        1    83130   1211 | 13.825 % |
4212.69/4212.66	c |    659831 |  977944  5084345 11965405 |        1    83230   1211 | 13.825 % |
4212.69/4212.66	c |    659931 |  977944  5084345 11965405 |        1    83330   1213 | 13.825 % |
4212.69/4212.66	c |    660291 |  977938  5084345 11965405 |        1    83689   1221 | 13.825 % |
4212.69/4212.66	c |    663792 |  977938  5084345 11965405 |        1    87190   1396 | 13.825 % |
4212.69/4212.66	c |    663895 |  977938  5084345 11965405 |        1    87293   1395 | 13.825 % |
4212.69/4212.66	c |    664183 |  977938  5084345 11965405 |        1    87581   1399 | 13.825 % |
4212.69/4212.66	c |    664283 |  977938  5084345 11965405 |        1    87681   1399 | 13.825 % |
4212.69/4212.66	c |    664437 |  977938  5084345 11965405 |        1    87835   1402 | 13.825 % |
4212.69/4212.66	c |    664541 |  977938  5084345 11965405 |        1    87939   1405 | 13.825 % |
4212.69/4212.66	c |    664813 |  977938  5084345 11965405 |        1    88211   1405 | 13.825 % |
4212.69/4212.66	c |    666996 |  977928  5084345 11965405 |        1    90392   1410 | 13.826 % |
4212.69/4212.66	c |    667105 |  977928  5084345 11965405 |        1    90501   1412 | 13.826 % |
4212.69/4212.66	c |    667896 |  977927  5084345 11965405 |        1    91291   1420 | 13.826 % |
4212.69/4212.66	c |    668346 |  977927  5084345 11965405 |        1    91741   1432 | 13.826 % |
4212.69/4212.66	c |    668446 |  977927  5084345 11965405 |        1    91841   1434 | 13.826 % |
4212.69/4212.66	c |    668699 |  977926  5084341 11965375 |        1    92090   1443 | 13.826 % |
4212.69/4212.66	c |    669182 |  977922  5084341 11965375 |        1    92569   1441 | 13.827 % |
4212.69/4212.66	c |    673405 |  977921  5084341 11965375 |        1    96791   1581 | 13.827 % |
4212.69/4212.66	c |    673927 |  977921  5084341 11965375 |        1    97313   1577 | 13.827 % |
4212.69/4212.66	c |    674339 |  977921  5084341 11965375 |        1    97725   1581 | 13.827 % |
4212.69/4212.66	c |    674656 |  977921  5084341 11965375 |        1    98042   1580 | 13.827 % |
4212.69/4212.66	c |    674823 |  977921  5084341 11965375 |        1    98209   1586 | 13.827 % |
4212.69/4212.66	c |    678561 |  977918  5084341 11965375 |        1   101944   1610 | 13.827 % |
4212.69/4212.66	c |    678662 |  977918  5084341 11965375 |        1   102045   1609 | 13.827 % |
4212.69/4212.66	c |    678855 |  977918  5084341 11965375 |        1   102238   1610 | 13.827 % |
4212.69/4212.66	c |    679362 |  977918  5084341 11965375 |        1   102745   1624 | 13.827 % |
4212.69/4212.66	c |    679632 |  977918  5084341 11965375 |        1   103015   1635 | 13.827 % |
4212.69/4212.66	c |    680639 |  977917  5084341 11965375 |        1   104021   1641 | 13.827 % |
4212.69/4212.66	c |    681272 |  977917  5084341 11965375 |        1   104654   1640 | 13.827 % |
4212.69/4212.66	c |    681372 |  977917  5084341 11965375 |        1   104754   1640 | 13.827 % |
4212.69/4212.66	c |    681473 |  977917  5084341 11965375 |        1   104855   1640 | 13.827 % |
4212.69/4212.66	c |    681761 |  977917  5084341 11965375 |        1   105143   1645 | 13.827 % |
4212.69/4212.66	c |    683822 |  977916  5084341 11965375 |        1   107203   1676 | 13.827 % |
4212.69/4212.66	c |    683972 |  977916  5084341 11965375 |        1   107353   1675 | 13.827 % |
4212.69/4212.66	c |    684794 |  977915  5084341 11965375 |        1   108174   1690 | 13.827 % |
4212.69/4212.66	c |    684894 |  977915  5084341 11965375 |        1   108268   1690 | 13.827 % |
4504.00/4503.93	c |    685002 |  977915  5084341 11965375 |        1   108376   1689 | 13.827 % |
4504.00/4503.93	c |    685430 |  977915  5084341 11965375 |        1   108804   1717 | 13.827 % |
4504.00/4503.93	c |    685531 |  977915  5084341 11965375 |        1   108905   1719 | 13.827 % |
4504.00/4503.93	c |    687757 |  977914  5084341 11965375 |        1   111130   1765 | 13.827 % |
4504.00/4503.93	c |    687874 |  977914  5084341 11965375 |        1   111247   1765 | 13.827 % |
4504.00/4503.93	c |    688095 |  977913  5084341 11965375 |        1   111467   1763 | 13.828 % |
4504.00/4503.93	c |    688203 |  977913  5084341 11965375 |        1   111575   1766 | 13.828 % |
4504.00/4503.93	c |    688971 |  977908  5084341 11965375 |        1    56549    315 | 13.828 % |
4504.00/4503.93	c |    689071 |  977908  5084341 11965375 |        1    56649    321 | 13.828 % |
4504.00/4503.93	c |    689171 |  977908  5084341 11965375 |        1    56749    325 | 13.828 % |
4504.00/4503.93	c |    690208 |  977906  5084341 11965375 |        1    57784    357 | 13.828 % |
4504.00/4503.93	c |    691400 |  977906  5084341 11965375 |        1    58976    493 | 13.828 % |
4504.00/4503.93	c |    691521 |  977906  5084341 11965375 |        1    59097    494 | 13.828 % |
4504.00/4503.93	c |    691625 |  977906  5084341 11965375 |        1    59201    500 | 13.828 % |
4504.00/4503.93	c |    691726 |  977889  5084341 11965375 |        1    59298    502 | 13.830 % |
4504.00/4503.93	c |    691953 |  977888  5084341 11965375 |        1    59524    513 | 13.830 % |
4504.00/4503.93	c |    693401 |  977835  5084341 11965375 |        1    60971    598 | 13.834 % |
4504.00/4503.93	c |    694082 |  977835  5084341 11965375 |        1    61652    625 | 13.834 % |
4504.00/4503.93	c |    694182 |  977835  5084341 11965375 |        1    61752    626 | 13.834 % |
4504.00/4503.93	c |    695347 |  977835  5084341 11965375 |        1    62917    670 | 13.834 % |
4504.00/4503.93	c |    695447 |  977835  5084341 11965375 |        1    63017    670 | 13.834 % |
4504.00/4503.93	c |    695887 |  977834  5084341 11965375 |        1    63456    693 | 13.834 % |
4504.00/4503.93	c |    697602 |  977834  5084341 11965375 |        1    65171    769 | 13.834 % |
4504.00/4503.93	c |    697706 |  977834  5084341 11965375 |        1    65275    769 | 13.834 % |
4504.00/4503.93	c |    697806 |  977834  5084341 11965375 |        1    65375    775 | 13.834 % |
4504.00/4503.93	c |    697906 |  977834  5084341 11965375 |        1    65475    775 | 13.834 % |
4504.00/4503.93	c |    698008 |  977834  5084341 11965375 |        1    65577    777 | 13.834 % |
4504.00/4503.93	c |    698138 |  977834  5084341 11965375 |        1    65707    779 | 13.834 % |
4504.00/4503.93	c |    700011 |  977834  5084341 11965375 |        1    67580    854 | 13.834 % |
4504.00/4503.93	c |    700111 |  977834  5084341 11965375 |        1    67680    854 | 13.834 % |
4504.00/4503.93	c |    700617 |  977834  5084341 11965375 |        1    68186    906 | 13.834 % |
4504.00/4503.93	c |    703874 |  977830  5084341 11965375 |        1    71439    966 | 13.835 % |
4504.00/4503.93	c |    704121 |  977830  5084341 11965375 |        1    71686    977 | 13.835 % |
4504.00/4503.93	c |    706492 |  977828  5084341 11965375 |        1    74055   1000 | 13.835 % |
4504.00/4503.93	c |    709373 |  977826  5084341 11965375 |        1    76934   1100 | 13.835 % |
4504.00/4503.93	c |    709726 |  977826  5084341 11965375 |        1    77287   1106 | 13.835 % |
4504.00/4503.93	c |    709832 |  977826  5084341 11965375 |        1    77393   1106 | 13.835 % |
4504.00/4503.93	c |    711173 |  977826  5084341 11965375 |        1    78734   1156 | 13.835 % |
4504.00/4503.93	c |    711277 |  977826  5084341 11965375 |        1    78838   1155 | 13.835 % |
4504.00/4503.93	c |    724226 |  977826  5084341 11965375 |        1    91787   1838 | 13.835 % |
4504.00/4503.93	c |    726130 |  977818  5084337 11965206 |        1    93645   1835 | 13.836 % |
4504.00/4503.93	c |    728421 |  977816  5084337 11965206 |        1    95934   1857 | 13.836 % |
4504.00/4503.93	c |    730732 |  977815  5084337 11965206 |        1    98244   1891 | 13.836 % |
4504.00/4503.93	c |    730976 |  977815  5084337 11965206 |        1    98488   1892 | 13.836 % |
4504.00/4503.93	c |    731077 |  977814  5084337 11965206 |        1    98588   1892 | 13.836 % |
4504.00/4503.93	c |    732059 |  977809  5084337 11965206 |        1    99569   1906 | 13.837 % |
4504.00/4503.93	c |    733175 |  977809  5084337 11965206 |        1   100685   1908 | 13.837 % |
4504.00/4503.93	c |    733275 |  977806  5084337 11965206 |        1   100782   1908 | 13.837 % |
4504.00/4503.93	c |    733375 |  977806  5084337 11965206 |        1   100882   1907 | 13.837 % |
4504.00/4503.93	c |    733478 |  977806  5084337 11965206 |        1   100985   1909 | 13.837 % |
4745.11/4745.02	c |    733578 |  977806  5084337 11965206 |        1   101085   1907 | 13.837 % |
4745.11/4745.02	c |    734900 |  977803  5084337 11965206 |        1   102404   1924 | 13.837 % |
4745.11/4745.02	c |    735425 |  977803  5084337 11965206 |        1   102929   1926 | 13.837 % |
4745.11/4745.02	c |    737390 |  977803  5084337 11965206 |        1   104894   1979 | 13.837 % |
4745.11/4745.02	c |    738692 |  977803  5084337 11965206 |        1   106196   2000 | 13.837 % |
4745.11/4745.02	c |    738935 |  977802  5084337 11965206 |        1   106438   1999 | 13.837 % |
4745.11/4745.02	c |    739037 |  977802  5084337 11965206 |        1   106540   1998 | 13.837 % |
4745.11/4745.02	c |    739140 |  977802  5084337 11965206 |        1   106643   1998 | 13.837 % |
4745.11/4745.02	c |    740179 |  977802  5084337 11965206 |        1   107682   2023 | 13.837 % |
4745.11/4745.02	c |    740279 |  977801  5084337 11965206 |        1   107781   2021 | 13.837 % |
4745.11/4745.02	c |    740398 |  977801  5084337 11965206 |        1   107900   2021 | 13.837 % |
4745.11/4745.02	c |    740499 |  977801  5084337 11965206 |        1   108001   2022 | 13.837 % |
4745.11/4745.02	c |    742109 |  977801  5084337 11965206 |        1   109611   2108 | 13.837 % |
4745.11/4745.02	c |    742402 |  977800  5084337 11965206 |        1   109903   2105 | 13.837 % |
4745.11/4745.02	c |    743016 |  976453  5084337 11965206 |        1   110513   2109 | 13.956 % |
4745.11/4745.02	c |    743252 |  976452  5084337 11965206 |        1   110748   2107 | 13.956 % |
4745.11/4745.02	c |    743377 |  976452  5084337 11965206 |        1   110873   2108 | 13.956 % |
4745.11/4745.02	c |    743844 |  976452  5084337 11965206 |        1   111340   2114 | 13.956 % |
4745.11/4745.02	c |    746765 |  976451  5084337 11965206 |        1   114260   2233 | 13.956 % |
4745.11/4745.02	c |    748354 |  976441  5084337 11965206 |        1   115847   2228 | 13.957 % |
4745.11/4745.02	c |    750678 |  976439  5084337 11965206 |        1    59675    290 | 13.957 % |
4745.11/4745.02	c |    751057 |  976439  5084337 11965206 |        1    60054    320 | 13.957 % |
4745.11/4745.02	c |    751158 |  976439  5084337 11965206 |        1    60155    321 | 13.957 % |
4745.11/4745.02	c |    751363 |  976439  5084337 11965206 |        1    60360    325 | 13.957 % |
4745.11/4745.02	c |    751783 |  976439  5084337 11965206 |        1    60780    374 | 13.957 % |
4745.11/4745.02	c |    751970 |  976438  5084337 11965206 |        1    60966    376 | 13.957 % |
4745.11/4745.02	c |    752315 |  976438  5084337 11965206 |        1    61311    383 | 13.957 % |
4745.11/4745.02	c |    753047 |  976437  5084337 11965206 |        1    62042    396 | 13.958 % |
4745.11/4745.02	c |    755241 |  976437  5084337 11965206 |        1    64236    696 | 13.958 % |
4745.11/4745.02	c |    759052 |  976437  5084337 11965206 |        1    68047    832 | 13.958 % |
4745.11/4745.02	c |    759152 |  976437  5084327 11963277 |        1    68022    833 | 13.958 % |
4745.11/4745.02	c |    760367 |  976436  5084327 11963277 |        1    69236    862 | 13.958 % |
4745.11/4745.02	c |    761328 |  976427  5084327 11963277 |        1    70196    876 | 13.958 % |
4745.11/4745.02	c |    763109 |  976419  5084327 11963277 |        1    71976    918 | 13.959 % |
4745.11/4745.02	c |    763210 |  976419  5084327 11963277 |        1    72077    920 | 13.959 % |
4745.11/4745.02	c |    764308 |  976418  5084327 11963277 |        1    73174   1017 | 13.959 % |
4745.11/4745.02	c |    764435 |  976418  5084327 11963277 |        1    73301   1022 | 13.959 % |
4745.11/4745.02	c |    764879 |  976418  5084327 11963277 |        1    73745   1038 | 13.959 % |
4745.11/4745.02	c |    764979 |  976418  5084327 11963277 |        1    73845   1040 | 13.959 % |
4745.11/4745.02	c |    765126 |  976418  5084327 11963277 |        1    73992   1044 | 13.959 % |
4745.11/4745.02	c |    765227 |  976418  5084327 11963277 |        1    74093   1045 | 13.959 % |
4745.11/4745.02	c |    765395 |  976418  5084327 11963277 |        1    74261   1051 | 13.959 % |
4745.11/4745.02	c |    765496 |  976418  5084327 11963277 |        1    74362   1054 | 13.959 % |
4745.11/4745.02	c |    767944 |  976418  5084327 11963277 |        1    76810   1161 | 13.959 % |
4745.11/4745.02	c |    768077 |  976418  5084327 11963277 |        1    76943   1165 | 13.959 % |
4745.11/4745.02	c |    768179 |  976418  5084327 11963277 |        1    77045   1166 | 13.959 % |
4745.11/4745.02	c |    769525 |  976415  5084327 11963277 |        1    78388   1222 | 13.960 % |
4745.11/4745.02	c |    769625 |  976415  5084327 11963277 |        1    78488   1223 | 13.960 % |
4745.11/4745.02	c |    769726 |  976415  5084327 11963277 |        1    78589   1233 | 13.960 % |
4745.11/4745.02	c |    769826 |  976415  5084327 11963277 |        1    78689   1234 | 13.960 % |
4881.61/4881.53	c |    769928 |  976415  5084327 11963277 |        1    78791   1234 | 13.960 % |
4881.61/4881.53	c |    770081 |  976415  5084327 11963277 |        1    78944   1234 | 13.960 % |
4881.61/4881.53	c |    770285 |  976415  5084327 11963277 |        1    79148   1237 | 13.960 % |
4881.61/4881.53	c |    770385 |  976415  5084327 11963277 |        1    79248   1238 | 13.960 % |
4881.61/4881.53	c |    771571 |  976414  5084327 11963277 |        1    80433   1249 | 13.960 % |
4881.61/4881.53	c |    771671 |  976414  5084327 11963277 |        1    80533   1249 | 13.960 % |
4881.61/4881.53	c |    772042 |  976414  5084327 11963277 |        1    80904   1271 | 13.960 % |
4881.61/4881.53	c |    772145 |  976414  5084327 11963277 |        1    81007   1274 | 13.960 % |
4881.61/4881.53	c |    772658 |  976414  5084327 11963277 |        1    81520   1297 | 13.960 % |
4881.61/4881.53	c |    772920 |  976414  5084323 11963239 |        1    81777   1307 | 13.960 % |
4881.61/4881.53	c |    773021 |  976414  5084323 11963239 |        1    81878   1309 | 13.960 % |
4881.61/4881.53	c |    773122 |  976413  5084323 11963239 |        1    81978   1308 | 13.960 % |
4881.61/4881.53	c |    773222 |  976413  5084323 11963239 |        1    82078   1312 | 13.960 % |
4881.61/4881.53	c |    773388 |  976413  5084323 11963239 |        1    82244   1315 | 13.960 % |
4881.61/4881.53	c |    773549 |  976413  5084323 11963239 |        1    82405   1320 | 13.960 % |
4881.61/4881.53	c |    773694 |  976412  5084323 11963239 |        1    82549   1324 | 13.960 % |
4881.61/4881.53	c |    773894 |  976412  5084323 11963239 |        1    82749   1326 | 13.960 % |
4881.61/4881.53	c |    773994 |  976412  5084323 11963239 |        1    82849   1327 | 13.960 % |
4881.61/4881.53	c |    774094 |  976412  5084323 11963239 |        1    82949   1325 | 13.960 % |
4881.61/4881.53	c |    774351 |  976411  5084323 11963239 |        1    83205   1323 | 13.960 % |
4881.61/4881.53	c |    774490 |  976379  5084323 11963239 |        1    83343   1322 | 13.963 % |
4881.61/4881.53	c |    775141 |  976379  5084323 11963239 |        1    83994   1336 | 13.963 % |
4881.61/4881.53	c |    775869 |  976379  5084323 11963239 |        1    84722   1345 | 13.963 % |
4881.61/4881.53	c |    775972 |  976379  5084323 11963239 |        1    84825   1345 | 13.963 % |
4881.61/4881.53	c |    777578 |  976378  5084323 11963239 |        1    86430   1358 | 13.963 % |
4881.61/4881.53	c |    782778 |  976376  5084323 11963239 |        1    91628   1420 | 13.963 % |
4881.61/4881.53	c |    782878 |  976376  5084323 11963239 |        1    91728   1421 | 13.963 % |
4881.61/4881.53	c |    782982 |  976376  5084323 11963239 |        1    91832   1423 | 13.963 % |
4881.61/4881.53	c |    783205 |  976375  5084323 11963239 |        1    92054   1422 | 13.963 % |
4881.61/4881.53	c |    783383 |  976375  5084323 11963239 |        1    92232   1420 | 13.963 % |
4881.61/4881.53	c |    783592 |  976375  5084323 11963239 |        1    92441   1432 | 13.963 % |
4881.61/4881.53	c |    785416 |  976372  5084323 11963239 |        1    94262   1487 | 13.963 % |
4881.61/4881.53	c |    785703 |  976371  5084323 11963239 |        1    94548   1489 | 13.963 % |
4881.61/4881.53	c |    786036 |  976364  5084323 11963239 |        1    94880   1487 | 13.964 % |
4881.61/4881.53	c |    787597 |  976364  5084323 11963239 |        1    96441   1523 | 13.964 % |
4881.61/4881.53	c |    787697 |  976364  5084323 11963239 |        1    96541   1523 | 13.964 % |
4881.61/4881.53	c |    787802 |  976364  5084323 11963239 |        1    96646   1523 | 13.964 % |
4881.61/4881.53	c |    788192 |  976363  5084319 11963190 |        1    96984   1535 | 13.964 % |
4881.61/4881.53	c |    788711 |  976363  5084319 11963190 |        1    97503   1540 | 13.964 % |
4881.61/4881.53	c |    789028 |  976352  5084319 11963190 |        1    97819   1543 | 13.965 % |
4881.61/4881.53	c |    789258 |  976351  5084319 11963190 |        1    98048   1545 | 13.965 % |
4881.61/4881.53	c |    789545 |  976351  5084319 11963190 |        1    98335   1551 | 13.965 % |
4881.61/4881.53	c |    789894 |  976338  5084319 11963190 |        1    98682   1553 | 13.966 % |
4881.61/4881.53	c |    790222 |  975713  5084319 11963190 |        1    99009   1549 | 14.021 % |
4881.61/4881.53	c |    790436 |  975712  5084319 11963190 |        1    99222   1552 | 14.021 % |
4881.61/4881.53	c |    790537 |  975701  5084319 11963190 |        1    99322   1551 | 14.022 % |
4881.61/4881.53	c |    790929 |  975700  5084319 11963190 |        1    99713   1566 | 14.023 % |
4881.61/4881.53	c |    792349 |  975642  5084319 11963190 |        1   101129   1591 | 14.028 % |
4881.61/4881.53	c |    793230 |  975641  5084319 11963190 |        1   102009   1598 | 14.028 % |
4881.61/4881.53	c |    795007 |  975640  50

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

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.03 1.96 2/178 19296
/proc/meminfo: memFree=15990720/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0

[startup+0.0165169 s]
/proc/loadavg: 2.10 2.03 1.96 2/178 19296
/proc/meminfo: memFree=15990720/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100506 s]
/proc/loadavg: 2.10 2.03 1.96 2/178 19296
/proc/meminfo: memFree=15990720/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300468 s]
/proc/loadavg: 2.10 2.03 1.96 2/178 19296
/proc/meminfo: memFree=15990720/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700397 s]
/proc/loadavg: 2.10 2.03 1.96 2/178 19296
/proc/meminfo: memFree=15990720/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50025 s]
/proc/loadavg: 2.10 2.03 1.96 3/180 19299
/proc/meminfo: memFree=15728948/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=467848 CPUtime=1.48 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 109228 0 0 0 133 15 0 0 25 0 1 0 502034482 479076352 90146 33554432000 4194304 4260849 140734052051568 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 116962 90146 239 17 0 113603 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 476552

[startup+3.10097 s]
/proc/loadavg: 2.10 2.03 1.96 3/180 19299
/proc/meminfo: memFree=15664320/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=468564 CPUtime=3.09 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 109961 0 0 0 294 15 0 0 25 0 1 0 502034482 479809536 90879 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 117141 90879 250 17 0 113782 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 477268

[startup+6.30046 s]
/proc/loadavg: 2.17 2.05 1.96 3/180 19299
/proc/meminfo: memFree=15659600/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=469376 CPUtime=6.29 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 111066 0 0 0 613 16 0 0 25 0 1 0 502034482 480641024 91984 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209635 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 117344 91984 250 17 0 113985 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 478080

[startup+12.7003 s]
/proc/loadavg: 2.16 2.04 1.96 3/180 19299
/proc/meminfo: memFree=15651796/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=469836 CPUtime=12.69 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 113045 0 0 0 1253 16 0 0 25 0 1 0 502034482 481112064 93963 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209635 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 117459 93963 250 17 0 114100 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 478540

[startup+25.501 s]
/proc/loadavg: 2.12 2.04 1.96 3/180 19299
/proc/meminfo: memFree=15636540/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=471792 CPUtime=25.49 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 117042 0 0 0 2533 16 0 0 25 0 1 0 502034482 483115008 97960 33554432000 4194304 4260849 140734052051568 18446744073709551615 4211186 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 117948 97960 250 17 0 114589 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 480496

[startup+51.1005 s]
/proc/loadavg: 2.08 2.04 1.96 3/180 19300
/proc/meminfo: memFree=15633624/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=482156 CPUtime=51.09 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 156082 0 0 0 5088 21 0 0 25 0 1 0 502034482 493727744 98706 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209338 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 120539 98706 252 17 0 117180 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 490860

[startup+102.306 s]
/proc/loadavg: 2.03 2.03 1.96 3/180 19301
/proc/meminfo: memFree=15619724/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=482156 CPUtime=102.3 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 205889 0 0 0 10203 27 0 0 25 0 1 0 502034482 493727744 102054 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209353 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 120539 102054 252 17 0 117180 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 490860

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.96 3/180 19303
/proc/meminfo: memFree=15592096/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=571512 CPUtime=162.29 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 269345 0 0 0 16193 36 0 0 25 0 1 0 502034482 585228288 109281 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209338 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 142878 109281 252 17 0 139519 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 580216

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.96 3/180 19305
/proc/meminfo: memFree=15523240/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=571512 CPUtime=222.29 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 336407 0 0 0 22185 44 0 0 25 0 1 0 502034482 585228288 111665 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 142878 111665 252 17 0 139519 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 580216

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/180 19306
/proc/meminfo: memFree=15452280/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=703772 CPUtime=282.29 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 354418 0 0 0 28181 48 0 0 25 0 1 0 502034482 720662528 129671 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 175943 129671 252 17 0 172584 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 712476

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 19308
/proc/meminfo: memFree=15331592/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=708220 CPUtime=342.3 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 383921 0 0 0 34178 52 0 0 25 0 1 0 502034482 725217280 159166 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209292 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19298/statm: 177055 159166 252 17 0 173696 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 716924

[startup+402.301 s]
/proc/loadavg: 2.03 2.02 1.97 3/180 19309
/proc/meminfo: memFree=15440672/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7

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

/proc/19298/statm: 246369 189077 252 17 0 243010 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 994180

[startup+4422.3 s]
/proc/loadavg: 1.04 1.23 1.60 2/173 19447
/proc/meminfo: memFree=15167848/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=1334724 CPUtime=4422.4 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3361296 0 0 0 441744 496 0 0 25 0 1 0 502034482 1366757376 234937 33554432000 4194304 4260849 140734052051568 18446744073709551615 4229212 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 333681 234937 252 17 0 330322 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 1343428

[startup+4482.3 s]
/proc/loadavg: 1.01 1.18 1.56 2/173 19448
/proc/meminfo: memFree=14961836/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=1337592 CPUtime=4482.4 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3412929 0 0 0 447735 505 0 0 25 0 1 0 502034482 1369694208 286560 33554432000 4194304 4260849 140734052051568 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 334398 286560 252 17 0 331039 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 1346296

[startup+4542.3 s]
/proc/loadavg: 1.00 1.15 1.53 2/173 19450
/proc/meminfo: memFree=14825908/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=1905120 CPUtime=4542.41 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3446572 0 0 0 453730 511 0 0 25 0 1 0 502034482 1950842880 320192 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 476280 320192 252 17 0 472921 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 1913824

[startup+4602.3 s]
/proc/loadavg: 1.00 1.12 1.49 2/173 19451
/proc/meminfo: memFree=14669268/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=1905120 CPUtime=4602.41 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3485390 0 0 0 459725 516 0 0 25 0 1 0 502034482 1950842880 359004 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 476280 359004 252 17 0 472921 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 1913824

[startup+4662.3 s]
/proc/loadavg: 1.00 1.09 1.46 2/173 19453
/proc/meminfo: memFree=15488376/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=773420 CPUtime=4662.41 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3565261 0 0 0 465710 531 0 0 25 0 1 0 502034482 791982080 155060 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 193355 155060 252 17 0 189996 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 782124

[startup+4722.31 s]
/proc/loadavg: 1.00 1.07 1.43 2/173 19455
/proc/meminfo: memFree=15313872/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=993688 CPUtime=4722.41 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3608587 0 0 0 471703 538 0 0 25 0 1 0 502034482 1017536512 198378 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 248422 198378 252 17 0 245063 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 1002392

[startup+4782.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/173 19456
/proc/meminfo: memFree=15190464/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=993688 CPUtime=4782.41 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3639513 0 0 0 477699 542 0 0 25 0 1 0 502034482 1017536512 229295 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 248422 229295 252 17 0 245063 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 1002392

[startup+4842.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/173 19458
/proc/meminfo: memFree=15080212/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=1342936 CPUtime=4842.41 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3666798 0 0 0 483694 547 0 0 25 0 1 0 502034482 1375166464 256565 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 335734 256565 252 17 0 332375 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 1351640

[startup+4902.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/173 19459
/proc/meminfo: memFree=14954932/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=1342936 CPUtime=4902.41 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3698289 0 0 0 489689 552 0 0 25 0 1 0 502034482 1375166464 288045 33554432000 4194304 4260849 140734052051568 18446744073709551615 4227281 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 335734 288045 252 17 0 332375 0
Current children cumulated CPU time (s) 4902.41
Current children cumulated vsize (KiB) 1351640

[startup+4962.3 s]
/proc/loadavg: 1.05 1.04 1.32 2/173 19470
/proc/meminfo: memFree=14842056/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=1342936 CPUtime=4962.42 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3726146 0 0 0 495685 557 0 0 25 0 1 0 502034482 1375166464 315892 33554432000 4194304 4260849 140734052051568 18446744073709551615 4209649 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 335734 315892 252 17 0 332375 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 1351640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 1.02 1.03 1.31 2/173 19471
/proc/meminfo: memFree=14771104/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=1910464 CPUtime=5000.02 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3743726 0 0 0 499442 560 0 0 25 0 1 0 502034482 1956315136 333468 33554432000 4194304 4260849 140734052051568 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 477616 333468 252 17 0 474257 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 1919168

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

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

[startup+4999.9 s]
/proc/loadavg: 1.02 1.03 1.31 2/173 19471
/proc/meminfo: memFree=14771104/32950928 swapFree=67111528/67111528
[pid=19296] ppid=19294 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/19296/stat : 19296 (glucose.sh) S 19294 19296 18988 0 -1 4202496 360 112 0 0 0 0 0 0 24 0 1 0 502034482 8912896 254 33554432000 4194304 4922060 140737099701120 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/19296/statm: 2176 254 211 178 0 69 0
[pid=19298] ppid=19296 vsize=1910464 CPUtime=5000.02 cores=1,3,5,7
/proc/19298/stat : 19298 (glucose_static) R 19296 19296 18988 0 -1 4202496 3743726 0 0 0 499442 560 0 0 25 0 1 0 502034482 1956315136 333468 33554432000 4194304 4260849 140734052051568 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19298/statm: 477616 333468 252 17 0 474257 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 1919168

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 4999.91
CPU time (s): 5000.02
CPU user time (s): 4994.42
CPU system time (s): 5.6
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2125440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 5

runsolver used 7.57685 second user time and 18.1312 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-27 13:39:17
IDJOB=3303885
IDBENCH=82413
IDSOLVER=1687
FILE ID=node122/3303885-1303904353
RUNJOBID= node122-1303899342-19007
PBS_JOBID= 13164526
Free space on /tmp= 71544 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303885-1303904353/watcher-3303885-1303904353 -o /tmp/evaluation-result-3303885-1303904353/solver-3303885-1303904353 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303885-1303904353.cnf 

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

MD5SUM BENCH= c6d3480970bb2819448dd0a800a3cf1c
RANDOM SEED=1586346215

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15991000 kB
Buffers:       1727840 kB
Cached:       14487420 kB
SwapCached:          0 kB
Active:        5185576 kB
Inactive:     11207124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15991000 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          121976 kB
Writeback:           0 kB
AnonPages:      177016 kB
Mapped:          15356 kB
Slab:           504232 kB
PageTables:       4908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   337416 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= 71544 MiB
End job on node122 at 2011-04-27 15:02:39