Trace number 1832489

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
MD5SUM487c5503612c9b61998004f60168456d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of 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.07	c This is MiniSat 2.0 beta
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Number of variables:  1100                                                 |
0.00/0.07	c |  Number of clauses:    22000                                                |
0.00/0.09	c |  Parsing time:         0.01         s                                       |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |    1100    22000   110000 |     7333        0    nan |  0.000 % |
0.04/0.11	c |       102 |    1100    22000   110000 |     7333      102    122 |  0.000 % |
0.04/0.12	c |       202 |    1100    22000   110000 |     7333      202    122 |  0.000 % |
0.04/0.13	c |       304 |    1100    22000   110000 |     7333      304    121 |  0.000 % |
0.04/0.15	c |       414 |    1100    22000   110000 |     7333      414    125 |  0.000 % |
0.04/0.16	c |       515 |    1100    22000   110000 |     7333      515    129 |  0.000 % |
0.04/0.17	c |       627 |    1100    22000   110000 |     7333      627    127 |  0.000 % |
0.04/0.19	c |       748 |    1100    22000   110000 |     7333      748    127 |  0.000 % |
0.04/0.20	c |       848 |    1100    22000   110000 |     7333      848    126 |  0.000 % |
0.04/0.21	c |       958 |    1100    22000   110000 |     7333      958    123 |  0.000 % |
0.04/0.23	c |      1083 |    1100    22000   110000 |     7333     1083    123 |  0.000 % |
0.04/0.24	c |      1216 |    1100    22000   110000 |     7333     1216    123 |  0.000 % |
0.04/0.25	c |      1317 |    1100    22000   110000 |     7333     1317    123 |  0.000 % |
0.04/0.27	c |      1428 |    1100    22000   110000 |     7333     1428    124 |  0.000 % |
0.04/0.28	c |      1550 |    1100    22000   110000 |     7333     1550    123 |  0.000 % |
0.04/0.30	c |      1685 |    1100    22000   110000 |     7333     1685    122 |  0.000 % |
0.04/0.32	c |      1833 |    1100    22000   110000 |     7333     1833    122 |  0.000 % |
0.04/0.33	c |      1934 |    1100    22000   110000 |     7333     1934    123 |  0.000 % |
0.04/0.35	c |      2045 |    1100    22000   110000 |     7333     2045    124 |  0.000 % |
0.04/0.36	c |      2166 |    1100    22000   110000 |     7333     2166    124 |  0.000 % |
0.04/0.38	c |      2299 |    1100    22000   110000 |     7333     2299    124 |  0.000 % |
0.04/0.40	c |      2445 |    1100    22000   110000 |     7333     2445    124 |  0.000 % |
0.04/0.42	c |      2606 |    1100    22000   110000 |     7333     2606    124 |  0.000 % |
0.04/0.43	c |      2708 |    1100    22000   110000 |     7333     2708    125 |  0.000 % |
0.04/0.45	c |      2819 |    1100    22000   110000 |     7333     2819    125 |  0.000 % |
0.04/0.46	c |      2940 |    1100    22000   110000 |     7333     2940    124 |  0.000 % |
0.04/0.48	c |      3074 |    1100    22000   110000 |     7333     3074    124 |  0.000 % |
0.04/0.50	c |      3221 |    1100    22000   110000 |     7333     3221    125 |  0.000 % |
0.04/0.52	c |      3381 |    1100    22000   110000 |     7333     3381    125 |  0.000 % |
0.04/0.54	c |      3558 |    1100    22000   110000 |     7333     3558    126 |  0.000 % |
0.04/0.56	c |      3659 |    1100    22000   110000 |     7333     3659    126 |  0.000 % |
0.04/0.57	c |      3769 |    1100    22000   110000 |     7333     3769    126 |  0.000 % |
0.04/0.59	c |      3893 |    1100    22000   110000 |     7333     3893    126 |  0.000 % |
0.04/0.61	c |      4026 |    1100    22000   110000 |     7333     4026    126 |  0.000 % |
0.04/0.63	c |      4172 |    1100    22000   110000 |     7333     4172    127 |  0.000 % |
0.04/0.65	c |      4334 |    1100    22000   110000 |     7333     4334    128 |  0.000 % |
0.04/0.68	c |      4513 |    1100    22000   110000 |     7333     4513    127 |  0.000 % |
0.04/0.70	c |      4706 |    1100    22000   110000 |     7333     4706    127 |  0.000 % |
0.04/0.72	c |      4807 |    1100    22000   110000 |     7333     4807    127 |  0.000 % |
0.04/0.74	c |      4918 |    1100    22000   110000 |     7333     4918    128 |  0.000 % |
0.04/0.75	c |      5039 |    1100    22000   110000 |     7333     5039    128 |  0.000 % |
0.04/0.77	c |      5172 |    1100    22000   110000 |     7333     5172    128 |  0.000 % |
0.04/0.79	c |      5319 |    1100    22000   110000 |     7333     5319    128 |  0.000 % |
0.04/0.82	c |      5481 |    1100    22000   110000 |     7333     5481    128 |  0.000 % |
0.04/0.84	c |      5657 |    1100    22000   110000 |     7333     5657    128 |  0.000 % |
0.04/0.87	c |      5851 |    1100    22000   110000 |     7333     5851    127 |  0.000 % |
0.04/0.90	c |      6064 |    1100    22000   110000 |     7333     6064    128 |  0.000 % |
0.04/0.92	c |      6164 |    1100    22000   110000 |     7333     6164    128 |  0.000 % |
0.04/0.94	c |      6274 |    1100    22000   110000 |     7333     6274    127 |  0.000 % |
0.04/0.95	c |      6395 |    1100    22000   110000 |     7333     6395    127 |  0.000 % |
0.04/0.97	c |      6530 |    1100    22000   110000 |     7333     6530    127 |  0.000 % |
0.04/1.00	c |      6676 |    1100    22000   110000 |     7333     6676    127 |  0.000 % |
0.96/1.03	c |      6836 |    1100    22000   110000 |     7333     6836    127 |  0.000 % |
0.96/1.05	c |      7012 |    1100    22000   110000 |     7333     7012    127 |  0.000 % |
0.96/1.08	c |      7206 |    1100    22000   110000 |     7333     7206    128 |  0.000 % |
1.06/1.12	c |      7421 |    1100    22000   110000 |     7333     7421    128 |  0.000 % |
1.06/1.15	c |      7655 |    1100    22000   110000 |     7333     6913    127 |  0.000 % |
1.06/1.17	c |      7755 |    1100    22000   110000 |     7333     7013    127 |  0.000 % |
1.06/1.19	c |      7867 |    1100    22000   110000 |     7333     7125    127 |  0.000 % |
1.15/1.20	c |      7989 |    1100    22000   110000 |     7333     7247    127 |  0.000 % |
1.15/1.23	c |      8123 |    1100    22000   110000 |     7333     7381    128 |  0.000 % |
1.15/1.25	c |      8269 |    1100    22000   110000 |     7333     6789    128 |  0.000 % |
1.15/1.28	c |      8431 |    1100    22000   110000 |     7333     6951    128 |  0.000 % |
1.25/1.30	c |      8607 |    1100    22000   110000 |     7333     7127    128 |  0.000 % |
1.25/1.33	c |      8800 |    1100    22000   110000 |     7333     7320    129 |  0.000 % |
1.25/1.36	c |      9013 |    1100    22000   110000 |     7333     7533    129 |  0.000 % |
1.35/1.40	c |      9247 |    1100    22000   110000 |     7333     7014    129 |  0.000 % |
1.35/1.44	c |      9504 |    1100    22000   110000 |     7333     7271    129 |  0.000 % |
1.35/1.46	c |      9604 |    1100    22000   110000 |     7333     7371    129 |  0.000 % |
1.35/1.48	c |      9714 |    1100    22000   110000 |     7333     6744    130 |  0.000 % |
1.45/1.50	c |      9836 |    1100    22000   110000 |     7333     6866    130 |  0.000 % |
1.45/1.52	c |      9969 |    1100    22000   110000 |     7333     6999    130 |  0.000 % |
1.45/1.54	c |     10115 |    1100    22000   110000 | 2147483647     7145    130 |  0.000 % |
1.45/1.57	c |     10275 |    1100    22000   110000 | 2147483647     7305    131 |  0.000 % |
1.45/1.60	c |     10451 |    1100    22000   110000 | 2147483647     7481    131 |  0.000 % |
1.55/1.63	c |     10644 |    1100    22000   110000 | 2147483647     7674    131 |  0.000 % |
1.55/1.66	c |     10856 |    1100    22000   110000 | 2147483647     7886    131 |  0.000 % |
1.65/1.70	c |     11091 |    1100    22000   110000 | 2147483647     8121    131 |  0.000 % |
1.65/1.74	c |     11347 |    1100    22000   110000 | 2147483647     8377    131 |  0.000 % |
1.65/1.79	c |     11628 |    1100    22000   110000 | 2147483647     8658    131 |  0.000 % |
1.75/1.80	c |     11730 |    1100    22000   110000 | 2147483647     8760    131 |  0.000 % |
1.75/1.82	c |     11841 |    1100    22000   110000 | 2147483647     8871    131 |  0.000 % |
1.75/1.84	c |     11963 |    1100    22000   110000 | 2147483647     8993    131 |  0.000 % |
1.75/1.86	c |     12096 |    1100    22000   110000 | 2147483647     9126    131 |  0.000 % |
1.75/1.89	c |     12247 |    1100    22000   110000 | 2147483647     9277    131 |  0.000 % |
1.85/1.92	c |     12408 |    1100    22000   110000 | 2147483647     9438    131 |  0.000 % |
1.85/1.95	c |     12586 |    1100    22000   110000 | 2147483647     9616    131 |  0.000 % |
1.85/1.98	c |     12780 |    1100    22000   110000 | 2147483647     9810    131 |  0.000 % |
1.95/2.02	c |     12992 |    1100    22000   110000 | 2147483647    10022    131 |  0.000 % |
1.95/2.06	c |     13225 |    1100    22000   110000 | 2147483647    10255    131 |  0.000 % |
2.05/2.10	c |     13481 |    1100    22000   110000 | 2147483647    10511    131 |  0.000 % |
2.05/2.15	c |     13764 |    1100    22000   110000 | 2147483647    10794    131 |  0.000 % |
2.15/2.20	c |     14073 |    1100    22000   110000 | 2147483647    11103    131 |  0.000 % |
2.15/2.22	c |     14174 |    1100    22000   110000 | 2147483647    11204    131 |  0.000 % |
2.15/2.24	c |     14284 |    1100    22000   110000 | 2147483647    11314    131 |  0.000 % |
2.15/2.27	c |     14406 |    1100    22000   110000 | 2147483647    11436    132 |  0.000 % |
2.15/2.29	c |     14541 |    1100    22000   110000 | 2147483647    11571    131 |  0.000 % |
2.25/2.32	c |     14687 |    1100    22000   110000 | 2147483647    11717    131 |  0.000 % |
2.25/2.35	c |     14847 |    1100    22000   110000 | 2147483647    11877    131 |  0.000 % |
2.25/2.38	c |     15024 |    1100    22000   110000 | 2147483647    12054    131 |  0.000 % |
2.35/2.42	c |     15218 |    1100    22000   110000 | 2147483647    12248    131 |  0.000 % |
2.35/2.46	c |     15430 |    1100    22000   110000 | 2147483647    12460    131 |  0.000 % |
2.45/2.50	c |     15664 |    1100    22000   110000 | 2147483647    12694    131 |  0.000 % |
2.45/2.55	c |     15920 |    1100    22000   110000 | 2147483647    12950    131 |  0.000 % |
2.55/2.60	c |     16201 |    1100    22000   110000 | 2147483647    13231    131 |  0.000 % |
2.55/2.66	c |     16510 |    1100    22000   110000 | 2147483647    13540    131 |  0.000 % |
2.65/2.73	c |     16849 |    1100    22000   110000 | 2147483647    13879    131 |  0.000 % |
2.65/2.75	c |     16949 |    1100    22000   110000 | 2147483647    13979    131 |  0.000 % |
2.65/2.77	c |     17061 |    1100    22000   110000 | 2147483647    14091    131 |  0.000 % |
2.65/2.80	c |     17182 |    1100    22000   110000 | 2147483647    14212    131 |  0.000 % |
2.75/2.82	c |     17318 |    1100    22000   110000 | 2147483647    14348    131 |  0.000 % |
2.75/2.85	c |     17465 |    1100    22000   110000 | 2147483647    14495    131 |  0.000 % |
2.75/2.89	c |     17625 |    1100    22000   110000 | 2147483647    14655    131 |  0.000 % |
2.84/2.92	c |     17802 |    1100    22000   110000 | 2147483647    14832    131 |  0.000 % |
2.84/2.96	c |     17996 |    1100    22000   110000 | 2147483647    15026    131 |  0.000 % |
2.94/3.01	c |     18208 |    1100    22000   110000 | 2147483647    15238    131 |  0.000 % |
2.94/3.05	c |     18441 |    1100    22000   110000 | 2147483647    15471    131 |  0.000 % |
3.04/3.10	c |     18697 |    1100    22000   110000 | 2147483647    15727    131 |  0.000 % |
3.04/3.16	c |     18978 |    1100    22000   110000 | 2147483647    16008    131 |  0.000 % |
3.15/3.22	c |     19287 |    1100    22000   110000 | 2147483647    16317    131 |  0.000 % |
3.25/3.30	c |     19626 |    1100    22000   110000 | 2147483647    16656    131 |  0.000 % |
3.25/3.38	c |     19998 |    1100    22000   110000 | 2147483647    17028    132 |  0.000 % |
3.34/3.40	c |     20101 |    1100    22000   110000 | 2147483647    17131    132 |  0.000 % |
3.34/3.43	c |     20212 |    1100    22000   110000 | 2147483647    17242    132 |  0.000 % |
3.34/3.46	c |     20337 |    1100    22000   110000 | 2147483647    17367    132 |  0.000 % |
3.34/3.49	c |     20472 |    1100    22000   110000 | 2147483647    17502    132 |  0.000 % |
3.45/3.53	c |     20619 |    1100    22000   110000 | 2147483647    17649    132 |  0.000 % |
3.45/3.57	c |     20780 |    1100    22000   110000 | 2147483647    17810    132 |  0.000 % |
3.55/3.61	c |     20958 |    1100    22000   110000 | 2147483647    17988    132 |  0.000 % |
3.55/3.65	c |     21151 |    1100    22000   110000 | 2147483647    18181    132 |  0.000 % |
3.55/3.70	c |     21363 |    1100    22000   110000 | 2147483647    18393    132 |  0.000 % |
3.65/3.75	c |     21599 |    1100    22000   110000 | 2147483647    18629    132 |  0.000 % |
3.75/3.81	c |     21855 |    1100    22000   110000 | 2147483647    18885    132 |  0.000 % |
3.75/3.88	c |     22138 |    1100    22000   110000 | 2147483647    19168    132 |  0.000 % |
3.85/3.95	c |     22448 |    1100    22000   110000 | 2147483647    19478    132 |  0.000 % |
3.95/4.04	c |     22787 |    1100    22000   110000 | 2147483647    19817    132 |  0.000 % |
4.05/4.12	c |     23162 |    1100    22000   110000 | 2147483647    20192    132 |  0.000 % |
4.15/4.22	c |     23572 |    1100    22000   110000 | 2147483647    20602    132 |  0.000 % |
4.15/4.25	c |     23673 |    1100    22000   110000 | 2147483647    20703    132 |  0.000 % |
4.15/4.29	c |     23784 |    1100    22000   110000 | 2147483647    20814    132 |  0.000 % |
4.25/4.32	c |     23905 |    1100    22000   110000 | 2147483647    20935    132 |  0.000 % |
4.25/4.36	c |     24039 |    1100    22000   110000 | 2147483647    21069    132 |  0.000 % |
4.25/4.40	c |     24185 |    1100    22000   110000 | 2147483647    21215    131 |  0.000 % |
4.35/4.44	c |     24346 |    1100    22000   110000 | 2147483647    21376    132 |  0.000 % |
4.35/4.49	c |     24525 |    1100    22000   110000 | 2147483647    21555    131 |  0.000 % |
4.45/4.54	c |     24718 |    1100    22000   110000 | 2147483647    21748    131 |  0.000 % |
4.55/4.60	c |     24930 |    1100    22000   110000 | 2147483647    21960    131 |  0.000 % |
4.55/4.66	c |     25163 |    1100    22000   110000 | 2147483647    22193    131 |  0.000 % |
4.65/4.73	c |     25422 |    1100    22000   110000 | 2147483647    22452    131 |  0.000 % |
4.75/4.80	c |     25703 |    1100    22000   110000 | 2147483647    22733    131 |  0.000 % |
4.75/4.88	c |     26012 |    1100    22000   110000 | 2147483647    23042    132 |  0.000 % |
4.85/4.97	c |     26352 |    1100    22000   110000 | 2147483647    23382    132 |  0.000 % |
4.95/5.07	c |     26724 |    1100    22000   110000 | 2147483647    23754    132 |  0.000 % |
5.05/5.18	c |     27133 |    1100    22000   110000 | 2147483647    24163    132 |  0.000 % |
5.25/5.30	c |     27582 |    1100    22000   110000 | 2147483647    24612    132 |  0.000 % |
5.25/5.33	c |     27682 |    1100    22000   110000 | 2147483647    24712    132 |  0.000 % |
5.25/5.37	c |     27794 |    1100    22000   110000 | 2147483647    24824    132 |  0.000 % |
5.35/5.40	c |     27917 |    1100    22000   110000 | 2147483647    24947    132 |  0.000 % |
5.35/5.45	c |     28051 |    1100    22000   110000 | 2147483647    25081    132 |  0.000 % |
5.35/5.49	c |     28197 |    1100    22000   110000 | 2147483647    25227    132 |  0.000 % |
5.45/5.54	c |     28357 |    1100    22000   110000 | 2147483647    25387    132 |  0.000 % |
5.45/5.59	c |     28533 |    1100    22000   110000 | 2147483647    25563    131 |  0.000 % |
5.55/5.66	c |     28726 |    1100    22000   110000 | 2147483647    25756    131 |  0.000 % |
5.65/5.72	c |     28938 |    1100    22000   110000 | 2147483647    25968    132 |  0.000 % |
5.65/5.78	c |     29172 |    1100    22000   110000 | 2147483647    26202    132 |  0.000 % |
5.74/5.86	c |     29429 |    1100    22000   110000 | 2147483647    26459    132 |  0.000 % |
5.84/5.94	c |     29710 |    1100    22000   110000 | 2147483647    26740    132 |  0.000 % |
5.95/6.04	c |     30020 |    1100    22000   110000 | 2147483647    27050    132 |  0.000 % |
6.05/6.14	c |     30359 |    1100    22000   110000 | 2147483647    27389    132 |  0.000 % |
6.15/6.26	c |     30734 |    1100    22000   110000 | 2147483647    27764    132 |  0.000 % |
6.25/6.38	c |     31144 |    1100    22000   110000 | 2147483647    28174    132 |  0.000 % |
6.45/6.51	c |     31593 |    1100    22000   110000 | 2147483647    28623    133 |  0.000 % |
6.55/6.67	c |     32086 |    1100    22000   110000 | 2147483647    29116    133 |  0.000 % |
6.65/6.71	c |     32186 |    1100    22000   110000 | 2147483647    29216    133 |  0.000 % |
6.65/6.74	c |     32296 |    1100    22000   110000 | 2147483647    29326    133 |  0.000 % |
6.65/6.78	c |     32417 |    1100    22000   110000 | 2147483647    29447    133 |  0.000 % |
6.75/6.83	c |     32550 |    1100    22000   110000 | 2147483647    29580    132 |  0.000 % |
6.75/6.89	c |     32697 |    1100    22000   110000 | 2147483647    29727    132 |  0.000 % |
6.85/6.94	c |     32857 |    1100    22000   110000 | 2147483647    29887    132 |  0.000 % |
6.95/7.00	c |     33034 |    1100    22000   110000 | 2147483647    30064    132 |  0.000 % |
6.95/7.07	c |     33229 |    1100    22000   110000 | 2147483647    30259    132 |  0.000 % |
7.05/7.14	c |     33442 |    1100    22000   110000 | 2147483647    30472    132 |  0.000 % |
7.15/7.22	c |     33675 |    1100    22000   110000 | 2147483647    30705    132 |  0.000 % |
7.25/7.30	c |     33932 |    1100    22000   110000 | 2147483647    30962    132 |  0.000 % |
7.25/7.39	c |     34213 |    1100    22000   110000 | 2147483647    31243    133 |  0.000 % |
7.35/7.49	c |     34523 |    1100    22000   110000 | 2147483647    31553    133 |  0.000 % |
7.55/7.62	c |     34863 |    1100    22000   110000 | 2147483647    31893    133 |  0.000 % |
7.65/7.75	c |     35235 |    1100    22000   110000 | 2147483647    32265    133 |  0.000 % |
7.74/7.88	c |     35644 |    1100    22000   110000 | 2147483647    32674    133 |  0.000 % |
7.94/8.04	c |     36094 |    1100    22000   110000 | 2147483647    33124    133 |  0.000 % |
8.14/8.20	c |     36587 |    1100    22000   110000 | 2147483647    33617    133 |  0.000 % |
8.24/8.39	c |     37129 |    1100    22000   110000 | 2147483647    34159    133 |  0.000 % |
8.35/8.43	c |     37229 |    1100    22000   110000 | 2147483647    34259    133 |  0.000 % |
8.35/8.46	c |     37339 |    1100    22000   110000 | 2147483647    34369    133 |  0.000 % |
8.45/8.50	c |     37460 |    1100    22000   110000 | 2147483647    34490    133 |  0.000 % |
8.45/8.55	c |     37593 |    1100    22000   110000 | 2147483647    34623    133 |  0.000 % |
8.55/8.62	c |     37742 |    1100    22000   110000 | 2147483647    34772    133 |  0.000 % |
8.55/8.68	c |     37902 |    1100    22000   110000 | 2147483647    34932    133 |  0.000 % |
8.65/8.75	c |     38078 |    1100    22000   110000 | 2147483647    35108    133 |  0.000 % |
8.75/8.83	c |     38273 |    1100    22000   110000 | 2147483647    35303    133 |  0.000 % |
8.85/8.91	c |     38486 |    1100    22000   110000 | 2147483647    35516    133 |  0.000 % |
8.95/9.00	c |     38721 |    1100    22000   110000 | 2147483647    35751    133 |  0.000 % |
9.05/9.10	c |     38978 |    1100    22000   110000 | 2147483647    36008    133 |  0.000 % |
9.15/9.20	c |     39260 |    1100    22000   110000 | 2147483647    36290    133 |  0.000 % |
9.25/9.31	c |     39569 |    1100    22000   110000 | 2147483647    36599    133 |  0.000 % |
9.35/9.45	c |     39908 |    1100    22000   110000 | 2147483647    36938    133 |  0.000 % |
9.45/9.59	c |     40281 |    1100    22000   110000 | 2147483647    37311    133 |  0.000 % |
9.64/9.76	c |     40692 |    1100    22000   110000 | 2147483647    37722    133 |  0.000 % |
9.85/9.94	c |     41143 |    1100    22000   110000 | 2147483647    38173    133 |  0.000 % |
10.04/10.12	c |     41637 |    1100    22000   110000 | 2147483647    38667    133 |  0.000 % |
10.25/10.31	c |     42180 |    1100    22000   110000 | 2147483647    39210    133 |  0.000 % |
10.45/10.54	c |     42778 |    1100    22000   110000 | 2147483647    39808    133 |  0.000 % |
10.45/10.58	c |     42879 |    1100    22000   110000 | 2147483647    39909    133 |  0.000 % |
10.55/10.62	c |     42989 |    1100    22000   110000 | 2147483647    40019    133 |  0.000 % |
10.55/10.67	c |     43110 |    1100    22000   110000 | 2147483647    40140    133 |  0.000 % |
10.65/10.73	c |     43243 |    1100    22000   110000 | 2147483647    40273    133 |  0.000 % |
10.65/10.78	c |     43389 |    1100    22000   110000 | 2147483647    40419    133 |  0.000 % |
10.75/10.85	c |     43550 |    1100    22000   110000 | 2147483647    40580    133 |  0.000 % |
10.85/10.95	c |     43728 |    1100    22000   110000 | 2147483647    40758    133 |  0.000 % |
10.95/11.02	c |     43922 |    1100    22000   110000 | 2147483647    40952    133 |  0.000 % |
11.05/11.11	c |     44139 |    1100    22000   110000 | 2147483647    41169    133 |  0.000 % |
11.05/11.20	c |     44374 |    1100    22000   110000 | 2147483647    41404    133 |  0.000 % |
11.25/11.31	c |     44631 |    1100    22000   110000 | 2147483647    41661    133 |  0.000 % |
11.35/11.41	c |     44912 |    1100    22000   110000 | 2147483647    41942    133 |  0.000 % |
11.45/11.52	c |     45221 |    1100    22000   110000 | 2147483647    42251    133 |  0.000 % |
11.55/11.66	c |     45561 |    1100    22000   110000 | 2147483647    42591    133 |  0.000 % |
11.75/11.82	c |     45935 |    1100    22000   110000 | 2147483647    42965    133 |  0.000 % |
11.85/11.98	c |     46345 |    1100    22000   110000 | 2147483647    43375    134 |  0.000 % |
12.05/12.16	c |     46800 |    1100    22000   110000 | 2147483647    43830    134 |  0.000 % |
12.25/12.37	c |     47293 |    1100    22000   110000 | 2147483647    44323    134 |  0.000 % |
12.54/12.61	c |     47836 |    1100    22000   110000 | 2147483647    44866    134 |  0.000 % |
12.74/12.83	c |     48432 |    1100    22000   110000 | 2147483647    45462    134 |  0.000 % |
12.94/13.10	c |     49088 |    1100    22000   110000 | 2147483647    46118    134 |  0.000 % |
13.05/13.16	c |     49189 |    1100    22000   110000 | 2147483647    46219    134 |  0.000 % |
13.15/13.22	c |     49300 |    1100    22000   110000 | 2147483647    46330    134 |  0.000 % |
13.15/13.29	c |     49421 |    1100    22000   110000 | 2147483647    46451    134 |  0.000 % |
13.24/13.35	c |     49554 |    1100    22000   110000 | 2147483647    46584    134 |  0.000 % |
13.34/13.43	c |     49703 |    1100    22000   110000 | 2147483647    46733    134 |  0.000 % |
13.44/13.51	c |     49863 |    1100    22000   110000 | 2147483647    46893    134 |  0.000 % |
13.44/13.58	c |     50039 |    1100    22000   110000 | 2147483647    47069    134 |  0.000 % |
13.54/13.68	c |     50234 |    1100    22000   110000 | 2147483647    47264    134 |  0.000 % |
13.65/13.79	c |     50447 |    1100    22000   110000 | 2147483647    47477    134 |  0.000 % |
13.75/13.90	c |     50681 |    1100    22000   110000 | 2147483647    47711    134 |  0.000 % |
13.95/14.01	c |     50937 |    1100    22000   110000 | 2147483647    47967    134 |  0.000 % |
14.05/14.14	c |     51219 |    1100    22000   110000 | 2147483647    48249    134 |  0.000 % |
14.15/14.28	c |     51528 |    1100    22000   110000 | 2147483647    48558    134 |  0.000 % |
14.34/14.45	c |     51867 |    1100    22000   110000 | 2147483647    48897    134 |  0.000 % |
14.54/14.62	c |     52241 |    1100    22000   110000 | 2147483647    49271    134 |  0.000 % |
14.64/14.79	c |     52651 |    1100    22000   110000 | 2147483647    49681    134 |  0.000 % |
14.94/15.00	c |     53100 |    1100    22000   110000 | 2147483647    50130    134 |  0.000 % |
15.14/15.23	c |     53593 |    1100    22000   110000 | 2147483647    50623    134 |  0.000 % |
15.44/15.50	c |     54138 |    1100    22000   110000 | 2147483647    51168    134 |  0.000 % |
15.65/15.79	c |     54735 |    1100    22000   110000 | 2147483647    51765    134 |  0.000 % |
16.04/16.10	c |     55390 |    1100    22000   110000 | 2147483647    52420    134 |  0.000 % |
16.35/16.43	c |     56110 |    1100    22000   110000 | 2147483647    53140    134 |  0.000 % |
16.35/16.48	c |     56212 |    1100    22000   110000 | 2147483647    53242    134 |  0.000 % |
16.45/16.55	c |     56323 |    1100    22000   110000 | 2147483647    53353    134 |  0.000 % |
16.54/16.62	c |     56445 |    1100    22000   110000 | 2147483647    53475    134 |  0.000 % |
16.54/16.68	c |     56578 |    1100    22000   110000 | 2147483647    53608    134 |  0.000 % |
16.64/16.78	c |     56724 |    1100    22000   110000 | 2147483647    53754    134 |  0.000 % |
16.74/16.87	c |     56887 |    1100    22000   110000 | 2147483647    53917    134 |  0.000 % |
16.84/16.97	c |     57064 |    1100    22000   110000 | 2147483647    54094    134 |  0.000 % |
16.94/17.08	c |     57258 |    1100    22000   110000 | 2147483647    54288    134 |  0.000 % |
17.04/17.19	c |     57471 |    1100    22000   110000 | 2147483647    54501    134 |  0.000 % |
17.24/17.31	c |     57706 |    1100    22000   110000 | 2147483647    54736    134 |  0.000 % |
17.34/17.45	c |     57962 |    1100    22000   110000 | 2147483647    54992    134 |  0.000 % |
17.54/17.60	c |     58243 |    1100    22000   110000 | 2147483647    55273    134 |  0.000 % |
17.64/17.74	c |     58552 |    1100    22000   110000 | 2147483647    55582    134 |  0.000 % |
17.85/17.94	c |     58893 |    1100    22000   110000 | 2147483647    55923    134 |  0.000 % |
18.05/18.14	c |     59269 |    1100    22000   110000 | 2147483647    56299    134 |  0.000 % |
18.25/18.34	c |     59678 |    1100    22000   110000 | 2147483647    56708    134 |  0.000 % |
18.44/18.57	c |     60129 |    1100    22000   110000 | 2147483647    57159    134 |  0.000 % |
18.74/18.82	c |     60624 |    1100    22000   110000 | 2147483647    57654    134 |  0.000 % |
18.94/19.09	c |     61169 |    1100    22000   110000 | 2147483647    58199    134 |  0.000 % |
19.24/19.39	c |     61766 |    1100    22000   110000 | 2147483647    58796    134 |  0.000 % |
19.64/19.72	c |     62421 |    1100    22000   110000 | 2147483647    59451    134 |  0.000 % |
19.94/20.07	c |     63141 |    1100    22000   110000 | 2147483647    60171    134 |  0.000 % |
20.34/20.46	c |     63933 |    1100    22000   110000 | 2147483647    60963    134 |  0.000 % |
20.44/20.52	c |     64034 |    1100    22000   110000 | 2147483647    61064    134 |  0.000 % |
20.54/20.61	c |     64148 |    1100    22000   110000 | 2147483647    61178    134 |  0.000 % |
20.54/20.68	c |     64269 |    1100    22000   110000 | 2147483647    61299    134 |  0.000 % |
20.64/20.76	c |     64403 |    1100    22000   110000 | 2147483647    61433    134 |  0.000 % |
20.74/20.84	c |     64552 |    1100    22000   110000 | 2147483647    61582    134 |  0.000 % |
20.84/20.95	c |     64713 |    1100    22000   110000 | 2147483647    61743    134 |  0.000 % |
20.94/21.07	c |     64893 |    1100    22000   110000 | 2147483647    61923    134 |  0.000 % |
21.04/21.19	c |     65086 |    1100    22000   110000 | 2147483647    62116    134 |  0.000 % |
21.24/21.33	c |     65298 |    1100    22000   110000 | 2147483647    62328    134 |  0.000 % |
21.34/21.47	c |     65531 |    1100    22000   110000 | 2147483647    62561    134 |  0.000 % |
21.54/21.62	c |     65787 |    1100    22000   110000 | 2147483647    62817    134 |  0.000 % |
21.64/21.79	c |     66068 |    1100    22000   110000 | 2147483647    63098    134 |  0.000 % |
21.94/22.00	c |     66377 |    1100    22000   110000 | 2147483647    63407    134 |  0.000 % |
22.14/22.21	c |     66717 |    1100    22000   110000 | 2147483647    63747    134 |  0.000 % |
22.34/22.42	c |     67089 |    1100    22000   110000 | 2147483647    64119    134 |  0.000 % |
22.54/22.66	c |     67499 |    1100    22000   110000 | 2147483647    64529    134 |  0.000 % |
22.84/22.92	c |     67949 |    1100    22000   110000 | 2147483647    64979    134 |  0.000 % |
23.14/23.20	c |     68443 |    1100    22000   110000 | 2147483647    65473    134 |  0.000 % |
23.34/23.48	c |     68987 |    1100    22000   110000 | 2147483647    66017    134 |  0.000 % |
23.74/23.82	c |     69583 |    1100    22000   110000 | 2147483647    66613    134 |  0.000 % |
24.15/24.21	c |     70239 |    1100    22000   110000 | 2147483647    67269    134 |  0.000 % |
24.54/24.63	c |     70960 |    1100    22000   110000 | 2147483647    67990    134 |  0.000 % |
24.94/25.05	c |     71754 |    1100    22000   110000 | 2147483647    68784    134 |  0.000 % |
25.44/25.57	c |     72625 |    1100    22000   110000 | 2147483647    69655    134 |  0.000 % |
25.54/25.64	c |     72727 |    1100    22000   110000 | 2147483647    69757    134 |  0.000 % |
25.64/25.72	c |     72838 |    1100    22000   110000 | 2147483647    69868    134 |  0.000 % |
25.64/25.79	c |     72959 |    1100    22000   110000 | 2147483647    69989    134 |  0.000 % |
25.74/25.87	c |     73093 |    1100    22000   110000 | 2147483647    70123    134 |  0.000 % |
25.84/25.98	c |     73239 |    1100    22000   110000 | 2147483647    70269    134 |  0.000 % |
25.94/26.08	c |     73400 |    1100    22000   110000 | 2147483647    70430    134 |  0.000 % |
26.14/26.20	c |     73577 |    1100    22000   110000 | 2147483647    70607    134 |  0.000 % |
26.24/26.34	c |     73770 |    1100    22000   110000 | 2147483647    70800    134 |  0.000 % |
26.34/26.48	c |     73983 |    1100    22000   110000 | 2147483647    71013    134 |  0.000 % |
26.54/26.62	c |     74216 |    1100    22000   110000 | 2147483647    71246    134 |  0.000 % |
26.64/26.76	c |     74472 |    1100    22000   110000 | 2147483647    71502    134 |  0.000 % |
26.84/26.94	c |     74755 |    1100    22000   110000 | 2147483647    71785    134 |  0.000 % |
27.03/27.13	c |     75065 |    1100    22000   110000 | 2147483647    72095    134 |  0.000 % |
27.24/27.36	c |     75404 |    1100    22000   110000 | 2147483647    72434    134 |  0.000 % |
27.53/27.63	c |     75777 |    1100    22000   110000 | 2147483647    72807    134 |  0.000 % |
27.73/27.89	c |     76189 |    1100    22000   110000 | 2147483647    73219    134 |  0.000 % |
28.04/28.16	c |     76640 |    1100    22000   110000 | 2147483647    73670    134 |  0.000 % |
28.34/28.49	c |     77133 |    1100    22000   110000 | 2147483647    74163    134 |  0.000 % |
28.74/28.80	c |     77675 |    1100    22000   110000 | 2147483647    74705    134 |  0.000 % |
29.14/29.23	c |     78273 |    1100    22000   110000 | 2147483647    75303    134 |  0.000 % |
29.54/29.66	c |     78928 |    1100    22000   110000 | 2147483647    75958    134 |  0.000 % |
30.03/30.12	c |     79649 |    1100    22000   110000 | 2147483647    76679    134 |  0.000 % |
30.54/30.61	c |     80442 |    1100    22000   110000 | 2147483647    77472    135 |  0.000 % |
31.04/31.19	c |     81314 |    1100    22000   110000 | 2147483647    78344    135 |  0.000 % |
31.64/31.78	c |     82272 |    1100    22000   110000 | 2147483647    79302    135 |  0.000 % |
31.74/31.85	c |     82373 |    1100    22000   110000 | 2147483647    79403    135 |  0.000 % |
31.84/31.93	c |     82483 |    1100    22000   110000 | 2147483647    79513    135 |  0.000 % |
31.93/32.03	c |     82605 |    1100    22000   110000 | 2147483647    79635    135 |  0.000 % |
32.03/32.13	c |     82739 |    1100    22000   110000 | 2147483647    79769    135 |  0.000 % |
32.13/32.23	c |     82885 |    1100    22000   110000 | 2147483647    79915    135 |  0.000 % |
32.23/32.35	c |     83045 |    1100    22000   110000 | 2147483647    80075    135 |  0.000 % |
32.33/32.49	c |     83221 |    1100    22000   110000 | 2147483647    80251    135 |  0.000 % |
32.53/32.65	c |     83415 |    1100    22000   110000 | 2147483647    80445    135 |  0.000 % |
32.73/32.82	c |     83627 |    1100    22000   110000 | 2147483647    80657    135 |  0.000 % |
32.84/33.00	c |     83860 |    1100    22000   110000 | 2147483647    80890    135 |  0.000 % |
33.03/33.19	c |     84118 |    1100    22000   110000 | 2147483647    81148    135 |  0.000 % |
33.23/33.38	c |     84401 |    1100    22000   110000 | 2147483647    81431    135 |  0.000 % |
33.53/33.60	c |     84710 |    1100    22000   110000 | 2147483647    81740    135 |  0.000 % |
33.73/33.84	c |     85050 |    1100    22000   110000 | 2147483647    82080    135 |  0.000 % |
34.03/34.16	c |     85422 |    1100    22000   110000 | 2147483647    82452    135 |  0.000 % |
34.33/34.46	c |     85831 |    1100    22000   110000 | 2147483647    82861    135 |  0.000 % |
34.63/34.76	c |     86280 |    1100    22000   110000 | 2147483647    83310    135 |  0.000 % |
35.03/35.11	c |     86773 |    1100    22000   110000 | 2147483647    83803    135 |  0.000 % |
35.42/35.52	c |     87315 |    1100    22000   110000 | 2147483647    84345    135 |  0.000 % |
35.82/35.92	c |     87912 |    1100    22000   110000 | 2147483647    84942    135 |  0.000 % |
36.23/36.40	c |     88567 |    1100    22000   110000 | 2147483647    85597    135 |  0.000 % |
36.82/36.95	c |     89287 |    1100    22000   110000 | 2147483647    86317    135 |  0.000 % |
37.42/37.52	c |     90081 |    1100    22000   110000 | 2147483647    87111    135 |  0.000 % |
38.03/38.18	c |     90955 |    1100    22000   110000 | 2147483647    87985    135 |  0.000 % |
38.73/38.84	c |     91913 |    1100    22000   110000 | 2147483647    88943    135 |  0.000 % |
39.53/39.63	c |     92968 |    1100    22000   110000 | 2147483647    89998    135 |  0.000 % |
39.63/39.71	c |     93069 |    1100    22000   110000 | 2147483647    90099    135 |  0.000 % |
39.73/39.81	c |     93180 |    1100    22000   110000 | 2147483647    90210    135 |  0.000 % |
39.83/39.93	c |     93301 |    1100    22000   110000 | 2147483647    90331    135 |  0.000 % |
39.93/40.04	c |     93436 |    1100    22000   110000 | 2147483647    90466    135 |  0.000 % |
40.03/40.16	c |     93584 |    1100    22000   110000 | 2147483647    90614    135 |  0.000 % |
40.22/40.31	c |     93745 |    1100    22000   110000 | 2147483647    90775    135 |  0.000 % |
40.32/40.46	c |     93922 |    1100    22000   110000 | 2147483647    90952    135 |  0.000 % |
40.53/40.63	c |     94116 |    1100    22000   110000 | 2147483647    91146    135 |  0.000 % |
40.63/40.79	c |     94328 |    1100    22000   110000 | 2147483647    91358    135 |  0.000 % |
40.82/40.98	c |     94563 |    1100    22000   110000 | 2147483647    91593    135 |  0.000 % |
41.12/41.21	c |     94819 |    1100    22000   110000 | 2147483647    91849    135 |  0.000 % |
41.32/41.45	c |     95102 |    1100    22000   110000 | 2147483647    92132    135 |  0.000 % |
41.62/41.71	c |     95411 |    1100    22000   110000 | 2147483647    92441    135 |  0.000 % |
41.92/42.01	c |     95750 |    1100    22000   110000 | 2147483647    92780    135 |  0.000 % |
42.12/42.29	c |     96122 |    1100    22000   110000 | 2147483647    93152    135 |  0.000 % |
42.53/42.61	c |     96531 |    1100    22000   110000 | 2147483647    93561    135 |  0.000 % |
42.93/43.00	c |     96980 |    1100    22000   110000 | 2147483647    94010    135 |  0.000 % |
43.32/43.42	c |     97473 |    1100    22000   110000 | 2147483647    94503    135 |  0.000 % |
43.72/43.87	c |     98017 |    1100    22000   110000 | 2147483647    95047    135 |  0.000 % |
44.22/44.35	c |     98614 |    1100    22000   110000 | 2147483647    95644    135 |  0.000 % |
44.72/44.89	c |     99269 |    1100    22000   110000 | 2147483647    96299    135 |  0.000 % |
45.32/45.49	c |     99990 |    1100    22000   110000 | 2147483647    97020    135 |  0.000 % |
46.02/46.14	c |    100782 |    1100    22000   110000 |    97030    87899    135 |  0.000 % |
46.61/46.75	c |    101653 |    1100    22000   110000 |    97030    88770    136 |  0.000 % |
47.31/47.43	c |    102612 |    1100    22000   110000 |    97030    89729    136 |  0.000 % |
48.01/48.18	c |    103665 |    1100    22000   110000 |    97030    90782    136 |  0.000 % |
48.91/49.04	c |    104823 |    1100    22000   110000 |    97030    91940    136 |  0.000 % |
49.01/49.12	c |    104923 |    1100    22000   110000 |    97030    92040    136 |  0.000 % |
49.11/49.23	c |    105033 |    1100    22000   110000 |    97030    92150    136 |  0.000 % |
49.21/49.37	c |    105154 |    1100    22000   110000 |    97030    92271    136 |  0.000 % |
49.32/49.50	c |    105288 |    1100    22000   110000 |    97030    92405    136 |  0.000 % |
49.51/49.63	c |    105434 |    1100    22000   110000 |    97030    92551    136 |  0.000 % |
49.61/49.76	c |    105594 |    1100    22000   110000 |    97030    92711    136 |  0.000 % |
49.81/49.93	c |    105771 |    1100    22000   110000 |    97030    92888    136 |  0.000 % |
49.91/50.08	c |    105964 |    1100    22000   110000 |    97030    93081    136 |  0.000 % |
50.11/50.28	c |    106176 |    1100    22000   110000 |    97030    93293    136 |  0.000 % |
50.31/50.49	c |    106410 |    1100    22000   110000 |    97030    93527    136 |  0.000 % |
50.61/50.71	c |    106666 |    1100    22000   110000 |    97030    93783    136 |  0.000 % |
50.81/50.93	c |    106947 |    1100    22000   110000 |    97030    94064    136 |  0.000 % |
51.01/51.18	c |    107258 |    1100    22000   110000 |    97030    94375    136 |  0.000 % |
51.31/51.44	c |    107598 |    1100    22000   110000 |    97030    94715    136 |  0.000 % |
51.71/51.80	c |    107970 |    1100    22000   110000 |    97030    95087    136 |  0.000 % |
52.01/52.14	c |    108381 |    1100    22000   110000 |    97030    95498    136 |  0.000 % |
52.31/52.49	c |    108830 |    1100    22000   110000 |    97030    95947    136 |  0.000 % |
52.81/52.92	c |    109325 |    1100    22000   110000 |    97030    96442    136 |  0.000 % |
53.21/53.37	c |    109869 |    1100    22000   110000 |    97030    96986    136 |  0.000 % |
53.71/53.89	c |    110465 |    1100    22000   110000 |    97118    87134    136 |  0.000 % |
54.31/54.41	c |    111120 |    1100    22000   110000 |    97118    87789    136 |  0.000 % |
54.81/54.91	c |    111843 |    1100    22000   110000 |    97118    88512    136 |  0.000 % |
55.31/55.47	c |    112638 |    1100    22000   110000 |    97118    89307    136 |  0.000 % |
55.91/56.07	c |    113509 |    1100    22000   110000 |    97118    90178    136 |  0.000 % |
56.71/56.83	c |    114467 |    1100    22000   110000 |    97118    91136    136 |  0.000 % |
57.51/57.65	c |    115524 |    1100    22000   110000 |    97118    92193    136 |  0.000 % |
58.51/58.60	c |    116682 |    1100    22000   110000 |    97118    93351    136 |  0.000 % |
59.41/59.53	c |    117956 |    1100    22000   110000 |    97118    94625    136 |  0.000 % |
59.51/59.61	c |    118056 |    1100    22000   110000 |    97118    94725    136 |  0.000 % |
59.61/59.72	c |    118166 |    1100    22000   110000 |    97118    94835    136 |  0.000 % |
59.71/59.83	c |    118288 |    1100    22000   110000 |    97118    94957    136 |  0.000 % |
59.81/59.94	c |    118421 |    1100    22000   110000 |    97118    95090    136 |  0.000 % |
59.91/60.07	c |    118568 |    1100    22000   110000 |    97118    95237    136 |  0.000 % |
60.11/60.23	c |    118728 |    1100    22000   110000 |    97118    95397    136 |  0.000 % |
60.21/60.37	c |    118907 |    1100    22000   110000 |    97118    95576    136 |  0.000 % |
60.41/60.56	c |    119101 |    1100    22000   110000 |    97118    95770    136 |  0.000 % |
60.61/60.74	c |    119313 |    1100    22000   110000 |    97118    95982    136 |  0.000 % |
60.81/60.92	c |    119546 |    1100    22000   110000 |    97118    96215    136 |  0.000 % |
61.01/61.17	c |    119804 |    1100    22000   110000 |    97118    96473    136 |  0.000 % |
61.31/61.42	c |    120086 |    1100    22000   110000 |    96671    96755    136 |  0.000 % |
61.61/61.72	c |    120396 |    1100    22000   110000 |    96671    86418    137 |  0.000 % |
61.81/61.97	c |    120735 |    1100    22000   110000 |    96671    86757    136 |  0.000 % |
62.11/62.24	c |    121107 |    1100    22000   110000 |    96671    87129    137 |  0.000 % |
62.41/62.54	c |    121516 |    1100    22000   110000 |    96671    87538    137 |  0.000 % |
62.81/62.90	c |    121965 |    1100    22000   110000 |    96671    87987    137 |  0.000 % |
63.11/63.28	c |    122459 |    1100    22000   110000 |    96671    88481    137 |  0.000 % |
63.61/63.72	c |    123001 |    1100    22000   110000 |    96671    89023    137 |  0.000 % |
64.00/64.18	c |    123597 |    1100    22000   110000 |    96671    89619    137 |  0.000 % |
64.60/64.72	c |    124252 |    1100    22000   110000 |    96671    90274    137 |  0.000 % |
65.10/65.29	c |    124973 |    1100    22000   110000 |    96671    90995    137 |  0.000 % |
65.70/65.86	c |    125765 |    1100    22000   110000 |    96671    91787    137 |  0.000 % |
66.40/66.52	c |    126639 |    1100    22000   110000 |    96671    92661    137 |  0.000 % |
67.01/67.19	c |    127597 |    1100    22000   110000 |    96671    93619    137 |  0.000 % |
67.90/68.02	c |    128651 |    1100    22000   110000 |    96671    94673    137 |  0.000 % |
68.80/68.92	c |    129810 |    1100    22000   110000 |    96671    95832    137 |  0.000 % |
69.80/69.97	c |    131083 |    1100    22000   110000 |    96024    86582    137 |  0.000 % |
70.90/71.02	c |    132483 |    1100    22000   110000 |    96024    87982    137 |  0.000 % |
71.00/71.10	c |    132583 |    1100    22000   110000 |    96024    88082    137 |  0.000 % |
71.10/71.20	c |    132693 |    1100    22000   110000 |    96024    88192    137 |  0.000 % |
71.10/71.29	c |    132815 |    1100    22000   110000 |    96024    88314    137 |  0.000 % |
71.20/71.40	c |    132948 |    1100    22000   110000 |    96024    88447    137 |  0.000 % |
71.41/71.52	c |    133099 |    1100    22000   110000 |    96024    88598    137 |  0.000 % |
71.50/71.67	c |    133261 |    1100    22000   110000 |    96024    88760    137 |  0.000 % |
71.60/71.80	c |    133437 |    1100    22000   110000 |    96024    88936    137 |  0.000 % |
71.80/71.95	c |    133630 |    1100    22000   110000 |    96024    89129    137 |  0.000 % |
72.00/72.12	c |    133842 |    1100    22000   110000 |    96024    89341    137 |  0.000 % |
72.20/72.32	c |    134076 |    1100    22000   110000 |    96024    89575    137 |  0.000 % |
72.41/72.54	c |    134334 |    1100    22000   110000 |    96024    89833    137 |  0.000 % |
72.60/72.77	c |    134615 |    1100    22000   110000 |    96024    90114    137 |  0.000 % |
72.90/73.02	c |    134926 |    1100    22000   110000 |    96024    90425    137 |  0.000 % |
73.10/73.28	c |    135266 |    1100    22000   110000 |    96024    90765    137 |  0.000 % |
73.40/73.58	c |    135639 |    1100    22000   110000 |    96024    91138    137 |  0.000 % |
73.80/73.91	c |    136049 |    1100    22000   110000 |    96024    91548    137 |  0.000 % |
74.10/74.29	c |    136498 |    1100    22000   110000 |    96024    91997    137 |  0.000 % |
74.50/74.66	c |    136992 |    1100    22000   110000 |    96024    92491    137 |  0.000 % |
74.90/75.08	c |    137536 |    1100    22000   110000 |    96024    93035    137 |  0.000 % |
75.50/75.60	c |    138132 |    1100    22000   110000 |    96024    93631    137 |  0.000 % |
76.00/76.15	c |    138788 |    1100    22000   110000 |    96024    94287    137 |  0.000 % |
76.60/76.73	c |    139508 |    1100    22000   110000 |    96024    95007    137 |  0.000 % |
77.30/77.44	c |    140300 |    1100    22000   110000 |    95500    95799    137 |  0.000 % |
78.00/78.16	c |    141171 |    1100    22000   110000 |    95500    86141    137 |  0.000 % |
78.70/78.83	c |    142132 |    1100    22000   110000 |    95500    87102    137 |  0.000 % |
79.40/79.54	c |    143185 |    1100    22000   110000 |    95500    88155    137 |  0.000 % |
80.20/80.39	c |    144347 |    1100    22000   110000 |    95500    89317    137 |  0.000 % |
81.20/81.31	c |    145621 |    1100    22000   110000 |    95500    90591    137 |  0.000 % |
82.10/82.26	c |    147021 |    1100    22000   110000 |    95500    91991    138 |  0.000 % |
83.30/83.49	c |    148562 |    1100    22000   110000 |    95500    93532    138 |  0.000 % |
83.40/83.60	c |    148663 |    1100    22000   110000 |    95500    93633    138 |  0.000 % |
83.59/83.70	c |    148773 |    1100    22000   110000 |    95500    93743    137 |  0.000 % |
83.69/83.81	c |    148896 |    1100    22000   110000 |    95500    93866    137 |  0.000 % |
83.79/83.92	c |    149030 |    1100    22000   110000 |    95500    94000    138 |  0.000 % |
83.89/84.08	c |    149177 |    1100    22000   110000 |    95500    94147    137 |  0.000 % |
84.09/84.20	c |    149338 |    1100    22000   110000 |    95500    94308    137 |  0.000 % |
84.19/84.34	c |    149514 |    1100    22000   110000 |    95500    94484    137 |  0.000 % |
84.39/84.55	c |    149707 |    1100    22000   110000 |    95500    94677    137 |  0.000 % |
84.60/84.74	c |    149920 |    1100    22000   110000 |    95500    94890    137 |  0.000 % |
84.79/84.97	c |    150154 |    1100    22000   110000 |    94972    95124    137 |  0.000 % |
85.09/85.24	c |    150410 |    1100    22000   110000 |    94972    85504    138 |  0.000 % |
85.29/85.45	c |    150691 |    1100    22000   110000 |    94972    85785    138 |  0.000 % |
85.49/85.68	c |    151000 |    1100    22000   110000 |    94972    86094    138 |  0.000 % |
85.79/85.98	c |    151341 |    1100    22000   110000 |    94972    86435    138 |  0.000 % |
86.09/86.27	c |    151715 |    1100    22000   110000 |    94972    86809    138 |  0.000 % |
86.39/86.55	c |    152124 |    1100    22000   110000 |    94972    87218    138 |  0.000 % |
86.80/86.92	c |    152574 |    1100    22000   110000 |    94972    87668    138 |  0.000 % |
87.19/87.32	c |    153068 |    1100    22000   110000 |    94972    88162    138 |  0.000 % |
87.59/87.77	c |    153612 |    1100    22000   110000 |    94972    88706    138 |  0.000 % |
88.09/88.22	c |    154209 |    1100    22000   110000 |    94972    89303    138 |  0.000 % |
88.59/88.70	c |    154864 |    1100    22000   110000 |    94972    89958    138 |  0.000 % |
89.09/89.23	c |    155587 |    1100    22000   110000 |    94972    90681    138 |  0.000 % |
89.69/89.90	c |    156379 |    1100    22000   110000 |    94972    91473    138 |  0.000 % |
90.49/90.60	c |    157250 |    1100    22000   110000 |    94972    92344    138 |  0.000 % |
91.19/91.33	c |    158208 |    1100    22000   110000 |    94972    93302    138 |  0.000 % |
91.99/92.19	c |    159261 |    1100    22000   110000 |    94972    94355    138 |  0.000 % |
92.98/93.16	c |    160420 |    1100    22000   110000 |    95094    85828    138 |  0.000 % |
93.88/94.03	c |    161693 |    1100    22000   110000 |    95094    87101    139 |  0.000 % |
94.88/95.03	c |    163093 |    1100    22000   110000 |    95094    88501    139 |  0.000 % |
96.08/96.23	c |    164633 |    1100    22000   110000 |    95094    90041    139 |  0.000 % |
97.38/97.54	c |    166329 |    1100    22000   110000 |    95094    91737    139 |  0.000 % |
97.48/97.63	c |    166430 |    1100    22000   110000 |    95094    91838    139 |  0.000 % |
97.58/97.72	c |    166541 |    1100    22000   110000 |    95094    91949    139 |  0.000 % |
97.69/97.84	c |    166663 |    1100    22000   110000 |    95094    92071    139 |  0.000 % |
97.79/97.96	c |    166797 |    1100    22000   110000 |    95094    92205    139 |  0.000 % |
97.88/98.08	c |    166944 |    1100    22000   110000 |    95094    92352    139 |  0.000 % |
98.08/98.20	c |    167106 |    1100    22000   110000 |    95094    92514    139 |  0.000 % |
98.18/98.36	c |    167284 |    1100    22000   110000 |    95094    92692    139 |  0.000 % |
98.38/98.51	c |    167477 |    1100    22000   110000 |    95094    92885    139 |  0.000 % |
98.48/98.67	c |    167689 |    1100    22000   110000 |    95094    93097    139 |  0.000 % |
98.68/98.86	c |    167923 |    1100    22000   110000 |    95094    93331    139 |  0.000 % |
98.89/99.08	c |    168180 |    1100    22000   110000 |    95094    93588    139 |  0.000 % |
99.18/99.32	c |    168465 |    1100    22000   110000 |    95094    93873    139 |  0.000 % |
99.38/99.57	c |    168774 |    1100    22000   110000 |    95094    94182    139 |  0.000 % |
99.68/99.83	c |    169113 |    1100    22000   110000 |    95094    94521    139 |  0.000 % |
99.98/100.13	c |    169485 |    1100    22000   110000 |    95094    94893    139 |  0.000 % |
100.28/100.47	c |    169895 |    1100    22000   110000 |    95094    95303    139 |  0.000 % |
100.68/100.85	c |    170344 |    1100    22000   110000 |    85593    85937    139 |  0.000 % |
101.08/101.23	c |    170837 |    1100    22000   110000 |    85593    77837    139 |  0.000 % |
101.38/101.58	c |    171379 |    1100    22000   110000 |    85593    78379    139 |  0.000 % |
101.78/101.99	c |    171976 |    1100    22000   110000 |    85593    78976    139 |  0.000 % |
102.28/102.40	c |    172632 |    1100    22000   110000 |    85593    79632    139 |  0.000 % |
102.68/102.88	c |    173352 |    1100    22000   110000 |    85593    80352    138 |  0.000 % |
103.28/103.43	c |    174144 |    1100    22000   110000 |    85593    81144    138 |  0.000 % |
103.88/104.02	c |    175017 |    1100    22000   110000 |    85593    82017    139 |  0.000 % |
104.58/104.71	c |    175978 |    1100    22000   110000 |    85593    82978    139 |  0.000 % |
105.28/105.46	c |    177032 |    1100    22000   110000 |    85593    84032    139 |  0.000 % |
106.18/106.33	c |    178190 |    1100    22000   110000 |    85593    85190    139 |  0.000 % |
107.08/107.27	c |    179466 |    1100    22000   110000 |    85593    77869    139 |  0.000 % |
107.98/108.15	c |    180867 |    1100    22000   110000 | 2147483647    79270    139 |  0.000 % |
108.98/109.17	c |    182409 |    1100    22000   110000 | 2147483647    80812    139 |  0.000 % |
110.17/110.30	c |    184103 |    1100    22000   110000 | 2147483647    82506    139 |  0.000 % |
111.37/111.59	c |    185966 |    1100    22000   110000 | 2147483647    84369    139 |  0.000 % |
111.47/111.67	c |    186066 |    1100    22000   110000 | 2147483647    84469    139 |  0.000 % |
111.57/111.78	c |    186177 |    1100    22000   110000 | 2147483647    84580    139 |  0.000 % |
111.67/111.89	c |    186298 |    1100    22000   110000 | 2147483647    84701    139 |  0.000 % |
111.87/112.00	c |    186435 |    1100    22000   110000 | 2147483647    84838    139 |  0.000 % |
111.98/112.12	c |    186582 |    1100    22000   110000 | 2147483647    84985    139 |  0.000 % |
112.07/112.27	c |    186742 |    1100    22000   110000 | 2147483647    85145    139 |  0.000 % |
112.27/112.42	c |    186918 |    1100    22000   110000 | 2147483647    85321    139 |  0.000 % |
112.37/112.57	c |    187111 |    1100    22000   110000 | 2147483647    85514    139 |  0.000 % |
112.57/112.73	c |    187323 |    1100    22000   110000 | 2147483647    85726    139 |  0.000 % |
112.67/112.90	c |    187556 |    1100    22000   110000 | 2147483647    85959    139 |  0.000 % |
112.97/113.13	c |    187815 |    1100    22000   110000 | 2147483647    86218    139 |  0.000 % |
113.17/113.36	c |    188098 |    1100    22000   110000 | 2147483647    86501    139 |  0.000 % |
113.47/113.61	c |    188407 |    1100    22000   110000 | 2147483647    86810    139 |  0.000 % |
113.67/113.85	c |    188746 |    1100    22000   110000 | 2147483647    87149    139 |  0.000 % |
113.97/114.15	c |    189119 |    1100    22000   110000 | 2147483647    87522    139 |  0.000 % |
114.27/114.47	c |    189529 |    1100    22000   110000 | 2147483647    87932    139 |  0.000 % |
114.67/114.87	c |    189980 |    1100    22000   110000 | 2147483647    88383    139 |  0.000 % |
115.07/115.27	c |    190473 |    1100    22000   110000 | 2147483647    88876    139 |  0.000 % |
115.47/115.69	c |    191016 |    1100    22000   110000 | 2147483647    89419    139 |  0.000 % |
115.97/116.19	c |    191612 |    1100    22000   110000 | 2147483647    90015    139 |  0.000 % |
116.47/116.67	c |    192268 |    1100    22000   110000 | 2147483647    90671    139 |  0.000 % |
117.07/117.21	c |    192988 |    1100    22000   110000 | 2147483647    91391    139 |  0.000 % |
117.57/117.78	c |    193783 |    1100    22000   110000 | 2147483647    92186    139 |  0.000 % |
118.27/118.41	c |    194656 |    1100    22000   110000 | 2147483647    93059    139 |  0.000 % |
118.96/119.14	c |    195614 |    1100    22000   110000 | 2147483647    94017    139 |  0.000 % |
119.77/119.98	c |    196668 |    1100    22000   110000 | 2147483647    95071    139 |  0.000 % |
120.66/120.88	c |    197828 |    1100    22000   110000 | 2147483647    96231    139 |  0.000 % |
121.66/121.84	c |    199101 |    1100    22000   110000 | 2147483647    97504    139 |  0.000 % |
122.76/122.98	c |    200501 |    1100    22000   110000 | 2147483647    98904    139 |  0.000 % |
124.17/124.31	c |    202044 |    1100    22000   110000 | 2147483647   100447    140 |  0.000 % |
125.56/125.72	c |    203738 |    1100    22000   110000 | 2147483647   102141    140 |  0.000 % |
127.06/127.28	c |    205602 |    1100    22000   110000 | 2147483647   104005    140 |  0.000 % |
128.77/128.95	c |    207651 |    1100    22000   110000 | 2147483647   106054    140 |  0.000 % |
128.87/129.04	c |    207753 |    1100    22000   110000 | 2147483647   106156    140 |  0.000 % |
128.97/129.14	c |    207864 |    1100    22000   110000 | 2147483647   106267    140 |  0.000 % |
129.07/129.25	c |    207985 |    1100    22000   110000 | 2147483647   106388    140 |  0.000 % |
129.26/129.40	c |    208119 |    1100    22000   110000 | 2147483647   106522    140 |  0.000 % |
129.36/129.55	c |    208266 |    1100    22000   110000 | 2147483647   106669    140 |  0.000 % |
129.57/129.70	c |    208427 |    1100    22000   110000 | 2147483647   106830    140 |  0.000 % |
129.67/129.87	c |    208603 |    1100    22000   110000 | 2147483647   107006    140 |  0.000 % |
129.86/130.04	c |    208796 |    1100    22000   110000 | 2147483647   107199    140 |  0.000 % |
130.06/130.23	c |    209009 |    1100    22000   110000 | 2147483647   107412    140 |  0.000 % |
130.26/130.49	c |    209242 |    1100    22000   110000 | 2147483647   107645    140 |  0.000 % |
130.56/130.74	c |    209498 |    1100    22000   110000 | 2147483647   107901    140 |  0.000 % |
130.86/131.01	c |    209780 |    1100    22000   110000 | 2147483647   108183    140 |  0.000 % |
131.16/131.31	c |    210089 |    1100    22000   110000 |   108403   108492    140 |  0.000 % |
131.56/131.70	c |    210429 |    1100    22000   110000 |   108403    93933    140 |  0.000 % |
131.86/132.02	c |    210802 |    1100    22000   110000 |   108403    94306    140 |  0.000 % |
132.16/132.34	c |    211211 |    1100    22000   110000 |   108403    94715    140 |  0.000 % |
132.56/132.71	c |    211661 |    1100    22000   110000 |   108403    95165    140 |  0.000 % |
132.86/133.09	c |    212156 |    1100    22000   110000 |   108403    95660    140 |  0.000 % |
133.36/133.52	c |    212699 |    1100    22000   110000 |   108403    96203    140 |  0.000 % |
133.76/133.99	c |    213295 |    1100    22000   110000 |   108403    96799    140 |  0.000 % |
134.26/134.49	c |    213951 |    1100    22000   110000 |   108403    97455    140 |  0.000 % |
134.85/135.04	c |    214671 |    1100    22000   110000 |   108403    98175    140 |  0.000 % |
135.45/135.69	c |    215466 |    1100    22000   110000 |   108403    98970    140 |  0.000 % |
136.15/136.39	c |    216338 |    1100    22000   110000 |   108403    99842    140 |  0.000 % |
136.94/137.20	c |    217297 |    1100    22000   110000 |   108403   100801    140 |  0.000 % |
137.84/138.04	c |    218350 |    1100    22000   110000 |   108403   101854    140 |  0.000 % |
138.74/138.95	c |    219508 |    1100    22000   110000 |   108403   103012    140 |  0.000 % |
139.85/140.07	c |    220781 |    1100    22000   110000 |   103504    91129    140 |  0.000 % |
140.95/141.17	c |    222182 |    1100    22000   110000 |   103504    92530    140 |  0.000 % |
142.15/142.35	c |    223723 |    1100    22000   110000 |   103504    94071    140 |  0.000 % |
143.45/143.63	c |    225418 |    1100    22000   110000 |   103504    95766    140 |  0.000 % |
144.85/145.03	c |    227282 |    1100    22000   110000 |   103504    97630    140 |  0.000 % |
146.35/146.56	c |    229332 |    1100    22000   110000 |   103504    99680    140 |  0.000 % |
148.15/148.37	c |    231586 |    1100    22000   110000 |   100348    90515    140 |  0.000 % |
148.25/148.49	c |    231687 |    1100    22000   110000 |   100348    90616    140 |  0.000 % |
148.35/148.59	c |    231797 |    1100    22000   110000 |   100348    90726    140 |  0.000 % |
148.45/148.68	c |    231919 |    1100    22000   110000 |   100348    90848    140 |  0.000 % |
148.65/148.80	c |    232052 |    1100    22000   110000 |   100348    90981    140 |  0.000 % |
148.75/148.95	c |    232198 |    1100    22000   110000 |   100348    91127    140 |  0.000 % |
148.85/149.08	c |    232359 |    1100    22000   110000 |   100348    91288    140 |  0.000 % |
149.04/149.25	c |    232535 |    1100    22000   110000 |   100348    91464    140 |  0.000 % |
149.24/149.42	c |    232730 |    1100    22000   110000 |   100348    91659    140 |  0.000 % |
149.45/149.61	c |    232942 |    1100    22000   110000 |   100348    91871    140 |  0.000 % |
149.64/149.81	c |    233175 |    1100    22000   110000 |   100348    92104    140 |  0.000 % |
149.84/150.03	c |    233431 |    1100    22000   110000 |   100348    92360    140 |  0.000 % |
150.04/150.27	c |    233712 |    1100    22000   110000 |   100348    92641    140 |  0.000 % |
150.34/150.53	c |    234022 |    1100    22000   110000 |   100348    92951    140 |  0.000 % |
150.64/150.87	c |    234367 |    1100    22000   110000 |   100348    93296    140 |  0.000 % |
151.04/151.20	c |    234739 |    1100    22000   110000 |   100348    93668    140 |  0.000 % |
151.34/151.54	c |    235148 |    1100    22000   110000 |   100348    94077    140 |  0.000 % |
151.64/151.89	c |    235597 |    1100    22000   110000 |   100348    94526    140 |  0.000 % |
152.14/152.32	c |    236090 |    1100    22000   110000 |   100348    95019    140 |  0.000 % |
152.64/152.81	c |    236635 |    1100    22000   110000 |   100348    95564    140 |  0.000 % |
153.14/153.33	c |    237232 |    1100    22000   110000 |   100348    96161    140 |  0.000 % |
153.64/153.88	c |    237887 |    1100    22000   110000 |   100348    96816    140 |  0.000 % |
154.24/154.49	c |    238608 |    1100    22000   110000 |   100348    97537    140 |  0.000 % |
154.94/155.12	c |    239400 |    1100    22000   110000 |   100348    98329    140 |  0.000 % |
155.64/155.85	c |    240272 |    1100    22000   110000 |    98932    99201    140 |  0.000 % |
156.44/156.64	c |    241231 |    1100    22000   110000 |    98932    88164    140 |  0.000 % |
157.14/157.39	c |    242288 |    1100    22000   110000 |    98932    89221    140 |  0.000 % |
158.04/158.24	c |    243446 |    1100    22000   110000 |    98932    90379    141 |  0.000 % |
158.94/159.17	c |    244720 |    1100    22000   110000 |    98932    91653    141 |  0.000 % |
160.04/160.26	c |    246123 |    1100    22000   110000 |    98932    93056    140 |  0.000 % |
161.24/161.42	c |    247664 |    1100    22000   110000 |    98932    94597    141 |  0.000 % |
162.54/162.79	c |    249361 |    1100    22000   110000 |    98932    96294    141 |  0.000 % |
164.14/164.31	c |    251226 |    1100    22000   110000 | 2147483647    98159    141 |  0.000 % |
165.73/165.97	c |    253275 |    1100    22000   110000 | 2147483647   100208    141 |  0.000 % |
167.63/167.82	c |    255528 |    1100    22000   110000 | 2147483647   102461    141 |  0.000 % |
169.83/170.03	c |    258006 |    1100    22000   110000 | 2147483647   104939    141 |  0.000 % |
169.93/170.14	c |    258108 |    1100    22000   110000 | 2147483647   105041    141 |  0.000 % |
170.03/170.25	c |    258218 |    1100    22000   110000 | 2147483647   105151    141 |  0.000 % |
170.13/170.36	c |    258342 |    1100    22000   110000 | 2147483647   105275    141 |  0.000 % |
170.24/170.48	c |    258475 |    1100    22000   110000 | 2147483647   105408    141 |  0.000 % |
170.43/170.64	c |    258621 |    1100    22000   110000 | 2147483647   105554    141 |  0.000 % |
170.53/170.79	c |    258781 |    1100    22000   110000 | 2147483647   105714    141 |  0.000 % |
170.73/170.95	c |    258957 |    1100    22000   110000 | 2147483647   105890    141 |  0.000 % |
170.93/171.15	c |    259150 |    1100    22000   110000 | 2147483647   106083    141 |  0.000 % |
171.13/171.36	c |    259362 |    1100    22000   110000 | 2147483647   106295    141 |  0.000 % |
171.33/171.60	c |    259597 |    1100    22000   110000 | 2147483647   106530    141 |  0.000 % |
171.63/171.88	c |    259854 |    1100    22000   110000 | 2147483647   106787    141 |  0.000 % |
171.93/172.15	c |    260137 |    1100    22000   110000 |   106935   107070    141 |  0.000 % |
172.23/172.50	c |    260449 |    1100    22000   110000 |   106935    92811    141 |  0.000 % |
172.53/172.76	c |    260788 |    1100    22000   110000 |   106935    93150    141 |  0.000 % |
172.83/173.07	c |    261160 |    1100    22000   110000 |   106935    93522    141 |  0.000 % |
173.23/173.40	c |    261570 |    1100    22000   110000 |   106935    93932    141 |  0.000 % |
173.63/173.81	c |    262024 |    1100    22000   110000 |   106935    94386    141 |  0.000 % |
174.03/174.24	c |    262517 |    1100    22000   110000 |   106935    94879    141 |  0.000 % |
174.53/174.74	c |    263060 |    1100    22000   110000 |   106935    95422    141 |  0.000 % |
175.03/175.23	c |    263656 |    1100    22000   110000 |   106935    96018    141 |  0.000 % |
175.53/175.74	c |    264311 |    1100    22000   110000 |   106935    96673    141 |  0.000 % |
176.13/176.33	c |    265033 |    1100    22000   110000 |   106935    97395    141 |  0.000 % |
176.73/176.98	c |    265825 |    1100    22000   110000 |   106935    98187    141 |  0.000 % |
177.53/177.70	c |    266699 |    1100    22000   110000 |   106935    99061    141 |  0.000 % |
178.23/178.44	c |    267658 |    1100    22000   110000 |   106935   100020    141 |  0.000 % |
179.03/179.26	c |    268711 |    1100    22000   110000 |   106935   101073    141 |  0.000 % |
180.03/180.21	c |    269872 |    1100    22000   110000 |   106935   102234    141 |  0.000 % |
181.02/181.28	c |    271145 |    1100    22000   110000 |   102364    90142    141 |  0.000 % |
182.12/182.32	c |    272546 |    1100    22000   110000 |   102364    91543    141 |  0.000 % |
183.32/183.55	c |    274086 |    1100    22000   110000 |   102364    93083    141 |  0.000 % |
184.62/184.87	c |    275780 |    1100    22000   110000 |   102364    94777    141 |  0.000 % |
186.12/186.32	c |    277644 |    1100    22000   110000 |   102364    96641    141 |  0.000 % |
187.72/187.97	c |    279694 |    1100    22000   110000 |   102364    98691    141 |  0.000 % |
189.51/189.74	c |    281947 |    1100    22000   110000 |    98999    89204    141 |  0.000 % |
191.51/191.71	c |    284425 |    1100    22000   110000 |    98999    91682    142 |  0.000 % |
193.61/193.90	c |    287150 |    1100    22000   110000 |    98999    94407    142 |  0.000 % |
193.71/193.99	c |    287252 |    1100    22000   110000 |    98999    94509    142 |  0.000 % |
193.81/194.08	c |    287362 |    1100    22000   110000 |    98999    94619    142 |  0.000 % |
193.91/194.19	c |    287484 |    1100    22000   110000 |    98999    94741    142 |  0.000 % |
194.11/194.31	c |    287617 |    1100    22000   110000 |    98999    94874    142 |  0.000 % |
194.21/194.44	c |    287765 |    1100    22000   110000 |    98999    95022    142 |  0.000 % |
194.31/194.58	c |    287926 |    1100    22000   110000 |    98999    95183    142 |  0.000 % |
194.52/194.73	c |    288102 |    1100    22000   110000 |    98999    95359    142 |  0.000 % |
194.61/194.89	c |    288295 |    1100    22000   110000 |    98999    95552    142 |  0.000 % |
194.81/195.07	c |    288507 |    1100    22000   110000 |    98999    95764    142 |  0.000 % |
195.11/195.30	c |    288740 |    1100    22000   110000 |    98999    95997    142 |  0.000 % |
195.31/195.53	c |    288996 |    1100    22000   110000 |    98999    96253    142 |  0.000 % |
195.52/195.76	c |    289279 |    1100    22000   110000 |    98999    96536    142 |  0.000 % |
195.81/196.02	c |    289588 |    1100    22000   110000 |    98999    96845    142 |  0.000 % |
196.11/196.35	c |    289928 |    1100    22000   110000 |    98999    97185    142 |  0.000 % |
196.41/196.67	c |    290301 |    1100    22000   110000 |    97257    97558    142 |  0.000 % |
196.81/197.04	c |    290711 |    1100    22000   110000 |    97257    87216    141 |  0.000 % |
197.11/197.37	c |    291160 |    1100    22000   110000 |    97257    87665    141 |  0.000 % |
197.51/197.74	c |    291653 |    1100    22000   110000 |    97257    88158    141 |  0.000 % |
197.91/198.16	c |    292196 |    1100    22000   110000 |    97257    88701    141 |  0.000 % |
198.41/198.61	c |    292792 |    1100    22000   110000 |    97257    89297    141 |  0.000 % |
198.81/199.08	c |    293448 |    1100    22000   110000 |    97257    89953    141 |  0.000 % |
199.41/199.62	c |    294169 |    1100    22000   110000 |    97257    90674    141 |  0.000 % |
199.91/200.20	c |    294961 |    1100    22000   110000 |    97257    91466    141 |  0.000 % |
200.61/200.84	c |    295833 |    1100    22000   110000 |    97257    92338    141 |  0.000 % |
201.31/201.57	c |    296791 |    1100    22000   110000 |    97257    93296    141 |  0.000 % |
202.11/202.31	c |    297846 |    1100    22000   110000 |    97257    94351    141 |  0.000 % |
203.01/203.22	c |    299004 |    1100    22000   110000 |    97257    95509    141 |  0.000 % |
204.01/204.25	c |    300278 |    1100    22000   110000 |    96505    96783    141 |  0.000 % |
205.11/205.32	c |    301681 |    1100    22000   110000 |    96505    87875    142 |  0.000 % |
206.21/206.41	c |    303221 |    1100    22000   110000 |    96505    89415    142 |  0.000 % |
207.41/207.65	c |    304917 |    1100    22000   110000 |    96505    91111    142 |  0.000 % |
208.81/209.04	c |    306781 |    1100    22000   110000 |    96505    92975    142 |  0.000 % |
210.41/210.61	c |    308830 |    1100    22000   110000 |    96505    95024    142 |  0.000 % |
212.11/212.38	c |    311083 |    1100    22000   110000 | 2147483647    97277    142 |  0.000 % |
214.21/214.44	c |    313562 |    1100    22000   110000 | 2147483647    99756    142 |  0.000 % |
216.51/216.76	c |    316288 |    1100    22000   110000 | 2147483647   102482    142 |  0.000 % |
219.10/219.30	c |    319285 |    1100    22000   110000 | 2147483647   105479    142 |  0.000 % |
219.10/219.40	c |    319386 |    1100    22000   110000 | 2147483647   105580    142 |  0.000 % |
219.20/219.50	c |    319496 |    1100    22000   110000 | 2147483647   105690    142 |  0.000 % |
219.40/219.62	c |    319617 |    1100    22000   110000 | 2147483647   105811    142 |  0.000 % |
219.50/219.76	c |    319750 |    1100    22000   110000 | 2147483647   105944    142 |  0.000 % |
219.60/219.89	c |    319896 |    1100    22000   110000 | 2147483647   106090    142 |  0.000 % |
219.80/220.04	c |    320056 |    1100    22000   110000 |   106195   106250    142 |  0.000 % |
220.10/220.36	c |    320234 |    1100    22000   110000 |   106195    92751    142 |  0.000 % |
220.30/220.53	c |    320427 |    1100    22000   110000 |   106195    92944    142 |  0.000 % |
220.50/220.73	c |    320639 |    1100    22000   110000 |   106195    93156    142 |  0.000 % |
220.70/220.92	c |    320872 |    1100    22000   110000 |   106195    93389    142 |  0.000 % |
220.90/221.15	c |    321130 |    1100    22000   110000 |   106195    93647    142 |  0.000 % |
221.10/221.38	c |    321412 |    1100    22000   110000 |   106195    93929    142 |  0.000 % |
221.40/221.63	c |    321721 |    1100    22000   110000 |   106195    94238    142 |  0.000 % |
221.70/221.93	c |    322061 |    1100    22000   110000 |   106195    94578    142 |  0.000 % |
222.00/222.27	c |    322433 |    1100    22000   110000 |   106195    94950    142 |  0.000 % |
222.30/222.59	c |    322842 |    1100    22000   110000 |   106195    95359    142 |  0.000 % |
222.70/222.95	c |    323292 |    1100    22000   110000 |   106195    95809    142 |  0.000 % |
223.10/223.33	c |    323785 |    1100    22000   110000 |   106195    96302    142 |  0.000 % |
223.50/223.77	c |    324327 |    1100    22000   110000 |   106195    96844    142 |  0.000 % |
224.00/224.23	c |    324924 |    1100    22000   110000 |   106195    97441    142 |  0.000 % |
224.50/224.78	c |    325579 |    1100    22000   110000 |   106195    98096    142 |  0.000 % |
225.20/225.41	c |    326300 |    1100    22000   110000 |   106195    98817    142 |  0.000 % |
225.79/226.07	c |    327093 |    1100    22000   110000 |   106195    99610    142 |  0.000 % |
226.59/226.82	c |    327964 |    1100    22000   110000 |   106195   100481    142 |  0.000 % |
227.40/227.63	c |    328922 |    1100    22000   110000 |   106195   101439    142 |  0.000 % |
228.29/228.55	c |    329975 |    1100    22000   110000 |   106195   102492    142 |  0.000 % |
229.29/229.59	c |    331135 |    1100    22000   110000 |   102517    89882    142 |  0.000 % |
230.29/230.56	c |    332410 |    1100    22000   110000 |   102517    91157    142 |  0.000 % |
231.39/231.66	c |    333810 |    1100    22000   110000 |   102517    92557    142 |  0.000 % |
232.49/232.80	c |    335351 |    1100    22000   110000 |   102517    94098    142 |  0.000 % |
233.99/234.22	c |    337045 |    1100    22000   110000 |   102517    95792    142 |  0.000 % |
235.49/235.77	c |    338910 |    1100    22000   110000 |   102517    97657    142 |  0.000 % |
237.19/237.45	c |    340959 |    1100    22000   110000 |    98747    88384    142 |  0.000 % |
238.79/239.06	c |    343212 |    1100    22000   110000 |    98747    90637    142 |  0.000 % |
240.59/240.87	c |    345694 |    1100    22000   110000 |    98747    93119    142 |  0.000 % |
242.69/242.95	c |    348420 |    1100    22000   110000 |    98747    95845    142 |  0.000 % |
245.09/245.33	c |    351418 |    1100    22000   110000 |    97426    88986    143 |  0.000 % |
247.59/247.80	c |    354715 |    1100    22000   110000 |    97426    92283    143 |  0.000 % |
247.59/247.89	c |    354816 |    1100    22000   110000 |    97426    92384    143 |  0.000 % |
247.69/248.00	c |    354926 |    1100    22000   110000 |    97426    92494    143 |  0.000 % |
247.89/248.12	c |    355047 |    1100    22000   110000 |    97426    92615    143 |  0.000 % |
247.99/248.27	c |    355182 |    1100    22000   110000 |    97426    92750    143 |  0.000 % |
248.19/248.42	c |    355328 |    1100    22000   110000 |    97426    92896    143 |  0.000 % |
248.29/248.55	c |    355488 |    1100    22000   110000 |    97426    93056    143 |  0.000 % |
248.39/248.69	c |    355664 |    1100    22000   110000 |    97426    93232    143 |  0.000 % |
248.59/248.86	c |    355860 |    1100    22000   110000 |    97426    93428    143 |  0.000 % |
248.79/249.05	c |    356072 |    1100    22000   110000 |    97426    93640    143 |  0.000 % |
248.99/249.26	c |    356306 |    1100    22000   110000 |    97426    93874    143 |  0.000 % |
249.29/249.50	c |    356564 |    1100    22000   110000 |    97426    94132    143 |  0.000 % |
249.49/249.76	c |    356845 |    1100    22000   110000 |    97426    94413    143 |  0.000 % |
249.79/250.01	c |    357154 |    1100    22000   110000 |    97426    94722    143 |  0.000 % |
249.99/250.29	c |    357493 |    1100    22000   110000 |    97426    95061    143 |  0.000 % |
250.39/250.61	c |    357865 |    1100    22000   110000 |    97426    95433    143 |  0.000 % |
250.68/250.97	c |    358274 |    1100    22000   110000 |    97426    95842    143 |  0.000 % |
251.08/251.32	c |    358724 |    1100    22000   110000 |    97426    96292    143 |  0.000 % |
251.48/251.76	c |    359222 |    1100    22000   110000 |    97426    96790    143 |  0.000 % |
251.98/252.20	c |    359764 |    1100    22000   110000 |    97426    97332    143 |  0.000 % |
252.38/252.66	c |    360361 |    1100    22000   110000 |    97569    97929    143 |  0.000 % |
252.88/253.16	c |    361017 |    1100    22000   110000 |    97569    87802    143 |  0.000 % |
253.48/253.75	c |    361737 |    1100    22000   110000 |    97569    88522    143 |  0.000 % |
254.08/254.36	c |    362529 |    1100    22000   110000 |    97569    89314    143 |  0.000 % |
254.78/255.06	c |    363401 |    1100    22000   110000 |    97569    90186    143 |  0.000 % |
255.48/255.78	c |    364359 |    1100    22000   110000 |    97569    91144    143 |  0.000 % |
256.28/256.59	c |    365413 |    1100    22000   110000 |    97569    92198    143 |  0.000 % |
257.28/257.51	c |    366573 |    1100    22000   110000 |    97569    93358    143 |  0.000 % |
258.29/258.53	c |    367846 |    1100    22000   110000 |    97569    94631    143 |  0.000 % |
259.48/259.70	c |    369249 |    1100    22000   110000 |    97569    96034    143 |  0.000 % |
260.68/260.97	c |    370789 |    1100    22000   110000 |    96785    87177    143 |  0.000 % |
261.88/262.13	c |    372485 |    1100    22000   110000 |    96785    88873    143 |  0.000 % |
263.18/263.48	c |    374348 |    1100    22000   110000 |    96785    90736    143 |  0.000 % |
264.78/265.02	c |    376398 |    1100    22000   110000 |    96785    92786    143 |  0.000 % |
266.58/266.81	c |    378651 |    1100    22000   110000 |    96785    95039    143 |  0.000 % |
268.48/268.72	c |    381129 |    1100    22000   110000 | 2147483647    97517    143 |  0.000 % |
270.67/270.94	c |    383855 |    1100    22000   110000 | 2147483647   100243    144 |  0.000 % |
273.07/273.33	c |    386852 |    1100    22000   110000 | 2147483647   103240    144 |  0.000 % |
275.78/276.08	c |    390148 |    1100    22000   110000 |   106388   106536    144 |  0.000 % |
278.67/278.94	c |    393773 |    1100    22000   110000 |   106388    97079    144 |  0.000 % |
278.77/279.02	c |    393873 |    1100    22000   110000 |   106388    97179    144 |  0.000 % |
278.87/279.12	c |    393983 |    1100    22000   110000 |   106388    97289    144 |  0.000 % |
278.97/279.25	c |    394104 |    1100    22000   110000 |   106388    97410    144 |  0.000 % |
279.08/279.37	c |    394239 |    1100    22000   110000 |   106388    97545    144 |  0.000 % |
279.27/279.50	c |    394385 |    1100    22000   110000 |   106388    97691    144 |  0.000 % |
279.37/279.65	c |    394546 |    1100    22000   110000 |   106388    97852    144 |  0.000 % |
279.57/279.85	c |    394724 |    1100    22000   110000 |   106388    98030    144 |  0.000 % |
279.77/280.02	c |    394918 |    1100    22000   110000 |   106388    98224    144 |  0.000 % |
279.97/280.22	c |    395132 |    1100    22000   110000 |   106388    98438    144 |  0.000 % |
280.18/280.42	c |    395365 |    1100    22000   110000 |   106388    98671    144 |  0.000 % |
280.37/280.65	c |    395622 |    1100    22000   110000 |   106388    98928    144 |  0.000 % |
280.57/280.89	c |    395903 |    1100    22000   110000 |   106388    99209    144 |  0.000 % |
280.87/281.15	c |    396212 |    1100    22000   110000 |   106388    99518    144 |  0.000 % |
281.17/281.44	c |    396552 |    1100    22000   110000 |   106388    99858    144 |  0.000 % |
281.47/281.79	c |    396925 |    1100    22000   110000 |   106388   100231    144 |  0.000 % |
281.87/282.16	c |    397335 |    1100    22000   110000 |   106388   100641    144 |  0.000 % |
282.27/282.56	c |    397784 |    1100    22000   110000 |   106388   101090    144 |  0.000 % |
282.67/282.94	c |    398277 |    1100    22000   110000 |   106388   101583    144 |  0.000 % |
283.07/283.40	c |    398820 |    1100    22000   110000 |   106388   102126    144 |  0.000 % |
283.57/283.88	c |    399416 |    1100    22000   110000 |   106388   102722    144 |  0.000 % |
284.17/284.45	c |    400071 |    1100    22000   110000 |   103306   103377    144 |  0.000 % |
284.87/285.10	c |    400791 |    1100    22000   110000 |   103306    90490    143 |  0.000 % |
285.47/285.70	c |    401584 |    1100    22000   110000 |   103306    91283    143 |  0.000 % |
286.07/286.39	c |    402457 |    1100    22000   110000 |   103306    92156    143 |  0.000 % |
286.87/287.14	c |    403415 |    1100    22000   110000 |   103306    93114    143 |  0.000 % |
287.67/287.95	c |    404468 |    1100    22000   110000 |   103306    94167    143 |  0.000 % |
288.57/288.87	c |    405626 |    1100    22000   110000 |   103306    95325    143 |  0.000 % |
289.67/289.93	c |    406900 |    1100    22000   110000 |   103306    96599    144 |  0.000 % |
290.77/291.02	c |    408302 |    1100    22000   110000 |   103306    98001    144 |  0.000 % |
291.87/292.19	c |    409844 |    1100    22000   110000 |   103306    99543    144 |  0.000 % |
293.37/293.60	c |    411538 |    1100    22000   110000 |    99700    89396    145 |  0.000 % |
294.77/295.02	c |    413402 |    1100    22000   110000 |    99700    91260    144 |  0.000 % |
296.27/296.50	c |    415451 |    1100    22000   110000 |    99700    93309    145 |  0.000 % |
298.06/298.31	c |    417705 |    1100    22000   110000 |    99700    95563    145 |  0.000 % |
299.97/300.29	c |    420183 |    1100    22000   110000 |    97858    98041    145 |  0.000 % |
301.96/302.27	c |    422908 |    1100    22000   110000 |    97858    90319    145 |  0.000 % |
304.26/304.55	c |    425905 |    1100    22000   110000 |    97858    93316    145 |  0.000 % |
306.86/307.18	c |    429202 |    1100    22000   110000 |    97858    96613    145 |  0.000 % |
309.76/310.02	c |    432828 |    1100    22000   110000 | 2147483647   100239    145 |  0.000 % |
313.16/313.43	c |    436815 |    1100    22000   110000 | 2147483647   104226    146 |  0.000 % |
313.26/313.53	c |    436917 |    1100    22000   110000 | 2147483647   104328    146 |  0.000 % |
313.36/313.64	c |    437029 |    1100    22000   110000 | 2147483647   104440    146 |  0.000 % |
313.46/313.78	c |    437150 |    1100    22000   110000 | 2147483647   104561    146 |  0.000 % |
313.66/313.93	c |    437283 |    1100    22000   110000 | 2147483647   104694    145 |  0.000 % |
313.76/314.08	c |    437432 |    1100    22000   110000 | 2147483647   104843    145 |  0.000 % |
313.96/314.24	c |    437592 |    1100    22000   110000 | 2147483647   105003    145 |  0.000 % |
314.16/314.42	c |    437769 |    1100    22000   110000 | 2147483647   105180    145 |  0.000 % |
314.36/314.61	c |    437962 |    1100    22000   110000 | 2147483647   105373    145 |  0.000 % |
314.56/314.81	c |    438175 |    1100    22000   110000 | 2147483647   105586    145 |  0.000 % |
314.76/315.02	c |    438411 |    1100    22000   110000 | 2147483647   105822    145 |  0.000 % |
314.96/315.25	c |    438667 |    1100    22000   110000 | 2147483647   106078    145 |  0.000 % |
315.26/315.52	c |    438948 |    1100    22000   110000 | 2147483647   106359    145 |  0.000 % |
315.55/315.80	c |    439261 |    1100    22000   110000 | 2147483647   106672    145 |  0.000 % |
315.85/316.11	c |    439600 |    1100    22000   110000 | 2147483647   107011    145 |  0.000 % |
316.15/316.43	c |    439973 |    1100    22000   110000 | 2147483647   107384    145 |  0.000 % |
316.55/316.80	c |    440384 |    1100    22000   110000 |   107413   107795    145 |  0.000 % |
316.95/317.23	c |    440835 |    1100    22000   110000 |   107413    94292    145 |  0.000 % |
317.35/317.64	c |    441330 |    1100    22000   110000 |   107413    94787    145 |  0.000 % |
317.75/318.06	c |    441875 |    1100    22000   110000 |   107413    95332    145 |  0.000 % |
318.25/318.52	c |    442473 |    1100    22000   110000 |   107413    95930    145 |  0.000 % |
318.75/319.03	c |    443128 |    1100    22000   110000 |   107413    96585    145 |  0.000 % |
319.35/319.63	c |    443851 |    1100    22000   110000 |   107413    97308    145 |  0.000 % |
319.95/320.25	c |    444643 |    1100    22000   110000 |   107413    98100    145 |  0.000 % |
320.65/320.93	c |    445514 |    1100    22000   110000 |   107413    98971    145 |  0.000 % |
321.45/321.76	c |    446473 |    1100    22000   110000 |   107413    99930    145 |  0.000 % |
322.35/322.61	c |    447526 |    1100    22000   110000 |   107413   100983    145 |  0.000 % |
323.35/323.64	c |    448686 |    1100    22000   110000 |   107413   102143    145 |  0.000 % |
324.35/324.67	c |    449960 |    1100    22000   110000 |   107413   103417    145 |  0.000 % |
325.55/325.84	c |    451360 |    1100    22000   110000 |   103457    91639    145 |  0.000 % |
326.65/326.99	c |    452901 |    1100    22000   110000 |   103457    93180    145 |  0.000 % |
327.95/328.26	c |    454595 |    1100    22000   110000 |   103457    94874    145 |  0.000 % |
329.44/329.75	c |    456458 |    1100    22000   110000 |   103457    96737    145 |  0.000 % |
331.04/331.34	c |    458508 |    1100    22000   110000 |   103457    98787    145 |  0.000 % |
333.05/333.33	c |    460761 |    1100    22000   110000 |   100279    89208    145 |  0.000 % |
334.84/335.17	c |    463239 |    1100    22000   110000 |   100279    91686    145 |  0.000 % |
336.94/337.20	c |    465966 |    1100    22000   110000 |   100279    94413    145 |  0.000 % |
339.14/339.46	c |    468963 |    1100    22000   110000 |   100279    97410    145 |  0.000 % |
341.85/342.16	c |    472259 |    1100    22000   110000 |    98448    90330    145 |  0.000 % |
344.64/344.91	c |    475887 |    1100    22000   110000 |    98448    93958    145 |  0.000 % |
347.74/348.02	c |    479876 |    1100    22000   110000 |    98448    97947    145 |  0.000 % |
351.24/351.59	c |    484261 |    1100    22000   110000 | 2147483647   102332    146 |  0.000 % |
351.34/351.68	c |    484362 |    1100    22000   110000 | 2147483647   102433    146 |  0.000 % |
351.44/351.78	c |    484472 |    1100    22000   110000 | 2147483647   102543    146 |  0.000 % |
351.54/351.89	c |    484593 |    1100    22000   110000 | 2147483647   102664    146 |  0.000 % |
351.74/352.06	c |    484727 |    1100    22000   110000 | 2147483647   102798    146 |  0.000 % |
351.94/352.21	c |    484873 |    1100    22000   110000 | 2147483647   102944    146 |  0.000 % |
352.04/352.34	c |    485033 |    1100    22000   110000 | 2147483647   103104    145 |  0.000 % |
352.24/352.53	c |    485210 |    1100    22000   110000 | 2147483647   103281    145 |  0.000 % |
352.44/352.72	c |    485404 |    1100    22000   110000 | 2147483647   103475    145 |  0.000 % |
352.64/352.92	c |    485616 |    1100    22000   110000 | 2147483647   103687    145 |  0.000 % |
352.84/353.14	c |    485849 |    1100    22000   110000 | 2147483647   103920    145 |  0.000 % |
353.04/353.37	c |    486108 |    1100    22000   110000 | 2147483647   104179    145 |  0.000 % |
353.33/353.62	c |    486390 |    1100    22000   110000 | 2147483647   104461    145 |  0.000 % |
353.63/353.91	c |    486700 |    1100    22000   110000 | 2147483647   104771    145 |  0.000 % |
353.84/354.19	c |    487040 |    1100    22000   110000 | 2147483647   105111    145 |  0.000 % |
354.23/354.57	c |    487415 |    1100    22000   110000 | 2147483647   105486    145 |  0.000 % |
354.63/354.93	c |    487825 |    1100    22000   110000 | 2147483647   105896    145 |  0.000 % |
355.04/355.32	c |    488278 |    1100    22000   110000 | 2147483647   106349    145 |  0.000 % |
355.43/355.77	c |    488771 |    1100    22000   110000 | 2147483647   106842    145 |  0.000 % |
355.93/356.27	c |    489313 |    1100    22000   110000 | 2147483647   107384    145 |  0.000 % |
356.43/356.78	c |    489910 |    1100    22000   110000 | 2147483647   107981    145 |  0.000 % |
357.14/357.42	c |    490565 |    1100    22000   110000 |   108073    93654    145 |  0.000 % |
357.73/358.02	c |    491286 |    1100    22000   110000 |   108073    94375    145 |  0.000 % |
358.34/358.64	c |    492078 |    1100    22000   110000 |   108073    95167    145 |  0.000 % |
359.03/359.38	c |    492949 |    1100    22000   110000 |   108073    96038    145 |  0.000 % |
359.83/360.16	c |    493909 |    1100    22000   110000 |   108073    96998    145 |  0.000 % |
360.73/361.03	c |    494965 |    1100    22000   110000 |   108073    98054    145 |  0.000 % |
361.63/361.97	c |    496127 |    1100    22000   110000 |   108073    99216    145 |  0.000 % |
362.63/362.96	c |    497403 |    1100    22000   110000 |   108073   100492    145 |  0.000 % |
363.73/364.07	c |    498804 |    1100    22000   110000 |   108073   101893    145 |  0.000 % |
365.02/365.32	c |    500345 |    1100    22000   110000 |   103091   103434    145 |  0.000 % |
366.32/366.63	c |    502040 |    1100    22000   110000 |   103091    92122    145 |  0.000 % |
367.82/368.13	c |    503904 |    1100    22000   110000 |   103091    93986    145 |  0.000 % |
369.42/369.72	c |    505953 |    1100    22000   110000 |   103091    96035    145 |  0.000 % |
371.22/371.56	c |    508206 |    1100    22000   110000 |   103091    98288    145 |  0.000 % |
373.42/373.74	c |    510684 |    1100    22000   110000 |   100082    89189    146 |  0.000 % |
375.42/375.72	c |    513409 |    1100    22000   110000 |   100082    91914    146 |  0.000 % |
377.62/377.99	c |    516407 |    1100    22000   110000 |   100082    94912    146 |  0.000 % |
380.32/380.62	c |    519704 |    1100    22000   110000 |   100082    98209    146 |  0.000 % |
383.12/383.46	c |    523330 |    1100    22000   110000 |    98505    91263    146 |  0.000 % |
386.12/386.48	c |    527317 |    1100    22000   110000 |    98505    95250    146 |  0.000 % |
389.71/390.07	c |    531702 |    1100    22000   110000 |    97934    89720    147 |  0.000 % |
393.52/393.83	c |    536525 |    1100    22000   110000 |    97934    94543    148 |  0.000 % |
393.61/393.94	c |    536626 |    1100    22000   110000 |    97934    94644    148 |  0.000 % |
393.71/394.03	c |    536736 |    1100    22000   110000 |    97934    94754    148 |  0.000 % |
393.81/394.16	c |    536857 |    1100    22000   110000 |    97934    94875    148 |  0.000 % |
393.91/394.26	c |    536990 |    1100    22000   110000 |    97934    95008    148 |  0.000 % |
394.11/394.41	c |    537138 |    1100    22000   110000 |    97934    95156    148 |  0.000 % |
394.21/394.54	c |    537298 |    1100    22000   110000 |    97934    95316    148 |  0.000 % |
394.31/394.69	c |    537475 |    1100    22000   110000 |    97934    95493    148 |  0.000 % |
394.52/394.87	c |    537669 |    1100    22000   110000 |    97934    95687    147 |  0.000 % |
394.72/395.07	c |    537881 |    1100    22000   110000 |    97934    95899    147 |  0.000 % |
394.91/395.28	c |    538114 |    1100    22000   110000 |    97934    96132    147 |  0.000 % |
395.21/395.51	c |    538373 |    1100    22000   110000 |    97934    96391    147 |  0.000 % |
395.41/395.73	c |    538657 |    1100    22000   110000 |    97934    96675    147 |  0.000 % |
395.62/395.96	c |    538966 |    1100    22000   110000 |    97934    96984    147 |  0.000 % |
395.91/396.28	c |    539305 |    1100    22000   110000 |    97934    97323    147 |  0.000 % |
396.31/396.61	c |    539677 |    1100    22000   110000 |    97934    97695    147 |  0.000 % |
396.61/396.95	c |    540087 |    1100    22000   110000 |    98019    98105    147 |  0.000 % |
397.01/397.37	c |    540536 |    1100    22000   110000 |    98019    88290    147 |  0.000 % |
397.41/397.75	c |    541029 |    1100    22000   110000 |    98019    88783    147 |  0.000 % |
397.82/398.20	c |    541571 |    1100    22000   110000 |    98019    89325    147 |  0.000 % |
398.41/398.70	c |    542168 |    1100    22000   110000 |    98019    89922    147 |  0.000 % |
398.92/399.22	c |    542824 |    1100    22000   110000 |    98019    90578    147 |  0.000 % |
399.51/399.81	c |    543545 |    1100    22000   110000 |    98019    91299    147 |  0.000 % |
400.12/400.40	c |    544337 |    1100    22000   110000 |    98019    92091    147 |  0.000 % |
400.71/401.08	c |    545210 |    1100    22000   110000 |    98019    92964    147 |  0.000 % |
401.51/401.85	c |    546168 |    1100    22000   110000 |    98019    93922    147 |  0.000 % |
402.31/402.68	c |    547224 |    1100    22000   110000 |    98019    94978    147 |  0.000 % |
403.21/403.53	c |    548382 |    1100    22000   110000 |    98019    96136    147 |  0.000 % |
404.11/404.48	c |    549656 |    1100    22000   110000 |    98019    97410    147 |  0.000 % |
405.31/405.63	c |    551057 |    1100    22000   110000 |    97755    87991    146 |  0.000 % |
406.50/406.84	c |    552597 |    1100    22000   110000 |    97755    89531    146 |  0.000 % |
407.70/408.09	c |    554291 |    1100    22000   110000 |    97755    91225    146 |  0.000 % |
409.09/409.48	c |    556154 |    1100    22000   110000 |    97755    93088    146 |  0.000 % |
410.69/411.04	c |    558203 |    1100    22000   110000 |    97755    95137    146 |  0.000 % |
412.48/412.87	c |    560457 |    1100    22000   110000 |    96934    87376    146 |  0.000 % |
414.38/414.70	c |    562938 |    1100    22000   110000 |    96934    89857    146 |  0.000 % |
416.38/416.76	c |    565663 |    1100    22000   110000 |    96934    92582    146 |  0.000 % |
418.68/419.06	c |    568664 |    1100    22000   110000 |    96934    95583    146 |  0.000 % |
421.18/421.52	c |    571963 |    1100    22000   110000 | 2147483647    98882    146 |  0.000 % |
423.97/424.33	c |    575588 |    1100    22000   110000 | 2147483647   102507    147 |  0.000 % |
427.37/427.74	c |    579575 |    1100    22000   110000 | 2147483647   106494    147 |  0.000 % |
430.87/431.30	c |    583960 |    1100    22000   110000 |   106921    97047    147 |  0.000 % |
434.77/435.18	c |    588788 |    1100    22000   110000 |   106921   101875    147 |  0.000 % |
438.77/439.20	c |    594093 |    1100    22000   110000 |   103087    93988    148 |  0.000 % |
438.97/439.30	c |    594193 |    1100    22000   110000 |   103087    94088    148 |  0.000 % |
439.07/439.40	c |    594303 |    1100    22000   110000 |   103087    94198    148 |  0.000 % |
439.17/439.51	c |    594425 |    1100    22000   110000 |   103087    94320    148 |  0.000 % |
439.27/439.64	c |    594559 |    1100    22000   110000 |   103087    94454    148 |  0.000 % |
439.37/439.79	c |    594705 |    1100    22000   110000 |   103087    94600    148 |  0.000 % |
439.57/439.94	c |    594865 |    1100    22000   110000 |   103087    94760    148 |  0.000 % |
439.77/440.10	c |    595042 |    1100    22000   110000 |   103087    94937    148 |  0.000 % |
439.87/440.30	c |    595237 |    1100    22000   110000 |   103087    95132    148 |  0.000 % |
440.07/440.48	c |    595449 |    1100    22000   110000 |   103087    95344    148 |  0.000 % |
440.37/440.70	c |    595682 |    1100    22000   110000 |   103087    95577    148 |  0.000 % |
440.57/440.91	c |    595941 |    1100    22000   110000 |   103087    95836    148 |  0.000 % |
440.77/441.17	c |    596222 |    1100    22000   110000 |   103087    96117    148 |  0.000 % |
441.06/441.42	c |    596533 |    1100    22000   110000 |   103087    96428    148 |  0.000 % |
441.36/441.76	c |    596872 |    1100    22000   110000 |   103087    96767    148 |  0.000 % |
441.66/442.07	c |    597244 |    1100    22000   110000 |   103087    97139    148 |  0.000 % |
442.06/442.41	c |    597653 |    1100    22000   110000 |   103087    97548    148 |  0.000 % |
442.36/442.76	c |    598102 |    1100    22000   110000 |   103087    97997    148 |  0.000 % |
442.76/443.16	c |    598599 |    1100    22000   110000 |   103087    98494    148 |  0.000 % |
443.26/443.67	c |    599141 |    1100    22000   110000 |   103087    99036    148 |  0.000 % |
443.76/444.19	c |    599737 |    1100    22000   110000 |   103087    99632    148 |  0.000 % |
444.36/444.73	c |    600392 |    1100    22000   110000 |    99895   100287    148 |  0.000 % |
444.96/445.34	c |    601113 |    1100    22000   110000 |    99895    88190    147 |  0.000 % |
445.56/445.94	c |    601905 |    1100    22000   110000 |    99895    88982    147 |  0.000 % |
446.27/446.60	c |    602776 |    1100    22000   110000 |    99895    89853    147 |  0.000 % |
446.96/447.37	c |    603735 |    1100    22000   110000 |    99895    90812    147 |  0.000 % |
447.76/448.16	c |    604789 |    1100    22000   110000 |    99895    91866    147 |  0.000 % |
448.66/449.03	c |    605949 |    1100    22000   110000 |    99895    93026    147 |  0.000 % |
449.56/449.97	c |    607222 |    1100    22000   110000 |    99895    94299    147 |  0.000 % |
450.55/450.98	c |    608622 |    1100    22000   110000 |    99895    95699    147 |  0.000 % |
451.75/452.10	c |    610163 |    1100    22000   110000 |    97078    97240    147 |  0.000 % |
452.94/453.36	c |    611859 |    1100    22000   110000 |    97078    88775    146 |  0.000 % |
454.34/454.74	c |    613722 |    1100    22000   110000 |    97078    90638    146 |  0.000 % |
455.84/456.29	c |    615771 |    1100    22000   110000 |    97078    92687    146 |  0.000 % |
457.54/457.95	c |    618024 |    1100    22000   110000 |    97078    94940    146 |  0.000 % |
459.64/460.01	c |    620502 |    1100    22000   110000 | 2147483647    97418    146 |  0.000 % |
461.84/462.28	c |    623228 |    1100    22000   110000 | 2147483647   100144    146 |  0.000 % |
464.34/464.71	c |    626225 |    1100    22000   110000 | 2147483647   103141    146 |  0.000 % |
467.04/467.48	c |    629522 |    1100    22000   110000 | 2147483647   106438    146 |  0.000 % |
470.03/470.49	c |    633148 |    1100    22000   110000 |   106917    95409    145 |  0.000 % |
473.43/473.82	c |    637135 |    1100    22000   110000 |   106917    99396    145 |  0.000 % |
477.13/477.52	c |    641522 |    1100    22000   110000 |   102262    90765    147 |  0.000 % |
480.93/481.30	c |    646345 |    1100    22000   110000 |   102262    95588    146 |  0.000 % |
485.13/485.56	c |    651650 |    1100    22000   110000 |    99243    88825    147 |  0.000 % |
489.63/490.03	c |    657485 |    1100    22000   110000 |    99243    94660    148 |  0.000 % |
489.73/490.13	c |    657586 |    1100    22000   110000 |    99243    94761    148 |  0.000 % |
489.83/490.24	c |    657697 |    1100    22000   110000 |    99243    94872    148 |  0.000 % |
489.93/490.35	c |    657818 |    1100    22000   110000 |    99243    94993    148 |  0.000 % |
490.03/490.47	c |    657951 |    1100    22000   110000 |    99243    95126    148 |  0.000 % |
490.23/490.60	c |    658098 |    1100    22000   110000 |    99243    95273    147 |  0.000 % |
490.32/490.74	c |    658259 |    1100    22000   110000 |    99243    95434    147 |  0.000 % |
490.52/490.91	c |    658435 |    1100    22000   110000 |    99243    95610    147 |  0.000 % |
490.72/491.10	c |    658630 |    1100    22000   110000 |    99243    95805    147 |  0.000 % |
490.82/491.29	c |    658843 |    1100    22000   110000 |    99243    96018    147 |  0.000 % |
491.02/491.49	c |    659076 |    1100    22000   110000 |    99243    96251    147 |  0.000 % |
491.33/491.74	c |    659334 |    1100    22000   110000 |    99243    96509    147 |  0.000 % |
491.52/491.99	c |    659615 |    1100    22000   110000 |    99243    96790    147 |  0.000 % |
491.82/492.28	c |    659929 |    1100    22000   110000 |    99243    97104    147 |  0.000 % |
492.12/492.55	c |    660270 |    1100    22000   110000 |    97176    97445    147 |  0.000 % |
492.52/492.92	c |    660644 |    1100    22000   110000 |    97176    86833    147 |  0.000 % |
492.82/493.26	c |    661053 |    1100    22000   110000 |    97176    87242    147 |  0.000 % |
493.22/493.64	c |    661504 |    1100    22000   110000 |    97176    87693    147 |  0.000 % |
493.62/494.08	c |    661997 |    1100    22000   110000 |    97176    88186    147 |  0.000 % |
494.12/494.55	c |    662540 |    1100    22000   110000 |    97176    88729    147 |  0.000 % |
494.63/495.03	c |    663137 |    1100    22000   110000 |    97176    89326    147 |  0.000 % |
495.22/495.61	c |    663792 |    1100    22000   110000 |    97176    89981    147 |  0.000 % |
495.72/496.15	c |    664512 |    1100    22000   110000 |    97176    90701    146 |  0.000 % |
496.42/496.80	c |    665304 |    1100    22000   110000 |    97176    91493    146 |  0.000 % |
497.12/497.54	c |    666175 |    1100    22000   110000 |    97176    92364    146 |  0.000 % |
497.82/498.27	c |    667133 |    1100    22000   110000 |    97176    93322    147 |  0.000 % |
498.62/499.06	c |    668186 |    1100    22000   110000 |    97176    94375    146 |  0.000 % |
499.52/499.90	c |    669344 |    1100    22000   110000 |    97176    95533    146 |  0.000 % |
500.42/500.88	c |    670617 |    1100    22000   110000 |    96191    86667    146 |  0.000 % |
501.42/501.81	c |    672017 |    1100    22000   110000 |    96191    88067    146 |  0.000 % |
502.62/503.01	c |    673557 |    1100    22000   110000 |    96191    89607    146 |  0.000 % |
503.82/504.28	c |    675251 |    1100    22000   110000 |    96191    91301    146 |  0.000 % |
505.22/505.69	c |    677115 |    1100    22000   110000 |    96191    93165    146 |  0.000 % |
506.72/507.19	c |    679165 |    1100    22000   110000 |    96191    95215    146 |  0.000 % |
508.41/508.88	c |    681421 |    1100    22000   110000 | 2147483647    97471    146 |  0.000 % |
510.51/510.90	c |    683899 |    1100    22000   110000 | 2147483647    99949    146 |  0.000 % |
512.61/513.10	c |    686625 |    1100    22000   110000 | 2147483647   102675    146 |  0.000 % |
515.11/515.58	c |    689623 |    1100    22000   110000 | 2147483647   105673    146 |  0.000 % |
517.91/518.34	c |    692922 |    1100    22000   110000 |   106051    96371    145 |  0.000 % |
520.91/521.33	c |    696547 |    1100    22000   110000 |   106051    99996    146 |  0.000 % |
524.21/524.66	c |    700534 |    1100    22000   110000 |   103450    90905    147 |  0.000 % |
527.61/528.07	c |    704921 |    1100    22000   110000 |   103450    95292    147 |  0.000 % |
531.61/532.09	c |    709744 |    1100    22000   110000 |   103450   100115    147 |  0.000 % |
535.80/536.27	c |    715049 |    1100    22000   110000 |   100372    93281    147 |  0.000 % |
540.50/540.95	c |    720885 |    1100    22000   110000 |    98233    87466    147 |  0.000 % |
545.20/545.62	c |    727303 |    1100    22000   110000 |    98233    93884    147 |  0.000 % |
545.20/545.69	c |    727403 |    1100    22000   110000 |    98233    93984    147 |  0.000 % |
545.30/545.78	c |    727514 |    1100    22000   110000 |    98233    94095    147 |  0.000 % |
545.50/545.93	c |    727636 |    1100    22000   110000 |    98233    94217    147 |  0.000 % |
545.60/546.06	c |    727769 |    1100    22000   110000 |    98233    94350    147 |  0.000 % |
545.70/546.19	c |    727916 |    1100    22000   110000 |    98233    94497    147 |  0.000 % |
545.90/546.33	c |    728076 |    1100    22000   110000 |    98233    94657    147 |  0.000 % |
546.10/546.52	c |    728252 |    1100    22000   110000 |    98233    94833    147 |  0.000 % |
546.20/546.69	c |    728447 |    1100    22000   110000 |    98233    95028    147 |  0.000 % |
546.39/546.88	c |    728663 |    1100    22000   110000 |    98233    95244    147 |  0.000 % |
546.59/547.05	c |    728897 |    1100    22000   110000 |    98233    95478    147 |  0.000 % |
546.79/547.26	c |    729153 |    1100    22000   110000 |    98233    95734    147 |  0.000 % |
547.09/547.51	c |    729436 |    1100    22000   110000 |    98233    96017    147 |  0.000 % |
547.30/547.76	c |    729745 |    1100    22000   110000 |    98233    96326    147 |  0.000 % |
547.59/548.05	c |    730084 |    1100    22000   110000 |    96581    96665    147 |  0.000 % |
547.99/548.44	c |    730457 |    1100    22000   110000 |    96581    87055    146 |  0.000 % |
548.29/548.78	c |    730867 |    1100    22000   110000 |    96581    87465    146 |  0.000 % |
548.69/549.14	c |    731316 |    1100    22000   110000 |    96581    87914    146 |  0.000 % |
549.09/549.52	c |    731811 |    1100    22000   110000 |    96581    88409    146 |  0.000 % |
549.50/549.95	c |    732354 |    1100    22000   110000 |    96581    88952    146 |  0.000 % |
549.99/550.42	c |    732952 |    1100    22000   110000 |    96581    89550    146 |  0.000 % |
550.49/550.94	c |    733607 |    1100    22000   110000 |    96581    90205    146 |  0.000 % |
550.99/551.49	c |    734327 |    1100    22000   110000 |    96581    90925    146 |  0.000 % |
551.69/552.12	c |    735119 |    1100    22000   110000 |    96581    91717    146 |  0.000 % |
552.29/552.79	c |    735990 |    1100    22000   110000 |    96581    92588    146 |  0.000 % |
553.09/553.58	c |    736949 |    1100    22000   110000 |    96581    93547    146 |  0.000 % |
553.89/554.39	c |    738003 |    1100    22000   110000 |    96581    94601    146 |  0.000 % |
554.99/555.45	c |    739163 |    1100    22000   110000 |    96581    95761    146 |  0.000 % |
555.99/556.50	c |    740436 |    1100    22000   110000 |    96599    87002    145 |  0.000 % |
557.09/557.59	c |    741838 |    1100    22000   110000 |    96599    88404    145 |  0.000 % |
558.29/558.78	c |    743378 |    1100    22000   110000 |    96599    89944    145 |  0.000 % |
559.59/560.06	c |    745073 |    1100    22000   110000 |    96599    91639    145 |  0.000 % |
561.09/561.55	c |    746937 |    1100    22000   110000 |    96599    93503    145 |  0.000 % |
562.69/563.11	c |    748986 |    1100    22000   110000 |    96599    95552    145 |  0.000 % |
564.49/564.97	c |    751239 |    1100    22000   110000 | 2147483647    97805    145 |  0.000 % |
566.39/566.87	c |    753717 |    1100    22000   110000 | 2147483647   100283    146 |  0.000 % |
568.58/569.02	c |    756442 |    1100    22000   110000 | 2147483647   103008    146 |  0.000 % |
571.08/571.58	c |    759439 |    1100    22000   110000 | 2147483647   106005    146 |  0.000 % |
573.79/574.21	c |    762735 |    1100    22000   110000 |   106567    97118    147 |  0.000 % |
576.58/577.06	c |    766363 |    1100    22000   110000 |   106567   100746    147 |  0.000 % |
579.88/580.36	c |    770350 |    1100    22000   110000 |   104384   104733    147 |  0.000 % |
583.28/583.73	c |    774735 |    1100    22000   110000 |   104384    96565    147 |  0.000 % |
587.17/587.68	c |    779559 |    1100    22000   110000 |   104384   101389    148 |  0.000 % |
591.57/592.05	c |    784868 |    1100    22000   110000 |   101831    94781    149 |  0.000 % |
596.27/596.71	c |    790703 |    1100    22000   110000 |    99913    88413    148 |  0.000 % |
601.07/601.54	c |    797122 |    1100    22000   110000 |    99913    94832    149 |  0.000 % |
606.67/607.13	c |    804181 |    1100    22000   110000 |    97710    91674    149 |  0.000 % |
606.77/607.20	c |    804281 |    1100    22000   110000 |    97710    91774    149 |  0.000 % |
606.86/607.31	c |    804392 |    1100    22000   110000 |    97710    91885    149 |  0.000 % |
606.96/607.42	c |    804513 |    1100    22000   110000 |    97710    92006    149 |  0.000 % |
607.06/607.57	c |    804647 |    1100    22000   110000 |    97710    92140    149 |  0.000 % |
607.26/607.71	c |    804794 |    1100    22000   110000 |    97710    92287    149 |  0.000 % |
607.36/607.85	c |    804954 |    1100    22000   110000 |    97710    92447    149 |  0.000 % |
607.56/608.00	c |    805130 |    1100    22000   110000 |    97710    92623    149 |  0.000 % |
607.66/608.15	c |    805326 |    1100    22000   110000 |    97710    92819    149 |  0.000 % |
607.87/608.33	c |    805538 |    1100    22000   110000 |    97710    93031    149 |  0.000 % |
608.06/608.57	c |    805772 |    1100    22000   110000 |    97710    93265    149 |  0.000 % |
608.36/608.81	c |    806028 |    1100    22000   110000 |    97710    93521    149 |  0.000 % |
608.56/609.06	c |    806311 |    1100    22000   110000 |    97710    93804    149 |  0.000 % |
608.87/609.34	c |    806620 |    1100    22000   110000 |    97710    94113    149 |  0.000 % |
609.16/609.63	c |    806959 |    1100    22000   110000 |    97710    94452    149 |  0.000 % |
609.46/609.95	c |    807331 |    1100    22000   110000 |    97710    94824    149 |  0.000 % |
609.86/610.30	c |    807741 |    1100    22000   110000 |    97710    95234    149 |  0.000 % |
610.16/610.68	c |    808190 |    1100    22000   110000 |    97710    95683    149 |  0.000 % |
610.56/611.09	c |    808683 |    1100    22000   110000 |    97710    96176    148 |  0.000 % |
611.07/611.52	c |    809227 |    1100    22000   110000 |    97710    96720    148 |  0.000 % |
611.56/612.01	c |    809823 |    1100    22000   110000 |    97710    97316    148 |  0.000 % |
612.17/612.65	c |    810481 |    1100    22000   110000 |    97494    87422    148 |  0.000 % |
612.76/613.20	c |    811204 |    1100    22000   110000 |    97494    88145    148 |  0.000 % |
613.26/613.78	c |    811996 |    1100    22000   110000 |    97494    88937    148 |  0.000 % |
613.96/614.45	c |    812868 |    1100    22000   110000 |    97494    89809    148 |  0.000 % |
614.76/615.20	c |    813827 |    1100    22000   110000 |    97494    90768    148 |  0.000 % |
615.46/615.98	c |    814882 |    1100    22000   110000 |    97494    91823    148 |  0.000 % |
616.36/616.82	c |    816040 |    1100    22000   110000 |    97494    92981    148 |  0.000 % |
617.36/617.89	c |    817313 |    1100    22000   110000 |    97494    94254    148 |  0.000 % |
618.56/619.02	c |    818715 |    1100    22000   110000 |    97494    95656    148 |  0.000 % |
619.66/620.17	c |    820255 |    1100    22000   110000 | 2147483647    97196    148 |  0.000 % |
621.06/621.55	c |    821950 |    1100    22000   110000 | 2147483647    98891    148 |  0.000 % |
622.56/623.03	c |    823814 |    1100    22000   110000 | 2147483647   100755    148 |  0.000 % |
624.26/624.80	c |    825863 |    1100    22000   110000 | 2147483647   102804    148 |  0.000 % |
626.16/626.69	c |    828117 |    1100    22000   110000 | 2147483647   105058    148 |  0.000 % |
628.46/628.90	c |    830598 |    1100    22000   110000 |   106941    94204    149 |  0.000 % |
630.66/631.18	c |    833325 |    1100    22000   110000 |   106941    96931    149 |  0.000 % |
633.16/633.67	c |    836325 |    1100    22000   110000 |   106941    99931    149 |  0.000 % |
635.76/636.26	c |    839622 |    1100    22000   110000 |   106941   103228    149 |  0.000 % |
638.56/639.03	c |    843250 |    1100    22000   110000 |   103608    93066    150 |  0.000 % |
641.45/641.96	c |    847241 |    1100    22000   110000 |   103608    97057    150 |  0.000 % |
645.05/645.55	c |    851626 |    1100    22000   110000 |    99816    91317    149 |  0.000 % |
648.95/649.47	c |    856449 |    1100    22000   110000 |    99816    96140    150 |  0.000 % |
653.45/653.93	c |    861756 |    1100    22000   110000 |    99691    91191    149 |  0.000 % |
658.45/659.00	c |    867594 |    1100    22000   110000 |    99691    97029    150 |  0.000 % |
663.65/664.15	c |    874013 |    1100    22000   110000 |    99436    92373    149 |  0.000 % |
669.14/669.65	c |    881074 |    1100    22000   110000 |    98361    86852    149 |  0.000 % |
674.85/675.35	c |    888842 |    1100    22000   110000 |    98361    94620    149 |  0.000 % |
674.94/675.44	c |    888943 |    1100    22000   110000 |    98361    94721    149 |  0.000 % |
675.04/675.54	c |    889053 |    1100    22000   110000 |    98361    94831    149 |  0.000 % |
675.14/675.65	c |    889174 |    1100    22000   110000 |    98361    94952    149 |  0.000 % |
675.24/675.77	c |    889307 |    1100    22000   110000 |    98361    95085    149 |  0.000 % |
675.44/675.92	c |    889454 |    1100    22000   110000 |    98361    95232    149 |  0.000 % |
675.54/676.07	c |    889614 |    1100    22000   110000 |    98361    95392    149 |  0.000 % |
675.74/676.23	c |    889791 |    1100    22000   110000 |    98361    95569    149 |  0.000 % |
675.94/676.40	c |    889984 |    1100    22000   110000 |    98361    95762    149 |  0.000 % |
676.04/676.58	c |    890197 |    1100    22000   110000 |    95778    95975    149 |  0.000 % |
676.23/676.79	c |    890430 |    1100    22000   110000 |    95778    84688    148 |  0.000 % |
676.43/676.98	c |    890687 |    1100    22000   110000 |    95778    84945    148 |  0.000 % |
676.63/677.18	c |    890968 |    1100    22000   110000 |    95778    85226    148 |  0.000 % |
676.93/677.46	c |    891277 |    1100    22000   110000 |    95778    85535    148 |  0.000 % |
677.23/677.71	c |    891616 |    1100    22000   110000 |    95778    85874    148 |  0.000 % |
677.43/677.97	c |    891989 |    1100    22000   110000 |    95778    86247    148 |  0.000 % |
677.73/678.28	c |    892399 |    1100    22000   110000 |    95778    86657    148 |  0.000 % |
678.03/678.58	c |    892851 |    1100    22000   110000 |    95778    87109    148 |  0.000 % |
678.43/678.93	c |    893344 |    1100    22000   110000 |    95778    87602    148 |  0.000 % |
678.83/679.31	c |    893886 |    1100    22000   110000 |    95778    88144    148 |  0.000 % |
679.23/679.77	c |    894482 |    1100    22000   110000 |    95778    88740    148 |  0.000 % |
679.73/680.26	c |    895137 |    1100    22000   110000 |    95778    89395    148 |  0.000 % |
680.23/680.76	c |    895857 |    1100    22000   110000 |    95778    90115    148 |  0.000 % |
680.83/681.33	c |    896649 |    1100    22000   110000 |    95778    90907    148 |  0.000 % |
681.43/681.97	c |    897520 |    1100    22000   110000 |    95778    91778    148 |  0.000 % |
682.23/682.79	c |    898479 |    1100    22000   110000 |    95778    92737    148 |  0.000 % |
683.13/683.63	c |    899533 |    1100    22000   110000 |    95778    93791    148 |  0.000 % |
684.13/684.63	c |    900691 |    1100    22000   110000 | 2147483647    94949    147 |  0.000 % |
685.13/685.65	c |    901964 |    1100    22000   110000 | 2147483647    96222    147 |  0.000 % |
686.23/686.74	c |    903364 |    1100    22000   110000 | 2147483647    97622    147 |  0.000 % |
687.53/688.03	c |    904904 |    1100    22000   110000 | 2147483647    99162    147 |  0.000 % |
688.93/689.44	c |    906598 |    1100    22000   110000 | 2147483647   100856    148 |  0.000 % |
690.53/691.09	c |    908463 |    1100    22000   110000 | 2147483647   102721    147 |  0.000 % |
692.43/692.90	c |    910513 |    1100    22000   110000 |   104259    91394    148 |  0.000 % |
694.23/694.74	c |    912766 |    1100    22000   110000 |   104259    93647    148 |  0.000 % |
696.22/696.71	c |    915246 |    1100    22000   110000 |   104259    96127    147 |  0.000 % |
698.52/699.02	c |    917971 |    1100    22000   110000 |   104259    98852    147 |  0.000 % |
700.92/701.46	c |    920969 |    1100    22000   110000 |   100881    89744    148 |  0.000 % |
703.32/703.87	c |    924266 |    1100    22000   110000 |   100881    93041    147 |  0.000 % |
706.22/706.74	c |    927891 |    1100    22000   110000 |   100881    96666    148 |  0.000 % |
709.42/709.97	c |    931878 |    1100    22000   110000 |    98776    90265    148 |  0.000 % |
712.82/713.34	c |    936264 |    1100    22000   110000 |    98776    94651    148 |  0.000 % |
716.62/717.18	c |    941088 |    1100    22000   110000 | 2147483647    99475    148 |  0.000 % |
720.91/721.42	c |    946393 |    1100    22000   110000 | 2147483647   104780    149 |  0.000 % |
725.81/726.32	c |    952228 |    1100    22000   110000 |   108387    96914    148 |  0.000 % |
731.30/731.87	c |    958646 |    1100    22000   110000 |   108387   103332    149 |  0.000 % |
737.61/738.15	c |    965705 |    1100    22000   110000 |   104687    97097    151 |  0.000 % |
743.90/744.43	c |    973469 |    1100    22000   110000 |   101392    92482    151 |  0.000 % |
751.10/751.64	c |    982011 |    1100    22000   110000 |    99015    89851    153 |  0.000 % |
751.20/751.75	c |    982112 |    1100    22000   110000 |    99015    89952    153 |  0.000 % |
751.30/751.85	c |    982222 |    1100    22000   110000 |    99015    90062    153 |  0.000 % |
751.40/751.97	c |    982346 |    1100    22000   110000 |    99015    90186    153 |  0.000 % |
751.60/752.10	c |    982479 |    1100    22000   110000 |    99015    90319    153 |  0.000 % |
751.70/752.22	c |    982626 |    1100    22000   110000 |    99015    90466    153 |  0.000 % |
751.80/752.34	c |    982786 |    1100    22000   110000 |    99015    90626    152 |  0.000 % |
751.90/752.50	c |    982962 |    1100    22000   110000 |    99015    90802    152 |  0.000 % |
752.10/752.65	c |    983155 |    1100    22000   110000 |    99015    90995    152 |  0.000 % |
752.30/752.81	c |    983368 |    1100    22000   110000 |    99015    91208    152 |  0.000 % |
752.40/752.99	c |    983604 |    1100    22000   110000 |    99015    91444    152 |  0.000 % |
752.70/753.21	c |    983860 |    1100    22000   110000 |    99015    91700    152 |  0.000 % |
752.90/753.47	c |    984141 |    1100    22000   110000 |    99015    91981    152 |  0.000 % |
753.20/753.73	c |    984452 |    1100    22000   110000 |    99015    92292    152 |  0.000 % |
753.50/754.01	c |    984792 |    1100    22000   110000 |    99015    92632    152 |  0.000 % |
753.70/754.29	c |    985165 |    1100    22000   110000 |    99015    93005    152 |  0.000 % |
754.00/754.59	c |    985574 |    1100    22000   110000 |    99015    93414    152 |  0.000 % |
754.50/755.00	c |    986023 |    1100    22000   110000 |    99015    93863    152 |  0.000 % |
754.90/755.48	c |    986516 |    1100    22000   110000 |    99015    94356    152 |  0.000 % |
755.40/755.96	c |    987058 |    1100    22000   110000 |    99015    94898    152 |  0.000 % |
755.90/756.46	c |    987656 |    1100    22000   110000 |    99015    95496    152 |  0.000 % |
756.50/757.04	c |    988312 |    1100    22000   110000 |    99015    96152    152 |  0.000 % |
756.99/757.59	c |    989033 |    1100    22000   110000 |    99015    96873    152 |  0.000 % |
757.69/758.28	c |    989827 |    1100    22000   110000 |    99015    97667    151 |  0.000 % |
758.50/759.00	c |    990699 |    1100    22000   110000 |    97841    86948    153 |  0.000 % |
759.19/759.74	c |    991657 |    1100    22000   110000 |    97841    87906    153 |  0.000 % |
759.99/760.56	c |    992711 |    1100    22000   110000 |    97841    88960    152 |  0.000 % |
760.99/761.51	c |    993870 |    1100    22000   110000 |    97841    90119    153 |  0.000 % |
761.89/762.47	c |    995143 |    1100    22000   110000 |    97841    91392    152 |  0.000 % |
762.99/763.59	c |    996543 |    1100    22000   110000 |    97841    92792    152 |  0.000 % |
764.29/764.81	c |    998084 |    1100    22000   110000 |    97841    94333    152 |  0.000 % |
765.59/766.17	c |    999778 |    1100    22000   110000 |    97841    96027    152 |  0.000 % |
767.09/767.68	c |   1001642 |    1100    22000   110000 |    96251    87359    152 |  0.000 % |
768.59/769.16	c |   1003692 |    1100    22000   110000 |    96251    89409    152 |  0.000 % |
770.28/770.83	c |   1005948 |    1100    22000   110000 |    96251    91665    152 |  0.000 % |
772.28/772.85	c |   1008427 |    1100    22000   110000 |    96251    94144    152 |  0.000 % |
774.48/775.03	c |   1011152 |    1100    22000   110000 | 2147483647    96869    152 |  0.000 % |
776.78/777.38	c |   1014149 |    1100    22000   110000 | 2147483647    99866    152 |  0.000 % |
779.48/780.08	c |   1017446 |    1100    22000   110000 | 2147483647   103163    151 |  0.000 % |
782.48/783.04	c |   1021071 |    1100    22000   110000 |   105717    94556    151 |  0.000 % |
785.68/786.22	c |   1025058 |    1100    22000   110000 |   105717    98543    151 |  0.000 % |
789.08/789.68	c |   1029446 |    1100    22000   110000 |   105717   102931    151 |  0.000 % |
793.18/793.74	c |   1034270 |    1100    22000   110000 |   103485    94511    152 |  0.000 % |
797.58/798.13	c |   1039575 |    1100    22000   110000 |   103485    99816    152 |  0.000 % |
801.97/802.58	c |   1045410 |    1100    22000   110000 |   100242    93212    150 |  0.000 % |
806.97/807.51	c |   1051829 |    1100    22000   110000 |    97803    89100    149 |  0.000 % |
812.57/813.20	c |   1058889 |    1100    22000   110000 |    97803    96160    150 |  0.000 % |
818.77/819.35	c |   1066654 |    1100    22000   110000 | 2147483647   103925    150 |  0.000 % |
825.76/826.38	c |   1075194 |    1100    22000   110000 |   107271    99305    150 |  0.000 % |
834.06/834.63	c |   1084589 |    1100    22000   110000 |   104111    95637    151 |  0.000 % |
834.16/834.74	c |   1084691 |    1100    22000   110000 |   104111    95739    151 |  0.000 % |
834.26/834.85	c |   1084801 |    1100    22000   110000 |   104111    95849    151 |  0.000 % |
834.36/834.96	c |   1084923 |    1100    22000   110000 |   104111    95971    151 |  0.000 % |
834.56/835.10	c |   1085056 |    1100    22000   110000 |   104111    96104    151 |  0.000 % |
834.66/835.27	c |   1085203 |    1100    22000   110000 |   104111    96251    150 |  0.000 % |
834.86/835.42	c |   1085364 |    1100    22000   110000 |   104111    96412    150 |  0.000 % |
835.06/835.60	c |   1085540 |    1100    22000   110000 |   104111    96588    150 |  0.000 % |
835.26/835.81	c |   1085734 |    1100    22000   110000 |   104111    96782    150 |  0.000 % |
835.46/836.00	c |   1085946 |    1100    22000   110000 |   104111    96994    150 |  0.000 % |
835.66/836.22	c |   1086179 |    1100    22000   110000 |   104111    97227    150 |  0.000 % |
835.86/836.44	c |   1086435 |    1100    22000   110000 |   104111    97483    150 |  0.000 % |
836.16/836.71	c |   1086716 |    1100    22000   110000 |   104111    97764    150 |  0.000 % |
836.36/836.95	c |   1087026 |    1100    22000   110000 |   104111    98074    150 |  0.000 % |
836.66/837.28	c |   1087365 |    1100    22000   110000 |   104111    98413    150 |  0.000 % |
837.06/837.61	c |   1087737 |    1100    22000   110000 |   104111    98785    150 |  0.000 % |
837.36/837.94	c |   1088146 |    1100    22000   110000 |   104111    99194    150 |  0.000 % |
837.76/838.33	c |   1088597 |    1100    22000   110000 |   104111    99645    150 |  0.000 % |
838.16/838.79	c |   1089090 |    1100    22000   110000 |   104111   100138    150 |  0.000 % |
838.76/839.32	c |   1089632 |    1100    22000   110000 |   104111   100680    150 |  0.000 % |
839.26/839.83	c |   1090228 |    1100    22000   110000 |   101049   101276    150 |  0.000 % |
839.76/840.36	c |   1090883 |    1100    22000   110000 |   101049    88428    151 |  0.000 % |
840.36/840.94	c |   1091607 |    1100    22000   110000 |   101049    89152    151 |  0.000 % |
840.96/841.54	c |   1092399 |    1100    22000   110000 |   101049    89944    150 |  0.000 % |
841.56/842.15	c |   1093271 |    1100    22000   110000 |   101049    90816    150 |  0.000 % |
842.25/842.81	c |   1094229 |    1100    22000   110000 |   101049    91774    150 |  0.000 % |
842.95/843.59	c |   1095282 |    1100    22000   110000 |   101049    92827    150 |  0.000 % |
843.85/844.49	c |   1096441 |    1100    22000   110000 |   101049    93986    150 |  0.000 % |
844.85/845.41	c |   1097716 |    1100    22000   110000 |   101049    95261    150 |  0.000 % |
845.95/846.52	c |   1099116 |    1100    22000   110000 |   101049    96661    150 |  0.000 % |
847.15/847.74	c |   1100656 |    1100    22000   110000 |    97545    87652    150 |  0.000 % |
848.25/848.89	c |   1102350 |    1100    22000   110000 |    97545    89346    150 |  0.000 % |
849.55/850.16	c |   1104216 |    1100    22000   110000 |    97545    91212    151 |  0.000 % |
851.05/851.67	c |   1106266 |    1100    22000   110000 |    97545    93262    150 |  0.000 % |
852.75/853.30	c |   1108521 |    1100    22000   110000 |    97545    95517    150 |  0.000 % |
854.85/855.41	c |   1111000 |    1100    22000   110000 | 2147483647    97996    150 |  0.000 % |
857.04/857.66	c |   1113725 |    1100    22000   110000 | 2147483647   100721    150 |  0.000 % |
859.44/860.06	c |   1116723 |    1100    22000   110000 | 2147483647   103719    150 |  0.000 % |
862.24/862.87	c |   1120019 |    1100    22000   110000 |   106996   107015    150 |  0.000 % |
865.24/865.87	c |   1123644 |    1100    22000   110000 |   106996    97148    150 |  0.000 % |
868.45/869.08	c |   1127632 |    1100    22000   110000 |   106996   101136    150 |  0.000 % |
872.14/872.74	c |   1132018 |    1100    22000   110000 |   103504    91991    150 |  0.000 % |
875.74/876.38	c |   1136843 |    1100    22000   110000 |   103504    96816    150 |  0.000 % |
880.14/880.76	c |   1142151 |    1100    22000   110000 |    99974    89293    150 |  0.000 % |
884.74/885.37	c |   1147986 |    1100    22000   110000 |    99974    95128    150 |  0.000 % |
889.93/890.57	c |   1154405 |    1100    22000   110000 |    97142    90138    150 |  0.000 % |
895.73/896.31	c |   1161468 |    1100    22000   110000 |    95735    87125    149 |  0.000 % |
902.03/902.64	c |   1169232 |    1100    22000   110000 |    95735    94889    150 |  0.000 % |
909.22/909.87	c |   1177772 |    1100    22000   110000 |    95659    93193    150 |  0.000 % |
917.52/918.17	c |   1187166 |    1100    22000   110000 | 2147483647   102587    151 |  0.000 % |
927.42/928.07	c |   1197503 |    1100    22000   110000 |   105421    98784    153 |  0.000 % |
927.52/928.18	c |   1197603 |    1100    22000   110000 |   105421    98884    153 |  0.000 % |
927.62/928.28	c |   1197714 |    1100    22000   110000 |   105421    98995    153 |  0.000 % |
927.72/928.40	c |   1197837 |    1100    22000   110000 |   105421    99118    153 |  0.000 % |
927.92/928.52	c |   1197970 |    1100    22000   110000 |   105421    99251    153 |  0.000 % |
928.02/928.66	c |   1198119 |    1100    22000   110000 |   105421    99400    153 |  0.000 % |
928.22/928.80	c |   1198280 |    1100    22000   110000 |   105421    99561    153 |  0.000 % |
928.32/928.95	c |   1198456 |    1100    22000   110000 |   105421    99737    153 |  0.000 % |
928.52/929.13	c |   1198649 |    1100    22000   110000 |   105421    99930    153 |  0.000 % |
928.71/929.32	c |   1198862 |    1100    22000   110000 |   105421   100143    153 |  0.000 % |
928.92/929.53	c |   1199097 |    1100    22000   110000 |   105421   100378    153 |  0.000 % |
929.11/929.77	c |   1199353 |    1100    22000   110000 |   105421   100634    153 |  0.000 % |
929.41/930.03	c |   1199636 |    1100    22000   110000 |   105421   100917    153 |  0.000 % |
929.71/930.30	c |   1199948 |    1100    22000   110000 |   105421   101229    153 |  0.000 % |
930.02/930.60	c |   1200287 |    1100    22000   110000 |   101281   101568    153 |  0.000 % |
930.31/930.99	c |   1200660 |    1100    22000   110000 |   101281    87759    154 |  0.000 % |
930.61/931.29	c |   1201072 |    1100    22000   110000 |   101281    88171    153 |  0.000 % |
931.02/931.69	c |   1201521 |    1100    22000   110000 |   101281    88620    153 |  0.000 % |
931.51/932.11	c |   1202014 |    1100    22000   110000 |   101281    89113    153 |  0.000 % |
931.91/932.57	c |   1202557 |    1100    22000   110000 |   101281    89656    153 |  0.000 % |
932.41/933.07	c |   1203153 |    1100    22000   110000 |   101281    90252    153 |  0.000 % |
933.01/933.62	c |   1203808 |    1100    22000   110000 |   101281    90907    153 |  0.000 % |
933.61/934.24	c |   1204529 |    1100    22000   110000 |   101281    91628    153 |  0.000 % |
934.21/934.89	c |   1205322 |    1100    22000   110000 |   101281    92421    153 |  0.000 % |
934.91/935.57	c |   1206193 |    1100    22000   110000 |   101281    93292    153 |  0.000 % |
935.81/936.40	c |   1207151 |    1100    22000   110000 |   101281    94250    153 |  0.000 % |
936.61/937.25	c |   1208204 |    1100    22000   110000 |   101281    95303    152 |  0.000 % |
937.61/938.23	c |   1209364 |    1100    22000   110000 |   101281    96463    152 |  0.000 % |
938.71/939.30	c |   1210638 |    1100    22000   110000 |    97100    85946    153 |  0.000 % |
939.71/940.30	c |   1212040 |    1100    22000   110000 |    97100    87348    153 |  0.000 % |
940.81/941.50	c |   1213582 |    1100    22000   110000 |    97100    88890    153 |  0.000 % |
942.21/942.83	c |   1215276 |    1100    22000   110000 |    97100    90584    153 |  0.000 % |
943.71/944.34	c |   1217139 |    1100    22000   110000 |    97100    92447    153 |  0.000 % |
945.41/946.01	c |   1219188 |    1100    22000   110000 |    97100    94496    152 |  0.000 % |
947.20/947.86	c |   1221441 |    1100    22000   110000 |    95308    86577    152 |  0.000 % |
949.10/949.80	c |   1223919 |    1100    22000   110000 |    95308    89055    152 |  0.000 % |
951.30/951.94	c |   1226645 |    1100    22000   110000 |    95308    91781    152 |  0.000 % |
953.80/954.41	c |   1229642 |    1100    22000   110000 |    95308    94778    152 |  0.000 % |
956.30/956.97	c |   1232939 |    1100    22000   110000 |    95136    87927    151 |  0.000 % |
959.00/959.67	c |   1236565 |    1100    22000   110000 |    95136    91553    151 |  0.000 % |
961.90/962.56	c |   1240553 |    1100    22000   110000 | 2147483647    95541    151 |  0.000 % |
965.20/965.81	c |   1244938 |    1100    22000   110000 | 2147483647    99926    151 |  0.000 % |
969.19/969.87	c |   1249763 |    1100    22000   110000 | 2147483647   104751    151 |  0.000 % |
973.49/974.15	c |   1255068 |    1100    22000   110000 |   104988    97707    150 |  0.000 % |
978.09/978.78	c |   1260903 |    1100    22000   110000 |   102640    90911    150 |  0.000 % |
982.89/983.59	c |   1267321 |    1100    22000   110000 |   102640    97329    150 |  0.000 % |
988.39/989.08	c |   1274381 |    1100    22000   110000 |   100009    94130    148 |  0.000 % |
994.88/995.51	c |   1282146 |    1100    22000   110000 |    99750    91263    147 |  0.000 % |
1002.38/1003.01	c |   1290686 |    1100    22000   110000 |    99118    88019    148 |  0.000 % |
1009.87/1010.57	c |   1300081 |    1100    22000   110000 |    97335    97414    149 |  0.000 % |
1017.98/1018.63	c |   1310415 |    1100    22000   110000 |    97309    97724    151 |  0.000 % |
1026.67/1027.37	c |   1321782 |    1100    22000   110000 |    96104    87696    152 |  0.000 % |
1026.77/1027.44	c |   1321882 |    1100    22000   110000 |    96104    87796    152 |  0.000 % |
1026.87/1027.54	c |   1321995 |    1100    22000   110000 |    96104    87909    152 |  0.000 % |
1026.97/1027.65	c |   1322118 |    1100    22000   110000 |    96104    88032    152 |  0.000 % |
1027.07/1027.76	c |   1322251 |    1100    22000   110000 |    96104    88165    152 |  0.000 % |
1027.17/1027.89	c |   1322398 |    1100    22000   110000 |    96104    88312    152 |  0.000 % |
1027.37/1028.02	c |   1322558 |    1100    22000   110000 |    96104    88472    152 |  0.000 % |
1027.47/1028.17	c |   1322734 |    1100    22000   110000 |    96104    88648    152 |  0.000 % |
1027.67/1028.35	c |   1322927 |    1100    22000   110000 |    96104    88841    152 |  0.000 % |
1027.87/1028.52	c |   1323142 |    1100    22000   110000 |    96104    89056    152 |  0.000 % |
1028.07/1028.73	c |   1323375 |    1100    22000   110000 |    96104    89289    152 |  0.000 % |
1028.27/1028.94	c |   1323631 |    1100    22000   110000 |    96104    89545    151 |  0.000 % |
1028.47/1029.19	c |   1323912 |    1100    22000   110000 |    96104    89826    151 |  0.000 % |
1028.77/1029.43	c |   1324222 |    1100    22000   110000 |    96104    90136    151 |  0.000 % |
1028.97/1029.70	c |   1324564 |    1100    22000   110000 |    96104    90478    151 |  0.000 % |
1029.36/1030.04	c |   1324938 |    1100    22000   110000 |    96104    90852    151 |  0.000 % |
1029.76/1030.40	c |   1325347 |    1100    22000   110000 |    96104    91261    151 |  0.000 % |
1030.07/1030.78	c |   1325796 |    1100    22000   110000 |    96104    91710    151 |  0.000 % |
1030.46/1031.20	c |   1326292 |    1100    22000   110000 |    96104    92206    151 |  0.000 % |
1030.96/1031.60	c |   1326834 |    1100    22000   110000 |    96104    92748    151 |  0.000 % |
1031.36/1032.08	c |   1327430 |    1100    22000   110000 |    96104    93344    151 |  0.000 % |
1031.96/1032.62	c |   1328085 |    1100    22000   110000 |    96104    93999    151 |  0.000 % |
1032.56/1033.25	c |   1328806 |    1100    22000   110000 |    96104    94720    151 |  0.000 % |
1033.27/1033.95	c |   1329600 |    1100    22000   110000 |    96104    95514    151 |  0.000 % |
1033.96/1034.69	c |   1330471 |    1100    22000   110000 |    95914    85885    151 |  0.000 % |
1034.76/1035.42	c |   1331431 |    1100    22000   110000 |    95914    86845    151 |  0.000 % |
1035.56/1036.24	c |   1332485 |    1100    22000   110000 |    95914    87899    151 |  0.000 % |
1036.46/1037.16	c |   1333643 |    1100    22000   110000 |    95914    89057    151 |  0.000 % |
1037.36/1038.08	c |   1334918 |    1100    22000   110000 |    95914    90332    150 |  0.000 % |
1038.35/1039.08	c |   1336318 |    1100    22000   110000 |    95914    91732    150 |  0.000 % |
1039.55/1040.28	c |   1337858 |    1100    22000   110000 |    95914    93272    150 |  0.000 % |
1040.85/1041.58	c |   1339553 |    1100    22000   110000 |    95914    94967    150 |  0.000 % |
1042.55/1043.23	c |   1341416 |    1100    22000   110000 | 2147483647    96830    150 |  0.000 % |
1044.36/1045.03	c |   1343465 |    1100    22000   110000 | 2147483647    98879    150 |  0.000 % |
1046.15/1046.89	c |   1345718 |    1100    22000   110000 | 2147483647   101132    150 |  0.000 % |
1048.35/1049.05	c |   1348196 |    1100    22000   110000 | 2147483647   103610    150 |  0.000 % |
1050.75/1051.42	c |   1350922 |    1100    22000   110000 |   105414    93046    150 |  0.000 % |
1053.05/1053.75	c |   1353919 |    1100    22000   110000 |   105414    96043    149 |  0.000 % |
1055.75/1056.42	c |   1357215 |    1100    22000   110000 |   105414    99339    150 |  0.000 % |
1058.65/1059.36	c |   1360840 |    1100    22000   110000 |   102124    91354    150 |  0.000 % |
1061.75/1062.40	c |   1364827 |    1100    22000   110000 |   102124    95341    150 |  0.000 % |
1065.45/1066.10	c |   1369215 |    1100    22000   110000 |   102124    99729    150 |  0.000 % |
1069.24/1069.92	c |   1374038 |    1100    22000   110000 |   100516    92873    150 |  0.000 % |
1073.54/1074.24	c |   1379343 |    1100    22000   110000 |   100516    98178    150 |  0.000 % |
1078.24/1078.91	c |   1385178 |    1100    22000   110000 |    98835    92845    150 |  0.000 % |
1083.63/1084.37	c |   1391596 |    1100    22000   110000 |    97667    88437    150 |  0.000 % |
1089.13/1089.82	c |   1398656 |    1100    22000   110000 |    97667    95497    150 |  0.000 % |
1095.13/1095.88	c |   1406420 |    1100    22000   110000 |    96841    92653    150 |  0.000 % |
1102.23/1102.91	c |   1414963 |    1100    22000   110000 |    96233    91245    150 |  0.000 % |
1109.83/1110.57	c |   1424358 |    1100    22000   110000 | 2147483647   100640    150 |  0.000 % |
1119.13/1119.82	c |   1434696 |    1100    22000   110000 |   106282    97203    152 |  0.000 % |
1129.62/1130.32	c |   1446062 |    1100    22000   110000 |   102507    94677    154 |  0.000 % |
1139.51/1140.21	c |   1458567 |    1100    22000   110000 |    98615    93551    154 |  0.000 % |
1139.51/1140.29	c |   1458667 |    1100    22000   110000 |    98615    93651    154 |  0.000 % |
1139.61/1140.40	c |   1458778 |    1100    22000   110000 |    98615    93762    154 |  0.000 % |
1139.81/1140.51	c |   1458899 |    1100    22000   110000 |    98615    93883    154 |  0.000 % |
1139.92/1140.63	c |   1459032 |    1100    22000   110000 |    98615    94016    154 |  0.000 % |
1140.02/1140.78	c |   1459178 |    1100    22000   110000 |    98615    94162    154 |  0.000 % |
1140.21/1140.93	c |   1459338 |    1100    22000   110000 |    98615    94322    154 |  0.000 % |
1140.31/1141.08	c |   1459515 |    1100    22000   110000 |    98615    94499    154 |  0.000 % |
1140.51/1141.27	c |   1459708 |    1100    22000   110000 |    98615    94692    153 |  0.000 % |
1140.71/1141.45	c |   1459920 |    1100    22000   110000 |    98615    94904    153 |  0.000 % |
1140.91/1141.65	c |   1460155 |    1100    22000   110000 |    94984    95139    153 |  0.000 % |
1141.21/1141.91	c |   1460412 |    1100    22000   110000 |    94984    82901    153 |  0.000 % |
1141.41/1142.14	c |   1460693 |    1100    22000   110000 |    94984    83182    153 |  0.000 % |
1141.61/1142.38	c |   1461002 |    1100    22000   110000 |    94984    83491    153 |  0.000 % |
1142.01/1142.72	c |   1461342 |    1100    22000   110000 |    94984    83831    153 |  0.000 % |
1142.31/1143.01	c |   1461717 |    1100    22000   110000 |    94984    84206    153 |  0.000 % |
1142.61/1143.32	c |   1462126 |    1100    22000   110000 |    94984    84615    153 |  0.000 % |
1142.91/1143.66	c |   1462576 |    1100    22000   110000 |    94984    85065    153 |  0.000 % |
1143.32/1144.05	c |   1463070 |    1100    22000   110000 |    94984    85559    153 |  0.000 % |
1143.71/1144.47	c |   1463612 |    1100    22000   110000 |    94984    86101    153 |  0.000 % |
1144.21/1144.91	c |   1464208 |    1100    22000   110000 |    94984    86697    152 |  0.000 % |
1144.61/1145.39	c |   1464865 |    1100    22000   110000 |    94984    87354    152 |  0.000 % |
1145.21/1145.91	c |   1465587 |    1100    22000   110000 |    94984    88076    152 |  0.000 % |
1145.81/1146.58	c |   1466380 |    1100    22000   110000 |    94984    88869    152 |  0.000 % |
1146.61/1147.30	c |   1467252 |    1100    22000   110000 |    94984    89741    152 |  0.000 % |
1147.31/1148.06	c |   1468212 |    1100    22000   110000 |    94984    90701    152 |  0.000 % |
1148.21/1148.94	c |   1469265 |    1100    22000   110000 |    94984    91754    152 |  0.000 % |
1149.21/1149.92	c |   1470423 |    1100    22000   110000 |    92491    83014    152 |  0.000 % |
1150.11/1150.87	c |   1471696 |    1100    22000   110000 |    92491    84287    152 |  0.000 % |
1151.21/1151.90	c |   1473097 |    1100    22000   110000 |    92491    85688    152 |  0.000 % |
1152.41/1153.20	c |   1474640 |    1100    22000   110000 |    92491    87231    151 |  0.000 % |
1153.71/1154.48	c |   1476336 |    1100    22000   110000 |    92491    88927    151 |  0.000 % |
1155.01/1155.78	c |   1478199 |    1100    22000   110000 |    92491    90790    151 |  0.000 % |
1156.61/1157.33	c |   1480251 |    1100    22000   110000 | 2147483647    92842    151 |  0.000 % |
1158.21/1158.95	c |   1482504 |    1100    22000   110000 | 2147483647    95095    151 |  0.000 % |
1160.11/1160.83	c |   1484984 |    1100    22000   110000 | 2147483647    97575    151 |  0.000 % |
1162.10/1162.89	c |   1487709 |    1100    22000   110000 | 2147483647   100300    151 |  0.000 % |
1164.50/1165.27	c |   1490708 |    1100    22000   110000 |   102591    92660    150 |  0.000 % |
1167.00/1167.79	c |   1494006 |    1100    22000   110000 |   102591    95958    150 |  0.000 % |
1170.00/1170.79	c |   1497632 |    1100    22000   110000 |   102591    99584    150 |  0.000 % |
1173.39/1174.13	c |   1501621 |    1100    22000   110000 |   101952    92065    150 |  0.000 % |
1176.69/1177.49	c |   1506006 |    1100    22000   110000 |   101952    96450    149 |  0.000 % |
1180.79/1181.51	c |   1510830 |    1100    22000   110000 |   100446    88945    149 |  0.000 % |
1184.99/1185.72	c |   1516137 |    1100    22000   110000 |   100446    94252    149 |  0.000 % |
1189.80/1190.59	c |   1521973 |    1100    22000   110000 |    98115    88723    149 |  0.000 % |
1195.20/1195.98	c |   1528392 |    1100    22000   110000 |    98115    95142    149 |  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-1832489-1242773926/watcher-1832489-1242773926 -o /tmp/evaluation-result-1832489-1242773926/solver-1832489-1242773926 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832489-1242773926.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11111
/proc/meminfo: memFree=1807952/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305422250 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 240154017874 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11111/statm: 1339 235 195 169 0 50 0
[pid=11112] ppid=11111 vsize=5356 CPUtime=0
/proc/11112/stat : 11112 (SatELiteGTI) S 11111 11111 10880 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305422250 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/11112/statm: 1339 238 198 169 0 50 0
[pid=11114] ppid=11112 vsize=192 CPUtime=0
/proc/11114/stat : 11114 (sed) R 11112 11111 10880 0 -1 4194304 42 0 0 0 0 0 0 0 21 0 1 0 305422250 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 240151229717 0 0 4096 0 0 0 0 17 0 0 0
/proc/11114/statm: 48 23 16 11 0 11 0

