Trace number 1832575

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
MD5SUM382f60389aa2be490306466e5f9deebc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   17000   119000 |    5099       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 200   #clauses: 17000   #literals: 119000
0.00/0.03	c CPU time:   0.021996 s
0.00/0.03	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.07	c |  Number of variables:  200                                                  |
0.00/0.07	c |  Number of clauses:    17000                                                |
0.00/0.08	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     200    17000   119000 |     5666        0    nan |  0.000 % |
0.00/0.10	c |       100 |     200    17000   119000 |     5666      100     58 |  0.003 % |
0.05/0.11	c |       200 |     200    17000   119000 |     5666      200     59 |  0.003 % |
0.05/0.12	c |       300 |     200    17000   119000 |     5666      300     58 |  0.003 % |
0.05/0.13	c |       410 |     200    17000   119000 |     5666      410     59 |  0.003 % |
0.05/0.14	c |       512 |     200    17000   119000 |     5666      512     58 |  0.003 % |
0.05/0.15	c |       625 |     200    17000   119000 |     5666      625     59 |  0.003 % |
0.05/0.16	c |       747 |     200    17000   119000 |     5666      747     59 |  0.003 % |
0.05/0.17	c |       847 |     200    17000   119000 |     5666      847     59 |  0.003 % |
0.05/0.18	c |       959 |     200    17000   119000 |     5666      959     59 |  0.003 % |
0.05/0.19	c |      1082 |     200    17000   119000 |     5666     1082     59 |  0.003 % |
0.05/0.20	c |      1215 |     200    17000   119000 |     5666     1215     58 |  0.003 % |
0.05/0.21	c |      1315 |     200    17000   119000 |     5666     1315     58 |  0.003 % |
0.05/0.22	c |      1426 |     200    17000   119000 |     5666     1426     58 |  0.003 % |
0.05/0.23	c |      1550 |     200    17000   119000 |     5666     1550     58 |  0.003 % |
0.05/0.24	c |      1683 |     200    17000   119000 |     5666     1683     58 |  0.003 % |
0.05/0.25	c |      1830 |     200    17000   119000 |     5666     1830     58 |  0.003 % |
0.05/0.26	c |      1931 |     200    17000   119000 |     5666     1931     58 |  0.003 % |
0.05/0.27	c |      2042 |     200    17000   119000 |     5666     2042     58 |  0.003 % |
0.05/0.28	c |      2163 |     200    17000   119000 |     5666     2163     58 |  0.003 % |
0.05/0.30	c |      2297 |     200    17000   119000 |     5666     2297     58 |  0.003 % |
0.05/0.31	c |      2443 |     200    17000   119000 |     5666     2443     58 |  0.003 % |
0.05/0.33	c |      2604 |     200    17000   119000 |     5666     2604     58 |  0.003 % |
0.05/0.34	c |      2704 |     200    17000   119000 |     5666     2704     58 |  0.003 % |
0.05/0.35	c |      2814 |     200    17000   119000 |     5666     2814     58 |  0.003 % |
0.05/0.36	c |      2936 |     200    17000   119000 |     5666     2936     58 |  0.003 % |
0.05/0.37	c |      3069 |     200    17000   119000 |     5666     3069     58 |  0.003 % |
0.05/0.39	c |      3219 |     200    17000   119000 |     5666     3219     58 |  0.003 % |
0.05/0.40	c |      3379 |     200    17000   119000 |     5666     3379     58 |  0.003 % |
0.05/0.42	c |      3555 |     200    17000   119000 |     5666     3555     58 |  0.003 % |
0.05/0.43	c |      3656 |     200    17000   119000 |     5666     3656     58 |  0.003 % |
0.05/0.44	c |      3766 |     200    17000   119000 |     5666     3766     58 |  0.003 % |
0.05/0.46	c |      3889 |     200    17000   119000 |     5666     3889     58 |  0.003 % |
0.05/0.47	c |      4022 |     200    17000   119000 |     5666     4022     58 |  0.003 % |
0.05/0.48	c |      4169 |     200    17000   119000 |     5666     4169     58 |  0.003 % |
0.05/0.50	c |      4329 |     200    17000   119000 |     5666     4329     58 |  0.003 % |
0.05/0.52	c |      4506 |     200    17000   119000 |     5666     4506     58 |  0.003 % |
0.05/0.54	c |      4700 |     200    17000   119000 |     5666     4700     58 |  0.003 % |
0.05/0.55	c |      4802 |     200    17000   119000 |     5666     4802     58 |  0.003 % |
0.05/0.56	c |      4913 |     200    17000   119000 |     5666     4913     58 |  0.003 % |
0.05/0.58	c |      5034 |     200    17000   119000 |     5666     5034     58 |  0.003 % |
0.05/0.59	c |      5168 |     200    17000   119000 |     5666     5168     58 |  0.003 % |
0.05/0.61	c |      5314 |     200    17000   119000 |     5666     5314     58 |  0.003 % |
0.05/0.63	c |      5474 |     200    17000   119000 |     5666     5474     58 |  0.003 % |
0.05/0.65	c |      5650 |     200    17000   119000 |     5666     5650     58 |  0.003 % |
0.05/0.68	c |      5846 |     200    17000   119000 |     5666     5269     57 |  0.003 % |
0.05/0.70	c |      6058 |     200    17000   119000 |     5666     5481     57 |  0.003 % |
0.05/0.71	c |      6160 |     200    17000   119000 |     5666     5583     57 |  0.003 % |
0.05/0.73	c |      6271 |     200    17000   119000 |     5666     5694     57 |  0.003 % |
0.05/0.75	c |      6393 |     200    17000   119000 |     5666     5247     57 |  0.003 % |
0.05/0.76	c |      6526 |     200    17000   119000 |     5666     5380     57 |  0.003 % |
0.05/0.78	c |      6672 |     200    17000   119000 |     5666     5526     57 |  0.003 % |
0.05/0.80	c |      6832 |     200    17000   119000 |     5666     5686     57 |  0.003 % |
0.05/0.82	c |      7011 |     200    17000   119000 |     5666     5297     57 |  0.003 % |
0.05/0.84	c |      7204 |     200    17000   119000 |     5666     5490     57 |  0.003 % |
0.05/0.86	c |      7418 |     200    17000   119000 |     5666     5704     57 |  0.003 % |
0.05/0.89	c |      7651 |     200    17000   119000 |     5666     5367     57 |  0.003 % |
0.05/0.90	c |      7752 |     200    17000   119000 |     5666     5468     57 |  0.003 % |
0.05/0.92	c |      7862 |     200    17000   119000 |     5666     5578     57 |  0.003 % |
0.05/0.93	c |      7983 |     200    17000   119000 |     5666     5699     57 |  0.003 % |
0.05/0.95	c |      8118 |     200    17000   119000 |     5666     5265     57 |  0.003 % |
0.05/0.96	c |      8264 |     200    17000   119000 |     5666     5411     57 |  0.003 % |
0.05/0.98	c |      8424 |     200    17000   119000 |     5666     5571     57 |  0.003 % |
0.97/1.01	c |      8602 |     200    17000   119000 |     5666     5749     57 |  0.003 % |
0.97/1.03	c |      8795 |     200    17000   119000 |     5666     5368     57 |  0.003 % |
0.97/1.06	c |      9009 |     200    17000   119000 |     5666     5582     57 |  0.003 % |
0.97/1.09	c |      9245 |     200    17000   119000 |     5666     5242     57 |  0.003 % |
1.07/1.12	c |      9501 |     200    17000   119000 |     5666     5498     57 |  0.003 % |
1.07/1.14	c |      9601 |     200    17000   119000 |     5666     5598     57 |  0.003 % |
1.07/1.15	c |      9712 |     200    17000   119000 |     5666     5709     57 |  0.003 % |
1.07/1.16	c |      9833 |     200    17000   119000 |     5666     5260     57 |  0.003 % |
1.07/1.18	c |      9966 |     200    17000   119000 |     5666     5393     57 |  0.003 % |
1.07/1.20	c |     10112 |     200    17000   119000 | 2147483647     5539     57 |  0.003 % |
1.17/1.22	c |     10273 |     200    17000   119000 | 2147483647     5700     57 |  0.003 % |
1.17/1.24	c |     10450 |     200    17000   119000 | 2147483647     5877     57 |  0.003 % |
1.17/1.26	c |     10644 |     200    17000   119000 | 2147483647     6071     57 |  0.003 % |
1.17/1.29	c |     10856 |     200    17000   119000 | 2147483647     6283     57 |  0.003 % |
1.27/1.32	c |     11089 |     200    17000   119000 | 2147483647     6516     57 |  0.003 % |
1.27/1.35	c |     11347 |     200    17000   119000 | 2147483647     6774     57 |  0.003 % |
1.27/1.39	c |     11628 |     200    17000   119000 | 2147483647     7055     57 |  0.003 % |
1.37/1.40	c |     11728 |     200    17000   119000 | 2147483647     7155     57 |  0.003 % |
1.37/1.41	c |     11839 |     200    17000   119000 | 2147483647     7266     57 |  0.003 % |
1.37/1.43	c |     11961 |     200    17000   119000 | 2147483647     7388     57 |  0.003 % |
1.37/1.45	c |     12094 |     200    17000   119000 | 2147483647     7521     57 |  0.003 % |
1.37/1.47	c |     12241 |     200    17000   119000 | 2147483647     7668     57 |  0.003 % |
1.37/1.50	c |     12402 |     200    17000   119000 | 2147483647     7829     57 |  0.003 % |
1.47/1.52	c |     12578 |     200    17000   119000 | 2147483647     8005     57 |  0.003 % |
1.47/1.55	c |     12772 |     200    17000   119000 | 2147483647     8199     57 |  0.003 % |
1.47/1.58	c |     12984 |     200    17000   119000 | 2147483647     8411     57 |  0.003 % |
1.56/1.61	c |     13217 |     200    17000   119000 | 2147483647     8644     57 |  0.003 % |
1.56/1.64	c |     13473 |     200    17000   119000 | 2147483647     8900     57 |  0.003 % |
1.56/1.68	c |     13755 |     200    17000   119000 | 2147483647     9182     57 |  0.003 % |
1.66/1.73	c |     14064 |     200    17000   119000 | 2147483647     9491     57 |  0.003 % |
1.66/1.75	c |     14164 |     200    17000   119000 | 2147483647     9591     57 |  0.003 % |
1.66/1.76	c |     14274 |     200    17000   119000 | 2147483647     9701     57 |  0.003 % |
1.66/1.78	c |     14396 |     200    17000   119000 | 2147483647     9823     57 |  0.003 % |
1.76/1.80	c |     14529 |     200    17000   119000 | 2147483647     9956     57 |  0.003 % |
1.76/1.82	c |     14675 |     200    17000   119000 | 2147483647    10102     57 |  0.003 % |
1.76/1.85	c |     14837 |     200    17000   119000 | 2147483647    10264     57 |  0.003 % |
1.76/1.87	c |     15013 |     200    17000   119000 | 2147483647    10440     57 |  0.003 % |
1.86/1.91	c |     15206 |     200    17000   119000 | 2147483647    10633     57 |  0.003 % |
1.86/1.94	c |     15421 |     200    17000   119000 | 2147483647    10848     57 |  0.003 % |
1.86/1.98	c |     15654 |     200    17000   119000 | 2147483647    11081     57 |  0.003 % |
1.96/2.02	c |     15912 |     200    17000   119000 | 2147483647    11339     57 |  0.003 % |
1.96/2.07	c |     16193 |     200    17000   119000 | 2147483647    11620     57 |  0.003 % |
2.07/2.12	c |     16502 |     200    17000   119000 | 2147483647    11929     57 |  0.003 % |
2.07/2.17	c |     16842 |     200    17000   119000 | 2147483647    12269     57 |  0.003 % |
2.07/2.19	c |     16943 |     200    17000   119000 | 2147483647    12370     57 |  0.003 % |
2.16/2.21	c |     17053 |     200    17000   119000 | 2147483647    12480     57 |  0.003 % |
2.16/2.24	c |     17174 |     200    17000   119000 | 2147483647    12601     57 |  0.003 % |
2.16/2.26	c |     17308 |     200    17000   119000 | 2147483647    12735     57 |  0.003 % |
2.16/2.29	c |     17455 |     200    17000   119000 | 2147483647    12882     57 |  0.003 % |
2.26/2.32	c |     17615 |     200    17000   119000 | 2147483647    13042     57 |  0.003 % |
2.26/2.35	c |     17791 |     200    17000   119000 | 2147483647    13218     57 |  0.003 % |
2.26/2.39	c |     17986 |     200    17000   119000 | 2147483647    13413     57 |  0.003 % |
2.37/2.43	c |     18199 |     200    17000   119000 | 2147483647    13626     57 |  0.003 % |
2.37/2.48	c |     18433 |     200    17000   119000 | 2147483647    13860     57 |  0.003 % |
2.47/2.52	c |     18690 |     200    17000   119000 | 2147483647    14117     57 |  0.003 % |
2.47/2.58	c |     18971 |     200    17000   119000 | 2147483647    14398     57 |  0.003 % |
2.57/2.64	c |     19282 |     200    17000   119000 | 2147483647    14709     57 |  0.003 % |
2.67/2.71	c |     19622 |     200    17000   119000 | 2147483647    15049     57 |  0.003 % |
2.67/2.78	c |     19995 |     200    17000   119000 | 2147483647    15422     57 |  0.003 % |
2.77/2.81	c |     20096 |     200    17000   119000 | 2147483647    15523     57 |  0.003 % |
2.77/2.84	c |     20206 |     200    17000   119000 | 2147483647    15633     57 |  0.003 % |
2.77/2.86	c |     20328 |     200    17000   119000 | 2147483647    15755     57 |  0.003 % |
2.77/2.89	c |     20461 |     200    17000   119000 | 2147483647    15888     57 |  0.003 % |
2.87/2.93	c |     20609 |     200    17000   119000 | 2147483647    16036     57 |  0.003 % |
2.87/2.96	c |     20769 |     200    17000   119000 | 2147483647    16196     57 |  0.003 % |
2.87/2.99	c |     20946 |     200    17000   119000 | 2147483647    16373     57 |  0.003 % |
2.97/3.04	c |     21140 |     200    17000   119000 | 2147483647    16567     57 |  0.003 % |
2.97/3.08	c |     21353 |     200    17000   119000 | 2147483647    16780     57 |  0.003 % |
3.07/3.14	c |     21587 |     200    17000   119000 | 2147483647    17014     57 |  0.003 % |
3.17/3.20	c |     21845 |     200    17000   119000 | 2147483647    17272     57 |  0.003 % |
3.17/3.27	c |     22127 |     200    17000   119000 | 2147483647    17554     57 |  0.003 % |
3.27/3.34	c |     22436 |     200    17000   119000 | 2147483647    17863     57 |  0.003 % |
3.37/3.42	c |     22775 |     200    17000   119000 | 2147483647    18202     57 |  0.003 % |
3.47/3.51	c |     23149 |     200    17000   119000 | 2147483647    18576     57 |  0.003 % |
3.56/3.60	c |     23562 |     200    17000   119000 | 2147483647    18989     57 |  0.003 % |
3.56/3.63	c |     23662 |     200    17000   119000 | 2147483647    19089     57 |  0.003 % |
3.56/3.66	c |     23773 |     200    17000   119000 | 2147483647    19200     57 |  0.003 % |
3.56/3.69	c |     23895 |     200    17000   119000 | 2147483647    19322     57 |  0.003 % |
3.66/3.73	c |     24029 |     200    17000   119000 | 2147483647    19456     57 |  0.003 % |
3.66/3.77	c |     24175 |     200    17000   119000 | 2147483647    19602     58 |  0.003 % |
3.76/3.81	c |     24336 |     200    17000   119000 | 2147483647    19763     58 |  0.003 % |
3.76/3.86	c |     24513 |     200    17000   119000 | 2147483647    19940     58 |  0.003 % |
3.86/3.92	c |     24707 |     200    17000   119000 | 2147483647    20134     58 |  0.003 % |
3.86/3.98	c |     24919 |     200    17000   119000 | 2147483647    20346     58 |  0.003 % |
3.96/4.05	c |     25152 |     200    17000   119000 | 2147483647    20579     58 |  0.003 % |
4.06/4.11	c |     25410 |     200    17000   119000 | 2147483647    20837     58 |  0.003 % |
4.06/4.19	c |     25691 |     200    17000   119000 | 2147483647    21118     58 |  0.003 % |
4.16/4.27	c |     26000 |     200    17000   119000 | 2147483647    21427     58 |  0.003 % |
4.26/4.37	c |     26339 |     200    17000   119000 | 2147483647    21766     58 |  0.003 % |
4.36/4.48	c |     26711 |     200    17000   119000 | 2147483647    22138     58 |  0.003 % |
4.46/4.58	c |     27120 |     200    17000   119000 | 2147483647    22547     58 |  0.003 % |
4.66/4.70	c |     27570 |     200    17000   119000 | 2147483647    22997     58 |  0.003 % |
4.66/4.74	c |     27671 |     200    17000   119000 | 2147483647    23098     58 |  0.003 % |
4.66/4.77	c |     27782 |     200    17000   119000 | 2147483647    23209     58 |  0.003 % |
4.76/4.81	c |     27903 |     200    17000   119000 | 2147483647    23330     58 |  0.003 % |
4.76/4.86	c |     28038 |     200    17000   119000 | 2147483647    23465     58 |  0.003 % |
4.86/4.91	c |     28184 |     200    17000   119000 | 2147483647    23611     58 |  0.003 % |
4.86/4.96	c |     28345 |     200    17000   119000 | 2147483647    23772     58 |  0.003 % |
4.97/5.01	c |     28521 |     200    17000   119000 | 2147483647    23948     58 |  0.003 % |
4.97/5.08	c |     28714 |     200    17000   119000 | 2147483647    24141     58 |  0.003 % |
5.07/5.16	c |     28926 |     200    17000   119000 | 2147483647    24353     58 |  0.003 % |
5.17/5.23	c |     29160 |     200    17000   119000 | 2147483647    24587     58 |  0.003 % |
5.27/5.30	c |     29417 |     200    17000   119000 | 2147483647    24844     58 |  0.003 % |
5.27/5.39	c |     29701 |     200    17000   119000 | 2147483647    25128     58 |  0.003 % |
5.37/5.48	c |     30011 |     200    17000   119000 | 2147483647    25438     58 |  0.003 % |
5.57/5.62	c |     30350 |     200    17000   119000 | 2147483647    25777     58 |  0.003 % |
5.67/5.74	c |     30724 |     200    17000   119000 | 2147483647    26151     58 |  0.003 % |
5.77/5.87	c |     31133 |     200    17000   119000 | 2147483647    26560     58 |  0.003 % |
5.97/6.01	c |     31583 |     200    17000   119000 | 2147483647    27010     58 |  0.003 % |
6.07/6.19	c |     32077 |     200    17000   119000 | 2147483647    27504     58 |  0.003 % |
6.17/6.23	c |     32179 |     200    17000   119000 | 2147483647    27606     58 |  0.003 % |
6.17/6.27	c |     32289 |     200    17000   119000 | 2147483647    27716     58 |  0.003 % |
6.27/6.31	c |     32410 |     200    17000   119000 | 2147483647    27837     58 |  0.003 % |
6.27/6.36	c |     32545 |     200    17000   119000 | 2147483647    27972     58 |  0.003 % |
6.37/6.42	c |     32691 |     200    17000   119000 | 2147483647    28118     58 |  0.003 % |
6.37/6.48	c |     32853 |     200    17000   119000 | 2147483647    28280     58 |  0.003 % |
6.47/6.54	c |     33030 |     200    17000   119000 | 2147483647    28457     58 |  0.003 % |
6.57/6.61	c |     33223 |     200    17000   119000 | 2147483647    28650     58 |  0.003 % |
6.57/6.69	c |     33436 |     200    17000   119000 | 2147483647    28863     58 |  0.003 % |
6.66/6.77	c |     33670 |     200    17000   119000 | 2147483647    29097     58 |  0.003 % |
6.76/6.85	c |     33926 |     200    17000   119000 | 2147483647    29353     58 |  0.003 % |
6.86/6.96	c |     34209 |     200    17000   119000 | 2147483647    29636     58 |  0.003 % |
6.96/7.08	c |     34523 |     200    17000   119000 | 2147483647    29950     58 |  0.003 % |
7.16/7.21	c |     34864 |     200    17000   119000 | 2147483647    30291     58 |  0.003 % |
7.26/7.35	c |     35237 |     200    17000   119000 | 2147483647    30664     58 |  0.003 % |
7.46/7.50	c |     35647 |     200    17000   119000 | 2147483647    31074     58 |  0.003 % |
7.57/7.67	c |     36096 |     200    17000   119000 | 2147483647    31523     58 |  0.003 % |
7.76/7.87	c |     36589 |     200    17000   119000 | 2147483647    32016     58 |  0.003 % |
8.06/8.10	c |     37131 |     200    17000   119000 | 2147483647    32558     58 |  0.003 % |
8.06/8.14	c |     37231 |     200    17000   119000 | 2147483647    32658     58 |  0.003 % |
8.06/8.19	c |     37341 |     200    17000   119000 | 2147483647    32768     58 |  0.003 % |
8.16/8.23	c |     37462 |     200    17000   119000 | 2147483647    32889     58 |  0.003 % |
8.16/8.28	c |     37596 |     200    17000   119000 | 2147483647    33023     58 |  0.003 % |
8.26/8.35	c |     37742 |     200    17000   119000 | 2147483647    33169     58 |  0.003 % |
8.36/8.43	c |     37903 |     200    17000   119000 | 2147483647    33330     58 |  0.003 % |
8.46/8.50	c |     38079 |     200    17000   119000 | 2147483647    33506     58 |  0.003 % |
8.46/8.59	c |     38272 |     200    17000   119000 | 2147483647    33699     58 |  0.003 % |
8.56/8.69	c |     38486 |     200    17000   119000 | 2147483647    33913     58 |  0.003 % |
8.66/8.78	c |     38719 |     200    17000   119000 | 2147483647    34146     58 |  0.003 % |
8.76/8.89	c |     38975 |     200    17000   119000 | 2147483647    34402     58 |  0.003 % |
8.96/9.01	c |     39257 |     200    17000   119000 | 2147483647    34684     58 |  0.003 % |
9.06/9.14	c |     39566 |     200    17000   119000 | 2147483647    34993     58 |  0.003 % |
9.27/9.31	c |     39905 |     200    17000   119000 | 2147483647    35332     58 |  0.003 % |
9.37/9.47	c |     40277 |     200    17000   119000 | 2147483647    35704     58 |  0.003 % |
9.57/9.62	c |     40686 |     200    17000   119000 | 2147483647    36113     58 |  0.003 % |
9.77/9.81	c |     41136 |     200    17000   119000 | 2147483647    36563     58 |  0.003 % |
9.97/10.00	c |     41629 |     200    17000   119000 | 2147483647    37056     58 |  0.003 % |
10.17/10.23	c |     42171 |     200    17000   119000 | 2147483647    37598     58 |  0.003 % |
10.37/10.48	c |     42769 |     200    17000   119000 | 2147483647    38196     58 |  0.003 % |
10.47/10.53	c |     42869 |     200    17000   119000 | 2147483647    38296     58 |  0.003 % |
10.47/10.59	c |     42979 |     200    17000   119000 | 2147483647    38406     58 |  0.003 % |
10.57/10.65	c |     43100 |     200    17000   119000 | 2147483647    38527     58 |  0.003 % |
10.67/10.71	c |     43233 |     200    17000   119000 | 2147483647    38660     58 |  0.003 % |
10.67/10.77	c |     43380 |     200    17000   119000 | 2147483647    38807     58 |  0.003 % |
10.76/10.84	c |     43542 |     200    17000   119000 | 2147483647    38969     58 |  0.003 % |
10.87/10.93	c |     43718 |     200    17000   119000 | 2147483647    39145     58 |  0.003 % |
10.97/11.03	c |     43911 |     200    17000   119000 | 2147483647    39338     58 |  0.003 % |
11.06/11.13	c |     44125 |     200    17000   119000 | 2147483647    39552     58 |  0.003 % |
11.16/11.25	c |     44361 |     200    17000   119000 | 2147483647    39788     58 |  0.003 % |
11.26/11.38	c |     44619 |     200    17000   119000 | 2147483647    40046     58 |  0.003 % |
11.46/11.51	c |     44901 |     200    17000   119000 | 2147483647    40328     58 |  0.003 % |
11.56/11.66	c |     45210 |     200    17000   119000 | 2147483647    40637     58 |  0.003 % |
11.76/11.83	c |     45549 |     200    17000   119000 | 2147483647    40976     58 |  0.003 % |
11.97/12.03	c |     45923 |     200    17000   119000 | 2147483647    41350     58 |  0.003 % |
12.16/12.23	c |     46334 |     200    17000   119000 | 2147483647    41761     58 |  0.003 % |
12.36/12.43	c |     46784 |     200    17000   119000 | 2147483647    42211     58 |  0.003 % |
12.56/12.68	c |     47278 |     200    17000   119000 | 2147483647    42705     58 |  0.003 % |
12.86/12.94	c |     47820 |     200    17000   119000 | 2147483647    43247     58 |  0.003 % |
13.16/13.21	c |     48416 |     200    17000   119000 | 2147483647    43843     58 |  0.003 % |
13.46/13.53	c |     49072 |     200    17000   119000 | 2147483647    44499     58 |  0.003 % |
13.56/13.61	c |     49172 |     200    17000   119000 | 2147483647    44599     58 |  0.003 % |
13.56/13.68	c |     49284 |     200    17000   119000 | 2147483647    44711     58 |  0.003 % |
13.66/13.75	c |     49405 |     200    17000   119000 | 2147483647    44832     58 |  0.003 % |
13.76/13.82	c |     49539 |     200    17000   119000 | 2147483647    44966     58 |  0.003 % |
13.86/13.93	c |     49685 |     200    17000   119000 | 2147483647    45112     58 |  0.003 % |
13.96/14.02	c |     49845 |     200    17000   119000 | 2147483647    45272     58 |  0.003 % |
14.06/14.12	c |     50022 |     200    17000   119000 | 2147483647    45449     58 |  0.003 % |
14.16/14.25	c |     50215 |     200    17000   119000 | 2147483647    45642     58 |  0.003 % |
14.26/14.36	c |     50427 |     200    17000   119000 | 2147483647    45854     58 |  0.003 % |
14.36/14.49	c |     50660 |     200    17000   119000 | 2147483647    46087     58 |  0.003 % |
14.56/14.62	c |     50918 |     200    17000   119000 | 2147483647    46345     58 |  0.003 % |
14.66/14.78	c |     51201 |     200    17000   119000 | 2147483647    46628     58 |  0.003 % |
14.86/14.95	c |     51511 |     200    17000   119000 | 2147483647    46938     58 |  0.003 % |
15.06/15.17	c |     51851 |     200    17000   119000 | 2147483647    47278     58 |  0.003 % |
15.26/15.38	c |     52223 |     200    17000   119000 | 2147483647    47650     58 |  0.003 % |
15.56/15.61	c |     52633 |     200    17000   119000 | 2147483647    48060     58 |  0.003 % |
15.77/15.85	c |     53082 |     200    17000   119000 | 2147483647    48509     58 |  0.003 % |
16.06/16.17	c |     53576 |     200    17000   119000 | 2147483647    49003     58 |  0.003 % |
16.47/16.52	c |     54120 |     200    17000   119000 | 2147483647    49547     58 |  0.003 % |
16.76/16.84	c |     54718 |     200    17000   119000 | 2147483647    50145     58 |  0.003 % |
17.16/17.22	c |     55374 |     200    17000   119000 | 2147483647    50801     58 |  0.003 % |
17.47/17.59	c |     56094 |     200    17000   119000 | 2147483647    51521     58 |  0.003 % |
17.57/17.67	c |     56194 |     200    17000   119000 | 2147483647    51621     58 |  0.003 % |
17.66/17.75	c |     56304 |     200    17000   119000 | 2147483647    51731     58 |  0.003 % |
17.76/17.82	c |     56425 |     200    17000   119000 | 2147483647    51852     58 |  0.003 % |
17.86/17.91	c |     56559 |     200    17000   119000 | 2147483647    51986     58 |  0.003 % |
17.96/18.01	c |     56705 |     200    17000   119000 | 2147483647    52132     58 |  0.003 % |
18.06/18.12	c |     56866 |     200    17000   119000 | 2147483647    52293     58 |  0.003 % |
18.16/18.23	c |     57044 |     200    17000   119000 | 2147483647    52471     58 |  0.003 % |
18.26/18.36	c |     57239 |     200    17000   119000 | 2147483647    52666     58 |  0.003 % |
18.46/18.50	c |     57452 |     200    17000   119000 | 2147483647    52879     58 |  0.003 % |
18.57/18.64	c |     57686 |     200    17000   119000 | 2147483647    53113     58 |  0.003 % |
18.66/18.79	c |     57942 |     200    17000   119000 | 2147483647    53369     58 |  0.003 % |
18.86/18.95	c |     58225 |     200    17000   119000 | 2147483647    53652     58 |  0.003 % |
19.06/19.12	c |     58538 |     200    17000   119000 | 2147483647    53965     58 |  0.003 % |
19.26/19.37	c |     58877 |     200    17000   119000 | 2147483647    54304     58 |  0.003 % |
19.56/19.62	c |     59249 |     200    17000   119000 | 2147483647    54676     58 |  0.003 % |
19.76/19.86	c |     59659 |     200    17000   119000 | 2147483647    55086     58 |  0.003 % |
20.06/20.14	c |     60109 |     200    17000   119000 | 2147483647    55536     58 |  0.003 % |
20.36/20.43	c |     60603 |     200    17000   119000 | 2147483647    56030     58 |  0.003 % |
20.66/20.75	c |     61146 |     200    17000   119000 | 2147483647    56573     58 |  0.003 % |
21.06/21.10	c |     61742 |     200    17000   119000 | 2147483647    57169     58 |  0.003 % |
21.36/21.48	c |     62398 |     200    17000   119000 | 2147483647    57825     58 |  0.003 % |
21.86/21.91	c |     63119 |     200    17000   119000 | 2147483647    58546     58 |  0.003 % |
22.26/22.37	c |     63912 |     200    17000   119000 | 2147483647    59339     58 |  0.003 % |
22.36/22.44	c |     64012 |     200    17000   119000 | 2147483647    59439     58 |  0.003 % |
22.46/22.55	c |     64122 |     200    17000   119000 | 2147483647    59549     58 |  0.003 % |
22.56/22.63	c |     64243 |     200    17000   119000 | 2147483647    59670     58 |  0.003 % |
22.66/22.73	c |     64378 |     200    17000   119000 | 2147483647    59805     58 |  0.003 % |
22.76/22.85	c |     64524 |     200    17000   119000 | 2147483647    59951     58 |  0.003 % |
22.96/23.01	c |     64686 |     200    17000   119000 | 2147483647    60113     58 |  0.003 % |
23.06/23.14	c |     64862 |     200    17000   119000 | 2147483647    60289     58 |  0.003 % |
23.16/23.27	c |     65055 |     200    17000   119000 | 2147483647    60482     58 |  0.003 % |
23.36/23.46	c |     65267 |     200    17000   119000 | 2147483647    60694     58 |  0.003 % |
23.56/23.63	c |     65500 |     200    17000   119000 | 2147483647    60927     58 |  0.003 % |
23.76/23.85	c |     65757 |     200    17000   119000 | 2147483647    61184     58 |  0.003 % |
23.96/24.08	c |     66041 |     200    17000   119000 | 2147483647    61468     58 |  0.003 % |
24.26/24.30	c |     66351 |     200    17000   119000 | 2147483647    61778     58 |  0.003 % |
24.46/24.57	c |     66690 |     200    17000   119000 | 2147483647    62117     58 |  0.003 % |
24.76/24.80	c |     67062 |     200    17000   119000 | 2147483647    62489     58 |  0.003 % |
25.06/25.14	c |     67472 |     200    17000   119000 | 2147483647    62899     58 |  0.003 % |
25.36/25.46	c |     67921 |     200    17000   119000 | 2147483647    63348     58 |  0.003 % |
25.76/25.82	c |     68415 |     200    17000   119000 | 2147483647    63842     58 |  0.003 % |
26.16/26.20	c |     68957 |     200    17000   119000 | 2147483647    64384     58 |  0.003 % |
26.56/26.61	c |     69556 |     200    17000   119000 | 2147483647    64983     58 |  0.003 % |
27.06/27.12	c |     70211 |     200    17000   119000 | 2147483647    65638     58 |  0.003 % |
27.56/27.62	c |     70931 |     200    17000   119000 | 2147483647    66358     58 |  0.003 % |
28.06/28.15	c |     71723 |     200    17000   119000 | 2147483647    67150     58 |  0.003 % |
28.66/28.74	c |     72596 |     200    17000   119000 | 2147483647    68023     58 |  0.003 % |
28.76/28.84	c |     72696 |     200    17000   119000 | 2147483647    68123     58 |  0.003 % |
28.86/28.94	c |     72806 |     200    17000   119000 | 2147483647    68233     58 |  0.003 % |
28.96/29.04	c |     72927 |     200    17000   119000 | 2147483647    68354     58 |  0.003 % |
29.05/29.16	c |     73062 |     200    17000   119000 | 2147483647    68489     58 |  0.003 % |
29.15/29.29	c |     73208 |     200    17000   119000 | 2147483647    68635     58 |  0.003 % |
29.35/29.42	c |     73372 |     200    17000   119000 | 2147483647    68799     58 |  0.003 % |
29.45/29.57	c |     73549 |     200    17000   119000 | 2147483647    68976     58 |  0.003 % |
29.66/29.76	c |     73744 |     200    17000   119000 | 2147483647    69171     58 |  0.003 % |
29.85/29.94	c |     73956 |     200    17000   119000 | 2147483647    69383     58 |  0.003 % |
30.05/30.14	c |     74189 |     200    17000   119000 | 2147483647    69616     58 |  0.003 % |
30.25/30.34	c |     74445 |     200    17000   119000 | 2147483647    69872     58 |  0.003 % |
30.46/30.57	c |     74726 |     200    17000   119000 | 2147483647    70153     58 |  0.003 % |
30.77/30.81	c |     75036 |     200    17000   119000 | 2147483647    70463     58 |  0.003 % |
31.06/31.16	c |     75376 |     200    17000   119000 | 2147483647    70803     58 |  0.003 % |
31.36/31.47	c |     75748 |     200    17000   119000 | 2147483647    71175     58 |  0.003 % |
31.76/31.82	c |     76157 |     200    17000   119000 | 2147483647    71584     58 |  0.003 % |
32.06/32.16	c |     76606 |     200    17000   119000 | 2147483647    72033     58 |  0.003 % |
32.46/32.56	c |     77099 |     200    17000   119000 | 2147483647    72526     58 |  0.003 % |
32.96/33.05	c |     77643 |     200    17000   119000 | 2147483647    73070     58 |  0.003 % |
33.46/33.58	c |     78240 |     200    17000   119000 | 2147483647    73667     58 |  0.003 % |
33.96/34.10	c |     78895 |     200    17000   119000 | 2147483647    74322     58 |  0.003 % |
34.65/34.70	c |     79615 |     200    17000   119000 | 2147483647    75042     58 |  0.003 % |
35.25/35.38	c |     80407 |     200    17000   119000 |    75429    67133     58 |  0.003 % |
35.85/35.96	c |     81278 |     200    17000   119000 |    75429    68004     58 |  0.003 % |
36.55/36.65	c |     82237 |     200    17000   119000 |    75429    68963     58 |  0.003 % |
36.65/36.74	c |     82339 |     200    17000   119000 |    75429    69065     58 |  0.003 % |
36.75/36.83	c |     82449 |     200    17000   119000 |    75429    69175     58 |  0.003 % |
36.85/36.93	c |     82570 |     200    17000   119000 |    75429    69296     58 |  0.003 % |
36.95/37.07	c |     82704 |     200    17000   119000 |    75429    69430     58 |  0.003 % |
37.15/37.21	c |     82850 |     200    17000   119000 |    75429    69576     58 |  0.003 % |
37.26/37.36	c |     83011 |     200    17000   119000 |    75429    69737     58 |  0.003 % |
37.45/37.55	c |     83188 |     200    17000   119000 |    75429    69914     58 |  0.003 % |
37.65/37.72	c |     83383 |     200    17000   119000 |    75429    70109     58 |  0.003 % |
37.85/37.91	c |     83595 |     200    17000   119000 |    75429    70321     58 |  0.003 % |
38.05/38.12	c |     83829 |     200    17000   119000 |    75429    70555     58 |  0.003 % |
38.25/38.32	c |     84086 |     200    17000   119000 |    75429    70812     58 |  0.003 % |
38.46/38.59	c |     84370 |     200    17000   119000 |    75429    71096     58 |  0.003 % |
38.75/38.86	c |     84679 |     200    17000   119000 |    75429    71405     58 |  0.003 % |
38.95/39.09	c |     85019 |     200    17000   119000 |    75429    71745     58 |  0.003 % |
39.35/39.42	c |     85392 |     200    17000   119000 |    75429    72118     58 |  0.003 % |
39.65/39.77	c |     85801 |     200    17000   119000 |    75429    72527     58 |  0.003 % |
40.05/40.15	c |     86250 |     200    17000   119000 |    75429    72976     58 |  0.003 % |
40.45/40.52	c |     86747 |     200    17000   119000 |    75429    73473     58 |  0.003 % |
40.85/40.96	c |     87292 |     200    17000   119000 |    75429    74018     58 |  0.003 % |
41.35/41.45	c |     87889 |     200    17000   119000 |    75429    74615     58 |  0.003 % |
41.85/41.95	c |     88544 |     200    17000   119000 |    75429    75270     58 |  0.003 % |
42.55/42.62	c |     89265 |     200    17000   119000 |    75429    66375     58 |  0.003 % |
43.15/43.20	c |     90057 |     200    17000   119000 |    67110    67167     58 |  0.003 % |
43.86/43.91	c |     90929 |     200    17000   119000 |    67110    59644     58 |  0.003 % |
44.45/44.57	c |     91887 |     200    17000   119000 |    67110    60602     58 |  0.003 % |
45.15/45.26	c |     92941 |     200    17000   119000 |    67110    61656     58 |  0.003 % |
45.25/45.33	c |     93041 |     200    17000   119000 |    67110    61756     58 |  0.003 % |
45.35/45.45	c |     93152 |     200    17000   119000 |    67110    61867     58 |  0.003 % |
45.46/45.54	c |     93273 |     200    17000   119000 |    67110    61988     58 |  0.003 % |
45.56/45.65	c |     93408 |     200    17000   119000 |    67110    62123     58 |  0.003 % |
45.66/45.75	c |     93554 |     200    17000   119000 |    67110    62269     58 |  0.003 % |
45.76/45.89	c |     93714 |     200    17000   119000 |    67110    62429     58 |  0.003 % |
45.96/46.03	c |     93891 |     200    17000   119000 |    67110    62606     58 |  0.003 % |
46.06/46.17	c |     94085 |     200    17000   119000 |    67110    62800     58 |  0.003 % |
46.26/46.34	c |     94298 |     200    17000   119000 |    67110    63013     58 |  0.003 % |
46.46/46.51	c |     94531 |     200    17000   119000 |    67110    63246     58 |  0.003 % |
46.66/46.73	c |     94787 |     200    17000   119000 |    67110    63502     58 |  0.003 % |
46.86/46.94	c |     95068 |     200    17000   119000 |    67110    63783     58 |  0.003 % |
47.16/47.20	c |     95377 |     200    17000   119000 |    67110    64092     58 |  0.003 % |
47.36/47.45	c |     95717 |     200    17000   119000 |    67110    64432     58 |  0.003 % |
47.66/47.74	c |     96090 |     200    17000   119000 |    67110    64805     58 |  0.003 % |
47.96/48.08	c |     96499 |     200    17000   119000 |    67110    65214     58 |  0.003 % |
48.36/48.40	c |     96948 |     200    17000   119000 |    67110    65663     58 |  0.003 % |
48.66/48.76	c |     97441 |     200    17000   119000 |    67110    66156     58 |  0.003 % |
49.06/49.16	c |     97983 |     200    17000   119000 |    67110    66698     58 |  0.003 % |
49.56/49.66	c |     98579 |     200    17000   119000 |    67110    60476     58 |  0.003 % |
50.06/50.17	c |     99235 |     200    17000   119000 |    67110    61132     58 |  0.003 % |
50.56/50.69	c |     99955 |     200    17000   119000 |    67110    61852     58 |  0.003 % |
51.16/51.22	c |    100747 |     200    17000   119000 |    61898    56380     58 |  0.003 % |
51.66/51.75	c |    101618 |     200    17000   119000 |    61898    57251     58 |  0.003 % |
52.26/52.33	c |    102576 |     200    17000   119000 |    61898    58209     58 |  0.003 % |
52.96/53.04	c |    103630 |     200    17000   119000 |    61898    59263     58 |  0.003 % |
53.76/53.83	c |    104791 |     200    17000   119000 |    61898    60424     58 |  0.003 % |
53.86/53.91	c |    104891 |     200    17000   119000 |    61898    60524     58 |  0.003 % |
53.86/53.99	c |    105004 |     200    17000   119000 |    61898    60637     58 |  0.003 % |
54.06/54.11	c |    105127 |     200    17000   119000 |    61898    60760     58 |  0.003 % |
54.16/54.21	c |    105260 |     200    17000   119000 |    61898    60893     58 |  0.003 % |
54.16/54.29	c |    105407 |     200    17000   119000 |    61898    61040     58 |  0.003 % |
54.36/54.41	c |    105570 |     200    17000   119000 |    61898    61203     58 |  0.003 % |
54.46/54.55	c |    105746 |     200    17000   119000 |    61898    61379     58 |  0.003 % |
54.66/54.71	c |    105940 |     200    17000   119000 |    61898    61573     58 |  0.003 % |
54.76/54.88	c |    106152 |     200    17000   119000 |    61898    61785     58 |  0.003 % |
54.96/55.10	c |    106385 |     200    17000   119000 |    61898    55818     58 |  0.003 % |
55.16/55.27	c |    106642 |     200    17000   119000 |    61898    56075     58 |  0.003 % |
55.36/55.44	c |    106925 |     200    17000   119000 |    61898    56358     58 |  0.003 % |
55.56/55.64	c |    107235 |     200    17000   119000 |    61898    56668     58 |  0.003 % |
55.76/55.85	c |    107574 |     200    17000   119000 |    61898    57007     58 |  0.003 % |
56.06/56.14	c |    107948 |     200    17000   119000 |    61898    57381     58 |  0.003 % |
56.36/56.44	c |    108357 |     200    17000   119000 |    61898    57790     58 |  0.003 % |
56.66/56.78	c |    108806 |     200    17000   119000 |    61898    58239     58 |  0.003 % |
57.06/57.10	c |    109301 |     200    17000   119000 |    61898    58734     58 |  0.003 % |
57.35/57.46	c |    109843 |     200    17000   119000 |    61898    59276     58 |  0.003 % |
57.75/57.82	c |    110439 |     200    17000   119000 | 2147483647    59872     58 |  0.003 % |
58.16/58.26	c |    111095 |     200    17000   119000 | 2147483647    60528     58 |  0.003 % |
58.75/58.83	c |    111816 |     200    17000   119000 | 2147483647    61249     58 |  0.003 % |
59.26/59.36	c |    112608 |     200    17000   119000 | 2147483647    62041     58 |  0.003 % |
59.85/59.92	c |    113479 |     200    17000   119000 | 2147483647    62912     58 |  0.003 % |
60.46/60.58	c |    114439 |     200    17000   119000 | 2147483647    63872     58 |  0.003 % |
61.25/61.31	c |    115492 |     200    17000   119000 | 2147483647    64925     58 |  0.003 % |
61.95/62.08	c |    116650 |     200    17000   119000 | 2147483647    66083     58 |  0.003 % |
62.85/62.92	c |    117924 |     200    17000   119000 | 2147483647    67357     58 |  0.003 % |
62.95/63.00	c |    118027 |     200    17000   119000 | 2147483647    67460     58 |  0.003 % |
63.05/63.13	c |    118139 |     200    17000   119000 | 2147483647    67572     58 |  0.003 % |
63.15/63.23	c |    118260 |     200    17000   119000 | 2147483647    67693     58 |  0.003 % |
63.25/63.32	c |    118394 |     200    17000   119000 | 2147483647    67827     58 |  0.003 % |
63.35/63.43	c |    118540 |     200    17000   119000 | 2147483647    67973     58 |  0.003 % |
63.55/63.60	c |    118701 |     200    17000   119000 | 2147483647    68134     58 |  0.003 % |
63.66/63.76	c |    118877 |     200    17000   119000 | 2147483647    68310     58 |  0.003 % |
63.85/63.92	c |    119071 |     200    17000   119000 | 2147483647    68504     58 |  0.003 % |
64.05/64.13	c |    119283 |     200    17000   119000 | 2147483647    68716     58 |  0.003 % |
64.25/64.33	c |    119518 |     200    17000   119000 | 2147483647    68951     58 |  0.003 % |
64.45/64.56	c |    119774 |     200    17000   119000 | 2147483647    69207     58 |  0.003 % |
64.65/64.79	c |    120055 |     200    17000   119000 | 2147483647    69488     58 |  0.003 % |
64.95/65.09	c |    120364 |     200    17000   119000 | 2147483647    69797     58 |  0.003 % |
65.25/65.37	c |    120705 |     200    17000   119000 | 2147483647    70138     58 |  0.003 % |
65.55/65.67	c |    121077 |     200    17000   119000 | 2147483647    70510     58 |  0.003 % |
65.96/66.06	c |    121488 |     200    17000   119000 | 2147483647    70921     58 |  0.003 % |
66.35/66.42	c |    121937 |     200    17000   119000 | 2147483647    71370     58 |  0.003 % |
66.75/66.85	c |    122431 |     200    17000   119000 | 2147483647    71864     58 |  0.003 % |
67.15/67.29	c |    122973 |     200    17000   119000 | 2147483647    72406     58 |  0.003 % |
67.65/67.72	c |    123570 |     200    17000   119000 | 2147483647    73003     58 |  0.003 % |
68.25/68.30	c |    124225 |     200    17000   119000 | 2147483647    73658     58 |  0.003 % |
68.85/68.92	c |    124949 |     200    17000   119000 | 2147483647    74382     58 |  0.003 % |
69.45/69.50	c |    125744 |     200    17000   119000 | 2147483647    75177     58 |  0.003 % |
70.15/70.25	c |    126615 |     200    17000   119000 | 2147483647    76048     58 |  0.003 % |
70.95/71.02	c |    127575 |     200    17000   119000 | 2147483647    77008     58 |  0.003 % |
71.95/72.00	c |    128628 |     200    17000   119000 | 2147483647    78061     58 |  0.003 % |
72.85/72.98	c |    129786 |     200    17000   119000 | 2147483647    79219     58 |  0.003 % |
73.95/74.04	c |    131060 |     200    17000   119000 |    79433    69571     58 |  0.003 % |
75.15/75.27	c |    132462 |     200    17000   119000 |    79433    70973     58 |  0.003 % |
75.25/75.35	c |    132562 |     200    17000   119000 |    79433    71073     58 |  0.003 % |
75.35/75.45	c |    132673 |     200    17000   119000 |    79433    71184     58 |  0.003 % |
75.45/75.55	c |    132795 |     200    17000   119000 |    79433    71306     58 |  0.003 % |
75.55/75.67	c |    132929 |     200    17000   119000 |    79433    71440     58 |  0.003 % |
75.75/75.80	c |    133077 |     200    17000   119000 |    79433    71588     58 |  0.003 % |
75.85/75.96	c |    133239 |     200    17000   119000 |    79433    71750     58 |  0.003 % |
76.05/76.12	c |    133416 |     200    17000   119000 |    79433    71927     58 |  0.003 % |
76.15/76.28	c |    133612 |     200    17000   119000 |    79433    72123     58 |  0.003 % |
76.35/76.46	c |    133824 |     200    17000   119000 |    79433    72335     58 |  0.003 % |
76.55/76.64	c |    134057 |     200    17000   119000 |    79433    72568     58 |  0.003 % |
76.85/76.91	c |    134315 |     200    17000   119000 |    79433    72826     58 |  0.003 % |
77.15/77.21	c |    134597 |     200    17000   119000 |    79433    73108     58 |  0.003 % |
77.35/77.49	c |    134908 |     200    17000   119000 |    79433    73419     58 |  0.003 % |
77.65/77.77	c |    135248 |     200    17000   119000 |    79433    73759     58 |  0.003 % |
77.95/78.09	c |    135621 |     200    17000   119000 |    79433    74132     58 |  0.003 % |
78.35/78.42	c |    136031 |     200    17000   119000 |    79433    74542     58 |  0.003 % |
78.75/78.88	c |    136481 |     200    17000   119000 |    79433    74992     58 |  0.003 % |
79.24/79.32	c |    136976 |     200    17000   119000 |    79433    75487     58 |  0.003 % |
79.64/79.75	c |    137518 |     200    17000   119000 |    79433    76029     58 |  0.003 % |
80.25/80.32	c |    138115 |     200    17000   119000 |    79433    76626     58 |  0.003 % |
80.74/80.88	c |    138770 |     200    17000   119000 |    79433    77281     58 |  0.003 % |
81.35/81.44	c |    139491 |     200    17000   119000 |    79433    78002     58 |  0.003 % |
82.04/82.17	c |    140284 |     200    17000   119000 |    78513    67314     58 |  0.003 % |
82.74/82.85	c |    141155 |     200    17000   119000 |    78513    68185     58 |  0.003 % |
83.45/83.54	c |    142113 |     200    17000   119000 |    78513    69143     58 |  0.003 % |
84.24/84.35	c |    143168 |     200    17000   119000 |    78513    70198     58 |  0.003 % |
85.14/85.20	c |    144326 |     200    17000   119000 |    78513    71356     58 |  0.003 % |
86.04/86.11	c |    145600 |     200    17000   119000 |    78513    72630     58 |  0.003 % |
87.14/87.21	c |    147002 |     200    17000   119000 |    78513    74032     58 |  0.003 % |
88.64/88.71	c |    148542 |     200    17000   119000 |    78513    75572     58 |  0.003 % |
88.74/88.81	c |    148643 |     200    17000   119000 |    78513    75673     58 |  0.003 % |
88.84/88.92	c |    148755 |     200    17000   119000 |    78513    75785     58 |  0.003 % |
88.95/89.02	c |    148876 |     200    17000   119000 |    78513    75906     58 |  0.003 % |
89.05/89.13	c |    149011 |     200    17000   119000 |    78513    76041     58 |  0.003 % |
89.14/89.30	c |    149158 |     200    17000   119000 |    78513    76188     58 |  0.003 % |
89.34/89.46	c |    149320 |     200    17000   119000 |    78513    76350     58 |  0.003 % |
89.54/89.65	c |    149497 |     200    17000   119000 |    78513    76527     58 |  0.003 % |
89.74/89.81	c |    149690 |     200    17000   119000 |    78513    76720     58 |  0.003 % |
89.84/89.99	c |    149903 |     200    17000   119000 |    78513    76933     58 |  0.003 % |
90.15/90.28	c |    150138 |     200    17000   119000 |    77030    67003     58 |  0.003 % |
90.34/90.47	c |    150395 |     200    17000   119000 |    77030    67260     58 |  0.003 % |
90.54/90.68	c |    150676 |     200    17000   119000 |    77030    67541     58 |  0.003 % |
90.74/90.90	c |    150986 |     200    17000   119000 |    77030    67851     58 |  0.003 % |
91.04/91.14	c |    151325 |     200    17000   119000 |    77030    68190     58 |  0.003 % |
91.25/91.40	c |    151698 |     200    17000   119000 |    77030    68563     58 |  0.003 % |
91.54/91.67	c |    152107 |     200    17000   119000 |    77030    68972     58 |  0.003 % |
91.94/92.02	c |    152556 |     200    17000   119000 |    77030    69421     58 |  0.003 % |
92.44/92.50	c |    153049 |     200    17000   119000 |    77030    69914     58 |  0.003 % |
92.94/93.03	c |    153593 |     200    17000   119000 |    77030    70458     58 |  0.003 % |
93.44/93.54	c |    154189 |     200    17000   119000 |    77030    71054     58 |  0.003 % |
93.94/94.06	c |    154844 |     200    17000   119000 |    77030    71709     58 |  0.003 % |
94.54/94.64	c |    155564 |     200    17000   119000 |    77030    72429     58 |  0.003 % |
95.24/95.34	c |    156356 |     200    17000   119000 |    77030    73221     58 |  0.003 % |
95.94/96.08	c |    157229 |     200    17000   119000 |    77030    74094     58 |  0.003 % |
96.84/96.91	c |    158190 |     200    17000   119000 |    77030    75055     58 |  0.003 % |
97.64/97.79	c |    159243 |     200    17000   119000 |    77030    76108     58 |  0.003 % |
98.74/98.82	c |    160402 |     200    17000   119000 |    76866    66858     58 |  0.003 % |
99.64/99.71	c |    161680 |     200    17000   119000 |    76866    68136     58 |  0.003 % |
100.64/100.72	c |    163080 |     200    17000   119000 |    76866    69536     58 |  0.003 % |
101.84/101.97	c |    164620 |     200    17000   119000 |    76866    71076     58 |  0.003 % |
103.24/103.36	c |    166314 |     200    17000   119000 |    76866    72770     58 |  0.003 % |
103.34/103.43	c |    166415 |     200    17000   119000 |    76866    72871     58 |  0.003 % |
103.44/103.52	c |    166525 |     200    17000   119000 |    76866    72981     58 |  0.003 % |
103.54/103.67	c |    166648 |     200    17000   119000 |    76866    73104     58 |  0.003 % |
103.74/103.81	c |    166782 |     200    17000   119000 |    76866    73238     58 |  0.003 % |
103.84/103.94	c |    166929 |     200    17000   119000 |    76866    73385     58 |  0.003 % |
103.94/104.08	c |    167089 |     200    17000   119000 |    76866    73545     58 |  0.003 % |
104.14/104.26	c |    167265 |     200    17000   119000 |    76866    73721     58 |  0.003 % |
104.34/104.44	c |    167460 |     200    17000   119000 |    76866    73916     58 |  0.003 % |
104.54/104.64	c |    167674 |     200    17000   119000 |    76866    74130     58 |  0.003 % |
104.74/104.86	c |    167907 |     200    17000   119000 |    76866    74363     58 |  0.003 % |
104.94/105.09	c |    168163 |     200    17000   119000 |    76866    74619     58 |  0.003 % |
105.24/105.34	c |    168444 |     200    17000   119000 |    76866    74900     58 |  0.003 % |
105.44/105.57	c |    168754 |     200    17000   119000 |    76866    75210     58 |  0.003 % |
105.74/105.88	c |    169093 |     200    17000   119000 |    76866    75549     58 |  0.003 % |
106.14/106.25	c |    169465 |     200    17000   119000 |    76866    75921     58 |  0.003 % |
106.54/106.64	c |    169874 |     200    17000   119000 |    76866    76330     58 |  0.003 % |
106.94/107.08	c |    170325 |     200    17000   119000 |    76456    66368     58 |  0.003 % |
107.34/107.44	c |    170820 |     200    17000   119000 |    76456    66863     58 |  0.003 % |
107.74/107.84	c |    171363 |     200    17000   119000 |    76456    67406     58 |  0.003 % |
108.13/108.24	c |    171960 |     200    17000   119000 |    76456    68003     58 |  0.003 % |
108.63/108.71	c |    172618 |     200    17000   119000 |    76456    68661     58 |  0.003 % |
109.13/109.26	c |    173338 |     200    17000   119000 |    76456    69381     58 |  0.003 % |
109.73/109.81	c |    174132 |     200    17000   119000 |    76456    70175     58 |  0.003 % |
110.33/110.48	c |    175003 |     200    17000   119000 |    76456    71046     58 |  0.003 % |
111.23/111.31	c |    175963 |     200    17000   119000 |    76456    72006     58 |  0.003 % |
112.04/112.18	c |    177016 |     200    17000   119000 |    76456    73059     58 |  0.003 % |
113.14/113.23	c |    178174 |     200    17000   119000 |    76456    74217     58 |  0.003 % |
114.13/114.24	c |    179447 |     200    17000   119000 |    76456    75490     58 |  0.003 % |
115.13/115.26	c |    180851 |     200    17000   119000 |    76043    67164     58 |  0.003 % |
116.24/116.32	c |    182392 |     200    17000   119000 |    76043    68705     58 |  0.003 % |
117.44/117.51	c |    184086 |     200    17000   119000 |    76043    70399     58 |  0.003 % |
119.03/119.15	c |    185949 |     200    17000   119000 |    76043    72262     58 |  0.003 % |
119.13/119.24	c |    186049 |     200    17000   119000 |    76043    72362     58 |  0.003 % |
119.23/119.36	c |    186160 |     200    17000   119000 |    76043    72473     58 |  0.003 % |
119.33/119.49	c |    186282 |     200    17000   119000 |    76043    72595     58 |  0.003 % |
119.53/119.61	c |    186418 |     200    17000   119000 |    76043    72731     58 |  0.003 % |
119.63/119.74	c |    186566 |     200    17000   119000 |    76043    72879     58 |  0.003 % |
119.84/119.91	c |    186726 |     200    17000   119000 |    76043    73039     58 |  0.003 % |
119.93/120.08	c |    186907 |     200    17000   119000 |    76043    73220     58 |  0.003 % |
120.13/120.25	c |    187100 |     200    17000   119000 |    76043    73413     58 |  0.003 % |
120.33/120.46	c |    187316 |     200    17000   119000 |    76043    73629     58 |  0.003 % |
120.53/120.66	c |    187549 |     200    17000   119000 |    76043    73862     58 |  0.003 % |
120.84/120.93	c |    187806 |     200    17000   119000 |    76043    74119     58 |  0.003 % |
121.13/121.21	c |    188088 |     200    17000   119000 |    76043    74401     58 |  0.003 % |
121.43/121.51	c |    188398 |     200    17000   119000 |    76043    74711     58 |  0.003 % |
121.73/121.83	c |    188737 |     200    17000   119000 |    76043    75050     58 |  0.003 % |
122.13/122.20	c |    189110 |     200    17000   119000 |    76043    75423     58 |  0.003 % |
122.43/122.59	c |    189520 |     200    17000   119000 |    76043    75833     58 |  0.003 % |
122.93/123.09	c |    189970 |     200    17000   119000 |    76043    66065     58 |  0.003 % |
123.33/123.47	c |    190463 |     200    17000   119000 |    66097    57709     58 |  0.003 % |
123.73/123.82	c |    191006 |     200    17000   119000 |    66097    58252     58 |  0.003 % |
124.14/124.27	c |    191603 |     200    17000   119000 |    66097    58849     58 |  0.003 % |
124.53/124.69	c |    192260 |     200    17000   119000 |    66097    59506     58 |  0.003 % |
125.03/125.18	c |    192980 |     200    17000   119000 |    66097    60226     58 |  0.003 % |
125.53/125.69	c |    193773 |     200    17000   119000 |    66097    61019     58 |  0.003 % |
126.13/126.23	c |    194644 |     200    17000   119000 |    66097    61890     58 |  0.003 % |
126.73/126.84	c |    195604 |     200    17000   119000 |    66097    62850     58 |  0.003 % |
127.44/127.55	c |    196657 |     200    17000   119000 |    66097    63903     58 |  0.003 % |
128.23/128.34	c |    197816 |     200    17000   119000 |    66097    65062     58 |  0.003 % |
129.13/129.29	c |    199089 |     200    17000   119000 |    66097    59717     58 |  0.003 % |
130.23/130.37	c |    200490 |     200    17000   119000 | 2147483647    61118     58 |  0.003 % |
131.23/131.37	c |    202033 |     200    17000   119000 | 2147483647    62661     58 |  0.003 % |
132.53/132.65	c |    203730 |     200    17000   119000 | 2147483647    64358     58 |  0.003 % |
133.83/133.93	c |    205595 |     200    17000   119000 | 2147483647    66223     58 |  0.003 % |
135.33/135.49	c |    207645 |     200    17000   119000 | 2147483647    68273     58 |  0.003 % |
135.43/135.56	c |    207745 |     200    17000   119000 | 2147483647    68373     58 |  0.003 % |
135.53/135.66	c |    207858 |     200    17000   119000 | 2147483647    68486     58 |  0.003 % |
135.63/135.77	c |    207981 |     200    17000   119000 | 2147483647    68609     58 |  0.003 % |
135.73/135.89	c |    208115 |     200    17000   119000 | 2147483647    68743     58 |  0.003 % |
135.93/136.02	c |    208262 |     200    17000   119000 | 2147483647    68890     58 |  0.003 % |
136.03/136.14	c |    208422 |     200    17000   119000 | 2147483647    69050     58 |  0.003 % |
136.13/136.29	c |    208598 |     200    17000   119000 | 2147483647    69226     58 |  0.003 % |
136.33/136.49	c |    208792 |     200    17000   119000 | 2147483647    69420     58 |  0.003 % |
136.53/136.69	c |    209004 |     200    17000   119000 | 2147483647    69632     58 |  0.003 % |
136.83/136.91	c |    209237 |     200    17000   119000 | 2147483647    69865     58 |  0.003 % |
137.03/137.10	c |    209493 |     200    17000   119000 | 2147483647    70121     58 |  0.003 % |
137.23/137.31	c |    209775 |     200    17000   119000 | 2147483647    70403     58 |  0.003 % |
137.43/137.55	c |    210086 |     200    17000   119000 | 2147483647    70714     58 |  0.003 % |
137.73/137.89	c |    210428 |     200    17000   119000 | 2147483647    71056     58 |  0.003 % |
138.13/138.22	c |    210801 |     200    17000   119000 | 2147483647    71429     58 |  0.003 % |
138.43/138.54	c |    211211 |     200    17000   119000 | 2147483647    71839     58 |  0.003 % |
138.73/138.88	c |    211660 |     200    17000   119000 | 2147483647    72288     58 |  0.003 % |
139.13/139.25	c |    212153 |     200    17000   119000 | 2147483647    72781     58 |  0.003 % |
139.53/139.68	c |    212697 |     200    17000   119000 | 2147483647    73325     58 |  0.003 % |
140.03/140.14	c |    213294 |     200    17000   119000 | 2147483647    73922     58 |  0.003 % |
140.53/140.63	c |    213949 |     200    17000   119000 | 2147483647    74577     58 |  0.003 % |
141.03/141.16	c |    214670 |     200    17000   119000 | 2147483647    75298     58 |  0.003 % |
141.63/141.77	c |    215464 |     200    17000   119000 | 2147483647    76092     58 |  0.003 % |
142.23/142.38	c |    216335 |     200    17000   119000 | 2147483647    76963     58 |  0.003 % |
143.02/143.11	c |    217293 |     200    17000   119000 | 2147483647    77921     58 |  0.003 % |
143.72/143.88	c |    218350 |     200    17000   119000 | 2147483647    78978     58 |  0.003 % |
144.72/144.80	c |    219510 |     200    17000   119000 | 2147483647    80138     58 |  0.003 % |
145.92/146.07	c |    220785 |     200    17000   119000 |    80629    71227     58 |  0.003 % |
147.12/147.24	c |    222185 |     200    17000   119000 |    80629    72627     58 |  0.003 % |
148.43/148.52	c |    223725 |     200    17000   119000 |    80629    74167     58 |  0.003 % |
149.72/149.87	c |    225419 |     200    17000   119000 |    80629    75861     58 |  0.003 % |
151.32/151.40	c |    227282 |     200    17000   119000 |    80629    77724     58 |  0.003 % |
152.92/153.08	c |    229332 |     200    17000   119000 |    80629    79774     58 |  0.003 % |
154.72/154.82	c |    231585 |     200    17000   119000 |    80443    70804     58 |  0.003 % |
154.82/154.92	c |    231685 |     200    17000   119000 |    80443    70904     58 |  0.003 % |
154.92/155.02	c |    231796 |     200    17000   119000 |    80443    71015     58 |  0.003 % |
155.02/155.13	c |    231920 |     200    17000   119000 |    80443    71139     58 |  0.003 % |
155.12/155.25	c |    232054 |     200    17000   119000 |    80443    71273     58 |  0.003 % |
155.32/155.42	c |    232201 |     200    17000   119000 |    80443    71420     58 |  0.003 % |
155.42/155.56	c |    232363 |     200    17000   119000 |    80443    71582     58 |  0.003 % |
155.62/155.73	c |    232539 |     200    17000   119000 |    80443    71758     58 |  0.003 % |
155.82/155.92	c |    232732 |     200    17000   119000 |    80443    71951     58 |  0.003 % |
156.02/156.11	c |    232944 |     200    17000   119000 |    80443    72163     58 |  0.003 % |
156.22/156.31	c |    233177 |     200    17000   119000 |    80443    72396     58 |  0.003 % |
156.42/156.50	c |    233434 |     200    17000   119000 |    80443    72653     58 |  0.003 % |
156.62/156.76	c |    233718 |     200    17000   119000 |    80443    72937     58 |  0.003 % |
156.92/157.02	c |    234027 |     200    17000   119000 |    80443    73246     58 |  0.003 % |
157.22/157.36	c |    234367 |     200    17000   119000 |    80443    73586     58 |  0.003 % |
157.62/157.71	c |    234739 |     200    17000   119000 |    80443    73958     58 |  0.003 % |
157.92/158.08	c |    235149 |     200    17000   119000 |    80443    74368     58 |  0.003 % |
158.32/158.46	c |    235598 |     200    17000   119000 |    80443    74817     58 |  0.003 % |
158.82/158.93	c |    236091 |     200    17000   119000 |    80443    75310     58 |  0.003 % |
159.32/159.40	c |    236634 |     200    17000   119000 |    80443    75853     58 |  0.003 % |
159.82/159.92	c |    237230 |     200    17000   119000 |    80443    76449     58 |  0.003 % |
160.32/160.47	c |    237887 |     200    17000   119000 |    80443    77106     58 |  0.003 % |
160.92/161.03	c |    238607 |     200    17000   119000 |    80443    77826     58 |  0.003 % |
161.52/161.65	c |    239400 |     200    17000   119000 |    80443    78619     58 |  0.003 % |
162.22/162.38	c |    240271 |     200    17000   119000 |    79222    68002     58 |  0.003 % |
162.92/163.04	c |    241230 |     200    17000   119000 |    79222    68961     58 |  0.003 % |
163.62/163.78	c |    242283 |     200    17000   119000 |    79222    70014     58 |  0.003 % |
164.42/164.53	c |    243441 |     200    17000   119000 |    79222    71172     58 |  0.003 % |
165.42/165.51	c |    244715 |     200    17000   119000 |    79222    72446     58 |  0.003 % |
166.41/166.59	c |    246116 |     200    17000   119000 |    79222    73847     58 |  0.003 % |
167.71/167.89	c |    247656 |     200    17000   119000 |    79222    75387     58 |  0.003 % |
169.11/169.22	c |    249352 |     200    17000   119000 |    79222    77083     58 |  0.003 % |
170.52/170.61	c |    251217 |     200    17000   119000 |    77731    69313     58 |  0.003 % |
171.82/171.97	c |    253268 |     200    17000   119000 |    77731    71364     58 |  0.003 % |
173.52/173.64	c |    255525 |     200    17000   119000 |    77731    73621     58 |  0.003 % |
175.62/175.73	c |    258005 |     200    17000   119000 |    77731    76101     59 |  0.003 % |
175.72/175.85	c |    258108 |     200    17000   119000 |    77731    76204     59 |  0.003 % |
175.83/175.94	c |    258219 |     200    17000   119000 |    77731    76315     59 |  0.003 % |
175.93/176.06	c |    258341 |     200    17000   119000 |    77731    76437     59 |  0.003 % |
176.02/176.19	c |    258474 |     200    17000   119000 |    77731    76570     59 |  0.003 % |
176.22/176.32	c |    258621 |     200    17000   119000 |    77731    76717     59 |  0.003 % |
176.32/176.47	c |    258781 |     200    17000   119000 |    77731    76877     59 |  0.003 % |
176.52/176.63	c |    258958 |     200    17000   119000 |    77731    77054     59 |  0.003 % |
176.72/176.80	c |    259153 |     200    17000   119000 |    77731    77249     59 |  0.003 % |
176.82/176.99	c |    259365 |     200    17000   119000 |    77731    77461     59 |  0.003 % |
177.03/177.17	c |    259598 |     200    17000   119000 |    77731    77694     59 |  0.003 % |
177.42/177.50	c |    259854 |     200    17000   119000 |    77731    67713     59 |  0.003 % |
177.62/177.79	c |    260136 |     200    17000   119000 |    67859    59011     58 |  0.003 % |
177.92/178.01	c |    260446 |     200    17000   119000 |    67859    59321     58 |  0.003 % |
178.12/178.23	c |    260785 |     200    17000   119000 |    67859    59660     58 |  0.003 % |
178.32/178.47	c |    261157 |     200    17000   119000 |    67859    60032     58 |  0.003 % |
178.61/178.74	c |    261568 |     200    17000   119000 |    67859    60443     58 |  0.003 % |
179.00/179.10	c |    262019 |     200    17000   119000 |    67859    60894     58 |  0.003 % |
179.37/179.51	c |    262513 |     200    17000   119000 |    67859    61388     58 |  0.003 % |
179.73/179.96	c |    263056 |     200    17000   119000 |    67859    61931     58 |  0.003 % |
180.21/180.41	c |    263652 |     200    17000   119000 |    67859    62527     58 |  0.003 % |
180.60/180.83	c |    264307 |     200    17000   119000 |    67859    63182     58 |  0.003 % |
181.10/181.32	c |    265027 |     200    17000   119000 |    67859    63902     58 |  0.003 % |
181.59/181.90	c |    265819 |     200    17000   119000 |    67859    64694     58 |  0.003 % |
182.29/182.51	c |    266693 |     200    17000   119000 |    67859    65568     58 |  0.003 % |
182.99/183.23	c |    267651 |     200    17000   119000 |    67859    66526     58 |  0.003 % |
183.79/184.04	c |    268705 |     200    17000   119000 |    67859    67580     58 |  0.003 % |
184.59/184.90	c |    269863 |     200    17000   119000 |    67859    61944     58 |  0.003 % |
185.48/185.76	c |    271137 |     200    17000   119000 | 2147483647    63218     58 |  0.003 % |
186.48/186.71	c |    272538 |     200    17000   119000 | 2147483647    64619     58 |  0.003 % |
187.48/187.77	c |    274081 |     200    17000   119000 | 2147483647    66162     58 |  0.003 % |
188.67/188.96	c |    275775 |     200    17000   119000 | 2147483647    67856     58 |  0.003 % |
189.98/190.29	c |    277638 |     200    17000   119000 | 2147483647    69719     58 |  0.003 % |
191.47/191.78	c |    279689 |     200    17000   119000 | 2147483647    71770     58 |  0.003 % |
193.07/193.33	c |    281942 |     200    17000   119000 |    72081    66719     59 |  0.003 % |
194.67/194.95	c |    284420 |     200    17000   119000 |    72081    69197     59 |  0.003 % |
196.57/196.83	c |    287145 |     200    17000   119000 |    72081    71922     59 |  0.003 % |
196.67/196.91	c |    287247 |     200    17000   119000 |    72081    72024     59 |  0.003 % |
196.67/196.99	c |    287360 |     200    17000   119000 |    72081    72137     59 |  0.003 % |
196.87/197.14	c |    287481 |     200    17000   119000 |    72081    65045     59 |  0.003 % |
196.97/197.24	c |    287615 |     200    17000   119000 |    72081    65179     59 |  0.003 % |
197.07/197.35	c |    287761 |     200    17000   119000 |    72081    65325     59 |  0.003 % |
197.17/197.46	c |    287921 |     200    17000   119000 |    72081    65485     59 |  0.003 % |
197.37/197.60	c |    288097 |     200    17000   119000 |    72081    65661     59 |  0.003 % |
197.47/197.78	c |    288291 |     200    17000   119000 |    72081    65855     59 |  0.003 % |
197.67/197.95	c |    288503 |     200    17000   119000 |    72081    66067     59 |  0.003 % |
197.87/198.14	c |    288736 |     200    17000   119000 |    72081    66300     59 |  0.003 % |
198.07/198.36	c |    288993 |     200    17000   119000 |    72081    66557     59 |  0.003 % |
198.27/198.57	c |    289274 |     200    17000   119000 |    72081    66838     59 |  0.003 % |
198.57/198.82	c |    289583 |     200    17000   119000 |    72081    67147     59 |  0.003 % |
198.87/199.11	c |    289923 |     200    17000   119000 |    72081    67487     59 |  0.003 % |
199.16/199.41	c |    290296 |     200    17000   119000 | 2147483647    67860     59 |  0.003 % |
199.46/199.75	c |    290706 |     200    17000   119000 | 2147483647    68270     59 |  0.003 % |
199.87/200.12	c |    291159 |     200    17000   119000 | 2147483647    68723     59 |  0.003 % |
200.26/200.50	c |    291654 |     200    17000   119000 | 2147483647    69218     59 |  0.003 % |
200.66/200.93	c |    292197 |     200    17000   119000 | 2147483647    69761     59 |  0.003 % |
201.07/201.39	c |    292795 |     200    17000   119000 | 2147483647    70359     59 |  0.003 % |
201.56/201.89	c |    293453 |     200    17000   119000 | 2147483647    71017     59 |  0.003 % |
202.17/202.49	c |    294177 |     200    17000   119000 | 2147483647    71741     59 |  0.003 % |
202.86/203.17	c |    294969 |     200    17000   119000 | 2147483647    72533     59 |  0.003 % |
203.56/203.82	c |    295843 |     200    17000   119000 | 2147483647    73407     59 |  0.003 % |
204.26/204.58	c |    296801 |     200    17000   119000 | 2147483647    74365     59 |  0.003 % |
205.16/205.41	c |    297856 |     200    17000   119000 | 2147483647    75420     59 |  0.003 % |
206.06/206.32	c |    299014 |     200    17000   119000 | 2147483647    76578     59 |  0.003 % |
207.36/207.63	c |    300290 |     200    17000   119000 |    77565    68123     59 |  0.003 % |
208.46/208.77	c |    301690 |     200    17000   119000 |    77565    69523     59 |  0.003 % |
209.46/209.77	c |    303230 |     200    17000   119000 |    77565    71063     59 |  0.003 % |
210.75/211.01	c |    304924 |     200    17000   119000 |    77565    72757     59 |  0.003 % |
211.96/212.26	c |    306789 |     200    17000   119000 |    77565    74622     59 |  0.003 % |
213.45/213.76	c |    308838 |     200    17000   119000 |    77565    76671     59 |  0.003 % |
215.05/215.33	c |    311091 |     200    17000   119000 |    68968    62264     59 |  0.003 % |
216.85/217.13	c |    313569 |     200    17000   119000 |    68968    64742     59 |  0.003 % |
218.75/219.01	c |    316298 |     200    17000   119000 |    68968    67471     59 |  0.003 % |
220.76/221.03	c |    319296 |     200    17000   119000 |    68968    63564     59 |  0.003 % |
220.86/221.11	c |    319397 |     200    17000   119000 |    68968    63665     59 |  0.003 % |
220.86/221.20	c |    319507 |     200    17000   119000 |    68968    63775     59 |  0.003 % |
221.05/221.32	c |    319629 |     200    17000   119000 |    68968    63897     59 |  0.003 % |
221.15/221.42	c |    319763 |     200    17000   119000 |    68968    64031     59 |  0.003 % |
221.25/221.53	c |    319911 |     200    17000   119000 |    68968    64179     59 |  0.003 % |
221.35/221.66	c |    320071 |     200    17000   119000 | 2147483647    64339     59 |  0.003 % |
221.55/221.82	c |    320248 |     200    17000   119000 | 2147483647    64516     59 |  0.003 % |
221.65/221.98	c |    320441 |     200    17000   119000 | 2147483647    64709     59 |  0.003 % |
221.85/222.16	c |    320654 |     200    17000   119000 | 2147483647    64922     59 |  0.003 % |
222.05/222.35	c |    320887 |     200    17000   119000 | 2147483647    65155     59 |  0.003 % |
222.25/222.57	c |    321144 |     200    17000   119000 | 2147483647    65412     59 |  0.003 % |
222.55/222.82	c |    321425 |     200    17000   119000 | 2147483647    65693     59 |  0.003 % |
222.75/223.08	c |    321735 |     200    17000   119000 | 2147483647    66003     59 |  0.003 % |
223.05/223.36	c |    322074 |     200    17000   119000 | 2147483647    66342     59 |  0.003 % |
223.35/223.69	c |    322446 |     200    17000   119000 | 2147483647    66714     59 |  0.003 % |
223.75/224.06	c |    322856 |     200    17000   119000 | 2147483647    67124     59 |  0.003 % |
224.15/224.41	c |    323306 |     200    17000   119000 | 2147483647    67574     59 |  0.003 % |
224.55/224.81	c |    323799 |     200    17000   119000 | 2147483647    68067     59 |  0.003 % |
224.96/225.22	c |    324346 |     200    17000   119000 | 2147483647    68614     59 |  0.003 % |
225.36/225.68	c |    324943 |     200    17000   119000 | 2147483647    69211     59 |  0.003 % |
225.86/226.14	c |    325598 |     200    17000   119000 | 2147483647    69866     59 |  0.003 % |
226.56/226.81	c |    326318 |     200    17000   119000 | 2147483647    70586     59 |  0.003 % |
227.16/227.44	c |    327110 |     200    17000   119000 | 2147483647    71378     59 |  0.003 % |
227.96/228.23	c |    327981 |     200    17000   119000 | 2147483647    72249     59 |  0.003 % |
228.76/229.03	c |    328939 |     200    17000   119000 | 2147483647    73207     59 |  0.003 % |
229.56/229.89	c |    329992 |     200    17000   119000 | 2147483647    74260     59 |  0.003 % |
230.55/230.86	c |    331151 |     200    17000   119000 |    74269    66236     59 |  0.003 % |
231.55/231.89	c |    332424 |     200    17000   119000 |    74269    67509     59 |  0.003 % |
232.55/232.89	c |    333824 |     200    17000   119000 |    74269    68909     59 |  0.003 % |
233.65/233.97	c |    335364 |     200    17000   119000 |    74269    70449     59 |  0.003 % |
234.95/235.21	c |    337058 |     200    17000   119000 |    74269    72143     59 |  0.003 % |
236.55/236.87	c |    338921 |     200    17000   119000 |    74269    74006     59 |  0.003 % |
238.15/238.47	c |    340970 |     200    17000   119000 |    65928    58824     59 |  0.003 % |
239.65/239.96	c |    343224 |     200    17000   119000 |    65928    61078     59 |  0.003 % |
241.25/241.56	c |    345702 |     200    17000   119000 |    65928    63556     59 |  0.003 % |
243.15/243.41	c |    348428 |     200    17000   119000 |    65928    59680     59 |  0.003 % |
245.15/245.41	c |    351425 |     200    17000   119000 | 2147483647    62677     59 |  0.003 % |
247.35/247.68	c |    354722 |     200    17000   119000 | 2147483647    65974     59 |  0.003 % |
247.45/247.75	c |    354822 |     200    17000   119000 | 2147483647    66074     59 |  0.003 % |
247.55/247.84	c |    354933 |     200    17000   119000 | 2147483647    66185     59 |  0.003 % |
247.65/247.92	c |    355055 |     200    17000   119000 | 2147483647    66307     59 |  0.003 % |
247.75/248.05	c |    355189 |     200    17000   119000 | 2147483647    66441     59 |  0.003 % |
247.85/248.18	c |    355337 |     200    17000   119000 | 2147483647    66589     59 |  0.003 % |
248.05/248.32	c |    355497 |     200    17000   119000 | 2147483647    66749     59 |  0.003 % |
248.15/248.46	c |    355676 |     200    17000   119000 | 2147483647    66928     59 |  0.003 % |
248.35/248.61	c |    355869 |     200    17000   119000 | 2147483647    67121     59 |  0.003 % |
248.45/248.77	c |    356082 |     200    17000   119000 | 2147483647    67334     59 |  0.003 % |
248.75/249.00	c |    356315 |     200    17000   119000 | 2147483647    67567     59 |  0.003 % |
248.95/249.23	c |    356571 |     200    17000   119000 | 2147483647    67823     59 |  0.003 % |
249.15/249.47	c |    356852 |     200    17000   119000 | 2147483647    68104     59 |  0.003 % |
249.45/249.74	c |    357164 |     200    17000   119000 | 2147483647    68416     59 |  0.003 % |
249.75/250.00	c |    357504 |     200    17000   119000 | 2147483647    68756     59 |  0.003 % |
250.05/250.33	c |    357876 |     200    17000   119000 | 2147483647    69128     59 |  0.003 % |
250.35/250.68	c |    358285 |     200    17000   119000 | 2147483647    69537     59 |  0.003 % |
250.75/251.08	c |    358734 |     200    17000   119000 | 2147483647    69986     59 |  0.003 % |
251.15/251.48	c |    359227 |     200    17000   119000 | 2147483647    70479     59 |  0.003 % |
251.65/251.90	c |    359769 |     200    17000   119000 | 2147483647    71021     59 |  0.003 % |
252.05/252.36	c |    360365 |     200    17000   119000 | 2147483647    71617     59 |  0.003 % |
252.55/252.87	c |    361021 |     200    17000   119000 | 2147483647    72273     59 |  0.003 % |
253.25/253.52	c |    361741 |     200    17000   119000 | 2147483647    72993     59 |  0.003 % |
253.85/254.18	c |    362534 |     200    17000   119000 | 2147483647    73786     59 |  0.003 % |
254.65/254.95	c |    363405 |     200    17000   119000 | 2147483647    74657     59 |  0.003 % |
255.55/255.83	c |    364365 |     200    17000   119000 | 2147483647    75617     59 |  0.003 % |
256.35/256.63	c |    365419 |     200    17000   119000 | 2147483647    76671     59 |  0.003 % |
257.25/257.52	c |    366577 |     200    17000   119000 | 2147483647    77829     59 |  0.003 % |
258.54/258.80	c |    367851 |     200    17000   119000 | 2147483647    79103     59 |  0.003 % |
259.74/260.04	c |    369251 |     200    17000   119000 | 2147483647    80503     59 |  0.003 % |
261.14/261.47	c |    370791 |     200    17000   119000 |    81253    70133     59 |  0.003 % |
262.44/262.80	c |    372486 |     200    17000   119000 |    81253    71828     59 |  0.003 % |
263.94/264.27	c |    374350 |     200    17000   119000 |    81253    73692     59 |  0.003 % |
265.64/265.93	c |    376399 |     200    17000   119000 |    81253    75741     59 |  0.003 % |
267.44/267.71	c |    378654 |     200    17000   119000 |    81253    77996     59 |  0.003 % |
269.34/269.64	c |    381133 |     200    17000   119000 |    79343    69419     59 |  0.003 % |
271.14/271.46	c |    383859 |     200    17000   119000 |    79343    72145     59 |  0.003 % |
273.24/273.56	c |    386856 |     200    17000   119000 |    79343    75142     59 |  0.003 % |
275.74/276.07	c |    390152 |     200    17000   119000 |    78286    69039     59 |  0.003 % |
278.23/278.58	c |    393777 |     200    17000   119000 |    78286    72664     59 |  0.003 % |
278.33/278.66	c |    393879 |     200    17000   119000 |    78286    72766     59 |  0.003 % |
278.43/278.76	c |    393989 |     200    17000   119000 |    78286    72876     59 |  0.003 % |
278.53/278.87	c |    394113 |     200    17000   119000 |    78286    73000     59 |  0.003 % |
278.73/279.01	c |    394248 |     200    17000   119000 |    78286    73135     59 |  0.003 % |
278.83/279.14	c |    394394 |     200    17000   119000 |    78286    73281     59 |  0.003 % |
278.93/279.28	c |    394554 |     200    17000   119000 |    78286    73441     59 |  0.003 % |
279.14/279.47	c |    394733 |     200    17000   119000 |    78286    73620     59 |  0.003 % |
279.33/279.64	c |    394926 |     200    17000   119000 |    78286    73813     59 |  0.003 % |
279.53/279.86	c |    395140 |     200    17000   119000 |    78286    74027     59 |  0.003 % |
279.73/280.05	c |    395373 |     200    17000   119000 |    78286    74260     59 |  0.003 % |
279.93/280.27	c |    395629 |     200    17000   119000 |    78286    74516     59 |  0.003 % |
280.24/280.51	c |    395910 |     200    17000   119000 |    78286    74797     59 |  0.003 % |
280.53/280.80	c |    396219 |     200    17000   119000 |    78286    75106     59 |  0.003 % |
280.73/281.08	c |    396562 |     200    17000   119000 |    78286    75449     59 |  0.003 % |
281.13/281.49	c |    396935 |     200    17000   119000 |    78286    75822     59 |  0.003 % |
281.53/281.84	c |    397344 |     200    17000   119000 |    78286    76231     59 |  0.003 % |
281.93/282.25	c |    397796 |     200    17000   119000 |    78286    76683     59 |  0.003 % |
282.34/282.62	c |    398289 |     200    17000   119000 |    78286    77176     59 |  0.003 % |
282.73/283.07	c |    398831 |     200    17000   119000 |    78286    77718     59 |  0.003 % |
283.23/283.51	c |    399427 |     200    17000   119000 |    78286    78314     59 |  0.003 % |
283.73/284.07	c |    400084 |     200    17000   119000 |    68684    68768     59 |  0.003 % |
284.33/284.65	c |    400807 |     200    17000   119000 |    68684    60601     59 |  0.003 % |
284.93/285.21	c |    401599 |     200    17000   119000 |    68684    61393     59 |  0.003 % |
285.43/285.80	c |    402470 |     200    17000   119000 |    68684    62264     59 |  0.003 % |
286.13/286.46	c |    403429 |     200    17000   119000 |    68684    63223     59 |  0.003 % |
286.93/287.22	c |    404487 |     200    17000   119000 |    68684    64281     59 |  0.003 % |
287.63/287.99	c |    405645 |     200    17000   119000 |    68684    65439     59 |  0.003 % |
288.53/288.85	c |    406918 |     200    17000   119000 |    68684    66712     59 |  0.003 % |
289.53/289.86	c |    408319 |     200    17000   119000 |    68684    68113     59 |  0.003 % |
290.63/290.96	c |    409862 |     200    17000   119000 |    68684    62779     59 |  0.003 % |
291.73/292.01	c |    411556 |     200    17000   119000 | 2147483647    64473     59 |  0.003 % |
293.13/293.48	c |    413421 |     200    17000   119000 | 2147483647    66338     59 |  0.003 % |
294.53/294.86	c |    415470 |     200    17000   119000 | 2147483647    68387     59 |  0.003 % |
296.13/296.42	c |    417724 |     200    17000   119000 | 2147483647    70641     59 |  0.003 % |
298.03/298.38	c |    420204 |     200    17000   119000 |    72918    65414     59 |  0.003 % |
300.13/300.44	c |    422929 |     200    17000   119000 |    72918    68139     59 |  0.003 % |
302.33/302.66	c |    425928 |     200    17000   119000 |    72918    71138     59 |  0.003 % |
304.83/305.10	c |    429224 |     200    17000   119000 |    72918    66883     59 |  0.003 % |
307.13/307.49	c |    432849 |     200    17000   119000 | 2147483647    70508     59 |  0.003 % |
310.02/310.40	c |    436836 |     200    17000   119000 | 2147483647    74495     59 |  0.003 % |
310.12/310.48	c |    436937 |     200    17000   119000 | 2147483647    74596     59 |  0.003 % |
310.22/310.58	c |    437048 |     200    17000   119000 | 2147483647    74707     59 |  0.003 % |
310.42/310.71	c |    437169 |     200    17000   119000 | 2147483647    74828     59 |  0.003 % |
310.52/310.83	c |    437303 |     200    17000   119000 | 2147483647    74962     59 |  0.003 % |
310.62/310.96	c |    437449 |     200    17000   119000 | 2147483647    75108     59 |  0.003 % |
310.72/311.09	c |    437610 |     200    17000   119000 | 2147483647    75269     59 |  0.003 % |
310.93/311.24	c |    437787 |     200    17000   119000 | 2147483647    75446     59 |  0.003 % |
311.12/311.43	c |    437980 |     200    17000   119000 | 2147483647    75639     59 |  0.003 % |
311.32/311.63	c |    438193 |     200    17000   119000 | 2147483647    75852     59 |  0.003 % |
311.52/311.80	c |    438426 |     200    17000   119000 | 2147483647    76085     59 |  0.003 % |
311.72/312.00	c |    438682 |     200    17000   119000 | 2147483647    76341     59 |  0.003 % |
311.92/312.22	c |    438964 |     200    17000   119000 | 2147483647    76623     59 |  0.003 % |
312.13/312.48	c |    439273 |     200    17000   119000 | 2147483647    76932     59 |  0.003 % |
312.42/312.76	c |    439614 |     200    17000   119000 | 2147483647    77273     59 |  0.003 % |
312.72/313.08	c |    439987 |     200    17000   119000 | 2147483647    77646     59 |  0.003 % |
313.13/313.46	c |    440396 |     200    17000   119000 |    77661    69286     59 |  0.003 % |
313.52/313.81	c |    440847 |     200    17000   119000 |    77661    69737     59 |  0.003 % |
313.82/314.18	c |    441340 |     200    17000   119000 |    77661    70230     59 |  0.003 % |
314.23/314.59	c |    441883 |     200    17000   119000 |    77661    70773     59 |  0.003 % |
314.72/315.04	c |    442481 |     200    17000   119000 |    77661    71371     59 |  0.003 % |
315.22/315.57	c |    443136 |     200    17000   119000 |    77661    72026     59 |  0.003 % |
315.72/316.09	c |    443858 |     200    17000   119000 |    77661    72748     59 |  0.003 % |
316.32/316.67	c |    444651 |     200    17000   119000 |    77661    73541     59 |  0.003 % |
317.02/317.30	c |    445522 |     200    17000   119000 |    77661    74412     59 |  0.003 % |
317.82/318.17	c |    446480 |     200    17000   119000 |    77661    75370     59 |  0.003 % |
318.72/319.09	c |    447533 |     200    17000   119000 |    77661    76423     59 |  0.003 % |
319.72/320.05	c |    448692 |     200    17000   119000 |    77661    77582     59 |  0.003 % |
320.72/321.09	c |    449965 |     200    17000   119000 |    77661    68686     59 |  0.003 % |
321.72/322.01	c |    451366 |     200    17000   119000 |    68723    61171     59 |  0.003 % |
322.62/322.96	c |    452908 |     200    17000   119000 |    68723    62713     59 |  0.003 % |
323.62/323.95	c |    454602 |     200    17000   119000 |    68723    64407     59 |  0.003 % |
324.92/325.20	c |    456465 |     200    17000   119000 |    68723    66270     59 |  0.003 % |
326.32/326.63	c |    458515 |     200    17000   119000 |    68723    68320     59 |  0.003 % |
328.02/328.30	c |    460768 |     200    17000   119000 | 2147483647    63692     59 |  0.003 % |
329.72/330.01	c |    463246 |     200    17000   119000 | 2147483647    66170     59 |  0.003 % |
331.53/331.88	c |    465971 |     200    17000   119000 | 2147483647    68895     59 |  0.003 % |
333.62/333.95	c |    468970 |     200    17000   119000 | 2147483647    71894     59 |  0.003 % |
336.12/336.41	c |    472267 |     200    17000   119000 | 2147483647    75191     59 |  0.003 % |
338.82/339.14	c |    475893 |     200    17000   119000 | 2147483647    78817     59 |  0.003 % |
342.02/342.30	c |    479880 |     200    17000   119000 | 2147483647    82804     59 |  0.003 % |
345.32/345.68	c |    484266 |     200    17000   119000 |    82924    76301     59 |  0.003 % |
345.42/345.77	c |    484368 |     200    17000   119000 |    82924    76403     59 |  0.003 % |
345.52/345.87	c |    484480 |     200    17000   119000 |    82924    76515     59 |  0.003 % |
345.62/345.99	c |    484601 |     200    17000   119000 |    82924    76636     59 |  0.003 % |
345.82/346.10	c |    484734 |     200    17000   119000 |    82924    76769     59 |  0.003 % |
345.92/346.23	c |    484882 |     200    17000   119000 |    82924    76917     59 |  0.003 % |
346.02/346.36	c |    485045 |     200    17000   119000 |    82924    77080     59 |  0.003 % |
346.22/346.55	c |    485221 |     200    17000   119000 |    82924    77256     59 |  0.003 % |
346.42/346.74	c |    485415 |     200    17000   119000 |    82924    77450     59 |  0.003 % |
346.62/346.94	c |    485627 |     200    17000   119000 |    82924    77662     59 |  0.003 % |
346.82/347.13	c |    485860 |     200    17000   119000 |    82924    77895     59 |  0.003 % |
347.02/347.37	c |    486117 |     200    17000   119000 |    82924    78152     59 |  0.003 % |
347.32/347.61	c |    486398 |     200    17000   119000 |    82924    78433     59 |  0.003 % |
347.52/347.89	c |    486708 |     200    17000   119000 |    82924    78743     59 |  0.003 % |
347.82/348.16	c |    487048 |     200    17000   119000 |    82924    79083     59 |  0.003 % |
348.22/348.54	c |    487422 |     200    17000   119000 |    82924    79457     59 |  0.003 % |
348.62/348.92	c |    487834 |     200    17000   119000 |    82924    79869     59 |  0.003 % |
349.01/349.32	c |    488286 |     200    17000   119000 |    82924    80321     59 |  0.003 % |
349.42/349.76	c |    488779 |     200    17000   119000 |    82924    80814     59 |  0.003 % |
349.91/350.21	c |    489321 |     200    17000   119000 |    82924    81356     59 |  0.003 % |
350.31/350.68	c |    489918 |     200    17000   119000 |    82924    81953     59 |  0.003 % |
350.91/351.26	c |    490573 |     200    17000   119000 |    82036    70435     59 |  0.003 % |
351.51/351.86	c |    491293 |     200    17000   119000 |    82036    71155     59 |  0.003 % |
352.21/352.51	c |    492085 |     200    17000   119000 |    82036    71947     59 |  0.003 % |
352.91/353.23	c |    492957 |     200    17000   119000 |    82036    72819     59 |  0.003 % |
353.71/354.05	c |    493916 |     200    17000   119000 |    82036    73778     59 |  0.003 % |
354.51/354.85	c |    494969 |     200    17000   119000 |    82036    74831     59 |  0.003 % |
355.51/355.81	c |    496127 |     200    17000   119000 |    82036    75989     59 |  0.003 % |
356.61/356.92	c |    497400 |     200    17000   119000 |    82036    77262     59 |  0.003 % |
357.71/358.09	c |    498802 |     200    17000   119000 |    82036    78664     59 |  0.003 % |
359.11/359.46	c |    500343 |     200    17000   119000 |    79862    68742     59 |  0.003 % |
360.52/360.81	c |    502038 |     200    17000   119000 |    79862    70437     59 |  0.003 % |
362.01/362.31	c |    503902 |     200    17000   119000 |    79862    72301     59 |  0.003 % |
363.61/363.99	c |    505951 |     200    17000   119000 |    79862    74350     59 |  0.003 % |
365.31/365.64	c |    508204 |     200    17000   119000 |    79862    76603     59 |  0.003 % |
367.21/367.54	c |    510684 |     200    17000   119000 |    78399    68628     59 |  0.003 % |
369.11/369.46	c |    513409 |     200    17000   119000 |    78399    71353     59 |  0.003 % |
371.31/371.61	c |    516406 |     200    17000   119000 |    78399    74350     59 |  0.003 % |
373.91/374.23	c |    519703 |     200    17000   119000 |    78399    77647     59 |  0.003 % |
376.51/376.86	c |    523328 |     200    17000   119000 |    77945    71735     59 |  0.003 % |
379.60/379.94	c |    527317 |     200    17000   119000 |    77945    75724     59 |  0.003 % |
383.00/383.37	c |    531702 |     200    17000   119000 |    69239    62926     59 |  0.003 % |
386.30/386.66	c |    536526 |     200    17000   119000 |    69239    67750     59 |  0.003 % |
386.40/386.76	c |    536626 |     200    17000   119000 |    69239    67850     59 |  0.003 % |
386.50/386.84	c |    536737 |     200    17000   119000 |    69239    67961     59 |  0.003 % |
386.60/386.92	c |    536858 |     200    17000   119000 |    69239    68082     59 |  0.003 % |
386.70/387.03	c |    536991 |     200    17000   119000 |    69239    68215     59 |  0.003 % |
386.81/387.13	c |    537138 |     200    17000   119000 |    69239    68362     59 |  0.003 % |
386.91/387.26	c |    537298 |     200    17000   119000 |    69239    68522     59 |  0.003 % |
387.00/387.38	c |    537474 |     200    17000   119000 |    69239    68698     59 |  0.003 % |
387.20/387.54	c |    537667 |     200    17000   119000 |    69239    68891     59 |  0.003 % |
387.40/387.70	c |    537879 |     200    17000   119000 |    69239    69103     59 |  0.003 % |
387.60/387.94	c |    538112 |     200    17000   119000 |    69239    62403     59 |  0.003 % |
387.80/388.11	c |    538369 |     200    17000   119000 |    69239    62660     59 |  0.003 % |
388.01/388.31	c |    538650 |     200    17000   119000 |    69239    62941     59 |  0.003 % |
388.20/388.54	c |    538960 |     200    17000   119000 |    69239    63251     59 |  0.003 % |
388.40/388.78	c |    539299 |     200    17000   119000 |    69239    63590     59 |  0.003 % |
388.70/389.08	c |    539672 |     200    17000   119000 |    69239    63963     59 |  0.003 % |
389.01/389.38	c |    540084 |     200    17000   119000 | 2147483647    64375     59 |  0.003 % |
389.40/389.72	c |    540534 |     200    17000   119000 | 2147483647    64825     59 |  0.003 % |
389.80/390.10	c |    541027 |     200    17000   119000 | 2147483647    65318     59 |  0.003 % |
390.21/390.52	c |    541569 |     200    17000   119000 | 2147483647    65860     59 |  0.003 % |
390.60/390.94	c |    542166 |     200    17000   119000 | 2147483647    66457     59 |  0.003 % |
391.00/391.38	c |    542821 |     200    17000   119000 | 2147483647    67112     59 |  0.003 % |
391.50/391.86	c |    543541 |     200    17000   119000 | 2147483647    67832     59 |  0.003 % |
392.10/392.47	c |    544334 |     200    17000   119000 | 2147483647    68625     59 |  0.003 % |
392.70/393.09	c |    545206 |     200    17000   119000 | 2147483647    69497     59 |  0.003 % |
393.50/393.82	c |    546169 |     200    17000   119000 | 2147483647    70460     58 |  0.003 % |
394.20/394.57	c |    547222 |     200    17000   119000 | 2147483647    71513     58 |  0.003 % |
395.10/395.42	c |    548380 |     200    17000   119000 | 2147483647    72671     58 |  0.003 % |
396.00/396.39	c |    549653 |     200    17000   119000 | 2147483647    73944     58 |  0.003 % |
397.20/397.51	c |    551054 |     200    17000   119000 | 2147483647    75345     58 |  0.003 % |
398.50/398.84	c |    552594 |     200    17000   119000 | 2147483647    76885     58 |  0.003 % |
399.80/400.11	c |    554288 |     200    17000   119000 | 2147483647    78579     58 |  0.003 % |
401.40/401.70	c |    556151 |     200    17000   119000 | 2147483647    80442     59 |  0.003 % |
403.00/403.31	c |    558200 |     200    17000   119000 | 2147483647    82491     59 |  0.003 % |
404.79/405.12	c |    560453 |     200    17000   119000 |    84291    73191     59 |  0.003 % |
406.60/406.95	c |    562932 |     200    17000   119000 |    84291    75670     59 |  0.003 % |
408.80/409.11	c |    565659 |     200    17000   119000 |    84291    78397     59 |  0.003 % |
411.10/411.46	c |    568656 |     200    17000   119000 |    84291    81394     59 |  0.003 % |
413.89/414.25	c |    571953 |     200    17000   119000 |    82738    73242     59 |  0.003 % |
416.69/417.05	c |    575579 |     200    17000   119000 |    82738    76868     59 |  0.003 % |
419.99/420.39	c |    579568 |     200    17000   119000 |    82738    80857     59 |  0.003 % |
423.29/423.66	c |    583954 |     200    17000   119000 |    81292    73554     59 |  0.003 % |
426.69/427.09	c |    588777 |     200    17000   119000 |    81292    78377     59 |  0.003 % |
430.69/431.01	c |    594082 |     200    17000   119000 |    79601    73593     59 |  0.003 % |
430.79/431.10	c |    594182 |     200    17000   119000 |    79601    73693     59 |  0.003 % |
430.89/431.21	c |    594296 |     200    17000   119000 |    79601    73807     59 |  0.003 % |
430.99/431.30	c |    594417 |     200    17000   119000 |    79601    73928     59 |  0.003 % |
431.09/431.45	c |    594551 |     200    17000   119000 |    79601    74062     59 |  0.003 % |
431.19/431.58	c |    594697 |     200    17000   119000 |    79601    74208     59 |  0.003 % |
431.39/431.72	c |    594857 |     200    17000   119000 |    79601    74368     59 |  0.003 % |
431.49/431.89	c |    595034 |     200    17000   119000 |    79601    74545     59 |  0.003 % |
431.69/432.05	c |    595228 |     200    17000   119000 |    79601    74739     59 |  0.003 % |
431.89/432.22	c |    595441 |     200    17000   119000 |    79601    74952     59 |  0.003 % |
432.09/432.41	c |    595678 |     200    17000   119000 |    79601    75189     59 |  0.003 % |
432.29/432.63	c |    595935 |     200    17000   119000 |    79601    75446     59 |  0.003 % |
432.59/432.91	c |    596217 |     200    17000   119000 |    79601    75728     59 |  0.003 % |
432.79/433.18	c |    596526 |     200    17000   119000 |    79601    76037     59 |  0.003 % |
433.09/433.47	c |    596866 |     200    17000   119000 |    79601    76377     59 |  0.003 % |
433.49/433.81	c |    597238 |     200    17000   119000 |    79601    76749     59 |  0.003 % |
433.79/434.17	c |    597647 |     200    17000   119000 |    79601    77158     59 |  0.003 % |
434.19/434.57	c |    598100 |     200    17000   119000 |    79601    77611     59 |  0.003 % |
434.58/434.98	c |    598593 |     200    17000   119000 |    79601    78104     59 |  0.003 % |
435.08/435.49	c |    599136 |     200    17000   119000 |    79601    78647     59 |  0.003 % |
435.68/436.05	c |    599733 |     200    17000   119000 |    79601    79244     59 |  0.003 % |
436.40/436.72	c |    600389 |     200    17000   119000 |    79514    68699     59 |  0.003 % |
436.89/437.22	c |    601109 |     200    17000   119000 |    79514    69419     59 |  0.003 % |
437.50/437.82	c |    601902 |     200    17000   119000 |    79514    70212     59 |  0.003 % |
438.09/438.49	c |    602774 |     200    17000   119000 |    79514    71084     59 |  0.003 % |
438.89/439.27	c |    603732 |     200    17000   119000 |    79514    72042     59 |  0.003 % |
439.79/440.10	c |    604785 |     200    17000   119000 |    79514    73095     59 |  0.003 % |
440.59/440.97	c |    605943 |     200    17000   119000 |    79514    74253     59 |  0.003 % |
441.59/441.99	c |    607216 |     200    17000   119000 |    79514    75526     59 |  0.003 % |
442.69/443.08	c |    608616 |     200    17000   119000 |    79514    76926     59 |  0.003 % |
444.09/444.45	c |    610157 |     200    17000   119000 |    78312    68246     59 |  0.003 % |
445.29/445.66	c |    611851 |     200    17000   119000 |    78312    69940     59 |  0.003 % |
446.59/446.96	c |    613715 |     200    17000   119000 |    78312    71804     59 |  0.003 % |
448.19/448.52	c |    615764 |     200    17000   119000 |    78312    73853     59 |  0.003 % |
449.89/450.23	c |    618017 |     200    17000   119000 |    78312    76106     59 |  0.003 % |
452.09/452.43	c |    620496 |     200    17000   119000 |    78089    68560     59 |  0.003 % |
453.89/454.28	c |    623222 |     200    17000   119000 |    78089    71286     59 |  0.003 % |
456.19/456.54	c |    626220 |     200    17000   119000 |    78089    74284     59 |  0.003 % |
458.59/458.93	c |    629516 |     200    17000   119000 |    78089    77580     59 |  0.003 % |
461.08/461.48	c |    633143 |     200    17000   119000 |    78064    71978     59 |  0.003 % |
463.98/464.34	c |    637130 |     200    17000   119000 |    78064    75965     59 |  0.003 % |
467.28/467.67	c |    641516 |     200    17000   119000 |    69619    63045     59 |  0.003 % |
470.68/471.07	c |    646339 |     200    17000   119000 |    69619    67868     59 |  0.003 % |
474.68/475.08	c |    651645 |     200    17000   119000 | 2147483647    66203     59 |  0.003 % |
478.98/479.35	c |    657480 |     200    17000   119000 | 2147483647    72038     59 |  0.003 % |
479.08/479.44	c |    657581 |     200    17000   119000 | 2147483647    72139     59 |  0.003 % |
479.18/479.55	c |    657691 |     200    17000   119000 | 2147483647    72249     59 |  0.003 % |
479.28/479.66	c |    657813 |     200    17000   119000 | 2147483647    72371     59 |  0.003 % |
479.38/479.78	c |    657947 |     200    17000   119000 | 2147483647    72505     59 |  0.003 % |
479.58/479.91	c |    658093 |     200    17000   119000 | 2147483647    72651     59 |  0.003 % |
479.68/480.09	c |    658253 |     200    17000   119000 | 2147483647    72811     59 |  0.003 % |
479.88/480.26	c |    658431 |     200    17000   119000 | 2147483647    72989     59 |  0.003 % |
480.08/480.43	c |    658625 |     200    17000   119000 | 2147483647    73183     59 |  0.003 % |
480.28/480.60	c |    658839 |     200    17000   119000 | 2147483647    73397     59 |  0.003 % |
480.48/480.83	c |    659073 |     200    17000   119000 | 2147483647    73631     59 |  0.003 % |
480.68/481.08	c |    659329 |     200    17000   119000 | 2147483647    73887     59 |  0.003 % |
480.98/481.36	c |    659611 |     200    17000   119000 | 2147483647    74169     59 |  0.003 % |
481.27/481.65	c |    659921 |     200    17000   119000 | 2147483647    74479     59 |  0.003 % |
481.67/482.00	c |    660261 |     200    17000   119000 |    74560    66332     59 |  0.003 % |
481.87/482.29	c |    660633 |     200    17000   119000 |    74560    66704     59 |  0.003 % |
482.17/482.59	c |    661042 |     200    17000   119000 |    74560    67113     59 |  0.003 % |
482.58/482.97	c |    661492 |     200    17000   119000 |    74560    67563     59 |  0.003 % |
482.97/483.38	c |    661985 |     200    17000   119000 |    74560    68056     59 |  0.003 % |
483.47/483.81	c |    662529 |     200    17000   119000 |    74560    68600     59 |  0.003 % |
483.97/484.34	c |    663125 |     200    17000   119000 |    74560    69196     59 |  0.003 % |
484.47/484.89	c |    663781 |     200    17000   119000 |    74560    69852     59 |  0.003 % |
485.07/485.45	c |    664502 |     200    17000   119000 |    74560    70573     59 |  0.003 % |
485.78/486.18	c |    665295 |     200    17000   119000 |    74560    71366     59 |  0.003 % |
486.57/486.92	c |    666168 |     200    17000   119000 |    74560    72239     59 |  0.003 % |
487.37/487.73	c |    667127 |     200    17000   119000 |    74560    73198     59 |  0.003 % |
488.07/488.50	c |    668180 |     200    17000   119000 |    74560    74251     59 |  0.003 % |
488.97/489.37	c |    669339 |     200    17000   119000 |    74560    65856     59 |  0.003 % |
489.87/490.29	c |    670614 |     200    17000   119000 |    66520    58980     59 |  0.003 % |
490.77/491.16	c |    672014 |     200    17000   119000 |    66520    60380     59 |  0.003 % |
491.87/492.22	c |    673555 |     200    17000   119000 |    66520    61921     59 |  0.003 % |
493.07/493.42	c |    675249 |     200    17000   119000 |    66520    63615     59 |  0.003 % |
494.37/494.73	c |    677114 |     200    17000   119000 |    66520    65480     59 |  0.003 % |
495.77/496.11	c |    679164 |     200    17000   119000 |    66520    60870     59 |  0.003 % |
497.17/497.59	c |    681417 |     200    17000   119000 | 2147483647    63123     59 |  0.003 % |
498.87/499.27	c |    683895 |     200    17000   119000 | 2147483647    65601     59 |  0.003 % |
500.77/501.12	c |    686621 |     200    17000   119000 | 2147483647    68327     59 |  0.003 % |
502.97/503.31	c |    689622 |     200    17000   119000 | 2147483647    71328     59 |  0.003 % |
505.37/505.75	c |    692918 |     200    17000   119000 | 2147483647    74624     59 |  0.003 % |
508.27/508.62	c |    696544 |     200    17000   119000 | 2147483647    78250     59 |  0.003 % |
511.67/512.08	c |    700532 |     200    17000   119000 |    81706    71085     59 |  0.003 % |
515.36/515.72	c |    704920 |     200    17000   119000 |    81706    75473     59 |  0.003 % |
519.26/519.63	c |    709743 |     200    17000   119000 |    81706    80296     59 |  0.003 % |
523.27/523.70	c |    715049 |     200    17000   119000 |    80553    74111     59 |  0.003 % |
528.36/528.71	c |    720885 |     200    17000   119000 |    79063    68514     59 |  0.003 % |
533.06/533.48	c |    727303 |     200    17000   119000 |    79063    74932     59 |  0.003 % |
533.16/533.55	c |    727404 |     200    17000   119000 |    79063    75033     59 |  0.003 % |
533.26/533.64	c |    727514 |     200    17000   119000 |    79063    75143     59 |  0.003 % |
533.36/533.76	c |    727635 |     200    17000   119000 |    79063    75264     59 |  0.003 % |
533.46/533.89	c |    727768 |     200    17000   119000 |    79063    75397     59 |  0.003 % |
533.66/534.02	c |    727915 |     200    17000   119000 |    79063    75544     59 |  0.003 % |
533.76/534.16	c |    728075 |     200    17000   119000 |    79063    75704     59 |  0.003 % |
533.96/534.34	c |    728254 |     200    17000   119000 |    79063    75883     59 |  0.003 % |
534.16/534.52	c |    728447 |     200    17000   119000 |    79063    76076     59 |  0.003 % |
534.36/534.72	c |    728659 |     200    17000   119000 |    79063    76288     59 |  0.003 % |
534.56/534.92	c |    728893 |     200    17000   119000 |    79063    76522     59 |  0.003 % |
534.76/535.19	c |    729149 |     200    17000   119000 |    79063    76778     59 |  0.003 % |
535.06/535.42	c |    729431 |     200    17000   119000 |    79063    77060     59 |  0.003 % |
535.36/535.70	c |    729740 |     200    17000   119000 |    79063    77369     59 |  0.003 % |
535.66/536.01	c |    730080 |     200    17000   119000 |    77630    77709     59 |  0.003 % |
535.96/536.38	c |    730453 |     200    17000   119000 |    77630    67500     59 |  0.003 % |
536.36/536.73	c |    730863 |     200    17000   119000 |    77630    67910     59 |  0.003 % |
536.76/537.12	c |    731313 |     200    17000   119000 |    77630    68360     59 |  0.003 % |
537.16/537.53	c |    731808 |     200    17000   119000 |    77630    68855     59 |  0.003 % |
537.56/537.99	c |    732351 |     200    17000   119000 |    77630    69398     59 |  0.003 % |
538.06/538.49	c |    732947 |     200    17000   119000 |    77630    69994     59 |  0.003 % |
538.56/538.97	c |    733602 |     200    17000   119000 |    77630    70649     59 |  0.003 % |
539.16/539.51	c |    734322 |     200    17000   119000 |    77630    71369     59 |  0.003 % |
539.76/540.14	c |    735114 |     200    17000   119000 |    77630    72161     59 |  0.003 % |
540.56/540.93	c |    735986 |     200    17000   119000 |    77630    73033     59 |  0.003 % |
541.26/541.70	c |    736945 |     200    17000   119000 |    77630    73992     59 |  0.003 % |
542.16/542.50	c |    737999 |     200    17000   119000 |    77630    75046     59 |  0.003 % |
542.96/543.39	c |    739158 |     200    17000   119000 |    77630    76205     59 |  0.003 % |
544.06/544.43	c |    740432 |     200    17000   119000 |    77047    67452     59 |  0.003 % |
545.06/545.43	c |    741832 |     200    17000   119000 |    77047    68852     59 |  0.003 % |
546.06/546.42	c |    743372 |     200    17000   119000 |    77047    70392     59 |  0.003 % |
547.26/547.63	c |    745066 |     200    17000   119000 |    77047    72086     59 |  0.003 % |
548.86/549.21	c |    746929 |     200    17000   119000 |    77047    73949     59 |  0.003 % |
550.35/550.78	c |    748979 |     200    17000   119000 |    77047    75999     59 |  0.003 % |
552.15/552.51	c |    751233 |     200    17000   119000 |    77023    68612     59 |  0.003 % |
553.75/554.20	c |    753716 |     200    17000   119000 |    77023    71095     59 |  0.003 % |
555.55/555.98	c |    756441 |     200    17000   119000 |    77023    73820     59 |  0.003 % |
557.55/557.93	c |    759439 |     200    17000   119000 |    77023    76818     59 |  0.003 % |
559.65/560.03	c |    762737 |     200    17000   119000 |    69197    64630     59 |  0.003 % |
562.05/562.48	c |    766364 |     200    17000   119000 |    69197    68257     59 |  0.003 % |
564.85/565.20	c |    770351 |     200    17000   119000 | 2147483647    65315     59 |  0.003 % |
567.75/568.11	c |    774737 |     200    17000   119000 | 2147483647    69701     59 |  0.003 % |
571.15/571.57	c |    779560 |     200    17000   119000 | 2147483647    74524     59 |  0.003 % |
575.15/575.55	c |    784865 |     200    17000   119000 | 2147483647    79829     59 |  0.003 % |
579.95/580.30	c |    790700 |     200    17000   119000 |    84964    72830     59 |  0.003 % |
584.64/585.02	c |    797119 |     200    17000   119000 |    84964    79249     59 |  0.003 % |
589.94/590.38	c |    804179 |     200    17000   119000 |    82131    74494     59 |  0.003 % |
590.04/590.46	c |    804279 |     200    17000   119000 |    82131    74594     59 |  0.003 % |
590.14/590.56	c |    804390 |     200    17000   119000 |    82131    74705     59 |  0.003 % |
590.25/590.67	c |    804511 |     200    17000   119000 |    82131    74826     59 |  0.003 % |
590.44/590.82	c |    804644 |     200    17000   119000 |    82131    74959     59 |  0.003 % |
590.54/590.94	c |    804790 |     200    17000   119000 |    82131    75105     59 |  0.003 % |
590.64/591.09	c |    804950 |     200    17000   119000 |    82131    75265     59 |  0.003 % |
590.84/591.26	c |    805127 |     200    17000   119000 |    82131    75442     59 |  0.003 % |
591.04/591.44	c |    805320 |     200    17000   119000 |    82131    75635     59 |  0.003 % |
591.24/591.62	c |    805532 |     200    17000   119000 |    82131    75847     59 |  0.003 % |
591.45/591.86	c |    805765 |     200    17000   119000 |    82131    76080     59 |  0.003 % |
591.64/592.09	c |    806021 |     200    17000   119000 |    82131    76336     59 |  0.003 % |
591.94/592.37	c |    806302 |     200    17000   119000 |    82131    76617     59 |  0.003 % |
592.24/592.66	c |    806612 |     200    17000   119000 |    82131    76927     59 |  0.003 % |
592.54/592.98	c |    806951 |     200    17000   119000 |    82131    77266     59 |  0.003 % |
592.94/593.31	c |    807324 |     200    17000   119000 |    82131    77639     59 |  0.003 % |
593.24/593.66	c |    807733 |     200    17000   119000 |    82131    78048     59 |  0.003 % |
593.64/594.04	c |    808183 |     200    17000   119000 |    82131    78498     59 |  0.003 % |
594.04/594.41	c |    808677 |     200    17000   119000 |    82131    78992     59 |  0.003 % |
594.44/594.86	c |    809219 |     200    17000   119000 |    82131    79534     59 |  0.003 % |
594.94/595.36	c |    809815 |     200    17000   119000 |    82131    80130     59 |  0.003 % |
595.54/595.94	c |    810473 |     200    17000   119000 |    80315    69456     59 |  0.003 % |
596.04/596.49	c |    811193 |     200    17000   119000 |    80315    70176     59 |  0.003 % |
596.64/597.08	c |    811985 |     200    17000   119000 |    80315    70968     59 |  0.003 % |
597.34/597.77	c |    812857 |     200    17000   119000 |    80315    71840     59 |  0.003 % |
598.14/598.55	c |    813815 |     200    17000   119000 |    80315    72798     59 |  0.003 % |
598.83/599.24	c |    814869 |     200    17000   119000 |    80315    73852     59 |  0.003 % |
599.74/600.14	c |    816029 |     200    17000   119000 |    80315    75012     59 |  0.003 % |
600.83/601.23	c |    817302 |     200    17000   119000 |    80315    76285     59 |  0.003 % |
601.93/602.38	c |    818703 |     200    17000   119000 |    80315    77686     59 |  0.003 % |
603.44/603.80	c |    820243 |     200    17000   119000 |    78983    68603     59 |  0.003 % |
604.73/605.10	c |    821937 |     200    17000   119000 |    78983    70297     59 |  0.003 % |
606.03/606.46	c |    823800 |     200    17000   119000 |    78983    72160     59 |  0.003 % |
607.53/607.98	c |    825850 |     200    17000   119000 |    78983    74210     59 |  0.003 % |
609.33/609.72	c |    828107 |     200    17000   119000 |    78983    76467     59 |  0.003 % |
611.43/611.85	c |    830585 |     200    17000   119000 |    78361    68408     59 |  0.003 % |
613.43/613.83	c |    833310 |     200    17000   119000 |    78361    71133     59 |  0.003 % |
615.43/615.90	c |    836307 |     200    17000   119000 |    78361    74130     59 |  0.003 % |
617.83/618.26	c |    839603 |     200    17000   119000 |    78361    77426     59 |  0.003 % |
620.63/621.03	c |    843228 |     200    17000   119000 |    77827    71381     59 |  0.003 % |
623.53/623.96	c |    847215 |     200    17000   119000 |    77827    75368     59 |  0.003 % |
626.63/627.09	c |    851601 |     200    17000   119000 |    68904    62342     59 |  0.003 % |
629.73/630.15	c |    856426 |     200    17000   119000 |    68904    67167     59 |  0.003 % |
633.32/633.78	c |    861732 |     200    17000   119000 | 2147483647    65575     59 |  0.003 % |
637.54/637.98	c |    867570 |     200    17000   119000 | 2147483647    71413     59 |  0.003 % |
642.43/642.86	c |    873989 |     200    17000   119000 | 2147483647    77832     59 |  0.003 % |
648.03/648.43	c |    881049 |     200    17000   119000 |    83844    73697     59 |  0.003 % |
653.73/654.18	c |    888813 |     200    17000   119000 |    83844    81461     59 |  0.003 % |
653.83/654.27	c |    888913 |     200    17000   119000 |    83844    81561     59 |  0.003 % |
653.93/654.38	c |    889024 |     200    17000   119000 |    83844    81672     59 |  0.003 % |
654.13/654.52	c |    889146 |     200    17000   119000 |    83844    81794     59 |  0.003 % |
654.23/654.65	c |    889279 |     200    17000   119000 |    83844    81927     59 |  0.003 % |
654.33/654.79	c |    889425 |     200    17000   119000 |    83844    82073     59 |  0.003 % |
654.53/654.97	c |    889585 |     200    17000   119000 |    83844    82233     59 |  0.003 % |
654.73/655.18	c |    889762 |     200    17000   119000 |    83844    82410     59 |  0.003 % |
654.93/655.40	c |    889955 |     200    17000   119000 |    83844    82603     59 |  0.003 % |
655.23/655.67	c |    890167 |     200    17000   119000 |    82648    70568     59 |  0.003 % |
655.43/655.85	c |    890403 |     200    17000   119000 |    82648    70804     59 |  0.003 % |
655.62/656.05	c |    890659 |     200    17000   119000 |    82648    71060     60 |  0.003 % |
655.82/656.27	c |    890942 |     200    17000   119000 |    82648    71343     59 |  0.003 % |
656.12/656.52	c |    891251 |     200    17000   119000 |    82648    71652     59 |  0.003 % |
656.33/656.79	c |    891591 |     200    17000   119000 |    82648    71992     59 |  0.003 % |
656.72/657.13	c |    891964 |     200    17000   119000 |    82648    72365     59 |  0.003 % |
657.12/657.52	c |    892373 |     200    17000   119000 |    82648    72774     59 |  0.003 % |
657.52/657.93	c |    892822 |     200    17000   119000 |    82648    73223     59 |  0.003 % |
657.92/658.37	c |    893315 |     200    17000   119000 |    82648    73716     59 |  0.003 % |
658.32/658.80	c |    893858 |     200    17000   119000 |    82648    74259     59 |  0.003 % |
658.82/659.24	c |    894455 |     200    17000   119000 |    82648    74856     59 |  0.003 % |
659.32/659.77	c |    895112 |     200    17000   119000 |    82648    75513     59 |  0.003 % |
659.92/660.33	c |    895833 |     200    17000   119000 |    82648    76234     59 |  0.003 % |
660.52/660.91	c |    896625 |     200    17000   119000 |    82648    77026     59 |  0.003 % |
661.12/661.58	c |    897497 |     200    17000   119000 |    82648    77898     59 |  0.003 % |
661.92/662.32	c |    898456 |     200    17000   119000 |    82648    78857     59 |  0.003 % |
662.72/663.13	c |    899509 |     200    17000   119000 |    82648    79910     59 |  0.003 % |
663.92/664.32	c |    900667 |     200    17000   119000 |    80401    69181     59 |  0.003 % |
664.92/665.35	c |    901940 |     200    17000   119000 |    80401    70454     59 |  0.003 % |
665.92/666.39	c |    903340 |     200    17000   119000 |    80401    71854     59 |  0.003 % |
667.22/667.62	c |    904880 |     200    17000   119000 |    80401    73394     59 |  0.003 % |
668.42/668.87	c |    906574 |     200    17000   119000 |    80401    75088     59 |  0.003 % |
670.12/670.57	c |    908437 |     200    17000   119000 |    80401    76951     59 |  0.003 % |
671.92/672.30	c |    910486 |     200    17000   119000 |    78514    68110     59 |  0.003 % |
673.51/673.91	c |    912740 |     200    17000   119000 |    78514    70364     59 |  0.003 % |
675.21/675.65	c |    915220 |     200    17000   119000 |    78514    72844     59 |  0.003 % |
677.22/677.69	c |    917946 |     200    17000   119000 |    78514    75570     59 |  0.003 % |
679.61/680.02	c |    920943 |     200    17000   119000 |    77625    69472     59 |  0.003 % |
682.01/682.45	c |    924239 |     200    17000   119000 |    77625    72768     59 |  0.003 % |
684.82/685.25	c |    927864 |     200    17000   119000 |    77625    76393     59 |  0.003 % |
687.61/688.02	c |    931852 |     200    17000   119000 |    69192    63009     59 |  0.003 % |
690.31/690.76	c |    936237 |     200    17000   119000 |    69192    67394     59 |  0.003 % |
693.51/693.98	c |    941061 |     200    17000   119000 | 2147483647    65291     59 |  0.003 % |
697.41/697.81	c |    946367 |     200    17000   119000 | 2147483647    70597     59 |  0.003 % |
701.80/702.26	c |    952203 |     200    17000   119000 |    74230    67752     59 |  0.003 % |
706.40/706.86	c |    958621 |     200    17000   119000 |    74230    74170     59 |  0.003 % |
711.00/711.41	c |    965680 |     200    17000   119000 |    67151    65469     59 |  0.003 % |
715.90/716.38	c |    973444 |     200    17000   119000 | 2147483647    66509     59 |  0.003 % |
721.90/722.35	c |    981986 |     200    17000   119000 | 2147483647    75051     60 |  0.003 % |
722.00/722.43	c |    982087 |     200    17000   119000 | 2147483647    75152     60 |  0.003 % |
722.10/722.55	c |    982201 |     200    17000   119000 | 2147483647    75266     60 |  0.003 % |
722.20/722.66	c |    982323 |     200    17000   119000 | 2147483647    75388     60 |  0.003 % |
722.30/722.75	c |    982456 |     200    17000   119000 | 2147483647    75521     60 |  0.003 % |
722.40/722.87	c |    982603 |     200    17000   119000 | 2147483647    75668     60 |  0.003 % |
722.60/723.01	c |    982764 |     200    17000   119000 | 2147483647    75829     60 |  0.003 % |
722.70/723.19	c |    982940 |     200    17000   119000 | 2147483647    76005     60 |  0.003 % |
722.90/723.36	c |    983135 |     200    17000   119000 | 2147483647    76200     60 |  0.003 % |
723.10/723.54	c |    983349 |     200    17000   119000 | 2147483647    76414     60 |  0.003 % |
723.30/723.77	c |    983584 |     200    17000   119000 | 2147483647    76649     60 |  0.003 % |
723.60/724.01	c |    983840 |     200    17000   119000 | 2147483647    76905     60 |  0.003 % |
723.80/724.22	c |    984121 |     200    17000   119000 | 2147483647    77186     60 |  0.003 % |
724.00/724.49	c |    984430 |     200    17000   119000 | 2147483647    77495     60 |  0.003 % |
724.30/724.79	c |    984769 |     200    17000   119000 | 2147483647    77834     60 |  0.003 % |
724.60/725.07	c |    985141 |     200    17000   119000 | 2147483647    78206     60 |  0.003 % |
724.90/725.39	c |    985550 |     200    17000   119000 | 2147483647    78615     59 |  0.003 % |
725.39/725.85	c |    986000 |     200    17000   119000 | 2147483647    79065     59 |  0.003 % |
725.89/726.31	c |    986494 |     200    17000   119000 | 2147483647    79559     59 |  0.003 % |
726.29/726.76	c |    987036 |     200    17000   119000 | 2147483647    80101     59 |  0.003 % |
726.89/727.30	c |    987632 |     200    17000   119000 | 2147483647    80697     59 |  0.003 % |
727.39/727.85	c |    988287 |     200    17000   119000 | 2147483647    81352     59 |  0.003 % |
727.99/728.49	c |    989007 |     200    17000   119000 | 2147483647    82072     59 |  0.003 % |
728.90/729.31	c |    989800 |     200    17000   119000 | 2147483647    82865     59 |  0.003 % |
729.69/730.15	c |    990672 |     200    17000   119000 |    83065    71538     60 |  0.003 % |
730.39/730.87	c |    991631 |     200    17000   119000 |    83065    72497     60 |  0.003 % |
731.19/731.69	c |    992685 |     200    17000   119000 |    83065    73551     60 |  0.003 % |
732.20/732.63	c |    993843 |     200    17000   119000 |    83065    74709     60 |  0.003 % |
733.20/733.69	c |    995117 |     200    17000   119000 |    83065    75983     60 |  0.003 % |
734.30/734.77	c |    996520 |     200    17000   119000 |    83065    77386     60 |  0.003 % |
735.69/736.15	c |    998061 |     200    17000   119000 |    83065    78927     60 |  0.003 % |
737.29/737.74	c |    999755 |     200    17000   119000 |    83065    80621     60 |  0.003 % |
738.89/739.33	c |   1001618 |     200    17000   119000 |    80866    70128     60 |  0.003 % |
740.49/740.96	c |   1003669 |     200    17000   119000 |    80866    72179     60 |  0.003 % |
742.09/742.59	c |   1005923 |     200    17000   119000 |    80866    74433     60 |  0.003 % |
744.09/744.53	c |   1008401 |     200    17000   119000 |    80866    76911     60 |  0.003 % |
746.29/746.77	c |   1011128 |     200    17000   119000 |    78512    68967     59 |  0.003 % |
748.49/748.91	c |   1014125 |     200    17000   119000 |    78512    71964     59 |  0.003 % |
750.89/751.35	c |   1017426 |     200    17000   119000 |    78512    75265     59 |  0.003 % |
753.70/754.14	c |   1021052 |     200    17000   119000 |    77839    69645     59 |  0.003 % |
756.69/757.14	c |   1025040 |     200    17000   119000 |    77839    73633     59 |  0.003 % |
760.29/760.75	c |   1029425 |     200    17000   119000 |    77839    67421     59 |  0.003 % |
763.49/763.94	c |   1034248 |     200    17000   119000 |    67996    63068     59 |  0.003 % |
766.99/767.46	c |   1039553 |     200    17000   119000 |    67996    61564     59 |  0.003 % |
770.79/771.25	c |   1045389 |     200    17000   119000 | 2147483647    67400     60 |  0.003 % |
775.29/775.77	c |   1051808 |     200    17000   119000 | 2147483647    73819     60 |  0.003 % |
780.68/781.15	c |   1058870 |     200    17000   119000 | 2147483647    80881     60 |  0.003 % |
786.98/787.46	c |   1066634 |     200    17000   119000 |    82014    78215     60 |  0.003 % |
793.88/794.36	c |   1075175 |     200    17000   119000 |    81582    76246     60 |  0.003 % |
801.78/802.21	c |   1084569 |     200    17000   119000 |    81073    75110     60 |  0.003 % |
801.88/802.34	c |   1084671 |     200    17000   119000 |    81073    75212     60 |  0.003 % |
801.98/802.45	c |   1084783 |     200    17000   119000 |    81073    75324     60 |  0.003 % |
802.08/802.54	c |   1084904 |     200    17000   119000 |    81073    75445     60 |  0.003 % |
802.18/802.67	c |   1085038 |     200    17000   119000 |    81073    75579     60 |  0.003 % |
802.38/802.81	c |   1085185 |     200    17000   119000 |    81073    75726     60 |  0.003 % |
802.48/802.94	c |   1085346 |     200    17000   119000 |    81073    75887     60 |  0.003 % |
802.58/803.09	c |   1085522 |     200    17000   119000 |    81073    76063     60 |  0.003 % |
802.88/803.30	c |   1085715 |     200    17000   119000 |    81073    76256     60 |  0.003 % |
802.98/803.49	c |   1085927 |     200    17000   119000 |    81073    76468     60 |  0.003 % |
803.18/803.69	c |   1086160 |     200    17000   119000 |    81073    76701     60 |  0.003 % |
803.48/803.90	c |   1086418 |     200    17000   119000 |    81073    76959     60 |  0.003 % |
803.68/804.13	c |   1086699 |     200    17000   119000 |    81073    77240     60 |  0.003 % |
803.88/804.39	c |   1087008 |     200    17000   119000 |    81073    77549     60 |  0.003 % |
804.28/804.74	c |   1087349 |     200    17000   119000 |    81073    77890     60 |  0.003 % |
804.58/805.07	c |   1087721 |     200    17000   119000 |    81073    78262     60 |  0.003 % |
804.98/805.42	c |   1088132 |     200    17000   119000 |    81073    78673     60 |  0.003 % |
805.28/805.79	c |   1088582 |     200    17000   119000 |    81073    79123     60 |  0.003 % |
805.78/806.26	c |   1089077 |     200    17000   119000 |    81073    79618     60 |  0.003 % |
806.28/806.75	c |   1089621 |     200    17000   119000 |    81073    80162     60 |  0.003 % |
806.88/807.36	c |   1090221 |     200    17000   119000 |    80543    69046     60 |  0.003 % |
807.38/807.87	c |   1090876 |     200    17000   119000 |    80543    69701     60 |  0.003 % |
807.98/808.46	c |   1091596 |     200    17000   119000 |    80543    70421     60 |  0.003 % |
808.68/809.13	c |   1092388 |     200    17000   119000 |    80543    71213     60 |  0.003 % |
809.28/809.77	c |   1093259 |     200    17000   119000 |    80543    72084     60 |  0.003 % |
810.08/810.52	c |   1094218 |     200    17000   119000 |    80543    73043     60 |  0.003 % |
810.78/811.27	c |   1095271 |     200    17000   119000 |    80543    74096     60 |  0.003 % |
811.67/812.19	c |   1096429 |     200    17000   119000 |    80543    75254     60 |  0.003 % |
812.67/813.16	c |   1097702 |     200    17000   119000 |    80543    76527     60 |  0.003 % |
813.78/814.27	c |   1099102 |     200    17000   119000 |    80543    77927     59 |  0.003 % |
814.97/815.47	c |   1100643 |     200    17000   119000 |    78825    68677     59 |  0.003 % |
816.27/816.73	c |   1102337 |     200    17000   119000 |    78825    70371     59 |  0.003 % |
817.57/818.09	c |   1104200 |     200    17000   119000 |    78825    72234     59 |  0.003 % |
819.17/819.60	c |   1106249 |     200    17000   119000 |    78825    74283     59 |  0.003 % |
821.07/821.51	c |   1108502 |     200    17000   119000 |    78825    76536     59 |  0.003 % |
823.17/823.67	c |   1110981 |     200    17000   119000 |    78036    68694     59 |  0.003 % |
825.17/825.63	c |   1113706 |     200    17000   119000 |    78036    71419     59 |  0.003 % |
827.27/827.79	c |   1116703 |     200    17000   119000 |    78036    74416     59 |  0.003 % |
829.57/830.06	c |   1120000 |     200    17000   119000 |    78036    77713     59 |  0.003 % |
832.27/832.76	c |   1123625 |     200    17000   119000 |    77713    71823     59 |  0.003 % |
835.17/835.68	c |   1127613 |     200    17000   119000 |    77713    75811     59 |  0.003 % |
838.47/838.94	c |   1131999 |     200    17000   119000 |    68451    61997     59 |  0.003 % |
841.47/841.91	c |   1136823 |     200    17000   119000 |    68451    66821     59 |  0.003 % |
844.97/845.45	c |   1142129 |     200    17000   119000 | 2147483647    65273     59 |  0.003 % |
849.16/849.64	c |   1147964 |     200    17000   119000 | 2147483647    71108     59 |  0.003 % |
854.06/854.55	c |   1154383 |     200    17000   119000 | 2147483647    77527     59 |  0.003 % |
859.56/860.05	c |   1161443 |     200    17000   119000 |    83144    73990     59 |  0.003 % |
865.46/865.99	c |   1169208 |     200    17000   119000 |    83144    81755     59 |  0.003 % |
872.26/872.79	c |   1177748 |     200    17000   119000 |    82547    78840     60 |  0.003 % |
880.35/880.86	c |   1187142 |     200    17000   119000 |    81092    76722     60 |  0.003 % |
888.85/889.35	c |   1197475 |     200    17000   119000 |    79580    76090     60 |  0.003 % |
888.95/889.43	c |   1197575 |     200    17000   119000 |    79580    76190     60 |  0.003 % |
889.05/889.55	c |   1197686 |     200    17000   119000 |    79580    76301     60 |  0.003 % |
889.15/889.67	c |   1197807 |     200    17000   119000 |    79580    76422     60 |  0.003 % |
889.25/889.78	c |   1197941 |     200    17000   119000 |    79580    76556     60 |  0.003 % |
889.45/889.92	c |   1198087 |     200    17000   119000 |    79580    76702     60 |  0.003 % |
889.55/890.09	c |   1198250 |     200    17000   119000 |    79580    76865     60 |  0.003 % |
889.75/890.23	c |   1198427 |     200    17000   119000 |    79580    77042     60 |  0.003 % |
889.95/890.41	c |   1198620 |     200    17000   119000 |    79580    77235     60 |  0.003 % |
890.05/890.57	c |   1198832 |     200    17000   119000 |    79580    77447     60 |  0.003 % |
890.35/890.81	c |   1199066 |     200    17000   119000 |    79580    77681     60 |  0.003 % |
890.55/891.03	c |   1199322 |     200    17000   119000 |    79580    77937     60 |  0.003 % |
890.75/891.29	c |   1199604 |     200    17000   119000 |    79580    78219     60 |  0.003 % |
891.05/891.53	c |   1199914 |     200    17000   119000 |    79580    78529     60 |  0.003 % |
891.35/891.89	c |   1200254 |     200    17000   119000 |    78615    68041     60 |  0.003 % |
891.65/892.17	c |   1200627 |     200    17000   119000 |    78615    68414     60 |  0.003 % |
891.95/892.44	c |   1201036 |     200    17000   119000 |    78615    68823     60 |  0.003 % |
892.35/892.81	c |   1201486 |     200    17000   119000 |    78615    69273     60 |  0.003 % |
892.75/893.22	c |   1201979 |     200    17000   119000 |    78615    69766     60 |  0.003 % |
893.15/893.60	c |   1202521 |     200    17000   119000 |    78615    70308     60 |  0.003 % |
893.55/894.07	c |   1203119 |     200    17000   119000 |    78615    70906     60 |  0.003 % |
894.05/894.56	c |   1203775 |     200    17000   119000 |    78615    71562     60 |  0.003 % |
894.65/895.18	c |   1204495 |     200    17000   119000 |    78615    72282     60 |  0.003 % |
895.25/895.78	c |   1205288 |     200    17000   119000 |    78615    73075     60 |  0.003 % |
895.95/896.43	c |   1206162 |     200    17000   119000 |    78615    73949     60 |  0.003 % |
896.65/897.14	c |   1207120 |     200    17000   119000 |    78615    74907     60 |  0.003 % |
897.35/897.89	c |   1208174 |     200    17000   119000 |    78615    75961     60 |  0.003 % |
898.35/898.84	c |   1209333 |     200    17000   119000 |    78615    77120     60 |  0.003 % |
899.45/899.92	c |   1210608 |     200    17000   119000 |    77788    67629     60 |  0.003 % |
900.45/900.95	c |   1212008 |     200    17000   119000 |    77788    69029     60 |  0.003 % |
901.55/902.09	c |   1213548 |     200    17000   119000 |    77788    70569     60 |  0.003 % |
902.84/903.37	c |   1215244 |     200    17000   119000 |    77788    72265     60 |  0.003 % |
904.24/904.71	c |   1217108 |     200    17000   119000 |    77788    74129     60 |  0.003 % |
905.64/906.14	c |   1219158 |     200    17000   119000 |    77788    76179     60 |  0.003 % |
907.14/907.69	c |   1221412 |     200    17000   119000 |    77023    68662     60 |  0.003 % |
908.84/909.30	c |   1223890 |     200    17000   119000 |    77023    71140     60 |  0.003 % |
910.64/911.11	c |   1226615 |     200    17000   119000 |    77023    73865     60 |  0.003 % |
912.74/913.24	c |   1229613 |     200    17000   119000 |    77023    76863     60 |  0.003 % |
915.04/915.53	c |   1232909 |     200    17000   119000 |    68946    64417     59 |  0.003 % |
917.24/917.73	c |   1236534 |     200    17000   119000 |    68946    68042     59 |  0.003 % |
919.84/920.38	c |   1240521 |     200    17000   119000 | 2147483647    65125     59 |  0.003 % |
922.74/923.29	c |   1244906 |     200    17000   119000 | 2147483647    69510     59 |  0.003 % |
926.24/926.73	c |   1249729 |     200    17000   119000 | 2147483647    74333     59 |  0.003 % |
929.94/930.47	c |   1255035 |     200    17000   119000 |    74605    71846     59 |  0.003 % |
934.55/935.01	c |   1260870 |     200    17000   119000 |    69058    62849     59 |  0.003 % |
938.95/939.42	c |   1267288 |     200    17000   119000 |    69058    62353     59 |  0.003 % |
943.74/944.27	c |   1274348 |     200    17000   119000 | 2147483647    69413     60 |  0.003 % |
949.34/949.86	c |   1282112 |     200    17000   119000 | 2147483647    77177     60 |  0.003 % |
956.34/956.88	c |   1290653 |     200    17000   119000 |    85067    74614     60 |  0.003 % |
964.34/964.84	c |   1300048 |     200    17000   119000 |    83962    84009     60 |  0.003 % |
972.33/972.86	c |   1310382 |     200    17000   119000 |    82047    70295     60 |  0.003 % |
980.53/981.06	c |   1321749 |     200    17000   119000 |    79916    71366     60 |  0.003 % |
980.64/981.14	c |   1321849 |     200    17000   119000 |    79916    71466     60 |  0.003 % |
980.74/981.20	c |   1321960 |     200    17000   119000 |    79916    71577     60 |  0.003 % |
980.74/981.28	c |   1322082 |     200    17000   119000 |    79916    71699     60 |  0.003 % |
980.93/981.40	c |   1322217 |     200    17000   119000 |    79916    71834     60 |  0.003 % |
981.03/981.53	c |   1322363 |     200    17000   119000 |    79916    71980     60 |  0.003 % |
981.13/981.65	c |   1322523 |     200    17000   119000 |    79916    72140     60 |  0.003 % |
981.33/981.81	c |   1322700 |     200    17000   119000 |    79916    72317     60 |  0.003 % |
981.43/981.97	c |   1322893 |     200    17000   119000 |    79916    72510     60 |  0.003 % |
981.63/982.19	c |   1323108 |     200    17000   119000 |    79916    72725     60 |  0.003 % |
981.83/982.39	c |   1323341 |     200    17000   119000 |    79916    72958     60 |  0.003 % |
982.03/982.58	c |   1323597 |     200    17000   119000 |    79916    73214     60 |  0.003 % |
982.33/982.87	c |   1323880 |     200    17000   119000 |    79916    73497     60 |  0.003 % |
982.63/983.16	c |   1324189 |     200    17000   119000 |    79916    73806     60 |  0.003 % |
983.03/983.51	c |   1324529 |     200    17000   119000 |    79916    74146     60 |  0.003 % |
983.33/983.90	c |   1324901 |     200    17000   119000 |    79916    74518     60 |  0.003 % |
983.73/984.27	c |   1325312 |     200    17000   119000 |    79916    74929     60 |  0.003 % |
984.23/984.70	c |   1325761 |     200    17000   119000 |    79916    75378     60 |  0.003 % |
984.63/985.11	c |   1326254 |     200    17000   119000 |    79916    75871     60 |  0.003 % |
985.04/985.58	c |   1326796 |     200    17000   119000 |    79916    76413     60 |  0.003 % |
985.53/986.03	c |   1327393 |     200    17000   119000 |    79916    77010     60 |  0.003 % |
986.03/986.57	c |   1328049 |     200    17000   119000 |    79916    77666     60 |  0.003 % |
986.73/987.24	c |   1328770 |     200    17000   119000 |    79916    78387     60 |  0.003 % |
987.43/987.93	c |   1329563 |     200    17000   119000 |    79916    79180     60 |  0.003 % |
988.23/988.72	c |   1330437 |     200    17000   119000 |    79620    68493     60 |  0.003 % |
988.93/989.40	c |   1331399 |     200    17000   119000 |    79620    69455     60 |  0.003 % |
989.63/990.17	c |   1332453 |     200    17000   119000 |    79620    70509     60 |  0.003 % |
990.53/991.03	c |   1333613 |     200    17000   119000 |    79620    71669     60 |  0.003 % |
991.53/992.03	c |   1334887 |     200    17000   119000 |    79620    72943     60 |  0.003 % |
992.53/993.07	c |   1336288 |     200    17000   119000 |    79620    74344     60 |  0.003 % |
993.63/994.15	c |   1337828 |     200    17000   119000 |    79620    75884     60 |  0.003 % |
994.83/995.34	c |   1339522 |     200    17000   119000 |    79620    77578     60 |  0.003 % |
996.33/996.90	c |   1341385 |     200    17000   119000 |    78057    69952     60 |  0.003 % |
997.93/998.40	c |   1343434 |     200    17000   119000 |    78057    72001     60 |  0.003 % |
999.63/1000.15	c |   1345688 |     200    17000   119000 |    78057    74255     60 |  0.003 % |
1001.63/1002.14	c |   1348166 |     200    17000   119000 |    78057    76733     60 |  0.003 % |
1003.62/1004.18	c |   1350893 |     200    17000   119000 |    68420    60521     60 |  0.003 % |
1005.42/1005.99	c |   1353890 |     200    17000   119000 |    68420    63518     60 |  0.003 % |
1007.62/1008.12	c |   1357186 |     200    17000   119000 |    68420    66814     60 |  0.003 % |
1010.02/1010.52	c |   1360812 |     200    17000   119000 | 2147483647    63589     59 |  0.003 % |
1012.82/1013.38	c |   1364801 |     200    17000   119000 | 2147483647    67578     59 |  0.003 % |
1016.12/1016.61	c |   1369186 |     200    17000   119000 | 2147483647    71963     59 |  0.003 % |
1019.72/1020.28	c |   1374009 |     200    17000   119000 | 2147483647    76786     59 |  0.003 % |
1024.02/1024.59	c |   1379316 |     200    17000   119000 | 2147483647    82093     59 |  0.003 % |
1028.72/1029.28	c |   1385152 |     200    17000   119000 |    82779    76318     59 |  0.003 % |
1033.81/1034.32	c |   1391570 |     200    17000   119000 |    81167    71521     59 |  0.003 % |
1039.21/1039.78	c |   1398629 |     200    17000   119000 |    81167    78580     59 |  0.003 % |
1045.41/1045.97	c |   1406393 |     200    17000   119000 |    79952    75114     59 |  0.003 % |
1051.81/1052.31	c |   1414934 |     200    17000   119000 |    78722    73385     60 |  0.003 % |
1059.01/1059.52	c |   1424328 |     200    17000   119000 |    78451    73219     60 |  0.003 % |
1066.51/1067.09	c |   1434663 |     200    17000   119000 |    69359    65686     60 |  0.003 % |
1075.00/1075.59	c |   1446029 |     200    17000   119000 | 2147483647    70109     60 |  0.003 % |
1084.10/1084.65	c |   1458531 |     200    17000   119000 |    74080    66476     60 |  0.003 % |
1084.20/1084.73	c |   1458631 |     200    17000   119000 |    74080    66576     60 |  0.003 % |
1084.30/1084.81	c |   1458741 |     200    17000   119000 |    74080    66686     60 |  0.003 % |
1084.40/1084.91	c |   1458862 |     200    17000   119000 |    74080    66807     60 |  0.003 % |
1084.50/1085.02	c |   1458998 |     200    17000   119000 |    74080    66943     60 |  0.003 % |
1084.60/1085.13	c |   1459144 |     200    17000   119000 |    74080    67089     60 |  0.003 % |
1084.70/1085.25	c |   1459306 |     200    17000   119000 |    74080    67251     60 |  0.003 % |
1084.80/1085.38	c |   1459484 |     200    17000   119000 |    74080    67429     60 |  0.003 % |
1085.00/1085.53	c |   1459679 |     200    17000   119000 |    74080    67624     60 |  0.003 % |
1085.10/1085.67	c |   1459892 |     200    17000   119000 |    74080    67837     60 |  0.003 % |
1085.30/1085.89	c |   1460127 |     200    17000   119000 |    67946    60519     60 |  0.003 % |
1085.50/1086.05	c |   1460384 |     200    17000   119000 |    67946    60776     60 |  0.003 % |
1085.70/1086.27	c |   1460667 |     200    17000   119000 |    67946    61059     60 |  0.003 % |
1085.90/1086.45	c |   1460976 |     200    17000   119000 |    67946    61368     60 |  0.003 % |
1086.10/1086.70	c |   1461316 |     200    17000   119000 |    67946    61708     60 |  0.003 % |
1086.40/1086.94	c |   1461690 |     200    17000   119000 |    67946    62082     60 |  0.003 % |
1086.70/1087.24	c |   1462100 |     200    17000   119000 |    67946    62492     60 |  0.003 % |
1087.00/1087.58	c |   1462552 |     200    17000   119000 |    67946    62944     60 |  0.003 % |
1087.40/1087.99	c |   1463045 |     200    17000   119000 |    67946    63437     60 |  0.003 % |
1087.90/1088.45	c |   1463590 |     200    17000   119000 |    67946    63982     60 |  0.003 % |
1088.30/1088.87	c |   1464188 |     200    17000   119000 |    67946    64580     60 |  0.003 % |
1088.80/1089.34	c |   1464844 |     200    17000   119000 |    67946    65236     60 |  0.003 % |
1089.40/1089.93	c |   1465564 |     200    17000   119000 |    67946    65956     60 |  0.003 % |
1090.00/1090.51	c |   1466357 |     200    17000   119000 |    67946    66749     60 |  0.003 % |
1090.70/1091.25	c |   1467229 |     200    17000   119000 |    67946    67621     60 |  0.003 % |
1091.40/1091.94	c |   1468187 |     200    17000   119000 |    67946    61245     59 |  0.003 % |
1092.10/1092.68	c |   1469242 |     200    17000   119000 |    67946    62300     59 |  0.003 % |
1092.80/1093.35	c |   1470401 |     200    17000   119000 | 2147483647    63459     59 |  0.003 % |
1093.59/1094.15	c |   1471674 |     200    17000   119000 | 2147483647    64732     59 |  0.003 % |
1094.39/1094.98	c |   1473074 |     200    17000   119000 | 2147483647    66132     59 |  0.003 % |
1095.59/1096.16	c |   1474616 |     200    17000   119000 | 2147483647    67674     59 |  0.003 % |
1096.70/1097.28	c |   1476312 |     200    17000   119000 | 2147483647    69370     59 |  0.003 % |
1098.19/1098.72	c |   1478175 |     200    17000   119000 | 2147483647    71233     59 |  0.003 % |
1099.69/1100.23	c |   1480224 |     200    17000   119000 | 2147483647    73282     59 |  0.003 % |
1101.29/1101.87	c |   1482480 |     200    17000   119000 | 2147483647    75538     59 |  0.003 % |
1103.39/1103.99	c |   1484958 |     200    17000   119000 | 2147483647    78016     59 |  0.003 % |
1105.79/1106.36	c |   1487683 |     200    17000   119000 | 2147483647    80741     59 |  0.003 % |
1108.19/1108.73	c |   1490681 |     200    17000   119000 |    83058    72789     59 |  0.003 % |
1110.49/1111.07	c |   1493977 |     200    17000   119000 |    83058    76085     59 |  0.003 % |
1113.09/1113.64	c |   1497605 |     200    17000   119000 |    83058    79713     59 |  0.003 % |
1116.19/1116.80	c |   1501593 |     200    17000   119000 |    82110    73833     59 |  0.003 % |
1119.89/1120.45	c |   1505980 |     200    17000   119000 |    82110    78220     59 |  0.003 % |
1123.89/1124.47	c |   1510803 |     200    17000   119000 |    70071    60533     59 |  0.003 % |
1127.49/1128.09	c |   1516108 |     200    17000   119000 |    70071    65838     59 |  0.003 % |
1131.59/1132.13	c |   1521943 |     200    17000   119000 |    69730    64638     59 |  0.003 % |
1135.98/1136.54	c |   1528361 |     200    17000   119000 |    69730    64074     59 |  0.003 % |
1140.68/1141.22	c |   1535421 |     200    17000   119000 | 2147483647    71134     59 |  0.003 % |
1146.28/1146.86	c |   1543185 |     200    17000   119000 | 2147483647    78898     59 |  0.003 % |
1153.59/1154.12	c |   1551726 |     200    17000   119000 |    85713    74639     60 |  0.003 % |
1161.49/1162.04	c |   1561121 |     200    17000   119000 |    82913    71554     60 |  0.003 % |
1169.68/1170.23	c |   1571454 |     200    17000   119000 |    80433    71166     60 |  0.003 % |
1178.28/1178.83	c |   1582820 |     200    17000   119000 |    79712    72564     59 |  0.003 % |
1187.98/1188.55	c |   1595323 |     200    17000   119000 |    79745    75302     59 |  0.003 % |
1197.77/1198.33	c |   1609075 |     200    17000   119000 |    69697    62861     59 |  0.003 % |
1197.87/1198.40	c |   1609176 |     200    17000   119000 |    69697    62962     59 |  0.003 % |
1197.87/1198.47	c |   1609286 |     200    17000   119000 |    69697    63072     59 |  0.003 % |
1197.97/1198.54	c |   1609407 |     200    17000   119000 |    69697    63193     59 |  0.003 % |
1198.07/1198.63	c |   1609541 |     200    17000   119000 |    69697    63327     59 |  0.003 % |
1198.17/1198.74	c |   1609688 |     200    17000   119000 |    69697    63474     59 |  0.003 % |
1198.27/1198.86	c |   1609848 |     200    17000   119000 |    69697    63634     59 |  0.003 % |
1198.38/1198.98	c |   1610025 |     200    17000   119000 | 2147483647    63811     59 |  0.003 % |
1198.57/1199.14	c |   1610218 |     200    17000   119000 | 2147483647    64004     59 |  0.003 % |
1198.67/1199.26	c |   1610430 |     200    17000   119000 | 2147483647    64216     59 |  0.003 % |
1198.87/1199.42	c |   1610663 |     200    17000   119000 | 2147483647    64449     59 |  0.003 % |
1198.97/1199.59	c |   1610919 |     200    17000   119000 | 2147483647    64705     59 |  0.003 % |
1199.17/1199.79	c |   1611200 |     200    17000   119000 | 2147483647    64986     59 |  0.003 % |
1199.48/1200.02	c |   1611511 |     200    17000   119000 | 2147483647    65297     59 |  0.003 % |
1199.67/1200.29	c |   1611850 |     200    17000   119000 | 2147483647    65636     59 |  0.003 % |
1199.97/1200.52	c |   1612222 |     200    17000   119000 | 2147483647    66008     59 |  0.003 % |
1200.08/1200.61	HOME/SatELiteGTI: line 36: 11753 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-1832575-1242784743/watcher-1832575-1242784743 -o /tmp/evaluation-result-1832575-1242784743/solver-1832575-1242784743 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832575-1242784743.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 11747
/proc/meminfo: memFree=1948424/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 306507488 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 225612365906 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11747/statm: 1339 235 195 169 0 50 0
[pid=11748] ppid=11747 vsize=5356 CPUtime=0
/proc/11748/stat : 11748 (SatELiteGTI) R 11747 11747 11637 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306507488 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/11748/statm: 1339 238 198 169 0 50 0
[pid=11750] ppid=11748 vsize=0 CPUtime=0
/proc/11750/stat : 11750 (sed) Z 11748 11747 11637 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306507488 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/11750/statm: 0 0 0 0 0 0 0

