Trace number 1832483

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
MD5SUMa1edfaeac2621d913d1c4fa9fc78f271
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark169.393
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.019996 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.08	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |    1100    22000   110000 |     7333        0    nan |  0.000 % |
0.00/0.10	c |       100 |    1100    22000   110000 |     7333      100    127 |  0.000 % |
0.05/0.11	c |       200 |    1100    22000   110000 |     7333      200    124 |  0.000 % |
0.05/0.12	c |       300 |    1100    22000   110000 |     7333      300    124 |  0.000 % |
0.05/0.14	c |       410 |    1100    22000   110000 |     7333      410    126 |  0.000 % |
0.05/0.15	c |       510 |    1100    22000   110000 |     7333      510    127 |  0.000 % |
0.05/0.16	c |       622 |    1100    22000   110000 |     7333      622    128 |  0.000 % |
0.05/0.18	c |       744 |    1100    22000   110000 |     7333      744    132 |  0.000 % |
0.05/0.19	c |       845 |    1100    22000   110000 |     7333      845    131 |  0.000 % |
0.05/0.20	c |       957 |    1100    22000   110000 |     7333      957    132 |  0.000 % |
0.05/0.22	c |      1078 |    1100    22000   110000 |     7333     1078    131 |  0.000 % |
0.05/0.24	c |      1212 |    1100    22000   110000 |     7333     1212    131 |  0.000 % |
0.05/0.25	c |      1316 |    1100    22000   110000 |     7333     1316    129 |  0.000 % |
0.05/0.27	c |      1428 |    1100    22000   110000 |     7333     1428    129 |  0.000 % |
0.05/0.28	c |      1550 |    1100    22000   110000 |     7333     1550    128 |  0.000 % |
0.05/0.30	c |      1684 |    1100    22000   110000 |     7333     1684    126 |  0.000 % |
0.05/0.31	c |      1830 |    1100    22000   110000 |     7333     1830    127 |  0.000 % |
0.05/0.33	c |      1931 |    1100    22000   110000 |     7333     1931    127 |  0.000 % |
0.05/0.34	c |      2041 |    1100    22000   110000 |     7333     2041    128 |  0.000 % |
0.05/0.36	c |      2162 |    1100    22000   110000 |     7333     2162    129 |  0.000 % |
0.05/0.37	c |      2297 |    1100    22000   110000 |     7333     2297    129 |  0.000 % |
0.05/0.39	c |      2443 |    1100    22000   110000 |     7333     2443    129 |  0.000 % |
0.05/0.41	c |      2603 |    1100    22000   110000 |     7333     2603    128 |  0.000 % |
0.05/0.43	c |      2706 |    1100    22000   110000 |     7333     2706    128 |  0.000 % |
0.05/0.44	c |      2817 |    1100    22000   110000 |     7333     2817    126 |  0.000 % |
0.05/0.46	c |      2939 |    1100    22000   110000 |     7333     2939    127 |  0.000 % |
0.05/0.48	c |      3073 |    1100    22000   110000 |     7333     3073    127 |  0.000 % |
0.05/0.50	c |      3221 |    1100    22000   110000 |     7333     3221    127 |  0.000 % |
0.05/0.52	c |      3381 |    1100    22000   110000 |     7333     3381    128 |  0.000 % |
0.05/0.54	c |      3557 |    1100    22000   110000 |     7333     3557    127 |  0.000 % |
0.05/0.56	c |      3658 |    1100    22000   110000 |     7333     3658    127 |  0.000 % |
0.05/0.57	c |      3768 |    1100    22000   110000 |     7333     3768    127 |  0.000 % |
0.05/0.59	c |      3889 |    1100    22000   110000 |     7333     3889    126 |  0.000 % |
0.05/0.60	c |      4022 |    1100    22000   110000 |     7333     4022    126 |  0.000 % |
0.05/0.62	c |      4168 |    1100    22000   110000 |     7333     4168    126 |  0.000 % |
0.05/0.65	c |      4330 |    1100    22000   110000 |     7333     4330    126 |  0.000 % |
0.05/0.67	c |      4507 |    1100    22000   110000 |     7333     4507    126 |  0.000 % |
0.05/0.70	c |      4701 |    1100    22000   110000 |     7333     4701    126 |  0.000 % |
0.05/0.71	c |      4802 |    1100    22000   110000 |     7333     4802    126 |  0.000 % |
0.05/0.73	c |      4915 |    1100    22000   110000 |     7333     4915    126 |  0.000 % |
0.05/0.75	c |      5037 |    1100    22000   110000 |     7333     5037    126 |  0.000 % |
0.05/0.77	c |      5171 |    1100    22000   110000 |     7333     5171    126 |  0.000 % |
0.05/0.79	c |      5317 |    1100    22000   110000 |     7333     5317    126 |  0.000 % |
0.05/0.81	c |      5480 |    1100    22000   110000 |     7333     5480    126 |  0.000 % |
0.05/0.84	c |      5656 |    1100    22000   110000 |     7333     5656    126 |  0.000 % |
0.05/0.87	c |      5849 |    1100    22000   110000 |     7333     5849    126 |  0.000 % |
0.05/0.90	c |      6062 |    1100    22000   110000 |     7333     6062    127 |  0.000 % |
0.05/0.91	c |      6162 |    1100    22000   110000 |     7333     6162    127 |  0.000 % |
0.05/0.93	c |      6272 |    1100    22000   110000 |     7333     6272    127 |  0.000 % |
0.05/0.95	c |      6393 |    1100    22000   110000 |     7333     6393    127 |  0.000 % |
0.05/0.97	c |      6527 |    1100    22000   110000 |     7333     6527    127 |  0.000 % |
0.05/0.99	c |      6673 |    1100    22000   110000 |     7333     6673    127 |  0.000 % |
0.97/1.02	c |      6834 |    1100    22000   110000 |     7333     6834    127 |  0.000 % |
0.97/1.05	c |      7011 |    1100    22000   110000 |     7333     7011    127 |  0.000 % |
0.97/1.09	c |      7204 |    1100    22000   110000 |     7333     7204    127 |  0.000 % |
1.07/1.12	c |      7416 |    1100    22000   110000 |     7333     7416    127 |  0.000 % |
1.07/1.16	c |      7651 |    1100    22000   110000 |     7333     6910    125 |  0.000 % |
1.07/1.18	c |      7751 |    1100    22000   110000 |     7333     7010    125 |  0.000 % |
1.07/1.20	c |      7861 |    1100    22000   110000 |     7333     7120    126 |  0.000 % |
1.17/1.21	c |      7982 |    1100    22000   110000 |     7333     7241    125 |  0.000 % |
1.17/1.24	c |      8115 |    1100    22000   110000 |     7333     7374    125 |  0.000 % |
1.17/1.26	c |      8263 |    1100    22000   110000 |     7333     6785    125 |  0.000 % |
1.17/1.29	c |      8423 |    1100    22000   110000 |     7333     6945    125 |  0.000 % |
1.27/1.32	c |      8599 |    1100    22000   110000 |     7333     7121    125 |  0.000 % |
1.27/1.35	c |      8794 |    1100    22000   110000 |     7333     7316    126 |  0.000 % |
1.27/1.39	c |      9006 |    1100    22000   110000 |     7333     7528    126 |  0.000 % |
1.37/1.43	c |      9240 |    1100    22000   110000 |     7333     7010    126 |  0.000 % |
1.37/1.47	c |      9497 |    1100    22000   110000 |     7333     7267    127 |  0.000 % |
1.37/1.48	c |      9597 |    1100    22000   110000 |     7333     7367    127 |  0.000 % |
1.47/1.51	c |      9707 |    1100    22000   110000 |     7333     6741    127 |  0.000 % |
1.47/1.53	c |      9828 |    1100    22000   110000 |     7333     6862    127 |  0.000 % |
1.47/1.55	c |      9963 |    1100    22000   110000 |     7333     6997    127 |  0.000 % |
1.47/1.58	c |     10109 |    1100    22000   110000 | 2147483647     7143    127 |  0.000 % |
1.57/1.60	c |     10269 |    1100    22000   110000 | 2147483647     7303    127 |  0.000 % |
1.57/1.63	c |     10447 |    1100    22000   110000 | 2147483647     7481    128 |  0.000 % |
1.57/1.67	c |     10641 |    1100    22000   110000 | 2147483647     7675    128 |  0.000 % |
1.66/1.70	c |     10853 |    1100    22000   110000 | 2147483647     7887    128 |  0.000 % |
1.66/1.74	c |     11087 |    1100    22000   110000 | 2147483647     8121    129 |  0.000 % |
1.66/1.79	c |     11343 |    1100    22000   110000 | 2147483647     8377    128 |  0.000 % |
1.76/1.84	c |     11625 |    1100    22000   110000 | 2147483647     8659    129 |  0.000 % |
1.76/1.85	c |     11725 |    1100    22000   110000 | 2147483647     8759    129 |  0.000 % |
1.76/1.87	c |     11836 |    1100    22000   110000 | 2147483647     8870    128 |  0.000 % |
1.76/1.89	c |     11958 |    1100    22000   110000 | 2147483647     8992    128 |  0.000 % |
1.87/1.92	c |     12091 |    1100    22000   110000 | 2147483647     9125    128 |  0.000 % |
1.87/1.94	c |     12237 |    1100    22000   110000 | 2147483647     9271    128 |  0.000 % |
1.87/1.98	c |     12397 |    1100    22000   110000 | 2147483647     9431    128 |  0.000 % |
1.97/2.01	c |     12573 |    1100    22000   110000 | 2147483647     9607    128 |  0.000 % |
1.97/2.04	c |     12766 |    1100    22000   110000 | 2147483647     9800    128 |  0.000 % |
1.97/2.08	c |     12978 |    1100    22000   110000 | 2147483647    10012    129 |  0.000 % |
2.07/2.13	c |     13212 |    1100    22000   110000 | 2147483647    10246    129 |  0.000 % |
2.07/2.18	c |     13468 |    1100    22000   110000 | 2147483647    10502    129 |  0.000 % |
2.17/2.23	c |     13753 |    1100    22000   110000 | 2147483647    10787    129 |  0.000 % |
2.17/2.29	c |     14062 |    1100    22000   110000 | 2147483647    11096    129 |  0.000 % |
2.27/2.31	c |     14163 |    1100    22000   110000 | 2147483647    11197    129 |  0.000 % |
2.27/2.34	c |     14274 |    1100    22000   110000 | 2147483647    11308    129 |  0.000 % |
2.27/2.36	c |     14397 |    1100    22000   110000 | 2147483647    11431    129 |  0.000 % |
2.27/2.38	c |     14531 |    1100    22000   110000 | 2147483647    11565    129 |  0.000 % |
2.37/2.42	c |     14678 |    1100    22000   110000 | 2147483647    11712    129 |  0.000 % |
2.37/2.45	c |     14838 |    1100    22000   110000 | 2147483647    11872    129 |  0.000 % |
2.37/2.48	c |     15014 |    1100    22000   110000 | 2147483647    12048    129 |  0.000 % |
2.47/2.53	c |     15207 |    1100    22000   110000 | 2147483647    12241    129 |  0.000 % |
2.47/2.57	c |     15419 |    1100    22000   110000 | 2147483647    12453    129 |  0.000 % |
2.57/2.62	c |     15652 |    1100    22000   110000 | 2147483647    12686    130 |  0.000 % |
2.57/2.67	c |     15909 |    1100    22000   110000 | 2147483647    12943    130 |  0.000 % |
2.67/2.73	c |     16190 |    1100    22000   110000 | 2147483647    13224    130 |  0.000 % |
2.67/2.79	c |     16499 |    1100    22000   110000 | 2147483647    13533    130 |  0.000 % |
2.77/2.86	c |     16838 |    1100    22000   110000 | 2147483647    13872    130 |  0.000 % |
2.77/2.88	c |     16941 |    1100    22000   110000 | 2147483647    13975    130 |  0.000 % |
2.87/2.90	c |     17051 |    1100    22000   110000 | 2147483647    14085    130 |  0.000 % |
2.87/2.93	c |     17172 |    1100    22000   110000 | 2147483647    14206    130 |  0.000 % |
2.87/2.96	c |     17306 |    1100    22000   110000 | 2147483647    14340    129 |  0.000 % |
2.87/3.00	c |     17457 |    1100    22000   110000 | 2147483647    14491    129 |  0.000 % |
2.96/3.04	c |     17620 |    1100    22000   110000 | 2147483647    14654    129 |  0.000 % |
2.96/3.07	c |     17797 |    1100    22000   110000 | 2147483647    14831    130 |  0.000 % |
3.06/3.11	c |     17990 |    1100    22000   110000 | 2147483647    15024    130 |  0.000 % |
3.06/3.16	c |     18202 |    1100    22000   110000 | 2147483647    15236    130 |  0.000 % |
3.17/3.21	c |     18435 |    1100    22000   110000 | 2147483647    15469    130 |  0.000 % |
3.17/3.27	c |     18691 |    1100    22000   110000 | 2147483647    15725    130 |  0.000 % |
3.27/3.33	c |     18972 |    1100    22000   110000 | 2147483647    16006    130 |  0.000 % |
3.36/3.40	c |     19283 |    1100    22000   110000 | 2147483647    16317    130 |  0.000 % |
3.36/3.48	c |     19622 |    1100    22000   110000 | 2147483647    16656    131 |  0.000 % |
3.46/3.56	c |     19997 |    1100    22000   110000 | 2147483647    17031    131 |  0.000 % |
3.46/3.58	c |     20098 |    1100    22000   110000 | 2147483647    17132    131 |  0.000 % |
3.56/3.62	c |     20209 |    1100    22000   110000 | 2147483647    17243    130 |  0.000 % |
3.56/3.65	c |     20330 |    1100    22000   110000 | 2147483647    17364    130 |  0.000 % |
3.56/3.68	c |     20466 |    1100    22000   110000 | 2147483647    17500    130 |  0.000 % |
3.66/3.72	c |     20613 |    1100    22000   110000 | 2147483647    17647    130 |  0.000 % |
3.66/3.76	c |     20774 |    1100    22000   110000 | 2147483647    17808    130 |  0.000 % |
3.76/3.80	c |     20951 |    1100    22000   110000 | 2147483647    17985    130 |  0.000 % |
3.76/3.85	c |     21144 |    1100    22000   110000 | 2147483647    18178    130 |  0.000 % |
3.86/3.90	c |     21360 |    1100    22000   110000 | 2147483647    18394    130 |  0.000 % |
3.86/3.96	c |     21593 |    1100    22000   110000 | 2147483647    18627    130 |  0.000 % |
3.96/4.03	c |     21849 |    1100    22000   110000 | 2147483647    18883    130 |  0.000 % |
3.96/4.09	c |     22130 |    1100    22000   110000 | 2147483647    19164    130 |  0.000 % |
4.06/4.17	c |     22440 |    1100    22000   110000 | 2147483647    19474    130 |  0.000 % |
4.16/4.25	c |     22779 |    1100    22000   110000 | 2147483647    19813    130 |  0.000 % |
4.27/4.34	c |     23154 |    1100    22000   110000 | 2147483647    20188    130 |  0.000 % |
4.37/4.44	c |     23564 |    1100    22000   110000 | 2147483647    20598    130 |  0.000 % |
4.37/4.48	c |     23664 |    1100    22000   110000 | 2147483647    20698    130 |  0.000 % |
4.46/4.51	c |     23774 |    1100    22000   110000 | 2147483647    20808    130 |  0.000 % |
4.46/4.54	c |     23895 |    1100    22000   110000 | 2147483647    20929    130 |  0.000 % |
4.46/4.58	c |     24029 |    1100    22000   110000 | 2147483647    21063    130 |  0.000 % |
4.56/4.62	c |     24176 |    1100    22000   110000 | 2147483647    21210    130 |  0.000 % |
4.56/4.66	c |     24336 |    1100    22000   110000 | 2147483647    21370    130 |  0.000 % |
4.66/4.71	c |     24512 |    1100    22000   110000 | 2147483647    21546    130 |  0.000 % |
4.66/4.77	c |     24705 |    1100    22000   110000 | 2147483647    21739    130 |  0.000 % |
4.76/4.83	c |     24917 |    1100    22000   110000 | 2147483647    21951    130 |  0.000 % |
4.76/4.89	c |     25151 |    1100    22000   110000 | 2147483647    22185    130 |  0.000 % |
4.87/4.96	c |     25408 |    1100    22000   110000 | 2147483647    22442    130 |  0.000 % |
4.97/5.04	c |     25689 |    1100    22000   110000 | 2147483647    22723    131 |  0.000 % |
5.07/5.12	c |     25998 |    1100    22000   110000 | 2147483647    23032    131 |  0.000 % |
5.17/5.22	c |     26338 |    1100    22000   110000 | 2147483647    23372    131 |  0.000 % |
5.27/5.32	c |     26710 |    1100    22000   110000 | 2147483647    23744    131 |  0.000 % |
5.37/5.43	c |     27119 |    1100    22000   110000 | 2147483647    24153    131 |  0.000 % |
5.47/5.56	c |     27568 |    1100    22000   110000 | 2147483647    24602    131 |  0.000 % |
5.57/5.60	c |     27670 |    1100    22000   110000 | 2147483647    24704    131 |  0.000 % |
5.57/5.64	c |     27781 |    1100    22000   110000 | 2147483647    24815    131 |  0.000 % |
5.57/5.67	c |     27905 |    1100    22000   110000 | 2147483647    24939    131 |  0.000 % |
5.67/5.71	c |     28038 |    1100    22000   110000 | 2147483647    25072    131 |  0.000 % |
5.67/5.76	c |     28184 |    1100    22000   110000 | 2147483647    25218    131 |  0.000 % |
5.77/5.81	c |     28344 |    1100    22000   110000 | 2147483647    25378    131 |  0.000 % |
5.77/5.87	c |     28521 |    1100    22000   110000 | 2147483647    25555    131 |  0.000 % |
5.87/5.93	c |     28715 |    1100    22000   110000 | 2147483647    25749    131 |  0.000 % |
5.87/5.99	c |     28928 |    1100    22000   110000 | 2147483647    25962    131 |  0.000 % |
5.97/6.06	c |     29162 |    1100    22000   110000 | 2147483647    26196    131 |  0.000 % |
6.07/6.13	c |     29419 |    1100    22000   110000 | 2147483647    26453    131 |  0.000 % |
6.16/6.21	c |     29700 |    1100    22000   110000 | 2147483647    26734    131 |  0.000 % |
6.26/6.31	c |     30010 |    1100    22000   110000 | 2147483647    27044    131 |  0.000 % |
6.36/6.41	c |     30349 |    1100    22000   110000 | 2147483647    27383    131 |  0.000 % |
6.47/6.53	c |     30722 |    1100    22000   110000 | 2147483647    27756    131 |  0.000 % |
6.57/6.66	c |     31131 |    1100    22000   110000 | 2147483647    28165    131 |  0.000 % |
6.76/6.80	c |     31580 |    1100    22000   110000 | 2147483647    28614    132 |  0.000 % |
6.86/6.97	c |     32073 |    1100    22000   110000 | 2147483647    29107    132 |  0.000 % |
6.96/7.00	c |     32174 |    1100    22000   110000 | 2147483647    29208    132 |  0.000 % |
6.96/7.05	c |     32284 |    1100    22000   110000 | 2147483647    29318    132 |  0.000 % |
6.96/7.09	c |     32406 |    1100    22000   110000 | 2147483647    29440    132 |  0.000 % |
7.07/7.14	c |     32540 |    1100    22000   110000 | 2147483647    29574    132 |  0.000 % |
7.07/7.20	c |     32687 |    1100    22000   110000 | 2147483647    29721    132 |  0.000 % |
7.17/7.24	c |     32847 |    1100    22000   110000 | 2147483647    29881    132 |  0.000 % |
7.27/7.31	c |     33023 |    1100    22000   110000 | 2147483647    30057    132 |  0.000 % |
7.27/7.38	c |     33216 |    1100    22000   110000 | 2147483647    30250    132 |  0.000 % |
7.37/7.46	c |     33428 |    1100    22000   110000 | 2147483647    30462    132 |  0.000 % |
7.47/7.54	c |     33663 |    1100    22000   110000 | 2147483647    30697    132 |  0.000 % |
7.57/7.62	c |     33920 |    1100    22000   110000 | 2147483647    30954    132 |  0.000 % |
7.67/7.71	c |     34202 |    1100    22000   110000 | 2147483647    31236    132 |  0.000 % |
7.77/7.81	c |     34511 |    1100    22000   110000 | 2147483647    31545    132 |  0.000 % |
7.87/7.95	c |     34851 |    1100    22000   110000 | 2147483647    31885    132 |  0.000 % |
7.97/8.09	c |     35223 |    1100    22000   110000 | 2147483647    32257    132 |  0.000 % |
8.17/8.23	c |     35632 |    1100    22000   110000 | 2147483647    32666    132 |  0.000 % |
8.27/8.38	c |     36082 |    1100    22000   110000 | 2147483647    33116    132 |  0.000 % |
8.47/8.55	c |     36577 |    1100    22000   110000 | 2147483647    33611    132 |  0.000 % |
8.67/8.75	c |     37122 |    1100    22000   110000 | 2147483647    34156    132 |  0.000 % |
8.67/8.79	c |     37222 |    1100    22000   110000 | 2147483647    34256    132 |  0.000 % |
8.77/8.83	c |     37332 |    1100    22000   110000 | 2147483647    34366    132 |  0.000 % |
8.77/8.88	c |     37453 |    1100    22000   110000 | 2147483647    34487    132 |  0.000 % |
8.87/8.93	c |     37586 |    1100    22000   110000 | 2147483647    34620    132 |  0.000 % |
8.97/9.00	c |     37733 |    1100    22000   110000 | 2147483647    34767    132 |  0.000 % |
8.97/9.06	c |     37893 |    1100    22000   110000 | 2147483647    34927    132 |  0.000 % |
9.07/9.13	c |     38069 |    1100    22000   110000 | 2147483647    35103    132 |  0.000 % |
9.17/9.22	c |     38263 |    1100    22000   110000 | 2147483647    35297    132 |  0.000 % |
9.17/9.30	c |     38478 |    1100    22000   110000 | 2147483647    35512    132 |  0.000 % |
9.27/9.39	c |     38713 |    1100    22000   110000 | 2147483647    35747    132 |  0.000 % |
9.37/9.48	c |     38971 |    1100    22000   110000 | 2147483647    36005    132 |  0.000 % |
9.47/9.59	c |     39252 |    1100    22000   110000 | 2147483647    36286    132 |  0.000 % |
9.67/9.71	c |     39564 |    1100    22000   110000 | 2147483647    36598    132 |  0.000 % |
9.77/9.84	c |     39903 |    1100    22000   110000 | 2147483647    36937    132 |  0.000 % |
9.97/10.00	c |     40277 |    1100    22000   110000 | 2147483647    37311    132 |  0.000 % |
10.07/10.15	c |     40686 |    1100    22000   110000 | 2147483647    37720    132 |  0.000 % |
10.27/10.32	c |     41138 |    1100    22000   110000 | 2147483647    38172    132 |  0.000 % |
10.47/10.51	c |     41632 |    1100    22000   110000 | 2147483647    38666    132 |  0.000 % |
10.67/10.72	c |     42176 |    1100    22000   110000 | 2147483647    39210    132 |  0.000 % |
10.87/10.96	c |     42774 |    1100    22000   110000 | 2147483647    39808    132 |  0.000 % |
10.87/11.00	c |     42875 |    1100    22000   110000 | 2147483647    39909    132 |  0.000 % |
10.97/11.04	c |     42986 |    1100    22000   110000 | 2147483647    40020    132 |  0.000 % |
11.06/11.10	c |     43107 |    1100    22000   110000 | 2147483647    40141    132 |  0.000 % |
11.06/11.16	c |     43241 |    1100    22000   110000 | 2147483647    40275    132 |  0.000 % |
11.16/11.21	c |     43387 |    1100    22000   110000 | 2147483647    40421    132 |  0.000 % |
11.16/11.28	c |     43547 |    1100    22000   110000 | 2147483647    40581    132 |  0.000 % |
11.26/11.37	c |     43723 |    1100    22000   110000 | 2147483647    40757    132 |  0.000 % |
11.36/11.44	c |     43916 |    1100    22000   110000 | 2147483647    40950    132 |  0.000 % |
11.46/11.54	c |     44128 |    1100    22000   110000 | 2147483647    41162    132 |  0.000 % |
11.56/11.64	c |     44361 |    1100    22000   110000 | 2147483647    41395    132 |  0.000 % |
11.66/11.75	c |     44618 |    1100    22000   110000 | 2147483647    41652    132 |  0.000 % |
11.76/11.87	c |     44900 |    1100    22000   110000 | 2147483647    41934    132 |  0.000 % |
11.97/12.00	c |     45211 |    1100    22000   110000 | 2147483647    42245    132 |  0.000 % |
12.07/12.14	c |     45551 |    1100    22000   110000 | 2147483647    42585    132 |  0.000 % |
12.26/12.31	c |     45924 |    1100    22000   110000 | 2147483647    42958    132 |  0.000 % |
12.36/12.48	c |     46334 |    1100    22000   110000 | 2147483647    43368    132 |  0.000 % |
12.57/12.67	c |     46784 |    1100    22000   110000 | 2147483647    43818    132 |  0.000 % |
12.77/12.84	c |     47277 |    1100    22000   110000 | 2147483647    44311    132 |  0.000 % |
12.97/13.09	c |     47820 |    1100    22000   110000 | 2147483647    44854    133 |  0.000 % |
13.27/13.34	c |     48416 |    1100    22000   110000 | 2147483647    45450    133 |  0.000 % |
13.57/13.63	c |     49073 |    1100    22000   110000 | 2147483647    46107    133 |  0.000 % |
13.57/13.69	c |     49173 |    1100    22000   110000 | 2147483647    46207    133 |  0.000 % |
13.67/13.75	c |     49284 |    1100    22000   110000 | 2147483647    46318    133 |  0.000 % |
13.76/13.81	c |     49405 |    1100    22000   110000 | 2147483647    46439    133 |  0.000 % |
13.76/13.87	c |     49540 |    1100    22000   110000 | 2147483647    46574    133 |  0.000 % |
13.86/13.95	c |     49686 |    1100    22000   110000 | 2147483647    46720    133 |  0.000 % |
13.96/14.03	c |     49846 |    1100    22000   110000 | 2147483647    46880    133 |  0.000 % |
14.06/14.11	c |     50022 |    1100    22000   110000 | 2147483647    47056    133 |  0.000 % |
14.17/14.22	c |     50215 |    1100    22000   110000 | 2147483647    47249    133 |  0.000 % |
14.27/14.32	c |     50428 |    1100    22000   110000 | 2147483647    47462    133 |  0.000 % |
14.36/14.45	c |     50663 |    1100    22000   110000 | 2147483647    47697    133 |  0.000 % |
14.46/14.56	c |     50919 |    1100    22000   110000 | 2147483647    47953    133 |  0.000 % |
14.56/14.68	c |     51200 |    1100    22000   110000 | 2147483647    48234    133 |  0.000 % |
14.77/14.82	c |     51509 |    1100    22000   110000 | 2147483647    48543    133 |  0.000 % |
14.87/14.99	c |     51850 |    1100    22000   110000 | 2147483647    48884    133 |  0.000 % |
15.07/15.18	c |     52222 |    1100    22000   110000 | 2147483647    49256    133 |  0.000 % |
15.27/15.38	c |     52634 |    1100    22000   110000 | 2147483647    49668    133 |  0.000 % |
15.57/15.60	c |     53084 |    1100    22000   110000 | 2147483647    50118    133 |  0.000 % |
15.77/15.85	c |     53577 |    1100    22000   110000 | 2147483647    50611    133 |  0.000 % |
16.06/16.12	c |     54122 |    1100    22000   110000 | 2147483647    51156    133 |  0.000 % |
16.26/16.40	c |     54718 |    1100    22000   110000 | 2147483647    51752    133 |  0.000 % |
16.66/16.71	c |     55373 |    1100    22000   110000 | 2147483647    52407    134 |  0.000 % |
16.96/17.07	c |     56097 |    1100    22000   110000 | 2147483647    53131    134 |  0.000 % |
17.07/17.14	c |     56197 |    1100    22000   110000 | 2147483647    53231    134 |  0.000 % |
17.17/17.20	c |     56307 |    1100    22000   110000 | 2147483647    53341    134 |  0.000 % |
17.17/17.26	c |     56428 |    1100    22000   110000 | 2147483647    53462    134 |  0.000 % |
17.27/17.33	c |     56561 |    1100    22000   110000 | 2147483647    53595    134 |  0.000 % |
17.37/17.43	c |     56707 |    1100    22000   110000 | 2147483647    53741    134 |  0.000 % |
17.47/17.50	c |     56867 |    1100    22000   110000 | 2147483647    53901    134 |  0.000 % |
17.47/17.58	c |     57043 |    1100    22000   110000 | 2147483647    54077    134 |  0.000 % |
17.57/17.69	c |     57236 |    1100    22000   110000 | 2147483647    54270    134 |  0.000 % |
17.76/17.80	c |     57449 |    1100    22000   110000 | 2147483647    54483    134 |  0.000 % |
17.86/17.91	c |     57682 |    1100    22000   110000 | 2147483647    54716    134 |  0.000 % |
17.96/18.05	c |     57938 |    1100    22000   110000 | 2147483647    54972    134 |  0.000 % |
18.06/18.20	c |     58222 |    1100    22000   110000 | 2147483647    55256    134 |  0.000 % |
18.26/18.36	c |     58531 |    1100    22000   110000 | 2147483647    55565    134 |  0.000 % |
18.46/18.55	c |     58870 |    1100    22000   110000 | 2147483647    55904    134 |  0.000 % |
18.67/18.77	c |     59242 |    1100    22000   110000 | 2147483647    56276    134 |  0.000 % |
18.86/18.99	c |     59651 |    1100    22000   110000 | 2147483647    56685    134 |  0.000 % |
19.16/19.22	c |     60100 |    1100    22000   110000 | 2147483647    57134    134 |  0.000 % |
19.36/19.50	c |     60593 |    1100    22000   110000 | 2147483647    57627    134 |  0.000 % |
19.76/19.81	c |     61136 |    1100    22000   110000 | 2147483647    58170    134 |  0.000 % |
20.05/20.15	c |     61732 |    1100    22000   110000 | 2147483647    58766    134 |  0.000 % |
20.36/20.49	c |     62387 |    1100    22000   110000 | 2147483647    59421    134 |  0.000 % |
20.77/20.87	c |     63111 |    1100    22000   110000 | 2147483647    60145    134 |  0.000 % |
21.26/21.31	c |     63903 |    1100    22000   110000 | 2147483647    60937    134 |  0.000 % |
21.26/21.37	c |     64003 |    1100    22000   110000 | 2147483647    61037    134 |  0.000 % |
21.36/21.46	c |     64114 |    1100    22000   110000 | 2147483647    61148    134 |  0.000 % |
21.46/21.54	c |     64235 |    1100    22000   110000 | 2147483647    61269    134 |  0.000 % |
21.56/21.62	c |     64368 |    1100    22000   110000 | 2147483647    61402    134 |  0.000 % |
21.66/21.70	c |     64514 |    1100    22000   110000 | 2147483647    61548    134 |  0.000 % |
21.76/21.82	c |     64675 |    1100    22000   110000 | 2147483647    61709    134 |  0.000 % |
21.86/21.94	c |     64852 |    1100    22000   110000 | 2147483647    61886    134 |  0.000 % |
21.96/22.06	c |     65045 |    1100    22000   110000 | 2147483647    62079    134 |  0.000 % |
22.16/22.22	c |     65257 |    1100    22000   110000 | 2147483647    62291    134 |  0.000 % |
22.26/22.37	c |     65491 |    1100    22000   110000 | 2147483647    62525    134 |  0.000 % |
22.45/22.54	c |     65748 |    1100    22000   110000 | 2147483647    62782    134 |  0.000 % |
22.65/22.70	c |     66029 |    1100    22000   110000 | 2147483647    63063    134 |  0.000 % |
22.85/22.90	c |     66338 |    1100    22000   110000 | 2147483647    63372    134 |  0.000 % |
23.06/23.11	c |     66677 |    1100    22000   110000 | 2147483647    63711    134 |  0.000 % |
23.26/23.32	c |     67049 |    1100    22000   110000 | 2147483647    64083    134 |  0.000 % |
23.46/23.57	c |     67459 |    1100    22000   110000 | 2147483647    64493    134 |  0.000 % |
23.76/23.84	c |     67909 |    1100    22000   110000 | 2147483647    64943    134 |  0.000 % |
24.06/24.15	c |     68405 |    1100    22000   110000 | 2147483647    65439    134 |  0.000 % |
24.36/24.45	c |     68947 |    1100    22000   110000 | 2147483647    65981    134 |  0.000 % |
24.76/24.81	c |     69543 |    1100    22000   110000 | 2147483647    66577    134 |  0.000 % |
25.16/25.22	c |     70200 |    1100    22000   110000 | 2147483647    67234    134 |  0.000 % |
25.55/25.63	c |     70921 |    1100    22000   110000 | 2147483647    67955    134 |  0.000 % |
26.05/26.13	c |     71716 |    1100    22000   110000 | 2147483647    68750    134 |  0.000 % |
26.55/26.64	c |     72587 |    1100    22000   110000 | 2147483647    69621    134 |  0.000 % |
26.66/26.72	c |     72687 |    1100    22000   110000 | 2147483647    69721    134 |  0.000 % |
26.76/26.81	c |     72798 |    1100    22000   110000 | 2147483647    69832    134 |  0.000 % |
26.76/26.89	c |     72920 |    1100    22000   110000 | 2147483647    69954    134 |  0.000 % |
26.86/26.98	c |     73054 |    1100    22000   110000 | 2147483647    70088    134 |  0.000 % |
27.06/27.11	c |     73201 |    1100    22000   110000 | 2147483647    70235    134 |  0.000 % |
27.16/27.22	c |     73361 |    1100    22000   110000 | 2147483647    70395    134 |  0.000 % |
27.26/27.35	c |     73537 |    1100    22000   110000 | 2147483647    70571    134 |  0.000 % |
27.36/27.50	c |     73730 |    1100    22000   110000 | 2147483647    70764    134 |  0.000 % |
27.56/27.65	c |     73942 |    1100    22000   110000 | 2147483647    70976    134 |  0.000 % |
27.76/27.80	c |     74175 |    1100    22000   110000 | 2147483647    71209    134 |  0.000 % |
27.85/27.97	c |     74432 |    1100    22000   110000 | 2147483647    71466    134 |  0.000 % |
28.05/28.15	c |     74713 |    1100    22000   110000 | 2147483647    71747    134 |  0.000 % |
28.25/28.34	c |     75022 |    1100    22000   110000 | 2147483647    72056    134 |  0.000 % |
28.46/28.58	c |     75361 |    1100    22000   110000 | 2147483647    72395    134 |  0.000 % |
28.75/28.87	c |     75734 |    1100    22000   110000 | 2147483647    72768    134 |  0.000 % |
29.05/29.16	c |     76143 |    1100    22000   110000 | 2147483647    73177    134 |  0.000 % |
29.35/29.45	c |     76594 |    1100    22000   110000 | 2147483647    73628    134 |  0.000 % |
29.75/29.81	c |     77090 |    1100    22000   110000 | 2147483647    74124    134 |  0.000 % |
30.15/30.22	c |     77632 |    1100    22000   110000 | 2147483647    74666    134 |  0.000 % |
30.55/30.64	c |     78228 |    1100    22000   110000 | 2147483647    75262    134 |  0.000 % |
31.05/31.10	c |     78886 |    1100    22000   110000 | 2147483647    75920    134 |  0.000 % |
31.45/31.59	c |     79608 |    1100    22000   110000 | 2147483647    76642    134 |  0.000 % |
32.05/32.11	c |     80400 |    1100    22000   110000 | 2147483647    77434    134 |  0.000 % |
32.55/32.68	c |     81271 |    1100    22000   110000 | 2147483647    78305    134 |  0.000 % |
33.15/33.29	c |     82231 |    1100    22000   110000 | 2147483647    79265    134 |  0.000 % |
33.25/33.37	c |     82331 |    1100    22000   110000 | 2147483647    79365    134 |  0.000 % |
33.35/33.46	c |     82442 |    1100    22000   110000 | 2147483647    79476    134 |  0.000 % |
33.45/33.56	c |     82563 |    1100    22000   110000 | 2147483647    79597    134 |  0.000 % |
33.55/33.68	c |     82696 |    1100    22000   110000 | 2147483647    79730    134 |  0.000 % |
33.64/33.78	c |     82843 |    1100    22000   110000 | 2147483647    79877    134 |  0.000 % |
33.74/33.89	c |     83003 |    1100    22000   110000 | 2147483647    80037    134 |  0.000 % |
33.95/34.06	c |     83180 |    1100    22000   110000 | 2147483647    80214    134 |  0.000 % |
34.14/34.21	c |     83373 |    1100    22000   110000 | 2147483647    80407    134 |  0.000 % |
34.24/34.39	c |     83586 |    1100    22000   110000 | 2147483647    80620    134 |  0.000 % |
34.44/34.58	c |     83820 |    1100    22000   110000 | 2147483647    80854    134 |  0.000 % |
34.64/34.78	c |     84076 |    1100    22000   110000 | 2147483647    81110    134 |  0.000 % |
34.94/35.00	c |     84358 |    1100    22000   110000 | 2147483647    81392    134 |  0.000 % |
35.15/35.25	c |     84669 |    1100    22000   110000 | 2147483647    81703    134 |  0.000 % |
35.45/35.51	c |     85008 |    1100    22000   110000 | 2147483647    82042    134 |  0.000 % |
35.75/35.80	c |     85381 |    1100    22000   110000 | 2147483647    82415    134 |  0.000 % |
35.95/36.10	c |     85790 |    1100    22000   110000 | 2147483647    82824    134 |  0.000 % |
36.35/36.43	c |     86239 |    1100    22000   110000 | 2147483647    83273    134 |  0.000 % |
36.75/36.80	c |     86733 |    1100    22000   110000 | 2147483647    83767    134 |  0.000 % |
37.15/37.21	c |     87275 |    1100    22000   110000 | 2147483647    84309    134 |  0.000 % |
37.54/37.67	c |     87871 |    1100    22000   110000 | 2147483647    84905    134 |  0.000 % |
38.04/38.14	c |     88526 |    1100    22000   110000 | 2147483647    85560    134 |  0.000 % |
38.64/38.73	c |     89246 |    1100    22000   110000 | 2147483647    86280    134 |  0.000 % |
39.24/39.31	c |     90039 |    1100    22000   110000 | 2147483647    87073    135 |  0.000 % |
39.94/40.02	c |     90912 |    1100    22000   110000 | 2147483647    87946    135 |  0.000 % |
40.64/40.75	c |     91870 |    1100    22000   110000 | 2147483647    88904    135 |  0.000 % |
41.44/41.57	c |     92923 |    1100    22000   110000 | 2147483647    89957    135 |  0.000 % |
41.54/41.65	c |     93024 |    1100    22000   110000 | 2147483647    90058    135 |  0.000 % |
41.64/41.77	c |     93134 |    1100    22000   110000 | 2147483647    90168    135 |  0.000 % |
41.74/41.89	c |     93255 |    1100    22000   110000 | 2147483647    90289    135 |  0.000 % |
41.94/42.02	c |     93390 |    1100    22000   110000 | 2147483647    90424    135 |  0.000 % |
42.04/42.14	c |     93538 |    1100    22000   110000 | 2147483647    90572    135 |  0.000 % |
42.14/42.29	c |     93698 |    1100    22000   110000 | 2147483647    90732    135 |  0.000 % |
42.34/42.45	c |     93876 |    1100    22000   110000 | 2147483647    90910    135 |  0.000 % |
42.55/42.62	c |     94070 |    1100    22000   110000 | 2147483647    91104    135 |  0.000 % |
42.75/42.83	c |     94282 |    1100    22000   110000 | 2147483647    91316    135 |  0.000 % |
42.94/43.03	c |     94516 |    1100    22000   110000 | 2147483647    91550    135 |  0.000 % |
43.14/43.28	c |     94773 |    1100    22000   110000 | 2147483647    91807    135 |  0.000 % |
43.44/43.53	c |     95055 |    1100    22000   110000 | 2147483647    92089    135 |  0.000 % |
43.74/43.81	c |     95364 |    1100    22000   110000 | 2147483647    92398    135 |  0.000 % |
43.95/44.09	c |     95704 |    1100    22000   110000 | 2147483647    92738    135 |  0.000 % |
44.24/44.39	c |     96076 |    1100    22000   110000 | 2147483647    93110    135 |  0.000 % |
44.64/44.76	c |     96486 |    1100    22000   110000 | 2147483647    93520    135 |  0.000 % |
45.04/45.15	c |     96935 |    1100    22000   110000 | 2147483647    93969    135 |  0.000 % |
45.44/45.53	c |     97428 |    1100    22000   110000 | 2147483647    94462    135 |  0.000 % |
45.84/45.93	c |     97973 |    1100    22000   110000 | 2147483647    95007    135 |  0.000 % |
46.24/46.37	c |     98569 |    1100    22000   110000 | 2147483647    95603    135 |  0.000 % |
46.84/46.98	c |     99225 |    1100    22000   110000 | 2147483647    96259    135 |  0.000 % |
47.54/47.60	c |     99948 |    1100    22000   110000 | 2147483647    96982    135 |  0.000 % |
48.25/48.31	c |    100740 |    1100    22000   110000 |    97035    87205    135 |  0.000 % |
48.84/48.99	c |    101611 |    1100    22000   110000 |    97035    88076    135 |  0.000 % |
49.54/49.68	c |    102570 |    1100    22000   110000 |    97035    89035    135 |  0.000 % |
50.44/50.55	c |    103626 |    1100    22000   110000 |    97035    90091    135 |  0.000 % |
51.44/51.53	c |    104785 |    1100    22000   110000 |    97035    91250    136 |  0.000 % |
51.54/51.61	c |    104885 |    1100    22000   110000 |    97035    91350    136 |  0.000 % |
51.54/51.69	c |    104995 |    1100    22000   110000 |    97035    91460    136 |  0.000 % |
51.74/51.80	c |    105117 |    1100    22000   110000 |    97035    91582    136 |  0.000 % |
51.84/51.91	c |    105251 |    1100    22000   110000 |    97035    91716    136 |  0.000 % |
51.94/52.05	c |    105397 |    1100    22000   110000 |    97035    91862    136 |  0.000 % |
52.04/52.19	c |    105557 |    1100    22000   110000 |    97035    92022    136 |  0.000 % |
52.24/52.37	c |    105735 |    1100    22000   110000 |    97035    92200    136 |  0.000 % |
52.44/52.52	c |    105928 |    1100    22000   110000 |    97035    92393    136 |  0.000 % |
52.64/52.71	c |    106140 |    1100    22000   110000 |    97035    92605    136 |  0.000 % |
52.74/52.90	c |    106373 |    1100    22000   110000 |    97035    92838    136 |  0.000 % |
53.04/53.13	c |    106633 |    1100    22000   110000 |    97035    93098    136 |  0.000 % |
53.24/53.38	c |    106914 |    1100    22000   110000 |    97035    93379    136 |  0.000 % |
53.54/53.63	c |    107223 |    1100    22000   110000 |    97035    93688    136 |  0.000 % |
53.84/53.90	c |    107562 |    1100    22000   110000 |    97035    94027    136 |  0.000 % |
54.14/54.22	c |    107934 |    1100    22000   110000 |    97035    94399    136 |  0.000 % |
54.44/54.59	c |    108344 |    1100    22000   110000 |    97035    94809    136 |  0.000 % |
54.84/55.00	c |    108793 |    1100    22000   110000 |    97035    95258    136 |  0.000 % |
55.33/55.41	c |    109288 |    1100    22000   110000 |    97035    95753    135 |  0.000 % |
55.73/55.87	c |    109831 |    1100    22000   110000 |    97035    96296    136 |  0.000 % |
56.33/56.41	c |    110428 |    1100    22000   110000 |    96467    85732    136 |  0.000 % |
56.83/56.92	c |    111084 |    1100    22000   110000 |    96467    86388    136 |  0.000 % |
57.33/57.49	c |    111804 |    1100    22000   110000 |    96467    87108    136 |  0.000 % |
58.03/58.14	c |    112596 |    1100    22000   110000 |    96467    87900    136 |  0.000 % |
58.73/58.80	c |    113467 |    1100    22000   110000 |    96467    88771    136 |  0.000 % |
59.43/59.55	c |    114425 |    1100    22000   110000 |    96467    89729    136 |  0.000 % |
60.23/60.33	c |    115479 |    1100    22000   110000 |    96467    90783    136 |  0.000 % |
61.03/61.18	c |    116637 |    1100    22000   110000 |    96467    91941    136 |  0.000 % |
62.03/62.13	c |    117911 |    1100    22000   110000 |    96467    93215    137 |  0.000 % |
62.13/62.22	c |    118012 |    1100    22000   110000 |    96467    93316    137 |  0.000 % |
62.23/62.34	c |    118123 |    1100    22000   110000 |    96467    93427    137 |  0.000 % |
62.33/62.46	c |    118246 |    1100    22000   110000 |    96467    93550    137 |  0.000 % |
62.43/62.58	c |    118379 |    1100    22000   110000 |    96467    93683    137 |  0.000 % |
62.64/62.71	c |    118527 |    1100    22000   110000 |    96467    93831    137 |  0.000 % |
62.73/62.89	c |    118689 |    1100    22000   110000 |    96467    93993    137 |  0.000 % |
62.93/63.06	c |    118865 |    1100    22000   110000 |    96467    94169    136 |  0.000 % |
63.13/63.23	c |    119062 |    1100    22000   110000 |    96467    94366    136 |  0.000 % |
63.33/63.44	c |    119276 |    1100    22000   110000 |    96467    94580    136 |  0.000 % |
63.53/63.63	c |    119509 |    1100    22000   110000 |    96467    94813    136 |  0.000 % |
63.74/63.89	c |    119765 |    1100    22000   110000 |    96467    95069    136 |  0.000 % |
64.03/64.13	c |    120047 |    1100    22000   110000 |    95306    95351    136 |  0.000 % |
64.33/64.45	c |    120356 |    1100    22000   110000 |    95306    85175    136 |  0.000 % |
64.53/64.69	c |    120695 |    1100    22000   110000 |    95306    85514    136 |  0.000 % |
64.84/64.96	c |    121067 |    1100    22000   110000 |    95306    85886    136 |  0.000 % |
65.13/65.30	c |    121478 |    1100    22000   110000 |    95306    86297    136 |  0.000 % |
65.53/65.66	c |    121928 |    1100    22000   110000 |    95306    86747    136 |  0.000 % |
65.93/66.02	c |    122421 |    1100    22000   110000 |    95306    87240    136 |  0.000 % |
66.33/66.44	c |    122964 |    1100    22000   110000 |    95306    87783    137 |  0.000 % |
66.73/66.89	c |    123560 |    1100    22000   110000 |    95306    88379    137 |  0.000 % |
67.33/67.40	c |    124215 |    1100    22000   110000 |    95306    89034    137 |  0.000 % |
67.83/67.94	c |    124937 |    1100    22000   110000 |    95306    89756    137 |  0.000 % |
68.43/68.50	c |    125729 |    1100    22000   110000 |    95306    90548    136 |  0.000 % |
69.03/69.14	c |    126600 |    1100    22000   110000 |    95306    91419    137 |  0.000 % |
69.73/69.87	c |    127559 |    1100    22000   110000 |    95306    92378    137 |  0.000 % |
70.73/70.80	c |    128614 |    1100    22000   110000 |    95306    93433    137 |  0.000 % |
71.63/71.74	c |    129772 |    1100    22000   110000 |    95306    94591    137 |  0.000 % |
72.72/72.81	c |    131045 |    1100    22000   110000 |    94822    85568    137 |  0.000 % |
73.82/73.94	c |    132445 |    1100    22000   110000 |    94822    86968    137 |  0.000 % |
73.92/74.02	c |    132545 |    1100    22000   110000 |    94822    87068    137 |  0.000 % |
74.02/74.15	c |    132656 |    1100    22000   110000 |    94822    87179    137 |  0.000 % |
74.12/74.24	c |    132777 |    1100    22000   110000 |    94822    87300    137 |  0.000 % |
74.22/74.36	c |    132913 |    1100    22000   110000 |    94822    87436    137 |  0.000 % |
74.32/74.49	c |    133059 |    1100    22000   110000 |    94822    87582    137 |  0.000 % |
74.52/74.65	c |    133219 |    1100    22000   110000 |    94822    87742    137 |  0.000 % |
74.63/74.80	c |    133395 |    1100    22000   110000 |    94822    87918    137 |  0.000 % |
74.82/74.96	c |    133590 |    1100    22000   110000 |    94822    88113    137 |  0.000 % |
75.02/75.15	c |    133804 |    1100    22000   110000 |    94822    88327    137 |  0.000 % |
75.22/75.35	c |    134038 |    1100    22000   110000 |    94822    88561    137 |  0.000 % |
75.42/75.58	c |    134294 |    1100    22000   110000 |    94822    88817    137 |  0.000 % |
75.73/75.84	c |    134576 |    1100    22000   110000 |    94822    89099    137 |  0.000 % |
76.02/76.13	c |    134885 |    1100    22000   110000 |    94822    89408    137 |  0.000 % |
76.22/76.39	c |    135225 |    1100    22000   110000 |    94822    89748    137 |  0.000 % |
76.62/76.70	c |    135598 |    1100    22000   110000 |    94822    90121    137 |  0.000 % |
76.93/77.07	c |    136007 |    1100    22000   110000 |    94822    90530    137 |  0.000 % |
77.32/77.46	c |    136457 |    1100    22000   110000 |    94822    90980    137 |  0.000 % |
77.72/77.87	c |    136950 |    1100    22000   110000 |    94822    91473    137 |  0.000 % |
78.22/78.31	c |    137493 |    1100    22000   110000 |    94822    92016    137 |  0.000 % |
78.62/78.78	c |    138091 |    1100    22000   110000 |    94822    92614    137 |  0.000 % |
79.22/79.32	c |    138748 |    1100    22000   110000 |    94822    93271    137 |  0.000 % |
79.82/79.93	c |    139468 |    1100    22000   110000 |    94822    93991    137 |  0.000 % |
80.42/80.59	c |    140261 |    1100    22000   110000 |    94524    94784    137 |  0.000 % |
81.12/81.28	c |    141132 |    1100    22000   110000 |    94524    84995    137 |  0.000 % |
81.82/81.98	c |    142090 |    1100    22000   110000 |    94524    85953    137 |  0.000 % |
82.72/82.83	c |    143143 |    1100    22000   110000 |    94524    87006    137 |  0.000 % |
83.52/83.67	c |    144303 |    1100    22000   110000 |    94524    88166    137 |  0.000 % |
84.52/84.63	c |    145576 |    1100    22000   110000 |    94524    89439    137 |  0.000 % |
85.72/85.81	c |    146977 |    1100    22000   110000 |    94524    90840    137 |  0.000 % |
86.92/87.03	c |    148517 |    1100    22000   110000 |    94524    92380    137 |  0.000 % |
87.02/87.15	c |    148618 |    1100    22000   110000 |    94524    92481    137 |  0.000 % |
87.12/87.26	c |    148729 |    1100    22000   110000 |    94524    92592    137 |  0.000 % |
87.22/87.38	c |    148851 |    1100    22000   110000 |    94524    92714    137 |  0.000 % |
87.32/87.49	c |    148984 |    1100    22000   110000 |    94524    92847    137 |  0.000 % |
87.52/87.62	c |    149134 |    1100    22000   110000 |    94524    92997    137 |  0.000 % |
87.62/87.77	c |    149294 |    1100    22000   110000 |    94524    93157    137 |  0.000 % |
87.82/87.92	c |    149471 |    1100    22000   110000 |    94524    93334    137 |  0.000 % |
87.92/88.10	c |    149665 |    1100    22000   110000 |    94524    93528    137 |  0.000 % |
88.11/88.30	c |    149877 |    1100    22000   110000 |    94524    93740    137 |  0.000 % |
88.31/88.49	c |    150110 |    1100    22000   110000 |    93864    93973    137 |  0.000 % |
88.61/88.76	c |    150368 |    1100    22000   110000 |    93864    84221    137 |  0.000 % |
88.81/88.95	c |    150649 |    1100    22000   110000 |    93864    84502    137 |  0.000 % |
89.11/89.20	c |    150961 |    1100    22000   110000 |    93864    84814    137 |  0.000 % |
89.31/89.46	c |    151302 |    1100    22000   110000 |    93864    85155    137 |  0.000 % |
89.61/89.77	c |    151674 |    1100    22000   110000 |    93864    85527    138 |  0.000 % |
89.91/90.08	c |    152083 |    1100    22000   110000 |    93864    85936    138 |  0.000 % |
90.31/90.48	c |    152532 |    1100    22000   110000 |    93864    86385    137 |  0.000 % |
90.81/90.92	c |    153025 |    1100    22000   110000 |    93864    86878    138 |  0.000 % |
91.22/91.37	c |    153568 |    1100    22000   110000 |    93864    87421    138 |  0.000 % |
91.71/91.85	c |    154165 |    1100    22000   110000 |    93864    88018    138 |  0.000 % |
92.22/92.37	c |    154820 |    1100    22000   110000 |    93864    88673    138 |  0.000 % |
92.81/92.93	c |    155543 |    1100    22000   110000 |    93864    89396    138 |  0.000 % |
93.51/93.64	c |    156336 |    1100    22000   110000 |    93864    90189    138 |  0.000 % |
94.21/94.38	c |    157207 |    1100    22000   110000 |    93864    91060    138 |  0.000 % |
95.01/95.14	c |    158166 |    1100    22000   110000 |    93864    92019    138 |  0.000 % |
95.81/95.98	c |    159219 |    1100    22000   110000 |    93864    93072    138 |  0.000 % |
96.71/96.83	c |    160378 |    1100    22000   110000 |    93855    94231    138 |  0.000 % |
97.71/97.80	c |    161651 |    1100    22000   110000 |    93855    85543    138 |  0.000 % |
98.71/98.81	c |    163051 |    1100    22000   110000 |    93855    86943    138 |  0.000 % |
99.91/100.06	c |    164592 |    1100    22000   110000 |    93855    88484    138 |  0.000 % |
101.31/101.43	c |    166286 |    1100    22000   110000 |    93855    90178    138 |  0.000 % |
101.41/101.52	c |    166387 |    1100    22000   110000 |    93855    90279    138 |  0.000 % |
101.51/101.61	c |    166499 |    1100    22000   110000 |    93855    90391    138 |  0.000 % |
101.61/101.72	c |    166623 |    1100    22000   110000 |    93855    90515    138 |  0.000 % |
101.71/101.84	c |    166757 |    1100    22000   110000 |    93855    90649    138 |  0.000 % |
101.81/101.96	c |    166903 |    1100    22000   110000 |    93855    90795    138 |  0.000 % |
101.91/102.08	c |    167063 |    1100    22000   110000 |    93855    90955    138 |  0.000 % |
102.11/102.26	c |    167244 |    1100    22000   110000 |    93855    91136    138 |  0.000 % |
102.31/102.44	c |    167441 |    1100    22000   110000 |    93855    91333    138 |  0.000 % |
102.51/102.62	c |    167655 |    1100    22000   110000 |    93855    91547    138 |  0.000 % |
102.71/102.83	c |    167889 |    1100    22000   110000 |    93855    91781    138 |  0.000 % |
102.91/103.07	c |    168148 |    1100    22000   110000 |    93855    92040    138 |  0.000 % |
103.11/103.30	c |    168430 |    1100    22000   110000 |    93855    92322    138 |  0.000 % |
103.41/103.55	c |    168741 |    1100    22000   110000 |    93855    92633    138 |  0.000 % |
103.71/103.83	c |    169080 |    1100    22000   110000 |    93855    92972    138 |  0.000 % |
104.01/104.19	c |    169452 |    1100    22000   110000 |    93855    93344    138 |  0.000 % |
104.41/104.55	c |    169861 |    1100    22000   110000 |    93855    93753    138 |  0.000 % |
104.81/104.95	c |    170311 |    1100    22000   110000 |    93897    94203    138 |  0.000 % |
105.21/105.39	c |    170804 |    1100    22000   110000 |    93897    84282    138 |  0.000 % |
105.61/105.78	c |    171346 |    1100    22000   110000 |    93897    84824    138 |  0.000 % |
106.10/106.22	c |    171942 |    1100    22000   110000 |    93897    85420    138 |  0.000 % |
106.61/106.72	c |    172598 |    1100    22000   110000 |    93897    86076    138 |  0.000 % |
107.20/107.31	c |    173318 |    1100    22000   110000 |    93897    86796    138 |  0.000 % |
107.80/107.91	c |    174110 |    1100    22000   110000 |    93897    87588    138 |  0.000 % |
108.40/108.58	c |    174981 |    1100    22000   110000 |    93897    88459    138 |  0.000 % |
109.10/109.28	c |    175940 |    1100    22000   110000 |    93897    89418    138 |  0.000 % |
109.91/110.06	c |    176995 |    1100    22000   110000 |    93897    90473    138 |  0.000 % |
110.81/110.94	c |    178153 |    1100    22000   110000 |    93897    91631    138 |  0.000 % |
111.80/111.91	c |    179426 |    1100    22000   110000 |    93897    92904    139 |  0.000 % |
112.80/112.90	c |    180826 |    1100    22000   110000 | 2147483647    94304    139 |  0.000 % |
114.00/114.10	c |    182367 |    1100    22000   110000 | 2147483647    95845    139 |  0.000 % |
115.30/115.46	c |    184064 |    1100    22000   110000 | 2147483647    97542    139 |  0.000 % |
116.91/117.04	c |    185927 |    1100    22000   110000 | 2147483647    99405    139 |  0.000 % |
117.01/117.13	c |    186028 |    1100    22000   110000 | 2147483647    99506    139 |  0.000 % |
117.11/117.27	c |    186138 |    1100    22000   110000 | 2147483647    99616    139 |  0.000 % |
117.21/117.39	c |    186261 |    1100    22000   110000 | 2147483647    99739    139 |  0.000 % |
117.40/117.51	c |    186394 |    1100    22000   110000 | 2147483647    99872    139 |  0.000 % |
117.51/117.68	c |    186540 |    1100    22000   110000 | 2147483647   100018    139 |  0.000 % |
117.70/117.86	c |    186703 |    1100    22000   110000 | 2147483647   100181    139 |  0.000 % |
117.90/118.04	c |    186880 |    1100    22000   110000 | 2147483647   100358    139 |  0.000 % |
118.10/118.23	c |    187073 |    1100    22000   110000 | 2147483647   100551    139 |  0.000 % |
118.30/118.46	c |    187287 |    1100    22000   110000 | 2147483647   100765    139 |  0.000 % |
118.50/118.67	c |    187521 |    1100    22000   110000 | 2147483647   100999    139 |  0.000 % |
118.80/118.94	c |    187781 |    1100    22000   110000 | 2147483647   101259    139 |  0.000 % |
119.10/119.20	c |    188062 |    1100    22000   110000 | 2147483647   101540    139 |  0.000 % |
119.40/119.53	c |    188372 |    1100    22000   110000 | 2147483647   101850    139 |  0.000 % |
119.71/119.83	c |    188713 |    1100    22000   110000 | 2147483647   102191    139 |  0.000 % |
120.00/120.17	c |    189085 |    1100    22000   110000 | 2147483647   102563    139 |  0.000 % |
120.40/120.56	c |    189495 |    1100    22000   110000 | 2147483647   102973    139 |  0.000 % |
120.81/120.98	c |    189945 |    1100    22000   110000 | 2147483647   103423    139 |  0.000 % |
121.40/121.55	c |    190438 |    1100    22000   110000 |   103480    90370    139 |  0.000 % |
121.80/121.96	c |    190980 |    1100    22000   110000 |   103480    90912    139 |  0.000 % |
122.30/122.42	c |    191576 |    1100    22000   110000 |   103480    91508    139 |  0.000 % |
122.90/123.03	c |    192231 |    1100    22000   110000 |   103480    92163    139 |  0.000 % |
123.50/123.65	c |    192952 |    1100    22000   110000 |   103480    92884    139 |  0.000 % |
124.10/124.29	c |    193744 |    1100    22000   110000 |   103480    93676    139 |  0.000 % |
124.90/125.01	c |    194615 |    1100    22000   110000 |   103480    94547    139 |  0.000 % |
125.70/125.84	c |    195574 |    1100    22000   110000 |   103480    95506    139 |  0.000 % |
126.70/126.82	c |    196630 |    1100    22000   110000 |   103480    96562    139 |  0.000 % |
127.60/127.78	c |    197788 |    1100    22000   110000 |   103480    97720    139 |  0.000 % |
128.80/128.96	c |    199061 |    1100    22000   110000 |   103480    98993    139 |  0.000 % |
130.10/130.27	c |    200463 |    1100    22000   110000 |    99933    87362    140 |  0.000 % |
131.30/131.48	c |    202004 |    1100    22000   110000 |    99933    88903    140 |  0.000 % |
132.59/132.79	c |    203698 |    1100    22000   110000 |    99933    90597    140 |  0.000 % |
134.10/134.22	c |    205563 |    1100    22000   110000 |    99933    92462    140 |  0.000 % |
135.69/135.89	c |    207613 |    1100    22000   110000 |    99933    94512    140 |  0.000 % |
135.79/135.97	c |    207714 |    1100    22000   110000 |    99933    94613    140 |  0.000 % |
135.89/136.08	c |    207824 |    1100    22000   110000 |    99933    94723    140 |  0.000 % |
136.09/136.21	c |    207946 |    1100    22000   110000 |    99933    94845    140 |  0.000 % |
136.20/136.33	c |    208079 |    1100    22000   110000 |    99933    94978    140 |  0.000 % |
136.30/136.49	c |    208226 |    1100    22000   110000 |    99933    95125    140 |  0.000 % |
136.49/136.63	c |    208388 |    1100    22000   110000 |    99933    95287    140 |  0.000 % |
136.59/136.79	c |    208564 |    1100    22000   110000 |    99933    95463    140 |  0.000 % |
136.79/136.98	c |    208757 |    1100    22000   110000 |    99933    95656    140 |  0.000 % |
136.99/137.19	c |    208972 |    1100    22000   110000 |    99933    95871    140 |  0.000 % |
137.19/137.40	c |    209205 |    1100    22000   110000 |    99933    96104    140 |  0.000 % |
137.49/137.64	c |    209461 |    1100    22000   110000 |    99933    96360    140 |  0.000 % |
137.69/137.88	c |    209744 |    1100    22000   110000 |    99933    96643    140 |  0.000 % |
137.99/138.14	c |    210057 |    1100    22000   110000 |    96899    96956    140 |  0.000 % |
138.39/138.51	c |    210398 |    1100    22000   110000 |    96899    85619    140 |  0.000 % |
138.69/138.82	c |    210770 |    1100    22000   110000 |    96899    85991    140 |  0.000 % |
138.99/139.15	c |    211179 |    1100    22000   110000 |    96899    86400    140 |  0.000 % |
139.29/139.49	c |    211629 |    1100    22000   110000 |    96899    86850    140 |  0.000 % |
139.69/139.87	c |    212122 |    1100    22000   110000 |    96899    87343    140 |  0.000 % |
140.09/140.29	c |    212666 |    1100    22000   110000 |    96899    87887    140 |  0.000 % |
140.59/140.72	c |    213262 |    1100    22000   110000 |    96899    88483    140 |  0.000 % |
141.09/141.21	c |    213917 |    1100    22000   110000 |    96899    89138    140 |  0.000 % |
141.59/141.76	c |    214637 |    1100    22000   110000 |    96899    89858    140 |  0.000 % |
142.29/142.41	c |    215431 |    1100    22000   110000 |    96899    90652    140 |  0.000 % |
142.89/143.10	c |    216303 |    1100    22000   110000 |    96899    91524    140 |  0.000 % |
143.69/143.85	c |    217264 |    1100    22000   110000 |    96899    92485    140 |  0.000 % |
144.49/144.67	c |    218317 |    1100    22000   110000 |    96899    93538    140 |  0.000 % |
145.39/145.59	c |    219475 |    1100    22000   110000 |    96899    94696    140 |  0.000 % |
146.59/146.73	c |    220748 |    1100    22000   110000 |    95222    85940    140 |  0.000 % |
147.69/147.89	c |    222149 |    1100    22000   110000 |    95222    87341    140 |  0.000 % |
148.88/149.09	c |    223690 |    1100    22000   110000 |    95222    88882    140 |  0.000 % |
150.18/150.34	c |    225385 |    1100    22000   110000 |    95222    90577    140 |  0.000 % |
151.59/151.80	c |    227248 |    1100    22000   110000 |    95222    92440    141 |  0.000 % |
153.28/153.41	c |    229297 |    1100    22000   110000 |    95222    94489    141 |  0.000 % |
154.99/155.14	c |    231550 |    1100    22000   110000 |    95192    86878    141 |  0.000 % |
155.08/155.26	c |    231650 |    1100    22000   110000 |    95192    86978    141 |  0.000 % |
155.18/155.36	c |    231760 |    1100    22000   110000 |    95192    87088    141 |  0.000 % |
155.28/155.47	c |    231883 |    1100    22000   110000 |    95192    87211    141 |  0.000 % |
155.38/155.57	c |    232016 |    1100    22000   110000 |    95192    87344    141 |  0.000 % |
155.58/155.71	c |    232162 |    1100    22000   110000 |    95192    87490    141 |  0.000 % |
155.68/155.86	c |    232325 |    1100    22000   110000 |    95192    87653    141 |  0.000 % |
155.78/155.99	c |    232505 |    1100    22000   110000 |    95192    87833    141 |  0.000 % |
155.98/156.17	c |    232700 |    1100    22000   110000 |    95192    88028    141 |  0.000 % |
156.18/156.36	c |    232916 |    1100    22000   110000 |    95192    88244    141 |  0.000 % |
156.38/156.55	c |    233149 |    1100    22000   110000 |    95192    88477    141 |  0.000 % |
156.58/156.73	c |    233405 |    1100    22000   110000 |    95192    88733    141 |  0.000 % |
156.78/156.95	c |    233686 |    1100    22000   110000 |    95192    89014    141 |  0.000 % |
157.08/157.22	c |    233997 |    1100    22000   110000 |    95192    89325    141 |  0.000 % |
157.38/157.52	c |    234336 |    1100    22000   110000 |    95192    89664    141 |  0.000 % |
157.68/157.83	c |    234708 |    1100    22000   110000 |    95192    90036    141 |  0.000 % |
157.98/158.11	c |    235117 |    1100    22000   110000 |    95192    90445    141 |  0.000 % |
158.28/158.47	c |    235566 |    1100    22000   110000 |    95192    90894    141 |  0.000 % |
158.78/158.91	c |    236061 |    1100    22000   110000 |    95192    91389    141 |  0.000 % |
159.18/159.36	c |    236604 |    1100    22000   110000 |    95192    91932    141 |  0.000 % |
159.67/159.83	c |    237200 |    1100    22000   110000 |    95192    92528    141 |  0.000 % |
160.17/160.31	c |    237855 |    1100    22000   110000 |    95192    93183    141 |  0.000 % |
160.67/160.89	c |    238575 |    1100    22000   110000 |    95192    93903    141 |  0.000 % |
161.37/161.57	c |    239369 |    1100    22000   110000 |    95192    94697    141 |  0.000 % |
162.07/162.29	c |    240240 |    1100    22000   110000 |    95329    95568    141 |  0.000 % |
162.87/163.07	c |    241201 |    1100    22000   110000 |    95329    85669    141 |  0.000 % |
163.68/163.90	c |    242259 |    1100    22000   110000 |    95329    86727    141 |  0.000 % |
164.67/164.83	c |    243417 |    1100    22000   110000 |    95329    87885    141 |  0.000 % |
165.67/165.80	c |    244691 |    1100    22000   110000 |    95329    89159    141 |  0.000 % |
166.67/166.83	c |    246091 |    1100    22000   110000 |    95329    90559    141 |  0.000 % |
167.97/168.11	c |    247632 |    1100    22000   110000 |    95329    92100    141 |  0.000 % |
169.17/169.36	c |    249326 |    1100    22000   110000 |    95329    93794    141 |  0.000 % |
170.67/170.88	c |    251189 |    1100    22000   110000 | 2147483647    95657    141 |  0.000 % |
172.27/172.47	c |    253238 |    1100    22000   110000 | 2147483647    97706    142 |  0.000 % |
174.07/174.29	c |    255491 |    1100    22000   110000 | 2147483647    99959    142 |  0.000 % |
176.17/176.31	c |    257971 |    1100    22000   110000 | 2147483647   102439    142 |  0.000 % |
176.27/176.41	c |    258071 |    1100    22000   110000 | 2147483647   102539    142 |  0.000 % |
176.37/176.55	c |    258181 |    1100    22000   110000 | 2147483647   102649    142 |  0.000 % |
176.47/176.68	c |    258302 |    1100    22000   110000 | 2147483647   102770    142 |  0.000 % |
176.67/176.83	c |    258435 |    1100    22000   110000 | 2147483647   102903    142 |  0.000 % |
176.77/176.98	c |    258581 |    1100    22000   110000 | 2147483647   103049    141 |  0.000 % |
176.98/177.15	c |    258742 |    1100    22000   110000 | 2147483647   103210    141 |  0.000 % |
177.17/177.32	c |    258919 |    1100    22000   110000 | 2147483647   103387    141 |  0.000 % |
177.37/177.51	c |    259114 |    1100    22000   110000 | 2147483647   103582    141 |  0.000 % |
177.47/177.70	c |    259328 |    1100    22000   110000 | 2147483647   103796    141 |  0.000 % |
177.77/177.92	c |    259561 |    1100    22000   110000 | 2147483647   104029    141 |  0.000 % |
177.97/178.18	c |    259819 |    1100    22000   110000 | 2147483647   104287    141 |  0.000 % |
178.27/178.48	c |    260100 |    1100    22000   110000 |   104470   104568    141 |  0.000 % |
178.57/178.79	c |    260410 |    1100    22000   110000 |   104470    92004    141 |  0.000 % |
178.87/179.09	c |    260750 |    1100    22000   110000 |   104470    92344    141 |  0.000 % |
179.27/179.41	c |    261123 |    1100    22000   110000 |   104470    92717    141 |  0.000 % |
179.57/179.74	c |    261533 |    1100    22000   110000 |   104470    93127    141 |  0.000 % |
179.97/180.15	c |    261983 |    1100    22000   110000 |   104470    93577    141 |  0.000 % |
180.37/180.57	c |    262476 |    1100    22000   110000 |   104470    94070    141 |  0.000 % |
180.87/181.04	c |    263019 |    1100    22000   110000 |   104470    94613    141 |  0.000 % |
181.37/181.57	c |    263616 |    1100    22000   110000 |   104470    95210    141 |  0.000 % |
181.97/182.12	c |    264271 |    1100    22000   110000 |   104470    95865    141 |  0.000 % |
182.57/182.73	c |    264991 |    1100    22000   110000 |   104470    96585    141 |  0.000 % |
183.27/183.43	c |    265784 |    1100    22000   110000 |   104470    97378    141 |  0.000 % |
183.97/184.18	c |    266655 |    1100    22000   110000 |   104470    98249    141 |  0.000 % |
184.77/184.91	c |    267613 |    1100    22000   110000 |   104470    99207    141 |  0.000 % |
185.57/185.77	c |    268667 |    1100    22000   110000 |   104470   100261    141 |  0.000 % |
186.57/186.72	c |    269826 |    1100    22000   110000 |   104470   101420    141 |  0.000 % |
187.67/187.87	c |    271099 |    1100    22000   110000 |   101595    89774    141 |  0.000 % |
188.77/188.99	c |    272499 |    1100    22000   110000 |   101595    91174    141 |  0.000 % |
190.07/190.28	c |    274039 |    1100    22000   110000 |   101595    92714    141 |  0.000 % |
191.56/191.78	c |    275733 |    1100    22000   110000 |   101595    94408    142 |  0.000 % |
193.26/193.41	c |    277596 |    1100    22000   110000 |   101595    96271    142 |  0.000 % |
194.96/195.13	c |    279646 |    1100    22000   110000 |   101595    98321    142 |  0.000 % |
196.86/197.05	c |    281900 |    1100    22000   110000 |    98676    88559    142 |  0.000 % |
198.66/198.87	c |    284379 |    1100    22000   110000 |    98676    91038    142 |  0.000 % |
200.86/201.03	c |    287105 |    1100    22000   110000 |    98676    93764    143 |  0.000 % |
200.96/201.13	c |    287208 |    1100    22000   110000 |    98676    93867    143 |  0.000 % |
201.06/201.24	c |    287319 |    1100    22000   110000 |    98676    93978    143 |  0.000 % |
201.16/201.37	c |    287440 |    1100    22000   110000 |    98676    94099    143 |  0.000 % |
201.26/201.48	c |    287573 |    1100    22000   110000 |    98676    94232    143 |  0.000 % |
201.46/201.64	c |    287720 |    1100    22000   110000 |    98676    94379    143 |  0.000 % |
201.66/201.80	c |    287881 |    1100    22000   110000 |    98676    94540    143 |  0.000 % |
201.76/201.96	c |    288058 |    1100    22000   110000 |    98676    94717    143 |  0.000 % |
201.96/202.16	c |    288252 |    1100    22000   110000 |    98676    94911    143 |  0.000 % |
202.16/202.35	c |    288464 |    1100    22000   110000 |    98676    95123    143 |  0.000 % |
202.36/202.57	c |    288697 |    1100    22000   110000 |    98676    95356    143 |  0.000 % |
202.56/202.78	c |    288953 |    1100    22000   110000 |    98676    95612    143 |  0.000 % |
202.86/203.02	c |    289234 |    1100    22000   110000 |    98676    95893    143 |  0.000 % |
203.06/203.27	c |    289543 |    1100    22000   110000 |    98676    96202    143 |  0.000 % |
203.46/203.60	c |    289884 |    1100    22000   110000 |    98676    96543    143 |  0.000 % |
203.76/203.93	c |    290256 |    1100    22000   110000 |    96659    96915    143 |  0.000 % |
204.16/204.32	c |    290665 |    1100    22000   110000 |    96659    85955    142 |  0.000 % |
204.46/204.66	c |    291114 |    1100    22000   110000 |    96659    86404    142 |  0.000 % |
204.86/205.05	c |    291608 |    1100    22000   110000 |    96659    86898    142 |  0.000 % |
205.26/205.48	c |    292150 |    1100    22000   110000 |    96659    87440    142 |  0.000 % |
205.75/205.93	c |    292747 |    1100    22000   110000 |    96659    88037    142 |  0.000 % |
206.25/206.45	c |    293403 |    1100    22000   110000 |    96659    88693    142 |  0.000 % |
206.85/207.05	c |    294126 |    1100    22000   110000 |    96659    89416    142 |  0.000 % |
207.45/207.64	c |    294919 |    1100    22000   110000 |    96659    90209    142 |  0.000 % |
208.05/208.28	c |    295790 |    1100    22000   110000 |    96659    91080    142 |  0.000 % |
208.85/209.01	c |    296748 |    1100    22000   110000 |    96659    92038    142 |  0.000 % |
209.65/209.81	c |    297802 |    1100    22000   110000 |    96659    93092    141 |  0.000 % |
210.45/210.68	c |    298960 |    1100    22000   110000 |    96659    94250    142 |  0.000 % |
211.55/211.72	c |    300233 |    1100    22000   110000 | 2147483647    95523    142 |  0.000 % |
212.55/212.79	c |    301636 |    1100    22000   110000 | 2147483647    96926    142 |  0.000 % |
213.85/214.05	c |    303176 |    1100    22000   110000 | 2147483647    98466    142 |  0.000 % |
215.14/215.38	c |    304871 |    1100    22000   110000 | 2147483647   100161    142 |  0.000 % |
216.74/216.97	c |    306735 |    1100    22000   110000 | 2147483647   102025    142 |  0.000 % |
218.34/218.57	c |    308784 |    1100    22000   110000 | 2147483647   104074    142 |  0.000 % |
220.35/220.54	c |    311037 |    1100    22000   110000 |   105292    94442    143 |  0.000 % |
222.45/222.61	c |    313516 |    1100    22000   110000 |   105292    96921    143 |  0.000 % |
224.65/224.86	c |    316241 |    1100    22000   110000 |   105292    99646    143 |  0.000 % |
227.15/227.34	c |    319238 |    1100    22000   110000 |   105292   102643    143 |  0.000 % |
227.25/227.43	c |    319339 |    1100    22000   110000 |   105292   102744    143 |  0.000 % |
227.35/227.55	c |    319449 |    1100    22000   110000 |   105292   102854    143 |  0.000 % |
227.45/227.67	c |    319571 |    1100    22000   110000 |   105292   102976    143 |  0.000 % |
227.65/227.83	c |    319704 |    1100    22000   110000 |   105292   103109    143 |  0.000 % |
227.75/227.99	c |    319851 |    1100    22000   110000 |   105292   103256    143 |  0.000 % |
227.95/228.15	c |    320011 |    1100    22000   110000 |   103405   103416    143 |  0.000 % |
228.25/228.47	c |    320187 |    1100    22000   110000 |   103405    89672    142 |  0.000 % |
228.45/228.63	c |    320382 |    1100    22000   110000 |   103405    89867    142 |  0.000 % |
228.65/228.81	c |    320594 |    1100    22000   110000 |   103405    90079    142 |  0.000 % |
228.85/229.03	c |    320827 |    1100    22000   110000 |   103405    90312    142 |  0.000 % |
229.05/229.26	c |    321083 |    1100    22000   110000 |   103405    90568    142 |  0.000 % |
229.35/229.52	c |    321366 |    1100    22000   110000 |   103405    90851    142 |  0.000 % |
229.55/229.77	c |    321675 |    1100    22000   110000 |   103405    91160    142 |  0.000 % |
229.85/230.05	c |    322016 |    1100    22000   110000 |   103405    91501    142 |  0.000 % |
230.25/230.41	c |    322388 |    1100    22000   110000 |   103405    91873    142 |  0.000 % |
230.55/230.79	c |    322797 |    1100    22000   110000 |   103405    92282    142 |  0.000 % |
230.95/231.16	c |    323246 |    1100    22000   110000 |   103405    92731    142 |  0.000 % |
231.35/231.57	c |    323740 |    1100    22000   110000 |   103405    93225    142 |  0.000 % |
231.85/232.02	c |    324283 |    1100    22000   110000 |   103405    93768    142 |  0.000 % |
232.25/232.49	c |    324881 |    1100    22000   110000 |   103405    94366    142 |  0.000 % |
232.84/233.00	c |    325537 |    1100    22000   110000 |   103405    95022    142 |  0.000 % |
233.44/233.69	c |    326258 |    1100    22000   110000 |   103405    95743    142 |  0.000 % |
234.15/234.35	c |    327052 |    1100    22000   110000 |   103405    96537    142 |  0.000 % |
234.94/235.11	c |    327923 |    1100    22000   110000 |   103405    97408    142 |  0.000 % |
235.64/235.88	c |    328881 |    1100    22000   110000 |   103405    98366    142 |  0.000 % |
236.54/236.75	c |    329934 |    1100    22000   110000 |   103405    99419    142 |  0.000 % |
237.54/237.79	c |    331092 |    1100    22000   110000 |    99485    87438    142 |  0.000 % |
238.64/238.83	c |    332366 |    1100    22000   110000 |    99485    88712    142 |  0.000 % |
239.64/239.89	c |    333766 |    1100    22000   110000 |    99485    90112    142 |  0.000 % |
240.94/241.10	c |    335306 |    1100    22000   110000 |    99485    91652    142 |  0.000 % |
242.14/242.37	c |    337002 |    1100    22000   110000 |    99485    93348    142 |  0.000 % |
243.74/243.98	c |    338865 |    1100    22000   110000 |    99485    95211    142 |  0.000 % |
245.44/245.61	c |    340914 |    1100    22000   110000 |    96346    86461    142 |  0.000 % |
247.14/247.33	c |    343168 |    1100    22000   110000 |    96346    88715    142 |  0.000 % |
249.14/249.31	c |    345646 |    1100    22000   110000 |    96346    91193    142 |  0.000 % |
251.14/251.35	c |    348372 |    1100    22000   110000 |    96346    93919    142 |  0.000 % |
253.64/253.84	c |    351371 |    1100    22000   110000 | 2147483647    96918    143 |  0.000 % |
256.33/256.55	c |    354667 |    1100    22000   110000 | 2147483647   100214    143 |  0.000 % |
256.43/256.64	c |    354767 |    1100    22000   110000 | 2147483647   100314    143 |  0.000 % |
256.53/256.76	c |    354878 |    1100    22000   110000 | 2147483647   100425    143 |  0.000 % |
256.63/256.89	c |    355000 |    1100    22000   110000 | 2147483647   100547    143 |  0.000 % |
256.83/257.04	c |    355133 |    1100    22000   110000 | 2147483647   100680    143 |  0.000 % |
257.03/257.21	c |    355279 |    1100    22000   110000 | 2147483647   100826    143 |  0.000 % |
257.14/257.35	c |    355439 |    1100    22000   110000 | 2147483647   100986    143 |  0.000 % |
257.33/257.53	c |    355617 |    1100    22000   110000 | 2147483647   101164    143 |  0.000 % |
257.53/257.71	c |    355812 |    1100    22000   110000 | 2147483647   101359    143 |  0.000 % |
257.73/257.90	c |    356024 |    1100    22000   110000 | 2147483647   101571    143 |  0.000 % |
257.93/258.16	c |    356257 |    1100    22000   110000 | 2147483647   101804    143 |  0.000 % |
258.24/258.41	c |    356514 |    1100    22000   110000 | 2147483647   102061    143 |  0.000 % |
258.53/258.70	c |    356795 |    1100    22000   110000 | 2147483647   102342    143 |  0.000 % |
258.73/258.97	c |    357104 |    1100    22000   110000 | 2147483647   102651    143 |  0.000 % |
259.03/259.27	c |    357443 |    1100    22000   110000 | 2147483647   102990    143 |  0.000 % |
259.43/259.63	c |    357817 |    1100    22000   110000 | 2147483647   103364    143 |  0.000 % |
259.73/259.99	c |    358226 |    1100    22000   110000 | 2147483647   103773    143 |  0.000 % |
260.23/260.41	c |    358678 |    1100    22000   110000 | 2147483647   104225    143 |  0.000 % |
260.63/260.83	c |    359171 |    1100    22000   110000 | 2147483647   104718    143 |  0.000 % |
261.03/261.29	c |    359718 |    1100    22000   110000 | 2147483647   105265    143 |  0.000 % |
261.63/261.84	c |    360314 |    1100    22000   110000 |   105548   105861    143 |  0.000 % |
262.23/262.44	c |    360970 |    1100    22000   110000 |   105548    92733    144 |  0.000 % |
262.83/263.02	c |    361691 |    1100    22000   110000 |   105548    93454    144 |  0.000 % |
263.43/263.67	c |    362483 |    1100    22000   110000 |   105548    94246    144 |  0.000 % |
264.13/264.35	c |    363355 |    1100    22000   110000 |   105548    95118    144 |  0.000 % |
264.93/265.11	c |    364315 |    1100    22000   110000 |   105548    96078    144 |  0.000 % |
265.73/265.95	c |    365369 |    1100    22000   110000 |   105548    97132    143 |  0.000 % |
266.63/266.84	c |    366527 |    1100    22000   110000 |   105548    98290    143 |  0.000 % |
267.73/267.93	c |    367802 |    1100    22000   110000 |   105548    99565    143 |  0.000 % |
268.93/269.15	c |    369207 |    1100    22000   110000 |   105548   100970    143 |  0.000 % |
270.33/270.53	c |    370748 |    1100    22000   110000 |   101766    89952    143 |  0.000 % |
271.53/271.76	c |    372442 |    1100    22000   110000 |   101766    91646    143 |  0.000 % |
272.92/273.15	c |    374306 |    1100    22000   110000 |   101766    93510    143 |  0.000 % |
274.52/274.74	c |    376355 |    1100    22000   110000 |   101766    95559    143 |  0.000 % |
276.23/276.45	c |    378608 |    1100    22000   110000 |   101766    97812    143 |  0.000 % |
278.33/278.50	c |    381086 |    1100    22000   110000 |    99204    89376    143 |  0.000 % |
280.33/280.59	c |    383812 |    1100    22000   110000 |    99204    92102    144 |  0.000 % |
282.63/282.89	c |    386809 |    1100    22000   110000 |    99204    95099    144 |  0.000 % |
285.23/285.40	c |    390105 |    1100    22000   110000 |    98290    98395    144 |  0.000 % |
288.03/288.25	c |    393730 |    1100    22000   110000 |    98290    91264    144 |  0.000 % |
288.13/288.33	c |    393830 |    1100    22000   110000 |    98290    91364    144 |  0.000 % |
288.23/288.42	c |    393941 |    1100    22000   110000 |    98290    91475    144 |  0.000 % |
288.33/288.53	c |    394062 |    1100    22000   110000 |    98290    91596    144 |  0.000 % |
288.43/288.67	c |    394195 |    1100    22000   110000 |    98290    91729    144 |  0.000 % |
288.63/288.80	c |    394343 |    1100    22000   110000 |    98290    91877    144 |  0.000 % |
288.73/288.95	c |    394504 |    1100    22000   110000 |    98290    92038    144 |  0.000 % |
288.93/289.14	c |    394683 |    1100    22000   110000 |    98290    92217    144 |  0.000 % |
289.13/289.32	c |    394877 |    1100    22000   110000 |    98290    92411    144 |  0.000 % |
289.33/289.50	c |    395090 |    1100    22000   110000 |    98290    92624    144 |  0.000 % |
289.53/289.71	c |    395324 |    1100    22000   110000 |    98290    92858    144 |  0.000 % |
289.73/289.96	c |    395582 |    1100    22000   110000 |    98290    93116    144 |  0.000 % |
290.03/290.22	c |    395864 |    1100    22000   110000 |    98290    93398    144 |  0.000 % |
290.33/290.51	c |    396173 |    1100    22000   110000 |    98290    93707    144 |  0.000 % |
290.53/290.77	c |    396513 |    1100    22000   110000 |    98290    94047    144 |  0.000 % |
290.93/291.12	c |    396886 |    1100    22000   110000 |    98290    94420    143 |  0.000 % |
291.23/291.47	c |    397295 |    1100    22000   110000 |    98290    94829    143 |  0.000 % |
291.73/291.91	c |    397746 |    1100    22000   110000 |    98290    95280    143 |  0.000 % |
292.13/292.33	c |    398240 |    1100    22000   110000 |    98290    95774    143 |  0.000 % |
292.63/292.80	c |    398783 |    1100    22000   110000 |    98290    96317    143 |  0.000 % |
293.03/293.27	c |    399379 |    1100    22000   110000 |    98290    96913    143 |  0.000 % |
293.63/293.84	c |    400034 |    1100    22000   110000 |    97534    97568    143 |  0.000 % |
294.32/294.53	c |    400754 |    1100    22000   110000 |    97534    86530    143 |  0.000 % |
294.92/295.17	c |    401546 |    1100    22000   110000 |    97534    87322    143 |  0.000 % |
295.63/295.85	c |    402417 |    1100    22000   110000 |    97534    88193    143 |  0.000 % |
296.32/296.59	c |    403375 |    1100    22000   110000 |    97534    89151    142 |  0.000 % |
297.22/297.43	c |    404428 |    1100    22000   110000 |    97534    90204    142 |  0.000 % |
298.12/298.36	c |    405587 |    1100    22000   110000 |    97534    91363    143 |  0.000 % |
299.22/299.46	c |    406860 |    1100    22000   110000 |    97534    92636    142 |  0.000 % |
300.32/300.52	c |    408262 |    1100    22000   110000 |    97534    94038    143 |  0.000 % |
301.52/301.73	c |    409802 |    1100    22000   110000 |    97534    95578    143 |  0.000 % |
302.82/303.07	c |    411498 |    1100    22000   110000 |    95777    86975    144 |  0.000 % |
304.32/304.53	c |    413361 |    1100    22000   110000 |    95777    88838    144 |  0.000 % |
305.92/306.12	c |    415411 |    1100    22000   110000 |    95777    90888    144 |  0.000 % |
307.62/307.89	c |    417665 |    1100    22000   110000 |    95777    93142    144 |  0.000 % |
309.72/309.91	c |    420144 |    1100    22000   110000 | 2147483647    95621    144 |  0.000 % |
311.82/312.05	c |    422870 |    1100    22000   110000 | 2147483647    98347    144 |  0.000 % |
314.42/314.61	c |    425868 |    1100    22000   110000 | 2147483647   101345    145 |  0.000 % |
317.11/317.32	c |    429164 |    1100    22000   110000 | 2147483647   104641    145 |  0.000 % |
320.11/320.31	c |    432789 |    1100    22000   110000 |   105478    94686    146 |  0.000 % |
323.11/323.35	c |    436778 |    1100    22000   110000 |   105478    98675    146 |  0.000 % |
323.21/323.43	c |    436878 |    1100    22000   110000 |   105478    98775    146 |  0.000 % |
323.31/323.53	c |    436988 |    1100    22000   110000 |   105478    98885    146 |  0.000 % |
323.41/323.64	c |    437113 |    1100    22000   110000 |   105478    99010    146 |  0.000 % |
323.51/323.77	c |    437248 |    1100    22000   110000 |   105478    99145    146 |  0.000 % |
323.71/323.91	c |    437394 |    1100    22000   110000 |   105478    99291    146 |  0.000 % |
323.81/324.06	c |    437555 |    1100    22000   110000 |   105478    99452    146 |  0.000 % |
324.01/324.26	c |    437732 |    1100    22000   110000 |   105478    99629    146 |  0.000 % |
324.21/324.43	c |    437925 |    1100    22000   110000 |   105478    99822    146 |  0.000 % |
324.41/324.64	c |    438138 |    1100    22000   110000 |   105478   100035    146 |  0.000 % |
324.61/324.85	c |    438372 |    1100    22000   110000 |   105478   100269    146 |  0.000 % |
324.81/325.09	c |    438628 |    1100    22000   110000 |   105478   100525    146 |  0.000 % |
325.11/325.32	c |    438910 |    1100    22000   110000 |   105478   100807    145 |  0.000 % |
325.41/325.61	c |    439221 |    1100    22000   110000 |   105478   101118    145 |  0.000 % |
325.61/325.89	c |    439560 |    1100    22000   110000 |   105478   101457    145 |  0.000 % |
326.01/326.25	c |    439932 |    1100    22000   110000 |   105478   101829    145 |  0.000 % |
326.41/326.64	c |    440341 |    1100    22000   110000 |   101901   102238    145 |  0.000 % |
326.81/327.06	c |    440792 |    1100    22000   110000 |   101901    90047    145 |  0.000 % |
327.21/327.46	c |    441287 |    1100    22000   110000 |   101901    90542    145 |  0.000 % |
327.61/327.88	c |    441829 |    1100    22000   110000 |   101901    91084    145 |  0.000 % |
328.11/328.36	c |    442427 |    1100    22000   110000 |   101901    91682    144 |  0.000 % |
328.71/328.91	c |    443083 |    1100    22000   110000 |   101901    92338    144 |  0.000 % |
329.30/329.56	c |    443803 |    1100    22000   110000 |   101901    93058    144 |  0.000 % |
330.00/330.27	c |    444595 |    1100    22000   110000 |   101901    93850    144 |  0.000 % |
330.81/331.00	c |    445466 |    1100    22000   110000 |   101901    94721    144 |  0.000 % |
331.60/331.82	c |    446427 |    1100    22000   110000 |   101901    95682    145 |  0.000 % |
332.40/332.67	c |    447481 |    1100    22000   110000 |   101901    96736    145 |  0.000 % |
333.31/333.60	c |    448639 |    1100    22000   110000 |   101901    97894    145 |  0.000 % |
334.41/334.64	c |    449912 |    1100    22000   110000 |   101901    99167    144 |  0.000 % |
335.61/335.80	c |    451312 |    1100    22000   110000 |    99255    88330    145 |  0.000 % |
336.71/336.94	c |    452858 |    1100    22000   110000 |    99255    89876    145 |  0.000 % |
338.01/338.22	c |    454552 |    1100    22000   110000 |    99255    91570    145 |  0.000 % |
339.51/339.74	c |    456416 |    1100    22000   110000 |    99255    93434    145 |  0.000 % |
341.11/341.30	c |    458466 |    1100    22000   110000 |    99255    95484    145 |  0.000 % |
343.01/343.25	c |    460720 |    1100    22000   110000 |    97018    86828    145 |  0.000 % |
344.81/345.08	c |    463201 |    1100    22000   110000 |    97018    89309    145 |  0.000 % |
347.01/347.25	c |    465929 |    1100    22000   110000 |    97018    92037    145 |  0.000 % |
349.31/349.60	c |    468926 |    1100    22000   110000 |    97018    95034    145 |  0.000 % |
352.01/352.23	c |    472224 |    1100    22000   110000 |    96108    88102    145 |  0.000 % |
354.71/354.92	c |    475850 |    1100    22000   110000 |    96108    91728    145 |  0.000 % |
358.00/358.29	c |    479837 |    1100    22000   110000 |    96108    95715    145 |  0.000 % |
361.40/361.67	c |    484222 |    1100    22000   110000 | 2147483647   100100    145 |  0.000 % |
361.50/361.77	c |    484322 |    1100    22000   110000 | 2147483647   100200    145 |  0.000 % |
361.61/361.88	c |    484432 |    1100    22000   110000 | 2147483647   100310    145 |  0.000 % |
361.71/361.99	c |    484555 |    1100    22000   110000 | 2147483647   100433    145 |  0.000 % |
361.90/362.16	c |    484688 |    1100    22000   110000 | 2147483647   100566    145 |  0.000 % |
362.10/362.31	c |    484834 |    1100    22000   110000 | 2147483647   100712    145 |  0.000 % |
362.20/362.46	c |    484994 |    1100    22000   110000 | 2147483647   100872    145 |  0.000 % |
362.40/362.63	c |    485171 |    1100    22000   110000 | 2147483647   101049    145 |  0.000 % |
362.60/362.81	c |    485364 |    1100    22000   110000 | 2147483647   101242    145 |  0.000 % |
362.81/363.01	c |    485577 |    1100    22000   110000 | 2147483647   101455    145 |  0.000 % |
363.00/363.25	c |    485811 |    1100    22000   110000 | 2147483647   101689    145 |  0.000 % |
363.20/363.50	c |    486068 |    1100    22000   110000 | 2147483647   101946    145 |  0.000 % |
363.50/363.76	c |    486350 |    1100    22000   110000 | 2147483647   102228    145 |  0.000 % |
363.81/364.05	c |    486659 |    1100    22000   110000 | 2147483647   102537    145 |  0.000 % |
364.10/364.38	c |    486998 |    1100    22000   110000 | 2147483647   102876    145 |  0.000 % |
364.50/364.73	c |    487370 |    1100    22000   110000 | 2147483647   103248    145 |  0.000 % |
364.91/365.12	c |    487779 |    1100    22000   110000 | 2147483647   103657    145 |  0.000 % |
365.30/365.56	c |    488228 |    1100    22000   110000 | 2147483647   104106    145 |  0.000 % |
365.80/366.05	c |    488722 |    1100    22000   110000 | 2147483647   104600    145 |  0.000 % |
366.30/366.55	c |    489265 |    1100    22000   110000 | 2147483647   105143    145 |  0.000 % |
366.90/367.14	c |    489861 |    1100    22000   110000 | 2147483647   105739    145 |  0.000 % |
367.60/367.85	c |    490517 |    1100    22000   110000 |   105878    91235    145 |  0.000 % |
368.21/368.48	c |    491238 |    1100    22000   110000 |   105878    91956    145 |  0.000 % |
368.90/369.11	c |    492030 |    1100    22000   110000 |   105878    92748    145 |  0.000 % |
369.60/369.86	c |    492901 |    1100    22000   110000 |   105878    93619    145 |  0.000 % |
370.40/370.65	c |    493859 |    1100    22000   110000 |   105878    94577    145 |  0.000 % |
371.20/371.47	c |    494913 |    1100    22000   110000 |   105878    95631    145 |  0.000 % |
372.20/372.42	c |    496073 |    1100    22000   110000 |   105878    96791    145 |  0.000 % |
373.30/373.50	c |    497346 |    1100    22000   110000 |   105878    98064    145 |  0.000 % |
374.40/374.65	c |    498746 |    1100    22000   110000 |   105878    99464    145 |  0.000 % |
375.70/375.96	c |    500289 |    1100    22000   110000 |   100719   101007    145 |  0.000 % |
377.10/377.38	c |    501983 |    1100    22000   110000 |   100719    89577    145 |  0.000 % |
378.50/378.80	c |    503846 |    1100    22000   110000 |   100719    91440    145 |  0.000 % |
380.09/380.37	c |    505896 |    1100    22000   110000 |   100719    93490    145 |  0.000 % |
381.99/382.22	c |    508149 |    1100    22000   110000 |   100719    95743    145 |  0.000 % |
383.99/384.21	c |    510627 |    1100    22000   110000 |    97594    88129    145 |  0.000 % |
386.09/386.31	c |    513352 |    1100    22000   110000 |    97594    90854    145 |  0.000 % |
388.49/388.71	c |    516349 |    1100    22000   110000 |    97594    93851    145 |  0.000 % |
391.19/391.49	c |    519648 |    1100    22000   110000 |    97594    97150    145 |  0.000 % |
394.19/394.42	c |    523275 |    1100    22000   110000 |    97505    90029    144 |  0.000 % |
397.29/397.52	c |    527263 |    1100    22000   110000 |    97505    94017    144 |  0.000 % |
400.79/401.02	c |    531652 |    1100    22000   110000 | 2147483647    98406    145 |  0.000 % |
404.78/405.10	c |    536475 |    1100    22000   110000 | 2147483647   103229    145 |  0.000 % |
404.89/405.19	c |    536575 |    1100    22000   110000 | 2147483647   103329    145 |  0.000 % |
405.09/405.32	c |    536685 |    1100    22000   110000 | 2147483647   103439    145 |  0.000 % |
405.19/405.43	c |    536806 |    1100    22000   110000 | 2147483647   103560    145 |  0.000 % |
405.29/405.57	c |    536940 |    1100    22000   110000 | 2147483647   103694    145 |  0.000 % |
405.48/405.73	c |    537086 |    1100    22000   110000 | 2147483647   103840    145 |  0.000 % |
405.69/405.90	c |    537246 |    1100    22000   110000 | 2147483647   104000    145 |  0.000 % |
405.78/406.09	c |    537423 |    1100    22000   110000 | 2147483647   104177    145 |  0.000 % |
405.98/406.27	c |    537616 |    1100    22000   110000 | 2147483647   104370    145 |  0.000 % |
406.18/406.47	c |    537828 |    1100    22000   110000 | 2147483647   104582    145 |  0.000 % |
406.48/406.70	c |    538061 |    1100    22000   110000 | 2147483647   104815    145 |  0.000 % |
406.69/406.98	c |    538318 |    1100    22000   110000 | 2147483647   105072    145 |  0.000 % |
406.98/407.24	c |    538599 |    1100    22000   110000 | 2147483647   105353    145 |  0.000 % |
407.28/407.54	c |    538909 |    1100    22000   110000 | 2147483647   105663    145 |  0.000 % |
407.58/407.87	c |    539248 |    1100    22000   110000 | 2147483647   106002    145 |  0.000 % |
407.98/408.22	c |    539622 |    1100    22000   110000 | 2147483647   106376    145 |  0.000 % |
408.38/408.61	c |    540032 |    1100    22000   110000 |   106755   106786    145 |  0.000 % |
408.78/409.08	c |    540482 |    1100    22000   110000 |   106755    93425    145 |  0.000 % |
409.18/409.49	c |    540975 |    1100    22000   110000 |   106755    93918    145 |  0.000 % |
409.68/409.93	c |    541519 |    1100    22000   110000 |   106755    94462    145 |  0.000 % |
410.18/410.46	c |    542116 |    1100    22000   110000 |   106755    95059    145 |  0.000 % |
410.78/411.03	c |    542771 |    1100    22000   110000 |   106755    95714    145 |  0.000 % |
411.38/411.65	c |    543491 |    1100    22000   110000 |   106755    96434    145 |  0.000 % |
411.98/412.28	c |    544284 |    1100    22000   110000 |   106755    97227    145 |  0.000 % |
412.68/412.96	c |    545157 |    1100    22000   110000 |   106755    98100    145 |  0.000 % |
413.48/413.75	c |    546117 |    1100    22000   110000 |   106755    99060    145 |  0.000 % |
414.49/414.71	c |    547171 |    1100    22000   110000 |   106755   100114    145 |  0.000 % |
415.38/415.65	c |    548330 |    1100    22000   110000 |   106755   101273    145 |  0.000 % |
416.48/416.76	c |    549603 |    1100    22000   110000 |   106755   102546    145 |  0.000 % |
417.78/418.05	c |    551003 |    1100    22000   110000 |   102943    90482    145 |  0.000 % |
418.98/419.26	c |    552543 |    1100    22000   110000 |   102943    92022    145 |  0.000 % |
420.38/420.61	c |    554237 |    1100    22000   110000 |   102943    93716    145 |  0.000 % |
421.88/422.13	c |    556101 |    1100    22000   110000 |   102943    95580    145 |  0.000 % |
423.48/423.71	c |    558152 |    1100    22000   110000 |   102943    97631    145 |  0.000 % |
425.38/425.66	c |    560406 |    1100    22000   110000 |    99481    88105    145 |  0.000 % |
427.18/427.49	c |    562887 |    1100    22000   110000 |    99481    90586    145 |  0.000 % |
429.27/429.59	c |    565612 |    1100    22000   110000 |    99481    93311    145 |  0.000 % |
431.67/431.99	c |    568610 |    1100    22000   110000 |    99481    96309    145 |  0.000 % |
434.28/434.59	c |    571906 |    1100    22000   110000 |    97699    89627    145 |  0.000 % |
437.07/437.30	c |    575531 |    1100    22000   110000 |    97699    93252    145 |  0.000 % |
440.17/440.48	c |    579519 |    1100    22000   110000 |    97699    97240    145 |  0.000 % |
443.78/444.02	c |    583906 |    1100    22000   110000 |    97721    91241    146 |  0.000 % |
447.48/447.73	c |    588729 |    1100    22000   110000 |    97721    96064    146 |  0.000 % |
451.78/452.10	c |    594034 |    1100    22000   110000 | 2147483647   101369    147 |  0.000 % |
451.97/452.22	c |    594134 |    1100    22000   110000 | 2147483647   101469    147 |  0.000 % |
452.07/452.32	c |    594245 |    1100    22000   110000 | 2147483647   101580    147 |  0.000 % |
452.17/452.43	c |    594366 |    1100    22000   110000 | 2147483647   101701    147 |  0.000 % |
452.27/452.58	c |    594499 |    1100    22000   110000 | 2147483647   101834    147 |  0.000 % |
452.47/452.72	c |    594645 |    1100    22000   110000 | 2147483647   101980    147 |  0.000 % |
452.57/452.88	c |    594805 |    1100    22000   110000 | 2147483647   102140    147 |  0.000 % |
452.77/453.06	c |    594981 |    1100    22000   110000 | 2147483647   102316    147 |  0.000 % |
452.98/453.25	c |    595174 |    1100    22000   110000 | 2147483647   102509    147 |  0.000 % |
453.17/453.43	c |    595388 |    1100    22000   110000 | 2147483647   102723    147 |  0.000 % |
453.37/453.65	c |    595622 |    1100    22000   110000 | 2147483647   102957    147 |  0.000 % |
453.57/453.88	c |    595879 |    1100    22000   110000 | 2147483647   103214    147 |  0.000 % |
453.87/454.13	c |    596161 |    1100    22000   110000 | 2147483647   103496    147 |  0.000 % |
454.17/454.41	c |    596470 |    1100    22000   110000 | 2147483647   103805    147 |  0.000 % |
454.47/454.72	c |    596809 |    1100    22000   110000 | 2147483647   104144    147 |  0.000 % |
454.77/455.08	c |    597183 |    1100    22000   110000 | 2147483647   104518    147 |  0.000 % |
455.18/455.44	c |    597593 |    1100    22000   110000 | 2147483647   104928    147 |  0.000 % |
455.57/455.89	c |    598042 |    1100    22000   110000 | 2147483647   105377    147 |  0.000 % |
456.07/456.37	c |    598535 |    1100    22000   110000 | 2147483647   105870    147 |  0.000 % |
456.67/456.92	c |    599077 |    1100    22000   110000 | 2147483647   106412    146 |  0.000 % |
457.27/457.51	c |    599674 |    1100    22000   110000 | 2147483647   107009    146 |  0.000 % |
457.87/458.14	c |    600330 |    1100    22000   110000 |   107336   107665    146 |  0.000 % |
458.57/458.88	c |    601050 |    1100    22000   110000 |   107336    93164    146 |  0.000 % |
459.27/459.57	c |    601843 |    1100    22000   110000 |   107336    93957    146 |  0.000 % |
459.97/460.26	c |    602714 |    1100    22000   110000 |   107336    94828    146 |  0.000 % |
460.77/461.04	c |    603673 |    1100    22000   110000 |   107336    95787    146 |  0.000 % |
461.56/461.84	c |    604729 |    1100    22000   110000 |   107336    96843    146 |  0.000 % |
462.46/462.72	c |    605888 |    1100    22000   110000 |   107336    98002    146 |  0.000 % |
463.36/463.66	c |    607161 |    1100    22000   110000 |   107336    99275    145 |  0.000 % |
464.56/464.80	c |    608565 |    1100    22000   110000 |   107336   100679    146 |  0.000 % |
465.86/466.18	c |    610106 |    1100    22000   110000 |   102115   102220    146 |  0.000 % |
467.27/467.59	c |    611801 |    1100    22000   110000 |   102115    90606    146 |  0.000 % |
468.66/468.98	c |    613664 |    1100    22000   110000 |   102115    92469    145 |  0.000 % |
470.26/470.59	c |    615713 |    1100    22000   110000 |   102115    94518    145 |  0.000 % |
472.16/472.49	c |    617967 |    1100    22000   110000 |   102115    96772    145 |  0.000 % |
474.26/474.52	c |    620445 |    1100    22000   110000 |    98805    87033    145 |  0.000 % |
476.26/476.50	c |    623172 |    1100    22000   110000 |    98805    89760    145 |  0.000 % |
478.36/478.65	c |    626171 |    1100    22000   110000 |    98805    92759    145 |  0.000 % |
480.86/481.13	c |    629467 |    1100    22000   110000 |    98805    96055    145 |  0.000 % |
483.56/483.88	c |    633092 |    1100    22000   110000 |    96590    89670    145 |  0.000 % |
486.76/487.03	c |    637080 |    1100    22000   110000 |    96590    93658    145 |  0.000 % |
490.36/490.62	c |    641465 |    1100    22000   110000 |    96578    87665    145 |  0.000 % |
493.95/494.20	c |    646288 |    1100    22000   110000 |    96578    92488    146 |  0.000 % |
498.05/498.34	c |    651594 |    1100    22000   110000 |    96200    87452    145 |  0.000 % |
502.45/502.72	c |    657430 |    1100    22000   110000 |    96200    93288    145 |  0.000 % |
502.55/502.82	c |    657531 |    1100    22000   110000 |    96200    93389    145 |  0.000 % |
502.65/502.93	c |    657641 |    1100    22000   110000 |    96200    93499    145 |  0.000 % |
502.75/503.04	c |    657762 |    1100    22000   110000 |    96200    93620    145 |  0.000 % |
502.85/503.18	c |    657895 |    1100    22000   110000 |    96200    93753    145 |  0.000 % |
503.05/503.31	c |    658041 |    1100    22000   110000 |    96200    93899    145 |  0.000 % |
503.15/503.49	c |    658202 |    1100    22000   110000 |    96200    94060    145 |  0.000 % |
503.35/503.66	c |    658378 |    1100    22000   110000 |    96200    94236    145 |  0.000 % |
503.55/503.82	c |    658571 |    1100    22000   110000 |    96200    94429    145 |  0.000 % |
503.75/504.03	c |    658784 |    1100    22000   110000 |    96200    94642    145 |  0.000 % |
503.95/504.24	c |    659018 |    1100    22000   110000 |    96200    94876    145 |  0.000 % |
504.25/504.50	c |    659274 |    1100    22000   110000 |    96200    95132    145 |  0.000 % |
504.45/504.72	c |    659555 |    1100    22000   110000 |    96200    95413    145 |  0.000 % |
504.75/505.03	c |    659865 |    1100    22000   110000 |    96200    95723    145 |  0.000 % |
505.05/505.33	c |    660206 |    1100    22000   110000 |    95859    96064    145 |  0.000 % |
505.35/505.68	c |    660580 |    1100    22000   110000 |    95859    85471    145 |  0.000 % |
505.75/506.04	c |    660991 |    1100    22000   110000 |    95859    85882    145 |  0.000 % |
506.05/506.38	c |    661444 |    1100    22000   110000 |    95859    86335    144 |  0.000 % |
506.45/506.76	c |    661938 |    1100    22000   110000 |    95859    86829    144 |  0.000 % |
506.85/507.18	c |    662482 |    1100    22000   110000 |    95859    87373    144 |  0.000 % |
507.35/507.64	c |    663081 |    1100    22000   110000 |    95859    87972    144 |  0.000 % |
507.95/508.20	c |    663736 |    1100    22000   110000 |    95859    88627    144 |  0.000 % |
508.45/508.77	c |    664456 |    1100    22000   110000 |    95859    89347    144 |  0.000 % |
509.15/509.40	c |    665248 |    1100    22000   110000 |    95859    90139    144 |  0.000 % |
509.75/510.08	c |    666119 |    1100    22000   110000 |    95859    91010    144 |  0.000 % |
510.55/510.80	c |    667077 |    1100    22000   110000 |    95859    91968    144 |  0.000 % |
511.35/511.68	c |    668130 |    1100    22000   110000 |    95859    93021    144 |  0.000 % |
512.25/512.60	c |    669292 |    1100    22000   110000 |    95859    94183    144 |  0.000 % |
513.35/513.66	c |    670565 |    1100    22000   110000 |    94893    85435    143 |  0.000 % |
514.46/514.75	c |    671966 |    1100    22000   110000 |    94893    86836    143 |  0.000 % |
515.56/515.86	c |    673507 |    1100    22000   110000 |    94893    88377    144 |  0.000 % |
516.95/517.27	c |    675203 |    1100    22000   110000 |    94893    90073    143 |  0.000 % |
518.45/518.75	c |    677067 |    1100    22000   110000 |    94893    91937    143 |  0.000 % |
520.15/520.48	c |    679117 |    1100    22000   110000 |    94893    93987    144 |  0.000 % |
522.16/522.45	c |    681371 |    1100    22000   110000 |    94870    86231    144 |  0.000 % |
524.05/524.40	c |    683850 |    1100    22000   110000 |    94870    88710    144 |  0.000 % |
526.25/526.55	c |    686575 |    1100    22000   110000 |    94870    91435    144 |  0.000 % |
528.65/528.97	c |    689573 |    1100    22000   110000 |    94870    94433    144 |  0.000 % |
531.35/531.67	c |    692869 |    1100    22000   110000 | 2147483647    97729    144 |  0.000 % |
534.45/534.77	c |    696494 |    1100    22000   110000 | 2147483647   101354    144 |  0.000 % |
538.04/538.36	c |    700482 |    1100    22000   110000 |   104860    92121    145 |  0.000 % |
541.74/542.09	c |    704867 |    1100    22000   110000 |   104860    96506    145 |  0.000 % |
545.64/545.94	c |    709692 |    1100    22000   110000 |   104860   101331    145 |  0.000 % |
550.04/550.30	c |    714999 |    1100    22000   110000 |   101639    93221    145 |  0.000 % |
554.74/555.04	c |    720835 |    1100    22000   110000 |    98226    88150    146 |  0.000 % |
559.83/560.19	c |    727253 |    1100    22000   110000 |    98226    94568    146 |  0.000 % |
559.93/560.29	c |    727353 |    1100    22000   110000 |    98226    94668    146 |  0.000 % |
560.03/560.39	c |    727464 |    1100    22000   110000 |    98226    94779    146 |  0.000 % |
560.23/560.50	c |    727585 |    1100    22000   110000 |    98226    94900    146 |  0.000 % |
560.33/560.65	c |    727720 |    1100    22000   110000 |    98226    95035    146 |  0.000 % |
560.43/560.79	c |    727866 |    1100    22000   110000 |    98226    95181    146 |  0.000 % |
560.64/560.94	c |    728026 |    1100    22000   110000 |    98226    95341    146 |  0.000 % |
560.83/561.13	c |    728204 |    1100    22000   110000 |    98226    95519    146 |  0.000 % |
561.03/561.32	c |    728397 |    1100    22000   110000 |    98226    95712    146 |  0.000 % |
561.23/561.52	c |    728610 |    1100    22000   110000 |    98226    95925    146 |  0.000 % |
561.43/561.72	c |    728845 |    1100    22000   110000 |    98226    96160    146 |  0.000 % |
561.63/561.98	c |    729101 |    1100    22000   110000 |    98226    96416    146 |  0.000 % |
561.84/562.19	c |    729382 |    1100    22000   110000 |    98226    96697    146 |  0.000 % |
562.13/562.47	c |    729693 |    1100    22000   110000 |    98226    97008    146 |  0.000 % |
562.43/562.77	c |    730033 |    1100    22000   110000 |    97315    97348    146 |  0.000 % |
562.84/563.17	c |    730405 |    1100    22000   110000 |    97315    87080    145 |  0.000 % |
563.23/563.53	c |    730815 |    1100    22000   110000 |    97315    87490    145 |  0.000 % |
563.53/563.88	c |    731267 |    1100    22000   110000 |    97315    87942    145 |  0.000 % |
563.94/564.27	c |    731760 |    1100    22000   110000 |    97315    88435    145 |  0.000 % |
564.33/564.68	c |    732302 |    1100    22000   110000 |    97315    88977    145 |  0.000 % |
564.83/565.11	c |    732898 |    1100    22000   110000 |    97315    89573    145 |  0.000 % |
565.33/565.63	c |    733553 |    1100    22000   110000 |    97315    90228    145 |  0.000 % |
565.93/566.26	c |    734273 |    1100    22000   110000 |    97315    90948    145 |  0.000 % |
566.63/566.91	c |    735065 |    1100    22000   110000 |    97315    91740    145 |  0.000 % |
567.34/567.64	c |    735936 |    1100    22000   110000 |    97315    92611    145 |  0.000 % |
568.13/568.43	c |    736894 |    1100    22000   110000 |    97315    93569    145 |  0.000 % |
569.03/569.30	c |    737947 |    1100    22000   110000 |    97315    94622    145 |  0.000 % |
569.93/570.24	c |    739105 |    1100    22000   110000 |    97315    95780    145 |  0.000 % |
571.03/571.31	c |    740378 |    1100    22000   110000 |    96676    97053    145 |  0.000 % |
572.13/572.46	c |    741778 |    1100    22000   110000 |    96676    87998    145 |  0.000 % |
573.23/573.54	c |    743318 |    1100    22000   110000 |    96676    89538    145 |  0.000 % |
574.43/574.80	c |    745013 |    1100    22000   110000 |    96676    91233    145 |  0.000 % |
576.03/576.35	c |    746878 |    1100    22000   110000 |    96676    93098    145 |  0.000 % |
577.53/577.84	c |    748927 |    1100    22000   110000 |    96676    95147    145 |  0.000 % |
579.23/579.58	c |    751180 |    1100    22000   110000 | 2147483647    97400    146 |  0.000 % |
581.13/581.44	c |    753659 |    1100    22000   110000 | 2147483647    99879    146 |  0.000 % |
583.33/583.65	c |    756384 |    1100    22000   110000 | 2147483647   102604    146 |  0.000 % |
586.03/586.35	c |    759381 |    1100    22000   110000 | 2147483647   105601    146 |  0.000 % |
588.82/589.19	c |    762679 |    1100    22000   110000 |   106221    95867    147 |  0.000 % |
591.92/592.28	c |    766304 |    1100    22000   110000 |   106221    99492    147 |  0.000 % |
595.52/595.87	c |    770291 |    1100    22000   110000 |   103188   103479    147 |  0.000 % |
599.22/599.54	c |    774676 |    1100    22000   110000 |   103188    94627    147 |  0.000 % |
603.42/603.72	c |    779499 |    1100    22000   110000 |   103188    99450    148 |  0.000 % |
607.82/608.13	c |    784804 |    1100    22000   110000 |    99951    93132    147 |  0.000 % |
612.81/613.14	c |    790640 |    1100    22000   110000 |    98328    87624    147 |  0.000 % |
618.11/618.48	c |    797058 |    1100    22000   110000 |    98328    94042    147 |  0.000 % |
623.71/624.01	c |    804117 |    1100    22000   110000 |    96984    89970    149 |  0.000 % |
623.71/624.09	c |    804217 |    1100    22000   110000 |    96984    90070    149 |  0.000 % |
623.81/624.20	c |    804328 |    1100    22000   110000 |    96984    90181    149 |  0.000 % |
624.01/624.30	c |    804450 |    1100    22000   110000 |    96984    90303    149 |  0.000 % |
624.11/624.42	c |    804584 |    1100    22000   110000 |    96984    90437    149 |  0.000 % |
624.21/624.56	c |    804730 |    1100    22000   110000 |    96984    90583    149 |  0.000 % |
624.31/624.68	c |    804891 |    1100    22000   110000 |    96984    90744    148 |  0.000 % |
624.51/624.84	c |    805067 |    1100    22000   110000 |    96984    90920    148 |  0.000 % |
624.71/625.04	c |    805260 |    1100    22000   110000 |    96984    91113    148 |  0.000 % |
624.91/625.22	c |    805472 |    1100    22000   110000 |    96984    91325    148 |  0.000 % |
625.11/625.42	c |    805706 |    1100    22000   110000 |    96984    91559    148 |  0.000 % |
625.31/625.66	c |    805962 |    1100    22000   110000 |    96984    91815    148 |  0.000 % |
625.61/625.93	c |    806244 |    1100    22000   110000 |    96984    92097    148 |  0.000 % |
625.81/626.18	c |    806553 |    1100    22000   110000 |    96984    92406    148 |  0.000 % |
626.21/626.50	c |    806897 |    1100    22000   110000 |    96984    92750    148 |  0.000 % |
626.51/626.83	c |    807269 |    1100    22000   110000 |    96984    93122    148 |  0.000 % |
626.81/627.16	c |    807679 |    1100    22000   110000 |    96984    93532    148 |  0.000 % |
627.21/627.53	c |    808128 |    1100    22000   110000 |    96984    93981    148 |  0.000 % |
627.61/627.96	c |    808621 |    1100    22000   110000 |    96984    94474    148 |  0.000 % |
628.11/628.42	c |    809164 |    1100    22000   110000 |    96984    95017    148 |  0.000 % |
628.51/628.89	c |    809760 |    1100    22000   110000 |    96984    95613    148 |  0.000 % |
629.21/629.52	c |    810415 |    1100    22000   110000 |    95854    85001    147 |  0.000 % |
629.71/630.05	c |    811135 |    1100    22000   110000 |    95854    85721    147 |  0.000 % |
630.31/630.69	c |    811928 |    1100    22000   110000 |    95854    86514    147 |  0.000 % |
631.01/631.35	c |    812799 |    1100    22000   110000 |    95854    87385    147 |  0.000 % |
631.81/632.12	c |    813757 |    1100    22000   110000 |    95854    88343    147 |  0.000 % |
632.61/632.91	c |    814810 |    1100    22000   110000 |    95854    89396    147 |  0.000 % |
633.51/633.85	c |    815969 |    1100    22000   110000 |    95854    90555    147 |  0.000 % |
634.51/634.82	c |    817242 |    1100    22000   110000 |    95854    91828    146 |  0.000 % |
635.61/635.90	c |    818642 |    1100    22000   110000 |    95854    93228    146 |  0.000 % |
636.71/637.09	c |    820183 |    1100    22000   110000 |    94586    94769    146 |  0.000 % |
638.01/638.30	c |    821878 |    1100    22000   110000 |    94586    86795    147 |  0.000 % |
639.41/639.71	c |    823743 |    1100    22000   110000 |    94586    88660    147 |  0.000 % |
640.92/641.22	c |    825794 |    1100    22000   110000 |    94586    90711    147 |  0.000 % |
642.61/642.95	c |    828048 |    1100    22000   110000 |    94586    92965    147 |  0.000 % |
644.51/644.88	c |    830526 |    1100    22000   110000 | 2147483647    95443    147 |  0.000 % |
646.71/647.09	c |    833252 |    1100    22000   110000 | 2147483647    98169    147 |  0.000 % |
649.31/649.68	c |    836250 |    1100    22000   110000 | 2147483647   101167    147 |  0.000 % |
652.31/652.67	c |    839546 |    1100    22000   110000 | 2147483647   104463    148 |  0.000 % |
655.21/655.55	c |    843173 |    1100    22000   110000 |   104917    93671    147 |  0.000 % |
658.20/658.52	c |    847160 |    1100    22000   110000 |   104917    97658    147 |  0.000 % |
661.70/662.09	c |    851546 |    1100    22000   110000 |   100498    90062    147 |  0.000 % |
665.30/665.64	c |    856369 |    1100    22000   110000 |   100498    94885    147 |  0.000 % |
669.61/669.91	c |    861674 |    1100    22000   110000 |    98517    88690    148 |  0.000 % |
674.00/674.35	c |    867509 |    1100    22000   110000 |    98517    94525    147 |  0.000 % |
679.10/679.46	c |    873928 |    1100    22000   110000 |    97016    89873    148 |  0.000 % |
684.90/685.26	c |    880988 |    1100    22000   110000 |    95945    85008    149 |  0.000 % |
690.99/691.32	c |    888752 |    1100    22000   110000 |    95945    92772    149 |  0.000 % |
691.09/691.40	c |    888852 |    1100    22000   110000 |    95945    92872    149 |  0.000 % |
691.19/691.51	c |    888962 |    1100    22000   110000 |    95945    92982    149 |  0.000 % |
691.29/691.60	c |    889083 |    1100    22000   110000 |    95945    93103    149 |  0.000 % |
691.39/691.75	c |    889217 |    1100    22000   110000 |    95945    93237    149 |  0.000 % |
691.50/691.88	c |    889364 |    1100    22000   110000 |    95945    93384    149 |  0.000 % |
691.69/692.02	c |    889524 |    1100    22000   110000 |    95945    93544    149 |  0.000 % |
691.79/692.19	c |    889700 |    1100    22000   110000 |    95945    93720    149 |  0.000 % |
691.99/692.37	c |    889895 |    1100    22000   110000 |    95945    93915    149 |  0.000 % |
692.19/692.54	c |    890107 |    1100    22000   110000 |    94021    94127    149 |  0.000 % |
692.39/692.78	c |    890340 |    1100    22000   110000 |    94021    83746    149 |  0.000 % |
692.60/692.99	c |    890597 |    1100    22000   110000 |    94021    84003    149 |  0.000 % |
692.89/693.23	c |    890878 |    1100    22000   110000 |    94021    84284    149 |  0.000 % |
693.09/693.48	c |    891187 |    1100    22000   110000 |    94021    84593    149 |  0.000 % |
693.39/693.73	c |    891526 |    1100    22000   110000 |    94021    84932    148 |  0.000 % |
693.69/694.08	c |    891899 |    1100    22000   110000 |    94021    85305    148 |  0.000 % |
694.09/694.42	c |    892309 |    1100    22000   110000 |    94021    85715    148 |  0.000 % |
694.39/694.79	c |    892759 |    1100    22000   110000 |    94021    86165    148 |  0.000 % |
694.80/695.17	c |    893255 |    1100    22000   110000 |    94021    86661    148 |  0.000 % |
695.29/695.61	c |    893798 |    1100    22000   110000 |    94021    87204    148 |  0.000 % |
695.69/696.06	c |    894394 |    1100    22000   110000 |    94021    87800    148 |  0.000 % |
696.19/696.57	c |    895051 |    1100    22000   110000 |    94021    88457    148 |  0.000 % |
696.89/697.22	c |    895773 |    1100    22000   110000 |    94021    89179    148 |  0.000 % |
697.49/697.81	c |    896565 |    1100    22000   110000 |    94021    89971    148 |  0.000 % |
698.19/698.53	c |    897437 |    1100    22000   110000 |    94021    90843    148 |  0.000 % |
698.99/699.31	c |    898398 |    1100    22000   110000 |    94021    91804    148 |  0.000 % |
699.79/700.15	c |    899455 |    1100    22000   110000 |    94021    92861    147 |  0.000 % |
700.79/701.15	c |    900613 |    1100    22000   110000 |    93407    83971    148 |  0.000 % |
701.69/702.08	c |    901887 |    1100    22000   110000 |    93407    85245    148 |  0.000 % |
702.79/703.14	c |    903287 |    1100    22000   110000 |    93407    86645    148 |  0.000 % |
703.99/704.31	c |    904829 |    1100    22000   110000 |    93407    88187    148 |  0.000 % |
705.29/705.62	c |    906524 |    1100    22000   110000 |    93407    89882    148 |  0.000 % |
706.79/707.20	c |    908388 |    1100    22000   110000 |    93407    91746    148 |  0.000 % |
708.39/708.77	c |    910437 |    1100    22000   110000 | 2147483647    93795    148 |  0.000 % |
710.19/710.55	c |    912690 |    1100    22000   110000 | 2147483647    96048    147 |  0.000 % |
712.08/712.47	c |    915168 |    1100    22000   110000 | 2147483647    98526    147 |  0.000 % |
714.18/714.55	c |    917894 |    1100    22000   110000 | 2147483647   101252    147 |  0.000 % |
716.68/717.06	c |    920895 |    1100    22000   110000 |   103361    91777    148 |  0.000 % |
719.38/719.74	c |    924191 |    1100    22000   110000 |   103361    95073    148 |  0.000 % |
722.28/722.67	c |    927816 |    1100    22000   110000 |   103361    98698    148 |  0.000 % |
725.48/725.88	c |    931804 |    1100    22000   110000 |   100884    90895    148 |  0.000 % |
728.98/729.34	c |    936191 |    1100    22000   110000 |   100884    95282    148 |  0.000 % |
733.28/733.61	c |    941016 |    1100    22000   110000 |    99091    88891    149 |  0.000 % |
737.37/737.74	c |    946322 |    1100    22000   110000 |    99091    94197    149 |  0.000 % |
741.87/742.21	c |    952159 |    1100    22000   110000 |    97875    88717    149 |  0.000 % |
746.77/747.14	c |    958578 |    1100    22000   110000 |    97875    95136    149 |  0.000 % |
752.37/752.75	c |    965637 |    1100    22000   110000 |    96560    91548    149 |  0.000 % |
758.36/758.77	c |    973404 |    1100    22000   110000 |    95915    88388    148 |  0.000 % |
765.46/765.87	c |    981948 |    1100    22000   110000 |    94985    86873    150 |  0.000 % |
765.56/765.96	c |    982048 |    1100    22000   110000 |    94985    86973    150 |  0.000 % |
765.66/766.07	c |    982159 |    1100    22000   110000 |    94985    87084    150 |  0.000 % |
765.76/766.18	c |    982280 |    1100    22000   110000 |    94985    87205    150 |  0.000 % |
765.86/766.28	c |    982415 |    1100    22000   110000 |    94985    87340    150 |  0.000 % |
766.06/766.41	c |    982561 |    1100    22000   110000 |    94985    87486    150 |  0.000 % |
766.16/766.58	c |    982721 |    1100    22000   110000 |    94985    87646    150 |  0.000 % |
766.37/766.72	c |    982898 |    1100    22000   110000 |    94985    87823    150 |  0.000 % |
766.56/766.90	c |    983091 |    1100    22000   110000 |    94985    88016    150 |  0.000 % |
766.76/767.12	c |    983303 |    1100    22000   110000 |    94985    88228    150 |  0.000 % |
766.96/767.32	c |    983536 |    1100    22000   110000 |    94985    88461    150 |  0.000 % |
767.16/767.56	c |    983792 |    1100    22000   110000 |    94985    88717    150 |  0.000 % |
767.47/767.81	c |    984073 |    1100    22000   110000 |    94985    88998    150 |  0.000 % |
767.66/768.09	c |    984383 |    1100    22000   110000 |    94985    89308    150 |  0.000 % |
767.96/768.35	c |    984723 |    1100    22000   110000 |    94985    89648    150 |  0.000 % |
768.26/768.66	c |    985095 |    1100    22000   110000 |    94985    90020    149 |  0.000 % |
768.66/769.02	c |    985504 |    1100    22000   110000 |    94985    90429    149 |  0.000 % |
769.06/769.44	c |    985954 |    1100    22000   110000 |    94985    90879    149 |  0.000 % |
769.46/769.85	c |    986447 |    1100    22000   110000 |    94985    91372    149 |  0.000 % |
769.86/770.27	c |    986989 |    1100    22000   110000 |    94985    91914    149 |  0.000 % |
770.36/770.71	c |    987585 |    1100    22000   110000 |    94985    92510    149 |  0.000 % |
770.86/771.28	c |    988240 |    1100    22000   110000 |    94985    93165    149 |  0.000 % |
771.46/771.85	c |    988962 |    1100    22000   110000 |    94985    93887    149 |  0.000 % |
772.16/772.51	c |    989755 |    1100    22000   110000 |    94985    94680    149 |  0.000 % |
772.86/773.27	c |    990627 |    1100    22000   110000 |    94928    84923    150 |  0.000 % |
773.56/773.94	c |    991585 |    1100    22000   110000 |    94928    85881    150 |  0.000 % |
774.36/774.76	c |    992638 |    1100    22000   110000 |    94928    86934    149 |  0.000 % |
775.26/775.61	c |    993798 |    1100    22000   110000 |    94928    88094    149 |  0.000 % |
776.16/776.57	c |    995072 |    1100    22000   110000 |    94928    89368    149 |  0.000 % |
777.36/777.73	c |    996473 |    1100    22000   110000 |    94928    90769    149 |  0.000 % |
778.56/778.96	c |    998013 |    1100    22000   110000 |    94928    92309    149 |  0.000 % |
780.05/780.43	c |    999707 |    1100    22000   110000 |    94928    94003    149 |  0.000 % |
781.45/781.84	c |   1001570 |    1100    22000   110000 | 2147483647    95866    148 |  0.000 % |
783.05/783.49	c |   1003622 |    1100    22000   110000 | 2147483647    97918    148 |  0.000 % |
784.96/785.32	c |   1005879 |    1100    22000   110000 | 2147483647   100175    148 |  0.000 % |
787.16/787.52	c |   1008358 |    1100    22000   110000 | 2147483647   102654    148 |  0.000 % |
789.55/789.96	c |   1011083 |    1100    22000   110000 |   104296    91912    149 |  0.000 % |
791.95/792.37	c |   1014080 |    1100    22000   110000 |   104296    94909    149 |  0.000 % |
794.65/795.03	c |   1017376 |    1100    22000   110000 |   104296    98205    148 |  0.000 % |
797.65/798.03	c |   1021002 |    1100    22000   110000 |   100829    89416    148 |  0.000 % |
800.75/801.15	c |   1024989 |    1100    22000   110000 |   100829    93403    148 |  0.000 % |
804.55/804.92	c |   1029374 |    1100    22000   110000 |   100829    97788    148 |  0.000 % |
808.35/808.75	c |   1034199 |    1100    22000   110000 |    98417    91161    147 |  0.000 % |
812.65/813.04	c |   1039507 |    1100    22000   110000 |    98417    96469    148 |  0.000 % |
817.45/817.87	c |   1045343 |    1100    22000   110000 |    96962    91930    148 |  0.000 % |
822.74/823.20	c |   1051763 |    1100    22000   110000 |    96587    87681    147 |  0.000 % |
828.44/828.83	c |   1058823 |    1100    22000   110000 |    96587    94741    147 |  0.000 % |
834.44/834.86	c |   1066589 |    1100    22000   110000 |    95920    91354    147 |  0.000 % |
841.04/841.45	c |   1075131 |    1100    22000   110000 |    94765    89663    147 |  0.000 % |
848.74/849.16	c |   1084525 |    1100    22000   110000 |    94532    88413    148 |  0.000 % |
848.84/849.26	c |   1084625 |    1100    22000   110000 |    94532    88513    148 |  0.000 % |
848.93/849.36	c |   1084736 |    1100    22000   110000 |    94532    88624    148 |  0.000 % |
849.03/849.48	c |   1084858 |    1100    22000   110000 |    94532    88746    148 |  0.000 % |
849.23/849.62	c |   1084991 |    1100    22000   110000 |    94532    88879    148 |  0.000 % |
849.33/849.78	c |   1085137 |    1100    22000   110000 |    94532    89025    148 |  0.000 % |
849.53/849.91	c |   1085298 |    1100    22000   110000 |    94532    89186    148 |  0.000 % |
849.63/850.07	c |   1085474 |    1100    22000   110000 |    94532    89362    148 |  0.000 % |
849.83/850.23	c |   1085667 |    1100    22000   110000 |    94532    89555    148 |  0.000 % |
850.03/850.41	c |   1085880 |    1100    22000   110000 |    94532    89768    148 |  0.000 % |
850.13/850.59	c |   1086118 |    1100    22000   110000 |    94532    90006    148 |  0.000 % |
850.43/850.82	c |   1086374 |    1100    22000   110000 |    94532    90262    148 |  0.000 % |
850.63/851.05	c |   1086656 |    1100    22000   110000 |    94532    90544    148 |  0.000 % |
850.93/851.33	c |   1086966 |    1100    22000   110000 |    94532    90854    148 |  0.000 % |
851.23/851.60	c |   1087305 |    1100    22000   110000 |    94532    91193    148 |  0.000 % |
851.53/851.93	c |   1087677 |    1100    22000   110000 |    94532    91565    148 |  0.000 % |
851.83/852.27	c |   1088086 |    1100    22000   110000 |    94532    91974    148 |  0.000 % |
852.23/852.67	c |   1088535 |    1100    22000   110000 |    94532    92423    148 |  0.000 % |
852.73/853.12	c |   1089029 |    1100    22000   110000 |    94532    92917    148 |  0.000 % |
853.23/853.61	c |   1089571 |    1100    22000   110000 |    94532    93459    148 |  0.000 % |
853.73/854.13	c |   1090167 |    1100    22000   110000 |    93888    94055    148 |  0.000 % |
854.23/854.67	c |   1090822 |    1100    22000   110000 |    93888    83843    148 |  0.000 % |
854.83/855.21	c |   1091542 |    1100    22000   110000 |    93888    84563    148 |  0.000 % |
855.43/855.83	c |   1092338 |    1100    22000   110000 |    93888    85359    148 |  0.000 % |
856.03/856.47	c |   1093209 |    1100    22000   110000 |    93888    86230    148 |  0.000 % |
856.73/857.15	c |   1094167 |    1100    22000   110000 |    93888    87188    148 |  0.000 % |
857.53/857.98	c |   1095220 |    1100    22000   110000 |    93888    88241    148 |  0.000 % |
858.43/858.86	c |   1096378 |    1100    22000   110000 |    93888    89399    148 |  0.000 % |
859.42/859.83	c |   1097651 |    1100    22000   110000 |    93888    90672    148 |  0.000 % |
860.52/860.94	c |   1099052 |    1100    22000   110000 |    93888    92073    148 |  0.000 % |
861.82/862.25	c |   1100592 |    1100    22000   110000 |    93023    84245    148 |  0.000 % |
863.12/863.52	c |   1102286 |    1100    22000   110000 |    93023    85939    148 |  0.000 % |
864.52/864.94	c |   1104149 |    1100    22000   110000 |    93023    87802    148 |  0.000 % |
866.32/866.71	c |   1106198 |    1100    22000   110000 |    93023    89851    148 |  0.000 % |
868.12/868.51	c |   1108452 |    1100    22000   110000 |    93023    92105    148 |  0.000 % |
870.02/870.42	c |   1110930 |    1100    22000   110000 | 2147483647    85243    148 |  0.000 % |
871.92/872.39	c |   1113658 |    1100    22000   110000 | 2147483647    87971    148 |  0.000 % |
874.02/874.47	c |   1116656 |    1100    22000   110000 | 2147483647    90969    148 |  0.000 % |
876.51/876.90	c |   1119952 |    1100    22000   110000 | 2147483647    94265    148 |  0.000 % |
879.21/879.69	c |   1123579 |    1100    22000   110000 | 2147483647    97892    148 |  0.000 % |
882.61/883.04	c |   1127566 |    1100    22000   110000 | 2147483647   101879    148 |  0.000 % |
886.41/886.87	c |   1131951 |    1100    22000   110000 |   104313    93375    147 |  0.000 % |
890.31/890.75	c |   1136776 |    1100    22000   110000 |   104313    98200    147 |  0.000 % |
894.81/895.24	c |   1142081 |    1100    22000   110000 |   101425    91358    147 |  0.000 % |
899.60/900.02	c |   1147917 |    1100    22000   110000 |   101425    97194    147 |  0.000 % |
905.10/905.54	c |   1154335 |    1100    22000   110000 |    99277    91668    147 |  0.000 % |
911.10/911.51	c |   1161395 |    1100    22000   110000 |    97334    88350    147 |  0.000 % |
917.40/917.84	c |   1169159 |    1100    22000   110000 |    97334    96114    148 |  0.000 % |
924.61/925.08	c |   1177699 |    1100    22000   110000 | 2147483647   104654    148 |  0.000 % |
933.29/933.70	c |   1187094 |    1100    22000   110000 |   106956   100471    150 |  0.000 % |
941.59/942.02	c |   1197428 |    1100    22000   110000 |   103377    96634    151 |  0.000 % |
941.69/942.13	c |   1197530 |    1100    22000   110000 |   103377    96736    151 |  0.000 % |
941.79/942.25	c |   1197640 |    1100    22000   110000 |   103377    96846    151 |  0.000 % |
941.89/942.36	c |   1197761 |    1100    22000   110000 |   103377    96967    151 |  0.000 % |
941.99/942.49	c |   1197894 |    1100    22000   110000 |   103377    97100    151 |  0.000 % |
942.19/942.65	c |   1198040 |    1100    22000   110000 |   103377    97246    151 |  0.000 % |
942.39/942.85	c |   1198201 |    1100    22000   110000 |   103377    97407    151 |  0.000 % |
942.59/943.01	c |   1198377 |    1100    22000   110000 |   103377    97583    151 |  0.000 % |
942.69/943.19	c |   1198570 |    1100    22000   110000 |   103377    97776    151 |  0.000 % |
942.99/943.42	c |   1198783 |    1100    22000   110000 |   103377    97989    151 |  0.000 % |
943.19/943.64	c |   1199016 |    1100    22000   110000 |   103377    98222    151 |  0.000 % |
943.39/943.88	c |   1199273 |    1100    22000   110000 |   103377    98479    151 |  0.000 % |
943.69/944.15	c |   1199554 |    1100    22000   110000 |   103377    98760    150 |  0.000 % |
943.99/944.46	c |   1199864 |    1100    22000   110000 |   103377    99070    150 |  0.000 % |
944.29/944.78	c |   1200204 |    1100    22000   110000 |    99206    99410    150 |  0.000 % |
944.69/945.19	c |   1200578 |    1100    22000   110000 |    99206    85339    151 |  0.000 % |
945.09/945.56	c |   1200989 |    1100    22000   110000 |    99206    85750    151 |  0.000 % |
945.49/945.90	c |   1201438 |    1100    22000   110000 |    99206    86199    151 |  0.000 % |
945.88/946.36	c |   1201931 |    1100    22000   110000 |    99206    86692    151 |  0.000 % |
946.28/946.77	c |   1202473 |    1100    22000   110000 |    99206    87234    151 |  0.000 % |
946.78/947.23	c |   1203069 |    1100    22000   110000 |    99206    87830    151 |  0.000 % |
947.28/947.77	c |   1203725 |    1100    22000   110000 |    99206    88486    151 |  0.000 % |
947.88/948.35	c |   1204445 |    1100    22000   110000 |    99206    89206    151 |  0.000 % |
948.58/949.01	c |   1205239 |    1100    22000   110000 |    99206    90000    151 |  0.000 % |
949.18/949.68	c |   1206110 |    1100    22000   110000 |    99206    90871    151 |  0.000 % |
949.89/950.39	c |   1207068 |    1100    22000   110000 |    99206    91829    150 |  0.000 % |
950.78/951.24	c |   1208121 |    1100    22000   110000 |    99206    92882    150 |  0.000 % |
951.78/952.24	c |   1209279 |    1100    22000   110000 |    99206    94040    150 |  0.000 % |
952.88/953.33	c |   1210553 |    1100    22000   110000 |    94762    84984    150 |  0.000 % |
953.98/954.45	c |   1211953 |    1100    22000   110000 |    94762    86384    150 |  0.000 % |
955.18/955.66	c |   1213494 |    1100    22000   110000 |    94762    87925    150 |  0.000 % |
956.58/957.00	c |   1215190 |    1100    22000   110000 |    94762    89621    149 |  0.000 % |
957.98/958.48	c |   1217054 |    1100    22000   110000 |    94762    91485    149 |  0.000 % |
959.58/960.09	c |   1219104 |    1100    22000   110000 |    94762    93535    149 |  0.000 % |
961.37/961.89	c |   1221357 |    1100    22000   110000 |    94432    86257    150 |  0.000 % |
963.18/963.69	c |   1223835 |    1100    22000   110000 |    94432    88735    150 |  0.000 % |
965.28/965.77	c |   1226560 |    1100    22000   110000 |    94432    91460    150 |  0.000 % |
967.87/968.34	c |   1229557 |    1100    22000   110000 |    94432    94457    150 |  0.000 % |
970.37/970.84	c |   1232854 |    1100    22000   110000 |    85333    79571    149 |  0.000 % |
972.87/973.37	c |   1236480 |    1100    22000   110000 |    85333    83197    149 |  0.000 % |
975.77/976.25	c |   1240469 |    1100    22000   110000 | 2147483647    78615    149 |  0.000 % |
978.97/979.43	c |   1244855 |    1100    22000   110000 | 2147483647    83001    150 |  0.000 % |
982.38/982.88	c |   1249679 |    1100    22000   110000 | 2147483647    87825    150 |  0.000 % |
986.57/987.09	c |   1254984 |    1100    22000   110000 | 2147483647    93130    151 |  0.000 % |
991.27/991.78	c |   1260819 |    1100    22000   110000 | 2147483647    98965    151 |  0.000 % |
996.87/997.34	c |   1267238 |    1100    22000   110000 | 2147483647   105384    151 |  0.000 % |
1003.26/1003.74	c |   1274297 |    1100    22000   110000 |   108146    97586    151 |  0.000 % |
1009.96/1010.49	c |   1282062 |    1100    22000   110000 |   103289    91581    151 |  0.000 % |
1016.86/1017.34	c |   1290602 |    1100    22000   110000 |    99519    86841    151 |  0.000 % |
1024.55/1025.07	c |   1300000 |    1100    22000   110000 |    99519    96239    152 |  0.000 % |
1032.55/1033.02	c |   1310333 |    1100    22000   110000 |    95714    96046    154 |  0.000 % |
1041.64/1042.11	c |   1321699 |    1100    22000   110000 | 2147483647    96779    155 |  0.000 % |
1041.74/1042.21	c |   1321800 |    1100    22000   110000 | 2147483647    96880    155 |  0.000 % |
1041.84/1042.33	c |   1321912 |    1100    22000   110000 | 2147483647    96992    155 |  0.000 % |
1041.94/1042.43	c |   1322033 |    1100    22000   110000 | 2147483647    97113    154 |  0.000 % |
1042.04/1042.59	c |   1322167 |    1100    22000   110000 | 2147483647    97247    154 |  0.000 % |
1042.25/1042.72	c |   1322313 |    1100    22000   110000 | 2147483647    97393    154 |  0.000 % |
1042.35/1042.87	c |   1322473 |    1100    22000   110000 | 2147483647    97553    154 |  0.000 % |
1042.54/1043.04	c |   1322649 |    1100    22000   110000 | 2147483647    97729    154 |  0.000 % |
1042.74/1043.21	c |   1322843 |    1100    22000   110000 | 2147483647    97923    154 |  0.000 % |
1042.84/1043.39	c |   1323055 |    1100    22000   110000 | 2147483647    98135    154 |  0.000 % |
1043.14/1043.66	c |   1323288 |    1100    22000   110000 | 2147483647    98368    154 |  0.000 % |
1043.45/1043.92	c |   1323544 |    1100    22000   110000 | 2147483647    98624    154 |  0.000 % |
1043.74/1044.20	c |   1323825 |    1100    22000   110000 | 2147483647    98905    154 |  0.000 % |
1043.94/1044.49	c |   1324134 |    1100    22000   110000 | 2147483647    99214    154 |  0.000 % |
1044.24/1044.79	c |   1324474 |    1100    22000   110000 | 2147483647    99554    154 |  0.000 % |
1044.64/1045.10	c |   1324846 |    1100    22000   110000 | 2147483647    99926    154 |  0.000 % |
1044.94/1045.48	c |   1325257 |    1100    22000   110000 | 2147483647   100337    154 |  0.000 % |
1045.34/1045.84	c |   1325709 |    1100    22000   110000 | 2147483647   100789    154 |  0.000 % |
1045.74/1046.24	c |   1326202 |    1100    22000   110000 | 2147483647   101282    154 |  0.000 % |
1046.24/1046.70	c |   1326744 |    1100    22000   110000 | 2147483647   101824    154 |  0.000 % |
1046.74/1047.25	c |   1327341 |    1100    22000   110000 | 2147483647   102421    154 |  0.000 % |
1047.34/1047.81	c |   1327998 |    1100    22000   110000 | 2147483647   103078    154 |  0.000 % |
1047.84/1048.38	c |   1328721 |    1100    22000   110000 | 2147483647   103801    154 |  0.000 % |
1048.54/1049.01	c |   1329513 |    1100    22000   110000 | 2147483647   104593    154 |  0.000 % |
1049.34/1049.89	c |   1330384 |    1100    22000   110000 |   105081   105464    153 |  0.000 % |
1050.24/1050.75	c |   1331346 |    1100    22000   110000 |   105081    91536    154 |  0.000 % |
1051.14/1051.62	c |   1332400 |    1100    22000   110000 |   105081    92590    154 |  0.000 % |
1051.94/1052.49	c |   1333558 |    1100    22000   110000 |   105081    93748    154 |  0.000 % |
1053.04/1053.52	c |   1334834 |    1100    22000   110000 |   105081    95024    154 |  0.000 % |
1054.14/1054.62	c |   1336236 |    1100    22000   110000 |   105081    96426    153 |  0.000 % |
1055.34/1055.83	c |   1337776 |    1100    22000   110000 |   105081    97966    153 |  0.000 % |
1056.74/1057.24	c |   1339473 |    1100    22000   110000 |   105081    99663    153 |  0.000 % |
1058.44/1058.91	c |   1341338 |    1100    22000   110000 |   100190    89327    152 |  0.000 % |
1060.04/1060.52	c |   1343389 |    1100    22000   110000 |   100190    91378    152 |  0.000 % |
1061.73/1062.20	c |   1345645 |    1100    22000   110000 |   100190    93634    152 |  0.000 % |
1063.73/1064.23	c |   1348125 |    1100    22000   110000 |   100190    96114    152 |  0.000 % |
1065.83/1066.38	c |   1350852 |    1100    22000   110000 |    97989    88433    151 |  0.000 % |
1068.13/1068.70	c |   1353850 |    1100    22000   110000 |    97989    91431    151 |  0.000 % |
1070.63/1071.17	c |   1357149 |    1100    22000   110000 |    97989    94730    151 |  0.000 % |
1073.53/1074.08	c |   1360775 |    1100    22000   110000 | 2147483647    98356    150 |  0.000 % |
1076.84/1077.38	c |   1364762 |    1100    22000   110000 | 2147483647   102343    151 |  0.000 % |
1080.64/1081.13	c |   1369149 |    1100    22000   110000 | 2147483647   106730    151 |  0.000 % |
1084.74/1085.24	c |   1373974 |    1100    22000   110000 |   107581    98678    150 |  0.000 % |
1089.23/1089.71	c |   1379281 |    1100    22000   110000 |   107581   103985    150 |  0.000 % |
1094.13/1094.61	c |   1385116 |    1100    22000   110000 |   104704    96878    149 |  0.000 % |
1099.53/1100.09	c |   1391534 |    1100    22000   110000 |   101763    90453    149 |  0.000 % |
1105.23/1105.79	c |   1398593 |    1100    22000   110000 |   101763    97512    149 |  0.000 % |
1111.23/1111.78	c |   1406359 |    1100    22000   110000 |    98921    91868    148 |  0.000 % |
1118.02/1118.53	c |   1414899 |    1100    22000   110000 |    95511    90026    149 |  0.000 % |
1126.32/1126.80	c |   1424293 |    1100    22000   110000 | 2147483647    99420    150 |  0.000 % |
1135.92/1136.46	c |   1434627 |    1100    22000   110000 |   105129    96361    152 |  0.000 % |
1146.01/1146.53	c |   1445993 |    1100    22000   110000 |   101734    94741    154 |  0.000 % |
1157.61/1158.14	c |   1458495 |    1100    22000   110000 |    98751    95030    154 |  0.000 % |
1157.71/1158.24	c |   1458595 |    1100    22000   110000 |    98751    95130    154 |  0.000 % |
1157.81/1158.36	c |   1458705 |    1100    22000   110000 |    98751    95240    154 |  0.000 % |
1157.91/1158.48	c |   1458826 |    1100    22000   110000 |    98751    95361    154 |  0.000 % |
1158.01/1158.59	c |   1458960 |    1100    22000   110000 |    98751    95495    154 |  0.000 % |
1158.21/1158.73	c |   1459106 |    1100    22000   110000 |    98751    95641    154 |  0.000 % |
1158.31/1158.88	c |   1459266 |    1100    22000   110000 |    98751    95801    154 |  0.000 % |
1158.51/1159.05	c |   1459446 |    1100    22000   110000 |    98751    95981    154 |  0.000 % |
1158.71/1159.24	c |   1459639 |    1100    22000   110000 |    98751    96174    154 |  0.000 % |
1158.91/1159.45	c |   1459854 |    1100    22000   110000 |    98751    96389    154 |  0.000 % |
1159.11/1159.68	c |   1460087 |    1100    22000   110000 |    96535    96622    154 |  0.000 % |
1159.41/1159.97	c |   1460343 |    1100    22000   110000 |    96535    84253    155 |  0.000 % |
1159.61/1160.19	c |   1460624 |    1100    22000   110000 |    96535    84534    155 |  0.000 % |
1159.91/1160.43	c |   1460934 |    1100    22000   110000 |    96535    84844    155 |  0.000 % |
1160.11/1160.68	c |   1461273 |    1100    22000   110000 |    96535    85183    154 |  0.000 % |
1160.41/1160.97	c |   1461646 |    1100    22000   110000 |    96535    85556    154 |  0.000 % |
1160.71/1161.28	c |   1462056 |    1100    22000   110000 |    96535    85966    154 |  0.000 % |
1161.11/1161.66	c |   1462505 |    1100    22000   110000 |    96535    86415    154 |  0.000 % |
1161.51/1162.09	c |   1463000 |    1100    22000   110000 |    96535    86910    154 |  0.000 % |
1162.01/1162.52	c |   1463544 |    1100    22000   110000 |    96535    87454    154 |  0.000 % |
1162.51/1163.05	c |   1464140 |    1100    22000   110000 |    96535    88050    154 |  0.000 % |
1163.01/1163.54	c |   1464796 |    1100    22000   110000 |    96535    88706    154 |  0.000 % |
1163.61/1164.12	c |   1465516 |    1100    22000   110000 |    96535    89426    154 |  0.000 % |
1164.21/1164.79	c |   1466309 |    1100    22000   110000 |    96535    90219    154 |  0.000 % |
1164.91/1165.47	c |   1467181 |    1100    22000   110000 |    96535    91091    154 |  0.000 % |
1165.61/1166.20	c |   1468140 |    1100    22000   110000 |    96535    92050    153 |  0.000 % |
1166.51/1167.06	c |   1469194 |    1100    22000   110000 |    96535    93104    153 |  0.000 % |
1167.40/1167.96	c |   1470352 |    1100    22000   110000 |    93912    94262    153 |  0.000 % |
1168.50/1169.06	c |   1471626 |    1100    22000   110000 |    93912    85245    153 |  0.000 % |
1169.60/1170.12	c |   1473027 |    1100    22000   110000 |    93912    86646    153 |  0.000 % |
1170.91/1171.43	c |   1474567 |    1100    22000   110000 |    93912    88186    153 |  0.000 % |
1172.30/1172.86	c |   1476263 |    1100    22000   110000 |    93912    89882    152 |  0.000 % |
1173.80/1174.31	c |   1478126 |    1100    22000   110000 |    93912    91745    152 |  0.000 % |
1175.41/1175.92	c |   1480175 |    1100    22000   110000 |    93622    93794    152 |  0.000 % |
1177.00/1177.59	c |   1482429 |    1100    22000   110000 |    93622    86322    152 |  0.000 % |
1178.90/1179.49	c |   1484907 |    1100    22000   110000 |    93622    88800    152 |  0.000 % |
1181.00/1181.54	c |   1487632 |    1100    22000   110000 |    93622    91525    152 |  0.000 % |
1183.30/1183.86	c |   1490629 |    1100    22000   110000 | 2147483647    94522    151 |  0.000 % |
1186.10/1186.60	c |   1493925 |    1100    22000   110000 | 2147483647    97818    152 |  0.000 % |
1189.00/1189.58	c |   1497551 |    1100    22000   110000 | 2147483647   101444    152 |  0.000 % |
1192.50/1193.02	c |   1501541 |    1100    22000   110000 |   103894    93141    151 |  0.000 % |
1196.09/1196.61	c |   1505927 |    1100    22000   110000 |   103894    97527    151 |  0.000 % |

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832483-1242773855/watcher-1832483-1242773855 -o /tmp/evaluation-result-1832483-1242773855/solver-1832483-1242773855 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832483-1242773855.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.94 3/64 10516
/proc/meminfo: memFree=1769800/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305419529 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 259913384018 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10516/statm: 1339 235 195 169 0 50 0
[pid=10517] ppid=10516 vsize=5356 CPUtime=0
/proc/10517/stat : 10517 (SatELiteGTI) S 10516 10516 10253 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305419529 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/10517/statm: 1339 238 198 169 0 50 0
[pid=10519] ppid=10517 vsize=5356 CPUtime=0
/proc/10519/stat : 10519 (SatELiteGTI) R 10517 10516 10253 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913215271 0 0 4096 0 0 0 0 17 1 0 0
/proc/10519/statm: 1339 239 199 169 0 50 0

