Trace number 1832195

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.07 1200.71

General information on the benchmark

Namecrafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
MD5SUMb113aab739ba5e45a581d24e1a53a65a
Bench CategoryCRAFTED (crafted 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 variables1148
Number of clauses14303
Sum of the clauses size43196
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 314016
Number of clauses of size 4287
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   14303    43196 |    4290       0        0     nan |  0.000 % |
0.00/0.16	c |         0 |   14016    46854 |      --       0       --      -- |     --   | -287/3658
0.00/0.16	c ==============================================================================
0.00/0.16	c Result  :   #vars: 861   #clauses: 14016   #literals: 46854
0.00/0.16	c CPU time:   0.157975 s
0.00/0.16	c ==============================================================================
0.00/0.18	c This is MiniSat 2.0 beta
0.00/0.18	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18	c ============================[ Problem Statistics ]=============================
0.00/0.18	c |                                                                             |
0.00/0.18	c |  Number of variables:  861                                                  |
0.00/0.18	c |  Number of clauses:    14016                                                |
0.00/0.19	c |  Parsing time:         0.01         s                                       |
0.00/0.19	c ============================[ Search Statistics ]==============================
0.00/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.19	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.19	c ===============================================================================
0.00/0.19	c |         0 |     861    14016    46854 |     4672        0    nan |  0.000 % |
0.00/0.19	c |       101 |     861    14016    46854 |     4672      101     15 |  0.000 % |
0.17/0.20	c |       201 |     861    14016    46854 |     4672      201     24 |  0.000 % |
0.17/0.22	c |       301 |     861    14016    46854 |     4672      301     27 |  0.000 % |
0.17/0.23	c |       411 |     861    14016    46854 |     4672      411     30 |  0.000 % |
0.17/0.24	c |       513 |     861    14016    46854 |     4672      513     29 |  0.000 % |
0.17/0.25	c |       624 |     861    14016    46854 |     4672      624     29 |  0.000 % |
0.17/0.26	c |       745 |     861    14016    46854 |     4672      745     29 |  0.000 % |
0.17/0.27	c |       845 |     861    14016    46854 |     4672      845     30 |  0.000 % |
0.17/0.28	c |       957 |     861    14016    46854 |     4672      957     30 |  0.000 % |
0.17/0.29	c |      1078 |     861    14016    46854 |     4672     1078     28 |  0.000 % |
0.17/0.30	c |      1211 |     861    14016    46854 |     4672     1211     29 |  0.000 % |
0.17/0.31	c |      1311 |     861    14016    46854 |     4672     1311     30 |  0.000 % |
0.17/0.32	c |      1421 |     861    14016    46854 |     4672     1421     30 |  0.000 % |
0.17/0.34	c |      1542 |     861    14016    46854 |     4672     1542     30 |  0.000 % |
0.17/0.35	c |      1676 |     861    14016    46854 |     4672     1676     29 |  0.000 % |
0.17/0.36	c |      1822 |     861    14016    46854 |     4672     1822     30 |  0.000 % |
0.17/0.38	c |      1924 |     861    14016    46854 |     4672     1924     30 |  0.000 % |
0.17/0.39	c |      2035 |     861    14016    46854 |     4672     2035     30 |  0.000 % |
0.17/0.41	c |      2156 |     861    14016    46854 |     4672     2156     31 |  0.000 % |
0.17/0.43	c |      2289 |     861    14016    46854 |     4672     2289     31 |  0.000 % |
0.17/0.45	c |      2435 |     861    14016    46854 |     4672     2435     30 |  0.000 % |
0.17/0.47	c |      2596 |     861    14016    46854 |     4672     2596     31 |  0.000 % |
0.17/0.48	c |      2696 |     861    14016    46854 |     4672     2696     30 |  0.000 % |
0.17/0.49	c |      2807 |     861    14016    46854 |     4672     2807     30 |  0.000 % |
0.17/0.50	c |      2931 |     861    14016    46854 |     4672     2931     30 |  0.000 % |
0.17/0.51	c |      3064 |     861    14016    46854 |     4672     3064     30 |  0.000 % |
0.17/0.54	c |      3212 |     861    14016    46854 |     4672     3212     31 |  0.000 % |
0.17/0.55	c |      3373 |     861    14016    46854 |     4672     3373     31 |  0.000 % |
0.17/0.57	c |      3549 |     861    14016    46854 |     4672     3549     30 |  0.000 % |
0.17/0.59	c |      3649 |     861    14016    46854 |     4672     3649     30 |  0.000 % |
0.17/0.60	c |      3759 |     861    14016    46854 |     4672     3759     30 |  0.000 % |
0.17/0.62	c |      3880 |     861    14016    46854 |     4672     3880     30 |  0.000 % |
0.17/0.64	c |      4013 |     861    14016    46854 |     4672     4013     30 |  0.000 % |
0.17/0.66	c |      4161 |     861    14016    46854 |     4672     4161     31 |  0.000 % |
0.17/0.69	c |      4321 |     861    14016    46854 |     4672     4321     30 |  0.000 % |
0.17/0.71	c |      4497 |     861    14016    46854 |     4672     4497     31 |  0.000 % |
0.17/0.73	c |      4691 |     861    14016    46854 |     4672     4691     31 |  0.000 % |
0.17/0.74	c |      4792 |     861    14016    46854 |     4672     4323     30 |  0.000 % |
0.17/0.75	c |      4902 |     861    14016    46854 |     4672     4433     30 |  0.000 % |
0.17/0.76	c |      5023 |     861    14016    46854 |     4672     4554     30 |  0.000 % |
0.17/0.78	c |      5156 |     861    14016    46854 |     4672     4687     30 |  0.000 % |
0.17/0.80	c |      5302 |     861    14016    46854 |     4672     4365     30 |  0.000 % |
0.17/0.81	c |      5462 |     861    14016    46854 |     4672     4525     29 |  0.000 % |
0.17/0.84	c |      5639 |     861    14016    46854 |     4672     4702     29 |  0.000 % |
0.17/0.87	c |      5834 |     861    14016    46854 |     4672     4427     29 |  0.000 % |
0.17/0.91	c |      6046 |     861    14016    46854 |     4672     4639     30 |  0.000 % |
0.17/0.92	c |      6146 |     861    14016    46854 |     4672     4739     29 |  0.000 % |
0.17/0.93	c |      6257 |     861    14016    46854 |     4672     4377     29 |  0.000 % |
0.17/0.95	c |      6379 |     861    14016    46854 |     4672     4499     29 |  0.000 % |
0.17/0.97	c |      6513 |     861    14016    46854 |     4672     4633     29 |  0.000 % |
0.17/0.99	c |      6660 |     861    14016    46854 |     4672     4780     29 |  0.000 % |
0.99/1.00	c |      6821 |     861    14016    46854 |     4672     4463     29 |  0.000 % |
0.99/1.03	c |      6999 |     861    14016    46854 |     4672     4641     29 |  0.000 % |
0.99/1.06	c |      7192 |     861    14016    46854 |     4672     4359     28 |  0.000 % |
0.99/1.09	c |      7405 |     861    14016    46854 |     4672     4572     28 |  0.000 % |
1.09/1.12	c |      7641 |     861    14016    46854 |     4672     4333     28 |  0.000 % |
1.09/1.13	c |      7741 |     861    14016    46854 |     4672     4433     28 |  0.000 % |
1.09/1.15	c |      7852 |     861    14016    46854 |     4672     4544     28 |  0.000 % |
1.09/1.17	c |      7974 |     861    14016    46854 |     4672     4666     28 |  0.000 % |
1.09/1.19	c |      8108 |     861    14016    46854 |     4672     4800     28 |  0.000 % |
1.18/1.20	c |      8254 |     861    14016    46854 |     4672     4466     28 |  0.000 % |
1.18/1.22	c |      8414 |     861    14016    46854 |     4672     4626     28 |  0.000 % |
1.18/1.25	c |      8590 |     861    14016    46854 |     4672     4326     28 |  0.000 % |
1.18/1.26	c |      8783 |     861    14016    46854 |     4672     4519     27 |  0.000 % |
1.28/1.30	c |      8996 |     861    14016    46854 |     4672     4732     28 |  0.000 % |
1.28/1.32	c |      9229 |     861    14016    46854 |     4672     4492     27 |  0.000 % |
1.28/1.35	c |      9487 |     861    14016    46854 |     4672     4750     27 |  0.000 % |
1.28/1.37	c |      9587 |     861    14016    46854 |     4672     4375     26 |  0.000 % |
1.28/1.38	c |      9697 |     861    14016    46854 |     4672     4485     27 |  0.000 % |
1.38/1.40	c |      9819 |     861    14016    46854 |     4672     4607     27 |  0.000 % |
1.38/1.42	c |      9953 |     861    14016    46854 |     4672     4741     27 |  0.000 % |
1.38/1.44	c |     10101 |     861    14016    46854 | 2147483647     4415     26 |  0.000 % |
1.38/1.46	c |     10262 |     861    14016    46854 | 2147483647     4576     26 |  0.000 % |
1.38/1.48	c |     10438 |     861    14016    46854 | 2147483647     4752     26 |  0.000 % |
1.48/1.51	c |     10631 |     861    14016    46854 | 2147483647     4945     26 |  0.000 % |
1.48/1.55	c |     10844 |     861    14016    46854 | 2147483647     5158     26 |  0.000 % |
1.48/1.58	c |     11078 |     861    14016    46854 | 2147483647     5392     26 |  0.000 % |
1.58/1.62	c |     11334 |     861    14016    46854 | 2147483647     5648     26 |  0.000 % |
1.58/1.65	c |     11615 |     861    14016    46854 | 2147483647     5929     26 |  0.000 % |
1.58/1.66	c |     11715 |     861    14016    46854 | 2147483647     6029     26 |  0.000 % |
1.58/1.67	c |     11825 |     861    14016    46854 | 2147483647     6139     26 |  0.000 % |
1.58/1.69	c |     11947 |     861    14016    46854 | 2147483647     6261     26 |  0.000 % |
1.68/1.70	c |     12080 |     861    14016    46854 | 2147483647     6394     26 |  0.000 % |
1.68/1.72	c |     12228 |     861    14016    46854 | 2147483647     6542     26 |  0.000 % |
1.68/1.74	c |     12388 |     861    14016    46854 | 2147483647     6702     27 |  0.000 % |
1.68/1.76	c |     12566 |     861    14016    46854 | 2147483647     6880     27 |  0.000 % |
1.68/1.79	c |     12759 |     861    14016    46854 | 2147483647     7073     27 |  0.000 % |
1.78/1.82	c |     12972 |     861    14016    46854 | 2147483647     7286     27 |  0.000 % |
1.78/1.85	c |     13206 |     861    14016    46854 | 2147483647     7520     27 |  0.000 % |
1.78/1.88	c |     13463 |     861    14016    46854 | 2147483647     7777     27 |  0.000 % |
1.88/1.92	c |     13745 |     861    14016    46854 | 2147483647     8059     27 |  0.000 % |
1.88/1.97	c |     14055 |     861    14016    46854 | 2147483647     8369     28 |  0.000 % |
1.88/1.99	c |     14155 |     861    14016    46854 | 2147483647     8469     28 |  0.000 % |
1.98/2.00	c |     14268 |     861    14016    46854 | 2147483647     8582     28 |  0.000 % |
1.98/2.02	c |     14389 |     861    14016    46854 | 2147483647     8703     28 |  0.000 % |
1.98/2.03	c |     14522 |     861    14016    46854 | 2147483647     8836     28 |  0.000 % |
1.98/2.06	c |     14669 |     861    14016    46854 | 2147483647     8983     28 |  0.000 % |
1.98/2.08	c |     14829 |     861    14016    46854 | 2147483647     9143     28 |  0.000 % |
2.08/2.11	c |     15006 |     861    14016    46854 | 2147483647     9320     28 |  0.000 % |
2.08/2.14	c |     15199 |     861    14016    46854 | 2147483647     9513     28 |  0.000 % |
2.08/2.17	c |     15411 |     861    14016    46854 | 2147483647     9725     28 |  0.000 % |
2.18/2.20	c |     15644 |     861    14016    46854 | 2147483647     9958     28 |  0.000 % |
2.18/2.25	c |     15900 |     861    14016    46854 | 2147483647    10214     29 |  0.000 % |
2.28/2.30	c |     16183 |     861    14016    46854 | 2147483647    10497     29 |  0.000 % |
2.28/2.35	c |     16492 |     861    14016    46854 | 2147483647    10806     29 |  0.000 % |
2.38/2.40	c |     16832 |     861    14016    46854 | 2147483647    11146     29 |  0.000 % |
2.38/2.42	c |     16932 |     861    14016    46854 | 2147483647    11246     29 |  0.000 % |
2.38/2.43	c |     17042 |     861    14016    46854 | 2147483647    11356     29 |  0.000 % |
2.38/2.45	c |     17163 |     861    14016    46854 | 2147483647    11477     29 |  0.000 % |
2.38/2.47	c |     17296 |     861    14016    46854 | 2147483647    11610     29 |  0.000 % |
2.48/2.50	c |     17444 |     861    14016    46854 | 2147483647    11758     29 |  0.000 % |
2.48/2.52	c |     17605 |     861    14016    46854 | 2147483647    11919     29 |  0.000 % |
2.48/2.54	c |     17781 |     861    14016    46854 | 2147483647    12095     29 |  0.000 % |
2.48/2.58	c |     17974 |     861    14016    46854 | 2147483647    12288     29 |  0.000 % |
2.58/2.62	c |     18187 |     861    14016    46854 | 2147483647    12501     29 |  0.000 % |
2.58/2.66	c |     18420 |     861    14016    46854 | 2147483647    12734     29 |  0.000 % |
2.68/2.70	c |     18678 |     861    14016    46854 | 2147483647    12992     30 |  0.000 % |
2.68/2.77	c |     18961 |     861    14016    46854 | 2147483647    13275     30 |  0.000 % |
2.78/2.83	c |     19270 |     861    14016    46854 | 2147483647    13584     30 |  0.000 % |
2.78/2.89	c |     19610 |     861    14016    46854 | 2147483647    13924     30 |  0.000 % |
2.88/2.95	c |     19986 |     861    14016    46854 | 2147483647    14300     30 |  0.000 % |
2.88/2.97	c |     20086 |     861    14016    46854 | 2147483647    14400     30 |  0.000 % |
2.88/2.99	c |     20197 |     861    14016    46854 | 2147483647    14511     30 |  0.000 % |
2.98/3.01	c |     20319 |     861    14016    46854 | 2147483647    14633     30 |  0.000 % |
2.98/3.04	c |     20453 |     861    14016    46854 | 2147483647    14767     30 |  0.000 % |
2.98/3.07	c |     20599 |     861    14016    46854 | 2147483647    14913     30 |  0.000 % |
2.98/3.09	c |     20760 |     861    14016    46854 | 2147483647    15074     30 |  0.000 % |
3.08/3.12	c |     20937 |     861    14016    46854 | 2147483647    15251     30 |  0.000 % |
3.08/3.16	c |     21131 |     861    14016    46854 | 2147483647    15445     30 |  0.000 % |
3.18/3.22	c |     21346 |     861    14016    46854 | 2147483647    15660     30 |  0.000 % |
3.18/3.28	c |     21579 |     861    14016    46854 | 2147483647    15893     30 |  0.000 % |
3.28/3.34	c |     21835 |     861    14016    46854 | 2147483647    16149     31 |  0.000 % |
3.28/3.38	c |     22116 |     861    14016    46854 | 2147483647    16430     30 |  0.000 % |
3.38/3.43	c |     22426 |     861    14016    46854 | 2147483647    16740     31 |  0.000 % |
3.38/3.48	c |     22766 |     861    14016    46854 | 2147483647    17080     31 |  0.000 % |
3.48/3.55	c |     23138 |     861    14016    46854 | 2147483647    17452     31 |  0.000 % |
3.58/3.64	c |     23547 |     861    14016    46854 | 2147483647    17861     31 |  0.000 % |
3.58/3.66	c |     23647 |     861    14016    46854 | 2147483647    17961     31 |  0.000 % |
3.58/3.68	c |     23757 |     861    14016    46854 | 2147483647    18071     31 |  0.000 % |
3.68/3.72	c |     23878 |     861    14016    46854 | 2147483647    18192     31 |  0.000 % |
3.68/3.74	c |     24012 |     861    14016    46854 | 2147483647    18326     31 |  0.000 % |
3.68/3.77	c |     24159 |     861    14016    46854 | 2147483647    18473     31 |  0.000 % |
3.78/3.81	c |     24320 |     861    14016    46854 | 2147483647    18634     31 |  0.000 % |
3.78/3.84	c |     24496 |     861    14016    46854 | 2147483647    18810     31 |  0.000 % |
3.78/3.89	c |     24689 |     861    14016    46854 | 2147483647    19003     31 |  0.000 % |
3.88/3.95	c |     24902 |     861    14016    46854 | 2147483647    19216     31 |  0.000 % |
3.97/4.01	c |     25136 |     861    14016    46854 | 2147483647    19450     31 |  0.000 % |
3.97/4.08	c |     25392 |     861    14016    46854 | 2147483647    19706     31 |  0.000 % |
4.07/4.16	c |     25674 |     861    14016    46854 | 2147483647    19988     31 |  0.000 % |
4.17/4.24	c |     25984 |     861    14016    46854 | 2147483647    20298     31 |  0.000 % |
4.17/4.29	c |     26323 |     861    14016    46854 | 2147483647    20637     31 |  0.000 % |
4.28/4.37	c |     26696 |     861    14016    46854 | 2147483647    21010     31 |  0.000 % |
4.38/4.48	c |     27106 |     861    14016    46854 | 2147483647    21420     31 |  0.000 % |
4.47/4.59	c |     27555 |     861    14016    46854 | 2147483647    21869     31 |  0.000 % |
4.57/4.62	c |     27656 |     861    14016    46854 | 2147483647    21970     31 |  0.000 % |
4.57/4.65	c |     27767 |     861    14016    46854 | 2147483647    22081     31 |  0.000 % |
4.57/4.68	c |     27888 |     861    14016    46854 | 2147483647    22202     31 |  0.000 % |
4.67/4.71	c |     28021 |     861    14016    46854 | 2147483647    22335     31 |  0.000 % |
4.67/4.74	c |     28167 |     861    14016    46854 | 2147483647    22481     31 |  0.000 % |
4.67/4.79	c |     28328 |     861    14016    46854 | 2147483647    22642     31 |  0.000 % |
4.77/4.84	c |     28505 |     861    14016    46854 | 2147483647    22819     31 |  0.000 % |
4.77/4.89	c |     28698 |     861    14016    46854 | 2147483647    23012     31 |  0.000 % |
4.87/4.96	c |     28910 |     861    14016    46854 | 2147483647    23224     31 |  0.000 % |
4.97/5.05	c |     29143 |     861    14016    46854 | 2147483647    23457     31 |  0.000 % |
5.07/5.12	c |     29399 |     861    14016    46854 | 2147483647    23713     31 |  0.000 % |
5.07/5.19	c |     29680 |     861    14016    46854 | 2147483647    23994     31 |  0.000 % |
5.17/5.29	c |     29990 |     861    14016    46854 | 2147483647    24304     32 |  0.000 % |
5.27/5.37	c |     30329 |     861    14016    46854 | 2147483647    24643     31 |  0.000 % |
5.37/5.49	c |     30702 |     861    14016    46854 | 2147483647    25016     32 |  0.000 % |
5.47/5.59	c |     31113 |     861    14016    46854 | 2147483647    25427     32 |  0.000 % |
5.66/5.72	c |     31563 |     861    14016    46854 | 2147483647    25877     31 |  0.000 % |
5.86/5.90	c |     32057 |     861    14016    46854 | 2147483647    26371     31 |  0.000 % |
5.86/5.93	c |     32157 |     861    14016    46854 | 2147483647    26471     31 |  0.000 % |
5.86/5.97	c |     32270 |     861    14016    46854 | 2147483647    26584     31 |  0.000 % |
5.86/6.00	c |     32392 |     861    14016    46854 | 2147483647    26706     31 |  0.000 % |
5.96/6.04	c |     32525 |     861    14016    46854 | 2147483647    26839     31 |  0.000 % |
5.96/6.06	c |     32671 |     861    14016    46854 | 2147483647    26985     31 |  0.000 % |
6.06/6.11	c |     32832 |     861    14016    46854 | 2147483647    27146     31 |  0.000 % |
6.06/6.16	c |     33008 |     861    14016    46854 | 2147483647    27322     31 |  0.000 % |
6.16/6.21	c |     33201 |     861    14016    46854 | 2147483647    27515     32 |  0.000 % |
6.16/6.28	c |     33413 |     861    14016    46854 | 2147483647    27727     32 |  0.000 % |
6.26/6.36	c |     33647 |     861    14016    46854 | 2147483647    27961     32 |  0.000 % |
6.36/6.47	c |     33903 |     861    14016    46854 | 2147483647    28217     32 |  0.000 % |
6.46/6.55	c |     34185 |     861    14016    46854 | 2147483647    28499     32 |  0.000 % |
6.56/6.66	c |     34496 |     861    14016    46854 | 2147483647    28810     32 |  0.000 % |
6.66/6.79	c |     34836 |     861    14016    46854 | 2147483647    29150     32 |  0.000 % |
6.85/6.90	c |     35210 |     861    14016    46854 | 2147483647    29524     32 |  0.000 % |
6.95/7.06	c |     35620 |     861    14016    46854 | 2147483647    29934     32 |  0.000 % |
7.16/7.21	c |     36070 |     861    14016    46854 | 2147483647    30384     32 |  0.000 % |
7.36/7.41	c |     36563 |     861    14016    46854 | 2147483647    30877     32 |  0.000 % |
7.46/7.59	c |     37106 |     861    14016    46854 | 2147483647    31420     32 |  0.000 % |
7.57/7.62	c |     37207 |     861    14016    46854 | 2147483647    31521     32 |  0.000 % |
7.57/7.66	c |     37317 |     861    14016    46854 | 2147483647    31631     32 |  0.000 % |
7.67/7.72	c |     37439 |     861    14016    46854 | 2147483647    31753     32 |  0.000 % |
7.67/7.79	c |     37573 |     861    14016    46854 | 2147483647    31887     32 |  0.000 % |
7.76/7.83	c |     37719 |     861    14016    46854 | 2147483647    32033     32 |  0.000 % |
7.76/7.89	c |     37879 |     861    14016    46854 | 2147483647    32193     32 |  0.000 % |
7.86/7.97	c |     38055 |     861    14016    46854 | 2147483647    32369     32 |  0.000 % |
7.96/8.04	c |     38248 |     861    14016    46854 | 2147483647    32562     32 |  0.000 % |
8.06/8.12	c |     38460 |     861    14016    46854 | 2147483647    32774     32 |  0.000 % |
8.16/8.20	c |     38694 |     861    14016    46854 | 2147483647    33008     32 |  0.000 % |
8.16/8.29	c |     38952 |     861    14016    46854 | 2147483647    33266     32 |  0.000 % |
8.26/8.39	c |     39234 |     861    14016    46854 | 2147483647    33548     32 |  0.000 % |
8.36/8.49	c |     39545 |     861    14016    46854 | 2147483647    33859     32 |  0.000 % |
8.56/8.61	c |     39884 |     861    14016    46854 | 2147483647    34198     32 |  0.000 % |
8.67/8.73	c |     40258 |     861    14016    46854 | 2147483647    34572     32 |  0.000 % |
8.86/8.90	c |     40671 |     861    14016    46854 | 2147483647    34985     32 |  0.000 % |
8.96/9.08	c |     41123 |     861    14016    46854 | 2147483647    35437     32 |  0.000 % |
9.16/9.28	c |     41618 |     861    14016    46854 | 2147483647    35932     32 |  0.000 % |
9.46/9.51	c |     42161 |     861    14016    46854 | 2147483647    36475     32 |  0.000 % |
9.66/9.77	c |     42758 |     861    14016    46854 | 2147483647    37072     32 |  0.000 % |
9.77/9.83	c |     42858 |     861    14016    46854 | 2147483647    37172     32 |  0.000 % |
9.77/9.87	c |     42968 |     861    14016    46854 | 2147483647    37282     32 |  0.000 % |
9.87/9.92	c |     43089 |     861    14016    46854 | 2147483647    37403     32 |  0.000 % |
9.87/9.98	c |     43223 |     861    14016    46854 | 2147483647    37537     32 |  0.000 % |
9.96/10.04	c |     43369 |     861    14016    46854 | 2147483647    37683     32 |  0.000 % |
10.06/10.13	c |     43532 |     861    14016    46854 | 2147483647    37846     32 |  0.000 % |
10.16/10.20	c |     43708 |     861    14016    46854 | 2147483647    38022     32 |  0.000 % |
10.26/10.34	c |     43901 |     861    14016    46854 | 2147483647    38215     32 |  0.000 % |
10.36/10.43	c |     44115 |     861    14016    46854 | 2147483647    38429     32 |  0.000 % |
10.46/10.51	c |     44348 |     861    14016    46854 | 2147483647    38662     32 |  0.000 % |
10.46/10.58	c |     44605 |     861    14016    46854 | 2147483647    38919     32 |  0.000 % |
10.66/10.72	c |     44887 |     861    14016    46854 | 2147483647    39201     32 |  0.000 % |
10.76/10.88	c |     45197 |     861    14016    46854 | 2147483647    39511     32 |  0.000 % |
10.86/10.99	c |     45537 |     861    14016    46854 | 2147483647    39851     32 |  0.000 % |
11.16/11.22	c |     45910 |     861    14016    46854 | 2147483647    40224     32 |  0.000 % |
11.36/11.47	c |     46319 |     861    14016    46854 | 2147483647    40633     32 |  0.000 % |
11.56/11.67	c |     46770 |     861    14016    46854 | 2147483647    41084     32 |  0.000 % |
11.76/11.89	c |     47264 |     861    14016    46854 | 2147483647    41578     32 |  0.000 % |
12.06/12.10	c |     47806 |     861    14016    46854 | 2147483647    42120     32 |  0.000 % |
12.26/12.32	c |     48403 |     861    14016    46854 | 2147483647    42717     32 |  0.000 % |
12.56/12.65	c |     49059 |     861    14016    46854 | 2147483647    43373     32 |  0.000 % |
12.56/12.70	c |     49161 |     861    14016    46854 | 2147483647    43475     32 |  0.000 % |
12.65/12.76	c |     49272 |     861    14016    46854 | 2147483647    43586     32 |  0.000 % |
12.75/12.83	c |     49393 |     861    14016    46854 | 2147483647    43707     32 |  0.000 % |
12.85/12.91	c |     49527 |     861    14016    46854 | 2147483647    43841     32 |  0.000 % |
12.85/13.00	c |     49673 |     861    14016    46854 | 2147483647    43987     32 |  0.000 % |
12.95/13.09	c |     49833 |     861    14016    46854 | 2147483647    44147     32 |  0.000 % |
13.06/13.18	c |     50011 |     861    14016    46854 | 2147483647    44325     32 |  0.000 % |
13.16/13.29	c |     50206 |     861    14016    46854 | 2147483647    44520     32 |  0.000 % |
13.25/13.39	c |     50419 |     861    14016    46854 | 2147483647    44733     32 |  0.000 % |
13.45/13.53	c |     50652 |     861    14016    46854 | 2147483647    44966     32 |  0.000 % |
13.55/13.64	c |     50909 |     861    14016    46854 | 2147483647    45223     32 |  0.000 % |
13.65/13.75	c |     51191 |     861    14016    46854 | 2147483647    45505     32 |  0.000 % |
13.85/13.90	c |     51501 |     861    14016    46854 | 2147483647    45815     32 |  0.000 % |
13.95/14.04	c |     51842 |     861    14016    46854 | 2147483647    46156     32 |  0.000 % |
14.16/14.22	c |     52214 |     861    14016    46854 | 2147483647    46528     32 |  0.000 % |
14.35/14.44	c |     52623 |     861    14016    46854 | 2147483647    46937     32 |  0.000 % |
14.55/14.61	c |     53072 |     861    14016    46854 | 2147483647    47386     32 |  0.000 % |
14.86/14.99	c |     53565 |     861    14016    46854 | 2147483647    47879     32 |  0.000 % |
15.16/15.29	c |     54108 |     861    14016    46854 | 2147483647    48422     32 |  0.000 % |
15.46/15.60	c |     54704 |     861    14016    46854 | 2147483647    49018     32 |  0.000 % |
15.86/15.90	c |     55360 |     861    14016    46854 | 2147483647    49674     33 |  0.000 % |
16.06/16.14	c |     56081 |     861    14016    46854 | 2147483647    50395     33 |  0.000 % |
16.06/16.19	c |     56181 |     861    14016    46854 | 2147483647    50495     33 |  0.000 % |
16.16/16.23	c |     56294 |     861    14016    46854 | 2147483647    50608     33 |  0.000 % |
16.16/16.28	c |     56418 |     861    14016    46854 | 2147483647    50732     32 |  0.000 % |
16.26/16.36	c |     56551 |     861    14016    46854 | 2147483647    50865     32 |  0.000 % |
16.26/16.40	c |     56697 |     861    14016    46854 | 2147483647    51011     32 |  0.000 % |
16.36/16.45	c |     56858 |     861    14016    46854 | 2147483647    51172     32 |  0.000 % |
16.46/16.57	c |     57035 |     861    14016    46854 | 2147483647    51349     32 |  0.000 % |
16.66/16.72	c |     57228 |     861    14016    46854 | 2147483647    51542     32 |  0.000 % |
16.76/16.89	c |     57445 |     861    14016    46854 | 2147483647    51759     32 |  0.000 % |
16.96/17.00	c |     57679 |     861    14016    46854 | 2147483647    51993     32 |  0.000 % |
17.06/17.14	c |     57937 |     861    14016    46854 | 2147483647    52251     32 |  0.000 % |
17.16/17.27	c |     58218 |     861    14016    46854 | 2147483647    52532     32 |  0.000 % |
17.36/17.42	c |     58527 |     861    14016    46854 | 2147483647    52841     32 |  0.000 % |
17.46/17.57	c |     58868 |     861    14016    46854 | 2147483647    53182     32 |  0.000 % |
17.76/17.82	c |     59240 |     861    14016    46854 | 2147483647    53554     33 |  0.000 % |
17.96/18.10	c |     59650 |     861    14016    46854 | 2147483647    53964     33 |  0.000 % |
18.25/18.36	c |     60100 |     861    14016    46854 | 2147483647    54414     33 |  0.000 % |
18.56/18.61	c |     60593 |     861    14016    46854 | 2147483647    54907     33 |  0.000 % |
18.85/18.93	c |     61138 |     861    14016    46854 | 2147483647    55452     33 |  0.000 % |
19.25/19.32	c |     61735 |     861    14016    46854 | 2147483647    56049     33 |  0.000 % |
19.66/19.74	c |     62391 |     861    14016    46854 | 2147483647    56705     33 |  0.000 % |
20.05/20.18	c |     63111 |     861    14016    46854 | 2147483647    57425     33 |  0.000 % |
20.55/20.67	c |     63904 |     861    14016    46854 | 2147483647    58218     33 |  0.000 % |
20.65/20.76	c |     64006 |     861    14016    46854 | 2147483647    58320     33 |  0.000 % |
20.75/20.84	c |     64118 |     861    14016    46854 | 2147483647    58432     33 |  0.000 % |
20.85/20.93	c |     64239 |     861    14016    46854 | 2147483647    58553     33 |  0.000 % |
20.95/21.01	c |     64372 |     861    14016    46854 | 2147483647    58686     33 |  0.000 % |
20.95/21.09	c |     64518 |     861    14016    46854 | 2147483647    58832     33 |  0.000 % |
21.15/21.24	c |     64678 |     861    14016    46854 | 2147483647    58992     33 |  0.000 % |
21.25/21.35	c |     64855 |     861    14016    46854 | 2147483647    59169     33 |  0.000 % |
21.35/21.43	c |     65048 |     861    14016    46854 | 2147483647    59362     33 |  0.000 % |
21.45/21.58	c |     65261 |     861    14016    46854 | 2147483647    59575     33 |  0.000 % |
21.65/21.76	c |     65494 |     861    14016    46854 | 2147483647    59808     33 |  0.000 % |
21.85/21.91	c |     65750 |     861    14016    46854 | 2147483647    60064     33 |  0.000 % |
22.05/22.12	c |     66033 |     861    14016    46854 | 2147483647    60347     33 |  0.000 % |
22.25/22.36	c |     66342 |     861    14016    46854 | 2147483647    60656     33 |  0.000 % |
22.45/22.57	c |     66681 |     861    14016    46854 | 2147483647    60995     33 |  0.000 % |
22.74/22.81	c |     67053 |     861    14016    46854 | 2147483647    61367     33 |  0.000 % |
22.95/23.04	c |     67462 |     861    14016    46854 | 2147483647    61776     33 |  0.000 % |
23.24/23.37	c |     67913 |     861    14016    46854 | 2147483647    62227     33 |  0.000 % |
23.64/23.75	c |     68406 |     861    14016    46854 | 2147483647    62720     33 |  0.000 % |
24.05/24.17	c |     68948 |     861    14016    46854 | 2147483647    63262     33 |  0.000 % |
24.55/24.62	c |     69544 |     861    14016    46854 | 2147483647    63858     33 |  0.000 % |
24.95/25.00	c |     70199 |     861    14016    46854 | 2147483647    64513     33 |  0.000 % |
25.35/25.42	c |     70919 |     861    14016    46854 | 2147483647    65233     33 |  0.000 % |
25.95/26.07	c |     71711 |     861    14016    46854 | 2147483647    66025     33 |  0.000 % |
26.65/26.77	c |     72583 |     861    14016    46854 | 2147483647    66897     33 |  0.000 % |
26.75/26.88	c |     72683 |     861    14016    46854 | 2147483647    66997     33 |  0.000 % |
26.85/26.95	c |     72793 |     861    14016    46854 | 2147483647    67107     33 |  0.000 % |
26.95/27.05	c |     72915 |     861    14016    46854 | 2147483647    67229     33 |  0.000 % |
27.05/27.11	c |     73048 |     861    14016    46854 | 2147483647    67362     33 |  0.000 % |
27.15/27.20	c |     73194 |     861    14016    46854 | 2147483647    67508     33 |  0.000 % |
27.15/27.27	c |     73355 |     861    14016    46854 | 2147483647    67669     33 |  0.000 % |
27.25/27.39	c |     73532 |     861    14016    46854 | 2147483647    67846     33 |  0.000 % |
27.45/27.51	c |     73727 |     861    14016    46854 | 2147483647    68041     33 |  0.000 % |
27.55/27.65	c |     73939 |     861    14016    46854 | 2147483647    68253     33 |  0.000 % |
27.65/27.78	c |     74173 |     861    14016    46854 | 2147483647    68487     33 |  0.000 % |
27.85/27.98	c |     74430 |     861    14016    46854 | 2147483647    68744     33 |  0.000 % |
27.95/28.09	c |     74713 |     861    14016    46854 | 2147483647    69027     33 |  0.000 % |
28.15/28.24	c |     75024 |     861    14016    46854 | 2147483647    69338     33 |  0.000 % |
28.35/28.40	c |     75364 |     861    14016    46854 | 2147483647    69678     33 |  0.000 % |
28.45/28.55	c |     75739 |     861    14016    46854 | 2147483647    70053     33 |  0.000 % |
28.84/28.99	c |     76149 |     861    14016    46854 | 2147483647    70463     33 |  0.000 % |
29.14/29.23	c |     76598 |     861    14016    46854 | 2147483647    70912     33 |  0.000 % |
29.65/29.70	c |     77092 |     861    14016    46854 | 2147483647    71406     33 |  0.000 % |
29.84/29.98	c |     77635 |     861    14016    46854 | 2147483647    71949     33 |  0.000 % |
30.14/30.25	c |     78232 |     861    14016    46854 | 2147483647    72546     33 |  0.000 % |
30.54/30.67	c |     78887 |     861    14016    46854 | 2147483647    73201     33 |  0.000 % |
31.04/31.11	c |     79607 |     861    14016    46854 | 2147483647    73921     33 |  0.000 % |
31.54/31.68	c |     80399 |     861    14016    46854 |    74314    65967     32 |  0.000 % |
32.34/32.43	c |     81272 |     861    14016    46854 |    74314    66840     32 |  0.000 % |
33.14/33.24	c |     82230 |     861    14016    46854 |    74314    67798     33 |  0.000 % |
33.24/33.32	c |     82330 |     861    14016    46854 |    74314    67898     33 |  0.000 % |
33.24/33.39	c |     82442 |     861    14016    46854 |    74314    68010     33 |  0.000 % |
33.34/33.47	c |     82563 |     861    14016    46854 |    74314    68131     33 |  0.000 % |
33.44/33.56	c |     82697 |     861    14016    46854 |    74314    68265     33 |  0.000 % |
33.54/33.65	c |     82844 |     861    14016    46854 |    74314    68412     33 |  0.000 % |
33.64/33.78	c |     83004 |     861    14016    46854 |    74314    68572     33 |  0.000 % |
33.84/33.97	c |     83181 |     861    14016    46854 |    74314    68749     33 |  0.000 % |
33.94/34.08	c |     83374 |     861    14016    46854 |    74314    68942     33 |  0.000 % |
34.14/34.24	c |     83586 |     861    14016    46854 |    74314    69154     33 |  0.000 % |
34.44/34.55	c |     83819 |     861    14016    46854 |    74314    69387     33 |  0.000 % |
34.64/34.78	c |     84076 |     861    14016    46854 |    74314    69644     33 |  0.000 % |
34.84/34.96	c |     84357 |     861    14016    46854 |    74314    69925     33 |  0.000 % |
35.04/35.18	c |     84667 |     861    14016    46854 |    74314    70235     33 |  0.000 % |
35.34/35.49	c |     85006 |     861    14016    46854 |    74314    70574     33 |  0.000 % |
35.64/35.77	c |     85378 |     861    14016    46854 |    74314    70946     33 |  0.000 % |
35.94/36.09	c |     85790 |     861    14016    46854 |    74314    71358     33 |  0.000 % |
36.44/36.57	c |     86239 |     861    14016    46854 |    74314    71807     33 |  0.000 % |
36.84/36.99	c |     86734 |     861    14016    46854 |    74314    72302     33 |  0.000 % |
37.64/37.72	c |     87276 |     861    14016    46854 |    74314    72844     33 |  0.000 % |
38.24/38.33	c |     87872 |     861    14016    46854 |    74314    73440     33 |  0.000 % |
38.84/38.96	c |     88530 |     861    14016    46854 |    74314    74098     33 |  0.000 % |
39.34/39.49	c |     89251 |     861    14016    46854 |    74314    62763     32 |  0.000 % |
39.94/40.09	c |     90045 |     861    14016    46854 |    63513    63557     32 |  0.000 % |
40.44/40.53	c |     90916 |     861    14016    46854 |    63513    54400     31 |  0.000 % |
41.14/41.27	c |     91874 |     861    14016    46854 |    63513    55358     31 |  0.000 % |
41.75/41.89	c |     92928 |     861    14016    46854 |    63513    56412     31 |  0.000 % |
41.84/41.96	c |     93028 |     861    14016    46854 |    63513    56512     31 |  0.000 % |
41.94/42.04	c |     93138 |     861    14016    46854 |    63513    56622     31 |  0.000 % |
42.04/42.13	c |     93261 |     861    14016    46854 |    63513    56745     31 |  0.000 % |
42.14/42.22	c |     93394 |     861    14016    46854 |    63513    56878     31 |  0.000 % |
42.24/42.32	c |     93540 |     861    14016    46854 |    63513    57024     31 |  0.000 % |
42.34/42.41	c |     93700 |     861    14016    46854 |    63513    57184     31 |  0.000 % |
42.44/42.52	c |     93876 |     861    14016    46854 |    63513    57360     31 |  0.000 % |
42.54/42.65	c |     94069 |     861    14016    46854 |    63513    57553     31 |  0.000 % |
42.74/42.89	c |     94281 |     861    14016    46854 |    63513    57765     31 |  0.000 % |
42.94/43.07	c |     94516 |     861    14016    46854 |    63513    58000     31 |  0.000 % |
43.14/43.27	c |     94773 |     861    14016    46854 |    63513    58257     31 |  0.000 % |
43.34/43.49	c |     95058 |     861    14016    46854 |    63513    58542     31 |  0.000 % |
43.64/43.71	c |     95368 |     861    14016    46854 |    63513    58852     31 |  0.000 % |
43.85/43.93	c |     95708 |     861    14016    46854 |    63513    59192     31 |  0.000 % |
44.14/44.22	c |     96080 |     861    14016    46854 |    63513    59564     31 |  0.000 % |
44.44/44.53	c |     96490 |     861    14016    46854 |    63513    59974     31 |  0.000 % |
44.74/44.85	c |     96941 |     861    14016    46854 |    63513    60425     31 |  0.000 % |
45.24/45.30	c |     97434 |     861    14016    46854 |    63513    60918     31 |  0.000 % |
45.54/45.60	c |     97976 |     861    14016    46854 |    63513    61460     31 |  0.000 % |
45.94/46.02	c |     98572 |     861    14016    46854 |    63513    62056     32 |  0.000 % |
46.44/46.50	c |     99227 |     861    14016    46854 |    63513    62711     32 |  0.000 % |
47.04/47.10	c |     99949 |     861    14016    46854 |    63513    63433     32 |  0.000 % |
47.64/47.78	c |    100741 |     861    14016    46854 |    63485    56595     31 |  0.000 % |
48.34/48.44	c |    101613 |     861    14016    46854 |    63485    57467     31 |  0.000 % |
48.94/49.09	c |    102573 |     861    14016    46854 |    63485    58427     31 |  0.000 % |
49.64/49.76	c |    103627 |     861    14016    46854 |    63485    59481     31 |  0.000 % |
50.54/50.60	c |    104786 |     861    14016    46854 |    63485    60640     31 |  0.000 % |
50.54/50.65	c |    104892 |     861    14016    46854 |    63485    60746     31 |  0.000 % |
50.63/50.74	c |    105004 |     861    14016    46854 |    63485    60858     31 |  0.000 % |
50.73/50.82	c |    105125 |     861    14016    46854 |    63485    60979     31 |  0.000 % |
50.83/50.92	c |    105259 |     861    14016    46854 |    63485    61113     31 |  0.000 % |
50.93/51.04	c |    105405 |     861    14016    46854 |    63485    61259     31 |  0.000 % |
51.03/51.16	c |    105565 |     861    14016    46854 |    63485    61419     31 |  0.000 % |
51.23/51.30	c |    105741 |     861    14016    46854 |    63485    61595     31 |  0.000 % |
51.33/51.48	c |    105934 |     861    14016    46854 |    63485    61788     31 |  0.000 % |
51.53/51.69	c |    106146 |     861    14016    46854 |    63485    62000     31 |  0.000 % |
51.73/51.86	c |    106379 |     861    14016    46854 |    63485    62233     31 |  0.000 % |
51.93/52.05	c |    106636 |     861    14016    46854 |    63485    62490     31 |  0.000 % |
52.13/52.25	c |    106918 |     861    14016    46854 |    63485    62772     31 |  0.000 % |
52.33/52.43	c |    107228 |     861    14016    46854 |    63485    63082     31 |  0.000 % |
52.53/52.67	c |    107567 |     861    14016    46854 |    63485    63421     31 |  0.000 % |
52.93/53.03	c |    107939 |     861    14016    46854 |    63485    57252     31 |  0.000 % |
53.23/53.34	c |    108348 |     861    14016    46854 |    63485    57661     31 |  0.000 % |
53.63/53.70	c |    108798 |     861    14016    46854 |    63485    58111     31 |  0.000 % |
54.03/54.15	c |    109291 |     861    14016    46854 |    63485    58604     31 |  0.000 % |
54.43/54.53	c |    109834 |     861    14016    46854 |    63485    59147     31 |  0.000 % |
54.83/54.95	c |    110431 |     861    14016    46854 |    59313    53589     30 |  0.000 % |
55.23/55.34	c |    111086 |     861    14016    46854 |    59313    54244     30 |  0.000 % |
55.63/55.77	c |    111806 |     861    14016    46854 |    59313    54964     31 |  0.000 % |
56.13/56.24	c |    112599 |     861    14016    46854 |    59313    55757     31 |  0.000 % |
56.83/56.93	c |    113471 |     861    14016    46854 |    59313    56629     31 |  0.000 % |
57.73/57.81	c |    114431 |     861    14016    46854 |    59313    57589     31 |  0.000 % |
58.33/58.49	c |    115488 |     861    14016    46854 |    59313    58646     31 |  0.000 % |
59.13/59.23	c |    116648 |     861    14016    46854 |    59313    53867     31 |  0.000 % |
60.03/60.13	c |    117921 |     861    14016    46854 |    59313    55140     31 |  0.000 % |
60.13/60.21	c |    118022 |     861    14016    46854 |    59313    55241     31 |  0.000 % |
60.13/60.30	c |    118132 |     861    14016    46854 |    59313    55351     31 |  0.000 % |
60.33/60.40	c |    118254 |     861    14016    46854 |    59313    55473     31 |  0.000 % |
60.43/60.52	c |    118387 |     861    14016    46854 |    59313    55606     31 |  0.000 % |
60.53/60.66	c |    118533 |     861    14016    46854 |    59313    55752     31 |  0.000 % |
60.63/60.78	c |    118694 |     861    14016    46854 |    59313    55913     31 |  0.000 % |
60.73/60.85	c |    118870 |     861    14016    46854 |    59313    56089     31 |  0.000 % |
60.83/60.98	c |    119063 |     861    14016    46854 |    59313    56282     31 |  0.000 % |
61.03/61.14	c |    119275 |     861    14016    46854 |    59313    56494     31 |  0.000 % |
61.13/61.29	c |    119510 |     861    14016    46854 |    59313    56729     31 |  0.000 % |
61.33/61.49	c |    119767 |     861    14016    46854 |    59313    56986     31 |  0.000 % |
61.53/61.64	c |    120048 |     861    14016    46854 | 2147483647    57267     31 |  0.000 % |
61.73/61.82	c |    120359 |     861    14016    46854 | 2147483647    57578     31 |  0.000 % |
61.93/62.06	c |    120699 |     861    14016    46854 | 2147483647    57918     31 |  0.000 % |
62.13/62.28	c |    121071 |     861    14016    46854 | 2147483647    58290     31 |  0.000 % |
62.42/62.59	c |    121481 |     861    14016    46854 | 2147483647    58700     31 |  0.000 % |
62.72/62.86	c |    121931 |     861    14016    46854 | 2147483647    59150     31 |  0.000 % |
63.02/63.16	c |    122424 |     861    14016    46854 | 2147483647    59643     31 |  0.000 % |
63.42/63.52	c |    122966 |     861    14016    46854 | 2147483647    60185     31 |  0.000 % |
63.82/64.00	c |    123562 |     861    14016    46854 | 2147483647    60781     31 |  0.000 % |
64.32/64.42	c |    124218 |     861    14016    46854 | 2147483647    61437     31 |  0.000 % |
64.73/64.83	c |    124938 |     861    14016    46854 | 2147483647    62157     31 |  0.000 % |
65.22/65.31	c |    125730 |     861    14016    46854 | 2147483647    62949     31 |  0.000 % |
65.83/65.92	c |    126604 |     861    14016    46854 | 2147483647    63823     31 |  0.000 % |
66.52/66.63	c |    127563 |     861    14016    46854 | 2147483647    64782     31 |  0.000 % |
67.22/67.33	c |    128617 |     861    14016    46854 | 2147483647    65836     31 |  0.000 % |
68.13/68.20	c |    129775 |     861    14016    46854 | 2147483647    66994     31 |  0.000 % |
69.13/69.22	c |    131048 |     861    14016    46854 |    67219    61019     31 |  0.000 % |
70.02/70.19	c |    132448 |     861    14016    46854 |    67219    62419     31 |  0.000 % |
70.12/70.26	c |    132549 |     861    14016    46854 |    67219    62520     31 |  0.000 % |
70.23/70.34	c |    132659 |     861    14016    46854 |    67219    62630     31 |  0.000 % |
70.33/70.44	c |    132783 |     861    14016    46854 |    67219    62754     31 |  0.000 % |
70.42/70.54	c |    132916 |     861    14016    46854 |    67219    62887     31 |  0.000 % |
70.52/70.65	c |    133064 |     861    14016    46854 |    67219    63035     31 |  0.000 % |
70.62/70.75	c |    133225 |     861    14016    46854 |    67219    63196     31 |  0.000 % |
70.72/70.88	c |    133402 |     861    14016    46854 |    67219    63373     31 |  0.000 % |
70.92/71.01	c |    133595 |     861    14016    46854 |    67219    63566     31 |  0.000 % |
71.02/71.19	c |    133808 |     861    14016    46854 |    67219    63779     31 |  0.000 % |
71.22/71.34	c |    134042 |     861    14016    46854 |    67219    64013     31 |  0.000 % |
71.42/71.55	c |    134298 |     861    14016    46854 |    67219    64269     31 |  0.000 % |
71.72/71.84	c |    134579 |     861    14016    46854 |    67219    64550     31 |  0.000 % |
72.02/72.10	c |    134888 |     861    14016    46854 |    67219    64859     31 |  0.000 % |
72.32/72.41	c |    135228 |     861    14016    46854 |    67219    65199     31 |  0.000 % |
72.52/72.65	c |    135600 |     861    14016    46854 |    67219    65571     31 |  0.000 % |
73.02/73.11	c |    136009 |     861    14016    46854 |    67219    65980     32 |  0.000 % |
73.42/73.56	c |    136460 |     861    14016    46854 |    67219    66431     32 |  0.000 % |
73.82/73.96	c |    136954 |     861    14016    46854 |    67219    66925     32 |  0.000 % |
74.32/74.48	c |    137496 |     861    14016    46854 |    67219    57979     31 |  0.000 % |
74.82/74.91	c |    138092 |     861    14016    46854 |    67219    58575     31 |  0.000 % |
75.32/75.42	c |    138747 |     861    14016    46854 |    67219    59230     31 |  0.000 % |
76.02/76.13	c |    139468 |     861    14016    46854 |    67219    59951     31 |  0.000 % |
76.72/76.83	c |    140260 |     861    14016    46854 |    60484    51833     31 |  0.000 % |
77.12/77.28	c |    141131 |     861    14016    46854 |    60484    52704     31 |  0.000 % |
77.72/77.80	c |    142089 |     861    14016    46854 |    60484    53662     31 |  0.000 % |
78.52/78.64	c |    143144 |     861    14016    46854 |    60484    54717     31 |  0.000 % |
79.31/79.41	c |    144302 |     861    14016    46854 |    60484    55875     31 |  0.000 % |
80.22/80.38	c |    145576 |     861    14016    46854 |    60484    57149     31 |  0.000 % |
81.01/81.11	c |    146976 |     861    14016    46854 |    60484    58549     31 |  0.000 % |
82.21/82.36	c |    148516 |     861    14016    46854 |    60484    60089     31 |  0.000 % |
82.32/82.43	c |    148617 |     861    14016    46854 |    60484    60190     31 |  0.000 % |
82.42/82.51	c |    148729 |     861    14016    46854 |    60484    60302     31 |  0.000 % |
82.51/82.61	c |    148850 |     861    14016    46854 |    60484    60423     31 |  0.000 % |
82.61/82.78	c |    148983 |     861    14016    46854 |    60484    52584     30 |  0.000 % |
82.71/82.90	c |    149131 |     861    14016    46854 |    60484    52732     30 |  0.000 % |
82.91/83.05	c |    149291 |     861    14016    46854 |    60484    52892     30 |  0.000 % |
83.01/83.18	c |    149467 |     861    14016    46854 |    60484    53068     30 |  0.000 % |
83.21/83.32	c |    149660 |     861    14016    46854 |    60484    53261     30 |  0.000 % |
83.31/83.50	c |    149873 |     861    14016    46854 |    60484    53474     30 |  0.000 % |
83.52/83.62	c |    150108 |     861    14016    46854 |    53601    53709     30 |  0.000 % |
83.71/83.85	c |    150365 |     861    14016    46854 |    53601    47238     29 |  0.000 % |
83.81/83.96	c |    150649 |     861    14016    46854 |    53601    47522     29 |  0.000 % |
83.91/84.07	c |    150958 |     861    14016    46854 |    53601    47831     29 |  0.000 % |
84.11/84.26	c |    151298 |     861    14016    46854 |    53601    48171     29 |  0.000 % |
84.31/84.47	c |    151670 |     861    14016    46854 |    53601    48543     29 |  0.000 % |
84.52/84.69	c |    152080 |     861    14016    46854 |    53601    48953     30 |  0.000 % |
84.71/84.87	c |    152529 |     861    14016    46854 |    53601    49402     29 |  0.000 % |
85.01/85.19	c |    153022 |     861    14016    46854 |    53601    49895     29 |  0.000 % |
85.31/85.48	c |    153564 |     861    14016    46854 |    53601    50437     29 |  0.000 % |
85.62/85.80	c |    154160 |     861    14016    46854 |    53601    51033     30 |  0.000 % |
86.11/86.26	c |    154816 |     861    14016    46854 |    53601    51689     30 |  0.000 % |
86.71/86.82	c |    155537 |     861    14016    46854 |    53601    52410     30 |  0.000 % |
87.21/87.32	c |    156329 |     861    14016    46854 |    53601    53202     30 |  0.000 % |
87.71/87.88	c |    157200 |     861    14016    46854 |    53601    48702     29 |  0.000 % |
88.21/88.39	c |    158158 |     861    14016    46854 |    53601    49660     29 |  0.000 % |
88.81/88.94	c |    159213 |     861    14016    46854 |    53601    50715     29 |  0.000 % |
89.51/89.61	c |    160373 |     861    14016    46854 | 2147483647    51875     29 |  0.000 % |
90.31/90.42	c |    161646 |     861    14016    46854 | 2147483647    53148     29 |  0.000 % |
91.21/91.37	c |    163048 |     861    14016    46854 | 2147483647    54550     30 |  0.000 % |
92.71/92.81	c |    164589 |     861    14016    46854 | 2147483647    56091     30 |  0.000 % |
93.81/93.96	c |    166284 |     861    14016    46854 | 2147483647    57786     30 |  0.000 % |
93.91/94.05	c |    166384 |     861    14016    46854 | 2147483647    57886     30 |  0.000 % |
94.01/94.13	c |    166495 |     861    14016    46854 | 2147483647    57997     30 |  0.000 % |
94.11/94.21	c |    166617 |     861    14016    46854 | 2147483647    58119     30 |  0.000 % |
94.21/94.30	c |    166750 |     861    14016    46854 | 2147483647    58252     30 |  0.000 % |
94.31/94.46	c |    166896 |     861    14016    46854 | 2147483647    58398     30 |  0.000 % |
94.41/94.57	c |    167056 |     861    14016    46854 | 2147483647    58558     30 |  0.000 % |
94.61/94.77	c |    167233 |     861    14016    46854 | 2147483647    58735     30 |  0.000 % |
94.81/94.93	c |    167428 |     861    14016    46854 | 2147483647    58930     30 |  0.000 % |
95.01/95.11	c |    167640 |     861    14016    46854 | 2147483647    59142     30 |  0.000 % |
95.11/95.24	c |    167873 |     861    14016    46854 | 2147483647    59375     30 |  0.000 % |
95.21/95.37	c |    168130 |     861    14016    46854 | 2147483647    59632     30 |  0.000 % |
95.50/95.66	c |    168413 |     861    14016    46854 | 2147483647    59915     30 |  0.000 % |
95.80/95.93	c |    168724 |     861    14016    46854 | 2147483647    60226     30 |  0.000 % |
96.10/96.20	c |    169065 |     861    14016    46854 | 2147483647    60567     30 |  0.000 % |
96.40/96.51	c |    169437 |     861    14016    46854 | 2147483647    60939     30 |  0.000 % |
96.70/96.87	c |    169846 |     861    14016    46854 | 2147483647    61348     30 |  0.000 % |
97.10/97.22	c |    170295 |     861    14016    46854 |    61502    55325     30 |  0.000 % |
97.40/97.60	c |    170789 |     861    14016    46854 |    61502    55819     30 |  0.000 % |
97.80/97.95	c |    171334 |     861    14016    46854 |    61502    56364     30 |  0.000 % |
98.20/98.31	c |    171931 |     861    14016    46854 |    61502    56961     30 |  0.000 % |
98.50/98.68	c |    172587 |     861    14016    46854 |    61502    57617     30 |  0.000 % |
99.30/99.43	c |    173308 |     861    14016    46854 |    61502    58338     30 |  0.000 % |
99.80/99.99	c |    174100 |     861    14016    46854 |    61502    59130     30 |  0.000 % |
100.50/100.62	c |    174972 |     861    14016    46854 |    61502    60002     31 |  0.000 % |
101.40/101.53	c |    175930 |     861    14016    46854 |    61502    60960     31 |  0.000 % |
102.40/102.53	c |    176985 |     861    14016    46854 |    61502    54877     30 |  0.000 % |
103.40/103.60	c |    178143 |     861    14016    46854 |    61502    56035     31 |  0.000 % |
104.50/104.61	c |    179416 |     861    14016    46854 |    61502    57308     31 |  0.000 % |
105.40/105.60	c |    180816 |     861    14016    46854 |    57892    51691     30 |  0.000 % |
106.79/106.95	c |    182357 |     861    14016    46854 |    57892    53232     30 |  0.000 % |
108.19/108.36	c |    184051 |     861    14016    46854 |    57892    54926     30 |  0.000 % |
109.90/110.00	c |    185916 |     861    14016    46854 |    57892    56791     31 |  0.000 % |
109.90/110.08	c |    186016 |     861    14016    46854 |    57892    56891     31 |  0.000 % |
109.99/110.19	c |    186128 |     861    14016    46854 |    57892    57003     31 |  0.000 % |
110.19/110.30	c |    186252 |     861    14016    46854 |    57892    57127     31 |  0.000 % |
110.29/110.40	c |    186385 |     861    14016    46854 |    57892    57260     31 |  0.000 % |
110.29/110.48	c |    186531 |     861    14016    46854 |    57892    57406     31 |  0.000 % |
110.49/110.61	c |    186692 |     861    14016    46854 |    57892    57567     31 |  0.000 % |
110.59/110.70	c |    186871 |     861    14016    46854 |    57892    57746     31 |  0.000 % |
110.69/110.86	c |    187064 |     861    14016    46854 |    57892    57939     31 |  0.000 % |
110.89/111.06	c |    187276 |     861    14016    46854 |    57892    51547     30 |  0.000 % |
111.09/111.21	c |    187509 |     861    14016    46854 |    57892    51780     30 |  0.000 % |
111.29/111.41	c |    187766 |     861    14016    46854 |    57892    52037     30 |  0.000 % |
111.39/111.54	c |    188049 |     861    14016    46854 |    57892    52320     30 |  0.000 % |
111.69/111.82	c |    188359 |     861    14016    46854 |    57892    52630     31 |  0.000 % |
111.89/112.05	c |    188701 |     861    14016    46854 |    57892    52972     31 |  0.000 % |
112.19/112.34	c |    189073 |     861    14016    46854 |    57892    53344     31 |  0.000 % |
112.39/112.59	c |    189482 |     861    14016    46854 |    57892    53753     31 |  0.000 % |
112.69/112.84	c |    189931 |     861    14016    46854 |    57892    54202     31 |  0.000 % |
112.99/113.20	c |    190424 |     861    14016    46854 |    54271    48809     30 |  0.000 % |
113.39/113.51	c |    190967 |     861    14016    46854 |    54271    49352     31 |  0.000 % |
113.69/113.80	c |    191563 |     861    14016    46854 |    54271    49948     30 |  0.000 % |
113.99/114.17	c |    192219 |     861    14016    46854 |    54271    50604     31 |  0.000 % |
114.39/114.52	c |    192940 |     861    14016    46854 |    54271    51325     31 |  0.000 % |
114.79/114.96	c |    193732 |     861    14016    46854 |    54271    52117     31 |  0.000 % |
115.39/115.59	c |    194603 |     861    14016    46854 |    54271    52988     31 |  0.000 % |
116.09/116.27	c |    195561 |     861    14016    46854 |    54271    53946     31 |  0.000 % |
116.89/117.05	c |    196614 |     861    14016    46854 |    54271    49556     31 |  0.000 % |
117.59/117.79	c |    197773 |     861    14016    46854 |    54271    50715     31 |  0.000 % |
118.49/118.62	c |    199046 |     861    14016    46854 |    54271    51988     31 |  0.000 % |
119.49/119.60	c |    200446 |     861    14016    46854 | 2147483647    53388     31 |  0.000 % |
120.69/120.88	c |    201988 |     861    14016    46854 | 2147483647    54930     31 |  0.000 % |
121.69/121.88	c |    203682 |     861    14016    46854 | 2147483647    56624     31 |  0.000 % |
122.99/123.18	c |    205545 |     861    14016    46854 | 2147483647    58487     31 |  0.000 % |
124.29/124.46	c |    207594 |     861    14016    46854 | 2147483647    60536     31 |  0.000 % |
124.39/124.53	c |    207694 |     861    14016    46854 | 2147483647    60636     31 |  0.000 % |
124.49/124.60	c |    207806 |     861    14016    46854 | 2147483647    60748     31 |  0.000 % |
124.49/124.65	c |    207927 |     861    14016    46854 | 2147483647    60869     31 |  0.000 % |
124.58/124.71	c |    208060 |     861    14016    46854 | 2147483647    61002     31 |  0.000 % |
124.68/124.80	c |    208207 |     861    14016    46854 | 2147483647    61149     31 |  0.000 % |
124.78/124.90	c |    208367 |     861    14016    46854 | 2147483647    61309     31 |  0.000 % |
124.88/125.03	c |    208545 |     861    14016    46854 | 2147483647    61487     31 |  0.000 % |
124.98/125.18	c |    208738 |     861    14016    46854 | 2147483647    61680     31 |  0.000 % |
125.19/125.32	c |    208950 |     861    14016    46854 | 2147483647    61892     31 |  0.000 % |
125.38/125.52	c |    209183 |     861    14016    46854 | 2147483647    62125     31 |  0.000 % |
125.58/125.70	c |    209440 |     861    14016    46854 | 2147483647    62382     31 |  0.000 % |
125.78/125.92	c |    209722 |     861    14016    46854 | 2147483647    62664     31 |  0.000 % |
125.88/126.06	c |    210031 |     861    14016    46854 | 2147483647    62973     31 |  0.000 % |
126.29/126.40	c |    210370 |     861    14016    46854 | 2147483647    63312     31 |  0.000 % |
126.58/126.71	c |    210743 |     861    14016    46854 | 2147483647    63685     31 |  0.000 % |
126.88/127.06	c |    211154 |     861    14016    46854 | 2147483647    64096     31 |  0.000 % |
127.39/127.50	c |    211603 |     861    14016    46854 | 2147483647    64545     31 |  0.000 % |
127.78/127.96	c |    212098 |     861    14016    46854 | 2147483647    65040     31 |  0.000 % |
128.18/128.30	c |    212640 |     861    14016    46854 | 2147483647    65582     31 |  0.000 % |
128.68/128.85	c |    213236 |     861    14016    46854 | 2147483647    66178     31 |  0.000 % |
129.59/129.76	c |    213891 |     861    14016    46854 | 2147483647    66833     31 |  0.000 % |
130.28/130.44	c |    214612 |     861    14016    46854 | 2147483647    67554     31 |  0.000 % |
130.98/131.19	c |    215404 |     861    14016    46854 | 2147483647    68346     31 |  0.000 % |
131.48/131.69	c |    216275 |     861    14016    46854 | 2147483647    69217     31 |  0.000 % |
132.18/132.36	c |    217235 |     861    14016    46854 | 2147483647    70177     32 |  0.000 % |
132.98/133.11	c |    218288 |     861    14016    46854 | 2147483647    71230     32 |  0.000 % |
133.88/134.02	c |    219447 |     861    14016    46854 | 2147483647    72389     32 |  0.000 % |
135.08/135.21	c |    220722 |     861    14016    46854 |    72943    62949     31 |  0.000 % |
136.08/136.26	c |    222122 |     861    14016    46854 |    72943    64349     31 |  0.000 % |
137.38/137.51	c |    223665 |     861    14016    46854 |    72943    65892     31 |  0.000 % |
138.67/138.86	c |    225359 |     861    14016    46854 |    72943    67586     32 |  0.000 % |
140.27/140.44	c |    227224 |     861    14016    46854 |    72943    69451     32 |  0.000 % |
141.77/141.94	c |    229274 |     861    14016    46854 |    72943    71501     32 |  0.000 % |
143.46/143.69	c |    231528 |     861    14016    46854 |    72227    62428     30 |  0.000 % |
143.56/143.76	c |    231630 |     861    14016    46854 |    72227    62530     30 |  0.000 % |
143.66/143.84	c |    231740 |     861    14016    46854 |    72227    62640     30 |  0.000 % |
143.76/143.92	c |    231861 |     861    14016    46854 |    72227    62761     30 |  0.000 % |
143.87/144.00	c |    231996 |     861    14016    46854 |    72227    62896     30 |  0.000 % |
143.97/144.13	c |    232142 |     861    14016    46854 |    72227    63042     30 |  0.000 % |
144.06/144.27	c |    232302 |     861    14016    46854 |    72227    63202     30 |  0.000 % |
144.26/144.40	c |    232480 |     861    14016    46854 |    72227    63380     30 |  0.000 % |
144.46/144.62	c |    232674 |     861    14016    46854 |    72227    63574     30 |  0.000 % |
144.56/144.78	c |    232886 |     861    14016    46854 |    72227    63786     30 |  0.000 % |
144.76/144.96	c |    233121 |     861    14016    46854 |    72227    64021     30 |  0.000 % |
144.96/145.10	c |    233377 |     861    14016    46854 |    72227    64277     30 |  0.000 % |
145.16/145.32	c |    233658 |     861    14016    46854 |    72227    64558     30 |  0.000 % |
145.36/145.57	c |    233967 |     861    14016    46854 |    72227    64867     30 |  0.000 % |
145.66/145.88	c |    234307 |     861    14016    46854 |    72227    65207     31 |  0.000 % |
146.06/146.20	c |    234679 |     861    14016    46854 |    72227    65579     31 |  0.000 % |
146.26/146.50	c |    235088 |     861    14016    46854 |    72227    65988     31 |  0.000 % |
146.76/146.90	c |    235537 |     861    14016    46854 |    72227    66437     31 |  0.000 % |
147.16/147.35	c |    236030 |     861    14016    46854 |    72227    66930     31 |  0.000 % |
147.66/147.84	c |    236573 |     861    14016    46854 |    72227    67473     31 |  0.000 % |
148.16/148.37	c |    237170 |     861    14016    46854 |    72227    68070     31 |  0.000 % |
148.66/148.89	c |    237827 |     861    14016    46854 |    72227    68727     31 |  0.000 % |
149.26/149.46	c |    238547 |     861    14016    46854 |    72227    69447     31 |  0.000 % |
149.96/150.16	c |    239340 |     861    14016    46854 |    72227    70240     31 |  0.000 % |
150.86/151.06	c |    240212 |     861    14016    46854 |    70901    58835     30 |  0.000 % |
151.46/151.69	c |    241171 |     861    14016    46854 |    70901    59794     30 |  0.000 % |
152.36/152.51	c |    242224 |     861    14016    46854 |    70901    60847     30 |  0.000 % |
153.25/153.44	c |    243382 |     861    14016    46854 |    70901    62005     31 |  0.000 % |
154.06/154.27	c |    244655 |     861    14016    46854 |    70901    63278     31 |  0.000 % |
155.45/155.60	c |    246056 |     861    14016    46854 |    70901    64679     31 |  0.000 % |
156.55/156.72	c |    247598 |     861    14016    46854 |    70901    66221     31 |  0.000 % |
157.75/157.99	c |    249294 |     861    14016    46854 |    70901    67917     31 |  0.000 % |
159.26/159.48	c |    251158 |     861    14016    46854 |    68623    57983     30 |  0.000 % |
160.85/161.01	c |    253207 |     861    14016    46854 |    68623    60032     30 |  0.000 % |
162.56/162.77	c |    255460 |     861    14016    46854 |    68623    62285     30 |  0.000 % |
164.45/164.62	c |    257938 |     861    14016    46854 |    68623    64763     30 |  0.000 % |
164.45/164.69	c |    258039 |     861    14016    46854 |    68623    64864     30 |  0.000 % |
164.55/164.77	c |    258150 |     861    14016    46854 |    68623    64975     30 |  0.000 % |
164.75/164.91	c |    258271 |     861    14016    46854 |    68623    65096     30 |  0.000 % |
164.85/165.01	c |    258405 |     861    14016    46854 |    68623    65230     30 |  0.000 % |
164.95/165.10	c |    258551 |     861    14016    46854 |    68623    65376     30 |  0.000 % |
165.05/165.28	c |    258711 |     861    14016    46854 |    68623    65536     30 |  0.000 % |
165.25/165.40	c |    258887 |     861    14016    46854 |    68623    65712     30 |  0.000 % |
165.35/165.55	c |    259081 |     861    14016    46854 |    68623    65906     30 |  0.000 % |
165.55/165.73	c |    259294 |     861    14016    46854 |    68623    66119     30 |  0.000 % |
165.75/165.95	c |    259527 |     861    14016    46854 |    68623    66352     30 |  0.000 % |
166.05/166.20	c |    259785 |     861    14016    46854 |    68623    66610     30 |  0.000 % |
166.25/166.44	c |    260067 |     861    14016    46854 |    66826    66892     30 |  0.000 % |
166.55/166.74	c |    260377 |     861    14016    46854 |    66826    56613     29 |  0.000 % |
166.75/166.95	c |    260717 |     861    14016    46854 |    66826    56953     29 |  0.000 % |
166.95/167.17	c |    261090 |     861    14016    46854 |    66826    57326     29 |  0.000 % |
167.35/167.54	c |    261500 |     861    14016    46854 |    66826    57736     29 |  0.000 % |
167.65/167.89	c |    261949 |     861    14016    46854 |    66826    58185     29 |  0.000 % |
168.15/168.32	c |    262443 |     861    14016    46854 |    66826    58679     29 |  0.000 % |
168.55/168.77	c |    262985 |     861    14016    46854 |    66826    59221     29 |  0.000 % |
169.15/169.36	c |    263581 |     861    14016    46854 |    66826    59817     29 |  0.000 % |
169.74/169.96	c |    264236 |     861    14016    46854 |    66826    60472     30 |  0.000 % |
170.35/170.54	c |    264956 |     861    14016    46854 |    66826    61192     30 |  0.000 % |
170.94/171.13	c |    265748 |     861    14016    46854 |    66826    61984     30 |  0.000 % |
171.74/171.90	c |    266620 |     861    14016    46854 |    66826    62856     30 |  0.000 % |
172.45/172.64	c |    267579 |     861    14016    46854 |    66826    63815     30 |  0.000 % |
173.34/173.59	c |    268633 |     861    14016    46854 |    66826    64869     30 |  0.000 % |
174.24/174.49	c |    269791 |     861    14016    46854 |    66826    66027     30 |  0.000 % |
175.44/175.64	c |    271064 |     861    14016    46854 |    66237    56522     28 |  0.000 % |
176.74/176.94	c |    272464 |     861    14016    46854 |    66237    57922     28 |  0.000 % |
178.14/178.39	c |    274005 |     861    14016    46854 |    66237    59463     28 |  0.000 % |
179.84/180.04	c |    275700 |     861    14016    46854 |    66237    61158     29 |  0.000 % |
181.54/181.70	c |    277563 |     861    14016    46854 |    66237    63021     29 |  0.000 % |
182.74/182.93	c |    279612 |     861    14016    46854 |    66237    65070     29 |  0.000 % |
184.84/185.03	c |    281865 |     861    14016    46854 |    65459    56169     28 |  0.000 % |
187.13/187.31	c |    284344 |     861    14016    46854 |    65459    58648     28 |  0.000 % |
189.43/189.68	c |    287069 |     861    14016    46854 |    65459    61373     28 |  0.000 % |
189.53/189.78	c |    287170 |     861    14016    46854 |    65459    61474     28 |  0.000 % |
189.63/189.88	c |    287281 |     861    14016    46854 |    65459    61585     28 |  0.000 % |
189.73/189.97	c |    287404 |     861    14016    46854 |    65459    61708     28 |  0.000 % |
189.83/190.09	c |    287539 |     861    14016    46854 |    65459    61843     28 |  0.000 % |
190.03/190.21	c |    287685 |     861    14016    46854 |    65459    61989     28 |  0.000 % |
190.13/190.34	c |    287846 |     861    14016    46854 |    65459    62150     28 |  0.000 % |
190.23/190.45	c |    288023 |     861    14016    46854 |    65459    62327     28 |  0.000 % |
190.43/190.61	c |    288216 |     861    14016    46854 |    65459    62520     28 |  0.000 % |
190.53/190.76	c |    288429 |     861    14016    46854 |    65459    62733     28 |  0.000 % |
190.73/190.97	c |    288664 |     861    14016    46854 |    65459    62968     28 |  0.000 % |
190.93/191.18	c |    288922 |     861    14016    46854 |    65459    63226     28 |  0.000 % |
191.13/191.36	c |    289203 |     861    14016    46854 |    65459    63507     28 |  0.000 % |
191.33/191.56	c |    289512 |     861    14016    46854 |    65459    63816     28 |  0.000 % |
191.63/191.87	c |    289852 |     861    14016    46854 |    65459    64156     28 |  0.000 % |
192.03/192.20	c |    290225 |     861    14016    46854 |    64304    53751     27 |  0.000 % |
192.23/192.46	c |    290635 |     861    14016    46854 |    64304    54161     27 |  0.000 % |
192.63/192.80	c |    291085 |     861    14016    46854 |    64304    54611     27 |  0.000 % |
192.93/193.16	c |    291578 |     861    14016    46854 |    64304    55104     28 |  0.000 % |
193.33/193.57	c |    292122 |     861    14016    46854 |    64304    55648     28 |  0.000 % |
193.73/193.99	c |    292720 |     861    14016    46854 |    64304    56246     28 |  0.000 % |
194.23/194.46	c |    293377 |     861    14016    46854 |    64304    56903     28 |  0.000 % |
194.83/195.04	c |    294097 |     861    14016    46854 |    64304    57623     28 |  0.000 % |
195.53/195.72	c |    294889 |     861    14016    46854 |    64304    58415     28 |  0.000 % |
196.23/196.45	c |    295760 |     861    14016    46854 |    64304    59286     28 |  0.000 % |
197.03/197.29	c |    296719 |     861    14016    46854 |    64304    60245     28 |  0.000 % |
198.23/198.44	c |    297772 |     861    14016    46854 |    64304    61298     28 |  0.000 % |
199.33/199.55	c |    298930 |     861    14016    46854 |    64304    62456     28 |  0.000 % |
200.13/200.39	c |    300203 |     861    14016    46854 |    63526    53671     28 |  0.000 % |
201.03/201.22	c |    301603 |     861    14016    46854 |    63526    55071     28 |  0.000 % |
202.53/202.72	c |    303144 |     861    14016    46854 |    63526    56612     28 |  0.000 % |
203.82/204.09	c |    304839 |     861    14016    46854 |    63526    58307     28 |  0.000 % |
205.02/205.24	c |    306702 |     861    14016    46854 |    63526    60170     28 |  0.000 % |
206.63/206.83	c |    308753 |     861    14016    46854 |    63526    62221     28 |  0.000 % |
208.32/208.54	c |    311006 |     861    14016    46854 |    63470    54137     28 |  0.000 % |
210.02/210.28	c |    313485 |     861    14016    46854 |    63470    56616     28 |  0.000 % |
212.22/212.48	c |    316211 |     861    14016    46854 |    63470    59342     28 |  0.000 % |
214.82/215.00	c |    319209 |     861    14016    46854 |    63470    62340     28 |  0.000 % |
214.82/215.08	c |    319310 |     861    14016    46854 |    63470    62441     28 |  0.000 % |
214.92/215.18	c |    319420 |     861    14016    46854 |    63470    62551     28 |  0.000 % |
215.03/215.28	c |    319541 |     861    14016    46854 |    63470    62672     28 |  0.000 % |
215.13/215.39	c |    319674 |     861    14016    46854 |    63470    62805     28 |  0.000 % |
215.33/215.51	c |    319822 |     861    14016    46854 |    63470    62953     28 |  0.000 % |
215.43/215.63	c |    319984 |     861    14016    46854 |    63470    63115     28 |  0.000 % |
215.63/215.88	c |    320161 |     861    14016    46854 |    63131    53285     28 |  0.000 % |
215.83/216.02	c |    320354 |     861    14016    46854 |    63131    53478     28 |  0.000 % |
215.93/216.15	c |    320567 |     861    14016    46854 |    63131    53691     28 |  0.000 % |
216.13/216.34	c |    320801 |     861    14016    46854 |    63131    53925     28 |  0.000 % |
216.33/216.56	c |    321058 |     861    14016    46854 |    63131    54182     28 |  0.000 % |
216.53/216.77	c |    321340 |     861    14016    46854 |    63131    54464     28 |  0.000 % |
216.83/217.04	c |    321649 |     861    14016    46854 |    63131    54773     28 |  0.000 % |
217.13/217.36	c |    321988 |     861    14016    46854 |    63131    55112     28 |  0.000 % |
217.43/217.62	c |    322360 |     861    14016    46854 |    63131    55484     28 |  0.000 % |
217.73/217.93	c |    322769 |     861    14016    46854 |    63131    55893     28 |  0.000 % |
218.03/218.21	c |    323219 |     861    14016    46854 |    63131    56343     28 |  0.000 % |
218.43/218.66	c |    323712 |     861    14016    46854 |    63131    56836     28 |  0.000 % |
218.93/219.13	c |    324257 |     861    14016    46854 |    63131    57381     28 |  0.000 % |
219.43/219.65	c |    324853 |     861    14016    46854 |    63131    57977     28 |  0.000 % |
219.93/220.17	c |    325508 |     861    14016    46854 |    63131    58632     28 |  0.000 % |
220.63/220.82	c |    326230 |     861    14016    46854 |    63131    59354     28 |  0.000 % |
221.33/221.56	c |    327022 |     861    14016    46854 |    63131    60146     28 |  0.000 % |
222.13/222.37	c |    327894 |     861    14016    46854 |    63131    61018     29 |  0.000 % |
223.03/223.25	c |    328853 |     861    14016    46854 |    63131    61977     29 |  0.000 % |
223.83/224.04	c |    329906 |     861    14016    46854 |    63131    63030     29 |  0.000 % |
224.72/224.90	c |    331066 |     861    14016    46854 |    63124    53601     28 |  0.000 % |
225.72/225.92	c |    332341 |     861    14016    46854 |    63124    54876     29 |  0.000 % |
226.72/226.99	c |    333742 |     861    14016    46854 |    63124    56277     29 |  0.000 % |
228.12/228.32	c |    335282 |     861    14016    46854 |    63124    57817     29 |  0.000 % |
229.52/229.72	c |    336977 |     861    14016    46854 |    63124    59512     29 |  0.000 % |
230.91/231.12	c |    338841 |     861    14016    46854 |    63124    61376     29 |  0.000 % |
232.81/233.08	c |    340892 |     861    14016    46854 |    62535    52464     28 |  0.000 % |
234.61/234.80	c |    343147 |     861    14016    46854 |    62535    54719     28 |  0.000 % |
236.32/236.52	c |    345626 |     861    14016    46854 |    62535    57198     28 |  0.000 % |
238.01/238.20	c |    348353 |     861    14016    46854 |    62535    59925     29 |  0.000 % |
240.31/240.57	c |    351351 |     861    14016    46854 |    61572    53041     28 |  0.000 % |
243.11/243.39	c |    354649 |     861    14016    46854 |    61572    56339     28 |  0.000 % |
243.21/243.47	c |    354754 |     861    14016    46854 |    61572    56444     28 |  0.000 % |
243.31/243.56	c |    354864 |     861    14016    46854 |    61572    56554     29 |  0.000 % |
243.41/243.67	c |    354987 |     861    14016    46854 |    61572    56677     29 |  0.000 % |
243.51/243.79	c |    355120 |     861    14016    46854 |    61572    56810     29 |  0.000 % |
243.61/243.88	c |    355266 |     861    14016    46854 |    61572    56956     29 |  0.000 % |
243.81/244.04	c |    355429 |     861    14016    46854 |    61572    57119     29 |  0.000 % |
243.91/244.18	c |    355605 |     861    14016    46854 |    61572    57295     29 |  0.000 % |
244.11/244.35	c |    355798 |     861    14016    46854 |    61572    57488     29 |  0.000 % |
244.31/244.55	c |    356011 |     861    14016    46854 |    61572    57701     29 |  0.000 % |
244.51/244.76	c |    356246 |     861    14016    46854 |    61572    57936     29 |  0.000 % |
244.71/244.94	c |    356503 |     861    14016    46854 |    61572    58193     29 |  0.000 % |
245.01/245.21	c |    356784 |     861    14016    46854 |    61572    58474     29 |  0.000 % |
245.31/245.57	c |    357094 |     861    14016    46854 |    61572    58784     29 |  0.000 % |
245.61/245.84	c |    357433 |     861    14016    46854 |    61572    59123     29 |  0.000 % |
245.91/246.12	c |    357806 |     861    14016    46854 |    61572    59496     29 |  0.000 % |
246.31/246.54	c |    358217 |     861    14016    46854 |    61572    59907     29 |  0.000 % |
246.71/246.93	c |    358666 |     861    14016    46854 |    61572    60356     29 |  0.000 % |
247.11/247.31	c |    359159 |     861    14016    46854 |    61572    60849     29 |  0.000 % |
247.51/247.77	c |    359701 |     861    14016    46854 |    61572    61391     29 |  0.000 % |
248.21/248.43	c |    360297 |     861    14016    46854 |    61690    51386     28 |  0.000 % |
248.61/248.89	c |    360952 |     861    14016    46854 |    61690    52041     28 |  0.000 % |
249.31/249.51	c |    361673 |     861    14016    46854 |    61690    52762     29 |  0.000 % |
249.91/250.16	c |    362466 |     861    14016    46854 |    61690    53555     29 |  0.000 % |
250.80/251.02	c |    363337 |     861    14016    46854 |    61690    54426     29 |  0.000 % |
251.71/251.91	c |    364296 |     861    14016    46854 |    61690    55385     29 |  0.000 % |
252.60/252.83	c |    365349 |     861    14016    46854 |    61690    56438     29 |  0.000 % |
253.60/253.81	c |    366507 |     861    14016    46854 |    61690    57596     29 |  0.000 % |
254.91/255.15	c |    367780 |     861    14016    46854 |    61690    58869     29 |  0.000 % |
256.11/256.30	c |    369181 |     861    14016    46854 |    61690    60270     29 |  0.000 % |
257.40/257.67	c |    370724 |     861    14016    46854 |    61090    51729     28 |  0.000 % |
258.70/258.90	c |    372419 |     861    14016    46854 |    61090    53424     28 |  0.000 % |
260.00/260.25	c |    374284 |     861    14016    46854 |    61090    55289     29 |  0.000 % |
261.80/262.09	c |    376333 |     861    14016    46854 |    61090    57338     29 |  0.000 % |
263.80/264.06	c |    378587 |     861    14016    46854 |    61090    59592     29 |  0.000 % |
266.00/266.28	c |    381066 |     861    14016    46854 |    61006    52288     29 |  0.000 % |
268.00/268.29	c |    383791 |     861    14016    46854 |    61006    55013     29 |  0.000 % |
270.60/270.88	c |    386788 |     861    14016    46854 |    61006    58010     29 |  0.000 % |
273.60/273.87	c |    390084 |     861    14016    46854 |    50461    50545     28 |  0.000 % |
276.59/276.85	c |    393709 |     861    14016    46854 |    50461    45264     28 |  0.000 % |
276.69/276.92	c |    393810 |     861    14016    46854 |    50461    45365     28 |  0.000 % |
276.69/276.99	c |    393920 |     861    14016    46854 |    50461    45475     28 |  0.000 % |
276.79/277.08	c |    394042 |     861    14016    46854 |    50461    45597     28 |  0.000 % |
276.90/277.17	c |    394176 |     861    14016    46854 |    50461    45731     28 |  0.000 % |
276.99/277.27	c |    394323 |     861    14016    46854 |    50461    45878     28 |  0.000 % |
277.09/277.37	c |    394483 |     861    14016    46854 |    50461    46038     28 |  0.000 % |
277.29/277.50	c |    394659 |     861    14016    46854 |    50461    46214     28 |  0.000 % |
277.39/277.62	c |    394852 |     861    14016    46854 |    50461    46407     28 |  0.000 % |
277.49/277.74	c |    395067 |     861    14016    46854 |    50461    46622     28 |  0.000 % |
277.69/277.91	c |    395301 |     861    14016    46854 |    50461    46856     28 |  0.000 % |
277.79/278.08	c |    395557 |     861    14016    46854 |    50461    47112     28 |  0.000 % |
277.99/278.29	c |    395838 |     861    14016    46854 |    50461    47393     28 |  0.000 % |
278.19/278.45	c |    396148 |     861    14016    46854 |    50461    47703     28 |  0.000 % |
278.39/278.67	c |    396489 |     861    14016    46854 |    50461    48044     28 |  0.000 % |
278.69/278.90	c |    396861 |     861    14016    46854 |    50461    48416     28 |  0.000 % |
278.89/279.19	c |    397270 |     861    14016    46854 |    50461    48825     28 |  0.000 % |
279.29/279.56	c |    397719 |     861    14016    46854 |    50461    49274     28 |  0.000 % |
279.69/279.91	c |    398213 |     861    14016    46854 |    50461    49768     28 |  0.000 % |
279.99/280.27	c |    398755 |     861    14016    46854 |    50461    50310     28 |  0.000 % |
280.49/280.80	c |    399351 |     861    14016    46854 |    50461    43763     28 |  0.000 % |
280.89/281.16	c |    400008 |     861    14016    46854 |    44413    44420     28 |  0.000 % |
281.39/281.61	c |    400728 |     861    14016    46854 |    44413    38964     27 |  0.000 % |
281.69/281.96	c |    401521 |     861    14016    46854 |    44413    39757     28 |  0.000 % |
282.09/282.37	c |    402393 |     861    14016    46854 |    44413    40629     28 |  0.000 % |
282.69/282.90	c |    403352 |     861    14016    46854 |    44413    41588     28 |  0.000 % |
283.29/283.57	c |    404406 |     861    14016    46854 |    44413    42642     28 |  0.000 % |
283.99/284.29	c |    405564 |     861    14016    46854 |    44413    43800     28 |  0.000 % |
285.09/285.33	c |    406837 |     861    14016    46854 |    44413    40616     28 |  0.000 % |
286.19/286.40	c |    408237 |     861    14016    46854 |    44413    42016     28 |  0.000 % |
287.39/287.65	c |    409778 |     861    14016    46854 |    44413    43557     28 |  0.000 % |
288.69/288.97	c |    411473 |     861    14016    46854 | 2147483647    45252     28 |  0.000 % |
290.09/290.34	c |    413336 |     861    14016    46854 | 2147483647    47115     29 |  0.000 % |
291.58/291.84	c |    415385 |     861    14016    46854 | 2147483647    49164     29 |  0.000 % |
293.39/293.61	c |    417640 |     861    14016    46854 | 2147483647    51419     29 |  0.000 % |
295.78/296.01	c |    420121 |     861    14016    46854 |    53779    47615     29 |  0.000 % |
298.08/298.33	c |    422847 |     861    14016    46854 |    53779    50341     29 |  0.000 % |
301.28/301.53	c |    425846 |     861    14016    46854 |    53779    53340     30 |  0.000 % |
304.28/304.58	c |    429142 |     861    14016    46854 |    53779    49116     29 |  0.000 % |
307.58/307.84	c |    432769 |     861    14016    46854 |    49976    45854     30 |  0.000 % |
310.37/310.64	c |    436758 |     861    14016    46854 |    49976    49843     30 |  0.000 % |
310.47/310.72	c |    436859 |     861    14016    46854 |    49976    49944     30 |  0.000 % |
310.57/310.80	c |    436970 |     861    14016    46854 |    49976    50055     30 |  0.000 % |
310.67/310.94	c |    437091 |     861    14016    46854 |    49976    43404     30 |  0.000 % |
310.77/311.04	c |    437224 |     861    14016    46854 |    49976    43537     30 |  0.000 % |
310.87/311.12	c |    437370 |     861    14016    46854 |    49976    43683     30 |  0.000 % |
310.98/311.24	c |    437531 |     861    14016    46854 |    49976    43844     30 |  0.000 % |
311.08/311.33	c |    437708 |     861    14016    46854 |    49976    44021     30 |  0.000 % |
311.17/311.45	c |    437901 |     861    14016    46854 |    49976    44214     30 |  0.000 % |
311.27/311.57	c |    438113 |     861    14016    46854 |    49976    44426     30 |  0.000 % |
311.47/311.74	c |    438346 |     861    14016    46854 |    49976    44659     30 |  0.000 % |
311.67/311.90	c |    438602 |     861    14016    46854 |    49976    44915     30 |  0.000 % |
311.77/312.06	c |    438883 |     861    14016    46854 |    49976    45196     30 |  0.000 % |
311.97/312.23	c |    439193 |     861    14016    46854 |    49976    45506     30 |  0.000 % |
312.18/312.41	c |    439533 |     861    14016    46854 |    49976    45846     30 |  0.000 % |
312.37/312.69	c |    439907 |     861    14016    46854 |    49976    46220     30 |  0.000 % |
312.67/312.97	c |    440316 |     861    14016    46854 |    46313    40960     29 |  0.000 % |
312.97/313.23	c |    440769 |     861    14016    46854 |    46313    41413     29 |  0.000 % |
313.18/313.50	c |    441262 |     861    14016    46854 |    46313    41906     29 |  0.000 % |
313.47/313.76	c |    441804 |     861    14016    46854 |    46313    42448     29 |  0.000 % |
313.77/314.06	c |    442400 |     861    14016    46854 |    46313    43044     29 |  0.000 % |
314.17/314.40	c |    443055 |     861    14016    46854 |    46313    43699     29 |  0.000 % |
314.57/314.85	c |    443776 |     861    14016    46854 |    46313    44420     30 |  0.000 % |
315.07/315.35	c |    444569 |     861    14016    46854 |    46313    45213     30 |  0.000 % |
315.57/315.84	c |    445444 |     861    14016    46854 |    46313    46088     30 |  0.000 % |
316.27/316.50	c |    446404 |     861    14016    46854 |    46313    42406     30 |  0.000 % |
316.87/317.11	c |    447458 |     861    14016    46854 |    46313    43460     30 |  0.000 % |
317.58/317.88	c |    448617 |     861    14016    46854 |    46313    44619     30 |  0.000 % |
318.37/318.66	c |    449893 |     861    14016    46854 |    46313    45895     30 |  0.000 % |
319.17/319.42	c |    451294 |     861    14016    46854 | 2147483647    47296     30 |  0.000 % |
320.07/320.32	c |    452835 |     861    14016    46854 | 2147483647    48837     30 |  0.000 % |
321.16/321.45	c |    454530 |     861    14016    46854 | 2147483647    50532     31 |  0.000 % |
322.66/322.93	c |    456393 |     861    14016    46854 | 2147483647    52395     31 |  0.000 % |
323.96/324.29	c |    458442 |     861    14016    46854 | 2147483647    54444     31 |  0.000 % |
325.66/325.90	c |    460696 |     861    14016    46854 | 2147483647    56698     31 |  0.000 % |
327.36/327.62	c |    463175 |     861    14016    46854 | 2147483647    59177     31 |  0.000 % |
329.36/329.65	c |    465901 |     861    14016    46854 | 2147483647    61903     31 |  0.000 % |
331.86/332.19	c |    468901 |     861    14016    46854 | 2147483647    64903     31 |  0.000 % |
334.66/334.94	c |    472197 |     861    14016    46854 |    66003    57201     30 |  0.000 % |
337.76/338.01	c |    475823 |     861    14016    46854 |    66003    60827     30 |  0.000 % |
341.16/341.42	c |    479812 |     861    14016    46854 |    66003    64816     31 |  0.000 % |
344.95/345.26	c |    484198 |     861    14016    46854 |    65006    56917     30 |  0.000 % |
345.06/345.36	c |    484298 |     861    14016    46854 |    65006    57017     30 |  0.000 % |
345.16/345.45	c |    484409 |     861    14016    46854 |    65006    57128     30 |  0.000 % |
345.25/345.56	c |    484530 |     861    14016    46854 |    65006    57249     30 |  0.000 % |
345.45/345.72	c |    484665 |     861    14016    46854 |    65006    57384     30 |  0.000 % |
345.55/345.83	c |    484812 |     861    14016    46854 |    65006    57531     30 |  0.000 % |
345.75/346.00	c |    484975 |     861    14016    46854 |    65006    57694     30 |  0.000 % |
345.85/346.17	c |    485151 |     861    14016    46854 |    65006    57870     30 |  0.000 % |
346.05/346.33	c |    485345 |     861    14016    46854 |    65006    58064     30 |  0.000 % |
346.16/346.50	c |    485559 |     861    14016    46854 |    65006    58278     30 |  0.000 % |
346.35/346.66	c |    485792 |     861    14016    46854 |    65006    58511     30 |  0.000 % |
346.55/346.84	c |    486049 |     861    14016    46854 |    65006    58768     30 |  0.000 % |
346.75/347.06	c |    486330 |     861    14016    46854 |    65006    59049     30 |  0.000 % |
347.05/347.33	c |    486639 |     861    14016    46854 |    65006    59358     30 |  0.000 % |
347.26/347.58	c |    486978 |     861    14016    46854 |    65006    59697     30 |  0.000 % |
347.55/347.84	c |    487350 |     861    14016    46854 |    65006    60069     30 |  0.000 % |
347.95/348.20	c |    487759 |     861    14016    46854 |    65006    60478     30 |  0.000 % |
348.25/348.53	c |    488208 |     861    14016    46854 |    65006    60927     30 |  0.000 % |
348.55/348.85	c |    488701 |     861    14016    46854 |    65006    61420     30 |  0.000 % |
348.95/349.20	c |    489243 |     861    14016    46854 |    65006    61962     30 |  0.000 % |
349.55/349.83	c |    489840 |     861    14016    46854 |    65006    62559     30 |  0.000 % |
350.25/350.50	c |    490495 |     861    14016    46854 |    62719    51614     29 |  0.000 % |
350.85/351.10	c |    491215 |     861    14016    46854 |    62719    52334     29 |  0.000 % |
351.45/351.74	c |    492008 |     861    14016    46854 |    62719    53127     30 |  0.000 % |
352.15/352.41	c |    492880 |     861    14016    46854 |    62719    53999     30 |  0.000 % |
352.75/353.05	c |    493839 |     861    14016    46854 |    62719    54958     30 |  0.000 % |
353.55/353.86	c |    494892 |     861    14016    46854 |    62719    56011     30 |  0.000 % |
354.45/354.74	c |    496052 |     861    14016    46854 |    62719    57171     30 |  0.000 % |
355.55/355.81	c |    497325 |     861    14016    46854 |    62719    58444     30 |  0.000 % |
356.65/356.93	c |    498725 |     861    14016    46854 |    62719    59844     30 |  0.000 % |
358.04/358.39	c |    500266 |     861    14016    46854 |    61119    51542     29 |  0.000 % |
359.45/359.75	c |    501960 |     861    14016    46854 |    61119    53236     30 |  0.000 % |
360.94/361.27	c |    503824 |     861    14016    46854 |    61119    55100     30 |  0.000 % |
362.65/362.96	c |    505875 |     861    14016    46854 |    61119    57151     30 |  0.000 % |
364.64/364.93	c |    508128 |     861    14016    46854 |    61119    59404     30 |  0.000 % |
367.24/367.50	c |    510606 |     861    14016    46854 |    51166    43365     29 |  0.000 % |
368.74/369.03	c |    513332 |     861    14016    46854 |    51166    46091     29 |  0.000 % |
370.74/371.00	c |    516330 |     861    14016    46854 |    51166    49089     30 |  0.000 % |
373.74/374.01	c |    519627 |     861    14016    46854 |    51166    45661     30 |  0.000 % |
375.74/376.02	c |    523252 |     861    14016    46854 |    46034    43411     30 |  0.000 % |
378.14/378.45	c |    527239 |     861    14016    46854 |    46034    42775     30 |  0.000 % |
382.03/382.36	c |    531624 |     861    14016    46854 |    45536    42143     30 |  0.000 % |
385.33/385.67	c |    536451 |     861    14016    46854 |    45536    41608     30 |  0.000 % |
385.43/385.77	c |    536551 |     861    14016    46854 |    45536    41708     30 |  0.000 % |
385.53/385.82	c |    536661 |     861    14016    46854 |    45536    41818     30 |  0.000 % |
385.53/385.89	c |    536785 |     861    14016    46854 |    45536    41942     30 |  0.000 % |
385.63/385.97	c |    536919 |     861    14016    46854 |    45536    42076     30 |  0.000 % |
385.74/386.05	c |    537065 |     861    14016    46854 |    45536    42222     30 |  0.000 % |
385.84/386.15	c |    537225 |     861    14016    46854 |    45536    42382     30 |  0.000 % |
385.93/386.24	c |    537402 |     861    14016    46854 |    45536    42559     30 |  0.000 % |
386.03/386.34	c |    537595 |     861    14016    46854 |    45536    42752     30 |  0.000 % |
386.13/386.44	c |    537808 |     861    14016    46854 |    45536    42965     30 |  0.000 % |
386.23/386.59	c |    538042 |     861    14016    46854 |    45536    43199     30 |  0.000 % |
386.43/386.73	c |    538300 |     861    14016    46854 |    45536    43457     30 |  0.000 % |
386.53/386.89	c |    538582 |     861    14016    46854 |    45536    43739     30 |  0.000 % |
386.73/387.05	c |    538891 |     861    14016    46854 |    45536    44048     30 |  0.000 % |
386.94/387.24	c |    539231 |     861    14016    46854 |    45536    44388     30 |  0.000 % |
387.13/387.48	c |    539604 |     861    14016    46854 |    45536    44761     30 |  0.000 % |
387.33/387.69	c |    540013 |     861    14016    46854 |    45158    45170     30 |  0.000 % |
387.73/388.02	c |    540464 |     861    14016    46854 |    45158    40844     30 |  0.000 % |
388.04/388.33	c |    540959 |     861    14016    46854 |    45158    41339     30 |  0.000 % |
388.33/388.62	c |    541502 |     861    14016    46854 |    45158    41882     30 |  0.000 % |
388.63/388.91	c |    542098 |     861    14016    46854 |    45158    42478     30 |  0.000 % |
388.93/389.22	c |    542755 |     861    14016    46854 |    45158    43135     30 |  0.000 % |
389.23/389.59	c |    543475 |     861    14016    46854 |    45158    43855     30 |  0.000 % |
389.53/389.90	c |    544267 |     861    14016    46854 |    45158    44647     30 |  0.000 % |
390.13/390.45	c |    545139 |     861    14016    46854 |    45158    40995     29 |  0.000 % |
390.53/390.82	c |    546098 |     861    14016    46854 |    45158    41954     29 |  0.000 % |
391.23/391.54	c |    547151 |     861    14016    46854 |    45158    43007     29 |  0.000 % |
391.73/392.06	c |    548311 |     861    14016    46854 |    45158    44167     29 |  0.000 % |
392.33/392.66	c |    549584 |     861    14016    46854 |    45158    40913     29 |  0.000 % |
393.03/393.30	c |    550984 |     861    14016    46854 | 2147483647    42313     29 |  0.000 % |
393.83/394.20	c |    552524 |     861    14016    46854 | 2147483647    43853     29 |  0.000 % |
394.53/394.88	c |    554219 |     861    14016    46854 | 2147483647    45548     29 |  0.000 % |
395.53/395.80	c |    556082 |     861    14016    46854 | 2147483647    47411     30 |  0.000 % |
396.63/396.97	c |    558132 |     861    14016    46854 | 2147483647    49461     30 |  0.000 % |
398.03/398.35	c |    560386 |     861    14016    46854 | 2147483647    51715     30 |  0.000 % |
399.63/399.97	c |    562864 |     861    14016    46854 | 2147483647    54193     30 |  0.000 % |
401.43/401.77	c |    565589 |     861    14016    46854 | 2147483647    56918     30 |  0.000 % |
403.93/404.23	c |    568586 |     861    14016    46854 | 2147483647    59915     31 |  0.000 % |
406.13/406.45	c |    571882 |     861    14016    46854 | 2147483647    63211     31 |  0.000 % |
408.72/409.09	c |    575508 |     861    14016    46854 | 2147483647    66837     31 |  0.000 % |
412.52/412.86	c |    579496 |     861    14016    46854 | 2147483647    70825     31 |  0.000 % |
416.62/416.93	c |    583882 |     861    14016    46854 |    71330    64878     30 |  0.000 % |
421.21/421.58	c |    588705 |     861    14016    46854 |    71330    69701     31 |  0.000 % |
425.91/426.25	c |    594015 |     861    14016    46854 |    70997    63215     31 |  0.000 % |
426.01/426.35	c |    594117 |     861    14016    46854 |    70997    63317     31 |  0.000 % |
426.11/426.43	c |    594227 |     861    14016    46854 |    70997    63427     31 |  0.000 % |
426.21/426.51	c |    594349 |     861    14016    46854 |    70997    63549     31 |  0.000 % |
426.31/426.62	c |    594483 |     861    14016    46854 |    70997    63683     31 |  0.000 % |
426.41/426.73	c |    594629 |     861    14016    46854 |    70997    63829     31 |  0.000 % |
426.51/426.89	c |    594789 |     861    14016    46854 |    70997    63989     31 |  0.000 % |
426.71/427.00	c |    594966 |     861    14016    46854 |    70997    64166     31 |  0.000 % |
426.81/427.18	c |    595159 |     861    14016    46854 |    70997    64359     31 |  0.000 % |
427.01/427.36	c |    595371 |     861    14016    46854 |    70997    64571     31 |  0.000 % |
427.11/427.50	c |    595604 |     861    14016    46854 |    70997    64804     31 |  0.000 % |
427.41/427.75	c |    595861 |     861    14016    46854 |    70997    65061     31 |  0.000 % |
427.61/427.96	c |    596142 |     861    14016    46854 |    70997    65342     31 |  0.000 % |
427.81/428.20	c |    596451 |     861    14016    46854 |    70997    65651     31 |  0.000 % |
428.11/428.43	c |    596790 |     861    14016    46854 |    70997    65990     31 |  0.000 % |
428.41/428.72	c |    597163 |     861    14016    46854 |    70997    66363     31 |  0.000 % |
428.71/429.07	c |    597572 |     861    14016    46854 |    70997    66772     31 |  0.000 % |
429.21/429.55	c |    598023 |     861    14016    46854 |    70997    67223     31 |  0.000 % |
429.61/429.96	c |    598517 |     861    14016    46854 |    70997    67717     31 |  0.000 % |
430.21/430.55	c |    599059 |     861    14016    46854 |    70997    68259     31 |  0.000 % |
430.81/431.18	c |    599655 |     861    14016    46854 |    70997    68855     31 |  0.000 % |
431.61/431.90	c |    600311 |     861    14016    46854 |    69200    58163     31 |  0.000 % |
432.21/432.53	c |    601031 |     861    14016    46854 |    69200    58883     31 |  0.000 % |
432.91/433.30	c |    601824 |     861    14016    46854 |    69200    59676     31 |  0.000 % |
433.51/433.83	c |    602695 |     861    14016    46854 |    69200    60547     31 |  0.000 % |
434.31/434.60	c |    603653 |     861    14016    46854 |    69200    61505     31 |  0.000 % |
435.10/435.48	c |    604706 |     861    14016    46854 |    69200    62558     31 |  0.000 % |
436.11/436.48	c |    605864 |     861    14016    46854 |    69200    63716     31 |  0.000 % |
437.20/437.54	c |    607138 |     861    14016    46854 |    69200    64990     31 |  0.000 % |
438.10/438.43	c |    608538 |     861    14016    46854 |    69200    66390     31 |  0.000 % |
439.10/439.43	c |    610078 |     861    14016    46854 |    67854    67930     31 |  0.000 % |
440.50/440.80	c |    611774 |     861    14016    46854 |    67854    58545     30 |  0.000 % |
441.60/441.97	c |    613639 |     861    14016    46854 |    67854    60410     30 |  0.000 % |
443.01/443.39	c |    615690 |     861    14016    46854 |    67854    62461     30 |  0.000 % |
445.00/445.31	c |    617943 |     861    14016    46854 |    67854    64714     31 |  0.000 % |
447.40/447.78	c |    620421 |     861    14016    46854 |    66772    55226     30 |  0.000 % |
450.10/450.42	c |    623146 |     861    14016    46854 |    66772    57951     30 |  0.000 % |
453.70/454.08	c |    626144 |     861    14016    46854 |    66772    60949     30 |  0.000 % |
456.09/456.48	c |    629440 |     861    14016    46854 |    66772    64245     31 |  0.000 % |
459.79/460.11	c |    633066 |     861    14016    46854 |    64805    55049     29 |  0.000 % |
462.99/463.39	c |    637053 |     861    14016    46854 |    64805    59036     30 |  0.000 % |
467.39/467.75	c |    641440 |     861    14016    46854 |    61983    51264     29 |  0.000 % |
471.79/472.18	c |    646264 |     861    14016    46854 |    61983    56088     30 |  0.000 % |
477.18/477.52	c |    651571 |     861    14016    46854 |    59825    50495     30 |  0.000 % |
483.48/483.83	c |    657408 |     861    14016    46854 |    59825    56332     31 |  0.000 % |
483.59/483.93	c |    657509 |     861    14016    46854 |    59825    56433     31 |  0.000 % |
483.69/484.04	c |    657621 |     861    14016    46854 |    59825    56545     31 |  0.000 % |
483.78/484.15	c |    657743 |     861    14016    46854 |    59825    56667     31 |  0.000 % |
483.88/484.25	c |    657876 |     861    14016    46854 |    59825    56800     31 |  0.000 % |
483.98/484.37	c |    658022 |     861    14016    46854 |    59825    56946     31 |  0.000 % |
484.18/484.57	c |    658182 |     861    14016    46854 |    59825    57106     31 |  0.000 % |
484.38/484.77	c |    658359 |     861    14016    46854 |    59825    57283     31 |  0.000 % |
484.58/484.92	c |    658553 |     861    14016    46854 |    59825    57477     31 |  0.000 % |
484.78/485.11	c |    658765 |     861    14016    46854 |    59825    57689     31 |  0.000 % |
484.88/485.29	c |    659000 |     861    14016    46854 |    59825    57924     31 |  0.000 % |
485.18/485.58	c |    659257 |     861    14016    46854 |    59825    58181     31 |  0.000 % |
485.48/485.81	c |    659538 |     861    14016    46854 |    59825    58462     31 |  0.000 % |
485.78/486.14	c |    659847 |     861    14016    46854 |    59825    58771     31 |  0.000 % |
486.28/486.64	c |    660187 |     861    14016    46854 |    58924    47886     30 |  0.000 % |
486.58/486.95	c |    660559 |     861    14016    46854 |    58924    48258     30 |  0.000 % |
486.88/487.25	c |    660968 |     861    14016    46854 |    58924    48667     30 |  0.000 % |
487.18/487.59	c |    661417 |     861    14016    46854 |    58924    49116     30 |  0.000 % |
487.68/488.03	c |    661910 |     861    14016    46854 |    58924    49609     30 |  0.000 % |
488.08/488.46	c |    662452 |     861    14016    46854 |    58924    50151     31 |  0.000 % |
488.58/488.91	c |    663050 |     861    14016    46854 |    58924    50749     31 |  0.000 % |
489.28/489.61	c |    663705 |     861    14016    46854 |    58924    51404     31 |  0.000 % |
489.78/490.20	c |    664425 |     861    14016    46854 |    58924    52124     31 |  0.000 % |
490.48/490.85	c |    665218 |     861    14016    46854 |    58924    52917     31 |  0.000 % |
491.28/491.63	c |    666089 |     861    14016    46854 |    58924    53788     31 |  0.000 % |
492.18/492.58	c |    667047 |     861    14016    46854 |    58924    54746     31 |  0.000 % |
493.28/493.66	c |    668101 |     861    14016    46854 |    58924    55800     31 |  0.000 % |
494.28/494.63	c |    669262 |     861    14016    46854 |    58924    56961     31 |  0.000 % |
495.47/495.88	c |    670535 |     861    14016    46854 |    57703    48430     30 |  0.000 % |
496.68/497.02	c |    671937 |     861    14016    46854 |    57703    49832     31 |  0.000 % |
497.77/498.19	c |    673479 |     861    14016    46854 |    57703    51374     31 |  0.000 % |
499.17/499.52	c |    675173 |     861    14016    46854 |    57703    53068     31 |  0.000 % |
500.96/501.37	c |    677038 |     861    14016    46854 |    57703    54933     31 |  0.000 % |
502.86/503.29	c |    679088 |     861    14016    46854 |    57703    56983     31 |  0.000 % |
504.86/505.22	c |    681342 |     861    14016    46854 |    48012    41204     28 |  0.000 % |
506.56/506.92	c |    683820 |     861    14016    46854 |    48012    43682     28 |  0.000 % |
508.76/509.15	c |    686547 |     861    14016    46854 |    48012    46409     29 |  0.000 % |
511.16/511.54	c |    689545 |     861    14016    46854 |    48012    44053     28 |  0.000 % |
514.36/514.80	c |    692841 |     861    14016    46854 |    44509    42279     28 |  0.000 % |
516.66/517.03	c |    696466 |     861    14016    46854 |    44509    40503     27 |  0.000 % |
519.36/519.73	c |    700453 |     861    14016    46854 |    44038    39341     27 |  0.000 % |
521.56/521.99	c |    704838 |     861    14016    46854 |    44038    43726     27 |  0.000 % |
524.16/524.58	c |    709662 |     861    14016    46854 |    44038    44124     28 |  0.000 % |
527.56/527.91	c |    714967 |     861    14016    46854 | 2147483647    45017     29 |  0.000 % |
532.06/532.44	c |    720802 |     861    14016    46854 |    50050    45645     29 |  0.000 % |
535.95/536.34	c |    727220 |     861    14016    46854 |    50050    47041     30 |  0.000 % |
536.05/536.40	c |    727320 |     861    14016    46854 |    50050    47141     30 |  0.000 % |
536.05/536.48	c |    727431 |     861    14016    46854 |    50050    47252     30 |  0.000 % |
536.15/536.57	c |    727553 |     861    14016    46854 |    50050    47374     30 |  0.000 % |
536.25/536.66	c |    727686 |     861    14016    46854 |    50050    47507     30 |  0.000 % |
536.36/536.72	c |    727832 |     861    14016    46854 |    50050    47653     30 |  0.000 % |
536.46/536.82	c |    727993 |     861    14016    46854 |    50050    47814     30 |  0.000 % |
536.55/536.92	c |    728169 |     861    14016    46854 |    50050    47990     30 |  0.000 % |
536.65/537.04	c |    728363 |     861    14016    46854 |    50050    48184     30 |  0.000 % |
536.75/537.17	c |    728576 |     861    14016    46854 |    50050    48397     30 |  0.000 % |
536.95/537.30	c |    728810 |     861    14016    46854 |    50050    48631     30 |  0.000 % |
537.05/537.49	c |    729066 |     861    14016    46854 |    50050    48887     30 |  0.000 % |
537.25/537.62	c |    729348 |     861    14016    46854 |    50050    49169     30 |  0.000 % |
537.35/537.78	c |    729657 |     861    14016    46854 |    50050    49478     30 |  0.000 % |
537.55/537.94	c |    729998 |     861    14016    46854 |    50050    49819     30 |  0.000 % |
537.75/538.12	c |    730370 |     861    14016    46854 | 2147483647    50191     30 |  0.000 % |
537.95/538.35	c |    730781 |     861    14016    46854 | 2147483647    50602     31 |  0.000 % |
538.15/538.60	c |    731231 |     861    14016    46854 | 2147483647    51052     31 |  0.000 % |
538.55/538.91	c |    731727 |     861    14016    46854 | 2147483647    51548     31 |  0.000 % |
538.85/539.23	c |    732269 |     861    14016    46854 | 2147483647    52090     31 |  0.000 % |
539.25/539.67	c |    732866 |     861    14016    46854 | 2147483647    52687     31 |  0.000 % |
539.75/540.13	c |    733521 |     861    14016    46854 | 2147483647    53342     31 |  0.000 % |
540.24/540.64	c |    734242 |     861    14016    46854 | 2147483647    54063     31 |  0.000 % |
540.64/541.05	c |    735035 |     861    14016    46854 | 2147483647    54856     31 |  0.000 % |
541.34/541.70	c |    735908 |     861    14016    46854 | 2147483647    55729     31 |  0.000 % |
542.14/542.58	c |    736867 |     861    14016    46854 | 2147483647    56688     31 |  0.000 % |
542.95/543.38	c |    737920 |     861    14016    46854 | 2147483647    57741     31 |  0.000 % |
543.64/544.08	c |    739078 |     861    14016    46854 | 2147483647    58899     31 |  0.000 % |
544.64/545.01	c |    740352 |     861    14016    46854 |    59821    53122     31 |  0.000 % |
545.44/545.82	c |    741754 |     861    14016    46854 |    59821    54524     31 |  0.000 % |
546.44/546.83	c |    743296 |     861    14016    46854 |    59821    56066     31 |  0.000 % |
547.74/548.14	c |    744990 |     861    14016    46854 |    59821    57760     31 |  0.000 % |
549.24/549.65	c |    746853 |     861    14016    46854 |    59821    59623     31 |  0.000 % |
550.74/551.15	c |    748902 |     861    14016    46854 |    59821    54293     31 |  0.000 % |
552.54/552.99	c |    751155 |     861    14016    46854 |    55392    49585     31 |  0.000 % |
554.04/554.40	c |    753634 |     861    14016    46854 |    55392    52064     31 |  0.000 % |
555.83/556.26	c |    756359 |     861    14016    46854 |    55392    54789     32 |  0.000 % |
557.83/558.21	c |    759356 |     861    14016    46854 |    55392    50913     30 |  0.000 % |
560.13/560.55	c |    762653 |     861    14016    46854 |    51558    47670     29 |  0.000 % |
562.83/563.24	c |    766280 |     861    14016    46854 |    51558    51297     30 |  0.000 % |
565.73/566.16	c |    770268 |     861    14016    46854 |    48643    42560     28 |  0.000 % |
569.03/569.42	c |    774654 |     861    14016    46854 |    48643    46946     29 |  0.000 % |
572.73/573.18	c |    779478 |     861    14016    46854 |    48643    45442     29 |  0.000 % |
576.23/576.69	c |    784783 |     861    14016    46854 |    45964    44868     30 |  0.000 % |
579.82/580.28	c |    790620 |     861    14016    46854 |    44961    40408     29 |  0.000 % |
584.12/584.56	c |    797038 |     861    14016    46854 |    44961    42157     29 |  0.000 % |
589.02/589.42	c |    804097 |     861    14016    46854 |    40498    40427     30 |  0.000 % |
589.02/589.50	c |    804197 |     861    14016    46854 |    40498    40527     30 |  0.000 % |
589.23/589.61	c |    804308 |     861    14016    46854 |    40498    36586     29 |  0.000 % |
589.23/589.68	c |    804431 |     861    14016    46854 |    40498    36709     29 |  0.000 % |
589.32/589.76	c |    804565 |     861    14016    46854 |    40498    36843     29 |  0.000 % |
589.42/589.85	c |    804712 |     861    14016    46854 |    40498    36990     29 |  0.000 % |
589.52/589.95	c |    804872 |     861    14016    46854 |    40498    37150     29 |  0.000 % |
589.62/590.04	c |    805048 |     861    14016    46854 |    40498    37326     29 |  0.000 % |
589.72/590.16	c |    805243 |     861    14016    46854 |    40498    37521     29 |  0.000 % |
589.92/590.31	c |    805457 |     861    14016    46854 |    40498    37735     29 |  0.000 % |
590.02/590.46	c |    805693 |     861    14016    46854 |    40498    37971     29 |  0.000 % |
590.12/590.59	c |    805950 |     861    14016    46854 |    40498    38228     29 |  0.000 % |
590.22/590.70	c |    806231 |     861    14016    46854 |    40498    38509     29 |  0.000 % |
590.42/590.81	c |    806542 |     861    14016    46854 |    40498    38820     30 |  0.000 % |
590.52/590.97	c |    806881 |     861    14016    46854 |    40498    39159     30 |  0.000 % |
590.82/591.20	c |    807253 |     861    14016    46854 |    40498    39531     30 |  0.000 % |
591.02/591.42	c |    807663 |     861    14016    46854 |    40498    39941     30 |  0.000 % |
591.21/591.65	c |    808114 |     861    14016    46854 |    40498    40392     30 |  0.000 % |
591.61/592.03	c |    808607 |     861    14016    46854 |    40498    36827     29 |  0.000 % |
592.01/592.41	c |    809150 |     861    14016    46854 |    40498    37370     29 |  0.000 % |
592.21/592.68	c |    809747 |     861    14016    46854 |    40498    37967     29 |  0.000 % |
592.61/593.01	c |    810403 |     861    14016    46854 | 2147483647    38623     30 |  0.000 % |
593.01/593.41	c |    811123 |     861    14016    46854 | 2147483647    39343     30 |  0.000 % |
593.31/593.79	c |    811915 |     861    14016    46854 | 2147483647    40135     30 |  0.000 % |
594.01/594.40	c |    812786 |     861    14016    46854 | 2147483647    41006     30 |  0.000 % |
594.51/594.94	c |    813744 |     861    14016    46854 | 2147483647    41964     30 |  0.000 % |
595.21/595.62	c |    814797 |     861    14016    46854 | 2147483647    43017     30 |  0.000 % |
596.11/596.50	c |    815955 |     861    14016    46854 | 2147483647    44175     30 |  0.000 % |
596.71/597.18	c |    817228 |     861    14016    46854 | 2147483647    45448     30 |  0.000 % |
597.41/597.82	c |    818628 |     861    14016    46854 | 2147483647    46848     31 |  0.000 % |
598.31/598.74	c |    820170 |     861    14016    46854 | 2147483647    48390     31 |  0.000 % |
599.21/599.65	c |    821865 |     861    14016    46854 | 2147483647    50085     31 |  0.000 % |
600.31/600.75	c |    823729 |     861    14016    46854 | 2147483647    51949     31 |  0.000 % |
601.81/602.27	c |    825779 |     861    14016    46854 | 2147483647    53999     32 |  0.000 % |
603.81/604.23	c |    828032 |     861    14016    46854 | 2147483647    56252     32 |  0.000 % |
605.31/605.72	c |    830510 |     861    14016    46854 | 2147483647    58730     32 |  0.000 % |
607.21/607.62	c |    833236 |     861    14016    46854 | 2147483647    61456     32 |  0.000 % |
609.42/609.84	c |    836234 |     861    14016    46854 | 2147483647    64454     32 |  0.000 % |
611.92/612.39	c |    839531 |     861    14016    46854 | 2147483647    67751     32 |  0.000 % |
615.01/615.45	c |    843156 |     861    14016    46854 |    68220    61820     32 |  0.000 % |
618.61/619.00	c |    847143 |     861    14016    46854 |    68220    65807     32 |  0.000 % |
622.61/623.02	c |    851528 |     861    14016    46854 |    57287    49276     31 |  0.000 % |
626.01/626.42	c |    856351 |     861    14016    46854 |    57287    54099     32 |  0.000 % |
629.81/630.23	c |    861656 |     861    14016    46854 |    50136    45191     30 |  0.000 % |
634.41/634.85	c |    867493 |     861    14016    46854 |    50136    45096     30 |  0.000 % |
639.70/640.17	c |    873913 |     861    14016    46854 |    47604    45642     30 |  0.000 % |
645.70/646.17	c |    880972 |     861    14016    46854 |    45752    40995     30 |  0.000 % |
650.70/651.19	c |    888737 |     861    14016    46854 |    45752    43758     31 |  0.000 % |
650.80/651.25	c |    888838 |     861    14016    46854 |    45752    43859     31 |  0.000 % |
650.90/651.34	c |    888949 |     861    14016    46854 |    45752    43970     31 |  0.000 % |
651.00/651.41	c |    889071 |     861    14016    46854 |    45752    44092     31 |  0.000 % |
651.00/651.47	c |    889205 |     861    14016    46854 |    45752    44226     31 |  0.000 % |
651.10/651.55	c |    889351 |     861    14016    46854 |    45752    44372     31 |  0.000 % |
651.20/651.63	c |    889511 |     861    14016    46854 |    45752    44532     31 |  0.000 % |
651.29/651.74	c |    889688 |     861    14016    46854 |    45752    44709     31 |  0.000 % |
651.39/651.86	c |    889881 |     861    14016    46854 |    45752    44902     31 |  0.000 % |
651.49/651.98	c |    890094 |     861    14016    46854 |    45021    45115     31 |  0.000 % |
651.69/652.16	c |    890328 |     861    14016    46854 |    45021    40500     31 |  0.000 % |
651.99/652.40	c |    890585 |     861    14016    46854 |    45021    40757     31 |  0.000 % |
652.09/652.58	c |    890866 |     861    14016    46854 |    45021    41038     31 |  0.000 % |
652.29/652.78	c |    891177 |     861    14016    46854 |    45021    41349     31 |  0.000 % |
652.59/653.03	c |    891516 |     861    14016    46854 |    45021    41688     31 |  0.000 % |
652.79/653.23	c |    891888 |     861    14016    46854 |    45021    42060     31 |  0.000 % |
653.00/653.48	c |    892298 |     861    14016    46854 |    45021    42470     31 |  0.000 % |
653.29/653.73	c |    892747 |     861    14016    46854 |    45021    42919     31 |  0.000 % |
653.59/654.03	c |    893241 |     861    14016    46854 |    45021    43413     31 |  0.000 % |
653.89/654.33	c |    893784 |     861    14016    46854 |    45021    43956     31 |  0.000 % |
654.29/654.75	c |    894381 |     861    14016    46854 |    45021    44553     31 |  0.000 % |
654.79/655.25	c |    895038 |     861    14016    46854 |    45021    40698     31 |  0.000 % |
655.20/655.63	c |    895758 |     861    14016    46854 |    45021    41418     31 |  0.000 % |
655.59/656.05	c |    896552 |     861    14016    46854 |    45021    42212     31 |  0.000 % |
656.09/656.59	c |    897423 |     861    14016    46854 |    45021    43083     31 |  0.000 % |
656.69/657.13	c |    898383 |     861    14016    46854 |    45021    44043     31 |  0.000 % |
657.40/657.88	c |    899438 |     861    14016    46854 |    45021    45098     31 |  0.000 % |
658.19/658.60	c |    900597 |     861    14016    46854 | 2147483647    41748     30 |  0.000 % |
658.69/659.17	c |    901871 |     861    14016    46854 | 2147483647    43022     30 |  0.000 % |
659.49/659.96	c |    903274 |     861    14016    46854 | 2147483647    44425     31 |  0.000 % |
660.49/660.95	c |    904815 |     861    14016    46854 | 2147483647    45966     31 |  0.000 % |
661.69/662.12	c |    906509 |     861    14016    46854 | 2147483647    47660     31 |  0.000 % |
662.79/663.22	c |    908373 |     861    14016    46854 | 2147483647    49524     31 |  0.000 % |
663.99/664.44	c |    910422 |     861    14016    46854 | 2147483647    51573     31 |  0.000 % |
665.69/666.14	c |    912675 |     861    14016    46854 | 2147483647    53826     31 |  0.000 % |
667.69/668.19	c |    915155 |     861    14016    46854 | 2147483647    56306     31 |  0.000 % |
669.88/670.31	c |    917880 |     861    14016    46854 | 2147483647    59031     32 |  0.000 % |
672.69/673.13	c |    920877 |     861    14016    46854 |    61152    52274     31 |  0.000 % |
675.58/676.10	c |    924173 |     861    14016    46854 |    61152    55570     31 |  0.000 % |
679.39/679.81	c |    927799 |     861    14016    46854 |    61152    59196     31 |  0.000 % |
683.68/684.11	c |    931788 |     861    14016    46854 |    50636    43562     29 |  0.000 % |
688.18/688.61	c |    936174 |     861    14016    46854 |    50636    47948     29 |  0.000 % |
693.17/693.68	c |    940998 |     861    14016    46854 |    43875    38144     28 |  0.000 % |
697.87/698.35	c |    946303 |     861    14016    46854 |    43875    43449     29 |  0.000 % |
702.27/702.78	c |    952139 |     861    14016    46854 |    41496    38432     28 |  0.000 % |
707.37/707.86	c |    958557 |     861    14016    46854 |    41496    40355     29 |  0.000 % |
711.86/712.30	c |    965616 |     861    14016    46854 | 2147483647    43253     30 |  0.000 % |
717.66/718.17	c |    973382 |     861    14016    46854 |    47638    46070     30 |  0.000 % |
724.16/724.64	c |    981922 |     861    14016    46854 |    47124    43508     30 |  0.000 % |
724.26/724.74	c |    982022 |     861    14016    46854 |    47124    43608     30 |  0.000 % |
724.36/724.84	c |    982132 |     861    14016    46854 |    47124    43718     30 |  0.000 % |
724.46/724.91	c |    982254 |     861    14016    46854 |    47124    43840     30 |  0.000 % |
724.46/725.00	c |    982387 |     861    14016    46854 |    47124    43973     30 |  0.000 % |
724.56/725.06	c |    982533 |     861    14016    46854 |    47124    44119     30 |  0.000 % |
724.66/725.18	c |    982693 |     861    14016    46854 |    47124    44279     30 |  0.000 % |
724.76/725.29	c |    982870 |     861    14016    46854 |    47124    44456     30 |  0.000 % |
724.95/725.46	c |    983064 |     861    14016    46854 |    47124    44650     30 |  0.000 % |
725.15/725.67	c |    983276 |     861    14016    46854 |    47124    44862     30 |  0.000 % |
725.35/725.83	c |    983510 |     861    14016    46854 |    47124    45096     30 |  0.000 % |
725.46/725.95	c |    983768 |     861    14016    46854 |    47124    45354     30 |  0.000 % |
725.56/726.06	c |    984049 |     861    14016    46854 |    47124    45635     30 |  0.000 % |
725.75/726.24	c |    984358 |     861    14016    46854 |    47124    45944     30 |  0.000 % |
725.95/726.49	c |    984697 |     861    14016    46854 |    47124    46283     30 |  0.000 % |
726.25/726.78	c |    985071 |     861    14016    46854 |    47124    46657     30 |  0.000 % |
726.56/727.06	c |    985481 |     861    14016    46854 |    47124    47067     30 |  0.000 % |
726.85/727.34	c |    985930 |     861    14016    46854 |    47124    42436     29 |  0.000 % |
727.05/727.58	c |    986424 |     861    14016    46854 |    47124    42930     30 |  0.000 % |
727.35/727.88	c |    986967 |     861    14016    46854 |    47124    43473     30 |  0.000 % |
727.66/728.15	c |    987563 |     861    14016    46854 |    47124    44069     30 |  0.000 % |
728.05/728.54	c |    988220 |     861    14016    46854 |    47124    44726     30 |  0.000 % |
728.45/728.92	c |    988941 |     861    14016    46854 |    47124    45447     30 |  0.000 % |
728.95/729.43	c |    989733 |     861    14016    46854 |    47124    46239     30 |  0.000 % |
729.55/730.06	c |    990604 |     861    14016    46854 |    46506    42444     30 |  0.000 % |
730.15/730.66	c |    991563 |     861    14016    46854 |    46506    43403     30 |  0.000 % |
730.75/731.24	c |    992617 |     861    14016    46854 |    46506    44457     30 |  0.000 % |
731.45/731.93	c |    993775 |     861    14016    46854 |    46506    45615     30 |  0.000 % |
732.45/732.90	c |    995050 |     861    14016    46854 |    46506    42224     30 |  0.000 % |
733.35/733.80	c |    996450 |     861    14016    46854 |    46506    43624     30 |  0.000 % |
734.55/735.04	c |    997993 |     861    14016    46854 |    46506    45167     30 |  0.000 % |
736.05/736.54	c |    999688 |     861    14016    46854 |    46506    42064     29 |  0.000 % |
737.25/737.73	c |   1001552 |     861    14016    46854 |    42376    39574     28 |  0.000 % |
738.35/738.84	c |   1003603 |     861    14016    46854 |    42376    41625     28 |  0.000 % |
739.95/740.47	c |   1005858 |     861    14016    46854 |    42376    39626     28 |  0.000 % |
741.75/742.29	c |   1008336 |     861    14016    46854 |    42376    42104     28 |  0.000 % |
743.65/744.12	c |   1011061 |     861    14016    46854 | 2147483647    40578     28 |  0.000 % |
745.45/745.97	c |   1014058 |     861    14016    46854 | 2147483647    43575     28 |  0.000 % |
748.25/748.73	c |   1017354 |     861    14016    46854 | 2147483647    46871     28 |  0.000 % |
750.94/751.44	c |   1020982 |     861    14016    46854 | 2147483647    50499     29 |  0.000 % |
753.35/753.89	c |   1024970 |     861    14016    46854 | 2147483647    54487     29 |  0.000 % |
757.35/757.89	c |   1029355 |     861    14016    46854 | 2147483647    58872     30 |  0.000 % |
762.44/762.96	c |   1034178 |     861    14016    46854 |    59517    54339     29 |  0.000 % |
767.94/768.48	c |   1039484 |     861    14016    46854 |    59517    59645     30 |  0.000 % |
772.34/772.88	c |   1045319 |     861    14016    46854 |    49841    46547     29 |  0.000 % |
778.13/778.65	c |   1051738 |     861    14016    46854 |    44231    39865     29 |  0.000 % |
784.33/784.81	c |   1058798 |     861    14016    46854 |    44231    41742     30 |  0.000 % |
789.73/790.22	c |   1066563 |     861    14016    46854 |    42945    40374     30 |  0.000 % |
795.63/796.11	c |   1075104 |     861    14016    46854 | 2147483647    44604     31 |  0.000 % |
804.43/804.92	c |   1084498 |     861    14016    46854 |    49500    47972     31 |  0.000 % |
804.43/805.00	c |   1084599 |     861    14016    46854 |    49500    48073     31 |  0.000 % |
804.53/805.07	c |   1084710 |     861    14016    46854 |    49500    48184     31 |  0.000 % |
804.63/805.11	c |   1084832 |     861    14016    46854 |    49500    48306     31 |  0.000 % |
804.73/805.21	c |   1084966 |     861    14016    46854 |    49500    48440     31 |  0.000 % |
804.83/805.31	c |   1085113 |     861    14016    46854 |    49500    48587     31 |  0.000 % |
804.83/805.40	c |   1085273 |     861    14016    46854 |    49500    48747     31 |  0.000 % |
804.93/805.47	c |   1085450 |     861    14016    46854 |    49500    48924     31 |  0.000 % |
805.12/805.64	c |   1085643 |     861    14016    46854 |    49500    49117     31 |  0.000 % |
805.22/805.73	c |   1085855 |     861    14016    46854 |    49500    49329     31 |  0.000 % |
805.42/805.91	c |   1086089 |     861    14016    46854 |    49500    49563     31 |  0.000 % |
805.52/806.08	c |   1086345 |     861    14016    46854 |    49500    43124     30 |  0.000 % |
805.73/806.24	c |   1086627 |     861    14016    46854 |    49500    43406     30 |  0.000 % |
805.92/806.40	c |   1086937 |     861    14016    46854 |    49500    43716     30 |  0.000 % |
806.12/806.61	c |   1087276 |     861    14016    46854 |    49500    44055     30 |  0.000 % |
806.42/806.92	c |   1087649 |     861    14016    46854 |    49500    44428     30 |  0.000 % |
806.72/807.22	c |   1088059 |     861    14016    46854 |    49500    44838     31 |  0.000 % |
806.93/807.43	c |   1088508 |     861    14016    46854 |    49500    45287     31 |  0.000 % |
807.12/807.68	c |   1089002 |     861    14016    46854 |    49500    45781     31 |  0.000 % |
807.62/808.15	c |   1089545 |     861    14016    46854 |    49500    46324     31 |  0.000 % |
808.03/808.57	c |   1090142 |     861    14016    46854 |    46780    41309     30 |  0.000 % |
808.52/809.03	c |   1090798 |     861    14016    46854 |    46780    41965     30 |  0.000 % |
809.03/809.51	c |   1091518 |     861    14016    46854 |    46780    42685     30 |  0.000 % |
809.52/810.05	c |   1092312 |     861    14016    46854 |    46780    43479     30 |  0.000 % |
810.02/810.59	c |   1093183 |     861    14016    46854 |    46780    44350     30 |  0.000 % |
810.62/811.12	c |   1094141 |     861    14016    46854 |    46780    45308     30 |  0.000 % |
811.22/811.79	c |   1095194 |     861    14016    46854 |    46780    46361     30 |  0.000 % |
812.02/812.57	c |   1096353 |     861    14016    46854 |    46780    42831     29 |  0.000 % |
812.72/813.30	c |   1097627 |     861    14016    46854 |    46780    44105     29 |  0.000 % |
813.52/814.06	c |   1099027 |     861    14016    46854 |    46780    45505     29 |  0.000 % |
814.52/815.01	c |   1100567 |     861    14016    46854 | 2147483647    47045     29 |  0.000 % |
815.62/816.18	c |   1102261 |     861    14016    46854 | 2147483647    48739     30 |  0.000 % |
816.82/817.34	c |   1104124 |     861    14016    46854 | 2147483647    50602     30 |  0.000 % |
818.31/818.80	c |   1106174 |     861    14016    46854 | 2147483647    52652     30 |  0.000 % |
819.71/820.26	c |   1108427 |     861    14016    46854 | 2147483647    54905     30 |  0.000 % |
821.81/822.33	c |   1110906 |     861    14016    46854 |    56478    50101     29 |  0.000 % |
823.51/824.08	c |   1113632 |     861    14016    46854 |    56478    52827     29 |  0.000 % |
826.11/826.64	c |   1116631 |     861    14016    46854 |    56478    55826     29 |  0.000 % |
829.01/829.58	c |   1119927 |     861    14016    46854 |    56478    51791     28 |  0.000 % |
830.71/831.26	c |   1123552 |     861    14016    46854 |    51864    48441     28 |  0.000 % |
832.91/833.46	c |   1127539 |     861    14016    46854 |    51864    46768     29 |  0.000 % |
836.01/836.51	c |   1131924 |     861    14016    46854 |    49230    45633     28 |  0.000 % |
839.11/839.65	c |   1136747 |     861    14016    46854 |    49230    45003     28 |  0.000 % |
842.71/843.26	c |   1142052 |     861    14016    46854 |    48257    44700     28 |  0.000 % |
846.71/847.28	c |   1147887 |     861    14016    46854 |    48257    44477     29 |  0.000 % |
851.91/852.44	c |   1154305 |     861    14016    46854 |    46590    45266     29 |  0.000 % |
857.80/858.36	c |   1161365 |     861    14016    46854 |    45604    41736     29 |  0.000 % |
863.19/863.75	c |   1169131 |     861    14016    46854 |    45604    44458     30 |  0.000 % |
869.60/870.15	c |   1177671 |     861    14016    46854 |    45327    42040     30 |  0.000 % |
876.69/877.22	c |   1187066 |     861    14016    46854 |    44370    40163     30 |  0.000 % |
883.59/884.16	c |   1197399 |     861    14016    46854 |    43097    40169     31 |  0.000 % |
883.69/884.22	c |   1197501 |     861    14016    46854 |    43097    40271     31 |  0.000 % |
883.69/884.29	c |   1197612 |     861    14016    46854 |    43097    40382     31 |  0.000 % |
883.79/884.37	c |   1197734 |     861    14016    46854 |    43097    40504     31 |  0.000 % |
883.89/884.44	c |   1197869 |     861    14016    46854 |    43097    40639     31 |  0.000 % |
883.99/884.51	c |   1198017 |     861    14016    46854 |    43097    40787     31 |  0.000 % |
884.09/884.63	c |   1198178 |     861    14016    46854 |    43097    40948     31 |  0.000 % |
884.19/884.74	c |   1198354 |     861    14016    46854 |    43097    41124     31 |  0.000 % |
884.29/884.88	c |   1198549 |     861    14016    46854 |    43097    41319     31 |  0.000 % |
884.49/885.00	c |   1198762 |     861    14016    46854 |    43097    41532     31 |  0.000 % |
884.59/885.13	c |   1198996 |     861    14016    46854 |    43097    41766     31 |  0.000 % |
884.69/885.23	c |   1199254 |     861    14016    46854 |    43097    42024     31 |  0.000 % |
884.79/885.34	c |   1199535 |     861    14016    46854 |    43097    42305     31 |  0.000 % |
884.89/885.50	c |   1199846 |     861    14016    46854 |    43097    42616     31 |  0.000 % |
885.09/885.65	c |   1200185 |     861    14016    46854 |    42770    42955     31 |  0.000 % |
885.39/885.90	c |   1200558 |     861    14016    46854 |    42770    38911     30 |  0.000 % |
885.49/886.10	c |   1200967 |     861    14016    46854 |    42770    39320     30 |  0.000 % |
885.79/886.37	c |   1201418 |     861    14016    46854 |    42770    39771     30 |  0.000 % |
886.09/886.61	c |   1201912 |     861    14016    46854 |    42770    40265     30 |  0.000 % |
886.29/886.87	c |   1202454 |     861    14016    46854 |    42770    40807     31 |  0.000 % |
886.59/887.20	c |   1203050 |     861    14016    46854 |    42770    41403     31 |  0.000 % |
886.99/887.54	c |   1203706 |     861    14016    46854 |    42770    42059     31 |  0.000 % |
887.39/887.94	c |   1204426 |     861    14016    46854 |    42770    42779     31 |  0.000 % |
887.89/888.46	c |   1205219 |     861    14016    46854 |    42770    39295     30 |  0.000 % |
888.38/888.90	c |   1206090 |     861    14016    46854 |    42770    40166     30 |  0.000 % |
888.88/889.43	c |   1207049 |     861    14016    46854 |    42770    41125     30 |  0.000 % |
889.29/889.83	c |   1208102 |     861    14016    46854 |    42770    42178     30 |  0.000 % |
889.78/890.38	c |   1209260 |     861    14016    46854 |    42770    39042     30 |  0.000 % |
890.39/890.99	c |   1210534 |     861    14016    46854 | 2147483647    40316     30 |  0.000 % |
891.18/891.77	c |   1211934 |     861    14016    46854 | 2147483647    41716     30 |  0.000 % |
891.98/892.50	c |   1213474 |     861    14016    46854 | 2147483647    43256     30 |  0.000 % |
892.78/893.32	c |   1215168 |     861    14016    46854 | 2147483647    44950     30 |  0.000 % |
893.88/894.45	c |   1217031 |     861    14016    46854 | 2147483647    46813     30 |  0.000 % |
895.18/895.74	c |   1219080 |     861    14016    46854 | 2147483647    48862     30 |  0.000 % |
896.78/897.34	c |   1221336 |     861    14016    46854 | 2147483647    51118     30 |  0.000 % |
898.48/899.04	c |   1223815 |     861    14016    46854 | 2147483647    53597     30 |  0.000 % |
900.48/901.02	c |   1226542 |     861    14016    46854 | 2147483647    56324     30 |  0.000 % |
902.88/903.41	c |   1229540 |     861    14016    46854 | 2147483647    59322     31 |  0.000 % |
905.88/906.48	c |   1232837 |     861    14016    46854 |    59784    55800     30 |  0.000 % |
909.37/909.96	c |   1236462 |     861    14016    46854 |    59784    59425     30 |  0.000 % |
913.27/913.82	c |   1240449 |     861    14016    46854 |    52971    44518     29 |  0.000 % |
916.97/917.57	c |   1244835 |     861    14016    46854 |    52971    48904     29 |  0.000 % |
920.67/921.24	c |   1249658 |     861    14016    46854 |    52971    45523     28 |  0.000 % |
924.97/925.55	c |   1254965 |     861    14016    46854 |    45865    43879     28 |  0.000 % |
929.66/930.27	c |   1260800 |     861    14016    46854 |    43271    38773     28 |  0.000 % |
935.26/935.80	c |   1267218 |     861    14016    46854 |    43271    40553     28 |  0.000 % |
941.76/942.36	c |   1274278 |     861    14016    46854 |    43336    43121     28 |  0.000 % |
948.86/949.41	c |   1282042 |     861    14016    46854 |    39349    37099     28 |  0.000 % |
954.45/955.08	c |   1290582 |     861    14016    46854 | 2147483647    37753     29 |  0.000 % |
961.75/962.30	c |   1299977 |     861    14016    46854 | 2147483647    47148     30 |  0.000 % |
970.25/970.80	c |   1310311 |     861    14016    46854 |    45839    40427     29 |  0.000 % |
977.35/977.95	c |   1321678 |     861    14016    46854 |    44139    40031     28 |  0.000 % |
977.45/978.01	c |   1321780 |     861    14016    46854 |    44139    40133     28 |  0.000 % |
977.45/978.06	c |   1321890 |     861    14016    46854 |    44139    40243     28 |  0.000 % |
977.55/978.10	c |   1322011 |     861    14016    46854 |    44139    40364     28 |  0.000 % |
977.55/978.17	c |   1322144 |     861    14016    46854 |    44139    40497     28 |  0.000 % |
977.65/978.25	c |   1322290 |     861    14016    46854 |    44139    40643     28 |  0.000 % |
977.75/978.37	c |   1322451 |     861    14016    46854 |    44139    40804     28 |  0.000 % |
977.85/978.49	c |   1322627 |     861    14016    46854 |    44139    40980     28 |  0.000 % |
978.04/978.60	c |   1322821 |     861    14016    46854 |    44139    41174     28 |  0.000 % |
978.14/978.72	c |   1323033 |     861    14016    46854 |    44139    41386     29 |  0.000 % |
978.35/978.93	c |   1323266 |     861    14016    46854 |    44139    41619     29 |  0.000 % |
978.54/979.18	c |   1323523 |     861    14016    46854 |    44139    41876     29 |  0.000 % |
978.74/979.39	c |   1323804 |     861    14016    46854 |    44139    42157     29 |  0.000 % |
979.04/979.63	c |   1324114 |     861    14016    46854 |    44139    42467     29 |  0.000 % |
979.24/979.83	c |   1324453 |     861    14016    46854 |    44139    42806     29 |  0.000 % |
979.45/980.06	c |   1324826 |     861    14016    46854 |    44139    43179     29 |  0.000 % |
979.74/980.37	c |   1325235 |     861    14016    46854 |    44139    43588     29 |  0.000 % |
980.04/980.65	c |   1325685 |     861    14016    46854 |    44139    44038     29 |  0.000 % |
980.55/981.13	c |   1326180 |     861    14016    46854 |    44139    39735     28 |  0.000 % |
980.94/981.50	c |   1326722 |     861    14016    46854 |    44139    40277     28 |  0.000 % |
981.24/981.83	c |   1327319 |     861    14016    46854 |    44139    40874     28 |  0.000 % |
981.65/982.25	c |   1327974 |     861    14016    46854 |    44139    41529     29 |  0.000 % |
982.24/982.82	c |   1328695 |     861    14016    46854 |    44139    42250     29 |  0.000 % |
982.85/983.43	c |   1329487 |     861    14016    46854 |    44139    43042     29 |  0.000 % |
983.34/983.99	c |   1330359 |     861    14016    46854 | 2147483647    43914     29 |  0.000 % |
984.04/984.62	c |   1331317 |     861    14016    46854 | 2147483647    44872     29 |  0.000 % |
984.84/985.42	c |   1332370 |     861    14016    46854 | 2147483647    45925     29 |  0.000 % |
985.44/986.04	c |   1333530 |     861    14016    46854 | 2147483647    47085     29 |  0.000 % |
986.44/987.00	c |   1334803 |     861    14016    46854 | 2147483647    48358     29 |  0.000 % |
987.44/988.03	c |   1336204 |     861    14016    46854 | 2147483647    49759     30 |  0.000 % |
988.54/989.12	c |   1337744 |     861    14016    46854 | 2147483647    51299     30 |  0.000 % |
989.74/990.40	c |   1339439 |     861    14016    46854 | 2147483647    52994     30 |  0.000 % |
991.34/991.92	c |   1341302 |     861    14016    46854 | 2147483647    54857     30 |  0.000 % |
992.94/993.52	c |   1343353 |     861    14016    46854 | 2147483647    56908     30 |  0.000 % |
994.54/995.10	c |   1345606 |     861    14016    46854 | 2147483647    59161     31 |  0.000 % |
996.43/997.08	c |   1348084 |     861    14016    46854 | 2147483647    61639     31 |  0.000 % |
998.73/999.38	c |   1350809 |     861    14016    46854 |    63555    54738     30 |  0.000 % |
1001.03/1001.67	c |   1353806 |     861    14016    46854 |    63555    57735     30 |  0.000 % |
1003.63/1004.22	c |   1357102 |     861    14016    46854 |    63555    61031     30 |  0.000 % |
1005.93/1006.52	c |   1360728 |     861    14016    46854 |    55665    49442     30 |  0.000 % |
1008.13/1008.75	c |   1364715 |     861    14016    46854 |    55665    53429     31 |  0.000 % |
1010.63/1011.22	c |   1369101 |     861    14016    46854 |    55665    52238     31 |  0.000 % |
1013.82/1014.40	c |   1373924 |     861    14016    46854 | 2147483647    57061     32 |  0.000 % |
1017.02/1017.61	c |   1379230 |     861    14016    46854 | 2147483647    62367     33 |  0.001 % |
1021.53/1022.11	c |   1385065 |     861    14016    46854 | 2147483647    68202     33 |  0.000 % |
1026.73/1027.38	c |   1391484 |     861    14016    46854 |    73138    65750     33 |  0.000 % |
1032.62/1033.24	c |   1398544 |     861    14016    46854 |    73138    72810     33 |  0.000 % |
1039.12/1039.73	c |   1406308 |     861    14016    46854 |    64649    62453     33 |  0.000 % |
1046.21/1046.86	c |   1414848 |     861    14016    46854 |    57281    54229     33 |  0.000 % |
1054.41/1055.09	c |   1424242 |     861    14016    46854 |    51676    48990     32 |  0.000 % |
1061.71/1062.35	c |   1434575 |     861    14016    46854 |    48503    47367     31 |  0.000 % |
1069.91/1070.51	c |   1445941 |     861    14016    46854 |    47907    44047     30 |  0.000 % |
1078.90/1079.59	c |   1458445 |     861    14016    46854 | 2147483647    51748     30 |  0.000 % |
1079.00/1079.66	c |   1458547 |     861    14016    46854 | 2147483647    51850     30 |  0.000 % |
1079.10/1079.74	c |   1458657 |     861    14016    46854 | 2147483647    51960     30 |  0.000 % |
1079.20/1079.84	c |   1458780 |     861    14016    46854 | 2147483647    52083     30 |  0.000 % |
1079.30/1079.93	c |   1458913 |     861    14016    46854 | 2147483647    52216     30 |  0.000 % |
1079.40/1080.03	c |   1459059 |     861    14016    46854 | 2147483647    52362     30 |  0.000 % |
1079.51/1080.17	c |   1459220 |     861    14016    46854 | 2147483647    52523     30 |  0.000 % |
1079.61/1080.28	c |   1459397 |     861    14016    46854 | 2147483647    52700     30 |  0.000 % |
1079.80/1080.46	c |   1459590 |     861    14016    46854 | 2147483647    52893     30 |  0.000 % |
1079.90/1080.59	c |   1459802 |     861    14016    46854 | 2147483647    53105     30 |  0.000 % |
1080.10/1080.74	c |   1460036 |     861    14016    46854 |    53303    53339     30 |  0.000 % |
1080.30/1080.92	c |   1460292 |     861    14016    46854 |    53303    47752     30 |  0.000 % |
1080.40/1081.07	c |   1460573 |     861    14016    46854 |    53303    48033     30 |  0.000 % |
1080.61/1081.26	c |   1460883 |     861    14016    46854 |    53303    48343     30 |  0.000 % |
1080.80/1081.46	c |   1461222 |     861    14016    46854 |    53303    48682     30 |  0.000 % |
1081.00/1081.65	c |   1461595 |     861    14016    46854 |    53303    49055     30 |  0.000 % |
1081.20/1081.87	c |   1462004 |     861    14016    46854 |    53303    49464     30 |  0.000 % |
1081.50/1082.12	c |   1462453 |     861    14016    46854 |    53303    49913     30 |  0.000 % |
1081.71/1082.38	c |   1462947 |     861    14016    46854 |    53303    50407     30 |  0.000 % |
1082.00/1082.64	c |   1463489 |     861    14016    46854 |    53303    50949     30 |  0.000 % |
1082.30/1082.95	c |   1464085 |     861    14016    46854 |    53303    51545     30 |  0.000 % |
1082.70/1083.36	c |   1464740 |     861    14016    46854 |    53303    52200     30 |  0.000 % |
1083.10/1083.73	c |   1465461 |     861    14016    46854 |    53303    52921     30 |  0.000 % |
1083.60/1084.26	c |   1466253 |     861    14016    46854 |    53303    48367     30 |  0.000 % |
1084.01/1084.60	c |   1467126 |     861    14016    46854 |    53303    49240     30 |  0.000 % |
1084.30/1084.99	c |   1468084 |     861    14016    46854 |    53303    50198     30 |  0.000 % |
1085.00/1085.66	c |   1469137 |     861    14016    46854 |    53303    51251     30 |  0.000 % |
1085.69/1086.30	c |   1470298 |     861    14016    46854 | 2147483647    52412     30 |  0.000 % |
1086.59/1087.21	c |   1471571 |     861    14016    46854 | 2147483647    53685     30 |  0.000 % |
1087.69/1088.31	c |   1472972 |     861    14016    46854 | 2147483647    55086     30 |  0.000 % |
1088.89/1089.52	c |   1474512 |     861    14016    46854 | 2147483647    56626     30 |  0.000 % |
1090.50/1091.16	c |   1476206 |     861    14016    46854 | 2147483647    58320     30 |  0.000 % |
1092.29/1092.98	c |   1478070 |     861    14016    46854 | 2147483647    60184     30 |  0.000 % |
1094.49/1095.14	c |   1480121 |     861    14016    46854 | 2147483647    62235     30 |  0.000 % |
1096.49/1097.18	c |   1482374 |     861    14016    46854 | 2147483647    64488     30 |  0.000 % |
1098.59/1099.29	c |   1484852 |     861    14016    46854 | 2147483647    66966     30 |  0.000 % |
1101.59/1102.22	c |   1487577 |     861    14016    46854 | 2147483647    69691     30 |  0.000 % |
1105.19/1105.80	c |   1490576 |     861    14016    46854 |    72115    62590     30 |  0.000 % |
1108.28/1108.95	c |   1493875 |     861    14016    46854 |    72115    65889     30 |  0.000 % |
1112.08/1112.70	c |   1497500 |     861    14016    46854 |    72115    69514     30 |  0.000 % |
1115.48/1116.15	c |   1501487 |     861    14016    46854 |    72014    61957     30 |  0.000 % |
1120.08/1120.74	c |   1505872 |     861    14016    46854 |    72014    66342     30 |  0.000 % |
1123.18/1123.83	c |   1510696 |     861    14016    46854 |    70470    59746     29 |  0.000 % |
1127.08/1127.72	c |   1516001 |     861    14016    46854 |    70470    65051     30 |  0.000 % |
1132.47/1133.18	c |   1521836 |     861    14016    46854 |    69053    59450     30 |  0.000 % |
1138.07/1138.70	c |   1528254 |     861    14016    46854 |    69053    65868     30 |  0.000 % |
1143.67/1144.34	c |   1535313 |     861    14016    46854 |    67616    61426     30 |  0.000 % |
1152.66/1153.30	c |   1543077 |     861    14016    46854 |    66114    55551     30 |  0.000 % |
1160.87/1161.51	c |   1551618 |     861    14016    46854 |    62477    51893     30 |  0.000 % |
1168.96/1169.64	c |   1561013 |     861    14016    46854 |    60275    49762     30 |  0.000 % |
1177.15/1177.86	c |   1571347 |     861    14016    46854 |    58749    50446     29 |  0.000 % |
1187.55/1188.29	c |   1582713 |     861    14016    46854 |    50767    46402     29 |  0.000 % |
1196.45/1197.16	c |   1595219 |     861    14016    46854 |    47891    47754     31 |  0.000 % |
1200.05/1200.70	HOME/SatELiteGTI: line 36: 31452 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-1832195-1242770323/watcher-1832195-1242770323 -o /tmp/evaluation-result-1832195-1242770323/solver-1832195-1242770323 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832195-1242770323.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 31446
/proc/meminfo: memFree=1877304/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305061453 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31446/statm: 1339 235 195 169 0 50 0
[pid=31447] ppid=31446 vsize=0 CPUtime=0
/proc/31447/stat : 31447 (SatELiteGTI) R 31446 31446 31324 0 -1 4194372 61 188 0 0 0 0 0 0 19 0 1 0 305061453 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 0 0 0 17 0 0 0
/proc/31447/statm: -- couldn't open statm file --
[startup+0.0628589 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31446
/proc/meminfo: memFree=1877304/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305061453 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31446/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10286 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31446
/proc/meminfo: memFree=1877304/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305061453 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31446/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302875 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31446
/proc/meminfo: memFree=1877304/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356

[startup+0.702921 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31446
/proc/meminfo: memFree=1877304/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356

[startup+1.50201 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31452
/proc/meminfo: memFree=1874856/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=3344 CPUtime=1.31
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 521 0 0 0 131 0 0 0 25 0 1 0 305061471 3424256 507 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 836 507 76 171 0 663 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8700

[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31452
/proc/meminfo: memFree=1874024/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=4940 CPUtime=2.91
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 927 0 0 0 291 0 0 0 25 0 1 0 305061471 5058560 913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 1235 913 76 171 0 1062 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10296

[startup+6.30156 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31452
/proc/meminfo: memFree=1871400/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=7096 CPUtime=6.09
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 1460 0 0 0 609 0 0 0 25 0 1 0 305061471 7266304 1446 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 1774 1446 76 171 0 1601 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12452

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31452
/proc/meminfo: memFree=1868392/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=9828 CPUtime=12.48
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 2122 0 0 0 1247 1 0 0 25 0 1 0 305061471 10063872 2108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 2457 2108 76 171 0 2284 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 15184

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31452
/proc/meminfo: memFree=1864488/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=13536 CPUtime=25.28
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3064 0 0 0 2525 3 0 0 25 0 1 0 305061471 13860864 3050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 3384 3050 76 171 0 3211 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 18892

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31452
/proc/meminfo: memFree=1862440/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=15512 CPUtime=50.86
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3535 0 0 0 5082 4 0 0 25 0 1 0 305061471 15884288 3521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 3878 3521 76 171 0 3705 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 20868

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31452
/proc/meminfo: memFree=1862184/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=15512 CPUtime=102.03
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3559 0 0 0 10199 4 0 0 25 0 1 0 305061471 15884288 3545 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 3878 3545 76 171 0 3705 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 20868

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1861672/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=15804 CPUtime=161.98
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3605 0 0 0 16194 4 0 0 25 0 1 0 305061471 16183296 3591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 3951 3591 76 171 0 3778 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 21160

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1861288/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=16244 CPUtime=221.96
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3704 0 0 0 22191 5 0 0 25 0 1 0 305061471 16633856 3690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4061 3690 76 171 0 3888 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 21600

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1860968/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=16512 CPUtime=281.92
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3766 0 0 0 28187 5 0 0 25 0 1 0 305061471 16908288 3752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4128 3752 76 171 0 3955 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 21868

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1860712/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=16656 CPUtime=341.89
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3804 0 0 0 34184 5 0 0 25 0 1 0 305061471 17055744 3790 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4164 3790 76 171 0 3991 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 22012

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1860392/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=16808 CPUtime=401.86
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3852 0 0 0 40181 5 0 0 25 0 1 0 305061471 17211392 3838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4202 3838 76 171 0 4029 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 22164

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

[pid=31452] ppid=31446 vsize=16960 CPUtime=521.79
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3871 0 0 0 52174 5 0 0 25 0 1 0 305061471 17367040 3857 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4240 3857 76 171 0 4067 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 22316

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1860008/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=16960 CPUtime=581.75
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3880 0 0 0 58170 5 0 0 25 0 1 0 305061471 17367040 3866 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4240 3866 76 171 0 4067 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 22316

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1859816/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=17096 CPUtime=641.73
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3903 0 0 0 64167 6 0 0 25 0 1 0 305061471 17506304 3889 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4274 3889 76 171 0 4101 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 22452

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1859624/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=17096 CPUtime=701.7
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3923 0 0 0 70164 6 0 0 25 0 1 0 305061471 17506304 3909 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4274 3909 76 171 0 4101 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 22452

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1859368/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=17240 CPUtime=761.68
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3962 0 0 0 76162 6 0 0 25 0 1 0 305061471 17653760 3948 1992294400 134512640 135215339 4294956240 18446744073709551615 134538506 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4310 3948 76 171 0 4137 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 22596

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1859112/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=17376 CPUtime=821.64
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3999 0 0 0 82158 6 0 0 25 0 1 0 305061471 17793024 3985 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4344 3985 76 171 0 4171 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 22732

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1859048/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=17376 CPUtime=881.62
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 3999 0 0 0 88156 6 0 0 25 0 1 0 305061471 17793024 3985 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4344 3985 76 171 0 4171 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 22732

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1858856/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=17532 CPUtime=941.59
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 4028 0 0 0 94153 6 0 0 25 0 1 0 305061471 17952768 4014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4383 4014 76 171 0 4210 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 22888

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1858536/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=17816 CPUtime=1001.56
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 4091 0 0 0 100150 6 0 0 25 0 1 0 305061471 18243584 4077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4454 4077 76 171 0 4281 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 23172

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1857384/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=18880 CPUtime=1061.54
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 4346 0 0 0 106147 7 0 0 25 0 1 0 305061471 19333120 4332 1992294400 134512640 135215339 4294956240 18446744073709551615 134539372 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4720 4332 76 171 0 4547 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 24236

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1857192/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=18880 CPUtime=1121.51
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 4365 0 0 0 112144 7 0 0 25 0 1 0 305061471 19333120 4351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4720 4351 76 171 0 4547 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 24236

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1857128/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=18880 CPUtime=1181.48
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 4365 0 0 0 118141 7 0 0 25 0 1 0 305061471 19333120 4351 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4720 4351 76 171 0 4547 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 24236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1857064/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=18880 CPUtime=1199.88
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 4365 0 0 0 119981 7 0 0 25 0 1 0 305061471 19333120 4351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4720 4351 76 171 0 4547 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 24236

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31458
/proc/meminfo: memFree=1857064/2055920 swapFree=4180328/4192956
[pid=31446] ppid=31444 vsize=5356 CPUtime=0.17
/proc/31446/stat : 31446 (SatELiteGTI) S 31444 31446 31324 0 -1 4194304 336 830 0 0 0 0 17 0 15 0 1 0 305061453 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31446/statm: 1339 239 197 169 0 50 0
[pid=31452] ppid=31446 vsize=18880 CPUtime=1199.88
/proc/31452/stat : 31452 (minisat_static) R 31446 31446 31324 0 -1 4194304 4365 0 0 0 119981 7 0 0 25 0 1 0 305061471 19333120 4351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/31452/statm: 4720 4351 76 171 0 4547 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 24236

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.07
CPU user time (s): 1199.99
CPU system time (s): 0.088986
CPU usage (%): 99.9469
Max. virtual memory (cumulated for all children) (KiB): 24236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.99
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5562
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= 30
involuntary context switches= 7119

runsolver used 1.3228 second user time and 3.18452 second system time

The end

Launcher Data

Begin job on node88 at 2009-05-19 23:58:43
IDJOB=1832195
IDBENCH=24618
IDSOLVER=671
FILE ID=node88/1832195-1242770323
PBS_JOBID= 9322216
Free space on /tmp= 66144 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832195-1242770323/watcher-1832195-1242770323 -o /tmp/evaluation-result-1832195-1242770323/solver-1832195-1242770323 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832195-1242770323.cnf

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

MD5SUM BENCH= b113aab739ba5e45a581d24e1a53a65a
RANDOM SEED=882859424

node88.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.229
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.229
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:       1877784 kB
Buffers:         13104 kB
Cached:         129052 kB
SwapCached:       6832 kB
Active:          30504 kB
Inactive:       120508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1877784 kB
SwapTotal:     4192956 kB
SwapFree:      4180328 kB
Dirty:            1808 kB
Writeback:           0 kB
Mapped:          13960 kB
Slab:            13028 kB
Committed_AS:   842604 kB
PageTables:       1448 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= 66140 MiB
End job on node88 at 2009-05-20 00:18:46