Trace number 1832555

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
MD5SUM517a75d68208490415f54c6427b40d77
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.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  220                                                  |
0.00/0.06	c |  Number of clauses:    18700                                                |
0.00/0.08	c |  Parsing time:         0.02         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     220    18700   130900 |     6233        0    nan |  0.000 % |
0.05/0.10	c |       102 |     220    18700   130900 |     6233      102     60 |  0.002 % |
0.05/0.11	c |       202 |     220    18700   130900 |     6233      202     60 |  0.002 % |
0.05/0.12	c |       302 |     220    18700   130900 |     6233      302     60 |  0.002 % |
0.05/0.13	c |       413 |     220    18700   130900 |     6233      413     60 |  0.002 % |
0.05/0.14	c |       513 |     220    18700   130900 |     6233      513     59 |  0.002 % |
0.05/0.15	c |       623 |     220    18700   130900 |     6233      623     59 |  0.002 % |
0.05/0.16	c |       744 |     220    18700   130900 |     6233      744     59 |  0.002 % |
0.05/0.17	c |       846 |     220    18700   130900 |     6233      846     59 |  0.002 % |
0.05/0.18	c |       957 |     220    18700   130900 |     6233      957     59 |  0.002 % |
0.05/0.19	c |      1080 |     220    18700   130900 |     6233     1080     59 |  0.002 % |
0.05/0.20	c |      1213 |     220    18700   130900 |     6233     1213     60 |  0.002 % |
0.05/0.21	c |      1314 |     220    18700   130900 |     6233     1314     61 |  0.002 % |
0.05/0.22	c |      1428 |     220    18700   130900 |     6233     1428     61 |  0.002 % |
0.05/0.24	c |      1549 |     220    18700   130900 |     6233     1549     61 |  0.002 % |
0.05/0.25	c |      1682 |     220    18700   130900 |     6233     1682     60 |  0.002 % |
0.05/0.26	c |      1829 |     220    18700   130900 |     6233     1829     61 |  0.002 % |
0.05/0.27	c |      1932 |     220    18700   130900 |     6233     1932     61 |  0.002 % |
0.05/0.28	c |      2042 |     220    18700   130900 |     6233     2042     61 |  0.002 % |
0.05/0.30	c |      2163 |     220    18700   130900 |     6233     2163     61 |  0.002 % |
0.05/0.31	c |      2297 |     220    18700   130900 |     6233     2297     61 |  0.002 % |
0.05/0.32	c |      2443 |     220    18700   130900 |     6233     2443     61 |  0.002 % |
0.05/0.34	c |      2603 |     220    18700   130900 |     6233     2603     61 |  0.002 % |
0.05/0.35	c |      2706 |     220    18700   130900 |     6233     2706     61 |  0.002 % |
0.05/0.36	c |      2816 |     220    18700   130900 |     6233     2816     61 |  0.002 % |
0.05/0.38	c |      2937 |     220    18700   130900 |     6233     2937     61 |  0.002 % |
0.05/0.39	c |      3070 |     220    18700   130900 |     6233     3070     61 |  0.002 % |
0.05/0.41	c |      3217 |     220    18700   130900 |     6233     3217     61 |  0.002 % |
0.05/0.42	c |      3377 |     220    18700   130900 |     6233     3377     61 |  0.002 % |
0.05/0.44	c |      3553 |     220    18700   130900 |     6233     3553     61 |  0.002 % |
0.05/0.45	c |      3653 |     220    18700   130900 |     6233     3653     61 |  0.002 % |
0.05/0.47	c |      3765 |     220    18700   130900 |     6233     3765     61 |  0.002 % |
0.05/0.48	c |      3888 |     220    18700   130900 |     6233     3888     61 |  0.002 % |
0.05/0.50	c |      4021 |     220    18700   130900 |     6233     4021     61 |  0.002 % |
0.05/0.51	c |      4169 |     220    18700   130900 |     6233     4169     61 |  0.002 % |
0.05/0.53	c |      4330 |     220    18700   130900 |     6233     4330     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 |      4910 |     220    18700   130900 |     6233     4910     61 |  0.002 % |
0.05/0.61	c |      5032 |     220    18700   130900 |     6233     5032     61 |  0.002 % |
0.05/0.63	c |      5166 |     220    18700   130900 |     6233     5166     61 |  0.002 % |
0.05/0.65	c |      5312 |     220    18700   130900 |     6233     5312     61 |  0.002 % |
0.05/0.66	c |      5472 |     220    18700   130900 |     6233     5472     61 |  0.002 % |
0.05/0.69	c |      5648 |     220    18700   130900 |     6233     5648     61 |  0.002 % |
0.05/0.71	c |      5842 |     220    18700   130900 |     6233     5842     61 |  0.002 % |
0.05/0.74	c |      6055 |     220    18700   130900 |     6233     6055     62 |  0.002 % |
0.05/0.75	c |      6155 |     220    18700   130900 |     6233     6155     61 |  0.002 % |
0.05/0.77	c |      6265 |     220    18700   130900 |     6233     6265     62 |  0.002 % |
0.05/0.79	c |      6386 |     220    18700   130900 |     6233     5760     61 |  0.002 % |
0.05/0.80	c |      6520 |     220    18700   130900 |     6233     5894     61 |  0.002 % |
0.05/0.82	c |      6667 |     220    18700   130900 |     6233     6041     61 |  0.002 % |
0.05/0.85	c |      6828 |     220    18700   130900 |     6233     6202     61 |  0.002 % |
0.05/0.87	c |      7004 |     220    18700   130900 |     6233     5745     61 |  0.002 % |
0.05/0.89	c |      7197 |     220    18700   130900 |     6233     5938     61 |  0.002 % |
0.05/0.92	c |      7409 |     220    18700   130900 |     6233     6150     61 |  0.002 % |
0.05/0.96	c |      7643 |     220    18700   130900 |     6233     5751     61 |  0.002 % |
0.05/0.97	c |      7743 |     220    18700   130900 |     6233     5851     61 |  0.002 % |
0.05/0.98	c |      7853 |     220    18700   130900 |     6233     5961     61 |  0.002 % |
0.98/1.00	c |      7974 |     220    18700   130900 |     6233     6082     61 |  0.002 % |
0.98/1.02	c |      8107 |     220    18700   130900 |     6233     6215     61 |  0.002 % |
0.98/1.04	c |      8253 |     220    18700   130900 |     6233     5727     61 |  0.002 % |
0.98/1.06	c |      8415 |     220    18700   130900 |     6233     5889     61 |  0.002 % |
0.98/1.08	c |      8593 |     220    18700   130900 |     6233     6067     61 |  0.002 % |
1.08/1.11	c |      8789 |     220    18700   130900 |     6233     6263     61 |  0.002 % |
1.08/1.14	c |      9003 |     220    18700   130900 |     6233     5851     61 |  0.002 % |
1.08/1.16	c |      9239 |     220    18700   130900 |     6233     6087     61 |  0.002 % |
1.08/1.20	c |      9498 |     220    18700   130900 |     6233     5714     61 |  0.002 % |
1.17/1.21	c |      9599 |     220    18700   130900 |     6233     5815     61 |  0.002 % |
1.17/1.22	c |      9709 |     220    18700   130900 |     6233     5925     61 |  0.002 % |
1.17/1.24	c |      9830 |     220    18700   130900 |     6233     6046     61 |  0.002 % |
1.17/1.26	c |      9964 |     220    18700   130900 |     6233     6180     61 |  0.002 % |
1.17/1.27	c |     10111 |     220    18700   130900 | 2147483647     6327     61 |  0.002 % |
1.17/1.29	c |     10271 |     220    18700   130900 | 2147483647     6487     62 |  0.002 % |
1.27/1.32	c |     10448 |     220    18700   130900 | 2147483647     6664     62 |  0.002 % |
1.27/1.34	c |     10641 |     220    18700   130900 | 2147483647     6857     62 |  0.002 % |
1.27/1.37	c |     10854 |     220    18700   130900 | 2147483647     7070     62 |  0.002 % |
1.37/1.40	c |     11090 |     220    18700   130900 | 2147483647     7306     62 |  0.002 % |
1.37/1.43	c |     11346 |     220    18700   130900 | 2147483647     7562     62 |  0.002 % |
1.37/1.47	c |     11630 |     220    18700   130900 | 2147483647     7846     62 |  0.002 % |
1.37/1.49	c |     11731 |     220    18700   130900 | 2147483647     7947     62 |  0.002 % |
1.47/1.50	c |     11842 |     220    18700   130900 | 2147483647     8058     62 |  0.002 % |
1.47/1.52	c |     11964 |     220    18700   130900 | 2147483647     8180     62 |  0.002 % |
1.47/1.54	c |     12098 |     220    18700   130900 | 2147483647     8314     62 |  0.002 % |
1.47/1.56	c |     12245 |     220    18700   130900 | 2147483647     8461     62 |  0.002 % |
1.47/1.58	c |     12405 |     220    18700   130900 | 2147483647     8621     62 |  0.002 % |
1.57/1.61	c |     12581 |     220    18700   130900 | 2147483647     8797     62 |  0.002 % |
1.57/1.64	c |     12775 |     220    18700   130900 | 2147483647     8991     62 |  0.002 % |
1.57/1.67	c |     12989 |     220    18700   130900 | 2147483647     9205     62 |  0.002 % |
1.67/1.71	c |     13225 |     220    18700   130900 | 2147483647     9441     62 |  0.002 % |
1.67/1.75	c |     13481 |     220    18700   130900 | 2147483647     9697     62 |  0.002 % |
1.67/1.79	c |     13762 |     220    18700   130900 | 2147483647     9978     62 |  0.002 % |
1.77/1.84	c |     14074 |     220    18700   130900 | 2147483647    10290     62 |  0.002 % |
1.77/1.86	c |     14174 |     220    18700   130900 | 2147483647    10390     62 |  0.002 % |
1.77/1.87	c |     14286 |     220    18700   130900 | 2147483647    10502     62 |  0.002 % |
1.77/1.89	c |     14407 |     220    18700   130900 | 2147483647    10623     62 |  0.002 % |
1.87/1.91	c |     14541 |     220    18700   130900 | 2147483647    10757     62 |  0.002 % |
1.87/1.94	c |     14687 |     220    18700   130900 | 2147483647    10903     62 |  0.002 % |
1.87/1.97	c |     14849 |     220    18700   130900 | 2147483647    11065     62 |  0.002 % |
1.97/2.00	c |     15027 |     220    18700   130900 | 2147483647    11243     62 |  0.002 % |
1.97/2.04	c |     15220 |     220    18700   130900 | 2147483647    11436     62 |  0.002 % |
1.97/2.07	c |     15435 |     220    18700   130900 | 2147483647    11651     62 |  0.002 % |
2.08/2.12	c |     15669 |     220    18700   130900 | 2147483647    11885     62 |  0.002 % |
2.08/2.17	c |     15925 |     220    18700   130900 | 2147483647    12141     62 |  0.002 % |
2.17/2.21	c |     16208 |     220    18700   130900 | 2147483647    12424     62 |  0.002 % |
2.17/2.27	c |     16517 |     220    18700   130900 | 2147483647    12733     62 |  0.002 % |
2.27/2.33	c |     16856 |     220    18700   130900 | 2147483647    13072     62 |  0.002 % |
2.27/2.35	c |     16957 |     220    18700   130900 | 2147483647    13173     62 |  0.002 % |
2.27/2.38	c |     17068 |     220    18700   130900 | 2147483647    13284     62 |  0.002 % |
2.37/2.41	c |     17189 |     220    18700   130900 | 2147483647    13405     62 |  0.002 % |
2.37/2.43	c |     17322 |     220    18700   130900 | 2147483647    13538     62 |  0.002 % |
2.37/2.46	c |     17468 |     220    18700   130900 | 2147483647    13684     62 |  0.002 % |
2.37/2.50	c |     17629 |     220    18700   130900 | 2147483647    13845     62 |  0.002 % |
2.47/2.53	c |     17806 |     220    18700   130900 | 2147483647    14022     62 |  0.002 % |
2.47/2.57	c |     18003 |     220    18700   130900 | 2147483647    14219     62 |  0.002 % |
2.57/2.62	c |     18215 |     220    18700   130900 | 2147483647    14431     62 |  0.002 % |
2.57/2.67	c |     18448 |     220    18700   130900 | 2147483647    14664     61 |  0.002 % |
2.67/2.72	c |     18709 |     220    18700   130900 | 2147483647    14925     62 |  0.002 % |
2.67/2.77	c |     18991 |     220    18700   130900 | 2147483647    15207     62 |  0.002 % |
2.77/2.84	c |     19302 |     220    18700   130900 | 2147483647    15518     62 |  0.002 % |
2.87/2.91	c |     19641 |     220    18700   130900 | 2147483647    15857     62 |  0.002 % |
2.87/2.99	c |     20014 |     220    18700   130900 | 2147483647    16230     61 |  0.002 % |
2.97/3.02	c |     20116 |     220    18700   130900 | 2147483647    16332     61 |  0.002 % |
2.97/3.04	c |     20226 |     220    18700   130900 | 2147483647    16442     61 |  0.002 % |
2.97/3.07	c |     20351 |     220    18700   130900 | 2147483647    16567     61 |  0.002 % |
3.07/3.11	c |     20484 |     220    18700   130900 | 2147483647    16700     61 |  0.002 % |
3.07/3.14	c |     20632 |     220    18700   130900 | 2147483647    16848     61 |  0.002 % |
3.07/3.17	c |     20794 |     220    18700   130900 | 2147483647    17010     61 |  0.002 % |
3.17/3.21	c |     20971 |     220    18700   130900 | 2147483647    17187     61 |  0.002 % |
3.17/3.26	c |     21165 |     220    18700   130900 | 2147483647    17381     61 |  0.002 % |
3.27/3.30	c |     21377 |     220    18700   130900 | 2147483647    17593     61 |  0.002 % |
3.27/3.35	c |     21611 |     220    18700   130900 | 2147483647    17827     61 |  0.002 % |
3.37/3.42	c |     21867 |     220    18700   130900 | 2147483647    18083     61 |  0.002 % |
3.37/3.49	c |     22148 |     220    18700   130900 | 2147483647    18364     61 |  0.002 % |
3.47/3.56	c |     22459 |     220    18700   130900 | 2147483647    18675     61 |  0.002 % |
3.57/3.64	c |     22799 |     220    18700   130900 | 2147483647    19015     61 |  0.002 % |
3.67/3.73	c |     23175 |     220    18700   130900 | 2147483647    19391     62 |  0.002 % |
3.77/3.83	c |     23585 |     220    18700   130900 | 2147483647    19801     62 |  0.002 % |
3.77/3.86	c |     23685 |     220    18700   130900 | 2147483647    19901     62 |  0.002 % |
3.87/3.90	c |     23799 |     220    18700   130900 | 2147483647    20015     62 |  0.002 % |
3.87/3.93	c |     23922 |     220    18700   130900 | 2147483647    20138     62 |  0.002 % |
3.87/3.97	c |     24055 |     220    18700   130900 | 2147483647    20271     62 |  0.002 % |
3.97/4.02	c |     24202 |     220    18700   130900 | 2147483647    20418     62 |  0.002 % |
3.97/4.06	c |     24363 |     220    18700   130900 | 2147483647    20579     62 |  0.002 % |
4.07/4.10	c |     24541 |     220    18700   130900 | 2147483647    20757     62 |  0.002 % |
4.07/4.16	c |     24735 |     220    18700   130900 | 2147483647    20951     62 |  0.002 % |
4.17/4.22	c |     24948 |     220    18700   130900 | 2147483647    21164     62 |  0.002 % |
4.17/4.28	c |     25181 |     220    18700   130900 | 2147483647    21397     62 |  0.002 % |
4.27/4.35	c |     25437 |     220    18700   130900 | 2147483647    21653     61 |  0.002 % |
4.37/4.42	c |     25719 |     220    18700   130900 | 2147483647    21935     61 |  0.002 % |
4.47/4.51	c |     26028 |     220    18700   130900 | 2147483647    22244     62 |  0.002 % |
4.57/4.61	c |     26367 |     220    18700   130900 | 2147483647    22583     62 |  0.002 % |
4.67/4.72	c |     26742 |     220    18700   130900 | 2147483647    22958     62 |  0.002 % |
4.77/4.83	c |     27151 |     220    18700   130900 | 2147483647    23367     62 |  0.002 % |
4.87/4.96	c |     27600 |     220    18700   130900 | 2147483647    23816     62 |  0.002 % |
4.87/4.99	c |     27700 |     220    18700   130900 | 2147483647    23916     62 |  0.002 % |
4.97/5.02	c |     27810 |     220    18700   130900 | 2147483647    24026     62 |  0.002 % |
4.97/5.06	c |     27932 |     220    18700   130900 | 2147483647    24148     62 |  0.002 % |
5.07/5.10	c |     28065 |     220    18700   130900 | 2147483647    24281     62 |  0.002 % |
5.07/5.16	c |     28211 |     220    18700   130900 | 2147483647    24427     62 |  0.002 % |
5.17/5.20	c |     28371 |     220    18700   130900 | 2147483647    24587     62 |  0.002 % |
5.17/5.26	c |     28547 |     220    18700   130900 | 2147483647    24763     62 |  0.002 % |
5.27/5.32	c |     28741 |     220    18700   130900 | 2147483647    24957     62 |  0.002 % |
5.27/5.38	c |     28956 |     220    18700   130900 | 2147483647    25172     62 |  0.002 % |
5.37/5.46	c |     29189 |     220    18700   130900 | 2147483647    25405     62 |  0.002 % |
5.47/5.55	c |     29445 |     220    18700   130900 | 2147483647    25661     62 |  0.002 % |
5.57/5.63	c |     29728 |     220    18700   130900 | 2147483647    25944     62 |  0.002 % |
5.67/5.72	c |     30037 |     220    18700   130900 | 2147483647    26253     62 |  0.002 % |
5.77/5.84	c |     30376 |     220    18700   130900 | 2147483647    26592     62 |  0.002 % |
5.87/5.95	c |     30748 |     220    18700   130900 | 2147483647    26964     62 |  0.002 % |
5.96/6.08	c |     31158 |     220    18700   130900 | 2147483647    27374     62 |  0.002 % |
6.16/6.23	c |     31609 |     220    18700   130900 | 2147483647    27825     62 |  0.002 % |
6.26/6.38	c |     32102 |     220    18700   130900 | 2147483647    28318     62 |  0.002 % |
6.36/6.41	c |     32202 |     220    18700   130900 | 2147483647    28418     62 |  0.002 % |
6.36/6.44	c |     32312 |     220    18700   130900 | 2147483647    28528     62 |  0.002 % |
6.36/6.48	c |     32433 |     220    18700   130900 | 2147483647    28649     62 |  0.002 % |
6.47/6.53	c |     32566 |     220    18700   130900 | 2147483647    28782     62 |  0.002 % |
6.57/6.60	c |     32714 |     220    18700   130900 | 2147483647    28930     62 |  0.002 % |
6.57/6.67	c |     32878 |     220    18700   130900 | 2147483647    29094     62 |  0.002 % |
6.66/6.74	c |     33056 |     220    18700   130900 | 2147483647    29272     62 |  0.002 % |
6.76/6.81	c |     33251 |     220    18700   130900 | 2147483647    29467     62 |  0.002 % |
6.86/6.90	c |     33463 |     220    18700   130900 | 2147483647    29679     62 |  0.002 % |
6.86/6.99	c |     33696 |     220    18700   130900 | 2147483647    29912     62 |  0.002 % |
6.96/7.07	c |     33954 |     220    18700   130900 | 2147483647    30170     62 |  0.002 % |
7.06/7.18	c |     34236 |     220    18700   130900 | 2147483647    30452     62 |  0.002 % |
7.16/7.28	c |     34545 |     220    18700   130900 | 2147483647    30761     62 |  0.002 % |
7.36/7.43	c |     34886 |     220    18700   130900 | 2147483647    31102     62 |  0.002 % |
7.46/7.57	c |     35259 |     220    18700   130900 | 2147483647    31475     62 |  0.002 % |
7.67/7.72	c |     35669 |     220    18700   130900 | 2147483647    31885     62 |  0.002 % |
7.76/7.88	c |     36118 |     220    18700   130900 | 2147483647    32334     62 |  0.002 % |
7.96/8.06	c |     36611 |     220    18700   130900 | 2147483647    32827     62 |  0.002 % |
8.17/8.27	c |     37153 |     220    18700   130900 | 2147483647    33369     62 |  0.002 % |
8.27/8.31	c |     37253 |     220    18700   130900 | 2147483647    33469     62 |  0.002 % |
8.27/8.35	c |     37363 |     220    18700   130900 | 2147483647    33579     62 |  0.002 % |
8.27/8.39	c |     37484 |     220    18700   130900 | 2147483647    33700     62 |  0.002 % |
8.37/8.45	c |     37617 |     220    18700   130900 | 2147483647    33833     62 |  0.002 % |
8.47/8.51	c |     37764 |     220    18700   130900 | 2147483647    33980     62 |  0.002 % |
8.47/8.58	c |     37924 |     220    18700   130900 | 2147483647    34140     62 |  0.002 % |
8.57/8.65	c |     38100 |     220    18700   130900 | 2147483647    34316     62 |  0.002 % |
8.68/8.73	c |     38294 |     220    18700   130900 | 2147483647    34510     62 |  0.002 % |
8.78/8.81	c |     38506 |     220    18700   130900 | 2147483647    34722     62 |  0.002 % |
8.87/8.93	c |     38739 |     220    18700   130900 | 2147483647    34955     62 |  0.002 % |
8.97/9.04	c |     38995 |     220    18700   130900 | 2147483647    35211     62 |  0.002 % |
9.07/9.17	c |     39276 |     220    18700   130900 | 2147483647    35492     62 |  0.002 % |
9.17/9.29	c |     39588 |     220    18700   130900 | 2147483647    35804     62 |  0.002 % |
9.37/9.44	c |     39930 |     220    18700   130900 | 2147483647    36146     62 |  0.002 % |
9.57/9.60	c |     40303 |     220    18700   130900 | 2147483647    36519     62 |  0.002 % |
9.67/9.78	c |     40713 |     220    18700   130900 | 2147483647    36929     62 |  0.002 % |
9.87/9.95	c |     41163 |     220    18700   130900 | 2147483647    37379     62 |  0.002 % |
10.06/10.15	c |     41658 |     220    18700   130900 | 2147483647    37874     62 |  0.002 % |
10.26/10.36	c |     42201 |     220    18700   130900 | 2147483647    38417     62 |  0.002 % |
10.56/10.64	c |     42797 |     220    18700   130900 | 2147483647    39013     62 |  0.002 % |
10.56/10.69	c |     42897 |     220    18700   130900 | 2147483647    39113     62 |  0.002 % |
10.66/10.74	c |     43008 |     220    18700   130900 | 2147483647    39224     62 |  0.002 % |
10.76/10.81	c |     43129 |     220    18700   130900 | 2147483647    39345     62 |  0.002 % |
10.76/10.88	c |     43263 |     220    18700   130900 | 2147483647    39479     62 |  0.002 % |
10.87/10.95	c |     43411 |     220    18700   130900 | 2147483647    39627     62 |  0.002 % |
10.97/11.02	c |     43571 |     220    18700   130900 | 2147483647    39787     62 |  0.002 % |
11.06/11.11	c |     43748 |     220    18700   130900 | 2147483647    39964     62 |  0.002 % |
11.16/11.20	c |     43941 |     220    18700   130900 | 2147483647    40157     62 |  0.002 % |
11.26/11.30	c |     44156 |     220    18700   130900 | 2147483647    40372     62 |  0.002 % |
11.36/11.41	c |     44390 |     220    18700   130900 | 2147483647    40606     62 |  0.002 % |
11.46/11.52	c |     44646 |     220    18700   130900 | 2147483647    40862     62 |  0.002 % |
11.56/11.65	c |     44928 |     220    18700   130900 | 2147483647    41144     62 |  0.002 % |
11.66/11.78	c |     45237 |     220    18700   130900 | 2147483647    41453     62 |  0.002 % |
11.86/11.93	c |     45577 |     220    18700   130900 | 2147483647    41793     62 |  0.002 % |
12.07/12.14	c |     45950 |     220    18700   130900 | 2147483647    42166     62 |  0.002 % |
12.27/12.33	c |     46361 |     220    18700   130900 | 2147483647    42577     62 |  0.002 % |
12.47/12.56	c |     46812 |     220    18700   130900 | 2147483647    43028     62 |  0.002 % |
12.67/12.79	c |     47305 |     220    18700   130900 | 2147483647    43521     62 |  0.002 % |
12.97/13.04	c |     47848 |     220    18700   130900 | 2147483647    44064     62 |  0.002 % |
13.26/13.31	c |     48444 |     220    18700   130900 | 2147483647    44660     62 |  0.002 % |
13.56/13.63	c |     49099 |     220    18700   130900 | 2147483647    45315     62 |  0.002 % |
13.66/13.71	c |     49201 |     220    18700   130900 | 2147483647    45417     62 |  0.002 % |
13.66/13.78	c |     49313 |     220    18700   130900 | 2147483647    45529     62 |  0.002 % |
13.76/13.84	c |     49436 |     220    18700   130900 | 2147483647    45652     62 |  0.002 % |
13.86/13.91	c |     49569 |     220    18700   130900 | 2147483647    45785     62 |  0.002 % |
13.96/14.01	c |     49716 |     220    18700   130900 | 2147483647    45932     62 |  0.002 % |
14.06/14.11	c |     49877 |     220    18700   130900 | 2147483647    46093     62 |  0.002 % |
14.06/14.20	c |     50054 |     220    18700   130900 | 2147483647    46270     62 |  0.002 % |
14.27/14.32	c |     50248 |     220    18700   130900 | 2147483647    46464     62 |  0.002 % |
14.36/14.43	c |     50460 |     220    18700   130900 | 2147483647    46676     62 |  0.002 % |
14.46/14.56	c |     50694 |     220    18700   130900 | 2147483647    46910     62 |  0.002 % |
14.56/14.69	c |     50952 |     220    18700   130900 | 2147483647    47168     62 |  0.002 % |
14.76/14.83	c |     51233 |     220    18700   130900 | 2147483647    47449     62 |  0.002 % |
14.96/15.01	c |     51542 |     220    18700   130900 | 2147483647    47758     62 |  0.002 % |
15.17/15.23	c |     51881 |     220    18700   130900 | 2147483647    48097     62 |  0.002 % |
15.37/15.45	c |     52256 |     220    18700   130900 | 2147483647    48472     62 |  0.002 % |
15.57/15.67	c |     52667 |     220    18700   130900 | 2147483647    48883     62 |  0.002 % |
15.87/15.90	c |     53116 |     220    18700   130900 | 2147483647    49332     62 |  0.002 % |
16.07/16.18	c |     53610 |     220    18700   130900 | 2147483647    49826     62 |  0.002 % |
16.37/16.46	c |     54153 |     220    18700   130900 | 2147483647    50369     62 |  0.002 % |
16.67/16.79	c |     54749 |     220    18700   130900 | 2147483647    50965     62 |  0.002 % |
17.07/17.13	c |     55404 |     220    18700   130900 | 2147483647    51620     62 |  0.002 % |
17.47/17.53	c |     56124 |     220    18700   130900 | 2147483647    52340     62 |  0.002 % |
17.47/17.58	c |     56226 |     220    18700   130900 | 2147483647    52442     62 |  0.002 % |
17.57/17.64	c |     56338 |     220    18700   130900 | 2147483647    52554     62 |  0.002 % |
17.67/17.72	c |     56460 |     220    18700   130900 | 2147483647    52676     62 |  0.002 % |
17.77/17.82	c |     56593 |     220    18700   130900 | 2147483647    52809     62 |  0.002 % |
17.87/17.94	c |     56741 |     220    18700   130900 | 2147483647    52957     62 |  0.002 % |
17.97/18.05	c |     56902 |     220    18700   130900 | 2147483647    53118     62 |  0.002 % |
18.07/18.17	c |     57079 |     220    18700   130900 | 2147483647    53295     62 |  0.002 % |
18.27/18.30	c |     57274 |     220    18700   130900 | 2147483647    53490     62 |  0.002 % |
18.36/18.44	c |     57486 |     220    18700   130900 | 2147483647    53702     62 |  0.002 % |
18.46/18.57	c |     57721 |     220    18700   130900 | 2147483647    53937     62 |  0.002 % |
18.67/18.71	c |     57978 |     220    18700   130900 | 2147483647    54194     62 |  0.002 % |
18.76/18.87	c |     58261 |     220    18700   130900 | 2147483647    54477     62 |  0.002 % |
18.96/19.04	c |     58570 |     220    18700   130900 | 2147483647    54786     62 |  0.002 % |
19.16/19.28	c |     58910 |     220    18700   130900 | 2147483647    55126     62 |  0.002 % |
19.46/19.50	c |     59283 |     220    18700   130900 | 2147483647    55499     62 |  0.002 % |
19.67/19.77	c |     59692 |     220    18700   130900 | 2147483647    55908     62 |  0.002 % |
19.96/20.04	c |     60142 |     220    18700   130900 | 2147483647    56358     62 |  0.002 % |
20.26/20.34	c |     60635 |     220    18700   130900 | 2147483647    56851     62 |  0.002 % |
20.56/20.66	c |     61178 |     220    18700   130900 | 2147483647    57394     62 |  0.002 % |
20.96/21.01	c |     61776 |     220    18700   130900 | 2147483647    57992     62 |  0.002 % |
21.36/21.41	c |     62433 |     220    18700   130900 | 2147483647    58649     62 |  0.002 % |
21.76/21.85	c |     63153 |     220    18700   130900 | 2147483647    59369     62 |  0.002 % |
22.26/22.31	c |     63946 |     220    18700   130900 | 2147483647    60162     62 |  0.002 % |
22.26/22.37	c |     64047 |     220    18700   130900 | 2147483647    60263     62 |  0.002 % |
22.36/22.47	c |     64158 |     220    18700   130900 | 2147483647    60374     62 |  0.002 % |
22.46/22.56	c |     64279 |     220    18700   130900 | 2147483647    60495     62 |  0.002 % |
22.56/22.66	c |     64413 |     220    18700   130900 | 2147483647    60629     62 |  0.002 % |
22.66/22.76	c |     64561 |     220    18700   130900 | 2147483647    60777     62 |  0.002 % |
22.86/22.90	c |     64721 |     220    18700   130900 | 2147483647    60937     62 |  0.002 % |
22.96/23.03	c |     64898 |     220    18700   130900 | 2147483647    61114     62 |  0.002 % |
23.06/23.17	c |     65091 |     220    18700   130900 | 2147483647    61307     62 |  0.002 % |
23.26/23.35	c |     65304 |     220    18700   130900 | 2147483647    61520     62 |  0.002 % |
23.46/23.53	c |     65537 |     220    18700   130900 | 2147483647    61753     62 |  0.002 % |
23.66/23.73	c |     65794 |     220    18700   130900 | 2147483647    62010     62 |  0.002 % |
23.86/23.93	c |     66075 |     220    18700   130900 | 2147483647    62291     62 |  0.002 % |
24.06/24.15	c |     66385 |     220    18700   130900 | 2147483647    62601     62 |  0.002 % |
24.36/24.41	c |     66725 |     220    18700   130900 | 2147483647    62941     62 |  0.002 % |
24.56/24.67	c |     67098 |     220    18700   130900 | 2147483647    63314     62 |  0.002 % |
24.86/24.99	c |     67508 |     220    18700   130900 | 2147483647    63724     62 |  0.002 % |
25.26/25.35	c |     67957 |     220    18700   130900 | 2147483647    64173     62 |  0.002 % |
25.66/25.71	c |     68450 |     220    18700   130900 | 2147483647    64666     62 |  0.002 % |
26.06/26.13	c |     68993 |     220    18700   130900 | 2147483647    65209     62 |  0.002 % |
26.46/26.55	c |     69589 |     220    18700   130900 | 2147483647    65805     62 |  0.002 % |
26.95/27.07	c |     70246 |     220    18700   130900 | 2147483647    66462     62 |  0.002 % |
27.55/27.60	c |     70966 |     220    18700   130900 | 2147483647    67182     62 |  0.002 % |
28.15/28.20	c |     71758 |     220    18700   130900 | 2147483647    67974     62 |  0.002 % |
28.75/28.81	c |     72629 |     220    18700   130900 | 2147483647    68845     62 |  0.002 % |
28.75/28.87	c |     72731 |     220    18700   130900 | 2147483647    68947     62 |  0.002 % |
28.85/28.95	c |     72841 |     220    18700   130900 | 2147483647    69057     62 |  0.002 % |
28.95/29.04	c |     72962 |     220    18700   130900 | 2147483647    69178     62 |  0.002 % |
29.05/29.14	c |     73096 |     220    18700   130900 | 2147483647    69312     62 |  0.002 % |
29.15/29.28	c |     73242 |     220    18700   130900 | 2147483647    69458     62 |  0.002 % |
29.35/29.40	c |     73402 |     220    18700   130900 | 2147483647    69618     62 |  0.002 % |
29.45/29.57	c |     73578 |     220    18700   130900 | 2147483647    69794     62 |  0.002 % |
29.66/29.76	c |     73771 |     220    18700   130900 | 2147483647    69987     62 |  0.002 % |
29.85/29.96	c |     73984 |     220    18700   130900 | 2147483647    70200     62 |  0.002 % |
30.05/30.15	c |     74218 |     220    18700   130900 | 2147483647    70434     62 |  0.002 % |
30.26/30.36	c |     74474 |     220    18700   130900 | 2147483647    70690     62 |  0.002 % |
30.46/30.58	c |     74759 |     220    18700   130900 | 2147483647    70975     62 |  0.002 % |
30.76/30.82	c |     75069 |     220    18700   130900 | 2147483647    71285     62 |  0.002 % |
31.06/31.13	c |     75408 |     220    18700   130900 | 2147483647    71624     62 |  0.002 % |
31.36/31.46	c |     75781 |     220    18700   130900 | 2147483647    71997     62 |  0.002 % |
31.76/31.81	c |     76192 |     220    18700   130900 | 2147483647    72408     62 |  0.002 % |
32.16/32.21	c |     76642 |     220    18700   130900 | 2147483647    72858     62 |  0.002 % |
32.46/32.60	c |     77137 |     220    18700   130900 | 2147483647    73353     62 |  0.002 % |
32.96/33.02	c |     77679 |     220    18700   130900 | 2147483647    73895     62 |  0.002 % |
33.36/33.47	c |     78275 |     220    18700   130900 | 2147483647    74491     62 |  0.002 % |
33.86/33.94	c |     78930 |     220    18700   130900 | 2147483647    75146     62 |  0.002 % |
34.46/34.53	c |     79650 |     220    18700   130900 | 2147483647    75866     62 |  0.002 % |
35.06/35.13	c |     80443 |     220    18700   130900 | 2147483647    76659     62 |  0.002 % |
35.75/35.80	c |     81315 |     220    18700   130900 | 2147483647    77531     62 |  0.002 % |
36.45/36.59	c |     82276 |     220    18700   130900 | 2147483647    78492     62 |  0.002 % |
36.55/36.68	c |     82376 |     220    18700   130900 | 2147483647    78592     62 |  0.002 % |
36.65/36.78	c |     82487 |     220    18700   130900 | 2147483647    78703     62 |  0.002 % |
36.75/36.89	c |     82608 |     220    18700   130900 | 2147483647    78824     62 |  0.002 % |
36.95/37.01	c |     82741 |     220    18700   130900 | 2147483647    78957     62 |  0.002 % |
37.05/37.13	c |     82887 |     220    18700   130900 | 2147483647    79103     62 |  0.002 % |
37.15/37.27	c |     83047 |     220    18700   130900 | 2147483647    79263     62 |  0.002 % |
37.35/37.46	c |     83225 |     220    18700   130900 | 2147483647    79441     62 |  0.002 % |
37.55/37.62	c |     83419 |     220    18700   130900 | 2147483647    79635     62 |  0.002 % |
37.75/37.82	c |     83631 |     220    18700   130900 | 2147483647    79847     62 |  0.002 % |
37.95/38.02	c |     83864 |     220    18700   130900 | 2147483647    80080     62 |  0.002 % |
38.15/38.22	c |     84121 |     220    18700   130900 | 2147483647    80337     62 |  0.002 % |
38.35/38.46	c |     84403 |     220    18700   130900 | 2147483647    80619     62 |  0.002 % |
38.65/38.72	c |     84712 |     220    18700   130900 | 2147483647    80928     62 |  0.002 % |
38.95/39.03	c |     85051 |     220    18700   130900 | 2147483647    81267     62 |  0.002 % |
39.35/39.42	c |     85423 |     220    18700   130900 | 2147483647    81639     62 |  0.002 % |
39.74/39.81	c |     85832 |     220    18700   130900 | 2147483647    82048     62 |  0.002 % |
40.15/40.23	c |     86281 |     220    18700   130900 | 2147483647    82497     62 |  0.002 % |
40.56/40.66	c |     86774 |     220    18700   130900 | 2147483647    82990     62 |  0.002 % |
41.05/41.17	c |     87316 |     220    18700   130900 | 2147483647    83532     62 |  0.002 % |
41.66/41.74	c |     87912 |     220    18700   130900 | 2147483647    84128     62 |  0.002 % |
42.25/42.32	c |     88568 |     220    18700   130900 | 2147483647    84784     62 |  0.002 % |
42.95/43.06	c |     89288 |     220    18700   130900 | 2147483647    85504     62 |  0.002 % |
43.75/43.82	c |     90080 |     220    18700   130900 |    86216    86296     62 |  0.002 % |
44.55/44.65	c |     90954 |     220    18700   130900 |    86216    75286     62 |  0.002 % |
45.35/45.40	c |     91912 |     220    18700   130900 |    86216    76244     62 |  0.002 % |
46.15/46.20	c |     92965 |     220    18700   130900 |    86216    77297     62 |  0.002 % |
46.25/46.30	c |     93065 |     220    18700   130900 |    86216    77397     62 |  0.002 % |
46.35/46.42	c |     93176 |     220    18700   130900 |    86216    77508     62 |  0.002 % |
46.45/46.52	c |     93298 |     220    18700   130900 |    86216    77630     62 |  0.002 % |
46.55/46.67	c |     93432 |     220    18700   130900 |    86216    77764     62 |  0.002 % |
46.75/46.80	c |     93579 |     220    18700   130900 |    86216    77911     62 |  0.002 % |
46.85/46.97	c |     93739 |     220    18700   130900 |    86216    78071     62 |  0.002 % |
47.05/47.13	c |     93916 |     220    18700   130900 |    86216    78248     62 |  0.002 % |
47.15/47.29	c |     94110 |     220    18700   130900 |    86216    78442     62 |  0.002 % |
47.35/47.48	c |     94323 |     220    18700   130900 |    86216    78655     62 |  0.002 % |
47.55/47.66	c |     94556 |     220    18700   130900 |    86216    78888     62 |  0.002 % |
47.85/47.93	c |     94817 |     220    18700   130900 |    86216    79149     62 |  0.002 % |
48.05/48.19	c |     95099 |     220    18700   130900 |    86216    79431     62 |  0.002 % |
48.45/48.51	c |     95409 |     220    18700   130900 |    86216    79741     62 |  0.002 % |
48.75/48.81	c |     95748 |     220    18700   130900 |    86216    80080     62 |  0.002 % |
49.05/49.15	c |     96120 |     220    18700   130900 |    86216    80452     62 |  0.002 % |
49.35/49.50	c |     96530 |     220    18700   130900 |    86216    80862     62 |  0.002 % |
49.85/49.94	c |     96979 |     220    18700   130900 |    86216    81311     62 |  0.002 % |
50.34/50.45	c |     97472 |     220    18700   130900 |    86216    81804     62 |  0.002 % |
50.84/50.93	c |     98015 |     220    18700   130900 |    86216    82347     62 |  0.002 % |
51.45/51.50	c |     98612 |     220    18700   130900 |    86216    82944     62 |  0.002 % |
52.05/52.11	c |     99267 |     220    18700   130900 |    86216    83599     62 |  0.002 % |
52.65/52.71	c |     99988 |     220    18700   130900 |    86216    84320     62 |  0.002 % |
53.24/53.37	c |    100781 |     220    18700   130900 |    84333    72724     62 |  0.002 % |
53.94/54.03	c |    101652 |     220    18700   130900 |    84333    73595     62 |  0.002 % |
54.64/54.72	c |    102611 |     220    18700   130900 |    84333    74554     62 |  0.002 % |
55.34/55.48	c |    103665 |     220    18700   130900 |    84333    75608     62 |  0.002 % |
56.24/56.40	c |    104823 |     220    18700   130900 |    84333    76766     62 |  0.002 % |
56.34/56.47	c |    104923 |     220    18700   130900 |    84333    76866     62 |  0.002 % |
56.44/56.56	c |    105033 |     220    18700   130900 |    84333    76976     62 |  0.002 % |
56.64/56.70	c |    105156 |     220    18700   130900 |    84333    77099     62 |  0.002 % |
56.74/56.81	c |    105290 |     220    18700   130900 |    84333    77233     62 |  0.002 % |
56.84/56.95	c |    105437 |     220    18700   130900 |    84333    77380     62 |  0.002 % |
56.94/57.10	c |    105597 |     220    18700   130900 |    84333    77540     62 |  0.002 % |
57.15/57.27	c |    105775 |     220    18700   130900 |    84333    77718     62 |  0.002 % |
57.34/57.43	c |    105968 |     220    18700   130900 |    84333    77911     62 |  0.002 % |
57.54/57.63	c |    106180 |     220    18700   130900 |    84333    78123     62 |  0.002 % |
57.74/57.85	c |    106414 |     220    18700   130900 |    84333    78357     62 |  0.002 % |
57.94/58.09	c |    106670 |     220    18700   130900 |    84333    78613     62 |  0.002 % |
58.25/58.34	c |    106951 |     220    18700   130900 |    84333    78894     62 |  0.002 % |
58.54/58.62	c |    107260 |     220    18700   130900 |    84333    79203     62 |  0.002 % |
58.84/58.90	c |    107599 |     220    18700   130900 |    84333    79542     62 |  0.002 % |
59.14/59.26	c |    107972 |     220    18700   130900 |    84333    79915     62 |  0.002 % |
59.54/59.60	c |    108381 |     220    18700   130900 |    84333    80324     62 |  0.002 % |
59.84/59.98	c |    108830 |     220    18700   130900 |    84333    80773     62 |  0.002 % |
60.35/60.41	c |    109324 |     220    18700   130900 |    84333    81267     62 |  0.002 % |
60.84/60.90	c |    109869 |     220    18700   130900 |    84333    81812     62 |  0.002 % |
61.34/61.40	c |    110465 |     220    18700   130900 |    81944    71562     62 |  0.002 % |
61.74/61.89	c |    111120 |     220    18700   130900 |    81944    72217     62 |  0.002 % |
62.34/62.44	c |    111841 |     220    18700   130900 |    81944    72938     62 |  0.002 % |
62.94/63.00	c |    112635 |     220    18700   130900 |    81944    73732     62 |  0.002 % |
63.54/63.64	c |    113508 |     220    18700   130900 |    81944    74605     62 |  0.002 % |
64.44/64.54	c |    114467 |     220    18700   130900 |    81944    75564     62 |  0.002 % |
65.24/65.38	c |    115520 |     220    18700   130900 |    81944    76617     62 |  0.002 % |
66.24/66.36	c |    116679 |     220    18700   130900 |    81944    77776     62 |  0.002 % |
67.34/67.44	c |    117953 |     220    18700   130900 |    81944    79050     62 |  0.002 % |
67.44/67.55	c |    118054 |     220    18700   130900 |    81944    79151     62 |  0.002 % |
67.54/67.67	c |    118164 |     220    18700   130900 |    81944    79261     62 |  0.002 % |
67.64/67.78	c |    118285 |     220    18700   130900 |    81944    79382     62 |  0.002 % |
67.74/67.89	c |    118419 |     220    18700   130900 |    81944    79516     62 |  0.002 % |
67.94/68.02	c |    118566 |     220    18700   130900 |    81944    79663     62 |  0.002 % |
68.04/68.19	c |    118726 |     220    18700   130900 |    81944    79823     62 |  0.002 % |
68.24/68.35	c |    118903 |     220    18700   130900 |    81944    80000     62 |  0.002 % |
68.44/68.52	c |    119097 |     220    18700   130900 |    81944    80194     62 |  0.002 % |
68.64/68.74	c |    119310 |     220    18700   130900 |    81944    80407     62 |  0.002 % |
68.84/68.96	c |    119543 |     220    18700   130900 |    81944    80640     62 |  0.002 % |
69.14/69.23	c |    119800 |     220    18700   130900 |    81944    80897     62 |  0.002 % |
69.34/69.49	c |    120081 |     220    18700   130900 |    81097    81178     62 |  0.002 % |
69.74/69.84	c |    120390 |     220    18700   130900 |    81097    71130     62 |  0.002 % |
70.04/70.11	c |    120732 |     220    18700   130900 |    81097    71472     62 |  0.002 % |
70.34/70.41	c |    121106 |     220    18700   130900 |    81097    71846     62 |  0.002 % |
70.64/70.70	c |    121516 |     220    18700   130900 |    81097    72256     62 |  0.002 % |
71.04/71.13	c |    121966 |     220    18700   130900 |    81097    72706     62 |  0.002 % |
71.34/71.50	c |    122459 |     220    18700   130900 |    81097    73199     62 |  0.002 % |
71.84/71.92	c |    123001 |     220    18700   130900 |    81097    73741     62 |  0.002 % |
72.34/72.41	c |    123598 |     220    18700   130900 |    81097    74338     62 |  0.002 % |
72.84/72.96	c |    124254 |     220    18700   130900 |    81097    74994     62 |  0.002 % |
73.44/73.54	c |    124974 |     220    18700   130900 |    81097    75714     62 |  0.002 % |
74.14/74.20	c |    125768 |     220    18700   130900 |    81097    76508     62 |  0.002 % |
74.74/74.89	c |    126639 |     220    18700   130900 |    81097    77379     62 |  0.002 % |
75.54/75.66	c |    127597 |     220    18700   130900 |    81097    78337     62 |  0.002 % |
76.54/76.62	c |    128651 |     220    18700   130900 |    81097    79391     62 |  0.002 % |
77.44/77.59	c |    129809 |     220    18700   130900 |    81097    80549     62 |  0.002 % |
78.53/78.62	c |    131083 |     220    18700   130900 |    80740    71663     62 |  0.002 % |
79.73/79.83	c |    132484 |     220    18700   130900 |    80740    73064     62 |  0.002 % |
79.83/79.91	c |    132584 |     220    18700   130900 |    80740    73164     62 |  0.002 % |
79.93/80.02	c |    132694 |     220    18700   130900 |    80740    73274     62 |  0.002 % |
80.03/80.12	c |    132816 |     220    18700   130900 |    80740    73396     62 |  0.002 % |
80.14/80.23	c |    132949 |     220    18700   130900 |    80740    73529     62 |  0.002 % |
80.24/80.39	c |    133095 |     220    18700   130900 |    80740    73675     62 |  0.002 % |
80.43/80.58	c |    133256 |     220    18700   130900 |    80740    73836     62 |  0.002 % |
80.63/80.73	c |    133434 |     220    18700   130900 |    80740    74014     62 |  0.002 % |
80.83/80.91	c |    133627 |     220    18700   130900 |    80740    74207     62 |  0.002 % |
80.93/81.09	c |    133839 |     220    18700   130900 |    80740    74419     62 |  0.002 % |
81.13/81.26	c |    134073 |     220    18700   130900 |    80740    74653     62 |  0.002 % |
81.43/81.52	c |    134330 |     220    18700   130900 |    80740    74910     62 |  0.002 % |
81.63/81.78	c |    134611 |     220    18700   130900 |    80740    75191     62 |  0.002 % |
81.93/82.04	c |    134922 |     220    18700   130900 |    80740    75502     62 |  0.002 % |
82.23/82.34	c |    135261 |     220    18700   130900 |    80740    75841     62 |  0.002 % |
82.53/82.66	c |    135634 |     220    18700   130900 |    80740    76214     62 |  0.002 % |
82.83/82.97	c |    136044 |     220    18700   130900 |    80740    76624     62 |  0.002 % |
83.23/83.38	c |    136493 |     220    18700   130900 |    80740    77073     62 |  0.002 % |
83.73/83.81	c |    136986 |     220    18700   130900 |    80740    77566     62 |  0.002 % |
84.13/84.28	c |    137529 |     220    18700   130900 |    80740    78109     62 |  0.002 % |
84.73/84.86	c |    138127 |     220    18700   130900 |    80740    78707     62 |  0.002 % |
85.33/85.47	c |    138783 |     220    18700   130900 |    80740    79363     62 |  0.002 % |
85.93/86.07	c |    139504 |     220    18700   130900 |    80740    80084     62 |  0.002 % |
86.83/86.90	c |    140296 |     220    18700   130900 |    80580    70278     62 |  0.002 % |
87.53/87.62	c |    141169 |     220    18700   130900 |    80580    71151     62 |  0.002 % |
88.23/88.39	c |    142127 |     220    18700   130900 |    80580    72109     62 |  0.002 % |
89.03/89.17	c |    143181 |     220    18700   130900 |    80580    73163     62 |  0.002 % |
89.93/90.00	c |    144341 |     220    18700   130900 |    80580    74323     63 |  0.002 % |
90.83/90.95	c |    145615 |     220    18700   130900 |    80580    75597     63 |  0.002 % |
91.93/92.01	c |    147015 |     220    18700   130900 |    80580    76997     63 |  0.002 % |
93.33/93.46	c |    148555 |     220    18700   130900 |    80580    78537     63 |  0.002 % |
93.43/93.55	c |    148656 |     220    18700   130900 |    80580    78638     63 |  0.002 % |
93.52/93.67	c |    148768 |     220    18700   130900 |    80580    78750     63 |  0.002 % |
93.62/93.77	c |    148890 |     220    18700   130900 |    80580    78872     63 |  0.002 % |
93.82/93.90	c |    149023 |     220    18700   130900 |    80580    79005     63 |  0.002 % |
93.92/94.07	c |    149170 |     220    18700   130900 |    80580    79152     63 |  0.002 % |
94.12/94.24	c |    149331 |     220    18700   130900 |    80580    79313     63 |  0.002 % |
94.32/94.40	c |    149507 |     220    18700   130900 |    80580    79489     63 |  0.002 % |
94.43/94.60	c |    149700 |     220    18700   130900 |    80580    79682     63 |  0.002 % |
94.62/94.78	c |    149912 |     220    18700   130900 |    80580    79894     63 |  0.002 % |
94.92/95.05	c |    150146 |     220    18700   130900 |    79983    70469     63 |  0.002 % |
95.12/95.25	c |    150403 |     220    18700   130900 |    79983    70726     63 |  0.002 % |
95.42/95.50	c |    150685 |     220    18700   130900 |    79983    71008     63 |  0.002 % |
95.63/95.72	c |    150995 |     220    18700   130900 |    79983    71318     63 |  0.002 % |
95.82/95.99	c |    151334 |     220    18700   130900 |    79983    71657     63 |  0.002 % |
96.12/96.27	c |    151706 |     220    18700   130900 |    79983    72029     63 |  0.002 % |
96.42/96.55	c |    152117 |     220    18700   130900 |    79983    72440     63 |  0.002 % |
96.72/96.82	c |    152567 |     220    18700   130900 |    79983    72890     62 |  0.002 % |
97.12/97.26	c |    153061 |     220    18700   130900 |    79983    73384     62 |  0.002 % |
97.62/97.75	c |    153604 |     220    18700   130900 |    79983    73927     62 |  0.002 % |
98.12/98.24	c |    154201 |     220    18700   130900 |    79983    74524     62 |  0.002 % |
98.62/98.76	c |    154858 |     220    18700   130900 |    79983    75181     62 |  0.002 % |
99.22/99.35	c |    155578 |     220    18700   130900 |    79983    75901     62 |  0.002 % |
99.92/100.08	c |    156372 |     220    18700   130900 |    79983    76695     62 |  0.002 % |
100.72/100.88	c |    157243 |     220    18700   130900 |    79983    77566     62 |  0.002 % |
101.52/101.64	c |    158202 |     220    18700   130900 |    79983    78525     63 |  0.002 % |
102.32/102.48	c |    159256 |     220    18700   130900 |    79983    79579     63 |  0.002 % |
103.32/103.47	c |    160415 |     220    18700   130900 |    70563    62544     62 |  0.002 % |
104.22/104.37	c |    161689 |     220    18700   130900 |    70563    63818     62 |  0.002 % |
105.22/105.31	c |    163089 |     220    18700   130900 |    70563    65218     63 |  0.002 % |
106.42/106.50	c |    164630 |     220    18700   130900 |    70563    66759     63 |  0.002 % |
107.52/107.65	c |    166324 |     220    18700   130900 |    70563    68453     63 |  0.002 % |
107.62/107.73	c |    166425 |     220    18700   130900 |    70563    68554     63 |  0.002 % |
107.72/107.81	c |    166536 |     220    18700   130900 |    70563    68665     63 |  0.002 % |
107.82/107.94	c |    166657 |     220    18700   130900 |    70563    68786     63 |  0.002 % |
107.92/108.05	c |    166792 |     220    18700   130900 |    70563    68921     63 |  0.002 % |
108.02/108.17	c |    166938 |     220    18700   130900 |    70563    69067     63 |  0.002 % |
108.22/108.31	c |    167104 |     220    18700   130900 |    70563    69233     63 |  0.002 % |
108.32/108.44	c |    167280 |     220    18700   130900 |    70563    69409     63 |  0.002 % |
108.42/108.59	c |    167473 |     220    18700   130900 |    70563    69602     63 |  0.002 % |
108.62/108.75	c |    167686 |     220    18700   130900 |    70563    69815     63 |  0.002 % |
108.82/108.93	c |    167920 |     220    18700   130900 |    70563    70049     63 |  0.002 % |
109.02/109.10	c |    168177 |     220    18700   130900 |    70563    70306     63 |  0.002 % |
109.22/109.32	c |    168458 |     220    18700   130900 |    70563    70587     63 |  0.002 % |
109.52/109.60	c |    168767 |     220    18700   130900 |    70563    63838     63 |  0.002 % |
109.72/109.84	c |    169108 |     220    18700   130900 |    70563    64179     63 |  0.002 % |
109.92/110.07	c |    169481 |     220    18700   130900 |    70563    64552     63 |  0.002 % |
110.22/110.33	c |    169891 |     220    18700   130900 |    70563    64962     63 |  0.002 % |
110.52/110.63	c |    170341 |     220    18700   130900 | 2147483647    65412     63 |  0.002 % |
110.82/110.95	c |    170834 |     220    18700   130900 | 2147483647    65905     63 |  0.002 % |
111.22/111.30	c |    171378 |     220    18700   130900 | 2147483647    66449     63 |  0.002 % |
111.52/111.67	c |    171976 |     220    18700   130900 | 2147483647    67047     63 |  0.002 % |
112.02/112.13	c |    172632 |     220    18700   130900 | 2147483647    67703     63 |  0.002 % |
112.41/112.58	c |    173352 |     220    18700   130900 | 2147483647    68423     63 |  0.002 % |
113.01/113.11	c |    174144 |     220    18700   130900 | 2147483647    69215     63 |  0.002 % |
113.51/113.67	c |    175015 |     220    18700   130900 | 2147483647    70086     63 |  0.002 % |
114.32/114.49	c |    175974 |     220    18700   130900 | 2147483647    71045     63 |  0.002 % |
115.21/115.31	c |    177027 |     220    18700   130900 | 2147483647    72098     63 |  0.002 % |
116.21/116.34	c |    178185 |     220    18700   130900 | 2147483647    73256     63 |  0.002 % |
117.21/117.34	c |    179458 |     220    18700   130900 | 2147483647    74529     63 |  0.002 % |
118.21/118.38	c |    180859 |     220    18700   130900 | 2147483647    75930     63 |  0.002 % |
119.41/119.57	c |    182399 |     220    18700   130900 | 2147483647    77470     63 |  0.002 % |
120.71/120.88	c |    184093 |     220    18700   130900 | 2147483647    79164     63 |  0.002 % |
122.31/122.42	c |    185956 |     220    18700   130900 | 2147483647    81027     63 |  0.002 % |
122.41/122.52	c |    186057 |     220    18700   130900 | 2147483647    81128     63 |  0.002 % |
122.51/122.63	c |    186169 |     220    18700   130900 | 2147483647    81240     63 |  0.002 % |
122.61/122.76	c |    186290 |     220    18700   130900 | 2147483647    81361     63 |  0.002 % |
122.71/122.89	c |    186423 |     220    18700   130900 | 2147483647    81494     63 |  0.002 % |
122.91/123.02	c |    186569 |     220    18700   130900 | 2147483647    81640     63 |  0.002 % |
123.11/123.21	c |    186731 |     220    18700   130900 | 2147483647    81802     63 |  0.002 % |
123.21/123.37	c |    186908 |     220    18700   130900 | 2147483647    81979     63 |  0.002 % |
123.41/123.56	c |    187103 |     220    18700   130900 | 2147483647    82174     63 |  0.002 % |
123.61/123.76	c |    187316 |     220    18700   130900 | 2147483647    82387     63 |  0.002 % |
123.81/123.97	c |    187550 |     220    18700   130900 | 2147483647    82621     63 |  0.002 % |
124.11/124.26	c |    187806 |     220    18700   130900 | 2147483647    82877     63 |  0.002 % |
124.41/124.55	c |    188087 |     220    18700   130900 | 2147483647    83158     63 |  0.002 % |
124.71/124.87	c |    188397 |     220    18700   130900 | 2147483647    83468     63 |  0.002 % |
125.11/125.21	c |    188737 |     220    18700   130900 | 2147483647    83808     63 |  0.002 % |
125.41/125.56	c |    189109 |     220    18700   130900 | 2147483647    84180     63 |  0.002 % |
125.81/125.92	c |    189518 |     220    18700   130900 | 2147483647    84589     63 |  0.002 % |
126.31/126.41	c |    189968 |     220    18700   130900 | 2147483647    85039     63 |  0.002 % |
126.81/126.93	c |    190462 |     220    18700   130900 |    85071    74368     63 |  0.002 % |
127.21/127.35	c |    191005 |     220    18700   130900 |    85071    74911     63 |  0.002 % |
127.81/127.90	c |    191602 |     220    18700   130900 |    85071    75508     63 |  0.002 % |
128.31/128.45	c |    192258 |     220    18700   130900 |    85071    76164     63 |  0.002 % |
128.91/129.03	c |    192978 |     220    18700   130900 |    85071    76884     63 |  0.002 % |
129.50/129.63	c |    193770 |     220    18700   130900 |    85071    77676     63 |  0.002 % |
130.20/130.35	c |    194642 |     220    18700   130900 |    85071    78548     63 |  0.002 % |
130.90/131.07	c |    195601 |     220    18700   130900 |    85071    79507     63 |  0.002 % |
131.81/131.96	c |    196654 |     220    18700   130900 |    85071    80560     63 |  0.002 % |
132.80/132.92	c |    197813 |     220    18700   130900 |    85071    81719     63 |  0.002 % |
133.80/133.96	c |    199087 |     220    18700   130900 |    85071    82993     63 |  0.002 % |
135.30/135.40	c |    200488 |     220    18700   130900 |    83906    72888     63 |  0.002 % |
136.50/136.63	c |    202028 |     220    18700   130900 |    83906    74428     63 |  0.002 % |
138.00/138.10	c |    203722 |     220    18700   130900 |    83906    76122     63 |  0.002 % |
139.50/139.70	c |    205586 |     220    18700   130900 |    83906    77986     63 |  0.002 % |
141.40/141.56	c |    207635 |     220    18700   130900 |    83906    80035     63 |  0.002 % |
141.50/141.65	c |    207736 |     220    18700   130900 |    83906    80136     63 |  0.002 % |
141.60/141.74	c |    207846 |     220    18700   130900 |    83906    80246     63 |  0.002 % |
141.70/141.85	c |    207967 |     220    18700   130900 |    83906    80367     63 |  0.002 % |
141.80/141.97	c |    208101 |     220    18700   130900 |    83906    80501     63 |  0.002 % |
142.00/142.10	c |    208248 |     220    18700   130900 |    83906    80648     63 |  0.002 % |
142.10/142.25	c |    208409 |     220    18700   130900 |    83906    80809     63 |  0.002 % |
142.30/142.41	c |    208587 |     220    18700   130900 |    83906    80987     63 |  0.002 % |
142.50/142.61	c |    208782 |     220    18700   130900 |    83906    81182     63 |  0.002 % |
142.70/142.81	c |    208995 |     220    18700   130900 |    83906    81395     63 |  0.002 % |
142.90/143.04	c |    209228 |     220    18700   130900 |    83906    81628     63 |  0.002 % |
143.10/143.27	c |    209484 |     220    18700   130900 |    83906    81884     63 |  0.002 % |
143.40/143.53	c |    209765 |     220    18700   130900 |    83906    82165     63 |  0.002 % |
143.70/143.82	c |    210074 |     220    18700   130900 |    82402    82474     63 |  0.002 % |
144.10/144.20	c |    210413 |     220    18700   130900 |    82402    71719     63 |  0.002 % |
144.40/144.52	c |    210786 |     220    18700   130900 |    82402    72092     63 |  0.002 % |
144.70/144.83	c |    211195 |     220    18700   130900 |    82402    72501     63 |  0.002 % |
145.00/145.15	c |    211646 |     220    18700   130900 |    82402    72952     63 |  0.002 % |
145.40/145.54	c |    212139 |     220    18700   130900 |    82402    73445     63 |  0.002 % |
145.80/145.92	c |    212684 |     220    18700   130900 |    82402    73990     63 |  0.002 % |
146.20/146.37	c |    213280 |     220    18700   130900 |    82402    74586     63 |  0.002 % |
146.69/146.85	c |    213936 |     220    18700   130900 |    82402    75242     63 |  0.002 % |
147.30/147.42	c |    214657 |     220    18700   130900 |    82402    75963     63 |  0.002 % |
147.89/148.05	c |    215450 |     220    18700   130900 |    82402    76756     63 |  0.002 % |
148.59/148.71	c |    216321 |     220    18700   130900 |    82402    77627     63 |  0.002 % |
149.29/149.41	c |    217281 |     220    18700   130900 |    82402    78587     63 |  0.002 % |
150.09/150.20	c |    218336 |     220    18700   130900 |    82402    79642     63 |  0.002 % |
150.99/151.10	c |    219498 |     220    18700   130900 |    82402    80804     63 |  0.002 % |
151.89/152.09	c |    220772 |     220    18700   130900 |    81307    72863     63 |  0.002 % |
152.89/153.08	c |    222173 |     220    18700   130900 |    81307    74264     63 |  0.002 % |
154.09/154.24	c |    223713 |     220    18700   130900 |    81307    75804     63 |  0.002 % |
155.39/155.54	c |    225407 |     220    18700   130900 |    81307    77498     63 |  0.002 % |
156.89/157.00	c |    227271 |     220    18700   130900 |    81307    79362     63 |  0.002 % |
158.49/158.69	c |    229321 |     220    18700   130900 |    81307    72610     63 |  0.002 % |
160.09/160.26	c |    231578 |     220    18700   130900 |    73290    67015     63 |  0.002 % |
160.19/160.36	c |    231680 |     220    18700   130900 |    73290    67117     63 |  0.002 % |
160.29/160.45	c |    231790 |     220    18700   130900 |    73290    67227     63 |  0.002 % |
160.39/160.54	c |    231911 |     220    18700   130900 |    73290    67348     63 |  0.002 % |
160.49/160.64	c |    232045 |     220    18700   130900 |    73290    67482     63 |  0.002 % |
160.59/160.79	c |    232193 |     220    18700   130900 |    73290    67630     63 |  0.002 % |
160.79/160.92	c |    232353 |     220    18700   130900 |    73290    67790     63 |  0.002 % |
160.89/161.07	c |    232529 |     220    18700   130900 |    73290    67966     63 |  0.002 % |
161.09/161.23	c |    232722 |     220    18700   130900 |    73290    68159     63 |  0.002 % |
161.29/161.40	c |    232934 |     220    18700   130900 |    73290    68371     63 |  0.002 % |
161.39/161.58	c |    233167 |     220    18700   130900 |    73290    68604     63 |  0.002 % |
161.59/161.75	c |    233424 |     220    18700   130900 |    73290    68861     63 |  0.002 % |
161.79/161.95	c |    233705 |     220    18700   130900 |    73290    69142     63 |  0.002 % |
161.99/162.16	c |    234015 |     220    18700   130900 |    73290    69452     63 |  0.002 % |
162.29/162.48	c |    234355 |     220    18700   130900 |    73290    69792     63 |  0.002 % |
162.59/162.78	c |    234727 |     220    18700   130900 |    73290    70164     63 |  0.002 % |
162.89/163.07	c |    235137 |     220    18700   130900 |    73290    70574     63 |  0.002 % |
163.29/163.41	c |    235590 |     220    18700   130900 |    73290    71027     63 |  0.002 % |
163.69/163.82	c |    236083 |     220    18700   130900 |    73290    71520     63 |  0.002 % |
164.19/164.30	c |    236625 |     220    18700   130900 |    73290    72062     63 |  0.002 % |
164.59/164.75	c |    237222 |     220    18700   130900 |    73290    72659     63 |  0.002 % |
165.08/165.27	c |    237877 |     220    18700   130900 |    73290    73314     63 |  0.002 % |
165.68/165.84	c |    238597 |     220    18700   130900 |    73290    66703     63 |  0.002 % |
166.28/166.45	c |    239390 |     220    18700   130900 |    73290    67496     63 |  0.002 % |
166.99/167.13	c |    240261 |     220    18700   130900 | 2147483647    68367     63 |  0.002 % |
167.68/167.84	c |    241219 |     220    18700   130900 | 2147483647    69325     63 |  0.002 % |
168.38/168.59	c |    242274 |     220    18700   130900 | 2147483647    70380     63 |  0.002 % |
169.29/169.47	c |    243433 |     220    18700   130900 | 2147483647    71539     63 |  0.002 % |
170.29/170.43	c |    244707 |     220    18700   130900 | 2147483647    72813     63 |  0.002 % |
171.28/171.48	c |    246107 |     220    18700   130900 | 2147483647    74213     63 |  0.002 % |
172.49/172.65	c |    247648 |     220    18700   130900 | 2147483647    75754     63 |  0.002 % |
173.78/173.96	c |    249342 |     220    18700   130900 | 2147483647    77448     63 |  0.002 % |
175.28/175.45	c |    251207 |     220    18700   130900 | 2147483647    79313     63 |  0.002 % |
176.89/177.04	c |    253256 |     220    18700   130900 | 2147483647    81362     63 |  0.002 % |
178.68/178.80	c |    255509 |     220    18700   130900 | 2147483647    83615     63 |  0.002 % |
180.89/181.05	c |    257987 |     220    18700   130900 | 2147483647    86093     63 |  0.002 % |
180.99/181.15	c |    258088 |     220    18700   130900 | 2147483647    86194     63 |  0.002 % |
181.09/181.27	c |    258198 |     220    18700   130900 | 2147483647    86304     63 |  0.002 % |
181.19/181.39	c |    258320 |     220    18700   130900 | 2147483647    86426     63 |  0.002 % |
181.29/181.50	c |    258454 |     220    18700   130900 | 2147483647    86560     63 |  0.002 % |
181.49/181.64	c |    258600 |     220    18700   130900 | 2147483647    86706     63 |  0.002 % |
181.59/181.78	c |    258760 |     220    18700   130900 | 2147483647    86866     63 |  0.002 % |
181.79/181.94	c |    258937 |     220    18700   130900 | 2147483647    87043     63 |  0.002 % |
181.99/182.15	c |    259131 |     220    18700   130900 | 2147483647    87237     63 |  0.002 % |
182.19/182.34	c |    259343 |     220    18700   130900 | 2147483647    87449     63 |  0.002 % |
182.39/182.54	c |    259576 |     220    18700   130900 | 2147483647    87682     63 |  0.002 % |
182.68/182.84	c |    259832 |     220    18700   130900 | 2147483647    87938     63 |  0.002 % |
183.08/183.22	c |    260117 |     220    18700   130900 |    88106    76569     63 |  0.002 % |
183.28/183.48	c |    260427 |     220    18700   130900 |    88106    76879     63 |  0.002 % |
183.59/183.77	c |    260767 |     220    18700   130900 |    88106    77219     63 |  0.002 % |
183.88/184.08	c |    261142 |     220    18700   130900 |    88106    77594     63 |  0.002 % |
184.28/184.42	c |    261552 |     220    18700   130900 |    88106    78004     63 |  0.002 % |
184.69/184.85	c |    262001 |     220    18700   130900 |    88106    78453     63 |  0.002 % |
185.08/185.28	c |    262496 |     220    18700   130900 |    88106    78948     63 |  0.002 % |
185.58/185.73	c |    263038 |     220    18700   130900 |    88106    79490     63 |  0.002 % |
186.08/186.27	c |    263638 |     220    18700   130900 |    88106    80090     63 |  0.002 % |
186.68/186.80	c |    264293 |     220    18700   130900 |    88106    80745     63 |  0.002 % |
187.28/187.41	c |    265013 |     220    18700   130900 |    88106    81465     63 |  0.002 % |
187.98/188.17	c |    265805 |     220    18700   130900 |    88106    82257     63 |  0.002 % |
188.78/188.91	c |    266676 |     220    18700   130900 |    88106    83128     63 |  0.002 % |
189.58/189.73	c |    267636 |     220    18700   130900 |    88106    84088     63 |  0.002 % |
190.48/190.61	c |    268691 |     220    18700   130900 |    88106    85143     63 |  0.002 % |
191.38/191.55	c |    269849 |     220    18700   130900 |    88106    86301     63 |  0.002 % |
192.48/192.62	c |    271123 |     220    18700   130900 |    86452    75458     63 |  0.002 % |
193.48/193.64	c |    272526 |     220    18700   130900 |    86452    76861     63 |  0.002 % |
194.68/194.87	c |    274066 |     220    18700   130900 |    86452    78401     63 |  0.002 % |
196.18/196.34	c |    275761 |     220    18700   130900 |    86452    80096     63 |  0.002 % |
197.58/197.79	c |    277625 |     220    18700   130900 |    86452    81960     63 |  0.002 % |
199.38/199.54	c |    279674 |     220    18700   130900 |    86452    84009     63 |  0.002 % |
201.27/201.47	c |    281927 |     220    18700   130900 |    84336    75173     63 |  0.002 % |
203.17/203.38	c |    284407 |     220    18700   130900 |    84336    77653     63 |  0.002 % |
205.27/205.46	c |    287135 |     220    18700   130900 |    84336    80381     63 |  0.002 % |
205.37/205.54	c |    287235 |     220    18700   130900 |    84336    80481     63 |  0.002 % |
205.48/205.63	c |    287345 |     220    18700   130900 |    84336    80591     63 |  0.002 % |
205.58/205.74	c |    287466 |     220    18700   130900 |    84336    80712     63 |  0.002 % |
205.67/205.87	c |    287602 |     220    18700   130900 |    84336    80848     63 |  0.002 % |
205.77/205.99	c |    287749 |     220    18700   130900 |    84336    80995     63 |  0.002 % |
205.97/206.12	c |    287910 |     220    18700   130900 |    84336    81156     63 |  0.002 % |
206.07/206.28	c |    288086 |     220    18700   130900 |    84336    81332     63 |  0.002 % |
206.27/206.48	c |    288279 |     220    18700   130900 |    84336    81525     63 |  0.002 % |
206.47/206.68	c |    288491 |     220    18700   130900 |    84336    81737     63 |  0.002 % |
206.68/206.89	c |    288724 |     220    18700   130900 |    84336    81970     63 |  0.002 % |
206.97/207.11	c |    288981 |     220    18700   130900 |    84336    82227     63 |  0.002 % |
207.27/207.41	c |    289264 |     220    18700   130900 |    84336    82510     63 |  0.002 % |
207.57/207.70	c |    289576 |     220    18700   130900 |    84336    82822     63 |  0.002 % |
207.87/208.04	c |    289915 |     220    18700   130900 |    84336    83161     63 |  0.002 % |
208.27/208.42	c |    290289 |     220    18700   130900 |    83246    73143     63 |  0.002 % |
208.58/208.74	c |    290698 |     220    18700   130900 |    83246    73552     63 |  0.002 % |
208.98/209.12	c |    291147 |     220    18700   130900 |    83246    74001     63 |  0.002 % |
209.28/209.49	c |    291643 |     220    18700   130900 |    83246    74497     63 |  0.002 % |
209.78/209.90	c |    292185 |     220    18700   130900 |    83246    75039     63 |  0.002 % |
210.18/210.36	c |    292781 |     220    18700   130900 |    83246    75635     63 |  0.002 % |
210.68/210.88	c |    293436 |     220    18700   130900 |    83246    76290     63 |  0.002 % |
211.28/211.48	c |    294156 |     220    18700   130900 |    83246    77010     63 |  0.002 % |
211.88/212.06	c |    294949 |     220    18700   130900 |    83246    77803     63 |  0.002 % |
212.58/212.71	c |    295821 |     220    18700   130900 |    83246    78675     63 |  0.002 % |
213.28/213.47	c |    296779 |     220    18700   130900 |    83246    79633     63 |  0.002 % |
214.08/214.30	c |    297832 |     220    18700   130900 |    83246    80686     63 |  0.002 % |
215.08/215.21	c |    298990 |     220    18700   130900 |    83246    81844     63 |  0.002 % |
216.08/216.25	c |    300263 |     220    18700   130900 |    82855    73250     63 |  0.002 % |
217.08/217.25	c |    301663 |     220    18700   130900 |    82855    74650     63 |  0.002 % |
218.28/218.42	c |    303203 |     220    18700   130900 |    82855    76190     63 |  0.002 % |
219.58/219.77	c |    304897 |     220    18700   130900 |    82855    77884     63 |  0.002 % |
220.98/221.19	c |    306761 |     220    18700   130900 |    82855    79748     63 |  0.002 % |
222.58/222.70	c |    308810 |     220    18700   130900 |    82855    81797     63 |  0.002 % |
224.28/224.48	c |    311063 |     220    18700   130900 |    73810    66713     63 |  0.002 % |
226.07/226.27	c |    313541 |     220    18700   130900 |    73810    69191     63 |  0.002 % |
228.17/228.36	c |    316266 |     220    18700   130900 |    73810    71916     63 |  0.002 % |
230.37/230.58	c |    319264 |     220    18700   130900 |    73810    67523     63 |  0.002 % |
230.47/230.66	c |    319367 |     220    18700   130900 |    73810    67626     63 |  0.002 % |
230.57/230.74	c |    319477 |     220    18700   130900 |    73810    67736     63 |  0.002 % |
230.67/230.84	c |    319599 |     220    18700   130900 |    73810    67858     63 |  0.002 % |
230.78/230.97	c |    319732 |     220    18700   130900 |    73810    67991     63 |  0.002 % |
230.88/231.09	c |    319878 |     220    18700   130900 |    73810    68137     63 |  0.002 % |
231.07/231.22	c |    320039 |     220    18700   130900 | 2147483647    68298     63 |  0.002 % |
231.17/231.38	c |    320216 |     220    18700   130900 | 2147483647    68475     63 |  0.002 % |
231.37/231.55	c |    320412 |     220    18700   130900 | 2147483647    68671     63 |  0.002 % |
231.57/231.73	c |    320625 |     220    18700   130900 | 2147483647    68884     63 |  0.002 % |
231.77/231.91	c |    320858 |     220    18700   130900 | 2147483647    69117     63 |  0.002 % |
231.88/232.09	c |    321116 |     220    18700   130900 | 2147483647    69375     63 |  0.002 % |
232.07/232.29	c |    321398 |     220    18700   130900 | 2147483647    69657     63 |  0.002 % |
232.37/232.54	c |    321707 |     220    18700   130900 | 2147483647    69966     63 |  0.002 % |
232.57/232.78	c |    322049 |     220    18700   130900 | 2147483647    70308     63 |  0.002 % |
232.97/233.12	c |    322424 |     220    18700   130900 | 2147483647    70683     63 |  0.002 % |
233.27/233.49	c |    322834 |     220    18700   130900 | 2147483647    71093     63 |  0.002 % |
233.67/233.84	c |    323284 |     220    18700   130900 | 2147483647    71543     63 |  0.002 % |
234.07/234.24	c |    323778 |     220    18700   130900 | 2147483647    72037     63 |  0.002 % |
234.47/234.66	c |    324320 |     220    18700   130900 | 2147483647    72579     63 |  0.002 % |
234.87/235.08	c |    324916 |     220    18700   130900 | 2147483647    73175     63 |  0.002 % |
235.37/235.56	c |    325571 |     220    18700   130900 | 2147483647    73830     63 |  0.002 % |
236.07/236.27	c |    326291 |     220    18700   130900 | 2147483647    74550     63 |  0.002 % |
236.77/236.92	c |    327083 |     220    18700   130900 | 2147483647    75342     63 |  0.002 % |
237.57/237.72	c |    327954 |     220    18700   130900 | 2147483647    76213     63 |  0.002 % |
238.37/238.53	c |    328914 |     220    18700   130900 | 2147483647    77173     63 |  0.002 % |
239.17/239.36	c |    329967 |     220    18700   130900 | 2147483647    78226     63 |  0.002 % |
240.07/240.23	c |    331126 |     220    18700   130900 |    78259    70878     63 |  0.002 % |
240.87/241.08	c |    332399 |     220    18700   130900 |    78259    72151     63 |  0.002 % |
241.87/242.08	c |    333800 |     220    18700   130900 |    78259    73552     63 |  0.002 % |
243.07/243.22	c |    335341 |     220    18700   130900 |    78259    75093     63 |  0.002 % |
244.37/244.50	c |    337035 |     220    18700   130900 |    78259    76787     63 |  0.002 % |
245.86/246.07	c |    338898 |     220    18700   130900 |    78259    70815     63 |  0.002 % |
247.46/247.60	c |    340948 |     220    18700   130900 | 2147483647    72865     63 |  0.002 % |
249.06/249.28	c |    343202 |     220    18700   130900 | 2147483647    75119     63 |  0.002 % |
250.86/251.05	c |    345680 |     220    18700   130900 | 2147483647    77597     63 |  0.002 % |
252.87/253.07	c |    348407 |     220    18700   130900 | 2147483647    80324     63 |  0.002 % |
255.26/255.41	c |    351405 |     220    18700   130900 |    81917    74948     63 |  0.002 % |
257.76/257.90	c |    354701 |     220    18700   130900 |    81917    78244     63 |  0.002 % |
257.76/257.98	c |    354801 |     220    18700   130900 |    81917    78344     63 |  0.002 % |
257.86/258.05	c |    354911 |     220    18700   130900 |    81917    78454     63 |  0.002 % |
257.96/258.15	c |    355032 |     220    18700   130900 |    81917    78575     63 |  0.002 % |
258.16/258.31	c |    355167 |     220    18700   130900 |    81917    78710     63 |  0.002 % |
258.26/258.45	c |    355315 |     220    18700   130900 |    81917    78858     63 |  0.002 % |
258.36/258.58	c |    355477 |     220    18700   130900 |    81917    79020     63 |  0.002 % |
258.56/258.74	c |    355657 |     220    18700   130900 |    81917    79200     63 |  0.002 % |
258.76/258.91	c |    355852 |     220    18700   130900 |    81917    79395     63 |  0.002 % |
258.96/259.13	c |    356065 |     220    18700   130900 |    81917    79608     63 |  0.002 % |
259.16/259.37	c |    356298 |     220    18700   130900 |    81917    79841     63 |  0.002 % |
259.46/259.61	c |    356555 |     220    18700   130900 |    81917    80098     63 |  0.002 % |
259.66/259.86	c |    356837 |     220    18700   130900 |    81917    80380     63 |  0.002 % |
259.96/260.15	c |    357148 |     220    18700   130900 |    81917    80691     63 |  0.002 % |
260.26/260.48	c |    357487 |     220    18700   130900 |    81917    81030     63 |  0.002 % |
260.66/260.82	c |    357859 |     220    18700   130900 |    81917    81402     63 |  0.002 % |
260.96/261.19	c |    358268 |     220    18700   130900 |    81917    81811     63 |  0.002 % |
261.46/261.63	c |    358717 |     220    18700   130900 |    81917    72350     63 |  0.002 % |
261.86/262.05	c |    359211 |     220    18700   130900 |    81917    72844     63 |  0.002 % |
262.26/262.47	c |    359754 |     220    18700   130900 |    81917    73387     63 |  0.002 % |
262.76/262.99	c |    360351 |     220    18700   130900 |    73633    65219     63 |  0.002 % |
263.26/263.47	c |    361007 |     220    18700   130900 |    73633    65875     63 |  0.002 % |
263.86/264.02	c |    361728 |     220    18700   130900 |    73633    66596     63 |  0.002 % |
264.36/264.59	c |    362521 |     220    18700   130900 |    73633    67389     63 |  0.002 % |
265.06/265.29	c |    363395 |     220    18700   130900 |    73633    68263     63 |  0.002 % |
265.76/265.98	c |    364353 |     220    18700   130900 |    73633    69221     63 |  0.002 % |
266.56/266.74	c |    365407 |     220    18700   130900 |    73633    70275     63 |  0.002 % |
267.46/267.60	c |    366567 |     220    18700   130900 |    73633    71435     63 |  0.002 % |
268.46/268.70	c |    367843 |     220    18700   130900 |    73633    72711     63 |  0.002 % |
269.66/269.82	c |    369245 |     220    18700   130900 |    73633    66740     63 |  0.002 % |
270.76/270.95	c |    370785 |     220    18700   130900 | 2147483647    68280     63 |  0.002 % |
271.96/272.15	c |    372480 |     220    18700   130900 | 2147483647    69975     63 |  0.002 % |
273.25/273.41	c |    374343 |     220    18700   130900 | 2147483647    71838     63 |  0.002 % |
274.65/274.90	c |    376392 |     220    18700   130900 | 2147483647    73887     63 |  0.002 % |
276.35/276.56	c |    378646 |     220    18700   130900 | 2147483647    76141     63 |  0.002 % |
278.25/278.48	c |    381125 |     220    18700   130900 | 2147483647    78620     63 |  0.002 % |
280.36/280.54	c |    383850 |     220    18700   130900 | 2147483647    81345     63 |  0.002 % |
282.75/282.91	c |    386848 |     220    18700   130900 | 2147483647    84343     63 |  0.002 % |
285.35/285.57	c |    390145 |     220    18700   130900 |    87495    77449     63 |  0.002 % |
288.05/288.24	c |    393772 |     220    18700   130900 |    87495    81076     63 |  0.002 % |
288.15/288.33	c |    393872 |     220    18700   130900 |    87495    81176     63 |  0.002 % |
288.25/288.43	c |    393982 |     220    18700   130900 |    87495    81286     63 |  0.002 % |
288.35/288.53	c |    394103 |     220    18700   130900 |    87495    81407     63 |  0.002 % |
288.45/288.66	c |    394236 |     220    18700   130900 |    87495    81540     63 |  0.002 % |
288.55/288.79	c |    394383 |     220    18700   130900 |    87495    81687     63 |  0.002 % |
288.75/288.93	c |    394543 |     220    18700   130900 |    87495    81847     63 |  0.002 % |
288.95/289.16	c |    394722 |     220    18700   130900 |    87495    82026     63 |  0.002 % |
289.15/289.36	c |    394915 |     220    18700   130900 |    87495    82219     63 |  0.002 % |
289.35/289.57	c |    395127 |     220    18700   130900 |    87495    82431     63 |  0.002 % |
289.55/289.79	c |    395362 |     220    18700   130900 |    87495    82666     63 |  0.002 % |
289.85/290.01	c |    395618 |     220    18700   130900 |    87495    82922     63 |  0.002 % |
290.05/290.26	c |    395900 |     220    18700   130900 |    87495    83204     63 |  0.002 % |
290.35/290.54	c |    396209 |     220    18700   130900 |    87495    83513     63 |  0.002 % |
290.65/290.87	c |    396550 |     220    18700   130900 |    87495    83854     63 |  0.002 % |
291.05/291.30	c |    396922 |     220    18700   130900 |    87495    84226     63 |  0.002 % |
291.55/291.73	c |    397332 |     220    18700   130900 |    87495    84636     63 |  0.002 % |
291.94/292.17	c |    397781 |     220    18700   130900 |    87495    85085     63 |  0.002 % |
292.45/292.66	c |    398274 |     220    18700   130900 |    87495    85578     63 |  0.002 % |
292.94/293.15	c |    398818 |     220    18700   130900 |    87495    86122     63 |  0.002 % |
293.45/293.66	c |    399414 |     220    18700   130900 |    87495    86718     63 |  0.002 % |
294.04/294.21	c |    400071 |     220    18700   130900 |    87305    87375     63 |  0.002 % |
294.74/294.95	c |    400793 |     220    18700   130900 |    87305    76085     63 |  0.002 % |
295.44/295.65	c |    401585 |     220    18700   130900 |    87305    76877     63 |  0.002 % |
296.24/296.43	c |    402456 |     220    18700   130900 |    87305    77748     63 |  0.002 % |
296.94/297.18	c |    403415 |     220    18700   130900 |    87305    78707     63 |  0.002 % |
297.85/298.08	c |    404468 |     220    18700   130900 |    87305    79760     63 |  0.002 % |
298.84/299.10	c |    405626 |     220    18700   130900 |    87305    80918     63 |  0.002 % |
299.94/300.16	c |    406902 |     220    18700   130900 |    87305    82194     63 |  0.002 % |
301.15/301.39	c |    408304 |     220    18700   130900 |    87305    83596     63 |  0.002 % |
302.44/302.68	c |    409844 |     220    18700   130900 |    87305    85136     63 |  0.002 % |
303.84/304.08	c |    411538 |     220    18700   130900 |    85292    75014     63 |  0.002 % |
305.24/305.49	c |    413401 |     220    18700   130900 |    85292    76877     63 |  0.002 % |
307.04/307.21	c |    415450 |     220    18700   130900 |    85292    78926     63 |  0.002 % |
308.84/309.00	c |    417703 |     220    18700   130900 |    85292    81179     63 |  0.002 % |
310.94/311.10	c |    420181 |     220    18700   130900 |    83478    72986     63 |  0.002 % |
312.74/312.93	c |    422906 |     220    18700   130900 |    83478    75711     63 |  0.002 % |
314.84/315.01	c |    425904 |     220    18700   130900 |    83478    78709     63 |  0.002 % |
317.34/317.51	c |    429200 |     220    18700   130900 |    83478    82005     63 |  0.002 % |
319.94/320.19	c |    432825 |     220    18700   130900 |    82806    76820     63 |  0.002 % |
322.93/323.18	c |    436814 |     220    18700   130900 |    82806    80809     63 |  0.002 % |
323.03/323.27	c |    436914 |     220    18700   130900 |    82806    80909     63 |  0.002 % |
323.14/323.37	c |    437024 |     220    18700   130900 |    82806    81019     63 |  0.002 % |
323.33/323.51	c |    437145 |     220    18700   130900 |    82806    81140     63 |  0.002 % |
323.43/323.65	c |    437279 |     220    18700   130900 |    82806    81274     63 |  0.002 % |
323.53/323.77	c |    437427 |     220    18700   130900 |    82806    81422     63 |  0.002 % |
323.73/323.93	c |    437587 |     220    18700   130900 |    82806    81582     63 |  0.002 % |
323.93/324.12	c |    437763 |     220    18700   130900 |    82806    81758     63 |  0.002 % |
324.03/324.29	c |    437958 |     220    18700   130900 |    82806    81953     63 |  0.002 % |
324.34/324.50	c |    438171 |     220    18700   130900 |    82806    82166     63 |  0.002 % |
324.53/324.72	c |    438405 |     220    18700   130900 |    82806    82400     63 |  0.002 % |
324.73/324.96	c |    438662 |     220    18700   130900 |    82806    82657     63 |  0.002 % |
325.03/325.27	c |    438944 |     220    18700   130900 |    82806    73242     63 |  0.002 % |
325.34/325.51	c |    439257 |     220    18700   130900 |    82806    73555     63 |  0.002 % |
325.53/325.79	c |    439600 |     220    18700   130900 |    82806    73898     63 |  0.002 % |
325.83/326.07	c |    439973 |     220    18700   130900 |    82806    74271     63 |  0.002 % |
326.23/326.42	c |    440383 |     220    18700   130900 |    74301    66140     63 |  0.002 % |
326.54/326.73	c |    440833 |     220    18700   130900 |    74301    66590     63 |  0.002 % |
326.83/327.09	c |    441327 |     220    18700   130900 |    74301    67084     63 |  0.002 % |
327.23/327.49	c |    441869 |     220    18700   130900 |    74301    67626     63 |  0.002 % |
327.73/327.92	c |    442466 |     220    18700   130900 |    74301    68223     63 |  0.002 % |
328.13/328.38	c |    443121 |     220    18700   130900 |    74301    68878     63 |  0.002 % |
328.63/328.88	c |    443841 |     220    18700   130900 |    74301    69598     63 |  0.002 % |
329.23/329.42	c |    444633 |     220    18700   130900 |    74301    70390     63 |  0.002 % |
329.83/330.06	c |    445504 |     220    18700   130900 |    74301    71261     63 |  0.002 % |
330.53/330.78	c |    446462 |     220    18700   130900 |    74301    72219     63 |  0.002 % |
331.33/331.57	c |    447515 |     220    18700   130900 |    74301    73272     63 |  0.002 % |
332.33/332.54	c |    448673 |     220    18700   130900 |    74301    66991     63 |  0.002 % |
333.23/333.45	c |    449946 |     220    18700   130900 |    74301    68264     63 |  0.002 % |
334.13/334.34	c |    451346 |     220    18700   130900 | 2147483647    69664     63 |  0.002 % |
335.13/335.37	c |    452886 |     220    18700   130900 | 2147483647    71204     63 |  0.002 % |
336.33/336.57	c |    454582 |     220    18700   130900 | 2147483647    72900     63 |  0.002 % |
337.83/338.04	c |    456445 |     220    18700   130900 | 2147483647    74763     63 |  0.002 % |
339.53/339.72	c |    458496 |     220    18700   130900 | 2147483647    76814     63 |  0.002 % |
341.33/341.55	c |    460750 |     220    18700   130900 | 2147483647    79068     63 |  0.002 % |
343.23/343.44	c |    463229 |     220    18700   130900 | 2147483647    81547     63 |  0.002 % |
345.43/345.66	c |    465954 |     220    18700   130900 | 2147483647    84272     63 |  0.002 % |
347.93/348.13	c |    468951 |     220    18700   130900 | 2147483647    87269     63 |  0.002 % |
350.63/350.81	c |    472248 |     220    18700   130900 |    88319    79194     63 |  0.002 % |
353.42/353.70	c |    475873 |     220    18700   130900 |    88319    82819     63 |  0.002 % |
356.52/356.72	c |    479861 |     220    18700   130900 |    88319    86807     63 |  0.002 % |
359.82/360.07	c |    484246 |     220    18700   130900 |    86946    80543     63 |  0.002 % |
359.92/360.14	c |    484347 |     220    18700   130900 |    86946    80644     63 |  0.002 % |
360.02/360.23	c |    484457 |     220    18700   130900 |    86946    80754     63 |  0.002 % |
360.12/360.33	c |    484578 |     220    18700   130900 |    86946    80875     63 |  0.002 % |
360.22/360.47	c |    484711 |     220    18700   130900 |    86946    81008     63 |  0.002 % |
360.42/360.60	c |    484858 |     220    18700   130900 |    86946    81155     63 |  0.002 % |
360.52/360.75	c |    485018 |     220    18700   130900 |    86946    81315     63 |  0.002 % |
360.72/360.95	c |    485195 |     220    18700   130900 |    86946    81492     63 |  0.002 % |
360.92/361.14	c |    485388 |     220    18700   130900 |    86946    81685     63 |  0.002 % |
361.12/361.34	c |    485600 |     220    18700   130900 |    86946    81897     63 |  0.002 % |
361.32/361.54	c |    485834 |     220    18700   130900 |    86946    82131     63 |  0.002 % |
361.62/361.81	c |    486093 |     220    18700   130900 |    86946    82390     63 |  0.002 % |
361.82/362.07	c |    486375 |     220    18700   130900 |    86946    82672     63 |  0.002 % |
362.12/362.35	c |    486684 |     220    18700   130900 |    86946    82981     63 |  0.002 % |
362.42/362.68	c |    487024 |     220    18700   130900 |    86946    83321     63 |  0.002 % |
362.82/363.06	c |    487397 |     220    18700   130900 |    86946    83694     63 |  0.002 % |
363.12/363.39	c |    487806 |     220    18700   130900 |    86946    84103     63 |  0.002 % |
363.52/363.75	c |    488255 |     220    18700   130900 |    86946    84552     63 |  0.002 % |
363.92/364.16	c |    488749 |     220    18700   130900 |    86946    85046     63 |  0.002 % |
364.41/364.62	c |    489292 |     220    18700   130900 |    86946    85589     63 |  0.002 % |
364.92/365.11	c |    489890 |     220    18700   130900 |    86946    86187     63 |  0.002 % |
365.41/365.69	c |    490546 |     220    18700   130900 |    86297    74988     63 |  0.002 % |
366.02/366.28	c |    491267 |     220    18700   130900 |    86297    75709     63 |  0.002 % |
366.61/366.85	c |    492059 |     220    18700   130900 |    86297    76501     63 |  0.002 % |
367.31/367.55	c |    492932 |     220    18700   130900 |    86297    77374     63 |  0.002 % |
368.01/368.28	c |    493892 |     220    18700   130900 |    86297    78334     63 |  0.002 % |
368.91/369.16	c |    494945 |     220    18700   130900 |    86297    79387     63 |  0.002 % |
369.91/370.13	c |    496105 |     220    18700   130900 |    86297    80547     63 |  0.002 % |
370.91/371.11	c |    497378 |     220    18700   130900 |    86297    81820     63 |  0.002 % |
372.11/372.30	c |    498779 |     220    18700   130900 |    86297    83221     63 |  0.002 % |
373.31/373.57	c |    500320 |     220    18700   130900 |    84443    74089     63 |  0.002 % |
374.61/374.81	c |    502014 |     220    18700   130900 |    84443    75783     63 |  0.002 % |
376.11/376.30	c |    503877 |     220    18700   130900 |    84443    77646     63 |  0.002 % |
377.81/378.06	c |    505927 |     220    18700   130900 |    84443    79696     63 |  0.002 % |
379.51/379.78	c |    508180 |     220    18700   130900 |    84443    81949     63 |  0.002 % |
381.61/381.84	c |    510658 |     220    18700   130900 |    83770    73818     63 |  0.002 % |
383.71/383.93	c |    513383 |     220    18700   130900 |    83770    76543     63 |  0.002 % |
386.21/386.44	c |    516383 |     220    18700   130900 |    83770    79543     63 |  0.002 % |
388.91/389.12	c |    519679 |     220    18700   130900 |    83770    82839     63 |  0.002 % |
391.81/392.01	c |    523304 |     220    18700   130900 |    83160    76747     63 |  0.002 % |
394.90/395.14	c |    527292 |     220    18700   130900 |    83160    80735     63 |  0.002 % |
398.20/398.43	c |    531680 |     220    18700   130900 |    73565    66602     63 |  0.002 % |
401.31/401.57	c |    536506 |     220    18700   130900 |    73565    71428     63 |  0.002 % |
401.40/401.68	c |    536608 |     220    18700   130900 |    73565    71530     63 |  0.002 % |
401.50/401.77	c |    536718 |     220    18700   130900 |    73565    71640     63 |  0.002 % |
401.60/401.87	c |    536839 |     220    18700   130900 |    73565    71761     63 |  0.002 % |
401.70/401.99	c |    536973 |     220    18700   130900 |    73565    71895     63 |  0.002 % |
401.90/402.11	c |    537119 |     220    18700   130900 |    73565    72041     63 |  0.002 % |
402.00/402.24	c |    537279 |     220    18700   130900 |    73565    72201     63 |  0.002 % |
402.10/402.38	c |    537456 |     220    18700   130900 |    73565    72378     63 |  0.002 % |
402.31/402.53	c |    537649 |     220    18700   130900 |    73565    72571     63 |  0.002 % |
402.50/402.71	c |    537861 |     220    18700   130900 |    73565    72783     63 |  0.002 % |
402.60/402.88	c |    538095 |     220    18700   130900 |    73565    73017     63 |  0.002 % |
402.90/403.12	c |    538351 |     220    18700   130900 |    73565    73273     63 |  0.002 % |
403.10/403.37	c |    538632 |     220    18700   130900 |    73565    73554     63 |  0.002 % |
403.40/403.65	c |    538941 |     220    18700   130900 |    73565    66497     63 |  0.002 % |
403.60/403.88	c |    539280 |     220    18700   130900 |    73565    66836     63 |  0.002 % |
403.90/404.15	c |    539653 |     220    18700   130900 |    73565    67209     63 |  0.002 % |
404.20/404.44	c |    540062 |     220    18700   130900 | 2147483647    67618     63 |  0.002 % |
404.50/404.80	c |    540513 |     220    18700   130900 | 2147483647    68069     63 |  0.002 % |
404.90/405.16	c |    541007 |     220    18700   130900 | 2147483647    68563     63 |  0.002 % |
405.30/405.54	c |    541550 |     220    18700   130900 | 2147483647    69106     63 |  0.002 % |
405.80/406.00	c |    542147 |     220    18700   130900 | 2147483647    69703     63 |  0.002 % |
406.20/406.47	c |    542802 |     220    18700   130900 | 2147483647    70358     63 |  0.002 % |
406.70/406.96	c |    543523 |     220    18700   130900 | 2147483647    71079     63 |  0.002 % |
407.30/407.55	c |    544315 |     220    18700   130900 | 2147483647    71871     63 |  0.002 % |
407.90/408.13	c |    545188 |     220    18700   130900 | 2147483647    72744     63 |  0.002 % |
408.60/408.83	c |    546148 |     220    18700   130900 | 2147483647    73704     63 |  0.002 % |
409.30/409.56	c |    547202 |     220    18700   130900 | 2147483647    74758     63 |  0.002 % |
410.10/410.38	c |    548361 |     220    18700   130900 | 2147483647    75917     63 |  0.002 % |
411.10/411.35	c |    549636 |     220    18700   130900 | 2147483647    77192     63 |  0.002 % |
412.20/412.50	c |    551039 |     220    18700   130900 | 2147483647    78595     63 |  0.002 % |
413.70/413.92	c |    552580 |     220    18700   130900 | 2147483647    80136     63 |  0.002 % |
415.19/415.43	c |    554275 |     220    18700   130900 | 2147483647    81831     63 |  0.002 % |
416.70/416.96	c |    556138 |     220    18700   130900 | 2147483647    83694     63 |  0.002 % |
418.39/418.68	c |    558187 |     220    18700   130900 | 2147483647    85743     63 |  0.002 % |
420.39/420.62	c |    560440 |     220    18700   130900 |    87558    76254     63 |  0.002 % |
422.20/422.45	c |    562919 |     220    18700   130900 |    87558    78733     63 |  0.002 % |
424.30/424.53	c |    565644 |     220    18700   130900 |    87558    81458     63 |  0.002 % |
426.69/426.95	c |    568642 |     220    18700   130900 |    87558    84456     63 |  0.002 % |
429.19/429.41	c |    571938 |     220    18700   130900 |    85817    77255     63 |  0.002 % |
431.79/432.06	c |    575563 |     220    18700   130900 |    85817    80880     63 |  0.002 % |
435.19/435.44	c |    579551 |     220    18700   130900 |    85817    84868     63 |  0.002 % |
438.59/438.85	c |    583938 |     220    18700   130900 |    85317    78040     63 |  0.002 % |
442.39/442.61	c |    588762 |     220    18700   130900 |    85317    82864     63 |  0.002 % |
446.39/446.66	c |    594067 |     220    18700   130900 |    84103    76969     64 |  0.002 % |
446.49/446.76	c |    594167 |     220    18700   130900 |    84103    77069     64 |  0.002 % |
446.59/446.87	c |    594278 |     220    18700   130900 |    84103    77180     64 |  0.002 % |
446.68/446.96	c |    594399 |     220    18700   130900 |    84103    77301     64 |  0.002 % |
446.78/447.07	c |    594532 |     220    18700   130900 |    84103    77434     64 |  0.002 % |
446.98/447.22	c |    594678 |     220    18700   130900 |    84103    77580     64 |  0.002 % |
447.08/447.35	c |    594838 |     220    18700   130900 |    84103    77740     64 |  0.002 % |
447.29/447.50	c |    595014 |     220    18700   130900 |    84103    77916     64 |  0.002 % |
447.40/447.68	c |    595207 |     220    18700   130900 |    84103    78109     64 |  0.002 % |
447.59/447.87	c |    595419 |     220    18700   130900 |    84103    78321     64 |  0.002 % |
447.79/448.06	c |    595652 |     220    18700   130900 |    84103    78554     64 |  0.002 % |
447.99/448.29	c |    595909 |     220    18700   130900 |    84103    78811     64 |  0.002 % |
448.29/448.51	c |    596190 |     220    18700   130900 |    84103    79092     63 |  0.002 % |
448.50/448.78	c |    596499 |     220    18700   130900 |    84103    79401     64 |  0.002 % |
448.79/449.06	c |    596838 |     220    18700   130900 |    84103    79740     63 |  0.002 % |
449.09/449.35	c |    597211 |     220    18700   130900 |    84103    80113     63 |  0.002 % |
449.39/449.69	c |    597621 |     220    18700   130900 |    84103    80523     63 |  0.002 % |
449.79/450.09	c |    598071 |     220    18700   130900 |    84103    80973     63 |  0.002 % |
450.29/450.58	c |    598567 |     220    18700   130900 |    84103    81469     63 |  0.002 % |
450.80/451.07	c |    599111 |     220    18700   130900 |    84103    82013     63 |  0.002 % |
451.39/451.60	c |    599708 |     220    18700   130900 |    84103    82610     63 |  0.002 % |
451.99/452.21	c |    600365 |     220    18700   130900 |    82902    72556     63 |  0.002 % |
452.49/452.73	c |    601085 |     220    18700   130900 |    82902    73276     63 |  0.002 % |
453.19/453.40	c |    601877 |     220    18700   130900 |    82902    74068     63 |  0.002 % |
453.89/454.12	c |    602750 |     220    18700   130900 |    82902    74941     63 |  0.002 % |
454.59/454.86	c |    603708 |     220    18700   130900 |    82902    75899     63 |  0.002 % |
455.39/455.63	c |    604763 |     220    18700   130900 |    82902    76954     63 |  0.002 % |
456.29/456.54	c |    605921 |     220    18700   130900 |    82902    78112     63 |  0.002 % |
457.29/457.52	c |    607195 |     220    18700   130900 |    82902    79386     63 |  0.002 % |
458.39/458.65	c |    608595 |     220    18700   130900 |    82902    80786     63 |  0.002 % |
459.89/460.14	c |    610135 |     220    18700   130900 |    82191    71870     64 |  0.002 % |
461.29/461.51	c |    611829 |     220    18700   130900 |    82191    73564     64 |  0.002 % |
462.79/463.02	c |    613692 |     220    18700   130900 |    82191    75427     63 |  0.002 % |
464.49/464.70	c |    615741 |     220    18700   130900 |    82191    77476     63 |  0.002 % |
466.38/466.63	c |    617994 |     220    18700   130900 |    82191    79729     63 |  0.002 % |
468.29/468.57	c |    620475 |     220    18700   130900 |    81735    72429     64 |  0.002 % |
470.38/470.63	c |    623200 |     220    18700   130900 |    81735    75154     64 |  0.002 % |
472.58/472.90	c |    626198 |     220    18700   130900 |    81735    78152     64 |  0.002 % |
475.08/475.37	c |    629495 |     220    18700   130900 |    81735    81449     64 |  0.002 % |
477.68/477.90	c |    633120 |     220    18700   130900 |    72872    68009     64 |  0.002 % |
480.48/480.71	c |    637107 |     220    18700   130900 |    72872    71996     64 |  0.002 % |
483.38/483.64	c |    641493 |     220    18700   130900 | 2147483647    69085     64 |  0.002 % |
486.78/487.01	c |    646316 |     220    18700   130900 | 2147483647    73908     64 |  0.002 % |
490.67/490.90	c |    651622 |     220    18700   130900 | 2147483647    79214     64 |  0.002 % |
494.97/495.28	c |    657457 |     220    18700   130900 | 2147483647    85049     64 |  0.002 % |
495.07/495.36	c |    657557 |     220    18700   130900 | 2147483647    85149     64 |  0.002 % |
495.27/495.51	c |    657667 |     220    18700   130900 | 2147483647    85259     64 |  0.002 % |
495.37/495.64	c |    657789 |     220    18700   130900 | 2147483647    85381     64 |  0.002 % |
495.47/495.78	c |    657923 |     220    18700   130900 | 2147483647    85515     64 |  0.002 % |
495.67/495.95	c |    658070 |     220    18700   130900 | 2147483647    85662     64 |  0.002 % |
495.88/496.13	c |    658230 |     220    18700   130900 | 2147483647    85822     64 |  0.002 % |
496.07/496.31	c |    658408 |     220    18700   130900 | 2147483647    86000     64 |  0.002 % |
496.27/496.51	c |    658602 |     220    18700   130900 | 2147483647    86194     64 |  0.002 % |
496.47/496.72	c |    658814 |     220    18700   130900 | 2147483647    86406     64 |  0.002 % |
496.67/496.97	c |    659049 |     220    18700   130900 | 2147483647    86641     64 |  0.002 % |
496.98/497.28	c |    659306 |     220    18700   130900 | 2147483647    86898     64 |  0.002 % |
497.27/497.55	c |    659587 |     220    18700   130900 | 2147483647    87179     64 |  0.002 % |
497.57/497.87	c |    659898 |     220    18700   130900 | 2147483647    87490     64 |  0.002 % |
497.97/498.24	c |    660238 |     220    18700   130900 |    87593    76709     64 |  0.002 % |
498.27/498.53	c |    660612 |     220    18700   130900 |    87593    77083     64 |  0.002 % |
498.57/498.85	c |    661021 |     220    18700   130900 |    87593    77492     64 |  0.002 % |
498.97/499.23	c |    661470 |     220    18700   130900 |    87593    77941     64 |  0.002 % |
499.37/499.63	c |    661964 |     220    18700   130900 |    87593    78435     64 |  0.002 % |
499.87/500.12	c |    662506 |     220    18700   130900 |    87593    78977     64 |  0.002 % |
500.37/500.66	c |    663102 |     220    18700   130900 |    87593    79573     64 |  0.002 % |
500.97/501.23	c |    663759 |     220    18700   130900 |    87593    80230     64 |  0.002 % |
501.57/501.89	c |    664479 |     220    18700   130900 |    87593    80950     64 |  0.002 % |
502.27/502.54	c |    665274 |     220    18700   130900 |    87593    81745     64 |  0.002 % |
502.97/503.24	c |    666147 |     220    18700   130900 |    87593    82618     64 |  0.002 % |
503.77/504.05	c |    667107 |     220    18700   130900 |    87593    83578     64 |  0.002 % |
504.77/505.01	c |    668161 |     220    18700   130900 |    87593    84632     64 |  0.002 % |
505.77/506.03	c |    669322 |     220    18700   130900 |    87593    85793     63 |  0.002 % |
506.97/507.20	c |    670595 |     220    18700   130900 |    86472    75139     63 |  0.002 % |
508.07/508.34	c |    671995 |     220    18700   130900 |    86472    76539     63 |  0.002 % |
509.37/509.64	c |    673535 |     220    18700   130900 |    86472    78079     64 |  0.002 % |
510.77/511.00	c |    675229 |     220    18700   130900 |    86472    79773     63 |  0.002 % |
512.17/512.47	c |    677092 |     220    18700   130900 |    86472    81636     64 |  0.002 % |
513.87/514.15	c |    679141 |     220    18700   130900 |    86472    83685     64 |  0.002 % |
515.57/515.90	c |    681394 |     220    18700   130900 |    84544    74717     64 |  0.002 % |
517.46/517.73	c |    683872 |     220    18700   130900 |    84544    77195     64 |  0.002 % |
519.46/519.76	c |    686598 |     220    18700   130900 |    84544    79921     64 |  0.002 % |
521.96/522.24	c |    689595 |     220    18700   130900 |    84544    82918     64 |  0.002 % |
524.47/524.79	c |    692891 |     220    18700   130900 |    83324    75844     64 |  0.002 % |
527.16/527.48	c |    696516 |     220    18700   130900 |    83324    79469     64 |  0.002 % |
530.46/530.77	c |    700504 |     220    18700   130900 |    82953    73312     64 |  0.002 % |
533.96/534.24	c |    704890 |     220    18700   130900 |    82953    77698     64 |  0.002 % |
537.76/538.01	c |    709714 |     220    18700   130900 |    82953    82522     64 |  0.002 % |
541.76/542.09	c |    715020 |     220    18700   130900 |    82811    77593     64 |  0.002 % |
546.66/546.99	c |    720855 |     220    18700   130900 |    82573    73339     64 |  0.002 % |
551.65/551.95	c |    727274 |     220    18700   130900 |    82573    79758     64 |  0.002 % |
551.75/552.03	c |    727374 |     220    18700   130900 |    82573    79858     64 |  0.002 % |
551.86/552.15	c |    727484 |     220    18700   130900 |    82573    79968     64 |  0.002 % |
551.96/552.26	c |    727605 |     220    18700   130900 |    82573    80089     64 |  0.002 % |
552.05/552.39	c |    727738 |     220    18700   130900 |    82573    80222     64 |  0.002 % |
552.25/552.53	c |    727884 |     220    18700   130900 |    82573    80368     64 |  0.002 % |
552.35/552.67	c |    728044 |     220    18700   130900 |    82573    80528     64 |  0.002 % |
552.55/552.88	c |    728221 |     220    18700   130900 |    82573    80705     64 |  0.002 % |
552.75/553.07	c |    728416 |     220    18700   130900 |    82573    80900     64 |  0.002 % |
552.96/553.27	c |    728629 |     220    18700   130900 |    82573    81113     64 |  0.002 % |
553.15/553.48	c |    728864 |     220    18700   130900 |    82573    81348     64 |  0.002 % |
553.45/553.73	c |    729121 |     220    18700   130900 |    82573    81605     64 |  0.002 % |
553.65/553.99	c |    729402 |     220    18700   130900 |    82573    81886     64 |  0.002 % |
553.95/554.29	c |    729714 |     220    18700   130900 |    82573    82198     64 |  0.002 % |
554.25/554.58	c |    730054 |     220    18700   130900 |    82485    82538     64 |  0.002 % |
554.75/555.01	c |    730427 |     220    18700   130900 |    82485    72568     64 |  0.002 % |
555.05/555.35	c |    730836 |     220    18700   130900 |    82485    72977     64 |  0.002 % |
555.45/555.74	c |    731288 |     220    18700   130900 |    82485    73429     64 |  0.002 % |
555.85/556.14	c |    731783 |     220    18700   130900 |    82485    73924     64 |  0.002 % |
556.25/556.57	c |    732325 |     220    18700   130900 |    82485    74466     64 |  0.002 % |
556.75/557.06	c |    732921 |     220    18700   130900 |    82485    75062     64 |  0.002 % |
557.35/557.62	c |    733576 |     220    18700   130900 |    82485    75717     64 |  0.002 % |
558.05/558.33	c |    734297 |     220    18700   130900 |    82485    76438     64 |  0.002 % |
558.75/559.06	c |    735090 |     220    18700   130900 |    82485    77231     64 |  0.002 % |
559.65/559.90	c |    735962 |     220    18700   130900 |    82485    78103     64 |  0.002 % |
560.45/560.74	c |    736921 |     220    18700   130900 |    82485    79062     64 |  0.002 % |
561.35/561.65	c |    737974 |     220    18700   130900 |    82485    80115     64 |  0.002 % |
562.35/562.60	c |    739133 |     220    18700   130900 |    82485    81274     64 |  0.002 % |
563.45/563.75	c |    740406 |     220    18700   130900 |    82143    71467     64 |  0.002 % |
564.45/564.74	c |    741807 |     220    18700   130900 |    82143    72868     64 |  0.002 % |
565.55/565.85	c |    743350 |     220    18700   130900 |    82143    74411     64 |  0.002 % |
566.74/567.07	c |    745046 |     220    18700   130900 |    82143    76107     64 |  0.002 % |
568.54/568.80	c |    746909 |     220    18700   130900 |    82143    77970     64 |  0.002 % |
570.14/570.48	c |    748958 |     220    18700   130900 |    82143    80019     64 |  0.002 % |
571.94/572.26	c |    751212 |     220    18700   130900 |    81061    71920     64 |  0.002 % |
573.64/573.95	c |    753692 |     220    18700   130900 |    81061    74400     64 |  0.002 % |
575.54/575.89	c |    756418 |     220    18700   130900 |    81061    77126     64 |  0.002 % |
577.84/578.18	c |    759415 |     220    18700   130900 |    81061    80123     64 |  0.002 % |
580.24/580.53	c |    762715 |     220    18700   130900 |    80708    75107     64 |  0.002 % |
582.94/583.22	c |    766340 |     220    18700   130900 |    80708    78732     64 |  0.002 % |
585.64/586.00	c |    770329 |     220    18700   130900 | 2147483647    74641     64 |  0.002 % |
588.74/589.08	c |    774714 |     220    18700   130900 | 2147483647    79026     64 |  0.002 % |
592.24/592.55	c |    779537 |     220    18700   130900 | 2147483647    83849     64 |  0.002 % |
596.74/597.03	c |    784842 |     220    18700   130900 |    84312    80199     64 |  0.002 % |
601.53/601.89	c |    790678 |     220    18700   130900 |    74027    65027     64 |  0.002 % |
605.84/606.18	c |    797097 |     220    18700   130900 |    74027    71446     64 |  0.002 % |
610.93/611.20	c |    804158 |     220    18700   130900 | 2147483647    71094     64 |  0.002 % |
610.93/611.26	c |    804260 |     220    18700   130900 | 2147483647    71196     64 |  0.002 % |
611.03/611.35	c |    804370 |     220    18700   130900 | 2147483647    71306     64 |  0.002 % |
611.13/611.45	c |    804493 |     220    18700   130900 | 2147483647    71429     64 |  0.002 % |
611.24/611.57	c |    804628 |     220    18700   130900 | 2147483647    71564     64 |  0.002 % |
611.34/611.69	c |    804774 |     220    18700   130900 | 2147483647    71710     64 |  0.002 % |
611.53/611.82	c |    804934 |     220    18700   130900 | 2147483647    71870     64 |  0.002 % |
611.63/611.98	c |    805110 |     220    18700   130900 | 2147483647    72046     64 |  0.002 % |
611.83/612.14	c |    805304 |     220    18700   130900 | 2147483647    72240     64 |  0.002 % |
612.03/612.34	c |    805518 |     220    18700   130900 | 2147483647    72454     64 |  0.002 % |
612.23/612.56	c |    805752 |     220    18700   130900 | 2147483647    72688     64 |  0.002 % |
612.44/612.79	c |    806010 |     220    18700   130900 | 2147483647    72946     64 |  0.002 % |
612.73/613.03	c |    806293 |     220    18700   130900 | 2147483647    73229     64 |  0.002 % |
613.03/613.31	c |    806602 |     220    18700   130900 | 2147483647    73538     64 |  0.002 % |
613.23/613.58	c |    806944 |     220    18700   130900 | 2147483647    73880     64 |  0.002 % |
613.54/613.87	c |    807316 |     220    18700   130900 | 2147483647    74252     64 |  0.002 % |
613.83/614.17	c |    807725 |     220    18700   130900 | 2147483647    74661     64 |  0.002 % |
614.13/614.49	c |    808174 |     220    18700   130900 | 2147483647    75110     64 |  0.002 % |
614.54/614.85	c |    808667 |     220    18700   130900 | 2147483647    75603     64 |  0.002 % |
614.93/615.26	c |    809210 |     220    18700   130900 | 2147483647    76146     64 |  0.002 % |
615.33/615.70	c |    809808 |     220    18700   130900 | 2147483647    76744     64 |  0.002 % |
615.83/616.15	c |    810466 |     220    18700   130900 | 2147483647    77402     64 |  0.002 % |
616.33/616.67	c |    811188 |     220    18700   130900 | 2147483647    78124     64 |  0.002 % |
617.03/617.32	c |    811982 |     220    18700   130900 | 2147483647    78918     64 |  0.002 % |
617.73/618.05	c |    812853 |     220    18700   130900 | 2147483647    79789     64 |  0.002 % |
618.53/618.83	c |    813811 |     220    18700   130900 | 2147483647    80747     64 |  0.002 % |
619.43/619.70	c |    814867 |     220    18700   130900 | 2147483647    81803     64 |  0.002 % |
620.33/620.63	c |    816025 |     220    18700   130900 | 2147483647    82961     64 |  0.002 % |
621.53/621.86	c |    817299 |     220    18700   130900 | 2147483647    84235     64 |  0.002 % |
622.83/623.12	c |    818702 |     220    18700   130900 | 2147483647    85638     64 |  0.002 % |
624.33/624.64	c |    820243 |     220    18700   130900 |    86937    75654     64 |  0.002 % |
625.73/626.07	c |    821938 |     220    18700   130900 |    86937    77349     64 |  0.002 % |
627.23/627.58	c |    823801 |     220    18700   130900 |    86937    79212     64 |  0.002 % |
628.83/629.14	c |    825851 |     220    18700   130900 |    86937    81262     64 |  0.002 % |
630.63/630.91	c |    828104 |     220    18700   130900 |    86937    83515     63 |  0.002 % |
632.53/632.89	c |    830582 |     220    18700   130900 |    85411    74823     63 |  0.002 % |
634.72/635.06	c |    833308 |     220    18700   130900 |    85411    77549     63 |  0.002 % |
636.92/637.25	c |    836305 |     220    18700   130900 |    85411    80546     63 |  0.002 % |
639.42/639.78	c |    839602 |     220    18700   130900 |    85411    83843     63 |  0.002 % |
642.42/642.71	c |    843227 |     220    18700   130900 |    84243    77093     63 |  0.002 % |
645.42/645.76	c |    847214 |     220    18700   130900 |    84243    81080     63 |  0.002 % |
648.72/649.05	c |    851599 |     220    18700   130900 |    83867    76411     63 |  0.002 % |
652.72/653.02	c |    856422 |     220    18700   130900 |    83867    81234     63 |  0.002 % |
656.82/657.15	c |    861727 |     220    18700   130900 |    74839    67917     63 |  0.002 % |
660.72/661.08	c |    867562 |     220    18700   130900 |    74839    73752     63 |  0.002 % |
665.22/665.54	c |    873980 |     220    18700   130900 | 2147483647    72676     63 |  0.002 % |
670.62/671.00	c |    881040 |     220    18700   130900 | 2147483647    79736     63 |  0.002 % |
676.91/677.23	c |    888808 |     220    18700   130900 | 2147483647    87504     64 |  0.002 % |
677.01/677.34	c |    888910 |     220    18700   130900 | 2147483647    87606     64 |  0.002 % |
677.11/677.47	c |    889021 |     220    18700   130900 | 2147483647    87717     64 |  0.002 % |
677.32/677.62	c |    889143 |     220    18700   130900 | 2147483647    87839     64 |  0.002 % |
677.41/677.74	c |    889277 |     220    18700   130900 | 2147483647    87973     64 |  0.002 % |
677.51/677.88	c |    889423 |     220    18700   130900 | 2147483647    88119     64 |  0.002 % |
677.71/678.04	c |    889584 |     220    18700   130900 | 2147483647    88280     64 |  0.002 % |
677.91/678.22	c |    889760 |     220    18700   130900 | 2147483647    88456     64 |  0.002 % |
678.11/678.44	c |    889954 |     220    18700   130900 | 2147483647    88650     64 |  0.002 % |
678.41/678.74	c |    890167 |     220    18700   130900 |    88697    76527     64 |  0.002 % |
678.61/678.94	c |    890400 |     220    18700   130900 |    88697    76760     64 |  0.002 % |
678.81/679.17	c |    890658 |     220    18700   130900 |    88697    77018     64 |  0.002 % |
679.11/679.42	c |    890940 |     220    18700   130900 |    88697    77300     64 |  0.002 % |
679.41/679.70	c |    891249 |     220    18700   130900 |    88697    77609     64 |  0.002 % |
679.61/679.98	c |    891589 |     220    18700   130900 |    88697    77949     64 |  0.002 % |
680.01/680.32	c |    891961 |     220    18700   130900 |    88697    78321     64 |  0.002 % |
680.31/680.69	c |    892370 |     220    18700   130900 |    88697    78730     64 |  0.002 % |
680.81/681.12	c |    892819 |     220    18700   130900 |    88697    79179     64 |  0.002 % |
681.21/681.53	c |    893314 |     220    18700   130900 |    88697    79674     64 |  0.002 % |
681.61/681.97	c |    893858 |     220    18700   130900 |    88697    80218     64 |  0.002 % |
682.11/682.46	c |    894454 |     220    18700   130900 |    88697    80814     64 |  0.002 % |
682.61/682.95	c |    895110 |     220    18700   130900 |    88697    81470     64 |  0.002 % |
683.21/683.58	c |    895830 |     220    18700   130900 |    88697    82190     64 |  0.002 % |
684.01/684.31	c |    896623 |     220    18700   130900 |    88697    82983     64 |  0.002 % |
684.71/685.05	c |    897494 |     220    18700   130900 |    88697    83854     64 |  0.002 % |
685.61/685.91	c |    898452 |     220    18700   130900 |    88697    84812     64 |  0.002 % |
686.51/686.81	c |    899505 |     220    18700   130900 |    88697    85865     64 |  0.002 % |
687.71/688.03	c |    900665 |     220    18700   130900 |    86360    74321     64 |  0.002 % |
688.71/689.09	c |    901939 |     220    18700   130900 |    86360    75595     64 |  0.002 % |
689.90/690.20	c |    903339 |     220    18700   130900 |    86360    76995     64 |  0.002 % |
691.10/691.45	c |    904879 |     220    18700   130900 |    86360    78535     64 |  0.002 % |
692.40/692.78	c |    906573 |     220    18700   130900 |    86360    80229     64 |  0.002 % |
694.10/694.46	c |    908437 |     220    18700   130900 |    86360    82093     64 |  0.002 % |
695.80/696.14	c |    910487 |     220    18700   130900 |    83657    72423     64 |  0.002 % |
697.60/697.95	c |    912740 |     220    18700   130900 |    83657    74676     64 |  0.002 % |
699.60/699.90	c |    915219 |     220    18700   130900 |    83657    77155     64 |  0.002 % |
701.80/702.14	c |    917945 |     220    18700   130900 |    83657    79881     64 |  0.002 % |
704.10/704.48	c |    920944 |     220    18700   130900 |    81936    72480     64 |  0.002 % |
706.50/706.86	c |    924242 |     220    18700   130900 |    81936    75778     64 |  0.002 % |
709.30/709.70	c |    927867 |     220    18700   130900 |    81936    79403     64 |  0.002 % |
712.40/712.76	c |    931855 |     220    18700   130900 |    81539    74032     64 |  0.002 % |
715.60/715.97	c |    936240 |     220    18700   130900 |    81539    78417     63 |  0.002 % |
719.59/719.91	c |    941064 |     220    18700   130900 |    73432    66754     63 |  0.002 % |
723.29/723.70	c |    946370 |     220    18700   130900 |    73432    72060     63 |  0.002 % |
727.49/727.80	c |    952206 |     220    18700   130900 | 2147483647    70543     63 |  0.002 % |
731.89/732.25	c |    958626 |     220    18700   130900 | 2147483647    76963     63 |  0.002 % |
737.09/737.43	c |    965686 |     220    18700   130900 | 2147483647    84023     63 |  0.002 % |
743.39/743.74	c |    973451 |     220    18700   130900 |    88338    81040     64 |  0.002 % |
749.89/750.26	c |    981991 |     220    18700   130900 |    87591    79177     64 |  0.002 % |
749.99/750.34	c |    982091 |     220    18700   130900 |    87591    79277     64 |  0.002 % |
750.09/750.46	c |    982201 |     220    18700   130900 |    87591    79387     64 |  0.002 % |
750.19/750.57	c |    982323 |     220    18700   130900 |    87591    79509     64 |  0.002 % |
750.29/750.69	c |    982456 |     220    18700   130900 |    87591    79642     64 |  0.002 % |
750.49/750.84	c |    982602 |     220    18700   130900 |    87591    79788     64 |  0.002 % |
750.69/751.00	c |    982762 |     220    18700   130900 |    87591    79948     64 |  0.002 % |
750.79/751.13	c |    982939 |     220    18700   130900 |    87591    80125     64 |  0.002 % |
750.99/751.30	c |    983134 |     220    18700   130900 |    87591    80320     64 |  0.002 % |
751.19/751.50	c |    983347 |     220    18700   130900 |    87591    80533     64 |  0.002 % |
751.28/751.70	c |    983581 |     220    18700   130900 |    87591    80767     64 |  0.002 % |
751.58/751.95	c |    983839 |     220    18700   130900 |    87591    81025     64 |  0.002 % |
751.88/752.23	c |    984120 |     220    18700   130900 |    87591    81306     64 |  0.002 % |
752.18/752.53	c |    984431 |     220    18700   130900 |    87591    81617     64 |  0.002 % |
752.49/752.82	c |    984770 |     220    18700   130900 |    87591    81956     64 |  0.002 % |
752.79/753.15	c |    985142 |     220    18700   130900 |    87591    82328     64 |  0.002 % |
753.19/753.51	c |    985551 |     220    18700   130900 |    87591    82737     64 |  0.002 % |
753.58/753.92	c |    986000 |     220    18700   130900 |    87591    83186     64 |  0.002 % |
753.98/754.35	c |    986493 |     220    18700   130900 |    87591    83679     63 |  0.002 % |
754.48/754.80	c |    987035 |     220    18700   130900 |    87591    84221     63 |  0.002 % |
754.98/755.34	c |    987632 |     220    18700   130900 |    87591    84818     63 |  0.002 % |
755.58/755.90	c |    988287 |     220    18700   130900 |    87591    85473     63 |  0.002 % |
756.18/756.51	c |    989008 |     220    18700   130900 |    87591    86194     63 |  0.002 % |
756.88/757.30	c |    989804 |     220    18700   130900 |    87591    86990     63 |  0.002 % |
757.78/758.13	c |    990675 |     220    18700   130900 |    87186    75290     63 |  0.002 % |
758.48/758.89	c |    991634 |     220    18700   130900 |    87186    76249     63 |  0.002 % |
759.38/759.74	c |    992687 |     220    18700   130900 |    87186    77302     63 |  0.002 % |
760.28/760.60	c |    993846 |     220    18700   130900 |    87186    78461     63 |  0.002 % |
761.18/761.59	c |    995119 |     220    18700   130900 |    87186    79734     63 |  0.002 % |
762.38/762.71	c |    996519 |     220    18700   130900 |    87186    81134     63 |  0.002 % |
763.78/764.11	c |    998061 |     220    18700   130900 |    87186    82676     63 |  0.002 % |
765.28/765.61	c |    999755 |     220    18700   130900 |    87186    84370     64 |  0.002 % |
766.68/767.04	c |   1001618 |     220    18700   130900 |    84615    74188     64 |  0.002 % |
768.28/768.69	c |   1003668 |     220    18700   130900 |    84615    76238     64 |  0.002 % |
769.98/770.32	c |   1005921 |     220    18700   130900 |    84615    78491     64 |  0.002 % |
771.88/772.27	c |   1008399 |     220    18700   130900 |    84615    80969     64 |  0.002 % |
774.18/774.52	c |   1011124 |     220    18700   130900 |    82573    73436     64 |  0.002 % |
776.38/776.70	c |   1014122 |     220    18700   130900 |    82573    76434     63 |  0.002 % |
778.78/779.19	c |   1017419 |     220    18700   130900 |    82573    79731     63 |  0.002 % |
781.68/782.02	c |   1021045 |     220    18700   130900 |    82313    74352     63 |  0.002 % |
784.77/785.19	c |   1025033 |     220    18700   130900 |    82313    78340     63 |  0.002 % |
788.07/788.48	c |   1029418 |     220    18700   130900 |    82313    73301     63 |  0.002 % |
791.37/791.74	c |   1034241 |     220    18700   130900 |    73884    69870     63 |  0.002 % |
795.07/795.48	c |   1039546 |     220    18700   130900 |    73884    67776     63 |  0.002 % |
799.17/799.52	c |   1045383 |     220    18700   130900 | 2147483647    73613     63 |  0.002 % |
803.87/804.27	c |   1051801 |     220    18700   130900 | 2147483647    80031     63 |  0.002 % |
809.27/809.61	c |   1058861 |     220    18700   130900 | 2147483647    87091     63 |  0.002 % |
815.36/815.77	c |   1066626 |     220    18700   130900 |    88231    84655     63 |  0.002 % |
822.16/822.55	c |   1075168 |     220    18700   130900 |    88029    82256     63 |  0.002 % |
829.16/829.55	c |   1084562 |     220    18700   130900 |    87090    81131     63 |  0.002 % |
829.26/829.66	c |   1084663 |     220    18700   130900 |    87090    81232     63 |  0.002 % |
829.36/829.77	c |   1084773 |     220    18700   130900 |    87090    81342     63 |  0.002 % |
829.46/829.89	c |   1084894 |     220    18700   130900 |    87090    81463     63 |  0.002 % |
829.66/830.01	c |   1085027 |     220    18700   130900 |    87090    81596     63 |  0.002 % |
829.76/830.18	c |   1085175 |     220    18700   130900 |    87090    81744     63 |  0.002 % |
829.96/830.34	c |   1085335 |     220    18700   130900 |    87090    81904     63 |  0.002 % |
830.16/830.53	c |   1085512 |     220    18700   130900 |    87090    82081     63 |  0.002 % |
830.36/830.77	c |   1085707 |     220    18700   130900 |    87090    82276     63 |  0.002 % |
830.56/830.99	c |   1085919 |     220    18700   130900 |    87090    82488     63 |  0.002 % |
830.86/831.20	c |   1086153 |     220    18700   130900 |    87090    82722     63 |  0.002 % |
831.06/831.43	c |   1086409 |     220    18700   130900 |    87090    82978     63 |  0.002 % |
831.26/831.67	c |   1086690 |     220    18700   130900 |    87090    83259     63 |  0.002 % |
831.56/831.94	c |   1086999 |     220    18700   130900 |    87090    83568     63 |  0.002 % |
831.86/832.23	c |   1087338 |     220    18700   130900 |    87090    83907     63 |  0.002 % |
832.16/832.54	c |   1087710 |     220    18700   130900 |    87090    84279     63 |  0.002 % |
832.56/832.91	c |   1088121 |     220    18700   130900 |    87090    84690     63 |  0.002 % |
832.96/833.30	c |   1088570 |     220    18700   130900 |    87090    85139     63 |  0.002 % |
833.36/833.80	c |   1089063 |     220    18700   130900 |    87090    85632     63 |  0.002 % |
833.96/834.33	c |   1089606 |     220    18700   130900 |    87090    86175     63 |  0.002 % |
834.56/834.95	c |   1090204 |     220    18700   130900 |    86570    75065     63 |  0.002 % |
835.15/835.52	c |   1090861 |     220    18700   130900 |    86570    75722     63 |  0.002 % |
835.66/836.06	c |   1091581 |     220    18700   130900 |    86570    76442     63 |  0.002 % |
836.35/836.72	c |   1092373 |     220    18700   130900 |    86570    77234     63 |  0.002 % |
837.05/837.43	c |   1093244 |     220    18700   130900 |    86570    78105     63 |  0.002 % |
837.95/838.31	c |   1094205 |     220    18700   130900 |    86570    79066     63 |  0.002 % |
838.75/839.14	c |   1095259 |     220    18700   130900 |    86570    80120     63 |  0.002 % |
839.65/840.09	c |   1096417 |     220    18700   130900 |    86570    81278     63 |  0.002 % |
840.75/841.13	c |   1097690 |     220    18700   130900 |    86570    82551     63 |  0.002 % |
841.85/842.27	c |   1099091 |     220    18700   130900 |    86570    83952     63 |  0.002 % |
843.35/843.79	c |   1100631 |     220    18700   130900 |    84862    73913     63 |  0.002 % |
844.75/845.19	c |   1102325 |     220    18700   130900 |    84862    75607     63 |  0.002 % |
846.25/846.62	c |   1104188 |     220    18700   130900 |    84862    77470     63 |  0.002 % |
847.75/848.15	c |   1106237 |     220    18700   130900 |    84862    79519     63 |  0.002 % |
849.55/849.92	c |   1108491 |     220    18700   130900 |    84862    81773     63 |  0.002 % |
851.55/851.91	c |   1110969 |     220    18700   130900 |    83282    73290     63 |  0.002 % |
853.35/853.73	c |   1113694 |     220    18700   130900 |    83282    76015     63 |  0.002 % |
855.65/856.07	c |   1116691 |     220    18700   130900 |    83282    79012     64 |  0.002 % |
858.25/858.68	c |   1119988 |     220    18700   130900 |    83282    82309     64 |  0.002 % |
861.14/861.55	c |   1123613 |     220    18700   130900 |    82324    75999     63 |  0.002 % |
864.04/864.49	c |   1127600 |     220    18700   130900 |    82324    79986     63 |  0.002 % |
867.55/867.97	c |   1131985 |     220    18700   130900 |    82388    75492     63 |  0.002 % |
871.24/871.61	c |   1136808 |     220    18700   130900 |    82388    80315     63 |  0.002 % |
875.04/875.46	c |   1142115 |     220    18700   130900 | 2147483647    77374     63 |  0.002 % |
879.64/880.05	c |   1147951 |     220    18700   130900 | 2147483647    83210     63 |  0.002 % |
884.54/884.97	c |   1154370 |     220    18700   130900 |    85260    79836     63 |  0.002 % |
890.54/890.98	c |   1161430 |     220    18700   130900 |    75297    67692     64 |  0.002 % |
896.53/897.00	c |   1169195 |     220    18700   130900 |    75297    67919     64 |  0.002 % |
903.03/903.41	c |   1177736 |     220    18700   130900 | 2147483647    76460     64 |  0.002 % |
911.13/911.55	c |   1187131 |     220    18700   130900 | 2147483647    85855     64 |  0.002 % |
919.93/920.34	c |   1197464 |     220    18700   130900 |    88728    84953     64 |  0.002 % |
920.03/920.45	c |   1197565 |     220    18700   130900 |    88728    85054     64 |  0.002 % |
920.13/920.56	c |   1197676 |     220    18700   130900 |    88728    85165     64 |  0.002 % |
920.23/920.68	c |   1197798 |     220    18700   130900 |    88728    85287     64 |  0.002 % |
920.43/920.81	c |   1197932 |     220    18700   130900 |    88728    85421     64 |  0.002 % |
920.53/920.95	c |   1198078 |     220    18700   130900 |    88728    85567     64 |  0.002 % |
920.73/921.12	c |   1198238 |     220    18700   130900 |    88728    85727     64 |  0.002 % |
920.83/921.29	c |   1198416 |     220    18700   130900 |    88728    85905     64 |  0.002 % |
921.03/921.47	c |   1198611 |     220    18700   130900 |    88728    86100     64 |  0.002 % |
921.22/921.68	c |   1198824 |     220    18700   130900 |    88728    86313     64 |  0.002 % |
921.52/921.92	c |   1199057 |     220    18700   130900 |    88728    86546     64 |  0.002 % |
921.72/922.16	c |   1199314 |     220    18700   130900 |    88728    86803     64 |  0.002 % |
922.02/922.45	c |   1199595 |     220    18700   130900 |    88728    87084     64 |  0.002 % |
922.22/922.69	c |   1199905 |     220    18700   130900 |    88728    87394     64 |  0.002 % |
922.62/923.05	c |   1200244 |     220    18700   130900 |    87490    75656     64 |  0.002 % |
922.92/923.35	c |   1200617 |     220    18700   130900 |    87490    76029     64 |  0.002 % |
923.22/923.67	c |   1201028 |     220    18700   130900 |    87490    76440     64 |  0.002 % |
923.53/924.00	c |   1201479 |     220    18700   130900 |    87490    76891     64 |  0.002 % |
924.02/924.40	c |   1201972 |     220    18700   130900 |    87490    77384     64 |  0.002 % |
924.42/924.82	c |   1202514 |     220    18700   130900 |    87490    77926     64 |  0.002 % |
924.92/925.32	c |   1203113 |     220    18700   130900 |    87490    78525     64 |  0.002 % |
925.42/925.89	c |   1203768 |     220    18700   130900 |    87490    79180     64 |  0.002 % |
926.02/926.49	c |   1204489 |     220    18700   130900 |    87490    79901     64 |  0.002 % |
926.72/927.14	c |   1205281 |     220    18700   130900 |    87490    80693     64 |  0.002 % |
927.52/927.95	c |   1206154 |     220    18700   130900 |    87490    81566     64 |  0.002 % |
928.32/928.76	c |   1207112 |     220    18700   130900 |    87490    82524     64 |  0.002 % |
929.22/929.68	c |   1208166 |     220    18700   130900 |    87490    83578     64 |  0.002 % |
930.23/930.66	c |   1209324 |     220    18700   130900 |    87490    84736     64 |  0.002 % |
931.33/931.71	c |   1210598 |     220    18700   130900 |    85412    75015     64 |  0.002 % |
932.22/932.66	c |   1211998 |     220    18700   130900 |    85412    76415     64 |  0.002 % |
933.22/933.69	c |   1213538 |     220    18700   130900 |    85412    77955     64 |  0.002 % |
934.42/934.86	c |   1215232 |     220    18700   130900 |    85412    79649     64 |  0.002 % |
935.82/936.24	c |   1217095 |     220    18700   130900 |    85412    81512     64 |  0.002 % |
937.42/937.88	c |   1219144 |     220    18700   130900 |    85412    83561     64 |  0.002 % |
939.22/939.69	c |   1221397 |     220    18700   130900 |    84421    75910     64 |  0.002 % |
941.12/941.51	c |   1223877 |     220    18700   130900 |    84421    78390     64 |  0.002 % |
943.12/943.58	c |   1226603 |     220    18700   130900 |    84421    81116     64 |  0.002 % |
945.52/945.98	c |   1229600 |     220    18700   130900 |    84421    84113     64 |  0.002 % |
948.12/948.50	c |   1232896 |     220    18700   130900 |    84516    77489     64 |  0.002 % |
951.12/951.57	c |   1236522 |     220    18700   130900 |    84516    81115     64 |  0.002 % |
954.42/954.89	c |   1240510 |     220    18700   130900 |    84594    74330     63 |  0.002 % |
957.72/958.16	c |   1244899 |     220    18700   130900 |    84594    78719     63 |  0.002 % |
961.81/962.29	c |   1249722 |     220    18700   130900 |    84594    83542     63 |  0.002 % |
966.11/966.59	c |   1255027 |     220    18700   130900 |    83820    77764     63 |  0.002 % |
970.81/971.24	c |   1260863 |     220    18700   130900 |    82740    72794     63 |  0.002 % |
975.61/976.02	c |   1267283 |     220    18700   130900 |    82740    79214     64 |  0.002 % |
981.21/981.60	c |   1274342 |     220    18700   130900 |    81932    76459     64 |  0.002 % |
986.91/987.39	c |   1282108 |     220    18700   130900 |    73512    67978     64 |  0.002 % |
993.30/993.75	c |   1290650 |     220    18700   130900 | 2147483647    69159     64 |  0.002 % |
999.90/1000.39	c |   1300044 |     220    18700   130900 | 2147483647    78553     64 |  0.002 % |
1008.20/1008.67	c |   1310378 |     220    18700   130900 |    88509    75636     65 |  0.002 % |
1016.99/1017.45	c |   1321744 |     220    18700   130900 |    85259    74668     65 |  0.002 % |
1017.09/1017.52	c |   1321845 |     220    18700   130900 |    85259    74769     65 |  0.002 % |
1017.19/1017.61	c |   1321956 |     220    18700   130900 |    85259    74880     65 |  0.002 % |
1017.29/1017.71	c |   1322077 |     220    18700   130900 |    85259    75001     65 |  0.002 % |
1017.39/1017.85	c |   1322211 |     220    18700   130900 |    85259    75135     65 |  0.002 % |
1017.49/1017.97	c |   1322359 |     220    18700   130900 |    85259    75283     65 |  0.002 % |
1017.69/1018.11	c |   1322519 |     220    18700   130900 |    85259    75443     65 |  0.002 % |
1017.89/1018.30	c |   1322697 |     220    18700   130900 |    85259    75621     65 |  0.002 % |
1017.99/1018.48	c |   1322890 |     220    18700   130900 |    85259    75814     65 |  0.002 % |
1018.29/1018.71	c |   1323104 |     220    18700   130900 |    85259    76028     65 |  0.002 % |
1018.49/1018.92	c |   1323337 |     220    18700   130900 |    85259    76261     65 |  0.002 % |
1018.69/1019.12	c |   1323594 |     220    18700   130900 |    85259    76518     65 |  0.002 % |
1018.99/1019.40	c |   1323876 |     220    18700   130900 |    85259    76800     65 |  0.002 % |
1019.29/1019.71	c |   1324186 |     220    18700   130900 |    85259    77110     65 |  0.002 % |
1019.59/1020.02	c |   1324527 |     220    18700   130900 |    85259    77451     65 |  0.002 % |
1019.89/1020.36	c |   1324899 |     220    18700   130900 |    85259    77823     65 |  0.002 % |
1020.29/1020.72	c |   1325308 |     220    18700   130900 |    85259    78232     65 |  0.002 % |
1020.69/1021.11	c |   1325757 |     220    18700   130900 |    85259    78681     65 |  0.002 % |
1020.99/1021.48	c |   1326250 |     220    18700   130900 |    85259    79174     65 |  0.002 % |
1021.49/1021.91	c |   1326793 |     220    18700   130900 |    85259    79717     65 |  0.002 % |
1021.99/1022.40	c |   1327389 |     220    18700   130900 |    85259    80313     65 |  0.002 % |
1022.49/1022.96	c |   1328045 |     220    18700   130900 |    85259    80969     65 |  0.002 % |
1023.19/1023.62	c |   1328766 |     220    18700   130900 |    85259    81690     65 |  0.002 % |
1023.79/1024.29	c |   1329558 |     220    18700   130900 |    85259    82482     65 |  0.002 % |
1024.79/1025.23	c |   1330429 |     220    18700   130900 |    82925    71741     65 |  0.002 % |
1025.49/1025.99	c |   1331388 |     220    18700   130900 |    82925    72700     65 |  0.002 % |
1026.29/1026.79	c |   1332442 |     220    18700   130900 |    82925    73754     65 |  0.002 % |
1027.29/1027.73	c |   1333600 |     220    18700   130900 |    82925    74912     65 |  0.002 % |
1028.18/1028.64	c |   1334874 |     220    18700   130900 |    82925    76186     65 |  0.002 % |
1029.38/1029.80	c |   1336274 |     220    18700   130900 |    82925    77586     65 |  0.002 % |
1030.48/1030.92	c |   1337814 |     220    18700   130900 |    82925    79126     65 |  0.002 % |
1031.68/1032.16	c |   1339508 |     220    18700   130900 |    82925    80820     65 |  0.002 % |
1033.28/1033.78	c |   1341371 |     220    18700   130900 |    81312    72923     65 |  0.002 % |
1034.88/1035.35	c |   1343422 |     220    18700   130900 |    81312    74974     65 |  0.002 % |
1036.58/1037.04	c |   1345676 |     220    18700   130900 |    81312    77228     65 |  0.002 % |
1038.38/1038.83	c |   1348154 |     220    18700   130900 |    81312    79706     65 |  0.002 % |
1040.58/1041.05	c |   1350879 |     220    18700   130900 |    72068    64646     65 |  0.002 % |
1042.68/1043.11	c |   1353878 |     220    18700   130900 |    72068    67645     65 |  0.002 % |
1044.98/1045.49	c |   1357175 |     220    18700   130900 |    72068    70942     64 |  0.002 % |
1047.48/1047.93	c |   1360801 |     220    18700   130900 | 2147483647    67352     64 |  0.002 % |
1050.18/1050.67	c |   1364790 |     220    18700   130900 | 2147483647    71341     64 |  0.002 % |
1053.68/1054.11	c |   1369177 |     220    18700   130900 | 2147483647    75728     64 |  0.002 % |
1057.18/1057.67	c |   1374003 |     220    18700   130900 | 2147483647    80554     64 |  0.002 % |
1061.93/1062.74	c |   1379308 |     220    18700   130900 | 2147483647    85859     64 |  0.002 % |
1066.65/1067.51	c |   1385144 |     220    18700   130900 |    86552    80667     64 |  0.002 % |
1071.65/1072.57	c |   1391562 |     220    18700   130900 |    85523    75699     64 |  0.002 % |
1077.64/1078.54	c |   1398624 |     220    18700   130900 |    85523    82761     64 |  0.002 % |
1083.44/1084.36	c |   1406390 |     220    18700   130900 |    84137    78715     64 |  0.002 % |
1089.74/1090.69	c |   1414930 |     220    18700   130900 |    82325    77997     64 |  0.002 % |
1096.53/1097.47	c |   1424324 |     220    18700   130900 |    74357    70994     64 |  0.002 % |
1103.33/1104.27	c |   1434659 |     220    18700   130900 | 2147483647    73884     64 |  0.002 % |
1112.23/1113.16	c |   1446025 |     220    18700   130900 | 2147483647    85250     64 |  0.002 % |
1121.82/1122.75	c |   1458527 |     220    18700   130900 |    89225    86123     65 |  0.002 % |
1121.92/1122.85	c |   1458629 |     220    18700   130900 |    89225    86225     65 |  0.002 % |
1122.02/1122.94	c |   1458739 |     220    18700   130900 |    89225    86335     65 |  0.002 % |
1122.12/1123.06	c |   1458860 |     220    18700   130900 |    89225    86456     65 |  0.002 % |
1122.22/1123.18	c |   1458995 |     220    18700   130900 |    89225    86591     65 |  0.002 % |
1122.42/1123.32	c |   1459142 |     220    18700   130900 |    89225    86738     65 |  0.002 % |
1122.52/1123.46	c |   1459303 |     220    18700   130900 |    89225    86899     65 |  0.002 % |
1122.72/1123.62	c |   1459480 |     220    18700   130900 |    89225    87076     65 |  0.002 % |
1122.92/1123.81	c |   1459673 |     220    18700   130900 |    89225    87269     65 |  0.002 % |
1123.12/1124.01	c |   1459886 |     220    18700   130900 |    89225    87482     65 |  0.002 % |
1123.42/1124.35	c |   1460120 |     220    18700   130900 |    87599    74925     65 |  0.002 % |
1123.62/1124.56	c |   1460376 |     220    18700   130900 |    87599    75181     64 |  0.002 % |
1123.82/1124.78	c |   1460657 |     220    18700   130900 |    87599    75462     64 |  0.002 % |
1124.12/1125.03	c |   1460970 |     220    18700   130900 |    87599    75775     64 |  0.002 % |
1124.32/1125.26	c |   1461311 |     220    18700   130900 |    87599    76116     64 |  0.002 % |
1124.62/1125.58	c |   1461684 |     220    18700   130900 |    87599    76489     64 |  0.002 % |
1125.02/1125.92	c |   1462094 |     220    18700   130900 |    87599    76899     64 |  0.002 % |
1125.42/1126.37	c |   1462544 |     220    18700   130900 |    87599    77349     64 |  0.002 % |
1125.92/1126.88	c |   1463038 |     220    18700   130900 |    87599    77843     64 |  0.002 % |
1126.42/1127.35	c |   1463581 |     220    18700   130900 |    87599    78386     64 |  0.002 % |
1127.02/1127.94	c |   1464178 |     220    18700   130900 |    87599    78983     64 |  0.002 % |
1127.52/1128.45	c |   1464833 |     220    18700   130900 |    87599    79638     64 |  0.002 % |
1128.12/1129.06	c |   1465553 |     220    18700   130900 |    87599    80358     64 |  0.002 % |
1128.82/1129.79	c |   1466346 |     220    18700   130900 |    87599    81151     64 |  0.002 % |
1129.62/1130.53	c |   1467217 |     220    18700   130900 |    87599    82022     64 |  0.002 % |
1130.32/1131.27	c |   1468175 |     220    18700   130900 |    87599    82980     64 |  0.002 % |
1131.22/1132.13	c |   1469228 |     220    18700   130900 |    87599    84033     64 |  0.002 % |
1132.22/1133.16	c |   1470388 |     220    18700   130900 |    84806    73350     64 |  0.002 % |
1133.22/1134.12	c |   1471662 |     220    18700   130900 |    84806    74624     64 |  0.002 % |
1134.22/1135.15	c |   1473063 |     220    18700   130900 |    84806    76025     64 |  0.002 % |
1135.62/1136.51	c |   1474604 |     220    18700   130900 |    84806    77566     64 |  0.002 % |
1136.92/1137.80	c |   1476299 |     220    18700   130900 |    84806    79261     64 |  0.002 % |
1138.31/1139.24	c |   1478163 |     220    18700   130900 |    84806    81125     64 |  0.002 % |
1140.01/1140.96	c |   1480212 |     220    18700   130900 |    82963    72722     64 |  0.002 % |
1141.61/1142.54	c |   1482465 |     220    18700   130900 |    82963    74975     64 |  0.002 % |
1143.41/1144.37	c |   1484943 |     220    18700   130900 |    82963    77453     64 |  0.002 % |
1145.61/1146.56	c |   1487669 |     220    18700   130900 |    82963    80179     64 |  0.002 % |
1148.11/1149.01	c |   1490666 |     220    18700   130900 |    82513    73939     64 |  0.002 % |
1150.51/1151.45	c |   1493963 |     220    18700   130900 |    82513    77236     64 |  0.002 % |
1153.21/1154.11	c |   1497588 |     220    18700   130900 |    82513    80861     64 |  0.002 % |
1156.21/1157.17	c |   1501576 |     220    18700   130900 |    74232    67618     63 |  0.002 % |
1159.11/1160.09	c |   1505963 |     220    18700   130900 |    74232    72005     63 |  0.002 % |
1162.71/1163.66	c |   1510786 |     220    18700   130900 | 2147483647    69397     63 |  0.002 % |
1166.51/1167.41	c |   1516095 |     220    18700   130900 | 2147483647    74706     63 |  0.002 % |
1171.31/1172.22	c |   1521930 |     220    18700   130900 | 2147483647    80541     63 |  0.002 % |
1176.81/1177.74	c |   1528349 |     220    18700   130900 | 2147483647    86960     64 |  0.002 % |
1182.50/1183.43	c |   1535408 |     220    18700   130900 |    88613    81831     63 |  0.002 % |
1189.10/1190.03	c |   1543175 |     220    18700   130900 |    86423    78095     63 |  0.002 % |
1196.30/1197.23	c |   1551715 |     220    18700   130900 |    84920    75533     63 |  0.002 % |
1200.00/1200.91	HOME/SatELiteGTI: line 36: 11261 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-1832555-1242783863/watcher-1832555-1242783863 -o /tmp/evaluation-result-1832555-1242783863/solver-1832555-1242783863 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832555-1242783863.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 11255
/proc/meminfo: memFree=1799456/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306415910 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 240154017874 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11255/statm: 1339 236 196 169 0 50 0

