Trace number 1832581

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.04 1200.51

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
MD5SUMbd2ffd9bc7cc85da4d9e7498163745df
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses15300
Sum of the clauses size107100
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515300

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   15300   107100 |    4589       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 180   #clauses: 15300   #literals: 107100
0.00/0.02	c CPU time:   0.019996 s
0.00/0.02	c ==============================================================================
0.00/0.05	c This is MiniSat 2.0 beta
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.06	c |  Number of variables:  180                                                  |
0.00/0.06	c |  Number of clauses:    15300                                                |
0.00/0.07	c |  Parsing time:         0.01         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     180    15300   107100 |     5100        0    nan |  0.000 % |
0.00/0.08	c |       101 |     180    15300   107100 |     5100      101     56 |  0.003 % |
0.00/0.09	c |       201 |     180    15300   107100 |     5100      201     54 |  0.003 % |
0.05/0.10	c |       301 |     180    15300   107100 |     5100      301     54 |  0.003 % |
0.05/0.11	c |       411 |     180    15300   107100 |     5100      411     54 |  0.003 % |
0.05/0.12	c |       511 |     180    15300   107100 |     5100      511     54 |  0.003 % |
0.05/0.13	c |       621 |     180    15300   107100 |     5100      621     54 |  0.003 % |
0.05/0.14	c |       742 |     180    15300   107100 |     5100      742     55 |  0.003 % |
0.05/0.15	c |       842 |     180    15300   107100 |     5100      842     54 |  0.003 % |
0.05/0.16	c |       953 |     180    15300   107100 |     5100      953     54 |  0.003 % |
0.05/0.17	c |      1075 |     180    15300   107100 |     5100     1075     54 |  0.003 % |
0.05/0.19	c |      1209 |     180    15300   107100 |     5100     1209     54 |  0.003 % |
0.05/0.19	c |      1310 |     180    15300   107100 |     5100     1310     54 |  0.003 % |
0.05/0.20	c |      1421 |     180    15300   107100 |     5100     1421     54 |  0.003 % |
0.05/0.22	c |      1544 |     180    15300   107100 |     5100     1544     54 |  0.003 % |
0.05/0.23	c |      1677 |     180    15300   107100 |     5100     1677     54 |  0.003 % |
0.05/0.24	c |      1826 |     180    15300   107100 |     5100     1826     54 |  0.003 % |
0.05/0.25	c |      1926 |     180    15300   107100 |     5100     1926     54 |  0.003 % |
0.05/0.26	c |      2036 |     180    15300   107100 |     5100     2036     54 |  0.003 % |
0.05/0.27	c |      2157 |     180    15300   107100 |     5100     2157     54 |  0.003 % |
0.05/0.28	c |      2290 |     180    15300   107100 |     5100     2290     53 |  0.003 % |
0.05/0.29	c |      2436 |     180    15300   107100 |     5100     2436     53 |  0.003 % |
0.05/0.31	c |      2598 |     180    15300   107100 |     5100     2598     53 |  0.003 % |
0.05/0.32	c |      2698 |     180    15300   107100 |     5100     2698     53 |  0.003 % |
0.05/0.33	c |      2809 |     180    15300   107100 |     5100     2809     53 |  0.003 % |
0.05/0.34	c |      2930 |     180    15300   107100 |     5100     2930     53 |  0.003 % |
0.05/0.36	c |      3064 |     180    15300   107100 |     5100     3064     53 |  0.003 % |
0.05/0.37	c |      3211 |     180    15300   107100 |     5100     3211     53 |  0.003 % |
0.05/0.39	c |      3372 |     180    15300   107100 |     5100     3372     53 |  0.003 % |
0.05/0.41	c |      3549 |     180    15300   107100 |     5100     3549     53 |  0.003 % |
0.05/0.42	c |      3649 |     180    15300   107100 |     5100     3649     53 |  0.003 % |
0.05/0.43	c |      3762 |     180    15300   107100 |     5100     3762     53 |  0.003 % |
0.05/0.44	c |      3883 |     180    15300   107100 |     5100     3883     53 |  0.003 % |
0.05/0.46	c |      4016 |     180    15300   107100 |     5100     4016     53 |  0.003 % |
0.05/0.47	c |      4163 |     180    15300   107100 |     5100     4163     53 |  0.003 % |
0.05/0.49	c |      4323 |     180    15300   107100 |     5100     4323     53 |  0.003 % |
0.05/0.51	c |      4499 |     180    15300   107100 |     5100     4499     53 |  0.003 % |
0.05/0.53	c |      4692 |     180    15300   107100 |     5100     4692     53 |  0.003 % |
0.05/0.54	c |      4792 |     180    15300   107100 |     5100     4792     53 |  0.003 % |
0.05/0.56	c |      4902 |     180    15300   107100 |     5100     4902     53 |  0.003 % |
0.05/0.57	c |      5023 |     180    15300   107100 |     5100     5023     53 |  0.003 % |
0.05/0.59	c |      5156 |     180    15300   107100 |     5100     5156     53 |  0.003 % |
0.05/0.60	c |      5302 |     180    15300   107100 |     5100     4787     53 |  0.003 % |
0.05/0.62	c |      5464 |     180    15300   107100 |     5100     4949     53 |  0.003 % |
0.05/0.64	c |      5640 |     180    15300   107100 |     5100     5125     53 |  0.003 % |
0.05/0.66	c |      5834 |     180    15300   107100 |     5100     4807     52 |  0.003 % |
0.05/0.69	c |      6046 |     180    15300   107100 |     5100     5019     52 |  0.003 % |
0.05/0.70	c |      6146 |     180    15300   107100 |     5100     5119     52 |  0.003 % |
0.05/0.71	c |      6257 |     180    15300   107100 |     5100     4719     52 |  0.003 % |
0.05/0.73	c |      6379 |     180    15300   107100 |     5100     4841     52 |  0.003 % |
0.05/0.74	c |      6512 |     180    15300   107100 |     5100     4974     52 |  0.003 % |
0.05/0.76	c |      6658 |     180    15300   107100 |     5100     5120     52 |  0.003 % |
0.05/0.78	c |      6819 |     180    15300   107100 |     5100     4769     52 |  0.003 % |
0.05/0.80	c |      6997 |     180    15300   107100 |     5100     4947     52 |  0.003 % |
0.05/0.82	c |      7192 |     180    15300   107100 |     5100     5142     52 |  0.003 % |
0.05/0.84	c |      7405 |     180    15300   107100 |     5100     4841     52 |  0.003 % |
0.05/0.87	c |      7639 |     180    15300   107100 |     5100     5075     52 |  0.003 % |
0.05/0.88	c |      7739 |     180    15300   107100 |     5100     5175     52 |  0.003 % |
0.05/0.89	c |      7849 |     180    15300   107100 |     5100     4768     52 |  0.003 % |
0.05/0.91	c |      7971 |     180    15300   107100 |     5100     4890     52 |  0.003 % |
0.05/0.92	c |      8105 |     180    15300   107100 |     5100     5024     52 |  0.003 % |
0.05/0.94	c |      8251 |     180    15300   107100 |     5100     5170     52 |  0.003 % |
0.05/0.96	c |      8411 |     180    15300   107100 |     5100     4813     52 |  0.003 % |
0.05/0.98	c |      8588 |     180    15300   107100 |     5100     4990     52 |  0.003 % |
0.05/1.00	c |      8784 |     180    15300   107100 |     5100     5186     52 |  0.003 % |
0.05/1.03	c |      8997 |     180    15300   107100 |     5100     4881     53 |  0.003 % |
0.05/1.05	c |      9230 |     180    15300   107100 |     5100     5114     53 |  0.003 % |
0.05/1.08	c |      9487 |     180    15300   107100 |     5100     4860     53 |  0.003 % |
0.05/1.09	c |      9587 |     180    15300   107100 |     5100     4960     53 |  0.003 % |
1.08/1.10	c |      9697 |     180    15300   107100 |     5100     5070     53 |  0.003 % |
1.08/1.12	c |      9819 |     180    15300   107100 |     5100     4674     53 |  0.003 % |
1.08/1.13	c |      9954 |     180    15300   107100 |     5100     4809     53 |  0.003 % |
1.08/1.15	c |     10101 |     180    15300   107100 | 2147483647     4956     53 |  0.003 % |
1.08/1.17	c |     10262 |     180    15300   107100 | 2147483647     5117     53 |  0.003 % |
1.08/1.19	c |     10439 |     180    15300   107100 | 2147483647     5294     53 |  0.003 % |
1.18/1.21	c |     10632 |     180    15300   107100 | 2147483647     5487     53 |  0.003 % |
1.18/1.24	c |     10844 |     180    15300   107100 | 2147483647     5699     53 |  0.003 % |
1.18/1.26	c |     11077 |     180    15300   107100 | 2147483647     5932     53 |  0.003 % |
1.18/1.30	c |     11334 |     180    15300   107100 | 2147483647     6189     52 |  0.003 % |
1.28/1.33	c |     11618 |     180    15300   107100 | 2147483647     6473     53 |  0.003 % |
1.28/1.34	c |     11719 |     180    15300   107100 | 2147483647     6574     53 |  0.003 % |
1.28/1.35	c |     11830 |     180    15300   107100 | 2147483647     6685     52 |  0.003 % |
1.28/1.37	c |     11951 |     180    15300   107100 | 2147483647     6806     52 |  0.003 % |
1.28/1.39	c |     12085 |     180    15300   107100 | 2147483647     6940     53 |  0.003 % |
1.38/1.41	c |     12231 |     180    15300   107100 | 2147483647     7086     53 |  0.003 % |
1.38/1.43	c |     12391 |     180    15300   107100 | 2147483647     7246     53 |  0.003 % |
1.38/1.45	c |     12567 |     180    15300   107100 | 2147483647     7422     53 |  0.003 % |
1.38/1.48	c |     12760 |     180    15300   107100 | 2147483647     7615     53 |  0.003 % |
1.48/1.51	c |     12973 |     180    15300   107100 | 2147483647     7828     53 |  0.003 % |
1.48/1.54	c |     13206 |     180    15300   107100 | 2147483647     8061     53 |  0.003 % |
1.48/1.57	c |     13463 |     180    15300   107100 | 2147483647     8318     53 |  0.003 % |
1.58/1.61	c |     13747 |     180    15300   107100 | 2147483647     8602     53 |  0.003 % |
1.58/1.65	c |     14056 |     180    15300   107100 | 2147483647     8911     53 |  0.003 % |
1.58/1.67	c |     14157 |     180    15300   107100 | 2147483647     9012     53 |  0.003 % |
1.58/1.68	c |     14268 |     180    15300   107100 | 2147483647     9123     53 |  0.003 % |
1.68/1.70	c |     14389 |     180    15300   107100 | 2147483647     9244     53 |  0.003 % |
1.68/1.71	c |     14523 |     180    15300   107100 | 2147483647     9378     53 |  0.003 % |
1.68/1.74	c |     14671 |     180    15300   107100 | 2147483647     9526     53 |  0.003 % |
1.68/1.76	c |     14832 |     180    15300   107100 | 2147483647     9687     53 |  0.003 % |
1.68/1.79	c |     15008 |     180    15300   107100 | 2147483647     9863     53 |  0.003 % |
1.78/1.83	c |     15202 |     180    15300   107100 | 2147483647    10057     53 |  0.003 % |
1.78/1.86	c |     15414 |     180    15300   107100 | 2147483647    10269     53 |  0.003 % |
1.78/1.89	c |     15647 |     180    15300   107100 | 2147483647    10502     53 |  0.003 % |
1.89/1.93	c |     15903 |     180    15300   107100 | 2147483647    10758     53 |  0.003 % |
1.89/1.97	c |     16185 |     180    15300   107100 | 2147483647    11040     53 |  0.003 % |
1.99/2.02	c |     16496 |     180    15300   107100 | 2147483647    11351     53 |  0.003 % |
1.99/2.07	c |     16836 |     180    15300   107100 | 2147483647    11691     53 |  0.003 % |
1.99/2.09	c |     16936 |     180    15300   107100 | 2147483647    11791     53 |  0.003 % |
2.09/2.11	c |     17046 |     180    15300   107100 | 2147483647    11901     53 |  0.003 % |
2.09/2.14	c |     17167 |     180    15300   107100 | 2147483647    12022     53 |  0.003 % |
2.09/2.16	c |     17300 |     180    15300   107100 | 2147483647    12155     53 |  0.003 % |
2.09/2.18	c |     17446 |     180    15300   107100 | 2147483647    12301     53 |  0.003 % |
2.19/2.21	c |     17608 |     180    15300   107100 | 2147483647    12463     53 |  0.003 % |
2.19/2.24	c |     17785 |     180    15300   107100 | 2147483647    12640     53 |  0.003 % |
2.19/2.28	c |     17978 |     180    15300   107100 | 2147483647    12833     53 |  0.003 % |
2.29/2.32	c |     18190 |     180    15300   107100 | 2147483647    13045     53 |  0.003 % |
2.29/2.36	c |     18425 |     180    15300   107100 | 2147483647    13280     53 |  0.003 % |
2.38/2.41	c |     18681 |     180    15300   107100 | 2147483647    13536     53 |  0.003 % |
2.38/2.46	c |     18963 |     180    15300   107100 | 2147483647    13818     53 |  0.003 % |
2.48/2.52	c |     19272 |     180    15300   107100 | 2147483647    14127     53 |  0.003 % |
2.48/2.58	c |     19613 |     180    15300   107100 | 2147483647    14468     53 |  0.003 % |
2.58/2.65	c |     19985 |     180    15300   107100 | 2147483647    14840     53 |  0.003 % |
2.58/2.67	c |     20086 |     180    15300   107100 | 2147483647    14941     53 |  0.003 % |
2.58/2.70	c |     20198 |     180    15300   107100 | 2147483647    15053     53 |  0.003 % |
2.68/2.72	c |     20320 |     180    15300   107100 | 2147483647    15175     53 |  0.003 % |
2.68/2.75	c |     20453 |     180    15300   107100 | 2147483647    15308     53 |  0.003 % |
2.68/2.78	c |     20599 |     180    15300   107100 | 2147483647    15454     53 |  0.003 % |
2.78/2.82	c |     20759 |     180    15300   107100 | 2147483647    15614     53 |  0.003 % |
2.78/2.85	c |     20935 |     180    15300   107100 | 2147483647    15790     53 |  0.003 % |
2.78/2.89	c |     21128 |     180    15300   107100 | 2147483647    15983     53 |  0.003 % |
2.88/2.93	c |     21341 |     180    15300   107100 | 2147483647    16196     53 |  0.003 % |
2.88/2.98	c |     21574 |     180    15300   107100 | 2147483647    16429     53 |  0.003 % |
2.98/3.04	c |     21832 |     180    15300   107100 | 2147483647    16687     53 |  0.003 % |
3.08/3.10	c |     22113 |     180    15300   107100 | 2147483647    16968     53 |  0.003 % |
3.08/3.16	c |     22423 |     180    15300   107100 | 2147483647    17278     53 |  0.003 % |
3.18/3.23	c |     22762 |     180    15300   107100 | 2147483647    17617     53 |  0.003 % |
3.28/3.32	c |     23135 |     180    15300   107100 | 2147483647    17990     53 |  0.003 % |
3.38/3.41	c |     23544 |     180    15300   107100 | 2147483647    18399     53 |  0.003 % |
3.38/3.43	c |     23646 |     180    15300   107100 | 2147483647    18501     53 |  0.003 % |
3.38/3.46	c |     23756 |     180    15300   107100 | 2147483647    18611     53 |  0.003 % |
3.48/3.50	c |     23878 |     180    15300   107100 | 2147483647    18733     53 |  0.003 % |
3.48/3.53	c |     24011 |     180    15300   107100 | 2147483647    18866     53 |  0.003 % |
3.48/3.57	c |     24157 |     180    15300   107100 | 2147483647    19012     53 |  0.003 % |
3.58/3.62	c |     24317 |     180    15300   107100 | 2147483647    19172     53 |  0.003 % |
3.58/3.66	c |     24493 |     180    15300   107100 | 2147483647    19348     53 |  0.003 % |
3.68/3.71	c |     24686 |     180    15300   107100 | 2147483647    19541     53 |  0.003 % |
3.68/3.76	c |     24898 |     180    15300   107100 | 2147483647    19753     53 |  0.003 % |
3.78/3.81	c |     25133 |     180    15300   107100 | 2147483647    19988     53 |  0.003 % |
3.78/3.87	c |     25390 |     180    15300   107100 | 2147483647    20245     53 |  0.003 % |
3.88/3.94	c |     25671 |     180    15300   107100 | 2147483647    20526     53 |  0.003 % |
3.98/4.01	c |     25981 |     180    15300   107100 | 2147483647    20836     53 |  0.003 % |
3.98/4.09	c |     26320 |     180    15300   107100 | 2147483647    21175     53 |  0.003 % |
4.08/4.18	c |     26692 |     180    15300   107100 | 2147483647    21547     53 |  0.003 % |
4.18/4.29	c |     27101 |     180    15300   107100 | 2147483647    21956     53 |  0.003 % |
4.28/4.39	c |     27550 |     180    15300   107100 | 2147483647    22405     53 |  0.003 % |
4.38/4.43	c |     27652 |     180    15300   107100 | 2147483647    22507     53 |  0.003 % |
4.38/4.47	c |     27764 |     180    15300   107100 | 2147483647    22619     53 |  0.003 % |
4.48/4.50	c |     27886 |     180    15300   107100 | 2147483647    22741     53 |  0.003 % |
4.48/4.54	c |     28020 |     180    15300   107100 | 2147483647    22875     53 |  0.003 % |
4.48/4.59	c |     28166 |     180    15300   107100 | 2147483647    23021     53 |  0.003 % |
4.58/4.64	c |     28327 |     180    15300   107100 | 2147483647    23182     53 |  0.003 % |
4.58/4.69	c |     28503 |     180    15300   107100 | 2147483647    23358     53 |  0.003 % |
4.68/4.75	c |     28698 |     180    15300   107100 | 2147483647    23553     53 |  0.003 % |
4.78/4.82	c |     28911 |     180    15300   107100 | 2147483647    23766     53 |  0.003 % |
4.78/4.89	c |     29145 |     180    15300   107100 | 2147483647    24000     53 |  0.003 % |
4.88/4.96	c |     29401 |     180    15300   107100 | 2147483647    24256     53 |  0.003 % |
4.98/5.05	c |     29685 |     180    15300   107100 | 2147483647    24540     53 |  0.003 % |
5.08/5.14	c |     29996 |     180    15300   107100 | 2147483647    24851     53 |  0.003 % |
5.18/5.24	c |     30335 |     180    15300   107100 | 2147483647    25190     53 |  0.003 % |
5.28/5.35	c |     30707 |     180    15300   107100 | 2147483647    25562     53 |  0.003 % |
5.38/5.48	c |     31117 |     180    15300   107100 | 2147483647    25972     53 |  0.003 % |
5.58/5.63	c |     31567 |     180    15300   107100 | 2147483647    26422     53 |  0.003 % |
5.78/5.82	c |     32060 |     180    15300   107100 | 2147483647    26915     53 |  0.003 % |
5.78/5.85	c |     32160 |     180    15300   107100 | 2147483647    27015     53 |  0.003 % |
5.78/5.88	c |     32271 |     180    15300   107100 | 2147483647    27126     53 |  0.003 % |
5.88/5.93	c |     32395 |     180    15300   107100 | 2147483647    27250     53 |  0.003 % |
5.88/5.97	c |     32528 |     180    15300   107100 | 2147483647    27383     53 |  0.003 % |
5.98/6.03	c |     32676 |     180    15300   107100 | 2147483647    27531     53 |  0.003 % |
5.98/6.09	c |     32836 |     180    15300   107100 | 2147483647    27691     53 |  0.003 % |
6.08/6.15	c |     33012 |     180    15300   107100 | 2147483647    27867     53 |  0.003 % |
6.18/6.22	c |     33205 |     180    15300   107100 | 2147483647    28060     53 |  0.003 % |
6.28/6.30	c |     33418 |     180    15300   107100 | 2147483647    28273     53 |  0.003 % |
6.28/6.39	c |     33651 |     180    15300   107100 | 2147483647    28506     53 |  0.003 % |
6.38/6.48	c |     33910 |     180    15300   107100 | 2147483647    28765     53 |  0.003 % |
6.48/6.59	c |     34191 |     180    15300   107100 | 2147483647    29046     53 |  0.003 % |
6.58/6.70	c |     34500 |     180    15300   107100 | 2147483647    29355     53 |  0.003 % |
6.78/6.82	c |     34839 |     180    15300   107100 | 2147483647    29694     53 |  0.003 % |
6.88/6.94	c |     35211 |     180    15300   107100 | 2147483647    30066     53 |  0.003 % |
6.98/7.08	c |     35620 |     180    15300   107100 | 2147483647    30475     53 |  0.003 % |
7.18/7.26	c |     36073 |     180    15300   107100 | 2147483647    30928     53 |  0.003 % |
7.38/7.44	c |     36567 |     180    15300   107100 | 2147483647    31422     53 |  0.003 % |
7.58/7.66	c |     37109 |     180    15300   107100 | 2147483647    31964     53 |  0.003 % |
7.68/7.70	c |     37211 |     180    15300   107100 | 2147483647    32066     53 |  0.003 % |
7.68/7.75	c |     37321 |     180    15300   107100 | 2147483647    32176     53 |  0.003 % |
7.78/7.80	c |     37444 |     180    15300   107100 | 2147483647    32299     53 |  0.003 % |
7.78/7.86	c |     37577 |     180    15300   107100 | 2147483647    32432     53 |  0.003 % |
7.88/7.93	c |     37723 |     180    15300   107100 | 2147483647    32578     53 |  0.003 % |
7.98/8.00	c |     37884 |     180    15300   107100 | 2147483647    32739     53 |  0.003 % |
7.98/8.07	c |     38062 |     180    15300   107100 | 2147483647    32917     53 |  0.003 % |
8.08/8.15	c |     38255 |     180    15300   107100 | 2147483647    33110     53 |  0.003 % |
8.18/8.24	c |     38467 |     180    15300   107100 | 2147483647    33322     53 |  0.003 % |
8.28/8.34	c |     38701 |     180    15300   107100 | 2147483647    33556     53 |  0.003 % |
8.38/8.44	c |     38957 |     180    15300   107100 | 2147483647    33812     53 |  0.003 % |
8.48/8.56	c |     39239 |     180    15300   107100 | 2147483647    34094     53 |  0.003 % |
8.68/8.70	c |     39551 |     180    15300   107100 | 2147483647    34406     53 |  0.003 % |
8.78/8.87	c |     39892 |     180    15300   107100 | 2147483647    34747     53 |  0.003 % |
8.98/9.02	c |     40264 |     180    15300   107100 | 2147483647    35119     53 |  0.003 % |
9.18/9.21	c |     40673 |     180    15300   107100 | 2147483647    35528     53 |  0.003 % |
9.28/9.39	c |     41124 |     180    15300   107100 | 2147483647    35979     53 |  0.003 % |
9.48/9.59	c |     41617 |     180    15300   107100 | 2147483647    36472     53 |  0.003 % |
9.78/9.81	c |     42161 |     180    15300   107100 | 2147483647    37016     53 |  0.003 % |
9.99/10.05	c |     42757 |     180    15300   107100 | 2147483647    37612     53 |  0.003 % |
10.08/10.10	c |     42860 |     180    15300   107100 | 2147483647    37715     53 |  0.003 % |
10.08/10.15	c |     42970 |     180    15300   107100 | 2147483647    37825     53 |  0.003 % |
10.18/10.21	c |     43092 |     180    15300   107100 | 2147483647    37947     53 |  0.003 % |
10.18/10.28	c |     43227 |     180    15300   107100 | 2147483647    38082     53 |  0.003 % |
10.28/10.35	c |     43376 |     180    15300   107100 | 2147483647    38231     53 |  0.003 % |
10.38/10.43	c |     43539 |     180    15300   107100 | 2147483647    38394     53 |  0.003 % |
10.48/10.52	c |     43715 |     180    15300   107100 | 2147483647    38570     53 |  0.003 % |
10.58/10.61	c |     43909 |     180    15300   107100 | 2147483647    38764     53 |  0.003 % |
10.68/10.70	c |     44121 |     180    15300   107100 | 2147483647    38976     53 |  0.003 % |
10.78/10.81	c |     44354 |     180    15300   107100 | 2147483647    39209     53 |  0.003 % |
10.88/10.92	c |     44612 |     180    15300   107100 | 2147483647    39467     53 |  0.003 % |
10.98/11.05	c |     44893 |     180    15300   107100 | 2147483647    39748     53 |  0.003 % |
11.18/11.20	c |     45202 |     180    15300   107100 | 2147483647    40057     53 |  0.003 % |
11.28/11.36	c |     45541 |     180    15300   107100 | 2147483647    40396     53 |  0.003 % |
11.48/11.56	c |     45914 |     180    15300   107100 | 2147483647    40769     53 |  0.003 % |
11.68/11.76	c |     46323 |     180    15300   107100 | 2147483647    41178     53 |  0.003 % |
11.88/11.96	c |     46772 |     180    15300   107100 | 2147483647    41627     53 |  0.003 % |
12.08/12.19	c |     47265 |     180    15300   107100 | 2147483647    42120     53 |  0.003 % |
12.38/12.43	c |     47807 |     180    15300   107100 | 2147483647    42662     53 |  0.003 % |
12.68/12.71	c |     48403 |     180    15300   107100 | 2147483647    43258     53 |  0.003 % |
12.97/13.00	c |     49059 |     180    15300   107100 | 2147483647    43914     53 |  0.003 % |
12.97/13.07	c |     49160 |     180    15300   107100 | 2147483647    44015     53 |  0.003 % |
13.07/13.14	c |     49270 |     180    15300   107100 | 2147483647    44125     53 |  0.003 % |
13.18/13.22	c |     49392 |     180    15300   107100 | 2147483647    44247     53 |  0.003 % |
13.18/13.28	c |     49525 |     180    15300   107100 | 2147483647    44380     53 |  0.003 % |
13.29/13.39	c |     49672 |     180    15300   107100 | 2147483647    44527     53 |  0.003 % |
13.38/13.48	c |     49833 |     180    15300   107100 | 2147483647    44688     53 |  0.003 % |
13.48/13.58	c |     50009 |     180    15300   107100 | 2147483647    44864     53 |  0.003 % |
13.68/13.70	c |     50202 |     180    15300   107100 | 2147483647    45057     53 |  0.003 % |
13.78/13.82	c |     50417 |     180    15300   107100 | 2147483647    45272     53 |  0.003 % |
13.88/13.95	c |     50650 |     180    15300   107100 | 2147483647    45505     53 |  0.003 % |
13.98/14.08	c |     50907 |     180    15300   107100 | 2147483647    45762     53 |  0.003 % |
14.18/14.23	c |     51189 |     180    15300   107100 | 2147483647    46044     53 |  0.003 % |
14.28/14.39	c |     51502 |     180    15300   107100 | 2147483647    46357     53 |  0.003 % |
14.58/14.61	c |     51841 |     180    15300   107100 | 2147483647    46696     53 |  0.003 % |
14.78/14.81	c |     52213 |     180    15300   107100 | 2147483647    47068     53 |  0.003 % |
14.98/15.02	c |     52622 |     180    15300   107100 | 2147483647    47477     53 |  0.003 % |
15.18/15.26	c |     53072 |     180    15300   107100 | 2147483647    47927     53 |  0.003 % |
15.48/15.56	c |     53568 |     180    15300   107100 | 2147483647    48423     53 |  0.003 % |
15.78/15.90	c |     54111 |     180    15300   107100 | 2147483647    48966     53 |  0.003 % |
16.18/16.22	c |     54707 |     180    15300   107100 | 2147483647    49562     53 |  0.003 % |
16.58/16.60	c |     55362 |     180    15300   107100 | 2147483647    50217     53 |  0.003 % |
16.88/16.99	c |     56086 |     180    15300   107100 | 2147483647    50941     53 |  0.003 % |
16.98/17.07	c |     56187 |     180    15300   107100 | 2147483647    51042     53 |  0.003 % |
17.08/17.15	c |     56298 |     180    15300   107100 | 2147483647    51153     53 |  0.003 % |
17.18/17.23	c |     56420 |     180    15300   107100 | 2147483647    51275     53 |  0.003 % |
17.28/17.32	c |     56554 |     180    15300   107100 | 2147483647    51409     53 |  0.003 % |
17.38/17.42	c |     56700 |     180    15300   107100 | 2147483647    51555     53 |  0.003 % |
17.48/17.51	c |     56860 |     180    15300   107100 | 2147483647    51715     53 |  0.003 % |
17.58/17.63	c |     57037 |     180    15300   107100 | 2147483647    51892     53 |  0.003 % |
17.68/17.77	c |     57231 |     180    15300   107100 | 2147483647    52086     53 |  0.003 % |
17.87/17.92	c |     57445 |     180    15300   107100 | 2147483647    52300     53 |  0.003 % |
17.97/18.06	c |     57679 |     180    15300   107100 | 2147483647    52534     53 |  0.003 % |
18.17/18.21	c |     57937 |     180    15300   107100 | 2147483647    52792     53 |  0.003 % |
18.27/18.37	c |     58218 |     180    15300   107100 | 2147483647    53073     53 |  0.003 % |
18.47/18.56	c |     58529 |     180    15300   107100 | 2147483647    53384     53 |  0.003 % |
18.78/18.80	c |     58868 |     180    15300   107100 | 2147483647    53723     53 |  0.003 % |
18.97/19.03	c |     59240 |     180    15300   107100 | 2147483647    54095     53 |  0.003 % |
19.27/19.30	c |     59650 |     180    15300   107100 | 2147483647    54505     53 |  0.003 % |
19.47/19.57	c |     60100 |     180    15300   107100 | 2147483647    54955     53 |  0.003 % |
19.78/19.88	c |     60593 |     180    15300   107100 | 2147483647    55448     53 |  0.003 % |
20.18/20.23	c |     61136 |     180    15300   107100 | 2147483647    55991     53 |  0.003 % |
20.58/20.61	c |     61733 |     180    15300   107100 | 2147483647    56588     53 |  0.003 % |
20.98/21.06	c |     62388 |     180    15300   107100 | 2147483647    57243     53 |  0.003 % |
21.48/21.51	c |     63111 |     180    15300   107100 | 2147483647    57966     53 |  0.003 % |
21.88/22.00	c |     63904 |     180    15300   107100 | 2147483647    58759     53 |  0.003 % |
21.98/22.06	c |     64006 |     180    15300   107100 | 2147483647    58861     53 |  0.003 % |
22.08/22.17	c |     64118 |     180    15300   107100 | 2147483647    58973     53 |  0.003 % |
22.18/22.26	c |     64239 |     180    15300   107100 | 2147483647    59094     53 |  0.003 % |
22.28/22.36	c |     64372 |     180    15300   107100 | 2147483647    59227     53 |  0.003 % |
22.38/22.46	c |     64520 |     180    15300   107100 | 2147483647    59375     53 |  0.003 % |
22.58/22.61	c |     64683 |     180    15300   107100 | 2147483647    59538     53 |  0.003 % |
22.68/22.73	c |     64859 |     180    15300   107100 | 2147483647    59714     53 |  0.003 % |
22.78/22.86	c |     65052 |     180    15300   107100 | 2147483647    59907     53 |  0.003 % |
22.98/23.03	c |     65264 |     180    15300   107100 | 2147483647    60119     53 |  0.003 % |
23.18/23.20	c |     65497 |     180    15300   107100 | 2147483647    60352     53 |  0.003 % |
23.28/23.38	c |     65753 |     180    15300   107100 | 2147483647    60608     53 |  0.003 % |
23.58/23.60	c |     66034 |     180    15300   107100 | 2147483647    60889     53 |  0.003 % |
23.78/23.86	c |     66344 |     180    15300   107100 | 2147483647    61199     53 |  0.003 % |
24.08/24.12	c |     66684 |     180    15300   107100 | 2147483647    61539     53 |  0.003 % |
24.28/24.40	c |     67057 |     180    15300   107100 | 2147483647    61912     53 |  0.003 % |
24.67/24.73	c |     67467 |     180    15300   107100 | 2147483647    62322     53 |  0.003 % |
24.97/25.06	c |     67916 |     180    15300   107100 | 2147483647    62771     53 |  0.003 % |
25.38/25.41	c |     68410 |     180    15300   107100 | 2147483647    63265     53 |  0.003 % |
25.67/25.78	c |     68952 |     180    15300   107100 | 2147483647    63807     53 |  0.003 % |
26.07/26.15	c |     69548 |     180    15300   107100 | 2147483647    64403     53 |  0.003 % |
26.67/26.70	c |     70206 |     180    15300   107100 | 2147483647    65061     53 |  0.003 % |
27.17/27.23	c |     70927 |     180    15300   107100 | 2147483647    65782     53 |  0.003 % |
27.77/27.82	c |     71719 |     180    15300   107100 | 2147483647    66574     53 |  0.003 % |
28.37/28.42	c |     72591 |     180    15300   107100 | 2147483647    67446     53 |  0.003 % |
28.47/28.52	c |     72692 |     180    15300   107100 | 2147483647    67547     53 |  0.003 % |
28.57/28.62	c |     72802 |     180    15300   107100 | 2147483647    67657     53 |  0.003 % |
28.67/28.72	c |     72924 |     180    15300   107100 | 2147483647    67779     53 |  0.003 % |
28.77/28.83	c |     73057 |     180    15300   107100 | 2147483647    67912     53 |  0.003 % |
28.87/28.99	c |     73206 |     180    15300   107100 | 2147483647    68061     53 |  0.003 % |
29.07/29.14	c |     73366 |     180    15300   107100 | 2147483647    68221     53 |  0.003 % |
29.17/29.28	c |     73543 |     180    15300   107100 | 2147483647    68398     53 |  0.003 % |
29.37/29.47	c |     73737 |     180    15300   107100 | 2147483647    68592     53 |  0.003 % |
29.57/29.66	c |     73950 |     180    15300   107100 | 2147483647    68805     53 |  0.003 % |
29.78/29.86	c |     74183 |     180    15300   107100 | 2147483647    69038     53 |  0.003 % |
29.97/30.07	c |     74441 |     180    15300   107100 | 2147483647    69296     53 |  0.003 % |
30.27/30.31	c |     74725 |     180    15300   107100 | 2147483647    69580     53 |  0.003 % |
30.47/30.57	c |     75034 |     180    15300   107100 | 2147483647    69889     53 |  0.003 % |
30.78/30.89	c |     75376 |     180    15300   107100 | 2147483647    70231     53 |  0.003 % |
31.17/31.24	c |     75750 |     180    15300   107100 | 2147483647    70605     53 |  0.003 % |
31.47/31.59	c |     76160 |     180    15300   107100 | 2147483647    71015     53 |  0.003 % |
31.88/31.94	c |     76609 |     180    15300   107100 | 2147483647    71464     53 |  0.003 % |
32.27/32.30	c |     77102 |     180    15300   107100 | 2147483647    71957     53 |  0.003 % |
32.57/32.68	c |     77644 |     180    15300   107100 | 2147483647    72499     53 |  0.003 % |
33.07/33.12	c |     78240 |     180    15300   107100 | 2147483647    73095     53 |  0.003 % |
33.57/33.64	c |     78895 |     180    15300   107100 | 2147483647    73750     53 |  0.003 % |
34.07/34.16	c |     79615 |     180    15300   107100 | 2147483647    74470     53 |  0.003 % |
34.77/34.84	c |     80408 |     180    15300   107100 |    74855    65486     53 |  0.003 % |
35.37/35.44	c |     81279 |     180    15300   107100 |    74855    66357     53 |  0.003 % |
36.07/36.11	c |     82237 |     180    15300   107100 |    74855    67315     53 |  0.003 % |
36.07/36.18	c |     82337 |     180    15300   107100 |    74855    67415     53 |  0.003 % |
36.17/36.26	c |     82447 |     180    15300   107100 |    74855    67525     53 |  0.003 % |
36.27/36.36	c |     82569 |     180    15300   107100 |    74855    67647     53 |  0.003 % |
36.37/36.50	c |     82702 |     180    15300   107100 |    74855    67780     53 |  0.003 % |
36.56/36.64	c |     82849 |     180    15300   107100 |    74855    67927     53 |  0.003 % |
36.66/36.78	c |     83012 |     180    15300   107100 |    74855    68090     53 |  0.003 % |
36.86/36.95	c |     83189 |     180    15300   107100 |    74855    68267     53 |  0.003 % |
37.06/37.12	c |     83382 |     180    15300   107100 |    74855    68460     53 |  0.003 % |
37.26/37.30	c |     83595 |     180    15300   107100 |    74855    68673     53 |  0.003 % |
37.47/37.51	c |     83829 |     180    15300   107100 |    74855    68907     53 |  0.003 % |
37.66/37.72	c |     84085 |     180    15300   107100 |    74855    69163     53 |  0.003 % |
37.86/37.98	c |     84366 |     180    15300   107100 |    74855    69444     53 |  0.003 % |
38.16/38.27	c |     84675 |     180    15300   107100 |    74855    69753     53 |  0.003 % |
38.46/38.54	c |     85015 |     180    15300   107100 |    74855    70093     53 |  0.003 % |
38.86/38.90	c |     85387 |     180    15300   107100 |    74855    70465     53 |  0.003 % |
39.16/39.25	c |     85796 |     180    15300   107100 |    74855    70874     53 |  0.003 % |
39.56/39.63	c |     86246 |     180    15300   107100 |    74855    71324     53 |  0.003 % |
39.96/40.04	c |     86739 |     180    15300   107100 |    74855    71817     53 |  0.003 % |
40.36/40.45	c |     87282 |     180    15300   107100 |    74855    72360     53 |  0.003 % |
40.86/40.91	c |     87878 |     180    15300   107100 |    74855    72956     53 |  0.003 % |
41.36/41.42	c |     88533 |     180    15300   107100 |    74855    73611     53 |  0.003 % |
41.95/42.08	c |     89253 |     180    15300   107100 |    74855    74331     53 |  0.003 % |
42.76/42.82	c |     90046 |     180    15300   107100 |    63913    63959     53 |  0.003 % |
43.36/43.47	c |     90917 |     180    15300   107100 |    63913    55346     53 |  0.003 % |
43.97/44.07	c |     91878 |     180    15300   107100 |    63913    56307     53 |  0.003 % |
44.66/44.71	c |     92931 |     180    15300   107100 |    63913    57360     53 |  0.003 % |
44.66/44.78	c |     93031 |     180    15300   107100 |    63913    57460     53 |  0.003 % |
44.76/44.88	c |     93141 |     180    15300   107100 |    63913    57570     53 |  0.003 % |
44.86/44.98	c |     93262 |     180    15300   107100 |    63913    57691     53 |  0.003 % |
44.96/45.08	c |     93398 |     180    15300   107100 |    63913    57827     53 |  0.003 % |
45.07/45.19	c |     93545 |     180    15300   107100 |    63913    57974     53 |  0.003 % |
45.26/45.32	c |     93706 |     180    15300   107100 |    63913    58135     53 |  0.003 % |
45.36/45.45	c |     93885 |     180    15300   107100 |    63913    58314     53 |  0.003 % |
45.46/45.59	c |     94078 |     180    15300   107100 |    63913    58507     53 |  0.003 % |
45.66/45.77	c |     94290 |     180    15300   107100 |    63913    58719     53 |  0.003 % |
45.86/45.97	c |     94523 |     180    15300   107100 |    63913    58952     53 |  0.003 % |
46.06/46.18	c |     94779 |     180    15300   107100 |    63913    59208     53 |  0.003 % |
46.26/46.39	c |     95061 |     180    15300   107100 |    63913    59490     53 |  0.003 % |
46.56/46.64	c |     95370 |     180    15300   107100 |    63913    59799     53 |  0.003 % |
46.76/46.88	c |     95710 |     180    15300   107100 |    63913    60139     53 |  0.003 % |
47.06/47.13	c |     96082 |     180    15300   107100 |    63913    60511     53 |  0.003 % |
47.36/47.46	c |     96491 |     180    15300   107100 |    63913    60920     53 |  0.003 % |
47.66/47.79	c |     96941 |     180    15300   107100 |    63913    61370     53 |  0.003 % |
48.06/48.17	c |     97435 |     180    15300   107100 |    63913    61864     53 |  0.003 % |
48.46/48.52	c |     97977 |     180    15300   107100 |    63913    62406     53 |  0.003 % |
48.86/48.93	c |     98573 |     180    15300   107100 |    63913    63002     53 |  0.003 % |
49.36/49.49	c |     99229 |     180    15300   107100 |    63913    63658     53 |  0.003 % |
49.96/50.06	c |     99950 |     180    15300   107100 |    63913    57128     53 |  0.003 % |
50.46/50.54	c |    100743 |     180    15300   107100 |    57178    51541     53 |  0.003 % |
50.96/51.00	c |    101616 |     180    15300   107100 |    57178    52414     53 |  0.003 % |
51.46/51.53	c |    102574 |     180    15300   107100 |    57178    53372     53 |  0.003 % |
52.06/52.18	c |    103627 |     180    15300   107100 |    57178    54425     53 |  0.003 % |
52.86/52.90	c |    104785 |     180    15300   107100 |    57178    55583     53 |  0.003 % |
52.86/52.98	c |    104886 |     180    15300   107100 |    57178    55684     53 |  0.003 % |
52.96/53.05	c |    104996 |     180    15300   107100 |    57178    55794     53 |  0.003 % |
53.06/53.14	c |    105118 |     180    15300   107100 |    57178    55916     53 |  0.003 % |
53.16/53.22	c |    105251 |     180    15300   107100 |    57178    56049     53 |  0.003 % |
53.26/53.30	c |    105397 |     180    15300   107100 |    57178    56195     53 |  0.003 % |
53.36/53.42	c |    105559 |     180    15300   107100 |    57178    56357     53 |  0.003 % |
53.46/53.58	c |    105736 |     180    15300   107100 |    57178    56534     53 |  0.003 % |
53.66/53.73	c |    105929 |     180    15300   107100 |    57178    56727     53 |  0.003 % |
53.76/53.88	c |    106141 |     180    15300   107100 |    57178    56939     53 |  0.003 % |
53.96/54.04	c |    106374 |     180    15300   107100 |    57178    57172     53 |  0.003 % |
54.16/54.24	c |    106631 |     180    15300   107100 |    57178    51703     53 |  0.003 % |
54.36/54.41	c |    106912 |     180    15300   107100 |    57178    51984     53 |  0.003 % |
54.46/54.59	c |    107221 |     180    15300   107100 |    57178    52293     53 |  0.003 % |
54.76/54.80	c |    107562 |     180    15300   107100 |    57178    52634     53 |  0.003 % |
54.96/55.07	c |    107934 |     180    15300   107100 |    57178    53006     53 |  0.003 % |
55.26/55.37	c |    108345 |     180    15300   107100 |    57178    53417     53 |  0.003 % |
55.56/55.66	c |    108794 |     180    15300   107100 |    57178    53866     53 |  0.003 % |
55.86/55.97	c |    109288 |     180    15300   107100 |    57178    54360     53 |  0.003 % |
56.26/56.33	c |    109830 |     180    15300   107100 |    57178    54902     53 |  0.003 % |
56.66/56.70	c |    110426 |     180    15300   107100 | 2147483647    55498     53 |  0.003 % |
57.06/57.12	c |    111081 |     180    15300   107100 | 2147483647    56153     53 |  0.003 % |
57.66/57.71	c |    111801 |     180    15300   107100 | 2147483647    56873     53 |  0.003 % |
58.06/58.18	c |    112593 |     180    15300   107100 | 2147483647    57665     53 |  0.003 % |
58.76/58.80	c |    113464 |     180    15300   107100 | 2147483647    58536     53 |  0.003 % |
59.36/59.42	c |    114422 |     180    15300   107100 | 2147483647    59494     53 |  0.003 % |
59.95/60.07	c |    115476 |     180    15300   107100 | 2147483647    60548     53 |  0.003 % |
60.65/60.77	c |    116634 |     180    15300   107100 | 2147483647    61706     53 |  0.003 % |
61.45/61.57	c |    117911 |     180    15300   107100 | 2147483647    62983     53 |  0.003 % |
61.56/61.64	c |    118012 |     180    15300   107100 | 2147483647    63084     53 |  0.003 % |
61.66/61.76	c |    118122 |     180    15300   107100 | 2147483647    63194     53 |  0.003 % |
61.75/61.87	c |    118244 |     180    15300   107100 | 2147483647    63316     53 |  0.003 % |
61.85/61.99	c |    118377 |     180    15300   107100 | 2147483647    63449     53 |  0.003 % |
62.05/62.11	c |    118524 |     180    15300   107100 | 2147483647    63596     53 |  0.003 % |
62.15/62.29	c |    118687 |     180    15300   107100 | 2147483647    63759     53 |  0.003 % |
62.35/62.45	c |    118865 |     180    15300   107100 | 2147483647    63937     53 |  0.003 % |
62.55/62.60	c |    119058 |     180    15300   107100 | 2147483647    64130     53 |  0.003 % |
62.66/62.79	c |    119270 |     180    15300   107100 | 2147483647    64342     53 |  0.003 % |
62.95/63.00	c |    119504 |     180    15300   107100 | 2147483647    64576     53 |  0.003 % |
63.15/63.24	c |    119762 |     180    15300   107100 | 2147483647    64834     53 |  0.003 % |
63.35/63.48	c |    120044 |     180    15300   107100 | 2147483647    65116     53 |  0.003 % |
63.65/63.75	c |    120354 |     180    15300   107100 | 2147483647    65426     53 |  0.003 % |
63.95/64.03	c |    120693 |     180    15300   107100 | 2147483647    65765     53 |  0.003 % |
64.25/64.34	c |    121067 |     180    15300   107100 | 2147483647    66139     53 |  0.003 % |
64.65/64.72	c |    121478 |     180    15300   107100 | 2147483647    66550     53 |  0.003 % |
64.95/65.04	c |    121927 |     180    15300   107100 | 2147483647    66999     53 |  0.003 % |
65.35/65.43	c |    122421 |     180    15300   107100 | 2147483647    67493     53 |  0.003 % |
65.75/65.84	c |    122963 |     180    15300   107100 | 2147483647    68035     53 |  0.003 % |
66.15/66.27	c |    123559 |     180    15300   107100 | 2147483647    68631     53 |  0.003 % |
66.75/66.87	c |    124214 |     180    15300   107100 | 2147483647    69286     53 |  0.003 % |
67.45/67.52	c |    124934 |     180    15300   107100 | 2147483647    70006     53 |  0.003 % |
68.05/68.16	c |    125726 |     180    15300   107100 | 2147483647    70798     53 |  0.003 % |
68.75/68.85	c |    126598 |     180    15300   107100 | 2147483647    71670     53 |  0.003 % |
69.65/69.72	c |    127556 |     180    15300   107100 | 2147483647    72628     53 |  0.003 % |
70.55/70.65	c |    128610 |     180    15300   107100 | 2147483647    73682     53 |  0.003 % |
71.45/71.56	c |    129768 |     180    15300   107100 | 2147483647    74840     53 |  0.003 % |
72.45/72.58	c |    131042 |     180    15300   107100 |    75072    65579     53 |  0.003 % |
73.55/73.62	c |    132443 |     180    15300   107100 |    75072    66980     53 |  0.003 % |
73.65/73.71	c |    132544 |     180    15300   107100 |    75072    67081     53 |  0.003 % |
73.75/73.84	c |    132655 |     180    15300   107100 |    75072    67192     53 |  0.003 % |
73.85/73.95	c |    132779 |     180    15300   107100 |    75072    67316     53 |  0.003 % |
73.95/74.05	c |    132914 |     180    15300   107100 |    75072    67451     53 |  0.003 % |
74.05/74.18	c |    133060 |     180    15300   107100 |    75072    67597     53 |  0.003 % |
74.25/74.35	c |    133220 |     180    15300   107100 |    75072    67757     53 |  0.003 % |
74.45/74.52	c |    133396 |     180    15300   107100 |    75072    67933     53 |  0.003 % |
74.55/74.67	c |    133590 |     180    15300   107100 |    75072    68127     53 |  0.003 % |
74.75/74.87	c |    133803 |     180    15300   107100 |    75072    68340     53 |  0.003 % |
74.95/75.08	c |    134036 |     180    15300   107100 |    75072    68573     53 |  0.003 % |
75.15/75.29	c |    134293 |     180    15300   107100 |    75072    68830     53 |  0.003 % |
75.45/75.54	c |    134577 |     180    15300   107100 |    75072    69114     53 |  0.003 % |
75.75/75.83	c |    134886 |     180    15300   107100 |    75072    69423     53 |  0.003 % |
75.95/76.09	c |    135226 |     180    15300   107100 |    75072    69763     53 |  0.003 % |
76.35/76.43	c |    135599 |     180    15300   107100 |    75072    70136     53 |  0.003 % |
76.75/76.82	c |    136008 |     180    15300   107100 |    75072    70545     53 |  0.003 % |
77.15/77.20	c |    136458 |     180    15300   107100 |    75072    70995     53 |  0.003 % |
77.45/77.58	c |    136951 |     180    15300   107100 |    75072    71488     53 |  0.003 % |
77.95/78.02	c |    137493 |     180    15300   107100 |    75072    72030     53 |  0.003 % |
78.35/78.48	c |    138089 |     180    15300   107100 |    75072    72626     53 |  0.003 % |
79.05/79.13	c |    138745 |     180    15300   107100 |    75072    73282     53 |  0.003 % |
79.64/79.73	c |    139465 |     180    15300   107100 |    75072    74002     53 |  0.003 % |
80.35/80.46	c |    140257 |     180    15300   107100 |    74537    63398     53 |  0.003 % |
80.94/81.08	c |    141129 |     180    15300   107100 |    74537    64270     53 |  0.003 % |
81.64/81.74	c |    142087 |     180    15300   107100 |    74537    65228     53 |  0.003 % |
82.34/82.50	c |    143140 |     180    15300   107100 |    74537    66281     53 |  0.003 % |
83.24/83.37	c |    144299 |     180    15300   107100 |    74537    67440     53 |  0.003 % |
84.24/84.35	c |    145572 |     180    15300   107100 |    74537    68713     53 |  0.003 % |
85.44/85.56	c |    146972 |     180    15300   107100 |    74537    70113     53 |  0.003 % |
86.64/86.78	c |    148512 |     180    15300   107100 |    74537    71653     53 |  0.003 % |
86.74/86.88	c |    148612 |     180    15300   107100 |    74537    71753     53 |  0.003 % |
86.84/86.99	c |    148724 |     180    15300   107100 |    74537    71865     53 |  0.003 % |
87.04/87.10	c |    148845 |     180    15300   107100 |    74537    71986     53 |  0.003 % |
87.14/87.21	c |    148979 |     180    15300   107100 |    74537    72120     53 |  0.003 % |
87.24/87.35	c |    149126 |     180    15300   107100 |    74537    72267     53 |  0.003 % |
87.34/87.49	c |    149286 |     180    15300   107100 |    74537    72427     53 |  0.003 % |
87.54/87.62	c |    149464 |     180    15300   107100 |    74537    72605     53 |  0.003 % |
87.64/87.79	c |    149657 |     180    15300   107100 |    74537    72798     53 |  0.003 % |
87.84/87.96	c |    149869 |     180    15300   107100 |    74537    73010     53 |  0.003 % |
88.14/88.23	c |    150102 |     180    15300   107100 |    73141    62455     53 |  0.003 % |
88.34/88.41	c |    150358 |     180    15300   107100 |    73141    62711     53 |  0.003 % |
88.54/88.62	c |    150639 |     180    15300   107100 |    73141    62992     53 |  0.003 % |
88.74/88.83	c |    150950 |     180    15300   107100 |    73141    63303     53 |  0.003 % |
88.94/89.08	c |    151291 |     180    15300   107100 |    73141    63644     53 |  0.003 % |
89.24/89.37	c |    151665 |     180    15300   107100 |    73141    64018     53 |  0.003 % |
89.54/89.66	c |    152074 |     180    15300   107100 |    73141    64427     53 |  0.003 % |
89.94/90.08	c |    152523 |     180    15300   107100 |    73141    64876     53 |  0.003 % |
90.44/90.54	c |    153018 |     180    15300   107100 |    73141    65371     53 |  0.003 % |
90.84/90.97	c |    153561 |     180    15300   107100 |    73141    65914     53 |  0.003 % |
91.34/91.45	c |    154157 |     180    15300   107100 |    73141    66510     53 |  0.003 % |
91.84/91.98	c |    154812 |     180    15300   107100 |    73141    67165     53 |  0.003 % |
92.44/92.53	c |    155532 |     180    15300   107100 |    73141    67885     53 |  0.003 % |
93.12/93.29	c |    156324 |     180    15300   107100 |    73141    68677     53 |  0.003 % |
93.81/93.99	c |    157196 |     180    15300   107100 |    73141    69549     53 |  0.003 % |
94.71/94.82	c |    158155 |     180    15300   107100 |    73141    70508     53 |  0.003 % |
95.51/95.64	c |    159210 |     180    15300   107100 |    73141    71563     53 |  0.003 % |
96.40/96.58	c |    160371 |     180    15300   107100 |    72355    62041     53 |  0.003 % |
97.30/97.45	c |    161644 |     180    15300   107100 |    72355    63314     53 |  0.003 % |
98.29/98.40	c |    163045 |     180    15300   107100 |    72355    64715     53 |  0.003 % |
99.50/99.65	c |    164586 |     180    15300   107100 |    72355    66256     53 |  0.003 % |
101.00/101.12	c |    166280 |     180    15300   107100 |    72355    67950     53 |  0.003 % |
101.10/101.21	c |    166380 |     180    15300   107100 |    72355    68050     53 |  0.003 % |
101.20/101.30	c |    166491 |     180    15300   107100 |    72355    68161     53 |  0.003 % |
101.29/101.42	c |    166612 |     180    15300   107100 |    72355    68282     53 |  0.003 % |
101.40/101.52	c |    166746 |     180    15300   107100 |    72355    68416     53 |  0.003 % |
101.49/101.65	c |    166892 |     180    15300   107100 |    72355    68562     53 |  0.003 % |
101.59/101.77	c |    167052 |     180    15300   107100 |    72355    68722     53 |  0.003 % |
101.79/101.96	c |    167231 |     180    15300   107100 |    72355    68901     53 |  0.003 % |
101.99/102.12	c |    167425 |     180    15300   107100 |    72355    69095     53 |  0.003 % |
102.19/102.33	c |    167639 |     180    15300   107100 |    72355    69309     53 |  0.003 % |
102.38/102.53	c |    167872 |     180    15300   107100 |    72355    69542     53 |  0.003 % |
102.58/102.74	c |    168128 |     180    15300   107100 |    72355    69798     53 |  0.003 % |
102.78/102.96	c |    168410 |     180    15300   107100 |    72355    70080     53 |  0.003 % |
102.98/103.18	c |    168719 |     180    15300   107100 |    72355    70389     53 |  0.003 % |
103.29/103.43	c |    169059 |     180    15300   107100 |    72355    70729     53 |  0.003 % |
103.68/103.81	c |    169432 |     180    15300   107100 |    72355    71102     53 |  0.003 % |
103.98/104.17	c |    169841 |     180    15300   107100 |    72355    71511     53 |  0.003 % |
104.49/104.61	c |    170291 |     180    15300   107100 |    71671    61644     53 |  0.003 % |
104.78/104.97	c |    170785 |     180    15300   107100 |    71671    62138     53 |  0.003 % |
105.18/105.36	c |    171328 |     180    15300   107100 |    71671    62681     53 |  0.003 % |
105.58/105.78	c |    171925 |     180    15300   107100 |    71671    63278     53 |  0.003 % |
106.08/106.23	c |    172580 |     180    15300   107100 |    71671    63933     53 |  0.003 % |
106.68/106.89	c |    173302 |     180    15300   107100 |    71671    64655     53 |  0.003 % |
107.38/107.50	c |    174094 |     180    15300   107100 |    71671    65447     53 |  0.003 % |
108.08/108.20	c |    174965 |     180    15300   107100 |    71671    66318     53 |  0.003 % |
108.78/108.91	c |    175923 |     180    15300   107100 |    71671    67276     53 |  0.003 % |
109.48/109.68	c |    176977 |     180    15300   107100 |    71671    68330     53 |  0.003 % |
110.38/110.52	c |    178135 |     180    15300   107100 |    71671    69488     53 |  0.003 % |
111.28/111.50	c |    179408 |     180    15300   107100 |    71671    70761     53 |  0.003 % |
112.38/112.54	c |    180810 |     180    15300   107100 |    71356    62310     53 |  0.003 % |
113.28/113.46	c |    182350 |     180    15300   107100 |    71356    63850     53 |  0.003 % |
114.28/114.46	c |    184045 |     180    15300   107100 |    71356    65545     53 |  0.003 % |
115.88/116.07	c |    185908 |     180    15300   107100 |    71356    67408     53 |  0.003 % |
115.98/116.15	c |    186010 |     180    15300   107100 |    71356    67510     53 |  0.003 % |
116.08/116.26	c |    186121 |     180    15300   107100 |    71356    67621     53 |  0.003 % |
116.18/116.35	c |    186243 |     180    15300   107100 |    71356    67743     53 |  0.003 % |
116.28/116.48	c |    186376 |     180    15300   107100 |    71356    67876     53 |  0.003 % |
116.48/116.61	c |    186523 |     180    15300   107100 |    71356    68023     53 |  0.003 % |
116.58/116.78	c |    186686 |     180    15300   107100 |    71356    68186     53 |  0.003 % |
116.78/116.92	c |    186863 |     180    15300   107100 |    71356    68363     53 |  0.003 % |
116.88/117.08	c |    187059 |     180    15300   107100 |    71356    68559     53 |  0.003 % |
117.18/117.31	c |    187271 |     180    15300   107100 |    71356    68771     53 |  0.003 % |
117.38/117.51	c |    187505 |     180    15300   107100 |    71356    69005     53 |  0.003 % |
117.58/117.76	c |    187764 |     180    15300   107100 |    71356    69264     53 |  0.003 % |
117.88/118.03	c |    188046 |     180    15300   107100 |    71356    69546     53 |  0.003 % |
118.18/118.33	c |    188356 |     180    15300   107100 |    71356    69856     53 |  0.003 % |
118.38/118.59	c |    188695 |     180    15300   107100 |    71356    70195     53 |  0.003 % |
118.78/118.92	c |    189067 |     180    15300   107100 |    71356    70567     53 |  0.003 % |
119.17/119.31	c |    189481 |     180    15300   107100 |    71356    70981     53 |  0.003 % |
119.47/119.69	c |    189930 |     180    15300   107100 |    71356    71430     53 |  0.003 % |
119.97/120.13	c |    190424 |     180    15300   107100 |    61651    53545     53 |  0.003 % |
120.27/120.49	c |    190966 |     180    15300   107100 |    61651    54087     53 |  0.003 % |
120.67/120.82	c |    191563 |     180    15300   107100 |    61651    54684     53 |  0.003 % |
121.07/121.30	c |    192218 |     180    15300   107100 |    61651    55339     53 |  0.003 % |
121.57/121.72	c |    192941 |     180    15300   107100 |    61651    56062     53 |  0.003 % |
122.08/122.26	c |    193734 |     180    15300   107100 |    61651    56855     53 |  0.003 % |
122.67/122.84	c |    194608 |     180    15300   107100 |    61651    57729     53 |  0.003 % |
123.27/123.47	c |    195567 |     180    15300   107100 |    61651    58688     53 |  0.003 % |
124.18/124.31	c |    196621 |     180    15300   107100 |    61651    59742     53 |  0.003 % |
124.97/125.10	c |    197779 |     180    15300   107100 |    61651    60900     53 |  0.003 % |
125.87/126.00	c |    199053 |     180    15300   107100 |    61651    55885     53 |  0.003 % |
126.87/127.02	c |    200453 |     180    15300   107100 | 2147483647    57285     53 |  0.003 % |
127.97/128.12	c |    201993 |     180    15300   107100 | 2147483647    58825     54 |  0.003 % |
129.07/129.24	c |    203687 |     180    15300   107100 | 2147483647    60519     53 |  0.003 % |
130.27/130.44	c |    205550 |     180    15300   107100 | 2147483647    62382     53 |  0.003 % |
131.97/132.11	c |    207600 |     180    15300   107100 | 2147483647    64432     53 |  0.003 % |
131.97/132.18	c |    207701 |     180    15300   107100 | 2147483647    64533     53 |  0.003 % |
132.07/132.28	c |    207811 |     180    15300   107100 | 2147483647    64643     53 |  0.003 % |
132.17/132.38	c |    207933 |     180    15300   107100 | 2147483647    64765     53 |  0.003 % |
132.27/132.49	c |    208066 |     180    15300   107100 | 2147483647    64898     53 |  0.003 % |
132.47/132.65	c |    208212 |     180    15300   107100 | 2147483647    65044     53 |  0.003 % |
132.57/132.78	c |    208376 |     180    15300   107100 | 2147483647    65208     53 |  0.003 % |
132.77/132.91	c |    208552 |     180    15300   107100 | 2147483647    65384     53 |  0.003 % |
132.87/133.08	c |    208746 |     180    15300   107100 | 2147483647    65578     53 |  0.003 % |
133.07/133.28	c |    208958 |     180    15300   107100 | 2147483647    65790     53 |  0.003 % |
133.27/133.47	c |    209193 |     180    15300   107100 | 2147483647    66025     53 |  0.003 % |
133.46/133.67	c |    209451 |     180    15300   107100 | 2147483647    66283     53 |  0.003 % |
133.76/133.90	c |    209732 |     180    15300   107100 | 2147483647    66564     53 |  0.003 % |
133.96/134.13	c |    210042 |     180    15300   107100 |    66832    66874     53 |  0.003 % |
134.26/134.47	c |    210381 |     180    15300   107100 |    66832    59941     53 |  0.003 % |
134.56/134.74	c |    210753 |     180    15300   107100 |    66832    60313     53 |  0.003 % |
134.86/135.05	c |    211164 |     180    15300   107100 |    66832    60724     53 |  0.003 % |
135.17/135.35	c |    211616 |     180    15300   107100 |    66832    61176     53 |  0.003 % |
135.46/135.66	c |    212111 |     180    15300   107100 |    66832    61671     53 |  0.003 % |
135.86/136.00	c |    212655 |     180    15300   107100 |    66832    62215     53 |  0.003 % |
136.27/136.41	c |    213251 |     180    15300   107100 |    66832    62811     53 |  0.003 % |
136.66/136.85	c |    213907 |     180    15300   107100 |    66832    63467     53 |  0.003 % |
137.07/137.29	c |    214627 |     180    15300   107100 |    66832    64187     53 |  0.003 % |
137.67/137.83	c |    215420 |     180    15300   107100 |    66832    64980     53 |  0.003 % |
138.27/138.42	c |    216291 |     180    15300   107100 |    66832    65851     53 |  0.003 % |
138.87/139.08	c |    217250 |     180    15300   107100 |    66832    66810     53 |  0.003 % |
139.67/139.82	c |    218305 |     180    15300   107100 |    66832    60651     53 |  0.003 % |
140.37/140.57	c |    219465 |     180    15300   107100 |    66832    61811     53 |  0.003 % |
141.37/141.50	c |    220740 |     180    15300   107100 |    62346    56557     53 |  0.003 % |
142.17/142.35	c |    222141 |     180    15300   107100 |    62346    57958     53 |  0.003 % |
143.07/143.21	c |    223682 |     180    15300   107100 |    62346    59499     53 |  0.003 % |
144.07/144.29	c |    225376 |     180    15300   107100 |    62346    61193     53 |  0.003 % |
145.37/145.54	c |    227239 |     180    15300   107100 |    62346    56813     53 |  0.003 % |
146.57/146.76	c |    229288 |     180    15300   107100 |    62346    58862     54 |  0.003 % |
147.96/148.11	c |    231542 |     180    15300   107100 | 2147483647    61116     54 |  0.003 % |
148.06/148.21	c |    231643 |     180    15300   107100 | 2147483647    61217     54 |  0.003 % |
148.16/148.31	c |    231754 |     180    15300   107100 | 2147483647    61328     54 |  0.003 % |
148.26/148.40	c |    231876 |     180    15300   107100 | 2147483647    61450     54 |  0.003 % |
148.26/148.50	c |    232009 |     180    15300   107100 | 2147483647    61583     54 |  0.003 % |
148.47/148.64	c |    232157 |     180    15300   107100 | 2147483647    61731     54 |  0.003 % |
148.56/148.77	c |    232318 |     180    15300   107100 | 2147483647    61892     54 |  0.003 % |
148.76/148.91	c |    232495 |     180    15300   107100 | 2147483647    62069     54 |  0.003 % |
148.86/149.05	c |    232688 |     180    15300   107100 | 2147483647    62262     54 |  0.003 % |
148.96/149.19	c |    232902 |     180    15300   107100 | 2147483647    62476     54 |  0.003 % |
149.16/149.36	c |    233136 |     180    15300   107100 | 2147483647    62710     54 |  0.003 % |
149.36/149.56	c |    233392 |     180    15300   107100 | 2147483647    62966     54 |  0.003 % |
149.57/149.76	c |    233673 |     180    15300   107100 | 2147483647    63247     54 |  0.003 % |
149.86/150.02	c |    233982 |     180    15300   107100 | 2147483647    63556     54 |  0.003 % |
150.06/150.26	c |    234323 |     180    15300   107100 | 2147483647    63897     53 |  0.003 % |
150.36/150.55	c |    234696 |     180    15300   107100 | 2147483647    64270     53 |  0.003 % |
150.67/150.84	c |    235105 |     180    15300   107100 | 2147483647    64679     53 |  0.003 % |
150.96/151.15	c |    235556 |     180    15300   107100 | 2147483647    65130     53 |  0.003 % |
151.36/151.59	c |    236050 |     180    15300   107100 | 2147483647    65624     53 |  0.003 % |
151.86/152.07	c |    236592 |     180    15300   107100 | 2147483647    66166     53 |  0.003 % |
152.46/152.61	c |    237189 |     180    15300   107100 | 2147483647    66763     53 |  0.003 % |
152.87/153.09	c |    237844 |     180    15300   107100 | 2147483647    67418     53 |  0.003 % |
153.46/153.61	c |    238565 |     180    15300   107100 | 2147483647    68139     53 |  0.003 % |
154.16/154.30	c |    239358 |     180    15300   107100 | 2147483647    68932     53 |  0.003 % |
154.86/155.04	c |    240229 |     180    15300   107100 |    69574    61836     53 |  0.003 % |
155.56/155.71	c |    241187 |     180    15300   107100 |    69574    62794     53 |  0.003 % |
156.26/156.47	c |    242240 |     180    15300   107100 |    69574    63847     53 |  0.003 % |
157.06/157.25	c |    243399 |     180    15300   107100 |    69574    65006     53 |  0.003 % |
157.96/158.14	c |    244674 |     180    15300   107100 |    69574    66281     53 |  0.003 % |
158.96/159.12	c |    246074 |     180    15300   107100 |    69574    67681     53 |  0.003 % |
160.06/160.27	c |    247615 |     180    15300   107100 |    69574    69222     53 |  0.003 % |
161.36/161.51	c |    249310 |     180    15300   107100 |    69574    63110     53 |  0.003 % |
162.66/162.81	c |    251173 |     180    15300   107100 |    63800    57861     54 |  0.003 % |
163.96/164.11	c |    253222 |     180    15300   107100 |    63800    59910     54 |  0.003 % |
165.26/165.43	c |    255475 |     180    15300   107100 |    63800    62163     54 |  0.003 % |
166.96/167.10	c |    257953 |     180    15300   107100 |    63800    58254     54 |  0.003 % |
166.96/167.17	c |    258054 |     180    15300   107100 |    63800    58355     54 |  0.003 % |
167.06/167.27	c |    258166 |     180    15300   107100 |    63800    58467     54 |  0.003 % |
167.16/167.37	c |    258290 |     180    15300   107100 |    63800    58591     54 |  0.003 % |
167.26/167.47	c |    258425 |     180    15300   107100 |    63800    58726     54 |  0.003 % |
167.36/167.58	c |    258572 |     180    15300   107100 |    63800    58873     54 |  0.003 % |
167.55/167.72	c |    258735 |     180    15300   107100 |    63800    59036     54 |  0.003 % |
167.65/167.85	c |    258911 |     180    15300   107100 |    63800    59212     54 |  0.003 % |
167.75/167.98	c |    259104 |     180    15300   107100 |    63800    59405     54 |  0.003 % |
167.95/168.14	c |    259316 |     180    15300   107100 |    63800    59617     54 |  0.003 % |
168.16/168.31	c |    259549 |     180    15300   107100 |    63800    59850     54 |  0.003 % |
168.35/168.54	c |    259807 |     180    15300   107100 |    63800    60108     54 |  0.003 % |
168.55/168.72	c |    260088 |     180    15300   107100 | 2147483647    60389     54 |  0.003 % |
168.75/168.97	c |    260397 |     180    15300   107100 | 2147483647    60698     54 |  0.003 % |
169.05/169.21	c |    260736 |     180    15300   107100 | 2147483647    61037     54 |  0.003 % |
169.26/169.46	c |    261108 |     180    15300   107100 | 2147483647    61409     54 |  0.003 % |
169.55/169.72	c |    261518 |     180    15300   107100 | 2147483647    61819     54 |  0.003 % |
169.85/170.07	c |    261967 |     180    15300   107100 | 2147483647    62268     54 |  0.003 % |
170.25/170.45	c |    262464 |     180    15300   107100 | 2147483647    62765     54 |  0.003 % |
170.65/170.83	c |    263007 |     180    15300   107100 | 2147483647    63308     54 |  0.003 % |
171.05/171.27	c |    263604 |     180    15300   107100 | 2147483647    63905     54 |  0.003 % |
171.55/171.73	c |    264261 |     180    15300   107100 | 2147483647    64562     54 |  0.003 % |
172.05/172.23	c |    264982 |     180    15300   107100 | 2147483647    65283     54 |  0.003 % |
172.65/172.80	c |    265775 |     180    15300   107100 | 2147483647    66076     54 |  0.003 % |
173.15/173.37	c |    266646 |     180    15300   107100 | 2147483647    66947     54 |  0.003 % |
173.85/174.00	c |    267605 |     180    15300   107100 | 2147483647    67906     54 |  0.003 % |
174.45/174.69	c |    268661 |     180    15300   107100 | 2147483647    68962     54 |  0.003 % |
175.35/175.50	c |    269820 |     180    15300   107100 | 2147483647    70121     54 |  0.003 % |
176.15/176.39	c |    271093 |     180    15300   107100 |    70303    63661     54 |  0.003 % |
177.25/177.43	c |    272494 |     180    15300   107100 |    70303    65062     54 |  0.003 % |
178.35/178.55	c |    274035 |     180    15300   107100 |    70303    66603     54 |  0.003 % |
179.65/179.87	c |    275730 |     180    15300   107100 |    70303    68298     54 |  0.003 % |
181.05/181.24	c |    277594 |     180    15300   107100 |    70303    70162     54 |  0.003 % |
182.45/182.68	c |    279643 |     180    15300   107100 |    70303    63154     54 |  0.003 % |
183.85/184.02	c |    281896 |     180    15300   107100 |    63512    57562     53 |  0.003 % |
185.45/185.61	c |    284375 |     180    15300   107100 |    63512    60041     53 |  0.003 % |
187.15/187.32	c |    287100 |     180    15300   107100 |    63512    62766     53 |  0.003 % |
187.25/187.40	c |    287200 |     180    15300   107100 |    63512    62866     53 |  0.003 % |
187.25/187.48	c |    287310 |     180    15300   107100 |    63512    62976     53 |  0.003 % |
187.35/187.57	c |    287431 |     180    15300   107100 |    63512    63097     53 |  0.003 % |
187.45/187.66	c |    287566 |     180    15300   107100 |    63512    63232     53 |  0.003 % |
187.55/187.79	c |    287712 |     180    15300   107100 |    63512    63378     53 |  0.003 % |
187.74/187.91	c |    287873 |     180    15300   107100 |    63512    63539     53 |  0.003 % |
187.84/188.08	c |    288049 |     180    15300   107100 |    63512    57362     53 |  0.003 % |
188.05/188.23	c |    288243 |     180    15300   107100 |    63512    57556     53 |  0.003 % |
188.14/188.38	c |    288456 |     180    15300   107100 |    63512    57769     53 |  0.003 % |
188.34/188.53	c |    288690 |     180    15300   107100 |    63512    58003     53 |  0.003 % |
188.54/188.70	c |    288948 |     180    15300   107100 |    63512    58261     53 |  0.003 % |
188.64/188.87	c |    289230 |     180    15300   107100 |    63512    58543     53 |  0.003 % |
188.84/189.05	c |    289539 |     180    15300   107100 |    63512    58852     53 |  0.003 % |
189.05/189.29	c |    289879 |     180    15300   107100 |    63512    59192     53 |  0.003 % |
189.34/189.55	c |    290254 |     180    15300   107100 | 2147483647    59567     53 |  0.003 % |
189.64/189.83	c |    290664 |     180    15300   107100 | 2147483647    59977     53 |  0.003 % |
189.94/190.13	c |    291114 |     180    15300   107100 | 2147483647    60427     53 |  0.003 % |
190.25/190.47	c |    291607 |     180    15300   107100 | 2147483647    60920     53 |  0.003 % |
190.64/190.84	c |    292151 |     180    15300   107100 | 2147483647    61464     53 |  0.003 % |
191.04/191.26	c |    292748 |     180    15300   107100 | 2147483647    62061     53 |  0.003 % |
191.54/191.71	c |    293406 |     180    15300   107100 | 2147483647    62719     53 |  0.003 % |
191.94/192.18	c |    294127 |     180    15300   107100 | 2147483647    63440     53 |  0.003 % |
192.45/192.69	c |    294919 |     180    15300   107100 | 2147483647    64232     53 |  0.003 % |
193.14/193.30	c |    295790 |     180    15300   107100 | 2147483647    65103     53 |  0.003 % |
193.74/193.92	c |    296748 |     180    15300   107100 | 2147483647    66061     53 |  0.003 % |
194.44/194.66	c |    297802 |     180    15300   107100 | 2147483647    67115     53 |  0.003 % |
195.34/195.51	c |    298960 |     180    15300   107100 | 2147483647    68273     53 |  0.003 % |
196.34/196.54	c |    300234 |     180    15300   107100 |    69313    62347     54 |  0.003 % |
197.34/197.53	c |    301635 |     180    15300   107100 |    69313    63748     54 |  0.003 % |
198.44/198.66	c |    303175 |     180    15300   107100 |    69313    65288     54 |  0.003 % |
199.74/199.92	c |    304869 |     180    15300   107100 |    69313    66982     53 |  0.003 % |
201.14/201.36	c |    306733 |     180    15300   107100 |    69313    68846     53 |  0.003 % |
202.54/202.79	c |    308786 |     180    15300   107100 |    69313    62669     53 |  0.003 % |
204.04/204.30	c |    311039 |     180    15300   107100 |    63883    57876     53 |  0.003 % |
205.73/205.93	c |    313517 |     180    15300   107100 |    63883    60354     53 |  0.003 % |
207.74/207.94	c |    316242 |     180    15300   107100 |    63883    63079     53 |  0.003 % |
209.73/209.91	c |    319242 |     180    15300   107100 |    63883    59387     53 |  0.003 % |
209.73/209.99	c |    319343 |     180    15300   107100 |    63883    59488     53 |  0.003 % |
209.83/210.05	c |    319454 |     180    15300   107100 |    63883    59599     53 |  0.003 % |
209.94/210.14	c |    319576 |     180    15300   107100 |    63883    59721     53 |  0.003 % |
210.04/210.27	c |    319712 |     180    15300   107100 |    63883    59857     53 |  0.003 % |
210.13/210.38	c |    319858 |     180    15300   107100 |    63883    60003     53 |  0.003 % |
210.23/210.50	c |    320018 |     180    15300   107100 | 2147483647    60163     53 |  0.003 % |
210.43/210.64	c |    320195 |     180    15300   107100 | 2147483647    60340     53 |  0.003 % |
210.53/210.79	c |    320388 |     180    15300   107100 | 2147483647    60533     53 |  0.003 % |
210.73/210.96	c |    320602 |     180    15300   107100 | 2147483647    60747     53 |  0.003 % |
210.93/211.13	c |    320835 |     180    15300   107100 | 2147483647    60980     53 |  0.003 % |
211.04/211.28	c |    321092 |     180    15300   107100 | 2147483647    61237     53 |  0.003 % |
211.33/211.51	c |    321375 |     180    15300   107100 | 2147483647    61520     53 |  0.003 % |
211.53/211.74	c |    321684 |     180    15300   107100 | 2147483647    61829     53 |  0.003 % |
211.73/211.98	c |    322023 |     180    15300   107100 | 2147483647    62168     53 |  0.003 % |
212.03/212.26	c |    322395 |     180    15300   107100 | 2147483647    62540     53 |  0.003 % |
212.33/212.59	c |    322804 |     180    15300   107100 | 2147483647    62949     53 |  0.003 % |
212.73/212.96	c |    323254 |     180    15300   107100 | 2147483647    63399     53 |  0.003 % |
213.13/213.30	c |    323747 |     180    15300   107100 | 2147483647    63892     53 |  0.003 % |
213.43/213.69	c |    324290 |     180    15300   107100 | 2147483647    64435     53 |  0.003 % |
213.93/214.10	c |    324887 |     180    15300   107100 | 2147483647    65032     53 |  0.003 % |
214.33/214.56	c |    325543 |     180    15300   107100 | 2147483647    65688     53 |  0.003 % |
214.93/215.11	c |    326264 |     180    15300   107100 | 2147483647    66409     53 |  0.003 % |
215.53/215.79	c |    327056 |     180    15300   107100 | 2147483647    67201     53 |  0.003 % |
216.23/216.49	c |    327928 |     180    15300   107100 | 2147483647    68073     53 |  0.003 % |
217.03/217.28	c |    328888 |     180    15300   107100 | 2147483647    69033     53 |  0.003 % |
217.83/218.05	c |    329942 |     180    15300   107100 | 2147483647    70087     53 |  0.003 % |
218.73/218.90	c |    331102 |     180    15300   107100 |    70146    62685     53 |  0.003 % |
219.53/219.77	c |    332375 |     180    15300   107100 |    70146    63958     53 |  0.003 % |
220.43/220.69	c |    333776 |     180    15300   107100 |    70146    65359     53 |  0.003 % |
221.53/221.79	c |    335317 |     180    15300   107100 |    70146    66900     53 |  0.003 % |
222.83/223.01	c |    337012 |     180    15300   107100 |    70146    68595     53 |  0.003 % |
224.42/224.68	c |    338875 |     180    15300   107100 |    70146    62103     53 |  0.003 % |
225.82/226.08	c |    340926 |     180    15300   107100 |    63229    56700     53 |  0.003 % |
227.42/227.60	c |    343180 |     180    15300   107100 |    63229    58954     53 |  0.003 % |
229.12/229.37	c |    345661 |     180    15300   107100 |    63229    61435     53 |  0.003 % |
230.93/231.15	c |    348387 |     180    15300   107100 |    63229    57830     54 |  0.003 % |
232.82/233.04	c |    351384 |     180    15300   107100 | 2147483647    60827     53 |  0.003 % |
234.92/235.19	c |    354682 |     180    15300   107100 | 2147483647    64125     53 |  0.003 % |
235.02/235.25	c |    354784 |     180    15300   107100 | 2147483647    64227     53 |  0.003 % |
235.12/235.33	c |    354894 |     180    15300   107100 | 2147483647    64337     53 |  0.003 % |
235.23/235.42	c |    355015 |     180    15300   107100 | 2147483647    64458     53 |  0.003 % |
235.33/235.53	c |    355148 |     180    15300   107100 | 2147483647    64591     54 |  0.003 % |
235.42/235.66	c |    355294 |     180    15300   107100 | 2147483647    64737     54 |  0.003 % |
235.62/235.80	c |    355456 |     180    15300   107100 | 2147483647    64899     54 |  0.003 % |
235.72/235.95	c |    355633 |     180    15300   107100 | 2147483647    65076     54 |  0.003 % |
235.92/236.12	c |    355828 |     180    15300   107100 | 2147483647    65271     54 |  0.003 % |
236.02/236.28	c |    356041 |     180    15300   107100 | 2147483647    65484     53 |  0.003 % |
236.32/236.50	c |    356276 |     180    15300   107100 | 2147483647    65719     53 |  0.003 % |
236.52/236.70	c |    356532 |     180    15300   107100 | 2147483647    65975     53 |  0.003 % |
236.72/236.95	c |    356813 |     180    15300   107100 | 2147483647    66256     53 |  0.003 % |
236.92/237.19	c |    357122 |     180    15300   107100 | 2147483647    66565     53 |  0.003 % |
237.22/237.49	c |    357461 |     180    15300   107100 | 2147483647    66904     53 |  0.003 % |
237.52/237.75	c |    357834 |     180    15300   107100 | 2147483647    67277     53 |  0.003 % |
237.82/238.03	c |    358244 |     180    15300   107100 | 2147483647    67687     53 |  0.003 % |
238.12/238.34	c |    358694 |     180    15300   107100 | 2147483647    68137     53 |  0.003 % |
238.52/238.73	c |    359187 |     180    15300   107100 | 2147483647    68630     53 |  0.003 % |
238.92/239.17	c |    359729 |     180    15300   107100 | 2147483647    69172     53 |  0.003 % |
239.41/239.69	c |    360326 |     180    15300   107100 |    69444    62697     53 |  0.003 % |
239.91/240.13	c |    360983 |     180    15300   107100 |    69444    63354     53 |  0.003 % |
240.41/240.60	c |    361704 |     180    15300   107100 |    69444    64075     53 |  0.003 % |
240.91/241.17	c |    362496 |     180    15300   107100 |    69444    64867     53 |  0.003 % |
241.51/241.75	c |    363367 |     180    15300   107100 |    69444    65738     53 |  0.003 % |
242.21/242.43	c |    364326 |     180    15300   107100 |    69444    66697     53 |  0.003 % |
243.02/243.22	c |    365380 |     180    15300   107100 |    69444    67751     53 |  0.003 % |
243.81/244.02	c |    366542 |     180    15300   107100 |    69444    68913     53 |  0.003 % |
244.81/245.08	c |    367816 |     180    15300   107100 |    69444    62347     53 |  0.003 % |
245.81/246.04	c |    369216 |     180    15300   107100 |    69444    63747     54 |  0.003 % |
246.91/247.10	c |    370757 |     180    15300   107100 |    64531    58062     53 |  0.003 % |
247.91/248.18	c |    372451 |     180    15300   107100 |    64531    59756     53 |  0.003 % |
249.11/249.32	c |    374316 |     180    15300   107100 |    64531    61621     53 |  0.003 % |
250.41/250.62	c |    376365 |     180    15300   107100 |    64531    63670     53 |  0.003 % |
251.91/252.16	c |    378618 |     180    15300   107100 |    64531    59461     53 |  0.003 % |
253.41/253.66	c |    381096 |     180    15300   107100 | 2147483647    61939     53 |  0.003 % |
255.31/255.60	c |    383821 |     180    15300   107100 | 2147483647    64664     53 |  0.003 % |
257.31/257.54	c |    386818 |     180    15300   107100 | 2147483647    67661     54 |  0.003 % |
259.61/259.82	c |    390114 |     180    15300   107100 |    70843    62836     54 |  0.003 % |
262.01/262.22	c |    393739 |     180    15300   107100 |    70843    66461     54 |  0.003 % |
262.01/262.28	c |    393839 |     180    15300   107100 |    70843    66561     54 |  0.003 % |
262.10/262.36	c |    393949 |     180    15300   107100 |    70843    66671     54 |  0.003 % |
262.20/262.46	c |    394071 |     180    15300   107100 |    70843    66793     54 |  0.003 % |
262.40/262.60	c |    394206 |     180    15300   107100 |    70843    66928     54 |  0.003 % |
262.50/262.73	c |    394352 |     180    15300   107100 |    70843    67074     54 |  0.003 % |
262.60/262.85	c |    394512 |     180    15300   107100 |    70843    67234     54 |  0.003 % |
262.81/263.02	c |    394688 |     180    15300   107100 |    70843    67410     54 |  0.003 % |
262.91/263.19	c |    394882 |     180    15300   107100 |    70843    67604     54 |  0.003 % |
263.11/263.35	c |    395094 |     180    15300   107100 |    70843    67816     54 |  0.003 % |
263.30/263.58	c |    395328 |     180    15300   107100 |    70843    68050     54 |  0.003 % |
263.50/263.79	c |    395584 |     180    15300   107100 |    70843    68306     54 |  0.003 % |
263.81/264.02	c |    395866 |     180    15300   107100 |    70843    68588     54 |  0.003 % |
264.00/264.29	c |    396175 |     180    15300   107100 |    70843    68897     54 |  0.003 % |
264.30/264.57	c |    396514 |     180    15300   107100 |    70843    69236     54 |  0.003 % |
264.70/264.90	c |    396887 |     180    15300   107100 |    70843    69609     54 |  0.003 % |
265.01/265.26	c |    397296 |     180    15300   107100 |    70843    70018     54 |  0.003 % |
265.40/265.67	c |    397747 |     180    15300   107100 |    70843    70469     54 |  0.003 % |
265.90/266.12	c |    398240 |     180    15300   107100 |    70843    61632     54 |  0.003 % |
266.20/266.48	c |    398784 |     180    15300   107100 |    70843    62176     54 |  0.003 % |
266.60/266.89	c |    399382 |     180    15300   107100 |    70843    62774     54 |  0.003 % |
267.11/267.35	c |    400039 |     180    15300   107100 |    63392    63431     54 |  0.003 % |
267.70/267.94	c |    400761 |     180    15300   107100 |    63392    56085     54 |  0.003 % |
268.21/268.42	c |    401554 |     180    15300   107100 |    63392    56878     54 |  0.003 % |
268.70/268.97	c |    402427 |     180    15300   107100 |    63392    57751     54 |  0.003 % |
269.31/269.51	c |    403387 |     180    15300   107100 |    63392    58711     54 |  0.003 % |
269.90/270.18	c |    404440 |     180    15300   107100 |    63392    59764     54 |  0.003 % |
270.70/270.90	c |    405598 |     180    15300   107100 |    63392    60922     54 |  0.003 % |
271.60/271.81	c |    406872 |     180    15300   107100 |    63392    62196     54 |  0.003 % |
272.60/272.80	c |    408272 |     180    15300   107100 |    63392    57068     54 |  0.003 % |
273.50/273.70	c |    409812 |     180    15300   107100 |    63392    58608     54 |  0.003 % |
274.50/274.79	c |    411506 |     180    15300   107100 | 2147483647    60302     54 |  0.003 % |
275.80/276.01	c |    413369 |     180    15300   107100 | 2147483647    62165     54 |  0.003 % |
277.10/277.37	c |    415419 |     180    15300   107100 | 2147483647    64215     54 |  0.003 % |
278.80/279.04	c |    417673 |     180    15300   107100 | 2147483647    66469     54 |  0.003 % |
280.70/280.98	c |    420151 |     180    15300   107100 |    68796    61530     54 |  0.003 % |
282.70/282.93	c |    422877 |     180    15300   107100 |    68796    64256     54 |  0.003 % |
284.70/284.97	c |    425875 |     180    15300   107100 |    68796    67254     54 |  0.003 % |
287.00/287.26	c |    429171 |     180    15300   107100 |    68796    63098     54 |  0.003 % |
289.30/289.51	c |    432796 |     180    15300   107100 |    63932    59926     54 |  0.003 % |
292.00/292.26	c |    436784 |     180    15300   107100 |    63932    63914     54 |  0.003 % |
292.10/292.34	c |    436884 |     180    15300   107100 |    63932    64014     54 |  0.003 % |
292.20/292.46	c |    436994 |     180    15300   107100 |    63932    57723     54 |  0.003 % |
292.30/292.55	c |    437116 |     180    15300   107100 |    63932    57845     54 |  0.003 % |
292.40/292.65	c |    437252 |     180    15300   107100 |    63932    57981     54 |  0.003 % |
292.50/292.74	c |    437398 |     180    15300   107100 |    63932    58127     54 |  0.003 % |
292.59/292.85	c |    437558 |     180    15300   107100 |    63932    58287     54 |  0.003 % |
292.79/293.01	c |    437735 |     180    15300   107100 |    63932    58464     54 |  0.003 % |
292.89/293.15	c |    437929 |     180    15300   107100 |    63932    58658     54 |  0.003 % |
293.09/293.30	c |    438141 |     180    15300   107100 |    63932    58870     54 |  0.003 % |
293.19/293.46	c |    438375 |     180    15300   107100 |    63932    59104     54 |  0.003 % |
293.39/293.63	c |    438631 |     180    15300   107100 |    63932    59360     54 |  0.003 % |
293.60/293.82	c |    438912 |     180    15300   107100 |    63932    59641     54 |  0.003 % |
293.79/294.05	c |    439222 |     180    15300   107100 |    63932    59951     54 |  0.003 % |
293.99/294.26	c |    439561 |     180    15300   107100 |    63932    60290     54 |  0.003 % |
294.29/294.56	c |    439934 |     180    15300   107100 |    63932    60663     54 |  0.003 % |
294.60/294.86	c |    440343 |     180    15300   107100 | 2147483647    61072     54 |  0.003 % |
294.89/295.18	c |    440793 |     180    15300   107100 | 2147483647    61522     54 |  0.003 % |
295.29/295.54	c |    441286 |     180    15300   107100 | 2147483647    62015     54 |  0.003 % |
295.70/295.92	c |    441829 |     180    15300   107100 | 2147483647    62558     54 |  0.003 % |
296.09/296.32	c |    442426 |     180    15300   107100 | 2147483647    63155     54 |  0.003 % |
296.49/296.73	c |    443082 |     180    15300   107100 | 2147483647    63811     54 |  0.003 % |
297.09/297.32	c |    443804 |     180    15300   107100 | 2147483647    64533     54 |  0.003 % |
297.69/297.93	c |    444597 |     180    15300   107100 | 2147483647    65326     54 |  0.003 % |
298.29/298.59	c |    445469 |     180    15300   107100 | 2147483647    66198     54 |  0.003 % |
298.99/299.25	c |    446427 |     180    15300   107100 | 2147483647    67156     54 |  0.003 % |
299.79/300.03	c |    447480 |     180    15300   107100 | 2147483647    68209     54 |  0.003 % |
300.69/300.92	c |    448640 |     180    15300   107100 | 2147483647    69369     54 |  0.003 % |
301.59/301.89	c |    449914 |     180    15300   107100 | 2147483647    70643     54 |  0.003 % |
302.59/302.87	c |    451314 |     180    15300   107100 |    70730    63972     54 |  0.003 % |
303.69/303.92	c |    452855 |     180    15300   107100 |    70730    65513     54 |  0.003 % |
304.89/305.13	c |    454549 |     180    15300   107100 |    70730    67207     54 |  0.003 % |
306.39/306.64	c |    456414 |     180    15300   107100 |    70730    69072     54 |  0.003 % |
307.89/308.17	c |    458463 |     180    15300   107100 |    70730    62553     54 |  0.003 % |
309.39/309.66	c |    460716 |     180    15300   107100 |    64092    57302     54 |  0.003 % |
310.89/311.18	c |    463195 |     180    15300   107100 |    64092    59781     54 |  0.003 % |
312.59/312.85	c |    465921 |     180    15300   107100 |    64092    62507     54 |  0.003 % |
314.49/314.78	c |    468918 |     180    15300   107100 |    64092    59087     54 |  0.003 % |
316.59/316.82	c |    472214 |     180    15300   107100 | 2147483647    62383     54 |  0.003 % |
318.80/319.10	c |    475841 |     180    15300   107100 | 2147483647    66010     54 |  0.003 % |
321.59/321.89	c |    479829 |     180    15300   107100 | 2147483647    69998     54 |  0.003 % |
324.89/325.14	c |    484214 |     180    15300   107100 | 2147483647    74383     54 |  0.003 % |
324.99/325.21	c |    484315 |     180    15300   107100 | 2147483647    74484     54 |  0.003 % |
324.99/325.29	c |    484426 |     180    15300   107100 | 2147483647    74595     54 |  0.003 % |
325.09/325.39	c |    484547 |     180    15300   107100 | 2147483647    74716     54 |  0.003 % |
325.28/325.53	c |    484680 |     180    15300   107100 | 2147483647    74849     54 |  0.003 % |
325.39/325.66	c |    484828 |     180    15300   107100 | 2147483647    74997     54 |  0.003 % |
325.49/325.79	c |    484989 |     180    15300   107100 | 2147483647    75158     54 |  0.003 % |
325.68/325.94	c |    485165 |     180    15300   107100 | 2147483647    75334     54 |  0.003 % |
325.88/326.10	c |    485358 |     180    15300   107100 | 2147483647    75527     54 |  0.003 % |
325.98/326.29	c |    485570 |     180    15300   107100 | 2147483647    75739     54 |  0.003 % |
326.28/326.52	c |    485803 |     180    15300   107100 | 2147483647    75972     54 |  0.003 % |
326.49/326.73	c |    486059 |     180    15300   107100 | 2147483647    76228     54 |  0.003 % |
326.68/326.99	c |    486341 |     180    15300   107100 | 2147483647    76510     54 |  0.003 % |
326.98/327.27	c |    486650 |     180    15300   107100 | 2147483647    76819     54 |  0.003 % |
327.28/327.54	c |    486990 |     180    15300   107100 | 2147483647    77159     54 |  0.003 % |
327.58/327.87	c |    487363 |     180    15300   107100 | 2147483647    77532     54 |  0.003 % |
327.98/328.26	c |    487774 |     180    15300   107100 | 2147483647    77943     54 |  0.003 % |
328.48/328.70	c |    488223 |     180    15300   107100 | 2147483647    78392     54 |  0.003 % |
328.88/329.11	c |    488716 |     180    15300   107100 | 2147483647    78885     54 |  0.003 % |
329.28/329.54	c |    489258 |     180    15300   107100 | 2147483647    79427     54 |  0.003 % |
329.79/330.05	c |    489854 |     180    15300   107100 | 2147483647    80023     54 |  0.003 % |
330.39/330.65	c |    490509 |     180    15300   107100 |    80170    68509     54 |  0.003 % |
330.99/331.27	c |    491229 |     180    15300   107100 |    80170    69229     54 |  0.003 % |
331.69/331.92	c |    492021 |     180    15300   107100 |    80170    70021     54 |  0.003 % |
332.39/332.60	c |    492893 |     180    15300   107100 |    80170    70893     54 |  0.003 % |
332.99/333.28	c |    493852 |     180    15300   107100 |    80170    71852     54 |  0.003 % |
333.79/334.04	c |    494906 |     180    15300   107100 |    80170    72906     54 |  0.003 % |
334.69/334.92	c |    496066 |     180    15300   107100 |    80170    74066     54 |  0.003 % |
335.68/335.90	c |    497341 |     180    15300   107100 |    80170    75341     54 |  0.003 % |
336.78/337.02	c |    498741 |     180    15300   107100 |    80170    76741     54 |  0.003 % |
338.08/338.31	c |    500282 |     180    15300   107100 |    78001    65823     54 |  0.003 % |
339.38/339.60	c |    501977 |     180    15300   107100 |    78001    67518     54 |  0.003 % |
340.58/340.87	c |    503841 |     180    15300   107100 |    78001    69382     54 |  0.003 % |
341.99/342.29	c |    505891 |     180    15300   107100 |    78001    71432     54 |  0.003 % |
343.68/343.96	c |    508144 |     180    15300   107100 |    78001    73685     54 |  0.003 % |
345.58/345.86	c |    510625 |     180    15300   107100 |    75542    65117     54 |  0.003 % |
347.28/347.54	c |    513350 |     180    15300   107100 |    75542    67842     54 |  0.003 % |
349.18/349.44	c |    516348 |     180    15300   107100 |    75542    70840     54 |  0.003 % |
351.38/351.68	c |    519644 |     180    15300   107100 |    75542    74136     54 |  0.003 % |
353.88/354.10	c |    523269 |     180    15300   107100 |    74493    68905     54 |  0.003 % |
356.58/356.80	c |    527257 |     180    15300   107100 |    74493    72893     54 |  0.003 % |
359.58/359.84	c |    531642 |     180    15300   107100 |    66681    60486     54 |  0.003 % |
362.48/362.78	c |    536465 |     180    15300   107100 |    66681    65309     54 |  0.003 % |
362.58/362.85	c |    536567 |     180    15300   107100 |    66681    65411     54 |  0.003 % |
362.68/362.97	c |    536678 |     180    15300   107100 |    66681    65522     54 |  0.003 % |
362.78/363.06	c |    536800 |     180    15300   107100 |    66681    65644     54 |  0.003 % |
362.88/363.16	c |    536933 |     180    15300   107100 |    66681    65777     54 |  0.003 % |
362.97/363.26	c |    537081 |     180    15300   107100 |    66681    65925     54 |  0.003 % |
363.07/363.39	c |    537241 |     180    15300   107100 |    66681    66085     54 |  0.003 % |
363.27/363.52	c |    537417 |     180    15300   107100 |    66681    66261     54 |  0.003 % |
363.37/363.66	c |    537611 |     180    15300   107100 |    66681    66455     54 |  0.003 % |
363.57/363.82	c |    537823 |     180    15300   107100 |    66681    66667     54 |  0.003 % |
363.77/364.02	c |    538058 |     180    15300   107100 |    66681    60225     54 |  0.003 % |
363.98/364.21	c |    538314 |     180    15300   107100 |    66681    60481     54 |  0.003 % |
364.17/364.41	c |    538595 |     180    15300   107100 |    66681    60762     54 |  0.003 % |
364.37/364.64	c |    538906 |     180    15300   107100 |    66681    61073     54 |  0.003 % |
364.57/364.89	c |    539245 |     180    15300   107100 |    66681    61412     54 |  0.003 % |
364.87/365.13	c |    539619 |     180    15300   107100 |    66681    61786     54 |  0.003 % |
365.17/365.40	c |    540029 |     180    15300   107100 | 2147483647    62196     54 |  0.003 % |
365.47/365.70	c |    540478 |     180    15300   107100 | 2147483647    62645     54 |  0.003 % |
365.77/366.04	c |    540975 |     180    15300   107100 | 2147483647    63142     54 |  0.003 % |
366.18/366.43	c |    541517 |     180    15300   107100 | 2147483647    63684     54 |  0.003 % |
366.57/366.87	c |    542114 |     180    15300   107100 | 2147483647    64281     54 |  0.003 % |
367.07/367.33	c |    542771 |     180    15300   107100 | 2147483647    64938     54 |  0.003 % |
367.47/367.78	c |    543494 |     180    15300   107100 | 2147483647    65661     54 |  0.003 % |
368.07/368.35	c |    544287 |     180    15300   107100 | 2147483647    66454     54 |  0.003 % |
368.67/368.95	c |    545158 |     180    15300   107100 | 2147483647    67325     54 |  0.003 % |
369.27/369.60	c |    546116 |     180    15300   107100 | 2147483647    68283     54 |  0.003 % |
370.07/370.32	c |    547170 |     180    15300   107100 | 2147483647    69337     54 |  0.003 % |
370.97/371.23	c |    548328 |     180    15300   107100 | 2147483647    70495     54 |  0.003 % |
371.87/372.16	c |    549601 |     180    15300   107100 | 2147483647    71768     54 |  0.003 % |
372.97/373.20	c |    551002 |     180    15300   107100 |    72170    64680     54 |  0.003 % |
374.07/374.37	c |    552542 |     180    15300   107100 |    72170    66220     54 |  0.003 % |
375.37/375.64	c |    554236 |     180    15300   107100 |    72170    67914     54 |  0.003 % |
376.67/376.92	c |    556102 |     180    15300   107100 |    72170    69780     54 |  0.003 % |
378.07/378.39	c |    558154 |     180    15300   107100 |    72170    71832     54 |  0.003 % |
379.57/379.88	c |    560408 |     180    15300   107100 |    64821    57673     54 |  0.003 % |
381.07/381.34	c |    562888 |     180    15300   107100 |    64821    60153     54 |  0.003 % |
382.57/382.86	c |    565614 |     180    15300   107100 |    64821    62879     54 |  0.003 % |
384.56/384.81	c |    568611 |     180    15300   107100 |    64821    59386     54 |  0.003 % |
386.46/386.77	c |    571908 |     180    15300   107100 | 2147483647    62683     54 |  0.003 % |
388.76/389.05	c |    575533 |     180    15300   107100 | 2147483647    66308     54 |  0.003 % |
391.47/391.78	c |    579521 |     180    15300   107100 | 2147483647    70296     54 |  0.003 % |
394.46/394.76	c |    583906 |     180    15300   107100 | 2147483647    74681     54 |  0.003 % |
398.06/398.38	c |    588729 |     180    15300   107100 | 2147483647    79504     54 |  0.003 % |
402.36/402.61	c |    594034 |     180    15300   107100 |    80775    73495     54 |  0.003 % |
402.36/402.70	c |    594134 |     180    15300   107100 |    80775    73595     54 |  0.003 % |
402.56/402.80	c |    594245 |     180    15300   107100 |    80775    73706     54 |  0.003 % |
402.66/402.91	c |    594366 |     180    15300   107100 |    80775    73827     54 |  0.003 % |
402.76/403.01	c |    594499 |     180    15300   107100 |    80775    73960     54 |  0.003 % |
402.86/403.15	c |    594645 |     180    15300   107100 |    80775    74106     54 |  0.003 % |
402.96/403.28	c |    594805 |     180    15300   107100 |    80775    74266     54 |  0.003 % |
403.16/403.44	c |    594981 |     180    15300   107100 |    80775    74442     54 |  0.003 % |
403.26/403.59	c |    595174 |     180    15300   107100 |    80775    74635     54 |  0.003 % |
403.46/403.75	c |    595386 |     180    15300   107100 |    80775    74847     54 |  0.003 % |
403.66/403.98	c |    595619 |     180    15300   107100 |    80775    75080     54 |  0.003 % |
403.86/404.18	c |    595876 |     180    15300   107100 |    80775    75337     54 |  0.003 % |
404.16/404.42	c |    596158 |     180    15300   107100 |    80775    75619     54 |  0.003 % |
404.46/404.71	c |    596467 |     180    15300   107100 |    80775    75928     54 |  0.003 % |
404.66/404.99	c |    596806 |     180    15300   107100 |    80775    76267     54 |  0.003 % |
405.05/405.30	c |    597179 |     180    15300   107100 |    80775    76640     54 |  0.003 % |
405.35/405.62	c |    597590 |     180    15300   107100 |    80775    77051     54 |  0.003 % |
405.85/406.11	c |    598040 |     180    15300   107100 |    80775    77501     54 |  0.003 % |
406.35/406.60	c |    598535 |     180    15300   107100 |    80775    77996     54 |  0.003 % |
406.86/407.19	c |    599078 |     180    15300   107100 |    80775    78539     54 |  0.003 % |
407.45/407.74	c |    599674 |     180    15300   107100 |    80775    79135     54 |  0.003 % |
408.05/408.35	c |    600329 |     180    15300   107100 |    79461    66744     54 |  0.003 % |
408.55/408.84	c |    601050 |     180    15300   107100 |    79461    67465     54 |  0.003 % |
409.15/409.49	c |    601844 |     180    15300   107100 |    79461    68259     54 |  0.003 % |
409.85/410.14	c |    602715 |     180    15300   107100 |    79461    69130     54 |  0.003 % |
410.55/410.82	c |    603676 |     180    15300   107100 |    79461    70091     54 |  0.003 % |
411.26/411.58	c |    604731 |     180    15300   107100 |    79461    71146     54 |  0.003 % |
412.15/412.49	c |    605891 |     180    15300   107100 |    79461    72306     54 |  0.003 % |
413.15/413.49	c |    607165 |     180    15300   107100 |    79461    73580     54 |  0.003 % |
414.15/414.49	c |    608566 |     180    15300   107100 |    79461    74981     54 |  0.003 % |
415.75/416.08	c |    610106 |     180    15300   107100 |    76416    64648     54 |  0.003 % |
417.05/417.36	c |    611801 |     180    15300   107100 |    76416    66343     54 |  0.003 % |
418.55/418.86	c |    613664 |     180    15300   107100 |    76416    68206     54 |  0.003 % |
420.25/420.52	c |    615713 |     180    15300   107100 |    76416    70255     54 |  0.003 % |
421.95/422.28	c |    617967 |     180    15300   107100 |    76416    72509     54 |  0.003 % |
423.95/424.23	c |    620446 |     180    15300   107100 |    74544    64021     54 |  0.003 % |
425.75/426.07	c |    623171 |     180    15300   107100 |    74544    66746     54 |  0.003 % |
427.75/428.06	c |    626168 |     180    15300   107100 |    74544    69743     54 |  0.003 % |
430.04/430.36	c |    629467 |     180    15300   107100 |    74544    73042     54 |  0.003 % |
432.54/432.84	c |    633092 |     180    15300   107100 |    73575    66759     54 |  0.003 % |
435.54/435.83	c |    637080 |     180    15300   107100 |    73575    70747     54 |  0.003 % |
439.04/439.30	c |    641465 |     180    15300   107100 |    63529    56250     54 |  0.003 % |
442.04/442.33	c |    646288 |     180    15300   107100 |    63529    61073     54 |  0.003 % |
445.54/445.82	c |    651593 |     180    15300   107100 | 2147483647    60018     54 |  0.003 % |
449.44/449.77	c |    657428 |     180    15300   107100 | 2147483647    65853     54 |  0.003 % |
449.54/449.85	c |    657528 |     180    15300   107100 | 2147483647    65953     54 |  0.003 % |
449.64/449.95	c |    657638 |     180    15300   107100 | 2147483647    66063     54 |  0.003 % |
449.74/450.06	c |    657761 |     180    15300   107100 | 2147483647    66186     54 |  0.003 % |
449.84/450.15	c |    657895 |     180    15300   107100 | 2147483647    66320     54 |  0.003 % |
449.94/450.28	c |    658042 |     180    15300   107100 | 2147483647    66467     54 |  0.003 % |
450.14/450.42	c |    658202 |     180    15300   107100 | 2147483647    66627     54 |  0.003 % |
450.24/450.56	c |    658378 |     180    15300   107100 | 2147483647    66803     54 |  0.003 % |
450.44/450.70	c |    658571 |     180    15300   107100 | 2147483647    66996     54 |  0.003 % |
450.54/450.89	c |    658784 |     180    15300   107100 | 2147483647    67209     54 |  0.003 % |
450.74/451.08	c |    659020 |     180    15300   107100 | 2147483647    67445     54 |  0.003 % |
451.04/451.31	c |    659276 |     180    15300   107100 | 2147483647    67701     54 |  0.003 % |
451.24/451.56	c |    659558 |     180    15300   107100 | 2147483647    67983     54 |  0.003 % |
451.54/451.83	c |    659869 |     180    15300   107100 | 2147483647    68294     54 |  0.003 % |
451.84/452.19	c |    660211 |     180    15300   107100 |    68426    61248     54 |  0.003 % |
452.14/452.46	c |    660583 |     180    15300   107100 |    68426    61620     54 |  0.003 % |
452.54/452.80	c |    660994 |     180    15300   107100 |    68426    62031     54 |  0.003 % |
452.94/453.22	c |    661443 |     180    15300   107100 |    68426    62480     54 |  0.003 % |
453.24/453.58	c |    661940 |     180    15300   107100 |    68426    62977     54 |  0.003 % |
453.74/454.02	c |    662482 |     180    15300   107100 |    68426    63519     54 |  0.003 % |
454.14/454.46	c |    663078 |     180    15300   107100 |    68426    64115     54 |  0.003 % |
454.74/455.04	c |    663733 |     180    15300   107100 |    68426    64770     54 |  0.003 % |
455.24/455.58	c |    664453 |     180    15300   107100 |    68426    65490     54 |  0.003 % |
455.84/456.18	c |    665246 |     180    15300   107100 |    68426    66283     54 |  0.003 % |
456.54/456.88	c |    666118 |     180    15300   107100 |    68426    67155     54 |  0.003 % |
457.24/457.57	c |    667076 |     180    15300   107100 |    68426    68113     54 |  0.003 % |
458.13/458.44	c |    668129 |     180    15300   107100 |    68426    60560     54 |  0.003 % |
458.93/459.22	c |    669289 |     180    15300   107100 |    68426    61720     54 |  0.003 % |
459.73/460.05	c |    670566 |     180    15300   107100 |    62432    55434     53 |  0.003 % |
460.74/461.03	c |    671966 |     180    15300   107100 |    62432    56834     53 |  0.003 % |
461.84/462.19	c |    673507 |     180    15300   107100 |    62432    58375     53 |  0.003 % |
463.03/463.37	c |    675202 |     180    15300   107100 |    62432    60070     53 |  0.003 % |
464.23/464.55	c |    677066 |     180    15300   107100 |    62432    61934     53 |  0.003 % |
465.83/466.12	c |    679115 |     180    15300   107100 |    62432    57732     53 |  0.003 % |
467.13/467.47	c |    681368 |     180    15300   107100 | 2147483647    59985     53 |  0.003 % |
468.83/469.14	c |    683846 |     180    15300   107100 | 2147483647    62463     53 |  0.003 % |
470.63/470.94	c |    686571 |     180    15300   107100 | 2147483647    65188     53 |  0.003 % |
472.93/473.26	c |    689569 |     180    15300   107100 | 2147483647    68186     53 |  0.003 % |
475.33/475.65	c |    692865 |     180    15300   107100 |    68617    64515     53 |  0.003 % |
478.23/478.51	c |    696490 |     180    15300   107100 |    68617    68140     54 |  0.003 % |
481.03/481.37	c |    700477 |     180    15300   107100 |    63209    56480     53 |  0.003 % |
483.73/484.02	c |    704863 |     180    15300   107100 |    63209    60866     53 |  0.003 % |
486.92/487.27	c |    709686 |     180    15300   107100 |    63209    59360     54 |  0.003 % |
490.33/490.61	c |    714991 |     180    15300   107100 | 2147483647    64665     54 |  0.003 % |
494.22/494.52	c |    720826 |     180    15300   107100 | 2147483647    70500     54 |  0.003 % |
498.72/499.01	c |    727244 |     180    15300   107100 | 2147483647    76918     54 |  0.003 % |
498.72/499.08	c |    727345 |     180    15300   107100 | 2147483647    77019     54 |  0.003 % |
498.82/499.17	c |    727455 |     180    15300   107100 | 2147483647    77129     54 |  0.003 % |
498.92/499.26	c |    727576 |     180    15300   107100 | 2147483647    77250     54 |  0.003 % |
499.12/499.42	c |    727709 |     180    15300   107100 | 2147483647    77383     54 |  0.003 % |
499.22/499.58	c |    727855 |     180    15300   107100 | 2147483647    77529     54 |  0.003 % |
499.42/499.73	c |    728015 |     180    15300   107100 | 2147483647    77689     54 |  0.003 % |
499.62/499.93	c |    728191 |     180    15300   107100 | 2147483647    77865     54 |  0.003 % |
499.82/500.12	c |    728384 |     180    15300   107100 | 2147483647    78058     54 |  0.003 % |
500.02/500.32	c |    728596 |     180    15300   107100 | 2147483647    78270     54 |  0.003 % |
500.22/500.58	c |    728830 |     180    15300   107100 | 2147483647    78504     54 |  0.003 % |
500.52/500.85	c |    729088 |     180    15300   107100 | 2147483647    78762     54 |  0.003 % |
500.82/501.10	c |    729369 |     180    15300   107100 | 2147483647    79043     54 |  0.003 % |
501.02/501.39	c |    729678 |     180    15300   107100 | 2147483647    79352     54 |  0.003 % |
501.32/501.68	c |    730017 |     180    15300   107100 |    79674    79691     54 |  0.003 % |
501.72/502.06	c |    730389 |     180    15300   107100 |    79674    69277     54 |  0.003 % |
502.02/502.38	c |    730800 |     180    15300   107100 |    79674    69688     54 |  0.003 % |
502.32/502.66	c |    731249 |     180    15300   107100 |    79674    70137     54 |  0.003 % |
502.72/503.01	c |    731743 |     180    15300   107100 |    79674    70631     54 |  0.003 % |
503.02/503.38	c |    732286 |     180    15300   107100 |    79674    71174     54 |  0.003 % |
503.52/503.82	c |    732884 |     180    15300   107100 |    79674    71772     54 |  0.003 % |
504.02/504.30	c |    733540 |     180    15300   107100 |    79674    72428     54 |  0.003 % |
504.72/505.03	c |    734261 |     180    15300   107100 |    79674    73149     54 |  0.003 % |
505.32/505.69	c |    735055 |     180    15300   107100 |    79674    73943     54 |  0.003 % |
506.12/506.50	c |    735926 |     180    15300   107100 |    79674    74814     54 |  0.003 % |
507.01/507.36	c |    736885 |     180    15300   107100 |    79674    75773     54 |  0.003 % |
507.92/508.22	c |    737938 |     180    15300   107100 |    79674    76826     54 |  0.003 % |
508.91/509.22	c |    739096 |     180    15300   107100 |    79674    77984     54 |  0.003 % |
510.22/510.53	c |    740369 |     180    15300   107100 |    78889    66439     54 |  0.003 % |
511.32/511.62	c |    741771 |     180    15300   107100 |    78889    67841     54 |  0.003 % |
512.42/512.73	c |    743311 |     180    15300   107100 |    78889    69381     54 |  0.003 % |
513.61/513.99	c |    745006 |     180    15300   107100 |    78889    71076     54 |  0.003 % |
515.21/515.59	c |    746871 |     180    15300   107100 |    78889    72941     54 |  0.003 % |
517.01/517.30	c |    748921 |     180    15300   107100 |    78889    74991     54 |  0.003 % |
518.61/518.95	c |    751176 |     180    15300   107100 |    76071    65347     54 |  0.003 % |
520.31/520.68	c |    753654 |     180    15300   107100 |    76071    67825     54 |  0.003 % |
522.31/522.61	c |    756379 |     180    15300   107100 |    76071    70550     54 |  0.003 % |
524.41/524.78	c |    759377 |     180    15300   107100 |    76071    73548     54 |  0.003 % |
527.01/527.39	c |    762674 |     180    15300   107100 |    74172    66680     54 |  0.003 % |
529.61/529.91	c |    766301 |     180    15300   107100 |    74172    70307     54 |  0.003 % |
532.71/533.07	c |    770288 |     180    15300   107100 |    74006    65069     54 |  0.003 % |
535.71/536.09	c |    774675 |     180    15300   107100 |    74006    69456     54 |  0.003 % |
539.40/539.71	c |    779498 |     180    15300   107100 |    74006    65263     54 |  0.003 % |
542.70/543.00	c |    784804 |     180    15300   107100 |    65765    62598     54 |  0.003 % |
546.70/547.03	c |    790641 |     180    15300   107100 | 2147483647    61850     54 |  0.003 % |
551.31/551.63	c |    797060 |     180    15300   107100 | 2147483647    68269     54 |  0.003 % |
556.01/556.33	c |    804120 |     180    15300   107100 |    71210    67163     55 |  0.003 % |
556.11/556.40	c |    804222 |     180    15300   107100 |    71210    67265     55 |  0.003 % |
556.11/556.49	c |    804332 |     180    15300   107100 |    71210    67375     55 |  0.003 % |
556.21/556.58	c |    804455 |     180    15300   107100 |    71210    67498     55 |  0.003 % |
556.31/556.69	c |    804589 |     180    15300   107100 |    71210    67632     55 |  0.003 % |
556.51/556.83	c |    804736 |     180    15300   107100 |    71210    67779     55 |  0.003 % |
556.61/556.94	c |    804896 |     180    15300   107100 |    71210    67939     55 |  0.003 % |
556.81/557.10	c |    805073 |     180    15300   107100 |    71210    68116     55 |  0.003 % |
556.91/557.28	c |    805268 |     180    15300   107100 |    71210    68311     55 |  0.003 % |
557.11/557.45	c |    805482 |     180    15300   107100 |    71210    68525     55 |  0.003 % |
557.31/557.62	c |    805715 |     180    15300   107100 |    71210    68758     55 |  0.003 % |
557.51/557.83	c |    805971 |     180    15300   107100 |    71210    69014     55 |  0.003 % |
557.71/558.07	c |    806252 |     180    15300   107100 |    71210    69295     55 |  0.003 % |
558.01/558.33	c |    806564 |     180    15300   107100 |    71210    69607     55 |  0.003 % |
558.31/558.63	c |    806903 |     180    15300   107100 |    71210    69946     55 |  0.003 % |
558.61/558.91	c |    807275 |     180    15300   107100 |    71210    70318     55 |  0.003 % |
558.91/559.26	c |    807686 |     180    15300   107100 |    71210    70729     55 |  0.003 % |
559.30/559.67	c |    808135 |     180    15300   107100 |    71210    71178     55 |  0.003 % |
559.80/560.13	c |    808629 |     180    15300   107100 |    71210    62721     55 |  0.003 % |
560.20/560.51	c |    809173 |     180    15300   107100 |    71210    63265     55 |  0.003 % |
560.60/560.91	c |    809773 |     180    15300   107100 |    71210    63865     55 |  0.003 % |
561.00/561.39	c |    810428 |     180    15300   107100 |    64092    56649     55 |  0.003 % |
561.50/561.83	c |    811148 |     180    15300   107100 |    64092    57369     55 |  0.003 % |
562.00/562.34	c |    811941 |     180    15300   107100 |    64092    58162     55 |  0.003 % |
562.50/562.83	c |    812813 |     180    15300   107100 |    64092    59034     55 |  0.003 % |
563.01/563.37	c |    813771 |     180    15300   107100 |    64092    59992     55 |  0.003 % |
563.60/563.98	c |    814824 |     180    15300   107100 |    64092    61045     55 |  0.003 % |
564.30/564.66	c |    815982 |     180    15300   107100 |    64092    62203     54 |  0.003 % |
565.11/565.50	c |    817257 |     180    15300   107100 |    64092    63478     54 |  0.003 % |
566.31/566.60	c |    818658 |     180    15300   107100 |    64092    58463     54 |  0.003 % |
567.31/567.61	c |    820198 |     180    15300   107100 | 2147483647    60003     54 |  0.003 % |
568.41/568.74	c |    821894 |     180    15300   107100 | 2147483647    61699     54 |  0.003 % |
569.61/569.99	c |    823757 |     180    15300   107100 | 2147483647    63562     54 |  0.003 % |
571.10/571.48	c |    825808 |     180    15300   107100 | 2147483647    65613     54 |  0.003 % |
572.70/573.09	c |    828061 |     180    15300   107100 | 2147483647    67866     54 |  0.003 % |
574.70/575.06	c |    830539 |     180    15300   107100 |    69806    62620     54 |  0.003 % |
576.50/576.81	c |    833264 |     180    15300   107100 |    69806    65345     54 |  0.003 % |
578.40/578.74	c |    836261 |     180    15300   107100 |    69806    68342     54 |  0.003 % |
580.60/580.97	c |    839557 |     180    15300   107100 |    69806    64082     54 |  0.003 % |
583.00/583.33	c |    843183 |     180    15300   107100 |    64525    60852     54 |  0.003 % |
585.70/586.08	c |    847170 |     180    15300   107100 |    64525    58378     54 |  0.003 % |
588.60/588.99	c |    851557 |     180    15300   107100 | 2147483647    62765     54 |  0.003 % |
592.10/592.47	c |    856381 |     180    15300   107100 | 2147483647    67589     54 |  0.003 % |
595.69/596.03	c |    861686 |     180    15300   107100 |    71211    65106     54 |  0.003 % |
599.30/599.69	c |    867523 |     180    15300   107100 |    71211    70943     54 |  0.003 % |
603.79/604.19	c |    873941 |     180    15300   107100 |    65864    62632     54 |  0.003 % |
608.69/609.09	c |    881000 |     180    15300   107100 |    61758    56449     55 |  0.003 % |
613.99/614.30	c |    888764 |     180    15300   107100 |    61758    57920     55 |  0.003 % |
613.99/614.37	c |    888864 |     180    15300   107100 |    61758    58020     55 |  0.003 % |
614.09/614.44	c |    888974 |     180    15300   107100 |    61758    58130     55 |  0.003 % |
614.19/614.52	c |    889095 |     180    15300   107100 |    61758    58251     55 |  0.003 % |
614.29/614.62	c |    889228 |     180    15300   107100 |    61758    58384     55 |  0.003 % |
614.39/614.73	c |    889376 |     180    15300   107100 |    61758    58532     55 |  0.003 % |
614.49/614.85	c |    889537 |     180    15300   107100 |    61758    58693     55 |  0.003 % |
614.69/615.02	c |    889713 |     180    15300   107100 |    61758    58869     55 |  0.003 % |
614.79/615.18	c |    889906 |     180    15300   107100 |    61758    59062     55 |  0.003 % |
614.99/615.32	c |    890119 |     180    15300   107100 | 2147483647    59275     55 |  0.003 % |
615.09/615.48	c |    890352 |     180    15300   107100 | 2147483647    59508     55 |  0.003 % |
615.29/615.65	c |    890610 |     180    15300   107100 | 2147483647    59766     55 |  0.003 % |
615.49/615.82	c |    890892 |     180    15300   107100 | 2147483647    60048     55 |  0.003 % |
615.69/616.02	c |    891201 |     180    15300   107100 | 2147483647    60357     55 |  0.003 % |
615.89/616.24	c |    891540 |     180    15300   107100 | 2147483647    60696     55 |  0.003 % |
616.19/616.56	c |    891912 |     180    15300   107100 | 2147483647    61068     55 |  0.003 % |
616.49/616.85	c |    892324 |     180    15300   107100 | 2147483647    61480     55 |  0.003 % |
616.79/617.19	c |    892773 |     180    15300   107100 | 2147483647    61929     55 |  0.003 % |
617.19/617.54	c |    893266 |     180    15300   107100 | 2147483647    62422     55 |  0.003 % |
617.59/617.95	c |    893808 |     180    15300   107100 | 2147483647    62964     55 |  0.003 % |
617.99/618.34	c |    894404 |     180    15300   107100 | 2147483647    63560     55 |  0.003 % |
618.38/618.78	c |    895060 |     180    15300   107100 | 2147483647    64216     55 |  0.003 % |
619.09/619.45	c |    895780 |     180    15300   107100 | 2147483647    64936     55 |  0.003 % |
619.68/620.03	c |    896574 |     180    15300   107100 | 2147483647    65730     55 |  0.003 % |
620.38/620.77	c |    897446 |     180    15300   107100 | 2147483647    66602     55 |  0.003 % |
621.19/621.56	c |    898404 |     180    15300   107100 | 2147483647    67560     55 |  0.003 % |
622.08/622.41	c |    899457 |     180    15300   107100 | 2147483647    68613     55 |  0.003 % |
622.98/623.35	c |    900615 |     180    15300   107100 |    69159    61407     55 |  0.003 % |
623.78/624.20	c |    901890 |     180    15300   107100 |    69159    62682     55 |  0.003 % |
624.68/625.10	c |    903290 |     180    15300   107100 |    69159    64082     55 |  0.003 % |
625.78/626.15	c |    904830 |     180    15300   107100 |    69159    65622     55 |  0.003 % |
626.88/627.23	c |    906525 |     180    15300   107100 |    69159    67317     55 |  0.003 % |
628.48/628.88	c |    908390 |     180    15300   107100 |    69159    69182     55 |  0.003 % |
630.18/630.54	c |    910439 |     180    15300   107100 |    62631    55602     55 |  0.003 % |
631.48/631.88	c |    912693 |     180    15300   107100 |    62631    57856     55 |  0.003 % |
633.08/633.46	c |    915172 |     180    15300   107100 |    62631    60335     55 |  0.003 % |
634.88/635.22	c |    917898 |     180    15300   107100 |    62631    56791     55 |  0.003 % |
636.68/637.05	c |    920897 |     180    15300   107100 | 2147483647    59790     55 |  0.003 % |
638.78/639.18	c |    924193 |     180    15300   107100 | 2147483647    63086     55 |  0.003 % |
641.18/641.53	c |    927818 |     180    15300   107100 | 2147483647    66711     55 |  0.003 % |
643.88/644.28	c |    931806 |     180    15300   107100 | 2147483647    70699     55 |  0.003 % |
646.98/647.38	c |    936192 |     180    15300   107100 | 2147483647    75085     55 |  0.003 % |
650.67/651.07	c |    941015 |     180    15300   107100 |    78896    69164     54 |  0.003 % |
654.77/655.14	c |    946320 |     180    15300   107100 |    78896    74469     54 |  0.003 % |
659.07/659.49	c |    952158 |     180    15300   107100 |    78151    67902     54 |  0.003 % |
663.57/663.93	c |    958577 |     180    15300   107100 |    78151    74321     54 |  0.003 % |
668.57/668.94	c |    965636 |     180    15300   107100 |    75746    70563     54 |  0.003 % |
673.88/674.28	c |    973403 |     180    15300   107100 |    74928    67727     54 |  0.003 % |
679.97/680.37	c |    981944 |     180    15300   107100 |    74326    67323     54 |  0.003 % |
680.07/680.43	c |    982044 |     180    15300   107100 |    74326    67423     54 |  0.003 % |
680.17/680.52	c |    982154 |     180    15300   107100 |    74326    67533     54 |  0.003 % |
680.27/680.63	c |    982277 |     180    15300   107100 |    74326    67656     54 |  0.003 % |
680.37/680.75	c |    982411 |     180    15300   107100 |    74326    67790     54 |  0.003 % |
680.47/680.87	c |    982559 |     180    15300   107100 |    74326    67938     54 |  0.003 % |
680.68/681.03	c |    982720 |     180    15300   107100 |    74326    68099     54 |  0.003 % |
680.77/681.19	c |    982897 |     180    15300   107100 |    74326    68276     54 |  0.003 % |
680.97/681.36	c |    983091 |     180    15300   107100 |    74326    68470     54 |  0.003 % |
681.17/681.54	c |    983303 |     180    15300   107100 |    74326    68682     54 |  0.003 % |
681.37/681.74	c |    983536 |     180    15300   107100 |    74326    68915     54 |  0.003 % |
681.57/681.95	c |    983792 |     180    15300   107100 |    74326    69171     54 |  0.003 % |
681.78/682.19	c |    984073 |     180    15300   107100 |    74326    69452     54 |  0.003 % |
682.07/682.44	c |    984383 |     180    15300   107100 |    74326    69762     54 |  0.003 % |
682.37/682.74	c |    984723 |     180    15300   107100 |    74326    70102     54 |  0.003 % |
682.67/683.06	c |    985095 |     180    15300   107100 |    74326    70474     54 |  0.003 % |
682.97/683.38	c |    985505 |     180    15300   107100 |    74326    70884     54 |  0.003 % |
683.37/683.78	c |    985954 |     180    15300   107100 |    74326    71333     54 |  0.003 % |
683.77/684.17	c |    986448 |     180    15300   107100 |    74326    71827     54 |  0.003 % |
684.27/684.64	c |    986990 |     180    15300   107100 |    74326    72369     54 |  0.003 % |
684.77/685.12	c |    987589 |     180    15300   107100 |    74326    72968     54 |  0.003 % |
685.37/685.70	c |    988245 |     180    15300   107100 |    74326    73624     54 |  0.003 % |
685.87/686.26	c |    988965 |     180    15300   107100 |    74326    74344     54 |  0.003 % |
686.47/686.83	c |    989758 |     180    15300   107100 |    74326    64238     54 |  0.003 % |
687.07/687.44	c |    990629 |     180    15300   107100 |    64481    55844     54 |  0.003 % |
687.67/688.08	c |    991588 |     180    15300   107100 |    64481    56803     54 |  0.003 % |
688.47/688.86	c |    992641 |     180    15300   107100 |    64481    57856     54 |  0.003 % |
689.17/689.55	c |    993800 |     180    15300   107100 |    64481    59015     54 |  0.003 % |
689.97/690.30	c |    995075 |     180    15300   107100 |    64481    60290     54 |  0.003 % |
690.97/691.34	c |    996476 |     180    15300   107100 |    64481    61691     54 |  0.003 % |
692.07/692.49	c |    998017 |     180    15300   107100 |    64481    63232     54 |  0.003 % |
693.47/693.83	c |    999713 |     180    15300   107100 |    64481    57650     54 |  0.003 % |
694.67/695.01	c |   1001578 |     180    15300   107100 |    57937    53090     54 |  0.003 % |
695.87/696.29	c |   1003627 |     180    15300   107100 |    57937    55139     54 |  0.003 % |
697.17/697.56	c |   1005881 |     180    15300   107100 |    57937    57393     54 |  0.003 % |
698.56/698.91	c |   1008359 |     180    15300   107100 |    57937    54070     54 |  0.003 % |
699.96/700.38	c |   1011086 |     180    15300   107100 | 2147483647    56797     54 |  0.003 % |
702.16/702.52	c |   1014084 |     180    15300   107100 | 2147483647    59795     54 |  0.003 % |
704.46/704.81	c |   1017383 |     180    15300   107100 | 2147483647    63094     54 |  0.003 % |
706.86/707.23	c |   1021009 |     180    15300   107100 | 2147483647    66720     54 |  0.003 % |
709.66/710.02	c |   1024996 |     180    15300   107100 | 2147483647    70707     54 |  0.003 % |
712.96/713.32	c |   1029381 |     180    15300   107100 | 2147483647    75092     54 |  0.003 % |
716.16/716.57	c |   1034206 |     180    15300   107100 |    75711    69787     54 |  0.003 % |
720.05/720.46	c |   1039512 |     180    15300   107100 |    75711    75093     54 |  0.003 % |
724.45/724.89	c |   1045347 |     180    15300   107100 |    75581    71404     54 |  0.003 % |
729.25/729.65	c |   1051765 |     180    15300   107100 |    65479    58171     54 |  0.003 % |
733.65/734.07	c |   1058827 |     180    15300   107100 |    65479    65233     54 |  0.003 % |
738.75/739.15	c |   1066593 |     180    15300   107100 | 2147483647    66444     54 |  0.003 % |
744.85/745.29	c |   1075133 |     180    15300   107100 |    69851    67757     55 |  0.003 % |
751.14/751.57	c |   1084527 |     180    15300   107100 |    64040    61071     55 |  0.003 % |
751.24/751.66	c |   1084628 |     180    15300   107100 |    64040    61172     55 |  0.003 % |
751.34/751.76	c |   1084738 |     180    15300   107100 |    64040    61282     55 |  0.003 % |
751.44/751.85	c |   1084859 |     180    15300   107100 |    64040    61403     55 |  0.003 % |
751.54/751.95	c |   1084993 |     180    15300   107100 |    64040    61537     55 |  0.003 % |
751.64/752.08	c |   1085140 |     180    15300   107100 |    64040    61684     55 |  0.003 % |
751.74/752.19	c |   1085300 |     180    15300   107100 |    64040    61844     55 |  0.003 % |
751.84/752.30	c |   1085476 |     180    15300   107100 |    64040    62020     55 |  0.003 % |
752.05/752.42	c |   1085669 |     180    15300   107100 |    64040    62213     55 |  0.003 % |
752.15/752.56	c |   1085881 |     180    15300   107100 |    64040    62425     55 |  0.003 % |
752.34/752.71	c |   1086115 |     180    15300   107100 |    64040    62659     55 |  0.003 % |
752.44/752.86	c |   1086373 |     180    15300   107100 |    64040    62917     55 |  0.003 % |
752.64/753.05	c |   1086655 |     180    15300   107100 |    64040    63199     55 |  0.003 % |
752.84/753.25	c |   1086964 |     180    15300   107100 |    64040    63508     55 |  0.003 % |
753.04/753.45	c |   1087303 |     180    15300   107100 |    64040    63847     55 |  0.003 % |
753.34/753.74	c |   1087675 |     180    15300   107100 |    64040    57808     55 |  0.003 % |
753.54/753.97	c |   1088084 |     180    15300   107100 |    64040    58217     55 |  0.003 % |
753.94/754.33	c |   1088534 |     180    15300   107100 |    64040    58667     55 |  0.003 % |
754.34/754.73	c |   1089027 |     180    15300   107100 |    64040    59160     55 |  0.003 % |
754.74/755.11	c |   1089569 |     180    15300   107100 |    64040    59702     55 |  0.003 % |
755.14/755.54	c |   1090167 |     180    15300   107100 | 2147483647    60300     55 |  0.003 % |
755.64/756.04	c |   1090823 |     180    15300   107100 | 2147483647    60956     55 |  0.003 % |
756.14/756.56	c |   1091543 |     180    15300   107100 | 2147483647    61676     55 |  0.003 % |
756.74/757.19	c |   1092335 |     180    15300   107100 | 2147483647    62468     55 |  0.003 % |
757.44/757.81	c |   1093206 |     180    15300   107100 | 2147483647    63339     55 |  0.003 % |
758.04/758.45	c |   1094165 |     180    15300   107100 | 2147483647    64298     55 |  0.003 % |
758.74/759.18	c |   1095218 |     180    15300   107100 | 2147483647    65351     55 |  0.003 % |
759.54/759.95	c |   1096377 |     180    15300   107100 | 2147483647    66510     55 |  0.003 % |
760.44/760.82	c |   1097651 |     180    15300   107100 | 2147483647    67784     55 |  0.003 % |
761.44/761.82	c |   1099052 |     180    15300   107100 | 2147483647    69185     55 |  0.003 % |
762.84/763.20	c |   1100594 |     180    15300   107100 |    70133    62612     55 |  0.003 % |
764.14/764.53	c |   1102288 |     180    15300   107100 |    70133    64306     55 |  0.003 % |
765.44/765.81	c |   1104152 |     180    15300   107100 |    70133    66170     55 |  0.003 % |
766.94/767.36	c |   1106201 |     180    15300   107100 |    70133    68219     55 |  0.003 % |
768.74/769.15	c |   1108455 |     180    15300   107100 |    70133    61683     54 |  0.003 % |
770.53/770.92	c |   1110934 |     180    15300   107100 |    63228    56446     54 |  0.003 % |
772.43/772.80	c |   1113660 |     180    15300   107100 |    63228    59172     54 |  0.003 % |
774.43/774.80	c |   1116657 |     180    15300   107100 |    63228    62169     54 |  0.003 % |
776.73/777.14	c |   1119954 |     180    15300   107100 |    63228    59136     54 |  0.003 % |
779.23/779.69	c |   1123580 |     180    15300   107100 | 2147483647    62762     54 |  0.003 % |
782.33/782.70	c |   1127567 |     180    15300   107100 | 2147483647    66749     54 |  0.003 % |
785.43/785.81	c |   1131952 |     180    15300   107100 |    69184    63116     54 |  0.003 % |
788.63/789.05	c |   1136775 |     180    15300   107100 |    69184    67939     54 |  0.003 % |
792.14/792.55	c |   1142082 |     180    15300   107100 |    63425    58754     53 |  0.003 % |
795.64/796.01	c |   1147918 |     180    15300   107100 |    63425    58239     54 |  0.003 % |
799.73/800.18	c |   1154336 |     180    15300   107100 | 2147483647    64657     54 |  0.003 % |
804.53/804.95	c |   1161398 |     180    15300   107100 | 2147483647    71719     54 |  0.003 % |
810.33/810.78	c |   1169163 |     180    15300   107100 | 2147483647    79484     54 |  0.003 % |
816.73/817.10	c |   1177703 |     180    15300   107100 |    80322    76535     54 |  0.003 % |
823.83/824.24	c |   1187097 |     180    15300   107100 |    78833    74435     54 |  0.003 % |
831.42/831.84	c |   1197432 |     180    15300   107100 |    77339    73292     55 |  0.003 % |
831.52/831.91	c |   1197533 |     180    15300   107100 |    77339    73393     55 |  0.003 % |
831.62/832.02	c |   1197643 |     180    15300   107100 |    77339    73503     55 |  0.003 % |
831.72/832.12	c |   1197764 |     180    15300   107100 |    77339    73624     55 |  0.003 % |
831.82/832.25	c |   1197898 |     180    15300   107100 |    77339    73758     55 |  0.003 % |
831.92/832.39	c |   1198045 |     180    15300   107100 |    77339    73905     55 |  0.003 % |
832.12/832.56	c |   1198205 |     180    15300   107100 |    77339    74065     55 |  0.003 % |
832.33/832.71	c |   1198384 |     180    15300   107100 |    77339    74244     55 |  0.003 % |
832.43/832.88	c |   1198577 |     180    15300   107100 |    77339    74437     55 |  0.003 % |
832.72/833.10	c |   1198791 |     180    15300   107100 |    77339    74651     55 |  0.003 % |
832.92/833.32	c |   1199024 |     180    15300   107100 |    77339    74884     55 |  0.003 % |
833.12/833.59	c |   1199283 |     180    15300   107100 |    77339    75143     55 |  0.003 % |
833.43/833.85	c |   1199566 |     180    15300   107100 |    77339    75426     55 |  0.003 % |
833.72/834.16	c |   1199875 |     180    15300   107100 |    77339    75735     55 |  0.003 % |
834.12/834.56	c |   1200214 |     180    15300   107100 |    75861    64150     55 |  0.003 % |
834.42/834.83	c |   1200586 |     180    15300   107100 |    75861    64522     55 |  0.003 % |
834.72/835.13	c |   1200995 |     180    15300   107100 |    75861    64931     55 |  0.003 % |
835.02/835.48	c |   1201446 |     180    15300   107100 |    75861    65382     55 |  0.003 % |
835.42/835.83	c |   1201939 |     180    15300   107100 |    75861    65875     55 |  0.003 % |
835.82/836.26	c |   1202482 |     180    15300   107100 |    75861    66418     55 |  0.003 % |
836.32/836.75	c |   1203079 |     180    15300   107100 |    75861    67015     55 |  0.003 % |
836.92/837.34	c |   1203735 |     180    15300   107100 |    75861    67671     55 |  0.003 % |
837.52/837.98	c |   1204457 |     180    15300   107100 |    75861    68393     55 |  0.003 % |
838.12/838.58	c |   1205249 |     180    15300   107100 |    75861    69185     55 |  0.003 % |
838.82/839.22	c |   1206120 |     180    15300   107100 |    75861    70056     55 |  0.003 % |
839.52/839.95	c |   1207083 |     180    15300   107100 |    75861    71019     55 |  0.003 % |
840.42/840.82	c |   1208136 |     180    15300   107100 |    75861    72072     55 |  0.003 % |
841.32/841.72	c |   1209294 |     180    15300   107100 |    75861    73230     55 |  0.003 % |
842.42/842.87	c |   1210567 |     180    15300   107100 |    73937    63404     54 |  0.003 % |
843.62/844.01	c |   1211967 |     180    15300   107100 |    73937    64804     54 |  0.003 % |
844.72/845.17	c |   1213508 |     180    15300   107100 |    73937    66345     54 |  0.003 % |
846.02/846.46	c |   1215202 |     180    15300   107100 |    73937    68039     54 |  0.003 % |
847.52/847.92	c |   1217066 |     180    15300   107100 |    73937    69903     54 |  0.003 % |
849.11/849.53	c |   1219116 |     180    15300   107100 |    73937    71953     54 |  0.003 % |
850.61/851.10	c |   1221370 |     180    15300   107100 |    72839    63880     54 |  0.003 % |
852.22/852.69	c |   1223848 |     180    15300   107100 |    72839    66358     54 |  0.003 % |
854.11/854.56	c |   1226573 |     180    15300   107100 |    72839    69083     54 |  0.003 % |
856.41/856.89	c |   1229570 |     180    15300   107100 |    72839    72080     54 |  0.003 % |
859.31/859.70	c |   1232866 |     180    15300   107100 |    72512    65274     54 |  0.003 % |
861.71/862.11	c |   1236492 |     180    15300   107100 |    72512    68900     54 |  0.003 % |
864.41/864.83	c |   1240481 |     180    15300   107100 |    72410    63600     54 |  0.003 % |
867.31/867.75	c |   1244867 |     180    15300   107100 |    72410    67986     54 |  0.003 % |
870.81/871.21	c |   1249690 |     180    15300   107100 |    72410    64158     54 |  0.003 % |
874.01/874.48	c |   1254995 |     180    15300   107100 |    64469    61853     54 |  0.003 % |
877.81/878.28	c |   1260831 |     180    15300   107100 | 2147483647    61234     54 |  0.003 % |
882.30/882.76	c |   1267249 |     180    15300   107100 | 2147483647    67652     54 |  0.003 % |
887.00/887.41	c |   1274308 |     180    15300   107100 |    70404    67530     54 |  0.003 % |
892.20/892.67	c |   1282072 |     180    15300   107100 | 2147483647    68245     54 |  0.003 % |
898.50/898.99	c |   1290614 |     180    15300   107100 |    76174    66441     54 |  0.003 % |
904.80/905.27	c |   1300009 |     180    15300   107100 |    75828    75836     54 |  0.003 % |
912.40/912.83	c |   1310342 |     180    15300   107100 |    75643    65371     55 |  0.003 % |
920.69/921.18	c |   1321710 |     180    15300   107100 |    75031    66820     55 |  0.003 % |
920.79/921.27	c |   1321810 |     180    15300   107100 |    75031    66920     55 |  0.003 % |
920.89/921.36	c |   1321921 |     180    15300   107100 |    75031    67031     55 |  0.003 % |
920.99/921.45	c |   1322042 |     180    15300   107100 |    75031    67152     55 |  0.003 % |
921.09/921.58	c |   1322175 |     180    15300   107100 |    75031    67285     55 |  0.003 % |
921.29/921.70	c |   1322321 |     180    15300   107100 |    75031    67431     55 |  0.003 % |
921.40/921.83	c |   1322481 |     180    15300   107100 |    75031    67591     55 |  0.003 % |
921.50/921.98	c |   1322660 |     180    15300   107100 |    75031    67770     55 |  0.003 % |
921.69/922.12	c |   1322856 |     180    15300   107100 |    75031    67966     55 |  0.003 % |
921.89/922.30	c |   1323070 |     180    15300   107100 |    75031    68180     55 |  0.003 % |
922.09/922.53	c |   1323303 |     180    15300   107100 |    75031    68413     55 |  0.003 % |
922.29/922.76	c |   1323559 |     180    15300   107100 |    75031    68669     55 |  0.003 % |
922.60/923.00	c |   1323842 |     180    15300   107100 |    75031    68952     55 |  0.003 % |
922.79/923.28	c |   1324152 |     180    15300   107100 |    75031    69262     55 |  0.003 % |
923.09/923.56	c |   1324492 |     180    15300   107100 |    75031    69602     55 |  0.003 % |
923.39/923.88	c |   1324864 |     180    15300   107100 |    75031    69974     55 |  0.003 % |
923.70/924.19	c |   1325275 |     180    15300   107100 |    75031    70385     55 |  0.003 % |
924.09/924.55	c |   1325724 |     180    15300   107100 |    75031    70834     55 |  0.003 % |
924.49/924.93	c |   1326217 |     180    15300   107100 |    75031    71327     55 |  0.003 % |
924.79/925.28	c |   1326759 |     180    15300   107100 |    75031    71869     55 |  0.003 % |
925.29/925.77	c |   1327356 |     180    15300   107100 |    75031    72466     55 |  0.003 % |
925.79/926.29	c |   1328012 |     180    15300   107100 |    75031    73122     55 |  0.003 % |
926.59/927.05	c |   1328736 |     180    15300   107100 |    75031    73846     55 |  0.003 % |
927.39/927.83	c |   1329531 |     180    15300   107100 |    75031    74641     55 |  0.003 % |
928.19/928.64	c |   1330402 |     180    15300   107100 |    75111    64157     54 |  0.003 % |
928.89/929.37	c |   1331361 |     180    15300   107100 |    75111    65116     54 |  0.003 % |
929.69/930.10	c |   1332414 |     180    15300   107100 |    75111    66169     54 |  0.003 % |
930.49/930.97	c |   1333572 |     180    15300   107100 |    75111    67327     54 |  0.003 % |
931.59/932.00	c |   1334845 |     180    15300   107100 |    75111    68600     54 |  0.003 % |
932.59/933.04	c |   1336245 |     180    15300   107100 |    75111    70000     54 |  0.003 % |
933.70/934.13	c |   1337786 |     180    15300   107100 |    75111    71541     54 |  0.003 % |
934.89/935.32	c |   1339480 |     180    15300   107100 |    75111    73235     54 |  0.003 % |
936.19/936.64	c |   1341343 |     180    15300   107100 |    73755    64678     54 |  0.003 % |
937.49/937.96	c |   1343395 |     180    15300   107100 |    73755    66730     54 |  0.003 % |
939.00/939.46	c |   1345649 |     180    15300   107100 |    73755    68984     54 |  0.003 % |
940.89/941.38	c |   1348127 |     180    15300   107100 |    73755    71462     54 |  0.003 % |
942.99/943.50	c |   1350852 |     180    15300   107100 |    73335    64192     54 |  0.003 % |
945.09/945.54	c |   1353849 |     180    15300   107100 |    73335    67189     54 |  0.003 % |
947.39/947.82	c |   1357147 |     180    15300   107100 |    73335    70487     54 |  0.003 % |
949.99/950.47	c |   1360772 |     180    15300   107100 |    73342    64671     54 |  0.003 % |
952.59/953.04	c |   1364759 |     180    15300   107100 |    73342    68658     54 |  0.003 % |
955.59/956.08	c |   1369145 |     180    15300   107100 |    73342    73044     54 |  0.003 % |
958.89/959.32	c |   1373971 |     180    15300   107100 |    65485    61911     54 |  0.003 % |
962.29/962.79	c |   1379277 |     180    15300   107100 |    65485    60659     54 |  0.003 % |
966.09/966.57	c |   1385112 |     180    15300   107100 | 2147483647    66494     54 |  0.003 % |
970.58/971.05	c |   1391530 |     180    15300   107100 | 2147483647    72912     54 |  0.003 % |
975.68/976.15	c |   1398591 |     180    15300   107100 | 2147483647    79973     54 |  0.003 % |
981.08/981.55	c |   1406355 |     180    15300   107100 |    81382    74809     55 |  0.003 % |
987.08/987.53	c |   1414896 |     180    15300   107100 |    78454    72211     55 |  0.003 % |
994.68/995.17	c |   1424291 |     180    15300   107100 |    77316    71190     55 |  0.003 % |
1002.98/1003.42	c |   1434624 |     180    15300   107100 |    76899    70039     55 |  0.003 % |
1011.27/1011.73	c |   1445990 |     180    15300   107100 |    75415    71180     55 |  0.003 % |
1020.87/1021.36	c |   1458493 |     180    15300   107100 |    75192    73456     55 |  0.003 % |
1020.97/1021.46	c |   1458593 |     180    15300   107100 |    75192    73556     55 |  0.003 % |
1021.17/1021.60	c |   1458704 |     180    15300   107100 |    75192    73667     55 |  0.003 % |
1021.27/1021.72	c |   1458825 |     180    15300   107100 |    75192    73788     55 |  0.003 % |
1021.37/1021.84	c |   1458958 |     180    15300   107100 |    75192    73921     55 |  0.003 % |
1021.47/1021.97	c |   1459105 |     180    15300   107100 |    75192    74068     55 |  0.003 % |
1021.67/1022.10	c |   1459265 |     180    15300   107100 |    75192    74228     55 |  0.003 % |
1021.77/1022.23	c |   1459441 |     180    15300   107100 |    75192    74404     55 |  0.003 % |
1021.97/1022.40	c |   1459635 |     180    15300   107100 |    75192    74598     55 |  0.003 % |
1022.07/1022.57	c |   1459847 |     180    15300   107100 |    75192    74810     55 |  0.003 % |
1022.27/1022.75	c |   1460082 |     180    15300   107100 |    74964    75045     55 |  0.003 % |
1022.57/1023.04	c |   1460339 |     180    15300   107100 |    74964    64906     55 |  0.003 % |
1022.77/1023.29	c |   1460620 |     180    15300   107100 |    74964    65187     55 |  0.003 % |
1023.07/1023.55	c |   1460929 |     180    15300   107100 |    74964    65496     55 |  0.003 % |
1023.37/1023.83	c |   1461268 |     180    15300   107100 |    74964    65835     55 |  0.003 % |
1023.67/1024.10	c |   1461640 |     180    15300   107100 |    74964    66207     55 |  0.003 % |
1023.97/1024.40	c |   1462049 |     180    15300   107100 |    74964    66616     55 |  0.003 % |
1024.27/1024.77	c |   1462498 |     180    15300   107100 |    74964    67065     55 |  0.003 % |
1024.77/1025.21	c |   1462991 |     180    15300   107100 |    74964    67558     55 |  0.003 % |
1025.17/1025.67	c |   1463534 |     180    15300   107100 |    74964    68101     55 |  0.003 % |
1025.77/1026.28	c |   1464131 |     180    15300   107100 |    74964    68698     55 |  0.003 % |
1026.37/1026.84	c |   1464786 |     180    15300   107100 |    74964    69353     55 |  0.003 % |
1026.97/1027.41	c |   1465507 |     180    15300   107100 |    74964    70074     55 |  0.003 % |
1027.57/1028.06	c |   1466300 |     180    15300   107100 |    74964    70867     55 |  0.003 % |
1028.17/1028.67	c |   1467171 |     180    15300   107100 |    74964    71738     55 |  0.003 % |
1028.87/1029.35	c |   1468129 |     180    15300   107100 |    74964    72696     55 |  0.003 % |
1029.67/1030.14	c |   1469184 |     180    15300   107100 |    74964    73751     55 |  0.003 % |
1030.56/1031.01	c |   1470342 |     180    15300   107100 |    74567    63766     54 |  0.003 % |
1031.37/1031.87	c |   1471615 |     180    15300   107100 |    74567    65039     54 |  0.003 % |
1032.26/1032.76	c |   1473017 |     180    15300   107100 |    74567    66441     54 |  0.003 % |
1033.26/1033.79	c |   1474558 |     180    15300   107100 |    74567    67982     54 |  0.003 % |
1034.67/1035.10	c |   1476255 |     180    15300   107100 |    74567    69679     54 |  0.003 % |
1035.87/1036.38	c |   1478119 |     180    15300   107100 |    74567    71543     54 |  0.003 % |
1037.66/1038.10	c |   1480171 |     180    15300   107100 |    73424    63559     54 |  0.003 % |
1039.17/1039.68	c |   1482425 |     180    15300   107100 |    73424    65813     54 |  0.003 % |
1040.86/1041.37	c |   1484904 |     180    15300   107100 |    73424    68292     54 |  0.003 % |
1042.86/1043.32	c |   1487630 |     180    15300   107100 |    73424    71018     54 |  0.003 % |
1045.06/1045.51	c |   1490628 |     180    15300   107100 |    73388    65590     54 |  0.003 % |
1047.36/1047.90	c |   1493925 |     180    15300   107100 |    73388    68887     54 |  0.003 % |
1050.06/1050.51	c |   1497550 |     180    15300   107100 |    73388    72512     54 |  0.003 % |
1052.86/1053.37	c |   1501538 |     180    15300   107100 |    65949    59405     53 |  0.003 % |
1055.76/1056.24	c |   1505923 |     180    15300   107100 |    65949    63790     53 |  0.003 % |
1058.96/1059.46	c |   1510746 |     180    15300   107100 | 2147483647    61692     53 |  0.003 % |
1062.35/1062.86	c |   1516051 |     180    15300   107100 | 2147483647    66997     53 |  0.003 % |
1066.56/1067.08	c |   1521886 |     180    15300   107100 |    70949    65185     54 |  0.003 % |
1071.06/1071.57	c |   1528304 |     180    15300   107100 |    70949    63528     54 |  0.003 % |
1075.36/1075.85	c |   1535363 |     180    15300   107100 |    65224    63445     54 |  0.003 % |
1080.35/1080.83	c |   1543128 |     180    15300   107100 | 2147483647    64679     54 |  0.003 % |
1086.05/1086.53	c |   1551670 |     180    15300   107100 | 2147483647    73221     54 |  0.003 % |
1093.05/1093.54	c |   1561065 |     180    15300   107100 |    81552    71214     54 |  0.003 % |
1101.04/1101.57	c |   1571400 |     180    15300   107100 |    80149    68193     55 |  0.003 % |
1109.14/1109.63	c |   1582766 |     180    15300   107100 |    76793    68150     55 |  0.003 % |
1117.64/1118.12	c |   1595269 |     180    15300   107100 |    75385    71098     55 |  0.003 % |
1126.63/1127.11	c |   1609021 |     180    15300   107100 |    66776    61185     55 |  0.003 % |
1126.73/1127.20	c |   1609121 |     180    15300   107100 |    66776    61285     55 |  0.003 % |
1126.73/1127.29	c |   1609231 |     180    15300   107100 |    66776    61395     55 |  0.003 % |
1126.83/1127.39	c |   1609353 |     180    15300   107100 |    66776    61517     55 |  0.003 % |
1126.93/1127.49	c |   1609487 |     180    15300   107100 |    66776    61651     55 |  0.003 % |
1127.14/1127.61	c |   1609635 |     180    15300   107100 |    66776    61799     55 |  0.003 % |
1127.23/1127.73	c |   1609795 |     180    15300   107100 |    66776    61959     55 |  0.003 % |
1127.33/1127.87	c |   1609973 |     180    15300   107100 |    66776    62137     55 |  0.003 % |
1127.53/1128.01	c |   1610168 |     180    15300   107100 | 2147483647    62332     55 |  0.003 % |
1127.63/1128.17	c |   1610381 |     180    15300   107100 | 2147483647    62545     55 |  0.003 % |
1127.83/1128.35	c |   1610614 |     180    15300   107100 | 2147483647    62778     55 |  0.003 % |
1128.03/1128.52	c |   1610871 |     180    15300   107100 | 2147483647    63035     55 |  0.003 % |
1128.23/1128.71	c |   1611152 |     180    15300   107100 | 2147483647    63316     55 |  0.003 % |
1128.43/1128.92	c |   1611463 |     180    15300   107100 | 2147483647    63627     55 |  0.003 % |
1128.63/1129.15	c |   1611804 |     180    15300   107100 | 2147483647    63968     55 |  0.003 % |
1128.93/1129.42	c |   1612177 |     180    15300   107100 | 2147483647    64341     55 |  0.003 % |
1129.23/1129.72	c |   1612586 |     180    15300   107100 | 2147483647    64750     55 |  0.003 % |
1129.63/1130.11	c |   1613035 |     180    15300   107100 | 2147483647    65199     55 |  0.003 % |
1130.03/1130.54	c |   1613530 |     180    15300   107100 | 2147483647    65694     55 |  0.003 % |
1130.53/1131.03	c |   1614072 |     180    15300   107100 | 2147483647    66236     55 |  0.003 % |
1130.93/1131.47	c |   1614668 |     180    15300   107100 | 2147483647    66832     55 |  0.003 % |
1131.43/1131.94	c |   1615323 |     180    15300   107100 | 2147483647    67487     55 |  0.003 % |
1131.93/1132.43	c |   1616043 |     180    15300   107100 | 2147483647    68207     55 |  0.003 % |
1132.63/1133.20	c |   1616838 |     180    15300   107100 | 2147483647    69002     55 |  0.003 % |
1133.43/1133.96	c |   1617710 |     180    15300   107100 | 2147483647    69874     55 |  0.003 % |
1134.23/1134.73	c |   1618669 |     180    15300   107100 | 2147483647    70833     54 |  0.003 % |
1135.03/1135.50	c |   1619722 |     180    15300   107100 | 2147483647    71886     55 |  0.003 % |
1135.84/1136.34	c |   1620880 |     180    15300   107100 |    72165    63642     54 |  0.003 % |
1136.63/1137.20	c |   1622155 |     180    15300   107100 |    72165    64917     54 |  0.003 % |
1137.63/1138.19	c |   1623556 |     180    15300   107100 |    72165    66318     54 |  0.003 % |
1138.93/1139.41	c |   1625099 |     180    15300   107100 |    72165    67861     54 |  0.003 % |
1140.43/1140.91	c |   1626793 |     180    15300   107100 |    72165    69555     54 |  0.003 % |
1141.83/1142.30	c |   1628656 |     180    15300   107100 |    72165    71418     54 |  0.003 % |
1143.33/1143.88	c |   1630706 |     180    15300   107100 |    63385    56057     54 |  0.003 % |
1144.63/1145.19	c |   1632959 |     180    15300   107100 |    63385    58310     54 |  0.003 % |
1146.23/1146.79	c |   1635437 |     180    15300   107100 |    63385    60788     54 |  0.003 % |
1148.13/1148.65	c |   1638162 |     180    15300   107100 |    63385    57167     54 |  0.003 % |
1149.82/1150.38	c |   1641159 |     180    15300   107100 | 2147483647    60164     54 |  0.003 % |
1152.02/1152.55	c |   1644456 |     180    15300   107100 | 2147483647    63461     54 |  0.003 % |
1154.32/1154.83	c |   1648084 |     180    15300   107100 | 2147483647    67089     54 |  0.003 % |
1157.22/1157.78	c |   1652071 |     180    15300   107100 | 2147483647    71076     54 |  0.003 % |
1160.72/1161.28	c |   1656456 |     180    15300   107100 | 2147483647    75461     54 |  0.003 % |
1164.92/1165.40	c |   1661279 |     180    15300   107100 |    79005    68550     54 |  0.003 % |
1168.92/1169.41	c |   1666585 |     180    15300   107100 |    79005    73856     54 |  0.003 % |
1173.12/1173.64	c |   1672420 |     180    15300   107100 |    77271    68276     54 |  0.003 % |
1177.82/1178.31	c |   1678838 |     180    15300   107100 |    77271    74694     54 |  0.003 % |
1183.01/1183.59	c |   1685897 |     180    15300   107100 |    75857    70763     55 |  0.003 % |
1189.72/1190.23	c |   1693661 |     180    15300   107100 |    74866    67778     55 |  0.003 % |
1195.71/1196.25	c |   1702204 |     180    15300   107100 |    74118    66376     55 |  0.003 % |
1200.01/1200.51	HOME/SatELiteGTI: line 36: 25273 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-1832581-1242784828/watcher-1832581-1242784828 -o /tmp/evaluation-result-1832581-1242784828/solver-1832581-1242784828 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832581-1242784828.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.92 0.98 0.99 3/64 25267
/proc/meminfo: memFree=1754200/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306510308 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 235371462738 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/25267/statm: 1339 235 195 169 0 50 0
[pid=25268] ppid=25267 vsize=5356 CPUtime=0
/proc/25268/stat : 25268 (SatELiteGTI) R 25267 25267 24639 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306510308 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/25268/statm: 1339 238 198 169 0 50 0
[pid=25270] ppid=25268 vsize=0 CPUtime=0
/proc/25270/stat : 25270 (sed) Z 25268 25267 24639 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306510308 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/25270/statm: 0 0 0 0 0 0 0

