Trace number 1832579

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
MD5SUMb6119f642cd28b8170b8f409c6616618
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.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   17000   119000 |    5099       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 200   #clauses: 17000   #literals: 119000
0.00/0.02	c CPU time:   0.018997 s
0.00/0.02	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.05/0.06	c |  Number of variables:  200                                                  |
0.05/0.06	c |  Number of clauses:    17000                                                |
0.05/0.08	c |  Parsing time:         0.01         s                                       |
0.05/0.08	c ============================[ Search Statistics ]==============================
0.05/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.05/0.08	c ===============================================================================
0.05/0.08	c |         0 |     200    17000   119000 |     5666        0    nan |  0.000 % |
0.05/0.09	c |       101 |     200    17000   119000 |     5666      101     56 |  0.003 % |
0.05/0.10	c |       201 |     200    17000   119000 |     5666      201     56 |  0.003 % |
0.05/0.11	c |       301 |     200    17000   119000 |     5666      301     57 |  0.003 % |
0.05/0.12	c |       411 |     200    17000   119000 |     5666      411     56 |  0.003 % |
0.05/0.13	c |       512 |     200    17000   119000 |     5666      512     56 |  0.003 % |
0.05/0.14	c |       622 |     200    17000   119000 |     5666      622     57 |  0.003 % |
0.05/0.15	c |       744 |     200    17000   119000 |     5666      744     57 |  0.003 % |
0.05/0.16	c |       845 |     200    17000   119000 |     5666      845     57 |  0.003 % |
0.05/0.17	c |       955 |     200    17000   119000 |     5666      955     57 |  0.003 % |
0.05/0.18	c |      1076 |     200    17000   119000 |     5666     1076     57 |  0.003 % |
0.05/0.20	c |      1211 |     200    17000   119000 |     5666     1211     57 |  0.003 % |
0.05/0.21	c |      1314 |     200    17000   119000 |     5666     1314     57 |  0.003 % |
0.05/0.22	c |      1424 |     200    17000   119000 |     5666     1424     56 |  0.003 % |
0.05/0.23	c |      1545 |     200    17000   119000 |     5666     1545     57 |  0.003 % |
0.05/0.24	c |      1680 |     200    17000   119000 |     5666     1680     56 |  0.003 % |
0.05/0.25	c |      1826 |     200    17000   119000 |     5666     1826     57 |  0.003 % |
0.05/0.26	c |      1926 |     200    17000   119000 |     5666     1926     57 |  0.003 % |
0.05/0.27	c |      2036 |     200    17000   119000 |     5666     2036     57 |  0.003 % |
0.05/0.28	c |      2157 |     200    17000   119000 |     5666     2157     56 |  0.003 % |
0.05/0.30	c |      2290 |     200    17000   119000 |     5666     2290     57 |  0.003 % |
0.05/0.31	c |      2436 |     200    17000   119000 |     5666     2436     57 |  0.003 % |
0.05/0.33	c |      2596 |     200    17000   119000 |     5666     2596     57 |  0.003 % |
0.05/0.34	c |      2696 |     200    17000   119000 |     5666     2696     57 |  0.003 % |
0.05/0.35	c |      2807 |     200    17000   119000 |     5666     2807     57 |  0.003 % |
0.05/0.36	c |      2928 |     200    17000   119000 |     5666     2928     57 |  0.003 % |
0.05/0.37	c |      3062 |     200    17000   119000 |     5666     3062     57 |  0.003 % |
0.05/0.39	c |      3208 |     200    17000   119000 |     5666     3208     57 |  0.003 % |
0.05/0.40	c |      3368 |     200    17000   119000 |     5666     3368     57 |  0.003 % |
0.05/0.42	c |      3544 |     200    17000   119000 |     5666     3544     57 |  0.003 % |
0.05/0.43	c |      3644 |     200    17000   119000 |     5666     3644     57 |  0.003 % |
0.05/0.44	c |      3754 |     200    17000   119000 |     5666     3754     57 |  0.003 % |
0.05/0.45	c |      3876 |     200    17000   119000 |     5666     3876     57 |  0.003 % |
0.05/0.47	c |      4010 |     200    17000   119000 |     5666     4010     57 |  0.003 % |
0.05/0.48	c |      4157 |     200    17000   119000 |     5666     4157     57 |  0.003 % |
0.05/0.50	c |      4317 |     200    17000   119000 |     5666     4317     57 |  0.003 % |
0.05/0.52	c |      4495 |     200    17000   119000 |     5666     4495     57 |  0.003 % |
0.05/0.54	c |      4688 |     200    17000   119000 |     5666     4688     57 |  0.003 % |
0.05/0.55	c |      4791 |     200    17000   119000 |     5666     4791     57 |  0.003 % |
0.05/0.56	c |      4902 |     200    17000   119000 |     5666     4902     57 |  0.003 % |
0.05/0.58	c |      5024 |     200    17000   119000 |     5666     5024     57 |  0.003 % |
0.05/0.59	c |      5157 |     200    17000   119000 |     5666     5157     57 |  0.003 % |
0.05/0.61	c |      5304 |     200    17000   119000 |     5666     5304     57 |  0.003 % |
0.05/0.63	c |      5464 |     200    17000   119000 |     5666     5464     57 |  0.003 % |
0.05/0.65	c |      5641 |     200    17000   119000 |     5666     5641     57 |  0.003 % |
0.05/0.68	c |      5834 |     200    17000   119000 |     5666     5260     56 |  0.003 % |
0.05/0.70	c |      6048 |     200    17000   119000 |     5666     5474     56 |  0.003 % |
0.05/0.71	c |      6149 |     200    17000   119000 |     5666     5575     56 |  0.003 % |
0.05/0.73	c |      6262 |     200    17000   119000 |     5666     5688     56 |  0.003 % |
0.05/0.74	c |      6384 |     200    17000   119000 |     5666     5242     56 |  0.003 % |
0.05/0.76	c |      6518 |     200    17000   119000 |     5666     5376     56 |  0.003 % |
0.05/0.78	c |      6665 |     200    17000   119000 |     5666     5523     56 |  0.003 % |
0.05/0.79	c |      6826 |     200    17000   119000 |     5666     5684     56 |  0.003 % |
0.05/0.82	c |      7002 |     200    17000   119000 |     5666     5292     56 |  0.003 % |
0.05/0.84	c |      7195 |     200    17000   119000 |     5666     5485     56 |  0.003 % |
0.05/0.86	c |      7407 |     200    17000   119000 |     5666     5697     56 |  0.003 % |
0.05/0.89	c |      7640 |     200    17000   119000 |     5666     5361     56 |  0.003 % |
0.05/0.90	c |      7740 |     200    17000   119000 |     5666     5461     56 |  0.003 % |
0.05/0.91	c |      7851 |     200    17000   119000 |     5666     5572     56 |  0.003 % |
0.05/0.93	c |      7974 |     200    17000   119000 |     5666     5695     56 |  0.003 % |
0.05/0.95	c |      8107 |     200    17000   119000 |     5666     5259     56 |  0.003 % |
0.05/0.97	c |      8254 |     200    17000   119000 |     5666     5406     56 |  0.003 % |
0.05/0.98	c |      8414 |     200    17000   119000 |     5666     5566     56 |  0.003 % |
0.97/1.01	c |      8591 |     200    17000   119000 |     5666     5743     56 |  0.003 % |
0.97/1.04	c |      8785 |     200    17000   119000 |     5666     5363     56 |  0.003 % |
0.97/1.06	c |      8997 |     200    17000   119000 |     5666     5575     56 |  0.003 % |
0.97/1.09	c |      9232 |     200    17000   119000 |     5666     5234     56 |  0.003 % |
1.07/1.12	c |      9488 |     200    17000   119000 |     5666     5490     56 |  0.003 % |
1.07/1.14	c |      9588 |     200    17000   119000 |     5666     5590     56 |  0.003 % |
1.07/1.15	c |      9701 |     200    17000   119000 |     5666     5703     56 |  0.003 % |
1.07/1.16	c |      9822 |     200    17000   119000 |     5666     5254     56 |  0.003 % |
1.07/1.18	c |      9955 |     200    17000   119000 |     5666     5387     56 |  0.003 % |
1.16/1.20	c |     10102 |     200    17000   119000 | 2147483647     5534     56 |  0.003 % |
1.16/1.22	c |     10262 |     200    17000   119000 | 2147483647     5694     56 |  0.003 % |
1.16/1.24	c |     10438 |     200    17000   119000 | 2147483647     5870     56 |  0.003 % |
1.16/1.27	c |     10632 |     200    17000   119000 | 2147483647     6064     56 |  0.003 % |
1.26/1.30	c |     10844 |     200    17000   119000 | 2147483647     6276     56 |  0.003 % |
1.26/1.33	c |     11081 |     200    17000   119000 | 2147483647     6513     56 |  0.003 % |
1.26/1.36	c |     11339 |     200    17000   119000 | 2147483647     6771     56 |  0.003 % |
1.37/1.40	c |     11622 |     200    17000   119000 | 2147483647     7054     56 |  0.003 % |
1.37/1.41	c |     11722 |     200    17000   119000 | 2147483647     7154     56 |  0.003 % |
1.37/1.43	c |     11834 |     200    17000   119000 | 2147483647     7266     56 |  0.003 % |
1.37/1.44	c |     11955 |     200    17000   119000 | 2147483647     7387     56 |  0.003 % |
1.37/1.46	c |     12088 |     200    17000   119000 | 2147483647     7520     56 |  0.003 % |
1.37/1.49	c |     12235 |     200    17000   119000 | 2147483647     7667     56 |  0.003 % |
1.47/1.51	c |     12398 |     200    17000   119000 | 2147483647     7830     56 |  0.003 % |
1.47/1.54	c |     12576 |     200    17000   119000 | 2147483647     8008     56 |  0.003 % |
1.47/1.57	c |     12769 |     200    17000   119000 | 2147483647     8201     56 |  0.003 % |
1.57/1.60	c |     12982 |     200    17000   119000 | 2147483647     8414     56 |  0.003 % |
1.57/1.63	c |     13215 |     200    17000   119000 | 2147483647     8647     56 |  0.003 % |
1.57/1.67	c |     13472 |     200    17000   119000 | 2147483647     8904     56 |  0.003 % |
1.67/1.71	c |     13753 |     200    17000   119000 | 2147483647     9185     56 |  0.003 % |
1.67/1.76	c |     14063 |     200    17000   119000 | 2147483647     9495     56 |  0.003 % |
1.67/1.77	c |     14163 |     200    17000   119000 | 2147483647     9595     56 |  0.003 % |
1.67/1.79	c |     14273 |     200    17000   119000 | 2147483647     9705     56 |  0.003 % |
1.77/1.81	c |     14394 |     200    17000   119000 | 2147483647     9826     56 |  0.003 % |
1.77/1.84	c |     14527 |     200    17000   119000 | 2147483647     9959     56 |  0.003 % |
1.77/1.86	c |     14674 |     200    17000   119000 | 2147483647    10106     56 |  0.003 % |
1.77/1.89	c |     14836 |     200    17000   119000 | 2147483647    10268     56 |  0.003 % |
1.87/1.92	c |     15012 |     200    17000   119000 | 2147483647    10444     56 |  0.003 % |
1.87/1.95	c |     15205 |     200    17000   119000 | 2147483647    10637     57 |  0.003 % |
1.87/1.99	c |     15417 |     200    17000   119000 | 2147483647    10849     57 |  0.003 % |
1.97/2.03	c |     15652 |     200    17000   119000 | 2147483647    11084     57 |  0.003 % |
1.97/2.06	c |     15909 |     200    17000   119000 | 2147483647    11341     57 |  0.003 % |
2.07/2.11	c |     16191 |     200    17000   119000 | 2147483647    11623     57 |  0.003 % |
2.07/2.16	c |     16500 |     200    17000   119000 | 2147483647    11932     57 |  0.003 % |
2.17/2.23	c |     16840 |     200    17000   119000 | 2147483647    12272     57 |  0.003 % |
2.17/2.25	c |     16941 |     200    17000   119000 | 2147483647    12373     57 |  0.003 % |
2.17/2.27	c |     17052 |     200    17000   119000 | 2147483647    12484     57 |  0.003 % |
2.17/2.29	c |     17173 |     200    17000   119000 | 2147483647    12605     56 |  0.003 % |
2.27/2.32	c |     17307 |     200    17000   119000 | 2147483647    12739     56 |  0.003 % |
2.27/2.35	c |     17455 |     200    17000   119000 | 2147483647    12887     56 |  0.003 % |
2.27/2.38	c |     17615 |     200    17000   119000 | 2147483647    13047     56 |  0.003 % |
2.37/2.41	c |     17791 |     200    17000   119000 | 2147483647    13223     56 |  0.003 % |
2.37/2.45	c |     17985 |     200    17000   119000 | 2147483647    13417     56 |  0.003 % |
2.37/2.49	c |     18198 |     200    17000   119000 | 2147483647    13630     56 |  0.003 % |
2.47/2.54	c |     18432 |     200    17000   119000 | 2147483647    13864     56 |  0.003 % |
2.57/2.60	c |     18688 |     200    17000   119000 | 2147483647    14120     56 |  0.003 % |
2.57/2.66	c |     18970 |     200    17000   119000 | 2147483647    14402     56 |  0.003 % |
2.67/2.72	c |     19281 |     200    17000   119000 | 2147483647    14713     56 |  0.003 % |
2.67/2.79	c |     19620 |     200    17000   119000 | 2147483647    15052     56 |  0.003 % |
2.77/2.87	c |     19994 |     200    17000   119000 | 2147483647    15426     56 |  0.003 % |
2.77/2.90	c |     20095 |     200    17000   119000 | 2147483647    15527     56 |  0.003 % |
2.86/2.92	c |     20206 |     200    17000   119000 | 2147483647    15638     56 |  0.003 % |
2.86/2.95	c |     20331 |     200    17000   119000 | 2147483647    15763     56 |  0.003 % |
2.86/2.99	c |     20465 |     200    17000   119000 | 2147483647    15897     56 |  0.003 % |
2.96/3.02	c |     20612 |     200    17000   119000 | 2147483647    16044     56 |  0.003 % |
2.96/3.06	c |     20772 |     200    17000   119000 | 2147483647    16204     56 |  0.003 % |
3.06/3.10	c |     20948 |     200    17000   119000 | 2147483647    16380     56 |  0.003 % |
3.06/3.14	c |     21143 |     200    17000   119000 | 2147483647    16575     56 |  0.003 % |
3.06/3.19	c |     21355 |     200    17000   119000 | 2147483647    16787     56 |  0.003 % |
3.17/3.24	c |     21589 |     200    17000   119000 | 2147483647    17021     56 |  0.003 % |
3.27/3.30	c |     21846 |     200    17000   119000 | 2147483647    17278     56 |  0.003 % |
3.27/3.37	c |     22127 |     200    17000   119000 | 2147483647    17559     56 |  0.003 % |
3.36/3.44	c |     22436 |     200    17000   119000 | 2147483647    17868     56 |  0.003 % |
3.46/3.52	c |     22775 |     200    17000   119000 | 2147483647    18207     56 |  0.003 % |
3.56/3.61	c |     23149 |     200    17000   119000 | 2147483647    18581     56 |  0.003 % |
3.66/3.71	c |     23558 |     200    17000   119000 | 2147483647    18990     56 |  0.003 % |
3.66/3.74	c |     23659 |     200    17000   119000 | 2147483647    19091     56 |  0.003 % |
3.66/3.78	c |     23769 |     200    17000   119000 | 2147483647    19201     56 |  0.003 % |
3.76/3.81	c |     23891 |     200    17000   119000 | 2147483647    19323     56 |  0.003 % |
3.76/3.84	c |     24024 |     200    17000   119000 | 2147483647    19456     56 |  0.003 % |
3.76/3.88	c |     24170 |     200    17000   119000 | 2147483647    19602     56 |  0.003 % |
3.86/3.93	c |     24330 |     200    17000   119000 | 2147483647    19762     56 |  0.003 % |
3.86/3.98	c |     24506 |     200    17000   119000 | 2147483647    19938     56 |  0.003 % |
3.96/4.04	c |     24699 |     200    17000   119000 | 2147483647    20131     56 |  0.003 % |
4.06/4.10	c |     24911 |     200    17000   119000 | 2147483647    20343     56 |  0.003 % |
4.06/4.16	c |     25145 |     200    17000   119000 | 2147483647    20577     56 |  0.003 % |
4.16/4.23	c |     25402 |     200    17000   119000 | 2147483647    20834     56 |  0.003 % |
4.27/4.31	c |     25685 |     200    17000   119000 | 2147483647    21117     56 |  0.003 % |
4.27/4.39	c |     25994 |     200    17000   119000 | 2147483647    21426     56 |  0.003 % |
4.37/4.47	c |     26333 |     200    17000   119000 | 2147483647    21765     56 |  0.003 % |
4.46/4.57	c |     26705 |     200    17000   119000 | 2147483647    22137     57 |  0.003 % |
4.56/4.68	c |     27114 |     200    17000   119000 | 2147483647    22546     57 |  0.003 % |
4.76/4.81	c |     27563 |     200    17000   119000 | 2147483647    22995     57 |  0.003 % |
4.76/4.85	c |     27665 |     200    17000   119000 | 2147483647    23097     57 |  0.003 % |
4.76/4.88	c |     27775 |     200    17000   119000 | 2147483647    23207     57 |  0.003 % |
4.86/4.92	c |     27897 |     200    17000   119000 | 2147483647    23329     57 |  0.003 % |
4.86/4.95	c |     28031 |     200    17000   119000 | 2147483647    23463     57 |  0.003 % |
4.96/5.00	c |     28177 |     200    17000   119000 | 2147483647    23609     57 |  0.003 % |
4.96/5.06	c |     28337 |     200    17000   119000 | 2147483647    23769     57 |  0.003 % |
5.06/5.11	c |     28514 |     200    17000   119000 | 2147483647    23946     57 |  0.003 % |
5.06/5.18	c |     28709 |     200    17000   119000 | 2147483647    24141     57 |  0.003 % |
5.16/5.25	c |     28922 |     200    17000   119000 | 2147483647    24354     57 |  0.003 % |
5.26/5.32	c |     29156 |     200    17000   119000 | 2147483647    24588     57 |  0.003 % |
5.26/5.40	c |     29413 |     200    17000   119000 | 2147483647    24845     57 |  0.003 % |
5.36/5.48	c |     29696 |     200    17000   119000 | 2147483647    25128     57 |  0.003 % |
5.46/5.58	c |     30005 |     200    17000   119000 | 2147483647    25437     57 |  0.003 % |
5.56/5.70	c |     30344 |     200    17000   119000 | 2147483647    25776     57 |  0.003 % |
5.77/5.82	c |     30716 |     200    17000   119000 | 2147483647    26148     57 |  0.003 % |
5.87/5.96	c |     31125 |     200    17000   119000 | 2147483647    26557     57 |  0.003 % |
6.06/6.12	c |     31574 |     200    17000   119000 | 2147483647    27006     57 |  0.003 % |
6.16/6.27	c |     32067 |     200    17000   119000 | 2147483647    27499     57 |  0.003 % |
6.26/6.32	c |     32167 |     200    17000   119000 | 2147483647    27599     57 |  0.003 % |
6.26/6.35	c |     32277 |     200    17000   119000 | 2147483647    27709     57 |  0.003 % |
6.26/6.40	c |     32400 |     200    17000   119000 | 2147483647    27832     57 |  0.003 % |
6.36/6.44	c |     32534 |     200    17000   119000 | 2147483647    27966     57 |  0.003 % |
6.47/6.51	c |     32681 |     200    17000   119000 | 2147483647    28113     57 |  0.003 % |
6.47/6.57	c |     32843 |     200    17000   119000 | 2147483647    28275     57 |  0.003 % |
6.57/6.64	c |     33019 |     200    17000   119000 | 2147483647    28451     57 |  0.003 % |
6.66/6.71	c |     33212 |     200    17000   119000 | 2147483647    28644     57 |  0.003 % |
6.66/6.79	c |     33424 |     200    17000   119000 | 2147483647    28856     57 |  0.003 % |
6.76/6.88	c |     33658 |     200    17000   119000 | 2147483647    29090     57 |  0.003 % |
6.86/6.98	c |     33914 |     200    17000   119000 | 2147483647    29346     57 |  0.003 % |
6.96/7.10	c |     34195 |     200    17000   119000 | 2147483647    29627     57 |  0.003 % |
7.16/7.21	c |     34507 |     200    17000   119000 | 2147483647    29939     57 |  0.003 % |
7.26/7.36	c |     34848 |     200    17000   119000 | 2147483647    30280     57 |  0.003 % |
7.46/7.51	c |     35220 |     200    17000   119000 | 2147483647    30652     57 |  0.003 % |
7.56/7.67	c |     35630 |     200    17000   119000 | 2147483647    31062     57 |  0.003 % |
7.76/7.84	c |     36080 |     200    17000   119000 | 2147483647    31512     57 |  0.003 % |
7.96/8.04	c |     36573 |     200    17000   119000 | 2147483647    32005     57 |  0.003 % |
8.16/8.27	c |     37116 |     200    17000   119000 | 2147483647    32548     57 |  0.003 % |
8.26/8.33	c |     37216 |     200    17000   119000 | 2147483647    32648     57 |  0.003 % |
8.26/8.37	c |     37326 |     200    17000   119000 | 2147483647    32758     57 |  0.003 % |
8.35/8.42	c |     37447 |     200    17000   119000 | 2147483647    32879     57 |  0.003 % |
8.35/8.49	c |     37582 |     200    17000   119000 | 2147483647    33014     57 |  0.003 % |
8.45/8.56	c |     37729 |     200    17000   119000 | 2147483647    33161     57 |  0.003 % |
8.55/8.64	c |     37892 |     200    17000   119000 | 2147483647    33324     57 |  0.003 % |
8.67/8.71	c |     38069 |     200    17000   119000 | 2147483647    33501     57 |  0.003 % |
8.67/8.80	c |     38262 |     200    17000   119000 | 2147483647    33694     57 |  0.003 % |
8.77/8.89	c |     38474 |     200    17000   119000 | 2147483647    33906     57 |  0.003 % |
8.86/8.98	c |     38707 |     200    17000   119000 | 2147483647    34139     57 |  0.003 % |
8.96/9.08	c |     38963 |     200    17000   119000 | 2147483647    34395     57 |  0.003 % |
9.16/9.21	c |     39244 |     200    17000   119000 | 2147483647    34676     57 |  0.003 % |
9.26/9.34	c |     39553 |     200    17000   119000 | 2147483647    34985     57 |  0.003 % |
9.36/9.50	c |     39895 |     200    17000   119000 | 2147483647    35327     57 |  0.003 % |
9.56/9.66	c |     40267 |     200    17000   119000 | 2147483647    35699     57 |  0.003 % |
9.76/9.84	c |     40678 |     200    17000   119000 | 2147483647    36110     57 |  0.003 % |
9.96/10.03	c |     41130 |     200    17000   119000 | 2147483647    36562     57 |  0.003 % |
10.16/10.23	c |     41623 |     200    17000   119000 | 2147483647    37055     57 |  0.003 % |
10.36/10.45	c |     42166 |     200    17000   119000 | 2147483647    37598     57 |  0.003 % |
10.56/10.70	c |     42763 |     200    17000   119000 | 2147483647    38195     57 |  0.003 % |
10.66/10.75	c |     42863 |     200    17000   119000 | 2147483647    38295     57 |  0.003 % |
10.76/10.80	c |     42973 |     200    17000   119000 | 2147483647    38405     57 |  0.003 % |
10.76/10.86	c |     43094 |     200    17000   119000 | 2147483647    38526     57 |  0.003 % |
10.86/10.94	c |     43228 |     200    17000   119000 | 2147483647    38660     57 |  0.003 % |
10.96/11.03	c |     43378 |     200    17000   119000 | 2147483647    38810     57 |  0.003 % |
11.06/11.12	c |     43538 |     200    17000   119000 | 2147483647    38970     57 |  0.003 % |
11.16/11.21	c |     43714 |     200    17000   119000 | 2147483647    39146     57 |  0.003 % |
11.26/11.31	c |     43908 |     200    17000   119000 | 2147483647    39340     57 |  0.003 % |
11.35/11.41	c |     44122 |     200    17000   119000 | 2147483647    39554     57 |  0.003 % |
11.45/11.52	c |     44356 |     200    17000   119000 | 2147483647    39788     57 |  0.003 % |
11.55/11.64	c |     44612 |     200    17000   119000 | 2147483647    40044     57 |  0.003 % |
11.65/11.76	c |     44896 |     200    17000   119000 | 2147483647    40328     57 |  0.003 % |
11.85/11.91	c |     45205 |     200    17000   119000 | 2147483647    40637     57 |  0.003 % |
11.96/12.06	c |     45546 |     200    17000   119000 | 2147483647    40978     57 |  0.003 % |
12.16/12.28	c |     45918 |     200    17000   119000 | 2147483647    41350     57 |  0.003 % |
12.46/12.51	c |     46330 |     200    17000   119000 | 2147483647    41762     57 |  0.003 % |
12.65/12.73	c |     46779 |     200    17000   119000 | 2147483647    42211     57 |  0.003 % |
12.85/12.96	c |     47274 |     200    17000   119000 | 2147483647    42706     57 |  0.003 % |
13.16/13.24	c |     47816 |     200    17000   119000 | 2147483647    43248     57 |  0.003 % |
13.45/13.50	c |     48412 |     200    17000   119000 | 2147483647    43844     57 |  0.003 % |
13.65/13.79	c |     49068 |     200    17000   119000 | 2147483647    44500     57 |  0.003 % |
13.75/13.87	c |     49169 |     200    17000   119000 | 2147483647    44601     57 |  0.003 % |
13.85/13.94	c |     49279 |     200    17000   119000 | 2147483647    44711     57 |  0.003 % |
13.95/14.01	c |     49401 |     200    17000   119000 | 2147483647    44833     57 |  0.003 % |
13.95/14.09	c |     49534 |     200    17000   119000 | 2147483647    44966     57 |  0.003 % |
14.05/14.19	c |     49680 |     200    17000   119000 | 2147483647    45112     57 |  0.003 % |
14.15/14.28	c |     49842 |     200    17000   119000 | 2147483647    45274     57 |  0.003 % |
14.25/14.38	c |     50018 |     200    17000   119000 | 2147483647    45450     57 |  0.003 % |
14.45/14.52	c |     50211 |     200    17000   119000 | 2147483647    45643     57 |  0.003 % |
14.55/14.64	c |     50426 |     200    17000   119000 | 2147483647    45858     57 |  0.003 % |
14.65/14.76	c |     50660 |     200    17000   119000 | 2147483647    46092     57 |  0.003 % |
14.75/14.89	c |     50916 |     200    17000   119000 | 2147483647    46348     57 |  0.003 % |
14.95/15.04	c |     51198 |     200    17000   119000 | 2147483647    46630     57 |  0.003 % |
15.15/15.22	c |     51507 |     200    17000   119000 | 2147483647    46939     57 |  0.003 % |
15.35/15.46	c |     51849 |     200    17000   119000 | 2147483647    47281     57 |  0.003 % |
15.65/15.72	c |     52222 |     200    17000   119000 | 2147483647    47654     57 |  0.003 % |
15.85/15.95	c |     52632 |     200    17000   119000 | 2147483647    48064     57 |  0.003 % |
16.15/16.20	c |     53082 |     200    17000   119000 | 2147483647    48514     57 |  0.003 % |
16.46/16.54	c |     53576 |     200    17000   119000 | 2147483647    49008     57 |  0.003 % |
16.76/16.86	c |     54119 |     200    17000   119000 | 2147483647    49551     57 |  0.003 % |
17.16/17.25	c |     54715 |     200    17000   119000 | 2147483647    50147     57 |  0.003 % |
17.56/17.62	c |     55370 |     200    17000   119000 | 2147483647    50802     57 |  0.003 % |
17.96/18.05	c |     56090 |     200    17000   119000 | 2147483647    51522     57 |  0.003 % |
18.06/18.13	c |     56192 |     200    17000   119000 | 2147483647    51624     57 |  0.003 % |
18.16/18.21	c |     56303 |     200    17000   119000 | 2147483647    51735     57 |  0.003 % |
18.16/18.29	c |     56429 |     200    17000   119000 | 2147483647    51861     57 |  0.003 % |
18.26/18.38	c |     56563 |     200    17000   119000 | 2147483647    51995     57 |  0.003 % |
18.35/18.50	c |     56710 |     200    17000   119000 | 2147483647    52142     57 |  0.003 % |
18.45/18.59	c |     56870 |     200    17000   119000 | 2147483647    52302     57 |  0.003 % |
18.56/18.70	c |     57046 |     200    17000   119000 | 2147483647    52478     57 |  0.003 % |
18.75/18.82	c |     57240 |     200    17000   119000 | 2147483647    52672     57 |  0.003 % |
18.85/18.96	c |     57453 |     200    17000   119000 | 2147483647    52885     57 |  0.003 % |
19.05/19.10	c |     57688 |     200    17000   119000 | 2147483647    53120     57 |  0.003 % |
19.15/19.24	c |     57944 |     200    17000   119000 | 2147483647    53376     57 |  0.003 % |
19.35/19.40	c |     58225 |     200    17000   119000 | 2147483647    53657     57 |  0.003 % |
19.45/19.56	c |     58535 |     200    17000   119000 | 2147483647    53967     57 |  0.003 % |
19.76/19.83	c |     58876 |     200    17000   119000 | 2147483647    54308     57 |  0.003 % |
19.95/20.09	c |     59250 |     200    17000   119000 | 2147483647    54682     57 |  0.003 % |
20.25/20.35	c |     59659 |     200    17000   119000 | 2147483647    55091     57 |  0.003 % |
20.55/20.64	c |     60109 |     200    17000   119000 | 2147483647    55541     57 |  0.003 % |
20.85/20.97	c |     60602 |     200    17000   119000 | 2147483647    56034     57 |  0.003 % |
21.25/21.33	c |     61144 |     200    17000   119000 | 2147483647    56576     57 |  0.003 % |
21.55/21.67	c |     61742 |     200    17000   119000 | 2147483647    57174     57 |  0.003 % |
21.95/22.08	c |     62398 |     200    17000   119000 | 2147483647    57830     57 |  0.003 % |
22.45/22.53	c |     63121 |     200    17000   119000 | 2147483647    58553     57 |  0.003 % |
22.95/23.05	c |     63915 |     200    17000   119000 | 2147483647    59347     57 |  0.003 % |
23.05/23.12	c |     64015 |     200    17000   119000 | 2147483647    59447     57 |  0.003 % |
23.14/23.23	c |     64125 |     200    17000   119000 | 2147483647    59557     57 |  0.003 % |
23.24/23.34	c |     64246 |     200    17000   119000 | 2147483647    59678     57 |  0.003 % |
23.34/23.45	c |     64380 |     200    17000   119000 | 2147483647    59812     57 |  0.003 % |
23.44/23.56	c |     64526 |     200    17000   119000 | 2147483647    59958     57 |  0.003 % |
23.54/23.69	c |     64687 |     200    17000   119000 | 2147483647    60119     57 |  0.003 % |
23.75/23.83	c |     64864 |     200    17000   119000 | 2147483647    60296     57 |  0.003 % |
23.85/23.98	c |     65058 |     200    17000   119000 | 2147483647    60490     57 |  0.003 % |
24.06/24.15	c |     65271 |     200    17000   119000 | 2147483647    60703     57 |  0.003 % |
24.25/24.32	c |     65504 |     200    17000   119000 | 2147483647    60936     57 |  0.003 % |
24.45/24.53	c |     65762 |     200    17000   119000 | 2147483647    61194     57 |  0.003 % |
24.65/24.74	c |     66046 |     200    17000   119000 | 2147483647    61478     57 |  0.003 % |
24.85/24.97	c |     66355 |     200    17000   119000 | 2147483647    61787     57 |  0.003 % |
25.15/25.22	c |     66694 |     200    17000   119000 | 2147483647    62126     57 |  0.003 % |
25.35/25.48	c |     67067 |     200    17000   119000 | 2147483647    62499     57 |  0.003 % |
25.75/25.83	c |     67477 |     200    17000   119000 | 2147483647    62909     57 |  0.003 % |
26.05/26.16	c |     67926 |     200    17000   119000 | 2147483647    63358     57 |  0.003 % |
26.35/26.47	c |     68419 |     200    17000   119000 | 2147483647    63851     57 |  0.003 % |
26.74/26.84	c |     68961 |     200    17000   119000 | 2147483647    64393     57 |  0.003 % |
27.14/27.27	c |     69557 |     200    17000   119000 | 2147483647    64989     57 |  0.003 % |
27.74/27.82	c |     70212 |     200    17000   119000 | 2147483647    65644     57 |  0.003 % |
28.24/28.37	c |     70932 |     200    17000   119000 | 2147483647    66364     57 |  0.003 % |
28.84/28.95	c |     71724 |     200    17000   119000 | 2147483647    67156     57 |  0.003 % |
29.55/29.62	c |     72597 |     200    17000   119000 | 2147483647    68029     57 |  0.003 % |
29.65/29.72	c |     72699 |     200    17000   119000 | 2147483647    68131     57 |  0.003 % |
29.75/29.81	c |     72809 |     200    17000   119000 | 2147483647    68241     57 |  0.003 % |
29.85/29.91	c |     72930 |     200    17000   119000 | 2147483647    68362     57 |  0.003 % |
29.95/30.02	c |     73065 |     200    17000   119000 | 2147483647    68497     57 |  0.003 % |
30.05/30.16	c |     73214 |     200    17000   119000 | 2147483647    68646     57 |  0.003 % |
30.25/30.30	c |     73375 |     200    17000   119000 | 2147483647    68807     57 |  0.003 % |
30.35/30.47	c |     73551 |     200    17000   119000 | 2147483647    68983     57 |  0.003 % |
30.54/30.65	c |     73745 |     200    17000   119000 | 2147483647    69177     57 |  0.003 % |
30.75/30.84	c |     73957 |     200    17000   119000 | 2147483647    69389     57 |  0.003 % |
30.94/31.06	c |     74192 |     200    17000   119000 | 2147483647    69624     57 |  0.003 % |
31.14/31.25	c |     74448 |     200    17000   119000 | 2147483647    69880     57 |  0.003 % |
31.34/31.47	c |     74731 |     200    17000   119000 | 2147483647    70163     57 |  0.003 % |
31.64/31.71	c |     75041 |     200    17000   119000 | 2147483647    70473     57 |  0.003 % |
31.94/32.05	c |     75380 |     200    17000   119000 | 2147483647    70812     57 |  0.003 % |
32.24/32.38	c |     75752 |     200    17000   119000 | 2147483647    71184     57 |  0.003 % |
32.64/32.71	c |     76163 |     200    17000   119000 | 2147483647    71595     57 |  0.003 % |
32.94/33.09	c |     76613 |     200    17000   119000 | 2147483647    72045     57 |  0.003 % |
33.34/33.48	c |     77109 |     200    17000   119000 | 2147483647    72541     57 |  0.003 % |
33.84/33.91	c |     77652 |     200    17000   119000 | 2147483647    73084     57 |  0.003 % |
34.23/34.37	c |     78249 |     200    17000   119000 | 2147483647    73681     57 |  0.003 % |
34.83/34.91	c |     78906 |     200    17000   119000 | 2147483647    74338     57 |  0.003 % |
35.33/35.45	c |     79628 |     200    17000   119000 | 2147483647    75060     57 |  0.003 % |
35.93/36.06	c |     80420 |     200    17000   119000 |    75432    67687     57 |  0.003 % |
36.53/36.66	c |     81291 |     200    17000   119000 |    75432    68558     57 |  0.003 % |
37.23/37.34	c |     82250 |     200    17000   119000 |    75432    69517     57 |  0.003 % |
37.33/37.41	c |     82352 |     200    17000   119000 |    75432    69619     57 |  0.003 % |
37.33/37.49	c |     82462 |     200    17000   119000 |    75432    69729     57 |  0.003 % |
37.43/37.59	c |     82583 |     200    17000   119000 |    75432    69850     57 |  0.003 % |
37.63/37.73	c |     82716 |     200    17000   119000 |    75432    69983     57 |  0.003 % |
37.73/37.87	c |     82863 |     200    17000   119000 |    75432    70130     57 |  0.003 % |
37.93/38.01	c |     83023 |     200    17000   119000 |    75432    70290     57 |  0.003 % |
38.13/38.21	c |     83201 |     200    17000   119000 |    75432    70468     57 |  0.003 % |
38.23/38.37	c |     83394 |     200    17000   119000 |    75432    70661     57 |  0.003 % |
38.43/38.55	c |     83606 |     200    17000   119000 |    75432    70873     57 |  0.003 % |
38.63/38.73	c |     83841 |     200    17000   119000 |    75432    71108     57 |  0.003 % |
38.83/38.95	c |     84097 |     200    17000   119000 |    75432    71364     57 |  0.003 % |
39.13/39.22	c |     84380 |     200    17000   119000 |    75432    71647     57 |  0.003 % |
39.33/39.50	c |     84689 |     200    17000   119000 |    75432    71956     57 |  0.003 % |
39.62/39.79	c |     85029 |     200    17000   119000 |    75432    72296     57 |  0.003 % |
40.02/40.16	c |     85401 |     200    17000   119000 |    75432    72668     57 |  0.003 % |
40.42/40.54	c |     85810 |     200    17000   119000 |    75432    73077     57 |  0.003 % |
40.82/40.94	c |     86259 |     200    17000   119000 |    75432    73526     57 |  0.003 % |
41.22/41.32	c |     86753 |     200    17000   119000 |    75432    74020     57 |  0.003 % |
41.63/41.75	c |     87296 |     200    17000   119000 |    75432    74563     57 |  0.003 % |
42.02/42.19	c |     87892 |     200    17000   119000 |    75432    75159     57 |  0.003 % |
42.62/42.75	c |     88547 |     200    17000   119000 |    75432    66524     57 |  0.003 % |
43.22/43.36	c |     89268 |     200    17000   119000 |    75432    67245     57 |  0.003 % |
43.83/44.00	c |     90061 |     200    17000   119000 |    67978    68038     58 |  0.003 % |
44.52/44.69	c |     90932 |     200    17000   119000 |    67978    60544     58 |  0.003 % |
45.22/45.36	c |     91890 |     200    17000   119000 |    67978    61502     58 |  0.003 % |
46.03/46.13	c |     92943 |     200    17000   119000 |    67978    62555     58 |  0.003 % |
46.13/46.20	c |     93045 |     200    17000   119000 |    67978    62657     58 |  0.003 % |
46.22/46.33	c |     93157 |     200    17000   119000 |    67978    62769     58 |  0.003 % |
46.32/46.43	c |     93280 |     200    17000   119000 |    67978    62892     58 |  0.003 % |
46.42/46.54	c |     93414 |     200    17000   119000 |    67978    63026     58 |  0.003 % |
46.52/46.67	c |     93560 |     200    17000   119000 |    67978    63172     58 |  0.003 % |
46.72/46.81	c |     93722 |     200    17000   119000 |    67978    63334     58 |  0.003 % |
46.82/46.95	c |     93899 |     200    17000   119000 |    67978    63511     58 |  0.003 % |
46.92/47.10	c |     94093 |     200    17000   119000 |    67978    63705     58 |  0.003 % |
47.12/47.30	c |     94305 |     200    17000   119000 |    67978    63917     58 |  0.003 % |
47.32/47.50	c |     94539 |     200    17000   119000 |    67978    64151     58 |  0.003 % |
47.62/47.72	c |     94795 |     200    17000   119000 |    67978    64407     58 |  0.003 % |
47.82/47.97	c |     95076 |     200    17000   119000 |    67978    64688     58 |  0.003 % |
48.12/48.23	c |     95385 |     200    17000   119000 |    67978    64997     57 |  0.003 % |
48.32/48.48	c |     95726 |     200    17000   119000 |    67978    65338     57 |  0.003 % |
48.62/48.79	c |     96098 |     200    17000   119000 |    67978    65710     57 |  0.003 % |
49.02/49.15	c |     96507 |     200    17000   119000 |    67978    66119     57 |  0.003 % |
49.42/49.55	c |     96956 |     200    17000   119000 |    67978    66568     57 |  0.003 % |
49.82/49.92	c |     97449 |     200    17000   119000 |    67978    67061     57 |  0.003 % |
50.22/50.33	c |     97991 |     200    17000   119000 |    67978    67603     57 |  0.003 % |
50.72/50.81	c |     98587 |     200    17000   119000 |    67978    60964     57 |  0.003 % |
51.21/51.33	c |     99244 |     200    17000   119000 |    67978    61621     58 |  0.003 % |
51.71/51.84	c |     99964 |     200    17000   119000 |    67978    62341     58 |  0.003 % |
52.31/52.42	c |    100757 |     200    17000   119000 |    62377    56640     58 |  0.003 % |
52.81/52.97	c |    101629 |     200    17000   119000 |    62377    57512     58 |  0.003 % |
53.41/53.57	c |    102589 |     200    17000   119000 |    62377    58472     58 |  0.003 % |
54.21/54.31	c |    103642 |     200    17000   119000 |    62377    59525     58 |  0.003 % |
54.92/55.04	c |    104801 |     200    17000   119000 |    62377    60684     58 |  0.003 % |
55.01/55.11	c |    104901 |     200    17000   119000 |    62377    60784     58 |  0.003 % |
55.01/55.19	c |    105011 |     200    17000   119000 |    62377    60894     58 |  0.003 % |
55.21/55.32	c |    105132 |     200    17000   119000 |    62377    61015     58 |  0.003 % |
55.31/55.43	c |    105265 |     200    17000   119000 |    62377    61148     58 |  0.003 % |
55.41/55.54	c |    105412 |     200    17000   119000 |    62377    61295     58 |  0.003 % |
55.51/55.68	c |    105572 |     200    17000   119000 |    62377    61455     58 |  0.003 % |
55.72/55.84	c |    105748 |     200    17000   119000 |    62377    61631     58 |  0.003 % |
55.82/55.99	c |    105942 |     200    17000   119000 |    62377    61825     58 |  0.003 % |
56.02/56.15	c |    106157 |     200    17000   119000 |    62377    62040     58 |  0.003 % |
56.22/56.30	c |    106390 |     200    17000   119000 |    62377    62273     57 |  0.003 % |
56.42/56.53	c |    106646 |     200    17000   119000 |    62377    56282     57 |  0.003 % |
56.62/56.71	c |    106927 |     200    17000   119000 |    62377    56563     57 |  0.003 % |
56.82/56.93	c |    107237 |     200    17000   119000 |    62377    56873     57 |  0.003 % |
57.02/57.14	c |    107576 |     200    17000   119000 |    62377    57212     57 |  0.003 % |
57.32/57.43	c |    107948 |     200    17000   119000 |    62377    57584     57 |  0.003 % |
57.62/57.73	c |    108357 |     200    17000   119000 |    62377    57993     57 |  0.003 % |
57.92/58.08	c |    108806 |     200    17000   119000 |    62377    58442     57 |  0.003 % |
58.22/58.37	c |    109299 |     200    17000   119000 |    62377    58935     57 |  0.003 % |
58.62/58.71	c |    109843 |     200    17000   119000 |    62377    59479     57 |  0.003 % |
58.92/59.09	c |    110440 |     200    17000   119000 | 2147483647    60076     57 |  0.003 % |
59.41/59.51	c |    111095 |     200    17000   119000 | 2147483647    60731     57 |  0.003 % |
60.01/60.10	c |    111815 |     200    17000   119000 | 2147483647    61451     57 |  0.003 % |
60.51/60.65	c |    112611 |     200    17000   119000 | 2147483647    62247     57 |  0.003 % |
61.11/61.26	c |    113484 |     200    17000   119000 | 2147483647    63120     57 |  0.003 % |
61.81/61.98	c |    114442 |     200    17000   119000 | 2147483647    64078     57 |  0.003 % |
62.62/62.73	c |    115496 |     200    17000   119000 | 2147483647    65132     57 |  0.003 % |
63.41/63.59	c |    116655 |     200    17000   119000 | 2147483647    66291     57 |  0.003 % |
64.41/64.53	c |    117931 |     200    17000   119000 | 2147483647    67567     58 |  0.003 % |
64.51/64.61	c |    118032 |     200    17000   119000 | 2147483647    67668     58 |  0.003 % |
64.61/64.73	c |    118143 |     200    17000   119000 | 2147483647    67779     58 |  0.003 % |
64.72/64.84	c |    118265 |     200    17000   119000 | 2147483647    67901     57 |  0.003 % |
64.82/64.96	c |    118400 |     200    17000   119000 | 2147483647    68036     57 |  0.003 % |
64.91/65.08	c |    118546 |     200    17000   119000 | 2147483647    68182     57 |  0.003 % |
65.11/65.25	c |    118707 |     200    17000   119000 | 2147483647    68343     57 |  0.003 % |
65.31/65.40	c |    118883 |     200    17000   119000 | 2147483647    68519     57 |  0.003 % |
65.41/65.56	c |    119077 |     200    17000   119000 | 2147483647    68713     57 |  0.003 % |
65.61/65.77	c |    119289 |     200    17000   119000 | 2147483647    68925     57 |  0.003 % |
65.81/66.00	c |    119522 |     200    17000   119000 | 2147483647    69158     57 |  0.003 % |
66.11/66.25	c |    119780 |     200    17000   119000 | 2147483647    69416     57 |  0.003 % |
66.41/66.52	c |    120061 |     200    17000   119000 | 2147483647    69697     57 |  0.003 % |
66.71/66.80	c |    120370 |     200    17000   119000 | 2147483647    70006     57 |  0.003 % |
67.01/67.10	c |    120709 |     200    17000   119000 | 2147483647    70345     57 |  0.003 % |
67.30/67.40	c |    121081 |     200    17000   119000 | 2147483647    70717     57 |  0.003 % |
67.60/67.80	c |    121492 |     200    17000   119000 | 2147483647    71128     58 |  0.003 % |
68.01/68.16	c |    121942 |     200    17000   119000 | 2147483647    71578     58 |  0.003 % |
68.40/68.56	c |    122437 |     200    17000   119000 | 2147483647    72073     58 |  0.003 % |
68.90/69.01	c |    122980 |     200    17000   119000 | 2147483647    72616     58 |  0.003 % |
69.30/69.50	c |    123576 |     200    17000   119000 | 2147483647    73212     58 |  0.003 % |
70.00/70.13	c |    124232 |     200    17000   119000 | 2147483647    73868     58 |  0.003 % |
70.70/70.84	c |    124953 |     200    17000   119000 | 2147483647    74589     58 |  0.003 % |
71.40/71.54	c |    125747 |     200    17000   119000 | 2147483647    75383     58 |  0.003 % |
72.10/72.27	c |    126618 |     200    17000   119000 | 2147483647    76254     58 |  0.003 % |
72.90/73.02	c |    127576 |     200    17000   119000 | 2147483647    77212     58 |  0.003 % |
73.90/74.05	c |    128630 |     200    17000   119000 | 2147483647    78266     58 |  0.003 % |
74.89/75.05	c |    129789 |     200    17000   119000 | 2147483647    79425     58 |  0.003 % |
75.99/76.10	c |    131062 |     200    17000   119000 |    79636    69465     58 |  0.003 % |
77.19/77.31	c |    132465 |     200    17000   119000 |    79636    70868     58 |  0.003 % |
77.19/77.39	c |    132566 |     200    17000   119000 |    79636    70969     58 |  0.003 % |
77.39/77.50	c |    132676 |     200    17000   119000 |    79636    71079     58 |  0.003 % |
77.49/77.60	c |    132798 |     200    17000   119000 |    79636    71201     58 |  0.003 % |
77.59/77.73	c |    132932 |     200    17000   119000 |    79636    71335     58 |  0.003 % |
77.69/77.86	c |    133079 |     200    17000   119000 |    79636    71482     58 |  0.003 % |
77.90/78.03	c |    133240 |     200    17000   119000 |    79636    71643     58 |  0.003 % |
78.00/78.19	c |    133416 |     200    17000   119000 |    79636    71819     58 |  0.003 % |
78.19/78.35	c |    133609 |     200    17000   119000 |    79636    72012     58 |  0.003 % |
78.39/78.51	c |    133822 |     200    17000   119000 |    79636    72225     58 |  0.003 % |
78.59/78.73	c |    134057 |     200    17000   119000 |    79636    72460     58 |  0.003 % |
78.79/79.00	c |    134313 |     200    17000   119000 |    79636    72716     58 |  0.003 % |
79.10/79.29	c |    134595 |     200    17000   119000 |    79636    72998     58 |  0.003 % |
79.49/79.60	c |    134904 |     200    17000   119000 |    79636    73307     58 |  0.003 % |
79.69/79.90	c |    135243 |     200    17000   119000 |    79636    73646     58 |  0.003 % |
79.99/80.19	c |    135615 |     200    17000   119000 |    79636    74018     58 |  0.003 % |
80.39/80.52	c |    136025 |     200    17000   119000 |    79636    74428     58 |  0.003 % |
80.79/80.98	c |    136474 |     200    17000   119000 |    79636    74877     58 |  0.003 % |
81.30/81.45	c |    136967 |     200    17000   119000 |    79636    75370     58 |  0.003 % |
81.79/81.99	c |    137510 |     200    17000   119000 |    79636    75913     58 |  0.003 % |
82.40/82.59	c |    138107 |     200    17000   119000 |    79636    76510     58 |  0.003 % |
82.99/83.19	c |    138763 |     200    17000   119000 |    79636    77166     58 |  0.003 % |
83.59/83.76	c |    139484 |     200    17000   119000 |    79636    77887     58 |  0.003 % |
84.39/84.50	c |    140277 |     200    17000   119000 |    78403    67123     58 |  0.003 % |
84.99/85.13	c |    141150 |     200    17000   119000 |    78403    67996     58 |  0.003 % |
85.69/85.83	c |    142108 |     200    17000   119000 |    78403    68954     58 |  0.003 % |
86.49/86.61	c |    143161 |     200    17000   119000 |    78403    70007     58 |  0.003 % |
87.29/87.44	c |    144319 |     200    17000   119000 |    78403    71165     58 |  0.003 % |
88.19/88.32	c |    145592 |     200    17000   119000 |    78403    72438     58 |  0.003 % |
89.39/89.55	c |    146992 |     200    17000   119000 |    78403    73838     58 |  0.003 % |
90.69/90.82	c |    148532 |     200    17000   119000 |    78403    75378     58 |  0.003 % |
90.79/90.93	c |    148632 |     200    17000   119000 |    78403    75478     58 |  0.003 % |
90.89/91.05	c |    148742 |     200    17000   119000 |    78403    75588     58 |  0.003 % |
90.99/91.16	c |    148863 |     200    17000   119000 |    78403    75709     58 |  0.003 % |
91.09/91.27	c |    148996 |     200    17000   119000 |    78403    75842     58 |  0.003 % |
91.19/91.40	c |    149144 |     200    17000   119000 |    78403    75990     58 |  0.003 % |
91.39/91.56	c |    149304 |     200    17000   119000 |    78403    76150     58 |  0.003 % |
91.59/91.72	c |    149480 |     200    17000   119000 |    78403    76326     58 |  0.003 % |
91.79/91.90	c |    149673 |     200    17000   119000 |    78403    76519     58 |  0.003 % |
91.99/92.11	c |    149886 |     200    17000   119000 |    78403    76732     58 |  0.003 % |
92.19/92.39	c |    150119 |     200    17000   119000 |    76848    66930     57 |  0.003 % |
92.38/92.59	c |    150377 |     200    17000   119000 |    76848    67188     57 |  0.003 % |
92.68/92.82	c |    150659 |     200    17000   119000 |    76848    67470     57 |  0.003 % |
92.88/93.04	c |    150968 |     200    17000   119000 |    76848    67779     57 |  0.003 % |
93.09/93.26	c |    151307 |     200    17000   119000 |    76848    68118     57 |  0.003 % |
93.39/93.54	c |    151680 |     200    17000   119000 |    76848    68491     57 |  0.003 % |
93.69/93.83	c |    152090 |     200    17000   119000 |    76848    68901     57 |  0.003 % |
94.08/94.27	c |    152539 |     200    17000   119000 |    76848    69350     57 |  0.003 % |
94.58/94.71	c |    153033 |     200    17000   119000 |    76848    69844     57 |  0.003 % |
94.98/95.19	c |    153575 |     200    17000   119000 |    76848    70386     57 |  0.003 % |
95.49/95.70	c |    154171 |     200    17000   119000 |    76848    70982     57 |  0.003 % |
96.08/96.23	c |    154826 |     200    17000   119000 |    76848    71637     57 |  0.003 % |
96.59/96.80	c |    155547 |     200    17000   119000 |    76848    72358     57 |  0.003 % |
97.39/97.50	c |    156339 |     200    17000   119000 |    76848    73150     58 |  0.003 % |
97.99/98.18	c |    157210 |     200    17000   119000 |    76848    74021     57 |  0.003 % |
98.79/98.93	c |    158169 |     200    17000   119000 |    76848    74980     58 |  0.003 % |
99.59/99.73	c |    159222 |     200    17000   119000 |    76848    76033     58 |  0.003 % |
100.49/100.62	c |    160382 |     200    17000   119000 |    76812    66984     58 |  0.003 % |
101.29/101.48	c |    161655 |     200    17000   119000 |    76812    68257     58 |  0.003 % |
102.39/102.52	c |    163055 |     200    17000   119000 |    76812    69657     58 |  0.003 % |
103.69/103.88	c |    164595 |     200    17000   119000 |    76812    71197     58 |  0.003 % |
105.19/105.35	c |    166289 |     200    17000   119000 |    76812    72891     58 |  0.003 % |
105.29/105.45	c |    166390 |     200    17000   119000 |    76812    72992     58 |  0.003 % |
105.39/105.55	c |    166500 |     200    17000   119000 |    76812    73102     58 |  0.003 % |
105.49/105.70	c |    166621 |     200    17000   119000 |    76812    73223     58 |  0.003 % |
105.69/105.83	c |    166754 |     200    17000   119000 |    76812    73356     58 |  0.003 % |
105.79/105.96	c |    166901 |     200    17000   119000 |    76812    73503     58 |  0.003 % |
105.99/106.10	c |    167062 |     200    17000   119000 |    76812    73664     58 |  0.003 % |
106.19/106.30	c |    167238 |     200    17000   119000 |    76812    73840     58 |  0.003 % |
106.29/106.48	c |    167431 |     200    17000   119000 |    76812    74033     58 |  0.003 % |
106.49/106.67	c |    167644 |     200    17000   119000 |    76812    74246     58 |  0.003 % |
106.69/106.86	c |    167877 |     200    17000   119000 |    76812    74479     58 |  0.003 % |
106.89/107.08	c |    168134 |     200    17000   119000 |    76812    74736     58 |  0.003 % |
107.19/107.30	c |    168416 |     200    17000   119000 |    76812    75018     58 |  0.003 % |
107.39/107.56	c |    168726 |     200    17000   119000 |    76812    75328     58 |  0.003 % |
107.69/107.86	c |    169065 |     200    17000   119000 |    76812    75667     58 |  0.003 % |
108.09/108.26	c |    169438 |     200    17000   119000 |    76812    76040     58 |  0.003 % |
108.49/108.67	c |    169848 |     200    17000   119000 |    76812    76450     58 |  0.003 % |
108.98/109.13	c |    170297 |     200    17000   119000 |    76602    66597     58 |  0.003 % |
109.28/109.50	c |    170790 |     200    17000   119000 |    76602    67090     58 |  0.003 % |
109.79/109.92	c |    171335 |     200    17000   119000 |    76602    67635     58 |  0.003 % |
110.18/110.36	c |    171933 |     200    17000   119000 |    76602    68233     58 |  0.003 % |
110.68/110.83	c |    172591 |     200    17000   119000 |    76602    68891     58 |  0.003 % |
111.28/111.42	c |    173311 |     200    17000   119000 |    76602    69611     58 |  0.003 % |
111.88/112.06	c |    174103 |     200    17000   119000 |    76602    70403     58 |  0.003 % |
112.58/112.76	c |    174976 |     200    17000   119000 |    76602    71276     58 |  0.003 % |
113.28/113.46	c |    175936 |     200    17000   119000 |    76602    72236     58 |  0.003 % |
114.08/114.26	c |    176990 |     200    17000   119000 |    76602    73290     58 |  0.003 % |
114.98/115.15	c |    178149 |     200    17000   119000 |    76602    74449     58 |  0.003 % |
116.08/116.25	c |    179424 |     200    17000   119000 |    76602    75724     58 |  0.003 % |
117.18/117.38	c |    180825 |     200    17000   119000 |    76300    67587     58 |  0.003 % |
118.28/118.40	c |    182365 |     200    17000   119000 |    76300    69127     58 |  0.003 % |
119.48/119.61	c |    184059 |     200    17000   119000 |    76300    70821     58 |  0.003 % |
121.07/121.26	c |    185923 |     200    17000   119000 |    76300    72685     58 |  0.003 % |
121.17/121.35	c |    186023 |     200    17000   119000 |    76300    72785     58 |  0.003 % |
121.27/121.47	c |    186134 |     200    17000   119000 |    76300    72896     58 |  0.003 % |
121.47/121.60	c |    186257 |     200    17000   119000 |    76300    73019     58 |  0.003 % |
121.57/121.73	c |    186392 |     200    17000   119000 |    76300    73154     58 |  0.003 % |
121.67/121.85	c |    186539 |     200    17000   119000 |    76300    73301     58 |  0.003 % |
121.88/122.02	c |    186700 |     200    17000   119000 |    76300    73462     58 |  0.003 % |
121.98/122.17	c |    186878 |     200    17000   119000 |    76300    73640     58 |  0.003 % |
122.17/122.35	c |    187071 |     200    17000   119000 |    76300    73833     58 |  0.003 % |
122.37/122.55	c |    187284 |     200    17000   119000 |    76300    74046     58 |  0.003 % |
122.57/122.75	c |    187520 |     200    17000   119000 |    76300    74282     58 |  0.003 % |
122.87/123.00	c |    187777 |     200    17000   119000 |    76300    74539     58 |  0.003 % |
123.08/123.23	c |    188058 |     200    17000   119000 |    76300    74820     58 |  0.003 % |
123.37/123.52	c |    188367 |     200    17000   119000 |    76300    75129     58 |  0.003 % |
123.67/123.82	c |    188707 |     200    17000   119000 |    76300    75469     58 |  0.003 % |
123.97/124.14	c |    189079 |     200    17000   119000 |    76300    75841     58 |  0.003 % |
124.37/124.54	c |    189490 |     200    17000   119000 |    76300    76252     58 |  0.003 % |
124.77/124.97	c |    189940 |     200    17000   119000 |    76300    66533     58 |  0.003 % |
125.17/125.38	c |    190434 |     200    17000   119000 |    66593    58250     58 |  0.003 % |
125.57/125.74	c |    190978 |     200    17000   119000 |    66593    58794     58 |  0.003 % |
125.97/126.13	c |    191574 |     200    17000   119000 |    66593    59390     58 |  0.003 % |
126.37/126.58	c |    192230 |     200    17000   119000 |    66593    60046     58 |  0.003 % |
126.87/127.09	c |    192951 |     200    17000   119000 |    66593    60767     58 |  0.003 % |
127.44/127.63	c |    193743 |     200    17000   119000 |    66593    61559     58 |  0.003 % |
128.01/128.20	c |    194614 |     200    17000   119000 |    66593    62430     58 |  0.003 % |
128.60/128.88	c |    195572 |     200    17000   119000 |    66593    63388     58 |  0.003 % |
129.49/129.71	c |    196625 |     200    17000   119000 |    66593    64441     58 |  0.003 % |
130.29/130.51	c |    197784 |     200    17000   119000 |    66593    65600     58 |  0.003 % |
131.19/131.44	c |    199058 |     200    17000   119000 |    66593    60206     58 |  0.003 % |
132.18/132.47	c |    200458 |     200    17000   119000 | 2147483647    61606     58 |  0.003 % |
133.28/133.57	c |    201998 |     200    17000   119000 | 2147483647    63146     58 |  0.003 % |
134.38/134.67	c |    203692 |     200    17000   119000 | 2147483647    64840     58 |  0.003 % |
135.67/135.93	c |    205557 |     200    17000   119000 | 2147483647    66705     58 |  0.003 % |
137.17/137.48	c |    207606 |     200    17000   119000 | 2147483647    68754     58 |  0.003 % |
137.27/137.58	c |    207707 |     200    17000   119000 | 2147483647    68855     58 |  0.003 % |
137.37/137.68	c |    207817 |     200    17000   119000 | 2147483647    68965     58 |  0.003 % |
137.47/137.77	c |    207939 |     200    17000   119000 | 2147483647    69087     58 |  0.003 % |
137.57/137.88	c |    208073 |     200    17000   119000 | 2147483647    69221     58 |  0.003 % |
137.77/138.05	c |    208221 |     200    17000   119000 | 2147483647    69369     58 |  0.003 % |
137.96/138.21	c |    208381 |     200    17000   119000 | 2147483647    69529     58 |  0.003 % |
138.06/138.37	c |    208558 |     200    17000   119000 | 2147483647    69706     58 |  0.003 % |
138.27/138.54	c |    208751 |     200    17000   119000 | 2147483647    69899     58 |  0.003 % |
138.46/138.74	c |    208963 |     200    17000   119000 | 2147483647    70111     58 |  0.003 % |
138.66/138.93	c |    209196 |     200    17000   119000 | 2147483647    70344     58 |  0.003 % |
138.86/139.16	c |    209452 |     200    17000   119000 | 2147483647    70600     58 |  0.003 % |
139.16/139.41	c |    209733 |     200    17000   119000 | 2147483647    70881     58 |  0.003 % |
139.37/139.69	c |    210043 |     200    17000   119000 | 2147483647    71191     58 |  0.003 % |
139.76/140.01	c |    210384 |     200    17000   119000 | 2147483647    71532     58 |  0.003 % |
140.06/140.33	c |    210758 |     200    17000   119000 | 2147483647    71906     58 |  0.003 % |
140.36/140.67	c |    211168 |     200    17000   119000 | 2147483647    72316     58 |  0.003 % |
140.76/141.03	c |    211618 |     200    17000   119000 | 2147483647    72766     58 |  0.003 % |
141.16/141.40	c |    212111 |     200    17000   119000 | 2147483647    73259     58 |  0.003 % |
141.57/141.84	c |    212655 |     200    17000   119000 | 2147483647    73803     58 |  0.003 % |
142.06/142.31	c |    213251 |     200    17000   119000 | 2147483647    74399     58 |  0.003 % |
142.56/142.80	c |    213906 |     200    17000   119000 | 2147483647    75054     58 |  0.003 % |
143.16/143.40	c |    214626 |     200    17000   119000 | 2147483647    75774     58 |  0.003 % |
143.66/143.99	c |    215419 |     200    17000   119000 | 2147483647    76567     58 |  0.003 % |
144.36/144.66	c |    216290 |     200    17000   119000 | 2147483647    77438     58 |  0.003 % |
145.16/145.41	c |    217248 |     200    17000   119000 | 2147483647    78396     58 |  0.003 % |
145.96/146.24	c |    218301 |     200    17000   119000 | 2147483647    79449     58 |  0.003 % |
146.86/147.11	c |    219459 |     200    17000   119000 | 2147483647    80607     58 |  0.003 % |
147.86/148.11	c |    220732 |     200    17000   119000 |    81148    71817     58 |  0.003 % |
148.86/149.10	c |    222132 |     200    17000   119000 |    81148    73217     58 |  0.003 % |
149.86/150.14	c |    223673 |     200    17000   119000 |    81148    74758     58 |  0.003 % |
151.06/151.33	c |    225367 |     200    17000   119000 |    81148    76452     58 |  0.003 % |
152.45/152.73	c |    227230 |     200    17000   119000 |    81148    78315     58 |  0.003 % |
154.05/154.32	c |    229280 |     200    17000   119000 |    81148    80365     58 |  0.003 % |
155.75/156.09	c |    231534 |     200    17000   119000 |    81086    73257     58 |  0.003 % |
155.96/156.22	c |    231634 |     200    17000   119000 |    81086    73357     58 |  0.003 % |
156.05/156.31	c |    231744 |     200    17000   119000 |    81086    73467     58 |  0.003 % |
156.15/156.43	c |    231867 |     200    17000   119000 |    81086    73590     58 |  0.003 % |
156.25/156.54	c |    232000 |     200    17000   119000 |    81086    73723     58 |  0.003 % |
156.35/156.69	c |    232146 |     200    17000   119000 |    81086    73869     58 |  0.003 % |
156.55/156.86	c |    232306 |     200    17000   119000 |    81086    74029     58 |  0.003 % |
156.76/157.01	c |    232483 |     200    17000   119000 |    81086    74206     58 |  0.003 % |
156.86/157.19	c |    232676 |     200    17000   119000 |    81086    74399     58 |  0.003 % |
157.06/157.39	c |    232888 |     200    17000   119000 |    81086    74611     58 |  0.003 % |
157.26/157.59	c |    233122 |     200    17000   119000 |    81086    74845     58 |  0.003 % |
157.46/157.79	c |    233379 |     200    17000   119000 |    81086    75102     58 |  0.003 % |
157.76/158.03	c |    233660 |     200    17000   119000 |    81086    75383     58 |  0.003 % |
157.96/158.27	c |    233969 |     200    17000   119000 |    81086    75692     58 |  0.003 % |
158.26/158.56	c |    234309 |     200    17000   119000 |    81086    76032     58 |  0.003 % |
158.56/158.83	c |    234681 |     200    17000   119000 |    81086    76404     58 |  0.003 % |
158.86/159.16	c |    235090 |     200    17000   119000 |    81086    76813     58 |  0.003 % |
159.36/159.61	c |    235539 |     200    17000   119000 |    81086    77262     58 |  0.003 % |
159.76/160.05	c |    236032 |     200    17000   119000 |    81086    77755     58 |  0.003 % |
160.26/160.55	c |    236574 |     200    17000   119000 |    81086    78297     58 |  0.003 % |
160.76/161.06	c |    237170 |     200    17000   119000 |    81086    78893     58 |  0.003 % |
161.36/161.60	c |    237825 |     200    17000   119000 |    81086    79548     58 |  0.003 % |
161.95/162.20	c |    238546 |     200    17000   119000 |    81086    80269     58 |  0.003 % |
162.65/162.95	c |    239339 |     200    17000   119000 |    81086    81062     58 |  0.003 % |
163.45/163.78	c |    240211 |     200    17000   119000 |    70113    60353     58 |  0.003 % |
164.15/164.41	c |    241170 |     200    17000   119000 |    70113    61312     58 |  0.003 % |
164.75/165.09	c |    242224 |     200    17000   119000 |    70113    62366     58 |  0.003 % |
165.55/165.85	c |    243382 |     200    17000   119000 |    70113    63524     58 |  0.003 % |
166.45/166.73	c |    244656 |     200    17000   119000 |    70113    64798     58 |  0.003 % |
167.35/167.66	c |    246056 |     200    17000   119000 |    70113    66198     58 |  0.003 % |
168.55/168.89	c |    247597 |     200    17000   119000 |    70113    67739     58 |  0.003 % |
169.85/170.18	c |    249291 |     200    17000   119000 |    70113    69433     58 |  0.003 % |
171.25/171.51	c |    251158 |     200    17000   119000 |    70143    64062     58 |  0.003 % |
172.54/172.85	c |    253207 |     200    17000   119000 |    70143    66111     58 |  0.003 % |
174.14/174.42	c |    255460 |     200    17000   119000 |    70143    68364     58 |  0.003 % |
175.84/176.16	c |    257938 |     200    17000   119000 |    70143    63818     58 |  0.003 % |
175.94/176.22	c |    258039 |     200    17000   119000 |    70143    63919     58 |  0.003 % |
176.04/176.33	c |    258149 |     200    17000   119000 |    70143    64029     58 |  0.003 % |
176.14/176.43	c |    258272 |     200    17000   119000 |    70143    64152     58 |  0.003 % |
176.24/176.53	c |    258405 |     200    17000   119000 |    70143    64285     58 |  0.003 % |
176.34/176.63	c |    258551 |     200    17000   119000 |    70143    64431     58 |  0.003 % |
176.44/176.76	c |    258711 |     200    17000   119000 |    70143    64591     58 |  0.003 % |
176.64/176.90	c |    258887 |     200    17000   119000 |    70143    64767     58 |  0.003 % |
176.74/177.06	c |    259080 |     200    17000   119000 |    70143    64960     58 |  0.003 % |
176.94/177.22	c |    259292 |     200    17000   119000 |    70143    65172     58 |  0.003 % |
177.14/177.41	c |    259525 |     200    17000   119000 |    70143    65405     58 |  0.003 % |
177.34/177.62	c |    259782 |     200    17000   119000 |    70143    65662     58 |  0.003 % |
177.54/177.82	c |    260065 |     200    17000   119000 | 2147483647    65945     58 |  0.003 % |
177.74/178.06	c |    260374 |     200    17000   119000 | 2147483647    66254     58 |  0.003 % |
178.04/178.31	c |    260714 |     200    17000   119000 | 2147483647    66594     58 |  0.003 % |
178.34/178.60	c |    261086 |     200    17000   119000 | 2147483647    66966     58 |  0.003 % |
178.64/178.94	c |    261495 |     200    17000   119000 | 2147483647    67375     58 |  0.003 % |
179.04/179.31	c |    261944 |     200    17000   119000 | 2147483647    67824     58 |  0.003 % |
179.44/179.73	c |    262437 |     200    17000   119000 | 2147483647    68317     58 |  0.003 % |
179.84/180.13	c |    262982 |     200    17000   119000 | 2147483647    68862     58 |  0.003 % |
180.24/180.56	c |    263579 |     200    17000   119000 | 2147483647    69459     58 |  0.003 % |
180.84/181.12	c |    264234 |     200    17000   119000 | 2147483647    70114     58 |  0.003 % |
181.34/181.67	c |    264954 |     200    17000   119000 | 2147483647    70834     58 |  0.003 % |
181.94/182.23	c |    265747 |     200    17000   119000 | 2147483647    71627     58 |  0.003 % |
182.54/182.84	c |    266620 |     200    17000   119000 | 2147483647    72500     58 |  0.003 % |
183.24/183.57	c |    267579 |     200    17000   119000 | 2147483647    73459     58 |  0.003 % |
184.23/184.53	c |    268632 |     200    17000   119000 | 2147483647    74512     58 |  0.003 % |
185.23/185.53	c |    269792 |     200    17000   119000 | 2147483647    75672     58 |  0.003 % |
186.23/186.53	c |    271068 |     200    17000   119000 |    75881    68099     58 |  0.003 % |
187.23/187.55	c |    272468 |     200    17000   119000 |    75881    69499     58 |  0.003 % |
188.34/188.68	c |    274009 |     200    17000   119000 |    75881    71040     58 |  0.003 % |
189.74/190.02	c |    275703 |     200    17000   119000 |    75881    72734     58 |  0.003 % |
191.14/191.43	c |    277566 |     200    17000   119000 |    75881    74597     58 |  0.003 % |
192.74/193.08	c |    279615 |     200    17000   119000 |    75881    67937     58 |  0.003 % |
194.24/194.56	c |    281869 |     200    17000   119000 |    68322    62425     58 |  0.003 % |
195.94/196.26	c |    284349 |     200    17000   119000 |    68322    64905     58 |  0.003 % |
197.64/197.98	c |    287075 |     200    17000   119000 |    68322    67631     58 |  0.003 % |
197.74/198.07	c |    287177 |     200    17000   119000 |    68322    67733     58 |  0.003 % |
197.84/198.16	c |    287287 |     200    17000   119000 |    68322    67843     58 |  0.003 % |
197.94/198.27	c |    287411 |     200    17000   119000 |    68322    67967     58 |  0.003 % |
198.04/198.38	c |    287544 |     200    17000   119000 |    68322    68100     58 |  0.003 % |
198.24/198.52	c |    287691 |     200    17000   119000 |    68322    68247     58 |  0.003 % |
198.34/198.66	c |    287852 |     200    17000   119000 |    68322    68408     58 |  0.003 % |
198.53/198.85	c |    288029 |     200    17000   119000 |    68322    61745     58 |  0.003 % |
198.74/199.02	c |    288222 |     200    17000   119000 |    68322    61938     58 |  0.003 % |
198.84/199.17	c |    288434 |     200    17000   119000 |    68322    62150     58 |  0.003 % |
199.03/199.36	c |    288667 |     200    17000   119000 |    68322    62383     58 |  0.003 % |
199.23/199.55	c |    288923 |     200    17000   119000 |    68322    62639     58 |  0.003 % |
199.43/199.76	c |    289204 |     200    17000   119000 |    68322    62920     58 |  0.003 % |
199.63/199.98	c |    289514 |     200    17000   119000 |    68322    63230     58 |  0.003 % |
199.94/200.29	c |    289853 |     200    17000   119000 |    68322    63569     58 |  0.003 % |
200.23/200.57	c |    290225 |     200    17000   119000 | 2147483647    63941     58 |  0.003 % |
200.53/200.89	c |    290635 |     200    17000   119000 | 2147483647    64351     58 |  0.003 % |
200.94/201.22	c |    291084 |     200    17000   119000 | 2147483647    64800     58 |  0.003 % |
201.33/201.65	c |    291577 |     200    17000   119000 | 2147483647    65293     58 |  0.003 % |
201.83/202.13	c |    292119 |     200    17000   119000 | 2147483647    65835     58 |  0.003 % |
202.33/202.61	c |    292717 |     200    17000   119000 | 2147483647    66433     58 |  0.003 % |
202.83/203.11	c |    293372 |     200    17000   119000 | 2147483647    67088     58 |  0.003 % |
203.33/203.61	c |    294092 |     200    17000   119000 | 2147483647    67808     58 |  0.003 % |
203.93/204.25	c |    294885 |     200    17000   119000 | 2147483647    68601     58 |  0.003 % |
204.63/204.97	c |    295756 |     200    17000   119000 | 2147483647    69472     58 |  0.003 % |
205.43/205.71	c |    296716 |     200    17000   119000 | 2147483647    70432     58 |  0.003 % |
206.23/206.51	c |    297770 |     200    17000   119000 | 2147483647    71486     58 |  0.003 % |
207.13/207.44	c |    298929 |     200    17000   119000 | 2147483647    72645     58 |  0.003 % |
208.23/208.56	c |    300204 |     200    17000   119000 |    73716    65844     58 |  0.003 % |
209.23/209.56	c |    301605 |     200    17000   119000 |    73716    67245     58 |  0.003 % |
210.33/210.68	c |    303146 |     200    17000   119000 |    73716    68786     58 |  0.003 % |
211.63/211.93	c |    304844 |     200    17000   119000 |    73716    70484     58 |  0.003 % |
212.93/213.26	c |    306707 |     200    17000   119000 |    73716    72347     58 |  0.003 % |
214.43/214.79	c |    308756 |     200    17000   119000 |    73716    66478     58 |  0.003 % |
216.03/216.37	c |    311009 |     200    17000   119000 |    67725    61836     58 |  0.003 % |
217.83/218.15	c |    313487 |     200    17000   119000 |    67725    64314     58 |  0.003 % |
219.83/220.11	c |    316215 |     200    17000   119000 |    67725    67042     58 |  0.003 % |
222.03/222.36	c |    319214 |     200    17000   119000 |    67725    63260     58 |  0.003 % |
222.13/222.43	c |    319314 |     200    17000   119000 |    67725    63360     58 |  0.003 % |
222.23/222.50	c |    319425 |     200    17000   119000 |    67725    63471     58 |  0.003 % |
222.33/222.60	c |    319548 |     200    17000   119000 |    67725    63594     58 |  0.003 % |
222.43/222.73	c |    319681 |     200    17000   119000 |    67725    63727     58 |  0.003 % |
222.53/222.86	c |    319828 |     200    17000   119000 |    67725    63874     58 |  0.003 % |
222.63/222.97	c |    319988 |     200    17000   119000 |    67725    64034     58 |  0.003 % |
222.83/223.11	c |    320166 |     200    17000   119000 | 2147483647    64212     58 |  0.003 % |
222.93/223.25	c |    320359 |     200    17000   119000 | 2147483647    64405     58 |  0.003 % |
223.13/223.41	c |    320571 |     200    17000   119000 | 2147483647    64617     58 |  0.003 % |
223.33/223.64	c |    320807 |     200    17000   119000 | 2147483647    64853     58 |  0.003 % |
223.53/223.86	c |    321064 |     200    17000   119000 | 2147483647    65110     58 |  0.003 % |
223.82/224.11	c |    321346 |     200    17000   119000 | 2147483647    65392     58 |  0.003 % |
224.03/224.36	c |    321656 |     200    17000   119000 | 2147483647    65702     58 |  0.003 % |
224.32/224.63	c |    321996 |     200    17000   119000 | 2147483647    66042     58 |  0.003 % |
224.62/224.91	c |    322369 |     200    17000   119000 | 2147483647    66415     58 |  0.003 % |
224.92/225.21	c |    322778 |     200    17000   119000 | 2147483647    66824     58 |  0.003 % |
225.23/225.55	c |    323227 |     200    17000   119000 | 2147483647    67273     58 |  0.003 % |
225.62/225.92	c |    323720 |     200    17000   119000 | 2147483647    67766     58 |  0.003 % |
225.92/226.27	c |    324263 |     200    17000   119000 | 2147483647    68309     58 |  0.003 % |
226.33/226.66	c |    324859 |     200    17000   119000 | 2147483647    68905     58 |  0.003 % |
226.72/227.08	c |    325514 |     200    17000   119000 | 2147483647    69560     58 |  0.003 % |
227.43/227.78	c |    326236 |     200    17000   119000 | 2147483647    70282     58 |  0.003 % |
228.12/228.49	c |    327029 |     200    17000   119000 | 2147483647    71075     58 |  0.003 % |
228.92/229.25	c |    327900 |     200    17000   119000 | 2147483647    71946     58 |  0.003 % |
229.63/229.96	c |    328859 |     200    17000   119000 | 2147483647    72905     58 |  0.003 % |
230.42/230.78	c |    329912 |     200    17000   119000 | 2147483647    73958     58 |  0.003 % |
231.32/231.65	c |    331073 |     200    17000   119000 |    74049    66830     58 |  0.003 % |
232.32/232.65	c |    332346 |     200    17000   119000 |    74049    68103     58 |  0.003 % |
233.32/233.67	c |    333747 |     200    17000   119000 |    74049    69504     58 |  0.003 % |
234.62/234.93	c |    335287 |     200    17000   119000 |    74049    71044     58 |  0.003 % |
235.92/236.21	c |    336982 |     200    17000   119000 |    74049    72739     58 |  0.003 % |
237.42/237.70	c |    338845 |     200    17000   119000 |    74049    66013     58 |  0.003 % |
238.72/239.07	c |    340895 |     200    17000   119000 |    67168    60681     58 |  0.003 % |
240.12/240.49	c |    343149 |     200    17000   119000 |    67168    62935     58 |  0.003 % |
241.92/242.25	c |    345627 |     200    17000   119000 |    67168    65413     58 |  0.003 % |
243.71/244.07	c |    348352 |     200    17000   119000 |    67168    61413     58 |  0.003 % |
245.71/246.05	c |    351349 |     200    17000   119000 | 2147483647    64410     58 |  0.003 % |
247.91/248.26	c |    354645 |     200    17000   119000 | 2147483647    67706     58 |  0.003 % |
248.01/248.33	c |    354745 |     200    17000   119000 | 2147483647    67806     58 |  0.003 % |
248.11/248.41	c |    354857 |     200    17000   119000 | 2147483647    67918     58 |  0.003 % |
248.22/248.50	c |    354978 |     200    17000   119000 | 2147483647    68039     58 |  0.003 % |
248.32/248.64	c |    355114 |     200    17000   119000 | 2147483647    68175     58 |  0.003 % |
248.41/248.75	c |    355260 |     200    17000   119000 | 2147483647    68321     58 |  0.003 % |
248.51/248.88	c |    355422 |     200    17000   119000 | 2147483647    68483     58 |  0.003 % |
248.71/249.01	c |    355598 |     200    17000   119000 | 2147483647    68659     58 |  0.003 % |
248.81/249.19	c |    355791 |     200    17000   119000 | 2147483647    68852     58 |  0.003 % |
249.01/249.37	c |    356003 |     200    17000   119000 | 2147483647    69064     58 |  0.003 % |
249.21/249.58	c |    356237 |     200    17000   119000 | 2147483647    69298     58 |  0.003 % |
249.42/249.79	c |    356494 |     200    17000   119000 | 2147483647    69555     58 |  0.003 % |
249.61/249.99	c |    356776 |     200    17000   119000 | 2147483647    69837     58 |  0.003 % |
249.91/250.27	c |    357087 |     200    17000   119000 | 2147483647    70148     58 |  0.003 % |
250.31/250.60	c |    357427 |     200    17000   119000 | 2147483647    70488     58 |  0.003 % |
250.61/250.94	c |    357799 |     200    17000   119000 | 2147483647    70860     58 |  0.003 % |
251.01/251.31	c |    358208 |     200    17000   119000 | 2147483647    71269     58 |  0.003 % |
251.41/251.72	c |    358658 |     200    17000   119000 | 2147483647    71719     58 |  0.003 % |
251.81/252.11	c |    359153 |     200    17000   119000 | 2147483647    72214     58 |  0.003 % |
252.21/252.55	c |    359695 |     200    17000   119000 | 2147483647    72756     58 |  0.003 % |
252.71/253.01	c |    360293 |     200    17000   119000 | 2147483647    73354     58 |  0.003 % |
253.21/253.57	c |    360949 |     200    17000   119000 | 2147483647    74010     58 |  0.003 % |
253.81/254.15	c |    361673 |     200    17000   119000 | 2147483647    74734     58 |  0.003 % |
254.41/254.72	c |    362466 |     200    17000   119000 | 2147483647    75527     58 |  0.003 % |
255.01/255.39	c |    363337 |     200    17000   119000 | 2147483647    76398     58 |  0.003 % |
255.81/256.13	c |    364296 |     200    17000   119000 | 2147483647    77357     58 |  0.003 % |
256.61/256.98	c |    365349 |     200    17000   119000 | 2147483647    78410     58 |  0.003 % |
257.61/257.91	c |    366508 |     200    17000   119000 | 2147483647    79569     58 |  0.003 % |
258.81/259.15	c |    367782 |     200    17000   119000 | 2147483647    80843     58 |  0.003 % |
260.31/260.63	c |    369182 |     200    17000   119000 | 2147483647    82243     58 |  0.003 % |
261.70/262.02	c |    370724 |     200    17000   119000 |    83061    72159     58 |  0.003 % |
262.90/263.23	c |    372418 |     200    17000   119000 |    83061    73853     58 |  0.003 % |
264.30/264.68	c |    374281 |     200    17000   119000 |    83061    75716     58 |  0.003 % |
266.00/266.38	c |    376330 |     200    17000   119000 |    83061    77765     58 |  0.003 % |
267.80/268.18	c |    378583 |     200    17000   119000 |    83061    80018     58 |  0.003 % |
270.00/270.39	c |    381061 |     200    17000   119000 |    81435    71303     58 |  0.003 % |
272.19/272.58	c |    383787 |     200    17000   119000 |    81435    74029     58 |  0.003 % |
274.70/275.00	c |    386784 |     200    17000   119000 |    81435    77026     58 |  0.003 % |
277.39/277.75	c |    390081 |     200    17000   119000 |    80243    80323     58 |  0.003 % |
280.09/280.48	c |    393706 |     200    17000   119000 |    80243    73040     58 |  0.003 % |
280.19/280.56	c |    393806 |     200    17000   119000 |    80243    73140     58 |  0.003 % |
280.29/280.65	c |    393916 |     200    17000   119000 |    80243    73250     58 |  0.003 % |
280.39/280.76	c |    394037 |     200    17000   119000 |    80243    73371     58 |  0.003 % |
280.59/280.90	c |    394170 |     200    17000   119000 |    80243    73504     58 |  0.003 % |
280.69/281.03	c |    394317 |     200    17000   119000 |    80243    73651     58 |  0.003 % |
280.79/281.19	c |    394477 |     200    17000   119000 |    80243    73811     58 |  0.003 % |
280.99/281.34	c |    394653 |     200    17000   119000 |    80243    73987     58 |  0.003 % |
281.19/281.50	c |    394846 |     200    17000   119000 |    80243    74180     58 |  0.003 % |
281.39/281.73	c |    395059 |     200    17000   119000 |    80243    74393     58 |  0.003 % |
281.59/281.97	c |    395293 |     200    17000   119000 |    80243    74627     58 |  0.003 % |
281.89/282.20	c |    395550 |     200    17000   119000 |    80243    74884     58 |  0.003 % |
282.09/282.47	c |    395832 |     200    17000   119000 |    80243    75166     58 |  0.003 % |
282.39/282.73	c |    396143 |     200    17000   119000 |    80243    75477     58 |  0.003 % |
282.69/283.01	c |    396482 |     200    17000   119000 |    80243    75816     58 |  0.003 % |
282.99/283.36	c |    396854 |     200    17000   119000 |    80243    76188     58 |  0.003 % |
283.39/283.70	c |    397263 |     200    17000   119000 |    80243    76597     58 |  0.003 % |
283.78/284.10	c |    397714 |     200    17000   119000 |    80243    77048     58 |  0.003 % |
284.18/284.53	c |    398208 |     200    17000   119000 |    80243    77542     58 |  0.003 % |
284.59/285.00	c |    398750 |     200    17000   119000 |    80243    78084     58 |  0.003 % |
285.08/285.49	c |    399348 |     200    17000   119000 |    80243    78682     58 |  0.003 % |
285.69/286.09	c |    400007 |     200    17000   119000 |    79334    79341     58 |  0.003 % |
286.38/286.76	c |    400727 |     200    17000   119000 |    79334    68944     58 |  0.003 % |
286.98/287.36	c |    401520 |     200    17000   119000 |    79334    69737     58 |  0.003 % |
287.68/288.01	c |    402393 |     200    17000   119000 |    79334    70610     58 |  0.003 % |
288.38/288.73	c |    403352 |     200    17000   119000 |    79334    71569     58 |  0.003 % |
289.08/289.48	c |    404405 |     200    17000   119000 |    79334    72622     58 |  0.003 % |
289.98/290.35	c |    405564 |     200    17000   119000 |    79334    73781     58 |  0.003 % |
290.98/291.39	c |    406840 |     200    17000   119000 |    79334    75057     58 |  0.003 % |
292.18/292.57	c |    408240 |     200    17000   119000 |    79334    76457     58 |  0.003 % |
293.58/293.94	c |    409783 |     200    17000   119000 |    79334    78000     58 |  0.003 % |
294.88/295.25	c |    411479 |     200    17000   119000 |    78218    69363     58 |  0.003 % |
296.28/296.68	c |    413343 |     200    17000   119000 |    78218    71227     58 |  0.003 % |
297.89/298.23	c |    415393 |     200    17000   119000 |    78218    73277     58 |  0.003 % |
299.69/300.05	c |    417648 |     200    17000   119000 |    78218    75532     58 |  0.003 % |
301.79/302.13	c |    420126 |     200    17000   119000 |    77886    67527     58 |  0.003 % |
303.78/304.12	c |    422851 |     200    17000   119000 |    77886    70252     58 |  0.003 % |
305.98/306.35	c |    425848 |     200    17000   119000 |    77886    73249     58 |  0.003 % |
308.58/308.91	c |    429144 |     200    17000   119000 |    77886    76545     58 |  0.003 % |
311.18/311.58	c |    432769 |     200    17000   119000 |    77402    70986     58 |  0.003 % |
314.08/314.44	c |    436756 |     200    17000   119000 |    77402    74973     58 |  0.003 % |
314.18/314.53	c |    436859 |     200    17000   119000 |    77402    75076     58 |  0.003 % |
314.28/314.62	c |    436970 |     200    17000   119000 |    77402    75187     58 |  0.003 % |
314.38/314.74	c |    437091 |     200    17000   119000 |    77402    75308     58 |  0.003 % |
314.58/314.91	c |    437224 |     200    17000   119000 |    77402    75441     58 |  0.003 % |
314.68/315.05	c |    437370 |     200    17000   119000 |    77402    75587     58 |  0.003 % |
314.88/315.20	c |    437531 |     200    17000   119000 |    77402    75748     58 |  0.003 % |
314.98/315.40	c |    437708 |     200    17000   119000 |    77402    75925     58 |  0.003 % |
315.18/315.58	c |    437903 |     200    17000   119000 |    77402    76120     58 |  0.003 % |
315.38/315.75	c |    438115 |     200    17000   119000 |    77402    76332     58 |  0.003 % |
315.58/315.96	c |    438348 |     200    17000   119000 |    77402    76565     58 |  0.003 % |
315.78/316.16	c |    438604 |     200    17000   119000 |    77402    76821     58 |  0.003 % |
315.98/316.38	c |    438885 |     200    17000   119000 |    77402    77102     58 |  0.003 % |
316.28/316.65	c |    439194 |     200    17000   119000 |    77402    77411     58 |  0.003 % |
316.58/316.97	c |    439533 |     200    17000   119000 |    77402    69201     58 |  0.003 % |
316.98/317.32	c |    439905 |     200    17000   119000 |    77402    69573     58 |  0.003 % |
317.38/317.73	c |    440316 |     200    17000   119000 |    69669    61980     58 |  0.003 % |
317.68/318.04	c |    440767 |     200    17000   119000 |    69669    62431     58 |  0.003 % |
317.98/318.36	c |    441263 |     200    17000   119000 |    69669    62927     58 |  0.003 % |
318.38/318.77	c |    441805 |     200    17000   119000 |    69669    63469     58 |  0.003 % |
318.78/319.19	c |    442402 |     200    17000   119000 |    69669    64066     58 |  0.003 % |
319.27/319.63	c |    443057 |     200    17000   119000 |    69669    64721     58 |  0.003 % |
319.87/320.24	c |    443778 |     200    17000   119000 |    69669    65442     58 |  0.003 % |
320.57/320.94	c |    444570 |     200    17000   119000 |    69669    66234     58 |  0.003 % |
321.37/321.73	c |    445443 |     200    17000   119000 |    69669    67107     58 |  0.003 % |
322.07/322.46	c |    446401 |     200    17000   119000 |    69669    68065     58 |  0.003 % |
322.87/323.26	c |    447456 |     200    17000   119000 |    69669    69120     58 |  0.003 % |
323.77/324.19	c |    448616 |     200    17000   119000 |    69669    62928     58 |  0.003 % |
324.77/325.14	c |    449890 |     200    17000   119000 |    69669    64202     58 |  0.003 % |
325.67/326.10	c |    451291 |     200    17000   119000 |    64312    59016     58 |  0.003 % |
326.67/327.05	c |    452832 |     200    17000   119000 |    64312    60557     58 |  0.003 % |
327.67/328.07	c |    454529 |     200    17000   119000 |    64312    62254     58 |  0.003 % |
328.97/329.36	c |    456392 |     200    17000   119000 |    64312    64117     58 |  0.003 % |
330.47/330.87	c |    458444 |     200    17000   119000 |    64312    59730     58 |  0.003 % |
331.97/332.35	c |    460697 |     200    17000   119000 | 2147483647    61983     58 |  0.003 % |
333.57/333.99	c |    463175 |     200    17000   119000 | 2147483647    64461     58 |  0.003 % |
335.37/335.78	c |    465901 |     200    17000   119000 | 2147483647    67187     58 |  0.003 % |
337.56/337.96	c |    468898 |     200    17000   119000 | 2147483647    70184     58 |  0.003 % |
339.86/340.25	c |    472194 |     200    17000   119000 | 2147483647    73480     58 |  0.003 % |
342.77/343.15	c |    475819 |     200    17000   119000 | 2147483647    77105     58 |  0.003 % |
345.76/346.11	c |    479806 |     200    17000   119000 | 2147483647    81092     58 |  0.003 % |
349.06/349.49	c |    484193 |     200    17000   119000 |    81286    75762     58 |  0.003 % |
349.16/349.56	c |    484294 |     200    17000   119000 |    81286    75863     58 |  0.003 % |
349.26/349.66	c |    484404 |     200    17000   119000 |    81286    75973     58 |  0.003 % |
349.36/349.76	c |    484525 |     200    17000   119000 |    81286    76094     58 |  0.003 % |
349.46/349.90	c |    484659 |     200    17000   119000 |    81286    76228     58 |  0.003 % |
349.66/350.03	c |    484805 |     200    17000   119000 |    81286    76374     58 |  0.003 % |
349.76/350.17	c |    484966 |     200    17000   119000 |    81286    76535     58 |  0.003 % |
349.96/350.33	c |    485143 |     200    17000   119000 |    81286    76712     58 |  0.003 % |
350.06/350.48	c |    485336 |     200    17000   119000 |    81286    76905     58 |  0.003 % |
350.26/350.66	c |    485548 |     200    17000   119000 |    81286    77117     58 |  0.003 % |
350.56/350.91	c |    485782 |     200    17000   119000 |    81286    77351     58 |  0.003 % |
350.76/351.13	c |    486040 |     200    17000   119000 |    81286    77609     58 |  0.003 % |
351.06/351.41	c |    486323 |     200    17000   119000 |    81286    77892     58 |  0.003 % |
351.26/351.66	c |    486633 |     200    17000   119000 |    81286    78202     58 |  0.003 % |
351.56/351.95	c |    486972 |     200    17000   119000 |    81286    78541     58 |  0.003 % |
351.86/352.27	c |    487345 |     200    17000   119000 |    81286    78914     58 |  0.003 % |
352.26/352.63	c |    487754 |     200    17000   119000 |    81286    79323     58 |  0.003 % |
352.66/353.02	c |    488205 |     200    17000   119000 |    81286    79774     58 |  0.003 % |
353.05/353.43	c |    488698 |     200    17000   119000 |    81286    80267     58 |  0.003 % |
353.45/353.87	c |    489241 |     200    17000   119000 |    81286    80810     58 |  0.003 % |
354.05/354.40	c |    489837 |     200    17000   119000 |    81286    70280     58 |  0.003 % |
354.55/354.92	c |    490492 |     200    17000   119000 |    70445    61305     58 |  0.003 % |
354.96/355.37	c |    491213 |     200    17000   119000 |    70445    62026     58 |  0.003 % |
355.45/355.87	c |    492005 |     200    17000   119000 |    70445    62818     58 |  0.003 % |
356.15/356.56	c |    492877 |     200    17000   119000 |    70445    63690     58 |  0.003 % |
356.85/357.20	c |    493835 |     200    17000   119000 |    70445    64648     58 |  0.003 % |
357.45/357.87	c |    494888 |     200    17000   119000 |    70445    65701     58 |  0.003 % |
358.25/358.70	c |    496047 |     200    17000   119000 |    70445    66860     58 |  0.003 % |
359.25/359.69	c |    497322 |     200    17000   119000 |    70445    68135     58 |  0.003 % |
360.35/360.70	c |    498722 |     200    17000   119000 |    70445    69535     58 |  0.003 % |
361.45/361.85	c |    500264 |     200    17000   119000 | 2147483647    64024     58 |  0.003 % |
362.55/362.96	c |    501958 |     200    17000   119000 | 2147483647    65718     58 |  0.003 % |
363.75/364.18	c |    503821 |     200    17000   119000 | 2147483647    67581     58 |  0.003 % |
365.25/365.63	c |    505873 |     200    17000   119000 | 2147483647    69633     58 |  0.003 % |
366.95/367.37	c |    508129 |     200    17000   119000 | 2147483647    71889     58 |  0.003 % |
368.84/369.26	c |    510607 |     200    17000   119000 | 2147483647    74367     58 |  0.003 % |
371.04/371.45	c |    513332 |     200    17000   119000 | 2147483647    77092     58 |  0.003 % |
373.34/373.72	c |    516329 |     200    17000   119000 | 2147483647    80089     58 |  0.003 % |
375.94/376.40	c |    519625 |     200    17000   119000 | 2147483647    83385     58 |  0.003 % |
378.95/379.32	c |    523251 |     200    17000   119000 |    83760    76450     58 |  0.003 % |
382.24/382.68	c |    527240 |     200    17000   119000 |    83760    80439     58 |  0.003 % |
386.04/386.40	c |    531626 |     200    17000   119000 |    83199    73187     58 |  0.003 % |
390.05/390.43	c |    536450 |     200    17000   119000 |    83199    78011     58 |  0.003 % |
390.15/390.52	c |    536550 |     200    17000   119000 |    83199    78111     58 |  0.003 % |
390.24/390.64	c |    536662 |     200    17000   119000 |    83199    78223     58 |  0.003 % |
390.34/390.76	c |    536784 |     200    17000   119000 |    83199    78345     58 |  0.003 % |
390.44/390.88	c |    536919 |     200    17000   119000 |    83199    78480     58 |  0.003 % |
390.64/391.01	c |    537065 |     200    17000   119000 |    83199    78626     58 |  0.003 % |
390.74/391.17	c |    537225 |     200    17000   119000 |    83199    78786     58 |  0.003 % |
390.94/391.31	c |    537401 |     200    17000   119000 |    83199    78962     58 |  0.003 % |
391.04/391.47	c |    537594 |     200    17000   119000 |    83199    79155     58 |  0.003 % |
391.25/391.68	c |    537808 |     200    17000   119000 |    83199    79369     58 |  0.003 % |
391.54/391.91	c |    538044 |     200    17000   119000 |    83199    79605     58 |  0.003 % |
391.74/392.16	c |    538301 |     200    17000   119000 |    83199    79862     58 |  0.003 % |
392.04/392.45	c |    538586 |     200    17000   119000 |    83199    80147     58 |  0.003 % |
392.35/392.75	c |    538895 |     200    17000   119000 |    83199    80456     58 |  0.003 % |
392.74/393.12	c |    539235 |     200    17000   119000 |    83199    80796     58 |  0.003 % |
393.14/393.50	c |    539607 |     200    17000   119000 |    83199    81168     58 |  0.003 % |
393.54/393.90	c |    540016 |     200    17000   119000 |    81561    81577     58 |  0.003 % |
393.94/394.35	c |    540467 |     200    17000   119000 |    81561    70072     58 |  0.003 % |
394.34/394.80	c |    540960 |     200    17000   119000 |    81561    70565     58 |  0.003 % |
394.84/395.24	c |    541502 |     200    17000   119000 |    81561    71107     58 |  0.003 % |
395.24/395.69	c |    542099 |     200    17000   119000 |    81561    71704     58 |  0.003 % |
395.84/396.23	c |    542754 |     200    17000   119000 |    81561    72359     58 |  0.003 % |
396.44/396.80	c |    543475 |     200    17000   119000 |    81561    73080     58 |  0.003 % |
397.04/397.44	c |    544268 |     200    17000   119000 |    81561    73873     58 |  0.003 % |
397.74/398.14	c |    545139 |     200    17000   119000 |    81561    74744     58 |  0.003 % |
398.54/398.93	c |    546098 |     200    17000   119000 |    81561    75703     58 |  0.003 % |
399.44/399.85	c |    547153 |     200    17000   119000 |    81561    76758     58 |  0.003 % |
400.34/400.79	c |    548311 |     200    17000   119000 |    81561    77916     58 |  0.003 % |
401.54/401.91	c |    549587 |     200    17000   119000 |    81561    79192     58 |  0.003 % |
402.74/403.12	c |    550988 |     200    17000   119000 |    79605    68743     58 |  0.003 % |
403.84/404.23	c |    552528 |     200    17000   119000 |    79605    70283     58 |  0.003 % |
405.13/405.59	c |    554222 |     200    17000   119000 |    79605    71977     58 |  0.003 % |
406.73/407.14	c |    556085 |     200    17000   119000 |    79605    73840     58 |  0.003 % |
408.43/408.89	c |    558134 |     200    17000   119000 |    79605    75889     58 |  0.003 % |
410.43/410.84	c |    560390 |     200    17000   119000 |    77755    67736     58 |  0.003 % |
412.33/412.74	c |    562870 |     200    17000   119000 |    77755    70216     58 |  0.003 % |
414.43/414.82	c |    565595 |     200    17000   119000 |    77755    72941     58 |  0.003 % |
416.83/417.26	c |    568592 |     200    17000   119000 |    77755    75938     58 |  0.003 % |
419.43/419.89	c |    571888 |     200    17000   119000 |    77347    69272     58 |  0.003 % |
422.13/422.56	c |    575513 |     200    17000   119000 |    77347    72897     58 |  0.003 % |
425.03/425.46	c |    579500 |     200    17000   119000 |    77347    76884     58 |  0.003 % |
428.23/428.62	c |    583886 |     200    17000   119000 |    77384    71649     58 |  0.003 % |
432.02/432.46	c |    588709 |     200    17000   119000 |    77384    76472     58 |  0.003 % |
435.72/436.15	c |    594014 |     200    17000   119000 |    68150    63853     58 |  0.003 % |
435.82/436.26	c |    594114 |     200    17000   119000 |    68150    63953     58 |  0.003 % |
435.92/436.35	c |    594226 |     200    17000   119000 |    68150    64065     58 |  0.003 % |
436.02/436.45	c |    594347 |     200    17000   119000 |    68150    64186     58 |  0.003 % |
436.12/436.57	c |    594480 |     200    17000   119000 |    68150    64319     58 |  0.003 % |
436.23/436.68	c |    594628 |     200    17000   119000 |    68150    64467     58 |  0.003 % |
436.33/436.78	c |    594789 |     200    17000   119000 |    68150    64628     58 |  0.003 % |
436.52/436.92	c |    594966 |     200    17000   119000 |    68150    64805     58 |  0.003 % |
436.62/437.07	c |    595160 |     200    17000   119000 |    68150    64999     58 |  0.003 % |
436.82/437.24	c |    595372 |     200    17000   119000 |    68150    65211     58 |  0.003 % |
437.02/437.41	c |    595606 |     200    17000   119000 |    68150    65445     58 |  0.003 % |
437.12/437.59	c |    595864 |     200    17000   119000 |    68150    65703     58 |  0.003 % |
437.32/437.78	c |    596147 |     200    17000   119000 |    68150    65986     58 |  0.003 % |
437.52/437.99	c |    596459 |     200    17000   119000 |    68150    66298     58 |  0.003 % |
437.82/438.23	c |    596799 |     200    17000   119000 |    68150    66638     58 |  0.003 % |
438.02/438.49	c |    597171 |     200    17000   119000 |    68150    67010     58 |  0.003 % |
438.32/438.77	c |    597581 |     200    17000   119000 |    68150    67420     58 |  0.003 % |
438.82/439.23	c |    598031 |     200    17000   119000 |    68150    67870     58 |  0.003 % |
439.32/439.74	c |    598524 |     200    17000   119000 |    68150    61539     58 |  0.003 % |
439.72/440.15	c |    599067 |     200    17000   119000 |    68150    62082     58 |  0.003 % |
440.22/440.66	c |    599663 |     200    17000   119000 |    68150    62678     58 |  0.003 % |
440.72/441.14	c |    600320 |     200    17000   119000 | 2147483647    63335     58 |  0.003 % |
441.21/441.69	c |    601040 |     200    17000   119000 | 2147483647    64055     58 |  0.003 % |
441.91/442.35	c |    601836 |     200    17000   119000 | 2147483647    64851     58 |  0.003 % |
442.61/443.02	c |    602707 |     200    17000   119000 | 2147483647    65722     58 |  0.003 % |
443.21/443.70	c |    603665 |     200    17000   119000 | 2147483647    66680     58 |  0.003 % |
444.02/444.41	c |    604718 |     200    17000   119000 | 2147483647    67733     58 |  0.003 % |
444.71/445.20	c |    605876 |     200    17000   119000 | 2147483647    68891     58 |  0.003 % |
445.71/446.11	c |    607149 |     200    17000   119000 | 2147483647    70164     58 |  0.003 % |
446.71/447.18	c |    608549 |     200    17000   119000 | 2147483647    71564     58 |  0.003 % |
448.11/448.52	c |    610089 |     200    17000   119000 | 2147483647    73104     58 |  0.003 % |
449.61/450.07	c |    611786 |     200    17000   119000 | 2147483647    74801     58 |  0.003 % |
451.11/451.59	c |    613649 |     200    17000   119000 | 2147483647    76664     58 |  0.003 % |
452.71/453.12	c |    615700 |     200    17000   119000 | 2147483647    78715     58 |  0.003 % |
454.51/454.98	c |    617953 |     200    17000   119000 | 2147483647    80968     58 |  0.003 % |
456.71/457.15	c |    620431 |     200    17000   119000 |    83015    72207     58 |  0.003 % |
458.81/459.29	c |    623157 |     200    17000   119000 |    83015    74933     59 |  0.003 % |
461.20/461.69	c |    626154 |     200    17000   119000 |    83015    77930     59 |  0.003 % |
463.90/464.37	c |    629450 |     200    17000   119000 |    83015    81226     59 |  0.003 % |
466.70/467.11	c |    633076 |     200    17000   119000 |    81776    73310     59 |  0.003 % |
470.30/470.70	c |    637065 |     200    17000   119000 |    81776    77299     59 |  0.003 % |
474.40/474.83	c |    641450 |     200    17000   119000 |    80234    69889     59 |  0.003 % |
478.00/478.48	c |    646275 |     200    17000   119000 |    80234    74714     59 |  0.003 % |
481.99/482.45	c |    651582 |     200    17000   119000 |    78440    69925     59 |  0.003 % |
486.59/487.09	c |    657417 |     200    17000   119000 |    78440    75760     59 |  0.003 % |
486.69/487.19	c |    657517 |     200    17000   119000 |    78440    75860     59 |  0.003 % |
486.90/487.31	c |    657628 |     200    17000   119000 |    78440    75971     59 |  0.003 % |
486.99/487.43	c |    657749 |     200    17000   119000 |    78440    76092     59 |  0.003 % |
487.09/487.56	c |    657886 |     200    17000   119000 |    78440    76229     59 |  0.003 % |
487.29/487.70	c |    658033 |     200    17000   119000 |    78440    76376     59 |  0.003 % |
487.39/487.89	c |    658194 |     200    17000   119000 |    78440    76537     59 |  0.003 % |
487.59/488.07	c |    658372 |     200    17000   119000 |    78440    76715     59 |  0.003 % |
487.79/488.25	c |    658566 |     200    17000   119000 |    78440    76909     59 |  0.003 % |
488.09/488.50	c |    658778 |     200    17000   119000 |    78440    77121     59 |  0.003 % |
488.29/488.73	c |    659011 |     200    17000   119000 |    78440    77354     59 |  0.003 % |
488.59/489.01	c |    659267 |     200    17000   119000 |    78440    77610     59 |  0.003 % |
488.79/489.29	c |    659549 |     200    17000   119000 |    78440    77892     59 |  0.003 % |
489.19/489.61	c |    659858 |     200    17000   119000 |    78440    78201     59 |  0.003 % |
489.49/489.97	c |    660197 |     200    17000   119000 |    78345    67654     58 |  0.003 % |
489.79/490.25	c |    660569 |     200    17000   119000 |    78345    68026     58 |  0.003 % |
490.19/490.63	c |    660979 |     200    17000   119000 |    78345    68436     58 |  0.003 % |
490.59/491.01	c |    661428 |     200    17000   119000 |    78345    68885     58 |  0.003 % |
490.99/491.41	c |    661921 |     200    17000   119000 |    78345    69378     58 |  0.003 % |
491.39/491.85	c |    662464 |     200    17000   119000 |    78345    69921     58 |  0.003 % |
491.79/492.28	c |    663060 |     200    17000   119000 |    78345    70517     58 |  0.003 % |
492.39/492.84	c |    663716 |     200    17000   119000 |    78345    71173     58 |  0.003 % |
492.99/493.43	c |    664437 |     200    17000   119000 |    78345    71894     58 |  0.003 % |
493.69/494.12	c |    665229 |     200    17000   119000 |    78345    72686     58 |  0.003 % |
494.39/494.83	c |    666101 |     200    17000   119000 |    78345    73558     58 |  0.003 % |
495.19/495.65	c |    667059 |     200    17000   119000 |    78345    74516     58 |  0.003 % |
496.19/496.65	c |    668113 |     200    17000   119000 |    78345    75570     58 |  0.003 % |
497.29/497.71	c |    669272 |     200    17000   119000 |    78345    76729     58 |  0.003 % |
498.29/498.75	c |    670545 |     200    17000   119000 |    77458    67404     58 |  0.003 % |
499.49/499.94	c |    671947 |     200    17000   119000 |    77458    68806     58 |  0.003 % |
500.68/501.14	c |    673489 |     200    17000   119000 |    77458    70348     58 |  0.003 % |
501.98/502.47	c |    675184 |     200    17000   119000 |    77458    72043     58 |  0.003 % |
503.39/503.88	c |    677050 |     200    17000   119000 |    77458    73909     58 |  0.003 % |
505.28/505.79	c |    679099 |     200    17000   119000 |    77458    75958     58 |  0.003 % |
507.38/507.84	c |    681352 |     200    17000   119000 |    76859    68433     58 |  0.003 % |
509.38/509.83	c |    683830 |     200    17000   119000 |    76859    70911     58 |  0.003 % |
511.48/511.92	c |    686556 |     200    17000   119000 |    76859    73637     58 |  0.003 % |
514.08/514.60	c |    689553 |     200    17000   119000 |    76859    76634     58 |  0.003 % |
516.68/517.10	c |    692849 |     200    17000   119000 |    67255    61561     58 |  0.003 % |
519.08/519.57	c |    696474 |     200    17000   119000 |    67255    65186     58 |  0.003 % |
521.77/522.27	c |    700462 |     200    17000   119000 | 2147483647    62440     58 |  0.003 % |
524.77/525.20	c |    704848 |     200    17000   119000 | 2147483647    66826     58 |  0.003 % |
528.27/528.70	c |    709672 |     200    17000   119000 | 2147483647    71650     58 |  0.003 % |
531.97/532.48	c |    714977 |     200    17000   119000 | 2147483647    76955     58 |  0.003 % |
536.67/537.10	c |    720812 |     200    17000   119000 |    81978    73222     58 |  0.003 % |
541.47/541.95	c |    727231 |     200    17000   119000 |    81978    79641     58 |  0.003 % |
541.57/542.04	c |    727332 |     200    17000   119000 |    81978    79742     58 |  0.003 % |
541.66/542.13	c |    727442 |     200    17000   119000 |    81978    79852     58 |  0.003 % |
541.77/542.26	c |    727563 |     200    17000   119000 |    81978    79973     58 |  0.003 % |
541.96/542.42	c |    727697 |     200    17000   119000 |    81978    80107     58 |  0.003 % |
542.06/542.57	c |    727845 |     200    17000   119000 |    81978    80255     58 |  0.003 % |
542.26/542.72	c |    728005 |     200    17000   119000 |    81978    80415     58 |  0.003 % |
542.46/542.93	c |    728182 |     200    17000   119000 |    81978    80592     58 |  0.003 % |
542.66/543.13	c |    728375 |     200    17000   119000 |    81978    80785     58 |  0.003 % |
542.87/543.31	c |    728587 |     200    17000   119000 |    81978    80997     58 |  0.003 % |
543.16/543.60	c |    728820 |     200    17000   119000 |    81978    81230     58 |  0.003 % |
543.36/543.86	c |    729076 |     200    17000   119000 |    81978    81486     58 |  0.003 % |
543.76/544.22	c |    729357 |     200    17000   119000 |    81978    81767     58 |  0.003 % |
544.07/544.50	c |    729668 |     200    17000   119000 |    81978    82078     58 |  0.003 % |
544.36/544.86	c |    730008 |     200    17000   119000 |    71206    71214     58 |  0.003 % |
544.67/545.19	c |    730380 |     200    17000   119000 |    71206    61872     58 |  0.003 % |
544.97/545.42	c |    730790 |     200    17000   119000 |    71206    62282     58 |  0.003 % |
545.27/545.75	c |    731240 |     200    17000   119000 |    71206    62732     58 |  0.003 % |
545.57/546.05	c |    731733 |     200    17000   119000 |    71206    63225     58 |  0.003 % |
545.97/546.42	c |    732277 |     200    17000   119000 |    71206    63769     58 |  0.003 % |
546.37/546.80	c |    732873 |     200    17000   119000 |    71206    64365     58 |  0.003 % |
546.77/547.24	c |    733529 |     200    17000   119000 |    71206    65021     58 |  0.003 % |
547.37/547.83	c |    734249 |     200    17000   119000 |    71206    65741     58 |  0.003 % |
547.97/548.48	c |    735041 |     200    17000   119000 |    71206    66533     58 |  0.003 % |
548.77/549.21	c |    735914 |     200    17000   119000 |    71206    67406     58 |  0.003 % |
549.57/550.03	c |    736874 |     200    17000   119000 |    71206    68366     58 |  0.003 % |
550.37/550.86	c |    737927 |     200    17000   119000 |    71206    69419     58 |  0.003 % |
551.37/551.89	c |    739085 |     200    17000   119000 |    71206    70577     58 |  0.003 % |
552.57/553.08	c |    740361 |     200    17000   119000 |    63364    56508     58 |  0.003 % |
553.57/554.03	c |    741761 |     200    17000   119000 |    63364    57908     58 |  0.003 % |
554.57/555.04	c |    743302 |     200    17000   119000 |    63364    59449     58 |  0.003 % |
555.57/556.06	c |    744997 |     200    17000   119000 |    63364    61144     58 |  0.003 % |
556.76/557.30	c |    746861 |     200    17000   119000 |    63364    63008     58 |  0.003 % |
558.16/558.60	c |    748911 |     200    17000   119000 |    63364    58713     59 |  0.003 % |
559.47/559.96	c |    751165 |     200    17000   119000 | 2147483647    60967     59 |  0.003 % |
560.96/561.49	c |    753643 |     200    17000   119000 | 2147483647    63445     58 |  0.003 % |
562.56/563.09	c |    756368 |     200    17000   119000 | 2147483647    66170     58 |  0.003 % |
564.66/565.10	c |    759366 |     200    17000   119000 | 2147483647    69168     58 |  0.003 % |
566.96/567.46	c |    762664 |     200    17000   119000 | 2147483647    72466     58 |  0.003 % |
569.76/570.23	c |    766289 |     200    17000   119000 | 2147483647    76091     58 |  0.003 % |
572.96/573.46	c |    770276 |     200    17000   119000 |    79803    71666     59 |  0.003 % |
576.15/576.69	c |    774661 |     200    17000   119000 |    79803    76051     59 |  0.003 % |
579.85/580.39	c |    779484 |     200    17000   119000 |    79803    72141     59 |  0.003 % |
583.65/584.17	c |    784789 |     200    17000   119000 |    72657    69685     59 |  0.003 % |
587.75/588.27	c |    790624 |     200    17000   119000 | 2147483647    68244     59 |  0.003 % |
592.45/592.96	c |    797042 |     200    17000   119000 | 2147483647    74662     59 |  0.003 % |
597.95/598.49	c |    804101 |     200    17000   119000 |    77621    73110     59 |  0.003 % |
598.04/598.57	c |    804201 |     200    17000   119000 |    77621    73210     59 |  0.003 % |
598.14/598.67	c |    804311 |     200    17000   119000 |    77621    73320     59 |  0.003 % |
598.24/598.78	c |    804433 |     200    17000   119000 |    77621    73442     59 |  0.003 % |
598.34/598.88	c |    804568 |     200    17000   119000 |    77621    73577     59 |  0.003 % |
598.54/599.01	c |    804714 |     200    17000   119000 |    77621    73723     59 |  0.003 % |
598.64/599.14	c |    804876 |     200    17000   119000 |    77621    73885     59 |  0.003 % |
598.84/599.32	c |    805052 |     200    17000   119000 |    77621    74061     59 |  0.003 % |
599.04/599.50	c |    805245 |     200    17000   119000 |    77621    74254     59 |  0.003 % |
599.14/599.69	c |    805457 |     200    17000   119000 |    77621    74466     59 |  0.003 % |
599.34/599.89	c |    805692 |     200    17000   119000 |    77621    74701     59 |  0.003 % |
599.54/600.09	c |    805949 |     200    17000   119000 |    77621    74958     59 |  0.003 % |
599.84/600.32	c |    806232 |     200    17000   119000 |    77621    75241     59 |  0.003 % |
600.04/600.57	c |    806541 |     200    17000   119000 |    77621    75550     59 |  0.003 % |
600.34/600.89	c |    806881 |     200    17000   119000 |    77621    75890     59 |  0.003 % |
600.74/601.20	c |    807255 |     200    17000   119000 |    77621    76264     59 |  0.003 % |
601.04/601.59	c |    807666 |     200    17000   119000 |    77621    76675     59 |  0.003 % |
601.44/601.98	c |    808115 |     200    17000   119000 |    77621    77124     59 |  0.003 % |
601.94/602.40	c |    808608 |     200    17000   119000 |    77621    77617     59 |  0.003 % |
602.34/602.86	c |    809151 |     200    17000   119000 |    77621    68183     59 |  0.003 % |
602.84/603.34	c |    809748 |     200    17000   119000 |    77621    68780     59 |  0.003 % |
603.44/603.92	c |    810403 |     200    17000   119000 |    69032    60805     59 |  0.003 % |
603.94/604.41	c |    811123 |     200    17000   119000 |    69032    61525     59 |  0.003 % |
604.44/604.94	c |    811915 |     200    17000   119000 |    69032    62317     59 |  0.003 % |
604.94/605.48	c |    812788 |     200    17000   119000 |    69032    63190     59 |  0.003 % |
605.54/606.09	c |    813746 |     200    17000   119000 |    69032    64148     59 |  0.003 % |
606.23/606.76	c |    814799 |     200    17000   119000 |    69032    65201     59 |  0.003 % |
607.03/607.51	c |    815957 |     200    17000   119000 |    69032    66359     59 |  0.003 % |
607.84/608.39	c |    817232 |     200    17000   119000 |    69032    67634     59 |  0.003 % |
608.84/609.33	c |    818632 |     200    17000   119000 |    69032    69034     59 |  0.003 % |
609.83/610.36	c |    820172 |     200    17000   119000 | 2147483647    63671     59 |  0.003 % |
611.04/611.53	c |    821867 |     200    17000   119000 | 2147483647    65366     59 |  0.003 % |
612.33/612.84	c |    823730 |     200    17000   119000 | 2147483647    67229     59 |  0.003 % |
613.73/614.27	c |    825780 |     200    17000   119000 | 2147483647    69279     59 |  0.003 % |
615.44/615.99	c |    828034 |     200    17000   119000 | 2147483647    71533     59 |  0.003 % |
617.43/617.95	c |    830512 |     200    17000   119000 | 2147483647    74011     59 |  0.003 % |
619.73/620.26	c |    833237 |     200    17000   119000 | 2147483647    76736     59 |  0.003 % |
622.23/622.79	c |    836235 |     200    17000   119000 | 2147483647    79734     59 |  0.003 % |
624.83/625.34	c |    839531 |     200    17000   119000 | 2147483647    83030     59 |  0.003 % |
627.63/628.12	c |    843156 |     200    17000   119000 |    83500    74293     59 |  0.003 % |
631.02/631.52	c |    847144 |     200    17000   119000 |    83500    78281     59 |  0.003 % |
634.72/635.24	c |    851529 |     200    17000   119000 |    81137    71129     59 |  0.003 % |
638.72/639.27	c |    856352 |     200    17000   119000 |    81137    75952     59 |  0.003 % |
643.12/643.62	c |    861657 |     200    17000   119000 |    79602    69942     59 |  0.003 % |
647.72/648.23	c |    867495 |     200    17000   119000 |    79602    75780     59 |  0.003 % |
652.41/652.94	c |    873913 |     200    17000   119000 |    78285    72337     58 |  0.003 % |
658.01/658.59	c |    880972 |     200    17000   119000 |    69044    61794     59 |  0.003 % |
663.31/663.89	c |    888737 |     200    17000   119000 |    69044    62646     59 |  0.003 % |
663.41/663.96	c |    888838 |     200    17000   119000 |    69044    62747     59 |  0.003 % |
663.51/664.03	c |    888949 |     200    17000   119000 |    69044    62858     59 |  0.003 % |
663.61/664.12	c |    889070 |     200    17000   119000 |    69044    62979     59 |  0.003 % |
663.71/664.26	c |    889204 |     200    17000   119000 |    69044    63113     59 |  0.003 % |
663.81/664.36	c |    889350 |     200    17000   119000 |    69044    63259     59 |  0.003 % |
663.91/664.49	c |    889510 |     200    17000   119000 |    69044    63419     59 |  0.003 % |
664.11/664.64	c |    889686 |     200    17000   119000 |    69044    63595     59 |  0.003 % |
664.31/664.80	c |    889880 |     200    17000   119000 |    69044    63789     59 |  0.003 % |
664.41/664.96	c |    890092 |     200    17000   119000 | 2147483647    64001     59 |  0.003 % |
664.61/665.17	c |    890325 |     200    17000   119000 | 2147483647    64234     59 |  0.003 % |
664.81/665.38	c |    890581 |     200    17000   119000 | 2147483647    64490     59 |  0.003 % |
665.11/665.62	c |    890864 |     200    17000   119000 | 2147483647    64773     59 |  0.003 % |
665.41/665.90	c |    891174 |     200    17000   119000 | 2147483647    65083     59 |  0.003 % |
665.60/666.18	c |    891513 |     200    17000   119000 | 2147483647    65422     59 |  0.003 % |
665.90/666.49	c |    891886 |     200    17000   119000 | 2147483647    65795     59 |  0.003 % |
666.30/666.81	c |    892296 |     200    17000   119000 | 2147483647    66205     59 |  0.003 % |
666.60/667.19	c |    892745 |     200    17000   119000 | 2147483647    66654     59 |  0.003 % |
667.00/667.54	c |    893242 |     200    17000   119000 | 2147483647    67151     59 |  0.003 % |
667.40/667.93	c |    893785 |     200    17000   119000 | 2147483647    67694     59 |  0.003 % |
667.80/668.34	c |    894383 |     200    17000   119000 | 2147483647    68292     59 |  0.003 % |
668.21/668.77	c |    895039 |     200    17000   119000 | 2147483647    68948     59 |  0.003 % |
668.90/669.47	c |    895761 |     200    17000   119000 | 2147483647    69670     59 |  0.003 % |
669.60/670.16	c |    896553 |     200    17000   119000 | 2147483647    70462     59 |  0.003 % |
670.41/670.98	c |    897425 |     200    17000   119000 | 2147483647    71334     59 |  0.003 % |
671.20/671.78	c |    898383 |     200    17000   119000 | 2147483647    72292     59 |  0.003 % |
672.00/672.57	c |    899436 |     200    17000   119000 | 2147483647    73345     59 |  0.003 % |
672.90/673.49	c |    900595 |     200    17000   119000 |    73910    66470     59 |  0.003 % |
674.00/674.55	c |    901870 |     200    17000   119000 |    73910    67745     58 |  0.003 % |
675.10/675.64	c |    903274 |     200    17000   119000 |    73910    69149     58 |  0.003 % |
676.20/676.71	c |    904816 |     200    17000   119000 |    73910    70691     58 |  0.003 % |
677.40/677.97	c |    906510 |     200    17000   119000 |    73910    72385     58 |  0.003 % |
679.09/679.67	c |    908374 |     200    17000   119000 |    73910    65983     58 |  0.003 % |
680.59/681.17	c |    910423 |     200    17000   119000 |    67609    60868     58 |  0.003 % |
682.09/682.67	c |    912677 |     200    17000   119000 |    67609    63122     58 |  0.003 % |
683.70/684.27	c |    915155 |     200    17000   119000 |    67609    65600     58 |  0.003 % |
685.59/686.14	c |    917882 |     200    17000   119000 |    67609    61557     58 |  0.003 % |
687.69/688.24	c |    920880 |     200    17000   119000 | 2147483647    64555     58 |  0.003 % |
689.99/690.59	c |    924176 |     200    17000   119000 | 2147483647    67851     58 |  0.003 % |
692.59/693.19	c |    927801 |     200    17000   119000 | 2147483647    71476     58 |  0.003 % |
695.59/696.17	c |    931788 |     200    17000   119000 | 2147483647    75463     58 |  0.003 % |
698.89/699.44	c |    936175 |     200    17000   119000 | 2147483647    79850     58 |  0.003 % |
702.59/703.16	c |    940998 |     200    17000   119000 |    83678    74597     58 |  0.003 % |
706.48/707.04	c |    946303 |     200    17000   119000 |    83678    79902     58 |  0.003 % |
711.09/711.63	c |    952139 |     200    17000   119000 |    83600    75602     58 |  0.003 % |
716.18/716.78	c |    958557 |     200    17000   119000 |    83600    82020     59 |  0.003 % |
721.88/722.44	c |    965617 |     200    17000   119000 |    83463    77618     58 |  0.003 % |
727.89/728.48	c |    973381 |     200    17000   119000 |    82002    73445     59 |  0.003 % |
734.48/735.09	c |    981921 |     200    17000   119000 |    80064    71026     59 |  0.003 % |
734.58/735.16	c |    982021 |     200    17000   119000 |    80064    71126     59 |  0.003 % |
734.68/735.27	c |    982131 |     200    17000   119000 |    80064    71236     59 |  0.003 % |
734.78/735.38	c |    982253 |     200    17000   119000 |    80064    71358     59 |  0.003 % |
734.88/735.48	c |    982388 |     200    17000   119000 |    80064    71493     59 |  0.003 % |
735.08/735.61	c |    982534 |     200    17000   119000 |    80064    71639     59 |  0.003 % |
735.18/735.76	c |    982694 |     200    17000   119000 |    80064    71799     59 |  0.003 % |
735.39/735.91	c |    982871 |     200    17000   119000 |    80064    71976     59 |  0.003 % |
735.48/736.08	c |    983065 |     200    17000   119000 |    80064    72170     59 |  0.003 % |
735.68/736.27	c |    983277 |     200    17000   119000 |    80064    72382     59 |  0.003 % |
735.88/736.44	c |    983512 |     200    17000   119000 |    80064    72617     59 |  0.003 % |
736.08/736.69	c |    983769 |     200    17000   119000 |    80064    72874     59 |  0.003 % |
736.38/736.95	c |    984050 |     200    17000   119000 |    80064    73155     59 |  0.003 % |
736.68/737.20	c |    984359 |     200    17000   119000 |    80064    73464     59 |  0.003 % |
736.88/737.46	c |    984698 |     200    17000   119000 |    80064    73803     59 |  0.003 % |
737.18/737.77	c |    985070 |     200    17000   119000 |    80064    74175     59 |  0.003 % |
737.58/738.11	c |    985480 |     200    17000   119000 |    80064    74585     59 |  0.003 % |
737.98/738.53	c |    985929 |     200    17000   119000 |    80064    75034     59 |  0.003 % |
738.38/738.97	c |    986422 |     200    17000   119000 |    80064    75527     59 |  0.003 % |
738.88/739.43	c |    986964 |     200    17000   119000 |    80064    76069     59 |  0.003 % |
739.28/739.89	c |    987560 |     200    17000   119000 |    80064    76665     59 |  0.003 % |
739.88/740.45	c |    988217 |     200    17000   119000 |    80064    77322     59 |  0.003 % |
740.48/741.05	c |    988939 |     200    17000   119000 |    80064    78044     59 |  0.003 % |
741.18/741.75	c |    989731 |     200    17000   119000 |    80064    78836     59 |  0.003 % |
741.98/742.52	c |    990602 |     200    17000   119000 |    79105    68748     59 |  0.003 % |
742.78/743.30	c |    991560 |     200    17000   119000 |    79105    69706     59 |  0.003 % |
743.68/744.24	c |    992613 |     200    17000   119000 |    79105    70759     59 |  0.003 % |
744.58/745.17	c |    993772 |     200    17000   119000 |    79105    71918     59 |  0.003 % |
745.57/746.17	c |    995045 |     200    17000   119000 |    79105    73191     59 |  0.003 % |
746.77/747.33	c |    996447 |     200    17000   119000 |    79105    74593     59 |  0.003 % |
747.97/748.52	c |    997988 |     200    17000   119000 |    79105    76134     59 |  0.003 % |
749.37/749.97	c |    999682 |     200    17000   119000 |    79105    77828     59 |  0.003 % |
750.67/751.27	c |   1001545 |     200    17000   119000 |    78146    68957     58 |  0.003 % |
752.17/752.79	c |   1003594 |     200    17000   119000 |    78146    71006     59 |  0.003 % |
753.97/754.51	c |   1005849 |     200    17000   119000 |    78146    73261     59 |  0.003 % |
755.77/756.32	c |   1008327 |     200    17000   119000 |    78146    75739     58 |  0.003 % |
757.87/758.49	c |   1011053 |     200    17000   119000 |    77412    69013     58 |  0.003 % |
760.36/760.93	c |   1014050 |     200    17000   119000 |    77412    72010     58 |  0.003 % |
763.06/763.61	c |   1017349 |     200    17000   119000 |    77412    75309     58 |  0.003 % |
766.07/766.62	c |   1020974 |     200    17000   119000 |    68468    61126     58 |  0.003 % |
768.86/769.44	c |   1024963 |     200    17000   119000 |    68468    65115     58 |  0.003 % |
771.86/772.45	c |   1029348 |     200    17000   119000 |    68468    62644     58 |  0.003 % |
774.96/775.53	c |   1034171 |     200    17000   119000 | 2147483647    67467     58 |  0.003 % |
778.76/779.33	c |   1039476 |     200    17000   119000 | 2147483647    72772     58 |  0.003 % |
782.86/783.42	c |   1045311 |     200    17000   119000 | 2147483647    78607     58 |  0.003 % |
787.85/788.41	c |   1051729 |     200    17000   119000 |    83297    75227     58 |  0.003 % |
793.25/793.80	c |   1058790 |     200    17000   119000 |    83297    82288     58 |  0.003 % |
798.95/799.60	c |   1066554 |     200    17000   119000 |    73248    70854     59 |  0.003 % |
805.04/805.64	c |   1075094 |     200    17000   119000 |    66789    65092     59 |  0.003 % |
810.94/811.57	c |   1084489 |     200    17000   119000 | 2147483647    67799     60 |  0.003 % |
811.04/811.65	c |   1084589 |     200    17000   119000 | 2147483647    67899     60 |  0.003 % |
811.14/811.74	c |   1084701 |     200    17000   119000 | 2147483647    68011     60 |  0.003 % |
811.24/811.83	c |   1084822 |     200    17000   119000 | 2147483647    68132     60 |  0.003 % |
811.34/811.93	c |   1084955 |     200    17000   119000 | 2147483647    68265     60 |  0.003 % |
811.44/812.05	c |   1085102 |     200    17000   119000 | 2147483647    68412     60 |  0.003 % |
811.54/812.17	c |   1085262 |     200    17000   119000 | 2147483647    68572     60 |  0.003 % |
811.74/812.32	c |   1085438 |     200    17000   119000 | 2147483647    68748     60 |  0.003 % |
811.84/812.49	c |   1085631 |     200    17000   119000 | 2147483647    68941     60 |  0.003 % |
812.04/812.64	c |   1085843 |     200    17000   119000 | 2147483647    69153     60 |  0.003 % |
812.24/812.84	c |   1086076 |     200    17000   119000 | 2147483647    69386     60 |  0.003 % |
812.54/813.10	c |   1086336 |     200    17000   119000 | 2147483647    69646     60 |  0.003 % |
812.74/813.34	c |   1086618 |     200    17000   119000 | 2147483647    69928     60 |  0.003 % |
812.94/813.58	c |   1086927 |     200    17000   119000 | 2147483647    70237     60 |  0.003 % |
813.24/813.89	c |   1087266 |     200    17000   119000 | 2147483647    70576     60 |  0.003 % |
813.54/814.20	c |   1087639 |     200    17000   119000 | 2147483647    70949     60 |  0.003 % |
813.94/814.51	c |   1088049 |     200    17000   119000 | 2147483647    71359     60 |  0.003 % |
814.34/814.93	c |   1088499 |     200    17000   119000 | 2147483647    71809     60 |  0.003 % |
814.84/815.40	c |   1088992 |     200    17000   119000 | 2147483647    72302     60 |  0.003 % |
815.24/815.84	c |   1089535 |     200    17000   119000 | 2147483647    72845     60 |  0.003 % |
815.84/816.42	c |   1090131 |     200    17000   119000 |    73310    65996     60 |  0.003 % |
816.34/816.91	c |   1090787 |     200    17000   119000 |    73310    66652     60 |  0.003 % |
816.83/817.47	c |   1091507 |     200    17000   119000 |    73310    67372     60 |  0.003 % |
817.53/818.17	c |   1092300 |     200    17000   119000 |    73310    68165     60 |  0.003 % |
818.13/818.80	c |   1093171 |     200    17000   119000 |    73310    69036     60 |  0.003 % |
818.94/819.52	c |   1094130 |     200    17000   119000 |    73310    69995     60 |  0.003 % |
819.73/820.32	c |   1095183 |     200    17000   119000 |    73310    71048     60 |  0.003 % |
820.63/821.26	c |   1096341 |     200    17000   119000 |    73310    72206     60 |  0.003 % |
821.63/822.29	c |   1097614 |     200    17000   119000 |    73310    65326     60 |  0.003 % |
822.73/823.30	c |   1099014 |     200    17000   119000 |    73310    66726     59 |  0.003 % |
824.03/824.62	c |   1100556 |     200    17000   119000 |    67712    60774     60 |  0.003 % |
825.13/825.74	c |   1102250 |     200    17000   119000 |    67712    62468     59 |  0.003 % |
826.43/827.01	c |   1104113 |     200    17000   119000 |    67712    64331     59 |  0.003 % |
827.74/828.38	c |   1106164 |     200    17000   119000 |    67712    66382     59 |  0.003 % |
829.23/829.86	c |   1108418 |     200    17000   119000 |    67712    61855     59 |  0.003 % |
830.83/831.46	c |   1110897 |     200    17000   119000 | 2147483647    64334     59 |  0.003 % |
832.53/833.16	c |   1113622 |     200    17000   119000 | 2147483647    67059     59 |  0.003 % |
834.53/835.10	c |   1116620 |     200    17000   119000 | 2147483647    70057     59 |  0.003 % |
836.93/837.57	c |   1119917 |     200    17000   119000 | 2147483647    73354     59 |  0.003 % |
839.43/840.03	c |   1123542 |     200    17000   119000 | 2147483647    76979     59 |  0.003 % |
842.82/843.45	c |   1127530 |     200    17000   119000 | 2147483647    80967     59 |  0.003 % |
846.62/847.24	c |   1131916 |     200    17000   119000 |    83439    74404     59 |  0.003 % |
850.52/851.12	c |   1136740 |     200    17000   119000 |    83439    79228     59 |  0.003 % |
854.72/855.37	c |   1142047 |     200    17000   119000 |    82491    72980     59 |  0.003 % |
859.41/860.02	c |   1147883 |     200    17000   119000 |    82491    78816     59 |  0.003 % |
864.61/865.22	c |   1154302 |     200    17000   119000 |    80933    74568     58 |  0.003 % |
870.31/870.98	c |   1161361 |     200    17000   119000 |    80267    71285     59 |  0.003 % |
875.91/876.60	c |   1169125 |     200    17000   119000 |    80267    79049     58 |  0.003 % |
882.41/883.06	c |   1177666 |     200    17000   119000 |    79925    78728     59 |  0.003 % |
889.01/889.66	c |   1187062 |     200    17000   119000 |    71624    70390     59 |  0.003 % |
896.51/897.15	c |   1197396 |     200    17000   119000 | 2147483647    73553     59 |  0.003 % |
896.61/897.23	c |   1197496 |     200    17000   119000 | 2147483647    73653     59 |  0.003 % |
896.71/897.34	c |   1197606 |     200    17000   119000 | 2147483647    73763     59 |  0.003 % |
896.81/897.43	c |   1197728 |     200    17000   119000 | 2147483647    73885     59 |  0.003 % |
896.91/897.53	c |   1197861 |     200    17000   119000 | 2147483647    74018     59 |  0.003 % |
897.01/897.67	c |   1198007 |     200    17000   119000 | 2147483647    74164     59 |  0.003 % |
897.21/897.85	c |   1198168 |     200    17000   119000 | 2147483647    74325     59 |  0.003 % |
897.41/898.00	c |   1198344 |     200    17000   119000 | 2147483647    74501     59 |  0.003 % |
897.51/898.16	c |   1198537 |     200    17000   119000 | 2147483647    74694     59 |  0.003 % |
897.71/898.36	c |   1198751 |     200    17000   119000 | 2147483647    74908     59 |  0.003 % |
897.91/898.57	c |   1198984 |     200    17000   119000 | 2147483647    75141     59 |  0.003 % |
898.11/898.80	c |   1199241 |     200    17000   119000 | 2147483647    75398     59 |  0.003 % |
898.40/899.02	c |   1199522 |     200    17000   119000 | 2147483647    75679     59 |  0.003 % |
898.70/899.32	c |   1199837 |     200    17000   119000 | 2147483647    75994     59 |  0.003 % |
899.00/899.69	c |   1200177 |     200    17000   119000 |    76157    67090     59 |  0.003 % |
899.30/899.97	c |   1200551 |     200    17000   119000 |    76157    67464     59 |  0.003 % |
899.70/900.31	c |   1200961 |     200    17000   119000 |    76157    67874     59 |  0.003 % |
900.00/900.66	c |   1201410 |     200    17000   119000 |    76157    68323     59 |  0.003 % |
900.41/901.08	c |   1201904 |     200    17000   119000 |    76157    68817     59 |  0.003 % |
900.81/901.50	c |   1202446 |     200    17000   119000 |    76157    69359     59 |  0.003 % |
901.31/901.99	c |   1203043 |     200    17000   119000 |    76157    69956     59 |  0.003 % |
902.00/902.61	c |   1203698 |     200    17000   119000 |    76157    70611     59 |  0.003 % |
902.60/903.22	c |   1204418 |     200    17000   119000 |    76157    71331     59 |  0.003 % |
903.10/903.79	c |   1205210 |     200    17000   119000 |    76157    72123     59 |  0.003 % |
903.80/904.40	c |   1206082 |     200    17000   119000 |    76157    72995     59 |  0.003 % |
904.61/905.28	c |   1207040 |     200    17000   119000 |    76157    73953     59 |  0.003 % |
905.60/906.20	c |   1208094 |     200    17000   119000 |    76157    75007     59 |  0.003 % |
906.50/907.14	c |   1209252 |     200    17000   119000 |    76157    76165     59 |  0.003 % |
907.50/908.17	c |   1210526 |     200    17000   119000 |    67073    59005     59 |  0.003 % |
908.50/909.17	c |   1211926 |     200    17000   119000 |    67073    60405     59 |  0.003 % |
909.40/910.09	c |   1213466 |     200    17000   119000 |    67073    61945     59 |  0.003 % |
910.50/911.10	c |   1215160 |     200    17000   119000 |    67073    63639     59 |  0.003 % |
911.80/912.41	c |   1217023 |     200    17000   119000 |    67073    65502     59 |  0.003 % |
913.50/914.14	c |   1219076 |     200    17000   119000 |    67073    60838     59 |  0.003 % |
915.20/915.84	c |   1221329 |     200    17000   119000 | 2147483647    63091     59 |  0.003 % |
916.89/917.59	c |   1223809 |     200    17000   119000 | 2147483647    65571     59 |  0.003 % |
918.79/919.47	c |   1226535 |     200    17000   119000 | 2147483647    68297     59 |  0.003 % |
921.10/921.80	c |   1229532 |     200    17000   119000 | 2147483647    71294     59 |  0.003 % |
924.09/924.75	c |   1232829 |     200    17000   119000 | 2147483647    74591     59 |  0.003 % |
926.99/927.69	c |   1236454 |     200    17000   119000 | 2147483647    78216     59 |  0.003 % |
930.29/930.91	c |   1240442 |     200    17000   119000 |    81763    71516     59 |  0.003 % |
933.49/934.13	c |   1244828 |     200    17000   119000 |    81763    75902     59 |  0.003 % |
937.09/937.71	c |   1249654 |     200    17000   119000 |    81763    80728     59 |  0.003 % |
940.89/941.59	c |   1254960 |     200    17000   119000 |    81074    75359     59 |  0.003 % |
945.68/946.39	c |   1260797 |     200    17000   119000 |    80399    70562     59 |  0.003 % |
950.78/951.46	c |   1267216 |     200    17000   119000 |    80399    76981     59 |  0.003 % |
956.08/956.77	c |   1274275 |     200    17000   119000 |    79766    73031     59 |  0.003 % |
961.58/962.29	c |   1282039 |     200    17000   119000 |    78756    71750     59 |  0.003 % |
968.77/969.40	c |   1290580 |     200    17000   119000 |    68878    60138     59 |  0.003 % |
974.77/975.42	c |   1299974 |     200    17000   119000 |    68878    62636     59 |  0.003 % |
981.87/982.58	c |   1310308 |     200    17000   119000 | 2147483647    72970     59 |  0.003 % |
990.96/991.64	c |   1321674 |     200    17000   119000 |    82663    74098     59 |  0.003 % |
991.06/991.71	c |   1321775 |     200    17000   119000 |    82663    74199     59 |  0.003 % |
991.06/991.80	c |   1321886 |     200    17000   119000 |    82663    74310     59 |  0.003 % |
991.16/991.89	c |   1322007 |     200    17000   119000 |    82663    74431     59 |  0.003 % |
991.36/992.02	c |   1322141 |     200    17000   119000 |    82663    74565     59 |  0.003 % |
991.47/992.16	c |   1322289 |     200    17000   119000 |    82663    74713     59 |  0.003 % |
991.57/992.29	c |   1322451 |     200    17000   119000 |    82663    74875     59 |  0.003 % |
991.77/992.45	c |   1322628 |     200    17000   119000 |    82663    75052     59 |  0.003 % |
991.87/992.60	c |   1322821 |     200    17000   119000 |    82663    75245     59 |  0.003 % |
992.07/992.78	c |   1323034 |     200    17000   119000 |    82663    75458     59 |  0.003 % |
992.36/993.03	c |   1323267 |     200    17000   119000 |    82663    75691     59 |  0.003 % |
992.57/993.25	c |   1323523 |     200    17000   119000 |    82663    75947     59 |  0.003 % |
992.86/993.55	c |   1323805 |     200    17000   119000 |    82663    76229     59 |  0.003 % |
993.16/993.85	c |   1324115 |     200    17000   119000 |    82663    76539     59 |  0.003 % |
993.46/994.17	c |   1324454 |     200    17000   119000 |    82663    76878     59 |  0.003 % |
993.86/994.50	c |   1324827 |     200    17000   119000 |    82663    77251     59 |  0.003 % |
994.16/994.84	c |   1325237 |     200    17000   119000 |    82663    77661     59 |  0.003 % |
994.56/995.24	c |   1325686 |     200    17000   119000 |    82663    78110     59 |  0.003 % |
994.96/995.65	c |   1326180 |     200    17000   119000 |    82663    78604     59 |  0.003 % |
995.36/996.05	c |   1326723 |     200    17000   119000 |    82663    79147     59 |  0.003 % |
995.87/996.59	c |   1327320 |     200    17000   119000 |    82663    79744     59 |  0.003 % |
996.46/997.14	c |   1327975 |     200    17000   119000 |    82663    80399     59 |  0.003 % |
997.16/997.82	c |   1328695 |     200    17000   119000 |    82663    81119     59 |  0.003 % |
997.76/998.49	c |   1329489 |     200    17000   119000 |    82663    81913     59 |  0.003 % |
998.66/999.38	c |   1330360 |     200    17000   119000 |    82424    70616     59 |  0.003 % |
999.46/1000.15	c |   1331319 |     200    17000   119000 |    82424    71575     59 |  0.003 % |
1000.26/1000.94	c |   1332373 |     200    17000   119000 |    82424    72629     59 |  0.003 % |
1001.06/1001.73	c |   1333533 |     200    17000   119000 |    82424    73789     59 |  0.003 % |
1002.16/1002.89	c |   1334806 |     200    17000   119000 |    82424    75062     59 |  0.003 % |
1003.56/1004.25	c |   1336208 |     200    17000   119000 |    82424    76464     59 |  0.003 % |
1004.86/1005.53	c |   1337748 |     200    17000   119000 |    82424    78004     59 |  0.003 % |
1006.26/1006.95	c |   1339442 |     200    17000   119000 |    82424    79698     59 |  0.003 % |
1007.65/1008.34	c |   1341305 |     200    17000   119000 |    80257    70043     59 |  0.003 % |
1009.16/1009.83	c |   1343358 |     200    17000   119000 |    80257    72096     59 |  0.003 % |
1010.75/1011.46	c |   1345611 |     200    17000   119000 |    80257    74349     59 |  0.003 % |
1012.75/1013.47	c |   1348089 |     200    17000   119000 |    80257    76827     59 |  0.003 % |
1015.25/1015.93	c |   1350818 |     200    17000   119000 |    78738    69121     59 |  0.003 % |
1017.45/1018.11	c |   1353815 |     200    17000   119000 |    78738    72118     59 |  0.003 % |
1019.85/1020.60	c |   1357111 |     200    17000   119000 |    78738    75414     59 |  0.003 % |
1022.55/1023.23	c |   1360737 |     200    17000   119000 |    78303    69710     59 |  0.003 % |
1025.45/1026.15	c |   1364725 |     200    17000   119000 |    78303    73698     59 |  0.003 % |
1028.75/1029.45	c |   1369110 |     200    17000   119000 |    78303    78083     59 |  0.003 % |
1032.05/1032.75	c |   1373933 |     200    17000   119000 |    69781    65624     59 |  0.003 % |
1035.64/1036.36	c |   1379239 |     200    17000   119000 |    69781    63943     59 |  0.003 % |
1039.94/1040.60	c |   1385074 |     200    17000   119000 | 2147483647    69778     59 |  0.003 % |
1044.54/1045.21	c |   1391494 |     200    17000   119000 |    74705    68484     59 |  0.003 % |
1049.53/1050.26	c |   1398555 |     200    17000   119000 |    74705    67589     59 |  0.003 % |
1054.73/1055.42	c |   1406320 |     200    17000   119000 |    69036    68038     60 |  0.003 % |
1060.53/1061.22	c |   1414861 |     200    17000   119000 | 2147483647    69666     60 |  0.003 % |
1067.63/1068.37	c |   1424256 |     200    17000   119000 | 2147483647    79061     60 |  0.003 % |
1075.53/1076.21	c |   1434590 |     200    17000   119000 |    84806    77821     60 |  0.003 % |
1084.72/1085.40	c |   1445958 |     200    17000   119000 |    83232    77327     60 |  0.003 % |
1094.72/1095.42	c |   1458462 |     200    17000   119000 |    81369    78531     59 |  0.003 % |
1094.82/1095.52	c |   1458563 |     200    17000   119000 |    81369    78632     59 |  0.003 % |
1094.92/1095.63	c |   1458676 |     200    17000   119000 |    81369    78745     59 |  0.003 % |
1095.02/1095.74	c |   1458798 |     200    17000   119000 |    81369    78867     59 |  0.003 % |
1095.12/1095.89	c |   1458931 |     200    17000   119000 |    81369    79000     59 |  0.003 % |
1095.32/1096.04	c |   1459077 |     200    17000   119000 |    81369    79146     59 |  0.003 % |
1095.52/1096.25	c |   1459239 |     200    17000   119000 |    81369    79308     59 |  0.003 % |
1095.72/1096.46	c |   1459415 |     200    17000   119000 |    81369    79484     59 |  0.003 % |
1095.92/1096.66	c |   1459608 |     200    17000   119000 |    81369    79677     59 |  0.003 % |
1096.12/1096.87	c |   1459821 |     200    17000   119000 |    81369    79890     59 |  0.003 % |
1096.32/1097.08	c |   1460054 |     200    17000   119000 |    80070    80123     59 |  0.003 % |
1096.61/1097.38	c |   1460310 |     200    17000   119000 |    80070    69542     59 |  0.003 % |
1096.91/1097.62	c |   1460591 |     200    17000   119000 |    80070    69823     59 |  0.003 % |
1097.21/1097.91	c |   1460900 |     200    17000   119000 |    80070    70132     59 |  0.003 % |
1097.51/1098.22	c |   1461239 |     200    17000   119000 |    80070    70471     59 |  0.003 % |
1097.81/1098.54	c |   1461611 |     200    17000   119000 |    80070    70843     59 |  0.003 % |
1098.12/1098.84	c |   1462021 |     200    17000   119000 |    80070    71253     59 |  0.003 % |
1098.52/1099.27	c |   1462470 |     200    17000   119000 |    80070    71702     59 |  0.003 % |
1098.91/1099.67	c |   1462963 |     200    17000   119000 |    80070    72195     59 |  0.003 % |
1099.41/1100.13	c |   1463506 |     200    17000   119000 |    80070    72738     59 |  0.003 % |
1100.01/1100.71	c |   1464102 |     200    17000   119000 |    80070    73334     59 |  0.003 % |
1100.61/1101.31	c |   1464758 |     200    17000   119000 |    80070    73990     59 |  0.003 % |
1101.21/1101.90	c |   1465478 |     200    17000   119000 |    80070    74710     59 |  0.003 % |
1101.81/1102.57	c |   1466270 |     200    17000   119000 |    80070    75502     59 |  0.003 % |
1102.52/1103.30	c |   1467141 |     200    17000   119000 |    80070    76373     59 |  0.003 % |
1103.31/1104.05	c |   1468099 |     200    17000   119000 |    80070    77331     59 |  0.003 % |
1104.41/1105.10	c |   1469153 |     200    17000   119000 |    80070    78385     59 |  0.003 % |
1105.41/1106.12	c |   1470312 |     200    17000   119000 |    79235    67676     59 |  0.003 % |
1106.31/1107.07	c |   1471586 |     200    17000   119000 |    79235    68950     59 |  0.003 % |
1107.41/1108.20	c |   1472987 |     200    17000   119000 |    79235    70351     59 |  0.003 % |
1108.71/1109.42	c |   1474528 |     200    17000   119000 |    79235    71892     59 |  0.003 % |
1110.21/1110.94	c |   1476222 |     200    17000   119000 |    79235    73586     59 |  0.003 % |
1111.81/1112.52	c |   1478086 |     200    17000   119000 |    79235    75450     59 |  0.003 % |
1113.61/1114.35	c |   1480135 |     200    17000   119000 |    77364    67025     58 |  0.003 % |
1115.31/1116.08	c |   1482388 |     200    17000   119000 |    77364    69278     58 |  0.003 % |
1117.21/1117.96	c |   1484867 |     200    17000   119000 |    77364    71757     58 |  0.003 % |
1119.30/1120.07	c |   1487592 |     200    17000   119000 |    77364    74482     58 |  0.003 % |
1121.90/1122.66	c |   1490589 |     200    17000   119000 |    76890    68040     58 |  0.003 % |
1124.40/1125.16	c |   1493886 |     200    17000   119000 |    76890    71337     58 |  0.003 % |
1127.00/1127.79	c |   1497511 |     200    17000   119000 |    76890    74962     58 |  0.003 % |
1130.50/1131.22	c |   1501500 |     200    17000   119000 |    67986    61110     58 |  0.003 % |
1133.70/1134.40	c |   1505886 |     200    17000   119000 |    67986    65496     58 |  0.003 % |
1137.00/1137.74	c |   1510709 |     200    17000   119000 | 2147483647    63512     58 |  0.003 % |
1140.80/1141.59	c |   1516014 |     200    17000   119000 | 2147483647    68817     58 |  0.003 % |
1145.69/1146.43	c |   1521850 |     200    17000   119000 |    72803    66829     58 |  0.003 % |
1150.29/1151.01	c |   1528268 |     200    17000   119000 |    72803    65230     58 |  0.003 % |
1155.19/1155.96	c |   1535327 |     200    17000   119000 |    66963    65160     59 |  0.003 % |
1160.39/1161.18	c |   1543091 |     200    17000   119000 | 2147483647    66218     59 |  0.003 % |
1166.89/1167.63	c |   1551631 |     200    17000   119000 |    73129    67348     59 |  0.003 % |
1173.78/1174.56	c |   1561027 |     200    17000   119000 |    68021    62002     59 |  0.003 % |
1181.19/1181.94	c |   1571360 |     200    17000   119000 | 2147483647    65524     59 |  0.003 % |
1189.79/1190.51	c |   1582727 |     200    17000   119000 | 2147483647    76891     59 |  0.003 % |
1200.09/1200.81	HOME/SatELiteGTI: line 36: 21183 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-1832579-1242784795/watcher-1832579-1242784795 -o /tmp/evaluation-result-1832579-1242784795/solver-1832579-1242784795 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832579-1242784795.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21177
/proc/meminfo: memFree=1858216/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306507918 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21177/statm: 1339 237 197 169 0 50 0