[startup+0.036004 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11111
/proc/meminfo: memFree=1807952/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305422250 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102014 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11111
/proc/meminfo: memFree=1807952/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301038 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11111
/proc/meminfo: memFree=1807952/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701084 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 11111
/proc/meminfo: memFree=1807952/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50116 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 11117
/proc/meminfo: memFree=1801536/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=7320 CPUtime=1.41
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 1605 0 0 0 140 1 0 0 25 0 1 0 305422258 7495680 1591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 1830 1591 77 171 0 1657 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 12676

[startup+3.10134 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 11117
/proc/meminfo: memFree=1799104/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=11808 CPUtime=3
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 2736 0 0 0 299 1 0 0 25 0 1 0 305422258 12091392 2722 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 2952 2722 77 171 0 2779 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 17164

[startup+6.3017 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 11117
/proc/meminfo: memFree=1791112/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=18768 CPUtime=6.21
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 4457 0 0 0 618 3 0 0 25 0 1 0 305422258 19218432 4443 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 4692 4443 77 171 0 4519 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 24124

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 11117
/proc/meminfo: memFree=1780432/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=28616 CPUtime=12.6
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 6917 0 0 0 1255 5 0 0 25 0 1 0 305422258 29302784 6903 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 7154 6903 77 171 0 6981 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 33972

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 11117
/proc/meminfo: memFree=1765904/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=42596 CPUtime=25.4
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 10409 0 0 0 2531 9 0 0 25 0 1 0 305422258 43618304 10395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 10649 10395 77 171 0 10476 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 47952

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 11117
/proc/meminfo: memFree=1749328/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=58880 CPUtime=50.97
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 14445 0 0 0 5084 13 0 0 25 0 1 0 305422258 60293120 14431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 14720 14431 77 171 0 14547 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 64236

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 11117
/proc/meminfo: memFree=1748496/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=59540 CPUtime=102.14
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 14608 0 0 0 10201 13 0 0 25 0 1 0 305422258 60968960 14594 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 14885 14594 77 171 0 14712 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 64896

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1740048/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=67460 CPUtime=162.1
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 16623 0 0 0 16194 16 0 0 25 0 1 0 305422258 69079040 16609 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 16865 16609 77 171 0 16692 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 72816

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1739920/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=67724 CPUtime=222.06
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 16686 0 0 0 22190 16 0 0 25 0 1 0 305422258 69349376 16672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 16931 16672 77 171 0 16758 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 73080

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1738832/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=68648 CPUtime=282.03
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 16921 0 0 0 28186 17 0 0 25 0 1 0 305422258 70295552 16907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 17162 16907 77 171 0 16989 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 74004

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1737232/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=70232 CPUtime=342
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 17310 0 0 0 34183 17 0 0 25 0 1 0 305422258 71917568 17296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 17558 17296 77 171 0 17385 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 75588

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1736528/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=70760 CPUtime=401.97

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

/proc/11117/statm: 17723 17462 77 171 0 17550 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 76248

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1736080/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=70892 CPUtime=581.84
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 17476 0 0 0 58167 17 0 0 25 0 1 0 305422258 72593408 17462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 17723 17462 77 171 0 17550 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 76248

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1734800/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=72212 CPUtime=641.82
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 17786 0 0 0 64164 18 0 0 25 0 1 0 305422258 73945088 17772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18053 17772 77 171 0 17880 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 77568

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1734672/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=72212 CPUtime=701.78
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 17786 0 0 0 70160 18 0 0 25 0 1 0 305422258 73945088 17772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18053 17772 77 171 0 17880 0
Current children cumulated CPU time (s) 701.82
Current children cumulated vsize (KiB) 77568

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1733200/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=73524 CPUtime=761.76
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 18134 0 0 0 76158 18 0 0 25 0 1 0 305422258 75288576 18111 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18381 18111 77 171 0 18208 0
Current children cumulated CPU time (s) 761.8
Current children cumulated vsize (KiB) 78880

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1733136/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=73788 CPUtime=821.72
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 18209 0 0 0 82154 18 0 0 25 0 1 0 305422258 75558912 18186 1992294400 134512640 135215339 4294956240 18446744073709551615 134545655 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18447 18186 77 171 0 18274 0
Current children cumulated CPU time (s) 821.76
Current children cumulated vsize (KiB) 79144

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1732752/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=73788 CPUtime=881.7
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 18209 0 0 0 88152 18 0 0 25 0 1 0 305422258 75558912 18186 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18447 18186 77 171 0 18274 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 79144

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1732624/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=73788 CPUtime=941.67
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 18209 0 0 0 94149 18 0 0 25 0 1 0 305422258 75558912 18186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18447 18186 77 171 0 18274 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 79144

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1732560/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=73788 CPUtime=1001.64
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 18209 0 0 0 100146 18 0 0 25 0 1 0 305422258 75558912 18186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18447 18186 77 171 0 18274 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 79144

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1732432/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=73788 CPUtime=1061.61
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 18209 0 0 0 106143 18 0 0 25 0 1 0 305422258 75558912 18186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18447 18186 77 171 0 18274 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 79144

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1731920/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=74316 CPUtime=1121.58
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 18317 0 0 0 112140 18 0 0 25 0 1 0 305422258 76099584 18294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18579 18294 77 171 0 18406 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 79672

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1731856/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=74316 CPUtime=1181.55
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 18317 0 0 0 118137 18 0 0 25 0 1 0 305422258 76099584 18294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18579 18294 77 171 0 18406 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 79672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11123
/proc/meminfo: memFree=1731792/2055920 swapFree=4120964/4192956
[pid=11111] ppid=11109 vsize=5356 CPUtime=0.04
/proc/11111/stat : 11111 (SatELiteGTI) S 11109 11111 10880 0 -1 4194304 336 823 0 0 0 0 4 0 16 0 1 0 305422250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11111/statm: 1339 239 197 169 0 50 0
[pid=11117] ppid=11111 vsize=74300 CPUtime=1200.06
/proc/11117/stat : 11117 (minisat_static) R 11111 11111 10880 0 -1 4194304 18317 0 0 0 119987 19 0 0 25 0 1 0 305422258 76083200 18294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11117/statm: 18575 18294 77 171 0 18402 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 79656

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.81
CPU time (s): 1200.1
CPU user time (s): 1199.91
CPU system time (s): 0.19
CPU usage (%): 99.9408
Max. virtual memory (cumulated for all children) (KiB): 79672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.048992
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1159
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= 17

runsolver used 1.04784 second user time and 3.44448 second system time

The end

Launcher Data

Begin job on node86 at 2009-05-20 00:58:46
IDJOB=1832489
IDBENCH=70208
IDSOLVER=671
FILE ID=node86/1832489-1242773926
PBS_JOBID= 9322218
Free space on /tmp= 66360 MiB

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

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

MD5SUM BENCH= 487c5503612c9b61998004f60168456d
RANDOM SEED=1314373910

node86.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.213
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.213
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:       1808504 kB
Buffers:         20700 kB
Cached:         127648 kB
SwapCached:      66192 kB
Active:          76556 kB
Inactive:       140192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808504 kB
SwapTotal:     4192956 kB
SwapFree:      4120964 kB
Dirty:            2100 kB
Writeback:           0 kB
Mapped:          13948 kB
Slab:            16556 kB
Committed_AS:  1056404 kB
PageTables:       1464 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= 66360 MiB
End job on node86 at 2009-05-20 01:18:49