Trace number 1832503

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.05 1200.61

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
MD5SUM445a4153e94b03b5b26d24042b03c5d7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark365.418
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.018997 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.07	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 |       101 |     900    18000    90000 |     6000      101    116 |  0.000 % |
0.00/0.09	c |       201 |     900    18000    90000 |     6000      201    115 |  0.000 % |
0.04/0.10	c |       301 |     900    18000    90000 |     6000      301    114 |  0.000 % |
0.04/0.11	c |       411 |     900    18000    90000 |     6000      411    114 |  0.000 % |
0.04/0.12	c |       513 |     900    18000    90000 |     6000      513    115 |  0.000 % |
0.04/0.13	c |       625 |     900    18000    90000 |     6000      625    114 |  0.000 % |
0.04/0.15	c |       746 |     900    18000    90000 |     6000      746    113 |  0.000 % |
0.04/0.16	c |       846 |     900    18000    90000 |     6000      846    114 |  0.000 % |
0.04/0.17	c |       957 |     900    18000    90000 |     6000      957    115 |  0.000 % |
0.04/0.18	c |      1078 |     900    18000    90000 |     6000     1078    113 |  0.000 % |
0.04/0.19	c |      1211 |     900    18000    90000 |     6000     1211    114 |  0.000 % |
0.04/0.21	c |      1314 |     900    18000    90000 |     6000     1314    112 |  0.000 % |
0.04/0.22	c |      1424 |     900    18000    90000 |     6000     1424    112 |  0.000 % |
0.04/0.23	c |      1545 |     900    18000    90000 |     6000     1545    112 |  0.000 % |
0.04/0.24	c |      1680 |     900    18000    90000 |     6000     1680    112 |  0.000 % |
0.04/0.26	c |      1827 |     900    18000    90000 |     6000     1827    112 |  0.000 % |
0.04/0.27	c |      1927 |     900    18000    90000 |     6000     1927    112 |  0.000 % |
0.04/0.28	c |      2037 |     900    18000    90000 |     6000     2037    112 |  0.000 % |
0.04/0.30	c |      2158 |     900    18000    90000 |     6000     2158    112 |  0.000 % |
0.04/0.31	c |      2291 |     900    18000    90000 |     6000     2291    112 |  0.000 % |
0.04/0.33	c |      2438 |     900    18000    90000 |     6000     2438    113 |  0.000 % |
0.04/0.35	c |      2598 |     900    18000    90000 |     6000     2598    113 |  0.000 % |
0.04/0.36	c |      2700 |     900    18000    90000 |     6000     2700    112 |  0.000 % |
0.04/0.37	c |      2811 |     900    18000    90000 |     6000     2811    113 |  0.000 % |
0.04/0.38	c |      2933 |     900    18000    90000 |     6000     2933    112 |  0.000 % |
0.04/0.40	c |      3069 |     900    18000    90000 |     6000     3069    112 |  0.000 % |
0.04/0.42	c |      3217 |     900    18000    90000 |     6000     3217    112 |  0.000 % |
0.04/0.43	c |      3377 |     900    18000    90000 |     6000     3377    112 |  0.000 % |
0.04/0.45	c |      3554 |     900    18000    90000 |     6000     3554    112 |  0.000 % |
0.04/0.47	c |      3655 |     900    18000    90000 |     6000     3655    112 |  0.000 % |
0.04/0.48	c |      3766 |     900    18000    90000 |     6000     3766    112 |  0.000 % |
0.04/0.49	c |      3888 |     900    18000    90000 |     6000     3888    112 |  0.000 % |
0.04/0.51	c |      4021 |     900    18000    90000 |     6000     4021    113 |  0.000 % |
0.04/0.53	c |      4170 |     900    18000    90000 |     6000     4170    112 |  0.000 % |
0.04/0.55	c |      4333 |     900    18000    90000 |     6000     4333    112 |  0.000 % |
0.04/0.57	c |      4509 |     900    18000    90000 |     6000     4509    113 |  0.000 % |
0.04/0.60	c |      4704 |     900    18000    90000 |     6000     4704    113 |  0.000 % |
0.04/0.61	c |      4807 |     900    18000    90000 |     6000     4807    113 |  0.000 % |
0.04/0.62	c |      4917 |     900    18000    90000 |     6000     4917    112 |  0.000 % |
0.04/0.64	c |      5039 |     900    18000    90000 |     6000     5039    113 |  0.000 % |
0.04/0.66	c |      5173 |     900    18000    90000 |     6000     5173    112 |  0.000 % |
0.04/0.68	c |      5319 |     900    18000    90000 |     6000     5319    113 |  0.000 % |
0.04/0.70	c |      5479 |     900    18000    90000 |     6000     5479    113 |  0.000 % |
0.04/0.72	c |      5656 |     900    18000    90000 |     6000     5656    113 |  0.000 % |
0.04/0.74	c |      5849 |     900    18000    90000 |     6000     5849    113 |  0.000 % |
0.04/0.77	c |      6063 |     900    18000    90000 |     6000     6063    114 |  0.000 % |
0.04/0.79	c |      6167 |     900    18000    90000 |     6000     5561    112 |  0.000 % |
0.04/0.80	c |      6277 |     900    18000    90000 |     6000     5671    112 |  0.000 % |
0.04/0.82	c |      6398 |     900    18000    90000 |     6000     5792    112 |  0.000 % |
0.04/0.83	c |      6531 |     900    18000    90000 |     6000     5925    112 |  0.000 % |
0.04/0.85	c |      6677 |     900    18000    90000 |     6000     6071    112 |  0.000 % |
0.04/0.87	c |      6837 |     900    18000    90000 |     6000     5624    112 |  0.000 % |
0.04/0.90	c |      7014 |     900    18000    90000 |     6000     5801    112 |  0.000 % |
0.04/0.92	c |      7208 |     900    18000    90000 |     6000     5995    112 |  0.000 % |
0.04/0.95	c |      7421 |     900    18000    90000 |     6000     6208    113 |  0.000 % |
0.04/0.99	c |      7657 |     900    18000    90000 |     6000     5824    113 |  0.000 % |
0.97/1.00	c |      7757 |     900    18000    90000 |     6000     5924    113 |  0.000 % |
0.97/1.02	c |      7867 |     900    18000    90000 |     6000     6034    113 |  0.000 % |
0.97/1.04	c |      7992 |     900    18000    90000 |     6000     5556    112 |  0.000 % |
0.97/1.06	c |      8125 |     900    18000    90000 |     6000     5689    113 |  0.000 % |
0.97/1.08	c |      8271 |     900    18000    90000 |     6000     5835    112 |  0.000 % |
0.97/1.10	c |      8431 |     900    18000    90000 |     6000     5995    112 |  0.000 % |
1.07/1.12	c |      8608 |     900    18000    90000 |     6000     6172    112 |  0.000 % |
1.07/1.15	c |      8802 |     900    18000    90000 |     6000     5749    112 |  0.000 % |
1.07/1.18	c |      9017 |     900    18000    90000 |     6000     5964    112 |  0.000 % |
1.17/1.21	c |      9254 |     900    18000    90000 |     6000     6201    112 |  0.000 % |
1.17/1.25	c |      9511 |     900    18000    90000 |     6000     5838    113 |  0.000 % |
1.17/1.27	c |      9612 |     900    18000    90000 |     6000     5939    113 |  0.000 % |
1.17/1.28	c |      9724 |     900    18000    90000 |     6000     6051    113 |  0.000 % |
1.27/1.30	c |      9847 |     900    18000    90000 |     6000     5569    112 |  0.000 % |
1.27/1.32	c |      9981 |     900    18000    90000 |     6000     5703    112 |  0.000 % |
1.27/1.34	c |     10127 |     900    18000    90000 | 2147483647     5849    112 |  0.000 % |
1.27/1.36	c |     10288 |     900    18000    90000 | 2147483647     6010    112 |  0.000 % |
1.27/1.38	c |     10466 |     900    18000    90000 | 2147483647     6188    112 |  0.000 % |
1.37/1.41	c |     10659 |     900    18000    90000 | 2147483647     6381    113 |  0.000 % |
1.37/1.44	c |     10872 |     900    18000    90000 | 2147483647     6594    112 |  0.000 % |
1.37/1.47	c |     11105 |     900    18000    90000 | 2147483647     6827    112 |  0.000 % |
1.47/1.51	c |     11362 |     900    18000    90000 | 2147483647     7084    113 |  0.000 % |
1.47/1.55	c |     11644 |     900    18000    90000 | 2147483647     7366    113 |  0.000 % |
1.47/1.56	c |     11744 |     900    18000    90000 | 2147483647     7466    113 |  0.000 % |
1.47/1.58	c |     11855 |     900    18000    90000 | 2147483647     7577    113 |  0.000 % |
1.47/1.60	c |     11976 |     900    18000    90000 | 2147483647     7698    113 |  0.000 % |
1.57/1.62	c |     12110 |     900    18000    90000 | 2147483647     7832    113 |  0.000 % |
1.57/1.64	c |     12256 |     900    18000    90000 | 2147483647     7978    113 |  0.000 % |
1.57/1.66	c |     12417 |     900    18000    90000 | 2147483647     8139    113 |  0.000 % |
1.57/1.69	c |     12593 |     900    18000    90000 | 2147483647     8315    113 |  0.000 % |
1.67/1.72	c |     12788 |     900    18000    90000 | 2147483647     8510    113 |  0.000 % |
1.67/1.76	c |     13001 |     900    18000    90000 | 2147483647     8723    113 |  0.000 % |
1.67/1.80	c |     13234 |     900    18000    90000 | 2147483647     8956    113 |  0.000 % |
1.77/1.84	c |     13490 |     900    18000    90000 | 2147483647     9212    113 |  0.000 % |
1.77/1.88	c |     13772 |     900    18000    90000 | 2147483647     9494    113 |  0.000 % |
1.87/1.93	c |     14082 |     900    18000    90000 | 2147483647     9804    113 |  0.000 % |
1.87/1.95	c |     14184 |     900    18000    90000 | 2147483647     9906    113 |  0.000 % |
1.87/1.97	c |     14295 |     900    18000    90000 | 2147483647    10017    113 |  0.000 % |
1.87/1.99	c |     14416 |     900    18000    90000 | 2147483647    10138    113 |  0.000 % |
1.97/2.01	c |     14549 |     900    18000    90000 | 2147483647    10271    113 |  0.000 % |
1.97/2.04	c |     14698 |     900    18000    90000 | 2147483647    10420    113 |  0.000 % |
1.97/2.07	c |     14858 |     900    18000    90000 | 2147483647    10580    113 |  0.000 % |
1.97/2.10	c |     15037 |     900    18000    90000 | 2147483647    10759    113 |  0.000 % |
2.07/2.13	c |     15230 |     900    18000    90000 | 2147483647    10952    113 |  0.000 % |
2.07/2.17	c |     15444 |     900    18000    90000 | 2147483647    11166    114 |  0.000 % |
2.17/2.21	c |     15680 |     900    18000    90000 | 2147483647    11402    113 |  0.000 % |
2.17/2.25	c |     15938 |     900    18000    90000 | 2147483647    11660    114 |  0.000 % |
2.17/2.30	c |     16220 |     900    18000    90000 | 2147483647    11942    114 |  0.000 % |
2.26/2.35	c |     16530 |     900    18000    90000 | 2147483647    12252    114 |  0.000 % |
2.36/2.41	c |     16869 |     900    18000    90000 | 2147483647    12591    114 |  0.000 % |
2.36/2.43	c |     16970 |     900    18000    90000 | 2147483647    12692    114 |  0.000 % |
2.36/2.45	c |     17081 |     900    18000    90000 | 2147483647    12803    114 |  0.000 % |
2.36/2.48	c |     17202 |     900    18000    90000 | 2147483647    12924    114 |  0.000 % |
2.46/2.50	c |     17337 |     900    18000    90000 | 2147483647    13059    113 |  0.000 % |
2.46/2.53	c |     17485 |     900    18000    90000 | 2147483647    13207    113 |  0.000 % |
2.46/2.56	c |     17645 |     900    18000    90000 | 2147483647    13367    113 |  0.000 % |
2.56/2.60	c |     17822 |     900    18000    90000 | 2147483647    13544    113 |  0.000 % |
2.56/2.63	c |     18015 |     900    18000    90000 | 2147483647    13737    114 |  0.000 % |
2.56/2.68	c |     18228 |     900    18000    90000 | 2147483647    13950    114 |  0.000 % |
2.66/2.72	c |     18462 |     900    18000    90000 | 2147483647    14184    114 |  0.000 % |
2.66/2.77	c |     18719 |     900    18000    90000 | 2147483647    14441    113 |  0.000 % |
2.76/2.82	c |     19000 |     900    18000    90000 | 2147483647    14722    113 |  0.000 % |
2.76/2.89	c |     19310 |     900    18000    90000 | 2147483647    15032    114 |  0.000 % |
2.87/2.96	c |     19649 |     900    18000    90000 | 2147483647    15371    113 |  0.000 % |
2.97/3.03	c |     20022 |     900    18000    90000 | 2147483647    15744    114 |  0.000 % |
2.97/3.05	c |     20123 |     900    18000    90000 | 2147483647    15845    114 |  0.000 % |
2.97/3.07	c |     20233 |     900    18000    90000 | 2147483647    15955    114 |  0.000 % |
3.07/3.10	c |     20355 |     900    18000    90000 | 2147483647    16077    114 |  0.000 % |
3.07/3.13	c |     20489 |     900    18000    90000 | 2147483647    16211    114 |  0.000 % |
3.07/3.16	c |     20636 |     900    18000    90000 | 2147483647    16358    114 |  0.000 % |
3.07/3.20	c |     20799 |     900    18000    90000 | 2147483647    16521    114 |  0.000 % |
3.17/3.23	c |     20975 |     900    18000    90000 | 2147483647    16697    114 |  0.000 % |
3.17/3.28	c |     21168 |     900    18000    90000 | 2147483647    16890    114 |  0.000 % |
3.27/3.32	c |     21380 |     900    18000    90000 | 2147483647    17102    114 |  0.000 % |
3.27/3.37	c |     21614 |     900    18000    90000 | 2147483647    17336    114 |  0.000 % |
3.37/3.42	c |     21871 |     900    18000    90000 | 2147483647    17593    114 |  0.000 % |
3.37/3.48	c |     22152 |     900    18000    90000 | 2147483647    17874    114 |  0.000 % |
3.47/3.55	c |     22462 |     900    18000    90000 | 2147483647    18184    114 |  0.000 % |
3.57/3.62	c |     22801 |     900    18000    90000 | 2147483647    18523    114 |  0.000 % |
3.67/3.70	c |     23173 |     900    18000    90000 | 2147483647    18895    114 |  0.000 % |
3.67/3.80	c |     23585 |     900    18000    90000 | 2147483647    19307    114 |  0.000 % |
3.77/3.82	c |     23686 |     900    18000    90000 | 2147483647    19408    114 |  0.000 % |
3.77/3.85	c |     23797 |     900    18000    90000 | 2147483647    19519    114 |  0.000 % |
3.77/3.89	c |     23918 |     900    18000    90000 | 2147483647    19640    114 |  0.000 % |
3.86/3.92	c |     24051 |     900    18000    90000 | 2147483647    19773    114 |  0.000 % |
3.86/3.96	c |     24201 |     900    18000    90000 | 2147483647    19923    114 |  0.000 % |
3.96/4.00	c |     24361 |     900    18000    90000 | 2147483647    20083    114 |  0.000 % |
3.96/4.04	c |     24538 |     900    18000    90000 | 2147483647    20260    114 |  0.000 % |
3.96/4.09	c |     24732 |     900    18000    90000 | 2147483647    20454    114 |  0.000 % |
4.06/4.14	c |     24944 |     900    18000    90000 | 2147483647    20666    114 |  0.000 % |
4.16/4.20	c |     25178 |     900    18000    90000 | 2147483647    20900    114 |  0.000 % |
4.16/4.26	c |     25436 |     900    18000    90000 | 2147483647    21158    114 |  0.000 % |
4.27/4.33	c |     25717 |     900    18000    90000 | 2147483647    21439    114 |  0.000 % |
4.37/4.40	c |     26029 |     900    18000    90000 | 2147483647    21751    114 |  0.000 % |
4.37/4.49	c |     26369 |     900    18000    90000 | 2147483647    22091    115 |  0.000 % |
4.46/4.58	c |     26742 |     900    18000    90000 | 2147483647    22464    115 |  0.000 % |
4.57/4.69	c |     27153 |     900    18000    90000 | 2147483647    22875    115 |  0.000 % |
4.77/4.80	c |     27605 |     900    18000    90000 | 2147483647    23327    115 |  0.000 % |
4.77/4.83	c |     27705 |     900    18000    90000 | 2147483647    23427    115 |  0.000 % |
4.77/4.86	c |     27815 |     900    18000    90000 | 2147483647    23537    115 |  0.000 % |
4.77/4.90	c |     27936 |     900    18000    90000 | 2147483647    23658    115 |  0.000 % |
4.87/4.93	c |     28070 |     900    18000    90000 | 2147483647    23792    115 |  0.000 % |
4.87/4.97	c |     28217 |     900    18000    90000 | 2147483647    23939    115 |  0.000 % |
4.97/5.02	c |     28379 |     900    18000    90000 | 2147483647    24101    115 |  0.000 % |
4.97/5.07	c |     28556 |     900    18000    90000 | 2147483647    24278    115 |  0.000 % |
5.07/5.14	c |     28749 |     900    18000    90000 | 2147483647    24471    115 |  0.000 % |
5.07/5.19	c |     28961 |     900    18000    90000 | 2147483647    24683    115 |  0.000 % |
5.17/5.26	c |     29194 |     900    18000    90000 | 2147483647    24916    115 |  0.000 % |
5.27/5.33	c |     29451 |     900    18000    90000 | 2147483647    25173    115 |  0.000 % |
5.37/5.41	c |     29732 |     900    18000    90000 | 2147483647    25454    115 |  0.000 % |
5.37/5.49	c |     30041 |     900    18000    90000 | 2147483647    25763    115 |  0.000 % |
5.47/5.59	c |     30381 |     900    18000    90000 | 2147483647    26103    115 |  0.000 % |
5.67/5.70	c |     30753 |     900    18000    90000 | 2147483647    26475    115 |  0.000 % |
5.77/5.81	c |     31163 |     900    18000    90000 | 2147483647    26885    115 |  0.000 % |
5.87/5.94	c |     31612 |     900    18000    90000 | 2147483647    27334    115 |  0.000 % |
5.97/6.09	c |     32106 |     900    18000    90000 | 2147483647    27828    115 |  0.000 % |
6.07/6.12	c |     32206 |     900    18000    90000 | 2147483647    27928    115 |  0.000 % |
6.07/6.15	c |     32316 |     900    18000    90000 | 2147483647    28038    115 |  0.000 % |
6.07/6.19	c |     32437 |     900    18000    90000 | 2147483647    28159    115 |  0.000 % |
6.16/6.23	c |     32571 |     900    18000    90000 | 2147483647    28293    115 |  0.000 % |
6.16/6.29	c |     32719 |     900    18000    90000 | 2147483647    28441    115 |  0.000 % |
6.26/6.34	c |     32879 |     900    18000    90000 | 2147483647    28601    115 |  0.000 % |
6.36/6.41	c |     33057 |     900    18000    90000 | 2147483647    28779    115 |  0.000 % |
6.36/6.47	c |     33251 |     900    18000    90000 | 2147483647    28973    115 |  0.000 % |
6.47/6.54	c |     33463 |     900    18000    90000 | 2147483647    29185    115 |  0.000 % |
6.57/6.62	c |     33696 |     900    18000    90000 | 2147483647    29418    115 |  0.000 % |
6.66/6.70	c |     33953 |     900    18000    90000 | 2147483647    29675    115 |  0.000 % |
6.66/6.79	c |     34234 |     900    18000    90000 | 2147483647    29956    115 |  0.000 % |
6.76/6.89	c |     34543 |     900    18000    90000 | 2147483647    30265    115 |  0.000 % |
6.96/7.00	c |     34882 |     900    18000    90000 | 2147483647    30604    115 |  0.000 % |
7.06/7.11	c |     35256 |     900    18000    90000 | 2147483647    30978    115 |  0.000 % |
7.16/7.24	c |     35666 |     900    18000    90000 | 2147483647    31388    115 |  0.000 % |
7.26/7.39	c |     36117 |     900    18000    90000 | 2147483647    31839    115 |  0.000 % |
7.46/7.54	c |     36612 |     900    18000    90000 | 2147483647    32334    115 |  0.000 % |
7.67/7.70	c |     37154 |     900    18000    90000 | 2147483647    32876    115 |  0.000 % |
7.67/7.74	c |     37254 |     900    18000    90000 | 2147483647    32976    115 |  0.000 % |
7.67/7.78	c |     37366 |     900    18000    90000 | 2147483647    33088    115 |  0.000 % |
7.77/7.82	c |     37490 |     900    18000    90000 | 2147483647    33212    115 |  0.000 % |
7.77/7.87	c |     37623 |     900    18000    90000 | 2147483647    33345    115 |  0.000 % |
7.87/7.92	c |     37770 |     900    18000    90000 | 2147483647    33492    115 |  0.000 % |
7.87/7.97	c |     37931 |     900    18000    90000 | 2147483647    33653    115 |  0.000 % |
7.97/8.03	c |     38107 |     900    18000    90000 | 2147483647    33829    115 |  0.000 % |
7.97/8.10	c |     38301 |     900    18000    90000 | 2147483647    34023    115 |  0.000 % |
8.07/8.17	c |     38513 |     900    18000    90000 | 2147483647    34235    115 |  0.000 % |
8.17/8.27	c |     38746 |     900    18000    90000 | 2147483647    34468    115 |  0.000 % |
8.27/8.36	c |     39003 |     900    18000    90000 | 2147483647    34725    115 |  0.000 % |
8.37/8.47	c |     39285 |     900    18000    90000 | 2147483647    35007    115 |  0.000 % |
8.47/8.57	c |     39594 |     900    18000    90000 | 2147483647    35316    115 |  0.000 % |
8.67/8.71	c |     39935 |     900    18000    90000 | 2147483647    35657    115 |  0.000 % |
8.77/8.84	c |     40308 |     900    18000    90000 | 2147483647    36030    116 |  0.000 % |
8.87/8.99	c |     40717 |     900    18000    90000 | 2147483647    36439    116 |  0.000 % |
9.06/9.16	c |     41166 |     900    18000    90000 | 2147483647    36888    116 |  0.000 % |
9.26/9.34	c |     41660 |     900    18000    90000 | 2147483647    37382    116 |  0.000 % |
9.46/9.56	c |     42203 |     900    18000    90000 | 2147483647    37925    116 |  0.000 % |
9.66/9.75	c |     42799 |     900    18000    90000 | 2147483647    38521    116 |  0.000 % |
9.66/9.79	c |     42899 |     900    18000    90000 | 2147483647    38621    116 |  0.000 % |
9.77/9.84	c |     43009 |     900    18000    90000 | 2147483647    38731    116 |  0.000 % |
9.86/9.90	c |     43132 |     900    18000    90000 | 2147483647    38854    116 |  0.000 % |
9.86/9.96	c |     43266 |     900    18000    90000 | 2147483647    38988    116 |  0.000 % |
9.96/10.02	c |     43413 |     900    18000    90000 | 2147483647    39135    116 |  0.000 % |
9.96/10.09	c |     43574 |     900    18000    90000 | 2147483647    39296    116 |  0.000 % |
10.06/10.17	c |     43751 |     900    18000    90000 | 2147483647    39473    116 |  0.000 % |
10.16/10.25	c |     43946 |     900    18000    90000 | 2147483647    39668    116 |  0.000 % |
10.26/10.34	c |     44158 |     900    18000    90000 | 2147483647    39880    116 |  0.000 % |
10.37/10.43	c |     44391 |     900    18000    90000 | 2147483647    40113    116 |  0.000 % |
10.47/10.54	c |     44650 |     900    18000    90000 | 2147483647    40372    116 |  0.000 % |
10.57/10.65	c |     44931 |     900    18000    90000 | 2147483647    40653    116 |  0.000 % |
10.67/10.77	c |     45243 |     900    18000    90000 | 2147483647    40965    116 |  0.000 % |
10.87/10.91	c |     45582 |     900    18000    90000 | 2147483647    41304    116 |  0.000 % |
10.97/11.07	c |     45954 |     900    18000    90000 | 2147483647    41676    116 |  0.000 % |
11.17/11.24	c |     46365 |     900    18000    90000 | 2147483647    42087    116 |  0.000 % |
11.37/11.42	c |     46814 |     900    18000    90000 | 2147483647    42536    116 |  0.000 % |
11.57/11.62	c |     47307 |     900    18000    90000 | 2147483647    43029    116 |  0.000 % |
11.76/11.85	c |     47851 |     900    18000    90000 | 2147483647    43573    116 |  0.000 % |
11.97/12.10	c |     48447 |     900    18000    90000 | 2147483647    44169    116 |  0.000 % |
12.26/12.37	c |     49102 |     900    18000    90000 | 2147483647    44824    116 |  0.000 % |
12.36/12.41	c |     49202 |     900    18000    90000 | 2147483647    44924    116 |  0.000 % |
12.36/12.47	c |     49315 |     900    18000    90000 | 2147483647    45037    116 |  0.000 % |
12.46/12.52	c |     49436 |     900    18000    90000 | 2147483647    45158    116 |  0.000 % |
12.46/12.59	c |     49569 |     900    18000    90000 | 2147483647    45291    116 |  0.000 % |
12.56/12.67	c |     49718 |     900    18000    90000 | 2147483647    45440    116 |  0.000 % |
12.66/12.75	c |     49880 |     900    18000    90000 | 2147483647    45602    116 |  0.000 % |
12.76/12.83	c |     50056 |     900    18000    90000 | 2147483647    45778    116 |  0.000 % |
12.87/12.93	c |     50250 |     900    18000    90000 | 2147483647    45972    116 |  0.000 % |
12.97/13.03	c |     50464 |     900    18000    90000 | 2147483647    46186    116 |  0.000 % |
13.07/13.14	c |     50698 |     900    18000    90000 | 2147483647    46420    116 |  0.000 % |
13.17/13.24	c |     50954 |     900    18000    90000 | 2147483647    46676    116 |  0.000 % |
13.27/13.37	c |     51236 |     900    18000    90000 | 2147483647    46958    116 |  0.000 % |
13.47/13.51	c |     51546 |     900    18000    90000 | 2147483647    47268    117 |  0.000 % |
13.57/13.66	c |     51886 |     900    18000    90000 | 2147483647    47608    117 |  0.000 % |
13.77/13.83	c |     52258 |     900    18000    90000 | 2147483647    47980    117 |  0.000 % |
13.97/14.00	c |     52668 |     900    18000    90000 | 2147483647    48390    117 |  0.000 % |
14.17/14.22	c |     53119 |     900    18000    90000 | 2147483647    48841    117 |  0.000 % |
14.37/14.43	c |     53613 |     900    18000    90000 | 2147483647    49335    117 |  0.000 % |
14.57/14.68	c |     54156 |     900    18000    90000 | 2147483647    49878    117 |  0.000 % |
14.86/14.95	c |     54753 |     900    18000    90000 | 2147483647    50475    117 |  0.000 % |
15.16/15.23	c |     55412 |     900    18000    90000 | 2147483647    51134    117 |  0.000 % |
15.46/15.54	c |     56132 |     900    18000    90000 | 2147483647    51854    117 |  0.000 % |
15.46/15.59	c |     56234 |     900    18000    90000 | 2147483647    51956    117 |  0.000 % |
15.56/15.64	c |     56345 |     900    18000    90000 | 2147483647    52067    117 |  0.000 % |
15.56/15.69	c |     56468 |     900    18000    90000 | 2147483647    52190    117 |  0.000 % |
15.66/15.76	c |     56601 |     900    18000    90000 | 2147483647    52323    117 |  0.000 % |
15.76/15.84	c |     56748 |     900    18000    90000 | 2147483647    52470    117 |  0.000 % |
15.86/15.91	c |     56910 |     900    18000    90000 | 2147483647    52632    117 |  0.000 % |
15.96/16.01	c |     57087 |     900    18000    90000 | 2147483647    52809    117 |  0.000 % |
16.06/16.12	c |     57283 |     900    18000    90000 | 2147483647    53005    117 |  0.000 % |
16.16/16.24	c |     57495 |     900    18000    90000 | 2147483647    53217    117 |  0.000 % |
16.26/16.36	c |     57728 |     900    18000    90000 | 2147483647    53450    117 |  0.000 % |
16.36/16.48	c |     57985 |     900    18000    90000 | 2147483647    53707    117 |  0.000 % |
16.56/16.63	c |     58266 |     900    18000    90000 | 2147483647    53988    117 |  0.000 % |
16.66/16.78	c |     58575 |     900    18000    90000 | 2147483647    54297    117 |  0.000 % |
16.86/16.98	c |     58914 |     900    18000    90000 | 2147483647    54636    117 |  0.000 % |
17.07/17.19	c |     59286 |     900    18000    90000 | 2147483647    55008    117 |  0.000 % |
17.37/17.41	c |     59697 |     900    18000    90000 | 2147483647    55419    117 |  0.000 % |
17.57/17.62	c |     60146 |     900    18000    90000 | 2147483647    55868    117 |  0.000 % |
17.76/17.87	c |     60642 |     900    18000    90000 | 2147483647    56364    117 |  0.000 % |
18.06/18.14	c |     61185 |     900    18000    90000 | 2147483647    56907    117 |  0.000 % |
18.36/18.43	c |     61782 |     900    18000    90000 | 2147483647    57504    117 |  0.000 % |
18.67/18.75	c |     62437 |     900    18000    90000 | 2147483647    58159    117 |  0.000 % |
19.06/19.13	c |     63160 |     900    18000    90000 | 2147483647    58882    117 |  0.000 % |
19.46/19.53	c |     63953 |     900    18000    90000 | 2147483647    59675    117 |  0.000 % |
19.46/19.59	c |     64053 |     900    18000    90000 | 2147483647    59775    117 |  0.000 % |
19.56/19.68	c |     64165 |     900    18000    90000 | 2147483647    59887    117 |  0.000 % |
19.66/19.76	c |     64287 |     900    18000    90000 | 2147483647    60009    117 |  0.000 % |
19.76/19.83	c |     64420 |     900    18000    90000 | 2147483647    60142    117 |  0.000 % |
19.86/19.92	c |     64566 |     900    18000    90000 | 2147483647    60288    117 |  0.000 % |
19.96/20.02	c |     64727 |     900    18000    90000 | 2147483647    60449    117 |  0.000 % |
20.06/20.12	c |     64903 |     900    18000    90000 | 2147483647    60625    117 |  0.000 % |
20.16/20.23	c |     65097 |     900    18000    90000 | 2147483647    60819    117 |  0.000 % |
20.26/20.36	c |     65310 |     900    18000    90000 | 2147483647    61032    117 |  0.000 % |
20.46/20.50	c |     65543 |     900    18000    90000 | 2147483647    61265    117 |  0.000 % |
20.56/20.67	c |     65799 |     900    18000    90000 | 2147483647    61521    117 |  0.000 % |
20.77/20.84	c |     66081 |     900    18000    90000 | 2147483647    61803    117 |  0.000 % |
20.96/21.04	c |     66390 |     900    18000    90000 | 2147483647    62112    117 |  0.000 % |
21.16/21.22	c |     66730 |     900    18000    90000 | 2147483647    62452    117 |  0.000 % |
21.36/21.44	c |     67102 |     900    18000    90000 | 2147483647    62824    117 |  0.000 % |
21.56/21.69	c |     67511 |     900    18000    90000 | 2147483647    63233    117 |  0.000 % |
21.87/21.95	c |     67960 |     900    18000    90000 | 2147483647    63682    117 |  0.000 % |
22.16/22.27	c |     68455 |     900    18000    90000 | 2147483647    64177    117 |  0.000 % |
22.56/22.60	c |     69001 |     900    18000    90000 | 2147483647    64723    117 |  0.000 % |
22.86/22.95	c |     69597 |     900    18000    90000 | 2147483647    65319    117 |  0.000 % |
23.26/23.36	c |     70252 |     900    18000    90000 | 2147483647    65974    117 |  0.000 % |
23.66/23.79	c |     70972 |     900    18000    90000 | 2147483647    66694    117 |  0.000 % |
24.16/24.28	c |     71765 |     900    18000    90000 | 2147483647    67487    117 |  0.000 % |
24.66/24.80	c |     72636 |     900    18000    90000 | 2147483647    68358    117 |  0.000 % |
24.76/24.86	c |     72737 |     900    18000    90000 | 2147483647    68459    117 |  0.000 % |
24.86/24.93	c |     72847 |     900    18000    90000 | 2147483647    68569    117 |  0.000 % |
24.96/25.01	c |     72968 |     900    18000    90000 | 2147483647    68690    117 |  0.000 % |
25.06/25.11	c |     73102 |     900    18000    90000 | 2147483647    68824    117 |  0.000 % |
25.06/25.20	c |     73248 |     900    18000    90000 | 2147483647    68970    117 |  0.000 % |
25.27/25.31	c |     73408 |     900    18000    90000 | 2147483647    69130    117 |  0.000 % |
25.36/25.43	c |     73584 |     900    18000    90000 | 2147483647    69306    117 |  0.000 % |
25.46/25.59	c |     73777 |     900    18000    90000 | 2147483647    69499    117 |  0.000 % |
25.66/25.72	c |     73989 |     900    18000    90000 | 2147483647    69711    117 |  0.000 % |
25.76/25.87	c |     74224 |     900    18000    90000 | 2147483647    69946    117 |  0.000 % |
25.96/26.03	c |     74481 |     900    18000    90000 | 2147483647    70203    117 |  0.000 % |
26.16/26.21	c |     74762 |     900    18000    90000 | 2147483647    70484    117 |  0.000 % |
26.26/26.39	c |     75074 |     900    18000    90000 | 2147483647    70796    117 |  0.000 % |
26.56/26.63	c |     75414 |     900    18000    90000 | 2147483647    71136    117 |  0.000 % |
26.76/26.89	c |     75788 |     900    18000    90000 | 2147483647    71510    117 |  0.000 % |
27.06/27.15	c |     76198 |     900    18000    90000 | 2147483647    71920    117 |  0.000 % |
27.36/27.44	c |     76648 |     900    18000    90000 | 2147483647    72370    117 |  0.000 % |
27.66/27.75	c |     77141 |     900    18000    90000 | 2147483647    72863    117 |  0.000 % |
27.95/28.06	c |     77683 |     900    18000    90000 | 2147483647    73405    118 |  0.000 % |
28.35/28.44	c |     78279 |     900    18000    90000 | 2147483647    74001    117 |  0.000 % |
28.75/28.87	c |     78934 |     900    18000    90000 | 2147483647    74656    117 |  0.000 % |
29.26/29.35	c |     79655 |     900    18000    90000 | 2147483647    75377    117 |  0.000 % |
29.76/29.85	c |     80449 |     900    18000    90000 | 2147483647    76171    118 |  0.000 % |
30.36/30.43	c |     81323 |     900    18000    90000 | 2147483647    77045    118 |  0.000 % |
30.96/31.03	c |     82281 |     900    18000    90000 | 2147483647    78003    118 |  0.000 % |
31.06/31.11	c |     82382 |     900    18000    90000 | 2147483647    78104    118 |  0.000 % |
31.16/31.20	c |     82493 |     900    18000    90000 | 2147483647    78215    118 |  0.000 % |
31.16/31.29	c |     82615 |     900    18000    90000 | 2147483647    78337    118 |  0.000 % |
31.26/31.39	c |     82749 |     900    18000    90000 | 2147483647    78471    118 |  0.000 % |
31.36/31.50	c |     82895 |     900    18000    90000 | 2147483647    78617    118 |  0.000 % |
31.56/31.62	c |     83056 |     900    18000    90000 | 2147483647    78778    118 |  0.000 % |
31.66/31.79	c |     83232 |     900    18000    90000 | 2147483647    78954    118 |  0.000 % |
31.86/31.95	c |     83425 |     900    18000    90000 | 2147483647    79147    118 |  0.000 % |
31.95/32.09	c |     83638 |     900    18000    90000 | 2147483647    79360    118 |  0.000 % |
32.15/32.29	c |     83872 |     900    18000    90000 | 2147483647    79594    118 |  0.000 % |
32.35/32.47	c |     84129 |     900    18000    90000 | 2147483647    79851    118 |  0.000 % |
32.65/32.70	c |     84411 |     900    18000    90000 | 2147483647    80133    118 |  0.000 % |
32.85/32.95	c |     84720 |     900    18000    90000 | 2147483647    80442    118 |  0.000 % |
33.05/33.18	c |     85059 |     900    18000    90000 | 2147483647    80781    118 |  0.000 % |
33.36/33.48	c |     85431 |     900    18000    90000 | 2147483647    81153    118 |  0.000 % |
33.65/33.79	c |     85840 |     900    18000    90000 | 2147483647    81562    118 |  0.000 % |
33.96/34.09	c |     86289 |     900    18000    90000 | 2147483647    82011    118 |  0.000 % |
34.35/34.46	c |     86782 |     900    18000    90000 | 2147483647    82504    118 |  0.000 % |
34.75/34.85	c |     87325 |     900    18000    90000 | 2147483647    83047    118 |  0.000 % |
35.16/35.28	c |     87921 |     900    18000    90000 | 2147483647    83643    118 |  0.000 % |
35.65/35.74	c |     88577 |     900    18000    90000 | 2147483647    84299    118 |  0.000 % |
36.25/36.31	c |     89297 |     900    18000    90000 | 2147483647    85019    118 |  0.000 % |
36.85/36.96	c |     90094 |     900    18000    90000 |    85723    85816    118 |  0.000 % |
37.55/37.62	c |     90965 |     900    18000    90000 |    85723    76882    118 |  0.000 % |
38.15/38.25	c |     91924 |     900    18000    90000 |    85723    77841    118 |  0.000 % |
38.85/38.91	c |     92979 |     900    18000    90000 |    85723    78896    118 |  0.000 % |
38.85/39.00	c |     93079 |     900    18000    90000 |    85723    78996    118 |  0.000 % |
38.95/39.09	c |     93189 |     900    18000    90000 |    85723    79106    118 |  0.000 % |
39.05/39.19	c |     93310 |     900    18000    90000 |    85723    79227    118 |  0.000 % |
39.15/39.29	c |     93444 |     900    18000    90000 |    85723    79361    118 |  0.000 % |
39.35/39.41	c |     93591 |     900    18000    90000 |    85723    79508    118 |  0.000 % |
39.45/39.55	c |     93751 |     900    18000    90000 |    85723    79668    118 |  0.000 % |
39.55/39.68	c |     93928 |     900    18000    90000 |    85723    79845    118 |  0.000 % |
39.74/39.82	c |     94124 |     900    18000    90000 |    85723    80041    118 |  0.000 % |
39.84/39.97	c |     94336 |     900    18000    90000 |    85723    80253    118 |  0.000 % |
40.04/40.12	c |     94570 |     900    18000    90000 |    85723    80487    118 |  0.000 % |
40.24/40.34	c |     94826 |     900    18000    90000 |    85723    80743    118 |  0.000 % |
40.44/40.55	c |     95109 |     900    18000    90000 |    85723    81026    118 |  0.000 % |
40.65/40.77	c |     95418 |     900    18000    90000 |    85723    81335    118 |  0.000 % |
40.94/41.03	c |     95757 |     900    18000    90000 |    85723    81674    118 |  0.000 % |
41.24/41.33	c |     96130 |     900    18000    90000 |    85723    82047    118 |  0.000 % |
41.54/41.62	c |     96539 |     900    18000    90000 |    85723    82456    118 |  0.000 % |
41.84/41.96	c |     96989 |     900    18000    90000 |    85723    82906    118 |  0.000 % |
42.24/42.34	c |     97485 |     900    18000    90000 |    85723    83402    118 |  0.000 % |
42.64/42.78	c |     98029 |     900    18000    90000 |    85723    83946    119 |  0.000 % |
43.14/43.26	c |     98626 |     900    18000    90000 |    85723    84543    119 |  0.000 % |
43.64/43.74	c |     99281 |     900    18000    90000 |    85723    85198    119 |  0.000 % |
44.14/44.27	c |    100001 |     900    18000    90000 |    85723    85918    119 |  0.000 % |
44.74/44.87	c |    100793 |     900    18000    90000 |    85918    75495    119 |  0.000 % |
45.34/45.48	c |    101665 |     900    18000    90000 |    85918    76367    119 |  0.000 % |
46.05/46.13	c |    102623 |     900    18000    90000 |    85918    77325    119 |  0.000 % |
46.74/46.82	c |    103677 |     900    18000    90000 |    85918    78379    119 |  0.000 % |
47.54/47.63	c |    104836 |     900    18000    90000 |    85918    79538    119 |  0.000 % |
47.64/47.71	c |    104938 |     900    18000    90000 |    85918    79640    119 |  0.000 % |
47.74/47.80	c |    105050 |     900    18000    90000 |    85918    79752    119 |  0.000 % |
47.84/47.92	c |    105171 |     900    18000    90000 |    85918    79873    119 |  0.000 % |
47.94/48.03	c |    105304 |     900    18000    90000 |    85918    80006    119 |  0.000 % |
48.04/48.15	c |    105451 |     900    18000    90000 |    85918    80153    119 |  0.000 % |
48.14/48.28	c |    105613 |     900    18000    90000 |    85918    80315    119 |  0.000 % |
48.34/48.41	c |    105789 |     900    18000    90000 |    85918    80491    119 |  0.000 % |
48.44/48.54	c |    105983 |     900    18000    90000 |    85918    80685    119 |  0.000 % |
48.64/48.72	c |    106195 |     900    18000    90000 |    85918    80897    119 |  0.000 % |
48.74/48.89	c |    106428 |     900    18000    90000 |    85918    81130    119 |  0.000 % |
48.94/49.09	c |    106684 |     900    18000    90000 |    85918    81386    119 |  0.000 % |
49.24/49.30	c |    106965 |     900    18000    90000 |    85918    81667    119 |  0.000 % |
49.44/49.52	c |    107275 |     900    18000    90000 |    85918    81977    119 |  0.000 % |
49.64/49.78	c |    107614 |     900    18000    90000 |    85918    82316    119 |  0.000 % |
49.94/50.04	c |    107987 |     900    18000    90000 |    85918    82689    119 |  0.000 % |
50.24/50.35	c |    108398 |     900    18000    90000 |    85918    83100    119 |  0.000 % |
50.54/50.66	c |    108848 |     900    18000    90000 |    85918    83550    119 |  0.000 % |
50.94/51.04	c |    109341 |     900    18000    90000 |    85918    84043    119 |  0.000 % |
51.34/51.40	c |    109885 |     900    18000    90000 |    85918    84587    119 |  0.000 % |
51.75/51.87	c |    110481 |     900    18000    90000 |    84702    74622    119 |  0.000 % |
52.15/52.28	c |    111140 |     900    18000    90000 |    84702    75281    119 |  0.000 % |
52.65/52.73	c |    111860 |     900    18000    90000 |    84702    76001    119 |  0.000 % |
53.15/53.26	c |    112653 |     900    18000    90000 |    84702    76794    119 |  0.000 % |
53.75/53.84	c |    113525 |     900    18000    90000 |    84702    77666    119 |  0.000 % |
54.45/54.55	c |    114483 |     900    18000    90000 |    84702    78624    119 |  0.000 % |
55.25/55.33	c |    115538 |     900    18000    90000 |    84702    79679    119 |  0.000 % |
56.15/56.20	c |    116696 |     900    18000    90000 |    84702    80837    119 |  0.000 % |
56.95/57.06	c |    117970 |     900    18000    90000 |    84702    82111    120 |  0.000 % |
57.05/57.15	c |    118070 |     900    18000    90000 |    84702    82211    120 |  0.000 % |
57.15/57.27	c |    118182 |     900    18000    90000 |    84702    82323    120 |  0.000 % |
57.25/57.35	c |    118306 |     900    18000    90000 |    84702    82447    120 |  0.000 % |
57.35/57.48	c |    118439 |     900    18000    90000 |    84702    82580    120 |  0.000 % |
57.45/57.60	c |    118585 |     900    18000    90000 |    84702    82726    120 |  0.000 % |
57.65/57.75	c |    118745 |     900    18000    90000 |    84702    82886    120 |  0.000 % |
57.75/57.88	c |    118922 |     900    18000    90000 |    84702    83063    120 |  0.000 % |
57.94/58.04	c |    119116 |     900    18000    90000 |    84702    83257    120 |  0.000 % |
58.04/58.20	c |    119330 |     900    18000    90000 |    84702    83471    120 |  0.000 % |
58.25/58.37	c |    119566 |     900    18000    90000 |    84702    83707    120 |  0.000 % |
58.44/58.58	c |    119822 |     900    18000    90000 |    84702    83963    119 |  0.000 % |
58.74/58.81	c |    120103 |     900    18000    90000 |    84143    84244    119 |  0.000 % |
58.94/59.09	c |    120414 |     900    18000    90000 |    84143    73815    120 |  0.000 % |
59.25/59.31	c |    120756 |     900    18000    90000 |    84143    74157    120 |  0.000 % |
59.44/59.53	c |    121128 |     900    18000    90000 |    84143    74529    120 |  0.000 % |
59.74/59.80	c |    121538 |     900    18000    90000 |    84143    74939    120 |  0.000 % |
60.04/60.12	c |    121987 |     900    18000    90000 |    84143    75388    120 |  0.000 % |
60.35/60.48	c |    122480 |     900    18000    90000 |    84143    75881    120 |  0.000 % |
60.74/60.87	c |    123022 |     900    18000    90000 |    84143    76423    120 |  0.000 % |
61.14/61.27	c |    123618 |     900    18000    90000 |    84143    77019    120 |  0.000 % |
61.64/61.73	c |    124274 |     900    18000    90000 |    84143    77675    120 |  0.000 % |
62.14/62.22	c |    124994 |     900    18000    90000 |    84143    78395    120 |  0.000 % |
62.65/62.76	c |    125786 |     900    18000    90000 |    84143    79187    120 |  0.000 % |
63.24/63.36	c |    126658 |     900    18000    90000 |    84143    80059    120 |  0.000 % |
63.94/64.00	c |    127616 |     900    18000    90000 |    84143    81017    120 |  0.000 % |
64.64/64.70	c |    128670 |     900    18000    90000 |    84143    82071    120 |  0.000 % |
65.34/65.46	c |    129829 |     900    18000    90000 |    84143    83230    120 |  0.000 % |
66.24/66.32	c |    131103 |     900    18000    90000 |    83402    74709    119 |  0.000 % |
67.04/67.17	c |    132503 |     900    18000    90000 |    83402    76109    120 |  0.000 % |
67.14/67.28	c |    132603 |     900    18000    90000 |    83402    76209    120 |  0.000 % |
67.24/67.36	c |    132713 |     900    18000    90000 |    83402    76319    120 |  0.000 % |
67.34/67.45	c |    132834 |     900    18000    90000 |    83402    76440    120 |  0.000 % |
67.44/67.56	c |    132967 |     900    18000    90000 |    83402    76573    120 |  0.000 % |
67.54/67.67	c |    133113 |     900    18000    90000 |    83402    76719    120 |  0.000 % |
67.64/67.77	c |    133274 |     900    18000    90000 |    83402    76880    120 |  0.000 % |
67.84/67.91	c |    133450 |     900    18000    90000 |    83402    77056    120 |  0.000 % |
67.94/68.05	c |    133643 |     900    18000    90000 |    83402    77249    119 |  0.000 % |
68.14/68.25	c |    133856 |     900    18000    90000 |    83402    77462    119 |  0.000 % |
68.34/68.44	c |    134089 |     900    18000    90000 |    83402    77695    119 |  0.000 % |
68.54/68.66	c |    134345 |     900    18000    90000 |    83402    77951    119 |  0.000 % |
68.84/68.90	c |    134626 |     900    18000    90000 |    83402    78232    119 |  0.000 % |
69.04/69.11	c |    134935 |     900    18000    90000 |    83402    78541    120 |  0.000 % |
69.24/69.37	c |    135277 |     900    18000    90000 |    83402    78883    119 |  0.000 % |
69.54/69.64	c |    135654 |     900    18000    90000 |    83402    79260    119 |  0.000 % |
69.84/69.92	c |    136063 |     900    18000    90000 |    83402    79669    119 |  0.000 % |
70.14/70.27	c |    136512 |     900    18000    90000 |    83402    80118    119 |  0.000 % |
70.54/70.63	c |    137008 |     900    18000    90000 |    83402    80614    119 |  0.000 % |
70.94/71.02	c |    137551 |     900    18000    90000 |    83402    81157    119 |  0.000 % |
71.34/71.46	c |    138148 |     900    18000    90000 |    83402    81754    119 |  0.000 % |
71.84/71.91	c |    138803 |     900    18000    90000 |    83402    82409    119 |  0.000 % |
72.33/72.42	c |    139523 |     900    18000    90000 |    83402    83129    120 |  0.000 % |
72.93/73.04	c |    140317 |     900    18000    90000 |    83607    83923    120 |  0.000 % |
73.54/73.65	c |    141191 |     900    18000    90000 |    83607    74208    120 |  0.000 % |
74.13/74.25	c |    142149 |     900    18000    90000 |    83607    75166    120 |  0.000 % |
74.83/74.97	c |    143203 |     900    18000    90000 |    83607    76220    120 |  0.000 % |
75.63/75.78	c |    144362 |     900    18000    90000 |    83607    77379    120 |  0.000 % |
76.53/76.61	c |    145635 |     900    18000    90000 |    83607    78652    120 |  0.000 % |
77.43/77.50	c |    147036 |     900    18000    90000 |    83607    80053    120 |  0.000 % |
78.53/78.64	c |    148577 |     900    18000    90000 |    83607    81594    120 |  0.000 % |
78.63/78.73	c |    148679 |     900    18000    90000 |    83607    81696    120 |  0.000 % |
78.73/78.82	c |    148790 |     900    18000    90000 |    83607    81807    120 |  0.000 % |
78.83/78.91	c |    148911 |     900    18000    90000 |    83607    81928    120 |  0.000 % |
78.93/79.02	c |    149046 |     900    18000    90000 |    83607    82063    120 |  0.000 % |
79.03/79.14	c |    149194 |     900    18000    90000 |    83607    82211    120 |  0.000 % |
79.13/79.29	c |    149354 |     900    18000    90000 |    83607    82371    120 |  0.000 % |
79.33/79.42	c |    149531 |     900    18000    90000 |    83607    82548    120 |  0.000 % |
79.43/79.59	c |    149726 |     900    18000    90000 |    83607    82743    120 |  0.000 % |
79.63/79.78	c |    149938 |     900    18000    90000 |    83607    82955    120 |  0.000 % |
79.83/79.96	c |    150175 |     900    18000    90000 |    83017    83192    120 |  0.000 % |
80.03/80.18	c |    150431 |     900    18000    90000 |    83017    73555    120 |  0.000 % |
80.23/80.37	c |    150713 |     900    18000    90000 |    83017    73837    120 |  0.000 % |
80.43/80.58	c |    151024 |     900    18000    90000 |    83017    74148    120 |  0.000 % |
80.73/80.84	c |    151366 |     900    18000    90000 |    83017    74490    120 |  0.000 % |
81.03/81.10	c |    151738 |     900    18000    90000 |    83017    74862    120 |  0.000 % |
81.23/81.38	c |    152150 |     900    18000    90000 |    83017    75274    120 |  0.000 % |
81.53/81.69	c |    152600 |     900    18000    90000 |    83017    75724    120 |  0.000 % |
81.93/82.02	c |    153095 |     900    18000    90000 |    83017    76219    120 |  0.000 % |
82.33/82.44	c |    153640 |     900    18000    90000 |    83017    76764    120 |  0.000 % |
82.72/82.85	c |    154236 |     900    18000    90000 |    83017    77360    120 |  0.000 % |
83.22/83.31	c |    154893 |     900    18000    90000 |    83017    78017    120 |  0.000 % |
83.72/83.80	c |    155613 |     900    18000    90000 |    83017    78737    120 |  0.000 % |
84.22/84.33	c |    156408 |     900    18000    90000 |    83017    79532    120 |  0.000 % |
84.82/84.95	c |    157279 |     900    18000    90000 |    83017    80403    120 |  0.000 % |
85.42/85.59	c |    158238 |     900    18000    90000 |    83017    81362    120 |  0.000 % |
86.22/86.33	c |    159292 |     900    18000    90000 |    83017    82416    120 |  0.000 % |
87.02/87.13	c |    160450 |     900    18000    90000 |    83124    74202    120 |  0.000 % |
87.83/87.95	c |    161723 |     900    18000    90000 |    83124    75475    120 |  0.000 % |
88.72/88.85	c |    163123 |     900    18000    90000 |    83124    76875    120 |  0.000 % |
89.72/89.85	c |    164664 |     900    18000    90000 |    83124    78416    120 |  0.000 % |
90.92/91.07	c |    166359 |     900    18000    90000 |    83124    80111    120 |  0.000 % |
91.02/91.14	c |    166460 |     900    18000    90000 |    83124    80212    120 |  0.000 % |
91.12/91.23	c |    166570 |     900    18000    90000 |    83124    80322    120 |  0.000 % |
91.22/91.35	c |    166693 |     900    18000    90000 |    83124    80445    120 |  0.000 % |
91.32/91.45	c |    166826 |     900    18000    90000 |    83124    80578    120 |  0.000 % |
91.42/91.57	c |    166972 |     900    18000    90000 |    83124    80724    120 |  0.000 % |
91.62/91.70	c |    167132 |     900    18000    90000 |    83124    80884    120 |  0.000 % |
91.72/91.84	c |    167309 |     900    18000    90000 |    83124    81061    120 |  0.000 % |
91.82/91.99	c |    167502 |     900    18000    90000 |    83124    81254    120 |  0.000 % |
92.02/92.17	c |    167714 |     900    18000    90000 |    83124    81466    120 |  0.000 % |
92.22/92.35	c |    167947 |     900    18000    90000 |    83124    81699    120 |  0.000 % |
92.42/92.55	c |    168205 |     900    18000    90000 |    83124    81957    120 |  0.000 % |
92.62/92.75	c |    168488 |     900    18000    90000 |    83124    82240    120 |  0.000 % |
92.82/92.97	c |    168799 |     900    18000    90000 |    83124    82551    120 |  0.000 % |
93.12/93.24	c |    169142 |     900    18000    90000 |    83124    82894    120 |  0.000 % |
93.42/93.51	c |    169514 |     900    18000    90000 |    83124    83266    120 |  0.000 % |
93.72/93.86	c |    169923 |     900    18000    90000 |    83124    74453    120 |  0.000 % |
94.12/94.22	c |    170372 |     900    18000    90000 |    74531    66526    120 |  0.000 % |
94.42/94.50	c |    170870 |     900    18000    90000 |    74531    67024    120 |  0.000 % |
94.71/94.81	c |    171414 |     900    18000    90000 |    74531    67568    120 |  0.000 % |
95.01/95.15	c |    172010 |     900    18000    90000 |    74531    68164    120 |  0.000 % |
95.41/95.57	c |    172666 |     900    18000    90000 |    74531    68820    120 |  0.000 % |
95.91/96.05	c |    173386 |     900    18000    90000 |    74531    69540    120 |  0.000 % |
96.41/96.53	c |    174179 |     900    18000    90000 |    74531    70333    120 |  0.000 % |
96.91/97.07	c |    175050 |     900    18000    90000 |    74531    71204    120 |  0.000 % |
97.61/97.70	c |    176009 |     900    18000    90000 |    74531    72163    120 |  0.000 % |
98.22/98.36	c |    177063 |     900    18000    90000 |    74531    73217    120 |  0.000 % |
99.01/99.11	c |    178223 |     900    18000    90000 |    74531    74377    120 |  0.000 % |
99.81/99.94	c |    179496 |     900    18000    90000 |    74531    68166    120 |  0.000 % |
100.61/100.77	c |    180896 |     900    18000    90000 | 2147483647    69566    120 |  0.000 % |
101.51/101.69	c |    182437 |     900    18000    90000 | 2147483647    71107    120 |  0.000 % |
102.61/102.75	c |    184132 |     900    18000    90000 | 2147483647    72802    120 |  0.000 % |
103.81/103.93	c |    185996 |     900    18000    90000 | 2147483647    74666    120 |  0.000 % |
103.91/104.00	c |    186098 |     900    18000    90000 | 2147483647    74768    120 |  0.000 % |
104.01/104.10	c |    186208 |     900    18000    90000 | 2147483647    74878    120 |  0.000 % |
104.11/104.20	c |    186330 |     900    18000    90000 | 2147483647    75000    120 |  0.000 % |
104.11/104.29	c |    186463 |     900    18000    90000 | 2147483647    75133    120 |  0.000 % |
104.31/104.41	c |    186609 |     900    18000    90000 | 2147483647    75279    120 |  0.000 % |
104.41/104.53	c |    186769 |     900    18000    90000 | 2147483647    75439    120 |  0.000 % |
104.51/104.64	c |    186946 |     900    18000    90000 | 2147483647    75616    120 |  0.000 % |
104.61/104.78	c |    187139 |     900    18000    90000 | 2147483647    75809    120 |  0.000 % |
104.81/104.93	c |    187354 |     900    18000    90000 | 2147483647    76024    120 |  0.000 % |
104.91/105.09	c |    187587 |     900    18000    90000 | 2147483647    76257    120 |  0.000 % |
105.21/105.30	c |    187844 |     900    18000    90000 | 2147483647    76514    120 |  0.000 % |
105.41/105.52	c |    188125 |     900    18000    90000 | 2147483647    76795    120 |  0.000 % |
105.61/105.76	c |    188435 |     900    18000    90000 | 2147483647    77105    120 |  0.000 % |
105.91/106.00	c |    188774 |     900    18000    90000 | 2147483647    77444    120 |  0.000 % |
106.11/106.27	c |    189146 |     900    18000    90000 | 2147483647    77816    120 |  0.000 % |
106.41/106.55	c |    189556 |     900    18000    90000 | 2147483647    78226    120 |  0.000 % |
106.71/106.88	c |    190005 |     900    18000    90000 | 2147483647    78675    120 |  0.000 % |
107.11/107.27	c |    190499 |     900    18000    90000 | 2147483647    79169    120 |  0.000 % |
107.51/107.65	c |    191042 |     900    18000    90000 | 2147483647    79712    120 |  0.000 % |
108.01/108.13	c |    191640 |     900    18000    90000 | 2147483647    80310    120 |  0.000 % |
108.51/108.67	c |    192296 |     900    18000    90000 | 2147483647    80966    120 |  0.000 % |
109.01/109.19	c |    193020 |     900    18000    90000 | 2147483647    81690    120 |  0.000 % |
109.61/109.78	c |    193814 |     900    18000    90000 | 2147483647    82484    120 |  0.000 % |
110.31/110.43	c |    194688 |     900    18000    90000 | 2147483647    83358    120 |  0.000 % |
110.91/111.07	c |    195647 |     900    18000    90000 | 2147483647    84317    120 |  0.000 % |
111.70/111.80	c |    196700 |     900    18000    90000 | 2147483647    85370    120 |  0.000 % |
112.50/112.63	c |    197858 |     900    18000    90000 | 2147483647    86528    120 |  0.000 % |
113.30/113.49	c |    199131 |     900    18000    90000 | 2147483647    87801    120 |  0.000 % |
114.40/114.51	c |    200532 |     900    18000    90000 |    88675    78439    120 |  0.000 % |
115.40/115.59	c |    202072 |     900    18000    90000 |    88675    79979    120 |  0.000 % |
116.70/116.80	c |    203767 |     900    18000    90000 |    88675    81674    121 |  0.000 % |
118.10/118.25	c |    205630 |     900    18000    90000 |    88675    83537    121 |  0.000 % |
119.59/119.77	c |    207679 |     900    18000    90000 |    88675    85586    121 |  0.000 % |
119.70/119.85	c |    207780 |     900    18000    90000 |    88675    85687    121 |  0.000 % |
119.80/119.94	c |    207891 |     900    18000    90000 |    88675    85798    121 |  0.000 % |
119.89/120.03	c |    208012 |     900    18000    90000 |    88675    85919    121 |  0.000 % |
119.99/120.16	c |    208146 |     900    18000    90000 |    88675    86053    121 |  0.000 % |
120.09/120.28	c |    208292 |     900    18000    90000 |    88675    86199    121 |  0.000 % |
120.29/120.43	c |    208452 |     900    18000    90000 |    88675    86359    121 |  0.000 % |
120.39/120.58	c |    208629 |     900    18000    90000 |    88675    86536    121 |  0.000 % |
120.59/120.73	c |    208824 |     900    18000    90000 |    88675    86731    121 |  0.000 % |
120.69/120.90	c |    209036 |     900    18000    90000 |    88675    86943    121 |  0.000 % |
120.99/121.12	c |    209269 |     900    18000    90000 |    88675    87176    121 |  0.000 % |
121.19/121.33	c |    209525 |     900    18000    90000 |    88675    87432    121 |  0.000 % |
121.49/121.60	c |    209806 |     900    18000    90000 |    88675    87713    121 |  0.000 % |
121.69/121.87	c |    210116 |     900    18000    90000 |    87907    88023    121 |  0.000 % |
122.00/122.17	c |    210456 |     900    18000    90000 |    87907    76116    121 |  0.000 % |
122.29/122.44	c |    210828 |     900    18000    90000 |    87907    76488    121 |  0.000 % |
122.59/122.75	c |    211237 |     900    18000    90000 |    87907    76897    121 |  0.000 % |
122.89/123.07	c |    211686 |     900    18000    90000 |    87907    77346    121 |  0.000 % |
123.29/123.43	c |    212180 |     900    18000    90000 |    87907    77840    121 |  0.000 % |
123.69/123.82	c |    212723 |     900    18000    90000 |    87907    78383    121 |  0.000 % |
124.09/124.26	c |    213320 |     900    18000    90000 |    87907    78980    121 |  0.000 % |
124.49/124.69	c |    213976 |     900    18000    90000 |    87907    79636    121 |  0.000 % |
124.99/125.17	c |    214697 |     900    18000    90000 |    87907    80357    121 |  0.000 % |
125.49/125.70	c |    215489 |     900    18000    90000 |    87907    81149    121 |  0.000 % |
126.19/126.34	c |    216360 |     900    18000    90000 |    87907    82020    121 |  0.000 % |
126.89/127.02	c |    217318 |     900    18000    90000 |    87907    82978    121 |  0.000 % |
127.59/127.77	c |    218372 |     900    18000    90000 |    87907    84032    121 |  0.000 % |
128.39/128.56	c |    219530 |     900    18000    90000 |    87907    85190    121 |  0.000 % |
129.49/129.60	c |    220803 |     900    18000    90000 |    85660    75320    121 |  0.000 % |
130.39/130.55	c |    222203 |     900    18000    90000 |    85660    76720    121 |  0.000 % |
131.38/131.56	c |    223743 |     900    18000    90000 |    85660    78260    121 |  0.000 % |
132.48/132.69	c |    225437 |     900    18000    90000 |    85660    79954    121 |  0.000 % |
133.78/133.94	c |    227300 |     900    18000    90000 |    85660    81817    121 |  0.000 % |
135.19/135.37	c |    229351 |     900    18000    90000 |    85660    83868    121 |  0.000 % |
136.78/136.91	c |    231606 |     900    18000    90000 |    84518    76302    122 |  0.000 % |
136.78/136.98	c |    231708 |     900    18000    90000 |    84518    76404    122 |  0.000 % |
136.88/137.06	c |    231818 |     900    18000    90000 |    84518    76514    122 |  0.000 % |
136.98/137.16	c |    231941 |     900    18000    90000 |    84518    76637    122 |  0.000 % |
137.08/137.26	c |    232075 |     900    18000    90000 |    84518    76771    122 |  0.000 % |
137.18/137.40	c |    232222 |     900    18000    90000 |    84518    76918    122 |  0.000 % |
137.39/137.51	c |    232382 |     900    18000    90000 |    84518    77078    122 |  0.000 % |
137.48/137.65	c |    232562 |     900    18000    90000 |    84518    77258    122 |  0.000 % |
137.68/137.83	c |    232756 |     900    18000    90000 |    84518    77452    122 |  0.000 % |
137.78/137.98	c |    232968 |     900    18000    90000 |    84518    77664    122 |  0.000 % |
137.98/138.16	c |    233201 |     900    18000    90000 |    84518    77897    121 |  0.000 % |
138.18/138.35	c |    233459 |     900    18000    90000 |    84518    78155    121 |  0.000 % |
138.38/138.57	c |    233742 |     900    18000    90000 |    84518    78438    121 |  0.000 % |
138.58/138.79	c |    234054 |     900    18000    90000 |    84518    78750    121 |  0.000 % |
138.88/139.05	c |    234395 |     900    18000    90000 |    84518    79091    121 |  0.000 % |
139.18/139.32	c |    234768 |     900    18000    90000 |    84518    79464    121 |  0.000 % |
139.48/139.64	c |    235180 |     900    18000    90000 |    84518    79876    121 |  0.000 % |
139.78/139.96	c |    235629 |     900    18000    90000 |    84518    80325    121 |  0.000 % |
140.18/140.31	c |    236122 |     900    18000    90000 |    84518    80818    121 |  0.000 % |
140.58/140.70	c |    236664 |     900    18000    90000 |    84518    81360    121 |  0.000 % |
140.98/141.12	c |    237262 |     900    18000    90000 |    84518    81958    121 |  0.000 % |
141.38/141.58	c |    237917 |     900    18000    90000 |    84518    82613    121 |  0.000 % |
141.88/142.08	c |    238639 |     900    18000    90000 |    84518    83335    121 |  0.000 % |
142.48/142.65	c |    239432 |     900    18000    90000 |    84518    84128    121 |  0.000 % |
143.08/143.29	c |    240303 |     900    18000    90000 |    84696    84999    121 |  0.000 % |
143.78/143.97	c |    241261 |     900    18000    90000 |    84696    75701    121 |  0.000 % |
144.48/144.65	c |    242315 |     900    18000    90000 |    84696    76755    121 |  0.000 % |
145.18/145.37	c |    243475 |     900    18000    90000 |    84696    77915    121 |  0.000 % |
146.08/146.22	c |    244748 |     900    18000    90000 |    84696    79188    121 |  0.000 % |
146.98/147.18	c |    246148 |     900    18000    90000 |    84696    80588    122 |  0.000 % |
147.98/148.12	c |    247688 |     900    18000    90000 |    84696    82128    122 |  0.000 % |
149.08/149.29	c |    249384 |     900    18000    90000 |    84696    83824    122 |  0.000 % |
150.38/150.60	c |    251247 |     900    18000    90000 |    84441    76708    122 |  0.000 % |
151.77/151.91	c |    253296 |     900    18000    90000 |    84441    78757    122 |  0.000 % |
153.27/153.46	c |    255549 |     900    18000    90000 |    84441    81010    122 |  0.000 % |
155.07/155.26	c |    258027 |     900    18000    90000 |    84441    83488    122 |  0.000 % |
155.17/155.35	c |    258127 |     900    18000    90000 |    84441    83588    122 |  0.000 % |
155.27/155.44	c |    258238 |     900    18000    90000 |    84441    83699    122 |  0.000 % |
155.37/155.54	c |    258359 |     900    18000    90000 |    84441    83820    122 |  0.000 % |
155.47/155.65	c |    258493 |     900    18000    90000 |    84441    83954    122 |  0.000 % |
155.57/155.76	c |    258642 |     900    18000    90000 |    84441    84103    122 |  0.000 % |
155.67/155.89	c |    258804 |     900    18000    90000 |    84441    84265    122 |  0.000 % |
155.87/156.04	c |    258980 |     900    18000    90000 |    84441    84441    122 |  0.000 % |
156.08/156.25	c |    259174 |     900    18000    90000 |    84441    75491    122 |  0.000 % |
156.27/156.41	c |    259386 |     900    18000    90000 |    84441    75703    122 |  0.000 % |
156.37/156.56	c |    259619 |     900    18000    90000 |    84441    75936    122 |  0.000 % |
156.57/156.74	c |    259875 |     900    18000    90000 |    84441    76192    122 |  0.000 % |
156.77/156.94	c |    260156 |     900    18000    90000 |    76320    76473    122 |  0.000 % |
156.97/157.18	c |    260466 |     900    18000    90000 |    76320    68429    122 |  0.000 % |
157.17/157.39	c |    260805 |     900    18000    90000 |    76320    68768    122 |  0.000 % |
157.47/157.63	c |    261178 |     900    18000    90000 |    76320    69141    122 |  0.000 % |
157.67/157.88	c |    261587 |     900    18000    90000 |    76320    69550    122 |  0.000 % |
157.97/158.18	c |    262036 |     900    18000    90000 |    76320    69999    122 |  0.000 % |
158.37/158.51	c |    262529 |     900    18000    90000 |    76320    70492    122 |  0.000 % |
158.67/158.86	c |    263072 |     900    18000    90000 |    76320    71035    122 |  0.000 % |
159.07/159.24	c |    263668 |     900    18000    90000 |    76320    71631    122 |  0.000 % |
159.47/159.64	c |    264324 |     900    18000    90000 |    76320    72287    122 |  0.000 % |
159.97/160.14	c |    265044 |     900    18000    90000 |    76320    73007    122 |  0.000 % |
160.47/160.69	c |    265839 |     900    18000    90000 |    76320    73802    122 |  0.000 % |
161.07/161.28	c |    266711 |     900    18000    90000 |    76320    74674    122 |  0.000 % |
161.77/161.93	c |    267669 |     900    18000    90000 |    76320    75632    122 |  0.000 % |
162.57/162.70	c |    268723 |     900    18000    90000 |    76320    69023    122 |  0.000 % |
163.27/163.45	c |    269881 |     900    18000    90000 |    76320    70181    122 |  0.000 % |
164.07/164.24	c |    271155 |     900    18000    90000 | 2147483647    71455    122 |  0.000 % |
164.97/165.16	c |    272555 |     900    18000    90000 | 2147483647    72855    122 |  0.000 % |
165.97/166.13	c |    274096 |     900    18000    90000 | 2147483647    74396    122 |  0.000 % |
167.07/167.28	c |    275790 |     900    18000    90000 | 2147483647    76090    122 |  0.000 % |
168.27/168.49	c |    277654 |     900    18000    90000 | 2147483647    77954    122 |  0.000 % |
169.77/169.93	c |    279703 |     900    18000    90000 | 2147483647    80003    122 |  0.000 % |
171.37/171.54	c |    281960 |     900    18000    90000 | 2147483647    82260    123 |  0.000 % |
173.16/173.35	c |    284438 |     900    18000    90000 | 2147483647    84738    123 |  0.000 % |
175.16/175.34	c |    287163 |     900    18000    90000 | 2147483647    87463    123 |  0.000 % |
175.26/175.43	c |    287265 |     900    18000    90000 | 2147483647    87565    123 |  0.000 % |
175.36/175.52	c |    287376 |     900    18000    90000 | 2147483647    87676    123 |  0.000 % |
175.46/175.62	c |    287497 |     900    18000    90000 | 2147483647    87797    123 |  0.000 % |
175.56/175.75	c |    287631 |     900    18000    90000 | 2147483647    87931    123 |  0.000 % |
175.66/175.89	c |    287779 |     900    18000    90000 | 2147483647    88079    123 |  0.000 % |
175.86/176.02	c |    287941 |     900    18000    90000 | 2147483647    88241    123 |  0.000 % |
175.96/176.17	c |    288119 |     900    18000    90000 | 2147483647    88419    123 |  0.000 % |
176.16/176.33	c |    288314 |     900    18000    90000 | 2147483647    88614    123 |  0.000 % |
176.36/176.50	c |    288527 |     900    18000    90000 | 2147483647    88827    123 |  0.000 % |
176.56/176.72	c |    288760 |     900    18000    90000 | 2147483647    89060    123 |  0.000 % |
176.76/176.93	c |    289016 |     900    18000    90000 | 2147483647    89316    123 |  0.000 % |
176.96/177.18	c |    289297 |     900    18000    90000 | 2147483647    89597    123 |  0.000 % |
177.26/177.45	c |    289606 |     900    18000    90000 | 2147483647    89906    123 |  0.000 % |
177.56/177.71	c |    289948 |     900    18000    90000 | 2147483647    90248    123 |  0.000 % |
177.85/178.07	c |    290320 |     900    18000    90000 |    90303    78378    122 |  0.000 % |
178.15/178.36	c |    290729 |     900    18000    90000 |    90303    78787    122 |  0.000 % |
178.45/178.66	c |    291178 |     900    18000    90000 |    90303    79236    123 |  0.000 % |
178.86/179.01	c |    291672 |     900    18000    90000 |    90303    79730    122 |  0.000 % |
179.16/179.40	c |    292215 |     900    18000    90000 |    90303    80273    122 |  0.000 % |
179.56/179.79	c |    292812 |     900    18000    90000 |    90303    80870    123 |  0.000 % |
180.05/180.27	c |    293470 |     900    18000    90000 |    90303    81528    122 |  0.000 % |
180.55/180.79	c |    294192 |     900    18000    90000 |    90303    82250    122 |  0.000 % |
181.15/181.34	c |    294985 |     900    18000    90000 |    90303    83043    123 |  0.000 % |
181.75/181.98	c |    295856 |     900    18000    90000 |    90303    83914    123 |  0.000 % |
182.55/182.71	c |    296816 |     900    18000    90000 |    90303    84874    123 |  0.000 % |
183.25/183.45	c |    297869 |     900    18000    90000 |    90303    85927    123 |  0.000 % |
184.05/184.28	c |    299027 |     900    18000    90000 |    90303    87085    123 |  0.000 % |
185.05/185.24	c |    300300 |     900    18000    90000 |    88061    88358    123 |  0.000 % |
186.05/186.22	c |    301702 |     900    18000    90000 |    88061    77933    123 |  0.000 % |
187.05/187.24	c |    303242 |     900    18000    90000 |    88061    79473    123 |  0.000 % |
188.15/188.37	c |    304936 |     900    18000    90000 |    88061    81167    123 |  0.000 % |
189.45/189.65	c |    306801 |     900    18000    90000 |    88061    83032    123 |  0.000 % |
190.85/191.03	c |    308850 |     900    18000    90000 |    88061    85081    123 |  0.000 % |
192.45/192.66	c |    311103 |     900    18000    90000 |    86233    77130    123 |  0.000 % |
194.05/194.24	c |    313581 |     900    18000    90000 |    86233    79608    123 |  0.000 % |
195.85/196.07	c |    316308 |     900    18000    90000 |    86233    82335    123 |  0.000 % |
198.05/198.24	c |    319305 |     900    18000    90000 |    86233    85332    124 |  0.000 % |
198.15/198.33	c |    319407 |     900    18000    90000 |    86233    85434    124 |  0.000 % |
198.25/198.42	c |    319518 |     900    18000    90000 |    86233    85545    123 |  0.000 % |
198.35/198.54	c |    319639 |     900    18000    90000 |    86233    85666    123 |  0.000 % |
198.45/198.65	c |    319772 |     900    18000    90000 |    86233    85799    123 |  0.000 % |
198.55/198.76	c |    319919 |     900    18000    90000 |    86233    85946    123 |  0.000 % |
198.65/198.88	c |    320079 |     900    18000    90000 |    86027    86106    123 |  0.000 % |
198.85/199.07	c |    320255 |     900    18000    90000 |    86027    75511    123 |  0.000 % |
199.05/199.22	c |    320450 |     900    18000    90000 |    86027    75706    123 |  0.000 % |
199.15/199.38	c |    320662 |     900    18000    90000 |    86027    75918    123 |  0.000 % |
199.35/199.56	c |    320896 |     900    18000    90000 |    86027    76152    123 |  0.000 % |
199.55/199.77	c |    321152 |     900    18000    90000 |    86027    76408    123 |  0.000 % |
199.75/199.98	c |    321433 |     900    18000    90000 |    86027    76689    123 |  0.000 % |
200.05/200.21	c |    321743 |     900    18000    90000 |    86027    76999    123 |  0.000 % |
200.24/200.46	c |    322082 |     900    18000    90000 |    86027    77338    123 |  0.000 % |
200.54/200.74	c |    322454 |     900    18000    90000 |    86027    77710    123 |  0.000 % |
200.84/201.05	c |    322863 |     900    18000    90000 |    86027    78119    123 |  0.000 % |
201.15/201.37	c |    323312 |     900    18000    90000 |    86027    78568    123 |  0.000 % |
201.54/201.70	c |    323808 |     900    18000    90000 |    86027    79064    123 |  0.000 % |
201.84/202.10	c |    324351 |     900    18000    90000 |    86027    79607    123 |  0.000 % |
202.34/202.53	c |    324947 |     900    18000    90000 |    86027    80203    123 |  0.000 % |
202.74/202.98	c |    325603 |     900    18000    90000 |    86027    80859    123 |  0.000 % |
203.35/203.52	c |    326323 |     900    18000    90000 |    86027    81579    123 |  0.000 % |
203.84/204.05	c |    327115 |     900    18000    90000 |    86027    82371    123 |  0.000 % |
204.45/204.67	c |    327986 |     900    18000    90000 |    86027    83242    123 |  0.000 % |
205.14/205.34	c |    328945 |     900    18000    90000 |    86027    84201    123 |  0.000 % |
205.84/206.05	c |    329998 |     900    18000    90000 |    86027    85254    123 |  0.000 % |
206.74/206.93	c |    331157 |     900    18000    90000 |    85256    76071    123 |  0.000 % |
207.54/207.78	c |    332431 |     900    18000    90000 |    85256    77345    123 |  0.000 % |
208.54/208.73	c |    333831 |     900    18000    90000 |    85256    78745    124 |  0.000 % |
209.54/209.73	c |    335372 |     900    18000    90000 |    85256    80286    124 |  0.000 % |
210.64/210.89	c |    337066 |     900    18000    90000 |    85256    81980    124 |  0.000 % |
212.04/212.27	c |    338929 |     900    18000    90000 |    85256    83843    124 |  0.000 % |
213.54/213.76	c |    340979 |     900    18000    90000 |    84915    76064    125 |  0.000 % |
215.04/215.26	c |    343233 |     900    18000    90000 |    84915    78318    124 |  0.000 % |
216.74/216.94	c |    345711 |     900    18000    90000 |    84915    80796    124 |  0.000 % |
218.74/218.92	c |    348438 |     900    18000    90000 |    84915    83523    125 |  0.000 % |
220.84/221.03	c |    351435 |     900    18000    90000 |    85085    76885    125 |  0.000 % |
223.24/223.40	c |    354731 |     900    18000    90000 |    85085    80181    125 |  0.000 % |
223.24/223.48	c |    354833 |     900    18000    90000 |    85085    80283    125 |  0.000 % |
223.34/223.58	c |    354946 |     900    18000    90000 |    85085    80396    125 |  0.000 % |
223.44/223.68	c |    355068 |     900    18000    90000 |    85085    80518    125 |  0.000 % |
223.64/223.81	c |    355204 |     900    18000    90000 |    85085    80654    125 |  0.000 % |
223.74/223.92	c |    355350 |     900    18000    90000 |    85085    80800    125 |  0.000 % |
223.84/224.05	c |    355513 |     900    18000    90000 |    85085    80963    125 |  0.000 % |
224.04/224.20	c |    355690 |     900    18000    90000 |    85085    81140    125 |  0.000 % |
224.14/224.33	c |    355884 |     900    18000    90000 |    85085    81334    125 |  0.000 % |
224.34/224.52	c |    356097 |     900    18000    90000 |    85085    81547    125 |  0.000 % |
224.54/224.74	c |    356330 |     900    18000    90000 |    85085    81780    125 |  0.000 % |
224.74/224.94	c |    356586 |     900    18000    90000 |    85085    82036    125 |  0.000 % |
224.94/225.17	c |    356869 |     900    18000    90000 |    85085    82319    125 |  0.000 % |
225.24/225.41	c |    357178 |     900    18000    90000 |    85085    82628    125 |  0.000 % |
225.44/225.66	c |    357518 |     900    18000    90000 |    85085    82968    125 |  0.000 % |
225.73/225.98	c |    357890 |     900    18000    90000 |    85085    83340    125 |  0.000 % |
226.03/226.29	c |    358301 |     900    18000    90000 |    85085    83751    125 |  0.000 % |
226.44/226.62	c |    358750 |     900    18000    90000 |    85085    84200    125 |  0.000 % |
226.83/227.03	c |    359243 |     900    18000    90000 |    85085    84693    125 |  0.000 % |
227.23/227.44	c |    359787 |     900    18000    90000 |    85085    85237    125 |  0.000 % |
227.73/227.92	c |    360385 |     900    18000    90000 |    74531    65657    125 |  0.000 % |
228.13/228.35	c |    361044 |     900    18000    90000 |    74531    66316    125 |  0.000 % |
228.64/228.84	c |    361765 |     900    18000    90000 |    74531    67037    125 |  0.000 % |
229.13/229.35	c |    362557 |     900    18000    90000 |    74531    67829    125 |  0.000 % |
229.74/229.91	c |    363430 |     900    18000    90000 |    74531    68702    125 |  0.000 % |
230.33/230.50	c |    364390 |     900    18000    90000 |    74531    69662    125 |  0.000 % |
230.93/231.18	c |    365443 |     900    18000    90000 |    74531    70715    125 |  0.000 % |
231.74/231.90	c |    366601 |     900    18000    90000 |    74531    71873    125 |  0.000 % |
232.44/232.67	c |    367877 |     900    18000    90000 |    74531    73149    125 |  0.000 % |
233.34/233.52	c |    369277 |     900    18000    90000 |    74531    74549    125 |  0.000 % |
234.24/234.41	c |    370817 |     900    18000    90000 | 2147483647    68635    125 |  0.000 % |
235.24/235.44	c |    372512 |     900    18000    90000 | 2147483647    70330    125 |  0.000 % |
236.44/236.61	c |    374376 |     900    18000    90000 | 2147483647    72194    125 |  0.000 % |
237.74/237.96	c |    376428 |     900    18000    90000 | 2147483647    74246    125 |  0.000 % |
239.24/239.43	c |    378681 |     900    18000    90000 | 2147483647    76499    125 |  0.000 % |
240.83/241.07	c |    381159 |     900    18000    90000 | 2147483647    78977    125 |  0.000 % |
242.73/242.91	c |    383884 |     900    18000    90000 | 2147483647    81702    125 |  0.000 % |
244.93/245.10	c |    386882 |     900    18000    90000 | 2147483647    84700    125 |  0.000 % |
247.34/247.57	c |    390179 |     900    18000    90000 |    87818    87997    125 |  0.000 % |
249.93/250.11	c |    393805 |     900    18000    90000 |    87818    80866    125 |  0.000 % |
249.93/250.19	c |    393905 |     900    18000    90000 |    87818    80966    125 |  0.000 % |
250.03/250.28	c |    394018 |     900    18000    90000 |    87818    81079    125 |  0.000 % |
250.23/250.40	c |    394140 |     900    18000    90000 |    87818    81201    125 |  0.000 % |
250.33/250.51	c |    394274 |     900    18000    90000 |    87818    81335    125 |  0.000 % |
250.43/250.63	c |    394421 |     900    18000    90000 |    87818    81482    125 |  0.000 % |
250.54/250.75	c |    394581 |     900    18000    90000 |    87818    81642    125 |  0.000 % |
250.73/250.92	c |    394758 |     900    18000    90000 |    87818    81819    125 |  0.000 % |
250.83/251.09	c |    394951 |     900    18000    90000 |    87818    82012    125 |  0.000 % |
251.03/251.27	c |    395166 |     900    18000    90000 |    87818    82227    125 |  0.000 % |
251.23/251.44	c |    395401 |     900    18000    90000 |    87818    82462    125 |  0.000 % |
251.43/251.63	c |    395657 |     900    18000    90000 |    87818    82718    125 |  0.000 % |
251.63/251.83	c |    395939 |     900    18000    90000 |    87818    83000    125 |  0.000 % |
251.83/252.08	c |    396249 |     900    18000    90000 |    87818    83310    125 |  0.000 % |
252.13/252.35	c |    396588 |     900    18000    90000 |    87818    83649    125 |  0.000 % |
252.43/252.69	c |    396962 |     900    18000    90000 |    87818    84023    125 |  0.000 % |
252.83/253.00	c |    397371 |     900    18000    90000 |    87818    84432    125 |  0.000 % |
253.13/253.35	c |    397820 |     900    18000    90000 |    87818    84881    125 |  0.000 % |
253.53/253.74	c |    398315 |     900    18000    90000 |    87818    85376    125 |  0.000 % |
253.93/254.15	c |    398857 |     900    18000    90000 |    87818    85918    125 |  0.000 % |
254.43/254.64	c |    399454 |     900    18000    90000 |    87818    86515    125 |  0.000 % |
254.93/255.14	c |    400110 |     900    18000    90000 |    87063    87171    125 |  0.000 % |
255.43/255.69	c |    400831 |     900    18000    90000 |    87063    76159    125 |  0.000 % |
256.03/256.24	c |    401624 |     900    18000    90000 |    87063    76952    125 |  0.000 % |
256.63/256.82	c |    402496 |     900    18000    90000 |    87063    77824    125 |  0.000 % |
257.33/257.50	c |    403455 |     900    18000    90000 |    87063    78783    125 |  0.000 % |
258.03/258.25	c |    404508 |     900    18000    90000 |    87063    79836    125 |  0.000 % |
258.93/259.10	c |    405666 |     900    18000    90000 |    87063    80994    125 |  0.000 % |
259.73/259.97	c |    406939 |     900    18000    90000 |    87063    82267    125 |  0.000 % |
260.83/261.00	c |    408342 |     900    18000    90000 |    87063    83670    125 |  0.000 % |
261.93/262.13	c |    409883 |     900    18000    90000 |    87063    85211    125 |  0.000 % |
263.13/263.33	c |    411577 |     900    18000    90000 |    85328    75992    124 |  0.000 % |
264.43/264.60	c |    413441 |     900    18000    90000 |    85328    77856    124 |  0.000 % |
265.73/265.99	c |    415491 |     900    18000    90000 |    85328    79906    124 |  0.000 % |
267.32/267.52	c |    417744 |     900    18000    90000 |    85328    82159    125 |  0.000 % |
269.02/269.24	c |    420226 |     900    18000    90000 |    84415    84641    125 |  0.000 % |
270.92/271.12	c |    422951 |     900    18000    90000 |    84415    77711    125 |  0.000 % |
272.92/273.19	c |    425949 |     900    18000    90000 |    84415    80709    125 |  0.000 % |
275.42/275.66	c |    429245 |     900    18000    90000 |    84415    84005    125 |  0.000 % |
277.92/278.11	c |    432870 |     900    18000    90000 |    75182    69657    125 |  0.000 % |
280.42/280.62	c |    436857 |     900    18000    90000 |    75182    73644    125 |  0.000 % |
280.42/280.69	c |    436957 |     900    18000    90000 |    75182    73744    125 |  0.000 % |
280.52/280.77	c |    437068 |     900    18000    90000 |    75182    73855    125 |  0.000 % |
280.62/280.88	c |    437189 |     900    18000    90000 |    75182    73976    125 |  0.000 % |
280.72/280.99	c |    437323 |     900    18000    90000 |    75182    74110    125 |  0.000 % |
280.92/281.11	c |    437471 |     900    18000    90000 |    75182    74258    125 |  0.000 % |
281.02/281.23	c |    437633 |     900    18000    90000 |    75182    74420    125 |  0.000 % |
281.12/281.36	c |    437809 |     900    18000    90000 |    75182    74596    125 |  0.000 % |
281.22/281.49	c |    438002 |     900    18000    90000 |    75182    74789    125 |  0.000 % |
281.42/281.67	c |    438214 |     900    18000    90000 |    75182    75001    125 |  0.000 % |
281.62/281.86	c |    438447 |     900    18000    90000 |    75182    75234    125 |  0.000 % |
281.82/282.08	c |    438703 |     900    18000    90000 |    75182    67967    125 |  0.000 % |
282.02/282.25	c |    438985 |     900    18000    90000 |    75182    68249    125 |  0.000 % |
282.22/282.45	c |    439294 |     900    18000    90000 |    75182    68558    125 |  0.000 % |
282.42/282.68	c |    439633 |     900    18000    90000 |    75182    68897    125 |  0.000 % |
282.72/282.94	c |    440005 |     900    18000    90000 | 2147483647    69269    125 |  0.000 % |
283.02/283.23	c |    440415 |     900    18000    90000 | 2147483647    69679    125 |  0.000 % |
283.32/283.51	c |    440867 |     900    18000    90000 | 2147483647    70131    125 |  0.000 % |
283.62/283.83	c |    441360 |     900    18000    90000 | 2147483647    70624    125 |  0.000 % |
283.92/284.17	c |    441903 |     900    18000    90000 | 2147483647    71167    125 |  0.000 % |
284.32/284.55	c |    442500 |     900    18000    90000 | 2147483647    71764    125 |  0.000 % |
284.82/285.01	c |    443156 |     900    18000    90000 | 2147483647    72420    125 |  0.000 % |
285.32/285.51	c |    443877 |     900    18000    90000 | 2147483647    73141    125 |  0.000 % |
285.82/286.05	c |    444670 |     900    18000    90000 | 2147483647    73934    125 |  0.000 % |
286.32/286.56	c |    445541 |     900    18000    90000 | 2147483647    74805    125 |  0.000 % |
287.02/287.23	c |    446501 |     900    18000    90000 | 2147483647    75765    124 |  0.000 % |
287.72/287.97	c |    447555 |     900    18000    90000 | 2147483647    76819    124 |  0.000 % |
288.61/288.82	c |    448713 |     900    18000    90000 | 2147483647    77977    124 |  0.000 % |
289.41/289.68	c |    449986 |     900    18000    90000 | 2147483647    79250    124 |  0.000 % |
290.41/290.64	c |    451387 |     900    18000    90000 | 2147483647    80651    124 |  0.000 % |
291.51/291.72	c |    452927 |     900    18000    90000 | 2147483647    82191    125 |  0.000 % |
292.71/292.94	c |    454621 |     900    18000    90000 | 2147483647    83885    125 |  0.000 % |
294.01/294.27	c |    456484 |     900    18000    90000 | 2147483647    85748    125 |  0.000 % |
295.61/295.85	c |    458533 |     900    18000    90000 | 2147483647    87797    125 |  0.000 % |
297.31/297.57	c |    460786 |     900    18000    90000 |    89264    78748    124 |  0.000 % |
299.11/299.31	c |    463264 |     900    18000    90000 |    89264    81226    124 |  0.000 % |
301.01/301.28	c |    465990 |     900    18000    90000 |    89264    83952    124 |  0.000 % |
303.11/303.35	c |    468987 |     900    18000    90000 |    89264    86949    124 |  0.000 % |
305.51/305.71	c |    472284 |     900    18000    90000 |    87962    79292    124 |  0.000 % |
308.01/308.28	c |    475909 |     900    18000    90000 |    87962    82917    125 |  0.000 % |
310.81/311.08	c |    479896 |     900    18000    90000 |    87962    86904    125 |  0.000 % |
313.91/314.17	c |    484282 |     900    18000    90000 |    87009    80979    126 |  0.000 % |
314.01/314.25	c |    484383 |     900    18000    90000 |    87009    81080    126 |  0.000 % |
314.11/314.34	c |    484493 |     900    18000    90000 |    87009    81190    126 |  0.000 % |
314.21/314.43	c |    484614 |     900    18000    90000 |    87009    81311    126 |  0.000 % |
314.31/314.54	c |    484747 |     900    18000    90000 |    87009    81444    126 |  0.000 % |
314.41/314.66	c |    484893 |     900    18000    90000 |    87009    81590    126 |  0.000 % |
314.50/314.77	c |    485054 |     900    18000    90000 |    87009    81751    126 |  0.000 % |
314.70/314.94	c |    485230 |     900    18000    90000 |    87009    81927    126 |  0.000 % |
314.90/315.10	c |    485423 |     900    18000    90000 |    87009    82120    126 |  0.000 % |
315.00/315.27	c |    485635 |     900    18000    90000 |    87009    82332    126 |  0.000 % |
315.20/315.45	c |    485872 |     900    18000    90000 |    87009    82569    126 |  0.000 % |
315.41/315.65	c |    486128 |     900    18000    90000 |    87009    82825    126 |  0.000 % |
315.60/315.86	c |    486410 |     900    18000    90000 |    87009    83107    126 |  0.000 % |
315.80/316.09	c |    486720 |     900    18000    90000 |    87009    83417    126 |  0.000 % |
316.10/316.34	c |    487059 |     900    18000    90000 |    87009    83756    126 |  0.000 % |
316.40/316.67	c |    487431 |     900    18000    90000 |    87009    84128    126 |  0.000 % |
316.70/316.99	c |    487841 |     900    18000    90000 |    87009    84538    126 |  0.000 % |
317.10/317.34	c |    488291 |     900    18000    90000 |    87009    84988    126 |  0.000 % |
317.50/317.71	c |    488784 |     900    18000    90000 |    87009    85481    126 |  0.000 % |
317.90/318.13	c |    489326 |     900    18000    90000 |    87009    86023    126 |  0.000 % |
318.30/318.54	c |    489922 |     900    18000    90000 |    87009    86619    126 |  0.000 % |
318.80/319.06	c |    490578 |     900    18000    90000 |    86704    76242    126 |  0.000 % |
319.30/319.56	c |    491299 |     900    18000    90000 |    86704    76963    126 |  0.000 % |
319.80/320.08	c |    492091 |     900    18000    90000 |    86704    77755    126 |  0.000 % |
320.50/320.73	c |    492963 |     900    18000    90000 |    86704    78627    126 |  0.000 % |
321.20/321.41	c |    493927 |     900    18000    90000 |    86704    79591    126 |  0.000 % |
321.90/322.11	c |    494982 |     900    18000    90000 |    86704    80646    126 |  0.000 % |
322.60/322.88	c |    496141 |     900    18000    90000 |    86704    81805    126 |  0.000 % |
323.50/323.79	c |    497415 |     900    18000    90000 |    86704    83079    126 |  0.000 % |
324.60/324.83	c |    498815 |     900    18000    90000 |    86704    84479    126 |  0.000 % |
325.80/326.03	c |    500355 |     900    18000    90000 |    85664    75420    125 |  0.000 % |
326.90/327.12	c |    502052 |     900    18000    90000 |    85664    77117    126 |  0.000 % |
328.20/328.42	c |    503915 |     900    18000    90000 |    85664    78980    126 |  0.000 % |
329.49/329.79	c |    505964 |     900    18000    90000 |    85664    81029    126 |  0.000 % |
331.09/331.38	c |    508217 |     900    18000    90000 |    85664    83282    126 |  0.000 % |
332.89/333.18	c |    510697 |     900    18000    90000 |    85067    76331    126 |  0.000 % |
334.79/335.03	c |    513423 |     900    18000    90000 |    85067    79057    125 |  0.000 % |
336.89/337.10	c |    516424 |     900    18000    90000 |    85067    82058    125 |  0.000 % |
339.29/339.51	c |    519720 |     900    18000    90000 |    85067    85354    125 |  0.000 % |
341.59/341.89	c |    523346 |     900    18000    90000 |    75993    70996    127 |  0.000 % |
344.29/344.57	c |    527333 |     900    18000    90000 |    75993    74983    127 |  0.000 % |
347.19/347.50	c |    531719 |     900    18000    90000 | 2147483647    71738    127 |  0.000 % |
350.39/350.62	c |    536544 |     900    18000    90000 | 2147483647    76563    128 |  0.000 % |
350.49/350.71	c |    536645 |     900    18000    90000 | 2147483647    76664    128 |  0.000 % |
350.59/350.80	c |    536756 |     900    18000    90000 | 2147483647    76775    128 |  0.000 % |
350.59/350.88	c |    536878 |     900    18000    90000 | 2147483647    76897    128 |  0.000 % |
350.69/350.99	c |    537012 |     900    18000    90000 | 2147483647    77031    128 |  0.000 % |
350.89/351.13	c |    537158 |     900    18000    90000 | 2147483647    77177    128 |  0.000 % |
350.99/351.26	c |    537318 |     900    18000    90000 | 2147483647    77337    128 |  0.000 % |
351.09/351.38	c |    537494 |     900    18000    90000 | 2147483647    77513    128 |  0.000 % |
351.29/351.53	c |    537688 |     900    18000    90000 | 2147483647    77707    127 |  0.000 % |
351.39/351.68	c |    537903 |     900    18000    90000 | 2147483647    77922    127 |  0.000 % |
351.58/351.84	c |    538138 |     900    18000    90000 | 2147483647    78157    127 |  0.000 % |
351.79/352.01	c |    538396 |     900    18000    90000 | 2147483647    78415    127 |  0.000 % |
351.99/352.21	c |    538677 |     900    18000    90000 | 2147483647    78696    127 |  0.000 % |
352.19/352.46	c |    538989 |     900    18000    90000 | 2147483647    79008    127 |  0.000 % |
352.48/352.72	c |    539329 |     900    18000    90000 | 2147483647    79348    127 |  0.000 % |
352.68/353.00	c |    539702 |     900    18000    90000 | 2147483647    79721    127 |  0.000 % |
353.08/353.31	c |    540111 |     900    18000    90000 | 2147483647    80130    127 |  0.000 % |
353.38/353.66	c |    540562 |     900    18000    90000 | 2147483647    80581    127 |  0.000 % |
353.78/354.03	c |    541055 |     900    18000    90000 | 2147483647    81074    127 |  0.000 % |
354.18/354.42	c |    541598 |     900    18000    90000 | 2147483647    81617    127 |  0.000 % |
354.58/354.84	c |    542194 |     900    18000    90000 | 2147483647    82213    127 |  0.000 % |
355.09/355.32	c |    542851 |     900    18000    90000 | 2147483647    82870    127 |  0.000 % |
355.58/355.80	c |    543571 |     900    18000    90000 | 2147483647    83590    127 |  0.000 % |
356.09/356.38	c |    544363 |     900    18000    90000 | 2147483647    84382    127 |  0.000 % |
356.78/357.04	c |    545235 |     900    18000    90000 | 2147483647    85254    127 |  0.000 % |
357.48/357.77	c |    546194 |     900    18000    90000 | 2147483647    86213    127 |  0.000 % |
358.28/358.57	c |    547247 |     900    18000    90000 | 2147483647    87266    127 |  0.000 % |
359.18/359.46	c |    548406 |     900    18000    90000 | 2147483647    88425    127 |  0.000 % |
360.18/360.41	c |    549680 |     900    18000    90000 | 2147483647    89699    127 |  0.000 % |
361.18/361.46	c |    551080 |     900    18000    90000 |    90019    79281    127 |  0.000 % |
362.27/362.58	c |    552620 |     900    18000    90000 |    90019    80821    127 |  0.000 % |
363.57/363.85	c |    554316 |     900    18000    90000 |    90019    82517    127 |  0.000 % |
364.88/365.17	c |    556181 |     900    18000    90000 |    90019    84382    127 |  0.000 % |
366.47/366.77	c |    558232 |     900    18000    90000 |    90019    86433    127 |  0.000 % |
368.18/368.49	c |    560487 |     900    18000    90000 |    88202    76535    126 |  0.000 % |
369.97/370.24	c |    562967 |     900    18000    90000 |    88202    79015    127 |  0.000 % |
371.87/372.16	c |    565692 |     900    18000    90000 |    88202    81740    126 |  0.000 % |
373.97/374.27	c |    568690 |     900    18000    90000 |    88202    84738    126 |  0.000 % |
376.37/376.68	c |    571988 |     900    18000    90000 |    86048    77582    127 |  0.000 % |
378.87/379.18	c |    575613 |     900    18000    90000 |    86048    81207    127 |  0.000 % |
381.67/381.96	c |    579601 |     900    18000    90000 |    86048    85195    127 |  0.000 % |
384.77/385.09	c |    583986 |     900    18000    90000 |    85594    79439    127 |  0.000 % |
388.36/388.66	c |    588810 |     900    18000    90000 |    85594    84263    127 |  0.000 % |
392.47/392.71	c |    594115 |     900    18000    90000 |    85455    79502    128 |  0.000 % |
392.47/392.79	c |    594215 |     900    18000    90000 |    85455    79602    128 |  0.000 % |
392.56/392.88	c |    594325 |     900    18000    90000 |    85455    79712    128 |  0.000 % |
392.66/392.98	c |    594446 |     900    18000    90000 |    85455    79833    128 |  0.000 % |
392.76/393.09	c |    594579 |     900    18000    90000 |    85455    79966    128 |  0.000 % |
392.96/393.22	c |    594725 |     900    18000    90000 |    85455    80112    128 |  0.000 % |
393.06/393.35	c |    594885 |     900    18000    90000 |    85455    80272    128 |  0.000 % |
393.16/393.49	c |    595061 |     900    18000    90000 |    85455    80448    128 |  0.000 % |
393.36/393.66	c |    595257 |     900    18000    90000 |    85455    80644    127 |  0.000 % |
393.57/393.85	c |    595471 |     900    18000    90000 |    85455    80858    127 |  0.000 % |
393.76/394.01	c |    595704 |     900    18000    90000 |    85455    81091    127 |  0.000 % |
393.86/394.19	c |    595960 |     900    18000    90000 |    85455    81347    127 |  0.000 % |
394.16/394.41	c |    596241 |     900    18000    90000 |    85455    81628    127 |  0.000 % |
394.36/394.64	c |    596551 |     900    18000    90000 |    85455    81938    127 |  0.000 % |
394.66/394.92	c |    596891 |     900    18000    90000 |    85455    82278    127 |  0.000 % |
394.96/395.20	c |    597264 |     900    18000    90000 |    85455    82651    127 |  0.000 % |
395.26/395.53	c |    597675 |     900    18000    90000 |    85455    83062    127 |  0.000 % |
395.56/395.90	c |    598124 |     900    18000    90000 |    85455    83511    127 |  0.000 % |
395.96/396.26	c |    598621 |     900    18000    90000 |    85455    84008    127 |  0.000 % |
396.36/396.69	c |    599166 |     900    18000    90000 |    85455    84553    127 |  0.000 % |
396.86/397.16	c |    599764 |     900    18000    90000 |    85455    85151    127 |  0.000 % |
397.36/397.66	c |    600419 |     900    18000    90000 |    85388    75163    127 |  0.000 % |
397.86/398.16	c |    601141 |     900    18000    90000 |    85388    75885    127 |  0.000 % |
398.46/398.71	c |    601935 |     900    18000    90000 |    85388    76679    127 |  0.000 % |
398.96/399.29	c |    602806 |     900    18000    90000 |    85388    77550    127 |  0.000 % |
399.65/399.90	c |    603765 |     900    18000    90000 |    85388    78509    127 |  0.000 % |
400.35/400.64	c |    604818 |     900    18000    90000 |    85388    79562    127 |  0.000 % |
401.16/401.50	c |    605976 |     900    18000    90000 |    85388    80720    127 |  0.000 % |
402.05/402.37	c |    607249 |     900    18000    90000 |    85388    81993    127 |  0.000 % |
403.05/403.38	c |    608650 |     900    18000    90000 |    85388    83394    127 |  0.000 % |
404.25/404.50	c |    610192 |     900    18000    90000 |    84744    84936    127 |  0.000 % |
405.35/405.66	c |    611888 |     900    18000    90000 |    84744    77024    126 |  0.000 % |
406.66/406.99	c |    613751 |     900    18000    90000 |    84744    78887    126 |  0.000 % |
408.15/408.42	c |    615800 |     900    18000    90000 |    84744    80936    126 |  0.000 % |
409.85/410.16	c |    618053 |     900    18000    90000 |    84744    83189    126 |  0.000 % |
411.76/412.06	c |    620534 |     900    18000    90000 |    75490    67269    127 |  0.000 % |
413.46/413.75	c |    623260 |     900    18000    90000 |    75490    69995    127 |  0.000 % |
415.36/415.63	c |    626257 |     900    18000    90000 |    75490    72992    127 |  0.000 % |
417.56/417.80	c |    629553 |     900    18000    90000 |    75490    68707    127 |  0.000 % |
419.66/419.98	c |    633178 |     900    18000    90000 | 2147483647    72332    127 |  0.000 % |
422.16/422.42	c |    637166 |     900    18000    90000 | 2147483647    76320    127 |  0.000 % |
424.95/425.26	c |    641552 |     900    18000    90000 | 2147483647    80706    127 |  0.000 % |
428.15/428.46	c |    646377 |     900    18000    90000 | 2147483647    85531    127 |  0.000 % |
432.06/432.37	c |    651683 |     900    18000    90000 |    89155    80039    127 |  0.000 % |
436.25/436.53	c |    657520 |     900    18000    90000 |    89155    85876    127 |  0.000 % |
436.35/436.61	c |    657621 |     900    18000    90000 |    89155    85977    127 |  0.000 % |
436.45/436.70	c |    657731 |     900    18000    90000 |    89155    86087    127 |  0.000 % |
436.55/436.81	c |    657855 |     900    18000    90000 |    89155    86211    127 |  0.000 % |
436.65/436.92	c |    657989 |     900    18000    90000 |    89155    86345    127 |  0.000 % |
436.75/437.06	c |    658136 |     900    18000    90000 |    89155    86492    127 |  0.000 % |
436.85/437.17	c |    658296 |     900    18000    90000 |    89155    86652    127 |  0.000 % |
437.05/437.32	c |    658472 |     900    18000    90000 |    89155    86828    127 |  0.000 % |
437.15/437.48	c |    658665 |     900    18000    90000 |    89155    87021    127 |  0.000 % |
437.35/437.65	c |    658879 |     900    18000    90000 |    89155    87235    127 |  0.000 % |
437.55/437.83	c |    659113 |     900    18000    90000 |    89155    87469    127 |  0.000 % |
437.75/438.03	c |    659369 |     900    18000    90000 |    89155    87725    127 |  0.000 % |
437.95/438.23	c |    659653 |     900    18000    90000 |    89155    88009    127 |  0.000 % |
438.15/438.49	c |    659963 |     900    18000    90000 |    89155    88319    127 |  0.000 % |
438.45/438.77	c |    660302 |     900    18000    90000 |    88356    88658    127 |  0.000 % |
438.85/439.10	c |    660676 |     900    18000    90000 |    88356    77072    127 |  0.000 % |
439.15/439.41	c |    661085 |     900    18000    90000 |    88356    77481    127 |  0.000 % |
439.45/439.74	c |    661534 |     900    18000    90000 |    88356    77930    127 |  0.000 % |
439.85/440.12	c |    662028 |     900    18000    90000 |    88356    78424    127 |  0.000 % |
440.25/440.52	c |    662570 |     900    18000    90000 |    88356    78966    127 |  0.000 % |
440.65/440.99	c |    663166 |     900    18000    90000 |    88356    79562    127 |  0.000 % |
441.14/441.48	c |    663821 |     900    18000    90000 |    88356    80217    127 |  0.000 % |
441.74/442.03	c |    664541 |     900    18000    90000 |    88356    80937    127 |  0.000 % |
442.34/442.64	c |    665333 |     900    18000    90000 |    88356    81729    127 |  0.000 % |
442.95/443.27	c |    666204 |     900    18000    90000 |    88356    82600    127 |  0.000 % |
443.74/444.01	c |    667162 |     900    18000    90000 |    88356    83558    127 |  0.000 % |
444.54/444.81	c |    668215 |     900    18000    90000 |    88356    84611    126 |  0.000 % |
445.34/445.62	c |    669373 |     900    18000    90000 |    88356    85769    126 |  0.000 % |
446.35/446.61	c |    670652 |     900    18000    90000 |    86396    75691    126 |  0.000 % |
447.24/447.55	c |    672053 |     900    18000    90000 |    86396    77092    126 |  0.000 % |
448.34/448.64	c |    673594 |     900    18000    90000 |    86396    78633    126 |  0.000 % |
449.44/449.77	c |    675288 |     900    18000    90000 |    86396    80327    126 |  0.000 % |
450.75/451.07	c |    677151 |     900    18000    90000 |    86396    82190    126 |  0.000 % |
452.24/452.58	c |    679200 |     900    18000    90000 |    86396    84239    126 |  0.000 % |
453.94/454.22	c |    681453 |     900    18000    90000 |    85039    76408    127 |  0.000 % |
455.64/455.94	c |    683931 |     900    18000    90000 |    85039    78886    127 |  0.000 % |
457.64/457.93	c |    686658 |     900    18000    90000 |    85039    81613    127 |  0.000 % |
459.84/460.12	c |    689656 |     900    18000    90000 |    85039    84611    127 |  0.000 % |
462.14/462.45	c |    692952 |     900    18000    90000 |    84959    78110    127 |  0.000 % |
464.74/465.01	c |    696578 |     900    18000    90000 |    84959    81736    127 |  0.000 % |
467.73/468.02	c |    700565 |     900    18000    90000 |    85158    75178    127 |  0.000 % |
470.73/471.01	c |    704950 |     900    18000    90000 |    85158    79563    127 |  0.000 % |
474.13/474.48	c |    709776 |     900    18000    90000 |    85158    84389    127 |  0.000 % |
477.93/478.25	c |    715082 |     900    18000    90000 |    84615    79421    126 |  0.000 % |
482.22/482.50	c |    720918 |     900    18000    90000 |    84340    74397    126 |  0.000 % |
486.42/486.74	c |    727339 |     900    18000    90000 |    84340    80818    126 |  0.000 % |
486.52/486.82	c |    727439 |     900    18000    90000 |    84340    80918    126 |  0.000 % |
486.62/486.92	c |    727551 |     900    18000    90000 |    84340    81030    126 |  0.000 % |
486.72/487.05	c |    727674 |     900    18000    90000 |    84340    81153    126 |  0.000 % |
486.82/487.16	c |    727808 |     900    18000    90000 |    84340    81287    126 |  0.000 % |
486.93/487.28	c |    727955 |     900    18000    90000 |    84340    81434    126 |  0.000 % |
487.12/487.40	c |    728115 |     900    18000    90000 |    84340    81594    126 |  0.000 % |
487.22/487.53	c |    728291 |     900    18000    90000 |    84340    81770    126 |  0.000 % |
487.32/487.68	c |    728484 |     900    18000    90000 |    84340    81963    126 |  0.000 % |
487.52/487.84	c |    728696 |     900    18000    90000 |    84340    82175    126 |  0.000 % |
487.72/488.01	c |    728930 |     900    18000    90000 |    84340    82409    126 |  0.000 % |
487.92/488.21	c |    729186 |     900    18000    90000 |    84340    82665    126 |  0.000 % |
488.12/488.41	c |    729467 |     900    18000    90000 |    84340    82946    126 |  0.000 % |
488.32/488.64	c |    729776 |     900    18000    90000 |    84340    83255    126 |  0.000 % |
488.62/488.92	c |    730120 |     900    18000    90000 |    83482    83599    126 |  0.000 % |
488.92/489.21	c |    730493 |     900    18000    90000 |    83482    74342    125 |  0.000 % |
489.12/489.49	c |    730903 |     900    18000    90000 |    83482    74752    125 |  0.000 % |
489.42/489.77	c |    731352 |     900    18000    90000 |    83482    75201    125 |  0.000 % |
489.82/490.11	c |    731847 |     900    18000    90000 |    83482    75696    125 |  0.000 % |
490.22/490.52	c |    732389 |     900    18000    90000 |    83482    76238    125 |  0.000 % |
490.62/490.93	c |    732985 |     900    18000    90000 |    83482    76834    125 |  0.000 % |
491.02/491.38	c |    733640 |     900    18000    90000 |    83482    77489    125 |  0.000 % |
491.52/491.87	c |    734360 |     900    18000    90000 |    83482    78209    125 |  0.000 % |
492.02/492.38	c |    735152 |     900    18000    90000 |    83482    79001    125 |  0.000 % |
492.62/492.94	c |    736025 |     900    18000    90000 |    83482    79874    125 |  0.000 % |
493.42/493.71	c |    736983 |     900    18000    90000 |    83482    80832    125 |  0.000 % |
494.12/494.46	c |    738036 |     900    18000    90000 |    83482    81885    125 |  0.000 % |
495.01/495.35	c |    739195 |     900    18000    90000 |    83482    83044    125 |  0.000 % |
495.91/496.25	c |    740468 |     900    18000    90000 |    74274    66383    126 |  0.000 % |
496.71/497.09	c |    741868 |     900    18000    90000 |    74274    67783    126 |  0.000 % |
497.71/498.01	c |    743408 |     900    18000    90000 |    74274    69323    126 |  0.000 % |
498.71/499.07	c |    745105 |     900    18000    90000 |    74274    71020    126 |  0.000 % |
499.81/500.17	c |    746968 |     900    18000    90000 |    74274    72883    126 |  0.000 % |
501.21/501.52	c |    749017 |     900    18000    90000 |    74274    67476    125 |  0.000 % |
502.61/502.96	c |    751270 |     900    18000    90000 | 2147483647    69729    125 |  0.000 % |
504.21/504.55	c |    753748 |     900    18000    90000 | 2147483647    72207    125 |  0.000 % |
506.11/506.41	c |    756474 |     900    18000    90000 | 2147483647    74933    126 |  0.000 % |
508.21/508.51	c |    759472 |     900    18000    90000 | 2147483647    77931    126 |  0.000 % |
510.51/510.81	c |    762770 |     900    18000    90000 | 2147483647    81229    126 |  0.000 % |
513.01/513.35	c |    766397 |     900    18000    90000 | 2147483647    84856    126 |  0.000 % |
516.00/516.35	c |    770385 |     900    18000    90000 |    88460    78824    126 |  0.000 % |
519.40/519.70	c |    774770 |     900    18000    90000 |    88460    83209    126 |  0.000 % |
523.20/523.50	c |    779593 |     900    18000    90000 |    88460    88032    127 |  0.000 % |
526.90/527.24	c |    784898 |     900    18000    90000 |    88440    82226    127 |  0.000 % |
531.10/531.48	c |    790733 |     900    18000    90000 |    87329    77106    127 |  0.000 % |
535.50/535.83	c |    797151 |     900    18000    90000 |    87329    83524    128 |  0.000 % |
540.59/540.97	c |    804213 |     900    18000    90000 |    86375    79882    128 |  0.000 % |
540.69/541.04	c |    804314 |     900    18000    90000 |    86375    79983    128 |  0.000 % |
540.80/541.12	c |    804425 |     900    18000    90000 |    86375    80094    128 |  0.000 % |
540.90/541.21	c |    804549 |     900    18000    90000 |    86375    80218    128 |  0.000 % |
540.99/541.34	c |    804683 |     900    18000    90000 |    86375    80352    128 |  0.000 % |
541.09/541.46	c |    804831 |     900    18000    90000 |    86375    80500    128 |  0.000 % |
541.19/541.59	c |    804993 |     900    18000    90000 |    86375    80662    128 |  0.000 % |
541.39/541.72	c |    805169 |     900    18000    90000 |    86375    80838    128 |  0.000 % |
541.49/541.88	c |    805363 |     900    18000    90000 |    86375    81032    128 |  0.000 % |
541.69/542.04	c |    805575 |     900    18000    90000 |    86375    81244    128 |  0.000 % |
541.90/542.24	c |    805808 |     900    18000    90000 |    86375    81477    128 |  0.000 % |
542.09/542.44	c |    806064 |     900    18000    90000 |    86375    81733    128 |  0.000 % |
542.29/542.67	c |    806345 |     900    18000    90000 |    86375    82014    128 |  0.000 % |
542.59/542.90	c |    806654 |     900    18000    90000 |    86375    82323    127 |  0.000 % |
542.79/543.15	c |    806993 |     900    18000    90000 |    86375    82662    127 |  0.000 % |
543.10/543.45	c |    807368 |     900    18000    90000 |    86375    83037    127 |  0.000 % |
543.39/543.75	c |    807778 |     900    18000    90000 |    86375    83447    127 |  0.000 % |
543.69/544.08	c |    808227 |     900    18000    90000 |    86375    83896    127 |  0.000 % |
544.10/544.43	c |    808720 |     900    18000    90000 |    86375    84389    127 |  0.000 % |
544.49/544.83	c |    809262 |     900    18000    90000 |    86375    84931    127 |  0.000 % |
544.89/545.28	c |    809858 |     900    18000    90000 |    86375    85527    127 |  0.000 % |
545.49/545.82	c |    810514 |     900    18000    90000 |    85670    74875    128 |  0.000 % |
545.99/546.34	c |    811234 |     900    18000    90000 |    85670    75595    128 |  0.000 % |
546.49/546.88	c |    812027 |     900    18000    90000 |    85670    76388    128 |  0.000 % |
547.19/547.55	c |    812899 |     900    18000    90000 |    85670    77260    128 |  0.000 % |
547.79/548.19	c |    813857 |     900    18000    90000 |    85670    78218    128 |  0.000 % |
548.49/548.90	c |    814910 |     900    18000    90000 |    85670    79271    128 |  0.000 % |
549.39/549.76	c |    816068 |     900    18000    90000 |    85670    80429    128 |  0.000 % |
550.39/550.77	c |    817341 |     900    18000    90000 |    85670    81702    128 |  0.000 % |
551.39/551.78	c |    818741 |     900    18000    90000 |    85670    83102    128 |  0.000 % |
552.59/552.93	c |    820282 |     900    18000    90000 |    84362    84643    128 |  0.000 % |
553.69/554.05	c |    821977 |     900    18000    90000 |    84362    76095    128 |  0.000 % |
554.99/555.32	c |    823840 |     900    18000    90000 |    84362    77958    128 |  0.000 % |
556.39/556.74	c |    825890 |     900    18000    90000 |    84362    80008    128 |  0.000 % |
557.98/558.33	c |    828143 |     900    18000    90000 |    84362    82261    128 |  0.000 % |
559.78/560.18	c |    830622 |     900    18000    90000 |    84118    74678    127 |  0.000 % |
561.69/562.04	c |    833347 |     900    18000    90000 |    84118    77403    127 |  0.000 % |
563.68/564.10	c |    836347 |     900    18000    90000 |    84118    80403    127 |  0.000 % |
565.98/566.38	c |    839643 |     900    18000    90000 |    84118    83699    127 |  0.000 % |
568.48/568.80	c |    843269 |     900    18000    90000 |    84057    78050    127 |  0.000 % |
571.18/571.53	c |    847257 |     900    18000    90000 |    84057    82038    127 |  0.000 % |
574.08/574.48	c |    851644 |     900    18000    90000 |    76130    70112    126 |  0.000 % |
577.18/577.57	c |    856470 |     900    18000    90000 |    76130    74938    126 |  0.000 % |
580.78/581.16	c |    861775 |     900    18000    90000 | 2147483647    72598    126 |  0.000 % |
584.78/585.14	c |    867611 |     900    18000    90000 | 2147483647    78434    127 |  0.000 % |
589.37/589.73	c |    874029 |     900    18000    90000 | 2147483647    84852    127 |  0.000 % |
594.28/594.66	c |    881088 |     900    18000    90000 |    90824    79252    126 |  0.000 % |
599.77/600.16	c |    888852 |     900    18000    90000 |    90824    87016    126 |  0.000 % |
599.87/600.25	c |    888953 |     900    18000    90000 |    90824    87117    126 |  0.000 % |
599.97/600.34	c |    889063 |     900    18000    90000 |    90824    87227    126 |  0.000 % |
600.07/600.46	c |    889185 |     900    18000    90000 |    90824    87349    126 |  0.000 % |
600.18/600.58	c |    889319 |     900    18000    90000 |    90824    87483    126 |  0.000 % |
600.37/600.71	c |    889465 |     900    18000    90000 |    90824    87629    126 |  0.000 % |
600.47/600.85	c |    889625 |     900    18000    90000 |    90824    87789    126 |  0.000 % |
600.57/601.00	c |    889801 |     900    18000    90000 |    90824    87965    126 |  0.000 % |
600.77/601.16	c |    889995 |     900    18000    90000 |    90824    88159    126 |  0.000 % |
600.97/601.32	c |    890207 |     900    18000    90000 |    88164    88371    126 |  0.000 % |
601.17/601.53	c |    890440 |     900    18000    90000 |    88164    75819    127 |  0.000 % |
601.37/601.75	c |    890698 |     900    18000    90000 |    88164    76077    127 |  0.000 % |
601.57/601.95	c |    890979 |     900    18000    90000 |    88164    76358    127 |  0.000 % |
601.77/602.16	c |    891288 |     900    18000    90000 |    88164    76667    127 |  0.000 % |
602.07/602.41	c |    891628 |     900    18000    90000 |    88164    77007    127 |  0.000 % |
602.27/602.67	c |    892000 |     900    18000    90000 |    88164    77379    127 |  0.000 % |
602.57/602.99	c |    892409 |     900    18000    90000 |    88164    77788    127 |  0.000 % |
602.97/603.33	c |    892859 |     900    18000    90000 |    88164    78238    126 |  0.000 % |
603.37/603.73	c |    893353 |     900    18000    90000 |    88164    78732    126 |  0.000 % |
603.77/604.11	c |    893895 |     900    18000    90000 |    88164    79274    126 |  0.000 % |
604.17/604.54	c |    894492 |     900    18000    90000 |    88164    79871    126 |  0.000 % |
604.67/605.02	c |    895147 |     900    18000    90000 |    88164    80526    126 |  0.000 % |
605.17/605.54	c |    895867 |     900    18000    90000 |    88164    81246    126 |  0.000 % |
605.77/606.12	c |    896660 |     900    18000    90000 |    88164    82039    126 |  0.000 % |
606.37/606.77	c |    897533 |     900    18000    90000 |    88164    82912    126 |  0.000 % |
607.17/607.53	c |    898492 |     900    18000    90000 |    88164    83871    126 |  0.000 % |
607.97/608.35	c |    899547 |     900    18000    90000 |    88164    84926    126 |  0.000 % |
608.87/609.29	c |    900705 |     900    18000    90000 |    85382    75051    126 |  0.000 % |
609.67/610.08	c |    901978 |     900    18000    90000 |    85382    76324    126 |  0.000 % |
610.57/610.97	c |    903379 |     900    18000    90000 |    85382    77725    127 |  0.000 % |
611.57/611.98	c |    904920 |     900    18000    90000 |    85382    79266    127 |  0.000 % |
612.86/613.23	c |    906614 |     900    18000    90000 |    85382    80960    127 |  0.000 % |
614.26/614.68	c |    908478 |     900    18000    90000 |    85382    82824    127 |  0.000 % |
615.87/616.20	c |    910529 |     900    18000    90000 |    84350    75219    127 |  0.000 % |
617.36/617.72	c |    912783 |     900    18000    90000 |    84350    77473    127 |  0.000 % |
619.06/619.50	c |    915263 |     900    18000    90000 |    84350    79953    127 |  0.000 % |
620.96/621.34	c |    917989 |     900    18000    90000 |    84350    82679    127 |  0.000 % |
623.27/623.61	c |    920986 |     900    18000    90000 |    74675    67026    127 |  0.000 % |
625.16/625.59	c |    924282 |     900    18000    90000 |    74675    70322    127 |  0.000 % |
627.56/627.92	c |    927907 |     900    18000    90000 |    74675    73947    127 |  0.000 % |
630.16/630.54	c |    931894 |     900    18000    90000 | 2147483647    70434    127 |  0.000 % |
633.16/633.56	c |    936279 |     900    18000    90000 | 2147483647    74819    126 |  0.000 % |
636.66/637.06	c |    941102 |     900    18000    90000 | 2147483647    79642    126 |  0.000 % |
640.35/640.73	c |    946410 |     900    18000    90000 | 2147483647    84950    126 |  0.000 % |
644.95/645.31	c |    952247 |     900    18000    90000 |    88540    79218    127 |  0.000 % |
649.66/650.01	c |    958665 |     900    18000    90000 |    88540    85636    127 |  0.000 % |
654.95/655.34	c |    965724 |     900    18000    90000 |    86972    81291    128 |  0.000 % |
660.45/660.86	c |    973488 |     900    18000    90000 |    85567    78322    129 |  0.000 % |
666.65/667.07	c |    982028 |     900    18000    90000 |    84834    76340    129 |  0.000 % |
666.75/667.16	c |    982128 |     900    18000    90000 |    84834    76440    129 |  0.000 % |
666.85/667.23	c |    982238 |     900    18000    90000 |    84834    76550    129 |  0.000 % |
666.95/667.32	c |    982359 |     900    18000    90000 |    84834    76671    129 |  0.000 % |
667.05/667.42	c |    982492 |     900    18000    90000 |    84834    76804    129 |  0.000 % |
667.14/667.54	c |    982638 |     900    18000    90000 |    84834    76950    129 |  0.000 % |
667.25/667.67	c |    982800 |     900    18000    90000 |    84834    77112    129 |  0.000 % |
667.44/667.81	c |    982978 |     900    18000    90000 |    84834    77290    129 |  0.000 % |
667.54/667.97	c |    983171 |     900    18000    90000 |    84834    77483    129 |  0.000 % |
667.74/668.13	c |    983383 |     900    18000    90000 |    84834    77695    129 |  0.000 % |
667.94/668.31	c |    983617 |     900    18000    90000 |    84834    77929    129 |  0.000 % |
668.04/668.49	c |    983873 |     900    18000    90000 |    84834    78185    129 |  0.000 % |
668.24/668.70	c |    984154 |     900    18000    90000 |    84834    78466    129 |  0.000 % |
668.54/668.92	c |    984465 |     900    18000    90000 |    84834    78777    129 |  0.000 % |
668.74/669.15	c |    984804 |     900    18000    90000 |    84834    79116    129 |  0.000 % |
669.04/669.42	c |    985177 |     900    18000    90000 |    84834    79489    129 |  0.000 % |
669.24/669.70	c |    985586 |     900    18000    90000 |    84834    79898    129 |  0.000 % |
669.64/670.03	c |    986035 |     900    18000    90000 |    84834    80347    129 |  0.000 % |
670.04/670.43	c |    986529 |     900    18000    90000 |    84834    80841    128 |  0.000 % |
670.44/670.83	c |    987071 |     900    18000    90000 |    84834    81383    128 |  0.000 % |
670.94/671.30	c |    987668 |     900    18000    90000 |    84834    81980    128 |  0.000 % |
671.34/671.75	c |    988324 |     900    18000    90000 |    84834    82636    128 |  0.000 % |
671.84/672.27	c |    989044 |     900    18000    90000 |    84834    83356    128 |  0.000 % |
672.44/672.83	c |    989837 |     900    18000    90000 |    84834    84149    128 |  0.000 % |
673.14/673.51	c |    990709 |     900    18000    90000 |    84313    74284    128 |  0.000 % |
673.74/674.15	c |    991668 |     900    18000    90000 |    84313    75243    128 |  0.000 % |
674.44/674.80	c |    992721 |     900    18000    90000 |    84313    76296    128 |  0.000 % |
675.14/675.52	c |    993880 |     900    18000    90000 |    84313    77455    128 |  0.000 % |
675.94/676.36	c |    995153 |     900    18000    90000 |    84313    78728    128 |  0.000 % |
676.94/677.34	c |    996553 |     900    18000    90000 |    84313    80128    128 |  0.000 % |
678.04/678.42	c |    998093 |     900    18000    90000 |    84313    81668    128 |  0.000 % |
679.14/679.55	c |    999791 |     900    18000    90000 |    84313    83366    128 |  0.000 % |
680.44/680.89	c |   1001655 |     900    18000    90000 |    83576    75889    128 |  0.000 % |
681.84/682.25	c |   1003704 |     900    18000    90000 |    83576    77938    128 |  0.000 % |
683.44/683.85	c |   1005960 |     900    18000    90000 |    83576    80194    128 |  0.000 % |
685.14/685.59	c |   1008438 |     900    18000    90000 |    83576    82672    128 |  0.000 % |
687.14/687.56	c |   1011164 |     900    18000    90000 |    75445    68974    129 |  0.000 % |
689.04/689.48	c |   1014161 |     900    18000    90000 |    75445    71971    129 |  0.000 % |
691.23/691.62	c |   1017457 |     900    18000    90000 |    75445    75267    128 |  0.000 % |
693.53/693.91	c |   1021082 |     900    18000    90000 | 2147483647    71316    128 |  0.000 % |
695.94/696.30	c |   1025069 |     900    18000    90000 | 2147483647    75303    128 |  0.000 % |
698.73/699.12	c |   1029455 |     900    18000    90000 | 2147483647    79689    128 |  0.000 % |
702.13/702.51	c |   1034280 |     900    18000    90000 | 2147483647    84514    128 |  0.000 % |
706.03/706.42	c |   1039585 |     900    18000    90000 | 2147483647    89819    128 |  0.000 % |
710.23/710.66	c |   1045420 |     900    18000    90000 |    90234    83568    127 |  0.000 % |
715.03/715.49	c |   1051840 |     900    18000    90000 |    88148    77445    127 |  0.000 % |
720.32/720.78	c |   1058899 |     900    18000    90000 |    88148    84504    127 |  0.000 % |
726.02/726.40	c |   1066665 |     900    18000    90000 |    85606    80784    128 |  0.000 % |
732.42/732.88	c |   1075206 |     900    18000    90000 |    84121    79320    130 |  0.000 % |
739.82/740.24	c |   1084601 |     900    18000    90000 |    84115    78240    131 |  0.000 % |
739.92/740.32	c |   1084701 |     900    18000    90000 |    84115    78340    131 |  0.000 % |
740.02/740.40	c |   1084811 |     900    18000    90000 |    84115    78450    131 |  0.000 % |
740.02/740.49	c |   1084933 |     900    18000    90000 |    84115    78572    131 |  0.000 % |
740.12/740.58	c |   1085066 |     900    18000    90000 |    84115    78705    131 |  0.000 % |
740.32/740.71	c |   1085212 |     900    18000    90000 |    84115    78851    131 |  0.000 % |
740.42/740.85	c |   1085372 |     900    18000    90000 |    84115    79011    131 |  0.000 % |
740.51/740.98	c |   1085550 |     900    18000    90000 |    84115    79189    131 |  0.000 % |
740.71/741.15	c |   1085743 |     900    18000    90000 |    84115    79382    131 |  0.000 % |
740.92/741.33	c |   1085955 |     900    18000    90000 |    84115    79594    131 |  0.000 % |
741.11/741.53	c |   1086188 |     900    18000    90000 |    84115    79827    131 |  0.000 % |
741.31/741.73	c |   1086444 |     900    18000    90000 |    84115    80083    131 |  0.000 % |
741.51/741.94	c |   1086727 |     900    18000    90000 |    84115    80366    131 |  0.000 % |
741.71/742.18	c |   1087036 |     900    18000    90000 |    84115    80675    131 |  0.000 % |
742.02/742.48	c |   1087375 |     900    18000    90000 |    84115    81014    131 |  0.000 % |
742.31/742.79	c |   1087747 |     900    18000    90000 |    84115    81386    131 |  0.000 % |
742.71/743.10	c |   1088158 |     900    18000    90000 |    84115    81797    131 |  0.000 % |
743.01/743.46	c |   1088607 |     900    18000    90000 |    84115    82246    130 |  0.000 % |
743.41/743.83	c |   1089100 |     900    18000    90000 |    84115    82739    130 |  0.000 % |
743.81/744.24	c |   1089644 |     900    18000    90000 |    84115    83283    130 |  0.000 % |
744.22/744.66	c |   1090240 |     900    18000    90000 |    83639    83879    130 |  0.000 % |
744.71/745.19	c |   1090896 |     900    18000    90000 |    83639    73471    131 |  0.000 % |
745.21/745.66	c |   1091617 |     900    18000    90000 |    83639    74192    131 |  0.000 % |
745.81/746.22	c |   1092412 |     900    18000    90000 |    83639    74987    130 |  0.000 % |
746.31/746.78	c |   1093284 |     900    18000    90000 |    83639    75859    130 |  0.000 % |
747.01/747.42	c |   1094243 |     900    18000    90000 |    83639    76818    130 |  0.000 % |
747.61/748.07	c |   1095296 |     900    18000    90000 |    83639    77871    130 |  0.000 % |
748.41/748.80	c |   1096454 |     900    18000    90000 |    83639    79029    130 |  0.000 % |
749.21/749.68	c |   1097728 |     900    18000    90000 |    83639    80303    130 |  0.000 % |
750.21/750.69	c |   1099130 |     900    18000    90000 |    83639    81705    130 |  0.000 % |
751.41/751.84	c |   1100671 |     900    18000    90000 |    82575    74120    130 |  0.000 % |
752.51/752.95	c |   1102365 |     900    18000    90000 |    82575    75814    130 |  0.000 % |
753.71/754.12	c |   1104230 |     900    18000    90000 |    82575    77679    130 |  0.000 % |
755.11/755.51	c |   1106280 |     900    18000    90000 |    82575    79729    129 |  0.000 % |
756.61/757.04	c |   1108533 |     900    18000    90000 |    82575    81982    130 |  0.000 % |
758.41/758.86	c |   1111011 |     900    18000    90000 |    74396    67110    130 |  0.000 % |
760.11/760.53	c |   1113737 |     900    18000    90000 |    74396    69836    130 |  0.000 % |
762.01/762.47	c |   1116734 |     900    18000    90000 |    74396    72833    130 |  0.000 % |
764.11/764.59	c |   1120030 |     900    18000    90000 | 2147483647    68658    129 |  0.000 % |
766.50/766.94	c |   1123655 |     900    18000    90000 | 2147483647    72283    129 |  0.000 % |
769.10/769.54	c |   1127642 |     900    18000    90000 | 2147483647    76270    129 |  0.000 % |
772.10/772.57	c |   1132028 |     900    18000    90000 | 2147483647    80656    129 |  0.000 % |
775.70/776.18	c |   1136854 |     900    18000    90000 | 2147483647    85482    129 |  0.000 % |
779.70/780.19	c |   1142159 |     900    18000    90000 |    88628    78830    128 |  0.000 % |
784.00/784.42	c |   1147994 |     900    18000    90000 |    88628    84665    128 |  0.000 % |
788.60/789.01	c |   1154412 |     900    18000    90000 |    86673    79606    126 |  0.000 % |
793.89/794.30	c |   1161475 |     900    18000    90000 |    85194    76327    126 |  0.000 % |
799.49/799.99	c |   1169241 |     900    18000    90000 |    85194    84093    126 |  0.000 % |
805.89/806.37	c |   1177783 |     900    18000    90000 |    84852    82237    128 |  0.000 % |
813.08/813.57	c |   1187179 |     900    18000    90000 |    84457    81706    129 |  0.000 % |
821.29/821.70	c |   1197513 |     900    18000    90000 |    84528    81464    129 |  0.000 % |
821.29/821.80	c |   1197613 |     900    18000    90000 |    84528    81564    129 |  0.000 % |
821.38/821.89	c |   1197723 |     900    18000    90000 |    84528    81674    129 |  0.000 % |
821.48/822.00	c |   1197844 |     900    18000    90000 |    84528    81795    129 |  0.000 % |
821.68/822.10	c |   1197978 |     900    18000    90000 |    84528    81929    129 |  0.000 % |
821.78/822.22	c |   1198124 |     900    18000    90000 |    84528    82075    129 |  0.000 % |
821.88/822.34	c |   1198286 |     900    18000    90000 |    84528    82237    129 |  0.000 % |
821.98/822.47	c |   1198462 |     900    18000    90000 |    84528    82413    129 |  0.000 % |
822.18/822.62	c |   1198655 |     900    18000    90000 |    84528    82606    129 |  0.000 % |
822.29/822.78	c |   1198867 |     900    18000    90000 |    84528    82818    129 |  0.000 % |
822.48/822.96	c |   1199100 |     900    18000    90000 |    84528    83051    129 |  0.000 % |
822.68/823.15	c |   1199357 |     900    18000    90000 |    84528    83308    129 |  0.000 % |
822.88/823.39	c |   1199641 |     900    18000    90000 |    84528    83592    129 |  0.000 % |
823.08/823.59	c |   1199951 |     900    18000    90000 |    84528    83902    129 |  0.000 % |
823.38/823.84	c |   1200291 |     900    18000    90000 |    83951    84242    129 |  0.000 % |
823.68/824.14	c |   1200663 |     900    18000    90000 |    83951    74059    128 |  0.000 % |
823.98/824.44	c |   1201072 |     900    18000    90000 |    83951    74468    128 |  0.000 % |
824.28/824.78	c |   1201522 |     900    18000    90000 |    83951    74918    128 |  0.000 % |
824.68/825.19	c |   1202015 |     900    18000    90000 |    83951    75411    128 |  0.000 % |
825.08/825.57	c |   1202557 |     900    18000    90000 |    83951    75953    128 |  0.000 % |
825.49/825.98	c |   1203154 |     900    18000    90000 |    83951    76550    128 |  0.000 % |
825.99/826.41	c |   1203813 |     900    18000    90000 |    83951    77209    128 |  0.000 % |
826.39/826.89	c |   1204533 |     900    18000    90000 |    83951    77929    128 |  0.000 % |
826.99/827.46	c |   1205326 |     900    18000    90000 |    83951    78722    128 |  0.000 % |
827.59/828.07	c |   1206198 |     900    18000    90000 |    83951    79594    128 |  0.000 % |
828.29/828.73	c |   1207157 |     900    18000    90000 |    83951    80553    128 |  0.000 % |
828.99/829.49	c |   1208214 |     900    18000    90000 |    83951    81610    128 |  0.000 % |
829.79/830.28	c |   1209372 |     900    18000    90000 |    83951    82768    128 |  0.000 % |
830.79/831.24	c |   1210645 |     900    18000    90000 |    83397    74260    128 |  0.000 % |
831.69/832.10	c |   1212045 |     900    18000    90000 |    83397    75660    128 |  0.000 % |
832.69/833.14	c |   1213585 |     900    18000    90000 |    83397    77200    128 |  0.000 % |
833.78/834.28	c |   1215279 |     900    18000    90000 |    83397    78894    128 |  0.000 % |
835.08/835.57	c |   1217144 |     900    18000    90000 |    83397    80759    128 |  0.000 % |
836.59/837.03	c |   1219194 |     900    18000    90000 |    83397    82809    128 |  0.000 % |
838.08/838.50	c |   1221447 |     900    18000    90000 |    83615    75721    128 |  0.000 % |
839.58/840.10	c |   1223925 |     900    18000    90000 |    83615    78199    128 |  0.000 % |
841.48/842.00	c |   1226651 |     900    18000    90000 |    83615    80925    128 |  0.000 % |
843.68/844.13	c |   1229650 |     900    18000    90000 |    83615    83924    128 |  0.000 % |
845.88/846.35	c |   1232947 |     900    18000    90000 |    75435    70386    128 |  0.000 % |
848.18/848.67	c |   1236572 |     900    18000    90000 |    75435    74011    128 |  0.000 % |
850.68/851.19	c |   1240560 |     900    18000    90000 | 2147483647    70424    128 |  0.000 % |
853.48/853.99	c |   1244947 |     900    18000    90000 | 2147483647    74811    128 |  0.000 % |
856.67/857.15	c |   1249770 |     900    18000    90000 | 2147483647    79634    127 |  0.000 % |
860.67/861.10	c |   1255077 |     900    18000    90000 | 2147483647    84941    127 |  0.000 % |
864.97/865.42	c |   1260912 |     900    18000    90000 |    89869    78608    127 |  0.000 % |
869.67/870.14	c |   1267332 |     900    18000    90000 |    89869    85028    127 |  0.000 % |
874.97/875.48	c |   1274392 |     900    18000    90000 |    87698    80143    127 |  0.000 % |
880.47/881.00	c |   1282156 |     900    18000    90000 |    85752    77234    128 |  0.000 % |
886.97/887.44	c |   1290698 |     900    18000    90000 |    85078    74912    130 |  0.000 % |
893.87/894.33	c |   1300092 |     900    18000    90000 |    84214    84306    130 |  0.000 % |
901.16/901.62	c |   1310425 |     900    18000    90000 |    83733    73481    132 |  0.000 % |
909.86/910.36	c |   1321791 |     900    18000    90000 |    83058    74188    135 |  0.000 % |
909.96/910.44	c |   1321891 |     900    18000    90000 |    83058    74288    135 |  0.000 % |
910.06/910.51	c |   1322001 |     900    18000    90000 |    83058    74398    135 |  0.000 % |
910.16/910.61	c |   1322122 |     900    18000    90000 |    83058    74519    135 |  0.000 % |
910.26/910.71	c |   1322255 |     900    18000    90000 |    83058    74652    134 |  0.000 % |
910.36/910.81	c |   1322401 |     900    18000    90000 |    83058    74798    134 |  0.000 % |
910.46/910.94	c |   1322564 |     900    18000    90000 |    83058    74961    134 |  0.000 % |
910.56/911.09	c |   1322740 |     900    18000    90000 |    83058    75137    134 |  0.000 % |
910.76/911.24	c |   1322934 |     900    18000    90000 |    83058    75331    134 |  0.000 % |
910.86/911.39	c |   1323147 |     900    18000    90000 |    83058    75544    134 |  0.000 % |
911.06/911.56	c |   1323382 |     900    18000    90000 |    83058    75779    134 |  0.000 % |
911.26/911.74	c |   1323638 |     900    18000    90000 |    83058    76035    134 |  0.000 % |
911.46/911.93	c |   1323923 |     900    18000    90000 |    83058    76320    134 |  0.000 % |
911.66/912.19	c |   1324232 |     900    18000    90000 |    83058    76629    134 |  0.000 % |
911.96/912.41	c |   1324573 |     900    18000    90000 |    83058    76970    134 |  0.000 % |
912.26/912.73	c |   1324947 |     900    18000    90000 |    83058    77344    134 |  0.000 % |
912.56/913.03	c |   1325357 |     900    18000    90000 |    83058    77754    134 |  0.000 % |
912.86/913.34	c |   1325806 |     900    18000    90000 |    83058    78203    134 |  0.000 % |
913.26/913.71	c |   1326299 |     900    18000    90000 |    83058    78696    134 |  0.000 % |
913.56/914.07	c |   1326841 |     900    18000    90000 |    83058    79238    133 |  0.000 % |
913.95/914.47	c |   1327439 |     900    18000    90000 |    83058    79836    133 |  0.000 % |
914.45/914.93	c |   1328095 |     900    18000    90000 |    83058    80492    133 |  0.000 % |
914.95/915.50	c |   1328815 |     900    18000    90000 |    83058    81212    133 |  0.000 % |
915.55/916.07	c |   1329607 |     900    18000    90000 |    83058    82004    133 |  0.000 % |
916.25/916.70	c |   1330479 |     900    18000    90000 |    82397    72618    133 |  0.000 % |
916.75/917.29	c |   1331437 |     900    18000    90000 |    82397    73576    133 |  0.000 % |
917.45/917.94	c |   1332492 |     900    18000    90000 |    82397    74631    133 |  0.000 % |
918.25/918.72	c |   1333650 |     900    18000    90000 |    82397    75789    133 |  0.000 % |
919.06/919.51	c |   1334924 |     900    18000    90000 |    82397    77063    133 |  0.000 % |
919.95/920.42	c |   1336325 |     900    18000    90000 |    82397    78464    133 |  0.000 % |
920.95/921.40	c |   1337866 |     900    18000    90000 |    82397    80005    133 |  0.000 % |
922.05/922.55	c |   1339560 |     900    18000    90000 |    82397    81699    132 |  0.000 % |
923.45/923.95	c |   1341425 |     900    18000    90000 |    82139    74475    132 |  0.000 % |
924.75/925.28	c |   1343477 |     900    18000    90000 |    82139    76527    132 |  0.000 % |
926.35/926.80	c |   1345732 |     900    18000    90000 |    82139    78782    132 |  0.000 % |
928.15/928.64	c |   1348211 |     900    18000    90000 |    82139    81261    131 |  0.000 % |
930.25/930.71	c |   1350936 |     900    18000    90000 |    73723    66359    131 |  0.000 % |
932.05/932.52	c |   1353933 |     900    18000    90000 |    73723    69356    131 |  0.000 % |
934.15/934.66	c |   1357229 |     900    18000    90000 |    73723    72652    131 |  0.000 % |
936.35/936.89	c |   1360855 |     900    18000    90000 | 2147483647    68872    130 |  0.000 % |
939.04/939.52	c |   1364842 |     900    18000    90000 | 2147483647    72859    131 |  0.000 % |
941.84/942.38	c |   1369227 |     900    18000    90000 | 2147483647    77244    131 |  0.000 % |
945.34/945.87	c |   1374050 |     900    18000    90000 | 2147483647    82067    131 |  0.000 % |
949.24/949.79	c |   1379355 |     900    18000    90000 | 2147483647    87372    131 |  0.000 % |
953.24/953.73	c |   1385190 |     900    18000    90000 |    88019    82527    130 |  0.000 % |
958.34/958.89	c |   1391608 |     900    18000    90000 |    87339    76913    129 |  0.000 % |
963.53/964.00	c |   1398667 |     900    18000    90000 |    87339    83972    130 |  0.000 % |
969.64/970.19	c |   1406431 |     900    18000    90000 |    85307    80624    130 |  0.000 % |
976.13/976.63	c |   1414971 |     900    18000    90000 |    84193    78526    130 |  0.000 % |
983.43/983.93	c |   1424367 |     900    18000    90000 |    83556    77928    131 |  0.000 % |
991.23/991.76	c |   1434700 |     900    18000    90000 |    83563    78933    131 |  0.000 % |
999.33/999.87	c |   1446068 |     900    18000    90000 |    75562    74030    131 |  0.000 % |
1007.12/1007.68	c |   1458571 |     900    18000    90000 | 2147483647    78946    132 |  0.000 % |
1007.22/1007.77	c |   1458671 |     900    18000    90000 | 2147483647    79046    131 |  0.000 % |
1007.32/1007.85	c |   1458782 |     900    18000    90000 | 2147483647    79157    131 |  0.000 % |
1007.42/1007.94	c |   1458903 |     900    18000    90000 | 2147483647    79278    131 |  0.000 % |
1007.52/1008.04	c |   1459036 |     900    18000    90000 | 2147483647    79411    131 |  0.000 % |
1007.62/1008.18	c |   1459184 |     900    18000    90000 | 2147483647    79559    131 |  0.000 % |
1007.82/1008.31	c |   1459344 |     900    18000    90000 | 2147483647    79719    131 |  0.000 % |
1007.92/1008.44	c |   1459521 |     900    18000    90000 | 2147483647    79896    131 |  0.000 % |
1008.12/1008.60	c |   1459714 |     900    18000    90000 | 2147483647    80089    131 |  0.000 % |
1008.22/1008.76	c |   1459926 |     900    18000    90000 | 2147483647    80301    131 |  0.000 % |
1008.42/1008.94	c |   1460160 |     900    18000    90000 |    80375    80535    131 |  0.000 % |
1008.62/1009.16	c |   1460417 |     900    18000    90000 |    80375    71533    131 |  0.000 % |
1008.82/1009.34	c |   1460702 |     900    18000    90000 |    80375    71818    131 |  0.000 % |
1009.02/1009.56	c |   1461011 |     900    18000    90000 |    80375    72127    131 |  0.000 % |
1009.32/1009.82	c |   1461350 |     900    18000    90000 |    80375    72466    131 |  0.000 % |
1009.52/1010.07	c |   1461722 |     900    18000    90000 |    80375    72838    131 |  0.000 % |
1009.82/1010.34	c |   1462133 |     900    18000    90000 |    80375    73249    130 |  0.000 % |
1010.12/1010.65	c |   1462582 |     900    18000    90000 |    80375    73698    130 |  0.000 % |
1010.52/1011.00	c |   1463075 |     900    18000    90000 |    80375    74191    130 |  0.000 % |
1010.82/1011.38	c |   1463618 |     900    18000    90000 |    80375    74734    130 |  0.000 % |
1011.21/1011.78	c |   1464214 |     900    18000    90000 |    80375    75330    130 |  0.000 % |
1011.71/1012.22	c |   1464869 |     900    18000    90000 |    80375    75985    130 |  0.000 % |
1012.21/1012.70	c |   1465589 |     900    18000    90000 |    80375    76705    130 |  0.000 % |
1012.71/1013.25	c |   1466381 |     900    18000    90000 |    80375    77497    130 |  0.000 % |
1013.31/1013.82	c |   1467253 |     900    18000    90000 |    80375    78369    130 |  0.000 % |
1013.91/1014.49	c |   1468211 |     900    18000    90000 |    80375    79327    130 |  0.000 % |
1014.61/1015.20	c |   1469265 |     900    18000    90000 |    80375    80381    130 |  0.000 % |
1015.51/1016.06	c |   1470424 |     900    18000    90000 |    72398    65299    129 |  0.000 % |
1016.31/1016.83	c |   1471697 |     900    18000    90000 |    72398    66572    129 |  0.000 % |
1017.11/1017.69	c |   1473098 |     900    18000    90000 |    72398    67973    129 |  0.000 % |
1018.11/1018.69	c |   1474638 |     900    18000    90000 |    72398    69513    129 |  0.000 % |
1019.31/1019.81	c |   1476332 |     900    18000    90000 |    72398    71207    129 |  0.000 % |
1020.41/1020.98	c |   1478196 |     900    18000    90000 |    72398    65797    129 |  0.000 % |
1021.61/1022.18	c |   1480247 |     900    18000    90000 | 2147483647    67848    129 |  0.000 % |
1023.01/1023.58	c |   1482500 |     900    18000    90000 | 2147483647    70101    129 |  0.000 % |
1024.61/1025.20	c |   1484979 |     900    18000    90000 | 2147483647    72580    129 |  0.000 % |
1026.41/1026.94	c |   1487707 |     900    18000    90000 | 2147483647    75308    129 |  0.000 % |
1028.60/1029.10	c |   1490705 |     900    18000    90000 | 2147483647    78306    129 |  0.000 % |
1030.90/1031.46	c |   1494001 |     900    18000    90000 | 2147483647    81602    129 |  0.000 % |
1033.41/1033.93	c |   1497628 |     900    18000    90000 | 2147483647    85229    129 |  0.000 % |
1036.30/1036.82	c |   1501616 |     900    18000    90000 |    87602    78558    129 |  0.000 % |
1039.40/1039.96	c |   1506001 |     900    18000    90000 |    87602    82943    129 |  0.000 % |
1043.00/1043.56	c |   1510826 |     900    18000    90000 |    86942    76694    129 |  0.000 % |
1046.90/1047.42	c |   1516132 |     900    18000    90000 |    86942    82000    129 |  0.000 % |
1051.30/1051.81	c |   1521968 |     900    18000    90000 |    85868    77046    129 |  0.000 % |
1055.80/1056.33	c |   1528387 |     900    18000    90000 |    85868    83465    129 |  0.000 % |
1060.79/1061.38	c |   1535446 |     900    18000    90000 |    85078    80367    128 |  0.000 % |
1066.40/1066.95	c |   1543210 |     900    18000    90000 |    84923    78387    130 |  0.000 % |
1072.99/1073.54	c |   1551750 |     900    18000    90000 |    85178    76351    130 |  0.000 % |
1079.69/1080.24	c |   1561144 |     900    18000    90000 |    84602    74908    130 |  0.000 % |
1087.78/1088.38	c |   1571481 |     900    18000    90000 |    83765    73305    132 |  0.000 % |
1096.08/1096.69	c |   1582847 |     900    18000    90000 |    81824    75345    133 |  0.000 % |
1105.18/1105.77	c |   1595351 |     900    18000    90000 |    73796    71127    133 |  0.000 % |
1115.77/1116.31	c |   1609105 |     900    18000    90000 | 2147483647    77473    133 |  0.000 % |
1115.77/1116.40	c |   1609206 |     900    18000    90000 | 2147483647    77574    133 |  0.000 % |
1115.88/1116.48	c |   1609316 |     900    18000    90000 | 2147483647    77684    133 |  0.000 % |
1115.98/1116.59	c |   1609437 |     900    18000    90000 | 2147483647    77805    133 |  0.000 % |
1116.17/1116.71	c |   1609570 |     900    18000    90000 | 2147483647    77938    133 |  0.000 % |
1116.27/1116.82	c |   1609716 |     900    18000    90000 | 2147483647    78084    133 |  0.000 % |
1116.37/1116.93	c |   1609876 |     900    18000    90000 | 2147483647    78244    133 |  0.000 % |
1116.47/1117.06	c |   1610052 |     900    18000    90000 |    78368    78420    133 |  0.000 % |
1116.67/1117.25	c |   1610245 |     900    18000    90000 |    78368    70120    134 |  0.000 % |
1116.77/1117.39	c |   1610459 |     900    18000    90000 |    78368    70334    134 |  0.000 % |
1116.98/1117.54	c |   1610692 |     900    18000    90000 |    78368    70567    134 |  0.000 % |
1117.17/1117.72	c |   1610948 |     900    18000    90000 |    78368    70823    134 |  0.000 % |
1117.27/1117.90	c |   1611229 |     900    18000    90000 |    78368    71104    134 |  0.000 % |
1117.57/1118.10	c |   1611538 |     900    18000    90000 |    78368    71413    133 |  0.000 % |
1117.77/1118.34	c |   1611879 |     900    18000    90000 |    78368    71754    133 |  0.000 % |
1117.97/1118.59	c |   1612251 |     900    18000    90000 |    78368    72126    133 |  0.000 % |
1118.27/1118.84	c |   1612660 |     900    18000    90000 |    78368    72535    133 |  0.000 % |
1118.57/1119.12	c |   1613111 |     900    18000    90000 |    78368    72986    133 |  0.000 % |
1118.87/1119.44	c |   1613607 |     900    18000    90000 |    78368    73482    133 |  0.000 % |
1119.17/1119.75	c |   1614150 |     900    18000    90000 |    78368    74025    133 |  0.000 % |
1119.57/1120.12	c |   1614746 |     900    18000    90000 |    78368    74621    133 |  0.000 % |
1119.97/1120.54	c |   1615401 |     900    18000    90000 |    78368    75276    133 |  0.000 % |
1120.47/1121.05	c |   1616122 |     900    18000    90000 |    78368    75997    133 |  0.000 % |
1120.97/1121.59	c |   1616914 |     900    18000    90000 |    78368    76789    132 |  0.000 % |
1121.57/1122.18	c |   1617785 |     900    18000    90000 |    78368    77660    132 |  0.000 % |
1122.27/1122.87	c |   1618744 |     900    18000    90000 |    78368    78619    132 |  0.000 % |
1123.07/1123.62	c |   1619797 |     900    18000    90000 |    78368    71811    132 |  0.000 % |
1123.77/1124.36	c |   1620955 |     900    18000    90000 | 2147483647    72969    132 |  0.000 % |
1124.57/1125.16	c |   1622228 |     900    18000    90000 | 2147483647    74242    132 |  0.000 % |
1125.47/1126.07	c |   1623629 |     900    18000    90000 | 2147483647    75643    131 |  0.000 % |
1126.57/1127.11	c |   1625169 |     900    18000    90000 | 2147483647    77183    131 |  0.000 % |
1127.77/1128.35	c |   1626863 |     900    18000    90000 | 2147483647    78877    131 |  0.000 % |
1129.07/1129.70	c |   1628726 |     900    18000    90000 | 2147483647    80740    131 |  0.000 % |
1130.57/1131.16	c |   1630775 |     900    18000    90000 |    82014    74433    131 |  0.000 % |
1132.07/1132.62	c |   1633028 |     900    18000    90000 |    82014    76686    130 |  0.000 % |
1133.67/1134.27	c |   1635507 |     900    18000    90000 |    82014    79165    130 |  0.000 % |
1135.68/1136.26	c |   1638232 |     900    18000    90000 |    82014    81890    130 |  0.000 % |
1137.57/1138.18	c |   1641229 |     900    18000    90000 |    74754    68400    128 |  0.000 % |
1139.57/1140.15	c |   1644525 |     900    18000    90000 |    74754    71696    128 |  0.000 % |
1141.87/1142.49	c |   1648150 |     900    18000    90000 |    74754    67811    127 |  0.000 % |
1144.27/1144.87	c |   1652137 |     900    18000    90000 | 2147483647    71798    127 |  0.000 % |
1147.07/1147.66	c |   1656523 |     900    18000    90000 | 2147483647    76184    127 |  0.000 % |
1150.27/1150.84	c |   1661347 |     900    18000    90000 | 2147483647    81008    127 |  0.000 % |
1153.97/1154.57	c |   1666652 |     900    18000    90000 | 2147483647    86313    127 |  0.000 % |
1158.36/1158.97	c |   1672487 |     900    18000    90000 |    89663    80280    126 |  0.000 % |
1163.36/1163.93	c |   1678907 |     900    18000    90000 |    89663    86700    127 |  0.000 % |
1168.67/1169.22	c |   1685966 |     900    18000    90000 |    87794    82078    126 |  0.000 % |
1174.66/1175.22	c |   1693730 |     900    18000    90000 |    86112    78880    127 |  0.000 % |
1181.06/1181.70	c |   1702270 |     900    18000    90000 |    85150    77103    129 |  0.000 % |
1188.36/1188.96	c |   1711664 |     900    18000    90000 |    84833    74852    131 |  0.000 % |
1196.75/1197.32	c |   1721997 |     900    18000    90000 |    83188    73928    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-1832503-1242773949/watcher-1832503-1242773949 -o /tmp/evaluation-result-1832503-1242773949/solver-1832503-1242773949 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832503-1242773949.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13352
/proc/meminfo: memFree=1968376/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305427643 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 264907751506 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13352/statm: 1339 235 195 169 0 50 0
[pid=13353] ppid=13352 vsize=5356 CPUtime=0
/proc/13353/stat : 13353 (SatELiteGTI) S 13352 13352 13123 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305427643 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/13353/statm: 1339 238 198 169 0 50 0
[pid=13355] ppid=13353 vsize=5356 CPUtime=0
/proc/13355/stat : 13355 (SatELiteGTI) R 13353 13352 13123 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907582759 0 0 4096 0 0 0 0 17 1 0 0
/proc/13355/statm: 1339 239 199 169 0 50 0

