Trace number 1832445

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
MD5SUMcd8ff3390234df6242528d108d1584c9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark185.98
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.019996 s
0.00/0.02	c ==============================================================================
0.00/0.05	c This is MiniSat 2.0 beta
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Number of variables:  1000                                                 |
0.00/0.05	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 |       100 |    1000    20000   100000 |     6666      100    111 |  0.000 % |
0.04/0.10	c |       200 |    1000    20000   100000 |     6666      200    125 |  0.000 % |
0.04/0.11	c |       303 |    1000    20000   100000 |     6666      303    128 |  0.000 % |
0.04/0.13	c |       415 |    1000    20000   100000 |     6666      415    123 |  0.000 % |
0.04/0.14	c |       515 |    1000    20000   100000 |     6666      515    122 |  0.000 % |
0.04/0.15	c |       627 |    1000    20000   100000 |     6666      627    122 |  0.000 % |
0.04/0.17	c |       749 |    1000    20000   100000 |     6666      749    123 |  0.000 % |
0.04/0.18	c |       850 |    1000    20000   100000 |     6666      850    124 |  0.000 % |
0.04/0.19	c |       961 |    1000    20000   100000 |     6666      961    125 |  0.000 % |
0.04/0.21	c |      1084 |    1000    20000   100000 |     6666     1084    123 |  0.000 % |
0.04/0.23	c |      1218 |    1000    20000   100000 |     6666     1218    122 |  0.000 % |
0.04/0.24	c |      1318 |    1000    20000   100000 |     6666     1318    123 |  0.000 % |
0.04/0.25	c |      1428 |    1000    20000   100000 |     6666     1428    122 |  0.000 % |
0.04/0.27	c |      1551 |    1000    20000   100000 |     6666     1551    123 |  0.000 % |
0.04/0.28	c |      1686 |    1000    20000   100000 |     6666     1686    123 |  0.000 % |
0.04/0.30	c |      1833 |    1000    20000   100000 |     6666     1833    123 |  0.000 % |
0.04/0.31	c |      1933 |    1000    20000   100000 |     6666     1933    121 |  0.000 % |
0.04/0.33	c |      2044 |    1000    20000   100000 |     6666     2044    121 |  0.000 % |
0.04/0.34	c |      2165 |    1000    20000   100000 |     6666     2165    121 |  0.000 % |
0.04/0.36	c |      2298 |    1000    20000   100000 |     6666     2298    121 |  0.000 % |
0.04/0.38	c |      2447 |    1000    20000   100000 |     6666     2447    122 |  0.000 % |
0.04/0.40	c |      2607 |    1000    20000   100000 |     6666     2607    122 |  0.000 % |
0.04/0.41	c |      2709 |    1000    20000   100000 |     6666     2709    121 |  0.000 % |
0.04/0.43	c |      2821 |    1000    20000   100000 |     6666     2821    122 |  0.000 % |
0.04/0.44	c |      2943 |    1000    20000   100000 |     6666     2943    122 |  0.000 % |
0.04/0.46	c |      3077 |    1000    20000   100000 |     6666     3077    122 |  0.000 % |
0.04/0.48	c |      3223 |    1000    20000   100000 |     6666     3223    122 |  0.000 % |
0.04/0.51	c |      3384 |    1000    20000   100000 |     6666     3384    122 |  0.000 % |
0.04/0.53	c |      3561 |    1000    20000   100000 |     6666     3561    122 |  0.000 % |
0.04/0.54	c |      3663 |    1000    20000   100000 |     6666     3663    121 |  0.000 % |
0.04/0.56	c |      3773 |    1000    20000   100000 |     6666     3773    121 |  0.000 % |
0.04/0.58	c |      3894 |    1000    20000   100000 |     6666     3894    121 |  0.000 % |
0.04/0.59	c |      4027 |    1000    20000   100000 |     6666     4027    121 |  0.000 % |
0.04/0.61	c |      4174 |    1000    20000   100000 |     6666     4174    120 |  0.000 % |
0.04/0.64	c |      4334 |    1000    20000   100000 |     6666     4334    120 |  0.000 % |
0.04/0.66	c |      4510 |    1000    20000   100000 |     6666     4510    120 |  0.000 % |
0.04/0.69	c |      4703 |    1000    20000   100000 |     6666     4703    120 |  0.000 % |
0.04/0.70	c |      4803 |    1000    20000   100000 |     6666     4803    120 |  0.000 % |
0.04/0.72	c |      4914 |    1000    20000   100000 |     6666     4914    120 |  0.000 % |
0.04/0.73	c |      5036 |    1000    20000   100000 |     6666     5036    119 |  0.000 % |
0.04/0.75	c |      5170 |    1000    20000   100000 |     6666     5170    120 |  0.000 % |
0.04/0.77	c |      5316 |    1000    20000   100000 |     6666     5316    120 |  0.000 % |
0.04/0.80	c |      5477 |    1000    20000   100000 |     6666     5477    120 |  0.000 % |
0.04/0.82	c |      5653 |    1000    20000   100000 |     6666     5653    120 |  0.000 % |
0.04/0.85	c |      5848 |    1000    20000   100000 |     6666     5848    120 |  0.000 % |
0.04/0.89	c |      6061 |    1000    20000   100000 |     6666     6061    120 |  0.000 % |
0.04/0.90	c |      6161 |    1000    20000   100000 |     6666     6161    120 |  0.000 % |
0.04/0.92	c |      6271 |    1000    20000   100000 |     6666     6271    120 |  0.000 % |
0.04/0.93	c |      6393 |    1000    20000   100000 |     6666     6393    120 |  0.000 % |
0.04/0.95	c |      6526 |    1000    20000   100000 |     6666     6526    120 |  0.000 % |
0.04/0.98	c |      6674 |    1000    20000   100000 |     6666     6674    120 |  0.000 % |
0.97/1.01	c |      6834 |    1000    20000   100000 |     6666     6167    118 |  0.000 % |
0.97/1.03	c |      7013 |    1000    20000   100000 |     6666     6346    119 |  0.000 % |
0.97/1.06	c |      7206 |    1000    20000   100000 |     6666     6539    119 |  0.000 % |
0.97/1.09	c |      7418 |    1000    20000   100000 |     6666     6751    119 |  0.000 % |
1.07/1.12	c |      7651 |    1000    20000   100000 |     6666     6309    118 |  0.000 % |
1.07/1.14	c |      7751 |    1000    20000   100000 |     6666     6409    118 |  0.000 % |
1.07/1.15	c |      7862 |    1000    20000   100000 |     6666     6520    118 |  0.000 % |
1.07/1.17	c |      7983 |    1000    20000   100000 |     6666     6641    118 |  0.000 % |
1.07/1.19	c |      8116 |    1000    20000   100000 |     6666     6774    118 |  0.000 % |
1.17/1.21	c |      8262 |    1000    20000   100000 |     6666     6243    118 |  0.000 % |
1.17/1.23	c |      8422 |    1000    20000   100000 |     6666     6403    118 |  0.000 % |
1.17/1.26	c |      8598 |    1000    20000   100000 |     6666     6579    119 |  0.000 % |
1.17/1.28	c |      8791 |    1000    20000   100000 |     6666     6772    119 |  0.000 % |
1.27/1.32	c |      9005 |    1000    20000   100000 |     6666     6309    118 |  0.000 % |
1.27/1.35	c |      9239 |    1000    20000   100000 |     6666     6543    118 |  0.000 % |
1.27/1.38	c |      9495 |    1000    20000   100000 |     6666     6799    117 |  0.000 % |
1.37/1.40	c |      9598 |    1000    20000   100000 |     6666     6223    117 |  0.000 % |
1.37/1.42	c |      9711 |    1000    20000   100000 |     6666     6336    117 |  0.000 % |
1.37/1.43	c |      9835 |    1000    20000   100000 |     6666     6460    117 |  0.000 % |
1.37/1.45	c |      9968 |    1000    20000   100000 |     6666     6593    117 |  0.000 % |
1.37/1.47	c |     10116 |    1000    20000   100000 | 2147483647     6741    117 |  0.000 % |
1.37/1.49	c |     10278 |    1000    20000   100000 | 2147483647     6903    117 |  0.000 % |
1.47/1.52	c |     10454 |    1000    20000   100000 | 2147483647     7079    118 |  0.000 % |
1.47/1.55	c |     10647 |    1000    20000   100000 | 2147483647     7272    118 |  0.000 % |
1.47/1.58	c |     10859 |    1000    20000   100000 | 2147483647     7484    118 |  0.000 % |
1.57/1.61	c |     11095 |    1000    20000   100000 | 2147483647     7720    118 |  0.000 % |
1.57/1.65	c |     11351 |    1000    20000   100000 | 2147483647     7976    118 |  0.000 % |
1.57/1.69	c |     11634 |    1000    20000   100000 | 2147483647     8259    118 |  0.000 % |
1.67/1.71	c |     11734 |    1000    20000   100000 | 2147483647     8359    118 |  0.000 % |
1.67/1.73	c |     11846 |    1000    20000   100000 | 2147483647     8471    118 |  0.000 % |
1.67/1.75	c |     11967 |    1000    20000   100000 | 2147483647     8592    118 |  0.000 % |
1.67/1.77	c |     12101 |    1000    20000   100000 | 2147483647     8726    118 |  0.000 % |
1.67/1.79	c |     12250 |    1000    20000   100000 | 2147483647     8875    118 |  0.000 % |
1.77/1.81	c |     12410 |    1000    20000   100000 | 2147483647     9035    118 |  0.000 % |
1.77/1.84	c |     12586 |    1000    20000   100000 | 2147483647     9211    118 |  0.000 % |
1.77/1.87	c |     12782 |    1000    20000   100000 | 2147483647     9407    119 |  0.000 % |
1.87/1.91	c |     12997 |    1000    20000   100000 | 2147483647     9622    119 |  0.000 % |
1.87/1.95	c |     13230 |    1000    20000   100000 | 2147483647     9855    119 |  0.000 % |
1.87/1.99	c |     13487 |    1000    20000   100000 | 2147483647    10112    119 |  0.000 % |
1.96/2.04	c |     13768 |    1000    20000   100000 | 2147483647    10393    120 |  0.000 % |
1.96/2.10	c |     14078 |    1000    20000   100000 | 2147483647    10703    120 |  0.000 % |
2.07/2.11	c |     14178 |    1000    20000   100000 | 2147483647    10803    120 |  0.000 % |
2.07/2.13	c |     14288 |    1000    20000   100000 | 2147483647    10913    120 |  0.000 % |
2.07/2.15	c |     14409 |    1000    20000   100000 | 2147483647    11034    120 |  0.000 % |
2.07/2.18	c |     14543 |    1000    20000   100000 | 2147483647    11168    120 |  0.000 % |
2.17/2.21	c |     14689 |    1000    20000   100000 | 2147483647    11314    120 |  0.000 % |
2.17/2.23	c |     14851 |    1000    20000   100000 | 2147483647    11476    120 |  0.000 % |
2.17/2.26	c |     15028 |    1000    20000   100000 | 2147483647    11653    120 |  0.000 % |
2.26/2.30	c |     15223 |    1000    20000   100000 | 2147483647    11848    120 |  0.000 % |
2.26/2.33	c |     15438 |    1000    20000   100000 | 2147483647    12063    120 |  0.000 % |
2.26/2.38	c |     15673 |    1000    20000   100000 | 2147483647    12298    120 |  0.000 % |
2.36/2.43	c |     15929 |    1000    20000   100000 | 2147483647    12554    120 |  0.000 % |
2.36/2.48	c |     16210 |    1000    20000   100000 | 2147483647    12835    121 |  0.000 % |
2.46/2.54	c |     16520 |    1000    20000   100000 | 2147483647    13145    120 |  0.000 % |
2.56/2.60	c |     16859 |    1000    20000   100000 | 2147483647    13484    121 |  0.000 % |
2.56/2.62	c |     16960 |    1000    20000   100000 | 2147483647    13585    120 |  0.000 % |
2.56/2.64	c |     17070 |    1000    20000   100000 | 2147483647    13695    120 |  0.000 % |
2.56/2.67	c |     17192 |    1000    20000   100000 | 2147483647    13817    120 |  0.000 % |
2.56/2.69	c |     17325 |    1000    20000   100000 | 2147483647    13950    120 |  0.000 % |
2.66/2.72	c |     17471 |    1000    20000   100000 | 2147483647    14096    121 |  0.000 % |
2.66/2.76	c |     17632 |    1000    20000   100000 | 2147483647    14257    121 |  0.000 % |
2.66/2.79	c |     17808 |    1000    20000   100000 | 2147483647    14433    121 |  0.000 % |
2.76/2.83	c |     18002 |    1000    20000   100000 | 2147483647    14627    121 |  0.000 % |
2.76/2.87	c |     18214 |    1000    20000   100000 | 2147483647    14839    121 |  0.000 % |
2.86/2.92	c |     18447 |    1000    20000   100000 | 2147483647    15072    121 |  0.000 % |
2.86/2.96	c |     18703 |    1000    20000   100000 | 2147483647    15328    121 |  0.000 % |
2.96/3.02	c |     18984 |    1000    20000   100000 | 2147483647    15609    122 |  0.000 % |
2.96/3.08	c |     19293 |    1000    20000   100000 | 2147483647    15918    122 |  0.000 % |
3.06/3.15	c |     19634 |    1000    20000   100000 | 2147483647    16259    122 |  0.000 % |
3.16/3.22	c |     20006 |    1000    20000   100000 | 2147483647    16631    122 |  0.000 % |
3.16/3.25	c |     20109 |    1000    20000   100000 | 2147483647    16734    122 |  0.000 % |
3.16/3.28	c |     20219 |    1000    20000   100000 | 2147483647    16844    122 |  0.000 % |
3.26/3.30	c |     20340 |    1000    20000   100000 | 2147483647    16965    122 |  0.000 % |
3.26/3.33	c |     20474 |    1000    20000   100000 | 2147483647    17099    122 |  0.000 % |
3.26/3.36	c |     20620 |    1000    20000   100000 | 2147483647    17245    122 |  0.000 % |
3.37/3.40	c |     20783 |    1000    20000   100000 | 2147483647    17408    122 |  0.000 % |
3.37/3.44	c |     20961 |    1000    20000   100000 | 2147483647    17586    122 |  0.000 % |
3.37/3.48	c |     21155 |    1000    20000   100000 | 2147483647    17780    122 |  0.000 % |
3.47/3.53	c |     21370 |    1000    20000   100000 | 2147483647    17995    122 |  0.000 % |
3.47/3.58	c |     21603 |    1000    20000   100000 | 2147483647    18228    122 |  0.000 % |
3.57/3.63	c |     21859 |    1000    20000   100000 | 2147483647    18484    122 |  0.000 % |
3.57/3.69	c |     22140 |    1000    20000   100000 | 2147483647    18765    122 |  0.000 % |
3.67/3.76	c |     22450 |    1000    20000   100000 | 2147483647    19075    122 |  0.000 % |
3.77/3.84	c |     22789 |    1000    20000   100000 | 2147483647    19414    122 |  0.000 % |
3.87/3.92	c |     23161 |    1000    20000   100000 | 2147483647    19786    122 |  0.000 % |
3.97/4.01	c |     23570 |    1000    20000   100000 | 2147483647    20195    122 |  0.000 % |
3.97/4.04	c |     23670 |    1000    20000   100000 | 2147483647    20295    122 |  0.000 % |
3.97/4.07	c |     23783 |    1000    20000   100000 | 2147483647    20408    122 |  0.000 % |
4.07/4.10	c |     23904 |    1000    20000   100000 | 2147483647    20529    122 |  0.000 % |
4.07/4.13	c |     24038 |    1000    20000   100000 | 2147483647    20663    122 |  0.000 % |
4.07/4.17	c |     24189 |    1000    20000   100000 | 2147483647    20814    122 |  0.000 % |
4.17/4.21	c |     24350 |    1000    20000   100000 | 2147483647    20975    122 |  0.000 % |
4.17/4.26	c |     24526 |    1000    20000   100000 | 2147483647    21151    122 |  0.000 % |
4.27/4.30	c |     24719 |    1000    20000   100000 | 2147483647    21344    122 |  0.000 % |
4.27/4.36	c |     24931 |    1000    20000   100000 | 2147483647    21556    122 |  0.000 % |
4.37/4.41	c |     25164 |    1000    20000   100000 | 2147483647    21789    122 |  0.000 % |
4.37/4.47	c |     25420 |    1000    20000   100000 | 2147483647    22045    123 |  0.000 % |
4.46/4.54	c |     25702 |    1000    20000   100000 | 2147483647    22327    123 |  0.000 % |
4.56/4.62	c |     26012 |    1000    20000   100000 | 2147483647    22637    123 |  0.000 % |
4.66/4.71	c |     26351 |    1000    20000   100000 | 2147483647    22976    123 |  0.000 % |
4.76/4.81	c |     26726 |    1000    20000   100000 | 2147483647    23351    123 |  0.000 % |
4.86/4.92	c |     27135 |    1000    20000   100000 | 2147483647    23760    123 |  0.000 % |
4.96/5.03	c |     27584 |    1000    20000   100000 | 2147483647    24209    123 |  0.000 % |
4.96/5.07	c |     27684 |    1000    20000   100000 | 2147483647    24309    123 |  0.000 % |
5.06/5.10	c |     27794 |    1000    20000   100000 | 2147483647    24419    123 |  0.000 % |
5.06/5.14	c |     27915 |    1000    20000   100000 | 2147483647    24540    123 |  0.000 % |
5.06/5.18	c |     28050 |    1000    20000   100000 | 2147483647    24675    123 |  0.000 % |
5.16/5.22	c |     28196 |    1000    20000   100000 | 2147483647    24821    123 |  0.000 % |
5.16/5.27	c |     28357 |    1000    20000   100000 | 2147483647    24982    123 |  0.000 % |
5.26/5.32	c |     28533 |    1000    20000   100000 | 2147483647    25158    123 |  0.000 % |
5.26/5.38	c |     28726 |    1000    20000   100000 | 2147483647    25351    123 |  0.000 % |
5.36/5.44	c |     28938 |    1000    20000   100000 | 2147483647    25563    123 |  0.000 % |
5.46/5.51	c |     29172 |    1000    20000   100000 | 2147483647    25797    123 |  0.000 % |
5.46/5.58	c |     29428 |    1000    20000   100000 | 2147483647    26053    123 |  0.000 % |
5.56/5.66	c |     29710 |    1000    20000   100000 | 2147483647    26335    123 |  0.000 % |
5.66/5.75	c |     30020 |    1000    20000   100000 | 2147483647    26645    123 |  0.000 % |
5.77/5.85	c |     30359 |    1000    20000   100000 | 2147483647    26984    123 |  0.000 % |
5.87/5.96	c |     30732 |    1000    20000   100000 | 2147483647    27357    123 |  0.000 % |
5.97/6.07	c |     31141 |    1000    20000   100000 | 2147483647    27766    124 |  0.000 % |
6.07/6.20	c |     31591 |    1000    20000   100000 | 2147483647    28216    124 |  0.000 % |
6.27/6.36	c |     32084 |    1000    20000   100000 | 2147483647    28709    124 |  0.000 % |
6.27/6.40	c |     32185 |    1000    20000   100000 | 2147483647    28810    124 |  0.000 % |
6.37/6.43	c |     32295 |    1000    20000   100000 | 2147483647    28920    124 |  0.000 % |
6.37/6.46	c |     32416 |    1000    20000   100000 | 2147483647    29041    124 |  0.000 % |
6.47/6.51	c |     32549 |    1000    20000   100000 | 2147483647    29174    124 |  0.000 % |
6.47/6.57	c |     32695 |    1000    20000   100000 | 2147483647    29320    124 |  0.000 % |
6.57/6.62	c |     32856 |    1000    20000   100000 | 2147483647    29481    124 |  0.000 % |
6.57/6.67	c |     33032 |    1000    20000   100000 | 2147483647    29657    124 |  0.000 % |
6.66/6.74	c |     33229 |    1000    20000   100000 | 2147483647    29854    124 |  0.000 % |
6.76/6.80	c |     33442 |    1000    20000   100000 | 2147483647    30067    124 |  0.000 % |
6.76/6.88	c |     33675 |    1000    20000   100000 | 2147483647    30300    124 |  0.000 % |
6.86/6.96	c |     33933 |    1000    20000   100000 | 2147483647    30558    124 |  0.000 % |
6.96/7.04	c |     34215 |    1000    20000   100000 | 2147483647    30840    124 |  0.000 % |
7.06/7.14	c |     34524 |    1000    20000   100000 | 2147483647    31149    124 |  0.000 % |
7.16/7.25	c |     34864 |    1000    20000   100000 | 2147483647    31489    124 |  0.000 % |
7.26/7.38	c |     35239 |    1000    20000   100000 | 2147483647    31864    124 |  0.000 % |
7.46/7.52	c |     35648 |    1000    20000   100000 | 2147483647    32273    124 |  0.000 % |
7.57/7.64	c |     36099 |    1000    20000   100000 | 2147483647    32724    124 |  0.000 % |
7.76/7.82	c |     36592 |    1000    20000   100000 | 2147483647    33217    124 |  0.000 % |
7.86/7.99	c |     37135 |    1000    20000   100000 | 2147483647    33760    124 |  0.000 % |
7.96/8.03	c |     37235 |    1000    20000   100000 | 2147483647    33860    124 |  0.000 % |
7.96/8.06	c |     37345 |    1000    20000   100000 | 2147483647    33970    124 |  0.000 % |
8.06/8.11	c |     37466 |    1000    20000   100000 | 2147483647    34091    124 |  0.000 % |
8.06/8.16	c |     37600 |    1000    20000   100000 | 2147483647    34225    124 |  0.000 % |
8.16/8.21	c |     37746 |    1000    20000   100000 | 2147483647    34371    124 |  0.000 % |
8.16/8.26	c |     37910 |    1000    20000   100000 | 2147483647    34535    124 |  0.000 % |
8.27/8.33	c |     38086 |    1000    20000   100000 | 2147483647    34711    124 |  0.000 % |
8.37/8.41	c |     38280 |    1000    20000   100000 | 2147483647    34905    124 |  0.000 % |
8.37/8.49	c |     38493 |    1000    20000   100000 | 2147483647    35118    124 |  0.000 % |
8.47/8.58	c |     38726 |    1000    20000   100000 | 2147483647    35351    124 |  0.000 % |
8.57/8.66	c |     38983 |    1000    20000   100000 | 2147483647    35608    124 |  0.000 % |
8.67/8.76	c |     39266 |    1000    20000   100000 | 2147483647    35891    124 |  0.000 % |
8.77/8.87	c |     39575 |    1000    20000   100000 | 2147483647    36200    124 |  0.000 % |
8.97/9.01	c |     39914 |    1000    20000   100000 | 2147483647    36539    125 |  0.000 % |
9.07/9.15	c |     40287 |    1000    20000   100000 | 2147483647    36912    125 |  0.000 % |
9.27/9.30	c |     40696 |    1000    20000   100000 | 2147483647    37321    125 |  0.000 % |
9.37/9.46	c |     41145 |    1000    20000   100000 | 2147483647    37770    125 |  0.000 % |
9.57/9.64	c |     41639 |    1000    20000   100000 | 2147483647    38264    125 |  0.000 % |
9.77/9.86	c |     42181 |    1000    20000   100000 | 2147483647    38806    125 |  0.000 % |
9.96/10.07	c |     42778 |    1000    20000   100000 | 2147483647    39403    125 |  0.000 % |
10.06/10.11	c |     42879 |    1000    20000   100000 | 2147483647    39504    125 |  0.000 % |
10.06/10.15	c |     42989 |    1000    20000   100000 | 2147483647    39614    125 |  0.000 % |
10.06/10.19	c |     43111 |    1000    20000   100000 | 2147483647    39736    125 |  0.000 % |
10.16/10.25	c |     43244 |    1000    20000   100000 | 2147483647    39869    125 |  0.000 % |
10.26/10.31	c |     43391 |    1000    20000   100000 | 2147483647    40016    125 |  0.000 % |
10.26/10.37	c |     43554 |    1000    20000   100000 | 2147483647    40179    125 |  0.000 % |
10.36/10.46	c |     43732 |    1000    20000   100000 | 2147483647    40357    125 |  0.000 % |
10.46/10.53	c |     43925 |    1000    20000   100000 | 2147483647    40550    125 |  0.000 % |
10.56/10.60	c |     44140 |    1000    20000   100000 | 2147483647    40765    125 |  0.000 % |
10.67/10.70	c |     44374 |    1000    20000   100000 | 2147483647    40999    125 |  0.000 % |
10.67/10.79	c |     44630 |    1000    20000   100000 | 2147483647    41255    125 |  0.000 % |
10.77/10.90	c |     44912 |    1000    20000   100000 | 2147483647    41537    125 |  0.000 % |
10.97/11.03	c |     45222 |    1000    20000   100000 | 2147483647    41847    125 |  0.000 % |
11.07/11.16	c |     45561 |    1000    20000   100000 | 2147483647    42186    125 |  0.000 % |
11.27/11.31	c |     45935 |    1000    20000   100000 | 2147483647    42560    125 |  0.000 % |
11.36/11.49	c |     46344 |    1000    20000   100000 | 2147483647    42969    125 |  0.000 % |
11.56/11.67	c |     46794 |    1000    20000   100000 | 2147483647    43419    125 |  0.000 % |
11.76/11.86	c |     47288 |    1000    20000   100000 | 2147483647    43913    125 |  0.000 % |
11.97/12.07	c |     47830 |    1000    20000   100000 | 2147483647    44455    125 |  0.000 % |
12.26/12.30	c |     48428 |    1000    20000   100000 | 2147483647    45053    125 |  0.000 % |
12.46/12.56	c |     49083 |    1000    20000   100000 | 2147483647    45708    125 |  0.000 % |
12.56/12.62	c |     49185 |    1000    20000   100000 | 2147483647    45810    125 |  0.000 % |
12.56/12.67	c |     49297 |    1000    20000   100000 | 2147483647    45922    125 |  0.000 % |
12.66/12.73	c |     49418 |    1000    20000   100000 | 2147483647    46043    125 |  0.000 % |
12.76/12.81	c |     49552 |    1000    20000   100000 | 2147483647    46177    125 |  0.000 % |
12.76/12.89	c |     49698 |    1000    20000   100000 | 2147483647    46323    125 |  0.000 % |
12.86/12.96	c |     49858 |    1000    20000   100000 | 2147483647    46483    125 |  0.000 % |
12.96/13.04	c |     50034 |    1000    20000   100000 | 2147483647    46659    125 |  0.000 % |
13.06/13.14	c |     50227 |    1000    20000   100000 | 2147483647    46852    125 |  0.000 % |
13.16/13.25	c |     50439 |    1000    20000   100000 | 2147483647    47064    125 |  0.000 % |
13.26/13.35	c |     50675 |    1000    20000   100000 | 2147483647    47300    125 |  0.000 % |
13.36/13.46	c |     50932 |    1000    20000   100000 | 2147483647    47557    125 |  0.000 % |
13.46/13.59	c |     51213 |    1000    20000   100000 | 2147483647    47838    125 |  0.000 % |
13.66/13.72	c |     51522 |    1000    20000   100000 | 2147483647    48147    125 |  0.000 % |
13.76/13.89	c |     51861 |    1000    20000   100000 | 2147483647    48486    125 |  0.000 % |
13.95/14.06	c |     52234 |    1000    20000   100000 | 2147483647    48859    125 |  0.000 % |
14.16/14.25	c |     52643 |    1000    20000   100000 | 2147483647    49268    125 |  0.000 % |
14.35/14.45	c |     53092 |    1000    20000   100000 | 2147483647    49717    126 |  0.000 % |
14.65/14.71	c |     53586 |    1000    20000   100000 | 2147483647    50211    126 |  0.000 % |
14.85/14.98	c |     54128 |    1000    20000   100000 | 2147483647    50753    126 |  0.000 % |
15.15/15.25	c |     54725 |    1000    20000   100000 | 2147483647    51350    126 |  0.000 % |
15.45/15.55	c |     55380 |    1000    20000   100000 | 2147483647    52005    125 |  0.000 % |
15.75/15.87	c |     56102 |    1000    20000   100000 | 2147483647    52727    126 |  0.000 % |
15.85/15.91	c |     56203 |    1000    20000   100000 | 2147483647    52828    126 |  0.000 % |
15.85/15.97	c |     56314 |    1000    20000   100000 | 2147483647    52939    125 |  0.000 % |
15.96/16.03	c |     56435 |    1000    20000   100000 | 2147483647    53060    126 |  0.000 % |
16.06/16.10	c |     56568 |    1000    20000   100000 | 2147483647    53193    125 |  0.000 % |
16.06/16.19	c |     56715 |    1000    20000   100000 | 2147483647    53340    125 |  0.000 % |
16.16/16.28	c |     56875 |    1000    20000   100000 | 2147483647    53500    125 |  0.000 % |
16.26/16.37	c |     57051 |    1000    20000   100000 | 2147483647    53676    125 |  0.000 % |
16.36/16.48	c |     57246 |    1000    20000   100000 | 2147483647    53871    125 |  0.000 % |
16.46/16.59	c |     57458 |    1000    20000   100000 | 2147483647    54083    125 |  0.000 % |
16.65/16.72	c |     57691 |    1000    20000   100000 | 2147483647    54316    125 |  0.000 % |
16.75/16.85	c |     57947 |    1000    20000   100000 | 2147483647    54572    125 |  0.000 % |
16.85/16.99	c |     58228 |    1000    20000   100000 | 2147483647    54853    125 |  0.000 % |
17.05/17.15	c |     58541 |    1000    20000   100000 | 2147483647    55166    125 |  0.000 % |
17.25/17.36	c |     58881 |    1000    20000   100000 | 2147483647    55506    126 |  0.000 % |
17.46/17.55	c |     59255 |    1000    20000   100000 | 2147483647    55880    126 |  0.000 % |
17.65/17.75	c |     59665 |    1000    20000   100000 | 2147483647    56290    126 |  0.000 % |
17.85/17.97	c |     60115 |    1000    20000   100000 | 2147483647    56740    126 |  0.000 % |
18.15/18.22	c |     60609 |    1000    20000   100000 | 2147483647    57234    126 |  0.000 % |
18.35/18.49	c |     61152 |    1000    20000   100000 | 2147483647    57777    126 |  0.000 % |
18.65/18.78	c |     61751 |    1000    20000   100000 | 2147483647    58376    126 |  0.000 % |
19.05/19.11	c |     62406 |    1000    20000   100000 | 2147483647    59031    126 |  0.000 % |
19.35/19.48	c |     63129 |    1000    20000   100000 | 2147483647    59754    126 |  0.000 % |
19.76/19.86	c |     63924 |    1000    20000   100000 | 2147483647    60549    126 |  0.000 % |
19.85/19.92	c |     64024 |    1000    20000   100000 | 2147483647    60649    126 |  0.000 % |
19.95/20.00	c |     64134 |    1000    20000   100000 | 2147483647    60759    126 |  0.000 % |
19.95/20.08	c |     64256 |    1000    20000   100000 | 2147483647    60881    126 |  0.000 % |
20.05/20.17	c |     64391 |    1000    20000   100000 | 2147483647    61016    126 |  0.000 % |
20.15/20.24	c |     64538 |    1000    20000   100000 | 2147483647    61163    126 |  0.000 % |
20.25/20.35	c |     64700 |    1000    20000   100000 | 2147483647    61325    126 |  0.000 % |
20.35/20.46	c |     64877 |    1000    20000   100000 | 2147483647    61502    126 |  0.000 % |
20.45/20.57	c |     65070 |    1000    20000   100000 | 2147483647    61695    126 |  0.000 % |
20.65/20.71	c |     65282 |    1000    20000   100000 | 2147483647    61907    126 |  0.000 % |
20.75/20.85	c |     65516 |    1000    20000   100000 | 2147483647    62141    126 |  0.000 % |
20.85/21.00	c |     65773 |    1000    20000   100000 | 2147483647    62398    126 |  0.000 % |
21.05/21.15	c |     66055 |    1000    20000   100000 | 2147483647    62680    126 |  0.000 % |
21.25/21.35	c |     66364 |    1000    20000   100000 | 2147483647    62989    126 |  0.000 % |
21.45/21.55	c |     66706 |    1000    20000   100000 | 2147483647    63331    126 |  0.000 % |
21.65/21.75	c |     67081 |    1000    20000   100000 | 2147483647    63706    126 |  0.000 % |
21.95/22.00	c |     67492 |    1000    20000   100000 | 2147483647    64117    126 |  0.000 % |
22.15/22.25	c |     67941 |    1000    20000   100000 | 2147483647    64566    126 |  0.000 % |
22.45/22.50	c |     68434 |    1000    20000   100000 | 2147483647    65059    126 |  0.000 % |
22.75/22.82	c |     68980 |    1000    20000   100000 | 2147483647    65605    126 |  0.000 % |
23.05/23.18	c |     69577 |    1000    20000   100000 | 2147483647    66202    126 |  0.000 % |
23.45/23.58	c |     70232 |    1000    20000   100000 | 2147483647    66857    126 |  0.000 % |
23.95/24.01	c |     70953 |    1000    20000   100000 | 2147483647    67578    126 |  0.000 % |
24.35/24.46	c |     71745 |    1000    20000   100000 | 2147483647    68370    126 |  0.000 % |
24.85/24.96	c |     72616 |    1000    20000   100000 | 2147483647    69241    126 |  0.000 % |
24.95/25.02	c |     72716 |    1000    20000   100000 | 2147483647    69341    126 |  0.000 % |
24.95/25.09	c |     72829 |    1000    20000   100000 | 2147483647    69454    126 |  0.000 % |
25.05/25.18	c |     72950 |    1000    20000   100000 | 2147483647    69575    126 |  0.000 % |
25.15/25.27	c |     73083 |    1000    20000   100000 | 2147483647    69708    126 |  0.000 % |
25.25/25.38	c |     73229 |    1000    20000   100000 | 2147483647    69854    126 |  0.000 % |
25.35/25.49	c |     73389 |    1000    20000   100000 | 2147483647    70014    126 |  0.000 % |
25.55/25.61	c |     73567 |    1000    20000   100000 | 2147483647    70192    126 |  0.000 % |
25.65/25.74	c |     73760 |    1000    20000   100000 | 2147483647    70385    126 |  0.000 % |
25.75/25.88	c |     73972 |    1000    20000   100000 | 2147483647    70597    126 |  0.000 % |
25.95/26.03	c |     74205 |    1000    20000   100000 | 2147483647    70830    126 |  0.000 % |
26.15/26.20	c |     74461 |    1000    20000   100000 | 2147483647    71086    126 |  0.000 % |
26.25/26.37	c |     74743 |    1000    20000   100000 | 2147483647    71368    126 |  0.000 % |
26.44/26.54	c |     75052 |    1000    20000   100000 | 2147483647    71677    126 |  0.000 % |
26.64/26.78	c |     75393 |    1000    20000   100000 | 2147483647    72018    126 |  0.000 % |
26.94/27.03	c |     75765 |    1000    20000   100000 | 2147483647    72390    126 |  0.000 % |
27.14/27.29	c |     76175 |    1000    20000   100000 | 2147483647    72800    126 |  0.000 % |
27.45/27.57	c |     76625 |    1000    20000   100000 | 2147483647    73250    126 |  0.000 % |
27.74/27.89	c |     77119 |    1000    20000   100000 | 2147483647    73744    126 |  0.000 % |
28.14/28.21	c |     77662 |    1000    20000   100000 | 2147483647    74287    126 |  0.000 % |
28.55/28.60	c |     78258 |    1000    20000   100000 | 2147483647    74883    127 |  0.000 % |
28.95/29.02	c |     78913 |    1000    20000   100000 | 2147483647    75538    127 |  0.000 % |
29.35/29.46	c |     79634 |    1000    20000   100000 | 2147483647    76259    127 |  0.000 % |
29.85/29.96	c |     80426 |    1000    20000   100000 | 2147483647    77051    127 |  0.000 % |
30.45/30.53	c |     81298 |    1000    20000   100000 | 2147483647    77923    127 |  0.000 % |
31.04/31.11	c |     82257 |    1000    20000   100000 | 2147483647    78882    127 |  0.000 % |
31.04/31.18	c |     82359 |    1000    20000   100000 | 2147483647    78984    127 |  0.000 % |
31.14/31.25	c |     82469 |    1000    20000   100000 | 2147483647    79094    127 |  0.000 % |
31.24/31.33	c |     82590 |    1000    20000   100000 | 2147483647    79215    127 |  0.000 % |
31.34/31.45	c |     82723 |    1000    20000   100000 | 2147483647    79348    127 |  0.000 % |
31.44/31.56	c |     82869 |    1000    20000   100000 | 2147483647    79494    127 |  0.000 % |
31.55/31.68	c |     83029 |    1000    20000   100000 | 2147483647    79654    127 |  0.000 % |
31.75/31.85	c |     83205 |    1000    20000   100000 | 2147483647    79830    127 |  0.000 % |
31.85/32.00	c |     83398 |    1000    20000   100000 | 2147483647    80023    127 |  0.000 % |
32.05/32.16	c |     83610 |    1000    20000   100000 | 2147483647    80235    127 |  0.000 % |
32.25/32.34	c |     83843 |    1000    20000   100000 | 2147483647    80468    127 |  0.000 % |
32.45/32.53	c |     84100 |    1000    20000   100000 | 2147483647    80725    127 |  0.000 % |
32.65/32.73	c |     84381 |    1000    20000   100000 | 2147483647    81006    127 |  0.000 % |
32.85/32.92	c |     84690 |    1000    20000   100000 | 2147483647    81315    127 |  0.000 % |
33.04/33.15	c |     85029 |    1000    20000   100000 | 2147483647    81654    127 |  0.000 % |
33.34/33.46	c |     85401 |    1000    20000   100000 | 2147483647    82026    127 |  0.000 % |
33.64/33.79	c |     85812 |    1000    20000   100000 | 2147483647    82437    127 |  0.000 % |
34.05/34.11	c |     86262 |    1000    20000   100000 | 2147483647    82887    127 |  0.000 % |
34.34/34.47	c |     86756 |    1000    20000   100000 | 2147483647    83381    127 |  0.000 % |
34.74/34.83	c |     87300 |    1000    20000   100000 | 2147483647    83925    127 |  0.000 % |
35.14/35.27	c |     87896 |    1000    20000   100000 | 2147483647    84521    127 |  0.000 % |
35.64/35.72	c |     88551 |    1000    20000   100000 | 2147483647    85176    127 |  0.000 % |
36.14/36.30	c |     89272 |    1000    20000   100000 | 2147483647    85897    127 |  0.000 % |
36.84/36.91	c |     90067 |    1000    20000   100000 | 2147483647    86692    127 |  0.000 % |
37.44/37.56	c |     90939 |    1000    20000   100000 | 2147483647    87564    127 |  0.000 % |
38.14/38.25	c |     91897 |    1000    20000   100000 | 2147483647    88522    127 |  0.000 % |
38.94/39.05	c |     92950 |    1000    20000   100000 | 2147483647    89575    127 |  0.000 % |
39.04/39.12	c |     93050 |    1000    20000   100000 | 2147483647    89675    127 |  0.000 % |
39.14/39.24	c |     93160 |    1000    20000   100000 | 2147483647    89785    127 |  0.000 % |
39.24/39.35	c |     93281 |    1000    20000   100000 | 2147483647    89906    127 |  0.000 % |
39.34/39.46	c |     93414 |    1000    20000   100000 | 2147483647    90039    127 |  0.000 % |
39.44/39.59	c |     93560 |    1000    20000   100000 | 2147483647    90185    127 |  0.000 % |
39.63/39.75	c |     93720 |    1000    20000   100000 | 2147483647    90345    127 |  0.000 % |
39.83/39.90	c |     93897 |    1000    20000   100000 | 2147483647    90522    127 |  0.000 % |
39.93/40.09	c |     94092 |    1000    20000   100000 | 2147483647    90717    127 |  0.000 % |
40.13/40.28	c |     94304 |    1000    20000   100000 | 2147483647    90929    127 |  0.000 % |
40.34/40.48	c |     94538 |    1000    20000   100000 | 2147483647    91163    127 |  0.000 % |
40.65/40.72	c |     94794 |    1000    20000   100000 | 2147483647    91419    127 |  0.000 % |
40.84/40.95	c |     95076 |    1000    20000   100000 | 2147483647    91701    127 |  0.000 % |
41.14/41.21	c |     95385 |    1000    20000   100000 | 2147483647    92010    127 |  0.000 % |
41.34/41.48	c |     95725 |    1000    20000   100000 | 2147483647    92350    127 |  0.000 % |
41.65/41.78	c |     96097 |    1000    20000   100000 | 2147483647    92722    127 |  0.000 % |
42.04/42.13	c |     96509 |    1000    20000   100000 | 2147483647    93134    127 |  0.000 % |
42.34/42.48	c |     96958 |    1000    20000   100000 | 2147483647    93583    127 |  0.000 % |
42.74/42.85	c |     97453 |    1000    20000   100000 | 2147483647    94078    127 |  0.000 % |
43.24/43.33	c |     97995 |    1000    20000   100000 | 2147483647    94620    127 |  0.000 % |
43.74/43.80	c |     98591 |    1000    20000   100000 | 2147483647    95216    127 |  0.000 % |
44.23/44.37	c |     99246 |    1000    20000   100000 | 2147483647    95871    127 |  0.000 % |
44.83/44.99	c |     99967 |    1000    20000   100000 | 2147483647    96592    127 |  0.000 % |
45.53/45.67	c |    100760 |    1000    20000   100000 |    96627    83929    128 |  0.000 % |
46.23/46.32	c |    101631 |    1000    20000   100000 |    96627    84800    128 |  0.000 % |
46.83/46.99	c |    102589 |    1000    20000   100000 |    96627    85758    128 |  0.000 % |
47.63/47.77	c |    103643 |    1000    20000   100000 |    96627    86812    128 |  0.000 % |
48.53/48.60	c |    104801 |    1000    20000   100000 |    96627    87970    128 |  0.000 % |
48.53/48.68	c |    104901 |    1000    20000   100000 |    96627    88070    128 |  0.000 % |
48.63/48.76	c |    105011 |    1000    20000   100000 |    96627    88180    128 |  0.000 % |
48.73/48.87	c |    105133 |    1000    20000   100000 |    96627    88302    128 |  0.000 % |
48.83/48.98	c |    105266 |    1000    20000   100000 |    96627    88435    128 |  0.000 % |
49.03/49.10	c |    105414 |    1000    20000   100000 |    96627    88583    128 |  0.000 % |
49.13/49.23	c |    105576 |    1000    20000   100000 |    96627    88745    128 |  0.000 % |
49.23/49.39	c |    105753 |    1000    20000   100000 |    96627    88922    128 |  0.000 % |
49.43/49.54	c |    105947 |    1000    20000   100000 |    96627    89116    128 |  0.000 % |
49.63/49.72	c |    106159 |    1000    20000   100000 |    96627    89328    128 |  0.000 % |
49.83/49.91	c |    106392 |    1000    20000   100000 |    96627    89561    128 |  0.000 % |
49.93/50.09	c |    106650 |    1000    20000   100000 |    96627    89819    128 |  0.000 % |
50.23/50.32	c |    106933 |    1000    20000   100000 |    96627    90102    128 |  0.000 % |
50.43/50.56	c |    107244 |    1000    20000   100000 |    96627    90413    128 |  0.000 % |
50.73/50.82	c |    107583 |    1000    20000   100000 |    96627    90752    128 |  0.000 % |
51.03/51.17	c |    107955 |    1000    20000   100000 |    96627    91124    128 |  0.000 % |
51.43/51.50	c |    108365 |    1000    20000   100000 |    96627    91534    128 |  0.000 % |
51.73/51.87	c |    108814 |    1000    20000   100000 |    96627    91983    128 |  0.000 % |
52.13/52.24	c |    109308 |    1000    20000   100000 |    96627    92477    128 |  0.000 % |
52.53/52.66	c |    109851 |    1000    20000   100000 |    96627    93020    128 |  0.000 % |
53.03/53.17	c |    110448 |    1000    20000   100000 |    93169    81236    128 |  0.000 % |
53.53/53.61	c |    111103 |    1000    20000   100000 |    93169    81891    128 |  0.000 % |
54.03/54.11	c |    111823 |    1000    20000   100000 |    93169    82611    128 |  0.000 % |
54.53/54.67	c |    112616 |    1000    20000   100000 |    93169    83404    128 |  0.000 % |
55.13/55.24	c |    113488 |    1000    20000   100000 |    93169    84276    128 |  0.000 % |
55.83/55.90	c |    114447 |    1000    20000   100000 |    93169    85235    128 |  0.000 % |
56.53/56.64	c |    115501 |    1000    20000   100000 |    93169    86289    128 |  0.000 % |
57.43/57.55	c |    116659 |    1000    20000   100000 |    93169    87447    128 |  0.000 % |
58.43/58.50	c |    117932 |    1000    20000   100000 |    93169    88720    128 |  0.000 % |
58.43/58.59	c |    118032 |    1000    20000   100000 |    93169    88820    128 |  0.000 % |
58.62/58.71	c |    118142 |    1000    20000   100000 |    93169    88930    128 |  0.000 % |
58.72/58.82	c |    118265 |    1000    20000   100000 |    93169    89053    128 |  0.000 % |
58.82/58.94	c |    118398 |    1000    20000   100000 |    93169    89186    128 |  0.000 % |
58.92/59.08	c |    118546 |    1000    20000   100000 |    93169    89334    128 |  0.000 % |
59.12/59.23	c |    118708 |    1000    20000   100000 |    93169    89496    128 |  0.000 % |
59.23/59.38	c |    118885 |    1000    20000   100000 |    93169    89673    128 |  0.000 % |
59.42/59.55	c |    119079 |    1000    20000   100000 |    93169    89867    128 |  0.000 % |
59.62/59.74	c |    119293 |    1000    20000   100000 |    93169    90081    128 |  0.000 % |
59.82/59.94	c |    119527 |    1000    20000   100000 |    93169    90315    128 |  0.000 % |
60.02/60.16	c |    119784 |    1000    20000   100000 |    93169    90572    128 |  0.000 % |
60.22/60.39	c |    120065 |    1000    20000   100000 |    90788    90853    128 |  0.000 % |
60.52/60.69	c |    120375 |    1000    20000   100000 |    90788    79733    128 |  0.000 % |
60.82/60.91	c |    120714 |    1000    20000   100000 |    90788    80072    128 |  0.000 % |
61.02/61.18	c |    121089 |    1000    20000   100000 |    90788    80447    128 |  0.000 % |
61.32/61.49	c |    121498 |    1000    20000   100000 |    90788    80856    128 |  0.000 % |
61.72/61.82	c |    121947 |    1000    20000   100000 |    90788    81305    128 |  0.000 % |
62.12/62.21	c |    122441 |    1000    20000   100000 |    90788    81799    128 |  0.000 % |
62.42/62.56	c |    122987 |    1000    20000   100000 |    90788    82345    128 |  0.000 % |
62.92/63.00	c |    123585 |    1000    20000   100000 |    90788    82943    128 |  0.000 % |
63.42/63.50	c |    124240 |    1000    20000   100000 |    90788    83598    128 |  0.000 % |
63.92/64.03	c |    124961 |    1000    20000   100000 |    90788    84319    128 |  0.000 % |
64.52/64.62	c |    125753 |    1000    20000   100000 |    90788    85111    128 |  0.000 % |
65.12/65.23	c |    126624 |    1000    20000   100000 |    90788    85982    128 |  0.000 % |
65.72/65.89	c |    127583 |    1000    20000   100000 |    90788    86941    128 |  0.000 % |
66.62/66.73	c |    128636 |    1000    20000   100000 |    90788    87994    128 |  0.000 % |
67.52/67.60	c |    129794 |    1000    20000   100000 |    90788    89152    128 |  0.000 % |
68.42/68.55	c |    131068 |    1000    20000   100000 |    89358    80511    129 |  0.000 % |
69.42/69.51	c |    132468 |    1000    20000   100000 |    89358    81911    129 |  0.000 % |
69.42/69.59	c |    132568 |    1000    20000   100000 |    89358    82011    129 |  0.000 % |
69.52/69.69	c |    132679 |    1000    20000   100000 |    89358    82122    129 |  0.000 % |
69.62/69.78	c |    132802 |    1000    20000   100000 |    89358    82245    128 |  0.000 % |
69.72/69.89	c |    132935 |    1000    20000   100000 |    89358    82378    128 |  0.000 % |
69.92/70.02	c |    133081 |    1000    20000   100000 |    89358    82524    128 |  0.000 % |
70.02/70.17	c |    133241 |    1000    20000   100000 |    89358    82684    128 |  0.000 % |
70.22/70.32	c |    133417 |    1000    20000   100000 |    89358    82860    128 |  0.000 % |
70.32/70.46	c |    133611 |    1000    20000   100000 |    89358    83054    128 |  0.000 % |
70.52/70.63	c |    133826 |    1000    20000   100000 |    89358    83269    128 |  0.000 % |
70.72/70.82	c |    134061 |    1000    20000   100000 |    89358    83504    128 |  0.000 % |
70.92/71.08	c |    134319 |    1000    20000   100000 |    89358    83762    128 |  0.000 % |
71.12/71.28	c |    134600 |    1000    20000   100000 |    89358    84043    128 |  0.000 % |
71.42/71.52	c |    134910 |    1000    20000   100000 |    89358    84353    128 |  0.000 % |
71.62/71.78	c |    135251 |    1000    20000   100000 |    89358    84694    128 |  0.000 % |
71.91/72.06	c |    135624 |    1000    20000   100000 |    89358    85067    128 |  0.000 % |
72.21/72.34	c |    136033 |    1000    20000   100000 |    89358    85476    128 |  0.000 % |
72.61/72.73	c |    136482 |    1000    20000   100000 |    89358    85925    128 |  0.000 % |
73.01/73.10	c |    136977 |    1000    20000   100000 |    89358    86420    128 |  0.000 % |
73.41/73.51	c |    137519 |    1000    20000   100000 |    89358    86962    128 |  0.000 % |
73.91/74.03	c |    138116 |    1000    20000   100000 |    89358    87559    128 |  0.000 % |
74.41/74.52	c |    138772 |    1000    20000   100000 |    89358    88215    128 |  0.000 % |
74.91/75.03	c |    139493 |    1000    20000   100000 |    89358    88936    128 |  0.000 % |
75.51/75.65	c |    140288 |    1000    20000   100000 |    89443    89731    128 |  0.000 % |
76.11/76.22	c |    141159 |    1000    20000   100000 |    89443    80236    128 |  0.000 % |
76.71/76.86	c |    142118 |    1000    20000   100000 |    89443    81195    128 |  0.000 % |
77.41/77.57	c |    143171 |    1000    20000   100000 |    89443    82248    128 |  0.000 % |
78.11/78.29	c |    144330 |    1000    20000   100000 |    89443    83407    128 |  0.000 % |
79.01/79.12	c |    145603 |    1000    20000   100000 |    89443    84680    129 |  0.000 % |
80.01/80.11	c |    147003 |    1000    20000   100000 |    89443    86080    128 |  0.000 % |
81.11/81.29	c |    148545 |    1000    20000   100000 |    89443    87622    129 |  0.000 % |
81.21/81.40	c |    148645 |    1000    20000   100000 |    89443    87722    129 |  0.000 % |
81.31/81.49	c |    148756 |    1000    20000   100000 |    89443    87833    129 |  0.000 % |
81.41/81.59	c |    148877 |    1000    20000   100000 |    89443    87954    128 |  0.000 % |
81.51/81.69	c |    149011 |    1000    20000   100000 |    89443    88088    128 |  0.000 % |
81.71/81.81	c |    149157 |    1000    20000   100000 |    89443    88234    129 |  0.000 % |
81.81/81.95	c |    149317 |    1000    20000   100000 |    89443    88394    129 |  0.000 % |
81.91/82.10	c |    149494 |    1000    20000   100000 |    89443    88571    128 |  0.000 % |
82.11/82.27	c |    149689 |    1000    20000   100000 |    89443    88766    128 |  0.000 % |
82.31/82.43	c |    149903 |    1000    20000   100000 |    89443    88980    128 |  0.000 % |
82.51/82.62	c |    150137 |    1000    20000   100000 |    89077    89214    128 |  0.000 % |
82.71/82.85	c |    150394 |    1000    20000   100000 |    89077    80035    128 |  0.000 % |
82.91/83.04	c |    150675 |    1000    20000   100000 |    89077    80316    128 |  0.000 % |
83.11/83.26	c |    150985 |    1000    20000   100000 |    89077    80626    128 |  0.000 % |
83.41/83.51	c |    151326 |    1000    20000   100000 |    89077    80967    128 |  0.000 % |
83.61/83.76	c |    151698 |    1000    20000   100000 |    89077    81339    128 |  0.000 % |
83.91/84.05	c |    152107 |    1000    20000   100000 |    89077    81748    128 |  0.000 % |
84.21/84.38	c |    152556 |    1000    20000   100000 |    89077    82197    128 |  0.000 % |
84.61/84.76	c |    153050 |    1000    20000   100000 |    89077    82691    128 |  0.000 % |
85.01/85.17	c |    153592 |    1000    20000   100000 |    89077    83233    128 |  0.000 % |
85.51/85.62	c |    154188 |    1000    20000   100000 |    89077    83829    128 |  0.000 % |
86.01/86.12	c |    154843 |    1000    20000   100000 |    89077    84484    128 |  0.000 % |
86.50/86.66	c |    155567 |    1000    20000   100000 |    89077    85208    128 |  0.000 % |
87.10/87.28	c |    156359 |    1000    20000   100000 |    89077    86000    128 |  0.000 % |
87.80/87.92	c |    157232 |    1000    20000   100000 |    89077    86873    128 |  0.000 % |
88.50/88.61	c |    158190 |    1000    20000   100000 |    89077    87831    129 |  0.000 % |
89.30/89.41	c |    159243 |    1000    20000   100000 |    89077    88884    128 |  0.000 % |
90.10/90.29	c |    160402 |    1000    20000   100000 |    79600    71459    128 |  0.000 % |
90.90/91.09	c |    161675 |    1000    20000   100000 |    79600    72732    129 |  0.000 % |
91.80/91.95	c |    163075 |    1000    20000   100000 |    79600    74132    129 |  0.000 % |
92.90/93.07	c |    164615 |    1000    20000   100000 |    79600    75672    129 |  0.000 % |
94.00/94.15	c |    166310 |    1000    20000   100000 |    79600    77367    129 |  0.000 % |
94.10/94.24	c |    166412 |    1000    20000   100000 |    79600    77469    129 |  0.000 % |
94.20/94.33	c |    166522 |    1000    20000   100000 |    79600    77579    129 |  0.000 % |
94.30/94.43	c |    166644 |    1000    20000   100000 |    79600    77701    129 |  0.000 % |
94.40/94.52	c |    166777 |    1000    20000   100000 |    79600    77834    129 |  0.000 % |
94.50/94.63	c |    166923 |    1000    20000   100000 |    79600    77980    129 |  0.000 % |
94.60/94.75	c |    167085 |    1000    20000   100000 |    79600    78142    129 |  0.000 % |
94.80/94.90	c |    167261 |    1000    20000   100000 |    79600    78318    129 |  0.000 % |
94.90/95.04	c |    167454 |    1000    20000   100000 |    79600    78511    129 |  0.000 % |
95.10/95.21	c |    167668 |    1000    20000   100000 |    79600    78725    129 |  0.000 % |
95.20/95.38	c |    167905 |    1000    20000   100000 |    79600    78962    129 |  0.000 % |
95.40/95.57	c |    168163 |    1000    20000   100000 |    79600    79220    129 |  0.000 % |
95.60/95.76	c |    168445 |    1000    20000   100000 |    79600    79502    129 |  0.000 % |
95.80/96.00	c |    168756 |    1000    20000   100000 |    79600    79813    128 |  0.000 % |
96.10/96.26	c |    169095 |    1000    20000   100000 |    79600    72171    128 |  0.000 % |
96.40/96.54	c |    169468 |    1000    20000   100000 |    79600    72544    128 |  0.000 % |
96.70/96.83	c |    169878 |    1000    20000   100000 |    79600    72954    128 |  0.000 % |
97.00/97.14	c |    170327 |    1000    20000   100000 | 2147483647    73403    128 |  0.000 % |
97.30/97.49	c |    170820 |    1000    20000   100000 | 2147483647    73896    128 |  0.000 % |
97.70/97.86	c |    171364 |    1000    20000   100000 | 2147483647    74440    128 |  0.000 % |
98.10/98.25	c |    171960 |    1000    20000   100000 | 2147483647    75036    128 |  0.000 % |
98.50/98.67	c |    172616 |    1000    20000   100000 | 2147483647    75692    128 |  0.000 % |
98.90/99.09	c |    173337 |    1000    20000   100000 | 2147483647    76413    128 |  0.000 % |
99.50/99.62	c |    174130 |    1000    20000   100000 | 2147483647    77206    128 |  0.000 % |
100.00/100.19	c |    175002 |    1000    20000   100000 | 2147483647    78078    128 |  0.000 % |
100.70/100.85	c |    175960 |    1000    20000   100000 | 2147483647    79036    128 |  0.000 % |
101.39/101.55	c |    177014 |    1000    20000   100000 | 2147483647    80090    128 |  0.000 % |
102.20/102.36	c |    178173 |    1000    20000   100000 | 2147483647    81249    128 |  0.000 % |
103.09/103.23	c |    179446 |    1000    20000   100000 | 2147483647    82522    129 |  0.000 % |
104.09/104.24	c |    180847 |    1000    20000   100000 | 2147483647    83923    129 |  0.000 % |
105.19/105.36	c |    182389 |    1000    20000   100000 | 2147483647    85465    129 |  0.000 % |
106.39/106.55	c |    184084 |    1000    20000   100000 | 2147483647    87160    129 |  0.000 % |
107.79/107.96	c |    185947 |    1000    20000   100000 | 2147483647    89023    129 |  0.000 % |
107.89/108.04	c |    186048 |    1000    20000   100000 | 2147483647    89124    129 |  0.000 % |
107.99/108.14	c |    186159 |    1000    20000   100000 | 2147483647    89235    129 |  0.000 % |
108.09/108.25	c |    186280 |    1000    20000   100000 | 2147483647    89356    129 |  0.000 % |
108.19/108.36	c |    186414 |    1000    20000   100000 | 2147483647    89490    129 |  0.000 % |
108.29/108.49	c |    186561 |    1000    20000   100000 | 2147483647    89637    129 |  0.000 % |
108.49/108.65	c |    186722 |    1000    20000   100000 | 2147483647    89798    129 |  0.000 % |
108.59/108.80	c |    186899 |    1000    20000   100000 | 2147483647    89975    129 |  0.000 % |
108.80/108.98	c |    187094 |    1000    20000   100000 | 2147483647    90170    129 |  0.000 % |
108.99/109.18	c |    187308 |    1000    20000   100000 | 2147483647    90384    129 |  0.000 % |
109.19/109.37	c |    187543 |    1000    20000   100000 | 2147483647    90619    129 |  0.000 % |
109.39/109.59	c |    187802 |    1000    20000   100000 | 2147483647    90878    129 |  0.000 % |
109.69/109.81	c |    188084 |    1000    20000   100000 | 2147483647    91160    129 |  0.000 % |
109.90/110.09	c |    188393 |    1000    20000   100000 | 2147483647    91469    129 |  0.000 % |
110.19/110.36	c |    188732 |    1000    20000   100000 | 2147483647    91808    129 |  0.000 % |
110.49/110.67	c |    189105 |    1000    20000   100000 | 2147483647    92181    129 |  0.000 % |
110.89/111.01	c |    189515 |    1000    20000   100000 | 2147483647    92591    129 |  0.000 % |
111.19/111.39	c |    189964 |    1000    20000   100000 | 2147483647    93040    129 |  0.000 % |
111.69/111.84	c |    190459 |    1000    20000   100000 |    93079    81975    129 |  0.000 % |
112.09/112.21	c |    191001 |    1000    20000   100000 |    93079    82517    129 |  0.000 % |
112.49/112.68	c |    191597 |    1000    20000   100000 |    93079    83113    129 |  0.000 % |
112.99/113.19	c |    192253 |    1000    20000   100000 |    93079    83769    129 |  0.000 % |
113.59/113.73	c |    192973 |    1000    20000   100000 |    93079    84489    129 |  0.000 % |
114.09/114.30	c |    193765 |    1000    20000   100000 |    93079    85281    129 |  0.000 % |
114.79/114.93	c |    194640 |    1000    20000   100000 |    93079    86156    129 |  0.000 % |
115.49/115.63	c |    195599 |    1000    20000   100000 |    93079    87115    129 |  0.000 % |
116.29/116.46	c |    196653 |    1000    20000   100000 |    93079    88169    129 |  0.000 % |
117.19/117.37	c |    197812 |    1000    20000   100000 |    93079    89328    129 |  0.000 % |
118.09/118.28	c |    199087 |    1000    20000   100000 |    93079    90603    129 |  0.000 % |
119.29/119.41	c |    200488 |    1000    20000   100000 |    91517    80823    130 |  0.000 % |
120.39/120.51	c |    202028 |    1000    20000   100000 |    91517    82363    130 |  0.000 % |
121.58/121.73	c |    203722 |    1000    20000   100000 |    91517    84057    130 |  0.000 % |
122.88/123.04	c |    205585 |    1000    20000   100000 |    91517    85920    130 |  0.000 % |
124.48/124.63	c |    207634 |    1000    20000   100000 |    91517    87969    130 |  0.000 % |
124.58/124.71	c |    207734 |    1000    20000   100000 |    91517    88069    130 |  0.000 % |
124.68/124.81	c |    207844 |    1000    20000   100000 |    91517    88179    130 |  0.000 % |
124.78/124.91	c |    207970 |    1000    20000   100000 |    91517    88305    130 |  0.000 % |
124.88/125.01	c |    208104 |    1000    20000   100000 |    91517    88439    130 |  0.000 % |
124.98/125.12	c |    208250 |    1000    20000   100000 |    91517    88585    130 |  0.000 % |
125.08/125.24	c |    208410 |    1000    20000   100000 |    91517    88745    130 |  0.000 % |
125.19/125.37	c |    208586 |    1000    20000   100000 |    91517    88921    130 |  0.000 % |
125.38/125.54	c |    208779 |    1000    20000   100000 |    91517    89114    130 |  0.000 % |
125.58/125.73	c |    208992 |    1000    20000   100000 |    91517    89327    130 |  0.000 % |
125.78/125.92	c |    209227 |    1000    20000   100000 |    91517    89562    130 |  0.000 % |
125.98/126.13	c |    209483 |    1000    20000   100000 |    91517    89818    130 |  0.000 % |
126.18/126.36	c |    209765 |    1000    20000   100000 |    91517    90100    130 |  0.000 % |
126.48/126.60	c |    210074 |    1000    20000   100000 |    90337    90409    130 |  0.000 % |
126.78/126.93	c |    210413 |    1000    20000   100000 |    90337    79972    130 |  0.000 % |
127.08/127.23	c |    210787 |    1000    20000   100000 |    90337    80346    130 |  0.000 % |
127.39/127.51	c |    211197 |    1000    20000   100000 |    90337    80756    130 |  0.000 % |
127.68/127.82	c |    211646 |    1000    20000   100000 |    90337    81205    130 |  0.000 % |
127.98/128.18	c |    212141 |    1000    20000   100000 |    90337    81700    129 |  0.000 % |
128.38/128.54	c |    212684 |    1000    20000   100000 |    90337    82243    129 |  0.000 % |
128.78/128.95	c |    213280 |    1000    20000   100000 |    90337    82839    130 |  0.000 % |
129.28/129.40	c |    213937 |    1000    20000   100000 |    90337    83496    130 |  0.000 % |
129.78/129.92	c |    214658 |    1000    20000   100000 |    90337    84217    130 |  0.000 % |
130.28/130.47	c |    215451 |    1000    20000   100000 |    90337    85010    130 |  0.000 % |
130.88/131.09	c |    216324 |    1000    20000   100000 |    90337    85883    130 |  0.000 % |
131.58/131.77	c |    217283 |    1000    20000   100000 |    90337    86842    130 |  0.000 % |
132.38/132.53	c |    218338 |    1000    20000   100000 |    90337    87897    130 |  0.000 % |
133.17/133.38	c |    219496 |    1000    20000   100000 |    90337    89055    130 |  0.000 % |
134.17/134.38	c |    220769 |    1000    20000   100000 |    89562    80835    131 |  0.000 % |
135.18/135.33	c |    222169 |    1000    20000   100000 |    89562    82235    131 |  0.000 % |
136.28/136.41	c |    223709 |    1000    20000   100000 |    89562    83775    131 |  0.000 % |
137.28/137.49	c |    225403 |    1000    20000   100000 |    89562    85469    131 |  0.000 % |
138.67/138.81	c |    227266 |    1000    20000   100000 |    89562    87332    131 |  0.000 % |
140.07/140.26	c |    229317 |    1000    20000   100000 |    89562    89383    131 |  0.000 % |
141.67/141.90	c |    231574 |    1000    20000   100000 | 2147483647    82650    131 |  0.000 % |
141.77/141.99	c |    231675 |    1000    20000   100000 | 2147483647    82751    131 |  0.000 % |
141.87/142.08	c |    231786 |    1000    20000   100000 | 2147483647    82862    131 |  0.000 % |
141.97/142.18	c |    231909 |    1000    20000   100000 | 2147483647    82985    131 |  0.000 % |
142.17/142.30	c |    232043 |    1000    20000   100000 | 2147483647    83119    131 |  0.000 % |
142.27/142.43	c |    232191 |    1000    20000   100000 | 2147483647    83267    131 |  0.000 % |
142.37/142.56	c |    232351 |    1000    20000   100000 | 2147483647    83427    131 |  0.000 % |
142.57/142.71	c |    232527 |    1000    20000   100000 | 2147483647    83603    131 |  0.000 % |
142.67/142.88	c |    232721 |    1000    20000   100000 | 2147483647    83797    131 |  0.000 % |
142.87/143.05	c |    232933 |    1000    20000   100000 | 2147483647    84009    131 |  0.000 % |
143.07/143.22	c |    233166 |    1000    20000   100000 | 2147483647    84242    131 |  0.000 % |
143.27/143.40	c |    233425 |    1000    20000   100000 | 2147483647    84501    131 |  0.000 % |
143.47/143.61	c |    233706 |    1000    20000   100000 | 2147483647    84782    131 |  0.000 % |
143.67/143.84	c |    234016 |    1000    20000   100000 | 2147483647    85092    131 |  0.000 % |
143.97/144.10	c |    234355 |    1000    20000   100000 | 2147483647    85431    131 |  0.000 % |
144.17/144.38	c |    234729 |    1000    20000   100000 | 2147483647    85805    131 |  0.000 % |
144.57/144.70	c |    235138 |    1000    20000   100000 | 2147483647    86214    131 |  0.000 % |
144.86/145.03	c |    235588 |    1000    20000   100000 | 2147483647    86664    131 |  0.000 % |
145.26/145.46	c |    236081 |    1000    20000   100000 | 2147483647    87157    131 |  0.000 % |
145.66/145.88	c |    236624 |    1000    20000   100000 | 2147483647    87700    131 |  0.000 % |
146.17/146.30	c |    237221 |    1000    20000   100000 | 2147483647    88297    131 |  0.000 % |
146.66/146.80	c |    237877 |    1000    20000   100000 | 2147483647    88953    131 |  0.000 % |
147.17/147.33	c |    238598 |    1000    20000   100000 | 2147483647    89674    131 |  0.000 % |
147.76/147.95	c |    239393 |    1000    20000   100000 | 2147483647    90469    131 |  0.000 % |
148.46/148.64	c |    240264 |    1000    20000   100000 |    91076    91340    131 |  0.000 % |
149.26/149.42	c |    241224 |    1000    20000   100000 |    91076    81957    131 |  0.000 % |
150.06/150.25	c |    242277 |    1000    20000   100000 |    91076    83010    132 |  0.000 % |
150.86/151.10	c |    243436 |    1000    20000   100000 |    91076    84169    132 |  0.000 % |
151.86/152.05	c |    244710 |    1000    20000   100000 |    91076    85443    132 |  0.000 % |
152.76/152.97	c |    246112 |    1000    20000   100000 |    91076    86845    132 |  0.000 % |
153.76/154.00	c |    247654 |    1000    20000   100000 |    91076    88387    132 |  0.000 % |
155.06/155.23	c |    249350 |    1000    20000   100000 |    91076    90083    132 |  0.000 % |
156.46/156.66	c |    251214 |    1000    20000   100000 |    90733    82632    132 |  0.000 % |
157.96/158.10	c |    253267 |    1000    20000   100000 |    90733    84685    132 |  0.000 % |
159.56/159.70	c |    255520 |    1000    20000   100000 |    90733    86938    132 |  0.000 % |
161.36/161.52	c |    257999 |    1000    20000   100000 |    90733    89417    132 |  0.000 % |
161.46/161.61	c |    258099 |    1000    20000   100000 |    90733    89517    132 |  0.000 % |
161.56/161.71	c |    258209 |    1000    20000   100000 |    90733    89627    132 |  0.000 % |
161.66/161.84	c |    258330 |    1000    20000   100000 |    90733    89748    132 |  0.000 % |
161.76/161.95	c |    258463 |    1000    20000   100000 |    90733    89881    132 |  0.000 % |
161.86/162.08	c |    258609 |    1000    20000   100000 |    90733    90027    132 |  0.000 % |
162.06/162.21	c |    258769 |    1000    20000   100000 |    90733    90187    132 |  0.000 % |
162.16/162.36	c |    258945 |    1000    20000   100000 |    90733    90363    132 |  0.000 % |
162.36/162.53	c |    259139 |    1000    20000   100000 |    90733    90557    132 |  0.000 % |
162.46/162.69	c |    259353 |    1000    20000   100000 |    90733    90771    132 |  0.000 % |
162.76/162.92	c |    259588 |    1000    20000   100000 |    90733    80907    132 |  0.000 % |
162.96/163.14	c |    259846 |    1000    20000   100000 |    90733    81165    132 |  0.000 % |
163.16/163.35	c |    260127 |    1000    20000   100000 |    81320    81446    132 |  0.000 % |
163.46/163.60	c |    260436 |    1000    20000   100000 |    81320    72740    132 |  0.000 % |
163.66/163.83	c |    260775 |    1000    20000   100000 |    81320    73079    132 |  0.000 % |
163.86/164.06	c |    261147 |    1000    20000   100000 |    81320    73451    132 |  0.000 % |
164.16/164.30	c |    261556 |    1000    20000   100000 |    81320    73860    132 |  0.000 % |
164.46/164.65	c |    262007 |    1000    20000   100000 |    81320    74311    132 |  0.000 % |
164.86/165.02	c |    262500 |    1000    20000   100000 |    81320    74804    132 |  0.000 % |
165.15/165.39	c |    263042 |    1000    20000   100000 |    81320    75346    132 |  0.000 % |
165.65/165.81	c |    263638 |    1000    20000   100000 |    81320    75942    132 |  0.000 % |
166.05/166.24	c |    264293 |    1000    20000   100000 |    81320    76597    132 |  0.000 % |
166.45/166.69	c |    265013 |    1000    20000   100000 |    81320    77317    132 |  0.000 % |
167.06/167.25	c |    265805 |    1000    20000   100000 |    81320    78109    132 |  0.000 % |
167.65/167.80	c |    266677 |    1000    20000   100000 |    81320    78981    132 |  0.000 % |
168.25/168.47	c |    267637 |    1000    20000   100000 |    81320    79941    132 |  0.000 % |
168.95/169.15	c |    268691 |    1000    20000   100000 |    81320    80995    132 |  0.000 % |
169.75/169.98	c |    269850 |    1000    20000   100000 |    81320    73988    132 |  0.000 % |
170.55/170.74	c |    271124 |    1000    20000   100000 | 2147483647    75262    132 |  0.000 % |
171.46/171.63	c |    272524 |    1000    20000   100000 | 2147483647    76662    132 |  0.000 % |
172.55/172.71	c |    274064 |    1000    20000   100000 | 2147483647    78202    132 |  0.000 % |
173.65/173.89	c |    275759 |    1000    20000   100000 | 2147483647    79897    132 |  0.000 % |
174.95/175.15	c |    277623 |    1000    20000   100000 | 2147483647    81761    132 |  0.000 % |
176.25/176.49	c |    279674 |    1000    20000   100000 | 2147483647    83812    132 |  0.000 % |
177.85/178.05	c |    281928 |    1000    20000   100000 | 2147483647    86066    132 |  0.000 % |
179.64/179.87	c |    284407 |    1000    20000   100000 | 2147483647    88545    132 |  0.000 % |
181.84/182.04	c |    287133 |    1000    20000   100000 | 2147483647    91271    133 |  0.000 % |
181.94/182.13	c |    287233 |    1000    20000   100000 | 2147483647    91371    133 |  0.000 % |
182.04/182.21	c |    287343 |    1000    20000   100000 | 2147483647    91481    133 |  0.000 % |
182.14/182.31	c |    287466 |    1000    20000   100000 | 2147483647    91604    133 |  0.000 % |
182.25/182.43	c |    287599 |    1000    20000   100000 | 2147483647    91737    133 |  0.000 % |
182.35/182.56	c |    287746 |    1000    20000   100000 | 2147483647    91884    133 |  0.000 % |
182.55/182.70	c |    287906 |    1000    20000   100000 | 2147483647    92044    133 |  0.000 % |
182.65/182.87	c |    288084 |    1000    20000   100000 | 2147483647    92222    133 |  0.000 % |
182.85/183.05	c |    288277 |    1000    20000   100000 | 2147483647    92415    133 |  0.000 % |
183.05/183.24	c |    288490 |    1000    20000   100000 | 2147483647    92628    133 |  0.000 % |
183.25/183.44	c |    288724 |    1000    20000   100000 | 2147483647    92862    133 |  0.000 % |
183.45/183.64	c |    288980 |    1000    20000   100000 | 2147483647    93118    132 |  0.000 % |
183.65/183.86	c |    289262 |    1000    20000   100000 | 2147483647    93400    132 |  0.000 % |
183.85/184.09	c |    289571 |    1000    20000   100000 | 2147483647    93709    132 |  0.000 % |
184.25/184.40	c |    289910 |    1000    20000   100000 | 2147483647    94048    132 |  0.000 % |
184.55/184.71	c |    290284 |    1000    20000   100000 |    94139    94422    132 |  0.000 % |
184.85/185.06	c |    290694 |    1000    20000   100000 |    94139    83592    132 |  0.000 % |
185.15/185.39	c |    291143 |    1000    20000   100000 |    94139    84041    132 |  0.000 % |
185.55/185.75	c |    291636 |    1000    20000   100000 |    94139    84534    132 |  0.000 % |
185.95/186.13	c |    292180 |    1000    20000   100000 |    94139    85078    132 |  0.000 % |
186.35/186.55	c |    292777 |    1000    20000   100000 |    94139    85675    132 |  0.000 % |
186.85/187.04	c |    293433 |    1000    20000   100000 |    94139    86331    132 |  0.000 % |
187.35/187.56	c |    294153 |    1000    20000   100000 |    94139    87051    132 |  0.000 % |
187.95/188.13	c |    294946 |    1000    20000   100000 |    94139    87844    132 |  0.000 % |
188.55/188.72	c |    295817 |    1000    20000   100000 |    94139    88715    132 |  0.000 % |
189.25/189.42	c |    296778 |    1000    20000   100000 |    94139    89676    132 |  0.000 % |
189.95/190.18	c |    297832 |    1000    20000   100000 |    94139    90730    132 |  0.000 % |
190.85/191.05	c |    298991 |    1000    20000   100000 |    94139    91889    132 |  0.000 % |
191.75/191.96	c |    300265 |    1000    20000   100000 |    92898    93163    132 |  0.000 % |
192.75/192.96	c |    301665 |    1000    20000   100000 |    92898    84302    133 |  0.000 % |
193.84/194.05	c |    303207 |    1000    20000   100000 |    92898    85844    133 |  0.000 % |
195.14/195.33	c |    304901 |    1000    20000   100000 |    92898    87538    133 |  0.000 % |
196.45/196.70	c |    306765 |    1000    20000   100000 |    92898    89402    133 |  0.000 % |
197.94/198.17	c |    308816 |    1000    20000   100000 |    92898    91453    133 |  0.000 % |
199.54/199.78	c |    311069 |    1000    20000   100000 |    92637    83702    133 |  0.000 % |
201.24/201.49	c |    313547 |    1000    20000   100000 |    92637    86180    133 |  0.000 % |
203.35/203.58	c |    316273 |    1000    20000   100000 |    92637    88906    133 |  0.000 % |
205.74/205.90	c |    319270 |    1000    20000   100000 |    92637    91903    133 |  0.000 % |
205.74/205.98	c |    319370 |    1000    20000   100000 |    92637    92003    133 |  0.000 % |
205.84/206.07	c |    319480 |    1000    20000   100000 |    92637    92113    133 |  0.000 % |
205.94/206.19	c |    319601 |    1000    20000   100000 |    92637    92234    133 |  0.000 % |
206.14/206.31	c |    319736 |    1000    20000   100000 |    92637    92369    133 |  0.000 % |
206.24/206.42	c |    319882 |    1000    20000   100000 |    92637    92515    133 |  0.000 % |
206.34/206.56	c |    320042 |    1000    20000   100000 |    92633    92675    133 |  0.000 % |
206.54/206.79	c |    320219 |    1000    20000   100000 |    92633    81396    133 |  0.000 % |
206.74/206.94	c |    320413 |    1000    20000   100000 |    92633    81590    133 |  0.000 % |
206.94/207.10	c |    320628 |    1000    20000   100000 |    92633    81805    133 |  0.000 % |
207.04/207.27	c |    320861 |    1000    20000   100000 |    92633    82038    133 |  0.000 % |
207.24/207.46	c |    321119 |    1000    20000   100000 |    92633    82296    133 |  0.000 % |
207.44/207.67	c |    321400 |    1000    20000   100000 |    92633    82577    133 |  0.000 % |
207.64/207.89	c |    321710 |    1000    20000   100000 |    92633    82887    133 |  0.000 % |
207.94/208.14	c |    322051 |    1000    20000   100000 |    92633    83228    133 |  0.000 % |
208.24/208.45	c |    322423 |    1000    20000   100000 |    92633    83600    133 |  0.000 % |
208.54/208.76	c |    322832 |    1000    20000   100000 |    92633    84009    133 |  0.000 % |
208.84/209.09	c |    323283 |    1000    20000   100000 |    92633    84460    133 |  0.000 % |
209.24/209.47	c |    323776 |    1000    20000   100000 |    92633    84953    133 |  0.000 % |
209.64/209.83	c |    324319 |    1000    20000   100000 |    92633    85496    133 |  0.000 % |
210.04/210.27	c |    324916 |    1000    20000   100000 |    92633    86093    133 |  0.000 % |
210.54/210.71	c |    325571 |    1000    20000   100000 |    92633    86748    133 |  0.000 % |
211.04/211.25	c |    326294 |    1000    20000   100000 |    92633    87471    133 |  0.000 % |
211.64/211.88	c |    327086 |    1000    20000   100000 |    92633    88263    133 |  0.000 % |
212.34/212.58	c |    327958 |    1000    20000   100000 |    92633    89135    133 |  0.000 % |
213.14/213.35	c |    328919 |    1000    20000   100000 |    92633    90096    133 |  0.000 % |
213.94/214.15	c |    329975 |    1000    20000   100000 |    92633    91152    133 |  0.000 % |
214.84/215.01	c |    331133 |    1000    20000   100000 |    91178    81320    133 |  0.000 % |
215.64/215.85	c |    332409 |    1000    20000   100000 |    91178    82596    133 |  0.000 % |
216.64/216.84	c |    333809 |    1000    20000   100000 |    91178    83996    133 |  0.000 % |
217.74/217.92	c |    335350 |    1000    20000   100000 |    91178    85537    133 |  0.000 % |
218.83/219.09	c |    337044 |    1000    20000   100000 |    91178    87231    133 |  0.000 % |
220.23/220.50	c |    338908 |    1000    20000   100000 |    91178    89095    133 |  0.000 % |
221.73/221.95	c |    340957 |    1000    20000   100000 |    90188    81200    133 |  0.000 % |
223.33/223.53	c |    343213 |    1000    20000   100000 |    90188    83456    133 |  0.000 % |
225.02/225.21	c |    345691 |    1000    20000   100000 |    90188    85934    133 |  0.000 % |
226.82/227.03	c |    348416 |    1000    20000   100000 |    90188    88659    134 |  0.000 % |
228.92/229.15	c |    351413 |    1000    20000   100000 | 2147483647    91656    134 |  0.000 % |
231.22/231.47	c |    354710 |    1000    20000   100000 | 2147483647    94953    134 |  0.000 % |
231.32/231.55	c |    354810 |    1000    20000   100000 | 2147483647    95053    134 |  0.000 % |
231.42/231.65	c |    354920 |    1000    20000   100000 | 2147483647    95163    134 |  0.000 % |
231.52/231.76	c |    355041 |    1000    20000   100000 | 2147483647    95284    134 |  0.000 % |
231.62/231.89	c |    355174 |    1000    20000   100000 | 2147483647    95417    134 |  0.000 % |
231.83/232.03	c |    355322 |    1000    20000   100000 | 2147483647    95565    134 |  0.000 % |
231.93/232.17	c |    355484 |    1000    20000   100000 | 2147483647    95727    134 |  0.000 % |
232.12/232.32	c |    355660 |    1000    20000   100000 | 2147483647    95903    134 |  0.000 % |
232.32/232.50	c |    355853 |    1000    20000   100000 | 2147483647    96096    134 |  0.000 % |
232.42/232.69	c |    356065 |    1000    20000   100000 | 2147483647    96308    134 |  0.000 % |
232.72/232.92	c |    356298 |    1000    20000   100000 | 2147483647    96541    134 |  0.000 % |
232.92/233.16	c |    356555 |    1000    20000   100000 | 2147483647    96798    134 |  0.000 % |
233.22/233.41	c |    356836 |    1000    20000   100000 | 2147483647    97079    134 |  0.000 % |
233.42/233.68	c |    357146 |    1000    20000   100000 | 2147483647    97389    134 |  0.000 % |
233.82/234.01	c |    357489 |    1000    20000   100000 | 2147483647    97732    134 |  0.000 % |
234.12/234.33	c |    357862 |    1000    20000   100000 | 2147483647    98105    134 |  0.000 % |
234.42/234.66	c |    358271 |    1000    20000   100000 | 2147483647    98514    134 |  0.000 % |
234.81/235.04	c |    358720 |    1000    20000   100000 | 2147483647    98963    134 |  0.000 % |
235.23/235.45	c |    359213 |    1000    20000   100000 | 2147483647    99456    134 |  0.000 % |
235.62/235.89	c |    359755 |    1000    20000   100000 | 2147483647    99998    134 |  0.000 % |
236.23/236.46	c |    360352 |    1000    20000   100000 |   100243    86817    134 |  0.000 % |
236.72/236.96	c |    361007 |    1000    20000   100000 |   100243    87472    134 |  0.000 % |
237.32/237.55	c |    361727 |    1000    20000   100000 |   100243    88192    134 |  0.000 % |
237.92/238.18	c |    362519 |    1000    20000   100000 |   100243    88984    134 |  0.000 % |
238.72/238.93	c |    363391 |    1000    20000   100000 |   100243    89856    134 |  0.000 % |
239.42/239.66	c |    364349 |    1000    20000   100000 |   100243    90814    134 |  0.000 % |
240.32/240.54	c |    365402 |    1000    20000   100000 |   100243    91867    134 |  0.000 % |
241.12/241.39	c |    366561 |    1000    20000   100000 |   100243    93026    134 |  0.000 % |
242.12/242.37	c |    367834 |    1000    20000   100000 |   100243    94299    134 |  0.000 % |
243.22/243.40	c |    369234 |    1000    20000   100000 |   100243    95699    134 |  0.000 % |
244.42/244.62	c |    370776 |    1000    20000   100000 |    96467    83740    134 |  0.000 % |
245.62/245.81	c |    372470 |    1000    20000   100000 |    96467    85434    134 |  0.000 % |
246.92/247.14	c |    374337 |    1000    20000   100000 |    96467    87301    134 |  0.000 % |
248.32/248.55	c |    376388 |    1000    20000   100000 |    96467    89352    134 |  0.000 % |
249.91/250.11	c |    378641 |    1000    20000   100000 |    96467    91605    134 |  0.000 % |
251.72/251.94	c |    381122 |    1000    20000   100000 |    92967    83410    134 |  0.000 % |
253.51/253.78	c |    383847 |    1000    20000   100000 |    92967    86135    134 |  0.000 % |
255.61/255.88	c |    386847 |    1000    20000   100000 |    92967    89135    134 |  0.000 % |
258.01/258.24	c |    390143 |    1000    20000   100000 |    92289    92431    135 |  0.000 % |
260.51/260.79	c |    393769 |    1000    20000   100000 |    92289    86565    135 |  0.000 % |
260.61/260.87	c |    393871 |    1000    20000   100000 |    92289    86667    135 |  0.000 % |
260.71/260.96	c |    393981 |    1000    20000   100000 |    92289    86777    135 |  0.000 % |
260.81/261.07	c |    394103 |    1000    20000   100000 |    92289    86899    135 |  0.000 % |
260.91/261.16	c |    394236 |    1000    20000   100000 |    92289    87032    135 |  0.000 % |
261.01/261.28	c |    394385 |    1000    20000   100000 |    92289    87181    134 |  0.000 % |
261.21/261.41	c |    394546 |    1000    20000   100000 |    92289    87342    134 |  0.000 % |
261.31/261.56	c |    394724 |    1000    20000   100000 |    92289    87520    134 |  0.000 % |
261.51/261.71	c |    394917 |    1000    20000   100000 |    92289    87713    134 |  0.000 % |
261.61/261.89	c |    395130 |    1000    20000   100000 |    92289    87926    134 |  0.000 % |
261.81/262.06	c |    395363 |    1000    20000   100000 |    92289    88159    134 |  0.000 % |
262.01/262.26	c |    395620 |    1000    20000   100000 |    92289    88416    134 |  0.000 % |
262.21/262.49	c |    395901 |    1000    20000   100000 |    92289    88697    134 |  0.000 % |
262.51/262.72	c |    396210 |    1000    20000   100000 |    92289    89006    134 |  0.000 % |
262.71/262.98	c |    396549 |    1000    20000   100000 |    92289    89345    134 |  0.000 % |
263.11/263.33	c |    396922 |    1000    20000   100000 |    92289    89718    134 |  0.000 % |
263.41/263.65	c |    397331 |    1000    20000   100000 |    92289    90127    134 |  0.000 % |
263.81/264.01	c |    397780 |    1000    20000   100000 |    92289    90576    134 |  0.000 % |
264.21/264.41	c |    398274 |    1000    20000   100000 |    92289    91070    134 |  0.000 % |
264.61/264.84	c |    398818 |    1000    20000   100000 |    92289    91614    134 |  0.000 % |
265.01/265.30	c |    399414 |    1000    20000   100000 |    92289    92210    134 |  0.000 % |
265.61/265.80	c |    400069 |    1000    20000   100000 |    82484    82552    134 |  0.000 % |
266.11/266.37	c |    400789 |    1000    20000   100000 |    82484    74186    135 |  0.000 % |
266.71/266.93	c |    401584 |    1000    20000   100000 |    82484    74981    135 |  0.000 % |
267.31/267.56	c |    402456 |    1000    20000   100000 |    82484    75853    134 |  0.000 % |
268.00/268.22	c |    403416 |    1000    20000   100000 |    82484    76813    134 |  0.000 % |
268.70/268.96	c |    404470 |    1000    20000   100000 |    82484    77867    134 |  0.000 % |
269.50/269.71	c |    405628 |    1000    20000   100000 |    82484    79025    135 |  0.000 % |
270.30/270.53	c |    406902 |    1000    20000   100000 |    82484    80299    135 |  0.000 % |
271.30/271.50	c |    408302 |    1000    20000   100000 |    82484    81699    135 |  0.000 % |
272.40/272.65	c |    409843 |    1000    20000   100000 |    82484    74958    135 |  0.000 % |
273.50/273.76	c |    411539 |    1000    20000   100000 | 2147483647    76654    135 |  0.000 % |
274.80/275.02	c |    413402 |    1000    20000   100000 | 2147483647    78517    135 |  0.000 % |
276.20/276.46	c |    415451 |    1000    20000   100000 | 2147483647    80566    135 |  0.000 % |
277.70/277.98	c |    417704 |    1000    20000   100000 | 2147483647    82819    136 |  0.000 % |
279.50/279.73	c |    420182 |    1000    20000   100000 | 2147483647    85297    136 |  0.000 % |
281.50/281.73	c |    422907 |    1000    20000   100000 | 2147483647    88022    136 |  0.000 % |
283.80/284.01	c |    425904 |    1000    20000   100000 | 2147483647    91019    136 |  0.000 % |
286.20/286.46	c |    429201 |    1000    20000   100000 | 2147483647    94316    136 |  0.000 % |
288.80/289.08	c |    432828 |    1000    20000   100000 |    95115    86792    136 |  0.000 % |
291.70/291.91	c |    436817 |    1000    20000   100000 |    95115    90781    136 |  0.000 % |
291.70/291.99	c |    436917 |    1000    20000   100000 |    95115    90881    136 |  0.000 % |
291.79/292.09	c |    437027 |    1000    20000   100000 |    95115    90991    136 |  0.000 % |
291.99/292.23	c |    437149 |    1000    20000   100000 |    95115    91113    136 |  0.000 % |
292.09/292.34	c |    437282 |    1000    20000   100000 |    95115    91246    136 |  0.000 % |
292.19/292.46	c |    437428 |    1000    20000   100000 |    95115    91392    136 |  0.000 % |
292.40/292.61	c |    437589 |    1000    20000   100000 |    95115    91553    136 |  0.000 % |
292.49/292.78	c |    437765 |    1000    20000   100000 |    95115    91729    136 |  0.000 % |
292.69/292.93	c |    437958 |    1000    20000   100000 |    95115    91922    136 |  0.000 % |
292.89/293.10	c |    438170 |    1000    20000   100000 |    95115    92134    136 |  0.000 % |
292.99/293.29	c |    438404 |    1000    20000   100000 |    95115    92368    136 |  0.000 % |
293.29/293.51	c |    438660 |    1000    20000   100000 |    95115    92624    136 |  0.000 % |
293.50/293.75	c |    438943 |    1000    20000   100000 |    95115    92907    136 |  0.000 % |
293.79/294.00	c |    439252 |    1000    20000   100000 |    95115    93216    136 |  0.000 % |
293.99/294.28	c |    439592 |    1000    20000   100000 |    95115    93556    136 |  0.000 % |
294.39/294.62	c |    439964 |    1000    20000   100000 |    95115    93928    136 |  0.000 % |
294.79/295.05	c |    440373 |    1000    20000   100000 |    93966    82059    136 |  0.000 % |
295.09/295.39	c |    440822 |    1000    20000   100000 |    93966    82508    136 |  0.000 % |
295.49/295.77	c |    441315 |    1000    20000   100000 |    93966    83001    136 |  0.000 % |
295.89/296.15	c |    441859 |    1000    20000   100000 |    93966    83545    136 |  0.000 % |
296.29/296.57	c |    442455 |    1000    20000   100000 |    93966    84141    136 |  0.000 % |
296.79/297.03	c |    443110 |    1000    20000   100000 |    93966    84796    136 |  0.000 % |
297.29/297.56	c |    443830 |    1000    20000   100000 |    93966    85516    136 |  0.000 % |
297.89/298.13	c |    444623 |    1000    20000   100000 |    93966    86309    136 |  0.000 % |
298.59/298.80	c |    445494 |    1000    20000   100000 |    93966    87180    136 |  0.000 % |
299.29/299.53	c |    446452 |    1000    20000   100000 |    93966    88138    136 |  0.000 % |
299.99/300.30	c |    447506 |    1000    20000   100000 |    93966    89192    136 |  0.000 % |
300.99/301.22	c |    448664 |    1000    20000   100000 |    93966    90350    136 |  0.000 % |
301.89/302.12	c |    449938 |    1000    20000   100000 |    93966    91624    135 |  0.000 % |
302.89/303.14	c |    451338 |    1000    20000   100000 |    91686    81932    136 |  0.000 % |
303.89/304.18	c |    452878 |    1000    20000   100000 |    91686    83472    136 |  0.000 % |
305.09/305.31	c |    454574 |    1000    20000   100000 |    91686    85168    136 |  0.000 % |
306.39/306.62	c |    456439 |    1000    20000   100000 |    91686    87033    136 |  0.000 % |
307.79/308.07	c |    458488 |    1000    20000   100000 |    91686    89082    136 |  0.000 % |
309.28/309.58	c |    460742 |    1000    20000   100000 |    90596    81456    136 |  0.000 % |
311.09/311.30	c |    463222 |    1000    20000   100000 |    90596    83936    136 |  0.000 % |
312.98/313.23	c |    465947 |    1000    20000   100000 |    90596    86661    136 |  0.000 % |
315.08/315.37	c |    468945 |    1000    20000   100000 |    90596    89659    136 |  0.000 % |
317.47/317.77	c |    472242 |    1000    20000   100000 | 2147483647    92956    136 |  0.000 % |
320.17/320.44	c |    475867 |    1000    20000   100000 | 2147483647    96581    137 |  0.000 % |
323.27/323.55	c |    479854 |    1000    20000   100000 | 2147483647   100568    137 |  0.000 % |
326.57/326.83	c |    484239 |    1000    20000   100000 |   100715    91740    137 |  0.000 % |
326.67/326.91	c |    484341 |    1000    20000   100000 |   100715    91842    137 |  0.000 % |
326.77/327.00	c |    484452 |    1000    20000   100000 |   100715    91953    137 |  0.000 % |
326.87/327.11	c |    484573 |    1000    20000   100000 |   100715    92074    137 |  0.000 % |
326.97/327.25	c |    484706 |    1000    20000   100000 |   100715    92207    137 |  0.000 % |
327.07/327.38	c |    484854 |    1000    20000   100000 |   100715    92355    137 |  0.000 % |
327.27/327.52	c |    485015 |    1000    20000   100000 |   100715    92516    137 |  0.000 % |
327.37/327.70	c |    485191 |    1000    20000   100000 |   100715    92692    137 |  0.000 % |
327.57/327.86	c |    485384 |    1000    20000   100000 |   100715    92885    137 |  0.000 % |
327.77/328.04	c |    485596 |    1000    20000   100000 |   100715    93097    137 |  0.000 % |
327.97/328.25	c |    485829 |    1000    20000   100000 |   100715    93330    137 |  0.000 % |
328.17/328.46	c |    486085 |    1000    20000   100000 |   100715    93586    137 |  0.000 % |
328.47/328.72	c |    486366 |    1000    20000   100000 |   100715    93867    137 |  0.000 % |
328.67/328.99	c |    486677 |    1000    20000   100000 |   100715    94178    136 |  0.000 % |
328.97/329.26	c |    487016 |    1000    20000   100000 |   100715    94517    136 |  0.000 % |
329.27/329.59	c |    487388 |    1000    20000   100000 |   100715    94889    136 |  0.000 % |
329.67/329.97	c |    487797 |    1000    20000   100000 |   100715    95298    136 |  0.000 % |
330.07/330.33	c |    488246 |    1000    20000   100000 |   100715    95747    136 |  0.000 % |
330.46/330.73	c |    488741 |    1000    20000   100000 |   100715    96242    136 |  0.000 % |
330.87/331.17	c |    489283 |    1000    20000   100000 |   100715    96784    136 |  0.000 % |
331.36/331.66	c |    489881 |    1000    20000   100000 |   100715    97382    136 |  0.000 % |
331.97/332.27	c |    490536 |    1000    20000   100000 |    97502    83965    137 |  0.000 % |
332.56/332.80	c |    491257 |    1000    20000   100000 |    97502    84686    137 |  0.000 % |
333.07/333.38	c |    492049 |    1000    20000   100000 |    97502    85478    137 |  0.000 % |
333.76/334.02	c |    492920 |    1000    20000   100000 |    97502    86349    137 |  0.000 % |
334.46/334.71	c |    493880 |    1000    20000   100000 |    97502    87309    137 |  0.000 % |
335.17/335.41	c |    494936 |    1000    20000   100000 |    97502    88365    137 |  0.000 % |
335.96/336.23	c |    496094 |    1000    20000   100000 |    97502    89523    137 |  0.000 % |
336.96/337.22	c |    497367 |    1000    20000   100000 |    97502    90796    137 |  0.000 % |
337.96/338.24	c |    498768 |    1000    20000   100000 |    97502    92197    136 |  0.000 % |
339.06/339.39	c |    500309 |    1000    20000   100000 |    93429    93738    136 |  0.000 % |
340.26/340.56	c |    502005 |    1000    20000   100000 |    93429    83934    136 |  0.000 % |
341.77/342.03	c |    503869 |    1000    20000   100000 |    93429    85798    136 |  0.000 % |
343.26/343.56	c |    505918 |    1000    20000   100000 |    93429    87847    136 |  0.000 % |
345.06/345.31	c |    508171 |    1000    20000   100000 |    93429    90100    136 |  0.000 % |
346.86/347.19	c |    510650 |    1000    20000   100000 |    91929    81731    135 |  0.000 % |
348.76/349.01	c |    513375 |    1000    20000   100000 |    91929    84456    135 |  0.000 % |
350.86/351.18	c |    516374 |    1000    20000   100000 |    91929    87455    135 |  0.000 % |
353.26/353.53	c |    519670 |    1000    20000   100000 |    91929    90751    135 |  0.000 % |
355.86/356.18	c |    523296 |    1000    20000   100000 |    91082    84437    135 |  0.000 % |
358.85/359.16	c |    527285 |    1000    20000   100000 |    91082    88426    136 |  0.000 % |
362.15/362.40	c |    531671 |    1000    20000   100000 |    91141    82948    136 |  0.000 % |
365.55/365.84	c |    536494 |    1000    20000   100000 |    91141    87771    137 |  0.000 % |
365.65/365.92	c |    536594 |    1000    20000   100000 |    91141    87871    137 |  0.000 % |
365.75/366.04	c |    536704 |    1000    20000   100000 |    91141    87981    137 |  0.000 % |
365.85/366.14	c |    536827 |    1000    20000   100000 |    91141    88104    137 |  0.000 % |
365.95/366.26	c |    536961 |    1000    20000   100000 |    91141    88238    137 |  0.000 % |
366.06/366.38	c |    537111 |    1000    20000   100000 |    91141    88388    137 |  0.000 % |
366.25/366.52	c |    537271 |    1000    20000   100000 |    91141    88548    137 |  0.000 % |
366.35/366.67	c |    537449 |    1000    20000   100000 |    91141    88726    137 |  0.000 % |
366.55/366.85	c |    537642 |    1000    20000   100000 |    91141    88919    137 |  0.000 % |
366.75/367.01	c |    537855 |    1000    20000   100000 |    91141    89132    137 |  0.000 % |
366.95/367.21	c |    538090 |    1000    20000   100000 |    91141    89367    137 |  0.000 % |
367.16/367.45	c |    538347 |    1000    20000   100000 |    91141    89624    137 |  0.000 % |
367.35/367.66	c |    538630 |    1000    20000   100000 |    91141    89907    137 |  0.000 % |
367.65/367.91	c |    538939 |    1000    20000   100000 |    91141    90216    137 |  0.000 % |
367.85/368.19	c |    539279 |    1000    20000   100000 |    91141    90556    136 |  0.000 % |
368.15/368.49	c |    539651 |    1000    20000   100000 |    91141    90928    136 |  0.000 % |
368.55/368.82	c |    540060 |    1000    20000   100000 |    91277    91337    136 |  0.000 % |
368.95/369.23	c |    540510 |    1000    20000   100000 |    91277    81765    136 |  0.000 % |
369.25/369.59	c |    541003 |    1000    20000   100000 |    91277    82258    136 |  0.000 % |
369.75/370.01	c |    541547 |    1000    20000   100000 |    91277    82802    136 |  0.000 % |
370.15/370.42	c |    542143 |    1000    20000   100000 |    91277    83398    136 |  0.000 % |
370.55/370.88	c |    542798 |    1000    20000   100000 |    91277    84053    136 |  0.000 % |
371.05/371.37	c |    543518 |    1000    20000   100000 |    91277    84773    136 |  0.000 % |
371.66/371.97	c |    544312 |    1000    20000   100000 |    91277    85567    136 |  0.000 % |
372.36/372.61	c |    545183 |    1000    20000   100000 |    91277    86438    136 |  0.000 % |
373.06/373.33	c |    546144 |    1000    20000   100000 |    91277    87399    136 |  0.000 % |
373.76/374.09	c |    547197 |    1000    20000   100000 |    91277    88452    136 |  0.000 % |
374.66/374.95	c |    548355 |    1000    20000   100000 |    91277    89610    136 |  0.000 % |
375.66/375.92	c |    549628 |    1000    20000   100000 |    91277    90883    136 |  0.000 % |
376.76/377.03	c |    551029 |    1000    20000   100000 |    91258    81389    136 |  0.000 % |
377.85/378.15	c |    552570 |    1000    20000   100000 |    91258    82930    135 |  0.000 % |
379.05/379.35	c |    554267 |    1000    20000   100000 |    91258    84627    136 |  0.000 % |
380.36/380.68	c |    556131 |    1000    20000   100000 |    91258    86491    136 |  0.000 % |
381.85/382.10	c |    558180 |    1000    20000   100000 |    91258    88540    136 |  0.000 % |
383.45/383.77	c |    560433 |    1000    20000   100000 |    90360    81351    135 |  0.000 % |
385.15/385.46	c |    562912 |    1000    20000   100000 |    90360    83830    135 |  0.000 % |
387.15/387.40	c |    565637 |    1000    20000   100000 |    90360    86555    135 |  0.000 % |
389.25/389.57	c |    568635 |    1000    20000   100000 |    90360    89553    135 |  0.000 % |
391.65/391.94	c |    571933 |    1000    20000   100000 | 2147483647    83777    136 |  0.000 % |
394.05/394.40	c |    575558 |    1000    20000   100000 | 2147483647    87402    135 |  0.000 % |
397.15/397.44	c |    579545 |    1000    20000   100000 | 2147483647    91389    136 |  0.000 % |
400.25/400.52	c |    583930 |    1000    20000   100000 |    91844    85392    136 |  0.000 % |
403.64/403.96	c |    588754 |    1000    20000   100000 |    91844    90216    136 |  0.000 % |
407.34/407.65	c |    594061 |    1000    20000   100000 |    91462    85188    137 |  0.000 % |
407.44/407.75	c |    594161 |    1000    20000   100000 |    91462    85288    137 |  0.000 % |
407.54/407.84	c |    594271 |    1000    20000   100000 |    91462    85398    137 |  0.000 % |
407.64/407.94	c |    594393 |    1000    20000   100000 |    91462    85520    137 |  0.000 % |
407.74/408.05	c |    594526 |    1000    20000   100000 |    91462    85653    137 |  0.000 % |
407.84/408.20	c |    594673 |    1000    20000   100000 |    91462    85800    137 |  0.000 % |
408.04/408.33	c |    594837 |    1000    20000   100000 |    91462    85964    137 |  0.000 % |
408.14/408.48	c |    595013 |    1000    20000   100000 |    91462    86140    137 |  0.000 % |
408.34/408.64	c |    595207 |    1000    20000   100000 |    91462    86334    137 |  0.000 % |
408.54/408.82	c |    595419 |    1000    20000   100000 |    91462    86546    137 |  0.000 % |
408.74/409.01	c |    595652 |    1000    20000   100000 |    91462    86779    137 |  0.000 % |
408.94/409.22	c |    595908 |    1000    20000   100000 |    91462    87035    136 |  0.000 % |
409.14/409.44	c |    596189 |    1000    20000   100000 |    91462    87316    136 |  0.000 % |
409.34/409.67	c |    596498 |    1000    20000   100000 |    91462    87625    136 |  0.000 % |
409.64/409.92	c |    596839 |    1000    20000   100000 |    91462    87966    136 |  0.000 % |
409.94/410.21	c |    597212 |    1000    20000   100000 |    91462    88339    136 |  0.000 % |
410.14/410.50	c |    597622 |    1000    20000   100000 |    91462    88749    136 |  0.000 % |
410.54/410.85	c |    598071 |    1000    20000   100000 |    91462    89198    136 |  0.000 % |
410.94/411.27	c |    598564 |    1000    20000   100000 |    91462    89691    136 |  0.000 % |
411.44/411.73	c |    599107 |    1000    20000   100000 |    91462    90234    136 |  0.000 % |
411.84/412.18	c |    599703 |    1000    20000   100000 |    91462    90830    136 |  0.000 % |
412.44/412.71	c |    600358 |    1000    20000   100000 |    91127    91485    136 |  0.000 % |
412.94/413.24	c |    601078 |    1000    20000   100000 |    91127    81133    136 |  0.000 % |
413.54/413.82	c |    601872 |    1000    20000   100000 |    91127    81927    136 |  0.000 % |
414.14/414.45	c |    602744 |    1000    20000   100000 |    91127    82799    136 |  0.000 % |
414.84/415.17	c |    603703 |    1000    20000   100000 |    91127    83758    136 |  0.000 % |
415.64/415.94	c |    604756 |    1000    20000   100000 |    91127    84811    136 |  0.000 % |
416.44/416.79	c |    605914 |    1000    20000   100000 |    91127    85969    136 |  0.000 % |
417.34/417.64	c |    607190 |    1000    20000   100000 |    91127    87245    136 |  0.000 % |
418.34/418.68	c |    608591 |    1000    20000   100000 |    91127    88646    136 |  0.000 % |
419.64/419.90	c |    610131 |    1000    20000   100000 |    90056    90186    136 |  0.000 % |
420.74/421.07	c |    611825 |    1000    20000   100000 |    90056    82044    135 |  0.000 % |
422.14/422.41	c |    613689 |    1000    20000   100000 |    90056    83908    136 |  0.000 % |
423.63/423.90	c |    615741 |    1000    20000   100000 |    90056    85960    136 |  0.000 % |
425.13/425.48	c |    617994 |    1000    20000   100000 |    90056    88213    136 |  0.000 % |
427.03/427.30	c |    620472 |    1000    20000   100000 |    90219    81288    136 |  0.000 % |
428.83/429.16	c |    623197 |    1000    20000   100000 |    90219    84013    136 |  0.000 % |
430.94/431.26	c |    626196 |    1000    20000   100000 |    90219    87012    136 |  0.000 % |
433.33/433.65	c |    629492 |    1000    20000   100000 |    90219    90308    136 |  0.000 % |
435.93/436.25	c |    633119 |    1000    20000   100000 | 2147483647    84905    137 |  0.000 % |
438.73/439.06	c |    637108 |    1000    20000   100000 | 2147483647    88894    137 |  0.000 % |
442.13/442.44	c |    641493 |    1000    20000   100000 | 2147483647    93279    137 |  0.000 % |
446.13/446.42	c |    646316 |    1000    20000   100000 | 2147483647    98102    137 |  0.000 % |
450.52/450.82	c |    651621 |    1000    20000   100000 |   101787    89590    137 |  0.000 % |
455.12/455.46	c |    657456 |    1000    20000   100000 |   101787    95425    138 |  0.000 % |
455.22/455.55	c |    657556 |    1000    20000   100000 |   101787    95525    138 |  0.000 % |
455.32/455.69	c |    657667 |    1000    20000   100000 |   101787    95636    138 |  0.000 % |
455.42/455.80	c |    657789 |    1000    20000   100000 |   101787    95758    138 |  0.000 % |
455.62/455.93	c |    657923 |    1000    20000   100000 |   101787    95892    138 |  0.000 % |
455.72/456.08	c |    658069 |    1000    20000   100000 |   101787    96038    138 |  0.000 % |
455.92/456.24	c |    658230 |    1000    20000   100000 |   101787    96199    138 |  0.000 % |
456.12/456.40	c |    658406 |    1000    20000   100000 |   101787    96375    138 |  0.000 % |
456.22/456.58	c |    658599 |    1000    20000   100000 |   101787    96568    138 |  0.000 % |
456.42/456.78	c |    658812 |    1000    20000   100000 |   101787    96781    138 |  0.000 % |
456.62/456.99	c |    659048 |    1000    20000   100000 |   101787    97017    138 |  0.000 % |
456.91/457.24	c |    659304 |    1000    20000   100000 |   101787    97273    138 |  0.000 % |
457.11/457.48	c |    659587 |    1000    20000   100000 |   101787    97556    138 |  0.000 % |
457.41/457.78	c |    659897 |    1000    20000   100000 |   101787    97866    137 |  0.000 % |
457.71/458.09	c |    660236 |    1000    20000   100000 |    97970    98205    137 |  0.000 % |
458.11/458.46	c |    660611 |    1000    20000   100000 |    97970    84678    138 |  0.000 % |
458.42/458.78	c |    661023 |    1000    20000   100000 |    97970    85090    137 |  0.000 % |
458.81/459.15	c |    661472 |    1000    20000   100000 |    97970    85539    137 |  0.000 % |
459.21/459.52	c |    661965 |    1000    20000   100000 |    97970    86032    137 |  0.000 % |
459.61/459.91	c |    662508 |    1000    20000   100000 |    97970    86575    137 |  0.000 % |
460.01/460.39	c |    663104 |    1000    20000   100000 |    97970    87171    137 |  0.000 % |
460.52/460.90	c |    663761 |    1000    20000   100000 |    97970    87828    137 |  0.000 % |
461.11/461.42	c |    664482 |    1000    20000   100000 |    97970    88549    137 |  0.000 % |
461.71/462.03	c |    665275 |    1000    20000   100000 |    97970    89342    137 |  0.000 % |
462.31/462.66	c |    666146 |    1000    20000   100000 |    97970    90213    137 |  0.000 % |
463.01/463.36	c |    667104 |    1000    20000   100000 |    97970    91171    137 |  0.000 % |
463.81/464.13	c |    668157 |    1000    20000   100000 |    97970    92224    137 |  0.000 % |
464.71/465.05	c |    669315 |    1000    20000   100000 |    97970    93382    137 |  0.000 % |
465.81/466.14	c |    670589 |    1000    20000   100000 |    94067    82936    137 |  0.000 % |
466.81/467.15	c |    671989 |    1000    20000   100000 |    94067    84336    137 |  0.000 % |
467.91/468.24	c |    673529 |    1000    20000   100000 |    94067    85876    137 |  0.000 % |
469.11/469.47	c |    675224 |    1000    20000   100000 |    94067    87571    137 |  0.000 % |
470.51/470.83	c |    677087 |    1000    20000   100000 |    94067    89434    137 |  0.000 % |
472.11/472.41	c |    679136 |    1000    20000   100000 |    94067    91483    137 |  0.000 % |
473.71/474.02	c |    681389 |    1000    20000   100000 |    92348    82753    137 |  0.000 % |
475.31/475.68	c |    683867 |    1000    20000   100000 |    92348    85231    137 |  0.000 % |
477.21/477.55	c |    686595 |    1000    20000   100000 |    92348    87959    137 |  0.000 % |
479.61/479.92	c |    689592 |    1000    20000   100000 |    92348    90956    137 |  0.000 % |
481.90/482.29	c |    692888 |    1000    20000   100000 |    91365    84217    138 |  0.000 % |
484.50/484.88	c |    696515 |    1000    20000   100000 |    91365    87844    138 |  0.000 % |
487.50/487.88	c |    700503 |    1000    20000   100000 |    91329    81790    138 |  0.000 % |
490.40/490.71	c |    704889 |    1000    20000   100000 |    91329    86176    138 |  0.000 % |
493.99/494.35	c |    709712 |    1000    20000   100000 |    91329    90999    138 |  0.000 % |
498.00/498.32	c |    715018 |    1000    20000   100000 |    91288    85396    138 |  0.000 % |
502.30/502.66	c |    720853 |    1000    20000   100000 |    90378    80723    138 |  0.000 % |
506.79/507.11	c |    727277 |    1000    20000   100000 |    90378    87147    138 |  0.000 % |
506.79/507.19	c |    727377 |    1000    20000   100000 |    90378    87247    138 |  0.000 % |
506.89/507.28	c |    727488 |    1000    20000   100000 |    90378    87358    138 |  0.000 % |
506.99/507.39	c |    727609 |    1000    20000   100000 |    90378    87479    138 |  0.000 % |
507.09/507.49	c |    727742 |    1000    20000   100000 |    90378    87612    138 |  0.000 % |
507.29/507.60	c |    727889 |    1000    20000   100000 |    90378    87759    138 |  0.000 % |
507.39/507.73	c |    728049 |    1000    20000   100000 |    90378    87919    138 |  0.000 % |
507.59/507.91	c |    728225 |    1000    20000   100000 |    90378    88095    138 |  0.000 % |
507.69/508.07	c |    728419 |    1000    20000   100000 |    90378    88289    138 |  0.000 % |
507.89/508.27	c |    728631 |    1000    20000   100000 |    90378    88501    138 |  0.000 % |
508.09/508.47	c |    728866 |    1000    20000   100000 |    90378    88736    138 |  0.000 % |
508.29/508.69	c |    729123 |    1000    20000   100000 |    90378    88993    138 |  0.000 % |
508.49/508.89	c |    729406 |    1000    20000   100000 |    90378    89276    138 |  0.000 % |
508.79/509.13	c |    729715 |    1000    20000   100000 |    90378    89585    138 |  0.000 % |
508.99/509.39	c |    730054 |    1000    20000   100000 |    89871    89924    138 |  0.000 % |
509.39/509.75	c |    730426 |    1000    20000   100000 |    89871    80559    138 |  0.000 % |
509.69/510.04	c |    730837 |    1000    20000   100000 |    89871    80970    138 |  0.000 % |
509.99/510.39	c |    731287 |    1000    20000   100000 |    89871    81420    138 |  0.000 % |
510.39/510.76	c |    731782 |    1000    20000   100000 |    89871    81915    138 |  0.000 % |
510.79/511.16	c |    732324 |    1000    20000   100000 |    89871    82457    137 |  0.000 % |
511.19/511.59	c |    732920 |    1000    20000   100000 |    89871    83053    137 |  0.000 % |
511.69/512.07	c |    733575 |    1000    20000   100000 |    89871    83708    137 |  0.000 % |
512.29/512.66	c |    734295 |    1000    20000   100000 |    89871    84428    137 |  0.000 % |
512.89/513.26	c |    735087 |    1000    20000   100000 |    89871    85220    137 |  0.000 % |
513.59/513.96	c |    735960 |    1000    20000   100000 |    89871    86093    137 |  0.000 % |
514.39/514.74	c |    736920 |    1000    20000   100000 |    89871    87053    137 |  0.000 % |
515.19/515.58	c |    737973 |    1000    20000   100000 |    89871    88106    137 |  0.000 % |
516.19/516.51	c |    739132 |    1000    20000   100000 |    89871    89265    137 |  0.000 % |
517.29/517.60	c |    740405 |    1000    20000   100000 |    90133    80151    137 |  0.000 % |
518.19/518.55	c |    741809 |    1000    20000   100000 |    90133    81555    137 |  0.000 % |
519.29/519.60	c |    743351 |    1000    20000   100000 |    90133    83097    137 |  0.000 % |
520.49/520.83	c |    745045 |    1000    20000   100000 |    90133    84791    137 |  0.000 % |
521.99/522.35	c |    746909 |    1000    20000   100000 |    90133    86655    137 |  0.000 % |
523.58/523.92	c |    748959 |    1000    20000   100000 |    90133    88705    137 |  0.000 % |
525.28/525.69	c |    751213 |    1000    20000   100000 |    89747    81152    138 |  0.000 % |
526.98/527.38	c |    753692 |    1000    20000   100000 |    89747    83631    138 |  0.000 % |
528.98/529.32	c |    756417 |    1000    20000   100000 |    89747    86356    138 |  0.000 % |
531.28/531.61	c |    759414 |    1000    20000   100000 |    89747    89353    138 |  0.000 % |
533.68/534.01	c |    762710 |    1000    20000   100000 |    89940    83217    138 |  0.000 % |
536.38/536.71	c |    766336 |    1000    20000   100000 |    89940    86843    138 |  0.000 % |
539.28/539.64	c |    770324 |    1000    20000   100000 |    81236    81558    138 |  0.000 % |
542.17/542.57	c |    774710 |    1000    20000   100000 |    81236    77738    138 |  0.000 % |
545.37/545.71	c |    779533 |    1000    20000   100000 |    81236    74401    138 |  0.000 % |
548.67/549.07	c |    784839 |    1000    20000   100000 | 2147483647    79707    139 |  0.000 % |
552.67/553.04	c |    790674 |    1000    20000   100000 | 2147483647    85542    139 |  0.000 % |
557.37/557.75	c |    797092 |    1000    20000   100000 | 2147483647    91960    139 |  0.000 % |
562.67/563.00	c |    804151 |    1000    20000   100000 |    94868    89086    140 |  0.000 % |
562.67/563.09	c |    804252 |    1000    20000   100000 |    94868    89187    139 |  0.000 % |
562.77/563.18	c |    804364 |    1000    20000   100000 |    94868    89299    139 |  0.000 % |
562.87/563.29	c |    804486 |    1000    20000   100000 |    94868    89421    139 |  0.000 % |
562.97/563.39	c |    804619 |    1000    20000   100000 |    94868    89554    139 |  0.000 % |
563.17/563.50	c |    804767 |    1000    20000   100000 |    94868    89702    139 |  0.000 % |
563.27/563.65	c |    804928 |    1000    20000   100000 |    94868    89863    139 |  0.000 % |
563.47/563.82	c |    805107 |    1000    20000   100000 |    94868    90042    139 |  0.000 % |
563.57/563.97	c |    805300 |    1000    20000   100000 |    94868    90235    139 |  0.000 % |
563.77/564.16	c |    805512 |    1000    20000   100000 |    94868    90447    139 |  0.000 % |
563.97/564.39	c |    805745 |    1000    20000   100000 |    94868    90680    139 |  0.000 % |
564.17/564.59	c |    806001 |    1000    20000   100000 |    94868    90936    139 |  0.000 % |
564.47/564.87	c |    806285 |    1000    20000   100000 |    94868    91220    139 |  0.000 % |
564.77/565.11	c |    806594 |    1000    20000   100000 |    94868    91529    139 |  0.000 % |
564.97/565.40	c |    806934 |    1000    20000   100000 |    94868    91869    139 |  0.000 % |
565.37/565.72	c |    807306 |    1000    20000   100000 |    94868    92241    139 |  0.000 % |
565.67/566.08	c |    807717 |    1000    20000   100000 |    94868    92652    139 |  0.000 % |
566.07/566.43	c |    808166 |    1000    20000   100000 |    94868    93101    139 |  0.000 % |
566.47/566.82	c |    808659 |    1000    20000   100000 |    94868    93594    139 |  0.000 % |
566.87/567.24	c |    809201 |    1000    20000   100000 |    94868    94136    139 |  0.000 % |
567.37/567.70	c |    809797 |    1000    20000   100000 |    94868    94732    139 |  0.000 % |
567.87/568.29	c |    810453 |    1000    20000   100000 |    94935    83651    138 |  0.000 % |
568.37/568.78	c |    811176 |    1000    20000   100000 |    94935    84374    138 |  0.000 % |
568.97/569.37	c |    811968 |    1000    20000   100000 |    94935    85166    138 |  0.000 % |
569.56/569.96	c |    812842 |    1000    20000   100000 |    94935    86040    138 |  0.000 % |
570.26/570.68	c |    813802 |    1000    20000   100000 |    94935    87000    138 |  0.000 % |
571.06/571.42	c |    814857 |    1000    20000   100000 |    94935    88055    138 |  0.000 % |
571.86/572.22	c |    816015 |    1000    20000   100000 |    94935    89213    138 |  0.000 % |
572.86/573.24	c |    817288 |    1000    20000   100000 |    94935    90486    138 |  0.000 % |
573.96/574.33	c |    818690 |    1000    20000   100000 |    94935    91888    138 |  0.000 % |
575.16/575.59	c |    820231 |    1000    20000   100000 |    93198    93429    138 |  0.000 % |
576.56/576.93	c |    821925 |    1000    20000   100000 |    93198    84461    140 |  0.000 % |
577.86/578.28	c |    823789 |    1000    20000   100000 |    93198    86325    139 |  0.000 % |
579.46/579.83	c |    825838 |    1000    20000   100000 |    93198    88374    139 |  0.000 % |
581.16/581.51	c |    828091 |    1000    20000   100000 |    93198    90627    139 |  0.000 % |
583.06/583.41	c |    830571 |    1000    20000   100000 |    92536    82112    139 |  0.000 % |
584.96/585.36	c |    833296 |    1000    20000   100000 |    92536    84837    139 |  0.000 % |
587.16/587.51	c |    836294 |    1000    20000   100000 |    92536    87835    139 |  0.000 % |
589.56/589.94	c |    839591 |    1000    20000   100000 |    92536    91132    139 |  0.000 % |
592.46/592.82	c |    843218 |    1000    20000   100000 |    91541    84271    138 |  0.000 % |
595.25/595.69	c |    847205 |    1000    20000   100000 |    91541    88258    138 |  0.000 % |
598.65/599.05	c |    851590 |    1000    20000   100000 |    91053    81684    139 |  0.000 % |
602.05/602.47	c |    856413 |    1000    20000   100000 |    91053    86507    139 |  0.000 % |
606.05/606.48	c |    861718 |    1000    20000   100000 |    90095    82076    139 |  0.000 % |
610.35/610.74	c |    867553 |    1000    20000   100000 |    90095    87911    140 |  0.000 % |
615.15/615.58	c |    873971 |    1000    20000   100000 |    90360    84286    139 |  0.000 % |
620.65/621.03	c |    881030 |    1000    20000   100000 |    90315    79515    140 |  0.000 % |
625.94/626.39	c |    888796 |    1000    20000   100000 |    90315    87281    139 |  0.000 % |
626.04/626.47	c |    888896 |    1000    20000   100000 |    90315    87381    139 |  0.000 % |
626.14/626.56	c |    889006 |    1000    20000   100000 |    90315    87491    139 |  0.000 % |
626.24/626.67	c |    889127 |    1000    20000   100000 |    90315    87612    139 |  0.000 % |
626.34/626.78	c |    889260 |    1000    20000   100000 |    90315    87745    139 |  0.000 % |
626.55/626.91	c |    889406 |    1000    20000   100000 |    90315    87891    139 |  0.000 % |
626.65/627.04	c |    889566 |    1000    20000   100000 |    90315    88051    139 |  0.000 % |
626.84/627.22	c |    889742 |    1000    20000   100000 |    90315    88227    139 |  0.000 % |
626.94/627.39	c |    889935 |    1000    20000   100000 |    90315    88420    139 |  0.000 % |
627.14/627.57	c |    890147 |    1000    20000   100000 |    88486    88632    139 |  0.000 % |
627.34/627.77	c |    890380 |    1000    20000   100000 |    88486    77961    140 |  0.000 % |
627.54/627.94	c |    890637 |    1000    20000   100000 |    88486    78218    140 |  0.000 % |
627.74/628.13	c |    890919 |    1000    20000   100000 |    88486    78500    140 |  0.000 % |
627.94/628.34	c |    891228 |    1000    20000   100000 |    88486    78809    140 |  0.000 % |
628.14/628.57	c |    891567 |    1000    20000   100000 |    88486    79148    140 |  0.000 % |
628.44/628.87	c |    891939 |    1000    20000   100000 |    88486    79520    140 |  0.000 % |
628.74/629.15	c |    892348 |    1000    20000   100000 |    88486    79929    140 |  0.000 % |
629.04/629.49	c |    892797 |    1000    20000   100000 |    88486    80378    140 |  0.000 % |
629.44/629.85	c |    893290 |    1000    20000   100000 |    88486    80871    140 |  0.000 % |
629.84/630.24	c |    893833 |    1000    20000   100000 |    88486    81414    140 |  0.000 % |
630.24/630.66	c |    894430 |    1000    20000   100000 |    88486    82011    139 |  0.000 % |
630.74/631.13	c |    895085 |    1000    20000   100000 |    88486    82666    139 |  0.000 % |
631.34/631.76	c |    895805 |    1000    20000   100000 |    88486    83386    139 |  0.000 % |
631.94/632.34	c |    896598 |    1000    20000   100000 |    88486    84179    139 |  0.000 % |
632.64/633.03	c |    897469 |    1000    20000   100000 |    88486    85050    139 |  0.000 % |
633.34/633.75	c |    898430 |    1000    20000   100000 |    88486    86011    139 |  0.000 % |
634.24/634.60	c |    899483 |    1000    20000   100000 |    88486    87064    139 |  0.000 % |
635.14/635.54	c |    900642 |    1000    20000   100000 |    87582    78372    139 |  0.000 % |
636.04/636.47	c |    901916 |    1000    20000   100000 |    87582    79646    139 |  0.000 % |
637.04/637.49	c |    903316 |    1000    20000   100000 |    87582    81046    138 |  0.000 % |
638.14/638.57	c |    904857 |    1000    20000   100000 |    87582    82587    138 |  0.000 % |
639.33/639.74	c |    906552 |    1000    20000   100000 |    87582    84282    138 |  0.000 % |
640.73/641.19	c |    908416 |    1000    20000   100000 |    87582    86146    138 |  0.000 % |
642.43/642.81	c |    910465 |    1000    20000   100000 |    87730    79079    139 |  0.000 % |
643.83/644.28	c |    912718 |    1000    20000   100000 |    87730    81332    139 |  0.000 % |
645.63/646.02	c |    915198 |    1000    20000   100000 |    87730    83812    139 |  0.000 % |
647.54/647.91	c |    917924 |    1000    20000   100000 |    87730    86538    139 |  0.000 % |
649.64/650.07	c |    920921 |    1000    20000   100000 | 2147483647    80729    138 |  0.000 % |
651.93/652.38	c |    924217 |    1000    20000   100000 | 2147483647    84025    139 |  0.000 % |
654.53/654.97	c |    927842 |    1000    20000   100000 | 2147483647    87650    139 |  0.000 % |
657.43/657.86	c |    931830 |    1000    20000   100000 | 2147483647    91638    139 |  0.000 % |
660.83/661.28	c |    936217 |    1000    20000   100000 | 2147483647    96025    139 |  0.000 % |
664.72/665.10	c |    941040 |    1000    20000   100000 |    99808    87945    139 |  0.000 % |
668.92/669.35	c |    946346 |    1000    20000   100000 |    99808    93251    139 |  0.000 % |
673.41/673.81	c |    952181 |    1000    20000   100000 |    96905    84834    138 |  0.000 % |
678.22/678.61	c |    958599 |    1000    20000   100000 |    96905    91252    138 |  0.000 % |
683.11/683.55	c |    965659 |    1000    20000   100000 |    92653    86746    137 |  0.000 % |
688.61/689.07	c |    973424 |    1000    20000   100000 |    91088    83518    138 |  0.000 % |
694.81/695.26	c |    981966 |    1000    20000   100000 |    90095    82275    140 |  0.000 % |
694.91/695.34	c |    982066 |    1000    20000   100000 |    90095    82375    140 |  0.000 % |
695.01/695.45	c |    982177 |    1000    20000   100000 |    90095    82486    140 |  0.000 % |
695.11/695.55	c |    982299 |    1000    20000   100000 |    90095    82608    140 |  0.000 % |
695.21/695.65	c |    982432 |    1000    20000   100000 |    90095    82741    140 |  0.000 % |
695.31/695.77	c |    982580 |    1000    20000   100000 |    90095    82889    140 |  0.000 % |
695.51/695.90	c |    982740 |    1000    20000   100000 |    90095    83049    140 |  0.000 % |
695.61/696.05	c |    982917 |    1000    20000   100000 |    90095    83226    140 |  0.000 % |
695.81/696.22	c |    983111 |    1000    20000   100000 |    90095    83420    140 |  0.000 % |
695.91/696.38	c |    983324 |    1000    20000   100000 |    90095    83633    140 |  0.000 % |
696.11/696.57	c |    983558 |    1000    20000   100000 |    90095    83867    140 |  0.000 % |
696.31/696.78	c |    983814 |    1000    20000   100000 |    90095    84123    140 |  0.000 % |
696.61/697.01	c |    984095 |    1000    20000   100000 |    90095    84404    140 |  0.000 % |
696.81/697.25	c |    984407 |    1000    20000   100000 |    90095    84716    140 |  0.000 % |
697.10/697.52	c |    984747 |    1000    20000   100000 |    90095    85056    140 |  0.000 % |
697.40/697.84	c |    985119 |    1000    20000   100000 |    90095    85428    140 |  0.000 % |
697.70/698.13	c |    985529 |    1000    20000   100000 |    90095    85838    139 |  0.000 % |
698.11/698.51	c |    985979 |    1000    20000   100000 |    90095    86288    139 |  0.000 % |
698.50/698.92	c |    986473 |    1000    20000   100000 |    90095    86782    139 |  0.000 % |
698.90/699.32	c |    987015 |    1000    20000   100000 |    90095    87324    139 |  0.000 % |
699.40/699.81	c |    987611 |    1000    20000   100000 |    90095    87920    139 |  0.000 % |
699.90/700.31	c |    988266 |    1000    20000   100000 |    90095    88575    139 |  0.000 % |
700.40/700.83	c |    988987 |    1000    20000   100000 |    90095    89296    139 |  0.000 % |
701.00/701.45	c |    989780 |    1000    20000   100000 |    90095    90089    139 |  0.000 % |
701.70/702.16	c |    990652 |    1000    20000   100000 |    90313    80076    139 |  0.000 % |
702.40/702.84	c |    991612 |    1000    20000   100000 |    90313    81036    139 |  0.000 % |
703.20/703.61	c |    992667 |    1000    20000   100000 |    90313    82091    139 |  0.000 % |
704.00/704.45	c |    993829 |    1000    20000   100000 |    90313    83253    139 |  0.000 % |
704.90/705.38	c |    995104 |    1000    20000   100000 |    90313    84528    139 |  0.000 % |
705.90/706.34	c |    996505 |    1000    20000   100000 |    90313    85929    139 |  0.000 % |
707.10/707.51	c |    998047 |    1000    20000   100000 |    90313    87471    139 |  0.000 % |
708.40/708.84	c |    999741 |    1000    20000   100000 |    90313    89165    139 |  0.000 % |
709.80/710.23	c |   1001604 |    1000    20000   100000 |    89425    81240    139 |  0.000 % |
711.10/711.58	c |   1003655 |    1000    20000   100000 |    89425    83291    139 |  0.000 % |
712.70/713.17	c |   1005908 |    1000    20000   100000 |    89425    85544    139 |  0.000 % |
714.50/714.97	c |   1008386 |    1000    20000   100000 |    89425    88022    139 |  0.000 % |
716.60/717.08	c |   1011111 |    1000    20000   100000 | 2147483647    90747    139 |  0.000 % |
718.89/719.37	c |   1014108 |    1000    20000   100000 | 2147483647    93744    139 |  0.000 % |
721.49/721.97	c |   1017405 |    1000    20000   100000 | 2147483647    97041    139 |  0.000 % |
724.40/724.84	c |   1021032 |    1000    20000   100000 |    99636    87297    139 |  0.000 % |
727.29/727.77	c |   1025020 |    1000    20000   100000 |    99636    91285    139 |  0.000 % |
730.49/730.99	c |   1029406 |    1000    20000   100000 |    99636    95671    139 |  0.000 % |
733.99/734.40	c |   1034232 |    1000    20000   100000 |    96265    87135    139 |  0.000 % |
737.89/738.38	c |   1039537 |    1000    20000   100000 |    96265    92440    139 |  0.000 % |
742.09/742.58	c |   1045374 |    1000    20000   100000 |    92905    86581    139 |  0.000 % |
746.69/747.16	c |   1051793 |    1000    20000   100000 |    91208    82355    140 |  0.000 % |
751.78/752.26	c |   1058852 |    1000    20000   100000 |    91208    89414    140 |  0.000 % |
757.78/758.28	c |   1066616 |    1000    20000   100000 |    90564    87516    139 |  0.000 % |
764.87/765.39	c |   1075156 |    1000    20000   100000 |    90904    85881    141 |  0.000 % |
772.27/772.77	c |   1084550 |    1000    20000   100000 |    90725    84448    142 |  0.000 % |
772.37/772.87	c |   1084652 |    1000    20000   100000 |    90725    84550    142 |  0.000 % |
772.47/772.96	c |   1084763 |    1000    20000   100000 |    90725    84661    142 |  0.000 % |
772.57/773.06	c |   1084885 |    1000    20000   100000 |    90725    84783    142 |  0.000 % |
772.67/773.16	c |   1085018 |    1000    20000   100000 |    90725    84916    142 |  0.000 % |
772.87/773.32	c |   1085164 |    1000    20000   100000 |    90725    85062    142 |  0.000 % |
772.97/773.46	c |   1085324 |    1000    20000   100000 |    90725    85222    142 |  0.000 % |
773.17/773.62	c |   1085501 |    1000    20000   100000 |    90725    85399    142 |  0.000 % |
773.27/773.79	c |   1085694 |    1000    20000   100000 |    90725    85592    142 |  0.000 % |
773.47/773.96	c |   1085906 |    1000    20000   100000 |    90725    85804    142 |  0.000 % |
773.67/774.16	c |   1086139 |    1000    20000   100000 |    90725    86037    142 |  0.000 % |
773.87/774.36	c |   1086395 |    1000    20000   100000 |    90725    86293    142 |  0.000 % |
774.07/774.57	c |   1086676 |    1000    20000   100000 |    90725    86574    142 |  0.000 % |
774.37/774.82	c |   1086986 |    1000    20000   100000 |    90725    86884    142 |  0.000 % |
774.67/775.10	c |   1087325 |    1000    20000   100000 |    90725    87223    141 |  0.000 % |
774.87/775.38	c |   1087699 |    1000    20000   100000 |    90725    87597    141 |  0.000 % |
775.27/775.71	c |   1088109 |    1000    20000   100000 |    90725    88007    141 |  0.000 % |
775.57/776.09	c |   1088558 |    1000    20000   100000 |    90725    88456    141 |  0.000 % |
776.07/776.53	c |   1089052 |    1000    20000   100000 |    90725    88950    141 |  0.000 % |
776.47/777.00	c |   1089594 |    1000    20000   100000 |    90725    89492    141 |  0.000 % |
776.96/777.47	c |   1090191 |    1000    20000   100000 |    89899    90089    141 |  0.000 % |
777.56/778.00	c |   1090846 |    1000    20000   100000 |    89899    79824    141 |  0.000 % |
778.07/778.51	c |   1091566 |    1000    20000   100000 |    89899    80544    141 |  0.000 % |
778.67/779.14	c |   1092358 |    1000    20000   100000 |    89899    81336    141 |  0.000 % |
779.26/779.76	c |   1093229 |    1000    20000   100000 |    89899    82207    141 |  0.000 % |
779.96/780.41	c |   1094187 |    1000    20000   100000 |    89899    83165    141 |  0.000 % |
780.66/781.10	c |   1095240 |    1000    20000   100000 |    89899    84218    141 |  0.000 % |
781.46/781.94	c |   1096399 |    1000    20000   100000 |    89899    85377    141 |  0.000 % |
782.36/782.81	c |   1097673 |    1000    20000   100000 |    89899    86651    141 |  0.000 % |
783.36/783.82	c |   1099073 |    1000    20000   100000 |    89899    88051    141 |  0.000 % |
784.66/785.12	c |   1100615 |    1000    20000   100000 |    88978    79294    140 |  0.000 % |
785.76/786.25	c |   1102310 |    1000    20000   100000 |    88978    80989    140 |  0.000 % |
786.96/787.49	c |   1104174 |    1000    20000   100000 |    88978    82853    140 |  0.000 % |
788.46/788.96	c |   1106223 |    1000    20000   100000 |    88978    84902    140 |  0.000 % |
790.06/790.59	c |   1108481 |    1000    20000   100000 |    88978    87160    140 |  0.000 % |
791.86/792.36	c |   1110960 |    1000    20000   100000 |    88680    80695    140 |  0.000 % |
793.76/794.21	c |   1113685 |    1000    20000   100000 |    88680    83420    140 |  0.000 % |
795.96/796.43	c |   1116683 |    1000    20000   100000 |    88680    86418    140 |  0.000 % |
798.36/798.86	c |   1119979 |    1000    20000   100000 |    88680    80810    139 |  0.000 % |
800.95/801.49	c |   1123605 |    1000    20000   100000 | 2147483647    84436    139 |  0.000 % |
803.95/804.44	c |   1127593 |    1000    20000   100000 | 2147483647    88424    139 |  0.000 % |
807.15/807.68	c |   1131979 |    1000    20000   100000 |    90832    82302    138 |  0.000 % |
810.64/811.16	c |   1136804 |    1000    20000   100000 |    90832    87127    139 |  0.000 % |
814.55/815.03	c |   1142111 |    1000    20000   100000 |    90324    82574    138 |  0.000 % |
818.74/819.29	c |   1147947 |    1000    20000   100000 |    90324    88410    138 |  0.000 % |
823.64/824.11	c |   1154365 |    1000    20000   100000 |    90464    84825    138 |  0.000 % |
828.94/829.43	c |   1161424 |    1000    20000   100000 |    90460    81846    137 |  0.000 % |
834.84/835.35	c |   1169189 |    1000    20000   100000 |    90460    89611    138 |  0.000 % |
841.53/842.00	c |   1177730 |    1000    20000   100000 |    90424    87955    140 |  0.000 % |
848.93/849.48	c |   1187125 |    1000    20000   100000 |    90225    87299    142 |  0.000 % |
857.22/857.74	c |   1197460 |    1000    20000   100000 |    90174    88008    143 |  0.000 % |
857.32/857.83	c |   1197563 |    1000    20000   100000 |    90174    88111    143 |  0.000 % |
857.43/857.95	c |   1197674 |    1000    20000   100000 |    90174    88222    143 |  0.000 % |
857.53/858.04	c |   1197795 |    1000    20000   100000 |    90174    88343    143 |  0.000 % |
857.62/858.14	c |   1197928 |    1000    20000   100000 |    90174    88476    143 |  0.000 % |
857.72/858.26	c |   1198075 |    1000    20000   100000 |    90174    88623    143 |  0.000 % |
857.92/858.41	c |   1198236 |    1000    20000   100000 |    90174    88784    143 |  0.000 % |
858.02/858.56	c |   1198412 |    1000    20000   100000 |    90174    88960    143 |  0.000 % |
858.22/858.74	c |   1198607 |    1000    20000   100000 |    90174    89155    143 |  0.000 % |
858.42/858.93	c |   1198819 |    1000    20000   100000 |    90174    89367    143 |  0.000 % |
858.63/859.11	c |   1199053 |    1000    20000   100000 |    90174    89601    143 |  0.000 % |
858.82/859.34	c |   1199311 |    1000    20000   100000 |    90174    89859    142 |  0.000 % |
859.02/859.54	c |   1199592 |    1000    20000   100000 |    90174    90140    142 |  0.000 % |
859.32/859.81	c |   1199901 |    1000    20000   100000 |    90174    90449    142 |  0.000 % |
859.63/860.12	c |   1200241 |    1000    20000   100000 |    80149    80390    143 |  0.000 % |
859.92/860.40	c |   1200613 |    1000    20000   100000 |    80149    71494    144 |  0.000 % |
860.12/860.67	c |   1201022 |    1000    20000   100000 |    80149    71903    144 |  0.000 % |
860.42/860.97	c |   1201472 |    1000    20000   100000 |    80149    72353    144 |  0.000 % |
860.73/861.28	c |   1201966 |    1000    20000   100000 |    80149    72847    143 |  0.000 % |
861.12/861.65	c |   1202509 |    1000    20000   100000 |    80149    73390    143 |  0.000 % |
861.52/862.06	c |   1203105 |    1000    20000   100000 |    80149    73986    143 |  0.000 % |
861.92/862.47	c |   1203761 |    1000    20000   100000 |    80149    74642    143 |  0.000 % |
862.42/862.92	c |   1204481 |    1000    20000   100000 |    80149    75362    143 |  0.000 % |
862.92/863.40	c |   1205274 |    1000    20000   100000 |    80149    76155    143 |  0.000 % |
863.42/863.98	c |   1206145 |    1000    20000   100000 |    80149    77026    143 |  0.000 % |
864.12/864.64	c |   1207103 |    1000    20000   100000 |    80149    77984    143 |  0.000 % |
864.82/865.35	c |   1208157 |    1000    20000   100000 |    80149    79038    143 |  0.000 % |
865.52/866.09	c |   1209315 |    1000    20000   100000 |    80149    80196    143 |  0.000 % |
866.42/866.94	c |   1210588 |    1000    20000   100000 | 2147483647    73450    143 |  0.000 % |
867.22/867.79	c |   1211989 |    1000    20000   100000 | 2147483647    74851    143 |  0.000 % |
868.22/868.78	c |   1213529 |    1000    20000   100000 | 2147483647    76391    143 |  0.000 % |
869.32/869.88	c |   1215224 |    1000    20000   100000 | 2147483647    78086    142 |  0.000 % |
870.62/871.17	c |   1217087 |    1000    20000   100000 | 2147483647    79949    142 |  0.000 % |
872.02/872.59	c |   1219136 |    1000    20000   100000 | 2147483647    81998    142 |  0.000 % |
873.61/874.10	c |   1221391 |    1000    20000   100000 | 2147483647    84253    142 |  0.000 % |
875.41/875.90	c |   1223869 |    1000    20000   100000 | 2147483647    86731    142 |  0.000 % |
877.32/877.89	c |   1226595 |    1000    20000   100000 | 2147483647    89457    141 |  0.000 % |
879.61/880.17	c |   1229593 |    1000    20000   100000 | 2147483647    92455    141 |  0.000 % |
882.11/882.67	c |   1232890 |    1000    20000   100000 |    92862    85337    141 |  0.000 % |
884.81/885.32	c |   1236516 |    1000    20000   100000 |    92862    88963    141 |  0.000 % |
887.81/888.36	c |   1240503 |    1000    20000   100000 |    92447    81975    140 |  0.000 % |
890.91/891.47	c |   1244890 |    1000    20000   100000 |    92447    86362    140 |  0.000 % |
894.61/895.16	c |   1249714 |    1000    20000   100000 |    92447    91186    140 |  0.000 % |
898.80/899.35	c |   1255020 |    1000    20000   100000 |    91475    86114    140 |  0.000 % |
903.10/903.61	c |   1260856 |    1000    20000   100000 |    91094    81918    139 |  0.000 % |
907.50/908.08	c |   1267275 |    1000    20000   100000 |    91094    88337    139 |  0.000 % |
912.90/913.44	c |   1274334 |    1000    20000   100000 | 2147483647    95396    140 |  0.000 % |
918.99/919.51	c |   1282098 |    1000    20000   100000 |   101063    90271    139 |  0.000 % |
925.59/926.14	c |   1290638 |    1000    20000   100000 |    98173    84367    140 |  0.000 % |
932.79/933.33	c |   1300032 |    1000    20000   100000 |    93729    93761    141 |  0.000 % |
940.19/940.79	c |   1310367 |    1000    20000   100000 |    90751    91116    143 |  0.000 % |
948.98/949.53	c |   1321734 |    1000    20000   100000 |    88729    79251    146 |  0.000 % |
949.08/949.60	c |   1321836 |    1000    20000   100000 |    88729    79353    146 |  0.000 % |
949.08/949.69	c |   1321946 |    1000    20000   100000 |    88729    79463    146 |  0.000 % |
949.28/949.80	c |   1322071 |    1000    20000   100000 |    88729    79588    146 |  0.000 % |
949.38/949.92	c |   1322205 |    1000    20000   100000 |    88729    79722    146 |  0.000 % |
949.48/950.02	c |   1322351 |    1000    20000   100000 |    88729    79868    146 |  0.000 % |
949.57/950.16	c |   1322511 |    1000    20000   100000 |    88729    80028    146 |  0.000 % |
949.78/950.31	c |   1322688 |    1000    20000   100000 |    88729    80205    146 |  0.000 % |
949.88/950.47	c |   1322881 |    1000    20000   100000 |    88729    80398    146 |  0.000 % |
950.07/950.66	c |   1323093 |    1000    20000   100000 |    88729    80610    146 |  0.000 % |
950.27/950.86	c |   1323327 |    1000    20000   100000 |    88729    80844    146 |  0.000 % |
950.47/951.05	c |   1323585 |    1000    20000   100000 |    88729    81102    146 |  0.000 % |
950.67/951.26	c |   1323866 |    1000    20000   100000 |    88729    81383    146 |  0.000 % |
950.88/951.48	c |   1324177 |    1000    20000   100000 |    88729    81694    146 |  0.000 % |
951.17/951.74	c |   1324516 |    1000    20000   100000 |    88729    82033    145 |  0.000 % |
951.47/952.06	c |   1324890 |    1000    20000   100000 |    88729    82407    145 |  0.000 % |
951.77/952.38	c |   1325299 |    1000    20000   100000 |    88729    82816    145 |  0.000 % |
952.17/952.72	c |   1325748 |    1000    20000   100000 |    88729    83265    145 |  0.000 % |
952.47/953.09	c |   1326241 |    1000    20000   100000 |    88729    83758    145 |  0.000 % |
952.87/953.50	c |   1326784 |    1000    20000   100000 |    88729    84301    145 |  0.000 % |
953.37/953.91	c |   1327381 |    1000    20000   100000 |    88729    84898    145 |  0.000 % |
953.77/954.39	c |   1328037 |    1000    20000   100000 |    88729    85554    145 |  0.000 % |
954.37/954.97	c |   1328757 |    1000    20000   100000 |    88729    86274    145 |  0.000 % |
954.97/955.55	c |   1329549 |    1000    20000   100000 |    88729    87066    145 |  0.000 % |
955.67/956.28	c |   1330420 |    1000    20000   100000 |    87518    77473    145 |  0.000 % |
956.37/956.93	c |   1331379 |    1000    20000   100000 |    87518    78432    145 |  0.000 % |
957.07/957.65	c |   1332432 |    1000    20000   100000 |    87518    79485    145 |  0.000 % |
957.87/958.40	c |   1333590 |    1000    20000   100000 |    87518    80643    145 |  0.000 % |
958.77/959.35	c |   1334863 |    1000    20000   100000 |    87518    81916    144 |  0.000 % |
959.77/960.33	c |   1336265 |    1000    20000   100000 |    87518    83318    144 |  0.000 % |
960.87/961.45	c |   1337806 |    1000    20000   100000 |    87518    84859    144 |  0.000 % |
962.07/962.61	c |   1339501 |    1000    20000   100000 |    87518    86554    144 |  0.000 % |
963.47/964.05	c |   1341364 |    1000    20000   100000 |    87056    79168    144 |  0.000 % |
964.97/965.51	c |   1343413 |    1000    20000   100000 |    87056    81217    144 |  0.000 % |
966.47/967.02	c |   1345667 |    1000    20000   100000 |    87056    83471    143 |  0.000 % |
968.17/968.71	c |   1348145 |    1000    20000   100000 |    87056    85949    143 |  0.000 % |
970.07/970.62	c |   1350870 |    1000    20000   100000 | 2147483647    79932    143 |  0.000 % |
972.16/972.70	c |   1353867 |    1000    20000   100000 | 2147483647    82929    143 |  0.000 % |
974.46/975.04	c |   1357163 |    1000    20000   100000 | 2147483647    86225    142 |  0.000 % |
977.06/977.70	c |   1360789 |    1000    20000   100000 | 2147483647    89851    142 |  0.000 % |
980.16/980.75	c |   1364779 |    1000    20000   100000 | 2147483647    93841    142 |  0.000 % |
983.56/984.18	c |   1369165 |    1000    20000   100000 | 2147483647    98227    142 |  0.000 % |
987.46/988.01	c |   1373990 |    1000    20000   100000 |    99062    91220    142 |  0.000 % |
991.56/992.13	c |   1379295 |    1000    20000   100000 |    99062    96525    142 |  0.000 % |
995.85/996.43	c |   1385130 |    1000    20000   100000 |    97231    90542    142 |  0.000 % |
1001.05/1001.67	c |   1391549 |    1000    20000   100000 |    95413    85129    141 |  0.000 % |
1006.16/1006.75	c |   1398608 |    1000    20000   100000 |    95413    92188    141 |  0.000 % |
1011.55/1012.19	c |   1406372 |    1000    20000   100000 |    93581    88254    139 |  0.000 % |
1017.85/1018.46	c |   1414913 |    1000    20000   100000 |    91886    85939    140 |  0.000 % |
1024.75/1025.33	c |   1424308 |    1000    20000   100000 |    91027    85391    141 |  0.000 % |
1032.35/1032.94	c |   1434642 |    1000    20000   100000 |    91083    85959    142 |  0.000 % |
1041.34/1041.99	c |   1446009 |    1000    20000   100000 |    91319    86839    143 |  0.000 % |
1050.34/1050.95	c |   1458512 |    1000    20000   100000 |    90831    88057    145 |  0.000 % |
1050.44/1051.04	c |   1458614 |    1000    20000   100000 |    90831    88159    145 |  0.000 % |
1050.54/1051.12	c |   1458725 |    1000    20000   100000 |    90831    88270    145 |  0.000 % |
1050.64/1051.22	c |   1458846 |    1000    20000   100000 |    90831    88391    145 |  0.000 % |
1050.74/1051.32	c |   1458980 |    1000    20000   100000 |    90831    88525    145 |  0.000 % |
1050.84/1051.44	c |   1459128 |    1000    20000   100000 |    90831    88673    145 |  0.000 % |
1050.94/1051.58	c |   1459288 |    1000    20000   100000 |    90831    88833    145 |  0.000 % |
1051.14/1051.72	c |   1459467 |    1000    20000   100000 |    90831    89012    145 |  0.000 % |
1051.24/1051.89	c |   1459661 |    1000    20000   100000 |    90831    89206    145 |  0.000 % |
1051.44/1052.07	c |   1459873 |    1000    20000   100000 |    90831    89418    145 |  0.000 % |
1051.64/1052.27	c |   1460107 |    1000    20000   100000 |    89545    89652    144 |  0.000 % |
1051.94/1052.51	c |   1460365 |    1000    20000   100000 |    89545    78295    144 |  0.000 % |
1052.14/1052.71	c |   1460646 |    1000    20000   100000 |    89545    78576    144 |  0.000 % |
1052.34/1052.94	c |   1460956 |    1000    20000   100000 |    89545    78886    144 |  0.000 % |
1052.54/1053.17	c |   1461295 |    1000    20000   100000 |    89545    79225    144 |  0.000 % |
1052.83/1053.43	c |   1461667 |    1000    20000   100000 |    89545    79597    144 |  0.000 % |
1053.14/1053.72	c |   1462076 |    1000    20000   100000 |    89545    80006    144 |  0.000 % |
1053.43/1054.08	c |   1462526 |    1000    20000   100000 |    89545    80456    144 |  0.000 % |
1053.83/1054.44	c |   1463019 |    1000    20000   100000 |    89545    80949    144 |  0.000 % |
1054.24/1054.86	c |   1463562 |    1000    20000   100000 |    89545    81492    143 |  0.000 % |
1054.73/1055.34	c |   1464159 |    1000    20000   100000 |    89545    82089    143 |  0.000 % |
1055.23/1055.86	c |   1464815 |    1000    20000   100000 |    89545    82745    143 |  0.000 % |
1055.83/1056.42	c |   1465536 |    1000    20000   100000 |    89545    83466    143 |  0.000 % |
1056.44/1057.09	c |   1466330 |    1000    20000   100000 |    89545    84260    143 |  0.000 % |
1057.13/1057.76	c |   1467202 |    1000    20000   100000 |    89545    85132    143 |  0.000 % |
1057.83/1058.49	c |   1468160 |    1000    20000   100000 |    89545    86090    143 |  0.000 % |
1058.73/1059.32	c |   1469214 |    1000    20000   100000 |    89545    87144    143 |  0.000 % |
1059.63/1060.26	c |   1470373 |    1000    20000   100000 |    87931    78506    142 |  0.000 % |
1060.53/1061.11	c |   1471646 |    1000    20000   100000 |    87931    79779    142 |  0.000 % |
1061.53/1062.11	c |   1473046 |    1000    20000   100000 |    87931    81179    142 |  0.000 % |
1062.53/1063.19	c |   1474588 |    1000    20000   100000 |    87931    82721    142 |  0.000 % |
1063.83/1064.47	c |   1476284 |    1000    20000   100000 |    87931    84417    142 |  0.000 % |
1065.13/1065.74	c |   1478148 |    1000    20000   100000 |    87931    86281    142 |  0.000 % |
1066.53/1067.19	c |   1480197 |    1000    20000   100000 | 2147483647    88330    142 |  0.000 % |
1068.33/1068.92	c |   1482451 |    1000    20000   100000 | 2147483647    90584    142 |  0.000 % |
1070.13/1070.76	c |   1484929 |    1000    20000   100000 | 2147483647    93062    142 |  0.000 % |
1072.23/1072.82	c |   1487656 |    1000    20000   100000 | 2147483647    95789    142 |  0.000 % |
1074.72/1075.33	c |   1490655 |    1000    20000   100000 |    98133    86552    143 |  0.000 % |
1077.23/1077.82	c |   1493952 |    1000    20000   100000 |    98133    89849    143 |  0.000 % |
1079.92/1080.54	c |   1497578 |    1000    20000   100000 |    98133    93475    143 |  0.000 % |
1083.02/1083.64	c |   1501565 |    1000    20000   100000 |    95898    84814    143 |  0.000 % |
1086.12/1086.77	c |   1505950 |    1000    20000   100000 |    95898    89199    142 |  0.000 % |
1089.81/1090.46	c |   1510773 |    1000    20000   100000 |    93250    82412    141 |  0.000 % |
1093.61/1094.30	c |   1516079 |    1000    20000   100000 |    93250    87718    141 |  0.000 % |
1098.11/1098.71	c |   1521916 |    1000    20000   100000 |    91639    82988    141 |  0.000 % |
1102.71/1103.40	c |   1528335 |    1000    20000   100000 |    91639    89407    141 |  0.000 % |
1108.01/1108.66	c |   1535395 |    1000    20000   100000 |    91073    85556    141 |  0.000 % |
1113.81/1114.45	c |   1543160 |    1000    20000   100000 |    90161    83486    140 |  0.000 % |
1120.61/1121.27	c |   1551701 |    1000    20000   100000 |    90327    81128    142 |  0.000 % |
1128.19/1128.85	c |   1561096 |    1000    20000   100000 |    89428    80129    143 |  0.000 % |
1135.59/1136.24	c |   1571429 |    1000    20000   100000 |    89033    79133    143 |  0.000 % |
1143.79/1144.40	c |   1582797 |    1000    20000   100000 |    87705    79679    145 |  0.000 % |
1153.48/1154.11	c |   1595299 |    1000    20000   100000 |    86882    82452    147 |  0.000 % |
1164.08/1164.76	c |   1609051 |    1000    20000   100000 |    87154    87303    147 |  0.000 % |
1164.19/1164.90	c |   1609152 |    1000    20000   100000 |    87154    77260    148 |  0.000 % |
1164.28/1164.98	c |   1609263 |    1000    20000   100000 |    87154    77371    148 |  0.000 % |
1164.38/1165.05	c |   1609384 |    1000    20000   100000 |    87154    77492    148 |  0.000 % |
1164.48/1165.15	c |   1609517 |    1000    20000   100000 |    87154    77625    147 |  0.000 % |
1164.58/1165.29	c |   1609664 |    1000    20000   100000 |    87154    77772    147 |  0.000 % |
1164.78/1165.40	c |   1609824 |    1000    20000   100000 |    87154    77932    147 |  0.000 % |
1164.88/1165.54	c |   1610002 |    1000    20000   100000 |    87154    78110    147 |  0.000 % |
1165.08/1165.73	c |   1610195 |    1000    20000   100000 |    78110    69262    148 |  0.000 % |
1165.18/1165.87	c |   1610408 |    1000    20000   100000 |    78110    69475    148 |  0.000 % |
1165.38/1166.03	c |   1610643 |    1000    20000   100000 |    78110    69710    147 |  0.000 % |
1165.48/1166.19	c |   1610899 |    1000    20000   100000 |    78110    69966    147 |  0.000 % |
1165.68/1166.38	c |   1611180 |    1000    20000   100000 |    78110    70247    147 |  0.000 % |
1165.88/1166.58	c |   1611491 |    1000    20000   100000 |    78110    70558    147 |  0.000 % |
1166.08/1166.79	c |   1611831 |    1000    20000   100000 |    78110    70898    147 |  0.000 % |
1166.38/1167.05	c |   1612203 |    1000    20000   100000 |    78110    71270    147 |  0.000 % |
1166.68/1167.31	c |   1612615 |    1000    20000   100000 |    78110    71682    147 |  0.000 % |
1166.98/1167.60	c |   1613064 |    1000    20000   100000 |    78110    72131    147 |  0.000 % |
1167.28/1167.97	c |   1613559 |    1000    20000   100000 |    78110    72626    147 |  0.000 % |
1167.67/1168.39	c |   1614101 |    1000    20000   100000 |    78110    73168    147 |  0.000 % |
1168.07/1168.79	c |   1614697 |    1000    20000   100000 |    78110    73764    146 |  0.000 % |
1168.47/1169.19	c |   1615353 |    1000    20000   100000 |    78110    74420    146 |  0.000 % |
1168.97/1169.68	c |   1616073 |    1000    20000   100000 |    78110    75140    146 |  0.000 % |
1169.57/1170.24	c |   1616867 |    1000    20000   100000 |    78110    75934    146 |  0.000 % |
1170.17/1170.81	c |   1617739 |    1000    20000   100000 |    78110    76806    146 |  0.000 % |
1170.78/1171.47	c |   1618698 |    1000    20000   100000 |    78110    77765    146 |  0.000 % |
1171.57/1172.21	c |   1619752 |    1000    20000   100000 |    78110    70973    145 |  0.000 % |
1172.27/1172.92	c |   1620910 |    1000    20000   100000 | 2147483647    72131    145 |  0.000 % |
1172.97/1173.69	c |   1622183 |    1000    20000   100000 | 2147483647    73404    145 |  0.000 % |
1173.87/1174.55	c |   1623584 |    1000    20000   100000 | 2147483647    74805    145 |  0.000 % |
1174.97/1175.67	c |   1625124 |    1000    20000   100000 | 2147483647    76345    144 |  0.000 % |
1176.17/1176.80	c |   1626820 |    1000    20000   100000 | 2147483647    78041    144 |  0.000 % |
1177.37/1178.09	c |   1628685 |    1000    20000   100000 | 2147483647    79906    144 |  0.000 % |
1178.77/1179.47	c |   1630736 |    1000    20000   100000 | 2147483647    81957    144 |  0.000 % |
1180.37/1181.02	c |   1632990 |    1000    20000   100000 | 2147483647    84211    144 |  0.000 % |
1182.17/1182.81	c |   1635468 |    1000    20000   100000 | 2147483647    86689    144 |  0.000 % |
1184.07/1184.79	c |   1638195 |    1000    20000   100000 | 2147483647    89416    144 |  0.000 % |
1186.27/1186.96	c |   1641192 |    1000    20000   100000 | 2147483647    92413    144 |  0.000 % |
1188.87/1189.58	c |   1644488 |    1000    20000   100000 | 2147483647    95709    144 |  0.000 % |
1191.77/1192.43	c |   1648114 |    1000    20000   100000 | 2147483647    99335    144 |  0.000 % |
1194.97/1195.67	c |   1652102 |    1000    20000   100000 |   101222    90148    143 |  0.000 % |
1198.17/1198.82	c |   1656487 |    1000    20000   100000 |   101222    94533    143 |  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-1832445-1242773263/watcher-1832445-1242773263 -o /tmp/evaluation-result-1832445-1242773263/solver-1832445-1242773263 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832445-1242773263.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 0.99 3/64 8866
/proc/meminfo: memFree=1886352/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0
/proc/8866/stat : 8866 (SatELiteGTI) R 8864 8866 8607 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 305353172 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251255122591 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8866/statm: 1339 235 195 169 0 50 0
[pid=8867] ppid=8866 vsize=5356 CPUtime=0
/proc/8867/stat : 8867 (SatELiteGTI) R 8866 8866 8607 0 -1 4194368 36 0 0 0 0 0 0 0 18 0 1 0 305353173 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251255122591 0 65538 4096 65538 0 0 0 17 1 0 0
/proc/8867/statm: 1339 238 198 169 0 50 0
[pid=8868] ppid=8867 vsize=0 CPUtime=0
/proc/8868/stat : 8868 (SatELiteGTI) Z 8867 8866 8607 0 -1 4194380 25 0 0 0 0 0 0 0 18 0 1 0 305353173 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 1 0 0
/proc/8868/statm: 0 0 0 0 0 0 0
[pid=8869] ppid=8867 vsize=5356 CPUtime=0
/proc/8869/stat : 8869 (SatELiteGTI) D 8867 8866 8607 0 -1 4194368 18 0 0 0 0 0 0 0 18 0 1 0 305353173 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255290469 0 2147483391 4096 65538 18446744072099937270 0 0 17 1 0 0
/proc/8869/statm: 1339 239 199 169 0 50 0

