Trace number 1834127

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.07 1200.61

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
MD5SUM940c3065d47a27ab24578a138a8ab3c0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.96755
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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 |   61409   123673 |   18422       0        0     nan |  0.000 % |
0.00/0.24	c |         0 |   60464   200283 |      --       0       --      -- |     --   | -945/76610
0.00/0.24	c ==============================================================================
0.00/0.24	c Result  :   #vars: 900   #clauses: 60464   #literals: 200283
0.00/0.24	c CPU time:   0.227965 s
0.00/0.24	c ==============================================================================
0.29/0.30	c This is MiniSat 2.0 beta
0.29/0.30	c WARNING: for repeatability, setting FPU to use double precision
0.29/0.30	c ============================[ Problem Statistics ]=============================
0.29/0.30	c |                                                                             |
0.29/0.30	c |  Number of variables:  900                                                  |
0.29/0.30	c |  Number of clauses:    60464                                                |
0.29/0.33	c |  Parsing time:         0.03         s                                       |
0.29/0.33	c ============================[ Search Statistics ]==============================
0.29/0.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.33	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |     900    60464   200283 |    20154        0    nan |  0.000 % |
0.29/0.34	c |       100 |     900    60464   200283 |    20154      100    121 |  0.000 % |
0.29/0.35	c |       200 |     900    60464   200283 |    20154      200     98 |  0.000 % |
0.29/0.37	c |       301 |     900    60464   200283 |    20154      301     90 |  0.018 % |
0.29/0.38	c |       411 |     900    60464   200283 |    20154      411     84 |  0.015 % |
0.29/0.39	c |       511 |     900    60464   200283 |    20154      511     78 |  0.000 % |
0.29/0.40	c |       625 |     900    60464   200283 |    20154      625     82 |  0.000 % |
0.29/0.41	c |       746 |     900    60464   200283 |    20154      746     79 |  0.019 % |
0.29/0.42	c |       847 |     900    60464   200283 |    20154      847     78 |  0.000 % |
0.29/0.43	c |       960 |     900    60464   200283 |    20154      960     75 |  0.019 % |
0.29/0.44	c |      1081 |     900    60464   200283 |    20154     1081     71 |  0.019 % |
0.29/0.45	c |      1214 |     900    60464   200283 |    20154     1214     76 |  0.000 % |
0.29/0.46	c |      1314 |     900    60464   200283 |    20154     1314     76 |  0.000 % |
0.29/0.47	c |      1424 |     900    60464   200283 |    20154     1424     75 |  0.017 % |
0.29/0.48	c |      1545 |     900    60464   200283 |    20154     1545     74 |  0.019 % |
0.29/0.50	c |      1679 |     900    60464   200283 |    20154     1679     77 |  0.000 % |
0.29/0.51	c |      1828 |     900    60464   200283 |    20154     1828     79 |  0.000 % |
0.29/0.52	c |      1930 |     900    60464   200283 |    20154     1930     78 |  0.000 % |
0.29/0.54	c |      2040 |     900    60464   200283 |    20154     2040     76 |  0.017 % |
0.29/0.55	c |      2161 |     900    60464   200283 |    20154     2161     79 |  0.000 % |
0.29/0.56	c |      2294 |     900    60464   200283 |    20154     2294     80 |  0.000 % |
0.29/0.58	c |      2441 |     900    60464   200283 |    20154     2441     80 |  0.000 % |
0.29/0.60	c |      2602 |     900    60464   200283 |    20154     2602     80 |  0.016 % |
0.29/0.61	c |      2702 |     900    60464   200283 |    20154     2702     79 |  0.016 % |
0.29/0.62	c |      2812 |     900    60464   200283 |    20154     2812     77 |  0.016 % |
0.29/0.63	c |      2936 |     900    60464   200283 |    20154     2936     77 |  0.000 % |
0.29/0.64	c |      3070 |     900    60464   200283 |    20154     3070     77 |  0.000 % |
0.29/0.66	c |      3217 |     900    60464   200283 |    20154     3217     78 |  0.000 % |
0.29/0.67	c |      3378 |     900    60464   200283 |    20154     3378     78 |  0.000 % |
0.29/0.69	c |      3554 |     900    60464   200283 |    20154     3554     77 |  0.000 % |
0.29/0.71	c |      3657 |     900    60464   200283 |    20154     3657     78 |  0.000 % |
0.29/0.72	c |      3768 |     900    60464   200283 |    20154     3768     77 |  0.000 % |
0.29/0.73	c |      3889 |     900    60464   200283 |    20154     3889     77 |  0.017 % |
0.29/0.75	c |      4022 |     900    60464   200283 |    20154     4022     76 |  0.020 % |
0.29/0.76	c |      4168 |     900    60464   200283 |    20154     4168     76 |  0.000 % |
0.29/0.78	c |      4328 |     900    60464   200283 |    20154     4328     76 |  0.000 % |
0.29/0.80	c |      4505 |     900    60464   200283 |    20154     4505     76 |  0.000 % |
0.29/0.83	c |      4698 |     900    60464   200283 |    20154     4698     77 |  0.000 % |
0.29/0.84	c |      4799 |     900    60464   200283 |    20154     4799     77 |  0.000 % |
0.29/0.85	c |      4910 |     900    60464   200283 |    20154     4910     77 |  0.014 % |
0.29/0.87	c |      5031 |     900    60464   200283 |    20154     5031     76 |  0.013 % |
0.29/0.88	c |      5164 |     900    60464   200283 |    20154     5164     77 |  0.000 % |
0.29/0.90	c |      5310 |     900    60464   200283 |    20154     5310     78 |  0.000 % |
0.29/0.91	c |      5470 |     900    60464   200283 |    20154     5470     78 |  0.000 % |
0.29/0.94	c |      5646 |     900    60464   200283 |    20154     5646     77 |  0.014 % |
0.29/0.96	c |      5840 |     900    60464   200283 |    20154     5840     77 |  0.000 % |
0.29/0.98	c |      6052 |     900    60464   200283 |    20154     6052     76 |  0.014 % |
0.29/1.00	c |      6154 |     900    60464   200283 |    20154     6154     77 |  0.000 % |
0.97/1.01	c |      6264 |     900    60464   200283 |    20154     6264     76 |  0.000 % |
0.97/1.03	c |      6385 |     900    60464   200283 |    20154     6385     76 |  0.000 % |
0.97/1.05	c |      6518 |     900    60464   200283 |    20154     6518     75 |  0.017 % |
0.97/1.06	c |      6664 |     900    60464   200283 |    20154     6664     76 |  0.000 % |
0.97/1.09	c |      6824 |     900    60464   200283 |    20154     6824     76 |  0.014 % |
1.07/1.11	c |      7001 |     900    60464   200283 |    20154     7001     76 |  0.020 % |
1.07/1.14	c |      7194 |     900    60464   200283 |    20154     7194     77 |  0.000 % |
1.07/1.18	c |      7406 |     900    60464   200283 |    20154     7406     76 |  0.000 % |
1.17/1.20	c |      7641 |     900    60464   200283 |    20154     7641     76 |  0.020 % |
1.17/1.22	c |      7742 |     900    60464   200283 |    20154     7742     76 |  0.000 % |
1.17/1.23	c |      7853 |     900    60464   200283 |    20154     7853     76 |  0.000 % |
1.17/1.25	c |      7974 |     900    60464   200283 |    20154     7974     76 |  0.016 % |
1.17/1.27	c |      8111 |     900    60464   200283 |    20154     8111     75 |  0.000 % |
1.17/1.29	c |      8257 |     900    60464   200283 |    20154     8257     76 |  0.016 % |
1.27/1.32	c |      8417 |     900    60464   200283 |    20154     8417     75 |  0.000 % |
1.27/1.34	c |      8594 |     900    60464   200283 |    20154     8594     75 |  0.016 % |
1.27/1.37	c |      8788 |     900    60464   200283 |    20154     8788     76 |  0.000 % |
1.38/1.40	c |      9000 |     900    60464   200283 |    20154     9000     75 |  0.019 % |
1.38/1.44	c |      9233 |     900    60464   200283 |    20154     9233     76 |  0.000 % |
1.38/1.48	c |      9492 |     900    60464   200283 |    20154     9492     76 |  0.000 % |
1.38/1.50	c |      9592 |     900    60464   200283 |    20154     9592     76 |  0.016 % |
1.47/1.51	c |      9703 |     900    60464   200283 |    20154     9703     76 |  0.000 % |
1.47/1.54	c |      9824 |     900    60464   200283 |    20154     9824     76 |  0.000 % |
1.47/1.56	c |      9957 |     900    60464   200283 |    20154     9957     76 |  0.000 % |
1.47/1.58	c |     10103 |     900    60464   200283 | 2147483647    10103     76 |  0.000 % |
1.57/1.61	c |     10263 |     900    60464   200283 | 2147483647    10263     76 |  0.018 % |
1.57/1.64	c |     10439 |     900    60464   200283 | 2147483647    10439     76 |  0.016 % |
1.57/1.67	c |     10632 |     900    60464   200283 | 2147483647    10632     75 |  0.018 % |
1.57/1.70	c |     10844 |     900    60464   200283 | 2147483647    10844     74 |  0.019 % |
1.67/1.74	c |     11078 |     900    60464   200283 | 2147483647    11078     74 |  0.017 % |
1.67/1.78	c |     11335 |     900    60464   200283 | 2147483647    11335     74 |  0.000 % |
1.77/1.82	c |     11618 |     900    60464   200283 | 2147483647    11618     74 |  0.000 % |
1.77/1.84	c |     11718 |     900    60464   200283 | 2147483647    11718     74 |  0.000 % |
1.77/1.86	c |     11829 |     900    60464   200283 | 2147483647    11829     74 |  0.000 % |
1.77/1.88	c |     11950 |     900    60464   200283 | 2147483647    11950     74 |  0.000 % |
1.87/1.90	c |     12085 |     900    60464   200283 | 2147483647    12085     74 |  0.000 % |
1.87/1.93	c |     12231 |     900    60464   200283 | 2147483647    12231     74 |  0.000 % |
1.87/1.95	c |     12393 |     900    60464   200283 | 2147483647    12393     74 |  0.016 % |
1.87/1.99	c |     12571 |     900    60464   200283 | 2147483647    12571     74 |  0.016 % |
1.97/2.02	c |     12765 |     900    60464   200283 | 2147483647    12765     75 |  0.000 % |
1.97/2.06	c |     12977 |     900    60464   200283 | 2147483647    12977     75 |  0.000 % |
2.08/2.10	c |     13211 |     900    60464   200283 | 2147483647    13211     75 |  0.000 % |
2.08/2.15	c |     13467 |     900    60464   200283 | 2147483647    13467     74 |  0.018 % |
2.08/2.19	c |     13748 |     900    60464   200283 | 2147483647    13748     74 |  0.000 % |
2.17/2.25	c |     14057 |     900    60464   200283 | 2147483647    14057     74 |  0.020 % |
2.17/2.27	c |     14157 |     900    60464   200283 | 2147483647    14157     74 |  0.000 % |
2.17/2.29	c |     14267 |     900    60464   200283 | 2147483647    14267     74 |  0.000 % |
2.27/2.31	c |     14388 |     900    60464   200283 | 2147483647    14388     74 |  0.000 % |
2.27/2.34	c |     14524 |     900    60464   200283 | 2147483647    14524     74 |  0.018 % |
2.27/2.37	c |     14670 |     900    60464   200283 | 2147483647    14670     74 |  0.000 % |
2.37/2.40	c |     14831 |     900    60464   200283 | 2147483647    14831     74 |  0.000 % |
2.37/2.43	c |     15007 |     900    60464   200283 | 2147483647    15007     74 |  0.000 % |
2.37/2.47	c |     15200 |     900    60464   200283 | 2147483647    15200     74 |  0.000 % |
2.47/2.51	c |     15412 |     900    60464   200283 | 2147483647    15412     74 |  0.016 % |
2.47/2.56	c |     15645 |     900    60464   200283 | 2147483647    15645     74 |  0.019 % |
2.57/2.62	c |     15903 |     900    60464   200283 | 2147483647    15903     73 |  0.019 % |
2.57/2.68	c |     16184 |     900    60464   200283 | 2147483647    16184     73 |  0.016 % |
2.67/2.74	c |     16494 |     900    60464   200283 | 2147483647    16494     72 |  0.019 % |
2.77/2.80	c |     16834 |     900    60464   200283 | 2147483647    16834     72 |  0.019 % |
2.77/2.82	c |     16934 |     900    60464   200283 | 2147483647    16934     72 |  0.019 % |
2.77/2.84	c |     17044 |     900    60464   200283 | 2147483647    17044     72 |  0.000 % |
2.77/2.87	c |     17165 |     900    60464   200283 | 2147483647    17165     72 |  0.000 % |
2.77/2.90	c |     17299 |     900    60464   200283 | 2147483647    17299     72 |  0.019 % |
2.87/2.93	c |     17448 |     900    60464   200283 | 2147483647    17448     72 |  0.019 % |
2.87/2.96	c |     17614 |     900    60464   200283 | 2147483647    17614     72 |  0.018 % |
2.87/3.00	c |     17790 |     900    60464   200283 | 2147483647    17790     71 |  0.019 % |
2.96/3.03	c |     17983 |     900    60464   200283 | 2147483647    17983     71 |  0.019 % |
2.96/3.08	c |     18195 |     900    60464   200283 | 2147483647    18195     71 |  0.018 % |
3.06/3.13	c |     18429 |     900    60464   200283 | 2147483647    18429     70 |  0.015 % |
3.06/3.18	c |     18685 |     900    60464   200283 | 2147483647    18685     70 |  0.019 % |
3.17/3.24	c |     18966 |     900    60464   200283 | 2147483647    18966     70 |  0.019 % |
3.26/3.30	c |     19277 |     900    60464   200283 | 2147483647    19277     70 |  0.019 % |
3.26/3.37	c |     19617 |     900    60464   200283 | 2147483647    19617     69 |  0.019 % |
3.36/3.46	c |     19989 |     900    60464   200283 | 2147483647    19989     69 |  0.000 % |
3.36/3.49	c |     20089 |     900    60464   200283 | 2147483647    20089     69 |  0.019 % |
3.46/3.52	c |     20200 |     900    60464   200283 | 2147483647    20200     69 |  0.000 % |
3.46/3.54	c |     20322 |     900    60464   200283 | 2147483647    20322     69 |  0.000 % |
3.46/3.57	c |     20455 |     900    60464   200283 | 2147483647    20455     69 |  0.018 % |
3.56/3.60	c |     20602 |     900    60464   200283 | 2147483647    20602     69 |  0.000 % |
3.56/3.63	c |     20766 |     900    60464   200283 | 2147483647    20766     69 |  0.000 % |
3.56/3.66	c |     20942 |     900    60464   200283 | 2147483647    20942     69 |  0.000 % |
3.66/3.71	c |     21136 |     900    60464   200283 | 2147483647    21136     69 |  0.000 % |
3.66/3.75	c |     21348 |     900    60464   200283 | 2147483647    21348     69 |  0.000 % |
3.76/3.80	c |     21581 |     900    60464   200283 | 2147483647    21581     69 |  0.018 % |
3.76/3.86	c |     21837 |     900    60464   200283 | 2147483647    21837     69 |  0.000 % |
3.86/3.93	c |     22118 |     900    60464   200283 | 2147483647    22118     69 |  0.000 % |
3.86/3.99	c |     22427 |     900    60464   200283 | 2147483647    22427     69 |  0.016 % |
3.96/4.07	c |     22766 |     900    60464   200283 | 2147483647    22766     69 |  0.016 % |
4.06/4.15	c |     23141 |     900    60464   200283 | 2147483647    23141     69 |  0.018 % |
4.16/4.23	c |     23553 |     900    60464   200283 | 2147483647    23553     69 |  0.019 % |
4.16/4.27	c |     23656 |     900    60464   200283 | 2147483647    23656     69 |  0.000 % |
4.16/4.29	c |     23767 |     900    60464   200283 | 2147483647    23767     69 |  0.000 % |
4.26/4.32	c |     23888 |     900    60464   200283 | 2147483647    23888     69 |  0.017 % |
4.26/4.34	c |     24021 |     900    60464   200283 | 2147483647    24021     68 |  0.020 % |
4.26/4.38	c |     24167 |     900    60464   200283 | 2147483647    24167     69 |  0.000 % |
4.36/4.42	c |     24328 |     900    60464   200283 | 2147483647    24328     69 |  0.000 % |
4.36/4.46	c |     24504 |     900    60464   200283 | 2147483647    24504     69 |  0.000 % |
4.45/4.51	c |     24697 |     900    60464   200283 | 2147483647    24697     70 |  0.000 % |
4.45/4.56	c |     24912 |     900    60464   200283 | 2147483647    24912     70 |  0.000 % |
4.55/4.62	c |     25146 |     900    60464   200283 | 2147483647    25146     70 |  0.000 % |
4.55/4.69	c |     25402 |     900    60464   200283 | 2147483647    25402     69 |  0.013 % |
4.65/4.77	c |     25686 |     900    60464   200283 | 2147483647    25686     69 |  0.019 % |
4.75/4.85	c |     25995 |     900    60464   200283 | 2147483647    25995     69 |  0.019 % |
4.85/4.93	c |     26336 |     900    60464   200283 | 2147483647    26336     69 |  0.019 % |
4.95/5.01	c |     26708 |     900    60464   200283 | 2147483647    26708     68 |  0.019 % |
5.05/5.12	c |     27122 |     900    60464   200283 | 2147483647    27122     68 |  0.019 % |
5.16/5.23	c |     27571 |     900    60464   200283 | 2147483647    27571     68 |  0.019 % |
5.16/5.26	c |     27671 |     900    60464   200283 | 2147483647    27671     68 |  0.000 % |
5.16/5.29	c |     27781 |     900    60464   200283 | 2147483647    27781     68 |  0.017 % |
5.26/5.31	c |     27902 |     900    60464   200283 | 2147483647    27902     68 |  0.000 % |
5.26/5.35	c |     28035 |     900    60464   200283 | 2147483647    28035     68 |  0.000 % |
5.26/5.38	c |     28182 |     900    60464   200283 | 2147483647    28182     68 |  0.000 % |
5.36/5.42	c |     28343 |     900    60464   200283 | 2147483647    28343     68 |  0.000 % |
5.36/5.46	c |     28519 |     900    60464   200283 | 2147483647    28519     68 |  0.000 % |
5.46/5.54	c |     28719 |     900    60464   200283 | 2147483647    28719     68 |  0.000 % |
5.46/5.59	c |     28931 |     900    60464   200283 | 2147483647    28931     68 |  0.000 % |
5.56/5.66	c |     29165 |     900    60464   200283 | 2147483647    29165     69 |  0.000 % |
5.66/5.73	c |     29423 |     900    60464   200283 | 2147483647    29423     69 |  0.000 % |
5.76/5.80	c |     29705 |     900    60464   200283 | 2147483647    29705     69 |  0.000 % |
5.76/5.88	c |     30014 |     900    60464   200283 | 2147483647    30014     69 |  0.019 % |
5.86/5.99	c |     30353 |     900    60464   200283 | 2147483647    30353     69 |  0.000 % |
5.96/6.08	c |     30726 |     900    60464   200283 | 2147483647    30726     69 |  0.000 % |
6.16/6.20	c |     31136 |     900    60464   200283 | 2147483647    31136     69 |  0.000 % |
6.26/6.31	c |     31586 |     900    60464   200283 | 2147483647    31586     69 |  0.017 % |
6.35/6.46	c |     32079 |     900    60464   200283 | 2147483647    32079     70 |  0.000 % |
6.35/6.49	c |     32180 |     900    60464   200283 | 2147483647    32180     70 |  0.000 % |
6.46/6.52	c |     32291 |     900    60464   200283 | 2147483647    32291     70 |  0.000 % |
6.46/6.56	c |     32412 |     900    60464   200283 | 2147483647    32412     70 |  0.000 % |
6.56/6.61	c |     32546 |     900    60464   200283 | 2147483647    32546     70 |  0.000 % |
6.56/6.65	c |     32692 |     900    60464   200283 | 2147483647    32692     70 |  0.000 % |
6.56/6.70	c |     32852 |     900    60464   200283 | 2147483647    32852     70 |  0.000 % |
6.65/6.75	c |     33030 |     900    60464   200283 | 2147483647    33030     70 |  0.019 % |
6.75/6.81	c |     33223 |     900    60464   200283 | 2147483647    33223     71 |  0.000 % |
6.75/6.88	c |     33437 |     900    60464   200283 | 2147483647    33437     71 |  0.000 % |
6.85/6.95	c |     33670 |     900    60464   200283 | 2147483647    33670     71 |  0.000 % |
6.95/7.03	c |     33926 |     900    60464   200283 | 2147483647    33926     70 |  0.018 % |
7.05/7.10	c |     34210 |     900    60464   200283 | 2147483647    34210     70 |  0.016 % |
7.15/7.20	c |     34521 |     900    60464   200283 | 2147483647    34521     70 |  0.019 % |
7.25/7.32	c |     34860 |     900    60464   200283 | 2147483647    34860     70 |  0.000 % |
7.35/7.44	c |     35232 |     900    60464   200283 | 2147483647    35232     71 |  0.000 % |
7.45/7.59	c |     35641 |     900    60464   200283 | 2147483647    35641     70 |  0.000 % |
7.66/7.71	c |     36092 |     900    60464   200283 | 2147483647    36092     70 |  0.019 % |
7.85/7.92	c |     36585 |     900    60464   200283 | 2147483647    36585     71 |  0.000 % |
8.05/8.11	c |     37128 |     900    60464   200283 | 2147483647    37128     71 |  0.000 % |
8.05/8.14	c |     37229 |     900    60464   200283 | 2147483647    37229     71 |  0.000 % |
8.05/8.17	c |     37340 |     900    60464   200283 | 2147483647    37340     71 |  0.000 % |
8.15/8.22	c |     37461 |     900    60464   200283 | 2147483647    37461     71 |  0.000 % |
8.15/8.27	c |     37598 |     900    60464   200283 | 2147483647    37598     71 |  0.017 % |
8.25/8.31	c |     37745 |     900    60464   200283 | 2147483647    37745     72 |  0.000 % |
8.25/8.38	c |     37905 |     900    60464   200283 | 2147483647    37905     72 |  0.000 % |
8.35/8.46	c |     38082 |     900    60464   200283 | 2147483647    38082     72 |  0.000 % |
8.46/8.53	c |     38275 |     900    60464   200283 | 2147483647    38275     72 |  0.000 % |
8.55/8.62	c |     38487 |     900    60464   200283 | 2147483647    38487     72 |  0.000 % |
8.66/8.71	c |     38720 |     900    60464   200283 | 2147483647    38720     72 |  0.000 % |
8.66/8.79	c |     38976 |     900    60464   200283 | 2147483647    38976     73 |  0.000 % |
8.76/8.89	c |     39257 |     900    60464   200283 | 2147483647    39257     73 |  0.015 % |
8.95/9.00	c |     39566 |     900    60464   200283 | 2147483647    39566     73 |  0.017 % |
9.05/9.11	c |     39905 |     900    60464   200283 | 2147483647    39905     73 |  0.000 % |
9.15/9.23	c |     40279 |     900    60464   200283 | 2147483647    40279     73 |  0.000 % |
9.25/9.35	c |     40688 |     900    60464   200283 | 2147483647    40688     73 |  0.016 % |
9.35/9.49	c |     41137 |     900    60464   200283 | 2147483647    41137     73 |  0.000 % |
9.55/9.65	c |     41631 |     900    60464   200283 | 2147483647    41631     72 |  0.000 % |
9.75/9.85	c |     42176 |     900    60464   200283 | 2147483647    42176     72 |  0.018 % |
9.95/10.04	c |     42772 |     900    60464   200283 | 2147483647    42772     72 |  0.000 % |
9.95/10.07	c |     42873 |     900    60464   200283 | 2147483647    42873     72 |  0.022 % |
10.05/10.12	c |     42983 |     900    60464   200283 | 2147483647    42983     71 |  0.016 % |
10.05/10.16	c |     43104 |     900    60464   200283 | 2147483647    43104     71 |  0.022 % |
10.15/10.21	c |     43237 |     900    60464   200283 | 2147483647    43237     71 |  0.016 % |
10.15/10.27	c |     43383 |     900    60464   200283 | 2147483647    43383     71 |  0.016 % |
10.25/10.33	c |     43545 |     900    60464   200283 | 2147483647    43545     71 |  0.015 % |
10.35/10.42	c |     43721 |     900    60464   200283 | 2147483647    43721     71 |  0.000 % |
10.45/10.50	c |     43914 |     900    60464   200283 | 2147483647    43914     72 |  0.000 % |
10.45/10.59	c |     44126 |     900    60464   200283 | 2147483647    44126     72 |  0.016 % |
10.55/10.66	c |     44359 |     900    60464   200283 | 2147483647    44359     72 |  0.000 % |
10.65/10.75	c |     44615 |     900    60464   200283 | 2147483647    44615     71 |  0.000 % |
10.75/10.84	c |     44898 |     900    60464   200283 | 2147483647    44898     71 |  0.017 % |
10.86/10.94	c |     45208 |     900    60464   200283 | 2147483647    45208     71 |  0.018 % |
10.95/11.04	c |     45548 |     900    60464   200283 | 2147483647    45548     71 |  0.019 % |
11.15/11.21	c |     45922 |     900    60464   200283 | 2147483647    45922     72 |  0.000 % |
11.35/11.40	c |     46333 |     900    60464   200283 | 2147483647    46333     72 |  0.000 % |
11.45/11.58	c |     46782 |     900    60464   200283 | 2147483647    46782     72 |  0.000 % |
11.65/11.78	c |     47277 |     900    60464   200283 | 2147483647    47277     72 |  0.000 % |
11.96/12.05	c |     47819 |     900    60464   200283 | 2147483647    47819     73 |  0.000 % |
12.15/12.28	c |     48415 |     900    60464   200283 | 2147483647    48415     72 |  0.015 % |
12.45/12.55	c |     49071 |     900    60464   200283 | 2147483647    49071     72 |  0.021 % |
12.55/12.62	c |     49172 |     900    60464   200283 | 2147483647    49172     72 |  0.000 % |
12.55/12.66	c |     49286 |     900    60464   200283 | 2147483647    49286     72 |  0.000 % |
12.65/12.72	c |     49408 |     900    60464   200283 | 2147483647    49408     72 |  0.019 % |
12.65/12.79	c |     49541 |     900    60464   200283 | 2147483647    49541     72 |  0.000 % |
12.75/12.86	c |     49688 |     900    60464   200283 | 2147483647    49688     72 |  0.000 % |
12.85/12.93	c |     49849 |     900    60464   200283 | 2147483647    49849     72 |  0.000 % |
12.95/13.02	c |     50027 |     900    60464   200283 | 2147483647    50027     72 |  0.020 % |
13.05/13.12	c |     50220 |     900    60464   200283 | 2147483647    50220     73 |  0.000 % |
13.15/13.23	c |     50432 |     900    60464   200283 | 2147483647    50432     73 |  0.000 % |
13.25/13.33	c |     50665 |     900    60464   200283 | 2147483647    50665     73 |  0.000 % |
13.35/13.42	c |     50921 |     900    60464   200283 | 2147483647    50921     73 |  0.000 % |
13.45/13.53	c |     51202 |     900    60464   200283 | 2147483647    51202     73 |  0.017 % |
13.55/13.68	c |     51513 |     900    60464   200283 | 2147483647    51513     73 |  0.000 % |
13.75/13.89	c |     51853 |     900    60464   200283 | 2147483647    51853     73 |  0.000 % |
13.95/14.04	c |     52225 |     900    60464   200283 | 2147483647    52225     73 |  0.000 % |
14.15/14.26	c |     52634 |     900    60464   200283 | 2147483647    52634     73 |  0.000 % |
14.35/14.44	c |     53083 |     900    60464   200283 | 2147483647    53083     73 |  0.016 % |
14.55/14.68	c |     53577 |     900    60464   200283 | 2147483647    53577     73 |  0.000 % |
14.84/14.94	c |     54121 |     900    60464   200283 | 2147483647    54121     74 |  0.000 % |
15.14/15.22	c |     54718 |     900    60464   200283 | 2147483647    54718     74 |  0.019 % |
15.44/15.57	c |     55373 |     900    60464   200283 | 2147483647    55373     74 |  0.017 % |
15.84/15.93	c |     56096 |     900    60464   200283 | 2147483647    56096     74 |  0.000 % |
15.94/16.01	c |     56197 |     900    60464   200283 | 2147483647    56197     74 |  0.000 % |
15.94/16.06	c |     56307 |     900    60464   200283 | 2147483647    56307     74 |  0.000 % |
16.04/16.13	c |     56430 |     900    60464   200283 | 2147483647    56430     74 |  0.000 % |
16.14/16.20	c |     56563 |     900    60464   200283 | 2147483647    56563     74 |  0.015 % |
16.14/16.28	c |     56710 |     900    60464   200283 | 2147483647    56710     74 |  0.000 % |
16.24/16.34	c |     56870 |     900    60464   200283 | 2147483647    56870     74 |  0.020 % |
16.35/16.42	c |     57046 |     900    60464   200283 | 2147483647    57046     74 |  0.020 % |
16.45/16.52	c |     57240 |     900    60464   200283 | 2147483647    57240     74 |  0.000 % |
16.54/16.63	c |     57452 |     900    60464   200283 | 2147483647    57452     74 |  0.000 % |
16.64/16.74	c |     57685 |     900    60464   200283 | 2147483647    57685     74 |  0.000 % |
16.74/16.89	c |     57941 |     900    60464   200283 | 2147483647    57941     74 |  0.017 % |
16.94/17.03	c |     58223 |     900    60464   200283 | 2147483647    58223     74 |  0.000 % |
17.14/17.20	c |     58532 |     900    60464   200283 | 2147483647    58532     74 |  0.017 % |
17.24/17.40	c |     58872 |     900    60464   200283 | 2147483647    58872     74 |  0.000 % |
17.54/17.62	c |     59245 |     900    60464   200283 | 2147483647    59245     74 |  0.015 % |
17.74/17.83	c |     59654 |     900    60464   200283 | 2147483647    59654     74 |  0.000 % |
17.94/18.05	c |     60104 |     900    60464   200283 | 2147483647    60104     74 |  0.000 % |
18.14/18.29	c |     60597 |     900    60464   200283 | 2147483647    60597     74 |  0.018 % |
18.65/18.71	c |     61139 |     900    60464   200283 | 2147483647    61139     74 |  0.000 % |
18.95/19.02	c |     61736 |     900    60464   200283 | 2147483647    61736     74 |  0.000 % |
19.25/19.39	c |     62395 |     900    60464   200283 | 2147483647    62395     74 |  0.000 % |
19.65/19.79	c |     63116 |     900    60464   200283 | 2147483647    63116     74 |  0.019 % |
20.05/20.13	c |     63908 |     900    60464   200283 | 2147483647    63908     74 |  0.000 % |
20.05/20.17	c |     64008 |     900    60464   200283 | 2147483647    64008     74 |  0.015 % |
20.14/20.25	c |     64118 |     900    60464   200283 | 2147483647    64118     74 |  0.000 % |
20.24/20.34	c |     64240 |     900    60464   200283 | 2147483647    64240     74 |  0.000 % |
20.34/20.41	c |     64373 |     900    60464   200283 | 2147483647    64373     74 |  0.000 % |
20.34/20.48	c |     64519 |     900    60464   200283 | 2147483647    64519     74 |  0.016 % |
20.44/20.59	c |     64680 |     900    60464   200283 | 2147483647    64680     74 |  0.000 % |
20.64/20.71	c |     64857 |     900    60464   200283 | 2147483647    64857     74 |  0.000 % |
20.75/20.83	c |     65050 |     900    60464   200283 | 2147483647    65050     74 |  0.000 % |
20.85/20.97	c |     65262 |     900    60464   200283 | 2147483647    65262     74 |  0.000 % |
21.04/21.10	c |     65496 |     900    60464   200283 | 2147483647    65496     74 |  0.000 % |
21.14/21.25	c |     65755 |     900    60464   200283 | 2147483647    65755     74 |  0.018 % |
21.24/21.37	c |     66036 |     900    60464   200283 | 2147483647    66036     74 |  0.000 % |
21.44/21.58	c |     66346 |     900    60464   200283 | 2147483647    66346     74 |  0.000 % |
21.64/21.72	c |     66689 |     900    60464   200283 | 2147483647    66689     75 |  0.020 % |
21.84/21.91	c |     67061 |     900    60464   200283 | 2147483647    67061     74 |  0.000 % |
22.14/22.23	c |     67470 |     900    60464   200283 | 2147483647    67470     75 |  0.000 % |
22.44/22.56	c |     67919 |     900    60464   200283 | 2147483647    67919     75 |  0.000 % |
22.84/22.91	c |     68412 |     900    60464   200283 | 2147483647    68412     75 |  0.000 % |
23.14/23.22	c |     68954 |     900    60464   200283 | 2147483647    68954     75 |  0.000 % |
23.44/23.52	c |     69550 |     900    60464   200283 | 2147483647    69550     75 |  0.000 % |
23.84/23.96	c |     70205 |     900    60464   200283 | 2147483647    70205     76 |  0.000 % |
24.34/24.47	c |     70925 |     900    60464   200283 | 2147483647    70925     76 |  0.000 % |
24.84/24.95	c |     71717 |     900    60464   200283 | 2147483647    71717     76 |  0.018 % |
25.44/25.52	c |     72588 |     900    60464   200283 | 2147483647    72588     75 |  0.017 % |
25.44/25.59	c |     72689 |     900    60464   200283 | 2147483647    72689     75 |  0.000 % |
25.54/25.66	c |     72799 |     900    60464   200283 | 2147483647    72799     75 |  0.000 % |
25.64/25.75	c |     72920 |     900    60464   200283 | 2147483647    72920     75 |  0.015 % |
25.74/25.82	c |     73053 |     900    60464   200283 | 2147483647    73053     75 |  0.000 % |
25.84/25.91	c |     73199 |     900    60464   200283 | 2147483647    73199     76 |  0.000 % |
25.94/26.01	c |     73359 |     900    60464   200283 | 2147483647    73359     75 |  0.000 % |
26.04/26.13	c |     73536 |     900    60464   200283 | 2147483647    73536     75 |  0.000 % |
26.24/26.33	c |     73730 |     900    60464   200283 | 2147483647    73730     76 |  0.000 % |
26.34/26.49	c |     73944 |     900    60464   200283 | 2147483647    73944     76 |  0.000 % |
26.54/26.65	c |     74177 |     900    60464   200283 | 2147483647    74177     75 |  0.000 % |
26.74/26.82	c |     74433 |     900    60464   200283 | 2147483647    74433     75 |  0.017 % |
26.84/26.98	c |     74714 |     900    60464   200283 | 2147483647    74714     75 |  0.017 % |
27.04/27.14	c |     75023 |     900    60464   200283 | 2147483647    75023     75 |  0.020 % |
27.24/27.38	c |     75363 |     900    60464   200283 | 2147483647    75363     75 |  0.000 % |
27.54/27.60	c |     75735 |     900    60464   200283 | 2147483647    75735     75 |  0.021 % |
27.73/27.87	c |     76144 |     900    60464   200283 | 2147483647    76144     75 |  0.016 % |
28.03/28.14	c |     76594 |     900    60464   200283 | 2147483647    76594     75 |  0.018 % |
28.44/28.53	c |     77088 |     900    60464   200283 | 2147483647    77088     75 |  0.000 % |
28.73/28.87	c |     77632 |     900    60464   200283 | 2147483647    77632     76 |  0.000 % |
29.13/29.21	c |     78231 |     900    60464   200283 | 2147483647    78231     76 |  0.000 % |
29.43/29.58	c |     78888 |     900    60464   200283 | 2147483647    78888     76 |  0.016 % |
29.93/30.08	c |     79609 |     900    60464   200283 | 2147483647    79609     75 |  0.014 % |
30.53/30.61	c |     80401 |     900    60464   200283 | 2147483647    80401     75 |  0.000 % |
31.13/31.26	c |     81275 |     900    60464   200283 | 2147483647    81275     75 |  0.000 % |
31.84/31.93	c |     82233 |     900    60464   200283 | 2147483647    82233     75 |  0.017 % |
31.94/32.02	c |     82335 |     900    60464   200283 | 2147483647    82335     75 |  0.017 % |
32.04/32.11	c |     82446 |     900    60464   200283 | 2147483647    82446     75 |  0.017 % |
32.14/32.22	c |     82567 |     900    60464   200283 | 2147483647    82567     75 |  0.017 % |
32.24/32.31	c |     82700 |     900    60464   200283 | 2147483647    82700     75 |  0.000 % |
32.34/32.41	c |     82847 |     900    60464   200283 | 2147483647    82847     75 |  0.019 % |
32.44/32.52	c |     83011 |     900    60464   200283 | 2147483647    83011     75 |  0.000 % |
32.54/32.70	c |     83187 |     900    60464   200283 | 2147483647    83187     75 |  0.000 % |
32.74/32.80	c |     83380 |     900    60464   200283 | 2147483647    83380     75 |  0.000 % |
32.84/32.98	c |     83593 |     900    60464   200283 | 2147483647    83593     75 |  0.000 % |
33.04/33.17	c |     83826 |     900    60464   200283 | 2147483647    83826     75 |  0.000 % |
33.23/33.34	c |     84082 |     900    60464   200283 | 2147483647    84082     75 |  0.000 % |
33.43/33.53	c |     84365 |     900    60464   200283 | 2147483647    84365     75 |  0.000 % |
33.63/33.77	c |     84674 |     900    60464   200283 | 2147483647    84674     76 |  0.000 % |
33.83/33.99	c |     85013 |     900    60464   200283 | 2147483647    85013     76 |  0.000 % |
34.23/34.35	c |     85385 |     900    60464   200283 | 2147483647    85385     76 |  0.000 % |
34.53/34.68	c |     85796 |     900    60464   200283 | 2147483647    85796     76 |  0.000 % |
34.83/34.98	c |     86245 |     900    60464   200283 | 2147483647    86245     76 |  0.019 % |
35.23/35.30	c |     86738 |     900    60464   200283 | 2147483647    86738     76 |  0.000 % |
35.53/35.67	c |     87281 |     900    60464   200283 | 2147483647    87281     75 |  0.015 % |
35.93/36.02	c |     87877 |     900    60464   200283 | 2147483647    87877     75 |  0.017 % |
36.33/36.45	c |     88532 |     900    60464   200283 | 2147483647    88532     75 |  0.000 % |
36.93/37.06	c |     89254 |     900    60464   200283 | 2147483647    89254     76 |  0.000 % |
37.52/37.61	c |     90047 |     900    60464   200283 |    90000    90047     75 |  0.000 % |
38.33/38.48	c |     90918 |     900    60464   200283 |    90000    79527     75 |  0.000 % |
39.02/39.11	c |     91878 |     900    60464   200283 |    90000    80487     75 |  0.000 % |
39.72/39.85	c |     92931 |     900    60464   200283 |    90000    81540     74 |  0.000 % |
39.82/39.94	c |     93032 |     900    60464   200283 |    90000    81641     74 |  0.017 % |
39.92/40.04	c |     93142 |     900    60464   200283 |    90000    81751     74 |  0.000 % |
40.02/40.14	c |     93264 |     900    60464   200283 |    90000    81873     74 |  0.018 % |
40.12/40.24	c |     93397 |     900    60464   200283 |    90000    82006     74 |  0.000 % |
40.22/40.34	c |     93544 |     900    60464   200283 |    90000    82153     74 |  0.000 % |
40.32/40.48	c |     93704 |     900    60464   200283 |    90000    82313     74 |  0.000 % |
40.42/40.59	c |     93882 |     900    60464   200283 |    90000    82491     74 |  0.018 % |
40.63/40.72	c |     94076 |     900    60464   200283 |    90000    82685     74 |  0.000 % |
40.82/40.90	c |     94291 |     900    60464   200283 |    90000    82900     74 |  0.000 % |
40.92/41.07	c |     94524 |     900    60464   200283 |    90000    83133     75 |  0.020 % |
41.22/41.31	c |     94780 |     900    60464   200283 |    90000    83389     75 |  0.000 % |
41.42/41.54	c |     95062 |     900    60464   200283 |    90000    83671     75 |  0.000 % |
41.63/41.80	c |     95371 |     900    60464   200283 |    90000    83980     75 |  0.000 % |
42.02/42.10	c |     95711 |     900    60464   200283 |    90000    84320     75 |  0.000 % |
42.32/42.45	c |     96083 |     900    60464   200283 |    90000    84692     75 |  0.000 % |
42.62/42.80	c |     96492 |     900    60464   200283 |    90000    85101     75 |  0.000 % |
43.12/43.22	c |     96941 |     900    60464   200283 |    90000    85550     75 |  0.000 % |
43.42/43.55	c |     97435 |     900    60464   200283 |    90000    86044     75 |  0.000 % |
43.72/43.87	c |     97977 |     900    60464   200283 |    90000    86586     75 |  0.000 % |
44.12/44.28	c |     98574 |     900    60464   200283 |    90000    87183     75 |  0.016 % |
44.93/45.00	c |     99230 |     900    60464   200283 |    90000    87839     76 |  0.000 % |
45.42/45.52	c |     99950 |     900    60464   200283 |    90000    88559     76 |  0.000 % |
46.13/46.21	c |    100742 |     900    60464   200283 |    88609    77420     77 |  0.000 % |
46.62/46.77	c |    101613 |     900    60464   200283 |    88609    78291     77 |  0.017 % |
47.22/47.32	c |    102572 |     900    60464   200283 |    88609    79250     77 |  0.020 % |
48.22/48.33	c |    103626 |     900    60464   200283 |    88609    80304     77 |  0.000 % |
48.92/49.08	c |    104785 |     900    60464   200283 |    88609    81463     78 |  0.000 % |
49.02/49.15	c |    104885 |     900    60464   200283 |    88609    81563     78 |  0.000 % |
49.12/49.23	c |    104996 |     900    60464   200283 |    88609    81674     78 |  0.018 % |
49.22/49.34	c |    105118 |     900    60464   200283 |    88609    81796     78 |  0.000 % |
49.32/49.43	c |    105253 |     900    60464   200283 |    88609    81931     78 |  0.000 % |
49.42/49.56	c |    105400 |     900    60464   200283 |    88609    82078     78 |  0.014 % |
49.52/49.68	c |    105562 |     900    60464   200283 |    88609    82240     78 |  0.014 % |
49.72/49.88	c |    105741 |     900    60464   200283 |    88609    82419     78 |  0.000 % |
49.82/50.00	c |    105934 |     900    60464   200283 |    88609    82612     78 |  0.000 % |
50.02/50.20	c |    106147 |     900    60464   200283 |    88609    82825     78 |  0.014 % |
50.22/50.38	c |    106380 |     900    60464   200283 |    88609    83058     78 |  0.000 % |
50.52/50.60	c |    106637 |     900    60464   200283 |    88609    83315     78 |  0.000 % |
50.72/50.83	c |    106921 |     900    60464   200283 |    88609    83599     78 |  0.000 % |
50.92/51.06	c |    107230 |     900    60464   200283 |    88609    83908     78 |  0.000 % |
51.12/51.29	c |    107569 |     900    60464   200283 |    88609    84247     78 |  0.015 % |
51.52/51.66	c |    107941 |     900    60464   200283 |    88609    84619     78 |  0.000 % |
51.82/52.00	c |    108350 |     900    60464   200283 |    88609    85028     78 |  0.000 % |
52.22/52.37	c |    108800 |     900    60464   200283 |    88609    85478     78 |  0.000 % |
52.62/52.73	c |    109295 |     900    60464   200283 |    88609    85973     78 |  0.012 % |
53.02/53.11	c |    109838 |     900    60464   200283 |    88609    86516     78 |  0.012 % |
53.42/53.50	c |    110435 |     900    60464   200283 |    86678    87113     77 |  0.000 % |
53.82/53.93	c |    111090 |     900    60464   200283 |    86678    73964     76 |  0.017 % |
54.41/54.55	c |    111811 |     900    60464   200283 |    86678    74685     76 |  0.000 % |
55.11/55.23	c |    112603 |     900    60464   200283 |    86678    75477     77 |  0.000 % |
55.81/55.93	c |    113476 |     900    60464   200283 |    86678    76350     77 |  0.000 % |
56.41/56.56	c |    114434 |     900    60464   200283 |    86678    77308     77 |  0.000 % |
57.12/57.24	c |    115491 |     900    60464   200283 |    86678    78365     77 |  0.000 % |
57.91/58.10	c |    116649 |     900    60464   200283 |    86678    79523     77 |  0.017 % |
58.91/59.05	c |    117923 |     900    60464   200283 |    86678    80797     77 |  0.017 % |
59.01/59.13	c |    118027 |     900    60464   200283 |    86678    80901     76 |  0.017 % |
59.11/59.24	c |    118137 |     900    60464   200283 |    86678    81011     77 |  0.000 % |
59.22/59.33	c |    118258 |     900    60464   200283 |    86678    81132     77 |  0.000 % |
59.32/59.44	c |    118392 |     900    60464   200283 |    86678    81266     77 |  0.019 % |
59.41/59.56	c |    118541 |     900    60464   200283 |    86678    81415     77 |  0.000 % |
59.61/59.70	c |    118703 |     900    60464   200283 |    86678    81577     77 |  0.000 % |
59.71/59.84	c |    118880 |     900    60464   200283 |    86678    81754     77 |  0.000 % |
59.91/60.03	c |    119073 |     900    60464   200283 |    86678    81947     77 |  0.000 % |
60.11/60.24	c |    119287 |     900    60464   200283 |    86678    82161     77 |  0.000 % |
60.31/60.45	c |    119522 |     900    60464   200283 |    86678    82396     77 |  0.000 % |
60.51/60.67	c |    119779 |     900    60464   200283 |    86678    82653     77 |  0.000 % |
60.71/60.89	c |    120062 |     900    60464   200283 |    82874    82936     77 |  0.000 % |
61.11/61.21	c |    120375 |     900    60464   200283 |    82874    69567     75 |  0.000 % |
61.41/61.55	c |    120715 |     900    60464   200283 |    82874    69907     75 |  0.000 % |
61.71/61.81	c |    121088 |     900    60464   200283 |    82874    70280     75 |  0.000 % |
62.01/62.13	c |    121498 |     900    60464   200283 |    82874    70690     76 |  0.000 % |
62.31/62.42	c |    121948 |     900    60464   200283 |    82874    71140     76 |  0.000 % |
62.71/62.80	c |    122441 |     900    60464   200283 |    82874    71633     76 |  0.000 % |
63.01/63.17	c |    122984 |     900    60464   200283 |    82874    72176     76 |  0.000 % |
63.51/63.61	c |    123580 |     900    60464   200283 |    82874    72772     76 |  0.000 % |
63.91/64.07	c |    124235 |     900    60464   200283 |    82874    73427     76 |  0.000 % |
64.41/64.57	c |    124956 |     900    60464   200283 |    82874    74148     76 |  0.000 % |
65.01/65.11	c |    125749 |     900    60464   200283 |    82874    74941     76 |  0.018 % |
65.51/65.67	c |    126621 |     900    60464   200283 |    82874    75813     76 |  0.016 % |
66.21/66.30	c |    127585 |     900    60464   200283 |    82874    76777     76 |  0.016 % |
67.11/67.29	c |    128638 |     900    60464   200283 |    82874    77830     76 |  0.000 % |
68.11/68.28	c |    129798 |     900    60464   200283 |    82874    78990     76 |  0.000 % |
69.21/69.34	c |    131071 |     900    60464   200283 |    79192    68608     73 |  0.000 % |
70.31/70.42	c |    132471 |     900    60464   200283 |    79192    70008     75 |  0.000 % |
70.40/70.51	c |    132572 |     900    60464   200283 |    79192    70109     75 |  0.000 % |
70.50/70.62	c |    132684 |     900    60464   200283 |    79192    70221     75 |  0.000 % |
70.50/70.70	c |    132805 |     900    60464   200283 |    79192    70342     75 |  0.012 % |
70.70/70.80	c |    132940 |     900    60464   200283 |    79192    70477     75 |  0.018 % |
70.80/70.91	c |    133086 |     900    60464   200283 |    79192    70623     75 |  0.000 % |
70.90/71.03	c |    133246 |     900    60464   200283 |    79192    70783     75 |  0.000 % |
71.00/71.14	c |    133423 |     900    60464   200283 |    79192    70960     75 |  0.000 % |
71.10/71.27	c |    133618 |     900    60464   200283 |    79192    71155     75 |  0.000 % |
71.30/71.45	c |    133830 |     900    60464   200283 |    79192    71367     75 |  0.015 % |
71.40/71.59	c |    134063 |     900    60464   200283 |    79192    71600     75 |  0.016 % |
71.60/71.78	c |    134322 |     900    60464   200283 |    79192    71859     75 |  0.000 % |
71.80/71.98	c |    134604 |     900    60464   200283 |    79192    72141     75 |  0.000 % |
72.00/72.15	c |    134913 |     900    60464   200283 |    79192    72450     75 |  0.000 % |
72.20/72.37	c |    135254 |     900    60464   200283 |    79192    72791     75 |  0.000 % |
72.50/72.64	c |    135627 |     900    60464   200283 |    79192    73164     75 |  0.000 % |
72.80/72.91	c |    136037 |     900    60464   200283 |    79192    73574     75 |  0.017 % |
73.10/73.24	c |    136487 |     900    60464   200283 |    79192    74024     75 |  0.000 % |
73.40/73.58	c |    136981 |     900    60464   200283 |    79192    74518     75 |  0.000 % |
73.80/73.94	c |    137526 |     900    60464   200283 |    79192    75063     75 |  0.000 % |
74.30/74.48	c |    138122 |     900    60464   200283 |    79192    75659     75 |  0.000 % |
74.70/74.84	c |    138777 |     900    60464   200283 |    79192    76314     76 |  0.000 % |
75.10/75.25	c |    139497 |     900    60464   200283 |    79192    77034     76 |  0.000 % |
75.60/75.70	c |    140292 |     900    60464   200283 |    77537    77829     76 |  0.000 % |
76.10/76.27	c |    141165 |     900    60464   200283 |    77537    68178     76 |  0.016 % |
76.70/76.82	c |    142123 |     900    60464   200283 |    77537    69136     75 |  0.000 % |
77.30/77.43	c |    143176 |     900    60464   200283 |    77537    70189     75 |  0.017 % |
78.10/78.23	c |    144334 |     900    60464   200283 |    77537    71347     75 |  0.016 % |
78.90/79.06	c |    145611 |     900    60464   200283 |    77537    72624     74 |  0.017 % |
79.90/80.06	c |    147013 |     900    60464   200283 |    77537    74026     74 |  0.015 % |
81.50/81.64	c |    148553 |     900    60464   200283 |    77537    75566     75 |  0.000 % |
81.60/81.76	c |    148653 |     900    60464   200283 |    77537    75666     75 |  0.000 % |
81.70/81.85	c |    148763 |     900    60464   200283 |    77537    75776     75 |  0.000 % |
81.80/81.94	c |    148885 |     900    60464   200283 |    77537    75898     75 |  0.000 % |
81.90/82.04	c |    149019 |     900    60464   200283 |    77537    76032     75 |  0.000 % |
82.10/82.20	c |    149165 |     900    60464   200283 |    77537    76178     75 |  0.000 % |
82.20/82.31	c |    149326 |     900    60464   200283 |    77537    76339     75 |  0.000 % |
82.30/82.43	c |    149502 |     900    60464   200283 |    77537    76515     75 |  0.000 % |
82.50/82.65	c |    149695 |     900    60464   200283 |    77537    76708     75 |  0.000 % |
82.70/82.86	c |    149907 |     900    60464   200283 |    77537    76920     75 |  0.000 % |
82.90/83.05	c |    150142 |     900    60464   200283 |    77014    77155     75 |  0.000 % |
83.10/83.27	c |    150398 |     900    60464   200283 |    77014    66371     74 |  0.017 % |
83.30/83.46	c |    150679 |     900    60464   200283 |    77014    66652     74 |  0.000 % |
83.50/83.66	c |    150990 |     900    60464   200283 |    77014    66963     74 |  0.000 % |
83.70/83.89	c |    151329 |     900    60464   200283 |    77014    67302     74 |  0.000 % |
84.00/84.13	c |    151701 |     900    60464   200283 |    77014    67674     74 |  0.000 % |
84.30/84.45	c |    152110 |     900    60464   200283 |    77014    68083     74 |  0.017 % |
84.60/84.77	c |    152559 |     900    60464   200283 |    77014    68532     74 |  0.017 % |
85.00/85.16	c |    153055 |     900    60464   200283 |    77014    69028     74 |  0.000 % |
85.50/85.68	c |    153597 |     900    60464   200283 |    77014    69570     75 |  0.000 % |
86.10/86.21	c |    154194 |     900    60464   200283 |    77014    70167     75 |  0.000 % |
86.50/86.65	c |    154849 |     900    60464   200283 |    77014    70822     75 |  0.000 % |
86.90/87.09	c |    155569 |     900    60464   200283 |    77014    71542     75 |  0.000 % |
87.69/87.87	c |    156362 |     900    60464   200283 |    77014    72335     76 |  0.000 % |
88.50/88.60	c |    157233 |     900    60464   200283 |    77014    73206     76 |  0.000 % |
89.29/89.41	c |    158192 |     900    60464   200283 |    77014    74165     76 |  0.000 % |
90.10/90.21	c |    159246 |     900    60464   200283 |    77014    75219     76 |  0.000 % |
90.89/91.00	c |    160404 |     900    60464   200283 |    75973    76377     76 |  0.016 % |
91.69/91.82	c |    161677 |     900    60464   200283 |    75973    67136     73 |  0.000 % |
92.59/92.73	c |    163077 |     900    60464   200283 |    75973    68536     73 |  0.000 % |
93.89/94.07	c |    164618 |     900    60464   200283 |    75973    70077     75 |  0.000 % |
95.09/95.24	c |    166313 |     900    60464   200283 |    75973    71772     75 |  0.000 % |
95.19/95.30	c |    166416 |     900    60464   200283 |    75973    71875     76 |  0.000 % |
95.29/95.40	c |    166527 |     900    60464   200283 |    75973    71986     76 |  0.000 % |
95.39/95.54	c |    166648 |     900    60464   200283 |    75973    72107     76 |  0.000 % |
95.50/95.62	c |    166781 |     900    60464   200283 |    75973    72240     76 |  0.000 % |
95.60/95.75	c |    166929 |     900    60464   200283 |    75973    72388     76 |  0.000 % |
95.79/95.90	c |    167089 |     900    60464   200283 |    75973    72548     76 |  0.000 % |
95.89/96.06	c |    167265 |     900    60464   200283 |    75973    72724     76 |  0.000 % |
96.09/96.26	c |    167458 |     900    60464   200283 |    75973    72917     76 |  0.000 % |
96.29/96.42	c |    167670 |     900    60464   200283 |    75973    73129     76 |  0.000 % |
96.39/96.59	c |    167904 |     900    60464   200283 |    75973    73363     76 |  0.015 % |
96.70/96.84	c |    168162 |     900    60464   200283 |    75973    73621     76 |  0.000 % |
96.89/97.07	c |    168445 |     900    60464   200283 |    75973    73904     76 |  0.000 % |
97.09/97.29	c |    168754 |     900    60464   200283 |    75973    74213     76 |  0.018 % |
97.39/97.52	c |    169094 |     900    60464   200283 |    75973    74553     76 |  0.000 % |
97.79/97.95	c |    169466 |     900    60464   200283 |    75973    74925     76 |  0.000 % |
98.19/98.32	c |    169876 |     900    60464   200283 |    75973    75335     77 |  0.000 % |
98.59/98.71	c |    170325 |     900    60464   200283 |    75462    75784     77 |  0.000 % |
98.99/99.12	c |    170821 |     900    60464   200283 |    75462    64804     76 |  0.018 % |
99.29/99.48	c |    171363 |     900    60464   200283 |    75462    65346     76 |  0.020 % |
99.79/99.90	c |    171961 |     900    60464   200283 |    75462    65944     76 |  0.000 % |
100.29/100.44	c |    172616 |     900    60464   200283 |    75462    66599     76 |  0.000 % |
100.79/100.95	c |    173338 |     900    60464   200283 |    75462    67321     76 |  0.020 % |
101.49/101.61	c |    174130 |     900    60464   200283 |    75462    68113     75 |  0.018 % |
101.99/102.17	c |    175002 |     900    60464   200283 |    75462    68985     75 |  0.020 % |
102.89/103.01	c |    175961 |     900    60464   200283 |    75462    69944     76 |  0.000 % |
103.59/103.77	c |    177015 |     900    60464   200283 |    75462    70998     75 |  0.018 % |
104.69/104.82	c |    178173 |     900    60464   200283 |    75462    72156     76 |  0.000 % |
105.69/105.89	c |    179446 |     900    60464   200283 |    75462    73429     76 |  0.000 % |
106.89/107.06	c |    180846 |     900    60464   200283 |    73983    64159     75 |  0.000 % |
108.09/108.21	c |    182386 |     900    60464   200283 |    73983    65699     75 |  0.000 % |
109.09/109.27	c |    184081 |     900    60464   200283 |    73983    67394     75 |  0.017 % |
110.79/110.98	c |    185944 |     900    60464   200283 |    73983    69257     76 |  0.000 % |
110.89/111.06	c |    186046 |     900    60464   200283 |    73983    69359     76 |  0.016 % |
110.99/111.16	c |    186157 |     900    60464   200283 |    73983    69470     76 |  0.000 % |
111.08/111.27	c |    186278 |     900    60464   200283 |    73983    69591     76 |  0.000 % |
111.18/111.38	c |    186412 |     900    60464   200283 |    73983    69725     76 |  0.014 % |
111.38/111.51	c |    186559 |     900    60464   200283 |    73983    69872     76 |  0.014 % |
111.48/111.64	c |    186720 |     900    60464   200283 |    73983    70033     76 |  0.000 % |
111.58/111.78	c |    186896 |     900    60464   200283 |    73983    70209     76 |  0.000 % |
111.78/111.94	c |    187091 |     900    60464   200283 |    73983    70404     76 |  0.000 % |
111.99/112.13	c |    187303 |     900    60464   200283 |    73983    70616     76 |  0.000 % |
112.18/112.32	c |    187539 |     900    60464   200283 |    73983    70852     76 |  0.000 % |
112.48/112.65	c |    187797 |     900    60464   200283 |    73983    71110     77 |  0.000 % |
112.68/112.88	c |    188078 |     900    60464   200283 |    73983    71391     77 |  0.000 % |
112.98/113.19	c |    188388 |     900    60464   200283 |    73983    71701     77 |  0.000 % |
113.28/113.47	c |    188727 |     900    60464   200283 |    73983    72040     77 |  0.000 % |
113.58/113.71	c |    189099 |     900    60464   200283 |    73983    72412     77 |  0.000 % |
113.98/114.12	c |    189509 |     900    60464   200283 |    73983    72822     77 |  0.000 % |
114.38/114.56	c |    189961 |     900    60464   200283 |    73983    73274     78 |  0.000 % |
114.68/114.88	c |    190455 |     900    60464   200283 |    73313    73768     78 |  0.000 % |
115.18/115.32	c |    190998 |     900    60464   200283 |    73313    63021     75 |  0.014 % |
115.48/115.63	c |    191595 |     900    60464   200283 |    73313    63618     75 |  0.000 % |
115.98/116.19	c |    192251 |     900    60464   200283 |    73313    64274     76 |  0.000 % |
116.48/116.70	c |    192972 |     900    60464   200283 |    73313    64995     76 |  0.000 % |
117.18/117.36	c |    193764 |     900    60464   200283 |    73313    65787     76 |  0.014 % |
117.78/117.91	c |    194637 |     900    60464   200283 |    73313    66660     76 |  0.000 % |
118.38/118.55	c |    195595 |     900    60464   200283 |    73313    67618     76 |  0.020 % |
119.28/119.49	c |    196648 |     900    60464   200283 |    73313    68671     77 |  0.000 % |
120.18/120.39	c |    197807 |     900    60464   200283 |    73313    69830     77 |  0.000 % |
121.18/121.38	c |    199080 |     900    60464   200283 |    73313    71103     77 |  0.000 % |
122.38/122.57	c |    200480 |     900    60464   200283 |    72024    72503     78 |  0.000 % |
123.38/123.58	c |    202020 |     900    60464   200283 |    72024    63600     79 |  0.018 % |
124.98/125.11	c |    203716 |     900    60464   200283 |    72024    65296     80 |  0.000 % |
126.68/126.88	c |    205579 |     900    60464   200283 |    72024    67159     81 |  0.000 % |
128.78/128.96	c |    207628 |     900    60464   200283 |    72024    69208     82 |  0.000 % |
128.88/129.05	c |    207729 |     900    60464   200283 |    72024    69309     83 |  0.000 % |
128.98/129.16	c |    207839 |     900    60464   200283 |    72024    69419     83 |  0.000 % |
129.07/129.26	c |    207960 |     900    60464   200283 |    72024    69540     83 |  0.000 % |
129.18/129.38	c |    208093 |     900    60464   200283 |    72024    69673     83 |  0.017 % |
129.38/129.54	c |    208240 |     900    60464   200283 |    72024    69820     83 |  0.000 % |
129.58/129.71	c |    208400 |     900    60464   200283 |    72024    69980     83 |  0.000 % |
129.68/129.87	c |    208578 |     900    60464   200283 |    72024    70158     83 |  0.000 % |
129.87/130.06	c |    208773 |     900    60464   200283 |    72024    70353     83 |  0.000 % |
130.07/130.26	c |    208987 |     900    60464   200283 |    72024    70567     83 |  0.000 % |
130.27/130.44	c |    209222 |     900    60464   200283 |    72024    70802     83 |  0.000 % |
130.57/130.71	c |    209478 |     900    60464   200283 |    72024    71058     83 |  0.000 % |
130.87/131.04	c |    209759 |     900    60464   200283 |    72024    71339     83 |  0.000 % |
131.17/131.33	c |    210068 |     900    60464   200283 |    71582    71648     83 |  0.016 % |
131.57/131.70	c |    210408 |     900    60464   200283 |    71582    60629     82 |  0.000 % |
131.88/132.01	c |    210780 |     900    60464   200283 |    71582    61001     82 |  0.000 % |
132.07/132.29	c |    211191 |     900    60464   200283 |    71582    61412     82 |  0.000 % |
132.47/132.67	c |    211640 |     900    60464   200283 |    71582    61861     82 |  0.000 % |
132.77/132.97	c |    212133 |     900    60464   200283 |    71582    62354     82 |  0.018 % |
133.17/133.35	c |    212675 |     900    60464   200283 |    71582    62896     81 |  0.017 % |
133.57/133.72	c |    213273 |     900    60464   200283 |    71582    63494     81 |  0.018 % |
133.97/134.14	c |    213929 |     900    60464   200283 |    71582    64150     80 |  0.017 % |
134.57/134.71	c |    214649 |     900    60464   200283 |    71582    64870     80 |  0.017 % |
134.97/135.15	c |    215441 |     900    60464   200283 |    71582    65662     80 |  0.019 % |
135.57/135.74	c |    216313 |     900    60464   200283 |    71582    66534     80 |  0.000 % |
136.27/136.42	c |    217273 |     900    60464   200283 |    71582    67494     80 |  0.016 % |
136.97/137.11	c |    218327 |     900    60464   200283 |    71582    68548     80 |  0.016 % |
137.87/138.01	c |    219485 |     900    60464   200283 |    71582    69706     79 |  0.020 % |
138.87/139.07	c |    220759 |     900    60464   200283 |    70221    60256     76 |  0.020 % |
139.77/139.92	c |    222159 |     900    60464   200283 |    70221    61656     75 |  0.018 % |
140.87/141.01	c |    223700 |     900    60464   200283 |    70221    63197     75 |  0.016 % |
141.97/142.13	c |    225394 |     900    60464   200283 |    70221    64891     74 |  0.016 % |
143.27/143.43	c |    227257 |     900    60464   200283 |    70221    66754     74 |  0.016 % |
144.67/144.85	c |    229306 |     900    60464   200283 |    70221    68803     73 |  0.017 % |
146.37/146.57	c |    231561 |     900    60464   200283 |    69498    60459     71 |  0.014 % |
146.47/146.67	c |    231662 |     900    60464   200283 |    69498    60560     71 |  0.000 % |
146.57/146.77	c |    231774 |     900    60464   200283 |    69498    60672     71 |  0.000 % |
146.67/146.86	c |    231895 |     900    60464   200283 |    69498    60793     71 |  0.000 % |
146.77/146.96	c |    232028 |     900    60464   200283 |    69498    60926     71 |  0.000 % |
146.87/147.07	c |    232174 |     900    60464   200283 |    69498    61072     72 |  0.000 % |
146.97/147.16	c |    232334 |     900    60464   200283 |    69498    61232     72 |  0.000 % |
147.07/147.27	c |    232512 |     900    60464   200283 |    69498    61410     72 |  0.000 % |
147.27/147.45	c |    232705 |     900    60464   200283 |    69498    61603     72 |  0.000 % |
147.47/147.61	c |    232918 |     900    60464   200283 |    69498    61816     72 |  0.000 % |
147.57/147.78	c |    233153 |     900    60464   200283 |    69498    62051     72 |  0.000 % |
147.77/147.97	c |    233414 |     900    60464   200283 |    69498    62312     72 |  0.000 % |
147.97/148.17	c |    233699 |     900    60464   200283 |    69498    62597     72 |  0.000 % |
148.17/148.33	c |    234008 |     900    60464   200283 |    69498    62906     72 |  0.000 % |
148.47/148.64	c |    234347 |     900    60464   200283 |    69498    63245     72 |  0.000 % |
148.67/148.89	c |    234719 |     900    60464   200283 |    69498    63617     72 |  0.000 % |
149.07/149.20	c |    235129 |     900    60464   200283 |    69498    64027     72 |  0.000 % |
149.37/149.54	c |    235578 |     900    60464   200283 |    69498    64476     72 |  0.000 % |
149.67/149.83	c |    236075 |     900    60464   200283 |    69498    64973     73 |  0.000 % |
150.07/150.23	c |    236619 |     900    60464   200283 |    69498    65517     73 |  0.000 % |
150.47/150.65	c |    237216 |     900    60464   200283 |    69498    66114     73 |  0.000 % |
150.97/151.17	c |    237871 |     900    60464   200283 |    69498    66769     74 |  0.000 % |
151.47/151.62	c |    238591 |     900    60464   200283 |    69498    67489     74 |  0.000 % |
151.96/152.19	c |    239383 |     900    60464   200283 |    69498    68281     74 |  0.000 % |
152.77/152.95	c |    240256 |     900    60464   200283 |    68899    69154     74 |  0.000 % |
153.36/153.59	c |    241214 |     900    60464   200283 |    68899    60634     71 |  0.000 % |
154.06/154.25	c |    242268 |     900    60464   200283 |    68899    61688     71 |  0.016 % |
154.87/155.01	c |    243426 |     900    60464   200283 |    68899    62846     71 |  0.016 % |
155.66/155.82	c |    244701 |     900    60464   200283 |    68899    64121     71 |  0.016 % |
156.56/156.72	c |    246101 |     900    60464   200283 |    68899    65521     70 |  0.000 % |
157.46/157.66	c |    247642 |     900    60464   200283 |    68899    67062     70 |  0.000 % |
158.66/158.89	c |    249338 |     900    60464   200283 |    68899    68758     70 |  0.000 % |
159.96/160.16	c |    251201 |     900    60464   200283 |    69421    61543     66 |  0.017 % |
161.46/161.65	c |    253250 |     900    60464   200283 |    69421    63592     66 |  0.000 % |
162.96/163.14	c |    255504 |     900    60464   200283 |    69421    65846     65 |  0.000 % |
164.77/164.93	c |    257982 |     900    60464   200283 |    69421    68324     67 |  0.000 % |
164.86/165.03	c |    258082 |     900    60464   200283 |    69421    68424     67 |  0.000 % |
164.96/165.12	c |    258192 |     900    60464   200283 |    69421    68534     67 |  0.000 % |
164.96/165.19	c |    258316 |     900    60464   200283 |    69421    68658     67 |  0.000 % |
165.06/165.26	c |    258450 |     900    60464   200283 |    69421    68792     67 |  0.000 % |
165.16/165.39	c |    258597 |     900    60464   200283 |    69421    68939     67 |  0.017 % |
165.36/165.59	c |    258758 |     900    60464   200283 |    69421    69100     68 |  0.000 % |
165.46/165.70	c |    258934 |     900    60464   200283 |    69421    69276     68 |  0.000 % |
165.66/165.84	c |    259128 |     900    60464   200283 |    69421    69470     68 |  0.000 % |
165.87/166.02	c |    259342 |     900    60464   200283 |    69421    61075     62 |  0.000 % |
165.97/166.13	c |    259575 |     900    60464   200283 |    69421    61308     62 |  0.018 % |
166.17/166.32	c |    259831 |     900    60464   200283 |    69421    61564     62 |  0.000 % |
166.37/166.51	c |    260112 |     900    60464   200283 |    61735    61845     62 |  0.000 % |
166.57/166.78	c |    260425 |     900    60464   200283 |    61735    54786     62 |  0.000 % |
166.77/166.97	c |    260765 |     900    60464   200283 |    61735    55126     62 |  0.000 % |
166.97/167.19	c |    261141 |     900    60464   200283 |    61735    55502     62 |  0.000 % |
167.27/167.42	c |    261554 |     900    60464   200283 |    61735    55915     63 |  0.000 % |
167.57/167.71	c |    262005 |     900    60464   200283 |    61735    56366     63 |  0.000 % |
167.87/168.08	c |    262500 |     900    60464   200283 |    61735    56861     63 |  0.000 % |
168.17/168.40	c |    263042 |     900    60464   200283 |    61735    57403     64 |  0.000 % |
168.57/168.75	c |    263642 |     900    60464   200283 |    61735    58003     64 |  0.000 % |
169.07/169.24	c |    264297 |     900    60464   200283 |    61735    58658     65 |  0.000 % |
169.47/169.64	c |    265017 |     900    60464   200283 |    61735    59378     65 |  0.000 % |
170.07/170.24	c |    265810 |     900    60464   200283 |    61735    60171     66 |  0.000 % |
170.57/170.70	c |    266684 |     900    60464   200283 |    61735    61045     66 |  0.017 % |
171.17/171.38	c |    267643 |     900    60464   200283 |    61735    62004     67 |  0.000 % |
171.86/172.07	c |    268696 |     900    60464   200283 |    61735    56857     67 |  0.000 % |
172.57/172.78	c |    269854 |     900    60464   200283 |    61735    58015     68 |  0.000 % |
173.46/173.68	c |    271127 |     900    60464   200283 | 2147483647    59288     68 |  0.017 % |
174.36/174.58	c |    272527 |     900    60464   200283 | 2147483647    60688     68 |  0.000 % |
175.77/175.95	c |    274068 |     900    60464   200283 | 2147483647    62229     69 |  0.000 % |
177.46/177.68	c |    275766 |     900    60464   200283 | 2147483647    63927     71 |  0.000 % |
179.26/179.41	c |    277630 |     900    60464   200283 | 2147483647    65791     72 |  0.000 % |
180.86/181.09	c |    279680 |     900    60464   200283 | 2147483647    67841     73 |  0.000 % |
182.86/183.08	c |    281933 |     900    60464   200283 |    68162    62259     76 |  0.000 % |
185.16/185.39	c |    284412 |     900    60464   200283 |    68162    64738     75 |  0.000 % |
187.26/187.48	c |    287137 |     900    60464   200283 |    68162    67463     75 |  0.019 % |
187.36/187.58	c |    287239 |     900    60464   200283 |    68162    67565     75 |  0.000 % |
187.46/187.68	c |    287350 |     900    60464   200283 |    68162    67676     75 |  0.000 % |
187.56/187.77	c |    287472 |     900    60464   200283 |    68162    67798     75 |  0.000 % |
187.66/187.89	c |    287605 |     900    60464   200283 |    68162    67931     75 |  0.000 % |
187.76/187.99	c |    287751 |     900    60464   200283 |    68162    68077     74 |  0.016 % |
187.96/188.15	c |    287912 |     900    60464   200283 |    68162    68238     74 |  0.000 % |
188.16/188.35	c |    288089 |     900    60464   200283 |    68162    59185     73 |  0.000 % |
188.35/188.54	c |    288284 |     900    60464   200283 |    68162    59380     73 |  0.000 % |
188.55/188.71	c |    288496 |     900    60464   200283 |    68162    59592     73 |  0.000 % |
188.75/188.90	c |    288729 |     900    60464   200283 |    68162    59825     73 |  0.019 % |
188.85/189.06	c |    288985 |     900    60464   200283 |    68162    60081     73 |  0.000 % |
189.06/189.22	c |    289267 |     900    60464   200283 |    68162    60363     73 |  0.019 % |
189.15/189.38	c |    289578 |     900    60464   200283 |    68162    60674     73 |  0.016 % |
189.45/189.69	c |    289917 |     900    60464   200283 |    68162    61013     74 |  0.000 % |
189.75/189.99	c |    290290 |     900    60464   200283 |    61097    61386     74 |  0.000 % |
190.16/190.31	c |    290699 |     900    60464   200283 |    61097    53677     75 |  0.000 % |
190.36/190.59	c |    291150 |     900    60464   200283 |    61097    54128     75 |  0.000 % |
190.75/190.95	c |    291645 |     900    60464   200283 |    61097    54623     75 |  0.000 % |
191.16/191.36	c |    292188 |     900    60464   200283 |    61097    55166     75 |  0.000 % |
191.45/191.69	c |    292784 |     900    60464   200283 |    61097    55762     75 |  0.017 % |
191.95/192.12	c |    293443 |     900    60464   200283 |    61097    56421     75 |  0.014 % |
192.45/192.68	c |    294164 |     900    60464   200283 |    61097    57142     75 |  0.000 % |
192.95/193.15	c |    294956 |     900    60464   200283 |    61097    57934     74 |  0.017 % |
193.55/193.70	c |    295828 |     900    60464   200283 |    61097    58806     74 |  0.017 % |
194.05/194.25	c |    296786 |     900    60464   200283 |    61097    59764     74 |  0.000 % |
194.75/194.90	c |    297841 |     900    60464   200283 |    61097    60819     74 |  0.017 % |
195.56/195.79	c |    299002 |     900    60464   200283 |    61097    54622     76 |  0.000 % |
196.66/196.82	c |    300275 |     900    60464   200283 |    55621    55895     77 |  0.000 % |
197.75/197.91	c |    301676 |     900    60464   200283 |    55621    50733     76 |  0.000 % |
198.65/198.83	c |    303216 |     900    60464   200283 |    55621    52273     76 |  0.018 % |
199.95/200.11	c |    304913 |     900    60464   200283 |    55621    53970     75 |  0.018 % |
200.95/201.10	c |    306776 |     900    60464   200283 |    55621    55833     75 |  0.000 % |
202.05/202.24	c |    308825 |     900    60464   200283 |    55621    51047     71 |  0.000 % |
203.45/203.63	c |    311080 |     900    60464   200283 |    52222    47399     70 |  0.016 % |
205.45/205.64	c |    313560 |     900    60464   200283 |    52222    49879     74 |  0.000 % |
207.35/207.52	c |    316285 |     900    60464   200283 |    52222    52604     76 |  0.000 % |
209.34/209.50	c |    319282 |     900    60464   200283 |    52222    50341     73 |  0.000 % |
209.34/209.57	c |    319382 |     900    60464   200283 |    52222    50441     73 |  0.000 % |
209.44/209.65	c |    319495 |     900    60464   200283 |    52222    50554     73 |  0.000 % |
209.54/209.76	c |    319616 |     900    60464   200283 |    52222    50675     73 |  0.000 % |
209.64/209.82	c |    319750 |     900    60464   200283 |    52222    50809     73 |  0.017 % |
209.74/209.93	c |    319898 |     900    60464   200283 |    52222    50957     73 |  0.018 % |
209.85/210.04	c |    320061 |     900    60464   200283 | 2147483647    51120     73 |  0.000 % |
209.95/210.16	c |    320237 |     900    60464   200283 | 2147483647    51296     73 |  0.000 % |
210.04/210.29	c |    320430 |     900    60464   200283 | 2147483647    51489     73 |  0.000 % |
210.24/210.41	c |    320642 |     900    60464   200283 | 2147483647    51701     74 |  0.000 % |
210.34/210.57	c |    320877 |     900    60464   200283 | 2147483647    51936     74 |  0.015 % |
210.44/210.69	c |    321135 |     900    60464   200283 | 2147483647    52194     74 |  0.018 % |
210.64/210.84	c |    321417 |     900    60464   200283 | 2147483647    52476     73 |  0.018 % |
210.84/211.01	c |    321726 |     900    60464   200283 | 2147483647    52785     73 |  0.000 % |
210.94/211.20	c |    322066 |     900    60464   200283 | 2147483647    53125     73 |  0.000 % |
211.24/211.44	c |    322439 |     900    60464   200283 | 2147483647    53498     74 |  0.000 % |
211.54/211.70	c |    322848 |     900    60464   200283 | 2147483647    53907     74 |  0.000 % |
211.84/212.03	c |    323298 |     900    60464   200283 | 2147483647    54357     74 |  0.000 % |
212.14/212.31	c |    323793 |     900    60464   200283 | 2147483647    54852     74 |  0.000 % |
212.34/212.59	c |    324335 |     900    60464   200283 | 2147483647    55394     74 |  0.000 % |
212.74/212.91	c |    324932 |     900    60464   200283 | 2147483647    55991     74 |  0.000 % |
213.14/213.32	c |    325587 |     900    60464   200283 | 2147483647    56646     74 |  0.000 % |
213.54/213.78	c |    326307 |     900    60464   200283 | 2147483647    57366     74 |  0.000 % |
214.04/214.20	c |    327099 |     900    60464   200283 | 2147483647    58158     75 |  0.000 % |
214.64/214.87	c |    327972 |     900    60464   200283 | 2147483647    59031     76 |  0.000 % |
215.24/215.48	c |    328930 |     900    60464   200283 | 2147483647    59989     76 |  0.017 % |
215.94/216.20	c |    329983 |     900    60464   200283 | 2147483647    61042     76 |  0.000 % |
216.84/217.04	c |    331142 |     900    60464   200283 | 2147483647    62201     76 |  0.000 % |
217.54/217.75	c |    332415 |     900    60464   200283 | 2147483647    63474     76 |  0.017 % |
218.54/218.73	c |    333816 |     900    60464   200283 | 2147483647    64875     76 |  0.017 % |
219.44/219.64	c |    335359 |     900    60464   200283 | 2147483647    66418     75 |  0.017 % |
220.64/220.81	c |    337054 |     900    60464   200283 | 2147483647    68113     75 |  0.018 % |
221.94/222.14	c |    338919 |     900    60464   200283 | 2147483647    69978     76 |  0.000 % |
223.14/223.38	c |    340968 |     900    60464   200283 |    71059    64197     75 |  0.000 % |
224.63/224.81	c |    343221 |     900    60464   200283 |    71059    66450     75 |  0.000 % |
226.13/226.39	c |    345700 |     900    60464   200283 |    71059    68929     74 |  0.017 % |
228.13/228.39	c |    348426 |     900    60464   200283 |    71059    61995     73 |  0.017 % |
230.33/230.51	c |    351424 |     900    60464   200283 |    63569    56414     71 |  0.000 % |
232.33/232.59	c |    354722 |     900    60464   200283 |    63569    59712     70 |  0.017 % |
232.43/232.66	c |    354823 |     900    60464   200283 |    63569    59813     70 |  0.000 % |
232.53/232.74	c |    354935 |     900    60464   200283 |    63569    59925     70 |  0.015 % |
232.63/232.83	c |    355056 |     900    60464   200283 |    63569    60046     70 |  0.015 % |
232.73/232.93	c |    355191 |     900    60464   200283 |    63569    60181     70 |  0.000 % |
232.73/233.00	c |    355337 |     900    60464   200283 |    63569    60327     70 |  0.000 % |
232.83/233.08	c |    355498 |     900    60464   200283 |    63569    60488     70 |  0.019 % |
233.03/233.21	c |    355675 |     900    60464   200283 |    63569    60665     70 |  0.019 % |
233.13/233.34	c |    355868 |     900    60464   200283 |    63569    60858     70 |  0.000 % |
233.23/233.47	c |    356080 |     900    60464   200283 |    63569    61070     70 |  0.000 % |
233.43/233.65	c |    356314 |     900    60464   200283 |    63569    61304     71 |  0.000 % |
233.63/233.84	c |    356570 |     900    60464   200283 |    63569    61560     71 |  0.000 % |
233.83/234.02	c |    356852 |     900    60464   200283 |    63569    61842     71 |  0.000 % |
234.03/234.21	c |    357162 |     900    60464   200283 |    63569    62152     71 |  0.000 % |
234.13/234.37	c |    357501 |     900    60464   200283 |    63569    62491     71 |  0.000 % |
234.43/234.65	c |    357874 |     900    60464   200283 |    63569    62864     71 |  0.000 % |
234.63/234.87	c |    358283 |     900    60464   200283 |    63569    63273     71 |  0.000 % |
234.93/235.15	c |    358732 |     900    60464   200283 |    63569    63722     71 |  0.000 % |
235.23/235.47	c |    359226 |     900    60464   200283 |    63569    57090     71 |  0.017 % |
235.53/235.76	c |    359768 |     900    60464   200283 |    63569    57632     71 |  0.020 % |
235.93/236.12	c |    360364 |     900    60464   200283 |    57867    58228     71 |  0.020 % |
236.23/236.48	c |    361019 |     900    60464   200283 |    57867    52826     65 |  0.000 % |
236.63/236.89	c |    361741 |     900    60464   200283 |    57867    53548     66 |  0.000 % |
237.03/237.27	c |    362533 |     900    60464   200283 |    57867    54340     66 |  0.000 % |
237.63/237.84	c |    363410 |     900    60464   200283 |    57867    55217     68 |  0.000 % |
238.33/238.55	c |    364368 |     900    60464   200283 |    57867    56175     68 |  0.014 % |
238.83/239.09	c |    365421 |     900    60464   200283 |    57867    57228     68 |  0.000 % |
239.53/239.78	c |    366579 |     900    60464   200283 |    57867    52551     66 |  0.014 % |
240.22/240.43	c |    367855 |     900    60464   200283 |    57867    53827     68 |  0.000 % |
241.03/241.22	c |    369255 |     900    60464   200283 |    57867    55227     69 |  0.000 % |
241.92/242.12	c |    370795 |     900    60464   200283 | 2147483647    56767     69 |  0.000 % |
242.72/242.97	c |    372489 |     900    60464   200283 | 2147483647    58461     70 |  0.019 % |
243.72/243.95	c |    374352 |     900    60464   200283 | 2147483647    60324     69 |  0.000 % |
244.92/245.10	c |    376401 |     900    60464   200283 | 2147483647    62373     69 |  0.019 % |
246.13/246.40	c |    378656 |     900    60464   200283 | 2147483647    64628     70 |  0.000 % |
247.72/247.94	c |    381136 |     900    60464   200283 | 2147483647    67108     70 |  0.019 % |
249.52/249.78	c |    383862 |     900    60464   200283 | 2147483647    69834     70 |  0.000 % |
251.92/252.11	c |    386861 |     900    60464   200283 | 2147483647    72833     69 |  0.000 % |
254.72/254.97	c |    390157 |     900    60464   200283 |    75972    76129     69 |  0.017 % |
257.92/258.10	c |    393782 |     900    60464   200283 |    75972    70881     66 |  0.019 % |
257.92/258.18	c |    393882 |     900    60464   200283 |    75972    70981     66 |  0.017 % |
258.03/258.28	c |    393994 |     900    60464   200283 |    75972    71093     66 |  0.000 % |
258.23/258.41	c |    394116 |     900    60464   200283 |    75972    71215     66 |  0.019 % |
258.33/258.55	c |    394250 |     900    60464   200283 |    75972    71349     66 |  0.019 % |
258.42/258.69	c |    394397 |     900    60464   200283 |    75972    71496     66 |  0.019 % |
258.62/258.83	c |    394557 |     900    60464   200283 |    75972    71656     66 |  0.019 % |
258.72/258.99	c |    394735 |     900    60464   200283 |    75972    71834     66 |  0.000 % |
258.92/259.15	c |    394928 |     900    60464   200283 |    75972    72027     66 |  0.000 % |
259.12/259.30	c |    395141 |     900    60464   200283 |    75972    72240     66 |  0.000 % |
259.22/259.47	c |    395374 |     900    60464   200283 |    75972    72473     66 |  0.000 % |
259.42/259.63	c |    395630 |     900    60464   200283 |    75972    72729     66 |  0.020 % |
259.62/259.82	c |    395911 |     900    60464   200283 |    75972    73010     66 |  0.000 % |
259.82/260.02	c |    396220 |     900    60464   200283 |    75972    73319     66 |  0.017 % |
260.02/260.25	c |    396560 |     900    60464   200283 |    75972    73659     66 |  0.016 % |
260.32/260.59	c |    396933 |     900    60464   200283 |    75972    74032     66 |  0.000 % |
260.72/260.93	c |    397343 |     900    60464   200283 |    75972    74442     66 |  0.000 % |
261.02/261.21	c |    397792 |     900    60464   200283 |    75972    74891     66 |  0.000 % |
261.32/261.52	c |    398285 |     900    60464   200283 |    75972    75384     66 |  0.015 % |
261.72/261.90	c |    398827 |     900    60464   200283 |    75972    75926     66 |  0.000 % |
262.22/262.42	c |    399424 |     900    60464   200283 |    75972    66798     65 |  0.016 % |
262.62/262.87	c |    400080 |     900    60464   200283 |    67374    67454     65 |  0.017 % |
263.22/263.47	c |    400800 |     900    60464   200283 |    67374    59824     67 |  0.000 % |
263.82/264.02	c |    401593 |     900    60464   200283 |    67374    60617     68 |  0.000 % |
264.42/264.66	c |    402466 |     900    60464   200283 |    67374    61490     68 |  0.000 % |
265.12/265.33	c |    403425 |     900    60464   200283 |    67374    62449     69 |  0.000 % |
265.82/266.07	c |    404479 |     900    60464   200283 |    67374    63503     69 |  0.000 % |
266.62/266.85	c |    405638 |     900    60464   200283 |    67374    64662     69 |  0.000 % |
267.32/267.59	c |    406911 |     900    60464   200283 |    67374    65935     69 |  0.000 % |
268.42/268.61	c |    408312 |     900    60464   200283 |    67374    67336     69 |  0.017 % |
269.52/269.74	c |    409856 |     900    60464   200283 |    67374    62099     69 |  0.000 % |
270.72/271.00	c |    411550 |     900    60464   200283 | 2147483647    63793     70 |  0.016 % |
272.11/272.34	c |    413416 |     900    60464   200283 | 2147483647    65659     71 |  0.000 % |
273.51/273.73	c |    415465 |     900    60464   200283 | 2147483647    67708     72 |  0.000 % |
274.91/275.10	c |    417719 |     900    60464   200283 | 2147483647    69962     73 |  0.000 % |
276.41/276.61	c |    420199 |     900    60464   200283 | 2147483647    72442     74 |  0.000 % |
278.61/278.83	c |    422924 |     900    60464   200283 | 2147483647    75167     74 |  0.015 % |
280.71/280.99	c |    425921 |     900    60464   200283 | 2147483647    78164     75 |  0.000 % |
283.01/283.22	c |    429218 |     900    60464   200283 | 2147483647    81461     74 |  0.017 % |
285.91/286.19	c |    432844 |     900    60464   200283 |    82243    73113     69 |  0.017 % |
289.01/289.22	c |    436831 |     900    60464   200283 |    82243    77100     69 |  0.017 % |
289.11/289.30	c |    436931 |     900    60464   200283 |    82243    77200     69 |  0.015 % |
289.11/289.38	c |    437043 |     900    60464   200283 |    82243    77312     69 |  0.016 % |
289.31/289.51	c |    437166 |     900    60464   200283 |    82243    77435     69 |  0.000 % |
289.41/289.66	c |    437299 |     900    60464   200283 |    82243    77568     69 |  0.000 % |
289.51/289.78	c |    437448 |     900    60464   200283 |    82243    77717     69 |  0.000 % |
289.71/289.91	c |    437609 |     900    60464   200283 |    82243    77878     69 |  0.000 % |
289.81/290.05	c |    437786 |     900    60464   200283 |    82243    78055     69 |  0.000 % |
289.91/290.19	c |    437980 |     900    60464   200283 |    82243    78249     69 |  0.019 % |
290.11/290.31	c |    438195 |     900    60464   200283 |    82243    78464     69 |  0.019 % |
290.21/290.48	c |    438429 |     900    60464   200283 |    82243    78698     69 |  0.019 % |
290.41/290.66	c |    438687 |     900    60464   200283 |    82243    78956     69 |  0.000 % |
290.61/290.83	c |    438969 |     900    60464   200283 |    82243    79238     69 |  0.018 % |
290.81/291.03	c |    439279 |     900    60464   200283 |    82243    79548     69 |  0.018 % |
291.01/291.23	c |    439620 |     900    60464   200283 |    82243    79889     69 |  0.015 % |
291.21/291.50	c |    439992 |     900    60464   200283 |    82243    80261     68 |  0.000 % |
291.51/291.77	c |    440402 |     900    60464   200283 |    80269    80671     68 |  0.019 % |
291.91/292.17	c |    440853 |     900    60464   200283 |    80269    68683     67 |  0.000 % |
292.21/292.50	c |    441346 |     900    60464   200283 |    80269    69176     67 |  0.000 % |
292.60/292.87	c |    441888 |     900    60464   200283 |    80269    69718     67 |  0.016 % |
293.00/293.28	c |    442484 |     900    60464   200283 |    80269    70314     67 |  0.000 % |
293.51/293.73	c |    443139 |     900    60464   200283 |    80269    70969     66 |  0.017 % |
294.00/294.20	c |    443860 |     900    60464   200283 |    80269    71690     66 |  0.017 % |
294.51/294.73	c |    444653 |     900    60464   200283 |    80269    72483     66 |  0.017 % |
295.10/295.35	c |    445526 |     900    60464   200283 |    80269    73356     66 |  0.017 % |
296.00/296.23	c |    446485 |     900    60464   200283 |    80269    74315     67 |  0.000 % |
296.71/296.98	c |    447538 |     900    60464   200283 |    80269    75368     68 |  0.000 % |
297.70/297.95	c |    448696 |     900    60464   200283 |    80269    76526     69 |  0.000 % |
298.70/298.93	c |    449970 |     900    60464   200283 |    80269    77800     70 |  0.000 % |
299.90/300.10	c |    451370 |     900    60464   200283 |    77830    69434     71 |  0.021 % |
301.30/301.55	c |    452913 |     900    60464   200283 |    77830    70977     71 |  0.000 % |
302.80/303.03	c |    454607 |     900    60464   200283 |    77830    72671     71 |  0.017 % |
304.50/304.78	c |    456470 |     900    60464   200283 |    77830    74534     71 |  0.013 % |
306.40/306.67	c |    458519 |     900    60464   200283 |    77830    76583     70 |  0.013 % |
308.70/308.91	c |    460774 |     900    60464   200283 |    78064    65695     72 |  0.000 % |
310.50/310.77	c |    463252 |     900    60464   200283 |    78064    68173     73 |  0.000 % |
312.30/312.59	c |    465978 |     900    60464   200283 |    78064    70899     72 |  0.019 % |
314.50/314.72	c |    468975 |     900    60464   200283 |    78064    73896     71 |  0.017 % |
316.79/317.00	c |    472271 |     900    60464   200283 |    74921    64932     66 |  0.016 % |
319.39/319.66	c |    475896 |     900    60464   200283 |    74921    68557     65 |  0.019 % |
321.59/321.82	c |    479885 |     900    60464   200283 |    74921    72546     65 |  0.016 % |
324.59/324.87	c |    484271 |     900    60464   200283 |    72662    66068     62 |  0.017 % |
324.69/324.93	c |    484371 |     900    60464   200283 |    72662    66168     62 |  0.017 % |
324.79/325.02	c |    484482 |     900    60464   200283 |    72662    66279     62 |  0.017 % |
324.89/325.11	c |    484604 |     900    60464   200283 |    72662    66401     62 |  0.000 % |
324.99/325.20	c |    484737 |     900    60464   200283 |    72662    66534     62 |  0.017 % |
325.09/325.31	c |    484885 |     900    60464   200283 |    72662    66682     62 |  0.017 % |
325.19/325.41	c |    485046 |     900    60464   200283 |    72662    66843     62 |  0.000 % |
325.30/325.55	c |    485225 |     900    60464   200283 |    72662    67022     62 |  0.000 % |
325.40/325.68	c |    485420 |     900    60464   200283 |    72662    67217     62 |  0.016 % |
325.59/325.83	c |    485633 |     900    60464   200283 |    72662    67430     62 |  0.016 % |
325.69/325.98	c |    485868 |     900    60464   200283 |    72662    67665     62 |  0.016 % |
325.89/326.15	c |    486124 |     900    60464   200283 |    72662    67921     62 |  0.000 % |
326.09/326.37	c |    486405 |     900    60464   200283 |    72662    68202     62 |  0.000 % |
326.29/326.58	c |    486715 |     900    60464   200283 |    72662    68512     62 |  0.000 % |
326.50/326.77	c |    487054 |     900    60464   200283 |    72662    68851     62 |  0.000 % |
326.79/327.03	c |    487428 |     900    60464   200283 |    72662    69225     63 |  0.000 % |
326.99/327.29	c |    487839 |     900    60464   200283 |    72662    69636     63 |  0.000 % |
327.29/327.58	c |    488290 |     900    60464   200283 |    72662    70087     63 |  0.000 % |
327.60/327.86	c |    488783 |     900    60464   200283 |    72662    70580     63 |  0.017 % |
327.99/328.21	c |    489325 |     900    60464   200283 |    72662    71122     63 |  0.017 % |
328.29/328.59	c |    489924 |     900    60464   200283 |    72662    71721     63 |  0.018 % |
328.89/329.17	c |    490579 |     900    60464   200283 |    71798    63678     64 |  0.018 % |
329.39/329.66	c |    491300 |     900    60464   200283 |    71798    64399     64 |  0.000 % |
329.89/330.15	c |    492093 |     900    60464   200283 |    71798    65192     65 |  0.000 % |
330.59/330.87	c |    492964 |     900    60464   200283 |    71798    66063     66 |  0.000 % |
331.29/331.53	c |    493925 |     900    60464   200283 |    71798    67024     66 |  0.000 % |
332.09/332.34	c |    494978 |     900    60464   200283 |    71798    68077     67 |  0.000 % |
332.89/333.18	c |    496136 |     900    60464   200283 |    71798    69235     67 |  0.000 % |
333.89/334.17	c |    497409 |     900    60464   200283 |    71798    70508     67 |  0.015 % |
334.89/335.12	c |    498810 |     900    60464   200283 |    71798    71909     66 |  0.015 % |
336.18/336.42	c |    500352 |     900    60464   200283 |    64489    64841     66 |  0.017 % |
336.98/337.27	c |    502048 |     900    60464   200283 |    64489    58776     62 |  0.017 % |
338.59/338.83	c |    503915 |     900    60464   200283 |    64489    60643     64 |  0.000 % |
339.98/340.23	c |    505964 |     900    60464   200283 |    64489    62692     65 |  0.000 % |
341.58/341.86	c |    508217 |     900    60464   200283 |    64489    64945     65 |  0.000 % |
343.18/343.47	c |    510695 |     900    60464   200283 | 2147483647    60929     64 |  0.000 % |
345.09/345.39	c |    513421 |     900    60464   200283 | 2147483647    63655     64 |  0.016 % |
347.08/347.36	c |    516418 |     900    60464   200283 | 2147483647    66652     63 |  0.018 % |
349.38/349.62	c |    519714 |     900    60464   200283 | 2147483647    69948     62 |  0.000 % |
351.98/352.21	c |    523342 |     900    60464   200283 |    70237    65376     59 |  0.018 % |
355.08/355.33	c |    527330 |     900    60464   200283 |    70237    69364     58 |  0.018 % |
358.08/358.37	c |    531716 |     900    60464   200283 |    62763    56089     60 |  0.018 % |
361.48/361.77	c |    536540 |     900    60464   200283 |    62763    60913     60 |  0.017 % |
361.58/361.87	c |    536640 |     900    60464   200283 |    62763    61013     60 |  0.000 % |
361.68/361.94	c |    536750 |     900    60464   200283 |    62763    61123     60 |  0.000 % |
361.78/362.02	c |    536871 |     900    60464   200283 |    62763    61244     60 |  0.000 % |
361.88/362.10	c |    537004 |     900    60464   200283 |    62763    61377     60 |  0.000 % |
361.98/362.23	c |    537152 |     900    60464   200283 |    62763    61525     60 |  0.000 % |
362.08/362.32	c |    537313 |     900    60464   200283 |    62763    61686     60 |  0.016 % |
362.18/362.41	c |    537489 |     900    60464   200283 |    62763    61862     60 |  0.016 % |
362.28/362.54	c |    537684 |     900    60464   200283 |    62763    62057     60 |  0.017 % |
362.38/362.66	c |    537898 |     900    60464   200283 |    62763    62271     60 |  0.019 % |
362.48/362.78	c |    538132 |     900    60464   200283 |    62763    62505     60 |  0.019 % |
362.68/362.93	c |    538388 |     900    60464   200283 |    62763    62761     60 |  0.013 % |
362.88/363.12	c |    538671 |     900    60464   200283 |    62763    63044     60 |  0.019 % |
363.08/363.35	c |    538981 |     900    60464   200283 |    62763    56078     58 |  0.017 % |
363.28/363.54	c |    539320 |     900    60464   200283 |    62763    56417     58 |  0.000 % |
363.47/363.75	c |    539696 |     900    60464   200283 |    62763    56793     58 |  0.000 % |
363.67/363.98	c |    540105 |     900    60464   200283 |    57097    57202     58 |  0.019 % |
363.97/364.21	c |    540556 |     900    60464   200283 |    57097    51399     55 |  0.019 % |
364.27/364.50	c |    541050 |     900    60464   200283 |    57097    51893     56 |  0.000 % |
364.47/364.79	c |    541594 |     900    60464   200283 |    57097    52437     56 |  0.000 % |
364.77/365.08	c |    542192 |     900    60464   200283 |    57097    53035     57 |  0.000 % |
365.07/365.38	c |    542847 |     900    60464   200283 |    57097    53690     57 |  0.000 % |
365.47/365.76	c |    543568 |     900    60464   200283 |    57097    54411     58 |  0.021 % |
366.08/366.33	c |    544360 |     900    60464   200283 |    57097    55203     59 |  0.000 % |
366.47/366.78	c |    545231 |     900    60464   200283 |    57097    56074     60 |  0.000 % |
366.97/367.25	c |    546190 |     900    60464   200283 |    57097    57033     60 |  0.000 % |
367.57/367.84	c |    547245 |     900    60464   200283 |    57097    52321     59 |  0.000 % |
368.18/368.44	c |    548404 |     900    60464   200283 |    57097    53480     60 |  0.000 % |
368.87/369.11	c |    549678 |     900    60464   200283 |    57097    54754     60 |  0.000 % |
369.47/369.77	c |    551078 |     900    60464   200283 | 2147483647    56154     60 |  0.000 % |
370.37/370.67	c |    552618 |     900    60464   200283 | 2147483647    57694     62 |  0.000 % |
371.27/371.53	c |    554313 |     900    60464   200283 | 2147483647    59389     64 |  0.000 % |
372.17/372.46	c |    556178 |     900    60464   200283 | 2147483647    61254     64 |  0.020 % |
373.27/373.53	c |    558230 |     900    60464   200283 | 2147483647    63306     64 |  0.000 % |
374.67/374.91	c |    560483 |     900    60464   200283 | 2147483647    65559     63 |  0.015 % |
376.17/376.49	c |    562962 |     900    60464   200283 | 2147483647    68038     63 |  0.015 % |
378.17/378.46	c |    565688 |     900    60464   200283 | 2147483647    70764     62 |  0.014 % |
380.37/380.69	c |    568687 |     900    60464   200283 | 2147483647    73763     62 |  0.020 % |
382.66/382.91	c |    571983 |     900    60464   200283 | 2147483647    77059     62 |  0.000 % |
385.06/385.38	c |    575609 |     900    60464   200283 | 2147483647    80685     62 |  0.017 % |
388.46/388.73	c |    579598 |     900    60464   200283 | 2147483647    84674     61 |  0.017 % |
391.76/392.06	c |    583984 |     900    60464   200283 |    85077    76939     63 |  0.000 % |
394.96/395.27	c |    588807 |     900    60464   200283 |    85077    81762     65 |  0.000 % |
399.26/399.51	c |    594112 |     900    60464   200283 |    82955    77272     67 |  0.019 % |
399.26/399.58	c |    594214 |     900    60464   200283 |    82955    77374     67 |  0.017 % |
399.36/399.67	c |    594324 |     900    60464   200283 |    82955    77484     67 |  0.017 % |
399.46/399.77	c |    594446 |     900    60464   200283 |    82955    77606     67 |  0.017 % |
399.56/399.87	c |    594579 |     900    60464   200283 |    82955    77739     67 |  0.015 % |
399.66/399.99	c |    594725 |     900    60464   200283 |    82955    77885     67 |  0.000 % |
399.86/400.12	c |    594887 |     900    60464   200283 |    82955    78047     67 |  0.000 % |
399.96/400.24	c |    595063 |     900    60464   200283 |    82955    78223     67 |  0.000 % |
400.16/400.43	c |    595256 |     900    60464   200283 |    82955    78416     67 |  0.000 % |
400.36/400.66	c |    595468 |     900    60464   200283 |    82955    78628     67 |  0.000 % |
400.56/400.88	c |    595701 |     900    60464   200283 |    82955    78861     67 |  0.000 % |
400.76/401.05	c |    595957 |     900    60464   200283 |    82955    79117     67 |  0.000 % |
400.96/401.24	c |    596238 |     900    60464   200283 |    82955    79398     67 |  0.000 % |
401.16/401.43	c |    596547 |     900    60464   200283 |    82955    79707     67 |  0.019 % |
401.46/401.74	c |    596887 |     900    60464   200283 |    82955    80047     68 |  0.000 % |
401.65/401.94	c |    597259 |     900    60464   200283 |    82955    80419     68 |  0.019 % |
401.85/402.16	c |    597668 |     900    60464   200283 |    82955    80828     68 |  0.020 % |
402.15/402.42	c |    598117 |     900    60464   200283 |    82955    81277     68 |  0.000 % |
402.45/402.77	c |    598610 |     900    60464   200283 |    82955    81770     68 |  0.017 % |
402.85/403.18	c |    599152 |     900    60464   200283 |    82955    82312     67 |  0.016 % |
403.36/403.61	c |    599750 |     900    60464   200283 |    82955    82910     67 |  0.017 % |
403.85/404.13	c |    600406 |     900    60464   200283 |    83160    83566     67 |  0.017 % |
404.46/404.77	c |    601126 |     900    60464   200283 |    83160    72790     69 |  0.017 % |
405.05/405.37	c |    601919 |     900    60464   200283 |    83160    73583     69 |  0.000 % |
405.66/405.94	c |    602791 |     900    60464   200283 |    83160    74455     69 |  0.018 % |
406.35/406.64	c |    603749 |     900    60464   200283 |    83160    75413     69 |  0.018 % |
407.15/407.43	c |    604803 |     900    60464   200283 |    83160    76467     69 |  0.015 % |
407.86/408.13	c |    605961 |     900    60464   200283 |    83160    77625     69 |  0.018 % |
408.75/409.02	c |    607235 |     900    60464   200283 |    83160    78899     68 |  0.018 % |
409.75/410.07	c |    608636 |     900    60464   200283 |    83160    80300     68 |  0.018 % |
410.75/411.06	c |    610176 |     900    60464   200283 |    81665    81840     68 |  0.017 % |
411.85/412.15	c |    611874 |     900    60464   200283 |    81665    72657     65 |  0.017 % |
413.15/413.46	c |    613738 |     900    60464   200283 |    81665    74521     64 |  0.018 % |
414.35/414.67	c |    615787 |     900    60464   200283 |    81665    76570     64 |  0.017 % |
415.95/416.25	c |    618040 |     900    60464   200283 |    81665    78823     64 |  0.018 % |
417.85/418.20	c |    620524 |     900    60464   200283 |    80783    81307     65 |  0.000 % |
419.55/419.88	c |    623250 |     900    60464   200283 |    80783    74929     65 |  0.000 % |
421.44/421.73	c |    626247 |     900    60464   200283 |    80783    77926     64 |  0.017 % |
423.65/423.91	c |    629545 |     900    60464   200283 |    80783    81224     64 |  0.000 % |
426.04/426.34	c |    633172 |     900    60464   200283 | 2147483647    76729     68 |  0.000 % |
429.14/429.45	c |    637159 |     900    60464   200283 | 2147483647    80716     70 |  0.000 % |
432.95/433.27	c |    641549 |     900    60464   200283 |    83560    74804     73 |  0.000 % |
437.55/437.87	c |    646372 |     900    60464   200283 |    83560    79627     76 |  0.000 % |
443.24/443.58	c |    651678 |     900    60464   200283 |    83258    70993     76 |  0.000 % |
449.84/450.19	c |    657515 |     900    60464   200283 |    83258    76830     78 |  0.000 % |
450.04/450.33	c |    657616 |     900    60464   200283 |    83258    76931     78 |  0.000 % |
450.14/450.42	c |    657727 |     900    60464   200283 |    83258    77042     78 |  0.000 % |
450.24/450.58	c |    657850 |     900    60464   200283 |    83258    77165     78 |  0.000 % |
450.44/450.73	c |    657985 |     900    60464   200283 |    83258    77300     78 |  0.000 % |
450.54/450.89	c |    658131 |     900    60464   200283 |    83258    77446     78 |  0.000 % |
450.74/451.04	c |    658296 |     900    60464   200283 |    83258    77611     78 |  0.000 % |
450.94/451.21	c |    658472 |     900    60464   200283 |    83258    77787     78 |  0.000 % |
451.04/451.39	c |    658665 |     900    60464   200283 |    83258    77980     78 |  0.019 % |
451.24/451.54	c |    658878 |     900    60464   200283 |    83258    78193     78 |  0.017 % |
451.44/451.73	c |    659112 |     900    60464   200283 |    83258    78427     78 |  0.015 % |
451.64/452.00	c |    659369 |     900    60464   200283 |    83258    78684     78 |  0.017 % |
451.94/452.24	c |    659651 |     900    60464   200283 |    83258    78966     77 |  0.017 % |
452.24/452.51	c |    659961 |     900    60464   200283 |    83258    79276     77 |  0.017 % |
452.43/452.79	c |    660301 |     900    60464   200283 |    79315    79616     77 |  0.017 % |
452.84/453.16	c |    660673 |     900    60464   200283 |    79315    64758     80 |  0.016 % |
453.13/453.49	c |    661083 |     900    60464   200283 |    79315    65168     80 |  0.000 % |
453.63/453.97	c |    661532 |     900    60464   200283 |    79315    65617     80 |  0.000 % |
454.23/454.59	c |    662025 |     900    60464   200283 |    79315    66110     81 |  0.000 % |
454.93/455.28	c |    662568 |     900    60464   200283 |    79315    66653     81 |  0.000 % |
455.53/455.87	c |    663164 |     900    60464   200283 |    79315    67249     81 |  0.000 % |
456.03/456.38	c |    663821 |     900    60464   200283 |    79315    67906     82 |  0.000 % |
456.73/457.09	c |    664544 |     900    60464   200283 |    79315    68629     82 |  0.000 % |
457.43/457.79	c |    665336 |     900    60464   200283 |    79315    69421     82 |  0.000 % |
458.23/458.60	c |    666208 |     900    60464   200283 |    79315    70293     82 |  0.000 % |
459.13/459.49	c |    667166 |     900    60464   200283 |    79315    71251     82 |  0.000 % |
460.33/460.65	c |    668221 |     900    60464   200283 |    79315    72306     82 |  0.000 % |
461.23/461.59	c |    669382 |     900    60464   200283 |    79315    73467     82 |  0.000 % |
462.53/462.81	c |    670657 |     900    60464   200283 |    74085    60085     88 |  0.000 % |
463.63/463.91	c |    672060 |     900    60464   200283 |    74085    61488     87 |  0.017 % |
465.03/465.37	c |    673600 |     900    60464   200283 |    74085    63028     88 |  0.000 % |
466.73/467.05	c |    675296 |     900    60464   200283 |    74085    64724     88 |  0.000 % |
468.63/468.97	c |    677159 |     900    60464   200283 |    74085    66587     88 |  0.000 % |
470.53/470.89	c |    679208 |     900    60464   200283 |    74085    68636     87 |  0.000 % |
472.83/473.17	c |    681462 |     900    60464   200283 |    69429    56284     85 |  0.017 % |
474.93/475.24	c |    683941 |     900    60464   200283 |    69429    58763     84 |  0.000 % |
477.03/477.30	c |    686666 |     900    60464   200283 |    69429    61488     83 |  0.000 % |
479.43/479.75	c |    689664 |     900    60464   200283 |    69429    64486     82 |  0.000 % |
481.83/482.13	c |    692960 |     900    60464   200283 |    64823    54847     73 |  0.015 % |
484.13/484.43	c |    696586 |     900    60464   200283 |    64823    58473     73 |  0.000 % |
487.43/487.77	c |    700573 |     900    60464   200283 |    61887    52899     72 |  0.000 % |
490.63/490.99	c |    704960 |     900    60464   200283 |    61887    57286     75 |  0.000 % |
493.83/494.19	c |    709784 |     900    60464   200283 |    61887    62110     76 |  0.000 % |
497.23/497.51	c |    715090 |     900    60464   200283 |    55585    54708     74 |  0.000 % |
501.82/502.10	c |    720925 |     900    60464   200283 | 2147483647    54940     79 |  0.000 % |
507.12/507.41	c |    727348 |     900    60464   200283 | 2147483647    61363     81 |  0.000 % |
507.12/507.50	c |    727448 |     900    60464   200283 | 2147483647    61463     81 |  0.019 % |
507.22/507.58	c |    727558 |     900    60464   200283 | 2147483647    61573     81 |  0.000 % |
507.32/507.69	c |    727679 |     900    60464   200283 | 2147483647    61694     81 |  0.000 % |
507.42/507.79	c |    727813 |     900    60464   200283 | 2147483647    61828     81 |  0.000 % |
507.62/507.94	c |    727962 |     900    60464   200283 | 2147483647    61977     81 |  0.000 % |
507.72/508.09	c |    728124 |     900    60464   200283 | 2147483647    62139     81 |  0.017 % |
507.93/508.21	c |    728301 |     900    60464   200283 | 2147483647    62316     81 |  0.017 % |
508.02/508.36	c |    728494 |     900    60464   200283 | 2147483647    62509     81 |  0.000 % |
508.22/508.54	c |    728706 |     900    60464   200283 | 2147483647    62721     81 |  0.000 % |
508.32/508.69	c |    728940 |     900    60464   200283 | 2147483647    62955     81 |  0.000 % |
508.52/508.88	c |    729196 |     900    60464   200283 | 2147483647    63211     81 |  0.000 % |
508.82/509.13	c |    729478 |     900    60464   200283 | 2147483647    63493     81 |  0.000 % |
509.12/509.41	c |    729788 |     900    60464   200283 | 2147483647    63803     81 |  0.017 % |
509.32/509.67	c |    730127 |     900    60464   200283 |    64018    64142     80 |  0.000 % |
509.62/509.95	c |    730504 |     900    60464   200283 |    64018    56238     81 |  0.000 % |
510.02/510.33	c |    730916 |     900    60464   200283 |    64018    56650     82 |  0.000 % |
510.32/510.67	c |    731366 |     900    60464   200283 |    64018    57100     82 |  0.000 % |
510.72/511.03	c |    731859 |     900    60464   200283 |    64018    57593     82 |  0.000 % |
511.12/511.43	c |    732404 |     900    60464   200283 |    64018    58138     82 |  0.018 % |
511.52/511.81	c |    733000 |     900    60464   200283 |    64018    58734     82 |  0.016 % |
512.12/512.43	c |    733655 |     900    60464   200283 |    64018    59389     82 |  0.000 % |
512.72/513.03	c |    734376 |     900    60464   200283 |    64018    60110     82 |  0.017 % |
513.32/513.67	c |    735170 |     900    60464   200283 |    64018    60904     82 |  0.000 % |
513.92/514.25	c |    736041 |     900    60464   200283 |    64018    61775     82 |  0.000 % |
514.82/515.13	c |    737000 |     900    60464   200283 |    64018    62734     83 |  0.000 % |
516.01/516.36	c |    738056 |     900    60464   200283 |    64018    63790     84 |  0.000 % |
517.51/517.84	c |    739214 |     900    60464   200283 |    64018    57537     87 |  0.000 % |
518.71/519.02	c |    740487 |     900    60464   200283 |    58324    58810     87 |  0.000 % |
520.02/520.37	c |    741887 |     900    60464   200283 |    58324    52949     91 |  0.000 % |
521.41/521.76	c |    743427 |     900    60464   200283 |    58324    54489     91 |  0.000 % |
522.81/523.10	c |    745121 |     900    60464   200283 |    58324    56183     91 |  0.019 % |
523.91/524.23	c |    746986 |     900    60464   200283 |    58324    58048     90 |  0.000 % |
525.31/525.67	c |    749035 |     900    60464   200283 |    58324    51977     83 |  0.000 % |
527.41/527.78	c |    751288 |     900    60464   200283 |    52942    47266     85 |  0.000 % |
529.21/529.58	c |    753768 |     900    60464   200283 |    52942    49746     86 |  0.000 % |
531.61/531.91	c |    756493 |     900    60464   200283 |    52942    52471     86 |  0.000 % |
534.21/534.50	c |    759490 |     900    60464   200283 |    52942    48927     82 |  0.000 % |
536.21/536.50	c |    762786 |     900    60464   200283 |    49437    46722     79 |  0.000 % |
538.51/538.84	c |    766412 |     900    60464   200283 |    49437    45344     77 |  0.017 % |
541.20/541.55	c |    770400 |     900    60464   200283 |    48933    49332     76 |  0.000 % |
544.11/544.40	c |    774787 |     900    60464   200283 |    48933    48333     74 |  0.000 % |
547.51/547.84	c |    779610 |     900    60464   200283 |    48933    48074     69 |  0.000 % |
551.30/551.61	c |    784916 |     900    60464   200283 | 2147483647    53380     69 |  0.000 % |
556.00/556.40	c |    790751 |     900    60464   200283 |    58467    51504     65 |  0.000 % |
561.10/561.42	c |    797169 |     900    60464   200283 |    58467    57922     65 |  0.017 % |
567.00/567.32	c |    804228 |     900    60464   200283 |    51923    48284     60 |  0.000 % |
567.10/567.40	c |    804328 |     900    60464   200283 |    51923    48384     60 |  0.000 % |
567.10/567.49	c |    804440 |     900    60464   200283 |    51923    48496     60 |  0.000 % |
567.30/567.62	c |    804562 |     900    60464   200283 |    51923    48618     60 |  0.000 % |
567.40/567.71	c |    804695 |     900    60464   200283 |    51923    48751     60 |  0.000 % |
567.40/567.79	c |    804842 |     900    60464   200283 |    51923    48898     60 |  0.000 % |
567.49/567.88	c |    805002 |     900    60464   200283 |    51923    49058     61 |  0.000 % |
567.59/567.97	c |    805178 |     900    60464   200283 |    51923    49234     61 |  0.000 % |
567.69/568.04	c |    805371 |     900    60464   200283 |    51923    49427     61 |  0.000 % |
567.79/568.17	c |    805583 |     900    60464   200283 |    51923    49639     61 |  0.015 % |
567.89/568.29	c |    805816 |     900    60464   200283 |    51923    49872     61 |  0.000 % |
568.09/568.42	c |    806077 |     900    60464   200283 |    51923    50133     61 |  0.000 % |
568.30/568.60	c |    806358 |     900    60464   200283 |    51923    50414     62 |  0.000 % |
568.40/568.77	c |    806670 |     900    60464   200283 |    51923    50726     62 |  0.015 % |
568.59/568.94	c |    807009 |     900    60464   200283 |    51923    51065     62 |  0.000 % |
568.79/569.10	c |    807381 |     900    60464   200283 |    51923    51437     62 |  0.000 % |
568.99/569.34	c |    807792 |     900    60464   200283 |    51923    51848     63 |  0.000 % |
569.19/569.52	c |    808241 |     900    60464   200283 |    51923    52297     63 |  0.000 % |
569.39/569.78	c |    808735 |     900    60464   200283 |    51923    47562     62 |  0.018 % |
569.59/570.00	c |    809277 |     900    60464   200283 |    51923    48104     62 |  0.000 % |
569.89/570.23	c |    809875 |     900    60464   200283 |    51923    48702     63 |  0.000 % |
570.19/570.51	c |    810530 |     900    60464   200283 | 2147483647    49357     63 |  0.000 % |
570.49/570.83	c |    811252 |     900    60464   200283 | 2147483647    50079     64 |  0.000 % |
570.89/571.26	c |    812044 |     900    60464   200283 | 2147483647    50871     65 |  0.000 % |
571.39/571.76	c |    812916 |     900    60464   200283 | 2147483647    51743     66 |  0.000 % |
571.89/572.21	c |    813877 |     900    60464   200283 | 2147483647    52704     67 |  0.000 % |
572.39/572.74	c |    814934 |     900    60464   200283 | 2147483647    53761     67 |  0.000 % |
572.89/573.25	c |    816093 |     900    60464   200283 | 2147483647    54920     67 |  0.000 % |
573.79/574.10	c |    817367 |     900    60464   200283 | 2147483647    56194     68 |  0.000 % |
574.49/574.84	c |    818771 |     900    60464   200283 | 2147483647    57598     69 |  0.000 % |
575.19/575.56	c |    820314 |     900    60464   200283 | 2147483647    59141     69 |  0.000 % |
576.19/576.57	c |    822009 |     900    60464   200283 | 2147483647    60836     69 |  0.019 % |
577.69/578.08	c |    823872 |     900    60464   200283 | 2147483647    62699     71 |  0.000 % |
579.19/579.50	c |    825921 |     900    60464   200283 | 2147483647    64748     72 |  0.000 % |
580.69/581.04	c |    828177 |     900    60464   200283 | 2147483647    67004     72 |  0.000 % |
582.59/582.92	c |    830659 |     900    60464   200283 | 2147483647    69486     73 |  0.000 % |
584.39/584.74	c |    833385 |     900    60464   200283 | 2147483647    72212     74 |  0.000 % |
586.39/586.79	c |    836382 |     900    60464   200283 | 2147483647    75209     74 |  0.000 % |
588.58/588.98	c |    839678 |     900    60464   200283 | 2147483647    78505     75 |  0.000 % |
591.49/591.85	c |    843304 |     900    60464   200283 |    78828    72343     76 |  0.000 % |
594.69/595.02	c |    847292 |     900    60464   200283 |    78828    76331     74 |  0.017 % |
598.48/598.87	c |    851677 |     900    60464   200283 |    79039    68427     75 |  0.015 % |
601.68/602.06	c |    856501 |     900    60464   200283 |    79039    73251     74 |  0.015 % |
606.48/606.80	c |    861806 |     900    60464   200283 |    76750    67058     79 |  0.000 % |
610.68/611.01	c |    867641 |     900    60464   200283 |    76750    72893     81 |  0.015 % |
615.88/616.21	c |    874062 |     900    60464   200283 |    75252    67078     78 |  0.015 % |
620.47/620.86	c |    881121 |     900    60464   200283 |    73018    62185     79 |  0.000 % |
625.07/625.43	c |    888887 |     900    60464   200283 |    73018    69951     79 |  0.000 % |
625.17/625.51	c |    888987 |     900    60464   200283 |    73018    70051     79 |  0.000 % |
625.27/625.61	c |    889097 |     900    60464   200283 |    73018    70161     79 |  0.000 % |
625.37/625.74	c |    889221 |     900    60464   200283 |    73018    70285     79 |  0.000 % |
625.47/625.87	c |    889354 |     900    60464   200283 |    73018    70418     79 |  0.000 % |
625.57/625.98	c |    889500 |     900    60464   200283 |    73018    70564     80 |  0.000 % |
625.77/626.13	c |    889661 |     900    60464   200283 |    73018    70725     80 |  0.000 % |
625.87/626.26	c |    889838 |     900    60464   200283 |    73018    70902     80 |  0.000 % |
626.07/626.41	c |    890031 |     900    60464   200283 |    71064    71095     80 |  0.000 % |
626.27/626.69	c |    890243 |     900    60464   200283 |    71064    62081     79 |  0.000 % |
626.47/626.87	c |    890477 |     900    60464   200283 |    71064    62315     79 |  0.000 % |
626.67/627.06	c |    890733 |     900    60464   200283 |    71064    62571     79 |  0.000 % |
626.87/627.24	c |    891014 |     900    60464   200283 |    71064    62852     79 |  0.000 % |
627.07/627.47	c |    891323 |     900    60464   200283 |    71064    63161     79 |  0.000 % |
627.27/627.66	c |    891662 |     900    60464   200283 |    71064    63500     79 |  0.000 % |
627.47/627.87	c |    892035 |     900    60464   200283 |    71064    63873     79 |  0.000 % |
627.77/628.16	c |    892445 |     900    60464   200283 |    71064    64283     79 |  0.000 % |
628.07/628.46	c |    892895 |     900    60464   200283 |    71064    64733     79 |  0.000 % |
628.47/628.83	c |    893389 |     900    60464   200283 |    71064    65227     80 |  0.000 % |
628.87/629.28	c |    893933 |     900    60464   200283 |    71064    65771     80 |  0.000 % |
629.37/629.78	c |    894532 |     900    60464   200283 |    71064    66370     80 |  0.000 % |
629.87/630.28	c |    895187 |     900    60464   200283 |    71064    67025     80 |  0.000 % |
630.47/630.82	c |    895908 |     900    60464   200283 |    71064    67746     80 |  0.000 % |
630.97/631.37	c |    896702 |     900    60464   200283 |    71064    68540     80 |  0.000 % |
631.57/631.98	c |    897573 |     900    60464   200283 |    71064    69411     80 |  0.000 % |
632.37/632.74	c |    898533 |     900    60464   200283 |    71064    70371     81 |  0.000 % |
633.27/633.65	c |    899586 |     900    60464   200283 |    71064    71424     82 |  0.000 % |
634.17/634.56	c |    900744 |     900    60464   200283 | 2147483647    65440     82 |  0.000 % |
635.17/635.56	c |    902019 |     900    60464   200283 | 2147483647    66715     83 |  0.000 % |
636.37/636.74	c |    903419 |     900    60464   200283 | 2147483647    68115     84 |  0.000 % |
637.67/638.02	c |    904959 |     900    60464   200283 | 2147483647    69655     84 |  0.000 % |
639.06/639.41	c |    906653 |     900    60464   200283 | 2147483647    71349     85 |  0.000 % |
640.36/640.78	c |    908520 |     900    60464   200283 | 2147483647    73216     84 |  0.000 % |
642.26/642.69	c |    910569 |     900    60464   200283 |    74698    65249     90 |  0.000 % |
644.66/645.03	c |    912822 |     900    60464   200283 |    74698    67502     91 |  0.000 % |
646.96/647.35	c |    915301 |     900    60464   200283 |    74698    69981     91 |  0.000 % |
649.36/649.79	c |    918026 |     900    60464   200283 |    74698    72706     91 |  0.000 % |
652.36/652.72	c |    921023 |     900    60464   200283 |    74681    62398     91 |  0.000 % |
655.46/655.85	c |    924319 |     900    60464   200283 |    74681    65694     93 |  0.000 % |
658.56/658.98	c |    927945 |     900    60464   200283 |    74681    69320     92 |  0.018 % |
661.76/662.11	c |    931932 |     900    60464   200283 |    71375    62871     89 |  0.018 % |
665.06/665.41	c |    936317 |     900    60464   200283 |    71375    67256     87 |  0.017 % |
669.46/669.87	c |    941140 |     900    60464   200283 |    70939    59541     83 |  0.018 % |
673.05/673.43	c |    946446 |     900    60464   200283 |    70939    64847     82 |  0.014 % |
677.15/677.59	c |    952282 |     900    60464   200283 |    68403    60953     76 |  0.017 % |
681.45/681.80	c |    958704 |     900    60464   200283 |    68403    67375     74 |  0.000 % |
686.35/686.70	c |    965763 |     900    60464   200283 |    68671    65533     69 |  0.014 % |
691.64/692.00	c |    973529 |     900    60464   200283 |    61683    58003     58 |  0.018 % |
697.24/697.70	c |    982071 |     900    60464   200283 | 2147483647    60337     66 |  0.000 % |
697.34/697.78	c |    982171 |     900    60464   200283 | 2147483647    60437     66 |  0.000 % |
697.44/697.87	c |    982281 |     900    60464   200283 | 2147483647    60547     66 |  0.000 % |
697.54/697.96	c |    982402 |     900    60464   200283 | 2147483647    60668     66 |  0.000 % |
697.64/698.03	c |    982535 |     900    60464   200283 | 2147483647    60801     66 |  0.000 % |
697.74/698.14	c |    982682 |     900    60464   200283 | 2147483647    60948     66 |  0.000 % |
697.84/698.24	c |    982842 |     900    60464   200283 | 2147483647    61108     67 |  0.000 % |
697.94/698.34	c |    983018 |     900    60464   200283 | 2147483647    61284     67 |  0.000 % |
698.05/698.46	c |    983211 |     900    60464   200283 | 2147483647    61477     67 |  0.000 % |
698.24/698.61	c |    983424 |     900    60464   200283 | 2147483647    61690     67 |  0.000 % |
698.34/698.76	c |    983657 |     900    60464   200283 | 2147483647    61923     67 |  0.000 % |
698.54/698.90	c |    983914 |     900    60464   200283 | 2147483647    62180     67 |  0.000 % |
698.64/699.07	c |    984196 |     900    60464   200283 | 2147483647    62462     67 |  0.000 % |
698.84/699.24	c |    984505 |     900    60464   200283 | 2147483647    62771     67 |  0.000 % |
699.04/699.47	c |    984845 |     900    60464   200283 | 2147483647    63111     68 |  0.000 % |
699.25/699.63	c |    985219 |     900    60464   200283 | 2147483647    63485     68 |  0.000 % |
699.54/699.90	c |    985628 |     900    60464   200283 | 2147483647    63894     68 |  0.016 % |
699.74/700.16	c |    986079 |     900    60464   200283 | 2147483647    64345     68 |  0.016 % |
700.04/700.43	c |    986572 |     900    60464   200283 | 2147483647    64838     68 |  0.000 % |
700.35/700.78	c |    987117 |     900    60464   200283 | 2147483647    65383     69 |  0.000 % |
700.64/701.07	c |    987713 |     900    60464   200283 | 2147483647    65979     69 |  0.000 % |
701.04/701.48	c |    988371 |     900    60464   200283 | 2147483647    66637     70 |  0.000 % |
701.45/701.83	c |    989091 |     900    60464   200283 | 2147483647    67357     70 |  0.017 % |
702.04/702.47	c |    989887 |     900    60464   200283 | 2147483647    68153     70 |  0.000 % |
702.74/703.12	c |    990758 |     900    60464   200283 | 2147483647    69024     71 |  0.000 % |
703.55/703.92	c |    991716 |     900    60464   200283 | 2147483647    69982     71 |  0.000 % |
704.14/704.52	c |    992771 |     900    60464   200283 | 2147483647    71037     71 |  0.000 % |
704.74/705.12	c |    993929 |     900    60464   200283 | 2147483647    72195     71 |  0.000 % |
705.44/705.84	c |    995203 |     900    60464   200283 | 2147483647    73469     71 |  0.000 % |
706.34/706.71	c |    996603 |     900    60464   200283 | 2147483647    74869     70 |  0.015 % |
707.44/707.88	c |    998144 |     900    60464   200283 | 2147483647    76410     70 |  0.017 % |
709.04/709.44	c |    999839 |     900    60464   200283 | 2147483647    78105     69 |  0.017 % |
710.74/711.17	c |   1001704 |     900    60464   200283 |    78270    69473     70 |  0.017 % |
712.64/713.03	c |   1003753 |     900    60464   200283 |    78270    71522     69 |  0.017 % |
714.54/714.99	c |   1006007 |     900    60464   200283 |    78270    73776     68 |  0.017 % |
716.84/717.22	c |   1008485 |     900    60464   200283 |    78270    76254     70 |  0.000 % |
719.43/719.84	c |   1011210 |     900    60464   200283 |    77769    67866     74 |  0.000 % |
721.53/721.99	c |   1014207 |     900    60464   200283 |    77769    70863     75 |  0.000 % |
724.13/724.53	c |   1017504 |     900    60464   200283 |    77769    74160     75 |  0.000 % |
727.13/727.58	c |   1021130 |     900    60464   200283 |    76656    66412     81 |  0.000 % |
731.53/731.97	c |   1025117 |     900    60464   200283 |    76656    70399     84 |  0.000 % |
735.53/735.94	c |   1029505 |     900    60464   200283 |    76656    74787     85 |  0.015 % |
740.83/741.21	c |   1034331 |     900    60464   200283 |    75284    69813     94 |  0.000 % |
745.02/745.44	c |   1039636 |     900    60464   200283 |    75284    75118     92 |  0.016 % |
749.73/750.11	c |   1045471 |     900    60464   200283 |    75484    68276     86 |  0.000 % |
755.42/755.87	c |   1051890 |     900    60464   200283 |    72809    60740     86 |  0.015 % |
760.52/760.97	c |   1058950 |     900    60464   200283 |    72809    67800     85 |  0.000 % |
766.11/766.53	c |   1066715 |     900    60464   200283 |    68850    63211     83 |  0.016 % |
773.31/773.77	c |   1075255 |     900    60464   200283 |    66500    60400     74 |  0.000 % |
779.61/780.05	c |   1084650 |     900    60464   200283 |    65145    58959     63 |  0.000 % |
779.71/780.12	c |   1084752 |     900    60464   200283 |    65145    59061     63 |  0.000 % |
779.71/780.19	c |   1084862 |     900    60464   200283 |    65145    59171     63 |  0.018 % |
779.81/780.26	c |   1084983 |     900    60464   200283 |    65145    59292     63 |  0.000 % |
779.91/780.37	c |   1085116 |     900    60464   200283 |    65145    59425     63 |  0.000 % |
780.02/780.45	c |   1085262 |     900    60464   200283 |    65145    59571     63 |  0.017 % |
780.12/780.57	c |   1085422 |     900    60464   200283 |    65145    59731     63 |  0.000 % |
780.22/780.68	c |   1085598 |     900    60464   200283 |    65145    59907     63 |  0.018 % |
780.42/780.80	c |   1085796 |     900    60464   200283 |    65145    60105     63 |  0.000 % |
780.52/780.93	c |   1086008 |     900    60464   200283 |    65145    60317     63 |  0.000 % |
780.62/781.07	c |   1086244 |     900    60464   200283 |    65145    60553     64 |  0.000 % |
780.82/781.25	c |   1086502 |     900    60464   200283 |    65145    60811     64 |  0.000 % |
781.02/781.49	c |   1086785 |     900    60464   200283 |    65145    61094     64 |  0.000 % |
781.32/781.71	c |   1087094 |     900    60464   200283 |    65145    61403     64 |  0.000 % |
781.52/781.90	c |   1087435 |     900    60464   200283 |    65145    61744     65 |  0.000 % |
781.62/782.08	c |   1087807 |     900    60464   200283 |    65145    62116     65 |  0.000 % |
781.82/782.29	c |   1088218 |     900    60464   200283 |    65145    62527     65 |  0.000 % |
782.12/782.54	c |   1088667 |     900    60464   200283 |    65145    62976     65 |  0.020 % |
782.42/782.85	c |   1089162 |     900    60464   200283 |    65145    63471     65 |  0.000 % |
782.72/783.11	c |   1089705 |     900    60464   200283 |    65145    64014     65 |  0.000 % |
783.02/783.41	c |   1090304 |     900    60464   200283 |    64309    64613     65 |  0.017 % |
783.32/783.75	c |   1090961 |     900    60464   200283 |    64309    58809     61 |  0.016 % |
783.72/784.11	c |   1091681 |     900    60464   200283 |    64309    59529     61 |  0.000 % |
784.12/784.51	c |   1092474 |     900    60464   200283 |    64309    60322     61 |  0.000 % |
784.52/784.96	c |   1093346 |     900    60464   200283 |    64309    61194     61 |  0.018 % |
784.92/785.31	c |   1094304 |     900    60464   200283 |    64309    62152     61 |  0.017 % |
785.42/785.85	c |   1095357 |     900    60464   200283 |    64309    63205     62 |  0.000 % |
786.02/786.45	c |   1096515 |     900    60464   200283 |    64309    64363     62 |  0.000 % |
786.81/787.24	c |   1097792 |     900    60464   200283 |    64309    59204     61 |  0.000 % |
787.61/788.00	c |   1099192 |     900    60464   200283 |    64309    60604     61 |  0.000 % |
788.41/788.85	c |   1100732 |     900    60464   200283 | 2147483647    62144     61 |  0.017 % |
789.32/789.74	c |   1102426 |     900    60464   200283 | 2147483647    63838     61 |  0.017 % |
790.31/790.75	c |   1104290 |     900    60464   200283 | 2147483647    65702     61 |  0.015 % |
791.52/791.98	c |   1106341 |     900    60464   200283 | 2147483647    67753     61 |  0.016 % |
792.81/793.25	c |   1108595 |     900    60464   200283 | 2147483647    70007     61 |  0.016 % |
794.21/794.67	c |   1111074 |     900    60464   200283 | 2147483647    72486     64 |  0.000 % |
796.41/796.81	c |   1113800 |     900    60464   200283 | 2147483647    75212     67 |  0.000 % |
798.01/798.42	c |   1116797 |     900    60464   200283 | 2147483647    78209     67 |  0.020 % |
800.11/800.55	c |   1120094 |     900    60464   200283 | 2147483647    81506     67 |  0.000 % |
802.91/803.33	c |   1123720 |     900    60464   200283 | 2147483647    85132     69 |  0.000 % |
806.11/806.50	c |   1127709 |     900    60464   200283 | 2147483647    89121     70 |  0.019 % |
809.80/810.23	c |   1132096 |     900    60464   200283 |    91413    82591     70 |  0.000 % |
813.90/814.33	c |   1136919 |     900    60464   200283 |    91413    87414     74 |  0.000 % |
818.80/819.26	c |   1142226 |     900    60464   200283 |    90496    77791     78 |  0.000 % |
822.80/823.23	c |   1148061 |     900    60464   200283 |    90496    83626     77 |  0.018 % |
829.70/830.16	c |   1154480 |     900    60464   200283 |    85565    75118     86 |  0.000 % |
836.60/837.06	c |   1161541 |     900    60464   200283 |    80638    65429     89 |  0.000 % |
844.49/844.90	c |   1169305 |     900    60464   200283 |    80638    73193     93 |  0.000 % |
852.39/852.80	c |   1177845 |     900    60464   200283 |    73889    67558     91 |  0.000 % |
860.79/861.21	c |   1187241 |     900    60464   200283 |    69713    64399     89 |  0.000 % |
870.69/871.12	c |   1197579 |     900    60464   200283 |    67158    62257     87 |  0.000 % |
870.79/871.24	c |   1197680 |     900    60464   200283 |    67158    62358     87 |  0.000 % |
870.88/871.37	c |   1197790 |     900    60464   200283 |    67158    62468     87 |  0.000 % |
871.08/871.51	c |   1197913 |     900    60464   200283 |    67158    62591     87 |  0.000 % |
871.18/871.62	c |   1198047 |     900    60464   200283 |    67158    62725     87 |  0.000 % |
871.28/871.75	c |   1198194 |     900    60464   200283 |    67158    62872     87 |  0.000 % |
871.48/871.92	c |   1198355 |     900    60464   200283 |    67158    63033     87 |  0.000 % |
871.58/872.09	c |   1198531 |     900    60464   200283 |    67158    63209     87 |  0.000 % |
871.89/872.30	c |   1198725 |     900    60464   200283 |    67158    63403     87 |  0.000 % |
872.08/872.51	c |   1198937 |     900    60464   200283 |    67158    63615     87 |  0.000 % |
872.28/872.72	c |   1199171 |     900    60464   200283 |    67158    63849     87 |  0.000 % |
872.48/872.91	c |   1199427 |     900    60464   200283 |    67158    64105     87 |  0.000 % |
872.68/873.19	c |   1199708 |     900    60464   200283 |    67158    64386     87 |  0.000 % |
872.98/873.42	c |   1200017 |     900    60464   200283 |    64679    64695     87 |  0.000 % |
873.38/873.81	c |   1200356 |     900    60464   200283 |    64679    53818     85 |  0.000 % |
873.58/874.09	c |   1200728 |     900    60464   200283 |    64679    54190     85 |  0.000 % |
873.88/874.38	c |   1201137 |     900    60464   200283 |    64679    54599     85 |  0.000 % |
874.28/874.71	c |   1201587 |     900    60464   200283 |    64679    55049     85 |  0.000 % |
874.78/875.26	c |   1202080 |     900    60464   200283 |    64679    55542     85 |  0.000 % |
875.38/875.81	c |   1202623 |     900    60464   200283 |    64679    56085     86 |  0.000 % |
875.88/876.33	c |   1203220 |     900    60464   200283 |    64679    56682     86 |  0.000 % |
876.28/876.77	c |   1203876 |     900    60464   200283 |    64679    57338     85 |  0.000 % |
876.78/877.24	c |   1204600 |     900    60464   200283 |    64679    58062     85 |  0.015 % |
877.48/877.90	c |   1205392 |     900    60464   200283 |    64679    58854     85 |  0.000 % |
877.98/878.42	c |   1206263 |     900    60464   200283 |    64679    59725     85 |  0.000 % |
878.58/879.06	c |   1207221 |     900    60464   200283 |    64679    60683     84 |  0.015 % |
879.28/879.75	c |   1208274 |     900    60464   200283 |    64679    61736     84 |  0.017 % |
879.98/880.47	c |   1209432 |     900    60464   200283 |    64679    62894     84 |  0.000 % |
881.08/881.54	c |   1210705 |     900    60464   200283 |    63462    55541     82 |  0.017 % |
882.18/882.65	c |   1212107 |     900    60464   200283 |    63462    56943     81 |  0.017 % |
883.48/883.98	c |   1213647 |     900    60464   200283 |    63462    58483     80 |  0.000 % |
884.88/885.34	c |   1215342 |     900    60464   200283 |    63462    60178     80 |  0.017 % |
886.28/886.71	c |   1217206 |     900    60464   200283 |    63462    62042     79 |  0.017 % |
887.88/888.31	c |   1219255 |     900    60464   200283 |    63462    57472     73 |  0.017 % |
889.27/889.71	c |   1221511 |     900    60464   200283 |    58217    53744     69 |  0.017 % |
890.97/891.40	c |   1223994 |     900    60464   200283 |    58217    56227     72 |  0.000 % |
893.07/893.55	c |   1226719 |     900    60464   200283 |    58217    53069     74 |  0.000 % |
895.57/896.01	c |   1229716 |     900    60464   200283 |    58217    56066     76 |  0.000 % |
897.97/898.45	c |   1233013 |     900    60464   200283 | 2147483647    59363     77 |  0.000 % |
901.67/902.14	c |   1236638 |     900    60464   200283 | 2147483647    62988     79 |  0.000 % |
904.67/905.12	c |   1240625 |     900    60464   200283 |    66351    58723     80 |  0.000 % |
908.47/908.91	c |   1245011 |     900    60464   200283 |    66351    63109     82 |  0.000 % |
912.77/913.29	c |   1249834 |     900    60464   200283 |    66351    57381     82 |  0.000 % |
917.46/917.90	c |   1255141 |     900    60464   200283 |    57547    53460     84 |  0.000 % |
922.37/922.84	c |   1260978 |     900    60464   200283 |    49101    41935     87 |  0.017 % |
926.77/927.23	c |   1267399 |     900    60464   200283 |    49101    48356     85 |  0.015 % |
931.56/932.07	c |   1274458 |     900    60464   200283 |    43470    41815     77 |  0.015 % |
936.06/936.55	c |   1282223 |     900    60464   200283 |    42443    40368     69 |  0.015 % |
940.66/941.13	c |   1290765 |     900    60464   200283 | 2147483647    40305     60 |  0.017 % |
945.26/945.70	c |   1300162 |     900    60464   200283 | 2147483647    49702     57 |  0.015 % |
950.75/951.27	c |   1310495 |     900    60464   200283 | 2147483647    60035     55 |  0.000 % |
958.95/959.49	c |   1321867 |     900    60464   200283 |    69540    62004     50 |  0.016 % |
959.05/959.56	c |   1321968 |     900    60464   200283 |    69540    62105     50 |  0.018 % |
959.15/959.66	c |   1322078 |     900    60464   200283 |    69540    62215     50 |  0.017 % |
959.25/959.74	c |   1322199 |     900    60464   200283 |    69540    62336     51 |  0.000 % |
959.35/959.81	c |   1322332 |     900    60464   200283 |    69540    62469     51 |  0.018 % |
959.35/959.88	c |   1322478 |     900    60464   200283 |    69540    62615     51 |  0.017 % |
959.45/959.95	c |   1322638 |     900    60464   200283 |    69540    62775     51 |  0.000 % |
959.55/960.03	c |   1322814 |     900    60464   200283 |    69540    62951     51 |  0.015 % |
959.65/960.11	c |   1323007 |     900    60464   200283 |    69540    63144     51 |  0.000 % |
959.75/960.23	c |   1323219 |     900    60464   200283 |    69540    63356     51 |  0.000 % |
959.85/960.38	c |   1323453 |     900    60464   200283 |    69540    63590     51 |  0.000 % |
960.05/960.53	c |   1323709 |     900    60464   200283 |    69540    63846     51 |  0.000 % |
960.15/960.64	c |   1323990 |     900    60464   200283 |    69540    64127     51 |  0.000 % |
960.25/960.77	c |   1324300 |     900    60464   200283 |    69540    64437     51 |  0.020 % |
960.45/960.93	c |   1324641 |     900    60464   200283 |    69540    64778     51 |  0.014 % |
960.55/961.09	c |   1325014 |     900    60464   200283 |    69540    65151     51 |  0.000 % |
960.75/961.27	c |   1325425 |     900    60464   200283 |    69540    65562     52 |  0.000 % |
960.95/961.46	c |   1325876 |     900    60464   200283 |    69540    66013     52 |  0.000 % |
961.15/961.64	c |   1326369 |     900    60464   200283 |    69540    66506     52 |  0.000 % |
961.35/961.87	c |   1326911 |     900    60464   200283 |    69540    67048     52 |  0.000 % |
961.65/962.11	c |   1327509 |     900    60464   200283 |    69540    67646     52 |  0.018 % |
961.85/962.37	c |   1328164 |     900    60464   200283 |    69540    68301     53 |  0.000 % |
962.15/962.67	c |   1328884 |     900    60464   200283 |    69540    69021     53 |  0.000 % |
962.55/963.05	c |   1329678 |     900    60464   200283 |    69540    69815     54 |  0.018 % |
962.95/963.46	c |   1330551 |     900    60464   200283 | 2147483647    63707     52 |  0.000 % |
963.45/963.91	c |   1331509 |     900    60464   200283 | 2147483647    64665     53 |  0.000 % |
963.85/964.38	c |   1332562 |     900    60464   200283 | 2147483647    65718     54 |  0.000 % |
964.45/964.96	c |   1333720 |     900    60464   200283 | 2147483647    66876     55 |  0.000 % |
965.05/965.53	c |   1334993 |     900    60464   200283 | 2147483647    68149     56 |  0.000 % |
965.65/966.17	c |   1336394 |     900    60464   200283 | 2147483647    69550     56 |  0.015 % |
966.45/966.92	c |   1337936 |     900    60464   200283 | 2147483647    71092     57 |  0.000 % |
967.25/967.79	c |   1339630 |     900    60464   200283 | 2147483647    72786     57 |  0.015 % |
968.45/968.93	c |   1341495 |     900    60464   200283 | 2147483647    74651     57 |  0.017 % |
969.84/970.31	c |   1343545 |     900    60464   200283 | 2147483647    76701     57 |  0.000 % |
971.14/971.66	c |   1345798 |     900    60464   200283 | 2147483647    78954     59 |  0.000 % |
972.54/973.04	c |   1348276 |     900    60464   200283 | 2147483647    81432     60 |  0.000 % |
974.15/974.60	c |   1351001 |     900    60464   200283 | 2147483647    84157     61 |  0.000 % |
976.25/976.79	c |   1353999 |     900    60464   200283 | 2147483647    87155     63 |  0.000 % |
978.64/979.10	c |   1357295 |     900    60464   200283 | 2147483647    90451     66 |  0.000 % |
981.14/981.62	c |   1360922 |     900    60464   200283 | 2147483647    94078     67 |  0.000 % |
984.24/984.77	c |   1364911 |     900    60464   200283 | 2147483647    98067     66 |  0.015 % |
988.54/989.03	c |   1369297 |     900    60464   200283 | 2147483647   102453     66 |  0.017 % |
993.64/994.12	c |   1374121 |     900    60464   200283 |   103158    89162     67 |  0.017 % |
999.13/999.64	c |   1379427 |     900    60464   200283 |   103158    94468     66 |  0.018 % |
1005.83/1006.37	c |   1385263 |     900    60464   200283 |    95041    79053     69 |  0.017 % |
1012.03/1012.58	c |   1391681 |     900    60464   200283 |    83791    65262     67 |  0.018 % |
1017.43/1017.93	c |   1398740 |     900    60464   200283 |    83791    72321     65 |  0.018 % |
1023.93/1024.47	c |   1406506 |     900    60464   200283 |    73581    64211     59 |  0.017 % |
1029.03/1029.53	c |   1415046 |     900    60464   200283 |    67705    62755     60 |  0.000 % |
1033.92/1034.42	c |   1424440 |     900    60464   200283 | 2147483647    72149     67 |  0.000 % |
1041.12/1041.68	c |   1434773 |     900    60464   200283 | 2147483647    82482     68 |  0.017 % |
1049.81/1050.32	c |   1446139 |     900    60464   200283 |    87709    81751     69 |  0.000 % |
1058.73/1059.26	c |   1458644 |     900    60464   200283 |    85613    80553     71 |  0.000 % |
1058.83/1059.35	c |   1458745 |     900    60464   200283 |    85613    80654     71 |  0.018 % |
1058.92/1059.45	c |   1458855 |     900    60464   200283 |    85613    80764     71 |  0.017 % |
1059.02/1059.56	c |   1458977 |     900    60464   200283 |    85613    80886     71 |  0.017 % |
1059.12/1059.69	c |   1459112 |     900    60464   200283 |    85613    81021     71 |  0.018 % |
1059.22/1059.78	c |   1459259 |     900    60464   200283 |    85613    81168     71 |  0.017 % |
1059.42/1059.91	c |   1459419 |     900    60464   200283 |    85613    81328     71 |  0.018 % |
1059.52/1060.03	c |   1459600 |     900    60464   200283 |    85613    81509     71 |  0.022 % |
1059.62/1060.14	c |   1459793 |     900    60464   200283 |    85613    81702     71 |  0.017 % |
1059.72/1060.28	c |   1460005 |     900    60464   200283 |    81911    81914     71 |  0.000 % |
1060.12/1060.64	c |   1460238 |     900    60464   200283 |    81911    68990     76 |  0.000 % |
1060.32/1060.88	c |   1460494 |     900    60464   200283 |    81911    69246     76 |  0.000 % |
1060.52/1061.08	c |   1460778 |     900    60464   200283 |    81911    69530     76 |  0.000 % |
1060.72/1061.26	c |   1461087 |     900    60464   200283 |    81911    69839     76 |  0.000 % |
1061.02/1061.52	c |   1461427 |     900    60464   200283 |    81911    70179     76 |  0.000 % |
1061.32/1061.81	c |   1461801 |     900    60464   200283 |    81911    70553     76 |  0.000 % |
1061.51/1062.09	c |   1462213 |     900    60464   200283 |    81911    70965     76 |  0.000 % |
1061.81/1062.34	c |   1462662 |     900    60464   200283 |    81911    71414     76 |  0.016 % |
1062.12/1062.64	c |   1463155 |     900    60464   200283 |    81911    71907     76 |  0.016 % |
1062.41/1062.94	c |   1463701 |     900    60464   200283 |    81911    72453     76 |  0.017 % |
1062.71/1063.29	c |   1464298 |     900    60464   200283 |    81911    73050     76 |  0.016 % |
1063.12/1063.68	c |   1464953 |     900    60464   200283 |    81911    73705     76 |  0.016 % |
1063.51/1064.09	c |   1465675 |     900    60464   200283 |    81911    74427     75 |  0.018 % |
1064.11/1064.62	c |   1466469 |     900    60464   200283 |    81911    75221     75 |  0.016 % |
1064.71/1065.25	c |   1467340 |     900    60464   200283 |    81911    76092     75 |  0.017 % |
1065.32/1065.85	c |   1468301 |     900    60464   200283 |    81911    77053     75 |  0.000 % |
1066.01/1066.53	c |   1469354 |     900    60464   200283 |    81911    78106     74 |  0.017 % |
1066.71/1067.20	c |   1470514 |     900    60464   200283 | 2147483647    79266     74 |  0.017 % |
1067.62/1068.14	c |   1471787 |     900    60464   200283 | 2147483647    80539     75 |  0.000 % |
1068.62/1069.17	c |   1473187 |     900    60464   200283 | 2147483647    81939     75 |  0.000 % |
1069.72/1070.21	c |   1474727 |     900    60464   200283 | 2147483647    83479     75 |  0.019 % |
1070.91/1071.43	c |   1476423 |     900    60464   200283 | 2147483647    85175     75 |  0.000 % |
1072.31/1072.82	c |   1478286 |     900    60464   200283 | 2147483647    87038     75 |  0.000 % |
1073.81/1074.38	c |   1480335 |     900    60464   200283 |    88754    89087     74 |  0.015 % |
1075.71/1076.27	c |   1482588 |     900    60464   200283 |    88754    81292     77 |  0.015 % |
1077.81/1078.31	c |   1485068 |     900    60464   200283 |    88754    83772     78 |  0.000 % |
1080.00/1080.59	c |   1487793 |     900    60464   200283 |    88754    86497     80 |  0.000 % |
1082.60/1083.11	c |   1490793 |     900    60464   200283 |    88706    75464     72 |  0.017 % |
1085.00/1085.54	c |   1494090 |     900    60464   200283 |    88706    78761     72 |  0.000 % |
1087.90/1088.41	c |   1497716 |     900    60464   200283 |    88706    82387     74 |  0.000 % |
1090.60/1091.12	c |   1501703 |     900    60464   200283 |    84673    75213     73 |  0.017 % |
1093.70/1094.25	c |   1506088 |     900    60464   200283 |    84673    79598     73 |  0.017 % |
1098.00/1098.56	c |   1510913 |     900    60464   200283 |    83510    72204     78 |  0.000 % |
1102.89/1103.46	c |   1516220 |     900    60464   200283 |    83510    77511     79 |  0.000 % |
1108.20/1108.79	c |   1522055 |     900    60464   200283 |    81291    72421     82 |  0.000 % |
1114.69/1115.20	c |   1528473 |     900    60464   200283 |    81291    78839     86 |  0.000 % |
1120.09/1120.67	c |   1535533 |     900    60464   200283 |    80366    74116     89 |  0.015 % |
1127.78/1128.35	c |   1543297 |     900    60464   200283 |    78584    68353     98 |  0.000 % |
1135.98/1136.51	c |   1551837 |     900    60464   200283 |    75058    62011     96 |  0.000 % |
1145.38/1145.97	c |   1561232 |     900    60464   200283 |    70174    57539     94 |  0.000 % |
1154.67/1155.23	c |   1571567 |     900    60464   200283 |    66308    55856     93 |  0.000 % |
1164.48/1165.03	c |   1582933 |     900    60464   200283 |    64289    55678     96 |  0.000 % |
1175.48/1176.05	c |   1595435 |     900    60464   200283 |    62748    56390     95 |  0.000 % |
1189.17/1189.77	c |   1609187 |     900    60464   200283 |    60957    58370     96 |  0.000 % |
1189.37/1189.90	c |   1609287 |     900    60464   200283 |    60957    58470     96 |  0.000 % |
1189.47/1190.01	c |   1609397 |     900    60464   200283 |    60957    58580     96 |  0.000 % |
1189.58/1190.17	c |   1609520 |     900    60464   200283 |    60957    58703     96 |  0.000 % |
1189.77/1190.37	c |   1609655 |     900    60464   200283 |    60957    58838     96 |  0.000 % |
1189.97/1190.53	c |   1609801 |     900    60464   200283 |    60957    58984     96 |  0.000 % |
1190.07/1190.70	c |   1609961 |     900    60464   200283 |    60957    59144     96 |  0.000 % |
1190.27/1190.90	c |   1610137 |     900    60464   200283 |    59184    59320     96 |  0.000 % |
1190.57/1191.11	c |   1610335 |     900    60464   200283 |    59184    48013     97 |  0.000 % |
1190.68/1191.25	c |   1610547 |     900    60464   200283 |    59184    48225     97 |  0.000 % |
1190.97/1191.51	c |   1610780 |     900    60464   200283 |    59184    48458     97 |  0.000 % |
1191.07/1191.68	c |   1611037 |     900    60464   200283 |    59184    48715     97 |  0.017 % |
1191.37/1191.91	c |   1611319 |     900    60464   200283 |    59184    48997     97 |  0.000 % |
1191.57/1192.19	c |   1611629 |     900    60464   200283 |    59184    49307     97 |  0.000 % |
1191.88/1192.48	c |   1611968 |     900    60464   200283 |    59184    49646     96 |  0.000 % |
1192.07/1192.68	c |   1612340 |     900    60464   200283 |    59184    50018     96 |  0.000 % |
1192.37/1192.97	c |   1612751 |     900    60464   200283 |    59184    50429     96 |  0.000 % |
1192.77/1193.35	c |   1613201 |     900    60464   200283 |    59184    50879     96 |  0.016 % |
1193.07/1193.64	c |   1613695 |     900    60464   200283 |    59184    51373     95 |  0.015 % |
1193.37/1193.99	c |   1614238 |     900    60464   200283 |    59184    51916     95 |  0.016 % |
1193.87/1194.46	c |   1614834 |     900    60464   200283 |    59184    52512     95 |  0.000 % |
1194.37/1194.95	c |   1615489 |     900    60464   200283 |    59184    53167     94 |  0.016 % |
1194.87/1195.44	c |   1616211 |     900    60464   200283 |    59184    53889     94 |  0.017 % |
1195.47/1196.02	c |   1617006 |     900    60464   200283 |    59184    54684     93 |  0.015 % |
1195.97/1196.58	c |   1617877 |     900    60464   200283 |    59184    55555     94 |  0.000 % |
1196.77/1197.36	c |   1618836 |     900    60464   200283 |    59184    56514     94 |  0.000 % |
1197.37/1197.96	c |   1619889 |     900    60464   200283 |    59184    57567     93 |  0.000 % |
1198.17/1198.70	c |   1621048 |     900    60464   200283 |    57678    50782     90 |  0.000 % |
1198.97/1199.59	c |   1622322 |     900    60464   200283 |    57678    52056     91 |  0.000 % |
1199.97/1200.59	c |   1623722 |     900    60464   200283 |    57678    53456     91 |  0.015 % |

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-1834127-1242828214/watcher-1834127-1242828214 -o /tmp/evaluation-result-1834127-1242828214/solver-1834127-1242828214 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834127-1242828214.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6411
/proc/meminfo: memFree=1909432/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310854267 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6411/statm: 1339 237 197 169 0 50 0

