Trace number 1832511

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
MD5SUM753f19bcdc2785a101dbb1ac96d61ec5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark21.1018
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses18000
Sum of the clauses size90000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 518000
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   18000    90000 |    5399       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 900   #clauses: 18000   #literals: 90000
0.00/0.02	c CPU time:   0.019996 s
0.00/0.02	c ==============================================================================
0.00/0.05	c This is MiniSat 2.0 beta
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Number of variables:  900                                                  |
0.00/0.05	c |  Number of clauses:    18000                                                |
0.00/0.06	c |  Parsing time:         0.01         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     900    18000    90000 |     6000        0    nan |  0.000 % |
0.00/0.08	c |       100 |     900    18000    90000 |     6000      100    104 |  0.000 % |
0.00/0.09	c |       201 |     900    18000    90000 |     6000      201    112 |  0.000 % |
0.00/0.10	c |       305 |     900    18000    90000 |     6000      305    108 |  0.000 % |
0.04/0.11	c |       415 |     900    18000    90000 |     6000      415    104 |  0.000 % |
0.04/0.12	c |       515 |     900    18000    90000 |     6000      515    104 |  0.000 % |
0.04/0.13	c |       626 |     900    18000    90000 |     6000      626    105 |  0.000 % |
0.04/0.14	c |       748 |     900    18000    90000 |     6000      748    107 |  0.000 % |
0.04/0.15	c |       849 |     900    18000    90000 |     6000      849    110 |  0.000 % |
0.04/0.16	c |       960 |     900    18000    90000 |     6000      960    108 |  0.000 % |
0.04/0.17	c |      1081 |     900    18000    90000 |     6000     1081    106 |  0.000 % |
0.04/0.19	c |      1214 |     900    18000    90000 |     6000     1214    107 |  0.000 % |
0.04/0.20	c |      1314 |     900    18000    90000 |     6000     1314    107 |  0.000 % |
0.04/0.21	c |      1427 |     900    18000    90000 |     6000     1427    106 |  0.000 % |
0.04/0.22	c |      1548 |     900    18000    90000 |     6000     1548    106 |  0.000 % |
0.04/0.24	c |      1681 |     900    18000    90000 |     6000     1681    107 |  0.000 % |
0.04/0.25	c |      1828 |     900    18000    90000 |     6000     1828    107 |  0.000 % |
0.04/0.26	c |      1929 |     900    18000    90000 |     6000     1929    107 |  0.000 % |
0.04/0.27	c |      2039 |     900    18000    90000 |     6000     2039    107 |  0.000 % |
0.04/0.29	c |      2161 |     900    18000    90000 |     6000     2161    108 |  0.000 % |
0.04/0.30	c |      2297 |     900    18000    90000 |     6000     2297    108 |  0.000 % |
0.04/0.32	c |      2445 |     900    18000    90000 |     6000     2445    108 |  0.000 % |
0.04/0.33	c |      2605 |     900    18000    90000 |     6000     2605    108 |  0.000 % |
0.04/0.34	c |      2705 |     900    18000    90000 |     6000     2705    108 |  0.000 % |
0.04/0.36	c |      2817 |     900    18000    90000 |     6000     2817    108 |  0.000 % |
0.04/0.37	c |      2939 |     900    18000    90000 |     6000     2939    109 |  0.000 % |
0.04/0.39	c |      3073 |     900    18000    90000 |     6000     3073    109 |  0.000 % |
0.04/0.41	c |      3220 |     900    18000    90000 |     6000     3220    110 |  0.000 % |
0.04/0.42	c |      3380 |     900    18000    90000 |     6000     3380    110 |  0.000 % |
0.04/0.44	c |      3557 |     900    18000    90000 |     6000     3557    110 |  0.000 % |
0.04/0.45	c |      3657 |     900    18000    90000 |     6000     3657    110 |  0.000 % |
0.04/0.47	c |      3770 |     900    18000    90000 |     6000     3770    111 |  0.000 % |
0.04/0.48	c |      3892 |     900    18000    90000 |     6000     3892    111 |  0.000 % |
0.04/0.50	c |      4026 |     900    18000    90000 |     6000     4026    111 |  0.000 % |
0.04/0.52	c |      4172 |     900    18000    90000 |     6000     4172    111 |  0.000 % |
0.04/0.53	c |      4335 |     900    18000    90000 |     6000     4335    111 |  0.000 % |
0.04/0.56	c |      4511 |     900    18000    90000 |     6000     4511    111 |  0.000 % |
0.04/0.58	c |      4704 |     900    18000    90000 |     6000     4704    111 |  0.000 % |
0.04/0.59	c |      4804 |     900    18000    90000 |     6000     4804    111 |  0.000 % |
0.04/0.60	c |      4914 |     900    18000    90000 |     6000     4914    111 |  0.000 % |
0.04/0.62	c |      5037 |     900    18000    90000 |     6000     5037    111 |  0.000 % |
0.04/0.63	c |      5170 |     900    18000    90000 |     6000     5170    111 |  0.000 % |
0.04/0.65	c |      5318 |     900    18000    90000 |     6000     5318    110 |  0.000 % |
0.04/0.67	c |      5479 |     900    18000    90000 |     6000     5479    111 |  0.000 % |
0.04/0.69	c |      5655 |     900    18000    90000 |     6000     5655    110 |  0.000 % |
0.04/0.72	c |      5849 |     900    18000    90000 |     6000     5849    110 |  0.000 % |
0.04/0.74	c |      6064 |     900    18000    90000 |     6000     6064    110 |  0.000 % |
0.04/0.76	c |      6167 |     900    18000    90000 |     6000     5561    110 |  0.000 % |
0.04/0.78	c |      6278 |     900    18000    90000 |     6000     5672    110 |  0.000 % |
0.04/0.79	c |      6399 |     900    18000    90000 |     6000     5793    110 |  0.000 % |
0.04/0.81	c |      6533 |     900    18000    90000 |     6000     5927    110 |  0.000 % |
0.04/0.83	c |      6679 |     900    18000    90000 |     6000     6073    109 |  0.000 % |
0.04/0.85	c |      6839 |     900    18000    90000 |     6000     5626    109 |  0.000 % |
0.04/0.87	c |      7016 |     900    18000    90000 |     6000     5803    109 |  0.000 % |
0.04/0.89	c |      7209 |     900    18000    90000 |     6000     5996    110 |  0.000 % |
0.04/0.92	c |      7423 |     900    18000    90000 |     6000     6210    110 |  0.000 % |
0.04/0.95	c |      7660 |     900    18000    90000 |     6000     5826    111 |  0.000 % |
0.04/0.96	c |      7760 |     900    18000    90000 |     6000     5926    111 |  0.000 % |
0.04/0.97	c |      7871 |     900    18000    90000 |     6000     6037    110 |  0.000 % |
0.04/0.99	c |      7993 |     900    18000    90000 |     6000     5556    110 |  0.000 % |
0.04/1.01	c |      8128 |     900    18000    90000 |     6000     5691    110 |  0.000 % |
0.04/1.03	c |      8274 |     900    18000    90000 |     6000     5837    110 |  0.000 % |
0.04/1.05	c |      8434 |     900    18000    90000 |     6000     5997    110 |  0.000 % |
0.04/1.07	c |      8614 |     900    18000    90000 |     6000     6177    111 |  0.000 % |
0.04/1.10	c |      8807 |     900    18000    90000 |     6000     5753    111 |  0.000 % |
1.08/1.13	c |      9023 |     900    18000    90000 |     6000     5969    111 |  0.000 % |
1.08/1.15	c |      9256 |     900    18000    90000 |     6000     6202    111 |  0.000 % |
1.08/1.19	c |      9512 |     900    18000    90000 |     6000     5838    111 |  0.000 % |
1.18/1.20	c |      9613 |     900    18000    90000 |     6000     5939    111 |  0.000 % |
1.18/1.22	c |      9724 |     900    18000    90000 |     6000     6050    111 |  0.000 % |
1.18/1.24	c |      9845 |     900    18000    90000 |     6000     5566    111 |  0.000 % |
1.18/1.25	c |      9978 |     900    18000    90000 |     6000     5699    111 |  0.000 % |
1.18/1.27	c |     10128 |     900    18000    90000 | 2147483647     5849    111 |  0.000 % |
1.18/1.29	c |     10289 |     900    18000    90000 | 2147483647     6010    111 |  0.000 % |
1.27/1.32	c |     10466 |     900    18000    90000 | 2147483647     6187    111 |  0.000 % |
1.27/1.34	c |     10661 |     900    18000    90000 | 2147483647     6382    111 |  0.000 % |
1.27/1.37	c |     10875 |     900    18000    90000 | 2147483647     6596    112 |  0.000 % |
1.37/1.41	c |     11108 |     900    18000    90000 | 2147483647     6829    112 |  0.000 % |
1.37/1.44	c |     11365 |     900    18000    90000 | 2147483647     7086    112 |  0.000 % |
1.37/1.48	c |     11646 |     900    18000    90000 | 2147483647     7367    112 |  0.000 % |
1.37/1.49	c |     11746 |     900    18000    90000 | 2147483647     7467    112 |  0.000 % |
1.47/1.51	c |     11856 |     900    18000    90000 | 2147483647     7577    112 |  0.000 % |
1.47/1.53	c |     11977 |     900    18000    90000 | 2147483647     7698    112 |  0.000 % |
1.47/1.54	c |     12111 |     900    18000    90000 | 2147483647     7832    112 |  0.000 % |
1.47/1.57	c |     12257 |     900    18000    90000 | 2147483647     7978    112 |  0.000 % |
1.47/1.59	c |     12418 |     900    18000    90000 | 2147483647     8139    112 |  0.000 % |
1.57/1.61	c |     12594 |     900    18000    90000 | 2147483647     8315    112 |  0.000 % |
1.57/1.65	c |     12787 |     900    18000    90000 | 2147483647     8508    112 |  0.000 % |
1.57/1.68	c |     13000 |     900    18000    90000 | 2147483647     8721    112 |  0.000 % |
1.67/1.71	c |     13238 |     900    18000    90000 | 2147483647     8959    112 |  0.000 % |
1.67/1.75	c |     13495 |     900    18000    90000 | 2147483647     9216    113 |  0.000 % |
1.67/1.79	c |     13776 |     900    18000    90000 | 2147483647     9497    112 |  0.000 % |
1.77/1.83	c |     14085 |     900    18000    90000 | 2147483647     9806    113 |  0.000 % |
1.77/1.85	c |     14185 |     900    18000    90000 | 2147483647     9906    113 |  0.000 % |
1.77/1.87	c |     14297 |     900    18000    90000 | 2147483647    10018    113 |  0.000 % |
1.77/1.89	c |     14419 |     900    18000    90000 | 2147483647    10140    113 |  0.000 % |
1.87/1.91	c |     14555 |     900    18000    90000 | 2147483647    10276    113 |  0.000 % |
1.87/1.94	c |     14701 |     900    18000    90000 | 2147483647    10422    113 |  0.000 % |
1.87/1.96	c |     14861 |     900    18000    90000 | 2147483647    10582    113 |  0.000 % |
1.87/1.99	c |     15037 |     900    18000    90000 | 2147483647    10758    113 |  0.000 % |
1.97/2.02	c |     15231 |     900    18000    90000 | 2147483647    10952    113 |  0.000 % |
1.97/2.05	c |     15445 |     900    18000    90000 | 2147483647    11166    113 |  0.000 % |
1.97/2.09	c |     15678 |     900    18000    90000 | 2147483647    11399    114 |  0.000 % |
2.07/2.13	c |     15936 |     900    18000    90000 | 2147483647    11657    114 |  0.000 % |
2.07/2.18	c |     16217 |     900    18000    90000 | 2147483647    11938    114 |  0.000 % |
2.17/2.23	c |     16526 |     900    18000    90000 | 2147483647    12247    114 |  0.000 % |
2.17/2.29	c |     16865 |     900    18000    90000 | 2147483647    12586    114 |  0.000 % |
2.28/2.31	c |     16966 |     900    18000    90000 | 2147483647    12687    114 |  0.000 % |
2.28/2.33	c |     17078 |     900    18000    90000 | 2147483647    12799    114 |  0.000 % |
2.28/2.35	c |     17200 |     900    18000    90000 | 2147483647    12921    114 |  0.000 % |
2.28/2.37	c |     17333 |     900    18000    90000 | 2147483647    13054    114 |  0.000 % |
2.28/2.40	c |     17479 |     900    18000    90000 | 2147483647    13200    113 |  0.000 % |
2.37/2.43	c |     17641 |     900    18000    90000 | 2147483647    13362    113 |  0.000 % |
2.37/2.46	c |     17819 |     900    18000    90000 | 2147483647    13540    113 |  0.000 % |
2.37/2.49	c |     18012 |     900    18000    90000 | 2147483647    13733    113 |  0.000 % |
2.47/2.54	c |     18224 |     900    18000    90000 | 2147483647    13945    113 |  0.000 % |
2.47/2.58	c |     18459 |     900    18000    90000 | 2147483647    14180    113 |  0.000 % |
2.57/2.63	c |     18717 |     900    18000    90000 | 2147483647    14438    113 |  0.000 % |
2.57/2.68	c |     18999 |     900    18000    90000 | 2147483647    14720    113 |  0.000 % |
2.68/2.74	c |     19309 |     900    18000    90000 | 2147483647    15030    113 |  0.000 % |
2.77/2.81	c |     19649 |     900    18000    90000 | 2147483647    15370    113 |  0.000 % |
2.77/2.88	c |     20021 |     900    18000    90000 | 2147483647    15742    114 |  0.000 % |
2.87/2.90	c |     20122 |     900    18000    90000 | 2147483647    15843    114 |  0.000 % |
2.87/2.92	c |     20232 |     900    18000    90000 | 2147483647    15953    114 |  0.000 % |
2.87/2.95	c |     20353 |     900    18000    90000 | 2147483647    16074    114 |  0.000 % |
2.87/2.98	c |     20488 |     900    18000    90000 | 2147483647    16209    114 |  0.000 % |
2.97/3.01	c |     20635 |     900    18000    90000 | 2147483647    16356    114 |  0.000 % |
2.97/3.04	c |     20795 |     900    18000    90000 | 2147483647    16516    114 |  0.000 % |
2.97/3.08	c |     20972 |     900    18000    90000 | 2147483647    16693    113 |  0.000 % |
3.07/3.11	c |     21170 |     900    18000    90000 | 2147483647    16891    113 |  0.000 % |
3.07/3.15	c |     21382 |     900    18000    90000 | 2147483647    17103    114 |  0.000 % |
3.17/3.20	c |     21616 |     900    18000    90000 | 2147483647    17337    114 |  0.000 % |
3.17/3.25	c |     21872 |     900    18000    90000 | 2147483647    17593    114 |  0.000 % |
3.27/3.31	c |     22156 |     900    18000    90000 | 2147483647    17877    114 |  0.000 % |
3.27/3.37	c |     22467 |     900    18000    90000 | 2147483647    18188    114 |  0.000 % |
3.37/3.44	c |     22807 |     900    18000    90000 | 2147483647    18528    114 |  0.000 % |
3.46/3.52	c |     23179 |     900    18000    90000 | 2147483647    18900    114 |  0.000 % |
3.56/3.61	c |     23589 |     900    18000    90000 | 2147483647    19310    114 |  0.000 % |
3.56/3.63	c |     23690 |     900    18000    90000 | 2147483647    19411    114 |  0.000 % |
3.56/3.66	c |     23800 |     900    18000    90000 | 2147483647    19521    114 |  0.000 % |
3.56/3.69	c |     23922 |     900    18000    90000 | 2147483647    19643    114 |  0.000 % |
3.66/3.72	c |     24055 |     900    18000    90000 | 2147483647    19776    114 |  0.000 % |
3.66/3.76	c |     24203 |     900    18000    90000 | 2147483647    19924    114 |  0.000 % |
3.66/3.79	c |     24364 |     900    18000    90000 | 2147483647    20085    114 |  0.000 % |
3.76/3.83	c |     24540 |     900    18000    90000 | 2147483647    20261    114 |  0.000 % |
3.76/3.88	c |     24733 |     900    18000    90000 | 2147483647    20454    114 |  0.000 % |
3.86/3.93	c |     24945 |     900    18000    90000 | 2147483647    20666    114 |  0.000 % |
3.86/3.98	c |     25178 |     900    18000    90000 | 2147483647    20899    114 |  0.000 % |
3.96/4.04	c |     25435 |     900    18000    90000 | 2147483647    21156    114 |  0.000 % |
4.06/4.11	c |     25716 |     900    18000    90000 | 2147483647    21437    114 |  0.000 % |
4.06/4.17	c |     26025 |     900    18000    90000 | 2147483647    21746    115 |  0.000 % |
4.16/4.26	c |     26365 |     900    18000    90000 | 2147483647    22086    114 |  0.000 % |
4.27/4.34	c |     26737 |     900    18000    90000 | 2147483647    22458    114 |  0.000 % |
4.37/4.45	c |     27146 |     900    18000    90000 | 2147483647    22867    115 |  0.000 % |
4.47/4.56	c |     27595 |     900    18000    90000 | 2147483647    23316    115 |  0.000 % |
4.47/4.59	c |     27696 |     900    18000    90000 | 2147483647    23417    115 |  0.000 % |
4.57/4.62	c |     27808 |     900    18000    90000 | 2147483647    23529    115 |  0.000 % |
4.57/4.65	c |     27930 |     900    18000    90000 | 2147483647    23651    115 |  0.000 % |
4.57/4.69	c |     28065 |     900    18000    90000 | 2147483647    23786    115 |  0.000 % |
4.67/4.73	c |     28212 |     900    18000    90000 | 2147483647    23933    115 |  0.000 % |
4.67/4.77	c |     28373 |     900    18000    90000 | 2147483647    24094    115 |  0.000 % |
4.77/4.82	c |     28549 |     900    18000    90000 | 2147483647    24270    115 |  0.000 % |
4.77/4.87	c |     28742 |     900    18000    90000 | 2147483647    24463    115 |  0.000 % |
4.87/4.94	c |     28954 |     900    18000    90000 | 2147483647    24675    114 |  0.000 % |
4.87/5.00	c |     29188 |     900    18000    90000 | 2147483647    24909    114 |  0.000 % |
4.97/5.06	c |     29444 |     900    18000    90000 | 2147483647    25165    115 |  0.000 % |
5.07/5.14	c |     29726 |     900    18000    90000 | 2147483647    25447    115 |  0.000 % |
5.17/5.22	c |     30035 |     900    18000    90000 | 2147483647    25756    115 |  0.000 % |
5.27/5.32	c |     30375 |     900    18000    90000 | 2147483647    26096    115 |  0.000 % |
5.36/5.41	c |     30748 |     900    18000    90000 | 2147483647    26469    115 |  0.000 % |
5.47/5.52	c |     31160 |     900    18000    90000 | 2147483647    26881    115 |  0.000 % |
5.57/5.64	c |     31609 |     900    18000    90000 | 2147483647    27330    115 |  0.000 % |
5.66/5.77	c |     32104 |     900    18000    90000 | 2147483647    27825    115 |  0.000 % |
5.76/5.80	c |     32204 |     900    18000    90000 | 2147483647    27925    115 |  0.000 % |
5.76/5.83	c |     32314 |     900    18000    90000 | 2147483647    28035    115 |  0.000 % |
5.76/5.87	c |     32435 |     900    18000    90000 | 2147483647    28156    115 |  0.000 % |
5.86/5.91	c |     32568 |     900    18000    90000 | 2147483647    28289    115 |  0.000 % |
5.86/5.95	c |     32714 |     900    18000    90000 | 2147483647    28435    115 |  0.000 % |
5.86/6.00	c |     32876 |     900    18000    90000 | 2147483647    28597    115 |  0.000 % |
5.96/6.05	c |     33052 |     900    18000    90000 | 2147483647    28773    115 |  0.000 % |
6.07/6.11	c |     33246 |     900    18000    90000 | 2147483647    28967    115 |  0.000 % |
6.07/6.17	c |     33458 |     900    18000    90000 | 2147483647    29179    115 |  0.000 % |
6.17/6.24	c |     33693 |     900    18000    90000 | 2147483647    29414    115 |  0.000 % |
6.27/6.32	c |     33950 |     900    18000    90000 | 2147483647    29671    115 |  0.000 % |
6.37/6.41	c |     34235 |     900    18000    90000 | 2147483647    29956    115 |  0.000 % |
6.47/6.50	c |     34544 |     900    18000    90000 | 2147483647    30265    115 |  0.000 % |
6.57/6.61	c |     34883 |     900    18000    90000 | 2147483647    30604    115 |  0.000 % |
6.67/6.73	c |     35257 |     900    18000    90000 | 2147483647    30978    115 |  0.000 % |
6.76/6.85	c |     35666 |     900    18000    90000 | 2147483647    31387    115 |  0.000 % |
6.86/6.98	c |     36117 |     900    18000    90000 | 2147483647    31838    115 |  0.000 % |
7.06/7.13	c |     36611 |     900    18000    90000 | 2147483647    32332    115 |  0.000 % |
7.16/7.29	c |     37153 |     900    18000    90000 | 2147483647    32874    115 |  0.000 % |
7.26/7.32	c |     37253 |     900    18000    90000 | 2147483647    32974    115 |  0.000 % |
7.26/7.37	c |     37365 |     900    18000    90000 | 2147483647    33086    115 |  0.000 % |
7.36/7.41	c |     37489 |     900    18000    90000 | 2147483647    33210    115 |  0.000 % |
7.36/7.46	c |     37623 |     900    18000    90000 | 2147483647    33344    115 |  0.000 % |
7.46/7.51	c |     37770 |     900    18000    90000 | 2147483647    33491    115 |  0.000 % |
7.46/7.57	c |     37930 |     900    18000    90000 | 2147483647    33651    115 |  0.000 % |
7.56/7.63	c |     38107 |     900    18000    90000 | 2147483647    33828    115 |  0.000 % |
7.56/7.70	c |     38300 |     900    18000    90000 | 2147483647    34021    115 |  0.000 % |
7.67/7.77	c |     38512 |     900    18000    90000 | 2147483647    34233    115 |  0.000 % |
7.77/7.86	c |     38747 |     900    18000    90000 | 2147483647    34468    115 |  0.000 % |
7.86/7.95	c |     39004 |     900    18000    90000 | 2147483647    34725    115 |  0.000 % |
7.96/8.05	c |     39286 |     900    18000    90000 | 2147483647    35007    115 |  0.000 % |
8.06/8.16	c |     39595 |     900    18000    90000 | 2147483647    35316    115 |  0.000 % |
8.16/8.28	c |     39934 |     900    18000    90000 | 2147483647    35655    115 |  0.000 % |
8.26/8.39	c |     40306 |     900    18000    90000 | 2147483647    36027    115 |  0.000 % |
8.46/8.53	c |     40716 |     900    18000    90000 | 2147483647    36437    115 |  0.000 % |
8.56/8.69	c |     41166 |     900    18000    90000 | 2147483647    36887    115 |  0.000 % |
8.76/8.86	c |     41660 |     900    18000    90000 | 2147483647    37381    115 |  0.000 % |
8.96/9.03	c |     42204 |     900    18000    90000 | 2147483647    37925    115 |  0.000 % |
9.16/9.24	c |     42800 |     900    18000    90000 | 2147483647    38521    115 |  0.000 % |
9.16/9.28	c |     42902 |     900    18000    90000 | 2147483647    38623    115 |  0.000 % |
9.26/9.32	c |     43012 |     900    18000    90000 | 2147483647    38733    115 |  0.000 % |
9.26/9.38	c |     43133 |     900    18000    90000 | 2147483647    38854    115 |  0.000 % |
9.36/9.44	c |     43267 |     900    18000    90000 | 2147483647    38988    115 |  0.000 % |
9.36/9.49	c |     43414 |     900    18000    90000 | 2147483647    39135    115 |  0.000 % |
9.46/9.55	c |     43574 |     900    18000    90000 | 2147483647    39295    115 |  0.000 % |
9.56/9.63	c |     43750 |     900    18000    90000 | 2147483647    39471    115 |  0.000 % |
9.66/9.70	c |     43943 |     900    18000    90000 | 2147483647    39664    115 |  0.000 % |
9.66/9.78	c |     44155 |     900    18000    90000 | 2147483647    39876    115 |  0.000 % |
9.76/9.87	c |     44388 |     900    18000    90000 | 2147483647    40109    115 |  0.000 % |
9.87/9.97	c |     44645 |     900    18000    90000 | 2147483647    40366    115 |  0.000 % |
9.97/10.07	c |     44927 |     900    18000    90000 | 2147483647    40648    115 |  0.000 % |
10.06/10.19	c |     45236 |     900    18000    90000 | 2147483647    40957    115 |  0.000 % |
10.26/10.32	c |     45575 |     900    18000    90000 | 2147483647    41296    115 |  0.000 % |
10.36/10.47	c |     45948 |     900    18000    90000 | 2147483647    41669    115 |  0.000 % |
10.56/10.62	c |     46358 |     900    18000    90000 | 2147483647    42079    115 |  0.000 % |
10.76/10.80	c |     46808 |     900    18000    90000 | 2147483647    42529    115 |  0.000 % |
10.86/11.00	c |     47304 |     900    18000    90000 | 2147483647    43025    115 |  0.000 % |
11.16/11.21	c |     47848 |     900    18000    90000 | 2147483647    43569    116 |  0.000 % |
11.36/11.45	c |     48445 |     900    18000    90000 | 2147483647    44166    116 |  0.000 % |
11.66/11.71	c |     49102 |     900    18000    90000 | 2147483647    44823    116 |  0.000 % |
11.66/11.75	c |     49203 |     900    18000    90000 | 2147483647    44924    116 |  0.000 % |
11.76/11.80	c |     49315 |     900    18000    90000 | 2147483647    45036    116 |  0.000 % |
11.76/11.86	c |     49436 |     900    18000    90000 | 2147483647    45157    116 |  0.000 % |
11.86/11.92	c |     49570 |     900    18000    90000 | 2147483647    45291    116 |  0.000 % |
11.86/12.00	c |     49716 |     900    18000    90000 | 2147483647    45437    116 |  0.000 % |
11.96/12.06	c |     49876 |     900    18000    90000 | 2147483647    45597    116 |  0.000 % |
12.07/12.15	c |     50052 |     900    18000    90000 | 2147483647    45773    116 |  0.000 % |
12.17/12.24	c |     50246 |     900    18000    90000 | 2147483647    45967    116 |  0.000 % |
12.26/12.33	c |     50460 |     900    18000    90000 | 2147483647    46181    116 |  0.000 % |
12.36/12.44	c |     50693 |     900    18000    90000 | 2147483647    46414    116 |  0.000 % |
12.46/12.54	c |     50949 |     900    18000    90000 | 2147483647    46670    116 |  0.000 % |
12.56/12.66	c |     51231 |     900    18000    90000 | 2147483647    46952    116 |  0.000 % |
12.66/12.80	c |     51541 |     900    18000    90000 | 2147483647    47262    116 |  0.000 % |
12.86/12.95	c |     51881 |     900    18000    90000 | 2147483647    47602    116 |  0.000 % |
13.06/13.11	c |     52254 |     900    18000    90000 | 2147483647    47975    116 |  0.000 % |
13.16/13.29	c |     52664 |     900    18000    90000 | 2147483647    48385    116 |  0.000 % |
13.36/13.49	c |     53115 |     900    18000    90000 | 2147483647    48836    116 |  0.000 % |
13.66/13.71	c |     53609 |     900    18000    90000 | 2147483647    49330    116 |  0.000 % |
13.85/13.93	c |     54151 |     900    18000    90000 | 2147483647    49872    116 |  0.000 % |
14.05/14.17	c |     54750 |     900    18000    90000 | 2147483647    50471    116 |  0.000 % |
14.36/14.44	c |     55405 |     900    18000    90000 | 2147483647    51126    116 |  0.000 % |
14.65/14.76	c |     56126 |     900    18000    90000 | 2147483647    51847    117 |  0.000 % |
14.75/14.82	c |     56228 |     900    18000    90000 | 2147483647    51949    117 |  0.000 % |
14.75/14.88	c |     56339 |     900    18000    90000 | 2147483647    52060    117 |  0.000 % |
14.85/14.93	c |     56462 |     900    18000    90000 | 2147483647    52183    117 |  0.000 % |
14.95/15.00	c |     56596 |     900    18000    90000 | 2147483647    52317    117 |  0.000 % |
14.95/15.09	c |     56742 |     900    18000    90000 | 2147483647    52463    117 |  0.000 % |
15.05/15.18	c |     56902 |     900    18000    90000 | 2147483647    52623    117 |  0.000 % |
15.15/15.28	c |     57078 |     900    18000    90000 | 2147483647    52799    117 |  0.000 % |
15.25/15.38	c |     57272 |     900    18000    90000 | 2147483647    52993    117 |  0.000 % |
15.36/15.49	c |     57485 |     900    18000    90000 | 2147483647    53206    117 |  0.000 % |
15.56/15.60	c |     57718 |     900    18000    90000 | 2147483647    53439    117 |  0.000 % |
15.66/15.72	c |     57976 |     900    18000    90000 | 2147483647    53697    117 |  0.000 % |
15.76/15.86	c |     58257 |     900    18000    90000 | 2147483647    53978    117 |  0.000 % |
15.96/16.01	c |     58566 |     900    18000    90000 | 2147483647    54287    117 |  0.000 % |
16.06/16.20	c |     58906 |     900    18000    90000 | 2147483647    54627    117 |  0.000 % |
16.26/16.39	c |     59281 |     900    18000    90000 | 2147483647    55002    117 |  0.000 % |
16.46/16.59	c |     59690 |     900    18000    90000 | 2147483647    55411    117 |  0.000 % |
16.75/16.84	c |     60139 |     900    18000    90000 | 2147483647    55860    117 |  0.000 % |
16.95/17.08	c |     60632 |     900    18000    90000 | 2147483647    56353    117 |  0.000 % |
17.25/17.35	c |     61174 |     900    18000    90000 | 2147483647    56895    117 |  0.000 % |
17.55/17.64	c |     61770 |     900    18000    90000 | 2147483647    57491    117 |  0.000 % |
17.86/17.95	c |     62426 |     900    18000    90000 | 2147483647    58147    117 |  0.000 % |
18.26/18.31	c |     63148 |     900    18000    90000 | 2147483647    58869    117 |  0.000 % |
18.55/18.69	c |     63941 |     900    18000    90000 | 2147483647    59662    117 |  0.000 % |
18.66/18.75	c |     64042 |     900    18000    90000 | 2147483647    59763    117 |  0.000 % |
18.76/18.83	c |     64152 |     900    18000    90000 | 2147483647    59873    117 |  0.000 % |
18.85/18.91	c |     64275 |     900    18000    90000 | 2147483647    59996    117 |  0.000 % |
18.85/18.99	c |     64408 |     900    18000    90000 | 2147483647    60129    117 |  0.000 % |
18.95/19.07	c |     64555 |     900    18000    90000 | 2147483647    60276    117 |  0.000 % |
19.05/19.17	c |     64716 |     900    18000    90000 | 2147483647    60437    117 |  0.000 % |
19.15/19.27	c |     64894 |     900    18000    90000 | 2147483647    60615    117 |  0.000 % |
19.25/19.39	c |     65088 |     900    18000    90000 | 2147483647    60809    117 |  0.000 % |
19.45/19.52	c |     65301 |     900    18000    90000 | 2147483647    61022    117 |  0.000 % |
19.55/19.65	c |     65534 |     900    18000    90000 | 2147483647    61255    117 |  0.000 % |
19.65/19.80	c |     65791 |     900    18000    90000 | 2147483647    61512    117 |  0.000 % |
19.86/19.95	c |     66072 |     900    18000    90000 | 2147483647    61793    117 |  0.000 % |
20.05/20.14	c |     66383 |     900    18000    90000 | 2147483647    62104    117 |  0.000 % |
20.25/20.34	c |     66724 |     900    18000    90000 | 2147483647    62445    117 |  0.000 % |
20.45/20.54	c |     67097 |     900    18000    90000 | 2147483647    62818    117 |  0.000 % |
20.65/20.79	c |     67506 |     900    18000    90000 | 2147483647    63227    117 |  0.000 % |
20.95/21.06	c |     67955 |     900    18000    90000 | 2147483647    63676    117 |  0.000 % |
21.25/21.34	c |     68448 |     900    18000    90000 | 2147483647    64169    117 |  0.000 % |
21.55/21.63	c |     68990 |     900    18000    90000 | 2147483647    64711    117 |  0.000 % |
21.85/21.97	c |     69586 |     900    18000    90000 | 2147483647    65307    117 |  0.000 % |
22.26/22.33	c |     70244 |     900    18000    90000 | 2147483647    65965    117 |  0.000 % |
22.66/22.75	c |     70966 |     900    18000    90000 | 2147483647    66687    117 |  0.000 % |
23.16/23.20	c |     71760 |     900    18000    90000 | 2147483647    67481    117 |  0.000 % |
23.55/23.69	c |     72633 |     900    18000    90000 | 2147483647    68354    118 |  0.000 % |
23.65/23.76	c |     72733 |     900    18000    90000 | 2147483647    68454    118 |  0.000 % |
23.75/23.83	c |     72844 |     900    18000    90000 | 2147483647    68565    118 |  0.000 % |
23.85/23.91	c |     72965 |     900    18000    90000 | 2147483647    68686    118 |  0.000 % |
23.95/24.00	c |     73098 |     900    18000    90000 | 2147483647    68819    118 |  0.000 % |
24.05/24.12	c |     73244 |     900    18000    90000 | 2147483647    68965    118 |  0.000 % |
24.16/24.22	c |     73407 |     900    18000    90000 | 2147483647    69128    118 |  0.000 % |
24.26/24.33	c |     73585 |     900    18000    90000 | 2147483647    69306    118 |  0.000 % |
24.35/24.47	c |     73781 |     900    18000    90000 | 2147483647    69502    118 |  0.000 % |
24.55/24.60	c |     73994 |     900    18000    90000 | 2147483647    69715    118 |  0.000 % |
24.65/24.75	c |     74229 |     900    18000    90000 | 2147483647    69950    118 |  0.000 % |
24.85/24.92	c |     74486 |     900    18000    90000 | 2147483647    70207    118 |  0.000 % |
24.95/25.09	c |     74770 |     900    18000    90000 | 2147483647    70491    118 |  0.000 % |
25.15/25.27	c |     75081 |     900    18000    90000 | 2147483647    70802    118 |  0.000 % |
25.45/25.51	c |     75425 |     900    18000    90000 | 2147483647    71146    117 |  0.000 % |
25.65/25.76	c |     75797 |     900    18000    90000 | 2147483647    71518    118 |  0.000 % |
25.95/26.00	c |     76207 |     900    18000    90000 | 2147483647    71928    118 |  0.000 % |
26.15/26.26	c |     76656 |     900    18000    90000 | 2147483647    72377    118 |  0.000 % |
26.45/26.55	c |     77151 |     900    18000    90000 | 2147483647    72872    118 |  0.000 % |
26.75/26.87	c |     77693 |     900    18000    90000 | 2147483647    73414    118 |  0.000 % |
27.15/27.25	c |     78290 |     900    18000    90000 | 2147483647    74011    118 |  0.000 % |
27.55/27.63	c |     78946 |     900    18000    90000 | 2147483647    74667    118 |  0.000 % |
27.95/28.08	c |     79667 |     900    18000    90000 | 2147483647    75388    118 |  0.000 % |
28.45/28.60	c |     80459 |     900    18000    90000 | 2147483647    76180    118 |  0.000 % |
29.05/29.15	c |     81330 |     900    18000    90000 | 2147483647    77051    118 |  0.000 % |
29.65/29.78	c |     82289 |     900    18000    90000 | 2147483647    78010    118 |  0.000 % |
29.75/29.85	c |     82389 |     900    18000    90000 | 2147483647    78110    118 |  0.000 % |
29.85/29.95	c |     82499 |     900    18000    90000 | 2147483647    78220    118 |  0.000 % |
29.95/30.03	c |     82620 |     900    18000    90000 | 2147483647    78341    118 |  0.000 % |
30.04/30.13	c |     82756 |     900    18000    90000 | 2147483647    78477    118 |  0.000 % |
30.14/30.24	c |     82904 |     900    18000    90000 | 2147483647    78625    118 |  0.000 % |
30.24/30.35	c |     83064 |     900    18000    90000 | 2147483647    78785    118 |  0.000 % |
30.44/30.50	c |     83241 |     900    18000    90000 | 2147483647    78962    118 |  0.000 % |
30.54/30.63	c |     83436 |     900    18000    90000 | 2147483647    79157    118 |  0.000 % |
30.75/30.80	c |     83648 |     900    18000    90000 | 2147483647    79369    118 |  0.000 % |
30.85/30.98	c |     83881 |     900    18000    90000 | 2147483647    79602    118 |  0.000 % |
31.04/31.16	c |     84137 |     900    18000    90000 | 2147483647    79858    118 |  0.000 % |
31.24/31.36	c |     84418 |     900    18000    90000 | 2147483647    80139    118 |  0.000 % |
31.44/31.58	c |     84728 |     900    18000    90000 | 2147483647    80449    118 |  0.000 % |
31.75/31.85	c |     85068 |     900    18000    90000 | 2147483647    80789    118 |  0.000 % |
32.05/32.15	c |     85443 |     900    18000    90000 | 2147483647    81164    118 |  0.000 % |
32.35/32.43	c |     85853 |     900    18000    90000 | 2147483647    81574    118 |  0.000 % |
32.65/32.80	c |     86302 |     900    18000    90000 | 2147483647    82023    118 |  0.000 % |
33.05/33.14	c |     86795 |     900    18000    90000 | 2147483647    82516    118 |  0.000 % |
33.45/33.53	c |     87337 |     900    18000    90000 | 2147483647    83058    118 |  0.000 % |
33.84/33.97	c |     87933 |     900    18000    90000 | 2147483647    83654    118 |  0.000 % |
34.34/34.42	c |     88588 |     900    18000    90000 | 2147483647    84309    118 |  0.000 % |
34.84/34.99	c |     89308 |     900    18000    90000 | 2147483647    85029    118 |  0.000 % |
35.44/35.58	c |     90101 |     900    18000    90000 |    85722    85822    118 |  0.000 % |
36.04/36.17	c |     90974 |     900    18000    90000 |    85722    76850    119 |  0.000 % |
36.74/36.80	c |     91934 |     900    18000    90000 |    85722    77810    119 |  0.000 % |
37.44/37.51	c |     92988 |     900    18000    90000 |    85722    78864    119 |  0.000 % |
37.44/37.60	c |     93088 |     900    18000    90000 |    85722    78964    119 |  0.000 % |
37.64/37.70	c |     93198 |     900    18000    90000 |    85722    79074    119 |  0.000 % |
37.64/37.79	c |     93320 |     900    18000    90000 |    85722    79196    119 |  0.000 % |
37.74/37.88	c |     93455 |     900    18000    90000 |    85722    79331    119 |  0.000 % |
37.94/38.01	c |     93604 |     900    18000    90000 |    85722    79480    119 |  0.000 % |
38.04/38.13	c |     93765 |     900    18000    90000 |    85722    79641    119 |  0.000 % |
38.14/38.27	c |     93942 |     900    18000    90000 |    85722    79818    119 |  0.000 % |
38.34/38.43	c |     94138 |     900    18000    90000 |    85722    80014    119 |  0.000 % |
38.44/38.58	c |     94350 |     900    18000    90000 |    85722    80226    119 |  0.000 % |
38.64/38.75	c |     94583 |     900    18000    90000 |    85722    80459    119 |  0.000 % |
38.84/38.97	c |     94839 |     900    18000    90000 |    85722    80715    119 |  0.000 % |
39.04/39.19	c |     95120 |     900    18000    90000 |    85722    80996    119 |  0.000 % |
39.34/39.43	c |     95429 |     900    18000    90000 |    85722    81305    119 |  0.000 % |
39.54/39.67	c |     95768 |     900    18000    90000 |    85722    81644    119 |  0.000 % |
39.84/39.92	c |     96140 |     900    18000    90000 |    85722    82016    119 |  0.000 % |
40.14/40.22	c |     96549 |     900    18000    90000 |    85722    82425    119 |  0.000 % |
40.44/40.58	c |     96999 |     900    18000    90000 |    85722    82875    119 |  0.000 % |
40.84/40.94	c |     97492 |     900    18000    90000 |    85722    83368    119 |  0.000 % |
41.24/41.32	c |     98034 |     900    18000    90000 |    85722    83910    119 |  0.000 % |
41.64/41.77	c |     98631 |     900    18000    90000 |    85722    84507    119 |  0.000 % |
42.13/42.24	c |     99286 |     900    18000    90000 |    85722    85162    119 |  0.000 % |
42.63/42.74	c |    100006 |     900    18000    90000 |    85876    85882    119 |  0.000 % |
43.23/43.31	c |    100798 |     900    18000    90000 |    85876    75674    119 |  0.000 % |
43.73/43.86	c |    101669 |     900    18000    90000 |    85876    76545    119 |  0.000 % |
44.33/44.45	c |    102628 |     900    18000    90000 |    85876    77504    119 |  0.000 % |
45.03/45.11	c |    103684 |     900    18000    90000 |    85876    78560    119 |  0.000 % |
45.73/45.88	c |    104842 |     900    18000    90000 |    85876    79718    119 |  0.000 % |
45.83/45.95	c |    104943 |     900    18000    90000 |    85876    79819    119 |  0.000 % |
45.93/46.03	c |    105053 |     900    18000    90000 |    85876    79929    119 |  0.000 % |
46.03/46.13	c |    105175 |     900    18000    90000 |    85876    80051    119 |  0.000 % |
46.14/46.23	c |    105308 |     900    18000    90000 |    85876    80184    119 |  0.000 % |
46.23/46.34	c |    105454 |     900    18000    90000 |    85876    80330    119 |  0.000 % |
46.33/46.48	c |    105616 |     900    18000    90000 |    85876    80492    119 |  0.000 % |
46.53/46.61	c |    105792 |     900    18000    90000 |    85876    80668    119 |  0.000 % |
46.63/46.74	c |    105985 |     900    18000    90000 |    85876    80861    119 |  0.000 % |
46.73/46.89	c |    106197 |     900    18000    90000 |    85876    81073    119 |  0.000 % |
46.93/47.04	c |    106431 |     900    18000    90000 |    85876    81307    119 |  0.000 % |
47.13/47.22	c |    106687 |     900    18000    90000 |    85876    81563    119 |  0.000 % |
47.33/47.41	c |    106971 |     900    18000    90000 |    85876    81847    119 |  0.000 % |
47.53/47.63	c |    107282 |     900    18000    90000 |    85876    82158    119 |  0.000 % |
47.73/47.86	c |    107621 |     900    18000    90000 |    85876    82497    119 |  0.000 % |
48.03/48.11	c |    107993 |     900    18000    90000 |    85876    82869    119 |  0.000 % |
48.23/48.39	c |    108404 |     900    18000    90000 |    85876    83280    119 |  0.000 % |
48.53/48.68	c |    108856 |     900    18000    90000 |    85876    83732    119 |  0.000 % |
48.93/49.04	c |    109350 |     900    18000    90000 |    85876    84226    119 |  0.000 % |
49.33/49.40	c |    109892 |     900    18000    90000 |    85876    84768    119 |  0.000 % |
49.73/49.86	c |    110488 |     900    18000    90000 |    84876    75101    119 |  0.000 % |
50.13/50.25	c |    111145 |     900    18000    90000 |    84876    75758    119 |  0.000 % |
50.63/50.70	c |    111866 |     900    18000    90000 |    84876    76479    119 |  0.000 % |
51.13/51.22	c |    112661 |     900    18000    90000 |    84876    77274    119 |  0.000 % |
51.63/51.78	c |    113534 |     900    18000    90000 |    84876    78147    119 |  0.000 % |
52.33/52.47	c |    114492 |     900    18000    90000 |    84876    79105    119 |  0.000 % |
53.13/53.25	c |    115545 |     900    18000    90000 |    84876    80158    120 |  0.000 % |
53.93/54.09	c |    116705 |     900    18000    90000 |    84876    81318    120 |  0.000 % |
54.83/54.96	c |    117979 |     900    18000    90000 |    84876    82592    120 |  0.000 % |
54.93/55.02	c |    118079 |     900    18000    90000 |    84876    82692    120 |  0.000 % |
55.03/55.12	c |    118189 |     900    18000    90000 |    84876    82802    120 |  0.000 % |
55.13/55.22	c |    118310 |     900    18000    90000 |    84876    82923    120 |  0.000 % |
55.23/55.32	c |    118444 |     900    18000    90000 |    84876    83057    120 |  0.000 % |
55.33/55.42	c |    118590 |     900    18000    90000 |    84876    83203    120 |  0.000 % |
55.43/55.56	c |    118750 |     900    18000    90000 |    84876    83363    120 |  0.000 % |
55.63/55.70	c |    118927 |     900    18000    90000 |    84876    83540    120 |  0.000 % |
55.73/55.84	c |    119120 |     900    18000    90000 |    84876    83733    120 |  0.000 % |
55.93/56.01	c |    119334 |     900    18000    90000 |    84876    83947    120 |  0.000 % |
56.03/56.18	c |    119567 |     900    18000    90000 |    84876    84180    120 |  0.000 % |
56.33/56.43	c |    119823 |     900    18000    90000 |    84876    84436    120 |  0.000 % |
56.53/56.65	c |    120105 |     900    18000    90000 |    84615    84718    120 |  0.000 % |
56.83/56.90	c |    120414 |     900    18000    90000 |    84615    74172    120 |  0.000 % |
57.03/57.12	c |    120754 |     900    18000    90000 |    84615    74512    120 |  0.000 % |
57.23/57.38	c |    121128 |     900    18000    90000 |    84615    74886    120 |  0.000 % |
57.53/57.63	c |    121537 |     900    18000    90000 |    84615    75295    120 |  0.000 % |
57.83/57.97	c |    121986 |     900    18000    90000 |    84615    75744    120 |  0.000 % |
58.13/58.29	c |    122480 |     900    18000    90000 |    84615    76238    120 |  0.000 % |
58.53/58.64	c |    123022 |     900    18000    90000 |    84615    76780    120 |  0.000 % |
58.93/59.08	c |    123618 |     900    18000    90000 |    84615    77376    120 |  0.000 % |
59.43/59.51	c |    124273 |     900    18000    90000 |    84615    78031    120 |  0.000 % |
59.82/59.99	c |    124993 |     900    18000    90000 |    84615    78751    120 |  0.000 % |
60.43/60.53	c |    125786 |     900    18000    90000 |    84615    79544    120 |  0.000 % |
61.02/61.10	c |    126657 |     900    18000    90000 |    84615    80415    120 |  0.000 % |
61.63/61.75	c |    127617 |     900    18000    90000 |    84615    81375    120 |  0.000 % |
62.32/62.46	c |    128671 |     900    18000    90000 |    84615    82429    120 |  0.000 % |
63.12/63.20	c |    129829 |     900    18000    90000 |    84615    83587    120 |  0.000 % |
63.92/64.03	c |    131102 |     900    18000    90000 |    83758    74419    120 |  0.000 % |
64.72/64.87	c |    132503 |     900    18000    90000 |    83758    75820    120 |  0.000 % |
64.82/64.96	c |    132605 |     900    18000    90000 |    83758    75922    120 |  0.000 % |
64.92/65.05	c |    132715 |     900    18000    90000 |    83758    76032    120 |  0.000 % |
65.02/65.14	c |    132836 |     900    18000    90000 |    83758    76153    120 |  0.000 % |
65.12/65.23	c |    132971 |     900    18000    90000 |    83758    76288    120 |  0.000 % |
65.22/65.35	c |    133119 |     900    18000    90000 |    83758    76436    120 |  0.000 % |
65.32/65.46	c |    133280 |     900    18000    90000 |    83758    76597    120 |  0.000 % |
65.42/65.58	c |    133456 |     900    18000    90000 |    83758    76773    120 |  0.000 % |
65.62/65.73	c |    133649 |     900    18000    90000 |    83758    76966    120 |  0.000 % |
65.72/65.87	c |    133861 |     900    18000    90000 |    83758    77178    120 |  0.000 % |
65.92/66.02	c |    134094 |     900    18000    90000 |    83758    77411    120 |  0.000 % |
66.12/66.24	c |    134350 |     900    18000    90000 |    83758    77667    120 |  0.000 % |
66.32/66.45	c |    134635 |     900    18000    90000 |    83758    77952    120 |  0.000 % |
66.52/66.66	c |    134946 |     900    18000    90000 |    83758    78263    120 |  0.000 % |
66.82/66.91	c |    135285 |     900    18000    90000 |    83758    78602    120 |  0.000 % |
67.02/67.20	c |    135657 |     900    18000    90000 |    83758    78974    120 |  0.000 % |
67.42/67.51	c |    136066 |     900    18000    90000 |    83758    79383    120 |  0.000 % |
67.72/67.82	c |    136516 |     900    18000    90000 |    83758    79833    120 |  0.000 % |
68.02/68.19	c |    137009 |     900    18000    90000 |    83758    80326    120 |  0.000 % |
68.42/68.59	c |    137552 |     900    18000    90000 |    83758    80869    120 |  0.000 % |
68.92/69.01	c |    138148 |     900    18000    90000 |    83758    81465    120 |  0.000 % |
69.32/69.48	c |    138803 |     900    18000    90000 |    83758    82120    120 |  0.000 % |
69.82/69.99	c |    139526 |     900    18000    90000 |    83758    82843    120 |  0.000 % |
70.42/70.59	c |    140318 |     900    18000    90000 |    83317    83635    120 |  0.000 % |
71.02/71.14	c |    141189 |     900    18000    90000 |    83317    73882    120 |  0.000 % |
71.62/71.73	c |    142147 |     900    18000    90000 |    83317    74840    121 |  0.000 % |
72.32/72.40	c |    143204 |     900    18000    90000 |    83317    75897    121 |  0.000 % |
73.01/73.19	c |    144362 |     900    18000    90000 |    83317    77055    121 |  0.000 % |
73.81/73.97	c |    145635 |     900    18000    90000 |    83317    78328    121 |  0.000 % |
74.72/74.87	c |    147035 |     900    18000    90000 |    83317    79728    121 |  0.000 % |
75.82/75.98	c |    148575 |     900    18000    90000 |    83317    81268    121 |  0.000 % |
75.92/76.07	c |    148675 |     900    18000    90000 |    83317    81368    121 |  0.000 % |
76.01/76.15	c |    148785 |     900    18000    90000 |    83317    81478    121 |  0.000 % |
76.11/76.24	c |    148906 |     900    18000    90000 |    83317    81599    121 |  0.000 % |
76.21/76.36	c |    149039 |     900    18000    90000 |    83317    81732    121 |  0.000 % |
76.31/76.49	c |    149187 |     900    18000    90000 |    83317    81880    121 |  0.000 % |
76.51/76.61	c |    149347 |     900    18000    90000 |    83317    82040    121 |  0.000 % |
76.61/76.75	c |    149523 |     900    18000    90000 |    83317    82216    121 |  0.000 % |
76.81/76.92	c |    149716 |     900    18000    90000 |    83317    82409    121 |  0.000 % |
76.92/77.08	c |    149929 |     900    18000    90000 |    83317    82622    121 |  0.000 % |
77.11/77.24	c |    150162 |     900    18000    90000 |    82694    82855    121 |  0.000 % |
77.31/77.45	c |    150418 |     900    18000    90000 |    82694    73542    121 |  0.000 % |
77.51/77.66	c |    150700 |     900    18000    90000 |    82694    73824    121 |  0.000 % |
77.71/77.86	c |    151009 |     900    18000    90000 |    82694    74133    121 |  0.000 % |
78.02/78.12	c |    151348 |     900    18000    90000 |    82694    74472    120 |  0.000 % |
78.21/78.38	c |    151720 |     900    18000    90000 |    82694    74844    120 |  0.000 % |
78.51/78.66	c |    152130 |     900    18000    90000 |    82694    75254    120 |  0.000 % |
78.81/78.95	c |    152579 |     900    18000    90000 |    82694    75703    120 |  0.000 % |
79.21/79.33	c |    153072 |     900    18000    90000 |    82694    76196    120 |  0.000 % |
79.61/79.76	c |    153615 |     900    18000    90000 |    82694    76739    120 |  0.000 % |
80.01/80.18	c |    154211 |     900    18000    90000 |    82694    77335    120 |  0.000 % |
80.51/80.62	c |    154866 |     900    18000    90000 |    82694    77990    120 |  0.000 % |
81.01/81.14	c |    155586 |     900    18000    90000 |    82694    78710    120 |  0.000 % |
81.61/81.72	c |    156380 |     900    18000    90000 |    82694    79504    121 |  0.000 % |
82.21/82.30	c |    157251 |     900    18000    90000 |    82694    80375    121 |  0.000 % |
82.81/82.96	c |    158213 |     900    18000    90000 |    82694    81337    121 |  0.000 % |
83.51/83.66	c |    159266 |     900    18000    90000 |    82694    82390    121 |  0.000 % |
84.41/84.50	c |    160427 |     900    18000    90000 |    73410    65519    121 |  0.000 % |
85.11/85.21	c |    161700 |     900    18000    90000 |    73410    66792    121 |  0.000 % |
85.90/86.02	c |    163100 |     900    18000    90000 |    73410    68192    121 |  0.000 % |
86.81/86.94	c |    164645 |     900    18000    90000 |    73410    69737    121 |  0.000 % |
87.80/87.99	c |    166339 |     900    18000    90000 |    73410    71431    121 |  0.000 % |
87.91/88.06	c |    166441 |     900    18000    90000 |    73410    71533    121 |  0.000 % |
88.01/88.13	c |    166551 |     900    18000    90000 |    73410    71643    121 |  0.000 % |
88.10/88.23	c |    166672 |     900    18000    90000 |    73410    71764    121 |  0.000 % |
88.20/88.32	c |    166807 |     900    18000    90000 |    73410    71899    121 |  0.000 % |
88.30/88.42	c |    166953 |     900    18000    90000 |    73410    72045    121 |  0.000 % |
88.40/88.53	c |    167113 |     900    18000    90000 |    73410    72205    121 |  0.000 % |
88.50/88.67	c |    167289 |     900    18000    90000 |    73410    72381    121 |  0.000 % |
88.70/88.80	c |    167485 |     900    18000    90000 |    73410    72577    121 |  0.000 % |
88.80/88.94	c |    167698 |     900    18000    90000 |    73410    72790    121 |  0.000 % |
88.90/89.09	c |    167936 |     900    18000    90000 |    73410    73028    121 |  0.000 % |
89.11/89.26	c |    168194 |     900    18000    90000 |    73410    73286    121 |  0.000 % |
89.30/89.45	c |    168475 |     900    18000    90000 |    73410    73567    121 |  0.000 % |
89.50/89.65	c |    168784 |     900    18000    90000 |    73410    66520    121 |  0.000 % |
89.70/89.84	c |    169124 |     900    18000    90000 |    73410    66860    121 |  0.000 % |
89.90/90.06	c |    169496 |     900    18000    90000 |    73410    67232    121 |  0.000 % |
90.21/90.32	c |    169906 |     900    18000    90000 |    73410    67642    121 |  0.000 % |
90.50/90.61	c |    170355 |     900    18000    90000 | 2147483647    68091    121 |  0.000 % |
90.70/90.89	c |    170849 |     900    18000    90000 | 2147483647    68585    121 |  0.000 % |
91.10/91.22	c |    171391 |     900    18000    90000 | 2147483647    69127    121 |  0.000 % |
91.40/91.59	c |    171987 |     900    18000    90000 | 2147483647    69723    121 |  0.000 % |
91.90/92.01	c |    172642 |     900    18000    90000 | 2147483647    70378    121 |  0.000 % |
92.30/92.44	c |    173363 |     900    18000    90000 | 2147483647    71099    121 |  0.000 % |
92.80/92.93	c |    174155 |     900    18000    90000 | 2147483647    71891    121 |  0.000 % |
93.30/93.48	c |    175027 |     900    18000    90000 | 2147483647    72763    121 |  0.000 % |
94.00/94.15	c |    175987 |     900    18000    90000 | 2147483647    73723    121 |  0.000 % |
94.70/94.82	c |    177041 |     900    18000    90000 | 2147483647    74777    121 |  0.000 % |
95.40/95.55	c |    178199 |     900    18000    90000 | 2147483647    75935    121 |  0.000 % |
96.20/96.36	c |    179472 |     900    18000    90000 | 2147483647    77208    121 |  0.000 % |
97.10/97.22	c |    180874 |     900    18000    90000 | 2147483647    78610    121 |  0.000 % |
98.20/98.32	c |    182415 |     900    18000    90000 | 2147483647    80151    121 |  0.000 % |
99.29/99.44	c |    184109 |     900    18000    90000 | 2147483647    81845    121 |  0.000 % |
100.49/100.67	c |    185972 |     900    18000    90000 | 2147483647    83708    121 |  0.000 % |
100.59/100.75	c |    186073 |     900    18000    90000 | 2147483647    83809    121 |  0.000 % |
100.69/100.85	c |    186183 |     900    18000    90000 | 2147483647    83919    121 |  0.000 % |
100.79/100.96	c |    186305 |     900    18000    90000 | 2147483647    84041    121 |  0.000 % |
100.89/101.05	c |    186440 |     900    18000    90000 | 2147483647    84176    121 |  0.000 % |
100.99/101.17	c |    186586 |     900    18000    90000 | 2147483647    84322    121 |  0.000 % |
101.20/101.31	c |    186747 |     900    18000    90000 | 2147483647    84483    121 |  0.000 % |
101.29/101.44	c |    186924 |     900    18000    90000 | 2147483647    84660    121 |  0.000 % |
101.49/101.60	c |    187119 |     900    18000    90000 | 2147483647    84855    121 |  0.000 % |
101.59/101.74	c |    187331 |     900    18000    90000 | 2147483647    85067    121 |  0.000 % |
101.79/101.92	c |    187564 |     900    18000    90000 | 2147483647    85300    121 |  0.000 % |
101.99/102.14	c |    187821 |     900    18000    90000 | 2147483647    85557    121 |  0.000 % |
102.20/102.36	c |    188103 |     900    18000    90000 | 2147483647    85839    121 |  0.000 % |
102.50/102.60	c |    188413 |     900    18000    90000 | 2147483647    86149    121 |  0.000 % |
102.70/102.87	c |    188754 |     900    18000    90000 | 2147483647    86490    121 |  0.000 % |
103.00/103.15	c |    189126 |     900    18000    90000 | 2147483647    86862    121 |  0.000 % |
103.30/103.46	c |    189535 |     900    18000    90000 | 2147483647    87271    121 |  0.000 % |
103.69/103.82	c |    189984 |     900    18000    90000 | 2147483647    87720    121 |  0.000 % |
104.09/104.25	c |    190480 |     900    18000    90000 |    87736    76984    121 |  0.000 % |
104.40/104.59	c |    191023 |     900    18000    90000 |    87736    77527    121 |  0.000 % |
104.89/105.04	c |    191620 |     900    18000    90000 |    87736    78124    121 |  0.000 % |
105.29/105.48	c |    192278 |     900    18000    90000 |    87736    78782    121 |  0.000 % |
105.79/105.98	c |    192998 |     900    18000    90000 |    87736    79502    121 |  0.000 % |
106.29/106.48	c |    193790 |     900    18000    90000 |    87736    80294    121 |  0.000 % |
106.89/107.06	c |    194662 |     900    18000    90000 |    87736    81166    121 |  0.000 % |
107.59/107.73	c |    195621 |     900    18000    90000 |    87736    82125    122 |  0.000 % |
108.29/108.44	c |    196674 |     900    18000    90000 |    87736    83178    122 |  0.000 % |
108.99/109.19	c |    197832 |     900    18000    90000 |    87736    84336    122 |  0.000 % |
109.89/110.09	c |    199106 |     900    18000    90000 |    87736    85610    122 |  0.000 % |
110.89/111.09	c |    200506 |     900    18000    90000 |    86506    76111    122 |  0.000 % |
111.99/112.15	c |    202046 |     900    18000    90000 |    86506    77651    122 |  0.000 % |
113.09/113.24	c |    203740 |     900    18000    90000 |    86506    79345    122 |  0.000 % |
114.29/114.42	c |    205605 |     900    18000    90000 |    86506    81210    122 |  0.000 % |
115.59/115.73	c |    207654 |     900    18000    90000 |    86506    83259    122 |  0.000 % |
115.69/115.80	c |    207754 |     900    18000    90000 |    86506    83359    122 |  0.000 % |
115.69/115.89	c |    207865 |     900    18000    90000 |    86506    83470    122 |  0.000 % |
115.79/115.99	c |    207988 |     900    18000    90000 |    86506    83593    122 |  0.000 % |
115.89/116.09	c |    208121 |     900    18000    90000 |    86506    83726    122 |  0.000 % |
116.09/116.20	c |    208268 |     900    18000    90000 |    86506    83873    122 |  0.000 % |
116.19/116.32	c |    208430 |     900    18000    90000 |    86506    84035    122 |  0.000 % |
116.29/116.46	c |    208607 |     900    18000    90000 |    86506    84212    122 |  0.000 % |
116.49/116.60	c |    208800 |     900    18000    90000 |    86506    84405    122 |  0.000 % |
116.59/116.77	c |    209012 |     900    18000    90000 |    86506    84617    122 |  0.000 % |
116.79/116.99	c |    209247 |     900    18000    90000 |    86506    84852    122 |  0.000 % |
116.99/117.17	c |    209503 |     900    18000    90000 |    86506    85108    122 |  0.000 % |
117.29/117.42	c |    209784 |     900    18000    90000 |    86506    85389    122 |  0.000 % |
117.49/117.66	c |    210093 |     900    18000    90000 |    85606    85698    122 |  0.000 % |
117.79/117.95	c |    210433 |     900    18000    90000 |    85606    75280    122 |  0.000 % |
118.09/118.21	c |    210805 |     900    18000    90000 |    85606    75652    122 |  0.000 % |
118.38/118.50	c |    211214 |     900    18000    90000 |    85606    76061    122 |  0.000 % |
118.58/118.79	c |    211664 |     900    18000    90000 |    85606    76511    122 |  0.000 % |
118.98/119.13	c |    212158 |     900    18000    90000 |    85606    77005    122 |  0.000 % |
119.38/119.50	c |    212701 |     900    18000    90000 |    85606    77548    122 |  0.000 % |
119.68/119.90	c |    213297 |     900    18000    90000 |    85606    78144    122 |  0.000 % |
120.18/120.33	c |    213954 |     900    18000    90000 |    85606    78801    122 |  0.000 % |
120.68/120.81	c |    214674 |     900    18000    90000 |    85606    79521    122 |  0.000 % |
121.18/121.32	c |    215466 |     900    18000    90000 |    85606    80313    122 |  0.000 % |
121.68/121.89	c |    216337 |     900    18000    90000 |    85606    81184    122 |  0.000 % |
122.38/122.56	c |    217297 |     900    18000    90000 |    85606    82144    122 |  0.000 % |
123.09/123.25	c |    218350 |     900    18000    90000 |    85606    83197    122 |  0.000 % |
123.88/124.04	c |    219509 |     900    18000    90000 |    85606    84356    122 |  0.000 % |
124.78/124.98	c |    220784 |     900    18000    90000 |    84847    75356    122 |  0.000 % |
125.67/125.86	c |    222186 |     900    18000    90000 |    84847    76758    122 |  0.000 % |
126.67/126.88	c |    223726 |     900    18000    90000 |    84847    78298    123 |  0.000 % |
127.77/127.93	c |    225422 |     900    18000    90000 |    84847    79994    123 |  0.000 % |
128.97/129.19	c |    227285 |     900    18000    90000 |    84847    81857    123 |  0.000 % |
130.37/130.58	c |    229337 |     900    18000    90000 |    84847    83909    123 |  0.000 % |
131.88/132.01	c |    231590 |     900    18000    90000 |    84572    76497    123 |  0.000 % |
131.98/132.10	c |    231691 |     900    18000    90000 |    84572    76598    123 |  0.000 % |
131.98/132.19	c |    231803 |     900    18000    90000 |    84572    76710    123 |  0.000 % |
132.07/132.28	c |    231924 |     900    18000    90000 |    84572    76831    123 |  0.000 % |
132.17/132.38	c |    232057 |     900    18000    90000 |    84572    76964    123 |  0.000 % |
132.37/132.50	c |    232204 |     900    18000    90000 |    84572    77111    123 |  0.000 % |
132.47/132.64	c |    232366 |     900    18000    90000 |    84572    77273    123 |  0.000 % |
132.57/132.76	c |    232544 |     900    18000    90000 |    84572    77451    123 |  0.000 % |
132.77/132.93	c |    232738 |     900    18000    90000 |    84572    77645    123 |  0.000 % |
132.87/133.08	c |    232952 |     900    18000    90000 |    84572    77859    123 |  0.000 % |
133.08/133.25	c |    233186 |     900    18000    90000 |    84572    78093    123 |  0.000 % |
133.27/133.42	c |    233446 |     900    18000    90000 |    84572    78353    123 |  0.000 % |
133.47/133.61	c |    233732 |     900    18000    90000 |    84572    78639    123 |  0.000 % |
133.67/133.82	c |    234042 |     900    18000    90000 |    84572    78949    123 |  0.000 % |
133.87/134.08	c |    234382 |     900    18000    90000 |    84572    79289    123 |  0.000 % |
134.18/134.34	c |    234755 |     900    18000    90000 |    84572    79662    123 |  0.000 % |
134.47/134.63	c |    235165 |     900    18000    90000 |    84572    80072    123 |  0.000 % |
134.77/134.95	c |    235614 |     900    18000    90000 |    84572    80521    123 |  0.000 % |
135.07/135.29	c |    236109 |     900    18000    90000 |    84572    81016    123 |  0.000 % |
135.47/135.65	c |    236652 |     900    18000    90000 |    84572    81559    123 |  0.000 % |
135.87/136.07	c |    237249 |     900    18000    90000 |    84572    82156    123 |  0.000 % |
136.37/136.51	c |    237908 |     900    18000    90000 |    84572    82815    123 |  0.000 % |
136.87/137.00	c |    238628 |     900    18000    90000 |    84572    83535    123 |  0.000 % |
137.37/137.54	c |    239423 |     900    18000    90000 |    84572    84330    123 |  0.000 % |
137.97/138.19	c |    240298 |     900    18000    90000 |    74782    75079    122 |  0.000 % |
138.57/138.77	c |    241258 |     900    18000    90000 |    74782    67369    123 |  0.000 % |
139.17/139.38	c |    242311 |     900    18000    90000 |    74782    68422    123 |  0.000 % |
139.87/140.03	c |    243469 |     900    18000    90000 |    74782    69580    123 |  0.000 % |
140.57/140.75	c |    244744 |     900    18000    90000 |    74782    70855    123 |  0.000 % |
141.37/141.60	c |    246146 |     900    18000    90000 |    74782    72257    123 |  0.000 % |
142.37/142.52	c |    247686 |     900    18000    90000 |    74782    73797    123 |  0.000 % |
143.37/143.56	c |    249380 |     900    18000    90000 |    74782    67980    123 |  0.000 % |
144.47/144.63	c |    251243 |     900    18000    90000 | 2147483647    69843    123 |  0.000 % |
145.67/145.81	c |    253292 |     900    18000    90000 | 2147483647    71892    123 |  0.000 % |
147.06/147.21	c |    255548 |     900    18000    90000 | 2147483647    74148    123 |  0.000 % |
148.56/148.76	c |    258026 |     900    18000    90000 | 2147483647    76626    123 |  0.000 % |
148.66/148.85	c |    258127 |     900    18000    90000 | 2147483647    76727    123 |  0.000 % |
148.76/148.93	c |    258239 |     900    18000    90000 | 2147483647    76839    123 |  0.000 % |
148.86/149.02	c |    258360 |     900    18000    90000 | 2147483647    76960    123 |  0.000 % |
148.96/149.12	c |    258493 |     900    18000    90000 | 2147483647    77093    123 |  0.000 % |
149.06/149.22	c |    258639 |     900    18000    90000 | 2147483647    77239    123 |  0.000 % |
149.16/149.34	c |    258800 |     900    18000    90000 | 2147483647    77400    123 |  0.000 % |
149.26/149.46	c |    258977 |     900    18000    90000 | 2147483647    77577    123 |  0.000 % |
149.47/149.62	c |    259174 |     900    18000    90000 | 2147483647    77774    123 |  0.000 % |
149.57/149.76	c |    259388 |     900    18000    90000 | 2147483647    77988    123 |  0.000 % |
149.76/149.92	c |    259621 |     900    18000    90000 | 2147483647    78221    123 |  0.000 % |
149.86/150.10	c |    259877 |     900    18000    90000 | 2147483647    78477    123 |  0.000 % |
150.06/150.29	c |    260161 |     900    18000    90000 | 2147483647    78761    123 |  0.000 % |
150.26/150.49	c |    260471 |     900    18000    90000 | 2147483647    79071    123 |  0.000 % |
150.57/150.74	c |    260810 |     900    18000    90000 | 2147483647    79410    123 |  0.000 % |
150.76/150.97	c |    261183 |     900    18000    90000 | 2147483647    79783    123 |  0.000 % |
151.06/151.26	c |    261592 |     900    18000    90000 | 2147483647    80192    123 |  0.000 % |
151.36/151.59	c |    262041 |     900    18000    90000 | 2147483647    80641    123 |  0.000 % |
151.77/151.97	c |    262534 |     900    18000    90000 | 2147483647    81134    123 |  0.000 % |
152.16/152.37	c |    263076 |     900    18000    90000 | 2147483647    81676    123 |  0.000 % |
152.66/152.85	c |    263672 |     900    18000    90000 | 2147483647    82272    123 |  0.000 % |
153.06/153.29	c |    264327 |     900    18000    90000 | 2147483647    82927    122 |  0.000 % |
153.56/153.78	c |    265051 |     900    18000    90000 | 2147483647    83651    122 |  0.000 % |
154.16/154.36	c |    265845 |     900    18000    90000 | 2147483647    84445    122 |  0.000 % |
154.86/155.00	c |    266717 |     900    18000    90000 | 2147483647    85317    122 |  0.000 % |
155.46/155.68	c |    267676 |     900    18000    90000 | 2147483647    86276    122 |  0.000 % |
156.26/156.44	c |    268731 |     900    18000    90000 | 2147483647    87331    122 |  0.000 % |
157.06/157.29	c |    269889 |     900    18000    90000 | 2147483647    88489    122 |  0.000 % |
158.06/158.24	c |    271164 |     900    18000    90000 |    88601    78066    123 |  0.000 % |
158.96/159.14	c |    272565 |     900    18000    90000 |    88601    79467    123 |  0.000 % |
159.96/160.18	c |    274106 |     900    18000    90000 |    88601    81008    123 |  0.000 % |
161.16/161.34	c |    275800 |     900    18000    90000 |    88601    82702    123 |  0.000 % |
162.46/162.61	c |    277664 |     900    18000    90000 |    88601    84566    123 |  0.000 % |
163.77/163.98	c |    279715 |     900    18000    90000 |    88601    86617    123 |  0.000 % |
165.26/165.46	c |    281968 |     900    18000    90000 |    86902    77127    123 |  0.000 % |
166.86/167.03	c |    284448 |     900    18000    90000 |    86902    79607    124 |  0.000 % |
168.76/168.95	c |    287174 |     900    18000    90000 |    86902    82333    124 |  0.000 % |
168.86/169.02	c |    287275 |     900    18000    90000 |    86902    82434    124 |  0.000 % |
168.96/169.11	c |    287387 |     900    18000    90000 |    86902    82546    124 |  0.000 % |
169.06/169.21	c |    287509 |     900    18000    90000 |    86902    82668    124 |  0.000 % |
169.16/169.33	c |    287642 |     900    18000    90000 |    86902    82801    124 |  0.000 % |
169.26/169.45	c |    287789 |     900    18000    90000 |    86902    82948    124 |  0.000 % |
169.36/169.57	c |    287951 |     900    18000    90000 |    86902    83110    124 |  0.000 % |
169.55/169.71	c |    288127 |     900    18000    90000 |    86902    83286    124 |  0.000 % |
169.65/169.86	c |    288322 |     900    18000    90000 |    86902    83481    124 |  0.000 % |
169.85/170.02	c |    288535 |     900    18000    90000 |    86902    83694    124 |  0.000 % |
170.05/170.24	c |    288769 |     900    18000    90000 |    86902    83928    124 |  0.000 % |
170.25/170.46	c |    289025 |     900    18000    90000 |    86902    84184    124 |  0.000 % |
170.46/170.68	c |    289307 |     900    18000    90000 |    86902    84466    124 |  0.000 % |
170.65/170.89	c |    289617 |     900    18000    90000 |    86902    84776    124 |  0.000 % |
170.95/171.14	c |    289957 |     900    18000    90000 |    86902    85116    124 |  0.000 % |
171.25/171.47	c |    290330 |     900    18000    90000 |    85159    74930    124 |  0.000 % |
171.56/171.75	c |    290739 |     900    18000    90000 |    85159    75339    124 |  0.000 % |
171.85/172.06	c |    291191 |     900    18000    90000 |    85159    75791    124 |  0.000 % |
172.25/172.40	c |    291684 |     900    18000    90000 |    85159    76284    124 |  0.000 % |
172.56/172.75	c |    292226 |     900    18000    90000 |    85159    76826    124 |  0.000 % |
172.95/173.13	c |    292822 |     900    18000    90000 |    85159    77422    124 |  0.000 % |
173.35/173.55	c |    293478 |     900    18000    90000 |    85159    78078    124 |  0.000 % |
173.85/174.05	c |    294199 |     900    18000    90000 |    85159    78799    124 |  0.000 % |
174.35/174.55	c |    294994 |     900    18000    90000 |    85159    79594    124 |  0.000 % |
174.95/175.13	c |    295866 |     900    18000    90000 |    85159    80466    124 |  0.000 % |
175.55/175.78	c |    296826 |     900    18000    90000 |    85159    81426    124 |  0.000 % |
176.25/176.48	c |    297879 |     900    18000    90000 |    85159    82479    124 |  0.000 % |
177.05/177.25	c |    299039 |     900    18000    90000 |    85159    83639    124 |  0.000 % |
178.05/178.22	c |    300312 |     900    18000    90000 |    84601    84912    124 |  0.000 % |
179.05/179.21	c |    301712 |     900    18000    90000 |    84601    76270    123 |  0.000 % |
180.05/180.21	c |    303253 |     900    18000    90000 |    84601    77811    123 |  0.000 % |
181.15/181.34	c |    304947 |     900    18000    90000 |    84601    79505    123 |  0.000 % |
182.45/182.62	c |    306812 |     900    18000    90000 |    84601    81370    123 |  0.000 % |
183.75/183.97	c |    308861 |     900    18000    90000 |    84601    83419    123 |  0.000 % |
185.25/185.44	c |    311114 |     900    18000    90000 |    84559    76006    124 |  0.000 % |
186.75/186.97	c |    313592 |     900    18000    90000 |    84559    78484    124 |  0.000 % |
188.65/188.80	c |    316318 |     900    18000    90000 |    84559    81210    124 |  0.000 % |
190.65/190.84	c |    319317 |     900    18000    90000 |    84559    84209    124 |  0.000 % |
190.75/190.93	c |    319419 |     900    18000    90000 |    84559    84311    124 |  0.000 % |
190.85/191.01	c |    319529 |     900    18000    90000 |    84559    84421    124 |  0.000 % |
190.95/191.11	c |    319650 |     900    18000    90000 |    84559    84542    124 |  0.000 % |
191.05/191.21	c |    319783 |     900    18000    90000 |    84559    84675    124 |  0.000 % |
191.15/191.38	c |    319931 |     900    18000    90000 |    84559    74965    124 |  0.000 % |
191.25/191.49	c |    320092 |     900    18000    90000 |    75034    75126    124 |  0.000 % |
191.45/191.67	c |    320268 |     900    18000    90000 |    75034    66536    124 |  0.000 % |
191.55/191.79	c |    320461 |     900    18000    90000 |    75034    66729    124 |  0.000 % |
191.75/191.92	c |    320673 |     900    18000    90000 |    75034    66941    124 |  0.000 % |
191.85/192.08	c |    320907 |     900    18000    90000 |    75034    67175    124 |  0.000 % |
192.04/192.26	c |    321164 |     900    18000    90000 |    75034    67432    124 |  0.000 % |
192.24/192.44	c |    321447 |     900    18000    90000 |    75034    67715    124 |  0.000 % |
192.45/192.62	c |    321756 |     900    18000    90000 |    75034    68024    124 |  0.000 % |
192.64/192.83	c |    322095 |     900    18000    90000 |    75034    68363    124 |  0.000 % |
192.84/193.06	c |    322468 |     900    18000    90000 |    75034    68736    124 |  0.000 % |
193.14/193.30	c |    322877 |     900    18000    90000 |    75034    69145    124 |  0.000 % |
193.34/193.57	c |    323326 |     900    18000    90000 |    75034    69594    124 |  0.000 % |
193.64/193.87	c |    323819 |     900    18000    90000 |    75034    70087    124 |  0.000 % |
193.94/194.19	c |    324362 |     900    18000    90000 |    75034    70630    124 |  0.000 % |
194.34/194.58	c |    324958 |     900    18000    90000 |    75034    71226    124 |  0.000 % |
194.84/195.02	c |    325616 |     900    18000    90000 |    75034    71884    123 |  0.000 % |
195.24/195.44	c |    326337 |     900    18000    90000 |    75034    72605    123 |  0.000 % |
195.75/195.95	c |    327130 |     900    18000    90000 |    75034    73398    123 |  0.000 % |
196.24/196.50	c |    328001 |     900    18000    90000 |    75034    74269    123 |  0.000 % |
196.94/197.15	c |    328960 |     900    18000    90000 |    75034    75228    123 |  0.000 % |
197.64/197.83	c |    330014 |     900    18000    90000 | 2147483647    68760    124 |  0.000 % |
198.34/198.53	c |    331172 |     900    18000    90000 | 2147483647    69918    124 |  0.000 % |
199.14/199.37	c |    332446 |     900    18000    90000 | 2147483647    71192    124 |  0.000 % |
200.05/200.26	c |    333846 |     900    18000    90000 | 2147483647    72592    124 |  0.000 % |
200.94/201.19	c |    335386 |     900    18000    90000 | 2147483647    74132    124 |  0.000 % |
202.04/202.25	c |    337080 |     900    18000    90000 | 2147483647    75826    124 |  0.000 % |
203.24/203.45	c |    338944 |     900    18000    90000 | 2147483647    77690    124 |  0.000 % |
204.64/204.80	c |    340996 |     900    18000    90000 | 2147483647    79742    124 |  0.000 % |
206.14/206.32	c |    343255 |     900    18000    90000 | 2147483647    82001    124 |  0.000 % |
207.74/207.99	c |    345733 |     900    18000    90000 | 2147483647    84479    124 |  0.000 % |
209.64/209.87	c |    348460 |     900    18000    90000 | 2147483647    87206    125 |  0.000 % |
211.74/211.92	c |    351459 |     900    18000    90000 |    88746    79588    125 |  0.000 % |
213.84/214.09	c |    354756 |     900    18000    90000 |    88746    82885    125 |  0.000 % |
213.94/214.17	c |    354857 |     900    18000    90000 |    88746    82986    125 |  0.000 % |
214.04/214.26	c |    354967 |     900    18000    90000 |    88746    83096    125 |  0.000 % |
214.14/214.35	c |    355088 |     900    18000    90000 |    88746    83217    125 |  0.000 % |
214.24/214.50	c |    355225 |     900    18000    90000 |    88746    83354    125 |  0.000 % |
214.44/214.62	c |    355371 |     900    18000    90000 |    88746    83500    125 |  0.000 % |
214.53/214.75	c |    355533 |     900    18000    90000 |    88746    83662    125 |  0.000 % |
214.63/214.89	c |    355709 |     900    18000    90000 |    88746    83838    125 |  0.000 % |
214.83/215.04	c |    355904 |     900    18000    90000 |    88746    84033    125 |  0.000 % |
215.03/215.21	c |    356116 |     900    18000    90000 |    88746    84245    125 |  0.000 % |
215.13/215.38	c |    356349 |     900    18000    90000 |    88746    84478    125 |  0.000 % |
215.33/215.58	c |    356606 |     900    18000    90000 |    88746    84735    125 |  0.000 % |
215.63/215.80	c |    356888 |     900    18000    90000 |    88746    85017    125 |  0.000 % |
215.83/216.04	c |    357200 |     900    18000    90000 |    88746    85329    125 |  0.000 % |
216.13/216.30	c |    357539 |     900    18000    90000 |    88746    85668    125 |  0.000 % |
216.43/216.61	c |    357913 |     900    18000    90000 |    88746    86042    125 |  0.000 % |
216.73/216.91	c |    358323 |     900    18000    90000 |    88746    86452    124 |  0.000 % |
217.03/217.23	c |    358775 |     900    18000    90000 |    88746    86904    124 |  0.000 % |
217.43/217.61	c |    359270 |     900    18000    90000 |    88746    87399    124 |  0.000 % |
217.83/218.03	c |    359812 |     900    18000    90000 |    88746    87941    124 |  0.000 % |
218.33/218.58	c |    360410 |     900    18000    90000 |    88129    76303    123 |  0.000 % |
218.83/219.00	c |    361065 |     900    18000    90000 |    88129    76958    123 |  0.000 % |
219.33/219.50	c |    361785 |     900    18000    90000 |    88129    77678    123 |  0.000 % |
219.83/220.01	c |    362577 |     900    18000    90000 |    88129    78470    123 |  0.000 % |
220.43/220.62	c |    363448 |     900    18000    90000 |    88129    79341    123 |  0.000 % |
221.03/221.24	c |    364408 |     900    18000    90000 |    88129    80301    123 |  0.000 % |
221.73/221.95	c |    365461 |     900    18000    90000 |    88129    81354    123 |  0.000 % |
222.53/222.74	c |    366622 |     900    18000    90000 |    88129    82515    123 |  0.000 % |
223.43/223.62	c |    367899 |     900    18000    90000 |    88129    83792    123 |  0.000 % |
224.33/224.57	c |    369301 |     900    18000    90000 |    88129    85194    123 |  0.000 % |
225.43/225.65	c |    370841 |     900    18000    90000 |    85894    75754    123 |  0.000 % |
226.62/226.81	c |    372537 |     900    18000    90000 |    85894    77450    123 |  0.000 % |
227.82/228.07	c |    374400 |     900    18000    90000 |    85894    79313    123 |  0.000 % |
229.32/229.50	c |    376449 |     900    18000    90000 |    85894    81362    123 |  0.000 % |
230.83/231.03	c |    378704 |     900    18000    90000 |    85894    83617    123 |  0.000 % |
232.52/232.76	c |    381183 |     900    18000    90000 |    84913    75486    123 |  0.000 % |
234.42/234.61	c |    383908 |     900    18000    90000 |    84913    78211    123 |  0.000 % |
236.42/236.66	c |    386907 |     900    18000    90000 |    84913    81210    123 |  0.000 % |
238.92/239.19	c |    390204 |     900    18000    90000 |    84303    84507    123 |  0.000 % |
241.32/241.57	c |    393830 |     900    18000    90000 |    84303    78785    123 |  0.000 % |
241.42/241.64	c |    393930 |     900    18000    90000 |    84303    78885    123 |  0.000 % |
241.52/241.72	c |    394042 |     900    18000    90000 |    84303    78997    123 |  0.000 % |
241.62/241.82	c |    394163 |     900    18000    90000 |    84303    79118    123 |  0.000 % |
241.72/241.94	c |    394297 |     900    18000    90000 |    84303    79252    123 |  0.000 % |
241.82/242.06	c |    394443 |     900    18000    90000 |    84303    79398    123 |  0.000 % |
241.92/242.18	c |    394603 |     900    18000    90000 |    84303    79558    123 |  0.000 % |
242.12/242.30	c |    394782 |     900    18000    90000 |    84303    79737    123 |  0.000 % |
242.22/242.44	c |    394976 |     900    18000    90000 |    84303    79931    123 |  0.000 % |
242.32/242.58	c |    395189 |     900    18000    90000 |    84303    80144    123 |  0.000 % |
242.52/242.74	c |    395424 |     900    18000    90000 |    84303    80379    123 |  0.000 % |
242.72/242.94	c |    395682 |     900    18000    90000 |    84303    80637    123 |  0.000 % |
242.92/243.13	c |    395966 |     900    18000    90000 |    84303    80921    123 |  0.000 % |
243.12/243.34	c |    396275 |     900    18000    90000 |    84303    81230    123 |  0.000 % |
243.32/243.59	c |    396615 |     900    18000    90000 |    84303    81570    123 |  0.000 % |
243.62/243.85	c |    396987 |     900    18000    90000 |    84303    81942    123 |  0.000 % |
243.92/244.12	c |    397397 |     900    18000    90000 |    84303    82352    123 |  0.000 % |
244.21/244.42	c |    397846 |     900    18000    90000 |    84303    82801    123 |  0.000 % |
244.61/244.81	c |    398340 |     900    18000    90000 |    84303    83295    123 |  0.000 % |
244.91/245.19	c |    398883 |     900    18000    90000 |    84303    83838    123 |  0.000 % |
245.41/245.64	c |    399481 |     900    18000    90000 |    84303    84436    123 |  0.000 % |
245.91/246.13	c |    400138 |     900    18000    90000 |    75389    75527    123 |  0.000 % |
246.32/246.58	c |    400858 |     900    18000    90000 |    75389    67857    123 |  0.000 % |
246.81/247.02	c |    401653 |     900    18000    90000 |    75389    68652    123 |  0.000 % |
247.32/247.52	c |    402524 |     900    18000    90000 |    75389    69523    123 |  0.000 % |
247.91/248.16	c |    403482 |     900    18000    90000 |    75389    70481    123 |  0.000 % |
248.61/248.80	c |    404537 |     900    18000    90000 |    75389    71536    123 |  0.000 % |
249.31/249.58	c |    405695 |     900    18000    90000 |    75389    72694    123 |  0.000 % |
250.21/250.42	c |    406968 |     900    18000    90000 |    75389    73967    123 |  0.000 % |
251.01/251.29	c |    408368 |     900    18000    90000 |    75389    75367    123 |  0.000 % |
252.01/252.25	c |    409908 |     900    18000    90000 |    75389    69340    123 |  0.000 % |
253.01/253.28	c |    411602 |     900    18000    90000 | 2147483647    71034    123 |  0.000 % |
254.11/254.38	c |    413465 |     900    18000    90000 | 2147483647    72897    123 |  0.000 % |
255.41/255.67	c |    415516 |     900    18000    90000 | 2147483647    74948    123 |  0.000 % |
256.81/257.09	c |    417770 |     900    18000    90000 | 2147483647    77202    123 |  0.000 % |
258.60/258.80	c |    420249 |     900    18000    90000 | 2147483647    79681    123 |  0.000 % |
260.20/260.49	c |    422974 |     900    18000    90000 | 2147483647    82406    123 |  0.000 % |
262.30/262.54	c |    425973 |     900    18000    90000 | 2147483647    85405    123 |  0.000 % |
264.50/264.79	c |    429269 |     900    18000    90000 | 2147483647    88701    123 |  0.000 % |
267.20/267.43	c |    432894 |     900    18000    90000 |    89432    81790    123 |  0.000 % |
270.00/270.28	c |    436882 |     900    18000    90000 |    89432    85778    123 |  0.000 % |
270.10/270.37	c |    436982 |     900    18000    90000 |    89432    85878    123 |  0.000 % |
270.20/270.46	c |    437092 |     900    18000    90000 |    89432    85988    123 |  0.000 % |
270.30/270.58	c |    437214 |     900    18000    90000 |    89432    86110    123 |  0.000 % |
270.40/270.69	c |    437347 |     900    18000    90000 |    89432    86243    123 |  0.000 % |
270.60/270.80	c |    437494 |     900    18000    90000 |    89432    86390    123 |  0.000 % |
270.70/270.93	c |    437655 |     900    18000    90000 |    89432    86551    123 |  0.000 % |
270.80/271.07	c |    437831 |     900    18000    90000 |    89432    86727    123 |  0.000 % |
271.00/271.23	c |    438025 |     900    18000    90000 |    89432    86921    123 |  0.000 % |
271.20/271.42	c |    438237 |     900    18000    90000 |    89432    87133    123 |  0.000 % |
271.40/271.60	c |    438470 |     900    18000    90000 |    89432    87366    123 |  0.000 % |
271.50/271.79	c |    438728 |     900    18000    90000 |    89432    87624    123 |  0.000 % |
271.80/272.02	c |    439009 |     900    18000    90000 |    89432    87905    123 |  0.000 % |
272.09/272.32	c |    439318 |     900    18000    90000 |    89432    88214    123 |  0.000 % |
272.29/272.59	c |    439658 |     900    18000    90000 |    89432    88554    123 |  0.000 % |
272.60/272.89	c |    440032 |     900    18000    90000 |    88896    88928    123 |  0.000 % |
272.99/273.25	c |    440442 |     900    18000    90000 |    88896    77567    124 |  0.000 % |
273.29/273.55	c |    440891 |     900    18000    90000 |    88896    78016    124 |  0.000 % |
273.59/273.89	c |    441384 |     900    18000    90000 |    88896    78509    124 |  0.000 % |
273.99/274.28	c |    441926 |     900    18000    90000 |    88896    79051    124 |  0.000 % |
274.39/274.68	c |    442523 |     900    18000    90000 |    88896    79648    124 |  0.000 % |
274.90/275.16	c |    443179 |     900    18000    90000 |    88896    80304    124 |  0.000 % |
275.39/275.63	c |    443901 |     900    18000    90000 |    88896    81026    123 |  0.000 % |
275.90/276.19	c |    444693 |     900    18000    90000 |    88896    81818    123 |  0.000 % |
276.59/276.83	c |    445565 |     900    18000    90000 |    88896    82690    123 |  0.000 % |
277.29/277.53	c |    446523 |     900    18000    90000 |    88896    83648    123 |  0.000 % |
278.10/278.31	c |    447577 |     900    18000    90000 |    88896    84702    123 |  0.000 % |
278.99/279.23	c |    448736 |     900    18000    90000 |    88896    85861    123 |  0.000 % |
279.89/280.12	c |    450010 |     900    18000    90000 |    87125    87135    123 |  0.000 % |
280.89/281.11	c |    451410 |     900    18000    90000 |    87125    76673    123 |  0.000 % |
281.89/282.12	c |    452950 |     900    18000    90000 |    87125    78213    123 |  0.000 % |
282.89/283.19	c |    454644 |     900    18000    90000 |    87125    79907    123 |  0.000 % |
284.19/284.44	c |    456507 |     900    18000    90000 |    87125    81770    123 |  0.000 % |
285.69/285.90	c |    458557 |     900    18000    90000 |    87125    83820    123 |  0.000 % |
287.19/287.47	c |    460811 |     900    18000    90000 |    85263    74561    123 |  0.000 % |
288.79/289.02	c |    463289 |     900    18000    90000 |    85263    77039    123 |  0.000 % |
290.49/290.70	c |    466014 |     900    18000    90000 |    85263    79764    123 |  0.000 % |
292.49/292.74	c |    469012 |     900    18000    90000 |    85263    82762    123 |  0.000 % |
294.69/294.98	c |    472309 |     900    18000    90000 |    83750    75901    124 |  0.000 % |
297.09/297.36	c |    475936 |     900    18000    90000 |    83750    79528    124 |  0.000 % |
299.98/300.24	c |    479923 |     900    18000    90000 |    83750    83515    124 |  0.000 % |
302.98/303.26	c |    484309 |     900    18000    90000 |    83593    78413    124 |  0.000 % |
303.08/303.34	c |    484409 |     900    18000    90000 |    83593    78513    124 |  0.000 % |
303.18/303.42	c |    484520 |     900    18000    90000 |    83593    78624    124 |  0.000 % |
303.28/303.54	c |    484642 |     900    18000    90000 |    83593    78746    124 |  0.000 % |
303.38/303.66	c |    484776 |     900    18000    90000 |    83593    78880    124 |  0.000 % |
303.48/303.75	c |    484922 |     900    18000    90000 |    83593    79026    124 |  0.000 % |
303.58/303.87	c |    485082 |     900    18000    90000 |    83593    79186    124 |  0.000 % |
303.78/304.01	c |    485258 |     900    18000    90000 |    83593    79362    124 |  0.000 % |
303.87/304.15	c |    485451 |     900    18000    90000 |    83593    79555    124 |  0.000 % |
304.07/304.32	c |    485665 |     900    18000    90000 |    83593    79769    124 |  0.000 % |
304.27/304.50	c |    485899 |     900    18000    90000 |    83593    80003    124 |  0.000 % |
304.37/304.68	c |    486156 |     900    18000    90000 |    83593    80260    124 |  0.000 % |
304.67/304.93	c |    486437 |     900    18000    90000 |    83593    80541    124 |  0.000 % |
304.87/305.15	c |    486749 |     900    18000    90000 |    83593    80853    124 |  0.000 % |
305.17/305.40	c |    487088 |     900    18000    90000 |    83593    81192    124 |  0.000 % |
305.47/305.73	c |    487460 |     900    18000    90000 |    83593    81564    124 |  0.000 % |
305.77/306.05	c |    487869 |     900    18000    90000 |    83593    81973    124 |  0.000 % |
306.07/306.37	c |    488318 |     900    18000    90000 |    83593    82422    124 |  0.000 % |
306.47/306.73	c |    488812 |     900    18000    90000 |    83593    82916    124 |  0.000 % |
306.78/307.09	c |    489354 |     900    18000    90000 |    83593    83458    124 |  0.000 % |
307.27/307.55	c |    489952 |     900    18000    90000 |    83593    73751    125 |  0.000 % |
307.67/307.98	c |    490608 |     900    18000    90000 |    73801    65578    124 |  0.000 % |
308.07/308.38	c |    491328 |     900    18000    90000 |    73801    66298    124 |  0.000 % |
308.57/308.86	c |    492122 |     900    18000    90000 |    73801    67092    124 |  0.000 % |
309.07/309.37	c |    492993 |     900    18000    90000 |    73801    67963    124 |  0.000 % |
309.67/309.92	c |    493953 |     900    18000    90000 |    73801    68923    124 |  0.000 % |
310.27/310.52	c |    495006 |     900    18000    90000 |    73801    69976    124 |  0.000 % |
310.97/311.23	c |    496164 |     900    18000    90000 |    73801    71134    124 |  0.000 % |
311.77/312.06	c |    497439 |     900    18000    90000 |    73801    72409    124 |  0.000 % |
312.67/312.94	c |    498839 |     900    18000    90000 |    73801    73809    124 |  0.000 % |
313.57/313.88	c |    500379 |     900    18000    90000 | 2147483647    67969    123 |  0.000 % |
314.67/314.91	c |    502074 |     900    18000    90000 | 2147483647    69664    123 |  0.000 % |
315.77/316.08	c |    503937 |     900    18000    90000 | 2147483647    71527    123 |  0.000 % |
317.07/317.32	c |    505987 |     900    18000    90000 | 2147483647    73577    123 |  0.000 % |
318.46/318.74	c |    508242 |     900    18000    90000 | 2147483647    75832    123 |  0.000 % |
319.97/320.30	c |    510721 |     900    18000    90000 | 2147483647    78311    123 |  0.000 % |
321.86/322.13	c |    513446 |     900    18000    90000 | 2147483647    81036    123 |  0.000 % |
323.86/324.13	c |    516446 |     900    18000    90000 | 2147483647    84036    124 |  0.000 % |
325.96/326.28	c |    519743 |     900    18000    90000 | 2147483647    87333    124 |  0.000 % |
328.46/328.79	c |    523368 |     900    18000    90000 |    87591    81467    124 |  0.000 % |
331.26/331.50	c |    527356 |     900    18000    90000 |    87591    85455    125 |  0.000 % |
334.36/334.65	c |    531741 |     900    18000    90000 |    78453    71612    125 |  0.000 % |
337.56/337.89	c |    536564 |     900    18000    90000 |    78453    76435    125 |  0.000 % |
337.66/337.98	c |    536665 |     900    18000    90000 |    78453    76536    125 |  0.000 % |
337.76/338.07	c |    536776 |     900    18000    90000 |    78453    76647    125 |  0.000 % |
337.86/338.15	c |    536897 |     900    18000    90000 |    78453    76768    125 |  0.000 % |
337.96/338.25	c |    537031 |     900    18000    90000 |    78453    76902    125 |  0.000 % |
338.06/338.38	c |    537177 |     900    18000    90000 |    78453    77048    125 |  0.000 % |
338.16/338.48	c |    537337 |     900    18000    90000 |    78453    77208    125 |  0.000 % |
338.36/338.60	c |    537513 |     900    18000    90000 |    78453    77384    125 |  0.000 % |
338.46/338.75	c |    537707 |     900    18000    90000 |    78453    77578    125 |  0.000 % |
338.66/338.91	c |    537920 |     900    18000    90000 |    78453    77791    125 |  0.000 % |
338.76/339.08	c |    538155 |     900    18000    90000 |    78453    78026    125 |  0.000 % |
338.96/339.26	c |    538411 |     900    18000    90000 |    78453    78282    125 |  0.000 % |
339.16/339.49	c |    538692 |     900    18000    90000 |    78453    78563    125 |  0.000 % |
339.46/339.75	c |    539001 |     900    18000    90000 |    78453    70711    125 |  0.000 % |
339.66/339.99	c |    539342 |     900    18000    90000 |    78453    71052    125 |  0.000 % |
339.96/340.25	c |    539714 |     900    18000    90000 |    78453    71424    125 |  0.000 % |
340.25/340.51	c |    540123 |     900    18000    90000 |    71710    71833    125 |  0.000 % |
340.45/340.79	c |    540573 |     900    18000    90000 |    71710    64893    125 |  0.000 % |
340.86/341.11	c |    541066 |     900    18000    90000 |    71710    65386    125 |  0.000 % |
341.15/341.44	c |    541611 |     900    18000    90000 |    71710    65931    125 |  0.000 % |
341.45/341.79	c |    542208 |     900    18000    90000 |    71710    66528    125 |  0.000 % |
341.86/342.18	c |    542864 |     900    18000    90000 |    71710    67184    125 |  0.000 % |
342.35/342.61	c |    543584 |     900    18000    90000 |    71710    67904    125 |  0.000 % |
342.75/343.08	c |    544377 |     900    18000    90000 |    71710    68697    125 |  0.000 % |
343.35/343.61	c |    545249 |     900    18000    90000 |    71710    69569    125 |  0.000 % |
343.85/344.17	c |    546207 |     900    18000    90000 |    71710    70527    125 |  0.000 % |
344.55/344.80	c |    547261 |     900    18000    90000 |    71710    71581    125 |  0.000 % |
345.26/345.59	c |    548419 |     900    18000    90000 |    71710    65539    124 |  0.000 % |
346.05/346.34	c |    549692 |     900    18000    90000 |    71710    66812    124 |  0.000 % |
346.85/347.15	c |    551092 |     900    18000    90000 | 2147483647    68212    124 |  0.000 % |
347.75/348.05	c |    552633 |     900    18000    90000 | 2147483647    69753    124 |  0.000 % |
348.74/349.07	c |    554328 |     900    18000    90000 | 2147483647    71448    124 |  0.000 % |
349.94/350.23	c |    556191 |     900    18000    90000 | 2147483647    73311    124 |  0.000 % |
351.23/351.55	c |    558240 |     900    18000    90000 | 2147483647    75360    125 |  0.000 % |
352.83/353.14	c |    560493 |     900    18000    90000 | 2147483647    77613    125 |  0.000 % |
354.52/354.82	c |    562971 |     900    18000    90000 | 2147483647    80091    125 |  0.000 % |
356.32/356.68	c |    565696 |     900    18000    90000 | 2147483647    82816    125 |  0.000 % |
358.52/358.81	c |    568694 |     900    18000    90000 | 2147483647    85814    125 |  0.000 % |
360.72/361.08	c |    571990 |     900    18000    90000 |    87122    79063    126 |  0.000 % |
363.22/363.59	c |    575615 |     900    18000    90000 |    87122    82688    125 |  0.000 % |
365.92/366.26	c |    579603 |     900    18000    90000 |    87122    86676    125 |  0.000 % |
368.81/369.14	c |    583988 |     900    18000    90000 |    87073    80326    126 |  0.000 % |
372.21/372.53	c |    588815 |     900    18000    90000 |    87073    85153    127 |  0.000 % |
375.81/376.20	c |    594120 |     900    18000    90000 |    86339    80216    127 |  0.000 % |
375.92/376.26	c |    594220 |     900    18000    90000 |    86339    80316    127 |  0.000 % |
376.02/376.33	c |    594331 |     900    18000    90000 |    86339    80427    127 |  0.000 % |
376.11/376.42	c |    594452 |     900    18000    90000 |    86339    80548    127 |  0.000 % |
376.21/376.50	c |    594585 |     900    18000    90000 |    86339    80681    127 |  0.000 % |
376.31/376.63	c |    594732 |     900    18000    90000 |    86339    80828    127 |  0.000 % |
376.41/376.75	c |    594894 |     900    18000    90000 |    86339    80990    127 |  0.000 % |
376.51/376.86	c |    595070 |     900    18000    90000 |    86339    81166    127 |  0.000 % |
376.71/377.03	c |    595265 |     900    18000    90000 |    86339    81361    127 |  0.000 % |
376.81/377.17	c |    595477 |     900    18000    90000 |    86339    81573    127 |  0.000 % |
377.02/377.35	c |    595712 |     900    18000    90000 |    86339    81808    127 |  0.000 % |
377.21/377.54	c |    595971 |     900    18000    90000 |    86339    82067    127 |  0.000 % |
377.41/377.77	c |    596253 |     900    18000    90000 |    86339    82349    127 |  0.000 % |
377.71/378.00	c |    596562 |     900    18000    90000 |    86339    82658    127 |  0.000 % |
377.91/378.27	c |    596901 |     900    18000    90000 |    86339    82997    127 |  0.000 % |
378.22/378.53	c |    597274 |     900    18000    90000 |    86339    83370    127 |  0.000 % |
378.51/378.83	c |    597686 |     900    18000    90000 |    86339    83782    127 |  0.000 % |
378.81/379.19	c |    598135 |     900    18000    90000 |    86339    84231    127 |  0.000 % |
379.22/379.56	c |    598629 |     900    18000    90000 |    86339    84725    127 |  0.000 % |
379.61/379.95	c |    599172 |     900    18000    90000 |    86339    85268    127 |  0.000 % |
380.01/380.38	c |    599768 |     900    18000    90000 |    86339    85864    127 |  0.000 % |
380.61/380.94	c |    600426 |     900    18000    90000 |    86097    75186    126 |  0.000 % |
381.11/381.44	c |    601146 |     900    18000    90000 |    86097    75906    126 |  0.000 % |
381.61/381.95	c |    601938 |     900    18000    90000 |    86097    76698    126 |  0.000 % |
382.11/382.49	c |    602809 |     900    18000    90000 |    86097    77569    126 |  0.000 % |
382.81/383.10	c |    603767 |     900    18000    90000 |    86097    78527    126 |  0.000 % |
383.51/383.85	c |    604821 |     900    18000    90000 |    86097    79581    126 |  0.000 % |
384.21/384.57	c |    605980 |     900    18000    90000 |    86097    80740    126 |  0.000 % |
385.11/385.41	c |    607253 |     900    18000    90000 |    86097    82013    126 |  0.000 % |
386.01/386.36	c |    608653 |     900    18000    90000 |    86097    83413    126 |  0.000 % |
387.11/387.45	c |    610193 |     900    18000    90000 |    84763    84953    126 |  0.000 % |
388.21/388.57	c |    611887 |     900    18000    90000 |    84763    76726    125 |  0.000 % |
389.51/389.80	c |    613754 |     900    18000    90000 |    84763    78593    126 |  0.000 % |
390.81/391.16	c |    615803 |     900    18000    90000 |    84763    80642    126 |  0.000 % |
392.41/392.74	c |    618056 |     900    18000    90000 |    84763    82895    126 |  0.000 % |
394.20/394.51	c |    620534 |     900    18000    90000 |    84839    75271    126 |  0.000 % |
395.90/396.30	c |    623259 |     900    18000    90000 |    84839    77996    126 |  0.000 % |
397.80/398.13	c |    626258 |     900    18000    90000 |    84839    80995    126 |  0.000 % |
400.00/400.30	c |    629555 |     900    18000    90000 |    84839    84292    126 |  0.000 % |
402.30/402.65	c |    633180 |     900    18000    90000 |    84737    77626    126 |  0.000 % |
405.00/405.31	c |    637167 |     900    18000    90000 |    84737    81613    127 |  0.000 % |
408.00/408.30	c |    641552 |     900    18000    90000 |    84448    76027    126 |  0.000 % |
411.10/411.48	c |    646376 |     900    18000    90000 |    84448    80851    127 |  0.000 % |
414.69/415.09	c |    651683 |     900    18000    90000 |    84475    75889    127 |  0.000 % |
418.69/419.03	c |    657518 |     900    18000    90000 |    84475    81724    128 |  0.000 % |
418.80/419.12	c |    657618 |     900    18000    90000 |    84475    81824    128 |  0.000 % |
418.90/419.21	c |    657733 |     900    18000    90000 |    84475    81939    128 |  0.000 % |
418.99/419.31	c |    657854 |     900    18000    90000 |    84475    82060    128 |  0.000 % |
419.09/419.42	c |    657990 |     900    18000    90000 |    84475    82196    128 |  0.000 % |
419.19/419.54	c |    658136 |     900    18000    90000 |    84475    82342    128 |  0.000 % |
419.29/419.66	c |    658297 |     900    18000    90000 |    84475    82503    128 |  0.000 % |
419.39/419.79	c |    658473 |     900    18000    90000 |    84475    82679    128 |  0.000 % |
419.59/419.94	c |    658667 |     900    18000    90000 |    84475    82873    128 |  0.000 % |
419.69/420.09	c |    658879 |     900    18000    90000 |    84475    83085    128 |  0.000 % |
419.90/420.27	c |    659114 |     900    18000    90000 |    84475    83320    128 |  0.000 % |
420.10/420.47	c |    659370 |     900    18000    90000 |    84475    83576    128 |  0.000 % |
420.30/420.69	c |    659652 |     900    18000    90000 |    84475    83858    128 |  0.000 % |
420.60/420.90	c |    659963 |     900    18000    90000 |    84475    84169    128 |  0.000 % |
420.80/421.13	c |    660302 |     900    18000    90000 |    84206    84508    128 |  0.000 % |
421.10/421.44	c |    660675 |     900    18000    90000 |    84206    74829    127 |  0.000 % |
421.30/421.68	c |    661084 |     900    18000    90000 |    84206    75238    127 |  0.000 % |
421.70/422.02	c |    661534 |     900    18000    90000 |    84206    75688    127 |  0.000 % |
422.00/422.37	c |    662027 |     900    18000    90000 |    84206    76181    127 |  0.000 % |
422.40/422.76	c |    662569 |     900    18000    90000 |    84206    76723    127 |  0.000 % |
422.80/423.15	c |    663167 |     900    18000    90000 |    84206    77321    127 |  0.000 % |
423.20/423.57	c |    663822 |     900    18000    90000 |    84206    77976    127 |  0.000 % |
423.70/424.06	c |    664542 |     900    18000    90000 |    84206    78696    127 |  0.000 % |
424.30/424.60	c |    665334 |     900    18000    90000 |    84206    79488    127 |  0.000 % |
424.90/425.21	c |    666206 |     900    18000    90000 |    84206    80360    127 |  0.000 % |
425.50/425.89	c |    667165 |     900    18000    90000 |    84206    81319    127 |  0.000 % |
426.19/426.60	c |    668218 |     900    18000    90000 |    84206    82372    127 |  0.000 % |
427.09/427.41	c |    669376 |     900    18000    90000 |    84206    83530    127 |  0.000 % |
427.89/428.28	c |    670650 |     900    18000    90000 |    84155    74591    127 |  0.000 % |
428.80/429.20	c |    672050 |     900    18000    90000 |    84155    75991    127 |  0.000 % |
429.80/430.18	c |    673590 |     900    18000    90000 |    84155    77531    127 |  0.000 % |
431.00/431.39	c |    675284 |     900    18000    90000 |    84155    79225    127 |  0.000 % |
432.39/432.75	c |    677147 |     900    18000    90000 |    84155    81088    127 |  0.000 % |
433.89/434.21	c |    679197 |     900    18000    90000 |    84155    83138    127 |  0.000 % |
435.39/435.76	c |    681450 |     900    18000    90000 |    83941    74996    127 |  0.000 % |
437.19/437.52	c |    683928 |     900    18000    90000 |    83941    77474    127 |  0.000 % |
438.98/439.38	c |    686653 |     900    18000    90000 |    83941    80199    127 |  0.000 % |
441.08/441.40	c |    689650 |     900    18000    90000 |    83941    83196    127 |  0.000 % |
443.28/443.62	c |    692948 |     900    18000    90000 |    83548    77652    127 |  0.000 % |
445.78/446.12	c |    696574 |     900    18000    90000 |    83548    81278    127 |  0.000 % |
448.68/449.07	c |    700563 |     900    18000    90000 |    75006    66760    127 |  0.000 % |
451.27/451.68	c |    704948 |     900    18000    90000 |    75006    71145    127 |  0.000 % |
454.27/454.63	c |    709771 |     900    18000    90000 |    75006    68435    127 |  0.000 % |
457.38/457.71	c |    715076 |     900    18000    90000 | 2147483647    73740    127 |  0.000 % |
461.17/461.56	c |    720911 |     900    18000    90000 | 2147483647    79575    128 |  0.000 % |
465.57/465.98	c |    727329 |     900    18000    90000 | 2147483647    85993    128 |  0.000 % |
465.67/466.05	c |    727430 |     900    18000    90000 | 2147483647    86094    128 |  0.000 % |
465.77/466.14	c |    727541 |     900    18000    90000 | 2147483647    86205    128 |  0.000 % |
465.87/466.25	c |    727664 |     900    18000    90000 | 2147483647    86328    128 |  0.000 % |
465.97/466.36	c |    727798 |     900    18000    90000 | 2147483647    86462    128 |  0.000 % |
466.07/466.45	c |    727944 |     900    18000    90000 | 2147483647    86608    128 |  0.000 % |
466.17/466.58	c |    728104 |     900    18000    90000 | 2147483647    86768    128 |  0.000 % |
466.37/466.72	c |    728280 |     900    18000    90000 | 2147483647    86944    128 |  0.000 % |
466.47/466.87	c |    728473 |     900    18000    90000 | 2147483647    87137    127 |  0.000 % |
466.67/467.03	c |    728685 |     900    18000    90000 | 2147483647    87349    127 |  0.000 % |
466.87/467.21	c |    728919 |     900    18000    90000 | 2147483647    87583    127 |  0.000 % |
467.07/467.41	c |    729178 |     900    18000    90000 | 2147483647    87842    127 |  0.000 % |
467.27/467.61	c |    729459 |     900    18000    90000 | 2147483647    88123    127 |  0.000 % |
467.47/467.85	c |    729768 |     900    18000    90000 | 2147483647    88432    127 |  0.000 % |
467.77/468.11	c |    730107 |     900    18000    90000 |    88665    88771    127 |  0.000 % |
468.07/468.41	c |    730479 |     900    18000    90000 |    88665    78044    127 |  0.000 % |
468.37/468.70	c |    730888 |     900    18000    90000 |    88665    78453    127 |  0.000 % |
468.57/468.99	c |    731337 |     900    18000    90000 |    88665    78902    127 |  0.000 % |
468.97/469.30	c |    731831 |     900    18000    90000 |    88665    79396    127 |  0.000 % |
469.27/469.66	c |    732373 |     900    18000    90000 |    88665    79938    127 |  0.000 % |
469.67/470.05	c |    732969 |     900    18000    90000 |    88665    80534    127 |  0.000 % |
470.07/470.49	c |    733625 |     900    18000    90000 |    88665    81190    127 |  0.000 % |
470.57/470.97	c |    734345 |     900    18000    90000 |    88665    81910    127 |  0.000 % |
471.16/471.53	c |    735137 |     900    18000    90000 |    88665    82702    127 |  0.000 % |
471.76/472.16	c |    736009 |     900    18000    90000 |    88665    83574    127 |  0.000 % |
472.56/472.90	c |    736967 |     900    18000    90000 |    88665    84532    126 |  0.000 % |
473.26/473.64	c |    738020 |     900    18000    90000 |    88665    85585    127 |  0.000 % |
474.06/474.48	c |    739178 |     900    18000    90000 |    88665    86743    126 |  0.000 % |
475.16/475.58	c |    740451 |     900    18000    90000 |    87565    76582    127 |  0.000 % |
476.06/476.47	c |    741851 |     900    18000    90000 |    87565    77982    127 |  0.000 % |
477.16/477.52	c |    743391 |     900    18000    90000 |    87565    79522    126 |  0.000 % |
478.26/478.67	c |    745085 |     900    18000    90000 |    87565    81216    127 |  0.000 % |
479.56/479.95	c |    746948 |     900    18000    90000 |    87565    83079    127 |  0.000 % |
480.96/481.35	c |    748997 |     900    18000    90000 |    87565    85128    127 |  0.000 % |
482.46/482.86	c |    751250 |     900    18000    90000 |    86131    76713    127 |  0.000 % |
483.96/484.36	c |    753728 |     900    18000    90000 |    86131    79191    127 |  0.000 % |
485.76/486.10	c |    756454 |     900    18000    90000 |    86131    81917    127 |  0.000 % |
487.75/488.13	c |    759452 |     900    18000    90000 |    86131    84915    127 |  0.000 % |
490.05/490.49	c |    762748 |     900    18000    90000 |    85463    77971    128 |  0.000 % |
492.56/492.92	c |    766375 |     900    18000    90000 |    85463    81598    128 |  0.000 % |
495.45/495.81	c |    770363 |     900    18000    90000 |    85224    75780    128 |  0.000 % |
498.25/498.69	c |    774750 |     900    18000    90000 |    85224    80167    128 |  0.000 % |
501.45/501.87	c |    779574 |     900    18000    90000 |    85224    84991    128 |  0.000 % |
504.95/505.32	c |    784879 |     900    18000    90000 |    85418    80095    129 |  0.000 % |
509.05/509.47	c |    790714 |     900    18000    90000 |    85216    74356    129 |  0.000 % |
513.25/513.66	c |    797132 |     900    18000    90000 |    85216    80774    129 |  0.000 % |
518.15/518.56	c |    804194 |     900    18000    90000 |    83644    77714    129 |  0.000 % |
518.25/518.64	c |    804294 |     900    18000    90000 |    83644    77814    129 |  0.000 % |
518.34/518.72	c |    804404 |     900    18000    90000 |    83644    77924    129 |  0.000 % |
518.44/518.80	c |    804525 |     900    18000    90000 |    83644    78045    129 |  0.000 % |
518.54/518.94	c |    804658 |     900    18000    90000 |    83644    78178    129 |  0.000 % |
518.64/519.05	c |    804805 |     900    18000    90000 |    83644    78325    129 |  0.000 % |
518.74/519.19	c |    804965 |     900    18000    90000 |    83644    78485    129 |  0.000 % |
518.95/519.34	c |    805141 |     900    18000    90000 |    83644    78661    129 |  0.000 % |
519.04/519.48	c |    805334 |     900    18000    90000 |    83644    78854    129 |  0.000 % |
519.24/519.62	c |    805547 |     900    18000    90000 |    83644    79067    129 |  0.000 % |
519.44/519.85	c |    805780 |     900    18000    90000 |    83644    79300    129 |  0.000 % |
519.64/520.04	c |    806036 |     900    18000    90000 |    83644    79556    129 |  0.000 % |
519.84/520.27	c |    806318 |     900    18000    90000 |    83644    79838    129 |  0.000 % |
520.14/520.50	c |    806627 |     900    18000    90000 |    83644    80147    129 |  0.000 % |
520.34/520.72	c |    806968 |     900    18000    90000 |    83644    80488    128 |  0.000 % |
520.64/521.00	c |    807342 |     900    18000    90000 |    83644    80862    128 |  0.000 % |
520.84/521.29	c |    807751 |     900    18000    90000 |    83644    81271    128 |  0.000 % |
521.24/521.60	c |    808201 |     900    18000    90000 |    83644    81721    128 |  0.000 % |
521.54/521.96	c |    808697 |     900    18000    90000 |    83644    82217    128 |  0.000 % |
521.94/522.35	c |    809239 |     900    18000    90000 |    83644    82759    128 |  0.000 % |
522.34/522.77	c |    809836 |     900    18000    90000 |    83644    83356    128 |  0.000 % |
522.84/523.25	c |    810495 |     900    18000    90000 |    83520    73891    129 |  0.000 % |
523.35/523.75	c |    811216 |     900    18000    90000 |    83520    74612    129 |  0.000 % |
523.84/524.25	c |    812008 |     900    18000    90000 |    83520    75404    129 |  0.000 % |
524.44/524.87	c |    812879 |     900    18000    90000 |    83520    76275    129 |  0.000 % |
525.14/525.51	c |    813837 |     900    18000    90000 |    83520    77233    129 |  0.000 % |
525.74/526.18	c |    814890 |     900    18000    90000 |    83520    78286    129 |  0.000 % |
526.54/526.98	c |    816049 |     900    18000    90000 |    83520    79445    129 |  0.000 % |
527.44/527.86	c |    817325 |     900    18000    90000 |    83520    80721    128 |  0.000 % |
528.43/528.82	c |    818726 |     900    18000    90000 |    83520    82122    128 |  0.000 % |
529.53/529.94	c |    820268 |     900    18000    90000 |    83396    83664    128 |  0.000 % |
530.63/531.02	c |    821962 |     900    18000    90000 |    83396    75542    128 |  0.000 % |
531.83/532.24	c |    823825 |     900    18000    90000 |    83396    77405    128 |  0.000 % |
533.23/533.61	c |    825874 |     900    18000    90000 |    83396    79454    128 |  0.000 % |
534.63/535.08	c |    828128 |     900    18000    90000 |    83396    81708    127 |  0.000 % |
536.33/536.74	c |    830606 |     900    18000    90000 | 2147483647    84186    127 |  0.000 % |
538.13/538.59	c |    833332 |     900    18000    90000 | 2147483647    86912    127 |  0.000 % |
540.43/540.83	c |    836329 |     900    18000    90000 | 2147483647    89909    127 |  0.000 % |
542.93/543.31	c |    839629 |     900    18000    90000 | 2147483647    93209    127 |  0.000 % |
545.43/545.84	c |    843255 |     900    18000    90000 |    93581    83553    127 |  0.000 % |
548.13/548.58	c |    847242 |     900    18000    90000 |    93581    87540    127 |  0.000 % |
551.23/551.69	c |    851627 |     900    18000    90000 |    90298    79681    126 |  0.000 % |
554.62/555.03	c |    856454 |     900    18000    90000 |    90298    84508    126 |  0.000 % |
558.53/558.96	c |    861762 |     900    18000    90000 |    88054    78223    126 |  0.000 % |
562.62/563.03	c |    867597 |     900    18000    90000 |    88054    84058    126 |  0.000 % |
566.92/567.36	c |    874015 |     900    18000    90000 |    86461    79077    126 |  0.000 % |
571.52/571.98	c |    881075 |     900    18000    90000 |    85063    74823    126 |  0.000 % |
576.51/576.91	c |    888840 |     900    18000    90000 |    85063    82588    127 |  0.000 % |
576.51/576.99	c |    888940 |     900    18000    90000 |    85063    82688    127 |  0.000 % |
576.61/577.09	c |    889053 |     900    18000    90000 |    85063    82801    127 |  0.000 % |
576.81/577.22	c |    889174 |     900    18000    90000 |    85063    82922    126 |  0.000 % |
576.91/577.33	c |    889309 |     900    18000    90000 |    85063    83057    126 |  0.000 % |
577.01/577.46	c |    889456 |     900    18000    90000 |    85063    83204    126 |  0.000 % |
577.12/577.58	c |    889616 |     900    18000    90000 |    85063    83364    126 |  0.000 % |
577.31/577.72	c |    889795 |     900    18000    90000 |    85063    83543    126 |  0.000 % |
577.41/577.88	c |    889990 |     900    18000    90000 |    85063    83738    126 |  0.000 % |
577.61/578.06	c |    890202 |     900    18000    90000 |    83749    83950    126 |  0.000 % |
577.81/578.26	c |    890435 |     900    18000    90000 |    83749    73391    127 |  0.000 % |
578.01/578.43	c |    890692 |     900    18000    90000 |    83749    73648    127 |  0.000 % |
578.21/578.61	c |    890974 |     900    18000    90000 |    83749    73930    127 |  0.000 % |
578.41/578.83	c |    891283 |     900    18000    90000 |    83749    74239    127 |  0.000 % |
578.61/579.04	c |    891624 |     900    18000    90000 |    83749    74580    127 |  0.000 % |
578.81/579.28	c |    891999 |     900    18000    90000 |    83749    74955    127 |  0.000 % |
579.11/579.58	c |    892409 |     900    18000    90000 |    83749    75365    127 |  0.000 % |
579.41/579.88	c |    892859 |     900    18000    90000 |    83749    75815    127 |  0.000 % |
579.81/580.20	c |    893353 |     900    18000    90000 |    83749    76309    127 |  0.000 % |
580.11/580.54	c |    893896 |     900    18000    90000 |    83749    76852    127 |  0.000 % |
580.51/580.93	c |    894492 |     900    18000    90000 |    83749    77448    127 |  0.000 % |
580.91/581.36	c |    895149 |     900    18000    90000 |    83749    78105    127 |  0.000 % |
581.41/581.86	c |    895873 |     900    18000    90000 |    83749    78829    127 |  0.000 % |
581.91/582.40	c |    896668 |     900    18000    90000 |    83749    79624    127 |  0.000 % |
582.51/583.00	c |    897540 |     900    18000    90000 |    83749    80496    127 |  0.000 % |
583.21/583.67	c |    898498 |     900    18000    90000 |    83749    81454    127 |  0.000 % |
583.91/584.38	c |    899553 |     900    18000    90000 |    83749    82509    127 |  0.000 % |
584.81/585.28	c |    900712 |     900    18000    90000 |    82957    74077    127 |  0.000 % |
585.60/586.05	c |    901989 |     900    18000    90000 |    82957    75354    127 |  0.000 % |
586.50/586.92	c |    903390 |     900    18000    90000 |    82957    76755    127 |  0.000 % |
587.40/587.89	c |    904931 |     900    18000    90000 |    82957    78296    127 |  0.000 % |
588.50/588.98	c |    906625 |     900    18000    90000 |    82957    79990    127 |  0.000 % |
589.80/590.21	c |    908491 |     900    18000    90000 |    82957    81856    127 |  0.000 % |
591.20/591.64	c |    910540 |     900    18000    90000 |    74484    67241    127 |  0.000 % |
592.60/593.00	c |    912793 |     900    18000    90000 |    74484    69494    127 |  0.000 % |
594.00/594.44	c |    915272 |     900    18000    90000 |    74484    71973    126 |  0.000 % |
595.70/596.15	c |    917997 |     900    18000    90000 |    74484    74698    127 |  0.000 % |
597.50/597.93	c |    920995 |     900    18000    90000 | 2147483647    70227    127 |  0.000 % |
599.50/599.90	c |    924292 |     900    18000    90000 | 2147483647    73524    127 |  0.000 % |
601.70/602.17	c |    927917 |     900    18000    90000 | 2147483647    77149    128 |  0.000 % |
604.40/604.86	c |    931904 |     900    18000    90000 | 2147483647    81136    128 |  0.000 % |
607.50/607.99	c |    936293 |     900    18000    90000 | 2147483647    85525    128 |  0.000 % |
610.90/611.31	c |    941116 |     900    18000    90000 |    89232    79919    129 |  0.000 % |
614.39/614.89	c |    946421 |     900    18000    90000 |    89232    85224    129 |  0.000 % |
618.79/619.28	c |    952257 |     900    18000    90000 |    88805    79987    128 |  0.000 % |
623.78/624.23	c |    958675 |     900    18000    90000 |    88805    86405    129 |  0.000 % |
629.08/629.51	c |    965736 |     900    18000    90000 |    87730    82267    129 |  0.000 % |
634.78/635.24	c |    973500 |     900    18000    90000 |    86532    78976    130 |  0.000 % |
640.18/640.69	c |    982042 |     900    18000    90000 |    85480    77278    131 |  0.000 % |
640.28/640.77	c |    982142 |     900    18000    90000 |    85480    77378    131 |  0.000 % |
640.38/640.85	c |    982252 |     900    18000    90000 |    85480    77488    131 |  0.000 % |
640.48/640.94	c |    982375 |     900    18000    90000 |    85480    77611    131 |  0.000 % |
640.58/641.04	c |    982508 |     900    18000    90000 |    85480    77744    131 |  0.000 % |
640.68/641.18	c |    982655 |     900    18000    90000 |    85480    77891    131 |  0.000 % |
640.78/641.30	c |    982815 |     900    18000    90000 |    85480    78051    131 |  0.000 % |
640.98/641.42	c |    982992 |     900    18000    90000 |    85480    78228    131 |  0.000 % |
641.08/641.57	c |    983186 |     900    18000    90000 |    85480    78422    131 |  0.000 % |
641.28/641.72	c |    983398 |     900    18000    90000 |    85480    78634    131 |  0.000 % |
641.48/641.91	c |    983631 |     900    18000    90000 |    85480    78867    131 |  0.000 % |
641.58/642.08	c |    983888 |     900    18000    90000 |    85480    79124    131 |  0.000 % |
641.78/642.30	c |    984170 |     900    18000    90000 |    85480    79406    131 |  0.000 % |
641.98/642.50	c |    984480 |     900    18000    90000 |    85480    79716    131 |  0.000 % |
642.27/642.74	c |    984821 |     900    18000    90000 |    85480    80057    131 |  0.000 % |
642.57/643.02	c |    985193 |     900    18000    90000 |    85480    80429    131 |  0.000 % |
642.87/643.31	c |    985602 |     900    18000    90000 |    85480    80838    131 |  0.000 % |
643.18/643.61	c |    986051 |     900    18000    90000 |    85480    81287    131 |  0.000 % |
643.47/643.97	c |    986544 |     900    18000    90000 |    85480    81780    131 |  0.000 % |
643.87/644.40	c |    987087 |     900    18000    90000 |    85480    82323    131 |  0.000 % |
644.37/644.85	c |    987683 |     900    18000    90000 |    85480    82919    130 |  0.000 % |
644.87/645.32	c |    988338 |     900    18000    90000 |    85480    83574    130 |  0.000 % |
645.28/645.80	c |    989058 |     900    18000    90000 |    85480    84294    130 |  0.000 % |
645.87/646.37	c |    989850 |     900    18000    90000 |    85480    85086    130 |  0.000 % |
646.57/647.04	c |    990721 |     900    18000    90000 |    85237    74500    131 |  0.000 % |
647.17/647.66	c |    991680 |     900    18000    90000 |    85237    75459    131 |  0.000 % |
647.87/648.31	c |    992736 |     900    18000    90000 |    85237    76515    131 |  0.000 % |
648.58/649.04	c |    993894 |     900    18000    90000 |    85237    77673    131 |  0.000 % |
649.47/649.94	c |    995167 |     900    18000    90000 |    85237    78946    131 |  0.000 % |
650.37/650.88	c |    996568 |     900    18000    90000 |    85237    80347    131 |  0.000 % |
651.57/652.00	c |    998112 |     900    18000    90000 |    85237    81891    131 |  0.000 % |
652.77/653.28	c |    999808 |     900    18000    90000 |    85237    83587    131 |  0.000 % |
653.97/654.50	c |   1001671 |     900    18000    90000 |    83780    74881    130 |  0.000 % |
655.37/655.84	c |   1003721 |     900    18000    90000 |    83780    76931    130 |  0.000 % |
656.77/657.25	c |   1005974 |     900    18000    90000 |    83780    79184    130 |  0.000 % |
658.47/658.98	c |   1008453 |     900    18000    90000 |    83780    81663    130 |  0.000 % |
660.47/660.95	c |   1011178 |     900    18000    90000 |    83212    75360    129 |  0.000 % |
662.47/662.91	c |   1014176 |     900    18000    90000 |    83212    78358    129 |  0.000 % |
664.66/665.13	c |   1017473 |     900    18000    90000 |    83212    81655    129 |  0.000 % |
666.96/667.45	c |   1021099 |     900    18000    90000 |    75560    69070    128 |  0.000 % |
669.26/669.78	c |   1025086 |     900    18000    90000 |    75560    73057    128 |  0.000 % |
671.96/672.43	c |   1029471 |     900    18000    90000 |    75560    69855    127 |  0.000 % |
674.76/675.21	c |   1034297 |     900    18000    90000 | 2147483647    74681    127 |  0.000 % |
678.16/678.65	c |   1039602 |     900    18000    90000 | 2147483647    79986    128 |  0.000 % |
682.36/682.80	c |   1045438 |     900    18000    90000 | 2147483647    85822    128 |  0.000 % |
687.06/687.52	c |   1051858 |     900    18000    90000 |    90386    79835    128 |  0.000 % |
692.15/692.63	c |   1058921 |     900    18000    90000 |    90386    86898    128 |  0.000 % |
697.85/698.37	c |   1066687 |     900    18000    90000 |    87980    82730    128 |  0.000 % |
704.25/704.74	c |   1075229 |     900    18000    90000 |    86043    80062    129 |  0.000 % |
710.94/711.48	c |   1084625 |     900    18000    90000 |    84833    78528    130 |  0.000 % |
711.04/711.56	c |   1084726 |     900    18000    90000 |    84833    78629    130 |  0.000 % |
711.14/711.65	c |   1084839 |     900    18000    90000 |    84833    78742    130 |  0.000 % |
711.25/711.74	c |   1084960 |     900    18000    90000 |    84833    78863    130 |  0.000 % |
711.35/711.84	c |   1085093 |     900    18000    90000 |    84833    78996    130 |  0.000 % |
711.44/711.97	c |   1085241 |     900    18000    90000 |    84833    79144    130 |  0.000 % |
711.54/712.09	c |   1085401 |     900    18000    90000 |    84833    79304    129 |  0.000 % |
711.74/712.22	c |   1085577 |     900    18000    90000 |    84833    79480    129 |  0.000 % |
711.84/712.39	c |   1085771 |     900    18000    90000 |    84833    79674    129 |  0.000 % |
712.04/712.56	c |   1085983 |     900    18000    90000 |    84833    79886    129 |  0.000 % |
712.24/712.73	c |   1086217 |     900    18000    90000 |    84833    80120    129 |  0.000 % |
712.44/712.92	c |   1086473 |     900    18000    90000 |    84833    80376    129 |  0.000 % |
712.64/713.15	c |   1086754 |     900    18000    90000 |    84833    80657    129 |  0.000 % |
712.84/713.38	c |   1087063 |     900    18000    90000 |    84833    80966    129 |  0.000 % |
713.14/713.66	c |   1087405 |     900    18000    90000 |    84833    81308    129 |  0.000 % |
713.44/713.96	c |   1087777 |     900    18000    90000 |    84833    81680    129 |  0.000 % |
713.74/714.25	c |   1088190 |     900    18000    90000 |    84833    82093    129 |  0.000 % |
714.04/714.58	c |   1088639 |     900    18000    90000 |    84833    82542    129 |  0.000 % |
714.43/714.94	c |   1089132 |     900    18000    90000 |    84833    83035    129 |  0.000 % |
714.83/715.34	c |   1089675 |     900    18000    90000 |    84833    83578    129 |  0.000 % |
715.33/715.83	c |   1090274 |     900    18000    90000 |    83903    84177    129 |  0.000 % |
715.83/716.32	c |   1090929 |     900    18000    90000 |    83903    73909    129 |  0.000 % |
716.23/716.77	c |   1091649 |     900    18000    90000 |    83903    74629    129 |  0.000 % |
716.74/717.29	c |   1092441 |     900    18000    90000 |    83903    75421    129 |  0.000 % |
717.33/717.83	c |   1093313 |     900    18000    90000 |    83903    76293    128 |  0.000 % |
717.94/718.46	c |   1094274 |     900    18000    90000 |    83903    77254    128 |  0.000 % |
718.63/719.12	c |   1095329 |     900    18000    90000 |    83903    78309    128 |  0.000 % |
719.43/719.91	c |   1096487 |     900    18000    90000 |    83903    79467    128 |  0.000 % |
720.23/720.74	c |   1097760 |     900    18000    90000 |    83903    80740    128 |  0.000 % |
721.14/721.70	c |   1099161 |     900    18000    90000 |    83903    82141    128 |  0.000 % |
722.33/722.85	c |   1100704 |     900    18000    90000 |    82980    74425    128 |  0.000 % |
723.53/724.02	c |   1102398 |     900    18000    90000 |    82980    76119    128 |  0.000 % |
724.63/725.15	c |   1104263 |     900    18000    90000 |    82980    77984    128 |  0.000 % |
726.03/726.52	c |   1106313 |     900    18000    90000 |    82980    80034    128 |  0.000 % |
727.53/728.10	c |   1108568 |     900    18000    90000 |    82980    82289    128 |  0.000 % |
729.23/729.74	c |   1111046 |     900    18000    90000 |    74993    68236    127 |  0.000 % |
730.83/731.35	c |   1113771 |     900    18000    90000 |    74993    70961    127 |  0.000 % |
732.63/733.20	c |   1116769 |     900    18000    90000 |    74993    73959    128 |  0.000 % |
734.83/735.31	c |   1120066 |     900    18000    90000 | 2147483647    69726    128 |  0.000 % |
737.03/737.53	c |   1123691 |     900    18000    90000 | 2147483647    73351    128 |  0.000 % |
739.53/740.04	c |   1127678 |     900    18000    90000 | 2147483647    77338    128 |  0.000 % |
742.43/742.97	c |   1132063 |     900    18000    90000 | 2147483647    81723    128 |  0.000 % |
745.82/746.32	c |   1136888 |     900    18000    90000 | 2147483647    86548    128 |  0.000 % |
749.62/750.13	c |   1142196 |     900    18000    90000 |    89662    79636    128 |  0.000 % |
753.92/754.47	c |   1148031 |     900    18000    90000 |    89662    85471    128 |  0.000 % |
758.41/758.92	c |   1154449 |     900    18000    90000 |    87441    79528    128 |  0.000 % |
763.41/763.95	c |   1161508 |     900    18000    90000 |    85080    75526    129 |  0.000 % |
768.91/769.42	c |   1169272 |     900    18000    90000 |    85080    83290    129 |  0.000 % |
775.01/775.57	c |   1177812 |     900    18000    90000 |    84018    80644    131 |  0.000 % |
782.01/782.57	c |   1187206 |     900    18000    90000 |    82834    80125    132 |  0.000 % |
789.20/789.77	c |   1197539 |     900    18000    90000 |    82919    80727    131 |  0.000 % |
789.31/789.85	c |   1197639 |     900    18000    90000 |    82919    80827    131 |  0.000 % |
789.41/789.94	c |   1197749 |     900    18000    90000 |    82919    80937    131 |  0.000 % |
789.50/790.02	c |   1197874 |     900    18000    90000 |    82919    81062    131 |  0.000 % |
789.60/790.13	c |   1198008 |     900    18000    90000 |    82919    81196    131 |  0.000 % |
789.70/790.28	c |   1198155 |     900    18000    90000 |    82919    81343    131 |  0.000 % |
789.90/790.40	c |   1198316 |     900    18000    90000 |    82919    81504    131 |  0.000 % |
790.00/790.55	c |   1198493 |     900    18000    90000 |    82919    81681    131 |  0.000 % |
790.20/790.72	c |   1198686 |     900    18000    90000 |    82919    81874    131 |  0.000 % |
790.30/790.88	c |   1198898 |     900    18000    90000 |    82919    82086    131 |  0.000 % |
790.50/791.08	c |   1199131 |     900    18000    90000 |    82919    82319    131 |  0.000 % |
790.70/791.26	c |   1199388 |     900    18000    90000 |    82919    82576    131 |  0.000 % |
790.90/791.46	c |   1199672 |     900    18000    90000 |    82919    82860    131 |  0.000 % |
791.10/791.69	c |   1199981 |     900    18000    90000 |    82919    83169    131 |  0.000 % |
791.40/791.95	c |   1200323 |     900    18000    90000 |    72854    73176    130 |  0.000 % |
791.70/792.20	c |   1200695 |     900    18000    90000 |    72854    64702    131 |  0.000 % |
791.90/792.43	c |   1201106 |     900    18000    90000 |    72854    65113    130 |  0.000 % |
792.20/792.71	c |   1201555 |     900    18000    90000 |    72854    65562    130 |  0.000 % |
792.50/793.05	c |   1202049 |     900    18000    90000 |    72854    66056    130 |  0.000 % |
792.90/793.44	c |   1202594 |     900    18000    90000 |    72854    66601    130 |  0.000 % |
793.30/793.84	c |   1203190 |     900    18000    90000 |    72854    67197    130 |  0.000 % |
793.70/794.25	c |   1203845 |     900    18000    90000 |    72854    67852    130 |  0.000 % |
794.11/794.69	c |   1204566 |     900    18000    90000 |    72854    68573    130 |  0.000 % |
794.61/795.19	c |   1205359 |     900    18000    90000 |    72854    69366    130 |  0.000 % |
795.21/795.75	c |   1206232 |     900    18000    90000 |    72854    70239    130 |  0.000 % |
795.80/796.35	c |   1207190 |     900    18000    90000 |    72854    71197    130 |  0.000 % |
796.50/797.03	c |   1208244 |     900    18000    90000 |    72854    72251    130 |  0.000 % |
797.20/797.77	c |   1209402 |     900    18000    90000 |    72854    66094    130 |  0.000 % |
798.00/798.50	c |   1210679 |     900    18000    90000 | 2147483647    67371    130 |  0.000 % |
798.80/799.36	c |   1212079 |     900    18000    90000 | 2147483647    68771    130 |  0.000 % |
799.80/800.32	c |   1213621 |     900    18000    90000 | 2147483647    70313    130 |  0.000 % |
800.90/801.40	c |   1215315 |     900    18000    90000 | 2147483647    72007    130 |  0.000 % |
802.00/802.54	c |   1217179 |     900    18000    90000 | 2147483647    73871    130 |  0.000 % |
803.20/803.71	c |   1219228 |     900    18000    90000 | 2147483647    75920    130 |  0.000 % |
804.60/805.12	c |   1221482 |     900    18000    90000 | 2147483647    78174    130 |  0.000 % |
806.00/806.59	c |   1223960 |     900    18000    90000 | 2147483647    80652    129 |  0.000 % |
807.80/808.34	c |   1226686 |     900    18000    90000 | 2147483647    83378    130 |  0.000 % |
809.69/810.29	c |   1229683 |     900    18000    90000 | 2147483647    86375    130 |  0.000 % |
812.19/812.71	c |   1232982 |     900    18000    90000 | 2147483647    89674    130 |  0.000 % |
814.79/815.30	c |   1236608 |     900    18000    90000 | 2147483647    93300    130 |  0.000 % |
817.89/818.49	c |   1240596 |     900    18000    90000 |    96694    83439    129 |  0.000 % |
820.99/821.58	c |   1244981 |     900    18000    90000 |    96694    87824    130 |  0.000 % |
824.49/825.06	c |   1249804 |     900    18000    90000 |    96694    92647    130 |  0.000 % |
828.29/828.87	c |   1255109 |     900    18000    90000 |    92843    84343    130 |  0.000 % |
832.69/833.25	c |   1260944 |     900    18000    90000 |    89235    78105    129 |  0.000 % |
837.38/837.93	c |   1267363 |     900    18000    90000 |    89235    84524    129 |  0.000 % |
842.68/843.29	c |   1274423 |     900    18000    90000 |    87161    79859    130 |  0.000 % |
848.37/848.93	c |   1282189 |     900    18000    90000 |    85438    76895    132 |  0.000 % |
855.17/855.72	c |   1290730 |     900    18000    90000 |    84706    74314    133 |  0.000 % |
862.26/862.80	c |   1300126 |     900    18000    90000 |    83584    83710    133 |  0.000 % |
869.86/870.41	c |   1310459 |     900    18000    90000 |    83274    74273    135 |  0.000 % |
878.76/879.30	c |   1321828 |     900    18000    90000 |    74323    67606    136 |  0.000 % |
878.76/879.37	c |   1321929 |     900    18000    90000 |    74323    67707    136 |  0.000 % |
878.86/879.46	c |   1322039 |     900    18000    90000 |    74323    67817    136 |  0.000 % |
878.96/879.55	c |   1322161 |     900    18000    90000 |    74323    67939    136 |  0.000 % |
879.06/879.63	c |   1322296 |     900    18000    90000 |    74323    68074    136 |  0.000 % |
879.16/879.71	c |   1322445 |     900    18000    90000 |    74323    68223    136 |  0.000 % |
879.26/879.80	c |   1322607 |     900    18000    90000 |    74323    68385    136 |  0.000 % |
879.36/879.92	c |   1322786 |     900    18000    90000 |    74323    68564    136 |  0.000 % |
879.46/880.04	c |   1322980 |     900    18000    90000 |    74323    68758    135 |  0.000 % |
879.56/880.19	c |   1323192 |     900    18000    90000 |    74323    68970    135 |  0.000 % |
879.76/880.34	c |   1323425 |     900    18000    90000 |    74323    69203    135 |  0.000 % |
879.96/880.52	c |   1323681 |     900    18000    90000 |    74323    69459    135 |  0.000 % |
880.06/880.70	c |   1323964 |     900    18000    90000 |    74323    69742    135 |  0.000 % |
880.36/880.91	c |   1324274 |     900    18000    90000 |    74323    70052    135 |  0.000 % |
880.56/881.15	c |   1324613 |     900    18000    90000 |    74323    70391    135 |  0.000 % |
880.86/881.40	c |   1324985 |     900    18000    90000 |    74323    70763    135 |  0.000 % |
881.06/881.65	c |   1325394 |     900    18000    90000 |    74323    71172    135 |  0.000 % |
881.36/881.93	c |   1325843 |     900    18000    90000 |    74323    71621    135 |  0.000 % |
881.66/882.22	c |   1326337 |     900    18000    90000 |    74323    72115    135 |  0.000 % |
881.96/882.51	c |   1326879 |     900    18000    90000 |    74323    72657    135 |  0.000 % |
882.26/882.88	c |   1327477 |     900    18000    90000 |    74323    73255    134 |  0.000 % |
882.66/883.28	c |   1328132 |     900    18000    90000 |    74323    73910    134 |  0.000 % |
883.16/883.70	c |   1328853 |     900    18000    90000 |    74323    74631    134 |  0.000 % |
883.56/884.18	c |   1329645 |     900    18000    90000 |    74323    67960    135 |  0.000 % |
884.06/884.64	c |   1330518 |     900    18000    90000 | 2147483647    68833    135 |  0.000 % |
884.66/885.24	c |   1331477 |     900    18000    90000 | 2147483647    69792    135 |  0.000 % |
885.26/885.82	c |   1332531 |     900    18000    90000 | 2147483647    70846    135 |  0.000 % |
885.96/886.52	c |   1333690 |     900    18000    90000 | 2147483647    72005    135 |  0.000 % |
886.76/887.30	c |   1334963 |     900    18000    90000 | 2147483647    73278    135 |  0.000 % |
887.56/888.14	c |   1336363 |     900    18000    90000 | 2147483647    74678    135 |  0.000 % |
888.55/889.10	c |   1337905 |     900    18000    90000 | 2147483647    76220    134 |  0.000 % |
889.55/890.18	c |   1339599 |     900    18000    90000 | 2147483647    77914    134 |  0.000 % |
890.85/891.41	c |   1341462 |     900    18000    90000 | 2147483647    79777    134 |  0.000 % |
892.25/892.84	c |   1343512 |     900    18000    90000 | 2147483647    81827    134 |  0.000 % |
893.85/894.50	c |   1345766 |     900    18000    90000 | 2147483647    84081    133 |  0.000 % |
895.65/896.23	c |   1348244 |     900    18000    90000 | 2147483647    86559    133 |  0.000 % |
897.65/898.20	c |   1350970 |     900    18000    90000 |    88316    78088    132 |  0.000 % |
899.55/900.17	c |   1353968 |     900    18000    90000 |    88316    81086    131 |  0.000 % |
901.85/902.43	c |   1357265 |     900    18000    90000 |    88316    84383    132 |  0.000 % |
904.44/905.05	c |   1360891 |     900    18000    90000 |    87121    77492    132 |  0.000 % |
907.24/907.80	c |   1364878 |     900    18000    90000 |    87121    81479    132 |  0.000 % |
910.35/910.94	c |   1369263 |     900    18000    90000 |    87121    85864    132 |  0.000 % |
913.74/914.33	c |   1374086 |     900    18000    90000 |    86602    79966    130 |  0.000 % |
917.14/917.79	c |   1379392 |     900    18000    90000 |    86602    85272    130 |  0.000 % |
921.34/921.92	c |   1385228 |     900    18000    90000 |    85880    80236    129 |  0.000 % |
925.74/926.35	c |   1391648 |     900    18000    90000 |    85008    76287    128 |  0.000 % |
930.74/931.31	c |   1398708 |     900    18000    90000 |    85008    83347    128 |  0.000 % |
936.13/936.76	c |   1406475 |     900    18000    90000 |    84639    80773    129 |  0.000 % |
942.53/943.16	c |   1415016 |     900    18000    90000 |    84298    79489    131 |  0.000 % |
948.53/949.15	c |   1424410 |     900    18000    90000 |    84473    78407    132 |  0.000 % |
955.52/956.15	c |   1434743 |     900    18000    90000 |    83997    78224    133 |  0.000 % |
963.82/964.47	c |   1446110 |     900    18000    90000 |    83481    78314    134 |  0.000 % |
972.72/973.37	c |   1458612 |     900    18000    90000 |    82205    79473    137 |  0.000 % |
972.82/973.45	c |   1458712 |     900    18000    90000 |    82205    79573    137 |  0.000 % |
972.92/973.54	c |   1458823 |     900    18000    90000 |    82205    79684    137 |  0.000 % |
973.02/973.64	c |   1458944 |     900    18000    90000 |    82205    79805    137 |  0.000 % |
973.12/973.77	c |   1459079 |     900    18000    90000 |    82205    79940    136 |  0.000 % |
973.32/973.90	c |   1459227 |     900    18000    90000 |    82205    80088    136 |  0.000 % |
973.42/974.04	c |   1459389 |     900    18000    90000 |    82205    80250    136 |  0.000 % |
973.52/974.18	c |   1459565 |     900    18000    90000 |    82205    80426    136 |  0.000 % |
973.72/974.35	c |   1459759 |     900    18000    90000 |    82205    80620    136 |  0.000 % |
973.92/974.51	c |   1459973 |     900    18000    90000 |    82205    80834    136 |  0.000 % |
974.02/974.67	c |   1460207 |     900    18000    90000 |    80862    81068    136 |  0.000 % |
974.32/974.91	c |   1460463 |     900    18000    90000 |    80862    70921    136 |  0.000 % |
974.42/975.08	c |   1460745 |     900    18000    90000 |    80862    71203    136 |  0.000 % |
974.62/975.27	c |   1461054 |     900    18000    90000 |    80862    71512    136 |  0.000 % |
974.92/975.53	c |   1461393 |     900    18000    90000 |    80862    71851    136 |  0.000 % |
975.22/975.81	c |   1461768 |     900    18000    90000 |    80862    72226    136 |  0.000 % |
975.51/976.12	c |   1462177 |     900    18000    90000 |    80862    72635    136 |  0.000 % |
975.81/976.43	c |   1462627 |     900    18000    90000 |    80862    73085    136 |  0.000 % |
976.11/976.75	c |   1463120 |     900    18000    90000 |    80862    73578    136 |  0.000 % |
976.51/977.12	c |   1463663 |     900    18000    90000 |    80862    74121    135 |  0.000 % |
976.91/977.54	c |   1464260 |     900    18000    90000 |    80862    74718    135 |  0.000 % |
977.32/977.98	c |   1464915 |     900    18000    90000 |    80862    75373    135 |  0.000 % |
977.82/978.43	c |   1465635 |     900    18000    90000 |    80862    76093    135 |  0.000 % |
978.31/978.93	c |   1466427 |     900    18000    90000 |    80862    76885    135 |  0.000 % |
978.81/979.48	c |   1467299 |     900    18000    90000 |    80862    77757    135 |  0.000 % |
979.41/980.06	c |   1468258 |     900    18000    90000 |    80862    78716    135 |  0.000 % |
980.11/980.72	c |   1469312 |     900    18000    90000 |    80862    79770    135 |  0.000 % |
980.91/981.55	c |   1470471 |     900    18000    90000 |    80458    72704    135 |  0.000 % |
981.71/982.32	c |   1471746 |     900    18000    90000 |    80458    73979    134 |  0.000 % |
982.51/983.18	c |   1473146 |     900    18000    90000 |    80458    75379    134 |  0.000 % |
983.51/984.14	c |   1474688 |     900    18000    90000 |    80458    76921    134 |  0.000 % |
984.61/985.21	c |   1476382 |     900    18000    90000 |    80458    78615    134 |  0.000 % |
985.81/986.40	c |   1478248 |     900    18000    90000 |    80458    80481    134 |  0.000 % |
987.00/987.66	c |   1480302 |     900    18000    90000 | 2147483647    74487    133 |  0.000 % |
988.50/989.19	c |   1482555 |     900    18000    90000 | 2147483647    76740    133 |  0.000 % |
990.30/990.95	c |   1485033 |     900    18000    90000 | 2147483647    79218    133 |  0.000 % |
992.20/992.89	c |   1487759 |     900    18000    90000 | 2147483647    81944    133 |  0.000 % |
994.50/995.14	c |   1490756 |     900    18000    90000 |    84186    74650    132 |  0.000 % |
996.70/997.37	c |   1494053 |     900    18000    90000 |    84186    77947    132 |  0.000 % |
999.20/999.86	c |   1497678 |     900    18000    90000 |    84186    81572    132 |  0.000 % |
1001.90/1002.52	c |   1501666 |     900    18000    90000 |    83894    76193    132 |  0.000 % |
1005.00/1005.66	c |   1506052 |     900    18000    90000 |    83894    80579    132 |  0.000 % |
1008.30/1008.92	c |   1510875 |     900    18000    90000 |    74834    67386    129 |  0.000 % |
1011.50/1012.13	c |   1516180 |     900    18000    90000 |    74834    72691    130 |  0.000 % |
1015.10/1015.79	c |   1522015 |     900    18000    90000 | 2147483647    71010    130 |  0.000 % |
1019.00/1019.70	c |   1528433 |     900    18000    90000 | 2147483647    77428    129 |  0.000 % |
1023.99/1024.68	c |   1535492 |     900    18000    90000 | 2147483647    84487    130 |  0.000 % |
1029.49/1030.19	c |   1543258 |     900    18000    90000 |    88995    80208    130 |  0.000 % |
1035.69/1036.37	c |   1551798 |     900    18000    90000 |    86951    77100    131 |  0.000 % |
1042.98/1043.67	c |   1561192 |     900    18000    90000 |    85302    75587    133 |  0.000 % |
1051.08/1051.70	c |   1571526 |     900    18000    90000 |    84399    74975    133 |  0.000 % |
1058.47/1059.14	c |   1582892 |     900    18000    90000 |    83449    75146    133 |  0.000 % |
1067.17/1067.84	c |   1595394 |     900    18000    90000 |    82256    77807    134 |  0.000 % |
1077.46/1078.13	c |   1609147 |     900    18000    90000 |    82415    81200    134 |  0.000 % |
1077.56/1078.21	c |   1609248 |     900    18000    90000 |    82415    81301    134 |  0.000 % |
1077.66/1078.31	c |   1609363 |     900    18000    90000 |    82415    81416    134 |  0.000 % |
1077.76/1078.43	c |   1609485 |     900    18000    90000 |    82415    81538    134 |  0.000 % |
1077.86/1078.53	c |   1609618 |     900    18000    90000 |    82415    81671    134 |  0.000 % |
1077.96/1078.65	c |   1609764 |     900    18000    90000 |    82415    81817    134 |  0.000 % |
1078.06/1078.77	c |   1609926 |     900    18000    90000 |    82415    81979    134 |  0.000 % |
1078.26/1078.90	c |   1610103 |     900    18000    90000 |    82053    82156    134 |  0.000 % |
1078.36/1079.08	c |   1610296 |     900    18000    90000 |    82053    72088    134 |  0.000 % |
1078.56/1079.23	c |   1610508 |     900    18000    90000 |    82053    72300    134 |  0.000 % |
1078.76/1079.40	c |   1610745 |     900    18000    90000 |    82053    72537    134 |  0.000 % |
1078.86/1079.57	c |   1611003 |     900    18000    90000 |    82053    72795    134 |  0.000 % |
1079.16/1079.80	c |   1611285 |     900    18000    90000 |    82053    73077    134 |  0.000 % |
1079.36/1080.02	c |   1611596 |     900    18000    90000 |    82053    73388    134 |  0.000 % |
1079.56/1080.29	c |   1611935 |     900    18000    90000 |    82053    73727    133 |  0.000 % |
1079.86/1080.59	c |   1612307 |     900    18000    90000 |    82053    74099    133 |  0.000 % |
1080.16/1080.88	c |   1612717 |     900    18000    90000 |    82053    74509    133 |  0.000 % |
1080.46/1081.17	c |   1613167 |     900    18000    90000 |    82053    74959    133 |  0.000 % |
1080.86/1081.55	c |   1613660 |     900    18000    90000 |    82053    75452    133 |  0.000 % |
1081.26/1081.90	c |   1614202 |     900    18000    90000 |    82053    75994    133 |  0.000 % |
1081.56/1082.28	c |   1614799 |     900    18000    90000 |    82053    76591    133 |  0.000 % |
1081.96/1082.69	c |   1615455 |     900    18000    90000 |    82053    77247    133 |  0.000 % |
1082.46/1083.16	c |   1616175 |     900    18000    90000 |    82053    77967    133 |  0.000 % |
1082.96/1083.64	c |   1616968 |     900    18000    90000 |    82053    78760    133 |  0.000 % |
1083.56/1084.23	c |   1617839 |     900    18000    90000 |    82053    79631    132 |  0.000 % |
1084.16/1084.86	c |   1618797 |     900    18000    90000 |    82053    80589    132 |  0.000 % |
1084.86/1085.56	c |   1619850 |     900    18000    90000 |    82053    81642    132 |  0.000 % |
1085.65/1086.34	c |   1621008 |     900    18000    90000 |    81793    73822    132 |  0.000 % |
1086.55/1087.23	c |   1622281 |     900    18000    90000 |    81793    75095    132 |  0.000 % |
1087.45/1088.10	c |   1623682 |     900    18000    90000 |    81793    76496    132 |  0.000 % |
1088.36/1089.09	c |   1625223 |     900    18000    90000 |    81793    78037    131 |  0.000 % |
1089.36/1090.09	c |   1626919 |     900    18000    90000 |    81793    79733    131 |  0.000 % |
1090.66/1091.31	c |   1628783 |     900    18000    90000 |    81793    81597    131 |  0.000 % |
1091.85/1092.55	c |   1630832 |     900    18000    90000 | 2147483647    75434    131 |  0.000 % |
1093.25/1093.91	c |   1633086 |     900    18000    90000 | 2147483647    77688    131 |  0.000 % |
1094.95/1095.62	c |   1635564 |     900    18000    90000 | 2147483647    80166    130 |  0.000 % |
1096.95/1097.62	c |   1638289 |     900    18000    90000 | 2147483647    82891    130 |  0.000 % |
1099.05/1099.77	c |   1641286 |     900    18000    90000 |    84603    76550    130 |  0.000 % |
1101.25/1101.99	c |   1644583 |     900    18000    90000 |    84603    79847    130 |  0.000 % |
1103.65/1104.39	c |   1648208 |     900    18000    90000 |    84603    83472    130 |  0.000 % |
1106.25/1106.94	c |   1652196 |     900    18000    90000 |    75537    69210    128 |  0.000 % |
1109.05/1109.78	c |   1656583 |     900    18000    90000 |    75537    73597    129 |  0.000 % |
1112.14/1112.88	c |   1661406 |     900    18000    90000 | 2147483647    70835    127 |  0.000 % |
1115.64/1116.32	c |   1666713 |     900    18000    90000 | 2147483647    76142    127 |  0.000 % |
1119.74/1120.48	c |   1672548 |     900    18000    90000 | 2147483647    81977    128 |  0.000 % |
1124.53/1125.27	c |   1678966 |     900    18000    90000 | 2147483647    88395    128 |  0.000 % |
1129.53/1130.26	c |   1686025 |     900    18000    90000 |    89430    83135    127 |  0.000 % |
1135.13/1135.87	c |   1693789 |     900    18000    90000 |    87111    79260    128 |  0.000 % |
1141.33/1142.08	c |   1702329 |     900    18000    90000 |    85472    76206    129 |  0.000 % |
1148.23/1148.96	c |   1711724 |     900    18000    90000 |    83878    74483    130 |  0.000 % |
1155.82/1156.53	c |   1722058 |     900    18000    90000 |    82759    74274    130 |  0.000 % |
1163.72/1164.46	c |   1733424 |     900    18000    90000 |    82217    74307    130 |  0.000 % |
1172.22/1172.94	c |   1745926 |     900    18000    90000 |    80883    76470    129 |  0.000 % |
1182.21/1182.92	c |   1759680 |     900    18000    90000 |    80544    80694    130 |  0.000 % |
1194.01/1194.72	c |   1774808 |     900    18000    90000 | 2147483647    70591    133 |  0.000 % |
1194.11/1194.81	c |   1774908 |     900    18000    90000 | 2147483647    70691    133 |  0.000 % |
1194.11/1194.89	c |   1775019 |     900    18000    90000 | 2147483647    70802    133 |  0.000 % |
1194.31/1195.00	c |   1775142 |     900    18000    90000 | 2147483647    70925    133 |  0.000 % |
1194.31/1195.08	c |   1775276 |     900    18000    90000 | 2147483647    71059    133 |  0.000 % |
1194.41/1195.19	c |   1775424 |     900    18000    90000 | 2147483647    71207    133 |  0.000 % |
1194.61/1195.30	c |   1775584 |     900    18000    90000 | 2147483647    71367    133 |  0.000 % |
1194.71/1195.43	c |   1775760 |     900    18000    90000 | 2147483647    71543    133 |  0.000 % |
1194.81/1195.57	c |   1775954 |     900    18000    90000 | 2147483647    71737    133 |  0.000 % |
1195.01/1195.71	c |   1776167 |     900    18000    90000 | 2147483647    71950    133 |  0.000 % |
1195.11/1195.85	c |   1776404 |     900    18000    90000 | 2147483647    72187    132 |  0.000 % |
1195.31/1196.03	c |   1776661 |     900    18000    90000 | 2147483647    72444    132 |  0.000 % |
1195.51/1196.21	c |   1776942 |     900    18000    90000 | 2147483647    72725    132 |  0.000 % |
1195.71/1196.42	c |   1777253 |     900    18000    90000 | 2147483647    73036    132 |  0.000 % |
1195.91/1196.62	c |   1777595 |     900    18000    90000 | 2147483647    73378    132 |  0.000 % |
1196.11/1196.89	c |   1777967 |     900    18000    90000 | 2147483647    73750    132 |  0.000 % |
1196.41/1197.18	c |   1778376 |     900    18000    90000 | 2147483647    74159    132 |  0.000 % |
1196.71/1197.49	c |   1778825 |     900    18000    90000 | 2147483647    74608    132 |  0.000 % |
1197.11/1197.81	c |   1779318 |     900    18000    90000 | 2147483647    75101    132 |  0.000 % |
1197.41/1198.16	c |   1779862 |     900    18000    90000 | 2147483647    75645    132 |  0.000 % |
1197.91/1198.60	c |   1780462 |     900    18000    90000 |    75785    67902    132 |  0.000 % |
1198.21/1198.97	c |   1781117 |     900    18000    90000 |    75785    68557    132 |  0.000 % |
1198.71/1199.41	c |   1781839 |     900    18000    90000 |    75785    69279    132 |  0.000 % |
1199.11/1199.89	c |   1782631 |     900    18000    90000 |    75785    70071    132 |  0.000 % |
1199.71/1200.41	c |   1783502 |     900    18000    90000 |    75785    70942    132 |  0.000 % |

