Trace number 1821959

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 r-2009-03-18? (TO) 1200.03 1199.94

General information on the benchmark

Namemanol-pipe-f10ni.cnf
MD5SUMb99a5b8844b4e1d2656eb1422e6e888f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark659.25
Satisfiable
(Un)Satisfiability was proved
Number of variables368888
Number of clauses1100500
Sum of the clauses size2567832
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2733666
Number of clauses of size 3366833
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
1.13/1.13	c ==============================================================================
1.13/1.13	c |           |     ORIGINAL     |              LEARNT              |          |
1.13/1.13	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.13/1.13	c ==============================================================================
1.13/1.13	c |         0 | 1100499  2567831 |  330149       0        0     nan |  0.000 % |
7.42/7.47	c |         0 |  456317  1844839 |      --       0       --      -- |     --   | -644180/-722987
7.42/7.48	c ==============================================================================
7.42/7.48	c Result  :   #vars: 56393   #clauses: 456317   #literals: 1844839
7.42/7.48	c CPU time:   7.11 s
7.42/7.48	c ==============================================================================
8.12/8.13	c This is MiniSat 2.0 beta
8.12/8.13	c WARNING: for repeatability, setting FPU to use double precision
8.12/8.13	c ============================[ Problem Statistics ]=============================
8.12/8.13	c |                                                                             |
8.12/8.14	c |  Number of variables:  56393                                                |
8.12/8.14	c |  Number of clauses:    456317                                               |
8.14/8.51	c |  Parsing time:         0.35         s                                       |
8.14/8.54	c ============================[ Search Statistics ]==============================
8.14/8.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.14/8.54	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.14/8.54	c ===============================================================================
8.14/8.54	c |         0 |   56393   456317  1844839 |   152105        0    nan |  0.000 % |
8.82/8.84	c |       512 |   56385   456317  1844839 |   152105      509     18 |  0.032 % |
9.01/9.06	c |      1025 |   56382   456317  1844839 |   152105     1020     19 |  0.121 % |
9.51/9.56	c |      1537 |   56378   456317  1844839 |   152105     1532     20 |  0.121 % |
9.92/9.93	c |      2561 |   56373   456317  1844839 |   152105     2553     23 |  0.165 % |
10.01/10.01	c |      3074 |   56373   456317  1844839 |   152105     3066     25 |  0.165 % |
10.21/10.22	c |      3586 |   56373   456317  1844839 |   152105     3578     26 |  0.165 % |
10.41/10.49	c |      4611 |   56300   453731  1834906 |   152105     4586     24 |  0.165 % |
11.41/11.47	c |      6659 |   56300   453731  1834906 |   152105     6634     27 |  0.165 % |
11.81/11.82	c |      7171 |   56298   453731  1834906 |   152105     7145     26 |  0.168 % |
12.21/12.23	c |      7683 |   56298   453731  1834906 |   152105     7657     26 |  0.168 % |
12.51/12.54	c |      8707 |   56298   453694  1834764 |   152105     8156     26 |  0.168 % |
12.61/12.70	c |      9221 |   56298   453694  1834764 |   152105     8670     27 |  0.168 % |
12.71/12.76	c |      9733 |   56298   453694  1834764 |   152105     9182     27 |  0.168 % |
13.11/13.12	c |     10757 |   56298   453694  1834764 | 2147483647    10206     27 |  0.168 % |
13.71/13.73	c |     12805 |   56298   453694  1834764 | 2147483647    12254     29 |  0.168 % |
15.21/15.23	c |     16902 |   56298   453694  1834764 | 2147483647    16351     35 |  0.168 % |
15.61/15.69	c |     17415 |   56298   453694  1834764 | 2147483647    16864     35 |  0.168 % |
15.81/15.89	c |     17928 |   56294   453671  1834710 | 2147483647    17376     34 |  0.176 % |
16.31/16.34	c |     18952 |   56294   453671  1834710 | 2147483647    18400     35 |  0.176 % |
16.52/16.55	c |     19465 |   56294   453671  1834710 | 2147483647    18913     34 |  0.176 % |
16.61/16.62	c |     19977 |   56293   453671  1834710 | 2147483647    19424     34 |  0.206 % |
16.61/16.70	c |     21003 |   56293   453671  1834710 | 2147483647    20450     35 |  0.206 % |
17.21/17.24	c |     23051 |   56293   453671  1834710 | 2147483647    22498     35 |  0.206 % |
17.31/17.31	c |     23563 |   56293   453671  1834710 | 2147483647    23010     35 |  0.206 % |
17.41/17.43	c |     24075 |   56293   453671  1834710 | 2147483647    23522     35 |  0.206 % |
17.51/17.56	c |     25099 |   56293   453671  1834710 | 2147483647    24546     36 |  0.206 % |
17.71/17.77	c |     25611 |   56293   453671  1834710 | 2147483647    25058     36 |  0.206 % |
17.91/17.96	c |     26123 |   56293   453671  1834710 | 2147483647    25570     37 |  0.206 % |
18.31/18.35	c |     27147 |   56277   453577  1834441 | 2147483647    26594     37 |  0.206 % |
18.61/18.66	c |     29195 |   56264   453577  1834441 | 2147483647    28640     36 |  0.250 % |
19.82/19.88	c |     33291 |   56264   453577  1834441 | 2147483647    32736     40 |  0.250 % |
22.02/22.07	c |     41483 |   56264   453577  1834441 | 2147483647    40928     41 |  0.250 % |
22.11/22.19	c |     41997 |   56252   452727  1830470 | 2147483647    41436     41 |  0.250 % |
22.31/22.37	c |     42509 |   56252   452727  1830470 | 2147483647    41948     41 |  0.250 % |
22.61/22.69	c |     43533 |   56252   452727  1830470 | 2147483647    42972     41 |  0.250 % |
22.71/22.78	c |     44045 |   56249   452727  1830470 | 2147483647    43482     41 |  0.270 % |
23.01/23.05	c |     44559 |   56249   452727  1830470 | 2147483647    43996     41 |  0.270 % |
23.21/23.28	c |     45583 |   56249   452727  1830470 | 2147483647    45020     41 |  0.270 % |
23.41/23.48	c |     47632 |   56249   452727  1830470 | 2147483647    47069     41 |  0.270 % |
23.91/23.94	c |     48144 |   56249   452727  1830470 | 2147483647    47581     42 |  0.270 % |
24.11/24.15	c |     48657 |   56248   452727  1830470 | 2147483647    48093     42 |  0.273 % |
24.31/24.36	c |     49682 |   56248   452727  1830470 | 2147483647    49118     42 |  0.273 % |
24.41/24.43	c |     50194 |   56248   452727  1830470 | 2147483647    49630     42 |  0.273 % |
24.71/24.75	c |     50706 |   56248   452727  1830470 | 2147483647    50142     42 |  0.273 % |
24.81/24.87	c |     51730 |   56248   452727  1830470 | 2147483647    51166     41 |  0.273 % |
25.32/25.36	c |     53778 |   56248   452727  1830470 | 2147483647    53214     41 |  0.273 % |
26.01/26.10	c |     57874 |   56248   452727  1830470 | 2147483647    57310     42 |  0.273 % |
26.21/26.30	c |     58387 |   56238   452408  1829463 | 2147483647    57818     42 |  0.289 % |
26.51/26.52	c |     58899 |   56238   452408  1829463 | 2147483647    58330     42 |  0.289 % |
26.81/26.81	c |     59925 |   56238   452408  1829463 | 2147483647    59356     42 |  0.289 % |
27.01/27.07	c |     60438 |   56238   452408  1829463 | 2147483647    59869     42 |  0.289 % |
27.11/27.18	c |     60950 |   56238   452408  1829463 | 2147483647    60381     42 |  0.289 % |
27.31/27.39	c |     61976 |   56238   452408  1829463 | 2147483647    61407     42 |  0.289 % |
27.81/27.82	c |     64025 |   56238   452408  1829463 | 2147483647    63456     42 |  0.289 % |
28.11/28.13	c |     64537 |   56238   452408  1829463 | 2147483647    63968     42 |  0.289 % |
28.21/28.24	c |     65050 |   56238   452408  1829463 | 2147483647    64481     42 |  0.289 % |
28.41/28.42	c |     66077 |   56238   452408  1829463 | 2147483647    65508     43 |  0.289 % |
28.51/28.53	c |     66589 |   56235   452408  1829463 | 2147483647    66019     43 |  0.298 % |
28.81/28.81	c |     67101 |   56235   452408  1829463 | 2147483647    66531     43 |  0.298 % |
29.42/29.48	c |     68126 |   56235   452408  1829463 | 2147483647    67556     43 |  0.298 % |
29.92/29.93	c |     70176 |   56235   452408  1829463 | 2147483647    69606     42 |  0.298 % |
30.62/30.62	c |     74272 |   56235   452408  1829463 | 2147483647    73702     43 |  0.298 % |
32.32/32.36	c |     82464 |   56225   452271  1829021 | 2147483647    81824     45 |  0.298 % |
35.02/35.04	c |     98848 |   56225   452271  1829021 |    89360    65456     44 |  0.298 % |
35.22/35.26	c |     99361 |   56225   452271  1829021 |    89360    65969     44 |  0.298 % |
35.32/35.38	c |     99874 |   56225   452271  1829021 |    89360    66482     44 |  0.298 % |
35.52/35.54	c |    100898 |   56225   452271  1829021 |    66608    46337     43 |  0.298 % |
35.62/35.62	c |    101410 |   56225   452271  1829021 |    66608    46848     43 |  0.312 % |
35.72/35.75	c |    101922 |   56225   452271  1829021 |    66608    47360     43 |  0.312 % |
36.02/36.04	c |    102946 |   56222   452271  1829021 |    66608    48384     43 |  0.312 % |
37.02/37.03	c |    104994 |   56222   452271  1829021 |    66608    50432     44 |  0.312 % |
37.12/37.21	c |    105506 |   56222   452271  1829021 |    66608    50944     44 |  0.312 % |
37.22/37.30	c |    106018 |   56222   452271  1829021 |    66608    51456     44 |  0.312 % |
37.62/37.67	c |    107047 |   56222   452271  1829021 |    66608    52485     44 |  0.312 % |
38.02/38.02	c |    107561 |   56222   452271  1829021 |    66608    52999     44 |  0.312 % |
38.12/38.17	c |    108073 |   56222   452271  1829021 |    66608    53511     44 |  0.312 % |
38.52/38.52	c |    109097 |   56222   452271  1829021 |    66608    54535     44 |  0.312 % |
39.02/39.10	c |    111146 |   56222   452271  1829021 |    55438    56584     44 |  0.312 % |
40.22/40.26	c |    115243 |   56222   452271  1829021 |    55438    48128     45 |  0.312 % |
40.52/40.58	c |    115755 |   56217   452198  1828796 |    55438    48639     44 |  0.312 % |
40.92/40.93	c |    116267 |   56217   452198  1828796 |    55438    49151     44 |  0.312 % |
41.02/41.10	c |    117291 |   56217   452198  1828796 |    55438    50175     44 |  0.312 % |
41.22/41.30	c |    117803 |   56217   452198  1828796 |    55438    50687     44 |  0.312 % |
41.62/41.66	c |    118315 |   56217   452198  1828796 |    55438    51199     44 |  0.312 % |
41.92/41.94	c |    119340 |   56216   452198  1828796 |    55438    52223     44 |  0.316 % |
42.42/42.50	c |    121388 |   56216   452198  1828796 | 2147483647    54271     45 |  0.316 % |
42.62/42.64	c |    121902 |   56216   452198  1828796 | 2147483647    54785     45 |  0.316 % |
42.82/42.90	c |    122416 |   56216   452198  1828796 | 2147483647    55299     45 |  0.316 % |
43.32/43.35	c |    123441 |   56216   452198  1828796 | 2147483647    56324     45 |  0.316 % |
43.62/43.69	c |    123953 |   56215   452198  1828796 | 2147483647    56836     45 |  0.316 % |
43.92/43.92	c |    124465 |   56215   452198  1828796 | 2147483647    57348     45 |  0.316 % |
44.32/44.33	c |    125491 |   56215   452198  1828796 | 2147483647    58374     44 |  0.316 % |
44.52/44.60	c |    127539 |   56215   452198  1828796 | 2147483647    60422     44 |  0.316 % |
46.22/46.22	c |    131635 |   56215   452198  1828796 |    62884    64518     45 |  0.316 % |
48.42/48.46	c |    139829 |   56215   452059  1828219 |    62884    62187     41 |  0.316 % |
48.52/48.55	c |    140343 |   56215   452059  1828219 |    62358    62701     41 |  0.316 % |
48.92/48.95	c |    140855 |   56215   452059  1828219 |    62358    53382     41 |  0.316 % |
49.02/49.08	c |    141880 |   56215   452059  1828219 |    62358    54407     40 |  0.316 % |
49.22/49.25	c |    142393 |   56215   452059  1828219 |    62358    54920     40 |  0.316 % |
49.32/49.38	c |    142905 |   56215   452059  1828219 |    62358    55432     40 |  0.316 % |
49.52/49.58	c |    143930 |   56215   452059  1828219 |    62358    56457     40 |  0.316 % |
49.92/49.99	c |    145979 |   56215   452059  1828219 |    62358    58506     40 |  0.316 % |
50.02/50.09	c |    146494 |   56215   452059  1828219 |    62358    59021     40 |  0.316 % |
50.22/50.30	c |    147007 |   56215   452059  1828219 |    62358    59534     40 |  0.316 % |
50.52/50.53	c |    148033 |   56215   452059  1828219 |    62358    60560     40 |  0.316 % |
50.62/50.66	c |    148547 |   56215   452059  1828219 |    62358    61074     40 |  0.316 % |
50.72/50.74	c |    149059 |   56215   452059  1828219 |    62358    61586     40 |  0.316 % |
50.92/50.99	c |    150083 |   56215   452059  1828219 |    62528    62610     40 |  0.316 % |
51.52/51.58	c |    152132 |   56215   452059  1828219 |    62528    64659     40 |  0.316 % |
52.62/52.64	c |    156228 |   56215   452059  1828219 |    62528    62290     40 |  0.316 % |
52.92/52.93	c |    156743 |   56215   452059  1828219 |    62528    62805     40 |  0.316 % |
53.22/53.23	c |    157258 |   56215   452059  1828219 |    62528    57040     39 |  0.316 % |
53.52/53.57	c |    158285 |   56215   452059  1828219 |    62528    58067     40 |  0.316 % |
53.52/53.61	c |    158797 |   56215   452059  1828219 |    62528    58579     40 |  0.316 % |
53.92/53.93	c |    159309 |   56215   452059  1828219 |    62528    59091     40 |  0.316 % |
54.12/54.17	c |    160334 |   56215   452059  1828219 | 2147483647    60116     40 |  0.316 % |
55.22/55.25	c |    162382 |   56215   452059  1828219 | 2147483647    62164     40 |  0.316 % |
55.22/55.30	c |    162895 |   56215   452059  1828219 | 2147483647    62677     40 |  0.316 % |
55.42/55.48	c |    163407 |   56215   452059  1828219 | 2147483647    63189     40 |  0.316 % |
55.82/55.90	c |    164433 |   56215   452059  1828219 | 2147483647    64215     40 |  0.316 % |
56.12/56.13	c |    164946 |   56215   452059  1828219 | 2147483647    64728     40 |  0.316 % |
56.22/56.25	c |    165458 |   56215   452059  1828219 | 2147483647    65240     40 |  0.316 % |
56.42/56.43	c |    166482 |   56215   452059  1828219 | 2147483647    66264     40 |  0.316 % |
56.92/56.96	c |    168536 |   56215   452059  1828219 | 2147483647    68318     40 |  0.316 % |
57.92/57.97	c |    172632 |   56215   452059  1828219 | 2147483647    72414     41 |  0.316 % |
59.02/59.02	c |    180828 |   56215   452059  1828219 |    79782    80610     39 |  0.316 % |
64.22/64.23	c |    197212 |   56215   452059  1828219 |    69806    69584     38 |  0.316 % |
78.72/78.79	c |    229980 |   56215   452059  1828219 |    84213    74357     45 |  0.316 % |
79.02/79.10	c |    230492 |   56215   452059  1828219 |    74377    74869     45 |  0.316 % |
79.42/79.42	c |    231005 |   56215   452059  1828219 |    74377    66372     46 |  0.316 % |
79.82/79.84	c |    232031 |   56188   451401  1824750 |    74377    67379     45 |  0.364 % |
80.02/80.01	c |    232544 |   56188   451401  1824750 |    74377    67892     45 |  0.364 % |
80.33/80.41	c |    233056 |   56188   451401  1824750 |    74377    68404     45 |  0.364 % |
80.62/80.68	c |    234080 |   56188   451401  1824750 |    74377    69428     45 |  0.364 % |
80.82/80.91	c |    236132 |   56188   451401  1824750 |    74377    71480     45 |  0.364 % |
81.12/81.12	c |    236644 |   56188   451401  1824750 |    74377    71992     45 |  0.364 % |
81.22/81.27	c |    237157 |   56183   451401  1824750 |    74377    72503     45 |  0.385 % |
81.82/81.86	c |    238182 |   56183   451401  1824750 |    74377    73528     45 |  0.385 % |
81.92/81.97	c |    238694 |   56183   451401  1824750 |    74377    74040     45 |  0.385 % |
82.22/82.30	c |    239206 |   56183   451401  1824750 |    74377    74552     45 |  0.385 % |
83.02/83.05	c |    240231 |   56183   451401  1824750 | 2147483647    75577     45 |  0.385 % |
83.72/83.72	c |    242281 |   56183   451401  1824750 | 2147483647    77627     45 |  0.385 % |
84.92/85.00	c |    246377 |   56183   451401  1824750 | 2147483647    81723     45 |  0.385 % |
85.02/85.04	c |    246889 |   56183   451401  1824750 | 2147483647    82235     45 |  0.385 % |
85.42/85.44	c |    247401 |   56183   451401  1824750 | 2147483647    82747     45 |  0.385 % |
85.52/85.59	c |    248425 |   56183   451401  1824750 | 2147483647    83771     45 |  0.385 % |
85.83/85.83	c |    248938 |   56176   451199  1824034 | 2147483647    84254     45 |  0.385 % |
86.12/86.16	c |    249451 |   56176   451199  1824034 | 2147483647    84767     45 |  0.385 % |
86.52/86.55	c |    250477 |   56176   451199  1824034 | 2147483647    85793     45 |  0.385 % |
86.93/87.00	c |    252529 |   56176   451199  1824034 | 2147483647    87845     45 |  0.385 % |
87.12/87.15	c |    253042 |   56176   451199  1824034 | 2147483647    88358     45 |  0.385 % |
87.52/87.54	c |    253554 |   56176   451199  1824034 | 2147483647    88870     45 |  0.385 % |
87.82/87.88	c |    254579 |   56176   451199  1824034 | 2147483647    89895     45 |  0.385 % |
87.92/87.96	c |    255093 |   56176   451199  1824034 | 2147483647    90409     45 |  0.385 % |
88.22/88.27	c |    255605 |   56176   451199  1824034 | 2147483647    90921     45 |  0.385 % |
88.52/88.51	c |    256629 |   56176   451199  1824034 | 2147483647    91945     44 |  0.385 % |
88.92/88.99	c |    258677 |   56176   451199  1824034 | 2147483647    93993     44 |  0.385 % |
90.92/91.00	c |    262777 |   56176   451199  1824034 |    95319    98093     45 |  0.385 % |
93.72/93.77	c |    270969 |   56176   451199  1824034 |    90378    91347     47 |  0.385 % |
94.02/94.05	c |    271481 |   56176   451199  1824034 |    90378    71589     45 |  0.385 % |
94.32/94.38	c |    271994 |   56176   451199  1824034 |    90378    72102     45 |  0.385 % |
94.63/94.66	c |    273018 |   56176   451199  1824034 |    90378    73126     45 |  0.385 % |
94.92/94.99	c |    273530 |   56176   451199  1824034 |    90378    73638     45 |  0.385 % |
95.32/95.37	c |    274042 |   56176   451199  1824034 |    90378    74150     45 |  0.385 % |
95.52/95.59	c |    275066 |   56176   451199  1824034 |    90378    75174     45 |  0.385 % |
96.62/96.70	c |    277114 |   56176   451199  1824034 |    90378    77222     46 |  0.385 % |
97.32/97.33	c |    277627 |   56176   451199  1824034 |    90378    77735     46 |  0.385 % |
97.62/97.69	c |    278139 |   56176   451199  1824034 |    90378    78247     46 |  0.385 % |
97.82/97.91	c |    279163 |   56176   451199  1824034 |    90378    79271     46 |  0.385 % |
98.22/98.22	c |    279675 |   56176   451199  1824034 |    90378    79783     46 |  0.385 % |
98.32/98.36	c |    280187 |   56176   451199  1824034 | 2147483647    80295     45 |  0.385 % |
98.52/98.57	c |    281212 |   56176   451199  1824034 | 2147483647    81320     46 |  0.385 % |
98.82/98.86	c |    283264 |   56176   451199  1824034 | 2147483647    83372     45 |  0.385 % |
100.32/100.36	c |    287360 |   56176   451199  1824034 | 2147483647    87468     45 |  0.385 % |
100.72/100.76	c |    287872 |   56176   451199  1824034 | 2147483647    87980     45 |  0.385 % |
100.82/100.86	c |    288385 |   56176   451199  1824034 | 2147483647    88493     45 |  0.385 % |
101.52/101.55	c |    289409 |   56176   451199  1824034 | 2147483647    89517     45 |  0.385 % |
101.82/101.86	c |    289921 |   56176   451199  1824034 | 2147483647    90029     45 |  0.385 % |
102.22/102.23	c |    290434 |   56176   451199  1824034 |    90108    90542     45 |  0.385 % |
102.82/102.82	c |    291459 |   56176   451199  1824034 |    90108    82313     43 |  0.385 % |
103.22/103.28	c |    293508 |   56176   451199  1824034 |    90108    84362     43 |  0.385 % |
103.72/103.74	c |    294022 |   56176   451199  1824034 |    90108    84876     43 |  0.385 % |
104.02/104.05	c |    294534 |   56176   451199  1824034 |    90108    85388     43 |  0.385 % |
104.42/104.44	c |    295559 |   56176   451199  1824034 |    90108    86413     43 |  0.385 % |
104.62/104.62	c |    296073 |   56176   451199  1824034 |    90108    86927     43 |  0.385 % |
105.02/105.05	c |    296585 |   56176   451199  1824034 |    90108    87439     43 |  0.385 % |
105.42/105.43	c |    297609 |   56176   451199  1824034 |    90108    88463     43 |  0.385 % |
105.72/105.81	c |    299657 |   56176   451199  1824034 |    90108    90511     43 |  0.385 % |
107.62/107.71	c |    303753 |   56176   451199  1824034 |    77640    81393     43 |  0.385 % |
110.12/110.15	c |    311945 |   56176   451199  1824034 |    78628    80572     43 |  0.385 % |
115.03/115.05	c |    328330 |   56118   449344  1817633 |    69842    61461     41 |  0.488 % |
115.33/115.38	c |    328843 |   56118   449344  1817633 |    69842    61974     41 |  0.488 % |
115.63/115.68	c |    329355 |   56118   449344  1817633 |    69842    62486     41 |  0.488 % |
116.03/116.03	c |    330379 |   56118   449344  1817633 |    63132    63510     41 |  0.488 % |
116.23/116.28	c |    330891 |   56117   449344  1817633 |    63132    54697     42 |  0.502 % |
116.43/116.46	c |    331404 |   56117   449344  1817633 |    63132    55210     42 |  0.502 % |
116.83/116.84	c |    332428 |   56117   449344  1817633 |    63132    56234     42 |  0.502 % |
117.93/117.98	c |    334476 |   56117   449344  1817633 |    63132    58282     41 |  0.502 % |
118.13/118.18	c |    334988 |   56110   449078  1816816 |    63132    58792     41 |  0.502 % |
118.33/118.34	c |    335500 |   56110   449078  1816816 |    63132    59304     41 |  0.502 % |
118.73/118.76	c |    336526 |   56110   449078  1816816 |    63132    60330     41 |  0.502 % |
119.03/119.05	c |    337038 |   56110   449078  1816816 |    63132    60842     41 |  0.502 % |
119.23/119.24	c |    337550 |   56110   449078  1816816 |    63132    61354     41 |  0.502 % |
119.73/119.76	c |    338575 |   56110   449078  1816816 |    63132    62379     42 |  0.502 % |
120.63/120.68	c |    340623 |   56110   449078  1816816 | 2147483647    64427     42 |  0.502 % |
123.23/123.26	c |    344719 |   56110   449078  1816816 | 2147483647    68523     44 |  0.502 % |
123.33/123.38	c |    345231 |   56110   449078  1816816 | 2147483647    69035     44 |  0.502 % |
123.53/123.58	c |    345744 |   56110   449078  1816816 | 2147483647    69548     44 |  0.502 % |
123.73/123.72	c |    346768 |   56110   449078  1816816 | 2147483647    70572     43 |  0.502 % |
123.93/123.99	c |    347282 |   56110   449078  1816816 | 2147483647    71086     43 |  0.502 % |
124.13/124.16	c |    347795 |   56110   449078  1816816 | 2147483647    71599     43 |  0.502 % |
124.43/124.49	c |    348825 |   56110   449078  1816816 | 2147483647    72629     44 |  0.502 % |
124.83/124.90	c |    350873 |   56110   449078  1816816 | 2147483647    74677     44 |  0.502 % |
125.23/125.30	c |    351387 |   56092   448867  1816074 | 2147483647    75180     44 |  0.534 % |
125.43/125.43	c |    351899 |   56079   448867  1816074 | 2147483647    75691     44 |  0.582 % |
125.83/125.91	c |    352923 |   56079   448867  1816074 | 2147483647    76715     44 |  0.582 % |
126.23/126.23	c |    353438 |   56079   448867  1816074 | 2147483647    77230     44 |  0.582 % |
126.43/126.47	c |    353951 |   56079   448867  1816074 | 2147483647    77743     44 |  0.582 % |
127.03/127.10	c |    354976 |   56079   448867  1816074 | 2147483647    78768     44 |  0.582 % |
127.33/127.41	c |    357025 |   56079   448867  1816074 | 2147483647    80817     44 |  0.582 % |
129.03/129.07	c |    361121 |   56079   448867  1816074 | 2147483647    84913     43 |  0.582 % |
132.23/132.30	c |    369313 |   56079   448867  1816074 | 2147483647    93105     42 |  0.582 % |
132.63/132.71	c |    369825 |   56079   448867  1816074 | 2147483647    93617     42 |  0.582 % |
133.03/133.06	c |    370338 |   56079   448867  1816074 |    93793    94130     43 |  0.582 % |
133.43/133.49	c |    371362 |   56065   448465  1814672 |    93793    85309     41 |  0.582 % |
133.63/133.66	c |    371874 |   56065   448465  1814672 |    93793    85821     41 |  0.582 % |
133.93/133.99	c |    372386 |   56065   448465  1814672 |    93793    86333     41 |  0.582 % |
134.23/134.23	c |    373411 |   56065   448465  1814672 |    93793    87358     42 |  0.582 % |
134.73/134.76	c |    375460 |   56065   448465  1814672 |    93793    89407     42 |  0.582 % |
134.83/134.90	c |    375972 |   56065   448465  1814672 |    93793    89919     42 |  0.582 % |
135.03/135.07	c |    376485 |   56065   448465  1814672 |    93793    90432     42 |  0.582 % |
135.43/135.42	c |    377511 |   56065   448465  1814672 |    93793    91458     42 |  0.582 % |
135.63/135.66	c |    378023 |   56065   448465  1814672 |    93793    91970     42 |  0.582 % |
135.83/135.87	c |    378536 |   56065   448465  1814672 |    93793    92483     42 |  0.582 % |
136.03/136.02	c |    379560 |   56065   448465  1814672 |    93793    93507     42 |  0.582 % |
137.13/137.12	c |    381608 |   56065   448465  1814672 |    93947    95555     42 |  0.582 % |
139.03/139.02	c |    385706 |   56061   448465  1814672 |    93947    87099     40 |  0.599 % |
139.23/139.30	c |    386218 |   56061   448465  1814672 |    93947    87611     40 |  0.599 % |
139.43/139.51	c |    386730 |   56061   448465  1814672 |    93947    88123     40 |  0.599 % |
139.83/139.83	c |    387754 |   56061   448465  1814672 |    93947    89147     40 |  0.599 % |
139.93/139.94	c |    388267 |   56061   448465  1814672 |    93947    89660     40 |  0.599 % |
140.23/140.31	c |    388779 |   56061   448465  1814672 |    93947    90172     40 |  0.599 % |
140.73/140.74	c |    389804 |   56061   448465  1814672 |    93947    91197     40 |  0.599 % |
141.83/141.84	c |    391852 |   56061   448465  1814672 |    91394    93245     40 |  0.599 % |
142.13/142.18	c |    392366 |   56061   448465  1814672 |    91394    83863     40 |  0.599 % |
142.33/142.33	c |    392887 |   56061   448465  1814672 |    91394    84384     40 |  0.599 % |
142.53/142.58	c |    393911 |   56061   448465  1814672 |    91394    85408     40 |  0.599 % |
142.73/142.78	c |    394423 |   56061   448465  1814672 |    91394    85920     40 |  0.599 % |
143.03/143.11	c |    394936 |   56061   448465  1814672 |    91394    86433     40 |  0.599 % |
143.63/143.63	c |    395960 |   56055   448402  1814478 |    91394    87457     40 |  0.599 % |
144.13/144.15	c |    398008 |   56055   448402  1814478 |    91394    89505     40 |  0.599 % |
146.13/146.17	c |    402104 |   56055   448402  1814478 |    91497    93601     40 |  0.599 % |
151.53/151.60	c |    410296 |   56055   448402  1814478 | 2147483647    89527     41 |  0.599 % |
158.53/158.55	c |    426680 |   56055   448402  1814478 | 2147483647   105911     42 |  0.599 % |
167.03/167.08	c |    459448 |   55777   443512  1794077 |    65174    55918     37 |  1.092 % |
181.63/181.63	c |    524984 |   55773   443491  1793997 |    39084    29332     47 |  1.099 % |
181.83/181.90	c |    525496 |   55773   443491  1793997 |    39084    29844     47 |  1.099 % |
182.13/182.14	c |    526008 |   55773   443491  1793997 |    39084    30356     47 |  1.099 % |
182.23/182.26	c |    527038 |   55773   443491  1793997 |    39084    31386     46 |  1.099 % |
182.43/182.50	c |    527552 |   55773   443491  1793997 |    39084    31900     46 |  1.099 % |
182.93/182.93	c |    528064 |   55773   443491  1793997 |    39084    32412     45 |  1.099 % |
183.33/183.35	c |    529088 |   55773   443491  1793997 |    39084    33436     45 |  1.099 % |
184.23/184.26	c |    531136 |   55773   443491  1793997 | 2147483647    35484     45 |  1.099 % |
184.33/184.36	c |    531652 |   55773   443491  1793997 | 2147483647    36000     45 |  1.099 % |
184.53/184.55	c |    532164 |   55773   443491  1793997 | 2147483647    36512     45 |  1.099 % |
184.73/184.76	c |    533189 |   55773   443491  1793997 | 2147483647    37537     45 |  1.099 % |
184.93/184.93	c |    533701 |   55773   443491  1793997 | 2147483647    38049     45 |  1.099 % |
184.93/184.99	c |    534213 |   55773   443491  1793997 | 2147483647    38561     45 |  1.099 % |
185.43/185.50	c |    535237 |   55773   443491  1793997 | 2147483647    39585     44 |  1.099 % |
185.73/185.76	c |    537285 |   55773   443491  1793997 | 2147483647    41633     44 |  1.099 % |
186.43/186.47	c |    541382 |   55773   443491  1793997 | 2147483647    45730     44 |  1.099 % |
186.63/186.63	c |    541895 |   55773   443491  1793997 | 2147483647    46243     44 |  1.099 % |
186.83/186.86	c |    542407 |   55773   443491  1793997 | 2147483647    46755     45 |  1.099 % |
186.93/186.93	c |    543432 |   55773   443491  1793997 | 2147483647    47780     44 |  1.099 % |
187.04/187.05	c |    543945 |   55773   443491  1793997 | 2147483647    48293     44 |  1.099 % |
187.23/187.30	c |    544458 |   55773   443491  1793997 | 2147483647    48806     44 |  1.099 % |
187.43/187.43	c |    545482 |   55773   443491  1793997 | 2147483647    49830     44 |  1.099 % |
188.33/188.39	c |    547530 |   55773   443491  1793997 | 2147483647    51878     44 |  1.099 % |
188.53/188.58	c |    548042 |   55773   443491  1793997 | 2147483647    52390     44 |  1.099 % |
188.63/188.65	c |    548554 |   55773   443491  1793997 | 2147483647    52902     44 |  1.099 % |
189.24/189.23	c |    549579 |   55773   443491  1793997 | 2147483647    53927     44 |  1.099 % |
189.53/189.59	c |    550092 |   55773   443491  1793997 | 2147483647    54440     44 |  1.099 % |
189.73/189.76	c |    550604 |   55773   443491  1793997 | 2147483647    54952     44 |  1.099 % |
190.03/190.04	c |    551629 |   55773   443491  1793997 | 2147483647    55977     44 |  1.099 % |
190.13/190.17	c |    553677 |   55773   443491  1793997 | 2147483647    58025     43 |  1.099 % |
191.93/191.91	c |    557773 |   55773   443491  1793997 | 2147483647    62121     44 |  1.099 % |
193.13/193.14	c |    565970 |   55773   443491  1793997 | 2147483647    70318     43 |  1.099 % |
193.33/193.40	c |    566483 |   55773   443491  1793997 | 2147483647    70831     43 |  1.099 % |
193.53/193.52	c |    566995 |   55773   443491  1793997 | 2147483647    71343     43 |  1.099 % |
193.64/193.65	c |    568020 |   55773   443491  1793997 | 2147483647    72368     44 |  1.099 % |
193.74/193.72	c |    568534 |   55773   443491  1793997 | 2147483647    72882     44 |  1.099 % |
193.94/193.96	c |    569047 |   55773   443491  1793997 | 2147483647    73395     44 |  1.099 % |
194.44/194.44	c |    570071 |   55773   443491  1793997 |    74349    74419     44 |  1.099 % |
194.84/194.85	c |    572121 |   55773   443491  1793997 |    74349    76469     45 |  1.099 % |
195.04/195.06	c |    572633 |   55773   443491  1793997 |    74349    63645     42 |  1.099 % |
195.24/195.30	c |    573146 |   55773   443491  1793997 |    74349    64158     42 |  1.099 % |
195.74/195.81	c |    574172 |   55773   443491  1793997 |    74349    65184     42 |  1.099 % |
195.84/195.90	c |    574686 |   55773   443491  1793997 |    74349    65698     42 |  1.099 % |
196.14/196.22	c |    575198 |   55773   443491  1793997 |    74349    66210     42 |  1.099 % |
196.64/196.69	c |    576224 |   55773   443491  1793997 |    74349    67236     42 |  1.099 % |
196.94/197.01	c |    578272 |   55773   443491  1793997 |    74349    69284     42 |  1.099 % |
198.44/198.42	c |    582370 |   55773   443491  1793997 | 2147483647    73382     43 |  1.099 % |
198.64/198.66	c |    582882 |   55773   443491  1793997 | 2147483647    73894     43 |  1.099 % |
198.74/198.77	c |    583394 |   55773   443491  1793997 | 2147483647    74406     43 |  1.099 % |
199.44/199.43	c |    584419 |   55773   443491  1793997 | 2147483647    75431     43 |  1.099 % |
199.64/199.70	c |    584933 |   55773   443491  1793997 | 2147483647    75945     43 |  1.099 % |
200.04/200.07	c |    585445 |   55773   443491  1793997 | 2147483647    76457     43 |  1.099 % |
200.44/200.42	c |    586469 |   55773   443491  1793997 | 2147483647    77481     43 |  1.099 % |
201.54/201.58	c |    588518 |   55773   443491  1793997 | 2147483647    79530     44 |  1.099 % |
201.74/201.80	c |    589032 |   55771   443481  1793971 | 2147483647    79988     44 |  1.103 % |
202.14/202.18	c |    589544 |   55771   443481  1793971 | 2147483647    80500     44 |  1.103 % |
202.34/202.35	c |    590569 |   55771   443481  1793971 | 2147483647    81525     44 |  1.103 % |
202.64/202.66	c |    591081 |   55771   443481  1793971 | 2147483647    82037     44 |  1.103 % |
202.74/202.80	c |    591593 |   55771   443481  1793971 | 2147483647    82549     44 |  1.103 % |
203.04/203.09	c |    592617 |   55771   443481  1793971 | 2147483647    83573     44 |  1.103 % |
203.64/203.71	c |    594665 |   55771   443481  1793971 | 2147483647    85621     44 |  1.103 % |
204.34/204.33	c |    598761 |   55770   443481  1793971 | 2147483647    89716     44 |  1.115 % |
206.04/206.03	c |    606958 |   55770   443481  1793971 |    90955    70379     42 |  1.115 % |
211.34/211.32	c |    623342 |   55766   443481  1793971 |    54920    58262     40 |  1.115 % |
211.44/211.52	c |    623858 |   55766   443481  1793971 |    54920    40420     37 |  1.115 % |
211.74/211.80	c |    624370 |   55763   443481  1793971 |    54920    40931     37 |  1.121 % |
211.94/211.99	c |    625394 |   55763   443481  1793971 |    54920    41955     37 |  1.121 % |
212.34/212.34	c |    625907 |   55763   443481  1793971 |    54920    42468     37 |  1.121 % |
212.64/212.71	c |    626420 |   55763   443481  1793971 |    54920    42981     37 |  1.121 % |
212.94/212.97	c |    627444 |   55760   443337  1793363 |    54920    44000     37 |  1.122 % |
213.24/213.24	c |    629493 |   55760   443337  1793363 |    54920    46049     37 |  1.122 % |
213.54/213.52	c |    630005 |   55760   443337  1793363 |    46556    46561     37 |  1.122 % |
213.54/213.59	c |    630521 |   55760   443337  1793363 |    46556    47077     37 |  1.122 % |
213.84/213.84	c |    631547 |   55760   443337  1793363 |    46556    48103     37 |  1.122 % |
213.94/213.98	c |    632061 |   55760   443337  1793363 |    46556    42934     35 |  1.122 % |
214.14/214.20	c |    632573 |   55760   443337  1793363 |    46556    43446     35 |  1.122 % |
214.64/214.67	c |    633598 |   55760   443337  1793363 |    46556    44471     35 |  1.122 % |
215.54/215.59	c |    635647 |   55757   443337  1793363 |    46556    46518     36 |  1.163 % |
216.64/216.64	c |    639743 |   55756   443337  1793363 |    46556    50614     35 |  1.163 % |
217.04/217.04	c |    640255 |   55756   443337  1793363 | 2147483647    46065     36 |  1.163 % |
217.14/217.14	c |    640769 |   55756   443337  1793363 | 2147483647    46579     35 |  1.163 % |
217.64/217.64	c |    641793 |   55756   443337  1793363 | 2147483647    47603     36 |  1.163 % |
217.74/217.79	c |    642305 |   55737   442913  1791871 | 2147483647    48115     35 |  1.163 % |
217.94/217.96	c |    642818 |   55737   442913  1791871 | 2147483647    48628     36 |  1.163 % |
218.24/218.26	c |    643842 |   55737   442913  1791871 | 2147483647    49652     36 |  1.163 % |
218.94/218.95	c |    645890 |   55737   442913  1791871 | 2147483647    51700     38 |  1.163 % |
219.04/219.04	c |    646402 |   55737   442913  1791871 | 2147483647    52212     38 |  1.163 % |
219.14/219.16	c |    646916 |   55737   442913  1791871 | 2147483647    52726     37 |  1.163 % |
219.24/219.30	c |    647943 |   55737   442913  1791871 | 2147483647    53753     37 |  1.163 % |
219.54/219.60	c |    648455 |   55737   442913  1791871 | 2147483647    54265     38 |  1.163 % |
219.64/219.66	c |    648969 |   55737   442913  1791871 | 2147483647    54779     38 |  1.163 % |
220.14/220.13	c |    649993 |   55737   442913  1791871 | 2147483647    55803     38 |  1.163 % |
220.54/220.61	c |    652043 |   55737   442913  1791871 | 2147483647    57853     37 |  1.163 % |
221.74/221.79	c |    656139 |   55737   442913  1791871 | 2147483647    61949     39 |  1.163 % |
226.04/226.06	c |    664331 |   55737   442913  1791871 | 2147483647    70141     43 |  1.163 % |
226.14/226.19	c |    664843 |   55737   442913  1791871 | 2147483647    70653     43 |  1.163 % |
226.44/226.46	c |    665355 |   55737   442913  1791871 | 2147483647    71165     43 |  1.163 % |
226.94/226.93	c |    666379 |   55737   442913  1791871 | 2147483647    72189     43 |  1.163 % |
227.14/227.21	c |    666891 |   55737   442913  1791871 | 2147483647    72701     43 |  1.163 % |
227.44/227.43	c |    667404 |   55737   442913  1791871 | 2147483647    73214     43 |  1.163 % |
227.64/227.65	c |    668429 |   55737   442913  1791871 | 2147483647    74239     43 |  1.163 % |
228.64/228.70	c |    670477 |   55737   442913  1791871 | 2147483647    76287     45 |  1.163 % |
228.84/228.85	c |    670989 |   55737   442913  1791871 | 2147483647    76799     45 |  1.163 % |
229.04/229.09	c |    671501 |   55737   442913  1791871 | 2147483647    77311     45 |  1.163 % |
229.24/229.22	c |    672526 |   55737   442913  1791871 | 2147483647    78336     44 |  1.163 % |
229.44/229.44	c |    673040 |   55737   442913  1791871 | 2147483647    78850     45 |  1.163 % |
229.64/229.71	c |    673553 |   55737   442913  1791871 | 2147483647    79363     45 |  1.163 % |
230.34/230.33	c |    674577 |   55737   442913  1791871 | 2147483647    80387     44 |  1.163 % |
230.94/230.94	c |    676625 |   55737   442913  1791871 | 2147483647    82435     44 |  1.163 % |
232.04/232.09	c |    680721 |   55737   442913  1791871 |    85810    86531     44 |  1.163 % |
232.34/232.37	c |    681234 |   55737   442913  1791871 |    85810    73483     44 |  1.163 % |
232.64/232.66	c |    681746 |   55737   442913  1791871 |    85810    73995     44 |  1.163 % |
232.84/232.84	c |    682773 |   55737   442913  1791871 |    85810    75022     44 |  1.163 % |
233.14/233.13	c |    683285 |   55737   442913  1791871 |    85810    75534     44 |  1.163 % |
233.24/233.28	c |    683797 |   55737   442913  1791871 |    85810    76046     44 |  1.163 % |
233.64/233.71	c |    684821 |   55737   442913  1791871 |    85810    77070     44 |  1.163 % |
234.34/234.41	c |    686869 |   55737   442913  1791871 |    85810    79118     44 |  1.163 % |
234.74/234.77	c |    687381 |   55737   442913  1791871 |    85810    79630     44 |  1.163 % |
234.84/234.86	c |    687893 |   55737   442913  1791871 |    85810    80142     44 |  1.163 % |
235.44/235.43	c |    688917 |   55737   442913  1791871 |    85810    81166     44 |  1.163 % |
235.54/235.58	c |    689432 |   55737   442913  1791871 |    85810    81681     44 |  1.163 % |
235.64/235.71	c |    689944 |   55737   442913  1791871 |    85810    82193     44 |  1.163 % |
235.94/235.95	c |    690968 |   55737   442913  1791871 | 2147483647    83217     44 |  1.163 % |
236.74/236.79	c |    693018 |   55737   442913  1791871 | 2147483647    85267     44 |  1.163 % |
237.44/237.46	c |    697117 |   55737   442913  1791871 | 2147483647    89366     44 |  1.163 % |
240.74/240.77	c |    705309 |   55737   442913  1791871 |    92249    75871     45 |  1.163 % |
246.54/246.59	c |    721693 |   55737   442913  1791871 |    62595    64288     40 |  1.163 % |
254.15/254.16	c |    754461 |   55737   442913  1791871 |    45656    50117     41 |  1.163 % |
254.54/254.58	c |    754973 |   55732   442883  1791776 |    45656    41073     39 |  1.172 % |
254.74/254.73	c |    755486 |   55732   442883  1791776 |    45656    41586     39 |  1.172 % |
255.04/255.09	c |    756510 |   55732   442883  1791776 |    45656    42610     39 |  1.172 % |
255.34/255.41	c |    757024 |   55732   442883  1791776 |    45656    43124     39 |  1.172 % |
255.64/255.71	c |    757537 |   55732   442883  1791776 |    45656    43637     39 |  1.172 % |
255.84/255.91	c |    758564 |   55732   442883  1791776 |    45656    44664     39 |  1.172 % |
256.24/256.24	c |    760612 |   55732   442883  1791776 | 2147483647    46712     40 |  1.172 % |
256.35/256.36	c |    761124 |   55732   442883  1791776 | 2147483647    47224     40 |  1.172 % |
256.64/256.62	c |    761637 |   55732   442883  1791776 | 2147483647    47737     40 |  1.172 % |
257.14/257.17	c |    762661 |   55732   442883  1791776 | 2147483647    48761     40 |  1.172 % |
257.34/257.37	c |    763173 |   55732   442883  1791776 | 2147483647    49273     40 |  1.172 % |
257.45/257.51	c |    763685 |   55732   442883  1791776 | 2147483647    49785     40 |  1.172 % |
257.84/257.81	c |    764710 |   55732   442883  1791776 | 2147483647    50810     40 |  1.172 % |
258.64/258.62	c |    766762 |   55732   442883  1791776 | 2147483647    52862     40 |  1.172 % |
260.04/260.10	c |    770858 |   55732   442883  1791776 | 2147483647    56958     41 |  1.172 % |
260.14/260.20	c |    771370 |   55732   442883  1791776 | 2147483647    57470     41 |  1.172 % |
260.44/260.43	c |    771882 |   55732   442883  1791776 | 2147483647    57982     41 |  1.172 % |
260.84/260.90	c |    772907 |   55731   442805  1791555 | 2147483647    59005     41 |  1.174 % |
261.04/261.05	c |    773422 |   55731   442805  1791555 | 2147483647    59520     40 |  1.174 % |
261.34/261.32	c |    773934 |   55731   442805  1791555 | 2147483647    60032     41 |  1.174 % |
261.64/261.66	c |    774958 |   55731   442805  1791555 | 2147483647    61056     41 |  1.174 % |
262.14/262.12	c |    777006 |   55731   442805  1791555 | 2147483647    63104     42 |  1.174 % |
262.44/262.47	c |    777518 |   55731   442805  1791555 | 2147483647    63616     42 |  1.174 % |
262.54/262.61	c |    778030 |   55731   442805  1791555 | 2147483647    64128     42 |  1.174 % |
263.04/263.10	c |    779054 |   55731   442805  1791555 | 2147483647    65152     42 |  1.174 % |
263.44/263.43	c |    779566 |   55731   442805  1791555 | 2147483647    65664     42 |  1.174 % |
263.44/263.51	c |    780078 |   55731   442805  1791555 | 2147483647    66176     42 |  1.174 % |
263.84/263.87	c |    781103 |   55731   442805  1791555 | 2147483647    67201     42 |  1.174 % |
264.24/264.21	c |    783151 |   55731   442805  1791555 | 2147483647    69249     42 |  1.174 % |
264.84/264.89	c |    787247 |   55731   442805  1791555 | 2147483647    73345     42 |  1.174 % |
275.14/275.21	c |    795439 |   55731   442805  1791555 | 2147483647    81537     45 |  1.174 % |
275.44/275.50	c |    795954 |   55731   442805  1791555 | 2147483647    82052     45 |  1.174 % |
275.95/275.95	c |    796467 |   55731   442805  1791555 | 2147483647    82565     45 |  1.174 % |
276.05/276.10	c |    797491 |   55731   442805  1791555 | 2147483647    83589     45 |  1.174 % |
276.55/276.54	c |    798003 |   55731   442805  1791555 | 2147483647    84101     45 |  1.174 % |
276.65/276.63	c |    798519 |   55731   442805  1791555 | 2147483647    84617     45 |  1.174 % |
277.25/277.26	c |    799543 |   55731   442805  1791555 | 2147483647    85641     45 |  1.174 % |
277.95/277.99	c |    801591 |   55716   442203  1789413 | 2147483647    87686     45 |  1.201 % |
278.15/278.19	c |    802103 |   55716   442203  1789413 | 2147483647    88198     45 |  1.201 % |
278.35/278.41	c |    802617 |   55716   442203  1789413 | 2147483647    88712     45 |  1.201 % |
279.25/279.30	c |    803641 |   55716   442203  1789413 | 2147483647    89736     45 |  1.201 % |
279.45/279.45	c |    804154 |   55716   442203  1789413 | 2147483647    90249     45 |  1.201 % |
279.55/279.57	c |    804666 |   55716   442203  1789413 | 2147483647    90761     45 |  1.201 % |
280.05/280.10	c |    805694 |   55716   442203  1789413 | 2147483647    91789     45 |  1.201 % |
280.65/280.63	c |    807745 |   55716   442203  1789413 | 2147483647    93840     45 |  1.201 % |
281.75/281.77	c |    811842 |   55716   442203  1789413 | 2147483647    97937     45 |  1.201 % |
282.15/282.12	c |    812355 |   55716   442203  1789413 | 2147483647    98450     45 |  1.201 % |
282.25/282.29	c |    812868 |   55716   442203  1789413 | 2147483647    98963     45 |  1.201 % |
282.65/282.63	c |    813893 |   55716   442203  1789413 | 2147483647    99988     45 |  1.201 % |
282.85/282.90	c |    814406 |   55716   442203  1789413 | 2147483647   100501     45 |  1.201 % |
283.05/283.10	c |    814919 |   55716   442203  1789413 | 2147483647   101014     45 |  1.201 % |
283.15/283.21	c |    815943 |   55716   442203  1789413 | 2147483647   102038     45 |  1.201 % |
283.75/283.74	c |    817992 |   55716   442203  1789413 | 2147483647   104087     45 |  1.201 % |
283.95/283.94	c |    818505 |   55716   442203  1789413 | 2147483647   104600     45 |  1.201 % |
284.05/284.07	c |    819017 |   55716   442203  1789413 | 2147483647   105112     45 |  1.201 % |
284.75/284.72	c |    820046 |   55716   442203  1789413 |   106097   106141     45 |  1.201 % |
284.85/284.87	c |    820559 |   55716   442203  1789413 |   106097   106654     45 |  1.201 % |
285.05/285.03	c |    821072 |   55716   442203  1789413 |   106097   107167     45 |  1.201 % |
285.65/285.69	c |    822098 |   55716   442203  1789413 |   106097    83933     45 |  1.201 % |
287.15/287.20	c |    824149 |   55716   442203  1789413 |   106097    85984     46 |  1.201 % |
287.95/288.01	c |    828246 |   55716   442203  1789413 |   106097    90081     46 |  1.201 % |
289.45/289.45	c |    836438 |   55716   442203  1789413 |    91837    74404     42 |  1.201 % |
293.45/293.44	c |    852824 |   55715   442195  1789383 |    65328    68152     36 |  1.202 % |
293.65/293.64	c |    853339 |   55715   442195  1789383 |    65328    48815     35 |  1.202 % |
294.05/294.05	c |    853852 |   55715   442195  1789383 |    65328    49328     35 |  1.202 % |
294.35/294.35	c |    854876 |   55715   442195  1789383 |    65328    50352     34 |  1.202 % |
294.45/294.45	c |    855388 |   55715   442195  1789383 |    65328    50864     34 |  1.202 % |
294.55/294.54	c |    855901 |   55715   442195  1789383 |    65328    51377     35 |  1.202 % |
294.84/294.84	c |    856926 |   55715   442195  1789383 |    65328    52402     35 |  1.202 % |
295.54/295.52	c |    858974 |   55715   442195  1789383 |    65328    54450     35 |  1.202 % |
295.54/295.57	c |    859487 |   55715   442195  1789383 |    65328    54963     35 |  1.202 % |
295.84/295.87	c |    859999 |   55715   442195  1789383 |    65328    55475     35 |  1.202 % |
296.14/296.12	c |    861023 |   55715   442195  1789383 | 2147483647    56499     35 |  1.202 % |
296.34/296.36	c |    861535 |   55715   442195  1789383 | 2147483647    57011     35 |  1.202 % |
296.74/296.71	c |    862047 |   55715   442195  1789383 | 2147483647    57523     36 |  1.202 % |
297.14/297.18	c |    863072 |   55715   442195  1789383 | 2147483647    58548     36 |  1.202 % |
297.74/297.77	c |    865120 |   55713   442195  1789383 | 2147483647    60595     37 |  1.209 % |
299.64/299.71	c |    869216 |   55711   442135  1789208 | 2147483647    64690     36 |  1.209 % |
299.84/299.82	c |    869729 |   55711   442135  1789208 | 2147483647    65203     36 |  1.209 % |
300.04/300.02	c |    870242 |   55711   442135  1789208 |    65474    65716     36 |  1.209 % |
301.04/301.07	c |    871269 |   55711   442135  1789208 |    65474    66743     36 |  1.209 % |
301.34/301.39	c |    871783 |   55711   442135  1789208 |    65474    60583     35 |  1.209 % |
301.54/301.52	c |    872295 |   55711   442135  1789208 |    65474    61095     36 |  1.209 % |
301.64/301.65	c |    873321 |   55711   442135  1789208 |    65474    62121     36 |  1.209 % |
302.04/302.09	c |    875369 |   55711   442135  1789208 |    65474    64169     35 |  1.209 % |
302.44/302.42	c |    875882 |   55711   442135  1789208 |    65474    64682     36 |  1.209 % |
302.64/302.70	c |    876394 |   55711   442135  1789208 |    65474    65194     36 |  1.209 % |
302.84/302.90	c |    877418 |   55711   442135  1789208 |    65474    66218     36 |  1.209 % |
303.24/303.23	c |    877931 |   55711   442135  1789208 |    65474    59988     35 |  1.209 % |
303.34/303.36	c |    878444 |   55711   442135  1789208 |    65474    60501     35 |  1.209 % |
304.24/304.22	c |    879468 |   55711   442135  1789208 |    65474    61525     35 |  1.209 % |
304.84/304.88	c |    881517 |   55711   442135  1789208 | 2147483647    63574     35 |  1.209 % |
305.74/305.76	c |    885614 |   55711   442135  1789208 | 2147483647    67671     35 |  1.209 % |
307.74/307.73	c |    893807 |   55711   442135  1789208 |    72057    75864     35 |  1.209 % |
308.14/308.13	c |    894319 |   55711   442135  1789208 |    72057    51972     36 |  1.209 % |
308.54/308.53	c |    894831 |   55711   442135  1789208 |    72057    52484     36 |  1.209 % |
308.94/308.97	c |    895855 |   55711   442135  1789208 |    72057    53508     36 |  1.209 % |
309.14/309.16	c |    896368 |   55711   442135  1789208 |    72057    54021     36 |  1.209 % |
309.34/309.38	c |    896880 |   55711   442135  1789208 |    72057    54533     36 |  1.209 % |
309.64/309.64	c |    897906 |   55711   442135  1789208 |    72057    55559     36 |  1.209 % |
309.84/309.91	c |    899954 |   55711   442135  1789208 |    72057    57607     36 |  1.209 % |
310.24/310.29	c |    900467 |   55711   442135  1789208 |    57655    58120     36 |  1.209 % |
310.44/310.43	c |    900979 |   55711   442135  1789208 |    57655    58632     36 |  1.209 % |
310.94/310.92	c |    902003 |   55711   442135  1789208 |    57655    53793     36 |  1.209 % |
311.14/311.12	c |    902517 |   55711   442135  1789208 |    57655    54307     36 |  1.209 % |
311.34/311.35	c |    903030 |   55711   442135  1789208 |    57655    54820     36 |  1.209 % |
311.74/311.76	c |    904056 |   55711   442135  1789208 |    57655    55846     36 |  1.209 % |
312.14/312.16	c |    906105 |   55711   442135  1789208 |    57655    57895     36 |  1.209 % |
313.54/313.57	c |    910201 |   55711   442135  1789208 |    51433    51634     35 |  1.209 % |
313.74/313.79	c |    910713 |   55711   442135  1789208 |    51433    52146     35 |  1.209 % |
313.94/314.00	c |    911225 |   55711   442135  1789208 |    51433    47167     33 |  1.209 % |
314.24/314.25	c |    912249 |   55711   442135  1789208 |    51433    48191     34 |  1.209 % |
314.24/314.30	c |    912762 |   55711   442135  1789208 |    51433    48704     34 |  1.209 % |
314.54/314.57	c |    913274 |   55711   442135  1789208 |    51433    49216     34 |  1.209 % |
314.74/314.77	c |    914299 |   55711   442135  1789208 |    51433    50241     34 |  1.209 % |
315.84/315.88	c |    916347 |   55711   442135  1789208 |    51433    52289     35 |  1.209 % |
316.24/316.22	c |    916859 |   55711   442135  1789208 |    51433    47573     34 |  1.209 % |
316.44/316.50	c |    917372 |   55711   442135  1789208 |    51433    48086     34 |  1.209 % |
316.74/316.78	c |    918396 |   55711   442135  1789208 |    51433    49110     34 |  1.209 % |
316.94/316.95	c |    918908 |   55711   442135  1789208 |    51433    49622     34 |  1.209 % |
317.24/317.24	c |    919423 |   55711   442135  1789208 |    51433    50137     34 |  1.209 % |
317.54/317.59	c |    920448 |   55711   442135  1789208 | 2147483647    51162     35 |  1.209 % |
318.34/318.32	c |    922497 |   55711   442135  1789208 | 2147483647    53211     35 |  1.209 % |
319.14/319.12	c |    926594 |   55711   442135  1789208 | 2147483647    57308     35 |  1.209 % |
321.14/321.14	c |    934787 |   55711   442135  1789208 | 2147483647    65501     35 |  1.209 % |
324.24/324.31	c |    951171 |   55711   442135  1789208 |    80714    81885     35 |  1.209 % |
335.94/335.96	c |    983939 |   55711   442135  1789208 |    51858    38773     47 |  1.209 % |
363.85/363.87	c |   1049477 |   55711   442135  1789208 |    52864    41116     53 |  1.209 % |
401.95/401.92	c |   1180549 |   55711   442135  1789208 | 2147483647    56930     42 |  1.209 % |
402.05/402.08	c |   1181063 |   55711   442135  1789208 | 2147483647    57444     42 |  1.209 % |
402.45/402.49	c |   1181575 |   55711   442135  1789208 | 2147483647    57956     42 |  1.209 % |
402.75/402.72	c |   1182599 |   55711   442135  1789208 | 2147483647    58980     42 |  1.209 % |
403.05/403.06	c |   1183111 |   55711   442135  1789208 | 2147483647    59492     42 |  1.209 % |
403.25/403.29	c |   1183623 |   55711   442135  1789208 | 2147483647    60004     42 |  1.209 % |
403.45/403.47	c |   1184647 |   55711   442135  1789208 | 2147483647    61028     41 |  1.209 % |
403.95/403.93	c |   1186696 |   55711   442135  1789208 | 2147483647    63077     42 |  1.209 % |
404.25/404.22	c |   1187208 |   55711   442135  1789208 | 2147483647    63589     42 |  1.209 % |
404.35/404.40	c |   1187720 |   55711   442135  1789208 | 2147483647    64101     42 |  1.209 % |
404.55/404.58	c |   1188744 |   55711   442135  1789208 | 2147483647    65125     41 |  1.209 % |
404.85/404.90	c |   1189256 |   55711   442135  1789208 | 2147483647    65637     41 |  1.209 % |
405.05/405.09	c |   1189769 |   55711   442135  1789208 | 2147483647    66150     41 |  1.209 % |
405.25/405.22	c |   1190793 |   55711   442135  1789208 | 2147483647    67174     42 |  1.209 % |
405.35/405.41	c |   1192841 |   55711   442135  1789208 | 2147483647    69222     41 |  1.209 % |
407.06/407.10	c |   1196937 |   55711   442135  1789208 | 2147483647    73318     43 |  1.209 % |
407.35/407.34	c |   1197450 |   55711   442135  1789208 | 2147483647    73831     43 |  1.209 % |
407.45/407.47	c |   1197962 |   55711   442135  1789208 | 2147483647    74343     43 |  1.209 % |
407.55/407.58	c |   1198986 |   55711   442135  1789208 | 2147483647    75367     43 |  1.209 % |
407.95/407.93	c |   1199498 |   55711   442135  1789208 | 2147483647    75879     43 |  1.209 % |
408.25/408.29	c |   1200012 |   55711   442135  1789208 | 2147483647    76393     43 |  1.209 % |
408.45/408.46	c |   1201036 |   55711   442135  1789208 | 2147483647    77417     43 |  1.209 % |
409.05/409.10	c |   1203084 |   55711   442135  1789208 | 2147483647    79465     43 |  1.209 % |
409.26/409.26	c |   1203597 |   55711   442135  1789208 | 2147483647    79978     43 |  1.209 % |
409.55/409.59	c |   1204110 |   55711   442135  1789208 | 2147483647    80491     43 |  1.209 % |
409.95/409.94	c |   1205134 |   55711   442135  1789208 | 2147483647    81515     43 |  1.209 % |
410.25/410.23	c |   1205647 |   55711   442135  1789208 | 2147483647    82028     43 |  1.209 % |
410.45/410.46	c |   1206160 |   55711   442135  1789208 | 2147483647    82541     43 |  1.209 % |
410.65/410.64	c |   1207184 |   55711   442135  1789208 | 2147483647    83565     43 |  1.209 % |
411.15/411.18	c |   1209233 |   55711   442135  1789208 | 2147483647    85614     43 |  1.209 % |
412.85/412.82	c |   1213331 |   55711   442135  1789208 |    86381    89712     44 |  1.209 % |
414.15/414.19	c |   1221524 |   55711   442135  1789208 |    77094    78617     45 |  1.209 % |
414.55/414.51	c |   1222041 |   55711   442135  1789208 |    77094    62235     46 |  1.209 % |
414.55/414.61	c |   1222556 |   55711   442135  1789208 |    77094    62750     46 |  1.209 % |
414.95/415.00	c |   1223588 |   55710   442131  1789197 |    77094    63781     46 |  1.211 % |
415.25/415.24	c |   1224100 |   55710   442131  1789197 |    77094    64293     46 |  1.211 % |
415.35/415.36	c |   1224614 |   55710   442131  1789197 |    77094    64807     46 |  1.211 % |
415.55/415.58	c |   1225638 |   55710   442131  1789197 |    77094    65831     46 |  1.211 % |
416.15/416.14	c |   1227687 |   55710   442131  1789197 |    77094    67880     46 |  1.211 % |
416.35/416.34	c |   1228201 |   55710   442131  1789197 |    77094    68394     46 |  1.211 % |
416.65/416.63	c |   1228713 |   55710   442131  1789197 |    77094    68906     46 |  1.211 % |
417.25/417.27	c |   1229737 |   55710   442131  1789197 |    77094    69930     46 |  1.211 % |
417.45/417.44	c |   1230249 |   55710   442131  1789197 | 2147483647    70442     46 |  1.211 % |
417.65/417.61	c |   1230761 |   55710   442131  1789197 | 2147483647    70954     46 |  1.211 % |
417.75/417.75	c |   1231790 |   55710   442131  1789197 | 2147483647    71983     45 |  1.211 % |
418.15/418.13	c |   1233838 |   55710   442131  1789197 | 2147483647    74031     45 |  1.211 % |
420.26/420.24	c |   1237934 |   55710   442131  1789197 | 2147483647    78127     46 |  1.211 % |
420.45/420.41	c |   1238446 |   55710   442131  1789197 | 2147483647    78639     46 |  1.211 % |
420.75/420.76	c |   1238960 |   55710   442131  1789197 | 2147483647    79153     46 |  1.211 % |
421.36/421.38	c |   1239984 |   55710   442131  1789197 | 2147483647    80177     47 |  1.211 % |
421.75/421.73	c |   1240496 |   55707   442126  1789183 | 2147483647    80686     47 |  1.216 % |
421.75/421.77	c |   1241008 |   55707   442126  1789183 | 2147483647    81198     47 |  1.216 % |
422.55/422.54	c |   1242035 |   55707   442126  1789183 | 2147483647    82225     47 |  1.216 % |
423.05/423.04	c |   1244083 |   55707   442126  1789183 | 2147483647    84273     47 |  1.216 % |
423.15/423.19	c |   1244595 |   55707   442126  1789183 | 2147483647    84785     47 |  1.216 % |
423.56/423.58	c |   1245109 |   55707   442126  1789183 | 2147483647    85299     47 |  1.216 % |
423.75/423.75	c |   1246134 |   55707   442126  1789183 | 2147483647    86324     47 |  1.216 % |
424.25/424.22	c |   1246646 |   55707   442126  1789183 | 2147483647    86836     47 |  1.216 % |
424.45/424.44	c |   1247158 |   55707   442126  1789183 | 2147483647    87348     47 |  1.217 % |
425.25/425.23	c |   1248183 |   55707   442126  1789183 | 2147483647    88373     47 |  1.216 % |
426.45/426.43	c |   1250232 |   55707   442126  1789183 | 2147483647    90422     48 |  1.216 % |
428.35/428.31	c |   1254328 |   55707   442126  1789183 | 2147483647    94518     49 |  1.216 % |
431.75/431.75	c |   1262521 |   55707   442126  1789183 | 2147483647   102711     48 |  1.216 % |
439.85/439.83	c |   1278905 |   55707   442117  1789158 |   110190    94749     47 |  1.216 % |
439.95/439.96	c |   1279418 |   55707   442117  1789158 |   110190    95262     47 |  1.216 % |
440.26/440.23	c |   1279930 |   55707   442117  1789158 |   110190    95774     47 |  1.216 % |
440.46/440.51	c |   1280958 |   55707   442117  1789158 |    95845    96802     47 |  1.216 % |
440.76/440.72	c |   1281471 |   55707   442117  1789158 |    95845    76992     45 |  1.216 % |
440.96/440.98	c |   1281983 |   55707   442117  1789158 |    95845    77504     45 |  1.216 % |
441.96/441.93	c |   1283008 |   55707   442117  1789158 |    95845    78529     45 |  1.216 % |
442.86/442.91	c |   1285056 |   55707   442117  1789158 |    95845    80577     45 |  1.216 % |
443.26/443.24	c |   1285568 |   55707   442117  1789158 |    95845    81089     45 |  1.216 % |
443.66/443.70	c |   1286080 |   55707   442117  1789158 |    95845    81601     45 |  1.216 % |
443.96/443.99	c |   1287105 |   55707   442117  1789158 |    95845    82626     45 |  1.216 % |
444.16/444.14	c |   1287617 |   55707   442117  1789158 |    95845    83138     45 |  1.216 % |
444.36/444.38	c |   1288130 |   55707   442117  1789158 |    95845    83651     45 |  1.216 % |
444.66/444.62	c |   1289155 |   55707   442117  1789158 |    95845    84676     45 |  1.216 % |
445.36/445.38	c |   1291203 |   55707   442117  1789158 | 2147483647    86724     45 |  1.216 % |
447.06/447.03	c |   1295299 |   55707   442117  1789158 | 2147483647    90820     45 |  1.216 % |
447.26/447.28	c |   1295811 |   55707   442117  1789158 | 2147483647    91332     45 |  1.216 % |
447.66/447.68	c |   1296325 |   55707   442117  1789158 | 2147483647    91846     45 |  1.216 % |
448.56/448.52	c |   1297350 |   55707   442117  1789158 | 2147483647    92871     45 |  1.216 % |
448.66/448.67	c |   1297865 |   55707   442117  1789158 | 2147483647    93386     45 |  1.216 % |
448.76/448.80	c |   1298378 |   55707   442117  1789158 | 2147483647    93899     45 |  1.216 % |
449.16/449.21	c |   1299403 |   55707   442117  1789158 | 2147483647    94924     45 |  1.216 % |
450.16/450.16	c |   1301453 |   55707   442117  1789158 | 2147483647    96974     45 |  1.216 % |
450.36/450.39	c |   1301965 |   55707   442117  1789158 | 2147483647    97486     45 |  1.216 % |
450.46/450.46	c |   1302477 |   55707   442117  1789158 | 2147483647    97998     45 |  1.216 % |
450.96/450.95	c |   1303503 |   55707   442117  1789158 | 2147483647    99024     45 |  1.216 % |
451.06/451.07	c |   1304020 |   55707   442117  1789158 | 2147483647    99541     45 |  1.216 % |
451.16/451.19	c |   1304535 |   55707   442117  1789158 | 2147483647   100056     45 |  1.216 % |
451.46/451.44	c |   1305562 |   55707   442117  1789158 | 2147483647   101083     45 |  1.216 % |
451.86/451.82	c |   1307610 |   55707   442117  1789158 | 2147483647   103131     44 |  1.216 % |
452.96/452.99	c |   1311706 |   55707   442117  1789158 |   105521   107227     44 |  1.216 % |
457.26/457.22	c |   1319898 |   55707   442117  1789158 |   105521    90977     44 |  1.216 % |
457.46/457.43	c |   1320411 |   55707   442117  1789158 | 2147483647    91490     44 |  1.216 % |
457.56/457.59	c |   1320923 |   55707   442117  1789158 | 2147483647    92002     44 |  1.216 % |
458.26/458.31	c |   1321948 |   55707   442117  1789158 | 2147483647    93027     44 |  1.216 % |
458.46/458.44	c |   1322460 |   55707   442117  1789158 | 2147483647    93539     44 |  1.216 % |
458.66/458.67	c |   1322975 |   55707   442117  1789158 | 2147483647    94054     44 |  1.216 % |
458.96/458.98	c |   1324000 |   55707   442117  1789158 | 2147483647    95079     45 |  1.216 % |
459.36/459.38	c |   1326049 |   55707   442117  1789158 | 2147483647    97128     44 |  1.216 % |
460.26/460.29	c |   1326562 |   55707   442117  1789158 | 2147483647    97641     45 |  1.216 % |
460.46/460.44	c |   1327076 |   55707   442117  1789158 | 2147483647    98155     44 |  1.216 % |
460.76/460.73	c |   1328100 |   55707   442117  1789158 | 2147483647    99179     44 |  1.216 % |
460.86/460.88	c |   1328612 |   55707   442117  1789158 | 2147483647    99691     44 |  1.216 % |
461.16/461.12	c |   1329124 |   55707   442117  1789158 | 2147483647   100203     44 |  1.216 % |
461.46/461.45	c |   1330148 |   55707   442117  1789158 |   101079   101227     44 |  1.216 % |
461.86/461.89	c |   1332196 |   55707   442117  1789158 |   101079   103275     44 |  1.216 % |
463.36/463.33	c |   1336293 |   55707   442117  1789158 |   101079    90183     43 |  1.216 % |
463.56/463.59	c |   1336805 |   55707   442117  1789158 |   101079    90695     43 |  1.216 % |
463.66/463.64	c |   1337317 |   55707   442117  1789158 |   101079    91207     42 |  1.216 % |
464.46/464.48	c |   1338341 |   55707   442117  1789158 |   101079    92231     42 |  1.216 % |
464.86/464.83	c |   1338854 |   55707   442117  1789158 |   101079    92744     42 |  1.216 % |
465.06/465.05	c |   1339367 |   55707   442117  1789158 |   101079    93257     42 |  1.216 % |
465.36/465.38	c |   1340392 |   55707   442117  1789158 |    93892    94282     42 |  1.216 % |
466.06/466.10	c |   1342440 |   55707   442117  1789158 |    93892    75189     41 |  1.216 % |
466.26/466.26	c |   1342952 |   55707   442117  1789158 |    93892    75701     41 |  1.216 % |
466.46/466.50	c |   1343464 |   55707   442117  1789158 |    93892    76213     41 |  1.216 % |
466.86/466.88	c |   1344490 |   55707   442117  1789158 |    93892    77239     41 |  1.216 % |
466.96/466.99	c |   1345003 |   55707   442117  1789158 |    93892    77752     41 |  1.216 % |
467.26/467.30	c |   1345515 |   55707   442117  1789158 |    93892    78264     41 |  1.216 % |
467.76/467.77	c |   1346540 |   55707   442117  1789158 |    93892    79289     41 |  1.216 % |
468.46/468.50	c |   1348588 |   55706   442048  1788911 |    93892    81331     41 |  1.218 % |
469.66/469.69	c |   1352685 |   55706   442048  1788911 |    82748    70320     40 |  1.218 % |
471.46/471.44	c |   1360877 |   55706   442048  1788911 |    77635    78512     40 |  1.218 % |
477.46/477.42	c |   1377265 |   55706   442048  1788911 |    76413    64422     35 |  1.218 % |
492.76/492.76	c |   1410033 |   55706   442048  1788911 |    89752    89785     41 |  1.218 % |
492.87/492.87	c |   1410548 |   55706   442048  1788911 |    89752    90300     41 |  1.218 % |
492.96/492.97	c |   1411061 |   55706   442048  1788911 |    89752    90813     41 |  1.218 % |
493.56/493.56	c |   1412086 |   55706   442048  1788911 |    89752    76640     41 |  1.218 % |
493.66/493.66	c |   1412598 |   55706   442048  1788911 |    89752    77152     41 |  1.218 % |
493.86/493.88	c |   1413112 |   55706   442048  1788911 |    89752    77666     41 |  1.218 % |
494.26/494.30	c |   1414138 |   55706   442048  1788911 |    89752    78692     41 |  1.218 % |
494.56/494.57	c |   1416187 |   55706   442048  1788911 |    89752    80741     41 |  1.218 % |
494.86/494.83	c |   1416701 |   55706   442048  1788911 |    89752    81255     41 |  1.218 % |
495.07/495.06	c |   1417213 |   55706   442048  1788911 |    89752    81767     41 |  1.218 % |
495.66/495.64	c |   1418238 |   55706   442048  1788911 |    89752    82792     41 |  1.218 % |
495.86/495.89	c |   1418750 |   55706   442048  1788911 |    89752    83304     41 |  1.218 % |
496.06/496.05	c |   1419263 |   55706   442048  1788911 |    89752    83817     41 |  1.218 % |
496.36/496.33	c |   1420287 |   55706   442048  1788911 |    84554    84841     41 |  1.218 % |
497.06/497.01	c |   1422335 |   55706   442048  1788911 |    84554    86889     41 |  1.218 % |
499.26/499.27	c |   1426431 |   55706   442048  1788911 |    84554    82102     42 |  1.218 % |
499.36/499.41	c |   1426944 |   55706   442048  1788911 |    84554    82615     42 |  1.218 % |
499.66/499.67	c |   1427456 |   55706   442048  1788911 |    84554    83127     42 |  1.218 % |
500.26/500.25	c |   1428480 |   55706   442048  1788911 |    84554    84151     42 |  1.218 % |
500.36/500.34	c |   1428995 |   55706   442048  1788911 |    84554    84666     42 |  1.218 % |
500.46/500.43	c |   1429509 |   55706   442048  1788911 |    84554    85180     42 |  1.218 % |
500.76/500.76	c |   1430533 |   55706   442048  1788911 |    85672    86204     42 |  1.218 % |
501.06/501.06	c |   1432582 |   55706   442048  1788911 |    85672    88253     42 |  1.218 % |
501.36/501.39	c |   1433095 |   55706   442048  1788911 |    85672    77248     43 |  1.218 % |
501.56/501.53	c |   1433608 |   55706   442048  1788911 |    85672    77761     43 |  1.218 % |
501.96/501.95	c |   1434634 |   55706   442048  1788911 |    85672    78787     42 |  1.218 % |
502.16/502.21	c |   1435146 |   55706   442048  1788911 |    85672    79299     42 |  1.218 % |
502.26/502.25	c |   1435661 |   55706   442048  1788911 |    85672    79814     42 |  1.218 % |
502.77/502.81	c |   1436685 |   55706   442048  1788911 |    85672    80838     42 |  1.218 % |
503.16/503.19	c |   1438734 |   55706   442048  1788911 |    85672    82887     42 |  1.218 % |
505.16/505.12	c |   1442831 |   55706   442048  1788911 | 2147483647    86984     42 |  1.218 % |
506.36/506.39	c |   1451025 |   55706   442048  1788911 | 2147483647    95178     41 |  1.218 % |
506.46/506.50	c |   1451540 |   55706   442048  1788911 | 2147483647    95693     41 |  1.218 % |
506.86/506.89	c |   1452053 |   55706   442048  1788911 | 2147483647    96206     41 |  1.218 % |
507.17/507.20	c |   1453081 |   55706   442048  1788911 | 2147483647    97234     41 |  1.218 % |
507.26/507.28	c |   1453594 |   55706   442048  1788911 | 2147483647    97747     41 |  1.218 % |
507.56/507.52	c |   1454106 |   55706   442048  1788911 | 2147483647    98259     41 |  1.218 % |
507.66/507.70	c |   1455131 |   55706   442048  1788911 | 2147483647    99284     41 |  1.218 % |
508.56/508.60	c |   1457179 |   55706   442048  1788911 | 2147483647   101332     41 |  1.218 % |
508.86/508.81	c |   1457691 |   55706   442048  1788911 | 2147483647   101844     41 |  1.218 % |
508.96/508.96	c |   1458203 |   55706   442048  1788911 | 2147483647   102356     41 |  1.218 % |
509.26/509.27	c |   1459227 |   55706   442048  1788911 | 2147483647   103380     41 |  1.218 % |
509.56/509.53	c |   1459739 |   55706   442048  1788911 | 2147483647   103892     41 |  1.218 % |
509.86/509.81	c |   1460251 |   55706   442048  1788911 |   104153   104404     41 |  1.218 % |
510.16/510.18	c |   1461276 |   55706   442048  1788911 |   104153   105429     41 |  1.218 % |
510.96/511.00	c |   1463324 |   55706   442048  1788911 |   104153    86721     39 |  1.218 % |
511.66/511.70	c |   1467420 |   55706   442048  1788911 |   104153    90817     39 |  1.218 % |
511.76/511.77	c |   1467932 |   55706   442048  1788911 |   104153    91329     39 |  1.218 % |
512.06/512.03	c |   1468444 |   55706   442048  1788911 |   104153    91841     39 |  1.218 % |
512.26/512.29	c |   1469469 |   55706   442048  1788911 |   104153    92866     39 |  1.218 % |
512.56/512.53	c |   1469982 |   55706   442048  1788911 |   104153    93379     39 |  1.218 % |
512.86/512.88	c |   1470494 |   55706   442048  1788911 |    93398    93891     39 |  1.218 % |
513.66/513.65	c |   1471518 |   55706   442048  1788911 |    93398    94915     39 |  1.218 % |
514.16/514.19	c |   1473567 |   55706   442048  1788911 |    93398    87473     38 |  1.218 % |
514.66/514.65	c |   1474080 |   55706   442048  1788911 |    93398    87986     38 |  1.218 % |
514.87/514.82	c |   1474594 |   55706   442048  1788911 |    93398    88500     38 |  1.218 % |
515.26/515.27	c |   1475619 |   55706   442048  1788911 |    93398    89525     38 |  1.218 % |
515.46/515.48	c |   1476131 |   55706   442048  1788911 |    93398    90037     38 |  1.218 % |
515.66/515.66	c |   1476643 |   55706   442048  1788911 |    93398    90549     38 |  1.218 % |
515.86/515.85	c |   1477670 |   55706   442048  1788911 |    93398    91576     38 |  1.218 % |
516.36/516.33	c |   1479719 |   55706   442048  1788911 |    93398    93625     38 |  1.218 % |
519.27/519.22	c |   1483815 |   55706   442048  1788911 |    93906    88028     38 |  1.218 % |
524.07/524.08	c |   1492007 |   55706   442048  1788911 | 2147483647    96220     40 |  1.218 % |
528.27/528.24	c |   1508392 |   55706   442048  1788911 |   104214   112605     38 |  1.218 % |
528.87/528.86	c |   1508904 |   55706   442048  1788911 |   104214    77856     37 |  1.218 % |
529.07/529.10	c |   1509417 |   55706   442048  1788911 |   104214    78369     37 |  1.218 % |
529.87/529.82	c |   1510442 |   55706   442048  1788911 |    78953    79394     37 |  1.218 % |
530.17/530.19	c |   1510956 |   55706   442048  1788911 |    78953    79908     37 |  1.218 % |
530.57/530.55	c |   1511468 |   55674   441615  1787352 |    78953    70688     37 |  1.275 % |
530.87/530.90	c |   1512495 |   55674   441615  1787352 |    78953    71715     37 |  1.275 % |
532.47/532.44	c |   1514544 |   55674   441615  1787352 |    78953    73764     38 |  1.275 % |
532.77/532.79	c |   1515056 |   55674   441615  1787352 |    78953    74276     38 |  1.275 % |
532.97/532.94	c |   1515568 |   55674   441615  1787352 |    78953    74788     38 |  1.275 % |
533.17/533.16	c |   1516592 |   55674   441615  1787352 |    78953    75812     38 |  1.275 % |
533.37/533.40	c |   1517105 |   55674   441615  1787352 |    78953    76325     38 |  1.275 % |
533.57/533.53	c |   1517617 |   55674   441615  1787352 |    78953    76837     38 |  1.275 % |
533.67/533.69	c |   1518642 |   55674   441615  1787352 |    78953    77862     38 |  1.275 % |
534.37/534.40	c |   1520690 |   55674   441615  1787352 |    79220    79910     38 |  1.275 % |
535.57/535.60	c |   1524787 |   55674   441615  1787352 |    79220    84007     38 |  1.275 % |
536.07/536.02	c |   1525299 |   55674   441615  1787352 |    79220    66275     37 |  1.275 % |
536.17/536.16	c |   1525811 |   55674   441615  1787352 |    79220    66787     37 |  1.275 % |
536.77/536.74	c |   1526835 |   55674   441615  1787352 |    79220    67811     37 |  1.275 % |
536.87/536.86	c |   1527347 |   55674   441615  1787352 |    79220    68323     37 |  1.275 % |
537.07/537.11	c |   1527859 |   55674   441615  1787352 |    79220    68835     37 |  1.275 % |
537.27/537.24	c |   1528883 |   55674   441615  1787352 |    79220    69859     37 |  1.275 % |
537.77/537.73	c |   1530931 |   55674   441615  1787352 |    70978    71907     37 |  1.275 % |
537.97/538.01	c |   1531444 |   55674   441615  1787352 |    70978    59574     34 |  1.275 % |
538.37/538.42	c |   1531956 |   55674   441615  1787352 |    70978    60086     34 |  1.275 % |
538.97/538.94	c |   1532981 |   55674   441615  1787352 |    70978    61111     34 |  1.275 % |
539.27/539.23	c |   1533493 |   55674   441615  1787352 |    70978    61623     34 |  1.275 % |
539.57/539.52	c |   1534005 |   55674   441615  1787352 |    70978    62135     34 |  1.275 % |
539.97/540.00	c |   1535029 |   55673   441610  1787337 |    70978    63158     34 |  1.277 % |
541.07/541.07	c |   1537077 |   55673   441610  1787337 |    70978    65206     34 |  1.277 % |
542.67/542.68	c |   1541173 |   55673   441610  1787337 | 2147483647    69302     34 |  1.277 % |
546.77/546.72	c |   1549365 |   55673   441610  1787337 | 2147483647    77494     35 |  1.277 % |
546.87/546.86	c |   1549878 |   55673   441610  1787337 | 2147483647    78007     36 |  1.277 % |
547.17/547.19	c |   1550390 |   55673   441610  1787337 |    78129    78519     35 |  1.277 % |
547.37/547.40	c |   1551414 |   55673   441610  1787337 |    78129    79543     35 |  1.277 % |
547.77/547.75	c |   1551927 |   55673   441610  1787337 |    78129    62666     35 |  1.277 % |
547.97/547.93	c |   1552442 |   55673   441610  1787337 |    78129    63181     35 |  1.277 % |
548.27/548.24	c |   1553468 |   55673   441610  1787337 |    78129    64207     35 |  1.277 % |
548.87/548.87	c |   1555517 |   55673   441610  1787337 |    78129    66256     35 |  1.277 % |
548.97/548.98	c |   1556036 |   55673   441610  1787337 |    78129    66775     35 |  1.277 % |
549.27/549.31	c |   1556549 |   55673   441610  1787337 |    78129    67288     35 |  1.277 % |
549.87/549.90	c |   1557573 |   55673   441610  1787337 |    78129    68312     35 |  1.277 % |
549.97/550.01	c |   1558085 |   55673   441610  1787337 |    78129    68824     35 |  1.277 % |
550.57/550.52	c |   1558597 |   55673   441610  1787337 |    78129    69336     35 |  1.277 % |
551.07/551.03	c |   1559622 |   55673   441610  1787337 |    78129    70361     36 |  1.277 % |
551.97/551.97	c |   1561670 |   55673   441610  1787337 |    70739    72409     36 |  1.277 % |
553.17/553.13	c |   1565766 |   55673   441610  1787337 |    70739    60549     36 |  1.277 % |
553.37/553.32	c |   1566278 |   55673   441610  1787337 |    70739    61061     36 |  1.277 % |
553.57/553.58	c |   1566792 |   55673   441610  1787337 |    70739    61575     36 |  1.277 % |
554.07/554.03	c |   1567816 |   55672   441605  1787322 |    70739    62598     36 |  1.279 % |
554.27/554.30	c |   1568329 |   55672   441605  1787322 |    70739    63111     36 |  1.279 % |
554.57/554.59	c |   1568842 |   55672   441605  1787322 |    70739    63624     36 |  1.279 % |
554.97/554.97	c |   1569866 |   55672   441605  1787322 |    70739    64648     37 |  1.279 % |
556.17/556.17	c |   1571917 |   55672   441605  1787322 | 2147483647    66699     37 |  1.279 % |
556.47/556.45	c |   1572430 |   55672   441605  1787322 | 2147483647    67212     37 |  1.279 % |
556.67/556.66	c |   1572942 |   55672   441605  1787322 | 2147483647    67724     37 |  1.279 % |
557.37/557.34	c |   1573970 |   55672   441605  1787322 | 2147483647    68752     37 |  1.279 % |
557.77/557.76	c |   1574483 |   55672   441605  1787322 | 2147483647    69265     37 |  1.279 % |
558.07/558.05	c |   1574999 |   55672   441605  1787322 | 2147483647    69781     37 |  1.279 % |
558.27/558.28	c |   1576024 |   55672   441605  1787322 | 2147483647    70806     37 |  1.279 % |
558.87/558.84	c |   1578072 |   55672   441605  1787322 | 2147483647    72854     37 |  1.279 % |
560.27/560.31	c |   1582168 |   55672   441605  1787322 | 2147483647    76950     38 |  1.279 % |
562.47/562.43	c |   1590364 |   55672   441605  1787322 |    84784    85146     39 |  1.279 % |
571.67/571.65	c |   1606749 |   55672   441605  1787322 |    72227    71176     42 |  1.279 % |
590.78/590.75	c |   1639519 |   55672   441605  1787322 |    76939    65909     57 |  1.279 % |
609.28/609.23	c |   1705056 |   55672   441605  1787322 |    41991    47046     39 |  1.279 % |
609.48/609.50	c |   1705568 |   55672   441605  1787322 |    41991    31099     41 |  1.279 % |
609.68/609.70	c |   1706081 |   55672   441605  1787322 |    41991    31612     40 |  1.279 % |
610.18/610.21	c |   1707106 |   55672   441605  1787322 |    41991    32637     40 |  1.279 % |
610.38/610.41	c |   1707619 |   55672   441605  1787322 |    41991    33150     41 |  1.279 % |
610.58/610.54	c |   1708132 |   55672   441605  1787322 |    41991    33663     40 |  1.279 % |
611.08/611.07	c |   1709156 |   55672   441605  1787322 |    41991    34687     41 |  1.279 % |
611.88/611.88	c |   1711205 |   55672   441605  1787322 |    35531    36736     41 |  1.279 % |
612.08/612.03	c |   1711717 |   55672   441605  1787322 |    35531    33575     40 |  1.279 % |
612.28/612.25	c |   1712230 |   55672   441605  1787322 |    35531    34088     40 |  1.279 % |
612.68/612.64	c |   1713254 |   55672   441605  1787322 |    35531    35112     39 |  1.279 % |
612.88/612.84	c |   1713766 |   55672   441605  1787322 |    35531    35624     39 |  1.279 % |
613.18/613.16	c |   1714278 |   55672   441605  1787322 |    35531    36136     39 |  1.279 % |
613.38/613.39	c |   1715302 |   55672   441605  1787322 |    35531    37160     39 |  1.279 % |
614.08/614.06	c |   1717350 |   55672   441605  1787322 |    35531    35492     41 |  1.279 % |
614.48/614.46	c |   1721447 |   55672   441605  1787322 | 2147483647    39589     41 |  1.279 % |
614.58/614.54	c |   1721959 |   55672   441605  1787322 | 2147483647    40101     41 |  1.279 % |
614.78/614.74	c |   1722471 |   55672   441605  1787322 | 2147483647    40613     41 |  1.279 % |
614.88/614.84	c |   1723498 |   55672   441605  1787322 | 2147483647    41640     40 |  1.279 % |
615.18/615.14	c |   1724011 |   55672   441605  1787322 | 2147483647    42153     40 |  1.279 % |
615.28/615.29	c |   1724523 |   55672   441605  1787322 | 2147483647    42665     40 |  1.279 % |
615.48/615.48	c |   1725551 |   55669   441592  1787275 | 2147483647    43692     40 |  1.284 % |
615.88/615.82	c |   1727601 |   55669   441592  1787275 | 2147483647    45742     39 |  1.284 % |
616.18/616.20	c |   1728113 |   55669   441592  1787275 | 2147483647    46254     39 |  1.284 % |
616.38/616.39	c |   1728627 |   55669   441592  1787275 | 2147483647    46768     39 |  1.284 % |
616.58/616.61	c |   1729651 |   55669   441592  1787275 | 2147483647    47792     39 |  1.284 % |
616.88/616.83	c |   1730165 |   55669   441592  1787275 | 2147483647    48306     40 |  1.284 % |
616.88/616.87	c |   1730677 |   55669   441592  1787275 | 2147483647    48818     40 |  1.284 % |
617.38/617.40	c |   1731702 |   55669   441592  1787275 | 2147483647    49843     39 |  1.284 % |
617.78/617.73	c |   1733754 |   55669   441592  1787275 | 2147483647    51895     39 |  1.284 % |
618.38/618.34	c |   1737851 |   55669   441592  1787275 | 2147483647    55992     40 |  1.284 % |
621.88/621.87	c |   1746044 |   55669   441592  1787275 | 2147483647    64185     42 |  1.284 % |
622.18/622.20	c |   1746556 |   55669   441592  1787275 | 2147483647    64697     42 |  1.284 % |
622.38/622.36	c |   1747069 |   55669   441592  1787275 | 2147483647    65210     42 |  1.284 % |
622.68/622.65	c |   1748093 |   55668   441588  1787263 | 2147483647    66233     42 |  1.286 % |
622.78/622.74	c |   1748605 |   55668   441588  1787263 | 2147483647    66745     42 |  1.286 % |
622.88/622.92	c |   1749117 |   55668   441588  1787263 | 2147483647    67257     42 |  1.286 % |
623.08/623.09	c |   1750141 |   55668   441588  1787263 | 2147483647    68281     42 |  1.286 % |
623.88/623.84	c |   1752192 |   55668   441588  1787263 | 2147483647    70332     41 |  1.286 % |
624.08/624.02	c |   1752706 |   55668   441588  1787263 | 2147483647    70846     41 |  1.286 % |
624.48/624.43	c |   1753219 |   55668   441588  1787263 | 2147483647    71359     41 |  1.286 % |
624.48/624.51	c |   1754243 |   55668   441588  1787263 | 2147483647    72383     41 |  1.286 % |
624.68/624.64	c |   1754755 |   55668   441588  1787263 | 2147483647    72895     41 |  1.286 % |
624.78/624.80	c |   1755267 |   55668   441588  1787263 | 2147483647    73407     41 |  1.286 % |
624.98/624.99	c |   1756291 |   55668   441588  1787263 | 2147483647    74431     41 |  1.286 % |
625.28/625.24	c |   1758339 |   55668   441588  1787263 | 2147483647    76479     41 |  1.286 % |
625.88/625.91	c |   1762437 |   55667   441588  1787263 | 2147483647    80576     41 |  1.287 % |
625.98/626.01	c |   1762952 |   55667   441588  1787263 | 2147483647    81091     41 |  1.287 % |
626.38/626.35	c |   1763465 |   55667   441588  1787263 | 2147483647    81604     41 |  1.287 % |
626.68/626.63	c |   1764489 |   55667   441588  1787263 | 2147483647    82628     41 |  1.287 % |
626.68/626.70	c |   1765002 |   55667   441588  1787263 | 2147483647    83141     41 |  1.287 % |
626.88/626.85	c |   1765515 |   55667   441588  1787263 | 2147483647    83654     41 |  1.287 % |
627.28/627.22	c |   1766540 |   55667   441588  1787263 | 2147483647    84679     41 |  1.287 % |
627.58/627.60	c |   1768589 |   55667   441588  1787263 | 2147483647    86728     41 |  1.287 % |
627.98/627.97	c |   1769101 |   55667   441588  1787263 | 2147483647    87240     42 |  1.287 % |
628.18/628.15	c |   1769613 |   55667   441588  1787263 | 2147483647    87752     42 |  1.287 % |
628.88/628.88	c |   1770637 |   55667   441588  1787263 | 2147483647    88776     42 |  1.287 % |
629.28/629.25	c |   1771149 |   55667   441582  1787245 | 2147483647    89287     42 |  1.287 % |
629.38/629.38	c |   1771664 |   55667   441582  1787245 | 2147483647    89802     42 |  1.287 % |
629.88/629.84	c |   1772688 |   55667   441582  1787245 | 2147483647    90826     42 |  1.287 % |
630.28/630.32	c |   1774736 |   55667   441582  1787245 | 2147483647    92874     42 |  1.287 % |
633.08/633.11	c |   1778832 |   55667   441582  1787245 | 2147483647    96970     43 |  1.287 % |
634.98/634.92	c |   1787029 |   55667   441582  1787245 | 2147483647   105167     42 |  1.287 % |
640.38/640.34	c |   1803413 |   55667   441582  1787245 |    95176    98589     42 |  1.287 % |
640.68/640.66	c |   1803926 |   55667   441582  1787245 |    95176    85566     41 |  1.287 % |
640.88/640.83	c |   1804438 |   55667   441582  1787245 |    95176    86078     41 |  1.287 % |
641.58/641.55	c |   1805462 |   55667   441582  1787245 |    95176    87102     41 |  1.287 % |
641.78/641.74	c |   1805974 |   55667   441582  1787245 |    95176    87614     41 |  1.287 % |
641.88/641.86	c |   1806486 |   55667   441582  1787245 |    95176    88126     41 |  1.287 % |
642.28/642.25	c |   1807510 |   55667   441582  1787245 |    95176    89150     41 |  1.287 % |
642.88/642.88	c |   1809560 |   55667   441582  1787245 |    95176    91200     41 |  1.287 % |
643.08/643.02	c |   1810074 |   55667   441582  1787245 |    91643    91714     41 |  1.287 % |
643.38/643.41	c |   1810587 |   55667   441582  1787245 |    91643    92227     41 |  1.287 % |
643.98/644.00	c |   1811611 |   55667   441582  1787245 |    91643    93251     42 |  1.287 % |
644.28/644.25	c |   1812123 |   55667   441582  1787245 |    91643    84438     42 |  1.287 % |
644.28/644.30	c |   1812638 |   55667   441582  1787245 |    91643    84953     42 |  1.287 % |
645.08/645.02	c |   1813663 |   55667   441582  1787245 |    91643    85978     42 |  1.287 % |
645.38/645.35	c |   1815711 |   55667   441582  1787245 |    91643    88026     41 |  1.287 % |
646.28/646.29	c |   1819809 |   55667   441582  1787245 |    91643    92124     41 |  1.287 % |
646.58/646.58	c |   1820322 |   55667   441582  1787245 |    92316    92637     41 |  1.287 % |
646.78/646.81	c |   1820834 |   55667   441582  1787245 |    92316    93149     41 |  1.287 % |
647.48/647.46	c |   1821859 |   55667   441582  1787245 |    92316    84029     40 |  1.287 % |
647.68/647.71	c |   1822371 |   55667   441582  1787245 |    92316    84541     40 |  1.287 % |
647.88/647.87	c |   1822883 |   55667   441582  1787245 |    92316    85053     40 |  1.287 % |
648.18/648.16	c |   1823908 |   55667   441582  1787245 |    92316    86078     40 |  1.287 % |
648.48/648.47	c |   1825960 |   55667   441582  1787245 |    92316    88130     40 |  1.287 % |
648.78/648.77	c |   1826472 |   55667   441582  1787245 |    92316    88642     40 |  1.287 % |
649.08/649.07	c |   1826984 |   55667   441582  1787245 |    92316    89154     40 |  1.287 % |
649.78/649.81	c |   1828009 |   55667   441582  1787245 |    92316    90179     40 |  1.287 % |
650.08/650.09	c |   1828524 |   55667   441582  1787245 |    92316    90694     40 |  1.287 % |
650.48/650.50	c |   1829036 |   55667   441582  1787245 |    92316    91206     40 |  1.287 % |
650.78/650.79	c |   1830061 |   55667   441582  1787245 |    92172    92231     40 |  1.287 % |
651.58/651.57	c |   1832109 |   55667   441582  1787245 |    92172    94279     40 |  1.287 % |
653.57/653.55	c |   1836206 |   55667   441582  1787245 |    92172    86698     41 |  1.287 % |
655.57/655.55	c |   1844399 |   55667   441582  1787245 | 2147483647    94891     41 |  1.287 % |
655.87/655.87	c |   1844912 |   55667   441582  1787245 | 2147483647    95404     41 |  1.287 % |
655.97/655.99	c |   1845424 |   55667   441582  1787245 | 2147483647    95916     41 |  1.287 % |
656.57/656.58	c |   1846449 |   55667   441582  1787245 | 2147483647    96941     41 |  1.287 % |
656.78/656.79	c |   1846961 |   55667   441582  1787245 | 2147483647    97453     41 |  1.287 % |
656.97/656.98	c |   1847475 |   55667   441582  1787245 | 2147483647    97967     41 |  1.287 % |
657.37/657.38	c |   1848499 |   55667   441582  1787245 | 2147483647    98991     41 |  1.287 % |
657.97/657.92	c |   1850548 |   55667   441582  1787245 |   100493   101040     41 |  1.287 % |
658.17/658.13	c |   1851060 |   55667   441582  1787245 |   100493   101552     41 |  1.287 % |
658.37/658.37	c |   1851572 |   55667   441582  1787245 |   100493    72638     38 |  1.287 % |
658.87/658.88	c |   1852597 |   55667   441582  1787245 |   100493    73663     38 |  1.287 % |
659.07/659.06	c |   1853113 |   55667   441582  1787245 |   100493    74179     38 |  1.287 % |
659.27/659.22	c |   1853629 |   55667   441582  1787245 |   100493    74695     38 |  1.287 % |
659.57/659.60	c |   1854654 |   55667   441582  1787245 |   100493    75720     38 |  1.287 % |
661.27/661.30	c |   1856703 |   55667   441582  1787245 |   100493    77769     39 |  1.287 % |
663.57/663.54	c |   1860799 |   55667   441582  1787245 |    81066    81865     39 |  1.287 % |
663.97/663.94	c |   1861311 |   55667   441582  1787245 |    81066    71212     39 |  1.287 % |
664.07/664.07	c |   1861823 |   55667   441582  1787245 |    81066    71724     39 |  1.287 % |
664.17/664.16	c |   1862847 |   55667   441582  1787245 |    81066    72748     39 |  1.287 % |
664.48/664.48	c |   1863359 |   55667   441582  1787245 |    81066    73260     39 |  1.287 % |
664.97/665.00	c |   1863876 |   55667   441582  1787245 |    81066    73777     39 |  1.287 % |
665.27/665.24	c |   1864901 |   55667   441582  1787245 |    81066    74802     39 |  1.287 % |
665.77/665.78	c |   1866949 |   55667   441582  1787245 |    81066    76850     39 |  1.287 % |
665.97/665.99	c |   1867462 |   55667   441582  1787245 |    81066    77363     39 |  1.287 % |
666.17/666.18	c |   1867974 |   55667   441582  1787245 |    81066    77875     39 |  1.287 % |
666.57/666.60	c |   1868998 |   55667   441582  1787245 |    81066    78899     39 |  1.287 % |
666.87/666.85	c |   1869510 |   55667   441582  1787245 |    81066    79411     39 |  1.287 % |
667.07/667.04	c |   1870024 |   55667   441582  1787245 |    79903    79925     39 |  1.287 % |
667.27/667.24	c |   1871050 |   55667   441582  1787245 |    79903    80951     39 |  1.287 % |
667.67/667.69	c |   1873102 |   55667   441582  1787245 |    79903    70525     38 |  1.287 % |
668.67/668.65	c |   1877201 |   55667   441582  1787245 |    79903    74624     38 |  1.287 % |
670.87/670.88	c |   1885396 |   55667   441582  1787245 |    77424    82819     38 |  1.287 % |
677.57/677.52	c |   1901780 |   55667   441582  1787245 |    75893    77673     40 |  1.287 % |
686.68/686.66	c |   1934548 |   55667   441582  1787245 | 2147483647    72945     38 |  1.287 % |
686.88/686.85	c |   1935061 |   55667   441582  1787245 | 2147483647    73458     38 |  1.287 % |
687.28/687.21	c |   1935574 |   55667   441582  1787245 | 2147483647    73971     38 |  1.287 % |
687.38/687.40	c |   1936600 |   55667   441582  1787245 | 2147483647    74997     38 |  1.287 % |
687.58/687.52	c |   1937112 |   55667   441582  1787245 | 2147483647    75509     38 |  1.287 % |
687.98/687.92	c |   1937624 |   55667   441582  1787245 | 2147483647    76021     38 |  1.287 % |
688.58/688.54	c |   1938648 |   55667   441582  1787245 | 2147483647    77045     38 |  1.287 % |
689.38/689.31	c |   1940696 |   55667   441582  1787245 | 2147483647    79093     38 |  1.287 % |
689.58/689.52	c |   1941208 |   55667   441582  1787245 | 2147483647    79605     38 |  1.287 % |
689.98/689.97	c |   1941723 |   55667   441582  1787245 | 2147483647    80120     38 |  1.287 % |
690.28/690.26	c |   1942748 |   55667   441582  1787245 | 2147483647    81145     38 |  1.287 % |
690.58/690.54	c |   1943260 |   55667   441582  1787245 | 2147483647    81657     38 |  1.287 % |
690.58/690.60	c |   1943772 |   55667   441582  1787245 | 2147483647    82169     38 |  1.287 % |
691.18/691.11	c |   1944796 |   55667   441582  1787245 | 2147483647    83193     38 |  1.287 % |
691.48/691.41	c |   1946844 |   55667   441582  1787245 | 2147483647    85241     39 |  1.287 % |
694.98/694.93	c |   1950940 |   55667   441582  1787245 | 2147483647    89337     42 |  1.287 % |
695.28/695.23	c |   1951452 |   55667   441582  1787245 | 2147483647    89849     42 |  1.287 % |
695.48/695.43	c |   1951966 |   55667   441582  1787245 | 2147483647    90363     42 |  1.287 % |
695.88/695.90	c |   1952990 |   55667   441582  1787245 | 2147483647    91387     42 |  1.287 % |
696.18/696.13	c |   1953502 |   55667   441582  1787245 | 2147483647    91899     42 |  1.287 % |
696.38/696.34	c |   1954015 |   55667   441582  1787245 | 2147483647    92412     42 |  1.287 % |
696.78/696.77	c |   1955039 |   55667   441582  1787245 | 2147483647    93436     42 |  1.287 % |
697.28/697.30	c |   1957087 |   55667   441582  1787245 | 2147483647    95484     42 |  1.287 % |
697.48/697.48	c |   1957601 |   55667   441582  1787245 | 2147483647    95998     42 |  1.287 % |
697.68/697.65	c |   1958113 |   55667   441582  1787245 | 2147483647    96510     42 |  1.287 % |
698.08/698.03	c |   1959139 |   55667   441582  1787245 | 2147483647    97536     42 |  1.287 % |
698.08/698.08	c |   1959651 |   55667   441582  1787245 | 2147483647    98048     41 |  1.287 % |
698.28/698.29	c |   1960163 |   55667   441582  1787245 |    98397    98560     41 |  1.287 % |
698.78/698.76	c |   1961189 |   55667   441582  1787245 |    98397    99586     42 |  1.287 % |
699.48/699.45	c |   1963238 |   55667   441582  1787245 |    98397    88968     41 |  1.287 % |
700.48/700.49	c |   1967334 |   55667   441582  1787245 |    98397    93064     41 |  1.287 % |
704.28/704.30	c |   1975526 |   55667   441582  1787245 |    95731    81403     39 |  1.287 % |
704.48/704.47	c |   1976040 |   55667   441582  1787245 |    95731    81917     39 |  1.287 % |
704.68/704.69	c |   1976552 |   55667   441582  1787245 |    95731    82429     39 |  1.287 % |
704.98/705.00	c |   1977578 |   55667   441582  1787245 |    95731    83455     39 |  1.287 % |
705.28/705.25	c |   1978091 |   55667   441582  1787245 |    95731    83968     39 |  1.287 % |
705.48/705.42	c |   1978605 |   55667   441582  1787245 |    95731    84482     39 |  1.287 % |
705.68/705.69	c |   1979629 |   55667   441582  1787245 |    95731    85506     39 |  1.287 % |
706.38/706.36	c |   1981677 |   55667   441582  1787245 |    85878    87554     39 |  1.287 % |
706.68/706.68	c |   1982189 |   55667   441582  1787245 |    85878    70783     40 |  1.287 % |
706.88/706.91	c |   1982701 |   55667   441582  1787245 |    85878    71295     40 |  1.287 % |
707.18/707.16	c |   1983725 |   55667   441582  1787245 |    85878    72319     40 |  1.287 % |
707.38/707.32	c |   1984237 |   55667   441582  1787245 |    85878    72831     40 |  1.287 % |
707.58/707.54	c |   1984750 |   55667   441582  1787245 |    85878    73344     40 |  1.287 % |
708.08/708.09	c |   1985774 |   55667   441582  1787245 |    85878    74368     40 |  1.287 % |
709.58/709.56	c |   1987823 |   55667   441582  1787245 |    85878    76417     41 |  1.287 % |
711.18/711.18	c |   1991921 |   55667   441582  1787245 |    78596    80515     40 |  1.287 % |
711.48/711.49	c |   1992435 |   55667   441582  1787245 |    78596    70386     40 |  1.287 % |
711.68/711.63	c |   1992947 |   55667   441582  1787245 |    78596    70898     40 |  1.287 % |
712.48/712.46	c |   1993972 |   55667   441582  1787245 |    78596    71923     40 |  1.287 % |
712.58/712.59	c |   1994485 |   55667   441582  1787245 |    78596    72436     40 |  1.287 % |
712.98/712.99	c |   1994997 |   55667   441582  1787245 |    78596    72948     40 |  1.287 % |
713.28/713.23	c |   1996021 |   55667   441582  1787245 |    78596    73972     40 |  1.287 % |
713.88/713.86	c |   1998069 |   55667   441582  1787245 |    78596    76020     40 |  1.287 % |
713.98/714.00	c |   1998582 |   55667   441582  1787245 |    78596    76533     40 |  1.287 % |
714.38/714.40	c |   1999095 |   55667   441582  1787245 |    78596    77046     40 |  1.287 % |
714.98/715.00	c |   2000120 |   55667   441582  1787245 |    77953    78071     40 |  1.287 % |
715.18/715.13	c |   2000632 |   55667   441582  1787245 |    77953    78583     40 |  1.287 % |
715.28/715.29	c |   2001144 |   55667   441582  1787245 |    77953    79095     40 |  1.287 % |
715.68/715.66	c |   2002170 |   55667   441582  1787245 |    77953    72212     40 |  1.287 % |
716.68/716.62	c |   2004219 |   55667   441582  1787245 |    77953    74261     41 |  1.287 % |
717.58/717.59	c |   2008322 |   55667   441582  1787245 |    77953    78364     41 |  1.287 % |
720.88/720.85	c |   2016515 |   55667   441582  1787245 |    80045    65751     40 |  1.287 % |
726.98/727.00	c |   2032899 |   55667   441582  1787245 |    79236    82135     40 |  1.287 % |
727.38/727.34	c |   2033411 |   55667   441582  1787245 |    79236    70354     40 |  1.287 % |
727.58/727.53	c |   2033925 |   55667   441582  1787245 |    79236    70868     40 |  1.287 % |
727.98/727.92	c |   2034949 |   55667   441582  1787245 |    79236    71892     40 |  1.287 % |
728.18/728.12	c |   2035461 |   55667   441582  1787245 |    79236    72404     40 |  1.287 % |
728.28/728.25	c |   2035973 |   55667   441582  1787245 |    79236    72916     40 |  1.287 % |
728.78/728.78	c |   2036998 |   55667   441582  1787245 |    79236    73941     41 |  1.287 % |
729.28/729.25	c |   2039046 |   55667   441582  1787245 |    79236    75989     40 |  1.287 % |
729.38/729.37	c |   2039562 |   55667   441582  1787245 |    79236    76505     40 |  1.287 % |
729.78/729.78	c |   2040076 |   55667   441582  1787245 | 2147483647    77019     40 |  1.287 % |
730.08/730.03	c |   2041101 |   55667   441582  1787245 | 2147483647    78044     40 |  1.287 % |
730.28/730.29	c |   2041614 |   55667   441582  1787245 | 2147483647    78557     41 |  1.287 % |
730.48/730.50	c |   2042128 |   55667   441582  1787245 | 2147483647    79071     41 |  1.287 % |
730.68/730.69	c |   2043153 |   55667   441582  1787245 | 2147483647    80096     40 |  1.287 % |
731.18/731.16	c |   2045202 |   55667   441582  1787245 | 2147483647    82145     40 |  1.287 % |
733.98/734.00	c |   2049299 |   55667   441582  1787245 | 2147483647    86242     46 |  1.287 % |
734.18/734.13	c |   2049811 |   55667   441582  1787245 | 2147483647    86754     46 |  1.287 % |
734.38/734.37	c |   2050323 |   55667   441582  1787245 | 2147483647    87266     46 |  1.287 % |
734.68/734.61	c |   2051348 |   55667   441582  1787245 | 2147483647    88291     46 |  1.287 % |
734.78/734.77	c |   2051860 |   55667   441582  1787245 | 2147483647    88803     46 |  1.287 % |
734.98/734.95	c |   2052372 |   55667   441582  1787245 | 2147483647    89315     46 |  1.287 % |
735.48/735.50	c |   2053396 |   55667   441582  1787245 | 2147483647    90339     46 |  1.287 % |
735.99/735.93	c |   2055447 |   55667   441582  1787245 | 2147483647    92390     45 |  1.287 % |
736.18/736.17	c |   2055959 |   55667   441582  1787245 | 2147483647    92902     45 |  1.287 % |
736.38/736.32	c |   2056473 |   55667   441582  1787245 | 2147483647    93416     45 |  1.287 % |
736.68/736.67	c |   2057497 |   55667   441582  1787245 | 2147483647    94440     45 |  1.287 % |
737.28/737.28	c |   2058011 |   55667   441582  1787245 | 2147483647    94954     45 |  1.287 % |
737.78/737.73	c |   2058524 |   55667   441582  1787245 | 2147483647    95467     45 |  1.287 % |
738.28/738.21	c |   2059548 |   55667   441582  1787245 | 2147483647    96491     45 |  1.287 % |
739.38/739.31	c |   2061598 |   55667   441582  1787245 |    96943    98541     45 |  1.287 % |
740.98/740.98	c |   2065694 |   55667   441582  1787245 |    96943    92280     46 |  1.287 % |
743.48/743.48	c |   2073889 |   55667   441582  1787245 |    96586   100475     46 |  1.287 % |
743.88/743.82	c |   2074402 |   55667   441582  1787245 |    96586    85750     48 |  1.287 % |
743.98/743.97	c |   2074914 |   55667   441582  1787245 |    96586    86262     47 |  1.287 % |
744.38/744.40	c |   2075938 |   55667   441582  1787245 |    96586    87286     48 |  1.287 % |
744.58/744.61	c |   2076450 |   55667   441582  1787245 |    96586    87798     47 |  1.287 % |
744.98/744.99	c |   2076963 |   55667   441582  1787245 |    96586    88311     47 |  1.287 % |
745.38/745.40	c |   2077988 |   55667   441582  1787245 |    96586    89336     47 |  1.287 % |
745.89/745.82	c |   2080036 |   55667   441582  1787245 |    91348    91384     47 |  1.287 % |
745.98/745.95	c |   2080548 |   55667   441582  1787245 |    91348    91896     47 |  1.287 % |
746.08/746.08	c |   2081063 |   55667   441582  1787245 |    91348    92411     47 |  1.287 % |
747.18/747.14	c |   2082087 |   55667   441582  1787245 |    91348    79861     45 |  1.287 % |
747.28/747.30	c |   2082600 |   55667   441582  1787245 |    91348    80374     45 |  1.287 % |
747.68/747.63	c |   2083113 |   55667   441582  1787245 |    91348    80887     45 |  1.287 % |
748.09/748.04	c |   2084137 |   55667   441582  1787245 |    91348    81911     45 |  1.287 % |
748.78/748.79	c |   2086188 |   55667   441582  1787245 |    91348    83962     45 |  1.287 % |
750.08/750.03	c |   2090284 |   55667   441582  1787245 | 2147483647    88058     45 |  1.287 % |
750.08/750.08	c |   2090797 |   55667   441582  1787245 | 2147483647    88571     45 |  1.287 % |
750.38/750.38	c |   2091309 |   55667   441582  1787245 | 2147483647    89083     45 |  1.287 % |
750.68/750.68	c |   2092334 |   55667   441582  1787245 | 2147483647    90108     45 |  1.287 % |
751.18/751.11	c |   2092846 |   55667   441582  1787245 | 2147483647    90620     45 |  1.287 % |
751.39/751.32	c |   2093359 |   55667   441582  1787245 | 2147483647    91133     45 |  1.287 % |
751.78/751.77	c |   2094384 |   55667   441582  1787245 | 2147483647    92158     45 |  1.287 % |
752.78/752.73	c |   2096432 |   55667   441582  1787245 | 2147483647    94206     45 |  1.287 % |
753.08/753.04	c |   2096944 |   55667   441582  1787245 | 2147483647    94718     45 |  1.287 % |
753.38/753.32	c |   2097456 |   55667   441582  1787245 | 2147483647    95230     45 |  1.287 % |
753.78/753.77	c |   2098481 |   55667   441582  1787245 | 2147483647    96255     45 |  1.287 % |
754.18/754.15	c |   2098994 |   55667   441582  1787245 | 2147483647    96768     45 |  1.287 % |
754.38/754.40	c |   2099507 |   55667   441582  1787245 | 2147483647    97281     44 |  1.287 % |
754.78/754.72	c |   2100533 |   55667   441582  1787245 | 2147483647    98307     44 |  1.287 % |
755.38/755.31	c |   2102581 |   55654   441115  1785402 | 2147483647   100335     44 |  1.311 % |
756.89/756.84	c |   2106677 |   55654   441115  1785402 | 2147483647   104431     44 |  1.310 % |
760.48/760.49	c |   2114869 |   55654   441115  1785402 |   107754   112623     44 |  1.310 % |
764.78/764.73	c |   2131253 |   55654   441115  1785402 |    82295    83547     39 |  1.310 % |
776.29/776.27	c |   2164023 |   55653   441110  1785387 | 2147483647    99314     44 |  1.312 % |
803.19/803.16	c |   2229560 |   55653   441110  1785387 |    59997    56193     33 |  1.312 % |
847.69/847.66	c |   2360632 |   55653   441110  1785387 | 2147483647    52527     52 |  1.312 % |
924.50/924.42	c |   2622776 |   55653   441110  1785387 |    38825    41600     35 |  1.312 % |
924.80/924.73	c |   2623291 |   55653   441110  1785387 |    38825    32984     34 |  1.312 % |
924.80/924.78	c |   2623803 |   55653   441110  1785387 |    38825    33496     34 |  1.312 % |
925.10/925.07	c |   2624827 |   55653   441110  1785387 |    38825    34520     34 |  1.312 % |
925.30/925.21	c |   2625341 |   55653   441110  1785387 |    38825    35034     34 |  1.312 % |
925.50/925.46	c |   2625853 |   55653   441110  1785387 |    38825    35546     33 |  1.312 % |
925.80/925.79	c |   2626877 |   55625   441089  1785315 |    38825    36565     33 |  1.369 % |
926.20/926.19	c |   2628925 |   55625   441089  1785315 |    38825    38613     33 |  1.369 % |
926.50/926.50	c |   2629437 |   55625   441089  1785315 |    38825    39125     33 |  1.369 % |
926.80/926.79	c |   2629949 |   55625   441089  1785315 |    38825    39637     33 |  1.369 % |
927.20/927.18	c |   2630974 |   55625   441089  1785315 | 2147483647    36699     33 |  1.369 % |
927.41/927.37	c |   2631486 |   55625   441089  1785315 | 2147483647    37211     33 |  1.369 % |
927.70/927.66	c |   2632000 |   55625   441089  1785315 | 2147483647    37725     34 |  1.369 % |
927.80/927.76	c |   2633026 |   55625   441089  1785315 | 2147483647    38751     34 |  1.369 % |
928.51/928.49	c |   2635075 |   55625   441089  1785315 | 2147483647    40800     35 |  1.369 % |
929.00/928.95	c |   2639172 |   55625   441089  1785315 | 2147483647    44897     34 |  1.369 % |
929.20/929.17	c |   2639688 |   55616   440877  1784602 | 2147483647    45406     34 |  1.378 % |
929.50/929.44	c |   2640201 |   55616   440877  1784602 | 2147483647    45919     35 |  1.378 % |
929.80/929.79	c |   2641225 |   55616   440877  1784602 | 2147483647    46943     35 |  1.378 % |
930.10/930.04	c |   2641737 |   55616   440877  1784602 | 2147483647    47455     34 |  1.378 % |
930.40/930.32	c |   2642249 |   55616   440877  1784602 | 2147483647    47967     34 |  1.378 % |
930.90/930.86	c |   2643273 |   55616   440877  1784602 | 2147483647    48991     35 |  1.378 % |
931.70/931.71	c |   2645321 |   55616   440877  1784602 | 2147483647    51039     35 |  1.378 % |
932.00/931.94	c |   2645833 |   55616   440877  1784602 | 2147483647    51551     35 |  1.378 % |
932.30/932.23	c |   2646345 |   55616   440877  1784602 | 2147483647    52063     35 |  1.378 % |
932.60/932.55	c |   2647372 |   55616   440877  1784602 | 2147483647    53090     35 |  1.378 % |
932.80/932.81	c |   2647885 |   55616   440877  1784602 | 2147483647    53603     35 |  1.378 % |
933.01/932.98	c |   2648397 |   55616   440877  1784602 | 2147483647    54115     35 |  1.378 % |
933.31/933.26	c |   2649423 |   55616   440877  1784602 | 2147483647    55141     35 |  1.378 % |
933.71/933.71	c |   2651471 |   55616   440877  1784602 | 2147483647    57189     35 |  1.378 % |
936.11/936.05	c |   2655568 |   55616   440877  1784602 | 2147483647    61286     39 |  1.378 % |
937.61/937.56	c |   2663762 |   55616   440877  1784602 |    65727    69480     38 |  1.378 % |
937.91/937.84	c |   2664275 |   55616   440877  1784602 |    65727    53726     39 |  1.378 % |
938.01/937.92	c |   2664787 |   55616   440877  1784602 |    65727    54238     39 |  1.378 % |
938.41/938.40	c |   2665813 |   55616   440877  1784602 |    65727    55264     39 |  1.378 % |
938.51/938.47	c |   2666325 |   55616   440877  1784602 |    65727    55776     39 |  1.378 % |
938.81/938.75	c |   2666837 |   55616   440877  1784602 |    65727    56288     39 |  1.378 % |
939.01/938.98	c |   2667862 |   55616   440877  1784602 |    65727    57313     39 |  1.378 % |
939.41/939.33	c |   2669911 |   55616   440877  1784602 |    65727    59362     39 |  1.378 % |
939.51/939.51	c |   2670423 |   55616   440877  1784602 |    59453    59874     39 |  1.378 % |
939.71/939.71	c |   2670935 |   55616   440877  1784602 |    59453    60386     39 |  1.378 % |
940.21/940.13	c |   2671959 |   55616   440877  1784602 |    59453    50845     39 |  1.378 % |
940.31/940.27	c |   2672471 |   55616   440877  1784602 |    59453    51357     39 |  1.378 % |
940.41/940.38	c |   2672983 |   55616   440877  1784602 |    59453    51869     39 |  1.378 % |
940.91/940.86	c |   2674011 |   55616   440877  1784602 |    59453    52897     39 |  1.378 % |
941.81/941.78	c |   2676061 |   55616   440877  1784602 |    59453    54947     41 |  1.378 % |
942.31/942.30	c |   2680157 |   55616   440877  1784602 | 2147483647    59043     40 |  1.378 % |
942.51/942.49	c |   2680671 |   55616   440877  1784602 | 2147483647    59557     40 |  1.378 % |
942.91/942.85	c |   2681183 |   55616   440877  1784602 | 2147483647    60069     40 |  1.378 % |
943.11/943.10	c |   2682214 |   55616   440877  1784602 | 2147483647    61100     40 |  1.378 % |
943.31/943.28	c |   2682726 |   55616   440877  1784602 | 2147483647    61612     40 |  1.378 % |
943.61/943.58	c |   2683238 |   55616   440877  1784602 | 2147483647    62124     40 |  1.378 % |
944.11/944.07	c |   2684262 |   55616   440877  1784602 | 2147483647    63148     40 |  1.378 % |
944.81/944.76	c |   2686310 |   55616   440877  1784602 | 2147483647    65196     40 |  1.378 % |
944.91/944.89	c |   2686822 |   55616   440877  1784602 | 2147483647    65708     40 |  1.378 % |
945.11/945.04	c |   2687337 |   55616   440877  1784602 | 2147483647    66223     40 |  1.378 % |
945.91/945.92	c |   2688363 |   55616   440877  1784602 | 2147483647    67249     40 |  1.378 % |
946.11/946.05	c |   2688875 |   55616   440877  1784602 | 2147483647    67761     40 |  1.378 % |
946.31/946.27	c |   2689389 |   55616   440877  1784602 | 2147483647    68275     40 |  1.378 % |
946.61/946.60	c |   2690413 |   55616   440877  1784602 |    68886    69299     40 |  1.378 % |
948.01/948.01	c |   2692463 |   55616   440877  1784602 |    68886    71349     41 |  1.378 % |
949.51/949.46	c |   2696559 |   55616   440877  1784602 |    68886    68311     40 |  1.378 % |
954.91/954.84	c |   2704751 |   55616   440877  1784602 | 2147483647    76503     43 |  1.378 % |
959.11/959.05	c |   2721135 |   55616   440877  1784602 |    72089    73224     39 |  1.378 % |
959.41/959.34	c |   2721647 |   55616   440877  1784602 |    72089    50120     39 |  1.378 % |
959.51/959.46	c |   2722161 |   55616   440877  1784602 |    72089    50634     39 |  1.378 % |
959.61/959.58	c |   2723185 |   55616   440877  1784602 |    72089    51658     39 |  1.378 % |
960.01/959.94	c |   2723698 |   55616   440877  1784602 |    72089    52171     39 |  1.378 % |
960.41/960.36	c |   2724211 |   55616   440877  1784602 |    72089    52684     39 |  1.378 % |
960.81/960.73	c |   2725235 |   55616   440877  1784602 |    72089    53708     39 |  1.378 % |
961.11/961.08	c |   2727286 |   55616   440877  1784602 |    72089    55759     39 |  1.378 % |
961.51/961.50	c |   2727798 |   55616   440877  1784602 |    72089    56271     39 |  1.378 % |
961.71/961.68	c |   2728310 |   55615   440873  1784591 |    72089    56781     39 |  1.380 % |
962.11/962.04	c |   2729334 |   55615   440873  1784591 |    72089    57805     39 |  1.380 % |
962.31/962.24	c |   2729846 |   55615   440873  1784591 |    72089    58317     39 |  1.380 % |
962.51/962.48	c |   2730359 |   55615   440873  1784591 |    58471    58830     39 |  1.380 % |
963.21/963.18	c |   2731384 |   55615   440873  1784591 |    58471    59855     39 |  1.380 % |
963.51/963.51	c |   2733435 |   55615   440873  1784591 |    58471    50453     39 |  1.380 % |
964.21/964.14	c |   2737531 |   55615   440873  1784591 |    58471    54549     40 |  1.380 % |
964.31/964.24	c |   2738044 |   55615   440873  1784591 |    58471    55062     40 |  1.380 % |
964.41/964.36	c |   2738561 |   55615   440873  1784591 |    58471    55579     40 |  1.380 % |
964.61/964.59	c |   2739587 |   55615   440873  1784591 |    58471    56605     40 |  1.380 % |
964.81/964.78	c |   2740101 |   55615   440873  1784591 |    57018    57119     39 |  1.380 % |
964.91/964.90	c |   2740613 |   55615   440873  1784591 |    57018    57631     39 |  1.380 % |
965.41/965.39	c |   2741637 |   55615   440873  1784591 |    57018    58655     39 |  1.380 % |
966.31/966.31	c |   2743686 |   55615   440873  1784591 |    57018    54839     39 |  1.380 % |
966.61/966.54	c |   2744198 |   55615   440873  1784591 |    57018    55351     39 |  1.380 % |
967.01/967.01	c |   2744710 |   55615   440873  1784591 |    57018    55863     39 |  1.380 % |
967.31/967.30	c |   2745736 |   55615   440873  1784591 |    57018    56889     39 |  1.380 % |
967.61/967.53	c |   2746249 |   55615   440873  1784591 |    57018    57402     39 |  1.380 % |
967.71/967.68	c |   2746762 |   55615   440873  1784591 |    57018    57915     39 |  1.380 % |
968.01/967.97	c |   2747787 |   55615   440873  1784591 |    57018    53149     33 |  1.380 % |
968.91/968.90	c |   2749835 |   55615   440873  1784591 |    57018    55197     34 |  1.380 % |
970.31/970.22	c |   2753932 |   55615   440873  1784591 | 2147483647    59294     34 |  1.380 % |
971.71/971.65	c |   2762125 |   55615   440873  1784591 | 2147483647    67487     34 |  1.380 % |
971.91/971.87	c |   2762640 |   55615   440873  1784591 | 2147483647    68002     34 |  1.380 % |
972.11/972.04	c |   2763152 |   55615   440873  1784591 | 2147483647    68514     34 |  1.380 % |
972.31/972.28	c |   2764176 |   55615   440873  1784591 | 2147483647    69538     34 |  1.380 % |
972.51/972.45	c |   2764696 |   55615   440873  1784591 | 2147483647    70058     34 |  1.380 % |
972.71/972.68	c |   2765208 |   55615   440873  1784591 | 2147483647    70570     34 |  1.380 % |
972.91/972.88	c |   2766235 |   55615   440873  1784591 | 2147483647    71597     34 |  1.380 % |
973.41/973.38	c |   2768283 |   55615   440873  1784591 | 2147483647    73645     35 |  1.380 % |
973.91/973.81	c |   2768795 |   55615   440873  1784591 | 2147483647    74157     35 |  1.380 % |
974.11/974.07	c |   2769307 |   55615   440873  1784591 | 2147483647    74669     35 |  1.380 % |
974.61/974.52	c |   2770331 |   55615   440873  1784591 | 2147483647    75693     35 |  1.380 % |
974.71/974.67	c |   2770847 |   55615   440873  1784591 | 2147483647    76209     35 |  1.380 % |
974.81/974.77	c |   2771359 |   55615   440873  1784591 | 2147483647    76721     35 |  1.380 % |
975.41/975.34	c |   2772385 |   55615   440873  1784591 | 2147483647    77747     35 |  1.380 % |
975.81/975.71	c |   2774434 |   55615   440873  1784591 | 2147483647    79796     35 |  1.380 % |
978.41/978.33	c |   2778533 |   55615   440873  1784591 | 2147483647    83895     38 |  1.380 % |
978.51/978.45	c |   2779047 |   55615   440873  1784591 | 2147483647    84409     38 |  1.380 % |
978.71/978.64	c |   2779559 |   55615   440873  1784591 | 2147483647    84921     38 |  1.380 % |
979.31/979.23	c |   2780584 |   55615   440873  1784591 |    85363    85946     38 |  1.380 % |
979.61/979.54	c |   2781096 |   55615   440873  1784591 |    85363    86458     38 |  1.380 % |
979.91/979.82	c |   2781608 |   55615   440873  1784591 |    85363    75490     38 |  1.380 % |
980.01/980.01	c |   2782635 |   55615   440873  1784591 |    85363    76517     38 |  1.380 % |
981.21/981.14	c |   2784684 |   55615   440873  1784591 |    85363    78566     40 |  1.380 % |
981.32/981.24	c |   2785196 |   55615   440873  1784591 |    85363    79078     40 |  1.380 % |
981.81/981.80	c |   2785709 |   55615   440873  1784591 |    85363    79591     40 |  1.380 % |
982.01/981.96	c |   2786735 |   55615   440873  1784591 |    85363    80617     40 |  1.380 % |
982.31/982.29	c |   2787247 |   55615   440873  1784591 |    85363    81129     40 |  1.380 % |
982.51/982.51	c |   2787759 |   55615   440873  1784591 |    85363    81641     40 |  1.380 % |
983.01/982.94	c |   2788785 |   55615   440873  1784591 |    85363    82667     40 |  1.380 % |
983.71/983.61	c |   2790833 |   55615   440873  1784591 |    83882    84715     40 |  1.380 % |
986.71/986.64	c |   2794929 |   55615   440873  1784591 |    83882    75677     45 |  1.380 % |
988.61/988.54	c |   2803124 |   55615   440873  1784591 | 2147483647    83872     45 |  1.380 % |
993.81/993.77	c |   2819508 |   55615   440873  1784591 |    90748    78337     45 |  1.380 % |
1001.51/1001.45	c |   2852277 |   55615   440873  1784591 | 2147483647    62153     35 |  1.380 % |
1001.71/1001.62	c |   2852790 |   55615   440873  1784591 | 2147483647    62666     36 |  1.380 % |
1002.01/1001.92	c |   2853302 |   55615   440873  1784591 | 2147483647    63178     35 |  1.380 % |
1002.31/1002.29	c |   2854326 |   55615   440873  1784591 | 2147483647    64202     35 |  1.380 % |
1002.61/1002.55	c |   2854838 |   55615   440873  1784591 | 2147483647    64714     35 |  1.380 % |
1002.81/1002.73	c |   2855350 |   55615   440873  1784591 | 2147483647    65226     35 |  1.380 % |
1003.32/1003.23	c |   2856374 |   55615   440873  1784591 | 2147483647    66250     35 |  1.380 % |
1004.21/1004.19	c |   2858422 |   55615   440873  1784591 | 2147483647    68298     36 |  1.380 % |
1004.42/1004.37	c |   2858934 |   55615   440873  1784591 | 2147483647    68810     36 |  1.380 % |
1004.61/1004.55	c |   2859446 |   55615   440873  1784591 | 2147483647    69322     36 |  1.380 % |
1005.01/1004.94	c |   2860470 |   55615   440873  1784591 | 2147483647    70346     36 |  1.380 % |
1005.31/1005.26	c |   2860982 |   55615   440873  1784591 | 2147483647    70858     36 |  1.380 % |
1005.41/1005.38	c |   2861494 |   55615   440873  1784591 | 2147483647    71370     36 |  1.380 % |
1006.01/1005.99	c |   2862518 |   55615   440873  1784591 | 2147483647    72394     37 |  1.380 % |
1006.31/1006.25	c |   2864566 |   55615   440873  1784591 | 2147483647    74442     36 |  1.380 % |
1007.21/1007.18	c |   2868662 |   55615   440873  1784591 | 2147483647    78538     36 |  1.380 % |
1007.51/1007.49	c |   2869174 |   55615   440873  1784591 | 2147483647    79050     36 |  1.380 % |
1007.81/1007.72	c |   2869686 |   55615   440873  1784591 | 2147483647    79562     36 |  1.380 % |
1008.31/1008.21	c |   2870710 |   55615   440873  1784591 | 2147483647    80586     37 |  1.380 % |
1008.51/1008.47	c |   2871224 |   55615   440873  1784591 | 2147483647    81100     37 |  1.380 % |
1008.82/1008.77	c |   2871736 |   55615   440873  1784591 | 2147483647    81612     37 |  1.380 % |
1009.41/1009.36	c |   2872760 |   55615   440873  1784591 | 2147483647    82636     38 |  1.380 % |
1010.11/1010.04	c |   2874808 |   55615   440873  1784591 | 2147483647    84684     38 |  1.380 % |
1010.11/1010.08	c |   2875320 |   55615   440873  1784591 | 2147483647    85196     38 |  1.380 % |
1010.31/1010.26	c |   2875832 |   55615   440873  1784591 | 2147483647    85708     38 |  1.380 % |
1010.70/1010.64	c |   2876856 |   55615   440873  1784591 | 2147483647    86732     38 |  1.380 % |
1011.01/1010.94	c |   2877368 |   55615   440873  1784591 | 2147483647    87244     38 |  1.380 % |
1011.30/1011.28	c |   2877880 |   55615   440873  1784591 | 2147483647    87756     38 |  1.380 % |
1011.90/1011.88	c |   2878904 |   55615   440873  1784591 | 2147483647    88780     38 |  1.380 % |
1013.30/1013.21	c |   2880955 |   55615   440873  1784591 |    89876    90831     38 |  1.380 % |
1014.50/1014.42	c |   2885051 |   55615   440873  1784591 |    89876    78943     38 |  1.380 % |
1016.51/1016.48	c |   2893245 |   55615   440873  1784591 |    83893    87137     38 |  1.380 % |
1017.01/1016.91	c |   2893758 |   55615   440873  1784591 |    83893    66975     39 |  1.380 % |
1017.31/1017.21	c |   2894270 |   55615   440873  1784591 |    83893    67487     39 |  1.380 % |
1017.51/1017.47	c |   2895294 |   55615   440873  1784591 |    83893    68511     39 |  1.380 % |
1017.91/1017.84	c |   2895806 |   55615   440873  1784591 |    83893    69023     39 |  1.380 % |
1018.21/1018.19	c |   2896320 |   55615   440873  1784591 |    83893    69537     40 |  1.380 % |
1018.61/1018.60	c |   2897344 |   55614   440869  1784581 |    83893    70560     39 |  1.381 % |
1019.21/1019.14	c |   2899392 |   55614   440869  1784581 |    83893    72608     39 |  1.381 % |
1019.51/1019.45	c |   2899906 |   55614   440869  1784581 |    83893    73122     39 |  1.381 % |
1019.61/1019.58	c |   2900418 |   55614   440869  1784581 |    73216    73634     39 |  1.381 % |
1020.11/1020.07	c |   2901442 |   55614   440869  1784581 |    73216    74658     39 |  1.381 % |
1020.41/1020.31	c |   2901954 |   55614   440869  1784581 |    73216    64353     39 |  1.381 % |
1020.71/1020.66	c |   2902466 |   55614   440869  1784581 |    73216    64865     39 |  1.381 % |
1021.11/1021.06	c |   2903490 |   55614   440869  1784581 |    73216    65889     39 |  1.381 % |
1021.61/1021.57	c |   2905539 |   55614   440869  1784581 |    73216    67938     39 |  1.381 % |
1022.61/1022.53	c |   2909635 |   55614   440869  1784581 |    73216    72034     39 |  1.381 % |
1022.91/1022.81	c |   2910147 |   55614   440869  1784581 |    72400    72546     39 |  1.381 % |
1023.31/1023.25	c |   2910660 |   55614   440869  1784581 |    72400    73059     39 |  1.381 % |
1023.61/1023.54	c |   2911686 |   55613   440869  1784581 |    72400    74084     39 |  1.383 % |
1024.01/1023.95	c |   2912198 |   55613   440869  1784581 |    72400    67188     39 |  1.383 % |
1024.31/1024.22	c |   2912711 |   55613   440869  1784581 |    72400    67701     38 |  1.383 % |
1024.61/1024.52	c |   2913737 |   55613   440869  1784581 |    72400    68727     39 |  1.383 % |
1025.21/1025.12	c |   2915785 |   55612   440869  1784581 |    72400    70774     39 |  1.394 % |
1025.21/1025.18	c |   2916299 |   55612   440869  1784581 |    72400    71288     39 |  1.394 % |
1025.51/1025.51	c |   2916811 |   55612   440869  1784581 |    72400    71800     39 |  1.394 % |
1026.11/1026.02	c |   2917835 |   55607   440582  1783334 |    72400    72819     39 |  1.394 % |
1026.31/1026.23	c |   2918348 |   55607   440582  1783334 |    72400    73332     39 |  1.394 % |
1026.51/1026.45	c |   2918861 |   55607   440582  1783334 |    72400    66512     38 |  1.394 % |
1026.91/1026.89	c |   2919887 |   55607   440582  1783334 |    72400    67538     38 |  1.394 % |
1027.81/1027.79	c |   2921935 |   55607   440582  1783334 | 2147483647    69586     38 |  1.394 % |
1028.71/1028.67	c |   2926034 |   55607   440582  1783334 | 2147483647    73685     37 |  1.394 % |
1029.91/1029.89	c |   2934227 |   55607   440582  1783334 | 2147483647    81878     37 |  1.394 % |
1038.41/1038.38	c |   2950611 |   55607   440582  1783334 |    81063    81674     42 |  1.394 % |
1039.01/1038.91	c |   2951124 |   55607   440582  1783334 |    81063    65393     43 |  1.394 % |
1039.11/1039.02	c |   2951636 |   55607   440582  1783334 |    81063    65905     43 |  1.394 % |
1039.91/1039.88	c |   2952662 |   55607   440582  1783334 |    81063    66931     43 |  1.394 % |
1040.01/1039.99	c |   2953176 |   55607   440582  1783334 |    81063    67445     43 |  1.394 % |
1040.21/1040.18	c |   2953688 |   55607   440582  1783334 |    81063    67957     43 |  1.394 % |
1040.81/1040.76	c |   2954712 |   55607   440582  1783334 |    81063    68981     43 |  1.394 % |
1041.51/1041.43	c |   2956760 |   55607   440582  1783334 |    81063    71029     42 |  1.394 % |
1041.71/1041.69	c |   2957273 |   55607   440582  1783334 |    81063    71542     42 |  1.394 % |
1042.11/1042.03	c |   2957785 |   55607   440582  1783334 |    81063    72054     42 |  1.394 % |
1042.31/1042.24	c |   2958809 |   55607   440582  1783334 |    81063    73078     42 |  1.394 % |
1042.51/1042.45	c |   2959321 |   55607   440582  1783334 |    81063    73590     42 |  1.394 % |
1042.91/1042.83	c |   2959833 |   55607   440582  1783334 |    81063    74102     42 |  1.394 % |
1043.41/1043.34	c |   2960857 |   55607   440582  1783334 |    74272    75126     42 |  1.394 % |
1044.11/1044.02	c |   2962905 |   55607   440582  1783334 |    74272    67457     43 |  1.394 % |
1045.71/1045.62	c |   2967004 |   55607   440582  1783334 |    74272    71556     43 |  1.394 % |
1045.91/1045.83	c |   2967516 |   55607   440582  1783334 |    74272    72068     43 |  1.394 % |
1046.21/1046.11	c |   2968028 |   55607   440582  1783334 |    74272    72580     43 |  1.394 % |
1046.61/1046.56	c |   2969052 |   55607   440582  1783334 |    74272    73604     42 |  1.394 % |
1046.81/1046.71	c |   2969565 |   55607   440582  1783334 |    74272    74117     42 |  1.394 % |
1047.01/1047.00	c |   2970077 |   55607   440582  1783334 |    74552    74629     42 |  1.394 % |
1047.21/1047.19	c |   2971104 |   55607   440582  1783334 |    74552    75656     42 |  1.394 % |
1048.01/1048.00	c |   2973152 |   55607   440582  1783334 |    74552    67761     43 |  1.394 % |
1048.21/1048.12	c |   2973664 |   55607   440582  1783334 |    74552    68273     43 |  1.394 % |
1048.31/1048.26	c |   2974179 |   55607   440582  1783334 |    74552    68788     43 |  1.394 % |
1048.41/1048.37	c |   2975203 |   55607   440582  1783334 |    74552    69812     43 |  1.394 % |
1048.81/1048.76	c |   2975715 |   55607   440582  1783334 |    74552    70324     43 |  1.394 % |
1048.91/1048.84	c |   2976232 |   55607   440582  1783334 |    74552    70841     43 |  1.394 % |
1050.11/1050.02	c |   2977256 |   55607   440582  1783334 |    74552    71865     43 |  1.394 % |
1050.21/1050.17	c |   2979304 |   55607   440582  1783334 |    74552    73913     43 |  1.394 % |
1051.91/1051.81	c |   2983400 |   55607   440582  1783334 | 2147483647    78009     43 |  1.394 % |
1053.51/1053.43	c |   2991593 |   55607   440582  1783334 |    84609    86202     42 |  1.394 % |
1053.71/1053.66	c |   2992109 |   55607   440582  1783334 |    84609    74753     43 |  1.394 % |
1054.01/1053.94	c |   2992622 |   55607   440582  1783334 |    84609    75266     43 |  1.394 % |
1054.21/1054.15	c |   2993647 |   55607   440582  1783334 |    84609    76291     43 |  1.394 % |
1054.31/1054.27	c |   2994162 |   55607   440582  1783334 |    84609    76806     43 |  1.394 % |
1054.51/1054.44	c |   2994674 |   55607   440582  1783334 |    84609    77318     43 |  1.394 % |
1054.61/1054.60	c |   2995698 |   55607   440582  1783334 |    84609    78342     43 |  1.394 % |
1055.61/1055.53	c |   2997746 |   55607   440582  1783334 |    84609    80390     43 |  1.394 % |
1055.81/1055.78	c |   2998258 |   55607   440582  1783334 |    84609    80902     43 |  1.394 % |
1055.91/1055.90	c |   2998770 |   55607   440582  1783334 |    84609    81414     43 |  1.394 % |
1056.11/1056.09	c |   2999795 |   55607   440582  1783334 |    84609    82439     43 |  1.394 % |
1056.61/1056.55	c |   3000308 |   55607   440582  1783334 |    82645    82952     43 |  1.394 % |
1057.01/1056.91	c |   3000820 |   55607   440582  1783334 |    82645    83464     43 |  1.394 % |
1057.31/1057.26	c |   3001844 |   55607   440582  1783334 |    82645    72010     40 |  1.394 % |
1057.81/1057.74	c |   3003897 |   55607   440582  1783334 |    82645    74063     40 |  1.394 % |
1060.01/1059.99	c |   3007993 |   55607   440582  1783334 |    82645    78159     42 |  1.394 % |
1060.21/1060.12	c |   3008506 |   55607   440582  1783334 |    82645    78672     42 |  1.394 % |
1060.41/1060.36	c |   3009018 |   55607   440582  1783334 |    82645    79184     41 |  1.394 % |
1060.61/1060.57	c |   3010042 |   55607   440582  1783334 |    80169    80208     41 |  1.394 % |
1060.91/1060.85	c |   3010554 |   55607   440582  1783334 |    80169    80720     41 |  1.394 % |
1061.11/1061.05	c |   3011066 |   55607   440582  1783334 |    80169    81232     42 |  1.394 % |
1061.81/1061.73	c |   3012094 |   55607   440582  1783334 |    80169    69058     37 |  1.394 % |
1062.31/1062.24	c |   3014143 |   55607   440582  1783334 |    80169    71107     38 |  1.394 % |
1062.71/1062.65	c |   3014655 |   55607   440582  1783334 |    80169    71619     38 |  1.394 % |
1063.01/1062.91	c |   3015167 |   55606   440507  1783070 |    80169    72125     38 |  1.396 % |
1063.41/1063.38	c |   3016191 |   55606   440507  1783070 |    80169    73149     39 |  1.396 % |
1063.82/1063.78	c |   3016703 |   55606   440507  1783070 |    80169    73661     39 |  1.396 % |
1064.01/1063.96	c |   3017215 |   55606   440507  1783070 |    80169    74173     39 |  1.396 % |
1064.61/1064.54	c |   3018239 |   55606   440507  1783070 |    80169    75197     39 |  1.396 % |
1064.92/1064.87	c |   3020287 |   55606   440507  1783070 | 2147483647    77245     39 |  1.396 % |
1067.41/1067.35	c |   3024384 |   55606   440507  1783070 | 2147483647    81342     40 |  1.396 % |
1070.31/1070.31	c |   3032577 |   55606   440507  1783070 | 2147483647    89535     41 |  1.396 % |
1074.61/1074.58	c |   3048961 |   55606   440507  1783070 |    96958    82338     41 |  1.396 % |
1092.81/1092.70	c |   3081729 |   55606   440507  1783070 |    64706    66434     41 |  1.396 % |
1127.42/1127.33	c |   3147265 |   55603   440497  1783022 | 2147483647    96093     53 |  1.401 % |
1127.82/1127.78	c |   3147778 |   55603   440454  1782841 | 2147483647    96605     53 |  1.401 % |
1128.02/1127.96	c |   3148290 |   55603   440454  1782841 | 2147483647    97117     52 |  1.401 % |
1128.72/1128.69	c |   3149314 |   55603   440454  1782841 | 2147483647    98141     52 |  1.401 % |
1128.92/1128.82	c |   3149826 |   55603   440454  1782841 | 2147483647    98653     52 |  1.401 % |
1129.02/1129.00	c |   3150340 |   55603   440454  1782841 |    98827    99167     52 |  1.401 % |
1129.22/1129.20	c |   3151364 |   55603   440454  1782841 |    98827   100191     52 |  1.401 % |
1129.62/1129.55	c |   3153414 |   55603   440454  1782841 |    98827    92222     50 |  1.401 % |
1130.22/1130.12	c |   3153927 |   55603   440454  1782841 |    98827    92735     50 |  1.401 % |
1130.42/1130.38	c |   3154439 |   55603   440454  1782841 |    98827    93247     50 |  1.401 % |
1130.52/1130.50	c |   3155463 |   55603   440454  1782841 |    98827    94271     50 |  1.401 % |
1130.82/1130.74	c |   3155975 |   55603   440454  1782841 |    98827    94783     50 |  1.401 % |
1130.92/1130.88	c |   3156488 |   55603   440454  1782841 |    98827    95296     50 |  1.401 % |
1131.02/1130.93	c |   3157513 |   55603   440454  1782841 |    98827    96321     49 |  1.401 % |
1132.12/1132.07	c |   3159562 |   55484   440454  1782841 |    98827    98369     49 |  2.335 % |
1133.02/1132.92	c |   3163658 |   55484   440454  1782841 | 2147483647   102465     48 |  2.335 % |
1133.32/1133.24	c |   3164170 |   55484   440454  1782841 | 2147483647   102977     48 |  2.335 % |
1133.52/1133.43	c |   3164682 |   55484   440454  1782841 | 2147483647   103489     48 |  2.335 % |
1133.62/1133.55	c |   3165706 |   55484   440454  1782841 | 2147483647   104513     48 |  2.335 % |
1133.62/1133.59	c |   3166218 |   55484   440454  1782841 | 2147483647   105025     48 |  2.335 % |
1133.72/1133.63	c |   3166730 |   55484   440454  1782841 | 2147483647   105537     48 |  2.335 % |
1134.42/1134.40	c |   3167754 |   55484   440454  1782841 | 2147483647   106561     48 |  2.335 % |
1135.42/1135.40	c |   3169804 |   55484   440454  1782841 | 2147483647   108611     48 |  2.335 % |
1135.72/1135.69	c |   3170318 |   55482   440454  1782841 | 2147483647   109124     48 |  2.342 % |
1135.92/1135.82	c |   3170830 |   55482   440454  1782841 | 2147483647   109636     48 |  2.343 % |
1137.02/1136.97	c |   3171854 |   55482   440454  1782841 | 2147483647   110660     48 |  2.342 % |
1137.22/1137.20	c |   3172369 |   55482   440454  1782841 | 2147483647   111175     48 |  2.342 % |
1137.42/1137.36	c |   3172882 |   55482   440454  1782841 | 2147483647   111688     48 |  2.342 % |
1138.12/1138.03	c |   3173906 |   55482   440454  1782841 | 2147483647   112712     48 |  2.342 % |
1139.12/1139.09	c |   3175955 |   55072   432459  1750970 | 2147483647   114539     48 |  2.342 % |
1139.92/1139.87	c |   3180051 |   55072   432459  1750970 |   118584   118635     47 |  2.342 % |
1143.22/1143.15	c |   3188244 |   55072   432459  1750970 |   118584   111120     48 |  2.342 % |
1143.32/1143.24	c |   3188758 |   55072   432459  1750970 |   118584   111634     48 |  2.342 % |
1143.42/1143.33	c |   3189270 |   55072   432459  1750970 |   118584   112146     48 |  2.342 % |
1143.82/1143.80	c |   3190294 |   55072   432459  1750970 | 2147483647   113170     48 |  2.342 % |
1143.92/1143.90	c |   3190806 |   55072   432459  1750970 | 2147483647   113682     47 |  2.342 % |
1144.22/1144.20	c |   3191319 |   55072   432459  1750970 | 2147483647   114195     47 |  2.342 % |
1144.42/1144.39	c |   3192343 |   55072   432459  1750970 | 2147483647   115219     47 |  2.342 % |
1145.02/1144.95	c |   3194392 |   55072   432459  1750970 | 2147483647   117268     47 |  2.342 % |
1145.62/1145.54	c |   3194905 |   55072   432459  1750970 | 2147483647   117781     47 |  2.342 % |
1145.72/1145.61	c |   3195417 |   55072   432459  1750970 | 2147483647   118293     47 |  2.342 % |
1146.62/1146.58	c |   3196441 |   55072   432459  1750970 | 2147483647   119317     47 |  2.342 % |
1146.82/1146.78	c |   3196953 |   55072   432459  1750970 | 2147483647   119829     47 |  2.342 % |
1147.22/1147.19	c |   3197466 |   55071   432459  1750970 | 2147483647   120341     47 |  2.348 % |
1147.72/1147.61	c |   3198490 |   55069   432459  1750970 | 2147483647   121364     47 |  2.355 % |
1148.22/1148.14	c |   3200539 |   55069   432459  1750970 | 2147483647   123413     47 |  2.355 % |
1149.92/1149.82	c |   3204638 |   55069   432459  1750970 | 2147483647   127512     47 |  2.355 % |
1150.12/1150.06	c |   3205150 |   55065   432376  1750706 | 2147483647   128022     47 |  2.355 % |
1150.62/1150.60	c |   3205662 |   55065   432376  1750706 | 2147483647   128534     47 |  2.355 % |
1151.02/1150.96	c |   3206688 |   55065   432376  1750706 | 2147483647   129560     47 |  2.355 % |
1151.22/1151.19	c |   3207200 |   55065   432376  1750706 | 2147483647   130072     47 |  2.355 % |
1151.42/1151.31	c |   3207712 |   55065   432376  1750706 | 2147483647   130584     47 |  2.355 % |
1152.32/1152.27	c |   3208737 |   55065   432376  1750706 | 2147483647   131609     47 |  2.355 % |
1153.12/1153.02	c |   3210786 |   55065   432376  1750706 |   132872   133658     47 |  2.355 % |
1153.22/1153.16	c |   3211298 |   55065   432376  1750706 |   132872   134170     47 |  2.355 % |
1153.52/1153.46	c |   3211812 |   55065   432376  1750706 |   132872   134684     47 |  2.355 % |
1153.92/1153.86	c |   3212836 |   55065   432376  1750706 |   132872   118240     45 |  2.355 % |
1154.22/1154.17	c |   3213349 |   55065   432376  1750706 |   132872   118753     45 |  2.355 % |
1154.52/1154.43	c |   3213862 |   55065   432376  1750706 |   132872   119266     45 |  2.355 % |
1154.92/1154.83	c |   3214890 |   55065   432376  1750706 |   132872   120294     45 |  2.355 % |
1155.62/1155.58	c |   3216943 |   55065   432376  1750706 |   132872   122347     45 |  2.355 % |
1157.52/1157.50	c |   3221041 |   55065   432376  1750706 |   125404   126445     46 |  2.355 % |
1159.72/1159.67	c |   3229233 |   55065   432376  1750706 |   125404   108307     39 |  2.355 % |
1166.22/1166.17	c |   3245619 |   55065   432376  1750706 |    85628    91246     41 |  2.355 % |
1166.42/1166.39	c |   3246131 |   55065   432376  1750706 |    85628    56037     41 |  2.355 % |
1166.62/1166.55	c |   3246643 |   55065   432376  1750706 |    85628    56549     41 |  2.355 % |
1166.72/1166.64	c |   3247669 |   55065   432376  1750706 |    85628    57575     41 |  2.355 % |
1166.92/1166.87	c |   3248181 |   55065   432376  1750706 |    85628    58087     41 |  2.355 % |
1167.02/1166.94	c |   3248693 |   55065   432376  1750706 |    85628    58599     41 |  2.355 % |
1167.42/1167.33	c |   3249717 |   55065   432376  1750706 |    85628    59623     41 |  2.355 % |
1167.92/1167.89	c |   3251766 |   55065   432376  1750706 |    59907    61672     41 |  2.355 % |
1168.22/1168.12	c |   3252278 |   55065   432376  1750706 |    59907    47188     41 |  2.355 % |
1168.22/1168.21	c |   3252790 |   55065   432376  1750706 |    59907    47700     41 |  2.355 % |
1168.62/1168.56	c |   3253814 |   55065   432376  1750706 |    59907    48724     41 |  2.355 % |
1168.92/1168.82	c |   3254328 |   55065   432376  1750706 |    59907    49238     41 |  2.355 % |
1169.22/1169.15	c |   3254841 |   55065   432376  1750706 |    59907    49751     40 |  2.355 % |
1169.32/1169.30	c |   3255869 |   55065   432376  1750706 |    59907    50779     41 |  2.355 % |
1170.12/1170.01	c |   3257917 |   55065   432376  1750706 |    59907    52827     41 |  2.355 % |
1170.53/1170.50	c |   3262013 |   55065   432376  1750706 |    54910    56923     40 |  2.355 % |
1170.92/1170.84	c |   3262525 |   55065   432376  1750706 |    54910    47620     39 |  2.355 % |
1171.12/1171.08	c |   3263041 |   55065   432376  1750706 |    54910    48136     38 |  2.355 % |
1171.42/1171.33	c |   3264065 |   55065   432376  1750706 |    54910    49160     38 |  2.355 % |
1171.63/1171.55	c |   3264582 |   55065   432376  1750706 |    54910    49677     38 |  2.355 % |
1171.82/1171.78	c |   3265094 |   55065   432376  1750706 |    54910    50189     38 |  2.355 % |
1172.02/1172.00	c |   3266119 |   55065   432376  1750706 |    54910    51214     38 |  2.355 % |
1172.52/1172.44	c |   3268167 |   55065   432376  1750706 |    54910    53262     39 |  2.355 % |
1172.82/1172.72	c |   3268679 |   55065   432376  1750706 |    54910    53774     39 |  2.355 % |
1173.02/1172.93	c |   3269191 |   55065   432376  1750706 |    54910    54286     39 |  2.355 % |
1173.32/1173.25	c |   3270215 |   55065   432376  1750706 | 2147483647    55310     39 |  2.355 % |
1173.32/1173.29	c |   3270728 |   55065   432376  1750706 | 2147483647    55823     39 |  2.355 % |
1173.52/1173.43	c |   3271240 |   55065   432376  1750706 | 2147483647    56335     39 |  2.355 % |
1173.92/1173.88	c |   3272264 |   55065   432376  1750706 | 2147483647    57359     39 |  2.355 % |
1174.42/1174.40	c |   3274312 |   55063   432300  1750438 | 2147483647    59404     39 |  2.358 % |
1176.42/1176.31	c |   3278408 |   55063   432300  1750438 | 2147483647    63500     40 |  2.358 % |
1180.13/1180.06	c |   3286600 |   55063   432300  1750438 | 2147483647    71692     41 |  2.358 % |
1180.33/1180.30	c |   3287114 |   55063   432300  1750438 | 2147483647    72206     41 |  2.358 % |
1180.53/1180.50	c |   3287626 |   55063   432300  1750438 | 2147483647    72718     41 |  2.358 % |
1180.93/1180.85	c |   3288650 |   55063   432300  1750438 | 2147483647    73742     41 |  2.358 % |
1181.13/1181.02	c |   3289162 |   55063   432300  1750438 | 2147483647    74254     41 |  2.358 % |
1181.33/1181.23	c |   3289676 |   55063   432300  1750438 | 2147483647    74768     41 |  2.358 % |
1181.43/1181.40	c |   3290701 |   55063   432300  1750438 | 2147483647    75793     41 |  2.358 % |
1182.23/1182.16	c |   3292749 |   55063   432300  1750438 | 2147483647    77841     41 |  2.358 % |
1182.43/1182.38	c |   3293263 |   55063   432300  1750438 | 2147483647    78355     41 |  2.358 % |
1182.63/1182.56	c |   3293775 |   55063   432300  1750438 | 2147483647    78867     41 |  2.358 % |
1182.83/1182.75	c |   3294804 |   55063   432300  1750438 | 2147483647    79896     41 |  2.358 % |
1183.23/1183.15	c |   3295316 |   55063   432300  1750438 | 2147483647    80408     41 |  2.358 % |
1183.43/1183.33	c |   3295828 |   55063   432300  1750438 | 2147483647    80920     41 |  2.358 % |
1183.93/1183.90	c |   3296853 |   55063   432300  1750438 | 2147483647    81945     41 |  2.358 % |
1185.43/1185.37	c |   3298901 |   55063   432300  1750438 | 2147483647    83993     41 |  2.358 % |
1186.73/1186.70	c |   3302997 |   55063   432300  1750438 |    85092    88089     41 |  2.358 % |
1187.13/1187.03	c |   3303510 |   55063   432300  1750438 |    85092    70990     40 |  2.358 % |
1187.23/1187.19	c |   3304023 |   55063   432300  1750438 |    85092    71503     40 |  2.358 % |
1187.63/1187.58	c |   3305047 |   55063   432300  1750438 |    85092    72527     40 |  2.358 % |
1187.83/1187.78	c |   3305559 |   55063   432300  1750438 |    85092    73039     40 |  2.358 % |
1188.03/1187.93	c |   3306073 |   55063   432300  1750438 |    85092    73553     40 |  2.358 % |
1188.23/1188.16	c |   3307097 |   55063   432300  1750438 |    85092    74577     40 |  2.358 % |
1188.83/1188.73	c |   3309146 |   55063   432300  1750438 |    85092    76626     40 |  2.358 % |
1189.03/1188.97	c |   3309661 |   55063   432300  1750438 |    85092    77141     40 |  2.358 % |
1189.13/1189.06	c |   3310173 |   55063   432300  1750438 |    77480    77653     40 |  2.358 % |
1189.63/1189.53	c |   3311198 |   55063   432300  1750438 |    77480    78678     40 |  2.358 % |
1189.73/1189.67	c |   3311710 |   55063   432300  1750438 |    77480    79190     40 |  2.358 % |
1190.33/1190.25	c |   3312222 |   55063   432300  1750438 |    77480    65526     40 |  2.358 % |
1190.73/1190.68	c |   3313247 |   55063   432300  1750438 |    77480    66551     40 |  2.358 % |
1191.93/1191.87	c |   3315296 |   55063   432300  1750438 |    77480    68600     41 |  2.358 % |
1193.53/1193.46	c |   3319392 |   55063   432300  1750438 |    77480    72696     40 |  2.358 % |
1195.53/1195.45	c |   3327585 |   55063   432300  1750438 | 2147483647    80889     40 |  2.358 % |
1200.03/1199.92	HOME/SatELiteGTI: line 36: 24626 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.06 1.02 2/93 24620
/proc/meminfo: memFree=963304/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2416 CPUtime=0.01
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022860809 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085713134 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24620/statm: 604 277 235 161 0 43 0
[pid=24624] ppid=24620 vsize=952 CPUtime=0
/proc/24624/stat : 24624 (SatELite_releas) R 24620 24620 20977 0 -1 4202496 122 0 0 0 0 0 0 0 20 0 1 0 1022860809 974848 57 4294967295 134512640 135223648 3218327664 3218326260 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24624/statm: 238 59 46 174 0 63 0

