Trace number 1837550

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 10003.3

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
MD5SUM85279cb74dedd2e1c7356e22d8e98939
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 variables3366
Number of clauses362797
Sum of the clauses size1083511
Maximum clause length17
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25314
Number of clauses of size 3357452
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 |  362797  1083511 |  108839       0        0     nan |  0.000 % |
5.29/5.32	c |         0 |  361512  1585361 |      --       0       --      -- |     --   | -1285/501850
5.29/5.32	c ==============================================================================
5.29/5.32	c Result  :   #vars: 2152   #clauses: 361512   #literals: 1585361
5.29/5.32	c CPU time:   5.2742 s
5.29/5.32	c ==============================================================================
5.68/5.78	c This is MiniSat 2.0 beta
5.68/5.78	c WARNING: for repeatability, setting FPU to use double precision
5.68/5.78	c ============================[ Problem Statistics ]=============================
5.68/5.78	c |                                                                             |
5.68/5.79	c |  Number of variables:  2152                                                 |
5.68/5.79	c |  Number of clauses:    361512                                               |
5.78/5.98	c |  Parsing time:         0.17         s                                       |
5.78/5.99	c ============================[ Search Statistics ]==============================
5.78/5.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.78/5.99	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.78/5.99	c ===============================================================================
5.78/5.99	c |         0 |    2152   361512  1585361 |   120504        0    nan |  0.000 % |
5.78/6.15	c |       101 |    2152   361512  1585361 |   120504      101     79 |  0.000 % |
5.78/6.22	c |       203 |    2152   361512  1585361 |   120504      203     88 |  0.000 % |
5.78/6.30	c |       303 |    2152   361512  1585361 |   120504      303     89 |  0.000 % |
5.78/6.38	c |       415 |    2152   361512  1585361 |   120504      415     91 |  0.000 % |
5.78/6.47	c |       515 |    2152   361512  1585361 |   120504      515     96 |  0.000 % |
6.48/6.59	c |       625 |    2152   361512  1585361 |   120504      625     98 |  0.000 % |
6.58/6.67	c |       747 |    2152   361512  1585361 |   120504      747    100 |  0.000 % |
6.68/6.74	c |       848 |    2152   361512  1585361 |   120504      848    100 |  0.000 % |
6.78/6.81	c |       961 |    2152   361512  1585361 |   120504      961    101 |  0.000 % |
6.88/6.93	c |      1082 |    2152   361512  1585361 |   120504     1082    104 |  0.000 % |
6.98/7.03	c |      1215 |    2152   361512  1585361 |   120504     1215    105 |  0.000 % |
6.98/7.09	c |      1315 |    2152   361512  1585361 |   120504     1315    105 |  0.000 % |
7.08/7.17	c |      1426 |    2152   361512  1585361 |   120504     1426    104 |  0.000 % |
7.18/7.26	c |      1547 |    2152   361512  1585361 |   120504     1547    106 |  0.000 % |
7.28/7.36	c |      1680 |    2152   361512  1585361 |   120504     1680    106 |  0.000 % |
7.38/7.49	c |      1827 |    2152   361512  1585361 |   120504     1827    108 |  0.000 % |
7.48/7.58	c |      1927 |    2152   361512  1585361 |   120504     1927    108 |  0.000 % |
7.58/7.67	c |      2039 |    2152   361512  1585361 |   120504     2039    107 |  0.000 % |
7.68/7.75	c |      2161 |    2152   361512  1585361 |   120504     2161    107 |  0.000 % |
7.78/7.81	c |      2294 |    2152   361512  1585361 |   120504     2294    107 |  0.000 % |
7.88/7.93	c |      2440 |    2152   361512  1585361 |   120504     2440    108 |  0.000 % |
7.98/8.04	c |      2601 |    2152   361512  1585361 |   120504     2601    109 |  0.000 % |
8.08/8.10	c |      2702 |    2152   361512  1585361 |   120504     2702    109 |  0.000 % |
8.18/8.22	c |      2812 |    2152   361512  1585361 |   120504     2812    109 |  0.000 % |
8.28/8.30	c |      2936 |    2152   361512  1585361 |   120504     2936    110 |  0.000 % |
8.38/8.42	c |      3070 |    2152   361512  1585361 |   120504     3070    110 |  0.000 % |
8.48/8.51	c |      3217 |    2152   361512  1585361 |   120504     3217    111 |  0.000 % |
8.58/8.61	c |      3379 |    2152   361512  1585361 |   120504     3379    111 |  0.000 % |
8.69/8.74	c |      3557 |    2152   361512  1585361 |   120504     3557    111 |  0.000 % |
8.79/8.83	c |      3658 |    2152   361512  1585361 |   120504     3658    111 |  0.000 % |
8.88/8.93	c |      3769 |    2152   361512  1585361 |   120504     3769    111 |  0.000 % |
8.98/9.04	c |      3893 |    2152   361512  1585361 |   120504     3893    112 |  0.000 % |
9.08/9.15	c |      4027 |    2152   361512  1585361 |   120504     4027    112 |  0.000 % |
9.18/9.26	c |      4173 |    2152   361512  1585361 |   120504     4173    113 |  0.000 % |
9.28/9.35	c |      4336 |    2152   361512  1585361 |   120504     4336    113 |  0.000 % |
9.38/9.48	c |      4513 |    2152   361512  1585361 |   120504     4513    113 |  0.000 % |
9.58/9.62	c |      4706 |    2152   361512  1585361 |   120504     4706    115 |  0.000 % |
9.68/9.72	c |      4807 |    2152   361512  1585361 |   120504     4807    115 |  0.000 % |
9.79/9.80	c |      4917 |    2152   361512  1585361 |   120504     4917    115 |  0.000 % |
9.89/9.92	c |      5041 |    2152   361512  1585361 |   120504     5041    116 |  0.000 % |
9.98/10.02	c |      5175 |    2152   361512  1585361 |   120504     5175    117 |  0.000 % |
10.08/10.12	c |      5321 |    2152   361512  1585361 |   120504     5321    118 |  0.000 % |
10.18/10.24	c |      5481 |    2152   361512  1585361 |   120504     5481    119 |  0.000 % |
10.28/10.37	c |      5658 |    2152   361512  1585361 |   120504     5658    119 |  0.000 % |
10.38/10.46	c |      5853 |    2152   361512  1585361 |   120504     5853    120 |  0.000 % |
10.48/10.55	c |      6067 |    2152   361512  1585361 |   120504     6067    121 |  0.000 % |
10.58/10.61	c |      6167 |    2152   361512  1585361 |   120504     6167    122 |  0.000 % |
10.58/10.65	c |      6277 |    2152   361512  1585361 |   120504     6277    123 |  0.000 % |
10.68/10.71	c |      6399 |    2152   361512  1585361 |   120504     6399    124 |  0.000 % |
10.68/10.76	c |      6532 |    2152   361512  1585361 |   120504     6532    124 |  0.000 % |
10.78/10.84	c |      6678 |    2152   361512  1585361 |   120504     6678    125 |  0.000 % |
10.88/10.92	c |      6841 |    2152   361512  1585361 |   120504     6841    126 |  0.000 % |
10.88/10.99	c |      7017 |    2152   361512  1585361 |   120504     7017    127 |  0.000 % |
10.98/11.07	c |      7210 |    2152   361512  1585361 |   120504     7210    129 |  0.000 % |
11.07/11.16	c |      7422 |    2152   361512  1585361 |   120504     7422    130 |  0.000 % |
11.17/11.26	c |      7655 |    2152   361512  1585361 |   120504     7655    131 |  0.000 % |
11.27/11.32	c |      7757 |    2152   361512  1585361 |   120504     7757    132 |  0.000 % |
11.27/11.37	c |      7867 |    2152   361512  1585361 |   120504     7867    132 |  0.000 % |
11.37/11.43	c |      7990 |    2152   361512  1585361 |   120504     7990    133 |  0.000 % |
11.47/11.51	c |      8123 |    2152   361512  1585361 |   120504     8123    134 |  0.000 % |
11.47/11.59	c |      8269 |    2152   361512  1585361 |   120504     8269    134 |  0.000 % |
11.57/11.69	c |      8431 |    2152   361512  1585361 |   120504     8431    135 |  0.000 % |
11.67/11.79	c |      8607 |    2152   361512  1585361 |   120504     8607    135 |  0.000 % |
11.88/11.90	c |      8802 |    2152   361512  1585361 |   120504     8802    136 |  0.000 % |
11.99/12.00	c |      9014 |    2152   361512  1585361 |   120504     9014    137 |  0.000 % |
12.09/12.16	c |      9248 |    2152   361512  1585361 |   120504     9248    138 |  0.000 % |
12.28/12.32	c |      9504 |    2152   361512  1585361 |   120504     9504    138 |  0.000 % |
12.28/12.36	c |      9604 |    2152   361512  1585361 |   120504     9604    139 |  0.000 % |
12.38/12.43	c |      9716 |    2152   361512  1585361 |   120504     9716    139 |  0.000 % |
12.48/12.53	c |      9839 |    2152   361512  1585361 |   120504     9839    139 |  0.000 % |
12.58/12.64	c |      9974 |    2152   361512  1585361 |   120504     9974    140 |  0.000 % |
12.68/12.76	c |     10120 |    2152   361512  1585361 | 2147483647    10120    140 |  0.000 % |
12.78/12.85	c |     10280 |    2152   361512  1585361 | 2147483647    10280    140 |  0.000 % |
12.88/12.95	c |     10456 |    2152   361512  1585361 | 2147483647    10456    141 |  0.000 % |
12.98/13.07	c |     10649 |    2152   361512  1585361 | 2147483647    10649    141 |  0.000 % |
13.18/13.22	c |     10861 |    2152   361512  1585361 | 2147483647    10861    141 |  0.000 % |
13.38/13.44	c |     11094 |    2152   361512  1585361 | 2147483647    11094    142 |  0.000 % |
13.58/13.66	c |     11351 |    2152   361512  1585361 | 2147483647    11351    142 |  0.000 % |
13.78/13.85	c |     11634 |    2152   361512  1585361 | 2147483647    11634    143 |  0.000 % |
13.88/13.92	c |     11736 |    2152   361512  1585361 | 2147483647    11736    143 |  0.000 % |
13.98/14.03	c |     11846 |    2152   361512  1585361 | 2147483647    11846    143 |  0.000 % |
14.07/14.13	c |     11967 |    2152   361512  1585361 | 2147483647    11967    144 |  0.000 % |
14.18/14.26	c |     12100 |    2152   361512  1585361 | 2147483647    12100    144 |  0.000 % |
14.37/14.41	c |     12246 |    2152   361512  1585361 | 2147483647    12246    144 |  0.000 % |
14.47/14.57	c |     12407 |    2152   361512  1585361 | 2147483647    12407    144 |  0.000 % |
14.67/14.75	c |     12584 |    2152   361512  1585361 | 2147483647    12584    145 |  0.000 % |
14.87/14.90	c |     12777 |    2152   361512  1585361 | 2147483647    12777    145 |  0.000 % |
15.07/15.15	c |     12990 |    2152   361512  1585361 | 2147483647    12990    145 |  0.000 % |
15.28/15.39	c |     13225 |    2152   361512  1585361 | 2147483647    13225    146 |  0.000 % |
15.67/15.70	c |     13481 |    2152   361512  1585361 | 2147483647    13481    146 |  0.000 % |
15.98/16.02	c |     13763 |    2152   361512  1585361 | 2147483647    13763    146 |  0.000 % |
16.28/16.37	c |     14073 |    2152   361512  1585361 | 2147483647    14073    147 |  0.000 % |
16.48/16.52	c |     14175 |    2152   361512  1585361 | 2147483647    14175    147 |  0.000 % |
16.58/16.65	c |     14285 |    2152   361512  1585361 | 2147483647    14285    147 |  0.000 % |
16.68/16.79	c |     14407 |    2152   361512  1585361 | 2147483647    14407    147 |  0.000 % |
16.88/16.95	c |     14541 |    2152   361512  1585361 | 2147483647    14541    147 |  0.000 % |
17.08/17.12	c |     14690 |    2152   361512  1585361 | 2147483647    14690    147 |  0.000 % |
17.18/17.26	c |     14850 |    2152   361512  1585361 | 2147483647    14850    147 |  0.000 % |
17.28/17.35	c |     15028 |    2152   361512  1585361 | 2147483647    15028    147 |  0.000 % |
17.48/17.58	c |     15221 |    2152   361512  1585361 | 2147483647    15221    148 |  0.000 % |
17.68/17.71	c |     15433 |    2152   361512  1585361 | 2147483647    15433    148 |  0.000 % |
17.88/17.98	c |     15666 |    2152   361512  1585361 | 2147483647    15666    147 |  0.000 % |
18.08/18.14	c |     15922 |    2152   361512  1585361 | 2147483647    15922    147 |  0.000 % |
18.28/18.36	c |     16203 |    2152   361512  1585361 | 2147483647    16203    147 |  0.000 % |
18.48/18.55	c |     16512 |    2152   361512  1585361 | 2147483647    16512    147 |  0.000 % |
18.88/18.94	c |     16851 |    2152   361512  1585361 | 2147483647    16851    147 |  0.000 % |
18.98/19.04	c |     16951 |    2152   361512  1585361 | 2147483647    16951    147 |  0.000 % |
19.08/19.17	c |     17062 |    2152   361512  1585361 | 2147483647    17062    147 |  0.000 % |
19.28/19.34	c |     17183 |    2152   361512  1585361 | 2147483647    17183    147 |  0.000 % |
19.38/19.48	c |     17317 |    2152   361512  1585361 | 2147483647    17317    147 |  0.000 % |
19.58/19.64	c |     17463 |    2152   361512  1585361 | 2147483647    17463    147 |  0.000 % |
19.68/19.79	c |     17626 |    2152   361512  1585361 | 2147483647    17626    147 |  0.000 % |
19.87/19.94	c |     17805 |    2152   361512  1585361 | 2147483647    17805    147 |  0.000 % |
19.97/20.08	c |     17999 |    2152   361512  1585361 | 2147483647    17999    147 |  0.000 % |
20.17/20.28	c |     18211 |    2152   361512  1585361 | 2147483647    18211    147 |  0.000 % |
20.47/20.51	c |     18444 |    2152   361512  1585361 | 2147483647    18444    147 |  0.000 % |
20.57/20.68	c |     18702 |    2152   361512  1585361 | 2147483647    18702    147 |  0.000 % |
20.78/20.89	c |     18985 |    2152   361512  1585361 | 2147483647    18985    147 |  0.000 % |
21.07/21.13	c |     19294 |    2152   361512  1585361 | 2147483647    19294    147 |  0.000 % |
21.17/21.29	c |     19634 |    2152   361512  1585361 | 2147483647    19634    147 |  0.000 % |
21.47/21.51	c |     20011 |    2152   361512  1585361 | 2147483647    20011    147 |  0.000 % |
21.57/21.65	c |     20113 |    2152   361512  1585361 | 2147483647    20113    147 |  0.000 % |
21.67/21.75	c |     20224 |    2152   361512  1585361 | 2147483647    20224    147 |  0.000 % |
21.77/21.84	c |     20346 |    2152   361512  1585361 | 2147483647    20346    147 |  0.000 % |
21.87/21.93	c |     20479 |    2152   361512  1585361 | 2147483647    20479    147 |  0.000 % |
21.97/22.05	c |     20626 |    2152   361512  1585361 | 2147483647    20626    147 |  0.000 % |
22.07/22.16	c |     20786 |    2152   361512  1585361 | 2147483647    20786    147 |  0.000 % |
22.17/22.29	c |     20962 |    2152   361512  1585361 | 2147483647    20962    147 |  0.000 % |
22.37/22.43	c |     21155 |    2152   361512  1585361 | 2147483647    21155    147 |  0.000 % |
22.58/22.64	c |     21367 |    2152   361512  1585361 | 2147483647    21367    147 |  0.000 % |
22.78/22.81	c |     21601 |    2152   361512  1585361 | 2147483647    21601    147 |  0.000 % |
22.88/22.95	c |     21860 |    2152   361512  1585361 | 2147483647    21860    147 |  0.000 % |
23.08/23.15	c |     22143 |    2152   361512  1585361 | 2147483647    22143    147 |  0.000 % |
23.28/23.32	c |     22452 |    2152   361512  1585361 | 2147483647    22452    147 |  0.000 % |
23.48/23.54	c |     22792 |    2152   361512  1585361 | 2147483647    22792    147 |  0.000 % |
23.68/23.76	c |     23165 |    2152   361512  1585361 | 2147483647    23165    147 |  0.000 % |
23.98/24.04	c |     23577 |    2152   361512  1585361 | 2147483647    23577    147 |  0.000 % |
24.08/24.16	c |     23678 |    2152   361512  1585361 | 2147483647    23678    147 |  0.000 % |
24.18/24.21	c |     23789 |    2152   361512  1585361 | 2147483647    23789    147 |  0.000 % |
24.18/24.29	c |     23910 |    2152   361512  1585361 | 2147483647    23910    147 |  0.000 % |
24.38/24.41	c |     24043 |    2152   361512  1585361 | 2147483647    24043    147 |  0.000 % |
24.48/24.56	c |     24189 |    2152   361512  1585361 | 2147483647    24189    147 |  0.000 % |
24.57/24.68	c |     24351 |    2152   361512  1585361 | 2147483647    24351    147 |  0.000 % |
24.77/24.85	c |     24528 |    2152   361512  1585361 | 2147483647    24528    147 |  0.000 % |
24.97/25.03	c |     24722 |    2152   361512  1585361 | 2147483647    24722    147 |  0.000 % |
25.07/25.20	c |     24934 |    2152   361512  1585361 | 2147483647    24934    147 |  0.000 % |
25.28/25.39	c |     25167 |    2152   361512  1585361 | 2147483647    25167    147 |  0.000 % |
25.47/25.59	c |     25423 |    2152   361512  1585361 | 2147483647    25423    147 |  0.000 % |
25.67/25.76	c |     25705 |    2152   361512  1585361 | 2147483647    25705    147 |  0.000 % |
25.87/25.96	c |     26014 |    2152   361512  1585361 | 2147483647    26014    147 |  0.000 % |
26.17/26.29	c |     26353 |    2152   361512  1585361 | 2147483647    26353    147 |  0.000 % |
27.08/27.13	c |     26727 |    2152   361512  1585361 | 2147483647    26727    146 |  0.000 % |
27.48/27.51	c |     27136 |    2152   361512  1585361 | 2147483647    27136    146 |  0.000 % |
28.08/28.15	c |     27585 |    2152   361512  1585361 | 2147483647    27585    145 |  0.000 % |
28.18/28.28	c |     27685 |    2152   361512  1585361 | 2147483647    27685    145 |  0.000 % |
28.38/28.45	c |     27797 |    2152   361512  1585361 | 2147483647    27797    145 |  0.000 % |
28.68/28.72	c |     27918 |    2152   361512  1585361 | 2147483647    27918    145 |  0.000 % |
28.87/28.94	c |     28052 |    2152   361512  1585361 | 2147483647    28052    145 |  0.000 % |
29.07/29.19	c |     28198 |    2152   361512  1585361 | 2147483647    28198    144 |  0.000 % |
29.37/29.42	c |     28359 |    2152   361512  1585361 | 2147483647    28359    144 |  0.000 % |
29.58/29.65	c |     28535 |    2152   361512  1585361 | 2147483647    28535    144 |  0.000 % |
29.87/29.91	c |     28728 |    2152   361512  1585361 | 2147483647    28728    144 |  0.000 % |
30.17/30.24	c |     28940 |    2152   361512  1585361 | 2147483647    28940    144 |  0.000 % |
30.57/30.67	c |     29174 |    2152   361512  1585361 | 2147483647    29174    144 |  0.000 % |
31.17/31.24	c |     29431 |    2152   361512  1585361 | 2147483647    29431    143 |  0.000 % |
31.57/31.61	c |     29712 |    2152   361512  1585361 | 2147483647    29712    142 |  0.000 % |
32.17/32.23	c |     30022 |    2152   361512  1585361 | 2147483647    30022    142 |  0.000 % |
32.67/32.71	c |     30361 |    2152   361512  1585361 | 2147483647    30361    142 |  0.000 % |
33.17/33.24	c |     30734 |    2152   361512  1585361 | 2147483647    30734    142 |  0.000 % |
33.67/33.77	c |     31144 |    2152   361512  1585361 | 2147483647    31144    141 |  0.000 % |
34.87/34.91	c |     31596 |    2152   361512  1585361 | 2147483647    31596    141 |  0.000 % |
35.18/35.25	c |     32090 |    2152   361512  1585361 | 2147483647    32090    141 |  0.000 % |
35.47/35.51	c |     32190 |    2152   361512  1585361 | 2147483647    32190    141 |  0.000 % |
35.57/35.68	c |     32301 |    2152   361512  1585361 | 2147483647    32301    141 |  0.000 % |
35.87/35.94	c |     32423 |    2152   361512  1585361 | 2147483647    32423    141 |  0.000 % |
36.07/36.10	c |     32556 |    2152   361512  1585361 | 2147483647    32556    141 |  0.000 % |
36.37/36.47	c |     32702 |    2152   361512  1585361 | 2147483647    32702    141 |  0.000 % |
36.57/36.66	c |     32862 |    2152   361512  1585361 | 2147483647    32862    140 |  0.000 % |
37.17/37.22	c |     33038 |    2152   361512  1585361 | 2147483647    33038    140 |  0.000 % |
37.47/37.54	c |     33231 |    2152   361512  1585361 | 2147483647    33231    140 |  0.000 % |
37.77/37.88	c |     33444 |    2152   361512  1585361 | 2147483647    33444    140 |  0.000 % |
38.07/38.12	c |     33677 |    2152   361512  1585361 | 2147483647    33677    140 |  0.000 % |
38.47/38.51	c |     33933 |    2152   361512  1585361 | 2147483647    33933    140 |  0.000 % |
38.87/38.93	c |     34214 |    2152   361512  1585361 | 2147483647    34214    140 |  0.000 % |
39.27/39.34	c |     34523 |    2152   361512  1585361 | 2147483647    34523    139 |  0.000 % |
39.77/39.84	c |     34862 |    2152   361512  1585361 | 2147483647    34862    139 |  0.000 % |
40.17/40.28	c |     35234 |    2152   361512  1585361 | 2147483647    35234    139 |  0.000 % |
40.87/40.96	c |     35644 |    2152   361512  1585361 | 2147483647    35644    139 |  0.000 % |
41.36/41.48	c |     36094 |    2152   361512  1585361 | 2147483647    36094    139 |  0.000 % |
42.07/42.17	c |     36589 |    2152   361512  1585361 | 2147483647    36589    139 |  0.000 % |
42.97/43.04	c |     37131 |    2152   361512  1585361 | 2147483647    37131    138 |  0.000 % |
43.37/43.45	c |     37233 |    2152   361512  1585361 | 2147483647    37233    138 |  0.000 % |
43.57/43.61	c |     37346 |    2152   361512  1585361 | 2147483647    37346    138 |  0.000 % |
43.77/43.81	c |     37467 |    2152   361512  1585361 | 2147483647    37467    138 |  0.000 % |
43.87/44.00	c |     37600 |    2152   361512  1585361 | 2147483647    37600    138 |  0.000 % |
44.07/44.15	c |     37747 |    2152   361512  1585361 | 2147483647    37747    138 |  0.000 % |
44.57/44.60	c |     37907 |    2152   361512  1585361 | 2147483647    37907    138 |  0.000 % |
44.77/44.82	c |     38085 |    2152   361512  1585361 | 2147483647    38085    137 |  0.000 % |
44.97/45.07	c |     38278 |    2152   361512  1585361 | 2147483647    38278    137 |  0.000 % |
45.17/45.29	c |     38490 |    2152   361512  1585361 | 2147483647    38490    137 |  0.000 % |
45.57/45.63	c |     38723 |    2152   361512  1585361 | 2147483647    38723    137 |  0.000 % |
45.87/45.92	c |     38979 |    2152   361512  1585361 | 2147483647    38979    137 |  0.000 % |
46.27/46.39	c |     39262 |    2152   361512  1585361 | 2147483647    39262    137 |  0.000 % |
46.76/46.82	c |     39571 |    2152   361512  1585361 | 2147483647    39571    137 |  0.000 % |
47.46/47.52	c |     39910 |    2152   361512  1585361 | 2147483647    39910    137 |  0.000 % |
48.07/48.11	c |     40283 |    2152   361512  1585361 | 2147483647    40283    137 |  0.000 % |
48.57/48.67	c |     40692 |    2152   361512  1585361 | 2147483647    40692    137 |  0.000 % |
49.17/49.23	c |     41144 |    2152   361512  1585361 | 2147483647    41144    137 |  0.000 % |
50.37/50.46	c |     41637 |    2152   361512  1585361 | 2147483647    41637    137 |  0.000 % |
50.97/51.08	c |     42180 |    2152   361512  1585361 | 2147483647    42180    136 |  0.000 % |
52.36/52.46	c |     42776 |    2152   361512  1585361 | 2147483647    42776    136 |  0.000 % |
52.56/52.67	c |     42878 |    2152   361512  1585361 | 2147483647    42878    136 |  0.000 % |
52.77/52.89	c |     42988 |    2152   361512  1585361 | 2147483647    42988    136 |  0.000 % |
53.16/53.22	c |     43110 |    2152   361512  1585361 | 2147483647    43110    136 |  0.000 % |
53.36/53.41	c |     43245 |    2152   361512  1585361 | 2147483647    43245    136 |  0.000 % |
53.56/53.63	c |     43391 |    2152   361512  1585361 | 2147483647    43391    136 |  0.000 % |
53.77/53.82	c |     43551 |    2152   361512  1585361 | 2147483647    43551    136 |  0.000 % |
54.06/54.16	c |     43728 |    2152   361512  1585361 | 2147483647    43728    136 |  0.000 % |
54.26/54.37	c |     43921 |    2152   361512  1585361 | 2147483647    43921    136 |  0.000 % |
54.66/54.73	c |     44134 |    2152   361512  1585361 | 2147483647    44134    136 |  0.000 % |
55.16/55.28	c |     44369 |    2152   361512  1585361 | 2147483647    44369    136 |  0.000 % |
55.56/55.63	c |     44627 |    2152   361512  1585361 | 2147483647    44627    136 |  0.000 % |
56.06/56.13	c |     44909 |    2152   361512  1585361 | 2147483647    44909    135 |  0.000 % |
56.87/56.95	c |     45219 |    2152   361512  1585361 | 2147483647    45219    135 |  0.000 % |
57.37/57.41	c |     45558 |    2152   361512  1585361 | 2147483647    45558    135 |  0.000 % |
57.87/57.97	c |     45932 |    2152   361512  1585361 | 2147483647    45932    136 |  0.000 % |
58.56/58.60	c |     46342 |    2152   361512  1585361 | 2147483647    46342    136 |  0.000 % |
59.16/59.30	c |     46793 |    2152   361512  1585361 | 2147483647    46793    136 |  0.000 % |
59.86/59.96	c |     47286 |    2152   361512  1585361 | 2147483647    47286    135 |  0.000 % |
60.47/60.53	c |     47828 |    2152   361512  1585361 | 2147483647    47828    135 |  0.000 % |
61.66/61.73	c |     48425 |    2152   361512  1585361 | 2147483647    48425    135 |  0.000 % |
62.36/62.41	c |     49080 |    2152   361512  1585361 | 2147483647    49080    135 |  0.000 % |
62.57/62.69	c |     49180 |    2152   361512  1585361 | 2147483647    49180    135 |  0.000 % |
62.86/62.91	c |     49290 |    2152   361512  1585361 | 2147483647    49290    135 |  0.000 % |
63.06/63.11	c |     49411 |    2152   361512  1585361 | 2147483647    49411    135 |  0.000 % |
63.26/63.33	c |     49545 |    2152   361512  1585361 | 2147483647    49545    135 |  0.000 % |
63.66/63.75	c |     49696 |    2152   361512  1585361 | 2147483647    49696    135 |  0.000 % |
63.86/63.95	c |     49857 |    2152   361512  1585361 | 2147483647    49857    135 |  0.000 % |
64.16/64.26	c |     50036 |    2152   361512  1585361 | 2147483647    50036    135 |  0.000 % |
64.46/64.58	c |     50229 |    2152   361512  1585361 | 2147483647    50229    135 |  0.000 % |
64.96/65.03	c |     50442 |    2152   361512  1585361 | 2147483647    50442    135 |  0.000 % |
65.26/65.40	c |     50675 |    2152   361512  1585361 | 2147483647    50675    135 |  0.000 % |
65.75/65.89	c |     50932 |    2152   361512  1585361 | 2147483647    50932    135 |  0.000 % |
66.25/66.32	c |     51215 |    2152   361512  1585361 | 2147483647    51215    135 |  0.000 % |
66.75/66.87	c |     51524 |    2152   361512  1585361 | 2147483647    51524    135 |  0.000 % |
67.15/67.25	c |     51865 |    2152   361512  1585361 | 2147483647    51865    135 |  0.000 % |
67.46/67.52	c |     52237 |    2152   361512  1585361 | 2147483647    52237    135 |  0.000 % |
68.36/68.42	c |     52646 |    2152   361512  1585361 | 2147483647    52646    135 |  0.000 % |
68.76/68.90	c |     53097 |    2152   361512  1585361 | 2147483647    53097    135 |  0.000 % |
69.76/69.81	c |     53591 |    2152   361512  1585361 | 2147483647    53591    135 |  0.000 % |
70.26/70.40	c |     54133 |    2152   361512  1585361 | 2147483647    54133    136 |  0.000 % |
71.46/71.56	c |     54729 |    2152   361512  1585361 | 2147483647    54729    135 |  0.000 % |
72.15/72.22	c |     55385 |    2152   361512  1585361 | 2147483647    55385    135 |  0.000 % |
73.45/73.54	c |     56108 |    2152   361512  1585361 | 2147483647    56108    135 |  0.000 % |
73.66/73.74	c |     56210 |    2152   361512  1585361 | 2147483647    56210    135 |  0.000 % |
73.75/73.88	c |     56320 |    2152   361512  1585361 | 2147483647    56320    135 |  0.000 % |
74.05/74.17	c |     56441 |    2152   361512  1585361 | 2147483647    56441    135 |  0.000 % |
74.35/74.44	c |     56574 |    2152   361512  1585361 | 2147483647    56574    135 |  0.000 % |
74.66/74.73	c |     56720 |    2152   361512  1585361 | 2147483647    56720    135 |  0.000 % |
74.85/74.98	c |     56880 |    2152   361512  1585361 | 2147483647    56880    135 |  0.000 % |
75.15/75.28	c |     57057 |    2152   361512  1585361 | 2147483647    57057    135 |  0.000 % |
75.55/75.62	c |     57250 |    2152   361512  1585361 | 2147483647    57250    135 |  0.000 % |
75.85/75.91	c |     57462 |    2152   361512  1585361 | 2147483647    57462    135 |  0.000 % |
76.25/76.30	c |     57695 |    2152   361512  1585361 | 2147483647    57695    135 |  0.000 % |
76.45/76.59	c |     57952 |    2152   361512  1585361 | 2147483647    57952    135 |  0.000 % |
77.05/77.18	c |     58233 |    2152   361512  1585361 | 2147483647    58233    135 |  0.000 % |
77.56/77.67	c |     58544 |    2152   361512  1585361 | 2147483647    58544    136 |  0.000 % |
78.36/78.41	c |     58883 |    2152   361512  1585361 | 2147483647    58883    135 |  0.000 % |
78.85/78.96	c |     59255 |    2152   361512  1585361 | 2147483647    59255    135 |  0.000 % |
79.45/79.56	c |     59664 |    2152   361512  1585361 | 2147483647    59664    135 |  0.000 % |
80.45/80.51	c |     60114 |    2152   361512  1585361 | 2147483647    60114    135 |  0.000 % |
81.45/81.50	c |     60607 |    2152   361512  1585361 | 2147483647    60607    135 |  0.000 % |
82.05/82.15	c |     61149 |    2152   361512  1585361 | 2147483647    61149    135 |  0.000 % |
83.65/83.70	c |     61747 |    2152   361512  1585361 | 2147483647    61747    135 |  0.000 % |
84.35/84.43	c |     62403 |    2152   361512  1585361 | 2147483647    62403    135 |  0.000 % |
85.35/85.47	c |     63124 |    2152   361512  1585361 | 2147483647    63124    136 |  0.000 % |
86.25/86.37	c |     63916 |    2152   361512  1585361 | 2147483647    63916    136 |  0.000 % |
86.55/86.65	c |     64017 |    2152   361512  1585361 | 2147483647    64017    136 |  0.000 % |
86.75/86.90	c |     64130 |    2152   361512  1585361 | 2147483647    64130    136 |  0.000 % |
87.15/87.20	c |     64251 |    2152   361512  1585361 | 2147483647    64251    136 |  0.000 % |
87.45/87.51	c |     64386 |    2152   361512  1585361 | 2147483647    64386    136 |  0.000 % |
87.75/87.82	c |     64534 |    2152   361512  1585361 | 2147483647    64534    136 |  0.000 % |
87.95/88.08	c |     64694 |    2152   361512  1585361 | 2147483647    64694    136 |  0.000 % |
88.35/88.48	c |     64870 |    2152   361512  1585361 | 2147483647    64870    136 |  0.000 % |
88.75/88.81	c |     65063 |    2152   361512  1585361 | 2147483647    65063    135 |  0.000 % |
89.05/89.18	c |     65275 |    2152   361512  1585361 | 2147483647    65275    136 |  0.000 % |
89.54/89.64	c |     65509 |    2152   361512  1585361 | 2147483647    65509    136 |  0.000 % |
89.94/90.07	c |     65767 |    2152   361512  1585361 | 2147483647    65767    136 |  0.000 % |
90.74/90.89	c |     66050 |    2152   361512  1585361 | 2147483647    66050    135 |  0.000 % |
91.25/91.34	c |     66359 |    2152   361512  1585361 | 2147483647    66359    135 |  0.000 % |
91.64/91.79	c |     66701 |    2152   361512  1585361 | 2147483647    66701    135 |  0.000 % |
92.14/92.25	c |     67073 |    2152   361512  1585361 | 2147483647    67073    135 |  0.000 % |
92.54/92.68	c |     67482 |    2152   361512  1585361 | 2147483647    67482    135 |  0.000 % |
93.14/93.29	c |     67932 |    2152   361512  1585361 | 2147483647    67932    135 |  0.000 % |
94.05/94.10	c |     68426 |    2152   361512  1585361 | 2147483647    68426    135 |  0.000 % |
94.94/95.06	c |     68969 |    2152   361512  1585361 | 2147483647    68969    135 |  0.000 % |
95.74/95.80	c |     69566 |    2152   361512  1585361 | 2147483647    69566    135 |  0.000 % |
96.54/96.63	c |     70221 |    2152   361512  1585361 | 2147483647    70221    135 |  0.000 % |
98.04/98.14	c |     70941 |    2152   361512  1585361 | 2147483647    70941    135 |  0.000 % |
99.64/99.74	c |     71733 |    2152   361512  1585361 | 2147483647    71733    135 |  0.000 % |
100.64/100.74	c |     72606 |    2152   361512  1585361 | 2147483647    72606    135 |  0.000 % |
100.84/100.96	c |     72706 |    2152   361512  1585361 | 2147483647    72706    135 |  0.000 % |
101.04/101.17	c |     72816 |    2152   361512  1585361 | 2147483647    72816    135 |  0.000 % |
101.24/101.35	c |     72939 |    2152   361512  1585361 | 2147483647    72939    135 |  0.000 % |
101.64/101.75	c |     73075 |    2152   361512  1585361 | 2147483647    73075    135 |  0.000 % |
101.94/102.06	c |     73221 |    2152   361512  1585361 | 2147483647    73221    135 |  0.000 % |
102.24/102.36	c |     73383 |    2152   361512  1585361 | 2147483647    73383    135 |  0.000 % |
102.64/102.76	c |     73560 |    2152   361512  1585361 | 2147483647    73560    135 |  0.000 % |
103.04/103.12	c |     73753 |    2152   361512  1585361 | 2147483647    73753    135 |  0.000 % |
103.43/103.55	c |     73965 |    2152   361512  1585361 | 2147483647    73965    135 |  0.000 % |
103.83/103.91	c |     74199 |    2152   361512  1585361 | 2147483647    74199    135 |  0.000 % |
104.23/104.31	c |     74455 |    2152   361512  1585361 | 2147483647    74455    135 |  0.000 % |
104.83/104.94	c |     74736 |    2152   361512  1585361 | 2147483647    74736    135 |  0.000 % |
105.33/105.44	c |     75047 |    2152   361512  1585361 | 2147483647    75047    135 |  0.000 % |
106.03/106.14	c |     75388 |    2152   361512  1585361 | 2147483647    75388    135 |  0.000 % |
106.54/106.65	c |     75760 |    2152   361512  1585361 | 2147483647    75760    135 |  0.000 % |
107.54/107.61	c |     76169 |    2152   361512  1585361 | 2147483647    76169    135 |  0.000 % |
108.14/108.28	c |     76618 |    2152   361512  1585361 | 2147483647    76618    135 |  0.000 % |
109.03/109.13	c |     77112 |    2152   361512  1585361 | 2147483647    77112    136 |  0.000 % |
110.23/110.31	c |     77654 |    2152   361512  1585361 | 2147483647    77654    135 |  0.000 % |
111.23/111.36	c |     78252 |    2152   361512  1585361 | 2147483647    78252    135 |  0.000 % |
112.23/112.32	c |     78907 |    2152   361512  1585361 | 2147483647    78907    135 |  0.000 % |
113.33/113.46	c |     79628 |    2152   361512  1585361 | 2147483647    79628    135 |  0.000 % |
114.64/114.72	c |     80420 |    2152   361512  1585361 | 2147483647    80420    135 |  0.000 % |
116.13/116.21	c |     81299 |    2152   361512  1585361 | 2147483647    81299    134 |  0.000 % |
117.93/118.07	c |     82257 |    2152   361512  1585361 | 2147483647    82257    134 |  0.000 % |
118.23/118.39	c |     82357 |    2152   361512  1585361 | 2147483647    82357    134 |  0.000 % |
118.53/118.62	c |     82467 |    2152   361512  1585361 | 2147483647    82467    134 |  0.000 % |
118.93/119.03	c |     82589 |    2152   361512  1585361 | 2147483647    82589    134 |  0.000 % |
119.23/119.36	c |     82723 |    2152   361512  1585361 | 2147483647    82723    134 |  0.000 % |
119.53/119.70	c |     82869 |    2152   361512  1585361 | 2147483647    82869    134 |  0.000 % |
120.03/120.15	c |     83030 |    2152   361512  1585361 | 2147483647    83030    134 |  0.000 % |
120.53/120.69	c |     83206 |    2152   361512  1585361 | 2147483647    83206    134 |  0.000 % |
121.13/121.20	c |     83402 |    2152   361512  1585361 | 2147483647    83402    134 |  0.000 % |
121.53/121.62	c |     83616 |    2152   361512  1585361 | 2147483647    83616    134 |  0.000 % |
122.14/122.22	c |     83849 |    2152   361512  1585361 | 2147483647    83849    134 |  0.000 % |
122.74/122.85	c |     84110 |    2152   361512  1585361 | 2147483647    84110    134 |  0.000 % |
123.04/123.16	c |     84391 |    2152   361512  1585361 | 2147483647    84391    134 |  0.000 % |
123.74/123.85	c |     84702 |    2152   361512  1585361 | 2147483647    84702    134 |  0.000 % |
124.34/124.47	c |     85042 |    2152   361512  1585361 | 2147483647    85042    134 |  0.000 % |
125.03/125.11	c |     85414 |    2152   361512  1585361 | 2147483647    85414    134 |  0.000 % |
126.33/126.46	c |     85823 |    2152   361512  1585361 | 2147483647    85823    134 |  0.000 % |
127.13/127.22	c |     86274 |    2152   361512  1585361 | 2147483647    86274    134 |  0.000 % |
128.13/128.21	c |     86767 |    2152   361512  1585361 | 2147483647    86767    134 |  0.000 % |
128.92/129.09	c |     87309 |    2152   361512  1585361 | 2147483647    87309    134 |  0.000 % |
130.12/130.25	c |     87905 |    2152   361512  1585361 | 2147483647    87905    134 |  0.000 % |
131.03/131.17	c |     88562 |    2152   361512  1585361 | 2147483647    88562    134 |  0.000 % |
132.23/132.30	c |     89282 |    2152   361512  1585361 | 2147483647    89282    134 |  0.000 % |
133.43/133.54	c |     90075 |    2152   361512  1585361 | 2147483647    90075    134 |  0.000 % |
135.32/135.41	c |     90946 |    2152   361512  1585361 | 2147483647    90946    135 |  0.000 % |
137.43/137.58	c |     91906 |    2152   361512  1585361 | 2147483647    91906    135 |  0.000 % |
139.62/139.75	c |     92961 |    2152   361512  1585361 | 2147483647    92961    135 |  0.000 % |
139.92/140.09	c |     93063 |    2152   361512  1585361 | 2147483647    93063    135 |  0.000 % |
140.22/140.32	c |     93173 |    2152   361512  1585361 | 2147483647    93173    135 |  0.000 % |
140.52/140.64	c |     93294 |    2152   361512  1585361 | 2147483647    93294    135 |  0.000 % |
140.82/140.93	c |     93428 |    2152   361512  1585361 | 2147483647    93428    135 |  0.000 % |
141.22/141.34	c |     93575 |    2152   361512  1585361 | 2147483647    93575    135 |  0.000 % |
141.72/141.85	c |     93736 |    2152   361512  1585361 | 2147483647    93736    135 |  0.000 % |
142.12/142.28	c |     93915 |    2152   361512  1585361 | 2147483647    93915    135 |  0.000 % |
142.72/142.85	c |     94109 |    2152   361512  1585361 | 2147483647    94109    135 |  0.000 % |
143.03/143.18	c |     94322 |    2152   361512  1585361 | 2147483647    94322    135 |  0.000 % |
143.42/143.50	c |     94555 |    2152   361512  1585361 | 2147483647    94555    135 |  0.000 % |
144.12/144.29	c |     94811 |    2152   361512  1585361 | 2147483647    94811    135 |  0.000 % |
144.82/144.90	c |     95092 |    2152   361512  1585361 | 2147483647    95092    135 |  0.000 % |
145.32/145.46	c |     95404 |    2152   361512  1585361 | 2147483647    95404    135 |  0.000 % |
146.02/146.11	c |     95743 |    2152   361512  1585361 | 2147483647    95743    135 |  0.000 % |
146.72/146.88	c |     96115 |    2152   361512  1585361 | 2147483647    96115    135 |  0.000 % |
147.42/147.53	c |     96524 |    2152   361512  1585361 | 2147483647    96524    135 |  0.000 % |
148.42/148.56	c |     96973 |    2152   361512  1585361 | 2147483647    96973    135 |  0.000 % |
149.52/149.64	c |     97466 |    2152   361512  1585361 | 2147483647    97466    135 |  0.000 % |
151.31/151.45	c |     98009 |    2152   361512  1585361 | 2147483647    98009    135 |  0.000 % |
152.32/152.47	c |     98607 |    2152   361512  1585361 | 2147483647    98607    135 |  0.000 % |
153.72/153.86	c |     99262 |    2152   361512  1585361 | 2147483647    99262    135 |  0.000 % |
154.72/154.87	c |     99983 |    2152   361512  1585361 | 2147483647    99983    135 |  0.000 % |
156.12/156.26	c |    100775 |    2152   361512  1585361 | 2147483647   100775    136 |  0.000 % |
157.41/157.51	c |    101646 |    2152   361512  1585361 | 2147483647   101646    136 |  0.000 % |
159.21/159.40	c |    102605 |    2152   361512  1585361 | 2147483647   102605    136 |  0.000 % |
161.72/161.89	c |    103658 |    2152   361512  1585361 | 2147483647   103658    136 |  0.000 % |
163.02/163.14	c |    104819 |    2152   361512  1585361 | 2147483647   104819    135 |  0.000 % |
163.21/163.35	c |    104920 |    2152   361512  1585361 | 2147483647   104920    135 |  0.000 % |
163.51/163.60	c |    105030 |    2152   361512  1585361 | 2147483647   105030    135 |  0.000 % |
163.72/163.84	c |    105151 |    2152   361512  1585361 | 2147483647   105151    135 |  0.000 % |
164.11/164.23	c |    105284 |    2152   361512  1585361 | 2147483647   105284    135 |  0.000 % |
164.41/164.55	c |    105430 |    2152   361512  1585361 | 2147483647   105430    136 |  0.000 % |
164.71/164.85	c |    105591 |    2152   361512  1585361 | 2147483647   105591    136 |  0.000 % |
165.41/165.53	c |    105767 |    2152   361512  1585361 | 2147483647   105767    136 |  0.000 % |
165.92/166.01	c |    105961 |    2152   361512  1585361 | 2147483647   105961    136 |  0.000 % |
166.21/166.38	c |    106174 |    2152   361512  1585361 | 2147483647   106174    136 |  0.000 % |
166.81/166.99	c |    106408 |    2152   361512  1585361 | 2147483647   106408    136 |  0.000 % |
167.41/167.59	c |    106665 |    2152   361512  1585361 | 2147483647   106665    136 |  0.000 % |
167.91/168.06	c |    106946 |    2152   361512  1585361 | 2147483647   106946    136 |  0.000 % |
168.61/168.76	c |    107255 |    2152   361512  1585361 | 2147483647   107255    136 |  0.000 % |
169.31/169.40	c |    107594 |    2152   361512  1585361 | 2147483647   107594    136 |  0.000 % |
170.22/170.35	c |    107969 |    2152   361512  1585361 | 2147483647   107969    136 |  0.000 % |
171.42/171.59	c |    108379 |    2152   361512  1585361 | 2147483647   108379    136 |  0.000 % |
172.11/172.26	c |    108828 |    2152   361512  1585361 | 2147483647   108828    136 |  0.000 % |
173.01/173.19	c |    109323 |    2152   361512  1585361 | 2147483647   109323    136 |  0.000 % |
174.81/174.93	c |    109865 |    2152   361512  1585361 | 2147483647   109865    136 |  0.000 % |
175.91/176.01	c |    110462 |    2152   361512  1585361 | 2147483647   110462    136 |  0.000 % |
177.20/177.35	c |    111118 |    2152   361512  1585361 | 2147483647   111118    136 |  0.000 % |
178.50/178.61	c |    111838 |    2152   361512  1585361 | 2147483647   111838    136 |  0.000 % |
180.31/180.42	c |    112630 |    2152   361512  1585361 | 2147483647   112630    136 |  0.000 % |
181.81/181.94	c |    113503 |    2152   361512  1585361 | 2147483647   113503    136 |  0.000 % |
184.41/184.57	c |    114461 |    2152   361512  1585361 | 2147483647   114461    136 |  0.000 % |
186.50/186.61	c |    115514 |    2152   361512  1585361 | 2147483647   115514    136 |  0.000 % |
188.70/188.89	c |    116673 |    2152   361512  1585361 | 2147483647   116673    136 |  0.000 % |
191.30/191.40	c |    117946 |    2152   361512  1585361 | 2147483647   117946    136 |  0.000 % |
191.60/191.70	c |    118049 |    2152   361512  1585361 | 2147483647   118049    136 |  0.000 % |
191.80/191.97	c |    118161 |    2152   361512  1585361 | 2147483647   118161    136 |  0.000 % |
192.20/192.36	c |    118284 |    2152   361512  1585361 | 2147483647   118284    136 |  0.000 % |
192.80/192.93	c |    118418 |    2152   361512  1585361 | 2147483647   118418    136 |  0.000 % |
193.10/193.27	c |    118565 |    2152   361512  1585361 | 2147483647   118565    136 |  0.000 % |
193.70/193.83	c |    118725 |    2152   361512  1585361 | 2147483647   118725    136 |  0.000 % |
194.10/194.25	c |    118901 |    2152   361512  1585361 | 2147483647   118901    136 |  0.000 % |
194.70/194.88	c |    119094 |    2152   361512  1585361 | 2147483647   119094    136 |  0.000 % |
195.30/195.44	c |    119307 |    2152   361512  1585361 | 2147483647   119307    136 |  0.000 % |
195.60/195.78	c |    119540 |    2152   361512  1585361 | 2147483647   119540    136 |  0.000 % |
196.50/196.60	c |    119796 |    2152   361512  1585361 | 2147483647   119796    135 |  0.000 % |
197.01/197.14	c |    120081 |    2152   361512  1585361 | 2147483647   120081    136 |  0.000 % |
198.10/198.22	c |    120391 |    2152   361512  1585361 | 2147483647   120391    136 |  0.000 % |
198.70/198.88	c |    120730 |    2152   361512  1585361 | 2147483647   120730    136 |  0.000 % |
199.40/199.53	c |    121103 |    2152   361512  1585361 | 2147483647   121103    136 |  0.000 % |
200.20/200.39	c |    121513 |    2152   361512  1585361 | 2147483647   121513    136 |  0.000 % |
201.60/201.76	c |    121963 |    2152   361512  1585361 | 2147483647   121963    136 |  0.000 % |
202.80/202.94	c |    122456 |    2152   361512  1585361 | 2147483647   122456    136 |  0.000 % |
203.90/204.09	c |    122998 |    2152   361512  1585361 | 2147483647   122998    136 |  0.000 % |
205.00/205.10	c |    123594 |    2152   361512  1585361 | 2147483647   123594    136 |  0.000 % |
206.40/206.56	c |    124249 |    2152   361512  1585361 | 2147483647   124249    136 |  0.000 % |
208.10/208.23	c |    124969 |    2152   361512  1585361 | 2147483647   124969    136 |  0.000 % |
211.29/211.41	c |    125763 |    2152   361512  1585361 | 2147483647   125763    136 |  0.000 % |
213.09/213.26	c |    126634 |    2152   361512  1585361 | 2147483647   126634    136 |  0.000 % |
215.40/215.52	c |    127592 |    2152   361512  1585361 | 2147483647   127592    136 |  0.000 % |
216.99/217.10	c |    128645 |    2152   361512  1585361 | 2147483647   128645    136 |  0.000 % |
219.10/219.23	c |    129804 |    2152   361512  1585361 | 2147483647   129804    136 |  0.000 % |
221.30/221.46	c |    131079 |    2152   361512  1585361 | 2147483647   131079    136 |  0.000 % |
223.99/224.17	c |    132479 |    2152   361512  1585361 | 2147483647   132479    137 |  0.000 % |
224.30/224.43	c |    132581 |    2152   361512  1585361 | 2147483647   132581    137 |  0.000 % |
224.69/224.84	c |    132692 |    2152   361512  1585361 | 2147483647   132692    137 |  0.000 % |
225.09/225.22	c |    132814 |    2152   361512  1585361 | 2147483647   132814    137 |  0.000 % |
225.49/225.67	c |    132949 |    2152   361512  1585361 | 2147483647   132949    137 |  0.000 % |
225.99/226.18	c |    133097 |    2152   361512  1585361 | 2147483647   133097    137 |  0.000 % |
226.49/226.66	c |    133258 |    2152   361512  1585361 | 2147483647   133258    137 |  0.000 % |
226.99/227.15	c |    133435 |    2152   361512  1585361 | 2147483647   133435    137 |  0.000 % |
227.49/227.61	c |    133628 |    2152   361512  1585361 | 2147483647   133628    137 |  0.000 % |
228.29/228.42	c |    133840 |    2152   361512  1585361 | 2147483647   133840    137 |  0.000 % |
228.79/228.96	c |    134076 |    2152   361512  1585361 | 2147483647   134076    137 |  0.000 % |
229.39/229.55	c |    134332 |    2152   361512  1585361 | 2147483647   134332    137 |  0.000 % |
230.19/230.35	c |    134614 |    2152   361512  1585361 | 2147483647   134614    137 |  0.000 % |
230.80/230.96	c |    134924 |    2152   361512  1585361 | 2147483647   134924    137 |  0.000 % |
231.59/231.74	c |    135264 |    2152   361512  1585361 | 2147483647   135264    137 |  0.000 % |
232.49/232.67	c |    135636 |    2152   361512  1585361 | 2147483647   135636    137 |  0.000 % |
233.99/234.19	c |    136046 |    2152   361512  1585361 | 2147483647   136046    137 |  0.000 % |
235.19/235.32	c |    136495 |    2152   361512  1585361 | 2147483647   136495    137 |  0.000 % |
235.69/235.87	c |    136988 |    2152   361512  1585361 | 2147483647   136988    137 |  0.000 % |
237.19/237.34	c |    137530 |    2152   361512  1585361 | 2147483647   137530    137 |  0.000 % |
239.09/239.20	c |    138126 |    2152   361512  1585361 | 2147483647   138126    137 |  0.000 % |
241.89/242.02	c |    138781 |    2152   361512  1585361 | 2147483647   138781    137 |  0.000 % |
243.38/243.58	c |    139501 |    2152   361512  1585361 | 2147483647   139501    137 |  0.000 % |
245.18/245.32	c |    140294 |    2152   361512  1585361 | 2147483647   140294    137 |  0.000 % |
246.89/247.06	c |    141167 |    2152   361512  1585361 | 2147483647   141167    137 |  0.000 % |
249.29/249.40	c |    142125 |    2152   361512  1585361 | 2147483647   142125    138 |  0.000 % |
251.38/251.50	c |    143182 |    2152   361512  1585361 | 2147483647   143182    138 |  0.000 % |
253.58/253.79	c |    144340 |    2152   361512  1585361 | 2147483647   144340    138 |  0.000 % |
255.78/255.91	c |    145613 |    2152   361512  1585361 | 2147483647   145613    138 |  0.000 % |
261.18/261.32	c |    147013 |    2152   361512  1585361 | 2147483647   147013    138 |  0.000 % |
265.38/265.59	c |    148554 |    2152   361512  1585361 | 2147483647   148554    138 |  0.000 % |
265.98/266.16	c |    148654 |    2152   361512  1585361 | 2147483647   148654    138 |  0.000 % |
266.58/266.78	c |    148764 |    2152   361512  1585361 | 2147483647   148764    138 |  0.000 % |
267.08/267.20	c |    148886 |    2152   361512  1585361 | 2147483647   148886    138 |  0.000 % |
267.38/267.51	c |    149021 |    2152   361512  1585361 | 2147483647   149021    138 |  0.000 % |
267.98/268.15	c |    149167 |    2152   361512  1585361 | 2147483647   149167    138 |  0.000 % |
268.58/268.76	c |    149327 |    2152   361512  1585361 | 2147483647   149327    138 |  0.000 % |
269.18/269.38	c |    149504 |    2152   361512  1585361 | 2147483647   149504    138 |  0.000 % |
269.98/270.12	c |    149697 |    2152   361512  1585361 | 2147483647   149697    139 |  0.000 % |
270.68/270.87	c |    149911 |    2152   361512  1585361 | 2147483647   149911    139 |  0.000 % |
271.68/271.89	c |    150145 |    2152   361512  1585361 | 2147483647   150145    139 |  0.000 % |
272.58/272.77	c |    150402 |    2152   361512  1585361 | 2147483647   150402    139 |  0.000 % |
273.58/273.77	c |    150683 |    2152   361512  1585361 | 2147483647   150683    139 |  0.000 % |
274.67/274.88	c |    150993 |    2152   361512  1585361 | 2147483647   150993    139 |  0.000 % |
275.67/275.86	c |    151334 |    2152   361512  1585361 | 2147483647   151334    139 |  0.000 % |
276.57/276.78	c |    151708 |    2152   361512  1585361 | 2147483647   151708    139 |  0.000 % |
277.67/277.89	c |    152117 |    2152   361512  1585361 | 2147483647   152117    139 |  0.000 % |
279.27/279.48	c |    152568 |    2152   361512  1585361 | 2147483647   152568    139 |  0.000 % |
280.57/280.71	c |    153062 |    2152   361512  1585361 | 2147483647   153062    139 |  0.000 % |
282.58/282.74	c |    153606 |    2152   361512  1585361 | 2147483647   153606    139 |  0.000 % |
284.47/284.69	c |    154203 |    2152   361512  1585361 | 2147483647   154203    138 |  0.000 % |
287.47/287.61	c |    154861 |    2152   361512  1585361 | 2147483647   154861    138 |  0.000 % |
288.97/289.11	c |    155582 |    2152   361512  1585361 | 2147483647   155582    138 |  0.000 % |
291.57/291.76	c |    156376 |    2152   361512  1585361 | 2147483647   156376    138 |  0.000 % |
293.07/293.20	c |    157249 |    2152   361512  1585361 | 2147483647   157249    138 |  0.000 % |
294.57/294.79	c |    158207 |    2152   361512  1585361 | 2147483647   158207    138 |  0.000 % |
296.37/296.58	c |    159260 |    2152   361512  1585361 | 2147483647   159260    138 |  0.000 % |
298.46/298.65	c |    160418 |    2152   361512  1585361 | 2147483647   160418    137 |  0.000 % |
302.26/302.49	c |    161693 |    2152   361512  1585361 | 2147483647   161693    137 |  0.000 % |
305.17/305.36	c |    163094 |    2152   361512  1585361 | 2147483647   163094    137 |  0.000 % |
309.66/309.85	c |    164634 |    2152   361512  1585361 | 2147483647   164634    138 |  0.000 % |
315.56/315.76	c |    166328 |    2152   361512  1585361 | 2147483647   166328    138 |  0.000 % |
315.86/316.04	c |    166429 |    2152   361512  1585361 | 2147483647   166429    138 |  0.000 % |
316.16/316.37	c |    166541 |    2152   361512  1585361 | 2147483647   166541    138 |  0.000 % |
316.66/316.87	c |    166663 |    2152   361512  1585361 | 2147483647   166663    138 |  0.000 % |
317.26/317.46	c |    166797 |    2152   361512  1585361 | 2147483647   166797    138 |  0.000 % |
317.56/317.78	c |    166943 |    2152   361512  1585361 | 2147483647   166943    138 |  0.000 % |
318.26/318.47	c |    167104 |    2152   361512  1585361 | 2147483647   167104    138 |  0.000 % |
318.96/319.11	c |    167282 |    2152   361512  1585361 | 2147483647   167282    138 |  0.000 % |
319.36/319.59	c |    167476 |    2152   361512  1585361 | 2147483647   167476    138 |  0.000 % |
320.25/320.48	c |    167688 |    2152   361512  1585361 | 2147483647   167688    138 |  0.000 % |
320.85/321.08	c |    167922 |    2152   361512  1585361 | 2147483647   167922    138 |  0.000 % |
322.16/322.30	c |    168178 |    2152   361512  1585361 | 2147483647   168178    138 |  0.000 % |
322.76/322.95	c |    168462 |    2152   361512  1585361 | 2147483647   168462    138 |  0.000 % |
323.96/324.19	c |    168771 |    2152   361512  1585361 | 2147483647   168771    138 |  0.000 % |
325.06/325.23	c |    169110 |    2152   361512  1585361 | 2147483647   169110    138 |  0.000 % |
326.06/326.20	c |    169486 |    2152   361512  1585361 | 2147483647   169486    138 |  0.000 % |
326.95/327.11	c |    169896 |    2152   361512  1585361 | 2147483647   169896    138 |  0.000 % |
328.15/328.34	c |    170348 |    2152   361512  1585361 | 2147483647   170348    138 |  0.000 % |
329.25/329.44	c |    170841 |    2152   361512  1585361 | 2147483647   170841    138 |  0.000 % |
330.56/330.73	c |    171385 |    2152   361512  1585361 | 2147483647   171385    138 |  0.000 % |
331.26/331.40	c |    171981 |    2152   361512  1585361 | 2147483647   171981    138 |  0.000 % |
333.06/333.28	c |    172636 |    2152   361512  1585361 | 2147483647   172636    138 |  0.000 % |
334.75/334.96	c |    173356 |    2152   361512  1585361 | 2147483647   173356    138 |  0.000 % |
336.65/336.86	c |    174148 |    2152   361512  1585361 | 2147483647   174148    138 |  0.000 % |
339.35/339.50	c |    175021 |    2152   361512  1585361 | 2147483647   175021    138 |  0.000 % |
341.05/341.26	c |    175979 |    2152   361512  1585361 | 2147483647   175979    138 |  0.000 % |
344.94/345.14	c |    177032 |    2152   361512  1585361 | 2147483647   177032    138 |  0.000 % |
349.95/350.14	c |    178190 |    2152   361512  1585361 | 2147483647   178190    138 |  0.000 % |
352.24/352.46	c |    179463 |    2152   361512  1585361 | 2147483647   179463    138 |  0.000 % |
356.24/356.42	c |    180863 |    2152   361512  1585361 | 2147483647   180863    138 |  0.000 % |
358.64/358.86	c |    182406 |    2152   361512  1585361 | 2147483647   182406    138 |  0.000 % |
361.14/361.38	c |    184100 |    2152   361512  1585361 | 2147483647   184100    138 |  0.000 % |
366.34/366.57	c |    185963 |    2152   361512  1585361 | 2147483647   185963    138 |  0.000 % |
367.15/367.31	c |    186063 |    2152   361512  1585361 | 2147483647   186063    138 |  0.000 % |
367.54/367.75	c |    186173 |    2152   361512  1585361 | 2147483647   186173    138 |  0.000 % |
368.04/368.26	c |    186294 |    2152   361512  1585361 | 2147483647   186294    138 |  0.000 % |
368.54/368.74	c |    186428 |    2152   361512  1585361 | 2147483647   186428    138 |  0.000 % |
369.14/369.39	c |    186576 |    2152   361512  1585361 | 2147483647   186576    138 |  0.000 % |
369.74/369.92	c |    186736 |    2152   361512  1585361 | 2147483647   186736    138 |  0.000 % |
370.14/370.37	c |    186912 |    2152   361512  1585361 | 2147483647   186912    138 |  0.000 % |
370.94/371.12	c |    187105 |    2152   361512  1585361 | 2147483647   187105    138 |  0.000 % |
371.54/371.73	c |    187317 |    2152   361512  1585361 | 2147483647   187317    138 |  0.000 % |
372.53/372.73	c |    187550 |    2152   361512  1585361 | 2147483647   187550    138 |  0.000 % |
373.23/373.47	c |    187809 |    2152   361512  1585361 | 2147483647   187809    138 |  0.000 % |
374.13/374.30	c |    188090 |    2152   361512  1585361 | 2147483647   188090    138 |  0.000 % |
374.94/375.15	c |    188399 |    2152   361512  1585361 | 2147483647   188399    138 |  0.000 % |
376.04/376.29	c |    188738 |    2152   361512  1585361 | 2147483647   188738    138 |  0.000 % |
377.14/377.38	c |    189110 |    2152   361512  1585361 | 2147483647   189110    138 |  0.000 % |
379.04/379.24	c |    189519 |    2152   361512  1585361 | 2147483647   189519    138 |  0.000 % |
381.54/381.71	c |    189968 |    2152   361512  1585361 | 2147483647   189968    138 |  0.000 % |
383.13/383.36	c |    190463 |    2152   361512  1585361 | 2147483647   190463    138 |  0.001 % |
384.23/384.46	c |    191006 |    2152   361512  1585361 | 2147483647   191006    138 |  0.000 % |
386.73/386.98	c |    191602 |    2152   361512  1585361 | 2147483647   191602    138 |  0.000 % |
389.03/389.28	c |    192257 |    2152   361512  1585361 | 2147483647   192257    138 |  0.000 % |
390.43/390.65	c |    192981 |    2152   361512  1585361 | 2147483647   192981    138 |  0.000 % |
392.53/392.75	c |    193774 |    2152   361512  1585361 | 2147483647   193774    138 |  0.000 % |
395.63/395.89	c |    194646 |    2152   361512  1585361 | 2147483647   194646    138 |  0.000 % |
398.03/398.20	c |    195604 |    2152   361512  1585361 | 2147483647   195604    138 |  0.000 % |
400.43/400.64	c |    196657 |    2152   361512  1585361 | 2147483647   196657    138 |  0.000 % |
403.03/403.21	c |    197816 |    2152   361512  1585361 | 2147483647   197816    138 |  0.000 % |
405.82/406.03	c |    199089 |    2152   361512  1585361 | 2147483647   199089    138 |  0.000 % |
408.52/408.70	c |    200489 |    2152   361512  1585361 | 2147483647   200489    139 |  0.000 % |
412.22/412.42	c |    202029 |    2152   361512  1585361 | 2147483647   202029    139 |  0.000 % |
418.52/418.75	c |    203723 |    2152   361512  1585361 | 2147483647   203723    139 |  0.000 % |
422.72/423.00	c |    205586 |    2152   361512  1585361 | 2147483647   205586    139 |  0.000 % |
427.92/428.11	c |    207638 |    2152   361512  1585361 | 2147483647   207638    139 |  0.000 % |
428.32/428.52	c |    207738 |    2152   361512  1585361 | 2147483647   207738    139 |  0.000 % |
428.82/429.02	c |    207850 |    2152   361512  1585361 | 2147483647   207850    139 |  0.000 % |
429.32/429.51	c |    207972 |    2152   361512  1585361 | 2147483647   207972    139 |  0.000 % |
429.72/429.97	c |    208106 |    2152   361512  1585361 | 2147483647   208106    139 |  0.000 % |
430.32/430.53	c |    208252 |    2152   361512  1585361 | 2147483647   208252    139 |  0.000 % |
430.92/431.13	c |    208412 |    2152   361512  1585361 | 2147483647   208412    139 |  0.000 % |
431.42/431.61	c |    208588 |    2152   361512  1585361 | 2147483647   208588    139 |  0.000 % |
432.42/432.64	c |    208781 |    2152   361512  1585361 | 2147483647   208781    139 |  0.000 % |
433.51/433.79	c |    208994 |    2152   361512  1585361 | 2147483647   208994    139 |  0.000 % |
434.81/435.00	c |    209229 |    2152   361512  1585361 | 2147483647   209229    139 |  0.000 % |
435.81/436.08	c |    209485 |    2152   361512  1585361 | 2147483647   209485    139 |  0.000 % |
436.61/436.83	c |    209768 |    2152   361512  1585361 | 2147483647   209768    139 |  0.000 % |
438.01/438.29	c |    210078 |    2152   361512  1585361 | 2147483647   210078    139 |  0.000 % |
439.11/439.33	c |    210417 |    2152   361512  1585361 | 2147483647   210417    139 |  0.000 % |
440.01/440.28	c |    210789 |    2152   361512  1585361 | 2147483647   210789    139 |  0.000 % |
441.51/441.78	c |    211199 |    2152   361512  1585361 | 2147483647   211199    139 |  0.000 % |
443.01/443.27	c |    211649 |    2152   361512  1585361 | 2147483647   211649    139 |  0.000 % |
444.81/445.02	c |    212142 |    2152   361512  1585361 | 2147483647   212142    139 |  0.000 % |
446.81/447.09	c |    212684 |    2152   361512  1585361 | 2147483647   212684    139 |  0.000 % |
448.51/448.71	c |    213281 |    2152   361512  1585361 | 2147483647   213281    139 |  0.000 % |
451.10/451.34	c |    213936 |    2152   361512  1585361 | 2147483647   213936    139 |  0.000 % |
453.61/453.82	c |    214658 |    2152   361512  1585361 | 2147483647   214658    139 |  0.000 % |
455.11/455.35	c |    215450 |    2152   361512  1585361 | 2147483647   215450    139 |  0.000 % |
458.01/458.29	c |    216321 |    2152   361512  1585361 | 2147483647   216321    139 |  0.000 % |
459.90/460.19	c |    217280 |    2152   361512  1585361 | 2147483647   217280    139 |  0.000 % |
462.80/463.01	c |    218334 |    2152   361512  1585361 | 2147483647   218334    139 |  0.000 % |
465.40/465.60	c |    219492 |    2152   361512  1585361 | 2147483647   219492    139 |  0.000 % |
468.70/468.96	c |    220766 |    2152   361512  1585361 | 2147483647   220766    139 |  0.000 % |
471.70/471.98	c |    222166 |    2152   361512  1585361 | 2147483647   222166    139 |  0.000 % |
476.40/476.69	c |    223706 |    2152   361512  1585361 | 2147483647   223706    140 |  0.000 % |
480.60/480.81	c |    225400 |    2152   361512  1585361 | 2147483647   225400    140 |  0.000 % |
485.59/485.83	c |    227264 |    2152   361512  1585361 | 2147483647   227264    140 |  0.000 % |
491.40/491.61	c |    229314 |    2152   361512  1585361 | 2147483647   229314    140 |  0.000 % |
497.09/497.30	c |    231571 |    2152   361512  1585361 | 2147483647   231571    140 |  0.000 % |
497.59/497.85	c |    231673 |    2152   361512  1585361 | 2147483647   231673    140 |  0.000 % |
498.39/498.61	c |    231783 |    2152   361512  1585361 | 2147483647   231783    140 |  0.000 % |
498.89/499.12	c |    231905 |    2152   361512  1585361 | 2147483647   231905    140 |  0.000 % |
499.49/499.79	c |    232038 |    2152   361512  1585361 | 2147483647   232038    140 |  0.000 % |
500.19/500.47	c |    232188 |    2152   361512  1585361 | 2147483647   232188    140 |  0.000 % |
500.99/501.22	c |    232349 |    2152   361512  1585361 | 2147483647   232349    140 |  0.000 % |
501.59/501.83	c |    232525 |    2152   361512  1585361 | 2147483647   232525    140 |  0.000 % |
502.09/502.36	c |    232719 |    2152   361512  1585361 | 2147483647   232719    140 |  0.000 % |
502.99/503.25	c |    232931 |    2152   361512  1585361 | 2147483647   232931    140 |  0.000 % |
504.39/504.60	c |    233165 |    2152   361512  1585361 | 2147483647   233165    140 |  0.000 % |
505.29/505.55	c |    233421 |    2152   361512  1585361 | 2147483647   233421    140 |  0.000 % |
506.29/506.53	c |    233702 |    2152   361512  1585361 | 2147483647   233702    140 |  0.000 % |
506.99/507.27	c |    234012 |    2152   361512  1585361 | 2147483647   234012    140 |  0.000 % |
508.19/508.46	c |    234351 |    2152   361512  1585361 | 2147483647   234351    140 |  0.000 % |
509.39/509.63	c |    234724 |    2152   361512  1585361 | 2147483647   234724    140 |  0.000 % |
510.98/511.25	c |    235133 |    2152   361512  1585361 | 2147483647   235133    140 |  0.000 % |
512.49/512.70	c |    235583 |    2152   361512  1585361 | 2147483647   235583    140 |  0.000 % |
514.39/514.65	c |    236076 |    2152   361512  1585361 | 2147483647   236076    140 |  0.000 % |
516.89/517.16	c |    236618 |    2152   361512  1585361 | 2147483647   236618    140 |  0.000 % |
519.28/519.53	c |    237216 |    2152   361512  1585361 | 2147483647   237216    140 |  0.000 % |
521.28/521.58	c |    237872 |    2152   361512  1585361 | 2147483647   237872    140 |  0.000 % |
523.38/523.62	c |    238592 |    2152   361512  1585361 | 2147483647   238592    140 |  0.000 % |
525.69/525.94	c |    239385 |    2152   361512  1585361 | 2147483647   239385    140 |  0.000 % |
527.38/527.66	c |    240256 |    2152   361512  1585361 | 2147483647   240256    140 |  0.000 % |
530.78/531.04	c |    241214 |    2152   361512  1585361 | 2147483647   241214    140 |  0.000 % |
535.97/536.21	c |    242267 |    2152   361512  1585361 | 2147483647   242267    140 |  0.000 % |
537.88/538.12	c |    243425 |    2152   361512  1585361 | 2147483647   243425    140 |  0.000 % |
542.78/543.05	c |    244698 |    2152   361512  1585361 | 2147483647   244698    140 |  0.000 % |
549.17/549.47	c |    246098 |    2152   361512  1585361 | 2147483647   246098    140 |  0.000 % |
553.68/553.99	c |    247638 |    2152   361512  1585361 | 2147483647   247638    140 |  0.000 % |
559.37/559.69	c |    249334 |    2152   361512  1585361 | 2147483647   249334    140 |  0.000 % |
563.47/563.70	c |    251197 |    2152   361512  1585361 | 2147483647   251197    140 |  0.000 % |
571.17/571.41	c |    253249 |    2152   361512  1585361 | 2147483647   253249    140 |  0.000 % |
578.66/578.96	c |    255503 |    2152   361512  1585361 | 2147483647   255503    140 |  0.000 % |
588.66/588.95	c |    257981 |    2152   361512  1585361 | 2147483647   257981    141 |  0.000 % |
589.26/589.59	c |    258082 |    2152   361512  1585361 | 2147483647   258082    141 |  0.000 % |
589.96/590.23	c |    258192 |    2152   361512  1585361 | 2147483647   258192    141 |  0.000 % |
590.46/590.76	c |    258314 |    2152   361512  1585361 | 2147483647   258314    141 |  0.000 % |
591.06/591.40	c |    258447 |    2152   361512  1585361 | 2147483647   258447    141 |  0.000 % |
591.86/592.19	c |    258593 |    2152   361512  1585361 | 2147483647   258593    141 |  0.000 % |
592.36/592.69	c |    258753 |    2152   361512  1585361 | 2147483647   258753    141 |  0.000 % |
593.56/593.89	c |    258929 |    2152   361512  1585361 | 2147483647   258929    141 |  0.000 % |
594.26/594.51	c |    259123 |    2152   361512  1585361 | 2147483647   259123    141 |  0.000 % |
594.96/595.20	c |    259336 |    2152   361512  1585361 | 2147483647   259336    141 |  0.000 % |
595.96/596.22	c |    259569 |    2152   361512  1585361 | 2147483647   259569    141 |  0.000 % |
596.86/597.18	c |    259827 |    2152   361512  1585361 | 2147483647   259827    141 |  0.000 % |
598.16/598.46	c |    260110 |    2152   361512  1585361 | 2147483647   260110    141 |  0.000 % |
599.16/599.48	c |    260420 |    2152   361512  1585361 | 2147483647   260420    141 |  0.000 % |
600.45/600.73	c |    260760 |    2152   361512  1585361 | 2147483647   260760    141 |  0.000 % |
601.65/601.95	c |    261132 |    2152   361512  1585361 | 2147483647   261132    141 |  0.000 % |
603.75/604.05	c |    261545 |    2152   361512  1585361 | 2147483647   261545    141 |  0.000 % |
606.75/607.05	c |    261995 |    2152   361512  1585361 | 2147483647   261995    141 |  0.000 % |
608.65/608.93	c |    262488 |    2152   361512  1585361 | 2147483647   262488    141 |  0.000 % |
610.64/610.98	c |    263032 |    2152   361512  1585361 | 2147483647   263032    141 |  0.000 % |
613.46/613.73	c |    263630 |    2152   361512  1585361 | 2147483647   263630    141 |  0.000 % |
616.75/617.02	c |    264287 |    2152   361512  1585361 | 2147483647   264287    141 |  0.000 % |
619.55/619.81	c |    265009 |    2152   361512  1585361 | 2147483647   265009    141 |  0.000 % |
621.95/622.28	c |    265801 |    2152   361512  1585361 | 2147483647   265801    141 |  0.000 % |
624.05/624.38	c |    266673 |    2152   361512  1585361 | 2147483647   266673    141 |  0.000 % |
626.75/627.06	c |    267634 |    2152   361512  1585361 | 2147483647   267634    141 |  0.000 % |
629.84/630.19	c |    268687 |    2152   361512  1585361 | 2147483647   268687    141 |  0.000 % |
632.64/632.98	c |    269846 |    2152   361512  1585361 | 2147483647   269846    141 |  0.000 % |
635.64/635.97	c |    271120 |    2152   361512  1585361 | 2147483647   271120    141 |  0.000 % |
639.54/639.84	c |    272522 |    2152   361512  1585361 | 2147483647   272522    141 |  0.000 % |
646.84/647.15	c |    274062 |    2152   361512  1585361 | 2147483647   274062    141 |  0.000 % |
657.13/657.43	c |    275758 |    2152   361512  1585361 | 2147483647   275758    141 |  0.000 % |
662.13/662.43	c |    277623 |    2152   361512  1585361 | 2147483647   277623    141 |  0.000 % |
669.63/669.91	c |    279672 |    2152   361512  1585361 | 2147483647   279672    141 |  0.000 % |
677.82/678.14	c |    281925 |    2152   361512  1585361 | 2147483647   281925    140 |  0.000 % |
682.02/682.36	c |    284405 |    2152   361512  1585361 | 2147483647   284405    141 |  0.000 % |
690.62/690.93	c |    287130 |    2152   361512  1585361 | 2147483647   287130    141 |  0.000 % |
690.82/691.17	c |    287230 |    2152   361512  1585361 | 2147483647   287230    141 |  0.000 % |
691.42/691.70	c |    287340 |    2152   361512  1585361 | 2147483647   287340    141 |  0.000 % |
691.82/692.20	c |    287462 |    2152   361512  1585361 | 2147483647   287462    141 |  0.000 % |
692.32/692.66	c |    287596 |    2152   361512  1585361 | 2147483647   287596    140 |  0.000 % |
693.12/693.40	c |    287747 |    2152   361512  1585361 | 2147483647   287747    141 |  0.000 % |
693.82/694.17	c |    287909 |    2152   361512  1585361 | 2147483647   287909    141 |  0.000 % |
694.71/695.06	c |    288085 |    2152   361512  1585361 | 2147483647   288085    141 |  0.000 % |
695.72/696.07	c |    288278 |    2152   361512  1585361 | 2147483647   288278    140 |  0.000 % |
696.52/696.88	c |    288491 |    2152   361512  1585361 | 2147483647   288491    140 |  0.000 % |
697.22/697.58	c |    288725 |    2152   361512  1585361 | 2147483647   288725    140 |  0.000 % |
698.72/699.00	c |    288981 |    2152   361512  1585361 | 2147483647   288981    140 |  0.000 % |
699.72/700.09	c |    289263 |    2152   361512  1585361 | 2147483647   289263    141 |  0.000 % |
700.92/701.28	c |    289573 |    2152   361512  1585361 | 2147483647   289573    141 |  0.000 % |
702.62/702.99	c |    289912 |    2152   361512  1585361 | 2147483647   289912    141 |  0.000 % |
704.11/704.44	c |    290284 |    2152   361512  1585361 | 2147483647   290284    141 |  0.000 % |
705.61/705.92	c |    290693 |    2152   361512  1585361 | 2147483647   290693    141 |  0.000 % |
708.12/708.44	c |    291142 |    2152   361512  1585361 | 2147483647   291142    141 |  0.000 % |
709.91/710.20	c |    291636 |    2152   361512  1585361 | 2147483647   291636    141 |  0.000 % |
712.61/712.97	c |    292178 |    2152   361512  1585361 | 2147483647   292178    141 |  0.000 % |
714.91/715.29	c |    292774 |    2152   361512  1585361 | 2147483647   292774    141 |  0.000 % |
718.01/718.35	c |    293429 |    2152   361512  1585361 | 2147483647   293429    141 |  0.000 % |
721.01/721.39	c |    294149 |    2152   361512  1585361 | 2147483647   294149    141 |  0.000 % |
723.31/723.64	c |    294942 |    2152   361512  1585361 | 2147483647   294942    141 |  0.000 % |
725.80/726.14	c |    295813 |    2152   361512  1585361 | 2147483647   295813    141 |  0.000 % |
727.20/727.52	c |    296775 |    2152   361512  1585361 | 2147483647   296775    141 |  0.000 % |
728.50/728.82	c |    297829 |    2152   361512  1585361 | 2147483647   297829    141 |  0.000 % |
729.91/730.27	c |    298988 |    2152   361512  1585361 | 2147483647   298988    141 |  0.014 % |
731.50/731.86	c |    300262 |    2152   361512  1585361 | 2147483647   300262    141 |  0.000 % |
733.20/733.51	c |    301664 |    2152   361512  1585361 | 2147483647   301664    141 |  0.014 % |
735.20/735.51	c |    303206 |    2152   361512  1585361 | 2147483647   303206    142 |  0.000 % |
737.50/737.86	c |    304901 |    2152   361512  1585361 | 2147483647   304901    142 |  0.000 % |
740.80/741.14	c |    306765 |    2152   361512  1585361 | 2147483647   306765    142 |  0.000 % |
744.59/744.95	c |    308814 |    2152   361512  1585361 | 2147483647   308814    142 |  0.000 % |
750.70/751.03	c |    311069 |    2152   361512  1585361 | 2147483647   311069    142 |  0.000 % |
762.59/762.91	c |    313549 |    2152   361512  1585361 | 2147483647   313549    142 |  0.000 % |
774.89/775.23	c |    316275 |    2152   361512  1585361 | 2147483647   316275    142 |  0.000 % |
786.99/787.32	c |    319272 |    2152   361512  1585361 | 2147483647   319272    141 |  0.000 % |
787.29/787.61	c |    319373 |    2152   361512  1585361 | 2147483647   319373    141 |  0.000 % |
787.68/788.08	c |    319483 |    2152   361512  1585361 | 2147483647   319483    141 |  0.000 % |
788.29/788.65	c |    319604 |    2152   361512  1585361 | 2147483647   319604    141 |  0.000 % |
788.78/789.19	c |    319738 |    2152   361512  1585361 | 2147483647   319738    141 |  0.000 % |
789.28/789.64	c |    319884 |    2152   361512  1585361 | 2147483647   319884    141 |  0.000 % |
789.98/790.35	c |    320045 |    2152   361512  1585361 | 2147483647   320045    141 |  0.000 % |
790.59/790.95	c |    320222 |    2152   361512  1585361 | 2147483647   320222    141 |  0.000 % |
791.08/791.40	c |    320415 |    2152   361512  1585361 | 2147483647   320415    141 |  0.000 % |
791.98/792.30	c |    320628 |    2152   361512  1585361 | 2147483647   320628    141 |  0.000 % |
792.68/793.04	c |    320863 |    2152   361512  1585361 | 2147483647   320863    141 |  0.000 % |
793.48/793.88	c |    321120 |    2152   361512  1585361 | 2147483647   321120    141 |  0.000 % |
794.38/794.72	c |    321401 |    2152   361512  1585361 | 2147483647   321401    141 |  0.000 % |
795.28/795.69	c |    321710 |    2152   361512  1585361 | 2147483647   321710    141 |  0.000 % |
796.48/796.85	c |    322049 |    2152   361512  1585361 | 2147483647   322049    141 |  0.000 % |
797.28/797.64	c |    322423 |    2152   361512  1585361 | 2147483647   322423    141 |  0.000 % |
798.18/798.56	c |    322833 |    2152   361512  1585361 | 2147483647   322833    141 |  0.000 % |
799.58/799.94	c |    323283 |    2152   361512  1585361 | 2147483647   323283    141 |  0.000 % |
801.18/801.53	c |    323777 |    2152   361512  1585361 | 2147483647   323777    141 |  0.000 % |
802.38/802.78	c |    324321 |    2152   361512  1585361 | 2147483647   324321    141 |  0.000 % |
804.38/804.74	c |    324917 |    2152   361512  1585361 | 2147483647   324917    141 |  0.000 % |
806.38/806.78	c |    325573 |    2152   361512  1585361 | 2147483647   325573    141 |  0.000 % |
808.48/808.82	c |    326293 |    2152   361512  1585361 | 2147483647   326293    141 |  0.000 % |
810.68/811.01	c |    327085 |    2152   361512  1585361 | 2147483647   327085    141 |  0.000 % |
812.97/813.38	c |    327956 |    2152   361512  1585361 | 2147483647   327956    141 |  0.000 % |
814.47/814.85	c |    328914 |    2152   361512  1585361 | 2147483647   328914    141 |  0.000 % |
816.57/816.91	c |    329967 |    2152   361512  1585361 | 2147483647   329967    141 |  0.000 % |
819.07/819.47	c |    331126 |    2152   361512  1585361 | 2147483647   331126    141 |  0.000 % |
821.88/822.22	c |    332401 |    2152   361512  1585361 | 2147483647   332401    141 |  0.000 % |
825.68/826.02	c |    333803 |    2152   361512  1585361 | 2147483647   333803    141 |  0.000 % |
828.77/829.10	c |    335347 |    2152   361512  1585361 | 2147483647   335347    141 |  0.000 % |
832.86/833.25	c |    337042 |    2152   361512  1585361 | 2147483647   337042    141 |  0.000 % |
838.37/838.73	c |    338905 |    2152   361512  1585361 | 2147483647   338905    141 |  0.000 % |
843.46/843.86	c |    340956 |    2152   361512  1585361 | 2147483647   340956    141 |  0.000 % |
851.16/851.57	c |    343210 |    2152   361512  1585361 | 2147483647   343210    141 |  0.000 % |
856.56/856.94	c |    345690 |    2152   361512  1585361 | 2147483647   345690    141 |  0.000 % |
864.16/864.54	c |    348416 |    2152   361512  1585361 | 2147483647   348416    141 |  0.000 % |
873.75/874.16	c |    351413 |    2152   361512  1585361 | 2147483647   351413    141 |  0.000 % |
879.56/879.94	c |    354709 |    2152   361512  1585361 | 2147483647   354709    140 |  0.000 % |
879.96/880.32	c |    354809 |    2152   361512  1585361 | 2147483647   354809    140 |  0.000 % |
880.46/880.82	c |    354919 |    2152   361512  1585361 | 2147483647   354919    140 |  0.000 % |
880.86/881.24	c |    355041 |    2152   361512  1585361 | 2147483647   355041    140 |  0.000 % |
881.16/881.56	c |    355174 |    2152   361512  1585361 | 2147483647   355174    140 |  0.000 % |
881.66/882.07	c |    355322 |    2152   361512  1585361 | 2147483647   355322    140 |  0.000 % |
882.16/882.54	c |    355482 |    2152   361512  1585361 | 2147483647   355482    140 |  0.000 % |
882.86/883.25	c |    355658 |    2152   361512  1585361 | 2147483647   355658    140 |  0.000 % |
883.75/884.11	c |    355853 |    2152   361512  1585361 | 2147483647   355853    140 |  0.000 % |
884.35/884.75	c |    356065 |    2152   361512  1585361 | 2147483647   356065    140 |  0.000 % |
884.95/885.38	c |    356299 |    2152   361512  1585361 | 2147483647   356299    140 |  0.000 % |
885.75/886.18	c |    356556 |    2152   361512  1585361 | 2147483647   356556    140 |  0.000 % |
886.75/887.19	c |    356838 |    2152   361512  1585361 | 2147483647   356838    140 |  0.000 % |
887.65/888.07	c |    357149 |    2152   361512  1585361 | 2147483647   357149    140 |  0.000 % |
888.75/889.15	c |    357489 |    2152   361512  1585361 | 2147483647   357489    140 |  0.000 % |
889.75/890.13	c |    357861 |    2152   361512  1585361 | 2147483647   357861    140 |  0.000 % |
890.85/891.29	c |    358270 |    2152   361512  1585361 | 2147483647   358270    140 |  0.000 % |
892.25/892.61	c |    358719 |    2152   361512  1585361 | 2147483647   358719    140 |  0.000 % |
893.54/893.91	c |    359212 |    2152   361512  1585361 | 2147483647   359212    140 |  0.000 % |
895.15/895.55	c |    359756 |    2152   361512  1585361 | 2147483647   359756    140 |  0.000 % |
897.35/897.72	c |    360352 |    2152   361512  1585361 | 2147483647   360352    140 |  0.000 % |
898.45/898.88	c |    361009 |    2152   361512  1585361 | 2147483647   361009    140 |  0.000 % |
901.84/902.24	c |    361729 |    2152   361512  1585361 | 2147483647   361729    140 |  0.000 % |
903.75/904.15	c |    362521 |    2152   361512  1585361 | 2147483647   362521    140 |  0.000 % |
906.34/906.74	c |    363394 |    2152   361512  1585361 | 2147483647   363394    140 |  0.000 % |
909.74/910.10	c |    364354 |    2152   361512  1585361 | 2147483647   364354    140 |  0.000 % |
912.14/912.58	c |    365407 |    2152   361512  1585361 | 2147483647   365407    140 |  0.000 % |
915.74/916.13	c |    366565 |    2152   361512  1585361 | 2147483647   366565    140 |  0.000 % |
919.44/919.85	c |    367839 |    2152   361512  1585361 | 2147483647   367839    140 |  0.000 % |
923.14/923.56	c |    369239 |    2152   361512  1585361 | 2147483647   369239    140 |  0.000 % |
926.54/926.92	c |    370780 |    2152   361512  1585361 | 2147483647   370780    140 |  0.000 % |
930.83/931.25	c |    372479 |    2152   361512  1585361 | 2147483647   372479    140 |  0.000 % |
935.93/936.36	c |    374342 |    2152   361512  1585361 | 2147483647   374342    140 |  0.000 % |
940.73/941.17	c |    376391 |    2152   361512  1585361 | 2147483647   376391    140 |  0.000 % |
946.33/946.77	c |    378646 |    2152   361512  1585361 | 2147483647   378646    140 |  0.000 % |
952.82/953.22	c |    381128 |    2152   361512  1585361 | 2147483647   381128    140 |  0.000 % |
961.12/961.50	c |    383857 |    2152   361512  1585361 | 2147483647   383857    140 |  0.000 % |
967.22/967.65	c |    386855 |    2152   361512  1585361 | 2147483647   386855    140 |  0.000 % |
974.52/974.95	c |    390152 |    2152   361512  1585361 | 2147483647   390152    140 |  0.000 % |
981.83/982.23	c |    393777 |    2152   361512  1585361 | 2147483647   393777    140 |  0.000 % |
982.02/982.47	c |    393880 |    2152   361512  1585361 | 2147483647   393880    140 |  0.000 % |
982.32/982.70	c |    393991 |    2152   361512  1585361 | 2147483647   393991    140 |  0.000 % |
982.62/983.01	c |    394114 |    2152   361512  1585361 | 2147483647   394114    140 |  0.000 % |
982.92/983.36	c |    394248 |    2152   361512  1585361 | 2147483647   394248    140 |  0.000 % |
983.32/983.74	c |    394394 |    2152   361512  1585361 | 2147483647   394394    140 |  0.000 % |
983.72/984.11	c |    394555 |    2152   361512  1585361 | 2147483647   394555    140 |  0.000 % |
984.32/984.74	c |    394731 |    2152   361512  1585361 | 2147483647   394731    140 |  0.000 % |
984.92/985.33	c |    394924 |    2152   361512  1585361 | 2147483647   394924    140 |  0.000 % |
985.92/986.33	c |    395136 |    2152   361512  1585361 | 2147483647   395136    140 |  0.000 % |
986.72/987.17	c |    395369 |    2152   361512  1585361 | 2147483647   395369    140 |  0.000 % |
987.92/988.34	c |    395625 |    2152   361512  1585361 | 2147483647   395625    140 |  0.000 % |
988.62/989.08	c |    395908 |    2152   361512  1585361 | 2147483647   395908    140 |  0.000 % |
989.81/990.25	c |    396217 |    2152   361512  1585361 | 2147483647   396217    140 |  0.000 % |
990.81/991.27	c |    396558 |    2152   361512  1585361 | 2147483647   396558    140 |  0.000 % |
992.02/992.41	c |    396930 |    2152   361512  1585361 | 2147483647   396930    140 |  0.000 % |
993.51/993.96	c |    397340 |    2152   361512  1585361 | 2147483647   397340    140 |  0.000 % |
994.91/995.38	c |    397789 |    2152   361512  1585361 | 2147483647   397789    140 |  0.000 % |
997.11/997.58	c |    398282 |    2152   361512  1585361 | 2147483647   398282    140 |  0.000 % |
998.81/999.25	c |    398825 |    2152   361512  1585361 | 2147483647   398825    140 |  0.000 % |
1001.11/1001.52	c |    399422 |    2152   361512  1585361 | 2147483647   399422    140 |  0.000 % |
1003.01/1003.43	c |    400078 |    2152   361512  1585361 | 2147483647   400078    140 |  0.000 % |
1004.71/1005.10	c |    400798 |    2152   361512  1585361 | 2147483647   400798    140 |  0.000 % |
1007.21/1007.66	c |    401590 |    2152   361512  1585361 | 2147483647   401590    140 |  0.000 % |
1009.01/1009.49	c |    402462 |    2152   361512  1585361 | 2147483647   402462    140 |  0.000 % |
1010.71/1011.15	c |    403420 |    2152   361512  1585361 | 2147483647   403420    140 |  0.000 % |
1013.90/1014.37	c |    404473 |    2152   361512  1585361 | 2147483647   404473    140 |  0.000 % |
1017.60/1018.04	c |    405632 |    2152   361512  1585361 | 2147483647   405632    140 |  0.000 % |
1019.99/1020.42	c |    406906 |    2152   361512  1585361 | 2147483647   406906    140 |  0.000 % |
1023.10/1023.50	c |    408307 |    2152   361512  1585361 | 2147483647   408307    140 |  0.000 % |
1027.40/1027.86	c |    409849 |    2152   361512  1585361 | 2147483647   409849    140 |  0.000 % |
1030.79/1031.21	c |    411544 |    2152   361512  1585361 | 2147483647   411544    140 |  0.000 % |
1037.39/1037.89	c |    413407 |    2152   361512  1585361 | 2147483647   413407    140 |  0.000 % |
1043.30/1043.77	c |    415456 |    2152   361512  1585361 | 2147483647   415456    140 |  0.000 % |
1047.80/1048.28	c |    417709 |    2152   361512  1585361 | 2147483647   417709    140 |  0.000 % |
1056.49/1056.98	c |    420187 |    2152   361512  1585361 | 2147483647   420187    140 |  0.000 % |
1067.78/1068.23	c |    422915 |    2152   361512  1585361 | 2147483647   422915    140 |  0.000 % |
1074.38/1074.84	c |    425912 |    2152   361512  1585361 | 2147483647   425912    140 |  0.000 % |
1083.68/1084.14	c |    429209 |    2152   361512  1585361 | 2147483647   429209    140 |  0.000 % |
1094.67/1095.13	c |    432836 |    2152   361512  1585361 | 2147483647   432836    140 |  0.000 % |
1107.87/1108.35	c |    436823 |    2152   361512  1585361 | 2147483647   436823    140 |  0.000 % |
1108.17/1108.69	c |    436923 |    2152   361512  1585361 | 2147483647   436923    140 |  0.000 % |
1108.57/1109.02	c |    437034 |    2152   361512  1585361 | 2147483647   437034    140 |  0.000 % |
1109.07/1109.59	c |    437156 |    2152   361512  1585361 | 2147483647   437156    140 |  0.000 % |
1109.67/1110.19	c |    437290 |    2152   361512  1585361 | 2147483647   437290    140 |  0.000 % |
1110.67/1111.13	c |    437436 |    2152   361512  1585361 | 2147483647   437436    140 |  0.000 % |
1111.37/1111.84	c |    437597 |    2152   361512  1585361 | 2147483647   437597    140 |  0.000 % |
1112.17/1112.65	c |    437777 |    2152   361512  1585361 | 2147483647   437777    140 |  0.000 % |
1112.77/1113.24	c |    437971 |    2152   361512  1585361 | 2147483647   437971    140 |  0.000 % |
1113.57/1114.04	c |    438184 |    2152   361512  1585361 | 2147483647   438184    140 |  0.000 % |
1114.56/1115.09	c |    438417 |    2152   361512  1585361 | 2147483647   438417    140 |  0.000 % |
1115.76/1116.21	c |    438673 |    2152   361512  1585361 | 2147483647   438673    140 |  0.000 % |
1116.36/1116.85	c |    438954 |    2152   361512  1585361 | 2147483647   438954    140 |  0.000 % |
1117.46/1117.96	c |    439264 |    2152   361512  1585361 | 2147483647   439264    140 |  0.000 % |
1118.46/1118.94	c |    439604 |    2152   361512  1585361 | 2147483647   439604    140 |  0.000 % |
1119.47/1119.98	c |    439976 |    2152   361512  1585361 | 2147483647   439976    140 |  0.000 % |
1120.47/1120.92	c |    440385 |    2152   361512  1585361 | 2147483647   440385    140 |  0.000 % |
1122.17/1122.65	c |    440835 |    2152   361512  1585361 | 2147483647   440835    140 |  0.001 % |
1123.67/1124.18	c |    441330 |    2152   361512  1585361 | 2147483647   441330    140 |  0.000 % |
1125.07/1125.57	c |    441872 |    2152   361512  1585361 | 2147483647   441872    140 |  0.000 % |
1126.97/1127.41	c |    442468 |    2152   361512  1585361 | 2147483647   442468    140 |  0.000 % |
1128.07/1128.58	c |    443124 |    2152   361512  1585361 | 2147483647   443124    139 |  0.000 % |
1130.16/1130.70	c |    443845 |    2152   361512  1585361 | 2147483647   443845    139 |  0.000 % |
1132.27/1132.75	c |    444638 |    2152   361512  1585361 | 2147483647   444638    139 |  0.000 % |
1133.86/1134.38	c |    445509 |    2152   361512  1585361 | 2147483647   445509    139 |  0.000 % |
1137.46/1137.94	c |    446469 |    2152   361512  1585361 | 2147483647   446469    139 |  0.000 % |
1139.66/1140.15	c |    447526 |    2152   361512  1585361 | 2147483647   447526    139 |  0.000 % |
1142.46/1142.94	c |    448684 |    2152   361512  1585361 | 2147483647   448684    139 |  0.000 % |
1145.25/1145.72	c |    449958 |    2152   361512  1585361 | 2147483647   449958    139 |  0.000 % |
1149.65/1150.15	c |    451358 |    2152   361512  1585361 | 2147483647   451358    139 |  0.000 % |
1154.46/1154.94	c |    452899 |    2152   361512  1585361 | 2147483647   452899    139 |  0.000 % |
1158.75/1159.24	c |    454594 |    2152   361512  1585361 | 2147483647   454594    139 |  0.000 % |
1164.05/1164.50	c |    456457 |    2152   361512  1585361 | 2147483647   456457    139 |  0.000 % |
1168.25/1168.73	c |    458506 |    2152   361512  1585361 | 2147483647   458506    139 |  0.000 % |
1175.55/1176.01	c |    460761 |    2152   361512  1585361 | 2147483647   460761    139 |  0.000 % |
1184.35/1184.89	c |    463240 |    2152   361512  1585361 | 2147483647   463240    140 |  0.000 % |
1192.45/1192.97	c |    465966 |    2152   361512  1585361 | 2147483647   465966    139 |  0.000 % |
1201.24/1201.77	c |    468963 |    2152   361512  1585361 | 2147483647   468963    140 |  0.000 % |
1211.64/1212.16	c |    472263 |    2152   361512  1585361 | 2147483647   472263    140 |  0.000 % |
1219.13/1219.69	c |    475888 |    2152   361512  1585361 | 2147483647   475888    140 |  0.000 % |
1227.73/1228.21	c |    479875 |    2152   361512  1585361 | 2147483647   479875    140 |  0.000 % |
1237.13/1237.69	c |    484261 |    2152   361512  1585361 | 2147483647   484261    140 |  0.000 % |
1237.43/1237.98	c |    484361 |    2152   361512  1585361 | 2147483647   484361    140 |  0.001 % |
1237.73/1238.29	c |    484471 |    2152   361512  1585361 | 2147483647   484471    140 |  0.000 % |
1238.03/1238.57	c |    484593 |    2152   361512  1585361 | 2147483647   484593    140 |  0.001 % |
1238.83/1239.35	c |    484726 |    2152   361512  1585361 | 2147483647   484726    140 |  0.000 % |
1239.33/1239.86	c |    484873 |    2152   361512  1585361 | 2147483647   484873    140 |  0.000 % |
1240.23/1240.72	c |    485034 |    2152   361512  1585361 | 2147483647   485034    140 |  0.000 % |
1241.13/1241.62	c |    485211 |    2152   361512  1585361 | 2147483647   485211    140 |  0.000 % |
1241.93/1242.41	c |    485405 |    2152   361512  1585361 | 2147483647   485405    140 |  0.000 % |
1243.03/1243.59	c |    485618 |    2152   361512  1585361 | 2147483647   485618    140 |  0.000 % |
1244.73/1245.23	c |    485853 |    2152   361512  1585361 | 2147483647   485853    140 |  0.000 % |
1246.03/1246.54	c |    486109 |    2152   361512  1585361 | 2147483647   486109    140 |  0.000 % |
1246.93/1247.46	c |    486391 |    2152   361512  1585361 | 2147483647   486391    140 |  0.000 % |
1248.63/1249.11	c |    486701 |    2152   361512  1585361 | 2147483647   486701    140 |  0.000 % |
1249.73/1250.22	c |    487040 |    2152   361512  1585361 | 2147483647   487040    140 |  0.000 % |
1251.42/1251.90	c |    487414 |    2152   361512  1585361 | 2147483647   487414    140 |  0.000 % |
1253.02/1253.51	c |    487823 |    2152   361512  1585361 | 2147483647   487823    140 |  0.000 % |
1254.92/1255.48	c |    488272 |    2152   361512  1585361 | 2147483647   488272    140 |  0.000 % |
1256.62/1257.20	c |    488767 |    2152   361512  1585361 | 2147483647   488767    140 |  0.000 % |
1257.72/1258.24	c |    489309 |    2152   361512  1585361 | 2147483647   489309    140 |  0.000 % |
1259.43/1259.94	c |    489905 |    2152   361512  1585361 | 2147483647   489905    140 |  0.000 % |
1261.82/1262.30	c |    490560 |    2152   361512  1585361 | 2147483647   490560    140 |  0.000 % |
1265.92/1266.48	c |    491281 |    2152   361512  1585361 | 2147483647   491281    140 |  0.000 % |
1268.92/1269.42	c |    492073 |    2152   361512  1585361 | 2147483647   492073    140 |  0.000 % |
1273.32/1273.84	c |    492944 |    2152   361512  1585361 | 2147483647   492944    140 |  0.000 % |
1278.01/1278.51	c |    493902 |    2152   361512  1585361 | 2147483647   493902    140 |  0.000 % |
1282.31/1282.83	c |    494955 |    2152   361512  1585361 | 2147483647   494955    140 |  0.000 % |
1285.51/1286.02	c |    496113 |    2152   361512  1585361 | 2147483647   496113    140 |  0.000 % |
1290.01/1290.59	c |    497386 |    2152   361512  1585361 | 2147483647   497386    140 |  0.000 % |
1294.81/1295.34	c |    498787 |    2152   361512  1585361 | 2147483647   498787    140 |  0.000 % |
1299.31/1299.88	c |    500328 |    2152   361512  1585361 | 2147483647   500328    140 |  0.000 % |
1304.11/1304.62	c |    502022 |    2152   361512  1585361 | 2147483647   502022    140 |  0.000 % |
1312.70/1313.25	c |    503885 |    2152   361512  1585361 | 2147483647   503885    140 |  0.000 % |
1320.00/1320.56	c |    505936 |    2152   361512  1585361 | 2147483647   505936    140 |  0.000 % |
1328.00/1328.50	c |    508189 |    2152   361512  1585361 | 2147483647   508189    139 |  0.000 % |
1336.80/1337.38	c |    510668 |    2152   361512  1585361 | 2147483647   510668    140 |  0.000 % |
1343.90/1344.41	c |    513394 |    2152   361512  1585361 | 2147483647   513394    140 |  0.000 % |
1350.79/1351.32	c |    516391 |    2152   361512  1585361 | 2147483647   516391    140 |  0.000 % |
1358.78/1359.30	c |    519688 |    2152   361512  1585361 | 2147483647   519688    140 |  0.000 % |
1368.29/1368.84	c |    523313 |    2152   361512  1585361 | 2147483647   523313    140 |  0.000 % |
1379.19/1379.79	c |    527300 |    2152   361512  1585361 | 2147483647   527300    140 |  0.000 % |
1389.88/1390.42	c |    531686 |    2152   361512  1585361 | 2147483647   531686    140 |  0.000 % |
1402.98/1403.51	c |    536510 |    2152   361512  1585361 | 2147483647   536510    139 |  0.000 % |
1403.77/1404.31	c |    536614 |    2152   361512  1585361 | 2147483647   536614    139 |  0.000 % |
1404.27/1404.84	c |    536724 |    2152   361512  1585361 | 2147483647   536724    139 |  0.000 % |
1404.87/1405.47	c |    536846 |    2152   361512  1585361 | 2147483647   536846    139 |  0.000 % |
1405.27/1405.87	c |    536980 |    2152   361512  1585361 | 2147483647   536980    139 |  0.000 % |
1406.07/1406.62	c |    537128 |    2152   361512  1585361 | 2147483647   537128    139 |  0.000 % |
1406.97/1407.51	c |    537288 |    2152   361512  1585361 | 2147483647   537288    139 |  0.000 % |
1407.87/1408.49	c |    537464 |    2152   361512  1585361 | 2147483647   537464    139 |  0.000 % |
1408.76/1409.37	c |    537657 |    2152   361512  1585361 | 2147483647   537657    139 |  0.000 % |
1410.36/1410.99	c |    537869 |    2152   361512  1585361 | 2147483647   537869    139 |  0.000 % |
1411.46/1412.02	c |    538102 |    2152   361512  1585361 | 2147483647   538102    139 |  0.000 % |
1412.46/1413.07	c |    538358 |    2152   361512  1585361 | 2147483647   538358    139 |  0.000 % |
1413.96/1414.53	c |    538639 |    2152   361512  1585361 | 2147483647   538639    139 |  0.000 % |
1415.16/1415.71	c |    538950 |    2152   361512  1585361 | 2147483647   538950    139 |  0.000 % |
1416.17/1416.80	c |    539290 |    2152   361512  1585361 | 2147483647   539290    139 |  0.000 % |
1417.66/1418.24	c |    539663 |    2152   361512  1585361 | 2147483647   539663    139 |  0.000 % |
1419.26/1419.89	c |    540072 |    2152   361512  1585361 | 2147483647   540072    139 |  0.000 % |
1421.06/1421.60	c |    540522 |    2152   361512  1585361 | 2147483647   540522    139 |  0.000 % |
1423.56/1424.17	c |    541016 |    2152   361512  1585361 | 2147483647   541016    139 |  0.000 % |
1425.76/1426.31	c |    541558 |    2152   361512  1585361 | 2147483647   541558    139 |  0.000 % |
1427.66/1428.23	c |    542154 |    2152   361512  1585361 | 2147483647   542154    139 |  0.000 % |
1430.76/1431.39	c |    542814 |    2152   361512  1585361 | 2147483647   542814    139 |  0.000 % |
1434.36/1434.95	c |    543534 |    2152   361512  1585361 | 2147483647   543534    139 |  0.000 % |
1438.05/1438.60	c |    544326 |    2152   361512  1585361 | 2147483647   544326    139 |  0.000 % |
1441.75/1442.31	c |    545197 |    2152   361512  1585361 | 2147483647   545197    139 |  0.000 % |
1444.05/1444.62	c |    546156 |    2152   361512  1585361 | 2147483647   546156    139 |  0.000 % |
1448.76/1449.32	c |    547209 |    2152   361512  1585361 | 2147483647   547209    139 |  0.000 % |
1453.35/1453.95	c |    548367 |    2152   361512  1585361 | 2147483647   548367    139 |  0.000 % |
1458.45/1459.03	c |    549641 |    2152   361512  1585361 | 2147483647   549641    139 |  0.000 % |
1462.35/1462.93	c |    551048 |    2152   361512  1585361 | 2147483647   551048    139 |  0.000 % |
1467.14/1467.72	c |    552590 |    2152   361512  1585361 | 2147483647   552590    139 |  0.000 % |
1472.44/1473.01	c |    554286 |    2152   361512  1585361 | 2147483647   554286    139 |  0.000 % |
1479.74/1480.32	c |    556156 |    2152   361512  1585361 | 2147483647   556156    139 |  0.000 % |
1484.73/1485.35	c |    558205 |    2152   361512  1585361 | 2147483647   558205    139 |  0.000 % |
1490.44/1491.06	c |    560460 |    2152   361512  1585361 | 2147483647   560460    139 |  0.000 % |
1497.93/1498.53	c |    562939 |    2152   361512  1585361 | 2147483647   562939    139 |  0.000 % |
1507.14/1507.74	c |    565664 |    2152   361512  1585361 | 2147483647   565664    139 |  0.000 % |
1515.53/1516.18	c |    568661 |    2152   361512  1585361 | 2147483647   568661    139 |  0.000 % |
1522.73/1523.33	c |    571957 |    2152   361512  1585361 | 2147483647   571957    139 |  0.000 % |
1537.03/1537.62	c |    575583 |    2152   361512  1585361 | 2147483647   575583    139 |  0.000 % |
1547.12/1547.74	c |    579572 |    2152   361512  1585361 | 2147483647   579572    139 |  0.000 % |
1559.92/1560.59	c |    583959 |    2152   361512  1585361 | 2147483647   583959    139 |  0.000 % |
1574.01/1574.66	c |    588782 |    2152   361512  1585361 | 2147483647   588782    139 |  0.000 % |
1585.21/1585.82	c |    594088 |    2152   361512  1585361 | 2147483647   594088    140 |  0.000 % |
1585.90/1586.54	c |    594188 |    2152   361512  1585361 | 2147483647   594188    140 |  0.000 % |
1586.71/1587.30	c |    594301 |    2152   361512  1585361 | 2147483647   594301    140 |  0.000 % |
1587.40/1588.01	c |    594422 |    2152   361512  1585361 | 2147483647   594422    140 |  0.000 % |
1588.20/1588.82	c |    594556 |    2152   361512  1585361 | 2147483647   594556    140 |  0.000 % |
1589.20/1589.80	c |    594706 |    2152   361512  1585361 | 2147483647   594706    140 |  0.000 % |
1589.91/1590.50	c |    594866 |    2152   361512  1585361 | 2147483647   594866    140 |  0.000 % |
1590.80/1591.48	c |    595042 |    2152   361512  1585361 | 2147483647   595042    140 |  0.000 % |
1591.80/1592.49	c |    595237 |    2152   361512  1585361 | 2147483647   595237    140 |  0.000 % |
1592.80/1593.44	c |    595450 |    2152   361512  1585361 | 2147483647   595450    140 |  0.000 % |
1594.20/1594.90	c |    595683 |    2152   361512  1585361 | 2147483647   595683    140 |  0.000 % |
1595.50/1596.16	c |    595940 |    2152   361512  1585361 | 2147483647   595940    140 |  0.000 % |
1597.50/1598.11	c |    596221 |    2152   361512  1585361 | 2147483647   596221    140 |  0.000 % |
1598.80/1599.48	c |    596531 |    2152   361512  1585361 | 2147483647   596531    140 |  0.000 % |
1600.69/1601.35	c |    596871 |    2152   361512  1585361 | 2147483647   596871    140 |  0.000 % |
1603.10/1603.79	c |    597244 |    2152   361512  1585361 | 2147483647   597244    140 |  0.000 % |
1605.89/1606.53	c |    597655 |    2152   361512  1585361 | 2147483647   597655    140 |  0.000 % |
1608.19/1608.81	c |    598105 |    2152   361512  1585361 | 2147483647   598105    140 |  0.000 % |
1610.50/1611.10	c |    598599 |    2152   361512  1585361 | 2147483647   598599    140 |  0.000 % |
1613.50/1614.16	c |    599144 |    2152   361512  1585361 | 2147483647   599144    140 |  0.000 % |
1615.49/1616.10	c |    599740 |    2152   361512  1585361 | 2147483647   599740    140 |  0.000 % |
1618.89/1619.55	c |    600396 |    2152   361512  1585361 | 2147483647   600396    140 |  0.000 % |
1621.59/1622.26	c |    601116 |    2152   361512  1585361 | 2147483647   601116    140 |  0.000 % |
1624.39/1625.04	c |    601908 |    2152   361512  1585361 | 2147483647   601908    140 |  0.000 % |
1627.79/1628.48	c |    602779 |    2152   361512  1585361 | 2147483647   602779    140 |  0.000 % |
1631.09/1631.74	c |    603738 |    2152   361512  1585361 | 2147483647   603738    140 |  0.000 % |
1633.79/1634.50	c |    604794 |    2152   361512  1585361 | 2147483647   604794    140 |  0.000 % |
1636.59/1637.29	c |    605952 |    2152   361512  1585361 | 2147483647   605952    140 |  0.000 % |
1641.89/1642.51	c |    607225 |    2152   361512  1585361 | 2147483647   607225    140 |  0.000 % |
1645.08/1645.75	c |    608625 |    2152   361512  1585361 | 2147483647   608625    140 |  0.000 % |
1648.58/1649.21	c |    610166 |    2152   361512  1585361 | 2147483647   610166    140 |  0.000 % |
1651.98/1652.66	c |    611860 |    2152   361512  1585361 | 2147483647   611860    140 |  0.000 % |
1656.07/1656.78	c |    613723 |    2152   361512  1585361 | 2147483647   613723    140 |  0.000 % |
1660.78/1661.48	c |    615774 |    2152   361512  1585361 | 2147483647   615774    140 |  0.000 % |
1665.27/1665.94	c |    618027 |    2152   361512  1585361 | 2147483647   618027    140 |  0.000 % |
1677.98/1678.65	c |    620507 |    2152   361512  1585361 | 2147483647   620507    140 |  0.000 % |
1687.06/1687.78	c |    623234 |    2152   361512  1585361 | 2147483647   623234    140 |  0.000 % |
1696.87/1697.54	c |    626232 |    2152   361512  1585361 | 2147483647   626232    140 |  0.000 % |
1708.36/1709.07	c |    629528 |    2152   361512  1585361 | 2147483647   629528    140 |  0.000 % |
1719.66/1720.31	c |    633155 |    2152   361512  1585361 | 2147483647   633155    140 |  0.000 % |
1730.25/1730.95	c |    637144 |    2152   361512  1585361 | 2147483647   637144    140 |  0.000 % |
1742.95/1743.65	c |    641529 |    2152   361512  1585361 | 2147483647   641529    140 |  0.000 % |
1756.55/1757.20	c |    646352 |    2152   361512  1585361 | 2147483647   646352    140 |  0.000 % |
1779.44/1780.15	c |    651657 |    2152   361512  1585361 | 2147483647   651657    140 |  0.000 % |
1799.13/1799.80	c |    657492 |    2152   361512  1585361 | 2147483647   657492    140 |  0.000 % |
1799.53/1800.26	c |    657593 |    2152   361512  1585361 | 2147483647   657593    140 |  0.000 % |
1800.03/1800.78	c |    657703 |    2152   361512  1585361 | 2147483647   657703    140 |  0.000 % |
1800.43/1801.19	c |    657825 |    2152   361512  1585361 | 2147483647   657825    140 |  0.000 % |
1801.13/1801.83	c |    657958 |    2152   361512  1585361 | 2147483647   657958    140 |  0.000 % |
1801.73/1802.42	c |    658104 |    2152   361512  1585361 | 2147483647   658104    140 |  0.000 % |
1802.43/1803.11	c |    658264 |    2152   361512  1585361 | 2147483647   658264    140 |  0.000 % |
1803.23/1803.95	c |    658440 |    2152   361512  1585361 | 2147483647   658440    140 |  0.000 % |
1803.83/1804.52	c |    658634 |    2152   361512  1585361 | 2147483647   658634    140 |  0.000 % |
1804.63/1805.39	c |    658848 |    2152   361512  1585361 | 2147483647   658848    141 |  0.000 % |
1805.73/1806.42	c |    659082 |    2152   361512  1585361 | 2147483647   659082    141 |  0.000 % |
1806.73/1807.40	c |    659339 |    2152   361512  1585361 | 2147483647   659339    141 |  0.000 % |
1807.73/1808.48	c |    659621 |    2152   361512  1585361 | 2147483647   659621    141 |  0.000 % |
1808.84/1809.58	c |    659930 |    2152   361512  1585361 | 2147483647   659930    141 |  0.000 % |
1810.33/1811.00	c |    660269 |    2152   361512  1585361 | 2147483647   660269    141 |  0.000 % |
1811.33/1812.04	c |    660642 |    2152   361512  1585361 | 2147483647   660642    141 |  0.000 % |
1812.43/1813.16	c |    661052 |    2152   361512  1585361 | 2147483647   661052    141 |  0.000 % |
1814.43/1815.11	c |    661501 |    2152   361512  1585361 | 2147483647   661501    141 |  0.000 % |
1816.23/1816.94	c |    661995 |    2152   361512  1585361 | 2147483647   661995    141 |  0.000 % |
1818.22/1818.95	c |    662537 |    2152   361512  1585361 | 2147483647   662537    141 |  0.000 % |
1820.42/1821.12	c |    663136 |    2152   361512  1585361 | 2147483647   663136    141 |  0.000 % |
1822.82/1823.53	c |    663792 |    2152   361512  1585361 | 2147483647   663792    141 |  0.000 % |
1825.72/1826.43	c |    664512 |    2152   361512  1585361 | 2147483647   664512    141 |  0.000 % |
1828.42/1829.15	c |    665305 |    2152   361512  1585361 | 2147483647   665305    141 |  0.000 % |
1831.12/1831.83	c |    666177 |    2152   361512  1585361 | 2147483647   666177    141 |  0.000 % |
1834.71/1835.45	c |    667135 |    2152   361512  1585361 | 2147483647   667135    141 |  0.000 % |
1837.72/1838.49	c |    668188 |    2152   361512  1585361 | 2147483647   668188    141 |  0.000 % |
1842.72/1843.42	c |    669346 |    2152   361512  1585361 | 2147483647   669346    141 |  0.000 % |
1848.32/1849.07	c |    670620 |    2152   361512  1585361 | 2147483647   670620    141 |  0.000 % |
1853.11/1853.83	c |    672021 |    2152   361512  1585361 | 2147483647   672021    141 |  0.000 % |
1859.32/1860.08	c |    673565 |    2152   361512  1585361 | 2147483647   673565    141 |  0.000 % |
1867.01/1867.76	c |    675259 |    2152   361512  1585361 | 2147483647   675259    141 |  0.000 % |
1874.10/1874.83	c |    677123 |    2152   361512  1585361 | 2147483647   677123    141 |  0.000 % |
1882.60/1883.39	c |    679172 |    2152   361512  1585361 | 2147483647   679172    141 |  0.000 % |
1891.00/1891.73	c |    681425 |    2152   361512  1585361 | 2147483647   681425    141 |  0.000 % |
1902.09/1902.81	c |    683906 |    2152   361512  1585361 | 2147483647   683906    141 |  0.000 % |
1911.50/1912.22	c |    686633 |    2152   361512  1585361 | 2147483647   686633    141 |  0.000 % |
1925.49/1926.22	c |    689632 |    2152   361512  1585361 | 2147483647   689632    141 |  0.000 % |
1947.19/1947.94	c |    692929 |    2152   361512  1585361 | 2147483647   692929    141 |  0.000 % |
1967.48/1968.24	c |    696554 |    2152   361512  1585361 | 2147483647   696554    141 |  0.000 % |
1995.56/1996.33	c |    700543 |    2152   361512  1585361 | 2147483647   700543    141 |  0.000 % |
2024.76/2025.53	c |    704929 |    2152   361512  1585361 | 2147483647   704929    141 |  0.000 % |
2059.55/2060.38	c |    709752 |    2152   361512  1585361 | 2147483647   709752    141 |  0.000 % |
2105.43/2106.24	c |    715060 |    2152   361512  1585361 | 2147483647   715060    142 |  0.000 % |
2144.23/2145.04	c |    720895 |    2152   361512  1585361 | 2147483647   720895    142 |  0.000 % |
2187.81/2188.68	c |    727314 |    2152   361512  1585361 | 2147483647   727314    142 |  0.000 % |
2188.71/2189.56	c |    727415 |    2152   361512  1585361 | 2147483647   727415    142 |  0.000 % |
2189.61/2190.45	c |    727525 |    2152   361512  1585361 | 2147483647   727525    142 |  0.000 % |
2191.01/2191.82	c |    727646 |    2152   361512  1585361 | 2147483647   727646    142 |  0.000 % |
2192.31/2193.13	c |    727780 |    2152   361512  1585361 | 2147483647   727780    142 |  0.000 % |
2193.51/2194.38	c |    727927 |    2152   361512  1585361 | 2147483647   727927    142 |  0.000 % |
2195.20/2196.09	c |    728087 |    2152   361512  1585361 | 2147483647   728087    142 |  0.000 % |
2197.30/2198.17	c |    728263 |    2152   361512  1585361 | 2147483647   728263    142 |  0.000 % |
2198.80/2199.63	c |    728457 |    2152   361512  1585361 | 2147483647   728457    142 |  0.000 % |
2200.30/2201.13	c |    728670 |    2152   361512  1585361 | 2147483647   728670    142 |  0.000 % |
2202.00/2202.89	c |    728904 |    2152   361512  1585361 | 2147483647   728904    142 |  0.000 % |
2202.70/2203.60	c |    729160 |    2152   361512  1585361 | 2147483647   729160    142 |  0.000 % |
2205.10/2205.93	c |    729441 |    2152   361512  1585361 | 2147483647   729441    142 |  0.000 % |
2207.11/2207.95	c |    729750 |    2152   361512  1585361 | 2147483647   729750    142 |  0.000 % |
2209.51/2210.32	c |    730090 |    2152   361512  1585361 | 2147483647   730090    142 |  0.000 % |
2215.00/2215.89	c |    730462 |    2152   361512  1585361 | 2147483647   730462    142 |  0.000 % |
2219.10/2219.98	c |    730872 |    2152   361512  1585361 | 2147483647   730872    142 |  0.000 % |
2223.40/2224.25	c |    731321 |    2152   361512  1585361 | 2147483647   731321    142 |  0.000 % |
2228.99/2229.80	c |    731815 |    2152   361512  1585361 | 2147483647   731815    142 |  0.000 % |
2233.09/2233.97	c |    732358 |    2152   361512  1585361 | 2147483647   732358    142 |  0.000 % |
2237.59/2238.43	c |    732960 |    2152   361512  1585361 | 2147483647   732960    142 |  0.000 % |
2241.89/2242.78	c |    733617 |    2152   361512  1585361 | 2147483647   733617    142 |  0.000 % |
2246.79/2247.66	c |    734338 |    2152   361512  1585361 | 2147483647   734338    142 |  0.000 % |
2253.29/2254.13	c |    735131 |    2152   361512  1585361 | 2147483647   735131    142 |  0.000 % |
2260.59/2261.43	c |    736003 |    2152   361512  1585361 | 2147483647   736003    142 |  0.000 % |
2270.98/2271.86	c |    736961 |    2152   361512  1585361 | 2147483647   736961    142 |  0.000 % |
2275.78/2276.65	c |    738017 |    2152   361512  1585361 | 2147483647   738017    142 |  0.000 % |
2286.57/2287.42	c |    739175 |    2152   361512  1585361 | 2147483647   739175    142 |  0.000 % |
2298.97/2299.87	c |    740450 |    2152   361512  1585361 | 2147483647   740450    142 |  0.000 % |
2305.87/2306.74	c |    741850 |    2152   361512  1585361 | 2147483647   741850    142 |  0.000 % |
2321.66/2322.58	c |    743390 |    2152   361512  1585361 | 2147483647   743390    142 |  0.000 % |
2336.16/2337.00	c |    745084 |    2152   361512  1585361 | 2147483647   745084    142 |  0.000 % |
2355.05/2355.90	c |    746948 |    2152   361512  1585361 | 2147483647   746948    142 |  0.000 % |
2370.54/2371.47	c |    748997 |    2152   361512  1585361 | 2147483647   748997    142 |  0.000 % |
2380.35/2381.23	c |    751255 |    2152   361512  1585361 | 2147483647   751255    142 |  0.000 % |
2389.74/2390.67	c |    753736 |    2152   361512  1585361 | 2147483647   753736    142 |  0.000 % |
2400.84/2401.75	c |    756461 |    2152   361512  1585361 | 2147483647   756461    142 |  0.000 % |
2413.33/2414.29	c |    759459 |    2152   361512  1585361 | 2147483647   759459    142 |  0.000 % |
2426.03/2426.91	c |    762756 |    2152   361512  1585361 | 2147483647   762756    142 |  0.000 % |
2439.33/2440.22	c |    766382 |    2152   361512  1585361 | 2147483647   766382    142 |  0.000 % |
2455.03/2455.98	c |    770371 |    2152   361512  1585361 | 2147483647   770371    142 |  0.000 % |
2472.61/2473.50	c |    774757 |    2152   361512  1585361 | 2147483647   774757    142 |  0.000 % |
2491.21/2492.18	c |    779582 |    2152   361512  1585361 | 2147483647   779582    141 |  0.000 % |
2525.00/2525.91	c |    784889 |    2152   361512  1585361 | 2147483647   784889    142 |  0.000 % |
2557.99/2558.99	c |    790726 |    2152   361512  1585361 | 2147483647   790726    141 |  0.000 % |
2590.38/2591.30	c |    797145 |    2152   361512  1585361 | 2147483647   797145    141 |  0.000 % |
2629.57/2630.51	c |    804204 |    2152   361512  1585361 | 2147483647   804204    141 |  0.000 % |
2629.97/2630.93	c |    804307 |    2152   361512  1585361 | 2147483647   804307    141 |  0.000 % |
2630.67/2631.61	c |    804418 |    2152   361512  1585361 | 2147483647   804418    141 |  0.000 % |
2631.47/2632.41	c |    804539 |    2152   361512  1585361 | 2147483647   804539    141 |  0.000 % |
2631.97/2632.92	c |    804674 |    2152   361512  1585361 | 2147483647   804674    141 |  0.000 % |
2632.47/2633.44	c |    804821 |    2152   361512  1585361 | 2147483647   804821    141 |  0.000 % |
2633.37/2634.38	c |    804981 |    2152   361512  1585361 | 2147483647   804981    141 |  0.000 % |
2634.57/2635.57	c |    805158 |    2152   361512  1585361 | 2147483647   805158    141 |  0.000 % |
2635.77/2636.70	c |    805352 |    2152   361512  1585361 | 2147483647   805352    141 |  0.000 % |
2636.66/2637.64	c |    805564 |    2152   361512  1585361 | 2147483647   805564    141 |  0.000 % |
2637.97/2638.93	c |    805798 |    2152   361512  1585361 | 2147483647   805798    141 |  0.000 % |
2639.06/2640.09	c |    806056 |    2152   361512  1585361 | 2147483647   806056    141 |  0.000 % |
2641.96/2642.93	c |    806338 |    2152   361512  1585361 | 2147483647   806338    141 |  0.000 % |
2643.36/2644.36	c |    806647 |    2152   361512  1585361 | 2147483647   806647    141 |  0.000 % |
2645.16/2646.11	c |    806986 |    2152   361512  1585361 | 2147483647   806986    141 |  0.000 % |
2646.77/2647.73	c |    807358 |    2152   361512  1585361 | 2147483647   807358    141 |  0.000 % |
2648.36/2649.31	c |    807767 |    2152   361512  1585361 | 2147483647   807767    141 |  0.000 % |
2654.26/2655.26	c |    808218 |    2152   361512  1585361 | 2147483647   808218    141 |  0.000 % |
2656.86/2657.89	c |    808712 |    2152   361512  1585361 | 2147483647   808712    141 |  0.000 % |
2660.26/2661.25	c |    809255 |    2152   361512  1585361 | 2147483647   809255    141 |  0.000 % |
2663.45/2664.49	c |    809851 |    2152   361512  1585361 | 2147483647   809851    141 |  0.000 % |
2667.56/2668.53	c |    810509 |    2152   361512  1585361 | 2147483647   810509    141 |  0.000 % |
2672.75/2673.79	c |    811229 |    2152   361512  1585361 | 2147483647   811229    141 |  0.000 % |
2675.85/2676.84	c |    812022 |    2152   361512  1585361 | 2147483647   812022    141 |  0.000 % |
2682.04/2683.05	c |    812893 |    2152   361512  1585361 | 2147483647   812893    141 |  0.000 % |
2685.84/2686.88	c |    813851 |    2152   361512  1585361 | 2147483647   813851    141 |  0.000 % |
2689.95/2690.90	c |    814905 |    2152   361512  1585361 | 2147483647   814905    141 |  0.000 % |
2699.84/2700.88	c |    816063 |    2152   361512  1585361 | 2147483647   816063    141 |  0.000 % |
2707.44/2708.50	c |    817336 |    2152   361512  1585361 | 2147483647   817336    141 |  0.000 % |
2716.54/2717.54	c |    818736 |    2152   361512  1585361 | 2147483647   818736    141 |  0.000 % |
2725.43/2726.46	c |    820277 |    2152   361512  1585361 | 2147483647   820277    141 |  0.000 % |
2734.23/2735.27	c |    821975 |    2152   361512  1585361 | 2147483647   821975    141 |  0.000 % |
2744.12/2745.12	c |    823838 |    2152   361512  1585361 | 2147483647   823838    141 |  0.000 % |
2755.03/2756.00	c |    825888 |    2152   361512  1585361 | 2147483647   825888    141 |  0.000 % |
2766.92/2767.91	c |    828142 |    2152   361512  1585361 | 2147483647   828142    141 |  0.000 % |
2780.82/2781.87	c |    830625 |    2152   361512  1585361 | 2147483647   830625    141 |  0.000 % |
2797.61/2798.61	c |    833350 |    2152   361512  1585361 | 2147483647   833350    141 |  0.000 % |
2810.51/2811.51	c |    836349 |    2152   361512  1585361 | 2147483647   836349    141 |  0.000 % |
2829.60/2830.64	c |    839647 |    2152   361512  1585361 | 2147483647   839647    141 |  0.000 % |
2845.50/2846.59	c |    843273 |    2152   361512  1585361 | 2147483647   843273    141 |  0.000 % |
2874.78/2875.83	c |    847260 |    2152   361512  1585361 | 2147483647   847260    141 |  0.000 % |
2911.58/2912.62	c |    851645 |    2152   361512  1585361 | 2147483647   851645    141 |  0.000 % |
2944.77/2945.81	c |    856468 |    2152   361512  1585361 | 2147483647   856468    141 |  0.000 % |
2974.06/2975.13	c |    861773 |    2152   361512  1585361 | 2147483647   861773    140 |  0.000 % |
3002.75/3003.86	c |    867610 |    2152   361512  1585361 | 2147483647   867610    140 |  0.000 % |
3025.54/3026.68	c |    874028 |    2152   361512  1585361 | 2147483647   874028    140 |  0.000 % |
3076.43/3077.60	c |    881089 |    2152   361512  1585361 | 2147483647   881089    140 |  0.000 % |
3104.52/3105.65	c |    888853 |    2152   361512  1585361 | 2147483647   888853    140 |  0.000 % |
3105.11/3106.25	c |    888955 |    2152   361512  1585361 | 2147483647   888955    140 |  0.000 % |
3105.61/3106.75	c |    889066 |    2152   361512  1585361 | 2147483647   889066    140 |  0.000 % |
3106.01/3107.15	c |    889187 |    2152   361512  1585361 | 2147483647   889187    140 |  0.000 % |
3106.81/3107.98	c |    889321 |    2152   361512  1585361 | 2147483647   889321    140 |  0.000 % |
3107.61/3108.73	c |    889468 |    2152   361512  1585361 | 2147483647   889468    140 |  0.000 % |
3108.21/3109.31	c |    889628 |    2152   361512  1585361 | 2147483647   889628    140 |  0.000 % |
3108.81/3109.98	c |    889805 |    2152   361512  1585361 | 2147483647   889805    140 |  0.000 % |
3109.41/3110.57	c |    889998 |    2152   361512  1585361 | 2147483647   889998    140 |  0.000 % |
3110.21/3111.31	c |    890210 |    2152   361512  1585361 | 2147483647   890210    140 |  0.000 % |
3111.71/3112.88	c |    890443 |    2152   361512  1585361 | 2147483647   890443    140 |  0.000 % |
3112.41/3113.52	c |    890700 |    2152   361512  1585361 | 2147483647   890700    140 |  0.000 % |
3113.01/3114.18	c |    890981 |    2152   361512  1585361 | 2147483647   890981    140 |  0.000 % |
3114.21/3115.31	c |    891290 |    2152   361512  1585361 | 2147483647   891290    140 |  0.000 % |
3115.52/3116.62	c |    891631 |    2152   361512  1585361 | 2147483647   891631    140 |  0.000 % |
3116.52/3117.65	c |    892005 |    2152   361512  1585361 | 2147483647   892005    140 |  0.000 % |
3117.82/3118.98	c |    892415 |    2152   361512  1585361 | 2147483647   892415    140 |  0.000 % |
3119.21/3120.37	c |    892864 |    2152   361512  1585361 | 2147483647   892864    140 |  0.000 % |
3121.11/3122.20	c |    893359 |    2152   361512  1585361 | 2147483647   893359    140 |  0.000 % |
3123.01/3124.12	c |    893905 |    2152   361512  1585361 | 2147483647   893905    140 |  0.000 % |
3124.71/3125.85	c |    894501 |    2152   361512  1585361 | 2147483647   894501    140 |  0.000 % |
3127.21/3128.31	c |    895156 |    2152   361512  1585361 | 2147483647   895156    140 |  0.000 % |
3128.91/3130.01	c |    895876 |    2152   361512  1585361 | 2147483647   895876    140 |  0.000 % |
3132.50/3133.66	c |    896669 |    2152   361512  1585361 | 2147483647   896669    140 |  0.000 % |
3135.60/3136.79	c |    897540 |    2152   361512  1585361 | 2147483647   897540    140 |  0.000 % |
3140.30/3141.42	c |    898501 |    2152   361512  1585361 | 2147483647   898501    140 |  0.000 % |
3143.71/3144.80	c |    899554 |    2152   361512  1585361 | 2147483647   899554    140 |  0.000 % |
3148.11/3149.25	c |    900713 |    2152   361512  1585361 | 2147483647   900713    140 |  0.000 % |
3152.70/3153.84	c |    901988 |    2152   361512  1585361 | 2147483647   901988    140 |  0.000 % |
3158.49/3159.64	c |    903389 |    2152   361512  1585361 | 2147483647   903389    140 |  0.000 % |
3164.61/3165.79	c |    904929 |    2152   361512  1585361 | 2147483647   904929    140 |  0.000 % |
3172.59/3173.74	c |    906623 |    2152   361512  1585361 | 2147483647   906623    140 |  0.000 % |
3179.39/3180.58	c |    908486 |    2152   361512  1585361 | 2147483647   908486    140 |  0.000 % |
3188.39/3189.55	c |    910535 |    2152   361512  1585361 | 2147483647   910535    140 |  0.000 % |
3200.09/3201.20	c |    912792 |    2152   361512  1585361 | 2147483647   912792    140 |  0.000 % |
3210.08/3211.21	c |    915270 |    2152   361512  1585361 | 2147483647   915270    140 |  0.000 % |
3223.08/3224.23	c |    917996 |    2152   361512  1585361 | 2147483647   917996    140 |  0.000 % |
3236.18/3237.38	c |    920993 |    2152   361512  1585361 | 2147483647   920993    140 |  0.000 % |
3246.87/3248.06	c |    924290 |    2152   361512  1585361 | 2147483647   924290    141 |  0.000 % |
3261.27/3262.41	c |    927916 |    2152   361512  1585361 | 2147483647   927916    141 |  0.000 % |
3282.06/3283.24	c |    931903 |    2152   361512  1585361 | 2147483647   931903    141 |  0.000 % |
3305.76/3306.90	c |    936288 |    2152   361512  1585361 | 2147483647   936288    141 |  0.000 % |
3333.35/3334.59	c |    941115 |    2152   361512  1585361 | 2147483647   941115    141 |  0.000 % |
3364.43/3365.61	c |    946420 |    2152   361512  1585361 | 2147483647   946420    141 |  0.000 % |
3400.32/3401.54	c |    952255 |    2152   361512  1585361 | 2147483647   952255    141 |  0.000 % |
3438.81/3440.06	c |    958674 |    2152   361512  1585361 | 2147483647   958674    141 |  0.000 % |
3487.90/3489.13	c |    965734 |    2152   361512  1585361 | 2147483647   965734    141 |  0.000 % |
3536.88/3538.17	c |    973498 |    2152   361512  1585361 | 2147483647   973498    141 |  0.000 % |
3593.97/3595.23	c |    982041 |    2152   361512  1585361 | 2147483647   982041    141 |  0.000 % |
3594.87/3596.17	c |    982141 |    2152   361512  1585361 | 2147483647   982141    141 |  0.000 % |
3595.77/3597.09	c |    982251 |    2152   361512  1585361 | 2147483647   982251    141 |  0.000 % |
3596.87/3598.12	c |    982372 |    2152   361512  1585361 | 2147483647   982372    141 |  0.000 % |
3598.06/3599.37	c |    982507 |    2152   361512  1585361 | 2147483647   982507    141 |  0.000 % |
3599.46/3600.78	c |    982655 |    2152   361512  1585361 | 2147483647   982655    141 |  0.000 % |
3600.86/3602.12	c |    982817 |    2152   361512  1585361 | 2147483647   982817    141 |  0.000 % |
3602.16/3603.44	c |    982993 |    2152   361512  1585361 | 2147483647   982993    141 |  0.000 % |
3603.86/3605.18	c |    983189 |    2152   361512  1585361 | 2147483647   983189    141 |  0.000 % |
3605.06/3606.36	c |    983402 |    2152   361512  1585361 | 2147483647   983402    141 |  0.000 % |
3607.36/3608.60	c |    983637 |    2152   361512  1585361 | 2147483647   983637    141 |  0.000 % |
3609.06/3610.34	c |    983893 |    2152   361512  1585361 | 2147483647   983893    141 |  0.000 % |
3611.96/3613.23	c |    984174 |    2152   361512  1585361 | 2147483647   984174    141 |  0.000 % |
3614.25/3615.55	c |    984483 |    2152   361512  1585361 | 2147483647   984483    141 |  0.000 % |
3617.25/3618.52	c |    984825 |    2152   361512  1585361 | 2147483647   984825    141 |  0.000 % |
3620.05/3621.33	c |    985197 |    2152   361512  1585361 | 2147483647   985197    141 |  0.000 % |
3623.85/3625.19	c |    985606 |    2152   361512  1585361 | 2147483647   985606    141 |  0.000 % |
3626.45/3627.74	c |    986055 |    2152   361512  1585361 | 2147483647   986055    141 |  0.000 % |
3631.45/3632.71	c |    986548 |    2152   361512  1585361 | 2147483647   986548    141 |  0.000 % |
3636.85/3638.10	c |    987091 |    2152   361512  1585361 | 2147483647   987091    141 |  0.000 % |
3641.85/3643.12	c |    987687 |    2152   361512  1585361 | 2147483647   987687    141 |  0.000 % |
3647.14/3648.40	c |    988343 |    2152   361512  1585361 | 2147483647   988343    141 |  0.000 % |
3652.95/3654.23	c |    989063 |    2152   361512  1585361 | 2147483647   989063    141 |  0.000 % |
3659.64/3660.95	c |    989856 |    2152   361512  1585361 | 2147483647   989856    141 |  0.000 % |
3666.34/3667.65	c |    990728 |    2152   361512  1585361 | 2147483647   990728    141 |  0.000 % |
3673.53/3674.90	c |    991686 |    2152   361512  1585361 | 2147483647   991686    141 |  0.000 % |
3681.13/3682.47	c |    992739 |    2152   361512  1585361 | 2147483647   992739    141 |  0.000 % |
3690.03/3691.39	c |    993897 |    2152   361512  1585361 | 2147483647   993897    141 |  0.000 % |
3701.13/3702.46	c |    995170 |    2152   361512  1585361 | 2147483647   995170    141 |  0.000 % |
3712.72/3714.10	c |    996571 |    2152   361512  1585361 | 2147483647   996571    141 |  0.000 % |
3725.01/3726.32	c |    998112 |    2152   361512  1585361 | 2147483647   998112    141 |  0.000 % |
3739.72/3741.01	c |    999806 |    2152   361512  1585361 | 2147483647   999806    141 |  0.000 % |
3753.41/3754.72	c |   1001671 |    2152   361512  1585361 | 2147483647  1001671    141 |  0.000 % |
3767.10/3768.42	c |   1003721 |    2152   361512  1585361 | 2147483647  1003721    141 |  0.000 % |
3785.50/3786.82	c |   1005976 |    2152   361512  1585361 | 2147483647  1005976    141 |  0.000 % |
3803.49/3804.90	c |   1008455 |    2152   361512  1585361 | 2147483647  1008455    141 |  0.000 % |
3821.29/3822.61	c |   1011180 |    2152   361512  1585361 | 2147483647  1011180    141 |  0.000 % |
3842.38/3843.70	c |   1014179 |    2152   361512  1585361 | 2147483647  1014179    141 |  0.000 % |
3865.27/3866.61	c |   1017475 |    2152   361512  1585361 | 2147483647  1017475    141 |  0.000 % |
3896.36/3897.71	c |   1021100 |    2152   361512  1585361 | 2147483647  1021100    141 |  0.000 % |
3926.16/3927.57	c |   1025088 |    2152   361512  1585361 | 2147483647  1025088    141 |  0.000 % |
3966.44/3967.85	c |   1029474 |    2152   361512  1585361 | 2147483647  1029474    141 |  0.000 % |
3994.44/3995.84	c |   1034298 |    2152   361512  1585361 | 2147483647  1034298    141 |  0.000 % |
4036.73/4038.11	c |   1039606 |    2152   361512  1585361 | 2147483647  1039606    141 |  0.000 % |
4088.00/4089.49	c |   1045441 |    2152   361512  1585361 | 2147483647  1045441    141 |  0.000 % |
4135.79/4137.21	c |   1051859 |    2152   361512  1585361 | 2147483647  1051859    141 |  0.000 % |
4191.47/4192.92	c |   1058919 |    2152   361512  1585361 | 2147483647  1058919    141 |  0.000 % |
4247.55/4249.09	c |   1066684 |    2152   361512  1585361 | 2147483647  1066684    141 |  0.000 % |
4311.54/4313.07	c |   1075224 |    2152   361512  1585361 | 2147483647  1075224    141 |  0.000 % |
4379.51/4381.07	c |   1084619 |    2152   361512  1585361 | 2147483647  1084619    141 |  0.000 % |
4380.31/4381.85	c |   1084719 |    2152   361512  1585361 | 2147483647  1084719    141 |  0.000 % |
4381.12/4382.61	c |   1084830 |    2152   361512  1585361 | 2147483647  1084830    141 |  0.000 % |
4382.11/4383.60	c |   1084951 |    2152   361512  1585361 | 2147483647  1084951    141 |  0.000 % |
4383.31/4384.88	c |   1085084 |    2152   361512  1585361 | 2147483647  1085084    141 |  0.000 % |
4384.61/4386.12	c |   1085231 |    2152   361512  1585361 | 2147483647  1085231    141 |  0.000 % |
4386.11/4387.60	c |   1085391 |    2152   361512  1585361 | 2147483647  1085391    141 |  0.000 % |
4387.61/4389.11	c |   1085569 |    2152   361512  1585361 | 2147483647  1085569    141 |  0.000 % |
4389.21/4390.70	c |   1085762 |    2152   361512  1585361 | 2147483647  1085762    141 |  0.000 % |
4390.61/4392.18	c |   1085974 |    2152   361512  1585361 | 2147483647  1085974    141 |  0.000 % |
4392.41/4393.90	c |   1086207 |    2152   361512  1585361 | 2147483647  1086207    141 |  0.000 % |
4394.21/4395.75	c |   1086463 |    2152   361512  1585361 | 2147483647  1086463    141 |  0.000 % |
4396.21/4397.74	c |   1086745 |    2152   361512  1585361 | 2147483647  1086745    141 |  0.000 % |
4398.51/4400.07	c |   1087058 |    2152   361512  1585361 | 2147483647  1087058    141 |  0.000 % |
4401.61/4403.20	c |   1087397 |    2152   361512  1585361 | 2147483647  1087397    141 |  0.000 % |
4404.31/4405.82	c |   1087769 |    2152   361512  1585361 | 2147483647  1087769    141 |  0.000 % |
4407.31/4408.83	c |   1088178 |    2152   361512  1585361 | 2147483647  1088178    141 |  0.000 % |
4410.51/4412.04	c |   1088627 |    2152   361512  1585361 | 2147483647  1088627    141 |  0.000 % |
4414.60/4416.12	c |   1089121 |    2152   361512  1585361 | 2147483647  1089121    141 |  0.000 % |
4418.70/4420.25	c |   1089665 |    2152   361512  1585361 | 2147483647  1089665    141 |  0.000 % |
4423.39/4424.97	c |   1090261 |    2152   361512  1585361 | 2147483647  1090261    141 |  0.000 % |
4429.69/4431.23	c |   1090916 |    2152   361512  1585361 | 2147483647  1090916    141 |  0.000 % |
4436.00/4437.58	c |   1091636 |    2152   361512  1585361 | 2147483647  1091636    141 |  0.000 % |
4443.99/4445.50	c |   1092431 |    2152   361512  1585361 | 2147483647  1092431    141 |  0.000 % |
4452.49/4454.00	c |   1093304 |    2152   361512  1585361 | 2147483647  1093304    141 |  0.000 % |
4462.09/4463.65	c |   1094263 |    2152   361512  1585361 | 2147483647  1094263    141 |  0.000 % |
4474.48/4476.08	c |   1095317 |    2152   361512  1585361 | 2147483647  1095317    141 |  0.000 % |
4484.28/4485.83	c |   1096475 |    2152   361512  1585361 | 2147483647  1096475    141 |  0.000 % |
4495.97/4497.59	c |   1097748 |    2152   361512  1585361 | 2147483647  1097748    141 |  0.000 % |
4504.97/4506.57	c |   1099149 |    2152   361512  1585361 | 2147483647  1099149    141 |  0.000 % |
4516.17/4517.73	c |   1100691 |    2152   361512  1585361 | 2147483647  1100691    141 |  0.000 % |
4544.36/4545.97	c |   1102386 |    2152   361512  1585361 | 2147483647  1102386    141 |  0.000 % |
4591.95/4593.51	c |   1104249 |    2152   361512  1585361 | 2147483647  1104249    141 |  0.000 % |
4640.13/4641.77	c |   1106299 |    2152   361512  1585361 | 2147483647  1106299    141 |  0.000 % |
4695.42/4697.02	c |   1108553 |    2152   361512  1585361 | 2147483647  1108553    141 |  0.000 % |
4756.09/4757.71	c |   1111032 |    2152   361512  1585361 |  1110000   963376    140 |  0.000 % |
4787.89/4789.54	c |   1113757 |    2152   361512  1585361 |  1110000   966101    140 |  0.000 % |
4822.18/4823.87	c |   1116754 |    2152   361512  1585361 |  1110000   969098    140 |  0.000 % |
4869.36/4871.04	c |   1120051 |    2152   361512  1585361 | 2147483647   972395    140 |  0.000 % |
4914.55/4916.26	c |   1123678 |    2152   361512  1585361 | 2147483647   976022    140 |  0.000 % |
4950.83/4952.56	c |   1127665 |    2152   361512  1585361 | 2147483647   980009    140 |  0.000 % |
4992.82/4994.59	c |   1132051 |    2152   361512  1585361 | 2147483647   984395    140 |  0.000 % |
5072.49/5074.20	c |   1136875 |    2152   361512  1585361 | 2147483647   989219    140 |  0.000 % |
5120.78/5122.53	c |   1142181 |    2152   361512  1585361 | 2147483647   994525    140 |  0.000 % |
5187.35/5189.19	c |   1148016 |    2152   361512  1585361 | 2147483647  1000360    140 |  0.000 % |
5286.52/5288.37	c |   1154435 |    2152   361512  1585361 | 2147483647  1006779    140 |  0.000 % |
5392.49/5394.37	c |   1161494 |    2152   361512  1585361 | 2147483647  1013838    140 |  0.000 % |
5526.85/5528.78	c |   1169258 |    2152   361512  1585361 | 2147483647  1021602    140 |  0.000 % |
5707.49/5709.44	c |   1177800 |    2152   361512  1585361 |  1022344   910208    141 |  0.000 % |
5868.84/5870.89	c |   1187194 |    2152   361512  1585361 |   912409   789285    141 |  0.000 % |
6052.18/6054.24	c |   1197528 |    2152   361512  1585361 |   792091   699115    140 |  0.000 % |
6054.49/6056.59	c |   1197631 |    2152   361512  1585361 |   792091   699218    140 |  0.000 % |
6056.58/6058.63	c |   1197741 |    2152   361512  1585361 |   792091   699328    140 |  0.000 % |
6057.98/6060.02	c |   1197863 |    2152   361512  1585361 |   792091   699450    140 |  0.000 % |
6060.78/6062.85	c |   1197996 |    2152   361512  1585361 |   792091   699583    140 |  0.000 % |
6062.68/6064.79	c |   1198145 |    2152   361512  1585361 |   792091   699732    140 |  0.000 % |
6067.08/6069.15	c |   1198305 |    2152   361512  1585361 |   792091   699892    140 |  0.000 % |
6070.28/6072.35	c |   1198481 |    2152   361512  1585361 |   792091   700068    140 |  0.000 % |
6072.08/6074.11	c |   1198674 |    2152   361512  1585361 |   792091   700261    140 |  0.000 % |
6076.77/6078.84	c |   1198887 |    2152   361512  1585361 |   792091   700474    140 |  0.000 % |
6081.67/6083.76	c |   1199121 |    2152   361512  1585361 |   792091   700708    140 |  0.000 % |
6086.37/6088.40	c |   1199379 |    2152   361512  1585361 |   792091   700966    140 |  0.000 % |
6091.37/6093.44	c |   1199660 |    2152   361512  1585361 |   792091   701247    140 |  0.000 % |
6097.57/6099.61	c |   1199969 |    2152   361512  1585361 |   792091   701556    140 |  0.000 % |
6104.86/6106.99	c |   1200309 |    2152   361512  1585361 |   701590   701896    140 |  0.000 % |
6118.76/6120.88	c |   1200682 |    2152   361512  1585361 |   701590   599744    140 |  0.000 % |
6125.26/6127.38	c |   1201091 |    2152   361512  1585361 |   701590   600153    140 |  0.000 % |
6133.35/6135.49	c |   1201542 |    2152   361512  1585361 |   701590   600604    140 |  0.000 % |
6141.45/6143.55	c |   1202036 |    2152   361512  1585361 |   701590   601098    140 |  0.000 % |
6151.55/6153.63	c |   1202578 |    2152   361512  1585361 |   701590   601640    140 |  0.000 % |
6161.15/6163.23	c |   1203175 |    2152   361512  1585361 |   701590   602237    140 |  0.000 % |
6168.24/6170.34	c |   1203830 |    2152   361512  1585361 |   701590   602892    140 |  0.000 % |
6180.34/6182.43	c |   1204551 |    2152   361512  1585361 |   701590   603613    140 |  0.000 % |
6190.53/6192.60	c |   1205345 |    2152   361512  1585361 |   701590   604407    140 |  0.000 % |
6205.83/6207.97	c |   1206216 |    2152   361512  1585361 |   701590   605278    140 |  0.000 % |
6223.62/6225.70	c |   1207174 |    2152   361512  1585361 |   701590   606236    140 |  0.000 % |
6243.93/6246.04	c |   1208227 |    2152   361512  1585361 |   701590   607289    140 |  0.000 % |
6266.62/6268.72	c |   1209385 |    2152   361512  1585361 |   701590   608447    141 |  0.000 % |
6291.61/6293.78	c |   1210659 |    2152   361512  1585361 |   609062   532109    141 |  0.000 % |
6312.80/6314.97	c |   1212064 |    2152   361512  1585361 |   609062   533514    141 |  0.000 % |
6334.19/6336.32	c |   1213604 |    2152   361512  1585361 |   609062   535054    141 |  0.000 % |
6367.38/6369.57	c |   1215300 |    2152   361512  1585361 |   609062   536750    141 |  0.000 % |
6392.87/6395.03	c |   1217164 |    2152   361512  1585361 |   609062   538614    141 |  0.000 % |
6432.76/6434.93	c |   1219214 |    2152   361512  1585361 |   609062   540664    141 |  0.000 % |
6488.45/6490.69	c |   1221468 |    2152   361512  1585361 |   541451   429108    141 |  0.000 % |
6522.54/6524.71	c |   1223946 |    2152   361512  1585361 |   541451   431586    141 |  0.000 % |
6568.22/6570.41	c |   1226672 |    2152   361512  1585361 |   541451   434312    141 |  0.000 % |
6619.20/6621.44	c |   1229670 |    2152   361512  1585361 |   541451   437310    141 |  0.000 % |
6676.19/6678.48	c |   1232966 |    2152   361512  1585361 |   437641   376544    142 |  0.000 % |
6726.67/6728.90	c |   1236591 |    2152   361512  1585361 |   437641   380169    142 |  0.000 % |
6794.65/6796.97	c |   1240578 |    2152   361512  1585361 |   383581   323084    142 |  0.000 % |
6867.32/6869.62	c |   1244964 |    2152   361512  1585361 |   383581   327470    142 |  0.000 % |
6954.79/6957.15	c |   1249788 |    2152   361512  1585361 |   383581   332294    142 |  0.000 % |
7026.28/7028.61	c |   1255096 |    2152   361512  1585361 |   332507   299642    143 |  0.000 % |
7161.53/7163.99	c |   1260932 |    2152   361512  1585361 |   304546   255550    143 |  0.000 % |
7228.31/7230.78	c |   1267350 |    2152   361512  1585361 |   304546   261968    143 |  0.000 % |
7316.89/7319.32	c |   1274410 |    2152   361512  1585361 | 2147483647   269028    143 |  0.000 % |
7447.85/7450.36	c |   1282174 |    2152   361512  1585361 | 2147483647   276792    143 |  0.000 % |
7569.91/7572.43	c |   1290714 |    2152   361512  1585361 | 2147483647   285332    143 |  0.000 % |
7703.87/7706.43	c |   1300109 |    2152   361512  1585361 | 2147483647   294727    142 |  0.000 % |
7836.82/7839.47	c |   1310442 |    2152   361512  1585361 | 2147483647   305060    142 |  0.000 % |
7969.48/7972.11	c |   1321808 |    2152   361512  1585361 | 2147483647   316426    142 |  0.000 % |
7971.18/7973.81	c |   1321912 |    2152   361512  1585361 | 2147483647   316530    142 |  0.000 % |
7973.68/7976.37	c |   1322023 |    2152   361512  1585361 | 2147483647   316641    142 |  0.000 % |
7976.87/7979.54	c |   1322145 |    2152   361512  1585361 | 2147483647   316763    142 |  0.000 % |
7979.37/7982.09	c |   1322278 |    2152   361512  1585361 | 2147483647   316896    142 |  0.000 % |
7982.47/7985.11	c |   1322426 |    2152   361512  1585361 | 2147483647   317044    142 |  0.000 % |
7986.17/7988.81	c |   1322587 |    2152   361512  1585361 | 2147483647   317205    142 |  0.000 % |
7990.37/7993.03	c |   1322763 |    2152   361512  1585361 | 2147483647   317381    142 |  0.000 % |
7993.57/7996.27	c |   1322957 |    2152   361512  1585361 | 2147483647   317575    142 |  0.000 % |
7998.07/8000.78	c |   1323170 |    2152   361512  1585361 | 2147483647   317788    142 |  0.000 % |
8002.96/8005.67	c |   1323403 |    2152   361512  1585361 | 2147483647   318021    142 |  0.000 % |
8006.96/8009.67	c |   1323659 |    2152   361512  1585361 | 2147483647   318277    142 |  0.000 % |
8010.66/8013.39	c |   1323941 |    2152   361512  1585361 | 2147483647   318559    142 |  0.000 % |
8014.26/8016.99	c |   1324251 |    2152   361512  1585361 | 2147483647   318869    142 |  0.000 % |
8019.96/8022.63	c |   1324591 |    2152   361512  1585361 | 2147483647   319209    142 |  0.000 % |
8027.26/8029.99	c |   1324963 |    2152   361512  1585361 | 2147483647   319581    142 |  0.000 % |
8034.45/8037.14	c |   1325372 |    2152   361512  1585361 | 2147483647   319990    142 |  0.000 % |
8043.85/8046.52	c |   1325821 |    2152   361512  1585361 | 2147483647   320439    142 |  0.000 % |
8052.95/8055.61	c |   1326315 |    2152   361512  1585361 | 2147483647   320933    142 |  0.000 % |
8061.14/8063.87	c |   1326859 |    2152   361512  1585361 | 2147483647   321477    142 |  0.000 % |
8068.84/8071.59	c |   1327455 |    2152   361512  1585361 | 2147483647   322073    142 |  0.000 % |
8076.04/8078.72	c |   1328112 |    2152   361512  1585361 | 2147483647   322730    142 |  0.000 % |
8087.04/8089.75	c |   1328833 |    2152   361512  1585361 | 2147483647   323451    142 |  0.000 % |
8095.45/8098.19	c |   1329625 |    2152   361512  1585361 | 2147483647   324243    142 |  0.000 % |
8106.94/8109.67	c |   1330498 |    2152   361512  1585361 | 2147483647   325116    142 |  0.000 % |
8117.64/8120.32	c |   1331456 |    2152   361512  1585361 | 2147483647   326074    142 |  0.000 % |
8128.33/8131.04	c |   1332510 |    2152   361512  1585361 | 2147483647   327128    142 |  0.000 % |
8148.52/8151.23	c |   1333671 |    2152   361512  1585361 | 2147483647   328289    142 |  0.000 % |
8162.62/8165.34	c |   1334944 |    2152   361512  1585361 | 2147483647   329562    142 |  0.000 % |
8172.71/8175.45	c |   1336345 |    2152   361512  1585361 | 2147483647   330963    142 |  0.000 % |
8184.11/8186.83	c |   1337886 |    2152   361512  1585361 | 2147483647   332504    142 |  0.000 % |
8198.51/8201.22	c |   1339580 |    2152   361512  1585361 | 2147483647   334198    142 |  0.000 % |
8254.89/8257.67	c |   1341443 |    2152   361512  1585361 | 2147483647   336061    143 |  0.000 % |
8309.17/8311.97	c |   1343494 |    2152   361512  1585361 | 2147483647   338112    143 |  0.000 % |
8349.85/8352.68	c |   1345749 |    2152   361512  1585361 | 2147483647   340367    143 |  0.000 % |
8399.85/8402.65	c |   1348228 |    2152   361512  1585361 | 2147483647   342846    143 |  0.000 % |
8473.92/8476.78	c |   1350955 |    2152   361512  1585361 |   344618   289201    143 |  0.000 % |
8525.00/8527.81	c |   1353953 |    2152   361512  1585361 |   344618   292199    143 |  0.000 % |
8601.98/8604.86	c |   1357249 |    2152   361512  1585361 |   344618   295495    143 |  0.000 % |
8666.05/8668.99	c |   1360876 |    2152   361512  1585361 | 2147483647   299122    143 |  0.000 % |
8730.64/8733.53	c |   1364863 |    2152   361512  1585361 | 2147483647   303109    143 |  0.000 % |
8833.11/8836.04	c |   1369249 |    2152   361512  1585361 | 2147483647   307495    143 |  0.000 % |
8924.28/8927.24	c |   1374073 |    2152   361512  1585361 | 2147483647   312319    143 |  0.000 % |
9056.34/9059.35	c |   1379378 |    2152   361512  1585361 | 2147483647   317624    143 |  0.000 % |
9166.10/9169.10	c |   1385214 |    2152   361512  1585361 |   318247   291603    144 |  0.000 % |
9305.56/9308.67	c |   1391632 |    2152   361512  1585361 | 2147483647   298021    144 |  0.000 % |
9427.52/9430.65	c |   1398692 |    2152   361512  1585361 | 2147483647   305081    144 |  0.000 % |
9519.00/9522.15	c |   1406456 |    2152   361512  1585361 | 2147483647   312845    144 |  0.000 % |
9593.27/9596.42	c |   1414997 |    2152   361512  1585361 | 2147483647   321386    144 |  0.000 % |
9740.93/9744.14	c |   1424391 |    2152   361512  1585361 | 2147483647   330780    144 |  0.000 % |
9931.16/9934.48	c |   1434724 |    2152   361512  1585361 | 2147483647   341113    144 |  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-1837550-1242877052/watcher-1837550-1242877052 -o /tmp/evaluation-result-1837550-1242877052/solver-1837550-1242877052 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837550-1242877052.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.97 3/64 7836
/proc/meminfo: memFree=1572896/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=0
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738761 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7836/statm: 1339 237 197 169 0 50 0

