Trace number 1832481

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
MD5SUM30068bb62ff2ae5a4888c347460a4a1d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark84.2262
Satisfiable
(Un)Satisfiability was proved
Number of variables1100
Number of clauses22000
Sum of the clauses size110000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 522000
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   22000   110000 |    6599       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 1100   #clauses: 22000   #literals: 110000
0.00/0.03	c CPU time:   0.021996 s
0.00/0.03	c ==============================================================================
0.00/0.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.00/0.09	c |  Parsing time:         0.01         s                                       |
0.05/0.10	c ============================[ Search Statistics ]==============================
0.05/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.05/0.10	c ===============================================================================
0.05/0.10	c |         0 |    1100    22000   110000 |     7333        0    nan |  0.000 % |
0.05/0.11	c |       100 |    1100    22000   110000 |     7333      100    114 |  0.000 % |
0.05/0.12	c |       203 |    1100    22000   110000 |     7333      203    115 |  0.000 % |
0.05/0.14	c |       303 |    1100    22000   110000 |     7333      303    123 |  0.000 % |
0.05/0.15	c |       413 |    1100    22000   110000 |     7333      413    127 |  0.000 % |
0.05/0.16	c |       514 |    1100    22000   110000 |     7333      514    128 |  0.000 % |
0.05/0.17	c |       625 |    1100    22000   110000 |     7333      625    130 |  0.000 % |
0.05/0.19	c |       746 |    1100    22000   110000 |     7333      746    129 |  0.000 % |
0.05/0.20	c |       846 |    1100    22000   110000 |     7333      846    127 |  0.000 % |
0.05/0.21	c |       958 |    1100    22000   110000 |     7333      958    125 |  0.000 % |
0.05/0.23	c |      1079 |    1100    22000   110000 |     7333     1079    126 |  0.000 % |
0.05/0.25	c |      1213 |    1100    22000   110000 |     7333     1213    128 |  0.000 % |
0.05/0.26	c |      1313 |    1100    22000   110000 |     7333     1313    129 |  0.000 % |
0.05/0.27	c |      1424 |    1100    22000   110000 |     7333     1424    129 |  0.000 % |
0.05/0.29	c |      1545 |    1100    22000   110000 |     7333     1545    128 |  0.000 % |
0.05/0.30	c |      1678 |    1100    22000   110000 |     7333     1678    128 |  0.000 % |
0.05/0.32	c |      1828 |    1100    22000   110000 |     7333     1828    128 |  0.000 % |
0.05/0.33	c |      1929 |    1100    22000   110000 |     7333     1929    128 |  0.000 % |
0.05/0.34	c |      2039 |    1100    22000   110000 |     7333     2039    129 |  0.000 % |
0.05/0.36	c |      2160 |    1100    22000   110000 |     7333     2160    128 |  0.000 % |
0.05/0.37	c |      2293 |    1100    22000   110000 |     7333     2293    129 |  0.000 % |
0.05/0.39	c |      2440 |    1100    22000   110000 |     7333     2440    129 |  0.000 % |
0.05/0.41	c |      2606 |    1100    22000   110000 |     7333     2606    130 |  0.000 % |
0.05/0.43	c |      2706 |    1100    22000   110000 |     7333     2706    130 |  0.000 % |
0.05/0.44	c |      2818 |    1100    22000   110000 |     7333     2818    130 |  0.000 % |
0.05/0.46	c |      2939 |    1100    22000   110000 |     7333     2939    130 |  0.000 % |
0.05/0.47	c |      3074 |    1100    22000   110000 |     7333     3074    130 |  0.000 % |
0.05/0.49	c |      3223 |    1100    22000   110000 |     7333     3223    130 |  0.000 % |
0.05/0.51	c |      3383 |    1100    22000   110000 |     7333     3383    130 |  0.000 % |
0.05/0.54	c |      3560 |    1100    22000   110000 |     7333     3560    130 |  0.000 % |
0.05/0.55	c |      3661 |    1100    22000   110000 |     7333     3661    130 |  0.000 % |
0.05/0.57	c |      3771 |    1100    22000   110000 |     7333     3771    129 |  0.000 % |
0.05/0.58	c |      3892 |    1100    22000   110000 |     7333     3892    129 |  0.000 % |
0.05/0.60	c |      4025 |    1100    22000   110000 |     7333     4025    130 |  0.000 % |
0.05/0.62	c |      4171 |    1100    22000   110000 |     7333     4171    130 |  0.000 % |
0.05/0.65	c |      4331 |    1100    22000   110000 |     7333     4331    130 |  0.000 % |
0.05/0.67	c |      4507 |    1100    22000   110000 |     7333     4507    131 |  0.000 % |
0.05/0.70	c |      4700 |    1100    22000   110000 |     7333     4700    131 |  0.000 % |
0.05/0.71	c |      4800 |    1100    22000   110000 |     7333     4800    131 |  0.000 % |
0.05/0.73	c |      4911 |    1100    22000   110000 |     7333     4911    131 |  0.000 % |
0.05/0.75	c |      5032 |    1100    22000   110000 |     7333     5032    131 |  0.000 % |
0.05/0.76	c |      5166 |    1100    22000   110000 |     7333     5166    131 |  0.000 % |
0.05/0.79	c |      5312 |    1100    22000   110000 |     7333     5312    131 |  0.000 % |
0.05/0.81	c |      5473 |    1100    22000   110000 |     7333     5473    131 |  0.000 % |
0.05/0.83	c |      5650 |    1100    22000   110000 |     7333     5650    131 |  0.000 % |
0.05/0.86	c |      5845 |    1100    22000   110000 |     7333     5845    131 |  0.000 % |
0.05/0.89	c |      6057 |    1100    22000   110000 |     7333     6057    131 |  0.000 % |
0.05/0.90	c |      6157 |    1100    22000   110000 |     7333     6157    131 |  0.000 % |
0.05/0.92	c |      6270 |    1100    22000   110000 |     7333     6270    131 |  0.000 % |
0.05/0.94	c |      6393 |    1100    22000   110000 |     7333     6393    131 |  0.000 % |
0.05/0.96	c |      6526 |    1100    22000   110000 |     7333     6526    131 |  0.000 % |
0.05/0.98	c |      6672 |    1100    22000   110000 |     7333     6672    131 |  0.000 % |
0.96/1.01	c |      6834 |    1100    22000   110000 |     7333     6834    131 |  0.000 % |
0.96/1.04	c |      7011 |    1100    22000   110000 |     7333     7011    131 |  0.000 % |
0.96/1.07	c |      7205 |    1100    22000   110000 |     7333     7205    131 |  0.000 % |
0.96/1.10	c |      7417 |    1100    22000   110000 |     7333     7417    130 |  0.000 % |
1.06/1.13	c |      7650 |    1100    22000   110000 |     7333     6909    129 |  0.000 % |
1.06/1.15	c |      7750 |    1100    22000   110000 |     7333     7009    129 |  0.000 % |
1.06/1.17	c |      7862 |    1100    22000   110000 |     7333     7121    129 |  0.000 % |
1.06/1.18	c |      7985 |    1100    22000   110000 |     7333     7244    129 |  0.000 % |
1.15/1.21	c |      8119 |    1100    22000   110000 |     7333     7378    129 |  0.000 % |
1.15/1.23	c |      8266 |    1100    22000   110000 |     7333     6788    129 |  0.000 % |
1.15/1.26	c |      8426 |    1100    22000   110000 |     7333     6948    129 |  0.000 % |
1.15/1.28	c |      8602 |    1100    22000   110000 |     7333     7124    128 |  0.000 % |
1.25/1.31	c |      8796 |    1100    22000   110000 |     7333     7318    128 |  0.000 % |
1.25/1.34	c |      9008 |    1100    22000   110000 |     7333     7530    129 |  0.000 % |
1.25/1.38	c |      9243 |    1100    22000   110000 |     7333     7012    129 |  0.000 % |
1.35/1.42	c |      9499 |    1100    22000   110000 |     7333     7268    129 |  0.000 % |
1.35/1.44	c |      9599 |    1100    22000   110000 |     7333     7368    129 |  0.000 % |
1.35/1.46	c |      9711 |    1100    22000   110000 |     7333     6744    128 |  0.000 % |
1.35/1.48	c |      9832 |    1100    22000   110000 |     7333     6865    129 |  0.000 % |
1.45/1.50	c |      9967 |    1100    22000   110000 |     7333     7000    128 |  0.000 % |
1.45/1.52	c |     10113 |    1100    22000   110000 | 2147483647     7146    128 |  0.000 % |
1.45/1.54	c |     10273 |    1100    22000   110000 | 2147483647     7306    128 |  0.000 % |
1.45/1.57	c |     10449 |    1100    22000   110000 | 2147483647     7482    128 |  0.000 % |
1.56/1.60	c |     10642 |    1100    22000   110000 | 2147483647     7675    128 |  0.000 % |
1.56/1.63	c |     10854 |    1100    22000   110000 | 2147483647     7887    128 |  0.000 % |
1.56/1.67	c |     11087 |    1100    22000   110000 | 2147483647     8120    128 |  0.000 % |
1.66/1.71	c |     11343 |    1100    22000   110000 | 2147483647     8376    128 |  0.000 % |
1.66/1.76	c |     11625 |    1100    22000   110000 | 2147483647     8658    129 |  0.000 % |
1.66/1.77	c |     11728 |    1100    22000   110000 | 2147483647     8761    129 |  0.000 % |
1.66/1.79	c |     11838 |    1100    22000   110000 | 2147483647     8871    129 |  0.000 % |
1.75/1.81	c |     11960 |    1100    22000   110000 | 2147483647     8993    129 |  0.000 % |
1.75/1.84	c |     12094 |    1100    22000   110000 | 2147483647     9127    129 |  0.000 % |
1.75/1.86	c |     12240 |    1100    22000   110000 | 2147483647     9273    129 |  0.000 % |
1.75/1.89	c |     12400 |    1100    22000   110000 | 2147483647     9433    129 |  0.000 % |
1.85/1.92	c |     12577 |    1100    22000   110000 | 2147483647     9610    129 |  0.000 % |
1.85/1.95	c |     12770 |    1100    22000   110000 | 2147483647     9803    129 |  0.000 % |
1.85/1.99	c |     12983 |    1100    22000   110000 | 2147483647    10016    129 |  0.000 % |
1.95/2.03	c |     13216 |    1100    22000   110000 | 2147483647    10249    129 |  0.000 % |
1.95/2.07	c |     13472 |    1100    22000   110000 | 2147483647    10505    129 |  0.000 % |
2.05/2.12	c |     13755 |    1100    22000   110000 | 2147483647    10788    129 |  0.000 % |
2.05/2.18	c |     14064 |    1100    22000   110000 | 2147483647    11097    129 |  0.000 % |
2.05/2.20	c |     14164 |    1100    22000   110000 | 2147483647    11197    130 |  0.000 % |
2.15/2.22	c |     14275 |    1100    22000   110000 | 2147483647    11308    130 |  0.000 % |
2.15/2.24	c |     14397 |    1100    22000   110000 | 2147483647    11430    130 |  0.000 % |
2.15/2.27	c |     14530 |    1100    22000   110000 | 2147483647    11563    130 |  0.000 % |
2.25/2.30	c |     14676 |    1100    22000   110000 | 2147483647    11709    130 |  0.000 % |
2.25/2.33	c |     14837 |    1100    22000   110000 | 2147483647    11870    130 |  0.000 % |
2.25/2.36	c |     15014 |    1100    22000   110000 | 2147483647    12047    130 |  0.000 % |
2.35/2.40	c |     15207 |    1100    22000   110000 | 2147483647    12240    130 |  0.000 % |
2.35/2.44	c |     15421 |    1100    22000   110000 | 2147483647    12454    130 |  0.000 % |
2.35/2.48	c |     15654 |    1100    22000   110000 | 2147483647    12687    130 |  0.000 % |
2.46/2.53	c |     15910 |    1100    22000   110000 | 2147483647    12943    130 |  0.000 % |
2.46/2.58	c |     16193 |    1100    22000   110000 | 2147483647    13226    130 |  0.000 % |
2.56/2.65	c |     16502 |    1100    22000   110000 | 2147483647    13535    130 |  0.000 % |
2.66/2.72	c |     16843 |    1100    22000   110000 | 2147483647    13876    130 |  0.000 % |
2.66/2.74	c |     16944 |    1100    22000   110000 | 2147483647    13977    130 |  0.000 % |
2.66/2.76	c |     17054 |    1100    22000   110000 | 2147483647    14087    130 |  0.000 % |
2.66/2.79	c |     17176 |    1100    22000   110000 | 2147483647    14209    130 |  0.000 % |
2.75/2.82	c |     17309 |    1100    22000   110000 | 2147483647    14342    130 |  0.000 % |
2.75/2.85	c |     17459 |    1100    22000   110000 | 2147483647    14492    130 |  0.000 % |
2.75/2.88	c |     17619 |    1100    22000   110000 | 2147483647    14652    130 |  0.000 % |
2.85/2.92	c |     17795 |    1100    22000   110000 | 2147483647    14828    130 |  0.000 % |
2.85/2.95	c |     17988 |    1100    22000   110000 | 2147483647    15021    130 |  0.000 % |
2.95/3.01	c |     18201 |    1100    22000   110000 | 2147483647    15234    130 |  0.000 % |
2.95/3.06	c |     18434 |    1100    22000   110000 | 2147483647    15467    130 |  0.000 % |
3.05/3.11	c |     18691 |    1100    22000   110000 | 2147483647    15724    130 |  0.000 % |
3.05/3.17	c |     18973 |    1100    22000   110000 | 2147483647    16006    130 |  0.000 % |
3.15/3.24	c |     19284 |    1100    22000   110000 | 2147483647    16317    130 |  0.000 % |
3.25/3.30	c |     19624 |    1100    22000   110000 | 2147483647    16657    130 |  0.000 % |
3.25/3.38	c |     19996 |    1100    22000   110000 | 2147483647    17029    130 |  0.000 % |
3.35/3.41	c |     20096 |    1100    22000   110000 | 2147483647    17129    130 |  0.000 % |
3.35/3.44	c |     20208 |    1100    22000   110000 | 2147483647    17241    130 |  0.000 % |
3.35/3.47	c |     20330 |    1100    22000   110000 | 2147483647    17363    130 |  0.000 % |
3.45/3.50	c |     20466 |    1100    22000   110000 | 2147483647    17499    130 |  0.000 % |
3.45/3.53	c |     20614 |    1100    22000   110000 | 2147483647    17647    130 |  0.000 % |
3.45/3.57	c |     20776 |    1100    22000   110000 | 2147483647    17809    131 |  0.000 % |
3.55/3.61	c |     20952 |    1100    22000   110000 | 2147483647    17985    130 |  0.000 % |
3.55/3.65	c |     21145 |    1100    22000   110000 | 2147483647    18178    130 |  0.000 % |
3.65/3.70	c |     21357 |    1100    22000   110000 | 2147483647    18390    130 |  0.000 % |
3.65/3.75	c |     21590 |    1100    22000   110000 | 2147483647    18623    130 |  0.000 % |
3.74/3.82	c |     21847 |    1100    22000   110000 | 2147483647    18880    130 |  0.000 % |
3.74/3.89	c |     22128 |    1100    22000   110000 | 2147483647    19161    131 |  0.000 % |
3.84/3.95	c |     22437 |    1100    22000   110000 | 2147483647    19470    131 |  0.000 % |
3.94/4.03	c |     22780 |    1100    22000   110000 | 2147483647    19813    131 |  0.000 % |
4.04/4.12	c |     23153 |    1100    22000   110000 | 2147483647    20186    131 |  0.000 % |
4.14/4.23	c |     23564 |    1100    22000   110000 | 2147483647    20597    131 |  0.000 % |
4.14/4.26	c |     23664 |    1100    22000   110000 | 2147483647    20697    131 |  0.000 % |
4.14/4.29	c |     23776 |    1100    22000   110000 | 2147483647    20809    131 |  0.000 % |
4.25/4.32	c |     23898 |    1100    22000   110000 | 2147483647    20931    131 |  0.000 % |
4.25/4.36	c |     24032 |    1100    22000   110000 | 2147483647    21065    131 |  0.000 % |
4.25/4.40	c |     24178 |    1100    22000   110000 | 2147483647    21211    131 |  0.000 % |
4.35/4.44	c |     24338 |    1100    22000   110000 | 2147483647    21371    131 |  0.000 % |
4.35/4.49	c |     24515 |    1100    22000   110000 | 2147483647    21548    131 |  0.000 % |
4.44/4.54	c |     24709 |    1100    22000   110000 | 2147483647    21742    131 |  0.000 % |
4.44/4.59	c |     24922 |    1100    22000   110000 | 2147483647    21955    132 |  0.000 % |
4.54/4.65	c |     25156 |    1100    22000   110000 | 2147483647    22189    132 |  0.000 % |
4.64/4.71	c |     25414 |    1100    22000   110000 | 2147483647    22447    132 |  0.000 % |
4.64/4.78	c |     25696 |    1100    22000   110000 | 2147483647    22729    132 |  0.000 % |
4.74/4.86	c |     26010 |    1100    22000   110000 | 2147483647    23043    132 |  0.000 % |
4.84/4.96	c |     26349 |    1100    22000   110000 | 2147483647    23382    132 |  0.000 % |
4.94/5.06	c |     26721 |    1100    22000   110000 | 2147483647    23754    132 |  0.000 % |
5.04/5.16	c |     27130 |    1100    22000   110000 | 2147483647    24163    132 |  0.000 % |
5.14/5.29	c |     27580 |    1100    22000   110000 | 2147483647    24613    132 |  0.000 % |
5.24/5.32	c |     27680 |    1100    22000   110000 | 2147483647    24713    132 |  0.000 % |
5.24/5.35	c |     27791 |    1100    22000   110000 | 2147483647    24824    132 |  0.000 % |
5.24/5.39	c |     27915 |    1100    22000   110000 | 2147483647    24948    132 |  0.000 % |
5.34/5.43	c |     28049 |    1100    22000   110000 | 2147483647    25082    132 |  0.000 % |
5.34/5.48	c |     28195 |    1100    22000   110000 | 2147483647    25228    132 |  0.000 % |
5.44/5.52	c |     28356 |    1100    22000   110000 | 2147483647    25389    132 |  0.000 % |
5.44/5.58	c |     28532 |    1100    22000   110000 | 2147483647    25565    132 |  0.000 % |
5.54/5.65	c |     28727 |    1100    22000   110000 | 2147483647    25760    132 |  0.000 % |
5.64/5.71	c |     28939 |    1100    22000   110000 | 2147483647    25972    132 |  0.000 % |
5.64/5.78	c |     29173 |    1100    22000   110000 | 2147483647    26206    132 |  0.000 % |
5.74/5.86	c |     29429 |    1100    22000   110000 | 2147483647    26462    132 |  0.000 % |
5.84/5.94	c |     29711 |    1100    22000   110000 | 2147483647    26744    132 |  0.000 % |
5.94/6.03	c |     30020 |    1100    22000   110000 | 2147483647    27053    132 |  0.000 % |
6.05/6.14	c |     30360 |    1100    22000   110000 | 2147483647    27393    132 |  0.000 % |
6.15/6.24	c |     30732 |    1100    22000   110000 | 2147483647    27765    132 |  0.000 % |
6.25/6.37	c |     31143 |    1100    22000   110000 | 2147483647    28176    133 |  0.000 % |
6.34/6.50	c |     31593 |    1100    22000   110000 | 2147483647    28626    133 |  0.000 % |
6.55/6.66	c |     32087 |    1100    22000   110000 | 2147483647    29120    133 |  0.000 % |
6.64/6.70	c |     32188 |    1100    22000   110000 | 2147483647    29221    133 |  0.000 % |
6.64/6.73	c |     32299 |    1100    22000   110000 | 2147483647    29332    133 |  0.000 % |
6.64/6.78	c |     32420 |    1100    22000   110000 | 2147483647    29453    133 |  0.000 % |
6.74/6.83	c |     32554 |    1100    22000   110000 | 2147483647    29587    133 |  0.000 % |
6.74/6.89	c |     32700 |    1100    22000   110000 | 2147483647    29733    133 |  0.000 % |
6.84/6.93	c |     32861 |    1100    22000   110000 | 2147483647    29894    133 |  0.000 % |
6.84/6.99	c |     33038 |    1100    22000   110000 | 2147483647    30071    133 |  0.000 % |
6.94/7.05	c |     33231 |    1100    22000   110000 | 2147483647    30264    133 |  0.000 % |
7.04/7.12	c |     33443 |    1100    22000   110000 | 2147483647    30476    133 |  0.000 % |
7.14/7.20	c |     33676 |    1100    22000   110000 | 2147483647    30709    133 |  0.000 % |
7.14/7.29	c |     33935 |    1100    22000   110000 | 2147483647    30968    133 |  0.000 % |
7.24/7.38	c |     34217 |    1100    22000   110000 | 2147483647    31250    133 |  0.000 % |
7.34/7.48	c |     34526 |    1100    22000   110000 | 2147483647    31559    133 |  0.000 % |
7.44/7.60	c |     34865 |    1100    22000   110000 | 2147483647    31898    133 |  0.000 % |
7.64/7.72	c |     35238 |    1100    22000   110000 | 2147483647    32271    133 |  0.000 % |
7.74/7.86	c |     35648 |    1100    22000   110000 | 2147483647    32681    133 |  0.000 % |
7.94/8.01	c |     36097 |    1100    22000   110000 | 2147483647    33130    133 |  0.000 % |
8.04/8.19	c |     36592 |    1100    22000   110000 | 2147483647    33625    133 |  0.000 % |
8.24/8.37	c |     37134 |    1100    22000   110000 | 2147483647    34167    134 |  0.000 % |
8.34/8.40	c |     37235 |    1100    22000   110000 | 2147483647    34268    134 |  0.000 % |
8.34/8.44	c |     37347 |    1100    22000   110000 | 2147483647    34380    134 |  0.000 % |
8.34/8.49	c |     37469 |    1100    22000   110000 | 2147483647    34502    134 |  0.000 % |
8.44/8.54	c |     37602 |    1100    22000   110000 | 2147483647    34635    134 |  0.000 % |
8.44/8.60	c |     37749 |    1100    22000   110000 | 2147483647    34782    134 |  0.000 % |
8.54/8.66	c |     37909 |    1100    22000   110000 | 2147483647    34942    134 |  0.000 % |
8.65/8.73	c |     38085 |    1100    22000   110000 | 2147483647    35118    134 |  0.000 % |
8.75/8.81	c |     38278 |    1100    22000   110000 | 2147483647    35311    134 |  0.000 % |
8.75/8.89	c |     38490 |    1100    22000   110000 | 2147483647    35523    134 |  0.000 % |
8.84/8.97	c |     38723 |    1100    22000   110000 | 2147483647    35756    134 |  0.000 % |
8.94/9.06	c |     38979 |    1100    22000   110000 | 2147483647    36012    134 |  0.000 % |
9.04/9.17	c |     39260 |    1100    22000   110000 | 2147483647    36293    134 |  0.000 % |
9.14/9.28	c |     39570 |    1100    22000   110000 | 2147483647    36603    134 |  0.000 % |
9.34/9.41	c |     39912 |    1100    22000   110000 | 2147483647    36945    134 |  0.000 % |
9.44/9.54	c |     40284 |    1100    22000   110000 | 2147483647    37317    134 |  0.000 % |
9.64/9.70	c |     40693 |    1100    22000   110000 | 2147483647    37726    134 |  0.000 % |
9.74/9.88	c |     41142 |    1100    22000   110000 | 2147483647    38175    134 |  0.000 % |
9.94/10.06	c |     41637 |    1100    22000   110000 | 2147483647    38670    134 |  0.000 % |
10.14/10.25	c |     42180 |    1100    22000   110000 | 2147483647    39213    134 |  0.000 % |
10.34/10.48	c |     42779 |    1100    22000   110000 | 2147483647    39812    134 |  0.000 % |
10.44/10.52	c |     42879 |    1100    22000   110000 | 2147483647    39912    134 |  0.000 % |
10.44/10.57	c |     42991 |    1100    22000   110000 | 2147483647    40024    134 |  0.000 % |
10.54/10.62	c |     43114 |    1100    22000   110000 | 2147483647    40147    134 |  0.000 % |
10.54/10.68	c |     43247 |    1100    22000   110000 | 2147483647    40280    134 |  0.000 % |
10.64/10.74	c |     43393 |    1100    22000   110000 | 2147483647    40426    134 |  0.000 % |
10.74/10.81	c |     43553 |    1100    22000   110000 | 2147483647    40586    134 |  0.000 % |
10.74/10.89	c |     43729 |    1100    22000   110000 | 2147483647    40762    134 |  0.000 % |
10.84/10.97	c |     43923 |    1100    22000   110000 | 2147483647    40956    134 |  0.000 % |
10.94/11.05	c |     44135 |    1100    22000   110000 | 2147483647    41168    134 |  0.000 % |
11.03/11.14	c |     44369 |    1100    22000   110000 | 2147483647    41402    134 |  0.000 % |
11.13/11.26	c |     44626 |    1100    22000   110000 | 2147483647    41659    134 |  0.000 % |
11.24/11.38	c |     44907 |    1100    22000   110000 | 2147483647    41940    134 |  0.000 % |
11.34/11.49	c |     45216 |    1100    22000   110000 | 2147483647    42249    134 |  0.000 % |
11.54/11.63	c |     45558 |    1100    22000   110000 | 2147483647    42591    134 |  0.000 % |
11.64/11.80	c |     45931 |    1100    22000   110000 | 2147483647    42964    134 |  0.000 % |
11.84/11.97	c |     46340 |    1100    22000   110000 | 2147483647    43373    134 |  0.000 % |
12.04/12.15	c |     46789 |    1100    22000   110000 | 2147483647    43822    134 |  0.000 % |
12.24/12.36	c |     47282 |    1100    22000   110000 | 2147483647    44315    134 |  0.000 % |
12.44/12.59	c |     47824 |    1100    22000   110000 | 2147483647    44857    134 |  0.000 % |
12.74/12.83	c |     48423 |    1100    22000   110000 | 2147483647    45456    134 |  0.000 % |
13.04/13.11	c |     49078 |    1100    22000   110000 | 2147483647    46111    134 |  0.000 % |
13.04/13.17	c |     49178 |    1100    22000   110000 | 2147483647    46211    134 |  0.000 % |
13.14/13.22	c |     49288 |    1100    22000   110000 | 2147483647    46321    134 |  0.000 % |
13.14/13.27	c |     49409 |    1100    22000   110000 | 2147483647    46442    134 |  0.000 % |
13.23/13.33	c |     49544 |    1100    22000   110000 | 2147483647    46577    134 |  0.000 % |
13.33/13.42	c |     49691 |    1100    22000   110000 | 2147483647    46724    134 |  0.000 % |
13.33/13.49	c |     49852 |    1100    22000   110000 | 2147483647    46885    134 |  0.000 % |
13.43/13.57	c |     50029 |    1100    22000   110000 | 2147483647    47062    134 |  0.000 % |
13.53/13.67	c |     50224 |    1100    22000   110000 | 2147483647    47257    134 |  0.000 % |
13.63/13.77	c |     50436 |    1100    22000   110000 | 2147483647    47469    134 |  0.000 % |
13.73/13.89	c |     50672 |    1100    22000   110000 | 2147483647    47705    134 |  0.000 % |
13.93/14.01	c |     50928 |    1100    22000   110000 | 2147483647    47961    134 |  0.000 % |
14.03/14.14	c |     51210 |    1100    22000   110000 | 2147483647    48243    134 |  0.000 % |
14.13/14.26	c |     51520 |    1100    22000   110000 | 2147483647    48553    134 |  0.000 % |
14.33/14.42	c |     51860 |    1100    22000   110000 | 2147483647    48893    134 |  0.000 % |
14.43/14.59	c |     52232 |    1100    22000   110000 | 2147483647    49265    134 |  0.000 % |
14.63/14.76	c |     52641 |    1100    22000   110000 | 2147483647    49674    134 |  0.000 % |
14.84/14.95	c |     53090 |    1100    22000   110000 | 2147483647    50123    135 |  0.000 % |
15.04/15.19	c |     53583 |    1100    22000   110000 | 2147483647    50616    135 |  0.000 % |
15.34/15.43	c |     54125 |    1100    22000   110000 | 2147483647    51158    135 |  0.000 % |
15.63/15.73	c |     54722 |    1100    22000   110000 | 2147483647    51755    135 |  0.000 % |
15.93/16.02	c |     55377 |    1100    22000   110000 | 2147483647    52410    135 |  0.000 % |
16.23/16.33	c |     56097 |    1100    22000   110000 | 2147483647    53130    135 |  0.000 % |
16.23/16.39	c |     56198 |    1100    22000   110000 | 2147483647    53231    135 |  0.000 % |
16.33/16.44	c |     56310 |    1100    22000   110000 | 2147483647    53343    135 |  0.000 % |
16.43/16.51	c |     56433 |    1100    22000   110000 | 2147483647    53466    135 |  0.000 % |
16.43/16.58	c |     56567 |    1100    22000   110000 | 2147483647    53600    135 |  0.000 % |
16.53/16.67	c |     56713 |    1100    22000   110000 | 2147483647    53746    135 |  0.000 % |
16.63/16.75	c |     56875 |    1100    22000   110000 | 2147483647    53908    135 |  0.000 % |
16.73/16.84	c |     57052 |    1100    22000   110000 | 2147483647    54085    135 |  0.000 % |
16.83/16.95	c |     57245 |    1100    22000   110000 | 2147483647    54278    135 |  0.000 % |
16.93/17.06	c |     57457 |    1100    22000   110000 | 2147483647    54490    134 |  0.000 % |
17.03/17.18	c |     57690 |    1100    22000   110000 | 2147483647    54723    134 |  0.000 % |
17.23/17.31	c |     57946 |    1100    22000   110000 | 2147483647    54979    134 |  0.000 % |
17.33/17.45	c |     58227 |    1100    22000   110000 | 2147483647    55260    134 |  0.000 % |
17.54/17.61	c |     58537 |    1100    22000   110000 | 2147483647    55570    134 |  0.000 % |
17.73/17.80	c |     58876 |    1100    22000   110000 | 2147483647    55909    134 |  0.000 % |
17.93/18.00	c |     59249 |    1100    22000   110000 | 2147483647    56282    134 |  0.000 % |
18.13/18.24	c |     59658 |    1100    22000   110000 | 2147483647    56691    134 |  0.000 % |
18.33/18.47	c |     60108 |    1100    22000   110000 | 2147483647    57141    134 |  0.000 % |
18.64/18.72	c |     60602 |    1100    22000   110000 | 2147483647    57635    134 |  0.000 % |
18.93/19.00	c |     61148 |    1100    22000   110000 | 2147483647    58181    134 |  0.000 % |
19.13/19.29	c |     61746 |    1100    22000   110000 | 2147483647    58779    134 |  0.000 % |
19.43/19.59	c |     62401 |    1100    22000   110000 | 2147483647    59434    134 |  0.000 % |
19.83/19.98	c |     63121 |    1100    22000   110000 | 2147483647    60154    134 |  0.000 % |
20.22/20.39	c |     63913 |    1100    22000   110000 | 2147483647    60946    135 |  0.000 % |
20.32/20.45	c |     64013 |    1100    22000   110000 | 2147483647    61046    135 |  0.000 % |
20.42/20.53	c |     64124 |    1100    22000   110000 | 2147483647    61157    135 |  0.000 % |
20.52/20.61	c |     64245 |    1100    22000   110000 | 2147483647    61278    135 |  0.000 % |
20.52/20.69	c |     64378 |    1100    22000   110000 | 2147483647    61411    135 |  0.000 % |
20.62/20.78	c |     64526 |    1100    22000   110000 | 2147483647    61559    135 |  0.000 % |
20.73/20.88	c |     64687 |    1100    22000   110000 | 2147483647    61720    135 |  0.000 % |
20.83/20.99	c |     64865 |    1100    22000   110000 | 2147483647    61898    135 |  0.000 % |
21.02/21.10	c |     65058 |    1100    22000   110000 | 2147483647    62091    135 |  0.000 % |
21.13/21.24	c |     65271 |    1100    22000   110000 | 2147483647    62304    135 |  0.000 % |
21.23/21.37	c |     65505 |    1100    22000   110000 | 2147483647    62538    135 |  0.000 % |
21.43/21.53	c |     65763 |    1100    22000   110000 | 2147483647    62796    135 |  0.000 % |
21.53/21.68	c |     66044 |    1100    22000   110000 | 2147483647    63077    135 |  0.000 % |
21.73/21.88	c |     66353 |    1100    22000   110000 | 2147483647    63386    135 |  0.000 % |
21.93/22.09	c |     66693 |    1100    22000   110000 | 2147483647    63726    135 |  0.000 % |
22.23/22.30	c |     67065 |    1100    22000   110000 | 2147483647    64098    135 |  0.000 % |
22.43/22.53	c |     67475 |    1100    22000   110000 | 2147483647    64508    135 |  0.000 % |
22.73/22.80	c |     67924 |    1100    22000   110000 | 2147483647    64957    135 |  0.000 % |
22.93/23.09	c |     68417 |    1100    22000   110000 | 2147483647    65450    135 |  0.000 % |
23.23/23.38	c |     68962 |    1100    22000   110000 | 2147483647    65995    135 |  0.000 % |
23.63/23.71	c |     69559 |    1100    22000   110000 | 2147483647    66592    135 |  0.000 % |
24.03/24.11	c |     70214 |    1100    22000   110000 | 2147483647    67247    135 |  0.000 % |
24.43/24.55	c |     70936 |    1100    22000   110000 | 2147483647    67969    135 |  0.000 % |
24.83/24.98	c |     71728 |    1100    22000   110000 | 2147483647    68761    135 |  0.000 % |
25.33/25.49	c |     72599 |    1100    22000   110000 | 2147483647    69632    135 |  0.000 % |
25.43/25.56	c |     72700 |    1100    22000   110000 | 2147483647    69733    135 |  0.000 % |
25.53/25.64	c |     72812 |    1100    22000   110000 | 2147483647    69845    135 |  0.000 % |
25.63/25.72	c |     72935 |    1100    22000   110000 | 2147483647    69968    135 |  0.000 % |
25.73/25.81	c |     73069 |    1100    22000   110000 | 2147483647    70102    135 |  0.000 % |
25.83/25.94	c |     73218 |    1100    22000   110000 | 2147483647    70251    135 |  0.000 % |
25.93/26.04	c |     73380 |    1100    22000   110000 | 2147483647    70413    135 |  0.000 % |
26.03/26.15	c |     73557 |    1100    22000   110000 | 2147483647    70590    135 |  0.000 % |
26.12/26.29	c |     73755 |    1100    22000   110000 | 2147483647    70788    135 |  0.000 % |
26.33/26.43	c |     73967 |    1100    22000   110000 | 2147483647    71000    135 |  0.000 % |
26.42/26.58	c |     74200 |    1100    22000   110000 | 2147483647    71233    135 |  0.000 % |
26.62/26.74	c |     74456 |    1100    22000   110000 | 2147483647    71489    135 |  0.000 % |
26.82/26.92	c |     74737 |    1100    22000   110000 | 2147483647    71770    135 |  0.000 % |
27.02/27.11	c |     75046 |    1100    22000   110000 | 2147483647    72079    135 |  0.000 % |
27.22/27.34	c |     75385 |    1100    22000   110000 | 2147483647    72418    135 |  0.000 % |
27.42/27.59	c |     75759 |    1100    22000   110000 | 2147483647    72792    135 |  0.000 % |
27.73/27.86	c |     76168 |    1100    22000   110000 | 2147483647    73201    135 |  0.000 % |
28.03/28.14	c |     76617 |    1100    22000   110000 | 2147483647    73650    135 |  0.000 % |
28.33/28.44	c |     77112 |    1100    22000   110000 | 2147483647    74145    135 |  0.000 % |
28.72/28.80	c |     77654 |    1100    22000   110000 | 2147483647    74687    135 |  0.000 % |
29.02/29.17	c |     78251 |    1100    22000   110000 | 2147483647    75284    136 |  0.000 % |
29.42/29.60	c |     78909 |    1100    22000   110000 | 2147483647    75942    136 |  0.000 % |
29.92/30.05	c |     79630 |    1100    22000   110000 | 2147483647    76663    136 |  0.000 % |
30.42/30.56	c |     80422 |    1100    22000   110000 | 2147483647    77455    136 |  0.000 % |
31.02/31.12	c |     81293 |    1100    22000   110000 | 2147483647    78326    136 |  0.000 % |
31.62/31.71	c |     82251 |    1100    22000   110000 | 2147483647    79284    136 |  0.000 % |
31.62/31.78	c |     82351 |    1100    22000   110000 | 2147483647    79384    136 |  0.000 % |
31.73/31.85	c |     82461 |    1100    22000   110000 | 2147483647    79494    136 |  0.000 % |
31.83/31.95	c |     82582 |    1100    22000   110000 | 2147483647    79615    136 |  0.000 % |
31.92/32.05	c |     82715 |    1100    22000   110000 | 2147483647    79748    136 |  0.000 % |
32.02/32.16	c |     82862 |    1100    22000   110000 | 2147483647    79895    136 |  0.000 % |
32.12/32.27	c |     83023 |    1100    22000   110000 | 2147483647    80056    136 |  0.000 % |
32.32/32.42	c |     83200 |    1100    22000   110000 | 2147483647    80233    135 |  0.000 % |
32.42/32.57	c |     83395 |    1100    22000   110000 | 2147483647    80428    135 |  0.000 % |
32.62/32.73	c |     83609 |    1100    22000   110000 | 2147483647    80642    135 |  0.000 % |
32.72/32.89	c |     83843 |    1100    22000   110000 | 2147483647    80876    135 |  0.000 % |
32.92/33.09	c |     84100 |    1100    22000   110000 | 2147483647    81133    135 |  0.000 % |
33.12/33.28	c |     84382 |    1100    22000   110000 | 2147483647    81415    136 |  0.000 % |
33.32/33.49	c |     84691 |    1100    22000   110000 | 2147483647    81724    136 |  0.000 % |
33.62/33.73	c |     85031 |    1100    22000   110000 | 2147483647    82064    136 |  0.000 % |
33.92/34.04	c |     85403 |    1100    22000   110000 | 2147483647    82436    136 |  0.000 % |
34.22/34.34	c |     85812 |    1100    22000   110000 | 2147483647    82845    136 |  0.000 % |
34.62/34.71	c |     86265 |    1100    22000   110000 | 2147483647    83298    136 |  0.000 % |
34.92/35.06	c |     86758 |    1100    22000   110000 | 2147483647    83791    136 |  0.000 % |
35.32/35.42	c |     87300 |    1100    22000   110000 | 2147483647    84333    136 |  0.000 % |
35.72/35.84	c |     87896 |    1100    22000   110000 | 2147483647    84929    136 |  0.000 % |
36.12/36.30	c |     88552 |    1100    22000   110000 | 2147483647    85585    136 |  0.000 % |
36.71/36.87	c |     89273 |    1100    22000   110000 | 2147483647    86306    136 |  0.000 % |
37.32/37.47	c |     90065 |    1100    22000   110000 | 2147483647    87098    136 |  0.000 % |
38.01/38.11	c |     90937 |    1100    22000   110000 | 2147483647    87970    136 |  0.000 % |
38.71/38.85	c |     91895 |    1100    22000   110000 | 2147483647    88928    136 |  0.000 % |
39.52/39.61	c |     92948 |    1100    22000   110000 | 2147483647    89981    136 |  0.000 % |
39.62/39.70	c |     93049 |    1100    22000   110000 | 2147483647    90082    136 |  0.000 % |
39.72/39.82	c |     93160 |    1100    22000   110000 | 2147483647    90193    136 |  0.000 % |
39.81/39.93	c |     93282 |    1100    22000   110000 | 2147483647    90315    136 |  0.000 % |
39.91/40.04	c |     93417 |    1100    22000   110000 | 2147483647    90450    136 |  0.000 % |
40.01/40.16	c |     93563 |    1100    22000   110000 | 2147483647    90596    136 |  0.000 % |
40.21/40.33	c |     93723 |    1100    22000   110000 | 2147483647    90756    136 |  0.000 % |
40.31/40.47	c |     93899 |    1100    22000   110000 | 2147483647    90932    136 |  0.000 % |
40.52/40.63	c |     94094 |    1100    22000   110000 | 2147483647    91127    136 |  0.000 % |
40.71/40.83	c |     94306 |    1100    22000   110000 | 2147483647    91339    136 |  0.000 % |
40.91/41.01	c |     94539 |    1100    22000   110000 | 2147483647    91572    136 |  0.000 % |
41.11/41.23	c |     94795 |    1100    22000   110000 | 2147483647    91828    136 |  0.000 % |
41.31/41.47	c |     95076 |    1100    22000   110000 | 2147483647    92109    136 |  0.000 % |
41.61/41.72	c |     95387 |    1100    22000   110000 | 2147483647    92420    136 |  0.000 % |
41.91/42.03	c |     95728 |    1100    22000   110000 | 2147483647    92761    136 |  0.000 % |
42.11/42.30	c |     96101 |    1100    22000   110000 | 2147483647    93134    136 |  0.000 % |
42.52/42.61	c |     96510 |    1100    22000   110000 | 2147483647    93543    136 |  0.000 % |
42.92/43.02	c |     96961 |    1100    22000   110000 | 2147483647    93994    136 |  0.000 % |
43.32/43.43	c |     97454 |    1100    22000   110000 | 2147483647    94487    136 |  0.000 % |
43.71/43.85	c |     97996 |    1100    22000   110000 | 2147483647    95029    136 |  0.000 % |
44.21/44.33	c |     98592 |    1100    22000   110000 | 2147483647    95625    136 |  0.000 % |
44.71/44.90	c |     99248 |    1100    22000   110000 | 2147483647    96281    136 |  0.000 % |
45.41/45.53	c |     99969 |    1100    22000   110000 | 2147483647    97002    136 |  0.000 % |
46.01/46.20	c |    100762 |    1100    22000   110000 |    97033    86729    137 |  0.000 % |
46.61/46.79	c |    101633 |    1100    22000   110000 |    97033    87600    137 |  0.000 % |
47.31/47.48	c |    102593 |    1100    22000   110000 |    97033    88560    137 |  0.000 % |
48.21/48.32	c |    103647 |    1100    22000   110000 |    97033    89614    137 |  0.000 % |
49.11/49.24	c |    104806 |    1100    22000   110000 |    97033    90773    137 |  0.000 % |
49.21/49.32	c |    104907 |    1100    22000   110000 |    97033    90874    137 |  0.000 % |
49.31/49.42	c |    105018 |    1100    22000   110000 |    97033    90985    137 |  0.000 % |
49.41/49.52	c |    105140 |    1100    22000   110000 |    97033    91107    137 |  0.000 % |
49.51/49.63	c |    105273 |    1100    22000   110000 |    97033    91240    137 |  0.000 % |
49.61/49.76	c |    105420 |    1100    22000   110000 |    97033    91387    137 |  0.000 % |
49.71/49.90	c |    105582 |    1100    22000   110000 |    97033    91549    137 |  0.000 % |
49.91/50.04	c |    105758 |    1100    22000   110000 |    97033    91725    137 |  0.000 % |
50.11/50.20	c |    105951 |    1100    22000   110000 |    97033    91918    137 |  0.000 % |
50.21/50.37	c |    106164 |    1100    22000   110000 |    97033    92131    137 |  0.000 % |
50.41/50.55	c |    106397 |    1100    22000   110000 |    97033    92364    137 |  0.000 % |
50.61/50.75	c |    106653 |    1100    22000   110000 |    97033    92620    137 |  0.000 % |
50.81/50.98	c |    106934 |    1100    22000   110000 |    97033    92901    137 |  0.000 % |
51.11/51.24	c |    107244 |    1100    22000   110000 |    97033    93211    137 |  0.000 % |
51.41/51.51	c |    107583 |    1100    22000   110000 |    97033    93550    137 |  0.000 % |
51.71/51.84	c |    107955 |    1100    22000   110000 |    97033    93922    137 |  0.000 % |
52.01/52.15	c |    108364 |    1100    22000   110000 |    97033    94331    137 |  0.000 % |
52.41/52.51	c |    108814 |    1100    22000   110000 |    97033    94781    137 |  0.000 % |
52.81/52.91	c |    109307 |    1100    22000   110000 |    97033    95274    137 |  0.000 % |
53.21/53.35	c |    109850 |    1100    22000   110000 |    97033    95817    137 |  0.000 % |
53.71/53.88	c |    110448 |    1100    22000   110000 |    95968    85518    137 |  0.000 % |
54.20/54.31	c |    111103 |    1100    22000   110000 |    95968    86173    137 |  0.000 % |
54.70/54.80	c |    111823 |    1100    22000   110000 |    95968    86893    137 |  0.000 % |
55.20/55.38	c |    112615 |    1100    22000   110000 |    95968    87685    137 |  0.000 % |
55.80/55.97	c |    113487 |    1100    22000   110000 |    95968    88557    137 |  0.000 % |
56.50/56.65	c |    114445 |    1100    22000   110000 |    95968    89515    137 |  0.000 % |
57.20/57.39	c |    115499 |    1100    22000   110000 |    95968    90569    137 |  0.000 % |
58.21/58.32	c |    116657 |    1100    22000   110000 |    95968    91727    137 |  0.000 % |
59.10/59.27	c |    117932 |    1100    22000   110000 |    95968    93002    137 |  0.000 % |
59.21/59.37	c |    118032 |    1100    22000   110000 |    95968    93102    137 |  0.000 % |
59.31/59.50	c |    118142 |    1100    22000   110000 |    95968    93212    137 |  0.000 % |
59.50/59.60	c |    118263 |    1100    22000   110000 |    95968    93333    137 |  0.000 % |
59.60/59.72	c |    118398 |    1100    22000   110000 |    95968    93468    137 |  0.000 % |
59.70/59.84	c |    118545 |    1100    22000   110000 |    95968    93615    137 |  0.000 % |
59.90/60.01	c |    118706 |    1100    22000   110000 |    95968    93776    137 |  0.000 % |
60.00/60.15	c |    118882 |    1100    22000   110000 |    95968    93952    137 |  0.000 % |
60.20/60.30	c |    119075 |    1100    22000   110000 |    95968    94145    137 |  0.000 % |
60.31/60.49	c |    119289 |    1100    22000   110000 |    95968    94359    137 |  0.000 % |
60.50/60.69	c |    119522 |    1100    22000   110000 |    95968    94592    137 |  0.000 % |
60.80/60.92	c |    119780 |    1100    22000   110000 |    95968    94850    137 |  0.000 % |
61.00/61.15	c |    120062 |    1100    22000   110000 |    95070    95132    137 |  0.000 % |
61.30/61.46	c |    120371 |    1100    22000   110000 |    95070    85309    137 |  0.000 % |
61.60/61.72	c |    120710 |    1100    22000   110000 |    95070    85648    137 |  0.000 % |
61.90/62.00	c |    121082 |    1100    22000   110000 |    95070    86020    137 |  0.000 % |
62.10/62.29	c |    121491 |    1100    22000   110000 |    95070    86429    137 |  0.000 % |
62.50/62.61	c |    121940 |    1100    22000   110000 |    95070    86878    137 |  0.000 % |
62.80/62.96	c |    122434 |    1100    22000   110000 |    95070    87372    137 |  0.000 % |
63.20/63.35	c |    122977 |    1100    22000   110000 |    95070    87915    137 |  0.000 % |
63.60/63.79	c |    123573 |    1100    22000   110000 |    95070    88511    137 |  0.000 % |
64.20/64.32	c |    124231 |    1100    22000   110000 |    95070    89169    137 |  0.000 % |
64.70/64.87	c |    124951 |    1100    22000   110000 |    95070    89889    137 |  0.000 % |
65.40/65.51	c |    125745 |    1100    22000   110000 |    95070    90683    137 |  0.000 % |
66.00/66.14	c |    126616 |    1100    22000   110000 |    95070    91554    137 |  0.000 % |
66.70/66.87	c |    127574 |    1100    22000   110000 |    95070    92512    137 |  0.000 % |
67.50/67.68	c |    128627 |    1100    22000   110000 |    95070    93565    137 |  0.000 % |
68.50/68.60	c |    129787 |    1100    22000   110000 |    95070    94725    138 |  0.000 % |
69.50/69.62	c |    131060 |    1100    22000   110000 |    94938    85501    138 |  0.000 % |
70.60/70.72	c |    132460 |    1100    22000   110000 |    94938    86901    138 |  0.000 % |
70.70/70.82	c |    132561 |    1100    22000   110000 |    94938    87002    138 |  0.000 % |
70.80/70.92	c |    132673 |    1100    22000   110000 |    94938    87114    138 |  0.000 % |
70.90/71.02	c |    132795 |    1100    22000   110000 |    94938    87236    138 |  0.000 % |
71.00/71.12	c |    132928 |    1100    22000   110000 |    94938    87369    138 |  0.000 % |
71.10/71.26	c |    133075 |    1100    22000   110000 |    94938    87516    138 |  0.000 % |
71.30/71.41	c |    133235 |    1100    22000   110000 |    94938    87676    138 |  0.000 % |
71.40/71.55	c |    133411 |    1100    22000   110000 |    94938    87852    138 |  0.000 % |
71.49/71.69	c |    133604 |    1100    22000   110000 |    94938    88045    138 |  0.000 % |
71.69/71.87	c |    133818 |    1100    22000   110000 |    94938    88259    138 |  0.000 % |
71.89/72.04	c |    134051 |    1100    22000   110000 |    94938    88492    138 |  0.000 % |
72.09/72.29	c |    134307 |    1100    22000   110000 |    94938    88748    138 |  0.000 % |
72.40/72.53	c |    134588 |    1100    22000   110000 |    94938    89029    138 |  0.000 % |
72.69/72.82	c |    134897 |    1100    22000   110000 |    94938    89338    138 |  0.000 % |
72.89/73.07	c |    135237 |    1100    22000   110000 |    94938    89678    138 |  0.000 % |
73.19/73.35	c |    135609 |    1100    22000   110000 |    94938    90050    138 |  0.000 % |
73.50/73.65	c |    136020 |    1100    22000   110000 |    94938    90461    138 |  0.000 % |
73.79/74.00	c |    136471 |    1100    22000   110000 |    94938    90912    138 |  0.000 % |
74.29/74.41	c |    136965 |    1100    22000   110000 |    94938    91406    138 |  0.000 % |
74.60/74.80	c |    137509 |    1100    22000   110000 |    94938    91950    138 |  0.000 % |
75.19/75.33	c |    138107 |    1100    22000   110000 |    94938    92548    138 |  0.000 % |
75.69/75.89	c |    138762 |    1100    22000   110000 |    94938    93203    138 |  0.000 % |
76.29/76.45	c |    139482 |    1100    22000   110000 |    94938    93923    138 |  0.000 % |
76.89/77.04	c |    140275 |    1100    22000   110000 |    94443    94716    138 |  0.000 % |
77.59/77.72	c |    141146 |    1100    22000   110000 |    94443    84981    138 |  0.000 % |
78.19/78.40	c |    142106 |    1100    22000   110000 |    94443    85941    138 |  0.000 % |
79.09/79.22	c |    143160 |    1100    22000   110000 |    94443    86995    138 |  0.000 % |
79.89/80.04	c |    144319 |    1100    22000   110000 |    94443    88154    138 |  0.000 % |
80.78/80.96	c |    145593 |    1100    22000   110000 |    94443    89428    138 |  0.000 % |
81.88/82.04	c |    146998 |    1100    22000   110000 |    94443    90833    139 |  0.000 % |
83.08/83.21	c |    148538 |    1100    22000   110000 |    94443    92373    139 |  0.000 % |
83.18/83.32	c |    148638 |    1100    22000   110000 |    94443    92473    139 |  0.000 % |
83.28/83.43	c |    148750 |    1100    22000   110000 |    94443    92585    139 |  0.000 % |
83.39/83.53	c |    148873 |    1100    22000   110000 |    94443    92708    139 |  0.000 % |
83.49/83.65	c |    149006 |    1100    22000   110000 |    94443    92841    139 |  0.000 % |
83.68/83.83	c |    149152 |    1100    22000   110000 |    94443    92987    139 |  0.000 % |
83.78/83.96	c |    149313 |    1100    22000   110000 |    94443    93148    139 |  0.000 % |
83.98/84.10	c |    149489 |    1100    22000   110000 |    94443    93324    139 |  0.000 % |
84.08/84.28	c |    149683 |    1100    22000   110000 |    94443    93518    139 |  0.000 % |
84.28/84.44	c |    149895 |    1100    22000   110000 |    94443    93730    139 |  0.000 % |
84.49/84.63	c |    150131 |    1100    22000   110000 |    93835    93966    139 |  0.000 % |
84.68/84.86	c |    150388 |    1100    22000   110000 |    93835    84637    139 |  0.000 % |
84.88/85.06	c |    150669 |    1100    22000   110000 |    93835    84918    139 |  0.000 % |
85.18/85.30	c |    150981 |    1100    22000   110000 |    93835    85230    139 |  0.000 % |
85.38/85.55	c |    151320 |    1100    22000   110000 |    93835    85569    139 |  0.000 % |
85.69/85.84	c |    151693 |    1100    22000   110000 |    93835    85942    139 |  0.000 % |
85.98/86.12	c |    152104 |    1100    22000   110000 |    93835    86353    139 |  0.000 % |
86.28/86.45	c |    152555 |    1100    22000   110000 |    93835    86804    139 |  0.000 % |
86.68/86.85	c |    153049 |    1100    22000   110000 |    93835    87298    139 |  0.000 % |
87.08/87.27	c |    153591 |    1100    22000   110000 |    93835    87840    139 |  0.000 % |
87.58/87.76	c |    154188 |    1100    22000   110000 |    93835    88437    139 |  0.000 % |
88.08/88.23	c |    154843 |    1100    22000   110000 |    93835    89092    139 |  0.000 % |
88.58/88.78	c |    155565 |    1100    22000   110000 |    93835    89814    139 |  0.000 % |
89.28/89.42	c |    156358 |    1100    22000   110000 |    93835    90607    139 |  0.000 % |
89.88/90.10	c |    157230 |    1100    22000   110000 |    93835    91479    139 |  0.000 % |
90.68/90.81	c |    158190 |    1100    22000   110000 |    93835    92439    139 |  0.000 % |
91.38/91.58	c |    159243 |    1100    22000   110000 |    93835    93492    139 |  0.000 % |
92.37/92.51	c |    160402 |    1100    22000   110000 | 2147483647    85230    139 |  0.000 % |
93.28/93.43	c |    161675 |    1100    22000   110000 | 2147483647    86503    139 |  0.000 % |
94.27/94.44	c |    163076 |    1100    22000   110000 | 2147483647    87904    139 |  0.000 % |
95.48/95.61	c |    164616 |    1100    22000   110000 | 2147483647    89444    139 |  0.000 % |
96.68/96.87	c |    166311 |    1100    22000   110000 | 2147483647    91139    140 |  0.000 % |
96.77/96.95	c |    166412 |    1100    22000   110000 | 2147483647    91240    140 |  0.000 % |
96.87/97.04	c |    166524 |    1100    22000   110000 | 2147483647    91352    140 |  0.000 % |
96.98/97.18	c |    166648 |    1100    22000   110000 | 2147483647    91476    140 |  0.000 % |
97.18/97.31	c |    166781 |    1100    22000   110000 | 2147483647    91609    139 |  0.000 % |
97.28/97.43	c |    166927 |    1100    22000   110000 | 2147483647    91755    139 |  0.000 % |
97.38/97.57	c |    167088 |    1100    22000   110000 | 2147483647    91916    139 |  0.000 % |
97.58/97.75	c |    167264 |    1100    22000   110000 | 2147483647    92092    139 |  0.000 % |
97.79/97.92	c |    167458 |    1100    22000   110000 | 2147483647    92286    139 |  0.000 % |
97.98/98.11	c |    167670 |    1100    22000   110000 | 2147483647    92498    139 |  0.000 % |
98.18/98.31	c |    167904 |    1100    22000   110000 | 2147483647    92732    139 |  0.000 % |
98.38/98.52	c |    168160 |    1100    22000   110000 | 2147483647    92988    139 |  0.000 % |
98.58/98.75	c |    168442 |    1100    22000   110000 | 2147483647    93270    139 |  0.000 % |
98.88/99.01	c |    168751 |    1100    22000   110000 | 2147483647    93579    139 |  0.000 % |
99.08/99.28	c |    169092 |    1100    22000   110000 | 2147483647    93920    139 |  0.000 % |
99.48/99.62	c |    169466 |    1100    22000   110000 | 2147483647    94294    139 |  0.000 % |
99.78/99.97	c |    169876 |    1100    22000   110000 | 2147483647    94704    139 |  0.000 % |
100.18/100.34	c |    170325 |    1100    22000   110000 |    94828    95153    139 |  0.000 % |
100.58/100.77	c |    170819 |    1100    22000   110000 |    94828    85763    140 |  0.000 % |
100.98/101.17	c |    171361 |    1100    22000   110000 |    94828    86305    140 |  0.000 % |
101.38/101.56	c |    171957 |    1100    22000   110000 |    94828    86901    140 |  0.000 % |
101.88/102.04	c |    172614 |    1100    22000   110000 |    94828    87558    139 |  0.000 % |
102.38/102.58	c |    173335 |    1100    22000   110000 |    94828    88279    140 |  0.000 % |
103.08/103.22	c |    174127 |    1100    22000   110000 |    94828    89071    140 |  0.000 % |
103.68/103.83	c |    174999 |    1100    22000   110000 |    94828    89943    140 |  0.000 % |
104.38/104.54	c |    175957 |    1100    22000   110000 |    94828    90901    139 |  0.000 % |
105.18/105.34	c |    177010 |    1100    22000   110000 |    94828    91954    139 |  0.000 % |
106.08/106.27	c |    178168 |    1100    22000   110000 |    94828    93112    139 |  0.000 % |
107.08/107.29	c |    179443 |    1100    22000   110000 |    94828    94387    140 |  0.000 % |
108.28/108.40	c |    180847 |    1100    22000   110000 |    94944    86082    140 |  0.000 % |
109.28/109.47	c |    182389 |    1100    22000   110000 |    94944    87624    140 |  0.000 % |
110.48/110.66	c |    184085 |    1100    22000   110000 |    94944    89320    140 |  0.000 % |
111.88/112.02	c |    185949 |    1100    22000   110000 |    94944    91184    140 |  0.000 % |
111.98/112.11	c |    186049 |    1100    22000   110000 |    94944    91284    140 |  0.000 % |
112.08/112.22	c |    186159 |    1100    22000   110000 |    94944    91394    140 |  0.000 % |
112.17/112.32	c |    186280 |    1100    22000   110000 |    94944    91515    140 |  0.000 % |
112.27/112.44	c |    186413 |    1100    22000   110000 |    94944    91648    140 |  0.000 % |
112.37/112.57	c |    186559 |    1100    22000   110000 |    94944    91794    140 |  0.000 % |
112.57/112.72	c |    186719 |    1100    22000   110000 |    94944    91954    140 |  0.000 % |
112.67/112.88	c |    186895 |    1100    22000   110000 |    94944    92130    140 |  0.000 % |
112.87/113.04	c |    187091 |    1100    22000   110000 |    94944    92326    140 |  0.000 % |
113.08/113.26	c |    187303 |    1100    22000   110000 |    94944    92538    140 |  0.000 % |
113.27/113.46	c |    187539 |    1100    22000   110000 |    94944    92774    140 |  0.000 % |
113.47/113.69	c |    187796 |    1100    22000   110000 |    94944    93031    140 |  0.000 % |
113.77/113.92	c |    188077 |    1100    22000   110000 |    94944    93312    140 |  0.000 % |
114.07/114.21	c |    188388 |    1100    22000   110000 |    94944    93623    140 |  0.000 % |
114.28/114.48	c |    188730 |    1100    22000   110000 |    94944    93965    140 |  0.000 % |
114.57/114.78	c |    189102 |    1100    22000   110000 |    94944    94337    140 |  0.000 % |
114.87/115.08	c |    189512 |    1100    22000   110000 |    94944    94747    140 |  0.000 % |
115.28/115.48	c |    189963 |    1100    22000   110000 |    94944    95198    140 |  0.000 % |
115.77/115.97	c |    190458 |    1100    22000   110000 |    84832    76267    140 |  0.000 % |
116.17/116.35	c |    191001 |    1100    22000   110000 |    84832    76810    140 |  0.000 % |
116.67/116.80	c |    191598 |    1100    22000   110000 |    84832    77407    140 |  0.000 % |
117.07/117.26	c |    192256 |    1100    22000   110000 |    84832    78065    140 |  0.000 % |
117.58/117.72	c |    192977 |    1100    22000   110000 |    84832    78786    140 |  0.000 % |
118.17/118.30	c |    193774 |    1100    22000   110000 |    84832    79583    140 |  0.000 % |
118.67/118.89	c |    194647 |    1100    22000   110000 |    84832    80456    140 |  0.000 % |
119.37/119.50	c |    195608 |    1100    22000   110000 |    84832    81417    140 |  0.000 % |
120.07/120.24	c |    196661 |    1100    22000   110000 |    84832    82470    140 |  0.000 % |
120.87/121.06	c |    197819 |    1100    22000   110000 |    84832    83628    140 |  0.000 % |
121.77/121.93	c |    199092 |    1100    22000   110000 |    84832    84901    140 |  0.000 % |
122.77/122.99	c |    200492 |    1100    22000   110000 | 2147483647    77811    140 |  0.000 % |
123.87/124.04	c |    202032 |    1100    22000   110000 | 2147483647    79351    140 |  0.000 % |
125.07/125.27	c |    203728 |    1100    22000   110000 | 2147483647    81047    141 |  0.000 % |
126.46/126.61	c |    205591 |    1100    22000   110000 | 2147483647    82910    141 |  0.000 % |
128.05/128.21	c |    207641 |    1100    22000   110000 | 2147483647    84960    141 |  0.000 % |
128.05/128.29	c |    207742 |    1100    22000   110000 | 2147483647    85061    141 |  0.000 % |
128.15/128.38	c |    207853 |    1100    22000   110000 | 2147483647    85172    141 |  0.000 % |
128.25/128.49	c |    207974 |    1100    22000   110000 | 2147483647    85293    141 |  0.000 % |
128.35/128.60	c |    208107 |    1100    22000   110000 | 2147483647    85426    141 |  0.000 % |
128.56/128.71	c |    208253 |    1100    22000   110000 | 2147483647    85572    141 |  0.000 % |
128.65/128.83	c |    208413 |    1100    22000   110000 | 2147483647    85732    141 |  0.000 % |
128.75/128.96	c |    208590 |    1100    22000   110000 | 2147483647    85909    141 |  0.000 % |
128.95/129.14	c |    208785 |    1100    22000   110000 | 2147483647    86104    141 |  0.000 % |
129.15/129.34	c |    208998 |    1100    22000   110000 | 2147483647    86317    141 |  0.000 % |
129.35/129.56	c |    209231 |    1100    22000   110000 | 2147483647    86550    141 |  0.000 % |
129.56/129.78	c |    209488 |    1100    22000   110000 | 2147483647    86807    141 |  0.000 % |
129.85/130.00	c |    209769 |    1100    22000   110000 | 2147483647    87088    141 |  0.000 % |
130.05/130.25	c |    210079 |    1100    22000   110000 | 2147483647    87398    141 |  0.000 % |
130.35/130.54	c |    210420 |    1100    22000   110000 | 2147483647    87739    141 |  0.000 % |
130.66/130.82	c |    210793 |    1100    22000   110000 | 2147483647    88112    141 |  0.000 % |
130.95/131.12	c |    211203 |    1100    22000   110000 | 2147483647    88522    141 |  0.000 % |
131.25/131.49	c |    211654 |    1100    22000   110000 | 2147483647    88973    141 |  0.000 % |
131.65/131.86	c |    212148 |    1100    22000   110000 | 2147483647    89467    141 |  0.000 % |
132.05/132.23	c |    212691 |    1100    22000   110000 | 2147483647    90010    141 |  0.000 % |
132.45/132.68	c |    213288 |    1100    22000   110000 | 2147483647    90607    141 |  0.000 % |
132.95/133.15	c |    213945 |    1100    22000   110000 | 2147483647    91264    141 |  0.000 % |
133.45/133.66	c |    214665 |    1100    22000   110000 | 2147483647    91984    141 |  0.000 % |
134.05/134.24	c |    215457 |    1100    22000   110000 | 2147483647    92776    141 |  0.000 % |
134.65/134.88	c |    216328 |    1100    22000   110000 | 2147483647    93647    141 |  0.000 % |
135.35/135.57	c |    217287 |    1100    22000   110000 | 2147483647    94606    141 |  0.000 % |
136.15/136.38	c |    218341 |    1100    22000   110000 | 2147483647    95660    141 |  0.000 % |
137.05/137.27	c |    219501 |    1100    22000   110000 | 2147483647    96820    141 |  0.000 % |
138.14/138.37	c |    220775 |    1100    22000   110000 |    97319    87677    141 |  0.000 % |
139.14/139.36	c |    222175 |    1100    22000   110000 |    97319    89077    141 |  0.000 % |
140.24/140.46	c |    223715 |    1100    22000   110000 |    97319    90617    141 |  0.000 % |
141.44/141.69	c |    225409 |    1100    22000   110000 |    97319    92311    141 |  0.000 % |
142.85/143.05	c |    227273 |    1100    22000   110000 |    97319    94175    141 |  0.000 % |
144.34/144.54	c |    229322 |    1100    22000   110000 |    97319    96224    141 |  0.000 % |
146.14/146.32	c |    231577 |    1100    22000   110000 |    96902    88544    141 |  0.000 % |
146.24/146.43	c |    231679 |    1100    22000   110000 |    96902    88646    141 |  0.000 % |
146.34/146.53	c |    231790 |    1100    22000   110000 |    96902    88757    141 |  0.000 % |
146.44/146.64	c |    231911 |    1100    22000   110000 |    96902    88878    141 |  0.000 % |
146.54/146.75	c |    232045 |    1100    22000   110000 |    96902    89012    141 |  0.000 % |
146.64/146.89	c |    232192 |    1100    22000   110000 |    96902    89159    141 |  0.000 % |
146.84/147.03	c |    232354 |    1100    22000   110000 |    96902    89321    141 |  0.000 % |
146.94/147.17	c |    232531 |    1100    22000   110000 |    96902    89498    141 |  0.000 % |
147.14/147.36	c |    232727 |    1100    22000   110000 |    96902    89694    141 |  0.000 % |
147.34/147.52	c |    232939 |    1100    22000   110000 |    96902    89906    141 |  0.000 % |
147.54/147.72	c |    233173 |    1100    22000   110000 |    96902    90140    141 |  0.000 % |
147.74/147.93	c |    233430 |    1100    22000   110000 |    96902    90397    141 |  0.000 % |
147.94/148.14	c |    233714 |    1100    22000   110000 |    96902    90681    141 |  0.000 % |
148.14/148.38	c |    234023 |    1100    22000   110000 |    96902    90990    141 |  0.000 % |
148.44/148.68	c |    234366 |    1100    22000   110000 |    96902    91333    141 |  0.000 % |
148.84/149.00	c |    234739 |    1100    22000   110000 |    96902    91706    141 |  0.000 % |
149.14/149.34	c |    235150 |    1100    22000   110000 |    96902    92117    141 |  0.000 % |
149.44/149.68	c |    235600 |    1100    22000   110000 |    96902    92567    141 |  0.000 % |
149.84/150.06	c |    236095 |    1100    22000   110000 |    96902    93062    141 |  0.000 % |
150.34/150.53	c |    236637 |    1100    22000   110000 |    96902    93604    141 |  0.000 % |
150.84/151.03	c |    237233 |    1100    22000   110000 |    96902    94200    141 |  0.000 % |
151.34/151.56	c |    237888 |    1100    22000   110000 |    96902    94855    141 |  0.000 % |
151.93/152.11	c |    238610 |    1100    22000   110000 |    96902    95577    141 |  0.000 % |
152.53/152.71	c |    239403 |    1100    22000   110000 |    96902    96370    141 |  0.000 % |
153.23/153.40	c |    240274 |    1100    22000   110000 |    96967    97241    141 |  0.000 % |
153.93/154.16	c |    241232 |    1100    22000   110000 |    96967    87299    141 |  0.000 % |
154.63/154.88	c |    242288 |    1100    22000   110000 |    96967    88355    140 |  0.000 % |
155.43/155.68	c |    243446 |    1100    22000   110000 |    96967    89513    140 |  0.000 % |
156.43/156.60	c |    244720 |    1100    22000   110000 |    96967    90787    140 |  0.000 % |
157.33/157.55	c |    246120 |    1100    22000   110000 |    96967    92187    141 |  0.000 % |
158.43/158.67	c |    247660 |    1100    22000   110000 |    96967    93727    141 |  0.000 % |
159.73/159.98	c |    249354 |    1100    22000   110000 |    96967    95421    141 |  0.000 % |
161.13/161.38	c |    251217 |    1100    22000   110000 | 2147483647    97284    141 |  0.000 % |
162.74/162.92	c |    253266 |    1100    22000   110000 | 2147483647    99333    141 |  0.000 % |
164.53/164.75	c |    255519 |    1100    22000   110000 | 2147483647   101586    141 |  0.000 % |
166.64/166.80	c |    257998 |    1100    22000   110000 | 2147483647   104065    141 |  0.000 % |
166.74/166.90	c |    258098 |    1100    22000   110000 | 2147483647   104165    141 |  0.000 % |
166.84/167.03	c |    258208 |    1100    22000   110000 | 2147483647   104275    141 |  0.000 % |
166.94/167.15	c |    258329 |    1100    22000   110000 | 2147483647   104396    141 |  0.000 % |
167.04/167.28	c |    258462 |    1100    22000   110000 | 2147483647   104529    141 |  0.000 % |
167.24/167.45	c |    258608 |    1100    22000   110000 | 2147483647   104675    141 |  0.000 % |
167.44/167.62	c |    258768 |    1100    22000   110000 | 2147483647   104835    141 |  0.000 % |
167.54/167.78	c |    258945 |    1100    22000   110000 | 2147483647   105012    141 |  0.000 % |
167.74/167.98	c |    259138 |    1100    22000   110000 | 2147483647   105205    141 |  0.000 % |
167.94/168.18	c |    259350 |    1100    22000   110000 | 2147483647   105417    141 |  0.000 % |
168.23/168.40	c |    259583 |    1100    22000   110000 | 2147483647   105650    141 |  0.000 % |
168.43/168.69	c |    259840 |    1100    22000   110000 | 2147483647   105907    141 |  0.000 % |
168.73/168.96	c |    260122 |    1100    22000   110000 |   106069   106189    141 |  0.000 % |
169.03/169.29	c |    260432 |    1100    22000   110000 |   106069    91531    141 |  0.000 % |
169.33/169.55	c |    260773 |    1100    22000   110000 |   106069    91872    141 |  0.000 % |
169.63/169.86	c |    261147 |    1100    22000   110000 |   106069    92246    141 |  0.000 % |
170.03/170.20	c |    261556 |    1100    22000   110000 |   106069    92655    141 |  0.000 % |
170.33/170.59	c |    262006 |    1100    22000   110000 |   106069    93105    141 |  0.000 % |
170.82/171.02	c |    262500 |    1100    22000   110000 |   106069    93599    141 |  0.000 % |
171.22/171.47	c |    263043 |    1100    22000   110000 |   106069    94142    141 |  0.000 % |
171.82/172.00	c |    263641 |    1100    22000   110000 |   106069    94740    141 |  0.000 % |
172.32/172.54	c |    264296 |    1100    22000   110000 |   106069    95395    141 |  0.000 % |
172.92/173.13	c |    265017 |    1100    22000   110000 |   106069    96116    140 |  0.000 % |
173.53/173.74	c |    265809 |    1100    22000   110000 |   106069    96908    140 |  0.000 % |
174.22/174.45	c |    266680 |    1100    22000   110000 |   106069    97779    140 |  0.000 % |
175.02/175.25	c |    267640 |    1100    22000   110000 |   106069    98739    140 |  0.000 % |
175.83/176.05	c |    268693 |    1100    22000   110000 |   106069    99792    140 |  0.000 % |
176.62/176.90	c |    269851 |    1100    22000   110000 |   106069   100950    140 |  0.000 % |
177.72/177.98	c |    271124 |    1100    22000   110000 |   101099    88732    140 |  0.000 % |
178.82/179.06	c |    272524 |    1100    22000   110000 |   101099    90132    140 |  0.000 % |
179.92/180.19	c |    274064 |    1100    22000   110000 |   101099    91672    140 |  0.000 % |
181.22/181.49	c |    275758 |    1100    22000   110000 |   101099    93366    140 |  0.000 % |
182.72/182.95	c |    277622 |    1100    22000   110000 |   101099    95230    140 |  0.000 % |
184.22/184.47	c |    279671 |    1100    22000   110000 |   101099    97279    141 |  0.000 % |
185.92/186.17	c |    281924 |    1100    22000   110000 |    97608    88268    142 |  0.000 % |
187.82/188.04	c |    284402 |    1100    22000   110000 |    97608    90746    142 |  0.000 % |
189.92/190.10	c |    287127 |    1100    22000   110000 |    97608    93471    142 |  0.000 % |
189.92/190.19	c |    287230 |    1100    22000   110000 |    97608    93574    142 |  0.000 % |
190.02/190.28	c |    287344 |    1100    22000   110000 |    97608    93688    142 |  0.000 % |
190.12/190.38	c |    287466 |    1100    22000   110000 |    97608    93810    142 |  0.000 % |
190.22/190.49	c |    287599 |    1100    22000   110000 |    97608    93943    142 |  0.000 % |
190.42/190.64	c |    287746 |    1100    22000   110000 |    97608    94090    142 |  0.000 % |
190.52/190.77	c |    287908 |    1100    22000   110000 |    97608    94252    142 |  0.000 % |
190.72/190.93	c |    288085 |    1100    22000   110000 |    97608    94429    142 |  0.000 % |
190.92/191.12	c |    288278 |    1100    22000   110000 |    97608    94622    142 |  0.000 % |
191.12/191.30	c |    288491 |    1100    22000   110000 |    97608    94835    142 |  0.000 % |
191.32/191.50	c |    288725 |    1100    22000   110000 |    97608    95069    142 |  0.000 % |
191.52/191.72	c |    288982 |    1100    22000   110000 |    97608    95326    142 |  0.000 % |
191.72/191.96	c |    289263 |    1100    22000   110000 |    97608    95607    142 |  0.000 % |
192.02/192.23	c |    289572 |    1100    22000   110000 |    97608    95916    142 |  0.000 % |
192.32/192.54	c |    289911 |    1100    22000   110000 |    97608    96255    142 |  0.000 % |
192.62/192.85	c |    290283 |    1100    22000   110000 |    96344    96627    142 |  0.000 % |
193.02/193.21	c |    290693 |    1100    22000   110000 |    96344    86106    142 |  0.000 % |
193.32/193.56	c |    291142 |    1100    22000   110000 |    96344    86555    142 |  0.000 % |
193.72/193.92	c |    291636 |    1100    22000   110000 |    96344    87049    142 |  0.000 % |
194.12/194.32	c |    292178 |    1100    22000   110000 |    96344    87591    142 |  0.000 % |
194.52/194.78	c |    292775 |    1100    22000   110000 |    96344    88188    142 |  0.000 % |
195.01/195.27	c |    293431 |    1100    22000   110000 |    96344    88844    142 |  0.000 % |
195.62/195.82	c |    294151 |    1100    22000   110000 |    96344    89564    142 |  0.000 % |
196.21/196.41	c |    294945 |    1100    22000   110000 |    96344    90358    142 |  0.000 % |
196.81/197.05	c |    295820 |    1100    22000   110000 |    96344    91233    142 |  0.000 % |
197.51/197.77	c |    296778 |    1100    22000   110000 |    96344    92191    142 |  0.000 % |
198.31/198.57	c |    297833 |    1100    22000   110000 |    96344    93246    142 |  0.000 % |
199.21/199.46	c |    298991 |    1100    22000   110000 |    96344    94404    142 |  0.000 % |
200.21/200.42	c |    300266 |    1100    22000   110000 |    95414    95679    142 |  0.000 % |
201.12/201.39	c |    301666 |    1100    22000   110000 |    95414    87213    142 |  0.000 % |
202.31/202.51	c |    303207 |    1100    22000   110000 |    95414    88754    142 |  0.000 % |
203.61/203.87	c |    304902 |    1100    22000   110000 |    95414    90449    142 |  0.000 % |
205.01/205.28	c |    306767 |    1100    22000   110000 |    95414    92314    142 |  0.000 % |
206.62/206.83	c |    308817 |    1100    22000   110000 |    95414    94364    142 |  0.000 % |
208.31/208.55	c |    311072 |    1100    22000   110000 | 2147483647    96619    142 |  0.000 % |
210.21/210.49	c |    313550 |    1100    22000   110000 | 2147483647    99097    142 |  0.000 % |
212.41/212.68	c |    316276 |    1100    22000   110000 | 2147483647   101823    142 |  0.000 % |
214.91/215.18	c |    319274 |    1100    22000   110000 | 2147483647   104821    143 |  0.000 % |
215.01/215.26	c |    319377 |    1100    22000   110000 | 2147483647   104924    143 |  0.000 % |
215.11/215.37	c |    319487 |    1100    22000   110000 | 2147483647   105034    143 |  0.000 % |
215.21/215.49	c |    319608 |    1100    22000   110000 | 2147483647   105155    143 |  0.000 % |
215.42/215.63	c |    319743 |    1100    22000   110000 | 2147483647   105290    143 |  0.000 % |
215.51/215.78	c |    319890 |    1100    22000   110000 | 2147483647   105437    143 |  0.000 % |
215.71/215.97	c |    320051 |    1100    22000   110000 |   105548   105598    143 |  0.000 % |
216.11/216.30	c |    320227 |    1100    22000   110000 |   105548    91290    142 |  0.000 % |
216.21/216.46	c |    320420 |    1100    22000   110000 |   105548    91483    142 |  0.000 % |
216.41/216.66	c |    320632 |    1100    22000   110000 |   105548    91695    142 |  0.000 % |
216.61/216.84	c |    320868 |    1100    22000   110000 |   105548    91931    142 |  0.000 % |
216.81/217.04	c |    321124 |    1100    22000   110000 |   105548    92187    142 |  0.000 % |
217.01/217.26	c |    321405 |    1100    22000   110000 |   105548    92468    142 |  0.000 % |
217.31/217.50	c |    321714 |    1100    22000   110000 |   105548    92777    142 |  0.000 % |
217.51/217.78	c |    322053 |    1100    22000   110000 |   105548    93116    142 |  0.000 % |
217.91/218.11	c |    322425 |    1100    22000   110000 |   105548    93488    142 |  0.000 % |
218.21/218.43	c |    322834 |    1100    22000   110000 |   105548    93897    142 |  0.000 % |
218.51/218.80	c |    323283 |    1100    22000   110000 |   105548    94346    142 |  0.000 % |
219.01/219.21	c |    323776 |    1100    22000   110000 |   105548    94839    142 |  0.000 % |
219.41/219.63	c |    324318 |    1100    22000   110000 |   105548    95381    142 |  0.000 % |
219.81/220.08	c |    324914 |    1100    22000   110000 |   105548    95977    142 |  0.000 % |
220.31/220.58	c |    325569 |    1100    22000   110000 |   105548    96632    142 |  0.000 % |
221.00/221.20	c |    326289 |    1100    22000   110000 |   105548    97352    142 |  0.000 % |
221.60/221.82	c |    327081 |    1100    22000   110000 |   105548    98144    141 |  0.000 % |
222.30/222.56	c |    327954 |    1100    22000   110000 |   105548    99017    142 |  0.000 % |
223.11/223.37	c |    328913 |    1100    22000   110000 |   105548    99976    142 |  0.000 % |
224.00/224.23	c |    329971 |    1100    22000   110000 |   105548   101034    142 |  0.000 % |
224.90/225.16	c |    331130 |    1100    22000   110000 |   101063    88822    142 |  0.000 % |
225.90/226.13	c |    332403 |    1100    22000   110000 |   101063    90095    142 |  0.000 % |
226.90/227.17	c |    333805 |    1100    22000   110000 |   101063    91497    142 |  0.000 % |
228.10/228.34	c |    335345 |    1100    22000   110000 |   101063    93037    142 |  0.000 % |
229.40/229.61	c |    337039 |    1100    22000   110000 |   101063    94731    142 |  0.000 % |
230.90/231.12	c |    338904 |    1100    22000   110000 |   101063    96596    142 |  0.000 % |
232.50/232.77	c |    340953 |    1100    22000   110000 |    97692    86808    142 |  0.000 % |
234.20/234.47	c |    343207 |    1100    22000   110000 |    97692    89062    142 |  0.000 % |
236.10/236.35	c |    345687 |    1100    22000   110000 |    97692    91542    143 |  0.000 % |
238.19/238.40	c |    348414 |    1100    22000   110000 |    97692    94269    143 |  0.000 % |
240.49/240.71	c |    351411 |    1100    22000   110000 |    95855    87227    143 |  0.000 % |
242.99/243.23	c |    354707 |    1100    22000   110000 |    95855    90523    144 |  0.000 % |
243.09/243.31	c |    354808 |    1100    22000   110000 |    95855    90624    144 |  0.000 % |
243.09/243.38	c |    354918 |    1100    22000   110000 |    95855    90734    144 |  0.000 % |
243.19/243.48	c |    355040 |    1100    22000   110000 |    95855    90856    144 |  0.000 % |
243.39/243.62	c |    355175 |    1100    22000   110000 |    95855    90991    144 |  0.000 % |
243.49/243.74	c |    355321 |    1100    22000   110000 |    95855    91137    144 |  0.000 % |
243.59/243.87	c |    355482 |    1100    22000   110000 |    95855    91298    144 |  0.000 % |
243.79/244.01	c |    355659 |    1100    22000   110000 |    95855    91475    144 |  0.000 % |
243.90/244.16	c |    355854 |    1100    22000   110000 |    95855    91670    144 |  0.000 % |
244.09/244.34	c |    356066 |    1100    22000   110000 |    95855    91882    144 |  0.000 % |
244.29/244.57	c |    356299 |    1100    22000   110000 |    95855    92115    144 |  0.000 % |
244.49/244.77	c |    356556 |    1100    22000   110000 |    95855    92372    144 |  0.000 % |
244.79/245.03	c |    356838 |    1100    22000   110000 |    95855    92654    143 |  0.000 % |
245.00/245.30	c |    357147 |    1100    22000   110000 |    95855    92963    143 |  0.000 % |
245.29/245.58	c |    357486 |    1100    22000   110000 |    95855    93302    143 |  0.000 % |
245.59/245.87	c |    357859 |    1100    22000   110000 |    95855    93675    143 |  0.000 % |
245.99/246.21	c |    358268 |    1100    22000   110000 |    95855    94084    143 |  0.000 % |
246.29/246.57	c |    358717 |    1100    22000   110000 |    95855    94533    143 |  0.000 % |
246.69/246.98	c |    359210 |    1100    22000   110000 |    95855    95026    143 |  0.000 % |
247.20/247.42	c |    359753 |    1100    22000   110000 |    95855    95569    143 |  0.000 % |
247.69/247.92	c |    360349 |    1100    22000   110000 |    95816    96165    143 |  0.000 % |
248.19/248.43	c |    361004 |    1100    22000   110000 |    95816    86459    143 |  0.000 % |
248.69/248.96	c |    361726 |    1100    22000   110000 |    95816    87181    143 |  0.000 % |
249.29/249.53	c |    362518 |    1100    22000   110000 |    95816    87973    143 |  0.000 % |
249.89/250.14	c |    363390 |    1100    22000   110000 |    95816    88845    143 |  0.000 % |
250.59/250.83	c |    364348 |    1100    22000   110000 |    95816    89803    143 |  0.000 % |
251.29/251.57	c |    365401 |    1100    22000   110000 |    95816    90856    144 |  0.000 % |
252.19/252.46	c |    366559 |    1100    22000   110000 |    95816    92014    144 |  0.000 % |
253.19/253.43	c |    367835 |    1100    22000   110000 |    95816    93290    144 |  0.000 % |
254.19/254.48	c |    369235 |    1100    22000   110000 |    95816    94690    144 |  0.000 % |
255.39/255.69	c |    370777 |    1100    22000   110000 | 2147483647    96232    143 |  0.000 % |
256.69/256.95	c |    372474 |    1100    22000   110000 | 2147483647    97929    143 |  0.000 % |
258.19/258.43	c |    374338 |    1100    22000   110000 | 2147483647    99793    144 |  0.000 % |
259.78/260.09	c |    376388 |    1100    22000   110000 | 2147483647   101843    144 |  0.000 % |
261.59/261.88	c |    378642 |    1100    22000   110000 | 2147483647   104097    144 |  0.000 % |
263.88/264.12	c |    381120 |    1100    22000   110000 |   105456    93385    143 |  0.000 % |
265.88/266.19	c |    383846 |    1100    22000   110000 |   105456    96111    143 |  0.000 % |
268.28/268.57	c |    386843 |    1100    22000   110000 |   105456    99108    143 |  0.000 % |
270.88/271.11	c |    390140 |    1100    22000   110000 |   102266   102405    143 |  0.000 % |
273.78/274.02	c |    393768 |    1100    22000   110000 |   102266    94160    144 |  0.000 % |
273.88/274.11	c |    393869 |    1100    22000   110000 |   102266    94261    144 |  0.000 % |
273.98/274.20	c |    393979 |    1100    22000   110000 |   102266    94371    144 |  0.000 % |
274.08/274.31	c |    394101 |    1100    22000   110000 |   102266    94493    144 |  0.000 % |
274.18/274.44	c |    394234 |    1100    22000   110000 |   102266    94626    144 |  0.000 % |
274.28/274.57	c |    394381 |    1100    22000   110000 |   102266    94773    144 |  0.000 % |
274.48/274.71	c |    394541 |    1100    22000   110000 |   102266    94933    144 |  0.000 % |
274.58/274.88	c |    394717 |    1100    22000   110000 |   102266    95109    144 |  0.000 % |
274.78/275.08	c |    394910 |    1100    22000   110000 |   102266    95302    144 |  0.000 % |
274.98/275.27	c |    395123 |    1100    22000   110000 |   102266    95515    144 |  0.000 % |
275.18/275.47	c |    395356 |    1100    22000   110000 |   102266    95748    144 |  0.000 % |
275.38/275.69	c |    395612 |    1100    22000   110000 |   102266    96004    144 |  0.000 % |
275.68/275.94	c |    395894 |    1100    22000   110000 |   102266    96286    144 |  0.000 % |
275.98/276.21	c |    396204 |    1100    22000   110000 |   102266    96596    144 |  0.000 % |
276.18/276.49	c |    396544 |    1100    22000   110000 |   102266    96936    144 |  0.000 % |
276.58/276.83	c |    396916 |    1100    22000   110000 |   102266    97308    144 |  0.000 % |
276.88/277.17	c |    397326 |    1100    22000   110000 |   102266    97718    144 |  0.000 % |
277.28/277.55	c |    397775 |    1100    22000   110000 |   102266    98167    144 |  0.000 % |
277.68/277.93	c |    398268 |    1100    22000   110000 |   102266    98660    144 |  0.000 % |
278.18/278.41	c |    398811 |    1100    22000   110000 |   102266    99203    144 |  0.000 % |
278.58/278.89	c |    399408 |    1100    22000   110000 |   102266    99800    144 |  0.000 % |
279.18/279.47	c |    400066 |    1100    22000   110000 |   100393   100458    144 |  0.000 % |
279.88/280.11	c |    400786 |    1100    22000   110000 |   100393    88734    144 |  0.000 % |
280.47/280.71	c |    401578 |    1100    22000   110000 |   100393    89526    144 |  0.000 % |
281.07/281.39	c |    402449 |    1100    22000   110000 |   100393    90397    144 |  0.000 % |
281.87/282.13	c |    403409 |    1100    22000   110000 |   100393    91357    144 |  0.000 % |
282.67/282.92	c |    404462 |    1100    22000   110000 |   100393    92410    144 |  0.000 % |
283.57/283.81	c |    405620 |    1100    22000   110000 |   100393    93568    144 |  0.000 % |
284.47/284.77	c |    406893 |    1100    22000   110000 |   100393    94841    144 |  0.000 % |
285.57/285.84	c |    408295 |    1100    22000   110000 |   100393    96243    144 |  0.000 % |
286.77/287.04	c |    409835 |    1100    22000   110000 |   100393    97783    144 |  0.000 % |
288.17/288.46	c |    411529 |    1100    22000   110000 |    97948    88327    144 |  0.000 % |
289.57/289.90	c |    413392 |    1100    22000   110000 |    97948    90190    144 |  0.000 % |
291.27/291.56	c |    415443 |    1100    22000   110000 |    97948    92241    144 |  0.000 % |
293.07/293.35	c |    417696 |    1100    22000   110000 |    97948    94494    144 |  0.000 % |
294.98/295.22	c |    420175 |    1100    22000   110000 |    96798    96973    144 |  0.000 % |
297.08/297.30	c |    422900 |    1100    22000   110000 |    96798    89350    145 |  0.000 % |
299.27/299.58	c |    425897 |    1100    22000   110000 |    96798    92347    145 |  0.000 % |
301.87/302.13	c |    429194 |    1100    22000   110000 |    96798    95644    146 |  0.000 % |
304.67/304.93	c |    432820 |    1100    22000   110000 | 2147483647    99270    146 |  0.000 % |
307.97/308.20	c |    436810 |    1100    22000   110000 | 2147483647   103260    146 |  0.000 % |
308.07/308.30	c |    436910 |    1100    22000   110000 | 2147483647   103360    146 |  0.000 % |
308.17/308.40	c |    437022 |    1100    22000   110000 | 2147483647   103472    146 |  0.000 % |
308.27/308.54	c |    437143 |    1100    22000   110000 | 2147483647   103593    146 |  0.000 % |
308.37/308.68	c |    437277 |    1100    22000   110000 | 2147483647   103727    146 |  0.000 % |
308.56/308.85	c |    437423 |    1100    22000   110000 | 2147483647   103873    146 |  0.000 % |
308.77/309.01	c |    437583 |    1100    22000   110000 | 2147483647   104033    146 |  0.000 % |
308.96/309.21	c |    437760 |    1100    22000   110000 | 2147483647   104210    146 |  0.000 % |
309.16/309.40	c |    437955 |    1100    22000   110000 | 2147483647   104405    146 |  0.000 % |
309.26/309.58	c |    438168 |    1100    22000   110000 | 2147483647   104618    146 |  0.000 % |
309.46/309.79	c |    438402 |    1100    22000   110000 | 2147483647   104852    146 |  0.000 % |
309.76/310.03	c |    438658 |    1100    22000   110000 | 2147483647   105108    146 |  0.000 % |
309.96/310.29	c |    438941 |    1100    22000   110000 | 2147483647   105391    146 |  0.000 % |
310.26/310.56	c |    439250 |    1100    22000   110000 | 2147483647   105700    146 |  0.000 % |
310.56/310.86	c |    439590 |    1100    22000   110000 | 2147483647   106040    146 |  0.000 % |
310.96/311.24	c |    439966 |    1100    22000   110000 | 2147483647   106416    146 |  0.000 % |
311.36/311.68	c |    440375 |    1100    22000   110000 |   106450    92677    145 |  0.000 % |
311.76/312.06	c |    440825 |    1100    22000   110000 |   106450    93127    145 |  0.000 % |
312.16/312.43	c |    441320 |    1100    22000   110000 |   106450    93622    145 |  0.000 % |
312.56/312.88	c |    441862 |    1100    22000   110000 |   106450    94164    145 |  0.000 % |
313.05/313.35	c |    442458 |    1100    22000   110000 |   106450    94760    145 |  0.000 % |
313.56/313.86	c |    443113 |    1100    22000   110000 |   106450    95415    145 |  0.000 % |
314.16/314.41	c |    443835 |    1100    22000   110000 |   106450    96137    145 |  0.000 % |
314.75/315.06	c |    444628 |    1100    22000   110000 |   106450    96930    145 |  0.000 % |
315.46/315.76	c |    445500 |    1100    22000   110000 |   106450    97802    145 |  0.000 % |
316.25/316.59	c |    446459 |    1100    22000   110000 |   106450    98761    145 |  0.000 % |
317.15/317.43	c |    447512 |    1100    22000   110000 |   106450    99814    145 |  0.000 % |
318.05/318.37	c |    448670 |    1100    22000   110000 |   106450   100972    145 |  0.000 % |
319.15/319.40	c |    449944 |    1100    22000   110000 |   106450   102246    145 |  0.000 % |
320.25/320.56	c |    451346 |    1100    22000   110000 |   102303    89560    145 |  0.000 % |
321.35/321.68	c |    452886 |    1100    22000   110000 |   102303    91100    145 |  0.000 % |
322.65/322.95	c |    454580 |    1100    22000   110000 |   102303    92794    145 |  0.000 % |
324.05/324.31	c |    456445 |    1100    22000   110000 |   102303    94659    145 |  0.000 % |
325.65/325.91	c |    458495 |    1100    22000   110000 |   102303    96709    145 |  0.000 % |
327.55/327.81	c |    460749 |    1100    22000   110000 |    98215    88101    145 |  0.000 % |
329.45/329.73	c |    463229 |    1100    22000   110000 |    98215    90581    146 |  0.000 % |
331.45/331.75	c |    465954 |    1100    22000   110000 |    98215    93306    146 |  0.000 % |
333.65/333.98	c |    468956 |    1100    22000   110000 |    98215    96308    146 |  0.000 % |
336.25/336.51	c |    472253 |    1100    22000   110000 |    97354    89447    146 |  0.000 % |
339.04/339.33	c |    475881 |    1100    22000   110000 |    97354    93075    147 |  0.000 % |
342.14/342.43	c |    479870 |    1100    22000   110000 |    97354    97064    147 |  0.000 % |
345.84/346.13	c |    484259 |    1100    22000   110000 | 2147483647   101453    147 |  0.000 % |
345.94/346.21	c |    484360 |    1100    22000   110000 | 2147483647   101554    147 |  0.000 % |
346.04/346.32	c |    484470 |    1100    22000   110000 | 2147483647   101664    147 |  0.000 % |
346.14/346.46	c |    484591 |    1100    22000   110000 | 2147483647   101785    147 |  0.000 % |
346.34/346.61	c |    484724 |    1100    22000   110000 | 2147483647   101918    147 |  0.000 % |
346.44/346.75	c |    484870 |    1100    22000   110000 | 2147483647   102064    147 |  0.000 % |
346.64/346.92	c |    485033 |    1100    22000   110000 | 2147483647   102227    147 |  0.000 % |
346.84/347.11	c |    485210 |    1100    22000   110000 | 2147483647   102404    147 |  0.000 % |
347.04/347.31	c |    485403 |    1100    22000   110000 | 2147483647   102597    147 |  0.000 % |
347.24/347.51	c |    485615 |    1100    22000   110000 | 2147483647   102809    147 |  0.000 % |
347.44/347.72	c |    485848 |    1100    22000   110000 | 2147483647   103042    147 |  0.000 % |
347.64/347.97	c |    486105 |    1100    22000   110000 | 2147483647   103299    147 |  0.000 % |
347.94/348.21	c |    486386 |    1100    22000   110000 | 2147483647   103580    147 |  0.000 % |
348.14/348.47	c |    486695 |    1100    22000   110000 | 2147483647   103889    147 |  0.000 % |
348.45/348.77	c |    487034 |    1100    22000   110000 | 2147483647   104228    147 |  0.000 % |
348.84/349.11	c |    487406 |    1100    22000   110000 | 2147483647   104600    147 |  0.000 % |
349.14/349.49	c |    487817 |    1100    22000   110000 | 2147483647   105011    147 |  0.000 % |
349.54/349.89	c |    488267 |    1100    22000   110000 | 2147483647   105461    147 |  0.000 % |
349.93/350.29	c |    488760 |    1100    22000   110000 | 2147483647   105954    147 |  0.000 % |
350.43/350.77	c |    489302 |    1100    22000   110000 | 2147483647   106496    147 |  0.000 % |
350.93/351.27	c |    489898 |    1100    22000   110000 | 2147483647   107092    147 |  0.000 % |
351.54/351.86	c |    490553 |    1100    22000   110000 |   107194    93138    146 |  0.000 % |
352.14/352.44	c |    491273 |    1100    22000   110000 |   107194    93858    146 |  0.000 % |
352.74/353.02	c |    492067 |    1100    22000   110000 |   107194    94652    146 |  0.000 % |
353.44/353.74	c |    492939 |    1100    22000   110000 |   107194    95524    146 |  0.000 % |
354.14/354.48	c |    493899 |    1100    22000   110000 |   107194    96484    146 |  0.000 % |
355.04/355.31	c |    494953 |    1100    22000   110000 |   107194    97538    146 |  0.000 % |
355.94/356.23	c |    496112 |    1100    22000   110000 |   107194    98697    146 |  0.000 % |
356.94/357.26	c |    497385 |    1100    22000   110000 |   107194    99970    146 |  0.000 % |
358.14/358.42	c |    498785 |    1100    22000   110000 |   107194   101370    146 |  0.000 % |
359.34/359.67	c |    500325 |    1100    22000   110000 |   102585   102910    146 |  0.000 % |
360.64/360.96	c |    502020 |    1100    22000   110000 |   102585    91110    147 |  0.000 % |
362.14/362.40	c |    503883 |    1100    22000   110000 |   102585    92973    147 |  0.000 % |
363.84/364.17	c |    505932 |    1100    22000   110000 |   102585    95022    147 |  0.000 % |
365.74/366.02	c |    508185 |    1100    22000   110000 |   102585    97275    147 |  0.000 % |
367.74/368.08	c |    510666 |    1100    22000   110000 |    99091    87852    147 |  0.000 % |
369.73/370.07	c |    513392 |    1100    22000   110000 |    99091    90578    147 |  0.000 % |
372.03/372.37	c |    516391 |    1100    22000   110000 |    99091    93577    147 |  0.000 % |
374.63/374.99	c |    519688 |    1100    22000   110000 |    99091    96874    147 |  0.000 % |
377.43/377.74	c |    523313 |    1100    22000   110000 |    97186    89926    146 |  0.000 % |
380.53/380.81	c |    527303 |    1100    22000   110000 |    97186    93916    146 |  0.000 % |
383.83/384.14	c |    531689 |    1100    22000   110000 | 2147483647    98302    146 |  0.000 % |
387.73/388.02	c |    536512 |    1100    22000   110000 | 2147483647   103125    146 |  0.000 % |
387.83/388.14	c |    536616 |    1100    22000   110000 | 2147483647   103229    146 |  0.000 % |
387.94/388.25	c |    536727 |    1100    22000   110000 | 2147483647   103340    146 |  0.000 % |
388.03/388.36	c |    536848 |    1100    22000   110000 | 2147483647   103461    146 |  0.000 % |
388.13/388.49	c |    536982 |    1100    22000   110000 | 2147483647   103595    146 |  0.000 % |
388.33/388.64	c |    537130 |    1100    22000   110000 | 2147483647   103743    146 |  0.000 % |
388.53/388.80	c |    537291 |    1100    22000   110000 | 2147483647   103904    146 |  0.000 % |
388.63/388.96	c |    537471 |    1100    22000   110000 | 2147483647   104084    146 |  0.000 % |
388.83/389.15	c |    537664 |    1100    22000   110000 | 2147483647   104277    146 |  0.000 % |
389.03/389.33	c |    537877 |    1100    22000   110000 | 2147483647   104490    146 |  0.000 % |
389.23/389.53	c |    538110 |    1100    22000   110000 | 2147483647   104723    146 |  0.000 % |
389.43/389.75	c |    538367 |    1100    22000   110000 | 2147483647   104980    146 |  0.000 % |
389.63/389.98	c |    538648 |    1100    22000   110000 | 2147483647   105261    146 |  0.000 % |
389.93/390.26	c |    538957 |    1100    22000   110000 | 2147483647   105570    146 |  0.000 % |
390.23/390.58	c |    539296 |    1100    22000   110000 | 2147483647   105909    146 |  0.000 % |
390.63/390.94	c |    539669 |    1100    22000   110000 | 2147483647   106282    146 |  0.000 % |
390.93/391.28	c |    540078 |    1100    22000   110000 |   106614   106691    146 |  0.000 % |
391.43/391.74	c |    540527 |    1100    22000   110000 |   106614    93199    147 |  0.000 % |
391.83/392.16	c |    541023 |    1100    22000   110000 |   106614    93695    147 |  0.000 % |
392.23/392.58	c |    541565 |    1100    22000   110000 |   106614    94237    147 |  0.000 % |
392.83/393.10	c |    542162 |    1100    22000   110000 |   106614    94834    147 |  0.000 % |
393.33/393.66	c |    542818 |    1100    22000   110000 |   106614    95490    147 |  0.000 % |
393.93/394.25	c |    543538 |    1100    22000   110000 |   106614    96210    147 |  0.000 % |
394.63/394.91	c |    544330 |    1100    22000   110000 |   106614    97002    147 |  0.000 % |
395.22/395.57	c |    545203 |    1100    22000   110000 |   106614    97875    147 |  0.000 % |
396.02/396.34	c |    546161 |    1100    22000   110000 |   106614    98833    147 |  0.000 % |
396.92/397.21	c |    547214 |    1100    22000   110000 |   106614    99886    147 |  0.000 % |
397.82/398.18	c |    548375 |    1100    22000   110000 |   106614   101047    147 |  0.000 % |
398.92/399.22	c |    549648 |    1100    22000   110000 |   106614   102320    147 |  0.000 % |
400.12/400.48	c |    551050 |    1100    22000   110000 |   102673    89953    146 |  0.000 % |
401.32/401.67	c |    552590 |    1100    22000   110000 |   102673    91493    147 |  0.000 % |
402.62/402.96	c |    554284 |    1100    22000   110000 |   102673    93187    147 |  0.000 % |
404.12/404.42	c |    556150 |    1100    22000   110000 |   102673    95053    147 |  0.000 % |
405.72/406.00	c |    558199 |    1100    22000   110000 |   102673    97102    146 |  0.000 % |
407.52/407.80	c |    560453 |    1100    22000   110000 |    98904    87870    146 |  0.000 % |
409.22/409.57	c |    562932 |    1100    22000   110000 |    98904    90349    146 |  0.000 % |
411.32/411.61	c |    565657 |    1100    22000   110000 |    98904    93074    146 |  0.000 % |
413.62/413.92	c |    568656 |    1100    22000   110000 |    98904    96073    146 |  0.000 % |
416.12/416.49	c |    571953 |    1100    22000   110000 | 2147483647    99370    146 |  0.000 % |
419.11/419.40	c |    575578 |    1100    22000   110000 | 2147483647   102995    146 |  0.000 % |
422.31/422.68	c |    579565 |    1100    22000   110000 | 2147483647   106982    146 |  0.000 % |
425.91/426.21	c |    583951 |    1100    22000   110000 |   107419    96068    146 |  0.000 % |
429.61/429.96	c |    588775 |    1100    22000   110000 |   107419   100892    146 |  0.000 % |
433.91/434.24	c |    594081 |    1100    22000   110000 |   102117    92169    146 |  0.000 % |
434.01/434.36	c |    594181 |    1100    22000   110000 |   102117    92269    146 |  0.000 % |
434.11/434.47	c |    594291 |    1100    22000   110000 |   102117    92379    146 |  0.000 % |
434.21/434.57	c |    594414 |    1100    22000   110000 |   102117    92502    146 |  0.000 % |
434.31/434.69	c |    594548 |    1100    22000   110000 |   102117    92636    146 |  0.000 % |
434.51/434.84	c |    594694 |    1100    22000   110000 |   102117    92782    146 |  0.000 % |
434.61/434.97	c |    594854 |    1100    22000   110000 |   102117    92942    146 |  0.000 % |
434.81/435.13	c |    595033 |    1100    22000   110000 |   102117    93121    146 |  0.000 % |
434.91/435.30	c |    595226 |    1100    22000   110000 |   102117    93314    146 |  0.000 % |
435.11/435.46	c |    595439 |    1100    22000   110000 |   102117    93527    146 |  0.000 % |
435.31/435.66	c |    595672 |    1100    22000   110000 |   102117    93760    146 |  0.000 % |
435.51/435.86	c |    595928 |    1100    22000   110000 |   102117    94016    146 |  0.000 % |
435.71/436.08	c |    596209 |    1100    22000   110000 |   102117    94297    146 |  0.000 % |
436.01/436.34	c |    596518 |    1100    22000   110000 |   102117    94606    146 |  0.000 % |
436.31/436.66	c |    596857 |    1100    22000   110000 |   102117    94945    146 |  0.000 % |
436.61/436.96	c |    597231 |    1100    22000   110000 |   102117    95319    146 |  0.000 % |
437.01/437.33	c |    597641 |    1100    22000   110000 |   102117    95729    146 |  0.000 % |
437.31/437.67	c |    598090 |    1100    22000   110000 |   102117    96178    146 |  0.000 % |
437.71/438.08	c |    598584 |    1100    22000   110000 |   102117    96672    146 |  0.000 % |
438.21/438.56	c |    599127 |    1100    22000   110000 |   102117    97215    146 |  0.000 % |
438.71/439.07	c |    599723 |    1100    22000   110000 |   102117    97811    146 |  0.000 % |
439.40/439.73	c |    600379 |    1100    22000   110000 |    98088    85550    145 |  0.000 % |
440.00/440.31	c |    601099 |    1100    22000   110000 |    98088    86270    145 |  0.000 % |
440.60/440.93	c |    601891 |    1100    22000   110000 |    98088    87062    145 |  0.000 % |
441.20/441.57	c |    602763 |    1100    22000   110000 |    98088    87934    145 |  0.000 % |
441.90/442.29	c |    603722 |    1100    22000   110000 |    98088    88893    145 |  0.000 % |
442.70/443.00	c |    604776 |    1100    22000   110000 |    98088    89947    146 |  0.000 % |
443.50/443.82	c |    605936 |    1100    22000   110000 |    98088    91107    146 |  0.000 % |
444.40/444.73	c |    607209 |    1100    22000   110000 |    98088    92380    146 |  0.000 % |
445.50/445.81	c |    608611 |    1100    22000   110000 |    98088    93782    146 |  0.000 % |
446.60/446.98	c |    610151 |    1100    22000   110000 |    95171    95322    146 |  0.000 % |
447.90/448.22	c |    611845 |    1100    22000   110000 |    95171    86809    145 |  0.000 % |
449.30/449.64	c |    613709 |    1100    22000   110000 |    95171    88673    145 |  0.000 % |
450.80/451.18	c |    615758 |    1100    22000   110000 |    95171    90722    145 |  0.000 % |
452.50/452.81	c |    618011 |    1100    22000   110000 |    95171    92975    145 |  0.000 % |
454.39/454.71	c |    620491 |    1100    22000   110000 | 2147483647    95455    145 |  0.000 % |
456.39/456.78	c |    623216 |    1100    22000   110000 | 2147483647    98180    145 |  0.000 % |
458.69/459.05	c |    626214 |    1100    22000   110000 | 2147483647   101178    146 |  0.000 % |
461.29/461.64	c |    629510 |    1100    22000   110000 | 2147483647   104474    146 |  0.000 % |
464.29/464.63	c |    633136 |    1100    22000   110000 |   104965    94587    145 |  0.000 % |
467.39/467.75	c |    637123 |    1100    22000   110000 |   104965    98574    145 |  0.000 % |
471.09/471.41	c |    641508 |    1100    22000   110000 |   101452    90038    147 |  0.000 % |
474.49/474.85	c |    646333 |    1100    22000   110000 |   101452    94863    147 |  0.000 % |
478.79/479.14	c |    651639 |    1100    22000   110000 |    98532    88097    148 |  0.000 % |
483.09/483.45	c |    657474 |    1100    22000   110000 |    98532    93932    148 |  0.000 % |
483.19/483.52	c |    657574 |    1100    22000   110000 |    98532    94032    148 |  0.000 % |
483.29/483.65	c |    657693 |    1100    22000   110000 |    98532    94151    148 |  0.000 % |
483.39/483.76	c |    657814 |    1100    22000   110000 |    98532    94272    148 |  0.000 % |
483.49/483.89	c |    657947 |    1100    22000   110000 |    98532    94405    148 |  0.000 % |
483.69/484.00	c |    658093 |    1100    22000   110000 |    98532    94551    148 |  0.000 % |
483.79/484.17	c |    658254 |    1100    22000   110000 |    98532    94712    148 |  0.000 % |
483.99/484.32	c |    658430 |    1100    22000   110000 |    98532    94888    148 |  0.000 % |
484.09/484.47	c |    658624 |    1100    22000   110000 |    98532    95082    148 |  0.000 % |
484.29/484.66	c |    658837 |    1100    22000   110000 |    98532    95295    148 |  0.000 % |
484.48/484.85	c |    659070 |    1100    22000   110000 |    98532    95528    148 |  0.000 % |
484.68/485.08	c |    659327 |    1100    22000   110000 |    98532    95785    147 |  0.000 % |
484.98/485.34	c |    659608 |    1100    22000   110000 |    98532    96066    147 |  0.000 % |
485.18/485.58	c |    659917 |    1100    22000   110000 |    98532    96375    147 |  0.000 % |
485.48/485.87	c |    660257 |    1100    22000   110000 |    96458    96715    147 |  0.000 % |
485.88/486.21	c |    660630 |    1100    22000   110000 |    96458    85705    147 |  0.000 % |
486.18/486.51	c |    661039 |    1100    22000   110000 |    96458    86114    147 |  0.000 % |
486.58/486.90	c |    661488 |    1100    22000   110000 |    96458    86563    147 |  0.000 % |
486.88/487.29	c |    661982 |    1100    22000   110000 |    96458    87057    147 |  0.000 % |
487.28/487.69	c |    662524 |    1100    22000   110000 |    96458    87599    147 |  0.000 % |
487.78/488.17	c |    663122 |    1100    22000   110000 |    96458    88197    147 |  0.000 % |
488.28/488.70	c |    663777 |    1100    22000   110000 |    96458    88852    147 |  0.000 % |
488.88/489.21	c |    664497 |    1100    22000   110000 |    96458    89572    147 |  0.000 % |
489.48/489.83	c |    665289 |    1100    22000   110000 |    96458    90364    147 |  0.000 % |
490.08/490.50	c |    666160 |    1100    22000   110000 |    96458    91235    147 |  0.000 % |
490.88/491.24	c |    667118 |    1100    22000   110000 |    96458    92193    147 |  0.000 % |
491.68/492.02	c |    668171 |    1100    22000   110000 |    96458    93246    147 |  0.000 % |
492.58/492.91	c |    669331 |    1100    22000   110000 |    96458    94406    147 |  0.000 % |
493.58/493.95	c |    670604 |    1100    22000   110000 |    95076    85670    146 |  0.000 % |
494.58/494.92	c |    672004 |    1100    22000   110000 |    95076    87070    146 |  0.000 % |
495.78/496.13	c |    673545 |    1100    22000   110000 |    95076    88611    146 |  0.000 % |
496.97/497.35	c |    675239 |    1100    22000   110000 |    95076    90305    146 |  0.000 % |
498.37/498.72	c |    677102 |    1100    22000   110000 |    95076    92168    146 |  0.000 % |
499.87/500.27	c |    679153 |    1100    22000   110000 |    95076    94219    146 |  0.000 % |
501.67/502.00	c |    681406 |    1100    22000   110000 | 2147483647    96472    146 |  0.000 % |
503.48/503.82	c |    683885 |    1100    22000   110000 | 2147483647    98951    146 |  0.000 % |
505.58/505.96	c |    686610 |    1100    22000   110000 | 2147483647   101676    146 |  0.000 % |
508.07/508.49	c |    689607 |    1100    22000   110000 | 2147483647   104673    146 |  0.000 % |
510.77/511.19	c |    692903 |    1100    22000   110000 |   105067    95152    146 |  0.000 % |
513.67/514.02	c |    696529 |    1100    22000   110000 |   105067    98778    146 |  0.000 % |
517.07/517.40	c |    700517 |    1100    22000   110000 |   102249    89981    147 |  0.000 % |
520.37/520.77	c |    704903 |    1100    22000   110000 |   102249    94367    146 |  0.000 % |
523.97/524.39	c |    709727 |    1100    22000   110000 |   102249    99191    147 |  0.000 % |
528.07/528.40	c |    715033 |    1100    22000   110000 |    99465    91595    147 |  0.000 % |
532.56/532.93	c |    720868 |    1100    22000   110000 |    96562    86366    148 |  0.000 % |
537.46/537.84	c |    727286 |    1100    22000   110000 |    96562    92784    149 |  0.000 % |
537.56/537.93	c |    727386 |    1100    22000   110000 |    96562    92884    149 |  0.000 % |
537.66/538.02	c |    727496 |    1100    22000   110000 |    96562    92994    149 |  0.000 % |
537.76/538.14	c |    727617 |    1100    22000   110000 |    96562    93115    149 |  0.000 % |
537.86/538.25	c |    727751 |    1100    22000   110000 |    96562    93249    149 |  0.000 % |
537.96/538.37	c |    727898 |    1100    22000   110000 |    96562    93396    149 |  0.000 % |
538.16/538.52	c |    728058 |    1100    22000   110000 |    96562    93556    149 |  0.000 % |
538.36/538.70	c |    728236 |    1100    22000   110000 |    96562    93734    149 |  0.000 % |
538.46/538.88	c |    728429 |    1100    22000   110000 |    96562    93927    149 |  0.000 % |
538.66/539.05	c |    728641 |    1100    22000   110000 |    96562    94139    149 |  0.000 % |
538.86/539.25	c |    728875 |    1100    22000   110000 |    96562    94373    149 |  0.000 % |
539.06/539.46	c |    729131 |    1100    22000   110000 |    96562    94629    149 |  0.000 % |
539.26/539.67	c |    729413 |    1100    22000   110000 |    96562    94911    149 |  0.000 % |
539.56/539.92	c |    729722 |    1100    22000   110000 |    96562    95220    149 |  0.000 % |
539.85/540.22	c |    730061 |    1100    22000   110000 |    95498    95559    149 |  0.000 % |
540.15/540.58	c |    730433 |    1100    22000   110000 |    95498    85224    148 |  0.000 % |
540.45/540.89	c |    730843 |    1100    22000   110000 |    95498    85634    148 |  0.000 % |
540.86/541.24	c |    731294 |    1100    22000   110000 |    95498    86085    148 |  0.000 % |
541.25/541.60	c |    731788 |    1100    22000   110000 |    95498    86579    148 |  0.000 % |
541.65/542.03	c |    732330 |    1100    22000   110000 |    95498    87121    148 |  0.000 % |
542.05/542.48	c |    732926 |    1100    22000   110000 |    95498    87717    148 |  0.000 % |
542.55/542.94	c |    733583 |    1100    22000   110000 |    95498    88374    148 |  0.000 % |
543.15/543.59	c |    734305 |    1100    22000   110000 |    95498    89096    148 |  0.000 % |
543.75/544.16	c |    735097 |    1100    22000   110000 |    95498    89888    148 |  0.000 % |
544.45/544.87	c |    735968 |    1100    22000   110000 |    95498    90759    148 |  0.000 % |
545.26/545.61	c |    736927 |    1100    22000   110000 |    95498    91718    148 |  0.000 % |
546.05/546.40	c |    737980 |    1100    22000   110000 |    95498    92771    148 |  0.000 % |
546.85/547.28	c |    739138 |    1100    22000   110000 |    95498    93929    148 |  0.000 % |
547.85/548.20	c |    740412 |    1100    22000   110000 |    94793    95203    148 |  0.000 % |
548.85/549.23	c |    741814 |    1100    22000   110000 |    94793    86912    147 |  0.000 % |
549.95/550.34	c |    743355 |    1100    22000   110000 |    94793    88453    147 |  0.000 % |
551.15/551.57	c |    745049 |    1100    22000   110000 |    94793    90147    147 |  0.000 % |
552.55/552.97	c |    746914 |    1100    22000   110000 |    94793    92012    147 |  0.000 % |
554.15/554.51	c |    748963 |    1100    22000   110000 |    94793    94061    146 |  0.000 % |
555.85/556.23	c |    751218 |    1100    22000   110000 | 2147483647    96316    147 |  0.000 % |
557.75/558.10	c |    753696 |    1100    22000   110000 | 2147483647    98794    147 |  0.000 % |
559.95/560.33	c |    756423 |    1100    22000   110000 | 2147483647   101521    147 |  0.000 % |
562.35/562.78	c |    759420 |    1100    22000   110000 | 2147483647   104518    147 |  0.000 % |
565.25/565.63	c |    762717 |    1100    22000   110000 |   105099    94941    149 |  0.000 % |
568.05/568.48	c |    766342 |    1100    22000   110000 |   105099    98566    149 |  0.000 % |
571.24/571.62	c |    770332 |    1100    22000   110000 |   102224   102556    149 |  0.000 % |
574.44/574.85	c |    774717 |    1100    22000   110000 |   102224    94342    150 |  0.000 % |
578.24/578.64	c |    779540 |    1100    22000   110000 |   102224    99165    150 |  0.000 % |
582.43/582.83	c |    784846 |    1100    22000   110000 |    99629    92936    150 |  0.000 % |
587.23/587.64	c |    790682 |    1100    22000   110000 |    98092    86352    151 |  0.000 % |
592.13/592.58	c |    797101 |    1100    22000   110000 |    98092    92771    151 |  0.000 % |
597.73/598.18	c |    804161 |    1100    22000   110000 |    95670    88918    152 |  0.000 % |
597.83/598.27	c |    804262 |    1100    22000   110000 |    95670    89019    152 |  0.000 % |
597.93/598.36	c |    804372 |    1100    22000   110000 |    95670    89129    152 |  0.000 % |
598.03/598.46	c |    804496 |    1100    22000   110000 |    95670    89253    152 |  0.000 % |
598.13/598.55	c |    804631 |    1100    22000   110000 |    95670    89388    152 |  0.000 % |
598.23/598.67	c |    804777 |    1100    22000   110000 |    95670    89534    152 |  0.000 % |
598.43/598.80	c |    804937 |    1100    22000   110000 |    95670    89694    152 |  0.000 % |
598.53/598.95	c |    805113 |    1100    22000   110000 |    95670    89870    152 |  0.000 % |
598.73/599.11	c |    805306 |    1100    22000   110000 |    95670    90063    152 |  0.000 % |
598.83/599.29	c |    805518 |    1100    22000   110000 |    95670    90275    152 |  0.000 % |
599.13/599.54	c |    805752 |    1100    22000   110000 |    95670    90509    152 |  0.000 % |
599.33/599.74	c |    806010 |    1100    22000   110000 |    95670    90767    152 |  0.000 % |
599.63/600.00	c |    806292 |    1100    22000   110000 |    95670    91049    152 |  0.000 % |
599.83/600.26	c |    806603 |    1100    22000   110000 |    95670    91360    152 |  0.000 % |
600.13/600.54	c |    806942 |    1100    22000   110000 |    95670    91699    152 |  0.000 % |
600.43/600.83	c |    807314 |    1100    22000   110000 |    95670    92071    152 |  0.000 % |
600.73/601.14	c |    807725 |    1100    22000   110000 |    95670    92482    151 |  0.000 % |
601.03/601.46	c |    808175 |    1100    22000   110000 |    95670    92932    151 |  0.000 % |
601.43/601.85	c |    808671 |    1100    22000   110000 |    95670    93428    151 |  0.000 % |
601.83/602.28	c |    809213 |    1100    22000   110000 |    95670    93970    151 |  0.000 % |
602.33/602.75	c |    809809 |    1100    22000   110000 |    95670    94566    151 |  0.000 % |
602.93/603.34	c |    810464 |    1100    22000   110000 |    94757    84873    149 |  0.000 % |
603.43/603.82	c |    811184 |    1100    22000   110000 |    94757    85593    149 |  0.000 % |
603.93/604.39	c |    811976 |    1100    22000   110000 |    94757    86385    149 |  0.000 % |
604.53/604.99	c |    812849 |    1100    22000   110000 |    94757    87258    149 |  0.000 % |
605.23/605.69	c |    813807 |    1100    22000   110000 |    94757    88216    149 |  0.000 % |
606.03/606.45	c |    814863 |    1100    22000   110000 |    94757    89272    149 |  0.000 % |
606.83/607.28	c |    816021 |    1100    22000   110000 |    94757    90430    149 |  0.000 % |
607.83/608.28	c |    817294 |    1100    22000   110000 |    94757    91703    149 |  0.000 % |
608.83/609.28	c |    818696 |    1100    22000   110000 |    94757    93105    149 |  0.000 % |
609.93/610.36	c |    820236 |    1100    22000   110000 | 2147483647    94645    149 |  0.000 % |
611.23/611.66	c |    821931 |    1100    22000   110000 | 2147483647    96340    149 |  0.000 % |
612.62/613.09	c |    823795 |    1100    22000   110000 | 2147483647    98204    149 |  0.000 % |
614.43/614.82	c |    825844 |    1100    22000   110000 | 2147483647   100253    149 |  0.000 % |
616.22/616.62	c |    828097 |    1100    22000   110000 | 2147483647   102506    149 |  0.000 % |
618.42/618.85	c |    830575 |    1100    22000   110000 |   104410    91198    150 |  0.000 % |
620.52/620.90	c |    833301 |    1100    22000   110000 |   104410    93924    150 |  0.000 % |
622.92/623.38	c |    836298 |    1100    22000   110000 |   104410    96921    150 |  0.000 % |
625.52/625.97	c |    839595 |    1100    22000   110000 |   104410   100218    149 |  0.000 % |
628.42/628.81	c |    843220 |    1100    22000   110000 |   100623    90883    150 |  0.000 % |
631.42/631.82	c |    847207 |    1100    22000   110000 |   100623    94870    150 |  0.000 % |
635.01/635.43	c |    851593 |    1100    22000   110000 |    97663    88397    150 |  0.000 % |
638.62/639.01	c |    856417 |    1100    22000   110000 |    97663    93221    150 |  0.000 % |
642.51/642.99	c |    861724 |    1100    22000   110000 |    96804    88270    150 |  0.000 % |
647.01/647.44	c |    867559 |    1100    22000   110000 |    96804    94105    151 |  0.000 % |
652.21/652.63	c |    873979 |    1100    22000   110000 |    96547    90243    151 |  0.000 % |
657.81/658.24	c |    881038 |    1100    22000   110000 |    96264    86146    150 |  0.000 % |
663.51/663.99	c |    888804 |    1100    22000   110000 |    96264    93912    150 |  0.000 % |
663.61/664.07	c |    888906 |    1100    22000   110000 |    96264    94014    150 |  0.000 % |
663.71/664.17	c |    889016 |    1100    22000   110000 |    96264    94124    150 |  0.000 % |
663.91/664.31	c |    889137 |    1100    22000   110000 |    96264    94245    150 |  0.000 % |
664.01/664.42	c |    889270 |    1100    22000   110000 |    96264    94378    150 |  0.000 % |
664.11/664.55	c |    889419 |    1100    22000   110000 |    96264    94527    150 |  0.000 % |
664.21/664.68	c |    889579 |    1100    22000   110000 |    96264    94687    150 |  0.000 % |
664.40/664.86	c |    889756 |    1100    22000   110000 |    96264    94864    150 |  0.000 % |
664.60/665.04	c |    889950 |    1100    22000   110000 |    96264    95058    150 |  0.000 % |
664.80/665.23	c |    890162 |    1100    22000   110000 |    95109    95270    150 |  0.000 % |
665.00/665.48	c |    890396 |    1100    22000   110000 |    95109    84054    150 |  0.000 % |
665.20/665.69	c |    890658 |    1100    22000   110000 |    95109    84316    150 |  0.000 % |
665.40/665.89	c |    890939 |    1100    22000   110000 |    95109    84597    149 |  0.000 % |
665.70/666.12	c |    891248 |    1100    22000   110000 |    95109    84906    149 |  0.000 % |
665.90/666.36	c |    891587 |    1100    22000   110000 |    95109    85245    149 |  0.000 % |
666.20/666.68	c |    891959 |    1100    22000   110000 |    95109    85617    149 |  0.000 % |
666.60/667.02	c |    892369 |    1100    22000   110000 |    95109    86027    149 |  0.000 % |
666.90/667.34	c |    892818 |    1100    22000   110000 |    95109    86476    149 |  0.000 % |
667.30/667.73	c |    893312 |    1100    22000   110000 |    95109    86970    149 |  0.000 % |
667.70/668.13	c |    893855 |    1100    22000   110000 |    95109    87513    149 |  0.000 % |
668.09/668.55	c |    894452 |    1100    22000   110000 |    95109    88110    149 |  0.000 % |
668.59/669.07	c |    895107 |    1100    22000   110000 |    95109    88765    149 |  0.000 % |
669.19/669.63	c |    895827 |    1100    22000   110000 |    95109    89485    149 |  0.000 % |
669.79/670.24	c |    896620 |    1100    22000   110000 |    95109    90278    149 |  0.000 % |
670.39/670.87	c |    897491 |    1100    22000   110000 |    95109    91149    149 |  0.000 % |
671.09/671.56	c |    898450 |    1100    22000   110000 |    95109    92108    149 |  0.000 % |
671.89/672.37	c |    899503 |    1100    22000   110000 |    95109    93161    149 |  0.000 % |
672.89/673.37	c |    900664 |    1100    22000   110000 |    93660    84356    149 |  0.000 % |
673.90/674.34	c |    901937 |    1100    22000   110000 |    93660    85629    149 |  0.000 % |
675.00/675.41	c |    903338 |    1100    22000   110000 |    93660    87030    149 |  0.000 % |
676.10/676.58	c |    904881 |    1100    22000   110000 |    93660    88573    149 |  0.000 % |
677.39/677.80	c |    906575 |    1100    22000   110000 |    93660    90267    149 |  0.000 % |
678.69/679.12	c |    908438 |    1100    22000   110000 |    93660    92130    149 |  0.000 % |
680.19/680.62	c |    910487 |    1100    22000   110000 | 2147483647    94179    149 |  0.000 % |
681.89/682.38	c |    912740 |    1100    22000   110000 | 2147483647    96432    149 |  0.000 % |
683.89/684.37	c |    915219 |    1100    22000   110000 | 2147483647    98911    149 |  0.000 % |
686.09/686.52	c |    917945 |    1100    22000   110000 | 2147483647   101637    149 |  0.000 % |
688.59/689.01	c |    920943 |    1100    22000   110000 |   103694    92259    149 |  0.000 % |
690.89/691.38	c |    924240 |    1100    22000   110000 |   103694    95556    149 |  0.000 % |
693.78/694.21	c |    927866 |    1100    22000   110000 |   103694    99182    149 |  0.000 % |
696.99/697.40	c |    931853 |    1100    22000   110000 |   101317    91265    150 |  0.000 % |
700.29/700.73	c |    936238 |    1100    22000   110000 |   101317    95650    150 |  0.000 % |
704.28/704.73	c |    941061 |    1100    22000   110000 |    99413    88712    149 |  0.000 % |
708.18/708.69	c |    946366 |    1100    22000   110000 |    99413    94017    150 |  0.000 % |
712.88/713.31	c |    952201 |    1100    22000   110000 |    97653    87967    149 |  0.000 % |
717.78/718.27	c |    958620 |    1100    22000   110000 |    97653    94386    150 |  0.000 % |
723.28/723.76	c |    965679 |    1100    22000   110000 |    95766    91813    151 |  0.000 % |
729.67/730.15	c |    973443 |    1100    22000   110000 | 2147483647    89967    151 |  0.000 % |
736.67/737.13	c |    981984 |    1100    22000   110000 |    96525    88500    152 |  0.000 % |
736.77/737.21	c |    982084 |    1100    22000   110000 |    96525    88600    152 |  0.000 % |
736.87/737.33	c |    982195 |    1100    22000   110000 |    96525    88711    152 |  0.000 % |
736.97/737.43	c |    982320 |    1100    22000   110000 |    96525    88836    152 |  0.000 % |
737.07/737.53	c |    982453 |    1100    22000   110000 |    96525    88969    152 |  0.000 % |
737.17/737.66	c |    982600 |    1100    22000   110000 |    96525    89116    152 |  0.000 % |
737.27/737.79	c |    982760 |    1100    22000   110000 |    96525    89276    152 |  0.000 % |
737.47/737.94	c |    982937 |    1100    22000   110000 |    96525    89453    152 |  0.000 % |
737.67/738.12	c |    983132 |    1100    22000   110000 |    96525    89648    152 |  0.000 % |
737.77/738.28	c |    983345 |    1100    22000   110000 |    96525    89861    152 |  0.000 % |
737.97/738.46	c |    983579 |    1100    22000   110000 |    96525    90095    152 |  0.000 % |
738.27/738.70	c |    983835 |    1100    22000   110000 |    96525    90351    152 |  0.000 % |
738.47/738.93	c |    984116 |    1100    22000   110000 |    96525    90632    152 |  0.000 % |
738.67/739.17	c |    984425 |    1100    22000   110000 |    96525    90941    152 |  0.000 % |
738.97/739.43	c |    984764 |    1100    22000   110000 |    96525    91280    151 |  0.000 % |
739.27/739.72	c |    985137 |    1100    22000   110000 |    96525    91653    151 |  0.000 % |
739.57/740.04	c |    985546 |    1100    22000   110000 |    96525    92062    151 |  0.000 % |
739.97/740.43	c |    985996 |    1100    22000   110000 |    96525    92512    151 |  0.000 % |
740.37/740.84	c |    986489 |    1100    22000   110000 |    96525    93005    151 |  0.000 % |
740.77/741.27	c |    987031 |    1100    22000   110000 |    96525    93547    151 |  0.000 % |
741.27/741.75	c |    987627 |    1100    22000   110000 |    96525    94143    151 |  0.000 % |
741.77/742.30	c |    988284 |    1100    22000   110000 |    96525    94800    151 |  0.000 % |
742.37/742.88	c |    989004 |    1100    22000   110000 |    96525    95520    151 |  0.000 % |
743.07/743.55	c |    989799 |    1100    22000   110000 |    96525    96315    151 |  0.000 % |
743.86/744.36	c |    990671 |    1100    22000   110000 |    96517    85678    151 |  0.000 % |
744.56/745.05	c |    991629 |    1100    22000   110000 |    96517    86636    151 |  0.000 % |
745.37/745.82	c |    992682 |    1100    22000   110000 |    96517    87689    151 |  0.000 % |
746.16/746.66	c |    993840 |    1100    22000   110000 |    96517    88847    151 |  0.000 % |
747.16/747.61	c |    995114 |    1100    22000   110000 |    96517    90121    151 |  0.000 % |
748.16/748.66	c |    996515 |    1100    22000   110000 |    96517    91522    151 |  0.000 % |
749.36/749.88	c |    998056 |    1100    22000   110000 |    96517    93063    151 |  0.000 % |
750.76/751.29	c |    999750 |    1100    22000   110000 |    96517    94757    151 |  0.000 % |
752.26/752.72	c |   1001613 |    1100    22000   110000 |    95009    86404    151 |  0.000 % |
753.66/754.14	c |   1003662 |    1100    22000   110000 |    95009    88453    151 |  0.000 % |
755.26/755.76	c |   1005915 |    1100    22000   110000 |    95009    90706    151 |  0.000 % |
757.25/757.73	c |   1008393 |    1100    22000   110000 |    95009    93184    151 |  0.000 % |
759.35/759.82	c |   1011118 |    1100    22000   110000 | 2147483647    95909    150 |  0.000 % |
761.55/762.07	c |   1014117 |    1100    22000   110000 | 2147483647    98908    151 |  0.000 % |
763.95/764.50	c |   1017414 |    1100    22000   110000 | 2147483647   102205    150 |  0.000 % |
767.16/767.65	c |   1021040 |    1100    22000   110000 |   104792    93631    151 |  0.000 % |
770.25/770.74	c |   1025027 |    1100    22000   110000 |   104792    97618    151 |  0.000 % |
773.75/774.22	c |   1029414 |    1100    22000   110000 |   104792   102005    151 |  0.000 % |
777.55/778.01	c |   1034242 |    1100    22000   110000 |   102591    93462    152 |  0.000 % |
781.66/782.11	c |   1039549 |    1100    22000   110000 |   102591    98769    152 |  0.000 % |
786.06/786.57	c |   1045386 |    1100    22000   110000 |    99221    92474    150 |  0.000 % |
791.05/791.60	c |   1051804 |    1100    22000   110000 |    97088    87239    149 |  0.000 % |
796.65/797.15	c |   1058863 |    1100    22000   110000 |    97088    94298    149 |  0.000 % |
802.94/803.45	c |   1066628 |    1100    22000   110000 |    95435    91358    149 |  0.000 % |
809.94/810.47	c |   1075168 |    1100    22000   110000 |    94730    89940    150 |  0.000 % |
817.64/818.14	c |   1084566 |    1100    22000   110000 | 2147483647    99338    150 |  0.000 % |
817.74/818.25	c |   1084666 |    1100    22000   110000 | 2147483647    99438    150 |  0.000 % |
817.84/818.35	c |   1084776 |    1100    22000   110000 | 2147483647    99548    150 |  0.000 % |
817.94/818.46	c |   1084897 |    1100    22000   110000 | 2147483647    99669    150 |  0.000 % |
818.04/818.59	c |   1085033 |    1100    22000   110000 | 2147483647    99805    150 |  0.000 % |
818.24/818.75	c |   1085181 |    1100    22000   110000 | 2147483647    99953    150 |  0.000 % |
818.44/818.90	c |   1085341 |    1100    22000   110000 | 2147483647   100113    150 |  0.000 % |
818.54/819.07	c |   1085518 |    1100    22000   110000 | 2147483647   100290    150 |  0.000 % |
818.74/819.26	c |   1085711 |    1100    22000   110000 | 2147483647   100483    150 |  0.000 % |
818.94/819.46	c |   1085925 |    1100    22000   110000 | 2147483647   100697    150 |  0.000 % |
819.14/819.65	c |   1086158 |    1100    22000   110000 | 2147483647   100930    150 |  0.000 % |
819.34/819.89	c |   1086414 |    1100    22000   110000 | 2147483647   101186    150 |  0.000 % |
819.64/820.13	c |   1086696 |    1100    22000   110000 | 2147483647   101468    150 |  0.000 % |
819.94/820.41	c |   1087006 |    1100    22000   110000 | 2147483647   101778    150 |  0.000 % |
820.24/820.74	c |   1087345 |    1100    22000   110000 | 2147483647   102117    150 |  0.000 % |
820.54/821.08	c |   1087720 |    1100    22000   110000 | 2147483647   102492    150 |  0.000 % |
820.94/821.44	c |   1088130 |    1100    22000   110000 | 2147483647   102902    150 |  0.000 % |
821.34/821.86	c |   1088579 |    1100    22000   110000 | 2147483647   103351    150 |  0.000 % |
821.84/822.31	c |   1089072 |    1100    22000   110000 | 2147483647   103844    150 |  0.000 % |
822.34/822.81	c |   1089616 |    1100    22000   110000 | 2147483647   104388    150 |  0.000 % |
822.83/823.30	c |   1090212 |    1100    22000   110000 |   104772   104984    150 |  0.000 % |
823.34/823.88	c |   1090868 |    1100    22000   110000 |   104772    91408    151 |  0.000 % |
823.93/824.41	c |   1091588 |    1100    22000   110000 |   104772    92128    150 |  0.000 % |
824.54/825.07	c |   1092384 |    1100    22000   110000 |   104772    92924    150 |  0.000 % |
825.23/825.77	c |   1093257 |    1100    22000   110000 |   104772    93797    150 |  0.000 % |
826.03/826.55	c |   1094217 |    1100    22000   110000 |   104772    94757    150 |  0.000 % |
826.83/827.34	c |   1095274 |    1100    22000   110000 |   104772    95814    150 |  0.000 % |
827.74/828.26	c |   1096433 |    1100    22000   110000 |   104772    96973    150 |  0.000 % |
828.84/829.31	c |   1097706 |    1100    22000   110000 |   104772    98246    150 |  0.000 % |
829.93/830.43	c |   1099107 |    1100    22000   110000 |   104772    99647    150 |  0.000 % |
831.23/831.78	c |   1100647 |    1100    22000   110000 |   100541    89005    151 |  0.000 % |
832.43/832.92	c |   1102342 |    1100    22000   110000 |   100541    90700    150 |  0.000 % |
833.73/834.21	c |   1104205 |    1100    22000   110000 |   100541    92563    151 |  0.000 % |
835.23/835.77	c |   1106254 |    1100    22000   110000 |   100541    94612    151 |  0.000 % |
836.83/837.39	c |   1108509 |    1100    22000   110000 |   100541    96867    150 |  0.000 % |
838.93/839.50	c |   1110987 |    1100    22000   110000 |    98362    88590    150 |  0.000 % |
840.93/841.47	c |   1113712 |    1100    22000   110000 |    98362    91315    150 |  0.000 % |
843.23/843.72	c |   1116710 |    1100    22000   110000 |    98362    94313    150 |  0.000 % |
845.82/846.33	c |   1120008 |    1100    22000   110000 |    97603    97611    150 |  0.000 % |
848.62/849.10	c |   1123635 |    1100    22000   110000 |    97603    91222    150 |  0.000 % |
851.52/852.05	c |   1127622 |    1100    22000   110000 |    97603    95209    149 |  0.000 % |
854.82/855.34	c |   1132008 |    1100    22000   110000 |    97587    88900    149 |  0.000 % |
858.52/859.02	c |   1136831 |    1100    22000   110000 |    97587    93723    149 |  0.000 % |
862.51/863.04	c |   1142136 |    1100    22000   110000 |    96892    87873    149 |  0.000 % |
866.91/867.43	c |   1147971 |    1100    22000   110000 |    96892    93708    149 |  0.000 % |
872.01/872.59	c |   1154393 |    1100    22000   110000 |    95737    89536    149 |  0.000 % |
878.21/878.71	c |   1161454 |    1100    22000   110000 |    95146    86424    150 |  0.000 % |
884.81/885.31	c |   1169218 |    1100    22000   110000 |    95146    94188    151 |  0.000 % |
891.50/892.08	c |   1177758 |    1100    22000   110000 |    94970    93094    150 |  0.000 % |
899.20/899.72	c |   1187153 |    1100    22000   110000 |    95336    92513    152 |  0.000 % |
907.90/908.50	c |   1197486 |    1100    22000   110000 |    95361    92311    154 |  0.000 % |
908.00/908.60	c |   1197586 |    1100    22000   110000 |    95361    92411    154 |  0.000 % |
908.19/908.72	c |   1197696 |    1100    22000   110000 |    95361    92521    154 |  0.000 % |
908.29/908.83	c |   1197817 |    1100    22000   110000 |    95361    92642    154 |  0.000 % |
908.39/908.94	c |   1197950 |    1100    22000   110000 |    95361    92775    154 |  0.000 % |
908.49/909.07	c |   1198097 |    1100    22000   110000 |    95361    92922    154 |  0.000 % |
908.69/909.24	c |   1198257 |    1100    22000   110000 |    95361    93082    154 |  0.000 % |
908.79/909.37	c |   1198434 |    1100    22000   110000 |    95361    93259    153 |  0.000 % |
908.99/909.55	c |   1198628 |    1100    22000   110000 |    95361    93453    153 |  0.000 % |
909.20/909.73	c |   1198840 |    1100    22000   110000 |    95361    93665    153 |  0.000 % |
909.39/909.92	c |   1199073 |    1100    22000   110000 |    95361    93898    153 |  0.000 % |
909.59/910.17	c |   1199329 |    1100    22000   110000 |    95361    94154    153 |  0.000 % |
909.89/910.42	c |   1199613 |    1100    22000   110000 |    95361    94438    153 |  0.000 % |
910.09/910.66	c |   1199922 |    1100    22000   110000 |    95361    94747    153 |  0.000 % |
910.39/910.94	c |   1200262 |    1100    22000   110000 |    94825    95087    153 |  0.000 % |
910.69/911.29	c |   1200634 |    1100    22000   110000 |    94825    84375    154 |  0.000 % |
910.99/911.59	c |   1201045 |    1100    22000   110000 |    94825    84786    154 |  0.000 % |
911.40/911.96	c |   1201494 |    1100    22000   110000 |    94825    85235    154 |  0.000 % |
911.79/912.34	c |   1201987 |    1100    22000   110000 |    94825    85728    153 |  0.000 % |
912.19/912.74	c |   1202529 |    1100    22000   110000 |    94825    86270    153 |  0.000 % |
912.69/913.21	c |   1203127 |    1100    22000   110000 |    94825    86868    153 |  0.000 % |
913.19/913.71	c |   1203782 |    1100    22000   110000 |    94825    87523    153 |  0.000 % |
913.79/914.31	c |   1204502 |    1100    22000   110000 |    94825    88243    153 |  0.000 % |
914.39/914.94	c |   1205297 |    1100    22000   110000 |    94825    89038    153 |  0.000 % |
915.09/915.61	c |   1206170 |    1100    22000   110000 |    94825    89911    153 |  0.000 % |
915.79/916.33	c |   1207128 |    1100    22000   110000 |    94825    90869    153 |  0.000 % |
916.59/917.11	c |   1208182 |    1100    22000   110000 |    94825    91923    153 |  0.000 % |
917.39/918.00	c |   1209341 |    1100    22000   110000 |    94825    93082    153 |  0.000 % |
918.39/918.98	c |   1210614 |    1100    22000   110000 |    93742    84617    153 |  0.000 % |
919.39/919.99	c |   1212015 |    1100    22000   110000 |    93742    86018    153 |  0.000 % |
920.69/921.23	c |   1213555 |    1100    22000   110000 |    93742    87558    153 |  0.000 % |
921.99/922.57	c |   1215249 |    1100    22000   110000 |    93742    89252    153 |  0.000 % |
923.39/923.93	c |   1217112 |    1100    22000   110000 |    93742    91115    153 |  0.000 % |
924.78/925.37	c |   1219161 |    1100    22000   110000 |    93742    93164    153 |  0.000 % |
926.48/927.06	c |   1221416 |    1100    22000   110000 | 2147483647    95419    153 |  0.000 % |
928.38/928.92	c |   1223894 |    1100    22000   110000 | 2147483647    97897    153 |  0.000 % |
930.58/931.13	c |   1226621 |    1100    22000   110000 | 2147483647   100624    153 |  0.000 % |
933.09/933.65	c |   1229623 |    1100    22000   110000 | 2147483647   103626    152 |  0.000 % |
935.88/936.43	c |   1232920 |    1100    22000   110000 |   104004    94227    153 |  0.000 % |
938.68/939.29	c |   1236545 |    1100    22000   110000 |   104004    97852    152 |  0.000 % |
941.98/942.56	c |   1240533 |    1100    22000   110000 |   101307    88965    153 |  0.000 % |
945.18/945.73	c |   1244918 |    1100    22000   110000 |   101307    93350    153 |  0.000 % |
948.97/949.56	c |   1249742 |    1100    22000   110000 |   101307    98174    153 |  0.000 % |
953.27/953.84	c |   1255047 |    1100    22000   110000 |    98432    91444    152 |  0.000 % |
957.77/958.39	c |   1260882 |    1100    22000   110000 |    96398    85750    152 |  0.000 % |
962.77/963.39	c |   1267300 |    1100    22000   110000 |    96398    92168    152 |  0.000 % |
968.27/968.86	c |   1274359 |    1100    22000   110000 |    94871    88292    152 |  0.000 % |
974.47/975.06	c |   1282124 |    1100    22000   110000 |    93935    86293    151 |  0.000 % |
981.46/982.04	c |   1290666 |    1100    22000   110000 |    94170    84672    153 |  0.000 % |
988.95/989.60	c |   1300060 |    1100    22000   110000 |    94008    94066    153 |  0.000 % |
996.55/997.13	c |   1310393 |    1100    22000   110000 |    93699    94092    154 |  0.000 % |
1004.95/1005.52	c |   1321763 |    1100    22000   110000 |    92059    83388    154 |  0.000 % |
1005.05/1005.61	c |   1321864 |    1100    22000   110000 |    92059    83489    154 |  0.000 % |
1005.15/1005.70	c |   1321975 |    1100    22000   110000 |    92059    83600    154 |  0.000 % |
1005.15/1005.79	c |   1322097 |    1100    22000   110000 |    92059    83722    154 |  0.000 % |
1005.35/1005.91	c |   1322232 |    1100    22000   110000 |    92059    83857    154 |  0.000 % |
1005.45/1006.02	c |   1322380 |    1100    22000   110000 |    92059    84005    154 |  0.000 % |
1005.55/1006.16	c |   1322540 |    1100    22000   110000 |    92059    84165    154 |  0.000 % |
1005.75/1006.33	c |   1322716 |    1100    22000   110000 |    92059    84341    154 |  0.000 % |
1005.85/1006.49	c |   1322909 |    1100    22000   110000 |    92059    84534    154 |  0.000 % |
1006.05/1006.66	c |   1323123 |    1100    22000   110000 |    92059    84748    154 |  0.000 % |
1006.25/1006.84	c |   1323357 |    1100    22000   110000 |    92059    84982    154 |  0.000 % |
1006.45/1007.01	c |   1323613 |    1100    22000   110000 |    92059    85238    154 |  0.000 % |
1006.65/1007.24	c |   1323896 |    1100    22000   110000 |    92059    85521    154 |  0.000 % |
1006.85/1007.46	c |   1324205 |    1100    22000   110000 |    92059    85830    154 |  0.000 % |
1007.15/1007.71	c |   1324547 |    1100    22000   110000 |    92059    86172    153 |  0.000 % |
1007.44/1008.02	c |   1324922 |    1100    22000   110000 |    92059    86547    153 |  0.000 % |
1007.74/1008.34	c |   1325333 |    1100    22000   110000 |    92059    86958    153 |  0.000 % |
1008.05/1008.70	c |   1325783 |    1100    22000   110000 |    92059    87408    153 |  0.000 % |
1008.44/1009.07	c |   1326277 |    1100    22000   110000 |    92059    87902    153 |  0.000 % |
1008.84/1009.49	c |   1326822 |    1100    22000   110000 |    92059    88447    153 |  0.000 % |
1009.34/1009.98	c |   1327418 |    1100    22000   110000 |    92059    89043    153 |  0.000 % |
1009.84/1010.49	c |   1328074 |    1100    22000   110000 |    92059    89699    153 |  0.000 % |
1010.54/1011.14	c |   1328795 |    1100    22000   110000 |    92059    90420    153 |  0.000 % |
1011.24/1011.81	c |   1329587 |    1100    22000   110000 |    92059    91212    153 |  0.000 % |
1012.04/1012.60	c |   1330459 |    1100    22000   110000 |    91625    82119    152 |  0.000 % |
1012.74/1013.30	c |   1331417 |    1100    22000   110000 |    91625    83077    152 |  0.000 % |
1013.44/1014.07	c |   1332470 |    1100    22000   110000 |    91625    84130    152 |  0.000 % |
1014.34/1014.95	c |   1333628 |    1100    22000   110000 |    91625    85288    152 |  0.000 % |
1015.24/1015.83	c |   1334902 |    1100    22000   110000 |    91625    86562    152 |  0.000 % |
1016.24/1016.85	c |   1336304 |    1100    22000   110000 |    91625    87964    152 |  0.000 % |
1017.34/1017.95	c |   1337847 |    1100    22000   110000 |    91625    89507    152 |  0.000 % |
1018.64/1019.20	c |   1339541 |    1100    22000   110000 |    91625    91201    151 |  0.000 % |
1020.14/1020.71	c |   1341404 |    1100    22000   110000 | 2147483647    93064    151 |  0.000 % |
1021.84/1022.42	c |   1343453 |    1100    22000   110000 | 2147483647    95113    151 |  0.000 % |
1023.44/1024.04	c |   1345708 |    1100    22000   110000 | 2147483647    97368    151 |  0.000 % |
1025.43/1026.01	c |   1348186 |    1100    22000   110000 | 2147483647    99846    151 |  0.000 % |
1027.63/1028.24	c |   1350911 |    1100    22000   110000 |   101660    90762    151 |  0.000 % |
1030.04/1030.61	c |   1353908 |    1100    22000   110000 |   101660    93759    150 |  0.000 % |
1032.73/1033.33	c |   1357204 |    1100    22000   110000 |   101660    97055    151 |  0.000 % |
1035.53/1036.19	c |   1360830 |    1100    22000   110000 |    99851    90060    150 |  0.000 % |
1038.63/1039.29	c |   1364818 |    1100    22000   110000 |    99851    94048    150 |  0.000 % |
1042.03/1042.68	c |   1369203 |    1100    22000   110000 |    99851    98433    150 |  0.000 % |
1045.93/1046.55	c |   1374027 |    1100    22000   110000 |    99230    92326    149 |  0.000 % |
1050.22/1050.83	c |   1379332 |    1100    22000   110000 |    99230    97631    150 |  0.000 % |
1054.72/1055.34	c |   1385168 |    1100    22000   110000 |    98299    91548    149 |  0.000 % |
1059.73/1060.35	c |   1391586 |    1100    22000   110000 |    96380    86736    149 |  0.000 % |
1065.02/1065.67	c |   1398645 |    1100    22000   110000 |    96380    93795    149 |  0.000 % |
1071.02/1071.65	c |   1406409 |    1100    22000   110000 |    95150    91187    149 |  0.000 % |
1077.90/1078.52	c |   1414949 |    1100    22000   110000 |    94778    89674    151 |  0.000 % |
1085.10/1085.79	c |   1424344 |    1100    22000   110000 |    94725    89153    152 |  0.000 % |
1094.10/1094.72	c |   1434677 |    1100    22000   110000 |    94812    89547    154 |  0.000 % |
1104.10/1104.73	c |   1446044 |    1100    22000   110000 |    94871    89937    155 |  0.000 % |
1113.29/1113.98	c |   1458547 |    1100    22000   110000 |    93895    91049    156 |  0.000 % |
1113.39/1114.08	c |   1458650 |    1100    22000   110000 |    93895    91152    156 |  0.000 % |
1113.49/1114.18	c |   1458760 |    1100    22000   110000 |    93895    91262    156 |  0.000 % |
1113.60/1114.28	c |   1458883 |    1100    22000   110000 |    93895    91385    155 |  0.000 % |
1113.70/1114.39	c |   1459017 |    1100    22000   110000 |    93895    91519    155 |  0.000 % |
1113.89/1114.56	c |   1459163 |    1100    22000   110000 |    93895    91665    155 |  0.000 % |
1114.09/1114.72	c |   1459323 |    1100    22000   110000 |    93895    91825    155 |  0.000 % |
1114.19/1114.88	c |   1459500 |    1100    22000   110000 |    93895    92002    155 |  0.000 % |
1114.39/1115.07	c |   1459693 |    1100    22000   110000 |    93895    92195    155 |  0.000 % |
1114.59/1115.27	c |   1459905 |    1100    22000   110000 |    93895    92407    155 |  0.000 % |
1114.79/1115.47	c |   1460138 |    1100    22000   110000 |    92503    92640    155 |  0.000 % |
1115.08/1115.71	c |   1460394 |    1100    22000   110000 |    92503    81841    155 |  0.000 % |
1115.28/1115.93	c |   1460676 |    1100    22000   110000 |    92503    82123    155 |  0.000 % |
1115.48/1116.14	c |   1460986 |    1100    22000   110000 |    92503    82433    155 |  0.000 % |
1115.68/1116.40	c |   1461325 |    1100    22000   110000 |    92503    82772    155 |  0.000 % |
1115.98/1116.68	c |   1461697 |    1100    22000   110000 |    92503    83144    155 |  0.000 % |
1116.28/1116.98	c |   1462106 |    1100    22000   110000 |    92503    83553    155 |  0.000 % |
1116.58/1117.28	c |   1462555 |    1100    22000   110000 |    92503    84002    155 |  0.000 % |
1116.99/1117.68	c |   1463048 |    1100    22000   110000 |    92503    84495    155 |  0.000 % |
1117.38/1118.08	c |   1463592 |    1100    22000   110000 |    92503    85039    154 |  0.000 % |
1117.88/1118.54	c |   1464189 |    1100    22000   110000 |    92503    85636    154 |  0.000 % |
1118.38/1119.04	c |   1464844 |    1100    22000   110000 |    92503    86291    154 |  0.000 % |
1118.88/1119.60	c |   1465564 |    1100    22000   110000 |    92503    87011    154 |  0.000 % |
1119.58/1120.21	c |   1466358 |    1100    22000   110000 |    92503    87805    154 |  0.000 % |
1120.19/1120.87	c |   1467229 |    1100    22000   110000 |    92503    88676    154 |  0.000 % |
1120.88/1121.56	c |   1468189 |    1100    22000   110000 |    92503    89636    154 |  0.000 % |
1121.68/1122.36	c |   1469245 |    1100    22000   110000 |    92503    90692    154 |  0.000 % |
1122.58/1123.23	c |   1470403 |    1100    22000   110000 | 2147483647    91850    154 |  0.000 % |
1123.48/1124.17	c |   1471676 |    1100    22000   110000 | 2147483647    93123    153 |  0.000 % |
1124.58/1125.29	c |   1473078 |    1100    22000   110000 | 2147483647    94525    153 |  0.000 % |
1125.98/1126.64	c |   1474620 |    1100    22000   110000 | 2147483647    96067    153 |  0.000 % |
1127.28/1127.93	c |   1476314 |    1100    22000   110000 | 2147483647    97761    153 |  0.000 % |
1128.68/1129.40	c |   1478177 |    1100    22000   110000 | 2147483647    99624    153 |  0.000 % |
1130.38/1131.03	c |   1480228 |    1100    22000   110000 |   101448   101675    153 |  0.000 % |
1132.08/1132.77	c |   1482482 |    1100    22000   110000 |   101448    92205    152 |  0.000 % |
1133.98/1134.68	c |   1484960 |    1100    22000   110000 |   101448    94683    153 |  0.000 % |
1135.98/1136.69	c |   1487686 |    1100    22000   110000 |   101448    97409    152 |  0.000 % |
1138.38/1139.06	c |   1490683 |    1100    22000   110000 |    99725    88883    153 |  0.000 % |
1140.78/1141.41	c |   1493979 |    1100    22000   110000 |    99725    92179    153 |  0.000 % |
1143.58/1144.20	c |   1497605 |    1100    22000   110000 |    99725    95805    152 |  0.000 % |
1146.58/1147.23	c |   1501594 |    1100    22000   110000 | 2147483647    99794    152 |  0.000 % |
1150.17/1150.80	c |   1505979 |    1100    22000   110000 | 2147483647   104179    152 |  0.000 % |
1154.27/1154.98	c |   1510803 |    1100    22000   110000 |   108201    94966    152 |  0.000 % |
1158.47/1159.14	c |   1516108 |    1100    22000   110000 |   108201   100271    152 |  0.000 % |
1163.66/1164.35	c |   1521944 |    1100    22000   110000 |   104163    92433    150 |  0.000 % |
1168.96/1169.65	c |   1528362 |    1100    22000   110000 |   104163    98851    151 |  0.000 % |
1174.56/1175.26	c |   1535421 |    1100    22000   110000 |   100489    93504    149 |  0.000 % |
1180.66/1181.35	c |   1543187 |    1100    22000   110000 |    98083    90059    147 |  0.000 % |
1187.75/1188.43	c |   1551731 |    1100    22000   110000 |    96872    87935    149 |  0.000 % |
1195.65/1196.35	c |   1561125 |    1100    22000   110000 |    96206    86066    150 |  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-1832481-1242773848/watcher-1832481-1242773848 -o /tmp/evaluation-result-1832481-1242773848/solver-1832481-1242773848 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832481-1242773848.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 12110
/proc/meminfo: memFree=1976176/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0
/proc/12110/stat : 12110 (SatELiteGTI) R 12108 12110 11857 0 -1 4194304 288 249 0 0 0 0 0 0 18 0 1 0 305412515 5484544 236 1992294400 4194304 4889804 548682068832 18446744073709551615 255539773522 0 0 4100 65536 0 0 0 17 0 0 0
/proc/12110/statm: 1339 237 197 169 0 50 0

