Trace number 1832493

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.05 1200.51

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
MD5SUMa1fc4ba8186be6b254ba81203aa388ed
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark158.802
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.023996 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.00/0.08	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |    1100    22000   110000 |     7333        0    nan |  0.000 % |
0.00/0.09	c |       102 |    1100    22000   110000 |     7333      102    114 |  0.000 % |
0.05/0.11	c |       202 |    1100    22000   110000 |     7333      202    120 |  0.000 % |
0.05/0.12	c |       302 |    1100    22000   110000 |     7333      302    117 |  0.000 % |
0.05/0.14	c |       413 |    1100    22000   110000 |     7333      413    120 |  0.000 % |
0.05/0.15	c |       514 |    1100    22000   110000 |     7333      514    119 |  0.000 % |
0.05/0.16	c |       626 |    1100    22000   110000 |     7333      626    120 |  0.000 % |
0.05/0.18	c |       747 |    1100    22000   110000 |     7333      747    123 |  0.000 % |
0.05/0.19	c |       847 |    1100    22000   110000 |     7333      847    127 |  0.000 % |
0.05/0.21	c |       958 |    1100    22000   110000 |     7333      958    128 |  0.000 % |
0.05/0.22	c |      1079 |    1100    22000   110000 |     7333     1079    127 |  0.000 % |
0.05/0.24	c |      1212 |    1100    22000   110000 |     7333     1212    128 |  0.000 % |
0.05/0.25	c |      1312 |    1100    22000   110000 |     7333     1312    129 |  0.000 % |
0.05/0.26	c |      1423 |    1100    22000   110000 |     7333     1423    127 |  0.000 % |
0.05/0.28	c |      1544 |    1100    22000   110000 |     7333     1544    126 |  0.000 % |
0.05/0.29	c |      1679 |    1100    22000   110000 |     7333     1679    126 |  0.000 % |
0.05/0.31	c |      1827 |    1100    22000   110000 |     7333     1827    126 |  0.000 % |
0.05/0.32	c |      1930 |    1100    22000   110000 |     7333     1930    125 |  0.000 % |
0.05/0.34	c |      2040 |    1100    22000   110000 |     7333     2040    126 |  0.000 % |
0.05/0.35	c |      2161 |    1100    22000   110000 |     7333     2161    127 |  0.000 % |
0.05/0.37	c |      2294 |    1100    22000   110000 |     7333     2294    127 |  0.000 % |
0.05/0.39	c |      2440 |    1100    22000   110000 |     7333     2440    126 |  0.000 % |
0.05/0.41	c |      2601 |    1100    22000   110000 |     7333     2601    126 |  0.000 % |
0.05/0.42	c |      2704 |    1100    22000   110000 |     7333     2704    125 |  0.000 % |
0.05/0.44	c |      2814 |    1100    22000   110000 |     7333     2814    125 |  0.000 % |
0.05/0.45	c |      2938 |    1100    22000   110000 |     7333     2938    126 |  0.000 % |
0.05/0.47	c |      3071 |    1100    22000   110000 |     7333     3071    125 |  0.000 % |
0.05/0.49	c |      3218 |    1100    22000   110000 |     7333     3218    125 |  0.000 % |
0.05/0.51	c |      3379 |    1100    22000   110000 |     7333     3379    126 |  0.000 % |
0.05/0.54	c |      3555 |    1100    22000   110000 |     7333     3555    126 |  0.000 % |
0.05/0.55	c |      3656 |    1100    22000   110000 |     7333     3656    126 |  0.000 % |
0.05/0.57	c |      3767 |    1100    22000   110000 |     7333     3767    126 |  0.000 % |
0.05/0.58	c |      3889 |    1100    22000   110000 |     7333     3889    126 |  0.000 % |
0.05/0.60	c |      4022 |    1100    22000   110000 |     7333     4022    126 |  0.000 % |
0.05/0.62	c |      4168 |    1100    22000   110000 |     7333     4168    126 |  0.000 % |
0.05/0.64	c |      4328 |    1100    22000   110000 |     7333     4328    126 |  0.000 % |
0.05/0.67	c |      4505 |    1100    22000   110000 |     7333     4505    126 |  0.000 % |
0.05/0.69	c |      4698 |    1100    22000   110000 |     7333     4698    126 |  0.000 % |
0.05/0.71	c |      4799 |    1100    22000   110000 |     7333     4799    126 |  0.000 % |
0.05/0.72	c |      4909 |    1100    22000   110000 |     7333     4909    126 |  0.000 % |
0.05/0.74	c |      5030 |    1100    22000   110000 |     7333     5030    125 |  0.000 % |
0.05/0.76	c |      5163 |    1100    22000   110000 |     7333     5163    125 |  0.000 % |
0.05/0.78	c |      5311 |    1100    22000   110000 |     7333     5311    125 |  0.000 % |
0.05/0.81	c |      5473 |    1100    22000   110000 |     7333     5473    126 |  0.000 % |
0.05/0.83	c |      5650 |    1100    22000   110000 |     7333     5650    127 |  0.000 % |
0.05/0.86	c |      5843 |    1100    22000   110000 |     7333     5843    127 |  0.000 % |
0.05/0.89	c |      6057 |    1100    22000   110000 |     7333     6057    127 |  0.000 % |
0.05/0.91	c |      6157 |    1100    22000   110000 |     7333     6157    127 |  0.000 % |
0.05/0.93	c |      6269 |    1100    22000   110000 |     7333     6269    127 |  0.000 % |
0.05/0.94	c |      6391 |    1100    22000   110000 |     7333     6391    127 |  0.000 % |
0.05/0.96	c |      6526 |    1100    22000   110000 |     7333     6526    127 |  0.000 % |
0.05/0.99	c |      6672 |    1100    22000   110000 |     7333     6672    127 |  0.000 % |
0.97/1.02	c |      6833 |    1100    22000   110000 |     7333     6833    128 |  0.000 % |
0.97/1.04	c |      7010 |    1100    22000   110000 |     7333     7010    128 |  0.000 % |
0.97/1.07	c |      7203 |    1100    22000   110000 |     7333     7203    128 |  0.000 % |
1.07/1.11	c |      7419 |    1100    22000   110000 |     7333     7419    128 |  0.000 % |
1.07/1.15	c |      7653 |    1100    22000   110000 |     7333     6912    128 |  0.000 % |
1.07/1.16	c |      7753 |    1100    22000   110000 |     7333     7012    128 |  0.000 % |
1.07/1.18	c |      7865 |    1100    22000   110000 |     7333     7124    128 |  0.000 % |
1.16/1.20	c |      7987 |    1100    22000   110000 |     7333     7246    128 |  0.000 % |
1.16/1.22	c |      8120 |    1100    22000   110000 |     7333     7379    128 |  0.000 % |
1.16/1.25	c |      8267 |    1100    22000   110000 |     7333     6789    126 |  0.000 % |
1.16/1.27	c |      8427 |    1100    22000   110000 |     7333     6949    126 |  0.000 % |
1.26/1.30	c |      8603 |    1100    22000   110000 |     7333     7125    126 |  0.000 % |
1.26/1.33	c |      8798 |    1100    22000   110000 |     7333     7320    126 |  0.000 % |
1.26/1.36	c |      9010 |    1100    22000   110000 |     7333     7532    126 |  0.000 % |
1.36/1.41	c |      9243 |    1100    22000   110000 |     7333     7012    126 |  0.000 % |
1.36/1.45	c |      9501 |    1100    22000   110000 |     7333     7270    127 |  0.000 % |
1.36/1.47	c |      9604 |    1100    22000   110000 |     7333     7373    127 |  0.000 % |
1.36/1.49	c |      9714 |    1100    22000   110000 |     7333     6746    128 |  0.000 % |
1.46/1.50	c |      9835 |    1100    22000   110000 |     7333     6867    128 |  0.000 % |
1.46/1.53	c |      9969 |    1100    22000   110000 |     7333     7001    128 |  0.000 % |
1.46/1.55	c |     10118 |    1100    22000   110000 | 2147483647     7150    128 |  0.000 % |
1.46/1.58	c |     10278 |    1100    22000   110000 | 2147483647     7310    128 |  0.000 % |
1.56/1.60	c |     10454 |    1100    22000   110000 | 2147483647     7486    128 |  0.000 % |
1.56/1.63	c |     10647 |    1100    22000   110000 | 2147483647     7679    128 |  0.000 % |
1.56/1.67	c |     10860 |    1100    22000   110000 | 2147483647     7892    128 |  0.000 % |
1.66/1.71	c |     11095 |    1100    22000   110000 | 2147483647     8127    128 |  0.000 % |
1.66/1.75	c |     11353 |    1100    22000   110000 | 2147483647     8385    129 |  0.000 % |
1.77/1.80	c |     11636 |    1100    22000   110000 | 2147483647     8668    128 |  0.000 % |
1.77/1.82	c |     11736 |    1100    22000   110000 | 2147483647     8768    129 |  0.000 % |
1.77/1.84	c |     11848 |    1100    22000   110000 | 2147483647     8880    129 |  0.000 % |
1.77/1.86	c |     11972 |    1100    22000   110000 | 2147483647     9004    129 |  0.000 % |
1.77/1.89	c |     12108 |    1100    22000   110000 | 2147483647     9140    129 |  0.000 % |
1.87/1.91	c |     12254 |    1100    22000   110000 | 2147483647     9286    129 |  0.000 % |
1.87/1.94	c |     12414 |    1100    22000   110000 | 2147483647     9446    129 |  0.000 % |
1.87/1.98	c |     12591 |    1100    22000   110000 | 2147483647     9623    129 |  0.000 % |
1.97/2.01	c |     12785 |    1100    22000   110000 | 2147483647     9817    129 |  0.000 % |
1.97/2.05	c |     12997 |    1100    22000   110000 | 2147483647    10029    129 |  0.000 % |
1.97/2.09	c |     13231 |    1100    22000   110000 | 2147483647    10263    130 |  0.000 % |
2.07/2.14	c |     13487 |    1100    22000   110000 | 2147483647    10519    130 |  0.000 % |
2.07/2.20	c |     13769 |    1100    22000   110000 | 2147483647    10801    130 |  0.000 % |
2.17/2.25	c |     14081 |    1100    22000   110000 | 2147483647    11113    130 |  0.000 % |
2.17/2.27	c |     14181 |    1100    22000   110000 | 2147483647    11213    130 |  0.000 % |
2.17/2.30	c |     14293 |    1100    22000   110000 | 2147483647    11325    130 |  0.000 % |
2.27/2.32	c |     14415 |    1100    22000   110000 | 2147483647    11447    130 |  0.000 % |
2.27/2.34	c |     14549 |    1100    22000   110000 | 2147483647    11581    130 |  0.000 % |
2.27/2.37	c |     14695 |    1100    22000   110000 | 2147483647    11727    130 |  0.000 % |
2.37/2.40	c |     14855 |    1100    22000   110000 | 2147483647    11887    130 |  0.000 % |
2.37/2.44	c |     15031 |    1100    22000   110000 | 2147483647    12063    130 |  0.000 % |
2.37/2.48	c |     15224 |    1100    22000   110000 | 2147483647    12256    129 |  0.000 % |
2.47/2.53	c |     15440 |    1100    22000   110000 | 2147483647    12472    130 |  0.000 % |
2.47/2.58	c |     15674 |    1100    22000   110000 | 2147483647    12706    130 |  0.000 % |
2.57/2.63	c |     15931 |    1100    22000   110000 | 2147483647    12963    130 |  0.000 % |
2.57/2.69	c |     16212 |    1100    22000   110000 | 2147483647    13244    129 |  0.000 % |
2.67/2.75	c |     16521 |    1100    22000   110000 | 2147483647    13553    130 |  0.000 % |
2.77/2.82	c |     16862 |    1100    22000   110000 | 2147483647    13894    130 |  0.000 % |
2.77/2.84	c |     16962 |    1100    22000   110000 | 2147483647    13994    130 |  0.000 % |
2.77/2.86	c |     17073 |    1100    22000   110000 | 2147483647    14105    130 |  0.000 % |
2.77/2.89	c |     17195 |    1100    22000   110000 | 2147483647    14227    130 |  0.000 % |
2.87/2.92	c |     17328 |    1100    22000   110000 | 2147483647    14360    130 |  0.000 % |
2.87/2.95	c |     17477 |    1100    22000   110000 | 2147483647    14509    130 |  0.000 % |
2.87/2.99	c |     17637 |    1100    22000   110000 | 2147483647    14669    130 |  0.000 % |
2.97/3.03	c |     17813 |    1100    22000   110000 | 2147483647    14845    130 |  0.000 % |
2.97/3.07	c |     18006 |    1100    22000   110000 | 2147483647    15038    130 |  0.000 % |
3.07/3.12	c |     18218 |    1100    22000   110000 | 2147483647    15250    130 |  0.000 % |
3.07/3.17	c |     18451 |    1100    22000   110000 | 2147483647    15483    130 |  0.000 % |
3.17/3.22	c |     18707 |    1100    22000   110000 | 2147483647    15739    130 |  0.000 % |
3.17/3.29	c |     18989 |    1100    22000   110000 | 2147483647    16021    130 |  0.000 % |
3.27/3.36	c |     19298 |    1100    22000   110000 | 2147483647    16330    130 |  0.000 % |
3.36/3.43	c |     19637 |    1100    22000   110000 | 2147483647    16669    131 |  0.000 % |
3.46/3.51	c |     20011 |    1100    22000   110000 | 2147483647    17043    131 |  0.000 % |
3.46/3.54	c |     20112 |    1100    22000   110000 | 2147483647    17144    131 |  0.000 % |
3.46/3.57	c |     20222 |    1100    22000   110000 | 2147483647    17254    131 |  0.000 % |
3.46/3.60	c |     20343 |    1100    22000   110000 | 2147483647    17375    131 |  0.000 % |
3.56/3.63	c |     20477 |    1100    22000   110000 | 2147483647    17509    131 |  0.000 % |
3.56/3.67	c |     20624 |    1100    22000   110000 | 2147483647    17656    131 |  0.000 % |
3.66/3.70	c |     20785 |    1100    22000   110000 | 2147483647    17817    131 |  0.000 % |
3.66/3.74	c |     20961 |    1100    22000   110000 | 2147483647    17993    131 |  0.000 % |
3.66/3.79	c |     21154 |    1100    22000   110000 | 2147483647    18186    131 |  0.000 % |
3.76/3.84	c |     21366 |    1100    22000   110000 | 2147483647    18398    131 |  0.000 % |
3.76/3.89	c |     21599 |    1100    22000   110000 | 2147483647    18631    131 |  0.000 % |
3.86/3.96	c |     21855 |    1100    22000   110000 | 2147483647    18887    131 |  0.000 % |
3.96/4.04	c |     22138 |    1100    22000   110000 | 2147483647    19170    131 |  0.000 % |
4.06/4.11	c |     22448 |    1100    22000   110000 | 2147483647    19480    131 |  0.000 % |
4.06/4.19	c |     22788 |    1100    22000   110000 | 2147483647    19820    131 |  0.000 % |
4.16/4.28	c |     23163 |    1100    22000   110000 | 2147483647    20195    131 |  0.000 % |
4.27/4.39	c |     23572 |    1100    22000   110000 | 2147483647    20604    131 |  0.000 % |
4.38/4.42	c |     23672 |    1100    22000   110000 | 2147483647    20704    131 |  0.000 % |
4.38/4.45	c |     23784 |    1100    22000   110000 | 2147483647    20816    130 |  0.000 % |
4.38/4.48	c |     23907 |    1100    22000   110000 | 2147483647    20939    130 |  0.000 % |
4.47/4.51	c |     24041 |    1100    22000   110000 | 2147483647    21073    130 |  0.000 % |
4.47/4.56	c |     24187 |    1100    22000   110000 | 2147483647    21219    130 |  0.000 % |
4.47/4.59	c |     24347 |    1100    22000   110000 | 2147483647    21379    130 |  0.000 % |
4.57/4.65	c |     24523 |    1100    22000   110000 | 2147483647    21555    131 |  0.000 % |
4.67/4.71	c |     24719 |    1100    22000   110000 | 2147483647    21751    130 |  0.000 % |
4.67/4.77	c |     24931 |    1100    22000   110000 | 2147483647    21963    130 |  0.000 % |
4.77/4.83	c |     25164 |    1100    22000   110000 | 2147483647    22196    130 |  0.000 % |
4.77/4.90	c |     25421 |    1100    22000   110000 | 2147483647    22453    131 |  0.000 % |
4.87/4.98	c |     25705 |    1100    22000   110000 | 2147483647    22737    130 |  0.000 % |
4.97/5.06	c |     26015 |    1100    22000   110000 | 2147483647    23047    130 |  0.000 % |
5.07/5.16	c |     26355 |    1100    22000   110000 | 2147483647    23387    130 |  0.000 % |
5.16/5.26	c |     26728 |    1100    22000   110000 | 2147483647    23760    131 |  0.000 % |
5.26/5.37	c |     27138 |    1100    22000   110000 | 2147483647    24170    131 |  0.000 % |
5.37/5.49	c |     27587 |    1100    22000   110000 | 2147483647    24619    131 |  0.000 % |
5.47/5.53	c |     27687 |    1100    22000   110000 | 2147483647    24719    131 |  0.000 % |
5.47/5.56	c |     27799 |    1100    22000   110000 | 2147483647    24831    131 |  0.000 % |
5.56/5.61	c |     27920 |    1100    22000   110000 | 2147483647    24952    131 |  0.000 % |
5.56/5.65	c |     28053 |    1100    22000   110000 | 2147483647    25085    131 |  0.000 % |
5.56/5.70	c |     28199 |    1100    22000   110000 | 2147483647    25231    131 |  0.000 % |
5.66/5.75	c |     28359 |    1100    22000   110000 | 2147483647    25391    131 |  0.000 % |
5.76/5.80	c |     28535 |    1100    22000   110000 | 2147483647    25567    131 |  0.000 % |
5.76/5.87	c |     28732 |    1100    22000   110000 | 2147483647    25764    131 |  0.000 % |
5.86/5.92	c |     28944 |    1100    22000   110000 | 2147483647    25976    131 |  0.000 % |
5.86/6.00	c |     29177 |    1100    22000   110000 | 2147483647    26209    131 |  0.000 % |
5.96/6.07	c |     29434 |    1100    22000   110000 | 2147483647    26466    131 |  0.000 % |
6.06/6.15	c |     29717 |    1100    22000   110000 | 2147483647    26749    131 |  0.000 % |
6.17/6.25	c |     30027 |    1100    22000   110000 | 2147483647    27059    131 |  0.000 % |
6.27/6.35	c |     30368 |    1100    22000   110000 | 2147483647    27400    131 |  0.000 % |
6.37/6.47	c |     30742 |    1100    22000   110000 | 2147483647    27774    131 |  0.000 % |
6.47/6.59	c |     31151 |    1100    22000   110000 | 2147483647    28183    131 |  0.000 % |
6.67/6.74	c |     31600 |    1100    22000   110000 | 2147483647    28632    131 |  0.000 % |
6.86/6.91	c |     32094 |    1100    22000   110000 | 2147483647    29126    132 |  0.000 % |
6.86/6.95	c |     32194 |    1100    22000   110000 | 2147483647    29226    132 |  0.000 % |
6.86/6.99	c |     32305 |    1100    22000   110000 | 2147483647    29337    132 |  0.000 % |
6.96/7.04	c |     32426 |    1100    22000   110000 | 2147483647    29458    132 |  0.000 % |
6.96/7.08	c |     32560 |    1100    22000   110000 | 2147483647    29592    132 |  0.000 % |
7.06/7.14	c |     32706 |    1100    22000   110000 | 2147483647    29738    132 |  0.000 % |
7.06/7.20	c |     32867 |    1100    22000   110000 | 2147483647    29899    132 |  0.000 % |
7.16/7.25	c |     33044 |    1100    22000   110000 | 2147483647    30076    132 |  0.000 % |
7.26/7.33	c |     33237 |    1100    22000   110000 | 2147483647    30269    131 |  0.000 % |
7.26/7.39	c |     33449 |    1100    22000   110000 | 2147483647    30481    131 |  0.000 % |
7.36/7.47	c |     33682 |    1100    22000   110000 | 2147483647    30714    131 |  0.000 % |
7.46/7.56	c |     33938 |    1100    22000   110000 | 2147483647    30970    132 |  0.000 % |
7.57/7.66	c |     34224 |    1100    22000   110000 | 2147483647    31256    132 |  0.000 % |
7.67/7.77	c |     34533 |    1100    22000   110000 | 2147483647    31565    132 |  0.000 % |
7.76/7.89	c |     34873 |    1100    22000   110000 | 2147483647    31905    132 |  0.000 % |
7.96/8.01	c |     35245 |    1100    22000   110000 | 2147483647    32277    132 |  0.000 % |
8.06/8.15	c |     35656 |    1100    22000   110000 | 2147483647    32688    132 |  0.000 % |
8.26/8.31	c |     36105 |    1100    22000   110000 | 2147483647    33137    132 |  0.000 % |
8.36/8.48	c |     36598 |    1100    22000   110000 | 2147483647    33630    132 |  0.000 % |
8.56/8.68	c |     37140 |    1100    22000   110000 | 2147483647    34172    132 |  0.000 % |
8.66/8.72	c |     37241 |    1100    22000   110000 | 2147483647    34273    132 |  0.000 % |
8.66/8.76	c |     37352 |    1100    22000   110000 | 2147483647    34384    132 |  0.000 % |
8.76/8.81	c |     37474 |    1100    22000   110000 | 2147483647    34506    132 |  0.000 % |
8.76/8.86	c |     37607 |    1100    22000   110000 | 2147483647    34639    132 |  0.000 % |
8.86/8.91	c |     37755 |    1100    22000   110000 | 2147483647    34787    132 |  0.000 % |
8.86/8.97	c |     37917 |    1100    22000   110000 | 2147483647    34949    132 |  0.000 % |
8.96/9.03	c |     38093 |    1100    22000   110000 | 2147483647    35125    132 |  0.000 % |
9.06/9.11	c |     38286 |    1100    22000   110000 | 2147483647    35318    132 |  0.000 % |
9.06/9.19	c |     38499 |    1100    22000   110000 | 2147483647    35531    132 |  0.000 % |
9.16/9.28	c |     38733 |    1100    22000   110000 | 2147483647    35765    132 |  0.000 % |
9.26/9.38	c |     38990 |    1100    22000   110000 | 2147483647    36022    132 |  0.000 % |
9.36/9.49	c |     39271 |    1100    22000   110000 | 2147483647    36303    132 |  0.000 % |
9.56/9.61	c |     39580 |    1100    22000   110000 | 2147483647    36612    132 |  0.000 % |
9.66/9.76	c |     39922 |    1100    22000   110000 | 2147483647    36954    133 |  0.000 % |
9.87/9.91	c |     40297 |    1100    22000   110000 | 2147483647    37329    132 |  0.000 % |
9.97/10.06	c |     40709 |    1100    22000   110000 | 2147483647    37741    132 |  0.000 % |
10.16/10.24	c |     41158 |    1100    22000   110000 | 2147483647    38190    132 |  0.000 % |
10.36/10.43	c |     41652 |    1100    22000   110000 | 2147483647    38684    132 |  0.000 % |
10.56/10.65	c |     42196 |    1100    22000   110000 | 2147483647    39228    132 |  0.000 % |
10.76/10.88	c |     42793 |    1100    22000   110000 | 2147483647    39825    133 |  0.000 % |
10.87/10.92	c |     42893 |    1100    22000   110000 | 2147483647    39925    133 |  0.000 % |
10.87/10.96	c |     43004 |    1100    22000   110000 | 2147483647    40036    133 |  0.000 % |
10.97/11.03	c |     43126 |    1100    22000   110000 | 2147483647    40158    133 |  0.000 % |
10.97/11.09	c |     43260 |    1100    22000   110000 | 2147483647    40292    133 |  0.000 % |
11.06/11.15	c |     43408 |    1100    22000   110000 | 2147483647    40440    133 |  0.000 % |
11.16/11.22	c |     43568 |    1100    22000   110000 | 2147483647    40600    133 |  0.000 % |
11.26/11.30	c |     43744 |    1100    22000   110000 | 2147483647    40776    133 |  0.000 % |
11.26/11.38	c |     43937 |    1100    22000   110000 | 2147483647    40969    133 |  0.000 % |
11.36/11.48	c |     44151 |    1100    22000   110000 | 2147483647    41183    133 |  0.000 % |
11.46/11.58	c |     44387 |    1100    22000   110000 | 2147483647    41419    133 |  0.000 % |
11.66/11.70	c |     44645 |    1100    22000   110000 | 2147483647    41677    133 |  0.000 % |
11.76/11.83	c |     44926 |    1100    22000   110000 | 2147483647    41958    133 |  0.000 % |
11.86/11.95	c |     45235 |    1100    22000   110000 | 2147483647    42267    133 |  0.000 % |
12.06/12.10	c |     45575 |    1100    22000   110000 | 2147483647    42607    133 |  0.000 % |
12.16/12.28	c |     45950 |    1100    22000   110000 | 2147483647    42982    133 |  0.000 % |
12.36/12.45	c |     46359 |    1100    22000   110000 | 2147483647    43391    133 |  0.000 % |
12.56/12.64	c |     46810 |    1100    22000   110000 | 2147483647    43842    133 |  0.000 % |
12.76/12.84	c |     47303 |    1100    22000   110000 | 2147483647    44335    133 |  0.000 % |
12.96/13.07	c |     47845 |    1100    22000   110000 | 2147483647    44877    133 |  0.000 % |
13.27/13.32	c |     48441 |    1100    22000   110000 | 2147483647    45473    133 |  0.000 % |
13.56/13.60	c |     49096 |    1100    22000   110000 | 2147483647    46128    133 |  0.000 % |
13.56/13.66	c |     49196 |    1100    22000   110000 | 2147483647    46228    133 |  0.000 % |
13.66/13.72	c |     49308 |    1100    22000   110000 | 2147483647    46340    133 |  0.000 % |
13.66/13.78	c |     49429 |    1100    22000   110000 | 2147483647    46461    133 |  0.000 % |
13.76/13.85	c |     49562 |    1100    22000   110000 | 2147483647    46594    133 |  0.000 % |
13.86/13.93	c |     49708 |    1100    22000   110000 | 2147483647    46740    133 |  0.000 % |
13.96/14.00	c |     49868 |    1100    22000   110000 | 2147483647    46900    133 |  0.000 % |
13.96/14.09	c |     50044 |    1100    22000   110000 | 2147483647    47076    133 |  0.000 % |
14.17/14.20	c |     50238 |    1100    22000   110000 | 2147483647    47270    133 |  0.000 % |
14.17/14.30	c |     50454 |    1100    22000   110000 | 2147483647    47486    133 |  0.000 % |
14.36/14.42	c |     50687 |    1100    22000   110000 | 2147483647    47719    133 |  0.000 % |
14.46/14.54	c |     50943 |    1100    22000   110000 | 2147483647    47975    133 |  0.000 % |
14.56/14.67	c |     51224 |    1100    22000   110000 | 2147483647    48256    133 |  0.000 % |
14.76/14.81	c |     51533 |    1100    22000   110000 | 2147483647    48565    133 |  0.000 % |
14.86/14.99	c |     51872 |    1100    22000   110000 | 2147483647    48904    133 |  0.000 % |
15.06/15.18	c |     52244 |    1100    22000   110000 | 2147483647    49276    133 |  0.000 % |
15.27/15.37	c |     52653 |    1100    22000   110000 | 2147483647    49685    133 |  0.000 % |
15.46/15.55	c |     53102 |    1100    22000   110000 | 2147483647    50134    133 |  0.000 % |
15.66/15.79	c |     53596 |    1100    22000   110000 | 2147483647    50628    133 |  0.000 % |
15.96/16.05	c |     54138 |    1100    22000   110000 | 2147483647    51170    133 |  0.000 % |
16.26/16.34	c |     54734 |    1100    22000   110000 | 2147483647    51766    133 |  0.000 % |
16.56/16.65	c |     55390 |    1100    22000   110000 | 2147483647    52422    133 |  0.000 % |
16.86/16.98	c |     56112 |    1100    22000   110000 | 2147483647    53144    133 |  0.000 % |
16.96/17.03	c |     56212 |    1100    22000   110000 | 2147483647    53244    133 |  0.000 % |
16.96/17.08	c |     56322 |    1100    22000   110000 | 2147483647    53354    133 |  0.000 % |
17.06/17.15	c |     56443 |    1100    22000   110000 | 2147483647    53475    133 |  0.000 % |
17.16/17.23	c |     56576 |    1100    22000   110000 | 2147483647    53608    133 |  0.000 % |
17.26/17.31	c |     56728 |    1100    22000   110000 | 2147483647    53760    133 |  0.000 % |
17.26/17.39	c |     56888 |    1100    22000   110000 | 2147483647    53920    133 |  0.000 % |
17.36/17.50	c |     57065 |    1100    22000   110000 | 2147483647    54097    133 |  0.000 % |
17.56/17.61	c |     57260 |    1100    22000   110000 | 2147483647    54292    133 |  0.000 % |
17.66/17.72	c |     57473 |    1100    22000   110000 | 2147483647    54505    133 |  0.000 % |
17.76/17.84	c |     57708 |    1100    22000   110000 | 2147483647    54740    133 |  0.000 % |
17.86/17.98	c |     57964 |    1100    22000   110000 | 2147483647    54996    133 |  0.000 % |
18.06/18.12	c |     58247 |    1100    22000   110000 | 2147483647    55279    133 |  0.000 % |
18.16/18.26	c |     58558 |    1100    22000   110000 | 2147483647    55590    133 |  0.000 % |
18.36/18.45	c |     58898 |    1100    22000   110000 | 2147483647    55930    133 |  0.000 % |
18.56/18.65	c |     59271 |    1100    22000   110000 | 2147483647    56303    133 |  0.000 % |
18.76/18.86	c |     59680 |    1100    22000   110000 | 2147483647    56712    133 |  0.000 % |
19.06/19.10	c |     60129 |    1100    22000   110000 | 2147483647    57161    133 |  0.000 % |
19.26/19.34	c |     60622 |    1100    22000   110000 | 2147483647    57654    134 |  0.000 % |
19.56/19.62	c |     61164 |    1100    22000   110000 | 2147483647    58196    134 |  0.000 % |
19.86/19.92	c |     61760 |    1100    22000   110000 | 2147483647    58792    134 |  0.000 % |
20.16/20.26	c |     62417 |    1100    22000   110000 | 2147483647    59449    134 |  0.000 % |
20.56/20.63	c |     63139 |    1100    22000   110000 | 2147483647    60171    134 |  0.000 % |
20.96/21.05	c |     63932 |    1100    22000   110000 | 2147483647    60964    134 |  0.000 % |
21.06/21.11	c |     64032 |    1100    22000   110000 | 2147483647    61064    134 |  0.000 % |
21.06/21.19	c |     64142 |    1100    22000   110000 | 2147483647    61174    134 |  0.000 % |
21.16/21.27	c |     64265 |    1100    22000   110000 | 2147483647    61297    134 |  0.000 % |
21.26/21.35	c |     64398 |    1100    22000   110000 | 2147483647    61430    134 |  0.000 % |
21.36/21.44	c |     64544 |    1100    22000   110000 | 2147483647    61576    134 |  0.000 % |
21.46/21.56	c |     64704 |    1100    22000   110000 | 2147483647    61736    134 |  0.000 % |
21.55/21.67	c |     64880 |    1100    22000   110000 | 2147483647    61912    134 |  0.000 % |
21.65/21.79	c |     65073 |    1100    22000   110000 | 2147483647    62105    134 |  0.000 % |
21.86/21.94	c |     65286 |    1100    22000   110000 | 2147483647    62318    134 |  0.000 % |
21.96/22.07	c |     65519 |    1100    22000   110000 | 2147483647    62551    134 |  0.000 % |
22.15/22.23	c |     65775 |    1100    22000   110000 | 2147483647    62807    134 |  0.000 % |
22.25/22.39	c |     66056 |    1100    22000   110000 | 2147483647    63088    134 |  0.000 % |
22.45/22.57	c |     66367 |    1100    22000   110000 | 2147483647    63399    134 |  0.000 % |
22.65/22.77	c |     66706 |    1100    22000   110000 | 2147483647    63738    134 |  0.000 % |
22.85/22.99	c |     67079 |    1100    22000   110000 | 2147483647    64111    134 |  0.000 % |
23.16/23.26	c |     67488 |    1100    22000   110000 | 2147483647    64520    134 |  0.000 % |
23.46/23.52	c |     67937 |    1100    22000   110000 | 2147483647    64969    134 |  0.000 % |
23.76/23.81	c |     68430 |    1100    22000   110000 | 2147483647    65462    134 |  0.000 % |
24.06/24.13	c |     68972 |    1100    22000   110000 | 2147483647    66004    134 |  0.000 % |
24.36/24.48	c |     69568 |    1100    22000   110000 | 2147483647    66600    134 |  0.000 % |
24.85/24.95	c |     70223 |    1100    22000   110000 | 2147483647    67255    134 |  0.000 % |
25.26/25.39	c |     70943 |    1100    22000   110000 | 2147483647    67975    134 |  0.000 % |
25.75/25.87	c |     71735 |    1100    22000   110000 | 2147483647    68767    134 |  0.000 % |
26.25/26.39	c |     72607 |    1100    22000   110000 | 2147483647    69639    135 |  0.000 % |
26.35/26.44	c |     72707 |    1100    22000   110000 | 2147483647    69739    135 |  0.000 % |
26.45/26.52	c |     72817 |    1100    22000   110000 | 2147483647    69849    135 |  0.000 % |
26.55/26.61	c |     72938 |    1100    22000   110000 | 2147483647    69970    135 |  0.000 % |
26.65/26.72	c |     73072 |    1100    22000   110000 | 2147483647    70104    135 |  0.000 % |
26.75/26.84	c |     73220 |    1100    22000   110000 | 2147483647    70252    134 |  0.000 % |
26.85/26.95	c |     73381 |    1100    22000   110000 | 2147483647    70413    134 |  0.000 % |
26.95/27.07	c |     73557 |    1100    22000   110000 | 2147483647    70589    134 |  0.000 % |
27.15/27.22	c |     73750 |    1100    22000   110000 | 2147483647    70782    134 |  0.000 % |
27.25/27.37	c |     73964 |    1100    22000   110000 | 2147483647    70996    134 |  0.000 % |
27.45/27.52	c |     74197 |    1100    22000   110000 | 2147483647    71229    134 |  0.000 % |
27.55/27.68	c |     74453 |    1100    22000   110000 | 2147483647    71485    134 |  0.000 % |
27.75/27.87	c |     74737 |    1100    22000   110000 | 2147483647    71769    134 |  0.000 % |
27.95/28.08	c |     75046 |    1100    22000   110000 | 2147483647    72078    134 |  0.000 % |
28.25/28.32	c |     75386 |    1100    22000   110000 | 2147483647    72418    134 |  0.000 % |
28.46/28.56	c |     75758 |    1100    22000   110000 | 2147483647    72790    134 |  0.000 % |
28.75/28.85	c |     76167 |    1100    22000   110000 | 2147483647    73199    134 |  0.000 % |
29.05/29.16	c |     76617 |    1100    22000   110000 | 2147483647    73649    134 |  0.000 % |
29.35/29.49	c |     77111 |    1100    22000   110000 | 2147483647    74143    134 |  0.000 % |
29.75/29.86	c |     77654 |    1100    22000   110000 | 2147483647    74686    134 |  0.000 % |
30.15/30.27	c |     78254 |    1100    22000   110000 | 2147483647    75286    134 |  0.000 % |
30.55/30.70	c |     78909 |    1100    22000   110000 | 2147483647    75941    135 |  0.000 % |
31.05/31.19	c |     79629 |    1100    22000   110000 | 2147483647    76661    135 |  0.000 % |
31.65/31.73	c |     80423 |    1100    22000   110000 | 2147483647    77455    135 |  0.000 % |
32.24/32.35	c |     81294 |    1100    22000   110000 | 2147483647    78326    135 |  0.000 % |
32.96/33.05	c |     82253 |    1100    22000   110000 | 2147483647    79285    135 |  0.000 % |
33.05/33.13	c |     82355 |    1100    22000   110000 | 2147483647    79387    135 |  0.000 % |
33.15/33.21	c |     82467 |    1100    22000   110000 | 2147483647    79499    135 |  0.000 % |
33.25/33.31	c |     82588 |    1100    22000   110000 | 2147483647    79620    135 |  0.000 % |
33.35/33.43	c |     82721 |    1100    22000   110000 | 2147483647    79753    135 |  0.000 % |
33.45/33.54	c |     82869 |    1100    22000   110000 | 2147483647    79901    135 |  0.000 % |
33.55/33.66	c |     83029 |    1100    22000   110000 | 2147483647    80061    135 |  0.000 % |
33.75/33.81	c |     83207 |    1100    22000   110000 | 2147483647    80239    135 |  0.000 % |
33.85/33.98	c |     83400 |    1100    22000   110000 | 2147483647    80432    135 |  0.000 % |
34.05/34.15	c |     83612 |    1100    22000   110000 | 2147483647    80644    135 |  0.000 % |
34.24/34.32	c |     83846 |    1100    22000   110000 | 2147483647    80878    135 |  0.000 % |
34.44/34.52	c |     84104 |    1100    22000   110000 | 2147483647    81136    135 |  0.000 % |
34.64/34.72	c |     84386 |    1100    22000   110000 | 2147483647    81418    135 |  0.000 % |
34.84/34.93	c |     84696 |    1100    22000   110000 | 2147483647    81728    135 |  0.000 % |
35.05/35.18	c |     85035 |    1100    22000   110000 | 2147483647    82067    135 |  0.000 % |
35.34/35.48	c |     85407 |    1100    22000   110000 | 2147483647    82439    135 |  0.000 % |
35.64/35.79	c |     85817 |    1100    22000   110000 | 2147483647    82849    135 |  0.000 % |
36.04/36.13	c |     86266 |    1100    22000   110000 | 2147483647    83298    135 |  0.000 % |
36.35/36.50	c |     86759 |    1100    22000   110000 | 2147483647    83791    135 |  0.000 % |
36.75/36.89	c |     87302 |    1100    22000   110000 | 2147483647    84334    135 |  0.000 % |
37.25/37.32	c |     87898 |    1100    22000   110000 | 2147483647    84930    135 |  0.000 % |
37.74/37.81	c |     88554 |    1100    22000   110000 | 2147483647    85586    135 |  0.000 % |
38.34/38.43	c |     89275 |    1100    22000   110000 | 2147483647    86307    135 |  0.000 % |
38.94/39.04	c |     90067 |    1100    22000   110000 | 2147483647    87099    135 |  0.000 % |
39.65/39.71	c |     90940 |    1100    22000   110000 | 2147483647    87972    135 |  0.000 % |
40.34/40.43	c |     91898 |    1100    22000   110000 | 2147483647    88930    135 |  0.000 % |
41.14/41.21	c |     92953 |    1100    22000   110000 | 2147483647    89985    135 |  0.000 % |
41.14/41.29	c |     93053 |    1100    22000   110000 | 2147483647    90085    135 |  0.000 % |
41.34/41.40	c |     93165 |    1100    22000   110000 | 2147483647    90197    135 |  0.000 % |
41.44/41.52	c |     93286 |    1100    22000   110000 | 2147483647    90318    135 |  0.000 % |
41.54/41.64	c |     93419 |    1100    22000   110000 | 2147483647    90451    135 |  0.000 % |
41.64/41.76	c |     93565 |    1100    22000   110000 | 2147483647    90597    135 |  0.000 % |
41.84/41.92	c |     93726 |    1100    22000   110000 | 2147483647    90758    135 |  0.000 % |
41.94/42.08	c |     93903 |    1100    22000   110000 | 2147483647    90935    135 |  0.000 % |
42.14/42.24	c |     94096 |    1100    22000   110000 | 2147483647    91128    135 |  0.000 % |
42.34/42.45	c |     94310 |    1100    22000   110000 | 2147483647    91342    135 |  0.000 % |
42.54/42.66	c |     94544 |    1100    22000   110000 | 2147483647    91576    135 |  0.000 % |
42.74/42.89	c |     94801 |    1100    22000   110000 | 2147483647    91833    135 |  0.000 % |
43.04/43.12	c |     95082 |    1100    22000   110000 | 2147483647    92114    135 |  0.000 % |
43.33/43.40	c |     95391 |    1100    22000   110000 | 2147483647    92423    135 |  0.000 % |
43.63/43.70	c |     95730 |    1100    22000   110000 | 2147483647    92762    135 |  0.000 % |
43.94/44.02	c |     96102 |    1100    22000   110000 | 2147483647    93134    135 |  0.000 % |
44.24/44.35	c |     96512 |    1100    22000   110000 | 2147483647    93544    135 |  0.000 % |
44.64/44.76	c |     96961 |    1100    22000   110000 | 2147483647    93993    135 |  0.000 % |
45.04/45.13	c |     97456 |    1100    22000   110000 | 2147483647    94488    135 |  0.000 % |
45.54/45.60	c |     97999 |    1100    22000   110000 | 2147483647    95031    135 |  0.000 % |
45.94/46.09	c |     98596 |    1100    22000   110000 | 2147483647    95628    135 |  0.000 % |
46.54/46.69	c |     99251 |    1100    22000   110000 | 2147483647    96283    135 |  0.000 % |
47.14/47.29	c |     99971 |    1100    22000   110000 | 2147483647    97003    135 |  0.000 % |
47.84/47.97	c |    100765 |    1100    22000   110000 |    97032    86924    135 |  0.000 % |
48.54/48.62	c |    101637 |    1100    22000   110000 |    97032    87796    135 |  0.000 % |
49.24/49.31	c |    102596 |    1100    22000   110000 |    97032    88755    135 |  0.000 % |
50.13/50.24	c |    103649 |    1100    22000   110000 |    97032    89808    135 |  0.000 % |
51.03/51.14	c |    104807 |    1100    22000   110000 |    97032    90966    136 |  0.000 % |
51.13/51.24	c |    104907 |    1100    22000   110000 |    97032    91066    135 |  0.000 % |
51.23/51.33	c |    105017 |    1100    22000   110000 |    97032    91176    135 |  0.000 % |
51.33/51.45	c |    105138 |    1100    22000   110000 |    97032    91297    135 |  0.000 % |
51.43/51.58	c |    105271 |    1100    22000   110000 |    97032    91430    135 |  0.000 % |
51.63/51.72	c |    105417 |    1100    22000   110000 |    97032    91576    135 |  0.000 % |
51.73/51.86	c |    105577 |    1100    22000   110000 |    97032    91736    135 |  0.000 % |
51.93/52.04	c |    105754 |    1100    22000   110000 |    97032    91913    135 |  0.000 % |
52.13/52.22	c |    105947 |    1100    22000   110000 |    97032    92106    135 |  0.000 % |
52.33/52.40	c |    106161 |    1100    22000   110000 |    97032    92320    135 |  0.000 % |
52.43/52.58	c |    106394 |    1100    22000   110000 |    97032    92553    135 |  0.000 % |
52.63/52.80	c |    106652 |    1100    22000   110000 |    97032    92811    135 |  0.000 % |
52.93/53.01	c |    106933 |    1100    22000   110000 |    97032    93092    135 |  0.000 % |
53.13/53.25	c |    107242 |    1100    22000   110000 |    97032    93401    135 |  0.000 % |
53.43/53.56	c |    107581 |    1100    22000   110000 |    97032    93740    135 |  0.000 % |
53.83/53.91	c |    107955 |    1100    22000   110000 |    97032    94114    136 |  0.000 % |
54.13/54.25	c |    108364 |    1100    22000   110000 |    97032    94523    135 |  0.000 % |
54.53/54.61	c |    108813 |    1100    22000   110000 |    97032    94972    136 |  0.000 % |
54.93/55.02	c |    109306 |    1100    22000   110000 |    97032    95465    136 |  0.000 % |
55.33/55.47	c |    109851 |    1100    22000   110000 |    97032    96010    136 |  0.000 % |
55.93/56.01	c |    110448 |    1100    22000   110000 |    96161    85946    136 |  0.000 % |
56.33/56.50	c |    111103 |    1100    22000   110000 |    96161    86601    136 |  0.000 % |
56.93/57.01	c |    111825 |    1100    22000   110000 |    96161    87323    136 |  0.000 % |
57.43/57.57	c |    112619 |    1100    22000   110000 |    96161    88117    136 |  0.000 % |
58.03/58.19	c |    113491 |    1100    22000   110000 |    96161    88989    136 |  0.000 % |
58.83/58.95	c |    114450 |    1100    22000   110000 |    96161    89948    136 |  0.000 % |
59.62/59.78	c |    115503 |    1100    22000   110000 |    96161    91001    136 |  0.000 % |
60.62/60.78	c |    116661 |    1100    22000   110000 |    96161    92159    137 |  0.000 % |
61.62/61.75	c |    117935 |    1100    22000   110000 |    96161    93433    136 |  0.000 % |
61.72/61.84	c |    118035 |    1100    22000   110000 |    96161    93533    136 |  0.000 % |
61.82/61.97	c |    118146 |    1100    22000   110000 |    96161    93644    136 |  0.000 % |
61.92/62.09	c |    118269 |    1100    22000   110000 |    96161    93767    136 |  0.000 % |
62.12/62.22	c |    118403 |    1100    22000   110000 |    96161    93901    136 |  0.000 % |
62.22/62.36	c |    118549 |    1100    22000   110000 |    96161    94047    136 |  0.000 % |
62.42/62.53	c |    118710 |    1100    22000   110000 |    96161    94208    136 |  0.000 % |
62.53/62.70	c |    118886 |    1100    22000   110000 |    96161    94384    136 |  0.000 % |
62.72/62.86	c |    119080 |    1100    22000   110000 |    96161    94578    136 |  0.000 % |
62.92/63.07	c |    119292 |    1100    22000   110000 |    96161    94790    136 |  0.000 % |
63.12/63.30	c |    119526 |    1100    22000   110000 |    96161    95024    136 |  0.000 % |
63.42/63.55	c |    119782 |    1100    22000   110000 |    96161    95280    136 |  0.000 % |
63.63/63.79	c |    120063 |    1100    22000   110000 |    95499    95561    136 |  0.000 % |
64.02/64.10	c |    120373 |    1100    22000   110000 |    95499    85316    136 |  0.000 % |
64.22/64.35	c |    120712 |    1100    22000   110000 |    95499    85655    136 |  0.000 % |
64.52/64.64	c |    121084 |    1100    22000   110000 |    95499    86027    136 |  0.000 % |
64.83/64.96	c |    121494 |    1100    22000   110000 |    95499    86437    136 |  0.000 % |
65.22/65.30	c |    121944 |    1100    22000   110000 |    95499    86887    136 |  0.000 % |
65.62/65.71	c |    122440 |    1100    22000   110000 |    95499    87383    137 |  0.000 % |
66.02/66.13	c |    122982 |    1100    22000   110000 |    95499    87925    137 |  0.000 % |
66.42/66.57	c |    123578 |    1100    22000   110000 |    95499    88521    137 |  0.000 % |
67.03/67.12	c |    124233 |    1100    22000   110000 |    95499    89176    137 |  0.000 % |
67.52/67.67	c |    124953 |    1100    22000   110000 |    95499    89896    137 |  0.000 % |
68.12/68.26	c |    125745 |    1100    22000   110000 |    95499    90688    137 |  0.000 % |
68.82/68.92	c |    126617 |    1100    22000   110000 |    95499    91560    137 |  0.000 % |
69.52/69.62	c |    127575 |    1100    22000   110000 |    95499    92518    137 |  0.000 % |
70.32/70.47	c |    128628 |    1100    22000   110000 |    95499    93571    137 |  0.000 % |
71.32/71.43	c |    129791 |    1100    22000   110000 |    95499    94734    137 |  0.000 % |
72.32/72.47	c |    131066 |    1100    22000   110000 |    94944    85953    137 |  0.000 % |
73.42/73.56	c |    132468 |    1100    22000   110000 |    94944    87355    137 |  0.000 % |
73.52/73.66	c |    132568 |    1100    22000   110000 |    94944    87455    137 |  0.000 % |
73.62/73.77	c |    132679 |    1100    22000   110000 |    94944    87566    137 |  0.000 % |
73.72/73.89	c |    132801 |    1100    22000   110000 |    94944    87688    137 |  0.000 % |
73.92/74.01	c |    132935 |    1100    22000   110000 |    94944    87822    137 |  0.000 % |
74.02/74.14	c |    133081 |    1100    22000   110000 |    94944    87968    137 |  0.000 % |
74.12/74.29	c |    133241 |    1100    22000   110000 |    94944    88128    137 |  0.000 % |
74.32/74.45	c |    133419 |    1100    22000   110000 |    94944    88306    137 |  0.000 % |
74.53/74.61	c |    133612 |    1100    22000   110000 |    94944    88499    137 |  0.000 % |
74.63/74.78	c |    133824 |    1100    22000   110000 |    94944    88711    137 |  0.000 % |
74.83/74.98	c |    134059 |    1100    22000   110000 |    94944    88946    137 |  0.000 % |
75.13/75.22	c |    134315 |    1100    22000   110000 |    94944    89202    137 |  0.000 % |
75.33/75.45	c |    134597 |    1100    22000   110000 |    94944    89484    137 |  0.000 % |
75.63/75.72	c |    134906 |    1100    22000   110000 |    94944    89793    137 |  0.000 % |
75.93/76.02	c |    135247 |    1100    22000   110000 |    94944    90134    137 |  0.000 % |
76.23/76.33	c |    135621 |    1100    22000   110000 |    94944    90508    137 |  0.000 % |
76.53/76.66	c |    136030 |    1100    22000   110000 |    94944    90917    137 |  0.000 % |
76.93/77.05	c |    136479 |    1100    22000   110000 |    94944    91366    137 |  0.000 % |
77.33/77.45	c |    136973 |    1100    22000   110000 |    94944    91860    137 |  0.000 % |
77.73/77.84	c |    137516 |    1100    22000   110000 |    94944    92403    137 |  0.000 % |
78.23/78.37	c |    138112 |    1100    22000   110000 |    94944    92999    137 |  0.000 % |
78.73/78.89	c |    138767 |    1100    22000   110000 |    94944    93654    137 |  0.000 % |
79.32/79.48	c |    139489 |    1100    22000   110000 |    94944    94376    137 |  0.000 % |
80.02/80.10	c |    140281 |    1100    22000   110000 |    94887    95168    137 |  0.000 % |
80.72/80.82	c |    141152 |    1100    22000   110000 |    94887    85553    137 |  0.000 % |
81.42/81.53	c |    142110 |    1100    22000   110000 |    94887    86511    138 |  0.000 % |
82.12/82.25	c |    143163 |    1100    22000   110000 |    94887    87564    138 |  0.000 % |
82.92/83.08	c |    144322 |    1100    22000   110000 |    94887    88723    138 |  0.000 % |
83.92/84.04	c |    145595 |    1100    22000   110000 |    94887    89996    138 |  0.000 % |
85.12/85.20	c |    146995 |    1100    22000   110000 |    94887    91396    138 |  0.000 % |
86.32/86.41	c |    148537 |    1100    22000   110000 |    94887    92938    138 |  0.000 % |
86.42/86.51	c |    148638 |    1100    22000   110000 |    94887    93039    138 |  0.000 % |
86.52/86.62	c |    148749 |    1100    22000   110000 |    94887    93150    138 |  0.000 % |
86.62/86.74	c |    148870 |    1100    22000   110000 |    94887    93271    138 |  0.000 % |
86.72/86.85	c |    149003 |    1100    22000   110000 |    94887    93404    138 |  0.000 % |
86.92/87.00	c |    149149 |    1100    22000   110000 |    94887    93550    138 |  0.000 % |
87.02/87.15	c |    149309 |    1100    22000   110000 |    94887    93710    138 |  0.000 % |
87.22/87.32	c |    149485 |    1100    22000   110000 |    94887    93886    138 |  0.000 % |
87.42/87.50	c |    149678 |    1100    22000   110000 |    94887    94079    138 |  0.000 % |
87.52/87.68	c |    149891 |    1100    22000   110000 |    94887    94292    138 |  0.000 % |
87.72/87.88	c |    150124 |    1100    22000   110000 | 2147483647    94525    138 |  0.000 % |
87.92/88.08	c |    150380 |    1100    22000   110000 | 2147483647    94781    138 |  0.000 % |
88.22/88.33	c |    150661 |    1100    22000   110000 | 2147483647    95062    138 |  0.000 % |
88.42/88.59	c |    150970 |    1100    22000   110000 | 2147483647    95371    138 |  0.000 % |
88.72/88.87	c |    151309 |    1100    22000   110000 | 2147483647    95710    138 |  0.000 % |
89.12/89.21	c |    151681 |    1100    22000   110000 | 2147483647    96082    138 |  0.000 % |
89.42/89.57	c |    152091 |    1100    22000   110000 | 2147483647    96492    138 |  0.000 % |
89.82/89.98	c |    152540 |    1100    22000   110000 | 2147483647    96941    138 |  0.000 % |
90.31/90.43	c |    153034 |    1100    22000   110000 | 2147483647    97435    138 |  0.000 % |
90.71/90.88	c |    153577 |    1100    22000   110000 | 2147483647    97978    138 |  0.000 % |
91.22/91.40	c |    154173 |    1100    22000   110000 | 2147483647    98574    138 |  0.000 % |
91.82/91.94	c |    154828 |    1100    22000   110000 | 2147483647    99229    138 |  0.000 % |
92.41/92.55	c |    155550 |    1100    22000   110000 | 2147483647    99951    138 |  0.000 % |
93.11/93.29	c |    156343 |    1100    22000   110000 | 2147483647   100744    138 |  0.000 % |
93.91/94.09	c |    157214 |    1100    22000   110000 | 2147483647   101615    138 |  0.000 % |
94.71/94.90	c |    158173 |    1100    22000   110000 | 2147483647   102574    138 |  0.000 % |
95.71/95.82	c |    159226 |    1100    22000   110000 | 2147483647   103627    138 |  0.000 % |
96.72/96.82	c |    160385 |    1100    22000   110000 |   104402    91415    138 |  0.000 % |
97.61/97.78	c |    161660 |    1100    22000   110000 |   104402    92690    139 |  0.000 % |
98.71/98.83	c |    163062 |    1100    22000   110000 |   104402    94092    139 |  0.000 % |
100.02/100.16	c |    164602 |    1100    22000   110000 |   104402    95632    139 |  0.000 % |
101.31/101.48	c |    166297 |    1100    22000   110000 |   104402    97327    139 |  0.000 % |
101.41/101.58	c |    166399 |    1100    22000   110000 |   104402    97429    138 |  0.000 % |
101.51/101.69	c |    166511 |    1100    22000   110000 |   104402    97541    138 |  0.000 % |
101.71/101.83	c |    166633 |    1100    22000   110000 |   104402    97663    138 |  0.000 % |
101.81/101.96	c |    166768 |    1100    22000   110000 |   104402    97798    138 |  0.000 % |
102.01/102.11	c |    166915 |    1100    22000   110000 |   104402    97945    138 |  0.000 % |
102.11/102.26	c |    167076 |    1100    22000   110000 |   104402    98106    138 |  0.000 % |
102.31/102.46	c |    167252 |    1100    22000   110000 |   104402    98282    138 |  0.000 % |
102.51/102.64	c |    167446 |    1100    22000   110000 |   104402    98476    138 |  0.000 % |
102.71/102.83	c |    167658 |    1100    22000   110000 |   104402    98688    138 |  0.000 % |
102.91/103.03	c |    167891 |    1100    22000   110000 |   104402    98921    138 |  0.000 % |
103.11/103.24	c |    168147 |    1100    22000   110000 |   104402    99177    138 |  0.000 % |
103.31/103.50	c |    168431 |    1100    22000   110000 |   104402    99461    138 |  0.000 % |
103.61/103.75	c |    168741 |    1100    22000   110000 |   104402    99771    138 |  0.000 % |
103.91/104.03	c |    169083 |    1100    22000   110000 |   104402   100113    138 |  0.000 % |
104.31/104.40	c |    169456 |    1100    22000   110000 |   104402   100486    138 |  0.000 % |
104.61/104.78	c |    169867 |    1100    22000   110000 |   104402   100897    138 |  0.000 % |
105.01/105.19	c |    170317 |    1100    22000   110000 |   101030   101347    138 |  0.000 % |
105.51/105.66	c |    170810 |    1100    22000   110000 |   101030    88771    138 |  0.000 % |
106.01/106.13	c |    171353 |    1100    22000   110000 |   101030    89314    139 |  0.000 % |
106.41/106.58	c |    171951 |    1100    22000   110000 |   101030    89912    138 |  0.000 % |
106.91/107.07	c |    172608 |    1100    22000   110000 |   101030    90569    139 |  0.000 % |
107.51/107.64	c |    173329 |    1100    22000   110000 |   101030    91290    139 |  0.000 % |
108.11/108.28	c |    174121 |    1100    22000   110000 |   101030    92082    139 |  0.000 % |
108.81/108.95	c |    174994 |    1100    22000   110000 |   101030    92955    139 |  0.000 % |
109.51/109.69	c |    175952 |    1100    22000   110000 |   101030    93913    139 |  0.000 % |
110.41/110.53	c |    177006 |    1100    22000   110000 |   101030    94967    139 |  0.000 % |
111.40/111.50	c |    178164 |    1100    22000   110000 |   101030    96125    139 |  0.000 % |
112.40/112.55	c |    179438 |    1100    22000   110000 |   101030    97399    139 |  0.000 % |
113.80/113.93	c |    180838 |    1100    22000   110000 |    97961    87237    139 |  0.000 % |
114.90/115.04	c |    182378 |    1100    22000   110000 |    97961    88777    139 |  0.000 % |
116.10/116.28	c |    184073 |    1100    22000   110000 |    97961    90472    139 |  0.000 % |
117.70/117.82	c |    185936 |    1100    22000   110000 |    97961    92335    139 |  0.000 % |
117.80/117.90	c |    186036 |    1100    22000   110000 |    97961    92435    139 |  0.000 % |
117.90/118.02	c |    186146 |    1100    22000   110000 |    97961    92545    139 |  0.000 % |
118.00/118.13	c |    186268 |    1100    22000   110000 |    97961    92667    139 |  0.000 % |
118.10/118.25	c |    186401 |    1100    22000   110000 |    97961    92800    139 |  0.000 % |
118.20/118.37	c |    186547 |    1100    22000   110000 |    97961    92946    139 |  0.000 % |
118.40/118.55	c |    186708 |    1100    22000   110000 |    97961    93107    139 |  0.000 % |
118.60/118.72	c |    186885 |    1100    22000   110000 |    97961    93284    139 |  0.000 % |
118.80/118.90	c |    187078 |    1100    22000   110000 |    97961    93477    139 |  0.000 % |
119.00/119.13	c |    187292 |    1100    22000   110000 |    97961    93691    139 |  0.000 % |
119.20/119.34	c |    187525 |    1100    22000   110000 |    97961    93924    139 |  0.000 % |
119.39/119.58	c |    187782 |    1100    22000   110000 |    97961    94181    139 |  0.000 % |
119.69/119.82	c |    188064 |    1100    22000   110000 |    97961    94463    139 |  0.000 % |
119.99/120.10	c |    188375 |    1100    22000   110000 |    97961    94774    139 |  0.000 % |
120.19/120.39	c |    188717 |    1100    22000   110000 |    97961    95116    139 |  0.000 % |
120.59/120.70	c |    189090 |    1100    22000   110000 |    97961    95489    139 |  0.000 % |
120.89/121.07	c |    189501 |    1100    22000   110000 |    97961    95900    139 |  0.000 % |
121.29/121.45	c |    189951 |    1100    22000   110000 |    97961    96350    139 |  0.000 % |
121.79/121.91	c |    190446 |    1100    22000   110000 |    96399    85250    139 |  0.000 % |
122.19/122.34	c |    190989 |    1100    22000   110000 |    96399    85793    139 |  0.000 % |
122.69/122.82	c |    191586 |    1100    22000   110000 |    96399    86390    139 |  0.000 % |
123.19/123.34	c |    192242 |    1100    22000   110000 |    96399    87046    139 |  0.000 % |
123.79/123.92	c |    192964 |    1100    22000   110000 |    96399    87768    139 |  0.000 % |
124.39/124.50	c |    193759 |    1100    22000   110000 |    96399    88563    139 |  0.000 % |
124.99/125.17	c |    194630 |    1100    22000   110000 |    96399    89434    139 |  0.000 % |
125.69/125.87	c |    195588 |    1100    22000   110000 |    96399    90392    139 |  0.000 % |
126.59/126.76	c |    196642 |    1100    22000   110000 |    96399    91446    139 |  0.000 % |
127.59/127.71	c |    197800 |    1100    22000   110000 |    96399    92604    139 |  0.000 % |
128.59/128.74	c |    199076 |    1100    22000   110000 |    96399    93880    140 |  0.000 % |
129.79/129.99	c |    200480 |    1100    22000   110000 |    94804    84784    140 |  0.000 % |
130.99/131.19	c |    202022 |    1100    22000   110000 |    94804    86326    140 |  0.000 % |
132.29/132.49	c |    203717 |    1100    22000   110000 |    94804    88021    140 |  0.000 % |
133.78/133.90	c |    205580 |    1100    22000   110000 |    94804    89884    140 |  0.000 % |
135.38/135.50	c |    207629 |    1100    22000   110000 |    94804    91933    140 |  0.000 % |
135.38/135.60	c |    207729 |    1100    22000   110000 |    94804    92033    140 |  0.000 % |
135.58/135.70	c |    207840 |    1100    22000   110000 |    94804    92144    140 |  0.000 % |
135.68/135.82	c |    207963 |    1100    22000   110000 |    94804    92267    140 |  0.000 % |
135.78/135.94	c |    208096 |    1100    22000   110000 |    94804    92400    140 |  0.000 % |
135.98/136.10	c |    208242 |    1100    22000   110000 |    94804    92546    140 |  0.000 % |
136.08/136.24	c |    208403 |    1100    22000   110000 |    94804    92707    140 |  0.000 % |
136.19/136.40	c |    208579 |    1100    22000   110000 |    94804    92883    140 |  0.000 % |
136.38/136.60	c |    208772 |    1100    22000   110000 |    94804    93076    140 |  0.000 % |
136.58/136.78	c |    208984 |    1100    22000   110000 |    94804    93288    140 |  0.000 % |
136.88/137.01	c |    209219 |    1100    22000   110000 |    94804    93523    140 |  0.000 % |
137.08/137.22	c |    209475 |    1100    22000   110000 |    94804    93779    140 |  0.000 % |
137.29/137.47	c |    209758 |    1100    22000   110000 |    94804    94062    140 |  0.000 % |
137.58/137.72	c |    210068 |    1100    22000   110000 |    94306    94372    140 |  0.000 % |
137.88/138.06	c |    210408 |    1100    22000   110000 |    94306    84683    140 |  0.000 % |
138.18/138.35	c |    210781 |    1100    22000   110000 |    94306    85056    140 |  0.000 % |
138.49/138.69	c |    211190 |    1100    22000   110000 |    94306    85465    140 |  0.000 % |
138.88/139.06	c |    211640 |    1100    22000   110000 |    94306    85915    140 |  0.000 % |
139.28/139.45	c |    212133 |    1100    22000   110000 |    94306    86408    140 |  0.000 % |
139.68/139.86	c |    212675 |    1100    22000   110000 |    94306    86950    140 |  0.000 % |
140.18/140.33	c |    213274 |    1100    22000   110000 |    94306    87549    140 |  0.000 % |
140.69/140.85	c |    213930 |    1100    22000   110000 |    94306    88205    140 |  0.000 % |
141.18/141.39	c |    214650 |    1100    22000   110000 |    94306    88925    140 |  0.000 % |
141.78/141.99	c |    215445 |    1100    22000   110000 |    94306    89720    140 |  0.000 % |
142.48/142.69	c |    216316 |    1100    22000   110000 |    94306    90591    140 |  0.000 % |
143.28/143.45	c |    217276 |    1100    22000   110000 |    94306    91551    140 |  0.000 % |
144.08/144.26	c |    218329 |    1100    22000   110000 |    94306    92604    140 |  0.000 % |
145.08/145.20	c |    219488 |    1100    22000   110000 |    94306    93763    140 |  0.000 % |
146.08/146.22	c |    220761 |    1100    22000   110000 | 2147483647    95036    140 |  0.000 % |
147.18/147.35	c |    222162 |    1100    22000   110000 | 2147483647    96437    140 |  0.000 % |
148.48/148.62	c |    223705 |    1100    22000   110000 | 2147483647    97980    140 |  0.000 % |
149.78/149.94	c |    225401 |    1100    22000   110000 | 2147483647    99676    141 |  0.000 % |
151.28/151.47	c |    227266 |    1100    22000   110000 | 2147483647   101541    140 |  0.000 % |
153.08/153.22	c |    229315 |    1100    22000   110000 | 2147483647   103590    141 |  0.000 % |
154.98/155.19	c |    231569 |    1100    22000   110000 |   104276    92997    141 |  0.000 % |
155.18/155.30	c |    231669 |    1100    22000   110000 |   104276    93097    141 |  0.000 % |
155.28/155.41	c |    231781 |    1100    22000   110000 |   104276    93209    141 |  0.000 % |
155.38/155.54	c |    231904 |    1100    22000   110000 |   104276    93332    141 |  0.000 % |
155.48/155.66	c |    232037 |    1100    22000   110000 |   104276    93465    141 |  0.000 % |
155.68/155.81	c |    232183 |    1100    22000   110000 |   104276    93611    141 |  0.000 % |
155.77/155.98	c |    232344 |    1100    22000   110000 |   104276    93772    141 |  0.000 % |
155.98/156.13	c |    232520 |    1100    22000   110000 |   104276    93948    141 |  0.000 % |
156.17/156.33	c |    232713 |    1100    22000   110000 |   104276    94141    141 |  0.000 % |
156.37/156.54	c |    232928 |    1100    22000   110000 |   104276    94356    141 |  0.000 % |
156.57/156.75	c |    233162 |    1100    22000   110000 |   104276    94590    141 |  0.000 % |
156.77/157.00	c |    233420 |    1100    22000   110000 |   104276    94848    141 |  0.000 % |
157.08/157.26	c |    233701 |    1100    22000   110000 |   104276    95129    141 |  0.000 % |
157.28/157.50	c |    234011 |    1100    22000   110000 |   104276    95439    141 |  0.000 % |
157.68/157.82	c |    234351 |    1100    22000   110000 |   104276    95779    141 |  0.000 % |
157.98/158.14	c |    234724 |    1100    22000   110000 |   104276    96152    141 |  0.000 % |
158.28/158.47	c |    235135 |    1100    22000   110000 |   104276    96563    141 |  0.000 % |
158.67/158.83	c |    235585 |    1100    22000   110000 |   104276    97013    141 |  0.000 % |
159.07/159.27	c |    236078 |    1100    22000   110000 |   104276    97506    141 |  0.000 % |
159.57/159.78	c |    236622 |    1100    22000   110000 |   104276    98050    141 |  0.000 % |
160.07/160.29	c |    237218 |    1100    22000   110000 |   104276    98646    141 |  0.000 % |
160.67/160.88	c |    237874 |    1100    22000   110000 |   104276    99302    141 |  0.000 % |
161.37/161.51	c |    238595 |    1100    22000   110000 |   104276   100023    141 |  0.000 % |
162.07/162.21	c |    239389 |    1100    22000   110000 |   104276   100817    141 |  0.000 % |
162.77/162.99	c |    240260 |    1100    22000   110000 |   101430   101688    141 |  0.000 % |
163.67/163.83	c |    241219 |    1100    22000   110000 |   101430    89087    141 |  0.000 % |
164.47/164.62	c |    242272 |    1100    22000   110000 |   101430    90140    141 |  0.000 % |
165.37/165.51	c |    243430 |    1100    22000   110000 |   101430    91298    141 |  0.000 % |
166.27/166.47	c |    244703 |    1100    22000   110000 |   101430    92571    141 |  0.000 % |
167.27/167.49	c |    246103 |    1100    22000   110000 |   101430    93971    141 |  0.000 % |
168.47/168.67	c |    247643 |    1100    22000   110000 |   101430    95511    141 |  0.000 % |
169.87/170.06	c |    249337 |    1100    22000   110000 |   101430    97205    141 |  0.000 % |
171.37/171.57	c |    251201 |    1100    22000   110000 |    97868    88410    140 |  0.000 % |
172.97/173.12	c |    253250 |    1100    22000   110000 |    97868    90459    141 |  0.000 % |
174.67/174.82	c |    255503 |    1100    22000   110000 |    97868    92712    141 |  0.000 % |
176.67/176.85	c |    257981 |    1100    22000   110000 |    97868    95190    141 |  0.000 % |
176.77/176.95	c |    258081 |    1100    22000   110000 |    97868    95290    141 |  0.000 % |
176.87/177.08	c |    258191 |    1100    22000   110000 |    97868    95400    141 |  0.000 % |
177.07/177.20	c |    258313 |    1100    22000   110000 |    97868    95522    141 |  0.000 % |
177.16/177.34	c |    258446 |    1100    22000   110000 |    97868    95655    141 |  0.000 % |
177.26/177.47	c |    258592 |    1100    22000   110000 |    97868    95801    141 |  0.000 % |
177.46/177.63	c |    258753 |    1100    22000   110000 |    97868    95962    141 |  0.000 % |
177.56/177.79	c |    258929 |    1100    22000   110000 |    97868    96138    141 |  0.000 % |
177.76/177.98	c |    259124 |    1100    22000   110000 |    97868    96333    141 |  0.000 % |
177.97/178.16	c |    259337 |    1100    22000   110000 |    97868    96546    141 |  0.000 % |
178.16/178.37	c |    259571 |    1100    22000   110000 |    97868    96780    141 |  0.000 % |
178.46/178.65	c |    259829 |    1100    22000   110000 |    97868    97038    141 |  0.000 % |
178.66/178.89	c |    260110 |    1100    22000   110000 |    97210    97319    141 |  0.000 % |
178.96/179.18	c |    260421 |    1100    22000   110000 |    97210    86420    141 |  0.000 % |
179.26/179.43	c |    260761 |    1100    22000   110000 |    97210    86760    141 |  0.000 % |
179.56/179.72	c |    261134 |    1100    22000   110000 |    97210    87133    141 |  0.000 % |
179.86/180.08	c |    261545 |    1100    22000   110000 |    97210    87544    141 |  0.000 % |
180.26/180.46	c |    261996 |    1100    22000   110000 |    97210    87995    141 |  0.000 % |
180.66/180.86	c |    262489 |    1100    22000   110000 |    97210    88488    141 |  0.000 % |
181.16/181.30	c |    263031 |    1100    22000   110000 |    97210    89030    141 |  0.000 % |
181.56/181.79	c |    263627 |    1100    22000   110000 |    97210    89626    141 |  0.000 % |
182.16/182.31	c |    264284 |    1100    22000   110000 |    97210    90283    141 |  0.000 % |
182.66/182.88	c |    265004 |    1100    22000   110000 |    97210    91003    141 |  0.000 % |
183.36/183.52	c |    265798 |    1100    22000   110000 |    97210    91797    141 |  0.000 % |
184.06/184.22	c |    266669 |    1100    22000   110000 |    97210    92668    141 |  0.000 % |
184.76/184.99	c |    267629 |    1100    22000   110000 |    97210    93628    141 |  0.000 % |
185.56/185.77	c |    268684 |    1100    22000   110000 |    97210    94683    141 |  0.000 % |
186.46/186.63	c |    269845 |    1100    22000   110000 |    97210    95844    141 |  0.000 % |
187.46/187.63	c |    271119 |    1100    22000   110000 |    96002    86780    141 |  0.000 % |
188.46/188.63	c |    272519 |    1100    22000   110000 |    96002    88180    141 |  0.000 % |
189.56/189.78	c |    274060 |    1100    22000   110000 |    96002    89721    141 |  0.000 % |
190.96/191.13	c |    275755 |    1100    22000   110000 |    96002    91416    141 |  0.000 % |
192.56/192.71	c |    277620 |    1100    22000   110000 |    96002    93281    141 |  0.000 % |
194.16/194.37	c |    279670 |    1100    22000   110000 |    96002    95331    141 |  0.000 % |
196.05/196.24	c |    281923 |    1100    22000   110000 |    95662    87697    142 |  0.000 % |
197.95/198.16	c |    284402 |    1100    22000   110000 |    95662    90176    142 |  0.000 % |
199.96/200.17	c |    287129 |    1100    22000   110000 |    95662    92903    142 |  0.000 % |
200.06/200.26	c |    287229 |    1100    22000   110000 |    95662    93003    142 |  0.000 % |
200.15/200.35	c |    287340 |    1100    22000   110000 |    95662    93114    142 |  0.000 % |
200.25/200.46	c |    287462 |    1100    22000   110000 |    95662    93236    142 |  0.000 % |
200.35/200.58	c |    287596 |    1100    22000   110000 |    95662    93370    142 |  0.000 % |
200.55/200.74	c |    287745 |    1100    22000   110000 |    95662    93519    142 |  0.000 % |
200.75/200.90	c |    287905 |    1100    22000   110000 |    95662    93679    142 |  0.000 % |
200.85/201.06	c |    288081 |    1100    22000   110000 |    95662    93855    142 |  0.000 % |
201.06/201.26	c |    288275 |    1100    22000   110000 |    95662    94049    142 |  0.000 % |
201.25/201.45	c |    288489 |    1100    22000   110000 |    95662    94263    142 |  0.000 % |
201.45/201.65	c |    288722 |    1100    22000   110000 |    95662    94496    141 |  0.000 % |
201.65/201.86	c |    288980 |    1100    22000   110000 |    95662    94754    141 |  0.000 % |
201.95/202.11	c |    289261 |    1100    22000   110000 |    95662    95035    141 |  0.000 % |
202.15/202.37	c |    289570 |    1100    22000   110000 |    95662    95344    141 |  0.000 % |
202.55/202.70	c |    289911 |    1100    22000   110000 |    95662    95685    141 |  0.000 % |
202.85/203.06	c |    290283 |    1100    22000   110000 |    85908    86191    141 |  0.000 % |
203.25/203.41	c |    290692 |    1100    22000   110000 |    85908    77838    140 |  0.000 % |
203.55/203.72	c |    291142 |    1100    22000   110000 |    85908    78288    140 |  0.000 % |
203.85/204.05	c |    291636 |    1100    22000   110000 |    85908    78782    140 |  0.000 % |
204.25/204.41	c |    292178 |    1100    22000   110000 |    85908    79324    140 |  0.000 % |
204.65/204.82	c |    292774 |    1100    22000   110000 |    85908    79920    140 |  0.000 % |
205.05/205.26	c |    293432 |    1100    22000   110000 |    85908    80578    140 |  0.000 % |
205.55/205.75	c |    294152 |    1100    22000   110000 |    85908    81298    140 |  0.000 % |
206.05/206.29	c |    294944 |    1100    22000   110000 |    85908    82090    140 |  0.000 % |
206.75/206.92	c |    295816 |    1100    22000   110000 |    85908    82962    140 |  0.000 % |
207.45/207.63	c |    296775 |    1100    22000   110000 |    85908    83921    140 |  0.000 % |
208.15/208.33	c |    297830 |    1100    22000   110000 |    85908    84976    140 |  0.000 % |
208.95/209.17	c |    298988 |    1100    22000   110000 |    85908    86134    141 |  0.000 % |
209.95/210.13	c |    300261 |    1100    22000   110000 | 2147483647    78794    141 |  0.000 % |
210.95/211.12	c |    301661 |    1100    22000   110000 | 2147483647    80194    141 |  0.000 % |
211.95/212.18	c |    303205 |    1100    22000   110000 | 2147483647    81738    141 |  0.000 % |
213.15/213.40	c |    304901 |    1100    22000   110000 | 2147483647    83434    141 |  0.000 % |
214.55/214.71	c |    306764 |    1100    22000   110000 | 2147483647    85297    141 |  0.000 % |
216.05/216.24	c |    308818 |    1100    22000   110000 | 2147483647    87351    141 |  0.000 % |
217.75/217.92	c |    311071 |    1100    22000   110000 | 2147483647    89604    141 |  0.000 % |
219.64/219.84	c |    313551 |    1100    22000   110000 | 2147483647    92084    141 |  0.000 % |
221.74/221.93	c |    316276 |    1100    22000   110000 | 2147483647    94809    141 |  0.000 % |
224.05/224.25	c |    319276 |    1100    22000   110000 | 2147483647    97809    142 |  0.000 % |
224.15/224.34	c |    319376 |    1100    22000   110000 | 2147483647    97909    142 |  0.000 % |
224.25/224.44	c |    319488 |    1100    22000   110000 | 2147483647    98021    142 |  0.000 % |
224.35/224.55	c |    319609 |    1100    22000   110000 | 2147483647    98142    142 |  0.000 % |
224.45/224.69	c |    319743 |    1100    22000   110000 | 2147483647    98276    142 |  0.000 % |
224.65/224.83	c |    319891 |    1100    22000   110000 | 2147483647    98424    142 |  0.000 % |
224.75/224.97	c |    320052 |    1100    22000   110000 |    98533    98585    142 |  0.000 % |
225.05/225.26	c |    320228 |    1100    22000   110000 |    98533    88700    141 |  0.000 % |
225.25/225.42	c |    320423 |    1100    22000   110000 |    98533    88895    141 |  0.000 % |
225.35/225.60	c |    320636 |    1100    22000   110000 |    98533    89108    141 |  0.000 % |
225.65/225.80	c |    320869 |    1100    22000   110000 |    98533    89341    141 |  0.000 % |
225.85/226.00	c |    321127 |    1100    22000   110000 |    98533    89599    141 |  0.000 % |
226.05/226.24	c |    321408 |    1100    22000   110000 |    98533    89880    141 |  0.000 % |
226.35/226.51	c |    321717 |    1100    22000   110000 |    98533    90189    141 |  0.000 % |
226.65/226.80	c |    322057 |    1100    22000   110000 |    98533    90529    141 |  0.000 % |
226.95/227.12	c |    322430 |    1100    22000   110000 |    98533    90902    141 |  0.000 % |
227.25/227.47	c |    322842 |    1100    22000   110000 |    98533    91314    141 |  0.000 % |
227.65/227.83	c |    323292 |    1100    22000   110000 |    98533    91764    141 |  0.000 % |
228.05/228.26	c |    323787 |    1100    22000   110000 |    98533    92259    141 |  0.000 % |
228.55/228.70	c |    324329 |    1100    22000   110000 |    98533    92801    141 |  0.000 % |
228.95/229.17	c |    324926 |    1100    22000   110000 |    98533    93398    141 |  0.000 % |
229.55/229.70	c |    325583 |    1100    22000   110000 |    98533    94055    141 |  0.000 % |
230.15/230.35	c |    326303 |    1100    22000   110000 |    98533    94775    141 |  0.000 % |
230.75/230.99	c |    327095 |    1100    22000   110000 |    98533    95567    141 |  0.000 % |
231.55/231.75	c |    327967 |    1100    22000   110000 |    98533    96439    141 |  0.000 % |
232.35/232.55	c |    328926 |    1100    22000   110000 |    98533    97398    141 |  0.000 % |
233.25/233.42	c |    329981 |    1100    22000   110000 |    98533    98453    141 |  0.000 % |
234.15/234.39	c |    331139 |    1100    22000   110000 |    98472    87731    141 |  0.000 % |
235.15/235.31	c |    332413 |    1100    22000   110000 |    98472    89005    142 |  0.000 % |
236.15/236.35	c |    333813 |    1100    22000   110000 |    98472    90405    142 |  0.000 % |
237.35/237.57	c |    335355 |    1100    22000   110000 |    98472    91947    142 |  0.000 % |
238.65/238.86	c |    337049 |    1100    22000   110000 |    98472    93641    142 |  0.000 % |
240.15/240.39	c |    338912 |    1100    22000   110000 |    98472    95504    142 |  0.000 % |
241.94/242.10	c |    340961 |    1100    22000   110000 |    96592    87436    141 |  0.000 % |
243.64/243.83	c |    343214 |    1100    22000   110000 |    96592    89689    142 |  0.000 % |
245.54/245.70	c |    345694 |    1100    22000   110000 |    96592    92169    142 |  0.000 % |
247.74/247.94	c |    348419 |    1100    22000   110000 |    96592    94894    142 |  0.000 % |
250.14/250.33	c |    351416 |    1100    22000   110000 |    96479    88004    142 |  0.000 % |
252.64/252.88	c |    354712 |    1100    22000   110000 |    96479    91300    142 |  0.000 % |
252.74/252.97	c |    354814 |    1100    22000   110000 |    96479    91402    142 |  0.000 % |
252.84/253.07	c |    354926 |    1100    22000   110000 |    96479    91514    142 |  0.000 % |
252.94/253.18	c |    355047 |    1100    22000   110000 |    96479    91635    142 |  0.000 % |
253.14/253.32	c |    355181 |    1100    22000   110000 |    96479    91769    142 |  0.000 % |
253.24/253.47	c |    355327 |    1100    22000   110000 |    96479    91915    142 |  0.000 % |
253.44/253.61	c |    355489 |    1100    22000   110000 |    96479    92077    142 |  0.000 % |
253.54/253.78	c |    355666 |    1100    22000   110000 |    96479    92254    142 |  0.000 % |
253.74/253.94	c |    355859 |    1100    22000   110000 |    96479    92447    142 |  0.000 % |
253.94/254.13	c |    356071 |    1100    22000   110000 |    96479    92659    142 |  0.000 % |
254.14/254.37	c |    356305 |    1100    22000   110000 |    96479    92893    142 |  0.000 % |
254.44/254.61	c |    356563 |    1100    22000   110000 |    96479    93151    142 |  0.000 % |
254.64/254.89	c |    356844 |    1100    22000   110000 |    96479    93432    142 |  0.000 % |
254.94/255.16	c |    357154 |    1100    22000   110000 |    96479    93742    142 |  0.000 % |
255.24/255.46	c |    357494 |    1100    22000   110000 |    96479    94082    142 |  0.000 % |
255.54/255.75	c |    357868 |    1100    22000   110000 |    96479    94456    142 |  0.000 % |
255.84/256.07	c |    358278 |    1100    22000   110000 |    96479    94866    142 |  0.000 % |
256.24/256.44	c |    358728 |    1100    22000   110000 |    96479    95316    142 |  0.000 % |
256.64/256.83	c |    359223 |    1100    22000   110000 |    96479    95811    142 |  0.000 % |
257.04/257.23	c |    359765 |    1100    22000   110000 |    96479    96353    142 |  0.000 % |
257.44/257.67	c |    360361 |    1100    22000   110000 |    96589    96949    142 |  0.000 % |
258.04/258.22	c |    361017 |    1100    22000   110000 |    96589    87244    142 |  0.000 % |
258.64/258.81	c |    361737 |    1100    22000   110000 |    96589    87964    142 |  0.000 % |
259.24/259.41	c |    362529 |    1100    22000   110000 |    96589    88756    142 |  0.000 % |
259.84/260.07	c |    363402 |    1100    22000   110000 |    96589    89629    142 |  0.000 % |
260.64/260.81	c |    364360 |    1100    22000   110000 |    96589    90587    142 |  0.000 % |
261.43/261.64	c |    365415 |    1100    22000   110000 |    96589    91642    142 |  0.000 % |
262.33/262.59	c |    366574 |    1100    22000   110000 |    96589    92801    142 |  0.000 % |
263.43/263.66	c |    367847 |    1100    22000   110000 |    96589    94074    142 |  0.000 % |
264.63/264.80	c |    369247 |    1100    22000   110000 |    96589    95474    142 |  0.000 % |
265.93/266.10	c |    370789 |    1100    22000   110000 |    96227    86610    143 |  0.000 % |
267.23/267.40	c |    372485 |    1100    22000   110000 |    96227    88306    143 |  0.000 % |
268.53/268.79	c |    374348 |    1100    22000   110000 |    96227    90169    143 |  0.000 % |
270.13/270.39	c |    376398 |    1100    22000   110000 |    96227    92219    143 |  0.000 % |
271.93/272.19	c |    378652 |    1100    22000   110000 |    96227    94473    143 |  0.000 % |
273.93/274.13	c |    381133 |    1100    22000   110000 | 2147483647    96954    143 |  0.000 % |
276.23/276.41	c |    383859 |    1100    22000   110000 | 2147483647    99680    143 |  0.000 % |
278.62/278.85	c |    386857 |    1100    22000   110000 | 2147483647   102678    143 |  0.000 % |
281.22/281.49	c |    390153 |    1100    22000   110000 |   105821   105974    144 |  0.000 % |
284.12/284.32	c |    393778 |    1100    22000   110000 |   105821    96917    145 |  0.000 % |
284.12/284.39	c |    393879 |    1100    22000   110000 |   105821    97018    145 |  0.000 % |
284.22/284.49	c |    393989 |    1100    22000   110000 |   105821    97128    145 |  0.000 % |
284.42/284.61	c |    394111 |    1100    22000   110000 |   105821    97250    145 |  0.000 % |
284.52/284.74	c |    394244 |    1100    22000   110000 |   105821    97383    145 |  0.000 % |
284.62/284.88	c |    394391 |    1100    22000   110000 |   105821    97530    145 |  0.000 % |
284.82/285.02	c |    394553 |    1100    22000   110000 |   105821    97692    145 |  0.000 % |
285.02/285.21	c |    394729 |    1100    22000   110000 |   105821    97868    145 |  0.000 % |
285.12/285.39	c |    394922 |    1100    22000   110000 |   105821    98061    145 |  0.000 % |
285.42/285.61	c |    395137 |    1100    22000   110000 |   105821    98276    145 |  0.000 % |
285.62/285.80	c |    395372 |    1100    22000   110000 |   105821    98511    144 |  0.000 % |
285.83/286.02	c |    395629 |    1100    22000   110000 |   105821    98768    144 |  0.000 % |
286.02/286.26	c |    395910 |    1100    22000   110000 |   105821    99049    144 |  0.000 % |
286.32/286.54	c |    396221 |    1100    22000   110000 |   105821    99360    144 |  0.000 % |
286.62/286.81	c |    396560 |    1100    22000   110000 |   105821    99699    144 |  0.000 % |
286.93/287.16	c |    396933 |    1100    22000   110000 |   105821   100072    144 |  0.000 % |
287.32/287.56	c |    397342 |    1100    22000   110000 |   105821   100481    144 |  0.000 % |
287.72/287.98	c |    397792 |    1100    22000   110000 |   105821   100931    144 |  0.000 % |
288.22/288.40	c |    398285 |    1100    22000   110000 |   105821   101424    144 |  0.000 % |
288.62/288.87	c |    398827 |    1100    22000   110000 |   105821   101966    144 |  0.000 % |
289.22/289.40	c |    399423 |    1100    22000   110000 |   105821   102562    144 |  0.000 % |
289.82/290.00	c |    400078 |    1100    22000   110000 |   103139   103217    144 |  0.000 % |
290.42/290.69	c |    400798 |    1100    22000   110000 |   103139    90930    144 |  0.000 % |
291.12/291.35	c |    401590 |    1100    22000   110000 |   103139    91722    144 |  0.000 % |
291.82/292.07	c |    402461 |    1100    22000   110000 |   103139    92593    144 |  0.000 % |
292.62/292.87	c |    403419 |    1100    22000   110000 |   103139    93551    144 |  0.000 % |
293.52/293.75	c |    404473 |    1100    22000   110000 |   103139    94605    144 |  0.000 % |
294.42/294.67	c |    405633 |    1100    22000   110000 |   103139    95765    144 |  0.000 % |
295.42/295.68	c |    406906 |    1100    22000   110000 |   103139    97038    144 |  0.000 % |
296.52/296.79	c |    408306 |    1100    22000   110000 |   103139    98438    143 |  0.000 % |
297.72/297.96	c |    409848 |    1100    22000   110000 |   103139    99980    144 |  0.000 % |
299.12/299.36	c |    411542 |    1100    22000   110000 |   100132    89774    144 |  0.000 % |
300.62/300.82	c |    413406 |    1100    22000   110000 |   100132    91638    144 |  0.000 % |
302.12/302.32	c |    415458 |    1100    22000   110000 |   100132    93690    144 |  0.000 % |
303.82/304.09	c |    417713 |    1100    22000   110000 |   100132    95945    144 |  0.000 % |
305.71/305.94	c |    420193 |    1100    22000   110000 |    98234    98425    144 |  0.000 % |
307.72/307.99	c |    422918 |    1100    22000   110000 |    98234    90934    145 |  0.000 % |
310.11/310.35	c |    425916 |    1100    22000   110000 |    98234    93932    145 |  0.000 % |
312.71/312.96	c |    429212 |    1100    22000   110000 |    98234    97228    145 |  0.000 % |
315.71/315.93	c |    432840 |    1100    22000   110000 | 2147483647   100856    146 |  0.000 % |
319.11/319.35	c |    436828 |    1100    22000   110000 | 2147483647   104844    146 |  0.000 % |
319.21/319.45	c |    436930 |    1100    22000   110000 | 2147483647   104946    146 |  0.000 % |
319.31/319.56	c |    437043 |    1100    22000   110000 | 2147483647   105059    146 |  0.000 % |
319.51/319.72	c |    437167 |    1100    22000   110000 | 2147483647   105183    146 |  0.000 % |
319.61/319.85	c |    437301 |    1100    22000   110000 | 2147483647   105317    146 |  0.000 % |
319.81/320.00	c |    437447 |    1100    22000   110000 | 2147483647   105463    146 |  0.000 % |
319.91/320.17	c |    437607 |    1100    22000   110000 | 2147483647   105623    146 |  0.000 % |
320.12/320.35	c |    437784 |    1100    22000   110000 | 2147483647   105800    146 |  0.000 % |
320.32/320.53	c |    437978 |    1100    22000   110000 | 2147483647   105994    146 |  0.000 % |
320.52/320.72	c |    438191 |    1100    22000   110000 | 2147483647   106207    146 |  0.000 % |
320.72/320.96	c |    438426 |    1100    22000   110000 | 2147483647   106442    146 |  0.000 % |
320.92/321.20	c |    438682 |    1100    22000   110000 | 2147483647   106698    146 |  0.000 % |
321.21/321.45	c |    438964 |    1100    22000   110000 | 2147483647   106980    146 |  0.000 % |
321.51/321.75	c |    439277 |    1100    22000   110000 | 2147483647   107293    146 |  0.000 % |
321.81/322.09	c |    439616 |    1100    22000   110000 | 2147483647   107632    146 |  0.000 % |
322.21/322.44	c |    439989 |    1100    22000   110000 | 2147483647   108005    146 |  0.000 % |
322.71/322.91	c |    440398 |    1100    22000   110000 |   108017    93770    146 |  0.000 % |
323.01/323.28	c |    440847 |    1100    22000   110000 |   108017    94219    146 |  0.000 % |
323.41/323.67	c |    441341 |    1100    22000   110000 |   108017    94713    146 |  0.000 % |
323.91/324.11	c |    441884 |    1100    22000   110000 |   108017    95256    146 |  0.000 % |
324.41/324.61	c |    442481 |    1100    22000   110000 |   108017    95853    146 |  0.000 % |
324.91/325.13	c |    443136 |    1100    22000   110000 |   108017    96508    145 |  0.000 % |
325.51/325.73	c |    443856 |    1100    22000   110000 |   108017    97228    145 |  0.000 % |
326.11/326.39	c |    444648 |    1100    22000   110000 |   108017    98020    145 |  0.000 % |
326.91/327.12	c |    445519 |    1100    22000   110000 |   108017    98891    145 |  0.000 % |
327.71/328.00	c |    446478 |    1100    22000   110000 |   108017    99850    145 |  0.000 % |
328.71/328.92	c |    447531 |    1100    22000   110000 |   108017   100903    145 |  0.000 % |
329.71/329.93	c |    448694 |    1100    22000   110000 |   108017   102066    145 |  0.000 % |
330.81/331.04	c |    449967 |    1100    22000   110000 |   108017   103339    145 |  0.000 % |
332.10/332.32	c |    451367 |    1100    22000   110000 |   103372    90620    146 |  0.000 % |
333.30/333.53	c |    452910 |    1100    22000   110000 |   103372    92163    146 |  0.000 % |
334.60/334.82	c |    454606 |    1100    22000   110000 |   103372    93859    146 |  0.000 % |
336.00/336.27	c |    456470 |    1100    22000   110000 |   103372    95723    146 |  0.000 % |
337.60/337.90	c |    458520 |    1100    22000   110000 |   103372    97773    146 |  0.000 % |
339.71/339.95	c |    460774 |    1100    22000   110000 |    99253    88442    146 |  0.000 % |
341.70/341.92	c |    463255 |    1100    22000   110000 |    99253    90923    146 |  0.000 % |
343.80/344.00	c |    465980 |    1100    22000   110000 |    99253    93648    146 |  0.000 % |
346.40/346.61	c |    468977 |    1100    22000   110000 |    99253    96645    146 |  0.000 % |
349.00/349.26	c |    472275 |    1100    22000   110000 |    97668    89711    146 |  0.000 % |
351.90/352.13	c |    475900 |    1100    22000   110000 |    97668    93336    146 |  0.000 % |
355.00/355.23	c |    479888 |    1100    22000   110000 |    97668    97324    147 |  0.000 % |
358.40/358.64	c |    484273 |    1100    22000   110000 |    97436    91633    147 |  0.000 % |
358.49/358.73	c |    484373 |    1100    22000   110000 |    97436    91733    147 |  0.000 % |
358.59/358.83	c |    484484 |    1100    22000   110000 |    97436    91844    147 |  0.000 % |
358.69/358.94	c |    484606 |    1100    22000   110000 |    97436    91966    147 |  0.000 % |
358.79/359.07	c |    484741 |    1100    22000   110000 |    97436    92101    147 |  0.000 % |
358.89/359.18	c |    484887 |    1100    22000   110000 |    97436    92247    147 |  0.000 % |
359.09/359.31	c |    485047 |    1100    22000   110000 |    97436    92407    147 |  0.000 % |
359.19/359.49	c |    485223 |    1100    22000   110000 |    97436    92583    147 |  0.000 % |
359.40/359.64	c |    485417 |    1100    22000   110000 |    97436    92777    147 |  0.000 % |
359.59/359.83	c |    485629 |    1100    22000   110000 |    97436    92989    147 |  0.000 % |
359.79/360.03	c |    485864 |    1100    22000   110000 |    97436    93224    147 |  0.000 % |
359.99/360.24	c |    486121 |    1100    22000   110000 |    97436    93481    147 |  0.000 % |
360.19/360.45	c |    486402 |    1100    22000   110000 |    97436    93762    147 |  0.000 % |
360.50/360.73	c |    486712 |    1100    22000   110000 |    97436    94072    147 |  0.000 % |
360.79/361.00	c |    487051 |    1100    22000   110000 |    97436    94411    147 |  0.000 % |
361.09/361.33	c |    487423 |    1100    22000   110000 |    97436    94783    146 |  0.000 % |
361.39/361.70	c |    487832 |    1100    22000   110000 |    97436    95192    146 |  0.000 % |
361.89/362.10	c |    488281 |    1100    22000   110000 |    97436    95641    146 |  0.000 % |
362.29/362.51	c |    488774 |    1100    22000   110000 |    97436    96134    146 |  0.000 % |
362.69/362.98	c |    489316 |    1100    22000   110000 |    97436    96676    146 |  0.000 % |
363.19/363.47	c |    489912 |    1100    22000   110000 |    97436    97272    146 |  0.000 % |
363.79/364.02	c |    490567 |    1100    22000   110000 |    97360    87118    147 |  0.000 % |
364.29/364.59	c |    491287 |    1100    22000   110000 |    97360    87838    147 |  0.000 % |
364.99/365.25	c |    492080 |    1100    22000   110000 |    97360    88631    147 |  0.000 % |
365.69/365.96	c |    492952 |    1100    22000   110000 |    97360    89503    147 |  0.000 % |
366.49/366.79	c |    493910 |    1100    22000   110000 |    97360    90461    147 |  0.000 % |
367.49/367.70	c |    494964 |    1100    22000   110000 |    97360    91515    147 |  0.000 % |
368.39/368.63	c |    496124 |    1100    22000   110000 |    97360    92675    147 |  0.000 % |
369.49/369.71	c |    497398 |    1100    22000   110000 |    97360    93949    147 |  0.000 % |
370.59/370.81	c |    498798 |    1100    22000   110000 |    97360    95349    147 |  0.000 % |
371.79/372.05	c |    500339 |    1100    22000   110000 |    96553    96890    147 |  0.000 % |
373.19/373.41	c |    502033 |    1100    22000   110000 |    96553    88512    147 |  0.000 % |
374.68/374.90	c |    503897 |    1100    22000   110000 |    96553    90376    147 |  0.000 % |
376.28/376.56	c |    505946 |    1100    22000   110000 |    96553    92425    148 |  0.000 % |
378.09/378.32	c |    508200 |    1100    22000   110000 |    96553    94679    148 |  0.000 % |
380.08/380.33	c |    510679 |    1100    22000   110000 |    96479    86933    147 |  0.000 % |
382.08/382.33	c |    513404 |    1100    22000   110000 |    96479    89658    147 |  0.000 % |
384.28/384.59	c |    516401 |    1100    22000   110000 |    96479    92655    147 |  0.000 % |
386.88/387.10	c |    519697 |    1100    22000   110000 |    96479    95951    147 |  0.000 % |
389.68/389.96	c |    523322 |    1100    22000   110000 | 2147483647    99576    146 |  0.000 % |
393.18/393.46	c |    527311 |    1100    22000   110000 | 2147483647   103565    146 |  0.000 % |
397.08/397.36	c |    531696 |    1100    22000   110000 |   106255    94378    145 |  0.000 % |
401.18/401.43	c |    536519 |    1100    22000   110000 |   106255    99201    145 |  0.000 % |
401.28/401.55	c |    536619 |    1100    22000   110000 |   106255    99301    145 |  0.000 % |
401.38/401.65	c |    536730 |    1100    22000   110000 |   106255    99412    145 |  0.000 % |
401.48/401.77	c |    536855 |    1100    22000   110000 |   106255    99537    145 |  0.000 % |
401.68/401.90	c |    536988 |    1100    22000   110000 |   106255    99670    145 |  0.000 % |
401.78/402.04	c |    537134 |    1100    22000   110000 |   106255    99816    145 |  0.000 % |
401.88/402.19	c |    537294 |    1100    22000   110000 |   106255    99976    145 |  0.000 % |
402.08/402.36	c |    537473 |    1100    22000   110000 |   106255   100155    144 |  0.000 % |
402.29/402.53	c |    537667 |    1100    22000   110000 |   106255   100349    144 |  0.000 % |
402.48/402.73	c |    537879 |    1100    22000   110000 |   106255   100561    144 |  0.000 % |
402.68/402.93	c |    538112 |    1100    22000   110000 |   106255   100794    144 |  0.000 % |
402.88/403.15	c |    538370 |    1100    22000   110000 |   106255   101052    144 |  0.000 % |
403.18/403.40	c |    538653 |    1100    22000   110000 |   106255   101335    144 |  0.000 % |
403.38/403.70	c |    538963 |    1100    22000   110000 |   106255   101645    144 |  0.000 % |
403.68/404.00	c |    539303 |    1100    22000   110000 |   106255   101985    144 |  0.000 % |
404.08/404.34	c |    539675 |    1100    22000   110000 |   106255   102357    144 |  0.000 % |
404.38/404.69	c |    540084 |    1100    22000   110000 |   102683   102766    144 |  0.000 % |
404.88/405.19	c |    540533 |    1100    22000   110000 |   102683    89395    145 |  0.000 % |
405.38/405.61	c |    541026 |    1100    22000   110000 |   102683    89888    145 |  0.000 % |
405.78/406.06	c |    541568 |    1100    22000   110000 |   102683    90430    145 |  0.000 % |
406.28/406.56	c |    542164 |    1100    22000   110000 |   102683    91026    145 |  0.000 % |
406.78/407.08	c |    542819 |    1100    22000   110000 |   102683    91681    145 |  0.000 % |
407.38/407.65	c |    543540 |    1100    22000   110000 |   102683    92402    145 |  0.000 % |
408.08/408.32	c |    544332 |    1100    22000   110000 |   102683    93194    145 |  0.000 % |
408.77/409.06	c |    545203 |    1100    22000   110000 |   102683    94065    145 |  0.000 % |
409.57/409.85	c |    546161 |    1100    22000   110000 |   102683    95023    145 |  0.000 % |
410.37/410.67	c |    547216 |    1100    22000   110000 |   102683    96078    145 |  0.000 % |
411.47/411.72	c |    548374 |    1100    22000   110000 |   102683    97236    145 |  0.000 % |
412.57/412.82	c |    549647 |    1100    22000   110000 |   102683    98509    144 |  0.000 % |
413.77/414.04	c |    551047 |    1100    22000   110000 |    98863    87665    144 |  0.000 % |
414.97/415.24	c |    552588 |    1100    22000   110000 |    98863    89206    144 |  0.000 % |
416.27/416.55	c |    554283 |    1100    22000   110000 |    98863    90901    144 |  0.000 % |
417.68/417.97	c |    556146 |    1100    22000   110000 |    98863    92764    144 |  0.000 % |
419.27/419.54	c |    558195 |    1100    22000   110000 |    98863    94813    144 |  0.000 % |
421.17/421.41	c |    560448 |    1100    22000   110000 |    96619    86736    144 |  0.000 % |
423.07/423.35	c |    562928 |    1100    22000   110000 |    96619    89216    144 |  0.000 % |
425.17/425.49	c |    565653 |    1100    22000   110000 |    96619    91941    144 |  0.000 % |
427.47/427.79	c |    568650 |    1100    22000   110000 |    96619    94938    144 |  0.000 % |
430.07/430.35	c |    571946 |    1100    22000   110000 | 2147483647    98234    144 |  0.000 % |
433.17/433.41	c |    575574 |    1100    22000   110000 | 2147483647   101862    144 |  0.000 % |
436.47/436.75	c |    579562 |    1100    22000   110000 | 2147483647   105850    145 |  0.000 % |
440.07/440.32	c |    583947 |    1100    22000   110000 |   106288    96762    144 |  0.000 % |
444.17/444.40	c |    588770 |    1100    22000   110000 |   106288   101585    144 |  0.000 % |
448.57/448.82	c |    594076 |    1100    22000   110000 |   102817    92869    145 |  0.000 % |
448.66/448.92	c |    594176 |    1100    22000   110000 |   102817    92969    145 |  0.000 % |
448.76/449.03	c |    594287 |    1100    22000   110000 |   102817    93080    145 |  0.000 % |
448.86/449.14	c |    594408 |    1100    22000   110000 |   102817    93201    145 |  0.000 % |
448.96/449.27	c |    594541 |    1100    22000   110000 |   102817    93334    145 |  0.000 % |
449.16/449.42	c |    594689 |    1100    22000   110000 |   102817    93482    145 |  0.000 % |
449.26/449.57	c |    594852 |    1100    22000   110000 |   102817    93645    145 |  0.000 % |
449.46/449.72	c |    595028 |    1100    22000   110000 |   102817    93821    145 |  0.000 % |
449.67/449.93	c |    595221 |    1100    22000   110000 |   102817    94014    145 |  0.000 % |
449.86/450.12	c |    595433 |    1100    22000   110000 |   102817    94226    145 |  0.000 % |
450.06/450.33	c |    595666 |    1100    22000   110000 |   102817    94459    145 |  0.000 % |
450.26/450.57	c |    595922 |    1100    22000   110000 |   102817    94715    145 |  0.000 % |
450.56/450.83	c |    596203 |    1100    22000   110000 |   102817    94996    145 |  0.000 % |
450.77/451.09	c |    596512 |    1100    22000   110000 |   102817    95305    145 |  0.000 % |
451.16/451.44	c |    596851 |    1100    22000   110000 |   102817    95644    145 |  0.000 % |
451.56/451.80	c |    597223 |    1100    22000   110000 |   102817    96016    145 |  0.000 % |
451.86/452.18	c |    597632 |    1100    22000   110000 |   102817    96425    145 |  0.000 % |
452.26/452.56	c |    598081 |    1100    22000   110000 |   102817    96874    145 |  0.000 % |
452.76/453.00	c |    598574 |    1100    22000   110000 |   102817    97367    145 |  0.000 % |
453.26/453.51	c |    599116 |    1100    22000   110000 |   102817    97909    145 |  0.000 % |
453.76/454.02	c |    599712 |    1100    22000   110000 |   102817    98505    145 |  0.000 % |
454.26/454.57	c |    600367 |    1100    22000   110000 |    98794    99160    145 |  0.000 % |
454.96/455.21	c |    601090 |    1100    22000   110000 |    98794    87410    144 |  0.000 % |
455.56/455.85	c |    601884 |    1100    22000   110000 |    98794    88204    144 |  0.000 % |
456.16/456.48	c |    602755 |    1100    22000   110000 |    98794    89075    144 |  0.000 % |
456.96/457.22	c |    603713 |    1100    22000   110000 |    98794    90033    144 |  0.000 % |
457.76/458.02	c |    604766 |    1100    22000   110000 |    98794    91086    144 |  0.000 % |
458.66/458.91	c |    605925 |    1100    22000   110000 |    98794    92245    144 |  0.000 % |
459.56/459.86	c |    607198 |    1100    22000   110000 |    98794    93518    144 |  0.000 % |
460.66/460.95	c |    608598 |    1100    22000   110000 |    98794    94918    144 |  0.000 % |
461.96/462.25	c |    610138 |    1100    22000   110000 |    96321    96458    144 |  0.000 % |
463.36/463.61	c |    611833 |    1100    22000   110000 |    96321    87530    145 |  0.000 % |
464.76/465.00	c |    613696 |    1100    22000   110000 |    96321    89393    145 |  0.000 % |
466.26/466.56	c |    615745 |    1100    22000   110000 |    96321    91442    145 |  0.000 % |
468.05/468.33	c |    617999 |    1100    22000   110000 |    96321    93696    145 |  0.000 % |
470.05/470.31	c |    620477 |    1100    22000   110000 | 2147483647    96174    145 |  0.000 % |
472.25/472.51	c |    623206 |    1100    22000   110000 | 2147483647    98903    145 |  0.000 % |
474.65/474.97	c |    626205 |    1100    22000   110000 | 2147483647   101902    145 |  0.000 % |
477.55/477.84	c |    629502 |    1100    22000   110000 | 2147483647   105199    146 |  0.000 % |
480.65/480.93	c |    633127 |    1100    22000   110000 |   105698    94965    147 |  0.000 % |
483.85/484.17	c |    637115 |    1100    22000   110000 |   105698    98953    147 |  0.000 % |
487.65/487.92	c |    641501 |    1100    22000   110000 |   101838    90482    148 |  0.000 % |
491.45/491.79	c |    646325 |    1100    22000   110000 |   101838    95306    148 |  0.000 % |
496.05/496.33	c |    651632 |    1100    22000   110000 |    98983    88071    147 |  0.000 % |
500.65/500.95	c |    657467 |    1100    22000   110000 |    98983    93906    148 |  0.000 % |
500.74/501.04	c |    657569 |    1100    22000   110000 |    98983    94008    148 |  0.000 % |
500.84/501.16	c |    657679 |    1100    22000   110000 |    98983    94118    148 |  0.000 % |
500.94/501.27	c |    657802 |    1100    22000   110000 |    98983    94241    148 |  0.000 % |
501.04/501.39	c |    657938 |    1100    22000   110000 |    98983    94377    148 |  0.000 % |
501.25/501.53	c |    658084 |    1100    22000   110000 |    98983    94523    148 |  0.000 % |
501.35/501.69	c |    658244 |    1100    22000   110000 |    98983    94683    148 |  0.000 % |
501.54/501.85	c |    658421 |    1100    22000   110000 |    98983    94860    148 |  0.000 % |
501.74/502.02	c |    658615 |    1100    22000   110000 |    98983    95054    148 |  0.000 % |
501.84/502.19	c |    658827 |    1100    22000   110000 |    98983    95266    148 |  0.000 % |
502.04/502.37	c |    659060 |    1100    22000   110000 |    98983    95499    148 |  0.000 % |
502.35/502.63	c |    659317 |    1100    22000   110000 |    98983    95756    147 |  0.000 % |
502.54/502.88	c |    659602 |    1100    22000   110000 |    98983    96041    147 |  0.000 % |
502.84/503.12	c |    659912 |    1100    22000   110000 |    98983    96351    147 |  0.000 % |
503.14/503.42	c |    660251 |    1100    22000   110000 |    96440    96690    147 |  0.000 % |
503.45/503.78	c |    660623 |    1100    22000   110000 |    96440    85367    147 |  0.000 % |
503.74/504.07	c |    661032 |    1100    22000   110000 |    96440    85776    147 |  0.000 % |
504.14/504.47	c |    661481 |    1100    22000   110000 |    96440    86225    147 |  0.000 % |
504.55/504.86	c |    661974 |    1100    22000   110000 |    96440    86718    147 |  0.000 % |
504.94/505.29	c |    662518 |    1100    22000   110000 |    96440    87262    147 |  0.000 % |
505.44/505.79	c |    663115 |    1100    22000   110000 |    96440    87859    147 |  0.000 % |
506.04/506.32	c |    663770 |    1100    22000   110000 |    96440    88514    147 |  0.000 % |
506.54/506.87	c |    664490 |    1100    22000   110000 |    96440    89234    147 |  0.000 % |
507.14/507.49	c |    665283 |    1100    22000   110000 |    96440    90027    147 |  0.000 % |
507.84/508.13	c |    666154 |    1100    22000   110000 |    96440    90898    147 |  0.000 % |
508.54/508.87	c |    667113 |    1100    22000   110000 |    96440    91857    147 |  0.000 % |
509.34/509.67	c |    668167 |    1100    22000   110000 |    96440    92911    147 |  0.000 % |
510.34/510.64	c |    669325 |    1100    22000   110000 |    96440    94069    147 |  0.000 % |
511.44/511.75	c |    670600 |    1100    22000   110000 |    94746    85423    147 |  0.000 % |
512.44/512.79	c |    672002 |    1100    22000   110000 |    94746    86825    147 |  0.000 % |
513.74/514.04	c |    673542 |    1100    22000   110000 |    94746    88365    147 |  0.000 % |
515.04/515.39	c |    675237 |    1100    22000   110000 |    94746    90060    147 |  0.000 % |
516.54/516.87	c |    677101 |    1100    22000   110000 |    94746    91924    147 |  0.000 % |
518.24/518.50	c |    679151 |    1100    22000   110000 |    94746    93974    147 |  0.000 % |
520.04/520.31	c |    681405 |    1100    22000   110000 |    94826    86222    146 |  0.000 % |
521.84/522.10	c |    683883 |    1100    22000   110000 |    94826    88700    146 |  0.000 % |
523.94/524.22	c |    686608 |    1100    22000   110000 |    94826    91425    147 |  0.000 % |
526.24/526.58	c |    689605 |    1100    22000   110000 |    94826    94422    147 |  0.000 % |
528.84/529.18	c |    692903 |    1100    22000   110000 | 2147483647    97720    147 |  0.000 % |
531.83/532.12	c |    696528 |    1100    22000   110000 | 2147483647   101345    146 |  0.000 % |
535.43/535.78	c |    700515 |    1100    22000   110000 |   104818    92085    147 |  0.000 % |
539.13/539.49	c |    704904 |    1100    22000   110000 |   104818    96474    147 |  0.000 % |
543.23/543.57	c |    709727 |    1100    22000   110000 |   104818   101297    147 |  0.000 % |
547.63/547.92	c |    715033 |    1100    22000   110000 |   101570    93211    148 |  0.000 % |
552.43/552.75	c |    720869 |    1100    22000   110000 |    98179    87324    147 |  0.000 % |
557.33/557.69	c |    727287 |    1100    22000   110000 |    98179    93742    147 |  0.000 % |
557.43/557.76	c |    727388 |    1100    22000   110000 |    98179    93843    147 |  0.000 % |
557.52/557.87	c |    727498 |    1100    22000   110000 |    98179    93953    147 |  0.000 % |
557.62/557.98	c |    727619 |    1100    22000   110000 |    98179    94074    147 |  0.000 % |
557.82/558.11	c |    727753 |    1100    22000   110000 |    98179    94208    147 |  0.000 % |
557.92/558.25	c |    727899 |    1100    22000   110000 |    98179    94354    147 |  0.000 % |
558.02/558.39	c |    728059 |    1100    22000   110000 |    98179    94514    147 |  0.000 % |
558.22/558.58	c |    728235 |    1100    22000   110000 |    98179    94690    147 |  0.000 % |
558.43/558.76	c |    728429 |    1100    22000   110000 |    98179    94884    147 |  0.000 % |
558.62/558.94	c |    728641 |    1100    22000   110000 |    98179    95096    147 |  0.000 % |
558.82/559.14	c |    728874 |    1100    22000   110000 |    98179    95329    147 |  0.000 % |
559.02/559.38	c |    729131 |    1100    22000   110000 |    98179    95586    147 |  0.000 % |
559.32/559.63	c |    729414 |    1100    22000   110000 |    98179    95869    147 |  0.000 % |
559.63/559.90	c |    729724 |    1100    22000   110000 |    98179    96179    147 |  0.000 % |
559.93/560.20	c |    730063 |    1100    22000   110000 |    96455    96518    147 |  0.000 % |
560.33/560.61	c |    730436 |    1100    22000   110000 |    96455    85520    146 |  0.000 % |
560.64/560.93	c |    730845 |    1100    22000   110000 |    96455    85929    146 |  0.000 % |
560.93/561.28	c |    731297 |    1100    22000   110000 |    96455    86381    146 |  0.000 % |
561.33/561.64	c |    731790 |    1100    22000   110000 |    96455    86874    146 |  0.000 % |
561.73/562.05	c |    732332 |    1100    22000   110000 |    96455    87416    146 |  0.000 % |
562.23/562.55	c |    732930 |    1100    22000   110000 |    96455    88014    146 |  0.000 % |
562.73/563.07	c |    733586 |    1100    22000   110000 |    96455    88670    146 |  0.000 % |
563.43/563.70	c |    734306 |    1100    22000   110000 |    96455    89390    146 |  0.000 % |
564.03/564.33	c |    735098 |    1100    22000   110000 |    96455    90182    146 |  0.000 % |
564.73/565.08	c |    735969 |    1100    22000   110000 |    96455    91053    145 |  0.000 % |
565.53/565.85	c |    736927 |    1100    22000   110000 |    96455    92011    146 |  0.000 % |
566.43/566.72	c |    737981 |    1100    22000   110000 |    96455    93065    145 |  0.000 % |
567.33/567.63	c |    739141 |    1100    22000   110000 |    96455    94225    146 |  0.000 % |
568.33/568.69	c |    740414 |    1100    22000   110000 |    95085    85482    145 |  0.000 % |
569.43/569.80	c |    741820 |    1100    22000   110000 |    95085    86888    145 |  0.000 % |
570.53/570.83	c |    743361 |    1100    22000   110000 |    95085    88429    145 |  0.000 % |
571.83/572.15	c |    745055 |    1100    22000   110000 |    95085    90123    145 |  0.000 % |
573.33/573.65	c |    746918 |    1100    22000   110000 |    95085    91986    145 |  0.000 % |
575.13/575.42	c |    748967 |    1100    22000   110000 |    95085    94035    145 |  0.000 % |
576.93/577.27	c |    751220 |    1100    22000   110000 | 2147483647    96288    145 |  0.000 % |
579.12/579.44	c |    753698 |    1100    22000   110000 | 2147483647    98766    145 |  0.000 % |
581.42/581.73	c |    756423 |    1100    22000   110000 | 2147483647   101491    145 |  0.000 % |
583.83/584.16	c |    759420 |    1100    22000   110000 | 2147483647   104488    145 |  0.000 % |
586.62/586.96	c |    762716 |    1100    22000   110000 |   105069    94764    146 |  0.000 % |
589.52/589.86	c |    766343 |    1100    22000   110000 |   105069    98391    146 |  0.000 % |
592.82/593.12	c |    770330 |    1100    22000   110000 |   102048   102378    146 |  0.000 % |
596.32/596.66	c |    774715 |    1100    22000   110000 |   102048    94756    146 |  0.000 % |
600.42/600.75	c |    779538 |    1100    22000   110000 |   102048    99579    147 |  0.000 % |
604.81/605.17	c |    784843 |    1100    22000   110000 |   100042    92965    147 |  0.000 % |
609.91/610.22	c |    790679 |    1100    22000   110000 |    98123    86580    148 |  0.000 % |
615.11/615.45	c |    797097 |    1100    22000   110000 |    98123    92998    148 |  0.000 % |
620.61/620.96	c |    804156 |    1100    22000   110000 |    95901    89569    148 |  0.000 % |
620.71/621.03	c |    804256 |    1100    22000   110000 |    95901    89669    148 |  0.000 % |
620.81/621.13	c |    804367 |    1100    22000   110000 |    95901    89780    148 |  0.000 % |
620.91/621.23	c |    804488 |    1100    22000   110000 |    95901    89901    148 |  0.000 % |
621.01/621.35	c |    804621 |    1100    22000   110000 |    95901    90034    148 |  0.000 % |
621.11/621.47	c |    804769 |    1100    22000   110000 |    95901    90182    148 |  0.000 % |
621.31/621.62	c |    804931 |    1100    22000   110000 |    95901    90344    148 |  0.000 % |
621.41/621.78	c |    805108 |    1100    22000   110000 |    95901    90521    148 |  0.000 % |
621.61/621.95	c |    805301 |    1100    22000   110000 |    95901    90714    148 |  0.000 % |
621.81/622.13	c |    805513 |    1100    22000   110000 |    95901    90926    148 |  0.000 % |
622.01/622.38	c |    805748 |    1100    22000   110000 |    95901    91161    148 |  0.000 % |
622.21/622.59	c |    806005 |    1100    22000   110000 |    95901    91418    148 |  0.000 % |
622.51/622.84	c |    806286 |    1100    22000   110000 |    95901    91699    148 |  0.000 % |
622.81/623.11	c |    806597 |    1100    22000   110000 |    95901    92010    148 |  0.000 % |
623.11/623.43	c |    806937 |    1100    22000   110000 |    95901    92350    148 |  0.000 % |
623.41/623.73	c |    807309 |    1100    22000   110000 |    95901    92722    148 |  0.000 % |
623.71/624.05	c |    807721 |    1100    22000   110000 |    95901    93134    148 |  0.000 % |
624.11/624.45	c |    808170 |    1100    22000   110000 |    95901    93583    147 |  0.000 % |
624.51/624.88	c |    808663 |    1100    22000   110000 |    95901    94076    147 |  0.000 % |
624.91/625.28	c |    809205 |    1100    22000   110000 |    95901    94618    147 |  0.000 % |
625.51/625.80	c |    809802 |    1100    22000   110000 |    95901    95215    147 |  0.000 % |
626.11/626.40	c |    810458 |    1100    22000   110000 |    95413    85466    147 |  0.000 % |
626.61/626.97	c |    811180 |    1100    22000   110000 |    95413    86188    147 |  0.000 % |
627.20/627.54	c |    811973 |    1100    22000   110000 |    95413    86981    147 |  0.000 % |
627.81/628.14	c |    812844 |    1100    22000   110000 |    95413    87852    147 |  0.000 % |
628.51/628.84	c |    813804 |    1100    22000   110000 |    95413    88812    147 |  0.000 % |
629.30/629.66	c |    814857 |    1100    22000   110000 |    95413    89865    147 |  0.000 % |
630.30/630.62	c |    816015 |    1100    22000   110000 |    95413    91023    147 |  0.000 % |
631.30/631.67	c |    817291 |    1100    22000   110000 |    95413    92299    147 |  0.000 % |
632.40/632.77	c |    818693 |    1100    22000   110000 |    95413    93701    147 |  0.000 % |
633.60/633.98	c |    820233 |    1100    22000   110000 | 2147483647    95241    147 |  0.000 % |
635.00/635.38	c |    821929 |    1100    22000   110000 | 2147483647    96937    147 |  0.000 % |
636.61/636.91	c |    823792 |    1100    22000   110000 | 2147483647    98800    147 |  0.000 % |
638.20/638.56	c |    825841 |    1100    22000   110000 | 2147483647   100849    147 |  0.000 % |
640.00/640.34	c |    828094 |    1100    22000   110000 | 2147483647   103102    146 |  0.000 % |
642.21/642.59	c |    830574 |    1100    22000   110000 |   105008    91899    148 |  0.000 % |
644.51/644.81	c |    833299 |    1100    22000   110000 |   105008    94624    148 |  0.000 % |
647.01/647.30	c |    836298 |    1100    22000   110000 |   105008    97623    148 |  0.000 % |
649.61/649.91	c |    839594 |    1100    22000   110000 |   105008   100919    148 |  0.000 % |
652.50/652.89	c |    843219 |    1100    22000   110000 |   101325    91821    149 |  0.000 % |
655.70/656.04	c |    847209 |    1100    22000   110000 |   101325    95811    149 |  0.000 % |
659.20/659.57	c |    851597 |    1100    22000   110000 |    98605    88532    149 |  0.000 % |
662.91/663.29	c |    856420 |    1100    22000   110000 |    98605    93355    149 |  0.000 % |
667.20/667.55	c |    861727 |    1100    22000   110000 |    96936    87314    149 |  0.000 % |
671.80/672.13	c |    867562 |    1100    22000   110000 |    96936    93149    149 |  0.000 % |
677.00/677.33	c |    873980 |    1100    22000   110000 |    95587    89135    149 |  0.000 % |
682.70/683.01	c |    881041 |    1100    22000   110000 |    95155    85952    149 |  0.000 % |
688.59/688.94	c |    888805 |    1100    22000   110000 |    95155    93716    148 |  0.000 % |
688.69/689.03	c |    888905 |    1100    22000   110000 |    95155    93816    148 |  0.000 % |
688.79/689.14	c |    889015 |    1100    22000   110000 |    95155    93926    148 |  0.000 % |
688.89/689.26	c |    889136 |    1100    22000   110000 |    95155    94047    148 |  0.000 % |
689.09/689.41	c |    889270 |    1100    22000   110000 |    95155    94181    148 |  0.000 % |
689.19/689.54	c |    889417 |    1100    22000   110000 |    95155    94328    148 |  0.000 % |
689.40/689.73	c |    889577 |    1100    22000   110000 |    95155    94488    148 |  0.000 % |
689.59/689.90	c |    889754 |    1100    22000   110000 |    95155    94665    148 |  0.000 % |
689.69/690.08	c |    889948 |    1100    22000   110000 |    95155    94859    148 |  0.000 % |
689.89/690.26	c |    890161 |    1100    22000   110000 |    94913    95072    148 |  0.000 % |
690.19/690.50	c |    890394 |    1100    22000   110000 |    94913    85221    147 |  0.000 % |
690.40/690.71	c |    890650 |    1100    22000   110000 |    94913    85477    147 |  0.000 % |
690.59/690.92	c |    890931 |    1100    22000   110000 |    94913    85758    147 |  0.000 % |
690.79/691.18	c |    891240 |    1100    22000   110000 |    94913    86067    147 |  0.000 % |
691.09/691.46	c |    891583 |    1100    22000   110000 |    94913    86410    147 |  0.000 % |
691.39/691.79	c |    891955 |    1100    22000   110000 |    94913    86782    147 |  0.000 % |
691.79/692.11	c |    892364 |    1100    22000   110000 |    94913    87191    147 |  0.000 % |
692.09/692.44	c |    892813 |    1100    22000   110000 |    94913    87640    147 |  0.000 % |
692.49/692.82	c |    893306 |    1100    22000   110000 |    94913    88133    147 |  0.000 % |
692.89/693.22	c |    893849 |    1100    22000   110000 |    94913    88676    147 |  0.000 % |
693.39/693.71	c |    894445 |    1100    22000   110000 |    94913    89272    147 |  0.000 % |
693.79/694.19	c |    895100 |    1100    22000   110000 |    94913    89927    147 |  0.000 % |
694.39/694.74	c |    895821 |    1100    22000   110000 |    94913    90648    147 |  0.000 % |
694.99/695.33	c |    896615 |    1100    22000   110000 |    94913    91442    147 |  0.000 % |
695.69/696.03	c |    897490 |    1100    22000   110000 |    94913    92317    147 |  0.000 % |
696.39/696.73	c |    898448 |    1100    22000   110000 |    94913    93275    147 |  0.000 % |
697.19/697.59	c |    899502 |    1100    22000   110000 |    94913    94329    147 |  0.000 % |
698.19/698.55	c |    900660 |    1100    22000   110000 | 2147483647    95487    147 |  0.000 % |
699.19/699.59	c |    901934 |    1100    22000   110000 | 2147483647    96761    147 |  0.000 % |
700.49/700.81	c |    903336 |    1100    22000   110000 | 2147483647    98163    147 |  0.000 % |
701.79/702.13	c |    904876 |    1100    22000   110000 | 2147483647    99703    147 |  0.000 % |
703.09/703.44	c |    906570 |    1100    22000   110000 | 2147483647   101397    147 |  0.000 % |
704.79/705.12	c |    908433 |    1100    22000   110000 | 2147483647   103260    147 |  0.000 % |
706.69/707.04	c |    910483 |    1100    22000   110000 |   104827    91982    148 |  0.000 % |
708.49/708.89	c |    912738 |    1100    22000   110000 |   104827    94237    148 |  0.000 % |
710.68/711.03	c |    915216 |    1100    22000   110000 |   104827    96715    148 |  0.000 % |
713.08/713.43	c |    917941 |    1100    22000   110000 |   104827    99440    148 |  0.000 % |
715.79/716.13	c |    920938 |    1100    22000   110000 |   101500    89486    148 |  0.000 % |
718.38/718.79	c |    924235 |    1100    22000   110000 |   101500    92783    148 |  0.000 % |
721.39/721.73	c |    927861 |    1100    22000   110000 |   101500    96409    148 |  0.000 % |
724.59/724.99	c |    931848 |    1100    22000   110000 |    98548    89816    148 |  0.000 % |
728.39/728.71	c |    936233 |    1100    22000   110000 |    98548    94201    148 |  0.000 % |
732.48/732.83	c |    941057 |    1100    22000   110000 |    97969    88348    149 |  0.000 % |
736.69/737.03	c |    946363 |    1100    22000   110000 |    97969    93654    150 |  0.000 % |
741.38/741.70	c |    952199 |    1100    22000   110000 |    97291    87867    150 |  0.000 % |
746.48/746.81	c |    958618 |    1100    22000   110000 |    97291    94286    150 |  0.000 % |
752.18/752.55	c |    965678 |    1100    22000   110000 |    95668    90258    150 |  0.000 % |
758.48/758.85	c |    973442 |    1100    22000   110000 |    94580    88027    150 |  0.000 % |
765.67/766.07	c |    981984 |    1100    22000   110000 |    94586    86092    151 |  0.000 % |
765.77/766.16	c |    982084 |    1100    22000   110000 |    94586    86192    151 |  0.000 % |
765.87/766.26	c |    982194 |    1100    22000   110000 |    94586    86302    151 |  0.000 % |
765.97/766.39	c |    982318 |    1100    22000   110000 |    94586    86426    151 |  0.000 % |
766.17/766.50	c |    982453 |    1100    22000   110000 |    94586    86561    151 |  0.000 % |
766.28/766.62	c |    982602 |    1100    22000   110000 |    94586    86710    151 |  0.000 % |
766.38/766.76	c |    982763 |    1100    22000   110000 |    94586    86871    151 |  0.000 % |
766.57/766.90	c |    982940 |    1100    22000   110000 |    94586    87048    151 |  0.000 % |
766.67/767.06	c |    983135 |    1100    22000   110000 |    94586    87243    151 |  0.000 % |
766.87/767.24	c |    983347 |    1100    22000   110000 |    94586    87455    151 |  0.000 % |
767.07/767.44	c |    983580 |    1100    22000   110000 |    94586    87688    151 |  0.000 % |
767.27/767.65	c |    983836 |    1100    22000   110000 |    94586    87944    151 |  0.000 % |
767.48/767.89	c |    984117 |    1100    22000   110000 |    94586    88225    151 |  0.000 % |
767.77/768.17	c |    984426 |    1100    22000   110000 |    94586    88534    151 |  0.000 % |
768.07/768.45	c |    984765 |    1100    22000   110000 |    94586    88873    151 |  0.000 % |
768.37/768.76	c |    985137 |    1100    22000   110000 |    94586    89245    150 |  0.000 % |
768.67/769.09	c |    985547 |    1100    22000   110000 |    94586    89655    150 |  0.000 % |
769.07/769.47	c |    985996 |    1100    22000   110000 |    94586    90104    150 |  0.000 % |
769.47/769.89	c |    986489 |    1100    22000   110000 |    94586    90597    150 |  0.000 % |
769.97/770.38	c |    987031 |    1100    22000   110000 |    94586    91139    150 |  0.000 % |
770.47/770.87	c |    987628 |    1100    22000   110000 |    94586    91736    150 |  0.000 % |
770.97/771.38	c |    988286 |    1100    22000   110000 |    94586    92394    150 |  0.000 % |
771.57/771.92	c |    989006 |    1100    22000   110000 |    94586    93114    150 |  0.000 % |
772.27/772.60	c |    989799 |    1100    22000   110000 |    94586    93907    150 |  0.000 % |
772.97/773.39	c |    990671 |    1100    22000   110000 |    94108    84127    150 |  0.000 % |
773.77/774.14	c |    991630 |    1100    22000   110000 |    94108    85086    151 |  0.000 % |
774.57/774.90	c |    992684 |    1100    22000   110000 |    94108    86140    151 |  0.000 % |
775.37/775.71	c |    993843 |    1100    22000   110000 |    94108    87299    150 |  0.000 % |
776.17/776.60	c |    995117 |    1100    22000   110000 |    94108    88573    150 |  0.000 % |
777.27/777.64	c |    996517 |    1100    22000   110000 |    94108    89973    150 |  0.000 % |
778.47/778.87	c |    998057 |    1100    22000   110000 |    94108    91513    150 |  0.000 % |
779.87/780.22	c |    999751 |    1100    22000   110000 |    94108    93207    150 |  0.000 % |
781.27/781.67	c |   1001614 |    1100    22000   110000 | 2147483647    95070    150 |  0.000 % |
782.87/783.25	c |   1003664 |    1100    22000   110000 | 2147483647    97120    150 |  0.000 % |
784.76/785.17	c |   1005917 |    1100    22000   110000 | 2147483647    99373    150 |  0.000 % |
786.86/787.21	c |   1008396 |    1100    22000   110000 | 2147483647   101852    150 |  0.000 % |
789.26/789.61	c |   1011121 |    1100    22000   110000 |   103460    92224    150 |  0.000 % |
791.56/791.96	c |   1014118 |    1100    22000   110000 |   103460    95221    150 |  0.000 % |
794.26/794.60	c |   1017415 |    1100    22000   110000 |   103460    98518    150 |  0.000 % |
797.16/797.55	c |   1021041 |    1100    22000   110000 |   101103    90408    150 |  0.000 % |
800.27/800.61	c |   1025028 |    1100    22000   110000 |   101103    94395    150 |  0.000 % |
803.77/804.16	c |   1029413 |    1100    22000   110000 |   101103    98780    149 |  0.000 % |
807.56/807.96	c |   1034237 |    1100    22000   110000 |    99370    91385    148 |  0.000 % |
811.96/812.32	c |   1039545 |    1100    22000   110000 |    99370    96693    149 |  0.000 % |
816.36/816.76	c |   1045380 |    1100    22000   110000 |    97149    91785    147 |  0.000 % |
821.46/821.86	c |   1051799 |    1100    22000   110000 |    96406    87299    146 |  0.000 % |
826.66/827.04	c |   1058858 |    1100    22000   110000 |    96406    94358    147 |  0.000 % |
832.86/833.25	c |   1066622 |    1100    22000   110000 |    95500    92303    147 |  0.000 % |
839.85/840.28	c |   1075165 |    1100    22000   110000 | 2147483647   100846    148 |  0.000 % |
847.95/848.30	c |   1084559 |    1100    22000   110000 |   105681    96650    149 |  0.000 % |
848.05/848.41	c |   1084660 |    1100    22000   110000 |   105681    96751    149 |  0.000 % |
848.15/848.51	c |   1084770 |    1100    22000   110000 |   105681    96861    149 |  0.000 % |
848.25/848.62	c |   1084891 |    1100    22000   110000 |   105681    96982    149 |  0.000 % |
848.35/848.76	c |   1085025 |    1100    22000   110000 |   105681    97116    149 |  0.000 % |
848.55/848.93	c |   1085171 |    1100    22000   110000 |   105681    97262    149 |  0.000 % |
848.65/849.07	c |   1085332 |    1100    22000   110000 |   105681    97423    149 |  0.000 % |
848.85/849.23	c |   1085508 |    1100    22000   110000 |   105681    97599    149 |  0.000 % |
849.05/849.43	c |   1085701 |    1100    22000   110000 |   105681    97792    149 |  0.000 % |
849.25/849.64	c |   1085913 |    1100    22000   110000 |   105681    98004    149 |  0.000 % |
849.45/849.87	c |   1086147 |    1100    22000   110000 |   105681    98238    149 |  0.000 % |
849.75/850.10	c |   1086404 |    1100    22000   110000 |   105681    98495    149 |  0.000 % |
849.95/850.35	c |   1086686 |    1100    22000   110000 |   105681    98777    149 |  0.000 % |
850.25/850.62	c |   1086995 |    1100    22000   110000 |   105681    99086    149 |  0.000 % |
850.55/850.95	c |   1087336 |    1100    22000   110000 |   105681    99427    149 |  0.000 % |
850.85/851.30	c |   1087711 |    1100    22000   110000 |   105681    99802    149 |  0.000 % |
851.25/851.68	c |   1088121 |    1100    22000   110000 |   105681   100212    149 |  0.000 % |
851.65/852.09	c |   1088570 |    1100    22000   110000 |   105681   100661    149 |  0.000 % |
852.15/852.53	c |   1089064 |    1100    22000   110000 |   105681   101155    149 |  0.000 % |
852.65/853.05	c |   1089606 |    1100    22000   110000 |   105681   101697    149 |  0.000 % |
853.15/853.60	c |   1090204 |    1100    22000   110000 |   102091   102295    149 |  0.000 % |
853.75/854.17	c |   1090859 |    1100    22000   110000 |   102091    88894    149 |  0.000 % |
854.25/854.67	c |   1091580 |    1100    22000   110000 |   102091    89615    149 |  0.000 % |
854.95/855.33	c |   1092372 |    1100    22000   110000 |   102091    90407    149 |  0.000 % |
855.64/856.08	c |   1093243 |    1100    22000   110000 |   102091    91278    149 |  0.000 % |
856.45/856.83	c |   1094201 |    1100    22000   110000 |   102091    92236    149 |  0.000 % |
857.24/857.60	c |   1095258 |    1100    22000   110000 |   102091    93293    149 |  0.000 % |
858.14/858.55	c |   1096417 |    1100    22000   110000 |   102091    94452    149 |  0.000 % |
859.14/859.57	c |   1097692 |    1100    22000   110000 |   102091    95727    149 |  0.000 % |
860.44/860.84	c |   1099092 |    1100    22000   110000 |   102091    97127    149 |  0.000 % |
861.84/862.24	c |   1100632 |    1100    22000   110000 |    98036    86950    149 |  0.000 % |
863.14/863.56	c |   1102326 |    1100    22000   110000 |    98036    88644    149 |  0.000 % |
864.64/865.03	c |   1104189 |    1100    22000   110000 |    98036    90507    149 |  0.000 % |
866.24/866.64	c |   1106238 |    1100    22000   110000 |    98036    92556    148 |  0.000 % |
868.04/868.49	c |   1108492 |    1100    22000   110000 |    98036    94810    148 |  0.000 % |
870.04/870.50	c |   1110970 |    1100    22000   110000 |    96319    86582    148 |  0.000 % |
872.24/872.66	c |   1113695 |    1100    22000   110000 |    96319    89307    148 |  0.000 % |
874.74/875.12	c |   1116692 |    1100    22000   110000 |    96319    92304    148 |  0.000 % |
877.34/877.71	c |   1119988 |    1100    22000   110000 |    96319    95600    148 |  0.000 % |
880.03/880.45	c |   1123614 |    1100    22000   110000 |    95613    88552    149 |  0.000 % |
883.13/883.51	c |   1127601 |    1100    22000   110000 |    95613    92539    149 |  0.000 % |
886.73/887.10	c |   1131987 |    1100    22000   110000 | 2147483647    96925    149 |  0.000 % |
890.83/891.27	c |   1136810 |    1100    22000   110000 | 2147483647   101748    149 |  0.000 % |
895.63/896.06	c |   1142116 |    1100    22000   110000 |   104938    93891    150 |  0.000 % |
900.73/901.16	c |   1147951 |    1100    22000   110000 |   104938    99726    150 |  0.000 % |
906.24/906.66	c |   1154371 |    1100    22000   110000 |   101775    93017    150 |  0.000 % |
912.33/912.71	c |   1161431 |    1100    22000   110000 |    98646    88026    150 |  0.000 % |
918.63/919.04	c |   1169195 |    1100    22000   110000 |    98646    95790    150 |  0.000 % |
925.83/926.27	c |   1177735 |    1100    22000   110000 |    96596    94057    148 |  0.000 % |
934.03/934.44	c |   1187130 |    1100    22000   110000 |    96322    92655    150 |  0.000 % |
942.82/943.21	c |   1197463 |    1100    22000   110000 |    95525    92459    151 |  0.000 % |
942.92/943.31	c |   1197564 |    1100    22000   110000 |    95525    92560    151 |  0.000 % |
943.02/943.43	c |   1197674 |    1100    22000   110000 |    95525    92670    151 |  0.000 % |
943.12/943.54	c |   1197796 |    1100    22000   110000 |    95525    92792    151 |  0.000 % |
943.22/943.66	c |   1197929 |    1100    22000   110000 |    95525    92925    151 |  0.000 % |
943.33/943.78	c |   1198076 |    1100    22000   110000 |    95525    93072    151 |  0.000 % |
943.52/943.95	c |   1198237 |    1100    22000   110000 |    95525    93233    151 |  0.000 % |
943.72/944.10	c |   1198413 |    1100    22000   110000 |    95525    93409    151 |  0.000 % |
943.82/944.29	c |   1198606 |    1100    22000   110000 |    95525    93602    151 |  0.000 % |
944.02/944.47	c |   1198818 |    1100    22000   110000 |    95525    93814    151 |  0.000 % |
944.22/944.67	c |   1199053 |    1100    22000   110000 |    95525    94049    151 |  0.000 % |
944.53/944.90	c |   1199312 |    1100    22000   110000 |    95525    94308    151 |  0.000 % |
944.72/945.15	c |   1199594 |    1100    22000   110000 |    95525    94590    151 |  0.000 % |
945.02/945.46	c |   1199904 |    1100    22000   110000 |    95525    94900    151 |  0.000 % |
945.32/945.76	c |   1200246 |    1100    22000   110000 |    94996    95242    151 |  0.000 % |
945.72/946.14	c |   1200618 |    1100    22000   110000 |    94996    84703    151 |  0.000 % |
946.02/946.45	c |   1201027 |    1100    22000   110000 |    94996    85112    151 |  0.000 % |
946.32/946.80	c |   1201476 |    1100    22000   110000 |    94996    85561    151 |  0.000 % |
946.72/947.16	c |   1201969 |    1100    22000   110000 |    94996    86054    151 |  0.000 % |
947.12/947.56	c |   1202512 |    1100    22000   110000 |    94996    86597    151 |  0.000 % |
947.62/948.00	c |   1203109 |    1100    22000   110000 |    94996    87194    151 |  0.000 % |
948.12/948.52	c |   1203767 |    1100    22000   110000 |    94996    87852    151 |  0.000 % |
948.62/949.08	c |   1204487 |    1100    22000   110000 |    94996    88572    151 |  0.000 % |
949.22/949.66	c |   1205279 |    1100    22000   110000 |    94996    89364    151 |  0.000 % |
949.82/950.30	c |   1206150 |    1100    22000   110000 |    94996    90235    151 |  0.000 % |
950.62/951.08	c |   1207110 |    1100    22000   110000 |    94996    91195    151 |  0.000 % |
951.42/951.87	c |   1208166 |    1100    22000   110000 |    94996    92251    151 |  0.000 % |
952.32/952.76	c |   1209324 |    1100    22000   110000 |    94996    93409    151 |  0.000 % |
953.32/953.72	c |   1210597 |    1100    22000   110000 | 2147483647    94682    151 |  0.000 % |
954.42/954.80	c |   1211997 |    1100    22000   110000 | 2147483647    96082    151 |  0.000 % |
955.62/956.09	c |   1213538 |    1100    22000   110000 | 2147483647    97623    151 |  0.000 % |
957.02/957.48	c |   1215233 |    1100    22000   110000 | 2147483647    99318    151 |  0.000 % |
958.52/959.00	c |   1217096 |    1100    22000   110000 | 2147483647   101181    150 |  0.000 % |
960.42/960.82	c |   1219147 |    1100    22000   110000 | 2147483647   103232    150 |  0.000 % |
962.32/962.72	c |   1221400 |    1100    22000   110000 |   104089    92116    150 |  0.000 % |
964.22/964.69	c |   1223878 |    1100    22000   110000 |   104089    94594    150 |  0.000 % |
966.31/966.73	c |   1226604 |    1100    22000   110000 |   104089    97320    150 |  0.000 % |
968.91/969.34	c |   1229602 |    1100    22000   110000 |   104089   100318    150 |  0.000 % |
971.51/971.96	c |   1232901 |    1100    22000   110000 |   100716    91508    150 |  0.000 % |
974.31/974.76	c |   1236526 |    1100    22000   110000 |   100716    95133    150 |  0.000 % |
977.51/977.93	c |   1240515 |    1100    22000   110000 |    98607    87680    149 |  0.000 % |
980.61/981.09	c |   1244900 |    1100    22000   110000 |    98607    92065    149 |  0.000 % |
984.41/984.85	c |   1249725 |    1100    22000   110000 |    98607    96890    149 |  0.000 % |
988.51/988.94	c |   1255032 |    1100    22000   110000 |    97165    91160    149 |  0.000 % |
993.01/993.41	c |   1260868 |    1100    22000   110000 |    96128    86277    149 |  0.000 % |
997.80/998.26	c |   1267287 |    1100    22000   110000 |    96128    92696    149 |  0.000 % |
1003.60/1004.01	c |   1274347 |    1100    22000   110000 | 2147483647    99756    150 |  0.000 % |
1010.10/1010.53	c |   1282111 |    1100    22000   110000 |   105410    94080    149 |  0.000 % |
1017.70/1018.12	c |   1290653 |    1100    22000   110000 |   101971    89563    150 |  0.000 % |
1025.60/1026.07	c |   1300049 |    1100    22000   110000 |    98913    98959    151 |  0.000 % |
1033.69/1034.18	c |   1310383 |    1100    22000   110000 |    97407    97790    151 |  0.000 % |
1043.09/1043.51	c |   1321751 |    1100    22000   110000 |    95991    87692    153 |  0.000 % |
1043.09/1043.59	c |   1321851 |    1100    22000   110000 |    95991    87792    153 |  0.000 % |
1043.19/1043.68	c |   1321961 |    1100    22000   110000 |    95991    87902    153 |  0.000 % |
1043.29/1043.79	c |   1322082 |    1100    22000   110000 |    95991    88023    153 |  0.000 % |
1043.49/1043.92	c |   1322215 |    1100    22000   110000 |    95991    88156    153 |  0.000 % |
1043.59/1044.06	c |   1322361 |    1100    22000   110000 |    95991    88302    153 |  0.000 % |
1043.69/1044.19	c |   1322523 |    1100    22000   110000 |    95991    88464    153 |  0.000 % |
1043.89/1044.36	c |   1322700 |    1100    22000   110000 |    95991    88641    153 |  0.000 % |
1044.09/1044.53	c |   1322893 |    1100    22000   110000 |    95991    88834    153 |  0.000 % |
1044.29/1044.70	c |   1323108 |    1100    22000   110000 |    95991    89049    153 |  0.000 % |
1044.39/1044.89	c |   1323342 |    1100    22000   110000 |    95991    89283    153 |  0.000 % |
1044.59/1045.09	c |   1323599 |    1100    22000   110000 |    95991    89540    153 |  0.000 % |
1044.89/1045.36	c |   1323880 |    1100    22000   110000 |    95991    89821    153 |  0.000 % |
1045.19/1045.62	c |   1324189 |    1100    22000   110000 |    95991    90130    153 |  0.000 % |
1045.39/1045.89	c |   1324528 |    1100    22000   110000 |    95991    90469    153 |  0.000 % |
1045.79/1046.25	c |   1324900 |    1100    22000   110000 |    95991    90841    153 |  0.000 % |
1046.19/1046.61	c |   1325310 |    1100    22000   110000 |    95991    91251    153 |  0.000 % |
1046.49/1046.97	c |   1325760 |    1100    22000   110000 |    95991    91701    152 |  0.000 % |
1046.89/1047.39	c |   1326257 |    1100    22000   110000 |    95991    92198    152 |  0.000 % |
1047.39/1047.84	c |   1326799 |    1100    22000   110000 |    95991    92740    152 |  0.000 % |
1047.89/1048.33	c |   1327395 |    1100    22000   110000 |    95991    93336    152 |  0.000 % |
1048.39/1048.89	c |   1328051 |    1100    22000   110000 |    95991    93992    152 |  0.000 % |
1049.09/1049.54	c |   1328772 |    1100    22000   110000 |    95991    94713    152 |  0.000 % |
1049.79/1050.24	c |   1329564 |    1100    22000   110000 |    95991    95505    152 |  0.000 % |
1050.59/1051.04	c |   1330435 |    1100    22000   110000 |    95941    85022    152 |  0.000 % |
1051.29/1051.77	c |   1331393 |    1100    22000   110000 |    95941    85980    152 |  0.000 % |
1052.19/1052.60	c |   1332446 |    1100    22000   110000 |    95941    87033    152 |  0.000 % |
1052.98/1053.48	c |   1333605 |    1100    22000   110000 |    95941    88192    152 |  0.000 % |
1054.08/1054.53	c |   1334881 |    1100    22000   110000 |    95941    89468    152 |  0.000 % |
1055.18/1055.64	c |   1336281 |    1100    22000   110000 |    95941    90868    152 |  0.000 % |
1056.38/1056.86	c |   1337822 |    1100    22000   110000 |    95941    92409    152 |  0.000 % |
1057.88/1058.32	c |   1339516 |    1100    22000   110000 |    95941    94103    152 |  0.000 % |
1059.38/1059.82	c |   1341380 |    1100    22000   110000 |    94587    85434    152 |  0.000 % |
1060.78/1061.23	c |   1343429 |    1100    22000   110000 |    94587    87483    151 |  0.000 % |
1062.38/1062.85	c |   1345682 |    1100    22000   110000 |    94587    89736    151 |  0.000 % |
1064.18/1064.70	c |   1348160 |    1100    22000   110000 |    94587    92214    151 |  0.000 % |
1066.28/1066.79	c |   1350886 |    1100    22000   110000 | 2147483647    94940    151 |  0.000 % |
1068.78/1069.28	c |   1353883 |    1100    22000   110000 | 2147483647    97937    152 |  0.000 % |
1071.48/1071.92	c |   1357181 |    1100    22000   110000 | 2147483647   101235    152 |  0.000 % |
1074.58/1075.02	c |   1360808 |    1100    22000   110000 |   104056    92627    151 |  0.000 % |
1077.79/1078.21	c |   1364795 |    1100    22000   110000 |   104056    96614    151 |  0.000 % |
1081.29/1081.73	c |   1369180 |    1100    22000   110000 |   104056   100999    151 |  0.000 % |
1085.19/1085.65	c |   1374004 |    1100    22000   110000 |   101819    94079    151 |  0.000 % |
1089.59/1090.08	c |   1379312 |    1100    22000   110000 |   101819    99387    151 |  0.000 % |
1094.38/1094.86	c |   1385147 |    1100    22000   110000 |   100076    92669    151 |  0.000 % |
1099.48/1100.00	c |   1391565 |    1100    22000   110000 |    97522    88349    150 |  0.000 % |
1105.08/1105.51	c |   1398624 |    1100    22000   110000 |    97522    95408    150 |  0.000 % |
1111.17/1111.63	c |   1406388 |    1100    22000   110000 |    96785    92428    150 |  0.000 % |
1118.47/1118.95	c |   1414928 |    1100    22000   110000 |    96042    90690    149 |  0.000 % |
1126.37/1126.89	c |   1424325 |    1100    22000   110000 |    95762    90037    151 |  0.000 % |
1134.97/1135.43	c |   1434659 |    1100    22000   110000 | 2147483647   100371    152 |  0.000 % |
1145.56/1146.03	c |   1446025 |    1100    22000   110000 |   105713    98318    152 |  0.000 % |
1155.46/1155.93	c |   1458527 |    1100    22000   110000 |   102293    97430    152 |  0.000 % |
1155.56/1156.03	c |   1458627 |    1100    22000   110000 |   102293    97530    152 |  0.000 % |
1155.66/1156.14	c |   1458737 |    1100    22000   110000 |   102293    97640    152 |  0.000 % |
1155.76/1156.27	c |   1458858 |    1100    22000   110000 |   102293    97761    152 |  0.000 % |
1155.96/1156.41	c |   1458992 |    1100    22000   110000 |   102293    97895    152 |  0.000 % |
1156.06/1156.56	c |   1459138 |    1100    22000   110000 |   102293    98041    152 |  0.000 % |
1156.26/1156.71	c |   1459298 |    1100    22000   110000 |   102293    98201    152 |  0.000 % |
1156.36/1156.87	c |   1459474 |    1100    22000   110000 |   102293    98377    152 |  0.000 % |
1156.56/1157.05	c |   1459669 |    1100    22000   110000 |   102293    98572    152 |  0.000 % |
1156.76/1157.25	c |   1459881 |    1100    22000   110000 |   102293    98784    152 |  0.000 % |
1156.96/1157.46	c |   1460115 |    1100    22000   110000 |    98903    99018    152 |  0.000 % |
1157.25/1157.72	c |   1460373 |    1100    22000   110000 |    98903    86370    152 |  0.000 % |
1157.45/1157.97	c |   1460654 |    1100    22000   110000 |    98903    86651    152 |  0.000 % |
1157.65/1158.20	c |   1460963 |    1100    22000   110000 |    98903    86960    152 |  0.000 % |
1157.95/1158.47	c |   1461305 |    1100    22000   110000 |    98903    87302    152 |  0.000 % |
1158.25/1158.72	c |   1461677 |    1100    22000   110000 |    98903    87674    152 |  0.000 % |
1158.55/1159.03	c |   1462086 |    1100    22000   110000 |    98903    88083    152 |  0.000 % |
1158.96/1159.44	c |   1462536 |    1100    22000   110000 |    98903    88533    152 |  0.000 % |
1159.35/1159.85	c |   1463031 |    1100    22000   110000 |    98903    89028    152 |  0.000 % |
1159.85/1160.35	c |   1463574 |    1100    22000   110000 |    98903    89571    151 |  0.000 % |
1160.45/1160.90	c |   1464172 |    1100    22000   110000 |    98903    90169    151 |  0.000 % |
1160.95/1161.45	c |   1464827 |    1100    22000   110000 |    98903    90824    151 |  0.000 % |
1161.55/1162.01	c |   1465547 |    1100    22000   110000 |    98903    91544    151 |  0.000 % |
1162.25/1162.74	c |   1466342 |    1100    22000   110000 |    98903    92339    151 |  0.000 % |
1163.05/1163.50	c |   1467214 |    1100    22000   110000 |    98903    93211    151 |  0.000 % |
1163.85/1164.35	c |   1468172 |    1100    22000   110000 |    98903    94169    151 |  0.000 % |
1164.75/1165.23	c |   1469225 |    1100    22000   110000 |    98903    95222    151 |  0.000 % |
1165.75/1166.20	c |   1470383 |    1100    22000   110000 |    95997    96380    151 |  0.000 % |
1166.65/1167.20	c |   1471656 |    1100    22000   110000 |    95997    86402    151 |  0.000 % |
1167.75/1168.29	c |   1473056 |    1100    22000   110000 |    95997    87802    151 |  0.000 % |
1169.15/1169.65	c |   1474599 |    1100    22000   110000 |    95997    89345    151 |  0.000 % |
1170.55/1171.07	c |   1476293 |    1100    22000   110000 |    95997    91039    151 |  0.000 % |
1172.05/1172.57	c |   1478157 |    1100    22000   110000 |    95997    92903    150 |  0.000 % |
1173.64/1174.16	c |   1480208 |    1100    22000   110000 |    94746    94954    150 |  0.000 % |
1175.35/1175.86	c |   1482462 |    1100    22000   110000 |    94746    87488    150 |  0.000 % |
1177.14/1177.67	c |   1484940 |    1100    22000   110000 |    94746    89966    150 |  0.000 % |
1179.24/1179.71	c |   1487665 |    1100    22000   110000 |    94746    92691    150 |  0.000 % |
1181.64/1182.18	c |   1490662 |    1100    22000   110000 | 2147483647    95688    150 |  0.000 % |
1184.25/1184.79	c |   1493959 |    1100    22000   110000 | 2147483647    98985    150 |  0.000 % |
1187.34/1187.86	c |   1497584 |    1100    22000   110000 | 2147483647   102610    150 |  0.000 % |
1190.84/1191.35	c |   1501571 |    1100    22000   110000 |   105026    93676    150 |  0.000 % |
1194.64/1195.11	c |   1505956 |    1100    22000   110000 |   105026    98061    151 |  0.000 % |
1198.64/1199.18	c |   1510779 |    1100    22000   110000 |   102110    90002    150 |  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-1832493-1242773941/watcher-1832493-1242773941 -o /tmp/evaluation-result-1832493-1242773941/solver-1832493-1242773941 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832493-1242773941.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 4657
/proc/meminfo: memFree=1834096/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305426830 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4657/statm: 1339 237 197 169 0 50 0