[startup+0.0340259 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 8866
/proc/meminfo: memFree=1886352/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305353172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8866/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102036 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 8866
/proc/meminfo: memFree=1886352/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.302058 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 8866
/proc/meminfo: memFree=1886352/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.702102 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 8866
/proc/meminfo: memFree=1886352/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1880376/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=6640 CPUtime=1.43
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 1402 0 0 0 142 1 0 0 25 0 1 0 305353178 6799360 1388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 1660 1388 77 171 0 1487 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11996

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1878008/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=11260 CPUtime=3.02
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 2585 0 0 0 301 1 0 0 25 0 1 0 305353178 11530240 2571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 2815 2571 77 171 0 2642 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16616

[startup+6.3017 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1870264/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=18068 CPUtime=6.23
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 4264 0 0 0 620 3 0 0 25 0 1 0 305353178 18501632 4250 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 4517 4250 77 171 0 4344 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 23424

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1860032/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=27520 CPUtime=12.62
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 6618 0 0 0 1257 5 0 0 25 0 1 0 305353178 28180480 6604 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 6880 6604 77 171 0 6707 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 32876

[startup+25.5028 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1846336/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=40576 CPUtime=25.41
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 9888 0 0 0 2533 8 0 0 25 0 1 0 305353178 41549824 9874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 10144 9874 77 171 0 9971 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45932

[startup+51.1026 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1831296/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=55408 CPUtime=50.99
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 13574 0 0 0 5088 11 0 0 25 0 1 0 305353178 56737792 13560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528726 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 13852 13560 77 171 0 13679 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 60764

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1831104/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=55408 CPUtime=102.16
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 13574 0 0 0 10205 11 0 0 25 0 1 0 305353178 56737792 13560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 13852 13560 77 171 0 13679 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 60764

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1830912/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=55408 CPUtime=162.12
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 13574 0 0 0 16201 11 0 0 25 0 1 0 305353178 56737792 13560 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 13852 13560 77 171 0 13679 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 60764

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1829376/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=56860 CPUtime=222.09
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 13944 0 0 0 22197 12 0 0 25 0 1 0 305353178 58224640 13930 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 14215 13930 77 171 0 14042 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 62216

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1825280/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=60952 CPUtime=282.06
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 14942 0 0 0 28192 14 0 0 25 0 1 0 305353178 62414848 14928 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 15238 14928 77 171 0 15065 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 66308

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1823232/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=62796 CPUtime=342.02
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 15423 0 0 0 34188 14 0 0 25 0 1 0 305353178 64303104 15407 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 15699 15407 77 171 0 15526 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 68152

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1823104/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04

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

/proc/8872/statm: 15996 15691 77 171 0 15823 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 69340

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1821504/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=63984 CPUtime=641.9
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 15707 0 0 0 64175 15 0 0 25 0 1 0 305353178 65519616 15691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 15996 15691 77 171 0 15823 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 69340

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1821248/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=64116 CPUtime=701.86
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 15763 0 0 0 70171 15 0 0 25 0 1 0 305353178 65654784 15747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 16029 15747 77 171 0 15856 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 69472

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8872
/proc/meminfo: memFree=1820992/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=64380 CPUtime=761.85
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 15819 0 0 0 76169 16 0 0 25 0 1 0 305353178 65925120 15803 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 16095 15803 77 171 0 15922 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 69736

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8878
/proc/meminfo: memFree=1820672/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=64380 CPUtime=821.8
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 15819 0 0 0 82164 16 0 0 25 0 1 0 305353178 65925120 15803 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 16095 15803 77 171 0 15922 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 69736

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8878
/proc/meminfo: memFree=1820672/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=64380 CPUtime=881.77
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 15819 0 0 0 88161 16 0 0 25 0 1 0 305353178 65925120 15803 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 16095 15803 77 171 0 15922 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 69736

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8878
/proc/meminfo: memFree=1818752/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=66360 CPUtime=941.74
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 16304 0 0 0 94158 16 0 0 25 0 1 0 305353178 67952640 16288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 16590 16288 77 171 0 16417 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 71716

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8878
/proc/meminfo: memFree=1818624/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=66344 CPUtime=1001.72
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 16304 0 0 0 100155 17 0 0 25 0 1 0 305353178 67936256 16288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 16586 16288 77 171 0 16413 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 71700

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8878
/proc/meminfo: memFree=1818496/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=66272 CPUtime=1061.69
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 16304 0 0 0 106152 17 0 0 25 0 1 0 305353178 67862528 16288 1992294400 134512640 135215339 4294956240 18446744073709551615 134529124 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 16568 16288 77 171 0 16395 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 71628

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8878
/proc/meminfo: memFree=1818368/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=66272 CPUtime=1121.66
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 16304 0 0 0 112149 17 0 0 25 0 1 0 305353178 67862528 16288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 16568 16288 77 171 0 16395 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 71628

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8878
/proc/meminfo: memFree=1818304/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=66272 CPUtime=1181.63
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 16304 0 0 0 118146 17 0 0 25 0 1 0 305353178 67862528 16288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 16568 16288 77 171 0 16395 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 71628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8878
/proc/meminfo: memFree=1816192/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=68516 CPUtime=1200.03
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 16845 0 0 0 119985 18 0 0 25 0 1 0 305353178 70160384 16829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 17129 16829 77 171 0 16956 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 73872

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 8878
/proc/meminfo: memFree=1816192/2055920 swapFree=4178272/4192956
[pid=8866] ppid=8864 vsize=5356 CPUtime=0.04
/proc/8866/stat : 8866 (SatELiteGTI) S 8864 8866 8607 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305353172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8866/statm: 1339 239 197 169 0 50 0
[pid=8872] ppid=8866 vsize=68516 CPUtime=1200.03
/proc/8872/stat : 8872 (minisat_static) R 8866 8866 8607 0 -1 4194304 16845 0 0 0 119985 18 0 0 25 0 1 0 305353178 70160384 16829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/8872/statm: 17129 16829 77 171 0 16956 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 73872

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.71
CPU time (s): 1200.07
CPU user time (s): 1199.89
CPU system time (s): 0.18
CPU usage (%): 99.9465
Max. virtual memory (cumulated for all children) (KiB): 73872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.045993
system time used= 0.010998
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= 16
involuntary context switches= 7

runsolver used 1.11483 second user time and 3.38248 second system time

The end

Launcher Data

Begin job on node64 at 2009-05-20 00:47:43
IDJOB=1832445
IDBENCH=70186
IDSOLVER=671
FILE ID=node64/1832445-1242773263
PBS_JOBID= 9322237
Free space on /tmp= 66352 MiB

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

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

MD5SUM BENCH= cd8ff3390234df6242528d108d1584c9
RANDOM SEED=549993836

node64.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.218
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.218
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:       1886768 kB
Buffers:         11168 kB
Cached:         120360 kB
SwapCached:       8076 kB
Active:          14180 kB
Inactive:       126924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1886768 kB
SwapTotal:     4192956 kB
SwapFree:      4178272 kB
Dirty:            2044 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            13728 kB
Committed_AS:   889252 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66348 MiB
End job on node64 at 2009-05-20 01:07:45