Trace number 1832497

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
MD5SUM28359db36bffb53d70af426463d1fc34
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark178.503
Satisfiable
(Un)Satisfiability was proved
Number of variables1100
Number of clauses22000
Sum of the clauses size110000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 522000
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   22000   110000 |    6599       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 1100   #clauses: 22000   #literals: 110000
0.00/0.03	c CPU time:   0.022996 s
0.00/0.03	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  1100                                                 |
0.00/0.06	c |  Number of clauses:    22000                                                |
0.00/0.08	c |  Parsing time:         0.02         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.10	c |       103 |    1100    22000   110000 |     7333      103    113 |  0.000 % |
0.05/0.11	c |       203 |    1100    22000   110000 |     7333      203    117 |  0.000 % |
0.05/0.12	c |       304 |    1100    22000   110000 |     7333      304    119 |  0.000 % |
0.05/0.13	c |       414 |    1100    22000   110000 |     7333      414    118 |  0.000 % |
0.05/0.15	c |       515 |    1100    22000   110000 |     7333      515    119 |  0.000 % |
0.05/0.16	c |       625 |    1100    22000   110000 |     7333      625    121 |  0.000 % |
0.05/0.18	c |       749 |    1100    22000   110000 |     7333      749    122 |  0.000 % |
0.05/0.19	c |       852 |    1100    22000   110000 |     7333      852    122 |  0.000 % |
0.05/0.20	c |       962 |    1100    22000   110000 |     7333      962    123 |  0.000 % |
0.05/0.22	c |      1084 |    1100    22000   110000 |     7333     1084    125 |  0.000 % |
0.05/0.23	c |      1217 |    1100    22000   110000 |     7333     1217    128 |  0.000 % |
0.05/0.24	c |      1318 |    1100    22000   110000 |     7333     1318    127 |  0.000 % |
0.05/0.26	c |      1429 |    1100    22000   110000 |     7333     1429    126 |  0.000 % |
0.05/0.27	c |      1551 |    1100    22000   110000 |     7333     1551    126 |  0.000 % |
0.05/0.29	c |      1685 |    1100    22000   110000 |     7333     1685    128 |  0.000 % |
0.05/0.31	c |      1831 |    1100    22000   110000 |     7333     1831    128 |  0.000 % |
0.05/0.32	c |      1931 |    1100    22000   110000 |     7333     1931    128 |  0.000 % |
0.05/0.33	c |      2041 |    1100    22000   110000 |     7333     2041    128 |  0.000 % |
0.05/0.35	c |      2162 |    1100    22000   110000 |     7333     2162    128 |  0.000 % |
0.05/0.36	c |      2297 |    1100    22000   110000 |     7333     2297    127 |  0.000 % |
0.05/0.38	c |      2443 |    1100    22000   110000 |     7333     2443    127 |  0.000 % |
0.05/0.40	c |      2603 |    1100    22000   110000 |     7333     2603    127 |  0.000 % |
0.05/0.41	c |      2703 |    1100    22000   110000 |     7333     2703    126 |  0.000 % |
0.05/0.43	c |      2813 |    1100    22000   110000 |     7333     2813    127 |  0.000 % |
0.05/0.44	c |      2934 |    1100    22000   110000 |     7333     2934    126 |  0.000 % |
0.05/0.46	c |      3067 |    1100    22000   110000 |     7333     3067    127 |  0.000 % |
0.05/0.48	c |      3214 |    1100    22000   110000 |     7333     3214    126 |  0.000 % |
0.05/0.50	c |      3375 |    1100    22000   110000 |     7333     3375    126 |  0.000 % |
0.05/0.53	c |      3552 |    1100    22000   110000 |     7333     3552    127 |  0.000 % |
0.05/0.54	c |      3652 |    1100    22000   110000 |     7333     3652    127 |  0.000 % |
0.05/0.56	c |      3762 |    1100    22000   110000 |     7333     3762    127 |  0.000 % |
0.05/0.57	c |      3884 |    1100    22000   110000 |     7333     3884    127 |  0.000 % |
0.05/0.59	c |      4019 |    1100    22000   110000 |     7333     4019    126 |  0.000 % |
0.05/0.61	c |      4166 |    1100    22000   110000 |     7333     4166    126 |  0.000 % |
0.05/0.63	c |      4327 |    1100    22000   110000 |     7333     4327    126 |  0.000 % |
0.05/0.66	c |      4503 |    1100    22000   110000 |     7333     4503    126 |  0.000 % |
0.05/0.69	c |      4696 |    1100    22000   110000 |     7333     4696    127 |  0.000 % |
0.05/0.70	c |      4797 |    1100    22000   110000 |     7333     4797    127 |  0.000 % |
0.05/0.72	c |      4907 |    1100    22000   110000 |     7333     4907    127 |  0.000 % |
0.05/0.73	c |      5031 |    1100    22000   110000 |     7333     5031    127 |  0.000 % |
0.05/0.75	c |      5164 |    1100    22000   110000 |     7333     5164    127 |  0.000 % |
0.05/0.77	c |      5312 |    1100    22000   110000 |     7333     5312    127 |  0.000 % |
0.05/0.80	c |      5473 |    1100    22000   110000 |     7333     5473    127 |  0.000 % |
0.05/0.82	c |      5651 |    1100    22000   110000 |     7333     5651    127 |  0.000 % |
0.05/0.85	c |      5844 |    1100    22000   110000 |     7333     5844    127 |  0.000 % |
0.05/0.88	c |      6058 |    1100    22000   110000 |     7333     6058    127 |  0.000 % |
0.05/0.90	c |      6158 |    1100    22000   110000 |     7333     6158    127 |  0.000 % |
0.05/0.91	c |      6269 |    1100    22000   110000 |     7333     6269    126 |  0.000 % |
0.05/0.93	c |      6390 |    1100    22000   110000 |     7333     6390    126 |  0.000 % |
0.05/0.95	c |      6523 |    1100    22000   110000 |     7333     6523    127 |  0.000 % |
0.05/0.98	c |      6669 |    1100    22000   110000 |     7333     6669    127 |  0.000 % |
0.05/1.00	c |      6832 |    1100    22000   110000 |     7333     6832    126 |  0.000 % |
0.05/1.02	c |      7008 |    1100    22000   110000 |     7333     7008    126 |  0.000 % |
0.05/1.05	c |      7202 |    1100    22000   110000 |     7333     7202    127 |  0.000 % |
0.05/1.08	c |      7414 |    1100    22000   110000 |     7333     7414    127 |  0.000 % |
1.07/1.12	c |      7648 |    1100    22000   110000 |     7333     6907    126 |  0.000 % |
1.07/1.14	c |      7748 |    1100    22000   110000 |     7333     7007    127 |  0.000 % |
1.07/1.16	c |      7859 |    1100    22000   110000 |     7333     7118    127 |  0.000 % |
1.07/1.18	c |      7980 |    1100    22000   110000 |     7333     7239    127 |  0.000 % |
1.07/1.20	c |      8114 |    1100    22000   110000 |     7333     7373    127 |  0.000 % |
1.17/1.22	c |      8260 |    1100    22000   110000 |     7333     6782    127 |  0.000 % |
1.17/1.25	c |      8421 |    1100    22000   110000 |     7333     6943    127 |  0.000 % |
1.17/1.28	c |      8597 |    1100    22000   110000 |     7333     7119    127 |  0.000 % |
1.27/1.31	c |      8790 |    1100    22000   110000 |     7333     7312    127 |  0.000 % |
1.27/1.34	c |      9003 |    1100    22000   110000 |     7333     7525    127 |  0.000 % |
1.27/1.38	c |      9236 |    1100    22000   110000 |     7333     7006    126 |  0.000 % |
1.36/1.42	c |      9492 |    1100    22000   110000 |     7333     7262    127 |  0.000 % |
1.36/1.43	c |      9592 |    1100    22000   110000 |     7333     7362    127 |  0.000 % |
1.36/1.45	c |      9702 |    1100    22000   110000 |     7333     6736    127 |  0.000 % |
1.36/1.47	c |      9823 |    1100    22000   110000 |     7333     6857    127 |  0.000 % |
1.36/1.49	c |      9956 |    1100    22000   110000 |     7333     6990    127 |  0.000 % |
1.46/1.51	c |     10103 |    1100    22000   110000 | 2147483647     7137    127 |  0.000 % |
1.46/1.54	c |     10263 |    1100    22000   110000 | 2147483647     7297    128 |  0.000 % |
1.46/1.57	c |     10440 |    1100    22000   110000 | 2147483647     7474    128 |  0.000 % |
1.56/1.60	c |     10633 |    1100    22000   110000 | 2147483647     7667    128 |  0.000 % |
1.56/1.63	c |     10845 |    1100    22000   110000 | 2147483647     7879    128 |  0.000 % |
1.56/1.67	c |     11078 |    1100    22000   110000 | 2147483647     8112    128 |  0.000 % |
1.66/1.71	c |     11334 |    1100    22000   110000 | 2147483647     8368    128 |  0.000 % |
1.66/1.76	c |     11615 |    1100    22000   110000 | 2147483647     8649    128 |  0.000 % |
1.66/1.77	c |     11716 |    1100    22000   110000 | 2147483647     8750    128 |  0.000 % |
1.66/1.79	c |     11827 |    1100    22000   110000 | 2147483647     8861    128 |  0.000 % |
1.76/1.81	c |     11948 |    1100    22000   110000 | 2147483647     8982    128 |  0.000 % |
1.76/1.84	c |     12081 |    1100    22000   110000 | 2147483647     9115    128 |  0.000 % |
1.76/1.86	c |     12227 |    1100    22000   110000 | 2147483647     9261    128 |  0.000 % |
1.76/1.89	c |     12387 |    1100    22000   110000 | 2147483647     9421    128 |  0.000 % |
1.86/1.92	c |     12563 |    1100    22000   110000 | 2147483647     9597    128 |  0.000 % |
1.86/1.95	c |     12757 |    1100    22000   110000 | 2147483647     9791    129 |  0.000 % |
1.86/1.99	c |     12971 |    1100    22000   110000 | 2147483647    10005    129 |  0.000 % |
1.96/2.03	c |     13205 |    1100    22000   110000 | 2147483647    10239    129 |  0.000 % |
1.96/2.07	c |     13461 |    1100    22000   110000 | 2147483647    10495    129 |  0.000 % |
2.06/2.12	c |     13742 |    1100    22000   110000 | 2147483647    10776    129 |  0.000 % |
2.06/2.17	c |     14054 |    1100    22000   110000 | 2147483647    11088    129 |  0.000 % |
2.06/2.19	c |     14154 |    1100    22000   110000 | 2147483647    11188    129 |  0.000 % |
2.16/2.21	c |     14264 |    1100    22000   110000 | 2147483647    11298    129 |  0.000 % |
2.16/2.23	c |     14385 |    1100    22000   110000 | 2147483647    11419    129 |  0.000 % |
2.16/2.26	c |     14520 |    1100    22000   110000 | 2147483647    11554    129 |  0.000 % |
2.16/2.29	c |     14666 |    1100    22000   110000 | 2147483647    11700    129 |  0.000 % |
2.26/2.32	c |     14826 |    1100    22000   110000 | 2147483647    11860    128 |  0.000 % |
2.26/2.35	c |     15002 |    1100    22000   110000 | 2147483647    12036    128 |  0.000 % |
2.26/2.39	c |     15195 |    1100    22000   110000 | 2147483647    12229    128 |  0.000 % |
2.36/2.42	c |     15407 |    1100    22000   110000 | 2147483647    12441    128 |  0.000 % |
2.36/2.47	c |     15641 |    1100    22000   110000 | 2147483647    12675    128 |  0.000 % |
2.46/2.52	c |     15898 |    1100    22000   110000 | 2147483647    12932    129 |  0.000 % |
2.46/2.57	c |     16179 |    1100    22000   110000 | 2147483647    13213    129 |  0.000 % |
2.56/2.63	c |     16492 |    1100    22000   110000 | 2147483647    13526    129 |  0.000 % |
2.66/2.70	c |     16831 |    1100    22000   110000 | 2147483647    13865    129 |  0.000 % |
2.66/2.72	c |     16934 |    1100    22000   110000 | 2147483647    13968    129 |  0.000 % |
2.66/2.74	c |     17046 |    1100    22000   110000 | 2147483647    14080    129 |  0.000 % |
2.66/2.77	c |     17168 |    1100    22000   110000 | 2147483647    14202    129 |  0.000 % |
2.76/2.80	c |     17304 |    1100    22000   110000 | 2147483647    14338    129 |  0.000 % |
2.76/2.83	c |     17450 |    1100    22000   110000 | 2147483647    14484    129 |  0.000 % |
2.76/2.87	c |     17611 |    1100    22000   110000 | 2147483647    14645    129 |  0.000 % |
2.86/2.90	c |     17790 |    1100    22000   110000 | 2147483647    14824    129 |  0.000 % |
2.86/2.94	c |     17983 |    1100    22000   110000 | 2147483647    15017    129 |  0.000 % |
2.86/2.99	c |     18197 |    1100    22000   110000 | 2147483647    15231    129 |  0.000 % |
2.96/3.04	c |     18431 |    1100    22000   110000 | 2147483647    15465    129 |  0.000 % |
2.96/3.09	c |     18692 |    1100    22000   110000 | 2147483647    15726    129 |  0.000 % |
3.06/3.15	c |     18973 |    1100    22000   110000 | 2147483647    16007    129 |  0.000 % |
3.16/3.23	c |     19282 |    1100    22000   110000 | 2147483647    16316    129 |  0.000 % |
3.26/3.31	c |     19621 |    1100    22000   110000 | 2147483647    16655    129 |  0.000 % |
3.26/3.39	c |     19994 |    1100    22000   110000 | 2147483647    17028    129 |  0.000 % |
3.36/3.41	c |     20095 |    1100    22000   110000 | 2147483647    17129    129 |  0.000 % |
3.36/3.44	c |     20205 |    1100    22000   110000 | 2147483647    17239    129 |  0.000 % |
3.36/3.47	c |     20326 |    1100    22000   110000 | 2147483647    17360    129 |  0.000 % |
3.46/3.50	c |     20463 |    1100    22000   110000 | 2147483647    17497    129 |  0.000 % |
3.46/3.54	c |     20609 |    1100    22000   110000 | 2147483647    17643    129 |  0.000 % |
3.46/3.58	c |     20769 |    1100    22000   110000 | 2147483647    17803    129 |  0.000 % |
3.56/3.61	c |     20945 |    1100    22000   110000 | 2147483647    17979    129 |  0.000 % |
3.56/3.66	c |     21138 |    1100    22000   110000 | 2147483647    18172    129 |  0.000 % |
3.66/3.71	c |     21350 |    1100    22000   110000 | 2147483647    18384    129 |  0.000 % |
3.66/3.76	c |     21583 |    1100    22000   110000 | 2147483647    18617    129 |  0.000 % |
3.76/3.83	c |     21839 |    1100    22000   110000 | 2147483647    18873    130 |  0.000 % |
3.76/3.89	c |     22120 |    1100    22000   110000 | 2147483647    19154    130 |  0.000 % |
3.86/3.96	c |     22431 |    1100    22000   110000 | 2147483647    19465    130 |  0.000 % |
3.96/4.05	c |     22770 |    1100    22000   110000 | 2147483647    19804    130 |  0.000 % |
4.06/4.13	c |     23142 |    1100    22000   110000 | 2147483647    20176    130 |  0.000 % |
4.16/4.24	c |     23552 |    1100    22000   110000 | 2147483647    20586    130 |  0.000 % |
4.16/4.27	c |     23652 |    1100    22000   110000 | 2147483647    20686    130 |  0.000 % |
4.16/4.29	c |     23762 |    1100    22000   110000 | 2147483647    20796    130 |  0.000 % |
4.25/4.32	c |     23883 |    1100    22000   110000 | 2147483647    20917    130 |  0.000 % |
4.25/4.36	c |     24016 |    1100    22000   110000 | 2147483647    21050    130 |  0.000 % |
4.25/4.40	c |     24162 |    1100    22000   110000 | 2147483647    21196    130 |  0.000 % |
4.36/4.44	c |     24325 |    1100    22000   110000 | 2147483647    21359    129 |  0.000 % |
4.36/4.48	c |     24501 |    1100    22000   110000 | 2147483647    21535    129 |  0.000 % |
4.46/4.54	c |     24694 |    1100    22000   110000 | 2147483647    21728    129 |  0.000 % |
4.46/4.59	c |     24906 |    1100    22000   110000 | 2147483647    21940    130 |  0.000 % |
4.55/4.64	c |     25140 |    1100    22000   110000 | 2147483647    22174    130 |  0.000 % |
4.65/4.71	c |     25397 |    1100    22000   110000 | 2147483647    22431    129 |  0.000 % |
4.65/4.78	c |     25678 |    1100    22000   110000 | 2147483647    22712    129 |  0.000 % |
4.75/4.86	c |     25987 |    1100    22000   110000 | 2147483647    23021    129 |  0.000 % |
4.85/4.95	c |     26326 |    1100    22000   110000 | 2147483647    23360    129 |  0.000 % |
4.95/5.05	c |     26699 |    1100    22000   110000 | 2147483647    23733    129 |  0.000 % |
5.05/5.16	c |     27110 |    1100    22000   110000 | 2147483647    24144    130 |  0.000 % |
5.15/5.28	c |     27561 |    1100    22000   110000 | 2147483647    24595    130 |  0.000 % |
5.25/5.31	c |     27661 |    1100    22000   110000 | 2147483647    24695    130 |  0.000 % |
5.25/5.35	c |     27772 |    1100    22000   110000 | 2147483647    24806    130 |  0.000 % |
5.25/5.38	c |     27893 |    1100    22000   110000 | 2147483647    24927    130 |  0.000 % |
5.35/5.42	c |     28026 |    1100    22000   110000 | 2147483647    25060    130 |  0.000 % |
5.35/5.47	c |     28174 |    1100    22000   110000 | 2147483647    25208    130 |  0.000 % |
5.45/5.51	c |     28334 |    1100    22000   110000 | 2147483647    25368    130 |  0.000 % |
5.45/5.57	c |     28510 |    1100    22000   110000 | 2147483647    25544    130 |  0.000 % |
5.55/5.63	c |     28706 |    1100    22000   110000 | 2147483647    25740    130 |  0.000 % |
5.55/5.69	c |     28918 |    1100    22000   110000 | 2147483647    25952    130 |  0.000 % |
5.65/5.76	c |     29152 |    1100    22000   110000 | 2147483647    26186    130 |  0.000 % |
5.75/5.84	c |     29412 |    1100    22000   110000 | 2147483647    26446    130 |  0.000 % |
5.85/5.92	c |     29695 |    1100    22000   110000 | 2147483647    26729    130 |  0.000 % |
5.95/6.01	c |     30004 |    1100    22000   110000 | 2147483647    27038    130 |  0.000 % |
6.05/6.11	c |     30347 |    1100    22000   110000 | 2147483647    27381    130 |  0.000 % |
6.15/6.22	c |     30719 |    1100    22000   110000 | 2147483647    27753    130 |  0.000 % |
6.25/6.34	c |     31131 |    1100    22000   110000 | 2147483647    28165    130 |  0.000 % |
6.35/6.48	c |     31580 |    1100    22000   110000 | 2147483647    28614    130 |  0.000 % |
6.55/6.64	c |     32076 |    1100    22000   110000 | 2147483647    29110    130 |  0.000 % |
6.55/6.68	c |     32176 |    1100    22000   110000 | 2147483647    29210    130 |  0.000 % |
6.65/6.72	c |     32286 |    1100    22000   110000 | 2147483647    29320    130 |  0.000 % |
6.65/6.76	c |     32409 |    1100    22000   110000 | 2147483647    29443    130 |  0.000 % |
6.75/6.80	c |     32543 |    1100    22000   110000 | 2147483647    29577    130 |  0.000 % |
6.75/6.86	c |     32689 |    1100    22000   110000 | 2147483647    29723    130 |  0.000 % |
6.85/6.91	c |     32850 |    1100    22000   110000 | 2147483647    29884    130 |  0.000 % |
6.85/6.98	c |     33028 |    1100    22000   110000 | 2147483647    30062    130 |  0.000 % |
6.95/7.04	c |     33221 |    1100    22000   110000 | 2147483647    30255    130 |  0.000 % |
7.05/7.11	c |     33434 |    1100    22000   110000 | 2147483647    30468    130 |  0.000 % |
7.05/7.19	c |     33667 |    1100    22000   110000 | 2147483647    30701    130 |  0.000 % |
7.15/7.27	c |     33923 |    1100    22000   110000 | 2147483647    30957    130 |  0.000 % |
7.25/7.36	c |     34205 |    1100    22000   110000 | 2147483647    31239    130 |  0.000 % |
7.35/7.46	c |     34515 |    1100    22000   110000 | 2147483647    31549    130 |  0.000 % |
7.45/7.58	c |     34855 |    1100    22000   110000 | 2147483647    31889    130 |  0.000 % |
7.55/7.70	c |     35230 |    1100    22000   110000 | 2147483647    32264    130 |  0.000 % |
7.75/7.83	c |     35641 |    1100    22000   110000 | 2147483647    32675    130 |  0.000 % |
7.85/7.98	c |     36091 |    1100    22000   110000 | 2147483647    33125    130 |  0.000 % |
8.05/8.15	c |     36584 |    1100    22000   110000 | 2147483647    33618    130 |  0.000 % |
8.25/8.32	c |     37126 |    1100    22000   110000 | 2147483647    34160    130 |  0.000 % |
8.25/8.36	c |     37226 |    1100    22000   110000 | 2147483647    34260    130 |  0.000 % |
8.35/8.40	c |     37337 |    1100    22000   110000 | 2147483647    34371    130 |  0.000 % |
8.35/8.45	c |     37458 |    1100    22000   110000 | 2147483647    34492    130 |  0.000 % |
8.35/8.50	c |     37594 |    1100    22000   110000 | 2147483647    34628    130 |  0.000 % |
8.45/8.56	c |     37740 |    1100    22000   110000 | 2147483647    34774    130 |  0.000 % |
8.55/8.62	c |     37900 |    1100    22000   110000 | 2147483647    34934    130 |  0.000 % |
8.55/8.69	c |     38076 |    1100    22000   110000 | 2147483647    35110    130 |  0.000 % |
8.65/8.77	c |     38269 |    1100    22000   110000 | 2147483647    35303    130 |  0.000 % |
8.75/8.84	c |     38481 |    1100    22000   110000 | 2147483647    35515    130 |  0.000 % |
8.85/8.92	c |     38714 |    1100    22000   110000 | 2147483647    35748    131 |  0.000 % |
8.95/9.02	c |     38970 |    1100    22000   110000 | 2147483647    36004    131 |  0.000 % |
9.04/9.12	c |     39252 |    1100    22000   110000 | 2147483647    36286    130 |  0.000 % |
9.14/9.24	c |     39561 |    1100    22000   110000 | 2147483647    36595    130 |  0.000 % |
9.24/9.38	c |     39900 |    1100    22000   110000 | 2147483647    36934    130 |  0.000 % |
9.44/9.52	c |     40273 |    1100    22000   110000 | 2147483647    37307    130 |  0.000 % |
9.54/9.69	c |     40682 |    1100    22000   110000 | 2147483647    37716    131 |  0.000 % |
9.75/9.85	c |     41132 |    1100    22000   110000 | 2147483647    38166    131 |  0.000 % |
9.95/10.05	c |     41627 |    1100    22000   110000 | 2147483647    38661    131 |  0.000 % |
10.15/10.25	c |     42169 |    1100    22000   110000 | 2147483647    39203    131 |  0.000 % |
10.35/10.48	c |     42766 |    1100    22000   110000 | 2147483647    39800    131 |  0.000 % |
10.45/10.52	c |     42866 |    1100    22000   110000 | 2147483647    39900    131 |  0.000 % |
10.45/10.56	c |     42976 |    1100    22000   110000 | 2147483647    40010    131 |  0.000 % |
10.55/10.62	c |     43099 |    1100    22000   110000 | 2147483647    40133    131 |  0.000 % |
10.55/10.69	c |     43234 |    1100    22000   110000 | 2147483647    40268    131 |  0.000 % |
10.64/10.75	c |     43380 |    1100    22000   110000 | 2147483647    40414    131 |  0.000 % |
10.74/10.82	c |     43541 |    1100    22000   110000 | 2147483647    40575    131 |  0.000 % |
10.84/10.90	c |     43717 |    1100    22000   110000 | 2147483647    40751    131 |  0.000 % |
10.84/10.98	c |     43911 |    1100    22000   110000 | 2147483647    40945    131 |  0.000 % |
10.95/11.07	c |     44124 |    1100    22000   110000 | 2147483647    41158    131 |  0.000 % |
11.04/11.16	c |     44358 |    1100    22000   110000 | 2147483647    41392    131 |  0.000 % |
11.14/11.25	c |     44615 |    1100    22000   110000 | 2147483647    41649    131 |  0.000 % |
11.24/11.37	c |     44897 |    1100    22000   110000 | 2147483647    41931    131 |  0.000 % |
11.44/11.50	c |     45206 |    1100    22000   110000 | 2147483647    42240    132 |  0.000 % |
11.54/11.63	c |     45546 |    1100    22000   110000 | 2147483647    42580    132 |  0.000 % |
11.64/11.79	c |     45919 |    1100    22000   110000 | 2147483647    42953    132 |  0.000 % |
11.84/11.96	c |     46332 |    1100    22000   110000 | 2147483647    43366    132 |  0.000 % |
12.05/12.15	c |     46781 |    1100    22000   110000 | 2147483647    43815    132 |  0.000 % |
12.24/12.35	c |     47276 |    1100    22000   110000 | 2147483647    44310    132 |  0.000 % |
12.44/12.57	c |     47818 |    1100    22000   110000 | 2147483647    44852    132 |  0.000 % |
12.74/12.81	c |     48414 |    1100    22000   110000 | 2147483647    45448    132 |  0.000 % |
12.94/13.07	c |     49069 |    1100    22000   110000 | 2147483647    46103    132 |  0.000 % |
13.04/13.13	c |     49169 |    1100    22000   110000 | 2147483647    46203    132 |  0.000 % |
13.04/13.18	c |     49280 |    1100    22000   110000 | 2147483647    46314    132 |  0.000 % |
13.14/13.24	c |     49401 |    1100    22000   110000 | 2147483647    46435    132 |  0.000 % |
13.24/13.31	c |     49534 |    1100    22000   110000 | 2147483647    46568    132 |  0.000 % |
13.24/13.39	c |     49681 |    1100    22000   110000 | 2147483647    46715    132 |  0.000 % |
13.34/13.47	c |     49841 |    1100    22000   110000 | 2147483647    46875    132 |  0.000 % |
13.44/13.55	c |     50017 |    1100    22000   110000 | 2147483647    47051    132 |  0.000 % |
13.54/13.64	c |     50213 |    1100    22000   110000 | 2147483647    47247    132 |  0.000 % |
13.64/13.74	c |     50426 |    1100    22000   110000 | 2147483647    47460    132 |  0.000 % |
13.74/13.86	c |     50659 |    1100    22000   110000 | 2147483647    47693    132 |  0.000 % |
13.84/13.98	c |     50915 |    1100    22000   110000 | 2147483647    47949    132 |  0.000 % |
14.04/14.10	c |     51198 |    1100    22000   110000 | 2147483647    48232    132 |  0.000 % |
14.14/14.24	c |     51507 |    1100    22000   110000 | 2147483647    48541    132 |  0.000 % |
14.34/14.41	c |     51846 |    1100    22000   110000 | 2147483647    48880    132 |  0.000 % |
14.53/14.60	c |     52219 |    1100    22000   110000 | 2147483647    49253    132 |  0.000 % |
14.63/14.78	c |     52631 |    1100    22000   110000 | 2147483647    49665    132 |  0.000 % |
14.83/14.98	c |     53080 |    1100    22000   110000 | 2147483647    50114    132 |  0.000 % |
15.13/15.23	c |     53574 |    1100    22000   110000 | 2147483647    50608    132 |  0.000 % |
15.34/15.48	c |     54116 |    1100    22000   110000 | 2147483647    51150    132 |  0.000 % |
15.64/15.77	c |     54714 |    1100    22000   110000 | 2147483647    51748    133 |  0.000 % |
15.94/16.07	c |     55369 |    1100    22000   110000 | 2147483647    52403    133 |  0.000 % |
16.34/16.40	c |     56089 |    1100    22000   110000 | 2147483647    53123    133 |  0.000 % |
16.34/16.46	c |     56189 |    1100    22000   110000 | 2147483647    53223    133 |  0.000 % |
16.44/16.52	c |     56300 |    1100    22000   110000 | 2147483647    53334    133 |  0.000 % |
16.44/16.58	c |     56421 |    1100    22000   110000 | 2147483647    53455    133 |  0.000 % |
16.54/16.65	c |     56555 |    1100    22000   110000 | 2147483647    53589    133 |  0.000 % |
16.64/16.74	c |     56701 |    1100    22000   110000 | 2147483647    53735    133 |  0.000 % |
16.74/16.83	c |     56861 |    1100    22000   110000 | 2147483647    53895    133 |  0.000 % |
16.84/16.93	c |     57039 |    1100    22000   110000 | 2147483647    54073    133 |  0.000 % |
16.93/17.03	c |     57233 |    1100    22000   110000 | 2147483647    54267    133 |  0.000 % |
17.03/17.14	c |     57446 |    1100    22000   110000 | 2147483647    54480    133 |  0.000 % |
17.13/17.25	c |     57681 |    1100    22000   110000 | 2147483647    54715    133 |  0.000 % |
17.23/17.38	c |     57939 |    1100    22000   110000 | 2147483647    54973    133 |  0.000 % |
17.43/17.52	c |     58220 |    1100    22000   110000 | 2147483647    55254    133 |  0.000 % |
17.54/17.66	c |     58530 |    1100    22000   110000 | 2147483647    55564    133 |  0.000 % |
17.73/17.85	c |     58870 |    1100    22000   110000 | 2147483647    55904    133 |  0.000 % |
17.93/18.04	c |     59243 |    1100    22000   110000 | 2147483647    56277    133 |  0.000 % |
18.13/18.23	c |     59653 |    1100    22000   110000 | 2147483647    56687    133 |  0.000 % |
18.33/18.46	c |     60103 |    1100    22000   110000 | 2147483647    57137    133 |  0.000 % |
18.64/18.72	c |     60597 |    1100    22000   110000 | 2147483647    57631    133 |  0.000 % |
18.94/19.03	c |     61139 |    1100    22000   110000 | 2147483647    58173    133 |  0.000 % |
19.24/19.34	c |     61738 |    1100    22000   110000 | 2147483647    58772    133 |  0.000 % |
19.54/19.68	c |     62394 |    1100    22000   110000 | 2147483647    59428    133 |  0.000 % |
19.93/20.06	c |     63114 |    1100    22000   110000 | 2147483647    60148    133 |  0.000 % |
20.33/20.44	c |     63906 |    1100    22000   110000 | 2147483647    60940    133 |  0.000 % |
20.43/20.50	c |     64008 |    1100    22000   110000 | 2147483647    61042    133 |  0.000 % |
20.43/20.58	c |     64118 |    1100    22000   110000 | 2147483647    61152    133 |  0.000 % |
20.53/20.65	c |     64239 |    1100    22000   110000 | 2147483647    61273    133 |  0.000 % |
20.63/20.71	c |     64372 |    1100    22000   110000 | 2147483647    61406    133 |  0.000 % |
20.73/20.80	c |     64518 |    1100    22000   110000 | 2147483647    61552    133 |  0.000 % |
20.83/20.91	c |     64679 |    1100    22000   110000 | 2147483647    61713    133 |  0.000 % |
20.93/21.02	c |     64855 |    1100    22000   110000 | 2147483647    61889    133 |  0.000 % |
21.03/21.13	c |     65048 |    1100    22000   110000 | 2147483647    62082    133 |  0.000 % |
21.13/21.28	c |     65262 |    1100    22000   110000 | 2147483647    62296    133 |  0.000 % |
21.33/21.42	c |     65497 |    1100    22000   110000 | 2147483647    62531    133 |  0.000 % |
21.43/21.57	c |     65753 |    1100    22000   110000 | 2147483647    62787    133 |  0.000 % |
21.63/21.71	c |     66035 |    1100    22000   110000 | 2147483647    63069    133 |  0.000 % |
21.73/21.90	c |     66344 |    1100    22000   110000 | 2147483647    63378    133 |  0.000 % |
21.93/22.09	c |     66684 |    1100    22000   110000 | 2147483647    63718    133 |  0.000 % |
22.13/22.30	c |     67056 |    1100    22000   110000 | 2147483647    64090    133 |  0.000 % |
22.43/22.55	c |     67465 |    1100    22000   110000 | 2147483647    64499    133 |  0.000 % |
22.74/22.81	c |     67915 |    1100    22000   110000 | 2147483647    64949    133 |  0.000 % |
22.94/23.09	c |     68408 |    1100    22000   110000 | 2147483647    65442    133 |  0.000 % |
23.23/23.39	c |     68950 |    1100    22000   110000 | 2147483647    65984    133 |  0.000 % |
23.63/23.72	c |     69548 |    1100    22000   110000 | 2147483647    66582    134 |  0.000 % |
24.03/24.11	c |     70205 |    1100    22000   110000 | 2147483647    67239    134 |  0.000 % |
24.33/24.50	c |     70925 |    1100    22000   110000 | 2147483647    67959    134 |  0.000 % |
24.83/24.99	c |     71718 |    1100    22000   110000 | 2147483647    68752    134 |  0.000 % |
25.43/25.52	c |     72589 |    1100    22000   110000 | 2147483647    69623    134 |  0.000 % |
25.53/25.60	c |     72690 |    1100    22000   110000 | 2147483647    69724    134 |  0.000 % |
25.53/25.69	c |     72800 |    1100    22000   110000 | 2147483647    69834    134 |  0.000 % |
25.63/25.77	c |     72921 |    1100    22000   110000 | 2147483647    69955    134 |  0.000 % |
25.73/25.86	c |     73054 |    1100    22000   110000 | 2147483647    70088    134 |  0.000 % |
25.83/25.98	c |     73204 |    1100    22000   110000 | 2147483647    70238    134 |  0.000 % |
25.93/26.09	c |     73365 |    1100    22000   110000 | 2147483647    70399    134 |  0.000 % |
26.13/26.22	c |     73541 |    1100    22000   110000 | 2147483647    70575    134 |  0.000 % |
26.23/26.36	c |     73734 |    1100    22000   110000 | 2147483647    70768    134 |  0.000 % |
26.43/26.50	c |     73946 |    1100    22000   110000 | 2147483647    70980    134 |  0.000 % |
26.53/26.66	c |     74180 |    1100    22000   110000 | 2147483647    71214    134 |  0.000 % |
26.72/26.82	c |     74437 |    1100    22000   110000 | 2147483647    71471    134 |  0.000 % |
26.82/26.99	c |     74720 |    1100    22000   110000 | 2147483647    71754    134 |  0.000 % |
27.02/27.18	c |     75029 |    1100    22000   110000 | 2147483647    72063    134 |  0.000 % |
27.33/27.41	c |     75368 |    1100    22000   110000 | 2147483647    72402    134 |  0.000 % |
27.53/27.66	c |     75740 |    1100    22000   110000 | 2147483647    72774    134 |  0.000 % |
27.83/27.93	c |     76150 |    1100    22000   110000 | 2147483647    73184    134 |  0.000 % |
28.12/28.23	c |     76601 |    1100    22000   110000 | 2147483647    73635    134 |  0.000 % |
28.42/28.54	c |     77096 |    1100    22000   110000 | 2147483647    74130    134 |  0.000 % |
28.82/28.91	c |     77639 |    1100    22000   110000 | 2147483647    74673    134 |  0.000 % |
29.12/29.30	c |     78235 |    1100    22000   110000 | 2147483647    75269    134 |  0.000 % |
29.62/29.72	c |     78890 |    1100    22000   110000 | 2147483647    75924    134 |  0.000 % |
30.02/30.19	c |     79611 |    1100    22000   110000 | 2147483647    76645    134 |  0.000 % |
30.61/30.70	c |     80403 |    1100    22000   110000 | 2147483647    77437    134 |  0.000 % |
31.12/31.24	c |     81274 |    1100    22000   110000 | 2147483647    78308    134 |  0.000 % |
31.72/31.87	c |     82232 |    1100    22000   110000 | 2147483647    79266    134 |  0.000 % |
31.83/31.94	c |     82338 |    1100    22000   110000 | 2147483647    79372    134 |  0.000 % |
31.92/32.02	c |     82448 |    1100    22000   110000 | 2147483647    79482    134 |  0.000 % |
32.02/32.10	c |     82569 |    1100    22000   110000 | 2147483647    79603    134 |  0.000 % |
32.12/32.22	c |     82703 |    1100    22000   110000 | 2147483647    79737    134 |  0.000 % |
32.22/32.32	c |     82852 |    1100    22000   110000 | 2147483647    79886    134 |  0.000 % |
32.32/32.43	c |     83012 |    1100    22000   110000 | 2147483647    80046    134 |  0.000 % |
32.42/32.60	c |     83188 |    1100    22000   110000 | 2147483647    80222    134 |  0.000 % |
32.62/32.75	c |     83381 |    1100    22000   110000 | 2147483647    80415    134 |  0.000 % |
32.82/32.92	c |     83594 |    1100    22000   110000 | 2147483647    80628    134 |  0.000 % |
33.02/33.11	c |     83827 |    1100    22000   110000 | 2147483647    80861    134 |  0.000 % |
33.12/33.29	c |     84086 |    1100    22000   110000 | 2147483647    81120    134 |  0.000 % |
33.42/33.52	c |     84369 |    1100    22000   110000 | 2147483647    81403    134 |  0.000 % |
33.62/33.75	c |     84678 |    1100    22000   110000 | 2147483647    81712    134 |  0.000 % |
33.92/34.01	c |     85018 |    1100    22000   110000 | 2147483647    82052    134 |  0.000 % |
34.22/34.31	c |     85391 |    1100    22000   110000 | 2147483647    82425    134 |  0.000 % |
34.52/34.62	c |     85800 |    1100    22000   110000 | 2147483647    82834    134 |  0.000 % |
34.82/34.94	c |     86250 |    1100    22000   110000 | 2147483647    83284    134 |  0.000 % |
35.12/35.29	c |     86744 |    1100    22000   110000 | 2147483647    83778    134 |  0.000 % |
35.51/35.66	c |     87289 |    1100    22000   110000 | 2147483647    84323    134 |  0.000 % |
35.91/36.08	c |     87885 |    1100    22000   110000 | 2147483647    84919    134 |  0.000 % |
36.42/36.54	c |     88542 |    1100    22000   110000 | 2147483647    85576    134 |  0.000 % |
37.01/37.12	c |     89262 |    1100    22000   110000 | 2147483647    86296    134 |  0.000 % |
37.51/37.68	c |     90054 |    1100    22000   110000 | 2147483647    87088    134 |  0.000 % |
38.21/38.30	c |     90927 |    1100    22000   110000 | 2147483647    87961    134 |  0.000 % |
38.81/38.99	c |     91886 |    1100    22000   110000 | 2147483647    88920    134 |  0.000 % |
39.62/39.75	c |     92943 |    1100    22000   110000 | 2147483647    89977    135 |  0.000 % |
39.71/39.82	c |     93043 |    1100    22000   110000 | 2147483647    90077    135 |  0.000 % |
39.81/39.95	c |     93153 |    1100    22000   110000 | 2147483647    90187    135 |  0.000 % |
39.91/40.05	c |     93274 |    1100    22000   110000 | 2147483647    90308    135 |  0.000 % |
40.01/40.17	c |     93408 |    1100    22000   110000 | 2147483647    90442    135 |  0.000 % |
40.21/40.30	c |     93555 |    1100    22000   110000 | 2147483647    90589    135 |  0.000 % |
40.31/40.47	c |     93715 |    1100    22000   110000 | 2147483647    90749    135 |  0.000 % |
40.51/40.62	c |     93891 |    1100    22000   110000 | 2147483647    90925    135 |  0.000 % |
40.61/40.79	c |     94084 |    1100    22000   110000 | 2147483647    91118    135 |  0.000 % |
40.81/40.98	c |     94296 |    1100    22000   110000 | 2147483647    91330    135 |  0.000 % |
41.01/41.19	c |     94531 |    1100    22000   110000 | 2147483647    91565    135 |  0.000 % |
41.32/41.41	c |     94787 |    1100    22000   110000 | 2147483647    91821    135 |  0.000 % |
41.52/41.63	c |     95068 |    1100    22000   110000 | 2147483647    92102    135 |  0.000 % |
41.82/41.92	c |     95377 |    1100    22000   110000 | 2147483647    92411    135 |  0.000 % |
42.12/42.21	c |     95716 |    1100    22000   110000 | 2147483647    92750    135 |  0.000 % |
42.32/42.49	c |     96088 |    1100    22000   110000 | 2147483647    93122    135 |  0.000 % |
42.71/42.85	c |     96499 |    1100    22000   110000 | 2147483647    93533    135 |  0.000 % |
43.11/43.22	c |     96948 |    1100    22000   110000 | 2147483647    93982    135 |  0.000 % |
43.51/43.61	c |     97442 |    1100    22000   110000 | 2147483647    94476    135 |  0.000 % |
43.92/44.05	c |     97984 |    1100    22000   110000 | 2147483647    95018    135 |  0.000 % |
44.41/44.50	c |     98580 |    1100    22000   110000 | 2147483647    95614    135 |  0.000 % |
45.01/45.12	c |     99235 |    1100    22000   110000 | 2147483647    96269    135 |  0.000 % |
45.61/45.70	c |     99955 |    1100    22000   110000 | 2147483647    96989    135 |  0.000 % |
46.21/46.37	c |    100748 |    1100    22000   110000 |    97035    87307    135 |  0.000 % |
46.81/46.98	c |    101620 |    1100    22000   110000 |    97035    88179    135 |  0.000 % |
47.51/47.65	c |    102578 |    1100    22000   110000 |    97035    89137    135 |  0.000 % |
48.31/48.50	c |    103633 |    1100    22000   110000 |    97035    90192    135 |  0.000 % |
49.31/49.41	c |    104792 |    1100    22000   110000 |    97035    91351    136 |  0.000 % |
49.31/49.49	c |    104893 |    1100    22000   110000 |    97035    91452    136 |  0.000 % |
49.41/49.58	c |    105003 |    1100    22000   110000 |    97035    91562    135 |  0.000 % |
49.61/49.73	c |    105125 |    1100    22000   110000 |    97035    91684    135 |  0.000 % |
49.71/49.86	c |    105258 |    1100    22000   110000 |    97035    91817    135 |  0.000 % |
49.81/49.97	c |    105406 |    1100    22000   110000 |    97035    91965    135 |  0.000 % |
50.00/50.12	c |    105566 |    1100    22000   110000 |    97035    92125    135 |  0.000 % |
50.10/50.29	c |    105744 |    1100    22000   110000 |    97035    92303    135 |  0.000 % |
50.30/50.45	c |    105937 |    1100    22000   110000 |    97035    92496    135 |  0.000 % |
50.51/50.64	c |    106150 |    1100    22000   110000 |    97035    92709    135 |  0.000 % |
50.70/50.82	c |    106385 |    1100    22000   110000 |    97035    92944    135 |  0.000 % |
50.90/51.04	c |    106641 |    1100    22000   110000 |    97035    93200    135 |  0.000 % |
51.10/51.26	c |    106923 |    1100    22000   110000 |    97035    93482    135 |  0.000 % |
51.40/51.52	c |    107234 |    1100    22000   110000 |    97035    93793    135 |  0.000 % |
51.61/51.80	c |    107575 |    1100    22000   110000 |    97035    94134    135 |  0.000 % |
52.00/52.14	c |    107947 |    1100    22000   110000 |    97035    94506    135 |  0.000 % |
52.30/52.48	c |    108357 |    1100    22000   110000 |    97035    94916    135 |  0.000 % |
52.71/52.83	c |    108806 |    1100    22000   110000 |    97035    95365    135 |  0.000 % |
53.10/53.22	c |    109299 |    1100    22000   110000 |    97035    95858    135 |  0.000 % |
53.50/53.65	c |    109842 |    1100    22000   110000 |    97035    96401    135 |  0.000 % |
54.00/54.17	c |    110438 |    1100    22000   110000 |    96559    86634    136 |  0.000 % |
54.50/54.61	c |    111094 |    1100    22000   110000 |    96559    87290    136 |  0.000 % |
55.01/55.18	c |    111814 |    1100    22000   110000 |    96559    88010    136 |  0.000 % |
55.60/55.79	c |    112606 |    1100    22000   110000 |    96559    88802    136 |  0.000 % |
56.30/56.43	c |    113477 |    1100    22000   110000 |    96559    89673    136 |  0.000 % |
56.90/57.08	c |    114438 |    1100    22000   110000 |    96559    90634    136 |  0.000 % |
57.70/57.83	c |    115491 |    1100    22000   110000 |    96559    91687    136 |  0.000 % |
58.50/58.70	c |    116649 |    1100    22000   110000 |    96559    92845    136 |  0.000 % |
59.50/59.66	c |    117926 |    1100    22000   110000 |    96559    94122    136 |  0.000 % |
59.60/59.74	c |    118026 |    1100    22000   110000 |    96559    94222    136 |  0.000 % |
59.70/59.87	c |    118136 |    1100    22000   110000 |    96559    94332    136 |  0.000 % |
59.80/59.98	c |    118257 |    1100    22000   110000 |    96559    94453    136 |  0.000 % |
59.90/60.09	c |    118390 |    1100    22000   110000 |    96559    94586    136 |  0.000 % |
60.10/60.23	c |    118536 |    1100    22000   110000 |    96559    94732    136 |  0.000 % |
60.30/60.40	c |    118696 |    1100    22000   110000 |    96559    94892    137 |  0.000 % |
60.40/60.56	c |    118872 |    1100    22000   110000 |    96559    95068    137 |  0.000 % |
60.60/60.74	c |    119066 |    1100    22000   110000 |    96559    95262    137 |  0.000 % |
60.80/60.95	c |    119278 |    1100    22000   110000 |    96559    95474    137 |  0.000 % |
61.00/61.14	c |    119513 |    1100    22000   110000 |    96559    95709    137 |  0.000 % |
61.20/61.36	c |    119770 |    1100    22000   110000 |    96559    95966    136 |  0.000 % |
61.40/61.59	c |    120054 |    1100    22000   110000 |    96196    96250    137 |  0.000 % |
61.80/61.90	c |    120363 |    1100    22000   110000 |    96196    86450    137 |  0.000 % |
62.00/62.17	c |    120703 |    1100    22000   110000 |    96196    86790    137 |  0.000 % |
62.30/62.48	c |    121076 |    1100    22000   110000 |    96196    87163    137 |  0.000 % |
62.70/62.80	c |    121485 |    1100    22000   110000 |    96196    87572    137 |  0.000 % |
63.00/63.17	c |    121935 |    1100    22000   110000 |    96196    88022    137 |  0.000 % |
63.40/63.52	c |    122428 |    1100    22000   110000 |    96196    88515    137 |  0.000 % |
63.70/63.89	c |    122970 |    1100    22000   110000 |    96196    89057    137 |  0.000 % |
64.20/64.36	c |    123566 |    1100    22000   110000 |    96196    89653    137 |  0.000 % |
64.80/64.92	c |    124221 |    1100    22000   110000 |    96196    90308    137 |  0.000 % |
65.30/65.47	c |    124941 |    1100    22000   110000 |    96196    91028    137 |  0.000 % |
66.00/66.10	c |    125734 |    1100    22000   110000 |    96196    91821    137 |  0.000 % |
66.60/66.74	c |    126605 |    1100    22000   110000 |    96196    92692    137 |  0.000 % |
67.29/67.44	c |    127563 |    1100    22000   110000 |    96196    93650    137 |  0.000 % |
68.20/68.31	c |    128616 |    1100    22000   110000 |    96196    94703    137 |  0.000 % |
69.09/69.21	c |    129774 |    1100    22000   110000 |    96196    95861    138 |  0.000 % |
69.99/70.19	c |    131047 |    1100    22000   110000 |    96087    86682    138 |  0.000 % |
71.09/71.28	c |    132449 |    1100    22000   110000 |    96087    88084    138 |  0.000 % |
71.19/71.39	c |    132549 |    1100    22000   110000 |    96087    88184    138 |  0.000 % |
71.29/71.49	c |    132659 |    1100    22000   110000 |    96087    88294    138 |  0.000 % |
71.40/71.59	c |    132780 |    1100    22000   110000 |    96087    88415    138 |  0.000 % |
71.59/71.72	c |    132913 |    1100    22000   110000 |    96087    88548    138 |  0.000 % |
71.69/71.85	c |    133059 |    1100    22000   110000 |    96087    88694    138 |  0.000 % |
71.89/72.00	c |    133221 |    1100    22000   110000 |    96087    88856    138 |  0.000 % |
71.99/72.16	c |    133399 |    1100    22000   110000 |    96087    89034    138 |  0.000 % |
72.19/72.30	c |    133593 |    1100    22000   110000 |    96087    89228    138 |  0.000 % |
72.29/72.49	c |    133807 |    1100    22000   110000 |    96087    89442    138 |  0.000 % |
72.49/72.69	c |    134040 |    1100    22000   110000 |    96087    89675    138 |  0.000 % |
72.78/72.91	c |    134296 |    1100    22000   110000 |    96087    89931    138 |  0.000 % |
72.98/73.16	c |    134578 |    1100    22000   110000 |    96087    90213    138 |  0.000 % |
73.18/73.39	c |    134888 |    1100    22000   110000 |    96087    90523    138 |  0.000 % |
73.48/73.65	c |    135227 |    1100    22000   110000 |    96087    90862    138 |  0.000 % |
73.78/73.94	c |    135599 |    1100    22000   110000 |    96087    91234    138 |  0.000 % |
74.08/74.29	c |    136008 |    1100    22000   110000 |    96087    91643    138 |  0.000 % |
74.48/74.68	c |    136458 |    1100    22000   110000 |    96087    92093    138 |  0.000 % |
74.88/75.07	c |    136951 |    1100    22000   110000 |    96087    92586    138 |  0.000 % |
75.38/75.50	c |    137494 |    1100    22000   110000 |    96087    93129    138 |  0.000 % |
75.79/75.99	c |    138090 |    1100    22000   110000 |    96087    93725    138 |  0.000 % |
76.38/76.54	c |    138745 |    1100    22000   110000 |    96087    94380    138 |  0.000 % |
76.99/77.11	c |    139466 |    1100    22000   110000 |    96087    95101    138 |  0.000 % |
77.58/77.74	c |    140259 |    1100    22000   110000 |    95637    95894    138 |  0.000 % |
78.28/78.43	c |    141130 |    1100    22000   110000 |    95637    86169    138 |  0.000 % |
78.98/79.16	c |    142089 |    1100    22000   110000 |    95637    87128    138 |  0.000 % |
79.88/80.01	c |    143142 |    1100    22000   110000 |    95637    88181    138 |  0.000 % |
80.68/80.87	c |    144301 |    1100    22000   110000 |    95637    89340    138 |  0.000 % |
81.68/81.81	c |    145577 |    1100    22000   110000 |    95637    90616    138 |  0.000 % |
82.78/82.94	c |    146979 |    1100    22000   110000 |    95637    92018    138 |  0.000 % |
83.98/84.14	c |    148519 |    1100    22000   110000 |    95637    93558    138 |  0.000 % |
84.08/84.24	c |    148619 |    1100    22000   110000 |    95637    93658    138 |  0.000 % |
84.18/84.33	c |    148729 |    1100    22000   110000 |    95637    93768    138 |  0.000 % |
84.28/84.44	c |    148850 |    1100    22000   110000 |    95637    93889    138 |  0.000 % |
84.38/84.55	c |    148983 |    1100    22000   110000 |    95637    94022    138 |  0.000 % |
84.48/84.68	c |    149130 |    1100    22000   110000 |    95637    94169    138 |  0.000 % |
84.68/84.80	c |    149292 |    1100    22000   110000 |    95637    94331    138 |  0.000 % |
84.78/84.94	c |    149469 |    1100    22000   110000 |    95637    94508    138 |  0.000 % |
84.98/85.10	c |    149663 |    1100    22000   110000 |    95637    94702    138 |  0.000 % |
85.08/85.29	c |    149876 |    1100    22000   110000 |    95637    94915    138 |  0.000 % |
85.38/85.51	c |    150113 |    1100    22000   110000 |    95039    95152    138 |  0.000 % |
85.58/85.74	c |    150369 |    1100    22000   110000 |    95039    85487    138 |  0.000 % |
85.78/85.95	c |    150650 |    1100    22000   110000 |    95039    85768    138 |  0.000 % |
85.98/86.17	c |    150960 |    1100    22000   110000 |    95039    86078    138 |  0.000 % |
86.28/86.43	c |    151299 |    1100    22000   110000 |    95039    86417    138 |  0.000 % |
86.58/86.70	c |    151671 |    1100    22000   110000 |    95039    86789    138 |  0.000 % |
86.78/86.99	c |    152080 |    1100    22000   110000 |    95039    87198    138 |  0.000 % |
87.18/87.34	c |    152530 |    1100    22000   110000 |    95039    87648    138 |  0.000 % |
87.58/87.77	c |    153023 |    1100    22000   110000 |    95039    88141    138 |  0.000 % |
87.98/88.19	c |    153565 |    1100    22000   110000 |    95039    88683    138 |  0.000 % |
88.48/88.65	c |    154163 |    1100    22000   110000 |    95039    89281    138 |  0.000 % |
88.98/89.16	c |    154818 |    1100    22000   110000 |    95039    89936    138 |  0.000 % |
89.48/89.69	c |    155538 |    1100    22000   110000 |    95039    90656    138 |  0.000 % |
90.18/90.34	c |    156330 |    1100    22000   110000 |    95039    91448    138 |  0.000 % |
90.78/90.99	c |    157202 |    1100    22000   110000 |    95039    92320    138 |  0.000 % |
91.58/91.73	c |    158163 |    1100    22000   110000 |    95039    93281    138 |  0.000 % |
92.38/92.52	c |    159217 |    1100    22000   110000 |    95039    94335    138 |  0.000 % |
93.17/93.39	c |    160376 |    1100    22000   110000 | 2147483647    95494    139 |  0.000 % |
94.18/94.38	c |    161650 |    1100    22000   110000 | 2147483647    96768    139 |  0.000 % |
95.38/95.54	c |    163050 |    1100    22000   110000 | 2147483647    98168    139 |  0.000 % |
96.68/96.88	c |    164590 |    1100    22000   110000 | 2147483647    99708    139 |  0.000 % |
98.08/98.27	c |    166284 |    1100    22000   110000 | 2147483647   101402    139 |  0.000 % |
98.18/98.35	c |    166384 |    1100    22000   110000 | 2147483647   101502    139 |  0.000 % |
98.28/98.46	c |    166495 |    1100    22000   110000 | 2147483647   101613    139 |  0.000 % |
98.38/98.58	c |    166618 |    1100    22000   110000 | 2147483647   101736    139 |  0.000 % |
98.58/98.70	c |    166752 |    1100    22000   110000 | 2147483647   101870    139 |  0.000 % |
98.68/98.83	c |    166898 |    1100    22000   110000 | 2147483647   102016    139 |  0.000 % |
98.78/98.99	c |    167059 |    1100    22000   110000 | 2147483647   102177    139 |  0.000 % |
99.08/99.20	c |    167235 |    1100    22000   110000 | 2147483647   102353    139 |  0.000 % |
99.18/99.38	c |    167431 |    1100    22000   110000 | 2147483647   102549    139 |  0.000 % |
99.38/99.55	c |    167645 |    1100    22000   110000 | 2147483647   102763    139 |  0.000 % |
99.58/99.76	c |    167879 |    1100    22000   110000 | 2147483647   102997    139 |  0.000 % |
99.78/99.97	c |    168135 |    1100    22000   110000 | 2147483647   103253    139 |  0.000 % |
99.98/100.20	c |    168416 |    1100    22000   110000 | 2147483647   103534    139 |  0.000 % |
100.27/100.49	c |    168725 |    1100    22000   110000 | 2147483647   103843    139 |  0.000 % |
100.67/100.80	c |    169064 |    1100    22000   110000 | 2147483647   104182    139 |  0.000 % |
100.97/101.18	c |    169438 |    1100    22000   110000 | 2147483647   104556    139 |  0.000 % |
101.37/101.55	c |    169847 |    1100    22000   110000 | 2147483647   104965    139 |  0.000 % |
101.77/101.94	c |    170296 |    1100    22000   110000 |   105118   105414    139 |  0.000 % |
102.18/102.38	c |    170794 |    1100    22000   110000 |   105118    91889    139 |  0.000 % |
102.67/102.82	c |    171336 |    1100    22000   110000 |   105118    92431    139 |  0.000 % |
103.07/103.29	c |    171932 |    1100    22000   110000 |   105118    93027    139 |  0.000 % |
103.67/103.82	c |    172587 |    1100    22000   110000 |   105118    93682    139 |  0.000 % |
104.27/104.45	c |    173308 |    1100    22000   110000 |   105118    94403    139 |  0.000 % |
104.97/105.13	c |    174101 |    1100    22000   110000 |   105118    95196    139 |  0.000 % |
105.67/105.81	c |    174972 |    1100    22000   110000 |   105118    96067    139 |  0.000 % |
106.37/106.59	c |    175930 |    1100    22000   110000 |   105118    97025    139 |  0.000 % |
107.17/107.31	c |    176985 |    1100    22000   110000 |   105118    98080    139 |  0.000 % |
108.07/108.24	c |    178144 |    1100    22000   110000 |   105118    99239    139 |  0.000 % |
109.07/109.24	c |    179417 |    1100    22000   110000 |   105118   100512    139 |  0.000 % |
110.27/110.49	c |    180817 |    1100    22000   110000 |   101096    89490    140 |  0.000 % |
111.47/111.61	c |    182359 |    1100    22000   110000 |   101096    91032    140 |  0.000 % |
112.67/112.88	c |    184054 |    1100    22000   110000 |   101096    92727    140 |  0.000 % |
114.17/114.38	c |    185919 |    1100    22000   110000 |   101096    94592    140 |  0.000 % |
114.27/114.47	c |    186020 |    1100    22000   110000 |   101096    94693    140 |  0.000 % |
114.37/114.59	c |    186130 |    1100    22000   110000 |   101096    94803    140 |  0.000 % |
114.57/114.71	c |    186252 |    1100    22000   110000 |   101096    94925    140 |  0.000 % |
114.67/114.83	c |    186385 |    1100    22000   110000 |   101096    95058    140 |  0.000 % |
114.77/114.96	c |    186532 |    1100    22000   110000 |   101096    95205    140 |  0.000 % |
114.97/115.13	c |    186692 |    1100    22000   110000 |   101096    95365    140 |  0.000 % |
115.07/115.27	c |    186870 |    1100    22000   110000 |   101096    95543    140 |  0.000 % |
115.27/115.46	c |    187064 |    1100    22000   110000 |   101096    95737    140 |  0.000 % |
115.47/115.68	c |    187279 |    1100    22000   110000 |   101096    95952    140 |  0.000 % |
115.67/115.88	c |    187512 |    1100    22000   110000 |   101096    96185    140 |  0.000 % |
115.97/116.12	c |    187769 |    1100    22000   110000 |   101096    96442    140 |  0.000 % |
116.27/116.40	c |    188051 |    1100    22000   110000 |   101096    96724    140 |  0.000 % |
116.47/116.70	c |    188363 |    1100    22000   110000 |   101096    97036    140 |  0.000 % |
116.86/117.01	c |    188702 |    1100    22000   110000 |   101096    97375    140 |  0.000 % |
117.16/117.34	c |    189074 |    1100    22000   110000 |   101096    97747    140 |  0.000 % |
117.56/117.76	c |    189483 |    1100    22000   110000 |   101096    98156    140 |  0.000 % |
117.96/118.15	c |    189932 |    1100    22000   110000 |   101096    98605    140 |  0.000 % |
118.46/118.63	c |    190425 |    1100    22000   110000 |    98673    87054    140 |  0.000 % |
118.86/119.08	c |    190967 |    1100    22000   110000 |    98673    87596    140 |  0.000 % |
119.26/119.48	c |    191563 |    1100    22000   110000 |    98673    88192    140 |  0.000 % |
119.86/120.03	c |    192220 |    1100    22000   110000 |    98673    88849    140 |  0.000 % |
120.45/120.61	c |    192940 |    1100    22000   110000 |    98673    89569    140 |  0.000 % |
121.05/121.20	c |    193732 |    1100    22000   110000 |    98673    90361    140 |  0.000 % |
121.65/121.86	c |    194603 |    1100    22000   110000 |    98673    91232    140 |  0.000 % |
122.35/122.51	c |    195561 |    1100    22000   110000 |    98673    92190    140 |  0.000 % |
123.16/123.36	c |    196614 |    1100    22000   110000 |    98673    93243    140 |  0.000 % |
124.05/124.28	c |    197772 |    1100    22000   110000 |    98673    94401    140 |  0.000 % |
125.05/125.23	c |    199045 |    1100    22000   110000 |    98673    95674    140 |  0.000 % |
126.25/126.48	c |    200446 |    1100    22000   110000 |    96630    86012    140 |  0.000 % |
127.46/127.63	c |    201988 |    1100    22000   110000 |    96630    87554    140 |  0.000 % |
128.56/128.77	c |    203683 |    1100    22000   110000 |    96630    89249    140 |  0.000 % |
129.85/130.10	c |    205546 |    1100    22000   110000 |    96630    91112    140 |  0.000 % |
131.55/131.74	c |    207595 |    1100    22000   110000 |    96630    93161    140 |  0.000 % |
131.65/131.85	c |    207695 |    1100    22000   110000 |    96630    93261    140 |  0.000 % |
131.75/131.96	c |    207806 |    1100    22000   110000 |    96630    93372    140 |  0.000 % |
131.85/132.07	c |    207927 |    1100    22000   110000 |    96630    93493    140 |  0.000 % |
131.95/132.19	c |    208060 |    1100    22000   110000 |    96630    93626    140 |  0.000 % |
132.15/132.36	c |    208206 |    1100    22000   110000 |    96630    93772    140 |  0.000 % |
132.35/132.52	c |    208366 |    1100    22000   110000 |    96630    93932    140 |  0.000 % |
132.45/132.66	c |    208542 |    1100    22000   110000 |    96630    94108    140 |  0.000 % |
132.65/132.85	c |    208735 |    1100    22000   110000 |    96630    94301    140 |  0.000 % |
132.85/133.04	c |    208948 |    1100    22000   110000 |    96630    94514    140 |  0.000 % |
133.05/133.24	c |    209182 |    1100    22000   110000 |    96630    94748    140 |  0.000 % |
133.25/133.49	c |    209439 |    1100    22000   110000 |    96630    95005    140 |  0.000 % |
133.55/133.73	c |    209722 |    1100    22000   110000 |    96630    95288    140 |  0.000 % |
133.75/133.98	c |    210031 |    1100    22000   110000 |    95568    95597    140 |  0.000 % |
134.15/134.35	c |    210372 |    1100    22000   110000 |    95568    85673    140 |  0.000 % |
134.45/134.65	c |    210744 |    1100    22000   110000 |    95568    86045    140 |  0.000 % |
134.75/134.95	c |    211153 |    1100    22000   110000 |    95568    86454    140 |  0.000 % |
135.05/135.29	c |    211604 |    1100    22000   110000 |    95568    86905    140 |  0.000 % |
135.45/135.66	c |    212101 |    1100    22000   110000 |    95568    87402    140 |  0.000 % |
135.85/136.04	c |    212647 |    1100    22000   110000 |    95568    87948    140 |  0.000 % |
136.25/136.49	c |    213243 |    1100    22000   110000 |    95568    88544    140 |  0.000 % |
136.75/136.98	c |    213898 |    1100    22000   110000 |    95568    89199    140 |  0.000 % |
137.35/137.54	c |    214618 |    1100    22000   110000 |    95568    89919    140 |  0.000 % |
137.95/138.11	c |    215410 |    1100    22000   110000 |    95568    90711    140 |  0.000 % |
138.55/138.75	c |    216282 |    1100    22000   110000 |    95568    91583    140 |  0.000 % |
139.24/139.44	c |    217240 |    1100    22000   110000 |    95568    92541    140 |  0.000 % |
140.04/140.24	c |    218294 |    1100    22000   110000 |    95568    93595    140 |  0.000 % |
140.84/141.07	c |    219454 |    1100    22000   110000 |    95568    94755    140 |  0.000 % |
141.85/142.03	c |    220728 |    1100    22000   110000 | 2147483647    96029    140 |  0.000 % |
142.95/143.15	c |    222129 |    1100    22000   110000 | 2147483647    97430    140 |  0.000 % |
144.14/144.32	c |    223669 |    1100    22000   110000 | 2147483647    98970    140 |  0.000 % |
145.44/145.67	c |    225364 |    1100    22000   110000 | 2147483647   100665    140 |  0.000 % |
146.94/147.18	c |    227227 |    1100    22000   110000 | 2147483647   102528    140 |  0.000 % |
148.64/148.89	c |    229276 |    1100    22000   110000 | 2147483647   104577    140 |  0.000 % |
150.54/150.70	c |    231530 |    1100    22000   110000 |   105301    94346    141 |  0.000 % |
150.64/150.83	c |    231630 |    1100    22000   110000 |   105301    94446    141 |  0.000 % |
150.74/150.93	c |    231742 |    1100    22000   110000 |   105301    94558    141 |  0.000 % |
150.84/151.04	c |    231865 |    1100    22000   110000 |   105301    94681    141 |  0.000 % |
150.94/151.18	c |    232000 |    1100    22000   110000 |   105301    94816    141 |  0.000 % |
151.14/151.34	c |    232146 |    1100    22000   110000 |   105301    94962    141 |  0.000 % |
151.24/151.49	c |    232308 |    1100    22000   110000 |   105301    95124    141 |  0.000 % |
151.44/151.65	c |    232485 |    1100    22000   110000 |   105301    95301    141 |  0.000 % |
151.64/151.82	c |    232679 |    1100    22000   110000 |   105301    95495    141 |  0.000 % |
151.84/152.00	c |    232891 |    1100    22000   110000 |   105301    95707    141 |  0.000 % |
151.94/152.19	c |    233126 |    1100    22000   110000 |   105301    95942    141 |  0.000 % |
152.24/152.40	c |    233382 |    1100    22000   110000 |   105301    96198    140 |  0.000 % |
152.44/152.65	c |    233663 |    1100    22000   110000 |   105301    96479    140 |  0.000 % |
152.74/152.90	c |    233974 |    1100    22000   110000 |   105301    96790    140 |  0.000 % |
153.04/153.22	c |    234314 |    1100    22000   110000 |   105301    97130    140 |  0.000 % |
153.34/153.54	c |    234686 |    1100    22000   110000 |   105301    97502    140 |  0.000 % |
153.64/153.87	c |    235095 |    1100    22000   110000 |   105301    97911    140 |  0.000 % |
154.14/154.32	c |    235544 |    1100    22000   110000 |   105301    98360    140 |  0.000 % |
154.54/154.76	c |    236038 |    1100    22000   110000 |   105301    98854    140 |  0.000 % |
155.05/155.27	c |    236581 |    1100    22000   110000 |   105301    99397    140 |  0.000 % |
155.64/155.80	c |    237179 |    1100    22000   110000 |   105301    99995    140 |  0.000 % |
156.15/156.36	c |    237838 |    1100    22000   110000 |   105301   100654    140 |  0.000 % |
156.74/156.97	c |    238558 |    1100    22000   110000 |   105301   101374    140 |  0.000 % |
157.44/157.70	c |    239351 |    1100    22000   110000 |   105301   102167    140 |  0.000 % |
158.24/158.48	c |    240222 |    1100    22000   110000 |   102816   103038    140 |  0.000 % |
159.04/159.27	c |    241182 |    1100    22000   110000 |   102816    90434    141 |  0.000 % |
159.84/160.05	c |    242236 |    1100    22000   110000 |   102816    91488    141 |  0.000 % |
160.64/160.88	c |    243394 |    1100    22000   110000 |   102816    92646    140 |  0.000 % |
161.64/161.84	c |    244668 |    1100    22000   110000 |   102816    93920    140 |  0.000 % |
162.64/162.82	c |    246069 |    1100    22000   110000 |   102816    95321    141 |  0.000 % |
163.93/164.14	c |    247609 |    1100    22000   110000 |   102816    96861    141 |  0.000 % |
165.33/165.52	c |    249303 |    1100    22000   110000 |   102816    98555    141 |  0.000 % |
166.73/167.00	c |    251166 |    1100    22000   110000 |    99252    89383    141 |  0.000 % |
168.23/168.46	c |    253215 |    1100    22000   110000 |    99252    91432    141 |  0.000 % |
169.93/170.13	c |    255471 |    1100    22000   110000 |    99252    93688    141 |  0.000 % |
171.93/172.12	c |    257949 |    1100    22000   110000 |    99252    96166    141 |  0.000 % |
172.03/172.20	c |    258050 |    1100    22000   110000 |    99252    96267    141 |  0.000 % |
172.13/172.33	c |    258161 |    1100    22000   110000 |    99252    96378    141 |  0.000 % |
172.23/172.44	c |    258282 |    1100    22000   110000 |    99252    96499    141 |  0.000 % |
172.33/172.57	c |    258415 |    1100    22000   110000 |    99252    96632    141 |  0.000 % |
172.53/172.72	c |    258561 |    1100    22000   110000 |    99252    96778    141 |  0.000 % |
172.63/172.89	c |    258721 |    1100    22000   110000 |    99252    96938    141 |  0.000 % |
172.83/173.04	c |    258897 |    1100    22000   110000 |    99252    97114    141 |  0.000 % |
173.03/173.21	c |    259090 |    1100    22000   110000 |    99252    97307    141 |  0.000 % |
173.23/173.43	c |    259302 |    1100    22000   110000 |    99252    97519    141 |  0.000 % |
173.43/173.64	c |    259536 |    1100    22000   110000 |    99252    97753    141 |  0.000 % |
173.63/173.87	c |    259792 |    1100    22000   110000 |    99252    98009    141 |  0.000 % |
173.92/174.16	c |    260073 |    1100    22000   110000 |    98217    98290    141 |  0.000 % |
174.22/174.48	c |    260382 |    1100    22000   110000 |    98217    88161    141 |  0.000 % |
174.52/174.75	c |    260722 |    1100    22000   110000 |    98217    88501    141 |  0.000 % |
174.83/175.05	c |    261095 |    1100    22000   110000 |    98217    88874    141 |  0.000 % |
175.12/175.37	c |    261505 |    1100    22000   110000 |    98217    89284    141 |  0.000 % |
175.52/175.76	c |    261954 |    1100    22000   110000 |    98217    89733    141 |  0.000 % |
175.93/176.16	c |    262449 |    1100    22000   110000 |    98217    90228    141 |  0.000 % |
176.33/176.58	c |    262991 |    1100    22000   110000 |    98217    90770    141 |  0.000 % |
176.83/177.03	c |    263587 |    1100    22000   110000 |    98217    91366    141 |  0.000 % |
177.42/177.61	c |    264243 |    1100    22000   110000 |    98217    92022    141 |  0.000 % |
177.92/178.17	c |    264964 |    1100    22000   110000 |    98217    92743    141 |  0.000 % |
178.62/178.81	c |    265757 |    1100    22000   110000 |    98217    93536    141 |  0.000 % |
179.23/179.45	c |    266629 |    1100    22000   110000 |    98217    94408    141 |  0.000 % |
179.92/180.18	c |    267587 |    1100    22000   110000 |    98217    95366    141 |  0.000 % |
180.82/181.09	c |    268640 |    1100    22000   110000 |    98217    96419    141 |  0.000 % |
181.82/182.01	c |    269799 |    1100    22000   110000 |    98217    97578    141 |  0.000 % |
182.82/183.05	c |    271072 |    1100    22000   110000 |    97779    87585    141 |  0.000 % |
183.92/184.13	c |    272472 |    1100    22000   110000 |    97779    88985    141 |  0.000 % |
185.02/185.21	c |    274013 |    1100    22000   110000 |    97779    90526    141 |  0.000 % |
186.22/186.47	c |    275707 |    1100    22000   110000 |    97779    92220    141 |  0.000 % |
187.62/187.87	c |    277570 |    1100    22000   110000 |    97779    94083    141 |  0.000 % |
189.22/189.48	c |    279619 |    1100    22000   110000 |    97779    96132    141 |  0.000 % |
191.12/191.31	c |    281873 |    1100    22000   110000 |    96514    88198    141 |  0.000 % |
192.82/193.07	c |    284351 |    1100    22000   110000 |    96514    90676    142 |  0.000 % |
194.92/195.10	c |    287076 |    1100    22000   110000 |    96514    93401    142 |  0.000 % |
195.02/195.22	c |    287176 |    1100    22000   110000 |    96514    93501    142 |  0.000 % |
195.12/195.32	c |    287286 |    1100    22000   110000 |    96514    93611    142 |  0.000 % |
195.22/195.43	c |    287408 |    1100    22000   110000 |    96514    93733    142 |  0.000 % |
195.32/195.55	c |    287542 |    1100    22000   110000 |    96514    93867    142 |  0.000 % |
195.42/195.69	c |    287688 |    1100    22000   110000 |    96514    94013    142 |  0.000 % |
195.62/195.83	c |    287849 |    1100    22000   110000 |    96514    94174    142 |  0.000 % |
195.72/195.99	c |    288026 |    1100    22000   110000 |    96514    94351    142 |  0.000 % |
195.92/196.17	c |    288220 |    1100    22000   110000 |    96514    94545    142 |  0.000 % |
196.12/196.36	c |    288432 |    1100    22000   110000 |    96514    94757    142 |  0.000 % |
196.32/196.57	c |    288668 |    1100    22000   110000 |    96514    94993    142 |  0.000 % |
196.52/196.77	c |    288925 |    1100    22000   110000 |    96514    95250    142 |  0.000 % |
196.82/197.01	c |    289206 |    1100    22000   110000 |    96514    95531    142 |  0.000 % |
197.02/197.28	c |    289517 |    1100    22000   110000 |    96514    95842    142 |  0.000 % |
197.32/197.59	c |    289856 |    1100    22000   110000 |    96514    96181    142 |  0.000 % |
197.72/197.91	c |    290228 |    1100    22000   110000 |    96328    96553    142 |  0.000 % |
198.02/198.27	c |    290638 |    1100    22000   110000 |    96328    86907    142 |  0.000 % |
198.32/198.58	c |    291090 |    1100    22000   110000 |    96328    87359    142 |  0.000 % |
198.72/198.94	c |    291584 |    1100    22000   110000 |    96328    87853    142 |  0.000 % |
199.12/199.40	c |    292126 |    1100    22000   110000 |    96328    88395    142 |  0.000 % |
199.61/199.88	c |    292724 |    1100    22000   110000 |    96328    88993    142 |  0.000 % |
200.12/200.40	c |    293379 |    1100    22000   110000 |    96328    89648    142 |  0.000 % |
200.71/200.92	c |    294099 |    1100    22000   110000 |    96328    90368    142 |  0.000 % |
201.31/201.54	c |    294892 |    1100    22000   110000 |    96328    91161    142 |  0.000 % |
202.01/202.24	c |    295763 |    1100    22000   110000 |    96328    92032    142 |  0.000 % |
202.71/202.99	c |    296722 |    1100    22000   110000 |    96328    92991    142 |  0.000 % |
203.61/203.82	c |    297775 |    1100    22000   110000 |    96328    94044    142 |  0.000 % |
204.42/204.68	c |    298934 |    1100    22000   110000 |    96328    95203    142 |  0.000 % |
205.41/205.63	c |    300209 |    1100    22000   110000 |    96272    96478    142 |  0.000 % |
206.41/206.67	c |    301609 |    1100    22000   110000 |    96272    87470    142 |  0.000 % |
207.51/207.78	c |    303150 |    1100    22000   110000 |    96272    89011    142 |  0.000 % |
208.71/208.99	c |    304845 |    1100    22000   110000 |    96272    90706    142 |  0.000 % |
210.21/210.40	c |    306708 |    1100    22000   110000 |    96272    92569    142 |  0.000 % |
211.71/211.99	c |    308757 |    1100    22000   110000 |    96272    94618    142 |  0.000 % |
213.51/213.72	c |    311013 |    1100    22000   110000 | 2147483647    96874    143 |  0.000 % |
215.41/215.65	c |    313493 |    1100    22000   110000 | 2147483647    99354    143 |  0.000 % |
217.71/217.92	c |    316218 |    1100    22000   110000 | 2147483647   102079    144 |  0.000 % |
220.20/220.48	c |    319215 |    1100    22000   110000 | 2147483647   105076    144 |  0.000 % |
220.30/220.59	c |    319317 |    1100    22000   110000 | 2147483647   105178    144 |  0.000 % |
220.40/220.69	c |    319429 |    1100    22000   110000 | 2147483647   105290    144 |  0.000 % |
220.60/220.82	c |    319550 |    1100    22000   110000 | 2147483647   105411    144 |  0.000 % |
220.70/220.98	c |    319683 |    1100    22000   110000 | 2147483647   105544    144 |  0.000 % |
220.91/221.13	c |    319829 |    1100    22000   110000 | 2147483647   105690    144 |  0.000 % |
221.10/221.30	c |    319993 |    1100    22000   110000 | 2147483647   105854    144 |  0.000 % |
221.20/221.48	c |    320170 |    1100    22000   110000 |   105863   106031    144 |  0.000 % |
221.50/221.76	c |    320364 |    1100    22000   110000 |   105863    92965    144 |  0.000 % |
221.70/221.95	c |    320578 |    1100    22000   110000 |   105863    93179    144 |  0.000 % |
221.90/222.17	c |    320812 |    1100    22000   110000 |   105863    93413    144 |  0.000 % |
222.10/222.38	c |    321068 |    1100    22000   110000 |   105863    93669    144 |  0.000 % |
222.40/222.64	c |    321352 |    1100    22000   110000 |   105863    93953    144 |  0.000 % |
222.70/222.93	c |    321661 |    1100    22000   110000 |   105863    94262    144 |  0.000 % |
223.00/223.20	c |    322002 |    1100    22000   110000 |   105863    94603    144 |  0.000 % |
223.30/223.54	c |    322374 |    1100    22000   110000 |   105863    94975    144 |  0.000 % |
223.70/223.90	c |    322786 |    1100    22000   110000 |   105863    95387    144 |  0.000 % |
224.00/224.25	c |    323235 |    1100    22000   110000 |   105863    95836    144 |  0.000 % |
224.40/224.68	c |    323728 |    1100    22000   110000 |   105863    96329    144 |  0.000 % |
224.90/225.10	c |    324271 |    1100    22000   110000 |   105863    96872    144 |  0.000 % |
225.30/225.56	c |    324869 |    1100    22000   110000 |   105863    97470    144 |  0.000 % |
225.80/226.08	c |    325525 |    1100    22000   110000 |   105863    98126    144 |  0.000 % |
226.50/226.71	c |    326245 |    1100    22000   110000 |   105863    98846    144 |  0.000 % |
227.10/227.39	c |    327039 |    1100    22000   110000 |   105863    99640    144 |  0.000 % |
228.00/228.25	c |    327910 |    1100    22000   110000 |   105863   100511    144 |  0.000 % |
228.80/229.06	c |    328868 |    1100    22000   110000 |   105863   101469    144 |  0.000 % |
229.70/229.97	c |    329922 |    1100    22000   110000 |   105863   102523    144 |  0.000 % |
230.80/231.04	c |    331080 |    1100    22000   110000 |   102604    90107    144 |  0.000 % |
231.80/232.02	c |    332354 |    1100    22000   110000 |   102604    91381    144 |  0.000 % |
232.80/233.09	c |    333754 |    1100    22000   110000 |   102604    92781    144 |  0.000 % |
234.00/234.28	c |    335294 |    1100    22000   110000 |   102604    94321    144 |  0.000 % |
235.40/235.62	c |    336988 |    1100    22000   110000 |   102604    96015    144 |  0.000 % |
236.80/237.05	c |    338851 |    1100    22000   110000 |   102604    97878    145 |  0.000 % |
238.50/238.74	c |    340900 |    1100    22000   110000 |    99029    89304    145 |  0.000 % |
240.19/240.41	c |    343153 |    1100    22000   110000 |    99029    91557    145 |  0.000 % |
241.99/242.26	c |    345632 |    1100    22000   110000 |    99029    94036    145 |  0.000 % |
244.10/244.31	c |    348357 |    1100    22000   110000 |    99029    96761    145 |  0.000 % |
246.30/246.59	c |    351356 |    1100    22000   110000 |    98404    89661    145 |  0.000 % |
248.69/248.98	c |    354652 |    1100    22000   110000 |    98404    92957    146 |  0.000 % |
248.79/249.06	c |    354754 |    1100    22000   110000 |    98404    93059    146 |  0.000 % |
248.89/249.15	c |    354864 |    1100    22000   110000 |    98404    93169    146 |  0.000 % |
248.99/249.25	c |    354985 |    1100    22000   110000 |    98404    93290    146 |  0.000 % |
249.09/249.38	c |    355118 |    1100    22000   110000 |    98404    93423    146 |  0.000 % |
249.29/249.51	c |    355265 |    1100    22000   110000 |    98404    93570    146 |  0.000 % |
249.39/249.64	c |    355425 |    1100    22000   110000 |    98404    93730    146 |  0.000 % |
249.60/249.80	c |    355603 |    1100    22000   110000 |    98404    93908    146 |  0.000 % |
249.69/249.98	c |    355797 |    1100    22000   110000 |    98404    94102    146 |  0.000 % |
249.89/250.15	c |    356010 |    1100    22000   110000 |    98404    94315    146 |  0.000 % |
250.09/250.39	c |    356247 |    1100    22000   110000 |    98404    94552    146 |  0.000 % |
250.39/250.62	c |    356505 |    1100    22000   110000 |    98404    94810    146 |  0.000 % |
250.59/250.88	c |    356786 |    1100    22000   110000 |    98404    95091    145 |  0.000 % |
250.89/251.13	c |    357095 |    1100    22000   110000 |    98404    95400    145 |  0.000 % |
251.19/251.43	c |    357436 |    1100    22000   110000 |    98404    95741    145 |  0.000 % |
251.49/251.75	c |    357809 |    1100    22000   110000 |    98404    96114    145 |  0.000 % |
251.89/252.10	c |    358221 |    1100    22000   110000 |    98404    96526    145 |  0.000 % |
252.19/252.46	c |    358670 |    1100    22000   110000 |    98404    96975    145 |  0.000 % |
252.59/252.89	c |    359165 |    1100    22000   110000 |    98404    97470    145 |  0.000 % |
253.08/253.34	c |    359708 |    1100    22000   110000 |    98404    98013    145 |  0.000 % |
253.48/253.79	c |    360304 |    1100    22000   110000 |    98307    98609    145 |  0.000 % |
254.08/254.34	c |    360960 |    1100    22000   110000 |    98307    88900    145 |  0.000 % |
254.58/254.88	c |    361682 |    1100    22000   110000 |    98307    89622    145 |  0.000 % |
255.18/255.45	c |    362475 |    1100    22000   110000 |    98307    90415    145 |  0.000 % |
255.78/256.06	c |    363346 |    1100    22000   110000 |    98307    91286    145 |  0.000 % |
256.48/256.78	c |    364304 |    1100    22000   110000 |    98307    92244    145 |  0.000 % |
257.29/257.57	c |    365357 |    1100    22000   110000 |    98307    93297    145 |  0.000 % |
258.18/258.45	c |    366515 |    1100    22000   110000 |    98307    94455    145 |  0.000 % |
259.18/259.49	c |    367788 |    1100    22000   110000 |    98307    95728    145 |  0.000 % |
260.38/260.64	c |    369190 |    1100    22000   110000 |    98307    97130    145 |  0.000 % |
261.59/261.88	c |    370731 |    1100    22000   110000 | 2147483647    98671    145 |  0.000 % |
262.98/263.25	c |    372427 |    1100    22000   110000 | 2147483647   100367    145 |  0.000 % |
264.49/264.77	c |    374290 |    1100    22000   110000 | 2147483647   102230    145 |  0.000 % |
266.19/266.41	c |    376341 |    1100    22000   110000 | 2147483647   104281    145 |  0.000 % |
268.09/268.34	c |    378595 |    1100    22000   110000 | 2147483647   106535    145 |  0.000 % |
270.18/270.46	c |    381073 |    1100    22000   110000 |   107940    94614    145 |  0.000 % |
272.38/272.62	c |    383798 |    1100    22000   110000 |   107940    97339    145 |  0.000 % |
274.78/275.06	c |    386795 |    1100    22000   110000 |   107940   100336    145 |  0.000 % |
277.38/277.66	c |    390091 |    1100    22000   110000 |   103545   103632    146 |  0.000 % |
280.18/280.40	c |    393716 |    1100    22000   110000 |   103545    94394    147 |  0.000 % |
280.18/280.49	c |    393816 |    1100    22000   110000 |   103545    94494    147 |  0.000 % |
280.28/280.59	c |    393927 |    1100    22000   110000 |   103545    94605    147 |  0.000 % |
280.48/280.70	c |    394048 |    1100    22000   110000 |   103545    94726    147 |  0.000 % |
280.58/280.83	c |    394181 |    1100    22000   110000 |   103545    94859    147 |  0.000 % |
280.68/280.98	c |    394327 |    1100    22000   110000 |   103545    95005    147 |  0.000 % |
280.88/281.11	c |    394488 |    1100    22000   110000 |   103545    95166    146 |  0.000 % |
280.98/281.26	c |    394664 |    1100    22000   110000 |   103545    95342    146 |  0.000 % |
281.18/281.43	c |    394857 |    1100    22000   110000 |   103545    95535    146 |  0.000 % |
281.38/281.61	c |    395070 |    1100    22000   110000 |   103545    95748    146 |  0.000 % |
281.58/281.83	c |    395303 |    1100    22000   110000 |   103545    95981    146 |  0.000 % |
281.78/282.02	c |    395559 |    1100    22000   110000 |   103545    96237    146 |  0.000 % |
281.98/282.27	c |    395840 |    1100    22000   110000 |   103545    96518    146 |  0.000 % |
282.28/282.53	c |    396151 |    1100    22000   110000 |   103545    96829    146 |  0.000 % |
282.58/282.81	c |    396490 |    1100    22000   110000 |   103545    97168    146 |  0.000 % |
282.88/283.11	c |    396862 |    1100    22000   110000 |   103545    97540    146 |  0.000 % |
283.18/283.47	c |    397271 |    1100    22000   110000 |   103545    97949    146 |  0.000 % |
283.58/283.88	c |    397721 |    1100    22000   110000 |   103545    98399    146 |  0.000 % |
284.08/284.30	c |    398215 |    1100    22000   110000 |   103545    98893    146 |  0.000 % |
284.48/284.70	c |    398758 |    1100    22000   110000 |   103545    99436    146 |  0.000 % |
284.88/285.17	c |    399357 |    1100    22000   110000 |   103545   100035    146 |  0.000 % |
285.38/285.69	c |    400014 |    1100    22000   110000 |   100678   100692    146 |  0.000 % |
286.08/286.37	c |    400734 |    1100    22000   110000 |   100678    89187    146 |  0.000 % |
286.78/287.00	c |    401528 |    1100    22000   110000 |   100678    89981    146 |  0.000 % |
287.48/287.70	c |    402399 |    1100    22000   110000 |   100678    90852    146 |  0.000 % |
288.18/288.45	c |    403357 |    1100    22000   110000 |   100678    91810    146 |  0.000 % |
288.98/289.24	c |    404412 |    1100    22000   110000 |   100678    92865    146 |  0.000 % |
289.87/290.14	c |    405572 |    1100    22000   110000 |   100678    94025    146 |  0.000 % |
290.87/291.19	c |    406848 |    1100    22000   110000 |   100678    95301    146 |  0.000 % |
291.97/292.28	c |    408248 |    1100    22000   110000 |   100678    96701    146 |  0.000 % |
293.27/293.55	c |    409789 |    1100    22000   110000 |   100678    98242    146 |  0.000 % |
294.68/294.96	c |    411484 |    1100    22000   110000 |    98454    88801    145 |  0.000 % |
296.07/296.39	c |    413348 |    1100    22000   110000 |    98454    90665    145 |  0.000 % |
297.67/297.91	c |    415399 |    1100    22000   110000 |    98454    92716    145 |  0.000 % |
299.37/299.65	c |    417654 |    1100    22000   110000 |    98454    94971    146 |  0.000 % |
301.37/301.63	c |    420132 |    1100    22000   110000 | 2147483647    97449    146 |  0.000 % |
303.56/303.83	c |    422857 |    1100    22000   110000 | 2147483647   100174    146 |  0.000 % |
306.06/306.37	c |    425854 |    1100    22000   110000 | 2147483647   103171    146 |  0.000 % |
308.76/309.06	c |    429150 |    1100    22000   110000 | 2147483647   106467    146 |  0.000 % |
311.76/312.03	c |    432775 |    1100    22000   110000 |   107318    96198    146 |  0.000 % |
315.06/315.39	c |    436762 |    1100    22000   110000 |   107318   100185    147 |  0.000 % |
315.16/315.47	c |    436862 |    1100    22000   110000 |   107318   100285    147 |  0.000 % |
315.26/315.56	c |    436973 |    1100    22000   110000 |   107318   100396    147 |  0.000 % |
315.36/315.69	c |    437094 |    1100    22000   110000 |   107318   100517    147 |  0.000 % |
315.56/315.84	c |    437229 |    1100    22000   110000 |   107318   100652    146 |  0.000 % |
315.66/315.97	c |    437375 |    1100    22000   110000 |   107318   100798    147 |  0.000 % |
315.86/316.12	c |    437537 |    1100    22000   110000 |   107318   100960    146 |  0.000 % |
315.96/316.30	c |    437716 |    1100    22000   110000 |   107318   101139    146 |  0.000 % |
316.16/316.48	c |    437910 |    1100    22000   110000 |   107318   101333    146 |  0.000 % |
316.36/316.67	c |    438122 |    1100    22000   110000 |   107318   101545    146 |  0.000 % |
316.56/316.88	c |    438355 |    1100    22000   110000 |   107318   101778    146 |  0.000 % |
316.86/317.12	c |    438611 |    1100    22000   110000 |   107318   102034    146 |  0.000 % |
317.05/317.40	c |    438894 |    1100    22000   110000 |   107318   102317    146 |  0.000 % |
317.35/317.66	c |    439203 |    1100    22000   110000 |   107318   102626    146 |  0.000 % |
317.66/317.95	c |    439542 |    1100    22000   110000 |   107318   102965    146 |  0.000 % |
318.05/318.34	c |    439914 |    1100    22000   110000 |   107318   103337    146 |  0.000 % |
318.45/318.72	c |    440323 |    1100    22000   110000 |   103424   103746    146 |  0.000 % |
318.86/319.13	c |    440772 |    1100    22000   110000 |   103424    90520    146 |  0.000 % |
319.25/319.50	c |    441266 |    1100    22000   110000 |   103424    91014    146 |  0.000 % |
319.65/319.93	c |    441810 |    1100    22000   110000 |   103424    91558    146 |  0.000 % |
320.15/320.41	c |    442409 |    1100    22000   110000 |   103424    92157    146 |  0.000 % |
320.65/320.95	c |    443066 |    1100    22000   110000 |   103424    92814    146 |  0.000 % |
321.35/321.60	c |    443786 |    1100    22000   110000 |   103424    93534    146 |  0.000 % |
321.95/322.21	c |    444579 |    1100    22000   110000 |   103424    94327    146 |  0.000 % |
322.65/322.97	c |    445450 |    1100    22000   110000 |   103424    95198    146 |  0.000 % |
323.45/323.76	c |    446410 |    1100    22000   110000 |   103424    96158    146 |  0.000 % |
324.35/324.61	c |    447464 |    1100    22000   110000 |   103424    97212    146 |  0.000 % |
325.25/325.51	c |    448622 |    1100    22000   110000 |   103424    98370    146 |  0.000 % |
326.25/326.51	c |    449896 |    1100    22000   110000 |   103424    99644    146 |  0.000 % |
327.35/327.67	c |    451296 |    1100    22000   110000 |    99749    88846    146 |  0.000 % |
328.55/328.83	c |    452837 |    1100    22000   110000 |    99749    90387    146 |  0.000 % |
329.85/330.15	c |    454533 |    1100    22000   110000 |    99749    92083    146 |  0.000 % |
331.25/331.60	c |    456397 |    1100    22000   110000 |    99749    93947    146 |  0.000 % |
332.95/333.20	c |    458446 |    1100    22000   110000 |    99749    95996    146 |  0.000 % |
334.85/335.12	c |    460701 |    1100    22000   110000 |    97550    87515    147 |  0.000 % |
336.55/336.89	c |    463180 |    1100    22000   110000 |    97550    89994    147 |  0.000 % |
338.55/338.88	c |    465905 |    1100    22000   110000 |    97550    92719    147 |  0.000 % |
340.85/341.11	c |    468902 |    1100    22000   110000 |    97550    95716    147 |  0.000 % |
343.34/343.60	c |    472201 |    1100    22000   110000 | 2147483647    99015    147 |  0.000 % |
346.34/346.62	c |    475826 |    1100    22000   110000 | 2147483647   102640    147 |  0.000 % |
349.94/350.21	c |    479813 |    1100    22000   110000 | 2147483647   106627    147 |  0.000 % |
353.43/353.75	c |    484198 |    1100    22000   110000 |   106815    98489    147 |  0.000 % |
353.53/353.84	c |    484298 |    1100    22000   110000 |   106815    98589    147 |  0.000 % |
353.63/353.95	c |    484410 |    1100    22000   110000 |   106815    98701    147 |  0.000 % |
353.73/354.06	c |    484531 |    1100    22000   110000 |   106815    98822    147 |  0.000 % |
353.94/354.21	c |    484664 |    1100    22000   110000 |   106815    98955    147 |  0.000 % |
354.04/354.34	c |    484810 |    1100    22000   110000 |   106815    99101    147 |  0.000 % |
354.13/354.50	c |    484975 |    1100    22000   110000 |   106815    99266    147 |  0.000 % |
354.33/354.66	c |    485152 |    1100    22000   110000 |   106815    99443    147 |  0.000 % |
354.53/354.84	c |    485345 |    1100    22000   110000 |   106815    99636    147 |  0.000 % |
354.73/355.03	c |    485560 |    1100    22000   110000 |   106815    99851    147 |  0.000 % |
354.93/355.27	c |    485793 |    1100    22000   110000 |   106815   100084    147 |  0.000 % |
355.23/355.51	c |    486050 |    1100    22000   110000 |   106815   100341    146 |  0.000 % |
355.53/355.80	c |    486332 |    1100    22000   110000 |   106815   100623    146 |  0.000 % |
355.83/356.11	c |    486643 |    1100    22000   110000 |   106815   100934    146 |  0.000 % |
356.14/356.41	c |    486982 |    1100    22000   110000 |   106815   101273    146 |  0.000 % |
356.43/356.78	c |    487354 |    1100    22000   110000 |   106815   101645    146 |  0.000 % |
356.83/357.14	c |    487765 |    1100    22000   110000 |   106815   102056    146 |  0.000 % |
357.23/357.53	c |    488214 |    1100    22000   110000 |   106815   102505    146 |  0.000 % |
357.63/357.93	c |    488709 |    1100    22000   110000 |   106815   103000    146 |  0.000 % |
358.13/358.43	c |    489251 |    1100    22000   110000 |   106815   103542    146 |  0.000 % |
358.63/358.93	c |    489847 |    1100    22000   110000 |   106815   104138    146 |  0.000 % |
359.23/359.54	c |    490502 |    1100    22000   110000 |   104292    91018    146 |  0.000 % |
359.83/360.16	c |    491222 |    1100    22000   110000 |   104292    91738    146 |  0.000 % |
360.43/360.76	c |    492015 |    1100    22000   110000 |   104292    92531    146 |  0.000 % |
361.13/361.46	c |    492886 |    1100    22000   110000 |   104292    93402    146 |  0.000 % |
361.83/362.20	c |    493846 |    1100    22000   110000 |   104292    94362    146 |  0.000 % |
362.73/363.03	c |    494901 |    1100    22000   110000 |   104292    95417    146 |  0.000 % |
363.63/363.92	c |    496059 |    1100    22000   110000 |   104292    96575    146 |  0.000 % |
364.73/365.03	c |    497333 |    1100    22000   110000 |   104292    97849    146 |  0.000 % |
365.82/366.10	c |    498734 |    1100    22000   110000 |   104292    99250    146 |  0.000 % |
367.02/367.37	c |    500276 |    1100    22000   110000 |   100516   100792    146 |  0.000 % |
368.33/368.60	c |    501972 |    1100    22000   110000 |   100516    90105    146 |  0.000 % |
369.82/370.11	c |    503835 |    1100    22000   110000 |   100516    91968    146 |  0.000 % |
371.32/371.63	c |    505884 |    1100    22000   110000 |   100516    94017    146 |  0.000 % |
373.02/373.33	c |    508137 |    1100    22000   110000 |   100516    96270    146 |  0.000 % |
375.02/375.35	c |    510616 |    1100    22000   110000 |    98133    88496    146 |  0.000 % |
377.02/377.31	c |    513341 |    1100    22000   110000 |    98133    91221    146 |  0.000 % |
379.22/379.51	c |    516341 |    1100    22000   110000 |    98133    94221    146 |  0.000 % |
381.72/382.06	c |    519639 |    1100    22000   110000 |    98133    97519    146 |  0.000 % |
384.52/384.90	c |    523265 |    1100    22000   110000 | 2147483647   101145    147 |  0.000 % |
387.72/388.01	c |    527252 |    1100    22000   110000 | 2147483647   105132    147 |  0.000 % |
391.52/391.81	c |    531637 |    1100    22000   110000 |   107880    96526    147 |  0.000 % |
395.11/395.46	c |    536460 |    1100    22000   110000 |   107880   101349    147 |  0.000 % |
395.21/395.55	c |    536560 |    1100    22000   110000 |   107880   101449    147 |  0.000 % |
395.31/395.68	c |    536670 |    1100    22000   110000 |   107880   101559    147 |  0.000 % |
395.41/395.79	c |    536791 |    1100    22000   110000 |   107880   101680    147 |  0.000 % |
395.61/395.92	c |    536926 |    1100    22000   110000 |   107880   101815    146 |  0.000 % |
395.72/396.05	c |    537073 |    1100    22000   110000 |   107880   101962    146 |  0.000 % |
395.91/396.21	c |    537235 |    1100    22000   110000 |   107880   102124    146 |  0.000 % |
396.01/396.38	c |    537411 |    1100    22000   110000 |   107880   102300    146 |  0.000 % |
396.21/396.58	c |    537605 |    1100    22000   110000 |   107880   102494    146 |  0.000 % |
396.41/396.76	c |    537817 |    1100    22000   110000 |   107880   102706    146 |  0.000 % |
396.61/396.97	c |    538050 |    1100    22000   110000 |   107880   102939    146 |  0.000 % |
396.92/397.23	c |    538306 |    1100    22000   110000 |   107880   103195    146 |  0.000 % |
397.11/397.48	c |    538587 |    1100    22000   110000 |   107880   103476    146 |  0.000 % |
397.41/397.77	c |    538899 |    1100    22000   110000 |   107880   103788    146 |  0.000 % |
397.71/398.07	c |    539239 |    1100    22000   110000 |   107880   104128    146 |  0.000 % |
398.11/398.41	c |    539614 |    1100    22000   110000 |   107880   104503    146 |  0.000 % |
398.41/398.77	c |    540024 |    1100    22000   110000 |   104891   104913    146 |  0.000 % |
398.91/399.22	c |    540475 |    1100    22000   110000 |   104891    92155    147 |  0.000 % |
399.31/399.63	c |    540968 |    1100    22000   110000 |   104891    92648    147 |  0.000 % |
399.71/400.05	c |    541511 |    1100    22000   110000 |   104891    93191    147 |  0.000 % |
400.22/400.56	c |    542107 |    1100    22000   110000 |   104891    93787    147 |  0.000 % |
400.81/401.11	c |    542763 |    1100    22000   110000 |   104891    94443    147 |  0.000 % |
401.32/401.69	c |    543484 |    1100    22000   110000 |   104891    95164    146 |  0.000 % |
402.01/402.31	c |    544276 |    1100    22000   110000 |   104891    95956    146 |  0.000 % |
402.71/403.04	c |    545147 |    1100    22000   110000 |   104891    96827    146 |  0.000 % |
403.41/403.78	c |    546105 |    1100    22000   110000 |   104891    97785    146 |  0.000 % |
404.31/404.65	c |    547161 |    1100    22000   110000 |   104891    98841    146 |  0.000 % |
405.21/405.57	c |    548319 |    1100    22000   110000 |   104891    99999    146 |  0.000 % |
406.21/406.57	c |    549593 |    1100    22000   110000 |   104891   101273    146 |  0.000 % |
407.51/407.88	c |    550993 |    1100    22000   110000 |   101682    90028    145 |  0.000 % |
408.71/409.03	c |    552534 |    1100    22000   110000 |   101682    91569    145 |  0.000 % |
409.91/410.30	c |    554228 |    1100    22000   110000 |   101682    93263    145 |  0.000 % |
411.31/411.64	c |    556091 |    1100    22000   110000 |   101682    95126    145 |  0.000 % |
412.91/413.25	c |    558143 |    1100    22000   110000 |   101682    97178    145 |  0.000 % |
414.71/415.06	c |    560398 |    1100    22000   110000 |    99037    99433    145 |  0.000 % |
416.61/416.94	c |    562876 |    1100    22000   110000 |    99037    90475    145 |  0.000 % |
418.71/419.01	c |    565601 |    1100    22000   110000 |    99037    93200    145 |  0.000 % |
421.01/421.32	c |    568599 |    1100    22000   110000 |    99037    96198    146 |  0.000 % |
423.60/423.90	c |    571895 |    1100    22000   110000 |    97599    89084    145 |  0.000 % |
426.30/426.66	c |    575521 |    1100    22000   110000 |    97599    92710    145 |  0.000 % |
429.30/429.68	c |    579508 |    1100    22000   110000 |    97599    96697    145 |  0.000 % |
432.70/433.04	c |    583893 |    1100    22000   110000 |    97191    91011    146 |  0.000 % |
436.19/436.56	c |    588717 |    1100    22000   110000 |    97191    95835    146 |  0.000 % |
440.59/440.95	c |    594023 |    1100    22000   110000 | 2147483647   101141    146 |  0.000 % |
440.69/441.06	c |    594123 |    1100    22000   110000 | 2147483647   101241    146 |  0.000 % |
440.80/441.17	c |    594236 |    1100    22000   110000 | 2147483647   101354    146 |  0.000 % |
440.99/441.31	c |    594361 |    1100    22000   110000 | 2147483647   101479    146 |  0.000 % |
441.09/441.44	c |    594494 |    1100    22000   110000 | 2147483647   101612    146 |  0.000 % |
441.19/441.59	c |    594641 |    1100    22000   110000 | 2147483647   101759    146 |  0.000 % |
441.39/441.73	c |    594801 |    1100    22000   110000 | 2147483647   101919    146 |  0.000 % |
441.49/441.89	c |    594977 |    1100    22000   110000 | 2147483647   102095    146 |  0.000 % |
441.69/442.08	c |    595173 |    1100    22000   110000 | 2147483647   102291    146 |  0.000 % |
441.90/442.26	c |    595385 |    1100    22000   110000 | 2147483647   102503    146 |  0.000 % |
442.09/442.46	c |    595618 |    1100    22000   110000 | 2147483647   102736    146 |  0.000 % |
442.29/442.69	c |    595875 |    1100    22000   110000 | 2147483647   102993    146 |  0.000 % |
442.59/442.93	c |    596156 |    1100    22000   110000 | 2147483647   103274    146 |  0.000 % |
442.89/443.20	c |    596465 |    1100    22000   110000 | 2147483647   103583    146 |  0.000 % |
443.19/443.54	c |    596805 |    1100    22000   110000 | 2147483647   103923    146 |  0.000 % |
443.49/443.89	c |    597177 |    1100    22000   110000 | 2147483647   104295    146 |  0.000 % |
443.89/444.26	c |    597588 |    1100    22000   110000 | 2147483647   104706    146 |  0.000 % |
444.39/444.72	c |    598037 |    1100    22000   110000 | 2147483647   105155    146 |  0.000 % |
444.79/445.19	c |    598531 |    1100    22000   110000 | 2147483647   105649    146 |  0.000 % |
445.39/445.70	c |    599076 |    1100    22000   110000 | 2147483647   106194    146 |  0.000 % |
445.89/446.25	c |    599674 |    1100    22000   110000 | 2147483647   106792    146 |  0.000 % |
446.39/446.78	c |    600329 |    1100    22000   110000 |   107119   107447    145 |  0.000 % |
447.19/447.51	c |    601051 |    1100    22000   110000 |   107119    93685    146 |  0.000 % |
447.79/448.17	c |    601843 |    1100    22000   110000 |   107119    94477    146 |  0.000 % |
448.49/448.87	c |    602717 |    1100    22000   110000 |   107119    95351    145 |  0.000 % |
449.29/449.62	c |    603675 |    1100    22000   110000 |   107119    96309    145 |  0.000 % |
450.09/450.50	c |    604728 |    1100    22000   110000 |   107119    97362    145 |  0.000 % |
451.09/451.41	c |    605887 |    1100    22000   110000 |   107119    98521    145 |  0.000 % |
452.19/452.51	c |    607161 |    1100    22000   110000 |   107119    99795    145 |  0.000 % |
453.29/453.61	c |    608561 |    1100    22000   110000 |   107119   101195    145 |  0.000 % |
454.48/454.88	c |    610101 |    1100    22000   110000 |   102634   102735    145 |  0.000 % |
455.88/456.22	c |    611795 |    1100    22000   110000 |   102634    91287    144 |  0.000 % |
457.29/457.60	c |    613661 |    1100    22000   110000 |   102634    93153    144 |  0.000 % |
458.69/459.06	c |    615710 |    1100    22000   110000 |   102634    95202    144 |  0.000 % |
460.38/460.72	c |    617966 |    1100    22000   110000 |   102634    97458    144 |  0.000 % |
462.38/462.77	c |    620444 |    1100    22000   110000 |    99492    88817    143 |  0.000 % |
464.28/464.67	c |    623172 |    1100    22000   110000 |    99492    91545    143 |  0.000 % |
466.58/466.96	c |    626169 |    1100    22000   110000 |    99492    94542    144 |  0.000 % |
468.98/469.34	c |    629467 |    1100    22000   110000 |    99492    97840    144 |  0.000 % |
471.88/472.24	c |    633096 |    1100    22000   110000 | 2147483647   101469    144 |  0.000 % |
475.38/475.78	c |    637083 |    1100    22000   110000 | 2147483647   105456    144 |  0.000 % |
479.38/479.75	c |    641469 |    1100    22000   110000 |   108373    94655    145 |  0.000 % |
483.07/483.50	c |    646296 |    1100    22000   110000 |   108373    99482    146 |  0.000 % |
487.27/487.67	c |    651603 |    1100    22000   110000 |   103186    92061    146 |  0.000 % |
491.77/492.16	c |    657441 |    1100    22000   110000 |   103186    97899    146 |  0.000 % |
491.87/492.25	c |    657541 |    1100    22000   110000 |   103186    97999    146 |  0.000 % |
491.97/492.39	c |    657654 |    1100    22000   110000 |   103186    98112    146 |  0.000 % |
492.17/492.51	c |    657781 |    1100    22000   110000 |   103186    98239    146 |  0.000 % |
492.27/492.64	c |    657915 |    1100    22000   110000 |   103186    98373    146 |  0.000 % |
492.37/492.79	c |    658061 |    1100    22000   110000 |   103186    98519    146 |  0.000 % |
492.57/492.97	c |    658224 |    1100    22000   110000 |   103186    98682    146 |  0.000 % |
492.77/493.14	c |    658402 |    1100    22000   110000 |   103186    98860    146 |  0.000 % |
492.97/493.33	c |    658597 |    1100    22000   110000 |   103186    99055    146 |  0.000 % |
493.17/493.54	c |    658810 |    1100    22000   110000 |   103186    99268    146 |  0.000 % |
493.37/493.76	c |    659043 |    1100    22000   110000 |   103186    99501    146 |  0.000 % |
493.57/494.00	c |    659299 |    1100    22000   110000 |   103186    99757    146 |  0.000 % |
493.87/494.25	c |    659580 |    1100    22000   110000 |   103186   100038    146 |  0.000 % |
494.17/494.54	c |    659892 |    1100    22000   110000 |   103186   100350    146 |  0.000 % |
494.47/494.84	c |    660231 |    1100    22000   110000 |   100458   100689    146 |  0.000 % |
494.87/495.21	c |    660603 |    1100    22000   110000 |   100458    89348    145 |  0.000 % |
495.17/495.52	c |    661013 |    1100    22000   110000 |   100458    89758    145 |  0.000 % |
495.56/495.90	c |    661465 |    1100    22000   110000 |   100458    90210    145 |  0.000 % |
495.87/496.28	c |    661958 |    1100    22000   110000 |   100458    90703    145 |  0.000 % |
496.26/496.69	c |    662500 |    1100    22000   110000 |   100458    91245    145 |  0.000 % |
496.87/497.22	c |    663098 |    1100    22000   110000 |   100458    91843    145 |  0.000 % |
497.36/497.79	c |    663756 |    1100    22000   110000 |   100458    92501    145 |  0.000 % |
497.97/498.38	c |    664476 |    1100    22000   110000 |   100458    93221    145 |  0.000 % |
498.66/499.01	c |    665270 |    1100    22000   110000 |   100458    94015    145 |  0.000 % |
499.26/499.69	c |    666144 |    1100    22000   110000 |   100458    94889    145 |  0.000 % |
500.06/500.40	c |    667103 |    1100    22000   110000 |   100458    95848    145 |  0.000 % |
500.86/501.26	c |    668156 |    1100    22000   110000 |   100458    96901    145 |  0.000 % |
501.86/502.20	c |    669316 |    1100    22000   110000 |   100458    98061    145 |  0.000 % |
502.86/503.24	c |    670590 |    1100    22000   110000 |    98745    88146    144 |  0.000 % |
503.96/504.32	c |    671992 |    1100    22000   110000 |    98745    89548    145 |  0.000 % |
505.06/505.49	c |    673533 |    1100    22000   110000 |    98745    91089    145 |  0.000 % |
506.46/506.89	c |    675229 |    1100    22000   110000 |    98745    92785    145 |  0.000 % |
508.06/508.45	c |    677092 |    1100    22000   110000 |    98745    94648    145 |  0.000 % |
509.66/510.04	c |    679143 |    1100    22000   110000 |    98745    96699    145 |  0.000 % |
511.46/511.80	c |    681396 |    1100    22000   110000 |    97557    87643    144 |  0.000 % |
513.16/513.59	c |    683876 |    1100    22000   110000 |    97557    90123    144 |  0.000 % |
515.26/515.61	c |    686602 |    1100    22000   110000 |    97557    92849    144 |  0.000 % |
517.56/517.97	c |    689599 |    1100    22000   110000 |    97557    95846    144 |  0.000 % |
520.26/520.68	c |    692895 |    1100    22000   110000 | 2147483647    99142    145 |  0.000 % |
523.25/523.70	c |    696520 |    1100    22000   110000 | 2147483647   102767    145 |  0.000 % |
526.85/527.21	c |    700510 |    1100    22000   110000 |   106248    92430    146 |  0.000 % |
530.25/530.62	c |    704895 |    1100    22000   110000 |   106248    96815    146 |  0.000 % |
534.15/534.59	c |    709719 |    1100    22000   110000 |   106248   101639    147 |  0.000 % |
538.25/538.68	c |    715024 |    1100    22000   110000 |   101920    93744    147 |  0.000 % |
542.84/543.22	c |    720860 |    1100    22000   110000 |    98722    87898    148 |  0.000 % |
547.64/548.04	c |    727279 |    1100    22000   110000 |    98722    94317    148 |  0.000 % |
547.74/548.13	c |    727379 |    1100    22000   110000 |    98722    94417    148 |  0.000 % |
547.84/548.23	c |    727489 |    1100    22000   110000 |    98722    94527    148 |  0.000 % |
547.94/548.34	c |    727612 |    1100    22000   110000 |    98722    94650    148 |  0.000 % |
548.04/548.47	c |    727746 |    1100    22000   110000 |    98722    94784    148 |  0.000 % |
548.14/548.59	c |    727894 |    1100    22000   110000 |    98722    94932    148 |  0.000 % |
548.34/548.74	c |    728057 |    1100    22000   110000 |    98722    95095    148 |  0.000 % |
548.55/548.93	c |    728234 |    1100    22000   110000 |    98722    95272    148 |  0.000 % |
548.74/549.10	c |    728427 |    1100    22000   110000 |    98722    95465    148 |  0.000 % |
548.84/549.28	c |    728639 |    1100    22000   110000 |    98722    95677    148 |  0.000 % |
549.14/549.51	c |    728872 |    1100    22000   110000 |    98722    95910    148 |  0.000 % |
549.34/549.73	c |    729129 |    1100    22000   110000 |    98722    96167    148 |  0.000 % |
549.54/549.99	c |    729411 |    1100    22000   110000 |    98722    96449    148 |  0.000 % |
549.84/550.27	c |    729720 |    1100    22000   110000 |    98722    96758    148 |  0.000 % |
550.14/550.54	c |    730059 |    1100    22000   110000 |    97039    97097    148 |  0.000 % |
550.54/550.95	c |    730431 |    1100    22000   110000 |    97039    86582    147 |  0.000 % |
550.85/551.28	c |    730843 |    1100    22000   110000 |    97039    86994    147 |  0.000 % |
551.24/551.65	c |    731294 |    1100    22000   110000 |    97039    87445    147 |  0.000 % |
551.64/552.04	c |    731788 |    1100    22000   110000 |    97039    87939    147 |  0.000 % |
552.04/552.44	c |    732331 |    1100    22000   110000 |    97039    88482    147 |  0.000 % |
552.44/552.86	c |    732928 |    1100    22000   110000 |    97039    89079    147 |  0.000 % |
552.94/553.38	c |    733583 |    1100    22000   110000 |    97039    89734    147 |  0.000 % |
553.54/553.99	c |    734304 |    1100    22000   110000 |    97039    90455    147 |  0.000 % |
554.24/554.63	c |    735097 |    1100    22000   110000 |    97039    91248    147 |  0.000 % |
554.94/555.35	c |    735970 |    1100    22000   110000 |    97039    92121    147 |  0.000 % |
555.74/556.12	c |    736928 |    1100    22000   110000 |    97039    93079    147 |  0.000 % |
556.64/557.02	c |    737982 |    1100    22000   110000 |    97039    94133    147 |  0.000 % |
557.54/557.98	c |    739141 |    1100    22000   110000 |    97039    95292    147 |  0.000 % |
558.64/559.07	c |    740415 |    1100    22000   110000 |    96151    86275    146 |  0.000 % |
559.74/560.12	c |    741817 |    1100    22000   110000 |    96151    87677    146 |  0.000 % |
560.84/561.22	c |    743359 |    1100    22000   110000 |    96151    89219    146 |  0.000 % |
562.04/562.48	c |    745054 |    1100    22000   110000 |    96151    90914    146 |  0.000 % |
563.64/564.04	c |    746917 |    1100    22000   110000 |    96151    92777    146 |  0.000 % |
565.24/565.61	c |    748967 |    1100    22000   110000 |    96151    94827    146 |  0.000 % |
566.93/567.33	c |    751220 |    1100    22000   110000 |    95860    87019    147 |  0.000 % |
568.83/569.24	c |    753699 |    1100    22000   110000 |    95860    89498    147 |  0.000 % |
570.83/571.28	c |    756427 |    1100    22000   110000 |    95860    92226    146 |  0.000 % |
573.13/573.54	c |    759428 |    1100    22000   110000 |    95860    95227    146 |  0.000 % |
575.63/576.06	c |    762727 |    1100    22000   110000 | 2147483647    98526    147 |  0.000 % |
578.63/579.03	c |    766352 |    1100    22000   110000 | 2147483647   102151    147 |  0.000 % |
581.92/582.34	c |    770339 |    1100    22000   110000 |   105799   106138    147 |  0.000 % |
585.42/585.85	c |    774724 |    1100    22000   110000 |   105799    99464    148 |  0.000 % |
589.52/589.97	c |    779547 |    1100    22000   110000 |   105799   104287    148 |  0.000 % |
594.12/594.55	c |    784852 |    1100    22000   110000 |   104741    96364    149 |  0.000 % |
598.92/599.30	c |    790687 |    1100    22000   110000 |   101513    88728    149 |  0.000 % |
603.72/604.19	c |    797105 |    1100    22000   110000 |   101513    95146    149 |  0.000 % |
609.52/609.94	c |    804164 |    1100    22000   110000 |    98041    91089    148 |  0.000 % |
609.62/610.03	c |    804264 |    1100    22000   110000 |    98041    91189    148 |  0.000 % |
609.72/610.13	c |    804375 |    1100    22000   110000 |    98041    91300    148 |  0.000 % |
609.82/610.23	c |    804497 |    1100    22000   110000 |    98041    91422    148 |  0.000 % |
609.92/610.35	c |    804635 |    1100    22000   110000 |    98041    91560    148 |  0.000 % |
610.02/610.49	c |    804781 |    1100    22000   110000 |    98041    91706    148 |  0.000 % |
610.22/610.62	c |    804942 |    1100    22000   110000 |    98041    91867    148 |  0.000 % |
610.32/610.78	c |    805119 |    1100    22000   110000 |    98041    92044    148 |  0.000 % |
610.52/610.93	c |    805312 |    1100    22000   110000 |    98041    92237    148 |  0.000 % |
610.72/611.12	c |    805525 |    1100    22000   110000 |    98041    92450    148 |  0.000 % |
610.92/611.36	c |    805759 |    1100    22000   110000 |    98041    92684    148 |  0.000 % |
611.12/611.57	c |    806015 |    1100    22000   110000 |    98041    92940    148 |  0.000 % |
611.42/611.83	c |    806300 |    1100    22000   110000 |    98041    93225    148 |  0.000 % |
611.62/612.08	c |    806609 |    1100    22000   110000 |    98041    93534    148 |  0.000 % |
611.92/612.36	c |    806948 |    1100    22000   110000 |    98041    93873    148 |  0.000 % |
612.21/612.69	c |    807321 |    1100    22000   110000 |    98041    94246    148 |  0.000 % |
612.61/613.02	c |    807732 |    1100    22000   110000 |    98041    94657    148 |  0.000 % |
612.91/613.38	c |    808181 |    1100    22000   110000 |    98041    95106    148 |  0.000 % |
613.31/613.80	c |    808675 |    1100    22000   110000 |    98041    95600    148 |  0.000 % |
613.81/614.22	c |    809217 |    1100    22000   110000 |    98041    96142    148 |  0.000 % |
614.21/614.66	c |    809814 |    1100    22000   110000 |    98041    96739    148 |  0.000 % |
614.81/615.24	c |    810469 |    1100    22000   110000 |    96925    86717    147 |  0.000 % |
615.41/615.81	c |    811191 |    1100    22000   110000 |    96925    87439    147 |  0.000 % |
615.90/616.38	c |    811984 |    1100    22000   110000 |    96925    88232    147 |  0.000 % |
616.50/616.99	c |    812855 |    1100    22000   110000 |    96925    89103    147 |  0.000 % |
617.20/617.69	c |    813813 |    1100    22000   110000 |    96925    90061    147 |  0.000 % |
618.00/618.43	c |    814867 |    1100    22000   110000 |    96925    91115    147 |  0.000 % |
618.91/619.31	c |    816026 |    1100    22000   110000 |    96925    92274    147 |  0.000 % |
619.90/620.35	c |    817302 |    1100    22000   110000 |    96925    93550    146 |  0.000 % |
621.11/621.52	c |    818702 |    1100    22000   110000 |    96925    94950    146 |  0.000 % |
622.21/622.69	c |    820242 |    1100    22000   110000 |    96248    96490    146 |  0.000 % |
623.50/623.95	c |    821936 |    1100    22000   110000 |    96248    88294    147 |  0.000 % |
624.80/625.28	c |    823801 |    1100    22000   110000 |    96248    90159    147 |  0.000 % |
626.30/626.73	c |    825851 |    1100    22000   110000 |    96248    92209    147 |  0.000 % |
628.00/628.45	c |    828104 |    1100    22000   110000 |    96248    94462    148 |  0.000 % |
629.91/630.31	c |    830582 |    1100    22000   110000 | 2147483647    96940    148 |  0.000 % |
632.10/632.58	c |    833308 |    1100    22000   110000 | 2147483647    99666    148 |  0.000 % |
634.50/634.98	c |    836305 |    1100    22000   110000 | 2147483647   102663    148 |  0.000 % |
637.30/637.79	c |    839601 |    1100    22000   110000 | 2147483647   105959    148 |  0.000 % |
640.20/640.61	c |    843226 |    1100    22000   110000 |   106358    95761    149 |  0.000 % |
643.21/643.67	c |    847213 |    1100    22000   110000 |   106358    99748    149 |  0.000 % |
646.70/647.14	c |    851599 |    1100    22000   110000 |   102535    91813    149 |  0.000 % |
650.50/650.92	c |    856422 |    1100    22000   110000 |   102535    96636    149 |  0.000 % |
654.80/655.29	c |    861732 |    1100    22000   110000 |   100216    89800    149 |  0.000 % |
659.60/660.01	c |    867569 |    1100    22000   110000 |   100216    95637    149 |  0.000 % |
664.49/664.92	c |    873987 |    1100    22000   110000 |    98068    91083    148 |  0.000 % |
669.89/670.34	c |    881047 |    1100    22000   110000 | 2147483647    98143    148 |  0.000 % |
676.09/676.60	c |    888812 |    1100    22000   110000 | 2147483647   105908    148 |  0.000 % |
676.19/676.68	c |    888912 |    1100    22000   110000 | 2147483647   106008    148 |  0.000 % |
676.29/676.79	c |    889022 |    1100    22000   110000 | 2147483647   106118    148 |  0.000 % |
676.49/676.93	c |    889143 |    1100    22000   110000 | 2147483647   106239    148 |  0.000 % |
676.59/677.06	c |    889277 |    1100    22000   110000 | 2147483647   106373    148 |  0.000 % |
676.79/677.20	c |    889424 |    1100    22000   110000 | 2147483647   106520    148 |  0.000 % |
676.89/677.36	c |    889586 |    1100    22000   110000 | 2147483647   106682    148 |  0.000 % |
677.09/677.56	c |    889763 |    1100    22000   110000 | 2147483647   106859    148 |  0.000 % |
677.29/677.76	c |    889957 |    1100    22000   110000 | 2147483647   107053    148 |  0.000 % |
677.49/677.97	c |    890169 |    1100    22000   110000 |   107098   107265    148 |  0.000 % |
677.78/678.26	c |    890403 |    1100    22000   110000 |   107098    92108    147 |  0.000 % |
677.98/678.46	c |    890659 |    1100    22000   110000 |   107098    92364    147 |  0.000 % |
678.29/678.71	c |    890940 |    1100    22000   110000 |   107098    92645    147 |  0.000 % |
678.48/678.94	c |    891250 |    1100    22000   110000 |   107098    92955    147 |  0.000 % |
678.78/679.21	c |    891590 |    1100    22000   110000 |   107098    93295    147 |  0.000 % |
679.08/679.55	c |    891962 |    1100    22000   110000 |   107098    93667    147 |  0.000 % |
679.49/679.91	c |    892372 |    1100    22000   110000 |   107098    94077    147 |  0.000 % |
679.88/680.31	c |    892823 |    1100    22000   110000 |   107098    94528    147 |  0.000 % |
680.28/680.71	c |    893318 |    1100    22000   110000 |   107098    95023    147 |  0.000 % |
680.68/681.11	c |    893862 |    1100    22000   110000 |   107098    95567    147 |  0.000 % |
681.08/681.56	c |    894459 |    1100    22000   110000 |   107098    96164    147 |  0.000 % |
681.59/682.10	c |    895116 |    1100    22000   110000 |   107098    96821    147 |  0.000 % |
682.18/682.65	c |    895836 |    1100    22000   110000 |   107098    97541    147 |  0.000 % |
682.79/683.27	c |    896628 |    1100    22000   110000 |   107098    98333    147 |  0.000 % |
683.48/683.94	c |    897500 |    1100    22000   110000 |   107098    99205    147 |  0.000 % |
684.28/684.72	c |    898459 |    1100    22000   110000 |   107098   100164    147 |  0.000 % |
685.08/685.58	c |    899512 |    1100    22000   110000 |   107098   101217    147 |  0.000 % |
686.18/686.61	c |    900671 |    1100    22000   110000 |   101707    89421    147 |  0.000 % |
687.08/687.53	c |    901944 |    1100    22000   110000 |   101707    90694    147 |  0.000 % |
688.18/688.61	c |    903345 |    1100    22000   110000 |   101707    92095    147 |  0.000 % |
689.28/689.78	c |    904885 |    1100    22000   110000 |   101707    93635    147 |  0.000 % |
690.58/691.01	c |    906580 |    1100    22000   110000 |   101707    95330    147 |  0.000 % |
692.08/692.50	c |    908443 |    1100    22000   110000 |   101707    97193    147 |  0.000 % |
693.68/694.11	c |    910493 |    1100    22000   110000 |    98751    89196    147 |  0.000 % |
695.28/695.75	c |    912746 |    1100    22000   110000 |    98751    91449    147 |  0.000 % |
697.08/697.58	c |    915224 |    1100    22000   110000 |    98751    93927    147 |  0.000 % |
699.18/699.67	c |    917950 |    1100    22000   110000 |    98751    96653    147 |  0.000 % |
701.48/701.95	c |    920948 |    1100    22000   110000 | 2147483647    99651    147 |  0.000 % |
703.97/704.46	c |    924245 |    1100    22000   110000 | 2147483647   102948    147 |  0.000 % |
706.77/707.25	c |    927870 |    1100    22000   110000 | 2147483647   106573    147 |  0.000 % |
710.27/710.73	c |    931857 |    1100    22000   110000 |   108706    97362    146 |  0.000 % |
713.86/714.30	c |    936243 |    1100    22000   110000 |   108706   101748    146 |  0.000 % |
717.97/718.42	c |    941067 |    1100    22000   110000 |   105505    93151    146 |  0.000 % |
722.06/722.51	c |    946373 |    1100    22000   110000 |   105505    98457    146 |  0.000 % |
726.76/727.28	c |    952208 |    1100    22000   110000 |   102085    89983    146 |  0.000 % |
731.66/732.11	c |    958627 |    1100    22000   110000 |   102085    96402    146 |  0.000 % |
737.36/737.84	c |    965687 |    1100    22000   110000 |    97776    92549    146 |  0.000 % |
743.95/744.41	c |    973453 |    1100    22000   110000 |    96862    90056    148 |  0.000 % |
750.85/751.31	c |    981994 |    1100    22000   110000 |    96603    88386    149 |  0.000 % |
750.85/751.40	c |    982094 |    1100    22000   110000 |    96603    88486    149 |  0.000 % |
751.05/751.52	c |    982207 |    1100    22000   110000 |    96603    88599    149 |  0.000 % |
751.15/751.63	c |    982330 |    1100    22000   110000 |    96603    88722    149 |  0.000 % |
751.25/751.72	c |    982465 |    1100    22000   110000 |    96603    88857    148 |  0.000 % |
751.34/751.84	c |    982612 |    1100    22000   110000 |    96603    89004    148 |  0.000 % |
751.44/751.98	c |    982773 |    1100    22000   110000 |    96603    89165    148 |  0.000 % |
751.64/752.12	c |    982951 |    1100    22000   110000 |    96603    89343    148 |  0.000 % |
751.74/752.28	c |    983144 |    1100    22000   110000 |    96603    89536    148 |  0.000 % |
751.95/752.44	c |    983358 |    1100    22000   110000 |    96603    89750    148 |  0.000 % |
752.14/752.62	c |    983592 |    1100    22000   110000 |    96603    89984    148 |  0.000 % |
752.34/752.88	c |    983849 |    1100    22000   110000 |    96603    90241    148 |  0.000 % |
752.64/753.11	c |    984130 |    1100    22000   110000 |    96603    90522    148 |  0.000 % |
752.84/753.37	c |    984440 |    1100    22000   110000 |    96603    90832    148 |  0.000 % |
753.15/753.65	c |    984779 |    1100    22000   110000 |    96603    91171    148 |  0.000 % |
753.44/753.94	c |    985151 |    1100    22000   110000 |    96603    91543    148 |  0.000 % |
753.74/754.29	c |    985561 |    1100    22000   110000 |    96603    91953    148 |  0.000 % |
754.15/754.68	c |    986010 |    1100    22000   110000 |    96603    92402    148 |  0.000 % |
754.64/755.12	c |    986504 |    1100    22000   110000 |    96603    92896    148 |  0.000 % |
755.04/755.58	c |    987046 |    1100    22000   110000 |    96603    93438    148 |  0.000 % |
755.54/756.08	c |    987642 |    1100    22000   110000 |    96603    94034    148 |  0.000 % |
756.14/756.60	c |    988297 |    1100    22000   110000 |    96603    94689    148 |  0.000 % |
756.74/757.22	c |    989017 |    1100    22000   110000 |    96603    95409    148 |  0.000 % |
757.34/757.89	c |    989809 |    1100    22000   110000 |    96603    96201    148 |  0.000 % |
758.14/758.66	c |    990681 |    1100    22000   110000 |    96394    85882    148 |  0.000 % |
758.84/759.38	c |    991640 |    1100    22000   110000 |    96394    86841    148 |  0.000 % |
759.65/760.14	c |    992696 |    1100    22000   110000 |    96394    87897    148 |  0.000 % |
760.44/760.98	c |    993854 |    1100    22000   110000 |    96394    89055    148 |  0.000 % |
761.44/761.90	c |    995128 |    1100    22000   110000 |    96394    90329    148 |  0.000 % |
762.44/762.98	c |    996529 |    1100    22000   110000 |    96394    91730    148 |  0.000 % |
763.74/764.23	c |    998070 |    1100    22000   110000 |    96394    93271    148 |  0.000 % |
765.04/765.58	c |    999764 |    1100    22000   110000 |    96394    94965    148 |  0.000 % |
766.44/766.95	c |   1001629 |    1100    22000   110000 | 2147483647    96830    148 |  0.000 % |
767.94/768.48	c |   1003678 |    1100    22000   110000 | 2147483647    98879    148 |  0.000 % |
769.74/770.21	c |   1005934 |    1100    22000   110000 | 2147483647   101135    148 |  0.000 % |
771.64/772.13	c |   1008413 |    1100    22000   110000 | 2147483647   103614    148 |  0.000 % |
774.04/774.52	c |   1011139 |    1100    22000   110000 |   105202    95034    148 |  0.000 % |
776.24/776.77	c |   1014136 |    1100    22000   110000 |   105202    98031    148 |  0.000 % |
778.84/779.38	c |   1017432 |    1100    22000   110000 |   105202   101327    148 |  0.000 % |
782.04/782.51	c |   1021058 |    1100    22000   110000 |   103896    92821    148 |  0.000 % |
785.04/785.58	c |   1025045 |    1100    22000   110000 |   103896    96808    148 |  0.000 % |
788.73/789.29	c |   1029431 |    1100    22000   110000 |   103896   101194    148 |  0.000 % |
792.63/793.15	c |   1034255 |    1100    22000   110000 |   101765    93292    148 |  0.000 % |
796.92/797.47	c |   1039560 |    1100    22000   110000 |   101765    98597    149 |  0.000 % |
801.53/802.07	c |   1045395 |    1100    22000   110000 |    99037    92650    148 |  0.000 % |
806.52/807.05	c |   1051813 |    1100    22000   110000 |    97258    87295    148 |  0.000 % |
811.92/812.45	c |   1058872 |    1100    22000   110000 |    97258    94354    149 |  0.000 % |
818.12/818.68	c |   1066637 |    1100    22000   110000 |    95483    92234    149 |  0.000 % |
825.01/825.55	c |   1075179 |    1100    22000   110000 | 2147483647   100776    150 |  0.000 % |
833.22/833.74	c |   1084574 |    1100    22000   110000 |   105606    97102    152 |  0.000 % |
833.32/833.85	c |   1084677 |    1100    22000   110000 |   105606    97205    152 |  0.000 % |
833.42/833.95	c |   1084787 |    1100    22000   110000 |   105606    97315    152 |  0.000 % |
833.52/834.06	c |   1084908 |    1100    22000   110000 |   105606    97436    152 |  0.000 % |
833.62/834.19	c |   1085041 |    1100    22000   110000 |   105606    97569    152 |  0.000 % |
833.82/834.34	c |   1085187 |    1100    22000   110000 |   105606    97715    152 |  0.000 % |
833.92/834.50	c |   1085348 |    1100    22000   110000 |   105606    97876    152 |  0.000 % |
834.12/834.65	c |   1085525 |    1100    22000   110000 |   105606    98053    152 |  0.000 % |
834.32/834.84	c |   1085719 |    1100    22000   110000 |   105606    98247    152 |  0.000 % |
834.52/835.02	c |   1085931 |    1100    22000   110000 |   105606    98459    152 |  0.000 % |
834.72/835.22	c |   1086167 |    1100    22000   110000 |   105606    98695    152 |  0.000 % |
834.92/835.44	c |   1086424 |    1100    22000   110000 |   105606    98952    152 |  0.000 % |
835.22/835.71	c |   1086706 |    1100    22000   110000 |   105606    99234    152 |  0.000 % |
835.42/835.99	c |   1087016 |    1100    22000   110000 |   105606    99544    152 |  0.000 % |
835.82/836.32	c |   1087356 |    1100    22000   110000 |   105606    99884    152 |  0.000 % |
836.12/836.66	c |   1087729 |    1100    22000   110000 |   105606   100257    151 |  0.000 % |
836.52/837.02	c |   1088138 |    1100    22000   110000 |   105606   100666    151 |  0.000 % |
836.92/837.45	c |   1088587 |    1100    22000   110000 |   105606   101115    151 |  0.000 % |
837.31/837.89	c |   1089080 |    1100    22000   110000 |   105606   101608    151 |  0.000 % |
837.91/838.40	c |   1089622 |    1100    22000   110000 |   105606   102150    151 |  0.000 % |
838.41/838.95	c |   1090220 |    1100    22000   110000 |   102528   102748    151 |  0.000 % |
839.01/839.55	c |   1090876 |    1100    22000   110000 |   102528    89819    152 |  0.000 % |
839.61/840.11	c |   1091596 |    1100    22000   110000 |   102528    90539    152 |  0.000 % |
840.31/840.81	c |   1092388 |    1100    22000   110000 |   102528    91331    152 |  0.000 % |
840.91/841.44	c |   1093259 |    1100    22000   110000 |   102528    92202    152 |  0.000 % |
841.61/842.17	c |   1094218 |    1100    22000   110000 |   102528    93161    152 |  0.000 % |
842.41/842.93	c |   1095271 |    1100    22000   110000 |   102528    94214    151 |  0.000 % |
843.31/843.82	c |   1096429 |    1100    22000   110000 |   102528    95372    151 |  0.000 % |
844.31/844.80	c |   1097702 |    1100    22000   110000 |   102528    96645    151 |  0.000 % |
845.31/845.86	c |   1099102 |    1100    22000   110000 |   102528    98045    151 |  0.000 % |
846.71/847.23	c |   1100642 |    1100    22000   110000 |    98944    88589    152 |  0.000 % |
847.91/848.42	c |   1102337 |    1100    22000   110000 |    98944    90284    151 |  0.000 % |
849.21/849.77	c |   1104201 |    1100    22000   110000 |    98944    92148    151 |  0.000 % |
850.81/851.38	c |   1106250 |    1100    22000   110000 |    98944    94197    151 |  0.000 % |
852.51/853.09	c |   1108504 |    1100    22000   110000 |    98944    96451    151 |  0.000 % |
854.70/855.27	c |   1110982 |    1100    22000   110000 |    97947    88541    152 |  0.000 % |
856.90/857.42	c |   1113707 |    1100    22000   110000 |    97947    91266    152 |  0.000 % |
858.90/859.47	c |   1116705 |    1100    22000   110000 |    97947    94264    152 |  0.000 % |
861.40/861.96	c |   1120003 |    1100    22000   110000 | 2147483647    97562    152 |  0.000 % |
864.30/864.82	c |   1123628 |    1100    22000   110000 | 2147483647   101187    152 |  0.000 % |
867.51/868.02	c |   1127615 |    1100    22000   110000 | 2147483647   105174    152 |  0.000 % |
871.20/871.73	c |   1132002 |    1100    22000   110000 |   107559    96021    151 |  0.000 % |
875.11/875.66	c |   1136825 |    1100    22000   110000 |   107559   100844    151 |  0.000 % |
879.40/879.95	c |   1142133 |    1100    22000   110000 |   104020    93019    151 |  0.000 % |
883.90/884.48	c |   1147971 |    1100    22000   110000 |   104020    98857    151 |  0.000 % |
889.09/889.64	c |   1154390 |    1100    22000   110000 |   100886    94106    150 |  0.000 % |
895.29/895.83	c |   1161450 |    1100    22000   110000 |    99718    90421    149 |  0.000 % |
901.59/902.19	c |   1169216 |    1100    22000   110000 |    99718    98187    150 |  0.000 % |
908.79/909.32	c |   1177756 |    1100    22000   110000 |    98972    95893    149 |  0.000 % |
916.68/917.22	c |   1187153 |    1100    22000   110000 |    98140    94662    150 |  0.000 % |
925.28/925.90	c |   1197487 |    1100    22000   110000 |    97509    93735    152 |  0.000 % |
925.38/925.99	c |   1197587 |    1100    22000   110000 |    97509    93835    152 |  0.000 % |
925.58/926.11	c |   1197697 |    1100    22000   110000 |    97509    93945    152 |  0.000 % |
925.68/926.21	c |   1197819 |    1100    22000   110000 |    97509    94067    152 |  0.000 % |
925.78/926.34	c |   1197954 |    1100    22000   110000 |    97509    94202    152 |  0.000 % |
925.88/926.47	c |   1198101 |    1100    22000   110000 |    97509    94349    152 |  0.000 % |
926.08/926.61	c |   1198261 |    1100    22000   110000 |    97509    94509    152 |  0.000 % |
926.18/926.75	c |   1198437 |    1100    22000   110000 |    97509    94685    152 |  0.000 % |
926.38/926.92	c |   1198630 |    1100    22000   110000 |    97509    94878    152 |  0.000 % |
926.58/927.10	c |   1198843 |    1100    22000   110000 |    97509    95091    151 |  0.000 % |
926.78/927.31	c |   1199076 |    1100    22000   110000 |    97509    95324    151 |  0.000 % |
926.98/927.56	c |   1199333 |    1100    22000   110000 |    97509    95581    151 |  0.000 % |
927.28/927.82	c |   1199617 |    1100    22000   110000 |    97509    95865    151 |  0.000 % |
927.58/928.10	c |   1199926 |    1100    22000   110000 |    97509    96174    151 |  0.000 % |
927.78/928.39	c |   1200266 |    1100    22000   110000 |    96248    96514    151 |  0.000 % |
928.17/928.75	c |   1200639 |    1100    22000   110000 |    96248    85531    151 |  0.000 % |
928.47/929.05	c |   1201050 |    1100    22000   110000 |    96248    85942    151 |  0.000 % |
928.87/929.41	c |   1201499 |    1100    22000   110000 |    96248    86391    151 |  0.000 % |
929.17/929.79	c |   1201992 |    1100    22000   110000 |    96248    86884    151 |  0.000 % |
929.57/930.16	c |   1202534 |    1100    22000   110000 |    96248    87426    151 |  0.000 % |
930.08/930.65	c |   1203132 |    1100    22000   110000 |    96248    88024    151 |  0.000 % |
930.57/931.18	c |   1203788 |    1100    22000   110000 |    96248    88680    151 |  0.000 % |
931.18/931.75	c |   1204508 |    1100    22000   110000 |    96248    89400    150 |  0.000 % |
931.77/932.37	c |   1205301 |    1100    22000   110000 |    96248    90193    150 |  0.000 % |
932.47/933.01	c |   1206173 |    1100    22000   110000 |    96248    91065    150 |  0.000 % |
933.17/933.74	c |   1207132 |    1100    22000   110000 |    96248    92024    150 |  0.000 % |
933.87/934.47	c |   1208185 |    1100    22000   110000 |    96248    93077    150 |  0.000 % |
934.77/935.32	c |   1209344 |    1100    22000   110000 |    96248    94236    150 |  0.000 % |
935.87/936.40	c |   1210617 |    1100    22000   110000 | 2147483647    95509    150 |  0.000 % |
936.87/937.46	c |   1212018 |    1100    22000   110000 | 2147483647    96910    150 |  0.000 % |
938.17/938.78	c |   1213558 |    1100    22000   110000 | 2147483647    98450    150 |  0.000 % |
939.67/940.21	c |   1215252 |    1100    22000   110000 | 2147483647   100144    150 |  0.000 % |
941.37/941.90	c |   1217115 |    1100    22000   110000 | 2147483647   102007    150 |  0.000 % |
943.07/943.65	c |   1219164 |    1100    22000   110000 | 2147483647   104056    150 |  0.000 % |
944.97/945.56	c |   1221422 |    1100    22000   110000 |   104896    93268    150 |  0.000 % |
946.86/947.48	c |   1223901 |    1100    22000   110000 |   104896    95747    149 |  0.000 % |
948.96/949.57	c |   1226626 |    1100    22000   110000 |   104896    98472    149 |  0.000 % |
951.56/952.15	c |   1229623 |    1100    22000   110000 |   104896   101469    149 |  0.000 % |
954.37/954.96	c |   1232919 |    1100    22000   110000 |   101846    92750    149 |  0.000 % |
957.06/957.69	c |   1236545 |    1100    22000   110000 |   101846    96376    149 |  0.000 % |
960.16/960.77	c |   1240532 |    1100    22000   110000 |    99832    89431    149 |  0.000 % |
963.36/963.95	c |   1244917 |    1100    22000   110000 |    99832    93816    149 |  0.000 % |
967.26/967.88	c |   1249740 |    1100    22000   110000 |    99832    98639    149 |  0.000 % |
971.66/972.27	c |   1255045 |    1100    22000   110000 |    98900    92608    149 |  0.000 % |
976.35/976.92	c |   1260880 |    1100    22000   110000 |    97563    87311    149 |  0.000 % |
981.35/981.93	c |   1267298 |    1100    22000   110000 |    97563    93729    149 |  0.000 % |
986.94/987.52	c |   1274357 |    1100    22000   110000 |    96434    90233    149 |  0.000 % |
993.14/993.70	c |   1282121 |    1100    22000   110000 |    95877    87758    149 |  0.000 % |
1000.24/1000.82	c |   1290661 |    1100    22000   110000 |    95637    85575    151 |  0.000 % |
1008.04/1008.64	c |   1300055 |    1100    22000   110000 |    94914    94969    151 |  0.000 % |
1015.54/1016.18	c |   1310388 |    1100    22000   110000 |    95239    95627    152 |  0.000 % |
1024.63/1025.24	c |   1321755 |    1100    22000   110000 |    94914    86671    155 |  0.000 % |
1024.73/1025.32	c |   1321855 |    1100    22000   110000 |    94914    86771    155 |  0.000 % |
1024.83/1025.40	c |   1321966 |    1100    22000   110000 |    94914    86882    155 |  0.000 % |
1024.93/1025.51	c |   1322087 |    1100    22000   110000 |    94914    87003    155 |  0.000 % |
1025.03/1025.64	c |   1322221 |    1100    22000   110000 |    94914    87137    155 |  0.000 % |
1025.13/1025.76	c |   1322367 |    1100    22000   110000 |    94914    87283    155 |  0.000 % |
1025.23/1025.89	c |   1322527 |    1100    22000   110000 |    94914    87443    155 |  0.000 % |
1025.43/1026.06	c |   1322703 |    1100    22000   110000 |    94914    87619    155 |  0.000 % |
1025.63/1026.22	c |   1322897 |    1100    22000   110000 |    94914    87813    155 |  0.000 % |
1025.84/1026.40	c |   1323109 |    1100    22000   110000 |    94914    88025    155 |  0.000 % |
1025.93/1026.57	c |   1323342 |    1100    22000   110000 |    94914    88258    155 |  0.000 % |
1026.13/1026.77	c |   1323600 |    1100    22000   110000 |    94914    88516    155 |  0.000 % |
1026.33/1026.99	c |   1323881 |    1100    22000   110000 |    94914    88797    155 |  0.000 % |
1026.63/1027.24	c |   1324191 |    1100    22000   110000 |    94914    89107    155 |  0.000 % |
1026.94/1027.52	c |   1324531 |    1100    22000   110000 |    94914    89447    155 |  0.000 % |
1027.23/1027.86	c |   1324906 |    1100    22000   110000 |    94914    89822    155 |  0.000 % |
1027.53/1028.19	c |   1325315 |    1100    22000   110000 |    94914    90231    155 |  0.000 % |
1027.94/1028.55	c |   1325764 |    1100    22000   110000 |    94914    90680    155 |  0.000 % |
1028.33/1028.94	c |   1326260 |    1100    22000   110000 |    94914    91176    154 |  0.000 % |
1028.73/1029.37	c |   1326803 |    1100    22000   110000 |    94914    91719    154 |  0.000 % |
1029.23/1029.84	c |   1327399 |    1100    22000   110000 |    94914    92315    154 |  0.000 % |
1029.73/1030.38	c |   1328054 |    1100    22000   110000 |    94914    92970    154 |  0.000 % |
1030.33/1030.99	c |   1328775 |    1100    22000   110000 |    94914    93691    154 |  0.000 % |
1031.03/1031.70	c |   1329569 |    1100    22000   110000 |    94914    94485    154 |  0.000 % |
1031.83/1032.46	c |   1330440 |    1100    22000   110000 |    94916    84914    154 |  0.000 % |
1032.53/1033.14	c |   1331398 |    1100    22000   110000 |    94916    85872    154 |  0.000 % |
1033.23/1033.87	c |   1332451 |    1100    22000   110000 |    94916    86925    154 |  0.000 % |
1034.13/1034.72	c |   1333610 |    1100    22000   110000 |    94916    88084    154 |  0.000 % |
1035.03/1035.65	c |   1334883 |    1100    22000   110000 |    94916    89357    154 |  0.000 % |
1036.03/1036.67	c |   1336283 |    1100    22000   110000 |    94916    90757    154 |  0.000 % |
1037.13/1037.75	c |   1337823 |    1100    22000   110000 |    94916    92297    154 |  0.000 % |
1038.43/1039.02	c |   1339518 |    1100    22000   110000 |    94916    93992    154 |  0.000 % |
1040.03/1040.66	c |   1341382 |    1100    22000   110000 | 2147483647    95856    153 |  0.000 % |
1041.63/1042.29	c |   1343431 |    1100    22000   110000 | 2147483647    97905    153 |  0.000 % |
1043.63/1044.20	c |   1345684 |    1100    22000   110000 | 2147483647   100158    153 |  0.000 % |
1045.43/1046.07	c |   1348164 |    1100    22000   110000 | 2147483647   102638    153 |  0.000 % |
1047.62/1048.30	c |   1350889 |    1100    22000   110000 |   104476    91885    152 |  0.000 % |
1050.03/1050.60	c |   1353889 |    1100    22000   110000 |   104476    94885    152 |  0.000 % |
1052.62/1053.22	c |   1357186 |    1100    22000   110000 |   104476    98182    152 |  0.000 % |
1055.43/1056.10	c |   1360813 |    1100    22000   110000 |   100997    89552    152 |  0.000 % |
1058.42/1059.07	c |   1364800 |    1100    22000   110000 |   100997    93539    152 |  0.000 % |
1062.12/1062.74	c |   1369186 |    1100    22000   110000 |   100997    97925    153 |  0.000 % |
1066.31/1066.91	c |   1374010 |    1100    22000   110000 | 2147483647   102749    153 |  0.000 % |
1070.71/1071.33	c |   1379315 |    1100    22000   110000 | 2147483647   108054    153 |  0.000 % |
1075.41/1076.01	c |   1385150 |    1100    22000   110000 |   108739    99744    153 |  0.000 % |
1080.81/1081.42	c |   1391568 |    1100    22000   110000 |   104594    92790    152 |  0.000 % |
1086.40/1087.00	c |   1398627 |    1100    22000   110000 |   104594    99849    152 |  0.000 % |
1092.81/1093.45	c |   1406391 |    1100    22000   110000 |   101222    95272    152 |  0.000 % |
1099.70/1100.31	c |   1414931 |    1100    22000   110000 |    98882    92213    151 |  0.000 % |
1107.29/1107.98	c |   1424325 |    1100    22000   110000 |    97285    90713    152 |  0.000 % |
1116.09/1116.73	c |   1434660 |    1100    22000   110000 | 2147483647   101048    152 |  0.000 % |
1126.09/1126.78	c |   1446026 |    1100    22000   110000 |   106388    98128    152 |  0.000 % |
1136.08/1136.71	c |   1458528 |    1100    22000   110000 |   102105    96454    153 |  0.000 % |
1136.18/1136.80	c |   1458628 |    1100    22000   110000 |   102105    96554    153 |  0.000 % |
1136.18/1136.89	c |   1458738 |    1100    22000   110000 |   102105    96664    153 |  0.000 % |
1136.38/1137.00	c |   1458859 |    1100    22000   110000 |   102105    96785    153 |  0.000 % |
1136.48/1137.11	c |   1458993 |    1100    22000   110000 |   102105    96919    153 |  0.000 % |
1136.58/1137.25	c |   1459140 |    1100    22000   110000 |   102105    97066    153 |  0.000 % |
1136.68/1137.40	c |   1459300 |    1100    22000   110000 |   102105    97226    153 |  0.000 % |
1136.89/1137.56	c |   1459476 |    1100    22000   110000 |   102105    97402    153 |  0.000 % |
1137.08/1137.73	c |   1459669 |    1100    22000   110000 |   102105    97595    153 |  0.000 % |
1137.18/1137.90	c |   1459881 |    1100    22000   110000 |   102105    97807    153 |  0.000 % |
1137.38/1138.09	c |   1460114 |    1100    22000   110000 |    97926    98040    153 |  0.000 % |
1137.68/1138.36	c |   1460370 |    1100    22000   110000 |    97926    85080    152 |  0.000 % |
1137.89/1138.57	c |   1460651 |    1100    22000   110000 |    97926    85361    152 |  0.000 % |
1138.18/1138.80	c |   1460961 |    1100    22000   110000 |    97926    85671    151 |  0.000 % |
1138.38/1139.05	c |   1461300 |    1100    22000   110000 |    97926    86010    151 |  0.000 % |
1138.68/1139.33	c |   1461672 |    1100    22000   110000 |    97926    86382    151 |  0.000 % |
1138.99/1139.67	c |   1462081 |    1100    22000   110000 |    97926    86791    151 |  0.000 % |
1139.38/1140.08	c |   1462530 |    1100    22000   110000 |    97926    87240    151 |  0.000 % |
1139.78/1140.49	c |   1463023 |    1100    22000   110000 |    97926    87733    151 |  0.000 % |
1140.28/1140.96	c |   1463565 |    1100    22000   110000 |    97926    88275    151 |  0.000 % |
1140.88/1141.50	c |   1464161 |    1100    22000   110000 |    97926    88871    151 |  0.000 % |
1141.38/1142.04	c |   1464817 |    1100    22000   110000 |    97926    89527    151 |  0.000 % |
1141.88/1142.58	c |   1465537 |    1100    22000   110000 |    97926    90247    151 |  0.000 % |
1142.58/1143.24	c |   1466330 |    1100    22000   110000 |    97926    91040    151 |  0.000 % |
1143.28/1143.91	c |   1467203 |    1100    22000   110000 |    97926    91913    151 |  0.000 % |
1143.98/1144.65	c |   1468162 |    1100    22000   110000 |    97926    92872    150 |  0.000 % |
1144.78/1145.45	c |   1469217 |    1100    22000   110000 |    97926    93927    150 |  0.000 % |
1145.78/1146.45	c |   1470378 |    1100    22000   110000 |    94712    85037    150 |  0.000 % |
1146.78/1147.46	c |   1471651 |    1100    22000   110000 |    94712    86310    150 |  0.000 % |
1147.78/1148.49	c |   1473052 |    1100    22000   110000 |    94712    87711    150 |  0.000 % |
1149.08/1149.72	c |   1474592 |    1100    22000   110000 |    94712    89251    150 |  0.000 % |
1150.48/1151.14	c |   1476287 |    1100    22000   110000 |    94712    90946    150 |  0.000 % |
1151.88/1152.53	c |   1478151 |    1100    22000   110000 |    94712    92810    150 |  0.000 % |
1153.37/1154.09	c |   1480201 |    1100    22000   110000 | 2147483647    94860    150 |  0.000 % |
1155.17/1155.85	c |   1482455 |    1100    22000   110000 | 2147483647    97114    150 |  0.000 % |
1157.17/1157.86	c |   1484933 |    1100    22000   110000 | 2147483647    99592    149 |  0.000 % |
1159.47/1160.12	c |   1487658 |    1100    22000   110000 | 2147483647   102317    149 |  0.000 % |
1161.96/1162.61	c |   1490656 |    1100    22000   110000 |   104661    92842    149 |  0.000 % |
1164.46/1165.14	c |   1493953 |    1100    22000   110000 |   104661    96139    149 |  0.000 % |
1167.46/1168.10	c |   1497579 |    1100    22000   110000 |   104661    99765    150 |  0.000 % |
1170.76/1171.43	c |   1501567 |    1100    22000   110000 |   102190    91465    149 |  0.000 % |
1174.06/1174.78	c |   1505955 |    1100    22000   110000 |   102190    95853    150 |  0.000 % |
1177.86/1178.57	c |   1510778 |    1100    22000   110000 |    99898    89255    149 |  0.000 % |
1182.06/1182.70	c |   1516085 |    1100    22000   110000 |    99898    94562    150 |  0.000 % |
1186.86/1187.50	c |   1521920 |    1100    22000   110000 |    98477    89247    148 |  0.000 % |
1191.66/1192.31	c |   1528338 |    1100    22000   110000 |    98477    95665    149 |  0.000 % |
1197.06/1197.75	c |   1535397 |    1100    22000   110000 |    97327    91713    149 |  0.000 % |

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832497-1242773944/watcher-1832497-1242773944 -o /tmp/evaluation-result-1832497-1242773944/solver-1832497-1242773944 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832497-1242773944.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7626
/proc/meminfo: memFree=1678896/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305420426 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 233402237010 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/7626/statm: 1339 235 195 169 0 50 0
[pid=7627] ppid=7626 vsize=5356 CPUtime=0
/proc/7627/stat : 7627 (SatELiteGTI) R 7626 7626 7396 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 305420426 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/7627/statm: 1339 238 198 169 0 50 0
[pid=7629] ppid=7627 vsize=0 CPUtime=0
/proc/7629/stat : 7629 (sed) Z 7627 7626 7396 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 305420427 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/7629/statm: 0 0 0 0 0 0 0