[startup+0.053646 s]
/proc/loadavg: 1.02 1.06 1.02 2/93 24620
/proc/meminfo: memFree=963304/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2416 CPUtime=0.01
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022860809 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085713134 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24620/statm: 604 277 235 161 0 43 0
[pid=24624] ppid=24620 vsize=8748 CPUtime=0.05
/proc/24624/stat : 24624 (SatELite_releas) R 24620 24620 20977 0 -1 4202496 1871 0 0 0 5 0 0 0 20 0 1 0 1022860809 8957952 1806 4294967295 134512640 135223648 3218327664 3218326248 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24624/statm: 2187 1807 46 174 0 2012 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11164

[startup+0.113604 s]
/proc/loadavg: 1.02 1.06 1.02 2/93 24620
/proc/meminfo: memFree=963304/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2416 CPUtime=0.01
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022860809 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085713134 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24620/statm: 604 277 235 161 0 43 0
[pid=24624] ppid=24620 vsize=18024 CPUtime=0.11
/proc/24624/stat : 24624 (SatELite_releas) R 24620 24620 20977 0 -1 4202496 3851 0 0 0 9 2 0 0 20 0 1 0 1022860809 18456576 3786 4294967295 134512640 135223648 3218327664 3218326616 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24624/statm: 4506 3787 46 174 0 4331 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20440

