Trace number 1837514

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) 10000.1 10005

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
MD5SUMd554330e1400d4f25a793413df9abc4e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3582
Number of clauses395999
Sum of the clauses size1182858
Maximum clause length18
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25604
Number of clauses of size 3390364
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data

0.00/0.00	c Parsing...
0.00/0.22	c ==============================================================================
0.00/0.22	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.22	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.22	c ==============================================================================
0.00/0.22	c |         0 |  395999  1182858 |  118799       0        0     nan |  0.000 % |
5.38/5.45	c |         0 |  394633  1728226 |      --       0       --      -- |     --   | -1366/545368
5.38/5.45	c ==============================================================================
5.38/5.45	c Result  :   #vars: 2337   #clauses: 394633   #literals: 1728226
5.38/5.45	c CPU time:   5.38418 s
5.38/5.45	c ==============================================================================
5.88/5.92	c This is MiniSat 2.0 beta
5.88/5.92	c WARNING: for repeatability, setting FPU to use double precision
5.88/5.92	c ============================[ Problem Statistics ]=============================
5.88/5.92	c |                                                                             |
5.88/5.93	c |  Number of variables:  2337                                                 |
5.88/5.93	c |  Number of clauses:    394633                                               |
5.90/6.14	c |  Parsing time:         0.19         s                                       |
5.90/6.15	c ============================[ Search Statistics ]==============================
5.90/6.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.90/6.15	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.90/6.15	c ===============================================================================
5.90/6.15	c |         0 |    2337   394633  1728226 |   131544        0    nan |  0.000 % |
5.90/6.30	c |       103 |    2337   394633  1728226 |   131544      103     94 |  0.000 % |
5.90/6.38	c |       203 |    2337   394633  1728226 |   131544      203     92 |  0.000 % |
5.90/6.46	c |       303 |    2337   394633  1728226 |   131544      303     95 |  0.000 % |
6.46/6.54	c |       413 |    2337   394633  1728226 |   131544      413     95 |  0.000 % |
6.56/6.65	c |       514 |    2337   394633  1728226 |   131544      514     99 |  0.000 % |
6.65/6.75	c |       628 |    2337   394633  1728226 |   131544      628    101 |  0.000 % |
6.75/6.84	c |       749 |    2337   394633  1728226 |   131544      749    100 |  0.000 % |
6.85/6.91	c |       850 |    2337   394633  1728226 |   131544      850    100 |  0.000 % |
6.95/7.00	c |       960 |    2337   394633  1728226 |   131544      960    102 |  0.000 % |
6.95/7.09	c |      1082 |    2337   394633  1728226 |   131544     1082    102 |  0.000 % |
7.05/7.17	c |      1216 |    2337   394633  1728226 |   131544     1216    104 |  0.000 % |
7.15/7.25	c |      1317 |    2337   394633  1728226 |   131544     1317    106 |  0.000 % |
7.25/7.33	c |      1428 |    2337   394633  1728226 |   131544     1428    105 |  0.000 % |
7.35/7.41	c |      1552 |    2337   394633  1728226 |   131544     1552    105 |  0.000 % |
7.45/7.53	c |      1688 |    2337   394633  1728226 |   131544     1688    107 |  0.000 % |
7.55/7.62	c |      1835 |    2337   394633  1728226 |   131544     1835    105 |  0.000 % |
7.55/7.70	c |      1935 |    2337   394633  1728226 |   131544     1935    105 |  0.000 % |
7.65/7.79	c |      2049 |    2337   394633  1728226 |   131544     2049    107 |  0.000 % |
7.85/7.91	c |      2172 |    2337   394633  1728226 |   131544     2172    108 |  0.000 % |
7.85/7.98	c |      2305 |    2337   394633  1728226 |   131544     2305    108 |  0.000 % |
7.95/8.09	c |      2451 |    2337   394633  1728226 |   131544     2451    107 |  0.000 % |
8.15/8.21	c |      2614 |    2337   394633  1728226 |   131544     2614    108 |  0.000 % |
8.15/8.29	c |      2714 |    2337   394633  1728226 |   131544     2714    107 |  0.000 % |
8.25/8.37	c |      2824 |    2337   394633  1728226 |   131544     2824    107 |  0.000 % |
8.35/8.46	c |      2947 |    2337   394633  1728226 |   131544     2947    107 |  0.000 % |
8.45/8.55	c |      3080 |    2337   394633  1728226 |   131544     3080    108 |  0.000 % |
8.55/8.68	c |      3228 |    2337   394633  1728226 |   131544     3228    108 |  0.000 % |
8.65/8.80	c |      3388 |    2337   394633  1728226 |   131544     3388    110 |  0.000 % |
8.84/8.91	c |      3564 |    2337   394633  1728226 |   131544     3564    111 |  0.000 % |
8.84/8.99	c |      3664 |    2337   394633  1728226 |   131544     3664    111 |  0.000 % |
8.94/9.08	c |      3774 |    2337   394633  1728226 |   131544     3774    111 |  0.000 % |
9.04/9.17	c |      3897 |    2337   394633  1728226 |   131544     3897    111 |  0.000 % |
9.14/9.28	c |      4030 |    2337   394633  1728226 |   131544     4030    111 |  0.000 % |
9.35/9.43	c |      4176 |    2337   394633  1728226 |   131544     4176    111 |  0.000 % |
9.45/9.58	c |      4337 |    2337   394633  1728226 |   131544     4337    111 |  0.000 % |
9.55/9.66	c |      4516 |    2337   394633  1728226 |   131544     4516    112 |  0.000 % |
9.75/9.83	c |      4709 |    2337   394633  1728226 |   131544     4709    112 |  0.000 % |
9.85/9.95	c |      4809 |    2337   394633  1728226 |   131544     4809    112 |  0.000 % |
9.95/10.05	c |      4919 |    2337   394633  1728226 |   131544     4919    111 |  0.000 % |
10.15/10.20	c |      5041 |    2337   394633  1728226 |   131544     5041    113 |  0.000 % |
10.15/10.26	c |      5174 |    2337   394633  1728226 |   131544     5174    113 |  0.000 % |
10.35/10.42	c |      5321 |    2337   394633  1728226 |   131544     5321    113 |  0.000 % |
10.45/10.56	c |      5481 |    2337   394633  1728226 |   131544     5481    114 |  0.000 % |
10.65/10.70	c |      5658 |    2337   394633  1728226 |   131544     5658    114 |  0.000 % |
10.75/10.85	c |      5853 |    2337   394633  1728226 |   131544     5853    115 |  0.000 % |
10.95/11.01	c |      6065 |    2337   394633  1728226 |   131544     6065    115 |  0.000 % |
11.04/11.11	c |      6166 |    2337   394633  1728226 |   131544     6166    115 |  0.000 % |
11.14/11.24	c |      6277 |    2337   394633  1728226 |   131544     6277    115 |  0.000 % |
11.24/11.34	c |      6399 |    2337   394633  1728226 |   131544     6399    115 |  0.000 % |
11.34/11.45	c |      6533 |    2337   394633  1728226 |   131544     6533    115 |  0.000 % |
11.44/11.58	c |      6681 |    2337   394633  1728226 |   131544     6681    115 |  0.000 % |
11.64/11.76	c |      6842 |    2337   394633  1728226 |   131544     6842    115 |  0.000 % |
11.84/11.92	c |      7018 |    2337   394633  1728226 |   131544     7018    114 |  0.000 % |
11.95/12.10	c |      7213 |    2337   394633  1728226 |   131544     7213    116 |  0.000 % |
12.05/12.17	c |      7426 |    2337   394633  1728226 |   131544     7426    115 |  0.000 % |
12.24/12.36	c |      7660 |    2337   394633  1728226 |   131544     7660    116 |  0.000 % |
12.34/12.41	c |      7760 |    2337   394633  1728226 |   131544     7760    116 |  0.000 % |
12.44/12.51	c |      7870 |    2337   394633  1728226 |   131544     7870    116 |  0.000 % |
12.54/12.62	c |      7991 |    2337   394633  1728226 |   131544     7991    116 |  0.000 % |
12.64/12.75	c |      8124 |    2337   394633  1728226 |   131544     8124    116 |  0.000 % |
12.74/12.88	c |      8270 |    2337   394633  1728226 |   131544     8270    116 |  0.000 % |
12.94/13.03	c |      8431 |    2337   394633  1728226 |   131544     8431    116 |  0.000 % |
13.04/13.17	c |      8610 |    2337   394633  1728226 |   131544     8610    116 |  0.000 % |
13.25/13.37	c |      8803 |    2337   394633  1728226 |   131544     8803    117 |  0.000 % |
13.45/13.57	c |      9018 |    2337   394633  1728226 |   131544     9018    116 |  0.000 % |
13.65/13.79	c |      9251 |    2337   394633  1728226 |   131544     9251    116 |  0.000 % |
13.95/14.03	c |      9509 |    2337   394633  1728226 |   131544     9509    116 |  0.000 % |
14.05/14.14	c |      9612 |    2337   394633  1728226 |   131544     9612    117 |  0.000 % |
14.15/14.25	c |      9722 |    2337   394633  1728226 |   131544     9722    117 |  0.000 % |
14.35/14.41	c |      9844 |    2337   394633  1728226 |   131544     9844    117 |  0.000 % |
14.45/14.56	c |      9977 |    2337   394633  1728226 |   131544     9977    117 |  0.000 % |
14.65/14.70	c |     10125 |    2337   394633  1728226 | 2147483647    10125    117 |  0.000 % |
14.75/14.86	c |     10285 |    2337   394633  1728226 | 2147483647    10285    117 |  0.000 % |
14.95/15.03	c |     10461 |    2337   394633  1728226 | 2147483647    10461    117 |  0.000 % |
15.15/15.24	c |     10654 |    2337   394633  1728226 | 2147483647    10654    117 |  0.000 % |
15.35/15.44	c |     10867 |    2337   394633  1728226 | 2147483647    10867    117 |  0.000 % |
15.55/15.68	c |     11101 |    2337   394633  1728226 | 2147483647    11101    118 |  0.000 % |
15.85/15.92	c |     11357 |    2337   394633  1728226 | 2147483647    11357    118 |  0.000 % |
16.15/16.26	c |     11638 |    2337   394633  1728226 | 2147483647    11638    117 |  0.000 % |
16.25/16.35	c |     11739 |    2337   394633  1728226 | 2147483647    11739    117 |  0.000 % |
16.35/16.46	c |     11849 |    2337   394633  1728226 | 2147483647    11849    117 |  0.000 % |
16.45/16.55	c |     11971 |    2337   394633  1728226 | 2147483647    11971    117 |  0.000 % |
16.55/16.67	c |     12104 |    2337   394633  1728226 | 2147483647    12104    117 |  0.000 % |
16.74/16.83	c |     12250 |    2337   394633  1728226 | 2147483647    12250    117 |  0.000 % |
16.94/17.02	c |     12411 |    2337   394633  1728226 | 2147483647    12411    117 |  0.000 % |
17.15/17.24	c |     12589 |    2337   394633  1728226 | 2147483647    12589    117 |  0.000 % |
17.25/17.39	c |     12784 |    2337   394633  1728226 | 2147483647    12784    117 |  0.000 % |
17.55/17.61	c |     12996 |    2337   394633  1728226 | 2147483647    12996    117 |  0.000 % |
17.74/17.84	c |     13229 |    2337   394633  1728226 | 2147483647    13229    117 |  0.000 % |
17.94/18.09	c |     13485 |    2337   394633  1728226 | 2147483647    13485    117 |  0.000 % |
18.34/18.43	c |     13766 |    2337   394633  1728226 | 2147483647    13766    117 |  0.000 % |
18.55/18.69	c |     14077 |    2337   394633  1728226 | 2147483647    14077    117 |  0.000 % |
18.74/18.80	c |     14178 |    2337   394633  1728226 | 2147483647    14178    117 |  0.000 % |
18.84/18.92	c |     14288 |    2337   394633  1728226 | 2147483647    14288    117 |  0.000 % |
18.94/19.06	c |     14412 |    2337   394633  1728226 | 2147483647    14412    117 |  0.000 % |
19.14/19.22	c |     14547 |    2337   394633  1728226 | 2147483647    14547    118 |  0.000 % |
19.25/19.33	c |     14693 |    2337   394633  1728226 | 2147483647    14693    118 |  0.000 % |
19.35/19.49	c |     14854 |    2337   394633  1728226 | 2147483647    14854    118 |  0.000 % |
19.55/19.62	c |     15031 |    2337   394633  1728226 | 2147483647    15031    118 |  0.000 % |
19.65/19.78	c |     15226 |    2337   394633  1728226 | 2147483647    15226    118 |  0.000 % |
19.85/19.94	c |     15438 |    2337   394633  1728226 | 2147483647    15438    118 |  0.000 % |
20.05/20.19	c |     15673 |    2337   394633  1728226 | 2147483647    15673    118 |  0.000 % |
20.34/20.41	c |     15929 |    2337   394633  1728226 | 2147483647    15929    119 |  0.000 % |
20.44/20.56	c |     16210 |    2337   394633  1728226 | 2147483647    16210    119 |  0.000 % |
20.75/20.85	c |     16521 |    2337   394633  1728226 | 2147483647    16521    119 |  0.000 % |
21.04/21.13	c |     16861 |    2337   394633  1728226 | 2147483647    16861    120 |  0.000 % |
21.14/21.25	c |     16963 |    2337   394633  1728226 | 2147483647    16963    120 |  0.000 % |
21.24/21.39	c |     17076 |    2337   394633  1728226 | 2147483647    17076    120 |  0.000 % |
21.44/21.50	c |     17198 |    2337   394633  1728226 | 2147483647    17198    120 |  0.000 % |
21.54/21.65	c |     17333 |    2337   394633  1728226 | 2147483647    17333    120 |  0.000 % |
21.64/21.79	c |     17480 |    2337   394633  1728226 | 2147483647    17480    120 |  0.000 % |
21.85/21.92	c |     17640 |    2337   394633  1728226 | 2147483647    17640    119 |  0.000 % |
21.95/22.08	c |     17817 |    2337   394633  1728226 | 2147483647    17817    119 |  0.000 % |
22.14/22.28	c |     18012 |    2337   394633  1728226 | 2147483647    18012    119 |  0.000 % |
22.34/22.46	c |     18226 |    2337   394633  1728226 | 2147483647    18226    120 |  0.000 % |
22.54/22.69	c |     18459 |    2337   394633  1728226 | 2147483647    18459    119 |  0.000 % |
22.84/22.92	c |     18715 |    2337   394633  1728226 | 2147483647    18715    119 |  0.000 % |
23.14/23.22	c |     18996 |    2337   394633  1728226 | 2147483647    18996    120 |  0.000 % |
23.34/23.47	c |     19305 |    2337   394633  1728226 | 2147483647    19305    120 |  0.000 % |
23.74/23.82	c |     19644 |    2337   394633  1728226 | 2147483647    19644    120 |  0.000 % |
24.05/24.17	c |     20017 |    2337   394633  1728226 | 2147483647    20017    120 |  0.000 % |
24.15/24.29	c |     20118 |    2337   394633  1728226 | 2147483647    20118    120 |  0.000 % |
24.24/24.38	c |     20228 |    2337   394633  1728226 | 2147483647    20228    120 |  0.000 % |
24.44/24.50	c |     20349 |    2337   394633  1728226 | 2147483647    20349    120 |  0.000 % |
24.54/24.63	c |     20486 |    2337   394633  1728226 | 2147483647    20486    120 |  0.000 % |
24.64/24.78	c |     20632 |    2337   394633  1728226 | 2147483647    20632    120 |  0.000 % |
24.84/24.95	c |     20793 |    2337   394633  1728226 | 2147483647    20793    120 |  0.000 % |
24.94/25.08	c |     20970 |    2337   394633  1728226 | 2147483647    20970    120 |  0.000 % |
25.24/25.32	c |     21165 |    2337   394633  1728226 | 2147483647    21165    120 |  0.000 % |
25.44/25.51	c |     21377 |    2337   394633  1728226 | 2147483647    21377    120 |  0.000 % |
25.65/25.71	c |     21610 |    2337   394633  1728226 | 2147483647    21610    120 |  0.000 % |
25.94/26.01	c |     21868 |    2337   394633  1728226 | 2147483647    21868    120 |  0.000 % |
26.14/26.24	c |     22150 |    2337   394633  1728226 | 2147483647    22150    120 |  0.000 % |
26.44/26.56	c |     22461 |    2337   394633  1728226 | 2147483647    22461    120 |  0.000 % |
26.54/26.70	c |     22800 |    2337   394633  1728226 | 2147483647    22800    120 |  0.000 % |
26.84/26.95	c |     23172 |    2337   394633  1728226 | 2147483647    23172    120 |  0.000 % |
27.24/27.33	c |     23582 |    2337   394633  1728226 | 2147483647    23582    121 |  0.000 % |
27.35/27.43	c |     23682 |    2337   394633  1728226 | 2147483647    23682    121 |  0.000 % |
27.45/27.54	c |     23793 |    2337   394633  1728226 | 2147483647    23793    121 |  0.000 % |
27.54/27.67	c |     23915 |    2337   394633  1728226 | 2147483647    23915    121 |  0.000 % |
27.64/27.79	c |     24048 |    2337   394633  1728226 | 2147483647    24048    121 |  0.000 % |
27.74/27.87	c |     24194 |    2337   394633  1728226 | 2147483647    24194    121 |  0.000 % |
27.94/28.04	c |     24356 |    2337   394633  1728226 | 2147483647    24356    121 |  0.000 % |
28.14/28.24	c |     24533 |    2337   394633  1728226 | 2147483647    24533    121 |  0.000 % |
28.34/28.42	c |     24726 |    2337   394633  1728226 | 2147483647    24726    121 |  0.000 % |
28.54/28.65	c |     24938 |    2337   394633  1728226 | 2147483647    24938    121 |  0.000 % |
28.74/28.86	c |     25171 |    2337   394633  1728226 | 2147483647    25171    121 |  0.000 % |
28.94/29.09	c |     25427 |    2337   394633  1728226 | 2147483647    25427    121 |  0.000 % |
29.24/29.33	c |     25709 |    2337   394633  1728226 | 2147483647    25709    121 |  0.000 % |
29.44/29.57	c |     26019 |    2337   394633  1728226 | 2147483647    26019    121 |  0.000 % |
29.74/29.84	c |     26358 |    2337   394633  1728226 | 2147483647    26358    122 |  0.000 % |
30.24/30.30	c |     26733 |    2337   394633  1728226 | 2147483647    26733    122 |  0.000 % |
30.54/30.69	c |     27142 |    2337   394633  1728226 | 2147483647    27142    122 |  0.000 % |
30.94/31.07	c |     27591 |    2337   394633  1728226 | 2147483647    27591    122 |  0.000 % |
31.04/31.16	c |     27691 |    2337   394633  1728226 | 2147483647    27691    122 |  0.000 % |
31.14/31.29	c |     27802 |    2337   394633  1728226 | 2147483647    27802    122 |  0.000 % |
31.34/31.45	c |     27925 |    2337   394633  1728226 | 2147483647    27925    122 |  0.000 % |
31.54/31.63	c |     28061 |    2337   394633  1728226 | 2147483647    28061    122 |  0.000 % |
31.64/31.80	c |     28207 |    2337   394633  1728226 | 2147483647    28207    122 |  0.000 % |
31.85/31.97	c |     28367 |    2337   394633  1728226 | 2147483647    28367    122 |  0.000 % |
32.04/32.12	c |     28546 |    2337   394633  1728226 | 2147483647    28546    122 |  0.000 % |
32.24/32.32	c |     28740 |    2337   394633  1728226 | 2147483647    28740    122 |  0.000 % |
32.44/32.51	c |     28953 |    2337   394633  1728226 | 2147483647    28953    122 |  0.000 % |
32.64/32.73	c |     29187 |    2337   394633  1728226 | 2147483647    29187    122 |  0.000 % |
32.94/33.03	c |     29443 |    2337   394633  1728226 | 2147483647    29443    122 |  0.000 % |
33.13/33.24	c |     29726 |    2337   394633  1728226 | 2147483647    29726    122 |  0.000 % |
33.53/33.60	c |     30035 |    2337   394633  1728226 | 2147483647    30035    123 |  0.000 % |
33.83/33.91	c |     30375 |    2337   394633  1728226 | 2147483647    30375    123 |  0.000 % |
34.23/34.33	c |     30747 |    2337   394633  1728226 | 2147483647    30747    123 |  0.000 % |
34.53/34.70	c |     31156 |    2337   394633  1728226 | 2147483647    31156    123 |  0.000 % |
34.72/34.88	c |     31606 |    2337   394633  1728226 | 2147483647    31606    123 |  0.000 % |
35.22/35.36	c |     32100 |    2337   394633  1728226 | 2147483647    32100    123 |  0.000 % |
35.32/35.47	c |     32200 |    2337   394633  1728226 | 2147483647    32200    123 |  0.000 % |
35.42/35.59	c |     32311 |    2337   394633  1728226 | 2147483647    32311    123 |  0.000 % |
35.52/35.64	c |     32433 |    2337   394633  1728226 | 2147483647    32433    123 |  0.000 % |
35.62/35.80	c |     32566 |    2337   394633  1728226 | 2147483647    32566    123 |  0.000 % |
35.82/35.97	c |     32713 |    2337   394633  1728226 | 2147483647    32713    123 |  0.000 % |
36.02/36.14	c |     32874 |    2337   394633  1728226 | 2147483647    32874    123 |  0.000 % |
36.12/36.29	c |     33050 |    2337   394633  1728226 | 2147483647    33050    123 |  0.000 % |
36.42/36.53	c |     33244 |    2337   394633  1728226 | 2147483647    33244    123 |  0.000 % |
36.62/36.72	c |     33458 |    2337   394633  1728226 | 2147483647    33458    123 |  0.000 % |
36.82/36.98	c |     33693 |    2337   394633  1728226 | 2147483647    33693    123 |  0.000 % |
37.12/37.25	c |     33951 |    2337   394633  1728226 | 2147483647    33951    123 |  0.000 % |
37.42/37.54	c |     34232 |    2337   394633  1728226 | 2147483647    34232    124 |  0.000 % |
37.72/37.82	c |     34541 |    2337   394633  1728226 | 2147483647    34541    124 |  0.000 % |
38.03/38.18	c |     34880 |    2337   394633  1728226 | 2147483647    34880    124 |  0.000 % |
38.43/38.55	c |     35253 |    2337   394633  1728226 | 2147483647    35253    124 |  0.000 % |
38.72/38.80	c |     35663 |    2337   394633  1728226 | 2147483647    35663    124 |  0.000 % |
39.22/39.31	c |     36112 |    2337   394633  1728226 | 2147483647    36112    125 |  0.000 % |
39.43/39.57	c |     36605 |    2337   394633  1728226 | 2147483647    36605    124 |  0.000 % |
39.92/40.08	c |     37147 |    2337   394633  1728226 | 2147483647    37147    124 |  0.000 % |
40.12/40.22	c |     37247 |    2337   394633  1728226 | 2147483647    37247    124 |  0.000 % |
40.22/40.34	c |     37359 |    2337   394633  1728226 | 2147483647    37359    124 |  0.000 % |
40.42/40.50	c |     37481 |    2337   394633  1728226 | 2147483647    37481    124 |  0.000 % |
40.52/40.69	c |     37614 |    2337   394633  1728226 | 2147483647    37614    124 |  0.000 % |
40.72/40.88	c |     37761 |    2337   394633  1728226 | 2147483647    37761    124 |  0.000 % |
40.92/41.06	c |     37922 |    2337   394633  1728226 | 2147483647    37922    124 |  0.000 % |
41.12/41.29	c |     38098 |    2337   394633  1728226 | 2147483647    38098    124 |  0.000 % |
41.32/41.45	c |     38293 |    2337   394633  1728226 | 2147483647    38293    125 |  0.000 % |
41.62/41.75	c |     38505 |    2337   394633  1728226 | 2147483647    38505    125 |  0.000 % |
41.82/41.98	c |     38738 |    2337   394633  1728226 | 2147483647    38738    125 |  0.000 % |
42.12/42.30	c |     38994 |    2337   394633  1728226 | 2147483647    38994    125 |  0.000 % |
42.53/42.63	c |     39277 |    2337   394633  1728226 | 2147483647    39277    125 |  0.000 % |
42.83/42.90	c |     39589 |    2337   394633  1728226 | 2147483647    39589    125 |  0.000 % |
43.13/43.25	c |     39928 |    2337   394633  1728226 | 2147483647    39928    125 |  0.000 % |
43.63/43.73	c |     40301 |    2337   394633  1728226 | 2147483647    40301    125 |  0.000 % |
44.03/44.13	c |     40710 |    2337   394633  1728226 | 2147483647    40710    125 |  0.000 % |
44.52/44.62	c |     41163 |    2337   394633  1728226 | 2147483647    41163    126 |  0.000 % |
45.02/45.15	c |     41657 |    2337   394633  1728226 | 2147483647    41657    126 |  0.000 % |
45.52/45.65	c |     42201 |    2337   394633  1728226 | 2147483647    42201    126 |  0.000 % |
46.12/46.29	c |     42799 |    2337   394633  1728226 | 2147483647    42799    127 |  0.000 % |
46.32/46.44	c |     42900 |    2337   394633  1728226 | 2147483647    42900    127 |  0.000 % |
46.42/46.57	c |     43011 |    2337   394633  1728226 | 2147483647    43011    127 |  0.000 % |
46.61/46.71	c |     43132 |    2337   394633  1728226 | 2147483647    43132    127 |  0.000 % |
46.71/46.85	c |     43267 |    2337   394633  1728226 | 2147483647    43267    126 |  0.000 % |
46.92/47.05	c |     43414 |    2337   394633  1728226 | 2147483647    43414    127 |  0.000 % |
47.02/47.20	c |     43578 |    2337   394633  1728226 | 2147483647    43578    127 |  0.000 % |
47.32/47.42	c |     43755 |    2337   394633  1728226 | 2147483647    43755    127 |  0.000 % |
47.52/47.63	c |     43949 |    2337   394633  1728226 | 2147483647    43949    127 |  0.000 % |
47.82/47.94	c |     44162 |    2337   394633  1728226 | 2147483647    44162    127 |  0.000 % |
48.02/48.15	c |     44395 |    2337   394633  1728226 | 2147483647    44395    127 |  0.000 % |
48.22/48.33	c |     44652 |    2337   394633  1728226 | 2147483647    44652    126 |  0.000 % |
48.52/48.65	c |     44933 |    2337   394633  1728226 | 2147483647    44933    127 |  0.000 % |
48.92/49.03	c |     45243 |    2337   394633  1728226 | 2147483647    45243    127 |  0.000 % |
49.32/49.46	c |     45585 |    2337   394633  1728226 | 2147483647    45585    127 |  0.000 % |
49.72/49.84	c |     45960 |    2337   394633  1728226 | 2147483647    45960    127 |  0.000 % |
50.11/50.24	c |     46370 |    2337   394633  1728226 | 2147483647    46370    127 |  0.000 % |
50.42/50.56	c |     46819 |    2337   394633  1728226 | 2147483647    46819    127 |  0.000 % |
50.91/51.01	c |     47312 |    2337   394633  1728226 | 2147483647    47312    128 |  0.000 % |
51.31/51.44	c |     47856 |    2337   394633  1728226 | 2147483647    47856    128 |  0.000 % |
51.91/52.07	c |     48452 |    2337   394633  1728226 | 2147483647    48452    129 |  0.000 % |
52.51/52.60	c |     49108 |    2337   394633  1728226 | 2147483647    49108    129 |  0.000 % |
52.51/52.68	c |     49209 |    2337   394633  1728226 | 2147483647    49209    129 |  0.000 % |
52.71/52.82	c |     49319 |    2337   394633  1728226 | 2147483647    49319    129 |  0.000 % |
52.81/52.90	c |     49440 |    2337   394633  1728226 | 2147483647    49440    129 |  0.000 % |
53.02/53.10	c |     49577 |    2337   394633  1728226 | 2147483647    49577    129 |  0.000 % |
53.32/53.42	c |     49727 |    2337   394633  1728226 | 2147483647    49727    129 |  0.000 % |
53.52/53.61	c |     49887 |    2337   394633  1728226 | 2147483647    49887    129 |  0.000 % |
53.72/53.88	c |     50063 |    2337   394633  1728226 | 2147483647    50063    129 |  0.000 % |
54.02/54.10	c |     50256 |    2337   394633  1728226 | 2147483647    50256    129 |  0.000 % |
54.22/54.37	c |     50470 |    2337   394633  1728226 | 2147483647    50470    129 |  0.000 % |
54.62/54.70	c |     50704 |    2337   394633  1728226 | 2147483647    50704    129 |  0.000 % |
54.82/54.97	c |     50960 |    2337   394633  1728226 | 2147483647    50960    129 |  0.000 % |
55.12/55.29	c |     51241 |    2337   394633  1728226 | 2147483647    51241    129 |  0.000 % |
55.51/55.67	c |     51551 |    2337   394633  1728226 | 2147483647    51551    129 |  0.000 % |
55.92/56.05	c |     51890 |    2337   394633  1728226 | 2147483647    51890    129 |  0.000 % |
56.51/56.64	c |     52263 |    2337   394633  1728226 | 2147483647    52263    130 |  0.000 % |
57.11/57.25	c |     52674 |    2337   394633  1728226 | 2147483647    52674    130 |  0.000 % |
57.81/57.93	c |     53124 |    2337   394633  1728226 | 2147483647    53124    130 |  0.000 % |
58.41/58.59	c |     53617 |    2337   394633  1728226 | 2147483647    53617    129 |  0.000 % |
59.11/59.25	c |     54159 |    2337   394633  1728226 | 2147483647    54159    130 |  0.000 % |
59.91/60.05	c |     54758 |    2337   394633  1728226 | 2147483647    54758    130 |  0.000 % |
60.91/61.04	c |     55415 |    2337   394633  1728226 | 2147483647    55415    130 |  0.000 % |
61.51/61.68	c |     56135 |    2337   394633  1728226 | 2147483647    56135    130 |  0.000 % |
61.71/61.85	c |     56236 |    2337   394633  1728226 | 2147483647    56236    130 |  0.000 % |
61.91/62.01	c |     56347 |    2337   394633  1728226 | 2147483647    56347    130 |  0.000 % |
62.01/62.19	c |     56468 |    2337   394633  1728226 | 2147483647    56468    130 |  0.000 % |
62.31/62.42	c |     56601 |    2337   394633  1728226 | 2147483647    56601    130 |  0.000 % |
62.52/62.66	c |     56749 |    2337   394633  1728226 | 2147483647    56749    130 |  0.000 % |
62.81/62.91	c |     56911 |    2337   394633  1728226 | 2147483647    56911    130 |  0.000 % |
63.01/63.15	c |     57088 |    2337   394633  1728226 | 2147483647    57088    130 |  0.000 % |
63.31/63.42	c |     57281 |    2337   394633  1728226 | 2147483647    57281    130 |  0.000 % |
63.51/63.66	c |     57493 |    2337   394633  1728226 | 2147483647    57493    131 |  0.000 % |
63.91/64.01	c |     57726 |    2337   394633  1728226 | 2147483647    57726    131 |  0.000 % |
64.21/64.34	c |     57983 |    2337   394633  1728226 | 2147483647    57983    131 |  0.000 % |
64.61/64.72	c |     58264 |    2337   394633  1728226 | 2147483647    58264    131 |  0.000 % |
64.81/64.91	c |     58575 |    2337   394633  1728226 | 2147483647    58575    131 |  0.000 % |
65.21/65.33	c |     58916 |    2337   394633  1728226 | 2147483647    58916    131 |  0.000 % |
65.51/65.69	c |     59289 |    2337   394633  1728226 | 2147483647    59289    131 |  0.000 % |
65.81/65.92	c |     59699 |    2337   394633  1728226 | 2147483647    59699    131 |  0.000 % |
66.40/66.53	c |     60148 |    2337   394633  1728226 | 2147483647    60148    131 |  0.000 % |
67.10/67.21	c |     60642 |    2337   394633  1728226 | 2147483647    60642    131 |  0.000 % |
67.60/67.77	c |     61184 |    2337   394633  1728226 | 2147483647    61184    131 |  0.000 % |
68.31/68.45	c |     61781 |    2337   394633  1728226 | 2147483647    61781    131 |  0.000 % |
69.01/69.11	c |     62437 |    2337   394633  1728226 | 2147483647    62437    131 |  0.000 % |
69.81/69.93	c |     63158 |    2337   394633  1728226 | 2147483647    63158    132 |  0.000 % |
70.71/70.90	c |     63950 |    2337   394633  1728226 | 2147483647    63950    131 |  0.000 % |
70.91/71.05	c |     64050 |    2337   394633  1728226 | 2147483647    64050    131 |  0.000 % |
71.11/71.20	c |     64160 |    2337   394633  1728226 | 2147483647    64160    131 |  0.000 % |
71.21/71.38	c |     64281 |    2337   394633  1728226 | 2147483647    64281    131 |  0.000 % |
71.41/71.57	c |     64414 |    2337   394633  1728226 | 2147483647    64414    131 |  0.000 % |
71.61/71.75	c |     64561 |    2337   394633  1728226 | 2147483647    64561    131 |  0.000 % |
71.90/72.02	c |     64721 |    2337   394633  1728226 | 2147483647    64721    131 |  0.000 % |
72.10/72.25	c |     64898 |    2337   394633  1728226 | 2147483647    64898    131 |  0.000 % |
72.41/72.51	c |     65092 |    2337   394633  1728226 | 2147483647    65092    131 |  0.000 % |
72.70/72.82	c |     65304 |    2337   394633  1728226 | 2147483647    65304    131 |  0.000 % |
73.00/73.14	c |     65538 |    2337   394633  1728226 | 2147483647    65538    131 |  0.000 % |
73.30/73.49	c |     65796 |    2337   394633  1728226 | 2147483647    65796    131 |  0.000 % |
73.70/73.81	c |     66080 |    2337   394633  1728226 | 2147483647    66080    131 |  0.000 % |
74.10/74.21	c |     66390 |    2337   394633  1728226 | 2147483647    66390    131 |  0.000 % |
74.50/74.67	c |     66730 |    2337   394633  1728226 | 2147483647    66730    132 |  0.000 % |
75.00/75.17	c |     67103 |    2337   394633  1728226 | 2147483647    67103    132 |  0.000 % |
75.40/75.57	c |     67512 |    2337   394633  1728226 | 2147483647    67512    131 |  0.000 % |
76.10/76.21	c |     67961 |    2337   394633  1728226 | 2147483647    67961    132 |  0.000 % |
76.50/76.66	c |     68455 |    2337   394633  1728226 | 2147483647    68455    132 |  0.000 % |
77.31/77.43	c |     68997 |    2337   394633  1728226 | 2147483647    68997    131 |  0.000 % |
78.10/78.26	c |     69596 |    2337   394633  1728226 | 2147483647    69596    132 |  0.000 % |
78.70/78.86	c |     70253 |    2337   394633  1728226 | 2147483647    70253    132 |  0.000 % |
79.70/79.81	c |     70973 |    2337   394633  1728226 | 2147483647    70973    132 |  0.000 % |
80.70/80.80	c |     71765 |    2337   394633  1728226 | 2147483647    71765    132 |  0.000 % |
81.90/82.02	c |     72636 |    2337   394633  1728226 | 2147483647    72636    132 |  0.000 % |
82.00/82.18	c |     72736 |    2337   394633  1728226 | 2147483647    72736    132 |  0.000 % |
82.20/82.32	c |     72846 |    2337   394633  1728226 | 2147483647    72846    132 |  0.000 % |
82.40/82.52	c |     72970 |    2337   394633  1728226 | 2147483647    72970    132 |  0.000 % |
82.60/82.75	c |     73104 |    2337   394633  1728226 | 2147483647    73104    132 |  0.000 % |
82.90/83.02	c |     73252 |    2337   394633  1728226 | 2147483647    73252    132 |  0.000 % |
83.00/83.17	c |     73413 |    2337   394633  1728226 | 2147483647    73413    132 |  0.000 % |
83.20/83.35	c |     73590 |    2337   394633  1728226 | 2147483647    73590    132 |  0.000 % |
83.59/83.72	c |     73783 |    2337   394633  1728226 | 2147483647    73783    132 |  0.000 % |
83.79/83.92	c |     73996 |    2337   394633  1728226 | 2147483647    73996    132 |  0.000 % |
84.19/84.31	c |     74230 |    2337   394633  1728226 | 2147483647    74230    132 |  0.000 % |
84.39/84.51	c |     74488 |    2337   394633  1728226 | 2147483647    74488    132 |  0.000 % |
84.69/84.85	c |     74770 |    2337   394633  1728226 | 2147483647    74770    132 |  0.000 % |
84.99/85.13	c |     75079 |    2337   394633  1728226 | 2147483647    75079    132 |  0.000 % |
85.40/85.56	c |     75419 |    2337   394633  1728226 | 2147483647    75419    132 |  0.000 % |
85.90/86.06	c |     75791 |    2337   394633  1728226 | 2147483647    75791    132 |  0.000 % |
86.50/86.63	c |     76200 |    2337   394633  1728226 | 2147483647    76200    133 |  0.000 % |
86.99/87.19	c |     76651 |    2337   394633  1728226 | 2147483647    76651    133 |  0.000 % |
87.59/87.73	c |     77145 |    2337   394633  1728226 | 2147483647    77145    133 |  0.000 % |
88.09/88.21	c |     77690 |    2337   394633  1728226 | 2147483647    77690    133 |  0.000 % |
89.09/89.21	c |     78289 |    2337   394633  1728226 | 2147483647    78289    133 |  0.000 % |
89.79/89.96	c |     78945 |    2337   394633  1728226 | 2147483647    78945    133 |  0.000 % |
90.69/90.86	c |     79667 |    2337   394633  1728226 | 2147483647    79667    134 |  0.000 % |
91.59/91.76	c |     80459 |    2337   394633  1728226 | 2147483647    80459    134 |  0.000 % |
92.99/93.19	c |     81331 |    2337   394633  1728226 | 2147483647    81331    134 |  0.000 % |
94.19/94.35	c |     82289 |    2337   394633  1728226 | 2147483647    82289    134 |  0.000 % |
94.29/94.47	c |     82391 |    2337   394633  1728226 | 2147483647    82391    134 |  0.000 % |
94.49/94.65	c |     82503 |    2337   394633  1728226 | 2147483647    82503    134 |  0.000 % |
94.69/94.84	c |     82624 |    2337   394633  1728226 | 2147483647    82624    134 |  0.000 % |
94.89/95.08	c |     82758 |    2337   394633  1728226 | 2147483647    82758    134 |  0.000 % |
95.19/95.35	c |     82904 |    2337   394633  1728226 | 2147483647    82904    134 |  0.000 % |
95.49/95.63	c |     83065 |    2337   394633  1728226 | 2147483647    83065    134 |  0.000 % |
95.68/95.87	c |     83243 |    2337   394633  1728226 | 2147483647    83243    134 |  0.000 % |
95.98/96.16	c |     83438 |    2337   394633  1728226 | 2147483647    83438    134 |  0.000 % |
96.38/96.56	c |     83650 |    2337   394633  1728226 | 2147483647    83650    134 |  0.000 % |
96.78/96.95	c |     83883 |    2337   394633  1728226 | 2147483647    83883    134 |  0.000 % |
97.18/97.34	c |     84141 |    2337   394633  1728226 | 2147483647    84141    134 |  0.000 % |
97.49/97.63	c |     84422 |    2337   394633  1728226 | 2147483647    84422    134 |  0.000 % |
97.89/98.09	c |     84731 |    2337   394633  1728226 | 2147483647    84731    134 |  0.000 % |
98.39/98.51	c |     85070 |    2337   394633  1728226 | 2147483647    85070    134 |  0.000 % |
98.79/98.92	c |     85443 |    2337   394633  1728226 | 2147483647    85443    134 |  0.000 % |
99.28/99.41	c |     85853 |    2337   394633  1728226 | 2147483647    85853    134 |  0.000 % |
99.78/99.93	c |     86302 |    2337   394633  1728226 | 2147483647    86302    134 |  0.000 % |
100.38/100.53	c |     86795 |    2337   394633  1728226 | 2147483647    86795    134 |  0.000 % |
100.99/101.15	c |     87340 |    2337   394633  1728226 | 2147483647    87340    134 |  0.000 % |
101.68/101.87	c |     87936 |    2337   394633  1728226 | 2147483647    87936    134 |  0.000 % |
102.48/102.62	c |     88591 |    2337   394633  1728226 | 2147483647    88591    134 |  0.000 % |
103.28/103.48	c |     89314 |    2337   394633  1728226 | 2147483647    89314    134 |  0.000 % |
104.19/104.39	c |     90106 |    2337   394633  1728226 | 2147483647    90106    134 |  0.000 % |
105.39/105.53	c |     90984 |    2337   394633  1728226 | 2147483647    90984    134 |  0.000 % |
106.38/106.60	c |     91943 |    2337   394633  1728226 | 2147483647    91943    134 |  0.000 % |
107.38/107.52	c |     92996 |    2337   394633  1728226 | 2147483647    92996    134 |  0.000 % |
107.38/107.60	c |     93097 |    2337   394633  1728226 | 2147483647    93097    134 |  0.000 % |
107.68/107.83	c |     93207 |    2337   394633  1728226 | 2147483647    93207    134 |  0.000 % |
107.78/107.97	c |     93328 |    2337   394633  1728226 | 2147483647    93328    134 |  0.000 % |
107.88/108.08	c |     93461 |    2337   394633  1728226 | 2147483647    93461    134 |  0.000 % |
108.18/108.30	c |     93607 |    2337   394633  1728226 | 2147483647    93607    134 |  0.000 % |
108.38/108.56	c |     93768 |    2337   394633  1728226 | 2147483647    93768    134 |  0.000 % |
108.78/108.91	c |     93945 |    2337   394633  1728226 | 2147483647    93945    134 |  0.000 % |
108.98/109.12	c |     94138 |    2337   394633  1728226 | 2147483647    94138    134 |  0.000 % |
109.18/109.35	c |     94350 |    2337   394633  1728226 | 2147483647    94350    134 |  0.000 % |
109.59/109.70	c |     94584 |    2337   394633  1728226 | 2147483647    94584    134 |  0.000 % |
109.89/110.09	c |     94840 |    2337   394633  1728226 | 2147483647    94840    134 |  0.000 % |
110.38/110.57	c |     95125 |    2337   394633  1728226 | 2147483647    95125    134 |  0.000 % |
110.78/110.97	c |     95434 |    2337   394633  1728226 | 2147483647    95434    134 |  0.000 % |
111.38/111.53	c |     95774 |    2337   394633  1728226 | 2147483647    95774    134 |  0.000 % |
111.68/111.86	c |     96146 |    2337   394633  1728226 | 2147483647    96146    134 |  0.000 % |
112.28/112.43	c |     96557 |    2337   394633  1728226 | 2147483647    96557    134 |  0.000 % |
112.78/112.90	c |     97007 |    2337   394633  1728226 | 2147483647    97007    134 |  0.000 % |
113.68/113.86	c |     97500 |    2337   394633  1728226 | 2147483647    97500    134 |  0.000 % |
114.18/114.37	c |     98042 |    2337   394633  1728226 | 2147483647    98042    134 |  0.000 % |
114.88/115.04	c |     98638 |    2337   394633  1728226 | 2147483647    98638    134 |  0.000 % |
115.58/115.77	c |     99293 |    2337   394633  1728226 | 2147483647    99293    134 |  0.000 % |
116.18/116.32	c |    100014 |    2337   394633  1728226 | 2147483647   100014    134 |  0.000 % |
117.08/117.20	c |    100810 |    2337   394633  1728226 | 2147483647   100810    134 |  0.000 % |
118.38/118.54	c |    101681 |    2337   394633  1728226 | 2147483647   101681    135 |  0.000 % |
119.78/119.99	c |    102640 |    2337   394633  1728226 | 2147483647   102640    135 |  0.000 % |
120.97/121.11	c |    103693 |    2337   394633  1728226 | 2147483647   103693    135 |  0.000 % |
122.48/122.63	c |    104852 |    2337   394633  1728226 | 2147483647   104852    135 |  0.000 % |
122.68/122.86	c |    104953 |    2337   394633  1728226 | 2147483647   104953    135 |  0.000 % |
122.88/123.05	c |    105064 |    2337   394633  1728226 | 2147483647   105064    135 |  0.000 % |
123.17/123.33	c |    105185 |    2337   394633  1728226 | 2147483647   105185    135 |  0.000 % |
123.37/123.59	c |    105318 |    2337   394633  1728226 | 2147483647   105318    135 |  0.000 % |
123.57/123.74	c |    105467 |    2337   394633  1728226 | 2147483647   105467    135 |  0.000 % |
123.97/124.10	c |    105628 |    2337   394633  1728226 | 2147483647   105628    135 |  0.000 % |
124.17/124.37	c |    105805 |    2337   394633  1728226 | 2147483647   105805    135 |  0.000 % |
124.57/124.78	c |    105999 |    2337   394633  1728226 | 2147483647   105999    135 |  0.000 % |
125.07/125.22	c |    106211 |    2337   394633  1728226 | 2147483647   106211    135 |  0.000 % |
125.46/125.68	c |    106444 |    2337   394633  1728226 | 2147483647   106444    135 |  0.000 % |
125.86/126.04	c |    106701 |    2337   394633  1728226 | 2147483647   106701    135 |  0.000 % |
126.26/126.47	c |    106982 |    2337   394633  1728226 | 2147483647   106982    135 |  0.000 % |
126.76/126.92	c |    107293 |    2337   394633  1728226 | 2147483647   107293    135 |  0.000 % |
127.26/127.46	c |    107634 |    2337   394633  1728226 | 2147483647   107634    135 |  0.000 % |
127.75/127.94	c |    108006 |    2337   394633  1728226 | 2147483647   108006    135 |  0.001 % |
128.35/128.60	c |    108415 |    2337   394633  1728226 | 2147483647   108415    135 |  0.000 % |
129.15/129.30	c |    108866 |    2337   394633  1728226 | 2147483647   108866    135 |  0.000 % |
129.94/130.13	c |    109359 |    2337   394633  1728226 | 2147483647   109359    135 |  0.000 % |
130.75/130.92	c |    109901 |    2337   394633  1728226 | 2147483647   109901    135 |  0.000 % |
131.44/131.61	c |    110501 |    2337   394633  1728226 | 2147483647   110501    135 |  0.000 % |
132.54/132.74	c |    111156 |    2337   394633  1728226 | 2147483647   111156    136 |  0.000 % |
133.54/133.76	c |    111879 |    2337   394633  1728226 | 2147483647   111879    136 |  0.000 % |
134.94/135.11	c |    112671 |    2337   394633  1728226 | 2147483647   112671    136 |  0.000 % |
136.14/136.35	c |    113543 |    2337   394633  1728226 | 2147483647   113543    136 |  0.000 % |
137.74/137.98	c |    114501 |    2337   394633  1728226 | 2147483647   114501    136 |  0.000 % |
139.34/139.57	c |    115554 |    2337   394633  1728226 | 2147483647   115554    136 |  0.000 % |
141.04/141.29	c |    116715 |    2337   394633  1728226 | 2147483647   116715    136 |  0.000 % |
142.94/143.16	c |    117991 |    2337   394633  1728226 | 2147483647   117991    136 |  0.000 % |
143.14/143.35	c |    118093 |    2337   394633  1728226 | 2147483647   118093    136 |  0.000 % |
143.44/143.63	c |    118203 |    2337   394633  1728226 | 2147483647   118203    136 |  0.000 % |
143.64/143.80	c |    118327 |    2337   394633  1728226 | 2147483647   118327    136 |  0.000 % |
143.84/144.07	c |    118460 |    2337   394633  1728226 | 2147483647   118460    136 |  0.000 % |
144.04/144.28	c |    118606 |    2337   394633  1728226 | 2147483647   118606    136 |  0.000 % |
144.34/144.52	c |    118766 |    2337   394633  1728226 | 2147483647   118766    136 |  0.000 % |
144.64/144.81	c |    118942 |    2337   394633  1728226 | 2147483647   118942    136 |  0.000 % |
144.94/145.19	c |    119138 |    2337   394633  1728226 | 2147483647   119138    136 |  0.000 % |
145.44/145.63	c |    119352 |    2337   394633  1728226 | 2147483647   119352    136 |  0.000 % |
145.84/146.05	c |    119586 |    2337   394633  1728226 | 2147483647   119586    136 |  0.000 % |
146.44/146.66	c |    119843 |    2337   394633  1728226 | 2147483647   119843    136 |  0.000 % |
146.94/147.10	c |    120124 |    2337   394633  1728226 | 2147483647   120124    136 |  0.000 % |
147.44/147.69	c |    120433 |    2337   394633  1728226 | 2147483647   120433    136 |  0.000 % |
147.93/148.18	c |    120772 |    2337   394633  1728226 | 2147483647   120772    136 |  0.000 % |
148.53/148.78	c |    121144 |    2337   394633  1728226 | 2147483647   121144    136 |  0.000 % |
149.34/149.51	c |    121553 |    2337   394633  1728226 | 2147483647   121553    137 |  0.000 % |
150.13/150.31	c |    122004 |    2337   394633  1728226 | 2147483647   122004    137 |  0.000 % |
150.93/151.13	c |    122498 |    2337   394633  1728226 | 2147483647   122498    137 |  0.000 % |
151.84/152.00	c |    123040 |    2337   394633  1728226 | 2147483647   123040    137 |  0.000 % |
152.84/153.04	c |    123636 |    2337   394633  1728226 | 2147483647   123636    137 |  0.000 % |
154.24/154.40	c |    124291 |    2337   394633  1728226 | 2147483647   124291    137 |  0.000 % |
155.23/155.45	c |    125013 |    2337   394633  1728226 | 2147483647   125013    137 |  0.000 % |
156.23/156.45	c |    125805 |    2337   394633  1728226 | 2147483647   125805    137 |  0.000 % |
157.53/157.79	c |    126677 |    2337   394633  1728226 | 2147483647   126677    138 |  0.000 % |
159.13/159.38	c |    127637 |    2337   394633  1728226 | 2147483647   127637    138 |  0.000 % |
160.63/160.88	c |    128692 |    2337   394633  1728226 | 2147483647   128692    138 |  0.000 % |
161.73/161.99	c |    129851 |    2337   394633  1728226 | 2147483647   129851    138 |  0.000 % |
162.93/163.12	c |    131128 |    2337   394633  1728226 | 2147483647   131128    138 |  0.000 % |
164.73/164.98	c |    132529 |    2337   394633  1728226 | 2147483647   132529    138 |  0.000 % |
165.03/165.26	c |    132629 |    2337   394633  1728226 | 2147483647   132629    138 |  0.000 % |
165.23/165.41	c |    132742 |    2337   394633  1728226 | 2147483647   132742    138 |  0.000 % |
165.43/165.67	c |    132864 |    2337   394633  1728226 | 2147483647   132864    138 |  0.000 % |
165.73/165.95	c |    132999 |    2337   394633  1728226 | 2147483647   132999    138 |  0.000 % |
166.03/166.23	c |    133145 |    2337   394633  1728226 | 2147483647   133145    138 |  0.000 % |
166.33/166.53	c |    133307 |    2337   394633  1728226 | 2147483647   133307    138 |  0.000 % |
166.63/166.85	c |    133483 |    2337   394633  1728226 | 2147483647   133483    138 |  0.000 % |
166.93/167.18	c |    133676 |    2337   394633  1728226 | 2147483647   133676    138 |  0.000 % |
167.33/167.58	c |    133889 |    2337   394633  1728226 | 2147483647   133889    138 |  0.000 % |
167.72/167.92	c |    134122 |    2337   394633  1728226 | 2147483647   134122    138 |  0.000 % |
168.12/168.30	c |    134379 |    2337   394633  1728226 | 2147483647   134379    138 |  0.000 % |
168.52/168.74	c |    134660 |    2337   394633  1728226 | 2147483647   134660    138 |  0.000 % |
169.02/169.21	c |    134969 |    2337   394633  1728226 | 2147483647   134969    138 |  0.000 % |
169.63/169.80	c |    135308 |    2337   394633  1728226 | 2147483647   135308    138 |  0.000 % |
170.13/170.33	c |    135683 |    2337   394633  1728226 | 2147483647   135683    138 |  0.000 % |
170.62/170.86	c |    136092 |    2337   394633  1728226 | 2147483647   136092    138 |  0.000 % |
171.12/171.31	c |    136542 |    2337   394633  1728226 | 2147483647   136542    138 |  0.000 % |
171.92/172.15	c |    137036 |    2337   394633  1728226 | 2147483647   137036    138 |  0.000 % |
172.92/173.14	c |    137581 |    2337   394633  1728226 | 2147483647   137581    138 |  0.000 % |
174.02/174.29	c |    138178 |    2337   394633  1728226 | 2147483647   138178    138 |  0.000 % |
175.02/175.22	c |    138835 |    2337   394633  1728226 | 2147483647   138835    138 |  0.000 % |
176.22/176.44	c |    139555 |    2337   394633  1728226 | 2147483647   139555    138 |  0.000 % |
177.51/177.72	c |    140347 |    2337   394633  1728226 | 2147483647   140347    138 |  0.000 % |
178.81/179.09	c |    141219 |    2337   394633  1728226 | 2147483647   141219    138 |  0.000 % |
180.02/180.29	c |    142177 |    2337   394633  1728226 | 2147483647   142177    139 |  0.000 % |
181.52/181.70	c |    143230 |    2337   394633  1728226 | 2147483647   143230    139 |  0.000 % |
183.42/183.63	c |    144388 |    2337   394633  1728226 | 2147483647   144388    139 |  0.000 % |
185.42/185.62	c |    145661 |    2337   394633  1728226 | 2147483647   145661    139 |  0.000 % |
187.62/187.83	c |    147062 |    2337   394633  1728226 | 2147483647   147062    139 |  0.000 % |
190.02/190.28	c |    148602 |    2337   394633  1728226 | 2147483647   148602    140 |  0.000 % |
190.31/190.53	c |    148702 |    2337   394633  1728226 | 2147483647   148702    140 |  0.000 % |
190.51/190.73	c |    148812 |    2337   394633  1728226 | 2147483647   148812    140 |  0.000 % |
190.71/190.97	c |    148933 |    2337   394633  1728226 | 2147483647   148933    140 |  0.000 % |
191.01/191.24	c |    149068 |    2337   394633  1728226 | 2147483647   149068    140 |  0.000 % |
191.41/191.62	c |    149214 |    2337   394633  1728226 | 2147483647   149214    140 |  0.000 % |
191.81/192.01	c |    149375 |    2337   394633  1728226 | 2147483647   149375    140 |  0.000 % |
192.11/192.38	c |    149551 |    2337   394633  1728226 | 2147483647   149551    140 |  0.000 % |
192.61/192.87	c |    149744 |    2337   394633  1728226 | 2147483647   149744    140 |  0.000 % |
193.11/193.35	c |    149956 |    2337   394633  1728226 | 2147483647   149956    140 |  0.000 % |
193.51/193.76	c |    150189 |    2337   394633  1728226 | 2147483647   150189    140 |  0.000 % |
194.01/194.27	c |    150446 |    2337   394633  1728226 | 2147483647   150446    140 |  0.000 % |
194.61/194.85	c |    150727 |    2337   394633  1728226 | 2147483647   150727    140 |  0.000 % |
195.31/195.55	c |    151036 |    2337   394633  1728226 | 2147483647   151036    140 |  0.000 % |
195.91/196.12	c |    151377 |    2337   394633  1728226 | 2147483647   151377    140 |  0.000 % |
196.51/196.78	c |    151749 |    2337   394633  1728226 | 2147483647   151749    140 |  0.000 % |
197.32/197.54	c |    152158 |    2337   394633  1728226 | 2147483647   152158    140 |  0.000 % |
198.11/198.38	c |    152607 |    2337   394633  1728226 | 2147483647   152607    140 |  0.000 % |
198.92/199.18	c |    153100 |    2337   394633  1728226 | 2147483647   153100    140 |  0.000 % |
199.51/199.77	c |    153642 |    2337   394633  1728226 | 2147483647   153642    140 |  0.000 % |
200.41/200.62	c |    154240 |    2337   394633  1728226 | 2147483647   154240    140 |  0.000 % |
201.41/201.67	c |    154895 |    2337   394633  1728226 | 2147483647   154895    140 |  0.000 % |
202.61/202.88	c |    155616 |    2337   394633  1728226 | 2147483647   155616    140 |  0.000 % |
203.91/204.19	c |    156409 |    2337   394633  1728226 | 2147483647   156409    140 |  0.000 % |
205.21/205.45	c |    157280 |    2337   394633  1728226 | 2147483647   157280    140 |  0.000 % |
206.70/206.92	c |    158238 |    2337   394633  1728226 | 2147483647   158238    140 |  0.000 % |
207.90/208.13	c |    159292 |    2337   394633  1728226 | 2147483647   159292    140 |  0.000 % |
209.81/210.00	c |    160452 |    2337   394633  1728226 | 2147483647   160452    140 |  0.000 % |
211.81/212.00	c |    161727 |    2337   394633  1728226 | 2147483647   161727    140 |  0.000 % |
213.70/213.97	c |    163127 |    2337   394633  1728226 | 2147483647   163127    141 |  0.000 % |
215.90/216.15	c |    164667 |    2337   394633  1728226 | 2147483647   164667    141 |  0.000 % |
218.60/218.88	c |    166363 |    2337   394633  1728226 | 2147483647   166363    141 |  0.000 % |
218.90/219.15	c |    166465 |    2337   394633  1728226 | 2147483647   166465    141 |  0.000 % |
219.20/219.40	c |    166575 |    2337   394633  1728226 | 2147483647   166575    141 |  0.000 % |
219.40/219.68	c |    166696 |    2337   394633  1728226 | 2147483647   166696    141 |  0.000 % |
219.80/220.04	c |    166829 |    2337   394633  1728226 | 2147483647   166829    141 |  0.000 % |
220.00/220.27	c |    166976 |    2337   394633  1728226 | 2147483647   166976    141 |  0.000 % |
220.40/220.69	c |    167136 |    2337   394633  1728226 | 2147483647   167136    141 |  0.000 % |
220.80/221.05	c |    167313 |    2337   394633  1728226 | 2147483647   167313    141 |  0.000 % |
221.20/221.47	c |    167509 |    2337   394633  1728226 | 2147483647   167509    141 |  0.000 % |
221.69/221.90	c |    167722 |    2337   394633  1728226 | 2147483647   167722    141 |  0.000 % |
222.10/222.30	c |    167955 |    2337   394633  1728226 | 2147483647   167955    141 |  0.000 % |
222.60/222.84	c |    168211 |    2337   394633  1728226 | 2147483647   168211    141 |  0.000 % |
223.11/223.31	c |    168492 |    2337   394633  1728226 | 2147483647   168492    141 |  0.000 % |
223.70/223.93	c |    168802 |    2337   394633  1728226 | 2147483647   168802    141 |  0.000 % |
224.50/224.73	c |    169141 |    2337   394633  1728226 | 2147483647   169141    141 |  0.000 % |
225.10/225.35	c |    169514 |    2337   394633  1728226 | 2147483647   169514    141 |  0.000 % |
225.80/226.06	c |    169924 |    2337   394633  1728226 | 2147483647   169924    141 |  0.000 % |
226.50/226.79	c |    170373 |    2337   394633  1728226 | 2147483647   170373    141 |  0.000 % |
227.20/227.48	c |    170868 |    2337   394633  1728226 | 2147483647   170868    141 |  0.000 % |
228.09/228.32	c |    171411 |    2337   394633  1728226 | 2147483647   171411    141 |  0.000 % |
229.09/229.35	c |    172010 |    2337   394633  1728226 | 2147483647   172010    141 |  0.000 % |
230.49/230.71	c |    172668 |    2337   394633  1728226 | 2147483647   172668    141 |  0.000 % |
232.90/233.11	c |    173389 |    2337   394633  1728226 | 2147483647   173389    141 |  0.000 % |
234.10/234.37	c |    174182 |    2337   394633  1728226 | 2147483647   174182    141 |  0.000 % |
235.79/236.09	c |    175053 |    2337   394633  1728226 | 2147483647   175053    141 |  0.000 % |
237.89/238.15	c |    176012 |    2337   394633  1728226 | 2147483647   176012    142 |  0.000 % |
240.60/240.83	c |    177068 |    2337   394633  1728226 | 2147483647   177068    142 |  0.000 % |
243.29/243.56	c |    178226 |    2337   394633  1728226 | 2147483647   178226    142 |  0.000 % |
246.58/246.83	c |    179499 |    2337   394633  1728226 | 2147483647   179499    142 |  0.000 % |
249.89/250.19	c |    180899 |    2337   394633  1728226 | 2147483647   180899    142 |  0.000 % |
253.09/253.30	c |    182439 |    2337   394633  1728226 | 2147483647   182439    142 |  0.000 % |
255.68/255.92	c |    184134 |    2337   394633  1728226 | 2147483647   184134    142 |  0.000 % |
259.18/259.49	c |    185998 |    2337   394633  1728226 | 2147483647   185998    143 |  0.000 % |
259.48/259.77	c |    186098 |    2337   394633  1728226 | 2147483647   186098    143 |  0.000 % |
259.78/260.01	c |    186209 |    2337   394633  1728226 | 2147483647   186209    143 |  0.000 % |
259.98/260.29	c |    186331 |    2337   394633  1728226 | 2147483647   186331    143 |  0.000 % |
260.28/260.53	c |    186466 |    2337   394633  1728226 | 2147483647   186466    143 |  0.000 % |
260.68/261.00	c |    186613 |    2337   394633  1728226 | 2147483647   186613    143 |  0.000 % |
261.38/261.60	c |    186773 |    2337   394633  1728226 | 2147483647   186773    143 |  0.000 % |
261.68/261.97	c |    186950 |    2337   394633  1728226 | 2147483647   186950    143 |  0.000 % |
262.18/262.40	c |    187145 |    2337   394633  1728226 | 2147483647   187145    143 |  0.000 % |
262.59/262.83	c |    187359 |    2337   394633  1728226 | 2147483647   187359    143 |  0.000 % |
262.98/263.28	c |    187594 |    2337   394633  1728226 | 2147483647   187594    143 |  0.000 % |
263.58/263.80	c |    187851 |    2337   394633  1728226 | 2147483647   187851    143 |  0.000 % |
264.18/264.45	c |    188132 |    2337   394633  1728226 | 2147483647   188132    143 |  0.000 % |
264.78/265.01	c |    188442 |    2337   394633  1728226 | 2147483647   188442    143 |  0.000 % |
265.58/265.87	c |    188781 |    2337   394633  1728226 | 2147483647   188781    143 |  0.000 % |
266.48/266.78	c |    189153 |    2337   394633  1728226 | 2147483647   189153    143 |  0.000 % |
267.08/267.35	c |    189564 |    2337   394633  1728226 | 2147483647   189564    143 |  0.000 % |
268.08/268.35	c |    190013 |    2337   394633  1728226 | 2147483647   190013    143 |  0.000 % |
269.38/269.61	c |    190508 |    2337   394633  1728226 | 2147483647   190508    142 |  0.000 % |
270.38/270.69	c |    191050 |    2337   394633  1728226 | 2147483647   191050    142 |  0.000 % |
271.27/271.59	c |    191646 |    2337   394633  1728226 | 2147483647   191646    143 |  0.000 % |
272.37/272.60	c |    192303 |    2337   394633  1728226 | 2147483647   192303    143 |  0.000 % |
273.68/273.95	c |    193024 |    2337   394633  1728226 | 2147483647   193024    143 |  0.000 % |
274.88/275.12	c |    193816 |    2337   394633  1728226 | 2147483647   193816    143 |  0.000 % |
276.78/277.01	c |    194687 |    2337   394633  1728226 | 2147483647   194687    143 |  0.000 % |
278.08/278.37	c |    195645 |    2337   394633  1728226 | 2147483647   195645    143 |  0.000 % |
279.37/279.61	c |    196698 |    2337   394633  1728226 | 2147483647   196698    143 |  0.000 % |
280.87/281.13	c |    197857 |    2337   394633  1728226 | 2147483647   197857    143 |  0.000 % |
282.68/282.96	c |    199131 |    2337   394633  1728226 | 2147483647   199131    143 |  0.000 % |
284.77/285.01	c |    200533 |    2337   394633  1728226 | 2147483647   200533    143 |  0.001 % |
287.77/288.01	c |    202074 |    2337   394633  1728226 | 2147483647   202074    143 |  0.000 % |
290.77/291.06	c |    203769 |    2337   394633  1728226 | 2147483647   203769    143 |  0.000 % |
292.47/292.71	c |    205632 |    2337   394633  1728226 | 2147483647   205632    143 |  0.000 % |
296.87/297.13	c |    207684 |    2337   394633  1728226 | 2147483647   207684    143 |  0.000 % |
297.17/297.43	c |    207785 |    2337   394633  1728226 | 2147483647   207785    143 |  0.000 % |
297.47/297.71	c |    207896 |    2337   394633  1728226 | 2147483647   207896    143 |  0.000 % |
297.67/297.96	c |    208017 |    2337   394633  1728226 | 2147483647   208017    143 |  0.000 % |
298.27/298.50	c |    208150 |    2337   394633  1728226 | 2147483647   208150    143 |  0.000 % |
298.67/298.90	c |    208296 |    2337   394633  1728226 | 2147483647   208296    143 |  0.000 % |
298.97/299.25	c |    208456 |    2337   394633  1728226 | 2147483647   208456    143 |  0.000 % |
299.37/299.66	c |    208632 |    2337   394633  1728226 | 2147483647   208632    143 |  0.000 % |
299.77/300.05	c |    208825 |    2337   394633  1728226 | 2147483647   208825    143 |  0.000 % |
300.27/300.59	c |    209038 |    2337   394633  1728226 | 2147483647   209038    143 |  0.000 % |
300.87/301.11	c |    209272 |    2337   394633  1728226 | 2147483647   209272    143 |  0.000 % |
301.47/301.78	c |    209529 |    2337   394633  1728226 | 2147483647   209529    143 |  0.000 % |
302.37/302.61	c |    209810 |    2337   394633  1728226 | 2147483647   209810    143 |  0.000 % |
303.06/303.37	c |    210121 |    2337   394633  1728226 | 2147483647   210121    143 |  0.000 % |
303.86/304.16	c |    210460 |    2337   394633  1728226 | 2147483647   210460    143 |  0.000 % |
304.75/305.06	c |    210832 |    2337   394633  1728226 | 2147483647   210832    143 |  0.000 % |
305.56/305.87	c |    211241 |    2337   394633  1728226 | 2147483647   211241    143 |  0.000 % |
306.76/307.01	c |    211690 |    2337   394633  1728226 | 2147483647   211690    143 |  0.000 % |
307.65/307.92	c |    212186 |    2337   394633  1728226 | 2147483647   212186    143 |  0.000 % |
308.85/309.18	c |    212728 |    2337   394633  1728226 | 2147483647   212728    143 |  0.000 % |
309.85/310.11	c |    213326 |    2337   394633  1728226 | 2147483647   213326    143 |  0.000 % |
310.54/310.85	c |    213981 |    2337   394633  1728226 | 2147483647   213981    143 |  0.000 % |
312.05/312.30	c |    214701 |    2337   394633  1728226 | 2147483647   214701    143 |  0.000 % |
313.34/313.67	c |    215493 |    2337   394633  1728226 | 2147483647   215493    143 |  0.000 % |
315.04/315.35	c |    216367 |    2337   394633  1728226 | 2147483647   216367    143 |  0.000 % |
316.74/317.06	c |    217326 |    2337   394633  1728226 | 2147483647   217326    143 |  0.000 % |
318.74/319.03	c |    218379 |    2337   394633  1728226 | 2147483647   218379    143 |  0.000 % |
320.95/321.24	c |    219538 |    2337   394633  1728226 | 2147483647   219538    143 |  0.000 % |
323.44/323.78	c |    220814 |    2337   394633  1728226 | 2147483647   220814    143 |  0.000 % |
326.24/326.54	c |    222215 |    2337   394633  1728226 | 2147483647   222215    143 |  0.000 % |
328.94/329.24	c |    223756 |    2337   394633  1728226 | 2147483647   223756    143 |  0.000 % |
332.53/332.81	c |    225450 |    2337   394633  1728226 | 2147483647   225450    143 |  0.000 % |
338.73/339.03	c |    227314 |    2337   394633  1728226 | 2147483647   227314    143 |  0.000 % |
342.74/343.00	c |    229363 |    2337   394633  1728226 | 2147483647   229363    143 |  0.000 % |
347.44/347.70	c |    231618 |    2337   394633  1728226 | 2147483647   231618    143 |  0.000 % |
347.93/348.24	c |    231719 |    2337   394633  1728226 | 2147483647   231719    143 |  0.000 % |
348.23/348.53	c |    231829 |    2337   394633  1728226 | 2147483647   231829    143 |  0.000 % |
348.53/348.87	c |    231950 |    2337   394633  1728226 | 2147483647   231950    143 |  0.000 % |
349.03/349.34	c |    232084 |    2337   394633  1728226 | 2147483647   232084    143 |  0.000 % |
349.43/349.73	c |    232230 |    2337   394633  1728226 | 2147483647   232230    143 |  0.000 % |
349.92/350.27	c |    232390 |    2337   394633  1728226 | 2147483647   232390    143 |  0.000 % |
350.62/351.00	c |    232566 |    2337   394633  1728226 | 2147483647   232566    143 |  0.000 % |
351.12/351.50	c |    232764 |    2337   394633  1728226 | 2147483647   232764    143 |  0.000 % |
351.81/352.19	c |    232976 |    2337   394633  1728226 | 2147483647   232976    143 |  0.000 % |
352.41/352.75	c |    233209 |    2337   394633  1728226 | 2147483647   233209    143 |  0.000 % |
353.01/353.35	c |    233466 |    2337   394633  1728226 | 2147483647   233466    143 |  0.000 % |
353.81/354.18	c |    233747 |    2337   394633  1728226 | 2147483647   233747    143 |  0.000 % |
354.61/354.95	c |    234057 |    2337   394633  1728226 | 2147483647   234057    143 |  0.000 % |
355.41/355.76	c |    234398 |    2337   394633  1728226 | 2147483647   234398    143 |  0.000 % |
356.21/356.57	c |    234770 |    2337   394633  1728226 | 2147483647   234770    143 |  0.000 % |
357.11/357.50	c |    235179 |    2337   394633  1728226 | 2147483647   235179    143 |  0.000 % |
358.00/358.40	c |    235628 |    2337   394633  1728226 | 2147483647   235628    143 |  0.000 % |
359.00/359.39	c |    236121 |    2337   394633  1728226 | 2147483647   236121    143 |  0.000 % |
360.01/360.39	c |    236663 |    2337   394633  1728226 | 2147483647   236663    143 |  0.000 % |
362.41/362.75	c |    237263 |    2337   394633  1728226 | 2147483647   237263    143 |  0.000 % |
364.40/364.76	c |    237920 |    2337   394633  1728226 | 2147483647   237920    143 |  0.000 % |
366.21/366.50	c |    238642 |    2337   394633  1728226 | 2147483647   238642    143 |  0.000 % |
367.90/368.26	c |    239437 |    2337   394633  1728226 | 2147483647   239437    143 |  0.000 % |
369.90/370.29	c |    240308 |    2337   394633  1728226 | 2147483647   240308    143 |  0.000 % |
371.90/372.22	c |    241266 |    2337   394633  1728226 | 2147483647   241266    143 |  0.001 % |
374.40/374.78	c |    242319 |    2337   394633  1728226 | 2147483647   242319    143 |  0.000 % |
376.80/377.16	c |    243477 |    2337   394633  1728226 | 2147483647   243477    143 |  0.000 % |
379.40/379.79	c |    244750 |    2337   394633  1728226 | 2147483647   244750    143 |  0.000 % |
381.90/382.28	c |    246151 |    2337   394633  1728226 | 2147483647   246151    144 |  0.000 % |
384.50/384.89	c |    247691 |    2337   394633  1728226 | 2147483647   247691    144 |  0.000 % |
386.30/386.60	c |    249387 |    2337   394633  1728226 | 2147483647   249387    144 |  0.000 % |
388.49/388.82	c |    251252 |    2337   394633  1728226 | 2147483647   251252    144 |  0.000 % |
391.40/391.77	c |    253301 |    2337   394633  1728226 | 2147483647   253301    144 |  0.000 % |
395.99/396.34	c |    255555 |    2337   394633  1728226 | 2147483647   255555    144 |  0.000 % |
401.49/401.82	c |    258035 |    2337   394633  1728226 | 2147483647   258035    145 |  0.000 % |
401.79/402.16	c |    258137 |    2337   394633  1728226 | 2147483647   258137    145 |  0.000 % |
402.20/402.52	c |    258248 |    2337   394633  1728226 | 2147483647   258248    145 |  0.000 % |
402.69/403.01	c |    258370 |    2337   394633  1728226 | 2147483647   258370    145 |  0.000 % |
403.19/403.53	c |    258503 |    2337   394633  1728226 | 2147483647   258503    145 |  0.000 % |
403.69/404.09	c |    258649 |    2337   394633  1728226 | 2147483647   258649    145 |  0.000 % |
404.29/404.65	c |    258810 |    2337   394633  1728226 | 2147483647   258810    145 |  0.000 % |
404.69/405.07	c |    258986 |    2337   394633  1728226 | 2147483647   258986    145 |  0.000 % |
405.29/405.67	c |    259179 |    2337   394633  1728226 | 2147483647   259179    145 |  0.000 % |
405.89/406.23	c |    259391 |    2337   394633  1728226 | 2147483647   259391    145 |  0.000 % |
406.59/406.96	c |    259625 |    2337   394633  1728226 | 2147483647   259625    145 |  0.000 % |
407.29/407.67	c |    259881 |    2337   394633  1728226 | 2147483647   259881    145 |  0.000 % |
408.28/408.62	c |    260164 |    2337   394633  1728226 | 2147483647   260164    145 |  0.000 % |
409.18/409.55	c |    260473 |    2337   394633  1728226 | 2147483647   260473    145 |  0.000 % |
409.99/410.31	c |    260812 |    2337   394633  1728226 | 2147483647   260812    145 |  0.000 % |
410.79/411.19	c |    261187 |    2337   394633  1728226 | 2147483647   261187    145 |  0.000 % |
411.88/412.23	c |    261598 |    2337   394633  1728226 | 2147483647   261598    145 |  0.000 % |
413.38/413.76	c |    262047 |    2337   394633  1728226 | 2147483647   262047    145 |  0.000 % |
414.68/415.05	c |    262540 |    2337   394633  1728226 | 2147483647   262540    145 |  0.000 % |
415.88/416.29	c |    263085 |    2337   394633  1728226 | 2147483647   263085    145 |  0.000 % |
417.09/417.41	c |    263681 |    2337   394633  1728226 | 2147483647   263681    145 |  0.000 % |
418.49/418.86	c |    264336 |    2337   394633  1728226 | 2147483647   264336    145 |  0.000 % |
420.69/421.03	c |    265062 |    2337   394633  1728226 | 2147483647   265062    145 |  0.000 % |
423.09/423.48	c |    265855 |    2337   394633  1728226 | 2147483647   265855    145 |  0.000 % |
424.38/424.75	c |    266728 |    2337   394633  1728226 | 2147483647   266728    145 |  0.000 % |
425.98/426.34	c |    267686 |    2337   394633  1728226 | 2147483647   267686    145 |  0.000 % |
427.78/428.12	c |    268739 |    2337   394633  1728226 | 2147483647   268739    145 |  0.000 % |
429.88/430.28	c |    269899 |    2337   394633  1728226 | 2147483647   269899    145 |  0.000 % |
432.18/432.50	c |    271175 |    2337   394633  1728226 | 2147483647   271175    145 |  0.000 % |
435.88/436.29	c |    272575 |    2337   394633  1728226 | 2147483647   272575    145 |  0.000 % |
440.67/441.09	c |    274120 |    2337   394633  1728226 | 2147483647   274120    145 |  0.000 % |
444.17/444.52	c |    275815 |    2337   394633  1728226 | 2147483647   275815    145 |  0.000 % |
448.27/448.66	c |    277679 |    2337   394633  1728226 | 2147483647   277679    146 |  0.000 % |
452.07/452.47	c |    279728 |    2337   394633  1728226 | 2147483647   279728    146 |  0.000 % |
455.87/456.28	c |    281982 |    2337   394633  1728226 | 2147483647   281982    146 |  0.000 % |
461.87/462.25	c |    284461 |    2337   394633  1728226 | 2147483647   284461    146 |  0.000 % |
467.57/467.96	c |    287186 |    2337   394633  1728226 | 2147483647   287186    146 |  0.000 % |
467.77/468.19	c |    287286 |    2337   394633  1728226 | 2147483647   287286    146 |  0.000 % |
468.27/468.61	c |    287396 |    2337   394633  1728226 | 2147483647   287396    146 |  0.000 % |
468.46/468.85	c |    287517 |    2337   394633  1728226 | 2147483647   287517    146 |  0.000 % |
468.96/469.40	c |    287650 |    2337   394633  1728226 | 2147483647   287650    146 |  0.000 % |
469.56/469.93	c |    287796 |    2337   394633  1728226 | 2147483647   287796    146 |  0.000 % |
469.96/470.35	c |    287957 |    2337   394633  1728226 | 2147483647   287957    146 |  0.000 % |
470.47/470.83	c |    288134 |    2337   394633  1728226 | 2147483647   288134    146 |  0.000 % |
471.16/471.53	c |    288327 |    2337   394633  1728226 | 2147483647   288327    146 |  0.000 % |
471.96/472.34	c |    288539 |    2337   394633  1728226 | 2147483647   288539    146 |  0.000 % |
472.67/473.03	c |    288773 |    2337   394633  1728226 | 2147483647   288773    146 |  0.000 % |
474.16/474.51	c |    289031 |    2337   394633  1728226 | 2147483647   289031    146 |  0.000 % |
475.06/475.46	c |    289313 |    2337   394633  1728226 | 2147483647   289313    146 |  0.000 % |
476.46/476.86	c |    289623 |    2337   394633  1728226 | 2147483647   289623    146 |  0.000 % |
477.66/478.03	c |    289963 |    2337   394633  1728226 | 2147483647   289963    146 |  0.000 % |
479.36/479.79	c |    290335 |    2337   394633  1728226 | 2147483647   290335    146 |  0.000 % |
480.75/481.16	c |    290744 |    2337   394633  1728226 | 2147483647   290744    146 |  0.000 % |
481.95/482.32	c |    291193 |    2337   394633  1728226 | 2147483647   291193    146 |  0.000 % |
483.35/483.70	c |    291687 |    2337   394633  1728226 | 2147483647   291687    146 |  0.000 % |
484.66/485.05	c |    292229 |    2337   394633  1728226 | 2147483647   292229    146 |  0.000 % |
487.06/487.43	c |    292826 |    2337   394633  1728226 | 2147483647   292826    146 |  0.000 % |
488.55/488.92	c |    293482 |    2337   394633  1728226 | 2147483647   293482    146 |  0.000 % |
489.75/490.16	c |    294202 |    2337   394633  1728226 | 2147483647   294202    146 |  0.000 % |
491.05/491.49	c |    294994 |    2337   394633  1728226 | 2147483647   294994    146 |  0.000 % |
493.85/494.29	c |    295866 |    2337   394633  1728226 | 2147483647   295866    146 |  0.000 % |
496.76/497.16	c |    296824 |    2337   394633  1728226 | 2147483647   296824    146 |  0.000 % |
499.95/500.38	c |    297878 |    2337   394633  1728226 | 2147483647   297878    146 |  0.000 % |
503.15/503.52	c |    299040 |    2337   394633  1728226 | 2147483647   299040    146 |  0.000 % |
506.15/506.58	c |    300314 |    2337   394633  1728226 | 2147483647   300314    146 |  0.000 % |
510.15/510.52	c |    301715 |    2337   394633  1728226 | 2147483647   301715    146 |  0.000 % |
513.44/513.89	c |    303255 |    2337   394633  1728226 | 2147483647   303255    146 |  0.000 % |
517.44/517.81	c |    304950 |    2337   394633  1728226 | 2147483647   304950    146 |  0.000 % |
520.55/520.90	c |    306813 |    2337   394633  1728226 | 2147483647   306813    146 |  0.000 % |
523.84/524.29	c |    308862 |    2337   394633  1728226 | 2147483647   308862    146 |  0.000 % |
529.63/530.08	c |    311115 |    2337   394633  1728226 | 2147483647   311115    146 |  0.000 % |
536.63/537.08	c |    313593 |    2337   394633  1728226 | 2147483647   313593    146 |  0.000 % |
547.63/548.04	c |    316318 |    2337   394633  1728226 | 2147483647   316318    147 |  0.000 % |
554.22/554.64	c |    319315 |    2337   394633  1728226 | 2147483647   319315    147 |  0.000 % |
554.63/555.01	c |    319418 |    2337   394633  1728226 | 2147483647   319418    147 |  0.000 % |
555.04/555.44	c |    319528 |    2337   394633  1728226 | 2147483647   319528    147 |  0.000 % |
555.63/556.07	c |    319651 |    2337   394633  1728226 | 2147483647   319651    147 |  0.000 % |
556.14/556.57	c |    319785 |    2337   394633  1728226 | 2147483647   319785    147 |  0.000 % |
556.53/556.99	c |    319931 |    2337   394633  1728226 | 2147483647   319931    147 |  0.000 % |
557.03/557.41	c |    320091 |    2337   394633  1728226 | 2147483647   320091    147 |  0.000 % |
557.63/558.04	c |    320269 |    2337   394633  1728226 | 2147483647   320269    147 |  0.000 % |
558.23/558.65	c |    320462 |    2337   394633  1728226 | 2147483647   320462    147 |  0.000 % |
559.03/559.47	c |    320675 |    2337   394633  1728226 | 2147483647   320675    147 |  0.000 % |
559.73/560.16	c |    320908 |    2337   394633  1728226 | 2147483647   320908    147 |  0.000 % |
560.33/560.79	c |    321164 |    2337   394633  1728226 | 2147483647   321164    147 |  0.000 % |
561.23/561.64	c |    321446 |    2337   394633  1728226 | 2147483647   321446    147 |  0.000 % |
561.93/562.36	c |    321755 |    2337   394633  1728226 | 2147483647   321755    147 |  0.000 % |
563.03/563.40	c |    322094 |    2337   394633  1728226 | 2147483647   322094    147 |  0.000 % |
563.93/564.37	c |    322466 |    2337   394633  1728226 | 2147483647   322466    147 |  0.000 % |
565.13/565.52	c |    322878 |    2337   394633  1728226 | 2147483647   322878    147 |  0.000 % |
566.92/567.32	c |    323327 |    2337   394633  1728226 | 2147483647   323327    147 |  0.000 % |
568.23/568.62	c |    323820 |    2337   394633  1728226 | 2147483647   323820    147 |  0.000 % |
569.43/569.89	c |    324362 |    2337   394633  1728226 | 2147483647   324362    147 |  0.000 % |
570.32/570.74	c |    324960 |    2337   394633  1728226 | 2147483647   324960    147 |  0.000 % |
572.02/572.42	c |    325615 |    2337   394633  1728226 | 2147483647   325615    147 |  0.000 % |
574.31/574.73	c |    326338 |    2337   394633  1728226 | 2147483647   326338    147 |  0.000 % |
576.21/576.68	c |    327130 |    2337   394633  1728226 | 2147483647   327130    147 |  0.000 % |
579.01/579.41	c |    328001 |    2337   394633  1728226 | 2147483647   328001    147 |  0.000 % |
581.81/582.24	c |    328960 |    2337   394633  1728226 | 2147483647   328960    147 |  0.000 % |
584.91/585.39	c |    330013 |    2337   394633  1728226 | 2147483647   330013    147 |  0.000 % |
589.12/589.59	c |    331175 |    2337   394633  1728226 | 2147483647   331175    147 |  0.000 % |
592.90/593.31	c |    332448 |    2337   394633  1728226 | 2147483647   332448    147 |  0.000 % |
596.30/596.77	c |    333849 |    2337   394633  1728226 | 2147483647   333849    147 |  0.000 % |
599.10/599.58	c |    335390 |    2337   394633  1728226 | 2147483647   335390    147 |  0.000 % |
602.51/602.97	c |    337085 |    2337   394633  1728226 | 2147483647   337085    147 |  0.000 % |
608.70/609.10	c |    338949 |    2337   394633  1728226 | 2147483647   338949    147 |  0.000 % |
612.70/613.12	c |    340998 |    2337   394633  1728226 | 2147483647   340998    148 |  0.000 % |
619.59/620.06	c |    343252 |    2337   394633  1728226 | 2147483647   343252    148 |  0.000 % |
626.69/627.10	c |    345734 |    2337   394633  1728226 | 2147483647   345734    148 |  0.000 % |
636.18/636.60	c |    348459 |    2337   394633  1728226 | 2147483647   348459    148 |  0.000 % |
643.89/644.36	c |    351456 |    2337   394633  1728226 | 2147483647   351456    148 |  0.000 % |
650.28/650.73	c |    354755 |    2337   394633  1728226 | 2147483647   354755    148 |  0.000 % |
650.38/650.89	c |    354856 |    2337   394633  1728226 | 2147483647   354856    148 |  0.000 % |
650.69/651.15	c |    354968 |    2337   394633  1728226 | 2147483647   354968    148 |  0.000 % |
650.99/651.44	c |    355090 |    2337   394633  1728226 | 2147483647   355090    148 |  0.000 % |
651.79/652.21	c |    355223 |    2337   394633  1728226 | 2147483647   355223    148 |  0.000 % |
652.29/652.76	c |    355370 |    2337   394633  1728226 | 2147483647   355370    148 |  0.000 % |
652.79/653.21	c |    355532 |    2337   394633  1728226 | 2147483647   355532    148 |  0.000 % |
653.69/654.14	c |    355708 |    2337   394633  1728226 | 2147483647   355708    148 |  0.000 % |
654.49/654.99	c |    355902 |    2337   394633  1728226 | 2147483647   355902    148 |  0.000 % |
655.19/655.67	c |    356115 |    2337   394633  1728226 | 2147483647   356115    148 |  0.000 % |
656.29/656.77	c |    356349 |    2337   394633  1728226 | 2147483647   356349    148 |  0.000 % |
657.08/657.56	c |    356606 |    2337   394633  1728226 | 2147483647   356606    148 |  0.000 % |
658.18/658.60	c |    356889 |    2337   394633  1728226 | 2147483647   356889    148 |  0.000 % |
659.28/659.76	c |    357198 |    2337   394633  1728226 | 2147483647   357198    148 |  0.000 % |
660.48/660.99	c |    357537 |    2337   394633  1728226 | 2147483647   357537    148 |  0.000 % |
662.28/662.70	c |    357911 |    2337   394633  1728226 | 2147483647   357911    148 |  0.000 % |
663.88/664.37	c |    358320 |    2337   394633  1728226 | 2147483647   358320    148 |  0.000 % |
665.37/665.82	c |    358769 |    2337   394633  1728226 | 2147483647   358769    148 |  0.000 % |
666.77/667.27	c |    359262 |    2337   394633  1728226 | 2147483647   359262    148 |  0.000 % |
668.67/669.15	c |    359804 |    2337   394633  1728226 | 2147483647   359804    148 |  0.000 % |
670.97/671.40	c |    360401 |    2337   394633  1728226 | 2147483647   360401    148 |  0.000 % |
672.17/672.63	c |    361057 |    2337   394633  1728226 | 2147483647   361057    148 |  0.000 % |
675.37/675.84	c |    361777 |    2337   394633  1728226 | 2147483647   361777    148 |  0.000 % |
677.77/678.20	c |    362574 |    2337   394633  1728226 | 2147483647   362574    148 |  0.000 % |
682.47/682.92	c |    363447 |    2337   394633  1728226 | 2147483647   363447    148 |  0.000 % |
687.57/688.06	c |    364405 |    2337   394633  1728226 | 2147483647   364405    148 |  0.000 % |
691.06/691.51	c |    365459 |    2337   394633  1728226 | 2147483647   365459    148 |  0.000 % |
693.76/694.29	c |    366618 |    2337   394633  1728226 | 2147483647   366618    148 |  0.000 % |
696.67/697.14	c |    367893 |    2337   394633  1728226 | 2147483647   367893    148 |  0.000 % |
699.07/699.53	c |    369294 |    2337   394633  1728226 | 2147483647   369294    148 |  0.000 % |
702.66/703.14	c |    370834 |    2337   394633  1728226 | 2147483647   370834    148 |  0.000 % |
706.06/706.57	c |    372529 |    2337   394633  1728226 | 2147483647   372529    148 |  0.000 % |
712.45/712.90	c |    374393 |    2337   394633  1728226 | 2147483647   374393    148 |  0.000 % |
718.75/719.26	c |    376442 |    2337   394633  1728226 | 2147483647   376442    148 |  0.000 % |
725.35/725.81	c |    378695 |    2337   394633  1728226 | 2147483647   378695    148 |  0.000 % |
733.95/734.47	c |    381178 |    2337   394633  1728226 | 2147483647   381178    148 |  0.000 % |
742.44/742.93	c |    383906 |    2337   394633  1728226 | 2147483647   383906    148 |  0.000 % |
753.54/754.04	c |    386903 |    2337   394633  1728226 | 2147483647   386903    148 |  0.000 % |
762.43/762.95	c |    390199 |    2337   394633  1728226 | 2147483647   390199    148 |  0.000 % |
774.22/774.79	c |    393826 |    2337   394633  1728226 | 2147483647   393826    148 |  0.000 % |
774.72/775.22	c |    393926 |    2337   394633  1728226 | 2147483647   393926    148 |  0.000 % |
775.42/775.98	c |    394037 |    2337   394633  1728226 | 2147483647   394037    148 |  0.000 % |
775.92/776.44	c |    394158 |    2337   394633  1728226 | 2147483647   394158    148 |  0.000 % |
776.32/776.86	c |    394291 |    2337   394633  1728226 | 2147483647   394291    148 |  0.000 % |
777.12/777.69	c |    394438 |    2337   394633  1728226 | 2147483647   394438    148 |  0.000 % |
777.82/778.31	c |    394598 |    2337   394633  1728226 | 2147483647   394598    148 |  0.000 % |
778.62/779.11	c |    394774 |    2337   394633  1728226 | 2147483647   394774    148 |  0.000 % |
779.33/779.84	c |    394969 |    2337   394633  1728226 | 2147483647   394969    148 |  0.000 % |
780.12/780.68	c |    395183 |    2337   394633  1728226 | 2147483647   395183    148 |  0.000 % |
781.12/781.60	c |    395416 |    2337   394633  1728226 | 2147483647   395416    148 |  0.000 % |
781.82/782.38	c |    395674 |    2337   394633  1728226 | 2147483647   395674    148 |  0.001 % |
782.52/783.09	c |    395958 |    2337   394633  1728226 | 2147483647   395958    148 |  0.000 % |
784.52/785.01	c |    396269 |    2337   394633  1728226 | 2147483647   396269    148 |  0.000 % |
785.82/786.30	c |    396608 |    2337   394633  1728226 | 2147483647   396608    148 |  0.000 % |
787.42/787.98	c |    396980 |    2337   394633  1728226 | 2147483647   396980    148 |  0.000 % |
788.82/789.39	c |    397390 |    2337   394633  1728226 | 2147483647   397390    148 |  0.000 % |
790.22/790.72	c |    397840 |    2337   394633  1728226 | 2147483647   397840    148 |  0.000 % |
791.92/792.41	c |    398335 |    2337   394633  1728226 | 2147483647   398335    148 |  0.000 % |
793.92/794.48	c |    398877 |    2337   394633  1728226 | 2147483647   398877    148 |  0.000 % |
795.72/796.24	c |    399475 |    2337   394633  1728226 | 2147483647   399475    148 |  0.000 % |
798.21/798.76	c |    400130 |    2337   394633  1728226 | 2147483647   400130    148 |  0.000 % |
800.81/801.35	c |    400850 |    2337   394633  1728226 | 2147483647   400850    148 |  0.000 % |
805.20/805.73	c |    401642 |    2337   394633  1728226 | 2147483647   401642    148 |  0.000 % |
807.51/808.00	c |    402513 |    2337   394633  1728226 | 2147483647   402513    148 |  0.000 % |
810.30/810.86	c |    403471 |    2337   394633  1728226 | 2147483647   403471    148 |  0.000 % |
817.60/818.12	c |    404525 |    2337   394633  1728226 | 2147483647   404525    148 |  0.000 % |
820.90/821.48	c |    405684 |    2337   394633  1728226 | 2147483647   405684    148 |  0.000 % |
829.10/829.63	c |    406957 |    2337   394633  1728226 | 2147483647   406957    148 |  0.000 % |
831.70/832.27	c |    408358 |    2337   394633  1728226 | 2147483647   408358    148 |  0.000 % |
835.50/836.05	c |    409899 |    2337   394633  1728226 | 2147483647   409899    148 |  0.000 % |
850.79/851.38	c |    411593 |    2337   394633  1728226 | 2147483647   411593    148 |  0.000 % |
862.59/863.16	c |    413456 |    2337   394633  1728226 | 2147483647   413456    148 |  0.000 % |
866.78/867.35	c |    415505 |    2337   394633  1728226 | 2147483647   415505    148 |  0.000 % |
881.98/882.51	c |    417759 |    2337   394633  1728226 | 2147483647   417759    149 |  0.000 % |
894.57/895.13	c |    420237 |    2337   394633  1728226 | 2147483647   420237    149 |  0.000 % |
915.37/915.91	c |    422962 |    2337   394633  1728226 | 2147483647   422962    149 |  0.000 % |
932.96/933.54	c |    425960 |    2337   394633  1728226 | 2147483647   425960    149 |  0.000 % |
948.65/949.22	c |    429257 |    2337   394633  1728226 | 2147483647   429257    150 |  0.000 % |
961.64/962.22	c |    432882 |    2337   394633  1728226 | 2147483647   432882    150 |  0.000 % |
983.34/983.90	c |    436869 |    2337   394633  1728226 | 2147483647   436869    150 |  0.000 % |
983.84/984.45	c |    436970 |    2337   394633  1728226 | 2147483647   436970    150 |  0.000 % |
984.24/984.86	c |    437081 |    2337   394633  1728226 | 2147483647   437081    150 |  0.000 % |
985.34/985.96	c |    437203 |    2337   394633  1728226 | 2147483647   437203    150 |  0.000 % |
985.93/986.54	c |    437336 |    2337   394633  1728226 | 2147483647   437336    150 |  0.000 % |
987.43/988.02	c |    437483 |    2337   394633  1728226 | 2147483647   437483    150 |  0.000 % |
988.03/988.61	c |    437643 |    2337   394633  1728226 | 2147483647   437643    150 |  0.000 % |
989.73/990.36	c |    437819 |    2337   394633  1728226 | 2147483647   437819    150 |  0.000 % |
990.44/991.04	c |    438013 |    2337   394633  1728226 | 2147483647   438013    150 |  0.000 % |
991.23/991.83	c |    438225 |    2337   394633  1728226 | 2147483647   438225    150 |  0.000 % |
993.63/994.22	c |    438461 |    2337   394633  1728226 | 2147483647   438461    150 |  0.000 % |
994.53/995.14	c |    438720 |    2337   394633  1728226 | 2147483647   438720    150 |  0.000 % |
997.03/997.66	c |    439003 |    2337   394633  1728226 | 2147483647   439003    150 |  0.000 % |
998.23/998.85	c |    439314 |    2337   394633  1728226 | 2147483647   439314    150 |  0.000 % |
1001.33/1001.98	c |    439654 |    2337   394633  1728226 | 2147483647   439654    150 |  0.000 % |
1002.42/1003.09	c |    440029 |    2337   394633  1728226 | 2147483647   440029    150 |  0.000 % |
1005.72/1006.38	c |    440439 |    2337   394633  1728226 | 2147483647   440439    150 |  0.000 % |
1007.12/1007.78	c |    440888 |    2337   394633  1728226 | 2147483647   440888    150 |  0.000 % |
1011.62/1012.27	c |    441381 |    2337   394633  1728226 | 2147483647   441381    150 |  0.000 % |
1013.62/1014.24	c |    441923 |    2337   394633  1728226 | 2147483647   441923    150 |  0.000 % |
1017.33/1017.93	c |    442520 |    2337   394633  1728226 | 2147483647   442520    150 |  0.000 % |
1020.02/1020.70	c |    443176 |    2337   394633  1728226 | 2147483647   443176    150 |  0.000 % |
1025.32/1025.93	c |    443896 |    2337   394633  1728226 | 2147483647   443896    150 |  0.000 % |
1026.72/1027.38	c |    444689 |    2337   394633  1728226 | 2147483647   444689    150 |  0.000 % |
1027.71/1028.33	c |    445560 |    2337   394633  1728226 | 2147483647   445560    150 |  0.000 % |
1030.22/1030.88	c |    446520 |    2337   394633  1728226 | 2147483647   446520    150 |  0.000 % |
1031.82/1032.44	c |    447574 |    2337   394633  1728226 | 2147483647   447574    150 |  0.000 % |
1039.91/1040.55	c |    448733 |    2337   394633  1728226 | 2147483647   448733    150 |  0.000 % |
1042.81/1043.43	c |    450007 |    2337   394633  1728226 | 2147483647   450007    150 |  0.000 % |
1052.41/1053.04	c |    451408 |    2337   394633  1728226 | 2147483647   451408    150 |  0.000 % |
1055.61/1056.25	c |    452948 |    2337   394633  1728226 | 2147483647   452948    150 |  0.000 % |
1063.90/1064.57	c |    454642 |    2337   394633  1728226 | 2147483647   454642    150 |  0.000 % |
1068.39/1069.01	c |    456509 |    2337   394633  1728226 | 2147483647   456509    150 |  0.000 % |
1080.29/1080.93	c |    458559 |    2337   394633  1728226 | 2147483647   458559    150 |  0.000 % |
1086.99/1087.65	c |    460814 |    2337   394633  1728226 |   460002   460814    150 |  0.000 % |
1100.58/1101.29	c |    463292 |    2337   394633  1728226 |   460002   417211    150 |  0.000 % |
1108.28/1108.90	c |    466020 |    2337   394633  1728226 |   460002   419939    150 |  0.000 % |
1116.97/1117.69	c |    469019 |    2337   394633  1728226 |   460002   422938    150 |  0.000 % |
1130.26/1130.94	c |    472316 |    2337   394633  1728226 | 2147483647   426235    150 |  0.000 % |
1148.06/1148.70	c |    475941 |    2337   394633  1728226 | 2147483647   429860    151 |  0.000 % |
1159.85/1160.51	c |    479928 |    2337   394633  1728226 | 2147483647   433847    151 |  0.000 % |
1178.84/1179.52	c |    484313 |    2337   394633  1728226 | 2147483647   438232    151 |  0.000 % |
1179.14/1179.89	c |    484414 |    2337   394633  1728226 | 2147483647   438333    151 |  0.000 % |
1179.94/1180.69	c |    484526 |    2337   394633  1728226 | 2147483647   438445    151 |  0.000 % |
1181.05/1181.76	c |    484648 |    2337   394633  1728226 | 2147483647   438567    151 |  0.000 % |
1181.64/1182.33	c |    484782 |    2337   394633  1728226 | 2147483647   438701    151 |  0.000 % |
1183.04/1183.78	c |    484929 |    2337   394633  1728226 | 2147483647   438848    151 |  0.000 % |
1183.95/1184.68	c |    485090 |    2337   394633  1728226 | 2147483647   439009    151 |  0.000 % |
1185.64/1186.34	c |    485266 |    2337   394633  1728226 | 2147483647   439185    151 |  0.000 % |
1186.44/1187.17	c |    485460 |    2337   394633  1728226 | 2147483647   439379    151 |  0.000 % |
1187.25/1187.98	c |    485672 |    2337   394633  1728226 | 2147483647   439591    151 |  0.000 % |
1188.24/1188.93	c |    485907 |    2337   394633  1728226 | 2147483647   439826    151 |  0.000 % |
1189.14/1189.87	c |    486163 |    2337   394633  1728226 | 2147483647   440082    151 |  0.000 % |
1190.44/1191.13	c |    486445 |    2337   394633  1728226 | 2147483647   440364    151 |  0.000 % |
1192.44/1193.15	c |    486756 |    2337   394633  1728226 | 2147483647   440675    151 |  0.000 % |
1194.04/1194.73	c |    487097 |    2337   394633  1728226 | 2147483647   441016    151 |  0.000 % |
1195.74/1196.44	c |    487472 |    2337   394633  1728226 | 2147483647   441391    151 |  0.000 % |
1197.04/1197.70	c |    487881 |    2337   394633  1728226 | 2147483647   441800    151 |  0.000 % |
1201.34/1202.09	c |    488330 |    2337   394633  1728226 | 2147483647   442249    151 |  0.000 % |
1202.93/1203.61	c |    488823 |    2337   394633  1728226 | 2147483647   442742    151 |  0.000 % |
1206.53/1207.23	c |    489366 |    2337   394633  1728226 | 2147483647   443285    151 |  0.000 % |
1208.63/1209.36	c |    489963 |    2337   394633  1728226 | 2147483647   443882    151 |  0.000 % |
1213.73/1214.46	c |    490618 |    2337   394633  1728226 | 2147483647   444537    151 |  0.000 % |
1216.73/1217.42	c |    491338 |    2337   394633  1728226 | 2147483647   445257    151 |  0.000 % |
1219.33/1220.08	c |    492130 |    2337   394633  1728226 | 2147483647   446049    151 |  0.000 % |
1225.83/1226.53	c |    493001 |    2337   394633  1728226 | 2147483647   446920    151 |  0.000 % |
1229.42/1230.14	c |    493960 |    2337   394633  1728226 | 2147483647   447879    151 |  0.000 % |
1232.02/1232.71	c |    495013 |    2337   394633  1728226 | 2147483647   448932    151 |  0.000 % |
1240.02/1240.80	c |    496174 |    2337   394633  1728226 | 2147483647   450093    151 |  0.000 % |
1243.42/1244.15	c |    497449 |    2337   394633  1728226 | 2147483647   451368    151 |  0.000 % |
1249.91/1250.67	c |    498851 |    2337   394633  1728226 | 2147483647   452770    151 |  0.000 % |
1254.90/1255.60	c |    500391 |    2337   394633  1728226 | 2147483647   454310    151 |  0.000 % |
1262.50/1263.21	c |    502085 |    2337   394633  1728226 | 2147483647   456004    151 |  0.000 % |
1270.60/1271.36	c |    503948 |    2337   394633  1728226 | 2147483647   457867    152 |  0.000 % |
1279.30/1280.03	c |    505999 |    2337   394633  1728226 | 2147483647   459918    152 |  0.000 % |
1289.50/1290.25	c |    508252 |    2337   394633  1728226 | 2147483647   462171    152 |  0.000 % |
1309.98/1310.72	c |    510732 |    2337   394633  1728226 | 2147483647   464651    152 |  0.000 % |
1314.68/1315.49	c |    513458 |    2337   394633  1728226 | 2147483647   467377    152 |  0.000 % |
1337.57/1338.36	c |    516456 |    2337   394633  1728226 | 2147483647   470375    152 |  0.000 % |
1346.25/1347.07	c |    519754 |    2337   394633  1728226 | 2147483647   473673    152 |  0.000 % |
1362.25/1363.06	c |    523385 |    2337   394633  1728226 | 2147483647   477304    151 |  0.000 % |
1377.24/1378.03	c |    527373 |    2337   394633  1728226 | 2147483647   481292    151 |  0.000 % |
1399.33/1400.16	c |    531758 |    2337   394633  1728226 | 2147483647   485677    152 |  0.000 % |
1444.42/1445.29	c |    536581 |    2337   394633  1728226 | 2147483647   490500    151 |  0.000 % |
1445.12/1445.93	c |    536681 |    2337   394633  1728226 | 2147483647   490600    151 |  0.000 % |
1445.51/1446.38	c |    536791 |    2337   394633  1728226 | 2147483647   490710    151 |  0.000 % |
1446.41/1447.23	c |    536912 |    2337   394633  1728226 | 2147483647   490831    151 |  0.000 % |
1447.81/1448.67	c |    537046 |    2337   394633  1728226 | 2147483647   490965    151 |  0.000 % |
1448.61/1449.44	c |    537193 |    2337   394633  1728226 | 2147483647   491112    151 |  0.000 % |
1449.61/1450.43	c |    537355 |    2337   394633  1728226 | 2147483647   491274    151 |  0.000 % |
1451.31/1452.13	c |    537535 |    2337   394633  1728226 | 2147483647   491454    151 |  0.000 % |
1452.31/1453.10	c |    537728 |    2337   394633  1728226 | 2147483647   491647    151 |  0.000 % |
1454.91/1455.77	c |    537940 |    2337   394633  1728226 | 2147483647   491859    151 |  0.000 % |
1456.00/1456.81	c |    538173 |    2337   394633  1728226 | 2147483647   492092    151 |  0.000 % |
1458.40/1459.21	c |    538430 |    2337   394633  1728226 | 2147483647   492349    151 |  0.000 % |
1459.70/1460.52	c |    538711 |    2337   394633  1728226 | 2147483647   492630    151 |  0.000 % |
1461.80/1462.61	c |    539020 |    2337   394633  1728226 | 2147483647   492939    151 |  0.000 % |
1463.31/1464.12	c |    539359 |    2337   394633  1728226 | 2147483647   493278    151 |  0.000 % |
1466.01/1466.88	c |    539732 |    2337   394633  1728226 | 2147483647   493651    151 |  0.000 % |
1467.80/1468.63	c |    540142 |    2337   394633  1728226 | 2147483647   494061    151 |  0.000 % |
1470.91/1471.74	c |    540593 |    2337   394633  1728226 | 2147483647   494512    151 |  0.000 % |
1472.60/1473.48	c |    541086 |    2337   394633  1728226 | 2147483647   495005    151 |  0.000 % |
1476.69/1477.53	c |    541628 |    2337   394633  1728226 | 2147483647   495547    151 |  0.000 % |
1480.59/1481.47	c |    542224 |    2337   394633  1728226 | 2147483647   496143    151 |  0.000 % |
1483.09/1483.94	c |    542879 |    2337   394633  1728226 | 2147483647   496798    151 |  0.000 % |
1488.30/1489.18	c |    543599 |    2337   394633  1728226 | 2147483647   497518    152 |  0.000 % |
1491.70/1492.52	c |    544392 |    2337   394633  1728226 | 2147483647   498311    152 |  0.000 % |
1498.40/1499.24	c |    545263 |    2337   394633  1728226 | 2147483647   499182    152 |  0.000 % |
1502.29/1503.14	c |    546223 |    2337   394633  1728226 | 2147483647   500142    152 |  0.000 % |
1510.59/1511.44	c |    547276 |    2337   394633  1728226 | 2147483647   501195    152 |  0.000 % |
1513.28/1514.15	c |    548436 |    2337   394633  1728226 | 2147483647   502355    152 |  0.000 % |
1518.37/1519.23	c |    549709 |    2337   394633  1728226 | 2147483647   503628    152 |  0.000 % |
1528.28/1529.20	c |    551110 |    2337   394633  1728226 | 2147483647   505029    152 |  0.000 % |
1533.07/1533.92	c |    552650 |    2337   394633  1728226 | 2147483647   506569    152 |  0.000 % |
1543.16/1544.05	c |    554345 |    2337   394633  1728226 | 2147483647   508264    152 |  0.000 % |
1552.87/1553.79	c |    556208 |    2337   394633  1728226 | 2147483647   510127    152 |  0.000 % |
1558.46/1559.33	c |    558257 |    2337   394633  1728226 | 2147483647   512176    152 |  0.000 % |
1570.15/1571.06	c |    560510 |    2337   394633  1728226 |   513919   514429    153 |  0.000 % |
1581.35/1582.20	c |    562992 |    2337   394633  1728226 |   513919   441834    154 |  0.000 % |
1593.05/1593.92	c |    565718 |    2337   394633  1728226 |   513919   444560    154 |  0.000 % |
1610.73/1611.60	c |    568715 |    2337   394633  1728226 |   513919   447557    154 |  0.000 % |
1631.93/1632.86	c |    572014 |    2337   394633  1728226 | 2147483647   450856    154 |  0.000 % |
1654.81/1655.76	c |    575642 |    2337   394633  1728226 | 2147483647   454484    155 |  0.000 % |
1665.31/1666.23	c |    579629 |    2337   394633  1728226 | 2147483647   458471    155 |  0.000 % |
1691.20/1692.18	c |    584015 |    2337   394633  1728226 | 2147483647   462857    155 |  0.000 % |
1723.67/1724.65	c |    588838 |    2337   394633  1728226 | 2147483647   467680    155 |  0.000 % |
1742.57/1743.52	c |    594144 |    2337   394633  1728226 | 2147483647   472986    155 |  0.000 % |
1743.26/1744.20	c |    594244 |    2337   394633  1728226 | 2147483647   473086    155 |  0.000 % |
1743.56/1744.58	c |    594354 |    2337   394633  1728226 | 2147483647   473196    155 |  0.000 % |
1744.26/1745.26	c |    594479 |    2337   394633  1728226 | 2147483647   473321    155 |  0.000 % |
1745.66/1746.66	c |    594612 |    2337   394633  1728226 | 2147483647   473454    155 |  0.000 % |
1746.46/1747.42	c |    594759 |    2337   394633  1728226 | 2147483647   473601    155 |  0.000 % |
1747.86/1748.84	c |    594919 |    2337   394633  1728226 | 2147483647   473761    155 |  0.000 % |
1748.66/1749.60	c |    595096 |    2337   394633  1728226 | 2147483647   473938    155 |  0.000 % |
1750.26/1751.28	c |    595290 |    2337   394633  1728226 | 2147483647   474132    155 |  0.000 % |
1751.16/1752.16	c |    595502 |    2337   394633  1728226 | 2147483647   474344    155 |  0.000 % |
1752.66/1753.69	c |    595735 |    2337   394633  1728226 | 2147483647   474577    155 |  0.000 % |
1754.56/1755.52	c |    595992 |    2337   394633  1728226 | 2147483647   474834    155 |  0.000 % |
1756.16/1757.16	c |    596274 |    2337   394633  1728226 | 2147483647   475116    155 |  0.000 % |
1757.96/1758.92	c |    596585 |    2337   394633  1728226 | 2147483647   475427    155 |  0.000 % |
1759.46/1760.43	c |    596925 |    2337   394633  1728226 | 2147483647   475767    155 |  0.000 % |
1762.36/1763.32	c |    597298 |    2337   394633  1728226 | 2147483647   476140    155 |  0.000 % |
1764.05/1765.06	c |    597708 |    2337   394633  1728226 | 2147483647   476550    155 |  0.000 % |
1766.95/1767.93	c |    598159 |    2337   394633  1728226 | 2147483647   477001    155 |  0.000 % |
1768.75/1769.79	c |    598652 |    2337   394633  1728226 | 2147483647   477494    155 |  0.000 % |
1770.75/1771.78	c |    599195 |    2337   394633  1728226 | 2147483647   478037    155 |  0.000 % |
1774.45/1775.44	c |    599791 |    2337   394633  1728226 | 2147483647   478633    155 |  0.000 % |
1777.15/1778.15	c |    600446 |    2337   394633  1728226 | 2147483647   479288    155 |  0.000 % |
1784.05/1785.05	c |    601167 |    2337   394633  1728226 | 2147483647   480009    155 |  0.000 % |
1787.44/1788.43	c |    601961 |    2337   394633  1728226 | 2147483647   480803    155 |  0.000 % |
1790.04/1791.01	c |    602833 |    2337   394633  1728226 | 2147483647   481675    155 |  0.000 % |
1796.34/1797.36	c |    603791 |    2337   394633  1728226 | 2147483647   482633    155 |  0.000 % |
1800.03/1801.04	c |    604845 |    2337   394633  1728226 | 2147483647   483687    155 |  0.000 % |
1808.13/1809.14	c |    606003 |    2337   394633  1728226 | 2147483647   484845    155 |  0.000 % |
1815.23/1816.27	c |    607279 |    2337   394633  1728226 | 2147483647   486121    155 |  0.000 % |
1819.53/1820.51	c |    608682 |    2337   394633  1728226 | 2147483647   487524    155 |  0.000 % |
1828.63/1829.62	c |    610228 |    2337   394633  1728226 | 2147483647   489070    155 |  0.000 % |
1834.32/1835.39	c |    611923 |    2337   394633  1728226 | 2147483647   490765    155 |  0.000 % |
1844.02/1845.06	c |    613786 |    2337   394633  1728226 | 2147483647   492628    155 |  0.000 % |
1851.22/1852.27	c |    615835 |    2337   394633  1728226 | 2147483647   494677    155 |  0.000 % |
1860.31/1861.38	c |    618091 |    2337   394633  1728226 | 2147483647   496933    155 |  0.000 % |
1876.90/1877.95	c |    620569 |    2337   394633  1728226 | 2147483647   499411    155 |  0.000 % |
1901.20/1902.25	c |    623294 |    2337   394633  1728226 | 2147483647   502136    155 |  0.000 % |
1910.59/1911.66	c |    626292 |    2337   394633  1728226 | 2147483647   505134    155 |  0.000 % |
1933.48/1934.51	c |    629589 |    2337   394633  1728226 | 2147483647   508431    155 |  0.000 % |
1950.88/1951.95	c |    633216 |    2337   394633  1728226 | 2147483647   512058    155 |  0.000 % |
1975.86/1976.94	c |    637205 |    2337   394633  1728226 | 2147483647   516047    156 |  0.000 % |
2005.75/2006.85	c |    641592 |    2337   394633  1728226 | 2147483647   520434    155 |  0.000 % |
2031.83/2032.96	c |    646417 |    2337   394633  1728226 | 2147483647   525259    155 |  0.000 % |
2049.13/2050.23	c |    651726 |    2337   394633  1728226 | 2147483647   530568    156 |  0.000 % |
2074.72/2075.89	c |    657563 |    2337   394633  1728226 | 2147483647   536405    156 |  0.000 % |
2075.42/2076.60	c |    657663 |    2337   394633  1728226 | 2147483647   536505    156 |  0.000 % |
2077.22/2078.33	c |    657774 |    2337   394633  1728226 | 2147483647   536616    156 |  0.000 % |
2077.92/2079.05	c |    657896 |    2337   394633  1728226 | 2147483647   536738    156 |  0.000 % |
2079.52/2080.67	c |    658029 |    2337   394633  1728226 | 2147483647   536871    156 |  0.000 % |
2080.62/2081.72	c |    658175 |    2337   394633  1728226 | 2147483647   537017    156 |  0.000 % |
2081.71/2082.86	c |    658336 |    2337   394633  1728226 | 2147483647   537178    156 |  0.000 % |
2083.81/2084.96	c |    658514 |    2337   394633  1728226 | 2147483647   537356    156 |  0.000 % |
2085.31/2086.40	c |    658707 |    2337   394633  1728226 | 2147483647   537549    156 |  0.000 % |
2087.91/2089.09	c |    658920 |    2337   394633  1728226 | 2147483647   537762    156 |  0.000 % |
2090.11/2091.29	c |    659155 |    2337   394633  1728226 | 2147483647   537997    156 |  0.000 % |
2091.61/2092.79	c |    659411 |    2337   394633  1728226 | 2147483647   538253    156 |  0.000 % |
2093.81/2094.92	c |    659692 |    2337   394633  1728226 | 2147483647   538534    156 |  0.000 % |
2095.51/2096.70	c |    660002 |    2337   394633  1728226 | 2147483647   538844    156 |  0.000 % |
2097.81/2098.99	c |    660342 |    2337   394633  1728226 | 2147483647   539184    156 |  0.000 % |
2100.40/2101.57	c |    660714 |    2337   394633  1728226 | 2147483647   539556    156 |  0.000 % |
2102.90/2104.01	c |    661123 |    2337   394633  1728226 | 2147483647   539965    156 |  0.000 % |
2105.99/2107.11	c |    661573 |    2337   394633  1728226 | 2147483647   540415    156 |  0.000 % |
2108.39/2109.52	c |    662067 |    2337   394633  1728226 | 2147483647   540909    156 |  0.000 % |
2110.91/2112.04	c |    662610 |    2337   394633  1728226 | 2147483647   541452    156 |  0.000 % |
2113.20/2114.32	c |    663207 |    2337   394633  1728226 | 2147483647   542049    156 |  0.000 % |
2119.00/2120.10	c |    663864 |    2337   394633  1728226 | 2147483647   542706    156 |  0.000 % |
2124.00/2125.11	c |    664586 |    2337   394633  1728226 | 2147483647   543428    156 |  0.000 % |
2130.19/2131.38	c |    665381 |    2337   394633  1728226 | 2147483647   544223    156 |  0.000 % |
2133.99/2135.17	c |    666252 |    2337   394633  1728226 | 2147483647   545094    156 |  0.000 % |
2138.58/2139.70	c |    667214 |    2337   394633  1728226 | 2147483647   546056    156 |  0.000 % |
2142.39/2143.54	c |    668268 |    2337   394633  1728226 | 2147483647   547110    156 |  0.000 % |
2149.58/2150.73	c |    669431 |    2337   394633  1728226 | 2147483647   548273    156 |  0.000 % |
2158.77/2159.91	c |    670705 |    2337   394633  1728226 | 2147483647   549547    156 |  0.000 % |
2164.57/2165.77	c |    672106 |    2337   394633  1728226 | 2147483647   550948    156 |  0.000 % |
2172.07/2173.21	c |    673647 |    2337   394633  1728226 | 2147483647   552489    156 |  0.000 % |
2177.37/2178.54	c |    675345 |    2337   394633  1728226 | 2147483647   554187    156 |  0.000 % |
2182.96/2184.14	c |    677209 |    2337   394633  1728226 | 2147483647   556051    156 |  0.000 % |
2189.37/2190.56	c |    679259 |    2337   394633  1728226 | 2147483647   558101    156 |  0.000 % |
2199.24/2200.49	c |    681515 |    2337   394633  1728226 | 2147483647   560357    155 |  0.000 % |
2207.83/2209.06	c |    683995 |    2337   394633  1728226 | 2147483647   562837    156 |  0.000 % |
2214.73/2215.91	c |    686721 |    2337   394633  1728226 | 2147483647   565563    156 |  0.000 % |
2220.23/2221.48	c |    689718 |    2337   394633  1728226 | 2147483647   568560    156 |  0.000 % |
2226.13/2227.35	c |    693017 |    2337   394633  1728226 | 2147483647   571859    156 |  0.000 % |
2234.43/2235.61	c |    696642 |    2337   394633  1728226 | 2147483647   575484    156 |  0.000 % |
2253.80/2255.06	c |    700629 |    2337   394633  1728226 | 2147483647   579471    156 |  0.000 % |
2286.57/2287.87	c |    705015 |    2337   394633  1728226 | 2147483647   583857    156 |  0.000 % |
2307.87/2309.10	c |    709838 |    2337   394633  1728226 | 2147483647   588680    155 |  0.000 % |
2346.84/2348.12	c |    715143 |    2337   394633  1728226 | 2147483647   593985    156 |  0.000 % |
2370.84/2372.18	c |    720978 |    2337   394633  1728226 | 2147483647   599820    156 |  0.000 % |
2406.02/2407.33	c |    727396 |    2337   394633  1728226 | 2147483647   606238    156 |  0.000 % |
2407.02/2408.35	c |    727496 |    2337   394633  1728226 | 2147483647   606338    156 |  0.000 % |
2408.32/2409.63	c |    727606 |    2337   394633  1728226 | 2147483647   606448    156 |  0.000 % |
2408.92/2410.29	c |    727729 |    2337   394633  1728226 | 2147483647   606571    156 |  0.000 % |
2410.62/2411.95	c |    727863 |    2337   394633  1728226 | 2147483647   606705    156 |  0.000 % |
2412.12/2413.48	c |    728012 |    2337   394633  1728226 | 2147483647   606854    156 |  0.000 % |
2414.02/2415.32	c |    728173 |    2337   394633  1728226 | 2147483647   607015    156 |  0.000 % |
2414.91/2416.27	c |    728351 |    2337   394633  1728226 | 2147483647   607193    156 |  0.000 % |
2416.71/2418.05	c |    728545 |    2337   394633  1728226 | 2147483647   607387    156 |  0.000 % |
2418.31/2419.60	c |    728757 |    2337   394633  1728226 | 2147483647   607599    156 |  0.000 % |
2420.52/2421.83	c |    728991 |    2337   394633  1728226 | 2147483647   607833    156 |  0.000 % |
2422.82/2424.15	c |    729247 |    2337   394633  1728226 | 2147483647   608089    156 |  0.000 % |
2425.32/2426.64	c |    729529 |    2337   394633  1728226 | 2147483647   608371    156 |  0.000 % |
2427.21/2428.51	c |    729838 |    2337   394633  1728226 | 2147483647   608680    156 |  0.000 % |
2430.21/2431.50	c |    730177 |    2337   394633  1728226 | 2147483647   609019    156 |  0.000 % |
2432.71/2434.06	c |    730550 |    2337   394633  1728226 | 2147483647   609392    156 |  0.000 % |
2436.11/2437.50	c |    730959 |    2337   394633  1728226 | 2147483647   609801    156 |  0.000 % |
2438.91/2440.29	c |    731413 |    2337   394633  1728226 | 2147483647   610255    156 |  0.000 % |
2443.70/2445.03	c |    731907 |    2337   394633  1728226 | 2147483647   610749    156 |  0.000 % |
2447.21/2448.53	c |    732454 |    2337   394633  1728226 | 2147483647   611296    156 |  0.000 % |
2453.80/2455.14	c |    733052 |    2337   394633  1728226 | 2147483647   611894    156 |  0.000 % |
2459.80/2461.19	c |    733708 |    2337   394633  1728226 | 2147483647   612550    156 |  0.000 % |
2462.79/2464.18	c |    734428 |    2337   394633  1728226 | 2147483647   613270    156 |  0.000 % |
2466.80/2468.11	c |    735223 |    2337   394633  1728226 | 2147483647   614065    156 |  0.000 % |
2474.39/2475.74	c |    736094 |    2337   394633  1728226 | 2147483647   614936    156 |  0.000 % |
2480.89/2482.23	c |    737053 |    2337   394633  1728226 | 2147483647   615895    156 |  0.000 % |
2486.89/2488.24	c |    738106 |    2337   394633  1728226 | 2147483647   616948    156 |  0.000 % |
2497.49/2498.81	c |    739266 |    2337   394633  1728226 | 2147483647   618108    156 |  0.000 % |
2508.28/2509.60	c |    740539 |    2337   394633  1728226 | 2147483647   619381    156 |  0.000 % |
2515.27/2516.68	c |    741940 |    2337   394633  1728226 | 2147483647   620782    156 |  0.000 % |
2524.78/2526.16	c |    743481 |    2337   394633  1728226 | 2147483647   622323    156 |  0.000 % |
2535.17/2536.52	c |    745178 |    2337   394633  1728226 | 2147483647   624020    156 |  0.000 % |
2543.87/2545.22	c |    747042 |    2337   394633  1728226 | 2147483647   625884    156 |  0.000 % |
2560.86/2562.28	c |    749094 |    2337   394633  1728226 | 2147483647   627936    156 |  0.000 % |
2571.95/2573.39	c |    751347 |    2337   394633  1728226 | 2147483647   630189    156 |  0.000 % |
2578.65/2580.04	c |    753825 |    2337   394633  1728226 | 2147483647   632667    156 |  0.000 % |
2598.34/2599.78	c |    756552 |    2337   394633  1728226 | 2147483647   635394    156 |  0.000 % |
2611.94/2613.35	c |    759550 |    2337   394633  1728226 | 2147483647   638392    156 |  0.000 % |
2627.43/2628.83	c |    762847 |    2337   394633  1728226 | 2147483647   641689    156 |  0.000 % |
2644.42/2645.87	c |    766473 |    2337   394633  1728226 | 2147483647   645315    156 |  0.000 % |
2669.71/2671.12	c |    770461 |    2337   394633  1728226 |   648842   649303    156 |  0.000 % |
2683.41/2684.86	c |    774849 |    2337   394633  1728226 |   648842   516583    157 |  0.000 % |
2702.07/2703.51	c |    779673 |    2337   394633  1728226 |   648842   521407    157 |  0.000 % |
2729.96/2731.42	c |    784979 |    2337   394633  1728226 |   521734   453067    158 |  0.000 % |
2750.63/2752.14	c |    790814 |    2337   394633  1728226 | 2147483647   458902    158 |  0.000 % |
2784.02/2785.57	c |    797233 |    2337   394633  1728226 | 2147483647   465321    159 |  0.000 % |
2827.19/2828.72	c |    804292 |    2337   394633  1728226 | 2147483647   472380    159 |  0.000 % |
2827.79/2829.37	c |    804395 |    2337   394633  1728226 | 2147483647   472483    159 |  0.000 % |
2829.09/2830.67	c |    804506 |    2337   394633  1728226 | 2147483647   472594    159 |  0.000 % |
2829.90/2831.40	c |    804627 |    2337   394633  1728226 | 2147483647   472715    159 |  0.000 % |
2830.69/2832.25	c |    804762 |    2337   394633  1728226 | 2147483647   472850    159 |  0.000 % |
2831.89/2833.42	c |    804911 |    2337   394633  1728226 | 2147483647   472999    159 |  0.000 % |
2833.99/2835.54	c |    805072 |    2337   394633  1728226 | 2147483647   473160    159 |  0.000 % |
2835.09/2836.65	c |    805252 |    2337   394633  1728226 | 2147483647   473340    159 |  0.000 % |
2836.79/2838.31	c |    805445 |    2337   394633  1728226 | 2147483647   473533    159 |  0.000 % |
2838.79/2840.38	c |    805663 |    2337   394633  1728226 | 2147483647   473751    159 |  0.000 % |
2840.69/2842.23	c |    805896 |    2337   394633  1728226 | 2147483647   473984    159 |  0.000 % |
2841.89/2843.48	c |    806154 |    2337   394633  1728226 | 2147483647   474242    159 |  0.000 % |
2842.79/2844.32	c |    806435 |    2337   394633  1728226 | 2147483647   474523    159 |  0.000 % |
2844.39/2845.94	c |    806744 |    2337   394633  1728226 | 2147483647   474832    159 |  0.000 % |
2845.79/2847.32	c |    807083 |    2337   394633  1728226 | 2147483647   475171    159 |  0.000 % |
2848.69/2850.29	c |    807456 |    2337   394633  1728226 | 2147483647   475544    159 |  0.000 % |
2850.38/2851.97	c |    807867 |    2337   394633  1728226 | 2147483647   475955    159 |  0.000 % |
2852.99/2854.56	c |    808318 |    2337   394633  1728226 | 2147483647   476406    159 |  0.000 % |
2855.28/2856.80	c |    808811 |    2337   394633  1728226 | 2147483647   476899    159 |  0.000 % |
2858.18/2859.77	c |    809354 |    2337   394633  1728226 | 2147483647   477442    159 |  0.000 % |
2860.78/2862.32	c |    809950 |    2337   394633  1728226 | 2147483647   478038    159 |  0.000 % |
2864.68/2866.22	c |    810606 |    2337   394633  1728226 | 2147483647   478694    159 |  0.000 % |
2866.78/2868.37	c |    811328 |    2337   394633  1728226 | 2147483647   479416    159 |  0.000 % |
2869.48/2871.05	c |    812121 |    2337   394633  1728226 | 2147483647   480209    159 |  0.000 % |
2875.37/2876.95	c |    812993 |    2337   394633  1728226 | 2147483647   481081    159 |  0.000 % |
2879.47/2881.07	c |    813951 |    2337   394633  1728226 | 2147483647   482039    159 |  0.000 % |
2885.27/2886.82	c |    815009 |    2337   394633  1728226 | 2147483647   483097    159 |  0.000 % |
2888.37/2889.97	c |    816167 |    2337   394633  1728226 | 2147483647   484255    159 |  0.000 % |
2895.77/2897.30	c |    817441 |    2337   394633  1728226 | 2147483647   485529    159 |  0.000 % |
2900.97/2902.55	c |    818841 |    2337   394633  1728226 | 2147483647   486929    159 |  0.000 % |
2915.25/2916.88	c |    820389 |    2337   394633  1728226 | 2147483647   488477    159 |  0.000 % |
2919.85/2921.49	c |    822087 |    2337   394633  1728226 | 2147483647   490175    159 |  0.000 % |
2928.85/2930.46	c |    823950 |    2337   394633  1728226 | 2147483647   492038    159 |  0.000 % |
2936.25/2937.89	c |    825999 |    2337   394633  1728226 | 2147483647   494087    159 |  0.000 % |
2943.34/2944.99	c |    828256 |    2337   394633  1728226 | 2147483647   496344    159 |  0.000 % |
2950.94/2952.56	c |    830734 |    2337   394633  1728226 | 2147483647   498822    159 |  0.000 % |
2956.34/2958.00	c |    833460 |    2337   394633  1728226 | 2147483647   501548    159 |  0.000 % |
2970.93/2972.53	c |    836458 |    2337   394633  1728226 | 2147483647   504546    159 |  0.000 % |
2984.12/2985.78	c |    839756 |    2337   394633  1728226 | 2147483647   507844    159 |  0.000 % |
2997.12/2998.73	c |    843381 |    2337   394633  1728226 | 2147483647   511469    160 |  0.000 % |
3011.91/3013.51	c |    847368 |    2337   394633  1728226 | 2147483647   515456    160 |  0.000 % |
3030.60/3032.21	c |    851753 |    2337   394633  1728226 | 2147483647   519841    160 |  0.000 % |
3059.18/3060.86	c |    856576 |    2337   394633  1728226 | 2147483647   524664    160 |  0.000 % |
3093.26/3094.92	c |    861882 |    2337   394633  1728226 | 2147483647   529970    160 |  0.000 % |
3132.64/3134.37	c |    867721 |    2337   394633  1728226 | 2147483647   535809    160 |  0.000 % |
3160.73/3162.43	c |    874139 |    2337   394633  1728226 | 2147483647   542227    159 |  0.000 % |
3186.91/3188.65	c |    881198 |    2337   394633  1728226 | 2147483647   549286    159 |  0.000 % |
3231.69/3233.48	c |    888963 |    2337   394633  1728226 | 2147483647   557051    160 |  0.000 % |
3232.69/3234.45	c |    889063 |    2337   394633  1728226 | 2147483647   557151    160 |  0.000 % |
3233.49/3235.25	c |    889173 |    2337   394633  1728226 | 2147483647   557261    160 |  0.000 % |
3234.69/3236.47	c |    889295 |    2337   394633  1728226 | 2147483647   557383    160 |  0.000 % |
3235.79/3237.59	c |    889428 |    2337   394633  1728226 | 2147483647   557516    160 |  0.000 % |
3236.49/3238.30	c |    889574 |    2337   394633  1728226 | 2147483647   557662    160 |  0.000 % |
3237.69/3239.47	c |    889734 |    2337   394633  1728226 | 2147483647   557822    160 |  0.000 % |
3239.49/3241.25	c |    889912 |    2337   394633  1728226 | 2147483647   558000    160 |  0.000 % |
3241.09/3242.87	c |    890105 |    2337   394633  1728226 | 2147483647   558193    160 |  0.000 % |
3242.19/3243.91	c |    890317 |    2337   394633  1728226 | 2147483647   558405    160 |  0.000 % |
3244.68/3246.41	c |    890551 |    2337   394633  1728226 | 2147483647   558639    160 |  0.000 % |
3246.38/3248.10	c |    890807 |    2337   394633  1728226 | 2147483647   558895    160 |  0.000 % |
3248.18/3249.96	c |    891089 |    2337   394633  1728226 | 2147483647   559177    160 |  0.000 % |
3250.58/3252.32	c |    891402 |    2337   394633  1728226 | 2147483647   559490    160 |  0.000 % |
3252.58/3254.33	c |    891742 |    2337   394633  1728226 | 2147483647   559830    160 |  0.000 % |
3255.48/3257.21	c |    892114 |    2337   394633  1728226 | 2147483647   560202    160 |  0.000 % |
3257.58/3259.34	c |    892524 |    2337   394633  1728226 | 2147483647   560612    160 |  0.000 % |
3261.28/3263.05	c |    892976 |    2337   394633  1728226 | 2147483647   561064    160 |  0.000 % |
3263.88/3265.65	c |    893471 |    2337   394633  1728226 | 2147483647   561559    160 |  0.000 % |
3268.08/3269.88	c |    894013 |    2337   394633  1728226 | 2147483647   562101    160 |  0.000 % |
3272.57/3274.35	c |    894611 |    2337   394633  1728226 | 2147483647   562699    160 |  0.000 % |
3275.77/3277.54	c |    895266 |    2337   394633  1728226 | 2147483647   563354    160 |  0.000 % |
3280.26/3282.00	c |    895987 |    2337   394633  1728226 | 2147483647   564075    159 |  0.000 % |
3285.46/3287.27	c |    896779 |    2337   394633  1728226 | 2147483647   564867    159 |  0.000 % |
3287.96/3289.75	c |    897651 |    2337   394633  1728226 | 2147483647   565739    160 |  0.000 % |
3294.76/3296.57	c |    898609 |    2337   394633  1728226 | 2147483647   566697    160 |  0.000 % |
3304.46/3306.23	c |    899663 |    2337   394633  1728226 | 2147483647   567751    160 |  0.000 % |
3314.15/3315.95	c |    900822 |    2337   394633  1728226 | 2147483647   568910    160 |  0.000 % |
3324.44/3326.23	c |    902095 |    2337   394633  1728226 | 2147483647   570183    160 |  0.000 % |
3336.24/3338.01	c |    903496 |    2337   394633  1728226 | 2147483647   571584    160 |  0.000 % |
3342.73/3344.59	c |    905037 |    2337   394633  1728226 | 2147483647   573125    160 |  0.000 % |
3350.63/3352.48	c |    906735 |    2337   394633  1728226 | 2147483647   574823    160 |  0.000 % |
3360.43/3362.28	c |    908598 |    2337   394633  1728226 | 2147483647   576686    160 |  0.000 % |
3368.62/3370.43	c |    910647 |    2337   394633  1728226 | 2147483647   578735    160 |  0.000 % |
3380.11/3381.97	c |    912902 |    2337   394633  1728226 | 2147483647   580990    160 |  0.000 % |
3392.91/3394.75	c |    915382 |    2337   394633  1728226 | 2147483647   583470    160 |  0.000 % |
3413.20/3415.10	c |    918107 |    2337   394633  1728226 | 2147483647   586195    160 |  0.000 % |
3427.50/3429.30	c |    921106 |    2337   394633  1728226 | 2147483647   589194    159 |  0.000 % |
3439.19/3441.00	c |    924403 |    2337   394633  1728226 | 2147483647   592491    159 |  0.000 % |
3472.68/3474.59	c |    928029 |    2337   394633  1728226 | 2147483647   596117    159 |  0.000 % |
3500.76/3502.68	c |    932016 |    2337   394633  1728226 | 2147483647   600104    159 |  0.000 % |
3521.06/3522.99	c |    936402 |    2337   394633  1728226 | 2147483647   604490    159 |  0.000 % |
3560.74/3562.63	c |    941225 |    2337   394633  1728226 | 2147483647   609313    159 |  0.000 % |
3586.42/3588.31	c |    946530 |    2337   394633  1728226 | 2147483647   614618    160 |  0.000 % |
3621.99/3623.93	c |    952365 |    2337   394633  1728226 | 2147483647   620453    160 |  0.000 % |
3671.77/3673.72	c |    958783 |    2337   394633  1728226 | 2147483647   626871    159 |  0.000 % |
3719.36/3721.34	c |    965843 |    2337   394633  1728226 | 2147483647   633931    158 |  0.000 % |
3778.73/3780.74	c |    973608 |    2337   394633  1728226 | 2147483647   641696    158 |  0.000 % |
3818.20/3820.25	c |    982150 |    2337   394633  1728226 | 2147483647   650238    157 |  0.000 % |
3819.20/3821.30	c |    982253 |    2337   394633  1728226 | 2147483647   650341    157 |  0.000 % |
3820.40/3822.42	c |    982363 |    2337   394633  1728226 | 2147483647   650451    157 |  0.000 % |
3821.40/3823.50	c |    982487 |    2337   394633  1728226 | 2147483647   650575    157 |  0.000 % |
3822.80/3824.80	c |    982620 |    2337   394633  1728226 | 2147483647   650708    157 |  0.000 % |
3823.90/3825.96	c |    982766 |    2337   394633  1728226 | 2147483647   650854    157 |  0.000 % |
3824.99/3827.09	c |    982927 |    2337   394633  1728226 | 2147483647   651015    157 |  0.000 % |
3826.79/3828.86	c |    983103 |    2337   394633  1728226 | 2147483647   651191    157 |  0.000 % |
3828.29/3830.37	c |    983299 |    2337   394633  1728226 | 2147483647   651387    157 |  0.000 % |
3830.09/3832.11	c |    983511 |    2337   394633  1728226 | 2147483647   651599    157 |  0.000 % |
3832.09/3834.12	c |    983744 |    2337   394633  1728226 | 2147483647   651832    157 |  0.000 % |
3833.79/3835.82	c |    984001 |    2337   394633  1728226 | 2147483647   652089    157 |  0.000 % |
3835.99/3838.07	c |    984283 |    2337   394633  1728226 | 2147483647   652371    157 |  0.000 % |
3837.59/3839.61	c |    984593 |    2337   394633  1728226 | 2147483647   652681    157 |  0.000 % |
3840.40/3842.40	c |    984932 |    2337   394633  1728226 | 2147483647   653020    157 |  0.000 % |
3842.50/3844.57	c |    985305 |    2337   394633  1728226 | 2147483647   653393    157 |  0.000 % |
3845.99/3848.08	c |    985714 |    2337   394633  1728226 | 2147483647   653802    157 |  0.000 % |
3847.49/3849.58	c |    986165 |    2337   394633  1728226 | 2147483647   654253    157 |  0.000 % |
3850.49/3852.59	c |    986658 |    2337   394633  1728226 | 2147483647   654746    157 |  0.000 % |
3856.69/3858.71	c |    987201 |    2337   394633  1728226 | 2147483647   655289    157 |  0.000 % |
3860.17/3862.21	c |    987798 |    2337   394633  1728226 | 2147483647   655886    157 |  0.000 % |
3863.07/3865.13	c |    988453 |    2337   394633  1728226 | 2147483647   656541    157 |  0.000 % |
3867.47/3869.55	c |    989173 |    2337   394633  1728226 | 2147483647   657261    157 |  0.000 % |
3872.76/3874.83	c |    989965 |    2337   394633  1728226 | 2147483647   658053    157 |  0.000 % |
3877.16/3879.27	c |    990836 |    2337   394633  1728226 | 2147483647   658924    157 |  0.000 % |
3883.47/3885.51	c |    991794 |    2337   394633  1728226 | 2147483647   659882    157 |  0.000 % |
3888.26/3890.36	c |    992847 |    2337   394633  1728226 | 2147483647   660935    157 |  0.000 % |
3893.36/3895.42	c |    994006 |    2337   394633  1728226 | 2147483647   662094    157 |  0.000 % |
3899.76/3901.89	c |    995279 |    2337   394633  1728226 | 2147483647   663367    157 |  0.000 % |
3907.85/3909.93	c |    996679 |    2337   394633  1728226 | 2147483647   664767    157 |  0.000 % |
3915.05/3917.11	c |    998221 |    2337   394633  1728226 | 2147483647   666309    157 |  0.000 % |
3928.44/3930.54	c |    999915 |    2337   394633  1728226 | 2147483647   668003    157 |  0.000 % |
3938.94/3941.00	c |   1001779 |    2337   394633  1728226 | 2147483647   669867    157 |  0.000 % |
3947.83/3949.94	c |   1003829 |    2337   394633  1728226 | 2147483647   671917    158 |  0.000 % |
3960.63/3962.73	c |   1006083 |    2337   394633  1728226 | 2147483647   674171    157 |  0.000 % |
3978.33/3980.46	c |   1008562 |    2337   394633  1728226 | 2147483647   676650    158 |  0.000 % |
3989.52/3991.68	c |   1011288 |    2337   394633  1728226 | 2147483647   679376    158 |  0.000 % |
4010.81/4012.99	c |   1014286 |    2337   394633  1728226 | 2147483647   682374    158 |  0.000 % |
4032.61/4034.80	c |   1017582 |    2337   394633  1728226 | 2147483647   685670    157 |  0.000 % |
4057.69/4059.89	c |   1021209 |    2337   394633  1728226 | 2147483647   689297    158 |  0.000 % |
4086.38/4088.53	c |   1025198 |    2337   394633  1728226 | 2147483647   693286    158 |  0.000 % |
4097.88/4100.00	c |   1029583 |    2337   394633  1728226 | 2147483647   697671    157 |  0.000 % |
4122.27/4124.46	c |   1034406 |    2337   394633  1728226 | 2147483647   702494    158 |  0.000 % |
4154.54/4156.70	c |   1039714 |    2337   394633  1728226 | 2147483647   707802    158 |  0.000 % |
4185.23/4187.40	c |   1045550 |    2337   394633  1728226 | 2147483647   713638    158 |  0.000 % |
4242.00/4244.25	c |   1051968 |    2337   394633  1728226 | 2147483647   720056    158 |  0.000 % |
4268.98/4271.22	c |   1059027 |    2337   394633  1728226 | 2147483647   727115    158 |  0.000 % |
4320.35/4322.60	c |   1066792 |    2337   394633  1728226 | 2147483647   734880    158 |  0.000 % |
4364.83/4367.11	c |   1075332 |    2337   394633  1728226 | 2147483647   743420    158 |  0.000 % |
4418.52/4420.87	c |   1084727 |    2337   394633  1728226 | 2147483647   752815    158 |  0.000 % |
4419.82/4422.17	c |   1084827 |    2337   394633  1728226 | 2147483647   752915    158 |  0.000 % |
4420.82/4423.18	c |   1084938 |    2337   394633  1728226 | 2147483647   753026    158 |  0.000 % |
4422.22/4424.52	c |   1085060 |    2337   394633  1728226 | 2147483647   753148    158 |  0.000 % |
4423.52/4425.81	c |   1085193 |    2337   394633  1728226 | 2147483647   753281    158 |  0.000 % |
4424.81/4427.15	c |   1085340 |    2337   394633  1728226 | 2147483647   753428    158 |  0.000 % |
4426.51/4428.82	c |   1085500 |    2337   394633  1728226 | 2147483647   753588    158 |  0.000 % |
4427.81/4430.12	c |   1085677 |    2337   394633  1728226 | 2147483647   753765    158 |  0.000 % |
4429.11/4431.43	c |   1085870 |    2337   394633  1728226 | 2147483647   753958    158 |  0.000 % |
4430.81/4433.12	c |   1086082 |    2337   394633  1728226 | 2147483647   754170    158 |  0.000 % |
4432.71/4435.04	c |   1086315 |    2337   394633  1728226 | 2147483647   754403    158 |  0.000 % |
4436.91/4439.21	c |   1086571 |    2337   394633  1728226 | 2147483647   754659    158 |  0.000 % |
4438.91/4441.30	c |   1086852 |    2337   394633  1728226 | 2147483647   754940    158 |  0.000 % |
4441.60/4443.95	c |   1087161 |    2337   394633  1728226 | 2147483647   755249    158 |  0.000 % |
4444.39/4446.78	c |   1087501 |    2337   394633  1728226 | 2147483647   755589    158 |  0.000 % |
4447.98/4450.32	c |   1087875 |    2337   394633  1728226 | 2147483647   755963    158 |  0.000 % |
4449.67/4452.06	c |   1088284 |    2337   394633  1728226 | 2147483647   756372    158 |  0.000 % |
4451.87/4454.26	c |   1088738 |    2337   394633  1728226 | 2147483647   756826    158 |  0.000 % |
4456.87/4459.26	c |   1089231 |    2337   394633  1728226 | 2147483647   757319    158 |  0.000 % |
4460.96/4463.34	c |   1089773 |    2337   394633  1728226 | 2147483647   757861    158 |  0.000 % |
4465.56/4467.96	c |   1090369 |    2337   394633  1728226 | 2147483647   758457    158 |  0.000 % |
4469.37/4471.74	c |   1091024 |    2337   394633  1728226 | 2147483647   759112    158 |  0.000 % |
4475.07/4477.45	c |   1091745 |    2337   394633  1728226 | 2147483647   759833    158 |  0.000 % |
4481.17/4483.52	c |   1092537 |    2337   394633  1728226 | 2147483647   760625    158 |  0.000 % |
4489.44/4491.88	c |   1093408 |    2337   394633  1728226 | 2147483647   761496    158 |  0.000 % |
4495.44/4497.84	c |   1094368 |    2337   394633  1728226 | 2147483647   762456    158 |  0.000 % |
4503.04/4505.49	c |   1095422 |    2337   394633  1728226 | 2147483647   763510    158 |  0.000 % |
4510.64/4513.01	c |   1096580 |    2337   394633  1728226 | 2147483647   764668    158 |  0.000 % |
4523.73/4526.15	c |   1097854 |    2337   394633  1728226 | 2147483647   765942    158 |  0.000 % |
4535.73/4538.18	c |   1099254 |    2337   394633  1728226 | 2147483647   767342    158 |  0.000 % |
4545.32/4547.76	c |   1100795 |    2337   394633  1728226 | 2147483647   768883    158 |  0.000 % |
4556.51/4558.90	c |   1102489 |    2337   394633  1728226 | 2147483647   770577    158 |  0.000 % |
4567.62/4570.07	c |   1104352 |    2337   394633  1728226 | 2147483647   772440    158 |  0.000 % |
4578.71/4581.14	c |   1106407 |    2337   394633  1728226 | 2147483647   774495    158 |  0.000 % |
4591.11/4593.51	c |   1108660 |    2337   394633  1728226 | 2147483647   776748    158 |  0.000 % |
4609.00/4611.49	c |   1111138 |    2337   394633  1728226 |   778088   694047    157 |  0.000 % |
4635.58/4638.03	c |   1113863 |    2337   394633  1728226 |   778088   696772    157 |  0.000 % |
4668.86/4671.31	c |   1116860 |    2337   394633  1728226 |   778088   699769    157 |  0.000 % |
4696.75/4699.28	c |   1120156 |    2337   394633  1728226 | 2147483647   703065    157 |  0.000 % |
4710.24/4712.76	c |   1123781 |    2337   394633  1728226 | 2147483647   706690    156 |  0.000 % |
4726.83/4729.30	c |   1127768 |    2337   394633  1728226 | 2147483647   710677    157 |  0.000 % |
4748.23/4750.78	c |   1132153 |    2337   394633  1728226 | 2147483647   715062    157 |  0.000 % |
4767.51/4770.07	c |   1136976 |    2337   394633  1728226 | 2147483647   719885    157 |  0.000 % |
4804.30/4806.81	c |   1142281 |    2337   394633  1728226 | 2147483647   725190    157 |  0.000 % |
4849.59/4852.10	c |   1148117 |    2337   394633  1728226 | 2147483647   731026    156 |  0.000 % |
4895.06/4897.69	c |   1154540 |    2337   394633  1728226 | 2147483647   737449    156 |  0.000 % |
4948.54/4951.18	c |   1161599 |    2337   394633  1728226 | 2147483647   744508    156 |  0.000 % |
4983.03/4985.61	c |   1169364 |    2337   394633  1728226 | 2147483647   752273    156 |  0.000 % |
5012.53/5015.12	c |   1177904 |    2337   394633  1728226 | 2147483647   760813    156 |  0.000 % |
5051.51/5054.14	c |   1187298 |    2337   394633  1728226 | 2147483647   770207    156 |  0.000 % |
5115.47/5118.11	c |   1197631 |    2337   394633  1728226 | 2147483647   780540    156 |  0.000 % |
5116.17/5118.86	c |   1197731 |    2337   394633  1728226 | 2147483647   780640    156 |  0.000 % |
5118.17/5120.85	c |   1197841 |    2337   394633  1728226 | 2147483647   780750    156 |  0.000 % |
5119.17/5121.83	c |   1197963 |    2337   394633  1728226 | 2147483647   780872    156 |  0.000 % |
5120.67/5123.38	c |   1198097 |    2337   394633  1728226 | 2147483647   781006    156 |  0.000 % |
5121.97/5124.67	c |   1198245 |    2337   394633  1728226 | 2147483647   781154    156 |  0.000 % |
5123.38/5126.04	c |   1198405 |    2337   394633  1728226 | 2147483647   781314    156 |  0.000 % |
5124.97/5127.63	c |   1198583 |    2337   394633  1728226 | 2147483647   781492    156 |  0.000 % |
5127.27/5129.93	c |   1198776 |    2337   394633  1728226 | 2147483647   781685    156 |  0.000 % |
5129.27/5131.98	c |   1198988 |    2337   394633  1728226 | 2147483647   781897    156 |  0.000 % |
5130.87/5133.60	c |   1199221 |    2337   394633  1728226 | 2147483647   782130    156 |  0.000 % |
5133.47/5136.15	c |   1199478 |    2337   394633  1728226 | 2147483647   782387    156 |  0.000 % |
5135.97/5138.60	c |   1199761 |    2337   394633  1728226 | 2147483647   782670    156 |  0.000 % |
5137.97/5140.61	c |   1200070 |    2337   394633  1728226 | 2147483647   782979    156 |  0.000 % |
5140.77/5143.45	c |   1200413 |    2337   394633  1728226 | 2147483647   783322    156 |  0.000 % |
5144.27/5146.94	c |   1200786 |    2337   394633  1728226 | 2147483647   783695    156 |  0.000 % |
5147.06/5149.71	c |   1201195 |    2337   394633  1728226 | 2147483647   784104    156 |  0.000 % |
5148.76/5151.48	c |   1201644 |    2337   394633  1728226 | 2147483647   784553    156 |  0.000 % |
5153.86/5156.55	c |   1202137 |    2337   394633  1728226 | 2147483647   785046    156 |  0.000 % |
5157.56/5160.25	c |   1202679 |    2337   394633  1728226 | 2147483647   785588    156 |  0.000 % |
5163.15/5165.89	c |   1203278 |    2337   394633  1728226 | 2147483647   786187    156 |  0.000 % |
5168.35/5171.00	c |   1203933 |    2337   394633  1728226 | 2147483647   786842    156 |  0.000 % |
5172.65/5175.39	c |   1204653 |    2337   394633  1728226 | 2147483647   787562    156 |  0.000 % |
5180.94/5183.65	c |   1205447 |    2337   394633  1728226 | 2147483647   788356    156 |  0.000 % |
5186.04/5188.73	c |   1206318 |    2337   394633  1728226 | 2147483647   789227    156 |  0.000 % |
5195.34/5198.07	c |   1207278 |    2337   394633  1728226 | 2147483647   790187    156 |  0.000 % |
5204.93/5207.60	c |   1208335 |    2337   394633  1728226 | 2147483647   791244    156 |  0.000 % |
5215.23/5217.91	c |   1209495 |    2337   394633  1728226 | 2147483647   792404    156 |  0.000 % |
5227.13/5229.82	c |   1210768 |    2337   394633  1728226 | 2147483647   793677    156 |  0.000 % |
5241.23/5243.93	c |   1212168 |    2337   394633  1728226 | 2147483647   795077    156 |  0.000 % |
5254.71/5257.49	c |   1213711 |    2337   394633  1728226 | 2147483647   796620    156 |  0.000 % |
5266.31/5269.03	c |   1215405 |    2337   394633  1728226 | 2147483647   798314    156 |  0.000 % |
5279.40/5282.15	c |   1217268 |    2337   394633  1728226 | 2147483647   800177    156 |  0.000 % |
5292.30/5295.08	c |   1219318 |    2337   394633  1728226 | 2147483647   802227    156 |  0.000 % |
5305.18/5307.98	c |   1221572 |    2337   394633  1728226 | 2147483647   804481    156 |  0.000 % |
5329.98/5332.71	c |   1224052 |    2337   394633  1728226 | 2147483647   806961    156 |  0.000 % |
5356.47/5359.20	c |   1226778 |    2337   394633  1728226 | 2147483647   809687    156 |  0.000 % |
5385.55/5388.35	c |   1229775 |    2337   394633  1728226 | 2147483647   812684    156 |  0.000 % |
5416.34/5419.10	c |   1233071 |    2337   394633  1728226 | 2147483647   815980    156 |  0.000 % |
5438.53/5441.38	c |   1236699 |    2337   394633  1728226 | 2147483647   819608    156 |  0.000 % |
5464.13/5466.94	c |   1240690 |    2337   394633  1728226 | 2147483647   823599    156 |  0.000 % |
5492.81/5495.67	c |   1245077 |    2337   394633  1728226 | 2147483647   827986    156 |  0.000 % |
5541.59/5544.46	c |   1249901 |    2337   394633  1728226 | 2147483647   832810    156 |  0.000 % |
5583.77/5586.69	c |   1255206 |    2337   394633  1728226 |   832910   754766    155 |  0.000 % |
5606.46/5609.35	c |   1261041 |    2337   394633  1728226 | 2147483647   760601    155 |  0.000 % |
5653.54/5656.43	c |   1267462 |    2337   394633  1728226 | 2147483647   767022    155 |  0.000 % |
5714.20/5717.10	c |   1274521 |    2337   394633  1728226 | 2147483647   774081    155 |  0.000 % |
5801.05/5804.04	c |   1282286 |    2337   394633  1728226 | 2147483647   781846    156 |  0.000 % |
5867.03/5870.07	c |   1290827 |    2337   394633  1728226 | 2147483647   790387    155 |  0.000 % |
5909.81/5912.87	c |   1300223 |    2337   394633  1728226 | 2147483647   799783    155 |  0.000 % |
5953.39/5956.41	c |   1310556 |    2337   394633  1728226 | 2147483647   810116    154 |  0.000 % |
6059.55/6062.69	c |   1321922 |    2337   394633  1728226 | 2147483647   821482    154 |  0.000 % |
6060.95/6064.07	c |   1322024 |    2337   394633  1728226 | 2147483647   821584    154 |  0.000 % |
6062.54/6065.61	c |   1322134 |    2337   394633  1728226 | 2147483647   821694    154 |  0.000 % |
6063.74/6066.81	c |   1322257 |    2337   394633  1728226 | 2147483647   821817    154 |  0.000 % |
6065.04/6068.12	c |   1322390 |    2337   394633  1728226 | 2147483647   821950    154 |  0.000 % |
6066.54/6069.67	c |   1322537 |    2337   394633  1728226 | 2147483647   822097    154 |  0.000 % |
6068.04/6071.19	c |   1322697 |    2337   394633  1728226 | 2147483647   822257    154 |  0.000 % |
6069.64/6072.70	c |   1322873 |    2337   394633  1728226 | 2147483647   822433    154 |  0.000 % |
6071.04/6074.14	c |   1323066 |    2337   394633  1728226 | 2147483647   822626    154 |  0.000 % |
6073.14/6076.22	c |   1323279 |    2337   394633  1728226 | 2147483647   822839    154 |  0.000 % |
6074.64/6077.70	c |   1323512 |    2337   394633  1728226 | 2147483647   823072    154 |  0.000 % |
6076.44/6079.57	c |   1323768 |    2337   394633  1728226 | 2147483647   823328    154 |  0.000 % |
6078.74/6081.85	c |   1324049 |    2337   394633  1728226 | 2147483647   823609    154 |  0.000 % |
6082.14/6085.21	c |   1324358 |    2337   394633  1728226 | 2147483647   823918    154 |  0.000 % |
6084.93/6088.01	c |   1324697 |    2337   394633  1728226 | 2147483647   824257    154 |  0.000 % |
6086.93/6090.00	c |   1325069 |    2337   394633  1728226 | 2147483647   824629    154 |  0.000 % |
6091.13/6094.22	c |   1325479 |    2337   394633  1728226 | 2147483647   825039    154 |  0.000 % |
6094.53/6097.62	c |   1325928 |    2337   394633  1728226 | 2147483647   825488    154 |  0.000 % |
6098.43/6101.53	c |   1326422 |    2337   394633  1728226 | 2147483647   825982    154 |  0.000 % |
6103.43/6106.58	c |   1326965 |    2337   394633  1728226 | 2147483647   826525    154 |  0.000 % |
6108.72/6111.84	c |   1327561 |    2337   394633  1728226 | 2147483647   827121    154 |  0.000 % |
6114.82/6117.97	c |   1328221 |    2337   394633  1728226 | 2147483647   827781    154 |  0.000 % |
6119.42/6122.59	c |   1328942 |    2337   394633  1728226 | 2147483647   828502    154 |  0.000 % |
6124.62/6127.70	c |   1329734 |    2337   394633  1728226 | 2147483647   829294    154 |  0.000 % |
6130.12/6133.25	c |   1330605 |    2337   394633  1728226 | 2147483647   830165    155 |  0.000 % |
6135.41/6138.50	c |   1331564 |    2337   394633  1728226 | 2147483647   831124    154 |  0.000 % |
6144.01/6147.19	c |   1332619 |    2337   394633  1728226 | 2147483647   832179    154 |  0.000 % |
6150.40/6153.59	c |   1333778 |    2337   394633  1728226 | 2147483647   833338    154 |  0.000 % |
6158.39/6161.54	c |   1335051 |    2337   394633  1728226 | 2147483647   834611    154 |  0.000 % |
6168.29/6171.47	c |   1336452 |    2337   394633  1728226 | 2147483647   836012    154 |  0.000 % |
6176.49/6179.65	c |   1337994 |    2337   394633  1728226 | 2147483647   837554    154 |  0.000 % |
6186.69/6189.89	c |   1339688 |    2337   394633  1728226 | 2147483647   839248    155 |  0.000 % |
6202.08/6205.28	c |   1341553 |    2337   394633  1728226 |   839560   740657    154 |  0.000 % |
6224.67/6227.85	c |   1343602 |    2337   394633  1728226 |   839560   742706    154 |  0.000 % |
6239.17/6242.34	c |   1345856 |    2337   394633  1728226 |   839560   744960    154 |  0.000 % |
6251.94/6255.20	c |   1348334 |    2337   394633  1728226 |   839560   747438    154 |  0.000 % |
6265.14/6268.38	c |   1351060 |    2337   394633  1728226 | 2147483647   750164    154 |  0.000 % |
6286.03/6289.26	c |   1354057 |    2337   394633  1728226 | 2147483647   753161    154 |  0.000 % |
6303.62/6306.89	c |   1357353 |    2337   394633  1728226 | 2147483647   756457    154 |  0.000 % |
6333.71/6336.98	c |   1360978 |    2337   394633  1728226 | 2147483647   760082    154 |  0.000 % |
6376.59/6379.85	c |   1364966 |    2337   394633  1728226 | 2147483647   764070    154 |  0.000 % |
6393.08/6396.30	c |   1369351 |    2337   394633  1728226 | 2147483647   768455    154 |  0.000 % |
6419.17/6422.45	c |   1374175 |    2337   394633  1728226 | 2147483647   773279    154 |  0.000 % |
6444.45/6447.74	c |   1379480 |    2337   394633  1728226 | 2147483647   778584    154 |  0.000 % |
6470.14/6473.46	c |   1385317 |    2337   394633  1728226 | 2147483647   784421    154 |  0.000 % |
6494.33/6497.63	c |   1391736 |    2337   394633  1728226 | 2147483647   790840    154 |  0.000 % |
6526.20/6529.58	c |   1398798 |    2337   394633  1728226 | 2147483647   797902    154 |  0.000 % |
6558.39/6561.79	c |   1406562 |    2337   394633  1728226 | 2147483647   805666    153 |  0.000 % |
6615.27/6618.66	c |   1415103 |    2337   394633  1728226 | 2147483647   814207    154 |  0.000 % |
6651.45/6654.89	c |   1424501 |    2337   394633  1728226 | 2147483647   823605    154 |  0.000 % |
6705.81/6709.24	c |   1434834 |    2337   394633  1728226 |   829104   653054    156 |  0.000 % |
6813.95/6817.45	c |   1446200 |    2337   394633  1728226 | 2147483647   664420    157 |  0.000 % |
6884.92/6888.46	c |   1458702 |    2337   394633  1728226 | 2147483647   676922    158 |  0.000 % |
6885.82/6889.39	c |   1458804 |    2337   394633  1728226 | 2147483647   677024    158 |  0.000 % |
6886.72/6890.27	c |   1458915 |    2337   394633  1728226 | 2147483647   677135    158 |  0.000 % |
6887.62/6891.17	c |   1459036 |    2337   394633  1728226 | 2147483647   677256    158 |  0.000 % |
6888.92/6892.44	c |   1459170 |    2337   394633  1728226 | 2147483647   677390    158 |  0.000 % |
6890.32/6893.81	c |   1459316 |    2337   394633  1728226 | 2147483647   677536    158 |  0.000 % |
6891.42/6894.99	c |   1459477 |    2337   394633  1728226 | 2147483647   677697    158 |  0.000 % |
6892.92/6896.46	c |   1459654 |    2337   394633  1728226 | 2147483647   677874    158 |  0.000 % |
6894.53/6898.04	c |   1459853 |    2337   394633  1728226 | 2147483647   678073    158 |  0.000 % |
6896.12/6899.63	c |   1460066 |    2337   394633  1728226 | 2147483647   678286    158 |  0.000 % |
6898.42/6901.95	c |   1460299 |    2337   394633  1728226 | 2147483647   678519    158 |  0.000 % |
6900.62/6904.20	c |   1460555 |    2337   394633  1728226 | 2147483647   678775    158 |  0.000 % |
6902.42/6905.98	c |   1460837 |    2337   394633  1728226 | 2147483647   679057    158 |  0.000 % |
6905.42/6908.95	c |   1461148 |    2337   394633  1728226 | 2147483647   679368    158 |  0.000 % |
6908.32/6911.83	c |   1461490 |    2337   394633  1728226 | 2147483647   679710    158 |  0.000 % |
6911.62/6915.11	c |   1461862 |    2337   394633  1728226 | 2147483647   680082    158 |  0.000 % |
6913.12/6916.68	c |   1462272 |    2337   394633  1728226 | 2147483647   680492    158 |  0.000 % |
6914.81/6918.36	c |   1462721 |    2337   394633  1728226 | 2147483647   680941    158 |  0.000 % |
6918.40/6921.92	c |   1463219 |    2337   394633  1728226 | 2147483647   681439    158 |  0.000 % |
6920.30/6923.86	c |   1463761 |    2337   394633  1728226 | 2147483647   681981    157 |  0.000 % |
6923.59/6927.16	c |   1464360 |    2337   394633  1728226 | 2147483647   682580    157 |  0.000 % |
6926.50/6930.07	c |   1465018 |    2337   394633  1728226 | 2147483647   683238    158 |  0.000 % |
6931.79/6935.30	c |   1465738 |    2337   394633  1728226 | 2147483647   683958    158 |  0.000 % |
6937.29/6940.86	c |   1466530 |    2337   394633  1728226 | 2147483647   684750    157 |  0.000 % |
6942.59/6946.18	c |   1467401 |    2337   394633  1728226 | 2147483647   685621    158 |  0.000 % |
6947.49/6951.00	c |   1468359 |    2337   394633  1728226 | 2147483647   686579    158 |  0.000 % |
6952.89/6956.47	c |   1469413 |    2337   394633  1728226 | 2147483647   687633    157 |  0.000 % |
6960.98/6964.57	c |   1470572 |    2337   394633  1728226 | 2147483647   688792    157 |  0.000 % |
6972.07/6975.63	c |   1471848 |    2337   394633  1728226 | 2147483647   690068    157 |  0.000 % |
6980.47/6984.01	c |   1473251 |    2337   394633  1728226 | 2147483647   691471    157 |  0.000 % |
6993.57/6997.18	c |   1474792 |    2337   394633  1728226 | 2147483647   693012    157 |  0.000 % |
7000.26/7003.89	c |   1476486 |    2337   394633  1728226 | 2147483647   694706    157 |  0.000 % |
7011.25/7014.80	c |   1478349 |    2337   394633  1728226 | 2147483647   696569    157 |  0.000 % |
7019.74/7023.31	c |   1480401 |    2337   394633  1728226 | 2147483647   698621    157 |  0.000 % |
7030.54/7034.13	c |   1482654 |    2337   394633  1728226 | 2147483647   700874    157 |  0.000 % |
7049.73/7053.36	c |   1485132 |    2337   394633  1728226 | 2147483647   703352    157 |  0.000 % |
7061.73/7065.39	c |   1487858 |    2337   394633  1728226 | 2147483647   706078    158 |  0.000 % |
7079.82/7083.49	c |   1490856 |    2337   394633  1728226 | 2147483647   709076    158 |  0.000 % |
7094.21/7097.86	c |   1494152 |    2337   394633  1728226 | 2147483647   712372    158 |  0.000 % |
7115.20/7118.83	c |   1497777 |    2337   394633  1728226 | 2147483647   715997    157 |  0.000 % |
7136.69/7140.34	c |   1501765 |    2337   394633  1728226 | 2147483647   719985    157 |  0.000 % |
7157.68/7161.34	c |   1506151 |    2337   394633  1728226 | 2147483647   724371    157 |  0.000 % |
7182.87/7186.57	c |   1510976 |    2337   394633  1728226 | 2147483647   729196    157 |  0.000 % |
7211.05/7214.73	c |   1516281 |    2337   394633  1728226 | 2147483647   734501    157 |  0.000 % |
7228.14/7231.90	c |   1522117 |    2337   394633  1728226 | 2147483647   740337    157 |  0.000 % |
7271.53/7275.25	c |   1528536 |    2337   394633  1728226 | 2147483647   746756    157 |  0.000 % |
7320.30/7324.07	c |   1535595 |    2337   394633  1728226 | 2147483647   753815    157 |  0.000 % |
7352.09/7355.88	c |   1543360 |    2337   394633  1728226 | 2147483647   761580    157 |  0.000 % |
7382.87/7386.68	c |   1551900 |    2337   394633  1728226 | 2147483647   770120    158 |  0.000 % |
7406.87/7410.69	c |   1561295 |    2337   394633  1728226 | 2147483647   779515    158 |  0.000 % |
7452.15/7455.92	c |   1571629 |    2337   394633  1728226 | 2147483647   789849    158 |  0.000 % |
7517.80/7521.66	c |   1582996 |    2337   394633  1728226 | 2147483647   801216    158 |  0.000 % |
7577.18/7581.10	c |   1595498 |    2337   394633  1728226 | 2147483647   813718    158 |  0.000 % |
7632.06/7635.92	c |   1609251 |    2337   394633  1728226 | 2147483647   827471    158 |  0.000 % |
7633.36/7637.23	c |   1609351 |    2337   394633  1728226 | 2147483647   827571    158 |  0.000 % |
7634.86/7638.75	c |   1609461 |    2337   394633  1728226 | 2147483647   827681    158 |  0.000 % |
7636.86/7640.77	c |   1609582 |    2337   394633  1728226 | 2147483647   827802    158 |  0.000 % |
7638.15/7642.04	c |   1609716 |    2337   394633  1728226 | 2147483647   827936    158 |  0.000 % |
7639.96/7643.81	c |   1609862 |    2337   394633  1728226 | 2147483647   828082    158 |  0.000 % |
7640.95/7644.82	c |   1610025 |    2337   394633  1728226 | 2147483647   828245    158 |  0.000 % |
7642.35/7646.25	c |   1610201 |    2337   394633  1728226 | 2147483647   828421    158 |  0.000 % |
7645.35/7649.20	c |   1610394 |    2337   394633  1728226 | 2147483647   828614    158 |  0.000 % |
7647.25/7651.16	c |   1610607 |    2337   394633  1728226 | 2147483647   828827    158 |  0.000 % |
7648.95/7652.82	c |   1610841 |    2337   394633  1728226 | 2147483647   829061    158 |  0.000 % |
7650.85/7654.71	c |   1611100 |    2337   394633  1728226 | 2147483647   829320    158 |  0.000 % |
7653.75/7657.61	c |   1611381 |    2337   394633  1728226 | 2147483647   829601    158 |  0.000 % |
7656.65/7660.52	c |   1611690 |    2337   394633  1728226 | 2147483647   829910    158 |  0.000 % |
7661.64/7665.52	c |   1612032 |    2337   394633  1728226 | 2147483647   830252    158 |  0.000 % |
7664.84/7668.71	c |   1612405 |    2337   394633  1728226 | 2147483647   830625    158 |  0.000 % |
7668.14/7672.04	c |   1612814 |    2337   394633  1728226 | 2147483647   831034    158 |  0.000 % |
7671.43/7675.36	c |   1613264 |    2337   394633  1728226 | 2147483647   831484    158 |  0.000 % |
7676.03/7679.98	c |   1613757 |    2337   394633  1728226 | 2147483647   831977    158 |  0.000 % |
7679.03/7682.96	c |   1614300 |    2337   394633  1728226 | 2147483647   832520    158 |  0.000 % |
7685.72/7689.62	c |   1614896 |    2337   394633  1728226 | 2147483647   833116    158 |  0.000 % |
7693.73/7697.67	c |   1615552 |    2337   394633  1728226 | 2147483647   833772    158 |  0.000 % |
7701.12/7705.08	c |   1616272 |    2337   394633  1728226 | 2147483647   834492    158 |  0.000 % |
7705.22/7709.13	c |   1617064 |    2337   394633  1728226 | 2147483647   835284    158 |  0.000 % |
7711.12/7715.02	c |   1617935 |    2337   394633  1728226 | 2147483647   836155    158 |  0.000 % |
7720.02/7723.99	c |   1618894 |    2337   394633  1728226 | 2147483647   837114    158 |  0.000 % |
7726.92/7730.86	c |   1619950 |    2337   394633  1728226 | 2147483647   838170    158 |  0.000 % |
7737.41/7741.36	c |   1621108 |    2337   394633  1728226 | 2147483647   839328    158 |  0.000 % |
7749.30/7753.21	c |   1622382 |    2337   394633  1728226 | 2147483647   840602    157 |  0.000 % |
7755.60/7759.56	c |   1623782 |    2337   394633  1728226 | 2147483647   842002    157 |  0.000 % |
7769.60/7773.58	c |   1625325 |    2337   394633  1728226 | 2147483647   843545    157 |  0.000 % |
7781.38/7785.39	c |   1627020 |    2337   394633  1728226 | 2147483647   845240    157 |  0.000 % |
7792.79/7796.79	c |   1628884 |    2337   394633  1728226 | 2147483647   847104    157 |  0.000 % |
7806.68/7810.65	c |   1630933 |    2337   394633  1728226 | 2147483647   849153    157 |  0.000 % |
7822.86/7826.81	c |   1633186 |    2337   394633  1728226 | 2147483647   851406    157 |  0.000 % |
7848.96/7852.97	c |   1635669 |    2337   394633  1728226 | 2147483647   853889    157 |  0.000 % |
7864.05/7868.01	c |   1638398 |    2337   394633  1728226 | 2147483647   856618    157 |  0.000 % |
7883.14/7887.10	c |   1641395 |    2337   394633  1728226 | 2147483647   859615    157 |  0.000 % |
7899.64/7903.62	c |   1644691 |    2337   394633  1728226 | 2147483647   862911    157 |  0.000 % |
7913.62/7917.61	c |   1648316 |    2337   394633  1728226 | 2147483647   866536    158 |  0.000 % |
7936.12/7940.10	c |   1652305 |    2337   394633  1728226 |   868223   783618    157 |  0.000 % |
7971.70/7975.79	c |   1656692 |    2337   394633  1728226 |   868223   788005    157 |  0.000 % |
8003.99/8008.02	c |   1661517 |    2337   394633  1728226 | 2147483647   792830    157 |  0.000 % |
8032.38/8036.45	c |   1666826 |    2337   394633  1728226 | 2147483647   798139    157 |  0.000 % |
8078.35/8082.45	c |   1672661 |    2337   394633  1728226 | 2147483647   803974    157 |  0.000 % |
8109.42/8113.59	c |   1679083 |    2337   394633  1728226 | 2147483647   810396    158 |  0.000 % |
8170.59/8174.75	c |   1686142 |    2337   394633  1728226 | 2147483647   817455    158 |  0.000 % |
8218.37/8222.54	c |   1693906 |    2337   394633  1728226 | 2147483647   825219    158 |  0.000 % |
8259.85/8264.00	c |   1702450 |    2337   394633  1728226 | 2147483647   833763    157 |  0.000 % |
8301.14/8305.38	c |   1711845 |    2337   394633  1728226 | 2147483647   843158    157 |  0.000 % |
8349.72/8353.92	c |   1722180 |    2337   394633  1728226 | 2147483647   853493    157 |  0.000 % |
8398.30/8402.51	c |   1733546 |    2337   394633  1728226 | 2147483647   864859    157 |  0.000 % |
8492.14/8496.49	c |   1746049 |    2337   394633  1728226 | 2147483647   877362    159 |  0.000 % |
8654.09/8658.48	c |   1759802 |    2337   394633  1728226 | 2147483647   891115    159 |  0.000 % |
8787.03/8791.47	c |   1774930 |    2337   394633  1728226 | 2147483647   906243    160 |  0.000 % |
8787.93/8792.36	c |   1775030 |    2337   394633  1728226 | 2147483647   906343    160 |  0.000 % |
8789.62/8794.08	c |   1775140 |    2337   394633  1728226 | 2147483647   906453    160 |  0.000 % |
8791.13/8795.52	c |   1775262 |    2337   394633  1728226 | 2147483647   906575    160 |  0.000 % |
8792.52/8796.91	c |   1775396 |    2337   394633  1728226 | 2147483647   906709    160 |  0.000 % |
8793.92/8798.33	c |   1775542 |    2337   394633  1728226 | 2147483647   906855    160 |  0.000 % |
8796.22/8800.68	c |   1775702 |    2337   394633  1728226 | 2147483647   907015    160 |  0.000 % |
8797.83/8802.29	c |   1775879 |    2337   394633  1728226 | 2147483647   907192    160 |  0.000 % |
8799.72/8804.12	c |   1776072 |    2337   394633  1728226 | 2147483647   907385    160 |  0.000 % |
8802.13/8806.60	c |   1776287 |    2337   394633  1728226 | 2147483647   907600    160 |  0.000 % |
8803.42/8807.85	c |   1776521 |    2337   394633  1728226 | 2147483647   907834    160 |  0.000 % |
8805.82/8810.24	c |   1776777 |    2337   394633  1728226 | 2147483647   908090    160 |  0.000 % |
8809.32/8813.72	c |   1777058 |    2337   394633  1728226 | 2147483647   908371    160 |  0.000 % |
8812.91/8817.36	c |   1777367 |    2337   394633  1728226 | 2147483647   908680    160 |  0.000 % |
8815.42/8819.83	c |   1777708 |    2337   394633  1728226 | 2147483647   909021    160 |  0.000 % |
8818.11/8822.58	c |   1778080 |    2337   394633  1728226 | 2147483647   909393    160 |  0.000 % |
8822.51/8826.96	c |   1778489 |    2337   394633  1728226 | 2147483647   909802    160 |  0.000 % |
8825.41/8829.82	c |   1778940 |    2337   394633  1728226 | 2147483647   910253    160 |  0.000 % |
8831.31/8835.72	c |   1779433 |    2337   394633  1728226 | 2147483647   910746    160 |  0.000 % |
8834.42/8838.82	c |   1779975 |    2337   394633  1728226 | 2147483647   911288    160 |  0.000 % |
8839.91/8844.37	c |   1780571 |    2337   394633  1728226 | 2147483647   911884    160 |  0.000 % |
8844.01/8848.49	c |   1781226 |    2337   394633  1728226 | 2147483647   912539    160 |  0.000 % |
8851.30/8855.71	c |   1781946 |    2337   394633  1728226 | 2147483647   913259    160 |  0.000 % |
8859.39/8863.82	c |   1782740 |    2337   394633  1728226 | 2147483647   914053    160 |  0.000 % |
8868.40/8872.88	c |   1783611 |    2337   394633  1728226 | 2147483647   914924    160 |  0.000 % |
8875.49/8879.97	c |   1784570 |    2337   394633  1728226 | 2147483647   915883    160 |  0.000 % |
8886.99/8891.40	c |   1785623 |    2337   394633  1728226 | 2147483647   916936    160 |  0.000 % |
8893.67/8898.12	c |   1786782 |    2337   394633  1728226 | 2147483647   918095    160 |  0.000 % |
8902.58/8907.00	c |   1788056 |    2337   394633  1728226 | 2147483647   919369    160 |  0.000 % |
8915.38/8919.81	c |   1789457 |    2337   394633  1728226 | 2147483647   920770    160 |  0.000 % |
8926.17/8930.69	c |   1790999 |    2337   394633  1728226 | 2147483647   922312    160 |  0.000 % |
8942.45/8946.90	c |   1792694 |    2337   394633  1728226 | 2147483647   924007    160 |  0.000 % |
8962.35/8966.86	c |   1794558 |    2337   394633  1728226 | 2147483647   925871    159 |  0.000 % |
8980.25/8984.79	c |   1796612 |    2337   394633  1728226 | 2147483647   927925    160 |  0.000 % |
8991.35/8995.89	c |   1798866 |    2337   394633  1728226 | 2147483647   930179    160 |  0.000 % |
9013.53/9018.02	c |   1801344 |    2337   394633  1728226 | 2147483647   932657    160 |  0.000 % |
9033.32/9037.82	c |   1804070 |    2337   394633  1728226 | 2147483647   935383    160 |  0.000 % |
9058.21/9062.79	c |   1807067 |    2337   394633  1728226 | 2147483647   938380    160 |  0.000 % |
9084.19/9088.76	c |   1810363 |    2337   394633  1728226 |   941317   941676    160 |  0.000 % |
9106.89/9111.46	c |   1813989 |    2337   394633  1728226 |   941317   833672    161 |  0.000 % |
9137.28/9141.87	c |   1817976 |    2337   394633  1728226 |   941317   837659    161 |  0.000 % |
9164.16/9168.74	c |   1822362 |    2337   394633  1728226 | 2147483647   842045    161 |  0.000 % |
9190.66/9195.23	c |   1827187 |    2337   394633  1728226 | 2147483647   846870    161 |  0.000 % |
9227.94/9232.53	c |   1832494 |    2337   394633  1728226 |   849683   767127    161 |  0.000 % |
9265.22/9269.89	c |   1838329 |    2337   394633  1728226 |   849683   772962    161 |  0.000 % |
9298.91/9303.54	c |   1844747 |    2337   394633  1728226 | 2147483647   779380    161 |  0.000 % |
9333.00/9337.64	c |   1851809 |    2337   394633  1728226 | 2147483647   786442    161 |  0.000 % |
9377.37/9382.04	c |   1859577 |    2337   394633  1728226 | 2147483647   794210    160 |  0.000 % |
9432.15/9436.89	c |   1868117 |    2337   394633  1728226 | 2147483647   802750    161 |  0.000 % |
9466.34/9471.04	c |   1877511 |    2337   394633  1728226 | 2147483647   812144    160 |  0.000 % |
9534.50/9539.23	c |   1887844 |    2337   394633  1728226 | 2147483647   822477    160 |  0.000 % |
9598.28/9603.03	c |   1899211 |    2337   394633  1728226 | 2147483647   833844    161 |  0.000 % |
9677.14/9681.95	c |   1911716 |    2337   394633  1728226 |   844634   723734    161 |  0.000 % |
9764.31/9769.15	c |   1925468 |    2337   394633  1728226 |   732019   654328    162 |  0.000 % |
9861.16/9866.04	c |   1940595 |    2337   394633  1728226 | 2147483647   669455    162 |  0.000 % |
9960.41/9965.32	c |   1957234 |    2337   394633  1728226 | 2147483647   686094    162 |  0.000 % |
9961.02/9965.90	c |   1957334 |    2337   394633  1728226 | 2147483647   686194    162 |  0.000 % |
9961.91/9966.83	c |   1957444 |    2337   394633  1728226 | 2147483647   686304    162 |  0.000 % |
9962.81/9967.75	c |   1957566 |    2337   394633  1728226 | 2147483647   686426    162 |  0.000 % |
9964.61/9969.59	c |   1957699 |    2337   394633  1728226 | 2147483647   686559    162 |  0.000 % |
9965.71/9970.66	c |   1957846 |    2337   394633  1728226 | 2147483647   686706    162 |  0.000 % |
9967.62/9972.53	c |   1958006 |    2337   394633  1728226 | 2147483647   686866    162 |  0.000 % |
9968.82/9973.76	c |   1958183 |    2337   394633  1728226 | 2147483647   687043    162 |  0.000 % |
9970.41/9975.39	c |   1958378 |    2337   394633  1728226 | 2147483647   687238    162 |  0.000 % |
9971.81/9976.75	c |   1958591 |    2337   394633  1728226 | 2147483647   687451    162 |  0.000 % |
9973.50/9978.42	c |   1958825 |    2337   394633  1728226 | 2147483647   687685    162 |  0.000 % |
9975.60/9980.53	c |   1959081 |    2337   394633  1728226 | 2147483647   687941    162 |  0.000 % |
9977.51/9982.43	c |   1959362 |    2337   394633  1728226 | 2147483647   688222    162 |  0.000 % |
9979.90/9984.82	c |   1959671 |    2337   394633  1728226 | 2147483647   688531    162 |  0.000 % |
9982.30/9987.28	c |   1960010 |    2337   394633  1728226 | 2147483647   688870    162 |  0.000 % |
9986.60/9991.55	c |   1960382 |    2337   394633  1728226 | 2147483647   689242    162 |  0.000 % |
9989.00/9993.92	c |   1960794 |    2337   394633  1728226 | 2147483647   689654    162 |  0.000 % |
9992.70/9997.68	c |   1961243 |    2337   394633  1728226 | 2147483647   690103    162 |  0.000 % |
9995.90/10000.88	c |   1961736 |    2337   394633  1728226 | 2147483647   690596    162 |  0.000 % |
9998.50/10003.49	c |   1962284 |    2337   394633  1728226 | 2147483647   691144    162 |  0.000 % |

