Trace number 1832559

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.06 1200.61

General information on the benchmark

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

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   18700   130900 |    5609       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 220   #clauses: 18700   #literals: 130900
0.00/0.03	c CPU time:   0.022996 s
0.00/0.03	c ==============================================================================
0.00/0.07	c This is MiniSat 2.0 beta
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Number of variables:  220                                                  |
0.00/0.07	c |  Number of clauses:    18700                                                |
0.00/0.09	c |  Parsing time:         0.02         s                                       |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |     220    18700   130900 |     6233        0    nan |  0.000 % |
0.00/0.10	c |       100 |     220    18700   130900 |     6233      100     66 |  0.002 % |
0.06/0.11	c |       201 |     220    18700   130900 |     6233      201     63 |  0.002 % |
0.06/0.12	c |       302 |     220    18700   130900 |     6233      302     61 |  0.002 % |
0.06/0.13	c |       412 |     220    18700   130900 |     6233      412     60 |  0.002 % |
0.06/0.14	c |       512 |     220    18700   130900 |     6233      512     61 |  0.002 % |
0.06/0.15	c |       623 |     220    18700   130900 |     6233      623     61 |  0.002 % |
0.06/0.16	c |       744 |     220    18700   130900 |     6233      744     62 |  0.002 % |
0.06/0.17	c |       845 |     220    18700   130900 |     6233      845     62 |  0.002 % |
0.06/0.18	c |       957 |     220    18700   130900 |     6233      957     61 |  0.002 % |
0.06/0.20	c |      1078 |     220    18700   130900 |     6233     1078     61 |  0.002 % |
0.06/0.21	c |      1211 |     220    18700   130900 |     6233     1211     62 |  0.002 % |
0.06/0.22	c |      1312 |     220    18700   130900 |     6233     1312     62 |  0.002 % |
0.06/0.23	c |      1422 |     220    18700   130900 |     6233     1422     61 |  0.002 % |
0.06/0.24	c |      1543 |     220    18700   130900 |     6233     1543     61 |  0.002 % |
0.06/0.26	c |      1676 |     220    18700   130900 |     6233     1676     61 |  0.002 % |
0.06/0.27	c |      1822 |     220    18700   130900 |     6233     1822     61 |  0.002 % |
0.06/0.28	c |      1923 |     220    18700   130900 |     6233     1923     62 |  0.002 % |
0.06/0.29	c |      2033 |     220    18700   130900 |     6233     2033     61 |  0.002 % |
0.06/0.30	c |      2154 |     220    18700   130900 |     6233     2154     61 |  0.002 % |
0.06/0.31	c |      2287 |     220    18700   130900 |     6233     2287     61 |  0.002 % |
0.06/0.33	c |      2433 |     220    18700   130900 |     6233     2433     62 |  0.002 % |
0.06/0.35	c |      2594 |     220    18700   130900 |     6233     2594     62 |  0.002 % |
0.06/0.36	c |      2694 |     220    18700   130900 |     6233     2694     62 |  0.002 % |
0.06/0.37	c |      2804 |     220    18700   130900 |     6233     2804     62 |  0.002 % |
0.06/0.39	c |      2928 |     220    18700   130900 |     6233     2928     62 |  0.002 % |
0.06/0.40	c |      3062 |     220    18700   130900 |     6233     3062     62 |  0.002 % |
0.06/0.42	c |      3209 |     220    18700   130900 |     6233     3209     62 |  0.002 % |
0.06/0.43	c |      3370 |     220    18700   130900 |     6233     3370     62 |  0.002 % |
0.06/0.45	c |      3547 |     220    18700   130900 |     6233     3547     62 |  0.002 % |
0.06/0.46	c |      3647 |     220    18700   130900 |     6233     3647     62 |  0.002 % |
0.06/0.47	c |      3758 |     220    18700   130900 |     6233     3758     62 |  0.002 % |
0.06/0.49	c |      3880 |     220    18700   130900 |     6233     3880     62 |  0.002 % |
0.06/0.50	c |      4013 |     220    18700   130900 |     6233     4013     62 |  0.002 % |
0.06/0.52	c |      4159 |     220    18700   130900 |     6233     4159     62 |  0.002 % |
0.06/0.53	c |      4319 |     220    18700   130900 |     6233     4319     62 |  0.002 % |
0.06/0.55	c |      4495 |     220    18700   130900 |     6233     4495     62 |  0.002 % |
0.06/0.58	c |      4689 |     220    18700   130900 |     6233     4689     62 |  0.002 % |
0.06/0.59	c |      4790 |     220    18700   130900 |     6233     4790     62 |  0.002 % |
0.06/0.60	c |      4900 |     220    18700   130900 |     6233     4900     62 |  0.002 % |
0.06/0.62	c |      5021 |     220    18700   130900 |     6233     5021     62 |  0.002 % |
0.06/0.63	c |      5154 |     220    18700   130900 |     6233     5154     62 |  0.002 % |
0.06/0.65	c |      5301 |     220    18700   130900 |     6233     5301     62 |  0.002 % |
0.06/0.67	c |      5461 |     220    18700   130900 |     6233     5461     62 |  0.002 % |
0.06/0.69	c |      5639 |     220    18700   130900 |     6233     5639     62 |  0.002 % |
0.06/0.72	c |      5832 |     220    18700   130900 |     6233     5832     62 |  0.002 % |
0.06/0.75	c |      6045 |     220    18700   130900 |     6233     6045     62 |  0.002 % |
0.06/0.76	c |      6146 |     220    18700   130900 |     6233     6146     62 |  0.002 % |
0.06/0.78	c |      6256 |     220    18700   130900 |     6233     6256     62 |  0.002 % |
0.06/0.80	c |      6377 |     220    18700   130900 |     6233     5752     62 |  0.002 % |
0.06/0.81	c |      6511 |     220    18700   130900 |     6233     5886     62 |  0.002 % |
0.06/0.83	c |      6659 |     220    18700   130900 |     6233     6034     62 |  0.002 % |
0.06/0.85	c |      6821 |     220    18700   130900 |     6233     6196     62 |  0.002 % |
0.06/0.88	c |      6997 |     220    18700   130900 |     6233     5738     62 |  0.002 % |
0.06/0.90	c |      7191 |     220    18700   130900 |     6233     5932     62 |  0.002 % |
0.06/0.92	c |      7403 |     220    18700   130900 |     6233     6144     62 |  0.002 % |
0.06/0.96	c |      7637 |     220    18700   130900 |     6233     5745     62 |  0.002 % |
0.06/0.97	c |      7737 |     220    18700   130900 |     6233     5845     62 |  0.002 % |
0.06/0.98	c |      7847 |     220    18700   130900 |     6233     5955     62 |  0.002 % |
0.06/1.00	c |      7971 |     220    18700   130900 |     6233     6079     62 |  0.002 % |
0.06/1.02	c |      8104 |     220    18700   130900 |     6233     6212     62 |  0.002 % |
0.06/1.04	c |      8250 |     220    18700   130900 |     6233     5726     62 |  0.002 % |
0.06/1.06	c |      8410 |     220    18700   130900 |     6233     5886     62 |  0.002 % |
0.06/1.08	c |      8587 |     220    18700   130900 |     6233     6063     62 |  0.002 % |
1.08/1.11	c |      8780 |     220    18700   130900 |     6233     6256     62 |  0.002 % |
1.08/1.14	c |      8992 |     220    18700   130900 |     6233     5843     62 |  0.002 % |
1.08/1.17	c |      9227 |     220    18700   130900 |     6233     6078     62 |  0.002 % |
1.08/1.20	c |      9484 |     220    18700   130900 |     6233     6335     62 |  0.002 % |
1.17/1.21	c |      9585 |     220    18700   130900 |     6233     5803     62 |  0.002 % |
1.17/1.23	c |      9695 |     220    18700   130900 |     6233     5913     62 |  0.002 % |
1.17/1.24	c |      9818 |     220    18700   130900 |     6233     6036     62 |  0.002 % |
1.17/1.26	c |      9952 |     220    18700   130900 |     6233     6170     62 |  0.002 % |
1.17/1.28	c |     10098 |     220    18700   130900 | 2147483647     6316     62 |  0.002 % |
1.27/1.30	c |     10258 |     220    18700   130900 | 2147483647     6476     62 |  0.002 % |
1.27/1.33	c |     10437 |     220    18700   130900 | 2147483647     6655     62 |  0.002 % |
1.27/1.35	c |     10632 |     220    18700   130900 | 2147483647     6850     62 |  0.002 % |
1.27/1.38	c |     10844 |     220    18700   130900 | 2147483647     7062     62 |  0.002 % |
1.37/1.42	c |     11077 |     220    18700   130900 | 2147483647     7295     62 |  0.002 % |
1.37/1.45	c |     11334 |     220    18700   130900 | 2147483647     7552     62 |  0.002 % |
1.37/1.49	c |     11615 |     220    18700   130900 | 2147483647     7833     62 |  0.002 % |
1.47/1.51	c |     11715 |     220    18700   130900 | 2147483647     7933     62 |  0.002 % |
1.47/1.52	c |     11825 |     220    18700   130900 | 2147483647     8043     62 |  0.002 % |
1.47/1.54	c |     11948 |     220    18700   130900 | 2147483647     8166     62 |  0.002 % |
1.47/1.56	c |     12082 |     220    18700   130900 | 2147483647     8300     62 |  0.002 % |
1.47/1.59	c |     12228 |     220    18700   130900 | 2147483647     8446     62 |  0.002 % |
1.57/1.61	c |     12388 |     220    18700   130900 | 2147483647     8606     62 |  0.002 % |
1.57/1.64	c |     12565 |     220    18700   130900 | 2147483647     8783     62 |  0.002 % |
1.57/1.67	c |     12759 |     220    18700   130900 | 2147483647     8977     62 |  0.002 % |
1.67/1.70	c |     12972 |     220    18700   130900 | 2147483647     9190     62 |  0.002 % |
1.67/1.74	c |     13205 |     220    18700   130900 | 2147483647     9423     62 |  0.002 % |
1.67/1.78	c |     13463 |     220    18700   130900 | 2147483647     9681     62 |  0.002 % |
1.77/1.83	c |     13745 |     220    18700   130900 | 2147483647     9963     62 |  0.002 % |
1.77/1.87	c |     14054 |     220    18700   130900 | 2147483647    10272     61 |  0.002 % |
1.77/1.90	c |     14154 |     220    18700   130900 | 2147483647    10372     61 |  0.002 % |
1.87/1.91	c |     14264 |     220    18700   130900 | 2147483647    10482     62 |  0.002 % |
1.87/1.93	c |     14387 |     220    18700   130900 | 2147483647    10605     61 |  0.002 % |
1.87/1.96	c |     14520 |     220    18700   130900 | 2147483647    10738     61 |  0.002 % |
1.87/1.98	c |     14667 |     220    18700   130900 | 2147483647    10885     61 |  0.002 % |
1.97/2.02	c |     14827 |     220    18700   130900 | 2147483647    11045     61 |  0.002 % |
1.97/2.05	c |     15006 |     220    18700   130900 | 2147483647    11224     61 |  0.002 % |
1.97/2.08	c |     15200 |     220    18700   130900 | 2147483647    11418     61 |  0.002 % |
2.07/2.12	c |     15413 |     220    18700   130900 | 2147483647    11631     61 |  0.002 % |
2.07/2.17	c |     15648 |     220    18700   130900 | 2147483647    11866     62 |  0.002 % |
2.17/2.21	c |     15904 |     220    18700   130900 | 2147483647    12122     62 |  0.002 % |
2.17/2.27	c |     16186 |     220    18700   130900 | 2147483647    12404     62 |  0.002 % |
2.27/2.33	c |     16495 |     220    18700   130900 | 2147483647    12713     62 |  0.002 % |
2.27/2.40	c |     16835 |     220    18700   130900 | 2147483647    13053     61 |  0.002 % |
2.36/2.42	c |     16937 |     220    18700   130900 | 2147483647    13155     61 |  0.002 % |
2.36/2.44	c |     17049 |     220    18700   130900 | 2147483647    13267     61 |  0.002 % |
2.36/2.47	c |     17171 |     220    18700   130900 | 2147483647    13389     61 |  0.002 % |
2.47/2.50	c |     17304 |     220    18700   130900 | 2147483647    13522     61 |  0.002 % |
2.47/2.53	c |     17451 |     220    18700   130900 | 2147483647    13669     61 |  0.002 % |
2.47/2.56	c |     17612 |     220    18700   130900 | 2147483647    13830     61 |  0.002 % |
2.57/2.60	c |     17788 |     220    18700   130900 | 2147483647    14006     61 |  0.002 % |
2.57/2.64	c |     17983 |     220    18700   130900 | 2147483647    14201     61 |  0.002 % |
2.57/2.68	c |     18195 |     220    18700   130900 | 2147483647    14413     61 |  0.002 % |
2.67/2.73	c |     18428 |     220    18700   130900 | 2147483647    14646     61 |  0.002 % |
2.67/2.77	c |     18684 |     220    18700   130900 | 2147483647    14902     61 |  0.002 % |
2.77/2.83	c |     18967 |     220    18700   130900 | 2147483647    15185     61 |  0.002 % |
2.87/2.90	c |     19279 |     220    18700   130900 | 2147483647    15497     61 |  0.002 % |
2.87/2.97	c |     19620 |     220    18700   130900 | 2147483647    15838     61 |  0.002 % |
2.97/3.04	c |     19992 |     220    18700   130900 | 2147483647    16210     61 |  0.002 % |
2.97/3.07	c |     20093 |     220    18700   130900 | 2147483647    16311     61 |  0.002 % |
3.07/3.10	c |     20203 |     220    18700   130900 | 2147483647    16421     61 |  0.002 % |
3.07/3.13	c |     20324 |     220    18700   130900 | 2147483647    16542     61 |  0.002 % |
3.07/3.16	c |     20457 |     220    18700   130900 | 2147483647    16675     61 |  0.002 % |
3.17/3.20	c |     20603 |     220    18700   130900 | 2147483647    16821     61 |  0.002 % |
3.17/3.24	c |     20763 |     220    18700   130900 | 2147483647    16981     61 |  0.002 % |
3.17/3.28	c |     20939 |     220    18700   130900 | 2147483647    17157     61 |  0.002 % |
3.27/3.32	c |     21132 |     220    18700   130900 | 2147483647    17350     61 |  0.002 % |
3.27/3.38	c |     21344 |     220    18700   130900 | 2147483647    17562     61 |  0.002 % |
3.37/3.43	c |     21577 |     220    18700   130900 | 2147483647    17795     61 |  0.002 % |
3.47/3.50	c |     21833 |     220    18700   130900 | 2147483647    18051     61 |  0.002 % |
3.47/3.57	c |     22114 |     220    18700   130900 | 2147483647    18332     61 |  0.002 % |
3.57/3.64	c |     22424 |     220    18700   130900 | 2147483647    18642     61 |  0.002 % |
3.67/3.72	c |     22764 |     220    18700   130900 | 2147483647    18982     61 |  0.002 % |
3.77/3.81	c |     23137 |     220    18700   130900 | 2147483647    19355     61 |  0.002 % |
3.87/3.91	c |     23547 |     220    18700   130900 | 2147483647    19765     62 |  0.002 % |
3.87/3.94	c |     23648 |     220    18700   130900 | 2147483647    19866     62 |  0.002 % |
3.87/3.98	c |     23759 |     220    18700   130900 | 2147483647    19977     62 |  0.002 % |
3.97/4.01	c |     23883 |     220    18700   130900 | 2147483647    20101     62 |  0.002 % |
3.97/4.04	c |     24016 |     220    18700   130900 | 2147483647    20234     62 |  0.002 % |
3.97/4.09	c |     24162 |     220    18700   130900 | 2147483647    20380     62 |  0.002 % |
4.07/4.13	c |     24324 |     220    18700   130900 | 2147483647    20542     62 |  0.002 % |
4.07/4.18	c |     24500 |     220    18700   130900 | 2147483647    20718     62 |  0.002 % |
4.17/4.24	c |     24694 |     220    18700   130900 | 2147483647    20912     62 |  0.002 % |
4.17/4.29	c |     24908 |     220    18700   130900 | 2147483647    21126     62 |  0.002 % |
4.27/4.36	c |     25141 |     220    18700   130900 | 2147483647    21359     62 |  0.002 % |
4.37/4.42	c |     25397 |     220    18700   130900 | 2147483647    21615     62 |  0.002 % |
4.47/4.51	c |     25679 |     220    18700   130900 | 2147483647    21897     62 |  0.002 % |
4.57/4.60	c |     25990 |     220    18700   130900 | 2147483647    22208     62 |  0.002 % |
4.67/4.70	c |     26330 |     220    18700   130900 | 2147483647    22548     62 |  0.002 % |
4.77/4.80	c |     26702 |     220    18700   130900 | 2147483647    22920     62 |  0.002 % |
4.87/4.93	c |     27111 |     220    18700   130900 | 2147483647    23329     62 |  0.002 % |
4.97/5.04	c |     27560 |     220    18700   130900 | 2147483647    23778     61 |  0.002 % |
4.97/5.08	c |     27660 |     220    18700   130900 | 2147483647    23878     61 |  0.002 % |
5.07/5.12	c |     27770 |     220    18700   130900 | 2147483647    23988     61 |  0.002 % |
5.07/5.16	c |     27893 |     220    18700   130900 | 2147483647    24111     61 |  0.002 % |
5.17/5.21	c |     28026 |     220    18700   130900 | 2147483647    24244     61 |  0.002 % |
5.17/5.27	c |     28172 |     220    18700   130900 | 2147483647    24390     61 |  0.002 % |
5.26/5.33	c |     28332 |     220    18700   130900 | 2147483647    24550     61 |  0.002 % |
5.26/5.38	c |     28509 |     220    18700   130900 | 2147483647    24727     61 |  0.002 % |
5.37/5.45	c |     28703 |     220    18700   130900 | 2147483647    24921     61 |  0.002 % |
5.48/5.52	c |     28915 |     220    18700   130900 | 2147483647    25133     61 |  0.002 % |
5.48/5.59	c |     29149 |     220    18700   130900 | 2147483647    25367     61 |  0.002 % |
5.58/5.67	c |     29407 |     220    18700   130900 | 2147483647    25625     61 |  0.002 % |
5.67/5.76	c |     29688 |     220    18700   130900 | 2147483647    25906     61 |  0.002 % |
5.77/5.85	c |     29997 |     220    18700   130900 | 2147483647    26215     62 |  0.002 % |
5.87/5.96	c |     30337 |     220    18700   130900 | 2147483647    26555     62 |  0.002 % |
5.97/6.08	c |     30710 |     220    18700   130900 | 2147483647    26928     62 |  0.002 % |
6.17/6.22	c |     31122 |     220    18700   130900 | 2147483647    27340     62 |  0.002 % |
6.27/6.37	c |     31573 |     220    18700   130900 | 2147483647    27791     62 |  0.002 % |
6.47/6.55	c |     32067 |     220    18700   130900 | 2147483647    28285     62 |  0.002 % |
6.47/6.59	c |     32168 |     220    18700   130900 | 2147483647    28386     62 |  0.002 % |
6.58/6.62	c |     32278 |     220    18700   130900 | 2147483647    28496     62 |  0.002 % |
6.58/6.67	c |     32400 |     220    18700   130900 | 2147483647    28618     62 |  0.002 % |
6.67/6.71	c |     32534 |     220    18700   130900 | 2147483647    28752     62 |  0.002 % |
6.67/6.77	c |     32683 |     220    18700   130900 | 2147483647    28901     62 |  0.002 % |
6.77/6.84	c |     32844 |     220    18700   130900 | 2147483647    29062     62 |  0.002 % |
6.87/6.91	c |     33021 |     220    18700   130900 | 2147483647    29239     62 |  0.002 % |
6.87/6.99	c |     33218 |     220    18700   130900 | 2147483647    29436     62 |  0.002 % |
6.97/7.08	c |     33430 |     220    18700   130900 | 2147483647    29648     62 |  0.002 % |
7.07/7.17	c |     33663 |     220    18700   130900 | 2147483647    29881     62 |  0.002 % |
7.17/7.26	c |     33919 |     220    18700   130900 | 2147483647    30137     62 |  0.002 % |
7.27/7.37	c |     34201 |     220    18700   130900 | 2147483647    30419     62 |  0.002 % |
7.37/7.48	c |     34510 |     220    18700   130900 | 2147483647    30728     62 |  0.002 % |
7.57/7.62	c |     34849 |     220    18700   130900 | 2147483647    31067     62 |  0.002 % |
7.67/7.75	c |     35221 |     220    18700   130900 | 2147483647    31439     62 |  0.002 % |
7.87/7.90	c |     35630 |     220    18700   130900 | 2147483647    31848     61 |  0.002 % |
7.97/8.07	c |     36079 |     220    18700   130900 | 2147483647    32297     62 |  0.002 % |
8.17/8.29	c |     36573 |     220    18700   130900 | 2147483647    32791     62 |  0.002 % |
8.47/8.51	c |     37115 |     220    18700   130900 | 2147483647    33333     62 |  0.002 % |
8.47/8.55	c |     37215 |     220    18700   130900 | 2147483647    33433     62 |  0.002 % |
8.57/8.60	c |     37326 |     220    18700   130900 | 2147483647    33544     62 |  0.002 % |
8.57/8.65	c |     37448 |     220    18700   130900 | 2147483647    33666     62 |  0.002 % |
8.67/8.71	c |     37581 |     220    18700   130900 | 2147483647    33799     62 |  0.002 % |
8.67/8.77	c |     37727 |     220    18700   130900 | 2147483647    33945     62 |  0.002 % |
8.77/8.85	c |     37888 |     220    18700   130900 | 2147483647    34106     62 |  0.002 % |
8.87/8.94	c |     38066 |     220    18700   130900 | 2147483647    34284     62 |  0.002 % |
8.97/9.04	c |     38260 |     220    18700   130900 | 2147483647    34478     62 |  0.002 % |
9.07/9.13	c |     38473 |     220    18700   130900 | 2147483647    34691     62 |  0.002 % |
9.17/9.23	c |     38709 |     220    18700   130900 | 2147483647    34927     62 |  0.002 % |
9.27/9.33	c |     38965 |     220    18700   130900 | 2147483647    35183     62 |  0.002 % |
9.37/9.45	c |     39246 |     220    18700   130900 | 2147483647    35464     62 |  0.002 % |
9.47/9.58	c |     39556 |     220    18700   130900 | 2147483647    35774     62 |  0.002 % |
9.67/9.74	c |     39895 |     220    18700   130900 | 2147483647    36113     62 |  0.002 % |
9.76/9.89	c |     40267 |     220    18700   130900 | 2147483647    36485     62 |  0.002 % |
9.97/10.09	c |     40677 |     220    18700   130900 | 2147483647    36895     62 |  0.002 % |
10.16/10.28	c |     41129 |     220    18700   130900 | 2147483647    37347     62 |  0.002 % |
10.36/10.49	c |     41622 |     220    18700   130900 | 2147483647    37840     62 |  0.002 % |
10.66/10.74	c |     42164 |     220    18700   130900 | 2147483647    38382     62 |  0.002 % |
10.97/11.02	c |     42761 |     220    18700   130900 | 2147483647    38979     62 |  0.002 % |
10.97/11.06	c |     42862 |     220    18700   130900 | 2147483647    39080     62 |  0.002 % |
11.07/11.11	c |     42972 |     220    18700   130900 | 2147483647    39190     62 |  0.002 % |
11.07/11.17	c |     43093 |     220    18700   130900 | 2147483647    39311     62 |  0.002 % |
11.16/11.25	c |     43226 |     220    18700   130900 | 2147483647    39444     62 |  0.002 % |
11.26/11.34	c |     43373 |     220    18700   130900 | 2147483647    39591     62 |  0.002 % |
11.36/11.41	c |     43534 |     220    18700   130900 | 2147483647    39752     62 |  0.002 % |
11.46/11.51	c |     43710 |     220    18700   130900 | 2147483647    39928     62 |  0.002 % |
11.56/11.61	c |     43906 |     220    18700   130900 | 2147483647    40124     62 |  0.002 % |
11.66/11.71	c |     44118 |     220    18700   130900 | 2147483647    40336     62 |  0.002 % |
11.77/11.83	c |     44352 |     220    18700   130900 | 2147483647    40570     62 |  0.002 % |
11.87/11.95	c |     44609 |     220    18700   130900 | 2147483647    40827     62 |  0.002 % |
11.97/12.08	c |     44891 |     220    18700   130900 | 2147483647    41109     62 |  0.002 % |
12.17/12.23	c |     45200 |     220    18700   130900 | 2147483647    41418     62 |  0.002 % |
12.37/12.40	c |     45539 |     220    18700   130900 | 2147483647    41757     62 |  0.002 % |
12.57/12.60	c |     45914 |     220    18700   130900 | 2147483647    42132     62 |  0.002 % |
12.77/12.82	c |     46323 |     220    18700   130900 | 2147483647    42541     62 |  0.002 % |
12.96/13.03	c |     46772 |     220    18700   130900 | 2147483647    42990     62 |  0.002 % |
13.17/13.28	c |     47265 |     220    18700   130900 | 2147483647    43483     62 |  0.002 % |
13.46/13.55	c |     47807 |     220    18700   130900 | 2147483647    44025     62 |  0.002 % |
13.76/13.86	c |     48403 |     220    18700   130900 | 2147483647    44621     62 |  0.002 % |
14.16/14.22	c |     49058 |     220    18700   130900 | 2147483647    45276     62 |  0.002 % |
14.16/14.29	c |     49158 |     220    18700   130900 | 2147483647    45376     62 |  0.002 % |
14.27/14.36	c |     49270 |     220    18700   130900 | 2147483647    45488     62 |  0.002 % |
14.37/14.43	c |     49392 |     220    18700   130900 | 2147483647    45610     62 |  0.002 % |
14.46/14.51	c |     49526 |     220    18700   130900 | 2147483647    45744     62 |  0.002 % |
14.56/14.62	c |     49674 |     220    18700   130900 | 2147483647    45892     62 |  0.002 % |
14.66/14.71	c |     49834 |     220    18700   130900 | 2147483647    46052     62 |  0.002 % |
14.76/14.82	c |     50010 |     220    18700   130900 | 2147483647    46228     62 |  0.002 % |
14.86/14.94	c |     50204 |     220    18700   130900 | 2147483647    46422     62 |  0.002 % |
14.96/15.06	c |     50419 |     220    18700   130900 | 2147483647    46637     62 |  0.002 % |
15.07/15.18	c |     50653 |     220    18700   130900 | 2147483647    46871     62 |  0.002 % |
15.27/15.31	c |     50910 |     220    18700   130900 | 2147483647    47128     62 |  0.002 % |
15.37/15.47	c |     51193 |     220    18700   130900 | 2147483647    47411     62 |  0.002 % |
15.57/15.62	c |     51502 |     220    18700   130900 | 2147483647    47720     62 |  0.002 % |
15.77/15.84	c |     51843 |     220    18700   130900 | 2147483647    48061     62 |  0.002 % |
15.97/16.06	c |     52217 |     220    18700   130900 | 2147483647    48435     62 |  0.002 % |
16.27/16.30	c |     52628 |     220    18700   130900 | 2147483647    48846     62 |  0.002 % |
16.47/16.54	c |     53078 |     220    18700   130900 | 2147483647    49296     62 |  0.002 % |
16.77/16.86	c |     53571 |     220    18700   130900 | 2147483647    49789     62 |  0.002 % |
17.07/17.18	c |     54114 |     220    18700   130900 | 2147483647    50332     62 |  0.002 % |
17.47/17.56	c |     54710 |     220    18700   130900 | 2147483647    50928     62 |  0.002 % |
17.87/17.93	c |     55367 |     220    18700   130900 | 2147483647    51585     62 |  0.002 % |
18.27/18.33	c |     56089 |     220    18700   130900 | 2147483647    52307     62 |  0.002 % |
18.37/18.41	c |     56191 |     220    18700   130900 | 2147483647    52409     62 |  0.002 % |
18.37/18.48	c |     56301 |     220    18700   130900 | 2147483647    52519     62 |  0.002 % |
18.47/18.57	c |     56422 |     220    18700   130900 | 2147483647    52640     62 |  0.002 % |
18.57/18.65	c |     56558 |     220    18700   130900 | 2147483647    52776     62 |  0.002 % |
18.67/18.77	c |     56706 |     220    18700   130900 | 2147483647    52924     62 |  0.002 % |
18.77/18.88	c |     56866 |     220    18700   130900 | 2147483647    53084     62 |  0.002 % |
18.97/19.01	c |     57043 |     220    18700   130900 | 2147483647    53261     62 |  0.002 % |
19.07/19.15	c |     57236 |     220    18700   130900 | 2147483647    53454     62 |  0.002 % |
19.17/19.29	c |     57448 |     220    18700   130900 | 2147483647    53666     62 |  0.002 % |
19.37/19.44	c |     57681 |     220    18700   130900 | 2147483647    53899     62 |  0.002 % |
19.57/19.60	c |     57938 |     220    18700   130900 | 2147483647    54156     62 |  0.002 % |
19.67/19.78	c |     58220 |     220    18700   130900 | 2147483647    54438     62 |  0.002 % |
19.87/19.93	c |     58530 |     220    18700   130900 | 2147483647    54748     62 |  0.002 % |
20.07/20.17	c |     58869 |     220    18700   130900 | 2147483647    55087     62 |  0.002 % |
20.37/20.45	c |     59241 |     220    18700   130900 | 2147483647    55459     62 |  0.002 % |
20.67/20.71	c |     59651 |     220    18700   130900 | 2147483647    55869     62 |  0.002 % |
20.87/20.99	c |     60100 |     220    18700   130900 | 2147483647    56318     62 |  0.002 % |
21.27/21.30	c |     60593 |     220    18700   130900 | 2147483647    56811     62 |  0.002 % |
21.67/21.71	c |     61135 |     220    18700   130900 | 2147483647    57353     62 |  0.002 % |
22.07/22.11	c |     61732 |     220    18700   130900 | 2147483647    57950     62 |  0.002 % |
22.47/22.56	c |     62392 |     220    18700   130900 | 2147483647    58610     62 |  0.002 % |
22.96/23.03	c |     63113 |     220    18700   130900 | 2147483647    59331     62 |  0.002 % |
23.46/23.56	c |     63910 |     220    18700   130900 | 2147483647    60128     62 |  0.002 % |
23.56/23.64	c |     64012 |     220    18700   130900 | 2147483647    60230     62 |  0.002 % |
23.66/23.77	c |     64123 |     220    18700   130900 | 2147483647    60341     62 |  0.002 % |
23.76/23.86	c |     64245 |     220    18700   130900 | 2147483647    60463     62 |  0.002 % |
23.86/23.97	c |     64379 |     220    18700   130900 | 2147483647    60597     62 |  0.002 % |
23.96/24.08	c |     64526 |     220    18700   130900 | 2147483647    60744     62 |  0.002 % |
24.17/24.22	c |     64687 |     220    18700   130900 | 2147483647    60905     62 |  0.002 % |
24.27/24.35	c |     64863 |     220    18700   130900 | 2147483647    61081     62 |  0.002 % |
24.36/24.49	c |     65057 |     220    18700   130900 | 2147483647    61275     62 |  0.002 % |
24.56/24.66	c |     65269 |     220    18700   130900 | 2147483647    61487     62 |  0.002 % |
24.76/24.86	c |     65504 |     220    18700   130900 | 2147483647    61722     62 |  0.002 % |
24.96/25.06	c |     65761 |     220    18700   130900 | 2147483647    61979     62 |  0.002 % |
25.16/25.29	c |     66044 |     220    18700   130900 | 2147483647    62262     62 |  0.002 % |
25.46/25.55	c |     66354 |     220    18700   130900 | 2147483647    62572     62 |  0.002 % |
25.76/25.82	c |     66694 |     220    18700   130900 | 2147483647    62912     62 |  0.002 % |
26.06/26.12	c |     67066 |     220    18700   130900 | 2147483647    63284     62 |  0.002 % |
26.36/26.43	c |     67475 |     220    18700   130900 | 2147483647    63693     62 |  0.002 % |
26.66/26.79	c |     67925 |     220    18700   130900 | 2147483647    64143     62 |  0.002 % |
27.07/27.15	c |     68418 |     220    18700   130900 | 2147483647    64636     62 |  0.002 % |
27.47/27.57	c |     68961 |     220    18700   130900 | 2147483647    65179     62 |  0.002 % |
27.86/27.98	c |     69558 |     220    18700   130900 | 2147483647    65776     62 |  0.002 % |
28.46/28.52	c |     70213 |     220    18700   130900 | 2147483647    66431     62 |  0.002 % |
28.96/29.09	c |     70935 |     220    18700   130900 | 2147483647    67153     62 |  0.002 % |
29.67/29.74	c |     71728 |     220    18700   130900 | 2147483647    67946     62 |  0.002 % |
30.36/30.41	c |     72601 |     220    18700   130900 | 2147483647    68819     62 |  0.002 % |
30.46/30.50	c |     72703 |     220    18700   130900 | 2147483647    68921     62 |  0.002 % |
30.46/30.60	c |     72815 |     220    18700   130900 | 2147483647    69033     62 |  0.002 % |
30.56/30.69	c |     72936 |     220    18700   130900 | 2147483647    69154     62 |  0.002 % |
30.77/30.82	c |     73069 |     220    18700   130900 | 2147483647    69287     62 |  0.002 % |
30.87/31.00	c |     73216 |     220    18700   130900 | 2147483647    69434     62 |  0.002 % |
31.06/31.15	c |     73377 |     220    18700   130900 | 2147483647    69595     62 |  0.002 % |
31.26/31.30	c |     73554 |     220    18700   130900 | 2147483647    69772     62 |  0.002 % |
31.36/31.49	c |     73747 |     220    18700   130900 | 2147483647    69965     62 |  0.002 % |
31.56/31.69	c |     73959 |     220    18700   130900 | 2147483647    70177     62 |  0.002 % |
31.76/31.89	c |     74192 |     220    18700   130900 | 2147483647    70410     62 |  0.002 % |
31.96/32.09	c |     74449 |     220    18700   130900 | 2147483647    70667     62 |  0.002 % |
32.26/32.32	c |     74730 |     220    18700   130900 | 2147483647    70948     62 |  0.002 % |
32.46/32.57	c |     75039 |     220    18700   130900 | 2147483647    71257     62 |  0.002 % |
32.76/32.85	c |     75379 |     220    18700   130900 | 2147483647    71597     62 |  0.002 % |
33.06/33.19	c |     75751 |     220    18700   130900 | 2147483647    71969     62 |  0.002 % |
33.46/33.53	c |     76160 |     220    18700   130900 | 2147483647    72378     62 |  0.002 % |
33.86/33.90	c |     76609 |     220    18700   130900 | 2147483647    72827     62 |  0.002 % |
34.16/34.29	c |     77106 |     220    18700   130900 | 2147483647    73324     62 |  0.002 % |
34.65/34.73	c |     77649 |     220    18700   130900 | 2147483647    73867     62 |  0.002 % |
35.16/35.20	c |     78245 |     220    18700   130900 | 2147483647    74463     62 |  0.002 % |
35.56/35.69	c |     78902 |     220    18700   130900 | 2147483647    75120     62 |  0.002 % |
36.16/36.24	c |     79624 |     220    18700   130900 | 2147483647    75842     62 |  0.002 % |
36.76/36.84	c |     80417 |     220    18700   130900 | 2147483647    76635     62 |  0.002 % |
37.37/37.49	c |     81290 |     220    18700   130900 | 2147483647    77508     62 |  0.002 % |
38.16/38.21	c |     82248 |     220    18700   130900 | 2147483647    78466     62 |  0.002 % |
38.16/38.29	c |     82348 |     220    18700   130900 | 2147483647    78566     62 |  0.002 % |
38.36/38.40	c |     82460 |     220    18700   130900 | 2147483647    78678     62 |  0.002 % |
38.46/38.52	c |     82581 |     220    18700   130900 | 2147483647    78799     62 |  0.002 % |
38.66/38.70	c |     82714 |     220    18700   130900 | 2147483647    78932     62 |  0.002 % |
38.76/38.84	c |     82860 |     220    18700   130900 | 2147483647    79078     62 |  0.002 % |
38.86/38.99	c |     83020 |     220    18700   130900 | 2147483647    79238     62 |  0.002 % |
39.06/39.20	c |     83196 |     220    18700   130900 | 2147483647    79414     62 |  0.002 % |
39.36/39.42	c |     83394 |     220    18700   130900 | 2147483647    79612     62 |  0.002 % |
39.56/39.61	c |     83607 |     220    18700   130900 | 2147483647    79825     62 |  0.002 % |
39.76/39.82	c |     83841 |     220    18700   130900 | 2147483647    80059     62 |  0.002 % |
39.96/40.04	c |     84097 |     220    18700   130900 | 2147483647    80315     62 |  0.002 % |
40.26/40.37	c |     84379 |     220    18700   130900 | 2147483647    80597     62 |  0.002 % |
40.56/40.69	c |     84689 |     220    18700   130900 | 2147483647    80907     62 |  0.002 % |
40.96/41.02	c |     85028 |     220    18700   130900 | 2147483647    81246     62 |  0.002 % |
41.36/41.40	c |     85400 |     220    18700   130900 | 2147483647    81618     62 |  0.002 % |
41.76/41.80	c |     85813 |     220    18700   130900 | 2147483647    82031     62 |  0.002 % |
42.16/42.21	c |     86262 |     220    18700   130900 | 2147483647    82480     62 |  0.002 % |
42.56/42.64	c |     86755 |     220    18700   130900 | 2147483647    82973     62 |  0.002 % |
42.96/43.07	c |     87297 |     220    18700   130900 | 2147483647    83515     62 |  0.002 % |
43.46/43.55	c |     87895 |     220    18700   130900 | 2147483647    84113     62 |  0.002 % |
44.06/44.13	c |     88550 |     220    18700   130900 | 2147483647    84768     62 |  0.002 % |
44.86/44.90	c |     89271 |     220    18700   130900 | 2147483647    85489     62 |  0.002 % |
45.65/45.75	c |     90064 |     220    18700   130900 |    86221    86282     62 |  0.002 % |
46.55/46.63	c |     90935 |     220    18700   130900 |    86221    75512     62 |  0.002 % |
47.36/47.48	c |     91893 |     220    18700   130900 |    86221    76470     62 |  0.002 % |
48.25/48.37	c |     92946 |     220    18700   130900 |    86221    77523     62 |  0.002 % |
48.36/48.46	c |     93046 |     220    18700   130900 |    86221    77623     62 |  0.002 % |
48.55/48.60	c |     93156 |     220    18700   130900 |    86221    77733     62 |  0.002 % |
48.65/48.71	c |     93278 |     220    18700   130900 |    86221    77855     62 |  0.002 % |
48.75/48.87	c |     93411 |     220    18700   130900 |    86221    77988     62 |  0.002 % |
48.95/49.03	c |     93559 |     220    18700   130900 |    86221    78136     62 |  0.002 % |
49.05/49.19	c |     93720 |     220    18700   130900 |    86221    78297     62 |  0.002 % |
49.25/49.36	c |     93897 |     220    18700   130900 |    86221    78474     62 |  0.002 % |
49.46/49.56	c |     94090 |     220    18700   130900 |    86221    78667     62 |  0.002 % |
49.65/49.78	c |     94302 |     220    18700   130900 |    86221    78879     62 |  0.002 % |
49.85/49.99	c |     94536 |     220    18700   130900 |    86221    79113     62 |  0.002 % |
50.15/50.23	c |     94792 |     220    18700   130900 |    86221    79369     62 |  0.002 % |
50.35/50.49	c |     95073 |     220    18700   130900 |    86221    79650     62 |  0.002 % |
50.75/50.81	c |     95383 |     220    18700   130900 |    86221    79960     62 |  0.002 % |
51.05/51.15	c |     95722 |     220    18700   130900 |    86221    80299     62 |  0.002 % |
51.35/51.48	c |     96094 |     220    18700   130900 |    86221    80671     62 |  0.002 % |
51.85/51.94	c |     96505 |     220    18700   130900 |    86221    81082     62 |  0.002 % |
52.25/52.38	c |     96954 |     220    18700   130900 |    86221    81531     62 |  0.002 % |
52.75/52.83	c |     97447 |     220    18700   130900 |    86221    82024     62 |  0.002 % |
53.15/53.29	c |     97991 |     220    18700   130900 |    86221    82568     62 |  0.002 % |
53.75/53.87	c |     98587 |     220    18700   130900 |    86221    83164     62 |  0.002 % |
54.45/54.54	c |     99242 |     220    18700   130900 |    86221    83819     62 |  0.002 % |
55.15/55.20	c |     99962 |     220    18700   130900 |    86221    84539     62 |  0.002 % |
55.85/55.96	c |    100754 |     220    18700   130900 |    84579    72453     62 |  0.002 % |
56.55/56.63	c |    101625 |     220    18700   130900 |    84579    73324     62 |  0.002 % |
57.25/57.37	c |    102585 |     220    18700   130900 |    84579    74284     62 |  0.002 % |
58.35/58.40	c |    103638 |     220    18700   130900 |    84579    75337     62 |  0.002 % |
59.35/59.49	c |    104797 |     220    18700   130900 |    84579    76496     62 |  0.002 % |
59.45/59.58	c |    104897 |     220    18700   130900 |    84579    76596     62 |  0.002 % |
59.55/59.68	c |    105007 |     220    18700   130900 |    84579    76706     62 |  0.002 % |
59.75/59.82	c |    105130 |     220    18700   130900 |    84579    76829     62 |  0.002 % |
59.85/59.96	c |    105264 |     220    18700   130900 |    84579    76963     62 |  0.002 % |
59.95/60.09	c |    105410 |     220    18700   130900 |    84579    77109     62 |  0.002 % |
60.15/60.25	c |    105570 |     220    18700   130900 |    84579    77269     62 |  0.002 % |
60.35/60.45	c |    105746 |     220    18700   130900 |    84579    77445     62 |  0.002 % |
60.55/60.61	c |    105939 |     220    18700   130900 |    84579    77638     62 |  0.002 % |
60.75/60.82	c |    106152 |     220    18700   130900 |    84579    77851     62 |  0.002 % |
60.95/61.02	c |    106385 |     220    18700   130900 |    84579    78084     62 |  0.002 % |
61.15/61.27	c |    106641 |     220    18700   130900 |    84579    78340     62 |  0.002 % |
61.45/61.54	c |    106922 |     220    18700   130900 |    84579    78621     62 |  0.002 % |
61.75/61.84	c |    107231 |     220    18700   130900 |    84579    78930     62 |  0.002 % |
62.05/62.12	c |    107571 |     220    18700   130900 |    84579    79270     62 |  0.002 % |
62.45/62.56	c |    107943 |     220    18700   130900 |    84579    79642     62 |  0.002 % |
62.85/62.94	c |    108354 |     220    18700   130900 |    84579    80053     62 |  0.002 % |
63.25/63.31	c |    108803 |     220    18700   130900 |    84579    80502     62 |  0.002 % |
63.65/63.74	c |    109296 |     220    18700   130900 |    84579    80995     62 |  0.002 % |
64.05/64.18	c |    109838 |     220    18700   130900 |    84579    81537     62 |  0.002 % |
64.66/64.73	c |    110435 |     220    18700   130900 |    81699    70600     63 |  0.002 % |
65.16/65.24	c |    111090 |     220    18700   130900 |    81699    71255     63 |  0.002 % |
65.85/65.93	c |    111811 |     220    18700   130900 |    81699    71976     63 |  0.002 % |
66.55/66.63	c |    112604 |     220    18700   130900 |    81699    72769     63 |  0.002 % |
67.25/67.32	c |    113475 |     220    18700   130900 |    81699    73640     63 |  0.002 % |
67.95/68.09	c |    114435 |     220    18700   130900 |    81699    74600     63 |  0.002 % |
68.95/69.01	c |    115490 |     220    18700   130900 |    81699    75655     63 |  0.002 % |
69.85/69.90	c |    116649 |     220    18700   130900 |    81699    76814     63 |  0.002 % |
70.85/70.91	c |    117925 |     220    18700   130900 |    81699    78090     63 |  0.002 % |
70.85/70.99	c |    118025 |     220    18700   130900 |    81699    78190     63 |  0.002 % |
71.05/71.15	c |    118136 |     220    18700   130900 |    81699    78301     63 |  0.002 % |
71.15/71.27	c |    118257 |     220    18700   130900 |    81699    78422     63 |  0.002 % |
71.35/71.41	c |    118390 |     220    18700   130900 |    81699    78555     63 |  0.002 % |
71.46/71.52	c |    118537 |     220    18700   130900 |    81699    78702     63 |  0.002 % |
71.65/71.72	c |    118697 |     220    18700   130900 |    81699    78862     63 |  0.002 % |
71.75/71.88	c |    118874 |     220    18700   130900 |    81699    79039     63 |  0.002 % |
71.95/72.07	c |    119067 |     220    18700   130900 |    81699    79232     63 |  0.002 % |
72.25/72.30	c |    119280 |     220    18700   130900 |    81699    79445     63 |  0.002 % |
72.45/72.53	c |    119516 |     220    18700   130900 |    81699    79681     63 |  0.002 % |
72.66/72.79	c |    119774 |     220    18700   130900 |    81699    79939     63 |  0.002 % |
72.95/73.06	c |    120056 |     220    18700   130900 |    80165    80221     63 |  0.002 % |
73.35/73.45	c |    120365 |     220    18700   130900 |    80165    70456     63 |  0.002 % |
73.66/73.76	c |    120704 |     220    18700   130900 |    80165    70795     63 |  0.002 % |
73.95/74.07	c |    121077 |     220    18700   130900 |    80165    71168     63 |  0.002 % |
74.35/74.46	c |    121488 |     220    18700   130900 |    80165    71579     63 |  0.002 % |
74.76/74.81	c |    121937 |     220    18700   130900 |    80165    72028     63 |  0.002 % |
75.05/75.18	c |    122431 |     220    18700   130900 |    80165    72522     63 |  0.002 % |
75.55/75.60	c |    122973 |     220    18700   130900 |    80165    73064     63 |  0.002 % |
75.95/76.06	c |    123570 |     220    18700   130900 |    80165    73661     63 |  0.002 % |
76.55/76.68	c |    124227 |     220    18700   130900 |    80165    74318     63 |  0.002 % |
77.25/77.36	c |    124949 |     220    18700   130900 |    80165    75040     63 |  0.002 % |
77.95/78.04	c |    125742 |     220    18700   130900 |    80165    75833     63 |  0.002 % |
78.65/78.76	c |    126613 |     220    18700   130900 |    80165    76704     63 |  0.002 % |
79.35/79.49	c |    127572 |     220    18700   130900 |    80165    77663     63 |  0.002 % |
80.45/80.55	c |    128626 |     220    18700   130900 |    80165    78717     63 |  0.002 % |
81.55/81.61	c |    129785 |     220    18700   130900 |    80165    79876     63 |  0.002 % |
82.65/82.76	c |    131059 |     220    18700   130900 |    80091    71057     63 |  0.002 % |
83.85/83.99	c |    132461 |     220    18700   130900 |    80091    72459     63 |  0.002 % |
83.95/84.08	c |    132561 |     220    18700   130900 |    80091    72559     63 |  0.002 % |
84.05/84.19	c |    132672 |     220    18700   130900 |    80091    72670     63 |  0.002 % |
84.15/84.29	c |    132793 |     220    18700   130900 |    80091    72791     62 |  0.002 % |
84.35/84.41	c |    132926 |     220    18700   130900 |    80091    72924     62 |  0.002 % |
84.45/84.54	c |    133072 |     220    18700   130900 |    80091    73070     62 |  0.002 % |
84.65/84.70	c |    133233 |     220    18700   130900 |    80091    73231     62 |  0.002 % |
84.75/84.85	c |    133409 |     220    18700   130900 |    80091    73407     62 |  0.002 % |
84.95/85.00	c |    133603 |     220    18700   130900 |    80091    73601     62 |  0.002 % |
85.05/85.18	c |    133816 |     220    18700   130900 |    80091    73814     63 |  0.002 % |
85.25/85.37	c |    134050 |     220    18700   130900 |    80091    74048     62 |  0.002 % |
85.55/85.63	c |    134307 |     220    18700   130900 |    80091    74305     63 |  0.002 % |
85.85/85.93	c |    134588 |     220    18700   130900 |    80091    74586     63 |  0.002 % |
86.14/86.26	c |    134898 |     220    18700   130900 |    80091    74896     63 |  0.002 % |
86.45/86.59	c |    135237 |     220    18700   130900 |    80091    75235     63 |  0.002 % |
86.85/86.95	c |    135610 |     220    18700   130900 |    80091    75608     62 |  0.002 % |
87.14/87.27	c |    136019 |     220    18700   130900 |    80091    76017     63 |  0.002 % |
87.64/87.71	c |    136471 |     220    18700   130900 |    80091    76469     63 |  0.002 % |
88.05/88.16	c |    136964 |     220    18700   130900 |    80091    76962     63 |  0.002 % |
88.54/88.63	c |    137506 |     220    18700   130900 |    80091    77504     63 |  0.002 % |
89.15/89.23	c |    138103 |     220    18700   130900 |    80091    78101     63 |  0.002 % |
89.64/89.79	c |    138759 |     220    18700   130900 |    80091    78757     63 |  0.002 % |
90.34/90.45	c |    139480 |     220    18700   130900 |    80091    79478     63 |  0.002 % |
91.04/91.14	c |    140272 |     220    18700   130900 |    79999    70062     63 |  0.002 % |
91.64/91.77	c |    141143 |     220    18700   130900 |    79999    70933     63 |  0.002 % |
92.35/92.45	c |    142104 |     220    18700   130900 |    79999    71894     63 |  0.002 % |
93.14/93.27	c |    143157 |     220    18700   130900 |    79999    72947     63 |  0.002 % |
94.04/94.11	c |    144318 |     220    18700   130900 |    79999    74108     63 |  0.002 % |
94.94/95.09	c |    145591 |     220    18700   130900 |    79999    75381     63 |  0.002 % |
96.24/96.32	c |    146991 |     220    18700   130900 |    79999    76781     63 |  0.002 % |
97.54/97.66	c |    148532 |     220    18700   130900 |    79999    78322     63 |  0.002 % |
97.64/97.77	c |    148632 |     220    18700   130900 |    79999    78422     63 |  0.002 % |
97.74/97.88	c |    148743 |     220    18700   130900 |    79999    78533     63 |  0.002 % |
97.95/98.00	c |    148864 |     220    18700   130900 |    79999    78654     63 |  0.002 % |
98.04/98.12	c |    148998 |     220    18700   130900 |    79999    78788     63 |  0.002 % |
98.14/98.26	c |    149145 |     220    18700   130900 |    79999    78935     63 |  0.002 % |
98.34/98.40	c |    149305 |     220    18700   130900 |    79999    79095     63 |  0.002 % |
98.44/98.56	c |    149481 |     220    18700   130900 |    79999    79271     63 |  0.002 % |
98.64/98.73	c |    149674 |     220    18700   130900 |    79999    79464     63 |  0.002 % |
98.84/98.90	c |    149887 |     220    18700   130900 |    79999    79677     63 |  0.002 % |
99.04/99.19	c |    150121 |     220    18700   130900 |    79790    70843     63 |  0.002 % |
99.34/99.43	c |    150377 |     220    18700   130900 |    79790    71099     63 |  0.002 % |
99.54/99.66	c |    150658 |     220    18700   130900 |    79790    71380     63 |  0.002 % |
99.74/99.89	c |    150967 |     220    18700   130900 |    79790    71689     63 |  0.002 % |
100.04/100.16	c |    151306 |     220    18700   130900 |    79790    72028     63 |  0.002 % |
100.34/100.44	c |    151678 |     220    18700   130900 |    79790    72400     63 |  0.002 % |
100.64/100.73	c |    152088 |     220    18700   130900 |    79790    72810     63 |  0.002 % |
101.04/101.20	c |    152537 |     220    18700   130900 |    79790    73259     63 |  0.002 % |
101.54/101.69	c |    153030 |     220    18700   130900 |    79790    73752     63 |  0.002 % |
102.04/102.18	c |    153572 |     220    18700   130900 |    79790    74294     63 |  0.002 % |
102.64/102.71	c |    154169 |     220    18700   130900 |    79790    74891     63 |  0.002 % |
103.24/103.31	c |    154824 |     220    18700   130900 |    79790    75546     63 |  0.002 % |
103.84/103.94	c |    155545 |     220    18700   130900 |    79790    76267     63 |  0.002 % |
104.64/104.72	c |    156337 |     220    18700   130900 |    79790    77059     63 |  0.002 % |
105.44/105.54	c |    157209 |     220    18700   130900 |    79790    77931     63 |  0.002 % |
106.24/106.35	c |    158167 |     220    18700   130900 |    79790    78889     63 |  0.002 % |
107.24/107.31	c |    159220 |     220    18700   130900 |    79790    70010     63 |  0.002 % |
108.14/108.21	c |    160379 |     220    18700   130900 |    70791    62689     62 |  0.002 % |
108.94/109.04	c |    161653 |     220    18700   130900 |    70791    63963     62 |  0.002 % |
109.84/109.96	c |    163053 |     220    18700   130900 |    70791    65363     62 |  0.002 % |
111.14/111.23	c |    164593 |     220    18700   130900 |    70791    66903     63 |  0.002 % |
112.44/112.55	c |    166288 |     220    18700   130900 |    70791    68598     63 |  0.002 % |
112.54/112.64	c |    166388 |     220    18700   130900 |    70791    68698     63 |  0.002 % |
112.64/112.72	c |    166499 |     220    18700   130900 |    70791    68809     63 |  0.002 % |
112.74/112.82	c |    166621 |     220    18700   130900 |    70791    68931     63 |  0.002 % |
112.83/112.92	c |    166758 |     220    18700   130900 |    70791    69068     63 |  0.002 % |
112.93/113.03	c |    166904 |     220    18700   130900 |    70791    69214     63 |  0.002 % |
113.03/113.17	c |    167065 |     220    18700   130900 |    70791    69375     63 |  0.002 % |
113.24/113.36	c |    167241 |     220    18700   130900 |    70791    69551     63 |  0.002 % |
113.43/113.53	c |    167436 |     220    18700   130900 |    70791    69746     63 |  0.002 % |
113.63/113.71	c |    167648 |     220    18700   130900 |    70791    69958     63 |  0.002 % |
113.83/113.91	c |    167882 |     220    18700   130900 |    70791    70192     63 |  0.002 % |
114.03/114.12	c |    168138 |     220    18700   130900 |    70791    70448     63 |  0.002 % |
114.23/114.36	c |    168421 |     220    18700   130900 |    70791    70731     63 |  0.002 % |
114.53/114.63	c |    168731 |     220    18700   130900 |    70791    63953     62 |  0.002 % |
114.73/114.84	c |    169070 |     220    18700   130900 |    70791    64292     62 |  0.002 % |
115.03/115.17	c |    169442 |     220    18700   130900 |    70791    64664     62 |  0.002 % |
115.44/115.50	c |    169852 |     220    18700   130900 |    70791    65074     62 |  0.002 % |
115.73/115.87	c |    170301 |     220    18700   130900 | 2147483647    65523     62 |  0.002 % |
116.13/116.26	c |    170794 |     220    18700   130900 | 2147483647    66016     62 |  0.002 % |
116.54/116.68	c |    171338 |     220    18700   130900 | 2147483647    66560     62 |  0.002 % |
116.93/117.09	c |    171935 |     220    18700   130900 | 2147483647    67157     62 |  0.002 % |
117.43/117.57	c |    172590 |     220    18700   130900 | 2147483647    67812     62 |  0.002 % |
118.03/118.18	c |    173312 |     220    18700   130900 | 2147483647    68534     62 |  0.002 % |
118.63/118.79	c |    174105 |     220    18700   130900 | 2147483647    69327     62 |  0.002 % |
119.33/119.42	c |    174976 |     220    18700   130900 | 2147483647    70198     62 |  0.002 % |
120.03/120.13	c |    175934 |     220    18700   130900 | 2147483647    71156     62 |  0.002 % |
120.83/121.00	c |    176989 |     220    18700   130900 | 2147483647    72211     62 |  0.002 % |
121.83/121.93	c |    178148 |     220    18700   130900 | 2147483647    73370     62 |  0.002 % |
122.83/122.97	c |    179421 |     220    18700   130900 | 2147483647    74643     62 |  0.002 % |
123.93/124.04	c |    180822 |     220    18700   130900 | 2147483647    76044     62 |  0.002 % |
125.23/125.33	c |    182362 |     220    18700   130900 | 2147483647    77584     62 |  0.002 % |
126.63/126.70	c |    184060 |     220    18700   130900 | 2147483647    79282     62 |  0.002 % |
128.33/128.50	c |    185924 |     220    18700   130900 | 2147483647    81146     62 |  0.002 % |
128.43/128.59	c |    186026 |     220    18700   130900 | 2147483647    81248     62 |  0.002 % |
128.63/128.73	c |    186137 |     220    18700   130900 | 2147483647    81359     62 |  0.002 % |
128.73/128.86	c |    186258 |     220    18700   130900 | 2147483647    81480     62 |  0.002 % |
128.93/129.00	c |    186392 |     220    18700   130900 | 2147483647    81614     62 |  0.002 % |
129.03/129.16	c |    186538 |     220    18700   130900 | 2147483647    81760     62 |  0.002 % |
129.23/129.34	c |    186698 |     220    18700   130900 | 2147483647    81920     62 |  0.002 % |
129.43/129.52	c |    186876 |     220    18700   130900 | 2147483647    82098     62 |  0.002 % |
129.53/129.69	c |    187069 |     220    18700   130900 | 2147483647    82291     62 |  0.002 % |
129.83/129.95	c |    187281 |     220    18700   130900 | 2147483647    82503     62 |  0.002 % |
130.03/130.19	c |    187514 |     220    18700   130900 | 2147483647    82736     62 |  0.002 % |
130.33/130.49	c |    187770 |     220    18700   130900 | 2147483647    82992     62 |  0.002 % |
130.63/130.79	c |    188051 |     220    18700   130900 | 2147483647    83273     62 |  0.002 % |
131.03/131.18	c |    188360 |     220    18700   130900 | 2147483647    83582     62 |  0.002 % |
131.43/131.53	c |    188699 |     220    18700   130900 | 2147483647    83921     62 |  0.002 % |
131.72/131.87	c |    189073 |     220    18700   130900 | 2147483647    84295     62 |  0.002 % |
132.23/132.36	c |    189483 |     220    18700   130900 | 2147483647    84705     62 |  0.002 % |
132.72/132.80	c |    189934 |     220    18700   130900 | 2147483647    85156     62 |  0.002 % |
133.22/133.35	c |    190427 |     220    18700   130900 |    85222    74027     62 |  0.002 % |
133.72/133.80	c |    190969 |     220    18700   130900 |    85222    74569     62 |  0.002 % |
134.13/134.25	c |    191568 |     220    18700   130900 |    85222    75168     62 |  0.002 % |
134.72/134.85	c |    192224 |     220    18700   130900 |    85222    75824     62 |  0.002 % |
135.33/135.45	c |    192946 |     220    18700   130900 |    85222    76546     62 |  0.002 % |
135.92/136.06	c |    193738 |     220    18700   130900 |    85222    77338     62 |  0.002 % |
136.62/136.73	c |    194609 |     220    18700   130900 |    85222    78209     62 |  0.002 % |
137.43/137.51	c |    195569 |     220    18700   130900 |    85222    79169     62 |  0.002 % |
138.52/138.61	c |    196622 |     220    18700   130900 |    85222    80222     62 |  0.002 % |
139.52/139.69	c |    197780 |     220    18700   130900 |    85222    81380     62 |  0.002 % |
140.62/140.79	c |    199055 |     220    18700   130900 |    85222    82655     62 |  0.002 % |
142.02/142.14	c |    200456 |     220    18700   130900 |    83600    72534     62 |  0.002 % |
143.22/143.33	c |    201996 |     220    18700   130900 |    83600    74074     62 |  0.002 % |
144.52/144.64	c |    203691 |     220    18700   130900 |    83600    75769     62 |  0.002 % |
145.92/146.02	c |    205554 |     220    18700   130900 |    83600    77632     62 |  0.002 % |
147.72/147.86	c |    207603 |     220    18700   130900 |    83600    79681     62 |  0.002 % |
147.82/147.98	c |    207704 |     220    18700   130900 |    83600    79782     62 |  0.002 % |
148.02/148.10	c |    207815 |     220    18700   130900 |    83600    79893     62 |  0.002 % |
148.12/148.23	c |    207936 |     220    18700   130900 |    83600    80014     62 |  0.002 % |
148.22/148.37	c |    208069 |     220    18700   130900 |    83600    80147     62 |  0.002 % |
148.42/148.53	c |    208216 |     220    18700   130900 |    83600    80294     62 |  0.002 % |
148.62/148.70	c |    208376 |     220    18700   130900 |    83600    80454     62 |  0.002 % |
148.71/148.87	c |    208553 |     220    18700   130900 |    83600    80631     62 |  0.002 % |
148.91/149.08	c |    208749 |     220    18700   130900 |    83600    80827     62 |  0.002 % |
149.11/149.29	c |    208963 |     220    18700   130900 |    83600    81041     62 |  0.002 % |
149.41/149.50	c |    209197 |     220    18700   130900 |    83600    81275     62 |  0.002 % |
149.62/149.73	c |    209453 |     220    18700   130900 |    83600    81531     62 |  0.002 % |
149.81/149.97	c |    209734 |     220    18700   130900 |    83600    81812     62 |  0.002 % |
150.11/150.24	c |    210044 |     220    18700   130900 |    82079    82122     62 |  0.002 % |
150.51/150.67	c |    210384 |     220    18700   130900 |    82079    71883     62 |  0.002 % |
150.81/150.96	c |    210756 |     220    18700   130900 |    82079    72255     62 |  0.002 % |
151.21/151.30	c |    211165 |     220    18700   130900 |    82079    72664     62 |  0.002 % |
151.51/151.65	c |    211614 |     220    18700   130900 |    82079    73113     62 |  0.002 % |
151.91/152.05	c |    212107 |     220    18700   130900 |    82079    73606     62 |  0.002 % |
152.31/152.48	c |    212650 |     220    18700   130900 |    82079    74149     62 |  0.002 % |
152.82/152.94	c |    213247 |     220    18700   130900 |    82079    74746     62 |  0.002 % |
153.31/153.48	c |    213902 |     220    18700   130900 |    82079    75401     62 |  0.002 % |
153.92/154.08	c |    214623 |     220    18700   130900 |    82079    76122     62 |  0.002 % |
154.61/154.71	c |    215415 |     220    18700   130900 |    82079    76914     62 |  0.002 % |
155.21/155.38	c |    216287 |     220    18700   130900 |    82079    77786     62 |  0.002 % |
156.01/156.13	c |    217245 |     220    18700   130900 |    82079    78744     62 |  0.002 % |
156.81/156.92	c |    218299 |     220    18700   130900 |    82079    79798     62 |  0.002 % |
157.61/157.80	c |    219458 |     220    18700   130900 |    82079    80957     62 |  0.002 % |
158.71/158.86	c |    220733 |     220    18700   130900 |    81499    72797     62 |  0.002 % |
159.81/159.90	c |    222134 |     220    18700   130900 |    81499    74198     62 |  0.002 % |
160.81/160.97	c |    223674 |     220    18700   130900 |    81499    75738     62 |  0.002 % |
162.02/162.19	c |    225368 |     220    18700   130900 |    81499    77432     62 |  0.002 % |
163.52/163.67	c |    227232 |     220    18700   130900 |    81499    79296     62 |  0.002 % |
165.12/165.26	c |    229282 |     220    18700   130900 |    81499    81346     62 |  0.002 % |
166.82/166.96	c |    231536 |     220    18700   130900 | 2147483647    75439     62 |  0.002 % |
167.02/167.10	c |    231639 |     220    18700   130900 | 2147483647    75542     62 |  0.002 % |
167.02/167.19	c |    231750 |     220    18700   130900 | 2147483647    75653     62 |  0.002 % |
167.12/167.30	c |    231871 |     220    18700   130900 | 2147483647    75774     62 |  0.002 % |
167.31/167.41	c |    232005 |     220    18700   130900 | 2147483647    75908     62 |  0.002 % |
167.41/167.58	c |    232152 |     220    18700   130900 | 2147483647    76055     62 |  0.002 % |
167.61/167.72	c |    232313 |     220    18700   130900 | 2147483647    76216     62 |  0.002 % |
167.71/167.86	c |    232489 |     220    18700   130900 | 2147483647    76392     62 |  0.002 % |
167.91/168.04	c |    232682 |     220    18700   130900 | 2147483647    76585     62 |  0.002 % |
168.11/168.23	c |    232894 |     220    18700   130900 | 2147483647    76797     62 |  0.002 % |
168.32/168.42	c |    233129 |     220    18700   130900 | 2147483647    77032     62 |  0.002 % |
168.51/168.62	c |    233385 |     220    18700   130900 | 2147483647    77288     62 |  0.002 % |
168.71/168.87	c |    233666 |     220    18700   130900 | 2147483647    77569     62 |  0.002 % |
169.01/169.12	c |    233976 |     220    18700   130900 | 2147483647    77879     62 |  0.002 % |
169.32/169.42	c |    234315 |     220    18700   130900 | 2147483647    78218     62 |  0.002 % |
169.61/169.76	c |    234687 |     220    18700   130900 | 2147483647    78590     62 |  0.002 % |
169.91/170.08	c |    235098 |     220    18700   130900 | 2147483647    79001     62 |  0.002 % |
170.42/170.54	c |    235547 |     220    18700   130900 | 2147483647    79450     62 |  0.002 % |
170.91/171.06	c |    236041 |     220    18700   130900 | 2147483647    79944     62 |  0.002 % |
171.41/171.59	c |    236583 |     220    18700   130900 | 2147483647    80486     62 |  0.002 % |
172.01/172.14	c |    237180 |     220    18700   130900 | 2147483647    81083     62 |  0.002 % |
172.61/172.77	c |    237835 |     220    18700   130900 | 2147483647    81738     62 |  0.002 % |
173.31/173.41	c |    238555 |     220    18700   130900 | 2147483647    82458     63 |  0.002 % |
174.11/174.20	c |    239347 |     220    18700   130900 | 2147483647    83250     63 |  0.002 % |
174.91/175.03	c |    240222 |     220    18700   130900 |    83904    73268     62 |  0.002 % |
175.61/175.71	c |    241181 |     220    18700   130900 |    83904    74227     63 |  0.002 % |
176.41/176.56	c |    242236 |     220    18700   130900 |    83904    75282     63 |  0.002 % |
177.31/177.40	c |    243394 |     220    18700   130900 |    83904    76440     62 |  0.002 % |
178.21/178.39	c |    244667 |     220    18700   130900 |    83904    77713     63 |  0.002 % |
179.40/179.56	c |    246067 |     220    18700   130900 |    83904    79113     63 |  0.002 % |
180.90/181.00	c |    247607 |     220    18700   130900 |    83904    80653     63 |  0.002 % |
182.30/182.49	c |    249302 |     220    18700   130900 |    83904    82348     63 |  0.002 % |
184.00/184.15	c |    251165 |     220    18700   130900 |    83046    73608     63 |  0.002 % |
185.60/185.70	c |    253215 |     220    18700   130900 |    83046    75658     63 |  0.002 % |
187.20/187.36	c |    255469 |     220    18700   130900 |    83046    77912     63 |  0.002 % |
189.10/189.21	c |    257948 |     220    18700   130900 |    83046    80391     63 |  0.002 % |
189.10/189.29	c |    258048 |     220    18700   130900 |    83046    80491     63 |  0.002 % |
189.30/189.43	c |    258159 |     220    18700   130900 |    83046    80602     63 |  0.002 % |
189.40/189.56	c |    258280 |     220    18700   130900 |    83046    80723     63 |  0.002 % |
189.50/189.68	c |    258414 |     220    18700   130900 |    83046    80857     63 |  0.002 % |
189.70/189.84	c |    258561 |     220    18700   130900 |    83046    81004     63 |  0.002 % |
189.90/190.02	c |    258722 |     220    18700   130900 |    83046    81165     63 |  0.002 % |
190.10/190.20	c |    258898 |     220    18700   130900 |    83046    81341     63 |  0.002 % |
190.20/190.38	c |    259091 |     220    18700   130900 |    83046    81534     63 |  0.002 % |
190.50/190.61	c |    259303 |     220    18700   130900 |    83046    81746     63 |  0.002 % |
190.70/190.84	c |    259538 |     220    18700   130900 |    83046    81981     63 |  0.002 % |
191.00/191.11	c |    259794 |     220    18700   130900 |    83046    82237     63 |  0.002 % |
191.20/191.39	c |    260076 |     220    18700   130900 |    82446    82519     63 |  0.002 % |
191.60/191.71	c |    260385 |     220    18700   130900 |    82446    73045     63 |  0.002 % |
191.90/192.02	c |    260727 |     220    18700   130900 |    82446    73387     63 |  0.002 % |
192.20/192.35	c |    261102 |     220    18700   130900 |    82446    73762     63 |  0.002 % |
192.60/192.70	c |    261511 |     220    18700   130900 |    82446    74171     63 |  0.002 % |
193.00/193.12	c |    261960 |     220    18700   130900 |    82446    74620     63 |  0.002 % |
193.40/193.53	c |    262453 |     220    18700   130900 |    82446    75113     63 |  0.002 % |
193.90/194.01	c |    262996 |     220    18700   130900 |    82446    75656     63 |  0.002 % |
194.30/194.48	c |    263594 |     220    18700   130900 |    82446    76254     63 |  0.002 % |
194.90/195.08	c |    264250 |     220    18700   130900 |    82446    76910     63 |  0.002 % |
195.50/195.69	c |    264970 |     220    18700   130900 |    82446    77630     63 |  0.002 % |
196.29/196.41	c |    265764 |     220    18700   130900 |    82446    78424     63 |  0.002 % |
197.09/197.20	c |    266635 |     220    18700   130900 |    82446    79295     63 |  0.002 % |
197.90/198.07	c |    267594 |     220    18700   130900 |    82446    80254     63 |  0.002 % |
198.79/198.98	c |    268648 |     220    18700   130900 |    82446    81308     63 |  0.002 % |
199.69/199.88	c |    269807 |     220    18700   130900 |    82446    82467     63 |  0.002 % |
200.69/200.87	c |    271081 |     220    18700   130900 |    71798    63508     63 |  0.002 % |
201.69/201.80	c |    272483 |     220    18700   130900 |    71798    64910     63 |  0.002 % |
202.69/202.85	c |    274023 |     220    18700   130900 |    71798    66450     63 |  0.002 % |
203.89/204.05	c |    275718 |     220    18700   130900 |    71798    68145     63 |  0.002 % |
205.19/205.38	c |    277582 |     220    18700   130900 |    71798    70009     63 |  0.002 % |
206.89/207.02	c |    279633 |     220    18700   130900 |    71798    64870     63 |  0.002 % |
208.49/208.64	c |    281887 |     220    18700   130900 | 2147483647    67124     63 |  0.002 % |
210.29/210.44	c |    284365 |     220    18700   130900 | 2147483647    69602     63 |  0.002 % |
212.29/212.41	c |    287091 |     220    18700   130900 | 2147483647    72328     63 |  0.002 % |
212.38/212.52	c |    287191 |     220    18700   130900 | 2147483647    72428     63 |  0.002 % |
212.48/212.62	c |    287303 |     220    18700   130900 | 2147483647    72540     63 |  0.002 % |
212.58/212.73	c |    287426 |     220    18700   130900 | 2147483647    72663     63 |  0.002 % |
212.68/212.84	c |    287559 |     220    18700   130900 | 2147483647    72796     63 |  0.002 % |
212.78/212.99	c |    287707 |     220    18700   130900 | 2147483647    72944     63 |  0.002 % |
212.98/213.14	c |    287867 |     220    18700   130900 | 2147483647    73104     63 |  0.002 % |
213.08/213.28	c |    288046 |     220    18700   130900 | 2147483647    73283     63 |  0.002 % |
213.29/213.48	c |    288239 |     220    18700   130900 | 2147483647    73476     63 |  0.002 % |
213.48/213.66	c |    288451 |     220    18700   130900 | 2147483647    73688     63 |  0.002 % |
213.68/213.84	c |    288684 |     220    18700   130900 | 2147483647    73921     63 |  0.002 % |
213.88/214.04	c |    288942 |     220    18700   130900 | 2147483647    74179     63 |  0.002 % |
214.08/214.26	c |    289223 |     220    18700   130900 | 2147483647    74460     63 |  0.002 % |
214.39/214.52	c |    289535 |     220    18700   130900 | 2147483647    74772     63 |  0.002 % |
214.68/214.84	c |    289874 |     220    18700   130900 | 2147483647    75111     63 |  0.002 % |
214.98/215.15	c |    290246 |     220    18700   130900 | 2147483647    75483     63 |  0.002 % |
215.38/215.51	c |    290656 |     220    18700   130900 | 2147483647    75893     63 |  0.002 % |
215.68/215.89	c |    291105 |     220    18700   130900 | 2147483647    76342     63 |  0.002 % |
216.08/216.29	c |    291598 |     220    18700   130900 | 2147483647    76835     63 |  0.002 % |
216.68/216.85	c |    292140 |     220    18700   130900 | 2147483647    77377     63 |  0.002 % |
217.18/217.31	c |    292736 |     220    18700   130900 | 2147483647    77973     63 |  0.002 % |
217.68/217.83	c |    293393 |     220    18700   130900 | 2147483647    78630     63 |  0.002 % |
218.28/218.45	c |    294115 |     220    18700   130900 | 2147483647    79352     63 |  0.002 % |
218.88/219.09	c |    294907 |     220    18700   130900 | 2147483647    80144     63 |  0.002 % |
219.68/219.84	c |    295778 |     220    18700   130900 | 2147483647    81015     63 |  0.002 % |
220.48/220.64	c |    296737 |     220    18700   130900 | 2147483647    81974     63 |  0.002 % |
221.28/221.49	c |    297790 |     220    18700   130900 | 2147483647    83027     63 |  0.002 % |
222.28/222.41	c |    298949 |     220    18700   130900 | 2147483647    84186     63 |  0.002 % |
223.48/223.67	c |    300223 |     220    18700   130900 |    85237    75268     63 |  0.002 % |
224.58/224.77	c |    301625 |     220    18700   130900 |    85237    76670     63 |  0.002 % |
225.88/226.09	c |    303165 |     220    18700   130900 |    85237    78210     63 |  0.002 % |
227.28/227.49	c |    304859 |     220    18700   130900 |    85237    79904     63 |  0.002 % |
228.88/229.07	c |    306724 |     220    18700   130900 |    85237    81769     63 |  0.002 % |
230.58/230.78	c |    308773 |     220    18700   130900 |    85237    83818     63 |  0.002 % |
232.38/232.57	c |    311026 |     220    18700   130900 |    85046    75870     63 |  0.002 % |
234.58/234.79	c |    313505 |     220    18700   130900 |    85046    78349     63 |  0.002 % |
237.08/237.25	c |    316231 |     220    18700   130900 |    85046    81075     63 |  0.002 % |
239.68/239.87	c |    319228 |     220    18700   130900 |    85046    84072     63 |  0.002 % |
239.78/239.97	c |    319330 |     220    18700   130900 |    85046    84174     63 |  0.002 % |
239.88/240.09	c |    319441 |     220    18700   130900 |    85046    84285     63 |  0.002 % |
240.08/240.24	c |    319563 |     220    18700   130900 |    85046    84407     63 |  0.002 % |
240.28/240.41	c |    319697 |     220    18700   130900 |    85046    84541     63 |  0.002 % |
240.38/240.59	c |    319843 |     220    18700   130900 |    85046    84687     63 |  0.002 % |
240.58/240.73	c |    320003 |     220    18700   130900 |    84844    84847     63 |  0.002 % |
240.88/241.01	c |    320180 |     220    18700   130900 |    84844    73348     63 |  0.002 % |
240.98/241.19	c |    320373 |     220    18700   130900 |    84844    73541     63 |  0.002 % |
241.18/241.40	c |    320586 |     220    18700   130900 |    84844    73754     63 |  0.002 % |
241.47/241.61	c |    320819 |     220    18700   130900 |    84844    73987     63 |  0.002 % |
241.67/241.88	c |    321077 |     220    18700   130900 |    84844    74245     63 |  0.002 % |
241.98/242.13	c |    321359 |     220    18700   130900 |    84844    74527     63 |  0.002 % |
242.27/242.43	c |    321668 |     220    18700   130900 |    84844    74836     63 |  0.002 % |
242.57/242.70	c |    322007 |     220    18700   130900 |    84844    75175     63 |  0.002 % |
242.87/243.04	c |    322382 |     220    18700   130900 |    84844    75550     63 |  0.002 % |
243.27/243.46	c |    322791 |     220    18700   130900 |    84844    75959     63 |  0.002 % |
243.67/243.83	c |    323240 |     220    18700   130900 |    84844    76408     63 |  0.002 % |
244.08/244.25	c |    323734 |     220    18700   130900 |    84844    76902     63 |  0.002 % |
244.47/244.67	c |    324277 |     220    18700   130900 |    84844    77445     63 |  0.002 % |
244.97/245.20	c |    324873 |     220    18700   130900 |    84844    78041     63 |  0.002 % |
245.57/245.77	c |    325528 |     220    18700   130900 |    84844    78696     63 |  0.002 % |
246.28/246.49	c |    326248 |     220    18700   130900 |    84844    79416     63 |  0.002 % |
247.07/247.26	c |    327040 |     220    18700   130900 |    84844    80208     63 |  0.002 % |
247.97/248.11	c |    327911 |     220    18700   130900 |    84844    81079     63 |  0.002 % |
248.87/249.06	c |    328869 |     220    18700   130900 |    84844    82037     63 |  0.002 % |
249.87/250.00	c |    329925 |     220    18700   130900 |    84844    83093     63 |  0.002 % |
250.77/250.97	c |    331083 |     220    18700   130900 |    83168    72305     63 |  0.002 % |
251.97/252.16	c |    332356 |     220    18700   130900 |    83168    73578     63 |  0.002 % |
253.17/253.34	c |    333757 |     220    18700   130900 |    83168    74979     63 |  0.002 % |
254.47/254.66	c |    335298 |     220    18700   130900 |    83168    76520     63 |  0.002 % |
255.77/256.00	c |    336995 |     220    18700   130900 |    83168    78217     63 |  0.002 % |
257.16/257.38	c |    338858 |     220    18700   130900 |    83168    80080     63 |  0.002 % |
258.86/259.02	c |    340907 |     220    18700   130900 |    81223    72168     63 |  0.002 % |
260.46/260.60	c |    343161 |     220    18700   130900 |    81223    74422     63 |  0.002 % |
262.36/262.55	c |    345640 |     220    18700   130900 |    81223    76901     63 |  0.002 % |
264.56/264.71	c |    348365 |     220    18700   130900 |    81223    79626     63 |  0.002 % |
266.96/267.19	c |    351362 |     220    18700   130900 |    81261    73462     63 |  0.002 % |
269.47/269.68	c |    354659 |     220    18700   130900 |    81261    76759     63 |  0.002 % |
269.56/269.76	c |    354760 |     220    18700   130900 |    81261    76860     63 |  0.002 % |
269.66/269.87	c |    354870 |     220    18700   130900 |    81261    76970     63 |  0.002 % |
269.76/269.97	c |    354992 |     220    18700   130900 |    81261    77092     63 |  0.002 % |
269.86/270.08	c |    355125 |     220    18700   130900 |    81261    77225     63 |  0.002 % |
269.96/270.19	c |    355272 |     220    18700   130900 |    81261    77372     63 |  0.002 % |
270.16/270.31	c |    355433 |     220    18700   130900 |    81261    77533     63 |  0.002 % |
270.26/270.46	c |    355611 |     220    18700   130900 |    81261    77711     63 |  0.002 % |
270.46/270.62	c |    355808 |     220    18700   130900 |    81261    77908     63 |  0.002 % |
270.66/270.80	c |    356020 |     220    18700   130900 |    81261    78120     63 |  0.002 % |
270.86/271.09	c |    356253 |     220    18700   130900 |    81261    78353     63 |  0.002 % |
271.16/271.32	c |    356510 |     220    18700   130900 |    81261    78610     63 |  0.002 % |
271.46/271.63	c |    356791 |     220    18700   130900 |    81261    78891     63 |  0.002 % |
271.76/271.91	c |    357100 |     220    18700   130900 |    81261    79200     63 |  0.002 % |
272.06/272.22	c |    357439 |     220    18700   130900 |    81261    79539     63 |  0.002 % |
272.36/272.58	c |    357811 |     220    18700   130900 |    81261    79911     63 |  0.002 % |
272.76/272.95	c |    358221 |     220    18700   130900 |    81261    80321     63 |  0.002 % |
273.16/273.37	c |    358670 |     220    18700   130900 |    81261    80770     63 |  0.002 % |
273.56/273.77	c |    359164 |     220    18700   130900 |    81261    81264     63 |  0.002 % |
274.06/274.26	c |    359706 |     220    18700   130900 |    81261    72655     63 |  0.002 % |
274.56/274.78	c |    360303 |     220    18700   130900 |    72951    65146     63 |  0.002 % |
275.06/275.22	c |    360958 |     220    18700   130900 |    72951    65801     63 |  0.002 % |
275.46/275.69	c |    361679 |     220    18700   130900 |    72951    66522     63 |  0.002 % |
276.06/276.22	c |    362471 |     220    18700   130900 |    72951    67314     63 |  0.002 % |
276.65/276.83	c |    363343 |     220    18700   130900 |    72951    68186     63 |  0.002 % |
277.25/277.45	c |    364301 |     220    18700   130900 |    72951    69144     63 |  0.002 % |
278.05/278.21	c |    365359 |     220    18700   130900 |    72951    70202     63 |  0.002 % |
278.85/279.02	c |    366517 |     220    18700   130900 |    72951    71360     63 |  0.002 % |
279.95/280.12	c |    367790 |     220    18700   130900 |    72951    72633     63 |  0.002 % |
281.05/281.20	c |    369190 |     220    18700   130900 |    72951    66728     63 |  0.002 % |
282.15/282.33	c |    370730 |     220    18700   130900 | 2147483647    68268     63 |  0.002 % |
283.35/283.58	c |    372425 |     220    18700   130900 | 2147483647    69963     63 |  0.002 % |
284.75/284.96	c |    374288 |     220    18700   130900 | 2147483647    71826     63 |  0.002 % |
286.25/286.48	c |    376337 |     220    18700   130900 | 2147483647    73875     63 |  0.002 % |
287.95/288.11	c |    378590 |     220    18700   130900 | 2147483647    76128     63 |  0.002 % |
290.05/290.29	c |    381069 |     220    18700   130900 | 2147483647    78607     63 |  0.002 % |
292.45/292.69	c |    383794 |     220    18700   130900 | 2147483647    81332     63 |  0.002 % |
295.05/295.23	c |    386791 |     220    18700   130900 | 2147483647    84329     63 |  0.002 % |
297.95/298.15	c |    390088 |     220    18700   130900 |    87538    87626     63 |  0.002 % |
300.95/301.10	c |    393713 |     220    18700   130900 |    87538    79639     63 |  0.002 % |
300.95/301.19	c |    393813 |     220    18700   130900 |    87538    79739     63 |  0.002 % |
301.05/301.28	c |    393924 |     220    18700   130900 |    87538    79850     63 |  0.002 % |
301.15/301.37	c |    394047 |     220    18700   130900 |    87538    79973     63 |  0.002 % |
301.35/301.52	c |    394180 |     220    18700   130900 |    87538    80106     63 |  0.002 % |
301.45/301.67	c |    394326 |     220    18700   130900 |    87538    80252     63 |  0.002 % |
301.65/301.82	c |    394486 |     220    18700   130900 |    87538    80412     63 |  0.002 % |
301.75/301.98	c |    394662 |     220    18700   130900 |    87538    80588     63 |  0.002 % |
301.95/302.15	c |    394856 |     220    18700   130900 |    87538    80782     63 |  0.002 % |
302.15/302.34	c |    395070 |     220    18700   130900 |    87538    80996     63 |  0.002 % |
302.45/302.61	c |    395304 |     220    18700   130900 |    87538    81230     63 |  0.002 % |
302.65/302.86	c |    395560 |     220    18700   130900 |    87538    81486     63 |  0.002 % |
302.95/303.14	c |    395841 |     220    18700   130900 |    87538    81767     63 |  0.002 % |
303.25/303.42	c |    396150 |     220    18700   130900 |    87538    82076     63 |  0.002 % |
303.55/303.74	c |    396490 |     220    18700   130900 |    87538    82416     63 |  0.002 % |
303.94/304.12	c |    396862 |     220    18700   130900 |    87538    82788     63 |  0.002 % |
304.34/304.51	c |    397271 |     220    18700   130900 |    87538    83197     63 |  0.002 % |
304.75/304.92	c |    397721 |     220    18700   130900 |    87538    83647     63 |  0.002 % |
305.15/305.34	c |    398214 |     220    18700   130900 |    87538    84140     63 |  0.002 % |
305.65/305.83	c |    398756 |     220    18700   130900 |    87538    84682     63 |  0.002 % |
306.14/306.32	c |    399352 |     220    18700   130900 |    87538    85278     63 |  0.002 % |
306.75/306.98	c |    400008 |     220    18700   130900 |    85926    85934     63 |  0.002 % |
307.44/307.66	c |    400729 |     220    18700   130900 |    85926    74116     63 |  0.002 % |
308.04/308.28	c |    401521 |     220    18700   130900 |    85926    74908     63 |  0.002 % |
308.84/309.01	c |    402394 |     220    18700   130900 |    85926    75781     63 |  0.002 % |
309.54/309.78	c |    403352 |     220    18700   130900 |    85926    76739     63 |  0.002 % |
310.44/310.61	c |    404405 |     220    18700   130900 |    85926    77792     63 |  0.002 % |
311.34/311.54	c |    405563 |     220    18700   130900 |    85926    78950     63 |  0.002 % |
312.54/312.73	c |    406836 |     220    18700   130900 |    85926    80223     63 |  0.002 % |
313.84/314.04	c |    408238 |     220    18700   130900 |    85926    81625     63 |  0.002 % |
315.14/315.33	c |    409778 |     220    18700   130900 |    85926    83165     63 |  0.002 % |
316.54/316.70	c |    411472 |     220    18700   130900 |    83387    73510     63 |  0.002 % |
318.04/318.22	c |    413335 |     220    18700   130900 |    83387    75373     63 |  0.002 % |
319.64/319.82	c |    415385 |     220    18700   130900 |    83387    77423     63 |  0.002 % |
321.44/321.65	c |    417638 |     220    18700   130900 |    83387    79676     63 |  0.002 % |
323.54/323.72	c |    420117 |     220    18700   130900 |    82039    72750     63 |  0.002 % |
325.44/325.69	c |    422843 |     220    18700   130900 |    82039    75476     63 |  0.002 % |
327.64/327.84	c |    425840 |     220    18700   130900 |    82039    78473     63 |  0.002 % |
330.14/330.34	c |    429136 |     220    18700   130900 |    82039    81769     63 |  0.002 % |
332.93/333.11	c |    432762 |     220    18700   130900 |    74026    69072     63 |  0.002 % |
335.73/335.92	c |    436749 |     220    18700   130900 |    74026    73059     63 |  0.002 % |
335.83/336.00	c |    436849 |     220    18700   130900 |    74026    73159     63 |  0.002 % |
335.83/336.09	c |    436959 |     220    18700   130900 |    74026    73269     63 |  0.002 % |
335.93/336.19	c |    437080 |     220    18700   130900 |    74026    73390     63 |  0.002 % |
336.13/336.34	c |    437213 |     220    18700   130900 |    74026    73523     63 |  0.002 % |
336.23/336.47	c |    437360 |     220    18700   130900 |    74026    73670     63 |  0.002 % |
336.43/336.60	c |    437521 |     220    18700   130900 |    74026    73831     63 |  0.002 % |
336.53/336.77	c |    437697 |     220    18700   130900 |    74026    74007     63 |  0.002 % |
336.73/336.99	c |    437891 |     220    18700   130900 |    74026    66789     63 |  0.002 % |
336.93/337.16	c |    438104 |     220    18700   130900 |    74026    67002     63 |  0.002 % |
337.13/337.31	c |    438337 |     220    18700   130900 |    74026    67235     63 |  0.002 % |
337.23/337.47	c |    438595 |     220    18700   130900 |    74026    67493     63 |  0.002 % |
337.53/337.73	c |    438876 |     220    18700   130900 |    74026    67774     63 |  0.002 % |
337.73/337.98	c |    439185 |     220    18700   130900 |    74026    68083     63 |  0.002 % |
338.03/338.26	c |    439528 |     220    18700   130900 |    74026    68426     63 |  0.002 % |
338.33/338.56	c |    439900 |     220    18700   130900 |    74026    68798     63 |  0.002 % |
338.63/338.83	c |    440309 |     220    18700   130900 | 2147483647    69207     63 |  0.002 % |
338.93/339.15	c |    440758 |     220    18700   130900 | 2147483647    69656     63 |  0.002 % |
339.23/339.49	c |    441251 |     220    18700   130900 | 2147483647    70149     63 |  0.002 % |
339.63/339.85	c |    441793 |     220    18700   130900 | 2147483647    70691     63 |  0.002 % |
340.03/340.27	c |    442390 |     220    18700   130900 | 2147483647    71288     63 |  0.002 % |
340.53/340.74	c |    443045 |     220    18700   130900 | 2147483647    71943     63 |  0.002 % |
341.23/341.40	c |    443765 |     220    18700   130900 | 2147483647    72663     63 |  0.002 % |
341.83/342.04	c |    444558 |     220    18700   130900 | 2147483647    73456     63 |  0.002 % |
342.52/342.75	c |    445432 |     220    18700   130900 | 2147483647    74330     63 |  0.002 % |
343.32/343.53	c |    446390 |     220    18700   130900 | 2147483647    75288     63 |  0.002 % |
344.23/344.43	c |    447443 |     220    18700   130900 | 2147483647    76341     63 |  0.002 % |
345.12/345.38	c |    448603 |     220    18700   130900 | 2147483647    77501     63 |  0.002 % |
346.33/346.52	c |    449876 |     220    18700   130900 | 2147483647    78774     63 |  0.002 % |
347.43/347.65	c |    451277 |     220    18700   130900 |    78899    71930     63 |  0.002 % |
348.63/348.84	c |    452817 |     220    18700   130900 |    78899    73470     63 |  0.002 % |
349.92/350.15	c |    454512 |     220    18700   130900 |    78899    75165     63 |  0.002 % |
351.52/351.70	c |    456375 |     220    18700   130900 |    78899    77028     63 |  0.002 % |
353.22/353.41	c |    458426 |     220    18700   130900 |    78899    70801     63 |  0.002 % |
354.92/355.12	c |    460679 |     220    18700   130900 |    72377    65605     63 |  0.002 % |
356.62/356.81	c |    463157 |     220    18700   130900 |    72377    68083     63 |  0.002 % |
358.42/358.66	c |    465882 |     220    18700   130900 |    72377    70808     63 |  0.002 % |
360.52/360.73	c |    468879 |     220    18700   130900 |    72377    66557     63 |  0.002 % |
362.71/362.90	c |    472176 |     220    18700   130900 | 2147483647    69854     63 |  0.002 % |
365.31/365.50	c |    475801 |     220    18700   130900 | 2147483647    73479     63 |  0.002 % |
368.41/368.62	c |    479788 |     220    18700   130900 | 2147483647    77466     63 |  0.002 % |
371.91/372.10	c |    484174 |     220    18700   130900 | 2147483647    81852     63 |  0.002 % |
371.91/372.18	c |    484275 |     220    18700   130900 | 2147483647    81953     63 |  0.002 % |
372.01/372.28	c |    484386 |     220    18700   130900 | 2147483647    82064     63 |  0.002 % |
372.21/372.40	c |    484507 |     220    18700   130900 | 2147483647    82185     63 |  0.002 % |
372.31/372.57	c |    484640 |     220    18700   130900 | 2147483647    82318     63 |  0.002 % |
372.51/372.72	c |    484786 |     220    18700   130900 | 2147483647    82464     63 |  0.002 % |
372.61/372.87	c |    484946 |     220    18700   130900 | 2147483647    82624     63 |  0.002 % |
372.81/373.04	c |    485123 |     220    18700   130900 | 2147483647    82801     63 |  0.002 % |
373.01/373.23	c |    485316 |     220    18700   130900 | 2147483647    82994     63 |  0.002 % |
373.21/373.43	c |    485530 |     220    18700   130900 | 2147483647    83208     63 |  0.002 % |
373.41/373.67	c |    485763 |     220    18700   130900 | 2147483647    83441     63 |  0.002 % |
373.71/373.90	c |    486021 |     220    18700   130900 | 2147483647    83699     63 |  0.002 % |
374.01/374.21	c |    486302 |     220    18700   130900 | 2147483647    83980     63 |  0.002 % |
374.31/374.55	c |    486611 |     220    18700   130900 | 2147483647    84289     63 |  0.002 % |
374.71/374.91	c |    486950 |     220    18700   130900 | 2147483647    84628     63 |  0.002 % |
375.01/375.29	c |    487324 |     220    18700   130900 | 2147483647    85002     63 |  0.002 % |
375.51/375.72	c |    487734 |     220    18700   130900 | 2147483647    85412     63 |  0.002 % |
375.91/376.13	c |    488183 |     220    18700   130900 | 2147483647    85861     63 |  0.002 % |
376.41/376.61	c |    488678 |     220    18700   130900 | 2147483647    86356     63 |  0.002 % |
376.81/377.09	c |    489224 |     220    18700   130900 | 2147483647    86902     63 |  0.002 % |
377.41/377.63	c |    489823 |     220    18700   130900 | 2147483647    87501     63 |  0.002 % |
378.01/378.27	c |    490479 |     220    18700   130900 |    87678    76448     63 |  0.002 % |
378.61/378.85	c |    491200 |     220    18700   130900 |    87678    77169     63 |  0.002 % |
379.21/379.46	c |    491995 |     220    18700   130900 |    87678    77964     63 |  0.002 % |
379.91/380.10	c |    492866 |     220    18700   130900 |    87678    78835     63 |  0.002 % |
380.61/380.86	c |    493824 |     220    18700   130900 |    87678    79793     63 |  0.002 % |
381.51/381.74	c |    494879 |     220    18700   130900 |    87678    80848     63 |  0.002 % |
382.41/382.62	c |    496038 |     220    18700   130900 |    87678    82007     63 |  0.002 % |
383.51/383.77	c |    497312 |     220    18700   130900 |    87678    83281     63 |  0.002 % |
384.71/384.97	c |    498714 |     220    18700   130900 |    87678    84683     63 |  0.002 % |
386.11/386.37	c |    500254 |     220    18700   130900 |    85969    74225     63 |  0.002 % |
387.40/387.67	c |    501950 |     220    18700   130900 |    85969    75921     63 |  0.002 % |
388.80/389.06	c |    503813 |     220    18700   130900 |    85969    77784     63 |  0.002 % |
390.31/390.59	c |    505863 |     220    18700   130900 |    85969    79834     63 |  0.002 % |
392.10/392.31	c |    508116 |     220    18700   130900 |    85969    82087     63 |  0.002 % |
394.20/394.44	c |    510594 |     220    18700   130900 |    83971    74479     63 |  0.002 % |
396.50/396.71	c |    513321 |     220    18700   130900 |    83971    77206     63 |  0.002 % |
398.90/399.11	c |    516318 |     220    18700   130900 |    83971    80203     63 |  0.002 % |
401.40/401.62	c |    519614 |     220    18700   130900 |    83971    83499     63 |  0.002 % |
404.20/404.44	c |    523240 |     220    18700   130900 |    83886    76484     63 |  0.002 % |
407.40/407.62	c |    527230 |     220    18700   130900 |    83886    80474     63 |  0.002 % |
411.00/411.24	c |    531615 |     220    18700   130900 |    83246    75350     63 |  0.002 % |
414.79/415.07	c |    536438 |     220    18700   130900 |    83246    80173     63 |  0.002 % |
414.89/415.17	c |    536539 |     220    18700   130900 |    83246    80274     63 |  0.002 % |
414.99/415.29	c |    536649 |     220    18700   130900 |    83246    80384     63 |  0.002 % |
415.19/415.42	c |    536771 |     220    18700   130900 |    83246    80506     63 |  0.002 % |
415.29/415.53	c |    536904 |     220    18700   130900 |    83246    80639     63 |  0.002 % |
415.39/415.68	c |    537050 |     220    18700   130900 |    83246    80785     63 |  0.002 % |
415.60/415.87	c |    537212 |     220    18700   130900 |    83246    80947     63 |  0.002 % |
415.79/416.05	c |    537388 |     220    18700   130900 |    83246    81123     63 |  0.002 % |
415.99/416.24	c |    537582 |     220    18700   130900 |    83246    81317     63 |  0.002 % |
416.19/416.45	c |    537795 |     220    18700   130900 |    83246    81530     63 |  0.002 % |
416.39/416.67	c |    538028 |     220    18700   130900 |    83246    81763     63 |  0.002 % |
416.59/416.88	c |    538285 |     220    18700   130900 |    83246    82020     63 |  0.002 % |
416.89/417.14	c |    538566 |     220    18700   130900 |    83246    82301     63 |  0.002 % |
417.19/417.41	c |    538875 |     220    18700   130900 |    83246    82610     63 |  0.002 % |
417.49/417.71	c |    539215 |     220    18700   130900 |    83246    82950     63 |  0.002 % |
417.80/418.08	c |    539587 |     220    18700   130900 |    83246    83322     63 |  0.002 % |
418.29/418.53	c |    539997 |     220    18700   130900 |    83246    73575     63 |  0.002 % |
418.69/418.96	c |    540446 |     220    18700   130900 |    73580    64966     63 |  0.002 % |
419.09/419.35	c |    540941 |     220    18700   130900 |    73580    65461     63 |  0.002 % |
419.49/419.71	c |    541483 |     220    18700   130900 |    73580    66003     63 |  0.002 % |
419.79/420.09	c |    542079 |     220    18700   130900 |    73580    66599     63 |  0.002 % |
420.29/420.58	c |    542734 |     220    18700   130900 |    73580    67254     63 |  0.002 % |
420.89/421.12	c |    543454 |     220    18700   130900 |    73580    67974     63 |  0.002 % |
421.39/421.66	c |    544246 |     220    18700   130900 |    73580    68766     63 |  0.002 % |
422.09/422.31	c |    545120 |     220    18700   130900 |    73580    69640     63 |  0.002 % |
422.79/423.05	c |    546081 |     220    18700   130900 |    73580    70601     63 |  0.002 % |
423.59/423.86	c |    547137 |     220    18700   130900 |    73580    71657     63 |  0.002 % |
424.49/424.76	c |    548295 |     220    18700   130900 |    73580    72815     63 |  0.002 % |
425.59/425.84	c |    549568 |     220    18700   130900 |    73580    66721     63 |  0.002 % |
426.59/426.90	c |    550968 |     220    18700   130900 | 2147483647    68121     63 |  0.002 % |
427.69/427.98	c |    552508 |     220    18700   130900 | 2147483647    69661     63 |  0.002 % |
428.98/429.24	c |    554202 |     220    18700   130900 | 2147483647    71355     63 |  0.002 % |
430.48/430.70	c |    556067 |     220    18700   130900 | 2147483647    73220     63 |  0.002 % |
432.09/432.37	c |    558116 |     220    18700   130900 | 2147483647    75269     63 |  0.002 % |
433.88/434.17	c |    560371 |     220    18700   130900 | 2147483647    77524     63 |  0.002 % |
435.88/436.18	c |    562849 |     220    18700   130900 | 2147483647    80002     63 |  0.002 % |
438.18/438.42	c |    565574 |     220    18700   130900 | 2147483647    82727     63 |  0.002 % |
440.78/441.01	c |    568571 |     220    18700   130900 | 2147483647    85724     63 |  0.002 % |
443.48/443.74	c |    571870 |     220    18700   130900 |    87154    77622     63 |  0.002 % |
446.48/446.72	c |    575498 |     220    18700   130900 |    87154    81250     63 |  0.002 % |
449.98/450.29	c |    579486 |     220    18700   130900 |    87154    85238     63 |  0.002 % |
453.77/454.00	c |    583873 |     220    18700   130900 |    85752    78461     63 |  0.002 % |
457.67/457.94	c |    588696 |     220    18700   130900 |    85752    83284     63 |  0.002 % |
462.17/462.49	c |    594002 |     220    18700   130900 |    84588    78061     63 |  0.002 % |
462.37/462.61	c |    594103 |     220    18700   130900 |    84588    78162     63 |  0.002 % |
462.47/462.72	c |    594213 |     220    18700   130900 |    84588    78272     63 |  0.002 % |
462.57/462.83	c |    594335 |     220    18700   130900 |    84588    78394     63 |  0.002 % |
462.67/462.96	c |    594468 |     220    18700   130900 |    84588    78527     63 |  0.002 % |
462.77/463.09	c |    594614 |     220    18700   130900 |    84588    78673     63 |  0.002 % |
462.97/463.23	c |    594775 |     220    18700   130900 |    84588    78834     63 |  0.002 % |
463.07/463.36	c |    594952 |     220    18700   130900 |    84588    79011     63 |  0.002 % |
463.27/463.52	c |    595145 |     220    18700   130900 |    84588    79204     63 |  0.002 % |
463.47/463.70	c |    595357 |     220    18700   130900 |    84588    79416     63 |  0.002 % |
463.67/463.93	c |    595591 |     220    18700   130900 |    84588    79650     63 |  0.002 % |
463.87/464.19	c |    595848 |     220    18700   130900 |    84588    79907     63 |  0.002 % |
464.17/464.49	c |    596130 |     220    18700   130900 |    84588    80189     63 |  0.002 % |
464.47/464.76	c |    596440 |     220    18700   130900 |    84588    80499     63 |  0.002 % |
464.77/465.07	c |    596779 |     220    18700   130900 |    84588    80838     63 |  0.002 % |
465.17/465.40	c |    597152 |     220    18700   130900 |    84588    81211     63 |  0.002 % |
465.47/465.78	c |    597563 |     220    18700   130900 |    84588    81622     63 |  0.002 % |
466.07/466.30	c |    598012 |     220    18700   130900 |    84588    82071     63 |  0.002 % |
466.57/466.85	c |    598507 |     220    18700   130900 |    84588    82566     63 |  0.002 % |
467.07/467.37	c |    599049 |     220    18700   130900 |    84588    83108     63 |  0.002 % |
467.67/467.96	c |    599645 |     220    18700   130900 |    84588    83704     63 |  0.002 % |
468.37/468.67	c |    600300 |     220    18700   130900 |    84060    72732     63 |  0.002 % |
468.97/469.22	c |    601022 |     220    18700   130900 |    84060    73454     63 |  0.002 % |
469.67/469.93	c |    601815 |     220    18700   130900 |    84060    74247     63 |  0.002 % |
470.37/470.67	c |    602688 |     220    18700   130900 |    84060    75120     63 |  0.002 % |
471.17/471.46	c |    603646 |     220    18700   130900 |    84060    76078     63 |  0.002 % |
472.07/472.32	c |    604703 |     220    18700   130900 |    84060    77135     63 |  0.002 % |
473.07/473.32	c |    605862 |     220    18700   130900 |    84060    78294     63 |  0.002 % |
474.06/474.35	c |    607136 |     220    18700   130900 |    84060    79568     63 |  0.002 % |
475.16/475.43	c |    608537 |     220    18700   130900 |    84060    80969     63 |  0.002 % |
476.66/476.99	c |    610077 |     220    18700   130900 |    82434    82509     63 |  0.002 % |
478.16/478.47	c |    611771 |     220    18700   130900 |    82434    73584     63 |  0.002 % |
479.66/479.95	c |    613637 |     220    18700   130900 |    82434    75450     63 |  0.002 % |
481.37/481.66	c |    615687 |     220    18700   130900 |    82434    77500     63 |  0.002 % |
483.17/483.40	c |    617941 |     220    18700   130900 |    82434    79754     63 |  0.002 % |
485.17/485.42	c |    620420 |     220    18700   130900 |    81816    72808     63 |  0.002 % |
487.37/487.66	c |    623148 |     220    18700   130900 |    81816    75536     63 |  0.002 % |
489.77/490.03	c |    626146 |     220    18700   130900 |    81816    78534     63 |  0.002 % |
492.37/492.65	c |    629442 |     220    18700   130900 |    81816    81830     63 |  0.002 % |
494.97/495.23	c |    633067 |     220    18700   130900 |    74076    69714     63 |  0.002 % |
498.07/498.37	c |    637054 |     220    18700   130900 |    74076    73701     63 |  0.002 % |
501.26/501.51	c |    641439 |     220    18700   130900 | 2147483647    70668     63 |  0.002 % |
505.06/505.36	c |    646263 |     220    18700   130900 | 2147483647    75492     63 |  0.002 % |
509.36/509.66	c |    651568 |     220    18700   130900 | 2147483647    80797     63 |  0.002 % |
514.56/514.84	c |    657404 |     220    18700   130900 | 2147483647    86633     63 |  0.002 % |
514.66/514.93	c |    657506 |     220    18700   130900 | 2147483647    86735     63 |  0.002 % |
514.76/515.08	c |    657616 |     220    18700   130900 | 2147483647    86845     63 |  0.002 % |
514.96/515.20	c |    657737 |     220    18700   130900 | 2147483647    86966     63 |  0.002 % |
515.06/515.34	c |    657870 |     220    18700   130900 | 2147483647    87099     63 |  0.002 % |
515.26/515.51	c |    658019 |     220    18700   130900 | 2147483647    87248     63 |  0.002 % |
515.46/515.70	c |    658179 |     220    18700   130900 | 2147483647    87408     63 |  0.002 % |
515.56/515.89	c |    658358 |     220    18700   130900 | 2147483647    87587     63 |  0.002 % |
515.86/516.10	c |    658551 |     220    18700   130900 | 2147483647    87780     63 |  0.002 % |
516.06/516.34	c |    658764 |     220    18700   130900 | 2147483647    87993     63 |  0.002 % |
516.26/516.58	c |    658997 |     220    18700   130900 | 2147483647    88226     63 |  0.002 % |
516.56/516.86	c |    659255 |     220    18700   130900 | 2147483647    88484     63 |  0.002 % |
516.86/517.12	c |    659536 |     220    18700   130900 | 2147483647    88765     63 |  0.002 % |
517.26/517.50	c |    659845 |     220    18700   130900 | 2147483647    89074     63 |  0.002 % |
517.66/517.94	c |    660184 |     220    18700   130900 |    89231    75751     63 |  0.002 % |
517.96/518.28	c |    660557 |     220    18700   130900 |    89231    76124     63 |  0.002 % |
518.36/518.66	c |    660968 |     220    18700   130900 |    89231    76535     63 |  0.002 % |
518.76/519.04	c |    661418 |     220    18700   130900 |    89231    76985     63 |  0.002 % |
519.15/519.43	c |    661912 |     220    18700   130900 |    89231    77479     63 |  0.002 % |
519.65/519.92	c |    662455 |     220    18700   130900 |    89231    78022     63 |  0.002 % |
520.16/520.44	c |    663051 |     220    18700   130900 |    89231    78618     63 |  0.002 % |
520.75/521.07	c |    663708 |     220    18700   130900 |    89231    79275     63 |  0.002 % |
521.45/521.72	c |    664431 |     220    18700   130900 |    89231    79998     63 |  0.002 % |
522.15/522.42	c |    665226 |     220    18700   130900 |    89231    80793     63 |  0.002 % |
522.95/523.20	c |    666098 |     220    18700   130900 |    89231    81665     63 |  0.002 % |
523.75/524.09	c |    667056 |     220    18700   130900 |    89231    82623     63 |  0.002 % |
524.85/525.16	c |    668111 |     220    18700   130900 |    89231    83678     63 |  0.002 % |
526.05/526.30	c |    669269 |     220    18700   130900 |    89231    84836     63 |  0.002 % |
527.15/527.46	c |    670544 |     220    18700   130900 |    85567    73342     63 |  0.002 % |
528.35/528.69	c |    671946 |     220    18700   130900 |    85567    74744     63 |  0.002 % |
529.75/530.01	c |    673486 |     220    18700   130900 |    85567    76284     63 |  0.002 % |
531.25/531.50	c |    675181 |     220    18700   130900 |    85567    77979     63 |  0.002 % |
532.85/533.11	c |    677046 |     220    18700   130900 |    85567    79844     63 |  0.002 % |
534.84/535.16	c |    679097 |     220    18700   130900 |    85567    81895     63 |  0.002 % |
536.84/537.12	c |    681350 |     220    18700   130900 |    82799    72585     63 |  0.002 % |
538.75/539.06	c |    683829 |     220    18700   130900 |    82799    75064     63 |  0.002 % |
540.84/541.11	c |    686556 |     220    18700   130900 |    82799    77791     63 |  0.002 % |
543.54/543.89	c |    689553 |     220    18700   130900 |    82799    80788     63 |  0.002 % |
546.44/546.79	c |    692849 |     220    18700   130900 |    81236    73401     63 |  0.002 % |
549.34/549.62	c |    696474 |     220    18700   130900 |    81236    77026     63 |  0.002 % |
552.64/552.91	c |    700462 |     220    18700   130900 |    80553    71398     63 |  0.002 % |
555.64/555.96	c |    704847 |     220    18700   130900 |    80553    75783     64 |  0.002 % |
559.43/559.76	c |    709672 |     220    18700   130900 |    80553    80608     64 |  0.002 % |
563.53/563.84	c |    714977 |     220    18700   130900 | 2147483647    77853     64 |  0.002 % |
568.03/568.30	c |    720812 |     220    18700   130900 |    82876    75189     64 |  0.002 % |
572.63/572.94	c |    727230 |     220    18700   130900 |    82876    81607     64 |  0.002 % |
572.73/573.03	c |    727331 |     220    18700   130900 |    82876    81708     64 |  0.002 % |
572.83/573.14	c |    727441 |     220    18700   130900 |    82876    81818     64 |  0.002 % |
572.93/573.26	c |    727562 |     220    18700   130900 |    82876    81939     64 |  0.002 % |
573.13/573.43	c |    727696 |     220    18700   130900 |    82876    82073     64 |  0.002 % |
573.33/573.60	c |    727844 |     220    18700   130900 |    82876    82221     64 |  0.002 % |
573.43/573.76	c |    728004 |     220    18700   130900 |    82876    82381     64 |  0.002 % |
573.63/573.96	c |    728180 |     220    18700   130900 |    82876    82557     63 |  0.002 % |
573.83/574.17	c |    728373 |     220    18700   130900 |    82876    82750     63 |  0.002 % |
574.03/574.39	c |    728585 |     220    18700   130900 |    82876    82962     63 |  0.002 % |
574.33/574.69	c |    728818 |     220    18700   130900 |    82876    74391     63 |  0.002 % |
574.63/574.93	c |    729074 |     220    18700   130900 |    82876    74647     63 |  0.002 % |
574.83/575.16	c |    729356 |     220    18700   130900 |    82876    74929     63 |  0.002 % |
575.13/575.44	c |    729670 |     220    18700   130900 |    82876    75243     63 |  0.002 % |
575.42/575.71	c |    730009 |     220    18700   130900 |    75574    75582     63 |  0.002 % |
575.72/576.09	c |    730381 |     220    18700   130900 |    75574    67719     63 |  0.002 % |
576.13/576.41	c |    730791 |     220    18700   130900 |    75574    68129     63 |  0.002 % |
576.42/576.78	c |    731240 |     220    18700   130900 |    75574    68578     63 |  0.002 % |
576.82/577.15	c |    731734 |     220    18700   130900 |    75574    69072     63 |  0.002 % |
577.23/577.55	c |    732279 |     220    18700   130900 |    75574    69617     63 |  0.002 % |
577.62/577.97	c |    732875 |     220    18700   130900 |    75574    70213     63 |  0.002 % |
578.12/578.43	c |    733531 |     220    18700   130900 |    75574    70869     63 |  0.002 % |
578.72/579.03	c |    734252 |     220    18700   130900 |    75574    71590     63 |  0.002 % |
579.32/579.68	c |    735044 |     220    18700   130900 |    75574    72382     63 |  0.002 % |
580.02/580.36	c |    735916 |     220    18700   130900 |    75574    73254     63 |  0.002 % |
580.82/581.12	c |    736875 |     220    18700   130900 |    75574    74213     63 |  0.002 % |
581.52/581.86	c |    737930 |     220    18700   130900 |    75574    75268     63 |  0.002 % |
582.42/582.73	c |    739089 |     220    18700   130900 |    75574    68860     63 |  0.002 % |
583.43/583.72	c |    740364 |     220    18700   130900 | 2147483647    70135     64 |  0.002 % |
584.53/584.84	c |    741765 |     220    18700   130900 | 2147483647    71536     63 |  0.002 % |
585.73/586.02	c |    743305 |     220    18700   130900 | 2147483647    73076     63 |  0.002 % |
587.03/587.31	c |    745000 |     220    18700   130900 | 2147483647    74771     63 |  0.002 % |
588.53/588.87	c |    746863 |     220    18700   130900 | 2147483647    76634     63 |  0.002 % |
590.33/590.62	c |    748913 |     220    18700   130900 | 2147483647    78684     63 |  0.002 % |
592.33/592.61	c |    751166 |     220    18700   130900 |    79773    72177     63 |  0.002 % |
594.23/594.59	c |    753644 |     220    18700   130900 |    79773    74655     63 |  0.002 % |
596.33/596.67	c |    756369 |     220    18700   130900 |    79773    77380     63 |  0.002 % |
598.63/598.95	c |    759367 |     220    18700   130900 |    79773    72154     64 |  0.002 % |
600.83/601.13	c |    762663 |     220    18700   130900 |    72787    68161     63 |  0.002 % |
603.42/603.72	c |    766288 |     220    18700   130900 |    72787    71786     63 |  0.002 % |
606.12/606.48	c |    770275 |     220    18700   130900 | 2147483647    68484     63 |  0.002 % |
609.13/609.47	c |    774660 |     220    18700   130900 | 2147483647    72869     63 |  0.002 % |
612.92/613.26	c |    779486 |     220    18700   130900 | 2147483647    77695     63 |  0.002 % |
617.32/617.66	c |    784792 |     220    18700   130900 | 2147483647    83001     63 |  0.002 % |
622.52/622.86	c |    790627 |     220    18700   130900 |    88209    78035     63 |  0.002 % |
627.92/628.22	c |    797046 |     220    18700   130900 |    88209    84454     63 |  0.002 % |
633.51/633.82	c |    804106 |     220    18700   130900 |    87409    80201     63 |  0.002 % |
633.61/633.91	c |    804206 |     220    18700   130900 |    87409    80301     63 |  0.002 % |
633.71/634.01	c |    804316 |     220    18700   130900 |    87409    80411     63 |  0.002 % |
633.81/634.11	c |    804437 |     220    18700   130900 |    87409    80532     63 |  0.002 % |
633.91/634.22	c |    804570 |     220    18700   130900 |    87409    80665     63 |  0.002 % |
634.01/634.37	c |    804717 |     220    18700   130900 |    87409    80812     63 |  0.002 % |
634.21/634.52	c |    804879 |     220    18700   130900 |    87409    80974     63 |  0.002 % |
634.31/634.66	c |    805056 |     220    18700   130900 |    87409    81151     63 |  0.002 % |
634.52/634.84	c |    805249 |     220    18700   130900 |    87409    81344     63 |  0.002 % |
634.71/635.02	c |    805463 |     220    18700   130900 |    87409    81558     63 |  0.002 % |
634.91/635.25	c |    805696 |     220    18700   130900 |    87409    81791     63 |  0.002 % |
635.11/635.49	c |    805952 |     220    18700   130900 |    87409    82047     63 |  0.002 % |
635.41/635.77	c |    806234 |     220    18700   130900 |    87409    82329     63 |  0.002 % |
635.70/636.05	c |    806544 |     220    18700   130900 |    87409    82639     63 |  0.002 % |
636.10/636.43	c |    806883 |     220    18700   130900 |    87409    82978     63 |  0.002 % |
636.40/636.78	c |    807255 |     220    18700   130900 |    87409    83350     63 |  0.002 % |
636.80/637.16	c |    807666 |     220    18700   130900 |    87409    83761     63 |  0.002 % |
637.30/637.60	c |    808116 |     220    18700   130900 |    87409    84211     63 |  0.002 % |
637.70/638.04	c |    808610 |     220    18700   130900 |    87409    84705     63 |  0.002 % |
638.20/638.54	c |    809152 |     220    18700   130900 |    87409    85247     63 |  0.002 % |
638.70/639.07	c |    809748 |     220    18700   130900 |    87409    85843     63 |  0.002 % |
639.40/639.76	c |    810404 |     220    18700   130900 |    86096    74222     63 |  0.002 % |
639.90/640.27	c |    811125 |     220    18700   130900 |    86096    74943     63 |  0.002 % |
640.60/640.91	c |    811917 |     220    18700   130900 |    86096    75735     63 |  0.002 % |
641.30/641.65	c |    812790 |     220    18700   130900 |    86096    76608     63 |  0.002 % |
642.00/642.38	c |    813751 |     220    18700   130900 |    86096    77569     63 |  0.002 % |
642.90/643.22	c |    814804 |     220    18700   130900 |    86096    78622     63 |  0.002 % |
643.80/644.15	c |    815967 |     220    18700   130900 |    86096    79785     63 |  0.002 % |
644.90/645.29	c |    817240 |     220    18700   130900 |    86096    81058     63 |  0.002 % |
646.10/646.43	c |    818641 |     220    18700   130900 |    86096    82459     63 |  0.002 % |
647.39/647.79	c |    820181 |     220    18700   130900 |    83818    73036     63 |  0.002 % |
648.70/649.07	c |    821876 |     220    18700   130900 |    83818    74731     63 |  0.002 % |
650.09/650.49	c |    823739 |     220    18700   130900 |    83818    76594     63 |  0.002 % |
651.79/652.14	c |    825788 |     220    18700   130900 |    83818    78643     63 |  0.002 % |
653.49/653.84	c |    828042 |     220    18700   130900 |    83818    80897     63 |  0.002 % |
655.79/656.10	c |    830521 |     220    18700   130900 |    82856    73292     63 |  0.002 % |
658.09/658.44	c |    833247 |     220    18700   130900 |    82856    76018     63 |  0.002 % |
660.49/660.87	c |    836245 |     220    18700   130900 |    82856    79016     63 |  0.002 % |
662.99/663.36	c |    839542 |     220    18700   130900 |    82856    82313     63 |  0.002 % |
665.79/666.12	c |    843169 |     220    18700   130900 |    82773    75370     63 |  0.002 % |
668.69/669.07	c |    847158 |     220    18700   130900 |    82773    79359     63 |  0.002 % |
672.18/672.53	c |    851543 |     220    18700   130900 |    82201    74566     63 |  0.002 % |
675.88/676.20	c |    856367 |     220    18700   130900 |    82201    79390     63 |  0.002 % |
679.98/680.33	c |    861673 |     220    18700   130900 |    73837    67430     64 |  0.002 % |
684.28/684.60	c |    867508 |     220    18700   130900 |    73837    73265     64 |  0.002 % |
689.48/689.80	c |    873926 |     220    18700   130900 | 2147483647    72290     64 |  0.002 % |
694.98/695.35	c |    880987 |     220    18700   130900 | 2147483647    79351     64 |  0.002 % |
701.72/702.10	c |    888751 |     220    18700   130900 | 2147483647    87115     64 |  0.002 % |
701.82/702.20	c |    888852 |     220    18700   130900 | 2147483647    87216     64 |  0.002 % |
701.92/702.31	c |    888962 |     220    18700   130900 | 2147483647    87326     64 |  0.002 % |
702.02/702.42	c |    889084 |     220    18700   130900 | 2147483647    87448     64 |  0.002 % |
702.22/702.61	c |    889220 |     220    18700   130900 | 2147483647    87584     64 |  0.002 % |
702.31/702.76	c |    889367 |     220    18700   130900 | 2147483647    87731     64 |  0.002 % |
702.51/702.93	c |    889527 |     220    18700   130900 | 2147483647    87891     64 |  0.002 % |
702.71/703.13	c |    889704 |     220    18700   130900 | 2147483647    88068     64 |  0.002 % |
702.91/703.34	c |    889898 |     220    18700   130900 | 2147483647    88262     64 |  0.002 % |
703.21/703.63	c |    890111 |     220    18700   130900 |    88366    76950     64 |  0.002 % |
703.41/703.81	c |    890344 |     220    18700   130900 |    88366    77183     64 |  0.002 % |
703.61/704.05	c |    890600 |     220    18700   130900 |    88366    77439     64 |  0.002 % |
703.91/704.30	c |    890882 |     220    18700   130900 |    88366    77721     64 |  0.002 % |
704.10/704.57	c |    891191 |     220    18700   130900 |    88366    78030     64 |  0.002 % |
704.40/704.86	c |    891530 |     220    18700   130900 |    88366    78369     64 |  0.002 % |
704.90/705.32	c |    891902 |     220    18700   130900 |    88366    78741     64 |  0.002 % |
705.30/705.74	c |    892311 |     220    18700   130900 |    88366    79150     64 |  0.002 % |
705.70/706.13	c |    892760 |     220    18700   130900 |    88366    79599     64 |  0.002 % |
706.11/706.58	c |    893253 |     220    18700   130900 |    88366    80092     64 |  0.002 % |
706.60/707.07	c |    893795 |     220    18700   130900 |    88366    80634     64 |  0.002 % |
707.10/707.60	c |    894392 |     220    18700   130900 |    88366    81231     64 |  0.002 % |
707.70/708.18	c |    895049 |     220    18700   130900 |    88366    81888     64 |  0.002 % |
708.50/708.96	c |    895770 |     220    18700   130900 |    88366    82609     64 |  0.002 % |
709.40/709.81	c |    896562 |     220    18700   130900 |    88366    83401     64 |  0.002 % |
710.21/710.64	c |    897433 |     220    18700   130900 |    88366    84272     64 |  0.002 % |
711.10/711.57	c |    898393 |     220    18700   130900 |    88366    85232     64 |  0.002 % |
712.10/712.51	c |    899446 |     220    18700   130900 |    88366    86285     64 |  0.002 % |
713.20/713.61	c |    900604 |     220    18700   130900 |    86840    74529     64 |  0.002 % |
714.30/714.73	c |    901879 |     220    18700   130900 |    86840    75804     64 |  0.002 % |
715.40/715.82	c |    903281 |     220    18700   130900 |    86840    77206     64 |  0.002 % |
716.60/717.05	c |    904821 |     220    18700   130900 |    86840    78746     64 |  0.002 % |
718.00/718.44	c |    906518 |     220    18700   130900 |    86840    80443     64 |  0.002 % |
719.80/720.23	c |    908381 |     220    18700   130900 |    86840    82306     64 |  0.002 % |
721.70/722.17	c |    910430 |     220    18700   130900 |    83925    73092     64 |  0.002 % |
723.50/723.98	c |    912683 |     220    18700   130900 |    83925    75345     64 |  0.002 % |
725.50/725.91	c |    915161 |     220    18700   130900 |    83925    77823     64 |  0.002 % |
727.50/727.99	c |    917886 |     220    18700   130900 |    83925    80548     64 |  0.002 % |
730.10/730.58	c |    920885 |     220    18700   130900 |    82665    73792     64 |  0.002 % |
732.50/732.93	c |    924181 |     220    18700   130900 |    82665    77088     64 |  0.002 % |
735.30/735.72	c |    927807 |     220    18700   130900 |    82665    80714     64 |  0.002 % |
738.19/738.62	c |    931794 |     220    18700   130900 |    73797    67525     64 |  0.002 % |
741.19/741.68	c |    936181 |     220    18700   130900 |    73797    71912     64 |  0.002 % |
744.59/745.07	c |    941006 |     220    18700   130900 | 2147483647    69348     63 |  0.002 % |
748.79/749.23	c |    946311 |     220    18700   130900 | 2147483647    74653     64 |  0.002 % |
753.19/753.67	c |    952148 |     220    18700   130900 | 2147483647    80490     64 |  0.002 % |
758.78/759.21	c |    958566 |     220    18700   130900 | 2147483647    86908     64 |  0.002 % |
764.78/765.29	c |    965625 |     220    18700   130900 |    88343    82188     64 |  0.002 % |
771.28/771.77	c |    973389 |     220    18700   130900 |    86564    77632     64 |  0.002 % |
778.08/778.55	c |    981929 |     220    18700   130900 |    84243    75306     64 |  0.002 % |
778.18/778.61	c |    982030 |     220    18700   130900 |    84243    75407     64 |  0.002 % |
778.28/778.73	c |    982141 |     220    18700   130900 |    84243    75518     64 |  0.002 % |
778.38/778.84	c |    982263 |     220    18700   130900 |    84243    75640     64 |  0.002 % |
778.48/778.94	c |    982397 |     220    18700   130900 |    84243    75774     64 |  0.002 % |
778.58/779.08	c |    982543 |     220    18700   130900 |    84243    75920     64 |  0.002 % |
778.78/779.25	c |    982704 |     220    18700   130900 |    84243    76081     64 |  0.002 % |
778.98/779.41	c |    982880 |     220    18700   130900 |    84243    76257     64 |  0.002 % |
779.08/779.56	c |    983073 |     220    18700   130900 |    84243    76450     64 |  0.002 % |
779.28/779.77	c |    983286 |     220    18700   130900 |    84243    76663     64 |  0.002 % |
779.48/779.98	c |    983520 |     220    18700   130900 |    84243    76897     64 |  0.002 % |
779.78/780.27	c |    983777 |     220    18700   130900 |    84243    77154     64 |  0.002 % |
780.08/780.52	c |    984058 |     220    18700   130900 |    84243    77435     64 |  0.002 % |
780.38/780.85	c |    984367 |     220    18700   130900 |    84243    77744     64 |  0.002 % |
780.68/781.15	c |    984706 |     220    18700   130900 |    84243    78083     64 |  0.002 % |
780.98/781.48	c |    985080 |     220    18700   130900 |    84243    78457     64 |  0.002 % |
781.48/781.91	c |    985490 |     220    18700   130900 |    84243    78867     64 |  0.002 % |
781.88/782.32	c |    985939 |     220    18700   130900 |    84243    79316     64 |  0.002 % |
782.28/782.74	c |    986432 |     220    18700   130900 |    84243    79809     64 |  0.002 % |
782.78/783.22	c |    986978 |     220    18700   130900 |    84243    80355     64 |  0.002 % |
783.38/783.80	c |    987575 |     220    18700   130900 |    84243    80952     64 |  0.002 % |
783.98/784.47	c |    988231 |     220    18700   130900 |    84243    81608     64 |  0.002 % |
784.68/785.16	c |    988951 |     220    18700   130900 |    84243    82328     64 |  0.002 % |
785.48/785.90	c |    989743 |     220    18700   130900 |    84243    83120     64 |  0.002 % |
786.18/786.66	c |    990614 |     220    18700   130900 |    83379    72221     64 |  0.002 % |
786.98/787.44	c |    991573 |     220    18700   130900 |    83379    73180     64 |  0.002 % |
787.88/788.38	c |    992626 |     220    18700   130900 |    83379    74233     64 |  0.002 % |
788.88/789.32	c |    993784 |     220    18700   130900 |    83379    75391     64 |  0.002 % |
789.97/790.41	c |    995058 |     220    18700   130900 |    83379    76665     64 |  0.002 % |
791.17/791.67	c |    996459 |     220    18700   130900 |    83379    78066     64 |  0.002 % |
792.47/792.97	c |    997999 |     220    18700   130900 |    83379    79606     64 |  0.002 % |
793.88/794.35	c |    999693 |     220    18700   130900 |    83379    81300     64 |  0.002 % |
795.37/795.80	c |   1001556 |     220    18700   130900 |    81608    72495     64 |  0.002 % |
797.08/797.59	c |   1003605 |     220    18700   130900 |    81608    74544     64 |  0.002 % |
799.17/799.62	c |   1005858 |     220    18700   130900 |    81608    76797     64 |  0.002 % |
801.27/801.74	c |   1008336 |     220    18700   130900 |    81608    79275     64 |  0.002 % |
803.58/804.10	c |   1011061 |     220    18700   130900 |    80943    72197     64 |  0.002 % |
806.28/806.79	c |   1014063 |     220    18700   130900 |    80943    75199     64 |  0.002 % |
809.48/809.93	c |   1017360 |     220    18700   130900 |    80943    78496     64 |  0.002 % |
812.68/813.18	c |   1020985 |     220    18700   130900 |    70543    62351     64 |  0.002 % |
815.67/816.15	c |   1024972 |     220    18700   130900 |    70543    66338     64 |  0.002 % |
819.08/819.57	c |   1029357 |     220    18700   130900 |    70543    63659     64 |  0.002 % |
822.38/822.89	c |   1034181 |     220    18700   130900 | 2147483647    68483     64 |  0.002 % |
826.57/827.05	c |   1039490 |     220    18700   130900 | 2147483647    73792     64 |  0.002 % |
831.57/832.02	c |   1045327 |     220    18700   130900 | 2147483647    79629     64 |  0.002 % |
836.87/837.31	c |   1051747 |     220    18700   130900 |    84302    76729     64 |  0.002 % |
842.66/843.17	c |   1058807 |     220    18700   130900 |    84302    83789     64 |  0.002 % |
848.66/849.11	c |   1066572 |     220    18700   130900 |    74955    72674     64 |  0.002 % |
854.76/855.24	c |   1075114 |     220    18700   130900 | 2147483647    73711     64 |  0.002 % |
861.26/861.72	c |   1084508 |     220    18700   130900 |    78597    74655     64 |  0.002 % |
861.35/861.83	c |   1084610 |     220    18700   130900 |    78597    74757     64 |  0.002 % |
861.45/861.91	c |   1084720 |     220    18700   130900 |    78597    74867     64 |  0.002 % |
861.55/862.01	c |   1084841 |     220    18700   130900 |    78597    74988     64 |  0.002 % |
861.65/862.11	c |   1084974 |     220    18700   130900 |    78597    75121     64 |  0.002 % |
861.75/862.25	c |   1085121 |     220    18700   130900 |    78597    75268     64 |  0.002 % |
861.85/862.38	c |   1085281 |     220    18700   130900 |    78597    75428     64 |  0.002 % |
862.06/862.53	c |   1085462 |     220    18700   130900 |    78597    75609     64 |  0.002 % |
862.25/862.70	c |   1085656 |     220    18700   130900 |    78597    75803     64 |  0.002 % |
862.35/862.87	c |   1085868 |     220    18700   130900 |    78597    76015     64 |  0.002 % |
862.55/863.07	c |   1086101 |     220    18700   130900 |    78597    76248     64 |  0.002 % |
862.75/863.29	c |   1086358 |     220    18700   130900 |    78597    76505     64 |  0.002 % |
863.06/863.55	c |   1086640 |     220    18700   130900 |    78597    76787     64 |  0.002 % |
863.35/863.81	c |   1086949 |     220    18700   130900 |    78597    77096     64 |  0.002 % |
863.65/864.16	c |   1087290 |     220    18700   130900 |    78597    77437     64 |  0.002 % |
863.95/864.49	c |   1087662 |     220    18700   130900 |    78597    77809     64 |  0.002 % |
864.35/864.83	c |   1088071 |     220    18700   130900 |    78597    78218     64 |  0.002 % |
864.85/865.33	c |   1088520 |     220    18700   130900 |    78597    78667     64 |  0.002 % |
865.35/865.85	c |   1089015 |     220    18700   130900 |    78597    70756     64 |  0.002 % |
865.85/866.33	c |   1089558 |     220    18700   130900 |    78597    71299     64 |  0.002 % |
866.35/866.88	c |   1090154 |     220    18700   130900 |    71741    64148     64 |  0.002 % |
866.85/867.37	c |   1090809 |     220    18700   130900 |    71741    64803     64 |  0.002 % |
867.35/867.83	c |   1091529 |     220    18700   130900 |    71741    65523     64 |  0.002 % |
867.95/868.50	c |   1092321 |     220    18700   130900 |    71741    66315     64 |  0.002 % |
868.65/869.15	c |   1093192 |     220    18700   130900 |    71741    67186     64 |  0.002 % |
869.45/869.90	c |   1094150 |     220    18700   130900 |    71741    68144     64 |  0.002 % |
870.25/870.70	c |   1095205 |     220    18700   130900 |    71741    69199     64 |  0.002 % |
871.05/871.57	c |   1096364 |     220    18700   130900 |    71741    70358     64 |  0.002 % |
871.95/872.45	c |   1097640 |     220    18700   130900 |    71741    71634     64 |  0.002 % |
872.95/873.45	c |   1099041 |     220    18700   130900 |    71741    65851     64 |  0.002 % |
874.15/874.67	c |   1100582 |     220    18700   130900 | 2147483647    67392     64 |  0.002 % |
875.45/875.91	c |   1102279 |     220    18700   130900 | 2147483647    69089     64 |  0.002 % |
876.65/877.18	c |   1104143 |     220    18700   130900 | 2147483647    70953     64 |  0.002 % |
878.15/878.63	c |   1106194 |     220    18700   130900 | 2147483647    73004     64 |  0.002 % |
879.75/880.26	c |   1108447 |     220    18700   130900 | 2147483647    75257     64 |  0.002 % |
881.64/882.10	c |   1110925 |     220    18700   130900 | 2147483647    77735     64 |  0.002 % |
883.64/884.15	c |   1113650 |     220    18700   130900 | 2147483647    80460     64 |  0.002 % |
885.94/886.47	c |   1116647 |     220    18700   130900 | 2147483647    83457     64 |  0.002 % |
888.54/889.07	c |   1119945 |     220    18700   130900 | 2147483647    86755     64 |  0.002 % |
891.34/891.81	c |   1123570 |     220    18700   130900 |    86810    81129     64 |  0.002 % |
894.84/895.33	c |   1127559 |     220    18700   130900 |    86810    85118     64 |  0.002 % |
898.04/898.56	c |   1131946 |     220    18700   130900 |    76510    68919     64 |  0.002 % |
901.54/902.04	c |   1136769 |     220    18700   130900 |    76510    73742     64 |  0.002 % |
905.53/906.01	c |   1142074 |     220    18700   130900 | 2147483647    71386     64 |  0.002 % |
910.34/910.85	c |   1147909 |     220    18700   130900 | 2147483647    77221     64 |  0.002 % |
915.23/915.79	c |   1154328 |     220    18700   130900 |    79312    74933     64 |  0.002 % |
920.83/921.31	c |   1161389 |     220    18700   130900 | 2147483647    73964     64 |  0.002 % |
927.33/927.87	c |   1169154 |     220    18700   130900 | 2147483647    81729     64 |  0.002 % |
934.32/934.90	c |   1177697 |     220    18700   130900 |    82578    81035     64 |  0.002 % |
941.83/942.32	c |   1187094 |     220    18700   130900 |    73351    71720     65 |  0.002 % |
949.53/950.01	c |   1197428 |     220    18700   130900 | 2147483647    74710     65 |  0.002 % |
949.53/950.09	c |   1197529 |     220    18700   130900 | 2147483647    74811     65 |  0.002 % |
949.73/950.22	c |   1197639 |     220    18700   130900 | 2147483647    74921     65 |  0.002 % |
949.83/950.33	c |   1197762 |     220    18700   130900 | 2147483647    75044     65 |  0.002 % |
949.93/950.44	c |   1197896 |     220    18700   130900 | 2147483647    75178     65 |  0.002 % |
950.03/950.57	c |   1198044 |     220    18700   130900 | 2147483647    75326     65 |  0.002 % |
950.23/950.73	c |   1198205 |     220    18700   130900 | 2147483647    75487     65 |  0.002 % |
950.32/950.89	c |   1198383 |     220    18700   130900 | 2147483647    75665     65 |  0.002 % |
950.52/951.09	c |   1198576 |     220    18700   130900 | 2147483647    75858     65 |  0.002 % |
950.72/951.27	c |   1198788 |     220    18700   130900 | 2147483647    76070     65 |  0.002 % |
950.92/951.50	c |   1199022 |     220    18700   130900 | 2147483647    76304     65 |  0.002 % |
951.22/951.74	c |   1199278 |     220    18700   130900 | 2147483647    76560     65 |  0.002 % |
951.42/951.99	c |   1199561 |     220    18700   130900 | 2147483647    76843     65 |  0.002 % |
951.72/952.28	c |   1199872 |     220    18700   130900 | 2147483647    77154     65 |  0.002 % |
952.13/952.67	c |   1200211 |     220    18700   130900 |    77282    69417     65 |  0.002 % |
952.42/952.99	c |   1200587 |     220    18700   130900 |    77282    69793     65 |  0.002 % |
952.82/953.35	c |   1200996 |     220    18700   130900 |    77282    70202     65 |  0.002 % |
953.23/953.73	c |   1201447 |     220    18700   130900 |    77282    70653     65 |  0.002 % |
953.62/954.15	c |   1201940 |     220    18700   130900 |    77282    71146     65 |  0.002 % |
954.12/954.61	c |   1202482 |     220    18700   130900 |    77282    71688     65 |  0.002 % |
954.52/955.10	c |   1203081 |     220    18700   130900 |    77282    72287     65 |  0.002 % |
955.12/955.67	c |   1203736 |     220    18700   130900 |    77282    72942     65 |  0.002 % |
955.72/956.26	c |   1204457 |     220    18700   130900 |    77282    73663     65 |  0.002 % |
956.42/956.96	c |   1205250 |     220    18700   130900 |    77282    74456     65 |  0.002 % |
957.02/957.58	c |   1206121 |     220    18700   130900 |    77282    75327     65 |  0.002 % |
957.82/958.31	c |   1207079 |     220    18700   130900 |    77282    76285     65 |  0.002 % |
958.82/959.36	c |   1208133 |     220    18700   130900 |    77282    77339     65 |  0.002 % |
959.82/960.39	c |   1209292 |     220    18700   130900 |    77282    69776     64 |  0.002 % |
960.92/961.41	c |   1210565 |     220    18700   130900 |    70485    63155     64 |  0.002 % |
961.92/962.44	c |   1211969 |     220    18700   130900 |    70485    64559     64 |  0.002 % |
962.92/963.48	c |   1213509 |     220    18700   130900 |    70485    66099     64 |  0.002 % |
964.22/964.74	c |   1215203 |     220    18700   130900 |    70485    67793     64 |  0.002 % |
965.52/966.10	c |   1217066 |     220    18700   130900 |    70485    69656     64 |  0.002 % |
967.22/967.71	c |   1219115 |     220    18700   130900 |    70485    64647     64 |  0.002 % |
968.81/969.33	c |   1221368 |     220    18700   130900 | 2147483647    66900     64 |  0.002 % |
970.61/971.14	c |   1223846 |     220    18700   130900 | 2147483647    69378     64 |  0.002 % |
972.61/973.16	c |   1226573 |     220    18700   130900 | 2147483647    72105     64 |  0.002 % |
975.32/975.88	c |   1229570 |     220    18700   130900 | 2147483647    75102     64 |  0.002 % |
978.01/978.59	c |   1232867 |     220    18700   130900 | 2147483647    78399     64 |  0.002 % |
980.91/981.43	c |   1236492 |     220    18700   130900 | 2147483647    82024     64 |  0.002 % |
984.51/985.04	c |   1240479 |     220    18700   130900 |    85532    75297     64 |  0.002 % |
988.31/988.80	c |   1244866 |     220    18700   130900 |    85532    79684     64 |  0.002 % |
992.11/992.60	c |   1249689 |     220    18700   130900 |    85532    84507     64 |  0.002 % |
996.30/996.84	c |   1254995 |     220    18700   130900 |    84819    79167     64 |  0.002 % |
1000.80/1001.35	c |   1260830 |     220    18700   130900 |    84172    76117     64 |  0.002 % |
1006.10/1006.61	c |   1267248 |     220    18700   130900 |    84172    82535     64 |  0.002 % |
1011.20/1011.77	c |   1274308 |     220    18700   130900 |    75432    71038     64 |  0.002 % |
1017.10/1017.67	c |   1282072 |     220    18700   130900 | 2147483647    71250     64 |  0.002 % |
1023.60/1024.15	c |   1290612 |     220    18700   130900 |    79178    70806     65 |  0.002 % |
1030.89/1031.40	c |   1300006 |     220    18700   130900 |    71424    71427     65 |  0.002 % |
1037.79/1038.33	c |   1310339 |     220    18700   130900 | 2147483647    66843     65 |  0.002 % |
1046.29/1046.87	c |   1321705 |     220    18700   130900 | 2147483647    78209     65 |  0.002 % |
1046.39/1046.98	c |   1321805 |     220    18700   130900 | 2147483647    78309     65 |  0.002 % |
1046.49/1047.08	c |   1321916 |     220    18700   130900 | 2147483647    78420     65 |  0.002 % |
1046.58/1047.18	c |   1322037 |     220    18700   130900 | 2147483647    78541     65 |  0.002 % |
1046.79/1047.35	c |   1322172 |     220    18700   130900 | 2147483647    78676     65 |  0.002 % |
1046.88/1047.48	c |   1322320 |     220    18700   130900 | 2147483647    78824     65 |  0.002 % |
1047.08/1047.63	c |   1322480 |     220    18700   130900 | 2147483647    78984     65 |  0.002 % |
1047.18/1047.79	c |   1322660 |     220    18700   130900 | 2147483647    79164     65 |  0.002 % |
1047.38/1047.98	c |   1322853 |     220    18700   130900 | 2147483647    79357     65 |  0.002 % |
1047.58/1048.19	c |   1323066 |     220    18700   130900 | 2147483647    79570     65 |  0.002 % |
1047.89/1048.46	c |   1323301 |     220    18700   130900 | 2147483647    79805     65 |  0.002 % |
1048.18/1048.72	c |   1323557 |     220    18700   130900 | 2147483647    80061     65 |  0.002 % |
1048.48/1049.02	c |   1323840 |     220    18700   130900 | 2147483647    80344     65 |  0.002 % |
1048.78/1049.36	c |   1324149 |     220    18700   130900 | 2147483647    80653     65 |  0.002 % |
1049.18/1049.71	c |   1324490 |     220    18700   130900 | 2147483647    80994     65 |  0.002 % |
1049.48/1050.04	c |   1324865 |     220    18700   130900 | 2147483647    81369     65 |  0.002 % |
1049.88/1050.46	c |   1325277 |     220    18700   130900 | 2147483647    81781     65 |  0.002 % |
1050.28/1050.84	c |   1325726 |     220    18700   130900 | 2147483647    82230     65 |  0.002 % |
1050.68/1051.26	c |   1326219 |     220    18700   130900 | 2147483647    82723     65 |  0.002 % |
1051.19/1051.76	c |   1326762 |     220    18700   130900 | 2147483647    83266     65 |  0.002 % |
1051.68/1052.28	c |   1327358 |     220    18700   130900 | 2147483647    83862     65 |  0.002 % |
1052.29/1052.83	c |   1328013 |     220    18700   130900 | 2147483647    84517     65 |  0.002 % |
1053.08/1053.64	c |   1328734 |     220    18700   130900 | 2147483647    85238     65 |  0.002 % |
1053.78/1054.37	c |   1329526 |     220    18700   130900 | 2147483647    86030     65 |  0.002 % |
1054.68/1055.24	c |   1330397 |     220    18700   130900 |    86504    74840     65 |  0.002 % |
1055.48/1056.03	c |   1331356 |     220    18700   130900 |    86504    75799     65 |  0.002 % |
1056.28/1056.82	c |   1332410 |     220    18700   130900 |    86504    76853     65 |  0.002 % |
1057.18/1057.73	c |   1333570 |     220    18700   130900 |    86504    78013     65 |  0.002 % |
1058.38/1058.95	c |   1334843 |     220    18700   130900 |    86504    79286     65 |  0.002 % |
1059.68/1060.21	c |   1336244 |     220    18700   130900 |    86504    80687     65 |  0.002 % |
1060.98/1061.54	c |   1337784 |     220    18700   130900 |    86504    82227     65 |  0.002 % |
1062.48/1063.06	c |   1339479 |     220    18700   130900 |    86504    83922     65 |  0.002 % |
1064.18/1064.74	c |   1341343 |     220    18700   130900 |    84444    73770     65 |  0.002 % |
1065.78/1066.38	c |   1343392 |     220    18700   130900 |    84444    75819     65 |  0.002 % |
1067.58/1068.20	c |   1345647 |     220    18700   130900 |    84444    78074     65 |  0.002 % |
1069.78/1070.34	c |   1348125 |     220    18700   130900 |    84444    80552     65 |  0.002 % |
1072.08/1072.63	c |   1350850 |     220    18700   130900 |    82427    72907     64 |  0.002 % |
1074.47/1075.01	c |   1353850 |     220    18700   130900 |    82427    75907     64 |  0.002 % |
1076.98/1077.52	c |   1357146 |     220    18700   130900 |    82427    79203     64 |  0.002 % |
1079.58/1080.14	c |   1360771 |     220    18700   130900 |    82057    73651     64 |  0.002 % |
1082.58/1083.14	c |   1364759 |     220    18700   130900 |    82057    77639     64 |  0.002 % |
1086.07/1086.65	c |   1369145 |     220    18700   130900 |    82057    82025     64 |  0.002 % |
1089.77/1090.33	c |   1373969 |     220    18700   130900 |    73544    69190     64 |  0.002 % |
1093.57/1094.19	c |   1379274 |     220    18700   130900 |    73544    67130     64 |  0.002 % |
1097.97/1098.54	c |   1385111 |     220    18700   130900 | 2147483647    72967     64 |  0.002 % |
1102.87/1103.46	c |   1391529 |     220    18700   130900 | 2147483647    79385     64 |  0.002 % |
1108.66/1109.27	c |   1398588 |     220    18700   130900 | 2147483647    86444     64 |  0.002 % |
1114.87/1115.47	c |   1406352 |     220    18700   130900 |    87856    82187     64 |  0.002 % |
1121.66/1122.26	c |   1414892 |     220    18700   130900 |    85838    79674     64 |  0.002 % |
1128.96/1129.51	c |   1424286 |     220    18700   130900 |    84784    79443     64 |  0.002 % |
1136.56/1137.12	c |   1434619 |     220    18700   130900 |    75800    72133     64 |  0.002 % |
1146.05/1146.62	c |   1445985 |     220    18700   130900 | 2147483647    75910     64 |  0.002 % |
1156.95/1157.56	c |   1458487 |     220    18700   130900 | 2147483647    88412     64 |  0.002 % |
1157.05/1157.66	c |   1458588 |     220    18700   130900 | 2147483647    88513     64 |  0.002 % |
1157.15/1157.78	c |   1458700 |     220    18700   130900 | 2147483647    88625     64 |  0.002 % |
1157.34/1157.90	c |   1458822 |     220    18700   130900 | 2147483647    88747     64 |  0.002 % |
1157.44/1158.02	c |   1458957 |     220    18700   130900 | 2147483647    88882     64 |  0.002 % |
1157.54/1158.16	c |   1459103 |     220    18700   130900 | 2147483647    89028     64 |  0.002 % |
1157.75/1158.31	c |   1459263 |     220    18700   130900 | 2147483647    89188     64 |  0.002 % |
1157.85/1158.46	c |   1459440 |     220    18700   130900 | 2147483647    89365     64 |  0.002 % |
1158.04/1158.66	c |   1459634 |     220    18700   130900 | 2147483647    89559     64 |  0.002 % |
1158.24/1158.85	c |   1459846 |     220    18700   130900 | 2147483647    89771     64 |  0.002 % |
1158.44/1159.07	c |   1460079 |     220    18700   130900 |    89925    90004     64 |  0.002 % |
1158.74/1159.39	c |   1460336 |     220    18700   130900 |    89925    78479     64 |  0.002 % |
1159.04/1159.65	c |   1460617 |     220    18700   130900 |    89925    78760     64 |  0.002 % |
1159.34/1159.94	c |   1460927 |     220    18700   130900 |    89925    79070     64 |  0.002 % |
1159.64/1160.24	c |   1461266 |     220    18700   130900 |    89925    79409     64 |  0.002 % |
1159.94/1160.58	c |   1461638 |     220    18700   130900 |    89925    79781     64 |  0.002 % |
1160.34/1160.94	c |   1462048 |     220    18700   130900 |    89925    80191     64 |  0.002 % |
1160.85/1161.45	c |   1462497 |     220    18700   130900 |    89925    80640     64 |  0.002 % |
1161.25/1161.89	c |   1462990 |     220    18700   130900 |    89925    81133     64 |  0.002 % |
1161.75/1162.39	c |   1463533 |     220    18700   130900 |    89925    81676     64 |  0.002 % |
1162.45/1163.10	c |   1464131 |     220    18700   130900 |    89925    82274     64 |  0.002 % |
1163.05/1163.68	c |   1464786 |     220    18700   130900 |    89925    82929     64 |  0.002 % |
1163.75/1164.30	c |   1465506 |     220    18700   130900 |    89925    83649     64 |  0.002 % |
1164.55/1165.18	c |   1466299 |     220    18700   130900 |    89925    84442     64 |  0.002 % |
1165.55/1166.14	c |   1467170 |     220    18700   130900 |    89925    85313     64 |  0.002 % |
1166.44/1167.04	c |   1468129 |     220    18700   130900 |    89925    86272     64 |  0.002 % |
1167.44/1168.05	c |   1469182 |     220    18700   130900 |    89925    87325     64 |  0.002 % |
1168.64/1169.21	c |   1470340 |     220    18700   130900 |    88144    74343     64 |  0.002 % |
1169.54/1170.15	c |   1471613 |     220    18700   130900 |    88144    75616     64 |  0.002 % |
1170.64/1171.22	c |   1473013 |     220    18700   130900 |    88144    77016     64 |  0.002 % |
1171.84/1172.46	c |   1474553 |     220    18700   130900 |    88144    78556     64 |  0.002 % |
1173.24/1173.84	c |   1476247 |     220    18700   130900 |    88144    80250     64 |  0.002 % |
1174.74/1175.32	c |   1478112 |     220    18700   130900 |    88144    82115     64 |  0.002 % |
1176.54/1177.13	c |   1480162 |     220    18700   130900 |    84004    72867     64 |  0.002 % |
1178.14/1178.79	c |   1482416 |     220    18700   130900 |    84004    75121     64 |  0.002 % |
1180.04/1180.66	c |   1484894 |     220    18700   130900 |    84004    77599     64 |  0.002 % |
1182.23/1182.83	c |   1487620 |     220    18700   130900 |    84004    80325     64 |  0.002 % |
1184.73/1185.34	c |   1490617 |     220    18700   130900 |    82706    74155     64 |  0.002 % |
1187.13/1187.74	c |   1493914 |     220    18700   130900 |    82706    77452     64 |  0.002 % |
1189.93/1190.59	c |   1497539 |     220    18700   130900 |    82706    81077     64 |  0.002 % |
1193.23/1193.88	c |   1501527 |     220    18700   130900 |    75158    68976     63 |  0.002 % |
1196.63/1197.27	c |   1505912 |     220    18700   130900 |    75158    73361     63 |  0.002 % |
1200.03/1200.61	HOME/SatELiteGTI: line 36: 16989 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-1832559-1242784225/watcher-1832559-1242784225 -o /tmp/evaluation-result-1832559-1242784225/solver-1832559-1242784225 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832559-1242784225.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16983
/proc/meminfo: memFree=1949872/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306450901 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16983/statm: 1339 237 197 169 0 50 0

