Trace number 1832457

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
MD5SUM460680b15ea4b6f4cb4765d23626d1a5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark291.448
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of clauses20000
Sum of the clauses size100000
Maximum clause length5
Minimum clause length5
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 520000
Number of clauses of size over 50

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 |   20000   100000 |    5999       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 1000   #clauses: 20000   #literals: 100000
0.00/0.02	c CPU time:   0.018997 s
0.00/0.02	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.04/0.06	c ============================[ Problem Statistics ]=============================
0.04/0.06	c |                                                                             |
0.04/0.06	c |  Number of variables:  1000                                                 |
0.04/0.06	c |  Number of clauses:    20000                                                |
0.04/0.07	c |  Parsing time:         0.01         s                                       |
0.04/0.07	c ============================[ Search Statistics ]==============================
0.04/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.04/0.07	c ===============================================================================
0.04/0.07	c |         0 |    1000    20000   100000 |     6666        0    nan |  0.000 % |
0.04/0.09	c |       100 |    1000    20000   100000 |     6666      100    107 |  0.000 % |
0.04/0.10	c |       201 |    1000    20000   100000 |     6666      201    124 |  0.000 % |
0.04/0.11	c |       303 |    1000    20000   100000 |     6666      303    118 |  0.000 % |
0.04/0.12	c |       414 |    1000    20000   100000 |     6666      414    117 |  0.000 % |
0.04/0.13	c |       514 |    1000    20000   100000 |     6666      514    114 |  0.000 % |
0.04/0.15	c |       624 |    1000    20000   100000 |     6666      624    111 |  0.000 % |
0.04/0.16	c |       747 |    1000    20000   100000 |     6666      747    114 |  0.000 % |
0.04/0.17	c |       847 |    1000    20000   100000 |     6666      847    114 |  0.000 % |
0.04/0.18	c |       957 |    1000    20000   100000 |     6666      957    115 |  0.000 % |
0.04/0.20	c |      1079 |    1000    20000   100000 |     6666     1079    116 |  0.000 % |
0.04/0.21	c |      1214 |    1000    20000   100000 |     6666     1214    117 |  0.000 % |
0.04/0.23	c |      1314 |    1000    20000   100000 |     6666     1314    118 |  0.000 % |
0.04/0.24	c |      1424 |    1000    20000   100000 |     6666     1424    118 |  0.000 % |
0.04/0.25	c |      1547 |    1000    20000   100000 |     6666     1547    117 |  0.000 % |
0.04/0.27	c |      1683 |    1000    20000   100000 |     6666     1683    117 |  0.000 % |
0.04/0.28	c |      1829 |    1000    20000   100000 |     6666     1829    117 |  0.000 % |
0.04/0.30	c |      1929 |    1000    20000   100000 |     6666     1929    118 |  0.000 % |
0.04/0.31	c |      2039 |    1000    20000   100000 |     6666     2039    119 |  0.000 % |
0.04/0.33	c |      2161 |    1000    20000   100000 |     6666     2161    119 |  0.000 % |
0.04/0.34	c |      2295 |    1000    20000   100000 |     6666     2295    120 |  0.000 % |
0.04/0.36	c |      2441 |    1000    20000   100000 |     6666     2441    119 |  0.000 % |
0.04/0.38	c |      2603 |    1000    20000   100000 |     6666     2603    120 |  0.000 % |
0.04/0.39	c |      2703 |    1000    20000   100000 |     6666     2703    119 |  0.000 % |
0.04/0.41	c |      2813 |    1000    20000   100000 |     6666     2813    120 |  0.000 % |
0.04/0.42	c |      2935 |    1000    20000   100000 |     6666     2935    120 |  0.000 % |
0.04/0.44	c |      3068 |    1000    20000   100000 |     6666     3068    120 |  0.000 % |
0.04/0.46	c |      3214 |    1000    20000   100000 |     6666     3214    120 |  0.000 % |
0.04/0.48	c |      3375 |    1000    20000   100000 |     6666     3375    120 |  0.000 % |
0.04/0.50	c |      3552 |    1000    20000   100000 |     6666     3552    120 |  0.000 % |
0.04/0.51	c |      3655 |    1000    20000   100000 |     6666     3655    120 |  0.000 % |
0.04/0.52	c |      3765 |    1000    20000   100000 |     6666     3765    120 |  0.000 % |
0.04/0.54	c |      3887 |    1000    20000   100000 |     6666     3887    120 |  0.000 % |
0.04/0.56	c |      4020 |    1000    20000   100000 |     6666     4020    119 |  0.000 % |
0.04/0.58	c |      4166 |    1000    20000   100000 |     6666     4166    119 |  0.000 % |
0.04/0.60	c |      4326 |    1000    20000   100000 |     6666     4326    120 |  0.000 % |
0.04/0.62	c |      4502 |    1000    20000   100000 |     6666     4502    120 |  0.000 % |
0.04/0.64	c |      4695 |    1000    20000   100000 |     6666     4695    120 |  0.000 % |
0.04/0.66	c |      4795 |    1000    20000   100000 |     6666     4795    120 |  0.000 % |
0.04/0.67	c |      4907 |    1000    20000   100000 |     6666     4907    119 |  0.000 % |
0.04/0.69	c |      5028 |    1000    20000   100000 |     6666     5028    119 |  0.000 % |
0.04/0.71	c |      5161 |    1000    20000   100000 |     6666     5161    119 |  0.000 % |
0.04/0.73	c |      5308 |    1000    20000   100000 |     6666     5308    119 |  0.000 % |
0.04/0.75	c |      5468 |    1000    20000   100000 |     6666     5468    120 |  0.000 % |
0.04/0.77	c |      5644 |    1000    20000   100000 |     6666     5644    120 |  0.000 % |
0.04/0.80	c |      5840 |    1000    20000   100000 |     6666     5840    120 |  0.000 % |
0.04/0.83	c |      6054 |    1000    20000   100000 |     6666     6054    120 |  0.000 % |
0.04/0.84	c |      6154 |    1000    20000   100000 |     6666     6154    120 |  0.000 % |
0.04/0.86	c |      6265 |    1000    20000   100000 |     6666     6265    120 |  0.000 % |
0.04/0.88	c |      6386 |    1000    20000   100000 |     6666     6386    120 |  0.000 % |
0.04/0.90	c |      6519 |    1000    20000   100000 |     6666     6519    120 |  0.000 % |
0.04/0.92	c |      6665 |    1000    20000   100000 |     6666     6665    120 |  0.000 % |
0.04/0.94	c |      6825 |    1000    20000   100000 |     6666     6825    120 |  0.000 % |
0.04/0.97	c |      7002 |    1000    20000   100000 |     6666     6320    119 |  0.000 % |
0.97/1.00	c |      7197 |    1000    20000   100000 |     6666     6515    119 |  0.000 % |
0.97/1.03	c |      7409 |    1000    20000   100000 |     6666     6727    119 |  0.000 % |
0.97/1.07	c |      7643 |    1000    20000   100000 |     6666     6289    119 |  0.000 % |
0.97/1.08	c |      7744 |    1000    20000   100000 |     6666     6390    119 |  0.000 % |
0.97/1.10	c |      7855 |    1000    20000   100000 |     6666     6501    119 |  0.000 % |
1.07/1.12	c |      7976 |    1000    20000   100000 |     6666     6622    119 |  0.000 % |
1.07/1.14	c |      8113 |    1000    20000   100000 |     6666     6759    119 |  0.000 % |
1.07/1.16	c |      8262 |    1000    20000   100000 |     6666     6233    119 |  0.000 % |
1.07/1.18	c |      8422 |    1000    20000   100000 |     6666     6393    119 |  0.000 % |
1.17/1.21	c |      8598 |    1000    20000   100000 |     6666     6569    119 |  0.000 % |
1.17/1.24	c |      8791 |    1000    20000   100000 |     6666     6762    120 |  0.000 % |
1.17/1.27	c |      9004 |    1000    20000   100000 |     6666     6299    119 |  0.000 % |
1.27/1.30	c |      9237 |    1000    20000   100000 |     6666     6532    119 |  0.000 % |
1.27/1.34	c |      9494 |    1000    20000   100000 |     6666     6789    119 |  0.000 % |
1.27/1.36	c |      9594 |    1000    20000   100000 |     6666     6211    119 |  0.000 % |
1.27/1.37	c |      9704 |    1000    20000   100000 |     6666     6321    119 |  0.000 % |
1.27/1.39	c |      9825 |    1000    20000   100000 |     6666     6442    119 |  0.000 % |
1.37/1.41	c |      9958 |    1000    20000   100000 |     6666     6575    119 |  0.000 % |
1.37/1.43	c |     10104 |    1000    20000   100000 | 2147483647     6721    119 |  0.000 % |
1.37/1.45	c |     10266 |    1000    20000   100000 | 2147483647     6883    119 |  0.000 % |
1.37/1.48	c |     10445 |    1000    20000   100000 | 2147483647     7062    119 |  0.000 % |
1.47/1.51	c |     10639 |    1000    20000   100000 | 2147483647     7256    119 |  0.000 % |
1.47/1.54	c |     10853 |    1000    20000   100000 | 2147483647     7470    119 |  0.000 % |
1.47/1.58	c |     11086 |    1000    20000   100000 | 2147483647     7703    119 |  0.000 % |
1.57/1.62	c |     11342 |    1000    20000   100000 | 2147483647     7959    119 |  0.000 % |
1.57/1.66	c |     11624 |    1000    20000   100000 | 2147483647     8241    119 |  0.000 % |
1.57/1.68	c |     11725 |    1000    20000   100000 | 2147483647     8342    119 |  0.000 % |
1.57/1.69	c |     11835 |    1000    20000   100000 | 2147483647     8452    119 |  0.000 % |
1.67/1.71	c |     11956 |    1000    20000   100000 | 2147483647     8573    119 |  0.000 % |
1.67/1.73	c |     12092 |    1000    20000   100000 | 2147483647     8709    119 |  0.000 % |
1.67/1.76	c |     12240 |    1000    20000   100000 | 2147483647     8857    119 |  0.000 % |
1.67/1.78	c |     12400 |    1000    20000   100000 | 2147483647     9017    119 |  0.000 % |
1.77/1.81	c |     12576 |    1000    20000   100000 | 2147483647     9193    119 |  0.000 % |
1.77/1.84	c |     12772 |    1000    20000   100000 | 2147483647     9389    119 |  0.000 % |
1.77/1.88	c |     12984 |    1000    20000   100000 | 2147483647     9601    120 |  0.000 % |
1.86/1.91	c |     13218 |    1000    20000   100000 | 2147483647     9835    120 |  0.000 % |
1.86/1.95	c |     13475 |    1000    20000   100000 | 2147483647    10092    120 |  0.000 % |
1.86/2.00	c |     13758 |    1000    20000   100000 | 2147483647    10375    120 |  0.000 % |
1.96/2.05	c |     14067 |    1000    20000   100000 | 2147483647    10684    120 |  0.000 % |
1.96/2.07	c |     14167 |    1000    20000   100000 | 2147483647    10784    120 |  0.000 % |
1.96/2.09	c |     14277 |    1000    20000   100000 | 2147483647    10894    120 |  0.000 % |
2.07/2.11	c |     14398 |    1000    20000   100000 | 2147483647    11015    121 |  0.000 % |
2.07/2.14	c |     14532 |    1000    20000   100000 | 2147483647    11149    121 |  0.000 % |
2.07/2.16	c |     14679 |    1000    20000   100000 | 2147483647    11296    121 |  0.000 % |
2.07/2.19	c |     14843 |    1000    20000   100000 | 2147483647    11460    121 |  0.000 % |
2.17/2.22	c |     15019 |    1000    20000   100000 | 2147483647    11636    121 |  0.000 % |
2.17/2.26	c |     15212 |    1000    20000   100000 | 2147483647    11829    121 |  0.000 % |
2.17/2.30	c |     15425 |    1000    20000   100000 | 2147483647    12042    121 |  0.000 % |
2.26/2.34	c |     15658 |    1000    20000   100000 | 2147483647    12275    121 |  0.000 % |
2.26/2.38	c |     15915 |    1000    20000   100000 | 2147483647    12532    121 |  0.000 % |
2.36/2.44	c |     16198 |    1000    20000   100000 | 2147483647    12815    121 |  0.000 % |
2.36/2.50	c |     16508 |    1000    20000   100000 | 2147483647    13125    121 |  0.000 % |
2.46/2.56	c |     16847 |    1000    20000   100000 | 2147483647    13464    122 |  0.000 % |
2.46/2.58	c |     16948 |    1000    20000   100000 | 2147483647    13565    122 |  0.000 % |
2.56/2.60	c |     17058 |    1000    20000   100000 | 2147483647    13675    122 |  0.000 % |
2.56/2.62	c |     17179 |    1000    20000   100000 | 2147483647    13796    122 |  0.000 % |
2.56/2.65	c |     17312 |    1000    20000   100000 | 2147483647    13929    122 |  0.000 % |
2.56/2.68	c |     17459 |    1000    20000   100000 | 2147483647    14076    122 |  0.000 % |
2.66/2.71	c |     17621 |    1000    20000   100000 | 2147483647    14238    122 |  0.000 % |
2.66/2.75	c |     17797 |    1000    20000   100000 | 2147483647    14414    122 |  0.000 % |
2.66/2.78	c |     17994 |    1000    20000   100000 | 2147483647    14611    122 |  0.000 % |
2.75/2.82	c |     18208 |    1000    20000   100000 | 2147483647    14825    122 |  0.000 % |
2.75/2.87	c |     18441 |    1000    20000   100000 | 2147483647    15058    122 |  0.000 % |
2.85/2.93	c |     18699 |    1000    20000   100000 | 2147483647    15316    122 |  0.000 % |
2.85/2.98	c |     18980 |    1000    20000   100000 | 2147483647    15597    122 |  0.000 % |
2.95/3.04	c |     19290 |    1000    20000   100000 | 2147483647    15907    122 |  0.000 % |
3.05/3.11	c |     19629 |    1000    20000   100000 | 2147483647    16246    122 |  0.000 % |
3.05/3.19	c |     20001 |    1000    20000   100000 | 2147483647    16618    122 |  0.000 % |
3.15/3.21	c |     20101 |    1000    20000   100000 | 2147483647    16718    122 |  0.000 % |
3.15/3.24	c |     20211 |    1000    20000   100000 | 2147483647    16828    122 |  0.000 % |
3.15/3.26	c |     20334 |    1000    20000   100000 | 2147483647    16951    122 |  0.000 % |
3.15/3.29	c |     20467 |    1000    20000   100000 | 2147483647    17084    122 |  0.000 % |
3.26/3.32	c |     20613 |    1000    20000   100000 | 2147483647    17230    122 |  0.000 % |
3.26/3.36	c |     20773 |    1000    20000   100000 | 2147483647    17390    122 |  0.000 % |
3.26/3.39	c |     20949 |    1000    20000   100000 | 2147483647    17566    122 |  0.000 % |
3.36/3.44	c |     21147 |    1000    20000   100000 | 2147483647    17764    122 |  0.000 % |
3.36/3.49	c |     21359 |    1000    20000   100000 | 2147483647    17976    122 |  0.000 % |
3.46/3.54	c |     21594 |    1000    20000   100000 | 2147483647    18211    122 |  0.000 % |
3.46/3.60	c |     21853 |    1000    20000   100000 | 2147483647    18470    122 |  0.000 % |
3.56/3.66	c |     22134 |    1000    20000   100000 | 2147483647    18751    123 |  0.000 % |
3.66/3.73	c |     22443 |    1000    20000   100000 | 2147483647    19060    123 |  0.000 % |
3.76/3.80	c |     22784 |    1000    20000   100000 | 2147483647    19401    123 |  0.000 % |
3.76/3.88	c |     23157 |    1000    20000   100000 | 2147483647    19774    122 |  0.000 % |
3.86/3.98	c |     23569 |    1000    20000   100000 | 2147483647    20186    122 |  0.000 % |
3.95/4.01	c |     23669 |    1000    20000   100000 | 2147483647    20286    122 |  0.000 % |
3.95/4.04	c |     23780 |    1000    20000   100000 | 2147483647    20397    122 |  0.000 % |
3.95/4.07	c |     23902 |    1000    20000   100000 | 2147483647    20519    122 |  0.000 % |
4.05/4.10	c |     24036 |    1000    20000   100000 | 2147483647    20653    122 |  0.000 % |
4.05/4.14	c |     24182 |    1000    20000   100000 | 2147483647    20799    122 |  0.000 % |
4.05/4.18	c |     24342 |    1000    20000   100000 | 2147483647    20959    122 |  0.000 % |
4.15/4.22	c |     24518 |    1000    20000   100000 | 2147483647    21135    122 |  0.000 % |
4.15/4.27	c |     24713 |    1000    20000   100000 | 2147483647    21330    122 |  0.000 % |
4.26/4.33	c |     24926 |    1000    20000   100000 | 2147483647    21543    122 |  0.000 % |
4.26/4.38	c |     25160 |    1000    20000   100000 | 2147483647    21777    122 |  0.000 % |
4.36/4.44	c |     25417 |    1000    20000   100000 | 2147483647    22034    122 |  0.000 % |
4.45/4.52	c |     25698 |    1000    20000   100000 | 2147483647    22315    122 |  0.000 % |
4.55/4.60	c |     26008 |    1000    20000   100000 | 2147483647    22625    122 |  0.000 % |
4.55/4.69	c |     26347 |    1000    20000   100000 | 2147483647    22964    123 |  0.000 % |
4.65/4.78	c |     26719 |    1000    20000   100000 | 2147483647    23336    123 |  0.000 % |
4.75/4.89	c |     27129 |    1000    20000   100000 | 2147483647    23746    123 |  0.000 % |
4.95/5.01	c |     27579 |    1000    20000   100000 | 2147483647    24196    123 |  0.000 % |
4.95/5.04	c |     27681 |    1000    20000   100000 | 2147483647    24298    123 |  0.000 % |
4.95/5.07	c |     27793 |    1000    20000   100000 | 2147483647    24410    123 |  0.000 % |
5.05/5.11	c |     27914 |    1000    20000   100000 | 2147483647    24531    123 |  0.000 % |
5.05/5.14	c |     28048 |    1000    20000   100000 | 2147483647    24665    123 |  0.000 % |
5.05/5.19	c |     28195 |    1000    20000   100000 | 2147483647    24812    123 |  0.000 % |
5.15/5.24	c |     28355 |    1000    20000   100000 | 2147483647    24972    123 |  0.000 % |
5.15/5.29	c |     28531 |    1000    20000   100000 | 2147483647    25148    123 |  0.000 % |
5.25/5.35	c |     28725 |    1000    20000   100000 | 2147483647    25342    123 |  0.000 % |
5.36/5.41	c |     28938 |    1000    20000   100000 | 2147483647    25555    123 |  0.000 % |
5.36/5.47	c |     29171 |    1000    20000   100000 | 2147483647    25788    123 |  0.000 % |
5.46/5.54	c |     29428 |    1000    20000   100000 | 2147483647    26045    123 |  0.000 % |
5.55/5.62	c |     29709 |    1000    20000   100000 | 2147483647    26326    123 |  0.000 % |
5.65/5.70	c |     30018 |    1000    20000   100000 | 2147483647    26635    123 |  0.000 % |
5.75/5.81	c |     30360 |    1000    20000   100000 | 2147483647    26977    123 |  0.000 % |
5.85/5.92	c |     30735 |    1000    20000   100000 | 2147483647    27352    123 |  0.000 % |
5.95/6.04	c |     31144 |    1000    20000   100000 | 2147483647    27761    123 |  0.000 % |
6.05/6.17	c |     31594 |    1000    20000   100000 | 2147483647    28211    123 |  0.000 % |
6.25/6.32	c |     32088 |    1000    20000   100000 | 2147483647    28705    123 |  0.000 % |
6.25/6.36	c |     32189 |    1000    20000   100000 | 2147483647    28806    123 |  0.000 % |
6.25/6.40	c |     32300 |    1000    20000   100000 | 2147483647    28917    124 |  0.000 % |
6.34/6.43	c |     32421 |    1000    20000   100000 | 2147483647    29038    123 |  0.000 % |
6.34/6.47	c |     32554 |    1000    20000   100000 | 2147483647    29171    123 |  0.000 % |
6.45/6.53	c |     32700 |    1000    20000   100000 | 2147483647    29317    123 |  0.000 % |
6.45/6.57	c |     32861 |    1000    20000   100000 | 2147483647    29478    124 |  0.000 % |
6.55/6.63	c |     33038 |    1000    20000   100000 | 2147483647    29655    123 |  0.000 % |
6.55/6.70	c |     33231 |    1000    20000   100000 | 2147483647    29848    123 |  0.000 % |
6.64/6.76	c |     33443 |    1000    20000   100000 | 2147483647    30060    124 |  0.000 % |
6.74/6.83	c |     33676 |    1000    20000   100000 | 2147483647    30293    124 |  0.000 % |
6.84/6.91	c |     33934 |    1000    20000   100000 | 2147483647    30551    124 |  0.000 % |
6.94/7.00	c |     34215 |    1000    20000   100000 | 2147483647    30832    124 |  0.000 % |
7.04/7.10	c |     34526 |    1000    20000   100000 | 2147483647    31143    124 |  0.000 % |
7.14/7.21	c |     34865 |    1000    20000   100000 | 2147483647    31482    124 |  0.000 % |
7.24/7.32	c |     35237 |    1000    20000   100000 | 2147483647    31854    124 |  0.000 % |
7.34/7.45	c |     35647 |    1000    20000   100000 | 2147483647    32264    124 |  0.000 % |
7.44/7.60	c |     36096 |    1000    20000   100000 | 2147483647    32713    124 |  0.000 % |
7.65/7.76	c |     36589 |    1000    20000   100000 | 2147483647    33206    124 |  0.000 % |
7.85/7.95	c |     37131 |    1000    20000   100000 | 2147483647    33748    125 |  0.000 % |
7.85/7.98	c |     37233 |    1000    20000   100000 | 2147483647    33850    125 |  0.000 % |
7.94/8.03	c |     37345 |    1000    20000   100000 | 2147483647    33962    125 |  0.000 % |
7.94/8.07	c |     37466 |    1000    20000   100000 | 2147483647    34083    124 |  0.000 % |
8.04/8.12	c |     37601 |    1000    20000   100000 | 2147483647    34218    124 |  0.000 % |
8.04/8.18	c |     37747 |    1000    20000   100000 | 2147483647    34364    124 |  0.000 % |
8.14/8.24	c |     37908 |    1000    20000   100000 | 2147483647    34525    124 |  0.000 % |
8.24/8.30	c |     38084 |    1000    20000   100000 | 2147483647    34701    124 |  0.000 % |
8.24/8.38	c |     38277 |    1000    20000   100000 | 2147483647    34894    124 |  0.000 % |
8.34/8.45	c |     38490 |    1000    20000   100000 | 2147483647    35107    124 |  0.000 % |
8.44/8.54	c |     38725 |    1000    20000   100000 | 2147483647    35342    124 |  0.000 % |
8.54/8.63	c |     38981 |    1000    20000   100000 | 2147483647    35598    124 |  0.000 % |
8.64/8.74	c |     39263 |    1000    20000   100000 | 2147483647    35880    124 |  0.000 % |
8.74/8.85	c |     39573 |    1000    20000   100000 | 2147483647    36190    124 |  0.000 % |
8.84/8.99	c |     39912 |    1000    20000   100000 | 2147483647    36529    124 |  0.000 % |
9.04/9.12	c |     40286 |    1000    20000   100000 | 2147483647    36903    124 |  0.000 % |
9.14/9.28	c |     40695 |    1000    20000   100000 | 2147483647    37312    124 |  0.000 % |
9.33/9.43	c |     41145 |    1000    20000   100000 | 2147483647    37762    124 |  0.000 % |
9.53/9.60	c |     41640 |    1000    20000   100000 | 2147483647    38257    124 |  0.000 % |
9.63/9.80	c |     42182 |    1000    20000   100000 | 2147483647    38799    125 |  0.000 % |
9.93/10.02	c |     42778 |    1000    20000   100000 | 2147483647    39395    125 |  0.000 % |
9.93/10.06	c |     42878 |    1000    20000   100000 | 2147483647    39495    125 |  0.000 % |
9.93/10.09	c |     42988 |    1000    20000   100000 | 2147483647    39605    125 |  0.000 % |
10.03/10.14	c |     43110 |    1000    20000   100000 | 2147483647    39727    125 |  0.000 % |
10.13/10.20	c |     43245 |    1000    20000   100000 | 2147483647    39862    125 |  0.000 % |
10.13/10.26	c |     43391 |    1000    20000   100000 | 2147483647    40008    125 |  0.000 % |
10.24/10.32	c |     43551 |    1000    20000   100000 | 2147483647    40168    125 |  0.000 % |
10.34/10.40	c |     43728 |    1000    20000   100000 | 2147483647    40345    125 |  0.000 % |
10.34/10.48	c |     43922 |    1000    20000   100000 | 2147483647    40539    125 |  0.000 % |
10.44/10.56	c |     44136 |    1000    20000   100000 | 2147483647    40753    125 |  0.000 % |
10.54/10.66	c |     44369 |    1000    20000   100000 | 2147483647    40986    125 |  0.000 % |
10.64/10.75	c |     44626 |    1000    20000   100000 | 2147483647    41243    125 |  0.000 % |
10.74/10.86	c |     44907 |    1000    20000   100000 | 2147483647    41524    125 |  0.000 % |
10.84/10.98	c |     45217 |    1000    20000   100000 | 2147483647    41834    125 |  0.000 % |
11.03/11.10	c |     45557 |    1000    20000   100000 | 2147483647    42174    125 |  0.000 % |
11.13/11.27	c |     45929 |    1000    20000   100000 | 2147483647    42546    125 |  0.000 % |
11.33/11.43	c |     46338 |    1000    20000   100000 | 2147483647    42955    125 |  0.000 % |
11.53/11.62	c |     46788 |    1000    20000   100000 | 2147483647    43405    125 |  0.000 % |
11.73/11.81	c |     47281 |    1000    20000   100000 | 2147483647    43898    125 |  0.000 % |
11.93/12.03	c |     47823 |    1000    20000   100000 | 2147483647    44440    125 |  0.000 % |
12.13/12.29	c |     48420 |    1000    20000   100000 | 2147483647    45037    125 |  0.000 % |
12.43/12.54	c |     49075 |    1000    20000   100000 | 2147483647    45692    125 |  0.000 % |
12.53/12.60	c |     49175 |    1000    20000   100000 | 2147483647    45792    125 |  0.000 % |
12.53/12.66	c |     49285 |    1000    20000   100000 | 2147483647    45902    125 |  0.000 % |
12.63/12.71	c |     49406 |    1000    20000   100000 | 2147483647    46023    125 |  0.000 % |
12.63/12.77	c |     49539 |    1000    20000   100000 | 2147483647    46156    125 |  0.000 % |
12.74/12.86	c |     49686 |    1000    20000   100000 | 2147483647    46303    125 |  0.000 % |
12.84/12.93	c |     49847 |    1000    20000   100000 | 2147483647    46464    125 |  0.000 % |
12.94/13.00	c |     50024 |    1000    20000   100000 | 2147483647    46641    125 |  0.000 % |
12.94/13.10	c |     50217 |    1000    20000   100000 | 2147483647    46834    125 |  0.000 % |
13.04/13.20	c |     50430 |    1000    20000   100000 | 2147483647    47047    125 |  0.000 % |
13.24/13.31	c |     50665 |    1000    20000   100000 | 2147483647    47282    125 |  0.000 % |
13.33/13.41	c |     50921 |    1000    20000   100000 | 2147483647    47538    125 |  0.000 % |
13.43/13.54	c |     51203 |    1000    20000   100000 | 2147483647    47820    125 |  0.000 % |
13.53/13.67	c |     51514 |    1000    20000   100000 | 2147483647    48131    125 |  0.000 % |
13.73/13.83	c |     51855 |    1000    20000   100000 | 2147483647    48472    125 |  0.000 % |
13.93/14.00	c |     52227 |    1000    20000   100000 | 2147483647    48844    125 |  0.000 % |
14.03/14.19	c |     52637 |    1000    20000   100000 | 2147483647    49254    125 |  0.000 % |
14.23/14.38	c |     53086 |    1000    20000   100000 | 2147483647    49703    125 |  0.000 % |
14.53/14.62	c |     53581 |    1000    20000   100000 | 2147483647    50198    125 |  0.000 % |
14.74/14.87	c |     54124 |    1000    20000   100000 | 2147483647    50741    125 |  0.000 % |
15.03/15.14	c |     54720 |    1000    20000   100000 | 2147483647    51337    125 |  0.000 % |
15.34/15.42	c |     55377 |    1000    20000   100000 | 2147483647    51994    125 |  0.000 % |
15.63/15.73	c |     56097 |    1000    20000   100000 | 2147483647    52714    125 |  0.000 % |
15.63/15.78	c |     56197 |    1000    20000   100000 | 2147483647    52814    125 |  0.000 % |
15.73/15.84	c |     56310 |    1000    20000   100000 | 2147483647    52927    125 |  0.000 % |
15.83/15.90	c |     56432 |    1000    20000   100000 | 2147483647    53049    125 |  0.000 % |
15.83/15.98	c |     56565 |    1000    20000   100000 | 2147483647    53182    125 |  0.000 % |
15.93/16.07	c |     56712 |    1000    20000   100000 | 2147483647    53329    125 |  0.000 % |
16.03/16.14	c |     56872 |    1000    20000   100000 | 2147483647    53489    125 |  0.000 % |
16.13/16.24	c |     57048 |    1000    20000   100000 | 2147483647    53665    125 |  0.000 % |
16.23/16.34	c |     57242 |    1000    20000   100000 | 2147483647    53859    125 |  0.000 % |
16.33/16.44	c |     57455 |    1000    20000   100000 | 2147483647    54072    125 |  0.000 % |
16.43/16.56	c |     57688 |    1000    20000   100000 | 2147483647    54305    125 |  0.000 % |
16.53/16.69	c |     57945 |    1000    20000   100000 | 2147483647    54562    125 |  0.000 % |
16.73/16.84	c |     58227 |    1000    20000   100000 | 2147483647    54844    125 |  0.000 % |
16.83/16.99	c |     58536 |    1000    20000   100000 | 2147483647    55153    125 |  0.000 % |
17.03/17.18	c |     58876 |    1000    20000   100000 | 2147483647    55493    125 |  0.000 % |
17.23/17.37	c |     59249 |    1000    20000   100000 | 2147483647    55866    125 |  0.000 % |
17.43/17.58	c |     59659 |    1000    20000   100000 | 2147483647    56276    125 |  0.000 % |
17.73/17.83	c |     60109 |    1000    20000   100000 | 2147483647    56726    125 |  0.000 % |
17.93/18.09	c |     60602 |    1000    20000   100000 | 2147483647    57219    125 |  0.000 % |
18.23/18.37	c |     61144 |    1000    20000   100000 | 2147483647    57761    126 |  0.000 % |
18.53/18.68	c |     61741 |    1000    20000   100000 | 2147483647    58358    126 |  0.000 % |
18.92/19.02	c |     62398 |    1000    20000   100000 | 2147483647    59015    126 |  0.000 % |
19.22/19.39	c |     63120 |    1000    20000   100000 | 2147483647    59737    126 |  0.000 % |
19.73/19.82	c |     63912 |    1000    20000   100000 | 2147483647    60529    126 |  0.000 % |
19.73/19.87	c |     64012 |    1000    20000   100000 | 2147483647    60629    126 |  0.000 % |
19.82/19.95	c |     64122 |    1000    20000   100000 | 2147483647    60739    126 |  0.000 % |
19.93/20.02	c |     64244 |    1000    20000   100000 | 2147483647    60861    126 |  0.000 % |
19.93/20.10	c |     64377 |    1000    20000   100000 | 2147483647    60994    126 |  0.000 % |
20.03/20.19	c |     64523 |    1000    20000   100000 | 2147483647    61140    126 |  0.000 % |
20.23/20.30	c |     64684 |    1000    20000   100000 | 2147483647    61301    126 |  0.000 % |
20.23/20.39	c |     64860 |    1000    20000   100000 | 2147483647    61477    126 |  0.000 % |
20.43/20.50	c |     65053 |    1000    20000   100000 | 2147483647    61670    126 |  0.000 % |
20.53/20.64	c |     65266 |    1000    20000   100000 | 2147483647    61883    126 |  0.000 % |
20.63/20.78	c |     65500 |    1000    20000   100000 | 2147483647    62117    126 |  0.000 % |
20.83/20.94	c |     65756 |    1000    20000   100000 | 2147483647    62373    126 |  0.000 % |
20.93/21.09	c |     66038 |    1000    20000   100000 | 2147483647    62655    126 |  0.000 % |
21.13/21.29	c |     66352 |    1000    20000   100000 | 2147483647    62969    126 |  0.000 % |
21.32/21.49	c |     66692 |    1000    20000   100000 | 2147483647    63309    126 |  0.000 % |
21.62/21.71	c |     67064 |    1000    20000   100000 | 2147483647    63681    126 |  0.000 % |
21.83/21.96	c |     67473 |    1000    20000   100000 | 2147483647    64090    126 |  0.000 % |
22.12/22.21	c |     67922 |    1000    20000   100000 | 2147483647    64539    126 |  0.000 % |
22.42/22.50	c |     68416 |    1000    20000   100000 | 2147483647    65033    126 |  0.000 % |
22.62/22.79	c |     68958 |    1000    20000   100000 | 2147483647    65575    126 |  0.000 % |
23.02/23.16	c |     69554 |    1000    20000   100000 | 2147483647    66171    126 |  0.000 % |
23.42/23.57	c |     70210 |    1000    20000   100000 | 2147483647    66827    126 |  0.000 % |
23.92/24.01	c |     70931 |    1000    20000   100000 | 2147483647    67548    126 |  0.000 % |
24.32/24.44	c |     71726 |    1000    20000   100000 | 2147483647    68343    126 |  0.000 % |
24.82/24.93	c |     72597 |    1000    20000   100000 | 2147483647    69214    126 |  0.000 % |
24.92/25.01	c |     72700 |    1000    20000   100000 | 2147483647    69317    126 |  0.000 % |
24.92/25.08	c |     72810 |    1000    20000   100000 | 2147483647    69427    126 |  0.000 % |
25.02/25.16	c |     72935 |    1000    20000   100000 | 2147483647    69552    126 |  0.000 % |
25.12/25.26	c |     73068 |    1000    20000   100000 | 2147483647    69685    126 |  0.000 % |
25.22/25.37	c |     73215 |    1000    20000   100000 | 2147483647    69832    126 |  0.000 % |
25.32/25.48	c |     73375 |    1000    20000   100000 | 2147483647    69992    126 |  0.000 % |
25.42/25.59	c |     73551 |    1000    20000   100000 | 2147483647    70168    126 |  0.000 % |
25.62/25.73	c |     73745 |    1000    20000   100000 | 2147483647    70362    126 |  0.000 % |
25.72/25.86	c |     73957 |    1000    20000   100000 | 2147483647    70574    126 |  0.000 % |
25.92/26.02	c |     74192 |    1000    20000   100000 | 2147483647    70809    126 |  0.000 % |
26.02/26.18	c |     74448 |    1000    20000   100000 | 2147483647    71065    126 |  0.000 % |
26.22/26.36	c |     74729 |    1000    20000   100000 | 2147483647    71346    126 |  0.000 % |
26.42/26.54	c |     75040 |    1000    20000   100000 | 2147483647    71657    126 |  0.000 % |
26.61/26.78	c |     75379 |    1000    20000   100000 | 2147483647    71996    126 |  0.000 % |
26.92/27.02	c |     75753 |    1000    20000   100000 | 2147483647    72370    126 |  0.000 % |
27.12/27.29	c |     76162 |    1000    20000   100000 | 2147483647    72779    126 |  0.000 % |
27.43/27.58	c |     76612 |    1000    20000   100000 | 2147483647    73229    126 |  0.000 % |
27.72/27.89	c |     77107 |    1000    20000   100000 | 2147483647    73724    126 |  0.000 % |
28.12/28.21	c |     77650 |    1000    20000   100000 | 2147483647    74267    126 |  0.000 % |
28.42/28.56	c |     78246 |    1000    20000   100000 | 2147483647    74863    126 |  0.000 % |
28.82/29.00	c |     78905 |    1000    20000   100000 | 2147483647    75522    126 |  0.000 % |
29.32/29.46	c |     79627 |    1000    20000   100000 | 2147483647    76244    126 |  0.000 % |
29.82/29.94	c |     80421 |    1000    20000   100000 | 2147483647    77038    126 |  0.000 % |
30.42/30.52	c |     81292 |    1000    20000   100000 | 2147483647    77909    126 |  0.000 % |
31.02/31.12	c |     82250 |    1000    20000   100000 | 2147483647    78867    127 |  0.000 % |
31.02/31.18	c |     82352 |    1000    20000   100000 | 2147483647    78969    127 |  0.000 % |
31.12/31.27	c |     82465 |    1000    20000   100000 | 2147483647    79082    127 |  0.000 % |
31.22/31.36	c |     82587 |    1000    20000   100000 | 2147483647    79204    127 |  0.000 % |
31.32/31.48	c |     82721 |    1000    20000   100000 | 2147483647    79338    127 |  0.000 % |
31.42/31.59	c |     82867 |    1000    20000   100000 | 2147483647    79484    127 |  0.000 % |
31.52/31.70	c |     83029 |    1000    20000   100000 | 2147483647    79646    127 |  0.000 % |
31.72/31.84	c |     83206 |    1000    20000   100000 | 2147483647    79823    127 |  0.000 % |
31.82/31.98	c |     83399 |    1000    20000   100000 | 2147483647    80016    127 |  0.000 % |
32.02/32.14	c |     83611 |    1000    20000   100000 | 2147483647    80228    127 |  0.000 % |
32.12/32.29	c |     83844 |    1000    20000   100000 | 2147483647    80461    127 |  0.000 % |
32.32/32.47	c |     84102 |    1000    20000   100000 | 2147483647    80719    127 |  0.000 % |
32.52/32.66	c |     84384 |    1000    20000   100000 | 2147483647    81001    127 |  0.000 % |
32.71/32.88	c |     84693 |    1000    20000   100000 | 2147483647    81310    127 |  0.000 % |
33.01/33.11	c |     85032 |    1000    20000   100000 | 2147483647    81649    127 |  0.000 % |
33.31/33.43	c |     85406 |    1000    20000   100000 | 2147483647    82023    127 |  0.000 % |
33.61/33.74	c |     85815 |    1000    20000   100000 | 2147483647    82432    127 |  0.000 % |
33.92/34.10	c |     86265 |    1000    20000   100000 | 2147483647    82882    127 |  0.000 % |
34.32/34.44	c |     86760 |    1000    20000   100000 | 2147483647    83377    127 |  0.000 % |
34.72/34.81	c |     87302 |    1000    20000   100000 | 2147483647    83919    127 |  0.000 % |
35.12/35.25	c |     87898 |    1000    20000   100000 | 2147483647    84515    127 |  0.000 % |
35.61/35.74	c |     88553 |    1000    20000   100000 | 2147483647    85170    127 |  0.000 % |
36.12/36.28	c |     89273 |    1000    20000   100000 | 2147483647    85890    127 |  0.000 % |
36.71/36.85	c |     90065 |    1000    20000   100000 | 2147483647    86682    127 |  0.000 % |
37.42/37.51	c |     90937 |    1000    20000   100000 | 2147483647    87554    127 |  0.000 % |
38.12/38.21	c |     91896 |    1000    20000   100000 | 2147483647    88513    127 |  0.000 % |
38.81/38.99	c |     92952 |    1000    20000   100000 | 2147483647    89569    127 |  0.000 % |
38.91/39.08	c |     93052 |    1000    20000   100000 | 2147483647    89669    127 |  0.000 % |
39.11/39.20	c |     93162 |    1000    20000   100000 | 2147483647    89779    127 |  0.000 % |
39.21/39.31	c |     93285 |    1000    20000   100000 | 2147483647    89902    127 |  0.000 % |
39.31/39.42	c |     93419 |    1000    20000   100000 | 2147483647    90036    127 |  0.000 % |
39.42/39.54	c |     93565 |    1000    20000   100000 | 2147483647    90182    127 |  0.000 % |
39.61/39.71	c |     93726 |    1000    20000   100000 | 2147483647    90343    127 |  0.000 % |
39.71/39.86	c |     93903 |    1000    20000   100000 | 2147483647    90520    127 |  0.000 % |
39.91/40.02	c |     94097 |    1000    20000   100000 | 2147483647    90714    127 |  0.000 % |
40.11/40.22	c |     94309 |    1000    20000   100000 | 2147483647    90926    127 |  0.000 % |
40.31/40.42	c |     94542 |    1000    20000   100000 | 2147483647    91159    127 |  0.000 % |
40.52/40.64	c |     94799 |    1000    20000   100000 | 2147483647    91416    127 |  0.000 % |
40.71/40.85	c |     95080 |    1000    20000   100000 | 2147483647    91697    127 |  0.000 % |
41.01/41.10	c |     95389 |    1000    20000   100000 | 2147483647    92006    127 |  0.000 % |
41.31/41.40	c |     95730 |    1000    20000   100000 | 2147483647    92347    127 |  0.000 % |
41.51/41.69	c |     96103 |    1000    20000   100000 | 2147483647    92720    127 |  0.000 % |
41.91/42.02	c |     96513 |    1000    20000   100000 | 2147483647    93130    127 |  0.000 % |
42.31/42.42	c |     96965 |    1000    20000   100000 | 2147483647    93582    127 |  0.000 % |
42.71/42.80	c |     97459 |    1000    20000   100000 | 2147483647    94076    127 |  0.000 % |
43.11/43.25	c |     98001 |    1000    20000   100000 | 2147483647    94618    127 |  0.000 % |
43.61/43.75	c |     98597 |    1000    20000   100000 | 2147483647    95214    127 |  0.000 % |
44.21/44.33	c |     99253 |    1000    20000   100000 | 2147483647    95870    127 |  0.000 % |
44.81/44.92	c |     99973 |    1000    20000   100000 | 2147483647    96590    127 |  0.000 % |
45.41/45.59	c |    100766 |    1000    20000   100000 |    96618    84075    128 |  0.000 % |
46.11/46.21	c |    101639 |    1000    20000   100000 |    96618    84948    128 |  0.000 % |
46.71/46.84	c |    102597 |    1000    20000   100000 |    96618    85906    128 |  0.000 % |
47.51/47.69	c |    103651 |    1000    20000   100000 |    96618    86960    128 |  0.000 % |
48.41/48.58	c |    104809 |    1000    20000   100000 |    96618    88118    128 |  0.000 % |
48.51/48.66	c |    104909 |    1000    20000   100000 |    96618    88218    128 |  0.000 % |
48.61/48.75	c |    105021 |    1000    20000   100000 |    96618    88330    128 |  0.000 % |
48.71/48.86	c |    105143 |    1000    20000   100000 |    96618    88452    128 |  0.000 % |
48.81/48.98	c |    105278 |    1000    20000   100000 |    96618    88587    128 |  0.000 % |
49.01/49.12	c |    105425 |    1000    20000   100000 |    96618    88734    128 |  0.000 % |
49.11/49.27	c |    105585 |    1000    20000   100000 |    96618    88894    128 |  0.000 % |
49.31/49.45	c |    105765 |    1000    20000   100000 |    96618    89074    128 |  0.000 % |
49.51/49.60	c |    105958 |    1000    20000   100000 |    96618    89267    128 |  0.000 % |
49.61/49.76	c |    106171 |    1000    20000   100000 |    96618    89480    128 |  0.000 % |
49.80/49.94	c |    106405 |    1000    20000   100000 |    96618    89714    128 |  0.000 % |
50.00/50.14	c |    106664 |    1000    20000   100000 |    96618    89973    128 |  0.000 % |
50.20/50.36	c |    106947 |    1000    20000   100000 |    96618    90256    128 |  0.000 % |
50.42/50.59	c |    107257 |    1000    20000   100000 |    96618    90566    128 |  0.000 % |
50.71/50.85	c |    107596 |    1000    20000   100000 |    96618    90905    128 |  0.000 % |
51.01/51.16	c |    107969 |    1000    20000   100000 |    96618    91278    128 |  0.000 % |
51.41/51.52	c |    108378 |    1000    20000   100000 |    96618    91687    128 |  0.000 % |
51.71/51.87	c |    108828 |    1000    20000   100000 |    96618    92137    128 |  0.000 % |
52.11/52.25	c |    109323 |    1000    20000   100000 |    96618    92632    128 |  0.000 % |
52.51/52.66	c |    109867 |    1000    20000   100000 |    96618    93176    128 |  0.000 % |
53.01/53.16	c |    110463 |    1000    20000   100000 |    93309    81466    128 |  0.000 % |
53.51/53.61	c |    111118 |    1000    20000   100000 |    93309    82121    128 |  0.000 % |
54.01/54.10	c |    111841 |    1000    20000   100000 |    93309    82844    128 |  0.000 % |
54.51/54.62	c |    112634 |    1000    20000   100000 |    93309    83637    128 |  0.000 % |
55.11/55.23	c |    113505 |    1000    20000   100000 |    93309    84508    129 |  0.000 % |
55.81/56.00	c |    114464 |    1000    20000   100000 |    93309    85467    129 |  0.000 % |
56.61/56.77	c |    115517 |    1000    20000   100000 |    93309    86520    129 |  0.000 % |
57.51/57.68	c |    116677 |    1000    20000   100000 |    93309    87680    129 |  0.000 % |
58.51/58.66	c |    117951 |    1000    20000   100000 |    93309    88954    129 |  0.000 % |
58.61/58.75	c |    118051 |    1000    20000   100000 |    93309    89054    129 |  0.000 % |
58.71/58.86	c |    118161 |    1000    20000   100000 |    93309    89164    129 |  0.000 % |
58.81/58.98	c |    118282 |    1000    20000   100000 |    93309    89285    129 |  0.000 % |
58.91/59.08	c |    118416 |    1000    20000   100000 |    93309    89419    129 |  0.000 % |
59.01/59.19	c |    118562 |    1000    20000   100000 |    93309    89565    129 |  0.000 % |
59.21/59.34	c |    118722 |    1000    20000   100000 |    93309    89725    129 |  0.000 % |
59.41/59.51	c |    118899 |    1000    20000   100000 |    93309    89902    129 |  0.000 % |
59.51/59.68	c |    119092 |    1000    20000   100000 |    93309    90095    129 |  0.000 % |
59.71/59.86	c |    119305 |    1000    20000   100000 |    93309    90308    129 |  0.000 % |
59.91/60.05	c |    119539 |    1000    20000   100000 |    93309    90542    129 |  0.000 % |
60.11/60.26	c |    119795 |    1000    20000   100000 |    93309    90798    129 |  0.000 % |
60.41/60.50	c |    120077 |    1000    20000   100000 |    91004    91080    129 |  0.000 % |
60.70/60.80	c |    120389 |    1000    20000   100000 |    91004    79863    128 |  0.000 % |
60.90/61.07	c |    120729 |    1000    20000   100000 |    91004    80203    128 |  0.000 % |
61.20/61.34	c |    121104 |    1000    20000   100000 |    91004    80578    128 |  0.000 % |
61.41/61.59	c |    121514 |    1000    20000   100000 |    91004    80988    128 |  0.000 % |
61.81/61.93	c |    121963 |    1000    20000   100000 |    91004    81437    129 |  0.000 % |
62.21/62.30	c |    122456 |    1000    20000   100000 |    91004    81930    129 |  0.000 % |
62.51/62.68	c |    122999 |    1000    20000   100000 |    91004    82473    129 |  0.000 % |
62.90/63.09	c |    123595 |    1000    20000   100000 |    91004    83069    129 |  0.000 % |
63.40/63.57	c |    124250 |    1000    20000   100000 |    91004    83724    129 |  0.000 % |
63.90/64.08	c |    124971 |    1000    20000   100000 |    91004    84445    129 |  0.000 % |
64.50/64.64	c |    125763 |    1000    20000   100000 |    91004    85237    129 |  0.000 % |
65.10/65.25	c |    126634 |    1000    20000   100000 |    91004    86108    129 |  0.000 % |
65.81/65.93	c |    127592 |    1000    20000   100000 |    91004    87066    129 |  0.000 % |
66.60/66.75	c |    128645 |    1000    20000   100000 |    91004    88119    129 |  0.000 % |
67.50/67.60	c |    129803 |    1000    20000   100000 |    91004    89277    129 |  0.000 % |
68.40/68.51	c |    131079 |    1000    20000   100000 |    89474    80226    129 |  0.000 % |
69.40/69.54	c |    132479 |    1000    20000   100000 |    89474    81626    130 |  0.000 % |
69.50/69.61	c |    132579 |    1000    20000   100000 |    89474    81726    130 |  0.000 % |
69.60/69.72	c |    132689 |    1000    20000   100000 |    89474    81836    130 |  0.000 % |
69.70/69.82	c |    132810 |    1000    20000   100000 |    89474    81957    130 |  0.000 % |
69.80/69.92	c |    132943 |    1000    20000   100000 |    89474    82090    130 |  0.000 % |
69.90/70.03	c |    133090 |    1000    20000   100000 |    89474    82237    130 |  0.000 % |
70.00/70.17	c |    133250 |    1000    20000   100000 |    89474    82397    130 |  0.000 % |
70.10/70.30	c |    133426 |    1000    20000   100000 |    89474    82573    129 |  0.000 % |
70.31/70.46	c |    133619 |    1000    20000   100000 |    89474    82766    129 |  0.000 % |
70.50/70.61	c |    133831 |    1000    20000   100000 |    89474    82978    129 |  0.000 % |
70.60/70.78	c |    134066 |    1000    20000   100000 |    89474    83213    129 |  0.000 % |
70.90/71.01	c |    134322 |    1000    20000   100000 |    89474    83469    129 |  0.000 % |
71.10/71.22	c |    134603 |    1000    20000   100000 |    89474    83750    129 |  0.000 % |
71.30/71.45	c |    134914 |    1000    20000   100000 |    89474    84061    129 |  0.000 % |
71.50/71.69	c |    135255 |    1000    20000   100000 |    89474    84402    129 |  0.000 % |
71.80/71.94	c |    135627 |    1000    20000   100000 |    89474    84774    129 |  0.000 % |
72.10/72.25	c |    136036 |    1000    20000   100000 |    89474    85183    129 |  0.000 % |
72.50/72.64	c |    136486 |    1000    20000   100000 |    89474    85633    129 |  0.000 % |
72.90/73.02	c |    136980 |    1000    20000   100000 |    89474    86127    129 |  0.000 % |
73.30/73.44	c |    137522 |    1000    20000   100000 |    89474    86669    129 |  0.000 % |
73.80/73.93	c |    138121 |    1000    20000   100000 |    89474    87268    129 |  0.000 % |
74.30/74.42	c |    138778 |    1000    20000   100000 |    89474    87925    129 |  0.000 % |
74.80/74.94	c |    139498 |    1000    20000   100000 |    89474    88645    130 |  0.000 % |
75.40/75.52	c |    140290 |    1000    20000   100000 |    89147    89437    130 |  0.000 % |
76.00/76.16	c |    141161 |    1000    20000   100000 |    89147    79689    130 |  0.000 % |
76.70/76.82	c |    142119 |    1000    20000   100000 |    89147    80647    130 |  0.000 % |
77.40/77.54	c |    143173 |    1000    20000   100000 |    89147    81701    130 |  0.000 % |
78.20/78.30	c |    144331 |    1000    20000   100000 |    89147    82859    130 |  0.000 % |
79.00/79.16	c |    145607 |    1000    20000   100000 |    89147    84135    130 |  0.000 % |
80.00/80.18	c |    147008 |    1000    20000   100000 |    89147    85536    130 |  0.000 % |
81.20/81.35	c |    148549 |    1000    20000   100000 |    89147    87077    130 |  0.000 % |
81.30/81.45	c |    148650 |    1000    20000   100000 |    89147    87178    130 |  0.000 % |
81.39/81.55	c |    148761 |    1000    20000   100000 |    89147    87289    130 |  0.000 % |
81.49/81.64	c |    148883 |    1000    20000   100000 |    89147    87411    130 |  0.000 % |
81.59/81.74	c |    149016 |    1000    20000   100000 |    89147    87544    130 |  0.000 % |
81.69/81.89	c |    149162 |    1000    20000   100000 |    89147    87690    130 |  0.000 % |
81.89/82.03	c |    149323 |    1000    20000   100000 |    89147    87851    130 |  0.000 % |
81.99/82.18	c |    149501 |    1000    20000   100000 |    89147    88029    130 |  0.000 % |
82.19/82.39	c |    149694 |    1000    20000   100000 |    89147    88222    130 |  0.000 % |
82.40/82.55	c |    149906 |    1000    20000   100000 |    89147    88434    130 |  0.000 % |
82.59/82.74	c |    150139 |    1000    20000   100000 |    88531    88667    130 |  0.000 % |
82.79/82.95	c |    150395 |    1000    20000   100000 |    88531    79215    130 |  0.000 % |
82.99/83.15	c |    150677 |    1000    20000   100000 |    88531    79497    130 |  0.000 % |
83.19/83.36	c |    150986 |    1000    20000   100000 |    88531    79806    130 |  0.000 % |
83.50/83.60	c |    151328 |    1000    20000   100000 |    88531    80148    130 |  0.000 % |
83.69/83.88	c |    151701 |    1000    20000   100000 |    88531    80521    130 |  0.000 % |
83.99/84.14	c |    152110 |    1000    20000   100000 |    88531    80930    130 |  0.000 % |
84.29/84.44	c |    152559 |    1000    20000   100000 |    88531    81379    130 |  0.000 % |
84.69/84.82	c |    153052 |    1000    20000   100000 |    88531    81872    130 |  0.000 % |
85.09/85.28	c |    153596 |    1000    20000   100000 |    88531    82416    130 |  0.000 % |
85.60/85.73	c |    154192 |    1000    20000   100000 |    88531    83012    130 |  0.000 % |
85.99/86.19	c |    154848 |    1000    20000   100000 |    88531    83668    130 |  0.000 % |
86.59/86.72	c |    155568 |    1000    20000   100000 |    88531    84388    130 |  0.000 % |
87.19/87.34	c |    156363 |    1000    20000   100000 |    88531    85183    130 |  0.000 % |
87.80/87.99	c |    157235 |    1000    20000   100000 |    88531    86055    130 |  0.000 % |
88.49/88.69	c |    158196 |    1000    20000   100000 |    88531    87016    130 |  0.000 % |
89.29/89.43	c |    159251 |    1000    20000   100000 |    88531    88071    130 |  0.000 % |
90.09/90.30	c |    160409 |    1000    20000   100000 |    88820    79207    130 |  0.000 % |
90.89/91.05	c |    161683 |    1000    20000   100000 |    88820    80481    130 |  0.000 % |
91.79/91.96	c |    163084 |    1000    20000   100000 |    88820    81882    130 |  0.000 % |
92.89/93.08	c |    164625 |    1000    20000   100000 |    88820    83423    130 |  0.000 % |
94.19/94.32	c |    166319 |    1000    20000   100000 |    88820    85117    130 |  0.000 % |
94.19/94.39	c |    166420 |    1000    20000   100000 |    88820    85218    130 |  0.000 % |
94.29/94.49	c |    166531 |    1000    20000   100000 |    88820    85329    130 |  0.000 % |
94.49/94.60	c |    166653 |    1000    20000   100000 |    88820    85451    130 |  0.000 % |
94.58/94.72	c |    166786 |    1000    20000   100000 |    88820    85584    130 |  0.000 % |
94.68/94.83	c |    166934 |    1000    20000   100000 |    88820    85732    130 |  0.000 % |
94.78/94.96	c |    167094 |    1000    20000   100000 |    88820    85892    130 |  0.000 % |
94.98/95.12	c |    167270 |    1000    20000   100000 |    88820    86068    130 |  0.000 % |
95.08/95.28	c |    167464 |    1000    20000   100000 |    88820    86262    130 |  0.000 % |
95.28/95.45	c |    167676 |    1000    20000   100000 |    88820    86474    130 |  0.000 % |
95.49/95.66	c |    167910 |    1000    20000   100000 |    88820    86708    130 |  0.000 % |
95.69/95.87	c |    168166 |    1000    20000   100000 |    88820    86964    130 |  0.000 % |
95.89/96.10	c |    168448 |    1000    20000   100000 |    88820    87246    130 |  0.000 % |
96.19/96.34	c |    168757 |    1000    20000   100000 |    88820    87555    130 |  0.000 % |
96.49/96.60	c |    169096 |    1000    20000   100000 |    88820    87894    130 |  0.000 % |
96.78/96.93	c |    169468 |    1000    20000   100000 |    88820    88266    130 |  0.000 % |
97.08/97.23	c |    169877 |    1000    20000   100000 |    88820    88675    130 |  0.000 % |
97.38/97.54	c |    170327 |    1000    20000   100000 |    88799    89125    130 |  0.000 % |
97.79/97.95	c |    170820 |    1000    20000   100000 |    88799    79537    130 |  0.000 % |
98.18/98.32	c |    171362 |    1000    20000   100000 |    88799    80079    130 |  0.000 % |
98.58/98.73	c |    171960 |    1000    20000   100000 |    88799    80677    130 |  0.000 % |
99.08/99.24	c |    172617 |    1000    20000   100000 |    88799    81334    130 |  0.000 % |
99.58/99.74	c |    173339 |    1000    20000   100000 |    88799    82056    130 |  0.000 % |
100.18/100.31	c |    174131 |    1000    20000   100000 |    88799    82848    130 |  0.000 % |
100.78/100.91	c |    175005 |    1000    20000   100000 |    88799    83722    130 |  0.000 % |
101.58/101.71	c |    175963 |    1000    20000   100000 |    88799    84680    130 |  0.000 % |
102.28/102.49	c |    177020 |    1000    20000   100000 |    88799    85737    130 |  0.000 % |
103.18/103.35	c |    178179 |    1000    20000   100000 |    88799    86896    130 |  0.000 % |
104.08/104.26	c |    179453 |    1000    20000   100000 |    88799    88170    130 |  0.000 % |
105.18/105.30	c |    180854 |    1000    20000   100000 |    88718    79953    130 |  0.000 % |
106.18/106.37	c |    182394 |    1000    20000   100000 |    88718    81493    130 |  0.000 % |
107.38/107.55	c |    184090 |    1000    20000   100000 |    88718    83189    130 |  0.000 % |
108.78/108.93	c |    185953 |    1000    20000   100000 |    88718    85052    130 |  0.000 % |
108.87/109.02	c |    186053 |    1000    20000   100000 |    88718    85152    130 |  0.000 % |
108.97/109.14	c |    186165 |    1000    20000   100000 |    88718    85264    130 |  0.000 % |
109.07/109.24	c |    186289 |    1000    20000   100000 |    88718    85388    130 |  0.000 % |
109.17/109.34	c |    186422 |    1000    20000   100000 |    88718    85521    130 |  0.000 % |
109.27/109.46	c |    186568 |    1000    20000   100000 |    88718    85667    130 |  0.000 % |
109.47/109.61	c |    186728 |    1000    20000   100000 |    88718    85827    130 |  0.000 % |
109.57/109.75	c |    186904 |    1000    20000   100000 |    88718    86003    130 |  0.000 % |
109.67/109.90	c |    187097 |    1000    20000   100000 |    88718    86196    130 |  0.000 % |
109.88/110.09	c |    187309 |    1000    20000   100000 |    88718    86408    130 |  0.000 % |
110.17/110.33	c |    187543 |    1000    20000   100000 |    88718    86642    130 |  0.000 % |
110.37/110.55	c |    187800 |    1000    20000   100000 |    88718    86899    130 |  0.000 % |
110.57/110.78	c |    188082 |    1000    20000   100000 |    88718    87181    130 |  0.000 % |
110.88/111.05	c |    188392 |    1000    20000   100000 |    88718    87491    130 |  0.000 % |
111.17/111.32	c |    188732 |    1000    20000   100000 |    88718    87831    130 |  0.000 % |
111.37/111.59	c |    189104 |    1000    20000   100000 |    88718    88203    130 |  0.000 % |
111.67/111.89	c |    189514 |    1000    20000   100000 |    88718    88613    130 |  0.000 % |
112.08/112.28	c |    189963 |    1000    20000   100000 |    88718    79068    131 |  0.000 % |
112.47/112.69	c |    190456 |    1000    20000   100000 |    79105    70690    131 |  0.000 % |
112.87/113.02	c |    190999 |    1000    20000   100000 |    79105    71233    131 |  0.000 % |
113.27/113.41	c |    191596 |    1000    20000   100000 |    79105    71830    131 |  0.000 % |
113.67/113.84	c |    192252 |    1000    20000   100000 |    79105    72486    131 |  0.000 % |
114.07/114.28	c |    192972 |    1000    20000   100000 |    79105    73206    131 |  0.000 % |
114.57/114.78	c |    193765 |    1000    20000   100000 |    79105    73999    131 |  0.000 % |
115.17/115.34	c |    194636 |    1000    20000   100000 |    79105    74870    131 |  0.000 % |
115.77/115.95	c |    195594 |    1000    20000   100000 |    79105    75828    131 |  0.000 % |
116.48/116.68	c |    196649 |    1000    20000   100000 |    79105    76883    131 |  0.000 % |
117.27/117.45	c |    197807 |    1000    20000   100000 |    79105    78041    131 |  0.000 % |
118.17/118.39	c |    199080 |    1000    20000   100000 |    79105    79314    131 |  0.000 % |
119.17/119.35	c |    200481 |    1000    20000   100000 | 2147483647    72784    131 |  0.000 % |
120.17/120.33	c |    202022 |    1000    20000   100000 | 2147483647    74325    131 |  0.000 % |
121.27/121.44	c |    203718 |    1000    20000   100000 | 2147483647    76021    131 |  0.000 % |
122.57/122.70	c |    205581 |    1000    20000   100000 | 2147483647    77884    131 |  0.000 % |
123.97/124.11	c |    207630 |    1000    20000   100000 | 2147483647    79933    131 |  0.000 % |
123.97/124.18	c |    207730 |    1000    20000   100000 | 2147483647    80033    131 |  0.000 % |
124.07/124.26	c |    207841 |    1000    20000   100000 | 2147483647    80144    131 |  0.000 % |
124.17/124.35	c |    207962 |    1000    20000   100000 | 2147483647    80265    131 |  0.000 % |
124.27/124.46	c |    208095 |    1000    20000   100000 | 2147483647    80398    131 |  0.000 % |
124.37/124.57	c |    208241 |    1000    20000   100000 | 2147483647    80544    131 |  0.000 % |
124.47/124.70	c |    208403 |    1000    20000   100000 | 2147483647    80706    131 |  0.000 % |
124.67/124.84	c |    208580 |    1000    20000   100000 | 2147483647    80883    131 |  0.000 % |
124.77/124.99	c |    208773 |    1000    20000   100000 | 2147483647    81076    131 |  0.000 % |
124.97/125.14	c |    208986 |    1000    20000   100000 | 2147483647    81289    131 |  0.000 % |
125.17/125.32	c |    209220 |    1000    20000   100000 | 2147483647    81523    131 |  0.000 % |
125.37/125.51	c |    209476 |    1000    20000   100000 | 2147483647    81779    131 |  0.000 % |
125.57/125.72	c |    209757 |    1000    20000   100000 | 2147483647    82060    131 |  0.000 % |
125.77/125.94	c |    210067 |    1000    20000   100000 | 2147483647    82370    131 |  0.000 % |
126.07/126.23	c |    210406 |    1000    20000   100000 | 2147483647    82709    131 |  0.000 % |
126.37/126.50	c |    210779 |    1000    20000   100000 | 2147483647    83082    131 |  0.000 % |
126.66/126.80	c |    211189 |    1000    20000   100000 | 2147483647    83492    131 |  0.000 % |
126.96/127.12	c |    211639 |    1000    20000   100000 | 2147483647    83942    131 |  0.000 % |
127.26/127.45	c |    212133 |    1000    20000   100000 | 2147483647    84436    131 |  0.000 % |
127.66/127.83	c |    212676 |    1000    20000   100000 | 2147483647    84979    131 |  0.000 % |
128.06/128.29	c |    213272 |    1000    20000   100000 | 2147483647    85575    131 |  0.000 % |
128.57/128.76	c |    213927 |    1000    20000   100000 | 2147483647    86230    131 |  0.000 % |
129.16/129.31	c |    214648 |    1000    20000   100000 | 2147483647    86951    131 |  0.000 % |
129.67/129.89	c |    215440 |    1000    20000   100000 | 2147483647    87743    131 |  0.000 % |
130.36/130.52	c |    216311 |    1000    20000   100000 | 2147483647    88614    131 |  0.000 % |
130.96/131.18	c |    217270 |    1000    20000   100000 | 2147483647    89573    131 |  0.000 % |
131.76/131.94	c |    218325 |    1000    20000   100000 | 2147483647    90628    131 |  0.000 % |
132.66/132.81	c |    219485 |    1000    20000   100000 | 2147483647    91788    131 |  0.000 % |
133.56/133.76	c |    220760 |    1000    20000   100000 |    92304    83061    131 |  0.000 % |
134.56/134.71	c |    222160 |    1000    20000   100000 |    92304    84461    131 |  0.000 % |
135.56/135.77	c |    223700 |    1000    20000   100000 |    92304    86001    131 |  0.000 % |
136.76/136.95	c |    225395 |    1000    20000   100000 |    92304    87696    131 |  0.000 % |
138.16/138.35	c |    227258 |    1000    20000   100000 |    92304    89559    131 |  0.000 % |
139.76/139.90	c |    229309 |    1000    20000   100000 |    92304    91610    131 |  0.000 % |
141.36/141.56	c |    231562 |    1000    20000   100000 |    92301    83820    130 |  0.000 % |
141.46/141.67	c |    231662 |    1000    20000   100000 |    92301    83920    130 |  0.000 % |
141.56/141.76	c |    231772 |    1000    20000   100000 |    92301    84030    130 |  0.000 % |
141.66/141.87	c |    231893 |    1000    20000   100000 |    92301    84151    130 |  0.000 % |
141.76/141.98	c |    232028 |    1000    20000   100000 |    92301    84286    130 |  0.000 % |
141.96/142.12	c |    232174 |    1000    20000   100000 |    92301    84432    130 |  0.000 % |
142.06/142.24	c |    232334 |    1000    20000   100000 |    92301    84592    130 |  0.000 % |
142.16/142.38	c |    232510 |    1000    20000   100000 |    92301    84768    130 |  0.000 % |
142.36/142.55	c |    232703 |    1000    20000   100000 |    92301    84961    130 |  0.000 % |
142.56/142.71	c |    232915 |    1000    20000   100000 |    92301    85173    130 |  0.000 % |
142.66/142.90	c |    233148 |    1000    20000   100000 |    92301    85406    130 |  0.000 % |
142.86/143.08	c |    233407 |    1000    20000   100000 |    92301    85665    130 |  0.000 % |
143.05/143.29	c |    233688 |    1000    20000   100000 |    92301    85946    130 |  0.000 % |
143.35/143.53	c |    234000 |    1000    20000   100000 |    92301    86258    130 |  0.000 % |
143.65/143.84	c |    234339 |    1000    20000   100000 |    92301    86597    130 |  0.000 % |
143.96/144.15	c |    234711 |    1000    20000   100000 |    92301    86969    130 |  0.000 % |
144.25/144.49	c |    235120 |    1000    20000   100000 |    92301    87378    130 |  0.000 % |
144.65/144.80	c |    235569 |    1000    20000   100000 |    92301    87827    130 |  0.000 % |
145.05/145.25	c |    236063 |    1000    20000   100000 |    92301    88321    130 |  0.000 % |
145.45/145.67	c |    236605 |    1000    20000   100000 |    92301    88863    130 |  0.000 % |
145.95/146.14	c |    237202 |    1000    20000   100000 |    92301    89460    130 |  0.000 % |
146.45/146.64	c |    237859 |    1000    20000   100000 |    92301    90117    130 |  0.000 % |
146.95/147.18	c |    238582 |    1000    20000   100000 |    92301    90840    130 |  0.000 % |
147.65/147.80	c |    239374 |    1000    20000   100000 |    92301    91632    130 |  0.000 % |
148.25/148.46	c |    240246 |    1000    20000   100000 |    92258    92504    130 |  0.000 % |
148.95/149.18	c |    241206 |    1000    20000   100000 |    92258    81995    131 |  0.000 % |
149.75/149.93	c |    242260 |    1000    20000   100000 |    92258    83049    131 |  0.000 % |
150.55/150.75	c |    243418 |    1000    20000   100000 |    92258    84207    131 |  0.000 % |
151.45/151.66	c |    244691 |    1000    20000   100000 |    92258    85480    131 |  0.000 % |
152.44/152.61	c |    246091 |    1000    20000   100000 |    92258    86880    131 |  0.000 % |
153.54/153.79	c |    247631 |    1000    20000   100000 |    92258    88420    131 |  0.000 % |
154.85/155.06	c |    249325 |    1000    20000   100000 |    92258    90114    131 |  0.000 % |
156.35/156.57	c |    251188 |    1000    20000   100000 |    90791    81689    131 |  0.000 % |
157.84/158.01	c |    253237 |    1000    20000   100000 |    90791    83738    131 |  0.000 % |
159.44/159.65	c |    255490 |    1000    20000   100000 |    90791    85991    131 |  0.000 % |
161.24/161.46	c |    257970 |    1000    20000   100000 |    90791    88471    131 |  0.000 % |
161.34/161.55	c |    258071 |    1000    20000   100000 |    90791    88572    131 |  0.000 % |
161.45/161.67	c |    258181 |    1000    20000   100000 |    90791    88682    131 |  0.000 % |
161.55/161.78	c |    258303 |    1000    20000   100000 |    90791    88804    131 |  0.000 % |
161.74/161.90	c |    258437 |    1000    20000   100000 |    90791    88938    131 |  0.000 % |
161.84/162.02	c |    258583 |    1000    20000   100000 |    90791    89084    131 |  0.000 % |
161.94/162.18	c |    258743 |    1000    20000   100000 |    90791    89244    131 |  0.000 % |
162.14/162.34	c |    258920 |    1000    20000   100000 |    90791    89421    131 |  0.000 % |
162.24/162.49	c |    259114 |    1000    20000   100000 |    90791    89615    131 |  0.000 % |
162.44/162.65	c |    259326 |    1000    20000   100000 |    90791    89827    131 |  0.000 % |
162.65/162.84	c |    259559 |    1000    20000   100000 |    90791    90060    131 |  0.000 % |
162.84/163.07	c |    259815 |    1000    20000   100000 |    90791    90316    131 |  0.000 % |
163.14/163.30	c |    260096 |    1000    20000   100000 |    90502    90597    131 |  0.000 % |
163.34/163.59	c |    260406 |    1000    20000   100000 |    90502    81116    131 |  0.000 % |
163.65/163.83	c |    260745 |    1000    20000   100000 |    90502    81455    131 |  0.000 % |
163.94/164.10	c |    261117 |    1000    20000   100000 |    90502    81827    131 |  0.000 % |
164.14/164.38	c |    261526 |    1000    20000   100000 |    90502    82236    131 |  0.000 % |
164.54/164.72	c |    261977 |    1000    20000   100000 |    90502    82687    131 |  0.000 % |
164.84/165.10	c |    262470 |    1000    20000   100000 |    90502    83180    131 |  0.000 % |
165.24/165.48	c |    263014 |    1000    20000   100000 |    90502    83724    131 |  0.000 % |
165.74/165.95	c |    263611 |    1000    20000   100000 |    90502    84321    131 |  0.000 % |
166.24/166.42	c |    264267 |    1000    20000   100000 |    90502    84977    131 |  0.000 % |
166.74/166.98	c |    264988 |    1000    20000   100000 |    90502    85698    131 |  0.000 % |
167.34/167.55	c |    265780 |    1000    20000   100000 |    90502    86490    131 |  0.000 % |
167.94/168.16	c |    266651 |    1000    20000   100000 |    90502    87361    131 |  0.000 % |
168.64/168.83	c |    267610 |    1000    20000   100000 |    90502    88320    131 |  0.000 % |
169.34/169.54	c |    268665 |    1000    20000   100000 |    90502    89375    131 |  0.000 % |
170.24/170.42	c |    269825 |    1000    20000   100000 |    90502    90535    131 |  0.000 % |
171.14/171.36	c |    271098 |    1000    20000   100000 |    80713    73075    131 |  0.000 % |
172.14/172.30	c |    272499 |    1000    20000   100000 |    80713    74476    131 |  0.000 % |
173.04/173.27	c |    274039 |    1000    20000   100000 |    80713    76016    131 |  0.000 % |
174.13/174.38	c |    275737 |    1000    20000   100000 |    80713    77714    131 |  0.000 % |
175.43/175.61	c |    277601 |    1000    20000   100000 |    80713    79578    131 |  0.000 % |
176.73/176.95	c |    279650 |    1000    20000   100000 |    80713    73520    131 |  0.000 % |
178.13/178.31	c |    281904 |    1000    20000   100000 | 2147483647    75774    131 |  0.000 % |
179.73/179.94	c |    284382 |    1000    20000   100000 | 2147483647    78252    132 |  0.000 % |
181.53/181.78	c |    287108 |    1000    20000   100000 | 2147483647    80978    132 |  0.000 % |
181.63/181.85	c |    287209 |    1000    20000   100000 | 2147483647    81079    132 |  0.000 % |
181.73/181.94	c |    287319 |    1000    20000   100000 | 2147483647    81189    131 |  0.000 % |
181.83/182.04	c |    287440 |    1000    20000   100000 | 2147483647    81310    131 |  0.000 % |
181.93/182.15	c |    287574 |    1000    20000   100000 | 2147483647    81444    131 |  0.000 % |
182.03/182.29	c |    287720 |    1000    20000   100000 | 2147483647    81590    131 |  0.000 % |
182.23/182.42	c |    287881 |    1000    20000   100000 | 2147483647    81751    131 |  0.000 % |
182.33/182.57	c |    288058 |    1000    20000   100000 | 2147483647    81928    131 |  0.000 % |
182.53/182.74	c |    288253 |    1000    20000   100000 | 2147483647    82123    131 |  0.000 % |
182.73/182.90	c |    288466 |    1000    20000   100000 | 2147483647    82336    131 |  0.000 % |
182.83/183.07	c |    288700 |    1000    20000   100000 | 2147483647    82570    131 |  0.000 % |
183.03/183.24	c |    288957 |    1000    20000   100000 | 2147483647    82827    131 |  0.000 % |
183.23/183.46	c |    289238 |    1000    20000   100000 | 2147483647    83108    131 |  0.000 % |
183.43/183.66	c |    289547 |    1000    20000   100000 | 2147483647    83417    131 |  0.000 % |
183.73/183.96	c |    289888 |    1000    20000   100000 | 2147483647    83758    131 |  0.000 % |
184.03/184.24	c |    290262 |    1000    20000   100000 | 2147483647    84132    131 |  0.000 % |
184.33/184.56	c |    290672 |    1000    20000   100000 | 2147483647    84542    131 |  0.000 % |
184.63/184.88	c |    291121 |    1000    20000   100000 | 2147483647    84991    131 |  0.000 % |
185.03/185.24	c |    291614 |    1000    20000   100000 | 2147483647    85484    131 |  0.000 % |
185.43/185.65	c |    292157 |    1000    20000   100000 | 2147483647    86027    131 |  0.000 % |
185.83/186.09	c |    292753 |    1000    20000   100000 | 2147483647    86623    131 |  0.000 % |
186.33/186.58	c |    293408 |    1000    20000   100000 | 2147483647    87278    131 |  0.000 % |
186.93/187.10	c |    294128 |    1000    20000   100000 | 2147483647    87998    131 |  0.000 % |
187.43/187.64	c |    294920 |    1000    20000   100000 | 2147483647    88790    131 |  0.000 % |
188.02/188.26	c |    295792 |    1000    20000   100000 | 2147483647    89662    131 |  0.000 % |
188.72/188.98	c |    296752 |    1000    20000   100000 | 2147483647    90622    131 |  0.000 % |
189.62/189.80	c |    297806 |    1000    20000   100000 | 2147483647    91676    131 |  0.000 % |
190.42/190.65	c |    298965 |    1000    20000   100000 | 2147483647    92835    131 |  0.000 % |
191.33/191.57	c |    300238 |    1000    20000   100000 |    93870    94108    131 |  0.000 % |
192.43/192.61	c |    301641 |    1000    20000   100000 |    93870    85264    132 |  0.000 % |
193.43/193.69	c |    303182 |    1000    20000   100000 |    93870    86805    132 |  0.000 % |
194.62/194.86	c |    304877 |    1000    20000   100000 |    93870    88500    132 |  0.000 % |
195.92/196.18	c |    306741 |    1000    20000   100000 |    93870    90364    132 |  0.000 % |
197.32/197.58	c |    308790 |    1000    20000   100000 |    93870    92413    132 |  0.000 % |
199.12/199.34	c |    311044 |    1000    20000   100000 |    93623    85095    132 |  0.000 % |
200.92/201.14	c |    313524 |    1000    20000   100000 |    93623    87575    132 |  0.000 % |
203.02/203.20	c |    316249 |    1000    20000   100000 |    93623    90300    133 |  0.000 % |
205.22/205.45	c |    319246 |    1000    20000   100000 |    93623    93297    133 |  0.000 % |
205.32/205.52	c |    319346 |    1000    20000   100000 |    93623    93397    133 |  0.000 % |
205.42/205.61	c |    319456 |    1000    20000   100000 |    93623    93507    133 |  0.000 % |
205.52/205.72	c |    319577 |    1000    20000   100000 |    93623    93628    133 |  0.000 % |
205.72/205.92	c |    319710 |    1000    20000   100000 |    93623    82431    134 |  0.000 % |
205.82/206.04	c |    319859 |    1000    20000   100000 |    93623    82580    134 |  0.000 % |
205.92/206.16	c |    320019 |    1000    20000   100000 |    82721    82740    134 |  0.000 % |
206.12/206.34	c |    320196 |    1000    20000   100000 |    82721    72937    133 |  0.000 % |
206.22/206.46	c |    320390 |    1000    20000   100000 |    82721    73131    133 |  0.000 % |
206.42/206.61	c |    320604 |    1000    20000   100000 |    82721    73345    133 |  0.000 % |
206.52/206.78	c |    320837 |    1000    20000   100000 |    82721    73578    133 |  0.000 % |
206.72/206.95	c |    321094 |    1000    20000   100000 |    82721    73835    133 |  0.000 % |
206.92/207.15	c |    321376 |    1000    20000   100000 |    82721    74117    133 |  0.000 % |
207.12/207.36	c |    321685 |    1000    20000   100000 |    82721    74426    133 |  0.000 % |
207.32/207.58	c |    322026 |    1000    20000   100000 |    82721    74767    133 |  0.000 % |
207.62/207.84	c |    322399 |    1000    20000   100000 |    82721    75140    133 |  0.000 % |
207.92/208.11	c |    322809 |    1000    20000   100000 |    82721    75550    133 |  0.000 % |
208.22/208.40	c |    323258 |    1000    20000   100000 |    82721    75999    133 |  0.000 % |
208.52/208.72	c |    323751 |    1000    20000   100000 |    82721    76492    133 |  0.000 % |
208.82/209.06	c |    324294 |    1000    20000   100000 |    82721    77035    133 |  0.000 % |
209.22/209.47	c |    324894 |    1000    20000   100000 |    82721    77635    133 |  0.000 % |
209.72/209.93	c |    325550 |    1000    20000   100000 |    82721    78291    133 |  0.000 % |
210.22/210.46	c |    326270 |    1000    20000   100000 |    82721    79011    133 |  0.000 % |
210.82/211.01	c |    327062 |    1000    20000   100000 |    82721    79803    133 |  0.000 % |
211.32/211.57	c |    327934 |    1000    20000   100000 |    82721    80675    133 |  0.000 % |
212.02/212.22	c |    328893 |    1000    20000   100000 |    82721    81634    133 |  0.000 % |
212.72/212.94	c |    329948 |    1000    20000   100000 |    82721    82689    133 |  0.000 % |
213.52/213.77	c |    331107 |    1000    20000   100000 | 2147483647    83848    133 |  0.000 % |
214.52/214.75	c |    332382 |    1000    20000   100000 | 2147483647    85123    133 |  0.000 % |
215.52/215.78	c |    333783 |    1000    20000   100000 | 2147483647    86524    133 |  0.000 % |
216.62/216.87	c |    335323 |    1000    20000   100000 | 2147483647    88064    133 |  0.000 % |
217.91/218.14	c |    337017 |    1000    20000   100000 | 2147483647    89758    133 |  0.000 % |
219.31/219.55	c |    338880 |    1000    20000   100000 | 2147483647    91621    133 |  0.000 % |
220.82/221.10	c |    340930 |    1000    20000   100000 |    92741    83974    134 |  0.000 % |
222.51/222.75	c |    343184 |    1000    20000   100000 |    92741    86228    134 |  0.000 % |
224.31/224.52	c |    345662 |    1000    20000   100000 |    92741    88706    134 |  0.000 % |
226.21/226.47	c |    348388 |    1000    20000   100000 |    92741    91432    135 |  0.000 % |
228.41/228.63	c |    351387 |    1000    20000   100000 |    93044    84965    136 |  0.000 % |
230.81/231.01	c |    354684 |    1000    20000   100000 |    93044    88262    136 |  0.000 % |
230.81/231.09	c |    354784 |    1000    20000   100000 |    93044    88362    136 |  0.000 % |
231.01/231.20	c |    354894 |    1000    20000   100000 |    93044    88472    136 |  0.000 % |
231.01/231.29	c |    355016 |    1000    20000   100000 |    93044    88594    136 |  0.000 % |
231.21/231.43	c |    355149 |    1000    20000   100000 |    93044    88727    136 |  0.000 % |
231.31/231.56	c |    355295 |    1000    20000   100000 |    93044    88873    136 |  0.000 % |
231.41/231.68	c |    355456 |    1000    20000   100000 |    93044    89034    136 |  0.000 % |
231.60/231.83	c |    355632 |    1000    20000   100000 |    93044    89210    136 |  0.000 % |
231.70/231.95	c |    355825 |    1000    20000   100000 |    93044    89403    136 |  0.000 % |
231.91/232.12	c |    356039 |    1000    20000   100000 |    93044    89617    135 |  0.000 % |
232.10/232.33	c |    356273 |    1000    20000   100000 |    93044    89851    135 |  0.000 % |
232.30/232.52	c |    356529 |    1000    20000   100000 |    93044    90107    135 |  0.000 % |
232.50/232.74	c |    356812 |    1000    20000   100000 |    93044    90390    135 |  0.000 % |
232.70/232.99	c |    357123 |    1000    20000   100000 |    93044    90701    135 |  0.000 % |
233.00/233.28	c |    357463 |    1000    20000   100000 |    93044    91041    135 |  0.000 % |
233.30/233.57	c |    357835 |    1000    20000   100000 |    93044    91413    135 |  0.000 % |
233.60/233.89	c |    358245 |    1000    20000   100000 |    93044    91823    135 |  0.000 % |
234.00/234.24	c |    358694 |    1000    20000   100000 |    93044    92272    135 |  0.000 % |
234.40/234.61	c |    359189 |    1000    20000   100000 |    93044    92767    135 |  0.000 % |
234.80/235.05	c |    359731 |    1000    20000   100000 |    93044    93309    135 |  0.000 % |
235.30/235.54	c |    360327 |    1000    20000   100000 |    82550    82877    135 |  0.000 % |
235.80/236.01	c |    360982 |    1000    20000   100000 |    82550    73911    135 |  0.000 % |
236.20/236.49	c |    361705 |    1000    20000   100000 |    82550    74634    135 |  0.000 % |
236.70/236.95	c |    362497 |    1000    20000   100000 |    82550    75426    135 |  0.000 % |
237.30/237.52	c |    363369 |    1000    20000   100000 |    82550    76298    135 |  0.000 % |
237.90/238.15	c |    364327 |    1000    20000   100000 |    82550    77256    135 |  0.000 % |
238.60/238.83	c |    365382 |    1000    20000   100000 |    82550    78311    135 |  0.000 % |
239.30/239.59	c |    366540 |    1000    20000   100000 |    82550    79469    135 |  0.000 % |
240.30/240.53	c |    367813 |    1000    20000   100000 |    82550    80742    135 |  0.000 % |
241.20/241.45	c |    369213 |    1000    20000   100000 |    82550    82142    135 |  0.000 % |
242.39/242.60	c |    370753 |    1000    20000   100000 | 2147483647    75392    136 |  0.000 % |
243.39/243.64	c |    372448 |    1000    20000   100000 | 2147483647    77087    136 |  0.000 % |
244.49/244.79	c |    374311 |    1000    20000   100000 | 2147483647    78950    136 |  0.000 % |
245.79/246.08	c |    376360 |    1000    20000   100000 | 2147483647    80999    136 |  0.000 % |
247.39/247.60	c |    378614 |    1000    20000   100000 | 2147483647    83253    136 |  0.000 % |
248.99/249.29	c |    381092 |    1000    20000   100000 | 2147483647    85731    136 |  0.000 % |
250.89/251.17	c |    383817 |    1000    20000   100000 | 2147483647    88456    136 |  0.000 % |
253.09/253.31	c |    386816 |    1000    20000   100000 | 2147483647    91455    136 |  0.000 % |
255.59/255.85	c |    390112 |    1000    20000   100000 |    94643    94751    136 |  0.000 % |
258.30/258.52	c |    393737 |    1000    20000   100000 |    94643    87328    136 |  0.000 % |
258.39/258.60	c |    393837 |    1000    20000   100000 |    94643    87428    136 |  0.000 % |
258.39/258.68	c |    393947 |    1000    20000   100000 |    94643    87538    136 |  0.000 % |
258.49/258.78	c |    394068 |    1000    20000   100000 |    94643    87659    136 |  0.000 % |
258.69/258.92	c |    394202 |    1000    20000   100000 |    94643    87793    136 |  0.000 % |
258.79/259.05	c |    394348 |    1000    20000   100000 |    94643    87939    136 |  0.000 % |
258.89/259.18	c |    394508 |    1000    20000   100000 |    94643    88099    136 |  0.000 % |
259.09/259.36	c |    394685 |    1000    20000   100000 |    94643    88276    136 |  0.000 % |
259.30/259.53	c |    394879 |    1000    20000   100000 |    94643    88470    136 |  0.000 % |
259.49/259.71	c |    395093 |    1000    20000   100000 |    94643    88684    136 |  0.000 % |
259.69/259.92	c |    395327 |    1000    20000   100000 |    94643    88918    136 |  0.000 % |
259.89/260.13	c |    395584 |    1000    20000   100000 |    94643    89175    136 |  0.000 % |
260.09/260.38	c |    395866 |    1000    20000   100000 |    94643    89457    136 |  0.000 % |
260.40/260.64	c |    396176 |    1000    20000   100000 |    94643    89767    136 |  0.000 % |
260.69/260.92	c |    396515 |    1000    20000   100000 |    94643    90106    136 |  0.000 % |
260.99/261.27	c |    396887 |    1000    20000   100000 |    94643    90478    136 |  0.000 % |
261.29/261.56	c |    397296 |    1000    20000   100000 |    94643    90887    136 |  0.000 % |
261.69/261.93	c |    397745 |    1000    20000   100000 |    94643    91336    136 |  0.000 % |
261.99/262.29	c |    398238 |    1000    20000   100000 |    94643    91829    136 |  0.000 % |
262.49/262.74	c |    398780 |    1000    20000   100000 |    94643    92371    136 |  0.000 % |
262.99/263.20	c |    399378 |    1000    20000   100000 |    94643    92969    135 |  0.000 % |
263.49/263.71	c |    400033 |    1000    20000   100000 |    93591    93624    135 |  0.000 % |
264.09/264.31	c |    400754 |    1000    20000   100000 |    93591    82531    135 |  0.000 % |
264.59/264.87	c |    401546 |    1000    20000   100000 |    93591    83323    135 |  0.000 % |
265.29/265.51	c |    402417 |    1000    20000   100000 |    93591    84194    135 |  0.000 % |
265.89/266.16	c |    403375 |    1000    20000   100000 |    93591    85152    135 |  0.000 % |
266.69/266.91	c |    404428 |    1000    20000   100000 |    93591    86205    135 |  0.000 % |
267.49/267.75	c |    405586 |    1000    20000   100000 |    93591    87363    135 |  0.000 % |
268.39/268.68	c |    406859 |    1000    20000   100000 |    93591    88636    135 |  0.000 % |
269.39/269.62	c |    408260 |    1000    20000   100000 |    93591    90037    135 |  0.000 % |
270.49/270.75	c |    409801 |    1000    20000   100000 |    93591    91578    134 |  0.000 % |
271.79/272.01	c |    411498 |    1000    20000   100000 |    91777    82255    135 |  0.000 % |
272.99/273.27	c |    413362 |    1000    20000   100000 |    91777    84119    135 |  0.000 % |
274.49/274.70	c |    415414 |    1000    20000   100000 |    91777    86171    135 |  0.000 % |
276.09/276.37	c |    417667 |    1000    20000   100000 |    91777    88424    135 |  0.000 % |
277.98/278.26	c |    420149 |    1000    20000   100000 |    90757    90906    135 |  0.000 % |
279.78/280.09	c |    422875 |    1000    20000   100000 |    90757    83284    135 |  0.000 % |
281.88/282.13	c |    425874 |    1000    20000   100000 |    90757    86283    135 |  0.000 % |
284.28/284.51	c |    429170 |    1000    20000   100000 |    90757    89579    135 |  0.000 % |
286.78/287.08	c |    432797 |    1000    20000   100000 |    90412    83534    134 |  0.000 % |
289.58/289.83	c |    436785 |    1000    20000   100000 |    90412    87522    135 |  0.000 % |
289.68/289.90	c |    436885 |    1000    20000   100000 |    90412    87622    135 |  0.000 % |
289.68/289.99	c |    436995 |    1000    20000   100000 |    90412    87732    135 |  0.000 % |
289.88/290.10	c |    437116 |    1000    20000   100000 |    90412    87853    135 |  0.000 % |
289.98/290.21	c |    437249 |    1000    20000   100000 |    90412    87986    135 |  0.000 % |
290.08/290.33	c |    437395 |    1000    20000   100000 |    90412    88132    134 |  0.000 % |
290.18/290.47	c |    437555 |    1000    20000   100000 |    90412    88292    134 |  0.000 % |
290.38/290.64	c |    437732 |    1000    20000   100000 |    90412    88469    134 |  0.000 % |
290.48/290.79	c |    437927 |    1000    20000   100000 |    90412    88664    134 |  0.000 % |
290.68/290.95	c |    438141 |    1000    20000   100000 |    90412    88878    134 |  0.000 % |
290.88/291.13	c |    438375 |    1000    20000   100000 |    90412    89112    134 |  0.000 % |
291.08/291.33	c |    438632 |    1000    20000   100000 |    90412    89369    134 |  0.000 % |
291.28/291.53	c |    438917 |    1000    20000   100000 |    90412    89654    134 |  0.000 % |
291.48/291.79	c |    439226 |    1000    20000   100000 |    90412    89963    134 |  0.000 % |
291.78/292.04	c |    439565 |    1000    20000   100000 |    90412    90302    134 |  0.000 % |
292.07/292.36	c |    439938 |    1000    20000   100000 |    90412    90675    134 |  0.000 % |
292.48/292.72	c |    440347 |    1000    20000   100000 |    80706    81051    135 |  0.000 % |
292.78/293.04	c |    440798 |    1000    20000   100000 |    80706    72720    135 |  0.000 % |
293.07/293.34	c |    441292 |    1000    20000   100000 |    80706    73214    135 |  0.000 % |
293.48/293.70	c |    441834 |    1000    20000   100000 |    80706    73756    134 |  0.000 % |
293.87/294.10	c |    442430 |    1000    20000   100000 |    80706    74352    135 |  0.000 % |
294.27/294.52	c |    443085 |    1000    20000   100000 |    80706    75007    134 |  0.000 % |
294.77/295.06	c |    443805 |    1000    20000   100000 |    80706    75727    134 |  0.000 % |
295.27/295.60	c |    444599 |    1000    20000   100000 |    80706    76521    134 |  0.000 % |
295.97/296.21	c |    445470 |    1000    20000   100000 |    80706    77392    134 |  0.000 % |
296.57/296.89	c |    446429 |    1000    20000   100000 |    80706    78351    134 |  0.000 % |
297.27/297.56	c |    447483 |    1000    20000   100000 |    80706    79405    134 |  0.000 % |
298.07/298.35	c |    448641 |    1000    20000   100000 |    80706    80563    134 |  0.000 % |
298.98/299.22	c |    449914 |    1000    20000   100000 |    80706    73730    134 |  0.000 % |
299.87/300.12	c |    451314 |    1000    20000   100000 | 2147483647    75130    134 |  0.000 % |
300.77/301.02	c |    452855 |    1000    20000   100000 | 2147483647    76671    134 |  0.000 % |
301.87/302.15	c |    454550 |    1000    20000   100000 | 2147483647    78366    134 |  0.000 % |
303.17/303.40	c |    456414 |    1000    20000   100000 | 2147483647    80230    134 |  0.000 % |
304.47/304.76	c |    458464 |    1000    20000   100000 | 2147483647    82280    134 |  0.000 % |
306.07/306.31	c |    460718 |    1000    20000   100000 | 2147483647    84534    135 |  0.000 % |
307.67/307.97	c |    463196 |    1000    20000   100000 | 2147483647    87012    134 |  0.000 % |
309.67/309.95	c |    465921 |    1000    20000   100000 | 2147483647    89737    135 |  0.000 % |
311.76/312.06	c |    468918 |    1000    20000   100000 | 2147483647    92734    135 |  0.000 % |
314.27/314.51	c |    472215 |    1000    20000   100000 |    93816    86178    135 |  0.000 % |
316.86/317.13	c |    475840 |    1000    20000   100000 |    93816    89803    135 |  0.000 % |
319.77/320.00	c |    479827 |    1000    20000   100000 |    93816    93790    135 |  0.000 % |
322.96/323.22	c |    484212 |    1000    20000   100000 |    93963    87792    136 |  0.000 % |
323.06/323.30	c |    484312 |    1000    20000   100000 |    93963    87892    136 |  0.000 % |
323.06/323.39	c |    484422 |    1000    20000   100000 |    93963    88002    136 |  0.000 % |
323.16/323.49	c |    484543 |    1000    20000   100000 |    93963    88123    136 |  0.000 % |
323.35/323.62	c |    484678 |    1000    20000   100000 |    93963    88258    136 |  0.000 % |
323.45/323.73	c |    484824 |    1000    20000   100000 |    93963    88404    136 |  0.000 % |
323.55/323.87	c |    484986 |    1000    20000   100000 |    93963    88566    136 |  0.000 % |
323.75/324.03	c |    485166 |    1000    20000   100000 |    93963    88746    136 |  0.000 % |
323.85/324.19	c |    485359 |    1000    20000   100000 |    93963    88939    136 |  0.000 % |
324.05/324.37	c |    485572 |    1000    20000   100000 |    93963    89152    136 |  0.000 % |
324.26/324.59	c |    485808 |    1000    20000   100000 |    93963    89388    136 |  0.000 % |
324.45/324.78	c |    486064 |    1000    20000   100000 |    93963    89644    136 |  0.000 % |
324.75/325.03	c |    486345 |    1000    20000   100000 |    93963    89925    136 |  0.000 % |
324.95/325.30	c |    486654 |    1000    20000   100000 |    93963    90234    136 |  0.000 % |
325.25/325.57	c |    486993 |    1000    20000   100000 |    93963    90573    136 |  0.000 % |
325.55/325.88	c |    487366 |    1000    20000   100000 |    93963    90946    136 |  0.000 % |
325.85/326.18	c |    487775 |    1000    20000   100000 |    93963    91355    136 |  0.000 % |
326.25/326.52	c |    488226 |    1000    20000   100000 |    93963    91806    136 |  0.000 % |
326.55/326.88	c |    488721 |    1000    20000   100000 |    93963    92301    136 |  0.000 % |
326.95/327.27	c |    489264 |    1000    20000   100000 |    93963    92844    136 |  0.000 % |
327.45/327.71	c |    489860 |    1000    20000   100000 |    93963    93440    135 |  0.000 % |
327.95/328.25	c |    490515 |    1000    20000   100000 |    93581    82697    136 |  0.000 % |
328.45/328.76	c |    491236 |    1000    20000   100000 |    93581    83418    136 |  0.000 % |
328.95/329.27	c |    492030 |    1000    20000   100000 |    93581    84212    136 |  0.000 % |
329.55/329.87	c |    492901 |    1000    20000   100000 |    93581    85083    136 |  0.000 % |
330.25/330.60	c |    493859 |    1000    20000   100000 |    93581    86041    136 |  0.000 % |
331.05/331.36	c |    494912 |    1000    20000   100000 |    93581    87094    136 |  0.000 % |
331.95/332.21	c |    496073 |    1000    20000   100000 |    93581    88255    136 |  0.000 % |
332.85/333.18	c |    497347 |    1000    20000   100000 |    93581    89529    136 |  0.000 % |
333.95/334.26	c |    498748 |    1000    20000   100000 |    93581    90930    136 |  0.000 % |
335.15/335.40	c |    500290 |    1000    20000   100000 |    92183    92472    136 |  0.000 % |
336.35/336.67	c |    501984 |    1000    20000   100000 |    92183    83350    135 |  0.000 % |
337.65/337.94	c |    503851 |    1000    20000   100000 |    92183    85217    135 |  0.000 % |
339.15/339.43	c |    505902 |    1000    20000   100000 |    92183    87268    136 |  0.000 % |
340.75/341.08	c |    508156 |    1000    20000   100000 |    92183    89522    135 |  0.000 % |
342.64/342.93	c |    510634 |    1000    20000   100000 |    91366    82092    135 |  0.000 % |
344.44/344.75	c |    513359 |    1000    20000   100000 |    91366    84817    135 |  0.000 % |
346.54/346.85	c |    516356 |    1000    20000   100000 |    91366    87814    135 |  0.000 % |
349.04/349.30	c |    519653 |    1000    20000   100000 |    91366    91111    136 |  0.000 % |
351.54/351.90	c |    523278 |    1000    20000   100000 |    91458    84479    136 |  0.000 % |
354.44/354.74	c |    527265 |    1000    20000   100000 |    91458    88466    136 |  0.000 % |
357.54/357.84	c |    531650 |    1000    20000   100000 |    91201    82652    136 |  0.000 % |
360.94/361.29	c |    536474 |    1000    20000   100000 |    91201    87476    137 |  0.000 % |
361.04/361.38	c |    536574 |    1000    20000   100000 |    91201    87576    137 |  0.000 % |
361.14/361.49	c |    536684 |    1000    20000   100000 |    91201    87686    137 |  0.000 % |
361.24/361.58	c |    536805 |    1000    20000   100000 |    91201    87807    137 |  0.000 % |
361.34/361.69	c |    536939 |    1000    20000   100000 |    91201    87941    137 |  0.000 % |
361.54/361.81	c |    537085 |    1000    20000   100000 |    91201    88087    137 |  0.000 % |
361.64/361.96	c |    537246 |    1000    20000   100000 |    91201    88248    136 |  0.000 % |
361.84/362.11	c |    537422 |    1000    20000   100000 |    91201    88424    137 |  0.000 % |
361.94/362.28	c |    537617 |    1000    20000   100000 |    91201    88619    137 |  0.000 % |
362.14/362.44	c |    537831 |    1000    20000   100000 |    91201    88833    136 |  0.000 % |
362.34/362.62	c |    538066 |    1000    20000   100000 |    91201    89068    136 |  0.000 % |
362.54/362.85	c |    538323 |    1000    20000   100000 |    91201    89325    136 |  0.000 % |
362.74/363.07	c |    538605 |    1000    20000   100000 |    91201    89607    136 |  0.000 % |
363.04/363.31	c |    538914 |    1000    20000   100000 |    91201    89916    136 |  0.000 % |
363.34/363.61	c |    539253 |    1000    20000   100000 |    91201    90255    136 |  0.000 % |
363.63/363.90	c |    539627 |    1000    20000   100000 |    91201    90629    136 |  0.000 % |
363.93/364.23	c |    540036 |    1000    20000   100000 |    91005    91038    136 |  0.000 % |
364.33/364.63	c |    540486 |    1000    20000   100000 |    91005    81058    136 |  0.000 % |
364.63/364.99	c |    540979 |    1000    20000   100000 |    91005    81551    136 |  0.000 % |
365.03/365.37	c |    541521 |    1000    20000   100000 |    91005    82093    136 |  0.000 % |
365.53/365.81	c |    542117 |    1000    20000   100000 |    91005    82689    136 |  0.000 % |
365.94/366.27	c |    542772 |    1000    20000   100000 |    91005    83344    135 |  0.000 % |
366.43/366.77	c |    543493 |    1000    20000   100000 |    91005    84065    135 |  0.000 % |
367.04/367.33	c |    544285 |    1000    20000   100000 |    91005    84857    135 |  0.000 % |
367.63/367.96	c |    545156 |    1000    20000   100000 |    91005    85728    135 |  0.000 % |
368.33/368.69	c |    546114 |    1000    20000   100000 |    91005    86686    135 |  0.000 % |
369.13/369.43	c |    547168 |    1000    20000   100000 |    91005    87740    135 |  0.000 % |
370.03/370.30	c |    548326 |    1000    20000   100000 |    91005    88898    135 |  0.000 % |
370.83/371.18	c |    549599 |    1000    20000   100000 |    91005    90171    135 |  0.000 % |
371.92/372.27	c |    550999 |    1000    20000   100000 |    90572    81205    135 |  0.000 % |
373.02/373.32	c |    552541 |    1000    20000   100000 |    90572    82747    135 |  0.000 % |
374.22/374.51	c |    554236 |    1000    20000   100000 |    90572    84442    135 |  0.000 % |
375.52/375.84	c |    556099 |    1000    20000   100000 |    90572    86305    135 |  0.000 % |
376.93/377.29	c |    558149 |    1000    20000   100000 |    90572    88355    135 |  0.000 % |
378.72/379.05	c |    560402 |    1000    20000   100000 |    90209    80510    134 |  0.000 % |
380.33/380.68	c |    562880 |    1000    20000   100000 |    90209    82988    134 |  0.000 % |
382.22/382.53	c |    565605 |    1000    20000   100000 |    90209    85713    134 |  0.000 % |
384.22/384.56	c |    568602 |    1000    20000   100000 |    90209    88710    135 |  0.000 % |
386.62/387.00	c |    571898 |    1000    20000   100000 | 2147483647    92006    135 |  0.000 % |
389.42/389.77	c |    575524 |    1000    20000   100000 | 2147483647    95632    135 |  0.000 % |
392.42/392.79	c |    579511 |    1000    20000   100000 | 2147483647    99619    135 |  0.000 % |
395.72/396.08	c |    583897 |    1000    20000   100000 |   100108    90334    136 |  0.000 % |
399.32/399.67	c |    588722 |    1000    20000   100000 |   100108    95159    136 |  0.000 % |
403.52/403.82	c |    594029 |    1000    20000   100000 |    96437    86848    137 |  0.000 % |
403.62/403.91	c |    594129 |    1000    20000   100000 |    96437    86948    137 |  0.000 % |
403.72/404.01	c |    594239 |    1000    20000   100000 |    96437    87058    137 |  0.000 % |
403.82/404.12	c |    594360 |    1000    20000   100000 |    96437    87179    137 |  0.000 % |
403.92/404.22	c |    594493 |    1000    20000   100000 |    96437    87312    137 |  0.000 % |
404.02/404.36	c |    594641 |    1000    20000   100000 |    96437    87460    137 |  0.000 % |
404.12/404.49	c |    594801 |    1000    20000   100000 |    96437    87620    137 |  0.000 % |
404.32/404.62	c |    594977 |    1000    20000   100000 |    96437    87796    137 |  0.000 % |
404.42/404.77	c |    595170 |    1000    20000   100000 |    96437    87989    137 |  0.000 % |
404.61/404.94	c |    595384 |    1000    20000   100000 |    96437    88203    137 |  0.000 % |
404.81/405.14	c |    595619 |    1000    20000   100000 |    96437    88438    137 |  0.000 % |
405.01/405.33	c |    595875 |    1000    20000   100000 |    96437    88694    137 |  0.000 % |
405.21/405.55	c |    596157 |    1000    20000   100000 |    96437    88976    137 |  0.000 % |
405.41/405.77	c |    596467 |    1000    20000   100000 |    96437    89286    137 |  0.000 % |
405.71/406.03	c |    596806 |    1000    20000   100000 |    96437    89625    137 |  0.000 % |
406.01/406.34	c |    597178 |    1000    20000   100000 |    96437    89997    136 |  0.000 % |
406.31/406.67	c |    597587 |    1000    20000   100000 |    96437    90406    136 |  0.000 % |
406.81/407.10	c |    598036 |    1000    20000   100000 |    96437    90855    136 |  0.000 % |
407.21/407.54	c |    598529 |    1000    20000   100000 |    96437    91348    136 |  0.000 % |
407.61/407.95	c |    599073 |    1000    20000   100000 |    96437    91892    136 |  0.000 % |
408.11/408.44	c |    599670 |    1000    20000   100000 |    96437    92489    136 |  0.000 % |
408.61/408.96	c |    600325 |    1000    20000   100000 |    92819    93144    136 |  0.000 % |
409.21/409.54	c |    601046 |    1000    20000   100000 |    92819    81179    136 |  0.000 % |
409.81/410.16	c |    601840 |    1000    20000   100000 |    92819    81973    136 |  0.000 % |
410.41/410.75	c |    602711 |    1000    20000   100000 |    92819    82844    136 |  0.000 % |
411.11/411.45	c |    603671 |    1000    20000   100000 |    92819    83804    136 |  0.000 % |
411.91/412.23	c |    604726 |    1000    20000   100000 |    92819    84859    136 |  0.000 % |
412.71/413.04	c |    605885 |    1000    20000   100000 |    92819    86018    136 |  0.000 % |
413.60/413.95	c |    607158 |    1000    20000   100000 |    92819    87291    136 |  0.000 % |
414.60/414.94	c |    608560 |    1000    20000   100000 |    92819    88693    136 |  0.000 % |
415.90/416.23	c |    610100 |    1000    20000   100000 |    90133    90233    136 |  0.000 % |
417.20/417.55	c |    611795 |    1000    20000   100000 |    90133    81322    136 |  0.000 % |
418.60/418.91	c |    613660 |    1000    20000   100000 |    90133    83187    136 |  0.000 % |
420.10/420.41	c |    615711 |    1000    20000   100000 |    90133    85238    136 |  0.000 % |
421.70/422.06	c |    617964 |    1000    20000   100000 |    90133    87491    136 |  0.000 % |
423.60/423.97	c |    620443 |    1000    20000   100000 |    89527    80468    136 |  0.000 % |
425.50/425.82	c |    623170 |    1000    20000   100000 |    89527    83195    136 |  0.000 % |
427.69/428.00	c |    626167 |    1000    20000   100000 |    89527    86192    136 |  0.000 % |
430.19/430.50	c |    629463 |    1000    20000   100000 |    89527    89488    136 |  0.000 % |
432.59/432.98	c |    633090 |    1000    20000   100000 |    80941    75902    137 |  0.000 % |
435.20/435.60	c |    637078 |    1000    20000   100000 |    80941    79890    137 |  0.000 % |
438.29/438.60	c |    641463 |    1000    20000   100000 | 2147483647    76146    136 |  0.000 % |
441.59/441.95	c |    646287 |    1000    20000   100000 | 2147483647    80970    136 |  0.000 % |
445.49/445.83	c |    651594 |    1000    20000   100000 | 2147483647    86277    136 |  0.000 % |
450.07/450.42	c |    657429 |    1000    20000   100000 | 2147483647    92112    137 |  0.000 % |
450.17/450.52	c |    657530 |    1000    20000   100000 | 2147483647    92213    137 |  0.000 % |
450.27/450.63	c |    657641 |    1000    20000   100000 | 2147483647    92324    137 |  0.000 % |
450.37/450.74	c |    657763 |    1000    20000   100000 | 2147483647    92446    137 |  0.000 % |
450.47/450.84	c |    657897 |    1000    20000   100000 | 2147483647    92580    137 |  0.000 % |
450.58/450.98	c |    658043 |    1000    20000   100000 | 2147483647    92726    137 |  0.000 % |
450.77/451.13	c |    658203 |    1000    20000   100000 | 2147483647    92886    137 |  0.000 % |
450.97/451.30	c |    658379 |    1000    20000   100000 | 2147483647    93062    137 |  0.000 % |
451.07/451.45	c |    658572 |    1000    20000   100000 | 2147483647    93255    136 |  0.000 % |
451.27/451.66	c |    658785 |    1000    20000   100000 | 2147483647    93468    136 |  0.000 % |
451.47/451.86	c |    659018 |    1000    20000   100000 | 2147483647    93701    136 |  0.000 % |
451.68/452.08	c |    659276 |    1000    20000   100000 | 2147483647    93959    136 |  0.000 % |
451.97/452.34	c |    659557 |    1000    20000   100000 | 2147483647    94240    136 |  0.000 % |
452.27/452.62	c |    659866 |    1000    20000   100000 | 2147483647    94549    136 |  0.000 % |
452.57/452.91	c |    660206 |    1000    20000   100000 |    94684    94889    136 |  0.000 % |
452.88/453.24	c |    660579 |    1000    20000   100000 |    94684    83336    136 |  0.000 % |
453.17/453.57	c |    660990 |    1000    20000   100000 |    94684    83747    136 |  0.000 % |
453.57/453.92	c |    661439 |    1000    20000   100000 |    94684    84196    136 |  0.000 % |
453.87/454.26	c |    661932 |    1000    20000   100000 |    94684    84689    136 |  0.000 % |
454.27/454.65	c |    662475 |    1000    20000   100000 |    94684    85232    136 |  0.000 % |
454.67/455.07	c |    663071 |    1000    20000   100000 |    94684    85828    136 |  0.000 % |
455.27/455.64	c |    663726 |    1000    20000   100000 |    94684    86483    136 |  0.000 % |
455.77/456.18	c |    664446 |    1000    20000   100000 |    94684    87203    136 |  0.000 % |
456.37/456.74	c |    665238 |    1000    20000   100000 |    94684    87995    136 |  0.000 % |
456.97/457.39	c |    666109 |    1000    20000   100000 |    94684    88866    136 |  0.000 % |
457.76/458.10	c |    667067 |    1000    20000   100000 |    94684    89824    136 |  0.000 % |
458.56/458.98	c |    668121 |    1000    20000   100000 |    94684    90878    136 |  0.000 % |
459.46/459.87	c |    669280 |    1000    20000   100000 |    94684    92037    136 |  0.000 % |
460.56/460.91	c |    670553 |    1000    20000   100000 |    92757    81640    135 |  0.000 % |
461.56/461.92	c |    671957 |    1000    20000   100000 |    92757    83044    135 |  0.000 % |
462.56/463.00	c |    673498 |    1000    20000   100000 |    92757    84585    135 |  0.000 % |
463.76/464.17	c |    675192 |    1000    20000   100000 |    92757    86279    135 |  0.000 % |
465.06/465.49	c |    677056 |    1000    20000   100000 |    92757    88143    135 |  0.000 % |
466.66/467.05	c |    679105 |    1000    20000   100000 |    92757    90192    135 |  0.000 % |
468.26/468.64	c |    681359 |    1000    20000   100000 |    91089    82372    135 |  0.000 % |
470.06/470.42	c |    683839 |    1000    20000   100000 |    91089    84852    135 |  0.000 % |
471.86/472.28	c |    686567 |    1000    20000   100000 |    91089    87580    135 |  0.000 % |
474.16/474.51	c |    689564 |    1000    20000   100000 |    91089    90577    135 |  0.000 % |
476.66/477.04	c |    692862 |    1000    20000   100000 |    91013    83485    135 |  0.000 % |
479.16/479.56	c |    696494 |    1000    20000   100000 |    91013    87117    136 |  0.000 % |
482.25/482.61	c |    700481 |    1000    20000   100000 |    90623    80889    136 |  0.000 % |
485.15/485.53	c |    704866 |    1000    20000   100000 |    90623    85274    136 |  0.000 % |
488.95/489.32	c |    709690 |    1000    20000   100000 |    90623    90098    137 |  0.000 % |
492.85/493.23	c |    714995 |    1000    20000   100000 |    90410    85663    137 |  0.000 % |
497.05/497.48	c |    720833 |    1000    20000   100000 |    90668    81678    137 |  0.000 % |
501.85/502.21	c |    727251 |    1000    20000   100000 |    90668    88096    138 |  0.000 % |
501.95/502.30	c |    727352 |    1000    20000   100000 |    90668    88197    138 |  0.000 % |
502.05/502.40	c |    727462 |    1000    20000   100000 |    90668    88307    138 |  0.000 % |
502.15/502.51	c |    727584 |    1000    20000   100000 |    90668    88429    138 |  0.000 % |
502.25/502.64	c |    727720 |    1000    20000   100000 |    90668    88565    138 |  0.000 % |
502.35/502.77	c |    727866 |    1000    20000   100000 |    90668    88711    138 |  0.000 % |
502.55/502.92	c |    728026 |    1000    20000   100000 |    90668    88871    137 |  0.000 % |
502.64/503.08	c |    728202 |    1000    20000   100000 |    90668    89047    138 |  0.000 % |
502.84/503.25	c |    728398 |    1000    20000   100000 |    90668    89243    137 |  0.000 % |
503.04/503.46	c |    728610 |    1000    20000   100000 |    90668    89455    137 |  0.000 % |
503.24/503.64	c |    728843 |    1000    20000   100000 |    90668    89688    137 |  0.000 % |
503.45/503.86	c |    729099 |    1000    20000   100000 |    90668    89944    137 |  0.000 % |
503.74/504.11	c |    729380 |    1000    20000   100000 |    90668    90225    137 |  0.000 % |
503.94/504.38	c |    729691 |    1000    20000   100000 |    90668    90536    137 |  0.000 % |
504.24/504.68	c |    730030 |    1000    20000   100000 |    90847    90875    137 |  0.000 % |
504.64/505.04	c |    730405 |    1000    20000   100000 |    90847    81386    137 |  0.000 % |
504.94/505.31	c |    730814 |    1000    20000   100000 |    90847    81795    137 |  0.000 % |
505.24/505.63	c |    731263 |    1000    20000   100000 |    90847    82244    137 |  0.000 % |
505.54/505.98	c |    731756 |    1000    20000   100000 |    90847    82737    137 |  0.000 % |
505.94/506.37	c |    732299 |    1000    20000   100000 |    90847    83280    137 |  0.000 % |
506.34/506.79	c |    732895 |    1000    20000   100000 |    90847    83876    137 |  0.000 % |
506.84/507.25	c |    733550 |    1000    20000   100000 |    90847    84531    137 |  0.000 % |
507.44/507.82	c |    734272 |    1000    20000   100000 |    90847    85253    137 |  0.000 % |
507.94/508.40	c |    735066 |    1000    20000   100000 |    90847    86047    137 |  0.000 % |
508.64/509.09	c |    735937 |    1000    20000   100000 |    90847    86918    137 |  0.000 % |
509.44/509.83	c |    736895 |    1000    20000   100000 |    90847    87876    137 |  0.000 % |
510.23/510.63	c |    737948 |    1000    20000   100000 |    90847    88929    137 |  0.000 % |
511.14/511.55	c |    739107 |    1000    20000   100000 |    90847    90088    137 |  0.000 % |
512.14/512.56	c |    740380 |    1000    20000   100000 |    90983    80462    137 |  0.000 % |
513.03/513.49	c |    741780 |    1000    20000   100000 |    90983    81862    137 |  0.000 % |
514.13/514.58	c |    743320 |    1000    20000   100000 |    90983    83402    137 |  0.000 % |
515.44/515.80	c |    745014 |    1000    20000   100000 |    90983    85096    137 |  0.000 % |
516.83/517.24	c |    746877 |    1000    20000   100000 |    90983    86959    137 |  0.000 % |
518.33/518.72	c |    748927 |    1000    20000   100000 |    90983    89009    137 |  0.000 % |
519.84/520.29	c |    751185 |    1000    20000   100000 |    90084    81870    138 |  0.000 % |
521.63/522.00	c |    753663 |    1000    20000   100000 |    90084    84348    138 |  0.000 % |
523.43/523.83	c |    756388 |    1000    20000   100000 |    90084    87073    138 |  0.000 % |
525.53/525.91	c |    759385 |    1000    20000   100000 |    90084    90070    138 |  0.000 % |
527.93/528.31	c |    762681 |    1000    20000   100000 |    81439    75939    138 |  0.000 % |
530.33/530.77	c |    766306 |    1000    20000   100000 |    81439    79564    138 |  0.000 % |
533.03/533.48	c |    770294 |    1000    20000   100000 | 2147483647    75370    138 |  0.000 % |
536.03/536.47	c |    774679 |    1000    20000   100000 | 2147483647    79755    139 |  0.000 % |
539.32/539.78	c |    779502 |    1000    20000   100000 | 2147483647    84578    138 |  0.000 % |
543.22/543.65	c |    784808 |    1000    20000   100000 | 2147483647    89884    138 |  0.000 % |
547.62/548.07	c |    790644 |    1000    20000   100000 |    95076    83251    139 |  0.000 % |
552.31/552.79	c |    797062 |    1000    20000   100000 |    95076    89669    139 |  0.000 % |
557.41/557.81	c |    804122 |    1000    20000   100000 |    92607    84669    140 |  0.000 % |
557.41/557.89	c |    804222 |    1000    20000   100000 |    92607    84769    140 |  0.000 % |
557.51/557.97	c |    804332 |    1000    20000   100000 |    92607    84879    140 |  0.000 % |
557.61/558.09	c |    804454 |    1000    20000   100000 |    92607    85001    140 |  0.000 % |
557.71/558.19	c |    804587 |    1000    20000   100000 |    92607    85134    140 |  0.000 % |
557.91/558.33	c |    804733 |    1000    20000   100000 |    92607    85280    139 |  0.000 % |
558.01/558.47	c |    804894 |    1000    20000   100000 |    92607    85441    139 |  0.000 % |
558.21/558.62	c |    805071 |    1000    20000   100000 |    92607    85618    139 |  0.000 % |
558.32/558.77	c |    805264 |    1000    20000   100000 |    92607    85811    139 |  0.000 % |
558.51/558.94	c |    805477 |    1000    20000   100000 |    92607    86024    139 |  0.000 % |
558.71/559.14	c |    805712 |    1000    20000   100000 |    92607    86259    139 |  0.000 % |
558.91/559.34	c |    805970 |    1000    20000   100000 |    92607    86517    139 |  0.000 % |
559.11/559.56	c |    806251 |    1000    20000   100000 |    92607    86798    139 |  0.000 % |
559.31/559.78	c |    806560 |    1000    20000   100000 |    92607    87107    139 |  0.000 % |
559.61/560.06	c |    806899 |    1000    20000   100000 |    92607    87446    139 |  0.000 % |
559.91/560.36	c |    807271 |    1000    20000   100000 |    92607    87818    139 |  0.000 % |
560.21/560.69	c |    807684 |    1000    20000   100000 |    92607    88231    139 |  0.000 % |
560.61/561.05	c |    808136 |    1000    20000   100000 |    92607    88683    139 |  0.000 % |
561.01/561.41	c |    808630 |    1000    20000   100000 |    92607    89177    139 |  0.000 % |
561.41/561.84	c |    809172 |    1000    20000   100000 |    92607    89719    139 |  0.000 % |
561.81/562.27	c |    809768 |    1000    20000   100000 |    92607    90315    139 |  0.000 % |
562.31/562.78	c |    810426 |    1000    20000   100000 |    90549    79772    139 |  0.000 % |
562.81/563.26	c |    811147 |    1000    20000   100000 |    90549    80493    139 |  0.000 % |
563.41/563.81	c |    811939 |    1000    20000   100000 |    90549    81285    139 |  0.000 % |
564.01/564.41	c |    812813 |    1000    20000   100000 |    90549    82159    139 |  0.000 % |
564.61/565.09	c |    813773 |    1000    20000   100000 |    90549    83119    139 |  0.000 % |
565.41/565.80	c |    814827 |    1000    20000   100000 |    90549    84173    139 |  0.000 % |
566.21/566.62	c |    815986 |    1000    20000   100000 |    90549    85332    139 |  0.000 % |
567.11/567.58	c |    817259 |    1000    20000   100000 |    90549    86605    139 |  0.000 % |
568.10/568.56	c |    818659 |    1000    20000   100000 |    90549    88005    139 |  0.000 % |
569.20/569.61	c |    820201 |    1000    20000   100000 |    89349    89547    139 |  0.000 % |
570.31/570.79	c |    821896 |    1000    20000   100000 |    89349    82278    139 |  0.000 % |
571.62/572.09	c |    823760 |    1000    20000   100000 |    89349    84142    139 |  0.000 % |
573.11/573.53	c |    825810 |    1000    20000   100000 |    89349    86192    139 |  0.000 % |
574.82/575.22	c |    828065 |    1000    20000   100000 |    89349    88447    139 |  0.000 % |
576.61/577.03	c |    830544 |    1000    20000   100000 | 2147483647    81955    140 |  0.000 % |
578.61/579.00	c |    833270 |    1000    20000   100000 | 2147483647    84681    140 |  0.000 % |
580.81/581.28	c |    836267 |    1000    20000   100000 | 2147483647    87678    140 |  0.000 % |
583.21/583.62	c |    839563 |    1000    20000   100000 | 2147483647    90974    140 |  0.000 % |
585.71/586.20	c |    843188 |    1000    20000   100000 |    91414    84777    140 |  0.000 % |
588.41/588.84	c |    847179 |    1000    20000   100000 |    91414    88768    140 |  0.000 % |
591.51/591.94	c |    851565 |    1000    20000   100000 |    91589    83524    140 |  0.000 % |
595.20/595.66	c |    856388 |    1000    20000   100000 |    91589    88347    139 |  0.000 % |
599.20/599.61	c |    861697 |    1000    20000   100000 |    91960    82829    139 |  0.000 % |
603.60/604.08	c |    867532 |    1000    20000   100000 |    91960    88664    140 |  0.000 % |
608.50/608.91	c |    873951 |    1000    20000   100000 |    91132    84109    139 |  0.000 % |
613.79/614.29	c |    881010 |    1000    20000   100000 |    90160    80115    138 |  0.000 % |
619.59/620.02	c |    888774 |    1000    20000   100000 |    90160    87879    139 |  0.000 % |
619.59/620.10	c |    888875 |    1000    20000   100000 |    90160    87980    138 |  0.000 % |
619.69/620.19	c |    888985 |    1000    20000   100000 |    90160    88090    138 |  0.000 % |
619.79/620.29	c |    889106 |    1000    20000   100000 |    90160    88211    138 |  0.000 % |
619.89/620.40	c |    889239 |    1000    20000   100000 |    90160    88344    138 |  0.000 % |
620.09/620.52	c |    889385 |    1000    20000   100000 |    90160    88490    138 |  0.000 % |
620.19/620.65	c |    889546 |    1000    20000   100000 |    90160    88651    138 |  0.000 % |
620.39/620.85	c |    889722 |    1000    20000   100000 |    90160    88827    138 |  0.000 % |
620.59/621.03	c |    889916 |    1000    20000   100000 |    90160    89021    138 |  0.000 % |
620.69/621.19	c |    890128 |    1000    20000   100000 |    89105    89233    138 |  0.000 % |
620.99/621.42	c |    890361 |    1000    20000   100000 |    89105    78222    139 |  0.000 % |
621.19/621.62	c |    890618 |    1000    20000   100000 |    89105    78479    139 |  0.000 % |
621.39/621.82	c |    890900 |    1000    20000   100000 |    89105    78761    139 |  0.000 % |
621.59/622.03	c |    891209 |    1000    20000   100000 |    89105    79070    139 |  0.000 % |
621.79/622.25	c |    891550 |    1000    20000   100000 |    89105    79411    139 |  0.000 % |
622.09/622.57	c |    891922 |    1000    20000   100000 |    89105    79783    139 |  0.000 % |
622.39/622.85	c |    892331 |    1000    20000   100000 |    89105    80192    139 |  0.000 % |
622.69/623.17	c |    892782 |    1000    20000   100000 |    89105    80643    139 |  0.000 % |
623.09/623.50	c |    893275 |    1000    20000   100000 |    89105    81136    138 |  0.000 % |
623.39/623.87	c |    893818 |    1000    20000   100000 |    89105    81679    139 |  0.000 % |
623.89/624.31	c |    894414 |    1000    20000   100000 |    89105    82275    139 |  0.000 % |
624.29/624.76	c |    895069 |    1000    20000   100000 |    89105    82930    138 |  0.000 % |
624.89/625.34	c |    895789 |    1000    20000   100000 |    89105    83650    138 |  0.000 % |
625.49/625.95	c |    896582 |    1000    20000   100000 |    89105    84443    138 |  0.000 % |
626.19/626.60	c |    897454 |    1000    20000   100000 |    89105    85315    138 |  0.000 % |
626.89/627.31	c |    898413 |    1000    20000   100000 |    89105    86274    138 |  0.000 % |
627.69/628.11	c |    899467 |    1000    20000   100000 |    89105    87328    138 |  0.000 % |
628.59/629.01	c |    900625 |    1000    20000   100000 |    87862    78561    138 |  0.000 % |
629.39/629.81	c |    901899 |    1000    20000   100000 |    87862    79835    138 |  0.000 % |
630.29/630.75	c |    903299 |    1000    20000   100000 |    87862    81235    138 |  0.000 % |
631.28/631.77	c |    904842 |    1000    20000   100000 |    87862    82778    138 |  0.000 % |
632.48/632.92	c |    906538 |    1000    20000   100000 |    87862    84474    138 |  0.000 % |
633.98/634.40	c |    908402 |    1000    20000   100000 |    87862    86338    138 |  0.000 % |
635.48/635.94	c |    910452 |    1000    20000   100000 | 2147483647    88388    138 |  0.000 % |
637.18/637.67	c |    912705 |    1000    20000   100000 | 2147483647    90641    138 |  0.000 % |
639.08/639.58	c |    915185 |    1000    20000   100000 | 2147483647    93121    139 |  0.000 % |
641.18/641.67	c |    917911 |    1000    20000   100000 | 2147483647    95847    139 |  0.000 % |
643.67/644.18	c |    920909 |    1000    20000   100000 |    97937    85911    138 |  0.000 % |
646.07/646.56	c |    924206 |    1000    20000   100000 |    97937    89208    138 |  0.000 % |
648.77/649.24	c |    927832 |    1000    20000   100000 |    97937    92834    139 |  0.000 % |
651.67/652.17	c |    931824 |    1000    20000   100000 |    95002    84880    139 |  0.000 % |
654.77/655.24	c |    936210 |    1000    20000   100000 |    95002    89266    140 |  0.000 % |
658.37/658.82	c |    941033 |    1000    20000   100000 |    93057    83359    140 |  0.000 % |
662.27/662.79	c |    946338 |    1000    20000   100000 |    93057    88664    140 |  0.000 % |
666.87/667.32	c |    952174 |    1000    20000   100000 |    92327    83493    141 |  0.000 % |
671.46/671.93	c |    958594 |    1000    20000   100000 |    92327    89913    141 |  0.000 % |
676.96/677.47	c |    965654 |    1000    20000   100000 |    91322    86074    141 |  0.000 % |
682.66/683.18	c |    973419 |    1000    20000   100000 |    90420    82556    142 |  0.000 % |
689.16/689.62	c |    981959 |    1000    20000   100000 |    89138    80300    142 |  0.000 % |
689.16/689.69	c |    982060 |    1000    20000   100000 |    89138    80401    142 |  0.000 % |
689.35/689.80	c |    982171 |    1000    20000   100000 |    89138    80512    142 |  0.000 % |
689.45/689.90	c |    982293 |    1000    20000   100000 |    89138    80634    142 |  0.000 % |
689.55/690.00	c |    982426 |    1000    20000   100000 |    89138    80767    142 |  0.000 % |
689.55/690.09	c |    982572 |    1000    20000   100000 |    89138    80913    142 |  0.000 % |
689.75/690.23	c |    982732 |    1000    20000   100000 |    89138    81073    142 |  0.000 % |
689.85/690.37	c |    982910 |    1000    20000   100000 |    89138    81251    142 |  0.000 % |
690.05/690.50	c |    983104 |    1000    20000   100000 |    89138    81445    142 |  0.000 % |
690.15/690.67	c |    983317 |    1000    20000   100000 |    89138    81658    142 |  0.000 % |
690.36/690.83	c |    983550 |    1000    20000   100000 |    89138    81891    142 |  0.000 % |
690.55/691.02	c |    983806 |    1000    20000   100000 |    89138    82147    142 |  0.000 % |
690.75/691.21	c |    984087 |    1000    20000   100000 |    89138    82428    142 |  0.000 % |
690.95/691.44	c |    984397 |    1000    20000   100000 |    89138    82738    142 |  0.000 % |
691.25/691.71	c |    984738 |    1000    20000   100000 |    89138    83079    142 |  0.000 % |
691.46/692.00	c |    985111 |    1000    20000   100000 |    89138    83452    141 |  0.000 % |
691.85/692.30	c |    985520 |    1000    20000   100000 |    89138    83861    141 |  0.000 % |
692.15/692.66	c |    985969 |    1000    20000   100000 |    89138    84310    141 |  0.000 % |
692.56/693.02	c |    986462 |    1000    20000   100000 |    89138    84803    141 |  0.000 % |
692.95/693.43	c |    987004 |    1000    20000   100000 |    89138    85345    141 |  0.000 % |
693.45/693.94	c |    987601 |    1000    20000   100000 |    89138    85942    141 |  0.000 % |
693.95/694.46	c |    988257 |    1000    20000   100000 |    89138    86598    141 |  0.000 % |
694.55/695.04	c |    988977 |    1000    20000   100000 |    89138    87318    141 |  0.000 % |
695.15/695.63	c |    989770 |    1000    20000   100000 |    89138    88111    141 |  0.000 % |
695.75/696.29	c |    990642 |    1000    20000   100000 |    88341    78596    141 |  0.000 % |
696.45/696.91	c |    991601 |    1000    20000   100000 |    88341    79555    141 |  0.000 % |
697.05/697.59	c |    992655 |    1000    20000   100000 |    88341    80609    141 |  0.000 % |
697.85/698.39	c |    993813 |    1000    20000   100000 |    88341    81767    141 |  0.000 % |
698.75/699.28	c |    995087 |    1000    20000   100000 |    88341    83041    140 |  0.000 % |
699.85/700.36	c |    996487 |    1000    20000   100000 |    88341    84441    141 |  0.000 % |
701.05/701.51	c |    998031 |    1000    20000   100000 |    88341    85985    140 |  0.000 % |
702.25/702.76	c |    999726 |    1000    20000   100000 |    88341    87680    140 |  0.000 % |
703.55/704.07	c |   1001589 |    1000    20000   100000 |    87955    80156    140 |  0.000 % |
705.05/705.51	c |   1003638 |    1000    20000   100000 |    87955    82205    140 |  0.000 % |
706.55/707.01	c |   1005892 |    1000    20000   100000 |    87955    84459    140 |  0.000 % |
708.25/708.78	c |   1008370 |    1000    20000   100000 |    87955    86937    140 |  0.000 % |
710.25/710.75	c |   1011095 |    1000    20000   100000 | 2147483647    80835    140 |  0.000 % |
712.35/712.84	c |   1014092 |    1000    20000   100000 | 2147483647    83832    140 |  0.000 % |
714.74/715.30	c |   1017389 |    1000    20000   100000 | 2147483647    87129    139 |  0.000 % |
717.44/717.96	c |   1021015 |    1000    20000   100000 |    89740    81290    139 |  0.000 % |
720.34/720.87	c |   1025002 |    1000    20000   100000 |    89740    85277    139 |  0.000 % |
723.64/724.18	c |   1029389 |    1000    20000   100000 |    89740    89664    139 |  0.000 % |
726.84/727.39	c |   1034212 |    1000    20000   100000 |    79908    75295    138 |  0.000 % |
730.43/730.92	c |   1039517 |    1000    20000   100000 |    79908    72575    138 |  0.000 % |
734.24/734.71	c |   1045352 |    1000    20000   100000 | 2147483647    78410    139 |  0.000 % |
738.93/739.42	c |   1051770 |    1000    20000   100000 | 2147483647    84828    139 |  0.000 % |
744.23/744.77	c |   1058830 |    1000    20000   100000 | 2147483647    91888    140 |  0.000 % |
750.23/750.73	c |   1066596 |    1000    20000   100000 |    93059    89061    140 |  0.000 % |
756.52/757.05	c |   1075136 |    1000    20000   100000 |    92465    86189    142 |  0.000 % |
763.82/764.34	c |   1084531 |    1000    20000   100000 |    91057    84490    144 |  0.000 % |
763.93/764.44	c |   1084632 |    1000    20000   100000 |    91057    84591    144 |  0.000 % |
764.03/764.53	c |   1084742 |    1000    20000   100000 |    91057    84701    144 |  0.000 % |
764.12/764.64	c |   1084863 |    1000    20000   100000 |    91057    84822    144 |  0.000 % |
764.22/764.75	c |   1084996 |    1000    20000   100000 |    91057    84955    144 |  0.000 % |
764.32/764.86	c |   1085142 |    1000    20000   100000 |    91057    85101    144 |  0.000 % |
764.42/764.97	c |   1085302 |    1000    20000   100000 |    91057    85261    144 |  0.000 % |
764.52/765.10	c |   1085478 |    1000    20000   100000 |    91057    85437    144 |  0.000 % |
764.72/765.25	c |   1085671 |    1000    20000   100000 |    91057    85630    144 |  0.000 % |
764.82/765.39	c |   1085883 |    1000    20000   100000 |    91057    85842    144 |  0.000 % |
765.02/765.56	c |   1086116 |    1000    20000   100000 |    91057    86075    144 |  0.000 % |
765.22/765.77	c |   1086373 |    1000    20000   100000 |    91057    86332    143 |  0.000 % |
765.42/765.98	c |   1086655 |    1000    20000   100000 |    91057    86614    143 |  0.000 % |
765.72/766.20	c |   1086964 |    1000    20000   100000 |    91057    86923    143 |  0.000 % |
765.92/766.44	c |   1087303 |    1000    20000   100000 |    91057    87262    143 |  0.000 % |
766.22/766.70	c |   1087675 |    1000    20000   100000 |    91057    87634    143 |  0.000 % |
766.52/767.02	c |   1088084 |    1000    20000   100000 |    91057    88043    143 |  0.000 % |
766.92/767.40	c |   1088533 |    1000    20000   100000 |    91057    88492    143 |  0.000 % |
767.32/767.82	c |   1089027 |    1000    20000   100000 |    91057    88986    143 |  0.000 % |
767.72/768.28	c |   1089569 |    1000    20000   100000 |    91057    89528    143 |  0.000 % |
768.32/768.81	c |   1090167 |    1000    20000   100000 |    89959    90126    143 |  0.000 % |
768.82/769.35	c |   1090822 |    1000    20000   100000 |    89959    79672    143 |  0.000 % |
769.32/769.85	c |   1091542 |    1000    20000   100000 |    89959    80392    143 |  0.000 % |
769.92/770.48	c |   1092334 |    1000    20000   100000 |    89959    81184    143 |  0.000 % |
770.62/771.14	c |   1093207 |    1000    20000   100000 |    89959    82057    143 |  0.000 % |
771.32/771.84	c |   1094165 |    1000    20000   100000 |    89959    83015    143 |  0.000 % |
772.02/772.59	c |   1095219 |    1000    20000   100000 |    89959    84069    143 |  0.000 % |
772.91/773.43	c |   1096378 |    1000    20000   100000 |    89959    85228    143 |  0.000 % |
773.82/774.40	c |   1097651 |    1000    20000   100000 |    89959    86501    143 |  0.000 % |
774.92/775.42	c |   1099052 |    1000    20000   100000 |    89959    87902    143 |  0.000 % |
776.21/776.71	c |   1100592 |    1000    20000   100000 |    88851    79404    143 |  0.000 % |
777.51/778.02	c |   1102286 |    1000    20000   100000 |    88851    81098    142 |  0.000 % |
778.81/779.34	c |   1104150 |    1000    20000   100000 |    88851    82962    142 |  0.000 % |
780.21/780.76	c |   1106201 |    1000    20000   100000 |    88851    85013    142 |  0.000 % |
781.91/782.40	c |   1108455 |    1000    20000   100000 |    88851    87267    142 |  0.000 % |
783.71/784.23	c |   1110934 |    1000    20000   100000 |    88813    80725    142 |  0.000 % |
785.61/786.17	c |   1113659 |    1000    20000   100000 |    88813    83450    142 |  0.000 % |
787.81/788.31	c |   1116657 |    1000    20000   100000 |    88813    86448    142 |  0.000 % |
790.21/790.74	c |   1119955 |    1000    20000   100000 |    88813    80829    142 |  0.000 % |
792.71/793.30	c |   1123580 |    1000    20000   100000 | 2147483647    84454    143 |  0.000 % |
795.70/796.24	c |   1127568 |    1000    20000   100000 | 2147483647    88442    142 |  0.000 % |
799.11/799.62	c |   1131955 |    1000    20000   100000 |    90875    82345    141 |  0.000 % |
802.51/803.05	c |   1136781 |    1000    20000   100000 |    90875    87171    141 |  0.000 % |
806.10/806.65	c |   1142086 |    1000    20000   100000 |    90391    82621    141 |  0.000 % |
810.30/810.86	c |   1147921 |    1000    20000   100000 |    90391    88456    141 |  0.000 % |
815.40/815.95	c |   1154343 |    1000    20000   100000 |    90536    84470    142 |  0.000 % |
820.99/821.60	c |   1161402 |    1000    20000   100000 |    90127    81694    143 |  0.000 % |
826.49/827.09	c |   1169166 |    1000    20000   100000 |    90127    89458    144 |  0.000 % |
833.59/834.15	c |   1177706 |    1000    20000   100000 | 2147483647    97998    144 |  0.000 % |
841.49/842.01	c |   1187100 |    1000    20000   100000 |   100292    92341    144 |  0.000 % |
849.49/850.03	c |   1197433 |    1000    20000   100000 |    95242    89606    145 |  0.000 % |
849.59/850.12	c |   1197533 |    1000    20000   100000 |    95242    89706    145 |  0.000 % |
849.69/850.23	c |   1197643 |    1000    20000   100000 |    95242    89816    145 |  0.000 % |
849.79/850.34	c |   1197766 |    1000    20000   100000 |    95242    89939    145 |  0.000 % |
849.88/850.47	c |   1197901 |    1000    20000   100000 |    95242    90074    145 |  0.000 % |
849.98/850.59	c |   1198047 |    1000    20000   100000 |    95242    90220    145 |  0.000 % |
850.18/850.76	c |   1198207 |    1000    20000   100000 |    95242    90380    145 |  0.000 % |
850.38/850.91	c |   1198384 |    1000    20000   100000 |    95242    90557    145 |  0.000 % |
850.48/851.08	c |   1198577 |    1000    20000   100000 |    95242    90750    145 |  0.000 % |
850.68/851.29	c |   1198789 |    1000    20000   100000 |    95242    90962    145 |  0.000 % |
850.89/851.50	c |   1199024 |    1000    20000   100000 |    95242    91197    145 |  0.000 % |
851.18/851.73	c |   1199281 |    1000    20000   100000 |    95242    91454    145 |  0.000 % |
851.48/852.00	c |   1199562 |    1000    20000   100000 |    95242    91735    145 |  0.000 % |
851.68/852.27	c |   1199871 |    1000    20000   100000 |    95242    92044    145 |  0.000 % |
851.99/852.56	c |   1200211 |    1000    20000   100000 |    92173    92384    145 |  0.000 % |
852.38/852.91	c |   1200583 |    1000    20000   100000 |    92173    80117    145 |  0.000 % |
852.68/853.25	c |   1200992 |    1000    20000   100000 |    92173    80526    145 |  0.000 % |
852.99/853.60	c |   1201444 |    1000    20000   100000 |    92173    80978    145 |  0.000 % |
853.38/853.98	c |   1201937 |    1000    20000   100000 |    92173    81471    145 |  0.000 % |
853.78/854.37	c |   1202480 |    1000    20000   100000 |    92173    82014    144 |  0.000 % |
854.28/854.80	c |   1203077 |    1000    20000   100000 |    92173    82611    144 |  0.000 % |
854.78/855.33	c |   1203733 |    1000    20000   100000 |    92173    83267    144 |  0.000 % |
855.29/855.87	c |   1204453 |    1000    20000   100000 |    92173    83987    144 |  0.000 % |
855.88/856.42	c |   1205245 |    1000    20000   100000 |    92173    84779    144 |  0.000 % |
856.48/857.03	c |   1206116 |    1000    20000   100000 |    92173    85650    144 |  0.000 % |
857.18/857.73	c |   1207074 |    1000    20000   100000 |    92173    86608    144 |  0.000 % |
858.08/858.62	c |   1208128 |    1000    20000   100000 |    92173    87662    143 |  0.000 % |
858.98/859.51	c |   1209286 |    1000    20000   100000 |    92173    88820    143 |  0.000 % |
859.88/860.46	c |   1210559 |    1000    20000   100000 |    89535    79862    144 |  0.000 % |
860.88/861.45	c |   1211959 |    1000    20000   100000 |    89535    81262    143 |  0.000 % |
861.98/862.51	c |   1213500 |    1000    20000   100000 |    89535    82803    143 |  0.000 % |
863.27/863.85	c |   1215195 |    1000    20000   100000 |    89535    84498    143 |  0.000 % |
864.67/865.24	c |   1217058 |    1000    20000   100000 |    89535    86361    143 |  0.000 % |
866.18/866.77	c |   1219107 |    1000    20000   100000 |    89535    88410    143 |  0.000 % |
867.87/868.48	c |   1221360 |    1000    20000   100000 |    89304    81240    143 |  0.000 % |
869.57/870.16	c |   1223838 |    1000    20000   100000 |    89304    83718    143 |  0.000 % |
871.47/872.04	c |   1226563 |    1000    20000   100000 |    89304    86443    142 |  0.000 % |
873.67/874.20	c |   1229560 |    1000    20000   100000 |    89304    89440    142 |  0.000 % |
875.87/876.47	c |   1232856 |    1000    20000   100000 |    80868    75540    139 |  0.000 % |
878.47/879.03	c |   1236482 |    1000    20000   100000 |    80868    79166    139 |  0.000 % |
881.17/881.74	c |   1240472 |    1000    20000   100000 | 2147483647    75035    138 |  0.000 % |
883.97/884.59	c |   1244857 |    1000    20000   100000 | 2147483647    79420    138 |  0.000 % |
887.36/887.96	c |   1249680 |    1000    20000   100000 | 2147483647    84243    138 |  0.000 % |
891.16/891.74	c |   1254986 |    1000    20000   100000 | 2147483647    89549    138 |  0.000 % |
895.76/896.38	c |   1260821 |    1000    20000   100000 |    94565    84495    137 |  0.000 % |
900.76/901.37	c |   1267240 |    1000    20000   100000 |    94565    90914    138 |  0.000 % |
906.46/907.09	c |   1274299 |    1000    20000   100000 |    93675    87314    138 |  0.000 % |
912.85/913.40	c |   1282063 |    1000    20000   100000 |    93015    83380    138 |  0.000 % |
919.06/919.61	c |   1290606 |    1000    20000   100000 |    91318    80116    140 |  0.000 % |
925.85/926.45	c |   1300001 |    1000    20000   100000 |    91318    89511    141 |  0.000 % |
933.15/933.74	c |   1310334 |    1000    20000   100000 |    88885    89218    142 |  0.000 % |
941.25/941.88	c |   1321700 |    1000    20000   100000 |    88367    80578    142 |  0.000 % |
941.35/941.96	c |   1321801 |    1000    20000   100000 |    88367    80679    142 |  0.000 % |
941.45/942.04	c |   1321913 |    1000    20000   100000 |    88367    80791    142 |  0.000 % |
941.55/942.13	c |   1322035 |    1000    20000   100000 |    88367    80913    142 |  0.000 % |
941.65/942.25	c |   1322170 |    1000    20000   100000 |    88367    81048    142 |  0.000 % |
941.75/942.37	c |   1322318 |    1000    20000   100000 |    88367    81196    142 |  0.000 % |
941.95/942.50	c |   1322481 |    1000    20000   100000 |    88367    81359    142 |  0.000 % |
942.05/942.63	c |   1322657 |    1000    20000   100000 |    88367    81535    142 |  0.000 % |
942.15/942.76	c |   1322850 |    1000    20000   100000 |    88367    81728    142 |  0.000 % |
942.35/942.91	c |   1323066 |    1000    20000   100000 |    88367    81944    142 |  0.000 % |
942.55/943.11	c |   1323300 |    1000    20000   100000 |    88367    82178    142 |  0.000 % |
942.75/943.31	c |   1323556 |    1000    20000   100000 |    88367    82434    142 |  0.000 % |
942.95/943.58	c |   1323839 |    1000    20000   100000 |    88367    82717    141 |  0.000 % |
943.25/943.82	c |   1324149 |    1000    20000   100000 |    88367    83027    141 |  0.000 % |
943.44/944.07	c |   1324488 |    1000    20000   100000 |    88367    83366    141 |  0.000 % |
943.74/944.33	c |   1324861 |    1000    20000   100000 |    88367    83739    141 |  0.000 % |
944.04/944.62	c |   1325270 |    1000    20000   100000 |    88367    84148    141 |  0.000 % |
944.35/944.94	c |   1325719 |    1000    20000   100000 |    88367    84597    141 |  0.000 % |
944.74/945.30	c |   1326212 |    1000    20000   100000 |    88367    85090    141 |  0.000 % |
945.14/945.70	c |   1326755 |    1000    20000   100000 |    88367    85633    141 |  0.000 % |
945.54/946.14	c |   1327351 |    1000    20000   100000 |    88367    86229    141 |  0.000 % |
946.04/946.60	c |   1328006 |    1000    20000   100000 |    88367    86884    141 |  0.000 % |
946.55/947.17	c |   1328728 |    1000    20000   100000 |    88367    87606    141 |  0.000 % |
947.24/947.80	c |   1329520 |    1000    20000   100000 |    88367    88398    141 |  0.000 % |
947.94/948.53	c |   1330391 |    1000    20000   100000 |    79190    71216    141 |  0.000 % |
948.54/949.14	c |   1331351 |    1000    20000   100000 |    79190    72176    141 |  0.000 % |
949.24/949.81	c |   1332404 |    1000    20000   100000 |    79190    73229    140 |  0.000 % |
949.94/950.56	c |   1333562 |    1000    20000   100000 |    79190    74387    141 |  0.000 % |
950.84/951.42	c |   1334838 |    1000    20000   100000 |    79190    75663    140 |  0.000 % |
951.74/952.35	c |   1336239 |    1000    20000   100000 |    79190    77064    140 |  0.000 % |
952.84/953.41	c |   1337779 |    1000    20000   100000 |    79190    78604    140 |  0.000 % |
953.94/954.52	c |   1339473 |    1000    20000   100000 |    79190    72343    140 |  0.000 % |
955.04/955.61	c |   1341337 |    1000    20000   100000 | 2147483647    74207    140 |  0.000 % |
956.34/956.96	c |   1343389 |    1000    20000   100000 | 2147483647    76259    140 |  0.000 % |
957.84/958.47	c |   1345644 |    1000    20000   100000 | 2147483647    78514    140 |  0.000 % |
959.53/960.13	c |   1348122 |    1000    20000   100000 | 2147483647    80992    140 |  0.000 % |
961.33/961.96	c |   1350847 |    1000    20000   100000 | 2147483647    83717    140 |  0.000 % |
963.43/964.10	c |   1353844 |    1000    20000   100000 | 2147483647    86714    140 |  0.000 % |
965.73/966.32	c |   1357140 |    1000    20000   100000 | 2147483647    90010    141 |  0.000 % |
968.54/969.13	c |   1360766 |    1000    20000   100000 | 2147483647    93636    141 |  0.000 % |
971.53/972.16	c |   1364755 |    1000    20000   100000 | 2147483647    97625    141 |  0.000 % |
975.33/975.96	c |   1369140 |    1000    20000   100000 | 2147483647   102010    141 |  0.000 % |
979.13/979.75	c |   1373967 |    1000    20000   100000 |   102870    92434    141 |  0.000 % |
983.73/984.31	c |   1379274 |    1000    20000   100000 |   102870    97741    141 |  0.000 % |
988.33/988.91	c |   1385110 |    1000    20000   100000 |    98467    89467    141 |  0.000 % |
993.43/994.04	c |   1391531 |    1000    20000   100000 |    94357    83648    140 |  0.000 % |
998.62/999.21	c |   1398591 |    1000    20000   100000 |    94357    90708    140 |  0.000 % |
1004.32/1004.94	c |   1406355 |    1000    20000   100000 |    92118    86521    140 |  0.000 % |
1010.62/1011.28	c |   1414895 |    1000    20000   100000 |    90168    83999    142 |  0.000 % |
1017.81/1018.43	c |   1424289 |    1000    20000   100000 |    89104    83595    142 |  0.000 % |
1026.01/1026.64	c |   1434623 |    1000    20000   100000 | 2147483647    93929    142 |  0.000 % |
1035.21/1035.84	c |   1445989 |    1000    20000   100000 |    99307    91795    143 |  0.000 % |
1046.20/1046.88	c |   1458491 |    1000    20000   100000 |    95808    91223    144 |  0.000 % |
1046.30/1046.98	c |   1458592 |    1000    20000   100000 |    95808    91324    144 |  0.000 % |
1046.40/1047.09	c |   1458704 |    1000    20000   100000 |    95808    91436    143 |  0.000 % |
1046.51/1047.20	c |   1458825 |    1000    20000   100000 |    95808    91557    143 |  0.000 % |
1046.70/1047.30	c |   1458960 |    1000    20000   100000 |    95808    91692    143 |  0.000 % |
1046.80/1047.44	c |   1459107 |    1000    20000   100000 |    95808    91839    143 |  0.000 % |
1046.90/1047.57	c |   1459270 |    1000    20000   100000 |    95808    92002    143 |  0.000 % |
1047.00/1047.69	c |   1459447 |    1000    20000   100000 |    95808    92179    143 |  0.000 % |
1047.20/1047.86	c |   1459640 |    1000    20000   100000 |    95808    92372    143 |  0.000 % |
1047.40/1048.03	c |   1459854 |    1000    20000   100000 |    95808    92586    143 |  0.000 % |
1047.60/1048.23	c |   1460089 |    1000    20000   100000 |    92733    92821    143 |  0.000 % |
1047.90/1048.52	c |   1460347 |    1000    20000   100000 |    92733    80216    142 |  0.000 % |
1048.10/1048.74	c |   1460628 |    1000    20000   100000 |    92733    80497    142 |  0.000 % |
1048.30/1048.99	c |   1460939 |    1000    20000   100000 |    92733    80808    142 |  0.000 % |
1048.50/1049.18	c |   1461278 |    1000    20000   100000 |    92733    81147    142 |  0.000 % |
1048.80/1049.45	c |   1461650 |    1000    20000   100000 |    92733    81519    142 |  0.000 % |
1049.10/1049.75	c |   1462059 |    1000    20000   100000 |    92733    81928    142 |  0.000 % |
1049.50/1050.12	c |   1462509 |    1000    20000   100000 |    92733    82378    142 |  0.000 % |
1049.90/1050.53	c |   1463004 |    1000    20000   100000 |    92733    82873    142 |  0.000 % |
1050.30/1050.97	c |   1463546 |    1000    20000   100000 |    92733    83415    142 |  0.000 % |
1050.80/1051.48	c |   1464143 |    1000    20000   100000 |    92733    84012    142 |  0.000 % |
1051.30/1051.97	c |   1464798 |    1000    20000   100000 |    92733    84667    142 |  0.000 % |
1051.80/1052.49	c |   1465520 |    1000    20000   100000 |    92733    85389    141 |  0.000 % |
1052.50/1053.14	c |   1466312 |    1000    20000   100000 |    92733    86181    141 |  0.000 % |
1053.20/1053.83	c |   1467183 |    1000    20000   100000 |    92733    87052    141 |  0.000 % |
1053.90/1054.53	c |   1468142 |    1000    20000   100000 |    92733    88011    141 |  0.000 % |
1054.69/1055.31	c |   1469195 |    1000    20000   100000 |    92733    89064    141 |  0.000 % |
1055.59/1056.27	c |   1470353 |    1000    20000   100000 |    89869    78401    141 |  0.000 % |
1056.40/1057.08	c |   1471628 |    1000    20000   100000 |    89869    79676    140 |  0.000 % |
1057.50/1058.11	c |   1473029 |    1000    20000   100000 |    89869    81077    140 |  0.000 % |
1058.60/1059.27	c |   1474569 |    1000    20000   100000 |    89869    82617    140 |  0.000 % |
1059.80/1060.47	c |   1476263 |    1000    20000   100000 |    89869    84311    140 |  0.000 % |
1061.09/1061.74	c |   1478127 |    1000    20000   100000 |    89869    86175    140 |  0.000 % |
1062.49/1063.17	c |   1480178 |    1000    20000   100000 |    88050    88226    140 |  0.000 % |
1064.10/1064.72	c |   1482432 |    1000    20000   100000 |    88050    80449    139 |  0.000 % |
1065.79/1066.44	c |   1484910 |    1000    20000   100000 |    88050    82927    139 |  0.000 % |
1067.69/1068.32	c |   1487636 |    1000    20000   100000 |    88050    85653    139 |  0.000 % |
1069.70/1070.39	c |   1490633 |    1000    20000   100000 |    88017    79727    139 |  0.000 % |
1071.89/1072.51	c |   1493930 |    1000    20000   100000 |    88017    83024    139 |  0.000 % |
1074.29/1074.96	c |   1497556 |    1000    20000   100000 |    88017    86650    139 |  0.000 % |
1077.29/1077.90	c |   1501544 |    1000    20000   100000 | 2147483647    81801    139 |  0.000 % |
1080.19/1080.89	c |   1505929 |    1000    20000   100000 | 2147483647    86186    139 |  0.000 % |
1083.79/1084.46	c |   1510753 |    1000    20000   100000 |    90257    80943    138 |  0.000 % |
1087.38/1088.06	c |   1516059 |    1000    20000   100000 |    90257    86249    138 |  0.000 % |
1091.69/1092.32	c |   1521896 |    1000    20000   100000 |    90190    81482    138 |  0.000 % |
1096.18/1096.83	c |   1528316 |    1000    20000   100000 |    90190    87902    138 |  0.000 % |
1101.38/1102.05	c |   1535375 |    1000    20000   100000 |    89586    84450    138 |  0.000 % |
1107.38/1108.04	c |   1543141 |    1000    20000   100000 |    89077    82092    139 |  0.000 % |
1113.87/1114.60	c |   1551681 |    1000    20000   100000 |    88955    81495    141 |  0.000 % |
1121.38/1122.03	c |   1561075 |    1000    20000   100000 |    80658    73554    143 |  0.000 % |
1128.07/1128.75	c |   1571409 |    1000    20000   100000 | 2147483647    75786    143 |  0.000 % |
1136.16/1136.84	c |   1582776 |    1000    20000   100000 | 2147483647    87153    143 |  0.000 % |
1146.06/1146.71	c |   1595280 |    1000    20000   100000 |    94378    87142    143 |  0.000 % |
1157.34/1158.00	c |   1609034 |    1000    20000   100000 |    91863    88905    145 |  0.000 % |
1157.34/1158.09	c |   1609134 |    1000    20000   100000 |    91863    89005    145 |  0.000 % |
1157.44/1158.18	c |   1609244 |    1000    20000   100000 |    91863    89115    145 |  0.000 % |
1157.55/1158.28	c |   1609365 |    1000    20000   100000 |    91863    89236    145 |  0.000 % |
1157.74/1158.40	c |   1609499 |    1000    20000   100000 |    91863    89370    145 |  0.000 % |
1157.84/1158.52	c |   1609645 |    1000    20000   100000 |    91863    89516    145 |  0.000 % |
1157.94/1158.66	c |   1609805 |    1000    20000   100000 |    91863    89676    145 |  0.000 % |
1158.14/1158.81	c |   1609981 |    1000    20000   100000 |    91863    89852    145 |  0.000 % |
1158.24/1158.98	c |   1610174 |    1000    20000   100000 |    89871    90045    145 |  0.000 % |
1158.54/1159.23	c |   1610387 |    1000    20000   100000 |    89871    78658    145 |  0.000 % |
1158.74/1159.41	c |   1610620 |    1000    20000   100000 |    89871    78891    145 |  0.000 % |
1158.94/1159.61	c |   1610876 |    1000    20000   100000 |    89871    79147    145 |  0.000 % |
1159.14/1159.81	c |   1611158 |    1000    20000   100000 |    89871    79429    145 |  0.000 % |
1159.34/1160.02	c |   1611468 |    1000    20000   100000 |    89871    79739    145 |  0.000 % |
1159.54/1160.24	c |   1611807 |    1000    20000   100000 |    89871    80078    145 |  0.000 % |
1159.74/1160.50	c |   1612179 |    1000    20000   100000 |    89871    80450    145 |  0.000 % |
1160.04/1160.80	c |   1612589 |    1000    20000   100000 |    89871    80860    144 |  0.000 % |
1160.44/1161.20	c |   1613039 |    1000    20000   100000 |    89871    81310    144 |  0.000 % |
1160.84/1161.60	c |   1613532 |    1000    20000   100000 |    89871    81803    144 |  0.000 % |
1161.34/1162.05	c |   1614075 |    1000    20000   100000 |    89871    82346    144 |  0.000 % |
1161.84/1162.52	c |   1614673 |    1000    20000   100000 |    89871    82944    144 |  0.000 % |
1162.34/1163.04	c |   1615329 |    1000    20000   100000 |    89871    83600    144 |  0.000 % |
1162.84/1163.55	c |   1616049 |    1000    20000   100000 |    89871    84320    144 |  0.000 % |
1163.44/1164.17	c |   1616842 |    1000    20000   100000 |    89871    85113    143 |  0.000 % |
1164.04/1164.77	c |   1617714 |    1000    20000   100000 |    89871    85985    143 |  0.000 % |
1164.74/1165.43	c |   1618672 |    1000    20000   100000 |    89871    86943    143 |  0.000 % |
1165.44/1166.12	c |   1619725 |    1000    20000   100000 |    89871    87996    143 |  0.000 % |
1166.23/1166.93	c |   1620884 |    1000    20000   100000 |    88271    79140    142 |  0.000 % |
1167.13/1167.80	c |   1622159 |    1000    20000   100000 |    88271    80415    142 |  0.000 % |
1168.03/1168.73	c |   1623560 |    1000    20000   100000 |    88271    81816    142 |  0.000 % |
1169.13/1169.85	c |   1625103 |    1000    20000   100000 |    88271    83359    142 |  0.000 % |
1170.43/1171.12	c |   1626803 |    1000    20000   100000 |    88271    85059    142 |  0.000 % |
1171.73/1172.45	c |   1628666 |    1000    20000   100000 |    88271    86922    142 |  0.000 % |
1173.23/1174.00	c |   1630716 |    1000    20000   100000 | 2147483647    88972    142 |  0.000 % |
1174.93/1175.67	c |   1632972 |    1000    20000   100000 | 2147483647    91228    141 |  0.000 % |
1177.03/1177.72	c |   1635452 |    1000    20000   100000 | 2147483647    93708    142 |  0.000 % |
1179.22/1179.92	c |   1638178 |    1000    20000   100000 | 2147483647    96434    141 |  0.000 % |
1181.53/1182.22	c |   1641175 |    1000    20000   100000 |    98256    86913    141 |  0.000 % |
1183.93/1184.66	c |   1644474 |    1000    20000   100000 |    98256    90212    141 |  0.000 % |
1186.62/1187.30	c |   1648099 |    1000    20000   100000 |    98256    93837    141 |  0.000 % |
1189.72/1190.47	c |   1652086 |    1000    20000   100000 |    95738    85395    140 |  0.000 % |
1193.02/1193.72	c |   1656473 |    1000    20000   100000 |    95738    89782    140 |  0.000 % |
1196.82/1197.58	c |   1661297 |    1000    20000   100000 |    93310    82330    139 |  0.000 % |

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-1832457-1242773612/watcher-1832457-1242773612 -o /tmp/evaluation-result-1832457-1242773612/solver-1832457-1242773612 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832457-1242773612.cnf 

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