Verifier Data

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

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837514-1242875637/watcher-1837514-1242875637 -o /tmp/evaluation-result-1837514-1242875637/solver-1837514-1242875637 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837514-1242875637.cnf 

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 1047
/proc/meminfo: memFree=1642680/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=0
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 315593172 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 251279409234 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/1047/statm: 1339 235 195 169 0 50 0
[pid=1048] ppid=1047 vsize=5356 CPUtime=0
/proc/1048/stat : 1048 (SatELiteGTI) S 1047 1047 1010 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 315593173 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/1048/statm: 1339 238 198 169 0 50 0
[pid=1050] ppid=1048 vsize=5356 CPUtime=0
/proc/1050/stat : 1050 (SatELiteGTI) R 1048 1047 1010 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 315593173 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279240487 0 0 4096 0 0 0 0 17 1 0 0
/proc/1050/statm: 1339 239 199 169 0 50 0

[startup+0.0432231 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 1047
/proc/meminfo: memFree=1642680/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=0
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315593172 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10223 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 1047
/proc/meminfo: memFree=1642680/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=0
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315593172 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302255 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 1047
/proc/meminfo: memFree=1642680/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=0
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315593172 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702304 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 1047
/proc/meminfo: memFree=1642680/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=0
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315593172 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50139 s]
/proc/loadavg: 0.85 0.97 0.99 2/67 1052
/proc/meminfo: memFree=1609192/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=0
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315593172 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 237 197 169 0 50 0
[pid=1052] ppid=1047 vsize=40648 CPUtime=1.48
/proc/1052/stat : 1052 (SatELite_releas) R 1047 1047 1010 0 -1 4194304 9386 0 0 0 143 5 0 0 25 0 1 0 315593173 41623552 9372 1992294400 134512640 135223648 4294956128 18446744073709551615 134602396 0 0 4096 3 0 0 0 17 0 0 0
/proc/1052/statm: 10162 9372 76 173 0 9987 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46004