[startup+0.111363 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16983
/proc/meminfo: memFree=1949872/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.202376 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16983
/proc/meminfo: memFree=1949872/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.302391 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16983
/proc/meminfo: memFree=1949872/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.701451 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16983
/proc/meminfo: memFree=1949872/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+1.50156 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1945312/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=5388 CPUtime=1.41
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 1107 0 0 0 141 0 0 0 25 0 1 0 306450909 5517312 1093 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 1347 1093 76 171 0 1174 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10744

[startup+3.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1943520/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=7684 CPUtime=3.01
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 1696 0 0 0 300 1 0 0 25 0 1 0 306450909 7868416 1682 1992294400 134512640 135215339 4294956240 18446744073709551615 134541068 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 1921 1682 76 171 0 1748 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13040

[startup+6.30127 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1939808/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=10908 CPUtime=6.21
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 2494 0 0 0 619 2 0 0 25 0 1 0 306450909 11169792 2480 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 2727 2480 76 171 0 2554 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16264

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1935144/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=15080 CPUtime=12.61
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 3539 0 0 0 1258 3 0 0 25 0 1 0 306450909 15441920 3525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 3770 3525 76 171 0 3597 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 20436

[startup+25.5021 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1929128/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=20880 CPUtime=25.4
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 4982 0 0 0 2536 4 0 0 25 0 1 0 306450909 21381120 4968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 5220 4968 76 171 0 5047 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 26236

[startup+51.1029 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1922152/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=27764 CPUtime=50.99
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 6701 0 0 0 5093 6 0 0 25 0 1 0 306450909 28430336 6687 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 6941 6687 76 171 0 6768 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 33120

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1921960/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=27764 CPUtime=102.18
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 6701 0 0 0 10211 7 0 0 25 0 1 0 306450909 28430336 6687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 6941 6687 76 171 0 6768 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 33120

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1921448/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=28160 CPUtime=162.16
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 6807 0 0 0 16208 8 0 0 25 0 1 0 306450909 28835840 6793 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7040 6793 76 171 0 6867 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 33516

[startup+222.305 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 16989
/proc/meminfo: memFree=1921256/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=28340 CPUtime=222.13
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 6864 0 0 0 22204 9 0 0 25 0 1 0 306450909 29020160 6846 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7085 6846 76 171 0 6912 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 33696

[startup+282.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 16989
/proc/meminfo: memFree=1920808/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=28744 CPUtime=282.09
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 6953 0 0 0 28200 9 0 0 25 0 1 0 306450909 29433856 6935 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7186 6935 76 171 0 7013 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 34100

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1919848/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=29536 CPUtime=342.07
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7163 0 0 0 34197 10 0 0 25 0 1 0 306450909 30244864 7145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7384 7145 76 171 0 7211 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 34892

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1919208/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=30052 CPUtime=402.04
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7281 0 0 0 40193 11 0 0 25 0 1 0 306450909 30773248 7263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7513 7263 76 171 0 7340 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 35408

[startup+462.302 s]

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

[pid=16989] ppid=16983 vsize=30580 CPUtime=521.99
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7418 0 0 0 52187 12 0 0 25 0 1 0 306450909 31313920 7400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7645 7400 76 171 0 7472 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 35936

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16989
/proc/meminfo: memFree=1918376/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=30548 CPUtime=581.96
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7418 0 0 0 58184 12 0 0 25 0 1 0 306450909 31281152 7400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7637 7400 76 171 0 7464 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 35904

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16995
/proc/meminfo: memFree=1917992/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=30548 CPUtime=641.94
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7427 0 0 0 64181 13 0 0 25 0 1 0 306450909 31281152 7409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7637 7409 76 171 0 7464 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 35904

[startup+702.302 s]
/proc/loadavg: 1.30 1.07 1.02 3/72 17430
/proc/meminfo: memFree=1886496/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=30680 CPUtime=701.86
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7451 0 0 0 70172 14 0 0 25 0 1 0 306450909 31416320 7433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16989/statm: 7670 7433 76 171 0 7497 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 36036

[startup+762.303 s]
/proc/loadavg: 1.11 1.05 1.02 2/66 17471
/proc/meminfo: memFree=1875560/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=31224 CPUtime=761.83
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7586 0 0 0 76169 14 0 0 25 0 1 0 306450909 31973376 7568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7806 7568 76 171 0 7633 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 36580

[startup+822.301 s]
/proc/loadavg: 1.04 1.04 1.01 2/66 17471
/proc/meminfo: memFree=1875688/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=31224 CPUtime=821.81
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7586 0 0 0 82166 15 0 0 25 0 1 0 306450909 31973376 7568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7806 7568 76 171 0 7633 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 36580

[startup+882.305 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 17471
/proc/meminfo: memFree=1875688/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=31224 CPUtime=881.79
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7586 0 0 0 88164 15 0 0 25 0 1 0 306450909 31973376 7568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7806 7568 76 171 0 7633 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 36580

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 17471
/proc/meminfo: memFree=1875560/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=31224 CPUtime=941.77
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7586 0 0 0 94161 16 0 0 25 0 1 0 306450909 31973376 7568 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7806 7568 76 171 0 7633 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 36580

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 17471
/proc/meminfo: memFree=1875496/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=31224 CPUtime=1001.74
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7586 0 0 0 100158 16 0 0 25 0 1 0 306450909 31973376 7568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7806 7568 76 171 0 7633 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 36580

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17471
/proc/meminfo: memFree=1875176/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=31488 CPUtime=1061.72
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7637 0 0 0 106156 16 0 0 25 0 1 0 306450909 32243712 7619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7872 7619 76 171 0 7699 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 36844

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17471
/proc/meminfo: memFree=1875048/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=31488 CPUtime=1121.7
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7658 0 0 0 112153 17 0 0 25 0 1 0 306450909 32243712 7640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 7872 7640 76 171 0 7699 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 36844

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17471
/proc/meminfo: memFree=1874088/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=32428 CPUtime=1181.67
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7878 0 0 0 118149 18 0 0 25 0 1 0 306450909 33206272 7860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 8107 7860 76 171 0 7934 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 37784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17471
/proc/meminfo: memFree=1873960/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=32428 CPUtime=1199.97
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7878 0 0 0 119979 18 0 0 25 0 1 0 306450909 33206272 7860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 8107 7860 76 171 0 7934 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 37784

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

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

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17471
/proc/meminfo: memFree=1873960/2055920 swapFree=4179288/4192956
[pid=16983] ppid=16981 vsize=5356 CPUtime=0.06
/proc/16983/stat : 16983 (SatELiteGTI) S 16981 16983 16900 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306450901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16983/statm: 1339 239 197 169 0 50 0
[pid=16989] ppid=16983 vsize=32428 CPUtime=1199.97
/proc/16989/stat : 16989 (minisat_static) R 16983 16983 16900 0 -1 4194304 7878 0 0 0 119979 18 0 0 25 0 1 0 306450909 33206272 7860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16989/statm: 8107 7860 76 171 0 7934 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 37784

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.06
CPU user time (s): 1199.86
CPU system time (s): 0.19397
CPU usage (%): 99.9537
Max. virtual memory (cumulated for all children) (KiB): 37784

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

runsolver used 1.35279 second user time and 3.18851 second system time

The end

Launcher Data

Begin job on node39 at 2009-05-20 03:50:25
IDJOB=1832559
IDBENCH=70243
IDSOLVER=671
FILE ID=node39/1832559-1242784225
PBS_JOBID= 9322305
Free space on /tmp= 66464 MiB

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

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

MD5SUM BENCH= 79b21fea94540db2568097a6c80690f8
RANDOM SEED=1433545377

node39.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.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
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:       1950416 kB
Buffers:         18316 kB
Cached:          51320 kB
SwapCached:       7816 kB
Active:          49628 kB
Inactive:        29356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1950416 kB
SwapTotal:     4192956 kB
SwapFree:      4179288 kB
Dirty:            2124 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            12712 kB
Committed_AS:  1102192 kB
PageTables:       1388 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= 66464 MiB
End job on node39 at 2009-05-20 04:10:28