[startup+0 s]
/proc/loadavg: 1.14 1.05 0.99 3/65 25710
/proc/meminfo: memFree=1895336/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305389000 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 250969030738 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/25710/statm: 1339 235 195 169 0 50 0
[pid=25711] ppid=25710 vsize=5356 CPUtime=0
/proc/25711/stat : 25711 (SatELiteGTI) S 25710 25710 25447 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 305389001 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/25711/statm: 1339 238 198 169 0 50 0
[pid=25713] ppid=25711 vsize=0 CPUtime=0
/proc/25713/stat : 25713 (sed) R 25711 25710 25447 0 -1 4194308 163 0 0 0 0 0 0 0 18 0 1 0 305389001 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/25713/statm: 0 0 0 0 0 0 0

[startup+0.060439 s]
/proc/loadavg: 1.14 1.05 0.99 3/65 25710
/proc/meminfo: memFree=1895336/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.102434 s]
/proc/loadavg: 1.14 1.05 0.99 3/65 25710
/proc/meminfo: memFree=1895336/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301454 s]
/proc/loadavg: 1.14 1.05 0.99 3/65 25710
/proc/meminfo: memFree=1895336/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701492 s]
/proc/loadavg: 1.14 1.05 0.99 3/65 25710
/proc/meminfo: memFree=1895336/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50257 s]
/proc/loadavg: 1.13 1.05 0.99 2/67 25716
/proc/meminfo: memFree=1889304/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=6772 CPUtime=1.43
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 1444 0 0 0 143 0 0 0 25 0 1 0 305389006 6934528 1430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 1693 1430 77 171 0 1520 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12128

