Trace number 1832451

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.09 1200.51

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
MD5SUM9b4324a23c82753183d597b4a4c7c7c2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark90.7522
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of clauses20000
Sum of the clauses size100000
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 520000
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 |   20000   100000 |    5999       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 1000   #clauses: 20000   #literals: 100000
0.00/0.02	c CPU time:   0.018997 s
0.00/0.02	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  1000                                                 |
0.00/0.06	c |  Number of clauses:    20000                                                |
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 |    1000    20000   100000 |     6666        0    nan |  0.000 % |
0.00/0.09	c |       101 |    1000    20000   100000 |     6666      101    122 |  0.000 % |
0.00/0.10	c |       201 |    1000    20000   100000 |     6666      201    123 |  0.000 % |
0.04/0.11	c |       301 |    1000    20000   100000 |     6666      301    121 |  0.000 % |
0.04/0.12	c |       412 |    1000    20000   100000 |     6666      412    124 |  0.000 % |
0.04/0.13	c |       515 |    1000    20000   100000 |     6666      515    123 |  0.000 % |
0.04/0.14	c |       626 |    1000    20000   100000 |     6666      626    122 |  0.000 % |
0.04/0.16	c |       749 |    1000    20000   100000 |     6666      749    123 |  0.000 % |
0.04/0.17	c |       849 |    1000    20000   100000 |     6666      849    123 |  0.000 % |
0.04/0.18	c |       961 |    1000    20000   100000 |     6666      961    122 |  0.000 % |
0.04/0.19	c |      1085 |    1000    20000   100000 |     6666     1085    120 |  0.000 % |
0.04/0.21	c |      1219 |    1000    20000   100000 |     6666     1219    120 |  0.000 % |
0.04/0.22	c |      1321 |    1000    20000   100000 |     6666     1321    120 |  0.000 % |
0.04/0.23	c |      1431 |    1000    20000   100000 |     6666     1431    121 |  0.000 % |
0.04/0.25	c |      1552 |    1000    20000   100000 |     6666     1552    120 |  0.000 % |
0.04/0.26	c |      1685 |    1000    20000   100000 |     6666     1685    121 |  0.000 % |
0.04/0.28	c |      1831 |    1000    20000   100000 |     6666     1831    122 |  0.000 % |
0.04/0.29	c |      1931 |    1000    20000   100000 |     6666     1931    122 |  0.000 % |
0.04/0.30	c |      2041 |    1000    20000   100000 |     6666     2041    122 |  0.000 % |
0.04/0.32	c |      2162 |    1000    20000   100000 |     6666     2162    122 |  0.000 % |
0.04/0.33	c |      2297 |    1000    20000   100000 |     6666     2297    123 |  0.000 % |
0.04/0.35	c |      2443 |    1000    20000   100000 |     6666     2443    123 |  0.000 % |
0.04/0.37	c |      2603 |    1000    20000   100000 |     6666     2603    122 |  0.000 % |
0.04/0.38	c |      2703 |    1000    20000   100000 |     6666     2703    122 |  0.000 % |
0.04/0.39	c |      2813 |    1000    20000   100000 |     6666     2813    122 |  0.000 % |
0.04/0.41	c |      2936 |    1000    20000   100000 |     6666     2936    122 |  0.000 % |
0.04/0.42	c |      3069 |    1000    20000   100000 |     6666     3069    122 |  0.000 % |
0.04/0.44	c |      3215 |    1000    20000   100000 |     6666     3215    121 |  0.000 % |
0.04/0.46	c |      3375 |    1000    20000   100000 |     6666     3375    121 |  0.000 % |
0.04/0.48	c |      3551 |    1000    20000   100000 |     6666     3551    121 |  0.000 % |
0.04/0.49	c |      3651 |    1000    20000   100000 |     6666     3651    121 |  0.000 % |
0.04/0.51	c |      3763 |    1000    20000   100000 |     6666     3763    121 |  0.000 % |
0.04/0.52	c |      3884 |    1000    20000   100000 |     6666     3884    120 |  0.000 % |
0.04/0.54	c |      4017 |    1000    20000   100000 |     6666     4017    120 |  0.000 % |
0.04/0.55	c |      4164 |    1000    20000   100000 |     6666     4164    121 |  0.000 % |
0.04/0.57	c |      4324 |    1000    20000   100000 |     6666     4324    121 |  0.000 % |
0.04/0.60	c |      4503 |    1000    20000   100000 |     6666     4503    121 |  0.000 % |
0.04/0.62	c |      4696 |    1000    20000   100000 |     6666     4696    121 |  0.000 % |
0.04/0.64	c |      4796 |    1000    20000   100000 |     6666     4796    121 |  0.000 % |
0.04/0.65	c |      4906 |    1000    20000   100000 |     6666     4906    121 |  0.000 % |
0.04/0.67	c |      5029 |    1000    20000   100000 |     6666     5029    121 |  0.000 % |
0.04/0.69	c |      5164 |    1000    20000   100000 |     6666     5164    121 |  0.000 % |
0.04/0.70	c |      5315 |    1000    20000   100000 |     6666     5315    121 |  0.000 % |
0.04/0.72	c |      5475 |    1000    20000   100000 |     6666     5475    121 |  0.000 % |
0.04/0.75	c |      5651 |    1000    20000   100000 |     6666     5651    121 |  0.000 % |
0.04/0.77	c |      5846 |    1000    20000   100000 |     6666     5846    121 |  0.000 % |
0.04/0.80	c |      6058 |    1000    20000   100000 |     6666     6058    121 |  0.000 % |
0.04/0.82	c |      6158 |    1000    20000   100000 |     6666     6158    121 |  0.000 % |
0.04/0.83	c |      6270 |    1000    20000   100000 |     6666     6270    121 |  0.000 % |
0.04/0.85	c |      6391 |    1000    20000   100000 |     6666     6391    121 |  0.000 % |
0.04/0.87	c |      6526 |    1000    20000   100000 |     6666     6526    121 |  0.000 % |
0.04/0.89	c |      6673 |    1000    20000   100000 |     6666     6673    121 |  0.000 % |
0.04/0.92	c |      6833 |    1000    20000   100000 |     6666     6166    119 |  0.000 % |
0.04/0.94	c |      7010 |    1000    20000   100000 |     6666     6343    119 |  0.000 % |
0.04/0.97	c |      7203 |    1000    20000   100000 |     6666     6536    119 |  0.000 % |
0.97/1.00	c |      7415 |    1000    20000   100000 |     6666     6748    119 |  0.000 % |
0.97/1.04	c |      7649 |    1000    20000   100000 |     6666     6308    119 |  0.000 % |
0.97/1.05	c |      7750 |    1000    20000   100000 |     6666     6409    119 |  0.000 % |
0.97/1.07	c |      7860 |    1000    20000   100000 |     6666     6519    119 |  0.000 % |
0.97/1.09	c |      7982 |    1000    20000   100000 |     6666     6641    120 |  0.000 % |
1.07/1.11	c |      8116 |    1000    20000   100000 |     6666     6775    120 |  0.000 % |
1.07/1.13	c |      8265 |    1000    20000   100000 |     6666     6247    119 |  0.000 % |
1.07/1.15	c |      8426 |    1000    20000   100000 |     6666     6408    119 |  0.000 % |
1.07/1.18	c |      8602 |    1000    20000   100000 |     6666     6584    119 |  0.000 % |
1.16/1.20	c |      8796 |    1000    20000   100000 |     6666     6778    119 |  0.000 % |
1.16/1.24	c |      9008 |    1000    20000   100000 |     6666     6313    119 |  0.000 % |
1.16/1.27	c |      9241 |    1000    20000   100000 |     6666     6546    119 |  0.000 % |
1.26/1.31	c |      9498 |    1000    20000   100000 |     6666     6803    119 |  0.000 % |
1.26/1.33	c |      9598 |    1000    20000   100000 |     6666     6223    119 |  0.000 % |
1.26/1.35	c |      9709 |    1000    20000   100000 |     6666     6334    119 |  0.000 % |
1.26/1.37	c |      9833 |    1000    20000   100000 |     6666     6458    119 |  0.000 % |
1.26/1.39	c |      9968 |    1000    20000   100000 |     6666     6593    119 |  0.000 % |
1.36/1.41	c |     10115 |    1000    20000   100000 | 2147483647     6740    119 |  0.000 % |
1.36/1.43	c |     10275 |    1000    20000   100000 | 2147483647     6900    119 |  0.000 % |
1.36/1.46	c |     10451 |    1000    20000   100000 | 2147483647     7076    119 |  0.000 % |
1.36/1.49	c |     10646 |    1000    20000   100000 | 2147483647     7271    120 |  0.000 % |
1.46/1.52	c |     10858 |    1000    20000   100000 | 2147483647     7483    120 |  0.000 % |
1.46/1.56	c |     11091 |    1000    20000   100000 | 2147483647     7716    120 |  0.000 % |
1.56/1.60	c |     11347 |    1000    20000   100000 | 2147483647     7972    120 |  0.000 % |
1.56/1.65	c |     11629 |    1000    20000   100000 | 2147483647     8254    120 |  0.000 % |
1.56/1.66	c |     11731 |    1000    20000   100000 | 2147483647     8356    120 |  0.000 % |
1.56/1.68	c |     11842 |    1000    20000   100000 | 2147483647     8467    120 |  0.000 % |
1.66/1.70	c |     11965 |    1000    20000   100000 | 2147483647     8590    120 |  0.000 % |
1.66/1.72	c |     12098 |    1000    20000   100000 | 2147483647     8723    120 |  0.000 % |
1.66/1.74	c |     12245 |    1000    20000   100000 | 2147483647     8870    120 |  0.000 % |
1.66/1.77	c |     12405 |    1000    20000   100000 | 2147483647     9030    121 |  0.000 % |
1.77/1.80	c |     12582 |    1000    20000   100000 | 2147483647     9207    121 |  0.000 % |
1.77/1.84	c |     12775 |    1000    20000   100000 | 2147483647     9400    121 |  0.000 % |
1.77/1.87	c |     12988 |    1000    20000   100000 | 2147483647     9613    121 |  0.000 % |
1.87/1.91	c |     13221 |    1000    20000   100000 | 2147483647     9846    121 |  0.000 % |
1.87/1.95	c |     13480 |    1000    20000   100000 | 2147483647    10105    121 |  0.000 % |
1.96/2.00	c |     13762 |    1000    20000   100000 | 2147483647    10387    122 |  0.000 % |
1.96/2.06	c |     14071 |    1000    20000   100000 | 2147483647    10696    122 |  0.000 % |
1.96/2.07	c |     14172 |    1000    20000   100000 | 2147483647    10797    122 |  0.000 % |
1.96/2.09	c |     14283 |    1000    20000   100000 | 2147483647    10908    122 |  0.000 % |
2.07/2.11	c |     14406 |    1000    20000   100000 | 2147483647    11031    122 |  0.000 % |
2.07/2.14	c |     14539 |    1000    20000   100000 | 2147483647    11164    122 |  0.000 % |
2.07/2.17	c |     14685 |    1000    20000   100000 | 2147483647    11310    122 |  0.000 % |
2.07/2.20	c |     14847 |    1000    20000   100000 | 2147483647    11472    122 |  0.000 % |
2.17/2.23	c |     15023 |    1000    20000   100000 | 2147483647    11648    122 |  0.000 % |
2.17/2.27	c |     15218 |    1000    20000   100000 | 2147483647    11843    122 |  0.000 % |
2.26/2.30	c |     15430 |    1000    20000   100000 | 2147483647    12055    122 |  0.000 % |
2.26/2.35	c |     15663 |    1000    20000   100000 | 2147483647    12288    122 |  0.000 % |
2.26/2.40	c |     15919 |    1000    20000   100000 | 2147483647    12544    122 |  0.000 % |
2.36/2.45	c |     16203 |    1000    20000   100000 | 2147483647    12828    122 |  0.000 % |
2.46/2.51	c |     16513 |    1000    20000   100000 | 2147483647    13138    122 |  0.000 % |
2.46/2.57	c |     16853 |    1000    20000   100000 | 2147483647    13478    122 |  0.000 % |
2.46/2.60	c |     16953 |    1000    20000   100000 | 2147483647    13578    122 |  0.000 % |
2.56/2.62	c |     17064 |    1000    20000   100000 | 2147483647    13689    122 |  0.000 % |
2.56/2.65	c |     17186 |    1000    20000   100000 | 2147483647    13811    122 |  0.000 % |
2.56/2.67	c |     17320 |    1000    20000   100000 | 2147483647    13945    122 |  0.000 % |
2.66/2.70	c |     17467 |    1000    20000   100000 | 2147483647    14092    122 |  0.000 % |
2.66/2.74	c |     17629 |    1000    20000   100000 | 2147483647    14254    122 |  0.000 % |
2.66/2.78	c |     17806 |    1000    20000   100000 | 2147483647    14431    122 |  0.000 % |
2.76/2.81	c |     17999 |    1000    20000   100000 | 2147483647    14624    122 |  0.000 % |
2.76/2.86	c |     18212 |    1000    20000   100000 | 2147483647    14837    122 |  0.000 % |
2.86/2.90	c |     18445 |    1000    20000   100000 | 2147483647    15070    122 |  0.000 % |
2.86/2.96	c |     18702 |    1000    20000   100000 | 2147483647    15327    122 |  0.000 % |
2.96/3.01	c |     18983 |    1000    20000   100000 | 2147483647    15608    122 |  0.000 % |
2.96/3.08	c |     19294 |    1000    20000   100000 | 2147483647    15919    122 |  0.000 % |
3.06/3.16	c |     19634 |    1000    20000   100000 | 2147483647    16259    123 |  0.000 % |
3.17/3.23	c |     20007 |    1000    20000   100000 | 2147483647    16632    123 |  0.000 % |
3.17/3.26	c |     20109 |    1000    20000   100000 | 2147483647    16734    123 |  0.000 % |
3.17/3.29	c |     20221 |    1000    20000   100000 | 2147483647    16846    123 |  0.000 % |
3.27/3.31	c |     20342 |    1000    20000   100000 | 2147483647    16967    123 |  0.000 % |
3.27/3.35	c |     20475 |    1000    20000   100000 | 2147483647    17100    123 |  0.000 % |
3.27/3.38	c |     20621 |    1000    20000   100000 | 2147483647    17246    122 |  0.000 % |
3.36/3.42	c |     20781 |    1000    20000   100000 | 2147483647    17406    122 |  0.000 % |
3.36/3.46	c |     20957 |    1000    20000   100000 | 2147483647    17582    122 |  0.000 % |
3.46/3.51	c |     21150 |    1000    20000   100000 | 2147483647    17775    122 |  0.000 % |
3.46/3.55	c |     21362 |    1000    20000   100000 | 2147483647    17987    122 |  0.000 % |
3.56/3.60	c |     21596 |    1000    20000   100000 | 2147483647    18221    122 |  0.000 % |
3.56/3.66	c |     21852 |    1000    20000   100000 | 2147483647    18477    122 |  0.000 % |
3.66/3.73	c |     22134 |    1000    20000   100000 | 2147483647    18759    123 |  0.000 % |
3.76/3.81	c |     22448 |    1000    20000   100000 | 2147483647    19073    122 |  0.000 % |
3.76/3.89	c |     22788 |    1000    20000   100000 | 2147483647    19413    122 |  0.000 % |
3.86/3.98	c |     23160 |    1000    20000   100000 | 2147483647    19785    122 |  0.000 % |
3.95/4.08	c |     23569 |    1000    20000   100000 | 2147483647    20194    123 |  0.000 % |
4.05/4.10	c |     23669 |    1000    20000   100000 | 2147483647    20294    123 |  0.000 % |
4.05/4.14	c |     23780 |    1000    20000   100000 | 2147483647    20405    123 |  0.000 % |
4.05/4.17	c |     23903 |    1000    20000   100000 | 2147483647    20528    123 |  0.000 % |
4.15/4.20	c |     24036 |    1000    20000   100000 | 2147483647    20661    123 |  0.000 % |
4.15/4.24	c |     24182 |    1000    20000   100000 | 2147483647    20807    123 |  0.000 % |
4.15/4.28	c |     24342 |    1000    20000   100000 | 2147483647    20967    122 |  0.000 % |
4.26/4.33	c |     24518 |    1000    20000   100000 | 2147483647    21143    122 |  0.000 % |
4.26/4.39	c |     24711 |    1000    20000   100000 | 2147483647    21336    122 |  0.000 % |
4.36/4.45	c |     24923 |    1000    20000   100000 | 2147483647    21548    122 |  0.000 % |
4.45/4.51	c |     25157 |    1000    20000   100000 | 2147483647    21782    122 |  0.000 % |
4.45/4.57	c |     25413 |    1000    20000   100000 | 2147483647    22038    123 |  0.000 % |
4.56/4.65	c |     25696 |    1000    20000   100000 | 2147483647    22321    122 |  0.000 % |
4.66/4.74	c |     26005 |    1000    20000   100000 | 2147483647    22630    122 |  0.000 % |
4.76/4.84	c |     26345 |    1000    20000   100000 | 2147483647    22970    123 |  0.000 % |
4.86/4.94	c |     26717 |    1000    20000   100000 | 2147483647    23342    123 |  0.000 % |
4.96/5.04	c |     27128 |    1000    20000   100000 | 2147483647    23753    123 |  0.000 % |
5.06/5.16	c |     27578 |    1000    20000   100000 | 2147483647    24203    123 |  0.000 % |
5.06/5.19	c |     27679 |    1000    20000   100000 | 2147483647    24304    123 |  0.000 % |
5.16/5.23	c |     27790 |    1000    20000   100000 | 2147483647    24415    123 |  0.000 % |
5.16/5.26	c |     27911 |    1000    20000   100000 | 2147483647    24536    123 |  0.000 % |
5.26/5.30	c |     28045 |    1000    20000   100000 | 2147483647    24670    123 |  0.000 % |
5.26/5.35	c |     28191 |    1000    20000   100000 | 2147483647    24816    122 |  0.000 % |
5.26/5.40	c |     28351 |    1000    20000   100000 | 2147483647    24976    122 |  0.000 % |
5.36/5.45	c |     28528 |    1000    20000   100000 | 2147483647    25153    122 |  0.000 % |
5.46/5.51	c |     28723 |    1000    20000   100000 | 2147483647    25348    122 |  0.000 % |
5.46/5.57	c |     28937 |    1000    20000   100000 | 2147483647    25562    122 |  0.000 % |
5.55/5.64	c |     29170 |    1000    20000   100000 | 2147483647    25795    122 |  0.000 % |
5.65/5.71	c |     29427 |    1000    20000   100000 | 2147483647    26052    123 |  0.000 % |
5.65/5.79	c |     29708 |    1000    20000   100000 | 2147483647    26333    123 |  0.000 % |
5.75/5.87	c |     30017 |    1000    20000   100000 | 2147483647    26642    123 |  0.000 % |
5.85/5.99	c |     30358 |    1000    20000   100000 | 2147483647    26983    123 |  0.000 % |
5.95/6.09	c |     30730 |    1000    20000   100000 | 2147483647    27355    123 |  0.000 % |
6.16/6.22	c |     31142 |    1000    20000   100000 | 2147483647    27767    123 |  0.000 % |
6.26/6.36	c |     31591 |    1000    20000   100000 | 2147483647    28216    123 |  0.000 % |
6.46/6.51	c |     32085 |    1000    20000   100000 | 2147483647    28710    123 |  0.000 % |
6.46/6.55	c |     32188 |    1000    20000   100000 | 2147483647    28813    123 |  0.000 % |
6.46/6.59	c |     32298 |    1000    20000   100000 | 2147483647    28923    123 |  0.000 % |
6.56/6.63	c |     32420 |    1000    20000   100000 | 2147483647    29045    123 |  0.000 % |
6.56/6.68	c |     32553 |    1000    20000   100000 | 2147483647    29178    123 |  0.000 % |
6.66/6.74	c |     32699 |    1000    20000   100000 | 2147483647    29324    123 |  0.000 % |
6.66/6.79	c |     32859 |    1000    20000   100000 | 2147483647    29484    123 |  0.000 % |
6.76/6.85	c |     33035 |    1000    20000   100000 | 2147483647    29660    123 |  0.000 % |
6.86/6.92	c |     33228 |    1000    20000   100000 | 2147483647    29853    123 |  0.000 % |
6.86/6.99	c |     33442 |    1000    20000   100000 | 2147483647    30067    123 |  0.000 % |
6.96/7.07	c |     33675 |    1000    20000   100000 | 2147483647    30300    123 |  0.000 % |
7.06/7.15	c |     33934 |    1000    20000   100000 | 2147483647    30559    123 |  0.000 % |
7.15/7.24	c |     34215 |    1000    20000   100000 | 2147483647    30840    123 |  0.000 % |
7.25/7.34	c |     34526 |    1000    20000   100000 | 2147483647    31151    123 |  0.000 % |
7.35/7.46	c |     34865 |    1000    20000   100000 | 2147483647    31490    123 |  0.000 % |
7.45/7.58	c |     35238 |    1000    20000   100000 | 2147483647    31863    123 |  0.000 % |
7.66/7.71	c |     35648 |    1000    20000   100000 | 2147483647    32273    123 |  0.000 % |
7.76/7.84	c |     36097 |    1000    20000   100000 | 2147483647    32722    123 |  0.000 % |
7.96/8.02	c |     36590 |    1000    20000   100000 | 2147483647    33215    123 |  0.000 % |
8.16/8.21	c |     37133 |    1000    20000   100000 | 2147483647    33758    123 |  0.000 % |
8.16/8.25	c |     37235 |    1000    20000   100000 | 2147483647    33860    123 |  0.000 % |
8.16/8.29	c |     37345 |    1000    20000   100000 | 2147483647    33970    123 |  0.000 % |
8.26/8.34	c |     37467 |    1000    20000   100000 | 2147483647    34092    123 |  0.000 % |
8.26/8.39	c |     37600 |    1000    20000   100000 | 2147483647    34225    123 |  0.000 % |
8.36/8.44	c |     37746 |    1000    20000   100000 | 2147483647    34371    123 |  0.000 % |
8.46/8.50	c |     37908 |    1000    20000   100000 | 2147483647    34533    123 |  0.000 % |
8.46/8.57	c |     38086 |    1000    20000   100000 | 2147483647    34711    123 |  0.000 % |
8.56/8.65	c |     38279 |    1000    20000   100000 | 2147483647    34904    123 |  0.000 % |
8.66/8.73	c |     38491 |    1000    20000   100000 | 2147483647    35116    123 |  0.000 % |
8.76/8.82	c |     38725 |    1000    20000   100000 | 2147483647    35350    123 |  0.000 % |
8.85/8.92	c |     38982 |    1000    20000   100000 | 2147483647    35607    123 |  0.000 % |
8.95/9.01	c |     39264 |    1000    20000   100000 | 2147483647    35889    123 |  0.000 % |
9.05/9.13	c |     39576 |    1000    20000   100000 | 2147483647    36201    124 |  0.000 % |
9.15/9.26	c |     39915 |    1000    20000   100000 | 2147483647    36540    124 |  0.000 % |
9.35/9.40	c |     40288 |    1000    20000   100000 | 2147483647    36913    124 |  0.000 % |
9.45/9.56	c |     40697 |    1000    20000   100000 | 2147483647    37322    124 |  0.000 % |
9.65/9.73	c |     41148 |    1000    20000   100000 | 2147483647    37773    124 |  0.000 % |
9.86/9.91	c |     41643 |    1000    20000   100000 | 2147483647    38268    124 |  0.000 % |
10.05/10.10	c |     42186 |    1000    20000   100000 | 2147483647    38811    124 |  0.000 % |
10.25/10.34	c |     42782 |    1000    20000   100000 | 2147483647    39407    124 |  0.000 % |
10.25/10.37	c |     42882 |    1000    20000   100000 | 2147483647    39507    124 |  0.000 % |
10.35/10.42	c |     42993 |    1000    20000   100000 | 2147483647    39618    124 |  0.000 % |
10.35/10.47	c |     43115 |    1000    20000   100000 | 2147483647    39740    124 |  0.000 % |
10.45/10.53	c |     43249 |    1000    20000   100000 | 2147483647    39874    124 |  0.000 % |
10.45/10.59	c |     43395 |    1000    20000   100000 | 2147483647    40020    124 |  0.000 % |
10.55/10.65	c |     43556 |    1000    20000   100000 | 2147483647    40181    124 |  0.000 % |
10.65/10.74	c |     43734 |    1000    20000   100000 | 2147483647    40359    124 |  0.000 % |
10.75/10.83	c |     43930 |    1000    20000   100000 | 2147483647    40555    124 |  0.000 % |
10.85/10.92	c |     44142 |    1000    20000   100000 | 2147483647    40767    124 |  0.000 % |
10.85/11.00	c |     44375 |    1000    20000   100000 | 2147483647    41000    124 |  0.000 % |
11.05/11.11	c |     44631 |    1000    20000   100000 | 2147483647    41256    124 |  0.000 % |
11.15/11.23	c |     44916 |    1000    20000   100000 | 2147483647    41541    124 |  0.000 % |
11.25/11.37	c |     45225 |    1000    20000   100000 | 2147483647    41850    124 |  0.000 % |
11.45/11.51	c |     45565 |    1000    20000   100000 | 2147483647    42190    124 |  0.000 % |
11.55/11.68	c |     45942 |    1000    20000   100000 | 2147483647    42567    124 |  0.000 % |
11.75/11.86	c |     46355 |    1000    20000   100000 | 2147483647    42980    124 |  0.000 % |
11.95/12.05	c |     46805 |    1000    20000   100000 | 2147483647    43430    124 |  0.000 % |
12.15/12.26	c |     47298 |    1000    20000   100000 | 2147483647    43923    124 |  0.000 % |
12.35/12.48	c |     47843 |    1000    20000   100000 | 2147483647    44468    124 |  0.000 % |
12.65/12.74	c |     48439 |    1000    20000   100000 | 2147483647    45064    124 |  0.000 % |
12.95/13.06	c |     49094 |    1000    20000   100000 | 2147483647    45719    124 |  0.000 % |
13.05/13.11	c |     49195 |    1000    20000   100000 | 2147483647    45820    124 |  0.000 % |
13.05/13.17	c |     49308 |    1000    20000   100000 | 2147483647    45933    124 |  0.000 % |
13.15/13.22	c |     49429 |    1000    20000   100000 | 2147483647    46054    124 |  0.000 % |
13.15/13.29	c |     49563 |    1000    20000   100000 | 2147483647    46188    124 |  0.000 % |
13.24/13.37	c |     49709 |    1000    20000   100000 | 2147483647    46334    124 |  0.000 % |
13.34/13.45	c |     49871 |    1000    20000   100000 | 2147483647    46496    124 |  0.000 % |
13.45/13.53	c |     50048 |    1000    20000   100000 | 2147483647    46673    124 |  0.000 % |
13.55/13.65	c |     50246 |    1000    20000   100000 | 2147483647    46871    124 |  0.000 % |
13.65/13.75	c |     50460 |    1000    20000   100000 | 2147483647    47085    124 |  0.000 % |
13.75/13.86	c |     50694 |    1000    20000   100000 | 2147483647    47319    124 |  0.000 % |
13.85/13.97	c |     50950 |    1000    20000   100000 | 2147483647    47575    124 |  0.000 % |
13.95/14.09	c |     51231 |    1000    20000   100000 | 2147483647    47856    124 |  0.000 % |
14.15/14.25	c |     51540 |    1000    20000   100000 | 2147483647    48165    124 |  0.000 % |
14.35/14.42	c |     51879 |    1000    20000   100000 | 2147483647    48504    124 |  0.000 % |
14.45/14.59	c |     52251 |    1000    20000   100000 | 2147483647    48876    124 |  0.000 % |
14.65/14.79	c |     52660 |    1000    20000   100000 | 2147483647    49285    124 |  0.000 % |
14.95/15.02	c |     53109 |    1000    20000   100000 | 2147483647    49734    124 |  0.000 % |
15.15/15.23	c |     53603 |    1000    20000   100000 | 2147483647    50228    124 |  0.000 % |
15.35/15.47	c |     54145 |    1000    20000   100000 | 2147483647    50770    124 |  0.000 % |
15.64/15.75	c |     54743 |    1000    20000   100000 | 2147483647    51368    124 |  0.000 % |
15.94/16.06	c |     55398 |    1000    20000   100000 | 2147483647    52023    124 |  0.000 % |
16.35/16.41	c |     56118 |    1000    20000   100000 | 2147483647    52743    124 |  0.000 % |
16.35/16.46	c |     56218 |    1000    20000   100000 | 2147483647    52843    124 |  0.000 % |
16.45/16.52	c |     56328 |    1000    20000   100000 | 2147483647    52953    124 |  0.000 % |
16.45/16.58	c |     56450 |    1000    20000   100000 | 2147483647    53075    124 |  0.000 % |
16.54/16.66	c |     56584 |    1000    20000   100000 | 2147483647    53209    124 |  0.000 % |
16.64/16.76	c |     56731 |    1000    20000   100000 | 2147483647    53356    124 |  0.000 % |
16.74/16.84	c |     56891 |    1000    20000   100000 | 2147483647    53516    124 |  0.000 % |
16.84/16.93	c |     57068 |    1000    20000   100000 | 2147483647    53693    124 |  0.000 % |
16.94/17.05	c |     57263 |    1000    20000   100000 | 2147483647    53888    124 |  0.000 % |
17.04/17.17	c |     57477 |    1000    20000   100000 | 2147483647    54102    124 |  0.000 % |
17.14/17.28	c |     57711 |    1000    20000   100000 | 2147483647    54336    124 |  0.000 % |
17.35/17.40	c |     57967 |    1000    20000   100000 | 2147483647    54592    124 |  0.000 % |
17.45/17.54	c |     58248 |    1000    20000   100000 | 2147483647    54873    124 |  0.000 % |
17.65/17.70	c |     58559 |    1000    20000   100000 | 2147483647    55184    124 |  0.000 % |
17.75/17.89	c |     58899 |    1000    20000   100000 | 2147483647    55524    124 |  0.000 % |
17.95/18.07	c |     59271 |    1000    20000   100000 | 2147483647    55896    124 |  0.000 % |
18.15/18.29	c |     59681 |    1000    20000   100000 | 2147483647    56306    124 |  0.000 % |
18.44/18.52	c |     60134 |    1000    20000   100000 | 2147483647    56759    124 |  0.000 % |
18.65/18.78	c |     60627 |    1000    20000   100000 | 2147483647    57252    124 |  0.000 % |
18.94/19.06	c |     61170 |    1000    20000   100000 | 2147483647    57795    125 |  0.000 % |
19.24/19.40	c |     61766 |    1000    20000   100000 | 2147483647    58391    125 |  0.000 % |
19.64/19.74	c |     62421 |    1000    20000   100000 | 2147483647    59046    125 |  0.000 % |
20.05/20.12	c |     63141 |    1000    20000   100000 | 2147483647    59766    125 |  0.000 % |
20.45/20.55	c |     63933 |    1000    20000   100000 | 2147483647    60558    125 |  0.000 % |
20.55/20.61	c |     64034 |    1000    20000   100000 | 2147483647    60659    125 |  0.000 % |
20.64/20.71	c |     64144 |    1000    20000   100000 | 2147483647    60769    125 |  0.000 % |
20.64/20.78	c |     64265 |    1000    20000   100000 | 2147483647    60890    125 |  0.000 % |
20.75/20.86	c |     64400 |    1000    20000   100000 | 2147483647    61025    125 |  0.000 % |
20.84/20.96	c |     64546 |    1000    20000   100000 | 2147483647    61171    125 |  0.000 % |
20.94/21.06	c |     64707 |    1000    20000   100000 | 2147483647    61332    125 |  0.000 % |
21.04/21.17	c |     64883 |    1000    20000   100000 | 2147483647    61508    125 |  0.000 % |
21.14/21.28	c |     65077 |    1000    20000   100000 | 2147483647    61702    125 |  0.000 % |
21.34/21.44	c |     65289 |    1000    20000   100000 | 2147483647    61914    125 |  0.000 % |
21.44/21.57	c |     65523 |    1000    20000   100000 | 2147483647    62148    125 |  0.000 % |
21.64/21.74	c |     65780 |    1000    20000   100000 | 2147483647    62405    125 |  0.000 % |
21.84/21.90	c |     66063 |    1000    20000   100000 | 2147483647    62688    125 |  0.000 % |
21.94/22.09	c |     66372 |    1000    20000   100000 | 2147483647    62997    125 |  0.000 % |
22.24/22.31	c |     66711 |    1000    20000   100000 | 2147483647    63336    125 |  0.000 % |
22.44/22.53	c |     67084 |    1000    20000   100000 | 2147483647    63709    125 |  0.000 % |
22.64/22.78	c |     67493 |    1000    20000   100000 | 2147483647    64118    125 |  0.000 % |
22.95/23.04	c |     67943 |    1000    20000   100000 | 2147483647    64568    125 |  0.000 % |
23.24/23.34	c |     68436 |    1000    20000   100000 | 2147483647    65061    125 |  0.000 % |
23.54/23.65	c |     68978 |    1000    20000   100000 | 2147483647    65603    125 |  0.000 % |
23.84/23.99	c |     69574 |    1000    20000   100000 | 2147483647    66199    125 |  0.000 % |
24.24/24.38	c |     70229 |    1000    20000   100000 | 2147483647    66854    125 |  0.000 % |
24.74/24.83	c |     70950 |    1000    20000   100000 | 2147483647    67575    125 |  0.000 % |
25.24/25.33	c |     71742 |    1000    20000   100000 | 2147483647    68367    125 |  0.000 % |
25.74/25.85	c |     72615 |    1000    20000   100000 | 2147483647    69240    126 |  0.000 % |
25.84/25.91	c |     72719 |    1000    20000   100000 | 2147483647    69344    126 |  0.000 % |
25.84/25.98	c |     72830 |    1000    20000   100000 | 2147483647    69455    126 |  0.000 % |
25.94/26.06	c |     72951 |    1000    20000   100000 | 2147483647    69576    126 |  0.000 % |
26.04/26.16	c |     73084 |    1000    20000   100000 | 2147483647    69709    126 |  0.000 % |
26.14/26.28	c |     73231 |    1000    20000   100000 | 2147483647    69856    126 |  0.000 % |
26.24/26.39	c |     73391 |    1000    20000   100000 | 2147483647    70016    126 |  0.000 % |
26.43/26.50	c |     73569 |    1000    20000   100000 | 2147483647    70194    126 |  0.000 % |
26.53/26.65	c |     73763 |    1000    20000   100000 | 2147483647    70388    126 |  0.000 % |
26.63/26.79	c |     73975 |    1000    20000   100000 | 2147483647    70600    126 |  0.000 % |
26.83/26.96	c |     74209 |    1000    20000   100000 | 2147483647    70834    126 |  0.000 % |
27.03/27.14	c |     74465 |    1000    20000   100000 | 2147483647    71090    126 |  0.000 % |
27.24/27.32	c |     74747 |    1000    20000   100000 | 2147483647    71372    126 |  0.000 % |
27.44/27.53	c |     75056 |    1000    20000   100000 | 2147483647    71681    126 |  0.000 % |
27.64/27.77	c |     75397 |    1000    20000   100000 | 2147483647    72022    126 |  0.000 % |
27.94/28.01	c |     75770 |    1000    20000   100000 | 2147483647    72395    126 |  0.000 % |
28.14/28.29	c |     76179 |    1000    20000   100000 | 2147483647    72804    126 |  0.000 % |
28.44/28.57	c |     76630 |    1000    20000   100000 | 2147483647    73255    126 |  0.000 % |
28.74/28.89	c |     77123 |    1000    20000   100000 | 2147483647    73748    126 |  0.000 % |
29.14/29.24	c |     77665 |    1000    20000   100000 | 2147483647    74290    126 |  0.000 % |
29.54/29.63	c |     78261 |    1000    20000   100000 | 2147483647    74886    126 |  0.000 % |
29.94/30.03	c |     78917 |    1000    20000   100000 | 2147483647    75542    126 |  0.000 % |
30.34/30.49	c |     79640 |    1000    20000   100000 | 2147483647    76265    126 |  0.000 % |
30.84/30.99	c |     80432 |    1000    20000   100000 | 2147483647    77057    126 |  0.000 % |
31.53/31.60	c |     81303 |    1000    20000   100000 | 2147483647    77928    126 |  0.000 % |
32.13/32.26	c |     82263 |    1000    20000   100000 | 2147483647    78888    126 |  0.000 % |
32.23/32.34	c |     82363 |    1000    20000   100000 | 2147483647    78988    126 |  0.000 % |
32.33/32.43	c |     82477 |    1000    20000   100000 | 2147483647    79102    126 |  0.000 % |
32.43/32.53	c |     82598 |    1000    20000   100000 | 2147483647    79223    126 |  0.000 % |
32.53/32.65	c |     82731 |    1000    20000   100000 | 2147483647    79356    126 |  0.000 % |
32.63/32.76	c |     82877 |    1000    20000   100000 | 2147483647    79502    126 |  0.000 % |
32.73/32.88	c |     83037 |    1000    20000   100000 | 2147483647    79662    126 |  0.000 % |
32.93/33.04	c |     83213 |    1000    20000   100000 | 2147483647    79838    126 |  0.000 % |
33.13/33.20	c |     83406 |    1000    20000   100000 | 2147483647    80031    126 |  0.000 % |
33.23/33.37	c |     83618 |    1000    20000   100000 | 2147483647    80243    126 |  0.000 % |
33.43/33.55	c |     83851 |    1000    20000   100000 | 2147483647    80476    126 |  0.000 % |
33.63/33.74	c |     84108 |    1000    20000   100000 | 2147483647    80733    126 |  0.000 % |
33.83/33.95	c |     84390 |    1000    20000   100000 | 2147483647    81015    126 |  0.000 % |
34.03/34.16	c |     84701 |    1000    20000   100000 | 2147483647    81326    126 |  0.000 % |
34.33/34.40	c |     85041 |    1000    20000   100000 | 2147483647    81666    126 |  0.000 % |
34.63/34.70	c |     85414 |    1000    20000   100000 | 2147483647    82039    126 |  0.000 % |
34.93/35.03	c |     85823 |    1000    20000   100000 | 2147483647    82448    126 |  0.000 % |
35.23/35.36	c |     86272 |    1000    20000   100000 | 2147483647    82897    126 |  0.000 % |
35.63/35.77	c |     86766 |    1000    20000   100000 | 2147483647    83391    126 |  0.000 % |
36.03/36.16	c |     87311 |    1000    20000   100000 | 2147483647    83936    126 |  0.000 % |
36.53/36.60	c |     87910 |    1000    20000   100000 | 2147483647    84535    126 |  0.000 % |
36.93/37.01	c |     88565 |    1000    20000   100000 | 2147483647    85190    126 |  0.000 % |
37.43/37.58	c |     89285 |    1000    20000   100000 | 2147483647    85910    126 |  0.000 % |
38.13/38.21	c |     90077 |    1000    20000   100000 | 2147483647    86702    127 |  0.000 % |
38.73/38.88	c |     90949 |    1000    20000   100000 | 2147483647    87574    127 |  0.000 % |
39.43/39.58	c |     91907 |    1000    20000   100000 | 2147483647    88532    127 |  0.000 % |
40.23/40.32	c |     92961 |    1000    20000   100000 | 2147483647    89586    127 |  0.000 % |
40.33/40.41	c |     93061 |    1000    20000   100000 | 2147483647    89686    127 |  0.000 % |
40.43/40.52	c |     93172 |    1000    20000   100000 | 2147483647    89797    127 |  0.000 % |
40.53/40.64	c |     93294 |    1000    20000   100000 | 2147483647    89919    127 |  0.000 % |
40.63/40.76	c |     93427 |    1000    20000   100000 | 2147483647    90052    127 |  0.000 % |
40.72/40.88	c |     93573 |    1000    20000   100000 | 2147483647    90198    127 |  0.000 % |
40.92/41.05	c |     93733 |    1000    20000   100000 | 2147483647    90358    127 |  0.000 % |
41.02/41.19	c |     93910 |    1000    20000   100000 | 2147483647    90535    127 |  0.000 % |
41.22/41.35	c |     94104 |    1000    20000   100000 | 2147483647    90729    127 |  0.000 % |
41.43/41.53	c |     94320 |    1000    20000   100000 | 2147483647    90945    127 |  0.000 % |
41.63/41.72	c |     94553 |    1000    20000   100000 | 2147483647    91178    127 |  0.000 % |
41.83/41.96	c |     94809 |    1000    20000   100000 | 2147483647    91434    127 |  0.000 % |
42.03/42.18	c |     95090 |    1000    20000   100000 | 2147483647    91715    127 |  0.000 % |
42.33/42.45	c |     95399 |    1000    20000   100000 | 2147483647    92024    127 |  0.000 % |
42.63/42.74	c |     95741 |    1000    20000   100000 | 2147483647    92366    127 |  0.000 % |
42.93/43.06	c |     96113 |    1000    20000   100000 | 2147483647    92738    127 |  0.000 % |
43.22/43.38	c |     96523 |    1000    20000   100000 | 2147483647    93148    127 |  0.000 % |
43.62/43.79	c |     96972 |    1000    20000   100000 | 2147483647    93597    127 |  0.000 % |
44.12/44.25	c |     97466 |    1000    20000   100000 | 2147483647    94091    127 |  0.000 % |
44.52/44.69	c |     98008 |    1000    20000   100000 | 2147483647    94633    127 |  0.000 % |
45.12/45.22	c |     98604 |    1000    20000   100000 | 2147483647    95229    127 |  0.000 % |
45.63/45.77	c |     99260 |    1000    20000   100000 | 2147483647    95885    127 |  0.000 % |
46.22/46.35	c |     99980 |    1000    20000   100000 | 2147483647    96605    127 |  0.000 % |
46.92/47.02	c |    100773 |    1000    20000   100000 |    96627    83957    127 |  0.000 % |
47.52/47.68	c |    101644 |    1000    20000   100000 |    96627    84828    127 |  0.000 % |
48.23/48.36	c |    102605 |    1000    20000   100000 |    96627    85789    127 |  0.000 % |
49.02/49.15	c |    103659 |    1000    20000   100000 |    96627    86843    127 |  0.000 % |
49.82/49.97	c |    104820 |    1000    20000   100000 |    96627    88004    128 |  0.000 % |
49.92/50.05	c |    104920 |    1000    20000   100000 |    96627    88104    128 |  0.000 % |
50.02/50.15	c |    105031 |    1000    20000   100000 |    96627    88215    128 |  0.000 % |
50.12/50.29	c |    105158 |    1000    20000   100000 |    96627    88342    128 |  0.000 % |
50.32/50.41	c |    105294 |    1000    20000   100000 |    96627    88478    128 |  0.000 % |
50.42/50.53	c |    105442 |    1000    20000   100000 |    96627    88626    127 |  0.000 % |
50.52/50.67	c |    105603 |    1000    20000   100000 |    96627    88787    128 |  0.000 % |
50.72/50.81	c |    105779 |    1000    20000   100000 |    96627    88963    127 |  0.000 % |
50.82/50.97	c |    105972 |    1000    20000   100000 |    96627    89156    127 |  0.000 % |
51.02/51.16	c |    106187 |    1000    20000   100000 |    96627    89371    127 |  0.000 % |
51.22/51.36	c |    106420 |    1000    20000   100000 |    96627    89604    127 |  0.000 % |
51.42/51.58	c |    106677 |    1000    20000   100000 |    96627    89861    127 |  0.000 % |
51.72/51.80	c |    106959 |    1000    20000   100000 |    96627    90143    127 |  0.000 % |
51.92/52.05	c |    107269 |    1000    20000   100000 |    96627    90453    127 |  0.000 % |
52.22/52.30	c |    107608 |    1000    20000   100000 |    96627    90792    127 |  0.000 % |
52.52/52.61	c |    107980 |    1000    20000   100000 |    96627    91164    127 |  0.000 % |
52.82/52.94	c |    108393 |    1000    20000   100000 |    96627    91577    127 |  0.000 % |
53.12/53.29	c |    108843 |    1000    20000   100000 |    96627    92027    127 |  0.000 % |
53.52/53.67	c |    109336 |    1000    20000   100000 |    96627    92520    127 |  0.000 % |
53.92/54.07	c |    109878 |    1000    20000   100000 |    96627    93062    127 |  0.000 % |
54.42/54.59	c |    110475 |    1000    20000   100000 |    93184    81397    128 |  0.000 % |
54.92/55.02	c |    111132 |    1000    20000   100000 |    93184    82054    128 |  0.000 % |
55.42/55.56	c |    111852 |    1000    20000   100000 |    93184    82774    128 |  0.000 % |
56.02/56.12	c |    112645 |    1000    20000   100000 |    93184    83567    128 |  0.000 % |
56.52/56.68	c |    113517 |    1000    20000   100000 |    93184    84439    129 |  0.000 % |
57.32/57.45	c |    114476 |    1000    20000   100000 |    93184    85398    129 |  0.000 % |
58.12/58.27	c |    115529 |    1000    20000   100000 |    93184    86451    129 |  0.000 % |
59.01/59.17	c |    116689 |    1000    20000   100000 |    93184    87611    129 |  0.000 % |
60.01/60.15	c |    117964 |    1000    20000   100000 |    93184    88886    129 |  0.000 % |
60.11/60.24	c |    118064 |    1000    20000   100000 |    93184    88986    129 |  0.000 % |
60.21/60.36	c |    118175 |    1000    20000   100000 |    93184    89097    129 |  0.000 % |
60.32/60.48	c |    118298 |    1000    20000   100000 |    93184    89220    129 |  0.000 % |
60.51/60.60	c |    118431 |    1000    20000   100000 |    93184    89353    129 |  0.000 % |
60.61/60.73	c |    118577 |    1000    20000   100000 |    93184    89499    129 |  0.000 % |
60.81/60.91	c |    118737 |    1000    20000   100000 |    93184    89659    129 |  0.000 % |
60.91/61.06	c |    118915 |    1000    20000   100000 |    93184    89837    129 |  0.000 % |
61.11/61.23	c |    119108 |    1000    20000   100000 |    93184    90030    129 |  0.000 % |
61.31/61.41	c |    119323 |    1000    20000   100000 |    93184    90245    129 |  0.000 % |
61.42/61.60	c |    119556 |    1000    20000   100000 |    93184    90478    129 |  0.000 % |
61.71/61.83	c |    119812 |    1000    20000   100000 |    93184    90734    129 |  0.000 % |
61.91/62.08	c |    120094 |    1000    20000   100000 |    90922    91016    129 |  0.000 % |
62.21/62.39	c |    120404 |    1000    20000   100000 |    90922    79608    129 |  0.000 % |
62.51/62.63	c |    120743 |    1000    20000   100000 |    90922    79947    129 |  0.000 % |
62.71/62.89	c |    121115 |    1000    20000   100000 |    90922    80319    129 |  0.000 % |
63.01/63.18	c |    121527 |    1000    20000   100000 |    90922    80731    129 |  0.000 % |
63.41/63.55	c |    121976 |    1000    20000   100000 |    90922    81180    129 |  0.000 % |
63.81/63.90	c |    122470 |    1000    20000   100000 |    90922    81674    129 |  0.000 % |
64.11/64.29	c |    123013 |    1000    20000   100000 |    90922    82217    129 |  0.000 % |
64.61/64.76	c |    123609 |    1000    20000   100000 |    90922    82813    129 |  0.000 % |
65.11/65.26	c |    124266 |    1000    20000   100000 |    90922    83470    129 |  0.000 % |
65.61/65.78	c |    124986 |    1000    20000   100000 |    90922    84190    129 |  0.000 % |
66.21/66.38	c |    125780 |    1000    20000   100000 |    90922    84984    129 |  0.000 % |
66.91/67.03	c |    126651 |    1000    20000   100000 |    90922    85855    129 |  0.000 % |
67.61/67.71	c |    127610 |    1000    20000   100000 |    90922    86814    129 |  0.000 % |
68.41/68.50	c |    128663 |    1000    20000   100000 |    90922    87867    129 |  0.000 % |
69.21/69.34	c |    129821 |    1000    20000   100000 |    90922    89025    129 |  0.000 % |
70.21/70.36	c |    131095 |    1000    20000   100000 |    89205    80213    130 |  0.000 % |
71.21/71.37	c |    132495 |    1000    20000   100000 |    89205    81613    130 |  0.000 % |
71.31/71.46	c |    132597 |    1000    20000   100000 |    89205    81715    130 |  0.000 % |
71.41/71.56	c |    132708 |    1000    20000   100000 |    89205    81826    130 |  0.000 % |
71.51/71.65	c |    132832 |    1000    20000   100000 |    89205    81950    130 |  0.000 % |
71.61/71.74	c |    132965 |    1000    20000   100000 |    89205    82083    129 |  0.000 % |
71.71/71.87	c |    133111 |    1000    20000   100000 |    89205    82229    129 |  0.000 % |
71.81/71.99	c |    133273 |    1000    20000   100000 |    89205    82391    129 |  0.000 % |
72.00/72.13	c |    133450 |    1000    20000   100000 |    89205    82568    129 |  0.000 % |
72.10/72.28	c |    133643 |    1000    20000   100000 |    89205    82761    129 |  0.000 % |
72.30/72.44	c |    133858 |    1000    20000   100000 |    89205    82976    129 |  0.000 % |
72.51/72.62	c |    134091 |    1000    20000   100000 |    89205    83209    129 |  0.000 % |
72.70/72.85	c |    134347 |    1000    20000   100000 |    89205    83465    129 |  0.000 % |
73.00/73.10	c |    134630 |    1000    20000   100000 |    89205    83748    129 |  0.000 % |
73.20/73.36	c |    134939 |    1000    20000   100000 |    89205    84057    129 |  0.000 % |
73.51/73.62	c |    135280 |    1000    20000   100000 |    89205    84398    129 |  0.000 % |
73.80/73.92	c |    135655 |    1000    20000   100000 |    89205    84773    129 |  0.000 % |
74.10/74.22	c |    136065 |    1000    20000   100000 |    89205    85183    129 |  0.000 % |
74.40/74.59	c |    136514 |    1000    20000   100000 |    89205    85632    129 |  0.000 % |
74.90/75.02	c |    137007 |    1000    20000   100000 |    89205    86125    129 |  0.000 % |
75.30/75.43	c |    137549 |    1000    20000   100000 |    89205    86667    129 |  0.000 % |
75.81/75.90	c |    138145 |    1000    20000   100000 |    89205    87263    129 |  0.000 % |
76.30/76.42	c |    138801 |    1000    20000   100000 |    89205    87919    129 |  0.000 % |
76.91/77.01	c |    139521 |    1000    20000   100000 |    89205    88639    129 |  0.000 % |
77.60/77.70	c |    140313 |    1000    20000   100000 |    89119    89431    129 |  0.000 % |
78.30/78.42	c |    141186 |    1000    20000   100000 |    89119    79114    130 |  0.000 % |
78.90/79.09	c |    142145 |    1000    20000   100000 |    89119    80073    130 |  0.000 % |
79.70/79.85	c |    143198 |    1000    20000   100000 |    89119    81126    130 |  0.000 % |
80.50/80.62	c |    144357 |    1000    20000   100000 |    89119    82285    130 |  0.000 % |
81.40/81.52	c |    145630 |    1000    20000   100000 |    89119    83558    130 |  0.000 % |
82.31/82.48	c |    147032 |    1000    20000   100000 |    89119    84960    130 |  0.000 % |
83.60/83.70	c |    148573 |    1000    20000   100000 |    89119    86501    130 |  0.000 % |
83.60/83.79	c |    148673 |    1000    20000   100000 |    89119    86601    130 |  0.000 % |
83.70/83.89	c |    148783 |    1000    20000   100000 |    89119    86711    130 |  0.000 % |
83.80/83.98	c |    148906 |    1000    20000   100000 |    89119    86834    130 |  0.000 % |
84.00/84.11	c |    149039 |    1000    20000   100000 |    89119    86967    130 |  0.000 % |
84.10/84.25	c |    149185 |    1000    20000   100000 |    89119    87113    130 |  0.000 % |
84.30/84.41	c |    149345 |    1000    20000   100000 |    89119    87273    130 |  0.000 % |
84.40/84.55	c |    149523 |    1000    20000   100000 |    89119    87451    130 |  0.000 % |
84.61/84.73	c |    149718 |    1000    20000   100000 |    89119    87646    130 |  0.000 % |
84.80/84.92	c |    149931 |    1000    20000   100000 |    89119    87859    130 |  0.000 % |
85.00/85.13	c |    150164 |    1000    20000   100000 |    87929    88092    130 |  0.000 % |
85.20/85.37	c |    150422 |    1000    20000   100000 |    87929    78082    130 |  0.000 % |
85.40/85.58	c |    150703 |    1000    20000   100000 |    87929    78363    130 |  0.000 % |
85.61/85.80	c |    151012 |    1000    20000   100000 |    87929    78672    130 |  0.000 % |
85.90/86.08	c |    151351 |    1000    20000   100000 |    87929    79011    130 |  0.000 % |
86.20/86.38	c |    151724 |    1000    20000   100000 |    87929    79384    130 |  0.000 % |
86.50/86.66	c |    152133 |    1000    20000   100000 |    87929    79793    130 |  0.000 % |
86.80/86.96	c |    152582 |    1000    20000   100000 |    87929    80242    130 |  0.000 % |
87.20/87.33	c |    153075 |    1000    20000   100000 |    87929    80735    130 |  0.000 % |
87.60/87.73	c |    153617 |    1000    20000   100000 |    87929    81277    130 |  0.000 % |
88.00/88.18	c |    154213 |    1000    20000   100000 |    87929    81873    130 |  0.000 % |
88.50/88.64	c |    154868 |    1000    20000   100000 |    87929    82528    130 |  0.000 % |
89.00/89.15	c |    155590 |    1000    20000   100000 |    87929    83250    130 |  0.000 % |
89.70/89.82	c |    156383 |    1000    20000   100000 |    87929    84043    130 |  0.000 % |
90.40/90.52	c |    157256 |    1000    20000   100000 |    87929    84916    130 |  0.000 % |
91.10/91.22	c |    158215 |    1000    20000   100000 |    87929    85875    130 |  0.000 % |
91.90/92.02	c |    159269 |    1000    20000   100000 |    87929    86929    130 |  0.000 % |
92.80/92.93	c |    160427 |    1000    20000   100000 |    87661    78118    130 |  0.000 % |
93.70/93.82	c |    161700 |    1000    20000   100000 |    87661    79391    130 |  0.000 % |
94.60/94.78	c |    163100 |    1000    20000   100000 |    87661    80791    130 |  0.000 % |
95.70/95.84	c |    164640 |    1000    20000   100000 |    87661    82331    130 |  0.000 % |
96.90/97.08	c |    166336 |    1000    20000   100000 |    87661    84027    130 |  0.000 % |
97.00/97.17	c |    166436 |    1000    20000   100000 |    87661    84127    130 |  0.000 % |
97.10/97.27	c |    166548 |    1000    20000   100000 |    87661    84239    130 |  0.000 % |
97.20/97.39	c |    166670 |    1000    20000   100000 |    87661    84361    130 |  0.000 % |
97.40/97.51	c |    166803 |    1000    20000   100000 |    87661    84494    130 |  0.000 % |
97.50/97.63	c |    166949 |    1000    20000   100000 |    87661    84640    130 |  0.000 % |
97.60/97.77	c |    167109 |    1000    20000   100000 |    87661    84800    130 |  0.000 % |
97.80/97.92	c |    167285 |    1000    20000   100000 |    87661    84976    130 |  0.000 % |
97.90/98.07	c |    167478 |    1000    20000   100000 |    87661    85169    130 |  0.000 % |
98.10/98.25	c |    167692 |    1000    20000   100000 |    87661    85383    130 |  0.000 % |
98.30/98.44	c |    167925 |    1000    20000   100000 |    87661    85616    130 |  0.000 % |
98.50/98.64	c |    168182 |    1000    20000   100000 |    87661    85873    130 |  0.000 % |
98.70/98.86	c |    168463 |    1000    20000   100000 |    87661    86154    130 |  0.000 % |
99.00/99.12	c |    168772 |    1000    20000   100000 |    87661    86463    130 |  0.000 % |
99.19/99.38	c |    169111 |    1000    20000   100000 |    87661    86802    130 |  0.000 % |
99.49/99.65	c |    169483 |    1000    20000   100000 |    87661    87174    130 |  0.000 % |
99.79/99.97	c |    169893 |    1000    20000   100000 |    87661    87584    130 |  0.000 % |
100.19/100.31	c |    170343 |    1000    20000   100000 |    87692    88034    130 |  0.000 % |
100.49/100.69	c |    170836 |    1000    20000   100000 |    87692    79594    130 |  0.000 % |
100.89/101.08	c |    171378 |    1000    20000   100000 |    87692    80136    130 |  0.000 % |
101.39/101.50	c |    171974 |    1000    20000   100000 |    87692    80732    130 |  0.000 % |
101.79/101.96	c |    172629 |    1000    20000   100000 |    87692    81387    130 |  0.000 % |
102.29/102.48	c |    173350 |    1000    20000   100000 |    87692    82108    130 |  0.000 % |
102.89/103.01	c |    174144 |    1000    20000   100000 |    87692    82902    130 |  0.000 % |
103.49/103.65	c |    175017 |    1000    20000   100000 |    87692    83775    130 |  0.000 % |
104.19/104.38	c |    175975 |    1000    20000   100000 |    87692    84733    130 |  0.000 % |
104.99/105.18	c |    177028 |    1000    20000   100000 |    87692    85786    130 |  0.000 % |
105.89/106.08	c |    178187 |    1000    20000   100000 |    87692    86945    130 |  0.000 % |
106.89/107.04	c |    179460 |    1000    20000   100000 |    87692    78899    130 |  0.000 % |
107.89/108.00	c |    180862 |    1000    20000   100000 |    79439    72322    130 |  0.000 % |
108.80/108.98	c |    182403 |    1000    20000   100000 |    79439    73863    130 |  0.000 % |
109.89/110.05	c |    184097 |    1000    20000   100000 |    79439    75557    131 |  0.000 % |
111.09/111.30	c |    185960 |    1000    20000   100000 |    79439    77420    131 |  0.000 % |
111.19/111.36	c |    186060 |    1000    20000   100000 |    79439    77520    131 |  0.000 % |
111.29/111.47	c |    186172 |    1000    20000   100000 |    79439    77632    131 |  0.000 % |
111.39/111.57	c |    186293 |    1000    20000   100000 |    79439    77753    131 |  0.000 % |
111.49/111.68	c |    186428 |    1000    20000   100000 |    79439    77888    131 |  0.000 % |
111.59/111.79	c |    186574 |    1000    20000   100000 |    79439    78034    131 |  0.000 % |
111.79/111.93	c |    186737 |    1000    20000   100000 |    79439    78197    131 |  0.000 % |
111.89/112.08	c |    186913 |    1000    20000   100000 |    79439    78373    131 |  0.000 % |
112.09/112.23	c |    187107 |    1000    20000   100000 |    79439    78567    131 |  0.000 % |
112.19/112.39	c |    187319 |    1000    20000   100000 |    79439    78779    130 |  0.000 % |
112.39/112.56	c |    187552 |    1000    20000   100000 |    79439    79012    130 |  0.000 % |
112.59/112.78	c |    187812 |    1000    20000   100000 |    79439    79272    130 |  0.000 % |
112.89/113.00	c |    188093 |    1000    20000   100000 |    79439    79553    130 |  0.000 % |
113.09/113.29	c |    188404 |    1000    20000   100000 |    79439    71909    130 |  0.000 % |
113.39/113.52	c |    188743 |    1000    20000   100000 |    79439    72248    130 |  0.000 % |
113.69/113.82	c |    189115 |    1000    20000   100000 |    79439    72620    130 |  0.000 % |
113.89/114.09	c |    189526 |    1000    20000   100000 |    79439    73031    130 |  0.000 % |
114.29/114.43	c |    189976 |    1000    20000   100000 |    79439    73481    130 |  0.000 % |
114.59/114.76	c |    190469 |    1000    20000   100000 | 2147483647    73974    130 |  0.000 % |
114.99/115.13	c |    191012 |    1000    20000   100000 | 2147483647    74517    130 |  0.000 % |
115.39/115.56	c |    191609 |    1000    20000   100000 | 2147483647    75114    130 |  0.000 % |
115.79/115.98	c |    192264 |    1000    20000   100000 | 2147483647    75769    130 |  0.000 % |
116.29/116.46	c |    192985 |    1000    20000   100000 | 2147483647    76490    130 |  0.000 % |
116.89/117.01	c |    193777 |    1000    20000   100000 | 2147483647    77282    130 |  0.000 % |
117.39/117.59	c |    194648 |    1000    20000   100000 | 2147483647    78153    130 |  0.000 % |
118.09/118.20	c |    195606 |    1000    20000   100000 | 2147483647    79111    130 |  0.000 % |
118.79/118.93	c |    196660 |    1000    20000   100000 | 2147483647    80165    130 |  0.000 % |
119.59/119.72	c |    197818 |    1000    20000   100000 | 2147483647    81323    130 |  0.000 % |
120.49/120.62	c |    199092 |    1000    20000   100000 | 2147483647    82597    130 |  0.000 % |
121.49/121.64	c |    200492 |    1000    20000   100000 | 2147483647    83997    130 |  0.000 % |
122.59/122.76	c |    202032 |    1000    20000   100000 | 2147483647    85537    130 |  0.000 % |
123.89/124.01	c |    203727 |    1000    20000   100000 | 2147483647    87232    130 |  0.000 % |
125.29/125.43	c |    205590 |    1000    20000   100000 | 2147483647    89095    130 |  0.000 % |
126.89/127.00	c |    207640 |    1000    20000   100000 | 2147483647    91145    130 |  0.000 % |
126.89/127.09	c |    207741 |    1000    20000   100000 | 2147483647    91246    130 |  0.000 % |
126.99/127.19	c |    207852 |    1000    20000   100000 | 2147483647    91357    130 |  0.000 % |
127.09/127.29	c |    207974 |    1000    20000   100000 | 2147483647    91479    130 |  0.000 % |
127.29/127.42	c |    208107 |    1000    20000   100000 | 2147483647    91612    130 |  0.000 % |
127.40/127.55	c |    208254 |    1000    20000   100000 | 2147483647    91759    130 |  0.000 % |
127.59/127.70	c |    208415 |    1000    20000   100000 | 2147483647    91920    130 |  0.000 % |
127.69/127.85	c |    208591 |    1000    20000   100000 | 2147483647    92096    130 |  0.000 % |
127.89/128.06	c |    208784 |    1000    20000   100000 | 2147483647    92289    130 |  0.000 % |
128.09/128.25	c |    208997 |    1000    20000   100000 | 2147483647    92502    130 |  0.000 % |
128.29/128.47	c |    209231 |    1000    20000   100000 | 2147483647    92736    130 |  0.000 % |
128.60/128.71	c |    209487 |    1000    20000   100000 | 2147483647    92992    130 |  0.000 % |
128.79/128.96	c |    209768 |    1000    20000   100000 | 2147483647    93273    130 |  0.000 % |
129.09/129.23	c |    210078 |    1000    20000   100000 |    93505    93583    130 |  0.000 % |
129.39/129.58	c |    210421 |    1000    20000   100000 |    93505    82415    130 |  0.000 % |
129.69/129.85	c |    210794 |    1000    20000   100000 |    93505    82788    130 |  0.000 % |
129.99/130.18	c |    211203 |    1000    20000   100000 |    93505    83197    130 |  0.000 % |
130.39/130.52	c |    211652 |    1000    20000   100000 |    93505    83646    130 |  0.000 % |
130.69/130.85	c |    212147 |    1000    20000   100000 |    93505    84141    130 |  0.000 % |
131.09/131.25	c |    212689 |    1000    20000   100000 |    93505    84683    130 |  0.000 % |
131.49/131.69	c |    213286 |    1000    20000   100000 |    93505    85280    130 |  0.000 % |
132.09/132.21	c |    213941 |    1000    20000   100000 |    93505    85935    130 |  0.000 % |
132.59/132.76	c |    214661 |    1000    20000   100000 |    93505    86655    130 |  0.000 % |
133.19/133.36	c |    215454 |    1000    20000   100000 |    93505    87448    130 |  0.000 % |
133.89/134.08	c |    216325 |    1000    20000   100000 |    93505    88319    130 |  0.000 % |
134.69/134.83	c |    217287 |    1000    20000   100000 |    93505    89281    130 |  0.000 % |
135.49/135.60	c |    218342 |    1000    20000   100000 |    93505    90336    130 |  0.000 % |
136.29/136.50	c |    219501 |    1000    20000   100000 |    93505    91495    130 |  0.000 % |
137.49/137.62	c |    220776 |    1000    20000   100000 |    91995    81298    131 |  0.000 % |
138.49/138.65	c |    222176 |    1000    20000   100000 |    91995    82698    131 |  0.000 % |
139.59/139.76	c |    223717 |    1000    20000   100000 |    91995    84239    131 |  0.000 % |
140.78/141.00	c |    225411 |    1000    20000   100000 |    91995    85933    131 |  0.000 % |
142.18/142.38	c |    227275 |    1000    20000   100000 |    91995    87797    131 |  0.000 % |
143.89/144.04	c |    229327 |    1000    20000   100000 |    91995    89849    131 |  0.000 % |
145.58/145.76	c |    231580 |    1000    20000   100000 |    90522    81764    131 |  0.000 % |
145.68/145.87	c |    231683 |    1000    20000   100000 |    90522    81867    131 |  0.000 % |
145.78/145.95	c |    231793 |    1000    20000   100000 |    90522    81977    131 |  0.000 % |
145.88/146.06	c |    231914 |    1000    20000   100000 |    90522    82098    131 |  0.000 % |
145.98/146.17	c |    232047 |    1000    20000   100000 |    90522    82231    131 |  0.000 % |
146.08/146.30	c |    232194 |    1000    20000   100000 |    90522    82378    131 |  0.000 % |
146.28/146.43	c |    232354 |    1000    20000   100000 |    90522    82538    131 |  0.000 % |
146.38/146.58	c |    232530 |    1000    20000   100000 |    90522    82714    131 |  0.000 % |
146.58/146.73	c |    232724 |    1000    20000   100000 |    90522    82908    131 |  0.000 % |
146.68/146.88	c |    232937 |    1000    20000   100000 |    90522    83121    131 |  0.000 % |
146.88/147.07	c |    233171 |    1000    20000   100000 |    90522    83355    131 |  0.000 % |
147.08/147.26	c |    233429 |    1000    20000   100000 |    90522    83613    131 |  0.000 % |
147.28/147.49	c |    233715 |    1000    20000   100000 |    90522    83899    131 |  0.000 % |
147.58/147.72	c |    234024 |    1000    20000   100000 |    90522    84208    131 |  0.000 % |
147.88/148.01	c |    234364 |    1000    20000   100000 |    90522    84548    131 |  0.000 % |
148.18/148.30	c |    234736 |    1000    20000   100000 |    90522    84920    130 |  0.000 % |
148.48/148.61	c |    235146 |    1000    20000   100000 |    90522    85330    131 |  0.000 % |
148.78/148.96	c |    235595 |    1000    20000   100000 |    90522    85779    131 |  0.000 % |
149.18/149.36	c |    236088 |    1000    20000   100000 |    90522    86272    130 |  0.000 % |
149.68/149.82	c |    236631 |    1000    20000   100000 |    90522    86815    130 |  0.000 % |
150.18/150.31	c |    237230 |    1000    20000   100000 |    90522    87414    130 |  0.000 % |
150.68/150.80	c |    237885 |    1000    20000   100000 |    90522    88069    131 |  0.000 % |
151.18/151.37	c |    238605 |    1000    20000   100000 |    90522    88789    131 |  0.000 % |
151.78/151.99	c |    239400 |    1000    20000   100000 |    90522    89584    131 |  0.000 % |
152.48/152.64	c |    240272 |    1000    20000   100000 |    90184    90456    131 |  0.000 % |
153.18/153.39	c |    241230 |    1000    20000   100000 |    90184    80373    130 |  0.000 % |
153.97/154.13	c |    242283 |    1000    20000   100000 |    90184    81426    130 |  0.000 % |
154.67/154.89	c |    243442 |    1000    20000   100000 |    90184    82585    130 |  0.000 % |
155.67/155.87	c |    244715 |    1000    20000   100000 |    90184    83858    131 |  0.000 % |
156.68/156.90	c |    246116 |    1000    20000   100000 |    90184    85259    131 |  0.000 % |
157.77/157.98	c |    247657 |    1000    20000   100000 |    90184    86800    131 |  0.000 % |
158.97/159.17	c |    249353 |    1000    20000   100000 |    90184    88496    131 |  0.000 % |
160.38/160.53	c |    251217 |    1000    20000   100000 |    89143    80806    131 |  0.000 % |
161.77/161.99	c |    253268 |    1000    20000   100000 |    89143    82857    131 |  0.000 % |
163.37/163.51	c |    255521 |    1000    20000   100000 |    89143    85110    132 |  0.000 % |
165.07/165.28	c |    258000 |    1000    20000   100000 |    89143    87589    132 |  0.000 % |
165.17/165.38	c |    258101 |    1000    20000   100000 |    89143    87690    132 |  0.000 % |
165.27/165.48	c |    258211 |    1000    20000   100000 |    89143    87800    132 |  0.000 % |
165.37/165.58	c |    258333 |    1000    20000   100000 |    89143    87922    132 |  0.000 % |
165.47/165.68	c |    258466 |    1000    20000   100000 |    89143    88055    132 |  0.000 % |
165.67/165.81	c |    258615 |    1000    20000   100000 |    89143    88204    132 |  0.000 % |
165.77/165.95	c |    258775 |    1000    20000   100000 |    89143    88364    132 |  0.000 % |
165.88/166.10	c |    258951 |    1000    20000   100000 |    89143    88540    132 |  0.000 % |
166.07/166.26	c |    259146 |    1000    20000   100000 |    89143    88735    132 |  0.000 % |
166.27/166.42	c |    259359 |    1000    20000   100000 |    89143    88948    132 |  0.000 % |
166.47/166.60	c |    259593 |    1000    20000   100000 |    89143    89182    132 |  0.000 % |
166.67/166.88	c |    259852 |    1000    20000   100000 |    89143    80048    132 |  0.000 % |
166.87/167.09	c |    260135 |    1000    20000   100000 |    80196    80331    132 |  0.000 % |
167.17/167.34	c |    260444 |    1000    20000   100000 |    80196    72094    132 |  0.000 % |
167.37/167.57	c |    260784 |    1000    20000   100000 |    80196    72434    132 |  0.000 % |
167.67/167.82	c |    261156 |    1000    20000   100000 |    80196    72806    132 |  0.000 % |
167.87/168.06	c |    261566 |    1000    20000   100000 |    80196    73216    132 |  0.000 % |
168.17/168.37	c |    262016 |    1000    20000   100000 |    80196    73666    132 |  0.000 % |
168.57/168.72	c |    262512 |    1000    20000   100000 |    80196    74162    132 |  0.000 % |
168.87/169.09	c |    263054 |    1000    20000   100000 |    80196    74704    132 |  0.000 % |
169.37/169.50	c |    263650 |    1000    20000   100000 |    80196    75300    132 |  0.000 % |
169.77/169.94	c |    264305 |    1000    20000   100000 |    80196    75955    132 |  0.000 % |
170.27/170.44	c |    265026 |    1000    20000   100000 |    80196    76676    132 |  0.000 % |
170.87/171.03	c |    265818 |    1000    20000   100000 |    80196    77468    132 |  0.000 % |
171.47/171.68	c |    266691 |    1000    20000   100000 |    80196    78341    132 |  0.000 % |
172.17/172.38	c |    267649 |    1000    20000   100000 |    80196    79299    132 |  0.000 % |
172.97/173.13	c |    268703 |    1000    20000   100000 |    80196    80353    132 |  0.000 % |
173.67/173.89	c |    269861 |    1000    20000   100000 |    80196    73476    132 |  0.000 % |
174.47/174.69	c |    271135 |    1000    20000   100000 | 2147483647    74750    132 |  0.000 % |
175.47/175.62	c |    272535 |    1000    20000   100000 | 2147483647    76150    132 |  0.000 % |
176.57/176.75	c |    274075 |    1000    20000   100000 | 2147483647    77690    132 |  0.000 % |
177.66/177.90	c |    275770 |    1000    20000   100000 | 2147483647    79385    132 |  0.000 % |
178.96/179.18	c |    277634 |    1000    20000   100000 | 2147483647    81249    132 |  0.000 % |
180.46/180.62	c |    279683 |    1000    20000   100000 | 2147483647    83298    132 |  0.000 % |
181.96/182.15	c |    281939 |    1000    20000   100000 | 2147483647    85554    132 |  0.000 % |
183.86/184.01	c |    284417 |    1000    20000   100000 | 2147483647    88032    132 |  0.000 % |
185.77/185.93	c |    287142 |    1000    20000   100000 | 2147483647    90757    132 |  0.000 % |
185.86/186.01	c |    287243 |    1000    20000   100000 | 2147483647    90858    132 |  0.000 % |
185.96/186.10	c |    287354 |    1000    20000   100000 | 2147483647    90969    132 |  0.000 % |
186.06/186.21	c |    287476 |    1000    20000   100000 | 2147483647    91091    132 |  0.000 % |
186.16/186.33	c |    287609 |    1000    20000   100000 | 2147483647    91224    132 |  0.000 % |
186.26/186.45	c |    287756 |    1000    20000   100000 | 2147483647    91371    132 |  0.000 % |
186.36/186.57	c |    287917 |    1000    20000   100000 | 2147483647    91532    132 |  0.000 % |
186.56/186.71	c |    288094 |    1000    20000   100000 | 2147483647    91709    132 |  0.000 % |
186.76/186.91	c |    288287 |    1000    20000   100000 | 2147483647    91902    132 |  0.000 % |
186.96/187.11	c |    288499 |    1000    20000   100000 | 2147483647    92114    132 |  0.000 % |
187.16/187.32	c |    288735 |    1000    20000   100000 | 2147483647    92350    132 |  0.000 % |
187.36/187.55	c |    288991 |    1000    20000   100000 | 2147483647    92606    132 |  0.000 % |
187.66/187.80	c |    289274 |    1000    20000   100000 | 2147483647    92889    132 |  0.000 % |
187.86/188.07	c |    289584 |    1000    20000   100000 | 2147483647    93199    132 |  0.000 % |
188.17/188.39	c |    289924 |    1000    20000   100000 | 2147483647    93539    132 |  0.000 % |
188.56/188.71	c |    290296 |    1000    20000   100000 |    93617    93911    132 |  0.000 % |
188.86/189.10	c |    290705 |    1000    20000   100000 |    93617    83002    132 |  0.000 % |
189.26/189.46	c |    291154 |    1000    20000   100000 |    93617    83451    132 |  0.000 % |
189.66/189.80	c |    291648 |    1000    20000   100000 |    93617    83945    132 |  0.000 % |
189.96/190.18	c |    292190 |    1000    20000   100000 |    93617    84487    132 |  0.000 % |
190.46/190.62	c |    292787 |    1000    20000   100000 |    93617    85084    132 |  0.000 % |
190.86/191.08	c |    293442 |    1000    20000   100000 |    93617    85739    132 |  0.000 % |
191.46/191.63	c |    294162 |    1000    20000   100000 |    93617    86459    132 |  0.000 % |
191.96/192.18	c |    294955 |    1000    20000   100000 |    93617    87252    132 |  0.000 % |
192.66/192.81	c |    295826 |    1000    20000   100000 |    93617    88123    132 |  0.000 % |
193.37/193.51	c |    296785 |    1000    20000   100000 |    93617    89082    132 |  0.000 % |
194.06/194.26	c |    297838 |    1000    20000   100000 |    93617    90135    132 |  0.000 % |
194.96/195.10	c |    298997 |    1000    20000   100000 |    93617    91294    132 |  0.000 % |
195.86/196.04	c |    300272 |    1000    20000   100000 |    92297    92569    132 |  0.000 % |
196.86/197.03	c |    301673 |    1000    20000   100000 |    92297    82980    132 |  0.000 % |
197.96/198.14	c |    303214 |    1000    20000   100000 |    92297    84521    132 |  0.000 % |
199.16/199.37	c |    304908 |    1000    20000   100000 |    92297    86215    132 |  0.000 % |
200.56/200.76	c |    306771 |    1000    20000   100000 |    92297    88078    132 |  0.000 % |
202.16/202.30	c |    308821 |    1000    20000   100000 |    92297    90128    132 |  0.000 % |
203.86/204.00	c |    311074 |    1000    20000   100000 |    91307    81983    132 |  0.000 % |
205.66/205.81	c |    313553 |    1000    20000   100000 |    91307    84462    132 |  0.000 % |
207.56/207.76	c |    316279 |    1000    20000   100000 |    91307    87188    132 |  0.000 % |
209.86/210.00	c |    319278 |    1000    20000   100000 |    91307    90187    132 |  0.000 % |
209.86/210.09	c |    319378 |    1000    20000   100000 |    91307    90287    132 |  0.000 % |
209.96/210.19	c |    319488 |    1000    20000   100000 |    91307    90397    132 |  0.000 % |
210.16/210.30	c |    319609 |    1000    20000   100000 |    91307    90518    132 |  0.000 % |
210.26/210.41	c |    319744 |    1000    20000   100000 |    91307    90653    132 |  0.000 % |
210.36/210.54	c |    319890 |    1000    20000   100000 |    91307    90799    132 |  0.000 % |
210.46/210.66	c |    320050 |    1000    20000   100000 |    90909    90959    132 |  0.000 % |
210.66/210.89	c |    320226 |    1000    20000   100000 |    90909    80103    132 |  0.000 % |
210.85/211.04	c |    320420 |    1000    20000   100000 |    90909    80297    132 |  0.000 % |
211.06/211.21	c |    320632 |    1000    20000   100000 |    90909    80509    132 |  0.000 % |
211.25/211.40	c |    320866 |    1000    20000   100000 |    90909    80743    132 |  0.000 % |
211.35/211.59	c |    321124 |    1000    20000   100000 |    90909    81001    132 |  0.000 % |
211.55/211.80	c |    321406 |    1000    20000   100000 |    90909    81283    132 |  0.000 % |
211.85/212.04	c |    321715 |    1000    20000   100000 |    90909    81592    132 |  0.000 % |
212.06/212.30	c |    322054 |    1000    20000   100000 |    90909    81931    132 |  0.000 % |
212.45/212.61	c |    322430 |    1000    20000   100000 |    90909    82307    132 |  0.000 % |
212.75/212.92	c |    322839 |    1000    20000   100000 |    90909    82716    132 |  0.000 % |
213.05/213.28	c |    323288 |    1000    20000   100000 |    90909    83165    132 |  0.000 % |
213.45/213.66	c |    323783 |    1000    20000   100000 |    90909    83660    132 |  0.000 % |
213.85/214.06	c |    324325 |    1000    20000   100000 |    90909    84202    132 |  0.000 % |
214.26/214.49	c |    324922 |    1000    20000   100000 |    90909    84799    132 |  0.000 % |
214.75/214.99	c |    325580 |    1000    20000   100000 |    90909    85457    132 |  0.000 % |
215.36/215.57	c |    326301 |    1000    20000   100000 |    90909    86178    132 |  0.000 % |
215.95/216.19	c |    327093 |    1000    20000   100000 |    90909    86970    132 |  0.000 % |
216.65/216.86	c |    327965 |    1000    20000   100000 |    90909    87842    132 |  0.000 % |
217.45/217.60	c |    328923 |    1000    20000   100000 |    90909    88800    132 |  0.000 % |
218.15/218.37	c |    329976 |    1000    20000   100000 |    90909    89853    132 |  0.000 % |
219.05/219.22	c |    331134 |    1000    20000   100000 |    89877    80047    131 |  0.000 % |
219.86/220.06	c |    332411 |    1000    20000   100000 |    89877    81324    131 |  0.000 % |
220.86/221.10	c |    333811 |    1000    20000   100000 |    89877    82724    132 |  0.000 % |
221.96/222.19	c |    335352 |    1000    20000   100000 |    89877    84265    132 |  0.000 % |
223.16/223.39	c |    337047 |    1000    20000   100000 |    89877    85960    132 |  0.000 % |
224.65/224.81	c |    338912 |    1000    20000   100000 |    89877    87825    132 |  0.000 % |
226.15/226.30	c |    340961 |    1000    20000   100000 |    88913    80290    132 |  0.000 % |
227.65/227.85	c |    343214 |    1000    20000   100000 |    88913    82543    132 |  0.000 % |
229.35/229.54	c |    345694 |    1000    20000   100000 |    88913    85023    132 |  0.000 % |
231.25/231.49	c |    348419 |    1000    20000   100000 |    88913    87748    132 |  0.000 % |
233.55/233.70	c |    351418 |    1000    20000   100000 | 2147483647    81824    132 |  0.000 % |
235.85/236.00	c |    354715 |    1000    20000   100000 | 2147483647    85121    132 |  0.000 % |
235.85/236.08	c |    354815 |    1000    20000   100000 | 2147483647    85221    132 |  0.000 % |
235.95/236.17	c |    354927 |    1000    20000   100000 | 2147483647    85333    132 |  0.000 % |
236.05/236.29	c |    355048 |    1000    20000   100000 | 2147483647    85454    132 |  0.000 % |
236.25/236.43	c |    355181 |    1000    20000   100000 | 2147483647    85587    132 |  0.000 % |
236.35/236.56	c |    355327 |    1000    20000   100000 | 2147483647    85733    132 |  0.000 % |
236.45/236.68	c |    355488 |    1000    20000   100000 | 2147483647    85894    132 |  0.000 % |
236.65/236.83	c |    355666 |    1000    20000   100000 | 2147483647    86072    132 |  0.000 % |
236.75/236.99	c |    355860 |    1000    20000   100000 | 2147483647    86266    132 |  0.000 % |
236.95/237.15	c |    356074 |    1000    20000   100000 | 2147483647    86480    132 |  0.000 % |
237.15/237.35	c |    356308 |    1000    20000   100000 | 2147483647    86714    132 |  0.000 % |
237.35/237.59	c |    356567 |    1000    20000   100000 | 2147483647    86973    132 |  0.000 % |
237.65/237.82	c |    356848 |    1000    20000   100000 | 2147483647    87254    132 |  0.000 % |
237.85/238.08	c |    357158 |    1000    20000   100000 | 2147483647    87564    132 |  0.000 % |
238.15/238.36	c |    357498 |    1000    20000   100000 | 2147483647    87904    132 |  0.000 % |
238.45/238.64	c |    357871 |    1000    20000   100000 | 2147483647    88277    132 |  0.000 % |
238.75/238.99	c |    358281 |    1000    20000   100000 | 2147483647    88687    132 |  0.000 % |
239.15/239.35	c |    358731 |    1000    20000   100000 | 2147483647    89137    132 |  0.000 % |
239.55/239.74	c |    359224 |    1000    20000   100000 | 2147483647    89630    132 |  0.000 % |
239.95/240.17	c |    359766 |    1000    20000   100000 | 2147483647    90172    132 |  0.000 % |
240.45/240.65	c |    360365 |    1000    20000   100000 |    90407    90771    132 |  0.000 % |
240.95/241.16	c |    361022 |    1000    20000   100000 |    90407    81080    132 |  0.000 % |
241.55/241.71	c |    361742 |    1000    20000   100000 |    90407    81800    132 |  0.000 % |
242.05/242.29	c |    362537 |    1000    20000   100000 |    90407    82595    132 |  0.000 % |
242.75/242.92	c |    363409 |    1000    20000   100000 |    90407    83467    132 |  0.000 % |
243.44/243.62	c |    364369 |    1000    20000   100000 |    90407    84427    132 |  0.000 % |
244.14/244.37	c |    365422 |    1000    20000   100000 |    90407    85480    132 |  0.000 % |
245.05/245.20	c |    366580 |    1000    20000   100000 |    90407    86638    132 |  0.000 % |
246.04/246.23	c |    367855 |    1000    20000   100000 |    90407    87913    132 |  0.000 % |
247.14/247.33	c |    369255 |    1000    20000   100000 |    90407    89313    132 |  0.000 % |
248.35/248.52	c |    370795 |    1000    20000   100000 |    90058    80361    132 |  0.000 % |
249.55/249.77	c |    372490 |    1000    20000   100000 |    90058    82056    132 |  0.000 % |
250.94/251.10	c |    374353 |    1000    20000   100000 |    90058    83919    132 |  0.000 % |
252.34/252.58	c |    376403 |    1000    20000   100000 |    90058    85969    132 |  0.000 % |
253.94/254.17	c |    378656 |    1000    20000   100000 |    90058    88222    132 |  0.000 % |
255.74/255.99	c |    381135 |    1000    20000   100000 |    89566    81352    133 |  0.000 % |
257.74/257.96	c |    383860 |    1000    20000   100000 |    89566    84077    133 |  0.000 % |
259.94/260.18	c |    386859 |    1000    20000   100000 |    89566    87076    133 |  0.000 % |
262.54/262.73	c |    390157 |    1000    20000   100000 |    80983    81140    134 |  0.000 % |
264.94/265.12	c |    393782 |    1000    20000   100000 |    80983    76501    134 |  0.000 % |
264.94/265.19	c |    393883 |    1000    20000   100000 |    80983    76602    134 |  0.000 % |
265.04/265.27	c |    393994 |    1000    20000   100000 |    80983    76713    134 |  0.000 % |
265.14/265.37	c |    394115 |    1000    20000   100000 |    80983    76834    134 |  0.000 % |
265.24/265.48	c |    394250 |    1000    20000   100000 |    80983    76969    134 |  0.000 % |
265.34/265.59	c |    394398 |    1000    20000   100000 |    80983    77117    134 |  0.000 % |
265.54/265.71	c |    394559 |    1000    20000   100000 |    80983    77278    134 |  0.000 % |
265.64/265.88	c |    394737 |    1000    20000   100000 |    80983    77456    134 |  0.000 % |
265.84/266.02	c |    394931 |    1000    20000   100000 |    80983    77650    134 |  0.000 % |
265.94/266.18	c |    395145 |    1000    20000   100000 |    80983    77864    134 |  0.000 % |
266.14/266.35	c |    395378 |    1000    20000   100000 |    80983    78097    134 |  0.000 % |
266.34/266.53	c |    395634 |    1000    20000   100000 |    80983    78353    134 |  0.000 % |
266.54/266.73	c |    395916 |    1000    20000   100000 |    80983    78635    134 |  0.000 % |
266.74/266.97	c |    396225 |    1000    20000   100000 |    80983    78944    134 |  0.000 % |
266.93/267.20	c |    396564 |    1000    20000   100000 |    80983    79283    134 |  0.000 % |
267.33/267.50	c |    396936 |    1000    20000   100000 |    80983    79655    134 |  0.000 % |
267.64/267.81	c |    397345 |    1000    20000   100000 |    80983    80064    134 |  0.000 % |
267.94/268.13	c |    397794 |    1000    20000   100000 |    80983    80513    134 |  0.000 % |
268.24/268.45	c |    398287 |    1000    20000   100000 |    80983    81006    134 |  0.000 % |
268.73/268.91	c |    398830 |    1000    20000   100000 |    80983    73449    134 |  0.000 % |
269.03/269.29	c |    399427 |    1000    20000   100000 |    80983    74046    134 |  0.000 % |
269.53/269.72	c |    400082 |    1000    20000   100000 | 2147483647    74701    134 |  0.000 % |
270.03/270.23	c |    400802 |    1000    20000   100000 | 2147483647    75421    134 |  0.000 % |
270.53/270.73	c |    401594 |    1000    20000   100000 | 2147483647    76213    134 |  0.000 % |
271.13/271.38	c |    402465 |    1000    20000   100000 | 2147483647    77084    134 |  0.000 % |
271.83/272.06	c |    403424 |    1000    20000   100000 | 2147483647    78043    134 |  0.000 % |
272.64/272.81	c |    404478 |    1000    20000   100000 | 2147483647    79097    134 |  0.000 % |
273.43/273.65	c |    405637 |    1000    20000   100000 | 2147483647    80256    134 |  0.000 % |
274.33/274.54	c |    406910 |    1000    20000   100000 | 2147483647    81529    134 |  0.000 % |
275.33/275.54	c |    408310 |    1000    20000   100000 | 2147483647    82929    134 |  0.000 % |
276.43/276.64	c |    409851 |    1000    20000   100000 | 2147483647    84470    134 |  0.000 % |
277.63/277.86	c |    411545 |    1000    20000   100000 | 2147483647    86164    134 |  0.000 % |
279.13/279.37	c |    413408 |    1000    20000   100000 | 2147483647    88027    135 |  0.000 % |
280.63/280.89	c |    415459 |    1000    20000   100000 | 2147483647    90078    135 |  0.000 % |
282.33/282.57	c |    417713 |    1000    20000   100000 | 2147483647    92332    135 |  0.000 % |
284.23/284.47	c |    420192 |    1000    20000   100000 |    94622    94811    135 |  0.000 % |
286.23/286.46	c |    422918 |    1000    20000   100000 |    94622    86110    135 |  0.000 % |
288.53/288.77	c |    425915 |    1000    20000   100000 |    94622    89107    135 |  0.000 % |
291.03/291.28	c |    429211 |    1000    20000   100000 |    94622    92403    135 |  0.000 % |
293.83/294.02	c |    432836 |    1000    20000   100000 |    93192    85161    135 |  0.000 % |
296.63/296.90	c |    436823 |    1000    20000   100000 |    93192    89148    135 |  0.000 % |
296.73/296.98	c |    436923 |    1000    20000   100000 |    93192    89248    135 |  0.000 % |
296.83/297.08	c |    437035 |    1000    20000   100000 |    93192    89360    135 |  0.000 % |
297.03/297.21	c |    437156 |    1000    20000   100000 |    93192    89481    135 |  0.000 % |
297.13/297.31	c |    437292 |    1000    20000   100000 |    93192    89617    135 |  0.000 % |
297.23/297.43	c |    437438 |    1000    20000   100000 |    93192    89763    135 |  0.000 % |
297.33/297.57	c |    437598 |    1000    20000   100000 |    93192    89923    135 |  0.000 % |
297.53/297.75	c |    437774 |    1000    20000   100000 |    93192    90099    135 |  0.000 % |
297.73/297.92	c |    437967 |    1000    20000   100000 |    93192    90292    135 |  0.000 % |
297.83/298.10	c |    438180 |    1000    20000   100000 |    93192    90505    135 |  0.000 % |
298.03/298.29	c |    438413 |    1000    20000   100000 |    93192    90738    135 |  0.000 % |
298.33/298.50	c |    438669 |    1000    20000   100000 |    93192    90994    135 |  0.000 % |
298.53/298.74	c |    438951 |    1000    20000   100000 |    93192    91276    135 |  0.000 % |
298.83/299.02	c |    439261 |    1000    20000   100000 |    93192    91586    135 |  0.000 % |
299.13/299.30	c |    439600 |    1000    20000   100000 |    93192    91925    135 |  0.000 % |
299.33/299.58	c |    439972 |    1000    20000   100000 |    93192    92297    135 |  0.000 % |
299.73/299.99	c |    440381 |    1000    20000   100000 |    92326    81480    136 |  0.000 % |
300.03/300.30	c |    440831 |    1000    20000   100000 |    92326    81930    135 |  0.000 % |
300.43/300.67	c |    441325 |    1000    20000   100000 |    92326    82424    135 |  0.000 % |
300.93/301.10	c |    441867 |    1000    20000   100000 |    92326    82966    135 |  0.000 % |
301.33/301.54	c |    442464 |    1000    20000   100000 |    92326    83563    135 |  0.000 % |
301.83/302.01	c |    443119 |    1000    20000   100000 |    92326    84218    135 |  0.000 % |
302.33/302.52	c |    443839 |    1000    20000   100000 |    92326    84938    135 |  0.000 % |
302.93/303.14	c |    444631 |    1000    20000   100000 |    92326    85730    135 |  0.000 % |
303.53/303.79	c |    445502 |    1000    20000   100000 |    92326    86601    135 |  0.000 % |
304.32/304.58	c |    446460 |    1000    20000   100000 |    92326    87559    135 |  0.000 % |
305.12/305.37	c |    447513 |    1000    20000   100000 |    92326    88612    135 |  0.000 % |
306.02/306.24	c |    448671 |    1000    20000   100000 |    92326    89770    136 |  0.000 % |
307.02/307.27	c |    449946 |    1000    20000   100000 |    92326    91045    135 |  0.000 % |
308.12/308.34	c |    451346 |    1000    20000   100000 |    91099    81092    136 |  0.000 % |
309.12/309.36	c |    452886 |    1000    20000   100000 |    91099    82632    136 |  0.000 % |
310.32/310.50	c |    454582 |    1000    20000   100000 |    91099    84328    136 |  0.000 % |
311.62/311.89	c |    456445 |    1000    20000   100000 |    91099    86191    136 |  0.000 % |
313.22/313.45	c |    458496 |    1000    20000   100000 |    91099    88242    136 |  0.000 % |
314.92/315.18	c |    460751 |    1000    20000   100000 |    89747    80204    135 |  0.000 % |
316.72/316.90	c |    463229 |    1000    20000   100000 |    89747    82682    135 |  0.000 % |
318.62/318.80	c |    465955 |    1000    20000   100000 |    89747    85408    135 |  0.000 % |
320.82/321.03	c |    468952 |    1000    20000   100000 |    89747    88405    136 |  0.000 % |
323.32/323.57	c |    472248 |    1000    20000   100000 |    89453    81849    135 |  0.000 % |
325.92/326.12	c |    475873 |    1000    20000   100000 |    89453    85474    135 |  0.000 % |
328.92/329.10	c |    479860 |    1000    20000   100000 |    89453    89461    136 |  0.000 % |
331.72/331.94	c |    484247 |    1000    20000   100000 |    80618    76763    136 |  0.000 % |
331.82/332.01	c |    484347 |    1000    20000   100000 |    80618    76863    136 |  0.000 % |
331.92/332.10	c |    484457 |    1000    20000   100000 |    80618    76973    136 |  0.000 % |
331.92/332.20	c |    484579 |    1000    20000   100000 |    80618    77095    136 |  0.000 % |
332.11/332.31	c |    484712 |    1000    20000   100000 |    80618    77228    136 |  0.000 % |
332.21/332.42	c |    484858 |    1000    20000   100000 |    80618    77374    136 |  0.000 % |
332.31/332.56	c |    485019 |    1000    20000   100000 |    80618    77535    136 |  0.000 % |
332.51/332.70	c |    485196 |    1000    20000   100000 |    80618    77712    136 |  0.000 % |
332.61/332.86	c |    485389 |    1000    20000   100000 |    80618    77905    136 |  0.000 % |
332.81/333.02	c |    485602 |    1000    20000   100000 |    80618    78118    136 |  0.000 % |
332.91/333.18	c |    485835 |    1000    20000   100000 |    80618    78351    136 |  0.000 % |
333.12/333.37	c |    486093 |    1000    20000   100000 |    80618    78609    136 |  0.000 % |
333.31/333.59	c |    486375 |    1000    20000   100000 |    80618    78891    136 |  0.000 % |
333.61/333.83	c |    486684 |    1000    20000   100000 |    80618    79200    136 |  0.000 % |
333.81/334.06	c |    487023 |    1000    20000   100000 |    80618    79539    136 |  0.000 % |
334.12/334.35	c |    487395 |    1000    20000   100000 |    80618    79911    136 |  0.000 % |
334.41/334.65	c |    487804 |    1000    20000   100000 |    80618    80320    136 |  0.000 % |
334.81/335.00	c |    488254 |    1000    20000   100000 |    80618    80770    136 |  0.000 % |
335.11/335.37	c |    488747 |    1000    20000   100000 |    80618    73186    135 |  0.000 % |
335.51/335.74	c |    489289 |    1000    20000   100000 |    80618    73728    135 |  0.000 % |
335.91/336.14	c |    489887 |    1000    20000   100000 |    80618    74326    135 |  0.000 % |
336.32/336.56	c |    490542 |    1000    20000   100000 | 2147483647    74981    135 |  0.000 % |
336.81/337.05	c |    491263 |    1000    20000   100000 | 2147483647    75702    135 |  0.000 % |
337.31/337.58	c |    492056 |    1000    20000   100000 | 2147483647    76495    135 |  0.000 % |
338.01/338.20	c |    492929 |    1000    20000   100000 | 2147483647    77368    135 |  0.000 % |
338.62/338.88	c |    493891 |    1000    20000   100000 | 2147483647    78330    135 |  0.000 % |
339.31/339.58	c |    494944 |    1000    20000   100000 | 2147483647    79383    135 |  0.000 % |
340.11/340.37	c |    496103 |    1000    20000   100000 | 2147483647    80542    135 |  0.000 % |
341.01/341.21	c |    497376 |    1000    20000   100000 | 2147483647    81815    135 |  0.000 % |
341.92/342.15	c |    498777 |    1000    20000   100000 | 2147483647    83216    135 |  0.000 % |
343.01/343.22	c |    500319 |    1000    20000   100000 | 2147483647    84758    135 |  0.000 % |
344.11/344.40	c |    502014 |    1000    20000   100000 | 2147483647    86453    135 |  0.000 % |
345.61/345.87	c |    503877 |    1000    20000   100000 | 2147483647    88316    135 |  0.000 % |
347.11/347.35	c |    505927 |    1000    20000   100000 | 2147483647    90366    135 |  0.000 % |
348.81/349.02	c |    508180 |    1000    20000   100000 | 2147483647    92619    135 |  0.000 % |
350.81/351.00	c |    510659 |    1000    20000   100000 |    94439    84005    135 |  0.000 % |
352.71/352.99	c |    513384 |    1000    20000   100000 |    94439    86730    135 |  0.000 % |
354.91/355.18	c |    516382 |    1000    20000   100000 |    94439    89728    135 |  0.000 % |
357.51/357.76	c |    519679 |    1000    20000   100000 |    94439    93025    135 |  0.000 % |
360.41/360.64	c |    523304 |    1000    20000   100000 |    93348    85864    135 |  0.000 % |
363.31/363.50	c |    527291 |    1000    20000   100000 |    93348    89851    136 |  0.000 % |
366.51/366.75	c |    531676 |    1000    20000   100000 |    92560    83300    136 |  0.000 % |
370.11/370.38	c |    536499 |    1000    20000   100000 |    92560    88123    137 |  0.000 % |
370.21/370.47	c |    536600 |    1000    20000   100000 |    92560    88224    137 |  0.000 % |
370.31/370.57	c |    536712 |    1000    20000   100000 |    92560    88336    137 |  0.000 % |
370.42/370.66	c |    536833 |    1000    20000   100000 |    92560    88457    137 |  0.000 % |
370.51/370.76	c |    536966 |    1000    20000   100000 |    92560    88590    137 |  0.000 % |
370.61/370.90	c |    537112 |    1000    20000   100000 |    92560    88736    137 |  0.000 % |
370.81/371.03	c |    537273 |    1000    20000   100000 |    92560    88897    137 |  0.000 % |
370.91/371.18	c |    537449 |    1000    20000   100000 |    92560    89073    137 |  0.000 % |
371.11/371.36	c |    537644 |    1000    20000   100000 |    92560    89268    137 |  0.000 % |
371.31/371.55	c |    537858 |    1000    20000   100000 |    92560    89482    137 |  0.000 % |
371.51/371.75	c |    538091 |    1000    20000   100000 |    92560    89715    137 |  0.000 % |
371.81/372.00	c |    538347 |    1000    20000   100000 |    92560    89971    137 |  0.000 % |
372.01/372.27	c |    538630 |    1000    20000   100000 |    92560    90254    137 |  0.000 % |
372.31/372.50	c |    538940 |    1000    20000   100000 |    92560    90564    137 |  0.000 % |
372.51/372.78	c |    539281 |    1000    20000   100000 |    92560    90905    137 |  0.000 % |
372.81/373.08	c |    539655 |    1000    20000   100000 |    92560    91279    137 |  0.000 % |
373.21/373.41	c |    540064 |    1000    20000   100000 |    91624    91688    137 |  0.000 % |
373.61/373.80	c |    540514 |    1000    20000   100000 |    91624    81868    137 |  0.000 % |
373.91/374.18	c |    541007 |    1000    20000   100000 |    91624    82361    137 |  0.000 % |
374.31/374.58	c |    541550 |    1000    20000   100000 |    91624    82904    137 |  0.000 % |
374.81/375.02	c |    542147 |    1000    20000   100000 |    91624    83501    137 |  0.000 % |
375.31/375.52	c |    542803 |    1000    20000   100000 |    91624    84157    137 |  0.000 % |
375.81/376.04	c |    543523 |    1000    20000   100000 |    91624    84877    137 |  0.000 % |
376.41/376.68	c |    544316 |    1000    20000   100000 |    91624    85670    136 |  0.000 % |
377.11/377.32	c |    545187 |    1000    20000   100000 |    91624    86541    136 |  0.000 % |
377.71/377.99	c |    546145 |    1000    20000   100000 |    91624    87499    136 |  0.000 % |
378.51/378.77	c |    547199 |    1000    20000   100000 |    91624    88553    137 |  0.000 % |
379.41/379.65	c |    548358 |    1000    20000   100000 |    91624    89712    136 |  0.000 % |
380.41/380.67	c |    549632 |    1000    20000   100000 |    91624    90986    136 |  0.000 % |
381.61/381.80	c |    551032 |    1000    20000   100000 |    91357    81810    136 |  0.000 % |
382.71/382.90	c |    552572 |    1000    20000   100000 |    91357    83350    136 |  0.000 % |
384.01/384.20	c |    554268 |    1000    20000   100000 |    91357    85046    136 |  0.000 % |
385.41/385.62	c |    556131 |    1000    20000   100000 |    91357    86909    136 |  0.000 % |
386.91/387.18	c |    558182 |    1000    20000   100000 |    91357    88960    136 |  0.000 % |
388.71/388.97	c |    560435 |    1000    20000   100000 |    90779    80359    136 |  0.000 % |
390.60/390.81	c |    562913 |    1000    20000   100000 |    90779    82837    136 |  0.000 % |
392.60/392.80	c |    565639 |    1000    20000   100000 |    90779    85563    136 |  0.000 % |
394.90/395.14	c |    568636 |    1000    20000   100000 |    90779    88560    136 |  0.000 % |
397.30/397.53	c |    571932 |    1000    20000   100000 |    89924    82068    136 |  0.000 % |
399.90/400.17	c |    575558 |    1000    20000   100000 |    89924    85694    137 |  0.000 % |
403.00/403.26	c |    579546 |    1000    20000   100000 |    89924    89682    137 |  0.000 % |
406.20/406.45	c |    583931 |    1000    20000   100000 |    90136    83751    138 |  0.000 % |
409.80/410.00	c |    588755 |    1000    20000   100000 |    90136    88575    138 |  0.000 % |
413.70/413.92	c |    594061 |    1000    20000   100000 |    89821    83170    138 |  0.000 % |
413.80/414.02	c |    594162 |    1000    20000   100000 |    89821    83271    138 |  0.000 % |
413.90/414.11	c |    594275 |    1000    20000   100000 |    89821    83384    138 |  0.000 % |
414.00/414.21	c |    594396 |    1000    20000   100000 |    89821    83505    138 |  0.000 % |
414.10/414.31	c |    594529 |    1000    20000   100000 |    89821    83638    138 |  0.000 % |
414.20/414.46	c |    594675 |    1000    20000   100000 |    89821    83784    138 |  0.000 % |
414.30/414.59	c |    594835 |    1000    20000   100000 |    89821    83944    138 |  0.000 % |
414.50/414.74	c |    595013 |    1000    20000   100000 |    89821    84122    138 |  0.000 % |
414.70/414.92	c |    595207 |    1000    20000   100000 |    89821    84316    138 |  0.000 % |
414.80/415.08	c |    595420 |    1000    20000   100000 |    89821    84529    138 |  0.000 % |
415.00/415.27	c |    595653 |    1000    20000   100000 |    89821    84762    138 |  0.000 % |
415.20/415.46	c |    595909 |    1000    20000   100000 |    89821    85018    138 |  0.000 % |
415.40/415.69	c |    596190 |    1000    20000   100000 |    89821    85299    138 |  0.000 % |
415.70/415.92	c |    596500 |    1000    20000   100000 |    89821    85609    138 |  0.000 % |
416.00/416.21	c |    596841 |    1000    20000   100000 |    89821    85950    138 |  0.000 % |
416.30/416.52	c |    597214 |    1000    20000   100000 |    89821    86323    138 |  0.000 % |
416.60/416.81	c |    597624 |    1000    20000   100000 |    89821    86733    138 |  0.000 % |
416.90/417.17	c |    598078 |    1000    20000   100000 |    89821    87187    138 |  0.000 % |
417.30/417.59	c |    598572 |    1000    20000   100000 |    89821    87681    138 |  0.000 % |
417.80/418.03	c |    599117 |    1000    20000   100000 |    89821    88226    138 |  0.000 % |
418.30/418.53	c |    599713 |    1000    20000   100000 |    89821    88822    138 |  0.000 % |
418.80/419.10	c |    600368 |    1000    20000   100000 |    89110    78574    137 |  0.000 % |
419.40/419.62	c |    601088 |    1000    20000   100000 |    89110    79294    137 |  0.000 % |
420.00/420.21	c |    601880 |    1000    20000   100000 |    89110    80086    137 |  0.000 % |
420.60/420.84	c |    602755 |    1000    20000   100000 |    89110    80961    137 |  0.000 % |
421.29/421.54	c |    603714 |    1000    20000   100000 |    89110    81920    137 |  0.000 % |
422.00/422.26	c |    604767 |    1000    20000   100000 |    89110    82973    137 |  0.000 % |
422.79/423.06	c |    605927 |    1000    20000   100000 |    89110    84133    137 |  0.000 % |
423.69/423.98	c |    607200 |    1000    20000   100000 |    89110    85406    137 |  0.000 % |
424.79/425.03	c |    608600 |    1000    20000   100000 |    89110    86806    137 |  0.000 % |
425.89/426.11	c |    610140 |    1000    20000   100000 |    88206    88346    137 |  0.000 % |
427.09/427.30	c |    611835 |    1000    20000   100000 |    88206    80663    136 |  0.000 % |
428.29/428.57	c |    613698 |    1000    20000   100000 |    88206    82526    136 |  0.000 % |
429.69/429.98	c |    615747 |    1000    20000   100000 |    88206    84575    136 |  0.000 % |
431.39/431.68	c |    618002 |    1000    20000   100000 |    88206    86830    136 |  0.000 % |
433.39/433.62	c |    620482 |    1000    20000   100000 |    79793    72036    136 |  0.000 % |
435.19/435.42	c |    623208 |    1000    20000   100000 |    79793    74762    136 |  0.000 % |
437.19/437.44	c |    626205 |    1000    20000   100000 |    79793    77759    136 |  0.000 % |
439.49/439.74	c |    629503 |    1000    20000   100000 |    79793    73042    136 |  0.000 % |
441.79/442.08	c |    633128 |    1000    20000   100000 | 2147483647    76667    136 |  0.000 % |
444.49/444.76	c |    637117 |    1000    20000   100000 | 2147483647    80656    136 |  0.000 % |
447.69/447.92	c |    641503 |    1000    20000   100000 | 2147483647    85042    137 |  0.000 % |
451.29/451.56	c |    646326 |    1000    20000   100000 | 2147483647    89865    137 |  0.000 % |
455.38/455.67	c |    651631 |    1000    20000   100000 |    93541    84039    138 |  0.000 % |
459.78/460.06	c |    657468 |    1000    20000   100000 |    93541    89876    138 |  0.000 % |
459.88/460.12	c |    657569 |    1000    20000   100000 |    93541    89977    138 |  0.000 % |
459.98/460.24	c |    657679 |    1000    20000   100000 |    93541    90087    138 |  0.000 % |
460.08/460.36	c |    657800 |    1000    20000   100000 |    93541    90208    138 |  0.000 % |
460.18/460.49	c |    657935 |    1000    20000   100000 |    93541    90343    138 |  0.000 % |
460.38/460.63	c |    658083 |    1000    20000   100000 |    93541    90491    138 |  0.000 % |
460.59/460.80	c |    658248 |    1000    20000   100000 |    93541    90656    138 |  0.000 % |
460.68/460.94	c |    658425 |    1000    20000   100000 |    93541    90833    138 |  0.000 % |
460.88/461.13	c |    658620 |    1000    20000   100000 |    93541    91028    138 |  0.000 % |
461.08/461.33	c |    658833 |    1000    20000   100000 |    93541    91241    138 |  0.000 % |
461.28/461.52	c |    659066 |    1000    20000   100000 |    93541    91474    138 |  0.000 % |
461.48/461.78	c |    659323 |    1000    20000   100000 |    93541    91731    138 |  0.000 % |
461.78/462.04	c |    659605 |    1000    20000   100000 |    93541    92013    138 |  0.000 % |
462.08/462.31	c |    659914 |    1000    20000   100000 |    93541    92322    138 |  0.000 % |
462.38/462.61	c |    660255 |    1000    20000   100000 |    92409    92663    138 |  0.000 % |
462.68/462.97	c |    660627 |    1000    20000   100000 |    92409    81216    138 |  0.000 % |
462.98/463.27	c |    661036 |    1000    20000   100000 |    92409    81625    138 |  0.000 % |
463.38/463.65	c |    661485 |    1000    20000   100000 |    92409    82074    138 |  0.000 % |
463.78/464.06	c |    661978 |    1000    20000   100000 |    92409    82567    138 |  0.000 % |
464.18/464.47	c |    662520 |    1000    20000   100000 |    92409    83109    138 |  0.000 % |
464.68/464.98	c |    663118 |    1000    20000   100000 |    92409    83707    138 |  0.000 % |
465.18/465.47	c |    663774 |    1000    20000   100000 |    92409    84363    138 |  0.000 % |
465.78/466.05	c |    664495 |    1000    20000   100000 |    92409    85084    138 |  0.000 % |
466.38/466.64	c |    665289 |    1000    20000   100000 |    92409    85878    138 |  0.000 % |
467.08/467.37	c |    666162 |    1000    20000   100000 |    92409    86751    138 |  0.000 % |
467.88/468.11	c |    667120 |    1000    20000   100000 |    92409    87709    137 |  0.000 % |
468.58/468.87	c |    668173 |    1000    20000   100000 |    92409    88762    137 |  0.000 % |
469.48/469.72	c |    669331 |    1000    20000   100000 |    92409    89920    137 |  0.000 % |
470.48/470.74	c |    670605 |    1000    20000   100000 |    90590    80158    137 |  0.000 % |
471.48/471.73	c |    672006 |    1000    20000   100000 |    90590    81559    137 |  0.000 % |
472.58/472.86	c |    673546 |    1000    20000   100000 |    90590    83099    137 |  0.000 % |
473.88/474.15	c |    675240 |    1000    20000   100000 |    90590    84793    137 |  0.000 % |
475.28/475.57	c |    677105 |    1000    20000   100000 |    90590    86658    136 |  0.000 % |
476.88/477.12	c |    679154 |    1000    20000   100000 |    90590    88707    137 |  0.000 % |
478.47/478.72	c |    681407 |    1000    20000   100000 |    89553    80479    137 |  0.000 % |
480.27/480.51	c |    683886 |    1000    20000   100000 |    89553    82958    138 |  0.000 % |
482.28/482.50	c |    686611 |    1000    20000   100000 |    89553    85683    138 |  0.000 % |
484.28/484.56	c |    689608 |    1000    20000   100000 |    89553    88680    138 |  0.000 % |
486.78/487.08	c |    692904 |    1000    20000   100000 | 2147483647    91976    138 |  0.000 % |
489.68/489.92	c |    696530 |    1000    20000   100000 | 2147483647    95602    138 |  0.000 % |
492.98/493.27	c |    700517 |    1000    20000   100000 |    99072    86202    139 |  0.000 % |
496.38/496.61	c |    704903 |    1000    20000   100000 |    99072    90588    139 |  0.000 % |
500.08/500.36	c |    709726 |    1000    20000   100000 |    99072    95411    140 |  0.000 % |
504.27/504.57	c |    715031 |    1000    20000   100000 |    95685    87929    140 |  0.000 % |
508.67/508.96	c |    720866 |    1000    20000   100000 |    92900    81705    141 |  0.000 % |
513.48/513.76	c |    727285 |    1000    20000   100000 |    92900    88124    141 |  0.000 % |
513.57/513.84	c |    727385 |    1000    20000   100000 |    92900    88224    141 |  0.000 % |
513.67/513.92	c |    727495 |    1000    20000   100000 |    92900    88334    141 |  0.000 % |
513.77/514.02	c |    727616 |    1000    20000   100000 |    92900    88455    141 |  0.000 % |
513.87/514.15	c |    727753 |    1000    20000   100000 |    92900    88592    141 |  0.000 % |
513.97/514.29	c |    727900 |    1000    20000   100000 |    92900    88739    141 |  0.000 % |
514.17/514.46	c |    728062 |    1000    20000   100000 |    92900    88901    141 |  0.000 % |
514.37/514.64	c |    728242 |    1000    20000   100000 |    92900    89081    141 |  0.000 % |
514.58/514.82	c |    728435 |    1000    20000   100000 |    92900    89274    141 |  0.000 % |
514.77/515.01	c |    728648 |    1000    20000   100000 |    92900    89487    141 |  0.000 % |
514.97/515.21	c |    728881 |    1000    20000   100000 |    92900    89720    141 |  0.000 % |
515.17/515.42	c |    729137 |    1000    20000   100000 |    92900    89976    141 |  0.000 % |
515.37/515.62	c |    729419 |    1000    20000   100000 |    92900    90258    141 |  0.000 % |
515.58/515.87	c |    729729 |    1000    20000   100000 |    92900    90568    141 |  0.000 % |
515.87/516.17	c |    730068 |    1000    20000   100000 |    90842    90907    141 |  0.000 % |
516.27/516.51	c |    730444 |    1000    20000   100000 |    90842    80219    139 |  0.000 % |
516.57/516.84	c |    730855 |    1000    20000   100000 |    90842    80630    139 |  0.000 % |
516.87/517.17	c |    731306 |    1000    20000   100000 |    90842    81081    139 |  0.000 % |
517.27/517.55	c |    731799 |    1000    20000   100000 |    90842    81574    139 |  0.000 % |
517.67/517.97	c |    732341 |    1000    20000   100000 |    90842    82116    139 |  0.000 % |
518.17/518.41	c |    732937 |    1000    20000   100000 |    90842    82712    139 |  0.000 % |
518.57/518.88	c |    733595 |    1000    20000   100000 |    90842    83370    139 |  0.000 % |
519.17/519.49	c |    734316 |    1000    20000   100000 |    90842    84091    139 |  0.000 % |
519.87/520.10	c |    735111 |    1000    20000   100000 |    90842    84886    139 |  0.000 % |
520.47/520.74	c |    735983 |    1000    20000   100000 |    90842    85758    139 |  0.000 % |
521.27/521.52	c |    736941 |    1000    20000   100000 |    90842    86716    139 |  0.000 % |
521.97/522.28	c |    737995 |    1000    20000   100000 |    90842    87770    139 |  0.000 % |
522.87/523.15	c |    739154 |    1000    20000   100000 |    90842    88929    139 |  0.000 % |
523.97/524.21	c |    740427 |    1000    20000   100000 |    89775    79704    139 |  0.000 % |
524.87/525.16	c |    741827 |    1000    20000   100000 |    89775    81104    139 |  0.000 % |
525.97/526.24	c |    743367 |    1000    20000   100000 |    89775    82644    139 |  0.000 % |
527.16/527.49	c |    745062 |    1000    20000   100000 |    89775    84339    139 |  0.000 % |
528.77/529.02	c |    746926 |    1000    20000   100000 |    89775    86203    139 |  0.000 % |
530.26/530.55	c |    748975 |    1000    20000   100000 |    89775    88252    139 |  0.000 % |
531.96/532.28	c |    751230 |    1000    20000   100000 |    89278    80646    140 |  0.000 % |
533.76/534.05	c |    753708 |    1000    20000   100000 |    89278    83124    140 |  0.000 % |
535.86/536.12	c |    756435 |    1000    20000   100000 |    89278    85851    140 |  0.000 % |
537.96/538.22	c |    759434 |    1000    20000   100000 |    89278    88850    140 |  0.000 % |
540.46/540.79	c |    762730 |    1000    20000   100000 | 2147483647    92146    140 |  0.000 % |
543.36/543.64	c |    766355 |    1000    20000   100000 | 2147483647    95771    139 |  0.000 % |
546.56/546.85	c |    770342 |    1000    20000   100000 |    99416    99758    139 |  0.000 % |
549.86/550.18	c |    774727 |    1000    20000   100000 |    99416    90777    139 |  0.000 % |
553.86/554.15	c |    779554 |    1000    20000   100000 |    99416    95604    139 |  0.000 % |
558.16/558.42	c |    784859 |    1000    20000   100000 |    96050    87757    140 |  0.000 % |
562.66/562.94	c |    790695 |    1000    20000   100000 |    92901    81226    139 |  0.000 % |
567.26/567.59	c |    797113 |    1000    20000   100000 |    92901    87644    139 |  0.000 % |
572.65/572.98	c |    804173 |    1000    20000   100000 |    90532    84965    138 |  0.000 % |
572.75/573.05	c |    804274 |    1000    20000   100000 |    90532    85066    138 |  0.000 % |
572.85/573.14	c |    804384 |    1000    20000   100000 |    90532    85176    138 |  0.000 % |
572.95/573.25	c |    804506 |    1000    20000   100000 |    90532    85298    138 |  0.000 % |
573.05/573.38	c |    804639 |    1000    20000   100000 |    90532    85431    138 |  0.000 % |
573.25/573.52	c |    804786 |    1000    20000   100000 |    90532    85578    138 |  0.000 % |
573.35/573.66	c |    804948 |    1000    20000   100000 |    90532    85740    138 |  0.000 % |
573.55/573.82	c |    805125 |    1000    20000   100000 |    90532    85917    138 |  0.000 % |
573.65/573.96	c |    805319 |    1000    20000   100000 |    90532    86111    138 |  0.000 % |
573.85/574.14	c |    805533 |    1000    20000   100000 |    90532    86325    138 |  0.000 % |
574.05/574.36	c |    805766 |    1000    20000   100000 |    90532    86558    138 |  0.000 % |
574.25/574.59	c |    806023 |    1000    20000   100000 |    90532    86815    138 |  0.000 % |
574.55/574.82	c |    806304 |    1000    20000   100000 |    90532    87096    138 |  0.000 % |
574.75/575.09	c |    806614 |    1000    20000   100000 |    90532    87406    137 |  0.000 % |
575.05/575.39	c |    806953 |    1000    20000   100000 |    90532    87745    137 |  0.000 % |
575.45/575.71	c |    807327 |    1000    20000   100000 |    90532    88119    137 |  0.000 % |
575.75/576.01	c |    807739 |    1000    20000   100000 |    90532    88531    137 |  0.000 % |
576.05/576.37	c |    808189 |    1000    20000   100000 |    90532    88981    137 |  0.000 % |
576.45/576.76	c |    808683 |    1000    20000   100000 |    90532    89475    137 |  0.000 % |
576.95/577.20	c |    809225 |    1000    20000   100000 |    90532    90017    137 |  0.000 % |
577.45/577.70	c |    809822 |    1000    20000   100000 |    90532    90614    137 |  0.000 % |
578.05/578.30	c |    810478 |    1000    20000   100000 |    80302    71714    137 |  0.000 % |
578.55/578.81	c |    811200 |    1000    20000   100000 |    80302    72436    137 |  0.000 % |
579.05/579.32	c |    811992 |    1000    20000   100000 |    80302    73228    137 |  0.000 % |
579.65/579.91	c |    812863 |    1000    20000   100000 |    80302    74099    137 |  0.000 % |
580.25/580.58	c |    813821 |    1000    20000   100000 |    80302    75057    137 |  0.000 % |
580.95/581.29	c |    814875 |    1000    20000   100000 |    80302    76111    137 |  0.000 % |
581.85/582.10	c |    816033 |    1000    20000   100000 |    80302    77269    137 |  0.000 % |
582.65/583.00	c |    817306 |    1000    20000   100000 |    80302    78542    137 |  0.000 % |
583.65/583.92	c |    818708 |    1000    20000   100000 |    80302    79944    137 |  0.000 % |
584.75/585.01	c |    820248 |    1000    20000   100000 | 2147483647    73421    136 |  0.000 % |
585.85/586.10	c |    821943 |    1000    20000   100000 | 2147483647    75116    136 |  0.000 % |
587.06/587.34	c |    823806 |    1000    20000   100000 | 2147483647    76979    136 |  0.000 % |
588.45/588.78	c |    825856 |    1000    20000   100000 | 2147483647    79029    136 |  0.000 % |
590.15/590.41	c |    828109 |    1000    20000   100000 | 2147483647    81282    136 |  0.000 % |
591.95/592.21	c |    830587 |    1000    20000   100000 | 2147483647    83760    136 |  0.000 % |
593.95/594.25	c |    833312 |    1000    20000   100000 | 2147483647    86485    136 |  0.000 % |
596.15/596.46	c |    836309 |    1000    20000   100000 | 2147483647    89482    136 |  0.000 % |
598.75/599.07	c |    839606 |    1000    20000   100000 | 2147483647    92779    136 |  0.000 % |
601.55/601.83	c |    843231 |    1000    20000   100000 |    93173    85473    136 |  0.000 % |
604.45/604.77	c |    847218 |    1000    20000   100000 |    93173    89460    136 |  0.000 % |
607.95/608.28	c |    851603 |    1000    20000   100000 |    92243    82621    136 |  0.000 % |
611.35/611.66	c |    856429 |    1000    20000   100000 |    92243    87447    137 |  0.000 % |
615.54/615.87	c |    861734 |    1000    20000   100000 |    91018    82375    137 |  0.000 % |
619.94/620.25	c |    867569 |    1000    20000   100000 |    91018    88210    137 |  0.000 % |
624.74/625.07	c |    873988 |    1000    20000   100000 |    90642    84454    137 |  0.000 % |
630.04/630.39	c |    881047 |    1000    20000   100000 |    90466    80829    138 |  0.000 % |
635.84/636.14	c |    888811 |    1000    20000   100000 |    90466    88593    138 |  0.000 % |
635.94/636.22	c |    888915 |    1000    20000   100000 |    90466    88697    138 |  0.000 % |
636.04/636.31	c |    889025 |    1000    20000   100000 |    90466    88807    138 |  0.000 % |
636.14/636.44	c |    889150 |    1000    20000   100000 |    90466    88932    138 |  0.000 % |
636.24/636.56	c |    889284 |    1000    20000   100000 |    90466    89066    138 |  0.000 % |
636.34/636.67	c |    889430 |    1000    20000   100000 |    90466    89212    138 |  0.000 % |
636.54/636.83	c |    889590 |    1000    20000   100000 |    90466    89372    138 |  0.000 % |
636.74/637.00	c |    889766 |    1000    20000   100000 |    90466    89548    138 |  0.000 % |
636.84/637.14	c |    889959 |    1000    20000   100000 |    90466    89741    138 |  0.000 % |
637.04/637.33	c |    890172 |    1000    20000   100000 |    89783    89954    138 |  0.000 % |
637.24/637.57	c |    890405 |    1000    20000   100000 |    89783    78956    139 |  0.000 % |
637.44/637.74	c |    890661 |    1000    20000   100000 |    89783    79212    139 |  0.000 % |
637.64/637.93	c |    890942 |    1000    20000   100000 |    89783    79493    139 |  0.000 % |
637.84/638.15	c |    891251 |    1000    20000   100000 |    89783    79802    139 |  0.000 % |
638.14/638.43	c |    891590 |    1000    20000   100000 |    89783    80141    139 |  0.000 % |
638.44/638.77	c |    891962 |    1000    20000   100000 |    89783    80513    139 |  0.000 % |
638.74/639.07	c |    892373 |    1000    20000   100000 |    89783    80924    139 |  0.000 % |
639.14/639.43	c |    892824 |    1000    20000   100000 |    89783    81375    139 |  0.000 % |
639.54/639.82	c |    893317 |    1000    20000   100000 |    89783    81868    139 |  0.000 % |
639.94/640.25	c |    893861 |    1000    20000   100000 |    89783    82412    139 |  0.000 % |
640.44/640.73	c |    894457 |    1000    20000   100000 |    89783    83008    138 |  0.000 % |
640.94/641.23	c |    895114 |    1000    20000   100000 |    89783    83665    138 |  0.000 % |
641.44/641.74	c |    895834 |    1000    20000   100000 |    89783    84385    138 |  0.000 % |
642.04/642.33	c |    896628 |    1000    20000   100000 |    89783    85179    138 |  0.000 % |
642.64/642.98	c |    897500 |    1000    20000   100000 |    89783    86051    138 |  0.000 % |
643.43/643.76	c |    898459 |    1000    20000   100000 |    89783    87010    138 |  0.000 % |
644.34/644.60	c |    899513 |    1000    20000   100000 |    89783    88064    138 |  0.000 % |
645.23/645.57	c |    900672 |    1000    20000   100000 |    88554    78690    139 |  0.000 % |
646.13/646.44	c |    901947 |    1000    20000   100000 |    88554    79965    139 |  0.000 % |
647.03/647.37	c |    903348 |    1000    20000   100000 |    88554    81366    139 |  0.000 % |
648.13/648.46	c |    904888 |    1000    20000   100000 |    88554    82906    139 |  0.000 % |
649.43/649.74	c |    906584 |    1000    20000   100000 |    88554    84602    139 |  0.000 % |
650.73/651.08	c |    908448 |    1000    20000   100000 |    88554    86466    139 |  0.000 % |
652.23/652.59	c |    910498 |    1000    20000   100000 |    88020    79234    140 |  0.000 % |
653.93/654.22	c |    912753 |    1000    20000   100000 |    88020    81489    139 |  0.000 % |
655.63/655.97	c |    915232 |    1000    20000   100000 |    88020    83968    139 |  0.000 % |
657.63/657.91	c |    917958 |    1000    20000   100000 |    88020    86694    139 |  0.000 % |
659.83/660.15	c |    920955 |    1000    20000   100000 | 2147483647    80857    139 |  0.000 % |
662.23/662.56	c |    924251 |    1000    20000   100000 | 2147483647    84153    139 |  0.000 % |
664.93/665.21	c |    927876 |    1000    20000   100000 | 2147483647    87778    139 |  0.000 % |
667.83/668.19	c |    931864 |    1000    20000   100000 | 2147483647    91766    139 |  0.000 % |
671.32/671.65	c |    936249 |    1000    20000   100000 | 2147483647    96151    139 |  0.000 % |
675.43/675.76	c |    941072 |    1000    20000   100000 |    99903    88026    139 |  0.000 % |
679.53/679.87	c |    946378 |    1000    20000   100000 |    99903    93332    139 |  0.000 % |
684.03/684.39	c |    952213 |    1000    20000   100000 |    96956    85500    138 |  0.000 % |
688.83/689.11	c |    958632 |    1000    20000   100000 |    96956    91919    139 |  0.000 % |
694.23/694.57	c |    965692 |    1000    20000   100000 |    93287    87386    138 |  0.000 % |
700.72/701.09	c |    973457 |    1000    20000   100000 |    91695    83594    139 |  0.000 % |
707.92/708.24	c |    981997 |    1000    20000   100000 |    90137    81482    141 |  0.000 % |
708.03/708.32	c |    982098 |    1000    20000   100000 |    90137    81583    141 |  0.000 % |
708.13/708.43	c |    982208 |    1000    20000   100000 |    90137    81693    141 |  0.000 % |
708.22/708.52	c |    982329 |    1000    20000   100000 |    90137    81814    141 |  0.000 % |
708.32/708.63	c |    982464 |    1000    20000   100000 |    90137    81949    141 |  0.000 % |
708.42/708.76	c |    982612 |    1000    20000   100000 |    90137    82097    141 |  0.000 % |
708.52/708.88	c |    982772 |    1000    20000   100000 |    90137    82257    141 |  0.000 % |
708.72/709.03	c |    982948 |    1000    20000   100000 |    90137    82433    141 |  0.000 % |
708.82/709.19	c |    983142 |    1000    20000   100000 |    90137    82627    141 |  0.000 % |
709.02/709.36	c |    983355 |    1000    20000   100000 |    90137    82840    141 |  0.000 % |
709.23/709.55	c |    983589 |    1000    20000   100000 |    90137    83074    141 |  0.000 % |
709.42/709.78	c |    983845 |    1000    20000   100000 |    90137    83330    141 |  0.000 % |
709.72/710.01	c |    984126 |    1000    20000   100000 |    90137    83611    141 |  0.000 % |
709.92/710.25	c |    984436 |    1000    20000   100000 |    90137    83921    141 |  0.000 % |
710.12/710.49	c |    984775 |    1000    20000   100000 |    90137    84260    141 |  0.000 % |
710.42/710.79	c |    985147 |    1000    20000   100000 |    90137    84632    140 |  0.000 % |
710.82/711.13	c |    985556 |    1000    20000   100000 |    90137    85041    140 |  0.000 % |
711.22/711.52	c |    986006 |    1000    20000   100000 |    90137    85491    140 |  0.000 % |
711.62/711.90	c |    986500 |    1000    20000   100000 |    90137    85985    140 |  0.000 % |
712.02/712.36	c |    987042 |    1000    20000   100000 |    90137    86527    140 |  0.000 % |
712.52/712.84	c |    987638 |    1000    20000   100000 |    90137    87123    140 |  0.000 % |
713.02/713.36	c |    988297 |    1000    20000   100000 |    90137    87782    140 |  0.000 % |
713.62/713.90	c |    989018 |    1000    20000   100000 |    90137    88503    140 |  0.000 % |
714.22/714.50	c |    989811 |    1000    20000   100000 |    90137    89296    140 |  0.000 % |
714.92/715.24	c |    990682 |    1000    20000   100000 |    89487    79194    140 |  0.000 % |
715.62/715.90	c |    991640 |    1000    20000   100000 |    89487    80152    140 |  0.000 % |
716.32/716.63	c |    992694 |    1000    20000   100000 |    89487    81206    140 |  0.000 % |
717.12/717.45	c |    993852 |    1000    20000   100000 |    89487    82364    140 |  0.000 % |
718.02/718.32	c |    995126 |    1000    20000   100000 |    89487    83638    140 |  0.000 % |
719.02/719.32	c |    996530 |    1000    20000   100000 |    89487    85042    140 |  0.000 % |
720.32/720.62	c |    998070 |    1000    20000   100000 |    89487    86582    140 |  0.000 % |
721.72/722.02	c |    999764 |    1000    20000   100000 |    89487    88276    140 |  0.000 % |
723.02/723.35	c |   1001627 |    1000    20000   100000 |    88514    80690    140 |  0.000 % |
724.42/724.77	c |   1003676 |    1000    20000   100000 |    88514    82739    140 |  0.000 % |
726.01/726.39	c |   1005930 |    1000    20000   100000 |    88514    84993    140 |  0.000 % |
728.01/728.35	c |   1008408 |    1000    20000   100000 |    88514    87471    140 |  0.000 % |
730.02/730.36	c |   1011133 |    1000    20000   100000 | 2147483647    81309    140 |  0.000 % |
732.22/732.55	c |   1014131 |    1000    20000   100000 | 2147483647    84307    140 |  0.000 % |
734.81/735.11	c |   1017427 |    1000    20000   100000 | 2147483647    87603    140 |  0.000 % |
737.61/737.95	c |   1021052 |    1000    20000   100000 |    90176    81589    139 |  0.000 % |
740.41/740.79	c |   1025041 |    1000    20000   100000 |    90176    85578    138 |  0.000 % |
743.71/744.05	c |   1029426 |    1000    20000   100000 |    90176    89963    138 |  0.000 % |
747.11/747.43	c |   1034250 |    1000    20000   100000 |    80900    76834    138 |  0.000 % |
750.61/750.99	c |   1039555 |    1000    20000   100000 |    80900    74015    138 |  0.000 % |
754.51/754.89	c |   1045390 |    1000    20000   100000 | 2147483647    79850    138 |  0.000 % |
759.00/759.36	c |   1051810 |    1000    20000   100000 | 2147483647    86270    139 |  0.000 % |
764.60/764.91	c |   1058869 |    1000    20000   100000 | 2147483647    93329    139 |  0.000 % |
771.10/771.41	c |   1066633 |    1000    20000   100000 |    94462    90777    139 |  0.000 % |
777.90/778.20	c |   1075174 |    1000    20000   100000 |    94147    87810    140 |  0.000 % |
785.59/785.97	c |   1084568 |    1000    20000   100000 |    92636    84967    140 |  0.000 % |
785.70/786.06	c |   1084671 |    1000    20000   100000 |    92636    85070    140 |  0.000 % |
785.80/786.16	c |   1084781 |    1000    20000   100000 |    92636    85180    140 |  0.000 % |
785.90/786.24	c |   1084905 |    1000    20000   100000 |    92636    85304    140 |  0.000 % |
786.00/786.35	c |   1085040 |    1000    20000   100000 |    92636    85439    140 |  0.000 % |
786.11/786.50	c |   1085186 |    1000    20000   100000 |    92636    85585    140 |  0.000 % |
786.30/786.65	c |   1085346 |    1000    20000   100000 |    92636    85745    140 |  0.000 % |
786.50/786.80	c |   1085522 |    1000    20000   100000 |    92636    85921    140 |  0.000 % |
786.60/787.00	c |   1085717 |    1000    20000   100000 |    92636    86116    140 |  0.000 % |
786.80/787.15	c |   1085929 |    1000    20000   100000 |    92636    86328    140 |  0.000 % |
787.00/787.35	c |   1086162 |    1000    20000   100000 |    92636    86561    140 |  0.000 % |
787.20/787.54	c |   1086420 |    1000    20000   100000 |    92636    86819    140 |  0.000 % |
787.40/787.75	c |   1086701 |    1000    20000   100000 |    92636    87100    140 |  0.000 % |
787.70/788.01	c |   1087013 |    1000    20000   100000 |    92636    87412    140 |  0.000 % |
788.00/788.31	c |   1087352 |    1000    20000   100000 |    92636    87751    140 |  0.000 % |
788.30/788.63	c |   1087724 |    1000    20000   100000 |    92636    88123    140 |  0.000 % |
788.60/788.95	c |   1088133 |    1000    20000   100000 |    92636    88532    140 |  0.000 % |
789.00/789.32	c |   1088582 |    1000    20000   100000 |    92636    88981    140 |  0.000 % |
789.40/789.72	c |   1089075 |    1000    20000   100000 |    92636    89474    140 |  0.000 % |
789.90/790.20	c |   1089619 |    1000    20000   100000 |    92636    90018    140 |  0.000 % |
790.30/790.68	c |   1090215 |    1000    20000   100000 |    90399    90614    140 |  0.000 % |
790.80/791.17	c |   1090871 |    1000    20000   100000 |    90399    79060    140 |  0.000 % |
791.30/791.68	c |   1091591 |    1000    20000   100000 |    90399    79780    140 |  0.000 % |
792.00/792.32	c |   1092385 |    1000    20000   100000 |    90399    80574    140 |  0.000 % |
792.70/793.03	c |   1093257 |    1000    20000   100000 |    90399    81446    140 |  0.000 % |
793.30/793.68	c |   1094216 |    1000    20000   100000 |    90399    82405    140 |  0.000 % |
794.10/794.44	c |   1095273 |    1000    20000   100000 |    90399    83462    140 |  0.000 % |
795.00/795.31	c |   1096434 |    1000    20000   100000 |    90399    84623    140 |  0.000 % |
795.80/796.19	c |   1097707 |    1000    20000   100000 |    90399    85896    140 |  0.000 % |
796.90/797.21	c |   1099108 |    1000    20000   100000 |    90399    87297    140 |  0.000 % |
798.00/798.39	c |   1100651 |    1000    20000   100000 |    88192    79305    140 |  0.000 % |
799.30/799.64	c |   1102345 |    1000    20000   100000 |    88192    80999    140 |  0.000 % |
800.60/800.90	c |   1104210 |    1000    20000   100000 |    88192    82864    140 |  0.000 % |
802.00/802.39	c |   1106260 |    1000    20000   100000 |    88192    84914    140 |  0.000 % |
803.80/804.13	c |   1108513 |    1000    20000   100000 |    88192    87167    140 |  0.000 % |
805.70/806.04	c |   1110993 |    1000    20000   100000 | 2147483647    80792    140 |  0.000 % |
807.49/807.89	c |   1113719 |    1000    20000   100000 | 2147483647    83518    141 |  0.000 % |
809.79/810.10	c |   1116716 |    1000    20000   100000 | 2147483647    86515    140 |  0.000 % |
812.29/812.65	c |   1120013 |    1000    20000   100000 |    89801    89812    140 |  0.000 % |
814.89/815.28	c |   1123638 |    1000    20000   100000 |    89801    84399    140 |  0.000 % |
817.89/818.25	c |   1127626 |    1000    20000   100000 |    89801    88387    140 |  0.000 % |
821.29/821.60	c |   1132013 |    1000    20000   100000 |    80086    72812    140 |  0.000 % |
824.29/824.69	c |   1136836 |    1000    20000   100000 |    80086    77635    141 |  0.000 % |
827.99/828.38	c |   1142142 |    1000    20000   100000 | 2147483647    74900    139 |  0.000 % |
831.99/832.38	c |   1147978 |    1000    20000   100000 | 2147483647    80736    139 |  0.000 % |
836.79/837.11	c |   1154397 |    1000    20000   100000 | 2147483647    87155    139 |  0.000 % |
842.48/842.85	c |   1161456 |    1000    20000   100000 |    92759    83797    140 |  0.000 % |
848.58/848.94	c |   1169220 |    1000    20000   100000 |    92759    91561    141 |  0.000 % |
854.98/855.32	c |   1177760 |    1000    20000   100000 |    92341    89207    142 |  0.000 % |
861.98/862.39	c |   1187154 |    1000    20000   100000 |    91447    88744    143 |  0.000 % |
870.67/871.07	c |   1197487 |    1000    20000   100000 |    91591    89033    144 |  0.000 % |
870.78/871.16	c |   1197588 |    1000    20000   100000 |    91591    89134    144 |  0.000 % |
870.88/871.26	c |   1197698 |    1000    20000   100000 |    91591    89244    144 |  0.000 % |
870.97/871.38	c |   1197821 |    1000    20000   100000 |    91591    89367    144 |  0.000 % |
871.17/871.51	c |   1197956 |    1000    20000   100000 |    91591    89502    144 |  0.000 % |
871.27/871.65	c |   1198105 |    1000    20000   100000 |    91591    89651    144 |  0.000 % |
871.37/871.79	c |   1198266 |    1000    20000   100000 |    91591    89812    144 |  0.000 % |
871.57/871.95	c |   1198442 |    1000    20000   100000 |    91591    89988    144 |  0.000 % |
871.77/872.15	c |   1198635 |    1000    20000   100000 |    91591    90181    144 |  0.000 % |
871.98/872.34	c |   1198848 |    1000    20000   100000 |    91591    90394    144 |  0.000 % |
872.17/872.56	c |   1199082 |    1000    20000   100000 |    91591    90628    144 |  0.000 % |
872.47/872.81	c |   1199340 |    1000    20000   100000 |    91591    90886    144 |  0.000 % |
872.67/873.09	c |   1199622 |    1000    20000   100000 |    91591    91168    144 |  0.000 % |
872.98/873.37	c |   1199931 |    1000    20000   100000 |    91591    91477    144 |  0.000 % |
873.28/873.67	c |   1200271 |    1000    20000   100000 |    91547    91817    144 |  0.000 % |
873.58/873.98	c |   1200643 |    1000    20000   100000 |    91547    80082    144 |  0.000 % |
873.88/874.28	c |   1201052 |    1000    20000   100000 |    91547    80491    144 |  0.000 % |
874.28/874.63	c |   1201502 |    1000    20000   100000 |    91547    80941    144 |  0.000 % |
874.68/875.01	c |   1201996 |    1000    20000   100000 |    91547    81435    144 |  0.000 % |
874.98/875.38	c |   1202539 |    1000    20000   100000 |    91547    81978    144 |  0.000 % |
875.48/875.84	c |   1203135 |    1000    20000   100000 |    91547    82574    144 |  0.000 % |
875.98/876.36	c |   1203792 |    1000    20000   100000 |    91547    83231    144 |  0.000 % |
876.58/876.90	c |   1204512 |    1000    20000   100000 |    91547    83951    143 |  0.000 % |
877.18/877.57	c |   1205305 |    1000    20000   100000 |    91547    84744    143 |  0.000 % |
877.78/878.18	c |   1206176 |    1000    20000   100000 |    91547    85615    143 |  0.000 % |
878.48/878.88	c |   1207134 |    1000    20000   100000 |    91547    86573    143 |  0.000 % |
879.28/879.64	c |   1208187 |    1000    20000   100000 |    91547    87626    143 |  0.000 % |
880.18/880.58	c |   1209346 |    1000    20000   100000 |    91547    88785    143 |  0.000 % |
881.18/881.59	c |   1210620 |    1000    20000   100000 |    89441    79746    142 |  0.000 % |
882.28/882.62	c |   1212021 |    1000    20000   100000 |    89441    81147    141 |  0.000 % |
883.38/883.71	c |   1213561 |    1000    20000   100000 |    89441    82687    141 |  0.000 % |
884.58/884.94	c |   1215255 |    1000    20000   100000 |    89441    84381    141 |  0.000 % |
885.98/886.33	c |   1217119 |    1000    20000   100000 |    89441    86245    141 |  0.000 % |
887.38/887.79	c |   1219168 |    1000    20000   100000 |    89441    88294    141 |  0.000 % |
889.07/889.46	c |   1221423 |    1000    20000   100000 |    89126    81240    141 |  0.000 % |
890.87/891.21	c |   1223902 |    1000    20000   100000 |    89126    83719    141 |  0.000 % |
892.78/893.15	c |   1226627 |    1000    20000   100000 |    89126    86444    141 |  0.000 % |
894.98/895.36	c |   1229624 |    1000    20000   100000 |    89126    89441    141 |  0.000 % |
897.28/897.64	c |   1232922 |    1000    20000   100000 | 2147483647    83795    141 |  0.000 % |
899.97/900.30	c |   1236548 |    1000    20000   100000 | 2147483647    87421    141 |  0.000 % |
902.87/903.26	c |   1240538 |    1000    20000   100000 | 2147483647    91411    141 |  0.000 % |
906.17/906.52	c |   1244925 |    1000    20000   100000 | 2147483647    95798    141 |  0.000 % |
909.87/910.27	c |   1249750 |    1000    20000   100000 | 2147483647   100623    141 |  0.000 % |
913.97/914.34	c |   1255056 |    1000    20000   100000 |   100874    91578    140 |  0.000 % |
918.37/918.76	c |   1260893 |    1000    20000   100000 |    96522    84101    138 |  0.000 % |
923.17/923.56	c |   1267311 |    1000    20000   100000 |    96522    90519    139 |  0.000 % |
928.77/929.12	c |   1274370 |    1000    20000   100000 |    93208    84779    139 |  0.000 % |
935.06/935.49	c |   1282135 |    1000    20000   100000 |    90409    80715    140 |  0.000 % |
942.16/942.52	c |   1290675 |    1000    20000   100000 |    88581    77686    142 |  0.000 % |
949.26/949.60	c |   1300070 |    1000    20000   100000 |    87011    87081    142 |  0.000 % |
956.66/957.05	c |   1310405 |    1000    20000   100000 |    87270    78348    144 |  0.000 % |
964.95/965.38	c |   1321771 |    1000    20000   100000 |    77936    70989    145 |  0.000 % |
965.05/965.46	c |   1321873 |    1000    20000   100000 |    77936    71091    145 |  0.000 % |
965.15/965.54	c |   1321984 |    1000    20000   100000 |    77936    71202    145 |  0.000 % |
965.25/965.63	c |   1322107 |    1000    20000   100000 |    77936    71325    145 |  0.000 % |
965.36/965.73	c |   1322241 |    1000    20000   100000 |    77936    71459    145 |  0.000 % |
965.46/965.83	c |   1322387 |    1000    20000   100000 |    77936    71605    145 |  0.000 % |
965.55/965.95	c |   1322548 |    1000    20000   100000 |    77936    71766    145 |  0.000 % |
965.75/966.10	c |   1322726 |    1000    20000   100000 |    77936    71944    145 |  0.000 % |
965.85/966.25	c |   1322919 |    1000    20000   100000 |    77936    72137    145 |  0.000 % |
966.05/966.40	c |   1323131 |    1000    20000   100000 |    77936    72349    145 |  0.000 % |
966.15/966.55	c |   1323364 |    1000    20000   100000 |    77936    72582    145 |  0.000 % |
966.35/966.71	c |   1323620 |    1000    20000   100000 |    77936    72838    144 |  0.000 % |
966.46/966.88	c |   1323901 |    1000    20000   100000 |    77936    73119    144 |  0.000 % |
966.65/967.09	c |   1324210 |    1000    20000   100000 |    77936    73428    144 |  0.000 % |
966.95/967.35	c |   1324549 |    1000    20000   100000 |    77936    73767    144 |  0.000 % |
967.25/967.66	c |   1324922 |    1000    20000   100000 |    77936    74140    144 |  0.000 % |
967.56/967.95	c |   1325335 |    1000    20000   100000 |    77936    74553    144 |  0.000 % |
967.95/968.30	c |   1325785 |    1000    20000   100000 |    77936    75003    144 |  0.000 % |
968.25/968.67	c |   1326280 |    1000    20000   100000 |    77936    75498    144 |  0.000 % |
968.66/969.08	c |   1326822 |    1000    20000   100000 |    77936    76040    144 |  0.000 % |
969.05/969.49	c |   1327418 |    1000    20000   100000 |    77936    76636    144 |  0.000 % |
969.55/969.91	c |   1328073 |    1000    20000   100000 |    77936    77291    143 |  0.000 % |
970.05/970.47	c |   1328794 |    1000    20000   100000 |    77936    78012    143 |  0.000 % |
970.65/971.05	c |   1329587 |    1000    20000   100000 |    77936    71004    144 |  0.000 % |
971.25/971.65	c |   1330458 |    1000    20000   100000 | 2147483647    71875    144 |  0.000 % |
971.96/972.36	c |   1331416 |    1000    20000   100000 | 2147483647    72833    144 |  0.000 % |
972.65/973.07	c |   1332469 |    1000    20000   100000 | 2147483647    73886    143 |  0.000 % |
973.55/973.91	c |   1333629 |    1000    20000   100000 | 2147483647    75046    143 |  0.000 % |
974.35/974.77	c |   1334906 |    1000    20000   100000 | 2147483647    76323    143 |  0.000 % |
975.35/975.75	c |   1336308 |    1000    20000   100000 | 2147483647    77725    143 |  0.000 % |
976.45/976.84	c |   1337848 |    1000    20000   100000 | 2147483647    79265    143 |  0.000 % |
977.55/977.94	c |   1339544 |    1000    20000   100000 | 2147483647    80961    143 |  0.000 % |
979.05/979.41	c |   1341409 |    1000    20000   100000 | 2147483647    82826    142 |  0.000 % |
980.55/980.98	c |   1343458 |    1000    20000   100000 | 2147483647    84875    142 |  0.000 % |
982.25/982.70	c |   1345713 |    1000    20000   100000 | 2147483647    87130    142 |  0.000 % |
984.25/984.64	c |   1348192 |    1000    20000   100000 | 2147483647    89609    142 |  0.000 % |
986.35/986.72	c |   1350920 |    1000    20000   100000 |    91417    82451    142 |  0.000 % |
988.45/988.81	c |   1353917 |    1000    20000   100000 |    91417    85448    141 |  0.000 % |
990.85/991.28	c |   1357213 |    1000    20000   100000 |    91417    88744    141 |  0.000 % |
993.74/994.11	c |   1360841 |    1000    20000   100000 |    91531    82450    140 |  0.000 % |
996.44/996.89	c |   1364828 |    1000    20000   100000 |    91531    86437    140 |  0.000 % |
999.94/1000.36	c |   1369213 |    1000    20000   100000 |    91531    90822    140 |  0.000 % |
1003.44/1003.85	c |   1374038 |    1000    20000   100000 |    91610    86145    139 |  0.000 % |
1007.44/1007.85	c |   1379345 |    1000    20000   100000 |    91610    91452    140 |  0.000 % |
1011.44/1011.86	c |   1385180 |    1000    20000   100000 |    81082    76531    138 |  0.000 % |
1015.74/1016.19	c |   1391598 |    1000    20000   100000 | 2147483647    82949    138 |  0.000 % |
1020.94/1021.37	c |   1398658 |    1000    20000   100000 | 2147483647    90009    139 |  0.000 % |
1026.94/1027.31	c |   1406422 |    1000    20000   100000 |    91352    87781    138 |  0.000 % |
1033.93/1034.33	c |   1414963 |    1000    20000   100000 |    91360    85677    140 |  0.000 % |
1041.43/1041.81	c |   1424358 |    1000    20000   100000 |    90714    84107    140 |  0.000 % |
1050.03/1050.45	c |   1434692 |    1000    20000   100000 |    89750    83953    141 |  0.000 % |
1059.03/1059.47	c |   1446058 |    1000    20000   100000 |    89261    85296    142 |  0.000 % |
1068.62/1069.06	c |   1458561 |    1000    20000   100000 |    89238    87086    142 |  0.000 % |
1068.73/1069.15	c |   1458663 |    1000    20000   100000 |    89238    87188    142 |  0.000 % |
1068.83/1069.24	c |   1458773 |    1000    20000   100000 |    89238    87298    142 |  0.000 % |
1068.92/1069.33	c |   1458894 |    1000    20000   100000 |    89238    87419    142 |  0.000 % |
1069.02/1069.44	c |   1459029 |    1000    20000   100000 |    89238    87554    142 |  0.000 % |
1069.22/1069.60	c |   1459175 |    1000    20000   100000 |    89238    87700    142 |  0.000 % |
1069.32/1069.74	c |   1459335 |    1000    20000   100000 |    89238    87860    142 |  0.000 % |
1069.42/1069.89	c |   1459511 |    1000    20000   100000 |    89238    88036    142 |  0.000 % |
1069.62/1070.09	c |   1459705 |    1000    20000   100000 |    89238    88230    142 |  0.000 % |
1069.82/1070.27	c |   1459921 |    1000    20000   100000 |    89238    88446    142 |  0.000 % |
1070.02/1070.45	c |   1460157 |    1000    20000   100000 |    88526    88682    141 |  0.000 % |
1070.22/1070.69	c |   1460415 |    1000    20000   100000 |    88526    77743    141 |  0.000 % |
1070.52/1070.90	c |   1460696 |    1000    20000   100000 |    88526    78024    141 |  0.000 % |
1070.72/1071.10	c |   1461008 |    1000    20000   100000 |    88526    78336    141 |  0.000 % |
1070.92/1071.36	c |   1461347 |    1000    20000   100000 |    88526    78675    141 |  0.000 % |
1071.22/1071.61	c |   1461720 |    1000    20000   100000 |    88526    79048    141 |  0.000 % |
1071.52/1071.91	c |   1462131 |    1000    20000   100000 |    88526    79459    141 |  0.000 % |
1071.82/1072.25	c |   1462582 |    1000    20000   100000 |    88526    79910    141 |  0.000 % |
1072.22/1072.65	c |   1463076 |    1000    20000   100000 |    88526    80404    141 |  0.000 % |
1072.72/1073.10	c |   1463619 |    1000    20000   100000 |    88526    80947    141 |  0.000 % |
1073.12/1073.56	c |   1464215 |    1000    20000   100000 |    88526    81543    141 |  0.000 % |
1073.62/1074.04	c |   1464870 |    1000    20000   100000 |    88526    82198    140 |  0.000 % |
1074.12/1074.50	c |   1465590 |    1000    20000   100000 |    88526    82918    140 |  0.000 % |
1074.72/1075.16	c |   1466382 |    1000    20000   100000 |    88526    83710    140 |  0.000 % |
1075.52/1075.95	c |   1467255 |    1000    20000   100000 |    88526    84583    140 |  0.000 % |
1076.22/1076.62	c |   1468213 |    1000    20000   100000 |    88526    85541    140 |  0.000 % |
1077.02/1077.44	c |   1469268 |    1000    20000   100000 |    88526    86596    140 |  0.000 % |
1077.92/1078.37	c |   1470426 |    1000    20000   100000 |    87329    78512    140 |  0.000 % |
1078.82/1079.25	c |   1471699 |    1000    20000   100000 |    87329    79785    140 |  0.000 % |
1079.82/1080.21	c |   1473101 |    1000    20000   100000 |    87329    81187    140 |  0.000 % |
1080.82/1081.30	c |   1474641 |    1000    20000   100000 |    87329    82727    140 |  0.000 % |
1082.12/1082.54	c |   1476335 |    1000    20000   100000 |    87329    84421    140 |  0.000 % |
1083.42/1083.86	c |   1478199 |    1000    20000   100000 |    87329    86285    139 |  0.000 % |
1084.92/1085.38	c |   1480249 |    1000    20000   100000 | 2147483647    79571    139 |  0.000 % |
1086.43/1086.85	c |   1482502 |    1000    20000   100000 | 2147483647    81824    139 |  0.000 % |
1088.42/1088.80	c |   1484982 |    1000    20000   100000 | 2147483647    84304    139 |  0.000 % |
1090.42/1090.83	c |   1487707 |    1000    20000   100000 | 2147483647    87029    139 |  0.000 % |
1092.82/1093.26	c |   1490704 |    1000    20000   100000 | 2147483647    90026    139 |  0.000 % |
1095.32/1095.76	c |   1494004 |    1000    20000   100000 | 2147483647    93326    139 |  0.000 % |
1098.32/1098.70	c |   1497629 |    1000    20000   100000 | 2147483647    96951    139 |  0.000 % |
1101.52/1101.95	c |   1501616 |    1000    20000   100000 |    99322    86938    138 |  0.000 % |
1104.62/1105.00	c |   1506002 |    1000    20000   100000 |    99322    91324    138 |  0.000 % |
1108.42/1108.81	c |   1510827 |    1000    20000   100000 |    95322    83512    138 |  0.000 % |
1112.32/1112.73	c |   1516132 |    1000    20000   100000 |    95322    88817    139 |  0.000 % |
1116.92/1117.31	c |   1521968 |    1000    20000   100000 |    92687    82177    138 |  0.000 % |
1122.12/1122.53	c |   1528388 |    1000    20000   100000 |    92687    88597    138 |  0.000 % |
1127.61/1128.05	c |   1535450 |    1000    20000   100000 |    90209    84969    138 |  0.000 % |
1133.91/1134.30	c |   1543214 |    1000    20000   100000 |    89521    82380    138 |  0.000 % |
1140.91/1141.31	c |   1551754 |    1000    20000   100000 |    89166    80864    140 |  0.000 % |
1148.41/1148.89	c |   1561148 |    1000    20000   100000 |    89111    80244    141 |  0.000 % |
1157.30/1157.74	c |   1571481 |    1000    20000   100000 |    89096    80054    141 |  0.000 % |
1167.70/1168.12	c |   1582848 |    1000    20000   100000 |    88574    80136    143 |  0.000 % |
1178.00/1178.42	c |   1595351 |    1000    20000   100000 |    87289    82471    143 |  0.000 % |
1189.49/1189.94	c |   1609103 |    1000    20000   100000 |    87121    86096    143 |  0.000 % |
1189.59/1190.03	c |   1609205 |    1000    20000   100000 |    87121    86198    143 |  0.000 % |
1189.70/1190.11	c |   1609316 |    1000    20000   100000 |    87121    86309    143 |  0.000 % |
1189.80/1190.22	c |   1609437 |    1000    20000   100000 |    87121    86430    143 |  0.000 % |
1189.89/1190.33	c |   1609570 |    1000    20000   100000 |    87121    86563    143 |  0.000 % |
1189.99/1190.47	c |   1609716 |    1000    20000   100000 |    87121    86709    143 |  0.000 % |
1190.19/1190.61	c |   1609877 |    1000    20000   100000 |    87121    86870    143 |  0.000 % |
1190.29/1190.75	c |   1610056 |    1000    20000   100000 |    86994    87049    143 |  0.000 % |
1190.49/1190.98	c |   1610250 |    1000    20000   100000 |    86994    76874    142 |  0.000 % |
1190.69/1191.15	c |   1610464 |    1000    20000   100000 |    86994    77088    142 |  0.000 % |
1190.90/1191.31	c |   1610699 |    1000    20000   100000 |    86994    77323    142 |  0.000 % |
1191.09/1191.51	c |   1610955 |    1000    20000   100000 |    86994    77579    142 |  0.000 % |
1191.29/1191.71	c |   1611236 |    1000    20000   100000 |    86994    77860    142 |  0.000 % |
1191.49/1191.93	c |   1611545 |    1000    20000   100000 |    86994    78169    142 |  0.000 % |
1191.69/1192.16	c |   1611885 |    1000    20000   100000 |    86994    78509    142 |  0.000 % |
1192.00/1192.43	c |   1612257 |    1000    20000   100000 |    86994    78881    142 |  0.000 % |
1192.29/1192.70	c |   1612669 |    1000    20000   100000 |    86994    79293    142 |  0.000 % |
1192.59/1193.05	c |   1613120 |    1000    20000   100000 |    86994    79744    142 |  0.000 % |
1193.00/1193.43	c |   1613614 |    1000    20000   100000 |    86994    80238    141 |  0.000 % |
1193.39/1193.83	c |   1614160 |    1000    20000   100000 |    86994    80784    141 |  0.000 % |
1193.79/1194.26	c |   1614756 |    1000    20000   100000 |    86994    81380    141 |  0.000 % |
1194.29/1194.76	c |   1615411 |    1000    20000   100000 |    86994    82035    141 |  0.000 % |
1194.89/1195.31	c |   1616131 |    1000    20000   100000 |    86994    82755    141 |  0.000 % |
1195.39/1195.86	c |   1616924 |    1000    20000   100000 |    86994    83548    141 |  0.000 % |
1196.09/1196.50	c |   1617795 |    1000    20000   100000 |    86994    84419    141 |  0.000 % |
1196.79/1197.20	c |   1618755 |    1000    20000   100000 |    86994    85379    141 |  0.000 % |
1197.49/1197.96	c |   1619808 |    1000    20000   100000 |    86994    86432    141 |  0.000 % |
1198.29/1198.79	c |   1620968 |    1000    20000   100000 | 2147483647    87592    141 |  0.000 % |
1199.19/1199.68	c |   1622242 |    1000    20000   100000 | 2147483647    88866    141 |  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-1832451-1242773490/watcher-1832451-1242773490 -o /tmp/evaluation-result-1832451-1242773490/solver-1832451-1242773490 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832451-1242773490.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6957
/proc/meminfo: memFree=1701520/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305382578 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 237788430418 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/6957/statm: 1339 235 195 169 0 50 0
[pid=6958] ppid=6957 vsize=5356 CPUtime=0
/proc/6958/stat : 6958 (SatELiteGTI) S 6957 6957 6563 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305382579 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/6958/statm: 1339 238 198 169 0 50 0
[pid=6960] ppid=6958 vsize=192 CPUtime=0
/proc/6960/stat : 6960 (sed) R 6958 6957 6563 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 305382579 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 237785642377 0 0 4096 0 0 0 0 17 0 0 0
/proc/6960/statm: 48 23 16 11 0 11 0

