Trace number 1832491

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
MD5SUM8c169219b64992954a6c6431ec472521
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.28974
Satisfiable
(Un)Satisfiability was proved
Number of variables1100
Number of clauses22000
Sum of the clauses size110000
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 522000
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   22000   110000 |    6599       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 1100   #clauses: 22000   #literals: 110000
0.00/0.03	c CPU time:   0.021996 s
0.00/0.03	c ==============================================================================
0.00/0.08	c This is MiniSat 2.0 beta
0.00/0.08	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08	c ============================[ Problem Statistics ]=============================
0.00/0.08	c |                                                                             |
0.00/0.08	c |  Number of variables:  1100                                                 |
0.00/0.08	c |  Number of clauses:    22000                                                |
0.00/0.09	c |  Parsing time:         0.01         s                                       |
0.00/0.10	c ============================[ Search Statistics ]==============================
0.00/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.10	c ===============================================================================
0.00/0.10	c |         0 |    1100    22000   110000 |     7333        0    nan |  0.000 % |
0.05/0.11	c |       100 |    1100    22000   110000 |     7333      100    133 |  0.000 % |
0.05/0.12	c |       200 |    1100    22000   110000 |     7333      200    129 |  0.000 % |
0.05/0.13	c |       301 |    1100    22000   110000 |     7333      301    122 |  0.000 % |
0.05/0.15	c |       411 |    1100    22000   110000 |     7333      411    124 |  0.000 % |
0.05/0.16	c |       512 |    1100    22000   110000 |     7333      512    125 |  0.000 % |
0.05/0.17	c |       622 |    1100    22000   110000 |     7333      622    125 |  0.000 % |
0.05/0.19	c |       743 |    1100    22000   110000 |     7333      743    123 |  0.000 % |
0.05/0.20	c |       844 |    1100    22000   110000 |     7333      844    124 |  0.000 % |
0.05/0.21	c |       955 |    1100    22000   110000 |     7333      955    124 |  0.000 % |
0.05/0.23	c |      1077 |    1100    22000   110000 |     7333     1077    124 |  0.000 % |
0.05/0.24	c |      1210 |    1100    22000   110000 |     7333     1210    124 |  0.000 % |
0.05/0.26	c |      1312 |    1100    22000   110000 |     7333     1312    124 |  0.000 % |
0.05/0.27	c |      1424 |    1100    22000   110000 |     7333     1424    124 |  0.000 % |
0.05/0.28	c |      1546 |    1100    22000   110000 |     7333     1546    124 |  0.000 % |
0.05/0.30	c |      1680 |    1100    22000   110000 |     7333     1680    123 |  0.000 % |
0.05/0.32	c |      1826 |    1100    22000   110000 |     7333     1826    124 |  0.000 % |
0.05/0.33	c |      1926 |    1100    22000   110000 |     7333     1926    124 |  0.000 % |
0.05/0.34	c |      2038 |    1100    22000   110000 |     7333     2038    124 |  0.000 % |
0.05/0.36	c |      2160 |    1100    22000   110000 |     7333     2160    123 |  0.000 % |
0.05/0.38	c |      2296 |    1100    22000   110000 |     7333     2296    122 |  0.000 % |
0.05/0.40	c |      2443 |    1100    22000   110000 |     7333     2443    124 |  0.000 % |
0.05/0.42	c |      2603 |    1100    22000   110000 |     7333     2603    124 |  0.000 % |
0.05/0.43	c |      2707 |    1100    22000   110000 |     7333     2707    124 |  0.000 % |
0.05/0.44	c |      2817 |    1100    22000   110000 |     7333     2817    125 |  0.000 % |
0.05/0.46	c |      2940 |    1100    22000   110000 |     7333     2940    126 |  0.000 % |
0.05/0.48	c |      3074 |    1100    22000   110000 |     7333     3074    126 |  0.000 % |
0.05/0.50	c |      3221 |    1100    22000   110000 |     7333     3221    126 |  0.000 % |
0.05/0.52	c |      3382 |    1100    22000   110000 |     7333     3382    126 |  0.000 % |
0.05/0.54	c |      3559 |    1100    22000   110000 |     7333     3559    127 |  0.000 % |
0.05/0.56	c |      3661 |    1100    22000   110000 |     7333     3661    127 |  0.000 % |
0.05/0.57	c |      3775 |    1100    22000   110000 |     7333     3775    127 |  0.000 % |
0.05/0.59	c |      3899 |    1100    22000   110000 |     7333     3899    126 |  0.000 % |
0.05/0.61	c |      4032 |    1100    22000   110000 |     7333     4032    127 |  0.000 % |
0.05/0.63	c |      4178 |    1100    22000   110000 |     7333     4178    127 |  0.000 % |
0.05/0.65	c |      4338 |    1100    22000   110000 |     7333     4338    127 |  0.000 % |
0.05/0.68	c |      4515 |    1100    22000   110000 |     7333     4515    128 |  0.000 % |
0.05/0.70	c |      4708 |    1100    22000   110000 |     7333     4708    128 |  0.000 % |
0.05/0.72	c |      4809 |    1100    22000   110000 |     7333     4809    128 |  0.000 % |
0.05/0.73	c |      4920 |    1100    22000   110000 |     7333     4920    128 |  0.000 % |
0.05/0.75	c |      5041 |    1100    22000   110000 |     7333     5041    128 |  0.000 % |
0.05/0.77	c |      5175 |    1100    22000   110000 |     7333     5175    128 |  0.000 % |
0.05/0.79	c |      5322 |    1100    22000   110000 |     7333     5322    128 |  0.000 % |
0.05/0.81	c |      5484 |    1100    22000   110000 |     7333     5484    128 |  0.000 % |
0.05/0.84	c |      5660 |    1100    22000   110000 |     7333     5660    128 |  0.000 % |
0.05/0.87	c |      5853 |    1100    22000   110000 |     7333     5853    128 |  0.000 % |
0.05/0.90	c |      6067 |    1100    22000   110000 |     7333     6067    128 |  0.000 % |
0.05/0.92	c |      6167 |    1100    22000   110000 |     7333     6167    128 |  0.000 % |
0.05/0.93	c |      6281 |    1100    22000   110000 |     7333     6281    128 |  0.000 % |
0.05/0.95	c |      6402 |    1100    22000   110000 |     7333     6402    128 |  0.000 % |
0.05/0.97	c |      6536 |    1100    22000   110000 |     7333     6536    128 |  0.000 % |
0.05/0.99	c |      6682 |    1100    22000   110000 |     7333     6682    128 |  0.000 % |
0.95/1.02	c |      6842 |    1100    22000   110000 |     7333     6842    127 |  0.000 % |
0.95/1.05	c |      7018 |    1100    22000   110000 |     7333     7018    127 |  0.000 % |
0.95/1.08	c |      7211 |    1100    22000   110000 |     7333     7211    128 |  0.000 % |
1.06/1.11	c |      7424 |    1100    22000   110000 |     7333     7424    128 |  0.000 % |
1.06/1.15	c |      7657 |    1100    22000   110000 |     7333     6915    127 |  0.000 % |
1.06/1.17	c |      7758 |    1100    22000   110000 |     7333     7016    127 |  0.000 % |
1.06/1.18	c |      7868 |    1100    22000   110000 |     7333     7126    127 |  0.000 % |
1.16/1.20	c |      7991 |    1100    22000   110000 |     7333     7249    127 |  0.000 % |
1.16/1.22	c |      8124 |    1100    22000   110000 |     7333     7382    127 |  0.000 % |
1.16/1.25	c |      8271 |    1100    22000   110000 |     7333     6791    127 |  0.000 % |
1.16/1.27	c |      8431 |    1100    22000   110000 |     7333     6951    127 |  0.000 % |
1.26/1.30	c |      8608 |    1100    22000   110000 |     7333     7128    127 |  0.000 % |
1.26/1.33	c |      8803 |    1100    22000   110000 |     7333     7323    127 |  0.000 % |
1.26/1.36	c |      9015 |    1100    22000   110000 |     7333     7535    128 |  0.000 % |
1.36/1.40	c |      9248 |    1100    22000   110000 |     7333     7015    128 |  0.000 % |
1.36/1.44	c |      9504 |    1100    22000   110000 |     7333     7271    128 |  0.000 % |
1.36/1.46	c |      9604 |    1100    22000   110000 |     7333     7371    128 |  0.000 % |
1.36/1.48	c |      9714 |    1100    22000   110000 |     7333     6744    128 |  0.000 % |
1.36/1.49	c |      9835 |    1100    22000   110000 |     7333     6865    127 |  0.000 % |
1.46/1.52	c |      9968 |    1100    22000   110000 |     7333     6998    127 |  0.000 % |
1.46/1.54	c |     10115 |    1100    22000   110000 | 2147483647     7145    127 |  0.000 % |
1.46/1.56	c |     10276 |    1100    22000   110000 | 2147483647     7306    127 |  0.000 % |
1.46/1.59	c |     10453 |    1100    22000   110000 | 2147483647     7483    127 |  0.000 % |
1.56/1.62	c |     10646 |    1100    22000   110000 | 2147483647     7676    127 |  0.000 % |
1.56/1.66	c |     10860 |    1100    22000   110000 | 2147483647     7890    127 |  0.000 % |
1.56/1.69	c |     11093 |    1100    22000   110000 | 2147483647     8123    128 |  0.000 % |
1.65/1.73	c |     11349 |    1100    22000   110000 | 2147483647     8379    128 |  0.000 % |
1.65/1.78	c |     11631 |    1100    22000   110000 | 2147483647     8661    128 |  0.000 % |
1.75/1.80	c |     11731 |    1100    22000   110000 | 2147483647     8761    128 |  0.000 % |
1.75/1.82	c |     11841 |    1100    22000   110000 | 2147483647     8871    128 |  0.000 % |
1.75/1.84	c |     11962 |    1100    22000   110000 | 2147483647     8992    128 |  0.000 % |
1.75/1.86	c |     12096 |    1100    22000   110000 | 2147483647     9126    128 |  0.000 % |
1.75/1.89	c |     12243 |    1100    22000   110000 | 2147483647     9273    128 |  0.000 % |
1.85/1.91	c |     12403 |    1100    22000   110000 | 2147483647     9433    129 |  0.000 % |
1.85/1.94	c |     12579 |    1100    22000   110000 | 2147483647     9609    129 |  0.000 % |
1.85/1.97	c |     12772 |    1100    22000   110000 | 2147483647     9802    129 |  0.000 % |
1.95/2.01	c |     12984 |    1100    22000   110000 | 2147483647    10014    129 |  0.000 % |
1.95/2.05	c |     13218 |    1100    22000   110000 | 2147483647    10248    129 |  0.000 % |
2.06/2.10	c |     13476 |    1100    22000   110000 | 2147483647    10506    129 |  0.000 % |
2.06/2.15	c |     13757 |    1100    22000   110000 | 2147483647    10787    129 |  0.000 % |
2.06/2.20	c |     14066 |    1100    22000   110000 | 2147483647    11096    130 |  0.000 % |
2.16/2.22	c |     14166 |    1100    22000   110000 | 2147483647    11196    129 |  0.000 % |
2.16/2.24	c |     14276 |    1100    22000   110000 | 2147483647    11306    129 |  0.000 % |
2.16/2.27	c |     14399 |    1100    22000   110000 | 2147483647    11429    129 |  0.000 % |
2.16/2.29	c |     14532 |    1100    22000   110000 | 2147483647    11562    129 |  0.000 % |
2.25/2.32	c |     14679 |    1100    22000   110000 | 2147483647    11709    129 |  0.000 % |
2.25/2.35	c |     14840 |    1100    22000   110000 | 2147483647    11870    129 |  0.000 % |
2.25/2.38	c |     15016 |    1100    22000   110000 | 2147483647    12046    129 |  0.000 % |
2.35/2.42	c |     15210 |    1100    22000   110000 | 2147483647    12240    129 |  0.000 % |
2.35/2.46	c |     15423 |    1100    22000   110000 | 2147483647    12453    129 |  0.000 % |
2.45/2.50	c |     15658 |    1100    22000   110000 | 2147483647    12688    129 |  0.000 % |
2.45/2.55	c |     15915 |    1100    22000   110000 | 2147483647    12945    129 |  0.000 % |
2.55/2.61	c |     16196 |    1100    22000   110000 | 2147483647    13226    130 |  0.000 % |
2.55/2.67	c |     16507 |    1100    22000   110000 | 2147483647    13537    130 |  0.000 % |
2.65/2.73	c |     16846 |    1100    22000   110000 | 2147483647    13876    130 |  0.000 % |
2.65/2.75	c |     16947 |    1100    22000   110000 | 2147483647    13977    130 |  0.000 % |
2.65/2.77	c |     17057 |    1100    22000   110000 | 2147483647    14087    130 |  0.000 % |
2.75/2.80	c |     17178 |    1100    22000   110000 | 2147483647    14208    130 |  0.000 % |
2.75/2.83	c |     17314 |    1100    22000   110000 | 2147483647    14344    130 |  0.000 % |
2.75/2.85	c |     17463 |    1100    22000   110000 | 2147483647    14493    129 |  0.000 % |
2.75/2.89	c |     17623 |    1100    22000   110000 | 2147483647    14653    129 |  0.000 % |
2.85/2.93	c |     17800 |    1100    22000   110000 | 2147483647    14830    129 |  0.000 % |
2.85/2.97	c |     17994 |    1100    22000   110000 | 2147483647    15024    129 |  0.000 % |
2.95/3.01	c |     18207 |    1100    22000   110000 | 2147483647    15237    130 |  0.000 % |
2.95/3.06	c |     18442 |    1100    22000   110000 | 2147483647    15472    130 |  0.000 % |
3.05/3.12	c |     18698 |    1100    22000   110000 | 2147483647    15728    130 |  0.000 % |
3.05/3.17	c |     18979 |    1100    22000   110000 | 2147483647    16009    130 |  0.000 % |
3.15/3.24	c |     19289 |    1100    22000   110000 | 2147483647    16319    130 |  0.000 % |
3.25/3.32	c |     19633 |    1100    22000   110000 | 2147483647    16663    130 |  0.000 % |
3.35/3.40	c |     20006 |    1100    22000   110000 | 2147483647    17036    130 |  0.000 % |
3.35/3.43	c |     20106 |    1100    22000   110000 | 2147483647    17136    130 |  0.000 % |
3.35/3.45	c |     20216 |    1100    22000   110000 | 2147483647    17246    130 |  0.000 % |
3.35/3.48	c |     20337 |    1100    22000   110000 | 2147483647    17367    130 |  0.000 % |
3.45/3.52	c |     20471 |    1100    22000   110000 | 2147483647    17501    130 |  0.000 % |
3.45/3.56	c |     20619 |    1100    22000   110000 | 2147483647    17649    130 |  0.000 % |
3.45/3.59	c |     20779 |    1100    22000   110000 | 2147483647    17809    130 |  0.000 % |
3.56/3.63	c |     20955 |    1100    22000   110000 | 2147483647    17985    130 |  0.000 % |
3.56/3.67	c |     21148 |    1100    22000   110000 | 2147483647    18178    130 |  0.000 % |
3.65/3.72	c |     21360 |    1100    22000   110000 | 2147483647    18390    130 |  0.000 % |
3.65/3.77	c |     21594 |    1100    22000   110000 | 2147483647    18624    130 |  0.000 % |
3.75/3.84	c |     21850 |    1100    22000   110000 | 2147483647    18880    130 |  0.000 % |
3.85/3.90	c |     22131 |    1100    22000   110000 | 2147483647    19161    130 |  0.000 % |
3.85/3.97	c |     22440 |    1100    22000   110000 | 2147483647    19470    131 |  0.000 % |
3.95/4.05	c |     22779 |    1100    22000   110000 | 2147483647    19809    131 |  0.000 % |
4.05/4.14	c |     23151 |    1100    22000   110000 | 2147483647    20181    131 |  0.000 % |
4.15/4.24	c |     23562 |    1100    22000   110000 | 2147483647    20592    131 |  0.000 % |
4.15/4.28	c |     23662 |    1100    22000   110000 | 2147483647    20692    131 |  0.000 % |
4.26/4.31	c |     23772 |    1100    22000   110000 | 2147483647    20802    131 |  0.000 % |
4.26/4.34	c |     23895 |    1100    22000   110000 | 2147483647    20925    131 |  0.000 % |
4.26/4.38	c |     24030 |    1100    22000   110000 | 2147483647    21060    131 |  0.000 % |
4.36/4.42	c |     24180 |    1100    22000   110000 | 2147483647    21210    131 |  0.000 % |
4.36/4.46	c |     24340 |    1100    22000   110000 | 2147483647    21370    131 |  0.000 % |
4.45/4.50	c |     24517 |    1100    22000   110000 | 2147483647    21547    131 |  0.000 % |
4.45/4.56	c |     24710 |    1100    22000   110000 | 2147483647    21740    131 |  0.000 % |
4.55/4.62	c |     24926 |    1100    22000   110000 | 2147483647    21956    131 |  0.000 % |
4.55/4.68	c |     25159 |    1100    22000   110000 | 2147483647    22189    131 |  0.000 % |
4.65/4.76	c |     25417 |    1100    22000   110000 | 2147483647    22447    132 |  0.000 % |
4.75/4.83	c |     25698 |    1100    22000   110000 | 2147483647    22728    132 |  0.000 % |
4.85/4.91	c |     26007 |    1100    22000   110000 | 2147483647    23037    132 |  0.000 % |
4.85/4.99	c |     26346 |    1100    22000   110000 | 2147483647    23376    132 |  0.000 % |
4.95/5.09	c |     26718 |    1100    22000   110000 | 2147483647    23748    132 |  0.000 % |
5.15/5.21	c |     27127 |    1100    22000   110000 | 2147483647    24157    132 |  0.000 % |
5.25/5.32	c |     27576 |    1100    22000   110000 | 2147483647    24606    132 |  0.000 % |
5.25/5.36	c |     27676 |    1100    22000   110000 | 2147483647    24706    132 |  0.000 % |
5.25/5.39	c |     27788 |    1100    22000   110000 | 2147483647    24818    132 |  0.000 % |
5.35/5.42	c |     27910 |    1100    22000   110000 | 2147483647    24940    132 |  0.000 % |
5.35/5.46	c |     28043 |    1100    22000   110000 | 2147483647    25073    132 |  0.000 % |
5.45/5.51	c |     28192 |    1100    22000   110000 | 2147483647    25222    132 |  0.000 % |
5.45/5.56	c |     28353 |    1100    22000   110000 | 2147483647    25383    132 |  0.000 % |
5.55/5.61	c |     28529 |    1100    22000   110000 | 2147483647    25559    132 |  0.000 % |
5.55/5.67	c |     28722 |    1100    22000   110000 | 2147483647    25752    132 |  0.000 % |
5.65/5.73	c |     28934 |    1100    22000   110000 | 2147483647    25964    132 |  0.000 % |
5.75/5.80	c |     29168 |    1100    22000   110000 | 2147483647    26198    132 |  0.000 % |
5.75/5.87	c |     29424 |    1100    22000   110000 | 2147483647    26454    132 |  0.000 % |
5.85/5.95	c |     29707 |    1100    22000   110000 | 2147483647    26737    132 |  0.000 % |
5.95/6.04	c |     30016 |    1100    22000   110000 | 2147483647    27046    132 |  0.000 % |
6.05/6.15	c |     30355 |    1100    22000   110000 | 2147483647    27385    132 |  0.000 % |
6.15/6.26	c |     30727 |    1100    22000   110000 | 2147483647    27757    132 |  0.000 % |
6.35/6.40	c |     31136 |    1100    22000   110000 | 2147483647    28166    132 |  0.000 % |
6.45/6.53	c |     31586 |    1100    22000   110000 | 2147483647    28616    132 |  0.000 % |
6.55/6.68	c |     32079 |    1100    22000   110000 | 2147483647    29109    132 |  0.000 % |
6.64/6.72	c |     32179 |    1100    22000   110000 | 2147483647    29209    132 |  0.000 % |
6.64/6.76	c |     32289 |    1100    22000   110000 | 2147483647    29319    132 |  0.000 % |
6.74/6.80	c |     32410 |    1100    22000   110000 | 2147483647    29440    132 |  0.000 % |
6.74/6.85	c |     32543 |    1100    22000   110000 | 2147483647    29573    132 |  0.000 % |
6.84/6.91	c |     32689 |    1100    22000   110000 | 2147483647    29719    132 |  0.000 % |
6.84/6.96	c |     32849 |    1100    22000   110000 | 2147483647    29879    132 |  0.000 % |
6.94/7.02	c |     33026 |    1100    22000   110000 | 2147483647    30056    132 |  0.000 % |
6.94/7.09	c |     33219 |    1100    22000   110000 | 2147483647    30249    132 |  0.000 % |
7.04/7.16	c |     33431 |    1100    22000   110000 | 2147483647    30461    132 |  0.000 % |
7.14/7.23	c |     33666 |    1100    22000   110000 | 2147483647    30696    132 |  0.000 % |
7.24/7.32	c |     33922 |    1100    22000   110000 | 2147483647    30952    132 |  0.000 % |
7.35/7.42	c |     34203 |    1100    22000   110000 | 2147483647    31233    132 |  0.000 % |
7.45/7.52	c |     34512 |    1100    22000   110000 | 2147483647    31542    132 |  0.000 % |
7.56/7.65	c |     34852 |    1100    22000   110000 | 2147483647    31882    132 |  0.000 % |
7.65/7.78	c |     35224 |    1100    22000   110000 | 2147483647    32254    132 |  0.000 % |
7.85/7.92	c |     35634 |    1100    22000   110000 | 2147483647    32664    132 |  0.000 % |
7.95/8.07	c |     36083 |    1100    22000   110000 | 2147483647    33113    132 |  0.000 % |
8.15/8.24	c |     36577 |    1100    22000   110000 | 2147483647    33607    132 |  0.000 % |
8.35/8.41	c |     37120 |    1100    22000   110000 | 2147483647    34150    132 |  0.000 % |
8.35/8.45	c |     37221 |    1100    22000   110000 | 2147483647    34251    132 |  0.000 % |
8.35/8.49	c |     37331 |    1100    22000   110000 | 2147483647    34361    132 |  0.000 % |
8.45/8.54	c |     37452 |    1100    22000   110000 | 2147483647    34482    132 |  0.000 % |
8.45/8.59	c |     37585 |    1100    22000   110000 | 2147483647    34615    132 |  0.000 % |
8.55/8.64	c |     37731 |    1100    22000   110000 | 2147483647    34761    132 |  0.000 % |
8.65/8.71	c |     37893 |    1100    22000   110000 | 2147483647    34923    132 |  0.000 % |
8.65/8.78	c |     38069 |    1100    22000   110000 | 2147483647    35099    132 |  0.000 % |
8.75/8.86	c |     38262 |    1100    22000   110000 | 2147483647    35292    132 |  0.000 % |
8.85/8.93	c |     38475 |    1100    22000   110000 | 2147483647    35505    132 |  0.000 % |
8.95/9.02	c |     38708 |    1100    22000   110000 | 2147483647    35738    132 |  0.000 % |
9.05/9.11	c |     38966 |    1100    22000   110000 | 2147483647    35996    132 |  0.000 % |
9.15/9.21	c |     39249 |    1100    22000   110000 | 2147483647    36279    132 |  0.000 % |
9.25/9.32	c |     39558 |    1100    22000   110000 | 2147483647    36588    132 |  0.000 % |
9.35/9.45	c |     39897 |    1100    22000   110000 | 2147483647    36927    132 |  0.000 % |
9.44/9.59	c |     40272 |    1100    22000   110000 | 2147483647    37302    132 |  0.000 % |
9.65/9.74	c |     40681 |    1100    22000   110000 | 2147483647    37711    133 |  0.000 % |
9.86/9.91	c |     41131 |    1100    22000   110000 | 2147483647    38161    133 |  0.000 % |
9.95/10.08	c |     41624 |    1100    22000   110000 | 2147483647    38654    133 |  0.000 % |
10.15/10.28	c |     42168 |    1100    22000   110000 | 2147483647    39198    133 |  0.000 % |
10.45/10.51	c |     42765 |    1100    22000   110000 | 2147483647    39795    133 |  0.000 % |
10.45/10.55	c |     42865 |    1100    22000   110000 | 2147483647    39895    133 |  0.000 % |
10.55/10.60	c |     42977 |    1100    22000   110000 | 2147483647    40007    133 |  0.000 % |
10.55/10.65	c |     43098 |    1100    22000   110000 | 2147483647    40128    133 |  0.000 % |
10.65/10.72	c |     43231 |    1100    22000   110000 | 2147483647    40261    133 |  0.000 % |
10.65/10.78	c |     43377 |    1100    22000   110000 | 2147483647    40407    133 |  0.000 % |
10.75/10.84	c |     43539 |    1100    22000   110000 | 2147483647    40569    133 |  0.000 % |
10.86/10.92	c |     43715 |    1100    22000   110000 | 2147483647    40745    133 |  0.000 % |
10.86/11.00	c |     43908 |    1100    22000   110000 | 2147483647    40938    133 |  0.000 % |
10.96/11.08	c |     44123 |    1100    22000   110000 | 2147483647    41153    133 |  0.000 % |
11.05/11.18	c |     44357 |    1100    22000   110000 | 2147483647    41387    133 |  0.000 % |
11.15/11.28	c |     44613 |    1100    22000   110000 | 2147483647    41643    133 |  0.000 % |
11.35/11.40	c |     44896 |    1100    22000   110000 | 2147483647    41926    133 |  0.000 % |
11.45/11.52	c |     45206 |    1100    22000   110000 | 2147483647    42236    133 |  0.000 % |
11.55/11.66	c |     45545 |    1100    22000   110000 | 2147483647    42575    133 |  0.000 % |
11.75/11.83	c |     45920 |    1100    22000   110000 | 2147483647    42950    133 |  0.000 % |
11.85/11.99	c |     46330 |    1100    22000   110000 | 2147483647    43360    133 |  0.000 % |
12.05/12.17	c |     46782 |    1100    22000   110000 | 2147483647    43812    133 |  0.000 % |
12.25/12.37	c |     47275 |    1100    22000   110000 | 2147483647    44305    133 |  0.000 % |
12.45/12.58	c |     47817 |    1100    22000   110000 | 2147483647    44847    133 |  0.000 % |
12.74/12.82	c |     48413 |    1100    22000   110000 | 2147483647    45443    133 |  0.000 % |
13.05/13.11	c |     49068 |    1100    22000   110000 | 2147483647    46098    133 |  0.000 % |
13.05/13.16	c |     49169 |    1100    22000   110000 | 2147483647    46199    133 |  0.000 % |
13.15/13.22	c |     49279 |    1100    22000   110000 | 2147483647    46309    133 |  0.000 % |
13.15/13.28	c |     49401 |    1100    22000   110000 | 2147483647    46431    133 |  0.000 % |
13.24/13.33	c |     49535 |    1100    22000   110000 | 2147483647    46565    133 |  0.000 % |
13.34/13.41	c |     49681 |    1100    22000   110000 | 2147483647    46711    133 |  0.000 % |
13.34/13.48	c |     49842 |    1100    22000   110000 | 2147483647    46872    133 |  0.000 % |
13.44/13.55	c |     50018 |    1100    22000   110000 | 2147483647    47048    133 |  0.000 % |
13.54/13.65	c |     50212 |    1100    22000   110000 | 2147483647    47242    133 |  0.000 % |
13.64/13.75	c |     50425 |    1100    22000   110000 | 2147483647    47455    133 |  0.000 % |
13.74/13.86	c |     50658 |    1100    22000   110000 | 2147483647    47688    133 |  0.000 % |
13.85/13.97	c |     50916 |    1100    22000   110000 | 2147483647    47946    133 |  0.000 % |
14.05/14.10	c |     51197 |    1100    22000   110000 | 2147483647    48227    133 |  0.000 % |
14.16/14.25	c |     51506 |    1100    22000   110000 | 2147483647    48536    133 |  0.000 % |
14.35/14.42	c |     51848 |    1100    22000   110000 | 2147483647    48878    133 |  0.000 % |
14.45/14.59	c |     52220 |    1100    22000   110000 | 2147483647    49250    133 |  0.000 % |
14.65/14.77	c |     52629 |    1100    22000   110000 | 2147483647    49659    133 |  0.000 % |
14.85/14.97	c |     53078 |    1100    22000   110000 | 2147483647    50108    133 |  0.000 % |
15.05/15.19	c |     53571 |    1100    22000   110000 | 2147483647    50601    133 |  0.000 % |
15.35/15.48	c |     54114 |    1100    22000   110000 | 2147483647    51144    133 |  0.000 % |
15.64/15.75	c |     54711 |    1100    22000   110000 | 2147483647    51741    133 |  0.000 % |
15.94/16.06	c |     55366 |    1100    22000   110000 | 2147483647    52396    133 |  0.000 % |
16.25/16.39	c |     56088 |    1100    22000   110000 | 2147483647    53118    134 |  0.000 % |
16.35/16.46	c |     56188 |    1100    22000   110000 | 2147483647    53218    134 |  0.000 % |
16.45/16.52	c |     56298 |    1100    22000   110000 | 2147483647    53328    134 |  0.000 % |
16.45/16.58	c |     56419 |    1100    22000   110000 | 2147483647    53449    134 |  0.000 % |
16.55/16.64	c |     56552 |    1100    22000   110000 | 2147483647    53582    133 |  0.000 % |
16.65/16.73	c |     56698 |    1100    22000   110000 | 2147483647    53728    133 |  0.000 % |
16.75/16.81	c |     56860 |    1100    22000   110000 | 2147483647    53890    133 |  0.000 % |
16.85/16.91	c |     57036 |    1100    22000   110000 | 2147483647    54066    133 |  0.000 % |
16.95/17.02	c |     57230 |    1100    22000   110000 | 2147483647    54260    134 |  0.000 % |
17.05/17.13	c |     57442 |    1100    22000   110000 | 2147483647    54472    134 |  0.000 % |
17.15/17.26	c |     57675 |    1100    22000   110000 | 2147483647    54705    134 |  0.000 % |
17.25/17.38	c |     57931 |    1100    22000   110000 | 2147483647    54961    134 |  0.000 % |
17.45/17.52	c |     58214 |    1100    22000   110000 | 2147483647    55244    134 |  0.000 % |
17.55/17.67	c |     58524 |    1100    22000   110000 | 2147483647    55554    134 |  0.000 % |
17.75/17.87	c |     58864 |    1100    22000   110000 | 2147483647    55894    134 |  0.000 % |
17.94/18.07	c |     59236 |    1100    22000   110000 | 2147483647    56266    134 |  0.000 % |
18.14/18.29	c |     59646 |    1100    22000   110000 | 2147483647    56676    134 |  0.000 % |
18.45/18.50	c |     60096 |    1100    22000   110000 | 2147483647    57126    134 |  0.000 % |
18.66/18.76	c |     60590 |    1100    22000   110000 | 2147483647    57620    134 |  0.000 % |
18.95/19.04	c |     61133 |    1100    22000   110000 | 2147483647    58163    134 |  0.000 % |
19.25/19.34	c |     61729 |    1100    22000   110000 | 2147483647    58759    134 |  0.000 % |
19.55/19.65	c |     62385 |    1100    22000   110000 | 2147483647    59415    134 |  0.000 % |
19.94/20.01	c |     63105 |    1100    22000   110000 | 2147483647    60135    134 |  0.000 % |
20.34/20.41	c |     63897 |    1100    22000   110000 | 2147483647    60927    134 |  0.000 % |
20.34/20.46	c |     63998 |    1100    22000   110000 | 2147483647    61028    134 |  0.000 % |
20.44/20.54	c |     64111 |    1100    22000   110000 | 2147483647    61141    134 |  0.000 % |
20.54/20.61	c |     64232 |    1100    22000   110000 | 2147483647    61262    134 |  0.000 % |
20.54/20.67	c |     64365 |    1100    22000   110000 | 2147483647    61395    134 |  0.000 % |
20.64/20.75	c |     64512 |    1100    22000   110000 | 2147483647    61542    134 |  0.000 % |
20.75/20.87	c |     64672 |    1100    22000   110000 | 2147483647    61702    134 |  0.000 % |
20.85/20.98	c |     64848 |    1100    22000   110000 | 2147483647    61878    134 |  0.000 % |
20.95/21.09	c |     65041 |    1100    22000   110000 | 2147483647    62071    134 |  0.000 % |
21.15/21.23	c |     65254 |    1100    22000   110000 | 2147483647    62284    134 |  0.000 % |
21.25/21.36	c |     65489 |    1100    22000   110000 | 2147483647    62519    134 |  0.000 % |
21.45/21.51	c |     65748 |    1100    22000   110000 | 2147483647    62778    134 |  0.000 % |
21.54/21.67	c |     66031 |    1100    22000   110000 | 2147483647    63061    134 |  0.000 % |
21.74/21.87	c |     66341 |    1100    22000   110000 | 2147483647    63371    134 |  0.000 % |
21.95/22.07	c |     66680 |    1100    22000   110000 | 2147483647    63710    134 |  0.000 % |
22.14/22.28	c |     67053 |    1100    22000   110000 | 2147483647    64083    134 |  0.000 % |
22.44/22.53	c |     67464 |    1100    22000   110000 | 2147483647    64494    134 |  0.000 % |
22.64/22.78	c |     67913 |    1100    22000   110000 | 2147483647    64943    134 |  0.000 % |
22.95/23.05	c |     68406 |    1100    22000   110000 | 2147483647    65436    134 |  0.000 % |
23.25/23.33	c |     68950 |    1100    22000   110000 | 2147483647    65980    134 |  0.000 % |
23.55/23.67	c |     69550 |    1100    22000   110000 | 2147483647    66580    134 |  0.000 % |
23.95/24.09	c |     70205 |    1100    22000   110000 | 2147483647    67235    134 |  0.000 % |
24.45/24.53	c |     70925 |    1100    22000   110000 | 2147483647    67955    134 |  0.000 % |
24.84/24.97	c |     71717 |    1100    22000   110000 | 2147483647    68747    134 |  0.000 % |
25.34/25.47	c |     72588 |    1100    22000   110000 | 2147483647    69618    134 |  0.000 % |
25.44/25.55	c |     72688 |    1100    22000   110000 | 2147483647    69718    134 |  0.000 % |
25.54/25.62	c |     72798 |    1100    22000   110000 | 2147483647    69828    134 |  0.000 % |
25.64/25.70	c |     72921 |    1100    22000   110000 | 2147483647    69951    134 |  0.000 % |
25.64/25.79	c |     73054 |    1100    22000   110000 | 2147483647    70084    134 |  0.000 % |
25.84/25.91	c |     73200 |    1100    22000   110000 | 2147483647    70230    134 |  0.000 % |
25.94/26.01	c |     73364 |    1100    22000   110000 | 2147483647    70394    134 |  0.000 % |
26.04/26.12	c |     73540 |    1100    22000   110000 | 2147483647    70570    134 |  0.000 % |
26.14/26.25	c |     73733 |    1100    22000   110000 | 2147483647    70763    134 |  0.000 % |
26.34/26.41	c |     73945 |    1100    22000   110000 | 2147483647    70975    134 |  0.000 % |
26.44/26.57	c |     74178 |    1100    22000   110000 | 2147483647    71208    134 |  0.000 % |
26.64/26.75	c |     74434 |    1100    22000   110000 | 2147483647    71464    134 |  0.000 % |
26.84/26.94	c |     74715 |    1100    22000   110000 | 2147483647    71745    134 |  0.000 % |
27.04/27.13	c |     75024 |    1100    22000   110000 | 2147483647    72054    134 |  0.000 % |
27.24/27.37	c |     75366 |    1100    22000   110000 | 2147483647    72396    134 |  0.000 % |
27.55/27.61	c |     75739 |    1100    22000   110000 | 2147483647    72769    134 |  0.000 % |
27.75/27.88	c |     76148 |    1100    22000   110000 | 2147483647    73178    134 |  0.000 % |
28.05/28.15	c |     76597 |    1100    22000   110000 | 2147483647    73627    134 |  0.000 % |
28.45/28.50	c |     77090 |    1100    22000   110000 | 2147483647    74120    134 |  0.000 % |
28.74/28.89	c |     77632 |    1100    22000   110000 | 2147483647    74662    134 |  0.000 % |
29.14/29.27	c |     78228 |    1100    22000   110000 | 2147483647    75258    134 |  0.000 % |
29.55/29.66	c |     78884 |    1100    22000   110000 | 2147483647    75914    134 |  0.000 % |
30.04/30.13	c |     79606 |    1100    22000   110000 | 2147483647    76636    134 |  0.000 % |
30.54/30.65	c |     80399 |    1100    22000   110000 | 2147483647    77429    134 |  0.000 % |
31.15/31.23	c |     81273 |    1100    22000   110000 | 2147483647    78303    135 |  0.000 % |
31.75/31.85	c |     82232 |    1100    22000   110000 | 2147483647    79262    135 |  0.000 % |
31.85/31.92	c |     82332 |    1100    22000   110000 | 2147483647    79362    135 |  0.000 % |
31.94/32.00	c |     82443 |    1100    22000   110000 | 2147483647    79473    135 |  0.000 % |
31.94/32.09	c |     82564 |    1100    22000   110000 | 2147483647    79594    135 |  0.000 % |
32.14/32.21	c |     82697 |    1100    22000   110000 | 2147483647    79727    135 |  0.000 % |
32.24/32.31	c |     82843 |    1100    22000   110000 | 2147483647    79873    134 |  0.000 % |
32.34/32.42	c |     83005 |    1100    22000   110000 | 2147483647    80035    134 |  0.000 % |
32.44/32.57	c |     83183 |    1100    22000   110000 | 2147483647    80213    134 |  0.000 % |
32.64/32.72	c |     83376 |    1100    22000   110000 | 2147483647    80406    134 |  0.000 % |
32.74/32.88	c |     83588 |    1100    22000   110000 | 2147483647    80618    134 |  0.000 % |
32.94/33.05	c |     83821 |    1100    22000   110000 | 2147483647    80851    134 |  0.000 % |
33.14/33.25	c |     84078 |    1100    22000   110000 | 2147483647    81108    134 |  0.000 % |
33.34/33.47	c |     84361 |    1100    22000   110000 | 2147483647    81391    134 |  0.000 % |
33.64/33.70	c |     84670 |    1100    22000   110000 | 2147483647    81700    134 |  0.000 % |
33.84/33.94	c |     85011 |    1100    22000   110000 | 2147483647    82041    134 |  0.000 % |
34.15/34.21	c |     85384 |    1100    22000   110000 | 2147483647    82414    134 |  0.000 % |
34.44/34.51	c |     85793 |    1100    22000   110000 | 2147483647    82823    134 |  0.000 % |
34.74/34.84	c |     86242 |    1100    22000   110000 | 2147483647    83272    134 |  0.000 % |
35.05/35.19	c |     86736 |    1100    22000   110000 | 2147483647    83766    134 |  0.000 % |
35.54/35.61	c |     87278 |    1100    22000   110000 | 2147483647    84308    135 |  0.000 % |
35.94/36.06	c |     87874 |    1100    22000   110000 | 2147483647    84904    135 |  0.000 % |
36.44/36.54	c |     88529 |    1100    22000   110000 | 2147483647    85559    135 |  0.000 % |
37.04/37.10	c |     89249 |    1100    22000   110000 | 2147483647    86279    135 |  0.000 % |
37.64/37.71	c |     90041 |    1100    22000   110000 | 2147483647    87071    135 |  0.000 % |
38.24/38.39	c |     90913 |    1100    22000   110000 | 2147483647    87943    135 |  0.000 % |
39.14/39.21	c |     91873 |    1100    22000   110000 | 2147483647    88903    135 |  0.000 % |
39.94/40.00	c |     92927 |    1100    22000   110000 | 2147483647    89957    135 |  0.000 % |
39.94/40.07	c |     93027 |    1100    22000   110000 | 2147483647    90057    135 |  0.000 % |
40.03/40.19	c |     93137 |    1100    22000   110000 | 2147483647    90167    135 |  0.000 % |
40.24/40.30	c |     93258 |    1100    22000   110000 | 2147483647    90288    135 |  0.000 % |
40.34/40.40	c |     93391 |    1100    22000   110000 | 2147483647    90421    135 |  0.000 % |
40.44/40.54	c |     93537 |    1100    22000   110000 | 2147483647    90567    135 |  0.000 % |
40.65/40.70	c |     93698 |    1100    22000   110000 | 2147483647    90728    135 |  0.000 % |
40.74/40.83	c |     93874 |    1100    22000   110000 | 2147483647    90904    135 |  0.000 % |
40.94/41.00	c |     94067 |    1100    22000   110000 | 2147483647    91097    135 |  0.000 % |
41.04/41.19	c |     94279 |    1100    22000   110000 | 2147483647    91309    135 |  0.000 % |
41.24/41.38	c |     94513 |    1100    22000   110000 | 2147483647    91543    135 |  0.000 % |
41.54/41.63	c |     94769 |    1100    22000   110000 | 2147483647    91799    135 |  0.000 % |
41.74/41.85	c |     95050 |    1100    22000   110000 | 2147483647    92080    135 |  0.000 % |
42.04/42.13	c |     95360 |    1100    22000   110000 | 2147483647    92390    135 |  0.000 % |
42.34/42.41	c |     95700 |    1100    22000   110000 | 2147483647    92730    135 |  0.000 % |
42.64/42.71	c |     96072 |    1100    22000   110000 | 2147483647    93102    135 |  0.000 % |
42.94/43.07	c |     96481 |    1100    22000   110000 | 2147483647    93511    135 |  0.000 % |
43.34/43.46	c |     96930 |    1100    22000   110000 | 2147483647    93960    135 |  0.000 % |
43.74/43.84	c |     97424 |    1100    22000   110000 | 2147483647    94454    135 |  0.000 % |
44.14/44.27	c |     97967 |    1100    22000   110000 | 2147483647    94997    135 |  0.000 % |
44.64/44.72	c |     98563 |    1100    22000   110000 | 2147483647    95593    135 |  0.000 % |
45.24/45.30	c |     99218 |    1100    22000   110000 | 2147483647    96248    135 |  0.000 % |
45.73/45.89	c |     99938 |    1100    22000   110000 | 2147483647    96968    135 |  0.000 % |
46.44/46.57	c |    100730 |    1100    22000   110000 |    97030    87266    136 |  0.000 % |
47.14/47.21	c |    101601 |    1100    22000   110000 |    97030    88137    136 |  0.000 % |
47.84/47.92	c |    102559 |    1100    22000   110000 |    97030    89095    136 |  0.000 % |
48.64/48.72	c |    103613 |    1100    22000   110000 |    97030    90149    136 |  0.000 % |
49.44/49.60	c |    104771 |    1100    22000   110000 |    97030    91307    136 |  0.000 % |
49.54/49.68	c |    104872 |    1100    22000   110000 |    97030    91408    136 |  0.000 % |
49.64/49.76	c |    104983 |    1100    22000   110000 |    97030    91519    136 |  0.000 % |
49.74/49.87	c |    105104 |    1100    22000   110000 |    97030    91640    136 |  0.000 % |
49.84/49.98	c |    105237 |    1100    22000   110000 |    97030    91773    136 |  0.000 % |
50.04/50.11	c |    105386 |    1100    22000   110000 |    97030    91922    136 |  0.000 % |
50.14/50.24	c |    105547 |    1100    22000   110000 |    97030    92083    136 |  0.000 % |
50.34/50.43	c |    105723 |    1100    22000   110000 |    97030    92259    136 |  0.000 % |
50.54/50.61	c |    105917 |    1100    22000   110000 |    97030    92453    136 |  0.000 % |
50.64/50.79	c |    106131 |    1100    22000   110000 |    97030    92667    136 |  0.000 % |
50.94/51.01	c |    106364 |    1100    22000   110000 |    97030    92900    136 |  0.000 % |
51.14/51.23	c |    106622 |    1100    22000   110000 |    97030    93158    136 |  0.000 % |
51.34/51.45	c |    106903 |    1100    22000   110000 |    97030    93439    136 |  0.000 % |
51.64/51.71	c |    107212 |    1100    22000   110000 |    97030    93748    136 |  0.000 % |
51.84/51.97	c |    107551 |    1100    22000   110000 |    97030    94087    136 |  0.000 % |
52.24/52.34	c |    107923 |    1100    22000   110000 |    97030    94459    136 |  0.000 % |
52.54/52.68	c |    108332 |    1100    22000   110000 |    97030    94868    136 |  0.000 % |
52.94/53.06	c |    108782 |    1100    22000   110000 |    97030    95318    136 |  0.000 % |
53.34/53.47	c |    109275 |    1100    22000   110000 |    97030    95811    136 |  0.000 % |
53.74/53.90	c |    109818 |    1100    22000   110000 |    97030    96354    136 |  0.000 % |
54.34/54.44	c |    110417 |    1100    22000   110000 |    96537    86231    136 |  0.000 % |
54.74/54.89	c |    111073 |    1100    22000   110000 |    96537    86887    136 |  0.000 % |
55.34/55.44	c |    111794 |    1100    22000   110000 |    96537    87608    136 |  0.000 % |
55.94/56.01	c |    112588 |    1100    22000   110000 |    96537    88402    136 |  0.000 % |
56.64/56.73	c |    113460 |    1100    22000   110000 |    96537    89274    136 |  0.000 % |
57.34/57.43	c |    114418 |    1100    22000   110000 |    96537    90232    136 |  0.000 % |
58.14/58.22	c |    115471 |    1100    22000   110000 |    96537    91285    137 |  0.000 % |
59.04/59.10	c |    116631 |    1100    22000   110000 |    96537    92445    137 |  0.000 % |
59.94/60.07	c |    117905 |    1100    22000   110000 |    96537    93719    137 |  0.000 % |
60.04/60.15	c |    118006 |    1100    22000   110000 |    96537    93820    137 |  0.000 % |
60.14/60.29	c |    118118 |    1100    22000   110000 |    96537    93932    137 |  0.000 % |
60.24/60.40	c |    118239 |    1100    22000   110000 |    96537    94053    137 |  0.000 % |
60.44/60.51	c |    118374 |    1100    22000   110000 |    96537    94188    137 |  0.000 % |
60.54/60.64	c |    118520 |    1100    22000   110000 |    96537    94334    137 |  0.000 % |
60.74/60.80	c |    118680 |    1100    22000   110000 |    96537    94494    137 |  0.000 % |
60.84/60.96	c |    118857 |    1100    22000   110000 |    96537    94671    137 |  0.000 % |
61.04/61.14	c |    119051 |    1100    22000   110000 |    96537    94865    137 |  0.000 % |
61.24/61.36	c |    119264 |    1100    22000   110000 |    96537    95078    137 |  0.000 % |
61.44/61.57	c |    119497 |    1100    22000   110000 |    96537    95311    137 |  0.000 % |
61.74/61.80	c |    119754 |    1100    22000   110000 |    96537    95568    136 |  0.000 % |
61.94/62.03	c |    120036 |    1100    22000   110000 |    95815    95850    136 |  0.000 % |
62.24/62.37	c |    120346 |    1100    22000   110000 |    95815    85534    137 |  0.000 % |
62.54/62.63	c |    120686 |    1100    22000   110000 |    95815    85874    137 |  0.000 % |
62.84/62.92	c |    121059 |    1100    22000   110000 |    95815    86247    137 |  0.000 % |
63.14/63.27	c |    121468 |    1100    22000   110000 |    95815    86656    137 |  0.000 % |
63.54/63.62	c |    121919 |    1100    22000   110000 |    95815    87107    137 |  0.000 % |
63.94/64.01	c |    122412 |    1100    22000   110000 |    95815    87600    137 |  0.000 % |
64.33/64.40	c |    122955 |    1100    22000   110000 |    95815    88143    137 |  0.000 % |
64.74/64.86	c |    123553 |    1100    22000   110000 |    95815    88741    137 |  0.000 % |
65.33/65.41	c |    124208 |    1100    22000   110000 |    95815    89396    137 |  0.000 % |
65.84/65.91	c |    124928 |    1100    22000   110000 |    95815    90116    137 |  0.000 % |
66.33/66.48	c |    125720 |    1100    22000   110000 |    95815    90908    137 |  0.000 % |
67.03/67.12	c |    126594 |    1100    22000   110000 |    95815    91782    137 |  0.000 % |
67.83/67.91	c |    127553 |    1100    22000   110000 |    95815    92741    137 |  0.000 % |
68.63/68.77	c |    128611 |    1100    22000   110000 |    95815    93799    137 |  0.000 % |
69.53/69.69	c |    129769 |    1100    22000   110000 |    95815    94957    137 |  0.000 % |
70.53/70.65	c |    131043 |    1100    22000   110000 |    95189    86117    137 |  0.000 % |
71.63/71.78	c |    132444 |    1100    22000   110000 |    95189    87518    137 |  0.000 % |
71.73/71.86	c |    132544 |    1100    22000   110000 |    95189    87618    137 |  0.000 % |
71.83/71.97	c |    132654 |    1100    22000   110000 |    95189    87728    137 |  0.000 % |
71.93/72.08	c |    132775 |    1100    22000   110000 |    95189    87849    137 |  0.000 % |
72.13/72.21	c |    132908 |    1100    22000   110000 |    95189    87982    137 |  0.000 % |
72.23/72.32	c |    133054 |    1100    22000   110000 |    95189    88128    137 |  0.000 % |
72.33/72.47	c |    133214 |    1100    22000   110000 |    95189    88288    137 |  0.000 % |
72.53/72.62	c |    133390 |    1100    22000   110000 |    95189    88464    137 |  0.000 % |
72.63/72.78	c |    133583 |    1100    22000   110000 |    95189    88657    137 |  0.000 % |
72.83/72.97	c |    133795 |    1100    22000   110000 |    95189    88869    137 |  0.000 % |
73.03/73.15	c |    134030 |    1100    22000   110000 |    95189    89104    137 |  0.000 % |
73.33/73.40	c |    134288 |    1100    22000   110000 |    95189    89362    137 |  0.000 % |
73.53/73.61	c |    134569 |    1100    22000   110000 |    95189    89643    137 |  0.000 % |
73.83/73.90	c |    134878 |    1100    22000   110000 |    95189    89952    137 |  0.000 % |
74.03/74.18	c |    135217 |    1100    22000   110000 |    95189    90291    137 |  0.000 % |
74.33/74.48	c |    135589 |    1100    22000   110000 |    95189    90663    137 |  0.000 % |
74.73/74.84	c |    135998 |    1100    22000   110000 |    95189    91072    137 |  0.000 % |
75.13/75.22	c |    136447 |    1100    22000   110000 |    95189    91521    137 |  0.000 % |
75.43/75.56	c |    136940 |    1100    22000   110000 |    95189    92014    137 |  0.000 % |
75.83/75.97	c |    137482 |    1100    22000   110000 |    95189    92556    138 |  0.000 % |
76.33/76.42	c |    138079 |    1100    22000   110000 |    95189    93153    137 |  0.000 % |
76.93/77.02	c |    138735 |    1100    22000   110000 |    95189    93809    137 |  0.000 % |
77.43/77.57	c |    139455 |    1100    22000   110000 |    95189    94529    138 |  0.000 % |
78.03/78.18	c |    140248 |    1100    22000   110000 |    95074    95322    138 |  0.000 % |
78.73/78.85	c |    141120 |    1100    22000   110000 |    95074    85991    138 |  0.000 % |
79.33/79.49	c |    142078 |    1100    22000   110000 |    95074    86949    138 |  0.000 % |
80.23/80.32	c |    143131 |    1100    22000   110000 |    95074    88002    138 |  0.000 % |
81.03/81.16	c |    144289 |    1100    22000   110000 |    95074    89160    138 |  0.000 % |
82.02/82.13	c |    145562 |    1100    22000   110000 |    95074    90433    138 |  0.000 % |
83.02/83.20	c |    146962 |    1100    22000   110000 |    95074    91833    138 |  0.000 % |
84.32/84.41	c |    148503 |    1100    22000   110000 |    95074    93374    138 |  0.000 % |
84.42/84.53	c |    148603 |    1100    22000   110000 |    95074    93474    138 |  0.000 % |
84.53/84.62	c |    148714 |    1100    22000   110000 |    95074    93585    138 |  0.000 % |
84.63/84.73	c |    148837 |    1100    22000   110000 |    95074    93708    138 |  0.000 % |
84.72/84.85	c |    148970 |    1100    22000   110000 |    95074    93841    138 |  0.000 % |
84.82/84.98	c |    149116 |    1100    22000   110000 |    95074    93987    138 |  0.000 % |
85.02/85.12	c |    149276 |    1100    22000   110000 |    95074    94147    138 |  0.000 % |
85.12/85.27	c |    149452 |    1100    22000   110000 |    95074    94323    138 |  0.000 % |
85.32/85.44	c |    149646 |    1100    22000   110000 |    95074    94517    138 |  0.000 % |
85.52/85.62	c |    149858 |    1100    22000   110000 |    95074    94729    138 |  0.000 % |
85.72/85.82	c |    150091 |    1100    22000   110000 |    94871    94962    138 |  0.000 % |
86.02/86.10	c |    150348 |    1100    22000   110000 |    94871    85319    139 |  0.000 % |
86.22/86.35	c |    150629 |    1100    22000   110000 |    94871    85600    139 |  0.000 % |
86.42/86.59	c |    150938 |    1100    22000   110000 |    94871    85909    139 |  0.000 % |
86.72/86.84	c |    151277 |    1100    22000   110000 |    94871    86248    139 |  0.000 % |
87.02/87.12	c |    151650 |    1100    22000   110000 |    94871    86621    139 |  0.000 % |
87.32/87.45	c |    152060 |    1100    22000   110000 |    94871    87031    139 |  0.000 % |
87.72/87.81	c |    152510 |    1100    22000   110000 |    94871    87481    139 |  0.000 % |
88.12/88.23	c |    153003 |    1100    22000   110000 |    94871    87974    139 |  0.000 % |
88.52/88.69	c |    153546 |    1100    22000   110000 |    94871    88517    139 |  0.000 % |
89.02/89.18	c |    154143 |    1100    22000   110000 |    94871    89114    139 |  0.000 % |
89.52/89.69	c |    154798 |    1100    22000   110000 |    94871    89769    139 |  0.000 % |
90.12/90.28	c |    155518 |    1100    22000   110000 |    94871    90489    139 |  0.000 % |
90.82/90.95	c |    156311 |    1100    22000   110000 |    94871    91282    139 |  0.000 % |
91.52/91.65	c |    157183 |    1100    22000   110000 |    94871    92154    139 |  0.000 % |
92.22/92.37	c |    158141 |    1100    22000   110000 |    94871    93112    139 |  0.000 % |
93.12/93.20	c |    159194 |    1100    22000   110000 |    94871    94165    139 |  0.000 % |
93.91/94.09	c |    160352 |    1100    22000   110000 |    94972    95323    139 |  0.000 % |
94.91/95.05	c |    161625 |    1100    22000   110000 |    94972    86664    139 |  0.000 % |
95.81/95.99	c |    163027 |    1100    22000   110000 |    94972    88066    139 |  0.000 % |
97.01/97.14	c |    164567 |    1100    22000   110000 |    94972    89606    139 |  0.000 % |
98.31/98.43	c |    166265 |    1100    22000   110000 |    94972    91304    139 |  0.000 % |
98.41/98.51	c |    166369 |    1100    22000   110000 |    94972    91408    139 |  0.000 % |
98.51/98.61	c |    166481 |    1100    22000   110000 |    94972    91520    139 |  0.000 % |
98.61/98.72	c |    166605 |    1100    22000   110000 |    94972    91644    139 |  0.000 % |
98.71/98.84	c |    166738 |    1100    22000   110000 |    94972    91777    139 |  0.000 % |
98.82/98.97	c |    166886 |    1100    22000   110000 |    94972    91925    139 |  0.000 % |
99.01/99.10	c |    167046 |    1100    22000   110000 |    94972    92085    139 |  0.000 % |
99.11/99.27	c |    167223 |    1100    22000   110000 |    94972    92262    139 |  0.000 % |
99.31/99.45	c |    167417 |    1100    22000   110000 |    94972    92456    139 |  0.000 % |
99.51/99.63	c |    167632 |    1100    22000   110000 |    94972    92671    139 |  0.000 % |
99.71/99.84	c |    167865 |    1100    22000   110000 |    94972    92904    139 |  0.000 % |
99.91/100.05	c |    168122 |    1100    22000   110000 |    94972    93161    139 |  0.000 % |
100.11/100.26	c |    168404 |    1100    22000   110000 |    94972    93443    139 |  0.000 % |
100.41/100.52	c |    168713 |    1100    22000   110000 |    94972    93752    139 |  0.000 % |
100.71/100.80	c |    169053 |    1100    22000   110000 |    94972    94092    139 |  0.000 % |
101.01/101.18	c |    169425 |    1100    22000   110000 |    94972    94464    139 |  0.000 % |
101.41/101.55	c |    169834 |    1100    22000   110000 |    94972    94873    139 |  0.000 % |
101.81/101.90	c |    170283 |    1100    22000   110000 |    95040    95322    139 |  0.000 % |
102.21/102.30	c |    170777 |    1100    22000   110000 |    95040    85584    139 |  0.000 % |
102.61/102.72	c |    171319 |    1100    22000   110000 |    95040    86126    139 |  0.000 % |
103.01/103.18	c |    171918 |    1100    22000   110000 |    95040    86725    139 |  0.000 % |
103.51/103.64	c |    172573 |    1100    22000   110000 |    95040    87380    139 |  0.000 % |
104.11/104.25	c |    173297 |    1100    22000   110000 |    95040    88104    139 |  0.000 % |
104.71/104.83	c |    174090 |    1100    22000   110000 |    95040    88897    139 |  0.000 % |
105.41/105.55	c |    174962 |    1100    22000   110000 |    95040    89769    139 |  0.000 % |
106.11/106.27	c |    175921 |    1100    22000   110000 |    95040    90728    139 |  0.000 % |
106.91/107.08	c |    176974 |    1100    22000   110000 |    95040    91781    139 |  0.000 % |
107.80/107.98	c |    178132 |    1100    22000   110000 |    95040    92939    139 |  0.000 % |
108.81/108.96	c |    179406 |    1100    22000   110000 |    95040    94213    140 |  0.000 % |
110.00/110.16	c |    180806 |    1100    22000   110000 |    94808    85718    140 |  0.000 % |
111.20/111.30	c |    182346 |    1100    22000   110000 |    94808    87258    140 |  0.000 % |
112.30/112.50	c |    184041 |    1100    22000   110000 |    94808    88953    140 |  0.000 % |
113.80/113.90	c |    185906 |    1100    22000   110000 |    94808    90818    140 |  0.000 % |
113.80/113.99	c |    186007 |    1100    22000   110000 |    94808    90919    140 |  0.000 % |
114.00/114.10	c |    186118 |    1100    22000   110000 |    94808    91030    140 |  0.000 % |
114.10/114.21	c |    186242 |    1100    22000   110000 |    94808    91154    140 |  0.000 % |
114.21/114.32	c |    186375 |    1100    22000   110000 |    94808    91287    140 |  0.000 % |
114.31/114.45	c |    186521 |    1100    22000   110000 |    94808    91433    140 |  0.000 % |
114.50/114.61	c |    186681 |    1100    22000   110000 |    94808    91593    140 |  0.000 % |
114.60/114.78	c |    186858 |    1100    22000   110000 |    94808    91770    140 |  0.000 % |
114.80/114.95	c |    187051 |    1100    22000   110000 |    94808    91963    140 |  0.000 % |
115.00/115.16	c |    187264 |    1100    22000   110000 |    94808    92176    140 |  0.000 % |
115.20/115.34	c |    187497 |    1100    22000   110000 |    94808    92409    140 |  0.000 % |
115.40/115.56	c |    187754 |    1100    22000   110000 |    94808    92666    140 |  0.000 % |
115.60/115.79	c |    188035 |    1100    22000   110000 |    94808    92947    140 |  0.000 % |
115.90/116.07	c |    188344 |    1100    22000   110000 |    94808    93256    140 |  0.000 % |
116.20/116.34	c |    188683 |    1100    22000   110000 |    94808    93595    140 |  0.000 % |
116.50/116.64	c |    189057 |    1100    22000   110000 |    94808    93969    140 |  0.000 % |
116.90/117.00	c |    189466 |    1100    22000   110000 |    94808    94378    140 |  0.000 % |
117.20/117.36	c |    189915 |    1100    22000   110000 |    94808    94827    140 |  0.000 % |
117.60/117.77	c |    190408 |    1100    22000   110000 |    84616    85024    140 |  0.000 % |
118.00/118.16	c |    190950 |    1100    22000   110000 |    84616    76655    140 |  0.000 % |
118.40/118.55	c |    191546 |    1100    22000   110000 |    84616    77251    140 |  0.000 % |
118.90/119.07	c |    192201 |    1100    22000   110000 |    84616    77906    140 |  0.000 % |
119.50/119.61	c |    192921 |    1100    22000   110000 |    84616    78626    140 |  0.000 % |
120.00/120.16	c |    193715 |    1100    22000   110000 |    84616    79420    140 |  0.000 % |
120.60/120.78	c |    194587 |    1100    22000   110000 |    84616    80292    140 |  0.000 % |
121.40/121.51	c |    195546 |    1100    22000   110000 |    84616    81251    140 |  0.000 % |
122.10/122.28	c |    196600 |    1100    22000   110000 |    84616    82305    140 |  0.000 % |
122.90/123.08	c |    197758 |    1100    22000   110000 |    84616    83463    140 |  0.000 % |
123.80/124.00	c |    199031 |    1100    22000   110000 |    84616    84736    140 |  0.000 % |
124.80/124.95	c |    200431 |    1100    22000   110000 | 2147483647    77663    141 |  0.000 % |
125.90/126.01	c |    201972 |    1100    22000   110000 | 2147483647    79204    141 |  0.000 % |
126.90/127.07	c |    203666 |    1100    22000   110000 | 2147483647    80898    141 |  0.000 % |
128.20/128.30	c |    205529 |    1100    22000   110000 | 2147483647    82761    141 |  0.000 % |
129.69/129.81	c |    207578 |    1100    22000   110000 | 2147483647    84810    141 |  0.000 % |
129.79/129.90	c |    207682 |    1100    22000   110000 | 2147483647    84914    141 |  0.000 % |
129.79/129.98	c |    207793 |    1100    22000   110000 | 2147483647    85025    141 |  0.000 % |
129.89/130.09	c |    207914 |    1100    22000   110000 | 2147483647    85146    141 |  0.000 % |
130.09/130.20	c |    208047 |    1100    22000   110000 | 2147483647    85279    141 |  0.000 % |
130.19/130.34	c |    208193 |    1100    22000   110000 | 2147483647    85425    141 |  0.000 % |
130.29/130.48	c |    208353 |    1100    22000   110000 | 2147483647    85585    141 |  0.000 % |
130.49/130.62	c |    208529 |    1100    22000   110000 | 2147483647    85761    141 |  0.000 % |
130.59/130.79	c |    208723 |    1100    22000   110000 | 2147483647    85955    141 |  0.000 % |
130.79/130.97	c |    208935 |    1100    22000   110000 | 2147483647    86167    141 |  0.000 % |
130.99/131.16	c |    209168 |    1100    22000   110000 | 2147483647    86400    141 |  0.000 % |
131.19/131.36	c |    209424 |    1100    22000   110000 | 2147483647    86656    141 |  0.000 % |
131.39/131.57	c |    209705 |    1100    22000   110000 | 2147483647    86937    141 |  0.000 % |
131.69/131.81	c |    210015 |    1100    22000   110000 | 2147483647    87247    141 |  0.000 % |
131.99/132.12	c |    210356 |    1100    22000   110000 | 2147483647    87588    141 |  0.000 % |
132.19/132.40	c |    210729 |    1100    22000   110000 | 2147483647    87961    141 |  0.000 % |
132.49/132.69	c |    211138 |    1100    22000   110000 | 2147483647    88370    141 |  0.000 % |
132.89/133.02	c |    211587 |    1100    22000   110000 | 2147483647    88819    141 |  0.000 % |
133.29/133.43	c |    212081 |    1100    22000   110000 | 2147483647    89313    141 |  0.000 % |
133.69/133.89	c |    212624 |    1100    22000   110000 | 2147483647    89856    141 |  0.000 % |
134.19/134.35	c |    213220 |    1100    22000   110000 | 2147483647    90452    141 |  0.000 % |
134.69/134.84	c |    213875 |    1100    22000   110000 | 2147483647    91107    141 |  0.000 % |
135.19/135.39	c |    214596 |    1100    22000   110000 | 2147483647    91828    141 |  0.000 % |
135.88/136.05	c |    215390 |    1100    22000   110000 | 2147483647    92622    141 |  0.000 % |
136.58/136.70	c |    216263 |    1100    22000   110000 | 2147483647    93495    141 |  0.000 % |
137.29/137.49	c |    217221 |    1100    22000   110000 | 2147483647    94453    141 |  0.000 % |
138.18/138.30	c |    218274 |    1100    22000   110000 | 2147483647    95506    141 |  0.000 % |
139.08/139.20	c |    219434 |    1100    22000   110000 | 2147483647    96666    141 |  0.000 % |
140.08/140.22	c |    220707 |    1100    22000   110000 |    97232    87886    141 |  0.000 % |
141.08/141.20	c |    222109 |    1100    22000   110000 |    97232    89288    141 |  0.000 % |
142.18/142.31	c |    223650 |    1100    22000   110000 |    97232    90829    141 |  0.000 % |
143.48/143.61	c |    225345 |    1100    22000   110000 |    97232    92524    141 |  0.000 % |
144.78/144.96	c |    227208 |    1100    22000   110000 |    97232    94387    141 |  0.000 % |
146.28/146.45	c |    229258 |    1100    22000   110000 |    97232    96437    141 |  0.000 % |
147.97/148.10	c |    231511 |    1100    22000   110000 | 2147483647    98690    142 |  0.000 % |
148.07/148.24	c |    231611 |    1100    22000   110000 | 2147483647    98790    142 |  0.000 % |
148.17/148.34	c |    231721 |    1100    22000   110000 | 2147483647    98900    142 |  0.000 % |
148.28/148.46	c |    231843 |    1100    22000   110000 | 2147483647    99022    141 |  0.000 % |
148.38/148.58	c |    231977 |    1100    22000   110000 | 2147483647    99156    141 |  0.000 % |
148.57/148.74	c |    232124 |    1100    22000   110000 | 2147483647    99303    141 |  0.000 % |
148.67/148.89	c |    232285 |    1100    22000   110000 | 2147483647    99464    141 |  0.000 % |
148.88/149.05	c |    232461 |    1100    22000   110000 | 2147483647    99640    141 |  0.000 % |
149.08/149.22	c |    232654 |    1100    22000   110000 | 2147483647    99833    141 |  0.000 % |
149.28/149.41	c |    232866 |    1100    22000   110000 | 2147483647   100045    141 |  0.000 % |
149.48/149.63	c |    233099 |    1100    22000   110000 | 2147483647   100278    141 |  0.000 % |
149.77/149.93	c |    233356 |    1100    22000   110000 | 2147483647   100535    141 |  0.000 % |
150.07/150.20	c |    233637 |    1100    22000   110000 | 2147483647   100816    141 |  0.000 % |
150.27/150.48	c |    233946 |    1100    22000   110000 | 2147483647   101125    141 |  0.000 % |
150.67/150.81	c |    234287 |    1100    22000   110000 | 2147483647   101466    141 |  0.000 % |
150.97/151.11	c |    234663 |    1100    22000   110000 | 2147483647   101842    141 |  0.000 % |
151.37/151.52	c |    235072 |    1100    22000   110000 | 2147483647   102251    141 |  0.000 % |
151.77/151.97	c |    235522 |    1100    22000   110000 | 2147483647   102701    141 |  0.000 % |
152.27/152.42	c |    236018 |    1100    22000   110000 | 2147483647   103197    141 |  0.000 % |
152.77/152.94	c |    236560 |    1100    22000   110000 | 2147483647   103739    141 |  0.000 % |
153.27/153.47	c |    237156 |    1100    22000   110000 | 2147483647   104335    141 |  0.000 % |
153.87/154.04	c |    237812 |    1100    22000   110000 | 2147483647   104991    141 |  0.000 % |
154.58/154.71	c |    238533 |    1100    22000   110000 | 2147483647   105712    141 |  0.000 % |
155.28/155.46	c |    239325 |    1100    22000   110000 | 2147483647   106504    141 |  0.000 % |
156.07/156.23	c |    240196 |    1100    22000   110000 |   107180   107375    142 |  0.000 % |
156.87/157.06	c |    241154 |    1100    22000   110000 |   107180    93265    141 |  0.000 % |
157.67/157.84	c |    242207 |    1100    22000   110000 |   107180    94318    141 |  0.000 % |
158.57/158.72	c |    243365 |    1100    22000   110000 |   107180    95476    141 |  0.000 % |
159.47/159.66	c |    244638 |    1100    22000   110000 |   107180    96749    141 |  0.000 % |
160.57/160.76	c |    246041 |    1100    22000   110000 |   107180    98152    141 |  0.000 % |
161.87/162.06	c |    247582 |    1100    22000   110000 |   107180    99693    142 |  0.000 % |
163.37/163.50	c |    249276 |    1100    22000   110000 |   107180   101387    141 |  0.000 % |
164.97/165.11	c |    251140 |    1100    22000   110000 |   102111    90327    142 |  0.000 % |
166.47/166.68	c |    253189 |    1100    22000   110000 |   102111    92376    142 |  0.000 % |
168.27/168.49	c |    255443 |    1100    22000   110000 |   102111    94630    142 |  0.000 % |
170.16/170.37	c |    257922 |    1100    22000   110000 |   102111    97109    142 |  0.000 % |
170.27/170.45	c |    258022 |    1100    22000   110000 |   102111    97209    142 |  0.000 % |
170.37/170.58	c |    258136 |    1100    22000   110000 |   102111    97323    142 |  0.000 % |
170.56/170.70	c |    258258 |    1100    22000   110000 |   102111    97445    142 |  0.000 % |
170.66/170.82	c |    258392 |    1100    22000   110000 |   102111    97579    142 |  0.000 % |
170.76/170.94	c |    258538 |    1100    22000   110000 |   102111    97725    142 |  0.000 % |
170.96/171.11	c |    258699 |    1100    22000   110000 |   102111    97886    142 |  0.000 % |
171.06/171.26	c |    258876 |    1100    22000   110000 |   102111    98063    142 |  0.000 % |
171.26/171.43	c |    259071 |    1100    22000   110000 |   102111    98258    142 |  0.000 % |
171.47/171.64	c |    259284 |    1100    22000   110000 |   102111    98471    142 |  0.000 % |
171.66/171.86	c |    259518 |    1100    22000   110000 |   102111    98705    142 |  0.000 % |
171.96/172.11	c |    259775 |    1100    22000   110000 |   102111    98962    142 |  0.000 % |
172.16/172.36	c |    260059 |    1100    22000   110000 |    99188    99246    142 |  0.000 % |
172.47/172.66	c |    260368 |    1100    22000   110000 |    99188    87869    143 |  0.000 % |
172.76/172.94	c |    260708 |    1100    22000   110000 |    99188    88209    143 |  0.000 % |
173.06/173.24	c |    261080 |    1100    22000   110000 |    99188    88581    143 |  0.000 % |
173.36/173.58	c |    261490 |    1100    22000   110000 |    99188    88991    143 |  0.000 % |
173.76/173.93	c |    261939 |    1100    22000   110000 |    99188    89440    143 |  0.000 % |
174.16/174.30	c |    262433 |    1100    22000   110000 |    99188    89934    143 |  0.000 % |
174.56/174.71	c |    262977 |    1100    22000   110000 |    99188    90478    142 |  0.000 % |
174.96/175.18	c |    263574 |    1100    22000   110000 |    99188    91075    142 |  0.000 % |
175.46/175.70	c |    264229 |    1100    22000   110000 |    99188    91730    142 |  0.000 % |
176.06/176.28	c |    264950 |    1100    22000   110000 |    99188    92451    142 |  0.000 % |
176.76/176.91	c |    265742 |    1100    22000   110000 |    99188    93243    142 |  0.000 % |
177.36/177.59	c |    266617 |    1100    22000   110000 |    99188    94118    142 |  0.000 % |
178.16/178.34	c |    267575 |    1100    22000   110000 |    99188    95076    142 |  0.000 % |
179.06/179.25	c |    268629 |    1100    22000   110000 |    99188    96130    142 |  0.000 % |
179.96/180.17	c |    269789 |    1100    22000   110000 |    99188    97290    142 |  0.000 % |
180.96/181.18	c |    271062 |    1100    22000   110000 |    97501    86993    141 |  0.000 % |
181.96/182.18	c |    272464 |    1100    22000   110000 |    97501    88395    141 |  0.000 % |
183.16/183.32	c |    274005 |    1100    22000   110000 |    97501    89936    141 |  0.000 % |
184.46/184.70	c |    275699 |    1100    22000   110000 |    97501    91630    141 |  0.000 % |
185.96/186.17	c |    277563 |    1100    22000   110000 |    97501    93494    142 |  0.000 % |
187.55/187.76	c |    279612 |    1100    22000   110000 |    97501    95543    141 |  0.000 % |
189.25/189.50	c |    281865 |    1100    22000   110000 |    95931    87489    142 |  0.000 % |
191.16/191.36	c |    284343 |    1100    22000   110000 |    95931    89967    142 |  0.000 % |
193.25/193.44	c |    287068 |    1100    22000   110000 |    95931    92692    142 |  0.000 % |
193.36/193.53	c |    287168 |    1100    22000   110000 |    95931    92792    142 |  0.000 % |
193.46/193.62	c |    287280 |    1100    22000   110000 |    95931    92904    142 |  0.000 % |
193.55/193.73	c |    287402 |    1100    22000   110000 |    95931    93026    142 |  0.000 % |
193.65/193.85	c |    287535 |    1100    22000   110000 |    95931    93159    142 |  0.000 % |
193.75/193.99	c |    287681 |    1100    22000   110000 |    95931    93305    142 |  0.000 % |
193.95/194.13	c |    287841 |    1100    22000   110000 |    95931    93465    142 |  0.000 % |
194.05/194.27	c |    288017 |    1100    22000   110000 |    95931    93641    142 |  0.000 % |
194.25/194.48	c |    288212 |    1100    22000   110000 |    95931    93836    142 |  0.000 % |
194.46/194.66	c |    288427 |    1100    22000   110000 |    95931    94051    142 |  0.000 % |
194.65/194.85	c |    288660 |    1100    22000   110000 |    95931    94284    142 |  0.000 % |
194.95/195.10	c |    288918 |    1100    22000   110000 |    95931    94542    142 |  0.000 % |
195.15/195.34	c |    289199 |    1100    22000   110000 |    95931    94823    142 |  0.000 % |
195.35/195.59	c |    289510 |    1100    22000   110000 |    95931    95134    142 |  0.000 % |
195.75/195.94	c |    289849 |    1100    22000   110000 |    95931    95473    142 |  0.000 % |
196.05/196.26	c |    290223 |    1100    22000   110000 |    95626    95847    142 |  0.000 % |
196.45/196.66	c |    290633 |    1100    22000   110000 |    95626    86047    142 |  0.000 % |
196.76/196.98	c |    291082 |    1100    22000   110000 |    95626    86496    142 |  0.000 % |
197.15/197.36	c |    291575 |    1100    22000   110000 |    95626    86989    142 |  0.000 % |
197.65/197.80	c |    292117 |    1100    22000   110000 |    95626    87531    142 |  0.000 % |
198.05/198.28	c |    292713 |    1100    22000   110000 |    95626    88127    141 |  0.000 % |
198.55/198.74	c |    293368 |    1100    22000   110000 |    95626    88782    142 |  0.000 % |
199.05/199.30	c |    294088 |    1100    22000   110000 |    95626    89502    141 |  0.000 % |
199.75/199.96	c |    294881 |    1100    22000   110000 |    95626    90295    141 |  0.000 % |
200.45/200.63	c |    295753 |    1100    22000   110000 |    95626    91167    141 |  0.000 % |
201.15/201.36	c |    296711 |    1100    22000   110000 |    95626    92125    141 |  0.000 % |
201.95/202.17	c |    297764 |    1100    22000   110000 |    95626    93178    141 |  0.000 % |
202.85/203.05	c |    298924 |    1100    22000   110000 |    95626    94338    141 |  0.000 % |
203.85/204.07	c |    300197 |    1100    22000   110000 |    95415    95611    141 |  0.000 % |
204.94/205.14	c |    301597 |    1100    22000   110000 |    95415    87388    142 |  0.000 % |
206.14/206.34	c |    303137 |    1100    22000   110000 |    95415    88928    142 |  0.000 % |
207.34/207.59	c |    304832 |    1100    22000   110000 |    95415    90623    142 |  0.000 % |
208.85/209.05	c |    306696 |    1100    22000   110000 |    95415    92487    142 |  0.000 % |
210.34/210.57	c |    308745 |    1100    22000   110000 |    95415    94536    142 |  0.000 % |
212.15/212.34	c |    310998 |    1100    22000   110000 | 2147483647    96789    142 |  0.000 % |
214.04/214.26	c |    313476 |    1100    22000   110000 | 2147483647    99267    142 |  0.000 % |
216.34/216.57	c |    316202 |    1100    22000   110000 | 2147483647   101993    142 |  0.000 % |
219.04/219.21	c |    319200 |    1100    22000   110000 | 2147483647   104991    143 |  0.000 % |
219.14/219.30	c |    319302 |    1100    22000   110000 | 2147483647   105093    143 |  0.000 % |
219.24/219.42	c |    319412 |    1100    22000   110000 | 2147483647   105203    143 |  0.000 % |
219.34/219.53	c |    319533 |    1100    22000   110000 | 2147483647   105324    143 |  0.000 % |
219.44/219.69	c |    319666 |    1100    22000   110000 | 2147483647   105457    143 |  0.000 % |
219.64/219.81	c |    319813 |    1100    22000   110000 | 2147483647   105604    143 |  0.000 % |
219.74/219.96	c |    319973 |    1100    22000   110000 | 2147483647   105764    143 |  0.000 % |
219.94/220.13	c |    320149 |    1100    22000   110000 |   105792   105940    143 |  0.000 % |
220.24/220.44	c |    320343 |    1100    22000   110000 |   105792    92365    142 |  0.000 % |
220.44/220.62	c |    320556 |    1100    22000   110000 |   105792    92578    142 |  0.000 % |
220.64/220.85	c |    320790 |    1100    22000   110000 |   105792    92812    142 |  0.000 % |
220.84/221.06	c |    321047 |    1100    22000   110000 |   105792    93069    142 |  0.000 % |
221.14/221.35	c |    321329 |    1100    22000   110000 |   105792    93351    142 |  0.000 % |
221.44/221.60	c |    321638 |    1100    22000   110000 |   105792    93660    142 |  0.000 % |
221.64/221.88	c |    321977 |    1100    22000   110000 |   105792    93999    142 |  0.000 % |
221.94/222.20	c |    322350 |    1100    22000   110000 |   105792    94372    142 |  0.000 % |
222.34/222.56	c |    322759 |    1100    22000   110000 |   105792    94781    142 |  0.000 % |
222.74/222.95	c |    323208 |    1100    22000   110000 |   105792    95230    142 |  0.000 % |
223.14/223.35	c |    323701 |    1100    22000   110000 |   105792    95723    142 |  0.000 % |
223.54/223.77	c |    324243 |    1100    22000   110000 |   105792    96265    142 |  0.000 % |
224.04/224.26	c |    324839 |    1100    22000   110000 |   105792    96861    142 |  0.000 % |
224.64/224.81	c |    325494 |    1100    22000   110000 |   105792    97516    142 |  0.000 % |
225.14/225.36	c |    326214 |    1100    22000   110000 |   105792    98236    142 |  0.000 % |
225.74/226.00	c |    327006 |    1100    22000   110000 |   105792    99028    142 |  0.000 % |
226.64/226.83	c |    327878 |    1100    22000   110000 |   105792    99900    142 |  0.000 % |
227.34/227.60	c |    328837 |    1100    22000   110000 |   105792   100859    142 |  0.000 % |
228.24/228.44	c |    329891 |    1100    22000   110000 |   105792   101913    142 |  0.000 % |
229.24/229.45	c |    331049 |    1100    22000   110000 |   102026    89376    142 |  0.000 % |
230.24/230.47	c |    332324 |    1100    22000   110000 |   102026    90651    142 |  0.000 % |
231.33/231.50	c |    333725 |    1100    22000   110000 |   102026    92052    142 |  0.000 % |
232.43/232.63	c |    335265 |    1100    22000   110000 |   102026    93592    142 |  0.000 % |
233.73/233.95	c |    336959 |    1100    22000   110000 |   102026    95286    142 |  0.000 % |
235.24/235.41	c |    338823 |    1100    22000   110000 |   102026    97150    142 |  0.000 % |
236.83/237.03	c |    340872 |    1100    22000   110000 |    98328    87850    141 |  0.000 % |
238.54/238.72	c |    343125 |    1100    22000   110000 |    98328    90103    141 |  0.000 % |
240.43/240.66	c |    345605 |    1100    22000   110000 |    98328    92583    142 |  0.000 % |
242.33/242.58	c |    348330 |    1100    22000   110000 |    98328    95308    142 |  0.000 % |
244.63/244.84	c |    351327 |    1100    22000   110000 |    96980    87705    142 |  0.000 % |
247.03/247.25	c |    354623 |    1100    22000   110000 |    96980    91001    142 |  0.000 % |
247.13/247.34	c |    354723 |    1100    22000   110000 |    96980    91101    142 |  0.000 % |
247.24/247.43	c |    354833 |    1100    22000   110000 |    96980    91211    142 |  0.000 % |
247.33/247.55	c |    354954 |    1100    22000   110000 |    96980    91332    142 |  0.000 % |
247.43/247.66	c |    355088 |    1100    22000   110000 |    96980    91466    142 |  0.000 % |
247.63/247.82	c |    355234 |    1100    22000   110000 |    96980    91612    142 |  0.000 % |
247.73/247.98	c |    355394 |    1100    22000   110000 |    96980    91772    142 |  0.000 % |
247.93/248.13	c |    355572 |    1100    22000   110000 |    96980    91950    142 |  0.000 % |
248.13/248.33	c |    355766 |    1100    22000   110000 |    96980    92144    142 |  0.000 % |
248.33/248.52	c |    355978 |    1100    22000   110000 |    96980    92356    142 |  0.000 % |
248.53/248.73	c |    356211 |    1100    22000   110000 |    96980    92589    142 |  0.000 % |
248.73/248.93	c |    356467 |    1100    22000   110000 |    96980    92845    142 |  0.000 % |
248.93/249.15	c |    356750 |    1100    22000   110000 |    96980    93128    142 |  0.000 % |
249.23/249.41	c |    357059 |    1100    22000   110000 |    96980    93437    142 |  0.000 % |
249.53/249.75	c |    357398 |    1100    22000   110000 |    96980    93776    142 |  0.000 % |
249.83/250.07	c |    357771 |    1100    22000   110000 |    96980    94149    142 |  0.000 % |
250.23/250.42	c |    358181 |    1100    22000   110000 |    96980    94559    142 |  0.000 % |
250.53/250.78	c |    358632 |    1100    22000   110000 |    96980    95010    142 |  0.000 % |
250.93/251.17	c |    359127 |    1100    22000   110000 |    96980    95505    142 |  0.000 % |
251.43/251.61	c |    359670 |    1100    22000   110000 |    96980    96048    142 |  0.000 % |
251.83/252.08	c |    360266 |    1100    22000   110000 |    96381    96644    142 |  0.000 % |
252.43/252.60	c |    360921 |    1100    22000   110000 |    96381    86851    142 |  0.000 % |
252.93/253.13	c |    361642 |    1100    22000   110000 |    96381    87572    142 |  0.000 % |
253.53/253.72	c |    362436 |    1100    22000   110000 |    96381    88366    142 |  0.000 % |
254.13/254.35	c |    363307 |    1100    22000   110000 |    96381    89237    142 |  0.000 % |
254.83/255.06	c |    364266 |    1100    22000   110000 |    96381    90196    142 |  0.000 % |
255.73/255.90	c |    365321 |    1100    22000   110000 |    96381    91251    142 |  0.000 % |
256.53/256.76	c |    366481 |    1100    22000   110000 |    96381    92411    142 |  0.000 % |
257.53/257.71	c |    367756 |    1100    22000   110000 |    96381    93686    142 |  0.000 % |
258.53/258.72	c |    369156 |    1100    22000   110000 |    96381    95086    142 |  0.000 % |
259.73/259.96	c |    370698 |    1100    22000   110000 | 2147483647    96628    142 |  0.000 % |
261.03/261.27	c |    372392 |    1100    22000   110000 | 2147483647    98322    142 |  0.000 % |
262.52/262.72	c |    374256 |    1100    22000   110000 | 2147483647   100186    142 |  0.000 % |
264.22/264.43	c |    376305 |    1100    22000   110000 | 2147483647   102235    142 |  0.000 % |
266.02/266.22	c |    378558 |    1100    22000   110000 | 2147483647   104488    142 |  0.000 % |
268.12/268.38	c |    381037 |    1100    22000   110000 |   105930    93550    142 |  0.000 % |
270.22/270.43	c |    383762 |    1100    22000   110000 |   105930    96275    142 |  0.000 % |
272.52/272.78	c |    386759 |    1100    22000   110000 |   105930    99272    142 |  0.000 % |
275.22/275.42	c |    390055 |    1100    22000   110000 |   102515   102568    143 |  0.000 % |
278.12/278.31	c |    393680 |    1100    22000   110000 |   102515    93254    143 |  0.000 % |
278.22/278.40	c |    393780 |    1100    22000   110000 |   102515    93354    143 |  0.000 % |
278.32/278.50	c |    393890 |    1100    22000   110000 |   102515    93464    143 |  0.000 % |
278.42/278.61	c |    394012 |    1100    22000   110000 |   102515    93586    143 |  0.000 % |
278.52/278.76	c |    394146 |    1100    22000   110000 |   102515    93720    143 |  0.000 % |
278.62/278.87	c |    394293 |    1100    22000   110000 |   102515    93867    143 |  0.000 % |
278.82/279.02	c |    394455 |    1100    22000   110000 |   102515    94029    143 |  0.000 % |
278.92/279.18	c |    394633 |    1100    22000   110000 |   102515    94207    143 |  0.000 % |
279.12/279.34	c |    394827 |    1100    22000   110000 |   102515    94401    143 |  0.000 % |
279.22/279.50	c |    395039 |    1100    22000   110000 |   102515    94613    143 |  0.000 % |
279.52/279.71	c |    395273 |    1100    22000   110000 |   102515    94847    143 |  0.000 % |
279.72/279.91	c |    395529 |    1100    22000   110000 |   102515    95103    143 |  0.000 % |
279.92/280.16	c |    395811 |    1100    22000   110000 |   102515    95385    143 |  0.000 % |
280.22/280.43	c |    396120 |    1100    22000   110000 |   102515    95694    143 |  0.000 % |
280.52/280.72	c |    396459 |    1100    22000   110000 |   102515    96033    143 |  0.000 % |
280.82/281.05	c |    396834 |    1100    22000   110000 |   102515    96408    143 |  0.000 % |
281.12/281.40	c |    397244 |    1100    22000   110000 |   102515    96818    143 |  0.000 % |
281.52/281.77	c |    397694 |    1100    22000   110000 |   102515    97268    143 |  0.000 % |
281.92/282.14	c |    398189 |    1100    22000   110000 |   102515    97763    143 |  0.000 % |
282.32/282.59	c |    398731 |    1100    22000   110000 |   102515    98305    143 |  0.000 % |
282.82/283.05	c |    399327 |    1100    22000   110000 |   102515    98901    143 |  0.000 % |
283.32/283.59	c |    399984 |    1100    22000   110000 |   102515    99558    143 |  0.000 % |
284.02/284.25	c |    400706 |    1100    22000   110000 |    99574    87611    142 |  0.000 % |
284.62/284.81	c |    401498 |    1100    22000   110000 |    99574    88403    142 |  0.000 % |
285.21/285.44	c |    402373 |    1100    22000   110000 |    99574    89278    142 |  0.000 % |
285.82/286.09	c |    403334 |    1100    22000   110000 |    99574    90239    142 |  0.000 % |
286.61/286.89	c |    404387 |    1100    22000   110000 |    99574    91292    142 |  0.000 % |
287.51/287.70	c |    405546 |    1100    22000   110000 |    99574    92451    142 |  0.000 % |
288.51/288.76	c |    406819 |    1100    22000   110000 |    99574    93724    142 |  0.000 % |
289.61/289.87	c |    408219 |    1100    22000   110000 |    99574    95124    143 |  0.000 % |
290.91/291.12	c |    409761 |    1100    22000   110000 |    99574    96666    143 |  0.000 % |
292.11/292.35	c |    411456 |    1100    22000   110000 |    96905    87536    143 |  0.000 % |
293.52/293.77	c |    413319 |    1100    22000   110000 |    96905    89399    143 |  0.000 % |
295.01/295.23	c |    415369 |    1100    22000   110000 |    96905    91449    143 |  0.000 % |
296.72/296.97	c |    417623 |    1100    22000   110000 |    96905    93703    143 |  0.000 % |
298.61/298.80	c |    420101 |    1100    22000   110000 | 2147483647    96181    143 |  0.000 % |
300.71/300.93	c |    422826 |    1100    22000   110000 | 2147483647    98906    143 |  0.000 % |
303.21/303.46	c |    425823 |    1100    22000   110000 | 2147483647   101903    144 |  0.000 % |
305.91/306.17	c |    429120 |    1100    22000   110000 | 2147483647   105200    144 |  0.000 % |
308.91/309.15	c |    432746 |    1100    22000   110000 |   106082    96064    145 |  0.000 % |
312.21/312.47	c |    436736 |    1100    22000   110000 |   106082   100054    145 |  0.000 % |
312.30/312.55	c |    436838 |    1100    22000   110000 |   106082   100156    145 |  0.000 % |
312.40/312.66	c |    436949 |    1100    22000   110000 |   106082   100267    145 |  0.000 % |
312.50/312.78	c |    437070 |    1100    22000   110000 |   106082   100388    145 |  0.000 % |
312.70/312.92	c |    437205 |    1100    22000   110000 |   106082   100523    145 |  0.000 % |
312.80/313.06	c |    437352 |    1100    22000   110000 |   106082   100670    145 |  0.000 % |
313.00/313.20	c |    437512 |    1100    22000   110000 |   106082   100830    145 |  0.000 % |
313.10/313.38	c |    437690 |    1100    22000   110000 |   106082   101008    145 |  0.000 % |
313.31/313.56	c |    437885 |    1100    22000   110000 |   106082   101203    145 |  0.000 % |
313.50/313.77	c |    438098 |    1100    22000   110000 |   106082   101416    145 |  0.000 % |
313.70/313.99	c |    438331 |    1100    22000   110000 |   106082   101649    145 |  0.000 % |
314.00/314.23	c |    438587 |    1100    22000   110000 |   106082   101905    145 |  0.000 % |
314.20/314.48	c |    438870 |    1100    22000   110000 |   106082   102188    145 |  0.000 % |
314.50/314.77	c |    439180 |    1100    22000   110000 |   106082   102498    145 |  0.000 % |
314.80/315.05	c |    439519 |    1100    22000   110000 |   106082   102837    145 |  0.000 % |
315.10/315.37	c |    439892 |    1100    22000   110000 |   106082   103210    145 |  0.000 % |
315.51/315.74	c |    440302 |    1100    22000   110000 |   103319   103620    144 |  0.000 % |
315.90/316.18	c |    440753 |    1100    22000   110000 |   103319    90400    144 |  0.000 % |
316.30/316.58	c |    441247 |    1100    22000   110000 |   103319    90894    144 |  0.000 % |
316.80/317.03	c |    441789 |    1100    22000   110000 |   103319    91436    144 |  0.000 % |
317.21/317.49	c |    442387 |    1100    22000   110000 |   103319    92034    144 |  0.000 % |
317.72/318.00	c |    443042 |    1100    22000   110000 |   103319    92689    144 |  0.000 % |
318.41/318.60	c |    443762 |    1100    22000   110000 |   103319    93409    144 |  0.000 % |
319.01/319.21	c |    444554 |    1100    22000   110000 |   103319    94201    144 |  0.000 % |
319.71/319.92	c |    445425 |    1100    22000   110000 |   103319    95072    144 |  0.000 % |
320.41/320.69	c |    446384 |    1100    22000   110000 |   103319    96031    144 |  0.000 % |
321.41/321.60	c |    447438 |    1100    22000   110000 |   103319    97085    144 |  0.000 % |
322.31/322.52	c |    448596 |    1100    22000   110000 |   103319    98243    144 |  0.000 % |
323.41/323.60	c |    449869 |    1100    22000   110000 |   103319    99516    144 |  0.000 % |
324.51/324.78	c |    451269 |    1100    22000   110000 |    99649    88160    144 |  0.000 % |
325.71/325.90	c |    452810 |    1100    22000   110000 |    99649    89701    144 |  0.000 % |
326.91/327.16	c |    454504 |    1100    22000   110000 |    99649    91395    144 |  0.000 % |
328.41/328.60	c |    456367 |    1100    22000   110000 |    99649    93258    144 |  0.000 % |
329.91/330.10	c |    458416 |    1100    22000   110000 |    99649    95307    144 |  0.000 % |
331.71/331.97	c |    460672 |    1100    22000   110000 |    96891    87140    144 |  0.000 % |
333.41/333.63	c |    463151 |    1100    22000   110000 |    96891    89619    144 |  0.000 % |
335.41/335.60	c |    465876 |    1100    22000   110000 |    96891    92344    144 |  0.000 % |
337.61/337.86	c |    468873 |    1100    22000   110000 |    96891    95341    144 |  0.000 % |
340.30/340.52	c |    472172 |    1100    22000   110000 | 2147483647    98640    144 |  0.000 % |
343.30/343.52	c |    475798 |    1100    22000   110000 | 2147483647   102266    145 |  0.000 % |
346.80/347.01	c |    479785 |    1100    22000   110000 | 2147483647   106253    145 |  0.000 % |
350.30/350.54	c |    484171 |    1100    22000   110000 |   106470    97167    145 |  0.000 % |
350.40/350.63	c |    484271 |    1100    22000   110000 |   106470    97267    145 |  0.000 % |
350.50/350.73	c |    484381 |    1100    22000   110000 |   106470    97377    145 |  0.000 % |
350.60/350.84	c |    484502 |    1100    22000   110000 |   106470    97498    145 |  0.000 % |
350.70/350.99	c |    484635 |    1100    22000   110000 |   106470    97631    145 |  0.000 % |
350.90/351.12	c |    484782 |    1100    22000   110000 |   106470    97778    145 |  0.000 % |
351.00/351.26	c |    484943 |    1100    22000   110000 |   106470    97939    145 |  0.000 % |
351.20/351.43	c |    485119 |    1100    22000   110000 |   106470    98115    145 |  0.000 % |
351.30/351.59	c |    485312 |    1100    22000   110000 |   106470    98308    145 |  0.000 % |
351.50/351.77	c |    485524 |    1100    22000   110000 |   106470    98520    145 |  0.000 % |
351.80/352.00	c |    485757 |    1100    22000   110000 |   106470    98753    145 |  0.000 % |
352.00/352.22	c |    486013 |    1100    22000   110000 |   106470    99009    145 |  0.000 % |
352.30/352.50	c |    486294 |    1100    22000   110000 |   106470    99290    145 |  0.000 % |
352.50/352.79	c |    486603 |    1100    22000   110000 |   106470    99599    145 |  0.000 % |
352.80/353.08	c |    486942 |    1100    22000   110000 |   106470    99938    145 |  0.000 % |
353.10/353.38	c |    487316 |    1100    22000   110000 |   106470   100312    145 |  0.000 % |
353.50/353.76	c |    487727 |    1100    22000   110000 |   106470   100723    145 |  0.000 % |
353.90/354.12	c |    488177 |    1100    22000   110000 |   106470   101173    145 |  0.000 % |
354.30/354.52	c |    488671 |    1100    22000   110000 |   106470   101667    145 |  0.000 % |
354.70/354.98	c |    489213 |    1100    22000   110000 |   106470   102209    145 |  0.000 % |
355.20/355.49	c |    489811 |    1100    22000   110000 |   106470   102807    144 |  0.000 % |
355.90/356.11	c |    490468 |    1100    22000   110000 |   102997    89702    145 |  0.000 % |
356.40/356.61	c |    491188 |    1100    22000   110000 |   102997    90422    145 |  0.000 % |
356.90/357.18	c |    491980 |    1100    22000   110000 |   102997    91214    145 |  0.000 % |
357.60/357.86	c |    492851 |    1100    22000   110000 |   102997    92085    145 |  0.000 % |
358.30/358.54	c |    493809 |    1100    22000   110000 |   102997    93043    145 |  0.000 % |
359.10/359.35	c |    494862 |    1100    22000   110000 |   102997    94096    145 |  0.000 % |
360.00/360.23	c |    496021 |    1100    22000   110000 |   102997    95255    145 |  0.000 % |
361.00/361.25	c |    497295 |    1100    22000   110000 |   102997    96529    145 |  0.000 % |
362.09/362.32	c |    498695 |    1100    22000   110000 |   102997    97929    145 |  0.000 % |
363.29/363.56	c |    500238 |    1100    22000   110000 |    99234    99472    145 |  0.000 % |
364.59/364.85	c |    501934 |    1100    22000   110000 |    99234    89240    144 |  0.000 % |
366.00/366.29	c |    503801 |    1100    22000   110000 |    99234    91107    144 |  0.000 % |
367.59/367.82	c |    505850 |    1100    22000   110000 |    99234    93156    144 |  0.000 % |
369.30/369.55	c |    508103 |    1100    22000   110000 |    99234    95409    145 |  0.000 % |
371.29/371.59	c |    510582 |    1100    22000   110000 |    97307    87817    144 |  0.000 % |
373.29/373.58	c |    513308 |    1100    22000   110000 |    97307    90543    144 |  0.000 % |
375.59/375.89	c |    516306 |    1100    22000   110000 |    97307    93541    145 |  0.000 % |
378.09/378.32	c |    519602 |    1100    22000   110000 |    97307    96837    145 |  0.000 % |
380.99/381.23	c |    523231 |    1100    22000   110000 | 2147483647   100466    145 |  0.000 % |
384.19/384.47	c |    527221 |    1100    22000   110000 | 2147483647   104456    145 |  0.000 % |
387.99/388.30	c |    531607 |    1100    22000   110000 |   107235    95292    144 |  0.000 % |
391.78/392.00	c |    536430 |    1100    22000   110000 |   107235   100115    144 |  0.000 % |
391.78/392.09	c |    536531 |    1100    22000   110000 |   107235   100216    144 |  0.000 % |
391.98/392.22	c |    536641 |    1100    22000   110000 |   107235   100326    144 |  0.000 % |
392.08/392.34	c |    536764 |    1100    22000   110000 |   107235   100449    144 |  0.000 % |
392.18/392.47	c |    536897 |    1100    22000   110000 |   107235   100582    144 |  0.000 % |
392.39/392.61	c |    537043 |    1100    22000   110000 |   107235   100728    144 |  0.000 % |
392.49/392.77	c |    537203 |    1100    22000   110000 |   107235   100888    144 |  0.000 % |
392.68/392.94	c |    537383 |    1100    22000   110000 |   107235   101068    144 |  0.000 % |
392.88/393.13	c |    537576 |    1100    22000   110000 |   107235   101261    144 |  0.000 % |
393.08/393.35	c |    537789 |    1100    22000   110000 |   107235   101474    144 |  0.000 % |
393.28/393.56	c |    538022 |    1100    22000   110000 |   107235   101707    144 |  0.000 % |
393.58/393.82	c |    538279 |    1100    22000   110000 |   107235   101964    144 |  0.000 % |
393.78/394.06	c |    538560 |    1100    22000   110000 |   107235   102245    144 |  0.000 % |
394.08/394.33	c |    538872 |    1100    22000   110000 |   107235   102557    144 |  0.000 % |
394.38/394.64	c |    539212 |    1100    22000   110000 |   107235   102897    144 |  0.000 % |
394.68/394.97	c |    539585 |    1100    22000   110000 |   107235   103270    144 |  0.000 % |
395.08/395.34	c |    539995 |    1100    22000   110000 |   107235   103680    144 |  0.000 % |
395.48/395.78	c |    540445 |    1100    22000   110000 |   103686    90781    145 |  0.000 % |
395.88/396.16	c |    540938 |    1100    22000   110000 |   103686    91274    145 |  0.000 % |
396.28/396.52	c |    541480 |    1100    22000   110000 |   103686    91816    144 |  0.000 % |
396.68/396.98	c |    542079 |    1100    22000   110000 |   103686    92415    144 |  0.000 % |
397.28/397.54	c |    542734 |    1100    22000   110000 |   103686    93070    145 |  0.000 % |
397.88/398.12	c |    543455 |    1100    22000   110000 |   103686    93791    144 |  0.000 % |
398.48/398.74	c |    544247 |    1100    22000   110000 |   103686    94583    144 |  0.000 % |
399.08/399.39	c |    545118 |    1100    22000   110000 |   103686    95454    144 |  0.000 % |
399.88/400.14	c |    546076 |    1100    22000   110000 |   103686    96412    144 |  0.000 % |
400.78/401.04	c |    547130 |    1100    22000   110000 |   103686    97466    144 |  0.000 % |
401.68/401.95	c |    548288 |    1100    22000   110000 |   103686    98624    144 |  0.000 % |
402.68/402.90	c |    549561 |    1100    22000   110000 |   103686    99897    144 |  0.000 % |
403.88/404.19	c |    550961 |    1100    22000   110000 |   100336    88622    144 |  0.000 % |
405.08/405.33	c |    552502 |    1100    22000   110000 |   100336    90163    144 |  0.000 % |
406.27/406.57	c |    554196 |    1100    22000   110000 |   100336    91857    144 |  0.000 % |
407.67/407.99	c |    556062 |    1100    22000   110000 |   100336    93723    144 |  0.000 % |
409.27/409.56	c |    558112 |    1100    22000   110000 |   100336    95773    144 |  0.000 % |
411.18/411.43	c |    560366 |    1100    22000   110000 |    97662    87084    144 |  0.000 % |
412.97/413.21	c |    562844 |    1100    22000   110000 |    97662    89562    144 |  0.000 % |
415.07/415.30	c |    565570 |    1100    22000   110000 |    97662    92288    144 |  0.000 % |
417.27/417.58	c |    568570 |    1100    22000   110000 |    97662    95288    144 |  0.000 % |
419.97/420.21	c |    571866 |    1100    22000   110000 |    96721    87953    143 |  0.000 % |
422.47/422.73	c |    575493 |    1100    22000   110000 |    96721    91580    143 |  0.000 % |
425.47/425.72	c |    579481 |    1100    22000   110000 |    96721    95568    143 |  0.000 % |
428.67/428.91	c |    583868 |    1100    22000   110000 |    96089    90308    144 |  0.000 % |
432.16/432.47	c |    588691 |    1100    22000   110000 |    96089    95131    145 |  0.000 % |
436.47/436.76	c |    593996 |    1100    22000   110000 | 2147483647   100436    145 |  0.000 % |
436.56/436.84	c |    594096 |    1100    22000   110000 | 2147483647   100536    145 |  0.000 % |
436.66/436.97	c |    594207 |    1100    22000   110000 | 2147483647   100647    145 |  0.000 % |
436.76/437.09	c |    594329 |    1100    22000   110000 | 2147483647   100769    145 |  0.000 % |
436.96/437.22	c |    594462 |    1100    22000   110000 | 2147483647   100902    145 |  0.000 % |
437.06/437.36	c |    594608 |    1100    22000   110000 | 2147483647   101048    145 |  0.000 % |
437.26/437.50	c |    594768 |    1100    22000   110000 | 2147483647   101208    145 |  0.000 % |
437.36/437.67	c |    594944 |    1100    22000   110000 | 2147483647   101384    145 |  0.000 % |
437.57/437.84	c |    595138 |    1100    22000   110000 | 2147483647   101578    145 |  0.000 % |
437.76/438.04	c |    595350 |    1100    22000   110000 | 2147483647   101790    145 |  0.000 % |
437.96/438.26	c |    595583 |    1100    22000   110000 | 2147483647   102023    145 |  0.000 % |
438.26/438.51	c |    595840 |    1100    22000   110000 | 2147483647   102280    145 |  0.000 % |
438.46/438.78	c |    596121 |    1100    22000   110000 | 2147483647   102561    145 |  0.000 % |
438.76/439.07	c |    596431 |    1100    22000   110000 | 2147483647   102871    145 |  0.000 % |
439.06/439.36	c |    596770 |    1100    22000   110000 | 2147483647   103210    145 |  0.000 % |
439.36/439.66	c |    597143 |    1100    22000   110000 | 2147483647   103583    145 |  0.000 % |
439.77/440.02	c |    597552 |    1100    22000   110000 | 2147483647   103992    145 |  0.000 % |
440.16/440.47	c |    598001 |    1100    22000   110000 | 2147483647   104441    145 |  0.000 % |
440.66/440.90	c |    598494 |    1100    22000   110000 | 2147483647   104934    145 |  0.000 % |
441.06/441.39	c |    599036 |    1100    22000   110000 | 2147483647   105476    145 |  0.000 % |
441.66/441.95	c |    599634 |    1100    22000   110000 | 2147483647   106074    145 |  0.000 % |
442.26/442.53	c |    600289 |    1100    22000   110000 |   106440   106729    145 |  0.000 % |
442.96/443.26	c |    601010 |    1100    22000   110000 |   106440    92920    145 |  0.000 % |
443.66/443.92	c |    601802 |    1100    22000   110000 |   106440    93712    145 |  0.000 % |
444.36/444.63	c |    602673 |    1100    22000   110000 |   106440    94583    145 |  0.000 % |
445.06/445.39	c |    603632 |    1100    22000   110000 |   106440    95542    145 |  0.000 % |
445.86/446.19	c |    604685 |    1100    22000   110000 |   106440    96595    145 |  0.000 % |
446.86/447.10	c |    605844 |    1100    22000   110000 |   106440    97754    145 |  0.000 % |
447.86/448.12	c |    607117 |    1100    22000   110000 |   106440    99027    145 |  0.000 % |
449.06/449.32	c |    608517 |    1100    22000   110000 |   106440   100427    145 |  0.000 % |
450.36/450.61	c |    610057 |    1100    22000   110000 |   101912   101967    145 |  0.000 % |
451.76/452.03	c |    611751 |    1100    22000   110000 |   101912    90421    145 |  0.000 % |
453.06/453.39	c |    613614 |    1100    22000   110000 |   101912    92284    145 |  0.000 % |
454.66/454.92	c |    615663 |    1100    22000   110000 |   101912    94333    145 |  0.000 % |
456.26/456.54	c |    617919 |    1100    22000   110000 |   101912    96589    145 |  0.000 % |
458.15/458.45	c |    620398 |    1100    22000   110000 |    98671    87932    144 |  0.000 % |
460.25/460.51	c |    623125 |    1100    22000   110000 |    98671    90659    144 |  0.000 % |
462.35/462.66	c |    626124 |    1100    22000   110000 |    98671    93658    144 |  0.000 % |
465.15/465.44	c |    629423 |    1100    22000   110000 |    98671    96957    144 |  0.000 % |
467.85/468.16	c |    633048 |    1100    22000   110000 |    97538    90229    145 |  0.000 % |
470.95/471.29	c |    637035 |    1100    22000   110000 |    97538    94216    145 |  0.000 % |
474.55/474.87	c |    641420 |    1100    22000   110000 |    97183    87231    146 |  0.000 % |
478.25/478.56	c |    646244 |    1100    22000   110000 |    97183    92055    146 |  0.000 % |
482.35/482.64	c |    651549 |    1100    22000   110000 |    95812    87221    146 |  0.000 % |
486.64/486.95	c |    657385 |    1100    22000   110000 |    95812    93057    146 |  0.000 % |
486.74/487.04	c |    657485 |    1100    22000   110000 |    95812    93157    146 |  0.000 % |
486.84/487.14	c |    657596 |    1100    22000   110000 |    95812    93268    146 |  0.000 % |
486.95/487.27	c |    657719 |    1100    22000   110000 |    95812    93391    146 |  0.000 % |
487.04/487.39	c |    657853 |    1100    22000   110000 |    95812    93525    146 |  0.000 % |
487.24/487.54	c |    658000 |    1100    22000   110000 |    95812    93672    146 |  0.000 % |
487.34/487.69	c |    658163 |    1100    22000   110000 |    95812    93835    146 |  0.000 % |
487.54/487.85	c |    658339 |    1100    22000   110000 |    95812    94011    146 |  0.000 % |
487.74/488.01	c |    658534 |    1100    22000   110000 |    95812    94206    146 |  0.000 % |
487.94/488.21	c |    658746 |    1100    22000   110000 |    95812    94418    146 |  0.000 % |
488.14/488.43	c |    658980 |    1100    22000   110000 |    95812    94652    146 |  0.000 % |
488.34/488.65	c |    659237 |    1100    22000   110000 |    95812    94909    146 |  0.000 % |
488.64/488.91	c |    659519 |    1100    22000   110000 |    95812    95191    146 |  0.000 % |
488.94/489.20	c |    659828 |    1100    22000   110000 |    95812    95500    146 |  0.000 % |
489.14/489.49	c |    660169 |    1100    22000   110000 |    95672    95841    146 |  0.000 % |
489.54/489.84	c |    660541 |    1100    22000   110000 |    95672    85759    146 |  0.000 % |
489.84/490.18	c |    660950 |    1100    22000   110000 |    95672    86168    146 |  0.000 % |
490.24/490.52	c |    661399 |    1100    22000   110000 |    95672    86617    146 |  0.000 % |
490.54/490.88	c |    661894 |    1100    22000   110000 |    95672    87112    146 |  0.000 % |
491.04/491.30	c |    662436 |    1100    22000   110000 |    95672    87654    146 |  0.000 % |
491.44/491.77	c |    663032 |    1100    22000   110000 |    95672    88250    146 |  0.000 % |
491.94/492.28	c |    663688 |    1100    22000   110000 |    95672    88906    146 |  0.000 % |
492.54/492.82	c |    664409 |    1100    22000   110000 |    95672    89627    146 |  0.000 % |
493.14/493.40	c |    665201 |    1100    22000   110000 |    95672    90419    146 |  0.000 % |
493.74/494.07	c |    666073 |    1100    22000   110000 |    95672    91291    146 |  0.000 % |
494.53/494.88	c |    667032 |    1100    22000   110000 |    95672    92250    146 |  0.000 % |
495.43/495.74	c |    668086 |    1100    22000   110000 |    95672    93304    146 |  0.000 % |
496.43/496.70	c |    669244 |    1100    22000   110000 |    95672    94462    146 |  0.000 % |
497.43/497.76	c |    670517 |    1100    22000   110000 |    95219    85283    145 |  0.000 % |
498.53/498.85	c |    671917 |    1100    22000   110000 |    95219    86683    145 |  0.000 % |
499.64/499.97	c |    673457 |    1100    22000   110000 |    95219    88223    145 |  0.000 % |
500.83/501.17	c |    675153 |    1100    22000   110000 |    95219    89919    145 |  0.000 % |
502.23/502.58	c |    677018 |    1100    22000   110000 |    95219    91784    145 |  0.000 % |
503.93/504.20	c |    679070 |    1100    22000   110000 |    95219    93836    145 |  0.000 % |
505.64/505.94	c |    681323 |    1100    22000   110000 |    94767    86071    144 |  0.000 % |
507.53/507.82	c |    683801 |    1100    22000   110000 |    94767    88549    144 |  0.000 % |
509.43/509.75	c |    686526 |    1100    22000   110000 |    94767    91274    145 |  0.000 % |
511.83/512.16	c |    689525 |    1100    22000   110000 |    94767    94273    145 |  0.000 % |
514.53/514.81	c |    692821 |    1100    22000   110000 | 2147483647    97569    145 |  0.000 % |
517.53/517.84	c |    696446 |    1100    22000   110000 | 2147483647   101194    146 |  0.000 % |
520.93/521.20	c |    700433 |    1100    22000   110000 |   104750    92076    146 |  0.000 % |
524.33/524.65	c |    704818 |    1100    22000   110000 |   104750    96461    147 |  0.000 % |
528.32/528.67	c |    709641 |    1100    22000   110000 |   104750   101284    148 |  0.000 % |
532.42/532.80	c |    714947 |    1100    22000   110000 |   101647    94542    148 |  0.000 % |
537.22/537.57	c |    720783 |    1100    22000   110000 |    99595    88851    149 |  0.000 % |
542.32/542.60	c |    727201 |    1100    22000   110000 |    99595    95269    149 |  0.000 % |
542.32/542.67	c |    727301 |    1100    22000   110000 |    99595    95369    149 |  0.000 % |
542.42/542.78	c |    727411 |    1100    22000   110000 |    99595    95479    149 |  0.000 % |
542.52/542.90	c |    727533 |    1100    22000   110000 |    99595    95601    149 |  0.000 % |
542.72/543.06	c |    727668 |    1100    22000   110000 |    99595    95736    149 |  0.000 % |
542.92/543.20	c |    727814 |    1100    22000   110000 |    99595    95882    149 |  0.000 % |
543.02/543.35	c |    727975 |    1100    22000   110000 |    99595    96043    149 |  0.000 % |
543.22/543.50	c |    728151 |    1100    22000   110000 |    99595    96219    149 |  0.000 % |
543.32/543.68	c |    728346 |    1100    22000   110000 |    99595    96414    149 |  0.000 % |
543.52/543.87	c |    728559 |    1100    22000   110000 |    99595    96627    149 |  0.000 % |
543.72/544.09	c |    728793 |    1100    22000   110000 |    99595    96861    149 |  0.000 % |
544.02/544.32	c |    729049 |    1100    22000   110000 |    99595    97117    149 |  0.000 % |
544.22/544.60	c |    729331 |    1100    22000   110000 |    99595    97399    149 |  0.000 % |
544.52/544.88	c |    729640 |    1100    22000   110000 |    99595    97708    149 |  0.000 % |
544.82/545.17	c |    729979 |    1100    22000   110000 |    99595    98047    149 |  0.000 % |
545.12/545.49	c |    730352 |    1100    22000   110000 |    98070    98420    149 |  0.000 % |
545.52/545.87	c |    730763 |    1100    22000   110000 |    98070    86725    149 |  0.000 % |
545.92/546.21	c |    731212 |    1100    22000   110000 |    98070    87174    149 |  0.000 % |
546.22/546.57	c |    731708 |    1100    22000   110000 |    98070    87670    149 |  0.000 % |
546.72/547.00	c |    732251 |    1100    22000   110000 |    98070    88213    149 |  0.000 % |
547.12/547.44	c |    732847 |    1100    22000   110000 |    98070    88809    149 |  0.000 % |
547.62/547.92	c |    733502 |    1100    22000   110000 |    98070    89464    149 |  0.000 % |
548.22/548.53	c |    734223 |    1100    22000   110000 |    98070    90185    149 |  0.000 % |
548.81/549.16	c |    735016 |    1100    22000   110000 |    98070    90978    149 |  0.000 % |
549.62/549.90	c |    735887 |    1100    22000   110000 |    98070    91849    149 |  0.000 % |
550.31/550.64	c |    736847 |    1100    22000   110000 |    98070    92809    150 |  0.000 % |
551.22/551.53	c |    737900 |    1100    22000   110000 |    98070    93862    149 |  0.000 % |
552.11/552.45	c |    739060 |    1100    22000   110000 |    98070    95022    149 |  0.000 % |
553.21/553.51	c |    740334 |    1100    22000   110000 |    95962    96296    149 |  0.000 % |
554.31/554.67	c |    741734 |    1100    22000   110000 |    95962    86764    149 |  0.000 % |
555.41/555.77	c |    743278 |    1100    22000   110000 |    95962    88308    149 |  0.000 % |
556.71/557.07	c |    744972 |    1100    22000   110000 |    95962    90002    149 |  0.000 % |
558.11/558.40	c |    746835 |    1100    22000   110000 |    95962    91865    149 |  0.000 % |
559.62/559.92	c |    748884 |    1100    22000   110000 |    95962    93914    149 |  0.000 % |
561.41/561.70	c |    751138 |    1100    22000   110000 | 2147483647    96168    149 |  0.000 % |
563.41/563.74	c |    753616 |    1100    22000   110000 | 2147483647    98646    148 |  0.000 % |
565.81/566.13	c |    756345 |    1100    22000   110000 | 2147483647   101375    148 |  0.000 % |
568.31/568.70	c |    759342 |    1100    22000   110000 | 2147483647   104372    148 |  0.000 % |
571.22/571.50	c |    762638 |    1100    22000   110000 |   105031    94290    149 |  0.000 % |
573.92/574.27	c |    766264 |    1100    22000   110000 |   105031    97916    149 |  0.000 % |
577.12/577.47	c |    770252 |    1100    22000   110000 |   101652   101904    149 |  0.000 % |
580.52/580.88	c |    774637 |    1100    22000   110000 |   101652    93477    150 |  0.000 % |
584.41/584.72	c |    779461 |    1100    22000   110000 |   101652    98301    150 |  0.000 % |
588.51/588.81	c |    784766 |    1100    22000   110000 |    98840    92505    150 |  0.000 % |
593.21/593.56	c |    790603 |    1100    22000   110000 |    97739    88114    149 |  0.000 % |
598.11/598.48	c |    797021 |    1100    22000   110000 |    97739    94532    149 |  0.000 % |
603.51/603.81	c |    804080 |    1100    22000   110000 |    97511    90751    149 |  0.000 % |
603.51/603.89	c |    804181 |    1100    22000   110000 |    97511    90852    149 |  0.000 % |
603.61/603.98	c |    804291 |    1100    22000   110000 |    97511    90962    149 |  0.000 % |
603.70/604.08	c |    804413 |    1100    22000   110000 |    97511    91084    149 |  0.000 % |
603.80/604.19	c |    804546 |    1100    22000   110000 |    97511    91217    149 |  0.000 % |
604.00/604.33	c |    804692 |    1100    22000   110000 |    97511    91363    149 |  0.000 % |
604.10/604.46	c |    804852 |    1100    22000   110000 |    97511    91523    149 |  0.000 % |
604.30/604.61	c |    805028 |    1100    22000   110000 |    97511    91699    149 |  0.000 % |
604.50/604.80	c |    805221 |    1100    22000   110000 |    97511    91892    149 |  0.000 % |
604.61/604.97	c |    805433 |    1100    22000   110000 |    97511    92104    149 |  0.000 % |
604.80/605.17	c |    805666 |    1100    22000   110000 |    97511    92337    149 |  0.000 % |
605.00/605.37	c |    805923 |    1100    22000   110000 |    97511    92594    149 |  0.000 % |
605.20/605.59	c |    806205 |    1100    22000   110000 |    97511    92876    149 |  0.000 % |
605.50/605.85	c |    806514 |    1100    22000   110000 |    97511    93185    149 |  0.000 % |
605.80/606.15	c |    806855 |    1100    22000   110000 |    97511    93526    149 |  0.000 % |
606.10/606.49	c |    807230 |    1100    22000   110000 |    97511    93901    149 |  0.000 % |
606.50/606.83	c |    807640 |    1100    22000   110000 |    97511    94311    149 |  0.000 % |
606.80/607.18	c |    808089 |    1100    22000   110000 |    97511    94760    149 |  0.000 % |
607.30/607.63	c |    808582 |    1100    22000   110000 |    97511    95253    148 |  0.000 % |
607.80/608.15	c |    809126 |    1100    22000   110000 |    97511    95797    148 |  0.000 % |
608.30/608.67	c |    809722 |    1100    22000   110000 |    97511    96393    148 |  0.000 % |
608.90/609.28	c |    810377 |    1100    22000   110000 |    96671    85393    147 |  0.000 % |
609.50/609.82	c |    811097 |    1100    22000   110000 |    96671    86113    147 |  0.000 % |
610.10/610.41	c |    811894 |    1100    22000   110000 |    96671    86910    147 |  0.000 % |
610.70/611.04	c |    812765 |    1100    22000   110000 |    96671    87781    147 |  0.000 % |
611.40/611.75	c |    813725 |    1100    22000   110000 |    96671    88741    147 |  0.000 % |
612.20/612.55	c |    814779 |    1100    22000   110000 |    96671    89795    147 |  0.000 % |
613.10/613.45	c |    815938 |    1100    22000   110000 |    96671    90954    147 |  0.000 % |
614.10/614.48	c |    817213 |    1100    22000   110000 |    96671    92229    147 |  0.000 % |
615.19/615.54	c |    818613 |    1100    22000   110000 |    96671    93629    147 |  0.000 % |
616.29/616.68	c |    820154 |    1100    22000   110000 |    95016    95170    147 |  0.000 % |
617.59/617.99	c |    821848 |    1100    22000   110000 |    95016    87157    147 |  0.000 % |
618.90/619.22	c |    823712 |    1100    22000   110000 |    95016    89021    147 |  0.000 % |
620.39/620.74	c |    825762 |    1100    22000   110000 |    95016    91071    147 |  0.000 % |
621.99/622.37	c |    828015 |    1100    22000   110000 |    95016    93324    147 |  0.000 % |
623.99/624.40	c |    830493 |    1100    22000   110000 | 2147483647    95802    147 |  0.000 % |
626.29/626.66	c |    833219 |    1100    22000   110000 | 2147483647    98528    147 |  0.000 % |
628.69/629.06	c |    836216 |    1100    22000   110000 | 2147483647   101525    147 |  0.000 % |
631.49/631.81	c |    839513 |    1100    22000   110000 | 2147483647   104822    147 |  0.000 % |
634.19/634.60	c |    843141 |    1100    22000   110000 |   105309    94525    147 |  0.000 % |
637.09/637.48	c |    847129 |    1100    22000   110000 |   105309    98513    147 |  0.000 % |
640.39/640.78	c |    851515 |    1100    22000   110000 |   101384    91218    148 |  0.000 % |
644.08/644.41	c |    856338 |    1100    22000   110000 |   101384    96041    148 |  0.000 % |
648.18/648.56	c |    861643 |    1100    22000   110000 |    99705    89713    149 |  0.000 % |
652.58/652.96	c |    867479 |    1100    22000   110000 |    99705    95549    149 |  0.000 % |
657.68/658.02	c |    873897 |    1100    22000   110000 |    98070    91015    149 |  0.000 % |
663.08/663.49	c |    880956 |    1100    22000   110000 |    97120    87613    149 |  0.000 % |
669.08/669.48	c |    888720 |    1100    22000   110000 |    97120    95377    150 |  0.000 % |
669.18/669.57	c |    888821 |    1100    22000   110000 |    97120    95478    150 |  0.000 % |
669.28/669.67	c |    888932 |    1100    22000   110000 |    97120    95589    150 |  0.000 % |
669.38/669.79	c |    889053 |    1100    22000   110000 |    97120    95710    150 |  0.000 % |
669.58/669.94	c |    889189 |    1100    22000   110000 |    97120    95846    150 |  0.000 % |
669.68/670.09	c |    889337 |    1100    22000   110000 |    97120    95994    150 |  0.000 % |
669.88/670.23	c |    889497 |    1100    22000   110000 |    97120    96154    150 |  0.000 % |
669.98/670.38	c |    889673 |    1100    22000   110000 |    97120    96330    150 |  0.000 % |
670.18/670.55	c |    889867 |    1100    22000   110000 |    97120    96524    150 |  0.000 % |
670.38/670.74	c |    890080 |    1100    22000   110000 |    96658    96737    150 |  0.000 % |
670.68/671.04	c |    890315 |    1100    22000   110000 |    96658    87055    149 |  0.000 % |
670.88/671.26	c |    890571 |    1100    22000   110000 |    96658    87311    149 |  0.000 % |
671.08/671.49	c |    890852 |    1100    22000   110000 |    96658    87592    149 |  0.000 % |
671.38/671.76	c |    891164 |    1100    22000   110000 |    96658    87904    149 |  0.000 % |
671.68/672.02	c |    891504 |    1100    22000   110000 |    96658    88244    149 |  0.000 % |
671.97/672.35	c |    891877 |    1100    22000   110000 |    96658    88617    149 |  0.000 % |
672.37/672.70	c |    892286 |    1100    22000   110000 |    96658    89026    149 |  0.000 % |
672.67/673.07	c |    892735 |    1100    22000   110000 |    96658    89475    149 |  0.000 % |
673.07/673.40	c |    893228 |    1100    22000   110000 |    96658    89968    149 |  0.000 % |
673.47/673.80	c |    893771 |    1100    22000   110000 |    96658    90511    149 |  0.000 % |
673.88/674.25	c |    894368 |    1100    22000   110000 |    96658    91108    149 |  0.000 % |
674.37/674.77	c |    895023 |    1100    22000   110000 |    96658    91763    149 |  0.000 % |
674.98/675.39	c |    895743 |    1100    22000   110000 |    96658    92483    149 |  0.000 % |
675.67/676.01	c |    896535 |    1100    22000   110000 |    96658    93275    148 |  0.000 % |
676.37/676.72	c |    897406 |    1100    22000   110000 |    96658    94146    148 |  0.000 % |
677.07/677.46	c |    898366 |    1100    22000   110000 |    96658    95106    148 |  0.000 % |
677.97/678.31	c |    899419 |    1100    22000   110000 |    96658    96159    148 |  0.000 % |
678.87/679.25	c |    900578 |    1100    22000   110000 |    96740    86705    150 |  0.000 % |
679.87/680.25	c |    901851 |    1100    22000   110000 |    96740    87978    150 |  0.000 % |
680.97/681.31	c |    903252 |    1100    22000   110000 |    96740    89379    150 |  0.000 % |
682.07/682.47	c |    904792 |    1100    22000   110000 |    96740    90919    150 |  0.000 % |
683.47/683.82	c |    906486 |    1100    22000   110000 |    96740    92613    150 |  0.000 % |
684.87/685.21	c |    908349 |    1100    22000   110000 |    96740    94476    150 |  0.000 % |
686.47/686.83	c |    910398 |    1100    22000   110000 | 2147483647    96525    150 |  0.000 % |
688.07/688.48	c |    912654 |    1100    22000   110000 | 2147483647    98781    149 |  0.000 % |
690.07/690.47	c |    915132 |    1100    22000   110000 | 2147483647   101259    149 |  0.000 % |
692.27/692.69	c |    917858 |    1100    22000   110000 | 2147483647   103985    149 |  0.000 % |
694.87/695.20	c |    920855 |    1100    22000   110000 |   106127    93875    150 |  0.000 % |
697.36/697.71	c |    924153 |    1100    22000   110000 |   106127    97173    151 |  0.000 % |
700.16/700.55	c |    927778 |    1100    22000   110000 |   106127   100798    150 |  0.000 % |
703.36/703.73	c |    931765 |    1100    22000   110000 |   103020    93333    151 |  0.000 % |
706.66/707.04	c |    936150 |    1100    22000   110000 |   103020    97718    151 |  0.000 % |
710.56/711.00	c |    940975 |    1100    22000   110000 |   101570    91545    151 |  0.000 % |
714.86/715.25	c |    946280 |    1100    22000   110000 |   101570    96850    151 |  0.000 % |
719.76/720.19	c |    952115 |    1100    22000   110000 |   100570    90858    150 |  0.000 % |
724.85/725.25	c |    958535 |    1100    22000   110000 |   100570    97278    150 |  0.000 % |
730.06/730.49	c |    965595 |    1100    22000   110000 |    98745    92966    150 |  0.000 % |
735.85/736.29	c |    973359 |    1100    22000   110000 |    97371    89314    150 |  0.000 % |
742.15/742.57	c |    981901 |    1100    22000   110000 |    95955    86897    151 |  0.000 % |
742.25/742.64	c |    982001 |    1100    22000   110000 |    95955    86997    151 |  0.000 % |
742.35/742.75	c |    982114 |    1100    22000   110000 |    95955    87110    150 |  0.000 % |
742.45/742.84	c |    982235 |    1100    22000   110000 |    95955    87231    150 |  0.000 % |
742.55/742.96	c |    982369 |    1100    22000   110000 |    95955    87365    150 |  0.000 % |
742.65/743.08	c |    982516 |    1100    22000   110000 |    95955    87512    150 |  0.000 % |
742.85/743.24	c |    982677 |    1100    22000   110000 |    95955    87673    150 |  0.000 % |
743.05/743.40	c |    982853 |    1100    22000   110000 |    95955    87849    150 |  0.000 % |
743.15/743.56	c |    983046 |    1100    22000   110000 |    95955    88042    150 |  0.000 % |
743.35/743.76	c |    983259 |    1100    22000   110000 |    95955    88255    150 |  0.000 % |
743.55/743.96	c |    983492 |    1100    22000   110000 |    95955    88488    150 |  0.000 % |
743.85/744.20	c |    983748 |    1100    22000   110000 |    95955    88744    150 |  0.000 % |
744.05/744.43	c |    984029 |    1100    22000   110000 |    95955    89025    150 |  0.000 % |
744.35/744.72	c |    984339 |    1100    22000   110000 |    95955    89335    150 |  0.000 % |
744.65/745.02	c |    984678 |    1100    22000   110000 |    95955    89674    150 |  0.000 % |
744.95/745.31	c |    985051 |    1100    22000   110000 |    95955    90047    150 |  0.000 % |
745.25/745.65	c |    985461 |    1100    22000   110000 |    95955    90457    150 |  0.000 % |
745.65/746.02	c |    985910 |    1100    22000   110000 |    95955    90906    150 |  0.000 % |
745.95/746.38	c |    986403 |    1100    22000   110000 |    95955    91399    150 |  0.000 % |
746.35/746.77	c |    986946 |    1100    22000   110000 |    95955    91942    150 |  0.000 % |
746.85/747.22	c |    987543 |    1100    22000   110000 |    95955    92539    150 |  0.000 % |
747.35/747.78	c |    988201 |    1100    22000   110000 |    95955    93197    149 |  0.000 % |
747.95/748.33	c |    988922 |    1100    22000   110000 |    95955    93918    149 |  0.000 % |
748.54/748.94	c |    989715 |    1100    22000   110000 |    95955    94711    149 |  0.000 % |
749.34/749.70	c |    990586 |    1100    22000   110000 |    94996    84558    149 |  0.000 % |
750.04/750.48	c |    991544 |    1100    22000   110000 |    94996    85516    149 |  0.000 % |
750.95/751.31	c |    992599 |    1100    22000   110000 |    94996    86571    149 |  0.000 % |
751.84/752.25	c |    993757 |    1100    22000   110000 |    94996    87729    149 |  0.000 % |
752.74/753.19	c |    995031 |    1100    22000   110000 |    94996    89003    149 |  0.000 % |
753.84/754.21	c |    996432 |    1100    22000   110000 |    94996    90404    149 |  0.000 % |
754.94/755.36	c |    997972 |    1100    22000   110000 |    94996    91944    149 |  0.000 % |
756.24/756.64	c |    999666 |    1100    22000   110000 |    94996    93638    149 |  0.000 % |
757.74/758.13	c |   1001529 |    1100    22000   110000 |    93973    85858    149 |  0.000 % |
759.14/759.60	c |   1003578 |    1100    22000   110000 |    93973    87907    149 |  0.000 % |
760.94/761.33	c |   1005831 |    1100    22000   110000 |    93973    90160    149 |  0.000 % |
762.94/763.30	c |   1008310 |    1100    22000   110000 |    93973    92639    149 |  0.000 % |
765.04/765.49	c |   1011035 |    1100    22000   110000 |    94330    85803    148 |  0.000 % |
767.34/767.72	c |   1014032 |    1100    22000   110000 |    94330    88800    148 |  0.000 % |
769.74/770.19	c |   1017328 |    1100    22000   110000 |    94330    92096    148 |  0.000 % |
772.64/773.09	c |   1020954 |    1100    22000   110000 |    84849    77235    148 |  0.000 % |
775.24/775.69	c |   1024941 |    1100    22000   110000 |    84849    81222    148 |  0.000 % |
778.44/778.88	c |   1029326 |    1100    22000   110000 |    84849    77086    148 |  0.000 % |
781.94/782.38	c |   1034151 |    1100    22000   110000 | 2147483647    81911    148 |  0.000 % |
785.83/786.27	c |   1039456 |    1100    22000   110000 | 2147483647    87216    148 |  0.000 % |
790.43/790.83	c |   1045292 |    1100    22000   110000 | 2147483647    93052    149 |  0.000 % |
796.03/796.41	c |   1051711 |    1100    22000   110000 | 2147483647    99471    149 |  0.000 % |
802.33/802.72	c |   1058770 |    1100    22000   110000 | 2147483647   106530    149 |  0.000 % |
808.93/809.33	c |   1066534 |    1100    22000   110000 |   107760   100398    148 |  0.000 % |
815.83/816.21	c |   1075075 |    1100    22000   110000 |   103866    95204    147 |  0.000 % |
822.93/823.37	c |   1084469 |    1100    22000   110000 |   100129    91464    150 |  0.000 % |
823.03/823.46	c |   1084569 |    1100    22000   110000 |   100129    91564    150 |  0.000 % |
823.13/823.56	c |   1084680 |    1100    22000   110000 |   100129    91675    150 |  0.000 % |
823.23/823.69	c |   1084802 |    1100    22000   110000 |   100129    91797    150 |  0.000 % |
823.43/823.81	c |   1084936 |    1100    22000   110000 |   100129    91931    150 |  0.000 % |
823.53/823.96	c |   1085083 |    1100    22000   110000 |   100129    92078    150 |  0.000 % |
823.73/824.13	c |   1085248 |    1100    22000   110000 |   100129    92243    150 |  0.000 % |
823.93/824.31	c |   1085425 |    1100    22000   110000 |   100129    92420    150 |  0.000 % |
824.03/824.47	c |   1085618 |    1100    22000   110000 |   100129    92613    150 |  0.000 % |
824.23/824.63	c |   1085830 |    1100    22000   110000 |   100129    92825    150 |  0.000 % |
824.43/824.83	c |   1086063 |    1100    22000   110000 |   100129    93058    150 |  0.000 % |
824.63/825.08	c |   1086321 |    1100    22000   110000 |   100129    93316    150 |  0.000 % |
824.93/825.33	c |   1086602 |    1100    22000   110000 |   100129    93597    150 |  0.000 % |
825.13/825.59	c |   1086912 |    1100    22000   110000 |   100129    93907    150 |  0.000 % |
825.43/825.88	c |   1087251 |    1100    22000   110000 |   100129    94246    149 |  0.000 % |
825.83/826.21	c |   1087624 |    1100    22000   110000 |   100129    94619    149 |  0.000 % |
826.13/826.54	c |   1088033 |    1100    22000   110000 |   100129    95028    149 |  0.000 % |
826.53/826.98	c |   1088482 |    1100    22000   110000 |   100129    95477    149 |  0.000 % |
826.93/827.40	c |   1088976 |    1100    22000   110000 |   100129    95971    149 |  0.000 % |
827.43/827.83	c |   1089518 |    1100    22000   110000 |   100129    96513    149 |  0.000 % |
827.93/828.36	c |   1090115 |    1100    22000   110000 |    96995    97110    149 |  0.000 % |
828.52/828.97	c |   1090773 |    1100    22000   110000 |    96995    85576    150 |  0.000 % |
829.12/829.52	c |   1091494 |    1100    22000   110000 |    96995    86297    150 |  0.000 % |
829.72/830.10	c |   1092286 |    1100    22000   110000 |    96995    87089    149 |  0.000 % |
830.32/830.74	c |   1093158 |    1100    22000   110000 |    96995    87961    149 |  0.000 % |
831.02/831.50	c |   1094118 |    1100    22000   110000 |    96995    88921    149 |  0.000 % |
831.82/832.29	c |   1095172 |    1100    22000   110000 |    96995    89975    149 |  0.000 % |
832.72/833.15	c |   1096331 |    1100    22000   110000 |    96995    91134    149 |  0.000 % |
833.72/834.14	c |   1097608 |    1100    22000   110000 |    96995    92411    149 |  0.000 % |
834.92/835.32	c |   1099008 |    1100    22000   110000 |    96995    93811    149 |  0.000 % |
836.22/836.64	c |   1100548 |    1100    22000   110000 |    94803    85762    150 |  0.000 % |
837.42/837.84	c |   1102244 |    1100    22000   110000 |    94803    87458    150 |  0.000 % |
838.72/839.16	c |   1104108 |    1100    22000   110000 |    94803    89322    150 |  0.000 % |
840.32/840.71	c |   1106157 |    1100    22000   110000 |    94803    91371    150 |  0.000 % |
842.02/842.42	c |   1108410 |    1100    22000   110000 |    94803    93624    150 |  0.000 % |
843.92/844.39	c |   1110888 |    1100    22000   110000 | 2147483647    86584    150 |  0.000 % |
846.02/846.43	c |   1113616 |    1100    22000   110000 | 2147483647    89312    150 |  0.000 % |
848.32/848.72	c |   1116615 |    1100    22000   110000 | 2147483647    92311    150 |  0.000 % |
850.72/851.11	c |   1119915 |    1100    22000   110000 | 2147483647    95611    150 |  0.000 % |
853.52/853.92	c |   1123540 |    1100    22000   110000 | 2147483647    99236    150 |  0.000 % |
856.82/857.21	c |   1127528 |    1100    22000   110000 | 2147483647   103224    150 |  0.000 % |
860.32/860.72	c |   1131913 |    1100    22000   110000 |   105699    94218    150 |  0.000 % |
864.12/864.55	c |   1136736 |    1100    22000   110000 |   105699    99041    149 |  0.000 % |
868.52/868.95	c |   1142041 |    1100    22000   110000 |   102305    91286    148 |  0.000 % |
873.21/873.66	c |   1147878 |    1100    22000   110000 |   102305    97123    148 |  0.000 % |
878.11/878.55	c |   1154297 |    1100    22000   110000 |    99245    91319    149 |  0.000 % |
883.61/884.09	c |   1161356 |    1100    22000   110000 |    97022    87644    149 |  0.000 % |
889.61/890.08	c |   1169122 |    1100    22000   110000 |    97022    95410    149 |  0.000 % |
896.41/896.89	c |   1177664 |    1100    22000   110000 |    96289    93140    149 |  0.000 % |
904.50/904.93	c |   1187058 |    1100    22000   110000 |    95477    92509    151 |  0.000 % |
912.40/912.88	c |   1197393 |    1100    22000   110000 |    95452    92235    153 |  0.000 % |
912.50/912.97	c |   1197493 |    1100    22000   110000 |    95452    92335    153 |  0.000 % |
912.60/913.05	c |   1197605 |    1100    22000   110000 |    95452    92447    153 |  0.000 % |
912.70/913.14	c |   1197726 |    1100    22000   110000 |    95452    92568    153 |  0.000 % |
912.80/913.27	c |   1197861 |    1100    22000   110000 |    95452    92703    153 |  0.000 % |
912.90/913.39	c |   1198007 |    1100    22000   110000 |    95452    92849    152 |  0.000 % |
913.10/913.56	c |   1198167 |    1100    22000   110000 |    95452    93009    152 |  0.000 % |
913.30/913.73	c |   1198344 |    1100    22000   110000 |    95452    93186    152 |  0.000 % |
913.40/913.89	c |   1198537 |    1100    22000   110000 |    95452    93379    152 |  0.000 % |
913.70/914.10	c |   1198749 |    1100    22000   110000 |    95452    93591    152 |  0.000 % |
913.90/914.31	c |   1198983 |    1100    22000   110000 |    95452    93825    152 |  0.000 % |
914.10/914.52	c |   1199240 |    1100    22000   110000 |    95452    94082    152 |  0.000 % |
914.30/914.74	c |   1199521 |    1100    22000   110000 |    95452    94363    152 |  0.000 % |
914.60/915.04	c |   1199835 |    1100    22000   110000 |    95452    94677    152 |  0.000 % |
914.90/915.33	c |   1200174 |    1100    22000   110000 |    94844    95016    152 |  0.000 % |
915.20/915.69	c |   1200547 |    1100    22000   110000 |    94844    84238    152 |  0.000 % |
915.60/916.03	c |   1200960 |    1100    22000   110000 |    94844    84651    152 |  0.000 % |
916.00/916.40	c |   1201411 |    1100    22000   110000 |    94844    85102    152 |  0.000 % |
916.40/916.81	c |   1201905 |    1100    22000   110000 |    94844    85596    152 |  0.000 % |
916.80/917.25	c |   1202448 |    1100    22000   110000 |    94844    86139    152 |  0.000 % |
917.30/917.75	c |   1203044 |    1100    22000   110000 |    94844    86735    152 |  0.000 % |
917.80/918.29	c |   1203701 |    1100    22000   110000 |    94844    87392    152 |  0.000 % |
918.40/918.90	c |   1204422 |    1100    22000   110000 |    94844    88113    152 |  0.000 % |
919.10/919.51	c |   1205216 |    1100    22000   110000 |    94844    88907    152 |  0.000 % |
919.70/920.13	c |   1206087 |    1100    22000   110000 |    94844    89778    151 |  0.000 % |
920.50/920.97	c |   1207046 |    1100    22000   110000 |    94844    90737    151 |  0.000 % |
921.30/921.79	c |   1208099 |    1100    22000   110000 |    94844    91790    151 |  0.000 % |
922.30/922.78	c |   1209257 |    1100    22000   110000 |    94844    92948    151 |  0.000 % |
923.50/923.96	c |   1210531 |    1100    22000   110000 |    93693    84300    151 |  0.000 % |
924.60/925.07	c |   1211938 |    1100    22000   110000 |    93693    85707    151 |  0.000 % |
925.80/926.22	c |   1213478 |    1100    22000   110000 |    93693    87247    151 |  0.000 % |
927.00/927.42	c |   1215174 |    1100    22000   110000 |    93693    88943    151 |  0.000 % |
928.30/928.73	c |   1217037 |    1100    22000   110000 |    93693    90806    151 |  0.000 % |
930.00/930.42	c |   1219090 |    1100    22000   110000 |    93693    92859    151 |  0.000 % |
931.70/932.16	c |   1221343 |    1100    22000   110000 | 2147483647    95112    151 |  0.000 % |
933.69/934.16	c |   1223830 |    1100    22000   110000 | 2147483647    97599    150 |  0.000 % |
935.99/936.42	c |   1226556 |    1100    22000   110000 | 2147483647   100325    150 |  0.000 % |
938.49/938.94	c |   1229553 |    1100    22000   110000 | 2147483647   103322    150 |  0.000 % |
941.20/941.61	c |   1232849 |    1100    22000   110000 |   103770    93308    151 |  0.000 % |
944.19/944.64	c |   1236474 |    1100    22000   110000 |   103770    96933    150 |  0.000 % |
947.69/948.10	c |   1240461 |    1100    22000   110000 |   100459    87799    150 |  0.000 % |
951.19/951.63	c |   1244848 |    1100    22000   110000 |   100459    92186    150 |  0.000 % |
954.99/955.47	c |   1249671 |    1100    22000   110000 |   100459    97009    151 |  0.000 % |
959.19/959.66	c |   1254976 |    1100    22000   110000 |    97340    90847    150 |  0.000 % |
963.68/964.17	c |   1260812 |    1100    22000   110000 |    95872    86047    149 |  0.000 % |
968.88/969.32	c |   1267231 |    1100    22000   110000 |    95872    92466    150 |  0.000 % |
974.68/975.18	c |   1274290 |    1100    22000   110000 | 2147483647    99525    150 |  0.000 % |
981.38/981.81	c |   1282054 |    1100    22000   110000 |   105237    94022    150 |  0.000 % |
988.58/989.09	c |   1290596 |    1100    22000   110000 |   101968    88239    149 |  0.000 % |
995.67/996.19	c |   1299990 |    1100    22000   110000 |   101968    97633    149 |  0.000 % |
1004.07/1004.59	c |   1310324 |    1100    22000   110000 |    95218    95542    151 |  0.000 % |
1013.17/1013.63	c |   1321690 |    1100    22000   110000 |    94488    86185    153 |  0.000 % |
1013.27/1013.71	c |   1321790 |    1100    22000   110000 |    94488    86285    153 |  0.000 % |
1013.27/1013.80	c |   1321901 |    1100    22000   110000 |    94488    86396    153 |  0.000 % |
1013.37/1013.89	c |   1322022 |    1100    22000   110000 |    94488    86517    153 |  0.000 % |
1013.57/1014.04	c |   1322155 |    1100    22000   110000 |    94488    86650    153 |  0.000 % |
1013.67/1014.19	c |   1322301 |    1100    22000   110000 |    94488    86796    153 |  0.000 % |
1013.87/1014.32	c |   1322461 |    1100    22000   110000 |    94488    86956    153 |  0.000 % |
1013.97/1014.46	c |   1322638 |    1100    22000   110000 |    94488    87133    153 |  0.000 % |
1014.17/1014.62	c |   1322833 |    1100    22000   110000 |    94488    87328    152 |  0.000 % |
1014.27/1014.78	c |   1323046 |    1100    22000   110000 |    94488    87541    152 |  0.000 % |
1014.57/1015.00	c |   1323279 |    1100    22000   110000 |    94488    87774    152 |  0.000 % |
1014.77/1015.21	c |   1323539 |    1100    22000   110000 |    94488    88034    152 |  0.000 % |
1014.97/1015.46	c |   1323820 |    1100    22000   110000 |    94488    88315    152 |  0.000 % |
1015.27/1015.70	c |   1324129 |    1100    22000   110000 |    94488    88624    152 |  0.000 % |
1015.47/1015.96	c |   1324472 |    1100    22000   110000 |    94488    88967    152 |  0.000 % |
1015.77/1016.27	c |   1324844 |    1100    22000   110000 |    94488    89339    152 |  0.000 % |
1016.07/1016.59	c |   1325253 |    1100    22000   110000 |    94488    89748    152 |  0.000 % |
1016.47/1016.98	c |   1325708 |    1100    22000   110000 |    94488    90203    152 |  0.000 % |
1016.87/1017.37	c |   1326202 |    1100    22000   110000 |    94488    90697    152 |  0.000 % |
1017.27/1017.76	c |   1326746 |    1100    22000   110000 |    94488    91241    152 |  0.000 % |
1017.77/1018.22	c |   1327342 |    1100    22000   110000 |    94488    91837    152 |  0.000 % |
1018.27/1018.75	c |   1327997 |    1100    22000   110000 |    94488    92492    152 |  0.000 % |
1018.87/1019.32	c |   1328717 |    1100    22000   110000 |    94488    93212    152 |  0.000 % |
1019.47/1019.97	c |   1329509 |    1100    22000   110000 |    94488    94004    152 |  0.000 % |
1020.27/1020.74	c |   1330380 |    1100    22000   110000 |    94495    94875    151 |  0.000 % |
1021.07/1021.57	c |   1331338 |    1100    22000   110000 |    94495    85250    151 |  0.000 % |
1021.87/1022.33	c |   1332392 |    1100    22000   110000 |    94495    86304    151 |  0.000 % |
1022.67/1023.16	c |   1333550 |    1100    22000   110000 |    94495    87462    151 |  0.000 % |
1023.67/1024.16	c |   1334823 |    1100    22000   110000 |    94495    88735    151 |  0.000 % |
1024.87/1025.32	c |   1336225 |    1100    22000   110000 |    94495    90137    151 |  0.000 % |
1025.97/1026.47	c |   1337766 |    1100    22000   110000 |    94495    91678    151 |  0.000 % |
1027.26/1027.72	c |   1339460 |    1100    22000   110000 |    94495    93372    150 |  0.000 % |
1028.66/1029.11	c |   1341325 |    1100    22000   110000 |    93912    85172    150 |  0.000 % |
1030.07/1030.50	c |   1343375 |    1100    22000   110000 |    93912    87222    150 |  0.000 % |
1031.56/1032.09	c |   1345628 |    1100    22000   110000 |    93912    89475    150 |  0.000 % |
1033.47/1033.95	c |   1348106 |    1100    22000   110000 |    93912    91953    150 |  0.000 % |
1035.56/1036.03	c |   1350831 |    1100    22000   110000 | 2147483647    94678    150 |  0.000 % |
1037.76/1038.28	c |   1353828 |    1100    22000   110000 | 2147483647    97675    150 |  0.000 % |
1040.66/1041.16	c |   1357126 |    1100    22000   110000 | 2147483647   100973    150 |  0.000 % |
1043.76/1044.29	c |   1360752 |    1100    22000   110000 |   103848    92612    149 |  0.000 % |
1046.86/1047.35	c |   1364739 |    1100    22000   110000 |   103848    96599    149 |  0.000 % |
1050.46/1051.00	c |   1369124 |    1100    22000   110000 |   103848   100984    149 |  0.000 % |
1054.46/1054.94	c |   1373948 |    1100    22000   110000 |   101861    93305    149 |  0.000 % |
1058.66/1059.15	c |   1379255 |    1100    22000   110000 |   101861    98612    149 |  0.000 % |
1063.36/1063.81	c |   1385091 |    1100    22000   110000 |    99360    93434    149 |  0.000 % |
1068.25/1068.78	c |   1391510 |    1100    22000   110000 |    98345    88596    148 |  0.000 % |
1073.85/1074.37	c |   1398569 |    1100    22000   110000 |    98345    95655    148 |  0.000 % |
1079.85/1080.35	c |   1406333 |    1100    22000   110000 |    97086    92526    147 |  0.000 % |
1086.45/1086.98	c |   1414874 |    1100    22000   110000 |    96194    90910    149 |  0.000 % |
1094.25/1094.78	c |   1424272 |    1100    22000   110000 | 2147483647   100308    149 |  0.000 % |
1103.54/1104.07	c |   1434607 |    1100    22000   110000 |   106038    96086    151 |  0.000 % |
1113.64/1114.12	c |   1445974 |    1100    22000   110000 |   101480    93211    152 |  0.000 % |
1124.14/1124.66	c |   1458476 |    1100    22000   110000 |    97238    93252    153 |  0.000 % |
1124.24/1124.77	c |   1458576 |    1100    22000   110000 |    97238    93352    153 |  0.000 % |
1124.34/1124.88	c |   1458687 |    1100    22000   110000 |    97238    93463    153 |  0.000 % |
1124.44/1124.98	c |   1458808 |    1100    22000   110000 |    97238    93584    153 |  0.000 % |
1124.64/1125.10	c |   1458942 |    1100    22000   110000 |    97238    93718    153 |  0.000 % |
1124.74/1125.23	c |   1459088 |    1100    22000   110000 |    97238    93864    153 |  0.000 % |
1124.94/1125.40	c |   1459249 |    1100    22000   110000 |    97238    94025    153 |  0.000 % |
1125.04/1125.56	c |   1459427 |    1100    22000   110000 |    97238    94203    152 |  0.000 % |
1125.24/1125.74	c |   1459621 |    1100    22000   110000 |    97238    94397    152 |  0.000 % |
1125.44/1125.93	c |   1459835 |    1100    22000   110000 |    97238    94611    152 |  0.000 % |
1125.64/1126.14	c |   1460068 |    1100    22000   110000 |    94776    94844    152 |  0.000 % |
1125.94/1126.45	c |   1460326 |    1100    22000   110000 |    94776    83682    152 |  0.000 % |
1126.14/1126.66	c |   1460607 |    1100    22000   110000 |    94776    83963    152 |  0.000 % |
1126.44/1126.91	c |   1460918 |    1100    22000   110000 |    94776    84274    152 |  0.000 % |
1126.64/1127.17	c |   1461257 |    1100    22000   110000 |    94776    84613    152 |  0.000 % |
1126.94/1127.47	c |   1461630 |    1100    22000   110000 |    94776    84986    152 |  0.000 % |
1127.23/1127.78	c |   1462040 |    1100    22000   110000 |    94776    85396    152 |  0.000 % |
1127.63/1128.18	c |   1462489 |    1100    22000   110000 |    94776    85845    152 |  0.000 % |
1128.14/1128.63	c |   1462983 |    1100    22000   110000 |    94776    86339    152 |  0.000 % |
1128.53/1129.06	c |   1463525 |    1100    22000   110000 |    94776    86881    152 |  0.000 % |
1129.03/1129.52	c |   1464121 |    1100    22000   110000 |    94776    87477    152 |  0.000 % |
1129.53/1130.03	c |   1464776 |    1100    22000   110000 |    94776    88132    152 |  0.000 % |
1130.03/1130.57	c |   1465496 |    1100    22000   110000 |    94776    88852    152 |  0.000 % |
1130.63/1131.16	c |   1466288 |    1100    22000   110000 |    94776    89644    152 |  0.000 % |
1131.34/1131.83	c |   1467159 |    1100    22000   110000 |    94776    90515    152 |  0.000 % |
1132.13/1132.61	c |   1468118 |    1100    22000   110000 |    94776    91474    152 |  0.000 % |
1132.93/1133.41	c |   1469172 |    1100    22000   110000 |    94776    92528    151 |  0.000 % |
1133.73/1134.27	c |   1470330 |    1100    22000   110000 |    93356    93686    151 |  0.000 % |
1134.74/1135.27	c |   1471604 |    1100    22000   110000 |    93356    85384    152 |  0.000 % |
1135.74/1136.21	c |   1473004 |    1100    22000   110000 |    93356    86784    152 |  0.000 % |
1136.84/1137.40	c |   1474545 |    1100    22000   110000 |    93356    88325    151 |  0.000 % |
1138.23/1138.72	c |   1476239 |    1100    22000   110000 |    93356    90019    152 |  0.000 % |
1139.53/1140.09	c |   1478102 |    1100    22000   110000 |    93356    91882    151 |  0.000 % |
1141.24/1141.75	c |   1480151 |    1100    22000   110000 | 2147483647    84558    151 |  0.000 % |
1142.83/1143.36	c |   1482405 |    1100    22000   110000 | 2147483647    86812    151 |  0.000 % |
1144.73/1145.26	c |   1484883 |    1100    22000   110000 | 2147483647    89290    151 |  0.000 % |
1146.73/1147.25	c |   1487608 |    1100    22000   110000 | 2147483647    92015    151 |  0.000 % |
1148.93/1149.43	c |   1490605 |    1100    22000   110000 | 2147483647    95012    150 |  0.000 % |
1151.43/1151.97	c |   1493901 |    1100    22000   110000 | 2147483647    98308    150 |  0.000 % |
1154.23/1154.78	c |   1497526 |    1100    22000   110000 | 2147483647   101933    150 |  0.000 % |
1157.63/1158.16	c |   1501515 |    1100    22000   110000 |   104407    93437    149 |  0.000 % |
1161.03/1161.56	c |   1505900 |    1100    22000   110000 |   104407    97822    149 |  0.000 % |
1165.22/1165.70	c |   1510723 |    1100    22000   110000 |   101923    89699    148 |  0.000 % |
1169.12/1169.62	c |   1516029 |    1100    22000   110000 |   101923    95005    148 |  0.000 % |
1173.62/1174.18	c |   1521865 |    1100    22000   110000 |    98976    89956    147 |  0.000 % |
1178.62/1179.12	c |   1528283 |    1100    22000   110000 |    98976    96374    148 |  0.000 % |
1184.22/1184.75	c |   1535342 |    1100    22000   110000 | 2147483647   103433    148 |  0.000 % |
1191.01/1191.57	c |   1543108 |    1100    22000   110000 |   108092    96540    148 |  0.000 % |
1197.91/1198.48	c |   1551649 |    1100    22000   110000 |   103433    92555    148 |  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-1832491-1242773932/watcher-1832491-1242773932 -o /tmp/evaluation-result-1832491-1242773932/solver-1832491-1242773932 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832491-1242773932.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31555
/proc/meminfo: memFree=1869816/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305422337 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31555/statm: 1339 235 195 169 0 50 0
[pid=31556] ppid=31555 vsize=5356 CPUtime=0
/proc/31556/stat : 31556 (SatELiteGTI) S 31555 31555 31324 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305422337 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/31556/statm: 1339 238 198 169 0 50 0
[pid=31558] ppid=31556 vsize=192 CPUtime=0
/proc/31558/stat : 31558 (sed) R 31556 31555 31324 0 -1 4194304 42 0 0 0 0 0 0 0 21 0 1 0 305422338 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 270184543509 0 0 4096 0 0 0 0 17 0 0 0
/proc/31558/statm: 48 23 16 11 0 11 0