[startup+0.313585 s]
/proc/loadavg: 1.02 1.06 1.02 2/93 24620
/proc/meminfo: memFree=963304/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2416 CPUtime=0.01
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022860809 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085713134 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24620/statm: 604 277 235 161 0 43 0
[pid=24624] ppid=24620 vsize=42356 CPUtime=0.31
/proc/24624/stat : 24624 (SatELite_releas) R 24620 24620 20977 0 -1 4202496 10164 0 0 0 29 2 0 0 21 0 1 0 1022860809 43372544 10099 4294967295 134512640 135223648 3218327664 3218326248 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24624/statm: 10589 10099 46 174 0 10414 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 44772

[startup+0.713548 s]
/proc/loadavg: 1.02 1.06 1.02 2/93 24620
/proc/meminfo: memFree=963304/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2416 CPUtime=0.01
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022860809 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085713134 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24620/statm: 604 277 235 161 0 43 0
[pid=24624] ppid=24620 vsize=114276 CPUtime=0.71
/proc/24624/stat : 24624 (SatELite_releas) R 24620 24620 20977 0 -1 4202496 22459 0 0 0 58 13 0 0 22 0 1 0 1022860809 117018624 22394 4294967295 134512640 135223648 3218327664 3218326616 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24624/statm: 28569 22394 46 174 0 28394 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 116692