[startup+0.04726 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6411
/proc/meminfo: memFree=1909432/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310854267 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6411/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101268 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6411
/proc/meminfo: memFree=1909432/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310854267 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6411/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301297 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6411
/proc/meminfo: memFree=1909432/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) R 6409 6411 6059 0 -1 4194304 316 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780699807 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5356

[startup+0.701362 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6411
/proc/meminfo: memFree=1909432/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5356

[startup+1.50147 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1901992/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=7980 CPUtime=1.18
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 1873 0 0 0 117 1 0 0 25 0 1 0 310854297 8171520 1859 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 1995 1859 77 171 0 1822 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13336

[startup+3.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1899624/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=10548 CPUtime=2.77
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 2533 0 0 0 276 1 0 0 25 0 1 0 310854297 10801152 2519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 2637 2519 77 171 0 2464 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15904

[startup+6.30115 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1895144/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=14540 CPUtime=5.97
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 3516 0 0 0 595 2 0 0 25 0 1 0 310854297 14888960 3502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 3635 3502 77 171 0 3462 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19896

[startup+12.7021 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1888168/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=20824 CPUtime=12.36
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 5074 0 0 0 1231 5 0 0 25 0 1 0 310854297 21323776 5060 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 5206 5060 77 171 0 5033 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 26180

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1879208/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=29400 CPUtime=25.15
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 7218 0 0 0 2508 7 0 0 25 0 1 0 310854297 30105600 7204 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 7350 7204 77 171 0 7177 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 34756

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1872936/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=35348 CPUtime=50.73
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 8741 0 0 0 5065 8 0 0 25 0 1 0 310854297 36196352 8727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 8837 8727 77 171 0 8664 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 40704

[startup+102.306 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 6417
/proc/meminfo: memFree=1872872/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=35480 CPUtime=101.9
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 8768 0 0 0 10182 8 0 0 25 0 1 0 310854297 36331520 8754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 8870 8754 77 171 0 8697 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 40836

[startup+162.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 6417
/proc/meminfo: memFree=1872744/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=35480 CPUtime=161.87
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 8768 0 0 0 16179 8 0 0 25 0 1 0 310854297 36331520 8754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 8870 8754 77 171 0 8697 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 40836

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1872616/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=35480 CPUtime=221.85
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 8768 0 0 0 22176 9 0 0 25 0 1 0 310854297 36331520 8754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 8870 8754 77 171 0 8697 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 40836

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1872552/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=35480 CPUtime=281.82
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 8768 0 0 0 28172 10 0 0 25 0 1 0 310854297 36331520 8754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 8870 8754 77 171 0 8697 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 40836

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1872424/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=35480 CPUtime=341.79
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 8768 0 0 0 34169 10 0 0 25 0 1 0 310854297 36331520 8754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 8870 8754 77 171 0 8697 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 40836

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1872296/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=35612 CPUtime=401.76
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 8791 0 0 0 40166 10 0 0 25 0 1 0 310854297 36466688 8777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 8903 8777 77 171 0 8730 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 40968

[startup+462.302 s]

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

/proc/6417/statm: 9597 9473 77 171 0 9424 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 43744

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1869160/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=38388 CPUtime=581.7
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 9487 0 0 0 58158 12 0 0 25 0 1 0 310854297 39309312 9473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 9597 9473 77 171 0 9424 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 43744

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1868968/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=38520 CPUtime=641.68
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 9522 0 0 0 64156 12 0 0 25 0 1 0 310854297 39444480 9508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 9630 9508 77 171 0 9457 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 43876

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1866728/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=40632 CPUtime=701.65
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 10039 0 0 0 70153 12 0 0 25 0 1 0 310854297 41607168 10025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 10158 10025 77 171 0 9985 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 45988

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1865832/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=41560 CPUtime=761.63
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 10254 0 0 0 76151 12 0 0 25 0 1 0 310854297 42557440 10240 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 10390 10240 77 171 0 10217 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 46916

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1865576/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=41692 CPUtime=821.61
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 10292 0 0 0 82148 13 0 0 25 0 1 0 310854297 42692608 10278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 10423 10278 77 171 0 10250 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 47048

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1865192/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=41956 CPUtime=881.59
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 10368 0 0 0 88146 13 0 0 25 0 1 0 310854297 42962944 10354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 10489 10354 77 171 0 10316 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 47312

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1865064/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=41956 CPUtime=941.57
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 10368 0 0 0 94144 13 0 0 25 0 1 0 310854297 42962944 10354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 10489 10354 77 171 0 10316 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 47312

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1864616/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=42400 CPUtime=1001.54
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 10456 0 0 0 100141 13 0 0 25 0 1 0 310854297 43417600 10442 1992294400 134512640 135215339 4294956240 18446744073709551615 134539499 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 10600 10442 77 171 0 10427 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 47756

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1864296/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=42852 CPUtime=1061.52
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 10531 0 0 0 106138 14 0 0 25 0 1 0 310854297 43880448 10517 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 10713 10517 77 171 0 10540 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 48208

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1862824/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=44172 CPUtime=1121.5
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 10876 0 0 0 112136 14 0 0 25 0 1 0 310854297 45232128 10862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 11043 10862 77 171 0 10870 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 49528

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1861608/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=45248 CPUtime=1181.48
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 11150 0 0 0 118133 15 0 0 25 0 1 0 310854297 46333952 11136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 11312 11136 77 171 0 11139 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 50604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6417
/proc/meminfo: memFree=1861544/2055920 swapFree=4178784/4192956
[pid=6411] ppid=6409 vsize=5356 CPUtime=0.29
/proc/6411/stat : 6411 (SatELiteGTI) S 6409 6411 6059 0 -1 4194304 336 1617 0 0 0 0 28 1 16 0 1 0 310854267 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6411/statm: 1339 239 197 169 0 50 0
[pid=6417] ppid=6411 vsize=45248 CPUtime=1199.78
/proc/6417/stat : 6417 (minisat_static) R 6411 6411 6059 0 -1 4194304 11150 0 0 0 119963 15 0 0 25 0 1 0 310854297 46333952 11136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6417/statm: 11312 11136 77 171 0 11139 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 50604

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 6411 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=285956
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.299953
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.61
CPU time (s): 1200.07
CPU user time (s): 1199.91
CPU system time (s): 0.16
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 50604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.285956
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1953
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= 13
involuntary context switches= 6

runsolver used 1.39479 second user time and 3.13652 second system time

The end

Launcher Data

Begin job on node29 at 2009-05-20 16:03:34
IDJOB=1834127
IDBENCH=71524
IDSOLVER=671
FILE ID=node29/1834127-1242828214
PBS_JOBID= 9322529
Free space on /tmp= 66424 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834127-1242828214/watcher-1834127-1242828214 -o /tmp/evaluation-result-1834127-1242828214/solver-1834127-1242828214 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834127-1242828214.cnf

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

MD5SUM BENCH= 940c3065d47a27ab24578a138a8ab3c0
RANDOM SEED=213792272

node29.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.281
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.281
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:       1909912 kB
Buffers:         19676 kB
Cached:          88260 kB
SwapCached:       8344 kB
Active:          53236 kB
Inactive:        64504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1909912 kB
SwapTotal:     4192956 kB
SwapFree:      4178784 kB
Dirty:            2292 kB
Writeback:           0 kB
Mapped:          14960 kB
Slab:            14240 kB
Committed_AS:  1122688 kB
PageTables:       1476 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= 66420 MiB
End job on node29 at 2009-05-20 16:23:37