Trace number 1832375

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.1 1200.51

General information on the benchmark

Namecrafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
MD5SUMd8fa78c834564753f42ad3a5aaefa23a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark256.362
Satisfiable
(Un)Satisfiability was proved
Number of variables796
Number of clauses10039
Sum of the clauses size30316
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 39840
Number of clauses of size 4199
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 |   10039    30316 |    3011       0        0     nan |  0.000 % |
0.00/0.12	c |         0 |    9840    32882 |      --       0       --      -- |     --   | -199/2566
0.00/0.12	c ==============================================================================
0.00/0.12	c Result  :   #vars: 597   #clauses: 9840   #literals: 32882
0.00/0.12	c CPU time:   0.114982 s
0.00/0.12	c ==============================================================================
0.00/0.13	c This is MiniSat 2.0 beta
0.00/0.13	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.13	c ============================[ Problem Statistics ]=============================
0.00/0.13	c |                                                                             |
0.00/0.13	c |  Number of variables:  597                                                  |
0.00/0.13	c |  Number of clauses:    9840                                                 |
0.00/0.14	c |  Parsing time:         0.01         s                                       |
0.00/0.14	c ============================[ Search Statistics ]==============================
0.00/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.14	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.14	c ===============================================================================
0.00/0.14	c |         0 |     597     9840    32882 |     3280        0    nan |  0.000 % |
0.00/0.15	c |       100 |     597     9840    32882 |     3280      100     19 |  0.000 % |
0.00/0.15	c |       200 |     597     9840    32882 |     3280      200     19 |  0.000 % |
0.00/0.16	c |       301 |     597     9840    32882 |     3280      301     19 |  0.000 % |
0.00/0.16	c |       411 |     597     9840    32882 |     3280      411     18 |  0.000 % |
0.00/0.17	c |       511 |     597     9840    32882 |     3280      511     17 |  0.000 % |
0.00/0.18	c |       621 |     597     9840    32882 |     3280      621     18 |  0.000 % |
0.00/0.19	c |       742 |     597     9840    32882 |     3280      742     17 |  0.000 % |
0.00/0.19	c |       845 |     597     9840    32882 |     3280      845     18 |  0.000 % |
0.12/0.20	c |       957 |     597     9840    32882 |     3280      957     17 |  0.000 % |
0.12/0.21	c |      1079 |     597     9840    32882 |     3280     1079     17 |  0.000 % |
0.12/0.22	c |      1212 |     597     9840    32882 |     3280     1212     17 |  0.000 % |
0.12/0.23	c |      1312 |     597     9840    32882 |     3280     1312     17 |  0.000 % |
0.12/0.24	c |      1423 |     597     9840    32882 |     3280     1423     17 |  0.000 % |
0.12/0.25	c |      1546 |     597     9840    32882 |     3280     1546     18 |  0.000 % |
0.12/0.25	c |      1681 |     597     9840    32882 |     3280     1681     18 |  0.000 % |
0.12/0.26	c |      1827 |     597     9840    32882 |     3280     1827     18 |  0.000 % |
0.12/0.27	c |      1927 |     597     9840    32882 |     3280     1927     18 |  0.000 % |
0.12/0.28	c |      2037 |     597     9840    32882 |     3280     2037     18 |  0.000 % |
0.12/0.29	c |      2158 |     597     9840    32882 |     3280     2158     18 |  0.001 % |
0.12/0.30	c |      2294 |     597     9840    32882 |     3280     2294     18 |  0.000 % |
0.12/0.31	c |      2440 |     597     9840    32882 |     3280     2440     18 |  0.000 % |
0.12/0.32	c |      2601 |     597     9840    32882 |     3280     2601     18 |  0.001 % |
0.12/0.33	c |      2701 |     597     9840    32882 |     3280     2701     18 |  0.000 % |
0.12/0.34	c |      2811 |     597     9840    32882 |     3280     2811     18 |  0.001 % |
0.12/0.35	c |      2932 |     597     9840    32882 |     3280     2932     18 |  0.001 % |
0.12/0.36	c |      3065 |     597     9840    32882 |     3280     3065     18 |  0.001 % |
0.12/0.38	c |      3212 |     597     9840    32882 |     3280     3212     18 |  0.001 % |
0.12/0.39	c |      3372 |     597     9840    32882 |     3280     3042     18 |  0.000 % |
0.12/0.41	c |      3548 |     597     9840    32882 |     3280     3218     18 |  0.000 % |
0.12/0.42	c |      3651 |     597     9840    32882 |     3280     3321     18 |  0.000 % |
0.12/0.43	c |      3761 |     597     9840    32882 |     3280     3099     17 |  0.000 % |
0.12/0.44	c |      3882 |     597     9840    32882 |     3280     3220     17 |  0.001 % |
0.12/0.45	c |      4015 |     597     9840    32882 |     3280     3022     17 |  0.001 % |
0.12/0.47	c |      4163 |     597     9840    32882 |     3280     3170     17 |  0.001 % |
0.12/0.48	c |      4324 |     597     9840    32882 |     3280     3000     17 |  0.001 % |
0.12/0.50	c |      4502 |     597     9840    32882 |     3280     3178     17 |  0.001 % |
0.12/0.52	c |      4697 |     597     9840    32882 |     3280     3039     16 |  0.000 % |
0.12/0.53	c |      4797 |     597     9840    32882 |     3280     3139     17 |  0.001 % |
0.12/0.54	c |      4907 |     597     9840    32882 |     3280     3249     17 |  0.001 % |
0.12/0.55	c |      5029 |     597     9840    32882 |     3280     3035     17 |  0.001 % |
0.12/0.56	c |      5162 |     597     9840    32882 |     3280     3168     17 |  0.001 % |
0.12/0.58	c |      5309 |     597     9840    32882 |     3280     3315     17 |  0.001 % |
0.12/0.59	c |      5469 |     597     9840    32882 |     3280     3144     16 |  0.001 % |
0.12/0.61	c |      5649 |     597     9840    32882 |     3280     3324     16 |  0.001 % |
0.12/0.63	c |      5845 |     597     9840    32882 |     3280     3188     16 |  0.001 % |
0.12/0.65	c |      6057 |     597     9840    32882 |     3280     3069     16 |  0.000 % |
0.12/0.66	c |      6159 |     597     9840    32882 |     3280     3171     16 |  0.001 % |
0.12/0.67	c |      6269 |     597     9840    32882 |     3280     3281     16 |  0.001 % |
0.12/0.68	c |      6391 |     597     9840    32882 |     3280     3075     16 |  0.001 % |
0.12/0.69	c |      6524 |     597     9840    32882 |     3280     3208     16 |  0.000 % |
0.12/0.71	c |      6673 |     597     9840    32882 |     3280     3026     16 |  0.001 % |
0.12/0.73	c |      6835 |     597     9840    32882 |     3280     3188     16 |  0.001 % |
0.12/0.74	c |      7011 |     597     9840    32882 |     3280     3032     16 |  0.001 % |
0.12/0.76	c |      7204 |     597     9840    32882 |     3280     3225     16 |  0.001 % |
0.12/0.78	c |      7417 |     597     9840    32882 |     3280     3106     16 |  0.000 % |
0.12/0.80	c |      7650 |     597     9840    32882 |     3280     3006     16 |  0.001 % |
0.12/0.81	c |      7750 |     597     9840    32882 |     3280     3106     16 |  0.001 % |
0.12/0.82	c |      7861 |     597     9840    32882 |     3280     3217     16 |  0.001 % |
0.12/0.83	c |      7983 |     597     9840    32882 |     3280     3339     16 |  0.001 % |
0.12/0.84	c |      8116 |     597     9840    32882 |     3280     3139     16 |  0.001 % |
0.12/0.85	c |      8263 |     597     9840    32882 |     3280     3286     16 |  0.001 % |
0.12/0.87	c |      8423 |     597     9840    32882 |     3280     3118     16 |  0.001 % |
0.12/0.88	c |      8599 |     597     9840    32882 |     3280     3294     16 |  0.001 % |
0.12/0.90	c |      8792 |     597     9840    32882 |     3280     3158     16 |  0.001 % |
0.12/0.92	c |      9004 |     597     9840    32882 |     3280     3036     16 |  0.001 % |
0.12/0.94	c |      9237 |     597     9840    32882 |     3280     3269     16 |  0.000 % |
0.12/0.97	c |      9493 |     597     9840    32882 |     3280     3192     17 |  0.001 % |
0.12/0.98	c |      9595 |     597     9840    32882 |     3280     3294     17 |  0.001 % |
0.12/0.99	c |      9706 |     597     9840    32882 |     3280     3076     17 |  0.000 % |
0.12/1.00	c |      9828 |     597     9840    32882 |     3280     3198     16 |  0.000 % |
0.98/1.02	c |      9961 |     597     9840    32882 |     3280     2999     16 |  0.001 % |
0.98/1.03	c |     10107 |     597     9840    32882 | 2147483647     3145     16 |  0.000 % |
0.98/1.05	c |     10267 |     597     9840    32882 | 2147483647     3305     16 |  0.001 % |
0.98/1.06	c |     10443 |     597     9840    32882 | 2147483647     3481     16 |  0.001 % |
0.98/1.08	c |     10636 |     597     9840    32882 | 2147483647     3674     16 |  0.001 % |
1.08/1.11	c |     10849 |     597     9840    32882 | 2147483647     3887     17 |  0.000 % |
1.08/1.13	c |     11083 |     597     9840    32882 | 2147483647     4121     17 |  0.001 % |
1.08/1.16	c |     11339 |     597     9840    32882 | 2147483647     4377     17 |  0.001 % |
1.08/1.19	c |     11623 |     597     9840    32882 | 2147483647     4661     17 |  0.001 % |
1.17/1.20	c |     11724 |     597     9840    32882 | 2147483647     4762     17 |  0.001 % |
1.17/1.21	c |     11835 |     597     9840    32882 | 2147483647     4873     17 |  0.001 % |
1.17/1.23	c |     11958 |     597     9840    32882 | 2147483647     4996     17 |  0.001 % |
1.17/1.24	c |     12091 |     597     9840    32882 | 2147483647     5129     17 |  0.001 % |
1.17/1.25	c |     12239 |     597     9840    32882 | 2147483647     5277     17 |  0.001 % |
1.17/1.27	c |     12401 |     597     9840    32882 | 2147483647     5439     17 |  0.001 % |
1.17/1.29	c |     12577 |     597     9840    32882 | 2147483647     5615     17 |  0.000 % |
1.27/1.31	c |     12771 |     597     9840    32882 | 2147483647     5809     17 |  0.000 % |
1.27/1.34	c |     12984 |     597     9840    32882 | 2147483647     6022     17 |  0.001 % |
1.27/1.36	c |     13218 |     597     9840    32882 | 2147483647     6256     17 |  0.001 % |
1.27/1.39	c |     13474 |     597     9840    32882 | 2147483647     6512     17 |  0.001 % |
1.37/1.42	c |     13755 |     597     9840    32882 | 2147483647     6793     17 |  0.001 % |
1.37/1.46	c |     14064 |     597     9840    32882 | 2147483647     7102     17 |  0.000 % |
1.37/1.47	c |     14164 |     597     9840    32882 | 2147483647     7202     17 |  0.000 % |
1.37/1.49	c |     14275 |     597     9840    32882 | 2147483647     7313     17 |  0.001 % |
1.47/1.50	c |     14396 |     597     9840    32882 | 2147483647     7434     17 |  0.001 % |
1.47/1.51	c |     14529 |     597     9840    32882 | 2147483647     7567     17 |  0.000 % |
1.47/1.53	c |     14676 |     597     9840    32882 | 2147483647     7714     17 |  0.000 % |
1.47/1.55	c |     14838 |     597     9840    32882 | 2147483647     7876     17 |  0.001 % |
1.47/1.58	c |     15015 |     597     9840    32882 | 2147483647     8053     17 |  0.001 % |
1.57/1.60	c |     15210 |     597     9840    32882 | 2147483647     8248     17 |  0.001 % |
1.57/1.63	c |     15424 |     597     9840    32882 | 2147483647     8462     17 |  0.001 % |
1.57/1.66	c |     15661 |     597     9840    32882 | 2147483647     8699     17 |  0.001 % |
1.57/1.69	c |     15918 |     597     9840    32882 | 2147483647     8956     17 |  0.001 % |
1.67/1.72	c |     16202 |     597     9840    32882 | 2147483647     9240     17 |  0.001 % |
1.67/1.76	c |     16511 |     597     9840    32882 | 2147483647     9549     17 |  0.001 % |
1.77/1.80	c |     16850 |     597     9840    32882 | 2147483647     9888     17 |  0.001 % |
1.77/1.82	c |     16950 |     597     9840    32882 | 2147483647     9988     17 |  0.001 % |
1.77/1.83	c |     17062 |     597     9840    32882 | 2147483647    10100     17 |  0.001 % |
1.77/1.85	c |     17184 |     597     9840    32882 | 2147483647    10222     17 |  0.001 % |
1.77/1.87	c |     17321 |     597     9840    32882 | 2147483647    10359     17 |  0.000 % |
1.77/1.89	c |     17471 |     597     9840    32882 | 2147483647    10509     17 |  0.001 % |
1.87/1.92	c |     17633 |     597     9840    32882 | 2147483647    10671     17 |  0.001 % |
1.87/1.94	c |     17809 |     597     9840    32882 | 2147483647    10847     17 |  0.001 % |
1.87/1.97	c |     18002 |     597     9840    32882 | 2147483647    11040     17 |  0.001 % |
1.97/2.00	c |     18214 |     597     9840    32882 | 2147483647    11252     17 |  0.001 % |
1.97/2.03	c |     18447 |     597     9840    32882 | 2147483647    11485     17 |  0.001 % |
1.97/2.07	c |     18705 |     597     9840    32882 | 2147483647    11743     17 |  0.001 % |
2.07/2.11	c |     18987 |     597     9840    32882 | 2147483647    12025     17 |  0.001 % |
2.07/2.16	c |     19296 |     597     9840    32882 | 2147483647    12334     17 |  0.001 % |
2.17/2.21	c |     19635 |     597     9840    32882 | 2147483647    12673     17 |  0.001 % |
2.17/2.26	c |     20007 |     597     9840    32882 | 2147483647    13045     17 |  0.001 % |
2.17/2.28	c |     20107 |     597     9840    32882 | 2147483647    13145     17 |  0.001 % |
2.17/2.30	c |     20217 |     597     9840    32882 | 2147483647    13255     17 |  0.001 % |
2.27/2.32	c |     20339 |     597     9840    32882 | 2147483647    13377     17 |  0.001 % |
2.27/2.34	c |     20473 |     597     9840    32882 | 2147483647    13511     17 |  0.001 % |
2.27/2.36	c |     20619 |     597     9840    32882 | 2147483647    13657     17 |  0.001 % |
2.27/2.38	c |     20781 |     597     9840    32882 | 2147483647    13819     17 |  0.000 % |
2.37/2.42	c |     20958 |     597     9840    32882 | 2147483647    13996     17 |  0.001 % |
2.37/2.44	c |     21152 |     597     9840    32882 | 2147483647    14190     17 |  0.000 % |
2.37/2.47	c |     21364 |     597     9840    32882 | 2147483647    14402     17 |  0.001 % |
2.47/2.50	c |     21598 |     597     9840    32882 | 2147483647    14636     17 |  0.001 % |
2.47/2.54	c |     21855 |     597     9840    32882 | 2147483647    14893     18 |  0.001 % |
2.47/2.58	c |     22136 |     597     9840    32882 | 2147483647    15174     18 |  0.001 % |
2.57/2.63	c |     22446 |     597     9840    32882 | 2147483647    15484     17 |  0.001 % |
2.57/2.68	c |     22785 |     597     9840    32882 | 2147483647    15823     18 |  0.001 % |
2.67/2.75	c |     23159 |     597     9840    32882 | 2147483647    16197     18 |  0.001 % |
2.77/2.82	c |     23570 |     597     9840    32882 | 2147483647    16608     18 |  0.001 % |
2.77/2.83	c |     23671 |     597     9840    32882 | 2147483647    16709     18 |  0.001 % |
2.77/2.85	c |     23781 |     597     9840    32882 | 2147483647    16819     18 |  0.001 % |
2.77/2.87	c |     23903 |     597     9840    32882 | 2147483647    16941     18 |  0.001 % |
2.77/2.89	c |     24037 |     597     9840    32882 | 2147483647    17075     18 |  0.001 % |
2.87/2.92	c |     24183 |     597     9840    32882 | 2147483647    17221     18 |  0.001 % |
2.87/2.94	c |     24344 |     597     9840    32882 | 2147483647    17382     18 |  0.001 % |
2.87/2.97	c |     24521 |     597     9840    32882 | 2147483647    17559     18 |  0.001 % |
2.97/3.00	c |     24714 |     597     9840    32882 | 2147483647    17752     18 |  0.001 % |
2.97/3.04	c |     24927 |     597     9840    32882 | 2147483647    17965     18 |  0.000 % |
2.97/3.08	c |     25160 |     597     9840    32882 | 2147483647    18198     18 |  0.000 % |
3.07/3.12	c |     25417 |     597     9840    32882 | 2147483647    18455     18 |  0.001 % |
3.07/3.17	c |     25702 |     597     9840    32882 | 2147483647    18740     18 |  0.001 % |
3.17/3.23	c |     26011 |     597     9840    32882 | 2147483647    19049     18 |  0.001 % |
3.17/3.29	c |     26350 |     597     9840    32882 | 2147483647    19388     18 |  0.001 % |
3.27/3.36	c |     26722 |     597     9840    32882 | 2147483647    19760     18 |  0.001 % |
3.37/3.45	c |     27132 |     597     9840    32882 | 2147483647    20170     18 |  0.001 % |
3.47/3.54	c |     27581 |     597     9840    32882 | 2147483647    20619     18 |  0.001 % |
3.47/3.56	c |     27681 |     597     9840    32882 | 2147483647    20719     18 |  0.001 % |
3.47/3.58	c |     27791 |     597     9840    32882 | 2147483647    20829     18 |  0.001 % |
3.57/3.61	c |     27913 |     597     9840    32882 | 2147483647    20951     18 |  0.001 % |
3.57/3.64	c |     28046 |     597     9840    32882 | 2147483647    21084     18 |  0.001 % |
3.57/3.67	c |     28193 |     597     9840    32882 | 2147483647    21231     18 |  0.001 % |
3.67/3.70	c |     28355 |     597     9840    32882 | 2147483647    21393     18 |  0.001 % |
3.67/3.74	c |     28531 |     597     9840    32882 | 2147483647    21569     18 |  0.001 % |
3.67/3.78	c |     28726 |     597     9840    32882 | 2147483647    21764     18 |  0.001 % |
3.77/3.83	c |     28940 |     597     9840    32882 | 2147483647    21978     18 |  0.000 % |
3.77/3.88	c |     29173 |     597     9840    32882 | 2147483647    22211     18 |  0.001 % |
3.87/3.93	c |     29429 |     597     9840    32882 | 2147483647    22467     18 |  0.000 % |
3.87/3.99	c |     29710 |     597     9840    32882 | 2147483647    22748     18 |  0.001 % |
3.97/4.05	c |     30020 |     597     9840    32882 | 2147483647    23058     18 |  0.001 % |
4.07/4.13	c |     30359 |     597     9840    32882 | 2147483647    23397     18 |  0.001 % |
4.17/4.21	c |     30732 |     597     9840    32882 | 2147483647    23770     18 |  0.001 % |
4.27/4.31	c |     31141 |     597     9840    32882 | 2147483647    24179     18 |  0.001 % |
4.37/4.41	c |     31591 |     597     9840    32882 | 2147483647    24629     18 |  0.001 % |
4.47/4.52	c |     32084 |     597     9840    32882 | 2147483647    25122     18 |  0.001 % |
4.47/4.54	c |     32184 |     597     9840    32882 | 2147483647    25222     18 |  0.001 % |
4.47/4.57	c |     32295 |     597     9840    32882 | 2147483647    25333     18 |  0.001 % |
4.57/4.60	c |     32418 |     597     9840    32882 | 2147483647    25456     18 |  0.001 % |
4.57/4.63	c |     32551 |     597     9840    32882 | 2147483647    25589     18 |  0.001 % |
4.57/4.67	c |     32697 |     597     9840    32882 | 2147483647    25735     18 |  0.001 % |
4.67/4.71	c |     32858 |     597     9840    32882 | 2147483647    25896     18 |  0.001 % |
4.67/4.75	c |     33034 |     597     9840    32882 | 2147483647    26072     18 |  0.001 % |
4.67/4.79	c |     33229 |     597     9840    32882 | 2147483647    26267     18 |  0.001 % |
4.76/4.85	c |     33442 |     597     9840    32882 | 2147483647    26480     18 |  0.001 % |
4.86/4.92	c |     33678 |     597     9840    32882 | 2147483647    26716     18 |  0.001 % |
4.86/4.98	c |     33936 |     597     9840    32882 | 2147483647    26974     18 |  0.001 % |
4.97/5.05	c |     34217 |     597     9840    32882 | 2147483647    27255     18 |  0.001 % |
5.07/5.13	c |     34526 |     597     9840    32882 | 2147483647    27564     18 |  0.001 % |
5.17/5.21	c |     34866 |     597     9840    32882 | 2147483647    27904     18 |  0.001 % |
5.27/5.32	c |     35240 |     597     9840    32882 | 2147483647    28278     18 |  0.001 % |
5.38/5.43	c |     35651 |     597     9840    32882 | 2147483647    28689     18 |  0.001 % |
5.48/5.54	c |     36101 |     597     9840    32882 | 2147483647    29139     18 |  0.001 % |
5.57/5.66	c |     36594 |     597     9840    32882 | 2147483647    29632     18 |  0.001 % |
5.77/5.81	c |     37136 |     597     9840    32882 | 2147483647    30174     18 |  0.001 % |
5.77/5.84	c |     37238 |     597     9840    32882 | 2147483647    30276     18 |  0.001 % |
5.77/5.87	c |     37349 |     597     9840    32882 | 2147483647    30387     18 |  0.001 % |
5.87/5.90	c |     37471 |     597     9840    32882 | 2147483647    30509     18 |  0.000 % |
5.87/5.93	c |     37604 |     597     9840    32882 | 2147483647    30642     18 |  0.001 % |
5.87/5.97	c |     37751 |     597     9840    32882 | 2147483647    30789     18 |  0.001 % |
5.97/6.01	c |     37911 |     597     9840    32882 | 2147483647    30949     18 |  0.001 % |
5.97/6.06	c |     38088 |     597     9840    32882 | 2147483647    31126     18 |  0.001 % |
6.07/6.11	c |     38282 |     597     9840    32882 | 2147483647    31320     18 |  0.001 % |
6.17/6.20	c |     38495 |     597     9840    32882 | 2147483647    31533     18 |  0.001 % |
6.17/6.26	c |     38728 |     597     9840    32882 | 2147483647    31766     18 |  0.001 % |
6.27/6.34	c |     38984 |     597     9840    32882 | 2147483647    32022     18 |  0.000 % |
6.37/6.41	c |     39266 |     597     9840    32882 | 2147483647    32304     18 |  0.001 % |
6.37/6.50	c |     39575 |     597     9840    32882 | 2147483647    32613     18 |  0.001 % |
6.48/6.60	c |     39917 |     597     9840    32882 | 2147483647    32955     18 |  0.000 % |
6.67/6.71	c |     40290 |     597     9840    32882 | 2147483647    33328     18 |  0.000 % |
6.77/6.83	c |     40699 |     597     9840    32882 | 2147483647    33737     18 |  0.000 % |
6.87/6.95	c |     41152 |     597     9840    32882 | 2147483647    34190     18 |  0.001 % |
7.07/7.11	c |     41645 |     597     9840    32882 | 2147483647    34683     18 |  0.000 % |
7.17/7.29	c |     42188 |     597     9840    32882 | 2147483647    35226     18 |  0.000 % |
7.37/7.48	c |     42785 |     597     9840    32882 | 2147483647    35823     18 |  0.001 % |
7.47/7.51	c |     42887 |     597     9840    32882 | 2147483647    35925     18 |  0.001 % |
7.47/7.55	c |     42998 |     597     9840    32882 | 2147483647    36036     18 |  0.001 % |
7.47/7.59	c |     43120 |     597     9840    32882 | 2147483647    36158     18 |  0.001 % |
7.57/7.64	c |     43253 |     597     9840    32882 | 2147483647    36291     18 |  0.001 % |
7.67/7.70	c |     43401 |     597     9840    32882 | 2147483647    36439     18 |  0.001 % |
7.67/7.76	c |     43562 |     597     9840    32882 | 2147483647    36600     18 |  0.001 % |
7.77/7.83	c |     43738 |     597     9840    32882 | 2147483647    36776     18 |  0.000 % |
7.87/7.90	c |     43932 |     597     9840    32882 | 2147483647    36970     18 |  0.001 % |
7.87/7.97	c |     44144 |     597     9840    32882 | 2147483647    37182     18 |  0.001 % |
7.97/8.06	c |     44378 |     597     9840    32882 | 2147483647    37416     18 |  0.001 % |
8.07/8.15	c |     44636 |     597     9840    32882 | 2147483647    37674     18 |  0.001 % |
8.17/8.25	c |     44917 |     597     9840    32882 | 2147483647    37955     18 |  0.001 % |
8.27/8.35	c |     45227 |     597     9840    32882 | 2147483647    38265     18 |  0.001 % |
8.37/8.46	c |     45566 |     597     9840    32882 | 2147483647    38604     18 |  0.001 % |
8.47/8.59	c |     45938 |     597     9840    32882 | 2147483647    38976     18 |  0.001 % |
8.67/8.76	c |     46348 |     597     9840    32882 | 2147483647    39386     18 |  0.001 % |
8.87/8.93	c |     46797 |     597     9840    32882 | 2147483647    39835     18 |  0.001 % |
9.07/9.11	c |     47292 |     597     9840    32882 | 2147483647    40330     18 |  0.001 % |
9.27/9.32	c |     47835 |     597     9840    32882 | 2147483647    40873     18 |  0.001 % |
9.47/9.55	c |     48432 |     597     9840    32882 | 2147483647    41470     18 |  0.001 % |
9.77/9.80	c |     49088 |     597     9840    32882 | 2147483647    42126     18 |  0.001 % |
9.77/9.85	c |     49192 |     597     9840    32882 | 2147483647    42230     18 |  0.001 % |
9.77/9.89	c |     49302 |     597     9840    32882 | 2147483647    42340     18 |  0.001 % |
9.87/9.94	c |     49427 |     597     9840    32882 | 2147483647    42465     18 |  0.001 % |
9.96/10.00	c |     49560 |     597     9840    32882 | 2147483647    42598     18 |  0.001 % |
9.96/10.06	c |     49707 |     597     9840    32882 | 2147483647    42745     18 |  0.001 % |
10.06/10.12	c |     49868 |     597     9840    32882 | 2147483647    42906     18 |  0.001 % |
10.06/10.18	c |     50044 |     597     9840    32882 | 2147483647    43082     18 |  0.001 % |
10.16/10.25	c |     50238 |     597     9840    32882 | 2147483647    43276     18 |  0.001 % |
10.26/10.33	c |     50453 |     597     9840    32882 | 2147483647    43491     18 |  0.000 % |
10.36/10.41	c |     50688 |     597     9840    32882 | 2147483647    43726     18 |  0.001 % |
10.46/10.52	c |     50944 |     597     9840    32882 | 2147483647    43982     18 |  0.001 % |
10.56/10.65	c |     51226 |     597     9840    32882 | 2147483647    44264     18 |  0.001 % |
10.66/10.78	c |     51535 |     597     9840    32882 | 2147483647    44573     18 |  0.001 % |
10.87/10.94	c |     51875 |     597     9840    32882 | 2147483647    44913     18 |  0.001 % |
11.06/11.10	c |     52248 |     597     9840    32882 | 2147483647    45286     18 |  0.001 % |
11.26/11.30	c |     52658 |     597     9840    32882 | 2147483647    45696     18 |  0.001 % |
11.36/11.49	c |     53108 |     597     9840    32882 | 2147483647    46146     18 |  0.001 % |
11.56/11.69	c |     53602 |     597     9840    32882 | 2147483647    46640     18 |  0.001 % |
11.87/11.93	c |     54145 |     597     9840    32882 | 2147483647    47183     18 |  0.001 % |
12.17/12.20	c |     54743 |     597     9840    32882 | 2147483647    47781     18 |  0.001 % |
12.37/12.49	c |     55399 |     597     9840    32882 | 2147483647    48437     18 |  0.001 % |
12.77/12.83	c |     56119 |     597     9840    32882 | 2147483647    49157     18 |  0.001 % |
12.77/12.88	c |     56219 |     597     9840    32882 | 2147483647    49257     18 |  0.000 % |
12.87/12.93	c |     56330 |     597     9840    32882 | 2147483647    49368     18 |  0.001 % |
12.87/12.99	c |     56451 |     597     9840    32882 | 2147483647    49489     18 |  0.001 % |
12.97/13.05	c |     56587 |     597     9840    32882 | 2147483647    49625     18 |  0.001 % |
13.07/13.12	c |     56734 |     597     9840    32882 | 2147483647    49772     18 |  0.001 % |
13.07/13.20	c |     56895 |     597     9840    32882 | 2147483647    49933     18 |  0.001 % |
13.27/13.30	c |     57071 |     597     9840    32882 | 2147483647    50109     18 |  0.001 % |
13.27/13.39	c |     57265 |     597     9840    32882 | 2147483647    50303     18 |  0.001 % |
13.47/13.51	c |     57478 |     597     9840    32882 | 2147483647    50516     18 |  0.001 % |
13.57/13.62	c |     57711 |     597     9840    32882 | 2147483647    50749     18 |  0.001 % |
13.67/13.71	c |     57969 |     597     9840    32882 | 2147483647    51007     18 |  0.001 % |
13.77/13.84	c |     58252 |     597     9840    32882 | 2147483647    51290     18 |  0.000 % |
13.87/13.99	c |     58564 |     597     9840    32882 | 2147483647    51602     18 |  0.001 % |
14.07/14.17	c |     58907 |     597     9840    32882 | 2147483647    51945     18 |  0.001 % |
14.27/14.37	c |     59281 |     597     9840    32882 | 2147483647    52319     18 |  0.001 % |
14.47/14.56	c |     59690 |     597     9840    32882 | 2147483647    52728     18 |  0.001 % |
14.87/14.93	c |     60141 |     597     9840    32882 |    53039    46022     18 |  0.001 % |
15.07/15.13	c |     60635 |     597     9840    32882 |    53039    46516     18 |  0.001 % |
15.27/15.39	c |     61177 |     597     9840    32882 |    53039    47058     18 |  0.001 % |
15.57/15.66	c |     61774 |     597     9840    32882 |    53039    47655     18 |  0.001 % |
15.87/15.96	c |     62429 |     597     9840    32882 |    53039    48310     18 |  0.001 % |
16.17/16.29	c |     63149 |     597     9840    32882 |    53039    49030     18 |  0.001 % |
16.57/16.67	c |     63941 |     597     9840    32882 |    53039    49822     18 |  0.001 % |
16.67/16.71	c |     64042 |     597     9840    32882 |    53039    49923     18 |  0.000 % |
16.67/16.76	c |     64152 |     597     9840    32882 |    53039    50033     18 |  0.001 % |
16.77/16.84	c |     64274 |     597     9840    32882 |    53039    50155     18 |  0.001 % |
16.87/16.91	c |     64407 |     597     9840    32882 |    53039    50288     18 |  0.001 % |
16.87/16.98	c |     64553 |     597     9840    32882 |    53039    50434     18 |  0.001 % |
16.97/17.05	c |     64713 |     597     9840    32882 |    53039    50594     18 |  0.001 % |
17.07/17.14	c |     64889 |     597     9840    32882 |    53039    50770     18 |  0.001 % |
17.17/17.23	c |     65084 |     597     9840    32882 |    53039    50965     18 |  0.000 % |
17.27/17.34	c |     65297 |     597     9840    32882 |    53039    51178     18 |  0.001 % |
17.37/17.46	c |     65531 |     597     9840    32882 |    53039    51412     18 |  0.001 % |
17.47/17.58	c |     65787 |     597     9840    32882 |    53039    51668     18 |  0.001 % |
17.67/17.71	c |     66070 |     597     9840    32882 |    53039    51951     18 |  0.001 % |
17.77/17.86	c |     66379 |     597     9840    32882 |    53039    52260     18 |  0.001 % |
17.97/18.03	c |     66719 |     597     9840    32882 |    53039    52600     18 |  0.001 % |
18.17/18.22	c |     67091 |     597     9840    32882 |    53039    52972     18 |  0.001 % |
18.47/18.56	c |     67500 |     597     9840    32882 |    53039    44776     17 |  0.001 % |
18.67/18.75	c |     67951 |     597     9840    32882 |    53039    45227     17 |  0.001 % |
18.87/18.96	c |     68444 |     597     9840    32882 |    53039    45720     17 |  0.001 % |
19.17/19.22	c |     68989 |     597     9840    32882 |    53039    46265     17 |  0.001 % |
19.37/19.46	c |     69587 |     597     9840    32882 |    53039    46863     17 |  0.000 % |
19.77/19.86	c |     70242 |     597     9840    32882 |    47277    39996     17 |  0.001 % |
20.07/20.16	c |     70965 |     597     9840    32882 |    47277    40719     17 |  0.001 % |
20.47/20.50	c |     71758 |     597     9840    32882 |    47277    41512     17 |  0.001 % |
20.77/20.88	c |     72631 |     597     9840    32882 |    47277    42385     17 |  0.000 % |
20.87/20.93	c |     72732 |     597     9840    32882 |    47277    42486     17 |  0.001 % |
20.87/20.98	c |     72842 |     597     9840    32882 |    47277    42596     17 |  0.001 % |
20.97/21.03	c |     72963 |     597     9840    32882 |    47277    42717     17 |  0.001 % |
21.07/21.10	c |     73098 |     597     9840    32882 |    47277    42852     17 |  0.001 % |
21.07/21.16	c |     73244 |     597     9840    32882 |    47277    42998     17 |  0.001 % |
21.17/21.23	c |     73405 |     597     9840    32882 |    47277    43159     17 |  0.001 % |
21.27/21.30	c |     73581 |     597     9840    32882 |    47277    43335     17 |  0.001 % |
21.27/21.39	c |     73774 |     597     9840    32882 |    47277    43528     17 |  0.001 % |
21.37/21.48	c |     73987 |     597     9840    32882 |    47277    43741     17 |  0.000 % |
21.47/21.57	c |     74220 |     597     9840    32882 |    47277    43974     17 |  0.001 % |
21.57/21.68	c |     74476 |     597     9840    32882 |    47277    44230     17 |  0.001 % |
21.77/21.81	c |     74757 |     597     9840    32882 |    47277    44511     17 |  0.001 % |
21.87/21.92	c |     75067 |     597     9840    32882 |    47277    44821     17 |  0.001 % |
21.97/22.04	c |     75406 |     597     9840    32882 |    47277    45160     17 |  0.000 % |
22.07/22.19	c |     75779 |     597     9840    32882 |    47277    45533     17 |  0.000 % |
22.27/22.33	c |     76188 |     597     9840    32882 |    47277    45942     17 |  0.001 % |
22.47/22.51	c |     76637 |     597     9840    32882 |    47277    46391     17 |  0.001 % |
22.57/22.68	c |     77130 |     597     9840    32882 |    47277    46884     17 |  0.001 % |
22.97/23.03	c |     77672 |     597     9840    32882 |    47277    40619     17 |  0.001 % |
23.16/23.22	c |     78268 |     597     9840    32882 |    47277    41215     17 |  0.000 % |
23.26/23.39	c |     78925 |     597     9840    32882 |    47277    41872     17 |  0.001 % |
23.56/23.67	c |     79649 |     597     9840    32882 |    47277    42596     17 |  0.001 % |
23.96/24.06	c |     80443 |     597     9840    32882 |    42947    37495     17 |  0.001 % |
24.26/24.31	c |     81314 |     597     9840    32882 |    42947    38366     17 |  0.001 % |
24.56/24.61	c |     82273 |     597     9840    32882 |    42947    39325     17 |  0.001 % |
24.56/24.63	c |     82376 |     597     9840    32882 |    42947    39428     17 |  0.001 % |
24.56/24.66	c |     82486 |     597     9840    32882 |    42947    39538     17 |  0.000 % |
24.66/24.70	c |     82607 |     597     9840    32882 |    42947    39659     17 |  0.000 % |
24.66/24.75	c |     82740 |     597     9840    32882 |    42947    39792     17 |  0.001 % |
24.76/24.81	c |     82886 |     597     9840    32882 |    42947    39938     17 |  0.000 % |
24.76/24.88	c |     83046 |     597     9840    32882 |    42947    40098     17 |  0.001 % |
24.86/24.96	c |     83222 |     597     9840    32882 |    42947    40274     17 |  0.001 % |
24.96/25.03	c |     83417 |     597     9840    32882 |    42947    40469     17 |  0.001 % |
25.06/25.13	c |     83630 |     597     9840    32882 |    42947    40682     17 |  0.001 % |
25.17/25.22	c |     83864 |     597     9840    32882 |    42947    40916     17 |  0.001 % |
25.27/25.32	c |     84120 |     597     9840    32882 |    42947    41172     17 |  0.001 % |
25.36/25.44	c |     84402 |     597     9840    32882 |    42947    41454     17 |  0.001 % |
25.46/25.58	c |     84711 |     597     9840    32882 |    42947    41763     17 |  0.001 % |
25.67/25.72	c |     85053 |     597     9840    32882 |    42947    42105     17 |  0.001 % |
25.77/25.89	c |     85426 |     597     9840    32882 |    42947    42478     17 |  0.001 % |
25.97/26.06	c |     85838 |     597     9840    32882 |    42947    42890     17 |  0.001 % |
26.17/26.29	c |     86290 |     597     9840    32882 |    42947    38117     17 |  0.001 % |
26.37/26.47	c |     86783 |     597     9840    32882 |    42947    38610     17 |  0.001 % |
26.56/26.66	c |     87328 |     597     9840    32882 |    42947    39155     17 |  0.001 % |
26.86/26.90	c |     87925 |     597     9840    32882 |    42947    39752     17 |  0.001 % |
27.06/27.17	c |     88580 |     597     9840    32882 |    42947    40407     17 |  0.001 % |
27.37/27.46	c |     89300 |     597     9840    32882 |    42947    41127     17 |  0.001 % |
27.76/27.83	c |     90093 |     597     9840    32882 |    41827    37202     17 |  0.001 % |
28.06/28.18	c |     90965 |     597     9840    32882 |    41827    38074     17 |  0.001 % |
28.47/28.55	c |     91923 |     597     9840    32882 |    41827    39032     17 |  0.001 % |
28.86/28.96	c |     92977 |     597     9840    32882 |    41827    40086     17 |  0.001 % |
28.96/29.01	c |     93077 |     597     9840    32882 |    41827    40186     17 |  0.001 % |
28.96/29.05	c |     93188 |     597     9840    32882 |    41827    40297     17 |  0.001 % |
29.06/29.10	c |     93310 |     597     9840    32882 |    41827    40419     17 |  0.001 % |
29.06/29.16	c |     93444 |     597     9840    32882 |    41827    40553     17 |  0.001 % |
29.16/29.22	c |     93590 |     597     9840    32882 |    41827    40699     17 |  0.001 % |
29.16/29.29	c |     93750 |     597     9840    32882 |    41827    40859     17 |  0.001 % |
29.26/29.35	c |     93927 |     597     9840    32882 |    41827    41036     17 |  0.001 % |
29.36/29.45	c |     94121 |     597     9840    32882 |    41827    41230     17 |  0.001 % |
29.46/29.53	c |     94333 |     597     9840    32882 |    41827    41442     17 |  0.000 % |
29.57/29.62	c |     94566 |     597     9840    32882 |    41827    41675     17 |  0.001 % |
29.67/29.78	c |     94822 |     597     9840    32882 |    41827    37256     17 |  0.001 % |
29.76/29.88	c |     95103 |     597     9840    32882 |    41827    37537     17 |  0.000 % |
29.86/29.99	c |     95412 |     597     9840    32882 |    41827    37846     17 |  0.001 % |
30.06/30.12	c |     95751 |     597     9840    32882 |    41827    38185     17 |  0.001 % |
30.16/30.28	c |     96124 |     597     9840    32882 |    41827    38558     17 |  0.001 % |
30.36/30.43	c |     96534 |     597     9840    32882 |    41827    38968     17 |  0.001 % |
30.56/30.61	c |     96986 |     597     9840    32882 |    41827    39420     17 |  0.001 % |
30.67/30.79	c |     97481 |     597     9840    32882 |    41827    39915     17 |  0.001 % |
30.86/30.98	c |     98024 |     597     9840    32882 |    41827    40458     17 |  0.001 % |
31.16/31.21	c |     98624 |     597     9840    32882 |    41827    41058     17 |  0.001 % |
31.36/31.48	c |     99280 |     597     9840    32882 |    41827    41714     17 |  0.001 % |
31.77/31.82	c |    100001 |     597     9840    32882 |    41827    38055     17 |  0.001 % |
32.06/32.14	c |    100793 |     597     9840    32882 |    38055    34910     17 |  0.001 % |
32.36/32.43	c |    101664 |     597     9840    32882 |    38055    35781     17 |  0.001 % |
32.66/32.76	c |    102623 |     597     9840    32882 |    38055    36740     17 |  0.001 % |
33.06/33.15	c |    103677 |     597     9840    32882 |    38055    37794     17 |  0.001 % |
33.56/33.63	c |    104835 |     597     9840    32882 |    38055    35142     17 |  0.000 % |
33.56/33.66	c |    104935 |     597     9840    32882 |    38055    35242     17 |  0.001 % |
33.56/33.69	c |    105045 |     597     9840    32882 |    38055    35352     17 |  0.001 % |
33.66/33.74	c |    105166 |     597     9840    32882 |    38055    35473     17 |  0.001 % |
33.66/33.79	c |    105300 |     597     9840    32882 |    38055    35607     17 |  0.001 % |
33.76/33.84	c |    105446 |     597     9840    32882 |    38055    35753     17 |  0.001 % |
33.86/33.90	c |    105607 |     597     9840    32882 |    38055    35914     17 |  0.001 % |
33.86/33.96	c |    105784 |     597     9840    32882 |    38055    36091     17 |  0.001 % |
33.96/34.02	c |    105978 |     597     9840    32882 |    38055    36285     17 |  0.001 % |
33.96/34.10	c |    106192 |     597     9840    32882 |    38055    36499     17 |  0.001 % |
34.06/34.18	c |    106427 |     597     9840    32882 |    38055    36734     17 |  0.001 % |
34.16/34.27	c |    106683 |     597     9840    32882 |    38055    36990     17 |  0.001 % |
34.26/34.39	c |    106964 |     597     9840    32882 |    38055    37271     17 |  0.001 % |
34.46/34.54	c |    107275 |     597     9840    32882 |    38055    37582     17 |  0.001 % |
34.56/34.67	c |    107614 |     597     9840    32882 |    38055    37921     17 |  0.001 % |
34.76/34.84	c |    107987 |     597     9840    32882 |    38055    34484     17 |  0.001 % |
34.86/34.97	c |    108397 |     597     9840    32882 |    38055    34894     17 |  0.001 % |
35.06/35.13	c |    108847 |     597     9840    32882 |    38055    35344     17 |  0.001 % |
35.26/35.32	c |    109340 |     597     9840    32882 |    38055    35837     17 |  0.001 % |
35.36/35.48	c |    109882 |     597     9840    32882 |    38055    36379     17 |  0.001 % |
35.76/35.80	c |    110478 |     597     9840    32882 | 2147483647    36975     17 |  0.001 % |
35.96/36.05	c |    111133 |     597     9840    32882 | 2147483647    37630     17 |  0.000 % |
36.26/36.35	c |    111855 |     597     9840    32882 | 2147483647    38352     17 |  0.001 % |
36.56/36.66	c |    112647 |     597     9840    32882 | 2147483647    39144     17 |  0.001 % |
36.86/36.99	c |    113519 |     597     9840    32882 | 2147483647    40016     17 |  0.001 % |
37.26/37.37	c |    114478 |     597     9840    32882 | 2147483647    40975     17 |  0.001 % |
37.66/37.79	c |    115532 |     597     9840    32882 | 2147483647    42029     17 |  0.001 % |
38.16/38.24	c |    116690 |     597     9840    32882 | 2147483647    43187     17 |  0.001 % |
38.66/38.73	c |    117963 |     597     9840    32882 | 2147483647    44460     17 |  0.001 % |
38.66/38.78	c |    118063 |     597     9840    32882 | 2147483647    44560     17 |  0.000 % |
38.76/38.82	c |    118175 |     597     9840    32882 | 2147483647    44672     17 |  0.001 % |
38.76/38.88	c |    118297 |     597     9840    32882 | 2147483647    44794     17 |  0.001 % |
38.86/38.94	c |    118430 |     597     9840    32882 | 2147483647    44927     17 |  0.001 % |
38.96/39.01	c |    118577 |     597     9840    32882 | 2147483647    45074     17 |  0.001 % |
38.96/39.08	c |    118737 |     597     9840    32882 | 2147483647    45234     17 |  0.001 % |
39.06/39.16	c |    118915 |     597     9840    32882 | 2147483647    45412     17 |  0.001 % |
39.16/39.24	c |    119109 |     597     9840    32882 | 2147483647    45606     17 |  0.001 % |
39.26/39.33	c |    119321 |     597     9840    32882 | 2147483647    45818     17 |  0.001 % |
39.36/39.44	c |    119554 |     597     9840    32882 | 2147483647    46051     17 |  0.001 % |
39.46/39.57	c |    119814 |     597     9840    32882 | 2147483647    46311     18 |  0.001 % |
39.66/39.72	c |    120096 |     597     9840    32882 |    46497    41738     18 |  0.000 % |
39.76/39.85	c |    120407 |     597     9840    32882 |    46497    42049     18 |  0.000 % |
39.86/39.99	c |    120746 |     597     9840    32882 |    46497    42388     18 |  0.001 % |
40.06/40.14	c |    121118 |     597     9840    32882 |    46497    42760     18 |  0.001 % |
40.26/40.30	c |    121527 |     597     9840    32882 |    46497    43169     18 |  0.001 % |
40.46/40.50	c |    121977 |     597     9840    32882 |    46497    43619     18 |  0.001 % |
40.66/40.71	c |    122472 |     597     9840    32882 |    46497    44114     18 |  0.001 % |
40.86/40.94	c |    123017 |     597     9840    32882 |    46497    44659     18 |  0.001 % |
41.16/41.21	c |    123613 |     597     9840    32882 |    46497    45255     18 |  0.001 % |
41.46/41.52	c |    124268 |     597     9840    32882 |    46497    45910     18 |  0.001 % |
41.86/41.92	c |    124988 |     597     9840    32882 |    46497    41022     18 |  0.001 % |
42.16/42.24	c |    125780 |     597     9840    32882 |    46497    41814     18 |  0.001 % |
42.56/42.62	c |    126651 |     597     9840    32882 |    46497    42685     18 |  0.001 % |
42.96/43.04	c |    127609 |     597     9840    32882 |    46497    43643     18 |  0.001 % |
43.46/43.53	c |    128663 |     597     9840    32882 |    46497    44697     18 |  0.001 % |
43.96/44.08	c |    129822 |     597     9840    32882 |    46497    45856     18 |  0.001 % |
44.55/44.68	c |    131095 |     597     9840    32882 |    46034    41412     18 |  0.001 % |
45.25/45.30	c |    132496 |     597     9840    32882 |    46034    42813     18 |  0.001 % |
45.25/45.35	c |    132598 |     597     9840    32882 |    46034    42915     18 |  0.001 % |
45.35/45.41	c |    132708 |     597     9840    32882 |    46034    43025     18 |  0.001 % |
45.35/45.48	c |    132829 |     597     9840    32882 |    46034    43146     18 |  0.001 % |
45.45/45.54	c |    132962 |     597     9840    32882 |    46034    43279     18 |  0.001 % |
45.55/45.61	c |    133108 |     597     9840    32882 |    46034    43425     18 |  0.000 % |
45.55/45.68	c |    133269 |     597     9840    32882 |    46034    43586     18 |  0.001 % |
45.65/45.75	c |    133445 |     597     9840    32882 |    46034    43762     18 |  0.000 % |
45.75/45.83	c |    133641 |     597     9840    32882 |    46034    43958     18 |  0.001 % |
45.85/45.91	c |    133853 |     597     9840    32882 |    46034    44170     18 |  0.000 % |
45.95/46.00	c |    134087 |     597     9840    32882 |    46034    44404     18 |  0.001 % |
46.06/46.11	c |    134344 |     597     9840    32882 |    46034    44661     18 |  0.001 % |
46.16/46.23	c |    134626 |     597     9840    32882 |    46034    44943     18 |  0.001 % |
46.25/46.37	c |    134938 |     597     9840    32882 |    46034    45255     18 |  0.001 % |
46.45/46.51	c |    135278 |     597     9840    32882 |    46034    45595     18 |  0.001 % |
46.55/46.68	c |    135650 |     597     9840    32882 |    46034    45967     18 |  0.001 % |
46.85/46.96	c |    136059 |     597     9840    32882 |    46034    40667     18 |  0.001 % |
47.05/47.14	c |    136508 |     597     9840    32882 |    46034    41116     18 |  0.001 % |
47.26/47.32	c |    137003 |     597     9840    32882 |    46034    41611     18 |  0.001 % |
47.45/47.55	c |    137545 |     597     9840    32882 |    46034    42153     18 |  0.001 % |
47.76/47.82	c |    138141 |     597     9840    32882 |    46034    42749     18 |  0.001 % |
48.06/48.12	c |    138797 |     597     9840    32882 |    46034    43405     18 |  0.001 % |
48.37/48.42	c |    139517 |     597     9840    32882 |    46034    44125     18 |  0.001 % |
48.76/48.83	c |    140310 |     597     9840    32882 |    44608    39476     17 |  0.001 % |
49.06/49.17	c |    141181 |     597     9840    32882 |    44608    40347     17 |  0.001 % |
49.47/49.57	c |    142140 |     597     9840    32882 |    44608    41306     18 |  0.001 % |
49.96/50.02	c |    143193 |     597     9840    32882 |    44608    42359     18 |  0.001 % |
50.47/50.53	c |    144351 |     597     9840    32882 |    44608    43517     18 |  0.001 % |
51.06/51.18	c |    145624 |     597     9840    32882 |    44608    39821     17 |  0.001 % |
51.76/51.86	c |    147024 |     597     9840    32882 |    44608    41221     17 |  0.001 % |
52.56/52.64	c |    148566 |     597     9840    32882 |    44608    42763     18 |  0.001 % |
52.56/52.69	c |    148668 |     597     9840    32882 |    44608    42865     18 |  0.001 % |
52.66/52.74	c |    148780 |     597     9840    32882 |    44608    42977     18 |  0.001 % |
52.66/52.78	c |    148901 |     597     9840    32882 |    44608    43098     18 |  0.001 % |
52.76/52.85	c |    149036 |     597     9840    32882 |    44608    43233     18 |  0.001 % |
52.86/52.92	c |    149182 |     597     9840    32882 |    44608    43379     18 |  0.001 % |
52.86/52.99	c |    149343 |     597     9840    32882 |    44608    43540     18 |  0.001 % |
52.96/53.08	c |    149520 |     597     9840    32882 |    44608    43717     18 |  0.001 % |
53.06/53.17	c |    149713 |     597     9840    32882 |    44608    43910     18 |  0.001 % |
53.16/53.27	c |    149925 |     597     9840    32882 |    44608    44122     18 |  0.001 % |
53.36/53.43	c |    150159 |     597     9840    32882 |    44199    39145     17 |  0.001 % |
53.46/53.53	c |    150416 |     597     9840    32882 |    44199    39402     17 |  0.001 % |
53.56/53.64	c |    150698 |     597     9840    32882 |    44199    39684     17 |  0.001 % |
53.66/53.77	c |    151007 |     597     9840    32882 |    44199    39993     17 |  0.001 % |
53.86/53.92	c |    151346 |     597     9840    32882 |    44199    40332     17 |  0.001 % |
53.96/54.08	c |    151719 |     597     9840    32882 |    44199    40705     17 |  0.001 % |
54.16/54.24	c |    152130 |     597     9840    32882 |    44199    41116     17 |  0.001 % |
54.36/54.42	c |    152580 |     597     9840    32882 |    44199    41566     17 |  0.001 % |
54.56/54.63	c |    153074 |     597     9840    32882 |    44199    42060     17 |  0.001 % |
54.76/54.87	c |    153616 |     597     9840    32882 |    44199    42602     17 |  0.001 % |
55.06/55.15	c |    154212 |     597     9840    32882 |    44199    43198     17 |  0.001 % |
55.36/55.45	c |    154868 |     597     9840    32882 |    44199    43854     17 |  0.001 % |
55.76/55.82	c |    155591 |     597     9840    32882 |    44199    39288     17 |  0.001 % |
56.06/56.19	c |    156385 |     597     9840    32882 |    44199    40082     17 |  0.001 % |
56.46/56.55	c |    157257 |     597     9840    32882 |    44199    40954     17 |  0.001 % |
56.86/56.93	c |    158215 |     597     9840    32882 |    44199    41912     17 |  0.001 % |
57.26/57.39	c |    159269 |     597     9840    32882 |    44199    42966     17 |  0.001 % |
57.86/57.98	c |    160427 |     597     9840    32882 |    43697    38870     17 |  0.001 % |
58.36/58.48	c |    161702 |     597     9840    32882 |    43697    40145     17 |  0.001 % |
58.96/59.09	c |    163103 |     597     9840    32882 |    43697    41546     17 |  0.001 % |
59.65/59.78	c |    164643 |     597     9840    32882 |    43697    43086     18 |  0.001 % |
60.56/60.60	c |    166339 |     597     9840    32882 |    43697    39442     17 |  0.001 % |
60.56/60.64	c |    166439 |     597     9840    32882 |    43697    39542     17 |  0.001 % |
60.56/60.69	c |    166549 |     597     9840    32882 |    43697    39652     17 |  0.001 % |
60.66/60.75	c |    166670 |     597     9840    32882 |    43697    39773     17 |  0.000 % |
60.76/60.81	c |    166805 |     597     9840    32882 |    43697    39908     17 |  0.001 % |
60.76/60.87	c |    166952 |     597     9840    32882 |    43697    40055     17 |  0.001 % |
60.86/60.94	c |    167114 |     597     9840    32882 |    43697    40217     17 |  0.001 % |
60.96/61.02	c |    167291 |     597     9840    32882 |    43697    40394     17 |  0.001 % |
61.05/61.10	c |    167485 |     597     9840    32882 |    43697    40588     17 |  0.001 % |
61.05/61.19	c |    167698 |     597     9840    32882 |    43697    40801     17 |  0.001 % |
61.15/61.28	c |    167931 |     597     9840    32882 |    43697    41034     17 |  0.001 % |
61.35/61.40	c |    168187 |     597     9840    32882 |    43697    41290     17 |  0.001 % |
61.46/61.52	c |    168469 |     597     9840    32882 |    43697    41572     18 |  0.001 % |
61.56/61.64	c |    168778 |     597     9840    32882 |    43697    41881     18 |  0.001 % |
61.65/61.77	c |    169117 |     597     9840    32882 |    43697    42220     18 |  0.001 % |
61.85/61.93	c |    169489 |     597     9840    32882 |    43697    42592     18 |  0.000 % |
61.95/62.09	c |    169898 |     597     9840    32882 |    43697    43001     18 |  0.001 % |
62.25/62.36	c |    170347 |     597     9840    32882 |    43103    38267     17 |  0.001 % |
62.45/62.55	c |    170840 |     597     9840    32882 |    43103    38760     17 |  0.001 % |
62.66/62.74	c |    171383 |     597     9840    32882 |    43103    39303     17 |  0.001 % |
62.85/62.96	c |    171980 |     597     9840    32882 |    43103    39900     17 |  0.001 % |
63.15/63.28	c |    172635 |     597     9840    32882 |    43103    40555     17 |  0.001 % |
63.45/63.58	c |    173356 |     597     9840    32882 |    43103    41276     18 |  0.001 % |
63.85/63.95	c |    174148 |     597     9840    32882 |    43103    42068     18 |  0.001 % |
64.25/64.36	c |    175019 |     597     9840    32882 |    43103    42939     18 |  0.001 % |
64.76/64.83	c |    175977 |     597     9840    32882 |    43103    38575     17 |  0.001 % |
65.25/65.30	c |    177030 |     597     9840    32882 |    43103    39628     17 |  0.001 % |
65.65/65.76	c |    178188 |     597     9840    32882 |    43103    40786     17 |  0.000 % |
66.25/66.31	c |    179461 |     597     9840    32882 |    43103    42059     17 |  0.001 % |
66.85/66.97	c |    180864 |     597     9840    32882 |    42599    38199     17 |  0.001 % |
67.55/67.61	c |    182406 |     597     9840    32882 |    42599    39741     17 |  0.001 % |
68.25/68.35	c |    184100 |     597     9840    32882 |    42599    41435     17 |  0.001 % |
69.16/69.21	c |    185964 |     597     9840    32882 |    42599    38051     17 |  0.001 % |
69.16/69.25	c |    186064 |     597     9840    32882 |    42599    38151     17 |  0.001 % |
69.26/69.31	c |    186174 |     597     9840    32882 |    42599    38261     17 |  0.001 % |
69.26/69.36	c |    186295 |     597     9840    32882 |    42599    38382     17 |  0.001 % |
69.35/69.42	c |    186429 |     597     9840    32882 |    42599    38516     17 |  0.001 % |
69.35/69.49	c |    186575 |     597     9840    32882 |    42599    38662     17 |  0.001 % |
69.45/69.57	c |    186737 |     597     9840    32882 |    42599    38824     17 |  0.001 % |
69.55/69.64	c |    186913 |     597     9840    32882 |    42599    39000     17 |  0.001 % |
69.65/69.73	c |    187106 |     597     9840    32882 |    42599    39193     17 |  0.001 % |
69.75/69.82	c |    187318 |     597     9840    32882 |    42599    39405     17 |  0.001 % |
69.85/69.92	c |    187551 |     597     9840    32882 |    42599    39638     17 |  0.001 % |
69.95/70.04	c |    187807 |     597     9840    32882 |    42599    39894     17 |  0.001 % |
70.05/70.17	c |    188088 |     597     9840    32882 |    42599    40175     17 |  0.001 % |
70.26/70.32	c |    188397 |     597     9840    32882 |    42599    40484     17 |  0.001 % |
70.36/70.47	c |    188737 |     597     9840    32882 |    42599    40824     17 |  0.000 % |
70.55/70.65	c |    189109 |     597     9840    32882 |    42599    41196     17 |  0.001 % |
70.75/70.84	c |    189518 |     597     9840    32882 |    42599    41605     17 |  0.001 % |
70.95/71.04	c |    189967 |     597     9840    32882 |    42599    42054     18 |  0.001 % |
71.25/71.33	c |    190461 |     597     9840    32882 |    42091    37418     17 |  0.001 % |
71.45/71.57	c |    191006 |     597     9840    32882 |    42091    37963     17 |  0.001 % |
71.75/71.81	c |    191603 |     597     9840    32882 |    42091    38560     17 |  0.001 % |
71.95/72.08	c |    192258 |     597     9840    32882 |    42091    39215     17 |  0.001 % |
72.25/72.39	c |    192978 |     597     9840    32882 |    42091    39935     17 |  0.001 % |
72.65/72.73	c |    193772 |     597     9840    32882 |    42091    40729     17 |  0.001 % |
73.05/73.10	c |    194643 |     597     9840    32882 |    42091    41600     17 |  0.001 % |
73.45/73.59	c |    195603 |     597     9840    32882 |    42091    37585     17 |  0.001 % |
73.95/74.00	c |    196656 |     597     9840    32882 |    42091    38638     17 |  0.001 % |
74.35/74.47	c |    197814 |     597     9840    32882 |    42091    39796     17 |  0.001 % |
74.95/75.02	c |    199089 |     597     9840    32882 |    42091    41071     17 |  0.001 % |
75.65/75.70	c |    200491 |     597     9840    32882 |    41982    37747     17 |  0.001 % |
76.25/76.36	c |    202031 |     597     9840    32882 |    41982    39287     17 |  0.001 % |
77.05/77.16	c |    203727 |     597     9840    32882 |    41982    40983     17 |  0.001 % |
77.95/78.06	c |    205590 |     597     9840    32882 |    41982    38013     17 |  0.001 % |
78.85/78.95	c |    207644 |     597     9840    32882 |    41982    40067     17 |  0.001 % |
78.95/79.00	c |    207744 |     597     9840    32882 |    41982    40167     17 |  0.001 % |
78.95/79.05	c |    207854 |     597     9840    32882 |    41982    40277     17 |  0.001 % |
79.05/79.10	c |    207976 |     597     9840    32882 |    41982    40399     17 |  0.001 % |
79.05/79.15	c |    208110 |     597     9840    32882 |    41982    40533     17 |  0.001 % |
79.15/79.21	c |    208257 |     597     9840    32882 |    41982    40680     17 |  0.001 % |
79.15/79.28	c |    208418 |     597     9840    32882 |    41982    40841     17 |  0.001 % |
79.25/79.35	c |    208595 |     597     9840    32882 |    41982    41018     17 |  0.001 % |
79.35/79.43	c |    208788 |     597     9840    32882 |    41982    41211     17 |  0.001 % |
79.45/79.53	c |    209001 |     597     9840    32882 |    41982    41424     17 |  0.001 % |
79.55/79.65	c |    209235 |     597     9840    32882 |    41982    41658     17 |  0.001 % |
79.65/79.77	c |    209491 |     597     9840    32882 |    41982    41914     17 |  0.001 % |
79.85/79.97	c |    209773 |     597     9840    32882 |    41982    37506     17 |  0.001 % |
80.05/80.14	c |    210082 |     597     9840    32882 |    37735    33586     17 |  0.001 % |
80.15/80.27	c |    210421 |     597     9840    32882 |    37735    33925     17 |  0.001 % |
80.35/80.42	c |    210794 |     597     9840    32882 |    37735    34298     17 |  0.001 % |
80.45/80.59	c |    211205 |     597     9840    32882 |    37735    34709     17 |  0.001 % |
80.65/80.77	c |    211654 |     597     9840    32882 |    37735    35158     17 |  0.001 % |
80.85/80.99	c |    212149 |     597     9840    32882 |    37735    35653     17 |  0.001 % |
81.15/81.23	c |    212691 |     597     9840    32882 |    37735    36195     17 |  0.001 % |
81.45/81.50	c |    213287 |     597     9840    32882 |    37735    36791     17 |  0.001 % |
81.65/81.79	c |    213942 |     597     9840    32882 |    37735    37446     17 |  0.001 % |
82.05/82.11	c |    214664 |     597     9840    32882 |    37735    34071     17 |  0.001 % |
82.35/82.43	c |    215456 |     597     9840    32882 |    37735    34863     17 |  0.001 % |
82.65/82.75	c |    216327 |     597     9840    32882 |    37735    35734     17 |  0.001 % |
83.04/83.18	c |    217288 |     597     9840    32882 |    37735    36695     17 |  0.001 % |
83.64/83.76	c |    218341 |     597     9840    32882 |    37735    37748     17 |  0.001 % |
84.14/84.23	c |    219499 |     597     9840    32882 |    37735    34754     17 |  0.001 % |
84.65/84.76	c |    220772 |     597     9840    32882 |    35257    32359     17 |  0.000 % |
85.14/85.22	c |    222173 |     597     9840    32882 |    35257    33760     17 |  0.001 % |
85.65/85.73	c |    223714 |     597     9840    32882 |    35257    35301     17 |  0.001 % |
86.25/86.35	c |    225408 |     597     9840    32882 |    35257    33465     17 |  0.001 % |
87.05/87.11	c |    227271 |     597     9840    32882 |    35257    31797     17 |  0.001 % |
87.75/87.86	c |    229320 |     597     9840    32882 |    35257    33846     17 |  0.001 % |
88.55/88.68	c |    231573 |     597     9840    32882 | 2147483647    36099     17 |  0.001 % |
88.65/88.73	c |    231676 |     597     9840    32882 | 2147483647    36202     17 |  0.001 % |
88.65/88.78	c |    231788 |     597     9840    32882 | 2147483647    36314     17 |  0.001 % |
88.75/88.84	c |    231912 |     597     9840    32882 | 2147483647    36438     17 |  0.001 % |
88.75/88.89	c |    232047 |     597     9840    32882 | 2147483647    36573     17 |  0.001 % |
88.85/88.96	c |    232194 |     597     9840    32882 | 2147483647    36720     17 |  0.001 % |
88.95/89.02	c |    232354 |     597     9840    32882 | 2147483647    36880     17 |  0.001 % |
88.95/89.08	c |    232531 |     597     9840    32882 | 2147483647    37057     17 |  0.001 % |
89.05/89.17	c |    232725 |     597     9840    32882 | 2147483647    37251     17 |  0.001 % |
89.15/89.25	c |    232937 |     597     9840    32882 | 2147483647    37463     17 |  0.001 % |
89.25/89.35	c |    233170 |     597     9840    32882 | 2147483647    37696     17 |  0.001 % |
89.35/89.45	c |    233426 |     597     9840    32882 | 2147483647    37952     17 |  0.001 % |
89.45/89.56	c |    233707 |     597     9840    32882 | 2147483647    38233     17 |  0.001 % |
89.55/89.69	c |    234017 |     597     9840    32882 | 2147483647    38543     17 |  0.001 % |
89.75/89.83	c |    234356 |     597     9840    32882 | 2147483647    38882     17 |  0.001 % |
89.85/89.97	c |    234728 |     597     9840    32882 | 2147483647    39254     17 |  0.001 % |
90.05/90.15	c |    235137 |     597     9840    32882 | 2147483647    39663     17 |  0.001 % |
90.25/90.34	c |    235586 |     597     9840    32882 | 2147483647    40112     17 |  0.001 % |
90.45/90.55	c |    236079 |     597     9840    32882 | 2147483647    40605     17 |  0.001 % |
90.65/90.77	c |    236621 |     597     9840    32882 | 2147483647    41147     17 |  0.001 % |
90.95/91.03	c |    237221 |     597     9840    32882 | 2147483647    41747     17 |  0.001 % |
91.15/91.28	c |    237877 |     597     9840    32882 | 2147483647    42403     17 |  0.001 % |
91.45/91.58	c |    238600 |     597     9840    32882 | 2147483647    43126     17 |  0.001 % |
91.85/91.93	c |    239392 |     597     9840    32882 | 2147483647    43918     17 |  0.001 % |
92.25/92.33	c |    240263 |     597     9840    32882 | 2147483647    44789     17 |  0.001 % |
92.65/92.74	c |    241222 |     597     9840    32882 | 2147483647    45748     17 |  0.001 % |
93.15/93.20	c |    242276 |     597     9840    32882 | 2147483647    46802     17 |  0.001 % |
93.65/93.77	c |    243434 |     597     9840    32882 | 2147483647    47960     17 |  0.001 % |
94.35/94.40	c |    244709 |     597     9840    32882 | 2147483647    49235     17 |  0.001 % |
95.05/95.14	c |    246109 |     597     9840    32882 | 2147483647    50635     17 |  0.001 % |
95.85/95.94	c |    247650 |     597     9840    32882 | 2147483647    52176     17 |  0.001 % |
96.75/96.83	c |    249344 |     597     9840    32882 | 2147483647    53870     18 |  0.001 % |
97.75/97.89	c |    251207 |     597     9840    32882 |    54526    47502     17 |  0.001 % |
98.75/98.88	c |    253256 |     597     9840    32882 |    54526    49551     17 |  0.001 % |
99.95/100.08	c |    255512 |     597     9840    32882 |    54526    51807     17 |  0.001 % |
101.15/101.29	c |    257990 |     597     9840    32882 |    54526    54285     18 |  0.001 % |
101.24/101.35	c |    258090 |     597     9840    32882 |    54526    54385     18 |  0.001 % |
101.34/101.41	c |    258201 |     597     9840    32882 |    54526    54496     18 |  0.001 % |
101.44/101.59	c |    258322 |     597     9840    32882 |    54526    45152     17 |  0.001 % |
101.54/101.66	c |    258455 |     597     9840    32882 |    54526    45285     17 |  0.001 % |
101.64/101.73	c |    258601 |     597     9840    32882 |    54526    45431     17 |  0.001 % |
101.74/101.81	c |    258762 |     597     9840    32882 |    54526    45592     17 |  0.001 % |
101.74/101.89	c |    258942 |     597     9840    32882 |    54526    45772     17 |  0.001 % |
101.84/101.99	c |    259136 |     597     9840    32882 |    54526    45966     17 |  0.001 % |
102.04/102.10	c |    259348 |     597     9840    32882 |    54526    46178     17 |  0.001 % |
102.15/102.22	c |    259581 |     597     9840    32882 |    54526    46411     17 |  0.001 % |
102.25/102.34	c |    259837 |     597     9840    32882 |    54526    46667     17 |  0.001 % |
102.44/102.57	c |    260119 |     597     9840    32882 |    46832    38922     17 |  0.001 % |
102.64/102.70	c |    260428 |     597     9840    32882 |    46832    39231     17 |  0.001 % |
102.75/102.87	c |    260769 |     597     9840    32882 |    46832    39572     17 |  0.001 % |
102.95/103.04	c |    261142 |     597     9840    32882 |    46832    39945     17 |  0.001 % |
103.15/103.22	c |    261551 |     597     9840    32882 |    46832    40354     17 |  0.001 % |
103.35/103.42	c |    262001 |     597     9840    32882 |    46832    40804     17 |  0.001 % |
103.54/103.65	c |    262496 |     597     9840    32882 |    46832    41299     17 |  0.001 % |
103.74/103.89	c |    263040 |     597     9840    32882 |    46832    41843     17 |  0.001 % |
104.04/104.16	c |    263636 |     597     9840    32882 |    46832    42439     17 |  0.001 % |
104.35/104.49	c |    264295 |     597     9840    32882 |    46832    43098     17 |  0.001 % |
104.74/104.83	c |    265015 |     597     9840    32882 |    46832    43818     17 |  0.001 % |
105.14/105.22	c |    265809 |     597     9840    32882 |    46832    44612     17 |  0.001 % |
105.55/105.64	c |    266680 |     597     9840    32882 |    46832    45483     17 |  0.001 % |
105.94/106.09	c |    267638 |     597     9840    32882 |    46832    46441     17 |  0.001 % |
106.54/106.64	c |    268691 |     597     9840    32882 |    46832    40574     17 |  0.001 % |
106.94/107.06	c |    269850 |     597     9840    32882 |    46832    41733     17 |  0.001 % |
107.54/107.61	c |    271125 |     597     9840    32882 |    41884    36893     17 |  0.001 % |
108.04/108.18	c |    272525 |     597     9840    32882 |    41884    38293     17 |  0.001 % |
108.74/108.87	c |    274065 |     597     9840    32882 |    41884    39833     17 |  0.001 % |
109.54/109.63	c |    275759 |     597     9840    32882 |    41884    41527     17 |  0.001 % |
110.34/110.48	c |    277622 |     597     9840    32882 |    41884    38177     18 |  0.001 % |
111.24/111.30	c |    279671 |     597     9840    32882 |    41884    40226     18 |  0.001 % |
112.14/112.29	c |    281924 |     597     9840    32882 |    40557    37721     18 |  0.001 % |
113.24/113.33	c |    284403 |     597     9840    32882 |    40557    40200     18 |  0.001 % |
114.44/114.59	c |    287128 |     597     9840    32882 |    40557    38411     18 |  0.001 % |
114.54/114.64	c |    287228 |     597     9840    32882 |    40557    38511     18 |  0.001 % |
114.64/114.70	c |    287341 |     597     9840    32882 |    40557    38624     18 |  0.001 % |
114.64/114.75	c |    287464 |     597     9840    32882 |    40557    38747     18 |  0.001 % |
114.74/114.81	c |    287597 |     597     9840    32882 |    40557    38880     18 |  0.001 % |
114.74/114.88	c |    287743 |     597     9840    32882 |    40557    39026     18 |  0.001 % |
114.84/114.94	c |    287905 |     597     9840    32882 |    40557    39188     18 |  0.001 % |
114.94/115.01	c |    288081 |     597     9840    32882 |    40557    39364     18 |  0.001 % |
114.94/115.07	c |    288275 |     597     9840    32882 |    40557    39558     18 |  0.001 % |
115.04/115.16	c |    288489 |     597     9840    32882 |    40557    39772     18 |  0.001 % |
115.14/115.25	c |    288722 |     597     9840    32882 |    40557    40005     18 |  0.001 % |
115.24/115.36	c |    288978 |     597     9840    32882 |    40557    40261     18 |  0.001 % |
115.34/115.48	c |    289259 |     597     9840    32882 |    40557    40542     18 |  0.001 % |
115.54/115.69	c |    289569 |     597     9840    32882 |    40557    36203     18 |  0.001 % |
115.74/115.83	c |    289910 |     597     9840    32882 |    40557    36544     18 |  0.001 % |
115.94/116.04	c |    290282 |     597     9840    32882 |    36635    32755     17 |  0.001 % |
116.04/116.19	c |    290692 |     597     9840    32882 |    36635    33165     17 |  0.001 % |
116.24/116.36	c |    291141 |     597     9840    32882 |    36635    33614     17 |  0.001 % |
116.44/116.54	c |    291635 |     597     9840    32882 |    36635    34108     17 |  0.001 % |
116.64/116.77	c |    292177 |     597     9840    32882 |    36635    34650     17 |  0.001 % |
116.94/117.01	c |    292775 |     597     9840    32882 |    36635    35248     17 |  0.001 % |
117.14/117.24	c |    293432 |     597     9840    32882 |    36635    35905     17 |  0.001 % |
117.44/117.53	c |    294155 |     597     9840    32882 |    36635    36628     17 |  0.001 % |
117.74/117.87	c |    294947 |     597     9840    32882 |    36635    33749     17 |  0.001 % |
118.04/118.18	c |    295819 |     597     9840    32882 |    36635    34621     17 |  0.001 % |
118.44/118.56	c |    296779 |     597     9840    32882 |    36635    35581     17 |  0.001 % |
118.84/118.99	c |    297832 |     597     9840    32882 |    36635    36634     17 |  0.001 % |
119.34/119.49	c |    298990 |     597     9840    32882 |    36635    34124     17 |  0.001 % |
119.94/120.01	c |    300264 |     597     9840    32882 | 2147483647    35398     17 |  0.001 % |
120.54/120.60	c |    301665 |     597     9840    32882 | 2147483647    36799     17 |  0.001 % |
121.14/121.29	c |    303206 |     597     9840    32882 | 2147483647    38340     17 |  0.001 % |
121.94/122.06	c |    304900 |     597     9840    32882 | 2147483647    40034     17 |  0.001 % |
122.83/123.00	c |    306766 |     597     9840    32882 | 2147483647    41900     17 |  0.001 % |
123.73/123.87	c |    308815 |     597     9840    32882 | 2147483647    43949     18 |  0.001 % |
124.83/124.97	c |    311069 |     597     9840    32882 |    45134    40519     17 |  0.001 % |
125.93/126.04	c |    313548 |     597     9840    32882 |    45134    42998     17 |  0.001 % |
127.13/127.26	c |    316274 |     597     9840    32882 |    45134    39771     17 |  0.000 % |
128.33/128.48	c |    319273 |     597     9840    32882 |    45134    42770     17 |  0.001 % |
128.43/128.53	c |    319375 |     597     9840    32882 |    45134    42872     17 |  0.001 % |
128.43/128.58	c |    319486 |     597     9840    32882 |    45134    42983     17 |  0.001 % |
128.54/128.64	c |    319607 |     597     9840    32882 |    45134    43104     17 |  0.001 % |
128.54/128.69	c |    319740 |     597     9840    32882 |    45134    43237     17 |  0.001 % |
128.64/128.75	c |    319886 |     597     9840    32882 |    45134    43383     17 |  0.001 % |
128.73/128.82	c |    320046 |     597     9840    32882 |    43497    43543     17 |  0.001 % |
128.93/129.00	c |    320222 |     597     9840    32882 |    43497    38333     17 |  0.000 % |
129.03/129.10	c |    320418 |     597     9840    32882 |    43497    38529     17 |  0.001 % |
129.13/129.20	c |    320630 |     597     9840    32882 |    43497    38741     17 |  0.001 % |
129.23/129.30	c |    320864 |     597     9840    32882 |    43497    38975     17 |  0.001 % |
129.33/129.41	c |    321121 |     597     9840    32882 |    43497    39232     17 |  0.001 % |
129.43/129.52	c |    321402 |     597     9840    32882 |    43497    39513     17 |  0.001 % |
129.53/129.66	c |    321712 |     597     9840    32882 |    43497    39823     17 |  0.001 % |
129.74/129.82	c |    322052 |     597     9840    32882 |    43497    40163     17 |  0.001 % |
129.93/130.00	c |    322425 |     597     9840    32882 |    43497    40536     17 |  0.001 % |
130.03/130.20	c |    322834 |     597     9840    32882 |    43497    40945     17 |  0.001 % |
130.33/130.41	c |    323283 |     597     9840    32882 |    43497    41394     17 |  0.001 % |
130.53/130.63	c |    323777 |     597     9840    32882 |    43497    41888     17 |  0.001 % |
130.74/130.88	c |    324319 |     597     9840    32882 |    43497    42430     17 |  0.001 % |
131.03/131.15	c |    324916 |     597     9840    32882 |    43497    43027     17 |  0.001 % |
131.43/131.52	c |    325571 |     597     9840    32882 |    43497    38138     17 |  0.000 % |
131.73/131.81	c |    326294 |     597     9840    32882 |    43497    38861     17 |  0.001 % |
132.03/132.14	c |    327087 |     597     9840    32882 |    43497    39654     17 |  0.001 % |
132.43/132.52	c |    327958 |     597     9840    32882 |    43497    40525     17 |  0.001 % |
132.83/132.98	c |    328917 |     597     9840    32882 |    43497    41484     17 |  0.001 % |
133.43/133.52	c |    329970 |     597     9840    32882 |    43497    42537     17 |  0.001 % |
133.93/134.09	c |    331129 |     597     9840    32882 |    42567    38441     17 |  0.001 % |
134.53/134.65	c |    332402 |     597     9840    32882 |    42567    39714     17 |  0.001 % |
135.14/135.25	c |    333802 |     597     9840    32882 |    42567    41114     17 |  0.001 % |
135.84/135.95	c |    335343 |     597     9840    32882 |    42567    37573     17 |  0.001 % |
136.54/136.64	c |    337037 |     597     9840    32882 |    42567    39267     17 |  0.001 % |
137.34/137.50	c |    338902 |     597     9840    32882 |    42567    41132     17 |  0.001 % |
138.34/138.47	c |    340954 |     597     9840    32882 |    42230    38122     17 |  0.000 % |
139.34/139.43	c |    343209 |     597     9840    32882 |    42230    40377     17 |  0.001 % |
140.54/140.63	c |    345688 |     597     9840    32882 |    42230    37995     17 |  0.001 % |
141.74/141.83	c |    348413 |     597     9840    32882 |    42230    40720     17 |  0.001 % |
143.23/143.34	c |    351410 |     597     9840    32882 |    37083    33900     16 |  0.001 % |
144.73/144.90	c |    354707 |     597     9840    32882 |    37083    32965     16 |  0.001 % |
144.83/144.94	c |    354808 |     597     9840    32882 |    37083    33066     16 |  0.001 % |
144.83/144.99	c |    354922 |     597     9840    32882 |    37083    33180     16 |  0.001 % |
144.93/145.03	c |    355043 |     597     9840    32882 |    37083    33301     16 |  0.001 % |
144.93/145.09	c |    355178 |     597     9840    32882 |    37083    33436     16 |  0.001 % |
145.04/145.14	c |    355325 |     597     9840    32882 |    37083    33583     16 |  0.001 % |
145.14/145.20	c |    355485 |     597     9840    32882 |    37083    33743     16 |  0.001 % |
145.14/145.28	c |    355662 |     597     9840    32882 |    37083    33920     16 |  0.001 % |
145.23/145.36	c |    355857 |     597     9840    32882 |    37083    34115     16 |  0.001 % |
145.33/145.46	c |    356069 |     597     9840    32882 |    37083    34327     16 |  0.001 % |
145.43/145.56	c |    356305 |     597     9840    32882 |    37083    34563     16 |  0.001 % |
145.53/145.68	c |    356564 |     597     9840    32882 |    37083    34822     16 |  0.001 % |
145.63/145.79	c |    356846 |     597     9840    32882 |    37083    35104     16 |  0.001 % |
145.83/145.93	c |    357157 |     597     9840    32882 |    37083    35415     16 |  0.001 % |
145.93/146.08	c |    357497 |     597     9840    32882 |    37083    35755     16 |  0.001 % |
146.14/146.23	c |    357869 |     597     9840    32882 |    37083    36127     16 |  0.001 % |
146.33/146.40	c |    358278 |     597     9840    32882 |    37083    36536     16 |  0.001 % |
146.53/146.61	c |    358728 |     597     9840    32882 |    37083    36986     16 |  0.001 % |
146.73/146.86	c |    359221 |     597     9840    32882 |    37083    33321     16 |  0.001 % |
146.93/147.07	c |    359764 |     597     9840    32882 |    37083    33864     16 |  0.001 % |
147.23/147.33	c |    360361 |     597     9840    32882 |    34100    30811     16 |  0.001 % |
147.43/147.56	c |    361016 |     597     9840    32882 |    34100    31466     16 |  0.001 % |
147.73/147.87	c |    361738 |     597     9840    32882 |    34100    32188     16 |  0.001 % |
148.13/148.21	c |    362530 |     597     9840    32882 |    34100    32980     16 |  0.001 % |
148.43/148.55	c |    363401 |     597     9840    32882 |    34100    33851     16 |  0.001 % |
148.83/148.95	c |    364360 |     597     9840    32882 |    34100    31396     16 |  0.001 % |
149.23/149.33	c |    365415 |     597     9840    32882 |    34100    32451     17 |  0.000 % |
149.63/149.79	c |    366575 |     597     9840    32882 |    34100    33611     17 |  0.001 % |
150.23/150.36	c |    367848 |     597     9840    32882 |    34100    31470     16 |  0.001 % |
150.83/150.91	c |    369248 |     597     9840    32882 |    34100    32870     16 |  0.001 % |
151.33/151.48	c |    370788 |     597     9840    32882 | 2147483647    34410     17 |  0.001 % |
152.03/152.11	c |    372482 |     597     9840    32882 | 2147483647    36104     17 |  0.001 % |
152.73/152.87	c |    374345 |     597     9840    32882 | 2147483647    37967     17 |  0.001 % |
153.63/153.73	c |    376395 |     597     9840    32882 | 2147483647    40017     17 |  0.001 % |
154.63/154.72	c |    378648 |     597     9840    32882 | 2147483647    42270     17 |  0.001 % |
155.73/155.81	c |    381128 |     597     9840    32882 |    43622    40253     17 |  0.001 % |
156.83/156.98	c |    383853 |     597     9840    32882 |    43622    42978     17 |  0.001 % |
158.43/158.54	c |    386851 |     597     9840    32882 |    43622    40641     17 |  0.001 % |
160.23/160.30	c |    390147 |     597     9840    32882 |    37855    32844     16 |  0.001 % |
161.63/161.71	c |    393773 |     597     9840    32882 |    37855    36470     17 |  0.001 % |
161.63/161.75	c |    393874 |     597     9840    32882 |    37855    36571     17 |  0.001 % |
161.63/161.79	c |    393984 |     597     9840    32882 |    37855    36681     17 |  0.001 % |
161.73/161.85	c |    394108 |     597     9840    32882 |    37855    36805     17 |  0.001 % |
161.83/161.90	c |    394241 |     597     9840    32882 |    37855    36938     17 |  0.001 % |
161.83/161.97	c |    394388 |     597     9840    32882 |    37855    37085     17 |  0.001 % |
161.93/162.04	c |    394548 |     597     9840    32882 |    37855    37245     17 |  0.000 % |
162.02/162.12	c |    394724 |     597     9840    32882 |    37855    37421     17 |  0.001 % |
162.12/162.21	c |    394918 |     597     9840    32882 |    37855    37615     17 |  0.001 % |
162.22/162.30	c |    395130 |     597     9840    32882 |    37855    37827     17 |  0.000 % |
162.33/162.44	c |    395366 |     597     9840    32882 |    37855    33409     17 |  0.001 % |
162.42/162.54	c |    395622 |     597     9840    32882 |    37855    33665     17 |  0.001 % |
162.53/162.64	c |    395903 |     597     9840    32882 |    37855    33946     17 |  0.001 % |
162.63/162.77	c |    396214 |     597     9840    32882 |    37855    34257     17 |  0.001 % |
162.73/162.89	c |    396554 |     597     9840    32882 |    37855    34597     17 |  0.001 % |
162.93/163.05	c |    396928 |     597     9840    32882 |    37855    34971     17 |  0.001 % |
163.13/163.22	c |    397341 |     597     9840    32882 |    37855    35384     17 |  0.001 % |
163.33/163.41	c |    397790 |     597     9840    32882 |    37855    35833     17 |  0.001 % |
163.53/163.62	c |    398284 |     597     9840    32882 |    37855    36327     17 |  0.000 % |
163.73/163.85	c |    398827 |     597     9840    32882 |    37855    36870     17 |  0.000 % |
164.02/164.12	c |    399423 |     597     9840    32882 |    37855    37466     17 |  0.001 % |
164.42/164.51	c |    400079 |     597     9840    32882 |    33520    29588     17 |  0.001 % |
164.62/164.74	c |    400801 |     597     9840    32882 |    33520    30310     17 |  0.001 % |
164.83/165.00	c |    401593 |     597     9840    32882 |    33520    31102     17 |  0.001 % |
165.22/165.32	c |    402464 |     597     9840    32882 |    33520    31973     17 |  0.001 % |
165.52/165.66	c |    403423 |     597     9840    32882 |    33520    32932     17 |  0.001 % |
166.03/166.11	c |    404477 |     597     9840    32882 |    33520    30630     17 |  0.001 % |
166.42/166.52	c |    405637 |     597     9840    32882 |    33520    31790     17 |  0.001 % |
166.92/167.04	c |    406910 |     597     9840    32882 |    33520    33063     17 |  0.001 % |
167.52/167.63	c |    408310 |     597     9840    32882 |    33520    31107     17 |  0.001 % |
168.13/168.21	c |    409851 |     597     9840    32882 |    33520    32648     17 |  0.001 % |
168.82/168.90	c |    411545 |     597     9840    32882 | 2147483647    34342     17 |  0.001 % |
169.62/169.72	c |    413409 |     597     9840    32882 | 2147483647    36206     18 |  0.001 % |
170.52/170.68	c |    415458 |     597     9840    32882 | 2147483647    38255     18 |  0.001 % |
171.72/171.81	c |    417711 |     597     9840    32882 | 2147483647    40508     18 |  0.001 % |
172.92/173.07	c |    420190 |     597     9840    32882 |    42797    37975     18 |  0.001 % |
174.12/174.26	c |    422915 |     597     9840    32882 |    42797    40700     18 |  0.001 % |
175.52/175.65	c |    425912 |     597     9840    32882 |    42797    38448     17 |  0.001 % |
177.02/177.15	c |    429209 |     597     9840    32882 |    42797    41745     17 |  0.001 % |
178.73/178.83	c |    432835 |     597     9840    32882 |    42537    39995     17 |  0.001 % |
180.63/180.73	c |    436824 |     597     9840    32882 |    42537    38252     17 |  0.001 % |
180.63/180.77	c |    436926 |     597     9840    32882 |    42537    38354     17 |  0.001 % |
180.73/180.83	c |    437036 |     597     9840    32882 |    42537    38464     17 |  0.001 % |
180.73/180.88	c |    437158 |     597     9840    32882 |    42537    38586     17 |  0.001 % |
180.83/180.94	c |    437292 |     597     9840    32882 |    42537    38720     17 |  0.001 % |
180.93/181.00	c |    437440 |     597     9840    32882 |    42537    38868     17 |  0.001 % |
180.93/181.08	c |    437600 |     597     9840    32882 |    42537    39028     17 |  0.001 % |
181.03/181.16	c |    437776 |     597     9840    32882 |    42537    39204     17 |  0.001 % |
181.13/181.25	c |    437969 |     597     9840    32882 |    42537    39397     17 |  0.001 % |
181.23/181.35	c |    438183 |     597     9840    32882 |    42537    39611     17 |  0.001 % |
181.33/181.46	c |    438418 |     597     9840    32882 |    42537    39846     17 |  0.001 % |
181.43/181.57	c |    438674 |     597     9840    32882 |    42537    40102     17 |  0.001 % |
181.53/181.70	c |    438957 |     597     9840    32882 |    42537    40385     17 |  0.001 % |
181.73/181.85	c |    439266 |     597     9840    32882 |    42537    40694     17 |  0.001 % |
181.93/182.02	c |    439605 |     597     9840    32882 |    42537    41033     17 |  0.001 % |
182.03/182.19	c |    439978 |     597     9840    32882 |    42537    41406     17 |  0.001 % |
182.33/182.43	c |    440387 |     597     9840    32882 |    41428    36123     17 |  0.001 % |
182.53/182.63	c |    440837 |     597     9840    32882 |    41428    36573     17 |  0.001 % |
182.73/182.84	c |    441332 |     597     9840    32882 |    41428    37068     17 |  0.001 % |
182.93/183.06	c |    441875 |     597     9840    32882 |    41428    37611     17 |  0.001 % |
183.23/183.31	c |    442471 |     597     9840    32882 |    41428    38207     17 |  0.001 % |
183.43/183.58	c |    443126 |     597     9840    32882 |    41428    38862     17 |  0.001 % |
183.73/183.89	c |    443846 |     597     9840    32882 |    41428    39582     17 |  0.001 % |
184.12/184.26	c |    444642 |     597     9840    32882 |    41428    40378     17 |  0.001 % |
184.52/184.67	c |    445513 |     597     9840    32882 |    41428    41249     17 |  0.001 % |
185.02/185.15	c |    446472 |     597     9840    32882 |    41428    36769     17 |  0.001 % |
185.52/185.61	c |    447525 |     597     9840    32882 |    41428    37822     17 |  0.000 % |
186.02/186.14	c |    448687 |     597     9840    32882 |    41428    38984     17 |  0.001 % |
186.62/186.74	c |    449960 |     597     9840    32882 |    41428    40257     17 |  0.001 % |
187.32/187.40	c |    451360 |     597     9840    32882 |    40298    36359     17 |  0.001 % |
187.93/188.03	c |    452900 |     597     9840    32882 |    40298    37899     17 |  0.001 % |
188.62/188.74	c |    454597 |     597     9840    32882 |    40298    39596     17 |  0.000 % |
189.52/189.64	c |    456462 |     597     9840    32882 |    40298    36636     17 |  0.001 % |
190.42/190.60	c |    458514 |     597     9840    32882 |    40298    38688     17 |  0.001 % |
191.62/191.71	c |    460768 |     597     9840    32882 |    40176    35860     17 |  0.001 % |
192.72/192.81	c |    463246 |     597     9840    32882 |    40176    38338     17 |  0.001 % |
194.02/194.10	c |    465973 |     597     9840    32882 |    40176    36156     17 |  0.001 % |
195.32/195.42	c |    468970 |     597     9840    32882 |    40176    39153     17 |  0.001 % |
196.82/196.92	c |    472267 |     597     9840    32882 |    40185    37519     17 |  0.000 % |
198.52/198.65	c |    475895 |     597     9840    32882 |    40185    36372     17 |  0.001 % |
200.42/200.59	c |    479884 |     597     9840    32882 |    40185    35277     17 |  0.001 % |
202.32/202.46	c |    484271 |     597     9840    32882 |    35393    35185     17 |  0.001 % |
202.42/202.51	c |    484372 |     597     9840    32882 |    35393    35286     17 |  0.001 % |
202.42/202.57	c |    484485 |     597     9840    32882 |    35393    35399     17 |  0.001 % |
202.52/202.66	c |    484608 |     597     9840    32882 |    35393    31684     16 |  0.001 % |
202.62/202.71	c |    484743 |     597     9840    32882 |    35393    31819     16 |  0.001 % |
202.62/202.78	c |    484889 |     597     9840    32882 |    35393    31965     16 |  0.000 % |
202.72/202.85	c |    485052 |     597     9840    32882 |    35393    32128     16 |  0.001 % |
202.82/202.93	c |    485228 |     597     9840    32882 |    35393    32304     16 |  0.000 % |
202.92/203.00	c |    485422 |     597     9840    32882 |    35393    32498     16 |  0.001 % |
202.92/203.09	c |    485635 |     597     9840    32882 |    35393    32711     16 |  0.001 % |
203.02/203.17	c |    485868 |     597     9840    32882 |    35393    32944     16 |  0.001 % |
203.12/203.26	c |    486124 |     597     9840    32882 |    35393    33200     16 |  0.001 % |
203.22/203.36	c |    486408 |     597     9840    32882 |    35393    33484     17 |  0.001 % |
203.32/203.47	c |    486719 |     597     9840    32882 |    35393    33795     17 |  0.001 % |
203.52/203.61	c |    487060 |     597     9840    32882 |    35393    34136     17 |  0.001 % |
203.62/203.73	c |    487432 |     597     9840    32882 |    35393    34508     17 |  0.000 % |
203.72/203.87	c |    487841 |     597     9840    32882 |    35393    34917     17 |  0.001 % |
203.92/204.03	c |    488291 |     597     9840    32882 |    35393    35367     17 |  0.001 % |
204.11/204.23	c |    488788 |     597     9840    32882 |    35393    32219     17 |  0.000 % |
204.31/204.41	c |    489331 |     597     9840    32882 |    35393    32762     17 |  0.001 % |
204.52/204.62	c |    489929 |     597     9840    32882 |    35393    33360     17 |  0.001 % |
204.71/204.85	c |    490585 |     597     9840    32882 | 2147483647    34016     17 |  0.001 % |
204.91/205.09	c |    491305 |     597     9840    32882 | 2147483647    34736     17 |  0.001 % |
205.21/205.37	c |    492097 |     597     9840    32882 | 2147483647    35528     17 |  0.001 % |
205.62/205.73	c |    492969 |     597     9840    32882 | 2147483647    36400     17 |  0.001 % |
206.01/206.14	c |    493928 |     597     9840    32882 | 2147483647    37359     17 |  0.001 % |
206.41/206.54	c |    494981 |     597     9840    32882 | 2147483647    38412     17 |  0.001 % |
206.91/207.02	c |    496141 |     597     9840    32882 | 2147483647    39572     17 |  0.000 % |
207.41/207.54	c |    497416 |     597     9840    32882 | 2147483647    40847     17 |  0.001 % |
208.01/208.12	c |    498816 |     597     9840    32882 | 2147483647    42247     17 |  0.001 % |
208.61/208.78	c |    500356 |     597     9840    32882 | 2147483647    43787     17 |  0.001 % |
209.41/209.52	c |    502051 |     597     9840    32882 | 2147483647    45482     17 |  0.001 % |
210.21/210.39	c |    503917 |     597     9840    32882 | 2147483647    47348     17 |  0.001 % |
211.31/211.42	c |    505966 |     597     9840    32882 | 2147483647    49397     17 |  0.001 % |
212.51/212.63	c |    508221 |     597     9840    32882 | 2147483647    51652     17 |  0.001 % |
214.11/214.29	c |    510700 |     597     9840    32882 |    53432    46144     17 |  0.001 % |
215.42/215.58	c |    513425 |     597     9840    32882 |    53432    48869     17 |  0.001 % |
217.01/217.17	c |    516422 |     597     9840    32882 |    53432    51866     17 |  0.001 % |
219.01/219.17	c |    519721 |     597     9840    32882 |    53432    46313     17 |  0.000 % |
220.91/221.06	c |    523346 |     597     9840    32882 |    46596    42158     17 |  0.001 % |
222.91/223.02	c |    527334 |     597     9840    32882 |    46596    46146     17 |  0.001 % |
224.91/225.03	c |    531720 |     597     9840    32882 |    41620    36986     16 |  0.000 % |
227.11/227.22	c |    536543 |     597     9840    32882 |    41620    36476     16 |  0.001 % |
227.11/227.27	c |    536643 |     597     9840    32882 |    41620    36576     16 |  0.001 % |
227.21/227.30	c |    536753 |     597     9840    32882 |    41620    36686     16 |  0.001 % |
227.21/227.35	c |    536874 |     597     9840    32882 |    41620    36807     16 |  0.001 % |
227.21/227.38	c |    537007 |     597     9840    32882 |    41620    36940     16 |  0.001 % |
227.31/227.44	c |    537154 |     597     9840    32882 |    41620    37087     16 |  0.001 % |
227.31/227.49	c |    537316 |     597     9840    32882 |    41620    37249     16 |  0.000 % |
227.41/227.55	c |    537494 |     597     9840    32882 |    41620    37427     16 |  0.001 % |
227.51/227.62	c |    537689 |     597     9840    32882 |    41620    37622     16 |  0.001 % |
227.61/227.71	c |    537902 |     597     9840    32882 |    41620    37835     16 |  0.001 % |
227.61/227.79	c |    538136 |     597     9840    32882 |    41620    38069     16 |  0.001 % |
227.71/227.89	c |    538394 |     597     9840    32882 |    41620    38327     16 |  0.001 % |
227.81/227.99	c |    538677 |     597     9840    32882 |    41620    38610     17 |  0.001 % |
228.01/228.11	c |    538988 |     597     9840    32882 |    41620    38921     17 |  0.001 % |
228.11/228.23	c |    539327 |     597     9840    32882 |    41620    39260     17 |  0.001 % |
228.21/228.37	c |    539700 |     597     9840    32882 |    41620    39633     17 |  0.001 % |
228.51/228.61	c |    540109 |     597     9840    32882 |    39935    35224     16 |  0.001 % |
228.61/228.77	c |    540558 |     597     9840    32882 |    39935    35673     17 |  0.001 % |
228.81/228.95	c |    541052 |     597     9840    32882 |    39935    36167     17 |  0.001 % |
229.01/229.14	c |    541596 |     597     9840    32882 |    39935    36711     17 |  0.001 % |
229.21/229.36	c |    542192 |     597     9840    32882 |    39935    37307     17 |  0.001 % |
229.51/229.60	c |    542851 |     597     9840    32882 |    39935    37966     17 |  0.001 % |
229.71/229.87	c |    543571 |     597     9840    32882 |    39935    38686     17 |  0.001 % |
230.01/230.19	c |    544363 |     597     9840    32882 |    39935    39478     17 |  0.001 % |
230.50/230.66	c |    545237 |     597     9840    32882 |    39935    36211     17 |  0.001 % |
230.91/231.05	c |    546195 |     597     9840    32882 |    39935    37169     17 |  0.001 % |
231.31/231.49	c |    547249 |     597     9840    32882 |    39935    38223     17 |  0.001 % |
231.91/232.07	c |    548409 |     597     9840    32882 |    39935    39383     17 |  0.000 % |
232.50/232.67	c |    549682 |     597     9840    32882 |    39935    36572     17 |  0.001 % |
233.20/233.31	c |    551082 |     597     9840    32882 |    36890    34200     17 |  0.001 % |
233.70/233.89	c |    552624 |     597     9840    32882 |    36890    35742     17 |  0.001 % |
234.50/234.61	c |    554319 |     597     9840    32882 |    36890    33743     17 |  0.001 % |
235.31/235.41	c |    556182 |     597     9840    32882 |    36890    35606     18 |  0.001 % |
236.20/236.36	c |    558231 |     597     9840    32882 |    36890    33962     18 |  0.001 % |
237.20/237.32	c |    560485 |     597     9840    32882 | 2147483647    36216     18 |  0.001 % |
238.30/238.41	c |    562963 |     597     9840    32882 | 2147483647    38694     18 |  0.001 % |
239.50/239.68	c |    565690 |     597     9840    32882 | 2147483647    41421     18 |  0.000 % |
240.90/241.05	c |    568688 |     597     9840    32882 | 2147483647    44419     18 |  0.001 % |
242.50/242.61	c |    571984 |     597     9840    32882 |    45731    41624     18 |  0.001 % |
244.30/244.40	c |    575609 |     597     9840    32882 |    45731    45249     18 |  0.000 % |
246.10/246.30	c |    579596 |     597     9840    32882 |    45731    42691     18 |  0.001 % |
248.10/248.27	c |    583981 |     597     9840    32882 |    43095    41033     18 |  0.001 % |
250.40/250.56	c |    588807 |     597     9840    32882 |    43095    40249     18 |  0.001 % |
252.90/253.05	c |    594112 |     597     9840    32882 |    41442    40106     17 |  0.001 % |
253.00/253.11	c |    594213 |     597     9840    32882 |    41442    40207     17 |  0.001 % |
253.00/253.17	c |    594323 |     597     9840    32882 |    41442    40317     17 |  0.001 % |
253.10/253.24	c |    594444 |     597     9840    32882 |    41442    40438     17 |  0.001 % |
253.20/253.30	c |    594577 |     597     9840    32882 |    41442    40571     17 |  0.001 % |
253.20/253.36	c |    594723 |     597     9840    32882 |    41442    40717     17 |  0.000 % |
253.30/253.43	c |    594883 |     597     9840    32882 |    41442    40877     17 |  0.001 % |
253.40/253.51	c |    595060 |     597     9840    32882 |    41442    41054     17 |  0.001 % |
253.50/253.60	c |    595253 |     597     9840    32882 |    41442    41247     17 |  0.001 % |
253.60/253.70	c |    595467 |     597     9840    32882 |    41442    41461     17 |  0.001 % |
253.70/253.86	c |    595700 |     597     9840    32882 |    41442    36071     17 |  0.001 % |
253.80/253.99	c |    595957 |     597     9840    32882 |    41442    36328     17 |  0.001 % |
254.00/254.12	c |    596238 |     597     9840    32882 |    41442    36609     17 |  0.001 % |
254.10/254.26	c |    596547 |     597     9840    32882 |    41442    36918     17 |  0.001 % |
254.30/254.42	c |    596886 |     597     9840    32882 |    41442    37257     17 |  0.001 % |
254.40/254.57	c |    597258 |     597     9840    32882 |    41442    37629     17 |  0.001 % |
254.60/254.75	c |    597667 |     597     9840    32882 |    41442    38038     17 |  0.001 % |
254.80/254.92	c |    598116 |     597     9840    32882 |    41442    38487     17 |  0.001 % |
255.00/255.16	c |    598609 |     597     9840    32882 |    41442    38980     17 |  0.001 % |
255.30/255.40	c |    599153 |     597     9840    32882 |    41442    39524     17 |  0.001 % |
255.50/255.66	c |    599749 |     597     9840    32882 |    41442    40120     17 |  0.001 % |
255.90/256.02	c |    600405 |     597     9840    32882 |    40371    35459     17 |  0.001 % |
256.30/256.40	c |    601126 |     597     9840    32882 |    40371    36180     17 |  0.000 % |
256.60/256.74	c |    601918 |     597     9840    32882 |    40371    36972     17 |  0.001 % |
257.00/257.10	c |    602790 |     597     9840    32882 |    40371    37844     17 |  0.001 % |
257.39/257.52	c |    603748 |     597     9840    32882 |    40371    38802     17 |  0.001 % |
257.89/258.01	c |    604801 |     597     9840    32882 |    40371    39855     17 |  0.001 % |
258.40/258.59	c |    605959 |     597     9840    32882 |    40371    35904     17 |  0.001 % |
258.99/259.14	c |    607233 |     597     9840    32882 |    40371    37178     17 |  0.000 % |
259.59/259.72	c |    608634 |     597     9840    32882 |    40371    38579     17 |  0.001 % |
260.29/260.43	c |    610175 |     597     9840    32882 |    39945    35248     17 |  0.001 % |
260.99/261.18	c |    611871 |     597     9840    32882 |    39945    36944     17 |  0.001 % |
261.89/262.03	c |    613734 |     597     9840    32882 |    39945    38807     17 |  0.001 % |
262.89/263.06	c |    615783 |     597     9840    32882 |    39945    36232     18 |  0.001 % |
263.89/264.02	c |    618037 |     597     9840    32882 |    39945    38486     18 |  0.000 % |
264.89/265.10	c |    620516 |     597     9840    32882 |    35806    32213     18 |  0.001 % |
265.89/266.09	c |    623243 |     597     9840    32882 |    35806    34940     18 |  0.001 % |
267.09/267.22	c |    626240 |     597     9840    32882 |    35806    34353     18 |  0.001 % |
268.39/268.56	c |    629536 |     597     9840    32882 |    35806    34065     18 |  0.001 % |
269.99/270.12	c |    633163 |     597     9840    32882 | 2147483647    37692     18 |  0.001 % |
271.79/271.91	c |    637151 |     597     9840    32882 | 2147483647    41680     18 |  0.001 % |
273.89/274.03	c |    641538 |     597     9840    32882 |    44531    41091     18 |  0.001 % |
276.39/276.57	c |    646361 |     597     9840    32882 |    44531    40174     17 |  0.001 % |
279.09/279.23	c |    651666 |     597     9840    32882 |    43813    39433     17 |  0.001 % |
281.89/282.06	c |    657502 |     597     9840    32882 |    43813    38650     17 |  0.001 % |
281.99/282.11	c |    657606 |     597     9840    32882 |    43813    38754     17 |  0.001 % |
281.99/282.16	c |    657716 |     597     9840    32882 |    43813    38864     17 |  0.001 % |
282.09/282.22	c |    657839 |     597     9840    32882 |    43813    38987     17 |  0.001 % |
282.09/282.28	c |    657975 |     597     9840    32882 |    43813    39123     17 |  0.001 % |
282.19/282.36	c |    658122 |     597     9840    32882 |    43813    39270     17 |  0.001 % |
282.29/282.44	c |    658282 |     597     9840    32882 |    43813    39430     17 |  0.001 % |
282.39/282.53	c |    658458 |     597     9840    32882 |    43813    39606     17 |  0.001 % |
282.50/282.62	c |    658652 |     597     9840    32882 |    43813    39800     17 |  0.001 % |
282.60/282.73	c |    658865 |     597     9840    32882 |    43813    40013     17 |  0.001 % |
282.69/282.85	c |    659098 |     597     9840    32882 |    43813    40246     17 |  0.001 % |
282.79/282.98	c |    659355 |     597     9840    32882 |    43813    40503     17 |  0.001 % |
282.99/283.11	c |    659636 |     597     9840    32882 |    43813    40784     17 |  0.001 % |
283.09/283.26	c |    659945 |     597     9840    32882 |    43813    41093     17 |  0.001 % |
283.29/283.48	c |    660285 |     597     9840    32882 |    41148    35326     17 |  0.000 % |
283.49/283.64	c |    660657 |     597     9840    32882 |    41148    35698     17 |  0.001 % |
283.70/283.82	c |    661066 |     597     9840    32882 |    41148    36107     17 |  0.001 % |
283.89/284.05	c |    661515 |     597     9840    32882 |    41148    36556     17 |  0.001 % |
284.09/284.27	c |    662009 |     597     9840    32882 |    41148    37050     17 |  0.001 % |
284.39/284.52	c |    662551 |     597     9840    32882 |    41148    37592     17 |  0.001 % |
284.59/284.77	c |    663147 |     597     9840    32882 |    41148    38188     17 |  0.001 % |
284.89/285.02	c |    663802 |     597     9840    32882 |    41148    38843     17 |  0.001 % |
285.09/285.29	c |    664522 |     597     9840    32882 |    41148    39563     17 |  0.000 % |
285.39/285.59	c |    665314 |     597     9840    32882 |    41148    40355     17 |  0.001 % |
285.90/286.01	c |    666187 |     597     9840    32882 |    41148    36348     17 |  0.001 % |
286.19/286.38	c |    667146 |     597     9840    32882 |    41148    37307     17 |  0.001 % |
286.59/286.75	c |    668201 |     597     9840    32882 |    41148    38362     17 |  0.001 % |
287.09/287.21	c |    669360 |     597     9840    32882 |    41148    39521     17 |  0.001 % |
287.59/287.76	c |    670633 |     597     9840    32882 |    40162    36462     17 |  0.001 % |
288.09/288.28	c |    672037 |     597     9840    32882 |    40162    37866     17 |  0.001 % |
288.79/288.95	c |    673578 |     597     9840    32882 |    40162    39407     17 |  0.001 % |
289.59/289.72	c |    675272 |     597     9840    32882 |    40162    37080     17 |  0.001 % |
290.39/290.53	c |    677136 |     597     9840    32882 |    40162    38944     17 |  0.001 % |
291.29/291.46	c |    679185 |     597     9840    32882 |    40162    36972     17 |  0.001 % |
292.19/292.39	c |    681439 |     597     9840    32882 | 2147483647    39226     17 |  0.001 % |
293.39/293.55	c |    683919 |     597     9840    32882 | 2147483647    41706     17 |  0.001 % |
294.69/294.87	c |    686644 |     597     9840    32882 | 2147483647    44431     18 |  0.001 % |
296.29/296.43	c |    689641 |     597     9840    32882 | 2147483647    47428     18 |  0.001 % |
298.09/298.27	c |    692939 |     597     9840    32882 |    47787    44236     17 |  0.001 % |
299.89/300.06	c |    696564 |     597     9840    32882 |    47787    40639     17 |  0.001 % |
301.79/301.96	c |    700551 |     597     9840    32882 |    44076    38141     17 |  0.001 % |
303.78/303.96	c |    704936 |     597     9840    32882 |    44076    42526     17 |  0.001 % |
306.18/306.33	c |    709759 |     597     9840    32882 |    44076    41358     17 |  0.001 % |
308.58/308.77	c |    715065 |     597     9840    32882 |    41600    41138     17 |  0.001 % |
311.38/311.56	c |    720901 |     597     9840    32882 |    40757    36717     18 |  0.001 % |
314.49/314.60	c |    727322 |     597     9840    32882 |    40757    38317     18 |  0.001 % |
314.49/314.64	c |    727422 |     597     9840    32882 |    40757    38417     18 |  0.001 % |
314.58/314.70	c |    727532 |     597     9840    32882 |    40757    38527     18 |  0.001 % |
314.58/314.74	c |    727654 |     597     9840    32882 |    40757    38649     18 |  0.000 % |
314.68/314.80	c |    727788 |     597     9840    32882 |    40757    38783     18 |  0.001 % |
314.68/314.87	c |    727934 |     597     9840    32882 |    40757    38929     18 |  0.001 % |
314.78/314.94	c |    728095 |     597     9840    32882 |    40757    39090     18 |  0.001 % |
314.88/315.01	c |    728272 |     597     9840    32882 |    40757    39267     18 |  0.001 % |
314.98/315.11	c |    728467 |     597     9840    32882 |    40757    39462     18 |  0.001 % |
315.08/315.20	c |    728679 |     597     9840    32882 |    40757    39674     18 |  0.001 % |
315.18/315.30	c |    728914 |     597     9840    32882 |    40757    39909     18 |  0.001 % |
315.28/315.42	c |    729171 |     597     9840    32882 |    40757    40166     18 |  0.001 % |
315.38/315.55	c |    729453 |     597     9840    32882 |    40757    40448     18 |  0.001 % |
315.48/315.68	c |    729762 |     597     9840    32882 |    40757    40757     18 |  0.001 % |
315.78/315.94	c |    730102 |     597     9840    32882 |    36270    32207     17 |  0.001 % |
315.88/316.07	c |    730474 |     597     9840    32882 |    36270    32579     17 |  0.001 % |
316.08/316.22	c |    730884 |     597     9840    32882 |    36270    32989     17 |  0.001 % |
316.18/316.39	c |    731335 |     597     9840    32882 |    36270    33440     17 |  0.001 % |
316.38/316.57	c |    731830 |     597     9840    32882 |    36270    33935     17 |  0.001 % |
316.58/316.78	c |    732373 |     597     9840    32882 |    36270    34478     17 |  0.001 % |
316.88/317.02	c |    732971 |     597     9840    32882 |    36270    35076     17 |  0.001 % |
317.08/317.29	c |    733626 |     597     9840    32882 |    36270    35731     17 |  0.001 % |
317.48/317.65	c |    734346 |     597     9840    32882 |    36270    32818     17 |  0.001 % |
317.78/317.97	c |    735140 |     597     9840    32882 |    36270    33612     17 |  0.001 % |
318.18/318.34	c |    736013 |     597     9840    32882 |    36270    34485     17 |  0.001 % |
318.58/318.75	c |    736971 |     597     9840    32882 |    36270    35443     17 |  0.001 % |
319.08/319.23	c |    738024 |     597     9840    32882 |    36270    32865     17 |  0.001 % |
319.48/319.69	c |    739182 |     597     9840    32882 |    36270    34023     17 |  0.001 % |
320.08/320.21	c |    740455 |     597     9840    32882 | 2147483647    35296     17 |  0.001 % |
320.58/320.77	c |    741856 |     597     9840    32882 | 2147483647    36697     17 |  0.000 % |
321.18/321.40	c |    743396 |     597     9840    32882 | 2147483647    38237     17 |  0.001 % |
321.98/322.13	c |    745090 |     597     9840    32882 | 2147483647    39931     18 |  0.001 % |
322.78/322.92	c |    746953 |     597     9840    32882 | 2147483647    41794     18 |  0.001 % |
323.68/323.83	c |    749004 |     597     9840    32882 | 2147483647    43845     18 |  0.001 % |
324.88/325.05	c |    751258 |     597     9840    32882 |    44841    40683     18 |  0.001 % |
326.08/326.24	c |    753736 |     597     9840    32882 |    44841    43161     18 |  0.001 % |
327.47/327.67	c |    756461 |     597     9840    32882 |    44841    39497     17 |  0.001 % |
328.97/329.15	c |    759459 |     597     9840    32882 |    44841    42495     18 |  0.000 % |
330.67/330.85	c |    762755 |     597     9840    32882 |    43038    39323     18 |  0.001 % |
332.47/332.69	c |    766381 |     597     9840    32882 |    43038    42949     18 |  0.001 % |
334.67/334.80	c |    770368 |     597     9840    32882 |    40208    34651     18 |  0.001 % |
336.57/336.77	c |    774755 |     597     9840    32882 |    40208    39038     18 |  0.001 % |
338.97/339.13	c |    779578 |     597     9840    32882 |    40208    38456     17 |  0.001 % |
341.37/341.53	c |    784883 |     597     9840    32882 |    38879    38602     17 |  0.001 % |
344.07/344.27	c |    790722 |     597     9840    32882 |    34194    30697     16 |  0.001 % |
346.67/346.89	c |    797141 |     597     9840    32882 |    34194    33691     16 |  0.001 % |
349.27/349.49	c |    804200 |     597     9840    32882 | 2147483647    37327     16 |  0.000 % |
349.37/349.53	c |    804301 |     597     9840    32882 | 2147483647    37428     16 |  0.001 % |
349.37/349.59	c |    804411 |     597     9840    32882 | 2147483647    37538     16 |  0.000 % |
349.47/349.64	c |    804532 |     597     9840    32882 | 2147483647    37659     16 |  0.001 % |
349.57/349.72	c |    804665 |     597     9840    32882 | 2147483647    37792     16 |  0.001 % |
349.57/349.79	c |    804811 |     597     9840    32882 | 2147483647    37938     16 |  0.001 % |
349.67/349.86	c |    804971 |     597     9840    32882 | 2147483647    38098     16 |  0.001 % |
349.77/349.94	c |    805148 |     597     9840    32882 | 2147483647    38275     16 |  0.001 % |
349.86/350.03	c |    805341 |     597     9840    32882 | 2147483647    38468     16 |  0.001 % |
349.96/350.14	c |    805553 |     597     9840    32882 | 2147483647    38680     16 |  0.001 % |
350.06/350.25	c |    805786 |     597     9840    32882 | 2147483647    38913     16 |  0.001 % |
350.16/350.38	c |    806044 |     597     9840    32882 | 2147483647    39171     16 |  0.001 % |
350.36/350.52	c |    806327 |     597     9840    32882 | 2147483647    39454     16 |  0.001 % |
350.46/350.67	c |    806637 |     597     9840    32882 | 2147483647    39764     16 |  0.001 % |
350.67/350.82	c |    806976 |     597     9840    32882 | 2147483647    40103     16 |  0.001 % |
350.77/350.98	c |    807348 |     597     9840    32882 | 2147483647    40475     16 |  0.000 % |
350.96/351.19	c |    807760 |     597     9840    32882 | 2147483647    40887     16 |  0.001 % |
351.26/351.42	c |    808210 |     597     9840    32882 | 2147483647    41337     16 |  0.001 % |
351.46/351.66	c |    808703 |     597     9840    32882 | 2147483647    41830     16 |  0.001 % |
351.77/351.92	c |    809245 |     597     9840    32882 | 2147483647    42372     16 |  0.001 % |
352.06/352.22	c |    809841 |     597     9840    32882 | 2147483647    42968     16 |  0.001 % |
352.46/352.62	c |    810498 |     597     9840    32882 |    43130    38858     16 |  0.000 % |
352.76/352.95	c |    811218 |     597     9840    32882 |    43130    39578     17 |  0.001 % |
353.16/353.33	c |    812011 |     597     9840    32882 |    43130    40371     17 |  0.001 % |
353.56/353.74	c |    812886 |     597     9840    32882 |    43130    41246     17 |  0.001 % |
353.97/354.17	c |    813844 |     597     9840    32882 |    43130    42204     17 |  0.001 % |
354.56/354.73	c |    814897 |     597     9840    32882 |    43130    37794     17 |  0.001 % |
355.07/355.25	c |    816056 |     597     9840    32882 |    43130    38953     17 |  0.001 % |
355.66/355.85	c |    817329 |     597     9840    32882 |    43130    40226     17 |  0.001 % |
356.26/356.49	c |    818729 |     597     9840    32882 |    43130    41626     17 |  0.001 % |
357.16/357.31	c |    820270 |     597     9840    32882 |    42900    37784     17 |  0.001 % |
357.86/358.08	c |    821964 |     597     9840    32882 |    42900    39478     17 |  0.001 % |
358.86/359.00	c |    823828 |     597     9840    32882 |    42900    41342     17 |  0.001 % |
359.86/360.03	c |    825878 |     597     9840    32882 |    42900    37865     17 |  0.001 % |
360.86/361.09	c |    828133 |     597     9840    32882 |    42900    40120     17 |  0.001 % |
362.06/362.28	c |    830612 |     597     9840    32882 |    41987    37248     17 |  0.001 % |
363.36/363.50	c |    833338 |     597     9840    32882 |    41987    39974     17 |  0.001 % |
364.76/364.91	c |    836338 |     597     9840    32882 |    41987    37712     17 |  0.001 % |
366.26/366.43	c |    839635 |     597     9840    32882 |    41987    41009     17 |  0.001 % |
367.96/368.16	c |    843260 |     597     9840    32882 |    41374    39386     17 |  0.001 % |
369.76/369.99	c |    847248 |     597     9840    32882 |    41374    38093     17 |  0.001 % |
371.86/372.08	c |    851633 |     597     9840    32882 |    40845    37302     17 |  0.001 % |
374.26/374.41	c |    856457 |     597     9840    32882 |    40845    36761     17 |  0.001 % |
376.75/376.98	c |    861762 |     597     9840    32882 |    40304    36640     17 |  0.001 % |
379.45/379.62	c |    867597 |     597     9840    32882 |    40304    37408     18 |  0.001 % |
382.35/382.56	c |    874017 |     597     9840    32882 |    39811    38993     18 |  0.001 % |
385.45/385.67	c |    881078 |     597     9840    32882 |    35986    33152     18 |  0.001 % |
388.55/388.71	c |    888842 |     597     9840    32882 |    35986    33709     18 |  0.001 % |
388.55/388.75	c |    888943 |     597     9840    32882 |    35986    33810     18 |  0.001 % |
388.55/388.79	c |    889053 |     597     9840    32882 |    35986    33920     18 |  0.001 % |
388.65/388.85	c |    889174 |     597     9840    32882 |    35986    34041     18 |  0.001 % |
388.75/388.90	c |    889309 |     597     9840    32882 |    35986    34176     18 |  0.001 % |
388.75/388.95	c |    889456 |     597     9840    32882 |    35986    34323     18 |  0.001 % |
388.85/389.01	c |    889616 |     597     9840    32882 |    35986    34483     18 |  0.001 % |
388.85/389.07	c |    889792 |     597     9840    32882 |    35986    34659     18 |  0.001 % |
388.95/389.16	c |    889985 |     597     9840    32882 |    35986    34852     18 |  0.001 % |
389.05/389.24	c |    890197 |     597     9840    32882 | 2147483647    35064     18 |  0.001 % |
389.15/389.32	c |    890431 |     597     9840    32882 | 2147483647    35298     18 |  0.001 % |
389.25/389.43	c |    890687 |     597     9840    32882 | 2147483647    35554     18 |  0.001 % |
389.35/389.55	c |    890968 |     597     9840    32882 | 2147483647    35835     18 |  0.001 % |
389.45/389.68	c |    891278 |     597     9840    32882 | 2147483647    36145     18 |  0.001 % |
389.65/389.80	c |    891617 |     597     9840    32882 | 2147483647    36484     18 |  0.001 % |
389.75/389.95	c |    891989 |     597     9840    32882 | 2147483647    36856     18 |  0.001 % |
389.95/390.12	c |    892398 |     597     9840    32882 | 2147483647    37265     18 |  0.001 % |
390.15/390.31	c |    892847 |     597     9840    32882 | 2147483647    37714     18 |  0.001 % |
390.35/390.52	c |    893340 |     597     9840    32882 | 2147483647    38207     18 |  0.001 % |
390.55/390.75	c |    893884 |     597     9840    32882 | 2147483647    38751     18 |  0.001 % |
390.85/391.01	c |    894480 |     597     9840    32882 | 2147483647    39347     18 |  0.001 % |
391.15/391.32	c |    895136 |     597     9840    32882 | 2147483647    40003     18 |  0.001 % |
391.45/391.64	c |    895856 |     597     9840    32882 | 2147483647    40723     18 |  0.001 % |
391.75/391.99	c |    896649 |     597     9840    32882 | 2147483647    41516     18 |  0.001 % |
392.25/392.41	c |    897520 |     597     9840    32882 | 2147483647    42387     18 |  0.001 % |
392.64/392.86	c |    898478 |     597     9840    32882 | 2147483647    43345     18 |  0.001 % |
393.14/393.36	c |    899533 |     597     9840    32882 | 2147483647    44400     18 |  0.001 % |
393.85/394.01	c |    900691 |     597     9840    32882 |    44867    40863     18 |  0.001 % |
394.35/394.56	c |    901964 |     597     9840    32882 |    44867    42136     18 |  0.001 % |
395.04/395.25	c |    903364 |     597     9840    32882 |    44867    43536     18 |  0.001 % |
395.85/396.04	c |    904907 |     597     9840    32882 |    44867    39550     18 |  0.001 % |
396.64/396.80	c |    906602 |     597     9840    32882 |    44867    41245     18 |  0.001 % |
397.44/397.68	c |    908466 |     597     9840    32882 |    44867    43109     18 |  0.001 % |
398.54/398.71	c |    910515 |     597     9840    32882 |    44645    39573     18 |  0.001 % |
399.54/399.70	c |    912769 |     597     9840    32882 |    44645    41827     18 |  0.001 % |
400.64/400.83	c |    915247 |     597     9840    32882 |    44645    44305     18 |  0.001 % |
401.94/402.16	c |    917975 |     597     9840    32882 |    44645    41082     17 |  0.001 % |
403.44/403.62	c |    920973 |     597     9840    32882 |    43108    38151     17 |  0.001 % |
404.74/404.96	c |    924271 |     597     9840    32882 |    43108    41449     18 |  0.001 % |
406.55/406.77	c |    927897 |     597     9840    32882 |    43108    39615     18 |  0.001 % |
408.45/408.68	c |    931886 |     597     9840    32882 |    41721    38246     18 |  0.001 % |
410.65/410.88	c |    936272 |     597     9840    32882 |    41721    37079     18 |  0.001 % |
413.15/413.31	c |    941095 |     597     9840    32882 |    40807    36400     18 |  0.001 % |
415.55/415.80	c |    946400 |     597     9840    32882 |    40807    36263     18 |  0.001 % |
418.34/418.55	c |    952235 |     597     9840    32882 |    39863    36949     17 |  0.001 % |
421.24/421.47	c |    958653 |     597     9840    32882 |    39863    38131     18 |  0.001 % |
424.04/424.23	c |    965712 |     597     9840    32882 |    39479    34303     17 |  0.001 % |
427.34/427.54	c |    973477 |     597     9840    32882 |    38591    37118     18 |  0.000 % |
431.34/431.55	c |    982019 |     597     9840    32882 |    34878    32913     18 |  0.001 % |
431.34/431.59	c |    982120 |     597     9840    32882 |    34878    33014     18 |  0.001 % |
431.44/431.64	c |    982230 |     597     9840    32882 |    34878    33124     18 |  0.001 % |
431.44/431.70	c |    982351 |     597     9840    32882 |    34878    33245     18 |  0.001 % |
431.54/431.75	c |    982484 |     597     9840    32882 |    34878    33378     18 |  0.001 % |
431.64/431.81	c |    982630 |     597     9840    32882 |    34878    33524     18 |  0.001 % |
431.64/431.88	c |    982792 |     597     9840    32882 |    34878    33686     18 |  0.001 % |
431.74/431.95	c |    982969 |     597     9840    32882 |    34878    33863     18 |  0.001 % |
431.84/432.01	c |    983163 |     597     9840    32882 |    34878    34057     18 |  0.001 % |
431.84/432.08	c |    983376 |     597     9840    32882 |    34878    34270     18 |  0.001 % |
431.94/432.16	c |    983610 |     597     9840    32882 |    34878    34504     18 |  0.001 % |
432.05/432.24	c |    983866 |     597     9840    32882 |    34878    34760     18 |  0.001 % |
432.15/432.39	c |    984150 |     597     9840    32882 |    34878    31551     18 |  0.001 % |
432.34/432.50	c |    984459 |     597     9840    32882 |    34878    31860     18 |  0.001 % |
432.44/432.61	c |    984798 |     597     9840    32882 |    34878    32199     18 |  0.001 % |
432.54/432.73	c |    985172 |     597     9840    32882 |    34878    32573     18 |  0.001 % |
432.64/432.87	c |    985581 |     597     9840    32882 |    34878    32982     18 |  0.001 % |
432.84/433.01	c |    986032 |     597     9840    32882 |    34878    33433     18 |  0.001 % |
432.94/433.18	c |    986528 |     597     9840    32882 |    34878    33929     18 |  0.001 % |
433.15/433.36	c |    987071 |     597     9840    32882 |    34878    34472     18 |  0.001 % |
433.44/433.62	c |    987667 |     597     9840    32882 |    34878    31576     17 |  0.001 % |
433.64/433.85	c |    988323 |     597     9840    32882 |    34878    32232     17 |  0.001 % |
433.94/434.13	c |    989043 |     597     9840    32882 |    34878    32952     18 |  0.001 % |
434.14/434.39	c |    989835 |     597     9840    32882 |    34878    33744     18 |  0.001 % |
434.54/434.70	c |    990708 |     597     9840    32882 | 2147483647    34617     18 |  0.001 % |
434.84/435.08	c |    991667 |     597     9840    32882 | 2147483647    35576     18 |  0.001 % |
435.34/435.50	c |    992724 |     597     9840    32882 | 2147483647    36633     18 |  0.001 % |
435.74/435.97	c |    993883 |     597     9840    32882 | 2147483647    37792     18 |  0.001 % |
436.24/436.49	c |    995156 |     597     9840    32882 | 2147483647    39065     18 |  0.001 % |
436.84/437.08	c |    996557 |     597     9840    32882 | 2147483647    40466     18 |  0.001 % |
437.54/437.78	c |    998097 |     597     9840    32882 | 2147483647    42006     18 |  0.001 % |
438.34/438.57	c |    999791 |     597     9840    32882 | 2147483647    43700     18 |  0.001 % |
439.24/439.41	c |   1001656 |     597     9840    32882 | 2147483647    45565     18 |  0.001 % |
440.14/440.38	c |   1003706 |     597     9840    32882 | 2147483647    47615     18 |  0.000 % |
441.24/441.48	c |   1005960 |     597     9840    32882 | 2147483647    49869     18 |  0.001 % |
442.44/442.68	c |   1008439 |     597     9840    32882 | 2147483647    52348     18 |  0.001 % |
443.93/444.15	c |   1011164 |     597     9840    32882 |    53910    47410     18 |  0.001 % |
445.34/445.60	c |   1014163 |     597     9840    32882 |    53910    50409     18 |  0.001 % |
447.23/447.41	c |   1017459 |     597     9840    32882 |    53910    53705     19 |  0.001 % |
449.23/449.44	c |   1021084 |     597     9840    32882 |    47059    40158     19 |  0.001 % |
451.33/451.55	c |   1025071 |     597     9840    32882 |    47059    44145     19 |  0.001 % |
453.83/454.03	c |   1029456 |     597     9840    32882 |    47059    40891     19 |  0.001 % |
455.93/456.13	c |   1034279 |     597     9840    32882 |    41437    39085     19 |  0.001 % |
458.43/458.68	c |   1039585 |     597     9840    32882 |    41437    38614     18 |  0.001 % |
461.23/461.44	c |   1045420 |     597     9840    32882 |    39029    39014     18 |  0.001 % |
464.13/464.33	c |   1051838 |     597     9840    32882 |    38822    36184     17 |  0.001 % |
467.33/467.56	c |   1058897 |     597     9840    32882 |    38822    34266     17 |  0.001 % |
470.82/471.07	c |   1066661 |     597     9840    32882 |    35372    33774     16 |  0.001 % |
474.52/474.77	c |   1075202 |     597     9840    32882 |    32878    30551     16 |  0.001 % |
478.23/478.48	c |   1084597 |     597     9840    32882 | 2147483647    36557     16 |  0.001 % |
478.33/478.52	c |   1084699 |     597     9840    32882 | 2147483647    36659     16 |  0.001 % |
478.33/478.56	c |   1084809 |     597     9840    32882 | 2147483647    36769     16 |  0.001 % |
478.42/478.61	c |   1084930 |     597     9840    32882 | 2147483647    36890     16 |  0.001 % |
478.42/478.66	c |   1085063 |     597     9840    32882 | 2147483647    37023     16 |  0.001 % |
478.52/478.72	c |   1085209 |     597     9840    32882 | 2147483647    37169     16 |  0.001 % |
478.52/478.78	c |   1085369 |     597     9840    32882 | 2147483647    37329     16 |  0.001 % |
478.62/478.85	c |   1085546 |     597     9840    32882 | 2147483647    37506     16 |  0.001 % |
478.72/478.94	c |   1085741 |     597     9840    32882 | 2147483647    37701     16 |  0.001 % |
478.82/479.02	c |   1085954 |     597     9840    32882 | 2147483647    37914     16 |  0.001 % |
478.92/479.11	c |   1086187 |     597     9840    32882 | 2147483647    38147     16 |  0.001 % |
479.02/479.23	c |   1086443 |     597     9840    32882 | 2147483647    38403     16 |  0.001 % |
479.12/479.33	c |   1086724 |     597     9840    32882 | 2147483647    38684     16 |  0.001 % |
479.22/479.46	c |   1087033 |     597     9840    32882 | 2147483647    38993     16 |  0.001 % |
479.33/479.59	c |   1087372 |     597     9840    32882 | 2147483647    39332     16 |  0.001 % |
479.52/479.75	c |   1087744 |     597     9840    32882 | 2147483647    39704     16 |  0.001 % |
479.72/479.91	c |   1088153 |     597     9840    32882 | 2147483647    40113     16 |  0.001 % |
479.82/480.09	c |   1088602 |     597     9840    32882 | 2147483647    40562     16 |  0.001 % |
480.02/480.28	c |   1089096 |     597     9840    32882 | 2147483647    41056     16 |  0.001 % |
480.32/480.51	c |   1089640 |     597     9840    32882 | 2147483647    41600     16 |  0.001 % |
480.62/480.84	c |   1090238 |     597     9840    32882 |    41964    37592     16 |  0.001 % |
480.82/481.06	c |   1090894 |     597     9840    32882 |    41964    38248     16 |  0.001 % |
481.12/481.35	c |   1091615 |     597     9840    32882 |    41964    38969     16 |  0.001 % |
481.42/481.66	c |   1092410 |     597     9840    32882 |    41964    39764     16 |  0.001 % |
481.82/482.05	c |   1093282 |     597     9840    32882 |    41964    40636     16 |  0.001 % |
482.22/482.44	c |   1094240 |     597     9840    32882 |    41964    41594     16 |  0.001 % |
482.72/482.92	c |   1095294 |     597     9840    32882 |    41964    38308     16 |  0.001 % |
483.22/483.41	c |   1096453 |     597     9840    32882 |    41964    39467     16 |  0.001 % |
483.72/483.96	c |   1097728 |     597     9840    32882 |    41964    40742     16 |  0.001 % |
484.42/484.67	c |   1099129 |     597     9840    32882 |    41964    37585     16 |  0.001 % |
485.12/485.35	c |   1100673 |     597     9840    32882 |    38456    34988     16 |  0.001 % |
485.82/486.06	c |   1102368 |     597     9840    32882 |    38456    36683     16 |  0.001 % |
486.62/486.86	c |   1104232 |     597     9840    32882 |    38456    34457     16 |  0.001 % |
487.52/487.71	c |   1106283 |     597     9840    32882 |    38456    36508     16 |  0.001 % |
488.42/488.66	c |   1108538 |     597     9840    32882 |    38456    34796     16 |  0.001 % |
489.52/489.73	c |   1111017 |     597     9840    32882 |    36259    33551     17 |  0.001 % |
490.52/490.79	c |   1113743 |     597     9840    32882 |    36259    36277     17 |  0.001 % |
491.82/492.09	c |   1116741 |     597     9840    32882 |    36259    35648     17 |  0.001 % |
493.32/493.54	c |   1120037 |     597     9840    32882 | 2147483647    35313     17 |  0.001 % |
495.02/495.22	c |   1123665 |     597     9840    32882 | 2147483647    38941     17 |  0.001 % |
497.02/497.24	c |   1127654 |     597     9840    32882 | 2147483647    42930     17 |  0.001 % |
499.22/499.49	c |   1132039 |     597     9840    32882 |    45276    41171     17 |  0.001 % |
501.71/501.98	c |   1136865 |     597     9840    32882 |    45276    39095     17 |  0.001 % |
503.91/504.16	c |   1142170 |     597     9840    32882 |    42232    38498     17 |  0.001 % |
506.22/506.49	c |   1148005 |     597     9840    32882 |    42232    39637     18 |  0.001 % |
509.22/509.45	c |   1154423 |     597     9840    32882 |    41633    41486     18 |  0.001 % |
512.72/512.91	c |   1161482 |     597     9840    32882 |    37338    34382     18 |  0.001 % |
516.31/516.52	c |   1169247 |     597     9840    32882 |    37338    34046     17 |  0.001 % |
520.12/520.33	c |   1177788 |     597     9840    32882 |    34799    31291     16 |  0.001 % |
524.01/524.21	c |   1187183 |     597     9840    32882 |    33506    30416     16 |  0.001 % |
528.41/528.62	c |   1197518 |     597     9840    32882 | 2147483647    40751     16 |  0.001 % |
528.41/528.67	c |   1197618 |     597     9840    32882 | 2147483647    40851     16 |  0.001 % |
528.51/528.72	c |   1197729 |     597     9840    32882 | 2147483647    40962     16 |  0.001 % |
528.51/528.77	c |   1197850 |     597     9840    32882 | 2147483647    41083     16 |  0.001 % |
528.61/528.82	c |   1197983 |     597     9840    32882 | 2147483647    41216     16 |  0.001 % |
528.61/528.89	c |   1198130 |     597     9840    32882 | 2147483647    41363     16 |  0.001 % |
528.71/528.97	c |   1198291 |     597     9840    32882 | 2147483647    41524     16 |  0.001 % |
528.81/529.04	c |   1198467 |     597     9840    32882 | 2147483647    41700     16 |  0.001 % |
528.91/529.12	c |   1198661 |     597     9840    32882 | 2147483647    41894     16 |  0.001 % |
529.01/529.21	c |   1198875 |     597     9840    32882 | 2147483647    42108     16 |  0.001 % |
529.11/529.30	c |   1199108 |     597     9840    32882 | 2147483647    42341     16 |  0.001 % |
529.11/529.40	c |   1199364 |     597     9840    32882 | 2147483647    42597     16 |  0.001 % |
529.31/529.51	c |   1199646 |     597     9840    32882 | 2147483647    42879     16 |  0.000 % |
529.41/529.65	c |   1199959 |     597     9840    32882 | 2147483647    43192     16 |  0.001 % |
529.61/529.88	c |   1200298 |     597     9840    32882 |    43233    38245     16 |  0.001 % |
529.81/530.03	c |   1200670 |     597     9840    32882 |    43233    38617     16 |  0.001 % |
529.91/530.18	c |   1201082 |     597     9840    32882 |    43233    39029     16 |  0.001 % |
530.11/530.35	c |   1201532 |     597     9840    32882 |    43233    39479     16 |  0.001 % |
530.31/530.54	c |   1202025 |     597     9840    32882 |    43233    39972     16 |  0.001 % |
530.51/530.75	c |   1202567 |     597     9840    32882 |    43233    40514     16 |  0.001 % |
530.71/530.99	c |   1203163 |     597     9840    32882 |    43233    41110     16 |  0.001 % |
531.01/531.26	c |   1203821 |     597     9840    32882 |    43233    41768     16 |  0.000 % |
531.31/531.55	c |   1204542 |     597     9840    32882 |    43233    42489     16 |  0.001 % |
531.71/531.90	c |   1205337 |     597     9840    32882 |    43233    43284     16 |  0.001 % |
532.11/532.35	c |   1206209 |     597     9840    32882 |    43233    39666     16 |  0.001 % |
532.51/532.78	c |   1207168 |     597     9840    32882 |    43233    40625     16 |  0.001 % |
533.01/533.26	c |   1208222 |     597     9840    32882 |    43233    41679     16 |  0.001 % |
533.50/533.78	c |   1209380 |     597     9840    32882 |    43233    42837     16 |  0.001 % |
534.20/534.43	c |   1210653 |     597     9840    32882 |    38680    35074     16 |  0.001 % |
534.80/535.00	c |   1212053 |     597     9840    32882 |    38680    36474     16 |  0.001 % |
535.51/535.71	c |   1213593 |     597     9840    32882 |    38680    38014     16 |  0.000 % |
536.20/536.40	c |   1215287 |     597     9840    32882 |    38680    35498     17 |  0.001 % |
536.90/537.16	c |   1217151 |     597     9840    32882 |    38680    37362     17 |  0.001 % |
537.80/538.04	c |   1219200 |     597     9840    32882 |    38680    35470     17 |  0.001 % |
538.60/538.88	c |   1221453 |     597     9840    32882 | 2147483647    37723     17 |  0.001 % |
539.70/539.91	c |   1223931 |     597     9840    32882 | 2147483647    40201     17 |  0.001 % |
540.91/541.18	c |   1226658 |     597     9840    32882 | 2147483647    42928     17 |  0.001 % |
542.50/542.70	c |   1229655 |     597     9840    32882 | 2147483647    45925     18 |  0.001 % |
544.31/544.52	c |   1232953 |     597     9840    32882 |    46271    42994     18 |  0.001 % |
546.30/546.56	c |   1236578 |     597     9840    32882 |    46271    38990     18 |  0.000 % |
548.40/548.62	c |   1240565 |     597     9840    32882 |    42412    36078     17 |  0.001 % |
550.60/550.84	c |   1244950 |     597     9840    32882 |    42412    40463     17 |  0.001 % |
553.10/553.35	c |   1249773 |     597     9840    32882 |    42412    38490     17 |  0.001 % |
555.50/555.71	c |   1255080 |     597     9840    32882 |    38717    37853     17 |  0.001 % |
558.20/558.48	c |   1260915 |     597     9840    32882 |    37981    34275     17 |  0.001 % |
560.89/561.12	c |   1267333 |     597     9840    32882 |    37981    36261     17 |  0.001 % |
563.89/564.17	c |   1274392 |     597     9840    32882 |    34331    30848     18 |  0.001 % |
567.29/567.54	c |   1282156 |     597     9840    32882 |    32699    31227     17 |  0.001 % |
570.79/571.01	c |   1290696 |     597     9840    32882 | 2147483647    33091     18 |  0.001 % |
575.49/575.70	c |   1300090 |     597     9840    32882 |    42397    36406     17 |  0.001 % |
580.39/580.69	c |   1310424 |     597     9840    32882 |    40042    34666     17 |  0.000 % |
585.38/585.63	c |   1321793 |     597     9840    32882 |    39099    36017     17 |  0.000 % |
585.38/585.68	c |   1321893 |     597     9840    32882 |    39099    36117     17 |  0.001 % |
585.48/585.74	c |   1322003 |     597     9840    32882 |    39099    36227     17 |  0.001 % |
585.48/585.79	c |   1322124 |     597     9840    32882 |    39099    36348     17 |  0.001 % |
585.58/585.85	c |   1322258 |     597     9840    32882 |    39099    36482     17 |  0.001 % |
585.68/585.91	c |   1322406 |     597     9840    32882 |    39099    36630     17 |  0.001 % |
585.68/585.98	c |   1322566 |     597     9840    32882 |    39099    36790     17 |  0.001 % |
585.78/586.05	c |   1322742 |     597     9840    32882 |    39099    36966     17 |  0.001 % |
585.88/586.14	c |   1322936 |     597     9840    32882 |    39099    37160     17 |  0.001 % |
585.98/586.22	c |   1323148 |     597     9840    32882 |    39099    37372     17 |  0.001 % |
586.08/586.32	c |   1323382 |     597     9840    32882 |    39099    37606     17 |  0.001 % |
586.18/586.42	c |   1323638 |     597     9840    32882 |    39099    37862     17 |  0.001 % |
586.28/586.54	c |   1323919 |     597     9840    32882 |    39099    38143     17 |  0.001 % |
586.38/586.67	c |   1324230 |     597     9840    32882 |    39099    38454     17 |  0.000 % |
586.58/586.81	c |   1324571 |     597     9840    32882 |    39099    38795     17 |  0.001 % |
586.78/587.09	c |   1324943 |     597     9840    32882 |    39099    34262     17 |  0.001 % |
586.98/587.26	c |   1325353 |     597     9840    32882 |    39099    34672     17 |  0.001 % |
587.18/587.44	c |   1325804 |     597     9840    32882 |    39099    35123     17 |  0.001 % |
587.38/587.65	c |   1326300 |     597     9840    32882 |    39099    35619     17 |  0.001 % |
587.68/587.90	c |   1326844 |     597     9840    32882 |    39099    36163     17 |  0.001 % |
587.88/588.19	c |   1327440 |     597     9840    32882 |    39099    36759     17 |  0.001 % |
588.18/588.50	c |   1328096 |     597     9840    32882 |    39099    37415     17 |  0.001 % |
588.58/588.84	c |   1328817 |     597     9840    32882 |    39099    38136     17 |  0.001 % |
588.88/589.18	c |   1329611 |     597     9840    32882 |    39099    38930     17 |  0.001 % |
589.38/589.64	c |   1330482 |     597     9840    32882 |    34485    30728     17 |  0.001 % |
589.68/589.97	c |   1331441 |     597     9840    32882 |    34485    31687     17 |  0.001 % |
590.08/590.37	c |   1332496 |     597     9840    32882 |    34485    32742     17 |  0.001 % |
590.58/590.81	c |   1333655 |     597     9840    32882 |    34485    33901     17 |  0.001 % |
591.08/591.34	c |   1334928 |     597     9840    32882 |    34485    31720     17 |  0.001 % |
591.68/591.90	c |   1336328 |     597     9840    32882 |    34485    33120     17 |  0.001 % |
592.18/592.49	c |   1337869 |     597     9840    32882 |    34485    31209     17 |  0.001 % |
592.77/593.04	c |   1339566 |     597     9840    32882 |    34485    32906     17 |  0.001 % |
593.47/593.77	c |   1341429 |     597     9840    32882 | 2147483647    34769     17 |  0.001 % |
594.17/594.47	c |   1343482 |     597     9840    32882 | 2147483647    36822     17 |  0.001 % |
595.07/595.30	c |   1345735 |     597     9840    32882 | 2147483647    39075     17 |  0.001 % |
596.07/596.33	c |   1348213 |     597     9840    32882 | 2147483647    41553     17 |  0.001 % |
597.27/597.59	c |   1350939 |     597     9840    32882 | 2147483647    44279     17 |  0.001 % |
598.87/599.11	c |   1353939 |     597     9840    32882 | 2147483647    47279     17 |  0.001 % |
600.57/600.81	c |   1357238 |     597     9840    32882 | 2147483647    50578     18 |  0.001 % |
602.58/602.82	c |   1360864 |     597     9840    32882 |    53340    45371     18 |  0.001 % |
604.68/604.92	c |   1364852 |     597     9840    32882 |    53340    49359     18 |  0.001 % |
607.27/607.55	c |   1369237 |     597     9840    32882 |    53340    43511     18 |  0.001 % |
609.77/610.06	c |   1374060 |     597     9840    32882 |    44274    39854     18 |  0.001 % |
612.17/612.43	c |   1379365 |     597     9840    32882 |    44274    38297     18 |  0.001 % |
614.67/614.94	c |   1385202 |     597     9840    32882 |    38932    38316     18 |  0.001 % |
617.47/617.73	c |   1391620 |     597     9840    32882 |    38620    35922     18 |  0.001 % |
620.67/620.95	c |   1398680 |     597     9840    32882 |    38620    34533     18 |  0.000 % |
624.07/624.32	c |   1406444 |     597     9840    32882 |    35853    34028     18 |  0.000 % |
627.47/627.77	c |   1414984 |     597     9840    32882 |    33705    31793     19 |  0.001 % |
631.37/631.60	c |   1424378 |     597     9840    32882 | 2147483647    37811     20 |  0.001 % |
636.27/636.57	c |   1434711 |     597     9840    32882 |    43433    42588     20 |  0.001 % |
641.77/642.10	c |   1446078 |     597     9840    32882 |    40597    40376     21 |  0.000 % |
646.76/647.01	c |   1458582 |     597     9840    32882 |    38710    38517     20 |  0.001 % |
646.76/647.07	c |   1458684 |     597     9840    32882 |    38710    38619     20 |  0.001 % |
646.86/647.13	c |   1458794 |     597     9840    32882 |    38710    38729     20 |  0.001 % |
646.96/647.24	c |   1458915 |     597     9840    32882 |    38710    34558     19 |  0.001 % |
647.06/647.31	c |   1459048 |     597     9840    32882 |    38710    34691     19 |  0.001 % |
647.06/647.39	c |   1459194 |     597     9840    32882 |    38710    34837     19 |  0.001 % |
647.16/647.46	c |   1459354 |     597     9840    32882 |    38710    34997     19 |  0.001 % |
647.26/647.54	c |   1459531 |     597     9840    32882 |    38710    35174     19 |  0.001 % |
647.36/647.61	c |   1459724 |     597     9840    32882 |    38710    35367     19 |  0.001 % |
647.46/647.70	c |   1459936 |     597     9840    32882 |    38710    35579     19 |  0.001 % |
647.57/647.83	c |   1460169 |     597     9840    32882 |    35643    31777     19 |  0.001 % |
647.67/647.93	c |   1460427 |     597     9840    32882 |    35643    32035     19 |  0.001 % |
647.76/648.04	c |   1460708 |     597     9840    32882 |    35643    32316     19 |  0.001 % |
647.86/648.16	c |   1461018 |     597     9840    32882 |    35643    32626     19 |  0.001 % |
647.96/648.29	c |   1461358 |     597     9840    32882 |    35643    32966     19 |  0.001 % |
648.16/648.43	c |   1461732 |     597     9840    32882 |    35643    33340     19 |  0.001 % |
648.26/648.60	c |   1462141 |     597     9840    32882 |    35643    33749     19 |  0.001 % |
648.46/648.78	c |   1462590 |     597     9840    32882 |    35643    34198     19 |  0.001 % |
648.77/649.00	c |   1463084 |     597     9840    32882 |    35643    34692     19 |  0.001 % |
648.96/649.23	c |   1463626 |     597     9840    32882 |    35643    35234     19 |  0.001 % |
649.26/649.53	c |   1464222 |     597     9840    32882 |    35643    31993     18 |  0.001 % |
649.46/649.78	c |   1464877 |     597     9840    32882 |    35643    32648     18 |  0.001 % |
649.77/650.02	c |   1465597 |     597     9840    32882 |    35643    33368     18 |  0.001 % |
650.06/650.31	c |   1466390 |     597     9840    32882 |    35643    34161     18 |  0.001 % |
650.26/650.59	c |   1467263 |     597     9840    32882 |    35643    35034     18 |  0.001 % |
650.66/650.99	c |   1468222 |     597     9840    32882 |    35643    32422     18 |  0.001 % |
651.06/651.38	c |   1469277 |     597     9840    32882 |    35643    33477     18 |  0.001 % |
651.46/651.79	c |   1470435 |     597     9840    32882 | 2147483647    34635     18 |  0.001 % |
651.96/652.29	c |   1471708 |     597     9840    32882 | 2147483647    35908     18 |  0.001 % |
652.56/652.83	c |   1473112 |     597     9840    32882 | 2147483647    37312     18 |  0.001 % |
653.26/653.51	c |   1474652 |     597     9840    32882 | 2147483647    38852     18 |  0.001 % |
653.96/654.28	c |   1476346 |     597     9840    32882 | 2147483647    40546     18 |  0.001 % |
654.86/655.14	c |   1478211 |     597     9840    32882 | 2147483647    42411     18 |  0.001 % |
655.86/656.16	c |   1480260 |     597     9840    32882 |    44200    39531     18 |  0.001 % |
656.86/657.13	c |   1482515 |     597     9840    32882 |    44200    41786     18 |  0.001 % |
658.06/658.33	c |   1484997 |     597     9840    32882 |    44200    38647     17 |  0.001 % |
659.26/659.58	c |   1487722 |     597     9840    32882 |    44200    41372     17 |  0.001 % |
660.76/661.06	c |   1490719 |     597     9840    32882 |    43650    38555     17 |  0.001 % |
662.26/662.59	c |   1494015 |     597     9840    32882 |    43650    41851     17 |  0.001 % |
664.16/664.43	c |   1497644 |     597     9840    32882 |    43650    39242     17 |  0.001 % |
666.05/666.32	c |   1501631 |     597     9840    32882 |    41598    37391     17 |  0.001 % |
668.06/668.34	c |   1506016 |     597     9840    32882 |    41598    36003     17 |  0.001 % |
670.15/670.49	c |   1510840 |     597     9840    32882 |    39988    35398     17 |  0.001 % |
672.75/673.10	c |   1516147 |     597     9840    32882 |    39988    35510     18 |  0.001 % |
675.55/675.87	c |   1521984 |     597     9840    32882 |    39363    36029     18 |  0.001 % |
678.25/678.60	c |   1528403 |     597     9840    32882 |    39363    38047     18 |  0.001 % |
681.05/681.37	c |   1535462 |     597     9840    32882 |    35386    33502     18 |  0.001 % |
684.35/684.66	c |   1543227 |     597     9840    32882 | 2147483647    37722     18 |  0.001 % |
688.54/688.85	c |   1551767 |     597     9840    32882 |    44495    40488     17 |  0.001 % |
693.24/693.56	c |   1561161 |     597     9840    32882 |    42070    37034     17 |  0.001 % |
698.44/698.74	c |   1571495 |     597     9840    32882 |    39706    35809     17 |  0.001 % |
703.44/703.75	c |   1582863 |     597     9840    32882 |    39407    37271     18 |  0.000 % |
709.04/709.32	c |   1595365 |     597     9840    32882 |    39405    35167     17 |  0.001 % |
715.04/715.37	c |   1609120 |     597     9840    32882 |    35046    32936     16 |  0.001 % |
715.14/715.42	c |   1609220 |     597     9840    32882 |    35046    33036     16 |  0.001 % |
715.14/715.46	c |   1609330 |     597     9840    32882 |    35046    33146     16 |  0.001 % |
715.24/715.51	c |   1609454 |     597     9840    32882 |    35046    33270     16 |  0.001 % |
715.24/715.57	c |   1609587 |     597     9840    32882 |    35046    33403     16 |  0.001 % |
715.34/715.63	c |   1609737 |     597     9840    32882 |    35046    33553     16 |  0.001 % |
715.44/715.70	c |   1609898 |     597     9840    32882 |    35046    33714     16 |  0.001 % |
715.44/715.78	c |   1610076 |     597     9840    32882 | 2147483647    33892     16 |  0.001 % |
715.54/715.86	c |   1610271 |     597     9840    32882 | 2147483647    34087     16 |  0.001 % |
715.64/715.94	c |   1610483 |     597     9840    32882 | 2147483647    34299     16 |  0.001 % |
715.74/716.04	c |   1610716 |     597     9840    32882 | 2147483647    34532     16 |  0.001 % |
715.84/716.15	c |   1610972 |     597     9840    32882 | 2147483647    34788     16 |  0.001 % |
715.94/716.25	c |   1611253 |     597     9840    32882 | 2147483647    35069     16 |  0.000 % |
716.04/716.38	c |   1611562 |     597     9840    32882 | 2147483647    35378     16 |  0.001 % |
716.24/716.53	c |   1611901 |     597     9840    32882 | 2147483647    35717     16 |  0.001 % |
716.34/716.69	c |   1612276 |     597     9840    32882 | 2147483647    36092     16 |  0.001 % |
716.54/716.88	c |   1612686 |     597     9840    32882 | 2147483647    36502     16 |  0.001 % |
716.73/717.09	c |   1613137 |     597     9840    32882 | 2147483647    36953     16 |  0.000 % |
717.03/717.31	c |   1613630 |     597     9840    32882 | 2147483647    37446     16 |  0.001 % |
717.23/717.55	c |   1614172 |     597     9840    32882 | 2147483647    37988     16 |  0.001 % |
717.53/717.82	c |   1614768 |     597     9840    32882 | 2147483647    38584     17 |  0.001 % |
717.83/718.14	c |   1615423 |     597     9840    32882 | 2147483647    39239     17 |  0.001 % |
718.13/718.49	c |   1616143 |     597     9840    32882 | 2147483647    39959     17 |  0.001 % |
718.53/718.86	c |   1616939 |     597     9840    32882 | 2147483647    40755     17 |  0.001 % |
718.93/719.26	c |   1617811 |     597     9840    32882 | 2147483647    41627     17 |  0.000 % |
719.43/719.72	c |   1618770 |     597     9840    32882 | 2147483647    42586     17 |  0.001 % |
719.93/720.24	c |   1619823 |     597     9840    32882 | 2147483647    43639     17 |  0.000 % |
720.53/720.86	c |   1620981 |     597     9840    32882 |    43817    39689     17 |  0.001 % |
721.13/721.47	c |   1622255 |     597     9840    32882 |    43817    40963     17 |  0.000 % |
721.83/722.19	c |   1623656 |     597     9840    32882 |    43817    42364     17 |  0.000 % |
722.73/723.09	c |   1625197 |     597     9840    32882 |    43817    37546     17 |  0.001 % |
723.53/723.87	c |   1626891 |     597     9840    32882 |    43817    39240     17 |  0.001 % |
724.43/724.75	c |   1628756 |     597     9840    32882 |    43817    41105     17 |  0.000 % |
725.53/725.80	c |   1630806 |     597     9840    32882 |    42350    36851     17 |  0.000 % |
726.43/726.79	c |   1633061 |     597     9840    32882 |    42350    39106     18 |  0.000 % |
727.83/728.11	c |   1635541 |     597     9840    32882 |    42350    41586     18 |  0.001 % |
729.03/729.33	c |   1638267 |     597     9840    32882 |    42350    37954     17 |  0.001 % |
730.32/730.67	c |   1641264 |     597     9840    32882 |    39691    35080     17 |  0.001 % |
731.62/731.92	c |   1644560 |     597     9840    32882 |    39691    38376     17 |  0.001 % |
733.13/733.47	c |   1648186 |     597     9840    32882 |    39691    36591     17 |  0.001 % |
734.73/735.05	c |   1652174 |     597     9840    32882 |    38406    35581     17 |  0.001 % |
736.53/736.88	c |   1656559 |     597     9840    32882 |    38406    35368     17 |  0.001 % |
738.53/738.82	c |   1661384 |     597     9840    32882 |    34203    31448     17 |  0.001 % |
740.63/740.91	c |   1666691 |     597     9840    32882 |    34203    33189     18 |  0.000 % |
742.83/743.13	c |   1672527 |     597     9840    32882 | 2147483647    35599     18 |  0.001 % |
745.63/745.92	c |   1678945 |     597     9840    32882 | 2147483647    42017     18 |  0.001 % |
748.83/749.19	c |   1686007 |     597     9840    32882 |    43073    42926     18 |  0.001 % |
752.23/752.56	c |   1693772 |     597     9840    32882 |    39730    36668     18 |  0.001 % |
755.33/755.60	c |   1702312 |     597     9840    32882 |    37220    34644     17 |  0.001 % |
759.03/759.35	c |   1711706 |     597     9840    32882 |    34198    32202     17 |  0.001 % |
763.32/763.66	c |   1722039 |     597     9840    32882 |    32846    31115     17 |  0.001 % |
767.82/768.19	c |   1733405 |     597     9840    32882 |    32065    28982     17 |  0.001 % |
772.52/772.84	c |   1745910 |     597     9840    32882 | 2147483647    35068     17 |  0.001 % |
778.22/778.55	c |   1759662 |     597     9840    32882 |    39158    39063     16 |  0.001 % |
784.12/784.47	c |   1774789 |     597     9840    32882 | 2147483647    37358     16 |  0.001 % |
784.22/784.52	c |   1774889 |     597     9840    32882 | 2147483647    37458     16 |  0.000 % |
784.22/784.57	c |   1775003 |     597     9840    32882 | 2147483647    37572     16 |  0.001 % |
784.32/784.61	c |   1775125 |     597     9840    32882 | 2147483647    37694     16 |  0.001 % |
784.32/784.67	c |   1775259 |     597     9840    32882 | 2147483647    37828     16 |  0.000 % |
784.42/784.72	c |   1775406 |     597     9840    32882 | 2147483647    37975     16 |  0.001 % |
784.42/784.79	c |   1775566 |     597     9840    32882 | 2147483647    38135     16 |  0.001 % |
784.52/784.86	c |   1775743 |     597     9840    32882 | 2147483647    38312     16 |  0.001 % |
784.62/784.94	c |   1775937 |     597     9840    32882 | 2147483647    38506     16 |  0.001 % |
784.72/785.02	c |   1776149 |     597     9840    32882 | 2147483647    38718     16 |  0.001 % |
784.82/785.11	c |   1776382 |     597     9840    32882 | 2147483647    38951     16 |  0.001 % |
784.92/785.22	c |   1776640 |     597     9840    32882 | 2147483647    39209     16 |  0.001 % |
785.02/785.34	c |   1776921 |     597     9840    32882 | 2147483647    39490     16 |  0.001 % |
785.12/785.47	c |   1777231 |     597     9840    32882 | 2147483647    39800     16 |  0.001 % |
785.32/785.60	c |   1777570 |     597     9840    32882 | 2147483647    40139     16 |  0.001 % |
785.42/785.77	c |   1777942 |     597     9840    32882 | 2147483647    40511     16 |  0.001 % |
785.62/785.94	c |   1778351 |     597     9840    32882 | 2147483647    40920     16 |  0.001 % |
785.81/786.15	c |   1778802 |     597     9840    32882 | 2147483647    41371     16 |  0.001 % |
786.01/786.35	c |   1779295 |     597     9840    32882 | 2147483647    41864     16 |  0.001 % |
786.22/786.56	c |   1779837 |     597     9840    32882 | 2147483647    42406     16 |  0.001 % |
786.51/786.89	c |   1780435 |     597     9840    32882 |    42571    37486     16 |  0.001 % |
786.81/787.15	c |   1781091 |     597     9840    32882 |    42571    38142     16 |  0.001 % |
787.12/787.41	c |   1781814 |     597     9840    32882 |    42571    38865     16 |  0.001 % |
787.42/787.72	c |   1782606 |     597     9840    32882 |    42571    39657     16 |  0.001 % |
787.72/788.02	c |   1783477 |     597     9840    32882 |    42571    40528     16 |  0.000 % |
788.12/788.43	c |   1784436 |     597     9840    32882 |    42571    41487     16 |  0.001 % |
788.51/788.84	c |   1785492 |     597     9840    32882 |    42571    42543     16 |  0.001 % |
789.01/789.37	c |   1786652 |     597     9840    32882 |    42571    38688     16 |  0.001 % |
789.52/789.82	c |   1787925 |     597     9840    32882 |    42571    39961     16 |  0.001 % |
790.01/790.38	c |   1789326 |     597     9840    32882 |    42571    41362     17 |  0.000 % |
790.71/791.05	c |   1790866 |     597     9840    32882 |    42038    38316     17 |  0.000 % |
791.41/791.76	c |   1792561 |     597     9840    32882 |    42038    40011     17 |  0.001 % |
792.21/792.53	c |   1794424 |     597     9840    32882 |    42038    41874     17 |  0.001 % |
793.11/793.47	c |   1796473 |     597     9840    32882 |    42038    39004     17 |  0.001 % |
794.11/794.44	c |   1798728 |     597     9840    32882 |    42038    41259     17 |  0.001 % |
795.31/795.60	c |   1801209 |     597     9840    32882 |    37574    34353     17 |  0.001 % |
796.51/796.82	c |   1803937 |     597     9840    32882 |    37574    37081     17 |  0.001 % |
797.81/798.13	c |   1806936 |     597     9840    32882 |    37574    35746     17 |  0.001 % |
799.21/799.54	c |   1810236 |     597     9840    32882 |    34418    30664     17 |  0.001 % |
800.51/800.86	c |   1813862 |     597     9840    32882 |    34418    34290     17 |  0.001 % |
802.11/802.44	c |   1817850 |     597     9840    32882 |    34418    31133     17 |  0.001 % |
803.61/803.99	c |   1822237 |     597     9840    32882 | 2147483647    35520     17 |  0.001 % |
805.61/805.93	c |   1827060 |     597     9840    32882 | 2147483647    40343     17 |  0.001 % |
808.11/808.40	c |   1832368 |     597     9840    32882 |    43283    39979     17 |  0.001 % |
810.91/811.29	c |   1838203 |     597     9840    32882 |    43283    39158     17 |  0.001 % |
813.81/814.16	c |   1844621 |     597     9840    32882 |    40958    39309     17 |  0.001 % |
817.01/817.31	c |   1851680 |     597     9840    32882 |    38829    35187     17 |  0.001 % |
820.10/820.50	c |   1859444 |     597     9840    32882 |    38829    37606     17 |  0.001 % |
823.70/824.00	c |   1867984 |     597     9840    32882 |    38163    35796     17 |  0.001 % |
827.70/828.08	c |   1877378 |     597     9840    32882 |    37812    35214     17 |  0.001 % |
832.40/832.72	c |   1887714 |     597     9840    32882 |    37836    34739     17 |  0.001 % |
837.40/837.70	c |   1899080 |     597     9840    32882 |    37026    35425     17 |  0.001 % |
842.80/843.18	c |   1911583 |     597     9840    32882 |    32277    29688     15 |  0.001 % |
847.60/847.91	c |   1925335 |     597     9840    32882 | 2147483647    36527     15 |  0.001 % |
854.19/854.54	c |   1940464 |     597     9840    32882 |    40058    34606     15 |  0.001 % |
861.49/861.89	c |   1957103 |     597     9840    32882 |    38168    34546     16 |  0.001 % |
861.59/861.94	c |   1957203 |     597     9840    32882 |    38168    34646     16 |  0.001 % |
861.59/861.98	c |   1957314 |     597     9840    32882 |    38168    34757     16 |  0.001 % |
861.69/862.04	c |   1957438 |     597     9840    32882 |    38168    34881     16 |  0.001 % |
861.79/862.10	c |   1957573 |     597     9840    32882 |    38168    35016     16 |  0.001 % |
861.79/862.16	c |   1957719 |     597     9840    32882 |    38168    35162     16 |  0.001 % |
861.89/862.22	c |   1957879 |     597     9840    32882 |    38168    35322     16 |  0.001 % |
861.89/862.29	c |   1958055 |     597     9840    32882 |    38168    35498     16 |  0.001 % |
861.99/862.38	c |   1958248 |     597     9840    32882 |    38168    35691     16 |  0.000 % |
862.09/862.46	c |   1958460 |     597     9840    32882 |    38168    35903     16 |  0.001 % |
862.19/862.56	c |   1958697 |     597     9840    32882 |    38168    36140     16 |  0.001 % |
862.29/862.66	c |   1958953 |     597     9840    32882 |    38168    36396     16 |  0.001 % |
862.39/862.77	c |   1959234 |     597     9840    32882 |    38168    36677     16 |  0.001 % |
862.49/862.89	c |   1959546 |     597     9840    32882 |    38168    36989     16 |  0.001 % |
862.69/863.03	c |   1959887 |     597     9840    32882 |    38168    37330     16 |  0.001 % |
862.89/863.26	c |   1960260 |     597     9840    32882 |    37444    32815     16 |  0.001 % |
863.09/863.40	c |   1960670 |     597     9840    32882 |    37444    33225     16 |  0.001 % |
863.19/863.55	c |   1961119 |     597     9840    32882 |    37444    33674     16 |  0.000 % |
863.39/863.72	c |   1961612 |     597     9840    32882 |    37444    34167     16 |  0.001 % |
863.59/863.90	c |   1962156 |     597     9840    32882 |    37444    34711     16 |  0.000 % |
863.79/864.11	c |   1962752 |     597     9840    32882 |    37444    35307     16 |  0.001 % |
863.99/864.36	c |   1963407 |     597     9840    32882 |    37444    35962     16 |  0.001 % |
864.29/864.61	c |   1964128 |     597     9840    32882 |    37444    36683     16 |  0.001 % |
864.59/864.92	c |   1964920 |     597     9840    32882 |    37444    37475     16 |  0.001 % |
864.89/865.27	c |   1965793 |     597     9840    32882 |    37444    34601     16 |  0.001 % |
865.29/865.61	c |   1966752 |     597     9840    32882 |    37444    35560     16 |  0.001 % |
865.69/866.02	c |   1967807 |     597     9840    32882 |    37444    36615     16 |  0.001 % |
866.19/866.51	c |   1968965 |     597     9840    32882 |    37444    34026     16 |  0.001 % |
866.59/866.95	c |   1970239 |     597     9840    32882 | 2147483647    35300     16 |  0.001 % |
867.19/867.50	c |   1971639 |     597     9840    32882 | 2147483647    36700     16 |  0.001 % |
867.69/868.09	c |   1973180 |     597     9840    32882 | 2147483647    38241     17 |  0.001 % |
868.39/868.75	c |   1974875 |     597     9840    32882 | 2147483647    39936     17 |  0.001 % |
869.08/869.46	c |   1976738 |     597     9840    32882 | 2147483647    41799     17 |  0.001 % |
869.98/870.31	c |   1978788 |     597     9840    32882 | 2147483647    43849     17 |  0.001 % |
870.98/871.34	c |   1981042 |     597     9840    32882 |    45061    40277     17 |  0.001 % |
872.08/872.43	c |   1983520 |     597     9840    32882 |    45061    42755     17 |  0.001 % |
873.38/873.80	c |   1986246 |     597     9840    32882 |    45061    38537     17 |  0.001 % |
874.68/875.06	c |   1989246 |     597     9840    32882 |    45061    41537     17 |  0.001 % |
876.18/876.54	c |   1992543 |     597     9840    32882 |    42293    38610     17 |  0.001 % |
877.78/878.12	c |   1996171 |     597     9840    32882 |    42293    42238     17 |  0.001 % |
879.69/880.02	c |   2000160 |     597     9840    32882 |    40047    34624     17 |  0.001 % |
881.48/881.87	c |   2004545 |     597     9840    32882 |    40047    39009     17 |  0.001 % |
883.58/883.95	c |   2009368 |     597     9840    32882 |    40047    38259     17 |  0.001 % |
885.88/886.29	c |   2014674 |     597     9840    32882 |    38891    38321     18 |  0.001 % |
888.68/889.06	c |   2020509 |     597     9840    32882 |    38280    33453     18 |  0.001 % |
891.48/891.87	c |   2026927 |     597     9840    32882 |    38280    34783     18 |  0.001 % |
894.38/894.72	c |   2033986 |     597     9840    32882 |    37856    36808     18 |  0.001 % |
897.77/898.17	c |   2041750 |     597     9840    32882 |    32950    30340     16 |  0.001 % |
901.27/901.60	c |   2050293 |     597     9840    32882 |    30965    27737     16 |  0.001 % |
904.88/905.20	c |   2059689 |     597     9840    32882 |    30965    30767     18 |  0.001 % |
908.77/909.19	c |   2070025 |     597     9840    32882 | 2147483647    26734     18 |  0.001 % |
913.47/913.82	c |   2081393 |     597     9840    32882 | 2147483647    38102     18 |  0.001 % |
919.97/920.35	c |   2093895 |     597     9840    32882 |    46710    42617     17 |  0.001 % |
926.66/927.02	c |   2107647 |     597     9840    32882 |    40309    34468     15 |  0.001 % |
932.56/932.94	c |   2122774 |     597     9840    32882 |    36168    34320     15 |  0.001 % |
939.16/939.51	c |   2139414 |     597     9840    32882 |    32265    31129     16 |  0.001 % |
947.16/947.54	c |   2157718 |     597     9840    32882 |    41716    38001     17 |  0.001 % |
947.16/947.58	c |   2157818 |     597     9840    32882 |    41716    38101     17 |  0.001 % |
947.26/947.64	c |   2157928 |     597     9840    32882 |    41716    38211     17 |  0.001 % |
947.26/947.69	c |   2158050 |     597     9840    32882 |    41716    38333     17 |  0.001 % |
947.36/947.76	c |   2158184 |     597     9840    32882 |    41716    38467     17 |  0.001 % |
947.46/947.82	c |   2158331 |     597     9840    32882 |    41716    38614     17 |  0.001 % |
947.46/947.88	c |   2158491 |     597     9840    32882 |    41716    38774     17 |  0.001 % |
947.56/947.98	c |   2158667 |     597     9840    32882 |    41716    38950     17 |  0.001 % |
947.66/948.07	c |   2158861 |     597     9840    32882 |    41716    39144     17 |  0.001 % |
947.76/948.18	c |   2159074 |     597     9840    32882 |    41716    39357     17 |  0.001 % |
947.86/948.29	c |   2159307 |     597     9840    32882 |    41716    39590     17 |  0.001 % |
948.05/948.40	c |   2159564 |     597     9840    32882 |    41716    39847     17 |  0.001 % |
948.15/948.55	c |   2159846 |     597     9840    32882 |    41716    40129     17 |  0.001 % |
948.35/948.76	c |   2160160 |     597     9840    32882 |    40285    34400     17 |  0.001 % |
948.45/948.88	c |   2160500 |     597     9840    32882 |    40285    34740     17 |  0.001 % |
948.65/949.02	c |   2160872 |     597     9840    32882 |    40285    35112     17 |  0.000 % |
948.75/949.18	c |   2161282 |     597     9840    32882 |    40285    35522     17 |  0.000 % |
948.96/949.37	c |   2161731 |     597     9840    32882 |    40285    35971     17 |  0.001 % |
949.15/949.56	c |   2162225 |     597     9840    32882 |    40285    36465     17 |  0.000 % |
949.35/949.75	c |   2162769 |     597     9840    32882 |    40285    37009     17 |  0.001 % |
949.55/949.97	c |   2163365 |     597     9840    32882 |    40285    37605     17 |  0.001 % |
949.75/950.18	c |   2164020 |     597     9840    32882 |    40285    38260     17 |  0.001 % |
950.06/950.45	c |   2164741 |     597     9840    32882 |    40285    38981     17 |  0.001 % |
950.35/950.77	c |   2165534 |     597     9840    32882 |    40285    39774     17 |  0.001 % |
950.85/951.28	c |   2166405 |     597     9840    32882 |    40285    34754     17 |  0.001 % |
951.25/951.69	c |   2167364 |     597     9840    32882 |    40285    35713     17 |  0.001 % |
951.75/952.18	c |   2168417 |     597     9840    32882 |    40285    36766     17 |  0.001 % |
952.26/952.64	c |   2169575 |     597     9840    32882 |    40285    37924     17 |  0.001 % |
952.75/953.19	c |   2170849 |     597     9840    32882 |    38351    33531     17 |  0.001 % |
953.36/953.77	c |   2172249 |     597     9840    32882 |    38351    34931     17 |  0.001 % |
953.95/954.35	c |   2173790 |     597     9840    32882 |    38351    36472     17 |  0.001 % |
954.65/955.06	c |   2175484 |     597     9840    32882 |    38351    38166     17 |  0.001 % |
955.55/955.90	c |   2177347 |     597     9840    32882 |    38351    35150     17 |  0.001 % |
956.25/956.68	c |   2179396 |     597     9840    32882 |    38351    37199     17 |  0.001 % |
957.25/957.62	c |   2181650 |     597     9840    32882 |    37805    34706     17 |  0.001 % |
958.25/958.67	c |   2184129 |     597     9840    32882 |    37805    37185     17 |  0.001 % |
959.45/959.81	c |   2186854 |     597     9840    32882 |    37805    35465     17 |  0.001 % |
960.65/961.07	c |   2189851 |     597     9840    32882 |    37805    33866     17 |  0.001 % |
961.95/962.33	c |   2193147 |     597     9840    32882 |    34015    33048     17 |  0.001 % |
963.45/963.80	c |   2196773 |     597     9840    32882 |    34015    33249     17 |  0.001 % |
964.95/965.30	c |   2200760 |     597     9840    32882 | 2147483647    33830     17 |  0.000 % |
966.75/967.16	c |   2205145 |     597     9840    32882 | 2147483647    38215     17 |  0.001 % |
969.05/969.48	c |   2209968 |     597     9840    32882 | 2147483647    43038     17 |  0.001 % |
971.55/971.95	c |   2215273 |     597     9840    32882 |    43071    42136     17 |  0.000 % |
974.25/974.62	c |   2221111 |     597     9840    32882 |    40567    35940     17 |  0.001 % |
977.84/978.20	c |   2227530 |     597     9840    32882 |    40567    36310     17 |  0.001 % |
980.34/980.77	c |   2234589 |     597     9840    32882 |    38781    37768     17 |  0.001 % |
983.54/983.93	c |   2242353 |     597     9840    32882 |    38131    35629     17 |  0.000 % |
987.24/987.62	c |   2250895 |     597     9840    32882 |    34035    30790     17 |  0.001 % |
990.94/991.32	c |   2260291 |     597     9840    32882 |    32602    29458     17 |  0.001 % |
995.14/995.54	c |   2270624 |     597     9840    32882 |    32533    29726     16 |  0.001 % |
1000.04/1000.43	c |   2281991 |     597     9840    32882 |    32393    30968     17 |  0.001 % |
1005.34/1005.71	c |   2294495 |     597     9840    32882 |    31694    29492     17 |  0.001 % |
1011.03/1011.44	c |   2308247 |     597     9840    32882 | 2147483647    36891     17 |  0.001 % |
1017.83/1018.28	c |   2323376 |     597     9840    32882 |    34159    32866     17 |  0.001 % |
1024.64/1025.05	c |   2340018 |     597     9840    32882 | 2147483647    30828     17 |  0.001 % |
1032.23/1032.67	c |   2358320 |     597     9840    32882 |    40812    38127     16 |  0.001 % |
1041.43/1041.82	c |   2378452 |     597     9840    32882 |    38670    36161     16 |  0.001 % |
1041.43/1041.87	c |   2378552 |     597     9840    32882 |    38670    36261     16 |  0.001 % |
1041.53/1041.91	c |   2378662 |     597     9840    32882 |    38670    36371     16 |  0.001 % |
1041.53/1041.96	c |   2378783 |     597     9840    32882 |    38670    36492     16 |  0.001 % |
1041.63/1042.03	c |   2378917 |     597     9840    32882 |    38670    36626     16 |  0.000 % |
1041.73/1042.10	c |   2379064 |     597     9840    32882 |    38670    36773     16 |  0.001 % |
1041.73/1042.16	c |   2379224 |     597     9840    32882 |    38670    36933     16 |  0.001 % |
1041.83/1042.25	c |   2379400 |     597     9840    32882 |    38670    37109     16 |  0.001 % |
1041.93/1042.35	c |   2379593 |     597     9840    32882 |    38670    37302     16 |  0.001 % |
1042.03/1042.45	c |   2379805 |     597     9840    32882 |    38670    37514     16 |  0.001 % |
1042.13/1042.55	c |   2380038 |     597     9840    32882 |    37710    37747     16 |  0.001 % |
1042.33/1042.74	c |   2380294 |     597     9840    32882 |    37710    32626     16 |  0.001 % |
1042.43/1042.86	c |   2380575 |     597     9840    32882 |    37710    32907     16 |  0.001 % |
1042.53/1042.96	c |   2380885 |     597     9840    32882 |    37710    33217     16 |  0.001 % |
1042.63/1043.09	c |   2381224 |     597     9840    32882 |    37710    33556     16 |  0.001 % |
1042.83/1043.23	c |   2381597 |     597     9840    32882 |    37710    33929     16 |  0.001 % |
1042.93/1043.37	c |   2382006 |     597     9840    32882 |    37710    34338     16 |  0.001 % |
1043.13/1043.53	c |   2382457 |     597     9840    32882 |    37710    34789     16 |  0.001 % |
1043.33/1043.71	c |   2382953 |     597     9840    32882 |    37710    35285     16 |  0.001 % |
1043.53/1043.91	c |   2383499 |     597     9840    32882 |    37710    35831     16 |  0.001 % |
1043.73/1044.13	c |   2384097 |     597     9840    32882 |    37710    36429     16 |  0.001 % |
1043.93/1044.35	c |   2384752 |     597     9840    32882 |    37710    37084     16 |  0.001 % |
1044.23/1044.69	c |   2385473 |     597     9840    32882 |    37710    33099     16 |  0.001 % |
1044.53/1044.96	c |   2386268 |     597     9840    32882 |    37710    33894     16 |  0.001 % |
1044.83/1045.25	c |   2387139 |     597     9840    32882 |    37710    34765     16 |  0.000 % |
1045.23/1045.61	c |   2388097 |     597     9840    32882 |    37710    35723     16 |  0.001 % |
1045.63/1046.00	c |   2389151 |     597     9840    32882 |    37710    36777     16 |  0.001 % |
1046.12/1046.52	c |   2390312 |     597     9840    32882 |    37626    33716     16 |  0.001 % |
1046.52/1046.99	c |   2391585 |     597     9840    32882 |    37626    34989     16 |  0.001 % |
1047.12/1047.50	c |   2392985 |     597     9840    32882 |    37626    36389     16 |  0.001 % |
1047.72/1048.18	c |   2394526 |     597     9840    32882 |    37626    33889     17 |  0.001 % |
1048.42/1048.83	c |   2396223 |     597     9840    32882 |    37626    35586     17 |  0.001 % |
1049.12/1049.55	c |   2398086 |     597     9840    32882 |    37626    37449     17 |  0.001 % |
1050.13/1050.51	c |   2400139 |     597     9840    32882 |    35475    31934     17 |  0.001 % |
1050.92/1051.38	c |   2402392 |     597     9840    32882 |    35475    34187     17 |  0.001 % |
1051.92/1052.39	c |   2404871 |     597     9840    32882 |    35475    33072     17 |  0.001 % |
1053.12/1053.55	c |   2407596 |     597     9840    32882 |    35475    32245     17 |  0.001 % |
1054.32/1054.70	c |   2410595 |     597     9840    32882 | 2147483647    35244     17 |  0.001 % |
1055.62/1056.05	c |   2413891 |     597     9840    32882 | 2147483647    38540     17 |  0.001 % |
1057.22/1057.64	c |   2417520 |     597     9840    32882 | 2147483647    42169     17 |  0.001 % |
1059.02/1059.47	c |   2421507 |     597     9840    32882 |    44650    39961     17 |  0.001 % |
1061.12/1061.52	c |   2425892 |     597     9840    32882 |    44650    44346     18 |  0.001 % |
1063.32/1063.71	c |   2430715 |     597     9840    32882 |    41292    35798     18 |  0.001 % |
1065.62/1066.09	c |   2436020 |     597     9840    32882 |    41292    41103     18 |  0.001 % |
1068.32/1068.70	c |   2441856 |     597     9840    32882 |    39038    35160     18 |  0.001 % |
1071.12/1071.58	c |   2448275 |     597     9840    32882 |    39038    36256     18 |  0.001 % |
1074.32/1074.80	c |   2455337 |     597     9840    32882 |    37982    33241     17 |  0.001 % |
1077.81/1078.28	c |   2463101 |     597     9840    32882 |    37904    36063     17 |  0.001 % |
1081.71/1082.16	c |   2471645 |     597     9840    32882 |    33288    30759     16 |  0.001 % |
1085.51/1085.91	c |   2481042 |     597     9840    32882 | 2147483647    33489     16 |  0.000 % |
1090.21/1090.67	c |   2491375 |     597     9840    32882 |    42447    38493     17 |  0.001 % |
1096.11/1096.50	c |   2502741 |     597     9840    32882 |    40178    36318     17 |  0.001 % |
1101.91/1102.30	c |   2515245 |     597     9840    32882 |    37126    36646     16 |  0.001 % |
1107.60/1108.00	c |   2528999 |     597     9840    32882 |    36217    35967     16 |  0.000 % |
1113.40/1113.89	c |   2544127 |     597     9840    32882 | 2147483647    36104     18 |  0.001 % |
1121.30/1121.77	c |   2560767 |     597     9840    32882 |    39153    33736     17 |  0.001 % |
1129.40/1129.87	c |   2579071 |     597     9840    32882 |    37425    36561     19 |  0.000 % |
1137.49/1137.97	c |   2599203 |     597     9840    32882 |    31796    31278     18 |  0.001 % |
1147.19/1147.66	c |   2621348 |     597     9840    32882 |    38649    34634     17 |  0.000 % |
1147.29/1147.71	c |   2621448 |     597     9840    32882 |    38649    34734     17 |  0.001 % |
1147.29/1147.75	c |   2621558 |     597     9840    32882 |    38649    34844     17 |  0.000 % |
1147.39/1147.82	c |   2621679 |     597     9840    32882 |    38649    34965     17 |  0.000 % |
1147.39/1147.88	c |   2621812 |     597     9840    32882 |    38649    35098     17 |  0.001 % |
1147.49/1147.95	c |   2621958 |     597     9840    32882 |    38649    35244     17 |  0.001 % |
1147.59/1148.02	c |   2622119 |     597     9840    32882 |    38649    35405     17 |  0.001 % |
1147.59/1148.08	c |   2622295 |     597     9840    32882 |    38649    35581     17 |  0.001 % |
1147.69/1148.15	c |   2622491 |     597     9840    32882 |    38649    35777     17 |  0.001 % |
1147.79/1148.23	c |   2622704 |     597     9840    32882 |    38649    35990     17 |  0.001 % |
1147.89/1148.31	c |   2622937 |     597     9840    32882 |    38649    36223     17 |  0.001 % |
1147.99/1148.41	c |   2623193 |     597     9840    32882 |    38649    36479     17 |  0.001 % |
1148.09/1148.50	c |   2623474 |     597     9840    32882 |    38649    36760     17 |  0.000 % |
1148.19/1148.61	c |   2623783 |     597     9840    32882 |    38649    37069     17 |  0.001 % |
1148.29/1148.75	c |   2624122 |     597     9840    32882 |    38649    37408     17 |  0.001 % |
1148.39/1148.86	c |   2624495 |     597     9840    32882 |    38649    37781     17 |  0.001 % |
1148.59/1149.02	c |   2624904 |     597     9840    32882 |    38649    38190     17 |  0.001 % |
1148.69/1149.17	c |   2625354 |     597     9840    32882 |    38649    38640     17 |  0.001 % |
1148.99/1149.41	c |   2625848 |     597     9840    32882 |    38649    34408     17 |  0.001 % |
1149.09/1149.59	c |   2626391 |     597     9840    32882 |    38649    34951     17 |  0.000 % |
1149.39/1149.80	c |   2626988 |     597     9840    32882 |    38649    35548     17 |  0.001 % |
1149.59/1150.05	c |   2627643 |     597     9840    32882 |    38649    36203     17 |  0.001 % |
1149.89/1150.37	c |   2628363 |     597     9840    32882 |    38649    36923     17 |  0.001 % |
1150.29/1150.71	c |   2629155 |     597     9840    32882 |    38649    37715     17 |  0.001 % |
1150.59/1151.01	c |   2630027 |     597     9840    32882 |    38560    38587     17 |  0.001 % |
1150.89/1151.39	c |   2630985 |     597     9840    32882 |    38560    35026     17 |  0.000 % |
1151.29/1151.76	c |   2632038 |     597     9840    32882 |    38560    36079     17 |  0.001 % |
1151.69/1152.19	c |   2633196 |     597     9840    32882 |    38560    37237     17 |  0.000 % |
1152.19/1152.65	c |   2634471 |     597     9840    32882 |    38560    38512     17 |  0.001 % |
1152.79/1153.26	c |   2635873 |     597     9840    32882 |    38560    36053     17 |  0.001 % |
1153.39/1153.85	c |   2637413 |     597     9840    32882 |    38560    37593     17 |  0.001 % |
1154.19/1154.60	c |   2639111 |     597     9840    32882 |    38560    35430     17 |  0.001 % |
1154.89/1155.36	c |   2640975 |     597     9840    32882 | 2147483647    37294     17 |  0.001 % |
1155.79/1156.22	c |   2643025 |     597     9840    32882 | 2147483647    39344     17 |  0.001 % |
1156.69/1157.19	c |   2645280 |     597     9840    32882 | 2147483647    41599     17 |  0.001 % |
1157.89/1158.32	c |   2647758 |     597     9840    32882 | 2147483647    44077     18 |  0.001 % |
1159.28/1159.75	c |   2650483 |     597     9840    32882 |    46320    40669     18 |  0.001 % |
1160.58/1161.10	c |   2653480 |     597     9840    32882 |    46320    43666     18 |  0.001 % |
1162.29/1162.77	c |   2656778 |     597     9840    32882 |    46320    39396     18 |  0.001 % |
1164.18/1164.60	c |   2660405 |     597     9840    32882 |    42619    35683     17 |  0.001 % |
1165.88/1166.34	c |   2664392 |     597     9840    32882 |    42619    39670     17 |  0.001 % |
1167.88/1168.37	c |   2668778 |     597     9840    32882 |    42619    37363     17 |  0.001 % |
1170.08/1170.50	c |   2673602 |     597     9840    32882 |    38588    36335     17 |  0.001 % |
1172.38/1172.84	c |   2678908 |     597     9840    32882 |    38588    36333     16 |  0.001 % |
1174.78/1175.28	c |   2684743 |     597     9840    32882 |    37426    37212     16 |  0.001 % |
1177.68/1178.11	c |   2691164 |     597     9840    32882 |    33503    30648     15 |  0.001 % |
1180.37/1180.84	c |   2698223 |     597     9840    32882 |    33503    30998     15 |  0.001 % |
1183.27/1183.73	c |   2705987 |     597     9840    32882 | 2147483647    38762     16 |  0.001 % |
1187.47/1187.92	c |   2714527 |     597     9840    32882 |    42775    41783     17 |  0.001 % |
1191.97/1192.48	c |   2723922 |     597     9840    32882 |    40283    37660     17 |  0.001 % |
1196.67/1197.13	c |   2734257 |     597     9840    32882 |    37548    36114     18 |  0.000 % |
1200.07/1200.50	HOME/SatELiteGTI: line 36:  4627 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-1832375-1242772738/watcher-1832375-1242772738 -o /tmp/evaluation-result-1832375-1242772738/solver-1832375-1242772738 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832375-1242772738.cnf 

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.90 3/65 4621
/proc/meminfo: memFree=1837184/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305306542 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228774871122 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/4621/statm: 1339 235 195 169 0 50 0
[pid=4622] ppid=4621 vsize=5356 CPUtime=0
/proc/4622/stat : 4622 (SatELiteGTI) R 4621 4621 4427 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 305306543 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/4622/statm: 1339 238 198 169 0 50 0
[pid=4624] ppid=4622 vsize=0 CPUtime=0
/proc/4624/stat : 4624 (sed) Z 4622 4621 4427 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 305306543 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/4624/statm: 0 0 0 0 0 0 0

