Trace number 1832577

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.12 1200.81

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
MD5SUM4f6bdfd00a34ed543884cc191900870c
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 variables200
Number of clauses17000
Sum of the clauses size119000
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 517000

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.03	c |         0 |   17000   119000 |    5099       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 200   #clauses: 17000   #literals: 119000
0.00/0.03	c CPU time:   0.020996 s
0.00/0.03	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  200                                                  |
0.00/0.06	c |  Number of clauses:    17000                                                |
0.00/0.08	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     200    17000   119000 |     5666        0    nan |  0.000 % |
0.05/0.09	c |       100 |     200    17000   119000 |     5666      100     53 |  0.003 % |
0.05/0.10	c |       202 |     200    17000   119000 |     5666      202     55 |  0.003 % |
0.05/0.11	c |       302 |     200    17000   119000 |     5666      302     56 |  0.003 % |
0.05/0.12	c |       412 |     200    17000   119000 |     5666      412     57 |  0.003 % |
0.05/0.13	c |       513 |     200    17000   119000 |     5666      513     56 |  0.003 % |
0.05/0.14	c |       625 |     200    17000   119000 |     5666      625     56 |  0.003 % |
0.05/0.15	c |       746 |     200    17000   119000 |     5666      746     56 |  0.003 % |
0.05/0.16	c |       846 |     200    17000   119000 |     5666      846     56 |  0.003 % |
0.05/0.17	c |       956 |     200    17000   119000 |     5666      956     57 |  0.003 % |
0.05/0.18	c |      1077 |     200    17000   119000 |     5666     1077     57 |  0.003 % |
0.05/0.20	c |      1210 |     200    17000   119000 |     5666     1210     57 |  0.003 % |
0.05/0.20	c |      1310 |     200    17000   119000 |     5666     1310     57 |  0.003 % |
0.05/0.21	c |      1421 |     200    17000   119000 |     5666     1421     56 |  0.003 % |
0.05/0.22	c |      1543 |     200    17000   119000 |     5666     1543     56 |  0.003 % |
0.05/0.24	c |      1676 |     200    17000   119000 |     5666     1676     56 |  0.003 % |
0.05/0.25	c |      1823 |     200    17000   119000 |     5666     1823     56 |  0.003 % |
0.05/0.26	c |      1923 |     200    17000   119000 |     5666     1923     56 |  0.003 % |
0.05/0.27	c |      2034 |     200    17000   119000 |     5666     2034     56 |  0.003 % |
0.05/0.28	c |      2155 |     200    17000   119000 |     5666     2155     56 |  0.003 % |
0.05/0.29	c |      2289 |     200    17000   119000 |     5666     2289     56 |  0.003 % |
0.05/0.31	c |      2435 |     200    17000   119000 |     5666     2435     56 |  0.003 % |
0.05/0.32	c |      2596 |     200    17000   119000 |     5666     2596     56 |  0.003 % |
0.05/0.34	c |      2699 |     200    17000   119000 |     5666     2699     57 |  0.003 % |
0.05/0.35	c |      2809 |     200    17000   119000 |     5666     2809     57 |  0.003 % |
0.05/0.36	c |      2931 |     200    17000   119000 |     5666     2931     57 |  0.003 % |
0.05/0.37	c |      3066 |     200    17000   119000 |     5666     3066     57 |  0.003 % |
0.05/0.39	c |      3214 |     200    17000   119000 |     5666     3214     57 |  0.003 % |
0.05/0.40	c |      3374 |     200    17000   119000 |     5666     3374     57 |  0.003 % |
0.05/0.42	c |      3551 |     200    17000   119000 |     5666     3551     57 |  0.003 % |
0.05/0.43	c |      3651 |     200    17000   119000 |     5666     3651     57 |  0.003 % |
0.05/0.44	c |      3762 |     200    17000   119000 |     5666     3762     57 |  0.003 % |
0.05/0.46	c |      3886 |     200    17000   119000 |     5666     3886     57 |  0.003 % |
0.05/0.47	c |      4020 |     200    17000   119000 |     5666     4020     57 |  0.003 % |
0.05/0.49	c |      4168 |     200    17000   119000 |     5666     4168     57 |  0.003 % |
0.05/0.50	c |      4328 |     200    17000   119000 |     5666     4328     57 |  0.003 % |
0.05/0.52	c |      4506 |     200    17000   119000 |     5666     4506     57 |  0.003 % |
0.05/0.55	c |      4704 |     200    17000   119000 |     5666     4704     57 |  0.003 % |
0.05/0.56	c |      4807 |     200    17000   119000 |     5666     4807     57 |  0.003 % |
0.05/0.57	c |      4917 |     200    17000   119000 |     5666     4917     57 |  0.003 % |
0.05/0.58	c |      5040 |     200    17000   119000 |     5666     5040     57 |  0.003 % |
0.05/0.60	c |      5173 |     200    17000   119000 |     5666     5173     56 |  0.003 % |
0.05/0.62	c |      5319 |     200    17000   119000 |     5666     5319     56 |  0.003 % |
0.05/0.63	c |      5479 |     200    17000   119000 |     5666     5479     56 |  0.003 % |
0.05/0.66	c |      5655 |     200    17000   119000 |     5666     5655     56 |  0.003 % |
0.05/0.68	c |      5849 |     200    17000   119000 |     5666     5274     56 |  0.003 % |
0.05/0.71	c |      6061 |     200    17000   119000 |     5666     5486     56 |  0.003 % |
0.05/0.72	c |      6163 |     200    17000   119000 |     5666     5588     56 |  0.003 % |
0.05/0.73	c |      6275 |     200    17000   119000 |     5666     5700     56 |  0.003 % |
0.05/0.75	c |      6396 |     200    17000   119000 |     5666     5251     56 |  0.003 % |
0.05/0.76	c |      6532 |     200    17000   119000 |     5666     5387     56 |  0.003 % |
0.05/0.78	c |      6680 |     200    17000   119000 |     5666     5535     56 |  0.003 % |
0.05/0.80	c |      6841 |     200    17000   119000 |     5666     5696     56 |  0.003 % |
0.05/0.82	c |      7018 |     200    17000   119000 |     5666     5304     56 |  0.003 % |
0.05/0.85	c |      7211 |     200    17000   119000 |     5666     5497     56 |  0.003 % |
0.05/0.87	c |      7424 |     200    17000   119000 |     5666     5710     56 |  0.003 % |
0.05/0.90	c |      7659 |     200    17000   119000 |     5666     5374     56 |  0.003 % |
0.05/0.91	c |      7762 |     200    17000   119000 |     5666     5477     56 |  0.003 % |
0.05/0.93	c |      7872 |     200    17000   119000 |     5666     5587     56 |  0.003 % |
0.05/0.94	c |      7996 |     200    17000   119000 |     5666     5711     56 |  0.003 % |
0.05/0.96	c |      8130 |     200    17000   119000 |     5666     5274     56 |  0.003 % |
0.05/0.98	c |      8276 |     200    17000   119000 |     5666     5420     56 |  0.003 % |
0.97/1.00	c |      8436 |     200    17000   119000 |     5666     5580     56 |  0.003 % |
0.97/1.02	c |      8612 |     200    17000   119000 |     5666     5756     56 |  0.003 % |
0.97/1.05	c |      8805 |     200    17000   119000 |     5666     5374     56 |  0.003 % |
0.97/1.08	c |      9019 |     200    17000   119000 |     5666     5588     56 |  0.003 % |
1.07/1.11	c |      9252 |     200    17000   119000 |     5666     5246     56 |  0.003 % |
1.07/1.14	c |      9509 |     200    17000   119000 |     5666     5503     56 |  0.003 % |
1.07/1.15	c |      9609 |     200    17000   119000 |     5666     5603     56 |  0.003 % |
1.07/1.17	c |      9719 |     200    17000   119000 |     5666     5713     56 |  0.003 % |
1.07/1.18	c |      9841 |     200    17000   119000 |     5666     5264     56 |  0.003 % |
1.17/1.20	c |      9974 |     200    17000   119000 |     5666     5397     56 |  0.003 % |
1.17/1.22	c |     10120 |     200    17000   119000 | 2147483647     5543     56 |  0.003 % |
1.17/1.24	c |     10281 |     200    17000   119000 | 2147483647     5704     56 |  0.003 % |
1.17/1.26	c |     10457 |     200    17000   119000 | 2147483647     5880     56 |  0.003 % |
1.17/1.29	c |     10651 |     200    17000   119000 | 2147483647     6074     56 |  0.003 % |
1.27/1.31	c |     10863 |     200    17000   119000 | 2147483647     6286     56 |  0.003 % |
1.27/1.34	c |     11099 |     200    17000   119000 | 2147483647     6522     56 |  0.003 % |
1.27/1.38	c |     11357 |     200    17000   119000 | 2147483647     6780     56 |  0.003 % |
1.37/1.42	c |     11640 |     200    17000   119000 | 2147483647     7063     56 |  0.003 % |
1.37/1.43	c |     11741 |     200    17000   119000 | 2147483647     7164     56 |  0.003 % |
1.37/1.45	c |     11852 |     200    17000   119000 | 2147483647     7275     56 |  0.003 % |
1.37/1.46	c |     11974 |     200    17000   119000 | 2147483647     7397     56 |  0.003 % |
1.37/1.48	c |     12108 |     200    17000   119000 | 2147483647     7531     56 |  0.003 % |
1.47/1.50	c |     12254 |     200    17000   119000 | 2147483647     7677     56 |  0.003 % |
1.47/1.52	c |     12416 |     200    17000   119000 | 2147483647     7839     56 |  0.003 % |
1.47/1.55	c |     12593 |     200    17000   119000 | 2147483647     8016     56 |  0.003 % |
1.47/1.58	c |     12786 |     200    17000   119000 | 2147483647     8209     56 |  0.003 % |
1.57/1.61	c |     12999 |     200    17000   119000 | 2147483647     8422     56 |  0.003 % |
1.57/1.65	c |     13232 |     200    17000   119000 | 2147483647     8655     56 |  0.003 % |
1.57/1.69	c |     13489 |     200    17000   119000 | 2147483647     8912     56 |  0.003 % |
1.67/1.72	c |     13770 |     200    17000   119000 | 2147483647     9193     56 |  0.003 % |
1.67/1.77	c |     14080 |     200    17000   119000 | 2147483647     9503     56 |  0.003 % |
1.67/1.78	c |     14181 |     200    17000   119000 | 2147483647     9604     56 |  0.003 % |
1.77/1.80	c |     14291 |     200    17000   119000 | 2147483647     9714     56 |  0.003 % |
1.77/1.82	c |     14412 |     200    17000   119000 | 2147483647     9835     56 |  0.003 % |
1.77/1.85	c |     14545 |     200    17000   119000 | 2147483647     9968     56 |  0.003 % |
1.77/1.87	c |     14691 |     200    17000   119000 | 2147483647    10114     56 |  0.003 % |
1.87/1.90	c |     14852 |     200    17000   119000 | 2147483647    10275     56 |  0.003 % |
1.87/1.93	c |     15028 |     200    17000   119000 | 2147483647    10451     56 |  0.003 % |
1.87/1.96	c |     15221 |     200    17000   119000 | 2147483647    10644     56 |  0.003 % |
1.87/2.00	c |     15434 |     200    17000   119000 | 2147483647    10857     57 |  0.003 % |
1.97/2.04	c |     15667 |     200    17000   119000 | 2147483647    11090     57 |  0.003 % |
1.97/2.08	c |     15923 |     200    17000   119000 | 2147483647    11346     57 |  0.003 % |
2.07/2.13	c |     16204 |     200    17000   119000 | 2147483647    11627     57 |  0.003 % |
2.07/2.18	c |     16513 |     200    17000   119000 | 2147483647    11936     57 |  0.003 % |
2.17/2.24	c |     16853 |     200    17000   119000 | 2147483647    12276     57 |  0.003 % |
2.17/2.26	c |     16955 |     200    17000   119000 | 2147483647    12378     57 |  0.003 % |
2.17/2.28	c |     17066 |     200    17000   119000 | 2147483647    12489     57 |  0.003 % |
2.26/2.31	c |     17187 |     200    17000   119000 | 2147483647    12610     57 |  0.003 % |
2.26/2.33	c |     17321 |     200    17000   119000 | 2147483647    12744     57 |  0.003 % |
2.26/2.36	c |     17468 |     200    17000   119000 | 2147483647    12891     57 |  0.003 % |
2.26/2.39	c |     17628 |     200    17000   119000 | 2147483647    13051     57 |  0.003 % |
2.37/2.42	c |     17804 |     200    17000   119000 | 2147483647    13227     57 |  0.003 % |
2.37/2.45	c |     17997 |     200    17000   119000 | 2147483647    13420     57 |  0.003 % |
2.37/2.49	c |     18211 |     200    17000   119000 | 2147483647    13634     57 |  0.003 % |
2.47/2.54	c |     18445 |     200    17000   119000 | 2147483647    13868     57 |  0.003 % |
2.47/2.59	c |     18702 |     200    17000   119000 | 2147483647    14125     57 |  0.003 % |
2.57/2.64	c |     18984 |     200    17000   119000 | 2147483647    14407     57 |  0.003 % |
2.67/2.70	c |     19295 |     200    17000   119000 | 2147483647    14718     57 |  0.003 % |
2.67/2.77	c |     19635 |     200    17000   119000 | 2147483647    15058     57 |  0.003 % |
2.77/2.85	c |     20008 |     200    17000   119000 | 2147483647    15431     57 |  0.003 % |
2.77/2.88	c |     20111 |     200    17000   119000 | 2147483647    15534     57 |  0.003 % |
2.87/2.91	c |     20221 |     200    17000   119000 | 2147483647    15644     57 |  0.003 % |
2.87/2.93	c |     20344 |     200    17000   119000 | 2147483647    15767     57 |  0.003 % |
2.87/2.96	c |     20477 |     200    17000   119000 | 2147483647    15900     57 |  0.003 % |
2.87/3.00	c |     20624 |     200    17000   119000 | 2147483647    16047     57 |  0.003 % |
2.97/3.03	c |     20785 |     200    17000   119000 | 2147483647    16208     57 |  0.003 % |
2.97/3.06	c |     20961 |     200    17000   119000 | 2147483647    16384     57 |  0.003 % |
3.07/3.10	c |     21156 |     200    17000   119000 | 2147483647    16579     57 |  0.003 % |
3.07/3.15	c |     21370 |     200    17000   119000 | 2147483647    16793     57 |  0.003 % |
3.07/3.20	c |     21603 |     200    17000   119000 | 2147483647    17026     57 |  0.003 % |
3.18/3.25	c |     21860 |     200    17000   119000 | 2147483647    17283     57 |  0.003 % |
3.27/3.32	c |     22141 |     200    17000   119000 | 2147483647    17564     57 |  0.003 % |
3.27/3.38	c |     22450 |     200    17000   119000 | 2147483647    17873     57 |  0.003 % |
3.37/3.46	c |     22789 |     200    17000   119000 | 2147483647    18212     57 |  0.003 % |
3.47/3.54	c |     23161 |     200    17000   119000 | 2147483647    18584     57 |  0.003 % |
3.57/3.63	c |     23570 |     200    17000   119000 | 2147483647    18993     57 |  0.003 % |
3.57/3.67	c |     23670 |     200    17000   119000 | 2147483647    19093     57 |  0.003 % |
3.57/3.69	c |     23780 |     200    17000   119000 | 2147483647    19203     57 |  0.003 % |
3.67/3.73	c |     23905 |     200    17000   119000 | 2147483647    19328     57 |  0.003 % |
3.67/3.76	c |     24038 |     200    17000   119000 | 2147483647    19461     57 |  0.003 % |
3.77/3.80	c |     24185 |     200    17000   119000 | 2147483647    19608     57 |  0.003 % |
3.77/3.85	c |     24347 |     200    17000   119000 | 2147483647    19770     57 |  0.003 % |
3.87/3.90	c |     24524 |     200    17000   119000 | 2147483647    19947     57 |  0.003 % |
3.87/3.95	c |     24717 |     200    17000   119000 | 2147483647    20140     57 |  0.003 % |
3.97/4.01	c |     24930 |     200    17000   119000 | 2147483647    20353     57 |  0.003 % |
3.97/4.07	c |     25164 |     200    17000   119000 | 2147483647    20587     57 |  0.003 % |
4.07/4.13	c |     25420 |     200    17000   119000 | 2147483647    20843     57 |  0.003 % |
4.17/4.21	c |     25701 |     200    17000   119000 | 2147483647    21124     57 |  0.003 % |
4.17/4.28	c |     26010 |     200    17000   119000 | 2147483647    21433     57 |  0.003 % |
4.27/4.37	c |     26352 |     200    17000   119000 | 2147483647    21775     57 |  0.003 % |
4.37/4.48	c |     26724 |     200    17000   119000 | 2147483647    22147     57 |  0.003 % |
4.46/4.59	c |     27134 |     200    17000   119000 | 2147483647    22557     57 |  0.003 % |
4.66/4.71	c |     27584 |     200    17000   119000 | 2147483647    23007     57 |  0.003 % |
4.66/4.75	c |     27684 |     200    17000   119000 | 2147483647    23107     57 |  0.003 % |
4.66/4.78	c |     27795 |     200    17000   119000 | 2147483647    23218     57 |  0.003 % |
4.76/4.82	c |     27916 |     200    17000   119000 | 2147483647    23339     57 |  0.003 % |
4.76/4.86	c |     28052 |     200    17000   119000 | 2147483647    23475     57 |  0.003 % |
4.86/4.91	c |     28199 |     200    17000   119000 | 2147483647    23622     57 |  0.003 % |
4.86/4.97	c |     28359 |     200    17000   119000 | 2147483647    23782     57 |  0.003 % |
4.96/5.02	c |     28535 |     200    17000   119000 | 2147483647    23958     57 |  0.003 % |
4.96/5.09	c |     28729 |     200    17000   119000 | 2147483647    24152     57 |  0.003 % |
5.07/5.16	c |     28942 |     200    17000   119000 | 2147483647    24365     57 |  0.003 % |
5.17/5.23	c |     29175 |     200    17000   119000 | 2147483647    24598     57 |  0.003 % |
5.27/5.31	c |     29431 |     200    17000   119000 | 2147483647    24854     57 |  0.003 % |
5.27/5.40	c |     29713 |     200    17000   119000 | 2147483647    25136     57 |  0.003 % |
5.37/5.49	c |     30023 |     200    17000   119000 | 2147483647    25446     57 |  0.003 % |
5.57/5.61	c |     30364 |     200    17000   119000 | 2147483647    25787     57 |  0.003 % |
5.67/5.73	c |     30736 |     200    17000   119000 | 2147483647    26159     57 |  0.003 % |
5.77/5.87	c |     31145 |     200    17000   119000 | 2147483647    26568     57 |  0.003 % |
5.97/6.01	c |     31594 |     200    17000   119000 | 2147483647    27017     57 |  0.003 % |
6.07/6.18	c |     32087 |     200    17000   119000 | 2147483647    27510     57 |  0.003 % |
6.17/6.22	c |     32187 |     200    17000   119000 | 2147483647    27610     57 |  0.003 % |
6.17/6.25	c |     32297 |     200    17000   119000 | 2147483647    27720     57 |  0.003 % |
6.17/6.29	c |     32419 |     200    17000   119000 | 2147483647    27842     57 |  0.003 % |
6.27/6.35	c |     32552 |     200    17000   119000 | 2147483647    27975     57 |  0.003 % |
6.36/6.42	c |     32698 |     200    17000   119000 | 2147483647    28121     57 |  0.003 % |
6.36/6.48	c |     32858 |     200    17000   119000 | 2147483647    28281     57 |  0.003 % |
6.47/6.54	c |     33034 |     200    17000   119000 | 2147483647    28457     57 |  0.003 % |
6.57/6.63	c |     33228 |     200    17000   119000 | 2147483647    28651     57 |  0.003 % |
6.66/6.71	c |     33440 |     200    17000   119000 | 2147483647    28863     57 |  0.003 % |
6.76/6.80	c |     33673 |     200    17000   119000 | 2147483647    29096     57 |  0.003 % |
6.76/6.89	c |     33930 |     200    17000   119000 | 2147483647    29353     57 |  0.003 % |
6.96/7.00	c |     34211 |     200    17000   119000 | 2147483647    29634     57 |  0.003 % |
7.06/7.11	c |     34520 |     200    17000   119000 | 2147483647    29943     57 |  0.003 % |
7.16/7.25	c |     34859 |     200    17000   119000 | 2147483647    30282     57 |  0.003 % |
7.26/7.37	c |     35231 |     200    17000   119000 | 2147483647    30654     57 |  0.003 % |
7.46/7.52	c |     35642 |     200    17000   119000 | 2147483647    31065     57 |  0.003 % |
7.57/7.70	c |     36093 |     200    17000   119000 | 2147483647    31516     57 |  0.003 % |
7.86/7.94	c |     36589 |     200    17000   119000 | 2147483647    32012     57 |  0.003 % |
8.06/8.16	c |     37131 |     200    17000   119000 | 2147483647    32554     57 |  0.003 % |
8.06/8.19	c |     37232 |     200    17000   119000 | 2147483647    32655     57 |  0.003 % |
8.16/8.24	c |     37342 |     200    17000   119000 | 2147483647    32765     57 |  0.003 % |
8.26/8.30	c |     37463 |     200    17000   119000 | 2147483647    32886     57 |  0.003 % |
8.26/8.36	c |     37596 |     200    17000   119000 | 2147483647    33019     57 |  0.003 % |
8.36/8.44	c |     37742 |     200    17000   119000 | 2147483647    33165     57 |  0.003 % |
8.46/8.50	c |     37902 |     200    17000   119000 | 2147483647    33325     57 |  0.003 % |
8.46/8.58	c |     38079 |     200    17000   119000 | 2147483647    33502     57 |  0.003 % |
8.56/8.67	c |     38272 |     200    17000   119000 | 2147483647    33695     57 |  0.003 % |
8.66/8.76	c |     38485 |     200    17000   119000 | 2147483647    33908     57 |  0.003 % |
8.76/8.86	c |     38718 |     200    17000   119000 | 2147483647    34141     57 |  0.003 % |
8.86/8.96	c |     38974 |     200    17000   119000 | 2147483647    34397     57 |  0.003 % |
8.96/9.08	c |     39255 |     200    17000   119000 | 2147483647    34678     57 |  0.003 % |
9.16/9.21	c |     39564 |     200    17000   119000 | 2147483647    34987     57 |  0.003 % |
9.26/9.40	c |     39904 |     200    17000   119000 | 2147483647    35327     57 |  0.003 % |
9.46/9.55	c |     40276 |     200    17000   119000 | 2147483647    35699     57 |  0.003 % |
9.67/9.72	c |     40686 |     200    17000   119000 | 2147483647    36109     57 |  0.003 % |
9.77/9.90	c |     41135 |     200    17000   119000 | 2147483647    36558     57 |  0.003 % |
10.07/10.11	c |     41628 |     200    17000   119000 | 2147483647    37051     57 |  0.003 % |
10.26/10.34	c |     42171 |     200    17000   119000 | 2147483647    37594     57 |  0.003 % |
10.46/10.59	c |     42768 |     200    17000   119000 | 2147483647    38191     57 |  0.003 % |
10.56/10.64	c |     42870 |     200    17000   119000 | 2147483647    38293     57 |  0.003 % |
10.56/10.69	c |     42980 |     200    17000   119000 | 2147483647    38403     57 |  0.003 % |
10.66/10.75	c |     43101 |     200    17000   119000 | 2147483647    38524     57 |  0.003 % |
10.76/10.81	c |     43234 |     200    17000   119000 | 2147483647    38657     57 |  0.003 % |
10.76/10.88	c |     43382 |     200    17000   119000 | 2147483647    38805     57 |  0.003 % |
10.87/10.95	c |     43542 |     200    17000   119000 | 2147483647    38965     57 |  0.003 % |
10.97/11.06	c |     43718 |     200    17000   119000 | 2147483647    39141     57 |  0.003 % |
11.06/11.15	c |     43911 |     200    17000   119000 | 2147483647    39334     57 |  0.003 % |
11.16/11.26	c |     44123 |     200    17000   119000 | 2147483647    39546     57 |  0.003 % |
11.26/11.37	c |     44357 |     200    17000   119000 | 2147483647    39780     57 |  0.003 % |
11.46/11.50	c |     44613 |     200    17000   119000 | 2147483647    40036     57 |  0.003 % |
11.56/11.62	c |     44894 |     200    17000   119000 | 2147483647    40317     57 |  0.003 % |
11.66/11.75	c |     45205 |     200    17000   119000 | 2147483647    40628     57 |  0.003 % |
11.86/11.91	c |     45544 |     200    17000   119000 | 2147483647    40967     57 |  0.003 % |
12.06/12.11	c |     45916 |     200    17000   119000 | 2147483647    41339     57 |  0.003 % |
12.26/12.30	c |     46325 |     200    17000   119000 | 2147483647    41748     57 |  0.003 % |
12.46/12.52	c |     46776 |     200    17000   119000 | 2147483647    42199     57 |  0.003 % |
12.66/12.74	c |     47269 |     200    17000   119000 | 2147483647    42692     57 |  0.003 % |
12.96/13.02	c |     47811 |     200    17000   119000 | 2147483647    43234     57 |  0.003 % |
13.26/13.31	c |     48408 |     200    17000   119000 | 2147483647    43831     57 |  0.003 % |
13.56/13.65	c |     49065 |     200    17000   119000 | 2147483647    44488     57 |  0.003 % |
13.66/13.72	c |     49165 |     200    17000   119000 | 2147483647    44588     57 |  0.003 % |
13.66/13.79	c |     49276 |     200    17000   119000 | 2147483647    44699     57 |  0.003 % |
13.76/13.85	c |     49397 |     200    17000   119000 | 2147483647    44820     57 |  0.003 % |
13.86/13.93	c |     49531 |     200    17000   119000 | 2147483647    44954     57 |  0.003 % |
13.96/14.03	c |     49679 |     200    17000   119000 | 2147483647    45102     57 |  0.003 % |
14.06/14.13	c |     49839 |     200    17000   119000 | 2147483647    45262     57 |  0.003 % |
14.16/14.22	c |     50015 |     200    17000   119000 | 2147483647    45438     57 |  0.003 % |
14.26/14.35	c |     50209 |     200    17000   119000 | 2147483647    45632     57 |  0.003 % |
14.36/14.47	c |     50422 |     200    17000   119000 | 2147483647    45845     57 |  0.003 % |
14.55/14.61	c |     50655 |     200    17000   119000 | 2147483647    46078     57 |  0.003 % |
14.65/14.75	c |     50911 |     200    17000   119000 | 2147483647    46334     57 |  0.003 % |
14.75/14.89	c |     51193 |     200    17000   119000 | 2147483647    46616     57 |  0.003 % |
14.95/15.06	c |     51502 |     200    17000   119000 | 2147483647    46925     57 |  0.003 % |
15.15/15.26	c |     51841 |     200    17000   119000 | 2147483647    47264     57 |  0.003 % |
15.36/15.47	c |     52214 |     200    17000   119000 | 2147483647    47637     57 |  0.003 % |
15.56/15.67	c |     52625 |     200    17000   119000 | 2147483647    48048     57 |  0.003 % |
15.86/15.92	c |     53075 |     200    17000   119000 | 2147483647    48498     57 |  0.003 % |
16.16/16.21	c |     53569 |     200    17000   119000 | 2147483647    48992     57 |  0.003 % |
16.46/16.54	c |     54111 |     200    17000   119000 | 2147483647    49534     57 |  0.003 % |
16.76/16.89	c |     54707 |     200    17000   119000 | 2147483647    50130     57 |  0.003 % |
17.16/17.26	c |     55363 |     200    17000   119000 | 2147483647    50786     57 |  0.003 % |
17.56/17.67	c |     56083 |     200    17000   119000 | 2147483647    51506     57 |  0.003 % |
17.66/17.75	c |     56185 |     200    17000   119000 | 2147483647    51608     57 |  0.003 % |
17.76/17.83	c |     56296 |     200    17000   119000 | 2147483647    51719     57 |  0.003 % |
17.86/17.90	c |     56418 |     200    17000   119000 | 2147483647    51841     57 |  0.003 % |
17.86/17.99	c |     56551 |     200    17000   119000 | 2147483647    51974     57 |  0.003 % |
18.06/18.10	c |     56697 |     200    17000   119000 | 2147483647    52120     57 |  0.003 % |
18.16/18.22	c |     56857 |     200    17000   119000 | 2147483647    52280     57 |  0.003 % |
18.26/18.34	c |     57033 |     200    17000   119000 | 2147483647    52456     57 |  0.003 % |
18.36/18.49	c |     57228 |     200    17000   119000 | 2147483647    52651     57 |  0.003 % |
18.56/18.66	c |     57441 |     200    17000   119000 | 2147483647    52864     57 |  0.003 % |
18.76/18.81	c |     57674 |     200    17000   119000 | 2147483647    53097     57 |  0.003 % |
18.86/18.96	c |     57930 |     200    17000   119000 | 2147483647    53353     57 |  0.003 % |
19.06/19.12	c |     58211 |     200    17000   119000 | 2147483647    53634     57 |  0.003 % |
19.26/19.32	c |     58522 |     200    17000   119000 | 2147483647    53945     57 |  0.003 % |
19.46/19.57	c |     58863 |     200    17000   119000 | 2147483647    54286     57 |  0.003 % |
19.76/19.80	c |     59236 |     200    17000   119000 | 2147483647    54659     57 |  0.003 % |
19.95/20.07	c |     59645 |     200    17000   119000 | 2147483647    55068     57 |  0.003 % |
20.25/20.36	c |     60094 |     200    17000   119000 | 2147483647    55517     57 |  0.003 % |
20.65/20.71	c |     60588 |     200    17000   119000 | 2147483647    56011     57 |  0.003 % |
20.95/21.09	c |     61131 |     200    17000   119000 | 2147483647    56554     57 |  0.003 % |
21.35/21.48	c |     61728 |     200    17000   119000 | 2147483647    57151     57 |  0.003 % |
21.75/21.90	c |     62385 |     200    17000   119000 | 2147483647    57808     57 |  0.003 % |
22.25/22.32	c |     63106 |     200    17000   119000 | 2147483647    58529     57 |  0.003 % |
22.65/22.79	c |     63900 |     200    17000   119000 | 2147483647    59323     57 |  0.003 % |
22.75/22.87	c |     64001 |     200    17000   119000 | 2147483647    59424     57 |  0.003 % |
22.85/22.98	c |     64112 |     200    17000   119000 | 2147483647    59535     57 |  0.003 % |
22.95/23.07	c |     64233 |     200    17000   119000 | 2147483647    59656     57 |  0.003 % |
23.05/23.17	c |     64366 |     200    17000   119000 | 2147483647    59789     57 |  0.003 % |
23.15/23.30	c |     64513 |     200    17000   119000 | 2147483647    59936     57 |  0.003 % |
23.35/23.43	c |     64675 |     200    17000   119000 | 2147483647    60098     57 |  0.003 % |
23.45/23.56	c |     64851 |     200    17000   119000 | 2147483647    60274     57 |  0.003 % |
23.55/23.69	c |     65044 |     200    17000   119000 | 2147483647    60467     57 |  0.003 % |
23.75/23.85	c |     65258 |     200    17000   119000 | 2147483647    60681     57 |  0.003 % |
23.96/24.04	c |     65492 |     200    17000   119000 | 2147483647    60915     57 |  0.003 % |
24.06/24.20	c |     65749 |     200    17000   119000 | 2147483647    61172     57 |  0.003 % |
24.36/24.42	c |     66035 |     200    17000   119000 | 2147483647    61458     57 |  0.003 % |
24.66/24.70	c |     66345 |     200    17000   119000 | 2147483647    61768     57 |  0.003 % |
24.86/24.94	c |     66684 |     200    17000   119000 | 2147483647    62107     57 |  0.003 % |
25.06/25.20	c |     67058 |     200    17000   119000 | 2147483647    62481     57 |  0.003 % |
25.46/25.54	c |     67470 |     200    17000   119000 | 2147483647    62893     57 |  0.003 % |
25.76/25.87	c |     67920 |     200    17000   119000 | 2147483647    63343     57 |  0.003 % |
26.16/26.22	c |     68414 |     200    17000   119000 | 2147483647    63837     57 |  0.003 % |
26.45/26.59	c |     68956 |     200    17000   119000 | 2147483647    64379     57 |  0.003 % |
26.85/26.99	c |     69555 |     200    17000   119000 | 2147483647    64978     57 |  0.003 % |
27.46/27.52	c |     70213 |     200    17000   119000 | 2147483647    65636     57 |  0.003 % |
27.95/28.07	c |     70933 |     200    17000   119000 | 2147483647    66356     57 |  0.003 % |
28.56/28.66	c |     71725 |     200    17000   119000 | 2147483647    67148     57 |  0.003 % |
29.15/29.25	c |     72597 |     200    17000   119000 | 2147483647    68020     57 |  0.003 % |
29.25/29.35	c |     72697 |     200    17000   119000 | 2147483647    68120     57 |  0.003 % |
29.35/29.45	c |     72810 |     200    17000   119000 | 2147483647    68233     57 |  0.003 % |
29.45/29.57	c |     72931 |     200    17000   119000 | 2147483647    68354     57 |  0.003 % |
29.56/29.69	c |     73064 |     200    17000   119000 | 2147483647    68487     57 |  0.003 % |
29.75/29.83	c |     73211 |     200    17000   119000 | 2147483647    68634     57 |  0.003 % |
29.85/29.97	c |     73371 |     200    17000   119000 | 2147483647    68794     57 |  0.003 % |
30.05/30.11	c |     73547 |     200    17000   119000 | 2147483647    68970     57 |  0.003 % |
30.25/30.31	c |     73741 |     200    17000   119000 | 2147483647    69164     57 |  0.003 % |
30.35/30.49	c |     73953 |     200    17000   119000 | 2147483647    69376     57 |  0.003 % |
30.55/30.69	c |     74186 |     200    17000   119000 | 2147483647    69609     57 |  0.003 % |
30.75/30.89	c |     74443 |     200    17000   119000 | 2147483647    69866     57 |  0.003 % |
31.05/31.13	c |     74727 |     200    17000   119000 | 2147483647    70150     57 |  0.003 % |
31.25/31.37	c |     75037 |     200    17000   119000 | 2147483647    70460     57 |  0.003 % |
31.65/31.70	c |     75377 |     200    17000   119000 | 2147483647    70800     57 |  0.003 % |
31.95/32.06	c |     75750 |     200    17000   119000 | 2147483647    71173     57 |  0.003 % |
32.35/32.42	c |     76159 |     200    17000   119000 | 2147483647    71582     57 |  0.003 % |
32.75/32.83	c |     76608 |     200    17000   119000 | 2147483647    72031     57 |  0.003 % |
33.15/33.23	c |     77101 |     200    17000   119000 | 2147483647    72524     57 |  0.003 % |
33.55/33.66	c |     77643 |     200    17000   119000 | 2147483647    73066     57 |  0.003 % |
33.95/34.10	c |     78240 |     200    17000   119000 | 2147483647    73663     57 |  0.003 % |
34.54/34.61	c |     78895 |     200    17000   119000 | 2147483647    74318     57 |  0.003 % |
35.05/35.18	c |     79616 |     200    17000   119000 | 2147483647    75039     57 |  0.003 % |
35.74/35.86	c |     80408 |     200    17000   119000 |    75426    67887     57 |  0.003 % |
36.44/36.53	c |     81279 |     200    17000   119000 |    75426    68758     57 |  0.003 % |
37.14/37.21	c |     82237 |     200    17000   119000 |    75426    69716     57 |  0.003 % |
37.14/37.29	c |     82337 |     200    17000   119000 |    75426    69816     57 |  0.003 % |
37.25/37.38	c |     82450 |     200    17000   119000 |    75426    69929     57 |  0.003 % |
37.35/37.49	c |     82573 |     200    17000   119000 |    75426    70052     57 |  0.003 % |
37.54/37.62	c |     82706 |     200    17000   119000 |    75426    70185     57 |  0.003 % |
37.64/37.75	c |     82852 |     200    17000   119000 |    75426    70331     57 |  0.003 % |
37.74/37.89	c |     83014 |     200    17000   119000 |    75426    70493     57 |  0.003 % |
37.94/38.09	c |     83190 |     200    17000   119000 |    75426    70669     57 |  0.003 % |
38.14/38.26	c |     83384 |     200    17000   119000 |    75426    70863     57 |  0.003 % |
38.35/38.43	c |     83596 |     200    17000   119000 |    75426    71075     57 |  0.003 % |
38.54/38.66	c |     83830 |     200    17000   119000 |    75426    71309     57 |  0.003 % |
38.84/38.92	c |     84087 |     200    17000   119000 |    75426    71566     57 |  0.003 % |
39.04/39.16	c |     84370 |     200    17000   119000 |    75426    71849     57 |  0.003 % |
39.34/39.41	c |     84679 |     200    17000   119000 |    75426    72158     57 |  0.003 % |
39.64/39.70	c |     85019 |     200    17000   119000 |    75426    72498     57 |  0.003 % |
39.94/40.08	c |     85391 |     200    17000   119000 |    75426    72870     57 |  0.003 % |
40.34/40.41	c |     85800 |     200    17000   119000 |    75426    73279     57 |  0.003 % |
40.64/40.78	c |     86249 |     200    17000   119000 |    75426    73728     57 |  0.003 % |
41.04/41.16	c |     86742 |     200    17000   119000 |    75426    74221     57 |  0.003 % |
41.54/41.61	c |     87284 |     200    17000   119000 |    75426    74763     57 |  0.003 % |
41.94/42.09	c |     87880 |     200    17000   119000 |    75426    75359     57 |  0.003 % |
42.54/42.63	c |     88538 |     200    17000   119000 |    75426    66857     57 |  0.003 % |
43.14/43.26	c |     89258 |     200    17000   119000 |    75426    67577     57 |  0.003 % |
43.84/43.90	c |     90051 |     200    17000   119000 |    68319    68370     57 |  0.003 % |
44.44/44.57	c |     90923 |     200    17000   119000 |    68319    60991     58 |  0.003 % |
45.14/45.24	c |     91881 |     200    17000   119000 |    68319    61949     58 |  0.003 % |
45.94/46.00	c |     92935 |     200    17000   119000 |    68319    63003     58 |  0.003 % |
45.94/46.08	c |     93035 |     200    17000   119000 |    68319    63103     58 |  0.003 % |
46.04/46.19	c |     93145 |     200    17000   119000 |    68319    63213     58 |  0.003 % |
46.14/46.28	c |     93266 |     200    17000   119000 |    68319    63334     58 |  0.003 % |
46.23/46.38	c |     93399 |     200    17000   119000 |    68319    63467     58 |  0.003 % |
46.33/46.49	c |     93546 |     200    17000   119000 |    68319    63614     58 |  0.003 % |
46.53/46.65	c |     93706 |     200    17000   119000 |    68319    63774     58 |  0.003 % |
46.63/46.77	c |     93883 |     200    17000   119000 |    68319    63951     58 |  0.003 % |
46.83/46.94	c |     94076 |     200    17000   119000 |    68319    64144     58 |  0.003 % |
47.03/47.13	c |     94289 |     200    17000   119000 |    68319    64357     58 |  0.003 % |
47.24/47.32	c |     94522 |     200    17000   119000 |    68319    64590     58 |  0.003 % |
47.43/47.54	c |     94780 |     200    17000   119000 |    68319    64848     58 |  0.003 % |
47.63/47.75	c |     95061 |     200    17000   119000 |    68319    65129     58 |  0.003 % |
47.93/48.02	c |     95372 |     200    17000   119000 |    68319    65440     58 |  0.003 % |
48.13/48.28	c |     95713 |     200    17000   119000 |    68319    65781     58 |  0.003 % |
48.43/48.58	c |     96086 |     200    17000   119000 |    68319    66154     58 |  0.003 % |
48.83/48.91	c |     96496 |     200    17000   119000 |    68319    66564     58 |  0.003 % |
49.13/49.26	c |     96946 |     200    17000   119000 |    68319    67014     58 |  0.003 % |
49.53/49.63	c |     97441 |     200    17000   119000 |    68319    67509     58 |  0.003 % |
49.83/49.99	c |     97985 |     200    17000   119000 |    68319    68053     58 |  0.003 % |
50.33/50.48	c |     98581 |     200    17000   119000 |    68319    61808     58 |  0.003 % |
50.83/50.99	c |     99237 |     200    17000   119000 |    68319    62464     58 |  0.003 % |
51.43/51.57	c |     99957 |     200    17000   119000 |    68319    63184     58 |  0.003 % |
52.03/52.11	c |    100749 |     200    17000   119000 | 2147483647    63976     58 |  0.003 % |
52.64/52.71	c |    101621 |     200    17000   119000 | 2147483647    64848     58 |  0.003 % |
53.23/53.37	c |    102580 |     200    17000   119000 | 2147483647    65807     58 |  0.003 % |
54.03/54.14	c |    103633 |     200    17000   119000 | 2147483647    66860     58 |  0.003 % |
54.83/54.96	c |    104793 |     200    17000   119000 | 2147483647    68020     58 |  0.003 % |
54.93/55.05	c |    104893 |     200    17000   119000 | 2147483647    68120     58 |  0.003 % |
55.03/55.14	c |    105003 |     200    17000   119000 | 2147483647    68230     58 |  0.003 % |
55.13/55.25	c |    105125 |     200    17000   119000 | 2147483647    68352     58 |  0.003 % |
55.23/55.37	c |    105258 |     200    17000   119000 | 2147483647    68485     58 |  0.003 % |
55.33/55.48	c |    105407 |     200    17000   119000 | 2147483647    68634     58 |  0.003 % |
55.53/55.61	c |    105567 |     200    17000   119000 | 2147483647    68794     58 |  0.003 % |
55.73/55.81	c |    105745 |     200    17000   119000 | 2147483647    68972     58 |  0.003 % |
55.83/55.97	c |    105938 |     200    17000   119000 | 2147483647    69165     58 |  0.003 % |
56.03/56.15	c |    106150 |     200    17000   119000 | 2147483647    69377     58 |  0.003 % |
56.23/56.33	c |    106384 |     200    17000   119000 | 2147483647    69611     58 |  0.003 % |
56.43/56.53	c |    106642 |     200    17000   119000 | 2147483647    69869     58 |  0.003 % |
56.63/56.77	c |    106923 |     200    17000   119000 | 2147483647    70150     58 |  0.003 % |
56.93/57.03	c |    107233 |     200    17000   119000 | 2147483647    70460     58 |  0.003 % |
57.23/57.34	c |    107573 |     200    17000   119000 | 2147483647    70800     58 |  0.003 % |
57.53/57.69	c |    107945 |     200    17000   119000 | 2147483647    71172     58 |  0.003 % |
57.93/58.02	c |    108355 |     200    17000   119000 | 2147483647    71582     58 |  0.003 % |
58.23/58.35	c |    108805 |     200    17000   119000 | 2147483647    72032     58 |  0.003 % |
58.63/58.71	c |    109298 |     200    17000   119000 | 2147483647    72525     58 |  0.003 % |
59.03/59.11	c |    109841 |     200    17000   119000 | 2147483647    73068     58 |  0.003 % |
59.53/59.61	c |    110437 |     200    17000   119000 |    73228    66097     58 |  0.003 % |
59.93/60.07	c |    111092 |     200    17000   119000 |    73228    66752     58 |  0.003 % |
60.52/60.68	c |    111812 |     200    17000   119000 |    73228    67472     58 |  0.003 % |
61.22/61.32	c |    112604 |     200    17000   119000 |    73228    68264     58 |  0.003 % |
61.82/61.97	c |    113475 |     200    17000   119000 |    73228    69135     58 |  0.003 % |
62.53/62.67	c |    114435 |     200    17000   119000 |    73228    70095     58 |  0.003 % |
63.32/63.46	c |    115488 |     200    17000   119000 |    73228    71148     58 |  0.003 % |
64.23/64.35	c |    116651 |     200    17000   119000 |    73228    72311     58 |  0.003 % |
65.12/65.29	c |    117924 |     200    17000   119000 |    73228    66075     58 |  0.003 % |
65.22/65.36	c |    118024 |     200    17000   119000 |    73228    66175     58 |  0.003 % |
65.32/65.49	c |    118134 |     200    17000   119000 |    73228    66285     58 |  0.003 % |
65.52/65.60	c |    118257 |     200    17000   119000 |    73228    66408     58 |  0.003 % |
65.62/65.71	c |    118391 |     200    17000   119000 |    73228    66542     58 |  0.003 % |
65.72/65.84	c |    118538 |     200    17000   119000 |    73228    66689     58 |  0.003 % |
65.83/65.99	c |    118699 |     200    17000   119000 |    73228    66850     58 |  0.003 % |
66.02/66.16	c |    118878 |     200    17000   119000 |    73228    67029     58 |  0.003 % |
66.22/66.32	c |    119072 |     200    17000   119000 |    73228    67223     58 |  0.003 % |
66.42/66.51	c |    119284 |     200    17000   119000 |    73228    67435     58 |  0.003 % |
66.62/66.70	c |    119520 |     200    17000   119000 |    73228    67671     58 |  0.003 % |
66.82/66.95	c |    119778 |     200    17000   119000 |    73228    67929     58 |  0.003 % |
67.02/67.17	c |    120059 |     200    17000   119000 |    68152    68210     58 |  0.003 % |
67.32/67.46	c |    120368 |     200    17000   119000 |    68152    61395     58 |  0.003 % |
67.52/67.68	c |    120708 |     200    17000   119000 |    68152    61735     58 |  0.003 % |
67.82/67.94	c |    121080 |     200    17000   119000 |    68152    62107     58 |  0.003 % |
68.12/68.26	c |    121489 |     200    17000   119000 |    68152    62516     58 |  0.003 % |
68.52/68.60	c |    121938 |     200    17000   119000 |    68152    62965     58 |  0.003 % |
68.82/68.96	c |    122431 |     200    17000   119000 |    68152    63458     58 |  0.003 % |
69.22/69.35	c |    122975 |     200    17000   119000 |    68152    64002     58 |  0.003 % |
69.62/69.74	c |    123571 |     200    17000   119000 |    68152    64598     58 |  0.003 % |
70.22/70.30	c |    124226 |     200    17000   119000 |    68152    65253     58 |  0.003 % |
70.72/70.86	c |    124946 |     200    17000   119000 |    68152    65973     58 |  0.003 % |
71.32/71.46	c |    125738 |     200    17000   119000 |    68152    66765     58 |  0.003 % |
71.92/72.05	c |    126609 |     200    17000   119000 |    68152    67636     58 |  0.003 % |
72.62/72.71	c |    127567 |     200    17000   119000 |    68152    61771     58 |  0.003 % |
73.42/73.52	c |    128620 |     200    17000   119000 |    68152    62824     58 |  0.003 % |
74.22/74.33	c |    129778 |     200    17000   119000 |    68152    63982     58 |  0.003 % |
75.12/75.27	c |    131051 |     200    17000   119000 | 2147483647    65255     58 |  0.003 % |
76.22/76.34	c |    132452 |     200    17000   119000 | 2147483647    66656     58 |  0.003 % |
76.32/76.43	c |    132552 |     200    17000   119000 | 2147483647    66756     58 |  0.003 % |
76.42/76.53	c |    132663 |     200    17000   119000 | 2147483647    66867     58 |  0.003 % |
76.52/76.64	c |    132787 |     200    17000   119000 | 2147483647    66991     58 |  0.003 % |
76.62/76.75	c |    132921 |     200    17000   119000 | 2147483647    67125     58 |  0.003 % |
76.71/76.87	c |    133067 |     200    17000   119000 | 2147483647    67271     58 |  0.003 % |
76.92/77.03	c |    133230 |     200    17000   119000 | 2147483647    67434     58 |  0.003 % |
77.01/77.18	c |    133407 |     200    17000   119000 | 2147483647    67611     58 |  0.003 % |
77.21/77.34	c |    133601 |     200    17000   119000 | 2147483647    67805     58 |  0.003 % |
77.41/77.50	c |    133813 |     200    17000   119000 | 2147483647    68017     58 |  0.003 % |
77.51/77.68	c |    134048 |     200    17000   119000 | 2147483647    68252     58 |  0.003 % |
77.81/77.90	c |    134304 |     200    17000   119000 | 2147483647    68508     58 |  0.003 % |
78.02/78.14	c |    134585 |     200    17000   119000 | 2147483647    68789     58 |  0.003 % |
78.31/78.44	c |    134894 |     200    17000   119000 | 2147483647    69098     58 |  0.003 % |
78.61/78.77	c |    135233 |     200    17000   119000 | 2147483647    69437     58 |  0.003 % |
78.91/79.07	c |    135607 |     200    17000   119000 | 2147483647    69811     58 |  0.003 % |
79.21/79.38	c |    136016 |     200    17000   119000 | 2147483647    70220     58 |  0.003 % |
79.61/79.79	c |    136466 |     200    17000   119000 | 2147483647    70670     58 |  0.003 % |
80.12/80.24	c |    136962 |     200    17000   119000 | 2147483647    71166     58 |  0.003 % |
80.51/80.67	c |    137504 |     200    17000   119000 | 2147483647    71708     58 |  0.003 % |
81.01/81.19	c |    138100 |     200    17000   119000 | 2147483647    72304     58 |  0.003 % |
81.61/81.76	c |    138756 |     200    17000   119000 | 2147483647    72960     58 |  0.003 % |
82.21/82.33	c |    139476 |     200    17000   119000 | 2147483647    73680     58 |  0.003 % |
82.91/83.04	c |    140268 |     200    17000   119000 |    74206    65861     58 |  0.003 % |
83.51/83.67	c |    141140 |     200    17000   119000 |    74206    66733     58 |  0.003 % |
84.21/84.36	c |    142099 |     200    17000   119000 |    74206    67692     58 |  0.003 % |
85.21/85.34	c |    143154 |     200    17000   119000 |    74206    68747     58 |  0.003 % |
86.11/86.28	c |    144312 |     200    17000   119000 |    74206    69905     58 |  0.003 % |
87.11/87.25	c |    145586 |     200    17000   119000 |    74206    71179     58 |  0.003 % |
88.31/88.46	c |    146986 |     200    17000   119000 |    74206    72579     58 |  0.003 % |
89.61/89.75	c |    148526 |     200    17000   119000 |    74206    74119     58 |  0.003 % |
89.71/89.84	c |    148629 |     200    17000   119000 |    74206    74222     58 |  0.003 % |
89.81/90.00	c |    148739 |     200    17000   119000 |    74206    65562     58 |  0.003 % |
89.91/90.10	c |    148861 |     200    17000   119000 |    74206    65684     58 |  0.003 % |
90.11/90.20	c |    148995 |     200    17000   119000 |    74206    65818     58 |  0.003 % |
90.21/90.32	c |    149141 |     200    17000   119000 |    74206    65964     58 |  0.003 % |
90.31/90.45	c |    149301 |     200    17000   119000 |    74206    66124     58 |  0.003 % |
90.40/90.58	c |    149477 |     200    17000   119000 |    74206    66300     58 |  0.003 % |
90.60/90.74	c |    149671 |     200    17000   119000 |    74206    66494     58 |  0.003 % |
90.70/90.89	c |    149883 |     200    17000   119000 |    74206    66706     58 |  0.003 % |
91.00/91.11	c |    150116 |     200    17000   119000 |    66823    59267     58 |  0.003 % |
91.11/91.26	c |    150374 |     200    17000   119000 |    66823    59525     58 |  0.003 % |
91.30/91.45	c |    150656 |     200    17000   119000 |    66823    59807     58 |  0.003 % |
91.50/91.67	c |    150965 |     200    17000   119000 |    66823    60116     58 |  0.003 % |
91.70/91.89	c |    151305 |     200    17000   119000 |    66823    60456     58 |  0.003 % |
92.00/92.13	c |    151677 |     200    17000   119000 |    66823    60828     58 |  0.003 % |
92.21/92.40	c |    152086 |     200    17000   119000 |    66823    61237     58 |  0.003 % |
92.70/92.80	c |    152536 |     200    17000   119000 |    66823    61687     58 |  0.003 % |
93.00/93.19	c |    153030 |     200    17000   119000 |    66823    62181     58 |  0.003 % |
93.50/93.61	c |    153572 |     200    17000   119000 |    66823    62723     58 |  0.003 % |
93.90/94.09	c |    154169 |     200    17000   119000 |    66823    63320     58 |  0.003 % |
94.51/94.60	c |    154824 |     200    17000   119000 |    66823    63975     58 |  0.003 % |
95.00/95.16	c |    155544 |     200    17000   119000 |    66823    64695     58 |  0.003 % |
95.61/95.79	c |    156341 |     200    17000   119000 |    66823    65492     58 |  0.003 % |
96.30/96.47	c |    157212 |     200    17000   119000 |    66823    66363     58 |  0.003 % |
97.00/97.18	c |    158170 |     200    17000   119000 |    66823    60630     58 |  0.003 % |
97.70/97.89	c |    159224 |     200    17000   119000 |    66823    61684     58 |  0.003 % |
98.50/98.68	c |    160382 |     200    17000   119000 | 2147483647    62842     58 |  0.003 % |
99.40/99.52	c |    161655 |     200    17000   119000 | 2147483647    64115     58 |  0.003 % |
100.30/100.49	c |    163055 |     200    17000   119000 | 2147483647    65515     58 |  0.003 % |
101.69/101.85	c |    164595 |     200    17000   119000 | 2147483647    67055     58 |  0.003 % |
103.09/103.27	c |    166290 |     200    17000   119000 | 2147483647    68750     58 |  0.003 % |
103.20/103.35	c |    166391 |     200    17000   119000 | 2147483647    68851     58 |  0.003 % |
103.30/103.46	c |    166504 |     200    17000   119000 | 2147483647    68964     58 |  0.003 % |
103.39/103.59	c |    166625 |     200    17000   119000 | 2147483647    69085     58 |  0.003 % |
103.59/103.71	c |    166758 |     200    17000   119000 | 2147483647    69218     58 |  0.003 % |
103.69/103.84	c |    166908 |     200    17000   119000 | 2147483647    69368     58 |  0.003 % |
103.79/103.98	c |    167069 |     200    17000   119000 | 2147483647    69529     58 |  0.003 % |
103.99/104.15	c |    167245 |     200    17000   119000 | 2147483647    69705     58 |  0.003 % |
104.19/104.32	c |    167438 |     200    17000   119000 | 2147483647    69898     58 |  0.003 % |
104.40/104.53	c |    167650 |     200    17000   119000 | 2147483647    70110     58 |  0.003 % |
104.59/104.72	c |    167885 |     200    17000   119000 | 2147483647    70345     58 |  0.003 % |
104.79/104.91	c |    168141 |     200    17000   119000 | 2147483647    70601     58 |  0.003 % |
104.99/105.11	c |    168422 |     200    17000   119000 | 2147483647    70882     58 |  0.003 % |
105.19/105.37	c |    168734 |     200    17000   119000 | 2147483647    71194     58 |  0.003 % |
105.49/105.67	c |    169075 |     200    17000   119000 | 2147483647    71535     58 |  0.003 % |
105.89/106.08	c |    169448 |     200    17000   119000 | 2147483647    71908     58 |  0.003 % |
106.29/106.47	c |    169858 |     200    17000   119000 | 2147483647    72318     58 |  0.003 % |
106.69/106.87	c |    170307 |     200    17000   119000 |    72463    64887     58 |  0.003 % |
107.09/107.25	c |    170800 |     200    17000   119000 |    72463    65380     58 |  0.003 % |
107.49/107.63	c |    171342 |     200    17000   119000 |    72463    65922     58 |  0.003 % |
107.89/108.06	c |    171938 |     200    17000   119000 |    72463    66518     58 |  0.003 % |
108.39/108.54	c |    172593 |     200    17000   119000 |    72463    67173     58 |  0.003 % |
108.99/109.13	c |    173313 |     200    17000   119000 |    72463    67893     58 |  0.003 % |
109.59/109.73	c |    174108 |     200    17000   119000 |    72463    68688     58 |  0.003 % |
110.19/110.37	c |    174980 |     200    17000   119000 |    72463    69560     58 |  0.003 % |
110.89/111.06	c |    175939 |     200    17000   119000 |    72463    70519     58 |  0.003 % |
111.69/111.81	c |    176992 |     200    17000   119000 |    72463    71572     58 |  0.003 % |
112.59/112.70	c |    178152 |     200    17000   119000 |    72463    65437     58 |  0.003 % |
113.39/113.58	c |    179426 |     200    17000   119000 |    72463    66711     58 |  0.003 % |
114.39/114.55	c |    180826 |     200    17000   119000 | 2147483647    68111     58 |  0.003 % |
115.49/115.63	c |    182368 |     200    17000   119000 | 2147483647    69653     58 |  0.003 % |
116.79/116.93	c |    184062 |     200    17000   119000 | 2147483647    71347     58 |  0.003 % |
118.39/118.51	c |    185925 |     200    17000   119000 | 2147483647    73210     58 |  0.003 % |
118.48/118.61	c |    186026 |     200    17000   119000 | 2147483647    73311     58 |  0.003 % |
118.59/118.73	c |    186136 |     200    17000   119000 | 2147483647    73421     58 |  0.003 % |
118.69/118.84	c |    186257 |     200    17000   119000 | 2147483647    73542     58 |  0.003 % |
118.79/118.97	c |    186391 |     200    17000   119000 | 2147483647    73676     58 |  0.003 % |
118.99/119.12	c |    186537 |     200    17000   119000 | 2147483647    73822     58 |  0.003 % |
119.09/119.29	c |    186700 |     200    17000   119000 | 2147483647    73985     58 |  0.003 % |
119.29/119.45	c |    186878 |     200    17000   119000 | 2147483647    74163     58 |  0.003 % |
119.49/119.63	c |    187071 |     200    17000   119000 | 2147483647    74356     58 |  0.003 % |
119.70/119.84	c |    187284 |     200    17000   119000 | 2147483647    74569     58 |  0.003 % |
119.89/120.06	c |    187520 |     200    17000   119000 | 2147483647    74805     58 |  0.003 % |
120.19/120.33	c |    187776 |     200    17000   119000 | 2147483647    75061     58 |  0.003 % |
120.49/120.62	c |    188059 |     200    17000   119000 | 2147483647    75344     58 |  0.003 % |
120.79/120.94	c |    188369 |     200    17000   119000 | 2147483647    75654     58 |  0.003 % |
121.09/121.24	c |    188709 |     200    17000   119000 | 2147483647    75994     58 |  0.003 % |
121.39/121.57	c |    189082 |     200    17000   119000 | 2147483647    76367     58 |  0.003 % |
121.89/122.01	c |    189494 |     200    17000   119000 | 2147483647    76779     58 |  0.003 % |
122.29/122.43	c |    189943 |     200    17000   119000 | 2147483647    77228     58 |  0.003 % |
122.79/122.90	c |    190439 |     200    17000   119000 |    77286    67746     58 |  0.003 % |
123.19/123.38	c |    190982 |     200    17000   119000 |    77286    68289     58 |  0.003 % |
123.69/123.84	c |    191580 |     200    17000   119000 |    77286    68887     58 |  0.003 % |
124.29/124.40	c |    192236 |     200    17000   119000 |    77286    69543     58 |  0.003 % |
124.79/124.98	c |    192956 |     200    17000   119000 |    77286    70263     58 |  0.003 % |
125.39/125.56	c |    193749 |     200    17000   119000 |    77286    71056     58 |  0.003 % |
126.08/126.20	c |    194620 |     200    17000   119000 |    77286    71927     58 |  0.003 % |
126.88/127.00	c |    195578 |     200    17000   119000 |    77286    72885     58 |  0.003 % |
127.78/127.96	c |    196631 |     200    17000   119000 |    77286    73938     58 |  0.003 % |
128.68/128.87	c |    197789 |     200    17000   119000 |    77286    75096     58 |  0.003 % |
129.69/129.88	c |    199062 |     200    17000   119000 |    77286    76369     58 |  0.003 % |
131.08/131.23	c |    200463 |     200    17000   119000 |    77309    67589     58 |  0.003 % |
132.18/132.30	c |    202005 |     200    17000   119000 |    77309    69131     58 |  0.003 % |
133.58/133.74	c |    203699 |     200    17000   119000 |    77309    70825     58 |  0.003 % |
134.98/135.11	c |    205562 |     200    17000   119000 |    77309    72688     58 |  0.003 % |
136.68/136.84	c |    207611 |     200    17000   119000 |    77309    74737     58 |  0.003 % |
136.78/136.93	c |    207712 |     200    17000   119000 |    77309    74838     58 |  0.003 % |
136.88/137.03	c |    207823 |     200    17000   119000 |    77309    74949     58 |  0.003 % |
136.98/137.15	c |    207944 |     200    17000   119000 |    77309    75070     58 |  0.003 % |
137.08/137.26	c |    208077 |     200    17000   119000 |    77309    75203     58 |  0.003 % |
137.28/137.42	c |    208224 |     200    17000   119000 |    77309    75350     58 |  0.003 % |
137.38/137.58	c |    208386 |     200    17000   119000 |    77309    75512     58 |  0.003 % |
137.57/137.73	c |    208562 |     200    17000   119000 |    77309    75688     58 |  0.003 % |
137.77/137.95	c |    208755 |     200    17000   119000 |    77309    75881     58 |  0.003 % |
137.97/138.17	c |    208968 |     200    17000   119000 |    77309    76094     58 |  0.003 % |
138.27/138.41	c |    209201 |     200    17000   119000 |    77309    76327     58 |  0.003 % |
138.48/138.65	c |    209458 |     200    17000   119000 |    77309    76584     58 |  0.003 % |
138.77/138.91	c |    209739 |     200    17000   119000 |    77309    76865     58 |  0.003 % |
139.07/139.21	c |    210049 |     200    17000   119000 |    77127    77175     58 |  0.003 % |
139.37/139.59	c |    210390 |     200    17000   119000 |    77127    67224     58 |  0.003 % |
139.77/139.90	c |    210762 |     200    17000   119000 |    77127    67596     58 |  0.003 % |
140.07/140.23	c |    211171 |     200    17000   119000 |    77127    68005     58 |  0.003 % |
140.37/140.59	c |    211620 |     200    17000   119000 |    77127    68454     58 |  0.003 % |
140.77/140.98	c |    212113 |     200    17000   119000 |    77127    68947     58 |  0.003 % |
141.27/141.41	c |    212657 |     200    17000   119000 |    77127    69491     58 |  0.003 % |
141.67/141.85	c |    213253 |     200    17000   119000 |    77127    70087     58 |  0.003 % |
142.17/142.31	c |    213909 |     200    17000   119000 |    77127    70743     58 |  0.003 % |
142.67/142.82	c |    214630 |     200    17000   119000 |    77127    71464     58 |  0.003 % |
143.17/143.39	c |    215422 |     200    17000   119000 |    77127    72256     58 |  0.003 % |
143.87/144.04	c |    216293 |     200    17000   119000 |    77127    73127     58 |  0.003 % |
144.67/144.82	c |    217252 |     200    17000   119000 |    77127    74086     58 |  0.003 % |
145.47/145.69	c |    218306 |     200    17000   119000 |    77127    75140     58 |  0.003 % |
146.37/146.60	c |    219465 |     200    17000   119000 |    77127    76299     58 |  0.003 % |
147.47/147.69	c |    220738 |     200    17000   119000 |    76835    68614     58 |  0.003 % |
148.57/148.74	c |    222138 |     200    17000   119000 |    76835    70014     58 |  0.003 % |
149.67/149.84	c |    223679 |     200    17000   119000 |    76835    71555     58 |  0.003 % |
150.87/151.06	c |    225373 |     200    17000   119000 |    76835    73249     58 |  0.003 % |
152.27/152.42	c |    227237 |     200    17000   119000 |    76835    75113     58 |  0.003 % |
153.77/153.96	c |    229286 |     200    17000   119000 |    76835    69045     58 |  0.003 % |
155.17/155.38	c |    231540 |     200    17000   119000 |    69760    64127     58 |  0.003 % |
155.27/155.49	c |    231641 |     200    17000   119000 |    69760    64228     58 |  0.003 % |
155.37/155.58	c |    231751 |     200    17000   119000 |    69760    64338     58 |  0.003 % |
155.47/155.68	c |    231873 |     200    17000   119000 |    69760    64460     58 |  0.003 % |
155.57/155.78	c |    232007 |     200    17000   119000 |    69760    64594     58 |  0.003 % |
155.77/155.92	c |    232153 |     200    17000   119000 |    69760    64740     58 |  0.003 % |
155.86/156.06	c |    232315 |     200    17000   119000 |    69760    64902     58 |  0.003 % |
156.07/156.21	c |    232491 |     200    17000   119000 |    69760    65078     58 |  0.003 % |
156.16/156.35	c |    232685 |     200    17000   119000 |    69760    65272     58 |  0.003 % |
156.36/156.51	c |    232899 |     200    17000   119000 |    69760    65486     58 |  0.003 % |
156.46/156.68	c |    233132 |     200    17000   119000 |    69760    65719     58 |  0.003 % |
156.66/156.86	c |    233388 |     200    17000   119000 |    69760    65975     58 |  0.003 % |
156.86/157.08	c |    233669 |     200    17000   119000 |    69760    66256     58 |  0.003 % |
157.07/157.30	c |    233978 |     200    17000   119000 |    69760    66565     58 |  0.003 % |
157.36/157.56	c |    234319 |     200    17000   119000 |    69760    66906     58 |  0.003 % |
157.66/157.81	c |    234692 |     200    17000   119000 |    69760    67279     58 |  0.003 % |
157.96/158.13	c |    235101 |     200    17000   119000 |    69760    67688     58 |  0.003 % |
158.26/158.48	c |    235550 |     200    17000   119000 |    69760    68137     58 |  0.003 % |
158.76/158.93	c |    236043 |     200    17000   119000 |    69760    68630     58 |  0.003 % |
159.26/159.43	c |    236586 |     200    17000   119000 |    69760    69173     58 |  0.003 % |
159.66/159.90	c |    237182 |     200    17000   119000 |    69760    69769     58 |  0.003 % |
160.16/160.36	c |    237838 |     200    17000   119000 |    69760    63449     58 |  0.003 % |
160.66/160.84	c |    238559 |     200    17000   119000 |    69760    64170     58 |  0.003 % |
161.25/161.46	c |    239352 |     200    17000   119000 |    69760    64963     58 |  0.003 % |
161.91/162.15	c |    240223 |     200    17000   119000 | 2147483647    65834     58 |  0.003 % |
162.59/162.86	c |    241182 |     200    17000   119000 | 2147483647    66793     58 |  0.003 % |
163.39/163.67	c |    242235 |     200    17000   119000 | 2147483647    67846     58 |  0.003 % |
164.29/164.52	c |    243395 |     200    17000   119000 | 2147483647    69006     58 |  0.003 % |
165.28/165.51	c |    244668 |     200    17000   119000 | 2147483647    70279     58 |  0.003 % |
166.27/166.53	c |    246068 |     200    17000   119000 | 2147483647    71679     58 |  0.003 % |
167.57/167.87	c |    247608 |     200    17000   119000 | 2147483647    73219     58 |  0.003 % |
168.97/169.24	c |    249302 |     200    17000   119000 | 2147483647    74913     58 |  0.003 % |
170.47/170.78	c |    251165 |     200    17000   119000 |    75611    68431     58 |  0.003 % |
171.97/172.22	c |    253214 |     200    17000   119000 |    75611    70480     58 |  0.003 % |
173.57/173.86	c |    255467 |     200    17000   119000 |    75611    72733     58 |  0.003 % |
175.46/175.77	c |    257948 |     200    17000   119000 |    75611    75214     58 |  0.003 % |
175.56/175.85	c |    258050 |     200    17000   119000 |    75611    75316     58 |  0.003 % |
175.67/175.97	c |    258161 |     200    17000   119000 |    75611    75427     58 |  0.003 % |
175.87/176.10	c |    258282 |     200    17000   119000 |    75611    75548     58 |  0.003 % |
175.97/176.23	c |    258415 |     200    17000   119000 |    75611    75681     58 |  0.003 % |
176.17/176.41	c |    258562 |     200    17000   119000 |    75611    68039     58 |  0.003 % |
176.26/176.57	c |    258723 |     200    17000   119000 |    75611    68200     58 |  0.003 % |
176.46/176.72	c |    258899 |     200    17000   119000 |    75611    68376     58 |  0.003 % |
176.66/176.90	c |    259092 |     200    17000   119000 |    75611    68569     58 |  0.003 % |
176.86/177.11	c |    259304 |     200    17000   119000 |    75611    68781     58 |  0.003 % |
177.06/177.31	c |    259537 |     200    17000   119000 |    75611    69014     58 |  0.003 % |
177.27/177.55	c |    259795 |     200    17000   119000 |    75611    69272     58 |  0.003 % |
177.57/177.81	c |    260077 |     200    17000   119000 |    69478    69554     58 |  0.003 % |
177.76/178.08	c |    260389 |     200    17000   119000 |    69478    62404     58 |  0.003 % |
178.06/178.32	c |    260729 |     200    17000   119000 |    69478    62744     58 |  0.003 % |
178.26/178.55	c |    261103 |     200    17000   119000 |    69478    63118     58 |  0.003 % |
178.56/178.81	c |    261512 |     200    17000   119000 |    69478    63527     58 |  0.003 % |
178.86/179.16	c |    261961 |     200    17000   119000 |    69478    63976     58 |  0.003 % |
179.26/179.50	c |    262454 |     200    17000   119000 |    69478    64469     58 |  0.003 % |
179.66/179.90	c |    262996 |     200    17000   119000 |    69478    65011     58 |  0.003 % |
180.07/180.33	c |    263592 |     200    17000   119000 |    69478    65607     58 |  0.003 % |
180.56/180.89	c |    264248 |     200    17000   119000 |    69478    66263     58 |  0.003 % |
181.17/181.48	c |    264968 |     200    17000   119000 |    69478    66983     58 |  0.003 % |
181.86/182.10	c |    265761 |     200    17000   119000 |    69478    67776     58 |  0.003 % |
182.46/182.79	c |    266633 |     200    17000   119000 |    69478    68648     58 |  0.003 % |
183.26/183.55	c |    267591 |     200    17000   119000 |    69478    62650     58 |  0.003 % |
183.96/184.27	c |    268645 |     200    17000   119000 |    69478    63704     58 |  0.003 % |
184.86/185.14	c |    269804 |     200    17000   119000 |    69478    64863     58 |  0.003 % |
185.76/186.02	c |    271077 |     200    17000   119000 | 2147483647    66136     58 |  0.003 % |
186.76/187.06	c |    272477 |     200    17000   119000 | 2147483647    67536     58 |  0.003 % |
187.86/188.12	c |    274017 |     200    17000   119000 | 2147483647    69076     58 |  0.003 % |
189.15/189.45	c |    275712 |     200    17000   119000 | 2147483647    70771     58 |  0.003 % |
190.56/190.86	c |    277576 |     200    17000   119000 | 2147483647    72635     58 |  0.003 % |
192.25/192.55	c |    279625 |     200    17000   119000 | 2147483647    74684     58 |  0.003 % |
193.94/194.30	c |    281878 |     200    17000   119000 |    75060    68756     58 |  0.003 % |
195.73/196.04	c |    284357 |     200    17000   119000 |    75060    71235     58 |  0.003 % |
197.64/197.96	c |    287082 |     200    17000   119000 |    75060    73960     58 |  0.003 % |
197.74/198.08	c |    287182 |     200    17000   119000 |    75060    74060     58 |  0.003 % |
197.83/198.19	c |    287293 |     200    17000   119000 |    75060    74171     58 |  0.003 % |
198.03/198.30	c |    287416 |     200    17000   119000 |    75060    74294     58 |  0.003 % |
198.13/198.43	c |    287549 |     200    17000   119000 |    75060    74427     58 |  0.003 % |
198.23/198.59	c |    287695 |     200    17000   119000 |    75060    74573     58 |  0.003 % |
198.43/198.74	c |    287856 |     200    17000   119000 |    75060    74734     58 |  0.003 % |
198.53/198.89	c |    288033 |     200    17000   119000 |    75060    74911     58 |  0.003 % |
198.74/199.09	c |    288226 |     200    17000   119000 |    75060    75104     58 |  0.003 % |
199.03/199.33	c |    288438 |     200    17000   119000 |    75060    66788     58 |  0.003 % |
199.23/199.52	c |    288672 |     200    17000   119000 |    75060    67022     58 |  0.003 % |
199.43/199.71	c |    288929 |     200    17000   119000 |    75060    67279     58 |  0.003 % |
199.63/199.94	c |    289211 |     200    17000   119000 |    75060    67561     58 |  0.003 % |
199.83/200.19	c |    289522 |     200    17000   119000 |    75060    67872     58 |  0.003 % |
200.13/200.50	c |    289861 |     200    17000   119000 |    75060    68211     58 |  0.003 % |
200.53/200.85	c |    290233 |     200    17000   119000 |    68352    60718     58 |  0.003 % |
200.83/201.12	c |    290643 |     200    17000   119000 |    68352    61128     58 |  0.003 % |
201.13/201.44	c |    291092 |     200    17000   119000 |    68352    61577     58 |  0.003 % |
201.53/201.85	c |    291585 |     200    17000   119000 |    68352    62070     58 |  0.003 % |
201.93/202.29	c |    292127 |     200    17000   119000 |    68352    62612     58 |  0.003 % |
202.43/202.75	c |    292726 |     200    17000   119000 |    68352    63211     58 |  0.003 % |
202.93/203.21	c |    293382 |     200    17000   119000 |    68352    63867     58 |  0.003 % |
203.43/203.76	c |    294104 |     200    17000   119000 |    68352    64589     58 |  0.003 % |
204.03/204.33	c |    294896 |     200    17000   119000 |    68352    65381     58 |  0.003 % |
204.63/204.98	c |    295767 |     200    17000   119000 |    68352    66252     58 |  0.003 % |
205.33/205.70	c |    296727 |     200    17000   119000 |    68352    67212     58 |  0.003 % |
206.23/206.51	c |    297782 |     200    17000   119000 |    68352    68267     58 |  0.003 % |
207.02/207.39	c |    298941 |     200    17000   119000 |    68352    62582     58 |  0.003 % |
207.92/208.23	c |    300214 |     200    17000   119000 | 2147483647    63855     58 |  0.003 % |
208.82/209.19	c |    301614 |     200    17000   119000 | 2147483647    65255     58 |  0.003 % |
210.02/210.31	c |    303154 |     200    17000   119000 | 2147483647    66795     58 |  0.003 % |
211.12/211.48	c |    304848 |     200    17000   119000 | 2147483647    68489     58 |  0.003 % |
212.62/212.98	c |    306713 |     200    17000   119000 | 2147483647    70354     58 |  0.003 % |
214.12/214.42	c |    308762 |     200    17000   119000 | 2147483647    72403     58 |  0.003 % |
215.82/216.11	c |    311015 |     200    17000   119000 | 2147483647    74656     58 |  0.003 % |
217.91/218.23	c |    313494 |     200    17000   119000 | 2147483647    77135     58 |  0.003 % |
220.31/220.65	c |    316219 |     200    17000   119000 | 2147483647    79860     58 |  0.003 % |
222.90/223.27	c |    319217 |     200    17000   119000 | 2147483647    82858     58 |  0.003 % |
223.00/223.35	c |    319317 |     200    17000   119000 | 2147483647    82958     58 |  0.003 % |
223.11/223.45	c |    319429 |     200    17000   119000 | 2147483647    83070     58 |  0.003 % |
223.21/223.58	c |    319550 |     200    17000   119000 | 2147483647    83191     58 |  0.003 % |
223.41/223.78	c |    319684 |     200    17000   119000 | 2147483647    83325     58 |  0.003 % |
223.61/223.94	c |    319831 |     200    17000   119000 | 2147483647    83472     58 |  0.003 % |
223.81/224.11	c |    319991 |     200    17000   119000 | 2147483647    83632     58 |  0.003 % |
224.01/224.36	c |    320168 |     200    17000   119000 |    83641    71975     58 |  0.003 % |
224.21/224.52	c |    320361 |     200    17000   119000 |    83641    72168     58 |  0.003 % |
224.31/224.68	c |    320573 |     200    17000   119000 |    83641    72380     58 |  0.003 % |
224.61/224.92	c |    320809 |     200    17000   119000 |    83641    72616     58 |  0.003 % |
224.81/225.16	c |    321066 |     200    17000   119000 |    83641    72873     58 |  0.003 % |
225.11/225.44	c |    321348 |     200    17000   119000 |    83641    73155     58 |  0.003 % |
225.40/225.71	c |    321658 |     200    17000   119000 |    83641    73465     58 |  0.003 % |
225.60/225.97	c |    321997 |     200    17000   119000 |    83641    73804     58 |  0.003 % |
225.90/226.25	c |    322369 |     200    17000   119000 |    83641    74176     58 |  0.003 % |
226.31/226.62	c |    322778 |     200    17000   119000 |    83641    74585     58 |  0.003 % |
226.71/227.02	c |    323228 |     200    17000   119000 |    83641    75035     58 |  0.003 % |
227.10/227.41	c |    323722 |     200    17000   119000 |    83641    75529     58 |  0.003 % |
227.50/227.84	c |    324267 |     200    17000   119000 |    83641    76074     58 |  0.003 % |
228.00/228.35	c |    324863 |     200    17000   119000 |    83641    76670     58 |  0.003 % |
228.51/228.89	c |    325518 |     200    17000   119000 |    83641    77325     58 |  0.003 % |
229.20/229.59	c |    326240 |     200    17000   119000 |    83641    78047     58 |  0.003 % |
230.10/230.40	c |    327032 |     200    17000   119000 |    83641    78839     58 |  0.003 % |
230.90/231.25	c |    327904 |     200    17000   119000 |    83641    79711     58 |  0.003 % |
231.81/232.15	c |    328863 |     200    17000   119000 |    83641    80670     58 |  0.003 % |
232.81/233.10	c |    329916 |     200    17000   119000 |    83641    81723     58 |  0.003 % |
233.80/234.13	c |    331074 |     200    17000   119000 |    81808    70134     58 |  0.003 % |
234.70/235.10	c |    332348 |     200    17000   119000 |    81808    71408     58 |  0.003 % |
235.80/236.16	c |    333749 |     200    17000   119000 |    81808    72809     58 |  0.003 % |
237.00/237.31	c |    335289 |     200    17000   119000 |    81808    74349     58 |  0.003 % |
238.30/238.67	c |    336983 |     200    17000   119000 |    81808    76043     58 |  0.003 % |
239.70/240.00	c |    338846 |     200    17000   119000 |    81808    77906     58 |  0.003 % |
241.20/241.51	c |    340897 |     200    17000   119000 |    79061    69564     58 |  0.003 % |
242.70/243.08	c |    343152 |     200    17000   119000 |    79061    71819     58 |  0.003 % |
244.60/244.93	c |    345630 |     200    17000   119000 |    79061    74297     58 |  0.003 % |
246.70/247.02	c |    348356 |     200    17000   119000 |    79061    77023     58 |  0.003 % |
249.00/249.40	c |    351353 |     200    17000   119000 |    78668    71061     58 |  0.003 % |
251.39/251.75	c |    354649 |     200    17000   119000 |    78668    74357     58 |  0.003 % |
251.50/251.84	c |    354753 |     200    17000   119000 |    78668    74461     58 |  0.003 % |
251.60/251.92	c |    354865 |     200    17000   119000 |    78668    74573     58 |  0.003 % |
251.69/252.04	c |    354986 |     200    17000   119000 |    78668    74694     58 |  0.003 % |
251.79/252.15	c |    355120 |     200    17000   119000 |    78668    74828     58 |  0.003 % |
251.89/252.28	c |    355268 |     200    17000   119000 |    78668    74976     58 |  0.003 % |
252.09/252.41	c |    355430 |     200    17000   119000 |    78668    75138     58 |  0.003 % |
252.19/252.58	c |    355607 |     200    17000   119000 |    78668    75315     58 |  0.003 % |
252.39/252.74	c |    355801 |     200    17000   119000 |    78668    75509     58 |  0.003 % |
252.59/252.91	c |    356013 |     200    17000   119000 |    78668    75721     58 |  0.003 % |
252.79/253.14	c |    356246 |     200    17000   119000 |    78668    75954     58 |  0.003 % |
252.99/253.39	c |    356502 |     200    17000   119000 |    78668    76210     58 |  0.003 % |
253.29/253.66	c |    356783 |     200    17000   119000 |    78668    76491     58 |  0.003 % |
253.59/253.96	c |    357092 |     200    17000   119000 |    78668    76800     58 |  0.003 % |
253.89/254.25	c |    357432 |     200    17000   119000 |    78668    77140     58 |  0.003 % |
254.19/254.55	c |    357806 |     200    17000   119000 |    78668    77514     58 |  0.003 % |
254.49/254.89	c |    358216 |     200    17000   119000 |    78668    77924     58 |  0.003 % |
254.99/255.31	c |    358666 |     200    17000   119000 |    78668    78374     58 |  0.003 % |
255.49/255.81	c |    359159 |     200    17000   119000 |    78668    69053     58 |  0.003 % |
255.89/256.27	c |    359703 |     200    17000   119000 |    78668    69597     58 |  0.003 % |
256.39/256.74	c |    360300 |     200    17000   119000 |    69895    61632     58 |  0.003 % |
256.79/257.18	c |    360957 |     200    17000   119000 |    69895    62289     58 |  0.003 % |
257.39/257.70	c |    361678 |     200    17000   119000 |    69895    63010     58 |  0.003 % |
257.99/258.31	c |    362472 |     200    17000   119000 |    69895    63804     58 |  0.003 % |
258.59/258.90	c |    363346 |     200    17000   119000 |    69895    64678     58 |  0.003 % |
259.29/259.64	c |    364305 |     200    17000   119000 |    69895    65637     58 |  0.003 % |
259.99/260.36	c |    365359 |     200    17000   119000 |    69895    66691     58 |  0.003 % |
260.79/261.15	c |    366520 |     200    17000   119000 |    69895    67852     58 |  0.003 % |
261.79/262.14	c |    367793 |     200    17000   119000 |    69895    69125     58 |  0.003 % |
262.98/263.30	c |    369195 |     200    17000   119000 |    69895    63528     58 |  0.003 % |
263.98/264.36	c |    370735 |     200    17000   119000 | 2147483647    65068     58 |  0.003 % |
265.18/265.53	c |    372429 |     200    17000   119000 | 2147483647    66762     58 |  0.003 % |
266.58/266.91	c |    374292 |     200    17000   119000 | 2147483647    68625     58 |  0.003 % |
268.18/268.54	c |    376343 |     200    17000   119000 | 2147483647    70676     58 |  0.003 % |
269.88/270.27	c |    378596 |     200    17000   119000 | 2147483647    72929     58 |  0.003 % |
271.88/272.28	c |    381074 |     200    17000   119000 |    74333    67830     58 |  0.003 % |
274.08/274.40	c |    383799 |     200    17000   119000 |    74333    70555     58 |  0.003 % |
276.28/276.67	c |    386796 |     200    17000   119000 |    74333    73552     58 |  0.003 % |
278.58/278.98	c |    390092 |     200    17000   119000 |    68574    68665     58 |  0.003 % |
280.88/281.28	c |    393717 |     200    17000   119000 |    68574    65295     58 |  0.003 % |
280.97/281.35	c |    393818 |     200    17000   119000 |    68574    65396     58 |  0.003 % |
281.07/281.44	c |    393930 |     200    17000   119000 |    68574    65508     58 |  0.003 % |
281.18/281.53	c |    394052 |     200    17000   119000 |    68574    65630     58 |  0.003 % |
281.28/281.65	c |    394186 |     200    17000   119000 |    68574    65764     58 |  0.003 % |
281.37/281.77	c |    394333 |     200    17000   119000 |    68574    65911     58 |  0.003 % |
281.57/281.92	c |    394493 |     200    17000   119000 |    68574    66071     58 |  0.003 % |
281.67/282.07	c |    394669 |     200    17000   119000 |    68574    66247     58 |  0.003 % |
281.87/282.22	c |    394862 |     200    17000   119000 |    68574    66440     58 |  0.003 % |
281.97/282.39	c |    395075 |     200    17000   119000 |    68574    66653     58 |  0.003 % |
282.17/282.60	c |    395308 |     200    17000   119000 |    68574    66886     58 |  0.003 % |
282.47/282.82	c |    395564 |     200    17000   119000 |    68574    67142     58 |  0.003 % |
282.67/283.07	c |    395847 |     200    17000   119000 |    68574    67425     58 |  0.003 % |
282.97/283.34	c |    396156 |     200    17000   119000 |    68574    67734     58 |  0.003 % |
283.27/283.63	c |    396495 |     200    17000   119000 |    68574    68073     58 |  0.003 % |
283.57/283.94	c |    396868 |     200    17000   119000 |    68574    68446     58 |  0.003 % |
283.97/284.30	c |    397278 |     200    17000   119000 |    68574    61989     58 |  0.003 % |
284.27/284.62	c |    397728 |     200    17000   119000 |    68574    62439     58 |  0.003 % |
284.57/284.98	c |    398221 |     200    17000   119000 |    68574    62932     58 |  0.003 % |
284.97/285.35	c |    398764 |     200    17000   119000 |    68574    63475     58 |  0.003 % |
285.37/285.77	c |    399360 |     200    17000   119000 |    68574    64071     58 |  0.003 % |
285.87/286.23	c |    400015 |     200    17000   119000 | 2147483647    64726     58 |  0.003 % |
286.47/286.81	c |    400738 |     200    17000   119000 | 2147483647    65449     58 |  0.003 % |
286.97/287.35	c |    401530 |     200    17000   119000 | 2147483647    66241     58 |  0.003 % |
287.67/288.02	c |    402401 |     200    17000   119000 | 2147483647    67112     58 |  0.003 % |
288.37/288.72	c |    403360 |     200    17000   119000 | 2147483647    68071     58 |  0.003 % |
289.07/289.48	c |    404415 |     200    17000   119000 | 2147483647    69126     58 |  0.003 % |
289.97/290.33	c |    405573 |     200    17000   119000 | 2147483647    70284     58 |  0.003 % |
291.07/291.43	c |    406846 |     200    17000   119000 | 2147483647    71557     58 |  0.003 % |
292.17/292.51	c |    408246 |     200    17000   119000 | 2147483647    72957     58 |  0.003 % |
293.37/293.70	c |    409788 |     200    17000   119000 | 2147483647    74499     58 |  0.003 % |
294.57/294.95	c |    411482 |     200    17000   119000 |    74712    68095     58 |  0.003 % |
295.86/296.28	c |    413345 |     200    17000   119000 |    74712    69958     58 |  0.003 % |
297.36/297.78	c |    415396 |     200    17000   119000 |    74712    72009     58 |  0.003 % |
299.06/299.40	c |    417649 |     200    17000   119000 |    74712    74262     58 |  0.003 % |
300.86/301.24	c |    420127 |     200    17000   119000 | 2147483647    68992     58 |  0.003 % |
302.76/303.16	c |    422852 |     200    17000   119000 | 2147483647    71717     58 |  0.003 % |
304.76/305.17	c |    425849 |     200    17000   119000 | 2147483647    74714     58 |  0.003 % |
307.26/307.61	c |    429145 |     200    17000   119000 | 2147483647    78010     58 |  0.003 % |
309.86/310.28	c |    432771 |     200    17000   119000 |    78865    73484     58 |  0.003 % |
313.16/313.56	c |    436759 |     200    17000   119000 |    78865    77472     58 |  0.003 % |
313.26/313.65	c |    436860 |     200    17000   119000 |    78865    77573     58 |  0.003 % |
313.36/313.76	c |    436971 |     200    17000   119000 |    78865    77684     58 |  0.003 % |
313.46/313.87	c |    437092 |     200    17000   119000 |    78865    77805     58 |  0.003 % |
313.66/314.04	c |    437225 |     200    17000   119000 |    78865    77938     58 |  0.003 % |
313.86/314.20	c |    437371 |     200    17000   119000 |    78865    78084     58 |  0.003 % |
313.96/314.38	c |    437532 |     200    17000   119000 |    78865    78245     58 |  0.003 % |
314.16/314.56	c |    437709 |     200    17000   119000 |    78865    78422     58 |  0.003 % |
314.36/314.76	c |    437903 |     200    17000   119000 |    78865    78616     58 |  0.003 % |
314.56/314.97	c |    438115 |     200    17000   119000 |    78865    78828     58 |  0.003 % |
314.86/315.26	c |    438348 |     200    17000   119000 |    78865    69185     58 |  0.003 % |
315.06/315.46	c |    438607 |     200    17000   119000 |    78865    69444     58 |  0.003 % |
315.26/315.69	c |    438890 |     200    17000   119000 |    78865    69727     58 |  0.003 % |
315.56/315.95	c |    439199 |     200    17000   119000 |    78865    70036     58 |  0.003 % |
315.75/316.19	c |    439538 |     200    17000   119000 |    78865    70375     58 |  0.003 % |
316.15/316.52	c |    439910 |     200    17000   119000 |    78865    70747     58 |  0.003 % |
316.46/316.89	c |    440320 |     200    17000   119000 |    70840    62368     58 |  0.003 % |
316.85/317.21	c |    440771 |     200    17000   119000 |    70840    62819     58 |  0.003 % |
317.15/317.59	c |    441264 |     200    17000   119000 |    70840    63312     58 |  0.003 % |
317.56/317.94	c |    441806 |     200    17000   119000 |    70840    63854     58 |  0.003 % |
317.95/318.32	c |    442405 |     200    17000   119000 |    70840    64453     58 |  0.003 % |
318.35/318.71	c |    443060 |     200    17000   119000 |    70840    65108     58 |  0.003 % |
318.85/319.28	c |    443780 |     200    17000   119000 |    70840    65828     58 |  0.003 % |
319.45/319.84	c |    444575 |     200    17000   119000 |    70840    66623     58 |  0.003 % |
320.15/320.55	c |    445446 |     200    17000   119000 |    70840    67494     58 |  0.003 % |
320.86/321.25	c |    446404 |     200    17000   119000 |    70840    68452     58 |  0.003 % |
321.55/321.98	c |    447459 |     200    17000   119000 |    70840    69507     58 |  0.003 % |
322.35/322.78	c |    448618 |     200    17000   119000 |    70840    70666     58 |  0.003 % |
323.25/323.68	c |    449893 |     200    17000   119000 |    70840    64849     58 |  0.003 % |
324.25/324.67	c |    451295 |     200    17000   119000 | 2147483647    66251     58 |  0.003 % |
325.35/325.76	c |    452835 |     200    17000   119000 | 2147483647    67791     58 |  0.003 % |
326.65/327.06	c |    454529 |     200    17000   119000 | 2147483647    69485     58 |  0.003 % |
328.15/328.55	c |    456394 |     200    17000   119000 | 2147483647    71350     58 |  0.003 % |
329.75/330.13	c |    458445 |     200    17000   119000 | 2147483647    73401     58 |  0.003 % |
331.54/331.98	c |    460700 |     200    17000   119000 |    74957    67758     58 |  0.003 % |
333.34/333.77	c |    463179 |     200    17000   119000 |    74957    70237     58 |  0.003 % |
335.44/335.81	c |    465904 |     200    17000   119000 |    74957    72962     58 |  0.003 % |
337.64/338.04	c |    468903 |     200    17000   119000 |    74957    68225     58 |  0.003 % |
339.94/340.31	c |    472199 |     200    17000   119000 |    69323    64459     58 |  0.003 % |
342.44/342.86	c |    475824 |     200    17000   119000 |    69323    68084     58 |  0.003 % |
345.04/345.46	c |    479811 |     200    17000   119000 |    69323    65129     58 |  0.003 % |
347.94/348.33	c |    484196 |     200    17000   119000 | 2147483647    69514     59 |  0.003 % |
348.04/348.40	c |    484299 |     200    17000   119000 | 2147483647    69617     59 |  0.003 % |
348.04/348.49	c |    484410 |     200    17000   119000 | 2147483647    69728     59 |  0.003 % |
348.14/348.59	c |    484532 |     200    17000   119000 | 2147483647    69850     59 |  0.003 % |
348.34/348.72	c |    484666 |     200    17000   119000 | 2147483647    69984     59 |  0.003 % |
348.44/348.85	c |    484813 |     200    17000   119000 | 2147483647    70131     59 |  0.003 % |
348.54/348.97	c |    484974 |     200    17000   119000 | 2147483647    70292     59 |  0.003 % |
348.64/349.09	c |    485151 |     200    17000   119000 | 2147483647    70469     59 |  0.003 % |
348.84/349.23	c |    485345 |     200    17000   119000 | 2147483647    70663     59 |  0.003 % |
349.04/349.42	c |    485559 |     200    17000   119000 | 2147483647    70877     59 |  0.003 % |
349.24/349.60	c |    485793 |     200    17000   119000 | 2147483647    71111     59 |  0.003 % |
349.44/349.80	c |    486049 |     200    17000   119000 | 2147483647    71367     59 |  0.003 % |
349.64/350.03	c |    486332 |     200    17000   119000 | 2147483647    71650     59 |  0.003 % |
349.84/350.27	c |    486642 |     200    17000   119000 | 2147483647    71960     59 |  0.003 % |
350.14/350.54	c |    486982 |     200    17000   119000 | 2147483647    72300     59 |  0.003 % |
350.44/350.83	c |    487354 |     200    17000   119000 | 2147483647    72672     59 |  0.003 % |
350.74/351.14	c |    487764 |     200    17000   119000 | 2147483647    73082     59 |  0.003 % |
351.14/351.51	c |    488213 |     200    17000   119000 | 2147483647    73531     59 |  0.003 % |
351.54/351.91	c |    488706 |     200    17000   119000 | 2147483647    74024     59 |  0.003 % |
351.94/352.32	c |    489248 |     200    17000   119000 | 2147483647    74566     59 |  0.003 % |
352.44/352.80	c |    489845 |     200    17000   119000 | 2147483647    75163     58 |  0.003 % |
352.94/353.32	c |    490500 |     200    17000   119000 | 2147483647    75818     58 |  0.003 % |
353.54/353.97	c |    491220 |     200    17000   119000 | 2147483647    76538     58 |  0.003 % |
354.13/354.56	c |    492014 |     200    17000   119000 | 2147483647    77332     58 |  0.003 % |
354.84/355.28	c |    492885 |     200    17000   119000 | 2147483647    78203     58 |  0.003 % |
355.53/355.97	c |    493843 |     200    17000   119000 | 2147483647    79161     58 |  0.003 % |
356.33/356.75	c |    494896 |     200    17000   119000 | 2147483647    80214     58 |  0.003 % |
357.23/357.62	c |    496056 |     200    17000   119000 | 2147483647    81374     58 |  0.003 % |
358.33/358.72	c |    497330 |     200    17000   119000 | 2147483647    82648     58 |  0.003 % |
359.53/359.95	c |    498731 |     200    17000   119000 | 2147483647    84049     58 |  0.003 % |
360.94/361.31	c |    500271 |     200    17000   119000 |    85318    73805     58 |  0.003 % |
362.23/362.61	c |    501965 |     200    17000   119000 |    85318    75499     58 |  0.003 % |
363.74/364.15	c |    503828 |     200    17000   119000 |    85318    77362     58 |  0.003 % |
365.53/365.94	c |    505877 |     200    17000   119000 |    85318    79411     58 |  0.003 % |
367.43/367.82	c |    508130 |     200    17000   119000 |    85318    81664     58 |  0.003 % |
369.53/369.97	c |    510608 |     200    17000   119000 |    83535    72553     58 |  0.003 % |
371.63/372.01	c |    513334 |     200    17000   119000 |    83535    75279     58 |  0.003 % |
373.93/374.38	c |    516331 |     200    17000   119000 |    83535    78276     58 |  0.003 % |
376.52/376.91	c |    519628 |     200    17000   119000 |    83535    81573     58 |  0.003 % |
379.32/379.78	c |    523253 |     200    17000   119000 |    81946    74950     58 |  0.003 % |
382.43/382.84	c |    527242 |     200    17000   119000 |    81946    78939     58 |  0.003 % |
385.92/386.37	c |    531628 |     200    17000   119000 |    81698    73044     58 |  0.003 % |
389.62/390.09	c |    536453 |     200    17000   119000 |    81698    77869     58 |  0.003 % |
389.72/390.18	c |    536554 |     200    17000   119000 |    81698    77970     58 |  0.003 % |
389.92/390.30	c |    536664 |     200    17000   119000 |    81698    78080     58 |  0.003 % |
389.92/390.38	c |    536786 |     200    17000   119000 |    81698    78202     58 |  0.003 % |
390.12/390.51	c |    536919 |     200    17000   119000 |    81698    78335     58 |  0.003 % |
390.22/390.64	c |    537065 |     200    17000   119000 |    81698    78481     58 |  0.003 % |
390.42/390.80	c |    537226 |     200    17000   119000 |    81698    78642     58 |  0.003 % |
390.52/390.99	c |    537403 |     200    17000   119000 |    81698    78819     58 |  0.003 % |
390.72/391.16	c |    537596 |     200    17000   119000 |    81698    79012     58 |  0.003 % |
390.92/391.36	c |    537809 |     200    17000   119000 |    81698    79225     58 |  0.003 % |
391.12/391.58	c |    538042 |     200    17000   119000 |    81698    79458     58 |  0.003 % |
391.42/391.83	c |    538301 |     200    17000   119000 |    81698    79717     58 |  0.003 % |
391.61/392.07	c |    538583 |     200    17000   119000 |    81698    79999     58 |  0.003 % |
391.91/392.35	c |    538892 |     200    17000   119000 |    81698    80308     58 |  0.003 % |
392.22/392.66	c |    539231 |     200    17000   119000 |    81698    80647     58 |  0.003 % |
392.61/393.00	c |    539604 |     200    17000   119000 |    81698    81020     58 |  0.003 % |
392.91/393.38	c |    540014 |     200    17000   119000 |    81416    81430     58 |  0.003 % |
393.42/393.85	c |    540463 |     200    17000   119000 |    81416    70778     58 |  0.003 % |
393.81/394.21	c |    540956 |     200    17000   119000 |    81416    71271     58 |  0.003 % |
394.11/394.58	c |    541498 |     200    17000   119000 |    81416    71813     58 |  0.003 % |
394.61/395.02	c |    542094 |     200    17000   119000 |    81416    72409     58 |  0.003 % |
395.11/395.50	c |    542752 |     200    17000   119000 |    81416    73067     58 |  0.003 % |
395.62/396.05	c |    543472 |     200    17000   119000 |    81416    73787     58 |  0.003 % |
396.21/396.68	c |    544264 |     200    17000   119000 |    81416    74579     58 |  0.003 % |
396.91/397.39	c |    545135 |     200    17000   119000 |    81416    75450     58 |  0.003 % |
397.71/398.13	c |    546094 |     200    17000   119000 |    81416    76409     58 |  0.003 % |
398.51/398.95	c |    547147 |     200    17000   119000 |    81416    77462     58 |  0.003 % |
399.51/399.91	c |    548305 |     200    17000   119000 |    81416    78620     58 |  0.003 % |
400.51/400.90	c |    549578 |     200    17000   119000 |    81416    79893     58 |  0.003 % |
401.61/402.06	c |    550978 |     200    17000   119000 |    80315    70358     58 |  0.003 % |
402.71/403.13	c |    552518 |     200    17000   119000 |    80315    71898     58 |  0.003 % |
404.01/404.49	c |    554213 |     200    17000   119000 |    80315    73593     58 |  0.003 % |
405.51/405.99	c |    556078 |     200    17000   119000 |    80315    75458     58 |  0.003 % |
407.31/407.72	c |    558128 |     200    17000   119000 |    80315    77508     58 |  0.003 % |
409.21/409.64	c |    560381 |     200    17000   119000 |    79380    69467     58 |  0.003 % |
411.01/411.42	c |    562860 |     200    17000   119000 |    79380    71946     58 |  0.003 % |
413.00/413.47	c |    565585 |     200    17000   119000 |    79380    74671     58 |  0.003 % |
415.50/415.93	c |    568582 |     200    17000   119000 |    79380    77668     58 |  0.003 % |
418.10/418.50	c |    571878 |     200    17000   119000 |    79088    70764     58 |  0.003 % |
420.60/421.09	c |    575504 |     200    17000   119000 |    79088    74390     58 |  0.003 % |
424.10/424.54	c |    579492 |     200    17000   119000 |    79088    78378     58 |  0.003 % |
427.50/427.93	c |    583878 |     200    17000   119000 |    78888    72731     58 |  0.003 % |
431.00/431.49	c |    588702 |     200    17000   119000 |    78888    77555     58 |  0.003 % |
434.99/435.44	c |    594008 |     200    17000   119000 |    78853    73369     59 |  0.003 % |
435.10/435.54	c |    594109 |     200    17000   119000 |    78853    73470     59 |  0.003 % |
435.20/435.64	c |    594219 |     200    17000   119000 |    78853    73580     59 |  0.003 % |
435.29/435.76	c |    594340 |     200    17000   119000 |    78853    73701     59 |  0.003 % |
435.49/435.90	c |    594473 |     200    17000   119000 |    78853    73834     59 |  0.003 % |
435.59/436.04	c |    594621 |     200    17000   119000 |    78853    73982     59 |  0.003 % |
435.69/436.20	c |    594783 |     200    17000   119000 |    78853    74144     59 |  0.003 % |
435.89/436.35	c |    594959 |     200    17000   119000 |    78853    74320     59 |  0.003 % |
436.09/436.52	c |    595152 |     200    17000   119000 |    78853    74513     59 |  0.003 % |
436.30/436.71	c |    595364 |     200    17000   119000 |    78853    74725     59 |  0.003 % |
436.49/436.91	c |    595599 |     200    17000   119000 |    78853    74960     59 |  0.003 % |
436.69/437.18	c |    595855 |     200    17000   119000 |    78853    75216     59 |  0.003 % |
436.99/437.45	c |    596136 |     200    17000   119000 |    78853    75497     59 |  0.003 % |
437.30/437.72	c |    596445 |     200    17000   119000 |    78853    75806     59 |  0.003 % |
437.49/437.97	c |    596784 |     200    17000   119000 |    78853    76145     59 |  0.003 % |
437.79/438.27	c |    597156 |     200    17000   119000 |    78853    76517     59 |  0.003 % |
438.19/438.64	c |    597566 |     200    17000   119000 |    78853    76927     59 |  0.003 % |
438.69/439.13	c |    598015 |     200    17000   119000 |    78853    77376     59 |  0.003 % |
439.19/439.61	c |    598508 |     200    17000   119000 |    78853    77869     59 |  0.003 % |
439.60/440.09	c |    599050 |     200    17000   119000 |    78853    78411     59 |  0.003 % |
440.29/440.73	c |    599648 |     200    17000   119000 |    78853    68529     58 |  0.003 % |
440.79/441.27	c |    600303 |     200    17000   119000 |    68882    60089     59 |  0.003 % |
441.29/441.73	c |    601025 |     200    17000   119000 |    68882    60811     59 |  0.003 % |
441.89/442.34	c |    601817 |     200    17000   119000 |    68882    61603     59 |  0.003 % |
442.59/443.02	c |    602690 |     200    17000   119000 |    68882    62476     59 |  0.003 % |
443.29/443.76	c |    603649 |     200    17000   119000 |    68882    63435     59 |  0.003 % |
444.09/444.51	c |    604703 |     200    17000   119000 |    68882    64489     59 |  0.003 % |
444.89/445.32	c |    605862 |     200    17000   119000 |    68882    65648     59 |  0.003 % |
445.79/446.24	c |    607136 |     200    17000   119000 |    68882    66922     59 |  0.003 % |
446.69/447.19	c |    608536 |     200    17000   119000 |    68882    68322     59 |  0.003 % |
448.10/448.56	c |    610076 |     200    17000   119000 | 2147483647    62965     59 |  0.003 % |
449.40/449.80	c |    611770 |     200    17000   119000 | 2147483647    64659     59 |  0.003 % |
450.70/451.11	c |    613634 |     200    17000   119000 | 2147483647    66523     59 |  0.003 % |
452.10/452.53	c |    615686 |     200    17000   119000 | 2147483647    68575     59 |  0.003 % |
453.70/454.16	c |    617939 |     200    17000   119000 | 2147483647    70828     59 |  0.003 % |
455.69/456.16	c |    620417 |     200    17000   119000 | 2147483647    73306     59 |  0.003 % |
457.89/458.33	c |    623142 |     200    17000   119000 | 2147483647    76031     59 |  0.003 % |
460.29/460.74	c |    626140 |     200    17000   119000 | 2147483647    79029     59 |  0.003 % |
462.99/463.41	c |    629437 |     200    17000   119000 | 2147483647    82326     59 |  0.003 % |
465.99/466.43	c |    633062 |     200    17000   119000 |    82890    75544     59 |  0.003 % |
469.49/469.98	c |    637050 |     200    17000   119000 |    82890    79532     59 |  0.003 % |
473.39/473.81	c |    641435 |     200    17000   119000 |    82483    71147     59 |  0.003 % |
477.08/477.55	c |    646258 |     200    17000   119000 |    82483    75970     59 |  0.003 % |
481.39/481.88	c |    651563 |     200    17000   119000 |    79715    69943     59 |  0.003 % |
485.69/486.18	c |    657399 |     200    17000   119000 |    79715    75779     59 |  0.003 % |
485.78/486.27	c |    657500 |     200    17000   119000 |    79715    75880     59 |  0.003 % |
485.98/486.40	c |    657614 |     200    17000   119000 |    79715    75994     59 |  0.003 % |
486.08/486.51	c |    657735 |     200    17000   119000 |    79715    76115     59 |  0.003 % |
486.18/486.62	c |    657869 |     200    17000   119000 |    79715    76249     59 |  0.003 % |
486.28/486.76	c |    658016 |     200    17000   119000 |    79715    76396     59 |  0.003 % |
486.48/486.95	c |    658176 |     200    17000   119000 |    79715    76556     59 |  0.003 % |
486.68/487.12	c |    658353 |     200    17000   119000 |    79715    76733     59 |  0.003 % |
486.88/487.30	c |    658546 |     200    17000   119000 |    79715    76926     59 |  0.003 % |
487.08/487.53	c |    658759 |     200    17000   119000 |    79715    77139     59 |  0.003 % |
487.28/487.78	c |    658992 |     200    17000   119000 |    79715    77372     59 |  0.003 % |
487.58/488.04	c |    659248 |     200    17000   119000 |    79715    77628     59 |  0.003 % |
487.78/488.28	c |    659529 |     200    17000   119000 |    79715    77909     59 |  0.003 % |
488.18/488.63	c |    659838 |     200    17000   119000 |    79715    78218     59 |  0.003 % |
488.58/489.07	c |    660178 |     200    17000   119000 |    78382    67656     59 |  0.003 % |
488.88/489.35	c |    660550 |     200    17000   119000 |    78382    68028     59 |  0.003 % |
489.18/489.67	c |    660959 |     200    17000   119000 |    78382    68437     59 |  0.003 % |
489.58/490.03	c |    661408 |     200    17000   119000 |    78382    68886     59 |  0.003 % |
489.98/490.41	c |    661901 |     200    17000   119000 |    78382    69379     59 |  0.003 % |
490.38/490.82	c |    662444 |     200    17000   119000 |    78382    69922     59 |  0.003 % |
490.78/491.26	c |    663040 |     200    17000   119000 |    78382    70518     59 |  0.003 % |
491.38/491.85	c |    663696 |     200    17000   119000 |    78382    71174     59 |  0.003 % |
491.98/492.49	c |    664417 |     200    17000   119000 |    78382    71895     59 |  0.003 % |
492.68/493.17	c |    665212 |     200    17000   119000 |    78382    72690     59 |  0.003 % |
493.38/493.89	c |    666084 |     200    17000   119000 |    78382    73562     59 |  0.003 % |
494.28/494.71	c |    667043 |     200    17000   119000 |    78382    74521     59 |  0.003 % |
495.17/495.69	c |    668097 |     200    17000   119000 |    78382    75575     59 |  0.003 % |
496.27/496.74	c |    669255 |     200    17000   119000 |    78382    76733     59 |  0.003 % |
497.37/497.87	c |    670528 |     200    17000   119000 |    77479    67438     59 |  0.003 % |
498.57/499.03	c |    671928 |     200    17000   119000 |    77479    68838     59 |  0.003 % |
499.77/500.28	c |    673469 |     200    17000   119000 |    77479    70379     59 |  0.003 % |
501.08/501.60	c |    675166 |     200    17000   119000 |    77479    72076     59 |  0.003 % |
502.47/502.95	c |    677030 |     200    17000   119000 |    77479    73940     59 |  0.003 % |
504.27/504.76	c |    679079 |     200    17000   119000 |    77479    75989     59 |  0.003 % |
506.37/506.84	c |    681332 |     200    17000   119000 |    76911    68471     59 |  0.003 % |
508.37/508.85	c |    683810 |     200    17000   119000 |    76911    70949     59 |  0.003 % |
510.57/511.00	c |    686536 |     200    17000   119000 |    76911    73675     59 |  0.003 % |
513.07/513.57	c |    689533 |     200    17000   119000 |    76911    76672     59 |  0.003 % |
515.67/516.12	c |    692832 |     200    17000   119000 |    67216    61381     59 |  0.003 % |
518.37/518.85	c |    696457 |     200    17000   119000 |    67216    65006     59 |  0.003 % |
521.16/521.66	c |    700445 |     200    17000   119000 | 2147483647    62263     59 |  0.003 % |
524.46/524.93	c |    704831 |     200    17000   119000 | 2147483647    66649     59 |  0.003 % |
527.86/528.31	c |    709654 |     200    17000   119000 | 2147483647    71472     59 |  0.003 % |
531.56/532.08	c |    714963 |     200    17000   119000 | 2147483647    76781     59 |  0.003 % |
536.36/536.90	c |    720798 |     200    17000   119000 |    81819    72562     59 |  0.003 % |
541.46/541.95	c |    727217 |     200    17000   119000 |    81819    78981     59 |  0.003 % |
541.56/542.04	c |    727317 |     200    17000   119000 |    81819    79081     59 |  0.003 % |
541.66/542.13	c |    727427 |     200    17000   119000 |    81819    79191     59 |  0.003 % |
541.76/542.24	c |    727548 |     200    17000   119000 |    81819    79312     59 |  0.003 % |
541.95/542.43	c |    727686 |     200    17000   119000 |    81819    79450     59 |  0.003 % |
542.15/542.60	c |    727832 |     200    17000   119000 |    81819    79596     59 |  0.003 % |
542.25/542.74	c |    727992 |     200    17000   119000 |    81819    79756     59 |  0.003 % |
542.45/542.91	c |    728168 |     200    17000   119000 |    81819    79932     59 |  0.003 % |
542.55/543.09	c |    728361 |     200    17000   119000 |    81819    80125     59 |  0.003 % |
542.86/543.30	c |    728576 |     200    17000   119000 |    81819    80340     59 |  0.003 % |
543.05/543.55	c |    728810 |     200    17000   119000 |    81819    80574     59 |  0.003 % |
543.35/543.86	c |    729068 |     200    17000   119000 |    81819    80832     59 |  0.003 % |
543.65/544.19	c |    729351 |     200    17000   119000 |    81819    81115     59 |  0.003 % |
543.96/544.47	c |    729660 |     200    17000   119000 |    81819    81424     59 |  0.003 % |
544.35/544.80	c |    729999 |     200    17000   119000 |    81819    81763     59 |  0.003 % |
544.65/545.19	c |    730371 |     200    17000   119000 |    81764    70508     59 |  0.003 % |
545.06/545.52	c |    730780 |     200    17000   119000 |    81764    70917     59 |  0.003 % |
545.35/545.88	c |    731229 |     200    17000   119000 |    81764    71366     59 |  0.003 % |
545.75/546.28	c |    731722 |     200    17000   119000 |    81764    71859     59 |  0.003 % |
546.26/546.73	c |    732269 |     200    17000   119000 |    81764    72406     59 |  0.003 % |
546.65/547.18	c |    732865 |     200    17000   119000 |    81764    73002     59 |  0.003 % |
547.15/547.66	c |    733520 |     200    17000   119000 |    81764    73657     59 |  0.003 % |
547.85/548.33	c |    734240 |     200    17000   119000 |    81764    74377     59 |  0.003 % |
548.55/549.00	c |    735033 |     200    17000   119000 |    81764    75170     59 |  0.003 % |
549.25/549.77	c |    735904 |     200    17000   119000 |    81764    76041     59 |  0.003 % |
550.15/550.62	c |    736863 |     200    17000   119000 |    81764    77000     59 |  0.003 % |
550.95/551.48	c |    737917 |     200    17000   119000 |    81764    78054     59 |  0.003 % |
551.95/552.40	c |    739075 |     200    17000   119000 |    81764    79212     59 |  0.003 % |
553.15/553.63	c |    740348 |     200    17000   119000 |    80138    69459     59 |  0.003 % |
554.15/554.69	c |    741750 |     200    17000   119000 |    80138    70861     59 |  0.003 % |
555.45/555.92	c |    743290 |     200    17000   119000 |    80138    72401     59 |  0.003 % |
556.65/557.18	c |    744985 |     200    17000   119000 |    80138    74096     59 |  0.003 % |
558.16/558.63	c |    746848 |     200    17000   119000 |    80138    75959     59 |  0.003 % |
559.76/560.25	c |    748898 |     200    17000   119000 |    80138    78009     59 |  0.003 % |
561.56/562.02	c |    751153 |     200    17000   119000 |    79111    70233     59 |  0.003 % |
563.45/563.92	c |    753632 |     200    17000   119000 |    79111    72712     59 |  0.003 % |
565.65/566.13	c |    756359 |     200    17000   119000 |    79111    75439     59 |  0.003 % |
568.35/568.84	c |    759357 |     200    17000   119000 |    79111    78437     59 |  0.003 % |
571.05/571.59	c |    762653 |     200    17000   119000 |    79080    71000     59 |  0.003 % |
573.75/574.26	c |    766280 |     200    17000   119000 |    79080    74627     59 |  0.003 % |
576.95/577.44	c |    770268 |     200    17000   119000 |    78347    69313     58 |  0.003 % |
580.05/580.50	c |    774654 |     200    17000   119000 |    78347    73699     58 |  0.003 % |
583.75/584.20	c |    779478 |     200    17000   119000 |    78347    70388     58 |  0.003 % |
587.44/587.98	c |    784783 |     200    17000   119000 |    70910    68369     58 |  0.003 % |
591.54/592.06	c |    790618 |     200    17000   119000 | 2147483647    67104     58 |  0.003 % |
596.44/596.94	c |    797037 |     200    17000   119000 | 2147483647    73523     59 |  0.003 % |
601.64/602.14	c |    804097 |     200    17000   119000 | 2147483647    80583     59 |  0.003 % |
601.74/602.24	c |    804198 |     200    17000   119000 | 2147483647    80684     59 |  0.003 % |
601.84/602.34	c |    804309 |     200    17000   119000 | 2147483647    80795     59 |  0.003 % |
601.94/602.45	c |    804430 |     200    17000   119000 | 2147483647    80916     59 |  0.003 % |
602.04/602.58	c |    804564 |     200    17000   119000 | 2147483647    81050     59 |  0.003 % |
602.24/602.73	c |    804710 |     200    17000   119000 | 2147483647    81196     59 |  0.003 % |
602.34/602.87	c |    804871 |     200    17000   119000 | 2147483647    81357     59 |  0.003 % |
602.54/603.03	c |    805048 |     200    17000   119000 | 2147483647    81534     59 |  0.003 % |
602.74/603.26	c |    805242 |     200    17000   119000 | 2147483647    81728     59 |  0.003 % |
602.94/603.49	c |    805457 |     200    17000   119000 | 2147483647    81943     59 |  0.003 % |
603.24/603.74	c |    805691 |     200    17000   119000 | 2147483647    82177     59 |  0.003 % |
603.54/604.00	c |    805947 |     200    17000   119000 | 2147483647    82433     59 |  0.003 % |
603.74/604.28	c |    806228 |     200    17000   119000 | 2147483647    82714     59 |  0.003 % |
604.04/604.55	c |    806537 |     200    17000   119000 | 2147483647    83023     59 |  0.003 % |
604.44/604.92	c |    806876 |     200    17000   119000 | 2147483647    83362     59 |  0.003 % |
604.74/605.29	c |    807250 |     200    17000   119000 | 2147483647    83736     59 |  0.003 % |
605.14/605.67	c |    807662 |     200    17000   119000 | 2147483647    84148     59 |  0.003 % |
605.64/606.14	c |    808113 |     200    17000   119000 | 2147483647    84599     59 |  0.003 % |
606.13/606.63	c |    808606 |     200    17000   119000 | 2147483647    85092     59 |  0.003 % |
606.64/607.13	c |    809149 |     200    17000   119000 | 2147483647    85635     58 |  0.003 % |
607.23/607.70	c |    809745 |     200    17000   119000 | 2147483647    86231     58 |  0.003 % |
607.84/608.38	c |    810400 |     200    17000   119000 |    86488    74042     59 |  0.003 % |
608.43/608.93	c |    811121 |     200    17000   119000 |    86488    74763     59 |  0.003 % |
609.03/609.53	c |    811913 |     200    17000   119000 |    86488    75555     59 |  0.003 % |
609.73/610.28	c |    812784 |     200    17000   119000 |    86488    76426     59 |  0.003 % |
610.53/611.02	c |    813742 |     200    17000   119000 |    86488    77384     59 |  0.003 % |
611.33/611.84	c |    814795 |     200    17000   119000 |    86488    78437     59 |  0.003 % |
612.23/612.75	c |    815955 |     200    17000   119000 |    86488    79597     59 |  0.003 % |
613.23/613.78	c |    817229 |     200    17000   119000 |    86488    80871     59 |  0.003 % |
614.43/614.93	c |    818629 |     200    17000   119000 |    86488    82271     59 |  0.003 % |
615.83/616.35	c |    820169 |     200    17000   119000 |    83642    72127     59 |  0.003 % |
617.03/617.56	c |    821864 |     200    17000   119000 |    83642    73822     59 |  0.003 % |
618.53/619.06	c |    823729 |     200    17000   119000 |    83642    75687     59 |  0.003 % |
620.33/620.83	c |    825780 |     200    17000   119000 |    83642    77738     59 |  0.003 % |
622.13/622.64	c |    828035 |     200    17000   119000 |    83642    79993     59 |  0.003 % |
624.33/624.85	c |    830513 |     200    17000   119000 |    81958    70885     59 |  0.003 % |
626.53/627.03	c |    833240 |     200    17000   119000 |    81958    73612     59 |  0.003 % |
628.92/629.47	c |    836237 |     200    17000   119000 |    81958    76609     59 |  0.003 % |
631.72/632.21	c |    839533 |     200    17000   119000 |    81958    79905     59 |  0.003 % |
634.62/635.16	c |    843158 |     200    17000   119000 |    80372    71936     59 |  0.003 % |
637.72/638.21	c |    847146 |     200    17000   119000 |    80372    75924     59 |  0.003 % |
641.02/641.51	c |    851533 |     200    17000   119000 |    78781    70049     59 |  0.003 % |
644.62/645.17	c |    856357 |     200    17000   119000 |    78781    74873     59 |  0.003 % |
648.82/649.33	c |    861663 |     200    17000   119000 |    78516    70383     59 |  0.003 % |
653.51/654.04	c |    867500 |     200    17000   119000 |    78516    76220     59 |  0.003 % |
658.41/658.98	c |    873919 |     200    17000   119000 |    69373    65095     59 |  0.003 % |
663.21/663.77	c |    880978 |     200    17000   119000 | 2147483647    65207     59 |  0.003 % |
668.91/669.47	c |    888742 |     200    17000   119000 | 2147483647    72971     59 |  0.003 % |
669.01/669.56	c |    888843 |     200    17000   119000 | 2147483647    73072     59 |  0.003 % |
669.11/669.63	c |    888953 |     200    17000   119000 | 2147483647    73182     59 |  0.003 % |
669.21/669.73	c |    889074 |     200    17000   119000 | 2147483647    73303     59 |  0.003 % |
669.31/669.88	c |    889207 |     200    17000   119000 | 2147483647    73436     59 |  0.003 % |
669.51/670.01	c |    889353 |     200    17000   119000 | 2147483647    73582     59 |  0.003 % |
669.61/670.16	c |    889514 |     200    17000   119000 | 2147483647    73743     59 |  0.003 % |
669.81/670.36	c |    889692 |     200    17000   119000 | 2147483647    73921     59 |  0.003 % |
670.01/670.53	c |    889885 |     200    17000   119000 | 2147483647    74114     59 |  0.003 % |
670.21/670.72	c |    890098 |     200    17000   119000 | 2147483647    74327     59 |  0.003 % |
670.41/670.98	c |    890333 |     200    17000   119000 | 2147483647    74562     59 |  0.003 % |
670.71/671.23	c |    890590 |     200    17000   119000 | 2147483647    74819     59 |  0.003 % |
671.01/671.52	c |    890873 |     200    17000   119000 | 2147483647    75102     59 |  0.003 % |
671.31/671.80	c |    891182 |     200    17000   119000 | 2147483647    75411     59 |  0.003 % |
671.61/672.12	c |    891521 |     200    17000   119000 | 2147483647    75750     59 |  0.003 % |
672.01/672.50	c |    891893 |     200    17000   119000 | 2147483647    76122     59 |  0.003 % |
672.41/672.95	c |    892303 |     200    17000   119000 | 2147483647    76532     59 |  0.003 % |
672.81/673.39	c |    892752 |     200    17000   119000 | 2147483647    76981     59 |  0.003 % |
673.31/673.84	c |    893248 |     200    17000   119000 | 2147483647    77477     59 |  0.003 % |
673.81/674.31	c |    893791 |     200    17000   119000 | 2147483647    78020     59 |  0.003 % |
674.30/674.83	c |    894388 |     200    17000   119000 | 2147483647    78617     59 |  0.003 % |
674.91/675.43	c |    895043 |     200    17000   119000 | 2147483647    79272     59 |  0.003 % |
675.60/676.16	c |    895766 |     200    17000   119000 | 2147483647    79995     59 |  0.003 % |
676.40/676.96	c |    896559 |     200    17000   119000 | 2147483647    80788     59 |  0.003 % |
677.30/677.85	c |    897431 |     200    17000   119000 | 2147483647    81660     59 |  0.003 % |
678.21/678.74	c |    898390 |     200    17000   119000 | 2147483647    82619     59 |  0.003 % |
679.21/679.76	c |    899443 |     200    17000   119000 | 2147483647    83672     59 |  0.003 % |
680.20/680.80	c |    900601 |     200    17000   119000 |    84230    71961     59 |  0.003 % |
681.20/681.77	c |    901874 |     200    17000   119000 |    84230    73234     59 |  0.003 % |
682.20/682.79	c |    903274 |     200    17000   119000 |    84230    74634     59 |  0.003 % |
683.40/683.98	c |    904815 |     200    17000   119000 |    84230    76175     59 |  0.003 % |
684.70/685.30	c |    906510 |     200    17000   119000 |    84230    77870     59 |  0.003 % |
686.60/687.14	c |    908374 |     200    17000   119000 |    84230    79734     59 |  0.003 % |
688.50/689.05	c |    910425 |     200    17000   119000 |    81360    70561     59 |  0.003 % |
690.10/690.70	c |    912679 |     200    17000   119000 |    81360    72815     59 |  0.003 % |
692.20/692.73	c |    915158 |     200    17000   119000 |    81360    75294     59 |  0.003 % |
694.40/694.95	c |    917885 |     200    17000   119000 |    81360    78021     59 |  0.003 % |
696.80/697.30	c |    920882 |     200    17000   119000 |    80137    70632     59 |  0.003 % |
699.10/699.60	c |    924178 |     200    17000   119000 |    80137    73928     59 |  0.003 % |
701.69/702.24	c |    927803 |     200    17000   119000 |    80137    77553     59 |  0.003 % |
704.69/705.24	c |    931790 |     200    17000   119000 |    79751    72529     59 |  0.003 % |
707.89/708.41	c |    936175 |     200    17000   119000 |    79751    76914     59 |  0.003 % |
711.59/712.11	c |    940998 |     200    17000   119000 |    71952    65227     59 |  0.003 % |
715.19/715.78	c |    946304 |     200    17000   119000 |    71952    70533     59 |  0.003 % |
719.89/720.42	c |    952139 |     200    17000   119000 | 2147483647    69164     59 |  0.003 % |
724.68/725.29	c |    958557 |     200    17000   119000 | 2147483647    75582     59 |  0.003 % |
729.68/730.21	c |    965617 |     200    17000   119000 |    77025    74283     59 |  0.003 % |
735.09/735.68	c |    973381 |     200    17000   119000 |    69806    65469     59 |  0.003 % |
740.49/741.10	c |    981921 |     200    17000   119000 | 2147483647    67019     59 |  0.003 % |
740.59/741.17	c |    982021 |     200    17000   119000 | 2147483647    67119     59 |  0.003 % |
740.69/741.26	c |    982134 |     200    17000   119000 | 2147483647    67232     59 |  0.003 % |
740.79/741.36	c |    982256 |     200    17000   119000 | 2147483647    67354     59 |  0.003 % |
740.89/741.44	c |    982392 |     200    17000   119000 | 2147483647    67490     59 |  0.003 % |
740.99/741.53	c |    982538 |     200    17000   119000 | 2147483647    67636     59 |  0.003 % |
741.09/741.67	c |    982699 |     200    17000   119000 | 2147483647    67797     59 |  0.003 % |
741.29/741.81	c |    982875 |     200    17000   119000 | 2147483647    67973     59 |  0.003 % |
741.39/741.97	c |    983069 |     200    17000   119000 | 2147483647    68167     59 |  0.003 % |
741.59/742.17	c |    983282 |     200    17000   119000 | 2147483647    68380     59 |  0.003 % |
741.79/742.34	c |    983517 |     200    17000   119000 | 2147483647    68615     59 |  0.003 % |
741.99/742.54	c |    983774 |     200    17000   119000 | 2147483647    68872     59 |  0.003 % |
742.19/742.74	c |    984055 |     200    17000   119000 | 2147483647    69153     59 |  0.003 % |
742.49/743.01	c |    984364 |     200    17000   119000 | 2147483647    69462     59 |  0.003 % |
742.69/743.28	c |    984703 |     200    17000   119000 | 2147483647    69801     59 |  0.003 % |
742.99/743.57	c |    985076 |     200    17000   119000 | 2147483647    70174     59 |  0.003 % |
743.38/743.95	c |    985485 |     200    17000   119000 | 2147483647    70583     59 |  0.003 % |
743.78/744.34	c |    985934 |     200    17000   119000 | 2147483647    71032     59 |  0.003 % |
744.19/744.75	c |    986428 |     200    17000   119000 | 2147483647    71526     59 |  0.003 % |
744.68/745.24	c |    986970 |     200    17000   119000 | 2147483647    72068     59 |  0.003 % |
745.08/745.69	c |    987567 |     200    17000   119000 | 2147483647    72665     59 |  0.003 % |
745.78/746.34	c |    988224 |     200    17000   119000 | 2147483647    73322     59 |  0.003 % |
746.39/746.96	c |    988944 |     200    17000   119000 | 2147483647    74042     59 |  0.003 % |
747.08/747.60	c |    989736 |     200    17000   119000 | 2147483647    74834     59 |  0.003 % |
747.78/748.35	c |    990609 |     200    17000   119000 |    75098    67851     59 |  0.003 % |
748.49/749.08	c |    991567 |     200    17000   119000 |    75098    68809     59 |  0.003 % |
749.28/749.82	c |    992620 |     200    17000   119000 |    75098    69862     59 |  0.003 % |
750.08/750.60	c |    993779 |     200    17000   119000 |    75098    71021     59 |  0.003 % |
750.88/751.50	c |    995055 |     200    17000   119000 |    75098    72297     59 |  0.003 % |
751.89/752.46	c |    996457 |     200    17000   119000 |    75098    73699     59 |  0.003 % |
753.08/753.68	c |    997997 |     200    17000   119000 |    75098    67720     59 |  0.003 % |
754.28/754.84	c |    999692 |     200    17000   119000 |    75098    69415     59 |  0.003 % |
755.58/756.11	c |   1001555 |     200    17000   119000 | 2147483647    71278     59 |  0.003 % |
757.08/757.65	c |   1003604 |     200    17000   119000 | 2147483647    73327     59 |  0.003 % |
758.88/759.46	c |   1005858 |     200    17000   119000 | 2147483647    75581     59 |  0.003 % |
760.78/761.38	c |   1008336 |     200    17000   119000 | 2147483647    78059     59 |  0.003 % |
762.98/763.56	c |   1011061 |     200    17000   119000 |    79723    71812     59 |  0.003 % |
765.48/766.05	c |   1014058 |     200    17000   119000 |    79723    74809     59 |  0.003 % |
768.28/768.87	c |   1017355 |     200    17000   119000 |    79723    78106     59 |  0.003 % |
771.17/771.73	c |   1020980 |     200    17000   119000 |    70210    62213     59 |  0.003 % |
773.88/774.41	c |   1024967 |     200    17000   119000 |    70210    66200     59 |  0.003 % |
776.97/777.56	c |   1029353 |     200    17000   119000 |    70210    63556     59 |  0.003 % |
780.07/780.69	c |   1034176 |     200    17000   119000 | 2147483647    68379     59 |  0.003 % |
783.77/784.31	c |   1039481 |     200    17000   119000 | 2147483647    73684     59 |  0.003 % |
788.27/788.85	c |   1045316 |     200    17000   119000 | 2147483647    79519     59 |  0.003 % |
793.46/794.07	c |   1051736 |     200    17000   119000 |    84203    75999     59 |  0.003 % |
799.16/799.75	c |   1058796 |     200    17000   119000 |    84203    83059     59 |  0.003 % |
805.06/805.68	c |   1066561 |     200    17000   119000 |    84263    79800     59 |  0.003 % |
811.76/812.38	c |   1075101 |     200    17000   119000 |    83240    77050     59 |  0.003 % |
818.65/819.23	c |   1084496 |     200    17000   119000 |    81949    75503     59 |  0.003 % |
818.75/819.32	c |   1084597 |     200    17000   119000 |    81949    75604     59 |  0.003 % |
818.86/819.43	c |   1084708 |     200    17000   119000 |    81949    75715     59 |  0.003 % |
818.96/819.53	c |   1084830 |     200    17000   119000 |    81949    75837     59 |  0.003 % |
819.05/819.66	c |   1084963 |     200    17000   119000 |    81949    75970     59 |  0.003 % |
819.15/819.79	c |   1085109 |     200    17000   119000 |    81949    76116     59 |  0.003 % |
819.35/819.93	c |   1085271 |     200    17000   119000 |    81949    76278     59 |  0.003 % |
819.45/820.07	c |   1085448 |     200    17000   119000 |    81949    76455     59 |  0.003 % |
819.65/820.22	c |   1085644 |     200    17000   119000 |    81949    76651     59 |  0.003 % |
819.75/820.39	c |   1085856 |     200    17000   119000 |    81949    76863     59 |  0.003 % |
820.06/820.60	c |   1086090 |     200    17000   119000 |    81949    77097     59 |  0.003 % |
820.35/820.90	c |   1086346 |     200    17000   119000 |    81949    77353     59 |  0.003 % |
820.55/821.18	c |   1086628 |     200    17000   119000 |    81949    77635     59 |  0.003 % |
820.85/821.45	c |   1086939 |     200    17000   119000 |    81949    77946     59 |  0.003 % |
821.15/821.77	c |   1087280 |     200    17000   119000 |    81949    78287     59 |  0.003 % |
821.55/822.13	c |   1087652 |     200    17000   119000 |    81949    78659     59 |  0.003 % |
821.85/822.46	c |   1088061 |     200    17000   119000 |    81949    79068     59 |  0.003 % |
822.35/822.94	c |   1088510 |     200    17000   119000 |    81949    79517     59 |  0.003 % |
822.85/823.42	c |   1089004 |     200    17000   119000 |    81949    80011     59 |  0.003 % |
823.35/823.99	c |   1089546 |     200    17000   119000 |    81949    80553     59 |  0.003 % |
824.05/824.61	c |   1090143 |     200    17000   119000 |    81007    69450     59 |  0.003 % |
824.45/825.02	c |   1090798 |     200    17000   119000 |    81007    70105     59 |  0.003 % |
824.85/825.47	c |   1091519 |     200    17000   119000 |    81007    70826     59 |  0.003 % |
825.55/826.17	c |   1092312 |     200    17000   119000 |    81007    71619     59 |  0.003 % |
826.25/826.88	c |   1093183 |     200    17000   119000 |    81007    72490     59 |  0.003 % |
826.95/827.59	c |   1094141 |     200    17000   119000 |    81007    73448     59 |  0.003 % |
827.75/828.33	c |   1095197 |     200    17000   119000 |    81007    74504     59 |  0.003 % |
828.55/829.14	c |   1096355 |     200    17000   119000 |    81007    75662     59 |  0.003 % |
829.45/830.06	c |   1097628 |     200    17000   119000 |    81007    76935     59 |  0.003 % |
830.45/831.05	c |   1099028 |     200    17000   119000 |    81007    78335     59 |  0.003 % |
831.85/832.43	c |   1100568 |     200    17000   119000 |    79308    70298     59 |  0.003 % |
833.25/833.81	c |   1102265 |     200    17000   119000 |    79308    71995     59 |  0.003 % |
834.64/835.27	c |   1104129 |     200    17000   119000 |    79308    73859     59 |  0.003 % |
836.14/836.73	c |   1106178 |     200    17000   119000 |    79308    75908     59 |  0.003 % |
837.94/838.56	c |   1108433 |     200    17000   119000 |    79308    78163     59 |  0.003 % |
839.94/840.55	c |   1110911 |     200    17000   119000 |    69496    61524     59 |  0.003 % |
841.84/842.43	c |   1113636 |     200    17000   119000 |    69496    64249     59 |  0.003 % |
843.74/844.31	c |   1116636 |     200    17000   119000 |    69496    67249     59 |  0.003 % |
845.94/846.57	c |   1119932 |     200    17000   119000 |    69496    63587     59 |  0.003 % |
848.34/848.94	c |   1123557 |     200    17000   119000 | 2147483647    67212     59 |  0.003 % |
851.54/852.13	c |   1127547 |     200    17000   119000 | 2147483647    71202     59 |  0.003 % |
854.83/855.47	c |   1131935 |     200    17000   119000 |    73655    68113     59 |  0.003 % |
858.44/859.03	c |   1136759 |     200    17000   119000 |    73655    72937     59 |  0.003 % |
862.23/862.82	c |   1142065 |     200    17000   119000 |    68391    63496     58 |  0.003 % |
866.13/866.76	c |   1147900 |     200    17000   119000 |    68391    62482     59 |  0.003 % |
870.53/871.11	c |   1154318 |     200    17000   119000 | 2147483647    68900     59 |  0.003 % |
875.93/876.52	c |   1161378 |     200    17000   119000 | 2147483647    75960     59 |  0.003 % |
882.42/883.07	c |   1169142 |     200    17000   119000 | 2147483647    83724     59 |  0.003 % |
890.02/890.70	c |   1177682 |     200    17000   119000 |    84582    81278     59 |  0.003 % |
898.72/899.31	c |   1187077 |     200    17000   119000 |    83596    78749     59 |  0.003 % |
907.62/908.21	c |   1197410 |     200    17000   119000 |    81673    76942     60 |  0.003 % |
907.62/908.30	c |   1197511 |     200    17000   119000 |    81673    77043     60 |  0.003 % |
907.82/908.41	c |   1197621 |     200    17000   119000 |    81673    77153     59 |  0.003 % |
907.92/908.52	c |   1197743 |     200    17000   119000 |    81673    77275     59 |  0.003 % |
908.02/908.65	c |   1197876 |     200    17000   119000 |    81673    77408     59 |  0.003 % |
908.11/908.79	c |   1198023 |     200    17000   119000 |    81673    77555     59 |  0.003 % |
908.31/908.97	c |   1198184 |     200    17000   119000 |    81673    77716     59 |  0.003 % |
908.51/909.13	c |   1198360 |     200    17000   119000 |    81673    77892     59 |  0.003 % |
908.71/909.33	c |   1198553 |     200    17000   119000 |    81673    78085     59 |  0.003 % |
908.91/909.57	c |   1198765 |     200    17000   119000 |    81673    78297     59 |  0.003 % |
909.21/909.80	c |   1199000 |     200    17000   119000 |    81673    78532     59 |  0.003 % |
909.51/910.12	c |   1199258 |     200    17000   119000 |    81673    78790     59 |  0.003 % |
909.71/910.40	c |   1199541 |     200    17000   119000 |    81673    79073     59 |  0.003 % |
910.11/910.73	c |   1199851 |     200    17000   119000 |    81673    79383     59 |  0.003 % |
910.51/911.15	c |   1200191 |     200    17000   119000 |    79534    66976     59 |  0.003 % |
910.81/911.43	c |   1200565 |     200    17000   119000 |    79534    67350     59 |  0.003 % |
911.11/911.79	c |   1200976 |     200    17000   119000 |    79534    67761     59 |  0.003 % |
911.51/912.11	c |   1201427 |     200    17000   119000 |    79534    68212     59 |  0.003 % |
911.81/912.47	c |   1201920 |     200    17000   119000 |    79534    68705     59 |  0.003 % |
912.21/912.88	c |   1202462 |     200    17000   119000 |    79534    69247     59 |  0.003 % |
912.71/913.34	c |   1203059 |     200    17000   119000 |    79534    69844     59 |  0.003 % |
913.31/913.91	c |   1203714 |     200    17000   119000 |    79534    70499     59 |  0.003 % |
913.81/914.46	c |   1204434 |     200    17000   119000 |    79534    71219     59 |  0.003 % |
914.41/915.08	c |   1205226 |     200    17000   119000 |    79534    72011     59 |  0.003 % |
915.11/915.76	c |   1206097 |     200    17000   119000 |    79534    72882     59 |  0.003 % |
916.01/916.69	c |   1207055 |     200    17000   119000 |    79534    73840     59 |  0.003 % |
917.01/917.60	c |   1208108 |     200    17000   119000 |    79534    74893     59 |  0.003 % |
917.81/918.48	c |   1209266 |     200    17000   119000 |    79534    76051     59 |  0.003 % |
918.91/919.55	c |   1210540 |     200    17000   119000 |    76785    66978     59 |  0.003 % |
920.11/920.75	c |   1211941 |     200    17000   119000 |    76785    68379     59 |  0.003 % |
921.21/921.86	c |   1213482 |     200    17000   119000 |    76785    69920     59 |  0.003 % |
922.50/923.18	c |   1215176 |     200    17000   119000 |    76785    71614     59 |  0.003 % |
923.90/924.59	c |   1217040 |     200    17000   119000 |    76785    73478     59 |  0.003 % |
925.70/926.34	c |   1219092 |     200    17000   119000 |    76785    75530     59 |  0.003 % |
927.60/928.21	c |   1221346 |     200    17000   119000 |    76438    68115     59 |  0.003 % |
929.70/930.32	c |   1223824 |     200    17000   119000 |    76438    70593     59 |  0.003 % |
931.90/932.58	c |   1226550 |     200    17000   119000 |    76438    73319     59 |  0.003 % |
934.70/935.39	c |   1229547 |     200    17000   119000 |    76438    76316     59 |  0.003 % |
937.30/937.96	c |   1232846 |     200    17000   119000 |    66516    60432     59 |  0.003 % |
940.10/940.70	c |   1236471 |     200    17000   119000 |    66516    64057     59 |  0.003 % |
943.10/943.72	c |   1240460 |     200    17000   119000 | 2147483647    61385     59 |  0.003 % |
946.09/946.77	c |   1244845 |     200    17000   119000 | 2147483647    65770     59 |  0.003 % |
949.59/950.24	c |   1249669 |     200    17000   119000 | 2147483647    70594     59 |  0.003 % |
953.49/954.10	c |   1254974 |     200    17000   119000 | 2147483647    75899     59 |  0.003 % |
958.19/958.90	c |   1260810 |     200    17000   119000 |    80926    72580     59 |  0.003 % |
963.29/963.97	c |   1267230 |     200    17000   119000 |    80926    79000     59 |  0.003 % |
968.59/969.25	c |   1274290 |     200    17000   119000 |    71971    67735     59 |  0.003 % |
973.89/974.55	c |   1282055 |     200    17000   119000 | 2147483647    68294     59 |  0.003 % |
980.18/980.86	c |   1290595 |     200    17000   119000 |    76239    68265     59 |  0.003 % |
987.08/987.78	c |   1299990 |     200    17000   119000 |    76239    68356     60 |  0.003 % |
993.97/994.61	c |   1310325 |     200    17000   119000 | 2147483647    63784     59 |  0.003 % |
1001.87/1002.53	c |   1321692 |     200    17000   119000 | 2147483647    75151     59 |  0.003 % |
1001.97/1002.62	c |   1321792 |     200    17000   119000 | 2147483647    75251     59 |  0.003 % |
1002.07/1002.71	c |   1321904 |     200    17000   119000 | 2147483647    75363     59 |  0.003 % |
1002.17/1002.82	c |   1322027 |     200    17000   119000 | 2147483647    75486     59 |  0.003 % |
1002.27/1002.95	c |   1322160 |     200    17000   119000 | 2147483647    75619     59 |  0.003 % |
1002.37/1003.09	c |   1322306 |     200    17000   119000 | 2147483647    75765     59 |  0.003 % |
1002.57/1003.24	c |   1322466 |     200    17000   119000 | 2147483647    75925     59 |  0.003 % |
1002.77/1003.40	c |   1322644 |     200    17000   119000 | 2147483647    76103     59 |  0.003 % |
1002.87/1003.55	c |   1322837 |     200    17000   119000 | 2147483647    76296     59 |  0.003 % |
1003.07/1003.74	c |   1323051 |     200    17000   119000 | 2147483647    76510     59 |  0.003 % |
1003.37/1004.01	c |   1323284 |     200    17000   119000 | 2147483647    76743     59 |  0.003 % |
1003.57/1004.25	c |   1323540 |     200    17000   119000 | 2147483647    76999     59 |  0.003 % |
1003.87/1004.53	c |   1323821 |     200    17000   119000 | 2147483647    77280     59 |  0.003 % |
1004.17/1004.84	c |   1324131 |     200    17000   119000 | 2147483647    77590     59 |  0.003 % |
1004.47/1005.17	c |   1324471 |     200    17000   119000 | 2147483647    77930     59 |  0.003 % |
1004.77/1005.49	c |   1324843 |     200    17000   119000 | 2147483647    78302     59 |  0.003 % |
1005.17/1005.88	c |   1325252 |     200    17000   119000 | 2147483647    78711     59 |  0.003 % |
1005.57/1006.30	c |   1325701 |     200    17000   119000 | 2147483647    79160     59 |  0.003 % |
1006.07/1006.74	c |   1326194 |     200    17000   119000 | 2147483647    79653     59 |  0.003 % |
1006.47/1007.18	c |   1326738 |     200    17000   119000 | 2147483647    80197     59 |  0.003 % |
1007.07/1007.71	c |   1327334 |     200    17000   119000 | 2147483647    80793     59 |  0.003 % |
1007.66/1008.30	c |   1327991 |     200    17000   119000 | 2147483647    81450     59 |  0.003 % |
1008.26/1008.94	c |   1328712 |     200    17000   119000 | 2147483647    82171     59 |  0.003 % |
1008.96/1009.60	c |   1329504 |     200    17000   119000 | 2147483647    82963     59 |  0.003 % |
1009.86/1010.55	c |   1330375 |     200    17000   119000 |    83462    71928     59 |  0.003 % |
1010.66/1011.35	c |   1331333 |     200    17000   119000 |    83462    72886     59 |  0.003 % |
1011.66/1012.33	c |   1332387 |     200    17000   119000 |    83462    73940     59 |  0.003 % |
1012.66/1013.37	c |   1333546 |     200    17000   119000 |    83462    75099     59 |  0.003 % |
1013.86/1014.51	c |   1334820 |     200    17000   119000 |    83462    76373     59 |  0.003 % |
1015.06/1015.76	c |   1336223 |     200    17000   119000 |    83462    77776     59 |  0.003 % |
1016.36/1017.09	c |   1337763 |     200    17000   119000 |    83462    79316     59 |  0.003 % |
1017.76/1018.41	c |   1339457 |     200    17000   119000 |    83462    81010     59 |  0.003 % |
1019.16/1019.87	c |   1341320 |     200    17000   119000 |    81554    71193     59 |  0.003 % |
1020.66/1021.34	c |   1343371 |     200    17000   119000 |    81554    73244     59 |  0.003 % |
1022.46/1023.11	c |   1345626 |     200    17000   119000 |    81554    75499     59 |  0.003 % |
1024.36/1025.08	c |   1348104 |     200    17000   119000 |    81554    77977     59 |  0.003 % |
1026.46/1027.19	c |   1350830 |     200    17000   119000 |    79873    70967     59 |  0.003 % |
1028.45/1029.15	c |   1353828 |     200    17000   119000 |    79873    73965     59 |  0.003 % |
1030.65/1031.34	c |   1357124 |     200    17000   119000 |    79873    77261     59 |  0.003 % |
1033.26/1033.99	c |   1360749 |     200    17000   119000 |    71938    65359     58 |  0.003 % |
1035.75/1036.46	c |   1364737 |     200    17000   119000 |    71938    69347     58 |  0.003 % |
1038.65/1039.35	c |   1369122 |     200    17000   119000 |    71938    66530     58 |  0.003 % |
1041.85/1042.51	c |   1373945 |     200    17000   119000 | 2147483647    71353     58 |  0.003 % |
1045.45/1046.14	c |   1379250 |     200    17000   119000 | 2147483647    76658     58 |  0.003 % |
1049.85/1050.57	c |   1385085 |     200    17000   119000 | 2147483647    82493     58 |  0.003 % |
1055.64/1056.33	c |   1391503 |     200    17000   119000 |    87409    75750     58 |  0.003 % |
1061.34/1062.03	c |   1398563 |     200    17000   119000 |    87409    82810     59 |  0.003 % |
1067.34/1068.00	c |   1406327 |     200    17000   119000 |    84247    77966     59 |  0.003 % |
1073.23/1073.93	c |   1414867 |     200    17000   119000 |    81639    75997     59 |  0.003 % |
1080.23/1080.94	c |   1424262 |     200    17000   119000 |    81130    76229     59 |  0.003 % |
1088.13/1088.85	c |   1434596 |     200    17000   119000 |    72247    68161     59 |  0.003 % |
1095.94/1096.63	c |   1445963 |     200    17000   119000 |    65684    64637     59 |  0.003 % |
1104.43/1105.12	c |   1458466 |     200    17000   119000 | 2147483647    70562     59 |  0.003 % |
1104.53/1105.21	c |   1458568 |     200    17000   119000 | 2147483647    70664     59 |  0.003 % |
1104.63/1105.33	c |   1458678 |     200    17000   119000 | 2147483647    70774     59 |  0.003 % |
1104.74/1105.44	c |   1458800 |     200    17000   119000 | 2147483647    70896     59 |  0.003 % |
1104.83/1105.57	c |   1458933 |     200    17000   119000 | 2147483647    71029     59 |  0.003 % |
1105.03/1105.70	c |   1459079 |     200    17000   119000 | 2147483647    71175     59 |  0.003 % |
1105.13/1105.85	c |   1459239 |     200    17000   119000 | 2147483647    71335     59 |  0.003 % |
1105.33/1106.03	c |   1459417 |     200    17000   119000 | 2147483647    71513     59 |  0.003 % |
1105.53/1106.20	c |   1459610 |     200    17000   119000 | 2147483647    71706     59 |  0.003 % |
1105.63/1106.40	c |   1459823 |     200    17000   119000 | 2147483647    71919     59 |  0.003 % |
1105.93/1106.62	c |   1460057 |     200    17000   119000 | 2147483647    72153     59 |  0.003 % |
1106.23/1106.96	c |   1460316 |     200    17000   119000 | 2147483647    72412     59 |  0.003 % |
1106.53/1107.22	c |   1460597 |     200    17000   119000 | 2147483647    72693     59 |  0.003 % |
1106.83/1107.52	c |   1460906 |     200    17000   119000 | 2147483647    73002     59 |  0.003 % |
1107.13/1107.84	c |   1461245 |     200    17000   119000 | 2147483647    73341     59 |  0.003 % |
1107.43/1108.14	c |   1461619 |     200    17000   119000 | 2147483647    73715     59 |  0.003 % |
1107.73/1108.45	c |   1462028 |     200    17000   119000 | 2147483647    74124     59 |  0.003 % |
1108.23/1108.91	c |   1462478 |     200    17000   119000 | 2147483647    74574     59 |  0.003 % |
1108.73/1109.40	c |   1462974 |     200    17000   119000 | 2147483647    75070     59 |  0.003 % |
1109.13/1109.90	c |   1463516 |     200    17000   119000 | 2147483647    75612     59 |  0.003 % |
1109.73/1110.49	c |   1464112 |     200    17000   119000 | 2147483647    76208     59 |  0.003 % |
1110.33/1111.02	c |   1464768 |     200    17000   119000 | 2147483647    76864     59 |  0.003 % |
1110.83/1111.58	c |   1465489 |     200    17000   119000 | 2147483647    77585     59 |  0.003 % |
1111.53/1112.21	c |   1466282 |     200    17000   119000 | 2147483647    78378     59 |  0.003 % |
1112.13/1112.88	c |   1467153 |     200    17000   119000 | 2147483647    79249     59 |  0.003 % |
1112.92/1113.64	c |   1468112 |     200    17000   119000 | 2147483647    80208     59 |  0.003 % |
1113.72/1114.50	c |   1469166 |     200    17000   119000 | 2147483647    81262     59 |  0.003 % |
1114.73/1115.47	c |   1470324 |     200    17000   119000 |    82097    71520     59 |  0.003 % |
1115.62/1116.40	c |   1471597 |     200    17000   119000 |    82097    72793     59 |  0.003 % |
1116.93/1117.68	c |   1472997 |     200    17000   119000 |    82097    74193     59 |  0.003 % |
1118.32/1119.02	c |   1474537 |     200    17000   119000 |    82097    75733     59 |  0.003 % |
1119.92/1120.60	c |   1476231 |     200    17000   119000 |    82097    77427     59 |  0.003 % |
1121.42/1122.20	c |   1478095 |     200    17000   119000 |    82097    79291     59 |  0.003 % |
1123.62/1124.33	c |   1480146 |     200    17000   119000 |    81197    69358     59 |  0.003 % |
1125.22/1125.95	c |   1482400 |     200    17000   119000 |    81197    71612     59 |  0.003 % |
1126.92/1127.68	c |   1484879 |     200    17000   119000 |    81197    74091     59 |  0.003 % |
1128.92/1129.62	c |   1487604 |     200    17000   119000 |    81197    76816     59 |  0.003 % |
1131.12/1131.88	c |   1490603 |     200    17000   119000 |    79213    70414     58 |  0.003 % |
1133.42/1134.15	c |   1493899 |     200    17000   119000 |    79213    73710     58 |  0.003 % |
1136.01/1136.72	c |   1497524 |     200    17000   119000 |    79213    77335     58 |  0.003 % |
1139.11/1139.88	c |   1501512 |     200    17000   119000 |    70720    64084     58 |  0.003 % |
1142.22/1142.99	c |   1505897 |     200    17000   119000 |    70720    68469     58 |  0.003 % |
1145.71/1146.41	c |   1510720 |     200    17000   119000 | 2147483647    66211     58 |  0.003 % |
1149.21/1149.99	c |   1516025 |     200    17000   119000 | 2147483647    71516     59 |  0.003 % |
1154.01/1154.70	c |   1521860 |     200    17000   119000 | 2147483647    77351     59 |  0.003 % |
1158.90/1159.69	c |   1528278 |     200    17000   119000 | 2147483647    83769     59 |  0.003 % |
1164.40/1165.16	c |   1535337 |     200    17000   119000 |    85491    78868     59 |  0.003 % |
1170.81/1171.56	c |   1543103 |     200    17000   119000 |    83531    75149     59 |  0.003 % |
1177.40/1178.15	c |   1551644 |     200    17000   119000 |    82046    73361     59 |  0.003 % |
1184.59/1185.38	c |   1561038 |     200    17000   119000 |    81718    72405     59 |  0.003 % |
1192.70/1193.49	c |   1571371 |     200    17000   119000 |    81367    71544     60 |  0.003 % |
1200.09/1200.81	HOME/SatELiteGTI: line 36: 10535 Terminated              $MS $TMP.cnf $TMP.result

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-1832577-1242784760/watcher-1832577-1242784760 -o /tmp/evaluation-result-1832577-1242784760/solver-1832577-1242784760 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832577-1242784760.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: 0.91 0.95 0.90 3/64 10529
/proc/meminfo: memFree=1828608/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306502397 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10529/statm: 1339 237 197 169 0 50 0