[startup+0.040676 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11255
/proc/meminfo: memFree=1799456/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306415910 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11255/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102686 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11255
/proc/meminfo: memFree=1799456/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.302707 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11255
/proc/meminfo: memFree=1799456/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.702755 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11255
/proc/meminfo: memFree=1799456/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50184 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1794960/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=5388 CPUtime=1.42
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 1119 0 0 0 141 1 0 0 25 0 1 0 306415917 5517312 1105 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 1347 1105 76 171 0 1174 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10744

[startup+3.10201 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1793360/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=7700 CPUtime=3.02
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 1715 0 0 0 301 1 0 0 25 0 1 0 306415917 7884800 1701 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 1925 1701 76 171 0 1752 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13056

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1789392/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=11048 CPUtime=6.21
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 2524 0 0 0 620 1 0 0 25 0 1 0 306415917 11313152 2510 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 2762 2510 76 171 0 2589 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16404

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1784592/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=15488 CPUtime=12.62
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 3618 0 0 0 1259 3 0 0 25 0 1 0 306415917 15859712 3604 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 3872 3604 76 171 0 3699 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 20844

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1778192/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=21556 CPUtime=25.41
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 5136 0 0 0 2537 4 0 0 25 0 1 0 306415917 22073344 5122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 5389 5122 76 171 0 5216 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 26912

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1771728/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=27780 CPUtime=50.99
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 6712 0 0 0 5093 6 0 0 25 0 1 0 306415917 28446720 6698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 6945 6698 76 171 0 6772 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 33136

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1771664/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=27780 CPUtime=102.17
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 6713 0 0 0 10211 6 0 0 25 0 1 0 306415917 28446720 6699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 6945 6699 76 171 0 6772 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 33136

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1771024/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=28312 CPUtime=162.14
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 6843 0 0 0 16208 6 0 0 25 0 1 0 306415917 28991488 6829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7078 6829 76 171 0 6905 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 33668

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1769936/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=29236 CPUtime=222.13
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7095 0 0 0 22205 8 0 0 25 0 1 0 306415917 29937664 7081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7309 7081 76 171 0 7136 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 34592

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1769808/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=29236 CPUtime=282.1
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7095 0 0 0 28202 8 0 0 25 0 1 0 306415917 29937664 7081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7309 7081 76 171 0 7136 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 34592

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1769360/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=29632 CPUtime=342.08
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7182 0 0 0 34200 8 0 0 25 0 1 0 306415917 30343168 7168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7408 7168 76 171 0 7235 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 34988

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1768912/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=30032 CPUtime=402.05
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7273 0 0 0 40197 8 0 0 25 0 1 0 306415917 30752768 7259 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7508 7259 76 171 0 7335 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 35388

[startup+462.302 s]

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

[pid=11261] ppid=11255 vsize=30560 CPUtime=522.01
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7399 0 0 0 52192 9 0 0 25 0 1 0 306415917 31293440 7385 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7640 7385 76 171 0 7467 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 35916

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1768080/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=30560 CPUtime=581.99
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7399 0 0 0 58190 9 0 0 25 0 1 0 306415917 31293440 7385 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7640 7385 76 171 0 7467 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 35916

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1767952/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=30560 CPUtime=641.98
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7399 0 0 0 64189 9 0 0 25 0 1 0 306415917 31293440 7385 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7640 7385 76 171 0 7467 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 35916

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1767248/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=31224 CPUtime=701.95
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7562 0 0 0 70186 9 0 0 25 0 1 0 306415917 31973376 7548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7806 7548 76 171 0 7633 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 36580

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1767120/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=31224 CPUtime=761.93
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7562 0 0 0 76184 9 0 0 25 0 1 0 306415917 31973376 7548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7806 7548 76 171 0 7633 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 36580

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1766992/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=31224 CPUtime=821.91
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7562 0 0 0 82182 9 0 0 25 0 1 0 306415917 31973376 7548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7806 7548 76 171 0 7633 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 36580

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1766928/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=31224 CPUtime=881.89
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7567 0 0 0 88180 9 0 0 25 0 1 0 306415917 31973376 7553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 7806 7553 76 171 0 7633 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 36580

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11261
/proc/meminfo: memFree=1766032/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=32056 CPUtime=941.87
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7767 0 0 0 94178 9 0 0 25 0 1 0 306415917 32825344 7753 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 8014 7753 76 171 0 7841 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 37412

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11267
/proc/meminfo: memFree=1765704/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=32056 CPUtime=1001.84
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7767 0 0 0 100175 9 0 0 25 0 1 0 306415917 32825344 7753 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 8014 7753 76 171 0 7841 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 37412

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 11594
/proc/meminfo: memFree=1758168/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=32196 CPUtime=1061.5
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7815 0 0 0 106139 11 0 0 25 0 1 0 306415917 32968704 7801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 8049 7801 76 171 0 7876 0
Current children cumulated CPU time (s) 1061.55
Current children cumulated vsize (KiB) 37552

[startup+1122.3 s]
/proc/loadavg: 1.06 1.03 1.01 2/67 11743
/proc/meminfo: memFree=1723464/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=32344 CPUtime=1121.37
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7832 0 0 0 112125 12 0 0 25 0 1 0 306415917 33120256 7818 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 8086 7818 76 171 0 7913 0
Current children cumulated CPU time (s) 1121.42
Current children cumulated vsize (KiB) 37700

[startup+1182.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/67 11743
/proc/meminfo: memFree=1723336/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=32344 CPUtime=1181.35
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7859 0 0 0 118123 12 0 0 25 0 1 0 306415917 33120256 7845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 8086 7845 76 171 0 7913 0
Current children cumulated CPU time (s) 1181.4
Current children cumulated vsize (KiB) 37700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.9 s]
/proc/loadavg: 1.02 1.02 1.00 2/67 11743
/proc/meminfo: memFree=1723336/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=32344 CPUtime=1199.95
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7859 0 0 0 119983 12 0 0 25 0 1 0 306415917 33120256 7845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 8086 7845 76 171 0 7913 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 37700

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.02 1.02 1.00 2/67 11743
/proc/meminfo: memFree=1723336/2055920 swapFree=4120968/4192956
[pid=11255] ppid=11253 vsize=5356 CPUtime=0.05
/proc/11255/stat : 11255 (SatELiteGTI) S 11253 11255 11146 0 -1 4194304 336 784 0 0 0 0 5 0 16 0 1 0 306415910 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11255/statm: 1339 239 197 169 0 50 0
[pid=11261] ppid=11255 vsize=32344 CPUtime=1199.95
/proc/11261/stat : 11261 (minisat_static) R 11255 11255 11146 0 -1 4194304 7859 0 0 0 119983 12 0 0 25 0 1 0 306415917 33120256 7845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11261/statm: 8086 7845 76 171 0 7913 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 37700

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.91
CPU time (s): 1200.03
CPU user time (s): 1199.89
CPU system time (s): 0.140978
CPU usage (%): 99.9269
Max. virtual memory (cumulated for all children) (KiB): 37700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.89
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8988
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= 23
involuntary context switches= 5790

runsolver used 1.14783 second user time and 3.34649 second system time

The end

Launcher Data

Begin job on node86 at 2009-05-20 03:44:23
IDJOB=1832555
IDBENCH=70241
IDSOLVER=671
FILE ID=node86/1832555-1242783863
PBS_JOBID= 9322361
Free space on /tmp= 66360 MiB

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

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

MD5SUM BENCH= 517a75d68208490415f54c6427b40d77
RANDOM SEED=1422934245

node86.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.213
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.213
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:       1800008 kB
Buffers:         27068 kB
Cached:         129716 kB
SwapCached:      66188 kB
Active:          79096 kB
Inactive:       146040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800008 kB
SwapTotal:     4192956 kB
SwapFree:      4120968 kB
Dirty:            2124 kB
Writeback:           0 kB
Mapped:          13948 kB
Slab:            16668 kB
Committed_AS:  1057492 kB
PageTables:       1464 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= 66356 MiB
End job on node86 at 2009-05-20 04:04:26