[startup+0.0318151 s]
/proc/loadavg: 0.91 0.95 0.90 3/65 4621
/proc/meminfo: memFree=1837184/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305306542 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4621/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102822 s]
/proc/loadavg: 0.91 0.95 0.90 3/65 4621
/proc/meminfo: memFree=1837184/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305306542 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4621/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302846 s]
/proc/loadavg: 0.91 0.95 0.90 3/65 4621
/proc/meminfo: memFree=1837184/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356

[startup+0.702891 s]
/proc/loadavg: 0.91 0.95 0.90 3/65 4621
/proc/meminfo: memFree=1837184/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356

[startup+1.50198 s]
/proc/loadavg: 0.91 0.95 0.90 2/67 4627
/proc/meminfo: memFree=1835440/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=3124 CPUtime=1.35
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 458 0 0 0 135 0 0 0 25 0 1 0 305306556 3198976 444 1992294400 134512640 135215339 4294956240 18446744073709551615 134529069 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 781 444 76 171 0 608 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8480

[startup+3.10117 s]
/proc/loadavg: 0.91 0.95 0.90 2/67 4627
/proc/meminfo: memFree=1834544/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=4408 CPUtime=2.95
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 761 0 0 0 295 0 0 0 25 0 1 0 305306556 4513792 747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 1102 747 76 171 0 929 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9764

