Trace number 1832495

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
MD5SUM54609dfda8487443dabfcd35e8af453e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark145.166
Satisfiable
(Un)Satisfiability was proved
Number of variables1100
Number of clauses22000
Sum of the clauses size110000
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 522000
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   22000   110000 |    6599       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 1100   #clauses: 22000   #literals: 110000
0.00/0.03	c CPU time:   0.022996 s
0.00/0.03	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  1100                                                 |
0.00/0.06	c |  Number of clauses:    22000                                                |
0.05/0.08	c |  Parsing time:         0.01         s                                       |
0.05/0.08	c ============================[ Search Statistics ]==============================
0.05/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.05/0.08	c ===============================================================================
0.05/0.08	c |         0 |    1100    22000   110000 |     7333        0    nan |  0.000 % |
0.05/0.09	c |       103 |    1100    22000   110000 |     7333      103    123 |  0.000 % |
0.05/0.11	c |       203 |    1100    22000   110000 |     7333      203    134 |  0.000 % |
0.05/0.12	c |       303 |    1100    22000   110000 |     7333      303    132 |  0.000 % |
0.05/0.13	c |       415 |    1100    22000   110000 |     7333      415    128 |  0.000 % |
0.05/0.15	c |       515 |    1100    22000   110000 |     7333      515    130 |  0.000 % |
0.05/0.16	c |       625 |    1100    22000   110000 |     7333      625    129 |  0.000 % |
0.05/0.17	c |       746 |    1100    22000   110000 |     7333      746    130 |  0.000 % |
0.05/0.19	c |       847 |    1100    22000   110000 |     7333      847    132 |  0.000 % |
0.05/0.20	c |       958 |    1100    22000   110000 |     7333      958    132 |  0.000 % |
0.05/0.22	c |      1080 |    1100    22000   110000 |     7333     1080    131 |  0.000 % |
0.05/0.23	c |      1213 |    1100    22000   110000 |     7333     1213    130 |  0.000 % |
0.05/0.24	c |      1313 |    1100    22000   110000 |     7333     1313    131 |  0.000 % |
0.05/0.26	c |      1424 |    1100    22000   110000 |     7333     1424    130 |  0.000 % |
0.05/0.27	c |      1546 |    1100    22000   110000 |     7333     1546    130 |  0.000 % |
0.05/0.29	c |      1681 |    1100    22000   110000 |     7333     1681    129 |  0.000 % |
0.05/0.31	c |      1827 |    1100    22000   110000 |     7333     1827    128 |  0.000 % |
0.05/0.32	c |      1927 |    1100    22000   110000 |     7333     1927    128 |  0.000 % |
0.05/0.34	c |      2037 |    1100    22000   110000 |     7333     2037    129 |  0.000 % |
0.05/0.35	c |      2158 |    1100    22000   110000 |     7333     2158    128 |  0.000 % |
0.05/0.37	c |      2295 |    1100    22000   110000 |     7333     2295    129 |  0.000 % |
0.05/0.39	c |      2442 |    1100    22000   110000 |     7333     2442    128 |  0.000 % |
0.05/0.41	c |      2603 |    1100    22000   110000 |     7333     2603    128 |  0.000 % |
0.05/0.42	c |      2704 |    1100    22000   110000 |     7333     2704    128 |  0.000 % |
0.05/0.44	c |      2815 |    1100    22000   110000 |     7333     2815    128 |  0.000 % |
0.05/0.45	c |      2937 |    1100    22000   110000 |     7333     2937    128 |  0.000 % |
0.05/0.47	c |      3070 |    1100    22000   110000 |     7333     3070    128 |  0.000 % |
0.05/0.50	c |      3217 |    1100    22000   110000 |     7333     3217    127 |  0.000 % |
0.05/0.52	c |      3377 |    1100    22000   110000 |     7333     3377    127 |  0.000 % |
0.05/0.54	c |      3553 |    1100    22000   110000 |     7333     3553    127 |  0.000 % |
0.05/0.55	c |      3654 |    1100    22000   110000 |     7333     3654    127 |  0.000 % |
0.05/0.57	c |      3765 |    1100    22000   110000 |     7333     3765    127 |  0.000 % |
0.05/0.59	c |      3886 |    1100    22000   110000 |     7333     3886    127 |  0.000 % |
0.05/0.60	c |      4020 |    1100    22000   110000 |     7333     4020    127 |  0.000 % |
0.05/0.62	c |      4166 |    1100    22000   110000 |     7333     4166    127 |  0.000 % |
0.05/0.65	c |      4327 |    1100    22000   110000 |     7333     4327    127 |  0.000 % |
0.05/0.67	c |      4503 |    1100    22000   110000 |     7333     4503    127 |  0.000 % |
0.05/0.70	c |      4697 |    1100    22000   110000 |     7333     4697    128 |  0.000 % |
0.05/0.71	c |      4800 |    1100    22000   110000 |     7333     4800    128 |  0.000 % |
0.05/0.73	c |      4910 |    1100    22000   110000 |     7333     4910    128 |  0.000 % |
0.05/0.75	c |      5033 |    1100    22000   110000 |     7333     5033    128 |  0.000 % |
0.05/0.77	c |      5167 |    1100    22000   110000 |     7333     5167    128 |  0.000 % |
0.05/0.79	c |      5316 |    1100    22000   110000 |     7333     5316    128 |  0.000 % |
0.05/0.81	c |      5476 |    1100    22000   110000 |     7333     5476    128 |  0.000 % |
0.05/0.84	c |      5652 |    1100    22000   110000 |     7333     5652    129 |  0.000 % |
0.05/0.87	c |      5845 |    1100    22000   110000 |     7333     5845    130 |  0.000 % |
0.05/0.91	c |      6057 |    1100    22000   110000 |     7333     6057    131 |  0.000 % |
0.05/0.92	c |      6158 |    1100    22000   110000 |     7333     6158    131 |  0.000 % |
0.05/0.94	c |      6268 |    1100    22000   110000 |     7333     6268    131 |  0.000 % |
0.05/0.96	c |      6389 |    1100    22000   110000 |     7333     6389    130 |  0.000 % |
0.05/0.97	c |      6522 |    1100    22000   110000 |     7333     6522    130 |  0.000 % |
0.97/1.00	c |      6668 |    1100    22000   110000 |     7333     6668    130 |  0.000 % |
0.97/1.03	c |      6830 |    1100    22000   110000 |     7333     6830    130 |  0.000 % |
0.97/1.06	c |      7006 |    1100    22000   110000 |     7333     7006    130 |  0.000 % |
0.97/1.09	c |      7202 |    1100    22000   110000 |     7333     7202    130 |  0.000 % |
1.07/1.13	c |      7415 |    1100    22000   110000 |     7333     7415    130 |  0.000 % |
1.07/1.17	c |      7650 |    1100    22000   110000 |     7333     6909    129 |  0.000 % |
1.07/1.19	c |      7750 |    1100    22000   110000 |     7333     7009    129 |  0.000 % |
1.16/1.21	c |      7860 |    1100    22000   110000 |     7333     7119    129 |  0.000 % |
1.16/1.23	c |      7981 |    1100    22000   110000 |     7333     7240    129 |  0.000 % |
1.16/1.25	c |      8114 |    1100    22000   110000 |     7333     7373    129 |  0.000 % |
1.16/1.28	c |      8260 |    1100    22000   110000 |     7333     6782    130 |  0.000 % |
1.26/1.31	c |      8426 |    1100    22000   110000 |     7333     6948    129 |  0.000 % |
1.26/1.34	c |      8603 |    1100    22000   110000 |     7333     7125    129 |  0.000 % |
1.26/1.37	c |      8797 |    1100    22000   110000 |     7333     7319    130 |  0.000 % |
1.36/1.41	c |      9010 |    1100    22000   110000 |     7333     7532    129 |  0.000 % |
1.36/1.45	c |      9244 |    1100    22000   110000 |     7333     7013    130 |  0.000 % |
1.36/1.49	c |      9502 |    1100    22000   110000 |     7333     7271    130 |  0.000 % |
1.46/1.50	c |      9608 |    1100    22000   110000 |     7333     7377    130 |  0.000 % |
1.46/1.53	c |      9718 |    1100    22000   110000 |     7333     6750    130 |  0.000 % |
1.46/1.54	c |      9840 |    1100    22000   110000 |     7333     6872    130 |  0.000 % |
1.46/1.57	c |      9973 |    1100    22000   110000 |     7333     7005    131 |  0.000 % |
1.46/1.59	c |     10119 |    1100    22000   110000 | 2147483647     7151    130 |  0.000 % |
1.56/1.62	c |     10279 |    1100    22000   110000 | 2147483647     7311    130 |  0.000 % |
1.56/1.65	c |     10456 |    1100    22000   110000 | 2147483647     7488    130 |  0.000 % |
1.56/1.68	c |     10649 |    1100    22000   110000 | 2147483647     7681    130 |  0.000 % |
1.66/1.72	c |     10862 |    1100    22000   110000 | 2147483647     7894    130 |  0.000 % |
1.66/1.76	c |     11096 |    1100    22000   110000 | 2147483647     8128    130 |  0.000 % |
1.76/1.80	c |     11353 |    1100    22000   110000 | 2147483647     8385    130 |  0.000 % |
1.76/1.85	c |     11638 |    1100    22000   110000 | 2147483647     8670    130 |  0.000 % |
1.76/1.87	c |     11738 |    1100    22000   110000 | 2147483647     8770    130 |  0.000 % |
1.76/1.89	c |     11850 |    1100    22000   110000 | 2147483647     8882    130 |  0.000 % |
1.86/1.91	c |     11971 |    1100    22000   110000 | 2147483647     9003    130 |  0.000 % |
1.86/1.94	c |     12104 |    1100    22000   110000 | 2147483647     9136    130 |  0.000 % |
1.86/1.97	c |     12250 |    1100    22000   110000 | 2147483647     9282    130 |  0.000 % |
1.86/2.00	c |     12410 |    1100    22000   110000 | 2147483647     9442    130 |  0.000 % |
1.96/2.03	c |     12587 |    1100    22000   110000 | 2147483647     9619    130 |  0.000 % |
1.96/2.06	c |     12782 |    1100    22000   110000 | 2147483647     9814    130 |  0.000 % |
2.07/2.10	c |     12996 |    1100    22000   110000 | 2147483647    10028    131 |  0.000 % |
2.07/2.15	c |     13229 |    1100    22000   110000 | 2147483647    10261    131 |  0.000 % |
2.07/2.19	c |     13485 |    1100    22000   110000 | 2147483647    10517    131 |  0.000 % |
2.17/2.25	c |     13766 |    1100    22000   110000 | 2147483647    10798    132 |  0.000 % |
2.26/2.31	c |     14075 |    1100    22000   110000 | 2147483647    11107    132 |  0.000 % |
2.26/2.33	c |     14176 |    1100    22000   110000 | 2147483647    11208    132 |  0.000 % |
2.26/2.35	c |     14288 |    1100    22000   110000 | 2147483647    11320    132 |  0.000 % |
2.26/2.38	c |     14411 |    1100    22000   110000 | 2147483647    11443    132 |  0.000 % |
2.36/2.40	c |     14544 |    1100    22000   110000 | 2147483647    11576    131 |  0.000 % |
2.36/2.43	c |     14690 |    1100    22000   110000 | 2147483647    11722    131 |  0.000 % |
2.36/2.46	c |     14850 |    1100    22000   110000 | 2147483647    11882    132 |  0.000 % |
2.46/2.50	c |     15027 |    1100    22000   110000 | 2147483647    12059    132 |  0.000 % |
2.46/2.54	c |     15224 |    1100    22000   110000 | 2147483647    12256    132 |  0.000 % |
2.46/2.58	c |     15436 |    1100    22000   110000 | 2147483647    12468    131 |  0.000 % |
2.56/2.63	c |     15671 |    1100    22000   110000 | 2147483647    12703    131 |  0.000 % |
2.56/2.68	c |     15929 |    1100    22000   110000 | 2147483647    12961    131 |  0.000 % |
2.66/2.74	c |     16210 |    1100    22000   110000 | 2147483647    13242    131 |  0.000 % |
2.76/2.80	c |     16519 |    1100    22000   110000 | 2147483647    13551    131 |  0.000 % |
2.76/2.87	c |     16858 |    1100    22000   110000 | 2147483647    13890    131 |  0.000 % |
2.76/2.90	c |     16958 |    1100    22000   110000 | 2147483647    13990    131 |  0.000 % |
2.86/2.92	c |     17069 |    1100    22000   110000 | 2147483647    14101    131 |  0.000 % |
2.86/2.95	c |     17190 |    1100    22000   110000 | 2147483647    14222    131 |  0.000 % |
2.86/2.98	c |     17327 |    1100    22000   110000 | 2147483647    14359    131 |  0.000 % |
2.96/3.01	c |     17474 |    1100    22000   110000 | 2147483647    14506    131 |  0.000 % |
2.96/3.05	c |     17634 |    1100    22000   110000 | 2147483647    14666    131 |  0.000 % |
2.96/3.09	c |     17812 |    1100    22000   110000 | 2147483647    14844    131 |  0.000 % |
3.06/3.13	c |     18006 |    1100    22000   110000 | 2147483647    15038    131 |  0.000 % |
3.06/3.18	c |     18222 |    1100    22000   110000 | 2147483647    15254    131 |  0.000 % |
3.17/3.24	c |     18455 |    1100    22000   110000 | 2147483647    15487    131 |  0.000 % |
3.17/3.30	c |     18712 |    1100    22000   110000 | 2147483647    15744    131 |  0.000 % |
3.26/3.35	c |     18993 |    1100    22000   110000 | 2147483647    16025    131 |  0.000 % |
3.36/3.42	c |     19303 |    1100    22000   110000 | 2147483647    16335    131 |  0.000 % |
3.46/3.50	c |     19642 |    1100    22000   110000 | 2147483647    16674    132 |  0.000 % |
3.46/3.59	c |     20014 |    1100    22000   110000 | 2147483647    17046    132 |  0.000 % |
3.56/3.62	c |     20114 |    1100    22000   110000 | 2147483647    17146    131 |  0.000 % |
3.56/3.64	c |     20226 |    1100    22000   110000 | 2147483647    17258    131 |  0.000 % |
3.56/3.67	c |     20347 |    1100    22000   110000 | 2147483647    17379    132 |  0.000 % |
3.56/3.70	c |     20481 |    1100    22000   110000 | 2147483647    17513    131 |  0.000 % |
3.66/3.73	c |     20629 |    1100    22000   110000 | 2147483647    17661    131 |  0.000 % |
3.66/3.77	c |     20790 |    1100    22000   110000 | 2147483647    17822    131 |  0.000 % |
3.76/3.82	c |     20968 |    1100    22000   110000 | 2147483647    18000    131 |  0.000 % |
3.76/3.86	c |     21161 |    1100    22000   110000 | 2147483647    18193    131 |  0.000 % |
3.86/3.91	c |     21373 |    1100    22000   110000 | 2147483647    18405    132 |  0.000 % |
3.86/3.97	c |     21606 |    1100    22000   110000 | 2147483647    18638    132 |  0.000 % |
3.96/4.03	c |     21862 |    1100    22000   110000 | 2147483647    18894    132 |  0.000 % |
4.06/4.10	c |     22143 |    1100    22000   110000 | 2147483647    19175    132 |  0.000 % |
4.06/4.18	c |     22452 |    1100    22000   110000 | 2147483647    19484    132 |  0.000 % |
4.16/4.26	c |     22792 |    1100    22000   110000 | 2147483647    19824    132 |  0.000 % |
4.26/4.35	c |     23166 |    1100    22000   110000 | 2147483647    20198    132 |  0.000 % |
4.36/4.46	c |     23575 |    1100    22000   110000 | 2147483647    20607    132 |  0.000 % |
4.36/4.49	c |     23676 |    1100    22000   110000 | 2147483647    20708    132 |  0.000 % |
4.46/4.53	c |     23787 |    1100    22000   110000 | 2147483647    20819    132 |  0.000 % |
4.46/4.56	c |     23909 |    1100    22000   110000 | 2147483647    20941    132 |  0.000 % |
4.56/4.60	c |     24045 |    1100    22000   110000 | 2147483647    21077    132 |  0.000 % |
4.56/4.65	c |     24193 |    1100    22000   110000 | 2147483647    21225    132 |  0.000 % |
4.56/4.69	c |     24353 |    1100    22000   110000 | 2147483647    21385    132 |  0.000 % |
4.66/4.74	c |     24532 |    1100    22000   110000 | 2147483647    21564    132 |  0.000 % |
4.76/4.80	c |     24727 |    1100    22000   110000 | 2147483647    21759    132 |  0.000 % |
4.76/4.86	c |     24942 |    1100    22000   110000 | 2147483647    21974    132 |  0.000 % |
4.86/4.93	c |     25177 |    1100    22000   110000 | 2147483647    22209    133 |  0.000 % |
4.96/5.00	c |     25433 |    1100    22000   110000 | 2147483647    22465    133 |  0.000 % |
4.96/5.07	c |     25714 |    1100    22000   110000 | 2147483647    22746    133 |  0.000 % |
5.06/5.16	c |     26024 |    1100    22000   110000 | 2147483647    23056    133 |  0.000 % |
5.16/5.26	c |     26363 |    1100    22000   110000 | 2147483647    23395    133 |  0.000 % |
5.26/5.36	c |     26736 |    1100    22000   110000 | 2147483647    23768    133 |  0.000 % |
5.37/5.47	c |     27145 |    1100    22000   110000 | 2147483647    24177    133 |  0.000 % |
5.47/5.59	c |     27597 |    1100    22000   110000 | 2147483647    24629    133 |  0.000 % |
5.56/5.63	c |     27697 |    1100    22000   110000 | 2147483647    24729    133 |  0.000 % |
5.56/5.66	c |     27808 |    1100    22000   110000 | 2147483647    24840    133 |  0.000 % |
5.66/5.70	c |     27930 |    1100    22000   110000 | 2147483647    24962    133 |  0.000 % |
5.66/5.74	c |     28065 |    1100    22000   110000 | 2147483647    25097    133 |  0.000 % |
5.66/5.79	c |     28211 |    1100    22000   110000 | 2147483647    25243    133 |  0.000 % |
5.76/5.84	c |     28372 |    1100    22000   110000 | 2147483647    25404    133 |  0.000 % |
5.76/5.89	c |     28548 |    1100    22000   110000 | 2147483647    25580    133 |  0.000 % |
5.86/5.96	c |     28743 |    1100    22000   110000 | 2147483647    25775    133 |  0.000 % |
5.96/6.02	c |     28958 |    1100    22000   110000 | 2147483647    25990    133 |  0.000 % |
5.96/6.09	c |     29191 |    1100    22000   110000 | 2147483647    26223    133 |  0.000 % |
6.06/6.17	c |     29448 |    1100    22000   110000 | 2147483647    26480    133 |  0.000 % |
6.16/6.26	c |     29730 |    1100    22000   110000 | 2147483647    26762    133 |  0.000 % |
6.26/6.35	c |     30040 |    1100    22000   110000 | 2147483647    27072    133 |  0.000 % |
6.36/6.46	c |     30379 |    1100    22000   110000 | 2147483647    27411    133 |  0.000 % |
6.46/6.57	c |     30753 |    1100    22000   110000 | 2147483647    27785    133 |  0.000 % |
6.66/6.70	c |     31164 |    1100    22000   110000 | 2147483647    28196    133 |  0.000 % |
6.76/6.84	c |     31613 |    1100    22000   110000 | 2147483647    28645    134 |  0.000 % |
6.86/6.98	c |     32108 |    1100    22000   110000 | 2147483647    29140    134 |  0.000 % |
6.96/7.02	c |     32208 |    1100    22000   110000 | 2147483647    29240    134 |  0.000 % |
6.96/7.06	c |     32318 |    1100    22000   110000 | 2147483647    29350    134 |  0.000 % |
7.06/7.10	c |     32440 |    1100    22000   110000 | 2147483647    29472    134 |  0.000 % |
7.06/7.14	c |     32573 |    1100    22000   110000 | 2147483647    29605    134 |  0.000 % |
7.15/7.20	c |     32719 |    1100    22000   110000 | 2147483647    29751    134 |  0.000 % |
7.15/7.25	c |     32880 |    1100    22000   110000 | 2147483647    29912    134 |  0.000 % |
7.25/7.31	c |     33059 |    1100    22000   110000 | 2147483647    30091    134 |  0.000 % |
7.25/7.38	c |     33252 |    1100    22000   110000 | 2147483647    30284    134 |  0.000 % |
7.36/7.45	c |     33464 |    1100    22000   110000 | 2147483647    30496    134 |  0.000 % |
7.46/7.53	c |     33699 |    1100    22000   110000 | 2147483647    30731    134 |  0.000 % |
7.57/7.61	c |     33956 |    1100    22000   110000 | 2147483647    30988    134 |  0.000 % |
7.67/7.70	c |     34237 |    1100    22000   110000 | 2147483647    31269    134 |  0.000 % |
7.67/7.79	c |     34546 |    1100    22000   110000 | 2147483647    31578    134 |  0.000 % |
7.86/7.92	c |     34885 |    1100    22000   110000 | 2147483647    31917    134 |  0.000 % |
7.96/8.05	c |     35257 |    1100    22000   110000 | 2147483647    32289    134 |  0.000 % |
8.06/8.18	c |     35669 |    1100    22000   110000 | 2147483647    32701    134 |  0.000 % |
8.26/8.33	c |     36118 |    1100    22000   110000 | 2147483647    33150    134 |  0.000 % |
8.46/8.51	c |     36611 |    1100    22000   110000 | 2147483647    33643    134 |  0.000 % |
8.56/8.69	c |     37154 |    1100    22000   110000 | 2147483647    34186    134 |  0.000 % |
8.67/8.73	c |     37255 |    1100    22000   110000 | 2147483647    34287    134 |  0.000 % |
8.67/8.77	c |     37368 |    1100    22000   110000 | 2147483647    34400    134 |  0.000 % |
8.77/8.82	c |     37489 |    1100    22000   110000 | 2147483647    34521    134 |  0.000 % |
8.77/8.87	c |     37622 |    1100    22000   110000 | 2147483647    34654    134 |  0.000 % |
8.86/8.93	c |     37768 |    1100    22000   110000 | 2147483647    34800    134 |  0.000 % |
8.86/8.99	c |     37928 |    1100    22000   110000 | 2147483647    34960    134 |  0.000 % |
8.96/9.06	c |     38104 |    1100    22000   110000 | 2147483647    35136    134 |  0.000 % |
9.06/9.13	c |     38297 |    1100    22000   110000 | 2147483647    35329    134 |  0.000 % |
9.16/9.20	c |     38510 |    1100    22000   110000 | 2147483647    35542    134 |  0.000 % |
9.26/9.31	c |     38743 |    1100    22000   110000 | 2147483647    35775    134 |  0.000 % |
9.36/9.41	c |     39001 |    1100    22000   110000 | 2147483647    36033    134 |  0.000 % |
9.46/9.52	c |     39283 |    1100    22000   110000 | 2147483647    36315    134 |  0.000 % |
9.56/9.65	c |     39592 |    1100    22000   110000 | 2147483647    36624    134 |  0.000 % |
9.66/9.79	c |     39932 |    1100    22000   110000 | 2147483647    36964    134 |  0.000 % |
9.86/9.93	c |     40304 |    1100    22000   110000 | 2147483647    37336    134 |  0.000 % |
9.96/10.09	c |     40714 |    1100    22000   110000 | 2147483647    37746    134 |  0.000 % |
10.16/10.26	c |     41163 |    1100    22000   110000 | 2147483647    38195    134 |  0.000 % |
10.35/10.44	c |     41656 |    1100    22000   110000 | 2147483647    38688    134 |  0.000 % |
10.56/10.66	c |     42198 |    1100    22000   110000 | 2147483647    39230    134 |  0.000 % |
10.86/10.91	c |     42796 |    1100    22000   110000 | 2147483647    39828    134 |  0.000 % |
10.86/10.95	c |     42896 |    1100    22000   110000 | 2147483647    39928    134 |  0.000 % |
10.96/11.00	c |     43006 |    1100    22000   110000 | 2147483647    40038    134 |  0.000 % |
10.96/11.06	c |     43127 |    1100    22000   110000 | 2147483647    40159    134 |  0.000 % |
11.06/11.12	c |     43261 |    1100    22000   110000 | 2147483647    40293    134 |  0.000 % |
11.06/11.19	c |     43407 |    1100    22000   110000 | 2147483647    40439    134 |  0.000 % |
11.16/11.26	c |     43567 |    1100    22000   110000 | 2147483647    40599    134 |  0.000 % |
11.26/11.35	c |     43744 |    1100    22000   110000 | 2147483647    40776    134 |  0.000 % |
11.36/11.44	c |     43940 |    1100    22000   110000 | 2147483647    40972    134 |  0.000 % |
11.46/11.54	c |     44153 |    1100    22000   110000 | 2147483647    41185    134 |  0.000 % |
11.55/11.64	c |     44387 |    1100    22000   110000 | 2147483647    41419    134 |  0.000 % |
11.65/11.74	c |     44644 |    1100    22000   110000 | 2147483647    41676    134 |  0.000 % |
11.76/11.86	c |     44925 |    1100    22000   110000 | 2147483647    41957    134 |  0.000 % |
11.86/11.99	c |     45235 |    1100    22000   110000 | 2147483647    42267    134 |  0.000 % |
12.06/12.13	c |     45574 |    1100    22000   110000 | 2147483647    42606    134 |  0.000 % |
12.26/12.30	c |     45947 |    1100    22000   110000 | 2147483647    42979    134 |  0.000 % |
12.36/12.47	c |     46357 |    1100    22000   110000 | 2147483647    43389    134 |  0.000 % |
12.56/12.64	c |     46807 |    1100    22000   110000 | 2147483647    43839    134 |  0.000 % |
12.76/12.84	c |     47301 |    1100    22000   110000 | 2147483647    44333    134 |  0.000 % |
12.96/13.06	c |     47844 |    1100    22000   110000 | 2147483647    44876    134 |  0.000 % |
13.26/13.32	c |     48440 |    1100    22000   110000 | 2147483647    45472    134 |  0.000 % |
13.45/13.59	c |     49097 |    1100    22000   110000 | 2147483647    46129    135 |  0.000 % |
13.55/13.65	c |     49197 |    1100    22000   110000 | 2147483647    46229    134 |  0.000 % |
13.65/13.71	c |     49307 |    1100    22000   110000 | 2147483647    46339    134 |  0.000 % |
13.65/13.77	c |     49428 |    1100    22000   110000 | 2147483647    46460    134 |  0.000 % |
13.75/13.84	c |     49561 |    1100    22000   110000 | 2147483647    46593    134 |  0.000 % |
13.85/13.92	c |     49709 |    1100    22000   110000 | 2147483647    46741    134 |  0.000 % |
13.85/13.99	c |     49870 |    1100    22000   110000 | 2147483647    46902    134 |  0.000 % |
13.96/14.09	c |     50046 |    1100    22000   110000 | 2147483647    47078    134 |  0.000 % |
14.06/14.19	c |     50240 |    1100    22000   110000 | 2147483647    47272    134 |  0.000 % |
14.16/14.29	c |     50455 |    1100    22000   110000 | 2147483647    47487    134 |  0.000 % |
14.36/14.42	c |     50688 |    1100    22000   110000 | 2147483647    47720    134 |  0.000 % |
14.46/14.53	c |     50945 |    1100    22000   110000 | 2147483647    47977    134 |  0.000 % |
14.56/14.66	c |     51228 |    1100    22000   110000 | 2147483647    48260    134 |  0.000 % |
14.66/14.80	c |     51537 |    1100    22000   110000 | 2147483647    48569    134 |  0.000 % |
14.86/14.97	c |     51877 |    1100    22000   110000 | 2147483647    48909    134 |  0.000 % |
15.06/15.16	c |     52249 |    1100    22000   110000 | 2147483647    49281    134 |  0.000 % |
15.26/15.35	c |     52659 |    1100    22000   110000 | 2147483647    49691    134 |  0.000 % |
15.46/15.58	c |     53110 |    1100    22000   110000 | 2147483647    50142    134 |  0.000 % |
15.76/15.82	c |     53605 |    1100    22000   110000 | 2147483647    50637    134 |  0.000 % |
15.95/16.07	c |     54147 |    1100    22000   110000 | 2147483647    51179    134 |  0.000 % |
16.25/16.33	c |     54745 |    1100    22000   110000 | 2147483647    51777    134 |  0.000 % |
16.55/16.63	c |     55401 |    1100    22000   110000 | 2147483647    52433    135 |  0.000 % |
16.86/16.98	c |     56122 |    1100    22000   110000 | 2147483647    53154    135 |  0.000 % |
16.96/17.03	c |     56222 |    1100    22000   110000 | 2147483647    53254    135 |  0.000 % |
16.96/17.09	c |     56332 |    1100    22000   110000 | 2147483647    53364    135 |  0.000 % |
17.06/17.14	c |     56453 |    1100    22000   110000 | 2147483647    53485    135 |  0.000 % |
17.16/17.21	c |     56586 |    1100    22000   110000 | 2147483647    53618    135 |  0.000 % |
17.26/17.31	c |     56733 |    1100    22000   110000 | 2147483647    53765    135 |  0.000 % |
17.26/17.39	c |     56893 |    1100    22000   110000 | 2147483647    53925    135 |  0.000 % |
17.36/17.49	c |     57070 |    1100    22000   110000 | 2147483647    54102    135 |  0.000 % |
17.56/17.62	c |     57263 |    1100    22000   110000 | 2147483647    54295    135 |  0.000 % |
17.66/17.73	c |     57477 |    1100    22000   110000 | 2147483647    54509    135 |  0.000 % |
17.76/17.86	c |     57711 |    1100    22000   110000 | 2147483647    54743    135 |  0.000 % |
17.86/17.99	c |     57970 |    1100    22000   110000 | 2147483647    55002    135 |  0.000 % |
18.06/18.16	c |     58254 |    1100    22000   110000 | 2147483647    55286    135 |  0.000 % |
18.26/18.35	c |     58563 |    1100    22000   110000 | 2147483647    55595    135 |  0.000 % |
18.45/18.56	c |     58902 |    1100    22000   110000 | 2147483647    55934    135 |  0.000 % |
18.66/18.76	c |     59276 |    1100    22000   110000 | 2147483647    56308    135 |  0.000 % |
18.85/18.97	c |     59686 |    1100    22000   110000 | 2147483647    56718    135 |  0.000 % |
19.16/19.21	c |     60136 |    1100    22000   110000 | 2147483647    57168    135 |  0.000 % |
19.36/19.48	c |     60631 |    1100    22000   110000 | 2147483647    57663    135 |  0.000 % |
19.66/19.75	c |     61173 |    1100    22000   110000 | 2147483647    58205    135 |  0.000 % |
19.96/20.08	c |     61769 |    1100    22000   110000 | 2147483647    58801    135 |  0.000 % |
20.35/20.44	c |     62425 |    1100    22000   110000 | 2147483647    59457    135 |  0.000 % |
20.76/20.82	c |     63146 |    1100    22000   110000 | 2147483647    60178    135 |  0.000 % |
21.15/21.24	c |     63938 |    1100    22000   110000 | 2147483647    60970    135 |  0.000 % |
21.25/21.30	c |     64038 |    1100    22000   110000 | 2147483647    61070    135 |  0.000 % |
21.25/21.40	c |     64154 |    1100    22000   110000 | 2147483647    61186    135 |  0.000 % |
21.35/21.48	c |     64276 |    1100    22000   110000 | 2147483647    61308    135 |  0.000 % |
21.45/21.56	c |     64409 |    1100    22000   110000 | 2147483647    61441    135 |  0.000 % |
21.55/21.65	c |     64556 |    1100    22000   110000 | 2147483647    61588    135 |  0.000 % |
21.65/21.76	c |     64716 |    1100    22000   110000 | 2147483647    61748    135 |  0.000 % |
21.75/21.87	c |     64893 |    1100    22000   110000 | 2147483647    61925    135 |  0.000 % |
21.86/21.98	c |     65087 |    1100    22000   110000 | 2147483647    62119    135 |  0.000 % |
22.05/22.12	c |     65299 |    1100    22000   110000 | 2147483647    62331    135 |  0.000 % |
22.15/22.24	c |     65532 |    1100    22000   110000 | 2147483647    62564    135 |  0.000 % |
22.35/22.41	c |     65789 |    1100    22000   110000 | 2147483647    62821    135 |  0.000 % |
22.45/22.57	c |     66071 |    1100    22000   110000 | 2147483647    63103    135 |  0.000 % |
22.65/22.75	c |     66380 |    1100    22000   110000 | 2147483647    63412    135 |  0.000 % |
22.85/22.96	c |     66720 |    1100    22000   110000 | 2147483647    63752    135 |  0.000 % |
23.05/23.19	c |     67093 |    1100    22000   110000 | 2147483647    64125    135 |  0.000 % |
23.35/23.46	c |     67502 |    1100    22000   110000 | 2147483647    64534    135 |  0.000 % |
23.66/23.75	c |     67953 |    1100    22000   110000 | 2147483647    64985    135 |  0.000 % |
23.95/24.02	c |     68446 |    1100    22000   110000 | 2147483647    65478    135 |  0.000 % |
24.25/24.34	c |     68988 |    1100    22000   110000 | 2147483647    66020    135 |  0.000 % |
24.55/24.68	c |     69584 |    1100    22000   110000 | 2147483647    66616    135 |  0.000 % |
24.96/25.09	c |     70239 |    1100    22000   110000 | 2147483647    67271    135 |  0.000 % |
25.45/25.52	c |     70960 |    1100    22000   110000 | 2147483647    67992    135 |  0.000 % |
25.95/26.01	c |     71753 |    1100    22000   110000 | 2147483647    68785    135 |  0.000 % |
26.46/26.50	c |     72625 |    1100    22000   110000 | 2147483647    69657    136 |  0.000 % |
26.46/26.55	c |     72725 |    1100    22000   110000 | 2147483647    69757    136 |  0.000 % |
26.56/26.63	c |     72836 |    1100    22000   110000 | 2147483647    69868    136 |  0.000 % |
26.66/26.71	c |     72957 |    1100    22000   110000 | 2147483647    69989    136 |  0.000 % |
26.76/26.81	c |     73091 |    1100    22000   110000 | 2147483647    70123    136 |  0.000 % |
26.86/26.92	c |     73241 |    1100    22000   110000 | 2147483647    70273    136 |  0.000 % |
26.96/27.03	c |     73401 |    1100    22000   110000 | 2147483647    70433    136 |  0.000 % |
27.06/27.15	c |     73577 |    1100    22000   110000 | 2147483647    70609    136 |  0.000 % |
27.26/27.31	c |     73771 |    1100    22000   110000 | 2147483647    70803    136 |  0.000 % |
27.36/27.47	c |     73985 |    1100    22000   110000 | 2147483647    71017    136 |  0.000 % |
27.56/27.63	c |     74218 |    1100    22000   110000 | 2147483647    71250    135 |  0.000 % |
27.76/27.80	c |     74474 |    1100    22000   110000 | 2147483647    71506    136 |  0.000 % |
27.86/27.97	c |     74756 |    1100    22000   110000 | 2147483647    71788    136 |  0.000 % |
28.06/28.16	c |     75065 |    1100    22000   110000 | 2147483647    72097    136 |  0.000 % |
28.35/28.41	c |     75405 |    1100    22000   110000 | 2147483647    72437    136 |  0.000 % |
28.56/28.68	c |     75778 |    1100    22000   110000 | 2147483647    72810    136 |  0.000 % |
28.85/28.96	c |     76188 |    1100    22000   110000 | 2147483647    73220    136 |  0.000 % |
29.15/29.27	c |     76637 |    1100    22000   110000 | 2147483647    73669    136 |  0.000 % |
29.55/29.62	c |     77132 |    1100    22000   110000 | 2147483647    74164    136 |  0.000 % |
29.85/30.00	c |     77674 |    1100    22000   110000 | 2147483647    74706    136 |  0.000 % |
30.35/30.42	c |     78270 |    1100    22000   110000 | 2147483647    75302    136 |  0.000 % |
30.75/30.86	c |     78926 |    1100    22000   110000 | 2147483647    75958    136 |  0.000 % |
31.25/31.34	c |     79647 |    1100    22000   110000 | 2147483647    76679    136 |  0.000 % |
31.76/31.88	c |     80442 |    1100    22000   110000 | 2147483647    77474    136 |  0.000 % |
32.45/32.51	c |     81315 |    1100    22000   110000 | 2147483647    78347    136 |  0.000 % |
33.05/33.18	c |     82273 |    1100    22000   110000 | 2147483647    79305    136 |  0.000 % |
33.15/33.26	c |     82374 |    1100    22000   110000 | 2147483647    79406    136 |  0.000 % |
33.25/33.34	c |     82484 |    1100    22000   110000 | 2147483647    79516    136 |  0.000 % |
33.35/33.44	c |     82606 |    1100    22000   110000 | 2147483647    79638    136 |  0.000 % |
33.45/33.54	c |     82740 |    1100    22000   110000 | 2147483647    79772    136 |  0.000 % |
33.55/33.65	c |     82888 |    1100    22000   110000 | 2147483647    79920    136 |  0.000 % |
33.65/33.78	c |     83048 |    1100    22000   110000 | 2147483647    80080    136 |  0.000 % |
33.85/33.94	c |     83225 |    1100    22000   110000 | 2147483647    80257    136 |  0.000 % |
33.95/34.09	c |     83419 |    1100    22000   110000 | 2147483647    80451    136 |  0.000 % |
34.15/34.26	c |     83631 |    1100    22000   110000 | 2147483647    80663    136 |  0.000 % |
34.35/34.44	c |     83865 |    1100    22000   110000 | 2147483647    80897    136 |  0.000 % |
34.55/34.63	c |     84121 |    1100    22000   110000 | 2147483647    81153    136 |  0.000 % |
34.75/34.85	c |     84402 |    1100    22000   110000 | 2147483647    81434    136 |  0.000 % |
34.95/35.09	c |     84713 |    1100    22000   110000 | 2147483647    81745    136 |  0.000 % |
35.24/35.34	c |     85053 |    1100    22000   110000 | 2147483647    82085    136 |  0.000 % |
35.54/35.64	c |     85425 |    1100    22000   110000 | 2147483647    82457    136 |  0.000 % |
35.85/35.93	c |     85834 |    1100    22000   110000 | 2147483647    82866    136 |  0.000 % |
36.16/36.26	c |     86283 |    1100    22000   110000 | 2147483647    83315    136 |  0.000 % |
36.55/36.61	c |     86778 |    1100    22000   110000 | 2147483647    83810    136 |  0.000 % |
36.85/36.98	c |     87322 |    1100    22000   110000 | 2147483647    84354    136 |  0.000 % |
37.35/37.44	c |     87920 |    1100    22000   110000 | 2147483647    84952    136 |  0.000 % |
37.85/37.94	c |     88575 |    1100    22000   110000 | 2147483647    85607    136 |  0.000 % |
38.45/38.56	c |     89295 |    1100    22000   110000 | 2147483647    86327    136 |  0.000 % |
39.05/39.15	c |     90087 |    1100    22000   110000 | 2147483647    87119    136 |  0.000 % |
39.74/39.84	c |     90958 |    1100    22000   110000 | 2147483647    87990    136 |  0.000 % |
40.45/40.55	c |     91918 |    1100    22000   110000 | 2147483647    88950    136 |  0.000 % |
41.25/41.34	c |     92971 |    1100    22000   110000 | 2147483647    90003    136 |  0.000 % |
41.35/41.42	c |     93072 |    1100    22000   110000 | 2147483647    90104    136 |  0.000 % |
41.45/41.54	c |     93183 |    1100    22000   110000 | 2147483647    90215    136 |  0.000 % |
41.55/41.65	c |     93304 |    1100    22000   110000 | 2147483647    90336    136 |  0.000 % |
41.65/41.77	c |     93437 |    1100    22000   110000 | 2147483647    90469    136 |  0.000 % |
41.85/41.90	c |     93583 |    1100    22000   110000 | 2147483647    90615    136 |  0.000 % |
41.95/42.08	c |     93745 |    1100    22000   110000 | 2147483647    90777    136 |  0.000 % |
42.15/42.26	c |     93925 |    1100    22000   110000 | 2147483647    90957    136 |  0.000 % |
42.35/42.43	c |     94118 |    1100    22000   110000 | 2147483647    91150    136 |  0.000 % |
42.54/42.61	c |     94332 |    1100    22000   110000 | 2147483647    91364    136 |  0.000 % |
42.75/42.82	c |     94566 |    1100    22000   110000 | 2147483647    91598    136 |  0.000 % |
42.94/43.07	c |     94825 |    1100    22000   110000 | 2147483647    91857    136 |  0.000 % |
43.24/43.31	c |     95106 |    1100    22000   110000 | 2147483647    92138    136 |  0.000 % |
43.45/43.58	c |     95415 |    1100    22000   110000 | 2147483647    92447    136 |  0.000 % |
43.75/43.86	c |     95754 |    1100    22000   110000 | 2147483647    92786    136 |  0.000 % |
44.05/44.14	c |     96126 |    1100    22000   110000 | 2147483647    93158    136 |  0.000 % |
44.35/44.46	c |     96535 |    1100    22000   110000 | 2147483647    93567    136 |  0.000 % |
44.75/44.83	c |     96985 |    1100    22000   110000 | 2147483647    94017    136 |  0.000 % |
45.15/45.23	c |     97479 |    1100    22000   110000 | 2147483647    94511    136 |  0.000 % |
45.55/45.67	c |     98022 |    1100    22000   110000 | 2147483647    95054    136 |  0.000 % |
46.05/46.19	c |     98618 |    1100    22000   110000 | 2147483647    95650    136 |  0.000 % |
46.65/46.71	c |     99273 |    1100    22000   110000 | 2147483647    96305    136 |  0.000 % |
47.25/47.32	c |     99993 |    1100    22000   110000 | 2147483647    97025    136 |  0.000 % |
47.94/48.02	c |    100786 |    1100    22000   110000 |    97032    87500    137 |  0.000 % |
48.54/48.64	c |    101658 |    1100    22000   110000 |    97032    88372    137 |  0.000 % |
49.24/49.37	c |    102616 |    1100    22000   110000 |    97032    89330    137 |  0.000 % |
50.04/50.11	c |    103669 |    1100    22000   110000 |    97032    90383    137 |  0.000 % |
50.94/51.03	c |    104827 |    1100    22000   110000 |    97032    91541    137 |  0.000 % |
51.04/51.12	c |    104927 |    1100    22000   110000 |    97032    91641    137 |  0.000 % |
51.14/51.22	c |    105037 |    1100    22000   110000 |    97032    91751    137 |  0.000 % |
51.24/51.35	c |    105159 |    1100    22000   110000 |    97032    91873    137 |  0.000 % |
51.35/51.47	c |    105295 |    1100    22000   110000 |    97032    92009    137 |  0.000 % |
51.45/51.60	c |    105441 |    1100    22000   110000 |    97032    92155    137 |  0.000 % |
51.65/51.75	c |    105601 |    1100    22000   110000 |    97032    92315    137 |  0.000 % |
51.85/51.91	c |    105780 |    1100    22000   110000 |    97032    92494    137 |  0.000 % |
51.95/52.06	c |    105973 |    1100    22000   110000 |    97032    92687    137 |  0.000 % |
52.15/52.25	c |    106185 |    1100    22000   110000 |    97032    92899    137 |  0.000 % |
52.35/52.45	c |    106420 |    1100    22000   110000 |    97032    93134    137 |  0.000 % |
52.55/52.66	c |    106678 |    1100    22000   110000 |    97032    93392    137 |  0.000 % |
52.75/52.87	c |    106959 |    1100    22000   110000 |    97032    93673    137 |  0.000 % |
53.05/53.14	c |    107270 |    1100    22000   110000 |    97032    93984    137 |  0.000 % |
53.35/53.41	c |    107609 |    1100    22000   110000 |    97032    94323    137 |  0.000 % |
53.65/53.73	c |    107981 |    1100    22000   110000 |    97032    94695    137 |  0.000 % |
53.95/54.09	c |    108390 |    1100    22000   110000 |    97032    95104    137 |  0.000 % |
54.35/54.48	c |    108839 |    1100    22000   110000 |    97032    95553    137 |  0.000 % |
54.75/54.89	c |    109334 |    1100    22000   110000 |    97032    96048    137 |  0.000 % |
55.25/55.34	c |    109876 |    1100    22000   110000 |    97032    96590    137 |  0.000 % |
55.74/55.86	c |    110473 |    1100    22000   110000 |    96714    86601    137 |  0.000 % |
56.24/56.34	c |    111129 |    1100    22000   110000 |    96714    87257    137 |  0.000 % |
56.84/56.90	c |    111853 |    1100    22000   110000 |    96714    87981    137 |  0.000 % |
57.34/57.46	c |    112645 |    1100    22000   110000 |    96714    88773    137 |  0.000 % |
58.04/58.13	c |    113516 |    1100    22000   110000 |    96714    89644    137 |  0.000 % |
58.84/58.98	c |    114474 |    1100    22000   110000 |    96714    90602    137 |  0.000 % |
59.74/59.85	c |    115527 |    1100    22000   110000 |    96714    91655    138 |  0.000 % |
60.74/60.80	c |    116685 |    1100    22000   110000 |    96714    92813    138 |  0.000 % |
61.64/61.76	c |    117959 |    1100    22000   110000 |    96714    94087    138 |  0.000 % |
61.74/61.85	c |    118059 |    1100    22000   110000 |    96714    94187    138 |  0.000 % |
61.84/61.97	c |    118169 |    1100    22000   110000 |    96714    94297    138 |  0.000 % |
61.94/62.09	c |    118291 |    1100    22000   110000 |    96714    94419    138 |  0.000 % |
62.14/62.21	c |    118426 |    1100    22000   110000 |    96714    94554    138 |  0.000 % |
62.24/62.35	c |    118572 |    1100    22000   110000 |    96714    94700    138 |  0.000 % |
62.44/62.51	c |    118732 |    1100    22000   110000 |    96714    94860    138 |  0.000 % |
62.55/62.66	c |    118910 |    1100    22000   110000 |    96714    95038    138 |  0.000 % |
62.74/62.82	c |    119104 |    1100    22000   110000 |    96714    95232    138 |  0.000 % |
62.94/63.00	c |    119316 |    1100    22000   110000 |    96714    95444    138 |  0.000 % |
63.14/63.20	c |    119549 |    1100    22000   110000 |    96714    95677    138 |  0.000 % |
63.34/63.44	c |    119805 |    1100    22000   110000 |    96714    95933    138 |  0.000 % |
63.65/63.72	c |    120087 |    1100    22000   110000 |    96129    96215    138 |  0.000 % |
63.94/64.03	c |    120396 |    1100    22000   110000 |    96129    85686    138 |  0.000 % |
64.24/64.32	c |    120735 |    1100    22000   110000 |    96129    86025    138 |  0.000 % |
64.54/64.62	c |    121109 |    1100    22000   110000 |    96129    86399    138 |  0.000 % |
64.85/64.92	c |    121520 |    1100    22000   110000 |    96129    86810    137 |  0.000 % |
65.14/65.29	c |    121969 |    1100    22000   110000 |    96129    87259    138 |  0.000 % |
65.64/65.70	c |    122462 |    1100    22000   110000 |    96129    87752    138 |  0.000 % |
66.04/66.10	c |    123004 |    1100    22000   110000 |    96129    88294    138 |  0.000 % |
66.54/66.60	c |    123600 |    1100    22000   110000 |    96129    88890    138 |  0.000 % |
67.04/67.11	c |    124255 |    1100    22000   110000 |    96129    89545    138 |  0.000 % |
67.54/67.67	c |    124976 |    1100    22000   110000 |    96129    90266    137 |  0.000 % |
68.24/68.31	c |    125768 |    1100    22000   110000 |    96129    91058    137 |  0.000 % |
68.84/68.96	c |    126640 |    1100    22000   110000 |    96129    91930    138 |  0.000 % |
69.54/69.68	c |    127598 |    1100    22000   110000 |    96129    92888    138 |  0.000 % |
70.54/70.60	c |    128652 |    1100    22000   110000 |    96129    93942    138 |  0.000 % |
71.44/71.54	c |    129813 |    1100    22000   110000 |    96129    95103    138 |  0.000 % |
72.44/72.55	c |    131086 |    1100    22000   110000 |    95290    85271    139 |  0.000 % |
73.44/73.57	c |    132488 |    1100    22000   110000 |    95290    86673    139 |  0.000 % |
73.54/73.66	c |    132588 |    1100    22000   110000 |    95290    86773    139 |  0.000 % |
73.64/73.78	c |    132700 |    1100    22000   110000 |    95290    86885    139 |  0.000 % |
73.74/73.89	c |    132822 |    1100    22000   110000 |    95290    87007    139 |  0.000 % |
73.84/74.00	c |    132955 |    1100    22000   110000 |    95290    87140    139 |  0.000 % |
74.04/74.13	c |    133102 |    1100    22000   110000 |    95290    87287    139 |  0.000 % |
74.14/74.26	c |    133262 |    1100    22000   110000 |    95290    87447    139 |  0.000 % |
74.34/74.42	c |    133440 |    1100    22000   110000 |    95290    87625    139 |  0.000 % |
74.44/74.58	c |    133633 |    1100    22000   110000 |    95290    87818    139 |  0.000 % |
74.64/74.75	c |    133846 |    1100    22000   110000 |    95290    88031    139 |  0.000 % |
74.84/74.95	c |    134081 |    1100    22000   110000 |    95290    88266    139 |  0.000 % |
75.04/75.19	c |    134338 |    1100    22000   110000 |    95290    88523    139 |  0.000 % |
75.34/75.41	c |    134620 |    1100    22000   110000 |    95290    88805    139 |  0.000 % |
75.54/75.65	c |    134929 |    1100    22000   110000 |    95290    89114    139 |  0.000 % |
75.84/75.92	c |    135269 |    1100    22000   110000 |    95290    89454    139 |  0.000 % |
76.14/76.21	c |    135642 |    1100    22000   110000 |    95290    89827    139 |  0.000 % |
76.44/76.52	c |    136055 |    1100    22000   110000 |    95290    90240    139 |  0.000 % |
76.74/76.89	c |    136504 |    1100    22000   110000 |    95290    90689    139 |  0.000 % |
77.24/77.31	c |    136997 |    1100    22000   110000 |    95290    91182    139 |  0.000 % |
77.64/77.72	c |    137542 |    1100    22000   110000 |    95290    91727    138 |  0.000 % |
78.14/78.24	c |    138141 |    1100    22000   110000 |    95290    92326    139 |  0.000 % |
78.64/78.77	c |    138796 |    1100    22000   110000 |    95290    92981    139 |  0.000 % |
79.24/79.37	c |    139517 |    1100    22000   110000 |    95290    93702    139 |  0.000 % |
79.94/80.04	c |    140309 |    1100    22000   110000 |    94185    94494    139 |  0.000 % |
80.64/80.74	c |    141180 |    1100    22000   110000 |    94185    84861    139 |  0.000 % |
81.34/81.45	c |    142143 |    1100    22000   110000 |    94185    85824    139 |  0.000 % |
82.14/82.24	c |    143196 |    1100    22000   110000 |    94185    86877    139 |  0.000 % |
83.04/83.14	c |    144357 |    1100    22000   110000 |    94185    88038    139 |  0.000 % |
83.94/84.06	c |    145632 |    1100    22000   110000 |    94185    89313    139 |  0.000 % |
84.94/85.06	c |    147032 |    1100    22000   110000 |    94185    90713    139 |  0.000 % |
86.23/86.35	c |    148572 |    1100    22000   110000 |    94185    92253    139 |  0.000 % |
86.33/86.45	c |    148672 |    1100    22000   110000 |    94185    92353    139 |  0.000 % |
86.43/86.54	c |    148783 |    1100    22000   110000 |    94185    92464    139 |  0.000 % |
86.53/86.64	c |    148905 |    1100    22000   110000 |    94185    92586    139 |  0.000 % |
86.63/86.76	c |    149040 |    1100    22000   110000 |    94185    92721    139 |  0.000 % |
86.84/86.91	c |    149186 |    1100    22000   110000 |    94185    92867    139 |  0.000 % |
86.93/87.06	c |    149349 |    1100    22000   110000 |    94185    93030    139 |  0.000 % |
87.13/87.21	c |    149525 |    1100    22000   110000 |    94185    93206    139 |  0.000 % |
87.33/87.41	c |    149720 |    1100    22000   110000 |    94185    93401    139 |  0.000 % |
87.53/87.60	c |    149933 |    1100    22000   110000 |    94185    93614    139 |  0.000 % |
87.73/87.81	c |    150167 |    1100    22000   110000 |    93681    93848    139 |  0.000 % |
87.94/88.06	c |    150423 |    1100    22000   110000 |    93681    84325    139 |  0.000 % |
88.13/88.29	c |    150705 |    1100    22000   110000 |    93681    84607    139 |  0.000 % |
88.43/88.51	c |    151016 |    1100    22000   110000 |    93681    84918    139 |  0.000 % |
88.73/88.80	c |    151357 |    1100    22000   110000 |    93681    85259    139 |  0.000 % |
89.04/89.12	c |    151729 |    1100    22000   110000 |    93681    85631    139 |  0.000 % |
89.33/89.44	c |    152139 |    1100    22000   110000 |    93681    86041    139 |  0.000 % |
89.63/89.78	c |    152588 |    1100    22000   110000 |    93681    86490    139 |  0.000 % |
90.04/90.19	c |    153081 |    1100    22000   110000 |    93681    86983    139 |  0.000 % |
90.53/90.63	c |    153624 |    1100    22000   110000 |    93681    87526    139 |  0.000 % |
91.03/91.11	c |    154222 |    1100    22000   110000 |    93681    88124    139 |  0.000 % |
91.53/91.64	c |    154877 |    1100    22000   110000 |    93681    88779    139 |  0.000 % |
92.13/92.25	c |    155598 |    1100    22000   110000 |    93681    89500    139 |  0.000 % |
92.83/92.90	c |    156390 |    1100    22000   110000 |    93681    90292    139 |  0.000 % |
93.43/93.55	c |    157261 |    1100    22000   110000 |    93681    91163    139 |  0.000 % |
94.23/94.33	c |    158219 |    1100    22000   110000 |    93681    92121    139 |  0.000 % |
95.03/95.14	c |    159272 |    1100    22000   110000 |    93681    93174    139 |  0.000 % |
95.93/96.07	c |    160431 |    1100    22000   110000 | 2147483647    94333    140 |  0.000 % |
96.93/97.07	c |    161705 |    1100    22000   110000 | 2147483647    95607    140 |  0.000 % |
98.02/98.14	c |    163106 |    1100    22000   110000 | 2147483647    97008    140 |  0.000 % |
99.33/99.42	c |    164648 |    1100    22000   110000 | 2147483647    98550    140 |  0.000 % |
100.73/100.82	c |    166342 |    1100    22000   110000 | 2147483647   100244    140 |  0.000 % |
100.83/100.91	c |    166442 |    1100    22000   110000 | 2147483647   100344    140 |  0.000 % |
100.93/101.02	c |    166554 |    1100    22000   110000 | 2147483647   100456    140 |  0.000 % |
101.03/101.18	c |    166675 |    1100    22000   110000 | 2147483647   100577    140 |  0.000 % |
101.23/101.33	c |    166810 |    1100    22000   110000 | 2147483647   100712    140 |  0.000 % |
101.33/101.47	c |    166957 |    1100    22000   110000 | 2147483647   100859    140 |  0.000 % |
101.53/101.62	c |    167118 |    1100    22000   110000 | 2147483647   101020    140 |  0.000 % |
101.63/101.78	c |    167294 |    1100    22000   110000 | 2147483647   101196    140 |  0.000 % |
101.83/101.95	c |    167487 |    1100    22000   110000 | 2147483647   101389    140 |  0.000 % |
102.03/102.16	c |    167700 |    1100    22000   110000 | 2147483647   101602    140 |  0.000 % |
102.33/102.40	c |    167935 |    1100    22000   110000 | 2147483647   101837    140 |  0.000 % |
102.53/102.62	c |    168191 |    1100    22000   110000 | 2147483647   102093    140 |  0.000 % |
102.73/102.88	c |    168472 |    1100    22000   110000 | 2147483647   102374    140 |  0.000 % |
103.03/103.16	c |    168782 |    1100    22000   110000 | 2147483647   102684    140 |  0.000 % |
103.33/103.47	c |    169121 |    1100    22000   110000 | 2147483647   103023    140 |  0.000 % |
103.72/103.83	c |    169493 |    1100    22000   110000 | 2147483647   103395    140 |  0.000 % |
104.03/104.19	c |    169902 |    1100    22000   110000 | 2147483647   103804    140 |  0.000 % |
104.53/104.61	c |    170353 |    1100    22000   110000 |   103904   104255    140 |  0.000 % |
104.93/105.05	c |    170848 |    1100    22000   110000 |   103904    91576    140 |  0.000 % |
105.33/105.48	c |    171390 |    1100    22000   110000 |   103904    92118    140 |  0.000 % |
105.83/105.95	c |    171987 |    1100    22000   110000 |   103904    92715    140 |  0.000 % |
106.33/106.47	c |    172643 |    1100    22000   110000 |   103904    93371    140 |  0.000 % |
106.93/107.02	c |    173364 |    1100    22000   110000 |   103904    94092    140 |  0.000 % |
107.53/107.64	c |    174156 |    1100    22000   110000 |   103904    94884    140 |  0.000 % |
108.23/108.34	c |    175028 |    1100    22000   110000 |   103904    95756    140 |  0.000 % |
109.03/109.20	c |    175986 |    1100    22000   110000 |   103904    96714    140 |  0.000 % |
109.93/110.04	c |    177039 |    1100    22000   110000 |   103904    97767    140 |  0.000 % |
110.93/111.04	c |    178197 |    1100    22000   110000 |   103904    98925    140 |  0.000 % |
111.92/112.07	c |    179473 |    1100    22000   110000 |   103904   100201    140 |  0.000 % |
113.23/113.34	c |    180874 |    1100    22000   110000 |   100731    89168    140 |  0.000 % |
114.42/114.54	c |    182414 |    1100    22000   110000 |   100731    90708    140 |  0.000 % |
115.72/115.84	c |    184109 |    1100    22000   110000 |   100731    92403    140 |  0.000 % |
117.22/117.38	c |    185972 |    1100    22000   110000 |   100731    94266    140 |  0.000 % |
117.32/117.48	c |    186074 |    1100    22000   110000 |   100731    94368    140 |  0.000 % |
117.53/117.62	c |    186185 |    1100    22000   110000 |   100731    94479    140 |  0.000 % |
117.63/117.73	c |    186306 |    1100    22000   110000 |   100731    94600    140 |  0.000 % |
117.72/117.86	c |    186439 |    1100    22000   110000 |   100731    94733    140 |  0.000 % |
117.92/118.00	c |    186585 |    1100    22000   110000 |   100731    94879    140 |  0.000 % |
118.02/118.17	c |    186745 |    1100    22000   110000 |   100731    95039    140 |  0.000 % |
118.22/118.32	c |    186921 |    1100    22000   110000 |   100731    95215    140 |  0.000 % |
118.32/118.49	c |    187114 |    1100    22000   110000 |   100731    95408    140 |  0.000 % |
118.52/118.66	c |    187326 |    1100    22000   110000 |   100731    95620    140 |  0.000 % |
118.72/118.88	c |    187559 |    1100    22000   110000 |   100731    95853    140 |  0.000 % |
119.02/119.15	c |    187816 |    1100    22000   110000 |   100731    96110    140 |  0.000 % |
119.32/119.42	c |    188098 |    1100    22000   110000 |   100731    96392    140 |  0.000 % |
119.62/119.71	c |    188409 |    1100    22000   110000 |   100731    96703    140 |  0.000 % |
119.92/120.03	c |    188748 |    1100    22000   110000 |   100731    97042    140 |  0.000 % |
120.22/120.36	c |    189120 |    1100    22000   110000 |   100731    97414    140 |  0.000 % |
120.62/120.71	c |    189531 |    1100    22000   110000 |   100731    97825    140 |  0.000 % |
121.02/121.13	c |    189980 |    1100    22000   110000 |   100731    98274    140 |  0.000 % |
121.52/121.65	c |    190473 |    1100    22000   110000 |    98294    86532    140 |  0.000 % |
121.92/122.09	c |    191015 |    1100    22000   110000 |    98294    87074    140 |  0.000 % |
122.42/122.59	c |    191611 |    1100    22000   110000 |    98294    87670    140 |  0.000 % |
122.91/123.09	c |    192266 |    1100    22000   110000 |    98294    88325    140 |  0.000 % |
123.51/123.67	c |    192987 |    1100    22000   110000 |    98294    89046    140 |  0.000 % |
124.12/124.30	c |    193779 |    1100    22000   110000 |    98294    89838    140 |  0.000 % |
124.81/124.96	c |    194652 |    1100    22000   110000 |    98294    90711    140 |  0.000 % |
125.61/125.70	c |    195610 |    1100    22000   110000 |    98294    91669    140 |  0.000 % |
126.32/126.47	c |    196663 |    1100    22000   110000 |    98294    92722    140 |  0.000 % |
127.21/127.35	c |    197822 |    1100    22000   110000 |    98294    93881    140 |  0.000 % |
128.21/128.34	c |    199098 |    1100    22000   110000 |    98294    95157    141 |  0.000 % |
129.41/129.54	c |    200499 |    1100    22000   110000 |    96062    85996    141 |  0.000 % |
130.51/130.63	c |    202039 |    1100    22000   110000 |    96062    87536    141 |  0.000 % |
131.81/131.96	c |    203734 |    1100    22000   110000 |    96062    89231    141 |  0.000 % |
133.21/133.36	c |    205597 |    1100    22000   110000 |    96062    91094    141 |  0.000 % |
134.81/134.99	c |    207647 |    1100    22000   110000 |    96062    93144    141 |  0.000 % |
134.91/135.08	c |    207747 |    1100    22000   110000 |    96062    93244    141 |  0.000 % |
135.01/135.19	c |    207860 |    1100    22000   110000 |    96062    93357    141 |  0.000 % |
135.11/135.29	c |    207981 |    1100    22000   110000 |    96062    93478    141 |  0.000 % |
135.31/135.41	c |    208116 |    1100    22000   110000 |    96062    93613    141 |  0.000 % |
135.41/135.54	c |    208262 |    1100    22000   110000 |    96062    93759    141 |  0.000 % |
135.51/135.69	c |    208422 |    1100    22000   110000 |    96062    93919    141 |  0.000 % |
135.71/135.86	c |    208598 |    1100    22000   110000 |    96062    94095    141 |  0.000 % |
135.91/136.06	c |    208795 |    1100    22000   110000 |    96062    94292    141 |  0.000 % |
136.11/136.24	c |    209008 |    1100    22000   110000 |    96062    94505    141 |  0.000 % |
136.31/136.48	c |    209241 |    1100    22000   110000 |    96062    94738    141 |  0.000 % |
136.61/136.72	c |    209498 |    1100    22000   110000 |    96062    94995    141 |  0.000 % |
136.81/136.97	c |    209782 |    1100    22000   110000 |    96062    95279    140 |  0.000 % |
137.11/137.23	c |    210091 |    1100    22000   110000 |    95500    95588    140 |  0.000 % |
137.41/137.57	c |    210432 |    1100    22000   110000 |    95500    85539    141 |  0.000 % |
137.71/137.88	c |    210805 |    1100    22000   110000 |    95500    85912    141 |  0.000 % |
138.01/138.19	c |    211217 |    1100    22000   110000 |    95500    86324    141 |  0.000 % |
138.41/138.53	c |    211668 |    1100    22000   110000 |    95500    86775    141 |  0.000 % |
138.81/138.91	c |    212163 |    1100    22000   110000 |    95500    87270    141 |  0.000 % |
139.21/139.32	c |    212705 |    1100    22000   110000 |    95500    87812    141 |  0.000 % |
139.61/139.75	c |    213303 |    1100    22000   110000 |    95500    88410    141 |  0.000 % |
140.11/140.28	c |    213958 |    1100    22000   110000 |    95500    89065    141 |  0.000 % |
140.72/140.81	c |    214680 |    1100    22000   110000 |    95500    89787    141 |  0.000 % |
141.31/141.44	c |    215472 |    1100    22000   110000 |    95500    90579    141 |  0.000 % |
142.01/142.13	c |    216346 |    1100    22000   110000 |    95500    91453    141 |  0.000 % |
142.71/142.86	c |    217306 |    1100    22000   110000 |    95500    92413    141 |  0.000 % |
143.51/143.66	c |    218359 |    1100    22000   110000 |    95500    93466    141 |  0.000 % |
144.41/144.50	c |    219517 |    1100    22000   110000 |    95500    94624    141 |  0.000 % |
145.51/145.60	c |    220792 |    1100    22000   110000 | 2147483647    95899    141 |  0.000 % |
146.71/146.81	c |    222192 |    1100    22000   110000 | 2147483647    97299    141 |  0.000 % |
147.91/148.08	c |    223733 |    1100    22000   110000 | 2147483647    98840    142 |  0.000 % |
149.31/149.44	c |    225429 |    1100    22000   110000 | 2147483647   100536    142 |  0.000 % |
150.91/151.02	c |    227293 |    1100    22000   110000 | 2147483647   102400    142 |  0.000 % |
152.60/152.73	c |    229343 |    1100    22000   110000 | 2147483647   104450    142 |  0.000 % |
154.60/154.74	c |    231596 |    1100    22000   110000 |   105108    92949    141 |  0.000 % |
154.70/154.85	c |    231696 |    1100    22000   110000 |   105108    93049    141 |  0.000 % |
154.80/154.97	c |    231807 |    1100    22000   110000 |   105108    93160    141 |  0.000 % |
154.91/155.08	c |    231929 |    1100    22000   110000 |   105108    93282    141 |  0.000 % |
155.10/155.20	c |    232062 |    1100    22000   110000 |   105108    93415    141 |  0.000 % |
155.20/155.37	c |    232209 |    1100    22000   110000 |   105108    93562    141 |  0.000 % |
155.40/155.52	c |    232369 |    1100    22000   110000 |   105108    93722    141 |  0.000 % |
155.50/155.67	c |    232545 |    1100    22000   110000 |   105108    93898    141 |  0.000 % |
155.70/155.86	c |    232740 |    1100    22000   110000 |   105108    94093    141 |  0.000 % |
155.90/156.08	c |    232952 |    1100    22000   110000 |   105108    94305    141 |  0.000 % |
156.20/156.30	c |    233185 |    1100    22000   110000 |   105108    94538    141 |  0.000 % |
156.40/156.54	c |    233441 |    1100    22000   110000 |   105108    94794    141 |  0.000 % |
156.70/156.81	c |    233725 |    1100    22000   110000 |   105108    95078    141 |  0.000 % |
156.90/157.10	c |    234035 |    1100    22000   110000 |   105108    95388    141 |  0.000 % |
157.30/157.44	c |    234376 |    1100    22000   110000 |   105108    95729    141 |  0.000 % |
157.60/157.77	c |    234748 |    1100    22000   110000 |   105108    96101    141 |  0.000 % |
158.00/158.14	c |    235157 |    1100    22000   110000 |   105108    96510    141 |  0.000 % |
158.40/158.51	c |    235607 |    1100    22000   110000 |   105108    96960    141 |  0.000 % |
158.80/158.94	c |    236100 |    1100    22000   110000 |   105108    97453    141 |  0.000 % |
159.31/159.41	c |    236643 |    1100    22000   110000 |   105108    97996    141 |  0.000 % |
159.80/159.93	c |    237239 |    1100    22000   110000 |   105108    98592    141 |  0.000 % |
160.30/160.49	c |    237895 |    1100    22000   110000 |   105108    99248    141 |  0.000 % |
161.00/161.12	c |    238615 |    1100    22000   110000 |   105108    99968    141 |  0.000 % |
161.70/161.82	c |    239407 |    1100    22000   110000 |   105108   100760    141 |  0.000 % |
162.40/162.57	c |    240280 |    1100    22000   110000 |   101355   101633    141 |  0.000 % |
163.20/163.35	c |    241238 |    1100    22000   110000 |   101355    89025    141 |  0.000 % |
164.00/164.13	c |    242292 |    1100    22000   110000 |   101355    90079    141 |  0.000 % |
164.90/165.06	c |    243452 |    1100    22000   110000 |   101355    91239    141 |  0.000 % |
165.90/166.08	c |    244725 |    1100    22000   110000 |   101355    92512    141 |  0.000 % |
167.00/167.12	c |    246125 |    1100    22000   110000 |   101355    93912    141 |  0.000 % |
168.20/168.32	c |    247665 |    1100    22000   110000 |   101355    95452    142 |  0.000 % |
169.50/169.65	c |    249359 |    1100    22000   110000 |   101355    97146    142 |  0.000 % |
170.90/171.08	c |    251222 |    1100    22000   110000 |    97788    88372    142 |  0.000 % |
172.50/172.61	c |    253272 |    1100    22000   110000 |    97788    90422    142 |  0.000 % |
174.20/174.32	c |    255526 |    1100    22000   110000 |    97788    92676    142 |  0.000 % |
176.09/176.28	c |    258005 |    1100    22000   110000 |    97788    95155    142 |  0.000 % |
176.19/176.39	c |    258105 |    1100    22000   110000 |    97788    95255    142 |  0.000 % |
176.39/176.51	c |    258216 |    1100    22000   110000 |    97788    95366    142 |  0.000 % |
176.49/176.62	c |    258337 |    1100    22000   110000 |    97788    95487    142 |  0.000 % |
176.59/176.74	c |    258470 |    1100    22000   110000 |    97788    95620    142 |  0.000 % |
176.69/176.88	c |    258617 |    1100    22000   110000 |    97788    95767    142 |  0.000 % |
176.90/177.03	c |    258777 |    1100    22000   110000 |    97788    95927    142 |  0.000 % |
177.09/177.20	c |    258953 |    1100    22000   110000 |    97788    96103    142 |  0.000 % |
177.19/177.38	c |    259146 |    1100    22000   110000 |    97788    96296    142 |  0.000 % |
177.39/177.58	c |    259359 |    1100    22000   110000 |    97788    96509    142 |  0.000 % |
177.59/177.77	c |    259592 |    1100    22000   110000 |    97788    96742    142 |  0.000 % |
177.89/178.03	c |    259848 |    1100    22000   110000 |    97788    96998    142 |  0.000 % |
178.10/178.27	c |    260129 |    1100    22000   110000 |    97150    97279    142 |  0.000 % |
178.39/178.59	c |    260443 |    1100    22000   110000 |    97150    86724    142 |  0.000 % |
178.69/178.87	c |    260782 |    1100    22000   110000 |    97150    87063    142 |  0.000 % |
178.99/179.17	c |    261154 |    1100    22000   110000 |    97150    87435    142 |  0.000 % |
179.29/179.47	c |    261563 |    1100    22000   110000 |    97150    87844    142 |  0.000 % |
179.69/179.86	c |    262012 |    1100    22000   110000 |    97150    88293    142 |  0.000 % |
180.09/180.27	c |    262505 |    1100    22000   110000 |    97150    88786    142 |  0.000 % |
180.59/180.72	c |    263049 |    1100    22000   110000 |    97150    89330    142 |  0.000 % |
180.99/181.17	c |    263648 |    1100    22000   110000 |    97150    89929    142 |  0.000 % |
181.49/181.67	c |    264305 |    1100    22000   110000 |    97150    90586    142 |  0.000 % |
182.09/182.20	c |    265025 |    1100    22000   110000 |    97150    91306    142 |  0.000 % |
182.69/182.85	c |    265817 |    1100    22000   110000 |    97150    92098    142 |  0.000 % |
183.39/183.52	c |    266690 |    1100    22000   110000 |    97150    92971    142 |  0.000 % |
184.10/184.30	c |    267649 |    1100    22000   110000 |    97150    93930    142 |  0.000 % |
185.00/185.14	c |    268706 |    1100    22000   110000 |    97150    94987    142 |  0.000 % |
185.90/186.07	c |    269864 |    1100    22000   110000 |    97150    96145    142 |  0.000 % |
187.00/187.11	c |    271139 |    1100    22000   110000 |    96281    86544    142 |  0.000 % |
188.01/188.15	c |    272541 |    1100    22000   110000 |    96281    87946    142 |  0.000 % |
189.30/189.42	c |    274081 |    1100    22000   110000 |    96281    89486    142 |  0.000 % |
190.60/190.75	c |    275777 |    1100    22000   110000 |    96281    91182    142 |  0.000 % |
192.10/192.27	c |    277640 |    1100    22000   110000 |    96281    93045    142 |  0.000 % |
193.80/193.94	c |    279691 |    1100    22000   110000 |    96281    95096    142 |  0.000 % |
195.60/195.78	c |    281945 |    1100    22000   110000 |    95405    87337    143 |  0.000 % |
197.50/197.69	c |    284423 |    1100    22000   110000 |    95405    89815    143 |  0.000 % |
199.60/199.78	c |    287149 |    1100    22000   110000 |    95405    92541    143 |  0.000 % |
199.70/199.86	c |    287250 |    1100    22000   110000 |    95405    92642    143 |  0.000 % |
199.80/199.97	c |    287361 |    1100    22000   110000 |    95405    92753    143 |  0.000 % |
199.90/200.07	c |    287484 |    1100    22000   110000 |    95405    92876    143 |  0.000 % |
200.00/200.19	c |    287617 |    1100    22000   110000 |    95405    93009    143 |  0.000 % |
200.20/200.33	c |    287766 |    1100    22000   110000 |    95405    93158    143 |  0.000 % |
200.30/200.47	c |    287928 |    1100    22000   110000 |    95405    93320    143 |  0.000 % |
200.50/200.63	c |    288104 |    1100    22000   110000 |    95405    93496    143 |  0.000 % |
200.70/200.80	c |    288297 |    1100    22000   110000 |    95405    93689    143 |  0.000 % |
200.80/200.97	c |    288512 |    1100    22000   110000 |    95405    93904    143 |  0.000 % |
201.10/201.22	c |    288745 |    1100    22000   110000 |    95405    94137    143 |  0.000 % |
201.30/201.45	c |    289001 |    1100    22000   110000 |    95405    94393    143 |  0.000 % |
201.60/201.74	c |    289282 |    1100    22000   110000 |    95405    94674    143 |  0.000 % |
201.90/202.01	c |    289594 |    1100    22000   110000 |    95405    94986    143 |  0.000 % |
202.20/202.34	c |    289933 |    1100    22000   110000 |    95405    95325    143 |  0.000 % |
202.50/202.67	c |    290305 |    1100    22000   110000 | 2147483647    95697    143 |  0.000 % |
202.90/203.03	c |    290714 |    1100    22000   110000 | 2147483647    96106    143 |  0.000 % |
203.20/203.40	c |    291165 |    1100    22000   110000 | 2147483647    96557    142 |  0.000 % |
203.70/203.81	c |    291659 |    1100    22000   110000 | 2147483647    97051    142 |  0.000 % |
204.10/204.29	c |    292202 |    1100    22000   110000 | 2147483647    97594    142 |  0.000 % |
204.60/204.79	c |    292798 |    1100    22000   110000 | 2147483647    98190    142 |  0.000 % |
205.20/205.33	c |    293453 |    1100    22000   110000 | 2147483647    98845    142 |  0.000 % |
205.79/205.94	c |    294173 |    1100    22000   110000 | 2147483647    99565    142 |  0.000 % |
206.39/206.58	c |    294967 |    1100    22000   110000 | 2147483647   100359    142 |  0.000 % |
207.09/207.27	c |    295838 |    1100    22000   110000 | 2147483647   101230    142 |  0.000 % |
207.99/208.10	c |    296797 |    1100    22000   110000 | 2147483647   102189    142 |  0.000 % |
208.90/209.03	c |    297852 |    1100    22000   110000 | 2147483647   103244    142 |  0.000 % |
209.79/209.98	c |    299010 |    1100    22000   110000 | 2147483647   104402    143 |  0.000 % |
211.00/211.19	c |    300283 |    1100    22000   110000 |   105394   105675    143 |  0.000 % |
212.19/212.36	c |    301683 |    1100    22000   110000 |   105394    93642    143 |  0.000 % |
213.49/213.63	c |    303223 |    1100    22000   110000 |   105394    95182    143 |  0.000 % |
214.99/215.10	c |    304918 |    1100    22000   110000 |   105394    96877    144 |  0.000 % |
216.49/216.64	c |    306783 |    1100    22000   110000 |   105394    98742    144 |  0.000 % |
218.19/218.35	c |    308833 |    1100    22000   110000 |   105394   100792    144 |  0.000 % |
220.19/220.32	c |    311086 |    1100    22000   110000 |   101959    90473    144 |  0.000 % |
222.09/222.25	c |    313565 |    1100    22000   110000 |   101959    92952    144 |  0.000 % |
224.29/224.45	c |    316290 |    1100    22000   110000 |   101959    95677    144 |  0.000 % |
226.68/226.85	c |    319289 |    1100    22000   110000 |   101959    98676    144 |  0.000 % |
226.78/226.93	c |    319390 |    1100    22000   110000 |   101959    98777    144 |  0.000 % |
226.88/227.04	c |    319502 |    1100    22000   110000 |   101959    98889    144 |  0.000 % |
226.98/227.19	c |    319624 |    1100    22000   110000 |   101959    99011    144 |  0.000 % |
227.18/227.33	c |    319760 |    1100    22000   110000 |   101959    99147    144 |  0.000 % |
227.28/227.46	c |    319906 |    1100    22000   110000 |   101959    99293    144 |  0.000 % |
227.49/227.61	c |    320066 |    1100    22000   110000 |    99387    99453    144 |  0.000 % |
227.68/227.88	c |    320242 |    1100    22000   110000 |    99387    86639    144 |  0.000 % |
227.88/228.04	c |    320437 |    1100    22000   110000 |    99387    86834    144 |  0.000 % |
228.08/228.21	c |    320650 |    1100    22000   110000 |    99387    87047    144 |  0.000 % |
228.18/228.40	c |    320883 |    1100    22000   110000 |    99387    87280    144 |  0.000 % |
228.48/228.60	c |    321139 |    1100    22000   110000 |    99387    87536    144 |  0.000 % |
228.69/228.81	c |    321420 |    1100    22000   110000 |    99387    87817    144 |  0.000 % |
228.88/229.04	c |    321729 |    1100    22000   110000 |    99387    88126    144 |  0.000 % |
229.18/229.30	c |    322068 |    1100    22000   110000 |    99387    88465    144 |  0.000 % |
229.48/229.64	c |    322440 |    1100    22000   110000 |    99387    88837    144 |  0.000 % |
229.88/230.01	c |    322849 |    1100    22000   110000 |    99387    89246    144 |  0.000 % |
230.18/230.33	c |    323300 |    1100    22000   110000 |    99387    89697    144 |  0.000 % |
230.58/230.73	c |    323794 |    1100    22000   110000 |    99387    90191    144 |  0.000 % |
230.98/231.12	c |    324336 |    1100    22000   110000 |    99387    90733    144 |  0.000 % |
231.48/231.60	c |    324935 |    1100    22000   110000 |    99387    91332    144 |  0.000 % |
231.98/232.12	c |    325590 |    1100    22000   110000 |    99387    91987    144 |  0.000 % |
232.58/232.73	c |    326310 |    1100    22000   110000 |    99387    92707    144 |  0.000 % |
233.18/233.36	c |    327102 |    1100    22000   110000 |    99387    93499    144 |  0.000 % |
233.88/234.04	c |    327975 |    1100    22000   110000 |    99387    94372    144 |  0.000 % |
234.68/234.85	c |    328933 |    1100    22000   110000 |    99387    95330    144 |  0.000 % |
235.58/235.72	c |    329986 |    1100    22000   110000 |    99387    96383    144 |  0.000 % |
236.58/236.72	c |    331144 |    1100    22000   110000 |    96398    86189    144 |  0.000 % |
237.48/237.68	c |    332422 |    1100    22000   110000 |    96398    87467    144 |  0.000 % |
238.48/238.69	c |    333822 |    1100    22000   110000 |    96398    88867    144 |  0.000 % |
239.68/239.87	c |    335362 |    1100    22000   110000 |    96398    90407    144 |  0.000 % |
240.88/241.09	c |    337056 |    1100    22000   110000 |    96398    92101    144 |  0.000 % |
242.38/242.57	c |    338919 |    1100    22000   110000 |    96398    93964    144 |  0.000 % |
243.98/244.20	c |    340971 |    1100    22000   110000 |    95047    86435    144 |  0.000 % |
245.68/245.85	c |    343226 |    1100    22000   110000 |    95047    88690    144 |  0.000 % |
247.58/247.76	c |    345705 |    1100    22000   110000 |    95047    91169    144 |  0.000 % |
249.67/249.81	c |    348430 |    1100    22000   110000 |    95047    93894    145 |  0.000 % |
251.87/252.09	c |    351427 |    1100    22000   110000 | 2147483647    87346    145 |  0.000 % |
254.37/254.58	c |    354725 |    1100    22000   110000 | 2147483647    90644    145 |  0.000 % |
254.47/254.67	c |    354825 |    1100    22000   110000 | 2147483647    90744    145 |  0.000 % |
254.57/254.76	c |    354935 |    1100    22000   110000 | 2147483647    90854    145 |  0.000 % |
254.67/254.88	c |    355057 |    1100    22000   110000 | 2147483647    90976    145 |  0.000 % |
254.87/255.02	c |    355191 |    1100    22000   110000 | 2147483647    91110    145 |  0.000 % |
254.98/255.15	c |    355337 |    1100    22000   110000 | 2147483647    91256    145 |  0.000 % |
255.08/255.28	c |    355498 |    1100    22000   110000 | 2147483647    91417    145 |  0.000 % |
255.27/255.45	c |    355678 |    1100    22000   110000 | 2147483647    91597    145 |  0.000 % |
255.47/255.62	c |    355872 |    1100    22000   110000 | 2147483647    91791    145 |  0.000 % |
255.57/255.79	c |    356084 |    1100    22000   110000 | 2147483647    92003    145 |  0.000 % |
255.87/256.03	c |    356317 |    1100    22000   110000 | 2147483647    92236    145 |  0.000 % |
256.08/256.26	c |    356573 |    1100    22000   110000 | 2147483647    92492    145 |  0.000 % |
256.37/256.50	c |    356854 |    1100    22000   110000 | 2147483647    92773    145 |  0.000 % |
256.57/256.78	c |    357163 |    1100    22000   110000 | 2147483647    93082    145 |  0.000 % |
256.97/257.10	c |    357503 |    1100    22000   110000 | 2147483647    93422    145 |  0.000 % |
257.27/257.46	c |    357875 |    1100    22000   110000 | 2147483647    93794    145 |  0.000 % |
257.67/257.84	c |    358284 |    1100    22000   110000 | 2147483647    94203    145 |  0.000 % |
258.07/258.22	c |    358735 |    1100    22000   110000 | 2147483647    94654    145 |  0.000 % |
258.47/258.63	c |    359228 |    1100    22000   110000 | 2147483647    95147    145 |  0.000 % |
258.97/259.11	c |    359773 |    1100    22000   110000 | 2147483647    95692    145 |  0.000 % |
259.47/259.60	c |    360369 |    1100    22000   110000 |    95921    96288    145 |  0.000 % |
259.97/260.14	c |    361024 |    1100    22000   110000 |    95921    86716    145 |  0.000 % |
260.57/260.75	c |    361744 |    1100    22000   110000 |    95921    87436    145 |  0.000 % |
261.17/261.39	c |    362537 |    1100    22000   110000 |    95921    88229    145 |  0.000 % |
261.97/262.13	c |    363408 |    1100    22000   110000 |    95921    89100    145 |  0.000 % |
262.67/262.90	c |    364366 |    1100    22000   110000 |    95921    90058    145 |  0.000 % |
263.57/263.70	c |    365422 |    1100    22000   110000 |    95921    91114    145 |  0.000 % |
264.37/264.56	c |    366580 |    1100    22000   110000 |    95921    92272    145 |  0.000 % |
265.57/265.75	c |    367853 |    1100    22000   110000 |    95921    93545    145 |  0.000 % |
266.67/266.90	c |    369254 |    1100    22000   110000 |    95921    94946    145 |  0.000 % |
268.07/268.25	c |    370795 |    1100    22000   110000 |    95695    85948    145 |  0.000 % |
269.37/269.57	c |    372489 |    1100    22000   110000 |    95695    87642    145 |  0.000 % |
270.87/271.03	c |    374352 |    1100    22000   110000 |    95695    89505    145 |  0.000 % |
272.37/272.59	c |    376401 |    1100    22000   110000 |    95695    91554    145 |  0.000 % |
274.17/274.39	c |    378657 |    1100    22000   110000 |    95695    93810    145 |  0.000 % |
276.17/276.38	c |    381136 |    1100    22000   110000 | 2147483647    96289    145 |  0.000 % |
278.36/278.56	c |    383861 |    1100    22000   110000 | 2147483647    99014    145 |  0.000 % |
281.06/281.25	c |    386860 |    1100    22000   110000 | 2147483647   102013    145 |  0.000 % |
284.06/284.20	c |    390160 |    1100    22000   110000 |   105153   105313    146 |  0.000 % |
286.87/287.02	c |    393786 |    1100    22000   110000 |   105153    95821    146 |  0.000 % |
286.97/287.11	c |    393886 |    1100    22000   110000 |   105153    95921    146 |  0.000 % |
287.06/287.22	c |    393996 |    1100    22000   110000 |   105153    96031    146 |  0.000 % |
287.16/287.34	c |    394117 |    1100    22000   110000 |   105153    96152    146 |  0.000 % |
287.27/287.47	c |    394251 |    1100    22000   110000 |   105153    96286    146 |  0.000 % |
287.37/287.58	c |    394398 |    1100    22000   110000 |   105153    96433    146 |  0.000 % |
287.57/287.73	c |    394558 |    1100    22000   110000 |   105153    96593    146 |  0.000 % |
287.77/287.92	c |    394735 |    1100    22000   110000 |   105153    96770    146 |  0.000 % |
287.87/288.10	c |    394929 |    1100    22000   110000 |   105153    96964    146 |  0.000 % |
288.07/288.28	c |    395141 |    1100    22000   110000 |   105153    97176    146 |  0.000 % |
288.27/288.48	c |    395374 |    1100    22000   110000 |   105153    97409    146 |  0.000 % |
288.57/288.70	c |    395633 |    1100    22000   110000 |   105153    97668    146 |  0.000 % |
288.77/288.92	c |    395916 |    1100    22000   110000 |   105153    97951    146 |  0.000 % |
288.97/289.16	c |    396225 |    1100    22000   110000 |   105153    98260    146 |  0.000 % |
289.27/289.45	c |    396564 |    1100    22000   110000 |   105153    98599    146 |  0.000 % |
289.67/289.82	c |    396940 |    1100    22000   110000 |   105153    98975    146 |  0.000 % |
290.07/290.22	c |    397350 |    1100    22000   110000 |   105153    99385    146 |  0.000 % |
290.47/290.61	c |    397799 |    1100    22000   110000 |   105153    99834    146 |  0.000 % |
290.87/291.07	c |    398293 |    1100    22000   110000 |   105153   100328    146 |  0.000 % |
291.37/291.56	c |    398835 |    1100    22000   110000 |   105153   100870    146 |  0.000 % |
291.97/292.12	c |    399432 |    1100    22000   110000 |   105153   101467    146 |  0.000 % |
292.56/292.73	c |    400090 |    1100    22000   110000 |   102036   102125    146 |  0.000 % |
293.26/293.42	c |    400813 |    1100    22000   110000 |   102036    89614    145 |  0.000 % |
293.86/294.05	c |    401606 |    1100    22000   110000 |   102036    90407    145 |  0.000 % |
294.57/294.78	c |    402477 |    1100    22000   110000 |   102036    91278    145 |  0.000 % |
295.36/295.57	c |    403435 |    1100    22000   110000 |   102036    92236    145 |  0.000 % |
296.26/296.41	c |    404488 |    1100    22000   110000 |   102036    93289    144 |  0.000 % |
297.16/297.35	c |    405646 |    1100    22000   110000 |   102036    94447    144 |  0.000 % |
298.16/298.32	c |    406919 |    1100    22000   110000 |   102036    95720    144 |  0.000 % |
299.26/299.49	c |    408323 |    1100    22000   110000 |   102036    97124    144 |  0.000 % |
300.56/300.71	c |    409865 |    1100    22000   110000 |   102036    98666    144 |  0.000 % |
301.86/302.08	c |    411560 |    1100    22000   110000 |    98802    88547    145 |  0.000 % |
303.36/303.52	c |    413427 |    1100    22000   110000 |    98802    90414    145 |  0.000 % |
305.06/305.21	c |    415477 |    1100    22000   110000 |    98802    92464    145 |  0.000 % |
306.86/307.00	c |    417731 |    1100    22000   110000 |    98802    94718    145 |  0.000 % |
308.86/309.03	c |    420209 |    1100    22000   110000 |    96989    97196    145 |  0.000 % |
310.86/311.05	c |    422934 |    1100    22000   110000 |    96989    89135    146 |  0.000 % |
313.06/313.22	c |    425932 |    1100    22000   110000 |    96989    92133    146 |  0.000 % |
315.56/315.71	c |    429230 |    1100    22000   110000 |    96989    95431    146 |  0.000 % |
318.26/318.48	c |    432855 |    1100    22000   110000 | 2147483647    99056    146 |  0.000 % |
321.46/321.69	c |    436842 |    1100    22000   110000 | 2147483647   103043    146 |  0.000 % |
321.56/321.79	c |    436944 |    1100    22000   110000 | 2147483647   103145    146 |  0.000 % |
321.76/321.91	c |    437054 |    1100    22000   110000 | 2147483647   103255    146 |  0.000 % |
321.86/322.05	c |    437176 |    1100    22000   110000 | 2147483647   103377    146 |  0.000 % |
322.06/322.21	c |    437309 |    1100    22000   110000 | 2147483647   103510    146 |  0.000 % |
322.16/322.33	c |    437457 |    1100    22000   110000 | 2147483647   103658    146 |  0.000 % |
322.26/322.49	c |    437617 |    1100    22000   110000 | 2147483647   103818    146 |  0.000 % |
322.45/322.67	c |    437793 |    1100    22000   110000 | 2147483647   103994    146 |  0.000 % |
322.65/322.86	c |    437986 |    1100    22000   110000 | 2147483647   104187    146 |  0.000 % |
322.85/323.05	c |    438198 |    1100    22000   110000 | 2147483647   104399    146 |  0.000 % |
323.05/323.26	c |    438432 |    1100    22000   110000 | 2147483647   104633    146 |  0.000 % |
323.35/323.50	c |    438688 |    1100    22000   110000 | 2147483647   104889    145 |  0.000 % |
323.55/323.76	c |    438969 |    1100    22000   110000 | 2147483647   105170    145 |  0.000 % |
323.85/324.08	c |    439278 |    1100    22000   110000 | 2147483647   105479    145 |  0.000 % |
324.25/324.40	c |    439618 |    1100    22000   110000 | 2147483647   105819    145 |  0.000 % |
324.55/324.73	c |    439990 |    1100    22000   110000 | 2147483647   106191    145 |  0.000 % |
324.85/325.09	c |    440401 |    1100    22000   110000 |   106203   106602    145 |  0.000 % |
325.35/325.54	c |    440850 |    1100    22000   110000 |   106203    93009    145 |  0.000 % |
325.75/325.97	c |    441343 |    1100    22000   110000 |   106203    93502    144 |  0.000 % |
326.25/326.41	c |    441885 |    1100    22000   110000 |   106203    94044    144 |  0.000 % |
326.65/326.86	c |    442482 |    1100    22000   110000 |   106203    94641    144 |  0.000 % |
327.15/327.39	c |    443137 |    1100    22000   110000 |   106203    95296    144 |  0.000 % |
327.75/327.96	c |    443859 |    1100    22000   110000 |   106203    96018    144 |  0.000 % |
328.45/328.62	c |    444651 |    1100    22000   110000 |   106203    96810    144 |  0.000 % |
329.15/329.31	c |    445523 |    1100    22000   110000 |   106203    97682    144 |  0.000 % |
330.04/330.21	c |    446484 |    1100    22000   110000 |   106203    98643    144 |  0.000 % |
330.95/331.13	c |    447537 |    1100    22000   110000 |   106203    99696    144 |  0.000 % |
331.95/332.13	c |    448696 |    1100    22000   110000 |   106203   100855    144 |  0.000 % |
333.05/333.20	c |    449969 |    1100    22000   110000 |   106203   102128    144 |  0.000 % |
334.15/334.37	c |    451371 |    1100    22000   110000 |   102159    89840    144 |  0.000 % |
335.34/335.53	c |    452911 |    1100    22000   110000 |   102159    91380    144 |  0.000 % |
336.64/336.83	c |    454606 |    1100    22000   110000 |   102159    93075    144 |  0.000 % |
338.14/338.32	c |    456470 |    1100    22000   110000 |   102159    94939    144 |  0.000 % |
339.94/340.13	c |    458520 |    1100    22000   110000 |   102159    96989    144 |  0.000 % |
341.94/342.18	c |    460775 |    1100    22000   110000 |    98469    87424    144 |  0.000 % |
343.74/343.97	c |    463253 |    1100    22000   110000 |    98469    89902    144 |  0.000 % |
345.83/346.03	c |    465978 |    1100    22000   110000 |    98469    92627    144 |  0.000 % |
348.13/348.40	c |    468978 |    1100    22000   110000 |    98469    95627    144 |  0.000 % |
350.74/350.93	c |    472275 |    1100    22000   110000 |    96650    88354    144 |  0.000 % |
353.33/353.58	c |    475903 |    1100    22000   110000 |    96650    91982    144 |  0.000 % |
356.53/356.76	c |    479891 |    1100    22000   110000 |    96650    95970    144 |  0.000 % |
360.23/360.49	c |    484276 |    1100    22000   110000 | 2147483647   100355    144 |  0.000 % |
360.33/360.59	c |    484378 |    1100    22000   110000 | 2147483647   100457    144 |  0.000 % |
360.43/360.70	c |    484488 |    1100    22000   110000 | 2147483647   100567    144 |  0.000 % |
360.63/360.83	c |    484611 |    1100    22000   110000 | 2147483647   100690    144 |  0.000 % |
360.73/360.95	c |    484744 |    1100    22000   110000 | 2147483647   100823    144 |  0.000 % |
360.93/361.11	c |    484890 |    1100    22000   110000 | 2147483647   100969    144 |  0.000 % |
361.03/361.26	c |    485051 |    1100    22000   110000 | 2147483647   101130    144 |  0.000 % |
361.23/361.46	c |    485227 |    1100    22000   110000 | 2147483647   101306    144 |  0.000 % |
361.43/361.66	c |    485421 |    1100    22000   110000 | 2147483647   101500    144 |  0.000 % |
361.63/361.87	c |    485633 |    1100    22000   110000 | 2147483647   101712    144 |  0.000 % |
361.83/362.09	c |    485867 |    1100    22000   110000 | 2147483647   101946    144 |  0.000 % |
362.13/362.31	c |    486123 |    1100    22000   110000 | 2147483647   102202    144 |  0.000 % |
362.33/362.56	c |    486404 |    1100    22000   110000 | 2147483647   102483    144 |  0.000 % |
362.63/362.86	c |    486713 |    1100    22000   110000 | 2147483647   102792    144 |  0.000 % |
362.93/363.19	c |    487053 |    1100    22000   110000 | 2147483647   103132    144 |  0.000 % |
363.33/363.60	c |    487425 |    1100    22000   110000 | 2147483647   103504    144 |  0.000 % |
363.73/363.94	c |    487835 |    1100    22000   110000 | 2147483647   103914    144 |  0.000 % |
364.13/364.35	c |    488287 |    1100    22000   110000 | 2147483647   104366    144 |  0.000 % |
364.63/364.81	c |    488780 |    1100    22000   110000 | 2147483647   104859    144 |  0.000 % |
365.12/365.31	c |    489322 |    1100    22000   110000 | 2147483647   105401    144 |  0.000 % |
365.62/365.88	c |    489919 |    1100    22000   110000 | 2147483647   105998    144 |  0.000 % |
366.32/366.52	c |    490574 |    1100    22000   110000 |   106079    91266    144 |  0.000 % |
366.92/367.14	c |    491294 |    1100    22000   110000 |   106079    91986    144 |  0.000 % |
367.52/367.79	c |    492086 |    1100    22000   110000 |   106079    92778    144 |  0.000 % |
368.23/368.50	c |    492959 |    1100    22000   110000 |   106079    93651    144 |  0.000 % |
369.02/369.26	c |    493918 |    1100    22000   110000 |   106079    94610    144 |  0.000 % |
369.92/370.14	c |    494971 |    1100    22000   110000 |   106079    95663    143 |  0.000 % |
370.92/371.10	c |    496130 |    1100    22000   110000 |   106079    96822    143 |  0.000 % |
371.92/372.14	c |    497403 |    1100    22000   110000 |   106079    98095    143 |  0.000 % |
373.12/373.31	c |    498804 |    1100    22000   110000 |   106079    99496    143 |  0.000 % |
374.42/374.62	c |    500344 |    1100    22000   110000 |   100693   101036    143 |  0.000 % |
375.82/376.00	c |    502038 |    1100    22000   110000 |   100693    89437    143 |  0.000 % |
377.22/377.47	c |    503902 |    1100    22000   110000 |   100693    91301    143 |  0.000 % |
378.82/379.05	c |    505951 |    1100    22000   110000 |   100693    93350    143 |  0.000 % |
380.62/380.81	c |    508206 |    1100    22000   110000 |   100693    95605    144 |  0.000 % |
382.72/382.92	c |    510684 |    1100    22000   110000 |    97399    86566    143 |  0.000 % |
384.82/385.10	c |    513409 |    1100    22000   110000 |    97399    89291    143 |  0.000 % |
387.12/387.34	c |    516406 |    1100    22000   110000 |    97399    92288    143 |  0.000 % |
389.61/389.82	c |    519702 |    1100    22000   110000 |    97399    95584    143 |  0.000 % |
392.42/392.63	c |    523327 |    1100    22000   110000 |    95883    89372    143 |  0.000 % |
395.61/395.85	c |    527314 |    1100    22000   110000 |    95883    93359    143 |  0.000 % |
399.02/399.30	c |    531699 |    1100    22000   110000 | 2147483647    97744    144 |  0.000 % |
403.11/403.35	c |    536522 |    1100    22000   110000 | 2147483647   102567    144 |  0.000 % |
403.21/403.46	c |    536622 |    1100    22000   110000 | 2147483647   102667    144 |  0.000 % |
403.31/403.57	c |    536732 |    1100    22000   110000 | 2147483647   102777    144 |  0.000 % |
403.41/403.69	c |    536855 |    1100    22000   110000 | 2147483647   102900    144 |  0.000 % |
403.61/403.82	c |    536988 |    1100    22000   110000 | 2147483647   103033    144 |  0.000 % |
403.71/403.96	c |    537134 |    1100    22000   110000 | 2147483647   103179    144 |  0.000 % |
403.92/404.11	c |    537294 |    1100    22000   110000 | 2147483647   103339    144 |  0.000 % |
404.02/404.27	c |    537471 |    1100    22000   110000 | 2147483647   103516    144 |  0.000 % |
404.22/404.47	c |    537664 |    1100    22000   110000 | 2147483647   103709    144 |  0.000 % |
404.42/404.67	c |    537876 |    1100    22000   110000 | 2147483647   103921    144 |  0.000 % |
404.72/404.90	c |    538110 |    1100    22000   110000 | 2147483647   104155    144 |  0.000 % |
404.92/405.14	c |    538368 |    1100    22000   110000 | 2147483647   104413    144 |  0.000 % |
405.22/405.40	c |    538649 |    1100    22000   110000 | 2147483647   104694    144 |  0.000 % |
405.41/405.70	c |    538959 |    1100    22000   110000 | 2147483647   105004    144 |  0.000 % |
405.72/405.98	c |    539302 |    1100    22000   110000 | 2147483647   105347    144 |  0.000 % |
406.11/406.30	c |    539674 |    1100    22000   110000 | 2147483647   105719    144 |  0.000 % |
406.41/406.67	c |    540083 |    1100    22000   110000 |   106046   106128    144 |  0.000 % |
406.91/407.18	c |    540533 |    1100    22000   110000 |   106046    92610    145 |  0.000 % |
407.41/407.66	c |    541029 |    1100    22000   110000 |   106046    93106    145 |  0.000 % |
407.92/408.17	c |    541575 |    1100    22000   110000 |   106046    93652    145 |  0.000 % |
408.41/408.67	c |    542174 |    1100    22000   110000 |   106046    94251    144 |  0.000 % |
409.02/409.24	c |    542829 |    1100    22000   110000 |   106046    94906    144 |  0.000 % |
409.61/409.83	c |    543551 |    1100    22000   110000 |   106046    95628    144 |  0.000 % |
410.31/410.52	c |    544344 |    1100    22000   110000 |   106046    96421    144 |  0.000 % |
411.01/411.23	c |    545216 |    1100    22000   110000 |   106046    97293    144 |  0.000 % |
411.81/412.04	c |    546174 |    1100    22000   110000 |   106046    98251    144 |  0.000 % |
412.71/412.95	c |    547228 |    1100    22000   110000 |   106046    99305    144 |  0.000 % |
413.71/413.93	c |    548386 |    1100    22000   110000 |   106046   100463    144 |  0.000 % |
414.71/414.97	c |    549659 |    1100    22000   110000 |   106046   101736    144 |  0.000 % |
416.01/416.26	c |    551059 |    1100    22000   110000 |   102077    89154    144 |  0.000 % |
417.21/417.48	c |    552599 |    1100    22000   110000 |   102077    90694    144 |  0.000 % |
418.61/418.86	c |    554294 |    1100    22000   110000 |   102077    92389    144 |  0.000 % |
420.11/420.35	c |    556157 |    1100    22000   110000 |   102077    94252    144 |  0.000 % |
421.91/422.11	c |    558206 |    1100    22000   110000 |   102077    96301    144 |  0.000 % |
423.81/424.06	c |    560459 |    1100    22000   110000 |    98097    86543    144 |  0.000 % |
425.61/425.89	c |    562938 |    1100    22000   110000 |    98097    89022    144 |  0.000 % |
427.81/428.06	c |    565664 |    1100    22000   110000 |    98097    91748    144 |  0.000 % |
430.20/430.42	c |    568661 |    1100    22000   110000 |    98097    94745    144 |  0.000 % |
432.80/433.08	c |    571958 |    1100    22000   110000 |    96084    87895    144 |  0.000 % |
435.70/435.93	c |    575584 |    1100    22000   110000 |    96084    91521    144 |  0.000 % |
438.90/439.10	c |    579571 |    1100    22000   110000 |    96084    95508    144 |  0.000 % |
442.30/442.52	c |    583957 |    1100    22000   110000 |    95937    89821    145 |  0.000 % |
446.00/446.23	c |    588782 |    1100    22000   110000 |    95937    94646    146 |  0.000 % |
450.20/450.40	c |    594087 |    1100    22000   110000 |    95865    89410    146 |  0.000 % |
450.30/450.50	c |    594187 |    1100    22000   110000 |    95865    89510    146 |  0.000 % |
450.40/450.61	c |    594299 |    1100    22000   110000 |    95865    89622    146 |  0.000 % |
450.50/450.73	c |    594420 |    1100    22000   110000 |    95865    89743    146 |  0.000 % |
450.60/450.85	c |    594554 |    1100    22000   110000 |    95865    89877    146 |  0.000 % |
450.70/450.99	c |    594702 |    1100    22000   110000 |    95865    90025    146 |  0.000 % |
450.90/451.15	c |    594863 |    1100    22000   110000 |    95865    90186    146 |  0.000 % |
451.00/451.29	c |    595039 |    1100    22000   110000 |    95865    90362    146 |  0.000 % |
451.20/451.49	c |    595233 |    1100    22000   110000 |    95865    90556    146 |  0.000 % |
451.40/451.68	c |    595446 |    1100    22000   110000 |    95865    90769    146 |  0.000 % |
451.60/451.87	c |    595681 |    1100    22000   110000 |    95865    91004    146 |  0.000 % |
451.80/452.08	c |    595937 |    1100    22000   110000 |    95865    91260    146 |  0.000 % |
452.10/452.32	c |    596219 |    1100    22000   110000 |    95865    91542    146 |  0.000 % |
452.30/452.56	c |    596528 |    1100    22000   110000 |    95865    91851    146 |  0.000 % |
452.70/452.91	c |    596870 |    1100    22000   110000 |    95865    92193    146 |  0.000 % |
453.00/453.26	c |    597242 |    1100    22000   110000 |    95865    92565    146 |  0.000 % |
453.30/453.60	c |    597652 |    1100    22000   110000 |    95865    92975    146 |  0.000 % |
453.70/453.98	c |    598101 |    1100    22000   110000 |    95865    93424    146 |  0.000 % |
454.20/454.42	c |    598595 |    1100    22000   110000 |    95865    93918    146 |  0.000 % |
454.70/454.92	c |    599137 |    1100    22000   110000 |    95865    94460    146 |  0.000 % |
455.10/455.39	c |    599733 |    1100    22000   110000 |    95865    95056    146 |  0.000 % |
455.69/455.96	c |    600389 |    1100    22000   110000 |    95326    95712    146 |  0.000 % |
456.39/456.60	c |    601109 |    1100    22000   110000 |    95326    85957    146 |  0.000 % |
456.89/457.17	c |    601904 |    1100    22000   110000 |    95326    86752    146 |  0.000 % |
457.59/457.82	c |    602776 |    1100    22000   110000 |    95326    87624    146 |  0.000 % |
458.29/458.50	c |    603734 |    1100    22000   110000 |    95326    88582    145 |  0.000 % |
458.99/459.29	c |    604787 |    1100    22000   110000 |    95326    89635    145 |  0.000 % |
459.89/460.16	c |    605947 |    1100    22000   110000 |    95326    90795    145 |  0.000 % |
460.89/461.12	c |    607220 |    1100    22000   110000 |    95326    92068    145 |  0.000 % |
461.99/462.23	c |    608621 |    1100    22000   110000 |    95326    93469    145 |  0.000 % |
463.19/463.40	c |    610162 |    1100    22000   110000 | 2147483647    95010    145 |  0.000 % |
464.49/464.77	c |    611856 |    1100    22000   110000 | 2147483647    96704    146 |  0.000 % |
465.99/466.25	c |    613719 |    1100    22000   110000 | 2147483647    98567    146 |  0.000 % |
467.69/467.91	c |    615769 |    1100    22000   110000 | 2147483647   100617    146 |  0.000 % |
469.40/469.65	c |    618023 |    1100    22000   110000 | 2147483647   102871    146 |  0.000 % |
471.59/471.83	c |    620502 |    1100    22000   110000 |   104848    93345    145 |  0.000 % |
473.89/474.13	c |    623227 |    1100    22000   110000 |   104848    96070    146 |  0.000 % |
476.29/476.52	c |    626224 |    1100    22000   110000 |   104848    99067    146 |  0.000 % |
478.99/479.21	c |    629520 |    1100    22000   110000 |   104848   102363    146 |  0.000 % |
481.99/482.29	c |    633145 |    1100    22000   110000 |   102843    93046    146 |  0.000 % |
485.28/485.56	c |    637133 |    1100    22000   110000 |   102843    97034    146 |  0.000 % |
489.08/489.30	c |    641520 |    1100    22000   110000 |    99903    89237    147 |  0.000 % |
492.98/493.23	c |    646343 |    1100    22000   110000 |    99903    94060    147 |  0.000 % |
497.48/497.72	c |    651648 |    1100    22000   110000 |    97717    87980    147 |  0.000 % |
502.08/502.35	c |    657483 |    1100    22000   110000 |    97717    93815    147 |  0.000 % |
502.18/502.46	c |    657584 |    1100    22000   110000 |    97717    93916    147 |  0.000 % |
502.28/502.58	c |    657694 |    1100    22000   110000 |    97717    94026    147 |  0.000 % |
502.38/502.69	c |    657815 |    1100    22000   110000 |    97717    94147    147 |  0.000 % |
502.58/502.81	c |    657951 |    1100    22000   110000 |    97717    94283    147 |  0.000 % |
502.68/502.97	c |    658097 |    1100    22000   110000 |    97717    94429    147 |  0.000 % |
502.88/503.14	c |    658259 |    1100    22000   110000 |    97717    94591    147 |  0.000 % |
503.08/503.30	c |    658436 |    1100    22000   110000 |    97717    94768    147 |  0.000 % |
503.18/503.48	c |    658630 |    1100    22000   110000 |    97717    94962    147 |  0.000 % |
503.38/503.68	c |    658843 |    1100    22000   110000 |    97717    95175    147 |  0.000 % |
503.58/503.89	c |    659076 |    1100    22000   110000 |    97717    95408    147 |  0.000 % |
503.88/504.15	c |    659332 |    1100    22000   110000 |    97717    95664    147 |  0.000 % |
504.18/504.40	c |    659614 |    1100    22000   110000 |    97717    95946    147 |  0.000 % |
504.38/504.69	c |    659923 |    1100    22000   110000 |    97717    96255    147 |  0.000 % |
504.68/504.99	c |    660262 |    1100    22000   110000 |    96333    96594    147 |  0.000 % |
505.08/505.34	c |    660634 |    1100    22000   110000 |    96333    86065    146 |  0.000 % |
505.38/505.65	c |    661043 |    1100    22000   110000 |    96333    86474    146 |  0.000 % |
505.78/506.02	c |    661492 |    1100    22000   110000 |    96333    86923    146 |  0.000 % |
506.18/506.41	c |    661988 |    1100    22000   110000 |    96333    87419    146 |  0.000 % |
506.58/506.83	c |    662532 |    1100    22000   110000 |    96333    87963    146 |  0.000 % |
507.08/507.37	c |    663128 |    1100    22000   110000 |    96333    88559    146 |  0.000 % |
507.57/507.88	c |    663784 |    1100    22000   110000 |    96333    89215    146 |  0.000 % |
508.17/508.47	c |    664504 |    1100    22000   110000 |    96333    89935    146 |  0.000 % |
508.87/509.16	c |    665298 |    1100    22000   110000 |    96333    90729    146 |  0.000 % |
509.57/509.89	c |    666169 |    1100    22000   110000 |    96333    91600    146 |  0.000 % |
510.37/510.68	c |    667128 |    1100    22000   110000 |    96333    92559    146 |  0.000 % |
511.28/511.57	c |    668181 |    1100    22000   110000 |    96333    93612    146 |  0.000 % |
512.17/512.47	c |    669339 |    1100    22000   110000 |    96333    94770    146 |  0.000 % |
513.27/513.58	c |    670612 |    1100    22000   110000 |    95431    85102    146 |  0.000 % |
514.37/514.66	c |    672012 |    1100    22000   110000 |    95431    86502    146 |  0.000 % |
515.57/515.82	c |    673552 |    1100    22000   110000 |    95431    88042    146 |  0.000 % |
516.87/517.15	c |    675246 |    1100    22000   110000 |    95431    89736    145 |  0.000 % |
518.37/518.62	c |    677110 |    1100    22000   110000 |    95431    91600    145 |  0.000 % |
519.97/520.24	c |    679159 |    1100    22000   110000 |    95431    93649    145 |  0.000 % |
521.67/521.99	c |    681415 |    1100    22000   110000 |    94490    86291    145 |  0.000 % |
523.57/523.84	c |    683893 |    1100    22000   110000 |    94490    88769    145 |  0.000 % |
525.57/525.86	c |    686622 |    1100    22000   110000 |    94490    91498    145 |  0.000 % |
527.87/528.20	c |    689619 |    1100    22000   110000 |    94490    94495    145 |  0.000 % |
530.47/530.73	c |    692915 |    1100    22000   110000 | 2147483647    88342    146 |  0.000 % |
533.17/533.45	c |    696541 |    1100    22000   110000 | 2147483647    91968    146 |  0.000 % |
536.47/536.80	c |    700528 |    1100    22000   110000 | 2147483647    95955    146 |  0.000 % |
540.16/540.46	c |    704915 |    1100    22000   110000 | 2147483647   100342    147 |  0.000 % |
544.16/544.48	c |    709738 |    1100    22000   110000 | 2147483647   105165    147 |  0.000 % |
548.75/549.07	c |    715044 |    1100    22000   110000 |   105428    96871    147 |  0.000 % |
553.65/553.95	c |    720879 |    1100    22000   110000 |   101827    89019    146 |  0.000 % |
559.15/559.48	c |    727299 |    1100    22000   110000 |   101827    95439    147 |  0.000 % |
559.25/559.57	c |    727399 |    1100    22000   110000 |   101827    95539    147 |  0.000 % |
559.35/559.68	c |    727510 |    1100    22000   110000 |   101827    95650    147 |  0.000 % |
559.55/559.82	c |    727631 |    1100    22000   110000 |   101827    95771    147 |  0.000 % |
559.65/559.95	c |    727766 |    1100    22000   110000 |   101827    95906    147 |  0.000 % |
559.75/560.09	c |    727913 |    1100    22000   110000 |   101827    96053    147 |  0.000 % |
559.95/560.24	c |    728073 |    1100    22000   110000 |   101827    96213    147 |  0.000 % |
560.15/560.43	c |    728249 |    1100    22000   110000 |   101827    96389    147 |  0.000 % |
560.25/560.59	c |    728443 |    1100    22000   110000 |   101827    96583    147 |  0.000 % |
560.45/560.78	c |    728657 |    1100    22000   110000 |   101827    96797    147 |  0.000 % |
560.65/560.99	c |    728890 |    1100    22000   110000 |   101827    97030    147 |  0.000 % |
560.95/561.23	c |    729147 |    1100    22000   110000 |   101827    97287    147 |  0.000 % |
561.15/561.48	c |    729429 |    1100    22000   110000 |   101827    97569    146 |  0.000 % |
561.45/561.74	c |    729738 |    1100    22000   110000 |   101827    97878    146 |  0.000 % |
561.75/562.04	c |    730080 |    1100    22000   110000 |    98142    98220    146 |  0.000 % |
562.15/562.46	c |    730454 |    1100    22000   110000 |    98142    86308    147 |  0.000 % |
562.55/562.82	c |    730866 |    1100    22000   110000 |    98142    86720    147 |  0.000 % |
562.85/563.18	c |    731321 |    1100    22000   110000 |    98142    87175    147 |  0.000 % |
563.25/563.58	c |    731814 |    1100    22000   110000 |    98142    87668    147 |  0.000 % |
563.75/564.02	c |    732357 |    1100    22000   110000 |    98142    88211    147 |  0.000 % |
564.25/564.51	c |    732954 |    1100    22000   110000 |    98142    88808    147 |  0.000 % |
564.75/565.03	c |    733610 |    1100    22000   110000 |    98142    89464    147 |  0.000 % |
565.35/565.65	c |    734332 |    1100    22000   110000 |    98142    90186    147 |  0.000 % |
565.95/566.29	c |    735124 |    1100    22000   110000 |    98142    90978    147 |  0.000 % |
566.64/566.93	c |    735996 |    1100    22000   110000 |    98142    91850    147 |  0.000 % |
567.35/567.66	c |    736954 |    1100    22000   110000 |    98142    92808    147 |  0.000 % |
568.14/568.44	c |    738007 |    1100    22000   110000 |    98142    93861    147 |  0.000 % |
569.14/569.44	c |    739166 |    1100    22000   110000 |    98142    95020    147 |  0.000 % |
570.24/570.57	c |    740440 |    1100    22000   110000 |    95854    85683    146 |  0.000 % |
571.35/571.61	c |    741840 |    1100    22000   110000 |    95854    87083    146 |  0.000 % |
572.55/572.82	c |    743382 |    1100    22000   110000 |    95854    88625    146 |  0.000 % |
573.75/574.04	c |    745076 |    1100    22000   110000 |    95854    90319    146 |  0.000 % |
575.35/575.67	c |    746939 |    1100    22000   110000 |    95854    92182    146 |  0.000 % |
577.05/577.35	c |    748988 |    1100    22000   110000 |    95854    94231    146 |  0.000 % |
578.85/579.15	c |    751241 |    1100    22000   110000 |    95244    86456    147 |  0.000 % |
580.65/580.93	c |    753720 |    1100    22000   110000 |    95244    88935    147 |  0.000 % |
582.75/583.03	c |    756445 |    1100    22000   110000 |    95244    91660    147 |  0.000 % |
585.15/585.47	c |    759442 |    1100    22000   110000 |    95244    94657    148 |  0.000 % |
587.64/587.99	c |    762738 |    1100    22000   110000 | 2147483647    97953    148 |  0.000 % |
590.74/591.03	c |    766363 |    1100    22000   110000 | 2147483647   101578    148 |  0.000 % |
594.14/594.42	c |    770351 |    1100    22000   110000 |   105215   105566    148 |  0.000 % |
597.84/598.11	c |    774736 |    1100    22000   110000 |   105215    97167    149 |  0.000 % |
602.04/602.30	c |    779559 |    1100    22000   110000 |   105215   101990    149 |  0.000 % |
606.33/606.65	c |    784864 |    1100    22000   110000 |   102431    94570    149 |  0.000 % |
611.34/611.62	c |    790701 |    1100    22000   110000 |    99707    87759    150 |  0.000 % |
616.53/616.86	c |    797119 |    1100    22000   110000 |    99707    94177    151 |  0.000 % |
622.13/622.48	c |    804179 |    1100    22000   110000 |    97058    90474    151 |  0.000 % |
622.23/622.57	c |    804280 |    1100    22000   110000 |    97058    90575    151 |  0.000 % |
622.33/622.67	c |    804393 |    1100    22000   110000 |    97058    90688    151 |  0.000 % |
622.43/622.79	c |    804517 |    1100    22000   110000 |    97058    90812    150 |  0.000 % |
622.63/622.94	c |    804651 |    1100    22000   110000 |    97058    90946    150 |  0.000 % |
622.73/623.08	c |    804801 |    1100    22000   110000 |    97058    91096    150 |  0.000 % |
622.93/623.23	c |    804961 |    1100    22000   110000 |    97058    91256    150 |  0.000 % |
623.03/623.39	c |    805137 |    1100    22000   110000 |    97058    91432    150 |  0.000 % |
623.23/623.56	c |    805332 |    1100    22000   110000 |    97058    91627    150 |  0.000 % |
623.43/623.75	c |    805544 |    1100    22000   110000 |    97058    91839    150 |  0.000 % |
623.63/623.99	c |    805778 |    1100    22000   110000 |    97058    92073    150 |  0.000 % |
623.93/624.22	c |    806034 |    1100    22000   110000 |    97058    92329    150 |  0.000 % |
624.13/624.49	c |    806316 |    1100    22000   110000 |    97058    92611    150 |  0.000 % |
624.43/624.78	c |    806625 |    1100    22000   110000 |    97058    92920    150 |  0.000 % |
624.73/625.09	c |    806964 |    1100    22000   110000 |    97058    93259    150 |  0.000 % |
625.13/625.42	c |    807339 |    1100    22000   110000 |    97058    93634    150 |  0.000 % |
625.43/625.75	c |    807750 |    1100    22000   110000 |    97058    94045    150 |  0.000 % |
625.83/626.11	c |    808200 |    1100    22000   110000 |    97058    94495    150 |  0.000 % |
626.13/626.49	c |    808695 |    1100    22000   110000 |    97058    94990    150 |  0.000 % |
626.53/626.89	c |    809237 |    1100    22000   110000 |    97058    95532    150 |  0.000 % |
627.03/627.39	c |    809833 |    1100    22000   110000 |    97058    96128    150 |  0.000 % |
627.62/627.99	c |    810488 |    1100    22000   110000 |    96296    86088    149 |  0.000 % |
628.22/628.53	c |    811210 |    1100    22000   110000 |    96296    86810    149 |  0.000 % |
628.83/629.13	c |    812002 |    1100    22000   110000 |    96296    87602    149 |  0.000 % |
629.62/629.90	c |    812875 |    1100    22000   110000 |    96296    88475    149 |  0.000 % |
630.32/630.64	c |    813833 |    1100    22000   110000 |    96296    89433    149 |  0.000 % |
631.13/631.48	c |    814887 |    1100    22000   110000 |    96296    90487    149 |  0.000 % |
632.02/632.36	c |    816045 |    1100    22000   110000 |    96296    91645    149 |  0.000 % |
633.12/633.41	c |    817319 |    1100    22000   110000 |    96296    92919    149 |  0.000 % |
634.22/634.56	c |    818719 |    1100    22000   110000 |    96296    94319    149 |  0.000 % |
635.43/635.78	c |    820260 |    1100    22000   110000 |    95601    95860    149 |  0.000 % |
636.72/637.07	c |    821955 |    1100    22000   110000 |    95601    87244    149 |  0.000 % |
638.22/638.51	c |    823818 |    1100    22000   110000 |    95601    89107    149 |  0.000 % |
639.62/639.99	c |    825869 |    1100    22000   110000 |    95601    91158    149 |  0.000 % |
641.42/641.71	c |    828122 |    1100    22000   110000 |    95601    93411    149 |  0.000 % |
643.32/643.66	c |    830600 |    1100    22000   110000 | 2147483647    95889    149 |  0.000 % |
645.42/645.75	c |    833325 |    1100    22000   110000 | 2147483647    98614    149 |  0.000 % |
647.92/648.23	c |    836322 |    1100    22000   110000 | 2147483647   101611    149 |  0.000 % |
650.62/650.96	c |    839620 |    1100    22000   110000 | 2147483647   104909    148 |  0.000 % |
653.61/653.95	c |    843246 |    1100    22000   110000 |   105289    95818    149 |  0.000 % |
657.01/657.32	c |    847233 |    1100    22000   110000 |   105289    99805    149 |  0.000 % |
660.82/661.10	c |    851618 |    1100    22000   110000 |   102572    91611    149 |  0.000 % |
664.61/664.90	c |    856441 |    1100    22000   110000 |   102572    96434    149 |  0.000 % |
669.01/669.38	c |    861747 |    1100    22000   110000 |    99993    90245    148 |  0.000 % |
673.91/674.28	c |    867582 |    1100    22000   110000 |    99993    96080    149 |  0.000 % |
679.01/679.39	c |    874000 |    1100    22000   110000 |    98500    91047    148 |  0.000 % |
684.70/685.05	c |    881059 |    1100    22000   110000 |    97052    86966    147 |  0.000 % |
690.70/691.03	c |    888823 |    1100    22000   110000 |    97052    94730    147 |  0.000 % |
690.80/691.12	c |    888925 |    1100    22000   110000 |    97052    94832    147 |  0.000 % |
690.90/691.22	c |    889035 |    1100    22000   110000 |    97052    94942    147 |  0.000 % |
691.00/691.34	c |    889156 |    1100    22000   110000 |    97052    95063    147 |  0.000 % |
691.10/691.46	c |    889289 |    1100    22000   110000 |    97052    95196    147 |  0.000 % |
691.30/691.60	c |    889436 |    1100    22000   110000 |    97052    95343    147 |  0.000 % |
691.40/691.75	c |    889596 |    1100    22000   110000 |    97052    95503    147 |  0.000 % |
691.60/691.93	c |    889772 |    1100    22000   110000 |    97052    95679    147 |  0.000 % |
691.80/692.11	c |    889965 |    1100    22000   110000 |    97052    95872    147 |  0.000 % |
692.00/692.31	c |    890179 |    1100    22000   110000 |    95907    96086    147 |  0.000 % |
692.20/692.59	c |    890412 |    1100    22000   110000 |    95907    85330    147 |  0.000 % |
692.50/692.80	c |    890669 |    1100    22000   110000 |    95907    85587    147 |  0.000 % |
692.70/693.02	c |    890950 |    1100    22000   110000 |    95907    85868    146 |  0.000 % |
692.90/693.29	c |    891260 |    1100    22000   110000 |    95907    86178    146 |  0.000 % |
693.20/693.54	c |    891602 |    1100    22000   110000 |    95907    86520    146 |  0.000 % |
693.50/693.82	c |    891974 |    1100    22000   110000 |    95907    86892    146 |  0.000 % |
693.80/694.12	c |    892385 |    1100    22000   110000 |    95907    87303    146 |  0.000 % |
694.10/694.48	c |    892835 |    1100    22000   110000 |    95907    87753    146 |  0.000 % |
694.50/694.89	c |    893329 |    1100    22000   110000 |    95907    88247    146 |  0.000 % |
695.00/695.36	c |    893871 |    1100    22000   110000 |    95907    88789    146 |  0.000 % |
695.50/695.84	c |    894468 |    1100    22000   110000 |    95907    89386    146 |  0.000 % |
696.00/696.33	c |    895125 |    1100    22000   110000 |    95907    90043    146 |  0.000 % |
696.50/696.87	c |    895845 |    1100    22000   110000 |    95907    90763    146 |  0.000 % |
697.10/697.49	c |    896637 |    1100    22000   110000 |    95907    91555    146 |  0.000 % |
697.90/698.22	c |    897508 |    1100    22000   110000 |    95907    92426    146 |  0.000 % |
698.70/699.04	c |    898466 |    1100    22000   110000 |    95907    93384    146 |  0.000 % |
699.49/699.83	c |    899519 |    1100    22000   110000 |    95907    94437    146 |  0.000 % |
700.59/700.90	c |    900678 |    1100    22000   110000 |    94919    85220    147 |  0.000 % |
701.50/701.84	c |    901952 |    1100    22000   110000 |    94919    86494    147 |  0.000 % |
702.60/702.90	c |    903352 |    1100    22000   110000 |    94919    87894    147 |  0.000 % |
703.70/704.02	c |    904892 |    1100    22000   110000 |    94919    89434    147 |  0.000 % |
704.99/705.36	c |    906590 |    1100    22000   110000 |    94919    91132    147 |  0.000 % |
706.50/706.81	c |    908454 |    1100    22000   110000 |    94919    92996    147 |  0.000 % |
708.00/708.36	c |    910505 |    1100    22000   110000 | 2147483647    95047    147 |  0.000 % |
709.90/710.20	c |    912758 |    1100    22000   110000 | 2147483647    97300    147 |  0.000 % |
711.80/712.19	c |    915236 |    1100    22000   110000 | 2147483647    99778    147 |  0.000 % |
714.10/714.42	c |    917962 |    1100    22000   110000 | 2147483647   102504    147 |  0.000 % |
716.80/717.16	c |    920960 |    1100    22000   110000 |   104542    92456    148 |  0.000 % |
719.40/719.78	c |    924257 |    1100    22000   110000 |   104542    95753    148 |  0.000 % |
722.40/722.75	c |    927882 |    1100    22000   110000 |   104542    99378    148 |  0.000 % |
725.79/726.15	c |    931869 |    1100    22000   110000 |   101496    91133    149 |  0.000 % |
729.09/729.40	c |    936254 |    1100    22000   110000 |   101496    95518    149 |  0.000 % |
733.19/733.57	c |    941077 |    1100    22000   110000 |    99264    89501    149 |  0.000 % |
737.49/737.83	c |    946382 |    1100    22000   110000 |    99264    94806    149 |  0.000 % |
742.29/742.63	c |    952218 |    1100    22000   110000 |    98425    88485    149 |  0.000 % |
747.39/747.75	c |    958637 |    1100    22000   110000 |    98425    94904    149 |  0.000 % |
753.28/753.60	c |    965697 |    1100    22000   110000 |    96268    91348    150 |  0.000 % |
759.48/759.86	c |    973463 |    1100    22000   110000 |    95652    88993    150 |  0.000 % |
766.58/766.99	c |    982003 |    1100    22000   110000 |    95531    87698    151 |  0.000 % |
766.68/767.09	c |    982104 |    1100    22000   110000 |    95531    87799    151 |  0.000 % |
766.78/767.19	c |    982214 |    1100    22000   110000 |    95531    87909    151 |  0.000 % |
766.88/767.28	c |    982336 |    1100    22000   110000 |    95531    88031    151 |  0.000 % |
766.98/767.38	c |    982469 |    1100    22000   110000 |    95531    88164    151 |  0.000 % |
767.08/767.50	c |    982615 |    1100    22000   110000 |    95531    88310    151 |  0.000 % |
767.28/767.62	c |    982775 |    1100    22000   110000 |    95531    88470    151 |  0.000 % |
767.38/767.76	c |    982951 |    1100    22000   110000 |    95531    88646    151 |  0.000 % |
767.58/767.93	c |    983144 |    1100    22000   110000 |    95531    88839    151 |  0.000 % |
767.78/768.10	c |    983357 |    1100    22000   110000 |    95531    89052    151 |  0.000 % |
767.98/768.30	c |    983590 |    1100    22000   110000 |    95531    89285    151 |  0.000 % |
768.18/768.56	c |    983847 |    1100    22000   110000 |    95531    89542    151 |  0.000 % |
768.48/768.80	c |    984128 |    1100    22000   110000 |    95531    89823    151 |  0.000 % |
768.68/769.05	c |    984437 |    1100    22000   110000 |    95531    90132    151 |  0.000 % |
768.98/769.31	c |    984777 |    1100    22000   110000 |    95531    90472    151 |  0.000 % |
769.28/769.61	c |    985150 |    1100    22000   110000 |    95531    90845    151 |  0.000 % |
769.58/769.93	c |    985559 |    1100    22000   110000 |    95531    91254    151 |  0.000 % |
769.98/770.35	c |    986008 |    1100    22000   110000 |    95531    91703    150 |  0.000 % |
770.38/770.78	c |    986501 |    1100    22000   110000 |    95531    92196    150 |  0.000 % |
770.88/771.24	c |    987043 |    1100    22000   110000 |    95531    92738    150 |  0.000 % |
771.38/771.77	c |    987641 |    1100    22000   110000 |    95531    93336    150 |  0.000 % |
771.98/772.33	c |    988296 |    1100    22000   110000 |    95531    93991    150 |  0.000 % |
772.58/772.99	c |    989016 |    1100    22000   110000 |    95531    94711    150 |  0.000 % |
773.37/773.71	c |    989808 |    1100    22000   110000 |    95531    95503    150 |  0.000 % |
774.08/774.48	c |    990679 |    1100    22000   110000 |    95696    84978    150 |  0.000 % |
774.87/775.22	c |    991640 |    1100    22000   110000 |    95696    85939    150 |  0.000 % |
775.67/776.00	c |    992693 |    1100    22000   110000 |    95696    86992    150 |  0.000 % |
776.47/776.85	c |    993855 |    1100    22000   110000 |    95696    88154    150 |  0.000 % |
777.47/777.86	c |    995128 |    1100    22000   110000 |    95696    89427    150 |  0.000 % |
778.48/778.90	c |    996528 |    1100    22000   110000 |    95696    90827    150 |  0.000 % |
779.87/780.23	c |    998068 |    1100    22000   110000 |    95696    92367    150 |  0.000 % |
781.17/781.57	c |    999764 |    1100    22000   110000 |    95696    94063    150 |  0.000 % |
782.57/782.95	c |   1001629 |    1100    22000   110000 |    94299    86141    149 |  0.000 % |
784.07/784.47	c |   1003679 |    1100    22000   110000 |    94299    88191    149 |  0.000 % |
785.87/786.21	c |   1005933 |    1100    22000   110000 |    94299    90445    149 |  0.000 % |
787.77/788.13	c |   1008411 |    1100    22000   110000 |    94299    92923    150 |  0.000 % |
789.87/790.30	c |   1011136 |    1100    22000   110000 | 2147483647    95648    150 |  0.000 % |
792.27/792.60	c |   1014134 |    1100    22000   110000 | 2147483647    98646    149 |  0.000 % |
794.97/795.39	c |   1017432 |    1100    22000   110000 | 2147483647   101944    150 |  0.000 % |
798.07/798.49	c |   1021057 |    1100    22000   110000 |   104516    93961    149 |  0.000 % |
801.47/801.87	c |   1025045 |    1100    22000   110000 |   104516    97949    149 |  0.000 % |
805.06/805.41	c |   1029430 |    1100    22000   110000 |   104516   102334    149 |  0.000 % |
809.06/809.45	c |   1034255 |    1100    22000   110000 |   102904    93695    149 |  0.000 % |
813.36/813.71	c |   1039560 |    1100    22000   110000 |   102904    99000    150 |  0.000 % |
817.76/818.12	c |   1045396 |    1100    22000   110000 |    99441    92982    149 |  0.000 % |
823.06/823.45	c |   1051816 |    1100    22000   110000 |    97587    87307    148 |  0.000 % |
828.56/828.96	c |   1058875 |    1100    22000   110000 |    97587    94366    148 |  0.000 % |
834.75/835.13	c |   1066640 |    1100    22000   110000 |    95491    92109    147 |  0.000 % |
842.16/842.58	c |   1075181 |    1100    22000   110000 | 2147483647   100650    148 |  0.000 % |
850.65/851.02	c |   1084575 |    1100    22000   110000 |   105469    96094    150 |  0.000 % |
850.75/851.13	c |   1084675 |    1100    22000   110000 |   105469    96194    150 |  0.000 % |
850.85/851.23	c |   1084785 |    1100    22000   110000 |   105469    96304    150 |  0.000 % |
850.95/851.34	c |   1084907 |    1100    22000   110000 |   105469    96426    150 |  0.000 % |
851.05/851.47	c |   1085040 |    1100    22000   110000 |   105469    96559    150 |  0.000 % |
851.24/851.61	c |   1085186 |    1100    22000   110000 |   105469    96705    150 |  0.000 % |
851.34/851.76	c |   1085346 |    1100    22000   110000 |   105469    96865    150 |  0.000 % |
851.54/851.92	c |   1085524 |    1100    22000   110000 |   105469    97043    150 |  0.000 % |
851.74/852.10	c |   1085717 |    1100    22000   110000 |   105469    97236    150 |  0.000 % |
851.94/852.31	c |   1085929 |    1100    22000   110000 |   105469    97448    150 |  0.000 % |
852.15/852.52	c |   1086162 |    1100    22000   110000 |   105469    97681    150 |  0.000 % |
852.34/852.74	c |   1086419 |    1100    22000   110000 |   105469    97938    150 |  0.000 % |
852.54/853.00	c |   1086700 |    1100    22000   110000 |   105469    98219    149 |  0.000 % |
852.84/853.25	c |   1087009 |    1100    22000   110000 |   105469    98528    149 |  0.000 % |
853.25/853.61	c |   1087349 |    1100    22000   110000 |   105469    98868    149 |  0.000 % |
853.54/853.93	c |   1087721 |    1100    22000   110000 |   105469    99240    149 |  0.000 % |
853.84/854.28	c |   1088133 |    1100    22000   110000 |   105469    99652    149 |  0.000 % |
854.25/854.68	c |   1088582 |    1100    22000   110000 |   105469   100101    149 |  0.000 % |
854.74/855.13	c |   1089075 |    1100    22000   110000 |   105469   100594    149 |  0.000 % |
855.24/855.62	c |   1089617 |    1100    22000   110000 |   105469   101136    149 |  0.000 % |
855.74/856.17	c |   1090215 |    1100    22000   110000 |   101519   101734    149 |  0.000 % |
856.34/856.73	c |   1090870 |    1100    22000   110000 |   101519    88007    150 |  0.000 % |
856.84/857.27	c |   1091591 |    1100    22000   110000 |   101519    88728    150 |  0.000 % |
857.54/857.97	c |   1092385 |    1100    22000   110000 |   101519    89522    150 |  0.000 % |
858.24/858.67	c |   1093256 |    1100    22000   110000 |   101519    90393    150 |  0.000 % |
859.04/859.49	c |   1094214 |    1100    22000   110000 |   101519    91351    150 |  0.000 % |
859.94/860.32	c |   1095267 |    1100    22000   110000 |   101519    92404    150 |  0.000 % |
860.84/861.24	c |   1096427 |    1100    22000   110000 |   101519    93564    150 |  0.000 % |
861.84/862.27	c |   1097701 |    1100    22000   110000 |   101519    94838    150 |  0.000 % |
862.94/863.36	c |   1099104 |    1100    22000   110000 |   101519    96241    150 |  0.000 % |
864.24/864.66	c |   1100644 |    1100    22000   110000 |    97140    86403    150 |  0.000 % |
865.34/865.78	c |   1102338 |    1100    22000   110000 |    97140    88097    149 |  0.000 % |
866.64/867.08	c |   1104202 |    1100    22000   110000 |    97140    89961    149 |  0.000 % |
868.14/868.58	c |   1106252 |    1100    22000   110000 |    97140    92011    149 |  0.000 % |
869.94/870.34	c |   1108506 |    1100    22000   110000 |    97140    94265    149 |  0.000 % |
871.94/872.38	c |   1110986 |    1100    22000   110000 | 2147483647    96745    149 |  0.000 % |
874.34/874.72	c |   1113711 |    1100    22000   110000 | 2147483647    99470    149 |  0.000 % |
876.73/877.15	c |   1116709 |    1100    22000   110000 | 2147483647   102468    149 |  0.000 % |
879.64/880.03	c |   1120005 |    1100    22000   110000 |   105759   105764    149 |  0.000 % |
882.83/883.22	c |   1123631 |    1100    22000   110000 |   105759    95738    149 |  0.000 % |
886.23/886.67	c |   1127618 |    1100    22000   110000 |   105759    99725    149 |  0.000 % |
890.03/890.48	c |   1132004 |    1100    22000   110000 |   102107    89648    148 |  0.000 % |
893.84/894.24	c |   1136827 |    1100    22000   110000 |   102107    94471    148 |  0.000 % |
898.24/898.66	c |   1142132 |    1100    22000   110000 |    97646    87852    148 |  0.000 % |
902.83/903.22	c |   1147967 |    1100    22000   110000 |    97646    93687    148 |  0.000 % |
907.83/908.26	c |   1154387 |    1100    22000   110000 |    95720    89962    148 |  0.000 % |
914.03/914.42	c |   1161446 |    1100    22000   110000 |    95575    85890    148 |  0.000 % |
920.43/920.84	c |   1169211 |    1100    22000   110000 |    95575    93655    149 |  0.000 % |
927.43/927.86	c |   1177752 |    1100    22000   110000 |    94444    91765    149 |  0.000 % |
935.22/935.68	c |   1187146 |    1100    22000   110000 |    94013    90960    151 |  0.000 % |
944.42/944.81	c |   1197480 |    1100    22000   110000 | 2147483647   101294    152 |  0.000 % |
944.52/944.94	c |   1197581 |    1100    22000   110000 | 2147483647   101395    152 |  0.000 % |
944.62/945.07	c |   1197692 |    1100    22000   110000 | 2147483647   101506    152 |  0.000 % |
944.72/945.19	c |   1197814 |    1100    22000   110000 | 2147483647   101628    152 |  0.000 % |
944.92/945.31	c |   1197947 |    1100    22000   110000 | 2147483647   101761    152 |  0.000 % |
945.02/945.46	c |   1198096 |    1100    22000   110000 | 2147483647   101910    152 |  0.000 % |
945.22/945.63	c |   1198256 |    1100    22000   110000 | 2147483647   102070    152 |  0.000 % |
945.32/945.78	c |   1198432 |    1100    22000   110000 | 2147483647   102246    152 |  0.000 % |
945.52/945.98	c |   1198627 |    1100    22000   110000 | 2147483647   102441    152 |  0.000 % |
945.82/946.20	c |   1198840 |    1100    22000   110000 | 2147483647   102654    152 |  0.000 % |
946.02/946.43	c |   1199074 |    1100    22000   110000 | 2147483647   102888    152 |  0.000 % |
946.32/946.71	c |   1199330 |    1100    22000   110000 | 2147483647   103144    152 |  0.000 % |
946.52/946.98	c |   1199612 |    1100    22000   110000 | 2147483647   103426    152 |  0.000 % |
946.82/947.27	c |   1199923 |    1100    22000   110000 | 2147483647   103737    152 |  0.000 % |
947.12/947.58	c |   1200263 |    1100    22000   110000 |   103814   104077    152 |  0.000 % |
947.52/947.96	c |   1200635 |    1100    22000   110000 |   103814    90110    152 |  0.000 % |
947.82/948.27	c |   1201044 |    1100    22000   110000 |   103814    90519    152 |  0.000 % |
948.31/948.70	c |   1201494 |    1100    22000   110000 |   103814    90969    152 |  0.000 % |
948.61/949.09	c |   1201987 |    1100    22000   110000 |   103814    91462    152 |  0.000 % |
949.11/949.56	c |   1202529 |    1100    22000   110000 |   103814    92004    152 |  0.000 % |
949.71/950.12	c |   1203125 |    1100    22000   110000 |   103814    92600    152 |  0.000 % |
950.21/950.67	c |   1203781 |    1100    22000   110000 |   103814    93256    152 |  0.000 % |
950.81/951.24	c |   1204501 |    1100    22000   110000 |   103814    93976    152 |  0.000 % |
951.51/951.98	c |   1205293 |    1100    22000   110000 |   103814    94768    152 |  0.000 % |
952.21/952.69	c |   1206164 |    1100    22000   110000 |   103814    95639    152 |  0.000 % |
953.01/953.48	c |   1207122 |    1100    22000   110000 |   103814    96597    152 |  0.000 % |
953.91/954.40	c |   1208177 |    1100    22000   110000 |   103814    97652    152 |  0.000 % |
954.91/955.38	c |   1209336 |    1100    22000   110000 |   103814    98811    151 |  0.000 % |
956.11/956.51	c |   1210609 |    1100    22000   110000 |    99475    87710    152 |  0.000 % |
957.11/957.57	c |   1212012 |    1100    22000   110000 |    99475    89113    152 |  0.000 % |
958.41/958.86	c |   1213552 |    1100    22000   110000 |    99475    90653    152 |  0.000 % |
959.71/960.15	c |   1215247 |    1100    22000   110000 |    99475    92348    151 |  0.000 % |
961.21/961.67	c |   1217110 |    1100    22000   110000 |    99475    94211    151 |  0.000 % |
963.01/963.40	c |   1219160 |    1100    22000   110000 |    99475    96261    151 |  0.000 % |
964.81/965.20	c |   1221415 |    1100    22000   110000 |    97101    87487    152 |  0.000 % |
966.71/967.16	c |   1223893 |    1100    22000   110000 |    97101    89965    152 |  0.000 % |
968.80/969.27	c |   1226618 |    1100    22000   110000 |    97101    92690    151 |  0.000 % |
971.50/971.93	c |   1229615 |    1100    22000   110000 |    97101    95687    152 |  0.000 % |
974.11/974.53	c |   1232911 |    1100    22000   110000 | 2147483647    98983    152 |  0.000 % |
977.10/977.57	c |   1236536 |    1100    22000   110000 | 2147483647   102608    152 |  0.000 % |
980.70/981.12	c |   1240524 |    1100    22000   110000 |   106072    92869    152 |  0.000 % |
984.00/984.41	c |   1244909 |    1100    22000   110000 |   106072    97254    152 |  0.000 % |
987.80/988.22	c |   1249734 |    1100    22000   110000 |   106072   102079    152 |  0.000 % |
992.10/992.51	c |   1255041 |    1100    22000   110000 |   102347    94336    152 |  0.000 % |
996.79/997.22	c |   1260876 |    1100    22000   110000 |    99295    88343    151 |  0.000 % |
1001.70/1002.15	c |   1267295 |    1100    22000   110000 |    99295    94762    151 |  0.000 % |
1007.39/1007.83	c |   1274355 |    1100    22000   110000 |    97471    91115    150 |  0.000 % |
1014.09/1014.56	c |   1282120 |    1100    22000   110000 |    96760    87445    149 |  0.000 % |
1021.28/1021.77	c |   1290661 |    1100    22000   110000 |    95325    85316    150 |  0.000 % |
1029.19/1029.67	c |   1300055 |    1100    22000   110000 |    94655    94710    151 |  0.000 % |
1037.28/1037.74	c |   1310389 |    1100    22000   110000 |    94638    95026    152 |  0.000 % |
1046.78/1047.20	c |   1321757 |    1100    22000   110000 |    93441    84951    152 |  0.000 % |
1046.87/1047.31	c |   1321860 |    1100    22000   110000 |    93441    85054    152 |  0.000 % |
1046.97/1047.40	c |   1321970 |    1100    22000   110000 |    93441    85164    152 |  0.000 % |
1047.07/1047.50	c |   1322091 |    1100    22000   110000 |    93441    85285    152 |  0.000 % |
1047.17/1047.63	c |   1322224 |    1100    22000   110000 |    93441    85418    152 |  0.000 % |
1047.27/1047.74	c |   1322371 |    1100    22000   110000 |    93441    85565    152 |  0.000 % |
1047.37/1047.86	c |   1322533 |    1100    22000   110000 |    93441    85727    152 |  0.000 % |
1047.57/1048.02	c |   1322711 |    1100    22000   110000 |    93441    85905    152 |  0.000 % |
1047.67/1048.20	c |   1322904 |    1100    22000   110000 |    93441    86098    152 |  0.000 % |
1047.88/1048.37	c |   1323120 |    1100    22000   110000 |    93441    86314    152 |  0.000 % |
1048.07/1048.57	c |   1323355 |    1100    22000   110000 |    93441    86549    152 |  0.000 % |
1048.27/1048.78	c |   1323612 |    1100    22000   110000 |    93441    86806    152 |  0.000 % |
1048.57/1049.00	c |   1323893 |    1100    22000   110000 |    93441    87087    152 |  0.000 % |
1048.77/1049.23	c |   1324202 |    1100    22000   110000 |    93441    87396    152 |  0.000 % |
1048.98/1049.49	c |   1324542 |    1100    22000   110000 |    93441    87736    152 |  0.000 % |
1049.37/1049.82	c |   1324914 |    1100    22000   110000 |    93441    88108    151 |  0.000 % |
1049.67/1050.16	c |   1325323 |    1100    22000   110000 |    93441    88517    151 |  0.000 % |
1050.08/1050.53	c |   1325774 |    1100    22000   110000 |    93441    88968    151 |  0.000 % |
1050.47/1050.93	c |   1326268 |    1100    22000   110000 |    93441    89462    151 |  0.000 % |
1050.87/1051.35	c |   1326812 |    1100    22000   110000 |    93441    90006    151 |  0.000 % |
1051.37/1051.82	c |   1327408 |    1100    22000   110000 |    93441    90602    151 |  0.000 % |
1051.87/1052.34	c |   1328063 |    1100    22000   110000 |    93441    91257    151 |  0.000 % |
1052.47/1052.98	c |   1328783 |    1100    22000   110000 |    93441    91977    151 |  0.000 % |
1053.17/1053.64	c |   1329577 |    1100    22000   110000 |    93441    92771    151 |  0.000 % |
1053.97/1054.43	c |   1330448 |    1100    22000   110000 |    93194    83682    151 |  0.000 % |
1054.67/1055.14	c |   1331409 |    1100    22000   110000 |    93194    84643    151 |  0.000 % |
1055.47/1055.92	c |   1332462 |    1100    22000   110000 |    93194    85696    151 |  0.000 % |
1056.27/1056.75	c |   1333621 |    1100    22000   110000 |    93194    86855    151 |  0.000 % |
1057.27/1057.70	c |   1334894 |    1100    22000   110000 |    93194    88128    150 |  0.000 % |
1058.27/1058.78	c |   1336294 |    1100    22000   110000 |    93194    89528    150 |  0.000 % |
1059.47/1059.91	c |   1337834 |    1100    22000   110000 |    93194    91068    150 |  0.000 % |
1060.77/1061.27	c |   1339530 |    1100    22000   110000 |    93194    92764    150 |  0.000 % |
1062.36/1062.86	c |   1341393 |    1100    22000   110000 | 2147483647    94627    150 |  0.000 % |
1064.06/1064.57	c |   1343443 |    1100    22000   110000 | 2147483647    96677    150 |  0.000 % |
1065.86/1066.37	c |   1345698 |    1100    22000   110000 | 2147483647    98932    149 |  0.000 % |
1067.96/1068.49	c |   1348176 |    1100    22000   110000 | 2147483647   101410    149 |  0.000 % |
1070.36/1070.89	c |   1350901 |    1100    22000   110000 |   103234    91717    148 |  0.000 % |
1072.76/1073.27	c |   1353898 |    1100    22000   110000 |   103234    94714    148 |  0.000 % |
1075.56/1076.02	c |   1357195 |    1100    22000   110000 |   103234    98011    148 |  0.000 % |
1078.86/1079.34	c |   1360820 |    1100    22000   110000 |   100816    89630    148 |  0.000 % |
1082.06/1082.56	c |   1364807 |    1100    22000   110000 |   100816    93617    148 |  0.000 % |
1085.86/1086.39	c |   1369193 |    1100    22000   110000 |   100816    98003    148 |  0.000 % |
1089.96/1090.40	c |   1374017 |    1100    22000   110000 |    98810    91058    148 |  0.000 % |
1094.25/1094.74	c |   1379322 |    1100    22000   110000 |    98810    96363    148 |  0.000 % |
1098.95/1099.45	c |   1385157 |    1100    22000   110000 |    97042    90765    147 |  0.000 % |
1103.95/1104.50	c |   1391575 |    1100    22000   110000 |    95609    87096    146 |  0.000 % |
1109.65/1110.14	c |   1398634 |    1100    22000   110000 |    95609    94155    147 |  0.000 % |
1115.65/1116.18	c |   1406398 |    1100    22000   110000 |    95521    92122    147 |  0.000 % |
1123.14/1123.67	c |   1414939 |    1100    22000   110000 | 2147483647   100663    147 |  0.000 % |
1131.24/1131.79	c |   1424333 |    1100    22000   110000 |   105724    96667    148 |  0.000 % |
1140.74/1141.21	c |   1434667 |    1100    22000   110000 |   102334    94632    150 |  0.000 % |
1150.83/1151.34	c |   1446034 |    1100    22000   110000 |    99965    93933    151 |  0.000 % |
1160.63/1161.13	c |   1458536 |    1100    22000   110000 |    97899    94151    152 |  0.000 % |
1160.73/1161.23	c |   1458640 |    1100    22000   110000 |    97899    94255    152 |  0.000 % |
1160.83/1161.31	c |   1458750 |    1100    22000   110000 |    97899    94365    152 |  0.000 % |
1160.93/1161.41	c |   1458871 |    1100    22000   110000 |    97899    94486    152 |  0.000 % |
1161.03/1161.52	c |   1459006 |    1100    22000   110000 |    97899    94621    152 |  0.000 % |
1161.13/1161.68	c |   1459153 |    1100    22000   110000 |    97899    94768    152 |  0.000 % |
1161.33/1161.82	c |   1459313 |    1100    22000   110000 |    97899    94928    152 |  0.000 % |
1161.53/1162.00	c |   1459490 |    1100    22000   110000 |    97899    95105    152 |  0.000 % |
1161.63/1162.17	c |   1459685 |    1100    22000   110000 |    97899    95300    152 |  0.000 % |
1161.83/1162.36	c |   1459897 |    1100    22000   110000 |    97899    95512    152 |  0.000 % |
1162.03/1162.56	c |   1460131 |    1100    22000   110000 |    95615    95746    152 |  0.000 % |
1162.33/1162.84	c |   1460388 |    1100    22000   110000 |    95615    84211    152 |  0.000 % |
1162.53/1163.05	c |   1460670 |    1100    22000   110000 |    95615    84493    152 |  0.000 % |
1162.73/1163.29	c |   1460980 |    1100    22000   110000 |    95615    84803    152 |  0.000 % |
1163.03/1163.57	c |   1461320 |    1100    22000   110000 |    95615    85143    152 |  0.000 % |
1163.33/1163.85	c |   1461695 |    1100    22000   110000 |    95615    85518    152 |  0.000 % |
1163.63/1164.15	c |   1462106 |    1100    22000   110000 |    95615    85929    152 |  0.000 % |
1164.03/1164.53	c |   1462556 |    1100    22000   110000 |    95615    86379    152 |  0.000 % |
1164.43/1164.95	c |   1463049 |    1100    22000   110000 |    95615    86872    152 |  0.000 % |
1164.93/1165.41	c |   1463592 |    1100    22000   110000 |    95615    87415    152 |  0.000 % |
1165.43/1165.91	c |   1464190 |    1100    22000   110000 |    95615    88013    151 |  0.000 % |
1165.83/1166.39	c |   1464846 |    1100    22000   110000 |    95615    88669    151 |  0.000 % |
1166.43/1166.95	c |   1465566 |    1100    22000   110000 |    95615    89389    151 |  0.000 % |
1167.13/1167.60	c |   1466362 |    1100    22000   110000 |    95615    90185    151 |  0.000 % |
1167.73/1168.27	c |   1467234 |    1100    22000   110000 |    95615    91057    151 |  0.000 % |
1168.53/1169.08	c |   1468192 |    1100    22000   110000 |    95615    92015    151 |  0.000 % |
1169.43/1169.93	c |   1469245 |    1100    22000   110000 |    95615    93068    151 |  0.000 % |
1170.42/1170.91	c |   1470403 |    1100    22000   110000 |    93824    84275    151 |  0.000 % |
1171.22/1171.79	c |   1471676 |    1100    22000   110000 |    93824    85548    151 |  0.000 % |
1172.22/1172.78	c |   1473077 |    1100    22000   110000 |    93824    86949    151 |  0.000 % |
1173.52/1174.09	c |   1474617 |    1100    22000   110000 |    93824    88489    151 |  0.000 % |
1174.82/1175.35	c |   1476311 |    1100    22000   110000 |    93824    90183    151 |  0.000 % |
1176.22/1176.77	c |   1478174 |    1100    22000   110000 |    93824    92046    151 |  0.000 % |
1177.92/1178.40	c |   1480223 |    1100    22000   110000 | 2147483647    94095    150 |  0.000 % |
1179.62/1180.17	c |   1482476 |    1100    22000   110000 | 2147483647    96348    150 |  0.000 % |
1181.72/1182.21	c |   1484957 |    1100    22000   110000 | 2147483647    98829    150 |  0.000 % |
1184.12/1184.61	c |   1487682 |    1100    22000   110000 | 2147483647   101554    150 |  0.000 % |
1186.82/1187.31	c |   1490679 |    1100    22000   110000 |   103873    91426    150 |  0.000 % |
1189.32/1189.84	c |   1493975 |    1100    22000   110000 |   103873    94722    150 |  0.000 % |
1192.32/1192.88	c |   1497600 |    1100    22000   110000 |   103873    98347    150 |  0.000 % |
1195.81/1196.30	c |   1501588 |    1100    22000   110000 |   100747    89903    149 |  0.000 % |
1199.21/1199.74	c |   1505974 |    1100    22000   110000 |   100747    94289    149 |  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-1832495-1242773942/watcher-1832495-1242773942 -o /tmp/evaluation-result-1832495-1242773942/solver-1832495-1242773942 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832495-1242773942.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10702
/proc/meminfo: memFree=1806688/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305420199 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10702/statm: 1339 237 197 169 0 50 0