[startup+0.0679089 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21177
/proc/meminfo: memFree=1858216/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.101913 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21177
/proc/meminfo: memFree=1858216/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301952 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21177
/proc/meminfo: memFree=1858216/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.702032 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21177
/proc/meminfo: memFree=1858216/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21183
/proc/meminfo: memFree=1854168/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=4932 CPUtime=1.42
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 1011 0 0 0 141 1 0 0 25 0 1 0 306507925 5050368 997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 1233 997 76 171 0 1060 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10288

[startup+3.10149 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21183
/proc/meminfo: memFree=1852440/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=7176 CPUtime=3.01
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 1570 0 0 0 300 1 0 0 25 0 1 0 306507925 7348224 1556 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 1794 1556 76 171 0 1621 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12532

[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21183
/proc/meminfo: memFree=1848856/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=10272 CPUtime=6.21
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 2325 0 0 0 619 2 0 0 25 0 1 0 306507925 10518528 2311 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 2568 2311 76 171 0 2395 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15628

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21183
/proc/meminfo: memFree=1844568/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=14184 CPUtime=12.6
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 3284 0 0 0 1257 3 0 0 25 0 1 0 306507925 14524416 3270 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 3546 3270 76 171 0 3373 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 19540

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21183
/proc/meminfo: memFree=1838808/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=19732 CPUtime=25.4
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 4662 0 0 0 2535 5 0 0 25 0 1 0 306507925 20205568 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 4933 4648 76 171 0 4760 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 25088

[startup+51.1017 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 21183
/proc/meminfo: memFree=1835032/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=23296 CPUtime=50.96
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 5571 0 0 0 5090 6 0 0 25 0 1 0 306507925 23855104 5557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 5824 5557 76 171 0 5651 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 28652

[startup+102.305 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 21189
/proc/meminfo: memFree=1833560/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=24616 CPUtime=102.14
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 5901 0 0 0 10206 8 0 0 25 0 1 0 306507925 25206784 5887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6154 5887 76 171 0 5981 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 29972

[startup+162.302 s]
/proc/loadavg: 1.14 1.05 1.01 2/66 21665
/proc/meminfo: memFree=1791000/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=25540 CPUtime=162
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6129 0 0 0 16189 11 0 0 25 0 1 0 306507925 26152960 6115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6385 6115 76 171 0 6212 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 30896

[startup+222.301 s]
/proc/loadavg: 1.04 1.04 1.00 2/66 21665
/proc/meminfo: memFree=1790872/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=25540 CPUtime=221.98
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6147 0 0 0 22186 12 0 0 25 0 1 0 306507925 26152960 6133 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6385 6133 76 171 0 6212 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 30896

[startup+282.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 21665
/proc/meminfo: memFree=1790040/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=26332 CPUtime=281.94
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6346 0 0 0 28182 12 0 0 25 0 1 0 306507925 26963968 6332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6583 6332 76 171 0 6410 0
Current children cumulated CPU time (s) 281.99
Current children cumulated vsize (KiB) 31688

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 21665
/proc/meminfo: memFree=1789976/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=26332 CPUtime=341.91
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6346 0 0 0 34178 13 0 0 25 0 1 0 306507925 26963968 6332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6583 6332 76 171 0 6410 0
Current children cumulated CPU time (s) 341.96
Current children cumulated vsize (KiB) 31688

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 21665
/proc/meminfo: memFree=1789208/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=26992 CPUtime=401.89
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6520 0 0 0 40175 14 0 0 25 0 1 0 306507925 27639808 6506 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6748 6506 76 171 0 6575 0
Current children cumulated CPU time (s) 401.94
Current children cumulated vsize (KiB) 32348

[startup+462.301 s]

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

[pid=21183] ppid=21177 vsize=27124 CPUtime=461.85
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6540 0 0 0 46171 14 0 0 25 0 1 0 306507925 27774976 6526 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6781 6526 76 171 0 6608 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 32480

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1789016/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=27124 CPUtime=521.82
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6542 0 0 0 52168 14 0 0 25 0 1 0 306507925 27774976 6528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6781 6528 76 171 0 6608 0
Current children cumulated CPU time (s) 521.87
Current children cumulated vsize (KiB) 32480

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1788888/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=27124 CPUtime=581.8
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6542 0 0 0 58165 15 0 0 25 0 1 0 306507925 27774976 6528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6781 6528 76 171 0 6608 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 32480

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1788120/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=27784 CPUtime=641.77
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6706 0 0 0 64162 15 0 0 25 0 1 0 306507925 28450816 6692 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6946 6692 76 171 0 6773 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 33140

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1787928/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=27784 CPUtime=701.74
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6706 0 0 0 70159 15 0 0 25 0 1 0 306507925 28450816 6692 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6946 6692 76 171 0 6773 0
Current children cumulated CPU time (s) 701.79
Current children cumulated vsize (KiB) 33140

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1787672/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=27916 CPUtime=761.72
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6744 0 0 0 76156 16 0 0 25 0 1 0 306507925 28585984 6730 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6979 6730 76 171 0 6806 0
Current children cumulated CPU time (s) 761.77
Current children cumulated vsize (KiB) 33272

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1787672/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=27916 CPUtime=821.68
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6744 0 0 0 82152 16 0 0 25 0 1 0 306507925 28585984 6730 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 6979 6730 76 171 0 6806 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 33272

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1787352/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=28180 CPUtime=881.66
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6796 0 0 0 88149 17 0 0 25 0 1 0 306507925 28856320 6782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 7045 6782 76 171 0 6872 0
Current children cumulated CPU time (s) 881.71
Current children cumulated vsize (KiB) 33536

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1787224/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=28180 CPUtime=941.63
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6796 0 0 0 94146 17 0 0 25 0 1 0 306507925 28856320 6782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 7045 6782 76 171 0 6872 0
Current children cumulated CPU time (s) 941.68
Current children cumulated vsize (KiB) 33536

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1787032/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=28220 CPUtime=1001.61
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6817 0 0 0 100144 17 0 0 25 0 1 0 306507925 28897280 6802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 7055 6802 76 171 0 6882 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 33576

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1787032/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=28220 CPUtime=1061.58
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 6817 0 0 0 106141 17 0 0 25 0 1 0 306507925 28897280 6802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 7055 6802 76 171 0 6882 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 33576

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1785880/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=29276 CPUtime=1121.55
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 7081 0 0 0 112138 17 0 0 25 0 1 0 306507925 29978624 7066 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 7319 7066 76 171 0 7146 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 34632

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1785752/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=29276 CPUtime=1181.54
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 7081 0 0 0 118136 18 0 0 25 0 1 0 306507925 29978624 7066 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 7319 7066 76 171 0 7146 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 34632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21665
/proc/meminfo: memFree=1785752/2055920 swapFree=4177160/4192956
[pid=21177] ppid=21175 vsize=5356 CPUtime=0.05
/proc/21177/stat : 21177 (SatELiteGTI) S 21175 21177 21067 0 -1 4194304 336 748 0 0 0 0 5 0 16 0 1 0 306507918 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 239 197 169 0 50 0
[pid=21183] ppid=21177 vsize=29276 CPUtime=1200.04
/proc/21183/stat : 21183 (minisat_static) R 21177 21177 21067 0 -1 4194304 7081 0 0 0 119986 18 0 0 25 0 1 0 306507925 29978624 7066 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/21183/statm: 7319 7066 76 171 0 7146 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 34632

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): 1200.81
CPU time (s): 1200.12
CPU user time (s): 1199.92
CPU system time (s): 0.19697
CPU usage (%): 99.9418
Max. virtual memory (cumulated for all children) (KiB): 34632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.92
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8174
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= 25
involuntary context switches= 4541

runsolver used 1.47278 second user time and 3.02754 second system time

The end

Launcher Data

Begin job on node38 at 2009-05-20 03:59:55
IDJOB=1832579
IDBENCH=70253
IDSOLVER=671
FILE ID=node38/1832579-1242784795
PBS_JOBID= 9322327
Free space on /tmp= 66200 MiB

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

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

MD5SUM BENCH= b6119f642cd28b8170b8f409c6616618
RANDOM SEED=1548779228

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1858696 kB
Buffers:         28352 kB
Cached:         127204 kB
SwapCached:       9956 kB
Active:          78836 kB
Inactive:        89320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858696 kB
SwapTotal:     4192956 kB
SwapFree:      4177160 kB
Dirty:            2096 kB
Writeback:           0 kB
Mapped:          14032 kB
Slab:            15100 kB
Committed_AS:  1085424 kB
PageTables:       1456 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= 66200 MiB
End job on node38 at 2009-05-20 04:19:57