[startup+0.02181 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6957
/proc/meminfo: memFree=1701520/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305382578 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6957/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10182 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6957
/proc/meminfo: memFree=1701520/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301845 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6957
/proc/meminfo: memFree=1701520/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701887 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6957
/proc/meminfo: memFree=1701520/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1695552/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=6772 CPUtime=1.42
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 1464 0 0 0 142 0 0 0 25 0 1 0 305382584 6934528 1450 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 1693 1450 77 171 0 1520 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12128

[startup+3.10212 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1693248/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=11340 CPUtime=3.02
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 2596 0 0 0 300 2 0 0 25 0 1 0 305382584 11612160 2582 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 2835 2582 77 171 0 2662 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16696

[startup+6.30145 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1685760/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=17720 CPUtime=6.22
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 4165 0 0 0 618 4 0 0 25 0 1 0 305382584 18145280 4151 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 4430 4151 77 171 0 4257 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23076

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1675840/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=26776 CPUtime=12.61
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 6421 0 0 0 1256 5 0 0 25 0 1 0 305382584 27418624 6407 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 6694 6407 77 171 0 6521 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 32132

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1662336/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=39568 CPUtime=25.4
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 9634 0 0 0 2531 9 0 0 25 0 1 0 305382584 40517632 9620 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 9892 9620 77 171 0 9719 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 44924

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1646464/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=55324 CPUtime=50.98
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 13535 0 0 0 5085 13 0 0 25 0 1 0 305382584 56651776 13521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 13831 13521 77 171 0 13658 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 60680

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1646400/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=55324 CPUtime=102.16
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 13535 0 0 0 10203 13 0 0 25 0 1 0 305382584 56651776 13521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 13831 13521 77 171 0 13658 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 60680

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1646208/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=55324 CPUtime=162.13
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 13546 0 0 0 16199 14 0 0 25 0 1 0 305382584 56651776 13532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 13831 13532 77 171 0 13658 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 60680

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1644928/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=56512 CPUtime=222.11
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 13847 0 0 0 22196 15 0 0 25 0 1 0 305382584 57868288 13833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 14128 13833 77 171 0 13955 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 61868

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1644864/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=56908 CPUtime=282.09
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 13928 0 0 0 28194 15 0 0 25 0 1 0 305382584 58273792 13914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 14227 13914 77 171 0 14054 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 62264

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1642816/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=58360 CPUtime=342.07
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 14310 0 0 0 34191 16 0 0 25 0 1 0 305382584 59760640 14296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 14590 14296 77 171 0 14417 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 63716

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6963
/proc/meminfo: memFree=1642432/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=58624 CPUtime=402.06

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

/proc/6963/statm: 15943 15633 77 171 0 15770 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 69128

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1636864/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=63728 CPUtime=642
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 15647 0 0 0 64179 21 0 0 25 0 1 0 305382584 65257472 15633 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 15932 15633 77 171 0 15759 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 69084

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1636224/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=64256 CPUtime=701.98
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 15791 0 0 0 70176 22 0 0 25 0 1 0 305382584 65798144 15777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16064 15777 77 171 0 15891 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 69612

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1636224/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=64256 CPUtime=761.97
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 15791 0 0 0 76175 22 0 0 25 0 1 0 305382584 65798144 15777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16064 15777 77 171 0 15891 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 69612

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1636160/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=64256 CPUtime=821.95
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 15791 0 0 0 82172 23 0 0 25 0 1 0 305382584 65798144 15777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16064 15777 77 171 0 15891 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 69612

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1636032/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=64256 CPUtime=881.94
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 15791 0 0 0 88170 24 0 0 25 0 1 0 305382584 65798144 15777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16064 15777 77 171 0 15891 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 69612

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1633920/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=66236 CPUtime=941.92
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 16292 0 0 0 94167 25 0 0 25 0 1 0 305382584 67825664 16278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16559 16278 77 171 0 16386 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 71592

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1633856/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=66236 CPUtime=1001.9
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 16292 0 0 0 100165 25 0 0 25 0 1 0 305382584 67825664 16278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16559 16278 77 171 0 16386 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 71592

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1633792/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=66236 CPUtime=1061.88
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 16292 0 0 0 106163 25 0 0 25 0 1 0 305382584 67825664 16278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16559 16278 77 171 0 16386 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 71592

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1633664/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=66236 CPUtime=1121.88
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 16292 0 0 0 112162 26 0 0 25 0 1 0 305382584 67825664 16278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16559 16278 77 171 0 16386 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 71592

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1633600/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=66236 CPUtime=1181.86
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 16292 0 0 0 118160 26 0 0 25 0 1 0 305382584 67825664 16278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16559 16278 77 171 0 16386 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 71592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1633536/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=66236 CPUtime=1200.05
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 16292 0 0 0 119979 26 0 0 25 0 1 0 305382584 67825664 16278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16559 16278 77 171 0 16386 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 71592

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6969
/proc/meminfo: memFree=1633536/2055920 swapFree=4180424/4192956
[pid=6957] ppid=6955 vsize=5356 CPUtime=0.04
/proc/6957/stat : 6957 (SatELiteGTI) S 6955 6957 6563 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305382578 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6957/statm: 1339 239 197 169 0 50 0
[pid=6963] ppid=6957 vsize=66236 CPUtime=1200.05
/proc/6963/stat : 6963 (minisat_static) R 6957 6957 6563 0 -1 4194304 16292 0 0 0 119979 26 0 0 25 0 1 0 305382584 67825664 16278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6963/statm: 16559 16278 77 171 0 16386 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 71592

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.83
CPU system time (s): 0.26
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 71592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.049992
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1105
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.41179 second user time and 3.06753 second system time

The end

Launcher Data

Begin job on node24 at 2009-05-20 00:51:31
IDJOB=1832451
IDBENCH=70189
IDSOLVER=671
FILE ID=node24/1832451-1242773490
PBS_JOBID= 9322274
Free space on /tmp= 66148 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S1322153318-039.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832451-1242773490/watcher-1832451-1242773490 -o /tmp/evaluation-result-1832451-1242773490/solver-1832451-1242773490 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832451-1242773490.cnf

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

MD5SUM BENCH= 9b4324a23c82753183d597b4a4c7c7c2
RANDOM SEED=412058666

node24.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.232
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.232
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:       1702064 kB
Buffers:         16268 kB
Cached:         296000 kB
SwapCached:       6720 kB
Active:         220640 kB
Inactive:       100484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1702064 kB
SwapTotal:     4192956 kB
SwapFree:      4180424 kB
Dirty:            2056 kB
Writeback:           0 kB
Mapped:          13964 kB
Slab:            18664 kB
Committed_AS:  1023008 kB
PageTables:       1444 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= 66148 MiB
End job on node24 at 2009-05-20 01:11:33