Trace number 1832557

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.1 1200.91

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
MD5SUM7f520cacbc1966b43139f7a53a60437c
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.021996 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.05/0.08	c |  Parsing time:         0.02         s                                       |
0.05/0.09	c ============================[ Search Statistics ]==============================
0.05/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.05/0.09	c ===============================================================================
0.05/0.09	c |         0 |     220    18700   130900 |     6233        0    nan |  0.000 % |
0.05/0.10	c |       101 |     220    18700   130900 |     6233      101     61 |  0.002 % |
0.05/0.11	c |       201 |     220    18700   130900 |     6233      201     61 |  0.002 % |
0.05/0.12	c |       304 |     220    18700   130900 |     6233      304     61 |  0.002 % |
0.05/0.13	c |       414 |     220    18700   130900 |     6233      414     63 |  0.002 % |
0.05/0.14	c |       514 |     220    18700   130900 |     6233      514     62 |  0.002 % |
0.05/0.15	c |       624 |     220    18700   130900 |     6233      624     62 |  0.002 % |
0.05/0.16	c |       746 |     220    18700   130900 |     6233      746     62 |  0.002 % |
0.05/0.17	c |       847 |     220    18700   130900 |     6233      847     62 |  0.002 % |
0.05/0.18	c |       957 |     220    18700   130900 |     6233      957     61 |  0.002 % |
0.05/0.19	c |      1080 |     220    18700   130900 |     6233     1080     61 |  0.002 % |
0.05/0.21	c |      1213 |     220    18700   130900 |     6233     1213     61 |  0.002 % |
0.05/0.22	c |      1314 |     220    18700   130900 |     6233     1314     61 |  0.002 % |
0.05/0.23	c |      1426 |     220    18700   130900 |     6233     1426     60 |  0.002 % |
0.05/0.24	c |      1548 |     220    18700   130900 |     6233     1548     60 |  0.002 % |
0.05/0.25	c |      1683 |     220    18700   130900 |     6233     1683     60 |  0.002 % |
0.05/0.27	c |      1829 |     220    18700   130900 |     6233     1829     61 |  0.002 % |
0.05/0.27	c |      1930 |     220    18700   130900 |     6233     1930     60 |  0.002 % |
0.05/0.29	c |      2041 |     220    18700   130900 |     6233     2041     60 |  0.002 % |
0.05/0.30	c |      2162 |     220    18700   130900 |     6233     2162     60 |  0.002 % |
0.05/0.31	c |      2296 |     220    18700   130900 |     6233     2296     60 |  0.002 % |
0.05/0.32	c |      2442 |     220    18700   130900 |     6233     2442     60 |  0.002 % |
0.05/0.34	c |      2604 |     220    18700   130900 |     6233     2604     61 |  0.002 % |
0.05/0.35	c |      2706 |     220    18700   130900 |     6233     2706     61 |  0.002 % |
0.05/0.37	c |      2816 |     220    18700   130900 |     6233     2816     60 |  0.002 % |
0.05/0.38	c |      2937 |     220    18700   130900 |     6233     2937     60 |  0.002 % |
0.05/0.39	c |      3070 |     220    18700   130900 |     6233     3070     60 |  0.002 % |
0.05/0.41	c |      3216 |     220    18700   130900 |     6233     3216     60 |  0.002 % |
0.05/0.43	c |      3377 |     220    18700   130900 |     6233     3377     61 |  0.002 % |
0.05/0.44	c |      3555 |     220    18700   130900 |     6233     3555     61 |  0.002 % |
0.05/0.46	c |      3656 |     220    18700   130900 |     6233     3656     61 |  0.002 % |
0.05/0.47	c |      3768 |     220    18700   130900 |     6233     3768     60 |  0.002 % |
0.05/0.48	c |      3889 |     220    18700   130900 |     6233     3889     61 |  0.002 % |
0.05/0.50	c |      4022 |     220    18700   130900 |     6233     4022     61 |  0.002 % |
0.05/0.51	c |      4168 |     220    18700   130900 |     6233     4168     61 |  0.002 % |
0.05/0.53	c |      4328 |     220    18700   130900 |     6233     4328     61 |  0.002 % |
0.05/0.55	c |      4506 |     220    18700   130900 |     6233     4506     61 |  0.002 % |
0.05/0.57	c |      4699 |     220    18700   130900 |     6233     4699     61 |  0.002 % |
0.05/0.59	c |      4799 |     220    18700   130900 |     6233     4799     61 |  0.002 % |
0.05/0.60	c |      4909 |     220    18700   130900 |     6233     4909     61 |  0.002 % |
0.05/0.61	c |      5030 |     220    18700   130900 |     6233     5030     61 |  0.002 % |
0.05/0.63	c |      5165 |     220    18700   130900 |     6233     5165     61 |  0.002 % |
0.05/0.65	c |      5311 |     220    18700   130900 |     6233     5311     61 |  0.002 % |
0.05/0.67	c |      5474 |     220    18700   130900 |     6233     5474     61 |  0.002 % |
0.05/0.69	c |      5651 |     220    18700   130900 |     6233     5651     61 |  0.002 % |
0.05/0.71	c |      5844 |     220    18700   130900 |     6233     5844     61 |  0.002 % |
0.05/0.74	c |      6058 |     220    18700   130900 |     6233     6058     61 |  0.002 % |
0.05/0.75	c |      6158 |     220    18700   130900 |     6233     6158     61 |  0.002 % |
0.05/0.77	c |      6269 |     220    18700   130900 |     6233     6269     61 |  0.002 % |
0.05/0.79	c |      6392 |     220    18700   130900 |     6233     5766     60 |  0.002 % |
0.05/0.80	c |      6525 |     220    18700   130900 |     6233     5899     60 |  0.002 % |
0.05/0.82	c |      6672 |     220    18700   130900 |     6233     6046     60 |  0.002 % |
0.05/0.84	c |      6832 |     220    18700   130900 |     6233     6206     60 |  0.002 % |
0.05/0.87	c |      7008 |     220    18700   130900 |     6233     5747     60 |  0.002 % |
0.05/0.89	c |      7201 |     220    18700   130900 |     6233     5940     60 |  0.002 % |
0.05/0.92	c |      7415 |     220    18700   130900 |     6233     6154     60 |  0.002 % |
0.05/0.95	c |      7648 |     220    18700   130900 |     6233     5755     61 |  0.002 % |
0.05/0.96	c |      7751 |     220    18700   130900 |     6233     5858     61 |  0.002 % |
0.05/0.97	c |      7861 |     220    18700   130900 |     6233     5968     61 |  0.002 % |
0.05/0.99	c |      7982 |     220    18700   130900 |     6233     6089     61 |  0.002 % |
0.97/1.01	c |      8116 |     220    18700   130900 |     6233     6223     61 |  0.002 % |
0.97/1.03	c |      8265 |     220    18700   130900 |     6233     5739     61 |  0.002 % |
0.97/1.05	c |      8425 |     220    18700   130900 |     6233     5899     61 |  0.002 % |
0.97/1.08	c |      8601 |     220    18700   130900 |     6233     6075     61 |  0.002 % |
1.07/1.10	c |      8797 |     220    18700   130900 |     6233     6271     61 |  0.002 % |
1.07/1.13	c |      9010 |     220    18700   130900 |     6233     5857     61 |  0.002 % |
1.07/1.16	c |      9243 |     220    18700   130900 |     6233     6090     61 |  0.002 % |
1.07/1.20	c |      9501 |     220    18700   130900 |     6233     5715     61 |  0.002 % |
1.16/1.21	c |      9603 |     220    18700   130900 |     6233     5817     61 |  0.002 % |
1.16/1.23	c |      9715 |     220    18700   130900 |     6233     5929     61 |  0.002 % |
1.16/1.24	c |      9837 |     220    18700   130900 |     6233     6051     61 |  0.002 % |
1.16/1.26	c |      9970 |     220    18700   130900 |     6233     6184     61 |  0.002 % |
1.16/1.28	c |     10119 |     220    18700   130900 | 2147483647     6333     61 |  0.002 % |
1.16/1.30	c |     10279 |     220    18700   130900 | 2147483647     6493     61 |  0.002 % |
1.26/1.32	c |     10455 |     220    18700   130900 | 2147483647     6669     61 |  0.002 % |
1.26/1.35	c |     10649 |     220    18700   130900 | 2147483647     6863     61 |  0.002 % |
1.26/1.38	c |     10861 |     220    18700   130900 | 2147483647     7075     61 |  0.002 % |
1.36/1.41	c |     11096 |     220    18700   130900 | 2147483647     7310     61 |  0.002 % |
1.36/1.44	c |     11352 |     220    18700   130900 | 2147483647     7566     61 |  0.002 % |
1.36/1.48	c |     11633 |     220    18700   130900 | 2147483647     7847     61 |  0.002 % |
1.36/1.49	c |     11734 |     220    18700   130900 | 2147483647     7948     61 |  0.002 % |
1.46/1.51	c |     11844 |     220    18700   130900 | 2147483647     8058     61 |  0.002 % |
1.46/1.53	c |     11967 |     220    18700   130900 | 2147483647     8181     61 |  0.002 % |
1.46/1.55	c |     12102 |     220    18700   130900 | 2147483647     8316     61 |  0.002 % |
1.46/1.57	c |     12248 |     220    18700   130900 | 2147483647     8462     61 |  0.002 % |
1.56/1.60	c |     12409 |     220    18700   130900 | 2147483647     8623     61 |  0.002 % |
1.56/1.63	c |     12586 |     220    18700   130900 | 2147483647     8800     61 |  0.002 % |
1.56/1.66	c |     12779 |     220    18700   130900 | 2147483647     8993     61 |  0.002 % |
1.56/1.69	c |     12993 |     220    18700   130900 | 2147483647     9207     61 |  0.002 % |
1.66/1.73	c |     13227 |     220    18700   130900 | 2147483647     9441     61 |  0.002 % |
1.66/1.77	c |     13483 |     220    18700   130900 | 2147483647     9697     61 |  0.002 % |
1.76/1.81	c |     13764 |     220    18700   130900 | 2147483647     9978     61 |  0.002 % |
1.76/1.86	c |     14073 |     220    18700   130900 | 2147483647    10287     61 |  0.002 % |
1.76/1.88	c |     14173 |     220    18700   130900 | 2147483647    10387     61 |  0.002 % |
1.86/1.90	c |     14283 |     220    18700   130900 | 2147483647    10497     61 |  0.002 % |
1.86/1.92	c |     14404 |     220    18700   130900 | 2147483647    10618     61 |  0.002 % |
1.86/1.94	c |     14539 |     220    18700   130900 | 2147483647    10753     61 |  0.002 % |
1.86/1.97	c |     14685 |     220    18700   130900 | 2147483647    10899     61 |  0.002 % |
1.96/2.00	c |     14846 |     220    18700   130900 | 2147483647    11060     61 |  0.002 % |
1.96/2.03	c |     15022 |     220    18700   130900 | 2147483647    11236     61 |  0.002 % |
1.96/2.06	c |     15216 |     220    18700   130900 | 2147483647    11430     61 |  0.002 % |
2.06/2.10	c |     15428 |     220    18700   130900 | 2147483647    11642     61 |  0.002 % |
2.06/2.15	c |     15662 |     220    18700   130900 | 2147483647    11876     61 |  0.002 % |
2.06/2.19	c |     15918 |     220    18700   130900 | 2147483647    12132     61 |  0.002 % |
2.16/2.24	c |     16199 |     220    18700   130900 | 2147483647    12413     61 |  0.002 % |
2.16/2.29	c |     16509 |     220    18700   130900 | 2147483647    12723     61 |  0.002 % |
2.26/2.37	c |     16849 |     220    18700   130900 | 2147483647    13063     61 |  0.002 % |
2.26/2.38	c |     16949 |     220    18700   130900 | 2147483647    13163     61 |  0.002 % |
2.36/2.40	c |     17059 |     220    18700   130900 | 2147483647    13273     61 |  0.002 % |
2.36/2.43	c |     17180 |     220    18700   130900 | 2147483647    13394     61 |  0.002 % |
2.36/2.46	c |     17313 |     220    18700   130900 | 2147483647    13527     61 |  0.002 % |
2.36/2.49	c |     17461 |     220    18700   130900 | 2147483647    13675     61 |  0.002 % |
2.46/2.52	c |     17622 |     220    18700   130900 | 2147483647    13836     61 |  0.002 % |
2.46/2.56	c |     17798 |     220    18700   130900 | 2147483647    14012     61 |  0.002 % |
2.56/2.60	c |     17991 |     220    18700   130900 | 2147483647    14205     61 |  0.002 % |
2.56/2.64	c |     18205 |     220    18700   130900 | 2147483647    14419     61 |  0.002 % |
2.56/2.69	c |     18438 |     220    18700   130900 | 2147483647    14652     61 |  0.002 % |
2.66/2.74	c |     18694 |     220    18700   130900 | 2147483647    14908     61 |  0.002 % |
2.76/2.80	c |     18976 |     220    18700   130900 | 2147483647    15190     61 |  0.002 % |
2.76/2.87	c |     19287 |     220    18700   130900 | 2147483647    15501     61 |  0.002 % |
2.86/2.94	c |     19626 |     220    18700   130900 | 2147483647    15840     61 |  0.002 % |
2.96/3.02	c |     19998 |     220    18700   130900 | 2147483647    16212     61 |  0.002 % |
2.96/3.04	c |     20099 |     220    18700   130900 | 2147483647    16313     61 |  0.002 % |
2.96/3.07	c |     20209 |     220    18700   130900 | 2147483647    16423     61 |  0.002 % |
2.96/3.10	c |     20330 |     220    18700   130900 | 2147483647    16544     61 |  0.002 % |
3.06/3.12	c |     20466 |     220    18700   130900 | 2147483647    16680     61 |  0.002 % |
3.06/3.16	c |     20612 |     220    18700   130900 | 2147483647    16826     61 |  0.002 % |
3.06/3.19	c |     20772 |     220    18700   130900 | 2147483647    16986     61 |  0.002 % |
3.17/3.23	c |     20949 |     220    18700   130900 | 2147483647    17163     61 |  0.002 % |
3.17/3.28	c |     21144 |     220    18700   130900 | 2147483647    17358     61 |  0.002 % |
3.27/3.33	c |     21357 |     220    18700   130900 | 2147483647    17571     61 |  0.002 % |
3.27/3.39	c |     21590 |     220    18700   130900 | 2147483647    17804     61 |  0.002 % |
3.36/3.46	c |     21846 |     220    18700   130900 | 2147483647    18060     61 |  0.002 % |
3.46/3.52	c |     22129 |     220    18700   130900 | 2147483647    18343     61 |  0.002 % |
3.46/3.59	c |     22441 |     220    18700   130900 | 2147483647    18655     61 |  0.002 % |
3.56/3.67	c |     22780 |     220    18700   130900 | 2147483647    18994     61 |  0.002 % |
3.66/3.76	c |     23152 |     220    18700   130900 | 2147483647    19366     61 |  0.002 % |
3.76/3.87	c |     23561 |     220    18700   130900 | 2147483647    19775     62 |  0.002 % |
3.76/3.90	c |     23662 |     220    18700   130900 | 2147483647    19876     62 |  0.002 % |
3.86/3.93	c |     23772 |     220    18700   130900 | 2147483647    19986     62 |  0.002 % |
3.86/3.96	c |     23895 |     220    18700   130900 | 2147483647    20109     62 |  0.002 % |
3.86/3.99	c |     24029 |     220    18700   130900 | 2147483647    20243     62 |  0.002 % |
3.96/4.04	c |     24175 |     220    18700   130900 | 2147483647    20389     61 |  0.002 % |
3.96/4.09	c |     24335 |     220    18700   130900 | 2147483647    20549     61 |  0.002 % |
4.06/4.13	c |     24512 |     220    18700   130900 | 2147483647    20726     61 |  0.002 % |
4.06/4.19	c |     24706 |     220    18700   130900 | 2147483647    20920     62 |  0.002 % |
4.16/4.25	c |     24918 |     220    18700   130900 | 2147483647    21132     62 |  0.002 % |
4.26/4.31	c |     25152 |     220    18700   130900 | 2147483647    21366     62 |  0.002 % |
4.26/4.37	c |     25408 |     220    18700   130900 | 2147483647    21622     62 |  0.002 % |
4.36/4.45	c |     25690 |     220    18700   130900 | 2147483647    21904     61 |  0.002 % |
4.46/4.52	c |     26001 |     220    18700   130900 | 2147483647    22215     61 |  0.002 % |
4.56/4.63	c |     26341 |     220    18700   130900 | 2147483647    22555     62 |  0.002 % |
4.66/4.73	c |     26713 |     220    18700   130900 | 2147483647    22927     62 |  0.002 % |
4.77/4.85	c |     27122 |     220    18700   130900 | 2147483647    23336     62 |  0.002 % |
4.87/4.98	c |     27571 |     220    18700   130900 | 2147483647    23785     62 |  0.002 % |
4.96/5.02	c |     27671 |     220    18700   130900 | 2147483647    23885     62 |  0.002 % |
4.96/5.06	c |     27781 |     220    18700   130900 | 2147483647    23995     62 |  0.002 % |
5.06/5.10	c |     27902 |     220    18700   130900 | 2147483647    24116     62 |  0.002 % |
5.06/5.14	c |     28035 |     220    18700   130900 | 2147483647    24249     62 |  0.002 % |
5.06/5.20	c |     28181 |     220    18700   130900 | 2147483647    24395     62 |  0.002 % |
5.16/5.25	c |     28341 |     220    18700   130900 | 2147483647    24555     62 |  0.002 % |
5.16/5.30	c |     28517 |     220    18700   130900 | 2147483647    24731     62 |  0.002 % |
5.26/5.36	c |     28711 |     220    18700   130900 | 2147483647    24925     62 |  0.002 % |
5.37/5.43	c |     28925 |     220    18700   130900 | 2147483647    25139     62 |  0.002 % |
5.47/5.51	c |     29158 |     220    18700   130900 | 2147483647    25372     62 |  0.002 % |
5.47/5.59	c |     29415 |     220    18700   130900 | 2147483647    25629     62 |  0.002 % |
5.56/5.68	c |     29697 |     220    18700   130900 | 2147483647    25911     62 |  0.002 % |
5.66/5.77	c |     30007 |     220    18700   130900 | 2147483647    26221     62 |  0.002 % |
5.86/5.90	c |     30349 |     220    18700   130900 | 2147483647    26563     62 |  0.002 % |
5.96/6.01	c |     30721 |     220    18700   130900 | 2147483647    26935     62 |  0.002 % |
6.06/6.14	c |     31130 |     220    18700   130900 | 2147483647    27344     62 |  0.002 % |
6.16/6.27	c |     31579 |     220    18700   130900 | 2147483647    27793     62 |  0.002 % |
6.36/6.45	c |     32074 |     220    18700   130900 | 2147483647    28288     62 |  0.002 % |
6.36/6.49	c |     32176 |     220    18700   130900 | 2147483647    28390     62 |  0.002 % |
6.46/6.53	c |     32286 |     220    18700   130900 | 2147483647    28500     62 |  0.002 % |
6.46/6.57	c |     32408 |     220    18700   130900 | 2147483647    28622     62 |  0.002 % |
6.56/6.61	c |     32541 |     220    18700   130900 | 2147483647    28755     62 |  0.002 % |
6.56/6.67	c |     32687 |     220    18700   130900 | 2147483647    28901     62 |  0.002 % |
6.66/6.73	c |     32848 |     220    18700   130900 | 2147483647    29062     62 |  0.002 % |
6.66/6.79	c |     33024 |     220    18700   130900 | 2147483647    29238     62 |  0.002 % |
6.76/6.86	c |     33217 |     220    18700   130900 | 2147483647    29431     62 |  0.002 % |
6.86/6.94	c |     33430 |     220    18700   130900 | 2147483647    29644     62 |  0.002 % |
6.96/7.02	c |     33663 |     220    18700   130900 | 2147483647    29877     62 |  0.002 % |
7.06/7.12	c |     33919 |     220    18700   130900 | 2147483647    30133     62 |  0.002 % |
7.16/7.23	c |     34200 |     220    18700   130900 | 2147483647    30414     62 |  0.002 % |
7.26/7.34	c |     34510 |     220    18700   130900 | 2147483647    30724     62 |  0.002 % |
7.36/7.48	c |     34849 |     220    18700   130900 | 2147483647    31063     62 |  0.002 % |
7.56/7.62	c |     35221 |     220    18700   130900 | 2147483647    31435     62 |  0.002 % |
7.66/7.76	c |     35631 |     220    18700   130900 | 2147483647    31845     62 |  0.002 % |
7.86/7.93	c |     36081 |     220    18700   130900 | 2147483647    32295     62 |  0.002 % |
8.06/8.15	c |     36576 |     220    18700   130900 | 2147483647    32790     62 |  0.002 % |
8.26/8.37	c |     37120 |     220    18700   130900 | 2147483647    33334     62 |  0.002 % |
8.37/8.41	c |     37220 |     220    18700   130900 | 2147483647    33434     62 |  0.002 % |
8.37/8.45	c |     37330 |     220    18700   130900 | 2147483647    33544     62 |  0.002 % |
8.37/8.50	c |     37451 |     220    18700   130900 | 2147483647    33665     62 |  0.002 % |
8.46/8.55	c |     37586 |     220    18700   130900 | 2147483647    33800     62 |  0.002 % |
8.56/8.62	c |     37732 |     220    18700   130900 | 2147483647    33946     62 |  0.002 % |
8.56/8.68	c |     37894 |     220    18700   130900 | 2147483647    34108     62 |  0.002 % |
8.67/8.75	c |     38070 |     220    18700   130900 | 2147483647    34284     62 |  0.002 % |
8.77/8.86	c |     38264 |     220    18700   130900 | 2147483647    34478     62 |  0.002 % |
8.86/8.94	c |     38476 |     220    18700   130900 | 2147483647    34690     62 |  0.002 % |
8.96/9.04	c |     38709 |     220    18700   130900 | 2147483647    34923     62 |  0.002 % |
9.06/9.14	c |     38966 |     220    18700   130900 | 2147483647    35180     62 |  0.002 % |
9.16/9.24	c |     39247 |     220    18700   130900 | 2147483647    35461     62 |  0.002 % |
9.26/9.36	c |     39556 |     220    18700   130900 | 2147483647    35770     62 |  0.002 % |
9.46/9.54	c |     39895 |     220    18700   130900 | 2147483647    36109     62 |  0.002 % |
9.66/9.70	c |     40267 |     220    18700   130900 | 2147483647    36481     62 |  0.002 % |
9.77/9.87	c |     40676 |     220    18700   130900 | 2147483647    36890     62 |  0.002 % |
9.96/10.05	c |     41125 |     220    18700   130900 | 2147483647    37339     62 |  0.002 % |
10.16/10.25	c |     41618 |     220    18700   130900 | 2147483647    37832     62 |  0.002 % |
10.36/10.46	c |     42161 |     220    18700   130900 | 2147483647    38375     62 |  0.002 % |
10.66/10.70	c |     42757 |     220    18700   130900 | 2147483647    38971     62 |  0.002 % |
10.66/10.75	c |     42858 |     220    18700   130900 | 2147483647    39072     62 |  0.002 % |
10.76/10.80	c |     42971 |     220    18700   130900 | 2147483647    39185     62 |  0.002 % |
10.76/10.85	c |     43092 |     220    18700   130900 | 2147483647    39306     62 |  0.002 % |
10.86/10.94	c |     43225 |     220    18700   130900 | 2147483647    39439     62 |  0.002 % |
10.96/11.01	c |     43373 |     220    18700   130900 | 2147483647    39587     62 |  0.002 % |
10.96/11.09	c |     43534 |     220    18700   130900 | 2147483647    39748     62 |  0.002 % |
11.06/11.19	c |     43710 |     220    18700   130900 | 2147483647    39924     62 |  0.002 % |
11.16/11.28	c |     43905 |     220    18700   130900 | 2147483647    40119     62 |  0.002 % |
11.26/11.39	c |     44117 |     220    18700   130900 | 2147483647    40331     62 |  0.002 % |
11.46/11.50	c |     44350 |     220    18700   130900 | 2147483647    40564     62 |  0.002 % |
11.56/11.63	c |     44606 |     220    18700   130900 | 2147483647    40820     62 |  0.002 % |
11.66/11.77	c |     44887 |     220    18700   130900 | 2147483647    41101     62 |  0.002 % |
11.86/11.91	c |     45197 |     220    18700   130900 | 2147483647    41411     62 |  0.002 % |
11.96/12.07	c |     45538 |     220    18700   130900 | 2147483647    41752     62 |  0.002 % |
12.16/12.29	c |     45911 |     220    18700   130900 | 2147483647    42125     62 |  0.002 % |
12.46/12.50	c |     46321 |     220    18700   130900 | 2147483647    42535     62 |  0.002 % |
12.66/12.72	c |     46770 |     220    18700   130900 | 2147483647    42984     62 |  0.002 % |
12.86/12.96	c |     47264 |     220    18700   130900 | 2147483647    43478     62 |  0.002 % |
13.16/13.22	c |     47807 |     220    18700   130900 | 2147483647    44021     62 |  0.002 % |
13.46/13.52	c |     48405 |     220    18700   130900 | 2147483647    44619     62 |  0.002 % |
13.76/13.84	c |     49060 |     220    18700   130900 | 2147483647    45274     62 |  0.002 % |
13.86/13.91	c |     49162 |     220    18700   130900 | 2147483647    45376     62 |  0.002 % |
13.86/13.98	c |     49274 |     220    18700   130900 | 2147483647    45488     62 |  0.002 % |
13.96/14.05	c |     49395 |     220    18700   130900 | 2147483647    45609     62 |  0.002 % |
14.06/14.13	c |     49529 |     220    18700   130900 | 2147483647    45743     62 |  0.002 % |
14.17/14.22	c |     49676 |     220    18700   130900 | 2147483647    45890     62 |  0.002 % |
14.27/14.31	c |     49838 |     220    18700   130900 | 2147483647    46052     62 |  0.002 % |
14.36/14.41	c |     50015 |     220    18700   130900 | 2147483647    46229     62 |  0.002 % |
14.46/14.54	c |     50210 |     220    18700   130900 | 2147483647    46424     62 |  0.002 % |
14.56/14.66	c |     50425 |     220    18700   130900 | 2147483647    46639     62 |  0.002 % |
14.66/14.80	c |     50658 |     220    18700   130900 | 2147483647    46872     62 |  0.002 % |
14.86/14.93	c |     50914 |     220    18700   130900 | 2147483647    47128     62 |  0.002 % |
14.96/15.07	c |     51196 |     220    18700   130900 | 2147483647    47410     62 |  0.002 % |
15.16/15.22	c |     51505 |     220    18700   130900 | 2147483647    47719     62 |  0.002 % |
15.36/15.46	c |     51845 |     220    18700   130900 | 2147483647    48059     62 |  0.002 % |
15.56/15.69	c |     52217 |     220    18700   130900 | 2147483647    48431     62 |  0.002 % |
15.86/15.93	c |     52626 |     220    18700   130900 | 2147483647    48840     62 |  0.002 % |
16.06/16.18	c |     53076 |     220    18700   130900 | 2147483647    49290     62 |  0.002 % |
16.36/16.48	c |     53570 |     220    18700   130900 | 2147483647    49784     62 |  0.002 % |
16.76/16.82	c |     54113 |     220    18700   130900 | 2147483647    50327     62 |  0.002 % |
17.06/17.13	c |     54709 |     220    18700   130900 | 2147483647    50923     62 |  0.002 % |
17.46/17.53	c |     55366 |     220    18700   130900 | 2147483647    51580     62 |  0.002 % |
17.85/17.92	c |     56086 |     220    18700   130900 | 2147483647    52300     62 |  0.002 % |
17.85/17.99	c |     56186 |     220    18700   130900 | 2147483647    52400     62 |  0.002 % |
17.95/18.07	c |     56296 |     220    18700   130900 | 2147483647    52510     62 |  0.002 % |
18.06/18.15	c |     56418 |     220    18700   130900 | 2147483647    52632     62 |  0.002 % |
18.16/18.24	c |     56552 |     220    18700   130900 | 2147483647    52766     62 |  0.002 % |
18.26/18.35	c |     56700 |     220    18700   130900 | 2147483647    52914     62 |  0.002 % |
18.36/18.44	c |     56861 |     220    18700   130900 | 2147483647    53075     62 |  0.002 % |
18.46/18.55	c |     57040 |     220    18700   130900 | 2147483647    53254     62 |  0.002 % |
18.57/18.69	c |     57233 |     220    18700   130900 | 2147483647    53447     62 |  0.002 % |
18.76/18.82	c |     57445 |     220    18700   130900 | 2147483647    53659     62 |  0.002 % |
18.86/18.99	c |     57678 |     220    18700   130900 | 2147483647    53892     62 |  0.002 % |
19.06/19.13	c |     57936 |     220    18700   130900 | 2147483647    54150     62 |  0.002 % |
19.26/19.31	c |     58218 |     220    18700   130900 | 2147483647    54432     62 |  0.002 % |
19.36/19.49	c |     58527 |     220    18700   130900 | 2147483647    54741     62 |  0.002 % |
19.66/19.73	c |     58867 |     220    18700   130900 | 2147483647    55081     62 |  0.002 % |
19.86/19.97	c |     59241 |     220    18700   130900 | 2147483647    55455     62 |  0.002 % |
20.16/20.24	c |     59650 |     220    18700   130900 | 2147483647    55864     62 |  0.002 % |
20.46/20.50	c |     60099 |     220    18700   130900 | 2147483647    56313     62 |  0.002 % |
20.76/20.84	c |     60593 |     220    18700   130900 | 2147483647    56807     62 |  0.002 % |
21.16/21.24	c |     61136 |     220    18700   130900 | 2147483647    57350     62 |  0.002 % |
21.55/21.67	c |     61733 |     220    18700   130900 | 2147483647    57947     62 |  0.002 % |
21.96/22.08	c |     62388 |     220    18700   130900 | 2147483647    58602     62 |  0.002 % |
22.45/22.50	c |     63110 |     220    18700   130900 | 2147483647    59324     62 |  0.002 % |
22.86/22.96	c |     63902 |     220    18700   130900 | 2147483647    60116     62 |  0.002 % |
22.96/23.03	c |     64003 |     220    18700   130900 | 2147483647    60217     62 |  0.002 % |
23.06/23.14	c |     64113 |     220    18700   130900 | 2147483647    60327     62 |  0.002 % |
23.16/23.24	c |     64235 |     220    18700   130900 | 2147483647    60449     62 |  0.002 % |
23.26/23.33	c |     64369 |     220    18700   130900 | 2147483647    60583     62 |  0.002 % |
23.36/23.43	c |     64515 |     220    18700   130900 | 2147483647    60729     62 |  0.002 % |
23.46/23.56	c |     64675 |     220    18700   130900 | 2147483647    60889     62 |  0.002 % |
23.66/23.70	c |     64851 |     220    18700   130900 | 2147483647    61065     62 |  0.002 % |
23.76/23.85	c |     65045 |     220    18700   130900 | 2147483647    61259     62 |  0.002 % |
23.96/24.04	c |     65258 |     220    18700   130900 | 2147483647    61472     62 |  0.002 % |
24.16/24.22	c |     65492 |     220    18700   130900 | 2147483647    61706     62 |  0.002 % |
24.36/24.40	c |     65748 |     220    18700   130900 | 2147483647    61962     62 |  0.002 % |
24.46/24.59	c |     66029 |     220    18700   130900 | 2147483647    62243     62 |  0.002 % |
24.76/24.86	c |     66339 |     220    18700   130900 | 2147483647    62553     62 |  0.002 % |
24.96/25.10	c |     66679 |     220    18700   130900 | 2147483647    62893     62 |  0.002 % |
25.27/25.39	c |     67053 |     220    18700   130900 | 2147483647    63267     62 |  0.002 % |
25.66/25.72	c |     67462 |     220    18700   130900 | 2147483647    63676     62 |  0.002 % |
25.96/26.07	c |     67911 |     220    18700   130900 | 2147483647    64125     62 |  0.002 % |
26.26/26.40	c |     68405 |     220    18700   130900 | 2147483647    64619     62 |  0.002 % |
26.66/26.74	c |     68947 |     220    18700   130900 | 2147483647    65161     62 |  0.002 % |
27.06/27.12	c |     69544 |     220    18700   130900 | 2147483647    65758     62 |  0.002 % |
27.56/27.64	c |     70200 |     220    18700   130900 | 2147483647    66414     62 |  0.002 % |
28.16/28.21	c |     70920 |     220    18700   130900 | 2147483647    67134     62 |  0.002 % |
28.65/28.72	c |     71714 |     220    18700   130900 | 2147483647    67928     62 |  0.002 % |
29.25/29.34	c |     72586 |     220    18700   130900 | 2147483647    68800     62 |  0.002 % |
29.35/29.46	c |     72687 |     220    18700   130900 | 2147483647    68901     62 |  0.002 % |
29.45/29.56	c |     72797 |     220    18700   130900 | 2147483647    69011     62 |  0.002 % |
29.56/29.66	c |     72918 |     220    18700   130900 | 2147483647    69132     62 |  0.002 % |
29.66/29.77	c |     73051 |     220    18700   130900 | 2147483647    69265     62 |  0.002 % |
29.85/29.91	c |     73197 |     220    18700   130900 | 2147483647    69411     62 |  0.002 % |
29.95/30.04	c |     73357 |     220    18700   130900 | 2147483647    69571     62 |  0.002 % |
30.05/30.19	c |     73533 |     220    18700   130900 | 2147483647    69747     62 |  0.002 % |
30.25/30.38	c |     73726 |     220    18700   130900 | 2147483647    69940     62 |  0.002 % |
30.45/30.58	c |     73939 |     220    18700   130900 | 2147483647    70153     62 |  0.002 % |
30.66/30.78	c |     74172 |     220    18700   130900 | 2147483647    70386     62 |  0.002 % |
30.85/31.00	c |     74428 |     220    18700   130900 | 2147483647    70642     62 |  0.002 % |
31.15/31.26	c |     74710 |     220    18700   130900 | 2147483647    70924     62 |  0.002 % |
31.45/31.50	c |     75019 |     220    18700   130900 | 2147483647    71233     62 |  0.002 % |
31.76/31.81	c |     75358 |     220    18700   130900 | 2147483647    71572     62 |  0.002 % |
32.05/32.12	c |     75730 |     220    18700   130900 | 2147483647    71944     62 |  0.002 % |
32.35/32.44	c |     76140 |     220    18700   130900 | 2147483647    72354     62 |  0.002 % |
32.65/32.78	c |     76590 |     220    18700   130900 | 2147483647    72804     62 |  0.002 % |
33.15/33.22	c |     77084 |     220    18700   130900 | 2147483647    73298     62 |  0.002 % |
33.65/33.74	c |     77628 |     220    18700   130900 | 2147483647    73842     62 |  0.002 % |
34.16/34.23	c |     78224 |     220    18700   130900 | 2147483647    74438     62 |  0.002 % |
34.66/34.76	c |     78881 |     220    18700   130900 | 2147483647    75095     62 |  0.002 % |
35.26/35.31	c |     79602 |     220    18700   130900 | 2147483647    75816     62 |  0.002 % |
35.86/35.93	c |     80396 |     220    18700   130900 | 2147483647    76610     62 |  0.002 % |
36.56/36.63	c |     81268 |     220    18700   130900 | 2147483647    77482     62 |  0.002 % |
37.26/37.33	c |     82226 |     220    18700   130900 | 2147483647    78440     62 |  0.002 % |
37.36/37.41	c |     82328 |     220    18700   130900 | 2147483647    78542     62 |  0.002 % |
37.36/37.49	c |     82438 |     220    18700   130900 | 2147483647    78652     62 |  0.002 % |
37.46/37.59	c |     82560 |     220    18700   130900 | 2147483647    78774     62 |  0.002 % |
37.66/37.76	c |     82693 |     220    18700   130900 | 2147483647    78907     62 |  0.002 % |
37.75/37.89	c |     82839 |     220    18700   130900 | 2147483647    79053     62 |  0.002 % |
37.95/38.04	c |     83000 |     220    18700   130900 | 2147483647    79214     62 |  0.002 % |
38.15/38.25	c |     83177 |     220    18700   130900 | 2147483647    79391     62 |  0.002 % |
38.36/38.43	c |     83371 |     220    18700   130900 | 2147483647    79585     62 |  0.002 % |
38.55/38.60	c |     83584 |     220    18700   130900 | 2147483647    79798     62 |  0.002 % |
38.75/38.83	c |     83821 |     220    18700   130900 | 2147483647    80035     62 |  0.002 % |
38.95/39.09	c |     84078 |     220    18700   130900 | 2147483647    80292     62 |  0.002 % |
39.25/39.38	c |     84360 |     220    18700   130900 | 2147483647    80574     62 |  0.002 % |
39.56/39.66	c |     84669 |     220    18700   130900 | 2147483647    80883     62 |  0.002 % |
39.85/39.98	c |     85008 |     220    18700   130900 | 2147483647    81222     62 |  0.002 % |
40.25/40.36	c |     85380 |     220    18700   130900 | 2147483647    81594     62 |  0.002 % |
40.65/40.71	c |     85790 |     220    18700   130900 | 2147483647    82004     62 |  0.002 % |
40.95/41.09	c |     86241 |     220    18700   130900 | 2147483647    82455     62 |  0.002 % |
41.45/41.52	c |     86736 |     220    18700   130900 | 2147483647    82950     62 |  0.002 % |
41.85/41.98	c |     87279 |     220    18700   130900 | 2147483647    83493     62 |  0.002 % |
42.35/42.48	c |     87877 |     220    18700   130900 | 2147483647    84091     62 |  0.002 % |
42.95/43.02	c |     88533 |     220    18700   130900 | 2147483647    84747     62 |  0.002 % |
43.75/43.80	c |     89253 |     220    18700   130900 | 2147483647    85467     62 |  0.002 % |
44.45/44.50	c |     90045 |     220    18700   130900 |    86216    86259     62 |  0.002 % |
45.25/45.34	c |     90917 |     220    18700   130900 |    86216    75514     62 |  0.002 % |
46.05/46.18	c |     91879 |     220    18700   130900 |    86216    76476     62 |  0.002 % |
46.95/47.04	c |     92932 |     220    18700   130900 |    86216    77529     62 |  0.002 % |
47.05/47.13	c |     93032 |     220    18700   130900 |    86216    77629     62 |  0.002 % |
47.15/47.26	c |     93142 |     220    18700   130900 |    86216    77739     62 |  0.002 % |
47.25/47.38	c |     93264 |     220    18700   130900 |    86216    77861     62 |  0.002 % |
47.45/47.50	c |     93397 |     220    18700   130900 |    86216    77994     62 |  0.002 % |
47.55/47.62	c |     93545 |     220    18700   130900 |    86216    78142     62 |  0.002 % |
47.65/47.78	c |     93707 |     220    18700   130900 |    86216    78304     62 |  0.002 % |
47.85/47.94	c |     93883 |     220    18700   130900 |    86216    78480     62 |  0.002 % |
48.05/48.15	c |     94076 |     220    18700   130900 |    86216    78673     62 |  0.002 % |
48.25/48.38	c |     94289 |     220    18700   130900 |    86216    78886     62 |  0.002 % |
48.55/48.62	c |     94522 |     220    18700   130900 |    86216    79119     62 |  0.002 % |
48.75/48.88	c |     94778 |     220    18700   130900 |    86216    79375     62 |  0.002 % |
49.05/49.15	c |     95059 |     220    18700   130900 |    86216    79656     62 |  0.002 % |
49.35/49.45	c |     95369 |     220    18700   130900 |    86216    79966     62 |  0.002 % |
49.65/49.77	c |     95708 |     220    18700   130900 |    86216    80305     62 |  0.002 % |
49.95/50.07	c |     96080 |     220    18700   130900 |    86216    80677     62 |  0.002 % |
50.35/50.45	c |     96489 |     220    18700   130900 |    86216    81086     62 |  0.002 % |
50.75/50.89	c |     96938 |     220    18700   130900 |    86216    81535     62 |  0.002 % |
51.25/51.34	c |     97432 |     220    18700   130900 |    86216    82029     62 |  0.002 % |
51.65/51.77	c |     97974 |     220    18700   130900 |    86216    82571     62 |  0.002 % |
52.25/52.31	c |     98572 |     220    18700   130900 |    86216    83169     62 |  0.002 % |
52.95/53.00	c |     99227 |     220    18700   130900 |    86216    83824     62 |  0.002 % |
53.55/53.65	c |     99947 |     220    18700   130900 |    86216    84544     62 |  0.002 % |
54.25/54.35	c |    100743 |     220    18700   130900 |    84599    72946     62 |  0.002 % |
54.85/54.98	c |    101614 |     220    18700   130900 |    84599    73817     62 |  0.002 % |
55.64/55.73	c |    102574 |     220    18700   130900 |    84599    74777     62 |  0.002 % |
56.64/56.78	c |    103627 |     220    18700   130900 |    84599    75830     62 |  0.002 % |
57.54/57.69	c |    104785 |     220    18700   130900 |    84599    76988     62 |  0.002 % |
57.64/57.79	c |    104888 |     220    18700   130900 |    84599    77091     62 |  0.002 % |
57.74/57.88	c |    104998 |     220    18700   130900 |    84599    77201     62 |  0.002 % |
57.94/58.00	c |    105121 |     220    18700   130900 |    84599    77324     62 |  0.002 % |
58.04/58.12	c |    105255 |     220    18700   130900 |    84599    77458     62 |  0.002 % |
58.15/58.23	c |    105403 |     220    18700   130900 |    84599    77606     62 |  0.002 % |
58.25/58.36	c |    105563 |     220    18700   130900 |    84599    77766     62 |  0.002 % |
58.44/58.56	c |    105740 |     220    18700   130900 |    84599    77943     62 |  0.002 % |
58.64/58.73	c |    105934 |     220    18700   130900 |    84599    78137     62 |  0.002 % |
58.84/58.93	c |    106148 |     220    18700   130900 |    84599    78351     62 |  0.002 % |
59.04/59.13	c |    106381 |     220    18700   130900 |    84599    78584     62 |  0.002 % |
59.25/59.37	c |    106637 |     220    18700   130900 |    84599    78840     62 |  0.002 % |
59.54/59.61	c |    106918 |     220    18700   130900 |    84599    79121     62 |  0.002 % |
59.74/59.87	c |    107228 |     220    18700   130900 |    84599    79431     62 |  0.002 % |
60.04/60.16	c |    107567 |     220    18700   130900 |    84599    79770     62 |  0.002 % |
60.45/60.54	c |    107939 |     220    18700   130900 |    84599    80142     62 |  0.002 % |
60.84/60.90	c |    108350 |     220    18700   130900 |    84599    80553     62 |  0.002 % |
61.14/61.28	c |    108799 |     220    18700   130900 |    84599    81002     62 |  0.002 % |
61.64/61.72	c |    109292 |     220    18700   130900 |    84599    81495     62 |  0.002 % |
62.14/62.22	c |    109834 |     220    18700   130900 |    84599    82037     62 |  0.002 % |
62.65/62.73	c |    110430 |     220    18700   130900 |    82206    71700     62 |  0.002 % |
63.14/63.20	c |    111086 |     220    18700   130900 |    82206    72356     62 |  0.002 % |
63.84/63.90	c |    111806 |     220    18700   130900 |    82206    73076     62 |  0.002 % |
64.44/64.52	c |    112598 |     220    18700   130900 |    82206    73868     62 |  0.002 % |
65.14/65.29	c |    113471 |     220    18700   130900 |    82206    74741     62 |  0.002 % |
66.04/66.16	c |    114429 |     220    18700   130900 |    82206    75699     62 |  0.002 % |
66.94/67.08	c |    115485 |     220    18700   130900 |    82206    76755     62 |  0.002 % |
67.94/68.10	c |    116643 |     220    18700   130900 |    82206    77913     62 |  0.002 % |
69.04/69.19	c |    117916 |     220    18700   130900 |    82206    79186     62 |  0.002 % |
69.14/69.26	c |    118016 |     220    18700   130900 |    82206    79286     62 |  0.002 % |
69.34/69.40	c |    118127 |     220    18700   130900 |    82206    79397     62 |  0.002 % |
69.44/69.52	c |    118250 |     220    18700   130900 |    82206    79520     62 |  0.002 % |
69.54/69.67	c |    118384 |     220    18700   130900 |    82206    79654     62 |  0.002 % |
69.74/69.81	c |    118530 |     220    18700   130900 |    82206    79800     62 |  0.002 % |
69.94/70.00	c |    118690 |     220    18700   130900 |    82206    79960     62 |  0.002 % |
70.04/70.19	c |    118866 |     220    18700   130900 |    82206    80136     62 |  0.002 % |
70.24/70.39	c |    119060 |     220    18700   130900 |    82206    80330     62 |  0.002 % |
70.54/70.64	c |    119272 |     220    18700   130900 |    82206    80542     62 |  0.002 % |
70.74/70.88	c |    119505 |     220    18700   130900 |    82206    80775     62 |  0.002 % |
71.04/71.18	c |    119761 |     220    18700   130900 |    82206    81031     62 |  0.002 % |
71.34/71.47	c |    120043 |     220    18700   130900 |    81271    81313     62 |  0.002 % |
71.74/71.85	c |    120352 |     220    18700   130900 |    81271    70326     62 |  0.002 % |
72.04/72.12	c |    120691 |     220    18700   130900 |    81271    70665     62 |  0.002 % |
72.35/72.41	c |    121065 |     220    18700   130900 |    81271    71039     62 |  0.002 % |
72.65/72.76	c |    121474 |     220    18700   130900 |    81271    71448     62 |  0.002 % |
73.05/73.11	c |    121923 |     220    18700   130900 |    81271    71897     62 |  0.002 % |
73.45/73.50	c |    122416 |     220    18700   130900 |    81271    72390     62 |  0.002 % |
73.85/73.95	c |    122959 |     220    18700   130900 |    81271    72933     62 |  0.002 % |
74.35/74.40	c |    123556 |     220    18700   130900 |    81271    73530     62 |  0.002 % |
74.95/75.00	c |    124211 |     220    18700   130900 |    81271    74185     62 |  0.002 % |
75.45/75.59	c |    124932 |     220    18700   130900 |    81271    74906     62 |  0.002 % |
76.15/76.21	c |    125724 |     220    18700   130900 |    81271    75698     62 |  0.002 % |
76.75/76.85	c |    126595 |     220    18700   130900 |    81271    76569     62 |  0.002 % |
77.65/77.73	c |    127554 |     220    18700   130900 |    81271    77528     62 |  0.002 % |
78.75/78.81	c |    128608 |     220    18700   130900 |    81271    78582     62 |  0.002 % |
79.65/79.78	c |    129768 |     220    18700   130900 |    81271    79742     62 |  0.002 % |
80.65/80.78	c |    131042 |     220    18700   130900 |    79974    70484     62 |  0.002 % |
81.84/81.97	c |    132442 |     220    18700   130900 |    79974    71884     62 |  0.002 % |
81.94/82.06	c |    132542 |     220    18700   130900 |    79974    71984     62 |  0.002 % |
82.04/82.17	c |    132652 |     220    18700   130900 |    79974    72094     62 |  0.002 % |
82.14/82.28	c |    132773 |     220    18700   130900 |    79974    72215     62 |  0.002 % |
82.35/82.42	c |    132912 |     220    18700   130900 |    79974    72354     62 |  0.002 % |
82.45/82.54	c |    133058 |     220    18700   130900 |    79974    72500     62 |  0.002 % |
82.64/82.72	c |    133221 |     220    18700   130900 |    79974    72663     62 |  0.002 % |
82.84/82.91	c |    133397 |     220    18700   130900 |    79974    72839     62 |  0.002 % |
82.94/83.08	c |    133593 |     220    18700   130900 |    79974    73035     62 |  0.002 % |
83.24/83.31	c |    133805 |     220    18700   130900 |    79974    73247     62 |  0.002 % |
83.45/83.51	c |    134038 |     220    18700   130900 |    79974    73480     62 |  0.002 % |
83.64/83.76	c |    134297 |     220    18700   130900 |    79974    73739     62 |  0.002 % |
83.94/84.00	c |    134578 |     220    18700   130900 |    79974    74020     62 |  0.002 % |
84.24/84.33	c |    134888 |     220    18700   130900 |    79974    74330     62 |  0.002 % |
84.55/84.66	c |    135228 |     220    18700   130900 |    79974    74670     62 |  0.002 % |
84.85/84.98	c |    135600 |     220    18700   130900 |    79974    75042     62 |  0.002 % |
85.25/85.31	c |    136009 |     220    18700   130900 |    79974    75451     62 |  0.002 % |
85.65/85.76	c |    136458 |     220    18700   130900 |    79974    75900     62 |  0.002 % |
86.04/86.14	c |    136952 |     220    18700   130900 |    79974    76394     62 |  0.002 % |
86.54/86.62	c |    137494 |     220    18700   130900 |    79974    76936     62 |  0.002 % |
87.04/87.11	c |    138090 |     220    18700   130900 |    79974    77532     62 |  0.002 % |
87.54/87.69	c |    138746 |     220    18700   130900 |    79974    78188     62 |  0.002 % |
88.14/88.28	c |    139467 |     220    18700   130900 |    79974    78909     62 |  0.002 % |
88.95/89.03	c |    140259 |     220    18700   130900 |    79445    69613     62 |  0.002 % |
89.64/89.75	c |    141131 |     220    18700   130900 |    79445    70485     62 |  0.002 % |
90.44/90.51	c |    142091 |     220    18700   130900 |    79445    71445     62 |  0.002 % |
91.44/91.52	c |    143145 |     220    18700   130900 |    79445    72499     62 |  0.002 % |
92.35/92.46	c |    144306 |     220    18700   130900 |    79445    73660     62 |  0.002 % |
93.54/93.61	c |    145580 |     220    18700   130900 |    79445    74934     62 |  0.002 % |
94.64/94.80	c |    146983 |     220    18700   130900 |    79445    76337     62 |  0.002 % |
95.94/96.00	c |    148524 |     220    18700   130900 |    79445    77878     62 |  0.002 % |
96.04/96.13	c |    148625 |     220    18700   130900 |    79445    77979     62 |  0.002 % |
96.14/96.24	c |    148735 |     220    18700   130900 |    79445    78089     62 |  0.002 % |
96.24/96.36	c |    148856 |     220    18700   130900 |    79445    78210     62 |  0.002 % |
96.34/96.48	c |    148989 |     220    18700   130900 |    79445    78343     62 |  0.002 % |
96.54/96.63	c |    149135 |     220    18700   130900 |    79445    78489     62 |  0.002 % |
96.65/96.76	c |    149297 |     220    18700   130900 |    79445    78651     62 |  0.002 % |
96.84/96.92	c |    149473 |     220    18700   130900 |    79445    78827     62 |  0.002 % |
96.94/97.10	c |    149668 |     220    18700   130900 |    79445    79022     62 |  0.002 % |
97.14/97.28	c |    149880 |     220    18700   130900 |    79445    79234     62 |  0.002 % |
97.44/97.53	c |    150113 |     220    18700   130900 |    79354    69441     62 |  0.002 % |
97.64/97.70	c |    150369 |     220    18700   130900 |    79354    69697     62 |  0.002 % |
97.75/97.88	c |    150650 |     220    18700   130900 |    79354    69978     62 |  0.002 % |
97.94/98.09	c |    150962 |     220    18700   130900 |    79354    70290     62 |  0.002 % |
98.24/98.34	c |    151301 |     220    18700   130900 |    79354    70629     62 |  0.002 % |
98.44/98.57	c |    151674 |     220    18700   130900 |    79354    71002     62 |  0.002 % |
98.74/98.83	c |    152085 |     220    18700   130900 |    79354    71413     62 |  0.002 % |
99.14/99.29	c |    152536 |     220    18700   130900 |    79354    71864     62 |  0.002 % |
99.64/99.73	c |    153030 |     220    18700   130900 |    79354    72358     62 |  0.002 % |
100.14/100.23	c |    153574 |     220    18700   130900 |    79354    72902     62 |  0.002 % |
100.64/100.79	c |    154170 |     220    18700   130900 |    79354    73498     62 |  0.002 % |
101.24/101.30	c |    154825 |     220    18700   130900 |    79354    74153     62 |  0.002 % |
101.74/101.88	c |    155545 |     220    18700   130900 |    79354    74873     62 |  0.002 % |
102.44/102.57	c |    156337 |     220    18700   130900 |    79354    75665     62 |  0.002 % |
103.24/103.30	c |    157208 |     220    18700   130900 |    79354    76536     62 |  0.002 % |
103.94/104.08	c |    158167 |     220    18700   130900 |    79354    77495     62 |  0.002 % |
104.84/104.96	c |    159222 |     220    18700   130900 |    79354    78550     62 |  0.002 % |
105.74/105.89	c |    160381 |     220    18700   130900 |    79328    70160     62 |  0.002 % |
106.64/106.79	c |    161654 |     220    18700   130900 |    79328    71433     62 |  0.002 % |
107.64/107.77	c |    163054 |     220    18700   130900 |    79328    72833     62 |  0.002 % |
109.04/109.11	c |    164594 |     220    18700   130900 |    79328    74373     63 |  0.002 % |
110.44/110.59	c |    166288 |     220    18700   130900 |    79328    76067     63 |  0.002 % |
110.54/110.67	c |    166388 |     220    18700   130900 |    79328    76167     63 |  0.002 % |
110.64/110.76	c |    166498 |     220    18700   130900 |    79328    76277     63 |  0.002 % |
110.74/110.85	c |    166619 |     220    18700   130900 |    79328    76398     63 |  0.002 % |
110.84/110.97	c |    166752 |     220    18700   130900 |    79328    76531     63 |  0.002 % |
111.04/111.11	c |    166899 |     220    18700   130900 |    79328    76678     63 |  0.002 % |
111.14/111.25	c |    167059 |     220    18700   130900 |    79328    76838     63 |  0.002 % |
111.34/111.44	c |    167235 |     220    18700   130900 |    79328    77014     63 |  0.002 % |
111.54/111.61	c |    167430 |     220    18700   130900 |    79328    77209     62 |  0.002 % |
111.64/111.79	c |    167642 |     220    18700   130900 |    79328    77421     62 |  0.002 % |
111.84/111.96	c |    167876 |     220    18700   130900 |    79328    77655     62 |  0.002 % |
112.04/112.15	c |    168133 |     220    18700   130900 |    79328    77912     62 |  0.002 % |
112.24/112.36	c |    168415 |     220    18700   130900 |    79328    78194     62 |  0.002 % |
112.44/112.59	c |    168726 |     220    18700   130900 |    79328    78505     62 |  0.002 % |
112.74/112.85	c |    169065 |     220    18700   130900 |    79328    78844     62 |  0.002 % |
113.14/113.25	c |    169437 |     220    18700   130900 |    79328    79216     63 |  0.002 % |
113.64/113.72	c |    169846 |     220    18700   130900 |    79328    69993     63 |  0.002 % |
114.04/114.14	c |    170296 |     220    18700   130900 |    70148    61980     63 |  0.002 % |
114.44/114.50	c |    170789 |     220    18700   130900 |    70148    62473     63 |  0.002 % |
114.74/114.87	c |    171331 |     220    18700   130900 |    70148    63015     63 |  0.002 % |
115.14/115.25	c |    171928 |     220    18700   130900 |    70148    63612     63 |  0.002 % |
115.54/115.66	c |    172583 |     220    18700   130900 |    70148    64267     63 |  0.002 % |
116.14/116.26	c |    173303 |     220    18700   130900 |    70148    64987     63 |  0.002 % |
116.74/116.83	c |    174096 |     220    18700   130900 |    70148    65780     63 |  0.002 % |
117.34/117.47	c |    174969 |     220    18700   130900 |    70148    66653     63 |  0.002 % |
118.03/118.18	c |    175927 |     220    18700   130900 |    70148    67611     63 |  0.002 % |
118.83/118.96	c |    176983 |     220    18700   130900 |    70148    68667     63 |  0.002 % |
119.74/119.87	c |    178142 |     220    18700   130900 |    70148    69826     63 |  0.002 % |
120.63/120.77	c |    179417 |     220    18700   130900 |    70148    64076     63 |  0.002 % |
121.63/121.71	c |    180821 |     220    18700   130900 | 2147483647    65480     63 |  0.002 % |
122.63/122.75	c |    182362 |     220    18700   130900 | 2147483647    67021     63 |  0.002 % |
123.73/123.87	c |    184058 |     220    18700   130900 | 2147483647    68717     63 |  0.002 % |
125.13/125.28	c |    185922 |     220    18700   130900 | 2147483647    70581     63 |  0.002 % |
125.24/125.36	c |    186022 |     220    18700   130900 | 2147483647    70681     63 |  0.002 % |
125.34/125.47	c |    186132 |     220    18700   130900 | 2147483647    70791     63 |  0.002 % |
125.43/125.57	c |    186256 |     220    18700   130900 | 2147483647    70915     63 |  0.002 % |
125.53/125.68	c |    186389 |     220    18700   130900 | 2147483647    71048     63 |  0.002 % |
125.73/125.80	c |    186535 |     220    18700   130900 | 2147483647    71194     63 |  0.002 % |
125.83/125.98	c |    186696 |     220    18700   130900 | 2147483647    71355     63 |  0.002 % |
126.03/126.15	c |    186872 |     220    18700   130900 | 2147483647    71531     63 |  0.002 % |
126.23/126.33	c |    187065 |     220    18700   130900 | 2147483647    71724     63 |  0.002 % |
126.44/126.53	c |    187277 |     220    18700   130900 | 2147483647    71936     63 |  0.002 % |
126.63/126.74	c |    187510 |     220    18700   130900 | 2147483647    72169     63 |  0.002 % |
126.83/126.98	c |    187766 |     220    18700   130900 | 2147483647    72425     63 |  0.002 % |
127.13/127.22	c |    188047 |     220    18700   130900 | 2147483647    72706     63 |  0.002 % |
127.33/127.50	c |    188357 |     220    18700   130900 | 2147483647    73016     63 |  0.002 % |
127.63/127.77	c |    188696 |     220    18700   130900 | 2147483647    73355     63 |  0.002 % |
127.93/128.07	c |    189069 |     220    18700   130900 | 2147483647    73728     63 |  0.002 % |
128.33/128.46	c |    189478 |     220    18700   130900 | 2147483647    74137     63 |  0.002 % |
128.73/128.89	c |    189927 |     220    18700   130900 | 2147483647    74586     63 |  0.002 % |
129.23/129.31	c |    190420 |     220    18700   130900 | 2147483647    75079     63 |  0.002 % |
129.64/129.75	c |    190962 |     220    18700   130900 | 2147483647    75621     63 |  0.002 % |
130.13/130.20	c |    191559 |     220    18700   130900 | 2147483647    76218     63 |  0.002 % |
130.73/130.88	c |    192217 |     220    18700   130900 | 2147483647    76876     63 |  0.002 % |
131.43/131.50	c |    192937 |     220    18700   130900 | 2147483647    77596     63 |  0.002 % |
132.03/132.17	c |    193730 |     220    18700   130900 | 2147483647    78389     63 |  0.002 % |
132.73/132.88	c |    194601 |     220    18700   130900 | 2147483647    79260     63 |  0.002 % |
133.53/133.61	c |    195559 |     220    18700   130900 | 2147483647    80218     63 |  0.002 % |
134.53/134.69	c |    196612 |     220    18700   130900 | 2147483647    81271     63 |  0.002 % |
135.63/135.78	c |    197771 |     220    18700   130900 | 2147483647    82430     63 |  0.002 % |
136.73/136.83	c |    199045 |     220    18700   130900 | 2147483647    83704     63 |  0.002 % |
138.13/138.26	c |    200445 |     220    18700   130900 |    84660    73711     63 |  0.002 % |
139.43/139.55	c |    201985 |     220    18700   130900 |    84660    75251     63 |  0.002 % |
140.73/140.84	c |    203679 |     220    18700   130900 |    84660    76945     63 |  0.002 % |
142.23/142.36	c |    205542 |     220    18700   130900 |    84660    78808     63 |  0.002 % |
144.03/144.14	c |    207591 |     220    18700   130900 |    84660    80857     63 |  0.002 % |
144.13/144.25	c |    207693 |     220    18700   130900 |    84660    80959     63 |  0.002 % |
144.23/144.36	c |    207803 |     220    18700   130900 |    84660    81069     63 |  0.002 % |
144.43/144.50	c |    207924 |     220    18700   130900 |    84660    81190     63 |  0.002 % |
144.53/144.61	c |    208057 |     220    18700   130900 |    84660    81323     63 |  0.002 % |
144.63/144.77	c |    208206 |     220    18700   130900 |    84660    81472     63 |  0.002 % |
144.83/144.93	c |    208366 |     220    18700   130900 |    84660    81632     63 |  0.002 % |
144.93/145.08	c |    208542 |     220    18700   130900 |    84660    81808     63 |  0.002 % |
145.23/145.30	c |    208735 |     220    18700   130900 |    84660    82001     63 |  0.002 % |
145.33/145.48	c |    208948 |     220    18700   130900 |    84660    82214     63 |  0.002 % |
145.52/145.69	c |    209181 |     220    18700   130900 |    84660    82447     63 |  0.002 % |
145.82/145.93	c |    209437 |     220    18700   130900 |    84660    82703     63 |  0.002 % |
146.13/146.21	c |    209720 |     220    18700   130900 |    84660    82986     63 |  0.002 % |
146.32/146.49	c |    210029 |     220    18700   130900 |    83266    83295     63 |  0.002 % |
146.72/146.88	c |    210368 |     220    18700   130900 |    83266    72080     63 |  0.002 % |
147.02/147.18	c |    210741 |     220    18700   130900 |    83266    72453     63 |  0.002 % |
147.33/147.49	c |    211151 |     220    18700   130900 |    83266    72863     63 |  0.002 % |
147.72/147.84	c |    211600 |     220    18700   130900 |    83266    73312     63 |  0.002 % |
148.02/148.19	c |    212094 |     220    18700   130900 |    83266    73806     63 |  0.002 % |
148.62/148.71	c |    212636 |     220    18700   130900 |    83266    74348     63 |  0.002 % |
149.02/149.20	c |    213234 |     220    18700   130900 |    83266    74946     63 |  0.002 % |
149.62/149.76	c |    213890 |     220    18700   130900 |    83266    75602     63 |  0.002 % |
150.22/150.33	c |    214610 |     220    18700   130900 |    83266    76322     63 |  0.002 % |
150.82/150.98	c |    215402 |     220    18700   130900 |    83266    77114     63 |  0.002 % |
151.63/151.71	c |    216273 |     220    18700   130900 |    83266    77985     63 |  0.002 % |
152.32/152.45	c |    217232 |     220    18700   130900 |    83266    78944     63 |  0.002 % |
153.22/153.37	c |    218285 |     220    18700   130900 |    83266    79997     63 |  0.002 % |
154.12/154.23	c |    219444 |     220    18700   130900 |    83266    81156     63 |  0.002 % |
155.12/155.26	c |    220717 |     220    18700   130900 |    81712    72007     63 |  0.002 % |
156.13/156.28	c |    222117 |     220    18700   130900 |    81712    73407     63 |  0.002 % |
157.23/157.38	c |    223657 |     220    18700   130900 |    81712    74947     63 |  0.002 % |
158.42/158.55	c |    225351 |     220    18700   130900 |    81712    76641     63 |  0.002 % |
159.72/159.82	c |    227214 |     220    18700   130900 |    81712    78504     63 |  0.002 % |
161.12/161.26	c |    229265 |     220    18700   130900 |    81712    80555     63 |  0.002 % |
162.82/162.97	c |    231519 |     220    18700   130900 | 2147483647    82809     63 |  0.002 % |
163.02/163.11	c |    231620 |     220    18700   130900 | 2147483647    82910     63 |  0.002 % |
163.12/163.24	c |    231731 |     220    18700   130900 | 2147483647    83021     63 |  0.002 % |
163.22/163.36	c |    231853 |     220    18700   130900 | 2147483647    83143     63 |  0.002 % |
163.32/163.49	c |    231988 |     220    18700   130900 | 2147483647    83278     63 |  0.002 % |
163.52/163.64	c |    232134 |     220    18700   130900 | 2147483647    83424     63 |  0.002 % |
163.72/163.80	c |    232295 |     220    18700   130900 | 2147483647    83585     63 |  0.002 % |
163.82/163.96	c |    232472 |     220    18700   130900 | 2147483647    83762     63 |  0.002 % |
164.02/164.16	c |    232668 |     220    18700   130900 | 2147483647    83958     63 |  0.002 % |
164.22/164.36	c |    232881 |     220    18700   130900 | 2147483647    84171     63 |  0.002 % |
164.42/164.57	c |    233114 |     220    18700   130900 | 2147483647    84404     63 |  0.002 % |
164.62/164.77	c |    233370 |     220    18700   130900 | 2147483647    84660     63 |  0.002 % |
164.92/165.01	c |    233651 |     220    18700   130900 | 2147483647    84941     63 |  0.002 % |
165.12/165.28	c |    233961 |     220    18700   130900 | 2147483647    85251     63 |  0.002 % |
165.42/165.55	c |    234300 |     220    18700   130900 | 2147483647    85590     63 |  0.002 % |
165.72/165.87	c |    234673 |     220    18700   130900 | 2147483647    85963     63 |  0.002 % |
166.12/166.21	c |    235082 |     220    18700   130900 | 2147483647    86372     63 |  0.002 % |
166.62/166.70	c |    235531 |     220    18700   130900 | 2147483647    86821     63 |  0.002 % |
167.12/167.23	c |    236024 |     220    18700   130900 | 2147483647    87314     63 |  0.002 % |
167.61/167.77	c |    236566 |     220    18700   130900 | 2147483647    87856     63 |  0.002 % |
168.23/168.36	c |    237163 |     220    18700   130900 | 2147483647    88453     63 |  0.002 % |
168.82/168.98	c |    237821 |     220    18700   130900 | 2147483647    89111     63 |  0.002 % |
169.52/169.62	c |    238542 |     220    18700   130900 | 2147483647    89832     63 |  0.002 % |
170.33/170.48	c |    239334 |     220    18700   130900 | 2147483647    90624     63 |  0.002 % |
171.22/171.32	c |    240205 |     220    18700   130900 |    91292    77349     63 |  0.002 % |
171.92/172.05	c |    241163 |     220    18700   130900 |    91292    78307     63 |  0.002 % |
172.72/172.89	c |    242216 |     220    18700   130900 |    91292    79360     63 |  0.002 % |
173.72/173.87	c |    243374 |     220    18700   130900 |    91292    80518     63 |  0.002 % |
174.82/174.90	c |    244649 |     220    18700   130900 |    91292    81793     63 |  0.002 % |
175.92/176.05	c |    246049 |     220    18700   130900 |    91292    83193     63 |  0.002 % |
177.42/177.56	c |    247589 |     220    18700   130900 |    91292    84733     63 |  0.002 % |
179.02/179.17	c |    249283 |     220    18700   130900 |    91292    86427     63 |  0.002 % |
180.72/180.87	c |    251147 |     220    18700   130900 |    87146    75183     63 |  0.002 % |
182.32/182.40	c |    253198 |     220    18700   130900 |    87146    77234     63 |  0.002 % |
183.82/183.99	c |    255452 |     220    18700   130900 |    87146    79488     63 |  0.002 % |
185.82/185.93	c |    257931 |     220    18700   130900 |    87146    81967     63 |  0.002 % |
185.92/186.02	c |    258032 |     220    18700   130900 |    87146    82068     63 |  0.002 % |
186.02/186.15	c |    258142 |     220    18700   130900 |    87146    82178     63 |  0.002 % |
186.12/186.29	c |    258263 |     220    18700   130900 |    87146    82299     63 |  0.002 % |
186.32/186.42	c |    258396 |     220    18700   130900 |    87146    82432     63 |  0.002 % |
186.42/186.57	c |    258542 |     220    18700   130900 |    87146    82578     63 |  0.002 % |
186.62/186.77	c |    258703 |     220    18700   130900 |    87146    82739     63 |  0.002 % |
186.82/186.94	c |    258879 |     220    18700   130900 |    87146    82915     63 |  0.002 % |
187.02/187.14	c |    259072 |     220    18700   130900 |    87146    83108     63 |  0.002 % |
187.22/187.36	c |    259284 |     220    18700   130900 |    87146    83320     63 |  0.002 % |
187.52/187.61	c |    259517 |     220    18700   130900 |    87146    83553     63 |  0.002 % |
187.72/187.90	c |    259774 |     220    18700   130900 |    87146    83810     63 |  0.002 % |
188.02/188.17	c |    260056 |     220    18700   130900 |    84036    84092     63 |  0.002 % |
188.41/188.53	c |    260366 |     220    18700   130900 |    84036    73254     63 |  0.002 % |
188.61/188.80	c |    260705 |     220    18700   130900 |    84036    73593     63 |  0.002 % |
188.91/189.06	c |    261077 |     220    18700   130900 |    84036    73965     63 |  0.002 % |
189.31/189.43	c |    261486 |     220    18700   130900 |    84036    74374     63 |  0.002 % |
189.61/189.78	c |    261935 |     220    18700   130900 |    84036    74823     63 |  0.002 % |
190.01/190.16	c |    262431 |     220    18700   130900 |    84036    75319     63 |  0.002 % |
190.41/190.58	c |    262973 |     220    18700   130900 |    84036    75861     63 |  0.002 % |
190.91/191.02	c |    263570 |     220    18700   130900 |    84036    76458     63 |  0.002 % |
191.41/191.57	c |    264225 |     220    18700   130900 |    84036    77113     63 |  0.002 % |
192.01/192.13	c |    264946 |     220    18700   130900 |    84036    77834     63 |  0.002 % |
192.61/192.79	c |    265740 |     220    18700   130900 |    84036    78628     63 |  0.002 % |
193.31/193.47	c |    266611 |     220    18700   130900 |    84036    79499     63 |  0.002 % |
194.11/194.22	c |    267570 |     220    18700   130900 |    84036    80458     63 |  0.002 % |
195.01/195.15	c |    268623 |     220    18700   130900 |    84036    81511     63 |  0.002 % |
196.01/196.10	c |    269781 |     220    18700   130900 |    84036    82669     63 |  0.002 % |
197.01/197.10	c |    271056 |     220    18700   130900 |    82889    73644     63 |  0.002 % |
198.21/198.35	c |    272456 |     220    18700   130900 |    82889    75044     63 |  0.002 % |
199.41/199.58	c |    273997 |     220    18700   130900 |    82889    76585     63 |  0.002 % |
200.81/200.93	c |    275693 |     220    18700   130900 |    82889    78281     63 |  0.002 % |
202.31/202.44	c |    277557 |     220    18700   130900 |    82889    80145     63 |  0.002 % |
204.11/204.26	c |    279606 |     220    18700   130900 |    82889    82194     63 |  0.002 % |
205.91/206.07	c |    281859 |     220    18700   130900 |    82588    74120     62 |  0.002 % |
207.71/207.85	c |    284337 |     220    18700   130900 |    82588    76598     62 |  0.002 % |
209.71/209.81	c |    287065 |     220    18700   130900 |    82588    79326     63 |  0.002 % |
209.81/209.94	c |    287166 |     220    18700   130900 |    82588    79427     63 |  0.002 % |
209.91/210.04	c |    287279 |     220    18700   130900 |    82588    79540     63 |  0.002 % |
210.01/210.15	c |    287401 |     220    18700   130900 |    82588    79662     63 |  0.002 % |
210.11/210.29	c |    287534 |     220    18700   130900 |    82588    79795     63 |  0.002 % |
210.31/210.46	c |    287680 |     220    18700   130900 |    82588    79941     63 |  0.002 % |
210.51/210.64	c |    287840 |     220    18700   130900 |    82588    80101     63 |  0.002 % |
210.61/210.78	c |    288016 |     220    18700   130900 |    82588    80277     63 |  0.002 % |
210.91/211.01	c |    288209 |     220    18700   130900 |    82588    80470     63 |  0.002 % |
211.11/211.22	c |    288421 |     220    18700   130900 |    82588    80682     63 |  0.002 % |
211.31/211.45	c |    288654 |     220    18700   130900 |    82588    80915     63 |  0.002 % |
211.51/211.68	c |    288913 |     220    18700   130900 |    82588    81174     63 |  0.002 % |
211.81/211.92	c |    289194 |     220    18700   130900 |    82588    81455     63 |  0.002 % |
212.01/212.19	c |    289503 |     220    18700   130900 |    82588    81764     63 |  0.002 % |
212.41/212.55	c |    289842 |     220    18700   130900 |    82588    82103     63 |  0.002 % |
212.81/212.98	c |    290214 |     220    18700   130900 |    82262    72639     62 |  0.002 % |
213.11/213.30	c |    290625 |     220    18700   130900 |    82262    73050     62 |  0.002 % |
213.51/213.66	c |    291076 |     220    18700   130900 |    82262    73501     62 |  0.002 % |
214.01/214.12	c |    291571 |     220    18700   130900 |    82262    73996     62 |  0.002 % |
214.51/214.64	c |    292114 |     220    18700   130900 |    82262    74539     62 |  0.002 % |
215.01/215.12	c |    292710 |     220    18700   130900 |    82262    75135     62 |  0.002 % |
215.51/215.69	c |    293366 |     220    18700   130900 |    82262    75791     62 |  0.002 % |
216.21/216.31	c |    294087 |     220    18700   130900 |    82262    76512     62 |  0.002 % |
216.81/216.95	c |    294880 |     220    18700   130900 |    82262    77305     62 |  0.002 % |
217.51/217.64	c |    295751 |     220    18700   130900 |    82262    78176     62 |  0.002 % |
218.21/218.35	c |    296709 |     220    18700   130900 |    82262    79134     62 |  0.002 % |
219.11/219.24	c |    297763 |     220    18700   130900 |    82262    80188     62 |  0.002 % |
220.11/220.21	c |    298921 |     220    18700   130900 |    82262    81346     63 |  0.002 % |
221.21/221.33	c |    300195 |     220    18700   130900 |    72252    63618     63 |  0.002 % |
222.21/222.30	c |    301596 |     220    18700   130900 |    72252    65019     63 |  0.002 % |
223.31/223.44	c |    303136 |     220    18700   130900 |    72252    66559     63 |  0.002 % |
224.50/224.68	c |    304830 |     220    18700   130900 |    72252    68253     63 |  0.002 % |
225.80/225.92	c |    306693 |     220    18700   130900 |    72252    70116     63 |  0.002 % |
227.30/227.44	c |    308742 |     220    18700   130900 |    72252    72165     63 |  0.002 % |
228.80/228.94	c |    310995 |     220    18700   130900 | 2147483647    67183     63 |  0.002 % |
230.40/230.56	c |    313475 |     220    18700   130900 | 2147483647    69663     63 |  0.002 % |
232.20/232.36	c |    316201 |     220    18700   130900 | 2147483647    72389     63 |  0.002 % |
234.30/234.48	c |    319199 |     220    18700   130900 | 2147483647    75387     63 |  0.002 % |
234.40/234.57	c |    319301 |     220    18700   130900 | 2147483647    75489     63 |  0.002 % |
234.50/234.65	c |    319411 |     220    18700   130900 | 2147483647    75599     63 |  0.002 % |
234.60/234.75	c |    319533 |     220    18700   130900 | 2147483647    75721     63 |  0.002 % |
234.80/234.90	c |    319667 |     220    18700   130900 | 2147483647    75855     63 |  0.002 % |
234.90/235.02	c |    319813 |     220    18700   130900 | 2147483647    76001     63 |  0.002 % |
235.00/235.16	c |    319973 |     220    18700   130900 | 2147483647    76161     63 |  0.002 % |
235.21/235.31	c |    320152 |     220    18700   130900 | 2147483647    76340     63 |  0.002 % |
235.40/235.50	c |    320347 |     220    18700   130900 | 2147483647    76535     63 |  0.002 % |
235.50/235.68	c |    320559 |     220    18700   130900 | 2147483647    76747     63 |  0.002 % |
235.80/235.95	c |    320794 |     220    18700   130900 | 2147483647    76982     63 |  0.002 % |
236.10/236.20	c |    321053 |     220    18700   130900 | 2147483647    77241     63 |  0.002 % |
236.40/236.50	c |    321335 |     220    18700   130900 | 2147483647    77523     63 |  0.002 % |
236.60/236.78	c |    321644 |     220    18700   130900 | 2147483647    77832     63 |  0.002 % |
237.00/237.10	c |    321983 |     220    18700   130900 | 2147483647    78171     63 |  0.002 % |
237.30/237.44	c |    322355 |     220    18700   130900 | 2147483647    78543     63 |  0.002 % |
237.70/237.81	c |    322764 |     220    18700   130900 | 2147483647    78952     63 |  0.002 % |
238.10/238.22	c |    323215 |     220    18700   130900 | 2147483647    79403     63 |  0.002 % |
238.50/238.66	c |    323708 |     220    18700   130900 | 2147483647    79896     63 |  0.002 % |
238.90/239.09	c |    324251 |     220    18700   130900 | 2147483647    80439     63 |  0.002 % |
239.40/239.57	c |    324847 |     220    18700   130900 | 2147483647    81035     63 |  0.002 % |
240.00/240.12	c |    325502 |     220    18700   130900 | 2147483647    81690     63 |  0.002 % |
240.70/240.80	c |    326222 |     220    18700   130900 | 2147483647    82410     63 |  0.002 % |
241.40/241.51	c |    327017 |     220    18700   130900 | 2147483647    83205     63 |  0.002 % |
242.20/242.33	c |    327888 |     220    18700   130900 | 2147483647    84076     63 |  0.002 % |
243.00/243.16	c |    328849 |     220    18700   130900 | 2147483647    85037     63 |  0.002 % |
244.00/244.10	c |    329902 |     220    18700   130900 | 2147483647    86090     63 |  0.002 % |
244.99/245.19	c |    331062 |     220    18700   130900 |    86188    75236     63 |  0.002 % |
246.20/246.31	c |    332335 |     220    18700   130900 |    86188    76509     63 |  0.002 % |
247.30/247.42	c |    333735 |     220    18700   130900 |    86188    77909     63 |  0.002 % |
248.59/248.79	c |    335276 |     220    18700   130900 |    86188    79450     63 |  0.002 % |
250.09/250.23	c |    336970 |     220    18700   130900 |    86188    81144     63 |  0.002 % |
251.70/251.88	c |    338834 |     220    18700   130900 |    86188    83008     63 |  0.002 % |
253.29/253.48	c |    340883 |     220    18700   130900 |    84175    73706     63 |  0.002 % |
254.89/255.03	c |    343136 |     220    18700   130900 |    84175    75959     63 |  0.002 % |
256.79/256.95	c |    345614 |     220    18700   130900 |    84175    78437     63 |  0.002 % |
258.89/259.05	c |    348339 |     220    18700   130900 |    84175    81162     63 |  0.002 % |
261.29/261.47	c |    351336 |     220    18700   130900 |    82824    74984     63 |  0.002 % |
263.69/263.90	c |    354633 |     220    18700   130900 |    82824    78281     63 |  0.002 % |
263.79/263.99	c |    354735 |     220    18700   130900 |    82824    78383     63 |  0.002 % |
263.89/264.08	c |    354845 |     220    18700   130900 |    82824    78493     63 |  0.002 % |
263.99/264.18	c |    354968 |     220    18700   130900 |    82824    78616     63 |  0.002 % |
264.09/264.28	c |    355102 |     220    18700   130900 |    82824    78750     63 |  0.002 % |
264.29/264.43	c |    355250 |     220    18700   130900 |    82824    78898     63 |  0.002 % |
264.39/264.56	c |    355411 |     220    18700   130900 |    82824    79059     63 |  0.002 % |
264.59/264.71	c |    355587 |     220    18700   130900 |    82824    79235     63 |  0.002 % |
264.79/264.94	c |    355781 |     220    18700   130900 |    82824    79429     63 |  0.002 % |
264.99/265.16	c |    355993 |     220    18700   130900 |    82824    79641     63 |  0.002 % |
265.19/265.38	c |    356226 |     220    18700   130900 |    82824    79874     63 |  0.002 % |
265.49/265.61	c |    356482 |     220    18700   130900 |    82824    80130     63 |  0.002 % |
265.69/265.86	c |    356763 |     220    18700   130900 |    82824    80411     63 |  0.002 % |
265.99/266.14	c |    357073 |     220    18700   130900 |    82824    80721     63 |  0.002 % |
266.29/266.49	c |    357413 |     220    18700   130900 |    82824    81061     63 |  0.002 % |
266.69/266.85	c |    357786 |     220    18700   130900 |    82824    81434     63 |  0.002 % |
267.09/267.23	c |    358196 |     220    18700   130900 |    82824    81844     63 |  0.002 % |
267.49/267.66	c |    358645 |     220    18700   130900 |    82824    82293     63 |  0.002 % |
267.99/268.13	c |    359138 |     220    18700   130900 |    82824    82786     63 |  0.002 % |
268.49/268.64	c |    359681 |     220    18700   130900 |    82824    73110     63 |  0.002 % |
268.99/269.14	c |    360279 |     220    18700   130900 |    73430    64832     63 |  0.002 % |
269.39/269.53	c |    360934 |     220    18700   130900 |    73430    65487     63 |  0.002 % |
269.89/270.02	c |    361654 |     220    18700   130900 |    73430    66207     63 |  0.002 % |
270.39/270.55	c |    362446 |     220    18700   130900 |    73430    66999     63 |  0.002 % |
270.99/271.16	c |    363319 |     220    18700   130900 |    73430    67872     63 |  0.002 % |
271.69/271.86	c |    364278 |     220    18700   130900 |    73430    68831     63 |  0.002 % |
272.49/272.60	c |    365331 |     220    18700   130900 |    73430    69884     63 |  0.002 % |
273.19/273.36	c |    366489 |     220    18700   130900 |    73430    71042     63 |  0.002 % |
274.09/274.28	c |    367764 |     220    18700   130900 |    73430    72317     63 |  0.002 % |
275.19/275.37	c |    369164 |     220    18700   130900 |    73430    66364     63 |  0.002 % |
276.18/276.37	c |    370705 |     220    18700   130900 | 2147483647    67905     63 |  0.002 % |
277.38/277.56	c |    372399 |     220    18700   130900 | 2147483647    69599     63 |  0.002 % |
278.78/278.93	c |    374262 |     220    18700   130900 | 2147483647    71462     63 |  0.002 % |
280.29/280.41	c |    376311 |     220    18700   130900 | 2147483647    73511     63 |  0.002 % |
281.98/282.14	c |    378566 |     220    18700   130900 | 2147483647    75766     63 |  0.002 % |
283.88/284.02	c |    381044 |     220    18700   130900 | 2147483647    78244     63 |  0.002 % |
286.08/286.23	c |    383770 |     220    18700   130900 | 2147483647    80970     63 |  0.002 % |
288.48/288.64	c |    386767 |     220    18700   130900 | 2147483647    83967     63 |  0.002 % |
291.18/291.31	c |    390063 |     220    18700   130900 |    87201    87263     63 |  0.002 % |
293.98/294.19	c |    393688 |     220    18700   130900 |    87201    79635     63 |  0.002 % |
294.08/294.28	c |    393791 |     220    18700   130900 |    87201    79738     63 |  0.002 % |
294.18/294.38	c |    393903 |     220    18700   130900 |    87201    79850     63 |  0.002 % |
294.28/294.49	c |    394024 |     220    18700   130900 |    87201    79971     63 |  0.002 % |
294.48/294.63	c |    394158 |     220    18700   130900 |    87201    80105     63 |  0.002 % |
294.58/294.74	c |    394305 |     220    18700   130900 |    87201    80252     63 |  0.002 % |
294.68/294.89	c |    394465 |     220    18700   130900 |    87201    80412     63 |  0.002 % |
294.88/295.06	c |    394643 |     220    18700   130900 |    87201    80590     63 |  0.002 % |
295.08/295.22	c |    394837 |     220    18700   130900 |    87201    80784     63 |  0.002 % |
295.28/295.40	c |    395049 |     220    18700   130900 |    87201    80996     63 |  0.002 % |
295.48/295.65	c |    395282 |     220    18700   130900 |    87201    81229     63 |  0.002 % |
295.68/295.88	c |    395538 |     220    18700   130900 |    87201    81485     63 |  0.002 % |
295.98/296.16	c |    395819 |     220    18700   130900 |    87201    81766     63 |  0.002 % |
296.27/296.45	c |    396128 |     220    18700   130900 |    87201    82075     63 |  0.002 % |
296.57/296.78	c |    396469 |     220    18700   130900 |    87201    82416     63 |  0.002 % |
296.88/297.09	c |    396841 |     220    18700   130900 |    87201    82788     63 |  0.002 % |
297.27/297.41	c |    397250 |     220    18700   130900 |    87201    83197     63 |  0.002 % |
297.57/297.74	c |    397702 |     220    18700   130900 |    87201    83649     63 |  0.002 % |
297.98/298.15	c |    398196 |     220    18700   130900 |    87201    84143     63 |  0.002 % |
298.37/298.59	c |    398741 |     220    18700   130900 |    87201    84688     63 |  0.002 % |
298.87/299.10	c |    399338 |     220    18700   130900 |    87201    85285     63 |  0.002 % |
299.47/299.66	c |    399994 |     220    18700   130900 |    87201    85941     63 |  0.002 % |
300.18/300.33	c |    400715 |     220    18700   130900 |    85949    74945     63 |  0.002 % |
300.77/300.97	c |    401507 |     220    18700   130900 |    85949    75737     63 |  0.002 % |
301.47/301.69	c |    402378 |     220    18700   130900 |    85949    76608     63 |  0.002 % |
302.28/302.46	c |    403337 |     220    18700   130900 |    85949    77567     63 |  0.002 % |
303.07/303.25	c |    404391 |     220    18700   130900 |    85949    78621     63 |  0.002 % |
303.97/304.17	c |    405549 |     220    18700   130900 |    85949    79779     63 |  0.002 % |
305.17/305.35	c |    406822 |     220    18700   130900 |    85949    81052     63 |  0.002 % |
306.27/306.48	c |    408225 |     220    18700   130900 |    85949    82455     63 |  0.002 % |
307.47/307.67	c |    409766 |     220    18700   130900 |    85949    83996     63 |  0.002 % |
308.77/308.92	c |    411461 |     220    18700   130900 |    84230    74314     63 |  0.002 % |
310.17/310.35	c |    413325 |     220    18700   130900 |    84230    76178     63 |  0.002 % |
311.77/311.93	c |    415374 |     220    18700   130900 |    84230    78227     63 |  0.002 % |
313.47/313.64	c |    417627 |     220    18700   130900 |    84230    80480     63 |  0.002 % |
315.47/315.63	c |    420105 |     220    18700   130900 |    82854    73293     63 |  0.002 % |
317.36/317.54	c |    422831 |     220    18700   130900 |    82854    76019     63 |  0.002 % |
319.66/319.84	c |    425829 |     220    18700   130900 |    82854    79017     63 |  0.002 % |
322.07/322.23	c |    429126 |     220    18700   130900 |    82854    82314     63 |  0.002 % |
324.76/324.94	c |    432755 |     220    18700   130900 |    74851    70065     63 |  0.002 % |
327.57/327.78	c |    436745 |     220    18700   130900 |    74851    74055     63 |  0.002 % |
327.67/327.86	c |    436845 |     220    18700   130900 |    74851    74155     63 |  0.002 % |
327.76/327.94	c |    436956 |     220    18700   130900 |    74851    74266     63 |  0.002 % |
327.86/328.04	c |    437078 |     220    18700   130900 |    74851    74388     63 |  0.002 % |
327.96/328.18	c |    437211 |     220    18700   130900 |    74851    74521     63 |  0.002 % |
328.16/328.32	c |    437357 |     220    18700   130900 |    74851    74667     63 |  0.002 % |
328.26/328.45	c |    437517 |     220    18700   130900 |    74851    74827     63 |  0.002 % |
328.46/328.69	c |    437693 |     220    18700   130900 |    74851    67509     63 |  0.002 % |
328.66/328.83	c |    437887 |     220    18700   130900 |    74851    67703     63 |  0.002 % |
328.76/328.99	c |    438099 |     220    18700   130900 |    74851    67915     63 |  0.002 % |
328.96/329.18	c |    438333 |     220    18700   130900 |    74851    68149     63 |  0.002 % |
329.16/329.37	c |    438589 |     220    18700   130900 |    74851    68405     63 |  0.002 % |
329.46/329.61	c |    438872 |     220    18700   130900 |    74851    68688     63 |  0.002 % |
329.66/329.89	c |    439181 |     220    18700   130900 |    74851    68997     63 |  0.002 % |
329.96/330.18	c |    439520 |     220    18700   130900 |    74851    69336     63 |  0.002 % |
330.26/330.48	c |    439892 |     220    18700   130900 |    74851    69708     63 |  0.002 % |
330.66/330.82	c |    440302 |     220    18700   130900 | 2147483647    70118     63 |  0.002 % |
330.96/331.15	c |    440751 |     220    18700   130900 | 2147483647    70567     63 |  0.002 % |
331.36/331.53	c |    441245 |     220    18700   130900 | 2147483647    71061     63 |  0.002 % |
331.76/331.92	c |    441787 |     220    18700   130900 | 2147483647    71603     63 |  0.002 % |
332.16/332.39	c |    442383 |     220    18700   130900 | 2147483647    72199     63 |  0.002 % |
332.66/332.89	c |    443039 |     220    18700   130900 | 2147483647    72855     63 |  0.002 % |
333.26/333.49	c |    443759 |     220    18700   130900 | 2147483647    73575     63 |  0.002 % |
333.86/334.07	c |    444551 |     220    18700   130900 | 2147483647    74367     63 |  0.002 % |
334.56/334.78	c |    445422 |     220    18700   130900 | 2147483647    75238     63 |  0.002 % |
335.36/335.56	c |    446380 |     220    18700   130900 | 2147483647    76196     63 |  0.002 % |
336.16/336.39	c |    447433 |     220    18700   130900 | 2147483647    77249     63 |  0.002 % |
337.15/337.30	c |    448592 |     220    18700   130900 | 2147483647    78408     63 |  0.002 % |
338.15/338.36	c |    449865 |     220    18700   130900 | 2147483647    79681     63 |  0.002 % |
339.25/339.46	c |    451265 |     220    18700   130900 |    79817    72560     63 |  0.002 % |
340.45/340.64	c |    452805 |     220    18700   130900 |    79817    74100     63 |  0.002 % |
341.75/341.92	c |    454501 |     220    18700   130900 |    79817    75796     63 |  0.002 % |
343.35/343.53	c |    456365 |     220    18700   130900 |    79817    77660     63 |  0.002 % |
344.95/345.17	c |    458415 |     220    18700   130900 |    79817    79710     63 |  0.002 % |
346.75/346.90	c |    460668 |     220    18700   130900 |    72251    65114     63 |  0.002 % |
348.35/348.56	c |    463147 |     220    18700   130900 |    72251    67593     63 |  0.002 % |
350.25/350.48	c |    465872 |     220    18700   130900 |    72251    70318     63 |  0.002 % |
352.25/352.46	c |    468869 |     220    18700   130900 |    72251    66079     63 |  0.002 % |
354.55/354.70	c |    472166 |     220    18700   130900 | 2147483647    69376     63 |  0.002 % |
357.05/357.30	c |    475792 |     220    18700   130900 | 2147483647    73002     63 |  0.002 % |
360.15/360.39	c |    479779 |     220    18700   130900 | 2147483647    76989     63 |  0.002 % |
363.85/364.05	c |    484165 |     220    18700   130900 | 2147483647    81375     63 |  0.002 % |
363.95/364.14	c |    484265 |     220    18700   130900 | 2147483647    81475     63 |  0.002 % |
364.05/364.24	c |    484375 |     220    18700   130900 | 2147483647    81585     63 |  0.002 % |
364.15/364.35	c |    484496 |     220    18700   130900 | 2147483647    81706     63 |  0.002 % |
364.25/364.48	c |    484629 |     220    18700   130900 | 2147483647    81839     63 |  0.002 % |
364.45/364.61	c |    484775 |     220    18700   130900 | 2147483647    81985     63 |  0.002 % |
364.55/364.74	c |    484935 |     220    18700   130900 | 2147483647    82145     63 |  0.002 % |
364.75/364.90	c |    485111 |     220    18700   130900 | 2147483647    82321     63 |  0.002 % |
364.85/365.07	c |    485305 |     220    18700   130900 | 2147483647    82515     63 |  0.002 % |
365.05/365.26	c |    485520 |     220    18700   130900 | 2147483647    82730     63 |  0.002 % |
365.25/365.49	c |    485753 |     220    18700   130900 | 2147483647    82963     63 |  0.002 % |
365.55/365.75	c |    486009 |     220    18700   130900 | 2147483647    83219     63 |  0.002 % |
365.85/366.05	c |    486295 |     220    18700   130900 | 2147483647    83505     63 |  0.002 % |
366.15/366.35	c |    486605 |     220    18700   130900 | 2147483647    83815     63 |  0.002 % |
366.45/366.69	c |    486946 |     220    18700   130900 | 2147483647    84156     63 |  0.002 % |
366.85/367.01	c |    487318 |     220    18700   130900 | 2147483647    84528     63 |  0.002 % |
367.25/367.40	c |    487729 |     220    18700   130900 | 2147483647    84939     63 |  0.002 % |
367.65/367.82	c |    488180 |     220    18700   130900 | 2147483647    85390     63 |  0.002 % |
368.05/368.25	c |    488673 |     220    18700   130900 | 2147483647    85883     63 |  0.002 % |
368.55/368.71	c |    489215 |     220    18700   130900 | 2147483647    86425     63 |  0.002 % |
369.04/369.24	c |    489812 |     220    18700   130900 | 2147483647    87022     63 |  0.002 % |
369.64/369.82	c |    490469 |     220    18700   130900 |    87210    76494     63 |  0.002 % |
370.24/370.41	c |    491190 |     220    18700   130900 |    87210    77215     63 |  0.002 % |
370.84/371.07	c |    491983 |     220    18700   130900 |    87210    78008     63 |  0.002 % |
371.55/371.77	c |    492855 |     220    18700   130900 |    87210    78880     63 |  0.002 % |
372.24/372.49	c |    493813 |     220    18700   130900 |    87210    79838     63 |  0.002 % |
373.04/373.26	c |    494867 |     220    18700   130900 |    87210    80892     63 |  0.002 % |
373.94/374.18	c |    496028 |     220    18700   130900 |    87210    82053     63 |  0.002 % |
375.24/375.45	c |    497301 |     220    18700   130900 |    87210    83326     63 |  0.002 % |
376.54/376.77	c |    498701 |     220    18700   130900 |    87210    84726     63 |  0.002 % |
378.04/378.28	c |    500242 |     220    18700   130900 |    86026    74380     63 |  0.002 % |
379.34/379.59	c |    501936 |     220    18700   130900 |    86026    76074     63 |  0.002 % |
380.84/381.06	c |    503800 |     220    18700   130900 |    86026    77938     63 |  0.002 % |
382.44/382.69	c |    505851 |     220    18700   130900 |    86026    79989     63 |  0.002 % |
384.44/384.62	c |    508104 |     220    18700   130900 |    86026    82242     63 |  0.002 % |
386.64/386.80	c |    510582 |     220    18700   130900 |    84138    74160     63 |  0.002 % |
388.83/389.04	c |    513307 |     220    18700   130900 |    84138    76885     63 |  0.002 % |
391.13/391.34	c |    516304 |     220    18700   130900 |    84138    79882     63 |  0.002 % |
393.73/393.93	c |    519601 |     220    18700   130900 |    84138    83179     63 |  0.002 % |
396.53/396.71	c |    523229 |     220    18700   130900 |    83579    76034     63 |  0.002 % |
399.53/399.73	c |    527216 |     220    18700   130900 |    83579    80021     63 |  0.002 % |
402.73/402.92	c |    531601 |     220    18700   130900 |    82805    75122     63 |  0.002 % |
406.13/406.35	c |    536424 |     220    18700   130900 |    82805    79945     64 |  0.002 % |
406.23/406.44	c |    536524 |     220    18700   130900 |    82805    80045     63 |  0.002 % |
406.33/406.59	c |    536634 |     220    18700   130900 |    82805    80155     63 |  0.002 % |
406.43/406.69	c |    536755 |     220    18700   130900 |    82805    80276     63 |  0.002 % |
406.53/406.79	c |    536888 |     220    18700   130900 |    82805    80409     63 |  0.002 % |
406.73/406.93	c |    537035 |     220    18700   130900 |    82805    80556     63 |  0.002 % |
406.93/407.11	c |    537196 |     220    18700   130900 |    82805    80717     63 |  0.002 % |
407.03/407.27	c |    537372 |     220    18700   130900 |    82805    80893     63 |  0.002 % |
407.23/407.44	c |    537565 |     220    18700   130900 |    82805    81086     63 |  0.002 % |
407.43/407.66	c |    537777 |     220    18700   130900 |    82805    81298     63 |  0.002 % |
407.63/407.88	c |    538010 |     220    18700   130900 |    82805    81531     63 |  0.002 % |
407.93/408.11	c |    538269 |     220    18700   130900 |    82805    81790     63 |  0.002 % |
408.13/408.36	c |    538550 |     220    18700   130900 |    82805    82071     63 |  0.002 % |
408.44/408.68	c |    538860 |     220    18700   130900 |    82805    82381     63 |  0.002 % |
408.74/408.98	c |    539202 |     220    18700   130900 |    82805    82723     63 |  0.002 % |
409.14/409.35	c |    539574 |     220    18700   130900 |    82805    73703     63 |  0.002 % |
409.44/409.66	c |    539984 |     220    18700   130900 |    82805    74113     63 |  0.002 % |
409.84/410.05	c |    540433 |     220    18700   130900 |    74129    66148     63 |  0.002 % |
410.14/410.37	c |    540926 |     220    18700   130900 |    74129    66641     63 |  0.002 % |
410.64/410.81	c |    541468 |     220    18700   130900 |    74129    67183     63 |  0.002 % |
411.04/411.26	c |    542065 |     220    18700   130900 |    74129    67780     63 |  0.002 % |
411.54/411.78	c |    542720 |     220    18700   130900 |    74129    68435     63 |  0.002 % |
412.14/412.31	c |    543440 |     220    18700   130900 |    74129    69155     63 |  0.002 % |
412.64/412.87	c |    544233 |     220    18700   130900 |    74129    69948     63 |  0.002 % |
413.24/413.49	c |    545106 |     220    18700   130900 |    74129    70821     63 |  0.002 % |
414.04/414.20	c |    546064 |     220    18700   130900 |    74129    71779     63 |  0.002 % |
414.93/415.17	c |    547118 |     220    18700   130900 |    74129    72833     63 |  0.002 % |
415.93/416.14	c |    548276 |     220    18700   130900 |    74129    73991     63 |  0.002 % |
416.93/417.15	c |    549549 |     220    18700   130900 |    74129    67712     63 |  0.002 % |
418.03/418.25	c |    550949 |     220    18700   130900 | 2147483647    69112     63 |  0.002 % |
419.23/419.47	c |    552492 |     220    18700   130900 | 2147483647    70655     63 |  0.002 % |
420.53/420.75	c |    554188 |     220    18700   130900 | 2147483647    72351     63 |  0.002 % |
421.93/422.18	c |    556051 |     220    18700   130900 | 2147483647    74214     63 |  0.002 % |
423.63/423.89	c |    558101 |     220    18700   130900 | 2147483647    76264     63 |  0.002 % |
425.44/425.65	c |    560355 |     220    18700   130900 |    78164    70152     63 |  0.002 % |
427.23/427.43	c |    562834 |     220    18700   130900 |    78164    72631     63 |  0.002 % |
429.23/429.46	c |    565560 |     220    18700   130900 |    78164    75357     63 |  0.002 % |
431.63/431.85	c |    568558 |     220    18700   130900 |    78164    69988     63 |  0.002 % |
433.93/434.18	c |    571855 |     220    18700   130900 |    71433    65930     63 |  0.002 % |
436.43/436.67	c |    575480 |     220    18700   130900 |    71433    69555     63 |  0.002 % |
439.42/439.60	c |    579467 |     220    18700   130900 |    71433    66389     63 |  0.002 % |
442.32/442.54	c |    583852 |     220    18700   130900 | 2147483647    70774     63 |  0.002 % |
445.62/445.87	c |    588675 |     220    18700   130900 | 2147483647    75597     63 |  0.002 % |
449.82/450.09	c |    593982 |     220    18700   130900 | 2147483647    80904     63 |  0.002 % |
449.92/450.19	c |    594083 |     220    18700   130900 | 2147483647    81005     63 |  0.002 % |
450.12/450.31	c |    594197 |     220    18700   130900 | 2147483647    81119     63 |  0.002 % |
450.22/450.43	c |    594320 |     220    18700   130900 | 2147483647    81242     63 |  0.002 % |
450.32/450.55	c |    594454 |     220    18700   130900 | 2147483647    81376     63 |  0.002 % |
450.52/450.70	c |    594601 |     220    18700   130900 | 2147483647    81523     63 |  0.002 % |
450.62/450.86	c |    594762 |     220    18700   130900 | 2147483647    81684     63 |  0.002 % |
450.82/451.02	c |    594938 |     220    18700   130900 | 2147483647    81860     63 |  0.002 % |
451.02/451.21	c |    595132 |     220    18700   130900 | 2147483647    82054     63 |  0.002 % |
451.22/451.41	c |    595347 |     220    18700   130900 | 2147483647    82269     63 |  0.002 % |
451.42/451.60	c |    595581 |     220    18700   130900 | 2147483647    82503     63 |  0.002 % |
451.72/451.91	c |    595837 |     220    18700   130900 | 2147483647    82759     63 |  0.002 % |
452.02/452.21	c |    596119 |     220    18700   130900 | 2147483647    83041     63 |  0.002 % |
452.32/452.53	c |    596428 |     220    18700   130900 | 2147483647    83350     63 |  0.002 % |
452.62/452.83	c |    596767 |     220    18700   130900 | 2147483647    83689     63 |  0.002 % |
452.92/453.13	c |    597139 |     220    18700   130900 | 2147483647    84061     63 |  0.002 % |
453.22/453.47	c |    597548 |     220    18700   130900 | 2147483647    84470     63 |  0.002 % |
453.72/453.99	c |    597997 |     220    18700   130900 | 2147483647    84919     63 |  0.002 % |
454.32/454.52	c |    598491 |     220    18700   130900 | 2147483647    85413     63 |  0.002 % |
454.82/455.06	c |    599035 |     220    18700   130900 | 2147483647    85957     63 |  0.002 % |
455.42/455.68	c |    599633 |     220    18700   130900 | 2147483647    86555     63 |  0.002 % |
456.12/456.38	c |    600288 |     220    18700   130900 |    86923    75379     63 |  0.002 % |
456.72/456.93	c |    601010 |     220    18700   130900 |    86923    76101     63 |  0.002 % |
457.42/457.63	c |    601803 |     220    18700   130900 |    86923    76894     63 |  0.002 % |
458.12/458.31	c |    602675 |     220    18700   130900 |    86923    77766     63 |  0.002 % |
458.82/459.06	c |    603636 |     220    18700   130900 |    86923    78727     63 |  0.002 % |
459.72/459.92	c |    604689 |     220    18700   130900 |    86923    79780     63 |  0.002 % |
460.52/460.76	c |    605847 |     220    18700   130900 |    86923    80938     63 |  0.002 % |
461.52/461.78	c |    607121 |     220    18700   130900 |    86923    82212     63 |  0.002 % |
462.51/462.79	c |    608523 |     220    18700   130900 |    86923    83614     63 |  0.002 % |
464.02/464.28	c |    610063 |     220    18700   130900 |    85091    85154     63 |  0.002 % |
465.41/465.64	c |    611760 |     220    18700   130900 |    85091    76198     63 |  0.002 % |
466.91/467.13	c |    613624 |     220    18700   130900 |    85091    78062     63 |  0.002 % |
468.41/468.64	c |    615673 |     220    18700   130900 |    85091    80111     63 |  0.002 % |
470.21/470.40	c |    617926 |     220    18700   130900 |    85091    82364     63 |  0.002 % |
472.21/472.43	c |    620404 |     220    18700   130900 |    84438    74186     63 |  0.002 % |
474.31/474.51	c |    623129 |     220    18700   130900 |    84438    76911     63 |  0.002 % |
476.61/476.87	c |    626127 |     220    18700   130900 |    84438    79909     63 |  0.002 % |
479.31/479.51	c |    629423 |     220    18700   130900 |    84438    83205     63 |  0.002 % |
482.01/482.28	c |    633048 |     220    18700   130900 |    83782    76594     63 |  0.002 % |
485.41/485.62	c |    637036 |     220    18700   130900 |    83782    80582     63 |  0.002 % |
489.21/489.44	c |    641421 |     220    18700   130900 |    83546    74071     63 |  0.002 % |
493.20/493.42	c |    646245 |     220    18700   130900 |    83546    78895     63 |  0.002 % |
497.20/497.43	c |    651550 |     220    18700   130900 |    82650    74287     63 |  0.002 % |
501.60/501.80	c |    657385 |     220    18700   130900 |    82650    80122     63 |  0.002 % |
501.70/501.90	c |    657486 |     220    18700   130900 |    82650    80223     63 |  0.002 % |
501.80/502.00	c |    657598 |     220    18700   130900 |    82650    80335     63 |  0.002 % |
501.90/502.15	c |    657720 |     220    18700   130900 |    82650    80457     63 |  0.002 % |
502.00/502.29	c |    657855 |     220    18700   130900 |    82650    80592     63 |  0.002 % |
502.20/502.44	c |    658001 |     220    18700   130900 |    82650    80738     63 |  0.002 % |
502.40/502.61	c |    658161 |     220    18700   130900 |    82650    80898     63 |  0.002 % |
502.50/502.78	c |    658338 |     220    18700   130900 |    82650    81075     63 |  0.002 % |
502.70/502.97	c |    658531 |     220    18700   130900 |    82650    81268     63 |  0.002 % |
503.00/503.21	c |    658743 |     220    18700   130900 |    82650    81480     63 |  0.002 % |
503.20/503.42	c |    658976 |     220    18700   130900 |    82650    81713     63 |  0.002 % |
503.40/503.67	c |    659233 |     220    18700   130900 |    82650    81970     63 |  0.002 % |
503.70/503.91	c |    659514 |     220    18700   130900 |    82650    82251     63 |  0.002 % |
504.10/504.32	c |    659824 |     220    18700   130900 |    82650    82561     63 |  0.002 % |
504.50/504.72	c |    660163 |     220    18700   130900 |    82737    72194     63 |  0.002 % |
504.80/505.02	c |    660537 |     220    18700   130900 |    82737    72568     63 |  0.002 % |
505.20/505.41	c |    660946 |     220    18700   130900 |    82737    72977     63 |  0.002 % |
505.50/505.75	c |    661396 |     220    18700   130900 |    82737    73427     63 |  0.002 % |
505.80/506.09	c |    661891 |     220    18700   130900 |    82737    73922     63 |  0.002 % |
506.20/506.46	c |    662433 |     220    18700   130900 |    82737    74464     63 |  0.002 % |
506.69/506.92	c |    663029 |     220    18700   130900 |    82737    75060     63 |  0.002 % |
507.29/507.52	c |    663685 |     220    18700   130900 |    82737    75716     63 |  0.002 % |
507.90/508.14	c |    664407 |     220    18700   130900 |    82737    76438     63 |  0.002 % |
508.59/508.83	c |    665200 |     220    18700   130900 |    82737    77231     63 |  0.002 % |
509.29/509.56	c |    666071 |     220    18700   130900 |    82737    78102     63 |  0.002 % |
510.10/510.40	c |    667029 |     220    18700   130900 |    82737    79060     63 |  0.002 % |
511.09/511.33	c |    668084 |     220    18700   130900 |    82737    80115     63 |  0.002 % |
512.19/512.46	c |    669242 |     220    18700   130900 |    82737    81273     63 |  0.002 % |
513.40/513.64	c |    670515 |     220    18700   130900 |    82031    71415     63 |  0.002 % |
514.50/514.80	c |    671916 |     220    18700   130900 |    82031    72816     63 |  0.002 % |
515.79/516.09	c |    673456 |     220    18700   130900 |    82031    74356     63 |  0.002 % |
517.19/517.47	c |    675150 |     220    18700   130900 |    82031    76050     63 |  0.002 % |
518.69/518.92	c |    677013 |     220    18700   130900 |    82031    77913     63 |  0.002 % |
520.49/520.79	c |    679062 |     220    18700   130900 |    82031    79962     63 |  0.002 % |
522.49/522.75	c |    681315 |     220    18700   130900 |    80900    72138     63 |  0.002 % |
524.39/524.62	c |    683793 |     220    18700   130900 |    80900    74616     63 |  0.002 % |
526.49/526.77	c |    686518 |     220    18700   130900 |    80900    77341     63 |  0.002 % |
529.09/529.35	c |    689517 |     220    18700   130900 |    80900    80340     63 |  0.002 % |
531.99/532.22	c |    692813 |     220    18700   130900 |    80823    74230     63 |  0.002 % |
534.89/535.16	c |    696441 |     220    18700   130900 |    80823    77858     63 |  0.002 % |
538.09/538.34	c |    700428 |     220    18700   130900 |    72392    64846     63 |  0.002 % |
541.18/541.42	c |    704813 |     220    18700   130900 |    72392    69231     63 |  0.002 % |
544.48/544.72	c |    709636 |     220    18700   130900 |    72392    66805     63 |  0.002 % |
548.18/548.43	c |    714941 |     220    18700   130900 | 2147483647    72110     63 |  0.002 % |
552.48/552.78	c |    720776 |     220    18700   130900 | 2147483647    77945     64 |  0.002 % |
557.98/558.20	c |    727194 |     220    18700   130900 | 2147483647    84363     64 |  0.002 % |
558.08/558.30	c |    727294 |     220    18700   130900 | 2147483647    84463     64 |  0.002 % |
558.18/558.41	c |    727406 |     220    18700   130900 | 2147483647    84575     64 |  0.002 % |
558.28/558.52	c |    727528 |     220    18700   130900 | 2147483647    84697     64 |  0.002 % |
558.38/558.70	c |    727661 |     220    18700   130900 | 2147483647    84830     64 |  0.002 % |
558.58/558.85	c |    727809 |     220    18700   130900 | 2147483647    84978     64 |  0.002 % |
558.68/559.00	c |    727969 |     220    18700   130900 | 2147483647    85138     64 |  0.002 % |
558.88/559.19	c |    728148 |     220    18700   130900 | 2147483647    85317     64 |  0.002 % |
559.08/559.38	c |    728342 |     220    18700   130900 | 2147483647    85511     64 |  0.002 % |
559.28/559.57	c |    728554 |     220    18700   130900 | 2147483647    85723     64 |  0.002 % |
559.58/559.84	c |    728788 |     220    18700   130900 | 2147483647    85957     64 |  0.002 % |
559.88/560.11	c |    729044 |     220    18700   130900 | 2147483647    86213     64 |  0.002 % |
560.18/560.41	c |    729326 |     220    18700   130900 | 2147483647    86495     64 |  0.002 % |
560.48/560.74	c |    729635 |     220    18700   130900 | 2147483647    86804     64 |  0.002 % |
560.78/561.06	c |    729975 |     220    18700   130900 | 2147483647    87144     64 |  0.002 % |
561.18/561.44	c |    730347 |     220    18700   130900 |    87169    76393     63 |  0.002 % |
561.58/561.81	c |    730756 |     220    18700   130900 |    87169    76802     63 |  0.002 % |
561.88/562.17	c |    731205 |     220    18700   130900 |    87169    77251     63 |  0.002 % |
562.28/562.57	c |    731698 |     220    18700   130900 |    87169    77744     63 |  0.002 % |
562.78/563.04	c |    732240 |     220    18700   130900 |    87169    78286     63 |  0.002 % |
563.28/563.53	c |    732839 |     220    18700   130900 |    87169    78885     63 |  0.002 % |
563.78/564.07	c |    733494 |     220    18700   130900 |    87169    79540     63 |  0.002 % |
564.38/564.68	c |    734214 |     220    18700   130900 |    87169    80260     63 |  0.002 % |
565.08/565.33	c |    735007 |     220    18700   130900 |    87169    81053     63 |  0.002 % |
565.98/566.20	c |    735879 |     220    18700   130900 |    87169    81925     63 |  0.002 % |
566.88/567.13	c |    736840 |     220    18700   130900 |    87169    82886     63 |  0.002 % |
567.78/568.01	c |    737894 |     220    18700   130900 |    87169    83940     63 |  0.002 % |
568.68/568.95	c |    739052 |     220    18700   130900 |    87169    85098     63 |  0.002 % |
569.88/570.18	c |    740326 |     220    18700   130900 |    86046    74072     64 |  0.002 % |
570.98/571.26	c |    741727 |     220    18700   130900 |    86046    75473     64 |  0.002 % |
572.18/572.47	c |    743269 |     220    18700   130900 |    86046    77015     64 |  0.002 % |
573.47/573.73	c |    744964 |     220    18700   130900 |    86046    78710     64 |  0.002 % |
574.98/575.27	c |    746829 |     220    18700   130900 |    86046    80575     64 |  0.002 % |
576.67/576.96	c |    748878 |     220    18700   130900 |    86046    82624     64 |  0.002 % |
578.38/578.68	c |    751132 |     220    18700   130900 |    83747    74309     63 |  0.002 % |
580.17/580.43	c |    753610 |     220    18700   130900 |    83747    76787     63 |  0.002 % |
582.17/582.41	c |    756335 |     220    18700   130900 |    83747    79512     63 |  0.002 % |
584.27/584.55	c |    759333 |     220    18700   130900 |    83747    82510     63 |  0.002 % |
586.67/586.96	c |    762629 |     220    18700   130900 |    83177    76571     63 |  0.002 % |
589.27/589.55	c |    766254 |     220    18700   130900 |    83177    80196     64 |  0.002 % |
592.37/592.67	c |    770241 |     220    18700   130900 |    75325    67874     64 |  0.002 % |
595.57/595.83	c |    774626 |     220    18700   130900 |    75325    72259     64 |  0.002 % |
599.06/599.32	c |    779449 |     220    18700   130900 |    75325    69539     64 |  0.002 % |
602.96/603.29	c |    784754 |     220    18700   130900 | 2147483647    74844     63 |  0.002 % |
607.56/607.84	c |    790589 |     220    18700   130900 | 2147483647    80679     64 |  0.002 % |
612.46/612.78	c |    797008 |     220    18700   130900 | 2147483647    87098     64 |  0.002 % |
618.06/618.34	c |    804067 |     220    18700   130900 |    90090    81616     63 |  0.002 % |
618.16/618.44	c |    804167 |     220    18700   130900 |    90090    81716     63 |  0.002 % |
618.26/618.52	c |    804277 |     220    18700   130900 |    90090    81826     63 |  0.002 % |
618.36/618.62	c |    804399 |     220    18700   130900 |    90090    81948     63 |  0.002 % |
618.46/618.73	c |    804532 |     220    18700   130900 |    90090    82081     63 |  0.002 % |
618.55/618.89	c |    804679 |     220    18700   130900 |    90090    82228     63 |  0.002 % |
618.75/619.03	c |    804839 |     220    18700   130900 |    90090    82388     63 |  0.002 % |
618.96/619.20	c |    805017 |     220    18700   130900 |    90090    82566     63 |  0.002 % |
619.15/619.40	c |    805210 |     220    18700   130900 |    90090    82759     63 |  0.002 % |
619.35/619.61	c |    805424 |     220    18700   130900 |    90090    82973     63 |  0.002 % |
619.55/619.84	c |    805658 |     220    18700   130900 |    90090    83207     63 |  0.002 % |
619.86/620.10	c |    805914 |     220    18700   130900 |    90090    83463     63 |  0.002 % |
620.07/620.38	c |    806195 |     220    18700   130900 |    90090    83744     63 |  0.002 % |
620.36/620.66	c |    806504 |     220    18700   130900 |    90090    84053     63 |  0.002 % |
620.76/621.00	c |    806844 |     220    18700   130900 |    90090    84393     63 |  0.002 % |
621.06/621.37	c |    807219 |     220    18700   130900 |    90090    84768     63 |  0.002 % |
621.46/621.75	c |    807628 |     220    18700   130900 |    90090    85177     63 |  0.002 % |
621.86/622.16	c |    808077 |     220    18700   130900 |    90090    85626     63 |  0.002 % |
622.37/622.63	c |    808570 |     220    18700   130900 |    90090    86119     63 |  0.002 % |
622.86/623.19	c |    809112 |     220    18700   130900 |    90090    86661     63 |  0.002 % |
623.47/623.72	c |    809708 |     220    18700   130900 |    90090    87257     63 |  0.002 % |
624.06/624.36	c |    810365 |     220    18700   130900 |    87549    74877     63 |  0.002 % |
624.57/624.90	c |    811086 |     220    18700   130900 |    87549    75598     63 |  0.002 % |
625.26/625.55	c |    811879 |     220    18700   130900 |    87549    76391     63 |  0.002 % |
625.96/626.27	c |    812750 |     220    18700   130900 |    87549    77262     63 |  0.002 % |
626.66/626.98	c |    813709 |     220    18700   130900 |    87549    78221     63 |  0.002 % |
627.56/627.80	c |    814765 |     220    18700   130900 |    87549    79277     63 |  0.002 % |
628.46/628.73	c |    815926 |     220    18700   130900 |    87549    80438     63 |  0.002 % |
629.46/629.75	c |    817199 |     220    18700   130900 |    87549    81711     63 |  0.002 % |
630.66/630.92	c |    818599 |     220    18700   130900 |    87549    83111     63 |  0.002 % |
631.96/632.26	c |    820140 |     220    18700   130900 |    84512    73446     64 |  0.002 % |
633.16/633.48	c |    821836 |     220    18700   130900 |    84512    75142     64 |  0.002 % |
634.56/634.85	c |    823701 |     220    18700   130900 |    84512    77007     64 |  0.002 % |
636.16/636.42	c |    825752 |     220    18700   130900 |    84512    79058     63 |  0.002 % |
637.86/638.17	c |    828005 |     220    18700   130900 |    84512    81311     63 |  0.002 % |
640.05/640.34	c |    830486 |     220    18700   130900 |    83307    73247     64 |  0.002 % |
642.16/642.48	c |    833213 |     220    18700   130900 |    83307    75974     64 |  0.002 % |
644.45/644.76	c |    836210 |     220    18700   130900 |    83307    78971     64 |  0.002 % |
647.15/647.42	c |    839506 |     220    18700   130900 |    83307    82267     64 |  0.002 % |
650.05/650.37	c |    843131 |     220    18700   130900 |    82762    75788     63 |  0.002 % |
653.16/653.43	c |    847119 |     220    18700   130900 |    82762    79776     63 |  0.002 % |
656.65/656.91	c |    851505 |     220    18700   130900 |    82658    74276     63 |  0.002 % |
660.05/660.37	c |    856330 |     220    18700   130900 |    82658    79101     63 |  0.002 % |
664.35/664.61	c |    861635 |     220    18700   130900 |    73443    66886     63 |  0.002 % |
668.95/669.24	c |    867473 |     220    18700   130900 |    73443    72724     64 |  0.002 % |
673.44/673.71	c |    873891 |     220    18700   130900 | 2147483647    71788     64 |  0.002 % |
678.84/679.13	c |    880951 |     220    18700   130900 | 2147483647    78848     64 |  0.002 % |
685.14/685.42	c |    888716 |     220    18700   130900 | 2147483647    86613     64 |  0.002 % |
685.24/685.51	c |    888817 |     220    18700   130900 | 2147483647    86714     64 |  0.002 % |
685.34/685.61	c |    888928 |     220    18700   130900 | 2147483647    86825     64 |  0.002 % |
685.44/685.72	c |    889049 |     220    18700   130900 | 2147483647    86946     64 |  0.002 % |
685.54/685.90	c |    889183 |     220    18700   130900 | 2147483647    87080     64 |  0.002 % |
685.74/686.06	c |    889329 |     220    18700   130900 | 2147483647    87226     64 |  0.002 % |
685.94/686.21	c |    889489 |     220    18700   130900 | 2147483647    87386     64 |  0.002 % |
686.04/686.38	c |    889666 |     220    18700   130900 | 2147483647    87563     64 |  0.002 % |
686.24/686.56	c |    889860 |     220    18700   130900 | 2147483647    87757     64 |  0.002 % |
686.44/686.75	c |    890072 |     220    18700   130900 |    87897    87969     64 |  0.002 % |
686.74/687.08	c |    890305 |     220    18700   130900 |    87897    76909     64 |  0.002 % |
687.04/687.33	c |    890561 |     220    18700   130900 |    87897    77165     64 |  0.002 % |
687.34/687.61	c |    890843 |     220    18700   130900 |    87897    77447     64 |  0.002 % |
687.54/687.88	c |    891152 |     220    18700   130900 |    87897    77756     64 |  0.002 % |
687.84/688.13	c |    891493 |     220    18700   130900 |    87897    78097     64 |  0.002 % |
688.14/688.40	c |    891867 |     220    18700   130900 |    87897    78471     64 |  0.002 % |
688.44/688.73	c |    892279 |     220    18700   130900 |    87897    78883     64 |  0.002 % |
688.74/689.07	c |    892729 |     220    18700   130900 |    87897    79333     64 |  0.002 % |
689.14/689.47	c |    893222 |     220    18700   130900 |    87897    79826     64 |  0.002 % |
689.64/689.95	c |    893764 |     220    18700   130900 |    87897    80368     64 |  0.002 % |
690.14/690.46	c |    894360 |     220    18700   130900 |    87897    80964     64 |  0.002 % |
690.74/691.03	c |    895017 |     220    18700   130900 |    87897    81621     64 |  0.002 % |
691.44/691.75	c |    895739 |     220    18700   130900 |    87897    82343     64 |  0.002 % |
692.24/692.50	c |    896531 |     220    18700   130900 |    87897    83135     64 |  0.002 % |
693.04/693.38	c |    897402 |     220    18700   130900 |    87897    84006     64 |  0.002 % |
693.94/694.26	c |    898360 |     220    18700   130900 |    87897    84964     64 |  0.002 % |
694.94/695.20	c |    899415 |     220    18700   130900 |    87897    86019     64 |  0.002 % |
695.94/696.22	c |    900574 |     220    18700   130900 |    86604    74538     64 |  0.002 % |
697.14/697.45	c |    901847 |     220    18700   130900 |    86604    75811     64 |  0.002 % |
698.34/698.62	c |    903247 |     220    18700   130900 |    86604    77211     64 |  0.002 % |
699.64/699.92	c |    904787 |     220    18700   130900 |    86604    78751     64 |  0.002 % |
701.04/701.31	c |    906482 |     220    18700   130900 |    86604    80446     64 |  0.002 % |
702.43/702.78	c |    908345 |     220    18700   130900 |    86604    82309     64 |  0.002 % |
704.13/704.49	c |    910395 |     220    18700   130900 |    83965    73489     64 |  0.002 % |
705.94/706.28	c |    912649 |     220    18700   130900 |    83965    75743     64 |  0.002 % |
707.83/708.14	c |    915127 |     220    18700   130900 |    83965    78221     64 |  0.002 % |
709.93/710.26	c |    917853 |     220    18700   130900 |    83965    80947     64 |  0.002 % |
712.33/712.66	c |    920850 |     220    18700   130900 |    83096    74457     64 |  0.002 % |
714.93/715.27	c |    924146 |     220    18700   130900 |    83096    77753     64 |  0.002 % |
717.93/718.20	c |    927771 |     220    18700   130900 |    83096    81378     64 |  0.002 % |
721.23/721.50	c |    931759 |     220    18700   130900 |    74649    68384     63 |  0.002 % |
724.23/724.55	c |    936145 |     220    18700   130900 |    74649    72770     64 |  0.002 % |
727.63/727.93	c |    940971 |     220    18700   130900 | 2147483647    70122     63 |  0.002 % |
731.52/731.86	c |    946277 |     220    18700   130900 | 2147483647    75428     63 |  0.002 % |
736.02/736.38	c |    952113 |     220    18700   130900 | 2147483647    81264     63 |  0.002 % |
741.13/741.43	c |    958533 |     220    18700   130900 | 2147483647    87684     63 |  0.002 % |
746.72/747.08	c |    965592 |     220    18700   130900 |    89153    83326     63 |  0.002 % |
753.12/753.47	c |    973357 |     220    18700   130900 |    87734    78086     63 |  0.002 % |
759.92/760.29	c |    981898 |     220    18700   130900 |    84730    75014     63 |  0.002 % |
760.02/760.38	c |    981998 |     220    18700   130900 |    84730    75114     63 |  0.002 % |
760.12/760.46	c |    982108 |     220    18700   130900 |    84730    75224     63 |  0.002 % |
760.22/760.57	c |    982229 |     220    18700   130900 |    84730    75345     63 |  0.002 % |
760.32/760.66	c |    982363 |     220    18700   130900 |    84730    75479     63 |  0.002 % |
760.42/760.78	c |    982510 |     220    18700   130900 |    84730    75626     63 |  0.002 % |
760.62/760.96	c |    982670 |     220    18700   130900 |    84730    75786     63 |  0.002 % |
760.82/761.12	c |    982849 |     220    18700   130900 |    84730    75965     63 |  0.002 % |
760.92/761.28	c |    983042 |     220    18700   130900 |    84730    76158     63 |  0.002 % |
761.12/761.48	c |    983255 |     220    18700   130900 |    84730    76371     63 |  0.002 % |
761.42/761.70	c |    983490 |     220    18700   130900 |    84730    76606     63 |  0.002 % |
761.62/761.94	c |    983746 |     220    18700   130900 |    84730    76862     63 |  0.002 % |
761.92/762.21	c |    984032 |     220    18700   130900 |    84730    77148     63 |  0.002 % |
762.22/762.52	c |    984341 |     220    18700   130900 |    84730    77457     63 |  0.002 % |
762.52/762.84	c |    984681 |     220    18700   130900 |    84730    77797     63 |  0.002 % |
762.82/763.19	c |    985054 |     220    18700   130900 |    84730    78170     63 |  0.002 % |
763.21/763.58	c |    985463 |     220    18700   130900 |    84730    78579     63 |  0.002 % |
763.61/763.95	c |    985913 |     220    18700   130900 |    84730    79029     63 |  0.002 % |
764.01/764.39	c |    986406 |     220    18700   130900 |    84730    79522     63 |  0.002 % |
764.51/764.84	c |    986949 |     220    18700   130900 |    84730    80065     63 |  0.002 % |
765.01/765.30	c |    987546 |     220    18700   130900 |    84730    80662     63 |  0.002 % |
765.51/765.87	c |    988201 |     220    18700   130900 |    84730    81317     63 |  0.002 % |
766.21/766.50	c |    988921 |     220    18700   130900 |    84730    82037     63 |  0.002 % |
766.91/767.20	c |    989713 |     220    18700   130900 |    84730    82829     63 |  0.002 % |
767.71/768.04	c |    990585 |     220    18700   130900 |    83116    72288     63 |  0.002 % |
768.52/768.85	c |    991545 |     220    18700   130900 |    83116    73248     63 |  0.002 % |
769.41/769.74	c |    992599 |     220    18700   130900 |    83116    74302     63 |  0.002 % |
770.41/770.72	c |    993757 |     220    18700   130900 |    83116    75460     63 |  0.002 % |
771.51/771.89	c |    995030 |     220    18700   130900 |    83116    76733     63 |  0.002 % |
772.71/773.09	c |    996430 |     220    18700   130900 |    83116    78133     63 |  0.002 % |
774.01/774.36	c |    997971 |     220    18700   130900 |    83116    79674     63 |  0.002 % |
775.41/775.78	c |    999665 |     220    18700   130900 |    83116    81368     63 |  0.002 % |
777.01/777.30	c |   1001528 |     220    18700   130900 |    81703    72479     63 |  0.002 % |
778.51/778.83	c |   1003578 |     220    18700   130900 |    81703    74529     63 |  0.002 % |
780.41/780.73	c |   1005831 |     220    18700   130900 |    81703    76782     63 |  0.002 % |
782.41/782.75	c |   1008309 |     220    18700   130900 |    81703    79260     63 |  0.002 % |
784.51/784.83	c |   1011035 |     220    18700   130900 |    80952    71672     63 |  0.002 % |
786.91/787.27	c |   1014033 |     220    18700   130900 |    80952    74670     64 |  0.002 % |
789.61/789.93	c |   1017330 |     220    18700   130900 |    80952    77967     63 |  0.002 % |
792.61/792.94	c |   1020955 |     220    18700   130900 |    80637    72191     64 |  0.002 % |
795.71/796.10	c |   1024945 |     220    18700   130900 |    80637    76181     64 |  0.002 % |
799.50/799.84	c |   1029330 |     220    18700   130900 |    80637    80566     64 |  0.002 % |
803.00/803.31	c |   1034153 |     220    18700   130900 |    72289    68561     63 |  0.002 % |
806.60/806.98	c |   1039458 |     220    18700   130900 |    72289    66627     63 |  0.002 % |
810.30/810.67	c |   1045293 |     220    18700   130900 | 2147483647    72462     63 |  0.002 % |
815.20/815.54	c |   1051711 |     220    18700   130900 | 2147483647    78880     63 |  0.002 % |
821.60/821.93	c |   1058772 |     220    18700   130900 | 2147483647    85941     63 |  0.002 % |
827.80/828.11	c |   1066536 |     220    18700   130900 |    87169    83332     63 |  0.002 % |
834.89/835.21	c |   1075076 |     220    18700   130900 |    86799    80190     63 |  0.002 % |
842.49/842.87	c |   1084470 |     220    18700   130900 |    85114    78040     63 |  0.002 % |
842.59/842.97	c |   1084571 |     220    18700   130900 |    85114    78141     63 |  0.002 % |
842.69/843.08	c |   1084684 |     220    18700   130900 |    85114    78254     63 |  0.002 % |
842.79/843.19	c |   1084806 |     220    18700   130900 |    85114    78376     63 |  0.002 % |
842.99/843.30	c |   1084940 |     220    18700   130900 |    85114    78510     63 |  0.002 % |
843.09/843.44	c |   1085086 |     220    18700   130900 |    85114    78656     63 |  0.002 % |
843.29/843.62	c |   1085246 |     220    18700   130900 |    85114    78816     63 |  0.002 % |
843.39/843.77	c |   1085422 |     220    18700   130900 |    85114    78992     63 |  0.002 % |
843.59/843.95	c |   1085615 |     220    18700   130900 |    85114    79185     63 |  0.002 % |
843.79/844.14	c |   1085827 |     220    18700   130900 |    85114    79397     63 |  0.002 % |
843.99/844.34	c |   1086061 |     220    18700   130900 |    85114    79631     63 |  0.002 % |
844.29/844.60	c |   1086319 |     220    18700   130900 |    85114    79889     63 |  0.002 % |
844.59/844.90	c |   1086601 |     220    18700   130900 |    85114    80171     63 |  0.002 % |
844.79/845.17	c |   1086911 |     220    18700   130900 |    85114    80481     63 |  0.002 % |
845.09/845.48	c |   1087250 |     220    18700   130900 |    85114    80820     63 |  0.002 % |
845.49/845.82	c |   1087622 |     220    18700   130900 |    85114    81192     63 |  0.002 % |
845.89/846.21	c |   1088032 |     220    18700   130900 |    85114    81602     63 |  0.002 % |
846.29/846.67	c |   1088482 |     220    18700   130900 |    85114    82052     63 |  0.002 % |
846.79/847.12	c |   1088975 |     220    18700   130900 |    85114    82545     63 |  0.002 % |
847.29/847.61	c |   1089518 |     220    18700   130900 |    85114    83088     63 |  0.002 % |
847.89/848.26	c |   1090116 |     220    18700   130900 |    83571    72026     63 |  0.002 % |
848.39/848.75	c |   1090773 |     220    18700   130900 |    83571    72683     63 |  0.002 % |
848.89/849.28	c |   1091494 |     220    18700   130900 |    83571    73404     63 |  0.002 % |
849.49/849.86	c |   1092286 |     220    18700   130900 |    83571    74196     63 |  0.002 % |
850.09/850.48	c |   1093157 |     220    18700   130900 |    83571    75067     63 |  0.002 % |
850.79/851.14	c |   1094116 |     220    18700   130900 |    83571    76026     63 |  0.002 % |
851.49/851.81	c |   1095169 |     220    18700   130900 |    83571    77079     63 |  0.002 % |
852.29/852.62	c |   1096328 |     220    18700   130900 |    83571    78238     63 |  0.002 % |
853.19/853.58	c |   1097601 |     220    18700   130900 |    83571    79511     63 |  0.002 % |
854.19/854.54	c |   1099001 |     220    18700   130900 |    83571    80911     63 |  0.002 % |
855.59/855.95	c |   1100544 |     220    18700   130900 |    81912    72510     63 |  0.002 % |
856.99/857.36	c |   1102238 |     220    18700   130900 |    81912    74204     63 |  0.002 % |
858.59/858.90	c |   1104102 |     220    18700   130900 |    81912    76068     63 |  0.002 % |
860.19/860.52	c |   1106152 |     220    18700   130900 |    81912    78118     63 |  0.002 % |
861.99/862.39	c |   1108407 |     220    18700   130900 |    81912    80373     63 |  0.002 % |
863.98/864.36	c |   1110886 |     220    18700   130900 |    81967    73036     63 |  0.002 % |
865.88/866.22	c |   1113611 |     220    18700   130900 |    81967    75761     63 |  0.002 % |
867.98/868.36	c |   1116609 |     220    18700   130900 |    81967    78759     63 |  0.002 % |
870.48/870.82	c |   1119905 |     220    18700   130900 |    81967    82055     63 |  0.002 % |
872.78/873.18	c |   1123531 |     220    18700   130900 |    73752    69745     63 |  0.002 % |
875.68/876.09	c |   1127521 |     220    18700   130900 |    73752    73735     63 |  0.002 % |
878.98/879.38	c |   1131907 |     220    18700   130900 | 2147483647    70736     63 |  0.002 % |
882.68/883.02	c |   1136730 |     220    18700   130900 | 2147483647    75559     63 |  0.002 % |
886.98/887.38	c |   1142035 |     220    18700   130900 | 2147483647    80864     63 |  0.002 % |
891.87/892.21	c |   1147870 |     220    18700   130900 | 2147483647    86699     63 |  0.002 % |
897.28/897.67	c |   1154288 |     220    18700   130900 |    88829    81484     63 |  0.002 % |
903.07/903.49	c |   1161347 |     220    18700   130900 |    87197    76982     63 |  0.002 % |
909.07/909.42	c |   1169111 |     220    18700   130900 |    87197    84746     63 |  0.002 % |
916.06/916.41	c |   1177651 |     220    18700   130900 |    85637    82573     63 |  0.002 % |
923.46/923.83	c |   1187045 |     220    18700   130900 |    84922    81603     64 |  0.002 % |
931.46/931.83	c |   1197379 |     220    18700   130900 |    84559    81536     64 |  0.002 % |
931.56/931.92	c |   1197481 |     220    18700   130900 |    84559    81638     64 |  0.002 % |
931.66/932.02	c |   1197591 |     220    18700   130900 |    84559    81748     64 |  0.002 % |
931.76/932.14	c |   1197713 |     220    18700   130900 |    84559    81870     64 |  0.002 % |
931.86/932.25	c |   1197847 |     220    18700   130900 |    84559    82004     64 |  0.002 % |
931.96/932.36	c |   1197993 |     220    18700   130900 |    84559    82150     64 |  0.002 % |
932.16/932.51	c |   1198153 |     220    18700   130900 |    84559    82310     64 |  0.002 % |
932.26/932.68	c |   1198329 |     220    18700   130900 |    84559    82486     64 |  0.002 % |
932.47/932.87	c |   1198522 |     220    18700   130900 |    84559    82679     64 |  0.002 % |
932.76/933.12	c |   1198734 |     220    18700   130900 |    84559    82891     64 |  0.002 % |
932.96/933.37	c |   1198967 |     220    18700   130900 |    84559    83124     64 |  0.002 % |
933.26/933.60	c |   1199223 |     220    18700   130900 |    84559    83380     64 |  0.002 % |
933.47/933.85	c |   1199505 |     220    18700   130900 |    84559    83662     64 |  0.002 % |
933.86/934.22	c |   1199814 |     220    18700   130900 |    84559    83971     64 |  0.002 % |
934.26/934.65	c |   1200153 |     220    18700   130900 |    84158    72672     64 |  0.002 % |
934.56/934.96	c |   1200526 |     220    18700   130900 |    84158    73045     64 |  0.002 % |
934.96/935.39	c |   1200935 |     220    18700   130900 |    84158    73454     64 |  0.002 % |
935.36/935.79	c |   1201385 |     220    18700   130900 |    84158    73904     64 |  0.002 % |
935.86/936.22	c |   1201879 |     220    18700   130900 |    84158    74398     64 |  0.002 % |
936.26/936.67	c |   1202421 |     220    18700   130900 |    84158    74940     64 |  0.002 % |
936.66/937.10	c |   1203017 |     220    18700   130900 |    84158    75536     64 |  0.002 % |
937.36/937.73	c |   1203673 |     220    18700   130900 |    84158    76192     64 |  0.002 % |
937.96/938.39	c |   1204393 |     220    18700   130900 |    84158    76912     64 |  0.002 % |
938.76/939.14	c |   1205185 |     220    18700   130900 |    84158    77704     64 |  0.002 % |
939.46/939.86	c |   1206057 |     220    18700   130900 |    84158    78576     64 |  0.002 % |
940.46/940.86	c |   1207017 |     220    18700   130900 |    84158    79536     64 |  0.002 % |
941.46/941.87	c |   1208070 |     220    18700   130900 |    84158    80589     64 |  0.002 % |
942.66/943.02	c |   1209231 |     220    18700   130900 |    84158    81750     64 |  0.002 % |
943.75/944.19	c |   1210505 |     220    18700   130900 |    82519    70824     64 |  0.002 % |
945.05/945.40	c |   1211905 |     220    18700   130900 |    82519    72224     64 |  0.002 % |
946.25/946.63	c |   1213445 |     220    18700   130900 |    82519    73764     64 |  0.002 % |
947.55/947.93	c |   1215140 |     220    18700   130900 |    82519    75459     64 |  0.002 % |
948.96/949.37	c |   1217004 |     220    18700   130900 |    82519    77323     64 |  0.002 % |
950.85/951.20	c |   1219053 |     220    18700   130900 |    82519    79372     64 |  0.002 % |
952.75/953.15	c |   1221308 |     220    18700   130900 |    80319    71165     64 |  0.002 % |
954.75/955.18	c |   1223788 |     220    18700   130900 |    80319    73645     64 |  0.002 % |
957.05/957.49	c |   1226513 |     220    18700   130900 |    80319    76370     64 |  0.002 % |
959.95/960.34	c |   1229512 |     220    18700   130900 |    80319    79369     64 |  0.002 % |
962.85/963.22	c |   1232809 |     220    18700   130900 |    79858    72959     64 |  0.002 % |
965.97/966.66	c |   1236436 |     220    18700   130900 |    79858    76586     64 |  0.002 % |
969.27/970.00	c |   1240425 |     220    18700   130900 |    71337    63911     64 |  0.002 % |
971.85/972.67	c |   1244811 |     220    18700   130900 |    71337    68297     64 |  0.002 % |
975.25/976.04	c |   1249635 |     220    18700   130900 |    71337    65978     64 |  0.002 % |
978.45/979.29	c |   1254940 |     220    18700   130900 | 2147483647    71283     64 |  0.002 % |
982.85/983.65	c |   1260777 |     220    18700   130900 | 2147483647    77120     64 |  0.002 % |
988.05/988.82	c |   1267195 |     220    18700   130900 | 2147483647    83538     64 |  0.002 % |
993.54/994.31	c |   1274254 |     220    18700   130900 |    86344    80905     64 |  0.002 % |
999.44/1000.26	c |   1282019 |     220    18700   130900 |    76719    69973     64 |  0.002 % |
1006.24/1007.07	c |   1290561 |     220    18700   130900 |    68649    61024     64 |  0.002 % |
1012.84/1013.65	c |   1299955 |     220    18700   130900 |    68649    63543     64 |  0.002 % |
1020.33/1021.15	c |   1310291 |     220    18700   130900 | 2147483647    73879     64 |  0.002 % |
1029.42/1030.20	c |   1321658 |     220    18700   130900 | 2147483647    85246     64 |  0.002 % |
1029.42/1030.28	c |   1321758 |     220    18700   130900 | 2147483647    85346     64 |  0.002 % |
1029.62/1030.40	c |   1321870 |     220    18700   130900 | 2147483647    85458     64 |  0.002 % |
1029.73/1030.52	c |   1321991 |     220    18700   130900 | 2147483647    85579     64 |  0.002 % |
1029.83/1030.64	c |   1322125 |     220    18700   130900 | 2147483647    85713     64 |  0.002 % |
1030.03/1030.80	c |   1322271 |     220    18700   130900 | 2147483647    85859     64 |  0.002 % |
1030.13/1030.96	c |   1322431 |     220    18700   130900 | 2147483647    86019     64 |  0.002 % |
1030.33/1031.16	c |   1322610 |     220    18700   130900 | 2147483647    86198     64 |  0.002 % |
1030.51/1031.37	c |   1322803 |     220    18700   130900 | 2147483647    86391     64 |  0.002 % |
1030.71/1031.57	c |   1323017 |     220    18700   130900 | 2147483647    86605     64 |  0.002 % |
1031.01/1031.84	c |   1323250 |     220    18700   130900 | 2147483647    86838     64 |  0.002 % |
1031.21/1032.05	c |   1323506 |     220    18700   130900 | 2147483647    87094     64 |  0.002 % |
1031.51/1032.34	c |   1323789 |     220    18700   130900 | 2147483647    87377     64 |  0.002 % |
1031.81/1032.60	c |   1324098 |     220    18700   130900 | 2147483647    87686     64 |  0.002 % |
1032.11/1032.99	c |   1324437 |     220    18700   130900 | 2147483647    88025     64 |  0.002 % |
1032.50/1033.39	c |   1324811 |     220    18700   130900 | 2147483647    88399     64 |  0.002 % |
1032.90/1033.76	c |   1325221 |     220    18700   130900 | 2147483647    88809     64 |  0.002 % |
1033.40/1034.24	c |   1325670 |     220    18700   130900 | 2147483647    89258     64 |  0.002 % |
1033.90/1034.73	c |   1326165 |     220    18700   130900 | 2147483647    89753     64 |  0.002 % |
1034.40/1035.30	c |   1326708 |     220    18700   130900 | 2147483647    90296     64 |  0.002 % |
1035.00/1035.84	c |   1327304 |     220    18700   130900 | 2147483647    90892     64 |  0.002 % |
1035.60/1036.42	c |   1327960 |     220    18700   130900 | 2147483647    91548     64 |  0.002 % |
1036.30/1037.16	c |   1328681 |     220    18700   130900 | 2147483647    92269     64 |  0.002 % |
1037.10/1037.93	c |   1329473 |     220    18700   130900 | 2147483647    93061     64 |  0.002 % |
1038.00/1038.83	c |   1330344 |     220    18700   130900 |    93588    79311     64 |  0.002 % |
1038.80/1039.63	c |   1331303 |     220    18700   130900 |    93588    80270     64 |  0.002 % |
1039.60/1040.48	c |   1332358 |     220    18700   130900 |    93588    81325     64 |  0.002 % |
1040.60/1041.45	c |   1333516 |     220    18700   130900 |    93588    82483     64 |  0.002 % |
1042.00/1042.88	c |   1334789 |     220    18700   130900 |    93588    83756     64 |  0.002 % |
1043.30/1044.18	c |   1336189 |     220    18700   130900 |    93588    85156     64 |  0.002 % |
1044.80/1045.66	c |   1337730 |     220    18700   130900 |    93588    86697     64 |  0.002 % |
1046.30/1047.18	c |   1339427 |     220    18700   130900 |    93588    88394     64 |  0.002 % |
1047.90/1048.74	c |   1341290 |     220    18700   130900 |    88967    75783     64 |  0.002 % |
1049.50/1050.38	c |   1343340 |     220    18700   130900 |    88967    77833     64 |  0.002 % |
1051.20/1052.06	c |   1345593 |     220    18700   130900 |    88967    80086     64 |  0.002 % |
1053.29/1054.16	c |   1348073 |     220    18700   130900 |    88967    82566     64 |  0.002 % |
1055.99/1056.80	c |   1350798 |     220    18700   130900 |    84493    73427     64 |  0.002 % |
1058.29/1059.19	c |   1353796 |     220    18700   130900 |    84493    76425     64 |  0.002 % |
1060.79/1061.62	c |   1357095 |     220    18700   130900 |    84493    79724     64 |  0.002 % |
1064.00/1064.84	c |   1360721 |     220    18700   130900 |    82633    72659     64 |  0.002 % |
1066.69/1067.57	c |   1364709 |     220    18700   130900 |    82633    76647     64 |  0.002 % |
1069.79/1070.62	c |   1369095 |     220    18700   130900 |    82633    81033     64 |  0.002 % |
1073.69/1074.51	c |   1373919 |     220    18700   130900 |    81939    76776     64 |  0.002 % |
1077.89/1078.72	c |   1379225 |     220    18700   130900 |    81939    72989     64 |  0.002 % |
1081.69/1082.52	c |   1385060 |     220    18700   130900 |    73764    70805     64 |  0.002 % |
1086.39/1087.22	c |   1391478 |     220    18700   130900 | 2147483647    69837     64 |  0.002 % |
1091.79/1092.61	c |   1398537 |     220    18700   130900 | 2147483647    76896     64 |  0.002 % |
1097.88/1098.77	c |   1406301 |     220    18700   130900 | 2147483647    84660     64 |  0.002 % |
1105.18/1106.01	c |   1414844 |     220    18700   130900 |    88359    82248     64 |  0.002 % |
1112.78/1113.66	c |   1424239 |     220    18700   130900 |    87407    80459     64 |  0.002 % |
1121.08/1121.91	c |   1434572 |     220    18700   130900 |    86221    80045     64 |  0.002 % |
1130.48/1131.32	c |   1445938 |     220    18700   130900 |    85473    80085     64 |  0.002 % |
1139.37/1140.30	c |   1458441 |     220    18700   130900 |    84148    81848     64 |  0.002 % |
1139.47/1140.37	c |   1458542 |     220    18700   130900 |    84148    81949     64 |  0.002 % |
1139.67/1140.51	c |   1458655 |     220    18700   130900 |    84148    82062     64 |  0.002 % |
1139.78/1140.63	c |   1458776 |     220    18700   130900 |    84148    82183     64 |  0.002 % |
1139.88/1140.77	c |   1458909 |     220    18700   130900 |    84148    82316     64 |  0.002 % |
1140.07/1140.92	c |   1459055 |     220    18700   130900 |    84148    82462     64 |  0.002 % |
1140.27/1141.10	c |   1459218 |     220    18700   130900 |    84148    82625     64 |  0.002 % |
1140.37/1141.26	c |   1459394 |     220    18700   130900 |    84148    82801     64 |  0.002 % |
1140.57/1141.43	c |   1459587 |     220    18700   130900 |    84148    82994     64 |  0.002 % |
1140.77/1141.66	c |   1459801 |     220    18700   130900 |    84148    83208     64 |  0.002 % |
1141.07/1141.92	c |   1460035 |     220    18700   130900 |    83407    83442     64 |  0.002 % |
1141.37/1142.24	c |   1460291 |     220    18700   130900 |    83407    73444     64 |  0.002 % |
1141.57/1142.48	c |   1460572 |     220    18700   130900 |    83407    73725     64 |  0.002 % |
1141.87/1142.78	c |   1460881 |     220    18700   130900 |    83407    74034     64 |  0.002 % |
1142.17/1143.09	c |   1461223 |     220    18700   130900 |    83407    74376     64 |  0.002 % |
1142.57/1143.41	c |   1461598 |     220    18700   130900 |    83407    74751     64 |  0.002 % |
1142.97/1143.86	c |   1462010 |     220    18700   130900 |    83407    75163     64 |  0.002 % |
1143.47/1144.38	c |   1462460 |     220    18700   130900 |    83407    75613     64 |  0.002 % |
1143.97/1144.82	c |   1462953 |     220    18700   130900 |    83407    76106     64 |  0.002 % |
1144.37/1145.29	c |   1463495 |     220    18700   130900 |    83407    76648     64 |  0.002 % |
1144.97/1145.81	c |   1464092 |     220    18700   130900 |    83407    77245     64 |  0.002 % |
1145.67/1146.51	c |   1464747 |     220    18700   130900 |    83407    77900     64 |  0.002 % |
1146.27/1147.16	c |   1465467 |     220    18700   130900 |    83407    78620     64 |  0.002 % |
1146.97/1147.83	c |   1466259 |     220    18700   130900 |    83407    79412     64 |  0.002 % |
1147.67/1148.58	c |   1467130 |     220    18700   130900 |    83407    80283     64 |  0.002 % |
1148.47/1149.33	c |   1468088 |     220    18700   130900 |    83407    81241     64 |  0.002 % |
1149.57/1150.46	c |   1469142 |     220    18700   130900 |    83407    82295     64 |  0.002 % |
1150.77/1151.65	c |   1470300 |     220    18700   130900 |    83154    71471     64 |  0.002 % |
1151.77/1152.67	c |   1471575 |     220    18700   130900 |    83154    72746     64 |  0.002 % |
1152.97/1153.84	c |   1472975 |     220    18700   130900 |    83154    74146     64 |  0.002 % |
1154.17/1155.08	c |   1474515 |     220    18700   130900 |    83154    75686     64 |  0.002 % |
1155.77/1156.69	c |   1476210 |     220    18700   130900 |    83154    77381     64 |  0.002 % |
1157.27/1158.17	c |   1478073 |     220    18700   130900 |    83154    79244     64 |  0.002 % |
1159.27/1160.15	c |   1480123 |     220    18700   130900 |    81171    70125     64 |  0.002 % |
1160.87/1161.73	c |   1482378 |     220    18700   130900 |    81171    72380     64 |  0.002 % |
1162.77/1163.61	c |   1484859 |     220    18700   130900 |    81171    74861     64 |  0.002 % |
1164.76/1165.63	c |   1487587 |     220    18700   130900 |    81171    77589     64 |  0.002 % |
1167.27/1168.12	c |   1490585 |     220    18700   130900 |    80003    71076     64 |  0.002 % |
1169.96/1170.80	c |   1493882 |     220    18700   130900 |    80003    74373     64 |  0.002 % |
1172.66/1173.52	c |   1497507 |     220    18700   130900 |    80003    77998     64 |  0.002 % |
1176.07/1176.90	c |   1501495 |     220    18700   130900 |    71125    64301     64 |  0.002 % |
1178.96/1179.85	c |   1505887 |     220    18700   130900 |    71125    68693     64 |  0.002 % |
1182.16/1183.03	c |   1510710 |     220    18700   130900 | 2147483647    66394     64 |  0.002 % |
1185.86/1186.73	c |   1516017 |     220    18700   130900 | 2147483647    71701     64 |  0.002 % |
1190.66/1191.55	c |   1521852 |     220    18700   130900 | 2147483647    77536     64 |  0.002 % |
1195.76/1196.65	c |   1528270 |     220    18700   130900 | 2147483647    83954     64 |  0.002 % |
1200.06/1200.91	HOME/SatELiteGTI: line 36: 27131 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-1832557-1242783958/watcher-1832557-1242783958 -o /tmp/evaluation-result-1832557-1242783958/solver-1832557-1242783958 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832557-1242783958.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/65 27125
/proc/meminfo: memFree=1808912/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306425964 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 265674260562 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/27125/statm: 1339 235 195 169 0 50 0
[pid=27126] ppid=27125 vsize=5356 CPUtime=0
/proc/27126/stat : 27126 (SatELiteGTI) R 27125 27125 26944 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306425964 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/27126/statm: 1339 238 198 169 0 50 0
[pid=27128] ppid=27126 vsize=0 CPUtime=0
/proc/27128/stat : 27128 (sed) Z 27126 27125 26944 0 -1 4194316 163 0 0 0 0 0 0 0 22 0 1 0 306425964 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/27128/statm: 0 0 0 0 0 0 0