[startup+0.060777 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11747
/proc/meminfo: memFree=1948424/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306507488 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11747/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101783 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11747
/proc/meminfo: memFree=1948424/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.3018 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11747
/proc/meminfo: memFree=1948424/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701837 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11747
/proc/meminfo: memFree=1948424/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.5029 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 11753
/proc/meminfo: memFree=1944304/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=5060 CPUtime=1.42
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 1026 0 0 0 142 0 0 0 25 0 1 0 306507494 5181440 1012 1992294400 134512640 135215339 4294956240 18446744073709551615 134726492 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 1265 1012 76 171 0 1092 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10416

[startup+3.10104 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 11753
/proc/meminfo: memFree=1942576/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=7460 CPUtime=3.02
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 1617 0 0 0 301 1 0 0 25 0 1 0 306507494 7639040 1603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528846 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 1865 1603 76 171 0 1692 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12816

[startup+6.30131 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 11753
/proc/meminfo: memFree=1938928/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=10344 CPUtime=6.22
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 2347 0 0 0 620 2 0 0 25 0 1 0 306507494 10592256 2333 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 2586 2333 76 171 0 2413 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15700

[startup+12.7019 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 11753
/proc/meminfo: memFree=1934520/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=14516 CPUtime=12.61
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 3364 0 0 0 1258 3 0 0 25 0 1 0 306507494 14864384 3350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 3629 3350 76 171 0 3456 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19872

[startup+25.502 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 11753
/proc/meminfo: memFree=1928632/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=20068 CPUtime=25.41
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 4755 0 0 0 2535 6 0 0 25 0 1 0 306507494 20549632 4741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 5017 4741 76 171 0 4844 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25424

[startup+51.1012 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 11753
/proc/meminfo: memFree=1925112/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=23384 CPUtime=51.01
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 5612 0 0 0 5093 8 0 0 25 0 1 0 306507494 23945216 5598 1992294400 134512640 135215339 4294956240 18446744073709551615 134538087 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 5846 5598 76 171 0 5673 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 28740

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 11753
/proc/meminfo: memFree=1923640/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=24704 CPUtime=102.19
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 5935 0 0 0 10211 8 0 0 25 0 1 0 306507494 25296896 5921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6176 5921 76 171 0 6003 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 30060

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11759
/proc/meminfo: memFree=1922672/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=25496 CPUtime=162.17
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6137 0 0 0 16208 9 0 0 25 0 1 0 306507494 26107904 6123 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6374 6123 76 171 0 6201 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 30852

[startup+222.302 s]
/proc/loadavg: 1.25 1.08 1.03 2/66 12235
/proc/meminfo: memFree=1881136/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=25496 CPUtime=222
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6137 0 0 0 22188 12 0 0 25 0 1 0 306507494 26107904 6123 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6374 6123 76 171 0 6201 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 30852

[startup+282.301 s]
/proc/loadavg: 1.09 1.07 1.02 2/66 12235
/proc/meminfo: memFree=1880496/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=26288 CPUtime=281.98
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6327 0 0 0 28185 13 0 0 25 0 1 0 306507494 26918912 6313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6572 6313 76 171 0 6399 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 31644

[startup+342.301 s]
/proc/loadavg: 1.03 1.05 1.02 2/66 12235
/proc/meminfo: memFree=1879984/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=26816 CPUtime=341.97
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6477 0 0 0 34183 14 0 0 25 0 1 0 306507494 27459584 6463 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6704 6463 76 171 0 6531 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 32172

[startup+402.301 s]
/proc/loadavg: 1.01 1.04 1.01 2/66 12235
/proc/meminfo: memFree=1879664/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=27092 CPUtime=401.95

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

[pid=11753] ppid=11747 vsize=27356 CPUtime=461.93
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6585 0 0 0 46178 15 0 0 25 0 1 0 306507494 28012544 6571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6839 6571 76 171 0 6666 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 32712

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 12235
/proc/meminfo: memFree=1879288/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=27336 CPUtime=521.91
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6585 0 0 0 52176 15 0 0 25 0 1 0 306507494 27992064 6571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6834 6571 76 171 0 6661 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 32692

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 12235
/proc/meminfo: memFree=1878584/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=27980 CPUtime=581.9
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6740 0 0 0 58175 15 0 0 25 0 1 0 306507494 28651520 6726 1992294400 134512640 135215339 4294956240 18446744073709551615 134541478 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6995 6726 76 171 0 6822 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 33336

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 12235
/proc/meminfo: memFree=1878392/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=27980 CPUtime=641.88
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6745 0 0 0 64172 16 0 0 25 0 1 0 306507494 28651520 6731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6995 6731 76 171 0 6822 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 33336

[startup+702.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 12235
/proc/meminfo: memFree=1878136/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=27980 CPUtime=701.85
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6767 0 0 0 70169 16 0 0 25 0 1 0 306507494 28651520 6753 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 6995 6753 76 171 0 6822 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 33336

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12235
/proc/meminfo: memFree=1878072/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=28116 CPUtime=761.85
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6772 0 0 0 76168 17 0 0 25 0 1 0 306507494 28790784 6758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 7029 6758 76 171 0 6856 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 33472

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12235
/proc/meminfo: memFree=1878008/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=28116 CPUtime=821.82
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6772 0 0 0 82165 17 0 0 25 0 1 0 306507494 28790784 6758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 7029 6758 76 171 0 6856 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 33472

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12235
/proc/meminfo: memFree=1877880/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=28116 CPUtime=881.8
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6790 0 0 0 88163 17 0 0 25 0 1 0 306507494 28790784 6776 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 7029 6776 76 171 0 6856 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 33472

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12235
/proc/meminfo: memFree=1877496/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=28380 CPUtime=941.79
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 6849 0 0 0 94161 18 0 0 25 0 1 0 306507494 29061120 6835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 7095 6835 76 171 0 6922 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 33736

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12235
/proc/meminfo: memFree=1876664/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=29184 CPUtime=1001.78
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 7042 0 0 0 100160 18 0 0 25 0 1 0 306507494 29884416 7028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 7296 7028 76 171 0 7123 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 34540

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12235
/proc/meminfo: memFree=1876600/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=29184 CPUtime=1061.76
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 7042 0 0 0 106158 18 0 0 25 0 1 0 306507494 29884416 7028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 7296 7028 76 171 0 7123 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 34540

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12235
/proc/meminfo: memFree=1876536/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=29184 CPUtime=1121.74
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 7042 0 0 0 112156 18 0 0 25 0 1 0 306507494 29884416 7028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 7296 7028 76 171 0 7123 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 34540

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12235
/proc/meminfo: memFree=1876216/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=29316 CPUtime=1181.73
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 7093 0 0 0 118154 19 0 0 25 0 1 0 306507494 30019584 7079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 7329 7079 76 171 0 7156 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 34672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12235
/proc/meminfo: memFree=1876088/2055920 swapFree=4179340/4192956
[pid=11747] ppid=11745 vsize=5356 CPUtime=0.05
/proc/11747/stat : 11747 (SatELiteGTI) S 11745 11747 11637 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306507488 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1339 239 197 169 0 50 0
[pid=11753] ppid=11747 vsize=29452 CPUtime=1200.03
/proc/11753/stat : 11753 (minisat_static) R 11747 11747 11637 0 -1 4194304 7110 0 0 0 119984 19 0 0 25 0 1 0 306507494 30158848 7096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11753/statm: 7363 7096 76 171 0 7190 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 34808

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.61
CPU time (s): 1200.11
CPU user time (s): 1199.9
CPU system time (s): 0.206968
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 34808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.9
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8201
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= 26
involuntary context switches= 3614

runsolver used 1.40079 second user time and 3.07153 second system time

The end

Launcher Data

Begin job on node31 at 2009-05-20 03:59:03
IDJOB=1832575
IDBENCH=70251
IDSOLVER=671
FILE ID=node31/1832575-1242784743
PBS_JOBID= 9322302
Free space on /tmp= 66232 MiB

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

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

MD5SUM BENCH= 382f60389aa2be490306466e5f9deebc
RANDOM SEED=2074570931

node31.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.213
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.213
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:       1948904 kB
Buffers:         22252 kB
Cached:          47396 kB
SwapCached:       7124 kB
Active:          24272 kB
Inactive:        55008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1948904 kB
SwapTotal:     4192956 kB
SwapFree:      4179340 kB
Dirty:            2068 kB
Writeback:           0 kB
Mapped:          14216 kB
Slab:            13532 kB
Committed_AS:   999104 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66232 MiB
End job on node31 at 2009-05-20 04:19:06