[startup+0.0665999 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 7836
/proc/meminfo: memFree=1572896/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=0
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738761 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7836/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102603 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 7836
/proc/meminfo: memFree=1572896/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=0
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738761 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7836/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302629 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 7836
/proc/meminfo: memFree=1572896/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=0
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738761 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7836/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702749 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 7836
/proc/meminfo: memFree=1572896/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=0
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738761 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7836/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50179 s]
/proc/loadavg: 0.85 0.97 0.97 2/66 7841
/proc/meminfo: memFree=1541968/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=0
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738761 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7836/statm: 1339 237 197 169 0 50 0
[pid=7840] ppid=7836 vsize=37548 CPUtime=1.49
/proc/7840/stat : 7840 (SatELite_releas) R 7836 7836 7799 0 -1 4194304 8633 0 0 0 145 4 0 0 25 0 1 0 315738762 38449152 8619 1992294400 134512640 135223648 4294956128 18446744073709551615 134585485 0 0 4096 3 0 0 0 17 1 0 0
/proc/7840/statm: 9387 8619 76 173 0 9212 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42904

[startup+3.102 s]
/proc/loadavg: 0.85 0.97 0.97 2/66 7841
/proc/meminfo: memFree=1535248/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=0
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738761 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7836/statm: 1339 237 197 169 0 50 0
[pid=7840] ppid=7836 vsize=39316 CPUtime=3.09
/proc/7840/stat : 7840 (SatELite_releas) R 7836 7836 7799 0 -1 4194304 8976 0 0 0 305 4 0 0 25 0 1 0 315738762 40259584 8962 1992294400 134512640 135223648 4294956128 18446744073709551615 134585497 0 0 4096 3 0 0 0 17 1 0 0
/proc/7840/statm: 9829 8962 76 173 0 9654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44672