[startup+0.0620059 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 12110
/proc/meminfo: memFree=1976176/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305412515 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12110/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101003 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 12110
/proc/meminfo: memFree=1976176/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.30202 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 12110
/proc/meminfo: memFree=1976176/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701056 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 12110
/proc/meminfo: memFree=1976176/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50113 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12116
/proc/meminfo: memFree=1969568/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=7316 CPUtime=1.4
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 1605 0 0 0 140 0 0 0 25 0 1 0 305412521 7491584 1591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 1829 1591 77 171 0 1656 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 12672

[startup+3.10128 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12116
/proc/meminfo: memFree=1967392/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=11724 CPUtime=3
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 2717 0 0 0 298 2 0 0 25 0 1 0 305412521 12005376 2703 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 2931 2703 77 171 0 2758 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 17080

[startup+6.30258 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12116
/proc/meminfo: memFree=1959136/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=18808 CPUtime=6.2
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 4465 0 0 0 617 3 0 0 25 0 1 0 305412521 19259392 4451 1992294400 134512640 135215339 4294956240 18446744073709551615 134538490 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 4702 4451 77 171 0 4529 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 24164

[startup+12.7012 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12116
/proc/meminfo: memFree=1948448/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=28788 CPUtime=12.59
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 6944 0 0 0 1254 5 0 0 25 0 1 0 305412521 29478912 6930 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 7197 6930 77 171 0 7024 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 34144

[startup+25.5014 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12116
/proc/meminfo: memFree=1933664/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=42900 CPUtime=25.38
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 10485 0 0 0 2529 9 0 0 25 0 1 0 305412521 43929600 10471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 10725 10471 77 171 0 10552 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 48256

[startup+51.1017 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12116
/proc/meminfo: memFree=1917152/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=59184 CPUtime=50.96
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 14526 0 0 0 5082 14 0 0 25 0 1 0 305412521 60604416 14512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 14796 14512 77 171 0 14623 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 64540

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12116
/proc/meminfo: memFree=1916512/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=59712 CPUtime=102.13
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 14649 0 0 0 10198 15 0 0 25 0 1 0 305412521 61145088 14635 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 14928 14635 77 171 0 14755 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 65068

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12116
/proc/meminfo: memFree=1914208/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=62352 CPUtime=162.09
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 15334 0 0 0 16193 16 0 0 25 0 1 0 305412521 63848448 15320 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 15588 15320 77 171 0 15415 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 67708

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1908384/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=67368 CPUtime=222.05
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 16590 0 0 0 22187 18 0 0 25 0 1 0 305412521 68984832 16576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 16842 16576 77 171 0 16669 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 72724

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1907488/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=68160 CPUtime=282.02
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 16785 0 0 0 28184 18 0 0 25 0 1 0 305412521 69795840 16771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 17040 16771 77 171 0 16867 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 73516

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1905824/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=69744 CPUtime=341.99
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 17178 0 0 0 34180 19 0 0 25 0 1 0 305412521 71417856 17164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 17436 17164 77 171 0 17263 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 75100

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1904672/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=70800 CPUtime=401.97
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 17449 0 0 0 40177 20 0 0 25 0 1 0 305412521 72499200 17435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 17700 17435 77 171 0 17527 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 76156

[startup+462.302 s]

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

/proc/12116/statm: 17722 17456 77 171 0 17549 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 76244

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1904224/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=70888 CPUtime=641.87
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 17470 0 0 0 64167 20 0 0 25 0 1 0 305412521 72589312 17456 1992294400 134512640 135215339 4294956240 18446744073709551615 134539076 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 17722 17456 77 171 0 17549 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 76244

[startup+702.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1904032/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=70876 CPUtime=701.83
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 17470 0 0 0 70163 20 0 0 25 0 1 0 305412521 72577024 17456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 17719 17456 77 171 0 17546 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 76232

[startup+762.306 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1903904/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=70876 CPUtime=761.81
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 17470 0 0 0 76161 20 0 0 25 0 1 0 305412521 72577024 17456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528653 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 17719 17456 77 171 0 17546 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 76232

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1902688/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=72196 CPUtime=821.79
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 17790 0 0 0 82158 21 0 0 25 0 1 0 305412521 73928704 17776 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 18049 17776 77 171 0 17876 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 77552

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1903200/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=71348 CPUtime=881.76
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 17790 0 0 0 88155 21 0 0 25 0 1 0 305412521 73060352 17582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 17837 17582 77 171 0 17664 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 76704

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1901472/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=73196 CPUtime=941.73
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 18233 0 0 0 94151 22 0 0 25 0 1 0 305412521 74952704 18025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 18299 18025 77 171 0 18126 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 78552

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1901408/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=73196 CPUtime=1001.7
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 18233 0 0 0 100148 22 0 0 25 0 1 0 305412521 74952704 18025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 18299 18025 77 171 0 18126 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 78552

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1901408/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=72868 CPUtime=1061.67
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 18233 0 0 0 106145 22 0 0 25 0 1 0 305412521 74616832 17962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 18217 17962 77 171 0 18044 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 78224

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1901344/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=72868 CPUtime=1121.63
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 18233 0 0 0 112140 23 0 0 25 0 1 0 305412521 74616832 17962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 18217 17962 77 171 0 18044 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 78224

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1897824/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=76432 CPUtime=1181.61
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 19123 0 0 0 118137 24 0 0 25 0 1 0 305412521 78266368 18852 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 19108 18852 77 171 0 18935 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 81788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1897760/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=76432 CPUtime=1200.01
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 19123 0 0 0 119977 24 0 0 25 0 1 0 305412521 78266368 18852 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 19108 18852 77 171 0 18935 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 81788

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

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

[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 12122
/proc/meminfo: memFree=1897760/2055920 swapFree=4179644/4192956
[pid=12110] ppid=12108 vsize=5356 CPUtime=0.05
/proc/12110/stat : 12110 (SatELiteGTI) S 12108 12110 11857 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305412515 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12110/statm: 1339 239 197 169 0 50 0
[pid=12116] ppid=12110 vsize=76432 CPUtime=1200.01
/proc/12116/stat : 12116 (minisat_static) R 12110 12110 11857 0 -1 4194304 19123 0 0 0 119977 24 0 0 25 0 1 0 305412521 78266368 18852 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/12116/statm: 19108 18852 77 171 0 18935 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 81788

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.71
CPU time (s): 1200.06
CPU user time (s): 1199.82
CPU system time (s): 0.24
CPU usage (%): 99.9456
Max. virtual memory (cumulated for all children) (KiB): 81788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.053991
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1158
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 0.996848 second user time and 3.50047 second system time

The end

Launcher Data

Begin job on node48 at 2009-05-20 00:57:28
IDJOB=1832481
IDBENCH=70204
IDSOLVER=671
FILE ID=node48/1832481-1242773848
PBS_JOBID= 9322253
Free space on /tmp= 66408 MiB

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

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

MD5SUM BENCH= 30068bb62ff2ae5a4888c347460a4a1d
RANDOM SEED=1031074075

node48.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.209
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.209
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:       1976664 kB
Buffers:          9564 kB
Cached:          35076 kB
SwapCached:       7448 kB
Active:          17992 kB
Inactive:        35424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1976664 kB
SwapTotal:     4192956 kB
SwapFree:      4179644 kB
Dirty:            2120 kB
Writeback:           0 kB
Mapped:          13952 kB
Slab:            11892 kB
Committed_AS:  1093364 kB
PageTables:       1376 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= 66404 MiB
End job on node48 at 2009-05-20 01:17:31