Trace number 1832573

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.11 1201.22

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
MD5SUM5584bb498091ab0373fd0be3ad8dc940
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 517000

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 |   17000   119000 |    5099       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 200   #clauses: 17000   #literals: 119000
0.00/0.03	c CPU time:   0.020996 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:  200                                                  |
0.00/0.06	c |  Number of clauses:    17000                                                |
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 |     200    17000   119000 |     5666        0    nan |  0.000 % |
0.00/0.09	c |       102 |     200    17000   119000 |     5666      102     56 |  0.003 % |
0.05/0.10	c |       203 |     200    17000   119000 |     5666      203     55 |  0.003 % |
0.05/0.11	c |       305 |     200    17000   119000 |     5666      305     56 |  0.003 % |
0.05/0.12	c |       416 |     200    17000   119000 |     5666      416     57 |  0.003 % |
0.05/0.13	c |       518 |     200    17000   119000 |     5666      518     58 |  0.003 % |
0.05/0.14	c |       628 |     200    17000   119000 |     5666      628     58 |  0.003 % |
0.05/0.15	c |       749 |     200    17000   119000 |     5666      749     57 |  0.003 % |
0.05/0.16	c |       850 |     200    17000   119000 |     5666      850     57 |  0.003 % |
0.05/0.17	c |       962 |     200    17000   119000 |     5666      962     57 |  0.003 % |
0.05/0.18	c |      1083 |     200    17000   119000 |     5666     1083     57 |  0.003 % |
0.05/0.19	c |      1216 |     200    17000   119000 |     5666     1216     57 |  0.003 % |
0.05/0.20	c |      1317 |     200    17000   119000 |     5666     1317     57 |  0.003 % |
0.05/0.21	c |      1427 |     200    17000   119000 |     5666     1427     57 |  0.003 % |
0.05/0.22	c |      1548 |     200    17000   119000 |     5666     1548     56 |  0.003 % |
0.05/0.23	c |      1681 |     200    17000   119000 |     5666     1681     56 |  0.003 % |
0.05/0.25	c |      1827 |     200    17000   119000 |     5666     1827     56 |  0.003 % |
0.05/0.26	c |      1927 |     200    17000   119000 |     5666     1927     56 |  0.003 % |
0.05/0.27	c |      2037 |     200    17000   119000 |     5666     2037     56 |  0.003 % |
0.05/0.28	c |      2158 |     200    17000   119000 |     5666     2158     56 |  0.003 % |
0.05/0.29	c |      2292 |     200    17000   119000 |     5666     2292     56 |  0.003 % |
0.05/0.30	c |      2438 |     200    17000   119000 |     5666     2438     57 |  0.003 % |
0.05/0.32	c |      2601 |     200    17000   119000 |     5666     2601     57 |  0.003 % |
0.05/0.33	c |      2703 |     200    17000   119000 |     5666     2703     57 |  0.003 % |
0.05/0.34	c |      2814 |     200    17000   119000 |     5666     2814     57 |  0.003 % |
0.05/0.35	c |      2935 |     200    17000   119000 |     5666     2935     57 |  0.003 % |
0.05/0.37	c |      3068 |     200    17000   119000 |     5666     3068     57 |  0.003 % |
0.05/0.38	c |      3214 |     200    17000   119000 |     5666     3214     57 |  0.003 % |
0.05/0.39	c |      3374 |     200    17000   119000 |     5666     3374     57 |  0.003 % |
0.05/0.41	c |      3552 |     200    17000   119000 |     5666     3552     57 |  0.003 % |
0.05/0.42	c |      3654 |     200    17000   119000 |     5666     3654     57 |  0.003 % |
0.05/0.43	c |      3764 |     200    17000   119000 |     5666     3764     57 |  0.003 % |
0.05/0.45	c |      3885 |     200    17000   119000 |     5666     3885     57 |  0.003 % |
0.05/0.46	c |      4018 |     200    17000   119000 |     5666     4018     57 |  0.003 % |
0.05/0.48	c |      4164 |     200    17000   119000 |     5666     4164     57 |  0.003 % |
0.05/0.50	c |      4324 |     200    17000   119000 |     5666     4324     57 |  0.003 % |
0.05/0.51	c |      4501 |     200    17000   119000 |     5666     4501     57 |  0.003 % |
0.05/0.53	c |      4694 |     200    17000   119000 |     5666     4694     57 |  0.003 % |
0.05/0.54	c |      4794 |     200    17000   119000 |     5666     4794     57 |  0.003 % |
0.05/0.56	c |      4904 |     200    17000   119000 |     5666     4904     57 |  0.003 % |
0.05/0.57	c |      5026 |     200    17000   119000 |     5666     5026     57 |  0.003 % |
0.05/0.59	c |      5163 |     200    17000   119000 |     5666     5163     57 |  0.003 % |
0.05/0.61	c |      5310 |     200    17000   119000 |     5666     5310     57 |  0.003 % |
0.05/0.62	c |      5471 |     200    17000   119000 |     5666     5471     57 |  0.003 % |
0.05/0.64	c |      5647 |     200    17000   119000 |     5666     5647     57 |  0.003 % |
0.05/0.67	c |      5841 |     200    17000   119000 |     5666     5265     57 |  0.003 % |
0.05/0.69	c |      6056 |     200    17000   119000 |     5666     5480     57 |  0.003 % |
0.05/0.71	c |      6157 |     200    17000   119000 |     5666     5581     57 |  0.003 % |
0.05/0.72	c |      6267 |     200    17000   119000 |     5666     5691     57 |  0.003 % |
0.05/0.74	c |      6388 |     200    17000   119000 |     5666     5243     57 |  0.003 % |
0.05/0.75	c |      6522 |     200    17000   119000 |     5666     5377     57 |  0.003 % |
0.05/0.77	c |      6669 |     200    17000   119000 |     5666     5524     57 |  0.003 % |
0.05/0.79	c |      6830 |     200    17000   119000 |     5666     5685     57 |  0.003 % |
0.05/0.81	c |      7007 |     200    17000   119000 |     5666     5294     57 |  0.003 % |
0.05/0.83	c |      7202 |     200    17000   119000 |     5666     5489     57 |  0.003 % |
0.05/0.86	c |      7414 |     200    17000   119000 |     5666     5701     57 |  0.003 % |
0.05/0.89	c |      7647 |     200    17000   119000 |     5666     5364     56 |  0.003 % |
0.05/0.90	c |      7747 |     200    17000   119000 |     5666     5464     56 |  0.003 % |
0.05/0.91	c |      7858 |     200    17000   119000 |     5666     5575     56 |  0.003 % |
0.05/0.93	c |      7980 |     200    17000   119000 |     5666     5697     56 |  0.003 % |
0.05/0.94	c |      8113 |     200    17000   119000 |     5666     5261     56 |  0.003 % |
0.05/0.96	c |      8260 |     200    17000   119000 |     5666     5408     56 |  0.003 % |
0.05/0.98	c |      8420 |     200    17000   119000 |     5666     5568     56 |  0.003 % |
0.05/1.00	c |      8597 |     200    17000   119000 |     5666     5745     56 |  0.003 % |
0.97/1.02	c |      8790 |     200    17000   119000 |     5666     5364     56 |  0.003 % |
0.97/1.05	c |      9002 |     200    17000   119000 |     5666     5576     56 |  0.003 % |
0.97/1.07	c |      9236 |     200    17000   119000 |     5666     5235     56 |  0.003 % |
0.97/1.10	c |      9492 |     200    17000   119000 |     5666     5491     56 |  0.003 % |
1.07/1.11	c |      9592 |     200    17000   119000 |     5666     5591     56 |  0.003 % |
1.07/1.13	c |      9703 |     200    17000   119000 |     5666     5702     56 |  0.003 % |
1.07/1.14	c |      9825 |     200    17000   119000 |     5666     5254     56 |  0.003 % |
1.07/1.16	c |      9958 |     200    17000   119000 |     5666     5387     56 |  0.003 % |
1.07/1.17	c |     10105 |     200    17000   119000 | 2147483647     5534     56 |  0.003 % |
1.07/1.19	c |     10266 |     200    17000   119000 | 2147483647     5695     56 |  0.003 % |
1.16/1.21	c |     10443 |     200    17000   119000 | 2147483647     5872     56 |  0.003 % |
1.16/1.23	c |     10637 |     200    17000   119000 | 2147483647     6066     56 |  0.003 % |
1.16/1.26	c |     10852 |     200    17000   119000 | 2147483647     6281     56 |  0.003 % |
1.16/1.29	c |     11089 |     200    17000   119000 | 2147483647     6518     56 |  0.003 % |
1.26/1.32	c |     11347 |     200    17000   119000 | 2147483647     6776     56 |  0.003 % |
1.26/1.35	c |     11628 |     200    17000   119000 | 2147483647     7057     57 |  0.003 % |
1.26/1.36	c |     11728 |     200    17000   119000 | 2147483647     7157     57 |  0.003 % |
1.26/1.38	c |     11840 |     200    17000   119000 | 2147483647     7269     57 |  0.003 % |
1.26/1.39	c |     11961 |     200    17000   119000 | 2147483647     7390     57 |  0.003 % |
1.36/1.41	c |     12094 |     200    17000   119000 | 2147483647     7523     56 |  0.003 % |
1.36/1.43	c |     12240 |     200    17000   119000 | 2147483647     7669     56 |  0.003 % |
1.36/1.45	c |     12402 |     200    17000   119000 | 2147483647     7831     56 |  0.003 % |
1.36/1.48	c |     12578 |     200    17000   119000 | 2147483647     8007     57 |  0.003 % |
1.46/1.50	c |     12772 |     200    17000   119000 | 2147483647     8201     57 |  0.003 % |
1.46/1.53	c |     12984 |     200    17000   119000 | 2147483647     8413     56 |  0.003 % |
1.46/1.56	c |     13217 |     200    17000   119000 | 2147483647     8646     57 |  0.003 % |
1.57/1.60	c |     13473 |     200    17000   119000 | 2147483647     8902     57 |  0.003 % |
1.57/1.64	c |     13754 |     200    17000   119000 | 2147483647     9183     57 |  0.003 % |
1.57/1.68	c |     14064 |     200    17000   119000 | 2147483647     9493     57 |  0.003 % |
1.67/1.70	c |     14166 |     200    17000   119000 | 2147483647     9595     56 |  0.003 % |
1.67/1.72	c |     14276 |     200    17000   119000 | 2147483647     9705     57 |  0.003 % |
1.67/1.74	c |     14398 |     200    17000   119000 | 2147483647     9827     57 |  0.003 % |
1.67/1.76	c |     14534 |     200    17000   119000 | 2147483647     9963     57 |  0.003 % |
1.67/1.78	c |     14680 |     200    17000   119000 | 2147483647    10109     57 |  0.003 % |
1.77/1.81	c |     14840 |     200    17000   119000 | 2147483647    10269     57 |  0.003 % |
1.77/1.83	c |     15017 |     200    17000   119000 | 2147483647    10446     57 |  0.003 % |
1.77/1.86	c |     15210 |     200    17000   119000 | 2147483647    10639     57 |  0.003 % |
1.77/1.90	c |     15422 |     200    17000   119000 | 2147483647    10851     57 |  0.003 % |
1.87/1.94	c |     15655 |     200    17000   119000 | 2147483647    11084     57 |  0.003 % |
1.87/1.98	c |     15911 |     200    17000   119000 | 2147483647    11340     57 |  0.003 % |
1.97/2.02	c |     16193 |     200    17000   119000 | 2147483647    11622     57 |  0.003 % |
1.97/2.07	c |     16502 |     200    17000   119000 | 2147483647    11931     57 |  0.003 % |
2.07/2.12	c |     16842 |     200    17000   119000 | 2147483647    12271     57 |  0.003 % |
2.07/2.14	c |     16942 |     200    17000   119000 | 2147483647    12371     57 |  0.003 % |
2.07/2.16	c |     17053 |     200    17000   119000 | 2147483647    12482     57 |  0.003 % |
2.07/2.19	c |     17179 |     200    17000   119000 | 2147483647    12608     57 |  0.003 % |
2.17/2.21	c |     17313 |     200    17000   119000 | 2147483647    12742     57 |  0.003 % |
2.17/2.24	c |     17459 |     200    17000   119000 | 2147483647    12888     57 |  0.003 % |
2.17/2.27	c |     17619 |     200    17000   119000 | 2147483647    13048     57 |  0.003 % |
2.26/2.30	c |     17798 |     200    17000   119000 | 2147483647    13227     57 |  0.003 % |
2.26/2.34	c |     17991 |     200    17000   119000 | 2147483647    13420     57 |  0.003 % |
2.26/2.38	c |     18203 |     200    17000   119000 | 2147483647    13632     57 |  0.003 % |
2.36/2.42	c |     18436 |     200    17000   119000 | 2147483647    13865     57 |  0.003 % |
2.36/2.47	c |     18693 |     200    17000   119000 | 2147483647    14122     57 |  0.003 % |
2.46/2.52	c |     18976 |     200    17000   119000 | 2147483647    14405     57 |  0.003 % |
2.46/2.58	c |     19287 |     200    17000   119000 | 2147483647    14716     57 |  0.003 % |
2.56/2.64	c |     19627 |     200    17000   119000 | 2147483647    15056     57 |  0.003 % |
2.66/2.70	c |     19999 |     200    17000   119000 | 2147483647    15428     57 |  0.003 % |
2.66/2.73	c |     20100 |     200    17000   119000 | 2147483647    15529     57 |  0.003 % |
2.66/2.75	c |     20210 |     200    17000   119000 | 2147483647    15639     57 |  0.003 % |
2.66/2.77	c |     20332 |     200    17000   119000 | 2147483647    15761     57 |  0.003 % |
2.76/2.80	c |     20465 |     200    17000   119000 | 2147483647    15894     57 |  0.003 % |
2.76/2.83	c |     20611 |     200    17000   119000 | 2147483647    16040     57 |  0.003 % |
2.76/2.86	c |     20773 |     200    17000   119000 | 2147483647    16202     57 |  0.003 % |
2.86/2.90	c |     20949 |     200    17000   119000 | 2147483647    16378     57 |  0.003 % |
2.86/2.94	c |     21142 |     200    17000   119000 | 2147483647    16571     57 |  0.003 % |
2.86/2.98	c |     21354 |     200    17000   119000 | 2147483647    16783     57 |  0.003 % |
2.96/3.03	c |     21590 |     200    17000   119000 | 2147483647    17019     57 |  0.003 % |
2.96/3.09	c |     21846 |     200    17000   119000 | 2147483647    17275     57 |  0.003 % |
3.06/3.15	c |     22128 |     200    17000   119000 | 2147483647    17557     57 |  0.003 % |
3.17/3.21	c |     22439 |     200    17000   119000 | 2147483647    17868     57 |  0.003 % |
3.17/3.29	c |     22778 |     200    17000   119000 | 2147483647    18207     57 |  0.003 % |
3.27/3.37	c |     23151 |     200    17000   119000 | 2147483647    18580     57 |  0.003 % |
3.36/3.47	c |     23561 |     200    17000   119000 | 2147483647    18990     57 |  0.003 % |
3.46/3.50	c |     23662 |     200    17000   119000 | 2147483647    19091     57 |  0.003 % |
3.46/3.53	c |     23772 |     200    17000   119000 | 2147483647    19201     57 |  0.003 % |
3.46/3.56	c |     23894 |     200    17000   119000 | 2147483647    19323     57 |  0.003 % |
3.46/3.59	c |     24027 |     200    17000   119000 | 2147483647    19456     57 |  0.003 % |
3.56/3.63	c |     24173 |     200    17000   119000 | 2147483647    19602     57 |  0.003 % |
3.56/3.68	c |     24334 |     200    17000   119000 | 2147483647    19763     57 |  0.003 % |
3.66/3.73	c |     24511 |     200    17000   119000 | 2147483647    19940     57 |  0.003 % |
3.66/3.78	c |     24704 |     200    17000   119000 | 2147483647    20133     57 |  0.003 % |
3.76/3.83	c |     24916 |     200    17000   119000 | 2147483647    20345     57 |  0.003 % |
3.76/3.89	c |     25151 |     200    17000   119000 | 2147483647    20580     57 |  0.003 % |
3.86/3.95	c |     25407 |     200    17000   119000 | 2147483647    20836     57 |  0.003 % |
3.96/4.03	c |     25688 |     200    17000   119000 | 2147483647    21117     57 |  0.003 % |
4.06/4.11	c |     25997 |     200    17000   119000 | 2147483647    21426     57 |  0.003 % |
4.16/4.20	c |     26338 |     200    17000   119000 | 2147483647    21767     57 |  0.003 % |
4.26/4.32	c |     26711 |     200    17000   119000 | 2147483647    22140     57 |  0.003 % |
4.36/4.43	c |     27120 |     200    17000   119000 | 2147483647    22549     57 |  0.003 % |
4.46/4.54	c |     27572 |     200    17000   119000 | 2147483647    23001     57 |  0.003 % |
4.46/4.58	c |     27674 |     200    17000   119000 | 2147483647    23103     57 |  0.003 % |
4.56/4.61	c |     27785 |     200    17000   119000 | 2147483647    23214     57 |  0.003 % |
4.56/4.65	c |     27908 |     200    17000   119000 | 2147483647    23337     57 |  0.003 % |
4.56/4.69	c |     28041 |     200    17000   119000 | 2147483647    23470     57 |  0.003 % |
4.66/4.74	c |     28188 |     200    17000   119000 | 2147483647    23617     57 |  0.003 % |
4.66/4.79	c |     28349 |     200    17000   119000 | 2147483647    23778     57 |  0.003 % |
4.76/4.84	c |     28525 |     200    17000   119000 | 2147483647    23954     57 |  0.003 % |
4.86/4.91	c |     28718 |     200    17000   119000 | 2147483647    24147     57 |  0.003 % |
4.86/4.96	c |     28932 |     200    17000   119000 | 2147483647    24361     57 |  0.003 % |
4.96/5.02	c |     29165 |     200    17000   119000 | 2147483647    24594     57 |  0.003 % |
4.96/5.09	c |     29421 |     200    17000   119000 | 2147483647    24850     57 |  0.003 % |
5.06/5.17	c |     29705 |     200    17000   119000 | 2147483647    25134     57 |  0.003 % |
5.16/5.26	c |     30016 |     200    17000   119000 | 2147483647    25445     57 |  0.003 % |
5.26/5.37	c |     30355 |     200    17000   119000 | 2147483647    25784     57 |  0.003 % |
5.36/5.49	c |     30728 |     200    17000   119000 | 2147483647    26157     57 |  0.003 % |
5.56/5.62	c |     31139 |     200    17000   119000 | 2147483647    26568     57 |  0.003 % |
5.66/5.76	c |     31589 |     200    17000   119000 | 2147483647    27018     57 |  0.003 % |
5.86/5.93	c |     32082 |     200    17000   119000 | 2147483647    27511     57 |  0.003 % |
5.86/5.97	c |     32183 |     200    17000   119000 | 2147483647    27612     57 |  0.003 % |
5.96/6.01	c |     32294 |     200    17000   119000 | 2147483647    27723     57 |  0.003 % |
5.96/6.05	c |     32415 |     200    17000   119000 | 2147483647    27844     57 |  0.003 % |
6.06/6.10	c |     32548 |     200    17000   119000 | 2147483647    27977     57 |  0.003 % |
6.06/6.16	c |     32694 |     200    17000   119000 | 2147483647    28123     57 |  0.003 % |
6.15/6.21	c |     32854 |     200    17000   119000 | 2147483647    28283     57 |  0.003 % |
6.15/6.28	c |     33030 |     200    17000   119000 | 2147483647    28459     57 |  0.003 % |
6.25/6.35	c |     33225 |     200    17000   119000 | 2147483647    28654     57 |  0.003 % |
6.35/6.42	c |     33437 |     200    17000   119000 | 2147483647    28866     57 |  0.003 % |
6.47/6.50	c |     33671 |     200    17000   119000 | 2147483647    29100     57 |  0.003 % |
6.47/6.59	c |     33927 |     200    17000   119000 | 2147483647    29356     57 |  0.003 % |
6.57/6.69	c |     34208 |     200    17000   119000 | 2147483647    29637     57 |  0.003 % |
6.66/6.78	c |     34517 |     200    17000   119000 | 2147483647    29946     57 |  0.003 % |
6.86/6.91	c |     34858 |     200    17000   119000 | 2147483647    30287     57 |  0.003 % |
6.96/7.03	c |     35232 |     200    17000   119000 | 2147483647    30661     57 |  0.003 % |
7.16/7.20	c |     35642 |     200    17000   119000 | 2147483647    31071     57 |  0.003 % |
7.26/7.35	c |     36091 |     200    17000   119000 | 2147483647    31520     57 |  0.003 % |
7.46/7.53	c |     36586 |     200    17000   119000 | 2147483647    32015     57 |  0.003 % |
7.67/7.73	c |     37128 |     200    17000   119000 | 2147483647    32557     57 |  0.003 % |
7.67/7.77	c |     37230 |     200    17000   119000 | 2147483647    32659     57 |  0.003 % |
7.76/7.81	c |     37341 |     200    17000   119000 | 2147483647    32770     57 |  0.003 % |
7.76/7.86	c |     37464 |     200    17000   119000 | 2147483647    32893     57 |  0.003 % |
7.86/7.91	c |     37597 |     200    17000   119000 | 2147483647    33026     57 |  0.003 % |
7.86/7.97	c |     37745 |     200    17000   119000 | 2147483647    33174     57 |  0.003 % |
7.96/8.04	c |     37905 |     200    17000   119000 | 2147483647    33334     57 |  0.003 % |
8.06/8.11	c |     38082 |     200    17000   119000 | 2147483647    33511     57 |  0.003 % |
8.06/8.19	c |     38277 |     200    17000   119000 | 2147483647    33706     57 |  0.003 % |
8.16/8.27	c |     38489 |     200    17000   119000 | 2147483647    33918     57 |  0.003 % |
8.26/8.38	c |     38722 |     200    17000   119000 | 2147483647    34151     57 |  0.003 % |
8.36/8.47	c |     38978 |     200    17000   119000 | 2147483647    34407     57 |  0.003 % |
8.46/8.59	c |     39259 |     200    17000   119000 | 2147483647    34688     57 |  0.003 % |
8.66/8.71	c |     39569 |     200    17000   119000 | 2147483647    34998     57 |  0.003 % |
8.76/8.85	c |     39908 |     200    17000   119000 | 2147483647    35337     57 |  0.003 % |
8.96/9.00	c |     40280 |     200    17000   119000 | 2147483647    35709     57 |  0.003 % |
9.06/9.17	c |     40689 |     200    17000   119000 | 2147483647    36118     57 |  0.003 % |
9.26/9.36	c |     41140 |     200    17000   119000 | 2147483647    36569     57 |  0.003 % |
9.46/9.56	c |     41634 |     200    17000   119000 | 2147483647    37063     57 |  0.003 % |
9.66/9.80	c |     42176 |     200    17000   119000 | 2147483647    37605     57 |  0.003 % |
9.96/10.07	c |     42775 |     200    17000   119000 | 2147483647    38204     57 |  0.003 % |
10.06/10.11	c |     42875 |     200    17000   119000 | 2147483647    38304     57 |  0.003 % |
10.06/10.16	c |     42988 |     200    17000   119000 | 2147483647    38417     57 |  0.003 % |
10.16/10.22	c |     43109 |     200    17000   119000 | 2147483647    38538     57 |  0.003 % |
10.16/10.28	c |     43242 |     200    17000   119000 | 2147483647    38671     57 |  0.003 % |
10.25/10.35	c |     43389 |     200    17000   119000 | 2147483647    38818     57 |  0.003 % |
10.35/10.42	c |     43550 |     200    17000   119000 | 2147483647    38979     57 |  0.003 % |
10.45/10.51	c |     43726 |     200    17000   119000 | 2147483647    39155     57 |  0.003 % |
10.55/10.60	c |     43920 |     200    17000   119000 | 2147483647    39349     57 |  0.003 % |
10.65/10.71	c |     44132 |     200    17000   119000 | 2147483647    39561     57 |  0.003 % |
10.75/10.83	c |     44365 |     200    17000   119000 | 2147483647    39794     57 |  0.003 % |
10.86/10.95	c |     44621 |     200    17000   119000 | 2147483647    40050     57 |  0.003 % |
10.96/11.07	c |     44904 |     200    17000   119000 | 2147483647    40333     57 |  0.003 % |
11.15/11.22	c |     45216 |     200    17000   119000 | 2147483647    40645     57 |  0.003 % |
11.26/11.37	c |     45559 |     200    17000   119000 | 2147483647    40988     57 |  0.003 % |
11.46/11.56	c |     45931 |     200    17000   119000 | 2147483647    41360     57 |  0.003 % |
11.66/11.76	c |     46341 |     200    17000   119000 | 2147483647    41770     57 |  0.003 % |
11.86/11.95	c |     46792 |     200    17000   119000 | 2147483647    42221     57 |  0.003 % |
12.06/12.17	c |     47285 |     200    17000   119000 | 2147483647    42714     57 |  0.003 % |
12.36/12.42	c |     47827 |     200    17000   119000 | 2147483647    43256     57 |  0.003 % |
12.56/12.67	c |     48423 |     200    17000   119000 | 2147483647    43852     57 |  0.003 % |
12.86/12.99	c |     49078 |     200    17000   119000 | 2147483647    44507     57 |  0.003 % |
12.96/13.06	c |     49178 |     200    17000   119000 | 2147483647    44607     57 |  0.003 % |
13.06/13.13	c |     49288 |     200    17000   119000 | 2147483647    44717     57 |  0.003 % |
13.06/13.20	c |     49409 |     200    17000   119000 | 2147483647    44838     57 |  0.003 % |
13.16/13.27	c |     49543 |     200    17000   119000 | 2147483647    44972     57 |  0.003 % |
13.25/13.37	c |     49689 |     200    17000   119000 | 2147483647    45118     57 |  0.003 % |
13.35/13.46	c |     49849 |     200    17000   119000 | 2147483647    45278     57 |  0.003 % |
13.45/13.56	c |     50025 |     200    17000   119000 | 2147483647    45454     57 |  0.003 % |
13.55/13.69	c |     50218 |     200    17000   119000 | 2147483647    45647     57 |  0.003 % |
13.75/13.80	c |     50431 |     200    17000   119000 | 2147483647    45860     57 |  0.003 % |
13.85/13.93	c |     50666 |     200    17000   119000 | 2147483647    46095     57 |  0.003 % |
13.95/14.06	c |     50922 |     200    17000   119000 | 2147483647    46351     57 |  0.003 % |
14.15/14.22	c |     51203 |     200    17000   119000 | 2147483647    46632     57 |  0.003 % |
14.25/14.39	c |     51512 |     200    17000   119000 | 2147483647    46941     57 |  0.003 % |
14.45/14.58	c |     51853 |     200    17000   119000 | 2147483647    47282     57 |  0.003 % |
14.65/14.78	c |     52227 |     200    17000   119000 | 2147483647    47656     57 |  0.003 % |
14.95/15.03	c |     52637 |     200    17000   119000 | 2147483647    48066     57 |  0.003 % |
15.15/15.27	c |     53086 |     200    17000   119000 | 2147483647    48515     57 |  0.003 % |
15.45/15.58	c |     53580 |     200    17000   119000 | 2147483647    49009     57 |  0.003 % |
15.85/15.90	c |     54122 |     200    17000   119000 | 2147483647    49551     57 |  0.003 % |
16.15/16.25	c |     54720 |     200    17000   119000 | 2147483647    50149     57 |  0.003 % |
16.45/16.57	c |     55375 |     200    17000   119000 | 2147483647    50804     57 |  0.003 % |
16.85/16.97	c |     56097 |     200    17000   119000 | 2147483647    51526     57 |  0.003 % |
16.95/17.05	c |     56200 |     200    17000   119000 | 2147483647    51629     57 |  0.003 % |
17.05/17.11	c |     56311 |     200    17000   119000 | 2147483647    51740     57 |  0.003 % |
17.05/17.19	c |     56435 |     200    17000   119000 | 2147483647    51864     57 |  0.003 % |
17.15/17.27	c |     56568 |     200    17000   119000 | 2147483647    51997     57 |  0.003 % |
17.25/17.37	c |     56715 |     200    17000   119000 | 2147483647    52144     57 |  0.003 % |
17.35/17.49	c |     56876 |     200    17000   119000 | 2147483647    52305     57 |  0.003 % |
17.55/17.60	c |     57053 |     200    17000   119000 | 2147483647    52482     57 |  0.003 % |
17.65/17.75	c |     57248 |     200    17000   119000 | 2147483647    52677     57 |  0.003 % |
17.75/17.88	c |     57460 |     200    17000   119000 | 2147483647    52889     57 |  0.003 % |
17.95/18.04	c |     57694 |     200    17000   119000 | 2147483647    53123     57 |  0.003 % |
18.15/18.20	c |     57951 |     200    17000   119000 | 2147483647    53380     57 |  0.003 % |
18.25/18.38	c |     58232 |     200    17000   119000 | 2147483647    53661     57 |  0.003 % |
18.45/18.58	c |     58541 |     200    17000   119000 | 2147483647    53970     57 |  0.003 % |
18.75/18.82	c |     58881 |     200    17000   119000 | 2147483647    54310     57 |  0.003 % |
18.95/19.05	c |     59253 |     200    17000   119000 | 2147483647    54682     57 |  0.003 % |
19.15/19.29	c |     59662 |     200    17000   119000 | 2147483647    55091     57 |  0.003 % |
19.45/19.55	c |     60111 |     200    17000   119000 | 2147483647    55540     57 |  0.003 % |
19.76/19.86	c |     60605 |     200    17000   119000 | 2147483647    56034     57 |  0.003 % |
20.05/20.17	c |     61148 |     200    17000   119000 | 2147483647    56577     57 |  0.003 % |
20.45/20.51	c |     61744 |     200    17000   119000 | 2147483647    57173     57 |  0.003 % |
20.75/20.89	c |     62402 |     200    17000   119000 | 2147483647    57831     57 |  0.003 % |
21.25/21.33	c |     63124 |     200    17000   119000 | 2147483647    58553     57 |  0.003 % |
21.75/21.80	c |     63916 |     200    17000   119000 | 2147483647    59345     57 |  0.003 % |
21.75/21.88	c |     64017 |     200    17000   119000 | 2147483647    59446     57 |  0.003 % |
21.85/21.98	c |     64129 |     200    17000   119000 | 2147483647    59558     57 |  0.003 % |
21.95/22.09	c |     64252 |     200    17000   119000 | 2147483647    59681     57 |  0.003 % |
22.05/22.18	c |     64388 |     200    17000   119000 | 2147483647    59817     57 |  0.003 % |
22.15/22.28	c |     64535 |     200    17000   119000 | 2147483647    59964     57 |  0.003 % |
22.34/22.43	c |     64696 |     200    17000   119000 | 2147483647    60125     57 |  0.003 % |
22.44/22.58	c |     64872 |     200    17000   119000 | 2147483647    60301     57 |  0.003 % |
22.64/22.72	c |     65066 |     200    17000   119000 | 2147483647    60495     57 |  0.003 % |
22.74/22.88	c |     65278 |     200    17000   119000 | 2147483647    60707     57 |  0.003 % |
22.95/23.05	c |     65511 |     200    17000   119000 | 2147483647    60940     57 |  0.003 % |
23.14/23.26	c |     65770 |     200    17000   119000 | 2147483647    61199     57 |  0.003 % |
23.34/23.46	c |     66053 |     200    17000   119000 | 2147483647    61482     57 |  0.003 % |
23.54/23.69	c |     66362 |     200    17000   119000 | 2147483647    61791     57 |  0.003 % |
23.84/23.91	c |     66701 |     200    17000   119000 | 2147483647    62130     57 |  0.003 % |
24.04/24.17	c |     67074 |     200    17000   119000 | 2147483647    62503     57 |  0.003 % |
24.34/24.48	c |     67483 |     200    17000   119000 | 2147483647    62912     57 |  0.003 % |
24.64/24.79	c |     67933 |     200    17000   119000 | 2147483647    63362     57 |  0.003 % |
25.04/25.11	c |     68426 |     200    17000   119000 | 2147483647    63855     57 |  0.003 % |
25.45/25.53	c |     68970 |     200    17000   119000 | 2147483647    64399     57 |  0.003 % |
25.85/25.95	c |     69566 |     200    17000   119000 | 2147483647    64995     57 |  0.003 % |
26.35/26.48	c |     70221 |     200    17000   119000 | 2147483647    65650     57 |  0.003 % |
26.85/27.00	c |     70942 |     200    17000   119000 | 2147483647    66371     58 |  0.003 % |
27.55/27.62	c |     71734 |     200    17000   119000 | 2147483647    67163     58 |  0.003 % |
28.15/28.21	c |     72609 |     200    17000   119000 | 2147483647    68038     58 |  0.003 % |
28.15/28.30	c |     72709 |     200    17000   119000 | 2147483647    68138     58 |  0.003 % |
28.25/28.39	c |     72820 |     200    17000   119000 | 2147483647    68249     58 |  0.003 % |
28.35/28.47	c |     72944 |     200    17000   119000 | 2147483647    68373     58 |  0.003 % |
28.45/28.57	c |     73077 |     200    17000   119000 | 2147483647    68506     58 |  0.003 % |
28.65/28.73	c |     73226 |     200    17000   119000 | 2147483647    68655     58 |  0.003 % |
28.75/28.87	c |     73388 |     200    17000   119000 | 2147483647    68817     58 |  0.003 % |
28.95/29.02	c |     73564 |     200    17000   119000 | 2147483647    68993     58 |  0.003 % |
29.15/29.22	c |     73757 |     200    17000   119000 | 2147483647    69186     58 |  0.003 % |
29.35/29.41	c |     73969 |     200    17000   119000 | 2147483647    69398     58 |  0.003 % |
29.55/29.61	c |     74202 |     200    17000   119000 | 2147483647    69631     58 |  0.003 % |
29.74/29.81	c |     74458 |     200    17000   119000 | 2147483647    69887     58 |  0.003 % |
29.94/30.04	c |     74739 |     200    17000   119000 | 2147483647    70168     58 |  0.003 % |
30.14/30.29	c |     75048 |     200    17000   119000 | 2147483647    70477     58 |  0.003 % |
30.54/30.60	c |     75387 |     200    17000   119000 | 2147483647    70816     58 |  0.003 % |
30.84/30.92	c |     75760 |     200    17000   119000 | 2147483647    71189     58 |  0.003 % |
31.14/31.27	c |     76169 |     200    17000   119000 | 2147483647    71598     58 |  0.003 % |
31.54/31.64	c |     76618 |     200    17000   119000 | 2147483647    72047     58 |  0.003 % |
31.94/32.01	c |     77111 |     200    17000   119000 | 2147483647    72540     58 |  0.003 % |
32.34/32.42	c |     77653 |     200    17000   119000 | 2147483647    73082     58 |  0.003 % |
32.74/32.89	c |     78250 |     200    17000   119000 | 2147483647    73679     58 |  0.003 % |
33.34/33.46	c |     78905 |     200    17000   119000 | 2147483647    74334     58 |  0.003 % |
33.94/34.04	c |     79627 |     200    17000   119000 | 2147483647    75056     58 |  0.003 % |
34.54/34.66	c |     80420 |     200    17000   119000 |    75432    67348     58 |  0.003 % |
35.24/35.31	c |     81291 |     200    17000   119000 |    75432    68219     58 |  0.003 % |
35.84/35.95	c |     82251 |     200    17000   119000 |    75432    69179     58 |  0.003 % |
35.94/36.02	c |     82351 |     200    17000   119000 |    75432    69279     58 |  0.003 % |
35.94/36.09	c |     82461 |     200    17000   119000 |    75432    69389     58 |  0.003 % |
36.04/36.18	c |     82583 |     200    17000   119000 |    75432    69511     58 |  0.003 % |
36.24/36.33	c |     82718 |     200    17000   119000 |    75432    69646     58 |  0.003 % |
36.34/36.46	c |     82864 |     200    17000   119000 |    75432    69792     58 |  0.003 % |
36.54/36.60	c |     83024 |     200    17000   119000 |    75432    69952     58 |  0.003 % |
36.64/36.77	c |     83200 |     200    17000   119000 |    75432    70128     58 |  0.003 % |
36.84/36.96	c |     83393 |     200    17000   119000 |    75432    70321     58 |  0.003 % |
37.04/37.14	c |     83605 |     200    17000   119000 |    75432    70533     58 |  0.003 % |
37.24/37.33	c |     83838 |     200    17000   119000 |    75432    70766     58 |  0.003 % |
37.44/37.52	c |     84094 |     200    17000   119000 |    75432    71022     58 |  0.003 % |
37.64/37.78	c |     84376 |     200    17000   119000 |    75432    71304     58 |  0.003 % |
37.94/38.04	c |     84686 |     200    17000   119000 |    75432    71614     58 |  0.003 % |
38.24/38.31	c |     85027 |     200    17000   119000 |    75432    71955     58 |  0.003 % |
38.54/38.63	c |     85401 |     200    17000   119000 |    75432    72329     58 |  0.003 % |
38.84/38.94	c |     85810 |     200    17000   119000 |    75432    72738     58 |  0.003 % |
39.14/39.29	c |     86259 |     200    17000   119000 |    75432    73187     58 |  0.003 % |
39.54/39.66	c |     86754 |     200    17000   119000 |    75432    73682     58 |  0.003 % |
39.93/40.05	c |     87297 |     200    17000   119000 |    75432    74225     58 |  0.003 % |
40.33/40.49	c |     87893 |     200    17000   119000 |    75432    74821     58 |  0.003 % |
40.83/40.99	c |     88548 |     200    17000   119000 |    75432    75476     58 |  0.003 % |
41.53/41.65	c |     89269 |     200    17000   119000 |    75432    66977     58 |  0.003 % |
42.13/42.24	c |     90063 |     200    17000   119000 |    67709    67771     58 |  0.003 % |
42.73/42.89	c |     90934 |     200    17000   119000 |    67709    60441     58 |  0.003 % |
43.43/43.56	c |     91894 |     200    17000   119000 |    67709    61401     58 |  0.003 % |
44.13/44.25	c |     92948 |     200    17000   119000 |    67709    62455     58 |  0.003 % |
44.23/44.32	c |     93049 |     200    17000   119000 |    67709    62556     58 |  0.003 % |
44.33/44.43	c |     93161 |     200    17000   119000 |    67709    62668     58 |  0.003 % |
44.43/44.52	c |     93282 |     200    17000   119000 |    67709    62789     58 |  0.003 % |
44.53/44.62	c |     93415 |     200    17000   119000 |    67709    62922     58 |  0.003 % |
44.63/44.74	c |     93561 |     200    17000   119000 |    67709    63068     58 |  0.003 % |
44.73/44.88	c |     93722 |     200    17000   119000 |    67709    63229     58 |  0.003 % |
44.93/45.02	c |     93901 |     200    17000   119000 |    67709    63408     58 |  0.003 % |
45.03/45.17	c |     94096 |     200    17000   119000 |    67709    63603     58 |  0.003 % |
45.23/45.37	c |     94308 |     200    17000   119000 |    67709    63815     58 |  0.003 % |
45.43/45.56	c |     94541 |     200    17000   119000 |    67709    64048     58 |  0.003 % |
45.63/45.77	c |     94798 |     200    17000   119000 |    67709    64305     58 |  0.003 % |
45.83/45.97	c |     95080 |     200    17000   119000 |    67709    64587     58 |  0.003 % |
46.13/46.25	c |     95390 |     200    17000   119000 |    67709    64897     58 |  0.003 % |
46.42/46.50	c |     95730 |     200    17000   119000 |    67709    65237     58 |  0.003 % |
46.62/46.78	c |     96103 |     200    17000   119000 |    67709    65610     58 |  0.003 % |
46.92/47.05	c |     96513 |     200    17000   119000 |    67709    66020     58 |  0.003 % |
47.32/47.46	c |     96963 |     200    17000   119000 |    67709    66470     58 |  0.003 % |
47.72/47.86	c |     97458 |     200    17000   119000 |    67709    66965     58 |  0.003 % |
48.12/48.28	c |     98000 |     200    17000   119000 |    67709    67507     58 |  0.003 % |
48.72/48.83	c |     98597 |     200    17000   119000 |    67709    60988     58 |  0.003 % |
49.12/49.29	c |     99253 |     200    17000   119000 |    67709    61644     58 |  0.003 % |
49.72/49.82	c |     99973 |     200    17000   119000 |    67709    62364     58 |  0.003 % |
50.22/50.35	c |    100766 |     200    17000   119000 |    62393    56717     58 |  0.003 % |
50.82/50.90	c |    101637 |     200    17000   119000 |    62393    57588     58 |  0.003 % |
51.32/51.47	c |    102598 |     200    17000   119000 |    62393    58549     58 |  0.003 % |
52.02/52.17	c |    103651 |     200    17000   119000 |    62393    59602     58 |  0.003 % |
52.82/52.96	c |    104810 |     200    17000   119000 |    62393    60761     58 |  0.003 % |
52.92/53.04	c |    104910 |     200    17000   119000 |    62393    60861     58 |  0.003 % |
53.02/53.12	c |    105020 |     200    17000   119000 |    62393    60971     58 |  0.003 % |
53.12/53.24	c |    105144 |     200    17000   119000 |    62393    61095     58 |  0.003 % |
53.22/53.35	c |    105277 |     200    17000   119000 |    62393    61228     58 |  0.003 % |
53.32/53.48	c |    105425 |     200    17000   119000 |    62393    61376     58 |  0.003 % |
53.52/53.60	c |    105586 |     200    17000   119000 |    62393    61537     58 |  0.003 % |
53.62/53.76	c |    105763 |     200    17000   119000 |    62393    61714     58 |  0.003 % |
53.82/53.92	c |    105956 |     200    17000   119000 |    62393    61907     58 |  0.003 % |
53.92/54.06	c |    106168 |     200    17000   119000 |    62393    62119     58 |  0.003 % |
54.12/54.22	c |    106401 |     200    17000   119000 |    62393    62352     58 |  0.003 % |
54.32/54.45	c |    106657 |     200    17000   119000 |    62393    56360     58 |  0.003 % |
54.52/54.62	c |    106940 |     200    17000   119000 |    62393    56643     58 |  0.003 % |
54.72/54.80	c |    107249 |     200    17000   119000 |    62393    56952     58 |  0.003 % |
54.92/55.01	c |    107589 |     200    17000   119000 |    62393    57292     58 |  0.003 % |
55.22/55.31	c |    107961 |     200    17000   119000 |    62393    57664     58 |  0.003 % |
55.52/55.60	c |    108370 |     200    17000   119000 |    62393    58073     58 |  0.003 % |
55.82/55.91	c |    108821 |     200    17000   119000 |    62393    58524     58 |  0.003 % |
56.12/56.24	c |    109314 |     200    17000   119000 |    62393    59017     58 |  0.003 % |
56.52/56.61	c |    109856 |     200    17000   119000 |    62393    59559     58 |  0.003 % |
56.82/56.99	c |    110452 |     200    17000   119000 | 2147483647    60155     58 |  0.003 % |
57.32/57.40	c |    111108 |     200    17000   119000 | 2147483647    60811     58 |  0.003 % |
57.72/57.89	c |    111829 |     200    17000   119000 | 2147483647    61532     58 |  0.003 % |
58.22/58.39	c |    112621 |     200    17000   119000 | 2147483647    62324     58 |  0.003 % |
58.82/58.95	c |    113492 |     200    17000   119000 | 2147483647    63195     58 |  0.003 % |
59.42/59.59	c |    114451 |     200    17000   119000 | 2147483647    64154     58 |  0.003 % |
60.12/60.21	c |    115504 |     200    17000   119000 | 2147483647    65207     58 |  0.003 % |
61.02/61.19	c |    116662 |     200    17000   119000 | 2147483647    66365     58 |  0.003 % |
62.02/62.14	c |    117935 |     200    17000   119000 | 2147483647    67638     58 |  0.003 % |
62.12/62.21	c |    118036 |     200    17000   119000 | 2147483647    67739     58 |  0.003 % |
62.22/62.32	c |    118146 |     200    17000   119000 | 2147483647    67849     58 |  0.003 % |
62.32/62.42	c |    118268 |     200    17000   119000 | 2147483647    67971     58 |  0.003 % |
62.42/62.52	c |    118402 |     200    17000   119000 | 2147483647    68105     58 |  0.003 % |
62.52/62.66	c |    118548 |     200    17000   119000 | 2147483647    68251     58 |  0.003 % |
62.72/62.82	c |    118710 |     200    17000   119000 | 2147483647    68413     58 |  0.003 % |
62.82/62.95	c |    118886 |     200    17000   119000 | 2147483647    68589     58 |  0.003 % |
63.02/63.12	c |    119079 |     200    17000   119000 | 2147483647    68782     58 |  0.003 % |
63.22/63.32	c |    119293 |     200    17000   119000 | 2147483647    68996     58 |  0.003 % |
63.42/63.51	c |    119526 |     200    17000   119000 | 2147483647    69229     58 |  0.003 % |
63.62/63.74	c |    119782 |     200    17000   119000 | 2147483647    69485     58 |  0.003 % |
63.82/63.96	c |    120063 |     200    17000   119000 | 2147483647    69766     58 |  0.003 % |
64.12/64.22	c |    120373 |     200    17000   119000 | 2147483647    70076     58 |  0.003 % |
64.32/64.49	c |    120712 |     200    17000   119000 | 2147483647    70415     58 |  0.003 % |
64.72/64.81	c |    121090 |     200    17000   119000 | 2147483647    70793     58 |  0.003 % |
65.02/65.17	c |    121499 |     200    17000   119000 | 2147483647    71202     58 |  0.003 % |
65.42/65.53	c |    121949 |     200    17000   119000 | 2147483647    71652     58 |  0.003 % |
65.82/65.93	c |    122442 |     200    17000   119000 | 2147483647    72145     58 |  0.003 % |
66.22/66.37	c |    122984 |     200    17000   119000 | 2147483647    72687     58 |  0.003 % |
66.72/66.85	c |    123581 |     200    17000   119000 | 2147483647    73284     58 |  0.003 % |
67.32/67.48	c |    124236 |     200    17000   119000 | 2147483647    73939     58 |  0.003 % |
68.02/68.14	c |    124956 |     200    17000   119000 | 2147483647    74659     58 |  0.003 % |
68.61/68.79	c |    125749 |     200    17000   119000 | 2147483647    75452     58 |  0.003 % |
69.31/69.46	c |    126620 |     200    17000   119000 | 2147483647    76323     58 |  0.003 % |
70.01/70.15	c |    127580 |     200    17000   119000 | 2147483647    77283     58 |  0.003 % |
71.01/71.12	c |    128633 |     200    17000   119000 | 2147483647    78336     58 |  0.003 % |
72.02/72.13	c |    129793 |     200    17000   119000 | 2147483647    79496     58 |  0.003 % |
73.12/73.23	c |    131066 |     200    17000   119000 |    79707    69624     58 |  0.003 % |
74.22/74.36	c |    132467 |     200    17000   119000 |    79707    71025     58 |  0.003 % |
74.32/74.44	c |    132568 |     200    17000   119000 |    79707    71126     58 |  0.003 % |
74.42/74.55	c |    132678 |     200    17000   119000 |    79707    71236     58 |  0.003 % |
74.52/74.65	c |    132799 |     200    17000   119000 |    79707    71357     58 |  0.003 % |
74.62/74.76	c |    132932 |     200    17000   119000 |    79707    71490     58 |  0.003 % |
74.72/74.88	c |    133080 |     200    17000   119000 |    79707    71638     58 |  0.003 % |
74.92/75.03	c |    133243 |     200    17000   119000 |    79707    71801     58 |  0.003 % |
75.12/75.23	c |    133420 |     200    17000   119000 |    79707    71978     58 |  0.003 % |
75.32/75.42	c |    133613 |     200    17000   119000 |    79707    72171     58 |  0.003 % |
75.52/75.61	c |    133826 |     200    17000   119000 |    79707    72384     58 |  0.003 % |
75.62/75.79	c |    134059 |     200    17000   119000 |    79707    72617     58 |  0.003 % |
75.92/76.06	c |    134317 |     200    17000   119000 |    79707    72875     58 |  0.003 % |
76.22/76.31	c |    134599 |     200    17000   119000 |    79707    73157     58 |  0.003 % |
76.42/76.58	c |    134908 |     200    17000   119000 |    79707    73466     58 |  0.003 % |
76.72/76.87	c |    135248 |     200    17000   119000 |    79707    73806     58 |  0.003 % |
77.02/77.13	c |    135620 |     200    17000   119000 |    79707    74178     58 |  0.003 % |
77.32/77.43	c |    136029 |     200    17000   119000 |    79707    74587     58 |  0.003 % |
77.72/77.85	c |    136482 |     200    17000   119000 |    79707    75040     58 |  0.003 % |
78.12/78.22	c |    136975 |     200    17000   119000 |    79707    75533     58 |  0.003 % |
78.52/78.65	c |    137518 |     200    17000   119000 |    79707    76076     58 |  0.003 % |
79.12/79.23	c |    138116 |     200    17000   119000 |    79707    76674     58 |  0.003 % |
79.72/79.80	c |    138771 |     200    17000   119000 |    79707    77329     58 |  0.003 % |
80.32/80.41	c |    139491 |     200    17000   119000 |    79707    78049     58 |  0.003 % |
80.92/81.08	c |    140284 |     200    17000   119000 |    78558    67324     58 |  0.003 % |
81.62/81.73	c |    141155 |     200    17000   119000 |    78558    68195     58 |  0.003 % |
82.22/82.38	c |    142114 |     200    17000   119000 |    78558    69154     58 |  0.003 % |
83.02/83.14	c |    143167 |     200    17000   119000 |    78558    70207     58 |  0.003 % |
83.82/83.92	c |    144326 |     200    17000   119000 |    78558    71366     58 |  0.003 % |
84.72/84.83	c |    145600 |     200    17000   119000 |    78558    72640     58 |  0.003 % |
85.62/85.78	c |    147000 |     200    17000   119000 |    78558    74040     58 |  0.003 % |
87.21/87.32	c |    148542 |     200    17000   119000 |    78558    75582     58 |  0.003 % |
87.31/87.43	c |    148645 |     200    17000   119000 |    78558    75685     58 |  0.003 % |
87.41/87.53	c |    148756 |     200    17000   119000 |    78558    75796     58 |  0.003 % |
87.51/87.65	c |    148877 |     200    17000   119000 |    78558    75917     58 |  0.003 % |
87.61/87.78	c |    149010 |     200    17000   119000 |    78558    76050     58 |  0.003 % |
87.82/87.95	c |    149156 |     200    17000   119000 |    78558    76196     58 |  0.003 % |
88.01/88.11	c |    149317 |     200    17000   119000 |    78558    76357     58 |  0.003 % |
88.11/88.25	c |    149493 |     200    17000   119000 |    78558    76533     58 |  0.003 % |
88.31/88.43	c |    149686 |     200    17000   119000 |    78558    76726     58 |  0.003 % |
88.51/88.62	c |    149898 |     200    17000   119000 |    78558    76938     58 |  0.003 % |
88.81/88.90	c |    150132 |     200    17000   119000 |    77043    66707     58 |  0.003 % |
88.92/89.09	c |    150389 |     200    17000   119000 |    77043    66964     58 |  0.003 % |
89.11/89.28	c |    150670 |     200    17000   119000 |    77043    67245     58 |  0.003 % |
89.31/89.50	c |    150980 |     200    17000   119000 |    77043    67555     58 |  0.003 % |
89.61/89.75	c |    151319 |     200    17000   119000 |    77043    67894     58 |  0.003 % |
89.91/90.05	c |    151691 |     200    17000   119000 |    77043    68266     58 |  0.003 % |
90.21/90.34	c |    152101 |     200    17000   119000 |    77043    68676     58 |  0.003 % |
90.51/90.68	c |    152554 |     200    17000   119000 |    77043    69129     58 |  0.003 % |
91.01/91.15	c |    153047 |     200    17000   119000 |    77043    69622     58 |  0.003 % |
91.51/91.63	c |    153589 |     200    17000   119000 |    77043    70164     58 |  0.003 % |
92.01/92.15	c |    154186 |     200    17000   119000 |    77043    70761     58 |  0.003 % |
92.51/92.69	c |    154841 |     200    17000   119000 |    77043    71416     58 |  0.003 % |
93.11/93.28	c |    155561 |     200    17000   119000 |    77043    72136     58 |  0.003 % |
93.81/93.95	c |    156353 |     200    17000   119000 |    77043    72928     58 |  0.003 % |
94.51/94.68	c |    157225 |     200    17000   119000 |    77043    73800     58 |  0.003 % |
95.31/95.45	c |    158184 |     200    17000   119000 |    77043    74759     58 |  0.003 % |
96.21/96.36	c |    159239 |     200    17000   119000 |    77043    75814     58 |  0.003 % |
97.11/97.30	c |    160397 |     200    17000   119000 |    76575    66774     58 |  0.003 % |
98.01/98.16	c |    161670 |     200    17000   119000 |    76575    68047     58 |  0.003 % |
99.01/99.13	c |    163070 |     200    17000   119000 |    76575    69447     58 |  0.003 % |
100.21/100.39	c |    164610 |     200    17000   119000 |    76575    70987     58 |  0.003 % |
101.51/101.67	c |    166305 |     200    17000   119000 |    76575    72682     58 |  0.003 % |
101.61/101.76	c |    166406 |     200    17000   119000 |    76575    72783     58 |  0.003 % |
101.70/101.84	c |    166517 |     200    17000   119000 |    76575    72894     58 |  0.003 % |
101.80/101.97	c |    166638 |     200    17000   119000 |    76575    73015     58 |  0.003 % |
102.00/102.10	c |    166771 |     200    17000   119000 |    76575    73148     58 |  0.003 % |
102.11/102.25	c |    166918 |     200    17000   119000 |    76575    73295     58 |  0.003 % |
102.21/102.39	c |    167078 |     200    17000   119000 |    76575    73455     58 |  0.003 % |
102.40/102.59	c |    167254 |     200    17000   119000 |    76575    73631     58 |  0.003 % |
102.60/102.76	c |    167447 |     200    17000   119000 |    76575    73824     58 |  0.003 % |
102.80/102.95	c |    167659 |     200    17000   119000 |    76575    74036     58 |  0.003 % |
103.00/103.15	c |    167892 |     200    17000   119000 |    76575    74269     58 |  0.003 % |
103.21/103.34	c |    168150 |     200    17000   119000 |    76575    74527     58 |  0.003 % |
103.40/103.56	c |    168432 |     200    17000   119000 |    76575    74809     58 |  0.003 % |
103.60/103.79	c |    168744 |     200    17000   119000 |    76575    75121     58 |  0.003 % |
103.90/104.05	c |    169084 |     200    17000   119000 |    76575    75461     58 |  0.003 % |
104.31/104.41	c |    169457 |     200    17000   119000 |    76575    75834     58 |  0.003 % |
104.70/104.82	c |    169867 |     200    17000   119000 |    76575    76244     58 |  0.003 % |
105.10/105.25	c |    170317 |     200    17000   119000 |    76377    66663     58 |  0.003 % |
105.40/105.59	c |    170815 |     200    17000   119000 |    76377    67161     58 |  0.003 % |
105.80/105.95	c |    171357 |     200    17000   119000 |    76377    67703     58 |  0.003 % |
106.20/106.35	c |    171953 |     200    17000   119000 |    76377    68299     58 |  0.003 % |
106.70/106.80	c |    172608 |     200    17000   119000 |    76377    68954     58 |  0.003 % |
107.10/107.30	c |    173329 |     200    17000   119000 |    76377    69675     58 |  0.003 % |
107.70/107.89	c |    174122 |     200    17000   119000 |    76377    70468     58 |  0.003 % |
108.40/108.53	c |    174993 |     200    17000   119000 |    76377    71339     58 |  0.003 % |
109.10/109.24	c |    175954 |     200    17000   119000 |    76377    72300     58 |  0.003 % |
109.90/110.02	c |    177007 |     200    17000   119000 |    76377    73353     58 |  0.003 % |
110.90/111.09	c |    178167 |     200    17000   119000 |    76377    74513     58 |  0.003 % |
112.00/112.15	c |    179441 |     200    17000   119000 |    76377    75787     58 |  0.003 % |
113.10/113.28	c |    180843 |     200    17000   119000 |    76346    67466     58 |  0.003 % |
114.20/114.37	c |    182384 |     200    17000   119000 |    76346    69007     58 |  0.003 % |
115.40/115.51	c |    184081 |     200    17000   119000 |    76346    70704     58 |  0.003 % |
116.89/117.04	c |    185944 |     200    17000   119000 |    76346    72567     58 |  0.003 % |
116.99/117.14	c |    186044 |     200    17000   119000 |    76346    72667     58 |  0.003 % |
117.09/117.24	c |    186155 |     200    17000   119000 |    76346    72778     58 |  0.003 % |
117.19/117.33	c |    186277 |     200    17000   119000 |    76346    72900     58 |  0.003 % |
117.29/117.44	c |    186410 |     200    17000   119000 |    76346    73033     58 |  0.003 % |
117.39/117.58	c |    186556 |     200    17000   119000 |    76346    73179     58 |  0.003 % |
117.60/117.73	c |    186717 |     200    17000   119000 |    76346    73340     58 |  0.003 % |
117.69/117.88	c |    186893 |     200    17000   119000 |    76346    73516     58 |  0.003 % |
117.89/118.06	c |    187087 |     200    17000   119000 |    76346    73710     58 |  0.003 % |
118.09/118.27	c |    187299 |     200    17000   119000 |    76346    73922     58 |  0.003 % |
118.29/118.45	c |    187533 |     200    17000   119000 |    76346    74156     58 |  0.003 % |
118.60/118.71	c |    187789 |     200    17000   119000 |    76346    74412     58 |  0.003 % |
118.79/118.95	c |    188072 |     200    17000   119000 |    76346    74695     58 |  0.003 % |
119.09/119.27	c |    188382 |     200    17000   119000 |    76346    75005     58 |  0.003 % |
119.39/119.56	c |    188721 |     200    17000   119000 |    76346    75344     58 |  0.003 % |
119.70/119.86	c |    189094 |     200    17000   119000 |    76346    75717     58 |  0.003 % |
120.09/120.25	c |    189503 |     200    17000   119000 |    76346    76126     58 |  0.003 % |
120.59/120.72	c |    189952 |     200    17000   119000 |    76346    66254     58 |  0.003 % |
120.99/121.15	c |    190446 |     200    17000   119000 |    66303    57853     58 |  0.003 % |
121.39/121.51	c |    190988 |     200    17000   119000 |    66303    58395     58 |  0.003 % |
121.69/121.88	c |    191584 |     200    17000   119000 |    66303    58991     58 |  0.003 % |
122.19/122.36	c |    192239 |     200    17000   119000 |    66303    59646     58 |  0.003 % |
122.69/122.83	c |    192959 |     200    17000   119000 |    66303    60366     58 |  0.003 % |
123.19/123.38	c |    193751 |     200    17000   119000 |    66303    61158     58 |  0.003 % |
123.79/123.96	c |    194622 |     200    17000   119000 |    66303    62029     58 |  0.003 % |
124.48/124.61	c |    195581 |     200    17000   119000 |    66303    62988     58 |  0.003 % |
125.19/125.38	c |    196634 |     200    17000   119000 |    66303    64041     58 |  0.003 % |
125.98/126.15	c |    197795 |     200    17000   119000 |    66303    65202     58 |  0.003 % |
126.88/127.06	c |    199070 |     200    17000   119000 |    66303    59837     58 |  0.003 % |
127.88/128.07	c |    200471 |     200    17000   119000 | 2147483647    61238     58 |  0.003 % |
128.88/129.04	c |    202011 |     200    17000   119000 | 2147483647    62778     58 |  0.003 % |
130.08/130.21	c |    203708 |     200    17000   119000 | 2147483647    64475     58 |  0.003 % |
131.27/131.41	c |    205571 |     200    17000   119000 | 2147483647    66338     58 |  0.003 % |
132.67/132.84	c |    207620 |     200    17000   119000 | 2147483647    68387     58 |  0.003 % |
132.77/132.92	c |    207721 |     200    17000   119000 | 2147483647    68488     58 |  0.003 % |
132.88/133.02	c |    207832 |     200    17000   119000 | 2147483647    68599     58 |  0.003 % |
132.98/133.11	c |    207954 |     200    17000   119000 | 2147483647    68721     58 |  0.003 % |
133.07/133.21	c |    208088 |     200    17000   119000 | 2147483647    68855     58 |  0.003 % |
133.17/133.36	c |    208234 |     200    17000   119000 | 2147483647    69001     58 |  0.003 % |
133.27/133.49	c |    208395 |     200    17000   119000 | 2147483647    69162     58 |  0.003 % |
133.47/133.63	c |    208572 |     200    17000   119000 | 2147483647    69339     58 |  0.003 % |
133.67/133.82	c |    208765 |     200    17000   119000 | 2147483647    69532     58 |  0.003 % |
133.87/134.00	c |    208978 |     200    17000   119000 | 2147483647    69745     58 |  0.003 % |
133.98/134.20	c |    209212 |     200    17000   119000 | 2147483647    69979     58 |  0.003 % |
134.17/134.38	c |    209468 |     200    17000   119000 | 2147483647    70235     58 |  0.003 % |
134.37/134.58	c |    209749 |     200    17000   119000 | 2147483647    70516     58 |  0.003 % |
134.67/134.81	c |    210058 |     200    17000   119000 | 2147483647    70825     58 |  0.003 % |
134.97/135.16	c |    210397 |     200    17000   119000 | 2147483647    71164     58 |  0.003 % |
135.27/135.50	c |    210769 |     200    17000   119000 | 2147483647    71536     58 |  0.003 % |
135.67/135.81	c |    211179 |     200    17000   119000 | 2147483647    71946     58 |  0.003 % |
135.97/136.18	c |    211629 |     200    17000   119000 | 2147483647    72396     58 |  0.003 % |
136.37/136.53	c |    212122 |     200    17000   119000 | 2147483647    72889     58 |  0.003 % |
136.77/136.91	c |    212664 |     200    17000   119000 | 2147483647    73431     58 |  0.003 % |
137.17/137.37	c |    213260 |     200    17000   119000 | 2147483647    74027     58 |  0.003 % |
137.67/137.86	c |    213915 |     200    17000   119000 | 2147483647    74682     58 |  0.003 % |
138.17/138.35	c |    214638 |     200    17000   119000 | 2147483647    75405     58 |  0.003 % |
138.67/138.89	c |    215430 |     200    17000   119000 | 2147483647    76197     58 |  0.003 % |
139.27/139.49	c |    216303 |     200    17000   119000 | 2147483647    77070     58 |  0.003 % |
139.97/140.19	c |    217262 |     200    17000   119000 | 2147483647    78029     58 |  0.003 % |
140.77/140.98	c |    218315 |     200    17000   119000 | 2147483647    79082     58 |  0.003 % |
141.67/141.86	c |    219475 |     200    17000   119000 | 2147483647    80242     58 |  0.003 % |
142.67/142.82	c |    220750 |     200    17000   119000 |    80768    71282     58 |  0.003 % |
143.57/143.78	c |    222151 |     200    17000   119000 |    80768    72683     58 |  0.003 % |
144.67/144.86	c |    223693 |     200    17000   119000 |    80768    74225     58 |  0.003 % |
145.87/146.10	c |    225388 |     200    17000   119000 |    80768    75920     58 |  0.003 % |
147.37/147.56	c |    227251 |     200    17000   119000 |    80768    77783     58 |  0.003 % |
148.87/149.07	c |    229300 |     200    17000   119000 |    80768    79832     58 |  0.003 % |
150.47/150.68	c |    231553 |     200    17000   119000 |    80532    71690     58 |  0.003 % |
150.66/150.80	c |    231653 |     200    17000   119000 |    80532    71790     58 |  0.003 % |
150.76/150.91	c |    231763 |     200    17000   119000 |    80532    71900     58 |  0.003 % |
150.86/151.01	c |    231884 |     200    17000   119000 |    80532    72021     58 |  0.003 % |
150.96/151.11	c |    232018 |     200    17000   119000 |    80532    72155     58 |  0.003 % |
151.06/151.28	c |    232164 |     200    17000   119000 |    80532    72301     58 |  0.003 % |
151.26/151.43	c |    232324 |     200    17000   119000 |    80532    72461     58 |  0.003 % |
151.36/151.57	c |    232500 |     200    17000   119000 |    80532    72637     58 |  0.003 % |
151.57/151.74	c |    232695 |     200    17000   119000 |    80532    72832     58 |  0.003 % |
151.76/151.93	c |    232909 |     200    17000   119000 |    80532    73046     58 |  0.003 % |
151.96/152.13	c |    233142 |     200    17000   119000 |    80532    73279     58 |  0.003 % |
152.16/152.33	c |    233401 |     200    17000   119000 |    80532    73538     58 |  0.003 % |
152.36/152.57	c |    233682 |     200    17000   119000 |    80532    73819     58 |  0.003 % |
152.67/152.83	c |    233991 |     200    17000   119000 |    80532    74128     58 |  0.003 % |
152.86/153.08	c |    234330 |     200    17000   119000 |    80532    74467     58 |  0.003 % |
153.16/153.37	c |    234702 |     200    17000   119000 |    80532    74839     58 |  0.003 % |
153.46/153.67	c |    235112 |     200    17000   119000 |    80532    75249     58 |  0.003 % |
153.77/153.98	c |    235562 |     200    17000   119000 |    80532    75699     58 |  0.003 % |
154.26/154.44	c |    236055 |     200    17000   119000 |    80532    76192     58 |  0.003 % |
154.76/154.90	c |    236598 |     200    17000   119000 |    80532    76735     58 |  0.003 % |
155.26/155.43	c |    237194 |     200    17000   119000 |    80532    77331     58 |  0.003 % |
155.76/155.96	c |    237850 |     200    17000   119000 |    80532    77987     58 |  0.003 % |
156.36/156.51	c |    238571 |     200    17000   119000 |    80532    78708     58 |  0.003 % |
157.07/157.23	c |    239364 |     200    17000   119000 |    80532    79501     58 |  0.003 % |
157.86/158.04	c |    240235 |     200    17000   119000 |    80137    68739     58 |  0.003 % |
158.56/158.75	c |    241193 |     200    17000   119000 |    80137    69697     58 |  0.003 % |
159.36/159.51	c |    242246 |     200    17000   119000 |    80137    70750     58 |  0.003 % |
160.16/160.33	c |    243405 |     200    17000   119000 |    80137    71909     58 |  0.003 % |
161.06/161.20	c |    244679 |     200    17000   119000 |    80137    73183     58 |  0.003 % |
162.06/162.21	c |    246079 |     200    17000   119000 |    80137    74583     58 |  0.003 % |
163.36/163.51	c |    247619 |     200    17000   119000 |    80137    76123     58 |  0.003 % |
164.76/164.95	c |    249315 |     200    17000   119000 |    80137    77819     58 |  0.003 % |
166.26/166.47	c |    251178 |     200    17000   119000 |    78504    68900     59 |  0.003 % |
167.76/167.95	c |    253227 |     200    17000   119000 |    78504    70949     59 |  0.003 % |
169.36/169.55	c |    255481 |     200    17000   119000 |    78504    73203     59 |  0.003 % |
171.26/171.49	c |    257961 |     200    17000   119000 |    78504    75683     59 |  0.003 % |
171.36/171.58	c |    258061 |     200    17000   119000 |    78504    75783     59 |  0.003 % |
171.56/171.71	c |    258174 |     200    17000   119000 |    78504    75896     59 |  0.003 % |
171.66/171.83	c |    258296 |     200    17000   119000 |    78504    76018     59 |  0.003 % |
171.76/171.96	c |    258430 |     200    17000   119000 |    78504    76152     59 |  0.003 % |
171.96/172.11	c |    258576 |     200    17000   119000 |    78504    76298     59 |  0.003 % |
172.06/172.28	c |    258736 |     200    17000   119000 |    78504    76458     59 |  0.003 % |
172.26/172.47	c |    258914 |     200    17000   119000 |    78504    76636     59 |  0.003 % |
172.46/172.66	c |    259107 |     200    17000   119000 |    78504    76829     59 |  0.003 % |
172.66/172.84	c |    259320 |     200    17000   119000 |    78504    77042     59 |  0.003 % |
172.86/173.03	c |    259556 |     200    17000   119000 |    78504    77278     58 |  0.003 % |
173.06/173.29	c |    259813 |     200    17000   119000 |    78504    77535     58 |  0.003 % |
173.46/173.60	c |    260095 |     200    17000   119000 |    77723    67737     58 |  0.003 % |
173.66/173.86	c |    260404 |     200    17000   119000 |    77723    68046     58 |  0.003 % |
173.95/174.14	c |    260744 |     200    17000   119000 |    77723    68386     58 |  0.003 % |
174.25/174.43	c |    261118 |     200    17000   119000 |    77723    68760     58 |  0.003 % |
174.55/174.76	c |    261527 |     200    17000   119000 |    77723    69169     58 |  0.003 % |
174.95/175.13	c |    261976 |     200    17000   119000 |    77723    69618     58 |  0.003 % |
175.25/175.48	c |    262469 |     200    17000   119000 |    77723    70111     58 |  0.003 % |
175.75/175.94	c |    263014 |     200    17000   119000 |    77723    70656     58 |  0.003 % |
176.24/176.43	c |    263612 |     200    17000   119000 |    77723    71254     58 |  0.003 % |
176.74/176.97	c |    264267 |     200    17000   119000 |    77723    71909     58 |  0.003 % |
177.34/177.52	c |    264987 |     200    17000   119000 |    77723    72629     58 |  0.003 % |
177.84/178.07	c |    265780 |     200    17000   119000 |    77723    73422     58 |  0.003 % |
178.54/178.75	c |    266651 |     200    17000   119000 |    77723    74293     58 |  0.003 % |
179.24/179.45	c |    267609 |     200    17000   119000 |    77723    75251     58 |  0.003 % |
180.04/180.24	c |    268662 |     200    17000   119000 |    77723    76304     58 |  0.003 % |
180.94/181.11	c |    269821 |     200    17000   119000 |    77723    77463     58 |  0.003 % |
181.84/182.07	c |    271094 |     200    17000   119000 |    77643    68925     58 |  0.003 % |
182.94/183.16	c |    272497 |     200    17000   119000 |    77643    70328     58 |  0.003 % |
184.14/184.34	c |    274038 |     200    17000   119000 |    77643    71869     58 |  0.003 % |
185.54/186.03	c |    275732 |     200    17000   119000 |    77643    73563     58 |  0.003 % |
186.87/187.44	c |    277595 |     200    17000   119000 |    77643    75426     58 |  0.003 % |
188.74/189.31	c |    279646 |     200    17000   119000 |    77643    77477     58 |  0.003 % |
190.43/191.01	c |    281899 |     200    17000   119000 |    67636    60683     58 |  0.003 % |
191.93/192.52	c |    284377 |     200    17000   119000 |    67636    63161     58 |  0.003 % |
193.53/194.18	c |    287103 |     200    17000   119000 |    67636    65887     58 |  0.003 % |
193.63/194.24	c |    287203 |     200    17000   119000 |    67636    65987     58 |  0.003 % |
193.73/194.32	c |    287314 |     200    17000   119000 |    67636    66098     58 |  0.003 % |
193.83/194.41	c |    287435 |     200    17000   119000 |    67636    66219     58 |  0.003 % |
193.93/194.52	c |    287568 |     200    17000   119000 |    67636    66352     58 |  0.003 % |
194.03/194.65	c |    287715 |     200    17000   119000 |    67636    66499     58 |  0.003 % |
194.13/194.79	c |    287878 |     200    17000   119000 |    67636    66662     58 |  0.003 % |
194.33/194.93	c |    288054 |     200    17000   119000 |    67636    66838     58 |  0.003 % |
194.53/195.12	c |    288247 |     200    17000   119000 |    67636    67031     58 |  0.003 % |
194.63/195.27	c |    288459 |     200    17000   119000 |    67636    67243     58 |  0.003 % |
194.83/195.45	c |    288693 |     200    17000   119000 |    67636    67477     58 |  0.003 % |
195.03/195.70	c |    288950 |     200    17000   119000 |    67636    60962     58 |  0.003 % |
195.23/195.88	c |    289231 |     200    17000   119000 |    67636    61243     58 |  0.003 % |
195.43/196.08	c |    289541 |     200    17000   119000 |    67636    61553     58 |  0.003 % |
195.73/196.34	c |    289883 |     200    17000   119000 |    67636    61895     58 |  0.003 % |
196.03/196.60	c |    290255 |     200    17000   119000 | 2147483647    62267     58 |  0.003 % |
196.23/196.90	c |    290664 |     200    17000   119000 | 2147483647    62676     58 |  0.003 % |
196.63/197.24	c |    291114 |     200    17000   119000 | 2147483647    63126     58 |  0.003 % |
197.03/197.63	c |    291607 |     200    17000   119000 | 2147483647    63619     58 |  0.003 % |
197.33/197.97	c |    292149 |     200    17000   119000 | 2147483647    64161     58 |  0.003 % |
197.82/198.40	c |    292745 |     200    17000   119000 | 2147483647    64757     58 |  0.003 % |
198.23/198.87	c |    293400 |     200    17000   119000 | 2147483647    65412     58 |  0.003 % |
198.72/199.36	c |    294120 |     200    17000   119000 | 2147483647    66132     58 |  0.003 % |
199.33/199.90	c |    294913 |     200    17000   119000 | 2147483647    66925     58 |  0.003 % |
199.83/200.46	c |    295785 |     200    17000   119000 | 2147483647    67797     58 |  0.003 % |
200.53/201.13	c |    296745 |     200    17000   119000 | 2147483647    68757     58 |  0.003 % |
201.22/201.80	c |    297799 |     200    17000   119000 | 2147483647    69811     58 |  0.003 % |
201.93/202.56	c |    298957 |     200    17000   119000 | 2147483647    70969     58 |  0.003 % |
202.83/203.43	c |    300231 |     200    17000   119000 | 2147483647    72243     58 |  0.003 % |
203.83/204.40	c |    301632 |     200    17000   119000 | 2147483647    73644     58 |  0.003 % |
204.82/205.50	c |    303172 |     200    17000   119000 | 2147483647    75184     58 |  0.003 % |
206.13/206.72	c |    304868 |     200    17000   119000 | 2147483647    76880     58 |  0.003 % |
207.52/208.12	c |    306731 |     200    17000   119000 | 2147483647    78743     58 |  0.003 % |
209.12/209.71	c |    308780 |     200    17000   119000 | 2147483647    80792     58 |  0.003 % |
210.92/211.56	c |    311034 |     200    17000   119000 |    82012    73449     58 |  0.003 % |
213.02/213.69	c |    313512 |     200    17000   119000 |    82012    75927     58 |  0.003 % |
215.62/216.21	c |    316239 |     200    17000   119000 |    82012    78654     58 |  0.003 % |
218.20/218.90	c |    319237 |     200    17000   119000 |    82012    81652     58 |  0.003 % |
218.40/219.00	c |    319337 |     200    17000   119000 |    82012    81752     58 |  0.003 % |
218.50/219.12	c |    319447 |     200    17000   119000 |    82012    81862     58 |  0.003 % |
218.60/219.24	c |    319568 |     200    17000   119000 |    82012    81983     58 |  0.003 % |
218.80/219.47	c |    319702 |     200    17000   119000 |    82012    68788     58 |  0.003 % |
218.90/219.60	c |    319849 |     200    17000   119000 |    82012    68935     58 |  0.003 % |
219.10/219.74	c |    320009 |     200    17000   119000 |    69087    69095     58 |  0.003 % |
219.29/219.95	c |    320186 |     200    17000   119000 |    69087    58107     58 |  0.003 % |
219.39/220.08	c |    320379 |     200    17000   119000 |    69087    58300     58 |  0.003 % |
219.59/220.22	c |    320591 |     200    17000   119000 |    69087    58512     58 |  0.003 % |
219.69/220.39	c |    320824 |     200    17000   119000 |    69087    58745     58 |  0.003 % |
219.89/220.59	c |    321080 |     200    17000   119000 |    69087    59001     58 |  0.003 % |
220.19/220.83	c |    321361 |     200    17000   119000 |    69087    59282     58 |  0.003 % |
220.39/221.08	c |    321672 |     200    17000   119000 |    69087    59593     58 |  0.003 % |
220.69/221.31	c |    322013 |     200    17000   119000 |    69087    59934     58 |  0.003 % |
220.89/221.57	c |    322386 |     200    17000   119000 |    69087    60307     58 |  0.003 % |
221.19/221.82	c |    322797 |     200    17000   119000 |    69087    60718     58 |  0.003 % |
221.49/222.12	c |    323247 |     200    17000   119000 |    69087    61168     58 |  0.003 % |
221.79/222.43	c |    323742 |     200    17000   119000 |    69087    61663     58 |  0.003 % |
222.19/222.81	c |    324284 |     200    17000   119000 |    69087    62205     58 |  0.003 % |
222.49/223.17	c |    324880 |     200    17000   119000 |    69087    62801     58 |  0.003 % |
222.89/223.54	c |    325535 |     200    17000   119000 |    69087    63456     58 |  0.003 % |
223.39/224.09	c |    326258 |     200    17000   119000 |    69087    64179     58 |  0.003 % |
223.99/224.61	c |    327053 |     200    17000   119000 |    69087    64974     58 |  0.003 % |
224.59/225.22	c |    327924 |     200    17000   119000 |    69087    65845     58 |  0.003 % |
225.19/225.85	c |    328882 |     200    17000   119000 |    69087    66803     58 |  0.003 % |
225.89/226.52	c |    329935 |     200    17000   119000 |    69087    67856     58 |  0.003 % |
226.59/227.27	c |    331093 |     200    17000   119000 |    67921    62144     58 |  0.003 % |
227.59/228.20	c |    332368 |     200    17000   119000 |    67921    63419     58 |  0.003 % |
228.59/229.20	c |    333768 |     200    17000   119000 |    67921    64819     58 |  0.003 % |
229.59/230.21	c |    335308 |     200    17000   119000 |    67921    66359     58 |  0.003 % |
230.68/231.35	c |    337005 |     200    17000   119000 |    67921    61256     58 |  0.003 % |
231.88/232.55	c |    338868 |     200    17000   119000 |    67921    63119     58 |  0.003 % |
233.28/233.91	c |    340918 |     200    17000   119000 | 2147483647    65169     58 |  0.003 % |
234.79/235.43	c |    343172 |     200    17000   119000 | 2147483647    67423     59 |  0.003 % |
236.49/237.12	c |    345650 |     200    17000   119000 | 2147483647    69901     59 |  0.003 % |
238.28/238.91	c |    348375 |     200    17000   119000 | 2147483647    72626     59 |  0.003 % |
240.38/241.01	c |    351373 |     200    17000   119000 | 2147483647    75624     59 |  0.003 % |
242.78/243.42	c |    354670 |     200    17000   119000 | 2147483647    78921     59 |  0.003 % |
242.88/243.50	c |    354770 |     200    17000   119000 | 2147483647    79021     59 |  0.003 % |
242.88/243.59	c |    354881 |     200    17000   119000 | 2147483647    79132     59 |  0.003 % |
243.08/243.70	c |    355003 |     200    17000   119000 | 2147483647    79254     59 |  0.003 % |
243.18/243.86	c |    355137 |     200    17000   119000 | 2147483647    79388     59 |  0.003 % |
243.28/243.99	c |    355285 |     200    17000   119000 | 2147483647    79536     59 |  0.003 % |
243.49/244.14	c |    355445 |     200    17000   119000 | 2147483647    79696     59 |  0.003 % |
243.68/244.31	c |    355621 |     200    17000   119000 | 2147483647    79872     59 |  0.003 % |
243.78/244.47	c |    355815 |     200    17000   119000 | 2147483647    80066     59 |  0.003 % |
243.98/244.65	c |    356029 |     200    17000   119000 | 2147483647    80280     59 |  0.003 % |
244.18/244.89	c |    356263 |     200    17000   119000 | 2147483647    80514     59 |  0.003 % |
244.48/245.11	c |    356519 |     200    17000   119000 | 2147483647    80770     59 |  0.003 % |
244.78/245.41	c |    356801 |     200    17000   119000 | 2147483647    81052     59 |  0.003 % |
244.98/245.68	c |    357110 |     200    17000   119000 | 2147483647    81361     59 |  0.003 % |
245.38/246.00	c |    357449 |     200    17000   119000 | 2147483647    81700     59 |  0.003 % |
245.68/246.33	c |    357823 |     200    17000   119000 | 2147483647    82074     59 |  0.003 % |
246.08/246.73	c |    358233 |     200    17000   119000 | 2147483647    82484     59 |  0.003 % |
246.48/247.13	c |    358682 |     200    17000   119000 | 2147483647    82933     59 |  0.003 % |
246.88/247.57	c |    359176 |     200    17000   119000 | 2147483647    83427     59 |  0.003 % |
247.38/248.05	c |    359718 |     200    17000   119000 | 2147483647    83969     59 |  0.003 % |
247.98/248.63	c |    360317 |     200    17000   119000 |    84251    72607     59 |  0.003 % |
248.48/249.13	c |    360972 |     200    17000   119000 |    84251    73262     59 |  0.003 % |
248.98/249.66	c |    361693 |     200    17000   119000 |    84251    73983     59 |  0.003 % |
249.68/250.30	c |    362485 |     200    17000   119000 |    84251    74775     59 |  0.003 % |
250.28/250.91	c |    363356 |     200    17000   119000 |    84251    75646     59 |  0.003 % |
250.88/251.55	c |    364315 |     200    17000   119000 |    84251    76605     59 |  0.003 % |
251.67/252.30	c |    365369 |     200    17000   119000 |    84251    77659     59 |  0.003 % |
252.47/253.16	c |    366528 |     200    17000   119000 |    84251    78818     59 |  0.003 % |
253.57/254.28	c |    367802 |     200    17000   119000 |    84251    80092     59 |  0.003 % |
254.77/255.46	c |    369203 |     200    17000   119000 |    84251    81493     59 |  0.003 % |
255.97/256.68	c |    370743 |     200    17000   119000 |    82292    71263     59 |  0.003 % |
257.17/257.85	c |    372440 |     200    17000   119000 |    82292    72960     59 |  0.003 % |
258.57/259.21	c |    374304 |     200    17000   119000 |    82292    74824     59 |  0.003 % |
259.98/260.64	c |    376353 |     200    17000   119000 |    82292    76873     59 |  0.003 % |
261.67/262.37	c |    378606 |     200    17000   119000 |    82292    79126     59 |  0.003 % |
263.67/264.34	c |    381084 |     200    17000   119000 |    80521    71406     59 |  0.003 % |
265.76/266.47	c |    383810 |     200    17000   119000 |    80521    74132     59 |  0.003 % |
268.06/268.74	c |    386807 |     200    17000   119000 |    80521    77129     59 |  0.003 % |
270.66/271.38	c |    390103 |     200    17000   119000 |    80323    69766     59 |  0.003 % |
273.27/273.93	c |    393728 |     200    17000   119000 |    80323    73391     59 |  0.003 % |
273.36/274.01	c |    393829 |     200    17000   119000 |    80323    73492     59 |  0.003 % |
273.36/274.09	c |    393939 |     200    17000   119000 |    80323    73602     59 |  0.003 % |
273.46/274.19	c |    394060 |     200    17000   119000 |    80323    73723     59 |  0.003 % |
273.66/274.33	c |    394194 |     200    17000   119000 |    80323    73857     59 |  0.003 % |
273.76/274.46	c |    394342 |     200    17000   119000 |    80323    74005     59 |  0.003 % |
273.96/274.62	c |    394504 |     200    17000   119000 |    80323    74167     59 |  0.003 % |
274.06/274.79	c |    394682 |     200    17000   119000 |    80323    74345     59 |  0.003 % |
274.26/274.96	c |    394875 |     200    17000   119000 |    80323    74538     59 |  0.003 % |
274.46/275.15	c |    395087 |     200    17000   119000 |    80323    74750     59 |  0.003 % |
274.66/275.36	c |    395321 |     200    17000   119000 |    80323    74984     59 |  0.003 % |
274.86/275.56	c |    395580 |     200    17000   119000 |    80323    75243     59 |  0.003 % |
275.16/275.84	c |    395861 |     200    17000   119000 |    80323    75524     59 |  0.003 % |
275.46/276.12	c |    396170 |     200    17000   119000 |    80323    75833     59 |  0.003 % |
275.66/276.39	c |    396509 |     200    17000   119000 |    80323    76172     59 |  0.003 % |
276.06/276.74	c |    396881 |     200    17000   119000 |    80323    76544     59 |  0.003 % |
276.36/277.08	c |    397291 |     200    17000   119000 |    80323    76954     59 |  0.003 % |
276.76/277.44	c |    397741 |     200    17000   119000 |    80323    77404     59 |  0.003 % |
277.16/277.83	c |    398236 |     200    17000   119000 |    80323    77899     59 |  0.003 % |
277.56/278.26	c |    398778 |     200    17000   119000 |    80323    78441     59 |  0.003 % |
278.06/278.71	c |    399375 |     200    17000   119000 |    80323    79038     59 |  0.003 % |
278.46/279.18	c |    400030 |     200    17000   119000 |    79664    79693     59 |  0.003 % |
279.16/279.88	c |    400750 |     200    17000   119000 |    79664    69636     59 |  0.003 % |
279.76/280.46	c |    401542 |     200    17000   119000 |    79664    70428     59 |  0.003 % |
280.36/281.08	c |    402413 |     200    17000   119000 |    79664    71299     59 |  0.003 % |
281.06/281.79	c |    403372 |     200    17000   119000 |    79664    72258     59 |  0.003 % |
281.86/282.51	c |    404427 |     200    17000   119000 |    79664    73313     59 |  0.003 % |
282.56/283.27	c |    405585 |     200    17000   119000 |    79664    74471     59 |  0.003 % |
283.65/284.33	c |    406859 |     200    17000   119000 |    79664    75745     59 |  0.003 % |
284.75/285.49	c |    408259 |     200    17000   119000 |    79664    77145     59 |  0.003 % |
286.05/286.74	c |    409800 |     200    17000   119000 |    79664    78686     59 |  0.003 % |
287.46/288.11	c |    411494 |     200    17000   119000 |    78886    69534     59 |  0.003 % |
288.75/289.48	c |    413357 |     200    17000   119000 |    78886    71397     59 |  0.003 % |
290.15/290.89	c |    415406 |     200    17000   119000 |    78886    73446     59 |  0.003 % |
291.85/292.57	c |    417662 |     200    17000   119000 |    78886    75702     59 |  0.003 % |
293.85/294.55	c |    420140 |     200    17000   119000 |    78040    68373     59 |  0.003 % |
295.85/296.50	c |    422865 |     200    17000   119000 |    78040    71098     58 |  0.003 % |
297.85/298.53	c |    425862 |     200    17000   119000 |    78040    74095     59 |  0.003 % |
300.15/300.86	c |    429160 |     200    17000   119000 |    78040    77393     59 |  0.003 % |
302.55/303.21	c |    432785 |     200    17000   119000 |    69051    63808     59 |  0.003 % |
305.05/305.75	c |    436772 |     200    17000   119000 |    69051    67795     59 |  0.003 % |
305.15/305.82	c |    436873 |     200    17000   119000 |    69051    67896     59 |  0.003 % |
305.25/305.90	c |    436983 |     200    17000   119000 |    69051    68006     59 |  0.003 % |
305.35/306.00	c |    437104 |     200    17000   119000 |    69051    68127     59 |  0.003 % |
305.35/306.10	c |    437238 |     200    17000   119000 |    69051    68261     59 |  0.003 % |
305.55/306.21	c |    437386 |     200    17000   119000 |    69051    68409     59 |  0.003 % |
305.65/306.33	c |    437549 |     200    17000   119000 |    69051    68572     59 |  0.003 % |
305.85/306.52	c |    437727 |     200    17000   119000 |    69051    68750     59 |  0.003 % |
305.94/306.69	c |    437920 |     200    17000   119000 |    69051    68943     59 |  0.003 % |
306.25/306.91	c |    438133 |     200    17000   119000 |    69051    62241     59 |  0.003 % |
306.34/307.08	c |    438366 |     200    17000   119000 |    69051    62474     59 |  0.003 % |
306.54/307.24	c |    438623 |     200    17000   119000 |    69051    62731     59 |  0.003 % |
306.74/307.43	c |    438904 |     200    17000   119000 |    69051    63012     59 |  0.003 % |
306.94/307.64	c |    439213 |     200    17000   119000 |    69051    63321     59 |  0.003 % |
307.14/307.87	c |    439553 |     200    17000   119000 |    69051    63661     59 |  0.003 % |
307.44/308.18	c |    439925 |     200    17000   119000 |    69051    64033     59 |  0.003 % |
307.74/308.48	c |    440335 |     200    17000   119000 | 2147483647    64443     59 |  0.003 % |
308.04/308.80	c |    440785 |     200    17000   119000 | 2147483647    64893     59 |  0.003 % |
308.45/309.14	c |    441278 |     200    17000   119000 | 2147483647    65386     59 |  0.003 % |
308.84/309.51	c |    441821 |     200    17000   119000 | 2147483647    65929     59 |  0.003 % |
309.24/309.92	c |    442417 |     200    17000   119000 | 2147483647    66525     59 |  0.003 % |
309.64/310.39	c |    443072 |     200    17000   119000 | 2147483647    67180     59 |  0.003 % |
310.24/310.97	c |    443795 |     200    17000   119000 | 2147483647    67903     59 |  0.003 % |
310.93/311.66	c |    444588 |     200    17000   119000 | 2147483647    68696     59 |  0.003 % |
311.64/312.36	c |    445462 |     200    17000   119000 | 2147483647    69570     59 |  0.003 % |
312.33/313.05	c |    446422 |     200    17000   119000 | 2147483647    70530     59 |  0.003 % |
313.03/313.76	c |    447475 |     200    17000   119000 | 2147483647    71583     59 |  0.003 % |
313.83/314.58	c |    448633 |     200    17000   119000 | 2147483647    72741     59 |  0.003 % |
314.73/315.47	c |    449907 |     200    17000   119000 | 2147483647    74015     59 |  0.003 % |
315.73/316.47	c |    451308 |     200    17000   119000 |    74109    67532     59 |  0.003 % |
316.73/317.45	c |    452851 |     200    17000   119000 |    74109    69075     59 |  0.003 % |
317.73/318.47	c |    454545 |     200    17000   119000 |    74109    70769     59 |  0.003 % |
319.33/320.02	c |    456409 |     200    17000   119000 |    74109    72633     59 |  0.003 % |
320.83/321.55	c |    458458 |     200    17000   119000 |    74109    66607     59 |  0.003 % |
322.33/323.01	c |    460713 |     200    17000   119000 |    68149    61866     59 |  0.003 % |
323.73/324.44	c |    463191 |     200    17000   119000 |    68149    64344     59 |  0.003 % |
325.33/326.05	c |    465920 |     200    17000   119000 |    68149    67073     59 |  0.003 % |
327.23/327.90	c |    468917 |     200    17000   119000 |    68149    63246     59 |  0.003 % |
329.23/329.90	c |    472213 |     200    17000   119000 | 2147483647    66542     59 |  0.003 % |
331.43/332.19	c |    475838 |     200    17000   119000 | 2147483647    70167     59 |  0.003 % |
334.22/334.95	c |    479826 |     200    17000   119000 | 2147483647    74155     59 |  0.003 % |
337.42/338.11	c |    484213 |     200    17000   119000 | 2147483647    78542     59 |  0.003 % |
337.42/338.19	c |    484313 |     200    17000   119000 | 2147483647    78642     59 |  0.003 % |
337.52/338.29	c |    484424 |     200    17000   119000 | 2147483647    78753     59 |  0.003 % |
337.72/338.40	c |    484547 |     200    17000   119000 | 2147483647    78876     59 |  0.003 % |
337.82/338.55	c |    484680 |     200    17000   119000 | 2147483647    79009     59 |  0.003 % |
337.92/338.69	c |    484826 |     200    17000   119000 | 2147483647    79155     59 |  0.003 % |
338.13/338.82	c |    484987 |     200    17000   119000 | 2147483647    79316     59 |  0.003 % |
338.23/338.98	c |    485163 |     200    17000   119000 | 2147483647    79492     59 |  0.003 % |
338.43/339.15	c |    485358 |     200    17000   119000 | 2147483647    79687     59 |  0.003 % |
338.63/339.32	c |    485570 |     200    17000   119000 | 2147483647    79899     59 |  0.003 % |
338.83/339.54	c |    485803 |     200    17000   119000 | 2147483647    80132     59 |  0.003 % |
339.03/339.76	c |    486060 |     200    17000   119000 | 2147483647    80389     59 |  0.003 % |
339.33/340.03	c |    486341 |     200    17000   119000 | 2147483647    80670     59 |  0.003 % |
339.63/340.30	c |    486652 |     200    17000   119000 | 2147483647    80981     59 |  0.003 % |
339.93/340.60	c |    486991 |     200    17000   119000 | 2147483647    81320     59 |  0.003 % |
340.23/340.93	c |    487363 |     200    17000   119000 | 2147483647    81692     59 |  0.003 % |
340.63/341.30	c |    487773 |     200    17000   119000 | 2147483647    82102     59 |  0.003 % |
340.93/341.67	c |    488224 |     200    17000   119000 | 2147483647    82553     59 |  0.003 % |
341.33/342.10	c |    488719 |     200    17000   119000 | 2147483647    83048     59 |  0.003 % |
341.83/342.58	c |    489261 |     200    17000   119000 | 2147483647    83590     59 |  0.003 % |
342.33/343.08	c |    489859 |     200    17000   119000 | 2147483647    84188     59 |  0.003 % |
343.03/343.71	c |    490515 |     200    17000   119000 |    84329    73341     59 |  0.003 % |
343.63/344.34	c |    491236 |     200    17000   119000 |    84329    74062     59 |  0.003 % |
344.23/344.99	c |    492028 |     200    17000   119000 |    84329    74854     59 |  0.003 % |
345.03/345.70	c |    492899 |     200    17000   119000 |    84329    75725     59 |  0.003 % |
345.73/346.49	c |    493859 |     200    17000   119000 |    84329    76685     59 |  0.003 % |
346.63/347.38	c |    494912 |     200    17000   119000 |    84329    77738     59 |  0.003 % |
347.53/348.28	c |    496070 |     200    17000   119000 |    84329    78896     59 |  0.003 % |
348.73/349.49	c |    497344 |     200    17000   119000 |    84329    80170     59 |  0.003 % |
349.93/350.60	c |    498748 |     200    17000   119000 |    84329    81574     59 |  0.003 % |
351.23/351.94	c |    500288 |     200    17000   119000 |    82826    70150     58 |  0.003 % |
352.43/353.16	c |    501983 |     200    17000   119000 |    82826    71845     58 |  0.003 % |
353.73/354.46	c |    503846 |     200    17000   119000 |    82826    73708     58 |  0.003 % |
355.22/355.99	c |    505897 |     200    17000   119000 |    82826    75759     58 |  0.003 % |
356.92/357.65	c |    508150 |     200    17000   119000 |    82826    78012     58 |  0.003 % |
358.92/359.67	c |    510628 |     200    17000   119000 |    79862    70023     58 |  0.003 % |
360.82/361.52	c |    513358 |     200    17000   119000 |    79862    72753     59 |  0.003 % |
363.12/363.83	c |    516355 |     200    17000   119000 |    79862    75750     58 |  0.003 % |
365.42/366.16	c |    519652 |     200    17000   119000 |    79862    79047     58 |  0.003 % |
368.12/368.87	c |    523277 |     200    17000   119000 |    79396    72972     58 |  0.003 % |
371.21/371.95	c |    527264 |     200    17000   119000 |    79396    76959     59 |  0.003 % |
374.51/375.27	c |    531650 |     200    17000   119000 |    69928    63072     58 |  0.003 % |
377.72/378.42	c |    536474 |     200    17000   119000 |    69928    67896     58 |  0.003 % |
377.72/378.49	c |    536575 |     200    17000   119000 |    69928    67997     58 |  0.003 % |
377.91/378.60	c |    536685 |     200    17000   119000 |    69928    68107     58 |  0.003 % |
378.01/378.70	c |    536806 |     200    17000   119000 |    69928    68228     58 |  0.003 % |
378.11/378.81	c |    536940 |     200    17000   119000 |    69928    68362     58 |  0.003 % |
378.21/378.93	c |    537087 |     200    17000   119000 |    69928    68509     58 |  0.003 % |
378.31/379.06	c |    537248 |     200    17000   119000 |    69928    68670     58 |  0.003 % |
378.51/379.20	c |    537424 |     200    17000   119000 |    69928    68846     58 |  0.003 % |
378.61/379.35	c |    537618 |     200    17000   119000 |    69928    69040     58 |  0.003 % |
378.81/379.50	c |    537833 |     200    17000   119000 |    69928    69255     58 |  0.003 % |
378.91/379.67	c |    538066 |     200    17000   119000 |    69928    69488     58 |  0.003 % |
379.11/379.89	c |    538322 |     200    17000   119000 |    69928    69744     58 |  0.003 % |
379.41/380.15	c |    538603 |     200    17000   119000 |    69928    63023     58 |  0.003 % |
379.61/380.35	c |    538914 |     200    17000   119000 |    69928    63334     58 |  0.003 % |
379.82/380.56	c |    539254 |     200    17000   119000 |    69928    63674     58 |  0.003 % |
380.01/380.77	c |    539626 |     200    17000   119000 |    69928    64046     58 |  0.003 % |
380.31/381.02	c |    540035 |     200    17000   119000 | 2147483647    64455     58 |  0.003 % |
380.61/381.32	c |    540485 |     200    17000   119000 | 2147483647    64905     58 |  0.003 % |
380.91/381.62	c |    540978 |     200    17000   119000 | 2147483647    65398     58 |  0.003 % |
381.21/381.98	c |    541521 |     200    17000   119000 | 2147483647    65941     58 |  0.003 % |
381.61/382.39	c |    542117 |     200    17000   119000 | 2147483647    66537     58 |  0.003 % |
382.11/382.86	c |    542772 |     200    17000   119000 | 2147483647    67192     58 |  0.003 % |
382.71/383.41	c |    543494 |     200    17000   119000 | 2147483647    67914     58 |  0.003 % |
383.21/383.94	c |    544286 |     200    17000   119000 | 2147483647    68706     58 |  0.003 % |
383.81/384.52	c |    545157 |     200    17000   119000 | 2147483647    69577     58 |  0.003 % |
384.51/385.26	c |    546115 |     200    17000   119000 | 2147483647    70535     58 |  0.003 % |
385.31/386.04	c |    547168 |     200    17000   119000 | 2147483647    71588     58 |  0.003 % |
386.21/386.93	c |    548326 |     200    17000   119000 | 2147483647    72746     58 |  0.003 % |
387.21/387.95	c |    549600 |     200    17000   119000 | 2147483647    74020     58 |  0.003 % |
388.21/388.99	c |    551001 |     200    17000   119000 |    74420    67896     58 |  0.003 % |
389.40/390.13	c |    552543 |     200    17000   119000 |    74420    69438     58 |  0.003 % |
390.60/391.39	c |    554238 |     200    17000   119000 |    74420    71133     58 |  0.003 % |
392.10/392.82	c |    556101 |     200    17000   119000 |    74420    72996     58 |  0.003 % |
393.60/394.35	c |    558152 |     200    17000   119000 |    74420    67183     58 |  0.003 % |
395.10/395.88	c |    560406 |     200    17000   119000 |    69031    62373     58 |  0.003 % |
396.70/397.47	c |    562886 |     200    17000   119000 |    69031    64853     58 |  0.003 % |
398.51/399.25	c |    565611 |     200    17000   119000 |    69031    67578     58 |  0.003 % |
400.39/401.12	c |    568610 |     200    17000   119000 |    69031    63667     58 |  0.003 % |
402.49/403.26	c |    571908 |     200    17000   119000 | 2147483647    66965     58 |  0.003 % |
405.29/406.02	c |    575534 |     200    17000   119000 | 2147483647    70591     59 |  0.003 % |
407.89/408.69	c |    579522 |     200    17000   119000 | 2147483647    74579     59 |  0.003 % |
410.99/411.77	c |    583909 |     200    17000   119000 |    75058    70912     59 |  0.003 % |
414.29/415.06	c |    588733 |     200    17000   119000 |    75058    67681     59 |  0.003 % |
417.59/418.30	c |    594038 |     200    17000   119000 |    68949    65783     59 |  0.003 % |
417.69/418.40	c |    594140 |     200    17000   119000 |    68949    65885     59 |  0.003 % |
417.69/418.48	c |    594250 |     200    17000   119000 |    68949    65995     59 |  0.003 % |
417.79/418.56	c |    594373 |     200    17000   119000 |    68949    66118     59 |  0.003 % |
417.89/418.67	c |    594507 |     200    17000   119000 |    68949    66252     59 |  0.003 % |
418.09/418.81	c |    594653 |     200    17000   119000 |    68949    66398     59 |  0.003 % |
418.19/418.93	c |    594813 |     200    17000   119000 |    68949    66558     59 |  0.003 % |
418.29/419.07	c |    594991 |     200    17000   119000 |    68949    66736     59 |  0.003 % |
418.49/419.25	c |    595185 |     200    17000   119000 |    68949    66930     59 |  0.003 % |
418.68/419.45	c |    595398 |     200    17000   119000 |    68949    67143     59 |  0.003 % |
418.88/419.63	c |    595632 |     200    17000   119000 |    68949    67377     59 |  0.003 % |
419.08/419.84	c |    595888 |     200    17000   119000 |    68949    67633     59 |  0.003 % |
419.28/420.05	c |    596170 |     200    17000   119000 |    68949    67915     59 |  0.003 % |
419.49/420.28	c |    596479 |     200    17000   119000 |    68949    68224     59 |  0.003 % |
419.78/420.54	c |    596820 |     200    17000   119000 |    68949    68565     59 |  0.003 % |
420.08/420.83	c |    597193 |     200    17000   119000 |    68949    68938     59 |  0.003 % |
420.38/421.15	c |    597603 |     200    17000   119000 |    68949    62445     59 |  0.003 % |
420.68/421.46	c |    598053 |     200    17000   119000 |    68949    62895     59 |  0.003 % |
421.08/421.85	c |    598547 |     200    17000   119000 |    68949    63389     59 |  0.003 % |
421.48/422.27	c |    599091 |     200    17000   119000 |    68949    63933     59 |  0.003 % |
421.88/422.66	c |    599687 |     200    17000   119000 |    68949    64529     59 |  0.003 % |
422.38/423.13	c |    600342 |     200    17000   119000 | 2147483647    65184     59 |  0.003 % |
422.78/423.59	c |    601063 |     200    17000   119000 | 2147483647    65905     59 |  0.003 % |
423.38/424.19	c |    601856 |     200    17000   119000 | 2147483647    66698     59 |  0.003 % |
423.98/424.75	c |    602727 |     200    17000   119000 | 2147483647    67569     59 |  0.003 % |
424.58/425.37	c |    603685 |     200    17000   119000 | 2147483647    68527     59 |  0.003 % |
425.28/426.08	c |    604738 |     200    17000   119000 | 2147483647    69580     59 |  0.003 % |
426.08/426.84	c |    605897 |     200    17000   119000 | 2147483647    70739     59 |  0.003 % |
426.88/427.66	c |    607171 |     200    17000   119000 | 2147483647    72013     59 |  0.003 % |
427.88/428.60	c |    608571 |     200    17000   119000 | 2147483647    73413     59 |  0.003 % |
429.28/430.03	c |    610111 |     200    17000   119000 |    74842    66712     59 |  0.003 % |
430.48/431.27	c |    611805 |     200    17000   119000 |    74842    68406     59 |  0.003 % |
431.88/432.62	c |    613669 |     200    17000   119000 |    74842    70270     59 |  0.003 % |
433.18/433.95	c |    615718 |     200    17000   119000 |    74842    72319     59 |  0.003 % |
434.78/435.56	c |    617971 |     200    17000   119000 |    74842    74572     59 |  0.003 % |
436.48/437.28	c |    620449 |     200    17000   119000 |    68743    62309     59 |  0.003 % |
438.18/438.99	c |    623174 |     200    17000   119000 |    68743    65034     59 |  0.003 % |
440.18/440.90	c |    626172 |     200    17000   119000 |    68743    68032     59 |  0.003 % |
442.38/443.13	c |    629468 |     200    17000   119000 |    68743    64445     59 |  0.003 % |
444.87/445.67	c |    633093 |     200    17000   119000 | 2147483647    68070     59 |  0.003 % |
447.87/448.60	c |    637080 |     200    17000   119000 | 2147483647    72057     59 |  0.003 % |
451.07/451.82	c |    641467 |     200    17000   119000 |    74979    68197     59 |  0.003 % |
454.67/455.45	c |    646290 |     200    17000   119000 |    74979    73020     59 |  0.003 % |
458.66/459.41	c |    651597 |     200    17000   119000 |    67764    61613     59 |  0.003 % |
462.66/463.48	c |    657432 |     200    17000   119000 |    67764    67448     59 |  0.003 % |
462.76/463.55	c |    657532 |     200    17000   119000 |    67764    67548     59 |  0.003 % |
462.86/463.66	c |    657644 |     200    17000   119000 |    67764    67660     59 |  0.003 % |
462.96/463.77	c |    657766 |     200    17000   119000 |    67764    67782     59 |  0.003 % |
463.16/463.91	c |    657900 |     200    17000   119000 |    67764    61138     59 |  0.003 % |
463.26/464.02	c |    658046 |     200    17000   119000 |    67764    61284     59 |  0.003 % |
463.37/464.15	c |    658206 |     200    17000   119000 |    67764    61444     59 |  0.003 % |
463.47/464.27	c |    658382 |     200    17000   119000 |    67764    61620     59 |  0.003 % |
463.66/464.40	c |    658575 |     200    17000   119000 |    67764    61813     59 |  0.003 % |
463.76/464.57	c |    658787 |     200    17000   119000 |    67764    62025     59 |  0.003 % |
463.96/464.74	c |    659021 |     200    17000   119000 |    67764    62259     59 |  0.003 % |
464.16/464.95	c |    659277 |     200    17000   119000 |    67764    62515     59 |  0.003 % |
464.36/465.17	c |    659559 |     200    17000   119000 |    67764    62797     59 |  0.003 % |
464.66/465.41	c |    659869 |     200    17000   119000 |    67764    63107     59 |  0.003 % |
464.96/465.70	c |    660208 |     200    17000   119000 | 2147483647    63446     59 |  0.003 % |
465.16/465.97	c |    660581 |     200    17000   119000 | 2147483647    63819     59 |  0.003 % |
465.46/466.26	c |    660992 |     200    17000   119000 | 2147483647    64230     59 |  0.003 % |
465.76/466.59	c |    661442 |     200    17000   119000 | 2147483647    64680     59 |  0.003 % |
466.16/466.94	c |    661937 |     200    17000   119000 | 2147483647    65175     59 |  0.003 % |
466.56/467.30	c |    662479 |     200    17000   119000 | 2147483647    65717     59 |  0.003 % |
466.96/467.73	c |    663075 |     200    17000   119000 | 2147483647    66313     59 |  0.003 % |
467.46/468.24	c |    663730 |     200    17000   119000 | 2147483647    66968     59 |  0.003 % |
467.96/468.76	c |    664451 |     200    17000   119000 | 2147483647    67689     59 |  0.003 % |
468.56/469.36	c |    665243 |     200    17000   119000 | 2147483647    68481     59 |  0.003 % |
469.26/470.00	c |    666114 |     200    17000   119000 | 2147483647    69352     59 |  0.003 % |
469.96/470.74	c |    667075 |     200    17000   119000 | 2147483647    70313     59 |  0.003 % |
470.86/471.66	c |    668129 |     200    17000   119000 | 2147483647    71367     59 |  0.003 % |
471.86/472.64	c |    669288 |     200    17000   119000 | 2147483647    72526     59 |  0.003 % |
472.86/473.64	c |    670561 |     200    17000   119000 |    73238    65834     59 |  0.003 % |
473.86/474.70	c |    671962 |     200    17000   119000 |    73238    67235     59 |  0.003 % |
475.05/475.85	c |    673503 |     200    17000   119000 |    73238    68776     59 |  0.003 % |
476.56/477.33	c |    675197 |     200    17000   119000 |    73238    70470     59 |  0.003 % |
477.85/478.69	c |    677062 |     200    17000   119000 |    73238    72335     59 |  0.003 % |
479.45/480.26	c |    679113 |     200    17000   119000 |    73238    65922     59 |  0.003 % |
480.96/481.74	c |    681368 |     200    17000   119000 |    66810    60752     59 |  0.003 % |
482.55/483.30	c |    683846 |     200    17000   119000 |    66810    63230     59 |  0.003 % |
484.26/485.00	c |    686571 |     200    17000   119000 |    66810    65955     59 |  0.003 % |
486.46/487.21	c |    689569 |     200    17000   119000 |    66810    62263     59 |  0.003 % |
488.85/489.65	c |    692866 |     200    17000   119000 | 2147483647    65560     59 |  0.003 % |
491.34/492.16	c |    696492 |     200    17000   119000 | 2147483647    69186     59 |  0.003 % |
494.54/495.37	c |    700480 |     200    17000   119000 | 2147483647    73174     59 |  0.003 % |
498.14/498.91	c |    704866 |     200    17000   119000 | 2147483647    77560     59 |  0.003 % |
501.84/502.65	c |    709689 |     200    17000   119000 | 2147483647    82383     59 |  0.003 % |
506.04/506.83	c |    714994 |     200    17000   119000 |    82694    76419     59 |  0.003 % |
510.93/511.70	c |    720829 |     200    17000   119000 |    81425    70780     59 |  0.003 % |
515.53/516.39	c |    727247 |     200    17000   119000 |    81425    77198     59 |  0.003 % |
515.63/516.47	c |    727347 |     200    17000   119000 |    81425    77298     59 |  0.003 % |
515.73/516.56	c |    727457 |     200    17000   119000 |    81425    77408     59 |  0.003 % |
515.83/516.67	c |    727578 |     200    17000   119000 |    81425    77529     59 |  0.003 % |
516.03/516.82	c |    727711 |     200    17000   119000 |    81425    77662     59 |  0.003 % |
516.14/516.95	c |    727858 |     200    17000   119000 |    81425    77809     59 |  0.003 % |
516.33/517.13	c |    728022 |     200    17000   119000 |    81425    77973     59 |  0.003 % |
516.53/517.33	c |    728198 |     200    17000   119000 |    81425    78149     59 |  0.003 % |
516.73/517.50	c |    728392 |     200    17000   119000 |    81425    78343     59 |  0.003 % |
516.93/517.70	c |    728604 |     200    17000   119000 |    81425    78555     59 |  0.003 % |
517.13/517.91	c |    728837 |     200    17000   119000 |    81425    78788     59 |  0.003 % |
517.33/518.13	c |    729093 |     200    17000   119000 |    81425    79044     59 |  0.003 % |
517.63/518.43	c |    729376 |     200    17000   119000 |    81425    79327     59 |  0.003 % |
517.93/518.76	c |    729685 |     200    17000   119000 |    81425    79636     59 |  0.003 % |
518.23/519.08	c |    730024 |     200    17000   119000 |    79951    79975     59 |  0.003 % |
518.63/519.49	c |    730397 |     200    17000   119000 |    79951    69053     59 |  0.003 % |
519.03/519.80	c |    730808 |     200    17000   119000 |    79951    69464     59 |  0.003 % |
519.33/520.17	c |    731259 |     200    17000   119000 |    79951    69915     59 |  0.003 % |
519.73/520.55	c |    731752 |     200    17000   119000 |    79951    70408     59 |  0.003 % |
520.13/520.92	c |    732294 |     200    17000   119000 |    79951    70950     59 |  0.003 % |
520.53/521.39	c |    732892 |     200    17000   119000 |    79951    71548     59 |  0.003 % |
521.03/521.88	c |    733547 |     200    17000   119000 |    79951    72203     59 |  0.003 % |
521.73/522.53	c |    734267 |     200    17000   119000 |    79951    72923     59 |  0.003 % |
522.33/523.15	c |    735060 |     200    17000   119000 |    79951    73716     59 |  0.003 % |
523.03/523.85	c |    735931 |     200    17000   119000 |    79951    74587     59 |  0.003 % |
523.83/524.62	c |    736889 |     200    17000   119000 |    79951    75545     59 |  0.003 % |
524.73/525.56	c |    737943 |     200    17000   119000 |    79951    76599     59 |  0.003 % |
525.73/526.55	c |    739102 |     200    17000   119000 |    79951    77758     59 |  0.003 % |
526.83/527.61	c |    740376 |     200    17000   119000 |    78658    68326     59 |  0.003 % |
527.63/528.49	c |    741776 |     200    17000   119000 |    78658    69726     59 |  0.003 % |
528.73/529.53	c |    743317 |     200    17000   119000 |    78658    71267     59 |  0.003 % |
529.82/530.67	c |    745011 |     200    17000   119000 |    78658    72961     59 |  0.003 % |
531.42/532.26	c |    746874 |     200    17000   119000 |    78658    74824     59 |  0.003 % |
533.12/533.91	c |    748924 |     200    17000   119000 |    78658    76874     59 |  0.003 % |
534.82/535.68	c |    751178 |     200    17000   119000 |    77950    69222     59 |  0.003 % |
536.51/537.38	c |    753656 |     200    17000   119000 |    77950    71700     59 |  0.003 % |
538.51/539.30	c |    756382 |     200    17000   119000 |    77950    74426     59 |  0.003 % |
540.81/541.65	c |    759380 |     200    17000   119000 |    77950    77424     59 |  0.003 % |
543.11/543.91	c |    762676 |     200    17000   119000 |    68817    63399     59 |  0.003 % |
545.41/546.24	c |    766301 |     200    17000   119000 |    68817    67024     59 |  0.003 % |
548.01/548.83	c |    770289 |     200    17000   119000 | 2147483647    64122     59 |  0.003 % |
550.81/551.64	c |    774675 |     200    17000   119000 | 2147483647    68508     59 |  0.003 % |
554.21/555.02	c |    779498 |     200    17000   119000 | 2147483647    73331     59 |  0.003 % |
558.21/559.02	c |    784803 |     200    17000   119000 | 2147483647    78636     59 |  0.003 % |
563.00/563.82	c |    790638 |     200    17000   119000 |    83833    73703     59 |  0.003 % |
567.70/568.52	c |    797057 |     200    17000   119000 |    83833    80122     59 |  0.003 % |
573.30/574.20	c |    804118 |     200    17000   119000 |    83066    75562     59 |  0.003 % |
573.40/574.28	c |    804218 |     200    17000   119000 |    83066    75662     59 |  0.003 % |
573.50/574.38	c |    804328 |     200    17000   119000 |    83066    75772     59 |  0.003 % |
573.60/574.48	c |    804450 |     200    17000   119000 |    83066    75894     59 |  0.003 % |
573.80/574.60	c |    804584 |     200    17000   119000 |    83066    76028     59 |  0.003 % |
573.90/574.75	c |    804730 |     200    17000   119000 |    83066    76174     59 |  0.003 % |
574.00/574.89	c |    804892 |     200    17000   119000 |    83066    76336     59 |  0.003 % |
574.20/575.05	c |    805068 |     200    17000   119000 |    83066    76512     59 |  0.003 % |
574.40/575.22	c |    805262 |     200    17000   119000 |    83066    76706     59 |  0.003 % |
574.60/575.42	c |    805475 |     200    17000   119000 |    83066    76919     59 |  0.003 % |
574.80/575.63	c |    805710 |     200    17000   119000 |    83066    77154     59 |  0.003 % |
574.99/575.88	c |    805966 |     200    17000   119000 |    83066    77410     59 |  0.003 % |
575.29/576.11	c |    806247 |     200    17000   119000 |    83066    77691     59 |  0.003 % |
575.50/576.36	c |    806556 |     200    17000   119000 |    83066    78000     59 |  0.003 % |
575.80/576.68	c |    806895 |     200    17000   119000 |    83066    78339     59 |  0.003 % |
576.10/576.98	c |    807267 |     200    17000   119000 |    83066    78711     59 |  0.003 % |
576.50/577.30	c |    807676 |     200    17000   119000 |    83066    79120     59 |  0.003 % |
576.79/577.69	c |    808127 |     200    17000   119000 |    83066    79571     59 |  0.003 % |
577.29/578.11	c |    808623 |     200    17000   119000 |    83066    80067     59 |  0.003 % |
577.70/578.59	c |    809165 |     200    17000   119000 |    83066    80609     59 |  0.003 % |
578.19/579.06	c |    809761 |     200    17000   119000 |    83066    81205     59 |  0.003 % |
578.80/579.67	c |    810416 |     200    17000   119000 |    81445    69753     59 |  0.003 % |
579.29/580.15	c |    811137 |     200    17000   119000 |    81445    70474     59 |  0.003 % |
579.79/580.67	c |    811929 |     200    17000   119000 |    81445    71266     59 |  0.003 % |
580.49/581.31	c |    812800 |     200    17000   119000 |    81445    72137     59 |  0.003 % |
581.09/581.99	c |    813758 |     200    17000   119000 |    81445    73095     59 |  0.003 % |
581.89/582.77	c |    814811 |     200    17000   119000 |    81445    74148     59 |  0.003 % |
582.69/583.54	c |    815971 |     200    17000   119000 |    81445    75308     59 |  0.003 % |
583.59/584.49	c |    817244 |     200    17000   119000 |    81445    76581     59 |  0.003 % |
584.69/585.51	c |    818644 |     200    17000   119000 |    81445    77981     59 |  0.003 % |
585.79/586.65	c |    820185 |     200    17000   119000 |    79338    69597     59 |  0.003 % |
586.79/587.69	c |    821881 |     200    17000   119000 |    79338    71293     59 |  0.003 % |
588.19/589.03	c |    823745 |     200    17000   119000 |    79338    73157     59 |  0.003 % |
589.58/590.47	c |    825796 |     200    17000   119000 |    79338    75208     59 |  0.003 % |
591.38/592.24	c |    828049 |     200    17000   119000 |    79338    77461     59 |  0.003 % |
593.48/594.38	c |    830527 |     200    17000   119000 |    79413    69481     59 |  0.003 % |
595.48/596.34	c |    833252 |     200    17000   119000 |    79413    72206     59 |  0.003 % |
597.68/598.50	c |    836249 |     200    17000   119000 |    79413    75203     59 |  0.003 % |
600.18/601.02	c |    839547 |     200    17000   119000 |    79413    78501     59 |  0.003 % |
602.88/603.73	c |    843173 |     200    17000   119000 |    78954    71890     59 |  0.003 % |
605.58/606.48	c |    847164 |     200    17000   119000 |    78954    75881     59 |  0.003 % |
608.78/609.61	c |    851549 |     200    17000   119000 |    78718    71002     59 |  0.003 % |
612.27/613.13	c |    856373 |     200    17000   119000 |    78718    75826     59 |  0.003 % |
616.07/616.90	c |    861678 |     200    17000   119000 |    69538    62584     59 |  0.003 % |
619.58/620.46	c |    867514 |     200    17000   119000 |    69538    68420     59 |  0.003 % |
623.37/624.29	c |    873932 |     200    17000   119000 | 2147483647    67874     59 |  0.003 % |
628.37/629.27	c |    880991 |     200    17000   119000 |    73944    67110     60 |  0.003 % |
633.66/634.56	c |    888755 |     200    17000   119000 |    73944    67471     60 |  0.003 % |
633.76/634.64	c |    888856 |     200    17000   119000 |    73944    67572     60 |  0.003 % |
633.86/634.73	c |    888967 |     200    17000   119000 |    73944    67683     60 |  0.003 % |
633.96/634.83	c |    889089 |     200    17000   119000 |    73944    67805     60 |  0.003 % |
634.06/634.97	c |    889222 |     200    17000   119000 |    73944    67938     60 |  0.003 % |
634.16/635.09	c |    889368 |     200    17000   119000 |    73944    68084     60 |  0.003 % |
634.36/635.23	c |    889528 |     200    17000   119000 |    73944    68244     60 |  0.003 % |
634.56/635.42	c |    889705 |     200    17000   119000 |    73944    68421     60 |  0.003 % |
634.66/635.59	c |    889898 |     200    17000   119000 |    73944    68614     60 |  0.003 % |
634.96/635.83	c |    890110 |     200    17000   119000 |    68717    61646     60 |  0.003 % |
635.06/635.99	c |    890345 |     200    17000   119000 |    68717    61881     60 |  0.003 % |
635.26/636.16	c |    890602 |     200    17000   119000 |    68717    62138     60 |  0.003 % |
635.46/636.38	c |    890887 |     200    17000   119000 |    68717    62423     60 |  0.003 % |
635.67/636.57	c |    891197 |     200    17000   119000 |    68717    62733     60 |  0.003 % |
635.87/636.79	c |    891538 |     200    17000   119000 |    68717    63074     60 |  0.003 % |
636.27/637.14	c |    891911 |     200    17000   119000 |    68717    63447     60 |  0.003 % |
636.67/637.50	c |    892321 |     200    17000   119000 |    68717    63857     60 |  0.003 % |
636.97/637.84	c |    892771 |     200    17000   119000 |    68717    64307     60 |  0.003 % |
637.37/638.21	c |    893265 |     200    17000   119000 |    68717    64801     60 |  0.003 % |
637.67/638.58	c |    893809 |     200    17000   119000 |    68717    65345     60 |  0.003 % |
638.07/638.98	c |    894406 |     200    17000   119000 |    68717    65942     60 |  0.003 % |
638.57/639.43	c |    895061 |     200    17000   119000 |    68717    66597     60 |  0.003 % |
639.07/639.99	c |    895781 |     200    17000   119000 |    68717    67317     60 |  0.003 % |
639.67/640.59	c |    896574 |     200    17000   119000 |    68717    68110     60 |  0.003 % |
640.47/641.34	c |    897446 |     200    17000   119000 |    68717    61753     60 |  0.003 % |
641.06/641.97	c |    898405 |     200    17000   119000 |    68717    62712     60 |  0.003 % |
641.76/642.66	c |    899460 |     200    17000   119000 |    68717    63767     60 |  0.003 % |
642.67/643.54	c |    900619 |     200    17000   119000 |    64311    58427     60 |  0.003 % |
643.46/644.38	c |    901896 |     200    17000   119000 |    64311    59704     60 |  0.003 % |
644.46/645.32	c |    903300 |     200    17000   119000 |    64311    61108     60 |  0.003 % |
645.46/646.30	c |    904841 |     200    17000   119000 |    64311    62649     60 |  0.003 % |
646.56/647.45	c |    906536 |     200    17000   119000 |    64311    64344     60 |  0.003 % |
647.86/648.76	c |    908399 |     200    17000   119000 |    64311    59773     59 |  0.003 % |
649.36/650.20	c |    910448 |     200    17000   119000 | 2147483647    61822     59 |  0.003 % |
650.76/651.63	c |    912701 |     200    17000   119000 | 2147483647    64075     59 |  0.003 % |
652.56/653.50	c |    915179 |     200    17000   119000 | 2147483647    66553     59 |  0.003 % |
654.56/655.47	c |    917905 |     200    17000   119000 | 2147483647    69279     59 |  0.003 % |
656.86/657.72	c |    920903 |     200    17000   119000 | 2147483647    72277     59 |  0.003 % |
659.16/660.04	c |    924200 |     200    17000   119000 | 2147483647    75574     59 |  0.003 % |
661.76/662.60	c |    927825 |     200    17000   119000 | 2147483647    79199     59 |  0.003 % |
664.96/665.83	c |    931813 |     200    17000   119000 |    81375    73037     59 |  0.003 % |
668.35/669.27	c |    936198 |     200    17000   119000 |    81375    77422     59 |  0.003 % |
672.14/673.05	c |    941021 |     200    17000   119000 |    81225    71415     59 |  0.003 % |
676.24/677.17	c |    946326 |     200    17000   119000 |    81225    76720     59 |  0.003 % |
680.64/681.56	c |    952163 |     200    17000   119000 |    80395    71141     59 |  0.003 % |
685.34/686.20	c |    958582 |     200    17000   119000 |    80395    77560     59 |  0.003 % |
690.64/691.56	c |    965642 |     200    17000   119000 |    78978    73693     59 |  0.003 % |
696.03/697.00	c |    973407 |     200    17000   119000 |    78052    71260     59 |  0.003 % |
702.43/703.31	c |    981947 |     200    17000   119000 |    77855    70634     59 |  0.003 % |
702.43/703.39	c |    982049 |     200    17000   119000 |    77855    70736     59 |  0.003 % |
702.63/703.50	c |    982160 |     200    17000   119000 |    77855    70847     59 |  0.003 % |
702.73/703.62	c |    982281 |     200    17000   119000 |    77855    70968     59 |  0.003 % |
702.83/703.73	c |    982415 |     200    17000   119000 |    77855    71102     59 |  0.003 % |
702.93/703.83	c |    982562 |     200    17000   119000 |    77855    71249     59 |  0.003 % |
703.03/703.99	c |    982724 |     200    17000   119000 |    77855    71411     59 |  0.003 % |
703.23/704.16	c |    982903 |     200    17000   119000 |    77855    71590     59 |  0.003 % |
703.43/704.34	c |    983097 |     200    17000   119000 |    77855    71784     59 |  0.003 % |
703.63/704.55	c |    983311 |     200    17000   119000 |    77855    71998     59 |  0.003 % |
703.83/704.75	c |    983544 |     200    17000   119000 |    77855    72231     59 |  0.003 % |
704.03/704.99	c |    983801 |     200    17000   119000 |    77855    72488     59 |  0.003 % |
704.33/705.21	c |    984082 |     200    17000   119000 |    77855    72769     59 |  0.003 % |
704.53/705.48	c |    984391 |     200    17000   119000 |    77855    73078     59 |  0.003 % |
704.83/705.72	c |    984730 |     200    17000   119000 |    77855    73417     59 |  0.003 % |
705.13/706.04	c |    985102 |     200    17000   119000 |    77855    73789     59 |  0.003 % |
705.43/706.37	c |    985512 |     200    17000   119000 |    77855    74199     59 |  0.003 % |
705.93/706.80	c |    985962 |     200    17000   119000 |    77855    74649     59 |  0.003 % |
706.33/707.22	c |    986456 |     200    17000   119000 |    77855    75143     59 |  0.003 % |
706.73/707.65	c |    986998 |     200    17000   119000 |    77855    75685     59 |  0.003 % |
707.23/708.15	c |    987594 |     200    17000   119000 |    77855    76281     59 |  0.003 % |
707.83/708.71	c |    988249 |     200    17000   119000 |    77855    76936     59 |  0.003 % |
708.42/709.36	c |    988970 |     200    17000   119000 |    77855    77657     59 |  0.003 % |
709.12/710.05	c |    989762 |     200    17000   119000 |    77855    67884     59 |  0.003 % |
709.73/710.68	c |    990633 |     200    17000   119000 |    68122    59717     59 |  0.003 % |
710.32/711.26	c |    991592 |     200    17000   119000 |    68122    60676     59 |  0.003 % |
711.12/712.04	c |    992648 |     200    17000   119000 |    68122    61732     59 |  0.003 % |
711.93/712.83	c |    993806 |     200    17000   119000 |    68122    62890     59 |  0.003 % |
712.72/713.61	c |    995079 |     200    17000   119000 |    68122    64163     59 |  0.003 % |
713.82/714.72	c |    996479 |     200    17000   119000 |    68122    65563     59 |  0.003 % |
714.91/715.87	c |    998019 |     200    17000   119000 |    68122    67103     59 |  0.003 % |
716.22/717.20	c |    999715 |     200    17000   119000 |    68122    61869     59 |  0.003 % |
717.61/718.50	c |   1001578 |     200    17000   119000 |    62155    57461     59 |  0.003 % |
719.01/719.98	c |   1003627 |     200    17000   119000 |    62155    59510     59 |  0.003 % |
720.51/721.44	c |   1005880 |     200    17000   119000 |    62155    61763     59 |  0.003 % |
722.11/723.01	c |   1008358 |     200    17000   119000 |    62155    58017     59 |  0.003 % |
723.71/724.65	c |   1011083 |     200    17000   119000 | 2147483647    60742     59 |  0.003 % |
726.01/726.94	c |   1014081 |     200    17000   119000 | 2147483647    63740     59 |  0.003 % |
728.61/729.51	c |   1017378 |     200    17000   119000 | 2147483647    67037     59 |  0.003 % |
731.31/732.22	c |   1021005 |     200    17000   119000 | 2147483647    70664     59 |  0.003 % |
734.60/735.55	c |   1024994 |     200    17000   119000 | 2147483647    74653     59 |  0.003 % |
738.10/739.02	c |   1029379 |     200    17000   119000 | 2147483647    79038     59 |  0.003 % |
741.70/742.62	c |   1034203 |     200    17000   119000 |    79659    73231     59 |  0.003 % |
745.40/746.37	c |   1039508 |     200    17000   119000 |    79659    78536     59 |  0.003 % |
750.10/751.06	c |   1045346 |     200    17000   119000 |    79029    73727     58 |  0.003 % |
755.30/756.28	c |   1051765 |     200    17000   119000 |    78381    69873     58 |  0.003 % |
760.59/761.59	c |   1058827 |     200    17000   119000 |    78381    76935     58 |  0.003 % |
766.99/767.91	c |   1066592 |     200    17000   119000 |    78108    75365     58 |  0.003 % |
773.49/774.45	c |   1075133 |     200    17000   119000 |    68764    65207     58 |  0.003 % |
779.48/780.49	c |   1084527 |     200    17000   119000 | 2147483647    67716     58 |  0.003 % |
779.58/780.58	c |   1084627 |     200    17000   119000 | 2147483647    67816     58 |  0.003 % |
779.68/780.68	c |   1084737 |     200    17000   119000 | 2147483647    67926     58 |  0.003 % |
779.78/780.78	c |   1084859 |     200    17000   119000 | 2147483647    68048     58 |  0.003 % |
779.88/780.89	c |   1084993 |     200    17000   119000 | 2147483647    68182     58 |  0.003 % |
780.09/781.01	c |   1085140 |     200    17000   119000 | 2147483647    68329     58 |  0.003 % |
780.18/781.13	c |   1085301 |     200    17000   119000 | 2147483647    68490     58 |  0.003 % |
780.28/781.27	c |   1085477 |     200    17000   119000 | 2147483647    68666     58 |  0.003 % |
780.48/781.41	c |   1085670 |     200    17000   119000 | 2147483647    68859     58 |  0.003 % |
780.58/781.57	c |   1085882 |     200    17000   119000 | 2147483647    69071     58 |  0.003 % |
780.78/781.73	c |   1086116 |     200    17000   119000 | 2147483647    69305     58 |  0.003 % |
780.98/781.93	c |   1086372 |     200    17000   119000 | 2147483647    69561     58 |  0.003 % |
781.19/782.15	c |   1086653 |     200    17000   119000 | 2147483647    69842     58 |  0.003 % |
781.38/782.39	c |   1086963 |     200    17000   119000 | 2147483647    70152     58 |  0.003 % |
781.68/782.62	c |   1087302 |     200    17000   119000 | 2147483647    70491     58 |  0.003 % |
781.98/782.94	c |   1087675 |     200    17000   119000 | 2147483647    70864     58 |  0.003 % |
782.29/783.22	c |   1088084 |     200    17000   119000 | 2147483647    71273     58 |  0.003 % |
782.68/783.66	c |   1088533 |     200    17000   119000 | 2147483647    71722     58 |  0.003 % |
783.08/784.09	c |   1089027 |     200    17000   119000 | 2147483647    72216     58 |  0.003 % |
783.58/784.59	c |   1089570 |     200    17000   119000 | 2147483647    72759     58 |  0.003 % |
784.18/785.13	c |   1090166 |     200    17000   119000 |    73190    65588     58 |  0.003 % |
784.58/785.57	c |   1090821 |     200    17000   119000 |    73190    66243     58 |  0.003 % |
785.08/786.08	c |   1091541 |     200    17000   119000 |    73190    66963     58 |  0.003 % |
785.78/786.77	c |   1092333 |     200    17000   119000 |    73190    67755     58 |  0.003 % |
786.48/787.47	c |   1093205 |     200    17000   119000 |    73190    68627     58 |  0.003 % |
787.08/788.10	c |   1094164 |     200    17000   119000 |    73190    69586     58 |  0.003 % |
787.88/788.82	c |   1095217 |     200    17000   119000 |    73190    70639     58 |  0.003 % |
788.68/789.65	c |   1096376 |     200    17000   119000 |    73190    71798     58 |  0.003 % |
789.58/790.54	c |   1097649 |     200    17000   119000 |    73190    73071     58 |  0.003 % |
790.58/791.50	c |   1099049 |     200    17000   119000 |    73190    66731     58 |  0.003 % |
791.78/792.71	c |   1100589 |     200    17000   119000 |    67682    61278     58 |  0.003 % |
792.98/793.91	c |   1102284 |     200    17000   119000 |    67682    62973     58 |  0.003 % |
794.18/795.15	c |   1104148 |     200    17000   119000 |    67682    64837     58 |  0.003 % |
795.58/796.54	c |   1106197 |     200    17000   119000 |    67682    66886     58 |  0.003 % |
796.97/797.98	c |   1108450 |     200    17000   119000 |    67682    62362     58 |  0.003 % |
798.38/799.35	c |   1110928 |     200    17000   119000 | 2147483647    64840     58 |  0.003 % |
799.97/800.96	c |   1113654 |     200    17000   119000 | 2147483647    67566     58 |  0.003 % |
801.98/802.98	c |   1116652 |     200    17000   119000 | 2147483647    70564     58 |  0.003 % |
804.27/805.28	c |   1119952 |     200    17000   119000 | 2147483647    73864     59 |  0.003 % |
807.07/808.01	c |   1123578 |     200    17000   119000 | 2147483647    77490     58 |  0.003 % |
810.56/811.57	c |   1127566 |     200    17000   119000 | 2147483647    81478     59 |  0.003 % |
814.26/815.22	c |   1131955 |     200    17000   119000 |    83912    73260     59 |  0.003 % |
817.96/818.93	c |   1136778 |     200    17000   119000 |    83912    78083     59 |  0.003 % |
821.86/822.88	c |   1142083 |     200    17000   119000 |    81307    71793     59 |  0.003 % |
826.46/827.46	c |   1147918 |     200    17000   119000 |    81307    77628     59 |  0.003 % |
831.46/832.49	c |   1154336 |     200    17000   119000 |    79710    72663     59 |  0.003 % |
836.75/837.77	c |   1161396 |     200    17000   119000 |    78330    69530     59 |  0.003 % |
842.25/843.25	c |   1169162 |     200    17000   119000 |    78330    77296     59 |  0.003 % |
848.75/849.75	c |   1177702 |     200    17000   119000 |    78135    76774     59 |  0.003 % |
855.34/856.34	c |   1187096 |     200    17000   119000 |    69851    68867     59 |  0.003 % |
862.74/863.77	c |   1197429 |     200    17000   119000 | 2147483647    72205     59 |  0.003 % |
862.84/863.85	c |   1197530 |     200    17000   119000 | 2147483647    72306     59 |  0.003 % |
862.94/863.95	c |   1197644 |     200    17000   119000 | 2147483647    72420     59 |  0.003 % |
863.04/864.06	c |   1197765 |     200    17000   119000 | 2147483647    72541     59 |  0.003 % |
863.14/864.18	c |   1197898 |     200    17000   119000 | 2147483647    72674     59 |  0.003 % |
863.34/864.30	c |   1198045 |     200    17000   119000 | 2147483647    72821     59 |  0.003 % |
863.44/864.46	c |   1198205 |     200    17000   119000 | 2147483647    72981     59 |  0.003 % |
863.64/864.61	c |   1198381 |     200    17000   119000 | 2147483647    73157     59 |  0.003 % |
863.74/864.78	c |   1198574 |     200    17000   119000 | 2147483647    73350     59 |  0.003 % |
863.94/864.98	c |   1198786 |     200    17000   119000 | 2147483647    73562     59 |  0.003 % |
864.14/865.18	c |   1199021 |     200    17000   119000 | 2147483647    73797     59 |  0.003 % |
864.44/865.44	c |   1199277 |     200    17000   119000 | 2147483647    74053     59 |  0.003 % |
864.74/865.70	c |   1199558 |     200    17000   119000 | 2147483647    74334     59 |  0.003 % |
865.04/866.02	c |   1199868 |     200    17000   119000 | 2147483647    74644     59 |  0.003 % |
865.44/866.42	c |   1200207 |     200    17000   119000 |    74776    65366     59 |  0.003 % |
865.64/866.68	c |   1200579 |     200    17000   119000 |    74776    65738     59 |  0.003 % |
866.04/867.09	c |   1200990 |     200    17000   119000 |    74776    66149     59 |  0.003 % |
866.44/867.40	c |   1201440 |     200    17000   119000 |    74776    66599     59 |  0.003 % |
866.84/867.82	c |   1201933 |     200    17000   119000 |    74776    67092     59 |  0.003 % |
867.14/868.20	c |   1202477 |     200    17000   119000 |    74776    67636     59 |  0.003 % |
867.64/868.60	c |   1203073 |     200    17000   119000 |    74776    68232     59 |  0.003 % |
868.14/869.13	c |   1203728 |     200    17000   119000 |    74776    68887     59 |  0.003 % |
868.74/869.72	c |   1204449 |     200    17000   119000 |    74776    69608     59 |  0.003 % |
869.33/870.35	c |   1205242 |     200    17000   119000 |    74776    70401     59 |  0.003 % |
870.03/871.00	c |   1206113 |     200    17000   119000 |    74776    71272     59 |  0.003 % |
870.73/871.79	c |   1207072 |     200    17000   119000 |    74776    72231     59 |  0.003 % |
871.73/872.73	c |   1208125 |     200    17000   119000 |    74776    73284     59 |  0.003 % |
872.73/873.70	c |   1209285 |     200    17000   119000 |    74776    74444     59 |  0.003 % |
873.83/874.84	c |   1210558 |     200    17000   119000 |    65314    57367     59 |  0.003 % |
874.73/875.78	c |   1211958 |     200    17000   119000 |    65314    58767     59 |  0.003 % |
875.74/876.77	c |   1213500 |     200    17000   119000 |    65314    60309     59 |  0.003 % |
876.93/877.95	c |   1215194 |     200    17000   119000 |    65314    62003     59 |  0.003 % |
878.13/879.12	c |   1217058 |     200    17000   119000 |    65314    63867     59 |  0.003 % |
879.53/880.58	c |   1219107 |     200    17000   119000 |    65314    59375     59 |  0.003 % |
880.93/881.99	c |   1221361 |     200    17000   119000 | 2147483647    61629     59 |  0.003 % |
882.53/883.57	c |   1223840 |     200    17000   119000 | 2147483647    64108     59 |  0.003 % |
884.53/885.53	c |   1226565 |     200    17000   119000 | 2147483647    66833     59 |  0.003 % |
886.73/887.76	c |   1229562 |     200    17000   119000 | 2147483647    69830     59 |  0.003 % |
889.33/890.39	c |   1232860 |     200    17000   119000 | 2147483647    73128     59 |  0.003 % |
892.13/893.17	c |   1236485 |     200    17000   119000 | 2147483647    76753     59 |  0.003 % |
895.32/896.33	c |   1240473 |     200    17000   119000 |    80268    71176     59 |  0.003 % |
898.42/899.43	c |   1244860 |     200    17000   119000 |    80268    75563     59 |  0.003 % |
901.92/902.96	c |   1249683 |     200    17000   119000 |    80268    70529     59 |  0.003 % |
905.32/906.34	c |   1254990 |     200    17000   119000 |    70847    67187     59 |  0.003 % |
909.52/910.52	c |   1260825 |     200    17000   119000 | 2147483647    65929     59 |  0.003 % |
914.02/915.05	c |   1267243 |     200    17000   119000 | 2147483647    72347     59 |  0.003 % |
919.12/920.13	c |   1274302 |     200    17000   119000 |    75105    71769     59 |  0.003 % |
924.31/925.38	c |   1282067 |     200    17000   119000 |    69616    64615     59 |  0.003 % |
929.81/930.84	c |   1290608 |     200    17000   119000 | 2147483647    66185     59 |  0.003 % |
936.11/937.18	c |   1300004 |     200    17000   119000 | 2147483647    75581     59 |  0.003 % |
944.29/945.36	c |   1310337 |     200    17000   119000 |    85578    73722     59 |  0.003 % |
952.89/953.96	c |   1321703 |     200    17000   119000 |    83386    73054     59 |  0.003 % |
952.99/954.03	c |   1321806 |     200    17000   119000 |    83386    73157     59 |  0.003 % |
953.09/954.12	c |   1321916 |     200    17000   119000 |    83386    73267     59 |  0.003 % |
953.19/954.23	c |   1322038 |     200    17000   119000 |    83386    73389     59 |  0.003 % |
953.39/954.40	c |   1322172 |     200    17000   119000 |    83386    73523     59 |  0.003 % |
953.49/954.54	c |   1322318 |     200    17000   119000 |    83386    73669     59 |  0.003 % |
953.59/954.69	c |   1322478 |     200    17000   119000 |    83386    73829     59 |  0.003 % |
953.80/954.86	c |   1322654 |     200    17000   119000 |    83386    74005     59 |  0.003 % |
953.99/955.02	c |   1322849 |     200    17000   119000 |    83386    74200     59 |  0.003 % |
954.09/955.19	c |   1323061 |     200    17000   119000 |    83386    74412     59 |  0.003 % |
954.39/955.41	c |   1323294 |     200    17000   119000 |    83386    74645     59 |  0.003 % |
954.59/955.62	c |   1323550 |     200    17000   119000 |    83386    74901     59 |  0.003 % |
954.89/955.93	c |   1323833 |     200    17000   119000 |    83386    75184     59 |  0.003 % |
955.19/956.20	c |   1324142 |     200    17000   119000 |    83386    75493     59 |  0.003 % |
955.39/956.47	c |   1324482 |     200    17000   119000 |    83386    75833     59 |  0.003 % |
955.69/956.77	c |   1324856 |     200    17000   119000 |    83386    76207     59 |  0.003 % |
956.09/957.13	c |   1325269 |     200    17000   119000 |    83386    76620     59 |  0.003 % |
956.39/957.47	c |   1325719 |     200    17000   119000 |    83386    77070     59 |  0.003 % |
956.79/957.83	c |   1326212 |     200    17000   119000 |    83386    77563     59 |  0.003 % |
957.19/958.24	c |   1326754 |     200    17000   119000 |    83386    78105     59 |  0.003 % |
957.69/958.73	c |   1327353 |     200    17000   119000 |    83386    78704     59 |  0.003 % |
958.29/959.30	c |   1328009 |     200    17000   119000 |    83386    79360     59 |  0.003 % |
958.89/959.92	c |   1328729 |     200    17000   119000 |    83386    80080     59 |  0.003 % |
959.49/960.57	c |   1329522 |     200    17000   119000 |    83386    80873     59 |  0.003 % |
960.29/961.36	c |   1330394 |     200    17000   119000 |    81352    69742     59 |  0.003 % |
961.09/962.11	c |   1331352 |     200    17000   119000 |    81352    70700     59 |  0.003 % |
961.89/962.93	c |   1332405 |     200    17000   119000 |    81352    71753     59 |  0.003 % |
962.69/963.76	c |   1333564 |     200    17000   119000 |    81352    72912     59 |  0.003 % |
963.79/964.82	c |   1334839 |     200    17000   119000 |    81352    74187     59 |  0.003 % |
964.99/966.01	c |   1336239 |     200    17000   119000 |    81352    75587     59 |  0.003 % |
966.09/967.17	c |   1337779 |     200    17000   119000 |    81352    77127     59 |  0.003 % |
967.39/968.44	c |   1339473 |     200    17000   119000 |    81352    78821     59 |  0.003 % |
968.79/969.88	c |   1341337 |     200    17000   119000 |    79348    69609     59 |  0.003 % |
970.29/971.38	c |   1343387 |     200    17000   119000 |    79348    71659     59 |  0.003 % |
972.08/973.15	c |   1345640 |     200    17000   119000 |    79348    73912     59 |  0.003 % |
973.88/974.97	c |   1348119 |     200    17000   119000 |    79348    76391     59 |  0.003 % |
975.98/977.01	c |   1350844 |     200    17000   119000 |    78272    69237     59 |  0.003 % |
978.08/979.15	c |   1353842 |     200    17000   119000 |    78272    72235     59 |  0.003 % |
980.38/981.41	c |   1357138 |     200    17000   119000 |    78272    75531     59 |  0.003 % |
982.88/983.96	c |   1360766 |     200    17000   119000 |    69757    62914     59 |  0.003 % |
985.38/986.49	c |   1364753 |     200    17000   119000 |    69757    66901     59 |  0.003 % |
988.27/989.34	c |   1369138 |     200    17000   119000 |    69757    64302     58 |  0.003 % |
991.18/992.26	c |   1373962 |     200    17000   119000 | 2147483647    69126     59 |  0.003 % |
994.87/995.91	c |   1379268 |     200    17000   119000 | 2147483647    74432     59 |  0.003 % |
998.78/999.87	c |   1385104 |     200    17000   119000 | 2147483647    80268     59 |  0.003 % |
1003.47/1004.56	c |   1391522 |     200    17000   119000 |    85164    76538     58 |  0.003 % |
1008.87/1009.94	c |   1398584 |     200    17000   119000 |    85164    83600     59 |  0.003 % |
1014.96/1016.02	c |   1406349 |     200    17000   119000 |    85016    78263     59 |  0.003 % |
1021.76/1022.80	c |   1414889 |     200    17000   119000 |    81914    74975     59 |  0.003 % |
1028.57/1029.61	c |   1424283 |     200    17000   119000 |    80087    74004     59 |  0.003 % |
1036.75/1037.80	c |   1434618 |     200    17000   119000 |    79721    74511     59 |  0.003 % |
1044.95/1046.05	c |   1445985 |     200    17000   119000 |    69760    66936     59 |  0.003 % |
1053.65/1054.80	c |   1458488 |     200    17000   119000 | 2147483647    72454     60 |  0.003 % |
1053.75/1054.89	c |   1458589 |     200    17000   119000 | 2147483647    72555     60 |  0.003 % |
1053.95/1055.00	c |   1458699 |     200    17000   119000 | 2147483647    72665     60 |  0.003 % |
1053.95/1055.09	c |   1458820 |     200    17000   119000 | 2147483647    72786     60 |  0.003 % |
1054.15/1055.20	c |   1458953 |     200    17000   119000 | 2147483647    72919     60 |  0.003 % |
1054.25/1055.33	c |   1459099 |     200    17000   119000 | 2147483647    73065     60 |  0.003 % |
1054.35/1055.47	c |   1459260 |     200    17000   119000 | 2147483647    73226     60 |  0.003 % |
1054.55/1055.63	c |   1459437 |     200    17000   119000 | 2147483647    73403     60 |  0.003 % |
1054.75/1055.81	c |   1459631 |     200    17000   119000 | 2147483647    73597     60 |  0.003 % |
1054.85/1055.96	c |   1459843 |     200    17000   119000 | 2147483647    73809     60 |  0.003 % |
1055.05/1056.18	c |   1460077 |     200    17000   119000 |    73967    74043     60 |  0.003 % |
1055.35/1056.47	c |   1460335 |     200    17000   119000 |    73967    66240     60 |  0.003 % |
1055.55/1056.69	c |   1460616 |     200    17000   119000 |    73967    66521     60 |  0.003 % |
1055.75/1056.89	c |   1460925 |     200    17000   119000 |    73967    66830     59 |  0.003 % |
1056.05/1057.10	c |   1461264 |     200    17000   119000 |    73967    67169     59 |  0.003 % |
1056.24/1057.35	c |   1461636 |     200    17000   119000 |    73967    67541     59 |  0.003 % |
1056.54/1057.60	c |   1462045 |     200    17000   119000 |    73967    67950     59 |  0.003 % |
1056.84/1057.97	c |   1462497 |     200    17000   119000 |    73967    68402     59 |  0.003 % |
1057.24/1058.33	c |   1462990 |     200    17000   119000 |    73967    68895     59 |  0.003 % |
1057.64/1058.76	c |   1463532 |     200    17000   119000 |    73967    69437     59 |  0.003 % |
1058.15/1059.21	c |   1464128 |     200    17000   119000 |    73967    70033     59 |  0.003 % |
1058.64/1059.70	c |   1464783 |     200    17000   119000 |    73967    70688     59 |  0.003 % |
1059.14/1060.27	c |   1465504 |     200    17000   119000 |    73967    71409     59 |  0.003 % |
1059.84/1060.98	c |   1466296 |     200    17000   119000 |    73967    72201     59 |  0.003 % |
1060.54/1061.68	c |   1467167 |     200    17000   119000 |    73967    73072     59 |  0.003 % |
1061.34/1062.41	c |   1468125 |     200    17000   119000 |    73967    74030     59 |  0.003 % |
1062.04/1063.16	c |   1469178 |     200    17000   119000 |    73967    66397     59 |  0.003 % |
1062.94/1064.03	c |   1470336 |     200    17000   119000 |    67219    59821     59 |  0.003 % |
1063.65/1064.73	c |   1471609 |     200    17000   119000 |    67219    61094     59 |  0.003 % |
1064.44/1065.58	c |   1473009 |     200    17000   119000 |    67219    62494     59 |  0.003 % |
1065.44/1066.55	c |   1474552 |     200    17000   119000 |    67219    64037     59 |  0.003 % |
1066.54/1067.61	c |   1476246 |     200    17000   119000 |    67219    65731     59 |  0.003 % |
1068.04/1069.17	c |   1478109 |     200    17000   119000 |    67219    60864     59 |  0.003 % |
1069.34/1070.46	c |   1480158 |     200    17000   119000 | 2147483647    62913     59 |  0.003 % |
1070.84/1071.98	c |   1482411 |     200    17000   119000 | 2147483647    65166     59 |  0.003 % |
1072.44/1073.54	c |   1484889 |     200    17000   119000 | 2147483647    67644     59 |  0.003 % |
1074.13/1075.29	c |   1487614 |     200    17000   119000 | 2147483647    70369     59 |  0.003 % |
1076.33/1077.42	c |   1490611 |     200    17000   119000 | 2147483647    73366     59 |  0.003 % |
1078.83/1079.92	c |   1493910 |     200    17000   119000 | 2147483647    76665     59 |  0.003 % |
1081.43/1082.55	c |   1497535 |     200    17000   119000 | 2147483647    80290     59 |  0.003 % |
1084.93/1086.08	c |   1501522 |     200    17000   119000 |    82755    73442     59 |  0.003 % |
1088.23/1089.38	c |   1505908 |     200    17000   119000 |    82755    77828     59 |  0.003 % |
1091.73/1092.88	c |   1510732 |     200    17000   119000 |    81920    70927     59 |  0.003 % |
1095.63/1096.74	c |   1516037 |     200    17000   119000 |    81920    76232     59 |  0.003 % |
1099.83/1100.99	c |   1521873 |     200    17000   119000 |    80195    71124     59 |  0.003 % |
1104.63/1105.72	c |   1528293 |     200    17000   119000 |    80195    77544     59 |  0.003 % |
1109.93/1111.03	c |   1535352 |     200    17000   119000 |    79252    74297     59 |  0.003 % |
1115.43/1116.55	c |   1543116 |     200    17000   119000 |    78946    72453     59 |  0.003 % |
1121.32/1122.43	c |   1551656 |     200    17000   119000 |    70998    65187     59 |  0.003 % |
1126.92/1128.07	c |   1561050 |     200    17000   119000 | 2147483647    67472     59 |  0.003 % |
1134.31/1135.46	c |   1571383 |     200    17000   119000 |    76426    69075     59 |  0.003 % |
1142.21/1143.31	c |   1582749 |     200    17000   119000 |    68725    63607     59 |  0.003 % |
1150.21/1151.38	c |   1595251 |     200    17000   119000 | 2147483647    69227     59 |  0.003 % |
1161.70/1162.80	c |   1609003 |     200    17000   119000 | 2147483647    82979     59 |  0.003 % |
1161.80/1162.92	c |   1609103 |     200    17000   119000 | 2147483647    83079     59 |  0.003 % |
1161.90/1163.03	c |   1609213 |     200    17000   119000 | 2147483647    83189     59 |  0.003 % |
1162.00/1163.13	c |   1609334 |     200    17000   119000 | 2147483647    83310     59 |  0.003 % |
1162.10/1163.25	c |   1609467 |     200    17000   119000 | 2147483647    83443     59 |  0.003 % |
1162.30/1163.40	c |   1609614 |     200    17000   119000 | 2147483647    83590     59 |  0.003 % |
1162.40/1163.55	c |   1609774 |     200    17000   119000 | 2147483647    83750     59 |  0.003 % |
1162.50/1163.70	c |   1609951 |     200    17000   119000 | 2147483647    83927     59 |  0.003 % |
1162.80/1163.99	c |   1610144 |     200    17000   119000 |    83979    71274     59 |  0.003 % |
1163.00/1164.17	c |   1610356 |     200    17000   119000 |    83979    71486     59 |  0.003 % |
1163.20/1164.36	c |   1610591 |     200    17000   119000 |    83979    71721     59 |  0.003 % |
1163.50/1164.61	c |   1610849 |     200    17000   119000 |    83979    71979     59 |  0.003 % |
1163.70/1164.85	c |   1611130 |     200    17000   119000 |    83979    72260     59 |  0.003 % |
1164.00/1165.11	c |   1611440 |     200    17000   119000 |    83979    72570     59 |  0.003 % |
1164.20/1165.39	c |   1611779 |     200    17000   119000 |    83979    72909     59 |  0.003 % |
1164.50/1165.68	c |   1612151 |     200    17000   119000 |    83979    73281     59 |  0.003 % |
1164.80/1165.99	c |   1612560 |     200    17000   119000 |    83979    73690     59 |  0.003 % |
1165.29/1166.44	c |   1613009 |     200    17000   119000 |    83979    74139     59 |  0.003 % |
1165.69/1166.89	c |   1613502 |     200    17000   119000 |    83979    74632     59 |  0.003 % |
1166.19/1167.34	c |   1614044 |     200    17000   119000 |    83979    75174     59 |  0.003 % |
1166.69/1167.88	c |   1614642 |     200    17000   119000 |    83979    75772     59 |  0.003 % |
1167.19/1168.35	c |   1615299 |     200    17000   119000 |    83979    76429     59 |  0.003 % |
1167.69/1168.89	c |   1616019 |     200    17000   119000 |    83979    77149     59 |  0.003 % |
1168.39/1169.58	c |   1616811 |     200    17000   119000 |    83979    77941     59 |  0.003 % |
1169.09/1170.24	c |   1617682 |     200    17000   119000 |    83979    78812     59 |  0.003 % |
1169.79/1170.96	c |   1618640 |     200    17000   119000 |    83979    79770     59 |  0.003 % |
1170.69/1171.85	c |   1619694 |     200    17000   119000 |    83979    80824     59 |  0.003 % |
1171.59/1172.74	c |   1620853 |     200    17000   119000 |    81130    70098     59 |  0.003 % |
1172.39/1173.59	c |   1622126 |     200    17000   119000 |    81130    71371     59 |  0.003 % |
1173.39/1174.56	c |   1623527 |     200    17000   119000 |    81130    72772     59 |  0.003 % |
1174.69/1175.89	c |   1625069 |     200    17000   119000 |    81130    74314     59 |  0.003 % |
1176.29/1177.46	c |   1626763 |     200    17000   119000 |    81130    76008     59 |  0.003 % |
1177.78/1178.93	c |   1628626 |     200    17000   119000 |    81130    77871     59 |  0.003 % |
1179.48/1180.67	c |   1630675 |     200    17000   119000 |    79245    68400     59 |  0.003 % |
1181.29/1182.43	c |   1632928 |     200    17000   119000 |    79245    70653     59 |  0.003 % |
1183.19/1184.35	c |   1635408 |     200    17000   119000 |    79245    73133     59 |  0.003 % |
1185.38/1186.56	c |   1638134 |     200    17000   119000 |    79245    75859     59 |  0.003 % |
1187.78/1188.92	c |   1641131 |     200    17000   119000 |    77725    68286     59 |  0.003 % |
1190.18/1191.36	c |   1644428 |     200    17000   119000 |    77725    71583     59 |  0.003 % |
1192.88/1194.05	c |   1648055 |     200    17000   119000 |    77725    75210     59 |  0.003 % |
1195.98/1197.19	c |   1652042 |     200    17000   119000 |    77157    69937     59 |  0.003 % |
1199.38/1200.58	c |   1656427 |     200    17000   119000 |    77157    74322     59 |  0.003 % |
1200.08/1201.21	HOME/SatELiteGTI: line 36:  7268 Terminated              $MS $TMP.cnf $TMP.result

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-1832573-1242784737/watcher-1832573-1242784737 -o /tmp/evaluation-result-1832573-1242784737/solver-1832573-1242784737 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832573-1242784737.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.91 3/64 7262
/proc/meminfo: memFree=1839944/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306501707 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269930430546 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/7262/statm: 1339 235 195 169 0 50 0
[pid=7263] ppid=7262 vsize=5356 CPUtime=0
/proc/7263/stat : 7263 (SatELiteGTI) S 7262 7262 7125 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306501707 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/7263/statm: 1339 238 198 169 0 50 0
[pid=7265] ppid=7263 vsize=5356 CPUtime=0
/proc/7265/stat : 7265 (SatELiteGTI) R 7263 7262 7125 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930261799 0 0 4096 0 0 0 0 17 1 0 0
/proc/7265/statm: 1339 239 199 169 0 50 0