[startup+6.30143 s]
/proc/loadavg: 0.86 0.97 0.97 2/66 7841
/proc/meminfo: memFree=1536592/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 5356

[startup+12.7013 s]
/proc/loadavg: 0.87 0.97 0.97 2/66 7842
/proc/meminfo: memFree=1538648/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=25916 CPUtime=6.9
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 6285 0 0 0 686 4 0 0 25 0 1 0 315739340 26537984 6271 1992294400 134512640 135215339 4294956240 18446744073709551615 134542512 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 6479 6271 77 171 0 6306 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31272

[startup+25.503 s]
/proc/loadavg: 0.90 0.97 0.97 2/66 7842
/proc/meminfo: memFree=1528024/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=36048 CPUtime=19.69
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 8801 0 0 0 1963 6 0 0 25 0 1 0 315739340 36913152 8787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 9012 8787 77 171 0 8839 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 41404

[startup+51.1023 s]
/proc/loadavg: 0.93 0.97 0.97 2/66 7842
/proc/meminfo: memFree=1517464/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=46860 CPUtime=45.29
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 11450 0 0 0 4519 10 0 0 25 0 1 0 315739340 47984640 11436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 11715 11436 77 171 0 11542 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52216

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.97 2/66 7842
/proc/meminfo: memFree=1498648/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=65520 CPUtime=96.46
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 16103 0 0 0 9632 14 0 0 25 0 1 0 315739340 67092480 16089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 16380 16089 77 171 0 16207 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 70876

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 7842
/proc/meminfo: memFree=1480216/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=84244 CPUtime=156.44
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 20736 0 0 0 15623 21 0 0 25 0 1 0 315739340 86265856 20722 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 21061 20722 77 171 0 20888 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 89600