[startup+0.009767 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31555
/proc/meminfo: memFree=1869816/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305422337 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31555/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101779 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31555
/proc/meminfo: memFree=1869816/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301802 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31555
/proc/meminfo: memFree=1869816/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701848 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31555
/proc/meminfo: memFree=1869816/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50193 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31561
/proc/meminfo: memFree=1863336/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=7348 CPUtime=1.41
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 1597 0 0 0 140 1 0 0 25 0 1 0 305422345 7524352 1583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 1837 1583 77 171 0 1664 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12704

[startup+3.10212 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31561
/proc/meminfo: memFree=1861096/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=11704 CPUtime=3
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 2712 0 0 0 299 1 0 0 25 0 1 0 305422345 11984896 2698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 2926 2698 77 171 0 2753 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 17060

[startup+6.30148 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31561
/proc/meminfo: memFree=1852904/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=18664 CPUtime=6.2
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 4442 0 0 0 618 2 0 0 25 0 1 0 305422345 19111936 4428 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 4666 4428 77 171 0 4493 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 24020

[startup+12.7022 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31561
/proc/meminfo: memFree=1842344/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=28512 CPUtime=12.6
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 6890 0 0 0 1256 4 0 0 25 0 1 0 305422345 29196288 6876 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 7128 6876 77 171 0 6955 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 33868

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31561
/proc/meminfo: memFree=1827496/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=42624 CPUtime=25.39
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 10411 0 0 0 2530 9 0 0 25 0 1 0 305422345 43646976 10397 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 10656 10397 77 171 0 10483 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 47980

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31561
/proc/meminfo: memFree=1811048/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=58776 CPUtime=50.99
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 14440 0 0 0 5085 14 0 0 25 0 1 0 305422345 60186624 14426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 14694 14426 77 171 0 14521 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 64132

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31561
/proc/meminfo: memFree=1810152/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=59568 CPUtime=102.16
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 14637 0 0 0 10202 14 0 0 25 0 1 0 305422345 60997632 14623 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 14892 14623 77 171 0 14719 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 64924

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1801832/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=67752 CPUtime=162.12
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 16674 0 0 0 16195 17 0 0 25 0 1 0 305422345 69378048 16660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528757 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 16938 16660 77 171 0 16765 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 73108

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1801768/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=67752 CPUtime=222.09
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 16674 0 0 0 22192 17 0 0 25 0 1 0 305422345 69378048 16660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528724 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 16938 16660 77 171 0 16765 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 73108

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1801384/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=68016 CPUtime=282.07
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 16741 0 0 0 28190 17 0 0 25 0 1 0 305422345 69648384 16727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 17004 16727 77 171 0 16831 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 73372

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1800488/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=68808 CPUtime=342.05
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 16947 0 0 0 34187 18 0 0 25 0 1 0 305422345 70459392 16933 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 17202 16933 77 171 0 17029 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 74164

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1798888/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=70260 CPUtime=402.03

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

/proc/31561/statm: 17732 17455 77 171 0 17559 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 76284

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1797864/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=70928 CPUtime=641.94
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 17498 0 0 0 64175 19 0 0 25 0 1 0 305422345 72630272 17455 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 17732 17455 77 171 0 17559 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 76284

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1796136/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=72512 CPUtime=701.91
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 17903 0 0 0 70172 19 0 0 25 0 1 0 305422345 74252288 17860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18128 17860 77 171 0 17955 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 77868

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1796072/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=72512 CPUtime=761.89
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 17903 0 0 0 76170 19 0 0 25 0 1 0 305422345 74252288 17860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18128 17860 77 171 0 17955 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 77868

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1794792/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=73660 CPUtime=821.88
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 18191 0 0 0 82168 20 0 0 25 0 1 0 305422345 75427840 18148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18415 18148 77 171 0 18242 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 79016

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1794664/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=73660 CPUtime=881.86
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 18191 0 0 0 88166 20 0 0 25 0 1 0 305422345 75427840 18148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18415 18148 77 171 0 18242 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 79016

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1794600/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=73660 CPUtime=941.84
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 18191 0 0 0 94164 20 0 0 25 0 1 0 305422345 75427840 18148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528936 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18415 18148 77 171 0 18242 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 79016

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1794472/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=73660 CPUtime=1001.82
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 18191 0 0 0 100162 20 0 0 25 0 1 0 305422345 75427840 18148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18415 18148 77 171 0 18242 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 79016

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1794536/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=73276 CPUtime=1061.81
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 18191 0 0 0 106161 20 0 0 25 0 1 0 305422345 75034624 18065 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18319 18065 77 171 0 18146 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 78632

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1794344/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=73672 CPUtime=1121.79
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 18262 0 0 0 112159 20 0 0 25 0 1 0 305422345 75440128 18136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18418 18136 77 171 0 18245 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 79028

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1794280/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=73648 CPUtime=1181.77
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 18262 0 0 0 118157 20 0 0 25 0 1 0 305422345 75415552 18136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18412 18136 77 171 0 18239 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 79004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1793448/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=74440 CPUtime=1199.96
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 18467 0 0 0 119976 20 0 0 25 0 1 0 305422345 76226560 18341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18610 18341 77 171 0 18437 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 79796

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31567
/proc/meminfo: memFree=1793448/2055920 swapFree=4180328/4192956
[pid=31555] ppid=31553 vsize=5356 CPUtime=0.05
/proc/31555/stat : 31555 (SatELiteGTI) S 31553 31555 31324 0 -1 4194304 336 824 0 0 0 0 5 0 16 0 1 0 305422337 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31555/statm: 1339 239 197 169 0 50 0
[pid=31561] ppid=31555 vsize=74440 CPUtime=1199.96
/proc/31561/stat : 31561 (minisat_static) R 31555 31555 31324 0 -1 4194304 18467 0 0 0 119976 20 0 0 25 0 1 0 305422345 76226560 18341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31561/statm: 18610 18341 77 171 0 18437 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 79796

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.01
CPU user time (s): 1199.81
CPU system time (s): 0.2
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 79796

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

runsolver used 1.16782 second user time and 3.31849 second system time

The end

Launcher Data

Begin job on node88 at 2009-05-20 00:58:52
IDJOB=1832491
IDBENCH=70209
IDSOLVER=671
FILE ID=node88/1832491-1242773932
PBS_JOBID= 9322216
Free space on /tmp= 66144 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1100/unif-k5-r20-v1100-c22000-S882603971-022.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832491-1242773932/watcher-1832491-1242773932 -o /tmp/evaluation-result-1832491-1242773932/solver-1832491-1242773932 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832491-1242773932.cnf

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

MD5SUM BENCH= 8c169219b64992954a6c6431ec472521
RANDOM SEED=1314373910

node88.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1870304 kB
Buffers:         17768 kB
Cached:         131868 kB
SwapCached:       6832 kB
Active:          31340 kB
Inactive:       127128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870304 kB
SwapTotal:     4192956 kB
SwapFree:      4180328 kB
Dirty:            2104 kB
Writeback:           0 kB
Mapped:          13960 kB
Slab:            13096 kB
Committed_AS:   845772 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66140 MiB
End job on node88 at 2009-05-20 01:18:55