[startup+0.025317 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13352
/proc/meminfo: memFree=1968376/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305427643 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13352/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101329 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13352
/proc/meminfo: memFree=1968376/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301356 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13352
/proc/meminfo: memFree=1968376/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701415 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13352
/proc/meminfo: memFree=1968376/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50253 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13358
/proc/meminfo: memFree=1963048/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=6332 CPUtime=1.43
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 1339 0 0 0 143 0 0 0 25 0 1 0 305427648 6483968 1325 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 1583 1325 77 171 0 1410 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11688

[startup+3.10176 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13358
/proc/meminfo: memFree=1960744/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=10688 CPUtime=3.03
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 2425 0 0 0 302 1 0 0 25 0 1 0 305427648 10944512 2411 1992294400 134512640 135215339 4294956240 18446744073709551615 134538577 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 2672 2411 77 171 0 2499 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16044

[startup+6.30122 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13358
/proc/meminfo: memFree=1953384/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=16956 CPUtime=6.22
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 3969 0 0 0 620 2 0 0 25 0 1 0 305427648 17362944 3955 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 4239 3955 77 171 0 4066 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22312

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13358
/proc/meminfo: memFree=1944040/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=25484 CPUtime=12.62
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 6109 0 0 0 1258 4 0 0 25 0 1 0 305427648 26095616 6095 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 6371 6095 77 171 0 6198 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30840

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 13358
/proc/meminfo: memFree=1931240/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=37748 CPUtime=25.42
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 9150 0 0 0 2534 8 0 0 25 0 1 0 305427648 38653952 9136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 9437 9136 77 171 0 9264 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 43104

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 13358
/proc/meminfo: memFree=1922152/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=46460 CPUtime=51
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 11353 0 0 0 5090 10 0 0 25 0 1 0 305427648 47575040 11339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 11615 11339 77 171 0 11442 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 51816

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 13358
/proc/meminfo: memFree=1922024/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=46460 CPUtime=102.17
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 11353 0 0 0 10206 11 0 0 25 0 1 0 305427648 47575040 11339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 11615 11339 77 171 0 11442 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 51816

[startup+162.302 s]
/proc/loadavg: 1.35 1.08 1.02 2/66 13364
/proc/meminfo: memFree=1919272/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=48968 CPUtime=162.13
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 12001 0 0 0 16201 12 0 0 25 0 1 0 305427648 50143232 11987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 12242 11987 77 171 0 12069 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 54324

[startup+222.302 s]
/proc/loadavg: 1.12 1.06 1.02 2/66 13364
/proc/meminfo: memFree=1917224/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=50948 CPUtime=222.1
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 12495 0 0 0 22198 12 0 0 25 0 1 0 305427648 52170752 12481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 12737 12481 77 171 0 12564 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 56304

[startup+282.301 s]
/proc/loadavg: 1.04 1.05 1.01 2/66 13364
/proc/meminfo: memFree=1917096/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=50948 CPUtime=282.08
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 12495 0 0 0 28195 13 0 0 25 0 1 0 305427648 52170752 12481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 12737 12481 77 171 0 12564 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 56304

[startup+342.303 s]
/proc/loadavg: 1.01 1.04 1.01 2/66 13364
/proc/meminfo: memFree=1916328/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=51740 CPUtime=342.05
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 12670 0 0 0 34192 13 0 0 25 0 1 0 305427648 52981760 12656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 12935 12656 77 171 0 12762 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 57096

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 13364
/proc/meminfo: memFree=1914920/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=53060 CPUtime=402.01

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

/proc/13358/statm: 13261 12999 77 171 0 13088 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 58400

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 13364
/proc/meminfo: memFree=1914600/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=53044 CPUtime=581.94
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13013 0 0 0 58180 14 0 0 25 0 1 0 305427648 54317056 12999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13261 12999 77 171 0 13088 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 58400

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1913256/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=54364 CPUtime=641.92
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13326 0 0 0 64177 15 0 0 25 0 1 0 305427648 55668736 13312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13591 13312 77 171 0 13418 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 59720

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1913064/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=54332 CPUtime=701.89
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13326 0 0 0 70174 15 0 0 25 0 1 0 305427648 55635968 13312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13583 13312 77 171 0 13410 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 59688

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1912616/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=54596 CPUtime=761.87
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13414 0 0 0 76172 15 0 0 25 0 1 0 305427648 55906304 13400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13649 13400 77 171 0 13476 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 59952

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1912552/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=54596 CPUtime=821.84
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13414 0 0 0 82169 15 0 0 25 0 1 0 305427648 55906304 13400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13649 13400 77 171 0 13476 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 59952

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1912040/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=55124 CPUtime=881.83
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13515 0 0 0 88167 16 0 0 25 0 1 0 305427648 56446976 13501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13781 13501 77 171 0 13608 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 60480

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1912040/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=54852 CPUtime=941.8
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13515 0 0 0 94164 16 0 0 25 0 1 0 305427648 56168448 13464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13713 13464 77 171 0 13540 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 60208

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1911592/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=55380 CPUtime=1001.78
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13633 0 0 0 100162 16 0 0 25 0 1 0 305427648 56709120 13582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13845 13582 77 171 0 13672 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 60736

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1911464/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=55380 CPUtime=1061.75
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13633 0 0 0 106159 16 0 0 25 0 1 0 305427648 56709120 13582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13845 13582 77 171 0 13672 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 60736

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1911336/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=55380 CPUtime=1121.73
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13633 0 0 0 112157 16 0 0 25 0 1 0 305427648 56709120 13582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13845 13582 77 171 0 13672 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 60736

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1911080/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=55512 CPUtime=1181.72
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13676 0 0 0 118155 17 0 0 25 0 1 0 305427648 56844288 13625 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13878 13625 77 171 0 13705 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 60868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13364
/proc/meminfo: memFree=1911080/2055920 swapFree=4179688/4192956
[pid=13352] ppid=13350 vsize=5356 CPUtime=0.04
/proc/13352/stat : 13352 (SatELiteGTI) S 13350 13352 13123 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305427643 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13352/statm: 1339 239 197 169 0 50 0
[pid=13358] ppid=13352 vsize=55512 CPUtime=1200.01
/proc/13358/stat : 13358 (minisat_static) R 13352 13352 13123 0 -1 4194304 13676 0 0 0 119984 17 0 0 25 0 1 0 305427648 56844288 13625 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13358/statm: 13878 13625 77 171 0 13705 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 60868

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 13352 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=47992
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=3999
# CPU time returned by wait4() is 0.051991
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1199.88
CPU system time (s): 0.17
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 60868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.047992
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6

runsolver used 1.42278 second user time and 3.09453 second system time

The end

Launcher Data

Begin job on node30 at 2009-05-20 00:59:09
IDJOB=1832503
IDBENCH=70215
IDSOLVER=671
FILE ID=node30/1832503-1242773949
PBS_JOBID= 9322268
Free space on /tmp= 66400 MiB

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

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

MD5SUM BENCH= 445a4153e94b03b5b26d24042b03c5d7
RANDOM SEED=471978712

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1968920 kB
Buffers:         12816 kB
Cached:          38904 kB
SwapCached:       7440 kB
Active:          27032 kB
Inactive:        33468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1968920 kB
SwapTotal:     4192956 kB
SwapFree:      4179688 kB
Dirty:            2000 kB
Writeback:           0 kB
Mapped:          13952 kB
Slab:            12600 kB
Committed_AS:  1132024 kB
PageTables:       1360 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= 66400 MiB
End job on node30 at 2009-05-20 01:19:11