[startup+1.51347 s]
/proc/loadavg: 1.02 1.06 1.02 2/95 24625
/proc/meminfo: memFree=835172/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2416 CPUtime=0.01
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022860809 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085713134 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24620/statm: 604 277 235 161 0 43 0
[pid=24624] ppid=24620 vsize=172860 CPUtime=1.51
/proc/24624/stat : 24624 (SatELite_releas) R 24620 24620 20977 0 -1 4202496 40413 0 0 0 127 24 0 0 25 0 1 0 1022860809 177008640 37296 4294967295 134512640 135223648 3218327664 3218325664 134548172 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24624/statm: 43215 37296 73 174 0 43040 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 175276

[startup+3.11331 s]
/proc/loadavg: 1.02 1.06 1.02 2/95 24625
/proc/meminfo: memFree=806404/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2416 CPUtime=0.01
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022860809 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085713134 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24620/statm: 604 277 235 161 0 43 0
[pid=24624] ppid=24620 vsize=180416 CPUtime=3.11
/proc/24624/stat : 24624 (SatELite_releas) R 24620 24620 20977 0 -1 4202496 41995 0 0 0 282 29 0 0 25 0 1 0 1022860809 184745984 38878 4294967295 134512640 135223648 3218327664 3218325664 134548337 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24624/statm: 45104 38878 73 174 0 44929 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 182832