[startup+0.012251 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 4657
/proc/meminfo: memFree=1834096/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305426830 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4657/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101263 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 4657
/proc/meminfo: memFree=1834096/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301286 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 4657
/proc/meminfo: memFree=1834096/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701332 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 4657
/proc/meminfo: memFree=1834096/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4663
/proc/meminfo: memFree=1827680/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=7316 CPUtime=1.41
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 1586 0 0 0 141 0 0 0 25 0 1 0 305426837 7491584 1572 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 1829 1572 77 171 0 1656 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12672

[startup+3.1016 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4663
/proc/meminfo: memFree=1825504/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=11436 CPUtime=3.02
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 2644 0 0 0 301 1 0 0 25 0 1 0 305426837 11710464 2630 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 2859 2630 77 171 0 2686 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16792

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4663
/proc/meminfo: memFree=1817632/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=18272 CPUtime=6.22
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 4327 0 0 0 619 3 0 0 25 0 1 0 305426837 18710528 4313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 4568 4313 77 171 0 4395 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 23628

[startup+12.7027 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4663
/proc/meminfo: memFree=1807200/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=27888 CPUtime=12.61
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 6722 0 0 0 1257 4 0 0 25 0 1 0 305426837 28557312 6708 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 6972 6708 77 171 0 6799 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 33244

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4663
/proc/meminfo: memFree=1792672/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=41868 CPUtime=25.4
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 10208 0 0 0 2533 7 0 0 25 0 1 0 305426837 42872832 10194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 10467 10194 77 171 0 10294 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 47224

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4663
/proc/meminfo: memFree=1775456/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=58812 CPUtime=50.98
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 14420 0 0 0 5086 12 0 0 25 0 1 0 305426837 60223488 14406 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 14703 14406 77 171 0 14530 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 64168

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4663
/proc/meminfo: memFree=1769504/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=64488 CPUtime=102.16
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 15876 0 0 0 10201 15 0 0 25 0 1 0 305426837 66035712 15862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 16122 15862 77 171 0 15949 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 69844

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1767896/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=65808 CPUtime=162.12
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 16195 0 0 0 16196 16 0 0 25 0 1 0 305426837 67387392 16181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 16452 16181 77 171 0 16279 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 71164

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1767896/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=65808 CPUtime=222.09
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 16195 0 0 0 22193 16 0 0 25 0 1 0 305426837 67387392 16181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 16452 16181 77 171 0 16279 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 71164

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1765400/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=68316 CPUtime=282.07
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 16804 0 0 0 28189 18 0 0 25 0 1 0 305426837 69955584 16790 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 17079 16790 77 171 0 16906 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 73672

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1762584/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=70956 CPUtime=342.05
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17466 0 0 0 34186 19 0 0 25 0 1 0 305426837 72658944 17452 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 17739 17452 77 171 0 17566 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 76312

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1762520/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=70956 CPUtime=402.03
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17466 0 0 0 40183 20 0 0 25 0 1 0 305426837 72658944 17452 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 17739 17452 77 171 0 17566 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 76312

[startup+462.302 s]

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

/proc/4663/statm: 17708 17452 77 171 0 17535 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 76188

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1762080/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=70832 CPUtime=641.96
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17466 0 0 0 64174 22 0 0 25 0 1 0 305426837 72531968 17452 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 17708 17452 77 171 0 17535 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 76188

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1761952/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=70832 CPUtime=701.94
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17466 0 0 0 70172 22 0 0 25 0 1 0 305426837 72531968 17452 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 17708 17452 77 171 0 17535 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 76188

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1761888/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=70832 CPUtime=761.93
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17466 0 0 0 76170 23 0 0 25 0 1 0 305426837 72531968 17452 1992294400 134512640 135215339 4294956240 18446744073709551615 134529116 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 17708 17452 77 171 0 17535 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 76188

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1761568/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=71096 CPUtime=821.91
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17533 0 0 0 82167 24 0 0 25 0 1 0 305426837 72802304 17519 1992294400 134512640 135215339 4294956240 18446744073709551615 134538092 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 17774 17519 77 171 0 17601 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 76452

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1760672/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=71888 CPUtime=881.88
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17725 0 0 0 88164 24 0 0 25 0 1 0 305426837 73613312 17711 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 17972 17711 77 171 0 17799 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 77244

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1760288/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=72152 CPUtime=941.87
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17781 0 0 0 94162 25 0 0 25 0 1 0 305426837 73883648 17767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 18038 17767 77 171 0 17865 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 77508

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1760160/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=72152 CPUtime=1001.85
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17790 0 0 0 100160 25 0 0 25 0 1 0 305426837 73883648 17776 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 18038 17776 77 171 0 17865 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 77508

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1759456/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=72812 CPUtime=1061.83
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17948 0 0 0 106158 25 0 0 25 0 1 0 305426837 74559488 17934 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 18203 17934 77 171 0 18030 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 78168

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1759328/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=72944 CPUtime=1121.82
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 17965 0 0 0 112156 26 0 0 25 0 1 0 305426837 74694656 17951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 18236 17951 77 171 0 18063 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 78300

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1757984/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=74132 CPUtime=1181.79
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 18277 0 0 0 118153 26 0 0 25 0 1 0 305426837 75911168 18263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 18533 18263 77 171 0 18360 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 79488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1757984/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=74132 CPUtime=1200
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 18277 0 0 0 119973 27 0 0 25 0 1 0 305426837 75911168 18263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 18533 18263 77 171 0 18360 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 79488

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 4669
/proc/meminfo: memFree=1757984/2055920 swapFree=4179248/4192956
[pid=4657] ppid=4655 vsize=5356 CPUtime=0.05
/proc/4657/stat : 4657 (SatELiteGTI) S 4655 4657 4427 0 -1 4194304 336 823 0 0 0 0 5 0 16 0 1 0 305426830 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4657/statm: 1339 239 197 169 0 50 0
[pid=4663] ppid=4657 vsize=74132 CPUtime=1200
/proc/4663/stat : 4663 (minisat_static) R 4657 4657 4427 0 -1 4194304 18277 0 0 0 119973 27 0 0 25 0 1 0 305426837 75911168 18263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4663/statm: 18533 18263 77 171 0 18360 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 79488

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.78
CPU system time (s): 0.27
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 79488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.056991
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1159
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= 7

runsolver used 1.08283 second user time and 3.41048 second system time

The end

Launcher Data

Begin job on node74 at 2009-05-20 00:59:01
IDJOB=1832493
IDBENCH=70210
IDSOLVER=671
FILE ID=node74/1832493-1242773941
PBS_JOBID= 9322229
Free space on /tmp= 102936 MiB

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

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

MD5SUM BENCH= a1fc4ba8186be6b254ba81203aa388ed
RANDOM SEED=1184020153

node74.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.233
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.233
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:       1834648 kB
Buffers:         18944 kB
Cached:         164768 kB
SwapCached:       7096 kB
Active:          24816 kB
Inactive:       168392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834648 kB
SwapTotal:     4192956 kB
SwapFree:      4179248 kB
Dirty:            2112 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            13988 kB
Committed_AS:  1045424 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 102932 MiB
End job on node74 at 2009-05-20 01:19:04