Trace number 1832485

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.09 1200.81

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
MD5SUMb60450275781a4bce2d80b1541942582
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark344.932
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.023996 s
0.00/0.03	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  1100                                                 |
0.00/0.06	c |  Number of clauses:    22000                                                |
0.05/0.08	c |  Parsing time:         0.01         s                                       |
0.05/0.08	c ============================[ Search Statistics ]==============================
0.05/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.05/0.08	c ===============================================================================
0.05/0.08	c |         0 |    1100    22000   110000 |     7333        0    nan |  0.000 % |
0.05/0.09	c |       100 |    1100    22000   110000 |     7333      100    120 |  0.000 % |
0.05/0.11	c |       202 |    1100    22000   110000 |     7333      202    123 |  0.000 % |
0.05/0.12	c |       304 |    1100    22000   110000 |     7333      304    120 |  0.000 % |
0.05/0.13	c |       414 |    1100    22000   110000 |     7333      414    118 |  0.000 % |
0.05/0.14	c |       517 |    1100    22000   110000 |     7333      517    122 |  0.000 % |
0.05/0.16	c |       627 |    1100    22000   110000 |     7333      627    124 |  0.000 % |
0.05/0.17	c |       748 |    1100    22000   110000 |     7333      748    125 |  0.000 % |
0.05/0.18	c |       850 |    1100    22000   110000 |     7333      850    123 |  0.000 % |
0.05/0.19	c |       962 |    1100    22000   110000 |     7333      962    126 |  0.000 % |
0.05/0.21	c |      1086 |    1100    22000   110000 |     7333     1086    129 |  0.000 % |
0.05/0.23	c |      1219 |    1100    22000   110000 |     7333     1219    128 |  0.000 % |
0.05/0.24	c |      1320 |    1100    22000   110000 |     7333     1320    128 |  0.000 % |
0.05/0.25	c |      1432 |    1100    22000   110000 |     7333     1432    127 |  0.000 % |
0.05/0.27	c |      1557 |    1100    22000   110000 |     7333     1557    128 |  0.000 % |
0.05/0.29	c |      1691 |    1100    22000   110000 |     7333     1691    129 |  0.000 % |
0.05/0.31	c |      1838 |    1100    22000   110000 |     7333     1838    130 |  0.000 % |
0.05/0.32	c |      1939 |    1100    22000   110000 |     7333     1939    129 |  0.000 % |
0.05/0.33	c |      2049 |    1100    22000   110000 |     7333     2049    130 |  0.000 % |
0.05/0.35	c |      2172 |    1100    22000   110000 |     7333     2172    130 |  0.000 % |
0.05/0.37	c |      2306 |    1100    22000   110000 |     7333     2306    130 |  0.000 % |
0.05/0.38	c |      2455 |    1100    22000   110000 |     7333     2455    130 |  0.000 % |
0.05/0.40	c |      2615 |    1100    22000   110000 |     7333     2615    129 |  0.000 % |
0.05/0.42	c |      2715 |    1100    22000   110000 |     7333     2715    129 |  0.000 % |
0.05/0.43	c |      2826 |    1100    22000   110000 |     7333     2826    129 |  0.000 % |
0.05/0.45	c |      2947 |    1100    22000   110000 |     7333     2947    129 |  0.000 % |
0.05/0.47	c |      3080 |    1100    22000   110000 |     7333     3080    129 |  0.000 % |
0.05/0.48	c |      3226 |    1100    22000   110000 |     7333     3226    128 |  0.000 % |
0.05/0.51	c |      3386 |    1100    22000   110000 |     7333     3386    129 |  0.000 % |
0.05/0.53	c |      3562 |    1100    22000   110000 |     7333     3562    129 |  0.000 % |
0.05/0.54	c |      3662 |    1100    22000   110000 |     7333     3662    128 |  0.000 % |
0.05/0.56	c |      3774 |    1100    22000   110000 |     7333     3774    128 |  0.000 % |
0.05/0.58	c |      3895 |    1100    22000   110000 |     7333     3895    128 |  0.000 % |
0.05/0.59	c |      4028 |    1100    22000   110000 |     7333     4028    128 |  0.000 % |
0.05/0.61	c |      4175 |    1100    22000   110000 |     7333     4175    128 |  0.000 % |
0.05/0.64	c |      4335 |    1100    22000   110000 |     7333     4335    129 |  0.000 % |
0.05/0.66	c |      4513 |    1100    22000   110000 |     7333     4513    128 |  0.000 % |
0.05/0.69	c |      4709 |    1100    22000   110000 |     7333     4709    128 |  0.000 % |
0.05/0.70	c |      4809 |    1100    22000   110000 |     7333     4809    128 |  0.000 % |
0.05/0.71	c |      4920 |    1100    22000   110000 |     7333     4920    128 |  0.000 % |
0.05/0.73	c |      5041 |    1100    22000   110000 |     7333     5041    128 |  0.000 % |
0.05/0.75	c |      5174 |    1100    22000   110000 |     7333     5174    128 |  0.000 % |
0.05/0.77	c |      5321 |    1100    22000   110000 |     7333     5321    128 |  0.000 % |
0.05/0.80	c |      5481 |    1100    22000   110000 |     7333     5481    128 |  0.000 % |
0.05/0.82	c |      5658 |    1100    22000   110000 |     7333     5658    128 |  0.000 % |
0.05/0.85	c |      5853 |    1100    22000   110000 |     7333     5853    127 |  0.000 % |
0.05/0.88	c |      6065 |    1100    22000   110000 |     7333     6065    128 |  0.000 % |
0.05/0.90	c |      6165 |    1100    22000   110000 |     7333     6165    128 |  0.000 % |
0.05/0.91	c |      6276 |    1100    22000   110000 |     7333     6276    128 |  0.000 % |
0.05/0.93	c |      6399 |    1100    22000   110000 |     7333     6399    128 |  0.000 % |
0.05/0.95	c |      6532 |    1100    22000   110000 |     7333     6532    127 |  0.000 % |
0.05/0.97	c |      6678 |    1100    22000   110000 |     7333     6678    127 |  0.000 % |
0.05/1.00	c |      6839 |    1100    22000   110000 |     7333     6839    127 |  0.000 % |
0.98/1.02	c |      7015 |    1100    22000   110000 |     7333     7015    127 |  0.000 % |
0.98/1.05	c |      7208 |    1100    22000   110000 |     7333     7208    128 |  0.000 % |
0.98/1.09	c |      7420 |    1100    22000   110000 |     7333     7420    128 |  0.000 % |
1.08/1.13	c |      7653 |    1100    22000   110000 |     7333     6911    127 |  0.000 % |
1.08/1.14	c |      7755 |    1100    22000   110000 |     7333     7013    127 |  0.000 % |
1.08/1.16	c |      7867 |    1100    22000   110000 |     7333     7125    127 |  0.000 % |
1.08/1.18	c |      7988 |    1100    22000   110000 |     7333     7246    127 |  0.000 % |
1.17/1.20	c |      8121 |    1100    22000   110000 |     7333     7379    127 |  0.000 % |
1.17/1.23	c |      8269 |    1100    22000   110000 |     7333     6790    126 |  0.000 % |
1.17/1.25	c |      8430 |    1100    22000   110000 |     7333     6951    126 |  0.000 % |
1.17/1.28	c |      8607 |    1100    22000   110000 |     7333     7128    126 |  0.000 % |
1.27/1.31	c |      8802 |    1100    22000   110000 |     7333     7323    126 |  0.000 % |
1.27/1.34	c |      9014 |    1100    22000   110000 |     7333     7535    126 |  0.000 % |
1.27/1.38	c |      9247 |    1100    22000   110000 |     7333     7015    126 |  0.000 % |
1.37/1.42	c |      9503 |    1100    22000   110000 |     7333     7271    126 |  0.000 % |
1.37/1.43	c |      9603 |    1100    22000   110000 |     7333     7371    126 |  0.000 % |
1.37/1.45	c |      9713 |    1100    22000   110000 |     7333     6744    125 |  0.000 % |
1.37/1.47	c |      9834 |    1100    22000   110000 |     7333     6865    126 |  0.000 % |
1.37/1.49	c |      9967 |    1100    22000   110000 |     7333     6998    126 |  0.000 % |
1.47/1.52	c |     10114 |    1100    22000   110000 | 2147483647     7145    126 |  0.000 % |
1.47/1.54	c |     10276 |    1100    22000   110000 | 2147483647     7307    126 |  0.000 % |
1.47/1.58	c |     10454 |    1100    22000   110000 | 2147483647     7485    126 |  0.000 % |
1.57/1.61	c |     10648 |    1100    22000   110000 | 2147483647     7679    126 |  0.000 % |
1.57/1.64	c |     10861 |    1100    22000   110000 | 2147483647     7892    126 |  0.000 % |
1.57/1.67	c |     11096 |    1100    22000   110000 | 2147483647     8127    126 |  0.000 % |
1.67/1.72	c |     11356 |    1100    22000   110000 | 2147483647     8387    126 |  0.000 % |
1.67/1.76	c |     11637 |    1100    22000   110000 | 2147483647     8668    127 |  0.000 % |
1.67/1.78	c |     11739 |    1100    22000   110000 | 2147483647     8770    127 |  0.000 % |
1.78/1.80	c |     11849 |    1100    22000   110000 | 2147483647     8880    127 |  0.000 % |
1.78/1.82	c |     11970 |    1100    22000   110000 | 2147483647     9001    127 |  0.000 % |
1.78/1.84	c |     12106 |    1100    22000   110000 | 2147483647     9137    127 |  0.000 % |
1.78/1.86	c |     12252 |    1100    22000   110000 | 2147483647     9283    127 |  0.000 % |
1.78/1.89	c |     12412 |    1100    22000   110000 | 2147483647     9443    127 |  0.000 % |
1.88/1.92	c |     12588 |    1100    22000   110000 | 2147483647     9619    127 |  0.000 % |
1.88/1.96	c |     12782 |    1100    22000   110000 | 2147483647     9813    127 |  0.000 % |
1.88/1.99	c |     12995 |    1100    22000   110000 | 2147483647    10026    127 |  0.000 % |
1.98/2.03	c |     13228 |    1100    22000   110000 | 2147483647    10259    128 |  0.000 % |
1.98/2.08	c |     13485 |    1100    22000   110000 | 2147483647    10516    128 |  0.000 % |
2.08/2.13	c |     13766 |    1100    22000   110000 | 2147483647    10797    128 |  0.000 % |
2.08/2.18	c |     14075 |    1100    22000   110000 | 2147483647    11106    128 |  0.000 % |
2.08/2.20	c |     14176 |    1100    22000   110000 | 2147483647    11207    128 |  0.000 % |
2.18/2.22	c |     14286 |    1100    22000   110000 | 2147483647    11317    128 |  0.000 % |
2.18/2.24	c |     14407 |    1100    22000   110000 | 2147483647    11438    128 |  0.000 % |
2.18/2.27	c |     14541 |    1100    22000   110000 | 2147483647    11572    128 |  0.000 % |
2.27/2.30	c |     14690 |    1100    22000   110000 | 2147483647    11721    128 |  0.000 % |
2.27/2.33	c |     14851 |    1100    22000   110000 | 2147483647    11882    128 |  0.000 % |
2.27/2.36	c |     15027 |    1100    22000   110000 | 2147483647    12058    128 |  0.000 % |
2.37/2.40	c |     15220 |    1100    22000   110000 | 2147483647    12251    128 |  0.000 % |
2.37/2.44	c |     15433 |    1100    22000   110000 | 2147483647    12464    128 |  0.000 % |
2.37/2.49	c |     15666 |    1100    22000   110000 | 2147483647    12697    129 |  0.000 % |
2.47/2.53	c |     15922 |    1100    22000   110000 | 2147483647    12953    129 |  0.000 % |
2.47/2.58	c |     16203 |    1100    22000   110000 | 2147483647    13234    129 |  0.000 % |
2.57/2.64	c |     16512 |    1100    22000   110000 | 2147483647    13543    128 |  0.000 % |
2.67/2.71	c |     16851 |    1100    22000   110000 | 2147483647    13882    128 |  0.000 % |
2.67/2.73	c |     16952 |    1100    22000   110000 | 2147483647    13983    128 |  0.000 % |
2.67/2.75	c |     17063 |    1100    22000   110000 | 2147483647    14094    128 |  0.000 % |
2.67/2.78	c |     17186 |    1100    22000   110000 | 2147483647    14217    128 |  0.000 % |
2.77/2.81	c |     17319 |    1100    22000   110000 | 2147483647    14350    128 |  0.000 % |
2.77/2.84	c |     17466 |    1100    22000   110000 | 2147483647    14497    128 |  0.000 % |
2.77/2.88	c |     17626 |    1100    22000   110000 | 2147483647    14657    128 |  0.000 % |
2.87/2.91	c |     17802 |    1100    22000   110000 | 2147483647    14833    129 |  0.000 % |
2.87/2.96	c |     17996 |    1100    22000   110000 | 2147483647    15027    129 |  0.000 % |
2.97/3.00	c |     18209 |    1100    22000   110000 | 2147483647    15240    129 |  0.000 % |
2.97/3.05	c |     18442 |    1100    22000   110000 | 2147483647    15473    129 |  0.000 % |
3.07/3.11	c |     18698 |    1100    22000   110000 | 2147483647    15729    129 |  0.000 % |
3.07/3.17	c |     18979 |    1100    22000   110000 | 2147483647    16010    129 |  0.000 % |
3.17/3.23	c |     19289 |    1100    22000   110000 | 2147483647    16320    129 |  0.000 % |
3.27/3.31	c |     19630 |    1100    22000   110000 | 2147483647    16661    130 |  0.000 % |
3.27/3.38	c |     20003 |    1100    22000   110000 | 2147483647    17034    130 |  0.000 % |
3.37/3.41	c |     20103 |    1100    22000   110000 | 2147483647    17134    130 |  0.000 % |
3.37/3.44	c |     20215 |    1100    22000   110000 | 2147483647    17246    130 |  0.000 % |
3.37/3.47	c |     20336 |    1100    22000   110000 | 2147483647    17367    130 |  0.000 % |
3.37/3.50	c |     20470 |    1100    22000   110000 | 2147483647    17501    130 |  0.000 % |
3.47/3.53	c |     20616 |    1100    22000   110000 | 2147483647    17647    130 |  0.000 % |
3.47/3.57	c |     20777 |    1100    22000   110000 | 2147483647    17808    130 |  0.000 % |
3.57/3.61	c |     20954 |    1100    22000   110000 | 2147483647    17985    130 |  0.000 % |
3.57/3.65	c |     21147 |    1100    22000   110000 | 2147483647    18178    130 |  0.000 % |
3.57/3.70	c |     21360 |    1100    22000   110000 | 2147483647    18391    130 |  0.000 % |
3.67/3.75	c |     21594 |    1100    22000   110000 | 2147483647    18625    130 |  0.000 % |
3.77/3.81	c |     21852 |    1100    22000   110000 | 2147483647    18883    130 |  0.000 % |
3.77/3.89	c |     22133 |    1100    22000   110000 | 2147483647    19164    130 |  0.000 % |
3.87/3.95	c |     22442 |    1100    22000   110000 | 2147483647    19473    130 |  0.000 % |
3.97/4.04	c |     22781 |    1100    22000   110000 | 2147483647    19812    130 |  0.000 % |
4.07/4.13	c |     23154 |    1100    22000   110000 | 2147483647    20185    130 |  0.000 % |
4.17/4.23	c |     23563 |    1100    22000   110000 | 2147483647    20594    130 |  0.000 % |
4.17/4.25	c |     23664 |    1100    22000   110000 | 2147483647    20695    130 |  0.000 % |
4.17/4.29	c |     23775 |    1100    22000   110000 | 2147483647    20806    130 |  0.000 % |
4.27/4.32	c |     23896 |    1100    22000   110000 | 2147483647    20927    130 |  0.000 % |
4.27/4.35	c |     24029 |    1100    22000   110000 | 2147483647    21060    130 |  0.000 % |
4.27/4.40	c |     24175 |    1100    22000   110000 | 2147483647    21206    130 |  0.000 % |
4.37/4.44	c |     24335 |    1100    22000   110000 | 2147483647    21366    130 |  0.000 % |
4.37/4.49	c |     24512 |    1100    22000   110000 | 2147483647    21543    130 |  0.000 % |
4.47/4.55	c |     24705 |    1100    22000   110000 | 2147483647    21736    130 |  0.000 % |
4.56/4.60	c |     24917 |    1100    22000   110000 | 2147483647    21948    130 |  0.000 % |
4.56/4.66	c |     25151 |    1100    22000   110000 | 2147483647    22182    130 |  0.000 % |
4.66/4.73	c |     25407 |    1100    22000   110000 | 2147483647    22438    130 |  0.000 % |
4.76/4.80	c |     25689 |    1100    22000   110000 | 2147483647    22720    130 |  0.000 % |
4.76/4.89	c |     25998 |    1100    22000   110000 | 2147483647    23029    130 |  0.000 % |
4.86/4.98	c |     26338 |    1100    22000   110000 | 2147483647    23369    130 |  0.000 % |
4.96/5.07	c |     26710 |    1100    22000   110000 | 2147483647    23741    130 |  0.000 % |
5.06/5.18	c |     27120 |    1100    22000   110000 | 2147483647    24151    130 |  0.000 % |
5.16/5.29	c |     27569 |    1100    22000   110000 | 2147483647    24600    130 |  0.000 % |
5.26/5.32	c |     27670 |    1100    22000   110000 | 2147483647    24701    130 |  0.000 % |
5.26/5.35	c |     27780 |    1100    22000   110000 | 2147483647    24811    130 |  0.000 % |
5.26/5.39	c |     27902 |    1100    22000   110000 | 2147483647    24933    130 |  0.000 % |
5.38/5.43	c |     28035 |    1100    22000   110000 | 2147483647    25066    130 |  0.000 % |
5.38/5.47	c |     28182 |    1100    22000   110000 | 2147483647    25213    130 |  0.000 % |
5.48/5.52	c |     28344 |    1100    22000   110000 | 2147483647    25375    130 |  0.000 % |
5.48/5.57	c |     28522 |    1100    22000   110000 | 2147483647    25553    130 |  0.000 % |
5.57/5.63	c |     28716 |    1100    22000   110000 | 2147483647    25747    130 |  0.000 % |
5.57/5.68	c |     28928 |    1100    22000   110000 | 2147483647    25959    130 |  0.000 % |
5.67/5.75	c |     29161 |    1100    22000   110000 | 2147483647    26192    130 |  0.000 % |
5.77/5.82	c |     29417 |    1100    22000   110000 | 2147483647    26448    131 |  0.000 % |
5.77/5.90	c |     29700 |    1100    22000   110000 | 2147483647    26731    131 |  0.000 % |
5.87/5.98	c |     30009 |    1100    22000   110000 | 2147483647    27040    131 |  0.000 % |
5.97/6.08	c |     30348 |    1100    22000   110000 | 2147483647    27379    131 |  0.000 % |
6.07/6.18	c |     30722 |    1100    22000   110000 | 2147483647    27753    131 |  0.000 % |
6.17/6.29	c |     31132 |    1100    22000   110000 | 2147483647    28163    131 |  0.000 % |
6.37/6.42	c |     31581 |    1100    22000   110000 | 2147483647    28612    131 |  0.000 % |
6.47/6.57	c |     32074 |    1100    22000   110000 | 2147483647    29105    131 |  0.000 % |
6.57/6.61	c |     32174 |    1100    22000   110000 | 2147483647    29205    131 |  0.000 % |
6.57/6.64	c |     32286 |    1100    22000   110000 | 2147483647    29317    131 |  0.000 % |
6.57/6.68	c |     32408 |    1100    22000   110000 | 2147483647    29439    131 |  0.000 % |
6.66/6.72	c |     32541 |    1100    22000   110000 | 2147483647    29572    131 |  0.000 % |
6.66/6.78	c |     32688 |    1100    22000   110000 | 2147483647    29719    131 |  0.000 % |
6.76/6.83	c |     32849 |    1100    22000   110000 | 2147483647    29880    131 |  0.000 % |
6.76/6.88	c |     33029 |    1100    22000   110000 | 2147483647    30060    131 |  0.000 % |
6.86/6.95	c |     33223 |    1100    22000   110000 | 2147483647    30254    131 |  0.000 % |
6.96/7.01	c |     33435 |    1100    22000   110000 | 2147483647    30466    132 |  0.000 % |
6.96/7.09	c |     33668 |    1100    22000   110000 | 2147483647    30699    131 |  0.000 % |
7.07/7.17	c |     33924 |    1100    22000   110000 | 2147483647    30955    131 |  0.000 % |
7.17/7.24	c |     34206 |    1100    22000   110000 | 2147483647    31237    132 |  0.000 % |
7.27/7.35	c |     34515 |    1100    22000   110000 | 2147483647    31546    132 |  0.000 % |
7.37/7.47	c |     34854 |    1100    22000   110000 | 2147483647    31885    132 |  0.000 % |
7.47/7.59	c |     35227 |    1100    22000   110000 | 2147483647    32258    132 |  0.000 % |
7.67/7.70	c |     35636 |    1100    22000   110000 | 2147483647    32667    132 |  0.000 % |
7.76/7.84	c |     36085 |    1100    22000   110000 | 2147483647    33116    132 |  0.000 % |
7.96/8.01	c |     36579 |    1100    22000   110000 | 2147483647    33610    132 |  0.000 % |
8.16/8.20	c |     37121 |    1100    22000   110000 | 2147483647    34152    132 |  0.000 % |
8.16/8.23	c |     37221 |    1100    22000   110000 | 2147483647    34252    132 |  0.000 % |
8.16/8.27	c |     37331 |    1100    22000   110000 | 2147483647    34362    132 |  0.000 % |
8.26/8.32	c |     37452 |    1100    22000   110000 | 2147483647    34483    132 |  0.000 % |
8.26/8.36	c |     37586 |    1100    22000   110000 | 2147483647    34617    132 |  0.000 % |
8.36/8.42	c |     37732 |    1100    22000   110000 | 2147483647    34763    132 |  0.000 % |
8.36/8.49	c |     37894 |    1100    22000   110000 | 2147483647    34925    132 |  0.000 % |
8.46/8.56	c |     38070 |    1100    22000   110000 | 2147483647    35101    132 |  0.000 % |
8.56/8.64	c |     38263 |    1100    22000   110000 | 2147483647    35294    132 |  0.000 % |
8.66/8.72	c |     38476 |    1100    22000   110000 | 2147483647    35507    132 |  0.000 % |
8.76/8.80	c |     38713 |    1100    22000   110000 | 2147483647    35744    132 |  0.000 % |
8.76/8.89	c |     38970 |    1100    22000   110000 | 2147483647    36001    132 |  0.000 % |
8.86/8.99	c |     39253 |    1100    22000   110000 | 2147483647    36284    132 |  0.000 % |
9.07/9.10	c |     39562 |    1100    22000   110000 | 2147483647    36593    132 |  0.000 % |
9.17/9.24	c |     39902 |    1100    22000   110000 | 2147483647    36933    132 |  0.000 % |
9.26/9.39	c |     40276 |    1100    22000   110000 | 2147483647    37307    132 |  0.000 % |
9.46/9.54	c |     40685 |    1100    22000   110000 | 2147483647    37716    132 |  0.000 % |
9.56/9.70	c |     41136 |    1100    22000   110000 | 2147483647    38167    132 |  0.000 % |
9.77/9.88	c |     41631 |    1100    22000   110000 | 2147483647    38662    132 |  0.000 % |
9.96/10.07	c |     42173 |    1100    22000   110000 | 2147483647    39204    132 |  0.000 % |
10.16/10.28	c |     42769 |    1100    22000   110000 | 2147483647    39800    132 |  0.000 % |
10.26/10.32	c |     42871 |    1100    22000   110000 | 2147483647    39902    132 |  0.000 % |
10.26/10.37	c |     42983 |    1100    22000   110000 | 2147483647    40014    132 |  0.000 % |
10.36/10.43	c |     43104 |    1100    22000   110000 | 2147483647    40135    132 |  0.000 % |
10.36/10.48	c |     43237 |    1100    22000   110000 | 2147483647    40268    132 |  0.000 % |
10.46/10.53	c |     43383 |    1100    22000   110000 | 2147483647    40414    132 |  0.000 % |
10.56/10.60	c |     43543 |    1100    22000   110000 | 2147483647    40574    132 |  0.000 % |
10.56/10.69	c |     43720 |    1100    22000   110000 | 2147483647    40751    132 |  0.000 % |
10.66/10.76	c |     43915 |    1100    22000   110000 | 2147483647    40946    132 |  0.000 % |
10.75/10.85	c |     44127 |    1100    22000   110000 | 2147483647    41158    132 |  0.000 % |
10.86/10.94	c |     44360 |    1100    22000   110000 | 2147483647    41391    132 |  0.000 % |
10.96/11.04	c |     44618 |    1100    22000   110000 | 2147483647    41649    132 |  0.000 % |
11.05/11.17	c |     44900 |    1100    22000   110000 | 2147483647    41931    132 |  0.000 % |
11.15/11.28	c |     45209 |    1100    22000   110000 | 2147483647    42240    132 |  0.000 % |
11.36/11.41	c |     45549 |    1100    22000   110000 | 2147483647    42580    132 |  0.000 % |
11.46/11.58	c |     45921 |    1100    22000   110000 | 2147483647    42952    132 |  0.000 % |
11.66/11.76	c |     46332 |    1100    22000   110000 | 2147483647    43363    132 |  0.000 % |
11.86/11.94	c |     46781 |    1100    22000   110000 | 2147483647    43812    132 |  0.000 % |
12.06/12.15	c |     47275 |    1100    22000   110000 | 2147483647    44306    132 |  0.000 % |
12.26/12.39	c |     47817 |    1100    22000   110000 | 2147483647    44848    132 |  0.000 % |
12.55/12.63	c |     48413 |    1100    22000   110000 | 2147483647    45444    132 |  0.000 % |
12.76/12.89	c |     49068 |    1100    22000   110000 | 2147483647    46099    132 |  0.000 % |
12.86/12.96	c |     49169 |    1100    22000   110000 | 2147483647    46200    132 |  0.000 % |
12.96/13.01	c |     49286 |    1100    22000   110000 | 2147483647    46317    132 |  0.000 % |
12.96/13.06	c |     49407 |    1100    22000   110000 | 2147483647    46438    132 |  0.000 % |
13.06/13.12	c |     49540 |    1100    22000   110000 | 2147483647    46571    132 |  0.000 % |
13.06/13.20	c |     49686 |    1100    22000   110000 | 2147483647    46717    132 |  0.000 % |
13.16/13.27	c |     49846 |    1100    22000   110000 | 2147483647    46877    132 |  0.000 % |
13.26/13.35	c |     50023 |    1100    22000   110000 | 2147483647    47054    132 |  0.000 % |
13.36/13.45	c |     50218 |    1100    22000   110000 | 2147483647    47249    132 |  0.000 % |
13.46/13.54	c |     50433 |    1100    22000   110000 | 2147483647    47464    132 |  0.000 % |
13.56/13.64	c |     50666 |    1100    22000   110000 | 2147483647    47697    132 |  0.000 % |
13.65/13.76	c |     50922 |    1100    22000   110000 | 2147483647    47953    132 |  0.000 % |
13.75/13.89	c |     51203 |    1100    22000   110000 | 2147483647    48234    132 |  0.000 % |
13.95/14.04	c |     51512 |    1100    22000   110000 | 2147483647    48543    132 |  0.000 % |
14.16/14.20	c |     51851 |    1100    22000   110000 | 2147483647    48882    132 |  0.000 % |
14.25/14.37	c |     52223 |    1100    22000   110000 | 2147483647    49254    132 |  0.000 % |
14.45/14.55	c |     52633 |    1100    22000   110000 | 2147483647    49664    133 |  0.000 % |
14.65/14.75	c |     53084 |    1100    22000   110000 | 2147483647    50115    133 |  0.000 % |
14.85/14.98	c |     53578 |    1100    22000   110000 | 2147483647    50609    133 |  0.000 % |
15.15/15.25	c |     54121 |    1100    22000   110000 | 2147483647    51152    133 |  0.000 % |
15.45/15.54	c |     54719 |    1100    22000   110000 | 2147483647    51750    133 |  0.000 % |
15.75/15.86	c |     55375 |    1100    22000   110000 | 2147483647    52406    133 |  0.000 % |
16.05/16.19	c |     56096 |    1100    22000   110000 | 2147483647    53127    133 |  0.000 % |
16.15/16.25	c |     56196 |    1100    22000   110000 | 2147483647    53227    133 |  0.000 % |
16.25/16.30	c |     56309 |    1100    22000   110000 | 2147483647    53340    133 |  0.000 % |
16.25/16.37	c |     56430 |    1100    22000   110000 | 2147483647    53461    133 |  0.000 % |
16.35/16.44	c |     56564 |    1100    22000   110000 | 2147483647    53595    133 |  0.000 % |
16.45/16.54	c |     56711 |    1100    22000   110000 | 2147483647    53742    133 |  0.000 % |
16.55/16.64	c |     56872 |    1100    22000   110000 | 2147483647    53903    133 |  0.000 % |
16.65/16.72	c |     57049 |    1100    22000   110000 | 2147483647    54080    133 |  0.000 % |
16.75/16.83	c |     57243 |    1100    22000   110000 | 2147483647    54274    133 |  0.000 % |
16.85/16.94	c |     57455 |    1100    22000   110000 | 2147483647    54486    133 |  0.000 % |
16.95/17.06	c |     57688 |    1100    22000   110000 | 2147483647    54719    133 |  0.000 % |
17.05/17.19	c |     57945 |    1100    22000   110000 | 2147483647    54976    133 |  0.000 % |
17.25/17.34	c |     58226 |    1100    22000   110000 | 2147483647    55257    133 |  0.000 % |
17.45/17.51	c |     58536 |    1100    22000   110000 | 2147483647    55567    133 |  0.000 % |
17.65/17.70	c |     58875 |    1100    22000   110000 | 2147483647    55906    133 |  0.000 % |
17.85/17.90	c |     59250 |    1100    22000   110000 | 2147483647    56281    133 |  0.000 % |
18.05/18.10	c |     59660 |    1100    22000   110000 | 2147483647    56691    133 |  0.000 % |
18.25/18.33	c |     60110 |    1100    22000   110000 | 2147483647    57141    133 |  0.000 % |
18.45/18.57	c |     60603 |    1100    22000   110000 | 2147483647    57634    133 |  0.000 % |
18.75/18.83	c |     61146 |    1100    22000   110000 | 2147483647    58177    133 |  0.000 % |
19.05/19.13	c |     61746 |    1100    22000   110000 | 2147483647    58777    133 |  0.000 % |
19.35/19.48	c |     62401 |    1100    22000   110000 | 2147483647    59432    133 |  0.000 % |
19.75/19.85	c |     63121 |    1100    22000   110000 | 2147483647    60152    133 |  0.000 % |
20.14/20.26	c |     63913 |    1100    22000   110000 | 2147483647    60944    133 |  0.000 % |
20.24/20.31	c |     64013 |    1100    22000   110000 | 2147483647    61044    133 |  0.000 % |
20.24/20.39	c |     64126 |    1100    22000   110000 | 2147483647    61157    133 |  0.000 % |
20.34/20.47	c |     64248 |    1100    22000   110000 | 2147483647    61279    133 |  0.000 % |
20.44/20.54	c |     64386 |    1100    22000   110000 | 2147483647    61417    133 |  0.000 % |
20.55/20.64	c |     64532 |    1100    22000   110000 | 2147483647    61563    133 |  0.000 % |
20.65/20.74	c |     64694 |    1100    22000   110000 | 2147483647    61725    133 |  0.000 % |
20.75/20.86	c |     64871 |    1100    22000   110000 | 2147483647    61902    133 |  0.000 % |
20.85/20.97	c |     65064 |    1100    22000   110000 | 2147483647    62095    133 |  0.000 % |
21.04/21.10	c |     65276 |    1100    22000   110000 | 2147483647    62307    133 |  0.000 % |
21.14/21.23	c |     65509 |    1100    22000   110000 | 2147483647    62540    133 |  0.000 % |
21.24/21.40	c |     65766 |    1100    22000   110000 | 2147483647    62797    133 |  0.000 % |
21.44/21.58	c |     66047 |    1100    22000   110000 | 2147483647    63078    133 |  0.000 % |
21.64/21.77	c |     66356 |    1100    22000   110000 | 2147483647    63387    133 |  0.000 % |
21.85/21.98	c |     66695 |    1100    22000   110000 | 2147483647    63726    133 |  0.000 % |
22.04/22.19	c |     67068 |    1100    22000   110000 | 2147483647    64099    133 |  0.000 % |
22.34/22.44	c |     67477 |    1100    22000   110000 | 2147483647    64508    133 |  0.000 % |
22.64/22.70	c |     67927 |    1100    22000   110000 | 2147483647    64958    133 |  0.000 % |
22.84/22.98	c |     68421 |    1100    22000   110000 | 2147483647    65452    133 |  0.000 % |
23.14/23.28	c |     68966 |    1100    22000   110000 | 2147483647    65997    134 |  0.000 % |
23.54/23.63	c |     69564 |    1100    22000   110000 | 2147483647    66595    134 |  0.000 % |
23.95/24.02	c |     70219 |    1100    22000   110000 | 2147483647    67250    134 |  0.000 % |
24.34/24.44	c |     70939 |    1100    22000   110000 | 2147483647    67970    134 |  0.000 % |
24.84/24.90	c |     71732 |    1100    22000   110000 | 2147483647    68763    134 |  0.000 % |
25.24/25.38	c |     72604 |    1100    22000   110000 | 2147483647    69635    134 |  0.000 % |
25.34/25.45	c |     72704 |    1100    22000   110000 | 2147483647    69735    134 |  0.000 % |
25.45/25.53	c |     72814 |    1100    22000   110000 | 2147483647    69845    134 |  0.000 % |
25.55/25.62	c |     72938 |    1100    22000   110000 | 2147483647    69969    134 |  0.000 % |
25.64/25.71	c |     73073 |    1100    22000   110000 | 2147483647    70104    134 |  0.000 % |
25.74/25.83	c |     73219 |    1100    22000   110000 | 2147483647    70250    134 |  0.000 % |
25.84/25.93	c |     73379 |    1100    22000   110000 | 2147483647    70410    134 |  0.000 % |
25.94/26.04	c |     73555 |    1100    22000   110000 | 2147483647    70586    134 |  0.000 % |
26.04/26.19	c |     73749 |    1100    22000   110000 | 2147483647    70780    134 |  0.000 % |
26.25/26.34	c |     73961 |    1100    22000   110000 | 2147483647    70992    134 |  0.000 % |
26.44/26.50	c |     74196 |    1100    22000   110000 | 2147483647    71227    134 |  0.000 % |
26.54/26.66	c |     74454 |    1100    22000   110000 | 2147483647    71485    134 |  0.000 % |
26.74/26.84	c |     74740 |    1100    22000   110000 | 2147483647    71771    134 |  0.000 % |
26.94/27.02	c |     75050 |    1100    22000   110000 | 2147483647    72081    134 |  0.000 % |
27.14/27.27	c |     75389 |    1100    22000   110000 | 2147483647    72420    134 |  0.000 % |
27.44/27.51	c |     75764 |    1100    22000   110000 | 2147483647    72795    134 |  0.000 % |
27.64/27.78	c |     76174 |    1100    22000   110000 | 2147483647    73205    134 |  0.000 % |
27.94/28.06	c |     76625 |    1100    22000   110000 | 2147483647    73656    134 |  0.000 % |
28.24/28.37	c |     77118 |    1100    22000   110000 | 2147483647    74149    134 |  0.000 % |
28.64/28.70	c |     77660 |    1100    22000   110000 | 2147483647    74691    134 |  0.000 % |
29.04/29.10	c |     78258 |    1100    22000   110000 | 2147483647    75289    134 |  0.000 % |
29.44/29.50	c |     78913 |    1100    22000   110000 | 2147483647    75944    134 |  0.000 % |
29.84/29.96	c |     79633 |    1100    22000   110000 | 2147483647    76664    134 |  0.000 % |
30.34/30.47	c |     80427 |    1100    22000   110000 | 2147483647    77458    134 |  0.000 % |
30.94/31.00	c |     81299 |    1100    22000   110000 | 2147483647    78330    134 |  0.000 % |
31.44/31.59	c |     82258 |    1100    22000   110000 | 2147483647    79289    135 |  0.000 % |
31.54/31.65	c |     82359 |    1100    22000   110000 | 2147483647    79390    134 |  0.000 % |
31.64/31.73	c |     82471 |    1100    22000   110000 | 2147483647    79502    134 |  0.000 % |
31.74/31.84	c |     82595 |    1100    22000   110000 | 2147483647    79626    134 |  0.000 % |
31.84/31.96	c |     82730 |    1100    22000   110000 | 2147483647    79761    134 |  0.000 % |
31.93/32.07	c |     82879 |    1100    22000   110000 | 2147483647    79910    134 |  0.000 % |
32.04/32.19	c |     83043 |    1100    22000   110000 | 2147483647    80074    134 |  0.000 % |
32.24/32.34	c |     83221 |    1100    22000   110000 | 2147483647    80252    134 |  0.000 % |
32.34/32.49	c |     83416 |    1100    22000   110000 | 2147483647    80447    134 |  0.000 % |
32.54/32.64	c |     83628 |    1100    22000   110000 | 2147483647    80659    134 |  0.000 % |
32.74/32.83	c |     83863 |    1100    22000   110000 | 2147483647    80894    134 |  0.000 % |
32.95/33.01	c |     84122 |    1100    22000   110000 | 2147483647    81153    134 |  0.000 % |
33.14/33.21	c |     84404 |    1100    22000   110000 | 2147483647    81435    134 |  0.000 % |
33.34/33.45	c |     84713 |    1100    22000   110000 | 2147483647    81744    134 |  0.000 % |
33.54/33.67	c |     85052 |    1100    22000   110000 | 2147483647    82083    134 |  0.000 % |
33.83/33.98	c |     85424 |    1100    22000   110000 | 2147483647    82455    134 |  0.000 % |
34.13/34.27	c |     85833 |    1100    22000   110000 | 2147483647    82864    134 |  0.000 % |
34.43/34.57	c |     86282 |    1100    22000   110000 | 2147483647    83313    134 |  0.000 % |
34.83/34.94	c |     86777 |    1100    22000   110000 | 2147483647    83808    134 |  0.000 % |
35.23/35.35	c |     87320 |    1100    22000   110000 | 2147483647    84351    135 |  0.000 % |
35.63/35.79	c |     87918 |    1100    22000   110000 | 2147483647    84949    135 |  0.000 % |
36.13/36.25	c |     88573 |    1100    22000   110000 | 2147483647    85604    135 |  0.000 % |
36.74/36.83	c |     89293 |    1100    22000   110000 | 2147483647    86324    135 |  0.000 % |
37.34/37.42	c |     90085 |    1100    22000   110000 | 2147483647    87116    135 |  0.000 % |
37.93/38.08	c |     90956 |    1100    22000   110000 | 2147483647    87987    135 |  0.000 % |
38.73/38.80	c |     91914 |    1100    22000   110000 | 2147483647    88945    135 |  0.000 % |
39.44/39.56	c |     92968 |    1100    22000   110000 | 2147483647    89999    135 |  0.000 % |
39.53/39.65	c |     93068 |    1100    22000   110000 | 2147483647    90099    135 |  0.000 % |
39.63/39.75	c |     93178 |    1100    22000   110000 | 2147483647    90209    135 |  0.000 % |
39.73/39.86	c |     93299 |    1100    22000   110000 | 2147483647    90330    135 |  0.000 % |
39.83/39.97	c |     93433 |    1100    22000   110000 | 2147483647    90464    135 |  0.000 % |
40.03/40.11	c |     93580 |    1100    22000   110000 | 2147483647    90611    135 |  0.000 % |
40.13/40.27	c |     93741 |    1100    22000   110000 | 2147483647    90772    135 |  0.000 % |
40.33/40.42	c |     93918 |    1100    22000   110000 | 2147483647    90949    135 |  0.000 % |
40.43/40.59	c |     94111 |    1100    22000   110000 | 2147483647    91142    135 |  0.000 % |
40.64/40.76	c |     94325 |    1100    22000   110000 | 2147483647    91356    135 |  0.000 % |
40.83/40.94	c |     94558 |    1100    22000   110000 | 2147483647    91589    135 |  0.000 % |
41.03/41.17	c |     94814 |    1100    22000   110000 | 2147483647    91845    135 |  0.000 % |
41.23/41.39	c |     95095 |    1100    22000   110000 | 2147483647    92126    135 |  0.000 % |
41.53/41.68	c |     95404 |    1100    22000   110000 | 2147483647    92435    135 |  0.000 % |
41.83/41.96	c |     95743 |    1100    22000   110000 | 2147483647    92774    135 |  0.000 % |
42.13/42.28	c |     96117 |    1100    22000   110000 | 2147483647    93148    135 |  0.000 % |
42.43/42.59	c |     96527 |    1100    22000   110000 | 2147483647    93558    135 |  0.000 % |
42.83/42.98	c |     96976 |    1100    22000   110000 | 2147483647    94007    135 |  0.000 % |
43.33/43.41	c |     97470 |    1100    22000   110000 | 2147483647    94501    135 |  0.000 % |
43.72/43.84	c |     98012 |    1100    22000   110000 | 2147483647    95043    135 |  0.000 % |
44.23/44.38	c |     98608 |    1100    22000   110000 | 2147483647    95639    135 |  0.000 % |
44.83/44.94	c |     99263 |    1100    22000   110000 | 2147483647    96294    135 |  0.000 % |
45.43/45.50	c |     99985 |    1100    22000   110000 | 2147483647    97016    135 |  0.000 % |
46.03/46.17	c |    100777 |    1100    22000   110000 | 2147483647    97808    135 |  0.000 % |
46.72/46.88	c |    101648 |    1100    22000   110000 | 2147483647    98679    135 |  0.000 % |
47.52/47.61	c |    102607 |    1100    22000   110000 | 2147483647    99638    135 |  0.000 % |
48.32/48.46	c |    103660 |    1100    22000   110000 | 2147483647   100691    136 |  0.000 % |
49.33/49.41	c |    104819 |    1100    22000   110000 | 2147483647   101850    136 |  0.000 % |
49.43/49.50	c |    104920 |    1100    22000   110000 | 2147483647   101951    136 |  0.000 % |
49.53/49.60	c |    105033 |    1100    22000   110000 | 2147483647   102064    136 |  0.000 % |
49.63/49.76	c |    105156 |    1100    22000   110000 | 2147483647   102187    136 |  0.000 % |
49.73/49.88	c |    105289 |    1100    22000   110000 | 2147483647   102320    136 |  0.000 % |
49.93/50.02	c |    105436 |    1100    22000   110000 | 2147483647   102467    136 |  0.000 % |
50.03/50.19	c |    105597 |    1100    22000   110000 | 2147483647   102628    136 |  0.000 % |
50.23/50.36	c |    105775 |    1100    22000   110000 | 2147483647   102806    136 |  0.000 % |
50.43/50.54	c |    105968 |    1100    22000   110000 | 2147483647   102999    135 |  0.000 % |
50.63/50.76	c |    106181 |    1100    22000   110000 | 2147483647   103212    135 |  0.000 % |
50.83/50.99	c |    106416 |    1100    22000   110000 | 2147483647   103447    135 |  0.000 % |
51.13/51.23	c |    106672 |    1100    22000   110000 | 2147483647   103703    135 |  0.000 % |
51.32/51.46	c |    106954 |    1100    22000   110000 | 2147483647   103985    135 |  0.000 % |
51.63/51.72	c |    107264 |    1100    22000   110000 | 2147483647   104295    135 |  0.000 % |
51.92/52.01	c |    107603 |    1100    22000   110000 | 2147483647   104634    135 |  0.000 % |
52.22/52.32	c |    107975 |    1100    22000   110000 | 2147483647   105006    135 |  0.000 % |
52.52/52.69	c |    108384 |    1100    22000   110000 | 2147483647   105415    135 |  0.000 % |
52.92/53.07	c |    108834 |    1100    22000   110000 | 2147483647   105865    135 |  0.000 % |
53.42/53.50	c |    109328 |    1100    22000   110000 | 2147483647   106359    135 |  0.000 % |
53.92/54.00	c |    109870 |    1100    22000   110000 | 2147483647   106901    135 |  0.000 % |
54.42/54.58	c |    110466 |    1100    22000   110000 |   107031    92856    136 |  0.000 % |
54.92/55.08	c |    111121 |    1100    22000   110000 |   107031    93511    136 |  0.000 % |
55.52/55.62	c |    111841 |    1100    22000   110000 |   107031    94231    136 |  0.000 % |
56.12/56.25	c |    112633 |    1100    22000   110000 |   107031    95023    136 |  0.000 % |
56.82/56.91	c |    113507 |    1100    22000   110000 |   107031    95897    136 |  0.000 % |
57.61/57.73	c |    114466 |    1100    22000   110000 |   107031    96856    136 |  0.000 % |
58.41/58.59	c |    115520 |    1100    22000   110000 |   107031    97910    136 |  0.000 % |
59.41/59.52	c |    116681 |    1100    22000   110000 |   107031    99071    136 |  0.000 % |
60.42/60.51	c |    117955 |    1100    22000   110000 |   107031   100345    136 |  0.000 % |
60.51/60.60	c |    118056 |    1100    22000   110000 |   107031   100446    136 |  0.000 % |
60.61/60.71	c |    118166 |    1100    22000   110000 |   107031   100556    136 |  0.000 % |
60.71/60.83	c |    118288 |    1100    22000   110000 |   107031   100678    136 |  0.000 % |
60.81/60.95	c |    118422 |    1100    22000   110000 |   107031   100812    136 |  0.000 % |
61.01/61.11	c |    118569 |    1100    22000   110000 |   107031   100959    136 |  0.000 % |
61.11/61.28	c |    118730 |    1100    22000   110000 |   107031   101120    136 |  0.000 % |
61.31/61.45	c |    118907 |    1100    22000   110000 |   107031   101297    136 |  0.000 % |
61.51/61.63	c |    119101 |    1100    22000   110000 |   107031   101491    136 |  0.000 % |
61.71/61.82	c |    119316 |    1100    22000   110000 |   107031   101706    136 |  0.000 % |
61.91/62.03	c |    119549 |    1100    22000   110000 |   107031   101939    136 |  0.000 % |
62.21/62.30	c |    119805 |    1100    22000   110000 |   107031   102195    136 |  0.000 % |
62.41/62.58	c |    120086 |    1100    22000   110000 |   102390   102476    136 |  0.000 % |
62.81/62.90	c |    120396 |    1100    22000   110000 |   102390    88816    137 |  0.000 % |
63.01/63.19	c |    120735 |    1100    22000   110000 |   102390    89155    136 |  0.000 % |
63.31/63.48	c |    121109 |    1100    22000   110000 |   102390    89529    136 |  0.000 % |
63.71/63.81	c |    121518 |    1100    22000   110000 |   102390    89938    137 |  0.000 % |
64.11/64.21	c |    121967 |    1100    22000   110000 |   102390    90387    137 |  0.000 % |
64.41/64.57	c |    122461 |    1100    22000   110000 |   102390    90881    136 |  0.000 % |
64.81/64.99	c |    123003 |    1100    22000   110000 |   102390    91423    136 |  0.000 % |
65.31/65.49	c |    123599 |    1100    22000   110000 |   102390    92019    137 |  0.000 % |
65.81/66.00	c |    124254 |    1100    22000   110000 |   102390    92674    136 |  0.000 % |
66.41/66.53	c |    124978 |    1100    22000   110000 |   102390    93398    137 |  0.000 % |
67.01/67.14	c |    125770 |    1100    22000   110000 |   102390    94190    137 |  0.000 % |
67.71/67.82	c |    126642 |    1100    22000   110000 |   102390    95062    137 |  0.000 % |
68.41/68.52	c |    127601 |    1100    22000   110000 |   102390    96021    137 |  0.000 % |
69.21/69.31	c |    128655 |    1100    22000   110000 |   102390    97075    137 |  0.000 % |
70.01/70.19	c |    129814 |    1100    22000   110000 |   102390    98234    137 |  0.000 % |
71.11/71.22	c |    131087 |    1100    22000   110000 |    98420    87941    137 |  0.000 % |
72.21/72.30	c |    132492 |    1100    22000   110000 |    98420    89346    137 |  0.000 % |
72.21/72.39	c |    132593 |    1100    22000   110000 |    98420    89447    137 |  0.000 % |
72.31/72.50	c |    132704 |    1100    22000   110000 |    98420    89558    137 |  0.000 % |
72.42/72.59	c |    132825 |    1100    22000   110000 |    98420    89679    137 |  0.000 % |
72.61/72.71	c |    132958 |    1100    22000   110000 |    98420    89812    137 |  0.000 % |
72.71/72.83	c |    133104 |    1100    22000   110000 |    98420    89958    137 |  0.000 % |
72.81/72.96	c |    133265 |    1100    22000   110000 |    98420    90119    137 |  0.000 % |
73.01/73.11	c |    133441 |    1100    22000   110000 |    98420    90295    137 |  0.000 % |
73.11/73.27	c |    133635 |    1100    22000   110000 |    98420    90489    137 |  0.000 % |
73.31/73.48	c |    133848 |    1100    22000   110000 |    98420    90702    137 |  0.000 % |
73.52/73.67	c |    134081 |    1100    22000   110000 |    98420    90935    137 |  0.000 % |
73.71/73.89	c |    134337 |    1100    22000   110000 |    98420    91191    137 |  0.000 % |
74.01/74.13	c |    134620 |    1100    22000   110000 |    98420    91474    137 |  0.000 % |
74.21/74.35	c |    134930 |    1100    22000   110000 |    98420    91784    137 |  0.000 % |
74.51/74.61	c |    135270 |    1100    22000   110000 |    98420    92124    137 |  0.000 % |
74.81/74.90	c |    135645 |    1100    22000   110000 |    98420    92499    137 |  0.000 % |
75.11/75.24	c |    136055 |    1100    22000   110000 |    98420    92909    137 |  0.000 % |
75.51/75.64	c |    136504 |    1100    22000   110000 |    98420    93358    137 |  0.000 % |
75.91/76.09	c |    136998 |    1100    22000   110000 |    98420    93852    137 |  0.000 % |
76.41/76.50	c |    137540 |    1100    22000   110000 |    98420    94394    137 |  0.000 % |
76.92/77.01	c |    138137 |    1100    22000   110000 |    98420    94991    137 |  0.000 % |
77.41/77.54	c |    138792 |    1100    22000   110000 |    98420    95646    137 |  0.000 % |
78.02/78.10	c |    139512 |    1100    22000   110000 |    98420    96366    137 |  0.000 % |
78.61/78.76	c |    140307 |    1100    22000   110000 |    96855    97161    137 |  0.000 % |
79.31/79.46	c |    141180 |    1100    22000   110000 |    96855    86728    138 |  0.000 % |
79.91/80.09	c |    142138 |    1100    22000   110000 |    96855    87686    138 |  0.000 % |
80.61/80.79	c |    143192 |    1100    22000   110000 |    96855    88740    138 |  0.000 % |
81.41/81.59	c |    144351 |    1100    22000   110000 |    96855    89899    139 |  0.000 % |
82.41/82.53	c |    145624 |    1100    22000   110000 |    96855    91172    139 |  0.000 % |
83.41/83.55	c |    147024 |    1100    22000   110000 |    96855    92572    139 |  0.000 % |
84.71/84.81	c |    148564 |    1100    22000   110000 |    96855    94112    139 |  0.000 % |
84.81/84.91	c |    148664 |    1100    22000   110000 |    96855    94212    139 |  0.000 % |
84.91/85.01	c |    148774 |    1100    22000   110000 |    96855    94322    139 |  0.000 % |
85.01/85.10	c |    148897 |    1100    22000   110000 |    96855    94445    139 |  0.000 % |
85.11/85.23	c |    149030 |    1100    22000   110000 |    96855    94578    139 |  0.000 % |
85.21/85.39	c |    149176 |    1100    22000   110000 |    96855    94724    139 |  0.000 % |
85.41/85.52	c |    149336 |    1100    22000   110000 |    96855    94884    139 |  0.000 % |
85.51/85.68	c |    149513 |    1100    22000   110000 |    96855    95061    139 |  0.000 % |
85.71/85.88	c |    149708 |    1100    22000   110000 |    96855    95256    139 |  0.000 % |
85.91/86.06	c |    149921 |    1100    22000   110000 |    96855    95469    139 |  0.000 % |
86.10/86.27	c |    150156 |    1100    22000   110000 | 2147483647    95704    139 |  0.000 % |
86.30/86.49	c |    150413 |    1100    22000   110000 | 2147483647    95961    139 |  0.000 % |
86.60/86.73	c |    150694 |    1100    22000   110000 | 2147483647    96242    139 |  0.000 % |
86.81/86.99	c |    151003 |    1100    22000   110000 | 2147483647    96551    139 |  0.000 % |
87.20/87.30	c |    151342 |    1100    22000   110000 | 2147483647    96890    139 |  0.000 % |
87.50/87.62	c |    151714 |    1100    22000   110000 | 2147483647    97262    139 |  0.000 % |
87.81/87.94	c |    152123 |    1100    22000   110000 | 2147483647    97671    139 |  0.000 % |
88.20/88.30	c |    152572 |    1100    22000   110000 | 2147483647    98120    139 |  0.000 % |
88.60/88.78	c |    153065 |    1100    22000   110000 | 2147483647    98613    139 |  0.000 % |
89.10/89.25	c |    153609 |    1100    22000   110000 | 2147483647    99157    139 |  0.000 % |
89.60/89.73	c |    154207 |    1100    22000   110000 | 2147483647    99755    139 |  0.000 % |
90.11/90.27	c |    154864 |    1100    22000   110000 | 2147483647   100412    139 |  0.000 % |
90.70/90.85	c |    155586 |    1100    22000   110000 | 2147483647   101134    139 |  0.000 % |
91.40/91.59	c |    156378 |    1100    22000   110000 | 2147483647   101926    139 |  0.000 % |
92.10/92.28	c |    157251 |    1100    22000   110000 | 2147483647   102799    139 |  0.000 % |
93.00/93.12	c |    158209 |    1100    22000   110000 | 2147483647   103757    139 |  0.000 % |
93.90/94.05	c |    159263 |    1100    22000   110000 | 2147483647   104811    139 |  0.000 % |
94.90/95.09	c |    160423 |    1100    22000   110000 |   105548    91956    139 |  0.000 % |
95.90/96.09	c |    161697 |    1100    22000   110000 |   105548    93230    139 |  0.000 % |
97.00/97.16	c |    163097 |    1100    22000   110000 |   105548    94630    140 |  0.000 % |
98.20/98.39	c |    164639 |    1100    22000   110000 |   105548    96172    140 |  0.000 % |
99.60/99.78	c |    166334 |    1100    22000   110000 |   105548    97867    140 |  0.000 % |
99.70/99.89	c |    166435 |    1100    22000   110000 |   105548    97968    140 |  0.000 % |
99.79/99.98	c |    166545 |    1100    22000   110000 |   105548    98078    140 |  0.000 % |
100.00/100.12	c |    166668 |    1100    22000   110000 |   105548    98201    140 |  0.000 % |
100.09/100.24	c |    166802 |    1100    22000   110000 |   105548    98335    140 |  0.000 % |
100.19/100.39	c |    166948 |    1100    22000   110000 |   105548    98481    140 |  0.000 % |
100.39/100.54	c |    167111 |    1100    22000   110000 |   105548    98644    140 |  0.000 % |
100.59/100.70	c |    167287 |    1100    22000   110000 |   105548    98820    140 |  0.000 % |
100.69/100.87	c |    167480 |    1100    22000   110000 |   105548    99013    140 |  0.000 % |
100.89/101.06	c |    167693 |    1100    22000   110000 |   105548    99226    140 |  0.000 % |
101.10/101.26	c |    167927 |    1100    22000   110000 |   105548    99460    140 |  0.000 % |
101.29/101.49	c |    168185 |    1100    22000   110000 |   105548    99718    140 |  0.000 % |
101.59/101.76	c |    168466 |    1100    22000   110000 |   105548    99999    140 |  0.000 % |
101.89/102.02	c |    168777 |    1100    22000   110000 |   105548   100310    139 |  0.000 % |
102.20/102.30	c |    169116 |    1100    22000   110000 |   105548   100649    139 |  0.000 % |
102.49/102.64	c |    169488 |    1100    22000   110000 |   105548   101021    139 |  0.000 % |
102.79/102.98	c |    169897 |    1100    22000   110000 |   105548   101430    139 |  0.000 % |
103.19/103.33	c |    170347 |    1100    22000   110000 |   101535   101880    139 |  0.000 % |
103.59/103.76	c |    170840 |    1100    22000   110000 |   101535    90023    139 |  0.000 % |
103.99/104.14	c |    171384 |    1100    22000   110000 |   101535    90567    140 |  0.000 % |
104.39/104.59	c |    171980 |    1100    22000   110000 |   101535    91163    140 |  0.000 % |
104.89/105.06	c |    172637 |    1100    22000   110000 |   101535    91820    140 |  0.000 % |
105.49/105.61	c |    173359 |    1100    22000   110000 |   101535    92542    140 |  0.000 % |
106.09/106.25	c |    174151 |    1100    22000   110000 |   101535    93334    140 |  0.000 % |
106.69/106.89	c |    175022 |    1100    22000   110000 |   101535    94205    140 |  0.000 % |
107.49/107.70	c |    175981 |    1100    22000   110000 |   101535    95164    140 |  0.000 % |
108.29/108.49	c |    177035 |    1100    22000   110000 |   101535    96218    140 |  0.000 % |
109.28/109.46	c |    178193 |    1100    22000   110000 |   101535    97376    140 |  0.000 % |
110.28/110.49	c |    179467 |    1100    22000   110000 |   101535    98650    140 |  0.000 % |
111.58/111.75	c |    180868 |    1100    22000   110000 |    99184    88320    140 |  0.000 % |
112.68/112.85	c |    182409 |    1100    22000   110000 |    99184    89861    140 |  0.000 % |
113.88/114.07	c |    184105 |    1100    22000   110000 |    99184    91557    140 |  0.000 % |
115.39/115.57	c |    185968 |    1100    22000   110000 |    99184    93420    140 |  0.000 % |
115.48/115.66	c |    186068 |    1100    22000   110000 |    99184    93520    140 |  0.000 % |
115.58/115.78	c |    186179 |    1100    22000   110000 |    99184    93631    140 |  0.000 % |
115.68/115.89	c |    186300 |    1100    22000   110000 |    99184    93752    140 |  0.000 % |
115.88/116.00	c |    186434 |    1100    22000   110000 |    99184    93886    140 |  0.000 % |
115.98/116.14	c |    186581 |    1100    22000   110000 |    99184    94033    140 |  0.000 % |
116.18/116.30	c |    186743 |    1100    22000   110000 |    99184    94195    140 |  0.000 % |
116.28/116.46	c |    186920 |    1100    22000   110000 |    99184    94372    140 |  0.000 % |
116.49/116.63	c |    187114 |    1100    22000   110000 |    99184    94566    140 |  0.000 % |
116.68/116.82	c |    187327 |    1100    22000   110000 |    99184    94779    140 |  0.000 % |
116.88/117.03	c |    187560 |    1100    22000   110000 |    99184    95012    140 |  0.000 % |
117.18/117.30	c |    187817 |    1100    22000   110000 |    99184    95269    140 |  0.000 % |
117.38/117.55	c |    188098 |    1100    22000   110000 |    99184    95550    140 |  0.000 % |
117.68/117.81	c |    188408 |    1100    22000   110000 |    99184    95860    139 |  0.000 % |
117.88/118.10	c |    188748 |    1100    22000   110000 |    99184    96200    140 |  0.000 % |
118.28/118.42	c |    189121 |    1100    22000   110000 |    99184    96573    140 |  0.000 % |
118.59/118.78	c |    189532 |    1100    22000   110000 |    99184    96984    139 |  0.000 % |
119.08/119.20	c |    189985 |    1100    22000   110000 |    99184    97437    140 |  0.000 % |
119.48/119.69	c |    190478 |    1100    22000   110000 |    97452    86910    139 |  0.000 % |
119.88/120.09	c |    191022 |    1100    22000   110000 |    97452    87454    139 |  0.000 % |
120.38/120.56	c |    191618 |    1100    22000   110000 |    97452    88050    139 |  0.000 % |
120.88/121.07	c |    192273 |    1100    22000   110000 |    97452    88705    139 |  0.000 % |
121.38/121.58	c |    192993 |    1100    22000   110000 |    97452    89425    139 |  0.000 % |
121.98/122.18	c |    193786 |    1100    22000   110000 |    97452    90218    139 |  0.000 % |
122.68/122.83	c |    194657 |    1100    22000   110000 |    97452    91089    140 |  0.000 % |
123.38/123.51	c |    195616 |    1100    22000   110000 |    97452    92048    140 |  0.000 % |
124.18/124.33	c |    196670 |    1100    22000   110000 |    97452    93102    140 |  0.000 % |
125.08/125.22	c |    197828 |    1100    22000   110000 |    97452    94260    140 |  0.000 % |
125.98/126.16	c |    199101 |    1100    22000   110000 |    97452    95533    140 |  0.000 % |
127.08/127.26	c |    200501 |    1100    22000   110000 |    96432    86829    140 |  0.000 % |
128.28/128.43	c |    202041 |    1100    22000   110000 |    96432    88369    140 |  0.000 % |
129.58/129.76	c |    203737 |    1100    22000   110000 |    96432    90065    140 |  0.000 % |
130.97/131.12	c |    205603 |    1100    22000   110000 |    96432    91931    140 |  0.000 % |
132.47/132.67	c |    207652 |    1100    22000   110000 |    96432    93980    140 |  0.000 % |
132.57/132.76	c |    207752 |    1100    22000   110000 |    96432    94080    140 |  0.000 % |
132.67/132.86	c |    207864 |    1100    22000   110000 |    96432    94192    140 |  0.000 % |
132.77/132.96	c |    207989 |    1100    22000   110000 |    96432    94317    140 |  0.000 % |
132.88/133.09	c |    208123 |    1100    22000   110000 |    96432    94451    140 |  0.000 % |
133.07/133.22	c |    208269 |    1100    22000   110000 |    96432    94597    140 |  0.000 % |
133.17/133.35	c |    208429 |    1100    22000   110000 |    96432    94757    140 |  0.000 % |
133.37/133.50	c |    208607 |    1100    22000   110000 |    96432    94935    140 |  0.000 % |
133.47/133.66	c |    208801 |    1100    22000   110000 |    96432    95129    140 |  0.000 % |
133.67/133.84	c |    209013 |    1100    22000   110000 |    96432    95341    140 |  0.000 % |
133.87/134.09	c |    209247 |    1100    22000   110000 |    96432    95575    140 |  0.000 % |
134.17/134.32	c |    209503 |    1100    22000   110000 |    96432    95831    140 |  0.000 % |
134.47/134.61	c |    209785 |    1100    22000   110000 |    96432    96113    140 |  0.000 % |
134.67/134.88	c |    210094 |    1100    22000   110000 |    96329    96422    140 |  0.000 % |
135.07/135.20	c |    210434 |    1100    22000   110000 |    96329    85894    141 |  0.000 % |
135.37/135.52	c |    210807 |    1100    22000   110000 |    96329    86267    141 |  0.000 % |
135.67/135.88	c |    211216 |    1100    22000   110000 |    96329    86676    141 |  0.000 % |
136.07/136.22	c |    211665 |    1100    22000   110000 |    96329    87125    141 |  0.000 % |
136.37/136.56	c |    212160 |    1100    22000   110000 |    96329    87620    141 |  0.000 % |
136.77/136.98	c |    212702 |    1100    22000   110000 |    96329    88162    141 |  0.000 % |
137.27/137.43	c |    213300 |    1100    22000   110000 |    96329    88760    141 |  0.000 % |
137.77/137.92	c |    213956 |    1100    22000   110000 |    96329    89416    141 |  0.000 % |
138.27/138.47	c |    214677 |    1100    22000   110000 |    96329    90137    141 |  0.000 % |
138.87/139.05	c |    215470 |    1100    22000   110000 |    96329    90930    141 |  0.000 % |
139.47/139.68	c |    216342 |    1100    22000   110000 |    96329    91802    141 |  0.000 % |
140.27/140.42	c |    217301 |    1100    22000   110000 |    96329    92761    141 |  0.000 % |
141.07/141.24	c |    218354 |    1100    22000   110000 |    96329    93814    141 |  0.000 % |
141.97/142.12	c |    219512 |    1100    22000   110000 |    96329    94972    141 |  0.000 % |
143.07/143.25	c |    220785 |    1100    22000   110000 | 2147483647    96245    141 |  0.000 % |
144.27/144.43	c |    222185 |    1100    22000   110000 | 2147483647    97645    141 |  0.000 % |
145.47/145.66	c |    223725 |    1100    22000   110000 | 2147483647    99185    141 |  0.000 % |
146.77/146.97	c |    225419 |    1100    22000   110000 | 2147483647   100879    141 |  0.000 % |
148.37/148.52	c |    227283 |    1100    22000   110000 | 2147483647   102743    141 |  0.000 % |
150.06/150.24	c |    229333 |    1100    22000   110000 | 2147483647   104793    141 |  0.000 % |
151.97/152.12	c |    231586 |    1100    22000   110000 |   105460    93662    141 |  0.000 % |
152.07/152.23	c |    231686 |    1100    22000   110000 |   105460    93762    141 |  0.000 % |
152.17/152.31	c |    231796 |    1100    22000   110000 |   105460    93872    141 |  0.000 % |
152.27/152.42	c |    231917 |    1100    22000   110000 |   105460    93993    141 |  0.000 % |
152.37/152.53	c |    232051 |    1100    22000   110000 |   105460    94127    141 |  0.000 % |
152.47/152.68	c |    232198 |    1100    22000   110000 |   105460    94274    141 |  0.000 % |
152.67/152.82	c |    232358 |    1100    22000   110000 |   105460    94434    141 |  0.000 % |
152.77/152.97	c |    232535 |    1100    22000   110000 |   105460    94611    141 |  0.000 % |
152.97/153.18	c |    232729 |    1100    22000   110000 |   105460    94805    141 |  0.000 % |
153.17/153.36	c |    232942 |    1100    22000   110000 |   105460    95018    141 |  0.000 % |
153.37/153.55	c |    233177 |    1100    22000   110000 |   105460    95253    141 |  0.000 % |
153.57/153.76	c |    233433 |    1100    22000   110000 |   105460    95509    141 |  0.000 % |
153.77/153.98	c |    233714 |    1100    22000   110000 |   105460    95790    141 |  0.000 % |
154.07/154.23	c |    234023 |    1100    22000   110000 |   105460    96099    141 |  0.000 % |
154.37/154.53	c |    234363 |    1100    22000   110000 |   105460    96439    141 |  0.000 % |
154.67/154.85	c |    234736 |    1100    22000   110000 |   105460    96812    141 |  0.000 % |
155.07/155.22	c |    235146 |    1100    22000   110000 |   105460    97222    141 |  0.000 % |
155.37/155.60	c |    235596 |    1100    22000   110000 |   105460    97672    141 |  0.000 % |
155.86/156.03	c |    236089 |    1100    22000   110000 |   105460    98165    141 |  0.000 % |
156.36/156.51	c |    236631 |    1100    22000   110000 |   105460    98707    141 |  0.000 % |
156.86/157.00	c |    237228 |    1100    22000   110000 |   105460    99304    141 |  0.000 % |
157.36/157.54	c |    237884 |    1100    22000   110000 |   105460    99960    141 |  0.000 % |
157.86/158.09	c |    238604 |    1100    22000   110000 |   105460   100680    141 |  0.000 % |
158.56/158.74	c |    239396 |    1100    22000   110000 |   105460   101472    141 |  0.000 % |
159.27/159.46	c |    240268 |    1100    22000   110000 |   102076   102344    141 |  0.000 % |
160.06/160.27	c |    241227 |    1100    22000   110000 |   102076    90005    140 |  0.000 % |
160.86/161.01	c |    242281 |    1100    22000   110000 |   102076    91059    140 |  0.000 % |
161.66/161.84	c |    243439 |    1100    22000   110000 |   102076    92217    140 |  0.000 % |
162.67/162.81	c |    244712 |    1100    22000   110000 |   102076    93490    140 |  0.000 % |
163.67/163.80	c |    246112 |    1100    22000   110000 |   102076    94890    140 |  0.000 % |
164.76/164.99	c |    247652 |    1100    22000   110000 |   102076    96430    140 |  0.000 % |
166.16/166.34	c |    249347 |    1100    22000   110000 |   102076    98125    140 |  0.000 % |
167.56/167.74	c |    251211 |    1100    22000   110000 |    98778    89257    140 |  0.000 % |
169.06/169.25	c |    253260 |    1100    22000   110000 |    98778    91306    140 |  0.000 % |
170.76/170.96	c |    255513 |    1100    22000   110000 |    98778    93559    141 |  0.000 % |
172.66/172.80	c |    257992 |    1100    22000   110000 |    98778    96038    141 |  0.000 % |
172.66/172.88	c |    258094 |    1100    22000   110000 |    98778    96140    141 |  0.000 % |
172.75/173.00	c |    258205 |    1100    22000   110000 |    98778    96251    141 |  0.000 % |
172.95/173.10	c |    258327 |    1100    22000   110000 |    98778    96373    141 |  0.000 % |
173.05/173.21	c |    258460 |    1100    22000   110000 |    98778    96506    141 |  0.000 % |
173.15/173.33	c |    258606 |    1100    22000   110000 |    98778    96652    141 |  0.000 % |
173.25/173.46	c |    258767 |    1100    22000   110000 |    98778    96813    141 |  0.000 % |
173.45/173.61	c |    258944 |    1100    22000   110000 |    98778    96990    141 |  0.000 % |
173.56/173.78	c |    259137 |    1100    22000   110000 |    98778    97183    141 |  0.000 % |
173.75/173.96	c |    259350 |    1100    22000   110000 |    98778    97396    141 |  0.000 % |
173.95/174.18	c |    259584 |    1100    22000   110000 |    98778    97630    141 |  0.000 % |
174.25/174.43	c |    259840 |    1100    22000   110000 |    98778    97886    141 |  0.000 % |
174.45/174.68	c |    260124 |    1100    22000   110000 |    98046    98170    141 |  0.000 % |
174.76/174.97	c |    260436 |    1100    22000   110000 |    98046    87709    141 |  0.000 % |
175.05/175.22	c |    260775 |    1100    22000   110000 |    98046    88048    141 |  0.000 % |
175.35/175.50	c |    261147 |    1100    22000   110000 |    98046    88420    141 |  0.000 % |
175.65/175.81	c |    261556 |    1100    22000   110000 |    98046    88829    141 |  0.000 % |
175.95/176.17	c |    262005 |    1100    22000   110000 |    98046    89278    141 |  0.000 % |
176.35/176.59	c |    262500 |    1100    22000   110000 |    98046    89773    141 |  0.000 % |
176.86/177.01	c |    263042 |    1100    22000   110000 |    98046    90315    141 |  0.000 % |
177.25/177.49	c |    263638 |    1100    22000   110000 |    98046    90911    141 |  0.000 % |
177.85/178.01	c |    264294 |    1100    22000   110000 |    98046    91567    141 |  0.000 % |
178.35/178.58	c |    265015 |    1100    22000   110000 |    98046    92288    141 |  0.000 % |
179.05/179.28	c |    265808 |    1100    22000   110000 |    98046    93081    141 |  0.000 % |
179.85/180.03	c |    266680 |    1100    22000   110000 |    98046    93953    140 |  0.000 % |
180.55/180.72	c |    267639 |    1100    22000   110000 |    98046    94912    140 |  0.000 % |
181.35/181.57	c |    268692 |    1100    22000   110000 |    98046    95965    140 |  0.000 % |
182.25/182.46	c |    269850 |    1100    22000   110000 |    98046    97123    140 |  0.000 % |
183.35/183.51	c |    271123 |    1100    22000   110000 |    97275    88190    140 |  0.000 % |
184.35/184.54	c |    272524 |    1100    22000   110000 |    97275    89591    140 |  0.000 % |
185.55/185.80	c |    274064 |    1100    22000   110000 |    97275    91131    140 |  0.000 % |
186.95/187.11	c |    275760 |    1100    22000   110000 |    97275    92827    141 |  0.000 % |
188.25/188.50	c |    277624 |    1100    22000   110000 |    97275    94691    141 |  0.000 % |
189.85/190.09	c |    279673 |    1100    22000   110000 |    97275    96740    141 |  0.000 % |
191.74/191.90	c |    281926 |    1100    22000   110000 | 2147483647    98993    141 |  0.000 % |
193.74/193.96	c |    284406 |    1100    22000   110000 | 2147483647   101473    141 |  0.000 % |
195.94/196.17	c |    287131 |    1100    22000   110000 | 2147483647   104198    142 |  0.000 % |
196.04/196.25	c |    287231 |    1100    22000   110000 | 2147483647   104298    142 |  0.000 % |
196.14/196.35	c |    287341 |    1100    22000   110000 | 2147483647   104408    142 |  0.000 % |
196.24/196.47	c |    287462 |    1100    22000   110000 | 2147483647   104529    142 |  0.000 % |
196.44/196.61	c |    287598 |    1100    22000   110000 | 2147483647   104665    142 |  0.000 % |
196.54/196.77	c |    287744 |    1100    22000   110000 | 2147483647   104811    142 |  0.000 % |
196.75/196.92	c |    287904 |    1100    22000   110000 | 2147483647   104971    142 |  0.000 % |
196.94/197.10	c |    288080 |    1100    22000   110000 | 2147483647   105147    142 |  0.000 % |
197.14/197.31	c |    288275 |    1100    22000   110000 | 2147483647   105342    142 |  0.000 % |
197.24/197.49	c |    288488 |    1100    22000   110000 | 2147483647   105555    142 |  0.000 % |
197.54/197.71	c |    288721 |    1100    22000   110000 | 2147483647   105788    142 |  0.000 % |
197.75/197.95	c |    288977 |    1100    22000   110000 | 2147483647   106044    142 |  0.000 % |
198.04/198.22	c |    289259 |    1100    22000   110000 | 2147483647   106326    142 |  0.000 % |
198.34/198.53	c |    289568 |    1100    22000   110000 | 2147483647   106635    142 |  0.000 % |
198.64/198.89	c |    289907 |    1100    22000   110000 | 2147483647   106974    142 |  0.000 % |
199.04/199.25	c |    290279 |    1100    22000   110000 |   107067   107346    142 |  0.000 % |
199.44/199.65	c |    290691 |    1100    22000   110000 |   107067    94033    142 |  0.000 % |
199.84/200.02	c |    291140 |    1100    22000   110000 |   107067    94482    142 |  0.000 % |
200.24/200.43	c |    291634 |    1100    22000   110000 |   107067    94976    142 |  0.000 % |
200.64/200.87	c |    292177 |    1100    22000   110000 |   107067    95519    142 |  0.000 % |
201.14/201.36	c |    292773 |    1100    22000   110000 |   107067    96115    142 |  0.000 % |
201.74/201.95	c |    293428 |    1100    22000   110000 |   107067    96770    142 |  0.000 % |
202.34/202.57	c |    294148 |    1100    22000   110000 |   107067    97490    142 |  0.000 % |
203.04/203.23	c |    294940 |    1100    22000   110000 |   107067    98282    142 |  0.000 % |
203.84/204.04	c |    295811 |    1100    22000   110000 |   107067    99153    142 |  0.000 % |
204.64/204.89	c |    296769 |    1100    22000   110000 |   107067   100111    142 |  0.000 % |
205.54/205.78	c |    297822 |    1100    22000   110000 |   107067   101164    142 |  0.000 % |
206.54/206.76	c |    298982 |    1100    22000   110000 |   107067   102324    142 |  0.000 % |
207.64/207.84	c |    300256 |    1100    22000   110000 |   103343   103598    142 |  0.000 % |
208.74/208.93	c |    301657 |    1100    22000   110000 |   103343    91715    142 |  0.000 % |
209.84/210.03	c |    303198 |    1100    22000   110000 |   103343    93256    142 |  0.000 % |
211.13/211.30	c |    304893 |    1100    22000   110000 |   103343    94951    143 |  0.000 % |
212.53/212.72	c |    306756 |    1100    22000   110000 |   103343    96814    142 |  0.000 % |
214.13/214.32	c |    308805 |    1100    22000   110000 |   103343    98863    143 |  0.000 % |
215.93/216.11	c |    311060 |    1100    22000   110000 |   100058    90372    143 |  0.000 % |
217.73/217.95	c |    313538 |    1100    22000   110000 |   100058    92850    143 |  0.000 % |
219.73/219.98	c |    316266 |    1100    22000   110000 |   100058    95578    143 |  0.000 % |
222.03/222.26	c |    319265 |    1100    22000   110000 |   100058    98577    143 |  0.000 % |
222.13/222.35	c |    319366 |    1100    22000   110000 |   100058    98678    143 |  0.000 % |
222.23/222.44	c |    319476 |    1100    22000   110000 |   100058    98788    143 |  0.000 % |
222.33/222.56	c |    319599 |    1100    22000   110000 |   100058    98911    143 |  0.000 % |
222.43/222.69	c |    319732 |    1100    22000   110000 |   100058    99044    143 |  0.000 % |
222.63/222.83	c |    319878 |    1100    22000   110000 |   100058    99190    143 |  0.000 % |
222.73/222.98	c |    320038 |    1100    22000   110000 |    99314    99350    143 |  0.000 % |
223.03/223.26	c |    320215 |    1100    22000   110000 |    99314    88937    143 |  0.000 % |
223.23/223.41	c |    320408 |    1100    22000   110000 |    99314    89130    143 |  0.000 % |
223.33/223.57	c |    320620 |    1100    22000   110000 |    99314    89342    143 |  0.000 % |
223.53/223.74	c |    320853 |    1100    22000   110000 |    99314    89575    143 |  0.000 % |
223.73/223.95	c |    321111 |    1100    22000   110000 |    99314    89833    143 |  0.000 % |
223.93/224.17	c |    321394 |    1100    22000   110000 |    99314    90116    143 |  0.000 % |
224.23/224.43	c |    321703 |    1100    22000   110000 |    99314    90425    143 |  0.000 % |
224.53/224.70	c |    322043 |    1100    22000   110000 |    99314    90765    143 |  0.000 % |
224.83/225.02	c |    322415 |    1100    22000   110000 |    99314    91137    143 |  0.000 % |
225.13/225.35	c |    322824 |    1100    22000   110000 |    99314    91546    143 |  0.000 % |
225.53/225.70	c |    323274 |    1100    22000   110000 |    99314    91996    143 |  0.000 % |
225.83/226.09	c |    323767 |    1100    22000   110000 |    99314    92489    143 |  0.000 % |
226.33/226.51	c |    324310 |    1100    22000   110000 |    99314    93032    142 |  0.000 % |
226.73/226.98	c |    324908 |    1100    22000   110000 |    99314    93630    142 |  0.000 % |
227.23/227.49	c |    325563 |    1100    22000   110000 |    99314    94285    142 |  0.000 % |
227.93/228.10	c |    326285 |    1100    22000   110000 |    99314    95007    142 |  0.000 % |
228.53/228.75	c |    327077 |    1100    22000   110000 |    99314    95799    142 |  0.000 % |
229.23/229.44	c |    327948 |    1100    22000   110000 |    99314    96670    142 |  0.000 % |
230.03/230.21	c |    328906 |    1100    22000   110000 |    99314    97628    142 |  0.000 % |
230.83/231.03	c |    329959 |    1100    22000   110000 |    99314    98681    142 |  0.000 % |
231.83/232.01	c |    331117 |    1100    22000   110000 |    98722    88367    143 |  0.000 % |
232.72/232.93	c |    332392 |    1100    22000   110000 |    98722    89642    143 |  0.000 % |
233.72/233.96	c |    333792 |    1100    22000   110000 |    98722    91042    143 |  0.000 % |
234.92/235.13	c |    335335 |    1100    22000   110000 |    98722    92585    143 |  0.000 % |
236.23/236.44	c |    337030 |    1100    22000   110000 |    98722    94280    143 |  0.000 % |
237.82/238.02	c |    338893 |    1100    22000   110000 |    98722    96143    143 |  0.000 % |
239.52/239.71	c |    340943 |    1100    22000   110000 |    97250    87961    143 |  0.000 % |
241.22/241.42	c |    343197 |    1100    22000   110000 |    97250    90215    143 |  0.000 % |
243.11/243.36	c |    345677 |    1100    22000   110000 |    97250    92695    143 |  0.000 % |
245.21/245.47	c |    348402 |    1100    22000   110000 |    97250    95420    143 |  0.000 % |
247.51/247.78	c |    351399 |    1100    22000   110000 |    97018    88253    143 |  0.000 % |
250.01/250.23	c |    354695 |    1100    22000   110000 |    97018    91549    143 |  0.000 % |
250.11/250.31	c |    354795 |    1100    22000   110000 |    97018    91649    143 |  0.000 % |
250.21/250.41	c |    354907 |    1100    22000   110000 |    97018    91761    143 |  0.000 % |
250.31/250.53	c |    355029 |    1100    22000   110000 |    97018    91883    143 |  0.000 % |
250.41/250.67	c |    355162 |    1100    22000   110000 |    97018    92016    143 |  0.000 % |
250.51/250.78	c |    355308 |    1100    22000   110000 |    97018    92162    143 |  0.000 % |
250.71/250.92	c |    355470 |    1100    22000   110000 |    97018    92324    143 |  0.000 % |
250.81/251.07	c |    355647 |    1100    22000   110000 |    97018    92501    143 |  0.000 % |
251.01/251.25	c |    355840 |    1100    22000   110000 |    97018    92694    143 |  0.000 % |
251.21/251.42	c |    356052 |    1100    22000   110000 |    97018    92906    143 |  0.000 % |
251.41/251.63	c |    356286 |    1100    22000   110000 |    97018    93140    143 |  0.000 % |
251.61/251.86	c |    356544 |    1100    22000   110000 |    97018    93398    143 |  0.000 % |
251.91/252.10	c |    356829 |    1100    22000   110000 |    97018    93683    143 |  0.000 % |
252.11/252.36	c |    357139 |    1100    22000   110000 |    97018    93993    143 |  0.000 % |
252.41/252.64	c |    357479 |    1100    22000   110000 |    97018    94333    143 |  0.000 % |
252.71/252.93	c |    357851 |    1100    22000   110000 |    97018    94705    143 |  0.000 % |
253.01/253.29	c |    358260 |    1100    22000   110000 |    97018    95114    143 |  0.000 % |
253.41/253.66	c |    358709 |    1100    22000   110000 |    97018    95563    143 |  0.000 % |
253.81/254.01	c |    359202 |    1100    22000   110000 |    97018    96056    143 |  0.000 % |
254.21/254.43	c |    359744 |    1100    22000   110000 |    97018    96598    143 |  0.000 % |
254.71/254.92	c |    360340 |    1100    22000   110000 |    96855    97194    143 |  0.000 % |
255.21/255.47	c |    360995 |    1100    22000   110000 |    96855    87125    143 |  0.000 % |
255.71/255.97	c |    361716 |    1100    22000   110000 |    96855    87846    143 |  0.000 % |
256.31/256.51	c |    362510 |    1100    22000   110000 |    96855    88640    143 |  0.000 % |
257.01/257.21	c |    363382 |    1100    22000   110000 |    96855    89512    143 |  0.000 % |
257.71/257.95	c |    364342 |    1100    22000   110000 |    96855    90472    143 |  0.000 % |
258.41/258.70	c |    365400 |    1100    22000   110000 |    96855    91530    143 |  0.000 % |
259.41/259.63	c |    366558 |    1100    22000   110000 |    96855    92688    143 |  0.000 % |
260.41/260.68	c |    367832 |    1100    22000   110000 |    96855    93962    143 |  0.000 % |
261.51/261.79	c |    369234 |    1100    22000   110000 |    96855    95364    143 |  0.000 % |
262.80/263.07	c |    370775 |    1100    22000   110000 |    96130    86905    143 |  0.000 % |
264.00/264.25	c |    372469 |    1100    22000   110000 |    96130    88599    143 |  0.000 % |
265.40/265.61	c |    374332 |    1100    22000   110000 |    96130    90462    143 |  0.000 % |
266.80/267.08	c |    376381 |    1100    22000   110000 |    96130    92511    143 |  0.000 % |
268.50/268.75	c |    378635 |    1100    22000   110000 |    96130    94765    143 |  0.000 % |
270.41/270.68	c |    381114 |    1100    22000   110000 | 2147483647    97244    144 |  0.000 % |
272.50/272.77	c |    383839 |    1100    22000   110000 | 2147483647    99969    144 |  0.000 % |
275.00/275.25	c |    386840 |    1100    22000   110000 | 2147483647   102970    144 |  0.000 % |
277.70/277.97	c |    390136 |    1100    22000   110000 |   106130   106266    144 |  0.000 % |
280.50/280.78	c |    393762 |    1100    22000   110000 |   106130    97570    145 |  0.000 % |
280.60/280.86	c |    393863 |    1100    22000   110000 |   106130    97671    145 |  0.000 % |
280.70/280.97	c |    393975 |    1100    22000   110000 |   106130    97783    145 |  0.000 % |
280.80/281.10	c |    394099 |    1100    22000   110000 |   106130    97907    145 |  0.000 % |
281.00/281.25	c |    394233 |    1100    22000   110000 |   106130    98041    145 |  0.000 % |
281.10/281.39	c |    394379 |    1100    22000   110000 |   106130    98187    145 |  0.000 % |
281.30/281.53	c |    394539 |    1100    22000   110000 |   106130    98347    145 |  0.000 % |
281.50/281.72	c |    394715 |    1100    22000   110000 |   106130    98523    145 |  0.000 % |
281.60/281.90	c |    394908 |    1100    22000   110000 |   106130    98716    145 |  0.000 % |
281.80/282.09	c |    395121 |    1100    22000   110000 |   106130    98929    145 |  0.000 % |
282.10/282.30	c |    395355 |    1100    22000   110000 |   106130    99163    145 |  0.000 % |
282.30/282.51	c |    395612 |    1100    22000   110000 |   106130    99420    145 |  0.000 % |
282.50/282.75	c |    395894 |    1100    22000   110000 |   106130    99702    145 |  0.000 % |
282.79/283.01	c |    396204 |    1100    22000   110000 |   106130   100012    145 |  0.000 % |
282.99/283.27	c |    396543 |    1100    22000   110000 |   106130   100351    145 |  0.000 % |
283.39/283.64	c |    396916 |    1100    22000   110000 |   106130   100724    144 |  0.000 % |
283.69/283.97	c |    397325 |    1100    22000   110000 |   106130   101133    144 |  0.000 % |
284.09/284.36	c |    397774 |    1100    22000   110000 |   106130   101582    144 |  0.000 % |
284.49/284.80	c |    398268 |    1100    22000   110000 |   106130   102076    144 |  0.000 % |
284.99/285.25	c |    398810 |    1100    22000   110000 |   106130   102618    144 |  0.000 % |
285.49/285.79	c |    399406 |    1100    22000   110000 |   106130   103214    144 |  0.000 % |
286.09/286.36	c |    400062 |    1100    22000   110000 |   103808   103870    144 |  0.000 % |
286.79/287.05	c |    400783 |    1100    22000   110000 |   103808    91109    144 |  0.000 % |
287.39/287.63	c |    401576 |    1100    22000   110000 |   103808    91902    144 |  0.000 % |
288.09/288.32	c |    402448 |    1100    22000   110000 |   103808    92774    144 |  0.000 % |
288.79/289.04	c |    403407 |    1100    22000   110000 |   103808    93733    144 |  0.000 % |
289.59/289.80	c |    404460 |    1100    22000   110000 |   103808    94786    144 |  0.000 % |
290.48/290.74	c |    405618 |    1100    22000   110000 |   103808    95944    144 |  0.000 % |
291.48/291.77	c |    406891 |    1100    22000   110000 |   103808    97217    144 |  0.000 % |
292.58/292.88	c |    408294 |    1100    22000   110000 |   103808    98620    144 |  0.000 % |
293.78/294.03	c |    409835 |    1100    22000   110000 |   103808   100161    144 |  0.000 % |
295.18/295.44	c |    411529 |    1100    22000   110000 |   100326    90050    145 |  0.000 % |
296.58/296.86	c |    413394 |    1100    22000   110000 |   100326    91915    145 |  0.000 % |
298.18/298.43	c |    415443 |    1100    22000   110000 |   100326    93964    145 |  0.000 % |
299.88/300.17	c |    417697 |    1100    22000   110000 |   100326    96218    144 |  0.000 % |
301.88/302.12	c |    420176 |    1100    22000   110000 |    98521    98697    145 |  0.000 % |
303.88/304.17	c |    422901 |    1100    22000   110000 |    98521    90928    145 |  0.000 % |
306.18/306.40	c |    425900 |    1100    22000   110000 |    98521    93927    145 |  0.000 % |
308.68/308.90	c |    429198 |    1100    22000   110000 |    98521    97225    145 |  0.000 % |
311.58/311.83	c |    432826 |    1100    22000   110000 | 2147483647   100853    145 |  0.000 % |
314.78/315.00	c |    436813 |    1100    22000   110000 | 2147483647   104840    145 |  0.000 % |
314.78/315.08	c |    436913 |    1100    22000   110000 | 2147483647   104940    145 |  0.000 % |
314.88/315.19	c |    437023 |    1100    22000   110000 | 2147483647   105050    145 |  0.000 % |
315.08/315.35	c |    437144 |    1100    22000   110000 | 2147483647   105171    145 |  0.000 % |
315.18/315.47	c |    437280 |    1100    22000   110000 | 2147483647   105307    145 |  0.000 % |
315.39/315.61	c |    437426 |    1100    22000   110000 | 2147483647   105453    145 |  0.000 % |
315.49/315.77	c |    437586 |    1100    22000   110000 | 2147483647   105613    145 |  0.000 % |
315.69/315.97	c |    437762 |    1100    22000   110000 | 2147483647   105789    145 |  0.000 % |
315.89/316.15	c |    437955 |    1100    22000   110000 | 2147483647   105982    145 |  0.000 % |
316.08/316.36	c |    438167 |    1100    22000   110000 | 2147483647   106194    145 |  0.000 % |
316.28/316.59	c |    438400 |    1100    22000   110000 | 2147483647   106427    145 |  0.000 % |
316.59/316.83	c |    438656 |    1100    22000   110000 | 2147483647   106683    145 |  0.000 % |
316.78/317.08	c |    438937 |    1100    22000   110000 | 2147483647   106964    145 |  0.000 % |
317.08/317.35	c |    439246 |    1100    22000   110000 | 2147483647   107273    145 |  0.000 % |
317.38/317.66	c |    439585 |    1100    22000   110000 | 2147483647   107612    145 |  0.000 % |
317.78/318.05	c |    439957 |    1100    22000   110000 | 2147483647   107984    145 |  0.000 % |
318.18/318.43	c |    440368 |    1100    22000   110000 |   108028   108395    145 |  0.000 % |
318.58/318.89	c |    440817 |    1100    22000   110000 |   108028    94418    145 |  0.000 % |
318.98/319.28	c |    441310 |    1100    22000   110000 |   108028    94911    145 |  0.000 % |
319.48/319.72	c |    441853 |    1100    22000   110000 |   108028    95454    145 |  0.000 % |
319.98/320.20	c |    442451 |    1100    22000   110000 |   108028    96052    145 |  0.000 % |
320.48/320.72	c |    443106 |    1100    22000   110000 |   108028    96707    145 |  0.000 % |
320.98/321.28	c |    443827 |    1100    22000   110000 |   108028    97428    145 |  0.000 % |
321.68/321.90	c |    444619 |    1100    22000   110000 |   108028    98220    145 |  0.000 % |
322.28/322.59	c |    445492 |    1100    22000   110000 |   108028    99093    145 |  0.000 % |
323.08/323.37	c |    446450 |    1100    22000   110000 |   108028   100051    145 |  0.000 % |
323.98/324.21	c |    447504 |    1100    22000   110000 |   108028   101105    145 |  0.000 % |
324.88/325.18	c |    448662 |    1100    22000   110000 |   108028   102263    145 |  0.000 % |
325.88/326.18	c |    449939 |    1100    22000   110000 |   108028   103540    145 |  0.000 % |
326.98/327.26	c |    451339 |    1100    22000   110000 |   103602    91727    145 |  0.000 % |
328.17/328.45	c |    452879 |    1100    22000   110000 |   103602    93267    146 |  0.000 % |
329.47/329.72	c |    454575 |    1100    22000   110000 |   103602    94963    146 |  0.000 % |
330.97/331.24	c |    456441 |    1100    22000   110000 |   103602    96829    146 |  0.000 % |
332.77/333.04	c |    458493 |    1100    22000   110000 |   103602    98881    146 |  0.000 % |
334.67/334.95	c |    460749 |    1100    22000   110000 |   100390    89224    146 |  0.000 % |
336.47/336.79	c |    463227 |    1100    22000   110000 |   100390    91702    146 |  0.000 % |
338.47/338.80	c |    465952 |    1100    22000   110000 |   100390    94427    146 |  0.000 % |
340.97/341.23	c |    468951 |    1100    22000   110000 |   100390    97426    146 |  0.000 % |
343.67/343.95	c |    472247 |    1100    22000   110000 |    98477    90474    146 |  0.000 % |
346.47/346.75	c |    475872 |    1100    22000   110000 |    98477    94099    146 |  0.000 % |
349.57/349.87	c |    479859 |    1100    22000   110000 |    98477    98086    146 |  0.000 % |
352.96/353.26	c |    484246 |    1100    22000   110000 |    98229    92550    146 |  0.000 % |
353.06/353.33	c |    484348 |    1100    22000   110000 |    98229    92652    146 |  0.000 % |
353.16/353.42	c |    484459 |    1100    22000   110000 |    98229    92763    146 |  0.000 % |
353.26/353.52	c |    484581 |    1100    22000   110000 |    98229    92885    146 |  0.000 % |
353.36/353.67	c |    484715 |    1100    22000   110000 |    98229    93019    146 |  0.000 % |
353.56/353.82	c |    484863 |    1100    22000   110000 |    98229    93167    146 |  0.000 % |
353.66/353.98	c |    485024 |    1100    22000   110000 |    98229    93328    146 |  0.000 % |
353.87/354.15	c |    485202 |    1100    22000   110000 |    98229    93506    146 |  0.000 % |
354.06/354.31	c |    485397 |    1100    22000   110000 |    98229    93701    146 |  0.000 % |
354.26/354.50	c |    485609 |    1100    22000   110000 |    98229    93913    146 |  0.000 % |
354.36/354.68	c |    485844 |    1100    22000   110000 |    98229    94148    146 |  0.000 % |
354.56/354.87	c |    486100 |    1100    22000   110000 |    98229    94404    146 |  0.000 % |
354.86/355.10	c |    486383 |    1100    22000   110000 |    98229    94687    146 |  0.000 % |
355.07/355.35	c |    486694 |    1100    22000   110000 |    98229    94998    146 |  0.000 % |
355.36/355.62	c |    487033 |    1100    22000   110000 |    98229    95337    146 |  0.000 % |
355.66/355.98	c |    487406 |    1100    22000   110000 |    98229    95710    146 |  0.000 % |
356.07/356.33	c |    487817 |    1100    22000   110000 |    98229    96121    146 |  0.000 % |
356.46/356.72	c |    488270 |    1100    22000   110000 |    98229    96574    146 |  0.000 % |
356.86/357.13	c |    488764 |    1100    22000   110000 |    98229    97068    146 |  0.000 % |
357.26/357.56	c |    489306 |    1100    22000   110000 |    98229    97610    145 |  0.000 % |
357.76/358.03	c |    489904 |    1100    22000   110000 |    98229    98208    146 |  0.000 % |
358.36/358.68	c |    490559 |    1100    22000   110000 |    98305    87791    146 |  0.000 % |
358.96/359.27	c |    491279 |    1100    22000   110000 |    98305    88511    146 |  0.000 % |
359.56/359.84	c |    492072 |    1100    22000   110000 |    98305    89304    146 |  0.000 % |
360.16/360.48	c |    492943 |    1100    22000   110000 |    98305    90175    146 |  0.000 % |
360.96/361.24	c |    493902 |    1100    22000   110000 |    98305    91134    146 |  0.000 % |
361.76/362.05	c |    494955 |    1100    22000   110000 |    98305    92187    146 |  0.000 % |
362.66/362.91	c |    496114 |    1100    22000   110000 |    98305    93346    146 |  0.000 % |
363.56/363.88	c |    497389 |    1100    22000   110000 |    98305    94621    146 |  0.000 % |
364.66/364.92	c |    498790 |    1100    22000   110000 |    98305    96022    146 |  0.000 % |
365.85/366.11	c |    500330 |    1100    22000   110000 | 2147483647    97562    146 |  0.000 % |
367.16/367.42	c |    502024 |    1100    22000   110000 | 2147483647    99256    146 |  0.000 % |
368.65/368.98	c |    503887 |    1100    22000   110000 | 2147483647   101119    146 |  0.000 % |
370.36/370.67	c |    505936 |    1100    22000   110000 | 2147483647   103168    146 |  0.000 % |
372.25/372.57	c |    508191 |    1100    22000   110000 | 2147483647   105423    146 |  0.000 % |
374.44/374.79	c |    510669 |    1100    22000   110000 |   107233    94355    146 |  0.000 % |
376.64/376.94	c |    513394 |    1100    22000   110000 |   107233    97080    146 |  0.000 % |
378.94/379.30	c |    516391 |    1100    22000   110000 |   107233   100077    146 |  0.000 % |
381.64/381.92	c |    519687 |    1100    22000   110000 |   107233   103373    146 |  0.000 % |
384.64/384.95	c |    523313 |    1100    22000   110000 |   103686    94642    146 |  0.000 % |
387.74/388.08	c |    527303 |    1100    22000   110000 |   103686    98632    146 |  0.000 % |
391.34/391.61	c |    531688 |    1100    22000   110000 |   101329    92239    147 |  0.000 % |
395.04/395.36	c |    536511 |    1100    22000   110000 |   101329    97062    147 |  0.000 % |
395.14/395.47	c |    536612 |    1100    22000   110000 |   101329    97163    147 |  0.000 % |
395.24/395.58	c |    536726 |    1100    22000   110000 |   101329    97277    147 |  0.000 % |
395.34/395.68	c |    536847 |    1100    22000   110000 |   101329    97398    147 |  0.000 % |
395.54/395.82	c |    536980 |    1100    22000   110000 |   101329    97531    147 |  0.000 % |
395.64/395.95	c |    537126 |    1100    22000   110000 |   101329    97677    147 |  0.000 % |
395.74/396.08	c |    537286 |    1100    22000   110000 |   101329    97837    147 |  0.000 % |
395.93/396.25	c |    537464 |    1100    22000   110000 |   101329    98015    147 |  0.000 % |
396.13/396.41	c |    537657 |    1100    22000   110000 |   101329    98208    147 |  0.000 % |
396.23/396.59	c |    537876 |    1100    22000   110000 |   101329    98427    147 |  0.000 % |
396.43/396.79	c |    538109 |    1100    22000   110000 |   101329    98660    147 |  0.000 % |
396.74/397.01	c |    538371 |    1100    22000   110000 |   101329    98922    147 |  0.000 % |
396.93/397.26	c |    538653 |    1100    22000   110000 |   101329    99204    147 |  0.000 % |
397.23/397.51	c |    538962 |    1100    22000   110000 |   101329    99513    147 |  0.000 % |
397.43/397.77	c |    539303 |    1100    22000   110000 |   101329    99854    147 |  0.000 % |
397.73/398.08	c |    539676 |    1100    22000   110000 |   101329   100227    147 |  0.000 % |
398.13/398.42	c |    540086 |    1100    22000   110000 |   100553   100637    147 |  0.000 % |
398.53/398.88	c |    540535 |    1100    22000   110000 |   100553    89758    147 |  0.000 % |
398.94/399.26	c |    541030 |    1100    22000   110000 |   100553    90253    147 |  0.000 % |
399.33/399.70	c |    541572 |    1100    22000   110000 |   100553    90795    147 |  0.000 % |
399.93/400.20	c |    542168 |    1100    22000   110000 |   100553    91391    147 |  0.000 % |
400.43/400.74	c |    542825 |    1100    22000   110000 |   100553    92048    147 |  0.000 % |
401.03/401.31	c |    543546 |    1100    22000   110000 |   100553    92769    146 |  0.000 % |
401.63/401.97	c |    544340 |    1100    22000   110000 |   100553    93563    146 |  0.000 % |
402.33/402.66	c |    545211 |    1100    22000   110000 |   100553    94434    146 |  0.000 % |
403.03/403.36	c |    546172 |    1100    22000   110000 |   100553    95395    146 |  0.000 % |
403.83/404.19	c |    547226 |    1100    22000   110000 |   100553    96449    146 |  0.000 % |
404.73/405.07	c |    548384 |    1100    22000   110000 |   100553    97607    146 |  0.000 % |
405.83/406.11	c |    549660 |    1100    22000   110000 |   100553    98883    146 |  0.000 % |
406.93/407.29	c |    551060 |    1100    22000   110000 |    99224    88855    146 |  0.000 % |
408.13/408.43	c |    552602 |    1100    22000   110000 |    99224    90397    146 |  0.000 % |
409.33/409.67	c |    554299 |    1100    22000   110000 |    99224    92094    146 |  0.000 % |
410.83/411.15	c |    556162 |    1100    22000   110000 |    99224    93957    146 |  0.000 % |
412.43/412.79	c |    558213 |    1100    22000   110000 |    99224    96008    146 |  0.000 % |
414.33/414.65	c |    560466 |    1100    22000   110000 |    97795    87794    145 |  0.000 % |
416.13/416.48	c |    562944 |    1100    22000   110000 |    97795    90272    146 |  0.000 % |
418.22/418.52	c |    565669 |    1100    22000   110000 |    97795    92997    146 |  0.000 % |
420.42/420.78	c |    568666 |    1100    22000   110000 |    97795    95994    146 |  0.000 % |
423.13/423.46	c |    571963 |    1100    22000   110000 | 2147483647    99291    146 |  0.000 % |
426.02/426.30	c |    575589 |    1100    22000   110000 | 2147483647   102917    146 |  0.000 % |
429.22/429.51	c |    579577 |    1100    22000   110000 | 2147483647   106905    147 |  0.000 % |
432.73/433.01	c |    583962 |    1100    22000   110000 |   107330    97014    146 |  0.000 % |
436.73/437.08	c |    588786 |    1100    22000   110000 |   107330   101838    146 |  0.000 % |
441.03/441.39	c |    594092 |    1100    22000   110000 |   103052    93892    147 |  0.000 % |
441.13/441.49	c |    594192 |    1100    22000   110000 |   103052    93992    147 |  0.000 % |
441.23/441.58	c |    594302 |    1100    22000   110000 |   103052    94102    147 |  0.000 % |
441.33/441.69	c |    594423 |    1100    22000   110000 |   103052    94223    147 |  0.000 % |
441.53/441.81	c |    594557 |    1100    22000   110000 |   103052    94357    147 |  0.000 % |
441.63/441.95	c |    594703 |    1100    22000   110000 |   103052    94503    147 |  0.000 % |
441.83/442.10	c |    594864 |    1100    22000   110000 |   103052    94664    147 |  0.000 % |
441.93/442.25	c |    595042 |    1100    22000   110000 |   103052    94842    147 |  0.000 % |
442.12/442.44	c |    595236 |    1100    22000   110000 |   103052    95036    147 |  0.000 % |
442.32/442.62	c |    595451 |    1100    22000   110000 |   103052    95251    147 |  0.000 % |
442.52/442.84	c |    595685 |    1100    22000   110000 |   103052    95485    147 |  0.000 % |
442.72/443.07	c |    595941 |    1100    22000   110000 |   103052    95741    147 |  0.000 % |
443.03/443.31	c |    596225 |    1100    22000   110000 |   103052    96025    147 |  0.000 % |
443.22/443.56	c |    596534 |    1100    22000   110000 |   103052    96334    147 |  0.000 % |
443.52/443.88	c |    596873 |    1100    22000   110000 |   103052    96673    146 |  0.000 % |
443.92/444.20	c |    597245 |    1100    22000   110000 |   103052    97045    146 |  0.000 % |
444.22/444.55	c |    597655 |    1100    22000   110000 |   103052    97455    146 |  0.000 % |
444.62/444.92	c |    598104 |    1100    22000   110000 |   103052    97904    146 |  0.000 % |
445.02/445.32	c |    598600 |    1100    22000   110000 |   103052    98400    146 |  0.000 % |
445.42/445.74	c |    599143 |    1100    22000   110000 |   103052    98943    146 |  0.000 % |
445.92/446.26	c |    599740 |    1100    22000   110000 |   103052    99540    146 |  0.000 % |
446.42/446.79	c |    600396 |    1100    22000   110000 |    99801   100196    146 |  0.000 % |
447.12/447.46	c |    601116 |    1100    22000   110000 |    99801    88587    146 |  0.000 % |
447.62/447.98	c |    601908 |    1100    22000   110000 |    99801    89379    146 |  0.000 % |
448.32/448.62	c |    602780 |    1100    22000   110000 |    99801    90251    146 |  0.000 % |
449.02/449.33	c |    603738 |    1100    22000   110000 |    99801    91209    146 |  0.000 % |
449.72/450.09	c |    604792 |    1100    22000   110000 |    99801    92263    146 |  0.000 % |
450.52/450.89	c |    605950 |    1100    22000   110000 |    99801    93421    145 |  0.000 % |
451.52/451.84	c |    607223 |    1100    22000   110000 |    99801    94694    145 |  0.000 % |
452.52/452.88	c |    608623 |    1100    22000   110000 |    99801    96094    145 |  0.000 % |
453.82/454.10	c |    610163 |    1100    22000   110000 |    97474    97634    145 |  0.000 % |
455.22/455.51	c |    611857 |    1100    22000   110000 |    97474    89282    145 |  0.000 % |
456.52/456.89	c |    613720 |    1100    22000   110000 |    97474    91145    145 |  0.000 % |
458.12/458.43	c |    615771 |    1100    22000   110000 |    97474    93196    145 |  0.000 % |
459.82/460.10	c |    618025 |    1100    22000   110000 |    97474    95450    145 |  0.000 % |
461.72/462.09	c |    620504 |    1100    22000   110000 | 2147483647    97929    145 |  0.000 % |
464.01/464.34	c |    623230 |    1100    22000   110000 | 2147483647   100655    145 |  0.000 % |
466.51/466.86	c |    626227 |    1100    22000   110000 | 2147483647   103652    145 |  0.000 % |
469.31/469.68	c |    629523 |    1100    22000   110000 | 2147483647   106948    146 |  0.000 % |
472.31/472.62	c |    633148 |    1100    22000   110000 |   107425    95394    146 |  0.000 % |
475.51/475.88	c |    637135 |    1100    22000   110000 |   107425    99381    146 |  0.000 % |
479.21/479.50	c |    641521 |    1100    22000   110000 |   102247    90929    147 |  0.000 % |
483.10/483.41	c |    646345 |    1100    22000   110000 |   102247    95753    147 |  0.000 % |
487.30/487.60	c |    651650 |    1100    22000   110000 |    99408    89798    148 |  0.000 % |
491.90/492.21	c |    657486 |    1100    22000   110000 |    99408    95634    148 |  0.000 % |
492.00/492.30	c |    657586 |    1100    22000   110000 |    99408    95734    148 |  0.000 % |
492.10/492.43	c |    657696 |    1100    22000   110000 |    99408    95844    148 |  0.000 % |
492.20/492.54	c |    657817 |    1100    22000   110000 |    99408    95965    148 |  0.000 % |
492.30/492.67	c |    657954 |    1100    22000   110000 |    99408    96102    148 |  0.000 % |
492.51/492.80	c |    658100 |    1100    22000   110000 |    99408    96248    148 |  0.000 % |
492.60/492.95	c |    658261 |    1100    22000   110000 |    99408    96409    148 |  0.000 % |
492.80/493.12	c |    658437 |    1100    22000   110000 |    99408    96585    148 |  0.000 % |
493.00/493.30	c |    658630 |    1100    22000   110000 |    99408    96778    148 |  0.000 % |
493.10/493.48	c |    658842 |    1100    22000   110000 |    99408    96990    148 |  0.000 % |
493.30/493.69	c |    659075 |    1100    22000   110000 |    99408    97223    148 |  0.000 % |
493.60/493.96	c |    659332 |    1100    22000   110000 |    99408    97480    148 |  0.000 % |
493.90/494.23	c |    659615 |    1100    22000   110000 |    99408    97763    148 |  0.000 % |
494.10/494.49	c |    659924 |    1100    22000   110000 |    99408    98072    148 |  0.000 % |
494.50/494.81	c |    660263 |    1100    22000   110000 |    98149    98411    148 |  0.000 % |
494.80/495.15	c |    660635 |    1100    22000   110000 |    98149    87872    147 |  0.000 % |
495.10/495.46	c |    661044 |    1100    22000   110000 |    98149    88281    147 |  0.000 % |
495.50/495.84	c |    661494 |    1100    22000   110000 |    98149    88731    147 |  0.000 % |
495.90/496.24	c |    661988 |    1100    22000   110000 |    98149    89225    147 |  0.000 % |
496.30/496.69	c |    662532 |    1100    22000   110000 |    98149    89769    147 |  0.000 % |
496.80/497.17	c |    663128 |    1100    22000   110000 |    98149    90365    147 |  0.000 % |
497.30/497.65	c |    663783 |    1100    22000   110000 |    98149    91020    147 |  0.000 % |
497.80/498.18	c |    664503 |    1100    22000   110000 |    98149    91740    147 |  0.000 % |
498.50/498.85	c |    665295 |    1100    22000   110000 |    98149    92532    147 |  0.000 % |
499.19/499.51	c |    666167 |    1100    22000   110000 |    98149    93404    147 |  0.000 % |
499.89/500.28	c |    667125 |    1100    22000   110000 |    98149    94362    147 |  0.000 % |
500.69/501.08	c |    668178 |    1100    22000   110000 |    98149    95415    147 |  0.000 % |
501.59/501.98	c |    669337 |    1100    22000   110000 |    98149    96574    147 |  0.000 % |
502.69/503.05	c |    670612 |    1100    22000   110000 |    97237    87959    146 |  0.000 % |
503.69/504.06	c |    672015 |    1100    22000   110000 |    97237    89362    146 |  0.000 % |
504.89/505.22	c |    673558 |    1100    22000   110000 |    97237    90905    146 |  0.000 % |
506.29/506.60	c |    675252 |    1100    22000   110000 |    97237    92599    146 |  0.000 % |
507.79/508.16	c |    677117 |    1100    22000   110000 |    97237    94464    146 |  0.000 % |
509.38/509.71	c |    679166 |    1100    22000   110000 |    97237    96513    146 |  0.000 % |
511.09/511.48	c |    681419 |    1100    22000   110000 |    97347    88826    145 |  0.000 % |
512.78/513.19	c |    683898 |    1100    22000   110000 |    97347    91305    146 |  0.000 % |
514.98/515.30	c |    686623 |    1100    22000   110000 |    97347    94030    146 |  0.000 % |
517.28/517.62	c |    689620 |    1100    22000   110000 |    97347    97027    146 |  0.000 % |
519.88/520.22	c |    692916 |    1100    22000   110000 | 2147483647   100323    146 |  0.000 % |
522.88/523.27	c |    696541 |    1100    22000   110000 | 2147483647   103948    146 |  0.000 % |
526.58/526.91	c |    700529 |    1100    22000   110000 |   107410    94373    147 |  0.000 % |
530.17/530.50	c |    704914 |    1100    22000   110000 |   107410    98758    147 |  0.000 % |
534.28/534.63	c |    709737 |    1100    22000   110000 |   107410   103581    148 |  0.000 % |
538.77/539.17	c |    715044 |    1100    22000   110000 |   103846    95628    149 |  0.000 % |
543.57/543.93	c |    720882 |    1100    22000   110000 |   100588    89187    148 |  0.000 % |
548.57/548.90	c |    727300 |    1100    22000   110000 |   100588    95605    148 |  0.000 % |
548.67/549.00	c |    727401 |    1100    22000   110000 |   100588    95706    148 |  0.000 % |
548.67/549.09	c |    727512 |    1100    22000   110000 |   100588    95817    148 |  0.000 % |
548.87/549.23	c |    727634 |    1100    22000   110000 |   100588    95939    148 |  0.000 % |
548.96/549.38	c |    727769 |    1100    22000   110000 |   100588    96074    148 |  0.000 % |
549.16/549.52	c |    727917 |    1100    22000   110000 |   100588    96222    148 |  0.000 % |
549.26/549.66	c |    728077 |    1100    22000   110000 |   100588    96382    148 |  0.000 % |
549.46/549.84	c |    728253 |    1100    22000   110000 |   100588    96558    148 |  0.000 % |
549.67/550.03	c |    728446 |    1100    22000   110000 |   100588    96751    148 |  0.000 % |
549.86/550.21	c |    728658 |    1100    22000   110000 |   100588    96963    148 |  0.000 % |
550.06/550.40	c |    728892 |    1100    22000   110000 |   100588    97197    148 |  0.000 % |
550.26/550.62	c |    729148 |    1100    22000   110000 |   100588    97453    148 |  0.000 % |
550.46/550.87	c |    729429 |    1100    22000   110000 |   100588    97734    148 |  0.000 % |
550.77/551.14	c |    729739 |    1100    22000   110000 |   100588    98044    148 |  0.000 % |
551.06/551.43	c |    730079 |    1100    22000   110000 |    98305    98384    148 |  0.000 % |
551.36/551.78	c |    730451 |    1100    22000   110000 |    98305    86782    148 |  0.000 % |
551.66/552.10	c |    730860 |    1100    22000   110000 |    98305    87191    148 |  0.000 % |
552.06/552.45	c |    731310 |    1100    22000   110000 |    98305    87641    148 |  0.000 % |
552.46/552.88	c |    731803 |    1100    22000   110000 |    98305    88134    148 |  0.000 % |
552.96/553.34	c |    732346 |    1100    22000   110000 |    98305    88677    148 |  0.000 % |
553.46/553.83	c |    732943 |    1100    22000   110000 |    98305    89274    148 |  0.000 % |
553.96/554.34	c |    733598 |    1100    22000   110000 |    98305    89929    148 |  0.000 % |
554.55/554.96	c |    734320 |    1100    22000   110000 |    98305    90651    147 |  0.000 % |
555.15/555.59	c |    735112 |    1100    22000   110000 |    98305    91443    147 |  0.000 % |
555.85/556.25	c |    735984 |    1100    22000   110000 |    98305    92315    147 |  0.000 % |
556.65/557.02	c |    736942 |    1100    22000   110000 |    98305    93273    147 |  0.000 % |
557.45/557.84	c |    737995 |    1100    22000   110000 |    98305    94326    147 |  0.000 % |
558.35/558.75	c |    739153 |    1100    22000   110000 |    98305    95484    147 |  0.000 % |
559.44/559.81	c |    740427 |    1100    22000   110000 |    96332    86351    146 |  0.000 % |
560.44/560.82	c |    741827 |    1100    22000   110000 |    96332    87751    146 |  0.000 % |
561.64/562.01	c |    743367 |    1100    22000   110000 |    96332    89291    146 |  0.000 % |
562.84/563.24	c |    745061 |    1100    22000   110000 |    96332    90985    146 |  0.000 % |
564.34/564.75	c |    746925 |    1100    22000   110000 |    96332    92849    146 |  0.000 % |
566.04/566.42	c |    748974 |    1100    22000   110000 |    96332    94898    147 |  0.000 % |
567.74/568.13	c |    751227 |    1100    22000   110000 | 2147483647    97151    147 |  0.000 % |
569.64/570.07	c |    753706 |    1100    22000   110000 | 2147483647    99630    146 |  0.000 % |
571.84/572.21	c |    756431 |    1100    22000   110000 | 2147483647   102355    147 |  0.000 % |
574.23/574.66	c |    759428 |    1100    22000   110000 | 2147483647   105352    147 |  0.000 % |
577.04/577.43	c |    762724 |    1100    22000   110000 |   105927    96365    148 |  0.000 % |
579.83/580.25	c |    766350 |    1100    22000   110000 |   105927    99991    148 |  0.000 % |
583.03/583.42	c |    770340 |    1100    22000   110000 |   103641   103981    148 |  0.000 % |
586.53/586.91	c |    774729 |    1100    22000   110000 |   103641    96010    148 |  0.000 % |
590.33/590.72	c |    779553 |    1100    22000   110000 |   103641   100834    148 |  0.000 % |
594.53/594.97	c |    784858 |    1100    22000   110000 |   101281    94486    148 |  0.000 % |
599.22/599.69	c |    790693 |    1100    22000   110000 |    99628    87902    148 |  0.000 % |
604.40/604.88	c |    797114 |    1100    22000   110000 |    99628    94323    149 |  0.000 % |
609.90/610.34	c |    804177 |    1100    22000   110000 |    97210    90829    148 |  0.000 % |
610.00/610.42	c |    804278 |    1100    22000   110000 |    97210    90930    148 |  0.000 % |
610.00/610.50	c |    804388 |    1100    22000   110000 |    97210    91040    148 |  0.000 % |
610.10/610.59	c |    804509 |    1100    22000   110000 |    97210    91161    148 |  0.000 % |
610.30/610.73	c |    804642 |    1100    22000   110000 |    97210    91294    148 |  0.000 % |
610.40/610.86	c |    804791 |    1100    22000   110000 |    97210    91443    148 |  0.000 % |
610.60/611.00	c |    804952 |    1100    22000   110000 |    97210    91604    148 |  0.000 % |
610.70/611.15	c |    805128 |    1100    22000   110000 |    97210    91780    148 |  0.000 % |
610.90/611.32	c |    805321 |    1100    22000   110000 |    97210    91973    148 |  0.000 % |
611.00/611.49	c |    805533 |    1100    22000   110000 |    97210    92185    148 |  0.000 % |
611.30/611.72	c |    805766 |    1100    22000   110000 |    97210    92418    148 |  0.000 % |
611.50/611.94	c |    806025 |    1100    22000   110000 |    97210    92677    148 |  0.000 % |
611.80/612.20	c |    806306 |    1100    22000   110000 |    97210    92958    148 |  0.000 % |
612.00/612.46	c |    806618 |    1100    22000   110000 |    97210    93270    148 |  0.000 % |
612.30/612.71	c |    806957 |    1100    22000   110000 |    97210    93609    148 |  0.000 % |
612.60/613.00	c |    807329 |    1100    22000   110000 |    97210    93981    148 |  0.000 % |
612.80/613.29	c |    807739 |    1100    22000   110000 |    97210    94391    148 |  0.000 % |
613.20/613.65	c |    808190 |    1100    22000   110000 |    97210    94842    147 |  0.000 % |
613.60/614.02	c |    808683 |    1100    22000   110000 |    97210    95335    147 |  0.000 % |
614.00/614.44	c |    809225 |    1100    22000   110000 |    97210    95877    147 |  0.000 % |
614.50/614.95	c |    809821 |    1100    22000   110000 |    97210    96473    147 |  0.000 % |
615.10/615.55	c |    810476 |    1100    22000   110000 |    96652    86676    147 |  0.000 % |
615.70/616.10	c |    811197 |    1100    22000   110000 |    96652    87397    147 |  0.000 % |
616.20/616.66	c |    811990 |    1100    22000   110000 |    96652    88190    147 |  0.000 % |
616.90/617.32	c |    812862 |    1100    22000   110000 |    96652    89062    147 |  0.000 % |
617.50/617.98	c |    813820 |    1100    22000   110000 |    96652    90020    147 |  0.000 % |
618.30/618.77	c |    814875 |    1100    22000   110000 |    96652    91075    147 |  0.000 % |
619.19/619.68	c |    816035 |    1100    22000   110000 |    96652    92235    147 |  0.000 % |
620.30/620.77	c |    817310 |    1100    22000   110000 |    96652    93510    147 |  0.000 % |
621.39/621.87	c |    818711 |    1100    22000   110000 |    96652    94911    147 |  0.000 % |
622.59/623.09	c |    820251 |    1100    22000   110000 |    96201    96451    147 |  0.000 % |
623.79/624.28	c |    821945 |    1100    22000   110000 |    96201    87760    148 |  0.000 % |
625.29/625.72	c |    823808 |    1100    22000   110000 |    96201    89623    147 |  0.000 % |
626.79/627.28	c |    825857 |    1100    22000   110000 |    96201    91672    147 |  0.000 % |
628.59/629.03	c |    828110 |    1100    22000   110000 |    96201    93925    147 |  0.000 % |
630.39/630.82	c |    830588 |    1100    22000   110000 | 2147483647    96403    147 |  0.000 % |
632.69/633.11	c |    833315 |    1100    22000   110000 | 2147483647    99130    147 |  0.000 % |
635.09/635.50	c |    836312 |    1100    22000   110000 | 2147483647   102127    147 |  0.000 % |
637.89/638.36	c |    839610 |    1100    22000   110000 | 2147483647   105425    147 |  0.000 % |
640.99/641.48	c |    843235 |    1100    22000   110000 |   105816    94746    147 |  0.000 % |
644.28/644.74	c |    847225 |    1100    22000   110000 |   105816    98736    148 |  0.000 % |
647.77/648.25	c |    851611 |    1100    22000   110000 |   101513    91439    147 |  0.000 % |
651.57/652.01	c |    856434 |    1100    22000   110000 |   101513    96262    147 |  0.000 % |
655.67/656.18	c |    861739 |    1100    22000   110000 |    99828    89872    147 |  0.000 % |
660.17/660.63	c |    867574 |    1100    22000   110000 |    99828    95707    147 |  0.000 % |
664.97/665.44	c |    873992 |    1100    22000   110000 |    98133    90811    148 |  0.000 % |
670.48/670.97	c |    881053 |    1100    22000   110000 |    96820    86370    148 |  0.000 % |
676.07/676.59	c |    888818 |    1100    22000   110000 |    96820    94135    148 |  0.000 % |
676.17/676.68	c |    888918 |    1100    22000   110000 |    96820    94235    148 |  0.000 % |
676.27/676.77	c |    889028 |    1100    22000   110000 |    96820    94345    148 |  0.000 % |
676.47/676.90	c |    889150 |    1100    22000   110000 |    96820    94467    148 |  0.000 % |
676.57/677.02	c |    889285 |    1100    22000   110000 |    96820    94602    148 |  0.000 % |
676.67/677.16	c |    889433 |    1100    22000   110000 |    96820    94750    148 |  0.000 % |
676.87/677.32	c |    889595 |    1100    22000   110000 |    96820    94912    148 |  0.000 % |
677.07/677.50	c |    889771 |    1100    22000   110000 |    96820    95088    148 |  0.000 % |
677.17/677.69	c |    889964 |    1100    22000   110000 |    96820    95281    148 |  0.000 % |
677.37/677.87	c |    890176 |    1100    22000   110000 |    95318    95493    148 |  0.000 % |
677.67/678.11	c |    890410 |    1100    22000   110000 |    95318    85237    147 |  0.000 % |
677.87/678.31	c |    890671 |    1100    22000   110000 |    95318    85498    147 |  0.000 % |
678.07/678.54	c |    890952 |    1100    22000   110000 |    95318    85779    147 |  0.000 % |
678.27/678.78	c |    891261 |    1100    22000   110000 |    95318    86088    147 |  0.000 % |
678.57/679.06	c |    891600 |    1100    22000   110000 |    95318    86427    147 |  0.000 % |
678.87/679.32	c |    891974 |    1100    22000   110000 |    95318    86801    147 |  0.000 % |
679.17/679.62	c |    892383 |    1100    22000   110000 |    95318    87210    147 |  0.000 % |
679.46/679.94	c |    892836 |    1100    22000   110000 |    95318    87663    147 |  0.000 % |
679.86/680.33	c |    893329 |    1100    22000   110000 |    95318    88156    147 |  0.000 % |
680.27/680.73	c |    893871 |    1100    22000   110000 |    95318    88698    147 |  0.000 % |
680.77/681.21	c |    894468 |    1100    22000   110000 |    95318    89295    147 |  0.000 % |
681.26/681.70	c |    895124 |    1100    22000   110000 |    95318    89951    147 |  0.000 % |
681.76/682.28	c |    895844 |    1100    22000   110000 |    95318    90671    147 |  0.000 % |
682.36/682.85	c |    896637 |    1100    22000   110000 |    95318    91464    147 |  0.000 % |
682.96/683.50	c |    897508 |    1100    22000   110000 |    95318    92335    146 |  0.000 % |
683.77/684.29	c |    898470 |    1100    22000   110000 |    95318    93297    146 |  0.000 % |
684.66/685.11	c |    899523 |    1100    22000   110000 |    95318    94350    146 |  0.000 % |
685.56/686.08	c |    900683 |    1100    22000   110000 |    94827    85767    147 |  0.000 % |
686.46/686.99	c |    901957 |    1100    22000   110000 |    94827    87041    147 |  0.000 % |
687.56/688.02	c |    903358 |    1100    22000   110000 |    94827    88442    147 |  0.000 % |
688.66/689.17	c |    904899 |    1100    22000   110000 |    94827    89983    147 |  0.000 % |
689.96/690.46	c |    906594 |    1100    22000   110000 |    94827    91678    147 |  0.000 % |
691.56/692.03	c |    908457 |    1100    22000   110000 |    94827    93541    147 |  0.000 % |
693.16/693.66	c |    910506 |    1100    22000   110000 | 2147483647    95590    147 |  0.000 % |
694.96/695.42	c |    912759 |    1100    22000   110000 | 2147483647    97843    147 |  0.000 % |
696.96/697.42	c |    915238 |    1100    22000   110000 | 2147483647   100322    148 |  0.000 % |
699.16/699.68	c |    917970 |    1100    22000   110000 | 2147483647   103054    147 |  0.000 % |
701.86/702.33	c |    920970 |    1100    22000   110000 |   105084    93612    148 |  0.000 % |
704.56/705.00	c |    924266 |    1100    22000   110000 |   105084    96908    148 |  0.000 % |
707.55/708.00	c |    927891 |    1100    22000   110000 |   105084   100533    148 |  0.000 % |
710.75/711.26	c |    931879 |    1100    22000   110000 |   102643    91819    148 |  0.000 % |
714.05/714.54	c |    936265 |    1100    22000   110000 |   102643    96205    148 |  0.000 % |
717.95/718.49	c |    941088 |    1100    22000   110000 |    99942    90835    148 |  0.000 % |
722.24/722.72	c |    946393 |    1100    22000   110000 |    99942    96140    148 |  0.000 % |
726.73/727.29	c |    952228 |    1100    22000   110000 |    99747    90734    149 |  0.000 % |
731.83/732.35	c |    958647 |    1100    22000   110000 |    99747    97153    149 |  0.000 % |
737.12/737.63	c |    965707 |    1100    22000   110000 |    98506    93155    148 |  0.000 % |
743.52/744.02	c |    973472 |    1100    22000   110000 | 2147483647   100920    149 |  0.000 % |
750.42/750.92	c |    982012 |    1100    22000   110000 |   107449    95702    148 |  0.000 % |
750.52/751.02	c |    982112 |    1100    22000   110000 |   107449    95802    148 |  0.000 % |
750.62/751.14	c |    982222 |    1100    22000   110000 |   107449    95912    148 |  0.000 % |
750.72/751.25	c |    982344 |    1100    22000   110000 |   107449    96034    148 |  0.000 % |
750.82/751.37	c |    982477 |    1100    22000   110000 |   107449    96167    148 |  0.000 % |
751.01/751.51	c |    982625 |    1100    22000   110000 |   107449    96315    148 |  0.000 % |
751.11/751.66	c |    982785 |    1100    22000   110000 |   107449    96475    148 |  0.000 % |
751.31/751.81	c |    982961 |    1100    22000   110000 |   107449    96651    148 |  0.000 % |
751.41/751.98	c |    983154 |    1100    22000   110000 |   107449    96844    148 |  0.000 % |
751.61/752.16	c |    983368 |    1100    22000   110000 |   107449    97058    148 |  0.000 % |
751.82/752.34	c |    983601 |    1100    22000   110000 |   107449    97291    148 |  0.000 % |
752.01/752.56	c |    983857 |    1100    22000   110000 |   107449    97547    148 |  0.000 % |
752.21/752.79	c |    984141 |    1100    22000   110000 |   107449    97831    148 |  0.000 % |
752.51/753.03	c |    984450 |    1100    22000   110000 |   107449    98140    148 |  0.000 % |
752.71/753.28	c |    984789 |    1100    22000   110000 |   107449    98479    148 |  0.000 % |
753.11/753.60	c |    985161 |    1100    22000   110000 |   107449    98851    148 |  0.000 % |
753.41/753.94	c |    985570 |    1100    22000   110000 |   107449    99260    148 |  0.000 % |
753.91/754.40	c |    986019 |    1100    22000   110000 |   107449    99709    148 |  0.000 % |
754.31/754.86	c |    986513 |    1100    22000   110000 |   107449   100203    148 |  0.000 % |
754.81/755.31	c |    987056 |    1100    22000   110000 |   107449   100746    148 |  0.000 % |
755.41/755.91	c |    987652 |    1100    22000   110000 |   107449   101342    148 |  0.000 % |
755.91/756.43	c |    988308 |    1100    22000   110000 |   107449   101998    148 |  0.000 % |
756.51/757.08	c |    989030 |    1100    22000   110000 |   107449   102720    148 |  0.000 % |
757.21/757.76	c |    989822 |    1100    22000   110000 |   107449   103512    147 |  0.000 % |
758.11/758.61	c |    990695 |    1100    22000   110000 |   103692    89962    149 |  0.000 % |
758.81/759.34	c |    991655 |    1100    22000   110000 |   103692    90922    149 |  0.000 % |
759.61/760.15	c |    992708 |    1100    22000   110000 |   103692    91975    149 |  0.000 % |
760.51/761.02	c |    993866 |    1100    22000   110000 |   103692    93133    149 |  0.000 % |
761.51/762.04	c |    995140 |    1100    22000   110000 |   103692    94407    149 |  0.000 % |
762.51/763.09	c |    996540 |    1100    22000   110000 |   103692    95807    148 |  0.000 % |
763.91/764.49	c |    998081 |    1100    22000   110000 |   103692    97348    148 |  0.000 % |
765.50/766.03	c |    999775 |    1100    22000   110000 |   103692    99042    148 |  0.000 % |
766.90/767.43	c |   1001639 |    1100    22000   110000 |    99268    89084    148 |  0.000 % |
768.50/769.02	c |   1003688 |    1100    22000   110000 |    99268    91133    148 |  0.000 % |
770.20/770.72	c |   1005941 |    1100    22000   110000 |    99268    93386    148 |  0.000 % |
772.10/772.64	c |   1008419 |    1100    22000   110000 |    99268    95864    148 |  0.000 % |
774.20/774.72	c |   1011144 |    1100    22000   110000 |    97445    88027    148 |  0.000 % |
776.40/776.98	c |   1014142 |    1100    22000   110000 |    97445    91025    148 |  0.000 % |
779.00/779.53	c |   1017442 |    1100    22000   110000 |    97445    94325    148 |  0.000 % |
781.90/782.46	c |   1021068 |    1100    22000   110000 | 2147483647    97951    148 |  0.000 % |
785.19/785.76	c |   1025055 |    1100    22000   110000 | 2147483647   101938    148 |  0.000 % |
788.89/789.43	c |   1029441 |    1100    22000   110000 | 2147483647   106324    148 |  0.000 % |
792.79/793.35	c |   1034264 |    1100    22000   110000 |   106883    96105    148 |  0.000 % |
797.09/797.64	c |   1039569 |    1100    22000   110000 |   106883   101410    148 |  0.000 % |
801.69/802.23	c |   1045407 |    1100    22000   110000 |   101843    93966    147 |  0.000 % |
806.69/807.22	c |   1051825 |    1100    22000   110000 |    98559    89226    145 |  0.000 % |
812.39/812.96	c |   1058884 |    1100    22000   110000 |    98559    96285    146 |  0.000 % |
818.18/818.74	c |   1066649 |    1100    22000   110000 |    97401    94099    146 |  0.000 % |
825.66/826.27	c |   1075191 |    1100    22000   110000 | 2147483647   102641    147 |  0.000 % |
834.06/834.67	c |   1084585 |    1100    22000   110000 |   107452    97350    148 |  0.000 % |
834.16/834.77	c |   1084687 |    1100    22000   110000 |   107452    97452    148 |  0.000 % |
834.26/834.89	c |   1084798 |    1100    22000   110000 |   107452    97563    148 |  0.000 % |
834.46/835.00	c |   1084920 |    1100    22000   110000 |   107452    97685    148 |  0.000 % |
834.56/835.13	c |   1085053 |    1100    22000   110000 |   107452    97818    148 |  0.000 % |
834.66/835.28	c |   1085200 |    1100    22000   110000 |   107452    97965    148 |  0.000 % |
834.86/835.44	c |   1085362 |    1100    22000   110000 |   107452    98127    148 |  0.000 % |
835.06/835.61	c |   1085538 |    1100    22000   110000 |   107452    98303    148 |  0.000 % |
835.26/835.81	c |   1085732 |    1100    22000   110000 |   107452    98497    148 |  0.000 % |
835.46/836.01	c |   1085948 |    1100    22000   110000 |   107452    98713    148 |  0.000 % |
835.66/836.22	c |   1086183 |    1100    22000   110000 |   107452    98948    148 |  0.000 % |
835.86/836.44	c |   1086439 |    1100    22000   110000 |   107452    99204    148 |  0.000 % |
836.06/836.66	c |   1086722 |    1100    22000   110000 |   107452    99487    148 |  0.000 % |
836.36/836.94	c |   1087033 |    1100    22000   110000 |   107452    99798    148 |  0.000 % |
836.66/837.26	c |   1087374 |    1100    22000   110000 |   107452   100139    148 |  0.000 % |
837.06/837.62	c |   1087747 |    1100    22000   110000 |   107452   100512    148 |  0.000 % |
837.35/837.99	c |   1088157 |    1100    22000   110000 |   107452   100922    148 |  0.000 % |
837.75/838.38	c |   1088606 |    1100    22000   110000 |   107452   101371    148 |  0.000 % |
838.25/838.81	c |   1089100 |    1100    22000   110000 |   107452   101865    148 |  0.000 % |
838.66/839.29	c |   1089644 |    1100    22000   110000 |   107452   102409    148 |  0.000 % |
839.15/839.77	c |   1090240 |    1100    22000   110000 |   102766   103005    147 |  0.000 % |
839.76/840.31	c |   1090896 |    1100    22000   110000 |   102766    89257    148 |  0.000 % |
840.25/840.87	c |   1091620 |    1100    22000   110000 |   102766    89981    148 |  0.000 % |
840.86/841.42	c |   1092413 |    1100    22000   110000 |   102766    90774    148 |  0.000 % |
841.45/842.08	c |   1093284 |    1100    22000   110000 |   102766    91645    148 |  0.000 % |
842.15/842.79	c |   1094242 |    1100    22000   110000 |   102766    92603    148 |  0.000 % |
842.95/843.54	c |   1095298 |    1100    22000   110000 |   102766    93659    148 |  0.000 % |
843.75/844.38	c |   1096457 |    1100    22000   110000 |   102766    94818    148 |  0.000 % |
844.85/845.40	c |   1097730 |    1100    22000   110000 |   102766    96091    148 |  0.000 % |
845.85/846.47	c |   1099130 |    1100    22000   110000 |   102766    97491    148 |  0.000 % |
847.15/847.80	c |   1100671 |    1100    22000   110000 |    98361    88962    148 |  0.000 % |
848.45/849.03	c |   1102365 |    1100    22000   110000 |    98361    90656    148 |  0.000 % |
849.75/850.32	c |   1104228 |    1100    22000   110000 |    98361    92519    148 |  0.000 % |
851.25/851.80	c |   1106277 |    1100    22000   110000 |    98361    94568    148 |  0.000 % |
852.85/853.46	c |   1108531 |    1100    22000   110000 |    98361    96822    148 |  0.000 % |
855.05/855.66	c |   1111015 |    1100    22000   110000 | 2147483647    99306    148 |  0.000 % |
857.35/857.97	c |   1113742 |    1100    22000   110000 | 2147483647   102033    148 |  0.000 % |
859.95/860.53	c |   1116739 |    1100    22000   110000 | 2147483647   105030    148 |  0.000 % |
862.65/863.21	c |   1120035 |    1100    22000   110000 |   108292   108326    148 |  0.000 % |
865.54/866.19	c |   1123660 |    1100    22000   110000 |   108292    98004    148 |  0.000 % |
868.74/869.31	c |   1127648 |    1100    22000   110000 |   108292   101992    148 |  0.000 % |
872.24/872.89	c |   1132033 |    1100    22000   110000 |   104344    92858    150 |  0.000 % |
876.14/876.77	c |   1136856 |    1100    22000   110000 |   104344    97681    150 |  0.000 % |
880.34/880.99	c |   1142162 |    1100    22000   110000 |   100826    90997    150 |  0.000 % |
884.84/885.50	c |   1147997 |    1100    22000   110000 |   100826    96832    150 |  0.000 % |
890.23/890.90	c |   1154416 |    1100    22000   110000 |    98835    92659    151 |  0.000 % |
896.13/896.72	c |   1161475 |    1100    22000   110000 |    98243    89606    151 |  0.000 % |
902.33/902.97	c |   1169241 |    1100    22000   110000 |    98243    97372    152 |  0.000 % |
909.63/910.25	c |   1177784 |    1100    22000   110000 | 2147483647   105915    152 |  0.000 % |
917.72/918.31	c |   1187178 |    1100    22000   110000 |   108133   101228    152 |  0.000 % |
926.31/926.95	c |   1197511 |    1100    22000   110000 |   104050    98722    153 |  0.000 % |
926.41/927.06	c |   1197611 |    1100    22000   110000 |   104050    98822    153 |  0.000 % |
926.51/927.18	c |   1197723 |    1100    22000   110000 |   104050    98934    153 |  0.000 % |
926.62/927.29	c |   1197846 |    1100    22000   110000 |   104050    99057    153 |  0.000 % |
926.81/927.42	c |   1197981 |    1100    22000   110000 |   104050    99192    153 |  0.000 % |
926.91/927.56	c |   1198129 |    1100    22000   110000 |   104050    99340    153 |  0.000 % |
927.11/927.73	c |   1198289 |    1100    22000   110000 |   104050    99500    153 |  0.000 % |
927.21/927.88	c |   1198465 |    1100    22000   110000 |   104050    99676    153 |  0.000 % |
927.41/928.06	c |   1198658 |    1100    22000   110000 |   104050    99869    153 |  0.000 % |
927.61/928.23	c |   1198870 |    1100    22000   110000 |   104050   100081    153 |  0.000 % |
927.81/928.45	c |   1199103 |    1100    22000   110000 |   104050   100314    153 |  0.000 % |
928.01/928.67	c |   1199359 |    1100    22000   110000 |   104050   100570    153 |  0.000 % |
928.31/928.92	c |   1199641 |    1100    22000   110000 |   104050   100852    152 |  0.000 % |
928.51/929.16	c |   1199950 |    1100    22000   110000 |   104050   101161    152 |  0.000 % |
928.81/929.45	c |   1200289 |    1100    22000   110000 |   101211   101500    152 |  0.000 % |
929.21/929.83	c |   1200661 |    1100    22000   110000 |   101211    89783    153 |  0.000 % |
929.51/930.16	c |   1201070 |    1100    22000   110000 |   101211    90192    153 |  0.000 % |
929.91/930.57	c |   1201520 |    1100    22000   110000 |   101211    90642    153 |  0.000 % |
930.31/930.95	c |   1202013 |    1100    22000   110000 |   101211    91135    153 |  0.000 % |
930.71/931.38	c |   1202556 |    1100    22000   110000 |   101211    91678    153 |  0.000 % |
931.21/931.88	c |   1203155 |    1100    22000   110000 |   101211    92277    153 |  0.000 % |
931.71/932.37	c |   1203812 |    1100    22000   110000 |   101211    92934    153 |  0.000 % |
932.31/932.98	c |   1204534 |    1100    22000   110000 |   101211    93656    153 |  0.000 % |
933.01/933.63	c |   1205330 |    1100    22000   110000 |   101211    94452    152 |  0.000 % |
933.71/934.36	c |   1206201 |    1100    22000   110000 |   101211    95323    152 |  0.000 % |
934.51/935.11	c |   1207160 |    1100    22000   110000 |   101211    96282    152 |  0.000 % |
935.31/935.91	c |   1208218 |    1100    22000   110000 |   101211    97340    152 |  0.000 % |
936.11/936.78	c |   1209379 |    1100    22000   110000 |   101211    98501    152 |  0.000 % |
937.21/937.81	c |   1210652 |    1100    22000   110000 |    99126    88702    152 |  0.000 % |
938.20/938.87	c |   1212052 |    1100    22000   110000 |    99126    90102    152 |  0.000 % |
939.40/940.06	c |   1213592 |    1100    22000   110000 |    99126    91642    152 |  0.000 % |
940.70/941.34	c |   1215287 |    1100    22000   110000 |    99126    93337    152 |  0.000 % |
942.11/942.77	c |   1217151 |    1100    22000   110000 |    99126    95201    152 |  0.000 % |
943.70/944.31	c |   1219203 |    1100    22000   110000 |    99126    97253    152 |  0.000 % |
945.41/946.09	c |   1221457 |    1100    22000   110000 |    98054    89303    151 |  0.000 % |
947.30/947.91	c |   1223935 |    1100    22000   110000 |    98054    91781    151 |  0.000 % |
949.40/950.05	c |   1226660 |    1100    22000   110000 |    98054    94506    151 |  0.000 % |
951.70/952.30	c |   1229659 |    1100    22000   110000 |    98054    97505    151 |  0.000 % |
954.20/954.86	c |   1232955 |    1100    22000   110000 | 2147483647   100801    151 |  0.000 % |
957.10/957.75	c |   1236581 |    1100    22000   110000 | 2147483647   104427    151 |  0.000 % |
960.59/961.20	c |   1240569 |    1100    22000   110000 |   107846    94152    150 |  0.000 % |
963.89/964.57	c |   1244954 |    1100    22000   110000 |   107846    98537    150 |  0.000 % |
967.89/968.50	c |   1249777 |    1100    22000   110000 |   107846   103360    151 |  0.000 % |
971.99/972.62	c |   1255083 |    1100    22000   110000 |   103586    95557    149 |  0.000 % |
976.58/977.24	c |   1260918 |    1100    22000   110000 |   100474    88817    149 |  0.000 % |
981.38/982.01	c |   1267336 |    1100    22000   110000 |   100474    95235    149 |  0.000 % |
986.78/987.41	c |   1274396 |    1100    22000   110000 |    97899    91651    148 |  0.000 % |
993.08/993.75	c |   1282160 |    1100    22000   110000 |    97256    89361    149 |  0.000 % |
1000.18/1000.86	c |   1290700 |    1100    22000   110000 |    97204    87356    151 |  0.000 % |
1007.27/1007.96	c |   1300094 |    1100    22000   110000 | 2147483647    96750    151 |  0.000 % |
1015.67/1016.36	c |   1310427 |    1100    22000   110000 |   106659    92007    153 |  0.000 % |
1024.77/1025.43	c |   1321794 |    1100    22000   110000 |   101580    90911    155 |  0.000 % |
1024.87/1025.50	c |   1321894 |    1100    22000   110000 |   101580    91011    155 |  0.000 % |
1024.87/1025.59	c |   1322005 |    1100    22000   110000 |   101580    91122    155 |  0.000 % |
1025.07/1025.73	c |   1322126 |    1100    22000   110000 |   101580    91243    155 |  0.000 % |
1025.17/1025.86	c |   1322259 |    1100    22000   110000 |   101580    91376    155 |  0.000 % |
1025.27/1025.96	c |   1322405 |    1100    22000   110000 |   101580    91522    155 |  0.000 % |
1025.47/1026.11	c |   1322566 |    1100    22000   110000 |   101580    91683    155 |  0.000 % |
1025.57/1026.27	c |   1322742 |    1100    22000   110000 |   101580    91859    155 |  0.000 % |
1025.76/1026.45	c |   1322935 |    1100    22000   110000 |   101580    92052    155 |  0.000 % |
1025.96/1026.64	c |   1323147 |    1100    22000   110000 |   101580    92264    155 |  0.000 % |
1026.16/1026.84	c |   1323381 |    1100    22000   110000 |   101580    92498    155 |  0.000 % |
1026.36/1027.06	c |   1323639 |    1100    22000   110000 |   101580    92756    155 |  0.000 % |
1026.56/1027.28	c |   1323920 |    1100    22000   110000 |   101580    93037    155 |  0.000 % |
1026.86/1027.54	c |   1324229 |    1100    22000   110000 |   101580    93346    155 |  0.000 % |
1027.16/1027.80	c |   1324568 |    1100    22000   110000 |   101580    93685    155 |  0.000 % |
1027.46/1028.10	c |   1324941 |    1100    22000   110000 |   101580    94058    155 |  0.000 % |
1027.76/1028.47	c |   1325350 |    1100    22000   110000 |   101580    94467    155 |  0.000 % |
1028.16/1028.84	c |   1325799 |    1100    22000   110000 |   101580    94916    155 |  0.000 % |
1028.56/1029.23	c |   1326293 |    1100    22000   110000 |   101580    95410    154 |  0.000 % |
1028.97/1029.66	c |   1326836 |    1100    22000   110000 |   101580    95953    154 |  0.000 % |
1029.46/1030.11	c |   1327432 |    1100    22000   110000 |   101580    96549    154 |  0.000 % |
1029.96/1030.62	c |   1328088 |    1100    22000   110000 |   101580    97205    154 |  0.000 % |
1030.66/1031.30	c |   1328808 |    1100    22000   110000 |   101580    97925    154 |  0.000 % |
1031.26/1031.99	c |   1329601 |    1100    22000   110000 |   101580    98718    154 |  0.000 % |
1032.06/1032.79	c |   1330472 |    1100    22000   110000 |    99117    87270    154 |  0.000 % |
1032.86/1033.55	c |   1331430 |    1100    22000   110000 |    99117    88228    154 |  0.000 % |
1033.66/1034.38	c |   1332484 |    1100    22000   110000 |    99117    89282    154 |  0.000 % |
1034.56/1035.28	c |   1333642 |    1100    22000   110000 |    99117    90440    154 |  0.000 % |
1035.56/1036.24	c |   1334915 |    1100    22000   110000 |    99117    91713    154 |  0.000 % |
1036.66/1037.34	c |   1336315 |    1100    22000   110000 |    99117    93113    154 |  0.000 % |
1037.86/1038.54	c |   1337856 |    1100    22000   110000 |    99117    94654    153 |  0.000 % |
1039.16/1039.87	c |   1339550 |    1100    22000   110000 |    99117    96348    153 |  0.000 % |
1040.75/1041.45	c |   1341413 |    1100    22000   110000 |    96800    87527    152 |  0.000 % |
1042.25/1042.96	c |   1343464 |    1100    22000   110000 |    96800    89578    152 |  0.000 % |
1044.05/1044.76	c |   1345717 |    1100    22000   110000 |    96800    91831    152 |  0.000 % |
1045.95/1046.66	c |   1348195 |    1100    22000   110000 |    96800    94309    152 |  0.000 % |
1048.05/1048.73	c |   1350921 |    1100    22000   110000 | 2147483647    97035    152 |  0.000 % |
1050.35/1051.03	c |   1353918 |    1100    22000   110000 | 2147483647   100032    152 |  0.000 % |
1052.95/1053.70	c |   1357214 |    1100    22000   110000 | 2147483647   103328    152 |  0.000 % |
1056.05/1056.78	c |   1360841 |    1100    22000   110000 |   106115    94349    152 |  0.000 % |
1059.05/1059.79	c |   1364828 |    1100    22000   110000 |   106115    98336    152 |  0.000 % |
1062.64/1063.36	c |   1369214 |    1100    22000   110000 |   106115   102722    151 |  0.000 % |
1066.74/1067.40	c |   1374038 |    1100    22000   110000 |   103508    94851    151 |  0.000 % |
1071.14/1071.84	c |   1379345 |    1100    22000   110000 |   103508   100158    152 |  0.000 % |
1075.64/1076.36	c |   1385180 |    1100    22000   110000 |   100813    93344    151 |  0.000 % |
1080.83/1081.51	c |   1391599 |    1100    22000   110000 |    98164    88359    151 |  0.000 % |
1086.23/1086.94	c |   1398661 |    1100    22000   110000 |    98164    95421    151 |  0.000 % |
1092.13/1092.85	c |   1406427 |    1100    22000   110000 |    96760    92486    149 |  0.000 % |
1098.73/1099.49	c |   1414967 |    1100    22000   110000 |    96060    90619    150 |  0.000 % |
1106.52/1107.20	c |   1424361 |    1100    22000   110000 |    95653    89514    152 |  0.000 % |
1115.02/1115.76	c |   1434696 |    1100    22000   110000 |    95153    89768    154 |  0.000 % |
1125.22/1125.99	c |   1446062 |    1100    22000   110000 |    95072    91038    157 |  0.000 % |
1134.81/1135.51	c |   1458564 |    1100    22000   110000 |    94976    92601    158 |  0.000 % |
1134.91/1135.60	c |   1458667 |    1100    22000   110000 |    94976    92704    158 |  0.000 % |
1134.91/1135.69	c |   1458778 |    1100    22000   110000 |    94976    92815    158 |  0.000 % |
1135.01/1135.79	c |   1458899 |    1100    22000   110000 |    94976    92936    158 |  0.000 % |
1135.21/1135.90	c |   1459033 |    1100    22000   110000 |    94976    93070    158 |  0.000 % |
1135.31/1136.06	c |   1459179 |    1100    22000   110000 |    94976    93216    158 |  0.000 % |
1135.52/1136.20	c |   1459339 |    1100    22000   110000 |    94976    93376    158 |  0.000 % |
1135.62/1136.34	c |   1459515 |    1100    22000   110000 |    94976    93552    158 |  0.000 % |
1135.81/1136.51	c |   1459708 |    1100    22000   110000 |    94976    93745    158 |  0.000 % |
1135.91/1136.69	c |   1459921 |    1100    22000   110000 |    94976    93958    158 |  0.000 % |
1136.11/1136.88	c |   1460154 |    1100    22000   110000 |    94037    94191    157 |  0.000 % |
1136.41/1137.14	c |   1460413 |    1100    22000   110000 |    94037    82663    158 |  0.000 % |
1136.62/1137.37	c |   1460694 |    1100    22000   110000 |    94037    82944    158 |  0.000 % |
1136.91/1137.60	c |   1461004 |    1100    22000   110000 |    94037    83254    158 |  0.000 % |
1137.11/1137.88	c |   1461343 |    1100    22000   110000 |    94037    83593    158 |  0.000 % |
1137.41/1138.15	c |   1461716 |    1100    22000   110000 |    94037    83966    158 |  0.000 % |
1137.72/1138.48	c |   1462125 |    1100    22000   110000 |    94037    84375    158 |  0.000 % |
1138.11/1138.85	c |   1462577 |    1100    22000   110000 |    94037    84827    158 |  0.000 % |
1138.51/1139.25	c |   1463073 |    1100    22000   110000 |    94037    85323    158 |  0.000 % |
1138.91/1139.68	c |   1463617 |    1100    22000   110000 |    94037    85867    157 |  0.000 % |
1139.41/1140.10	c |   1464214 |    1100    22000   110000 |    94037    86464    157 |  0.000 % |
1139.81/1140.58	c |   1464870 |    1100    22000   110000 |    94037    87120    157 |  0.000 % |
1140.31/1141.08	c |   1465590 |    1100    22000   110000 |    94037    87840    157 |  0.000 % |
1140.91/1141.70	c |   1466384 |    1100    22000   110000 |    94037    88634    157 |  0.000 % |
1141.61/1142.35	c |   1467257 |    1100    22000   110000 |    94037    89507    157 |  0.000 % |
1142.31/1143.09	c |   1468216 |    1100    22000   110000 |    94037    90466    157 |  0.000 % |
1143.11/1143.85	c |   1469270 |    1100    22000   110000 |    94037    91520    156 |  0.000 % |
1143.91/1144.69	c |   1470428 |    1100    22000   110000 | 2147483647    92678    156 |  0.000 % |
1144.91/1145.64	c |   1471701 |    1100    22000   110000 | 2147483647    93951    156 |  0.000 % |
1146.01/1146.79	c |   1473102 |    1100    22000   110000 | 2147483647    95352    156 |  0.000 % |
1147.21/1147.96	c |   1474642 |    1100    22000   110000 | 2147483647    96892    156 |  0.000 % |
1148.61/1149.38	c |   1476336 |    1100    22000   110000 | 2147483647    98586    156 |  0.000 % |
1150.11/1150.83	c |   1478199 |    1100    22000   110000 | 2147483647   100449    156 |  0.000 % |
1151.80/1152.56	c |   1480248 |    1100    22000   110000 | 2147483647   102498    156 |  0.000 % |
1153.70/1154.44	c |   1482501 |    1100    22000   110000 | 2147483647   104751    156 |  0.000 % |
1155.91/1156.65	c |   1484981 |    1100    22000   110000 | 2147483647   107231    156 |  0.000 % |
1158.20/1158.94	c |   1487709 |    1100    22000   110000 | 2147483647   109959    156 |  0.000 % |
1161.10/1161.81	c |   1490708 |    1100    22000   110000 |   112251    96808    156 |  0.000 % |
1163.80/1164.51	c |   1494004 |    1100    22000   110000 |   112251   100104    156 |  0.000 % |
1166.80/1167.56	c |   1497629 |    1100    22000   110000 |   112251   103729    156 |  0.000 % |
1170.20/1170.98	c |   1501617 |    1100    22000   110000 |   106100    92804    155 |  0.000 % |
1173.60/1174.34	c |   1506002 |    1100    22000   110000 |   106100    97189    155 |  0.000 % |
1177.40/1178.15	c |   1510826 |    1100    22000   110000 |   101187    89648    154 |  0.000 % |
1181.29/1182.04	c |   1516131 |    1100    22000   110000 |   101187    94953    154 |  0.000 % |
1185.89/1186.62	c |   1521968 |    1100    22000   110000 |    98822    89556    153 |  0.000 % |
1190.89/1191.69	c |   1528388 |    1100    22000   110000 |    98822    95976    153 |  0.000 % |
1196.69/1197.42	c |   1535447 |    1100    22000   110000 |    97588    92641    151 |  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-1832485-1242773870/watcher-1832485-1242773870 -o /tmp/evaluation-result-1832485-1242773870/solver-1832485-1242773870 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832485-1242773870.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 12242
/proc/meminfo: memFree=1967776/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305420217 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 273952768082 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/12242/statm: 1339 235 195 169 0 50 0
[pid=12243] ppid=12242 vsize=5356 CPUtime=0
/proc/12243/stat : 12243 (SatELiteGTI) S 12242 12242 11849 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305420217 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/12243/statm: 1339 238 198 169 0 50 0
[pid=12245] ppid=12243 vsize=2600 CPUtime=0
/proc/12245/stat : 12245 (sed) R 12243 12242 11849 0 -1 4194304 140 0 0 0 0 0 0 0 18 0 1 0 305420217 2662400 113 1992294400 4194304 4240196 548682069056 18446744073709551615 273952423008 0 0 4096 0 0 0 0 17 0 0 0
/proc/12245/statm: 652 126 102 11 0 56 0