[startup+3.10173 s]
/proc/loadavg: 1.13 1.05 0.99 2/67 25716
/proc/meminfo: memFree=1887064/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=11428 CPUtime=3.01
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 2613 0 0 0 301 0 0 0 25 0 1 0 305389006 11702272 2599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 2857 2599 77 171 0 2684 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16784

[startup+6.30104 s]
/proc/loadavg: 1.13 1.05 0.99 2/67 25716
/proc/meminfo: memFree=1879256/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=18116 CPUtime=6.21
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 4261 0 0 0 619 2 0 0 25 0 1 0 305389006 18550784 4247 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 4529 4247 77 171 0 4356 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 23472

[startup+12.7017 s]
/proc/loadavg: 1.11 1.04 0.99 2/67 25716
/proc/meminfo: memFree=1869024/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=27436 CPUtime=12.59
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 6602 0 0 0 1255 4 0 0 25 0 1 0 305389006 28094464 6588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 6859 6588 77 171 0 6686 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 32792

[startup+25.5019 s]
/proc/loadavg: 1.09 1.04 0.99 2/67 25716
/proc/meminfo: memFree=1855456/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=40492 CPUtime=25.38
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 9858 0 0 0 2530 8 0 0 25 0 1 0 305389006 41463808 9844 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 10123 9844 77 171 0 9950 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 45848