[startup+0.031466 s]
/proc/loadavg: 0.99 0.97 0.94 3/64 10516
/proc/meminfo: memFree=1769800/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305419529 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10516/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10148 s]
/proc/loadavg: 0.99 0.97 0.94 3/64 10516
/proc/meminfo: memFree=1769800/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301513 s]
/proc/loadavg: 0.99 0.97 0.94 3/64 10516
/proc/meminfo: memFree=1769800/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701583 s]
/proc/loadavg: 0.99 0.97 0.94 3/64 10516
/proc/meminfo: memFree=1769800/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50172 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10522
/proc/meminfo: memFree=1763384/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=7320 CPUtime=1.42
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 1587 0 0 0 141 1 0 0 25 0 1 0 305419535 7495680 1573 1992294400 134512640 135215339 4294956240 18446744073709551615 134532566 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 1830 1573 77 171 0 1657 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12676

[startup+3.102 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10522
/proc/meminfo: memFree=1761400/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=11444 CPUtime=3.01
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 2617 0 0 0 299 2 0 0 25 0 1 0 305419535 11718656 2603 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 2861 2603 77 171 0 2688 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16800

[startup+6.30156 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10522
/proc/meminfo: memFree=1753528/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=18116 CPUtime=6.21
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 4303 0 0 0 618 3 0 0 25 0 1 0 305419535 18550784 4289 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 4529 4290 77 171 0 4356 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23472

[startup+12.7017 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10522
/proc/meminfo: memFree=1743096/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=27732 CPUtime=12.62
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 6687 0 0 0 1257 5 0 0 25 0 1 0 305419535 28397568 6673 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 6933 6673 77 171 0 6760 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 33088

[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10522
/proc/meminfo: memFree=1728696/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=41448 CPUtime=25.4
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 10114 0 0 0 2531 9 0 0 25 0 1 0 305419535 42442752 10100 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 10362 10100 77 171 0 10189 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 46804

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10522
/proc/meminfo: memFree=1711224/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=58656 CPUtime=50.99
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 14405 0 0 0 5084 15 0 0 25 0 1 0 305419535 60063744 14391 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 14664 14391 77 171 0 14491 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 64012

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10522
/proc/meminfo: memFree=1711032/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=58788 CPUtime=102.16
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 14434 0 0 0 10201 15 0 0 25 0 1 0 305419535 60198912 14420 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 14697 14420 77 171 0 14524 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 64144

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10522
/proc/meminfo: memFree=1705336/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=64332 CPUtime=162.12
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 15834 0 0 0 16196 16 0 0 25 0 1 0 305419535 65875968 15820 1992294400 134512640 135215339 4294956240 18446744073709551615 134545758 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 16083 15820 77 171 0 15910 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 69688

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1702328/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=67104 CPUtime=222.1
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 16532 0 0 0 22192 18 0 0 25 0 1 0 305419535 68714496 16518 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 16776 16518 77 171 0 16603 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 72460

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1701688/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=67764 CPUtime=282.08
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 16681 0 0 0 28189 19 0 0 25 0 1 0 305419535 69390336 16667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 16941 16667 77 171 0 16768 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 73120

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1700408/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=68952 CPUtime=342.06
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 16987 0 0 0 34186 20 0 0 25 0 1 0 305419535 70606848 16973 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 17238 16973 77 171 0 17065 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 74308

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1700152/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=69216 CPUtime=402.04

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

/proc/10522/statm: 17799 17511 77 171 0 17626 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 76552

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1697912/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=70964 CPUtime=581.98
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 17525 0 0 0 58176 22 0 0 25 0 1 0 305419535 72667136 17485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 17741 17485 77 171 0 17568 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 76320

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1697848/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=70964 CPUtime=641.97
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 17525 0 0 0 64174 23 0 0 25 0 1 0 305419535 72667136 17485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 17741 17485 77 171 0 17568 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 76320

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1697720/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=70964 CPUtime=701.94
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 17525 0 0 0 70171 23 0 0 25 0 1 0 305419535 72667136 17485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 17741 17485 77 171 0 17568 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 76320

[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1697592/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=70964 CPUtime=761.92
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 17525 0 0 0 76169 23 0 0 25 0 1 0 305419535 72667136 17485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 17741 17485 77 171 0 17568 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 76320

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1697528/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=70964 CPUtime=821.89
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 17525 0 0 0 82165 24 0 0 25 0 1 0 305419535 72667136 17485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 17741 17485 77 171 0 17568 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 76320

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1697528/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=70964 CPUtime=881.86
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 17525 0 0 0 88162 24 0 0 25 0 1 0 305419535 72667136 17485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 17741 17485 77 171 0 17568 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 76320

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1695288/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=73076 CPUtime=941.84
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 18044 0 0 0 94159 25 0 0 25 0 1 0 305419535 74829824 18004 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 18269 18004 77 171 0 18096 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 78432

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1693176/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=75188 CPUtime=1001.81
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 18549 0 0 0 100155 26 0 0 25 0 1 0 305419535 76992512 18509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 18797 18509 77 171 0 18624 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 80544

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1693112/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=75188 CPUtime=1061.78
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 18549 0 0 0 106152 26 0 0 25 0 1 0 305419535 76992512 18509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 18797 18509 77 171 0 18624 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 80544

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1693048/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=74996 CPUtime=1121.77
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 18549 0 0 0 112150 27 0 0 25 0 1 0 305419535 76795904 18493 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 18749 18493 77 171 0 18576 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 80352

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1692984/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=74988 CPUtime=1181.75
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 18549 0 0 0 118148 27 0 0 25 0 1 0 305419535 76787712 18491 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 18747 18491 77 171 0 18574 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 80344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 10528
/proc/meminfo: memFree=1692984/2055920 swapFree=4180144/4192956
[pid=10516] ppid=10514 vsize=5356 CPUtime=0.05
/proc/10516/stat : 10516 (SatELiteGTI) S 10514 10516 10253 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305419529 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10516/statm: 1339 239 197 169 0 50 0
[pid=10522] ppid=10516 vsize=74988 CPUtime=1200.05
/proc/10522/stat : 10522 (minisat_static) R 10516 10516 10253 0 -1 4194304 18549 0 0 0 119978 27 0 0 25 0 1 0 305419535 76787712 18491 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/10522/statm: 18747 18491 77 171 0 18574 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 80344

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.61
CPU time (s): 1200.1
CPU user time (s): 1199.83
CPU system time (s): 0.27
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (KiB): 80544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.054991
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= 1159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6

runsolver used 1.44078 second user time and 2.99354 second system time

The end

Launcher Data

Begin job on node4 at 2009-05-20 00:57:36
IDJOB=1832483
IDBENCH=70205
IDSOLVER=671
FILE ID=node4/1832483-1242773855
PBS_JOBID= 9322294
Free space on /tmp= 66100 MiB

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

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

MD5SUM BENCH= a1edfaeac2621d913d1c4fa9fc78f271
RANDOM SEED=132268570

node4.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.265
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.265
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:       1770344 kB
Buffers:         12396 kB
Cached:         234060 kB
SwapCached:       6980 kB
Active:         184396 kB
Inactive:        70428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1770344 kB
SwapTotal:     4192956 kB
SwapFree:      4180144 kB
Dirty:            2176 kB
Writeback:           0 kB
Mapped:          13456 kB
Slab:            16772 kB
Committed_AS:  1179144 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66096 MiB
End job on node4 at 2009-05-20 01:17:38