[startup+222.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 7842
/proc/meminfo: memFree=1463320/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=100832 CPUtime=216.42
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 24902 0 0 0 21616 26 0 0 25 0 1 0 315739340 103251968 24888 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 25208 24888 77 171 0 25035 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 106188

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 7842
/proc/meminfo: memFree=1448280/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=116220 CPUtime=276.39
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 28654 0 0 0 27610 29 0 0 25 0 1 0 315739340 119009280 28640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 29055 28640 77 171 0 28882 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 121576

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 7842
/proc/meminfo: memFree=1434456/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=129868 CPUtime=336.37
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 32082 0 0 0 33604 33 0 0 25 0 1 0 315739340 132984832 32068 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 32467 32068 77 171 0 32294 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 135224

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 7842
/proc/meminfo: memFree=1421976/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=142452 CPUtime=396.35
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 35233 0 0 0 39598 37 0 0 25 0 1 0 315739340 145870848 35219 1992294400 134512640 135215339 4294956240 18446744073709551615 134532976 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 35613 35219 77 171 0 35440 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 147808

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 7844
/proc/meminfo: memFree=1408216/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78

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

/proc/7842/statm: 176510 174167 77 171 0 176337 0
Current children cumulated CPU time (s) 9399.23
Current children cumulated vsize (KiB) 711396

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=860056/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706040 CPUtime=9453.43
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174273 0 0 0 945130 213 0 0 25 0 1 0 315739340 722984960 174185 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176510 174185 77 171 0 176337 0
Current children cumulated CPU time (s) 9459.21
Current children cumulated vsize (KiB) 711396

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859928/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706160 CPUtime=9513.42
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174298 0 0 0 951128 214 0 0 25 0 1 0 315739340 723107840 174210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176540 174210 77 171 0 176367 0
Current children cumulated CPU time (s) 9519.2
Current children cumulated vsize (KiB) 711516

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859864/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706160 CPUtime=9573.39
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174313 0 0 0 957125 214 0 0 25 0 1 0 315739340 723107840 174225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176540 174225 77 171 0 176367 0
Current children cumulated CPU time (s) 9579.17
Current children cumulated vsize (KiB) 711516

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859800/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706160 CPUtime=9633.37
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174315 0 0 0 963123 214 0 0 25 0 1 0 315739340 723107840 174227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176540 174227 77 171 0 176367 0
Current children cumulated CPU time (s) 9639.15
Current children cumulated vsize (KiB) 711516

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859800/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706160 CPUtime=9693.36
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174323 0 0 0 969121 215 0 0 25 0 1 0 315739340 723107840 174235 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176540 174235 77 171 0 176367 0
Current children cumulated CPU time (s) 9699.14
Current children cumulated vsize (KiB) 711516

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859736/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706160 CPUtime=9753.34
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174330 0 0 0 975119 215 0 0 25 0 1 0 315739340 723107840 174242 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176540 174242 77 171 0 176367 0
Current children cumulated CPU time (s) 9759.12
Current children cumulated vsize (KiB) 711516

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859608/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706280 CPUtime=9813.32
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174344 0 0 0 981117 215 0 0 25 0 1 0 315739340 723230720 174256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176570 174256 77 171 0 176397 0
Current children cumulated CPU time (s) 9819.1
Current children cumulated vsize (KiB) 711636

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859736/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706280 CPUtime=9873.31
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174344 0 0 0 987116 215 0 0 25 0 1 0 315739340 723230720 174256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176570 174256 77 171 0 176397 0
Current children cumulated CPU time (s) 9879.09
Current children cumulated vsize (KiB) 711636

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859672/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706280 CPUtime=9933.28
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174344 0 0 0 993113 215 0 0 25 0 1 0 315739340 723230720 174256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176570 174256 77 171 0 176397 0
Current children cumulated CPU time (s) 9939.06
Current children cumulated vsize (KiB) 711636

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859608/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706460 CPUtime=9993.27
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174354 0 0 0 999111 216 0 0 25 0 1 0 315739340 723415040 174266 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176615 174266 77 171 0 176442 0
Current children cumulated CPU time (s) 9999.05
Current children cumulated vsize (KiB) 711816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859608/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706460 CPUtime=9994.28
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174354 0 0 0 999212 216 0 0 25 0 1 0 315739340 723415040 174266 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176615 174266 77 171 0 176442 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 711816

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

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

[startup+10003.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7866
/proc/meminfo: memFree=859608/2055920 swapFree=4180384/4192956
[pid=7836] ppid=7834 vsize=5356 CPUtime=5.78
/proc/7836/stat : 7836 (SatELiteGTI) S 7834 7836 7799 0 -1 4194304 336 9228 0 0 0 0 570 8 16 0 1 0 315738761 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7836/statm: 1339 239 197 169 0 50 0
[pid=7842] ppid=7836 vsize=706460 CPUtime=9994.28
/proc/7842/stat : 7842 (minisat_static) R 7836 7836 7799 0 -1 4194304 174354 0 0 0 999212 216 0 0 25 0 1 0 315739340 723415040 174266 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7842/statm: 176615 174266 77 171 0 176442 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 711816

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7836 and gives
#  childrusage.ru_utime.tv_sec=5
#  childrusage.ru_utime.tv_usec=704132
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=83987
# CPU time returned by wait4() is 5.78812
# 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): 10003.3
CPU time (s): 10000.1
CPU user time (s): 9997.82
CPU system time (s): 2.24
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 711816

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

runsolver used 11.8342 second user time and 24.6533 second system time

The end

Launcher Data 

Begin job on node13 at 2009-05-21 05:37:33
IDJOB=1837550
IDBENCH=71096
IDSOLVER=674
FILE ID=node13/1837550-1242877052
PBS_JOBID= 9328654
Free space on /tmp= 66304 MiB

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

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

MD5SUM BENCH= 85279cb74dedd2e1c7356e22d8e98939
RANDOM SEED=827011245

node13.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.227
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.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1573384 kB
Buffers:         44420 kB
Cached:         386936 kB
SwapCached:       7040 kB
Active:         146116 kB
Inactive:       294228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1573384 kB
SwapTotal:     4192956 kB
SwapFree:      4180384 kB
Dirty:            7768 kB
Writeback:           0 kB
Mapped:          13904 kB
Slab:            28208 kB
Committed_AS:   971968 kB
PageTables:       1460 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= 66292 MiB
End job on node13 at 2009-05-21 08:24:18