[startup+0.073409 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10702
/proc/meminfo: memFree=1806688/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.102414 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10702
/proc/meminfo: memFree=1806688/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.302444 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10702
/proc/meminfo: memFree=1806688/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701498 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10702
/proc/meminfo: memFree=1806688/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.5016 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 10708
/proc/meminfo: memFree=1800144/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=7316 CPUtime=1.41
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 1611 0 0 0 140 1 0 0 25 0 1 0 305420205 7491584 1597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 1829 1597 77 171 0 1656 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12672

[startup+3.10182 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 10708
/proc/meminfo: memFree=1798160/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=11408 CPUtime=3.01
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 2626 0 0 0 299 2 0 0 25 0 1 0 305420205 11681792 2612 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 2852 2612 77 171 0 2679 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16764

[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10708
/proc/meminfo: memFree=1790224/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=18208 CPUtime=6.21
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 4340 0 0 0 618 3 0 0 25 0 1 0 305420205 18644992 4326 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 4552 4326 77 171 0 4379 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23564

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10708
/proc/meminfo: memFree=1779664/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=28088 CPUtime=12.61
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 6779 0 0 0 1255 6 0 0 25 0 1 0 305420205 28762112 6765 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 7022 6765 77 171 0 6849 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 33444

[startup+25.5028 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 10708
/proc/meminfo: memFree=1765072/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=41936 CPUtime=25.4
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 10247 0 0 0 2530 10 0 0 25 0 1 0 305420205 42942464 10233 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 10484 10233 77 171 0 10311 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 47292

[startup+51.1023 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 10708
/proc/meminfo: memFree=1747536/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=59276 CPUtime=50.99
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 14548 0 0 0 5084 15 0 0 25 0 1 0 305420205 60698624 14534 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 14819 14534 77 171 0 14646 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 64632

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 10708
/proc/meminfo: memFree=1743248/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=63500 CPUtime=102.18
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 15621 0 0 0 10201 17 0 0 25 0 1 0 305420205 65024000 15607 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 15875 15607 77 171 0 15702 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 68856

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1739856/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=66668 CPUtime=162.15
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 16416 0 0 0 16196 19 0 0 25 0 1 0 305420205 68268032 16402 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 16667 16402 77 171 0 16494 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 72024

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1738960/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=67460 CPUtime=222.14
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 16614 0 0 0 22194 20 0 0 25 0 1 0 305420205 69079040 16600 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 16865 16600 77 171 0 16692 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 72816

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1738896/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=67460 CPUtime=282.12
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 16615 0 0 0 28192 20 0 0 25 0 1 0 305420205 69079040 16601 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 16865 16601 77 171 0 16692 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 72816

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1736656/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=69572 CPUtime=342.09
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 17137 0 0 0 34188 21 0 0 25 0 1 0 305420205 71241728 17123 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 17393 17123 77 171 0 17220 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 74928

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1736592/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=69572 CPUtime=402.06
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 17137 0 0 0 40185 21 0 0 25 0 1 0 305420205 71241728 17123 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 17393 17123 77 171 0 17220 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 74928

[startup+462.303 s]

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

/proc/10708/statm: 17575 17314 77 171 0 17402 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 75656

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1734736/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=70960 CPUtime=641.97
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 17532 0 0 0 64174 23 0 0 25 0 1 0 305420205 72663040 17484 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 17740 17484 77 171 0 17567 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 76316

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1734288/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=71356 CPUtime=701.94
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 17604 0 0 0 70171 23 0 0 25 0 1 0 305420205 73068544 17556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 17839 17556 77 171 0 17666 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 76712

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1734160/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=71356 CPUtime=761.94
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 17604 0 0 0 76170 24 0 0 25 0 1 0 305420205 73068544 17556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 17839 17556 77 171 0 17666 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 76712

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1733712/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=71752 CPUtime=821.91
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 17704 0 0 0 82167 24 0 0 25 0 1 0 305420205 73474048 17656 1992294400 134512640 135215339 4294956240 18446744073709551615 134545848 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 17938 17656 77 171 0 17765 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 77108

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1733136/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=72280 CPUtime=881.88
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 17831 0 0 0 88164 24 0 0 25 0 1 0 305420205 74014720 17783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 18070 17783 77 171 0 17897 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 77636

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1733008/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=72280 CPUtime=941.87
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 17831 0 0 0 94162 25 0 0 25 0 1 0 305420205 74014720 17783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 18070 17783 77 171 0 17897 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 77636

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1731088/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=73996 CPUtime=1001.84
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 18290 0 0 0 100159 25 0 0 25 0 1 0 305420205 75771904 18242 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 18499 18242 77 171 0 18326 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 79352

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1731728/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=73112 CPUtime=1061.81
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 18290 0 0 0 106156 25 0 0 25 0 1 0 305420205 74866688 18023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 18278 18023 77 171 0 18105 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 78468

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1731664/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=73112 CPUtime=1121.79
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 18290 0 0 0 112154 25 0 0 25 0 1 0 305420205 74866688 18023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 18278 18023 77 171 0 18105 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 78468

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1731664/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=73112 CPUtime=1181.77
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 18290 0 0 0 118152 25 0 0 25 0 1 0 305420205 74866688 18023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 18278 18023 77 171 0 18105 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 78468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1731600/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=73112 CPUtime=1199.97
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 18290 0 0 0 119972 25 0 0 25 0 1 0 305420205 74866688 18023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 18278 18023 77 171 0 18105 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 78468

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10714
/proc/meminfo: memFree=1731600/2055920 swapFree=4179964/4192956
[pid=10702] ppid=10700 vsize=5356 CPUtime=0.05
/proc/10702/stat : 10702 (SatELiteGTI) S 10700 10702 10472 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420199 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10702/statm: 1339 239 197 169 0 50 0
[pid=10708] ppid=10702 vsize=73112 CPUtime=1199.97
/proc/10708/stat : 10708 (minisat_static) R 10702 10702 10472 0 -1 4194304 18290 0 0 0 119972 25 0 0 25 0 1 0 305420205 74866688 18023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10708/statm: 18278 18023 77 171 0 18105 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 78468

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.02
CPU user time (s): 1199.77
CPU system time (s): 0.25
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 79352

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

runsolver used 1.45378 second user time and 3.03154 second system time

The end

Launcher Data

Begin job on node71 at 2009-05-20 00:59:02
IDJOB=1832495
IDBENCH=70211
IDSOLVER=671
FILE ID=node71/1832495-1242773942
PBS_JOBID= 9322231
Free space on /tmp= 66300 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1100/unif-k5-r20-v1100-c22000-S1441840675-053.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832495-1242773942/watcher-1832495-1242773942 -o /tmp/evaluation-result-1832495-1242773942/solver-1832495-1242773942 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832495-1242773942.cnf

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

MD5SUM BENCH= 54609dfda8487443dabfcd35e8af453e
RANDOM SEED=1184020153

node71.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.236
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.236
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:       1807232 kB
Buffers:         21020 kB
Cached:         190572 kB
SwapCached:       7096 kB
Active:          31676 kB
Inactive:       188680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1807232 kB
SwapTotal:     4192956 kB
SwapFree:      4179964 kB
Dirty:            2108 kB
Writeback:           0 kB
Mapped:          13980 kB
Slab:            14408 kB
Committed_AS:   894040 kB
PageTables:       1440 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66300 MiB
End job on node71 at 2009-05-20 01:19:05