Verifier Data

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

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832511-1242774000/watcher-1832511-1242774000 -o /tmp/evaluation-result-1832511-1242774000/solver-1832511-1242774000 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832511-1242774000.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 11425
/proc/meminfo: memFree=1923848/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0
/proc/11425/stat : 11425 (SatELiteGTI) R 11423 11425 11168 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 305433647 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262909891293 0 0 4100 65536 0 0 0 17 0 0 0
/proc/11425/statm: 1339 237 197 169 0 50 0

[startup+0.102047 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11425
/proc/meminfo: memFree=1923848/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.201056 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11425
/proc/meminfo: memFree=1923848/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301068 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11425
/proc/meminfo: memFree=1923848/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701115 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11425
/proc/meminfo: memFree=1923848/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11431
/proc/meminfo: memFree=1918584/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=6584 CPUtime=1.43
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 1392 0 0 0 143 0 0 0 25 0 1 0 305433652 6742016 1378 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 1646 1378 77 171 0 1473 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11940

[startup+3.1024 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11431
/proc/meminfo: memFree=1915576/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=11072 CPUtime=3.03
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 2513 0 0 0 302 1 0 0 25 0 1 0 305433652 11337728 2499 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 2768 2499 77 171 0 2595 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16428

[startup+6.30177 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11431
/proc/meminfo: memFree=1908152/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=17492 CPUtime=6.23
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 4107 0 0 0 620 3 0 0 25 0 1 0 305433652 17911808 4093 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 4373 4093 77 171 0 4200 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 22848

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11431
/proc/meminfo: memFree=1898616/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=26152 CPUtime=12.62
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 6276 0 0 0 1257 5 0 0 25 0 1 0 305433652 26779648 6262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 6538 6262 77 171 0 6365 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31508

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11431
/proc/meminfo: memFree=1885816/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=38548 CPUtime=25.41
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 9377 0 0 0 2533 8 0 0 25 0 1 0 305433652 39473152 9363 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 9637 9363 77 171 0 9464 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 43904

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11431
/proc/meminfo: memFree=1877624/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=46468 CPUtime=50.99
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 11349 0 0 0 5088 11 0 0 25 0 1 0 305433652 47583232 11335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 11617 11335 77 171 0 11444 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 51824

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1876152/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=47776 CPUtime=102.16
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 11680 0 0 0 10205 11 0 0 25 0 1 0 305433652 48922624 11666 1992294400 134512640 135215339 4294956240 18446744073709551615 134539449 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 11944 11666 77 171 0 11771 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 53132

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1873720/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=50020 CPUtime=162.12
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 12246 0 0 0 16199 13 0 0 25 0 1 0 305433652 51220480 12232 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 12505 12232 77 171 0 12332 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 55376

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1872696/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=50944 CPUtime=222.09
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 12488 0 0 0 22196 13 0 0 25 0 1 0 305433652 52166656 12474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 12736 12474 77 171 0 12563 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 56300

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1872376/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=51208 CPUtime=282.05
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 12550 0 0 0 28192 13 0 0 25 0 1 0 305433652 52436992 12536 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 12802 12536 77 171 0 12629 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 56564

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1872184/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=51208 CPUtime=342.01
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 12550 0 0 0 34188 13 0 0 25 0 1 0 305433652 52436992 12536 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 12802 12536 77 171 0 12629 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 56564

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1872184/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=51200 CPUtime=401.96
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 12550 0 0 0 40183 13 0 0 25 0 1 0 305433652 52428800 12536 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 12800 12536 77 171 0 12627 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 56556

[startup+462.302 s]

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

/proc/11431/statm: 13196 12928 77 171 0 13023 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 58140

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1867512/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=55656 CPUtime=581.87
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 13629 0 0 0 58172 15 0 0 25 0 1 0 305433652 56991744 13612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 13914 13612 77 171 0 13741 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 61012

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1867448/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=55656 CPUtime=641.83
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 13629 0 0 0 64168 15 0 0 25 0 1 0 305433652 56991744 13612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 13914 13612 77 171 0 13741 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 61012

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1867320/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=55472 CPUtime=701.81
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 13629 0 0 0 70166 15 0 0 25 0 1 0 305433652 56803328 13576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 13868 13576 77 171 0 13695 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 60828

[startup+762.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1867192/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=55416 CPUtime=761.78
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 13629 0 0 0 76163 15 0 0 25 0 1 0 305433652 56745984 13562 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 13854 13562 77 171 0 13681 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 60772

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1863608/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=59112 CPUtime=821.75
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 14551 0 0 0 82158 17 0 0 25 0 1 0 305433652 60530688 14484 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 14778 14484 77 171 0 14605 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 64468

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1863544/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=59112 CPUtime=881.72
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 14552 0 0 0 88155 17 0 0 25 0 1 0 305433652 60530688 14485 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 14778 14485 77 171 0 14605 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 64468

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1863416/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=59112 CPUtime=941.69
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 14552 0 0 0 94152 17 0 0 25 0 1 0 305433652 60530688 14485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 14778 14485 77 171 0 14605 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 64468

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1863352/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=59112 CPUtime=1001.66
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 14552 0 0 0 100149 17 0 0 25 0 1 0 305433652 60530688 14485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 14778 14485 77 171 0 14605 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 64468

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1863288/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=59112 CPUtime=1061.63
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 14552 0 0 0 106146 17 0 0 25 0 1 0 305433652 60530688 14485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 14778 14485 77 171 0 14605 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 64468

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1863224/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=59112 CPUtime=1121.6
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 14552 0 0 0 112143 17 0 0 25 0 1 0 305433652 60530688 14485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 14778 14485 77 171 0 14605 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 64468

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1863096/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=59112 CPUtime=1181.57
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 14552 0 0 0 118140 17 0 0 25 0 1 0 305433652 60530688 14485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 14778 14485 77 171 0 14605 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 64468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11437
/proc/meminfo: memFree=1863096/2055920 swapFree=4180396/4192956
[pid=11425] ppid=11423 vsize=5356 CPUtime=0.04
/proc/11425/stat : 11425 (SatELiteGTI) S 11423 11425 11168 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 305433647 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11425/statm: 1339 239 197 169 0 50 0
[pid=11431] ppid=11425 vsize=59112 CPUtime=1199.97
/proc/11431/stat : 11431 (minisat_static) R 11425 11425 11168 0 -1 4194304 14552 0 0 0 119980 17 0 0 25 0 1 0 305433652 60530688 14485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11431/statm: 14778 14485 77 171 0 14605 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 64468

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.71
CPU time (s): 1200.01
CPU user time (s): 1199.84
CPU system time (s): 0.17
CPU usage (%): 99.9414
Max. virtual memory (cumulated for all children) (KiB): 64468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.046992
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1066
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= 12
involuntary context switches= 9

runsolver used 0.959854 second user time and 3.53846 second system time

The end

Launcher Data

Begin job on node11 at 2009-05-20 01:00:00
IDJOB=1832511
IDBENCH=70219
IDSOLVER=671
FILE ID=node11/1832511-1242774000
PBS_JOBID= 9322287
Free space on /tmp= 66352 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S1788451776-008.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832511-1242774000/watcher-1832511-1242774000 -o /tmp/evaluation-result-1832511-1242774000/solver-1832511-1242774000 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832511-1242774000.cnf

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

MD5SUM BENCH= 753f19bcdc2785a101dbb1ac96d61ec5
RANDOM SEED=417235577

node11.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.214
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.214
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:       1924328 kB
Buffers:         15644 kB
Cached:          80508 kB
SwapCached:       6664 kB
Active:          57912 kB
Inactive:        46448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1924328 kB
SwapTotal:     4192956 kB
SwapFree:      4180396 kB
Dirty:            2008 kB
Writeback:           0 kB
Mapped:          13468 kB
Slab:            13248 kB
Committed_AS:  1066968 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66352 MiB
End job on node11 at 2009-05-20 01:20:03