[startup+0.102756 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25267
/proc/meminfo: memFree=1754200/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.201763 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25267
/proc/meminfo: memFree=1754200/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301772 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25267
/proc/meminfo: memFree=1754200/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701809 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25267
/proc/meminfo: memFree=1754200/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50188 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 25273
/proc/meminfo: memFree=1750664/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=4800 CPUtime=1.43
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 946 0 0 0 143 0 0 0 25 0 1 0 306510313 4915200 932 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 1200 932 76 171 0 1027 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10156

[startup+3.10202 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 25273
/proc/meminfo: memFree=1748744/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=7072 CPUtime=3.03
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 1507 0 0 0 302 1 0 0 25 0 1 0 306510313 7241728 1493 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 1768 1493 76 171 0 1595 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12428

[startup+6.30231 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 25273
/proc/meminfo: memFree=1745224/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=9900 CPUtime=6.23
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 2216 0 0 0 622 1 0 0 25 0 1 0 306510313 10137600 2202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 2475 2202 76 171 0 2302 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15256

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 25273
/proc/meminfo: memFree=1741128/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=13680 CPUtime=12.63
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 3155 0 0 0 1260 3 0 0 25 0 1 0 306510313 14008320 3141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 3420 3141 76 171 0 3247 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19036

[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 25273
/proc/meminfo: memFree=1735816/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=18820 CPUtime=25.42
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 4430 0 0 0 2537 5 0 0 25 0 1 0 306510313 19271680 4416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 4705 4416 76 171 0 4532 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 24176

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 25279
/proc/meminfo: memFree=1732552/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=21864 CPUtime=51.01
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5186 0 0 0 5094 7 0 0 25 0 1 0 306510313 22388736 5172 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 5466 5172 76 171 0 5293 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 27220

[startup+102.302 s]
/proc/loadavg: 1.14 1.02 1.01 2/66 25755
/proc/meminfo: memFree=1690120/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=21996 CPUtime=102.14
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5244 0 0 0 10206 8 0 0 25 0 1 0 306510313 22523904 5230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 5499 5230 76 171 0 5326 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 27352

[startup+162.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 25755
/proc/meminfo: memFree=1690304/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=21996 CPUtime=162.11
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5244 0 0 0 16202 9 0 0 25 0 1 0 306510313 22523904 5230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 5499 5230 76 171 0 5326 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 27352

[startup+222.306 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1690304/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=21996 CPUtime=222.08
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5244 0 0 0 22199 9 0 0 25 0 1 0 306510313 22523904 5230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 5499 5230 76 171 0 5326 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 27352

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1690304/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=21996 CPUtime=282.05
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5244 0 0 0 28196 9 0 0 25 0 1 0 306510313 22523904 5230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 5499 5230 76 171 0 5326 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 27352

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1687936/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=24388 CPUtime=342.03
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5832 0 0 0 34192 11 0 0 25 0 1 0 306510313 24973312 5818 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6097 5818 76 171 0 5924 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 29744

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1687552/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=24784 CPUtime=402.01

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

[pid=25273] ppid=25267 vsize=24920 CPUtime=461.98
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5960 0 0 0 46187 11 0 0 25 0 1 0 306510313 25518080 5946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6230 5946 76 171 0 6057 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 30276

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1687112/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=24920 CPUtime=521.96
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5961 0 0 0 52185 11 0 0 25 0 1 0 306510313 25518080 5947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6230 5947 76 171 0 6057 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 30276

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1687048/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=24920 CPUtime=581.95
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5961 0 0 0 58183 12 0 0 25 0 1 0 306510313 25518080 5947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6230 5947 76 171 0 6057 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 30276

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1686920/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=24920 CPUtime=641.93
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 5961 0 0 0 64181 12 0 0 25 0 1 0 306510313 25518080 5947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6230 5947 76 171 0 6057 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 30276

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1686600/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=25052 CPUtime=701.91
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6004 0 0 0 70178 13 0 0 25 0 1 0 306510313 25653248 5990 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6263 5990 76 171 0 6090 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 30408

[startup+762.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1686536/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=25052 CPUtime=761.89
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6004 0 0 0 76176 13 0 0 25 0 1 0 306510313 25653248 5990 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6263 5990 76 171 0 6090 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 30408

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1686088/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=25448 CPUtime=821.88
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6091 0 0 0 82174 14 0 0 25 0 1 0 306510313 26058752 6077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6362 6077 76 171 0 6189 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 30804

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1685832/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=25580 CPUtime=881.86
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6144 0 0 0 88172 14 0 0 25 0 1 0 306510313 26193920 6130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6395 6130 76 171 0 6222 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 30936

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1685640/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=25580 CPUtime=941.84
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6144 0 0 0 94169 15 0 0 25 0 1 0 306510313 26193920 6130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6395 6130 76 171 0 6222 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 30936

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1685128/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=26116 CPUtime=1001.83
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6260 0 0 0 100168 15 0 0 25 0 1 0 306510313 26742784 6246 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6529 6246 76 171 0 6356 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 31472

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1684936/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=26252 CPUtime=1061.8
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6281 0 0 0 106165 15 0 0 25 0 1 0 306510313 26882048 6267 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6563 6267 76 171 0 6390 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 31608

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1684680/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=26396 CPUtime=1121.78
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6319 0 0 0 112163 15 0 0 25 0 1 0 306510313 27029504 6305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6599 6305 76 171 0 6426 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 31752

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1684552/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=26396 CPUtime=1181.77
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6340 0 0 0 118161 16 0 0 25 0 1 0 306510313 27029504 6326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6599 6326 76 171 0 6426 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 31752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25755
/proc/meminfo: memFree=1684488/2055920 swapFree=4180304/4192956
[pid=25267] ppid=25265 vsize=5356 CPUtime=0.05
/proc/25267/stat : 25267 (SatELiteGTI) S 25265 25267 24639 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306510308 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25267/statm: 1339 239 197 169 0 50 0
[pid=25273] ppid=25267 vsize=26396 CPUtime=1199.96
/proc/25273/stat : 25273 (minisat_static) R 25267 25267 24639 0 -1 4194304 6340 0 0 0 119980 16 0 0 25 0 1 0 306510313 27029504 6326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25273/statm: 6599 6326 76 171 0 6426 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 31752

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.04
CPU user time (s): 1199.86
CPU system time (s): 0.174973
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 31752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7393
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 4345

runsolver used 1.36479 second user time and 3.15852 second system time

The end

Launcher Data

Begin job on node51 at 2009-05-20 04:00:28
IDJOB=1832581
IDBENCH=70254
IDSOLVER=671
FILE ID=node51/1832581-1242784828
PBS_JOBID= 9322335
Free space on /tmp= 66204 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/180/unif-k7-r85-v180-c15300-S1992353905-004.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832581-1242784828/watcher-1832581-1242784828 -o /tmp/evaluation-result-1832581-1242784828/solver-1832581-1242784828 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832581-1242784828.cnf

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

MD5SUM BENCH= bd2ffd9bc7cc85da4d9e7498163745df
RANDOM SEED=1911779892

node51.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.214
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.214
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:       1754744 kB
Buffers:         25060 kB
Cached:         237368 kB
SwapCached:       6784 kB
Active:          81336 kB
Inactive:       189888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754744 kB
SwapTotal:     4192956 kB
SwapFree:      4180304 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:          13984 kB
Slab:            16024 kB
Committed_AS:   889976 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66200 MiB
End job on node51 at 2009-05-20 04:20:30