[startup+51.1014 s]
/proc/loadavg: 1.06 1.04 0.99 2/67 25716
/proc/meminfo: memFree=1840160/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=55588 CPUtime=50.97
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 13604 0 0 0 5084 13 0 0 25 0 1 0 305389006 56922112 13590 1992294400 134512640 135215339 4294956240 18446744073709551615 134528827 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 13897 13590 77 171 0 13724 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 60944

[startup+102.306 s]
/proc/loadavg: 1.02 1.03 0.99 2/67 25716
/proc/meminfo: memFree=1839904/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=55588 CPUtime=102.14
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 13604 0 0 0 10201 13 0 0 25 0 1 0 305389006 56922112 13590 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 13897 13590 77 171 0 13724 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 60944

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.99 2/67 25716
/proc/meminfo: memFree=1839776/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=55588 CPUtime=162.1
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 13604 0 0 0 16197 13 0 0 25 0 1 0 305389006 56922112 13590 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 13897 13590 77 171 0 13724 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 60944

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.99 2/67 25716
/proc/meminfo: memFree=1838496/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=56908 CPUtime=222.07
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 13926 0 0 0 22193 14 0 0 25 0 1 0 305389006 58273792 13912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 14227 13912 77 171 0 14054 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 62264

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 0.99 2/67 25716
/proc/meminfo: memFree=1836512/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=58624 CPUtime=282.04
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 14383 0 0 0 28189 15 0 0 25 0 1 0 305389006 60030976 14369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 14656 14369 77 171 0 14483 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 63980

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25716
/proc/meminfo: memFree=1836384/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=58624 CPUtime=342.01
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 14383 0 0 0 34186 15 0 0 25 0 1 0 305389006 60030976 14369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 14656 14369 77 171 0 14483 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 63980

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25716
/proc/meminfo: memFree=1832992/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=61924 CPUtime=401.97

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