[startup+0.10608 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7626
/proc/meminfo: memFree=1678896/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.201085 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7626
/proc/meminfo: memFree=1678896/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301094 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7626
/proc/meminfo: memFree=1678896/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701134 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7626
/proc/meminfo: memFree=1678896/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50121 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7632
/proc/meminfo: memFree=1672096/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=7320 CPUtime=1.41
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 1594 0 0 0 140 1 0 0 25 0 1 0 305420433 7495680 1580 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 1830 1580 77 171 0 1657 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12676

[startup+3.10137 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7632
/proc/meminfo: memFree=1669856/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=11764 CPUtime=3.01
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 2715 0 0 0 299 2 0 0 25 0 1 0 305420433 12046336 2701 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 2941 2701 77 171 0 2768 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 17120

[startup+6.30169 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7632
/proc/meminfo: memFree=1661856/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=18616 CPUtime=6.2
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 4412 0 0 0 618 2 0 0 25 0 1 0 305420433 19062784 4398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 4654 4398 77 171 0 4481 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 23972

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7632
/proc/meminfo: memFree=1651424/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=28332 CPUtime=12.59
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 6843 0 0 0 1254 5 0 0 25 0 1 0 305420433 29011968 6829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 7083 6829 77 171 0 6910 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 33688

[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7632
/proc/meminfo: memFree=1636704/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=42444 CPUtime=25.38
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 10370 0 0 0 2529 9 0 0 25 0 1 0 305420433 43462656 10356 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 10611 10356 77 171 0 10438 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 47800

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7632
/proc/meminfo: memFree=1620320/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=58728 CPUtime=50.95
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 14407 0 0 0 5082 13 0 0 25 0 1 0 305420433 60137472 14393 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 14682 14393 77 171 0 14509 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 64084

[startup+102.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7632
/proc/meminfo: memFree=1613600/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=65196 CPUtime=102.13
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 16039 0 0 0 10198 15 0 0 25 0 1 0 305420433 66760704 16025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 16299 16025 77 171 0 16126 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 70552

[startup+162.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1612248/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=66384 CPUtime=162.09
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 16325 0 0 0 16193 16 0 0 25 0 1 0 305420433 67977216 16311 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 16596 16311 77 171 0 16423 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 71740

[startup+222.305 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1610264/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=68232 CPUtime=222.05
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 16810 0 0 0 22189 16 0 0 25 0 1 0 305420433 69869568 16796 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 17058 16796 77 171 0 16885 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 73588

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1607960/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=70344 CPUtime=282.03
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 17346 0 0 0 28186 17 0 0 25 0 1 0 305420433 72032256 17332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 17586 17332 77 171 0 17413 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 75700

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1607832/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=70344 CPUtime=341.99
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 17346 0 0 0 34182 17 0 0 25 0 1 0 305420433 72032256 17332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 17586 17332 77 171 0 17413 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 75700

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1606744/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=71532 CPUtime=401.96

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

/proc/7632/statm: 17883 17607 77 171 0 17710 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 76888

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1606368/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=71532 CPUtime=581.87
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 17621 0 0 0 58169 18 0 0 25 0 1 0 305420433 73248768 17607 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 17883 17607 77 171 0 17710 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 76888

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1605984/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=71796 CPUtime=641.85
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 17709 0 0 0 64167 18 0 0 25 0 1 0 305420433 73519104 17695 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 17949 17695 77 171 0 17776 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 77152

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1605472/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=72192 CPUtime=701.83
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 17791 0 0 0 70164 19 0 0 25 0 1 0 305420433 73924608 17777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 18048 17777 77 171 0 17875 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 77548

[startup+762.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1604768/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=72852 CPUtime=761.8
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 17942 0 0 0 76161 19 0 0 25 0 1 0 305420433 74600448 17928 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 18213 17928 77 171 0 18040 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 78208

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1605024/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=72304 CPUtime=821.77
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 17942 0 0 0 82158 19 0 0 25 0 1 0 305420433 74039296 17823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 18076 17823 77 171 0 17903 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 77660

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1602848/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=74680 CPUtime=881.75
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 18510 0 0 0 88154 21 0 0 25 0 1 0 305420433 76472320 18391 1992294400 134512640 135215339 4294956240 18446744073709551615 134538115 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 18670 18391 77 171 0 18497 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 80036

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1602720/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=74680 CPUtime=941.72
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 18510 0 0 0 94151 21 0 0 25 0 1 0 305420433 76472320 18391 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 18670 18391 77 171 0 18497 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 80036

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1602592/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=74508 CPUtime=1001.69
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 18510 0 0 0 100148 21 0 0 25 0 1 0 305420433 76296192 18374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 18627 18374 77 171 0 18454 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 79864

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1602528/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=74508 CPUtime=1061.67
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 18510 0 0 0 106145 22 0 0 25 0 1 0 305420433 76296192 18374 1992294400 134512640 135215339 4294956240 18446744073709551615 134538113 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 18627 18374 77 171 0 18454 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 79864

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1600672/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=76488 CPUtime=1121.64
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 18985 0 0 0 112142 22 0 0 25 0 1 0 305420433 78323712 18849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 19122 18849 77 171 0 18949 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 81844

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1600480/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=76472 CPUtime=1181.61
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 18985 0 0 0 118139 22 0 0 25 0 1 0 305420433 78307328 18849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 19118 18849 77 171 0 18945 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 81828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7638
/proc/meminfo: memFree=1600416/2055920 swapFree=4179760/4192956
[pid=7626] ppid=7624 vsize=5356 CPUtime=0.05
/proc/7626/stat : 7626 (SatELiteGTI) S 7624 7626 7396 0 -1 4194304 336 822 0 0 0 0 5 0 16 0 1 0 305420426 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7626/statm: 1339 239 197 169 0 50 0
[pid=7632] ppid=7626 vsize=76472 CPUtime=1200.01
/proc/7632/stat : 7632 (minisat_static) R 7626 7626 7396 0 -1 4194304 18985 0 0 0 119978 23 0 0 25 0 1 0 305420433 78307328 18849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/7632/statm: 19118 18849 77 171 0 18945 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 81828

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.71
CPU time (s): 1200.06
CPU user time (s): 1199.83
CPU system time (s): 0.23
CPU usage (%): 99.9456
Max. virtual memory (cumulated for all children) (KiB): 81844

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

runsolver used 1.06284 second user time and 3.45847 second system time

The end

Launcher Data

Begin job on node70 at 2009-05-20 00:59:04
IDJOB=1832497
IDBENCH=70212
IDSOLVER=671
FILE ID=node70/1832497-1242773944
PBS_JOBID= 9322232
Free space on /tmp= 66184 MiB

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

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

MD5SUM BENCH= 28359db36bffb53d70af426463d1fc34
RANDOM SEED=1184020153

node70.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.213
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.213
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:       1679376 kB
Buffers:         14528 kB
Cached:         321280 kB
SwapCached:       7388 kB
Active:          68916 kB
Inactive:       275684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1679376 kB
SwapTotal:     4192956 kB
SwapFree:      4179760 kB
Dirty:            2112 kB
Writeback:           0 kB
Mapped:          13992 kB
Slab:            18028 kB
Committed_AS:   962584 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66180 MiB
End job on node70 at 2009-05-20 01:19:07