Trace number 1832553

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
minisat_cumr p-2009-03-18? (TO) 1200.05 1200.51

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
MD5SUM01b687d69c52888789968aa62c5caeb5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses18700
Sum of the clauses size130900
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 518700

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   18700   130900 |    5609       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 220   #clauses: 18700   #literals: 130900
0.00/0.03	c CPU time:   0.024996 s
0.00/0.03	c ==============================================================================
0.00/0.07	c This is MiniSat 2.0 beta
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Number of variables:  220                                                  |
0.00/0.07	c |  Number of clauses:    18700                                                |
0.00/0.09	c |  Parsing time:         0.02         s                                       |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |     220    18700   130900 |     6233        0    nan |  0.000 % |
0.06/0.10	c |       100 |     220    18700   130900 |     6233      100     58 |  0.002 % |
0.06/0.11	c |       201 |     220    18700   130900 |     6233      201     62 |  0.002 % |
0.06/0.12	c |       302 |     220    18700   130900 |     6233      302     61 |  0.002 % |
0.06/0.13	c |       412 |     220    18700   130900 |     6233      412     61 |  0.002 % |
0.06/0.14	c |       512 |     220    18700   130900 |     6233      512     61 |  0.002 % |
0.06/0.15	c |       623 |     220    18700   130900 |     6233      623     60 |  0.002 % |
0.06/0.17	c |       744 |     220    18700   130900 |     6233      744     61 |  0.002 % |
0.06/0.18	c |       845 |     220    18700   130900 |     6233      845     62 |  0.002 % |
0.06/0.19	c |       956 |     220    18700   130900 |     6233      956     61 |  0.002 % |
0.06/0.20	c |      1077 |     220    18700   130900 |     6233     1077     61 |  0.002 % |
0.06/0.21	c |      1210 |     220    18700   130900 |     6233     1210     61 |  0.002 % |
0.06/0.22	c |      1312 |     220    18700   130900 |     6233     1312     61 |  0.002 % |
0.06/0.23	c |      1422 |     220    18700   130900 |     6233     1422     61 |  0.002 % |
0.06/0.24	c |      1543 |     220    18700   130900 |     6233     1543     61 |  0.002 % |
0.06/0.26	c |      1676 |     220    18700   130900 |     6233     1676     61 |  0.002 % |
0.06/0.27	c |      1822 |     220    18700   130900 |     6233     1822     61 |  0.002 % |
0.06/0.28	c |      1922 |     220    18700   130900 |     6233     1922     61 |  0.002 % |
0.06/0.29	c |      2033 |     220    18700   130900 |     6233     2033     61 |  0.002 % |
0.06/0.30	c |      2156 |     220    18700   130900 |     6233     2156     61 |  0.002 % |
0.06/0.32	c |      2289 |     220    18700   130900 |     6233     2289     61 |  0.002 % |
0.06/0.33	c |      2436 |     220    18700   130900 |     6233     2436     61 |  0.002 % |
0.06/0.35	c |      2598 |     220    18700   130900 |     6233     2598     61 |  0.002 % |
0.06/0.36	c |      2698 |     220    18700   130900 |     6233     2698     61 |  0.002 % |
0.06/0.37	c |      2809 |     220    18700   130900 |     6233     2809     62 |  0.002 % |
0.06/0.38	c |      2931 |     220    18700   130900 |     6233     2931     62 |  0.002 % |
0.06/0.40	c |      3065 |     220    18700   130900 |     6233     3065     62 |  0.002 % |
0.06/0.42	c |      3211 |     220    18700   130900 |     6233     3211     62 |  0.002 % |
0.06/0.43	c |      3372 |     220    18700   130900 |     6233     3372     62 |  0.002 % |
0.06/0.45	c |      3552 |     220    18700   130900 |     6233     3552     62 |  0.002 % |
0.06/0.46	c |      3654 |     220    18700   130900 |     6233     3654     62 |  0.002 % |
0.06/0.47	c |      3764 |     220    18700   130900 |     6233     3764     62 |  0.002 % |
0.06/0.49	c |      3886 |     220    18700   130900 |     6233     3886     62 |  0.002 % |
0.06/0.50	c |      4021 |     220    18700   130900 |     6233     4021     62 |  0.002 % |
0.06/0.52	c |      4168 |     220    18700   130900 |     6233     4168     62 |  0.002 % |
0.06/0.54	c |      4330 |     220    18700   130900 |     6233     4330     62 |  0.002 % |
0.06/0.56	c |      4506 |     220    18700   130900 |     6233     4506     62 |  0.002 % |
0.06/0.58	c |      4700 |     220    18700   130900 |     6233     4700     62 |  0.002 % |
0.06/0.59	c |      4800 |     220    18700   130900 |     6233     4800     62 |  0.002 % |
0.06/0.60	c |      4910 |     220    18700   130900 |     6233     4910     62 |  0.002 % |
0.06/0.62	c |      5032 |     220    18700   130900 |     6233     5032     62 |  0.002 % |
0.06/0.64	c |      5167 |     220    18700   130900 |     6233     5167     62 |  0.002 % |
0.06/0.66	c |      5315 |     220    18700   130900 |     6233     5315     62 |  0.002 % |
0.06/0.68	c |      5475 |     220    18700   130900 |     6233     5475     62 |  0.002 % |
0.06/0.70	c |      5651 |     220    18700   130900 |     6233     5651     62 |  0.002 % |
0.06/0.72	c |      5845 |     220    18700   130900 |     6233     5845     62 |  0.002 % |
0.06/0.75	c |      6058 |     220    18700   130900 |     6233     6058     62 |  0.002 % |
0.06/0.77	c |      6161 |     220    18700   130900 |     6233     6161     62 |  0.002 % |
0.06/0.78	c |      6272 |     220    18700   130900 |     6233     6272     62 |  0.002 % |
0.06/0.80	c |      6393 |     220    18700   130900 |     6233     5766     62 |  0.002 % |
0.06/0.82	c |      6527 |     220    18700   130900 |     6233     5900     62 |  0.002 % |
0.06/0.84	c |      6673 |     220    18700   130900 |     6233     6046     62 |  0.002 % |
0.06/0.86	c |      6833 |     220    18700   130900 |     6233     6206     62 |  0.002 % |
0.06/0.88	c |      7009 |     220    18700   130900 |     6233     5748     62 |  0.002 % |
0.06/0.91	c |      7202 |     220    18700   130900 |     6233     5941     62 |  0.002 % |
0.06/0.94	c |      7417 |     220    18700   130900 |     6233     6156     62 |  0.002 % |
0.06/0.97	c |      7651 |     220    18700   130900 |     6233     5757     62 |  0.002 % |
0.06/0.98	c |      7751 |     220    18700   130900 |     6233     5857     62 |  0.002 % |
0.06/1.00	c |      7863 |     220    18700   130900 |     6233     5969     62 |  0.002 % |
0.97/1.02	c |      7984 |     220    18700   130900 |     6233     6090     62 |  0.002 % |
0.97/1.04	c |      8118 |     220    18700   130900 |     6233     6224     62 |  0.002 % |
0.97/1.06	c |      8264 |     220    18700   130900 |     6233     5736     61 |  0.002 % |
0.97/1.08	c |      8425 |     220    18700   130900 |     6233     5897     62 |  0.002 % |
1.07/1.11	c |      8602 |     220    18700   130900 |     6233     6074     62 |  0.002 % |
1.07/1.13	c |      8796 |     220    18700   130900 |     6233     6268     62 |  0.002 % |
1.07/1.16	c |      9010 |     220    18700   130900 |     6233     5856     62 |  0.002 % |
1.07/1.19	c |      9243 |     220    18700   130900 |     6233     6089     62 |  0.002 % |
1.17/1.23	c |      9499 |     220    18700   130900 |     6233     5713     62 |  0.002 % |
1.17/1.24	c |      9600 |     220    18700   130900 |     6233     5814     62 |  0.002 % |
1.17/1.26	c |      9711 |     220    18700   130900 |     6233     5925     62 |  0.002 % |
1.17/1.28	c |      9833 |     220    18700   130900 |     6233     6047     62 |  0.002 % |
1.17/1.30	c |      9966 |     220    18700   130900 |     6233     6180     62 |  0.002 % |
1.27/1.32	c |     10112 |     220    18700   130900 | 2147483647     6326     62 |  0.002 % |
1.27/1.34	c |     10272 |     220    18700   130900 | 2147483647     6486     62 |  0.002 % |
1.27/1.36	c |     10448 |     220    18700   130900 | 2147483647     6662     62 |  0.002 % |
1.27/1.39	c |     10641 |     220    18700   130900 | 2147483647     6855     62 |  0.002 % |
1.37/1.42	c |     10853 |     220    18700   130900 | 2147483647     7067     62 |  0.002 % |
1.37/1.46	c |     11087 |     220    18700   130900 | 2147483647     7301     62 |  0.002 % |
1.37/1.49	c |     11343 |     220    18700   130900 | 2147483647     7557     62 |  0.002 % |
1.47/1.53	c |     11624 |     220    18700   130900 | 2147483647     7838     62 |  0.002 % |
1.47/1.55	c |     11725 |     220    18700   130900 | 2147483647     7939     62 |  0.002 % |
1.47/1.56	c |     11836 |     220    18700   130900 | 2147483647     8050     62 |  0.002 % |
1.47/1.58	c |     11958 |     220    18700   130900 | 2147483647     8172     62 |  0.002 % |
1.57/1.60	c |     12091 |     220    18700   130900 | 2147483647     8305     62 |  0.002 % |
1.57/1.62	c |     12237 |     220    18700   130900 | 2147483647     8451     62 |  0.002 % |
1.57/1.65	c |     12398 |     220    18700   130900 | 2147483647     8612     62 |  0.002 % |
1.57/1.67	c |     12575 |     220    18700   130900 | 2147483647     8789     62 |  0.002 % |
1.67/1.70	c |     12768 |     220    18700   130900 | 2147483647     8982     62 |  0.002 % |
1.67/1.73	c |     12980 |     220    18700   130900 | 2147483647     9194     62 |  0.002 % |
1.67/1.77	c |     13214 |     220    18700   130900 | 2147483647     9428     62 |  0.002 % |
1.77/1.81	c |     13473 |     220    18700   130900 | 2147483647     9687     62 |  0.002 % |
1.77/1.86	c |     13754 |     220    18700   130900 | 2147483647     9968     62 |  0.002 % |
1.87/1.91	c |     14065 |     220    18700   130900 | 2147483647    10279     62 |  0.002 % |
1.87/1.93	c |     14165 |     220    18700   130900 | 2147483647    10379     62 |  0.002 % |
1.87/1.95	c |     14276 |     220    18700   130900 | 2147483647    10490     62 |  0.002 % |
1.87/1.97	c |     14399 |     220    18700   130900 | 2147483647    10613     62 |  0.002 % |
1.87/1.99	c |     14533 |     220    18700   130900 | 2147483647    10747     62 |  0.002 % |
1.96/2.02	c |     14679 |     220    18700   130900 | 2147483647    10893     62 |  0.002 % |
1.96/2.05	c |     14839 |     220    18700   130900 | 2147483647    11053     62 |  0.002 % |
1.96/2.09	c |     15016 |     220    18700   130900 | 2147483647    11230     62 |  0.002 % |
2.07/2.12	c |     15210 |     220    18700   130900 | 2147483647    11424     62 |  0.002 % |
2.07/2.16	c |     15424 |     220    18700   130900 | 2147483647    11638     62 |  0.002 % |
2.17/2.21	c |     15657 |     220    18700   130900 | 2147483647    11871     62 |  0.002 % |
2.17/2.25	c |     15913 |     220    18700   130900 | 2147483647    12127     62 |  0.002 % |
2.27/2.31	c |     16195 |     220    18700   130900 | 2147483647    12409     62 |  0.002 % |
2.27/2.36	c |     16507 |     220    18700   130900 | 2147483647    12721     62 |  0.002 % |
2.37/2.43	c |     16847 |     220    18700   130900 | 2147483647    13061     62 |  0.002 % |
2.37/2.45	c |     16947 |     220    18700   130900 | 2147483647    13161     62 |  0.002 % |
2.37/2.48	c |     17057 |     220    18700   130900 | 2147483647    13271     62 |  0.002 % |
2.47/2.50	c |     17178 |     220    18700   130900 | 2147483647    13392     62 |  0.002 % |
2.47/2.53	c |     17312 |     220    18700   130900 | 2147483647    13526     62 |  0.002 % |
2.47/2.56	c |     17458 |     220    18700   130900 | 2147483647    13672     62 |  0.002 % |
2.47/2.59	c |     17619 |     220    18700   130900 | 2147483647    13833     62 |  0.002 % |
2.57/2.64	c |     17795 |     220    18700   130900 | 2147483647    14009     62 |  0.002 % |
2.57/2.68	c |     17988 |     220    18700   130900 | 2147483647    14202     62 |  0.002 % |
2.67/2.72	c |     18203 |     220    18700   130900 | 2147483647    14417     62 |  0.002 % |
2.67/2.77	c |     18438 |     220    18700   130900 | 2147483647    14652     62 |  0.002 % |
2.77/2.82	c |     18694 |     220    18700   130900 | 2147483647    14908     62 |  0.002 % |
2.77/2.88	c |     18975 |     220    18700   130900 | 2147483647    15189     62 |  0.002 % |
2.87/2.94	c |     19284 |     220    18700   130900 | 2147483647    15498     62 |  0.002 % |
2.97/3.02	c |     19623 |     220    18700   130900 | 2147483647    15837     62 |  0.002 % |
2.97/3.10	c |     19995 |     220    18700   130900 | 2147483647    16209     62 |  0.002 % |
3.07/3.12	c |     20096 |     220    18700   130900 | 2147483647    16310     62 |  0.002 % |
3.07/3.15	c |     20206 |     220    18700   130900 | 2147483647    16420     62 |  0.002 % |
3.07/3.18	c |     20328 |     220    18700   130900 | 2147483647    16542     62 |  0.002 % |
3.17/3.22	c |     20461 |     220    18700   130900 | 2147483647    16675     62 |  0.002 % |
3.17/3.25	c |     20608 |     220    18700   130900 | 2147483647    16822     62 |  0.002 % |
3.17/3.29	c |     20768 |     220    18700   130900 | 2147483647    16982     62 |  0.002 % |
3.27/3.34	c |     20946 |     220    18700   130900 | 2147483647    17160     62 |  0.002 % |
3.27/3.38	c |     21139 |     220    18700   130900 | 2147483647    17353     62 |  0.002 % |
3.37/3.43	c |     21351 |     220    18700   130900 | 2147483647    17565     62 |  0.002 % |
3.37/3.49	c |     21584 |     220    18700   130900 | 2147483647    17798     62 |  0.002 % |
3.47/3.55	c |     21840 |     220    18700   130900 | 2147483647    18054     62 |  0.002 % |
3.57/3.62	c |     22122 |     220    18700   130900 | 2147483647    18336     62 |  0.002 % |
3.67/3.70	c |     22431 |     220    18700   130900 | 2147483647    18645     62 |  0.002 % |
3.67/3.78	c |     22772 |     220    18700   130900 | 2147483647    18986     62 |  0.002 % |
3.77/3.87	c |     23145 |     220    18700   130900 | 2147483647    19359     62 |  0.002 % |
3.87/3.97	c |     23556 |     220    18700   130900 | 2147483647    19770     62 |  0.002 % |
3.97/4.00	c |     23657 |     220    18700   130900 | 2147483647    19871     62 |  0.002 % |
3.97/4.04	c |     23767 |     220    18700   130900 | 2147483647    19981     62 |  0.002 % |
3.97/4.07	c |     23891 |     220    18700   130900 | 2147483647    20105     62 |  0.002 % |
4.07/4.11	c |     24025 |     220    18700   130900 | 2147483647    20239     62 |  0.002 % |
4.07/4.15	c |     24175 |     220    18700   130900 | 2147483647    20389     62 |  0.002 % |
4.17/4.20	c |     24335 |     220    18700   130900 | 2147483647    20549     62 |  0.002 % |
4.17/4.24	c |     24511 |     220    18700   130900 | 2147483647    20725     62 |  0.002 % |
4.17/4.30	c |     24706 |     220    18700   130900 | 2147483647    20920     62 |  0.002 % |
4.27/4.36	c |     24919 |     220    18700   130900 | 2147483647    21133     62 |  0.002 % |
4.37/4.43	c |     25152 |     220    18700   130900 | 2147483647    21366     62 |  0.002 % |
4.46/4.50	c |     25408 |     220    18700   130900 | 2147483647    21622     62 |  0.002 % |
4.46/4.58	c |     25690 |     220    18700   130900 | 2147483647    21904     62 |  0.002 % |
4.57/4.67	c |     25999 |     220    18700   130900 | 2147483647    22213     62 |  0.002 % |
4.67/4.77	c |     26339 |     220    18700   130900 | 2147483647    22553     62 |  0.002 % |
4.77/4.88	c |     26712 |     220    18700   130900 | 2147483647    22926     62 |  0.002 % |
4.87/5.00	c |     27121 |     220    18700   130900 | 2147483647    23335     62 |  0.002 % |
5.07/5.13	c |     27570 |     220    18700   130900 | 2147483647    23784     62 |  0.002 % |
5.07/5.17	c |     27671 |     220    18700   130900 | 2147483647    23885     62 |  0.002 % |
5.17/5.21	c |     27782 |     220    18700   130900 | 2147483647    23996     62 |  0.002 % |
5.17/5.24	c |     27903 |     220    18700   130900 | 2147483647    24117     62 |  0.002 % |
5.17/5.28	c |     28036 |     220    18700   130900 | 2147483647    24250     62 |  0.002 % |
5.27/5.34	c |     28183 |     220    18700   130900 | 2147483647    24397     62 |  0.002 % |
5.27/5.39	c |     28344 |     220    18700   130900 | 2147483647    24558     62 |  0.002 % |
5.38/5.44	c |     28520 |     220    18700   130900 | 2147483647    24734     62 |  0.002 % |
5.47/5.51	c |     28713 |     220    18700   130900 | 2147483647    24927     62 |  0.002 % |
5.47/5.59	c |     28927 |     220    18700   130900 | 2147483647    25141     62 |  0.002 % |
5.57/5.68	c |     29160 |     220    18700   130900 | 2147483647    25374     62 |  0.002 % |
5.67/5.76	c |     29416 |     220    18700   130900 | 2147483647    25630     62 |  0.002 % |
5.77/5.85	c |     29697 |     220    18700   130900 | 2147483647    25911     62 |  0.002 % |
5.87/5.95	c |     30006 |     220    18700   130900 | 2147483647    26220     62 |  0.002 % |
5.97/6.08	c |     30345 |     220    18700   130900 | 2147483647    26559     62 |  0.002 % |
6.17/6.21	c |     30717 |     220    18700   130900 | 2147483647    26931     62 |  0.002 % |
6.27/6.35	c |     31129 |     220    18700   130900 | 2147483647    27343     62 |  0.002 % |
6.37/6.50	c |     31578 |     220    18700   130900 | 2147483647    27792     62 |  0.002 % |
6.57/6.68	c |     32072 |     220    18700   130900 | 2147483647    28286     62 |  0.002 % |
6.66/6.72	c |     32174 |     220    18700   130900 | 2147483647    28388     62 |  0.002 % |
6.66/6.76	c |     32284 |     220    18700   130900 | 2147483647    28498     62 |  0.002 % |
6.76/6.80	c |     32407 |     220    18700   130900 | 2147483647    28621     62 |  0.002 % |
6.76/6.85	c |     32540 |     220    18700   130900 | 2147483647    28754     62 |  0.002 % |
6.86/6.90	c |     32686 |     220    18700   130900 | 2147483647    28900     62 |  0.002 % |
6.86/6.96	c |     32847 |     220    18700   130900 | 2147483647    29061     62 |  0.002 % |
6.96/7.03	c |     33023 |     220    18700   130900 | 2147483647    29237     62 |  0.002 % |
6.96/7.10	c |     33216 |     220    18700   130900 | 2147483647    29430     62 |  0.002 % |
7.06/7.17	c |     33429 |     220    18700   130900 | 2147483647    29643     62 |  0.002 % |
7.16/7.24	c |     33663 |     220    18700   130900 | 2147483647    29877     62 |  0.002 % |
7.26/7.33	c |     33919 |     220    18700   130900 | 2147483647    30133     62 |  0.002 % |
7.36/7.44	c |     34201 |     220    18700   130900 | 2147483647    30415     62 |  0.002 % |
7.46/7.54	c |     34512 |     220    18700   130900 | 2147483647    30726     62 |  0.002 % |
7.57/7.68	c |     34851 |     220    18700   130900 | 2147483647    31065     62 |  0.002 % |
7.76/7.83	c |     35225 |     220    18700   130900 | 2147483647    31439     62 |  0.002 % |
7.96/8.00	c |     35634 |     220    18700   130900 | 2147483647    31848     62 |  0.002 % |
8.06/8.17	c |     36083 |     220    18700   130900 | 2147483647    32297     62 |  0.002 % |
8.26/8.39	c |     36576 |     220    18700   130900 | 2147483647    32790     62 |  0.002 % |
8.57/8.62	c |     37119 |     220    18700   130900 | 2147483647    33333     62 |  0.002 % |
8.57/8.66	c |     37220 |     220    18700   130900 | 2147483647    33434     62 |  0.002 % |
8.67/8.71	c |     37331 |     220    18700   130900 | 2147483647    33545     62 |  0.002 % |
8.67/8.76	c |     37455 |     220    18700   130900 | 2147483647    33669     62 |  0.002 % |
8.77/8.82	c |     37590 |     220    18700   130900 | 2147483647    33804     62 |  0.002 % |
8.87/8.90	c |     37736 |     220    18700   130900 | 2147483647    33950     62 |  0.002 % |
8.87/8.97	c |     37896 |     220    18700   130900 | 2147483647    34110     62 |  0.002 % |
8.97/9.04	c |     38072 |     220    18700   130900 | 2147483647    34286     62 |  0.002 % |
9.07/9.13	c |     38266 |     220    18700   130900 | 2147483647    34480     62 |  0.002 % |
9.17/9.22	c |     38478 |     220    18700   130900 | 2147483647    34692     62 |  0.002 % |
9.27/9.32	c |     38712 |     220    18700   130900 | 2147483647    34926     62 |  0.002 % |
9.36/9.43	c |     38969 |     220    18700   130900 | 2147483647    35183     62 |  0.002 % |
9.46/9.56	c |     39250 |     220    18700   130900 | 2147483647    35464     62 |  0.002 % |
9.56/9.69	c |     39559 |     220    18700   130900 | 2147483647    35773     62 |  0.002 % |
9.77/9.85	c |     39898 |     220    18700   130900 | 2147483647    36112     62 |  0.002 % |
9.96/10.01	c |     40270 |     220    18700   130900 | 2147483647    36484     62 |  0.002 % |
10.06/10.19	c |     40679 |     220    18700   130900 | 2147483647    36893     62 |  0.002 % |
10.26/10.38	c |     41128 |     220    18700   130900 | 2147483647    37342     62 |  0.002 % |
10.46/10.59	c |     41622 |     220    18700   130900 | 2147483647    37836     62 |  0.002 % |
10.76/10.83	c |     42165 |     220    18700   130900 | 2147483647    38379     62 |  0.002 % |
11.06/11.10	c |     42762 |     220    18700   130900 | 2147483647    38976     62 |  0.002 % |
11.06/11.14	c |     42863 |     220    18700   130900 | 2147483647    39077     62 |  0.002 % |
11.06/11.18	c |     42974 |     220    18700   130900 | 2147483647    39188     62 |  0.002 % |
11.16/11.24	c |     43095 |     220    18700   130900 | 2147483647    39309     62 |  0.002 % |
11.26/11.34	c |     43230 |     220    18700   130900 | 2147483647    39444     62 |  0.002 % |
11.36/11.42	c |     43377 |     220    18700   130900 | 2147483647    39591     62 |  0.002 % |
11.46/11.51	c |     43537 |     220    18700   130900 | 2147483647    39751     62 |  0.002 % |
11.56/11.61	c |     43714 |     220    18700   130900 | 2147483647    39928     62 |  0.002 % |
11.66/11.72	c |     43909 |     220    18700   130900 | 2147483647    40123     62 |  0.002 % |
11.76/11.83	c |     44121 |     220    18700   130900 | 2147483647    40335     62 |  0.002 % |
11.86/11.93	c |     44354 |     220    18700   130900 | 2147483647    40568     62 |  0.002 % |
11.96/12.04	c |     44611 |     220    18700   130900 | 2147483647    40825     62 |  0.002 % |
12.06/12.17	c |     44893 |     220    18700   130900 | 2147483647    41107     62 |  0.002 % |
12.26/12.31	c |     45204 |     220    18700   130900 | 2147483647    41418     62 |  0.002 % |
12.36/12.45	c |     45543 |     220    18700   130900 | 2147483647    41757     62 |  0.002 % |
12.56/12.67	c |     45917 |     220    18700   130900 | 2147483647    42131     62 |  0.002 % |
12.76/12.88	c |     46327 |     220    18700   130900 | 2147483647    42541     62 |  0.002 % |
12.96/13.09	c |     46777 |     220    18700   130900 | 2147483647    42991     62 |  0.002 % |
13.27/13.34	c |     47271 |     220    18700   130900 | 2147483647    43485     62 |  0.002 % |
13.56/13.63	c |     47813 |     220    18700   130900 | 2147483647    44027     62 |  0.002 % |
13.86/13.92	c |     48410 |     220    18700   130900 | 2147483647    44624     62 |  0.002 % |
14.17/14.25	c |     49065 |     220    18700   130900 | 2147483647    45279     62 |  0.002 % |
14.27/14.33	c |     49165 |     220    18700   130900 | 2147483647    45379     62 |  0.002 % |
14.36/14.40	c |     49276 |     220    18700   130900 | 2147483647    45490     62 |  0.002 % |
14.36/14.46	c |     49399 |     220    18700   130900 | 2147483647    45613     62 |  0.002 % |
14.46/14.54	c |     49533 |     220    18700   130900 | 2147483647    45747     62 |  0.002 % |
14.56/14.64	c |     49679 |     220    18700   130900 | 2147483647    45893     62 |  0.002 % |
14.66/14.74	c |     49839 |     220    18700   130900 | 2147483647    46053     62 |  0.002 % |
14.76/14.85	c |     50018 |     220    18700   130900 | 2147483647    46232     62 |  0.002 % |
14.86/14.98	c |     50211 |     220    18700   130900 | 2147483647    46425     62 |  0.002 % |
15.06/15.10	c |     50423 |     220    18700   130900 | 2147483647    46637     62 |  0.002 % |
15.16/15.23	c |     50658 |     220    18700   130900 | 2147483647    46872     62 |  0.002 % |
15.27/15.37	c |     50915 |     220    18700   130900 | 2147483647    47129     62 |  0.002 % |
15.46/15.51	c |     51197 |     220    18700   130900 | 2147483647    47411     62 |  0.002 % |
15.56/15.68	c |     51507 |     220    18700   130900 | 2147483647    47721     62 |  0.002 % |
15.86/15.91	c |     51849 |     220    18700   130900 | 2147483647    48063     62 |  0.002 % |
16.06/16.11	c |     52221 |     220    18700   130900 | 2147483647    48435     62 |  0.002 % |
16.26/16.34	c |     52633 |     220    18700   130900 | 2147483647    48847     62 |  0.002 % |
16.56/16.60	c |     53082 |     220    18700   130900 | 2147483647    49296     62 |  0.002 % |
16.86/16.92	c |     53576 |     220    18700   130900 | 2147483647    49790     62 |  0.002 % |
17.16/17.24	c |     54118 |     220    18700   130900 | 2147483647    50332     62 |  0.002 % |
17.46/17.59	c |     54715 |     220    18700   130900 | 2147483647    50929     62 |  0.002 % |
17.86/17.96	c |     55370 |     220    18700   130900 | 2147483647    51584     62 |  0.002 % |
18.26/18.36	c |     56090 |     220    18700   130900 | 2147483647    52304     62 |  0.002 % |
18.36/18.43	c |     56190 |     220    18700   130900 | 2147483647    52404     62 |  0.002 % |
18.46/18.52	c |     56305 |     220    18700   130900 | 2147483647    52519     62 |  0.002 % |
18.56/18.60	c |     56428 |     220    18700   130900 | 2147483647    52642     62 |  0.002 % |
18.56/18.69	c |     56561 |     220    18700   130900 | 2147483647    52775     62 |  0.002 % |
18.66/18.80	c |     56707 |     220    18700   130900 | 2147483647    52921     62 |  0.002 % |
18.86/18.90	c |     56868 |     220    18700   130900 | 2147483647    53082     62 |  0.002 % |
18.96/19.03	c |     57046 |     220    18700   130900 | 2147483647    53260     62 |  0.002 % |
19.06/19.19	c |     57242 |     220    18700   130900 | 2147483647    53456     62 |  0.002 % |
19.26/19.32	c |     57454 |     220    18700   130900 | 2147483647    53668     62 |  0.002 % |
19.36/19.48	c |     57690 |     220    18700   130900 | 2147483647    53904     62 |  0.002 % |
19.56/19.64	c |     57946 |     220    18700   130900 | 2147483647    54160     62 |  0.002 % |
19.66/19.79	c |     58227 |     220    18700   130900 | 2147483647    54441     62 |  0.002 % |
19.85/19.99	c |     58536 |     220    18700   130900 | 2147483647    54750     62 |  0.002 % |
20.15/20.23	c |     58876 |     220    18700   130900 | 2147483647    55090     62 |  0.002 % |
20.35/20.49	c |     59248 |     220    18700   130900 | 2147483647    55462     62 |  0.002 % |
20.65/20.75	c |     59657 |     220    18700   130900 | 2147483647    55871     62 |  0.002 % |
20.95/21.05	c |     60108 |     220    18700   130900 | 2147483647    56322     62 |  0.002 % |
21.25/21.36	c |     60603 |     220    18700   130900 | 2147483647    56817     62 |  0.002 % |
21.66/21.71	c |     61145 |     220    18700   130900 | 2147483647    57359     62 |  0.002 % |
21.96/22.07	c |     61742 |     220    18700   130900 | 2147483647    57956     62 |  0.002 % |
22.36/22.48	c |     62399 |     220    18700   130900 | 2147483647    58613     62 |  0.002 % |
22.76/22.89	c |     63119 |     220    18700   130900 | 2147483647    59333     62 |  0.002 % |
23.26/23.35	c |     63912 |     220    18700   130900 | 2147483647    60126     62 |  0.002 % |
23.36/23.41	c |     64012 |     220    18700   130900 | 2147483647    60226     62 |  0.002 % |
23.46/23.51	c |     64125 |     220    18700   130900 | 2147483647    60339     62 |  0.002 % |
23.56/23.60	c |     64246 |     220    18700   130900 | 2147483647    60460     62 |  0.002 % |
23.66/23.70	c |     64379 |     220    18700   130900 | 2147483647    60593     62 |  0.002 % |
23.76/23.81	c |     64525 |     220    18700   130900 | 2147483647    60739     62 |  0.002 % |
23.86/23.93	c |     64686 |     220    18700   130900 | 2147483647    60900     62 |  0.002 % |
23.96/24.07	c |     64862 |     220    18700   130900 | 2147483647    61076     62 |  0.002 % |
24.16/24.21	c |     65056 |     220    18700   130900 | 2147483647    61270     62 |  0.002 % |
24.26/24.38	c |     65268 |     220    18700   130900 | 2147483647    61482     62 |  0.002 % |
24.46/24.54	c |     65501 |     220    18700   130900 | 2147483647    61715     62 |  0.002 % |
24.65/24.75	c |     65757 |     220    18700   130900 | 2147483647    61971     62 |  0.002 % |
24.85/24.96	c |     66040 |     220    18700   130900 | 2147483647    62254     62 |  0.002 % |
25.05/25.20	c |     66350 |     220    18700   130900 | 2147483647    62564     62 |  0.002 % |
25.35/25.44	c |     66689 |     220    18700   130900 | 2147483647    62903     62 |  0.002 % |
25.65/25.71	c |     67062 |     220    18700   130900 | 2147483647    63276     62 |  0.002 % |
25.95/26.03	c |     67471 |     220    18700   130900 | 2147483647    63685     62 |  0.002 % |
26.26/26.35	c |     67920 |     220    18700   130900 | 2147483647    64134     62 |  0.002 % |
26.65/26.71	c |     68414 |     220    18700   130900 | 2147483647    64628     62 |  0.002 % |
26.95/27.08	c |     68959 |     220    18700   130900 | 2147483647    65173     62 |  0.002 % |
27.45/27.50	c |     69558 |     220    18700   130900 | 2147483647    65772     62 |  0.002 % |
27.95/28.03	c |     70213 |     220    18700   130900 | 2147483647    66427     62 |  0.002 % |
28.45/28.55	c |     70933 |     220    18700   130900 | 2147483647    67147     62 |  0.002 % |
29.05/29.15	c |     71726 |     220    18700   130900 | 2147483647    67940     62 |  0.002 % |
29.66/29.80	c |     72597 |     220    18700   130900 | 2147483647    68811     62 |  0.002 % |
29.86/29.90	c |     72697 |     220    18700   130900 | 2147483647    68911     62 |  0.002 % |
29.86/30.00	c |     72808 |     220    18700   130900 | 2147483647    69022     62 |  0.002 % |
30.06/30.11	c |     72930 |     220    18700   130900 | 2147483647    69144     62 |  0.002 % |
30.16/30.21	c |     73065 |     220    18700   130900 | 2147483647    69279     62 |  0.002 % |
30.26/30.35	c |     73211 |     220    18700   130900 | 2147483647    69425     62 |  0.002 % |
30.36/30.50	c |     73371 |     220    18700   130900 | 2147483647    69585     62 |  0.002 % |
30.56/30.66	c |     73548 |     220    18700   130900 | 2147483647    69762     62 |  0.002 % |
30.76/30.85	c |     73744 |     220    18700   130900 | 2147483647    69958     62 |  0.002 % |
30.96/31.06	c |     73956 |     220    18700   130900 | 2147483647    70170     62 |  0.002 % |
31.16/31.27	c |     74189 |     220    18700   130900 | 2147483647    70403     62 |  0.002 % |
31.35/31.46	c |     74445 |     220    18700   130900 | 2147483647    70659     62 |  0.002 % |
31.55/31.69	c |     74727 |     220    18700   130900 | 2147483647    70941     62 |  0.002 % |
31.86/31.92	c |     75038 |     220    18700   130900 | 2147483647    71252     62 |  0.002 % |
32.15/32.24	c |     75378 |     220    18700   130900 | 2147483647    71592     62 |  0.002 % |
32.45/32.57	c |     75751 |     220    18700   130900 | 2147483647    71965     62 |  0.002 % |
32.86/32.95	c |     76162 |     220    18700   130900 | 2147483647    72376     62 |  0.002 % |
33.25/33.33	c |     76613 |     220    18700   130900 | 2147483647    72827     62 |  0.002 % |
33.55/33.68	c |     77106 |     220    18700   130900 | 2147483647    73320     62 |  0.002 % |
33.96/34.09	c |     77648 |     220    18700   130900 | 2147483647    73862     62 |  0.002 % |
34.45/34.55	c |     78245 |     220    18700   130900 | 2147483647    74459     62 |  0.002 % |
34.95/35.04	c |     78900 |     220    18700   130900 | 2147483647    75114     62 |  0.002 % |
35.55/35.63	c |     79621 |     220    18700   130900 | 2147483647    75835     62 |  0.002 % |
36.15/36.20	c |     80415 |     220    18700   130900 | 2147483647    76629     62 |  0.002 % |
36.75/36.85	c |     81286 |     220    18700   130900 | 2147483647    77500     62 |  0.002 % |
37.55/37.62	c |     82245 |     220    18700   130900 | 2147483647    78459     62 |  0.002 % |
37.55/37.70	c |     82347 |     220    18700   130900 | 2147483647    78561     62 |  0.002 % |
37.65/37.79	c |     82458 |     220    18700   130900 | 2147483647    78672     62 |  0.002 % |
37.85/37.91	c |     82580 |     220    18700   130900 | 2147483647    78794     62 |  0.002 % |
37.95/38.10	c |     82713 |     220    18700   130900 | 2147483647    78927     62 |  0.002 % |
38.15/38.24	c |     82859 |     220    18700   130900 | 2147483647    79073     62 |  0.002 % |
38.25/38.37	c |     83019 |     220    18700   130900 | 2147483647    79233     62 |  0.002 % |
38.45/38.54	c |     83195 |     220    18700   130900 | 2147483647    79409     62 |  0.002 % |
38.64/38.74	c |     83388 |     220    18700   130900 | 2147483647    79602     62 |  0.002 % |
38.84/38.93	c |     83600 |     220    18700   130900 | 2147483647    79814     62 |  0.002 % |
39.04/39.17	c |     83837 |     220    18700   130900 | 2147483647    80051     62 |  0.002 % |
39.34/39.41	c |     84095 |     220    18700   130900 | 2147483647    80309     62 |  0.002 % |
39.64/39.71	c |     84376 |     220    18700   130900 | 2147483647    80590     62 |  0.002 % |
39.94/40.01	c |     84687 |     220    18700   130900 | 2147483647    80901     62 |  0.002 % |
40.24/40.33	c |     85027 |     220    18700   130900 | 2147483647    81241     62 |  0.002 % |
40.65/40.73	c |     85400 |     220    18700   130900 | 2147483647    81614     62 |  0.002 % |
41.04/41.12	c |     85810 |     220    18700   130900 | 2147483647    82024     62 |  0.002 % |
41.44/41.55	c |     86259 |     220    18700   130900 | 2147483647    82473     62 |  0.002 % |
41.84/41.99	c |     86753 |     220    18700   130900 | 2147483647    82967     62 |  0.002 % |
42.34/42.48	c |     87297 |     220    18700   130900 | 2147483647    83511     62 |  0.002 % |
42.95/43.00	c |     87893 |     220    18700   130900 | 2147483647    84107     62 |  0.002 % |
43.45/43.59	c |     88548 |     220    18700   130900 | 2147483647    84762     62 |  0.002 % |
44.35/44.40	c |     89270 |     220    18700   130900 | 2147483647    85484     62 |  0.002 % |
45.15/45.20	c |     90063 |     220    18700   130900 |    86216    86277     62 |  0.002 % |
45.95/46.07	c |     90934 |     220    18700   130900 |    86216    75075     62 |  0.002 % |
46.84/46.93	c |     91893 |     220    18700   130900 |    86216    76034     62 |  0.002 % |
47.64/47.76	c |     92947 |     220    18700   130900 |    86216    77088     62 |  0.002 % |
47.74/47.85	c |     93047 |     220    18700   130900 |    86216    77188     62 |  0.002 % |
47.84/47.98	c |     93157 |     220    18700   130900 |    86216    77298     62 |  0.002 % |
48.04/48.12	c |     93280 |     220    18700   130900 |    86216    77421     62 |  0.002 % |
48.14/48.24	c |     93415 |     220    18700   130900 |    86216    77556     62 |  0.002 % |
48.25/48.38	c |     93562 |     220    18700   130900 |    86216    77703     62 |  0.002 % |
48.44/48.56	c |     93722 |     220    18700   130900 |    86216    77863     62 |  0.002 % |
48.64/48.72	c |     93899 |     220    18700   130900 |    86216    78040     62 |  0.002 % |
48.84/48.91	c |     94092 |     220    18700   130900 |    86216    78233     62 |  0.002 % |
49.04/49.14	c |     94304 |     220    18700   130900 |    86216    78445     62 |  0.002 % |
49.24/49.35	c |     94538 |     220    18700   130900 |    86216    78679     62 |  0.002 % |
49.54/49.63	c |     94796 |     220    18700   130900 |    86216    78937     62 |  0.002 % |
49.84/49.91	c |     95078 |     220    18700   130900 |    86216    79219     62 |  0.002 % |
50.14/50.22	c |     95387 |     220    18700   130900 |    86216    79528     62 |  0.002 % |
50.45/50.54	c |     95727 |     220    18700   130900 |    86216    79868     62 |  0.002 % |
50.74/50.87	c |     96099 |     220    18700   130900 |    86216    80240     62 |  0.002 % |
51.14/51.29	c |     96509 |     220    18700   130900 |    86216    80650     62 |  0.002 % |
51.64/51.77	c |     96958 |     220    18700   130900 |    86216    81099     62 |  0.002 % |
52.14/52.21	c |     97451 |     220    18700   130900 |    86216    81592     62 |  0.002 % |
52.54/52.69	c |     97994 |     220    18700   130900 |    86216    82135     62 |  0.002 % |
53.14/53.20	c |     98591 |     220    18700   130900 |    86216    82732     62 |  0.002 % |
53.74/53.90	c |     99247 |     220    18700   130900 |    86216    83388     62 |  0.002 % |
54.44/54.59	c |     99968 |     220    18700   130900 |    86216    84109     62 |  0.002 % |
55.24/55.31	c |    100760 |     220    18700   130900 |    84142    71830     62 |  0.002 % |
55.84/55.97	c |    101631 |     220    18700   130900 |    84142    72701     62 |  0.002 % |
56.54/56.68	c |    102589 |     220    18700   130900 |    84142    73659     62 |  0.002 % |
57.44/57.59	c |    103644 |     220    18700   130900 |    84142    74714     62 |  0.002 % |
58.34/58.47	c |    104804 |     220    18700   130900 |    84142    75874     62 |  0.002 % |
58.44/58.57	c |    104904 |     220    18700   130900 |    84142    75974     62 |  0.002 % |
58.54/58.65	c |    105015 |     220    18700   130900 |    84142    76085     62 |  0.002 % |
58.64/58.79	c |    105136 |     220    18700   130900 |    84142    76206     62 |  0.002 % |
58.84/58.91	c |    105271 |     220    18700   130900 |    84142    76341     62 |  0.002 % |
58.94/59.03	c |    105418 |     220    18700   130900 |    84142    76488     62 |  0.002 % |
59.04/59.18	c |    105578 |     220    18700   130900 |    84142    76648     62 |  0.002 % |
59.24/59.37	c |    105756 |     220    18700   130900 |    84142    76826     62 |  0.002 % |
59.44/59.53	c |    105951 |     220    18700   130900 |    84142    77021     62 |  0.002 % |
59.64/59.74	c |    106165 |     220    18700   130900 |    84142    77235     62 |  0.002 % |
59.84/59.97	c |    106400 |     220    18700   130900 |    84142    77470     62 |  0.002 % |
60.13/60.21	c |    106656 |     220    18700   130900 |    84142    77726     62 |  0.002 % |
60.34/60.45	c |    106938 |     220    18700   130900 |    84142    78008     62 |  0.002 % |
60.63/60.71	c |    107247 |     220    18700   130900 |    84142    78317     62 |  0.002 % |
60.93/61.02	c |    107587 |     220    18700   130900 |    84142    78657     62 |  0.002 % |
61.23/61.40	c |    107961 |     220    18700   130900 |    84142    79031     62 |  0.002 % |
61.63/61.78	c |    108370 |     220    18700   130900 |    84142    79440     62 |  0.002 % |
62.13/62.21	c |    108819 |     220    18700   130900 |    84142    79889     62 |  0.002 % |
62.54/62.66	c |    109312 |     220    18700   130900 |    84142    80382     62 |  0.002 % |
63.03/63.13	c |    109855 |     220    18700   130900 |    84142    80925     62 |  0.002 % |
63.64/63.71	c |    110452 |     220    18700   130900 |    81070    70200     62 |  0.002 % |
64.13/64.21	c |    111107 |     220    18700   130900 |    81070    70855     62 |  0.002 % |
64.63/64.74	c |    111827 |     220    18700   130900 |    81070    71575     62 |  0.002 % |
65.23/65.33	c |    112619 |     220    18700   130900 |    81070    72367     62 |  0.002 % |
65.83/65.96	c |    113490 |     220    18700   130900 |    81070    73238     62 |  0.002 % |
66.63/66.70	c |    114449 |     220    18700   130900 |    81070    74197     62 |  0.002 % |
67.43/67.50	c |    115503 |     220    18700   130900 |    81070    75251     62 |  0.002 % |
68.43/68.56	c |    116663 |     220    18700   130900 |    81070    76411     62 |  0.002 % |
69.53/69.63	c |    117938 |     220    18700   130900 |    81070    77686     62 |  0.002 % |
69.63/69.72	c |    118039 |     220    18700   130900 |    81070    77787     62 |  0.002 % |
69.73/69.83	c |    118149 |     220    18700   130900 |    81070    77897     62 |  0.002 % |
69.83/69.97	c |    118272 |     220    18700   130900 |    81070    78020     62 |  0.002 % |
69.93/70.08	c |    118405 |     220    18700   130900 |    81070    78153     62 |  0.002 % |
70.13/70.24	c |    118551 |     220    18700   130900 |    81070    78299     62 |  0.002 % |
70.33/70.42	c |    118713 |     220    18700   130900 |    81070    78461     62 |  0.002 % |
70.43/70.56	c |    118889 |     220    18700   130900 |    81070    78637     62 |  0.002 % |
70.63/70.75	c |    119083 |     220    18700   130900 |    81070    78831     62 |  0.002 % |
70.83/70.99	c |    119295 |     220    18700   130900 |    81070    79043     62 |  0.002 % |
71.13/71.22	c |    119529 |     220    18700   130900 |    81070    79277     62 |  0.002 % |
71.43/71.53	c |    119786 |     220    18700   130900 |    81070    79534     62 |  0.002 % |
71.63/71.78	c |    120067 |     220    18700   130900 |    79748    79815     62 |  0.002 % |
72.03/72.13	c |    120376 |     220    18700   130900 |    79748    70339     62 |  0.002 % |
72.33/72.43	c |    120715 |     220    18700   130900 |    79748    70678     62 |  0.002 % |
72.63/72.74	c |    121087 |     220    18700   130900 |    79748    71050     62 |  0.002 % |
73.03/73.14	c |    121497 |     220    18700   130900 |    79748    71460     62 |  0.002 % |
73.43/73.52	c |    121946 |     220    18700   130900 |    79748    71909     62 |  0.002 % |
73.83/74.00	c |    122439 |     220    18700   130900 |    79748    72402     62 |  0.002 % |
74.33/74.44	c |    122981 |     220    18700   130900 |    79748    72944     62 |  0.002 % |
74.83/74.92	c |    123578 |     220    18700   130900 |    79748    73541     62 |  0.002 % |
75.43/75.53	c |    124234 |     220    18700   130900 |    79748    74197     62 |  0.002 % |
76.03/76.12	c |    124954 |     220    18700   130900 |    79748    74917     62 |  0.002 % |
76.73/76.82	c |    125746 |     220    18700   130900 |    79748    75709     62 |  0.002 % |
77.42/77.51	c |    126618 |     220    18700   130900 |    79748    76581     62 |  0.002 % |
78.12/78.24	c |    127576 |     220    18700   130900 |    79748    77539     62 |  0.002 % |
79.13/79.29	c |    128630 |     220    18700   130900 |    79748    78593     62 |  0.002 % |
80.23/80.32	c |    129788 |     220    18700   130900 |    79748    79751     62 |  0.002 % |
81.22/81.37	c |    131063 |     220    18700   130900 |    69700    61924     62 |  0.002 % |
82.32/82.47	c |    132463 |     220    18700   130900 |    69700    63324     62 |  0.002 % |
82.42/82.55	c |    132563 |     220    18700   130900 |    69700    63424     62 |  0.002 % |
82.52/82.65	c |    132674 |     220    18700   130900 |    69700    63535     62 |  0.002 % |
82.62/82.75	c |    132795 |     220    18700   130900 |    69700    63656     62 |  0.002 % |
82.72/82.84	c |    132930 |     220    18700   130900 |    69700    63791     62 |  0.002 % |
82.82/82.96	c |    133077 |     220    18700   130900 |    69700    63938     62 |  0.002 % |
83.02/83.11	c |    133237 |     220    18700   130900 |    69700    64098     62 |  0.002 % |
83.12/83.26	c |    133414 |     220    18700   130900 |    69700    64275     62 |  0.002 % |
83.32/83.42	c |    133608 |     220    18700   130900 |    69700    64469     62 |  0.002 % |
83.42/83.56	c |    133820 |     220    18700   130900 |    69700    64681     62 |  0.002 % |
83.62/83.76	c |    134054 |     220    18700   130900 |    69700    64915     62 |  0.002 % |
83.92/84.02	c |    134310 |     220    18700   130900 |    69700    65171     62 |  0.002 % |
84.12/84.24	c |    134594 |     220    18700   130900 |    69700    65455     62 |  0.002 % |
84.42/84.52	c |    134905 |     220    18700   130900 |    69700    65766     62 |  0.002 % |
84.63/84.78	c |    135244 |     220    18700   130900 |    69700    66105     62 |  0.002 % |
84.93/85.09	c |    135617 |     220    18700   130900 |    69700    66478     62 |  0.002 % |
85.33/85.41	c |    136027 |     220    18700   130900 |    69700    66888     62 |  0.002 % |
85.73/85.81	c |    136476 |     220    18700   130900 |    69700    67337     62 |  0.002 % |
86.03/86.18	c |    136969 |     220    18700   130900 |    69700    67830     62 |  0.002 % |
86.43/86.58	c |    137511 |     220    18700   130900 |    69700    68372     62 |  0.002 % |
87.03/87.11	c |    138108 |     220    18700   130900 |    69700    68969     62 |  0.002 % |
87.53/87.66	c |    138764 |     220    18700   130900 |    69700    69625     62 |  0.002 % |
88.03/88.17	c |    139485 |     220    18700   130900 |    69700    63367     62 |  0.002 % |
88.63/88.71	c |    140278 |     220    18700   130900 | 2147483647    64160     62 |  0.002 % |
89.23/89.30	c |    141150 |     220    18700   130900 | 2147483647    65032     62 |  0.002 % |
89.83/89.95	c |    142108 |     220    18700   130900 | 2147483647    65990     62 |  0.002 % |
90.62/90.72	c |    143162 |     220    18700   130900 | 2147483647    67044     62 |  0.002 % |
91.42/91.56	c |    144321 |     220    18700   130900 | 2147483647    68203     62 |  0.002 % |
92.33/92.47	c |    145595 |     220    18700   130900 | 2147483647    69477     62 |  0.002 % |
93.62/93.77	c |    146996 |     220    18700   130900 | 2147483647    70878     62 |  0.002 % |
94.82/94.99	c |    148537 |     220    18700   130900 | 2147483647    72419     62 |  0.002 % |
95.02/95.11	c |    148637 |     220    18700   130900 | 2147483647    72519     62 |  0.002 % |
95.12/95.22	c |    148749 |     220    18700   130900 | 2147483647    72631     62 |  0.002 % |
95.22/95.34	c |    148871 |     220    18700   130900 | 2147483647    72753     62 |  0.002 % |
95.32/95.47	c |    149004 |     220    18700   130900 | 2147483647    72886     62 |  0.002 % |
95.52/95.64	c |    149151 |     220    18700   130900 | 2147483647    73033     62 |  0.002 % |
95.62/95.79	c |    149313 |     220    18700   130900 | 2147483647    73195     62 |  0.002 % |
95.82/95.96	c |    149490 |     220    18700   130900 | 2147483647    73372     62 |  0.002 % |
96.02/96.15	c |    149683 |     220    18700   130900 | 2147483647    73565     62 |  0.002 % |
96.22/96.33	c |    149896 |     220    18700   130900 | 2147483647    73778     62 |  0.002 % |
96.42/96.51	c |    150130 |     220    18700   130900 | 2147483647    74012     62 |  0.002 % |
96.62/96.74	c |    150386 |     220    18700   130900 | 2147483647    74268     62 |  0.002 % |
96.82/96.97	c |    150667 |     220    18700   130900 | 2147483647    74549     62 |  0.002 % |
97.12/97.21	c |    150977 |     220    18700   130900 | 2147483647    74859     62 |  0.002 % |
97.32/97.47	c |    151317 |     220    18700   130900 | 2147483647    75199     62 |  0.002 % |
97.62/97.76	c |    151689 |     220    18700   130900 | 2147483647    75571     62 |  0.002 % |
98.02/98.13	c |    152099 |     220    18700   130900 | 2147483647    75981     62 |  0.002 % |
98.42/98.59	c |    152550 |     220    18700   130900 | 2147483647    76432     62 |  0.002 % |
98.92/99.08	c |    153043 |     220    18700   130900 | 2147483647    76925     62 |  0.002 % |
99.52/99.69	c |    153587 |     220    18700   130900 | 2147483647    77469     62 |  0.002 % |
100.12/100.26	c |    154183 |     220    18700   130900 | 2147483647    78065     62 |  0.002 % |
100.72/100.83	c |    154839 |     220    18700   130900 | 2147483647    78721     62 |  0.002 % |
101.32/101.41	c |    155560 |     220    18700   130900 | 2147483647    79442     62 |  0.002 % |
102.02/102.17	c |    156353 |     220    18700   130900 | 2147483647    80235     62 |  0.002 % |
102.82/102.93	c |    157224 |     220    18700   130900 | 2147483647    81106     62 |  0.002 % |
103.62/103.70	c |    158182 |     220    18700   130900 | 2147483647    82064     62 |  0.002 % |
104.52/104.63	c |    159235 |     220    18700   130900 | 2147483647    83117     62 |  0.002 % |
105.52/105.64	c |    160394 |     220    18700   130900 |    83884    73100     62 |  0.002 % |
106.42/106.59	c |    161668 |     220    18700   130900 |    83884    74374     62 |  0.002 % |
107.52/107.61	c |    163068 |     220    18700   130900 |    83884    75774     62 |  0.002 % |
108.92/109.06	c |    164609 |     220    18700   130900 |    83884    77315     62 |  0.002 % |
110.42/110.55	c |    166304 |     220    18700   130900 |    83884    79010     62 |  0.002 % |
110.52/110.63	c |    166404 |     220    18700   130900 |    83884    79110     62 |  0.002 % |
110.62/110.73	c |    166514 |     220    18700   130900 |    83884    79220     62 |  0.002 % |
110.72/110.86	c |    166635 |     220    18700   130900 |    83884    79341     62 |  0.002 % |
110.82/110.99	c |    166768 |     220    18700   130900 |    83884    79474     62 |  0.002 % |
111.02/111.12	c |    166914 |     220    18700   130900 |    83884    79620     62 |  0.002 % |
111.11/111.28	c |    167076 |     220    18700   130900 |    83884    79782     62 |  0.002 % |
111.31/111.47	c |    167252 |     220    18700   130900 |    83884    79958     62 |  0.002 % |
111.51/111.65	c |    167446 |     220    18700   130900 |    83884    80152     62 |  0.002 % |
111.71/111.85	c |    167659 |     220    18700   130900 |    83884    80365     62 |  0.002 % |
111.91/112.05	c |    167894 |     220    18700   130900 |    83884    80600     62 |  0.002 % |
112.12/112.29	c |    168150 |     220    18700   130900 |    83884    80856     62 |  0.002 % |
112.41/112.56	c |    168432 |     220    18700   130900 |    83884    81138     62 |  0.002 % |
112.71/112.85	c |    168741 |     220    18700   130900 |    83884    81447     62 |  0.002 % |
113.01/113.18	c |    169080 |     220    18700   130900 |    83884    81786     62 |  0.002 % |
113.51/113.64	c |    169453 |     220    18700   130900 |    83884    82159     62 |  0.002 % |
114.01/114.10	c |    169863 |     220    18700   130900 |    83884    82569     62 |  0.002 % |
114.41/114.59	c |    170312 |     220    18700   130900 |    82709    71490     62 |  0.002 % |
114.91/115.00	c |    170806 |     220    18700   130900 |    82709    71984     62 |  0.002 % |
115.32/115.45	c |    171350 |     220    18700   130900 |    82709    72528     62 |  0.002 % |
115.81/115.91	c |    171948 |     220    18700   130900 |    82709    73126     62 |  0.002 % |
116.31/116.46	c |    172603 |     220    18700   130900 |    82709    73781     62 |  0.002 % |
116.91/117.01	c |    173324 |     220    18700   130900 |    82709    74502     62 |  0.002 % |
117.51/117.64	c |    174117 |     220    18700   130900 |    82709    75295     62 |  0.002 % |
118.11/118.28	c |    174988 |     220    18700   130900 |    82709    76166     62 |  0.002 % |
118.91/119.05	c |    175946 |     220    18700   130900 |    82709    77124     62 |  0.002 % |
119.71/119.84	c |    176999 |     220    18700   130900 |    82709    78177     62 |  0.002 % |
120.61/120.73	c |    178157 |     220    18700   130900 |    82709    79335     62 |  0.002 % |
121.51/121.69	c |    179430 |     220    18700   130900 |    82709    80608     62 |  0.002 % |
122.61/122.76	c |    180831 |     220    18700   130900 |    81181    71742     62 |  0.002 % |
123.61/123.75	c |    182371 |     220    18700   130900 |    81181    73282     62 |  0.002 % |
124.91/125.00	c |    184067 |     220    18700   130900 |    81181    74978     62 |  0.002 % |
126.61/126.72	c |    185933 |     220    18700   130900 |    81181    76844     62 |  0.002 % |
126.71/126.81	c |    186034 |     220    18700   130900 |    81181    76945     62 |  0.002 % |
126.81/126.91	c |    186144 |     220    18700   130900 |    81181    77055     62 |  0.002 % |
126.91/127.04	c |    186266 |     220    18700   130900 |    81181    77177     62 |  0.002 % |
127.01/127.17	c |    186401 |     220    18700   130900 |    81181    77312     62 |  0.002 % |
127.21/127.32	c |    186547 |     220    18700   130900 |    81181    77458     62 |  0.002 % |
127.41/127.52	c |    186707 |     220    18700   130900 |    81181    77618     62 |  0.002 % |
127.51/127.68	c |    186885 |     220    18700   130900 |    81181    77796     62 |  0.002 % |
127.71/127.87	c |    187079 |     220    18700   130900 |    81181    77990     62 |  0.002 % |
128.01/128.11	c |    187291 |     220    18700   130900 |    81181    78202     62 |  0.002 % |
128.20/128.34	c |    187525 |     220    18700   130900 |    81181    78436     62 |  0.002 % |
128.51/128.61	c |    187781 |     220    18700   130900 |    81181    78692     62 |  0.002 % |
128.70/128.89	c |    188064 |     220    18700   130900 |    81181    78975     62 |  0.002 % |
129.10/129.20	c |    188373 |     220    18700   130900 |    81181    79284     62 |  0.002 % |
129.40/129.55	c |    188712 |     220    18700   130900 |    81181    79623     62 |  0.002 % |
129.71/129.89	c |    189084 |     220    18700   130900 |    81181    79995     62 |  0.002 % |
130.20/130.31	c |    189493 |     220    18700   130900 |    81181    80404     62 |  0.002 % |
130.60/130.71	c |    189942 |     220    18700   130900 |    81181    80853     62 |  0.002 % |
131.00/131.14	c |    190436 |     220    18700   130900 |    80914    70830     62 |  0.002 % |
131.50/131.61	c |    190978 |     220    18700   130900 |    80914    71372     62 |  0.002 % |
131.90/132.06	c |    191576 |     220    18700   130900 |    80914    71970     62 |  0.002 % |
132.50/132.64	c |    192233 |     220    18700   130900 |    80914    72627     62 |  0.002 % |
133.10/133.24	c |    192955 |     220    18700   130900 |    80914    73349     63 |  0.002 % |
133.70/133.87	c |    193747 |     220    18700   130900 |    80914    74141     63 |  0.002 % |
134.40/134.57	c |    194619 |     220    18700   130900 |    80914    75013     63 |  0.002 % |
135.20/135.33	c |    195577 |     220    18700   130900 |    80914    75971     63 |  0.002 % |
136.10/136.28	c |    196632 |     220    18700   130900 |    80914    77026     63 |  0.002 % |
137.10/137.23	c |    197791 |     220    18700   130900 |    80914    78185     63 |  0.002 % |
138.20/138.33	c |    199066 |     220    18700   130900 |    80914    79460     63 |  0.002 % |
139.50/139.65	c |    200466 |     220    18700   130900 |    80394    70508     63 |  0.002 % |
140.60/140.77	c |    202006 |     220    18700   130900 |    80394    72048     63 |  0.002 % |
142.10/142.22	c |    203702 |     220    18700   130900 |    80394    73744     63 |  0.002 % |
143.60/143.73	c |    205565 |     220    18700   130900 |    80394    75607     63 |  0.002 % |
145.40/145.58	c |    207616 |     220    18700   130900 |    80394    77658     63 |  0.002 % |
145.50/145.68	c |    207716 |     220    18700   130900 |    80394    77758     63 |  0.002 % |
145.60/145.78	c |    207826 |     220    18700   130900 |    80394    77868     63 |  0.002 % |
145.70/145.88	c |    207948 |     220    18700   130900 |    80394    77990     63 |  0.002 % |
145.80/145.99	c |    208081 |     220    18700   130900 |    80394    78123     63 |  0.002 % |
146.00/146.15	c |    208229 |     220    18700   130900 |    80394    78271     63 |  0.002 % |
146.10/146.28	c |    208390 |     220    18700   130900 |    80394    78432     63 |  0.002 % |
146.30/146.45	c |    208567 |     220    18700   130900 |    80394    78609     63 |  0.002 % |
146.50/146.67	c |    208761 |     220    18700   130900 |    80394    78803     63 |  0.002 % |
146.70/146.87	c |    208973 |     220    18700   130900 |    80394    79015     63 |  0.002 % |
146.90/147.08	c |    209206 |     220    18700   130900 |    80394    79248     63 |  0.002 % |
147.20/147.31	c |    209465 |     220    18700   130900 |    80394    79507     63 |  0.002 % |
147.39/147.58	c |    209749 |     220    18700   130900 |    80394    79791     63 |  0.002 % |
147.69/147.85	c |    210058 |     220    18700   130900 |    80042    80100     63 |  0.002 % |
148.09/148.24	c |    210397 |     220    18700   130900 |    80042    70242     63 |  0.002 % |
148.40/148.58	c |    210772 |     220    18700   130900 |    80042    70617     63 |  0.002 % |
148.79/148.92	c |    211182 |     220    18700   130900 |    80042    71027     63 |  0.002 % |
149.09/149.26	c |    211631 |     220    18700   130900 |    80042    71476     63 |  0.002 % |
149.50/149.67	c |    212124 |     220    18700   130900 |    80042    71969     63 |  0.002 % |
149.89/150.07	c |    212667 |     220    18700   130900 |    80042    72512     63 |  0.002 % |
150.39/150.50	c |    213263 |     220    18700   130900 |    80042    73108     63 |  0.002 % |
150.89/151.05	c |    213919 |     220    18700   130900 |    80042    73764     63 |  0.002 % |
151.49/151.67	c |    214639 |     220    18700   130900 |    80042    74484     63 |  0.002 % |
152.09/152.29	c |    215432 |     220    18700   130900 |    80042    75277     63 |  0.002 % |
152.80/152.96	c |    216304 |     220    18700   130900 |    80042    76149     63 |  0.002 % |
153.59/153.74	c |    217264 |     220    18700   130900 |    80042    77109     63 |  0.002 % |
154.49/154.63	c |    218318 |     220    18700   130900 |    80042    78163     63 |  0.002 % |
155.39/155.54	c |    219477 |     220    18700   130900 |    80042    79322     63 |  0.002 % |
156.49/156.61	c |    220750 |     220    18700   130900 |    79846    71395     63 |  0.002 % |
157.59/157.71	c |    222150 |     220    18700   130900 |    79846    72795     63 |  0.002 % |
158.69/158.82	c |    223693 |     220    18700   130900 |    79846    74338     63 |  0.002 % |
159.89/160.06	c |    225387 |     220    18700   130900 |    79846    76032     63 |  0.002 % |
161.39/161.51	c |    227252 |     220    18700   130900 |    79846    77897     63 |  0.002 % |
162.99/163.14	c |    229301 |     220    18700   130900 |    79846    79946     63 |  0.002 % |
164.59/164.77	c |    231554 |     220    18700   130900 |    72012    65844     63 |  0.002 % |
164.69/164.86	c |    231655 |     220    18700   130900 |    72012    65945     63 |  0.002 % |
164.79/164.96	c |    231765 |     220    18700   130900 |    72012    66055     63 |  0.002 % |
164.89/165.05	c |    231886 |     220    18700   130900 |    72012    66176     63 |  0.002 % |
164.99/165.17	c |    232020 |     220    18700   130900 |    72012    66310     63 |  0.002 % |
165.19/165.30	c |    232166 |     220    18700   130900 |    72012    66456     63 |  0.002 % |
165.29/165.42	c |    232327 |     220    18700   130900 |    72012    66617     63 |  0.002 % |
165.39/165.54	c |    232503 |     220    18700   130900 |    72012    66793     63 |  0.002 % |
165.59/165.71	c |    232696 |     220    18700   130900 |    72012    66986     63 |  0.002 % |
165.69/165.90	c |    232911 |     220    18700   130900 |    72012    67201     63 |  0.002 % |
165.89/166.07	c |    233147 |     220    18700   130900 |    72012    67437     63 |  0.002 % |
166.09/166.25	c |    233403 |     220    18700   130900 |    72012    67693     63 |  0.002 % |
166.29/166.48	c |    233684 |     220    18700   130900 |    72012    67974     63 |  0.002 % |
166.59/166.71	c |    233995 |     220    18700   130900 |    72012    68285     63 |  0.002 % |
166.79/166.95	c |    234334 |     220    18700   130900 |    72012    68624     63 |  0.002 % |
167.09/167.24	c |    234707 |     220    18700   130900 |    72012    68997     63 |  0.002 % |
167.39/167.53	c |    235116 |     220    18700   130900 |    72012    69406     63 |  0.002 % |
167.69/167.84	c |    235565 |     220    18700   130900 |    72012    69855     63 |  0.002 % |
168.09/168.29	c |    236061 |     220    18700   130900 |    72012    70351     63 |  0.002 % |
168.59/168.74	c |    236606 |     220    18700   130900 |    72012    70896     63 |  0.002 % |
169.09/169.21	c |    237202 |     220    18700   130900 |    72012    71492     63 |  0.002 % |
169.59/169.73	c |    237857 |     220    18700   130900 |    72012    64936     63 |  0.002 % |
170.09/170.29	c |    238577 |     220    18700   130900 |    72012    65656     63 |  0.002 % |
170.79/170.91	c |    239369 |     220    18700   130900 |    72012    66448     63 |  0.002 % |
171.39/171.57	c |    240242 |     220    18700   130900 | 2147483647    67321     63 |  0.002 % |
172.08/172.25	c |    241203 |     220    18700   130900 | 2147483647    68282     63 |  0.002 % |
172.88/173.04	c |    242256 |     220    18700   130900 | 2147483647    69335     63 |  0.002 % |
173.69/173.88	c |    243415 |     220    18700   130900 | 2147483647    70494     63 |  0.002 % |
174.69/174.82	c |    244688 |     220    18700   130900 | 2147483647    71767     63 |  0.002 % |
175.68/175.84	c |    246088 |     220    18700   130900 | 2147483647    73167     63 |  0.002 % |
176.89/177.05	c |    247629 |     220    18700   130900 | 2147483647    74708     63 |  0.002 % |
178.18/178.39	c |    249323 |     220    18700   130900 | 2147483647    76402     63 |  0.002 % |
179.58/179.79	c |    251186 |     220    18700   130900 | 2147483647    78265     63 |  0.002 % |
181.18/181.31	c |    253235 |     220    18700   130900 | 2147483647    80314     63 |  0.002 % |
182.98/183.13	c |    255489 |     220    18700   130900 | 2147483647    82568     63 |  0.002 % |
184.89/185.07	c |    257967 |     220    18700   130900 | 2147483647    85046     63 |  0.002 % |
184.99/185.18	c |    258068 |     220    18700   130900 | 2147483647    85147     63 |  0.002 % |
185.19/185.32	c |    258179 |     220    18700   130900 | 2147483647    85258     63 |  0.002 % |
185.29/185.44	c |    258301 |     220    18700   130900 | 2147483647    85380     63 |  0.002 % |
185.39/185.57	c |    258434 |     220    18700   130900 | 2147483647    85513     63 |  0.002 % |
185.59/185.71	c |    258580 |     220    18700   130900 | 2147483647    85659     63 |  0.002 % |
185.79/185.90	c |    258740 |     220    18700   130900 | 2147483647    85819     63 |  0.002 % |
185.99/186.10	c |    258917 |     220    18700   130900 | 2147483647    85996     63 |  0.002 % |
186.19/186.32	c |    259110 |     220    18700   130900 | 2147483647    86189     63 |  0.002 % |
186.38/186.53	c |    259322 |     220    18700   130900 | 2147483647    86401     63 |  0.002 % |
186.58/186.77	c |    259555 |     220    18700   130900 | 2147483647    86634     63 |  0.002 % |
186.89/187.04	c |    259811 |     220    18700   130900 | 2147483647    86890     63 |  0.002 % |
187.18/187.37	c |    260093 |     220    18700   130900 |    87079    87172     63 |  0.002 % |
187.58/187.74	c |    260402 |     220    18700   130900 |    87079    76028     63 |  0.002 % |
187.89/188.04	c |    260741 |     220    18700   130900 |    87079    76367     63 |  0.002 % |
188.18/188.34	c |    261113 |     220    18700   130900 |    87079    76739     63 |  0.002 % |
188.58/188.72	c |    261522 |     220    18700   130900 |    87079    77148     63 |  0.002 % |
188.99/189.15	c |    261974 |     220    18700   130900 |    87079    77600     63 |  0.002 % |
189.48/189.61	c |    262470 |     220    18700   130900 |    87079    78096     63 |  0.002 % |
189.88/190.07	c |    263012 |     220    18700   130900 |    87079    78638     63 |  0.002 % |
190.48/190.64	c |    263612 |     220    18700   130900 |    87079    79238     63 |  0.002 % |
190.98/191.18	c |    264269 |     220    18700   130900 |    87079    79895     63 |  0.002 % |
191.68/191.81	c |    264990 |     220    18700   130900 |    87079    80616     63 |  0.002 % |
192.29/192.49	c |    265782 |     220    18700   130900 |    87079    81408     63 |  0.002 % |
193.08/193.29	c |    266655 |     220    18700   130900 |    87079    82281     63 |  0.002 % |
193.98/194.19	c |    267613 |     220    18700   130900 |    87079    83239     63 |  0.002 % |
194.98/195.13	c |    268668 |     220    18700   130900 |    87079    84294     63 |  0.002 % |
195.98/196.18	c |    269826 |     220    18700   130900 |    87079    85452     63 |  0.002 % |
197.08/197.22	c |    271101 |     220    18700   130900 |    85628    74337     63 |  0.002 % |
198.08/198.25	c |    272502 |     220    18700   130900 |    85628    75738     63 |  0.002 % |
199.38/199.51	c |    274043 |     220    18700   130900 |    85628    77279     63 |  0.002 % |
200.78/200.93	c |    275737 |     220    18700   130900 |    85628    78973     63 |  0.002 % |
202.28/202.50	c |    277601 |     220    18700   130900 |    85628    80837     63 |  0.002 % |
204.08/204.25	c |    279652 |     220    18700   130900 |    85628    82888     63 |  0.002 % |
205.98/206.11	c |    281905 |     220    18700   130900 |    83239    73796     63 |  0.002 % |
207.98/208.11	c |    284388 |     220    18700   130900 |    83239    76279     63 |  0.002 % |
210.18/210.32	c |    287114 |     220    18700   130900 |    83239    79005     63 |  0.002 % |
210.28/210.40	c |    287214 |     220    18700   130900 |    83239    79105     63 |  0.002 % |
210.28/210.48	c |    287324 |     220    18700   130900 |    83239    79215     63 |  0.002 % |
210.38/210.60	c |    287445 |     220    18700   130900 |    83239    79336     63 |  0.002 % |
210.58/210.71	c |    287578 |     220    18700   130900 |    83239    79469     63 |  0.002 % |
210.68/210.86	c |    287724 |     220    18700   130900 |    83239    79615     63 |  0.002 % |
210.88/211.02	c |    287884 |     220    18700   130900 |    83239    79775     63 |  0.002 % |
210.98/211.19	c |    288060 |     220    18700   130900 |    83239    79951     63 |  0.002 % |
211.18/211.39	c |    288254 |     220    18700   130900 |    83239    80145     63 |  0.002 % |
211.48/211.61	c |    288468 |     220    18700   130900 |    83239    80359     63 |  0.002 % |
211.68/211.86	c |    288702 |     220    18700   130900 |    83239    80593     63 |  0.002 % |
211.98/212.10	c |    288960 |     220    18700   130900 |    83239    80851     63 |  0.002 % |
212.18/212.37	c |    289242 |     220    18700   130900 |    83239    81133     63 |  0.002 % |
212.48/212.65	c |    289551 |     220    18700   130900 |    83239    81442     63 |  0.002 % |
212.88/213.03	c |    289890 |     220    18700   130900 |    83239    81781     63 |  0.002 % |
213.28/213.44	c |    290263 |     220    18700   130900 |    81893    71321     63 |  0.002 % |
213.58/213.79	c |    290673 |     220    18700   130900 |    81893    71731     63 |  0.002 % |
213.98/214.14	c |    291122 |     220    18700   130900 |    81893    72180     63 |  0.002 % |
214.38/214.52	c |    291615 |     220    18700   130900 |    81893    72673     63 |  0.002 % |
214.78/214.95	c |    292158 |     220    18700   130900 |    81893    73216     63 |  0.002 % |
215.28/215.42	c |    292755 |     220    18700   130900 |    81893    73813     63 |  0.002 % |
215.78/215.91	c |    293411 |     220    18700   130900 |    81893    74469     63 |  0.002 % |
216.28/216.48	c |    294132 |     220    18700   130900 |    81893    75190     63 |  0.002 % |
216.88/217.08	c |    294924 |     220    18700   130900 |    81893    75982     63 |  0.002 % |
217.58/217.76	c |    295795 |     220    18700   130900 |    81893    76853     63 |  0.002 % |
218.37/218.50	c |    296753 |     220    18700   130900 |    81893    77811     63 |  0.002 % |
219.17/219.31	c |    297806 |     220    18700   130900 |    81893    78864     63 |  0.002 % |
219.97/220.18	c |    298964 |     220    18700   130900 |    81893    80022     63 |  0.002 % |
221.07/221.24	c |    300238 |     220    18700   130900 |    81058    71778     63 |  0.002 % |
222.08/222.27	c |    301638 |     220    18700   130900 |    81058    73178     63 |  0.002 % |
223.18/223.40	c |    303180 |     220    18700   130900 |    81058    74720     63 |  0.002 % |
224.57/224.72	c |    304874 |     220    18700   130900 |    81058    76414     63 |  0.002 % |
225.97/226.18	c |    306737 |     220    18700   130900 |    81058    78277     63 |  0.002 % |
227.67/227.83	c |    308786 |     220    18700   130900 |    81058    80326     63 |  0.002 % |
229.37/229.54	c |    311040 |     220    18700   130900 |    72007    64721     63 |  0.002 % |
231.17/231.31	c |    313519 |     220    18700   130900 |    72007    67200     63 |  0.002 % |
233.27/233.43	c |    316244 |     220    18700   130900 |    72007    69925     63 |  0.002 % |
235.67/235.81	c |    319242 |     220    18700   130900 |    72007    65713     63 |  0.002 % |
235.67/235.89	c |    319343 |     220    18700   130900 |    72007    65814     63 |  0.002 % |
235.77/235.98	c |    319453 |     220    18700   130900 |    72007    65924     63 |  0.002 % |
235.87/236.07	c |    319574 |     220    18700   130900 |    72007    66045     63 |  0.002 % |
236.07/236.21	c |    319707 |     220    18700   130900 |    72007    66178     63 |  0.002 % |
236.17/236.32	c |    319855 |     220    18700   130900 |    72007    66326     63 |  0.002 % |
236.27/236.45	c |    320016 |     220    18700   130900 | 2147483647    66487     63 |  0.002 % |
236.47/236.61	c |    320192 |     220    18700   130900 | 2147483647    66663     63 |  0.002 % |
236.57/236.76	c |    320385 |     220    18700   130900 | 2147483647    66856     63 |  0.002 % |
236.77/236.93	c |    320598 |     220    18700   130900 | 2147483647    67069     63 |  0.002 % |
236.97/237.11	c |    320832 |     220    18700   130900 | 2147483647    67303     63 |  0.002 % |
237.17/237.32	c |    321088 |     220    18700   130900 | 2147483647    67559     63 |  0.002 % |
237.37/237.57	c |    321369 |     220    18700   130900 | 2147483647    67840     63 |  0.002 % |
237.67/237.82	c |    321680 |     220    18700   130900 | 2147483647    68151     63 |  0.002 % |
237.87/238.09	c |    322019 |     220    18700   130900 | 2147483647    68490     63 |  0.002 % |
238.27/238.41	c |    322391 |     220    18700   130900 | 2147483647    68862     63 |  0.002 % |
238.57/238.70	c |    322801 |     220    18700   130900 | 2147483647    69272     63 |  0.002 % |
238.87/239.03	c |    323250 |     220    18700   130900 | 2147483647    69721     63 |  0.002 % |
239.16/239.39	c |    323745 |     220    18700   130900 | 2147483647    70216     63 |  0.002 % |
239.57/239.77	c |    324287 |     220    18700   130900 | 2147483647    70758     63 |  0.002 % |
240.06/240.25	c |    324884 |     220    18700   130900 | 2147483647    71355     63 |  0.002 % |
240.56/240.75	c |    325539 |     220    18700   130900 | 2147483647    72010     63 |  0.002 % |
241.16/241.39	c |    326260 |     220    18700   130900 | 2147483647    72731     63 |  0.002 % |
241.87/242.01	c |    327052 |     220    18700   130900 | 2147483647    73523     63 |  0.002 % |
242.56/242.74	c |    327923 |     220    18700   130900 | 2147483647    74394     63 |  0.002 % |
243.36/243.56	c |    328883 |     220    18700   130900 | 2147483647    75354     63 |  0.002 % |
244.26/244.40	c |    329936 |     220    18700   130900 | 2147483647    76407     63 |  0.002 % |
245.17/245.33	c |    331094 |     220    18700   130900 |    76473    69562     63 |  0.002 % |
246.17/246.35	c |    332368 |     220    18700   130900 |    76473    70836     63 |  0.002 % |
247.27/247.41	c |    333768 |     220    18700   130900 |    76473    72236     63 |  0.002 % |
248.37/248.58	c |    335308 |     220    18700   130900 |    76473    73776     63 |  0.002 % |
249.66/249.87	c |    337002 |     220    18700   130900 |    76473    75470     63 |  0.002 % |
251.26/251.42	c |    338866 |     220    18700   130900 |    76473    69412     63 |  0.002 % |
252.66/252.87	c |    340916 |     220    18700   130900 |    70547    64238     63 |  0.002 % |
254.16/254.37	c |    343170 |     220    18700   130900 |    70547    66492     63 |  0.002 % |
255.86/256.02	c |    345648 |     220    18700   130900 |    70547    68970     63 |  0.002 % |
257.76/257.97	c |    348373 |     220    18700   130900 |    70547    64631     63 |  0.002 % |
259.86/260.02	c |    351371 |     220    18700   130900 | 2147483647    67629     63 |  0.002 % |
261.96/262.12	c |    354669 |     220    18700   130900 | 2147483647    70927     63 |  0.002 % |
262.06/262.20	c |    354769 |     220    18700   130900 | 2147483647    71027     63 |  0.002 % |
262.06/262.27	c |    354879 |     220    18700   130900 | 2147483647    71137     63 |  0.002 % |
262.16/262.38	c |    355001 |     220    18700   130900 | 2147483647    71259     63 |  0.002 % |
262.36/262.53	c |    355136 |     220    18700   130900 | 2147483647    71394     63 |  0.002 % |
262.46/262.65	c |    355282 |     220    18700   130900 | 2147483647    71540     63 |  0.002 % |
262.56/262.78	c |    355444 |     220    18700   130900 | 2147483647    71702     63 |  0.002 % |
262.76/262.94	c |    355620 |     220    18700   130900 | 2147483647    71878     63 |  0.002 % |
262.86/263.08	c |    355814 |     220    18700   130900 | 2147483647    72072     63 |  0.002 % |
263.06/263.26	c |    356026 |     220    18700   130900 | 2147483647    72284     63 |  0.002 % |
263.26/263.47	c |    356261 |     220    18700   130900 | 2147483647    72519     63 |  0.002 % |
263.56/263.71	c |    356518 |     220    18700   130900 | 2147483647    72776     63 |  0.002 % |
263.76/263.98	c |    356799 |     220    18700   130900 | 2147483647    73057     63 |  0.002 % |
264.06/264.25	c |    357108 |     220    18700   130900 | 2147483647    73366     63 |  0.002 % |
264.36/264.53	c |    357447 |     220    18700   130900 | 2147483647    73705     63 |  0.002 % |
264.66/264.84	c |    357823 |     220    18700   130900 | 2147483647    74081     63 |  0.002 % |
264.96/265.19	c |    358234 |     220    18700   130900 | 2147483647    74492     63 |  0.002 % |
265.36/265.53	c |    358684 |     220    18700   130900 | 2147483647    74942     63 |  0.002 % |
265.66/265.89	c |    359177 |     220    18700   130900 | 2147483647    75435     63 |  0.002 % |
266.06/266.29	c |    359720 |     220    18700   130900 | 2147483647    75978     63 |  0.002 % |
266.56/266.75	c |    360316 |     220    18700   130900 | 2147483647    76574     63 |  0.002 % |
267.06/267.28	c |    360973 |     220    18700   130900 | 2147483647    77231     63 |  0.002 % |
267.66/267.81	c |    361693 |     220    18700   130900 | 2147483647    77951     63 |  0.002 % |
268.16/268.39	c |    362486 |     220    18700   130900 | 2147483647    78744     63 |  0.002 % |
268.86/269.06	c |    363359 |     220    18700   130900 | 2147483647    79617     63 |  0.002 % |
269.66/269.86	c |    364318 |     220    18700   130900 | 2147483647    80576     63 |  0.002 % |
270.56/270.71	c |    365373 |     220    18700   130900 | 2147483647    81631     63 |  0.002 % |
271.46/271.67	c |    366532 |     220    18700   130900 | 2147483647    82790     63 |  0.002 % |
272.76/272.92	c |    367806 |     220    18700   130900 | 2147483647    84064     63 |  0.002 % |
274.05/274.24	c |    369207 |     220    18700   130900 | 2147483647    85465     63 |  0.002 % |
275.55/275.73	c |    370749 |     220    18700   130900 |    86259    75731     63 |  0.002 % |
276.96/277.15	c |    372443 |     220    18700   130900 |    86259    77425     63 |  0.002 % |
278.55/278.76	c |    374306 |     220    18700   130900 |    86259    79288     63 |  0.002 % |
280.26/280.41	c |    376356 |     220    18700   130900 |    86259    81338     63 |  0.002 % |
282.15/282.34	c |    378611 |     220    18700   130900 |    86259    83593     63 |  0.002 % |
284.05/284.27	c |    381089 |     220    18700   130900 |    84983    75231     63 |  0.002 % |
286.15/286.38	c |    383814 |     220    18700   130900 |    84983    77956     63 |  0.002 % |
288.75/288.94	c |    386812 |     220    18700   130900 |    84983    80954     63 |  0.002 % |
291.55/291.70	c |    390111 |     220    18700   130900 |    84142    72989     63 |  0.002 % |
294.14/294.33	c |    393736 |     220    18700   130900 |    84142    76614     63 |  0.002 % |
294.24/294.42	c |    393837 |     220    18700   130900 |    84142    76715     63 |  0.002 % |
294.34/294.52	c |    393947 |     220    18700   130900 |    84142    76825     63 |  0.002 % |
294.44/294.63	c |    394068 |     220    18700   130900 |    84142    76946     63 |  0.002 % |
294.55/294.77	c |    394202 |     220    18700   130900 |    84142    77080     63 |  0.002 % |
294.74/294.92	c |    394348 |     220    18700   130900 |    84142    77226     63 |  0.002 % |
294.84/295.06	c |    394509 |     220    18700   130900 |    84142    77387     63 |  0.002 % |
295.04/295.25	c |    394685 |     220    18700   130900 |    84142    77563     63 |  0.002 % |
295.24/295.45	c |    394879 |     220    18700   130900 |    84142    77757     63 |  0.002 % |
295.44/295.66	c |    395091 |     220    18700   130900 |    84142    77969     63 |  0.002 % |
295.75/295.93	c |    395325 |     220    18700   130900 |    84142    78203     63 |  0.002 % |
296.04/296.20	c |    395582 |     220    18700   130900 |    84142    78460     63 |  0.002 % |
296.24/296.49	c |    395863 |     220    18700   130900 |    84142    78741     63 |  0.002 % |
296.64/296.83	c |    396172 |     220    18700   130900 |    84142    79050     63 |  0.002 % |
296.94/297.12	c |    396511 |     220    18700   130900 |    84142    79389     63 |  0.002 % |
297.24/297.46	c |    396885 |     220    18700   130900 |    84142    79763     63 |  0.002 % |
297.64/297.82	c |    397296 |     220    18700   130900 |    84142    80174     63 |  0.002 % |
298.04/298.23	c |    397745 |     220    18700   130900 |    84142    80623     63 |  0.002 % |
298.44/298.65	c |    398239 |     220    18700   130900 |    84142    81117     63 |  0.002 % |
298.84/299.07	c |    398783 |     220    18700   130900 |    84142    81661     63 |  0.002 % |
299.34/299.59	c |    399381 |     220    18700   130900 |    84142    82259     63 |  0.002 % |
299.94/300.13	c |    400037 |     220    18700   130900 |    82878    82915     63 |  0.002 % |
300.64/300.81	c |    400757 |     220    18700   130900 |    82878    72427     63 |  0.002 % |
301.25/301.44	c |    401549 |     220    18700   130900 |    82878    73219     63 |  0.002 % |
301.94/302.16	c |    402420 |     220    18700   130900 |    82878    74090     63 |  0.002 % |
302.74/302.95	c |    403378 |     220    18700   130900 |    82878    75048     63 |  0.002 % |
303.54/303.74	c |    404431 |     220    18700   130900 |    82878    76101     63 |  0.002 % |
304.54/304.73	c |    405589 |     220    18700   130900 |    82878    77259     63 |  0.002 % |
305.64/305.87	c |    406864 |     220    18700   130900 |    82878    78534     63 |  0.002 % |
306.94/307.14	c |    408270 |     220    18700   130900 |    82878    79940     63 |  0.002 % |
308.24/308.46	c |    409813 |     220    18700   130900 |    82878    81483     63 |  0.002 % |
309.64/309.85	c |    411507 |     220    18700   130900 |    81671    72104     63 |  0.002 % |
311.14/311.33	c |    413370 |     220    18700   130900 |    81671    73967     63 |  0.002 % |
312.74/312.95	c |    415419 |     220    18700   130900 |    81671    76016     63 |  0.002 % |
314.54/314.74	c |    417672 |     220    18700   130900 |    81671    78269     63 |  0.002 % |
316.84/317.03	c |    420150 |     220    18700   130900 |    80598    70571     63 |  0.002 % |
318.94/319.18	c |    422875 |     220    18700   130900 |    80598    73296     63 |  0.002 % |
321.34/321.57	c |    425872 |     220    18700   130900 |    80598    76293     63 |  0.002 % |
324.04/324.20	c |    429168 |     220    18700   130900 |    80598    79589     63 |  0.002 % |
326.83/327.09	c |    432794 |     220    18700   130900 |    80421    74018     63 |  0.002 % |
330.03/330.22	c |    436783 |     220    18700   130900 |    80421    78007     63 |  0.002 % |
330.13/330.32	c |    436883 |     220    18700   130900 |    80421    78107     63 |  0.002 % |
330.23/330.41	c |    436993 |     220    18700   130900 |    80421    78217     63 |  0.002 % |
330.33/330.51	c |    437114 |     220    18700   130900 |    80421    78338     63 |  0.002 % |
330.43/330.64	c |    437248 |     220    18700   130900 |    80421    78472     63 |  0.002 % |
330.53/330.79	c |    437394 |     220    18700   130900 |    80421    78618     63 |  0.002 % |
330.73/330.94	c |    437555 |     220    18700   130900 |    80421    78779     63 |  0.002 % |
330.93/331.13	c |    437733 |     220    18700   130900 |    80421    78957     63 |  0.002 % |
331.13/331.32	c |    437926 |     220    18700   130900 |    80421    79150     63 |  0.002 % |
331.33/331.54	c |    438139 |     220    18700   130900 |    80421    79363     63 |  0.002 % |
331.53/331.78	c |    438374 |     220    18700   130900 |    80421    79598     63 |  0.002 % |
331.83/332.04	c |    438630 |     220    18700   130900 |    80421    79854     63 |  0.002 % |
332.13/332.30	c |    438912 |     220    18700   130900 |    80421    80136     63 |  0.002 % |
332.43/332.64	c |    439222 |     220    18700   130900 |    80421    80446     63 |  0.002 % |
332.83/333.02	c |    439561 |     220    18700   130900 |    80421    71330     63 |  0.002 % |
333.13/333.37	c |    439933 |     220    18700   130900 |    80421    71702     63 |  0.002 % |
333.53/333.77	c |    440343 |     220    18700   130900 |    71769    63694     63 |  0.002 % |
333.93/334.11	c |    440793 |     220    18700   130900 |    71769    64144     63 |  0.002 % |
334.23/334.45	c |    441286 |     220    18700   130900 |    71769    64637     63 |  0.002 % |
334.63/334.85	c |    441830 |     220    18700   130900 |    71769    65181     63 |  0.002 % |
335.03/335.26	c |    442426 |     220    18700   130900 |    71769    65777     63 |  0.002 % |
335.53/335.71	c |    443083 |     220    18700   130900 |    71769    66434     63 |  0.002 % |
336.03/336.29	c |    443804 |     220    18700   130900 |    71769    67155     63 |  0.002 % |
336.63/336.87	c |    444596 |     220    18700   130900 |    71769    67947     63 |  0.002 % |
337.34/337.56	c |    445467 |     220    18700   130900 |    71769    68818     63 |  0.002 % |
338.04/338.29	c |    446427 |     220    18700   130900 |    71769    69778     63 |  0.002 % |
338.84/339.04	c |    447480 |     220    18700   130900 |    71769    70831     63 |  0.002 % |
339.74/339.91	c |    448639 |     220    18700   130900 |    71769    64804     63 |  0.002 % |
340.53/340.76	c |    449913 |     220    18700   130900 |    71769    66078     63 |  0.002 % |
341.43/341.64	c |    451314 |     220    18700   130900 | 2147483647    67479     63 |  0.002 % |
342.43/342.67	c |    452857 |     220    18700   130900 | 2147483647    69022     63 |  0.002 % |
343.63/343.83	c |    454552 |     220    18700   130900 | 2147483647    70717     63 |  0.002 % |
345.14/345.40	c |    456415 |     220    18700   130900 | 2147483647    72580     63 |  0.002 % |
346.83/347.06	c |    458465 |     220    18700   130900 | 2147483647    74630     63 |  0.002 % |
348.73/348.91	c |    460720 |     220    18700   130900 | 2147483647    76885     63 |  0.002 % |
350.63/350.81	c |    463198 |     220    18700   130900 | 2147483647    79363     63 |  0.002 % |
352.93/353.10	c |    465923 |     220    18700   130900 | 2147483647    82088     63 |  0.002 % |
355.33/355.59	c |    468921 |     220    18700   130900 | 2147483647    85086     63 |  0.002 % |
358.13/358.30	c |    472217 |     220    18700   130900 |    86166    77766     63 |  0.002 % |
360.73/360.99	c |    475848 |     220    18700   130900 |    86166    81397     63 |  0.002 % |
363.93/364.18	c |    479836 |     220    18700   130900 |    86166    85385     63 |  0.002 % |
367.63/367.87	c |    484221 |     220    18700   130900 |    85550    79574     63 |  0.002 % |
367.73/367.96	c |    484321 |     220    18700   130900 |    85550    79674     63 |  0.002 % |
367.83/368.05	c |    484431 |     220    18700   130900 |    85550    79784     63 |  0.002 % |
367.93/368.17	c |    484552 |     220    18700   130900 |    85550    79905     63 |  0.002 % |
368.13/368.32	c |    484685 |     220    18700   130900 |    85550    80038     63 |  0.002 % |
368.23/368.47	c |    484833 |     220    18700   130900 |    85550    80186     63 |  0.002 % |
368.43/368.61	c |    484996 |     220    18700   130900 |    85550    80349     63 |  0.002 % |
368.52/368.76	c |    485173 |     220    18700   130900 |    85550    80526     63 |  0.002 % |
368.72/368.92	c |    485366 |     220    18700   130900 |    85550    80719     63 |  0.002 % |
368.92/369.12	c |    485578 |     220    18700   130900 |    85550    80931     63 |  0.002 % |
369.12/369.38	c |    485812 |     220    18700   130900 |    85550    81165     63 |  0.002 % |
369.43/369.60	c |    486068 |     220    18700   130900 |    85550    81421     63 |  0.002 % |
369.62/369.88	c |    486349 |     220    18700   130900 |    85550    81702     63 |  0.002 % |
369.92/370.17	c |    486660 |     220    18700   130900 |    85550    82013     63 |  0.002 % |
370.22/370.49	c |    486999 |     220    18700   130900 |    85550    82352     63 |  0.002 % |
370.62/370.82	c |    487373 |     220    18700   130900 |    85550    82726     63 |  0.002 % |
370.92/371.19	c |    487783 |     220    18700   130900 |    85550    83136     63 |  0.002 % |
371.42/371.60	c |    488233 |     220    18700   130900 |    85550    83586     63 |  0.002 % |
371.82/372.03	c |    488728 |     220    18700   130900 |    85550    84081     63 |  0.002 % |
372.22/372.48	c |    489270 |     220    18700   130900 |    85550    84623     63 |  0.002 % |
372.73/372.97	c |    489867 |     220    18700   130900 |    85550    85220     63 |  0.002 % |
373.42/373.62	c |    490523 |     220    18700   130900 |    85355    74676     63 |  0.002 % |
374.02/374.28	c |    491243 |     220    18700   130900 |    85355    75396     63 |  0.002 % |
374.72/374.93	c |    492036 |     220    18700   130900 |    85355    76189     63 |  0.002 % |
375.42/375.69	c |    492910 |     220    18700   130900 |    85355    77063     63 |  0.002 % |
376.32/376.53	c |    493868 |     220    18700   130900 |    85355    78021     63 |  0.002 % |
377.12/377.34	c |    494922 |     220    18700   130900 |    85355    79075     63 |  0.002 % |
378.12/378.31	c |    496080 |     220    18700   130900 |    85355    80233     63 |  0.002 % |
379.12/379.39	c |    497354 |     220    18700   130900 |    85355    81507     63 |  0.002 % |
380.42/380.61	c |    498755 |     220    18700   130900 |    85355    82908     63 |  0.002 % |
381.82/382.05	c |    500296 |     220    18700   130900 |    84154    72620     63 |  0.002 % |
383.12/383.35	c |    501990 |     220    18700   130900 |    84154    74314     63 |  0.002 % |
384.42/384.65	c |    503854 |     220    18700   130900 |    84154    76178     63 |  0.002 % |
385.92/386.15	c |    505904 |     220    18700   130900 |    84154    78228     63 |  0.002 % |
387.62/387.80	c |    508157 |     220    18700   130900 |    84154    80481     63 |  0.002 % |
389.82/390.01	c |    510636 |     220    18700   130900 |    82325    73106     63 |  0.002 % |
391.92/392.15	c |    513362 |     220    18700   130900 |    82325    75832     63 |  0.002 % |
394.32/394.50	c |    516359 |     220    18700   130900 |    82325    78829     63 |  0.002 % |
396.82/397.09	c |    519655 |     220    18700   130900 |    82325    82125     63 |  0.002 % |
399.51/399.74	c |    523280 |     220    18700   130900 |    73008    67979     63 |  0.002 % |
402.42/402.61	c |    527267 |     220    18700   130900 |    73008    71966     63 |  0.002 % |
405.51/405.73	c |    531652 |     220    18700   130900 | 2147483647    69040     63 |  0.002 % |
409.21/409.41	c |    536476 |     220    18700   130900 | 2147483647    73864     63 |  0.002 % |
409.31/409.50	c |    536578 |     220    18700   130900 | 2147483647    73966     63 |  0.002 % |
409.41/409.60	c |    536688 |     220    18700   130900 | 2147483647    74076     63 |  0.002 % |
409.51/409.71	c |    536810 |     220    18700   130900 | 2147483647    74198     63 |  0.002 % |
409.61/409.81	c |    536943 |     220    18700   130900 | 2147483647    74331     63 |  0.002 % |
409.71/409.93	c |    537090 |     220    18700   130900 | 2147483647    74478     63 |  0.002 % |
409.81/410.07	c |    537250 |     220    18700   130900 | 2147483647    74638     63 |  0.002 % |
410.01/410.22	c |    537426 |     220    18700   130900 | 2147483647    74814     63 |  0.002 % |
410.11/410.38	c |    537619 |     220    18700   130900 | 2147483647    75007     63 |  0.002 % |
410.31/410.55	c |    537834 |     220    18700   130900 | 2147483647    75222     63 |  0.002 % |
410.51/410.73	c |    538067 |     220    18700   130900 | 2147483647    75455     63 |  0.002 % |
410.71/410.98	c |    538326 |     220    18700   130900 | 2147483647    75714     63 |  0.002 % |
411.01/411.24	c |    538607 |     220    18700   130900 | 2147483647    75995     63 |  0.002 % |
411.21/411.49	c |    538916 |     220    18700   130900 | 2147483647    76304     63 |  0.002 % |
411.50/411.76	c |    539255 |     220    18700   130900 | 2147483647    76643     63 |  0.002 % |
411.80/412.04	c |    539627 |     220    18700   130900 | 2147483647    77015     63 |  0.002 % |
412.10/412.36	c |    540037 |     220    18700   130900 | 2147483647    77425     63 |  0.002 % |
412.50/412.79	c |    540489 |     220    18700   130900 | 2147483647    77877     63 |  0.002 % |
413.00/413.27	c |    540984 |     220    18700   130900 | 2147483647    78372     63 |  0.002 % |
413.60/413.81	c |    541527 |     220    18700   130900 | 2147483647    78915     63 |  0.002 % |
414.10/414.32	c |    542125 |     220    18700   130900 | 2147483647    79513     63 |  0.002 % |
414.60/414.87	c |    542781 |     220    18700   130900 | 2147483647    80169     63 |  0.002 % |
415.30/415.51	c |    543501 |     220    18700   130900 | 2147483647    80889     63 |  0.002 % |
416.00/416.27	c |    544293 |     220    18700   130900 | 2147483647    81681     63 |  0.002 % |
416.80/417.08	c |    545164 |     220    18700   130900 | 2147483647    82552     63 |  0.002 % |
417.71/417.95	c |    546122 |     220    18700   130900 | 2147483647    83510     63 |  0.002 % |
418.60/418.87	c |    547175 |     220    18700   130900 | 2147483647    84563     63 |  0.002 % |
419.60/419.83	c |    548334 |     220    18700   130900 | 2147483647    85722     63 |  0.002 % |
420.80/421.05	c |    549607 |     220    18700   130900 | 2147483647    86995     63 |  0.002 % |
422.10/422.32	c |    551007 |     220    18700   130900 |    87388    75990     63 |  0.002 % |
423.40/423.61	c |    552547 |     220    18700   130900 |    87388    77530     63 |  0.002 % |
424.70/424.98	c |    554241 |     220    18700   130900 |    87388    79224     63 |  0.002 % |
426.30/426.55	c |    556104 |     220    18700   130900 |    87388    81087     63 |  0.002 % |
427.89/428.19	c |    558154 |     220    18700   130900 |    87388    83137     63 |  0.002 % |
429.80/430.06	c |    560407 |     220    18700   130900 |    84983    73639     63 |  0.002 % |
431.59/431.89	c |    562885 |     220    18700   130900 |    84983    76117     63 |  0.002 % |
433.79/434.05	c |    565618 |     220    18700   130900 |    84983    78850     63 |  0.002 % |
436.29/436.51	c |    568615 |     220    18700   130900 |    84983    81847     63 |  0.002 % |
438.89/439.17	c |    571913 |     220    18700   130900 |    83234    74934     63 |  0.002 % |
441.59/441.81	c |    575538 |     220    18700   130900 |    83234    78559     63 |  0.002 % |
444.49/444.79	c |    579528 |     220    18700   130900 |    83234    82549     63 |  0.002 % |
447.79/448.08	c |    583914 |     220    18700   130900 |    83021    76669     63 |  0.002 % |
451.49/451.72	c |    588740 |     220    18700   130900 |    83021    81495     63 |  0.002 % |
455.79/456.07	c |    594046 |     220    18700   130900 |    82759    76666     63 |  0.002 % |
455.89/456.18	c |    594149 |     220    18700   130900 |    82759    76769     63 |  0.002 % |
455.99/456.28	c |    594261 |     220    18700   130900 |    82759    76881     63 |  0.002 % |
456.09/456.40	c |    594384 |     220    18700   130900 |    82759    77004     63 |  0.002 % |
456.29/456.52	c |    594519 |     220    18700   130900 |    82759    77139     63 |  0.002 % |
456.39/456.65	c |    594668 |     220    18700   130900 |    82759    77288     63 |  0.002 % |
456.49/456.80	c |    594828 |     220    18700   130900 |    82759    77448     63 |  0.002 % |
456.69/456.96	c |    595006 |     220    18700   130900 |    82759    77626     63 |  0.002 % |
456.89/457.17	c |    595199 |     220    18700   130900 |    82759    77819     63 |  0.002 % |
457.09/457.37	c |    595411 |     220    18700   130900 |    82759    78031     63 |  0.002 % |
457.29/457.57	c |    595644 |     220    18700   130900 |    82759    78264     63 |  0.002 % |
457.59/457.80	c |    595901 |     220    18700   130900 |    82759    78521     63 |  0.002 % |
457.79/458.03	c |    596182 |     220    18700   130900 |    82759    78802     63 |  0.002 % |
457.98/458.30	c |    596491 |     220    18700   130900 |    82759    79111     63 |  0.002 % |
458.39/458.62	c |    596833 |     220    18700   130900 |    82759    79453     63 |  0.002 % |
458.68/458.93	c |    597205 |     220    18700   130900 |    82759    79825     63 |  0.002 % |
459.08/459.31	c |    597614 |     220    18700   130900 |    82759    80234     63 |  0.002 % |
459.49/459.70	c |    598065 |     220    18700   130900 |    82759    80685     63 |  0.002 % |
459.88/460.15	c |    598561 |     220    18700   130900 |    82759    81181     63 |  0.002 % |
460.38/460.64	c |    599105 |     220    18700   130900 |    82759    81725     63 |  0.002 % |
460.88/461.15	c |    599701 |     220    18700   130900 |    82759    82321     63 |  0.002 % |
461.48/461.76	c |    600357 |     220    18700   130900 |    82620    72224     63 |  0.002 % |
462.08/462.32	c |    601077 |     220    18700   130900 |    82620    72944     63 |  0.002 % |
462.68/462.96	c |    601869 |     220    18700   130900 |    82620    73736     63 |  0.002 % |
463.38/463.67	c |    602741 |     220    18700   130900 |    82620    74608     63 |  0.002 % |
464.08/464.38	c |    603699 |     220    18700   130900 |    82620    75566     63 |  0.002 % |
464.88/465.13	c |    604752 |     220    18700   130900 |    82620    76619     63 |  0.002 % |
465.68/465.98	c |    605911 |     220    18700   130900 |    82620    77778     63 |  0.002 % |
466.68/466.98	c |    607184 |     220    18700   130900 |    82620    79051     63 |  0.002 % |
467.88/468.10	c |    608584 |     220    18700   130900 |    82620    80451     63 |  0.002 % |
469.28/469.57	c |    610128 |     220    18700   130900 |    81869    71821     63 |  0.002 % |
470.68/470.91	c |    611823 |     220    18700   130900 |    81869    73516     63 |  0.002 % |
472.18/472.41	c |    613686 |     220    18700   130900 |    81869    75379     63 |  0.002 % |
473.98/474.21	c |    615735 |     220    18700   130900 |    81869    77428     63 |  0.002 % |
475.78/476.06	c |    617988 |     220    18700   130900 |    81869    79681     63 |  0.002 % |
477.88/478.11	c |    620466 |     220    18700   130900 |    81696    72467     63 |  0.002 % |
479.78/480.07	c |    623191 |     220    18700   130900 |    81696    75192     63 |  0.002 % |
482.07/482.37	c |    626189 |     220    18700   130900 |    81696    78190     63 |  0.002 % |
484.57/484.89	c |    629485 |     220    18700   130900 |    81696    81486     63 |  0.002 % |
487.27/487.60	c |    633110 |     220    18700   130900 |    73696    69349     63 |  0.002 % |
490.27/490.58	c |    637097 |     220    18700   130900 |    73696    73336     63 |  0.002 % |
493.57/493.90	c |    641483 |     220    18700   130900 | 2147483647    70343     63 |  0.002 % |
497.27/497.55	c |    646306 |     220    18700   130900 | 2147483647    75166     63 |  0.002 % |
501.47/501.72	c |    651611 |     220    18700   130900 | 2147483647    80471     63 |  0.002 % |
506.17/506.42	c |    657446 |     220    18700   130900 | 2147483647    86306     63 |  0.002 % |
506.27/506.52	c |    657546 |     220    18700   130900 | 2147483647    86406     63 |  0.002 % |
506.37/506.67	c |    657656 |     220    18700   130900 | 2147483647    86516     63 |  0.002 % |
506.57/506.80	c |    657777 |     220    18700   130900 | 2147483647    86637     63 |  0.002 % |
506.67/506.95	c |    657913 |     220    18700   130900 | 2147483647    86773     63 |  0.002 % |
506.87/507.10	c |    658060 |     220    18700   130900 | 2147483647    86920     63 |  0.002 % |
506.97/507.29	c |    658220 |     220    18700   130900 | 2147483647    87080     63 |  0.002 % |
507.17/507.48	c |    658396 |     220    18700   130900 | 2147483647    87256     63 |  0.002 % |
507.47/507.71	c |    658589 |     220    18700   130900 | 2147483647    87449     63 |  0.002 % |
507.67/507.94	c |    658801 |     220    18700   130900 | 2147483647    87661     63 |  0.002 % |
507.87/508.18	c |    659035 |     220    18700   130900 | 2147483647    87895     63 |  0.002 % |
508.17/508.48	c |    659291 |     220    18700   130900 | 2147483647    88151     63 |  0.002 % |
508.47/508.76	c |    659573 |     220    18700   130900 | 2147483647    88433     63 |  0.002 % |
508.87/509.13	c |    659882 |     220    18700   130900 | 2147483647    88742     63 |  0.002 % |
509.27/509.55	c |    660223 |     220    18700   130900 |    88860    76648     63 |  0.002 % |
509.57/509.88	c |    660596 |     220    18700   130900 |    88860    77021     63 |  0.002 % |
509.97/510.27	c |    661011 |     220    18700   130900 |    88860    77436     63 |  0.002 % |
510.47/510.70	c |    661460 |     220    18700   130900 |    88860    77885     63 |  0.002 % |
510.87/511.19	c |    661955 |     220    18700   130900 |    88860    78380     63 |  0.002 % |
511.47/511.72	c |    662499 |     220    18700   130900 |    88860    78924     63 |  0.002 % |
511.97/512.24	c |    663097 |     220    18700   130900 |    88860    79522     63 |  0.002 % |
512.57/512.87	c |    663752 |     220    18700   130900 |    88860    80177     63 |  0.002 % |
513.27/513.52	c |    664473 |     220    18700   130900 |    88860    80898     63 |  0.002 % |
513.97/514.20	c |    665266 |     220    18700   130900 |    88860    81691     63 |  0.002 % |
514.67/514.98	c |    666137 |     220    18700   130900 |    88860    82562     63 |  0.002 % |
515.47/515.79	c |    667095 |     220    18700   130900 |    88860    83520     63 |  0.002 % |
516.67/516.90	c |    668149 |     220    18700   130900 |    88860    84574     63 |  0.002 % |
517.77/518.00	c |    669307 |     220    18700   130900 |    88860    85732     63 |  0.002 % |
518.87/519.16	c |    670581 |     220    18700   130900 |    86425    73909     63 |  0.002 % |
520.07/520.34	c |    671982 |     220    18700   130900 |    86425    75310     63 |  0.002 % |
521.37/521.63	c |    673522 |     220    18700   130900 |    86425    76850     63 |  0.002 % |
522.87/523.13	c |    675217 |     220    18700   130900 |    86425    78545     63 |  0.002 % |
524.37/524.65	c |    677080 |     220    18700   130900 |    86425    80408     63 |  0.002 % |
526.17/526.47	c |    679131 |     220    18700   130900 |    86425    82459     63 |  0.002 % |
528.17/528.41	c |    681384 |     220    18700   130900 |    83328    72886     63 |  0.002 % |
530.17/530.42	c |    683862 |     220    18700   130900 |    83328    75364     63 |  0.002 % |
532.47/532.70	c |    686588 |     220    18700   130900 |    83328    78090     63 |  0.002 % |
534.96/535.27	c |    689585 |     220    18700   130900 |    83328    81087     63 |  0.002 % |
537.67/537.98	c |    692883 |     220    18700   130900 |    81505    73635     63 |  0.002 % |
540.66/540.93	c |    696508 |     220    18700   130900 |    81505    77260     63 |  0.002 % |
544.27/544.58	c |    700496 |     220    18700   130900 |    80753    71367     63 |  0.002 % |
547.96/548.20	c |    704883 |     220    18700   130900 |    80753    75754     63 |  0.002 % |
551.56/551.87	c |    709708 |     220    18700   130900 |    80753    80579     63 |  0.002 % |
555.46/555.73	c |    715014 |     220    18700   130900 |    71599    68453     63 |  0.002 % |
560.06/560.34	c |    720849 |     220    18700   130900 | 2147483647    67118     63 |  0.002 % |
564.86/565.12	c |    727267 |     220    18700   130900 | 2147483647    73536     63 |  0.002 % |
564.86/565.20	c |    727367 |     220    18700   130900 | 2147483647    73636     63 |  0.002 % |
564.96/565.29	c |    727479 |     220    18700   130900 | 2147483647    73748     63 |  0.002 % |
565.06/565.39	c |    727600 |     220    18700   130900 | 2147483647    73869     63 |  0.002 % |
565.26/565.50	c |    727736 |     220    18700   130900 | 2147483647    74005     63 |  0.002 % |
565.36/565.63	c |    727882 |     220    18700   130900 | 2147483647    74151     63 |  0.002 % |
565.46/565.77	c |    728042 |     220    18700   130900 | 2147483647    74311     63 |  0.002 % |
565.66/565.96	c |    728219 |     220    18700   130900 | 2147483647    74488     63 |  0.002 % |
565.86/566.14	c |    728414 |     220    18700   130900 | 2147483647    74683     63 |  0.002 % |
566.05/566.32	c |    728628 |     220    18700   130900 | 2147483647    74897     63 |  0.002 % |
566.26/566.53	c |    728861 |     220    18700   130900 | 2147483647    75130     63 |  0.002 % |
566.45/566.76	c |    729117 |     220    18700   130900 | 2147483647    75386     63 |  0.002 % |
566.65/566.95	c |    729398 |     220    18700   130900 | 2147483647    75667     63 |  0.002 % |
566.85/567.18	c |    729709 |     220    18700   130900 | 2147483647    75978     63 |  0.002 % |
567.15/567.47	c |    730048 |     220    18700   130900 | 2147483647    76317     63 |  0.002 % |
567.55/567.85	c |    730420 |     220    18700   130900 | 2147483647    76689     63 |  0.002 % |
567.95/568.23	c |    730830 |     220    18700   130900 | 2147483647    77099     63 |  0.002 % |
568.36/568.66	c |    731279 |     220    18700   130900 | 2147483647    77548     63 |  0.002 % |
568.75/569.08	c |    731772 |     220    18700   130900 | 2147483647    78041     63 |  0.002 % |
569.25/569.53	c |    732316 |     220    18700   130900 | 2147483647    78585     63 |  0.002 % |
569.75/570.06	c |    732915 |     220    18700   130900 | 2147483647    79184     63 |  0.002 % |
570.25/570.56	c |    733570 |     220    18700   130900 | 2147483647    79839     63 |  0.002 % |
570.95/571.29	c |    734290 |     220    18700   130900 | 2147483647    80559     63 |  0.002 % |
571.85/572.14	c |    735082 |     220    18700   130900 | 2147483647    81351     63 |  0.002 % |
572.75/573.07	c |    735953 |     220    18700   130900 | 2147483647    82222     63 |  0.002 % |
573.75/574.05	c |    736912 |     220    18700   130900 | 2147483647    83181     63 |  0.002 % |
574.75/575.04	c |    737965 |     220    18700   130900 | 2147483647    84234     63 |  0.002 % |
575.75/576.06	c |    739124 |     220    18700   130900 | 2147483647    85393     63 |  0.002 % |
576.95/577.26	c |    740397 |     220    18700   130900 |    86269    74238     63 |  0.002 % |
578.05/578.38	c |    741798 |     220    18700   130900 |    86269    75639     63 |  0.002 % |
579.35/579.67	c |    743340 |     220    18700   130900 |    86269    77181     63 |  0.002 % |
580.75/581.01	c |    745035 |     220    18700   130900 |    86269    78876     63 |  0.002 % |
582.44/582.75	c |    746899 |     220    18700   130900 |    86269    80740     63 |  0.002 % |
584.14/584.48	c |    748949 |     220    18700   130900 |    86269    82790     63 |  0.002 % |
586.24/586.57	c |    751203 |     220    18700   130900 |    83842    72799     63 |  0.002 % |
588.34/588.61	c |    753682 |     220    18700   130900 |    83842    75278     63 |  0.002 % |
590.45/590.80	c |    756407 |     220    18700   130900 |    83842    78003     63 |  0.002 % |
593.14/593.49	c |    759404 |     220    18700   130900 |    83842    81000     63 |  0.002 % |
595.94/596.23	c |    762700 |     220    18700   130900 |    81596    73838     63 |  0.002 % |
598.54/598.81	c |    766325 |     220    18700   130900 |    81596    77463     63 |  0.002 % |
601.64/601.96	c |    770313 |     220    18700   130900 |    81141    73210     63 |  0.002 % |
604.94/605.27	c |    774699 |     220    18700   130900 |    81141    77596     63 |  0.002 % |
608.83/609.19	c |    779523 |     220    18700   130900 |    81141    73661     63 |  0.002 % |
612.53/612.89	c |    784828 |     220    18700   130900 |    74138    70976     63 |  0.002 % |
616.93/617.21	c |    790665 |     220    18700   130900 | 2147483647    69390     64 |  0.002 % |
621.73/622.00	c |    797083 |     220    18700   130900 | 2147483647    75808     64 |  0.002 % |
627.43/627.79	c |    804144 |     220    18700   130900 | 2147483647    82869     64 |  0.002 % |
627.53/627.87	c |    804244 |     220    18700   130900 | 2147483647    82969     64 |  0.002 % |
627.63/627.98	c |    804356 |     220    18700   130900 | 2147483647    83081     64 |  0.002 % |
627.83/628.10	c |    804477 |     220    18700   130900 | 2147483647    83202     64 |  0.002 % |
627.93/628.25	c |    804612 |     220    18700   130900 | 2147483647    83337     64 |  0.002 % |
628.13/628.41	c |    804759 |     220    18700   130900 | 2147483647    83484     64 |  0.002 % |
628.23/628.57	c |    804919 |     220    18700   130900 | 2147483647    83644     64 |  0.002 % |
628.43/628.74	c |    805096 |     220    18700   130900 | 2147483647    83821     64 |  0.002 % |
628.63/628.94	c |    805289 |     220    18700   130900 | 2147483647    84014     64 |  0.002 % |
628.83/629.17	c |    805501 |     220    18700   130900 | 2147483647    84226     64 |  0.002 % |
629.13/629.44	c |    805735 |     220    18700   130900 | 2147483647    84460     64 |  0.002 % |
629.43/629.73	c |    805992 |     220    18700   130900 | 2147483647    84717     64 |  0.002 % |
629.73/630.02	c |    806274 |     220    18700   130900 | 2147483647    84999     64 |  0.002 % |
630.03/630.34	c |    806585 |     220    18700   130900 | 2147483647    85310     64 |  0.002 % |
630.43/630.72	c |    806928 |     220    18700   130900 | 2147483647    85653     64 |  0.002 % |
630.83/631.13	c |    807300 |     220    18700   130900 | 2147483647    86025     64 |  0.002 % |
631.23/631.53	c |    807709 |     220    18700   130900 | 2147483647    86434     64 |  0.002 % |
631.73/632.01	c |    808158 |     220    18700   130900 | 2147483647    86883     64 |  0.002 % |
632.13/632.47	c |    808652 |     220    18700   130900 | 2147483647    87377     64 |  0.002 % |
632.63/632.97	c |    809194 |     220    18700   130900 | 2147483647    87919     64 |  0.002 % |
633.23/633.52	c |    809790 |     220    18700   130900 | 2147483647    88515     64 |  0.002 % |
633.82/634.17	c |    810447 |     220    18700   130900 |    88727    75589     64 |  0.002 % |
634.43/634.71	c |    811168 |     220    18700   130900 |    88727    76310     64 |  0.002 % |
635.02/635.30	c |    811961 |     220    18700   130900 |    88727    77103     64 |  0.002 % |
635.62/635.91	c |    812833 |     220    18700   130900 |    88727    77975     64 |  0.002 % |
636.32/636.60	c |    813791 |     220    18700   130900 |    88727    78933     64 |  0.002 % |
637.02/637.33	c |    814844 |     220    18700   130900 |    88727    79986     64 |  0.002 % |
637.92/638.22	c |    816003 |     220    18700   130900 |    88727    81145     64 |  0.002 % |
639.02/639.39	c |    817277 |     220    18700   130900 |    88727    82419     64 |  0.002 % |
640.42/640.71	c |    818678 |     220    18700   130900 |    88727    83820     64 |  0.002 % |
641.82/642.15	c |    820218 |     220    18700   130900 |    85142    73687     64 |  0.002 % |
643.13/643.48	c |    821914 |     220    18700   130900 |    85142    75383     64 |  0.002 % |
644.62/644.98	c |    823779 |     220    18700   130900 |    85142    77248     64 |  0.002 % |
646.32/646.63	c |    825828 |     220    18700   130900 |    85142    79297     63 |  0.002 % |
648.02/648.32	c |    828081 |     220    18700   130900 |    85142    81550     63 |  0.002 % |
650.22/650.56	c |    830560 |     220    18700   130900 |    83470    73580     63 |  0.002 % |
652.42/652.74	c |    833287 |     220    18700   130900 |    83470    76307     63 |  0.002 % |
654.72/655.06	c |    836284 |     220    18700   130900 |    83470    79304     63 |  0.002 % |
657.42/657.75	c |    839583 |     220    18700   130900 |    83470    82603     63 |  0.002 % |
660.32/660.69	c |    843208 |     220    18700   130900 |    83020    75850     63 |  0.002 % |
663.22/663.58	c |    847196 |     220    18700   130900 |    83020    79838     63 |  0.002 % |
666.52/666.89	c |    851582 |     220    18700   130900 |    82644    74204     63 |  0.002 % |
670.62/670.99	c |    856405 |     220    18700   130900 |    82644    79027     64 |  0.002 % |
675.31/675.66	c |    861710 |     220    18700   130900 |    82626    74453     63 |  0.002 % |
680.01/680.32	c |    867546 |     220    18700   130900 |    82626    80289     63 |  0.002 % |
684.91/685.28	c |    873965 |     220    18700   130900 |    72884    68185     63 |  0.002 % |
690.01/690.32	c |    881026 |     220    18700   130900 | 2147483647    67948     63 |  0.002 % |
696.21/696.53	c |    888792 |     220    18700   130900 | 2147483647    75714     63 |  0.002 % |
696.31/696.61	c |    888892 |     220    18700   130900 | 2147483647    75814     63 |  0.002 % |
696.31/696.69	c |    889003 |     220    18700   130900 | 2147483647    75925     63 |  0.002 % |
696.51/696.83	c |    889124 |     220    18700   130900 | 2147483647    76046     63 |  0.002 % |
696.61/696.95	c |    889257 |     220    18700   130900 | 2147483647    76179     63 |  0.002 % |
696.81/697.10	c |    889403 |     220    18700   130900 | 2147483647    76325     63 |  0.002 % |
696.91/697.24	c |    889563 |     220    18700   130900 | 2147483647    76485     63 |  0.002 % |
697.01/697.39	c |    889742 |     220    18700   130900 | 2147483647    76664     63 |  0.002 % |
697.21/697.54	c |    889935 |     220    18700   130900 | 2147483647    76857     63 |  0.002 % |
697.41/697.71	c |    890147 |     220    18700   130900 | 2147483647    77069     63 |  0.002 % |
697.61/697.91	c |    890381 |     220    18700   130900 | 2147483647    77303     63 |  0.002 % |
697.81/698.12	c |    890638 |     220    18700   130900 | 2147483647    77560     63 |  0.002 % |
698.01/698.34	c |    890920 |     220    18700   130900 | 2147483647    77842     63 |  0.002 % |
698.21/698.57	c |    891231 |     220    18700   130900 | 2147483647    78153     63 |  0.002 % |
698.51/698.86	c |    891570 |     220    18700   130900 | 2147483647    78492     63 |  0.002 % |
698.91/699.29	c |    891942 |     220    18700   130900 | 2147483647    78864     63 |  0.002 % |
699.31/699.68	c |    892352 |     220    18700   130900 | 2147483647    79274     63 |  0.002 % |
699.81/700.13	c |    892801 |     220    18700   130900 | 2147483647    79723     63 |  0.002 % |
700.21/700.57	c |    893294 |     220    18700   130900 | 2147483647    80216     63 |  0.002 % |
700.71/701.07	c |    893837 |     220    18700   130900 | 2147483647    80759     63 |  0.002 % |
701.31/701.64	c |    894433 |     220    18700   130900 | 2147483647    81355     63 |  0.002 % |
701.91/702.29	c |    895088 |     220    18700   130900 | 2147483647    82010     63 |  0.002 % |
702.71/703.07	c |    895810 |     220    18700   130900 | 2147483647    82732     63 |  0.002 % |
703.40/703.76	c |    896605 |     220    18700   130900 | 2147483647    83527     63 |  0.002 % |
704.20/704.50	c |    897477 |     220    18700   130900 | 2147483647    84399     63 |  0.002 % |
705.00/705.32	c |    898437 |     220    18700   130900 | 2147483647    85359     63 |  0.002 % |
705.91/706.25	c |    899490 |     220    18700   130900 | 2147483647    86412     63 |  0.002 % |
706.91/707.28	c |    900648 |     220    18700   130900 |    86922    74755     63 |  0.002 % |
707.90/708.27	c |    901921 |     220    18700   130900 |    86922    76028     63 |  0.002 % |
709.00/709.40	c |    903321 |     220    18700   130900 |    86922    77428     63 |  0.002 % |
710.31/710.62	c |    904861 |     220    18700   130900 |    86922    78968     63 |  0.002 % |
711.70/712.06	c |    906556 |     220    18700   130900 |    86922    80663     63 |  0.002 % |
713.80/714.17	c |    908420 |     220    18700   130900 |    86922    82527     63 |  0.002 % |
715.71/716.03	c |    910470 |     220    18700   130900 |    84107    72303     63 |  0.002 % |
717.40/717.76	c |    912724 |     220    18700   130900 |    84107    74557     63 |  0.002 % |
719.50/719.85	c |    915203 |     220    18700   130900 |    84107    77036     63 |  0.002 % |
721.50/721.89	c |    917929 |     220    18700   130900 |    84107    79762     63 |  0.002 % |
723.80/724.15	c |    920927 |     220    18700   130900 |    81835    72694     63 |  0.002 % |
726.30/726.65	c |    924223 |     220    18700   130900 |    81835    75990     63 |  0.002 % |
729.30/729.65	c |    927848 |     220    18700   130900 |    81835    79615     63 |  0.002 % |
732.79/733.11	c |    931835 |     220    18700   130900 |    81767    73979     63 |  0.002 % |
736.09/736.45	c |    936221 |     220    18700   130900 |    81767    78365     63 |  0.002 % |
739.90/740.25	c |    941044 |     220    18700   130900 |    72794    65579     63 |  0.002 % |
743.79/744.15	c |    946350 |     220    18700   130900 |    72794    70885     63 |  0.002 % |
748.09/748.49	c |    952186 |     220    18700   130900 |    66897    62272     64 |  0.002 % |
752.39/752.76	c |    958605 |     220    18700   130900 |    66897    61993     64 |  0.002 % |
757.09/757.40	c |    965665 |     220    18700   130900 | 2147483647    69053     64 |  0.002 % |
762.69/763.00	c |    973430 |     220    18700   130900 | 2147483647    76818     64 |  0.002 % |
769.29/769.65	c |    981971 |     220    18700   130900 |    83389    76823     64 |  0.002 % |
769.39/769.73	c |    982073 |     220    18700   130900 |    83389    76925     64 |  0.002 % |
769.49/769.83	c |    982183 |     220    18700   130900 |    83389    77035     64 |  0.002 % |
769.60/769.94	c |    982307 |     220    18700   130900 |    83389    77159     64 |  0.002 % |
769.70/770.07	c |    982442 |     220    18700   130900 |    83389    77294     64 |  0.002 % |
769.89/770.21	c |    982589 |     220    18700   130900 |    83389    77441     64 |  0.002 % |
769.99/770.39	c |    982749 |     220    18700   130900 |    83389    77601     64 |  0.002 % |
770.19/770.55	c |    982927 |     220    18700   130900 |    83389    77779     64 |  0.002 % |
770.39/770.75	c |    983122 |     220    18700   130900 |    83389    77974     64 |  0.002 % |
770.59/770.94	c |    983334 |     220    18700   130900 |    83389    78186     64 |  0.002 % |
770.80/771.14	c |    983567 |     220    18700   130900 |    83389    78419     64 |  0.002 % |
771.09/771.40	c |    983823 |     220    18700   130900 |    83389    78675     64 |  0.002 % |
771.29/771.64	c |    984105 |     220    18700   130900 |    83389    78957     64 |  0.002 % |
771.49/771.88	c |    984414 |     220    18700   130900 |    83389    79266     64 |  0.002 % |
771.80/772.15	c |    984753 |     220    18700   130900 |    83389    79605     64 |  0.002 % |
772.09/772.44	c |    985126 |     220    18700   130900 |    83389    79978     64 |  0.002 % |
772.49/772.82	c |    985536 |     220    18700   130900 |    83389    80388     64 |  0.002 % |
772.89/773.30	c |    985985 |     220    18700   130900 |    83389    80837     64 |  0.002 % |
773.39/773.74	c |    986479 |     220    18700   130900 |    83389    81331     64 |  0.002 % |
773.89/774.26	c |    987021 |     220    18700   130900 |    83389    81873     64 |  0.002 % |
774.49/774.86	c |    987617 |     220    18700   130900 |    83389    82469     64 |  0.002 % |
775.09/775.48	c |    988273 |     220    18700   130900 |    83389    83125     64 |  0.002 % |
775.79/776.16	c |    988995 |     220    18700   130900 |    83389    72826     64 |  0.002 % |
776.39/776.75	c |    989789 |     220    18700   130900 |    83389    73620     64 |  0.002 % |
777.09/777.40	c |    990660 |     220    18700   130900 |    73831    65125     64 |  0.002 % |
777.69/778.04	c |    991619 |     220    18700   130900 |    73831    66084     64 |  0.002 % |
778.39/778.75	c |    992674 |     220    18700   130900 |    73831    67139     64 |  0.002 % |
779.19/779.53	c |    993832 |     220    18700   130900 |    73831    68297     64 |  0.002 % |
780.09/780.43	c |    995105 |     220    18700   130900 |    73831    69570     64 |  0.002 % |
781.09/781.42	c |    996505 |     220    18700   130900 |    73831    70970     64 |  0.002 % |
782.29/782.70	c |    998047 |     220    18700   130900 |    73831    72512     64 |  0.002 % |
783.69/784.09	c |    999742 |     220    18700   130900 |    73831    66814     64 |  0.002 % |
784.99/785.37	c |   1001606 |     220    18700   130900 | 2147483647    68678     64 |  0.002 % |
786.39/786.79	c |   1003656 |     220    18700   130900 | 2147483647    70728     64 |  0.002 % |
787.98/788.37	c |   1005913 |     220    18700   130900 | 2147483647    72985     64 |  0.002 % |
789.78/790.10	c |   1008391 |     220    18700   130900 | 2147483647    75463     64 |  0.002 % |
791.78/792.15	c |   1011116 |     220    18700   130900 | 2147483647    78188     64 |  0.002 % |
794.18/794.53	c |   1014114 |     220    18700   130900 | 2147483647    81186     64 |  0.002 % |
796.78/797.13	c |   1017410 |     220    18700   130900 | 2147483647    84482     64 |  0.002 % |
799.78/800.16	c |   1021035 |     220    18700   130900 |    87073    77779     64 |  0.002 % |
802.88/803.30	c |   1025023 |     220    18700   130900 |    87073    81767     64 |  0.002 % |
806.78/807.12	c |   1029409 |     220    18700   130900 |    87073    86153     64 |  0.002 % |
810.58/810.90	c |   1034232 |     220    18700   130900 |    86745    79142     64 |  0.002 % |
814.78/815.10	c |   1039538 |     220    18700   130900 |    86745    84448     64 |  0.002 % |
819.28/819.60	c |   1045374 |     220    18700   130900 |    84910    79079     64 |  0.002 % |
824.07/824.49	c |   1051793 |     220    18700   130900 |    83705    75097     64 |  0.002 % |
829.77/830.18	c |   1058853 |     220    18700   130900 |    83705    82157     64 |  0.002 % |
835.57/835.95	c |   1066617 |     220    18700   130900 |    83305    79488     64 |  0.002 % |
842.47/842.80	c |   1075157 |     220    18700   130900 |    82871    78750     64 |  0.002 % |
849.57/849.97	c |   1084551 |     220    18700   130900 |    74534    71006     64 |  0.002 % |
849.67/850.06	c |   1084651 |     220    18700   130900 |    74534    71106     64 |  0.002 % |
849.77/850.15	c |   1084762 |     220    18700   130900 |    74534    71217     64 |  0.002 % |
849.87/850.26	c |   1084883 |     220    18700   130900 |    74534    71338     64 |  0.002 % |
849.97/850.39	c |   1085017 |     220    18700   130900 |    74534    71472     64 |  0.002 % |
850.17/850.52	c |   1085163 |     220    18700   130900 |    74534    71618     64 |  0.002 % |
850.27/850.66	c |   1085323 |     220    18700   130900 |    74534    71778     64 |  0.002 % |
850.47/850.80	c |   1085501 |     220    18700   130900 |    74534    71956     64 |  0.002 % |
850.67/851.00	c |   1085695 |     220    18700   130900 |    74534    72150     64 |  0.002 % |
850.87/851.20	c |   1085908 |     220    18700   130900 |    74534    72363     64 |  0.002 % |
851.07/851.42	c |   1086141 |     220    18700   130900 |    74534    72596     64 |  0.002 % |
851.27/851.66	c |   1086397 |     220    18700   130900 |    74534    72852     64 |  0.002 % |
851.57/851.93	c |   1086679 |     220    18700   130900 |    74534    73134     64 |  0.002 % |
851.87/852.22	c |   1086988 |     220    18700   130900 |    74534    73443     64 |  0.002 % |
852.17/852.53	c |   1087327 |     220    18700   130900 |    74534    73782     64 |  0.002 % |
852.46/852.82	c |   1087699 |     220    18700   130900 |    74534    74154     64 |  0.002 % |
852.76/853.14	c |   1088110 |     220    18700   130900 |    74534    74565     64 |  0.002 % |
853.17/853.51	c |   1088559 |     220    18700   130900 |    74534    67558     64 |  0.002 % |
853.56/853.95	c |   1089054 |     220    18700   130900 |    74534    68053     64 |  0.002 % |
854.07/854.45	c |   1089596 |     220    18700   130900 |    74534    68595     64 |  0.002 % |
854.67/855.00	c |   1090192 |     220    18700   130900 | 2147483647    69191     64 |  0.002 % |
855.06/855.46	c |   1090847 |     220    18700   130900 | 2147483647    69846     64 |  0.002 % |
855.66/856.01	c |   1091568 |     220    18700   130900 | 2147483647    70567     64 |  0.002 % |
856.47/856.81	c |   1092360 |     220    18700   130900 | 2147483647    71359     64 |  0.002 % |
857.16/857.59	c |   1093232 |     220    18700   130900 | 2147483647    72231     64 |  0.002 % |
858.06/858.42	c |   1094190 |     220    18700   130900 | 2147483647    73189     64 |  0.002 % |
858.96/859.33	c |   1095244 |     220    18700   130900 | 2147483647    74243     64 |  0.002 % |
859.87/860.22	c |   1096402 |     220    18700   130900 | 2147483647    75401     64 |  0.002 % |
860.87/861.28	c |   1097676 |     220    18700   130900 | 2147483647    76675     64 |  0.002 % |
861.96/862.39	c |   1099077 |     220    18700   130900 | 2147483647    78076     64 |  0.002 % |
863.36/863.74	c |   1100619 |     220    18700   130900 |    78999    70078     64 |  0.002 % |
864.56/864.97	c |   1102315 |     220    18700   130900 |    78999    71774     64 |  0.002 % |
865.96/866.35	c |   1104178 |     220    18700   130900 |    78999    73637     64 |  0.002 % |
867.46/867.89	c |   1106227 |     220    18700   130900 |    78999    75686     64 |  0.002 % |
869.36/869.70	c |   1108480 |     220    18700   130900 |    78999    77939     64 |  0.002 % |
871.16/871.53	c |   1110962 |     220    18700   130900 |    70670    63957     64 |  0.002 % |
872.86/873.21	c |   1113687 |     220    18700   130900 |    70670    66682     64 |  0.002 % |
874.86/875.27	c |   1116684 |     220    18700   130900 |    70670    69679     64 |  0.002 % |
877.16/877.55	c |   1119980 |     220    18700   130900 |    70670    65899     64 |  0.002 % |
879.66/880.03	c |   1123605 |     220    18700   130900 | 2147483647    69524     64 |  0.002 % |
882.35/882.74	c |   1127592 |     220    18700   130900 | 2147483647    73511     64 |  0.002 % |
885.65/886.08	c |   1131977 |     220    18700   130900 | 2147483647    77896     64 |  0.002 % |
889.46/889.90	c |   1136800 |     220    18700   130900 | 2147483647    82719     64 |  0.002 % |
893.56/893.92	c |   1142109 |     220    18700   130900 |    85920    77175     64 |  0.002 % |
898.06/898.42	c |   1147944 |     220    18700   130900 |    85920    83010     64 |  0.002 % |
903.36/903.71	c |   1154362 |     220    18700   130900 |    85066    79029     64 |  0.002 % |
908.86/909.23	c |   1161423 |     220    18700   130900 |    84667    75699     64 |  0.002 % |
915.35/915.79	c |   1169187 |     220    18700   130900 |    84667    83463     63 |  0.002 % |
921.85/922.20	c |   1177728 |     220    18700   130900 |    84277    81400     64 |  0.002 % |
930.25/930.63	c |   1187122 |     220    18700   130900 |    83672    80892     64 |  0.002 % |
938.55/938.92	c |   1197456 |     220    18700   130900 |    72604    70392     64 |  0.002 % |
938.65/939.02	c |   1197556 |     220    18700   130900 |    72604    70492     64 |  0.002 % |
938.75/939.13	c |   1197668 |     220    18700   130900 |    72604    70604     64 |  0.002 % |
938.85/939.24	c |   1197789 |     220    18700   130900 |    72604    70725     64 |  0.002 % |
938.95/939.36	c |   1197925 |     220    18700   130900 |    72604    70861     64 |  0.002 % |
939.15/939.50	c |   1198072 |     220    18700   130900 |    72604    71008     64 |  0.002 % |
939.25/939.66	c |   1198232 |     220    18700   130900 |    72604    71168     64 |  0.002 % |
939.45/939.82	c |   1198411 |     220    18700   130900 |    72604    71347     64 |  0.002 % |
939.55/939.99	c |   1198604 |     220    18700   130900 |    72604    71540     64 |  0.002 % |
939.75/940.18	c |   1198816 |     220    18700   130900 |    72604    71752     64 |  0.002 % |
939.95/940.38	c |   1199050 |     220    18700   130900 |    72604    71986     64 |  0.002 % |
940.25/940.62	c |   1199310 |     220    18700   130900 |    72604    72246     64 |  0.002 % |
940.45/940.86	c |   1199591 |     220    18700   130900 |    72604    72527     64 |  0.002 % |
940.75/941.19	c |   1199900 |     220    18700   130900 |    72604    65521     63 |  0.002 % |
941.05/941.49	c |   1200239 |     220    18700   130900 |    65621    59276     63 |  0.002 % |
941.35/941.71	c |   1200612 |     220    18700   130900 |    65621    59649     63 |  0.002 % |
941.55/941.98	c |   1201021 |     220    18700   130900 |    65621    60058     63 |  0.002 % |
941.95/942.30	c |   1201471 |     220    18700   130900 |    65621    60508     63 |  0.002 % |
942.25/942.65	c |   1201964 |     220    18700   130900 |    65621    61001     63 |  0.002 % |
942.65/943.07	c |   1202508 |     220    18700   130900 |    65621    61545     63 |  0.002 % |
943.04/943.47	c |   1203105 |     220    18700   130900 |    65621    62142     63 |  0.002 % |
943.54/943.92	c |   1203761 |     220    18700   130900 |    65621    62798     63 |  0.002 % |
943.94/944.37	c |   1204482 |     220    18700   130900 |    65621    63519     63 |  0.002 % |
944.55/944.92	c |   1205275 |     220    18700   130900 |    65621    64312     63 |  0.002 % |
945.14/945.55	c |   1206147 |     220    18700   130900 |    65621    65184     63 |  0.002 % |
945.84/946.26	c |   1207107 |     220    18700   130900 |    65621    59574     63 |  0.002 % |
946.54/946.94	c |   1208160 |     220    18700   130900 |    65621    60627     63 |  0.002 % |
947.34/947.72	c |   1209319 |     220    18700   130900 |    65621    61786     63 |  0.002 % |
948.24/948.65	c |   1210592 |     220    18700   130900 | 2147483647    63059     63 |  0.002 % |
949.24/949.63	c |   1211992 |     220    18700   130900 | 2147483647    64459     63 |  0.002 % |
950.24/950.66	c |   1213536 |     220    18700   130900 | 2147483647    66003     63 |  0.002 % |
951.44/951.80	c |   1215230 |     220    18700   130900 | 2147483647    67697     63 |  0.002 % |
952.74/953.13	c |   1217094 |     220    18700   130900 | 2147483647    69561     63 |  0.002 % |
954.14/954.55	c |   1219146 |     220    18700   130900 | 2147483647    71613     63 |  0.002 % |
955.74/956.18	c |   1221399 |     220    18700   130900 | 2147483647    73866     63 |  0.002 % |
957.54/957.95	c |   1223878 |     220    18700   130900 | 2147483647    76345     63 |  0.002 % |
959.74/960.17	c |   1226603 |     220    18700   130900 | 2147483647    79070     63 |  0.002 % |
962.14/962.53	c |   1229601 |     220    18700   130900 | 2147483647    82068     63 |  0.002 % |
964.84/965.29	c |   1232898 |     220    18700   130900 | 2147483647    85365     63 |  0.002 % |
967.93/968.34	c |   1236523 |     220    18700   130900 | 2147483647    88990     63 |  0.002 % |
971.74/972.11	c |   1240510 |     220    18700   130900 |    92468    78862     63 |  0.002 % |
975.44/975.86	c |   1244896 |     220    18700   130900 |    92468    83248     63 |  0.002 % |
979.54/979.94	c |   1249721 |     220    18700   130900 |    92468    88073     63 |  0.002 % |
983.43/983.86	c |   1255026 |     220    18700   130900 |    88352    79812     63 |  0.002 % |
988.33/988.76	c |   1260863 |     220    18700   130900 |    84786    73797     64 |  0.002 % |
993.23/993.64	c |   1267281 |     220    18700   130900 |    84786    80215     64 |  0.002 % |
998.93/999.39	c |   1274341 |     220    18700   130900 |    82936    77004     64 |  0.002 % |
1005.03/1005.43	c |   1282107 |     220    18700   130900 |    82663    75815     64 |  0.002 % |
1012.12/1012.53	c |   1290647 |     220    18700   130900 |    74842    67557     64 |  0.002 % |
1019.22/1019.70	c |   1300043 |     220    18700   130900 | 2147483647    69459     64 |  0.002 % |
1026.92/1027.40	c |   1310378 |     220    18700   130900 |    79418    70616     64 |  0.002 % |
1035.82/1036.23	c |   1321747 |     220    18700   130900 |    70707    64122     64 |  0.002 % |
1035.92/1036.32	c |   1321847 |     220    18700   130900 |    70707    64222     64 |  0.002 % |
1035.92/1036.39	c |   1321960 |     220    18700   130900 |    70707    64335     64 |  0.002 % |
1036.12/1036.50	c |   1322081 |     220    18700   130900 |    70707    64456     64 |  0.002 % |
1036.22/1036.63	c |   1322215 |     220    18700   130900 |    70707    64590     64 |  0.002 % |
1036.32/1036.75	c |   1322362 |     220    18700   130900 |    70707    64737     64 |  0.002 % |
1036.42/1036.87	c |   1322522 |     220    18700   130900 |    70707    64897     64 |  0.002 % |
1036.62/1037.03	c |   1322699 |     220    18700   130900 |    70707    65074     64 |  0.002 % |
1036.82/1037.21	c |   1322893 |     220    18700   130900 |    70707    65268     64 |  0.002 % |
1037.02/1037.41	c |   1323106 |     220    18700   130900 |    70707    65481     64 |  0.002 % |
1037.22/1037.60	c |   1323339 |     220    18700   130900 |    70707    65714     64 |  0.002 % |
1037.42/1037.80	c |   1323595 |     220    18700   130900 |    70707    65970     64 |  0.002 % |
1037.62/1038.03	c |   1323876 |     220    18700   130900 |    70707    66251     64 |  0.002 % |
1037.82/1038.28	c |   1324185 |     220    18700   130900 |    70707    66560     64 |  0.002 % |
1038.12/1038.50	c |   1324525 |     220    18700   130900 |    70707    66900     64 |  0.002 % |
1038.42/1038.83	c |   1324897 |     220    18700   130900 |    70707    67272     64 |  0.002 % |
1038.72/1039.15	c |   1325306 |     220    18700   130900 |    70707    67681     64 |  0.002 % |
1039.12/1039.51	c |   1325755 |     220    18700   130900 |    70707    68130     64 |  0.002 % |
1039.51/1039.91	c |   1326249 |     220    18700   130900 |    70707    68624     64 |  0.002 % |
1039.91/1040.33	c |   1326792 |     220    18700   130900 |    70707    69167     64 |  0.002 % |
1040.31/1040.77	c |   1327391 |     220    18700   130900 |    70707    69766     64 |  0.002 % |
1040.81/1041.20	c |   1328046 |     220    18700   130900 |    70707    70421     64 |  0.002 % |
1041.42/1041.85	c |   1328766 |     220    18700   130900 |    70707    64061     64 |  0.002 % |
1042.02/1042.46	c |   1329560 |     220    18700   130900 |    70707    64855     64 |  0.002 % |
1042.72/1043.15	c |   1330434 |     220    18700   130900 | 2147483647    65729     64 |  0.002 % |
1043.53/1043.98	c |   1331392 |     220    18700   130900 | 2147483647    66687     64 |  0.002 % |
1044.32/1044.78	c |   1332446 |     220    18700   130900 | 2147483647    67741     64 |  0.002 % |
1045.22/1045.61	c |   1333605 |     220    18700   130900 | 2147483647    68900     64 |  0.002 % |
1046.22/1046.61	c |   1334878 |     220    18700   130900 | 2147483647    70173     64 |  0.002 % |
1047.22/1047.66	c |   1336279 |     220    18700   130900 | 2147483647    71574     64 |  0.002 % |
1048.32/1048.79	c |   1337821 |     220    18700   130900 | 2147483647    73116     64 |  0.002 % |
1049.62/1050.07	c |   1339515 |     220    18700   130900 | 2147483647    74810     64 |  0.002 % |
1051.42/1051.87	c |   1341379 |     220    18700   130900 | 2147483647    76674     64 |  0.002 % |
1053.22/1053.64	c |   1343429 |     220    18700   130900 | 2147483647    78724     64 |  0.002 % |
1055.02/1055.47	c |   1345683 |     220    18700   130900 | 2147483647    80978     64 |  0.002 % |
1057.12/1057.59	c |   1348161 |     220    18700   130900 | 2147483647    83456     64 |  0.002 % |
1059.22/1059.67	c |   1350886 |     220    18700   130900 |    85298    75054     64 |  0.002 % |
1061.52/1061.99	c |   1353883 |     220    18700   130900 |    85298    78051     64 |  0.002 % |
1064.02/1064.41	c |   1357179 |     220    18700   130900 |    85298    81347     64 |  0.002 % |
1067.00/1067.41	c |   1360804 |     220    18700   130900 |    84169    75003     64 |  0.002 % |
1070.00/1070.40	c |   1364791 |     220    18700   130900 |    84169    78990     64 |  0.002 % |
1073.30/1073.75	c |   1369176 |     220    18700   130900 |    84169    83375     64 |  0.002 % |
1077.00/1077.45	c |   1373999 |     220    18700   130900 |    84199    79252     64 |  0.002 % |
1081.30/1081.70	c |   1379304 |     220    18700   130900 |    84199    75419     64 |  0.002 % |
1085.60/1086.02	c |   1385140 |     220    18700   130900 |    76115    73013     64 |  0.002 % |
1090.40/1090.82	c |   1391558 |     220    18700   130900 | 2147483647    71810     63 |  0.002 % |
1095.40/1095.89	c |   1398618 |     220    18700   130900 | 2147483647    78870     64 |  0.002 % |
1100.90/1101.37	c |   1406382 |     220    18700   130900 |    80252    77981     64 |  0.002 % |
1107.09/1107.53	c |   1414923 |     220    18700   130900 |    72614    69615     64 |  0.002 % |
1113.79/1114.30	c |   1424318 |     220    18700   130900 | 2147483647    71739     64 |  0.002 % |
1122.30/1122.73	c |   1434652 |     220    18700   130900 | 2147483647    82073     64 |  0.002 % |
1131.75/1132.20	c |   1446020 |     220    18700   130900 |    87421    83144     64 |  0.002 % |
1141.54/1142.09	c |   1458523 |     220    18700   130900 |    87124    83847     64 |  0.002 % |
1141.64/1142.17	c |   1458623 |     220    18700   130900 |    87124    83947     64 |  0.002 % |
1141.74/1142.27	c |   1458734 |     220    18700   130900 |    87124    84058     64 |  0.002 % |
1141.84/1142.38	c |   1458855 |     220    18700   130900 |    87124    84179     64 |  0.002 % |
1142.04/1142.51	c |   1458989 |     220    18700   130900 |    87124    84313     64 |  0.002 % |
1142.14/1142.66	c |   1459137 |     220    18700   130900 |    87124    84461     64 |  0.002 % |
1142.34/1142.82	c |   1459299 |     220    18700   130900 |    87124    84623     64 |  0.002 % |
1142.44/1142.97	c |   1459476 |     220    18700   130900 |    87124    84800     64 |  0.002 % |
1142.64/1143.14	c |   1459669 |     220    18700   130900 |    87124    84993     64 |  0.002 % |
1142.84/1143.32	c |   1459881 |     220    18700   130900 |    87124    85205     64 |  0.002 % |
1143.14/1143.61	c |   1460114 |     220    18700   130900 |    85324    73044     64 |  0.002 % |
1143.34/1143.82	c |   1460371 |     220    18700   130900 |    85324    73301     64 |  0.002 % |
1143.54/1144.03	c |   1460654 |     220    18700   130900 |    85324    73584     64 |  0.002 % |
1143.74/1144.26	c |   1460964 |     220    18700   130900 |    85324    73894     64 |  0.002 % |
1144.04/1144.52	c |   1461304 |     220    18700   130900 |    85324    74234     64 |  0.002 % |
1144.34/1144.84	c |   1461676 |     220    18700   130900 |    85324    74606     64 |  0.002 % |
1144.64/1145.19	c |   1462085 |     220    18700   130900 |    85324    75015     64 |  0.002 % |
1145.04/1145.58	c |   1462534 |     220    18700   130900 |    85324    75464     64 |  0.002 % |
1145.54/1146.05	c |   1463027 |     220    18700   130900 |    85324    75957     64 |  0.002 % |
1146.04/1146.53	c |   1463569 |     220    18700   130900 |    85324    76499     64 |  0.002 % |
1146.63/1147.10	c |   1464165 |     220    18700   130900 |    85324    77095     64 |  0.002 % |
1147.23/1147.72	c |   1464821 |     220    18700   130900 |    85324    77751     64 |  0.002 % |
1147.84/1148.35	c |   1465541 |     220    18700   130900 |    85324    78471     64 |  0.002 % |
1148.73/1149.21	c |   1466336 |     220    18700   130900 |    85324    79266     64 |  0.002 % |
1149.43/1149.99	c |   1467208 |     220    18700   130900 |    85324    80138     64 |  0.002 % |
1150.33/1150.89	c |   1468166 |     220    18700   130900 |    85324    81096     64 |  0.002 % |
1151.24/1151.74	c |   1469219 |     220    18700   130900 |    85324    82149     64 |  0.002 % |
1152.24/1152.71	c |   1470378 |     220    18700   130900 |    82933    71546     64 |  0.002 % |
1153.23/1153.71	c |   1471652 |     220    18700   130900 |    82933    72820     64 |  0.002 % |
1154.23/1154.74	c |   1473052 |     220    18700   130900 |    82933    74220     64 |  0.002 % |
1155.64/1156.15	c |   1474592 |     220    18700   130900 |    82933    75760     64 |  0.002 % |
1157.03/1157.54	c |   1476286 |     220    18700   130900 |    82933    77454     64 |  0.002 % |
1158.63/1159.12	c |   1478151 |     220    18700   130900 |    82933    79319     64 |  0.002 % |
1160.33/1160.87	c |   1480200 |     220    18700   130900 |    81168    71223     64 |  0.002 % |
1161.93/1162.41	c |   1482453 |     220    18700   130900 |    81168    73476     64 |  0.002 % |
1163.63/1164.19	c |   1484931 |     220    18700   130900 |    81168    75954     64 |  0.002 % |
1165.63/1166.19	c |   1487658 |     220    18700   130900 |    81168    78681     64 |  0.002 % |
1168.02/1168.57	c |   1490655 |     220    18700   130900 |    81023    73094     64 |  0.002 % |
1170.62/1171.12	c |   1493951 |     220    18700   130900 |    81023    76390     64 |  0.002 % |
1173.52/1174.04	c |   1497576 |     220    18700   130900 |    81023    80015     64 |  0.002 % |
1176.92/1177.49	c |   1501563 |     220    18700   130900 |    73142    66184     64 |  0.002 % |
1180.32/1180.89	c |   1505948 |     220    18700   130900 |    73142    70569     64 |  0.002 % |
1184.03/1184.59	c |   1510772 |     220    18700   130900 |    66828    60837     64 |  0.002 % |
1187.62/1188.19	c |   1516077 |     220    18700   130900 |    66828    66142     64 |  0.002 % |
1191.72/1192.22	c |   1521915 |     220    18700   130900 | 2147483647    65288     64 |  0.002 % |
1196.23/1196.73	c |   1528333 |     220    18700   130900 | 2147483647    71706     64 |  0.002 % |