[startup+0.080952 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 27125
/proc/meminfo: memFree=1808912/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.102952 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 27125
/proc/meminfo: memFree=1808912/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301974 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 27125
/proc/meminfo: memFree=1808912/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.702023 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 27125
/proc/meminfo: memFree=1808912/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1804480/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=5388 CPUtime=1.41
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 1105 0 0 0 141 0 0 0 25 0 1 0 306425970 5517312 1091 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 1347 1091 76 171 0 1174 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10744

[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1802880/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=7660 CPUtime=3.01
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 1704 0 0 0 301 0 0 0 25 0 1 0 306425970 7843840 1690 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 1915 1690 76 171 0 1742 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13016

[startup+6.30164 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1798976/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=11036 CPUtime=6.21
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 2504 0 0 0 619 2 0 0 25 0 1 0 306425970 11300864 2490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 2759 2490 76 171 0 2586 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16392

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1794048/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=15344 CPUtime=12.61
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 3587 0 0 0 1258 3 0 0 25 0 1 0 306425970 15712256 3573 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 3836 3573 76 171 0 3663 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20700

[startup+25.5028 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1787904/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=21272 CPUtime=25.41
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 5060 0 0 0 2535 6 0 0 25 0 1 0 306425970 21782528 5046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 5318 5046 76 171 0 5145 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 26628

[startup+51.1026 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1781184/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=27764 CPUtime=51
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 6702 0 0 0 5093 7 0 0 25 0 1 0 306425970 28430336 6688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 6941 6688 76 171 0 6768 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 33120

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1781120/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=27764 CPUtime=102.19
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 6702 0 0 0 10211 8 0 0 25 0 1 0 306425970 28430336 6688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 6941 6688 76 171 0 6768 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 33120

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1780544/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=28160 CPUtime=162.17
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 6802 0 0 0 16209 8 0 0 25 0 1 0 306425970 28835840 6788 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7040 6788 76 171 0 6867 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 33516

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1778560/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=30012 CPUtime=222.16
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7286 0 0 0 22207 9 0 0 25 0 1 0 306425970 30732288 7272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7503 7272 76 171 0 7330 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 35368

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1778432/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=30012 CPUtime=282.13
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7286 0 0 0 28204 9 0 0 25 0 1 0 306425970 30732288 7272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7503 7272 76 171 0 7330 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 35368

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1778304/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=30012 CPUtime=342.1
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7286 0 0 0 34201 9 0 0 25 0 1 0 306425970 30732288 7272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7503 7272 76 171 0 7330 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 35368

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1778240/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=30012 CPUtime=402.08

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

[pid=27131] ppid=27125 vsize=30152 CPUtime=522.04
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7294 0 0 0 52194 10 0 0 25 0 1 0 306425970 30875648 7280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7538 7280 76 171 0 7365 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 35508

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1777472/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=30564 CPUtime=582.02
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7395 0 0 0 58192 10 0 0 25 0 1 0 306425970 31297536 7381 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7641 7381 76 171 0 7468 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 35920

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1776448/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=31356 CPUtime=642.01
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7621 0 0 0 64190 11 0 0 25 0 1 0 306425970 32108544 7607 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7839 7607 76 171 0 7666 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 36712

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1776320/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=31356 CPUtime=701.98
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7622 0 0 0 70187 11 0 0 25 0 1 0 306425970 32108544 7608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7839 7608 76 171 0 7666 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 36712

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1776256/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=31356 CPUtime=761.97
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7622 0 0 0 76186 11 0 0 25 0 1 0 306425970 32108544 7608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7839 7608 76 171 0 7666 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 36712

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1776128/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=31356 CPUtime=821.95
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7622 0 0 0 82184 11 0 0 25 0 1 0 306425970 32108544 7608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7839 7608 76 171 0 7666 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 36712

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27131
/proc/meminfo: memFree=1776128/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=31356 CPUtime=881.93
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7622 0 0 0 88182 11 0 0 25 0 1 0 306425970 32108544 7608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7839 7608 76 171 0 7666 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 36712

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27137
/proc/meminfo: memFree=1775872/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=31492 CPUtime=941.91
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7630 0 0 0 94180 11 0 0 25 0 1 0 306425970 32247808 7616 1992294400 134512640 135215339 4294956240 18446744073709551615 134538977 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7873 7616 76 171 0 7700 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 36848

[startup+1002.3 s]
/proc/loadavg: 1.64 1.17 1.06 2/72 28760
/proc/meminfo: memFree=1675008/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=31492 CPUtime=1001.48
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 7630 0 0 0 100131 17 0 0 25 0 1 0 306425970 32247808 7616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 7873 7616 76 171 0 7700 0
Current children cumulated CPU time (s) 1001.53
Current children cumulated vsize (KiB) 36848

[startup+1062.3 s]
/proc/loadavg: 1.47 1.22 1.08 2/67 29205
/proc/meminfo: memFree=1582784/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=33544 CPUtime=1061.44
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 8098 0 0 0 106118 26 0 0 25 0 1 0 306425970 34349056 8084 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 8386 8084 76 171 0 8213 0
Current children cumulated CPU time (s) 1061.49
Current children cumulated vsize (KiB) 38900

[startup+1122.3 s]
/proc/loadavg: 1.17 1.18 1.08 2/67 29205
/proc/meminfo: memFree=1582784/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=33544 CPUtime=1121.43
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 8099 0 0 0 112117 26 0 0 25 0 1 0 306425970 34349056 8085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 8386 8085 76 171 0 8213 0
Current children cumulated CPU time (s) 1121.48
Current children cumulated vsize (KiB) 38900

[startup+1182.3 s]
/proc/loadavg: 1.12 1.16 1.08 2/67 29205
/proc/meminfo: memFree=1582720/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=33544 CPUtime=1181.41
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 8099 0 0 0 118115 26 0 0 25 0 1 0 306425970 34349056 8085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 8386 8085 76 171 0 8213 0
Current children cumulated CPU time (s) 1181.46
Current children cumulated vsize (KiB) 38900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.9 s]
/proc/loadavg: 1.09 1.15 1.07 2/67 29205
/proc/meminfo: memFree=1582720/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=33544 CPUtime=1200.01
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 8099 0 0 0 119975 26 0 0 25 0 1 0 306425970 34349056 8085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 8386 8085 76 171 0 8213 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 38900

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

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

[startup+1200.9 s]
/proc/loadavg: 1.09 1.15 1.07 2/67 29205
/proc/meminfo: memFree=1582720/2055920 swapFree=4179980/4192956
[pid=27125] ppid=27123 vsize=5356 CPUtime=0.05
/proc/27125/stat : 27125 (SatELiteGTI) S 27123 27125 26944 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306425964 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27125/statm: 1339 239 197 169 0 50 0
[pid=27131] ppid=27125 vsize=33544 CPUtime=1200.01
/proc/27131/stat : 27131 (minisat_static) R 27125 27125 26944 0 -1 4194304 8099 0 0 0 119975 26 0 0 25 0 1 0 306425970 34349056 8085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/27131/statm: 8386 8085 76 171 0 8213 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 38900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.91
CPU time (s): 1200.1
CPU user time (s): 1199.81
CPU system time (s): 0.281957
CPU usage (%): 99.9319
Max. virtual memory (cumulated for all children) (KiB): 38900

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

runsolver used 1.13583 second user time and 3.35049 second system time

The end

Launcher Data

Begin job on node76 at 2009-05-20 03:45:58
IDJOB=1832557
IDBENCH=70242
IDSOLVER=671
FILE ID=node76/1832557-1242783958
PBS_JOBID= 9322299
Free space on /tmp= 66180 MiB

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

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

MD5SUM BENCH= 7f520cacbc1966b43139f7a53a60437c
RANDOM SEED=329903453

node76.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.220
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.220
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1809464 kB
Buffers:         23232 kB
Cached:         185252 kB
SwapCached:       7280 kB
Active:          78544 kB
Inactive:       138860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1809464 kB
SwapTotal:     4192956 kB
SwapFree:      4179980 kB
Dirty:            2136 kB
Writeback:           0 kB
Mapped:          13928 kB
Slab:            15020 kB
Committed_AS:  1006264 kB
PageTables:       1436 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= 66176 MiB
End job on node76 at 2009-05-20 04:06:01