[startup+6.31299 s]
/proc/loadavg: 1.02 1.06 1.02 2/95 24625
/proc/meminfo: memFree=770600/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2416 CPUtime=0.01
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022860809 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085713134 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24620/statm: 604 277 235 161 0 43 0
[pid=24624] ppid=24620 vsize=189584 CPUtime=6.31
/proc/24624/stat : 24624 (SatELite_releas) R 24620 24620 20977 0 -1 4202496 44478 0 0 0 596 35 0 0 25 0 1 0 1022860809 194134016 41000 4294967295 134512640 135223648 3218327664 3218325680 134586672 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24624/statm: 47396 41000 73 174 0 47221 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 192000

[startup+12.7124 s]
/proc/loadavg: 1.02 1.05 1.02 2/95 24810
/proc/meminfo: memFree=889380/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=30888 CPUtime=4.57
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 7551 0 0 0 452 5 0 0 25 0 1 0 1022861622 31629312 7474 4294967295 134512640 135216591 3213462592 3213460784 134528851 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 7722 7474 75 172 0 7549 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 33308

[startup+25.5111 s]
/proc/loadavg: 1.02 1.05 1.02 2/95 24812
/proc/meminfo: memFree=879976/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=40436 CPUtime=17.37
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 9933 0 0 0 1724 13 0 0 25 0 1 0 1022861622 41406464 9856 4294967295 134512640 135216591 3213462592 3213460784 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 10109 9856 75 172 0 9936 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 42856