[startup+0.0891881 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 10529
/proc/meminfo: memFree=1828608/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.101188 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 10529
/proc/meminfo: memFree=1828608/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301228 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 10529
/proc/meminfo: memFree=1828608/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701308 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 10529
/proc/meminfo: memFree=1828608/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50146 s]
/proc/loadavg: 0.91 0.95 0.90 2/66 10535
/proc/meminfo: memFree=1824560/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=4932 CPUtime=1.42
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 1005 0 0 0 142 0 0 0 25 0 1 0 306502403 5050368 991 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 1233 991 76 171 0 1060 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10288

[startup+3.10178 s]
/proc/loadavg: 0.91 0.95 0.90 2/66 10535
/proc/meminfo: memFree=1822832/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=7308 CPUtime=3.02
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 1591 0 0 0 301 1 0 0 25 0 1 0 306502403 7483392 1577 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 1827 1577 76 171 0 1654 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12664

[startup+6.30141 s]
/proc/loadavg: 0.92 0.95 0.90 2/66 10535
/proc/meminfo: memFree=1819184/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=10292 CPUtime=6.22
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 2338 0 0 0 620 2 0 0 25 0 1 0 306502403 10539008 2324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 2573 2324 76 171 0 2400 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15648

[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.90 2/66 10535
/proc/meminfo: memFree=1814896/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=14340 CPUtime=12.61
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 3323 0 0 0 1258 3 0 0 25 0 1 0 306502403 14684160 3309 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 3585 3309 76 171 0 3412 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19696

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.91 2/66 10535
/proc/meminfo: memFree=1809136/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=19760 CPUtime=25.41
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 4682 0 0 0 2536 5 0 0 25 0 1 0 306502403 20234240 4668 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 4940 4668 76 171 0 4767 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25116

[startup+51.1013 s]
/proc/loadavg: 0.96 0.96 0.91 2/66 10535
/proc/meminfo: memFree=1805424/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=23352 CPUtime=50.98
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 5574 0 0 0 5093 5 0 0 25 0 1 0 306502403 23912448 5560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 5838 5560 76 171 0 5665 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 28708

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/66 10541
/proc/meminfo: memFree=1805088/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=23352 CPUtime=102.15
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 5603 0 0 0 10210 5 0 0 25 0 1 0 306502403 23912448 5589 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 5838 5589 76 171 0 5665 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 28708

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 3/72 10613
/proc/meminfo: memFree=1796936/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=24416 CPUtime=162.06
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 5872 0 0 0 16199 7 0 0 25 0 1 0 306502403 25001984 5858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10535/statm: 6104 5858 76 171 0 5931 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 29772

[startup+222.301 s]
/proc/loadavg: 1.30 1.09 0.95 2/66 12609
/proc/meminfo: memFree=1615208/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=25876 CPUtime=221.95
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6234 0 0 0 22171 24 0 0 25 0 1 0 306502403 26497024 6220 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 6469 6220 76 171 0 6296 0
Current children cumulated CPU time (s) 222
Current children cumulated vsize (KiB) 31232

[startup+282.302 s]
/proc/loadavg: 1.11 1.07 0.95 2/66 12609
/proc/meminfo: memFree=1614504/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=26540 CPUtime=281.92
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6378 0 0 0 28167 25 0 0 25 0 1 0 306502403 27176960 6364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 6635 6364 76 171 0 6462 0
Current children cumulated CPU time (s) 281.97
Current children cumulated vsize (KiB) 31896

[startup+342.302 s]
/proc/loadavg: 1.04 1.05 0.95 2/66 12609
/proc/meminfo: memFree=1614440/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=26540 CPUtime=341.89
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6378 0 0 0 34164 25 0 0 25 0 1 0 306502403 27176960 6364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 6635 6364 76 171 0 6462 0
Current children cumulated CPU time (s) 341.94
Current children cumulated vsize (KiB) 31896

[startup+402.302 s]
/proc/loadavg: 1.01 1.04 0.95 2/66 12609
/proc/meminfo: memFree=1613480/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=27468 CPUtime=401.86
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6612 0 0 0 40160 26 0 0 25 0 1 0 306502403 28127232 6598 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 6867 6598 76 171 0 6694 0
Current children cumulated CPU time (s) 401.91
Current children cumulated vsize (KiB) 32824

[startup+462.301 s]

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

[pid=10535] ppid=10529 vsize=27452 CPUtime=461.84
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6612 0 0 0 46157 27 0 0 25 0 1 0 306502403 28110848 6598 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 6863 6598 76 171 0 6690 0
Current children cumulated CPU time (s) 461.89
Current children cumulated vsize (KiB) 32808

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 12609
/proc/meminfo: memFree=1613296/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=27448 CPUtime=521.81
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6612 0 0 0 52154 27 0 0 25 0 1 0 306502403 28106752 6598 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 6862 6598 76 171 0 6689 0
Current children cumulated CPU time (s) 521.86
Current children cumulated vsize (KiB) 32804

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 12609
/proc/meminfo: memFree=1613168/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=27444 CPUtime=581.8
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6612 0 0 0 58152 28 0 0 25 0 1 0 306502403 28102656 6598 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 6861 6598 76 171 0 6688 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 32800

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 12609
/proc/meminfo: memFree=1612080/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=28368 CPUtime=641.77
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6841 0 0 0 64149 28 0 0 25 0 1 0 306502403 29048832 6827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7092 6827 76 171 0 6919 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 33724

[startup+702.302 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 12609
/proc/meminfo: memFree=1611952/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=28368 CPUtime=701.74
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6841 0 0 0 70146 28 0 0 25 0 1 0 306502403 29048832 6827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7092 6827 76 171 0 6919 0
Current children cumulated CPU time (s) 701.79
Current children cumulated vsize (KiB) 33724

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12609
/proc/meminfo: memFree=1611888/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=28368 CPUtime=761.73
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6841 0 0 0 76144 29 0 0 25 0 1 0 306502403 29048832 6827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7092 6827 76 171 0 6919 0
Current children cumulated CPU time (s) 761.78
Current children cumulated vsize (KiB) 33724

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12609
/proc/meminfo: memFree=1611824/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=28368 CPUtime=821.7
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6841 0 0 0 82141 29 0 0 25 0 1 0 306502403 29048832 6827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7092 6827 76 171 0 6919 0
Current children cumulated CPU time (s) 821.75
Current children cumulated vsize (KiB) 33724

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12609
/proc/meminfo: memFree=1611760/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=28368 CPUtime=881.68
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6841 0 0 0 88139 29 0 0 25 0 1 0 306502403 29048832 6827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7092 6827 76 171 0 6919 0
Current children cumulated CPU time (s) 881.73
Current children cumulated vsize (KiB) 33724

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12609
/proc/meminfo: memFree=1611504/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=28500 CPUtime=941.65
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6883 0 0 0 94136 29 0 0 25 0 1 0 306502403 29184000 6869 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7125 6869 76 171 0 6952 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 33856

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12609
/proc/meminfo: memFree=1611440/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=28500 CPUtime=1001.62
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 6883 0 0 0 100133 29 0 0 25 0 1 0 306502403 29184000 6869 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7125 6869 76 171 0 6952 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 33856

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12609
/proc/meminfo: memFree=1610480/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=29292 CPUtime=1061.59
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 7083 0 0 0 106130 29 0 0 25 0 1 0 306502403 29995008 7069 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7323 7069 76 171 0 7150 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 34648

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12609
/proc/meminfo: memFree=1610288/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=29436 CPUtime=1121.57
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 7103 0 0 0 112127 30 0 0 25 0 1 0 306502403 30142464 7089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7359 7089 76 171 0 7186 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 34792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12609
/proc/meminfo: memFree=1610224/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=29436 CPUtime=1181.55
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 7103 0 0 0 118125 30 0 0 25 0 1 0 306502403 30142464 7089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7359 7089 76 171 0 7186 0
Current children cumulated CPU time (s) 1181.6
Current children cumulated vsize (KiB) 34792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12609
/proc/meminfo: memFree=1610160/2055920 swapFree=4179880/4192956
[pid=10529] ppid=10527 vsize=5356 CPUtime=0.05
/proc/10529/stat : 10529 (SatELiteGTI) S 10527 10529 10419 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306502397 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10529/statm: 1339 239 197 169 0 50 0
[pid=10535] ppid=10529 vsize=29436 CPUtime=1200.04
/proc/10535/stat : 10535 (minisat_static) R 10529 10529 10419 0 -1 4194304 7103 0 0 0 119974 30 0 0 25 0 1 0 306502403 30142464 7089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/10535/statm: 7359 7089 76 171 0 7186 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 34792

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.12
CPU user time (s): 1199.81
CPU system time (s): 0.316951
CPU usage (%): 99.9426
Max. virtual memory (cumulated for all children) (KiB): 34792

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

runsolver used 1.43878 second user time and 3.04354 second system time

The end

Launcher Data

Begin job on node66 at 2009-05-20 03:59:20
IDJOB=1832577
IDBENCH=70252
IDSOLVER=671
FILE ID=node66/1832577-1242784760
PBS_JOBID= 9322303
Free space on /tmp= 66436 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S942507261-096.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832577-1242784760/watcher-1832577-1242784760 -o /tmp/evaluation-result-1832577-1242784760/solver-1832577-1242784760 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832577-1242784760.cnf

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

MD5SUM BENCH= 4f6bdfd00a34ed543884cc191900870c
RANDOM SEED=1248681363

node66.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.263
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	: 5931.00
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.263
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:       1829096 kB
Buffers:         22684 kB
Cached:         163816 kB
SwapCached:       7368 kB
Active:          31152 kB
Inactive:       164324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1829096 kB
SwapTotal:     4192956 kB
SwapFree:      4179880 kB
Dirty:            2068 kB
Writeback:           0 kB
Mapped:          14040 kB
Slab:            17420 kB
Committed_AS:  1117092 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= 66432 MiB
End job on node66 at 2009-05-20 04:19:23