[startup+3.10159 s]
/proc/loadavg: 0.85 0.97 0.99 2/67 1052
/proc/meminfo: memFree=1602728/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=0
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315593172 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 237 197 169 0 50 0
[pid=1052] ppid=1047 vsize=41140 CPUtime=3.08
/proc/1052/stat : 1052 (SatELite_releas) R 1047 1047 1010 0 -1 4194304 9533 0 0 0 303 5 0 0 25 0 1 0 315593173 42127360 9519 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/1052/statm: 10285 9519 76 173 0 10110 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46496

[startup+6.302 s]
/proc/loadavg: 0.86 0.97 0.99 2/67 1052
/proc/meminfo: memFree=1602408/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 5356

[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.99 2/67 1053
/proc/meminfo: memFree=1607336/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=26040 CPUtime=6.74
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 6354 0 0 0 671 3 0 0 25 0 1 0 315593765 26664960 6340 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 6510 6340 77 171 0 6337 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 31396

[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.99 2/67 1053
/proc/meminfo: memFree=1599912/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=33340 CPUtime=19.54
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 8145 0 0 0 1949 5 0 0 25 0 1 0 315593765 34140160 8131 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 8335 8131 77 171 0 8162 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 38696

[startup+51.1016 s]
/proc/loadavg: 0.93 0.97 0.99 2/67 1053
/proc/meminfo: memFree=1585384/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=48236 CPUtime=45.11
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 11870 0 0 0 4501 10 0 0 25 0 1 0 315593765 49393664 11856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 12059 11856 77 171 0 11886 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 53592

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/67 1053
/proc/meminfo: memFree=1560104/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=72876 CPUtime=96.29
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 18047 0 0 0 9611 18 0 0 25 0 1 0 315593765 74625024 18033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 18219 18033 77 171 0 18046 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 78232

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 1053
/proc/meminfo: memFree=1534312/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=99004 CPUtime=156.23
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 24566 0 0 0 15596 27 0 0 25 0 1 0 315593765 101380096 24552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 24751 24552 77 171 0 24578 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 104360

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 1053
/proc/meminfo: memFree=1509288/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=123680 CPUtime=216.2
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 30666 0 0 0 21587 33 0 0 25 0 1 0 315593765 126648320 30652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 30920 30652 77 171 0 30747 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 129036

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 1053
/proc/meminfo: memFree=1489576/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=143488 CPUtime=276.17
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 35611 0 0 0 27579 38 0 0 25 0 1 0 315593765 146931712 35597 1992294400 134512640 135215339 4294956240 18446744073709551615 134538999 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 35872 35597 77 171 0 35699 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 148844

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 1053
/proc/meminfo: memFree=1470504/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=162620 CPUtime=336.13
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 40298 0 0 0 33571 42 0 0 25 0 1 0 315593765 166522880 40284 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 40655 40284 77 171 0 40482 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 167976

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 1053
/proc/meminfo: memFree=1450728/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=182440 CPUtime=396.09
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 45266 0 0 0 39561 48 0 0 25 0 1 0 315593765 186818560 45252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 45610 45252 77 171 0 45437 0
Current children cumulated CPU time (s) 401.99

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

/proc/1053/statm: 172754 170858 77 171 0 172581 0
Current children cumulated CPU time (s) 9337.7
Current children cumulated vsize (KiB) 696372

[startup+9402.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/67 1072
/proc/meminfo: memFree=942056/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691016 CPUtime=9391.76
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170883 0 0 0 938989 187 0 0 25 0 1 0 315593765 707600384 170861 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172754 170861 77 171 0 172581 0
Current children cumulated CPU time (s) 9397.66
Current children cumulated vsize (KiB) 696372

[startup+9462.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/67 1072
/proc/meminfo: memFree=941992/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691016 CPUtime=9451.74
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170885 0 0 0 944987 187 0 0 25 0 1 0 315593765 707600384 170863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172754 170863 77 171 0 172581 0
Current children cumulated CPU time (s) 9457.64
Current children cumulated vsize (KiB) 696372

[startup+9522.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/67 1072
/proc/meminfo: memFree=941992/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691016 CPUtime=9511.71
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170886 0 0 0 950984 187 0 0 25 0 1 0 315593765 707600384 170864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172754 170864 77 171 0 172581 0
Current children cumulated CPU time (s) 9517.61
Current children cumulated vsize (KiB) 696372

[startup+9582.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/67 1072
/proc/meminfo: memFree=941992/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691196 CPUtime=9571.68
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170895 0 0 0 956981 187 0 0 25 0 1 0 315593765 707784704 170873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172799 170873 77 171 0 172626 0
Current children cumulated CPU time (s) 9577.58
Current children cumulated vsize (KiB) 696552

[startup+9642.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/67 1072
/proc/meminfo: memFree=941928/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691196 CPUtime=9631.65
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170895 0 0 0 962978 187 0 0 25 0 1 0 315593765 707784704 170873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172799 170873 77 171 0 172626 0
Current children cumulated CPU time (s) 9637.55
Current children cumulated vsize (KiB) 696552

[startup+9702.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/67 1072
/proc/meminfo: memFree=941800/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691196 CPUtime=9691.63
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170895 0 0 0 968976 187 0 0 25 0 1 0 315593765 707784704 170873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172799 170873 77 171 0 172626 0
Current children cumulated CPU time (s) 9697.53
Current children cumulated vsize (KiB) 696552

[startup+9762.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/67 1072
/proc/meminfo: memFree=941736/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691196 CPUtime=9751.6
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170897 0 0 0 974973 187 0 0 25 0 1 0 315593765 707784704 170875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172799 170875 77 171 0 172626 0
Current children cumulated CPU time (s) 9757.5
Current children cumulated vsize (KiB) 696552

[startup+9822.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/67 1072
/proc/meminfo: memFree=941736/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691196 CPUtime=9811.58
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170897 0 0 0 980971 187 0 0 25 0 1 0 315593765 707784704 170875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172799 170875 77 171 0 172626 0
Current children cumulated CPU time (s) 9817.48
Current children cumulated vsize (KiB) 696552

[startup+9882.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/67 1072
/proc/meminfo: memFree=941800/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691196 CPUtime=9871.56
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170899 0 0 0 986969 187 0 0 25 0 1 0 315593765 707784704 170877 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172799 170877 77 171 0 172626 0
Current children cumulated CPU time (s) 9877.46
Current children cumulated vsize (KiB) 696552

[startup+9942.3 s]
/proc/loadavg: 1.24 1.06 1.02 2/67 1072
/proc/meminfo: memFree=941800/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691196 CPUtime=9931.51
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170901 0 0 0 992964 187 0 0 25 0 1 0 315593765 707784704 170879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172799 170879 77 171 0 172626 0
Current children cumulated CPU time (s) 9937.41
Current children cumulated vsize (KiB) 696552

[startup+10002.3 s]
/proc/loadavg: 1.24 1.09 1.03 2/67 1072
/proc/meminfo: memFree=941736/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691196 CPUtime=9991.5
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170910 0 0 0 998962 188 0 0 25 0 1 0 315593765 707784704 170888 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172799 170888 77 171 0 172626 0
Current children cumulated CPU time (s) 9997.4
Current children cumulated vsize (KiB) 696552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10005 s]
/proc/loadavg: 1.22 1.09 1.03 2/67 1072
/proc/meminfo: memFree=941736/2055920 swapFree=4084676/4192956
[pid=1047] ppid=1045 vsize=5356 CPUtime=5.9
/proc/1047/stat : 1047 (SatELiteGTI) S 1045 1047 1010 0 -1 4194304 336 9785 0 0 0 0 582 8 16 0 1 0 315593172 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1047/statm: 1339 239 197 169 0 50 0
[pid=1053] ppid=1047 vsize=691196 CPUtime=9994.2
/proc/1053/stat : 1053 (minisat_static) R 1047 1047 1010 0 -1 4194304 170910 0 0 0 999232 188 0 0 25 0 1 0 315593765 707784704 170888 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1053/statm: 172799 170888 77 171 0 172626 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 696552

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

Real time (s): 10005
CPU time (s): 10000.1
CPU user time (s): 9998.14
CPU system time (s): 1.96
CPU usage (%): 99.9509
Max. virtual memory (cumulated for all children) (KiB): 696552

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

runsolver used 8.85365 second user time and 27.6918 second system time

The end

Launcher Data

Begin job on node92 at 2009-05-21 05:13:58
IDJOB=1837514
IDBENCH=71069
IDSOLVER=674
FILE ID=node92/1837514-1242875637
PBS_JOBID= 9328624
Free space on /tmp= 65864 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_17_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837514-1242875637/watcher-1837514-1242875637 -o /tmp/evaluation-result-1837514-1242875637/solver-1837514-1242875637 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837514-1242875637.cnf

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

MD5SUM BENCH= d554330e1400d4f25a793413df9abc4e
RANDOM SEED=1674889548

node92.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.245
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.245
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1643160 kB
Buffers:         40996 kB
Cached:         205816 kB
SwapCached:     102640 kB
Active:          83752 kB
Inactive:       267068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1643160 kB
SwapTotal:     4192956 kB
SwapFree:      4084676 kB
Dirty:            8352 kB
Writeback:           0 kB
Mapped:          13960 kB
Slab:            47896 kB
Committed_AS:   839284 kB
PageTables:       1464 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= 65852 MiB
End job on node92 at 2009-05-21 08:00:45