[startup+0.0265511 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 7262
/proc/meminfo: memFree=1839944/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306501707 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7262/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101561 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 7262
/proc/meminfo: memFree=1839944/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301584 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 7262
/proc/meminfo: memFree=1839944/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701634 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 7262
/proc/meminfo: memFree=1839944/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/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.91 2/66 7268
/proc/meminfo: memFree=1835960/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=5064 CPUtime=1.41
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 1046 0 0 0 141 0 0 0 25 0 1 0 306501713 5185536 1032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 1266 1032 76 171 0 1093 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10420

[startup+3.10291 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 7268
/proc/meminfo: memFree=1834232/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=7456 CPUtime=3.01
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 1643 0 0 0 300 1 0 0 25 0 1 0 306501713 7634944 1629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 1864 1629 76 171 0 1691 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12812

[startup+6.30129 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 7268
/proc/meminfo: memFree=1830456/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=10576 CPUtime=6.2
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 2386 0 0 0 619 1 0 0 25 0 1 0 306501713 10829824 2372 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 2644 2372 76 171 0 2471 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 15932

[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 7268
/proc/meminfo: memFree=1825976/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=14764 CPUtime=12.61
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 3425 0 0 0 1258 3 0 0 25 0 1 0 306501713 15118336 3411 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 3691 3411 76 171 0 3518 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20120

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 7268
/proc/meminfo: memFree=1820216/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=20172 CPUtime=25.4
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 4788 0 0 0 2535 5 0 0 25 0 1 0 306501713 20656128 4774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 5043 4774 76 171 0 4870 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 25528

[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 7268
/proc/meminfo: memFree=1816824/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=23364 CPUtime=50.97
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 5588 0 0 0 5092 5 0 0 25 0 1 0 306501713 23924736 5574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 5841 5574 76 171 0 5668 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 28720

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 7268
/proc/meminfo: memFree=1815224/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=24684 CPUtime=102.16
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 5932 0 0 0 10210 6 0 0 25 0 1 0 306501713 25276416 5918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6171 5918 76 171 0 5998 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 30040

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 7274
/proc/meminfo: memFree=1814264/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=25476 CPUtime=162.11
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6130 0 0 0 16205 6 0 0 25 0 1 0 306501713 26087424 6116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528748 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6369 6116 76 171 0 6196 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 30832

[startup+222.302 s]
/proc/loadavg: 1.49 1.10 0.95 2/66 9342
/proc/meminfo: memFree=1622200/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=26144 CPUtime=221.64
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6302 0 0 0 22148 16 0 0 25 0 1 0 306501713 26771456 6288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6536 6288 76 171 0 6363 0
Current children cumulated CPU time (s) 221.69
Current children cumulated vsize (KiB) 31500

[startup+282.302 s]
/proc/loadavg: 1.18 1.08 0.95 2/66 9342
/proc/meminfo: memFree=1621816/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=26936 CPUtime=281.61
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6488 0 0 0 28144 17 0 0 25 0 1 0 306501713 27582464 6474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6734 6474 76 171 0 6561 0
Current children cumulated CPU time (s) 281.66
Current children cumulated vsize (KiB) 32292

[startup+342.302 s]
/proc/loadavg: 1.06 1.06 0.95 2/66 9342
/proc/meminfo: memFree=1621752/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=26936 CPUtime=341.58
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6488 0 0 0 34140 18 0 0 25 0 1 0 306501713 27582464 6474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6734 6474 76 171 0 6561 0
Current children cumulated CPU time (s) 341.63
Current children cumulated vsize (KiB) 32292

[startup+402.302 s]
/proc/loadavg: 1.02 1.05 0.95 2/66 9342
/proc/meminfo: memFree=1621368/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=27224 CPUtime=401.54

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

[pid=7268] ppid=7262 vsize=27224 CPUtime=461.51
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6562 0 0 0 46133 18 0 0 25 0 1 0 306501713 27877376 6548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6806 6548 76 171 0 6633 0
Current children cumulated CPU time (s) 461.56
Current children cumulated vsize (KiB) 32580

[startup+522.301 s]
/proc/loadavg: 1.00 1.03 0.95 2/66 9342
/proc/meminfo: memFree=1621304/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=27224 CPUtime=521.48
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6562 0 0 0 52130 18 0 0 25 0 1 0 306501713 27877376 6548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6806 6548 76 171 0 6633 0
Current children cumulated CPU time (s) 521.53
Current children cumulated vsize (KiB) 32580

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 9342
/proc/meminfo: memFree=1620728/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=27756 CPUtime=581.44
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6679 0 0 0 58126 18 0 0 25 0 1 0 306501713 28422144 6665 1992294400 134512640 135215339 4294956240 18446744073709551615 134539443 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6939 6665 76 171 0 6766 0
Current children cumulated CPU time (s) 581.49
Current children cumulated vsize (KiB) 33112

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 9342
/proc/meminfo: memFree=1620536/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=27756 CPUtime=641.42
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6694 0 0 0 64123 19 0 0 25 0 1 0 306501713 28422144 6680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6939 6680 76 171 0 6766 0
Current children cumulated CPU time (s) 641.47
Current children cumulated vsize (KiB) 33112

[startup+702.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 9342
/proc/meminfo: memFree=1620344/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=27756 CPUtime=701.38
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6694 0 0 0 70119 19 0 0 25 0 1 0 306501713 28422144 6680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6939 6680 76 171 0 6766 0
Current children cumulated CPU time (s) 701.43
Current children cumulated vsize (KiB) 33112

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 9342
/proc/meminfo: memFree=1620216/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=27756 CPUtime=761.34
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6694 0 0 0 76115 19 0 0 25 0 1 0 306501713 28422144 6680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 6939 6680 76 171 0 6766 0
Current children cumulated CPU time (s) 761.39
Current children cumulated vsize (KiB) 33112

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 9342
/proc/meminfo: memFree=1619896/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=28020 CPUtime=821.31
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6773 0 0 0 82112 19 0 0 25 0 1 0 306501713 28692480 6759 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 7005 6759 76 171 0 6832 0
Current children cumulated CPU time (s) 821.36
Current children cumulated vsize (KiB) 33376

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 9342
/proc/meminfo: memFree=1619704/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=28292 CPUtime=881.28
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6812 0 0 0 88109 19 0 0 25 0 1 0 306501713 28971008 6798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 7073 6798 76 171 0 6900 0
Current children cumulated CPU time (s) 881.33
Current children cumulated vsize (KiB) 33648

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 9342
/proc/meminfo: memFree=1619576/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=28292 CPUtime=941.25
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6812 0 0 0 94106 19 0 0 25 0 1 0 306501713 28971008 6798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7268/statm: 7073 6798 76 171 0 6900 0
Current children cumulated CPU time (s) 941.3
Current children cumulated vsize (KiB) 33648

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 9342
/proc/meminfo: memFree=1618808/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=28952 CPUtime=1001.22
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6982 0 0 0 100102 20 0 0 25 0 1 0 306501713 29646848 6968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 7238 6968 76 171 0 7065 0
Current children cumulated CPU time (s) 1001.27
Current children cumulated vsize (KiB) 34308

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 9342
/proc/meminfo: memFree=1618744/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=28952 CPUtime=1061.19
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6982 0 0 0 106099 20 0 0 25 0 1 0 306501713 29646848 6968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 7238 6968 76 171 0 7065 0
Current children cumulated CPU time (s) 1061.24
Current children cumulated vsize (KiB) 34308

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 9342
/proc/meminfo: memFree=1618616/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=28952 CPUtime=1121.17
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 6982 0 0 0 112097 20 0 0 25 0 1 0 306501713 29646848 6968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 7238 6968 76 171 0 7065 0
Current children cumulated CPU time (s) 1121.22
Current children cumulated vsize (KiB) 34308

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 9342
/proc/meminfo: memFree=1618424/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=28952 CPUtime=1181.13
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 7006 0 0 0 118093 20 0 0 25 0 1 0 306501713 29646848 6992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 7238 6992 76 171 0 7065 0
Current children cumulated CPU time (s) 1181.18
Current children cumulated vsize (KiB) 34308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.21 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 9342
/proc/meminfo: memFree=1618360/2055920 swapFree=4179532/4192956
[pid=7262] ppid=7260 vsize=5356 CPUtime=0.05
/proc/7262/stat : 7262 (SatELiteGTI) S 7260 7262 7125 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306501707 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7262/statm: 1339 239 197 169 0 50 0
[pid=7268] ppid=7262 vsize=28952 CPUtime=1200.03
/proc/7268/stat : 7268 (minisat_static) R 7262 7262 7125 0 -1 4194304 7006 0 0 0 119983 20 0 0 25 0 1 0 306501713 29646848 6992 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/7268/statm: 7238 6992 76 171 0 7065 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 34308

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)
Real time (s): 1201.22
CPU time (s): 1200.11
CPU user time (s): 1199.89
CPU system time (s): 0.214967
CPU usage (%): 99.9076
Max. virtual memory (cumulated for all children) (KiB): 34308

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

runsolver used 1.44178 second user time and 3.02454 second system time

The end

Launcher Data

Begin job on node53 at 2009-05-20 03:58:57
IDJOB=1832573
IDBENCH=70250
IDSOLVER=671
FILE ID=node53/1832573-1242784737
PBS_JOBID= 9322320
Free space on /tmp= 66052 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S452919966-071.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832573-1242784737/watcher-1832573-1242784737 -o /tmp/evaluation-result-1832573-1242784737/solver-1832573-1242784737 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832573-1242784737.cnf

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

MD5SUM BENCH= 5584bb498091ab0373fd0be3ad8dc940
RANDOM SEED=213901247

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1840488 kB
Buffers:         25204 kB
Cached:         153348 kB
SwapCached:       7564 kB
Active:          29720 kB
Inactive:       158444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840488 kB
SwapTotal:     4192956 kB
SwapFree:      4179532 kB
Dirty:            2072 kB
Writeback:           0 kB
Mapped:          13460 kB
Slab:            13384 kB
Committed_AS:   918892 kB
PageTables:       1380 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= 66052 MiB
End job on node53 at 2009-05-20 04:19:00