/proc/25716/statm: 15440 15161 77 171 0 15267 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 67116

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1832480/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=62024 CPUtime=641.84
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 15274 0 0 0 64167 17 0 0 25 0 1 0 305389006 63512576 15222 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 15506 15222 77 171 0 15333 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 67380

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1831392/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=62948 CPUtime=701.81
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 15510 0 0 0 70164 17 0 0 25 0 1 0 305389006 64458752 15458 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 15737 15458 77 171 0 15564 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 68304

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1831328/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=62948 CPUtime=761.79
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 15510 0 0 0 76162 17 0 0 25 0 1 0 305389006 64458752 15458 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 15737 15458 77 171 0 15564 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 68304

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1831200/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=62824 CPUtime=821.75
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 15510 0 0 0 82158 17 0 0 25 0 1 0 305389006 64331776 15427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 15706 15427 77 171 0 15533 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 68180

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1827424/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=66784 CPUtime=881.73
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 16479 0 0 0 88154 19 0 0 25 0 1 0 305389006 68386816 16396 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 16696 16396 77 171 0 16523 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 72140

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1828064/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=65832 CPUtime=941.71
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 16479 0 0 0 94152 19 0 0 25 0 1 0 305389006 67411968 16179 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 16458 16179 77 171 0 16285 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 71188

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1826528/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=67548 CPUtime=1001.68
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 16880 0 0 0 100148 20 0 0 25 0 1 0 305389006 69169152 16580 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 16887 16580 77 171 0 16714 0
Current children cumulated CPU time (s) 1001.72
Current children cumulated vsize (KiB) 72904

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1826656/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=67012 CPUtime=1061.65
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 16880 0 0 0 106145 20 0 0 25 0 1 0 305389006 68620288 16476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 16753 16476 77 171 0 16580 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 72368

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1826528/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=67012 CPUtime=1121.63
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 16880 0 0 0 112143 20 0 0 25 0 1 0 305389006 68620288 16476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 16753 16476 77 171 0 16580 0
Current children cumulated CPU time (s) 1121.67
Current children cumulated vsize (KiB) 72368

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1826464/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=67012 CPUtime=1181.59
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 16880 0 0 0 118139 20 0 0 25 0 1 0 305389006 68620288 16476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 16753 16476 77 171 0 16580 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 72368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1826464/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=67012 CPUtime=1199.98
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 16880 0 0 0 119978 20 0 0 25 0 1 0 305389006 68620288 16476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 16753 16476 77 171 0 16580 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 72368

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 25722
/proc/meminfo: memFree=1826464/2055920 swapFree=4179988/4192956
[pid=25710] ppid=25708 vsize=5356 CPUtime=0.04
/proc/25710/stat : 25710 (SatELiteGTI) S 25708 25710 25447 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305389000 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25710/statm: 1339 239 197 169 0 50 0
[pid=25716] ppid=25710 vsize=67012 CPUtime=1199.98
/proc/25716/stat : 25716 (minisat_static) R 25710 25710 25447 0 -1 4194304 16880 0 0 0 119978 20 0 0 25 0 1 0 305389006 68620288 16476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25716/statm: 16753 16476 77 171 0 16580 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 72368

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25710 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=49992
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=7998
# CPU time returned by wait4() is 0.05799
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.71
CPU time (s): 1200.02
CPU user time (s): 1199.82
CPU system time (s): 0.2
CPU usage (%): 99.9424
Max. virtual memory (cumulated for all children) (KiB): 72904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.049992
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1106
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= 14
involuntary context switches= 6

runsolver used 1.01984 second user time and 3.50947 second system time

The end

Launcher Data

Begin job on node56 at 2009-05-20 00:53:33
IDJOB=1832457
IDBENCH=70192
IDSOLVER=671
FILE ID=node56/1832457-1242773612
PBS_JOBID= 9322245
Free space on /tmp= 103044 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S1040507052-028.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832457-1242773612/watcher-1832457-1242773612 -o /tmp/evaluation-result-1832457-1242773612/solver-1832457-1242773612 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832457-1242773612.cnf

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

MD5SUM BENCH= 460680b15ea4b6f4cb4765d23626d1a5
RANDOM SEED=250892817

node56.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.218
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.218
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:       1895824 kB
Buffers:         17104 kB
Cached:         106160 kB
SwapCached:       7024 kB
Active:          31916 kB
Inactive:       101064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1895824 kB
SwapTotal:     4192956 kB
SwapFree:      4179988 kB
Dirty:            2048 kB
Writeback:           0 kB
Mapped:          14504 kB
Slab:            13052 kB
Committed_AS:   942384 kB
PageTables:       1476 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= 103044 MiB
End job on node56 at 2009-05-20 01:13:35