[startup+6.30154 s]
/proc/loadavg: 0.92 0.95 0.90 2/67 4627
/proc/meminfo: memFree=1832560/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=5776 CPUtime=6.15
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 1116 0 0 0 614 1 0 0 25 0 1 0 305306556 5914624 1102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 1444 1102 76 171 0 1271 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11132

[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.90 2/67 4627
/proc/meminfo: memFree=1830448/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=7604 CPUtime=12.55
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 1563 0 0 0 1253 2 0 0 25 0 1 0 305306556 7786496 1549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 1901 1549 76 171 0 1728 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 12960

[startup+25.5018 s]
/proc/loadavg: 0.94 0.96 0.91 2/67 4627
/proc/meminfo: memFree=1829552/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=8356 CPUtime=25.34
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 1740 0 0 0 2532 2 0 0 25 0 1 0 305306556 8556544 1726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2089 1726 76 171 0 1916 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 13712

[startup+51.1017 s]
/proc/loadavg: 1.03 0.97 0.91 2/67 4627
/proc/meminfo: memFree=1829424/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=8508 CPUtime=50.94
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 1779 0 0 0 5091 3 0 0 25 0 1 0 305306556 8712192 1765 1992294400 134512640 135215339 4294956240 18446744073709551615 134534294 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2127 1765 76 171 0 1954 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 13864

[startup+102.306 s]
/proc/loadavg: 1.01 0.97 0.91 2/67 4627
/proc/meminfo: memFree=1829040/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=8776 CPUtime=102.13
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 1848 0 0 0 10209 4 0 0 25 0 1 0 305306556 8986624 1834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2194 1834 76 171 0 2021 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 14132

[startup+162.302 s]
/proc/loadavg: 1.07 0.99 0.92 2/67 4627
/proc/meminfo: memFree=1828720/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9064 CPUtime=162.1
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 1896 0 0 0 16205 5 0 0 25 0 1 0 305306556 9281536 1882 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2266 1882 76 171 0 2093 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 14420

[startup+222.301 s]
/proc/loadavg: 1.09 1.01 0.92 2/67 4627
/proc/meminfo: memFree=1828400/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9196 CPUtime=222.09
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 1929 0 0 0 22203 6 0 0 25 0 1 0 305306556 9416704 1915 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2299 1915 76 171 0 2126 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 14552

[startup+282.301 s]
/proc/loadavg: 1.03 1.00 0.92 2/67 4629
/proc/meminfo: memFree=1828080/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9196 CPUtime=282.07
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 1950 0 0 0 28200 7 0 0 25 0 1 0 305306556 9416704 1936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2299 1936 76 171 0 2126 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 14552

[startup+342.301 s]
/proc/loadavg: 1.10 1.03 0.93 2/67 4629
/proc/meminfo: memFree=1828016/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9356 CPUtime=342.05
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 1964 0 0 0 34198 7 0 0 25 0 1 0 305306556 9580544 1950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2339 1950 76 171 0 2166 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 14712

[startup+402.302 s]
/proc/loadavg: 1.04 1.02 0.93 2/67 4629
/proc/meminfo: memFree=1827952/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9356 CPUtime=402.02

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

[pid=4627] ppid=4621 vsize=9636 CPUtime=521.99
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2056 0 0 0 52190 9 0 0 25 0 1 0 305306556 9867264 2042 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2409 2042 76 171 0 2236 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 14992

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1827184/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9800 CPUtime=581.97
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2078 0 0 0 58188 9 0 0 25 0 1 0 305306556 10035200 2064 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2450 2064 76 171 0 2277 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 15156

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1827056/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9800 CPUtime=641.95
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2078 0 0 0 64185 10 0 0 25 0 1 0 305306556 10035200 2064 1992294400 134512640 135215339 4294956240 18446744073709551615 134528745 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2450 2064 76 171 0 2277 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 15156

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1826928/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9800 CPUtime=701.92
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2101 0 0 0 70182 10 0 0 25 0 1 0 305306556 10035200 2087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2450 2087 76 171 0 2277 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 15156

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1826736/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9944 CPUtime=761.91
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2126 0 0 0 76180 11 0 0 25 0 1 0 305306556 10182656 2112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2486 2112 76 171 0 2313 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 15300

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1826608/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=9944 CPUtime=821.88
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2131 0 0 0 82177 11 0 0 25 0 1 0 305306556 10182656 2117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2486 2117 76 171 0 2313 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 15300

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1826352/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=10116 CPUtime=881.86
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2171 0 0 0 88175 11 0 0 25 0 1 0 305306556 10358784 2157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2529 2157 76 171 0 2356 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 15472

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1826288/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=10256 CPUtime=941.84
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2181 0 0 0 94173 11 0 0 25 0 1 0 305306556 10502144 2167 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2564 2167 76 171 0 2391 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 15612

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1826032/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=10256 CPUtime=1001.82
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2205 0 0 0 100171 11 0 0 25 0 1 0 305306556 10502144 2191 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2564 2191 76 171 0 2391 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 15612

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1825776/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=10544 CPUtime=1061.8
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2243 0 0 0 106168 12 0 0 25 0 1 0 305306556 10797056 2229 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2636 2229 76 171 0 2463 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 15900

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1825648/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=10544 CPUtime=1121.78
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2268 0 0 0 112166 12 0 0 25 0 1 0 305306556 10797056 2254 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2636 2254 76 171 0 2463 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 15900

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1825456/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=10676 CPUtime=1181.75
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2286 0 0 0 118163 12 0 0 25 0 1 0 305306556 10932224 2272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2669 2272 76 171 0 2496 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 16032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1825392/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=10812 CPUtime=1199.95
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2305 0 0 0 119983 12 0 0 25 0 1 0 305306556 11071488 2291 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2703 2291 76 171 0 2530 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 16168

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4629
/proc/meminfo: memFree=1825392/2055920 swapFree=4179248/4192956
[pid=4621] ppid=4619 vsize=5356 CPUtime=0.12
/proc/4621/stat : 4621 (SatELiteGTI) S 4619 4621 4427 0 -1 4194304 336 695 0 0 0 0 12 0 16 0 1 0 305306542 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4621/statm: 1339 239 197 169 0 50 0
[pid=4627] ppid=4621 vsize=10812 CPUtime=1199.95
/proc/4627/stat : 4627 (minisat_static) R 4621 4621 4427 0 -1 4194304 2305 0 0 0 119983 12 0 0 25 0 1 0 305306556 11071488 2291 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/4627/statm: 2703 2291 76 171 0 2530 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 16168

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.1
CPU user time (s): 1199.96
CPU system time (s): 0.137979
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 16168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3367
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= 31
involuntary context switches= 3657

runsolver used 1.12583 second user time and 3.37649 second system time

The end

Launcher Data

Begin job on node74 at 2009-05-20 00:38:58
IDJOB=1832375
IDBENCH=24751
IDSOLVER=671
FILE ID=node74/1832375-1242772738
PBS_JOBID= 9322229
Free space on /tmp= 102936 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Difficult/contest-02-03-04/contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832375-1242772738/watcher-1832375-1242772738 -o /tmp/evaluation-result-1832375-1242772738/solver-1832375-1242772738 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832375-1242772738.cnf

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

MD5SUM BENCH= d8fa78c834564753f42ad3a5aaefa23a
RANDOM SEED=1966134542

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1837664 kB
Buffers:         16880 kB
Cached:         163908 kB
SwapCached:       7096 kB
Active:          24220 kB
Inactive:       166032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837664 kB
SwapTotal:     4192956 kB
SwapFree:      4179248 kB
Dirty:            1736 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            13884 kB
Committed_AS:  1044368 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 102936 MiB
End job on node74 at 2009-05-20 00:59:01