[startup+51.1186 s]
/proc/loadavg: 1.01 1.05 1.01 2/95 24813
/proc/meminfo: memFree=870272/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=50012 CPUtime=42.98
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 12286 0 0 0 4283 15 0 0 25 0 1 0 1022861622 51212288 12209 4294967295 134512640 135216591 3213462592 3213460784 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 12503 12209 75 172 0 12330 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 52432

[startup+102.324 s]
/proc/loadavg: 1.05 1.05 1.02 2/95 25001
/proc/meminfo: memFree=867020/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=53216 CPUtime=94.19
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 13094 0 0 0 9402 17 0 0 25 0 1 0 1022861622 54493184 13017 4294967295 134512640 135216591 3213462592 3213460704 134534220 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 13304 13017 75 172 0 13131 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 55636

[startup+162.318 s]
/proc/loadavg: 1.02 1.04 1.01 3/95 25188
/proc/meminfo: memFree=864484/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=55724 CPUtime=154.19
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 13735 0 0 0 15402 17 0 0 25 0 1 0 1022861622 57061376 13658 4294967295 134512640 135216591 3213462592 3213460784 134528966 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 13931 13658 75 172 0 13758 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 58144

[startup+222.322 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 25376
/proc/meminfo: memFree=864144/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=55884 CPUtime=214.2
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 13755 0 0 0 21402 18 0 0 25 0 1 0 1022861622 57225216 13678 4294967295 134512640 135216591 3213462592 3213460784 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 13971 13678 75 172 0 13798 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 58304

[startup+282.326 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 25569
/proc/meminfo: memFree=863780/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=56284 CPUtime=274.21
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 13855 0 0 0 27402 19 0 0 25 0 1 0 1022861622 57634816 13778 4294967295 134512640 135216591 3213462592 3213460784 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 14071 13778 75 172 0 13898 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 58704

[startup+342.31 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 25758
/proc/meminfo: memFree=861672/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=57736 CPUtime=334.2
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 14244 0 0 0 33400 20 0 0 25 0 1 0 1022861622 59121664 14167 4294967295 134512640 135216591 3213462592 3213460784 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 14434 14167 75 172 0 14261 0
Current children cumulated CPU time (s) 342.34

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

/proc/24626/statm: 15561 15288 75 172 0 15388 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 64664

[startup+642.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26705
/proc/meminfo: memFree=857192/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=62244 CPUtime=634.24
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 15366 0 0 0 63401 23 0 0 25 0 1 0 1022861622 63737856 15289 4294967295 134512640 135216591 3213462592 3213460784 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 15561 15289 75 172 0 15388 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 64664

[startup+702.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26893
/proc/meminfo: memFree=857100/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=62244 CPUtime=694.24
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 15366 0 0 0 69400 24 0 0 25 0 1 0 1022861622 63737856 15289 4294967295 134512640 135216591 3213462592 3213460784 134528953 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 15561 15289 75 172 0 15388 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 64664

[startup+762.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27080
/proc/meminfo: memFree=857348/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=62244 CPUtime=754.25
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 15366 0 0 0 75397 28 0 0 25 0 1 0 1022861622 63737856 15289 4294967295 134512640 135216591 3213462592 3213460704 134534220 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 15561 15289 75 172 0 15388 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 64664

[startup+822.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27268
/proc/meminfo: memFree=857324/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=62392 CPUtime=814.25
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 15398 0 0 0 81397 28 0 0 25 0 1 0 1022861622 63889408 15321 4294967295 134512640 135216591 3213462592 3213460784 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 15598 15321 75 172 0 15425 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 64812

[startup+882.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27457
/proc/meminfo: memFree=856944/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=62676 CPUtime=874.26
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 15462 0 0 0 87398 28 0 0 25 0 1 0 1022861622 64180224 15385 4294967295 134512640 135216591 3213462592 3213460784 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 15669 15385 75 172 0 15496 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 65096

[startup+942.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27644
/proc/meminfo: memFree=856620/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=63292 CPUtime=934.27
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 15595 0 0 0 93399 28 0 0 25 0 1 0 1022861622 64811008 15518 4294967295 134512640 135216591 3213462592 3213460784 134529044 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 15823 15518 75 172 0 15650 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 65712

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27836
/proc/meminfo: memFree=856372/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=63292 CPUtime=994.27
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 15595 0 0 0 99399 28 0 0 25 0 1 0 1022861622 64811008 15518 4294967295 134512640 135216591 3213462592 3213460784 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 15823 15518 75 172 0 15650 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 65712

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28023
/proc/meminfo: memFree=856332/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=63292 CPUtime=1054.27
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 15595 0 0 0 105398 29 0 0 25 0 1 0 1022861622 64811008 15518 4294967295 134512640 135216591 3213462592 3213460784 134529262 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 15823 15518 75 172 0 15650 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 65712

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28211
/proc/meminfo: memFree=854256/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=65672 CPUtime=1114.28
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 16179 0 0 0 111398 30 0 0 25 0 1 0 1022861622 67248128 16102 4294967295 134512640 135216591 3213462592 3213460784 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 16418 16102 75 172 0 16245 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 68092

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28400
/proc/meminfo: memFree=849164/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=70824 CPUtime=1174.29
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 17497 0 0 0 117399 30 0 0 25 0 1 0 1022861622 72523776 17420 4294967295 134512640 135216591 3213462592 3213460784 134528939 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 17706 17420 75 172 0 17533 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 73244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28400
/proc/meminfo: memFree=849196/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=70824 CPUtime=1191.89
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 17497 0 0 0 119159 30 0 0 25 0 1 0 1022861622 72523776 17420 4294967295 134512640 135216591 3213462592 3213460784 134528962 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 17706 17420 75 172 0 17533 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 73244

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

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

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28400
/proc/meminfo: memFree=849196/2074464 swapFree=1951864/1959888
[pid=24620] ppid=24618 vsize=2420 CPUtime=8.14
/proc/24620/stat : 24620 (SatELiteGTI) S 24618 24620 20977 0 -1 4194304 387 48893 0 0 0 0 770 44 18 0 1 0 1022860809 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085713134 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24620/statm: 605 278 235 161 0 44 0
[pid=24626] ppid=24620 vsize=70824 CPUtime=1191.89
/proc/24626/stat : 24626 (minisat_static) R 24620 24620 20977 0 -1 4202496 17497 0 0 0 119159 30 0 0 25 0 1 0 1022861622 72523776 17420 4294967295 134512640 135216591 3213462592 3213460784 134528962 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24626/statm: 17706 17420 75 172 0 17533 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 73244

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1199.94
CPU time (s): 1200.03
CPU user time (s): 1199.29
CPU system time (s): 0.74
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 196108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.29
system time used= 0.74
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66868
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= 19
involuntary context switches= 1177

runsolver used 0 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi10 at 2009-05-17 20:06:36
IDJOB=1821959
IDBENCH=71749
IDSOLVER=658
FILE ID=tipi10/1821959-1242583596
PBS_JOBID=
Free space on /tmp= 3619 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-f10ni.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821959-1242583596/watcher-1821959-1242583596 -o /tmp/evaluation-result-1821959-1242583596/solver-1821959-1242583596 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821959-1242583596.cnf

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

MD5SUM BENCH= b99a5b8844b4e1d2656eb1422e6e888f
RANDOM SEED= 732856125

Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        963320 kB
Buffers:         48332 kB
Cached:         946176 kB
SwapCached:       2732 kB
Active:         213052 kB
Inactive:       791288 kB
HighTotal:     1178688 kB
HighFree:       514392 kB
LowTotal:       895776 kB
LowFree:        448928 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:           22080 kB
Writeback:           0 kB
AnonPages:        9212 kB
Mapped:           3232 kB
Slab:            97276 kB
PageTables:        504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90588 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 3619 MiB
End job on tipi10 at 2009-05-17 20:26:40