Verifier Data

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

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832553-1242783795/watcher-1832553-1242783795 -o /tmp/evaluation-result-1832553-1242783795/solver-1832553-1242783795 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832553-1242783795.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17564
/proc/meminfo: memFree=1866328/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306406743 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17564/statm: 1339 237 197 169 0 50 0

[startup+0.0951191 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17564
/proc/meminfo: memFree=1866328/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.101118 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17564
/proc/meminfo: memFree=1866328/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.301137 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17564
/proc/meminfo: memFree=1866328/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.701175 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17564
/proc/meminfo: memFree=1866328/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+1.50124 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1861640/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=5256 CPUtime=1.41
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 1088 0 0 0 141 0 0 0 25 0 1 0 306406750 5382144 1074 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 1314 1074 76 171 0 1141 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10612

[startup+3.10138 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1860168/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=7632 CPUtime=3.01
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 1691 0 0 0 300 1 0 0 25 0 1 0 306406750 7815168 1677 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 1908 1677 76 171 0 1735 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12988

[startup+6.30166 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1856392/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=10772 CPUtime=6.21
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 2462 0 0 0 619 2 0 0 25 0 1 0 306406750 11030528 2448 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 2693 2448 76 171 0 2520 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16128

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1851720/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=15108 CPUtime=12.6
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 3531 0 0 0 1257 3 0 0 25 0 1 0 306406750 15470592 3517 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 3777 3517 76 171 0 3604 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20464

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1845448/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=21172 CPUtime=25.39
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 5027 0 0 0 2534 5 0 0 25 0 1 0 306406750 21680128 5013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 5293 5013 76 171 0 5120 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 26528

[startup+51.1026 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1838600/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=27664 CPUtime=50.98
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 6696 0 0 0 5091 7 0 0 25 0 1 0 306406750 28327936 6682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 6916 6682 76 171 0 6743 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 33020

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1838536/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=27664 CPUtime=102.16
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 6696 0 0 0 10208 8 0 0 25 0 1 0 306406750 28327936 6682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 6916 6682 76 171 0 6743 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 33020

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1838408/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=27664 CPUtime=162.13
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 6697 0 0 0 16205 8 0 0 25 0 1 0 306406750 28327936 6683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 6916 6683 76 171 0 6743 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 33020

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1836936/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=29124 CPUtime=222.11
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7036 0 0 0 22202 9 0 0 25 0 1 0 306406750 29822976 7022 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7281 7022 76 171 0 7108 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 34480

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1836872/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=29100 CPUtime=282.09
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7039 0 0 0 28200 9 0 0 25 0 1 0 306406750 29798400 7025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7275 7025 76 171 0 7102 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 34456

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1836744/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=29100 CPUtime=342.07
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7040 0 0 0 34197 10 0 0 25 0 1 0 306406750 29798400 7026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7275 7026 76 171 0 7102 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 34456

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1836296/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=29508 CPUtime=402.05
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7131 0 0 0 40195 10 0 0 25 0 1 0 306406750 30216192 7117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7377 7117 76 171 0 7204 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 34864

[startup+462.302 s]

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

[pid=17570] ppid=17564 vsize=30420 CPUtime=522.01
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7401 0 0 0 52190 11 0 0 25 0 1 0 306406750 31150080 7366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7605 7366 76 171 0 7432 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 35776

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1835016/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=30420 CPUtime=581.98
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7401 0 0 0 58187 11 0 0 25 0 1 0 306406750 31150080 7366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7605 7366 76 171 0 7432 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 35776

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1834440/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=30952 CPUtime=641.97
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7509 0 0 0 64186 11 0 0 25 0 1 0 306406750 31694848 7474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7738 7474 76 171 0 7565 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 36308

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1834312/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=30952 CPUtime=701.95
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7509 0 0 0 70184 11 0 0 25 0 1 0 306406750 31694848 7474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7738 7474 76 171 0 7565 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 36308

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1834184/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=30952 CPUtime=761.94
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7509 0 0 0 76182 12 0 0 25 0 1 0 306406750 31694848 7474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7738 7474 76 171 0 7565 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 36308

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1834120/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=30952 CPUtime=821.91
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7527 0 0 0 82179 12 0 0 25 0 1 0 306406750 31694848 7492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7738 7492 76 171 0 7565 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 36308

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1833992/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=30952 CPUtime=881.89
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7527 0 0 0 88177 12 0 0 25 0 1 0 306406750 31694848 7492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7738 7492 76 171 0 7565 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 36308

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1833864/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=30952 CPUtime=941.89
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7527 0 0 0 94176 13 0 0 25 0 1 0 306406750 31694848 7492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 7738 7492 76 171 0 7565 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 36308

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1832328/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=32584 CPUtime=1001.87
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7898 0 0 0 100173 14 0 0 25 0 1 0 306406750 33366016 7863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 8146 7863 76 171 0 7973 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 37940

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17570
/proc/meminfo: memFree=1832264/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=32584 CPUtime=1061.86
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7898 0 0 0 106171 15 0 0 25 0 1 0 306406750 33366016 7863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 8146 7863 76 171 0 7973 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 37940

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17576
/proc/meminfo: memFree=1832008/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=32584 CPUtime=1121.84
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7899 0 0 0 112168 16 0 0 25 0 1 0 306406750 33366016 7864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 8146 7864 76 171 0 7973 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 37940

[startup+1182.3 s]
/proc/loadavg: 1.07 1.03 1.01 2/66 18052
/proc/meminfo: memFree=1791240/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=32584 CPUtime=1181.77
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7900 0 0 0 118158 19 0 0 25 0 1 0 306406750 33366016 7865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 8146 7865 76 171 0 7973 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 37940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 18052
/proc/meminfo: memFree=1791240/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=32584 CPUtime=1199.96
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7900 0 0 0 119977 19 0 0 25 0 1 0 306406750 33366016 7865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 8146 7865 76 171 0 7973 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 37940

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

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

[startup+1200.5 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 18052
/proc/meminfo: memFree=1791240/2055920 swapFree=4179480/4192956
[pid=17564] ppid=17562 vsize=5356 CPUtime=0.06
/proc/17564/stat : 17564 (SatELiteGTI) S 17562 17564 17328 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306406743 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17564/statm: 1339 239 197 169 0 50 0
[pid=17570] ppid=17564 vsize=32584 CPUtime=1199.96
/proc/17570/stat : 17570 (minisat_static) R 17564 17564 17328 0 -1 4194304 7900 0 0 0 119977 19 0 0 25 0 1 0 306406750 33366016 7865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17570/statm: 8146 7865 76 171 0 7973 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 37940

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.84
CPU system time (s): 0.209968
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (KiB): 37940

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

runsolver used 1.41078 second user time and 3.08853 second system time

The end

Launcher Data

Begin job on node58 at 2009-05-20 03:43:15
IDJOB=1832553
IDBENCH=70240
IDSOLVER=671
FILE ID=node58/1832553-1242783795
PBS_JOBID= 9322326
Free space on /tmp= 66076 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/220/unif-k7-r85-v220-c18700-S193214747-044.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832553-1242783795/watcher-1832553-1242783795 -o /tmp/evaluation-result-1832553-1242783795/solver-1832553-1242783795 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832553-1242783795.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 01b687d69c52888789968aa62c5caeb5
RANDOM SEED=1457883695

node58.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.233
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.233
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1866808 kB
Buffers:         17140 kB
Cached:         129616 kB
SwapCached:       7536 kB
Active:          26300 kB
Inactive:       129736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1866808 kB
SwapTotal:     4192956 kB
SwapFree:      4179480 kB
Dirty:            2140 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            19204 kB
Committed_AS:   986984 kB
PageTables:       1364 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66072 MiB
End job on node58 at 2009-05-20 04:03:18