[startup+0.0809109 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 12242
/proc/meminfo: memFree=1967776/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.101908 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 12242
/proc/meminfo: memFree=1967776/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.30193 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 12242
/proc/meminfo: memFree=1967776/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701977 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 12242
/proc/meminfo: memFree=1967776/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50107 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12248
/proc/meminfo: memFree=1961296/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=7320 CPUtime=1.42
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 1589 0 0 0 142 0 0 0 25 0 1 0 305420224 7495680 1575 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 1830 1575 77 171 0 1657 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12676

[startup+3.10126 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12248
/proc/meminfo: memFree=1959056/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=11676 CPUtime=3.02
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 2703 0 0 0 301 1 0 0 25 0 1 0 305420224 11956224 2689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 2919 2689 77 171 0 2746 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 17032

[startup+6.30163 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12248
/proc/meminfo: memFree=1950992/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=18768 CPUtime=6.22
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 4464 0 0 0 619 3 0 0 25 0 1 0 305420224 19218432 4450 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 4692 4450 77 171 0 4519 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 24124

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12248
/proc/meminfo: memFree=1940176/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=28748 CPUtime=12.61
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 6930 0 0 0 1254 7 0 0 25 0 1 0 305420224 29437952 6916 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 7187 6916 77 171 0 7014 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 34104

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12248
/proc/meminfo: memFree=1925648/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=42596 CPUtime=25.4
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 10410 0 0 0 2528 12 0 0 25 0 1 0 305420224 43618304 10396 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 10649 10396 77 171 0 10476 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 47952

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12248
/proc/meminfo: memFree=1905872/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=62444 CPUtime=50.98
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 15347 0 0 0 5080 18 0 0 25 0 1 0 305420224 63942656 15333 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 15611 15333 77 171 0 15438 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 67800

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12248
/proc/meminfo: memFree=1902160/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=65612 CPUtime=102.15
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 16139 0 0 0 10196 19 0 0 25 0 1 0 305420224 67186688 16125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 16403 16125 77 171 0 16230 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 70968

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12248
/proc/meminfo: memFree=1900944/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=66668 CPUtime=162.11
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 16420 0 0 0 16191 20 0 0 25 0 1 0 305420224 68268032 16406 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 16667 16406 77 171 0 16494 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 72024

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1899280/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=68120 CPUtime=222.08
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 16764 0 0 0 22188 20 0 0 25 0 1 0 305420224 69754880 16750 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 17030 16750 77 171 0 16857 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 73476

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1898512/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=68780 CPUtime=282.05
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 16941 0 0 0 28185 20 0 0 25 0 1 0 305420224 70430720 16927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 17195 16927 77 171 0 17022 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 74136

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1896784/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=70496 CPUtime=342.02
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 17365 0 0 0 34181 21 0 0 25 0 1 0 305420224 72187904 17351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 17624 17351 77 171 0 17451 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 75852

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1896272/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=70760 CPUtime=401.98

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

/proc/12248/statm: 17822 17555 77 171 0 17649 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 76644

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1895504/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=71420 CPUtime=581.88
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 17584 0 0 0 58166 22 0 0 25 0 1 0 305420224 73134080 17570 1992294400 134512640 135215339 4294956240 18446744073709551615 134538272 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 17855 17570 77 171 0 17682 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 76776

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1895376/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=71352 CPUtime=641.84
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 17584 0 0 0 64162 22 0 0 25 0 1 0 305420224 73064448 17570 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 17838 17570 77 171 0 17665 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 76708

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1895248/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=71352 CPUtime=701.81
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 17584 0 0 0 70158 23 0 0 25 0 1 0 305420224 73064448 17570 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 17838 17570 77 171 0 17665 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 76708

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1893520/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=73032 CPUtime=761.76
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 18002 0 0 0 76153 23 0 0 25 0 1 0 305420224 74784768 17988 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 18258 17988 77 171 0 18085 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 78388

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1893456/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=73032 CPUtime=821.73
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 18002 0 0 0 82150 23 0 0 25 0 1 0 305420224 74784768 17988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 18258 17988 77 171 0 18085 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 78388

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1893008/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=73324 CPUtime=881.68
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 18099 0 0 0 88145 23 0 0 25 0 1 0 305420224 75083776 18074 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 18331 18074 77 171 0 18158 0
Current children cumulated CPU time (s) 881.73
Current children cumulated vsize (KiB) 78680

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1891088/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=75172 CPUtime=941.65
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 18562 0 0 0 94141 24 0 0 25 0 1 0 305420224 76976128 18537 1992294400 134512640 135215339 4294956240 18446744073709551615 134538115 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 18793 18537 77 171 0 18620 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 80528

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1890960/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=75172 CPUtime=1001.62
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 18562 0 0 0 100138 24 0 0 25 0 1 0 305420224 76976128 18537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 18793 18537 77 171 0 18620 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 80528

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1890896/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=75172 CPUtime=1061.6
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 18562 0 0 0 106136 24 0 0 25 0 1 0 305420224 76976128 18537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 18793 18537 77 171 0 18620 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 80528

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1890832/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=75172 CPUtime=1121.57
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 18562 0 0 0 112133 24 0 0 25 0 1 0 305420224 76976128 18537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 18793 18537 77 171 0 18620 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 80528

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1885520/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=80320 CPUtime=1181.54
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 19855 0 0 0 118128 26 0 0 25 0 1 0 305420224 82247680 19830 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 20080 19830 77 171 0 19907 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 85676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12254
/proc/meminfo: memFree=1885456/2055920 swapFree=4180280/4192956
[pid=12242] ppid=12240 vsize=5356 CPUtime=0.05
/proc/12242/stat : 12242 (SatELiteGTI) S 12240 12242 11849 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305420217 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12242/statm: 1339 239 197 169 0 50 0
[pid=12248] ppid=12242 vsize=80320 CPUtime=1200.04
/proc/12248/stat : 12248 (minisat_static) R 12242 12242 11849 0 -1 4194304 19855 0 0 0 119978 26 0 0 25 0 1 0 305420224 82247680 19830 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/12248/statm: 20080 19830 77 171 0 19907 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 85676

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 12242 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=55991
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 0.064989
# while last known CPU time is 1200.09
#
# 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.09
CPU user time (s): 1199.83
CPU system time (s): 0.26
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (KiB): 85676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.055991
system time used= 0.008998
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= 14
involuntary context switches= 7

runsolver used 1.12583 second user time and 3.38748 second system time

The end

Launcher Data

Begin job on node20 at 2009-05-20 00:57:50
IDJOB=1832485
IDBENCH=70206
IDSOLVER=671
FILE ID=node20/1832485-1242773870
PBS_JOBID= 9322278
Free space on /tmp= 66252 MiB

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

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

MD5SUM BENCH= b60450275781a4bce2d80b1541942582
RANDOM SEED=412058666

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1968328 kB
Buffers:         16580 kB
Cached:          34540 kB
SwapCached:       6816 kB
Active:          20200 kB
Inactive:        39152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1968328 kB
SwapTotal:     4192956 kB
SwapFree:      4180280 kB
Dirty:            2104 kB
Writeback:           0 kB
Mapped:          13464 kB
Slab:            14304 kB
Committed_AS:  1135312 kB
PageTables:       1400 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= 66252 MiB
End job on node20 at 2009-05-20 01:17:53