Trace number 1837066

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 10000.1 10002.6

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
MD5SUM3be331331884289c55e55acdeed55dc7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables208002
Number of clauses986543
Sum of the clauses size2288164
Maximum clause length10
Minimum clause length1
Number of clauses of size 117318
Number of clauses of size 2753529
Number of clauses of size 3176796
Number of clauses of size 44320
Number of clauses of size 517280
Number of clauses of size over 517300

Solver Data 

0.00/0.00	c Parsing...
0.00/0.74	c ==============================================================================
0.00/0.74	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.74	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.74	c ==============================================================================
0.00/0.74	c |         0 |  969225  2270846 |  290767       0        0     nan |  0.000 % |
6.68/6.73	c |         0 |  424864  1140718 |      --       0       --      -- |     --   | -338304/-664362
6.68/6.74	c ==============================================================================
6.68/6.74	c Result  :   #vars: 68615   #clauses: 424864   #literals: 1140718
6.68/6.74	c CPU time:   6.50201 s
6.68/6.74	c ==============================================================================
7.17/7.20	c This is MiniSat 2.0 beta
7.17/7.20	c WARNING: for repeatability, setting FPU to use double precision
7.17/7.20	c ============================[ Problem Statistics ]=============================
7.17/7.20	c |                                                                             |
7.17/7.20	c |  Number of variables:  68615                                                |
7.17/7.20	c |  Number of clauses:    424864                                               |
7.18/7.46	c |  Parsing time:         0.23         s                                       |
7.18/7.48	c ============================[ Search Statistics ]==============================
7.18/7.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.18/7.48	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.18/7.48	c ===============================================================================
7.18/7.48	c |         0 |   68615   424864  1140718 |   141621        0    nan |  0.000 % |
7.57/7.70	c |       101 |   68460   424864  1140718 |   141621       88     26 |  9.192 % |
7.77/7.86	c |       201 |   68070   424864  1140718 |   141621      183     36 | 16.174 % |
7.87/7.98	c |       301 |   67987   424864  1140718 |   141621      282     36 | 16.456 % |
8.16/8.23	c |       411 |   54523   332554   912566 |   141621      358     35 | 20.853 % |
8.36/8.47	c |       511 |   54223   332554   912566 |   141621      452     33 | 25.471 % |
8.46/8.59	c |       621 |   54120   332554   912566 |   141621      560     33 | 26.309 % |
8.77/8.80	c |       742 |   42589   249777   701316 |   141621      634     32 | 38.378 % |
8.96/9.06	c |       842 |   42562   249777   701316 |   141621      731     33 | 38.537 % |
9.16/9.26	c |       953 |   42562   249777   701316 |   141621      842     39 | 38.537 % |
9.46/9.57	c |      1075 |   42172   246989   693754 |   141621      960     42 | 38.579 % |
9.67/9.78	c |      1209 |   42053   246989   693754 |   141621     1090     40 | 51.607 % |
9.97/10.07	c |      1310 |   33202   184347   526316 |   141621     1070     41 | 52.002 % |
10.37/10.43	c |      1420 |   32766   181613   518817 |   141621     1168     41 | 60.637 % |
10.47/10.54	c |      1541 |   32760   181613   518817 |   141621     1286     39 | 60.695 % |
10.77/10.82	c |      1674 |   26910   146032   419426 |   141621     1256     38 | 65.239 % |
10.97/11.04	c |      1820 |   23772   125507   363027 |   141621     1383     37 | 65.355 % |
11.17/11.27	c |      1920 |   22626   118433   343790 |   141621     1465     36 | 68.144 % |
11.26/11.39	c |      2031 |   22622   118433   343790 |   141621     1575     35 | 68.157 % |
11.46/11.51	c |      2153 |   22622   118433   343790 |   141621     1697     35 | 68.157 % |
11.66/11.75	c |      2286 |   21847   113840   329873 |   141621     1798     37 | 68.367 % |
11.86/11.94	c |      2432 |   20749   105787   305466 |   141621     1904     36 | 69.760 % |
12.07/12.15	c |      2592 |   20748   105787   305466 |   141621     2063     36 | 69.778 % |
12.16/12.25	c |      2692 |   20736   105694   305213 |   141621     2160     36 | 70.651 % |
12.36/12.40	c |      2802 |   20736   105694   305213 |   141621     2270     36 | 70.651 % |
12.46/12.56	c |      2924 |   20138   102098   294931 |   141621     2386     36 | 70.745 % |
12.66/12.73	c |      3059 |   20138   102098   294931 |   141621     2521     36 | 70.745 % |
12.76/12.84	c |      3206 |   20073   100749   291093 |   141621     2668     37 | 70.745 % |
12.86/12.98	c |      3366 |   20073   100749   291093 |   141621     2828     37 | 70.745 % |
13.17/13.27	c |      3542 |   20060   100648   290804 |   141621     3003     36 | 70.764 % |
13.26/13.35	c |      3642 |   20060   100648   290804 |   141621     3101     36 | 71.416 % |
13.46/13.52	c |      3752 |   20060   100648   290804 |   141621     3211     36 | 71.416 % |
13.66/13.75	c |      3873 |   19613    98397   284192 |   141621     3331     36 | 71.416 % |
13.76/13.88	c |      4007 |   19599    98329   283995 |   141621     3463     35 | 71.436 % |
13.86/13.98	c |      4153 |   19595    98329   283995 |   141621     3607     35 | 71.470 % |
13.96/14.09	c |      4313 |   19595    98329   283995 |   141621     3766     35 | 71.487 % |
14.06/14.20	c |      4489 |   19564    98079   283321 |   141621     3939     36 | 71.487 % |
14.36/14.44	c |      4685 |   19564    98079   283321 |   141621     4135     36 | 71.487 % |
14.56/14.68	c |      4785 |   19551    98003   283096 |   141621     4232     36 | 71.506 % |
14.66/14.76	c |      4895 |   19551    98003   283096 |   141621     4342     36 | 71.506 % |
14.86/14.90	c |      5016 |   19551    98003   283096 |   141621     4463     35 | 71.506 % |
14.86/14.96	c |      5149 |   19551    98003   283096 |   141621     4596     35 | 71.506 % |
15.06/15.11	c |      5295 |   19551    98003   283096 |   141621     4742     35 | 71.506 % |
15.16/15.29	c |      5456 |   19551    98003   283096 |   141621     4903     34 | 71.506 % |
15.37/15.45	c |      5634 |   19524    97831   282593 |   141621     5074     34 | 71.546 % |
15.56/15.60	c |      5828 |   19524    97831   282593 |   141621     5268     34 | 71.546 % |
15.66/15.78	c |      6040 |   19524    97831   282593 |   141621     5480     34 | 71.546 % |
15.76/15.87	c |      6140 |   19524    97831   282593 |   141621     5580     34 | 71.546 % |
15.96/16.01	c |      6250 |   19524    97831   282593 |   141621     5690     33 | 71.546 % |
16.06/16.14	c |      6373 |   19524    97831   282593 |   141621     5813     33 | 71.546 % |
16.26/16.31	c |      6511 |   19524    97831   282593 |   141621     5951     33 | 71.546 % |
16.47/16.52	c |      6658 |   18976    95956   277513 |   141621     6089     33 | 72.344 % |
16.66/16.71	c |      6819 |   18976    95956   277513 |   141621     6249     34 | 72.362 % |
16.86/16.95	c |      6999 |   18972    95956   277513 |   141621     6428     34 | 72.385 % |
17.06/17.18	c |      7192 |   18946    95768   276988 |   141621     6619     34 | 72.414 % |
17.36/17.45	c |      7407 |   18946    95768   276988 |   141621     6834     34 | 72.414 % |
17.57/17.69	c |      7640 |   18928    95596   276525 |   141621     7064     34 | 72.414 % |
17.76/17.81	c |      7743 |   18928    95596   276525 |   141621     7167     34 | 72.414 % |
17.86/17.94	c |      7854 |   18922    95529   276342 |   141621     7277     34 | 72.423 % |
17.96/18.04	c |      7976 |   18922    95529   276342 |   141621     7399     34 | 72.423 % |
18.06/18.17	c |      8109 |   18922    95529   276342 |   141621     7532     34 | 72.423 % |
18.16/18.27	c |      8258 |   18922    95529   276342 |   141621     7681     33 | 72.423 % |
18.36/18.42	c |      8419 |   18922    95529   276342 |   141621     7842     33 | 72.423 % |
18.46/18.59	c |      8597 |   18922    95529   276342 |   141621     8020     33 | 72.423 % |
18.76/18.82	c |      8790 |   18922    95529   276342 |   141621     8213     33 | 72.423 % |
18.96/19.04	c |      9003 |   18922    95529   276342 |   141621     8426     33 | 72.423 % |
19.16/19.24	c |      9236 |   18922    95529   276342 |   141621     8659     33 | 72.423 % |
19.46/19.53	c |      9492 |   18911    95442   276103 |   141621     8913     33 | 72.481 % |
19.56/19.64	c |      9594 |   18911    95442   276103 |   141621     9015     33 | 72.481 % |
19.67/19.74	c |      9704 |   18911    95442   276103 |   141621     9125     33 | 72.481 % |
19.77/19.87	c |      9826 |   18911    95442   276103 |   141621     9247     33 | 72.481 % |
20.06/20.19	c |      9962 |   18882    95230   275517 |   141621     9382     33 | 72.481 % |
20.26/20.36	c |     10111 |   18882    95230   275517 | 2147483647     9531     33 | 72.481 % |
20.56/20.60	c |     10271 |   18882    95230   275517 | 2147483647     9691     33 | 72.481 % |
20.66/20.78	c |     10448 |   18868    95111   275198 | 2147483647     9867     33 | 72.502 % |
20.96/21.08	c |     10643 |   18855    95026   274964 | 2147483647    10059     34 | 72.521 % |
21.16/21.29	c |     10858 |   18855    95026   274964 | 2147483647    10273     34 | 72.897 % |
21.36/21.44	c |     11091 |   18855    95026   274964 | 2147483647    10506     34 | 72.897 % |
21.46/21.58	c |     11347 |   18855    95026   274964 | 2147483647    10762     34 | 72.897 % |
21.86/21.95	c |     11630 |   18592    93795   271211 | 2147483647    11032     34 | 73.012 % |
21.96/22.06	c |     11730 |   18592    93795   271211 | 2147483647    11132     34 | 73.012 % |
22.06/22.19	c |     11842 |   18518    93337   269965 | 2147483647    11236     34 | 73.012 % |
22.26/22.35	c |     11964 |   18518    93337   269965 | 2147483647    11358     34 | 73.012 % |
22.46/22.56	c |     12100 |   18518    93337   269965 | 2147483647    11493     34 | 73.058 % |
22.66/22.78	c |     12246 |   18485    93271   269747 | 2147483647    11638     34 | 73.076 % |
22.86/22.96	c |     12406 |   18484    93271   269747 | 2147483647    11797     34 | 73.093 % |
23.06/23.18	c |     12583 |   18483    93271   269747 | 2147483647    11973     35 | 73.109 % |
23.26/23.32	c |     12776 |   18451    93024   269093 | 2147483647    12166     35 | 73.109 % |
23.46/23.50	c |     12989 |   18451    93024   269093 | 2147483647    12379     35 | 73.109 % |
23.66/23.70	c |     13222 |   18451    93024   269093 | 2147483647    12612     35 | 73.109 % |
23.96/24.01	c |     13479 |   18450    93019   269080 | 2147483647    12866     35 | 73.111 % |
24.26/24.30	c |     13760 |   18450    93019   269080 | 2147483647    13147     35 | 73.111 % |
24.66/24.72	c |     14070 |   18450    93019   269080 | 2147483647    13457     35 | 73.111 % |
24.76/24.80	c |     14171 |   18450    93019   269080 | 2147483647    13558     35 | 73.111 % |
24.86/24.92	c |     14281 |   18450    93019   269080 | 2147483647    13668     35 | 73.111 % |
24.96/25.04	c |     14402 |   18421    92817   268524 | 2147483647    13782     35 | 73.153 % |
25.06/25.14	c |     14535 |   18421    92817   268524 | 2147483647    13915     35 | 73.153 % |
25.16/25.28	c |     14686 |   18421    92817   268524 | 2147483647    14066     35 | 73.153 % |
25.46/25.60	c |     14851 |   18421    92817   268524 | 2147483647    14231     35 | 73.153 % |
25.76/25.88	c |     15028 |   18411    92737   268302 | 2147483647    14407     35 | 73.168 % |
26.06/26.15	c |     15221 |   18411    92737   268302 | 2147483647    14600     35 | 73.168 % |
26.26/26.38	c |     15433 |   18411    92737   268302 | 2147483647    14812     35 | 73.168 % |
26.56/26.64	c |     15667 |   18401    92676   268136 | 2147483647    15043     35 | 73.746 % |
26.86/26.92	c |     15924 |   18401    92676   268136 | 2147483647    15300     35 | 73.746 % |
27.16/27.23	c |     16206 |   18401    92676   268136 | 2147483647    15582     35 | 73.746 % |
27.46/27.58	c |     16516 |   18014    90687   262644 | 2147483647    15882     35 | 73.746 % |
27.86/27.93	c |     16855 |   18014    90687   262644 | 2147483647    16221     35 | 73.746 % |
27.96/28.04	c |     16955 |   18014    90687   262644 | 2147483647    16321     35 | 73.746 % |
28.06/28.17	c |     17065 |   18014    90687   262644 | 2147483647    16431     35 | 73.746 % |
28.16/28.28	c |     17186 |   18014    90687   262644 | 2147483647    16552     35 | 73.746 % |
28.26/28.39	c |     17319 |   18014    90687   262644 | 2147483647    16685     35 | 73.746 % |
28.46/28.53	c |     17466 |   18014    90687   262644 | 2147483647    16832     35 | 73.746 % |
28.56/28.69	c |     17628 |   18014    90687   262644 | 2147483647    16994     35 | 73.746 % |
28.76/28.86	c |     17805 |   18014    90687   262644 | 2147483647    17171     35 | 73.746 % |
28.96/29.07	c |     17998 |   18014    90687   262644 | 2147483647    17364     35 | 73.746 % |
29.26/29.30	c |     18211 |   17844    89973   260477 | 2147483647    17542     35 | 73.994 % |
29.46/29.56	c |     18446 |   17844    89973   260477 | 2147483647    17777     35 | 73.994 % |
29.76/29.81	c |     18702 |   17844    89973   260477 | 2147483647    18033     35 | 73.994 % |
30.16/30.20	c |     18984 |   17844    89973   260477 | 2147483647    18315     35 | 73.994 % |
30.46/30.52	c |     19293 |   17844    89973   260477 | 2147483647    18624     35 | 73.994 % |
30.76/30.83	c |     19632 |   17829    89865   260173 | 2147483647    18962     35 | 74.016 % |
31.16/31.28	c |     20004 |   17828    89865   260173 | 2147483647    19333     35 | 74.023 % |
31.26/31.38	c |     20105 |   17824    89834   260109 | 2147483647    19419     35 | 74.023 % |
31.36/31.48	c |     20216 |   17824    89834   260109 | 2147483647    19530     35 | 74.023 % |
31.46/31.59	c |     20337 |   17824    89834   260109 | 2147483647    19651     35 | 74.023 % |
31.66/31.72	c |     20470 |   17824    89834   260109 | 2147483647    19784     35 | 74.023 % |
31.76/31.90	c |     20616 |   17824    89834   260109 | 2147483647    19930     35 | 74.023 % |
31.96/32.09	c |     20777 |   17824    89834   260109 | 2147483647    20091     35 | 74.023 % |
32.26/32.32	c |     20953 |   17824    89834   260109 | 2147483647    20267     35 | 74.023 % |
32.46/32.51	c |     21146 |   17824    89834   260109 | 2147483647    20460     35 | 74.023 % |
32.66/32.78	c |     21358 |   17824    89834   260109 | 2147483647    20672     35 | 74.023 % |
32.86/33.00	c |     21593 |   17824    89834   260109 | 2147483647    20907     35 | 74.023 % |
33.16/33.26	c |     21850 |   17824    89834   260109 | 2147483647    21164     35 | 74.023 % |
33.46/33.57	c |     22131 |   17824    89834   260109 | 2147483647    21445     35 | 74.023 % |
33.86/33.90	c |     22441 |   17824    89834   260109 | 2147483647    21755     35 | 74.023 % |
34.26/34.36	c |     22781 |   17823    89830   260099 | 2147483647    22094     35 | 74.025 % |
34.76/34.84	c |     23153 |   17822    89830   260099 | 2147483647    22465     36 | 74.039 % |
35.16/35.22	c |     23562 |   17822    89830   260099 | 2147483647    22874     35 | 74.039 % |
35.26/35.33	c |     23662 |   17813    89769   259932 | 2147483647    22973     36 | 74.039 % |
35.36/35.47	c |     23772 |   17813    89769   259932 | 2147483647    23083     35 | 74.039 % |
35.56/35.63	c |     23893 |   17813    89769   259932 | 2147483647    23203     36 | 74.689 % |
35.66/35.78	c |     24027 |   17813    89769   259932 | 2147483647    23337     35 | 74.689 % |
35.86/35.94	c |     24173 |   17813    89769   259932 | 2147483647    23483     35 | 74.689 % |
36.06/36.11	c |     24334 |   17812    89769   259932 | 2147483647    23643     35 | 74.710 % |
36.26/36.31	c |     24511 |   17812    89769   259932 | 2147483647    23819     36 | 74.727 % |
36.46/36.51	c |     24705 |   17341    86523   251441 | 2147483647    24012     36 | 74.727 % |
36.66/36.76	c |     24917 |   17341    86523   251441 | 2147483647    24224     36 | 74.727 % |
36.96/37.01	c |     25151 |   17341    86523   251441 | 2147483647    24458     35 | 74.727 % |
37.16/37.29	c |     25408 |   17341    86523   251441 | 2147483647    24715     36 | 74.727 % |
37.56/37.63	c |     25689 |   17341    86523   251441 | 2147483647    24996     36 | 74.727 % |
37.95/38.01	c |     26000 |   17341    86523   251441 | 2147483647    25307     36 | 74.727 % |
38.15/38.28	c |     26341 |   17341    86523   251441 | 2147483647    25648     36 | 74.727 % |
38.65/38.78	c |     26714 |   17341    86523   251441 | 2147483647    26021     36 | 74.727 % |
39.05/39.11	c |     27123 |   17341    86523   251441 | 2147483647    26430     36 | 74.727 % |
39.65/39.72	c |     27573 |   17285    86148   250410 | 2147483647    26879     36 | 74.809 % |
39.75/39.81	c |     27673 |   17285    86148   250410 | 2147483647    26979     36 | 74.809 % |
39.85/39.97	c |     27784 |   17285    86148   250410 | 2147483647    27090     36 | 74.809 % |
40.05/40.16	c |     27905 |   17285    86148   250410 | 2147483647    27211     36 | 74.809 % |
40.25/40.31	c |     28040 |   17285    86148   250410 | 2147483647    27346     36 | 74.809 % |
40.35/40.47	c |     28187 |   17284    86148   250410 | 2147483647    27492     36 | 76.021 % |
40.56/40.61	c |     28347 |   17284    86148   250410 | 2147483647    27652     36 | 76.021 % |
40.66/40.77	c |     28523 |   17284    86148   250410 | 2147483647    27828     36 | 76.021 % |
40.85/40.97	c |     28716 |   16452    81614   236646 | 2147483647    27976     36 | 76.132 % |
41.05/41.16	c |     28928 |   16452    81614   236646 | 2147483647    28188     36 | 76.132 % |
41.25/41.36	c |     29162 |   16452    81614   236646 | 2147483647    28422     36 | 76.132 % |
41.55/41.62	c |     29418 |   16452    81614   236646 | 2147483647    28677     36 | 76.134 % |
41.76/41.89	c |     29700 |   16452    81614   236646 | 2147483647    28959     36 | 76.133 % |
42.05/42.19	c |     30010 |   16376    81454   236122 | 2147483647    29268     36 | 76.134 % |
42.35/42.50	c |     30350 |   16376    81454   236122 | 2147483647    29608     36 | 76.134 % |
42.76/42.81	c |     30722 |   16376    81454   236122 | 2147483647    29980     36 | 76.133 % |
43.15/43.24	c |     31133 |   16376    81454   236122 | 2147483647    30391     36 | 76.133 % |
43.75/43.86	c |     31584 |   16376    81454   236122 | 2147483647    30842     36 | 76.134 % |
44.15/44.26	c |     32079 |   16376    81454   236122 | 2147483647    31337     36 | 76.133 % |
44.25/44.39	c |     32179 |   16376    81454   236122 | 2147483647    31437     36 | 76.134 % |
44.45/44.52	c |     32289 |   16376    81454   236122 | 2147483647    31547     36 | 76.134 % |
44.65/44.72	c |     32410 |   16342    81302   235651 | 2147483647    31663     36 | 76.183 % |
44.75/44.88	c |     32544 |   16342    81302   235651 | 2147483647    31797     36 | 76.183 % |
44.96/45.04	c |     32690 |   16341    81302   235651 | 2147483647    31942     36 | 76.201 % |
45.15/45.25	c |     32850 |   16341    81302   235651 | 2147483647    32102     36 | 76.201 % |
45.35/45.44	c |     33026 |   16341    81302   235651 | 2147483647    32278     36 | 76.201 % |
45.55/45.62	c |     33219 |   16341    81302   235651 | 2147483647    32471     36 | 76.201 % |
45.85/45.94	c |     33432 |   16341    81302   235651 | 2147483647    32684     36 | 76.201 % |
46.16/46.27	c |     33665 |   16341    81302   235651 | 2147483647    32917     36 | 76.201 % |
46.55/46.68	c |     33921 |   16330    81210   235407 | 2147483647    33170     36 | 76.201 % |
46.85/46.99	c |     34203 |   16330    81210   235407 | 2147483647    33452     36 | 76.201 % |
47.35/47.48	c |     34512 |   16330    81210   235407 | 2147483647    33761     36 | 76.201 % |
47.75/47.85	c |     34852 |   16330    81210   235407 | 2147483647    34101     36 | 76.201 % |
48.26/48.32	c |     35226 |   16330    81210   235407 | 2147483647    34475     36 | 76.201 % |
48.65/48.78	c |     35637 |   16330    81210   235407 | 2147483647    34886     36 | 76.201 % |
49.25/49.40	c |     36091 |   16329    81205   235394 | 2147483647    35338     36 | 76.202 % |
49.85/49.91	c |     36584 |   16329    81205   235394 | 2147483647    35831     36 | 76.202 % |
50.25/50.33	c |     37126 |   16329    81205   235394 | 2147483647    36373     36 | 76.202 % |
50.35/50.45	c |     37226 |   16329    81205   235394 | 2147483647    36473     36 | 76.202 % |
50.46/50.54	c |     37338 |   16329    81205   235394 | 2147483647    36585     36 | 76.202 % |
50.55/50.68	c |     37460 |   16329    81205   235394 | 2147483647    36707     36 | 76.202 % |
50.75/50.85	c |     37593 |   16329    81205   235394 | 2147483647    36840     36 | 76.202 % |
50.95/51.02	c |     37739 |   16329    81205   235394 | 2147483647    36986     36 | 76.202 % |
51.15/51.23	c |     37901 |   16329    81205   235394 | 2147483647    37148     36 | 76.202 % |
51.35/51.49	c |     38080 |   16329    81205   235394 | 2147483647    37327     36 | 76.202 % |
51.55/51.69	c |     38274 |   16328    81200   235381 | 2147483647    37518     36 | 76.203 % |
51.95/52.00	c |     38488 |   16328    81200   235381 | 2147483647    37732     36 | 76.203 % |
52.25/52.31	c |     38721 |   16328    81200   235381 | 2147483647    37965     36 | 76.203 % |
52.55/52.60	c |     38978 |   16328    81200   235381 | 2147483647    38222     36 | 76.203 % |
52.85/52.92	c |     39260 |   16328    81200   235381 | 2147483647    38504     36 | 76.203 % |
53.15/53.29	c |     39570 |   16328    81200   235381 | 2147483647    38814     36 | 76.203 % |
53.55/53.66	c |     39910 |   16328    81200   235381 | 2147483647    39154     36 | 76.203 % |
54.15/54.23	c |     40284 |   16316    81104   235124 | 2147483647    39527     36 | 76.221 % |
54.75/54.82	c |     40693 |   16315    81104   235124 | 2147483647    39935     36 | 76.244 % |
55.25/55.35	c |     41142 |   16315    81104   235124 | 2147483647    40384     36 | 76.244 % |
55.75/55.83	c |     41635 |   16315    81104   235124 | 2147483647    40877     36 | 76.244 % |
56.25/56.35	c |     42177 |   16300    81010   234844 | 2147483647    41414     36 | 76.244 % |
57.15/57.20	c |     42773 |   16300    81010   234844 | 2147483647    42009     36 | 76.253 % |
57.25/57.32	c |     42874 |   16300    81010   234844 | 2147483647    42110     36 | 76.253 % |
57.35/57.42	c |     42985 |   16300    81010   234844 | 2147483647    42221     36 | 76.253 % |
57.45/57.56	c |     43106 |   16294    80943   234666 | 2147483647    42341     36 | 76.276 % |
57.65/57.76	c |     43239 |   16294    80943   234666 | 2147483647    42474     36 | 76.276 % |
57.95/58.03	c |     43386 |   16294    80943   234666 | 2147483647    42620     36 | 76.311 % |
58.15/58.25	c |     43548 |   16294    80943   234666 | 2147483647    42782     36 | 76.311 % |
58.34/58.45	c |     43724 |   16294    80943   234666 | 2147483647    42958     36 | 76.311 % |
58.54/58.69	c |     43918 |   16294    80943   234666 | 2147483647    43152     36 | 76.311 % |
58.84/58.91	c |     44130 |   16294    80943   234666 | 2147483647    43364     36 | 76.311 % |
59.14/59.22	c |     44365 |   16294    80943   234666 | 2147483647    43599     36 | 76.311 % |
59.44/59.54	c |     44622 |   16254    80781   234128 | 2147483647    43855     36 | 76.311 % |
59.74/59.83	c |     44903 |   16254    80781   234128 | 2147483647    44136     36 | 76.311 % |
60.04/60.11	c |     45213 |   16254    80781   234128 | 2147483647    44446     36 | 76.311 % |
60.35/60.47	c |     45553 |   16254    80781   234128 | 2147483647    44786     36 | 76.311 % |
60.74/60.86	c |     45925 |   16254    80781   234128 | 2147483647    45158     36 | 76.311 % |
61.24/61.31	c |     46334 |   16254    80781   234128 | 2147483647    45567     36 | 76.311 % |
61.84/61.96	c |     46784 |   16254    80781   234128 | 2147483647    46017     36 | 76.311 % |
62.44/62.56	c |     47277 |   16254    80781   234128 | 2147483647    46510     36 | 76.311 % |
63.24/63.34	c |     47819 |   16254    80781   234128 | 2147483647    47052     36 | 76.311 % |
64.24/64.37	c |     48415 |   15796    77522   225559 | 2147483647    47646     36 | 76.979 % |
65.14/65.24	c |     49070 |   15796    77522   225559 | 2147483647    48300     36 | 76.998 % |
65.24/65.35	c |     49171 |   15796    77522   225559 | 2147483647    48401     36 | 76.998 % |
65.44/65.55	c |     49281 |   15796    77522   225559 | 2147483647    48511     36 | 76.998 % |
65.64/65.70	c |     49404 |   15796    77522   225559 | 2147483647    48634     36 | 76.998 % |
65.74/65.90	c |     49537 |   15796    77522   225559 | 2147483647    48767     36 | 76.998 % |
65.94/66.07	c |     49684 |   15796    77522   225559 | 2147483647    48914     36 | 76.998 % |
66.14/66.28	c |     49844 |   15796    77522   225559 | 2147483647    49074     36 | 76.998 % |
66.34/66.41	c |     50022 |   15796    77522   225559 | 2147483647    49252     36 | 76.998 % |
66.54/66.66	c |     50216 |   15783    77446   225352 | 2147483647    49443     36 | 76.998 % |
66.94/67.02	c |     50429 |   15783    77446   225352 | 2147483647    49656     36 | 76.998 % |
67.24/67.39	c |     50663 |   15783    77446   225352 | 2147483647    49890     36 | 76.998 % |
67.54/67.69	c |     50920 |   15783    77446   225352 | 2147483647    50147     36 | 76.998 % |
67.94/68.04	c |     51201 |   15783    77446   225352 | 2147483647    50428     36 | 76.998 % |
68.34/68.49	c |     51510 |   15783    77446   225352 | 2147483647    50737     36 | 76.998 % |
68.64/68.76	c |     51849 |   15783    77446   225352 | 2147483647    51076     36 | 76.998 % |
69.14/69.26	c |     52221 |   15783    77446   225352 | 2147483647    51448     36 | 76.998 % |
69.74/69.81	c |     52634 |   15783    77446   225352 | 2147483647    51861     36 | 76.998 % |
70.44/70.53	c |     53083 |   15783    77446   225352 | 2147483647    52310     36 | 76.998 % |
70.94/71.07	c |     53578 |   15783    77446   225352 | 2147483647    52805     36 | 76.998 % |
71.74/71.83	c |     54124 |   15783    77446   225352 | 2147483647    53351     36 | 76.998 % |
72.34/72.46	c |     54721 |   15783    77446   225352 | 2147483647    53948     36 | 76.998 % |
73.04/73.18	c |     55376 |   15783    77446   225352 | 2147483647    54603     36 | 76.998 % |
73.94/74.02	c |     56096 |   15754    77279   224913 | 2147483647    55315     36 | 77.040 % |
74.04/74.15	c |     56196 |   15754    77279   224913 | 2147483647    55415     36 | 77.040 % |
74.24/74.33	c |     56306 |   15754    77279   224913 | 2147483647    55525     36 | 77.040 % |
74.44/74.50	c |     56427 |   15754    77279   224913 | 2147483647    55646     36 | 77.040 % |
74.64/74.77	c |     56563 |   15754    77279   224913 | 2147483647    55782     36 | 77.040 % |
74.84/74.96	c |     56709 |   15754    77279   224913 | 2147483647    55928     36 | 77.040 % |
75.04/75.11	c |     56870 |   15754    77279   224913 | 2147483647    56089     36 | 77.040 % |
75.14/75.29	c |     57048 |   15754    77279   224913 | 2147483647    56267     36 | 77.040 % |
75.44/75.54	c |     57241 |   15754    77279   224913 | 2147483647    56460     36 | 77.040 % |
75.74/75.83	c |     57453 |   15754    77279   224913 | 2147483647    56672     36 | 77.040 % |
76.04/76.14	c |     57687 |   15754    77279   224913 | 2147483647    56906     36 | 77.040 % |
76.33/76.42	c |     57945 |   15754    77279   224913 | 2147483647    57164     36 | 77.040 % |
76.53/76.69	c |     58228 |   15754    77279   224913 | 2147483647    57447     36 | 77.040 % |
76.94/77.02	c |     58537 |   15754    77279   224913 | 2147483647    57756     36 | 77.040 % |
77.23/77.34	c |     58877 |   15754    77279   224913 | 2147483647    58096     36 | 77.040 % |
77.73/77.89	c |     59251 |   15754    77279   224913 | 2147483647    58470     36 | 77.040 % |
78.23/78.35	c |     59661 |   15754    77279   224913 | 2147483647    58880     36 | 77.040 % |
78.84/78.98	c |     60110 |   15754    77279   224913 | 2147483647    59329     36 | 77.040 % |
79.34/79.47	c |     60604 |   15754    77279   224913 | 2147483647    59823     36 | 77.040 % |
80.14/80.22	c |     61146 |   15754    77279   224913 | 2147483647    60365     36 | 77.040 % |
80.93/81.10	c |     61746 |   15754    77279   224913 | 2147483647    60965     36 | 77.040 % |
81.74/81.81	c |     62401 |   15754    77279   224913 | 2147483647    61620     36 | 77.040 % |
82.64/82.80	c |     63121 |   15754    77279   224913 | 2147483647    62340     36 | 77.040 % |
83.84/83.95	c |     63913 |   15754    77279   224913 | 2147483647    63132     36 | 77.040 % |
84.04/84.12	c |     64013 |   15754    77279   224913 | 2147483647    63232     36 | 77.040 % |
84.14/84.23	c |     64123 |   15754    77279   224913 | 2147483647    63342     36 | 77.040 % |
84.34/84.42	c |     64245 |   15753    77273   224897 | 2147483647    63463     36 | 77.041 % |
84.54/84.65	c |     64378 |   15753    77273   224897 | 2147483647    63595     36 | 77.114 % |
84.74/84.85	c |     64524 |   15753    77273   224897 | 2147483647    63741     36 | 77.114 % |
84.94/85.06	c |     64685 |   15753    77273   224897 | 2147483647    63902     36 | 77.114 % |
85.24/85.37	c |     64861 |   15753    77273   224897 | 2147483647    64078     36 | 77.114 % |
85.64/85.72	c |     65054 |   15753    77273   224897 | 2147483647    64271     36 | 77.114 % |
85.94/86.00	c |     65266 |   15753    77273   224897 | 2147483647    64483     36 | 77.114 % |
86.14/86.29	c |     65500 |   15753    77273   224897 | 2147483647    64717     36 | 77.114 % |
86.54/86.61	c |     65756 |   15753    77273   224897 | 2147483647    64973     36 | 77.114 % |
86.94/87.00	c |     66037 |   15753    77273   224897 | 2147483647    65254     36 | 77.114 % |
87.34/87.42	c |     66346 |   15753    77273   224897 | 2147483647    65563     36 | 77.114 % |
87.74/87.81	c |     66686 |   15703    76234   221943 | 2147483647    65903     36 | 77.114 % |
88.34/88.40	c |     67059 |   15703    76234   221943 | 2147483647    66276     36 | 77.114 % |
88.84/88.99	c |     67468 |   15703    76234   221943 | 2147483647    66685     36 | 77.114 % |
89.54/89.63	c |     67917 |   15703    76234   221943 | 2147483647    67134     36 | 77.114 % |
90.24/90.35	c |     68410 |   15703    76234   221943 | 2147483647    67627     36 | 77.114 % |
90.94/91.07	c |     68952 |   15703    76234   221943 | 2147483647    68169     36 | 77.114 % |
91.74/91.84	c |     69550 |   15703    76234   221943 | 2147483647    68767     36 | 77.114 % |
92.44/92.52	c |     70205 |   15703    76234   221943 | 2147483647    69422     36 | 77.114 % |
93.34/93.45	c |     70927 |   15703    76234   221943 | 2147483647    70144     36 | 77.114 % |
94.33/94.44	c |     71721 |   15703    76234   221943 | 2147483647    70938     36 | 77.114 % |
95.43/95.51	c |     72593 |   15703    76234   221943 | 2147483647    71810     36 | 77.114 % |
95.54/95.66	c |     72695 |   15703    76234   221943 | 2147483647    71912     36 | 77.114 % |
95.73/95.84	c |     72806 |   15703    76234   221943 | 2147483647    72023     36 | 77.114 % |
95.93/96.02	c |     72928 |   15703    76234   221943 | 2147483647    72145     36 | 77.114 % |
96.13/96.25	c |     73063 |   15703    76234   221943 | 2147483647    72280     36 | 77.114 % |
96.33/96.48	c |     73209 |   15703    76234   221943 | 2147483647    72426     36 | 77.114 % |
96.74/96.81	c |     73369 |   15703    76234   221943 | 2147483647    72586     36 | 77.114 % |
96.93/97.05	c |     73545 |   15703    76234   221943 | 2147483647    72762     36 | 77.114 % |
97.23/97.38	c |     73739 |   15703    76234   221943 | 2147483647    72956     36 | 77.114 % |
97.63/97.72	c |     73951 |   15703    76234   221943 | 2147483647    73168     36 | 77.114 % |
97.93/98.08	c |     74185 |   15703    76234   221943 | 2147483647    73402     36 | 77.114 % |
98.43/98.53	c |     74442 |   15703    76234   221943 | 2147483647    73659     36 | 77.114 % |
98.83/98.91	c |     74724 |   15703    76234   221943 | 2147483647    73941     36 | 77.114 % |
99.23/99.33	c |     75034 |   15703    76234   221943 | 2147483647    74251     36 | 77.114 % |
99.63/99.74	c |     75373 |   15703    76234   221943 | 2147483647    74590     36 | 77.114 % |
100.03/100.19	c |     75745 |   15703    76234   221943 | 2147483647    74962     36 | 77.114 % |
100.83/100.90	c |     76155 |   15703    76234   221943 | 2147483647    75372     36 | 77.114 % |
101.43/101.56	c |     76605 |   15703    76234   221943 | 2147483647    75822     36 | 77.114 % |
102.33/102.43	c |     77100 |   15703    76234   221943 | 2147483647    76317     36 | 77.114 % |
103.03/103.17	c |     77645 |   15703    76234   221943 | 2147483647    76862     36 | 77.114 % |
104.03/104.11	c |     78244 |   15703    76234   221943 | 2147483647    77461     36 | 77.114 % |
105.13/105.24	c |     78901 |   15703    76234   221943 | 2147483647    78118     36 | 77.114 % |
106.23/106.35	c |     79621 |   15703    76234   221943 | 2147483647    78838     35 | 77.114 % |
107.42/107.54	c |     80414 |   15703    76234   221943 | 2147483647    79631     36 | 77.114 % |
108.62/108.78	c |     81285 |   15703    76234   221943 | 2147483647    80502     36 | 77.114 % |
109.72/109.89	c |     82243 |   15703    76234   221943 | 2147483647    81460     36 | 77.114 % |
109.93/110.03	c |     82343 |   15703    76234   221943 | 2147483647    81560     35 | 77.114 % |
110.02/110.16	c |     82455 |   15703    76234   221943 | 2147483647    81672     35 | 77.114 % |
110.22/110.33	c |     82577 |   15703    76234   221943 | 2147483647    81794     35 | 77.114 % |
110.42/110.51	c |     82710 |   15703    76234   221943 | 2147483647    81927     35 | 77.114 % |
110.62/110.71	c |     82858 |   15703    76234   221943 | 2147483647    82075     35 | 77.114 % |
110.82/110.92	c |     83020 |   15703    76234   221943 | 2147483647    82237     35 | 77.114 % |
111.03/111.13	c |     83196 |   15703    76234   221943 | 2147483647    82413     35 | 77.114 % |
111.22/111.36	c |     83390 |   15703    76234   221943 | 2147483647    82607     35 | 77.114 % |
111.52/111.69	c |     83604 |   15703    76234   221943 | 2147483647    82821     35 | 77.114 % |
111.92/112.01	c |     83838 |   15703    76234   221943 | 2147483647    83055     35 | 77.114 % |
112.32/112.41	c |     84095 |   15703    76234   221943 | 2147483647    83312     35 | 77.114 % |
112.62/112.75	c |     84376 |   15703    76234   221943 | 2147483647    83593     35 | 77.114 % |
113.13/113.22	c |     84686 |   15703    76234   221943 | 2147483647    83903     35 | 77.114 % |
113.62/113.72	c |     85026 |   15703    76234   221943 | 2147483647    84243     35 | 77.114 % |
114.02/114.18	c |     85401 |   15703    76234   221943 | 2147483647    84618     35 | 77.114 % |
114.62/114.77	c |     85810 |   15703    76234   221943 | 2147483647    85027     35 | 77.114 % |
115.33/115.46	c |     86263 |   15703    76234   221943 | 2147483647    85480     35 | 77.114 % |
116.13/116.23	c |     86756 |   15703    76234   221943 | 2147483647    85973     36 | 77.114 % |
116.93/117.08	c |     87301 |   15703    76234   221943 | 2147483647    86518     36 | 77.114 % |
117.93/118.02	c |     87897 |   15703    76234   221943 | 2147483647    87114     36 | 77.114 % |
118.83/118.97	c |     88554 |   15703    76234   221943 | 2147483647    87771     36 | 77.114 % |
119.83/119.97	c |     89275 |   15703    76234   221943 | 2147483647    88492     36 | 77.114 % |
120.83/120.92	c |     90067 |   15703    76234   221943 | 2147483647    89284     36 | 77.114 % |
122.23/122.40	c |     90938 |   15703    76234   221943 | 2147483647    90155     36 | 77.114 % |
123.63/123.78	c |     91897 |   15703    76234   221943 | 2147483647    91114     35 | 77.114 % |
125.52/125.70	c |     92951 |   15472    74644   217832 | 2147483647    92167     35 | 77.451 % |
125.72/125.89	c |     93051 |   15472    74644   217832 | 2147483647    92267     35 | 77.451 % |
126.02/126.18	c |     93162 |   15472    74644   217832 | 2147483647    92378     35 | 77.451 % |
126.22/126.39	c |     93284 |   15472    74644   217832 | 2147483647    92500     35 | 77.451 % |
126.43/126.55	c |     93417 |   15472    74644   217832 | 2147483647    92633     35 | 77.451 % |
126.62/126.77	c |     93564 |   15472    74644   217832 | 2147483647    92780     35 | 77.451 % |
126.82/127.00	c |     93724 |   15472    74644   217832 | 2147483647    92940     36 | 77.451 % |
127.12/127.26	c |     93901 |   15472    74644   217832 | 2147483647    93117     35 | 77.451 % |
127.43/127.56	c |     94096 |   15472    74644   217832 | 2147483647    93312     35 | 77.451 % |
127.72/127.87	c |     94310 |   15472    74644   217832 | 2147483647    93526     36 | 77.451 % |
128.12/128.25	c |     94543 |   15472    74644   217832 | 2147483647    93759     36 | 77.451 % |
128.63/128.77	c |     94800 |   15472    74644   217832 | 2147483647    94016     36 | 77.451 % |
129.12/129.22	c |     95081 |   15472    74644   217832 | 2147483647    94297     36 | 77.451 % |
129.42/129.59	c |     95391 |   15472    74644   217832 | 2147483647    94607     36 | 77.451 % |
130.02/130.15	c |     95733 |   15472    74644   217832 | 2147483647    94949     36 | 77.451 % |
130.62/130.74	c |     96106 |   15472    74644   217832 | 2147483647    95322     35 | 77.451 % |
131.22/131.30	c |     96515 |   15472    74644   217832 | 2147483647    95731     35 | 77.451 % |
131.72/131.84	c |     96966 |   15472    74644   217832 | 2147483647    96182     35 | 77.451 % |
132.32/132.43	c |     97459 |   15472    74644   217832 | 2147483647    96675     35 | 77.451 % |
133.02/133.12	c |     98003 |   15472    74644   217832 | 2147483647    97219     35 | 77.451 % |
133.71/133.82	c |     98601 |   15472    74644   217832 | 2147483647    97817     35 | 77.451 % |
134.71/134.81	c |     99258 |   15472    74644   217832 | 2147483647    98474     35 | 77.451 % |
135.81/135.95	c |     99979 |   15472    74644   217832 | 2147483647    99195     35 | 77.451 % |
136.71/136.85	c |    100774 |   15472    74644   217832 | 2147483647    99990     35 | 77.451 % |
138.11/138.27	c |    101645 |   15472    74644   217832 | 2147483647   100861     35 | 77.451 % |
139.31/139.46	c |    102606 |   15472    74644   217832 | 2147483647   101822     35 | 77.451 % |
140.72/140.88	c |    103661 |   15472    74644   217832 | 2147483647   102877     35 | 77.451 % |
142.51/142.61	c |    104820 |   15472    74644   217832 | 2147483647   104036     35 | 77.451 % |
142.61/142.75	c |    104921 |   15472    74644   217832 | 2147483647   104137     35 | 77.451 % |
142.81/142.92	c |    105032 |   15472    74644   217832 | 2147483647   104248     35 | 77.451 % |
142.91/143.08	c |    105154 |   15472    74644   217832 | 2147483647   104370     35 | 77.451 % |
143.11/143.28	c |    105288 |   15472    74644   217832 | 2147483647   104504     35 | 77.451 % |
143.41/143.51	c |    105435 |   15472    74644   217832 | 2147483647   104651     35 | 77.451 % |
143.51/143.70	c |    105595 |   15472    74644   217832 | 2147483647   104811     35 | 77.451 % |
143.91/144.02	c |    105771 |   15472    74644   217832 | 2147483647   104987     35 | 77.451 % |
144.21/144.33	c |    105966 |   15472    74644   217832 | 2147483647   105182     35 | 77.451 % |
144.51/144.69	c |    106178 |   15472    74644   217832 | 2147483647   105394     35 | 77.451 % |
144.91/145.07	c |    106414 |   15472    74644   217832 | 2147483647   105630     35 | 77.451 % |
145.41/145.55	c |    106670 |   15472    74644   217832 | 2147483647   105886     35 | 77.451 % |
146.01/146.10	c |    106951 |   15472    74644   217832 | 2147483647   106167     35 | 77.451 % |
146.41/146.55	c |    107260 |   15472    74644   217832 | 2147483647   106476     35 | 77.451 % |
147.21/147.31	c |    107602 |   15461    74545   217553 | 2147483647   106815     35 | 77.467 % |
147.91/148.05	c |    107978 |   15461    74545   217553 | 2147483647   107191     35 | 77.467 % |
149.11/149.23	c |    108387 |   15461    74545   217553 | 2147483647   107600     35 | 77.467 % |
149.71/149.86	c |    108837 |   15461    74545   217553 | 2147483647   108050     35 | 77.467 % |
150.81/150.91	c |    109333 |   15461    74545   217553 | 2147483647   108546     35 | 77.467 % |
151.71/151.86	c |    109877 |   15461    74545   217553 | 2147483647   109090     35 | 77.467 % |
152.61/152.77	c |    110473 |   15461    74545   217553 | 2147483647   109686     35 | 77.467 % |
153.51/153.62	c |    111128 |   15461    74545   217553 | 2147483647   110341     35 | 77.467 % |
154.41/154.57	c |    111848 |   15461    74545   217553 | 2147483647   111061     35 | 77.467 % |
156.01/156.10	c |    112643 |   15461    74545   217553 | 2147483647   111856     35 | 77.467 % |
157.91/158.01	c |    113514 |   15461    74545   217553 | 2147483647   112727     35 | 77.467 % |
159.41/159.53	c |    114473 |   15461    74545   217553 | 2147483647   113686     35 | 77.467 % |
161.30/161.41	c |    115526 |   15461    74545   217553 | 2147483647   114739     35 | 77.467 % |
163.20/163.39	c |    116685 |   15461    74545   217553 | 2147483647   115898     35 | 77.467 % |
165.41/165.57	c |    117958 |   15461    74545   217553 | 2147483647   117171     35 | 77.467 % |
165.61/165.79	c |    118058 |   15461    74545   217553 | 2147483647   117271     35 | 77.467 % |
165.91/166.00	c |    118168 |   15461    74545   217553 | 2147483647   117381     35 | 77.467 % |
166.21/166.31	c |    118289 |   15461    74545   217553 | 2147483647   117502     35 | 77.467 % |
166.51/166.61	c |    118424 |   15461    74545   217553 | 2147483647   117637     35 | 77.467 % |
166.71/166.87	c |    118570 |   15461    74545   217553 | 2147483647   117783     35 | 77.467 % |
167.11/167.27	c |    118730 |   15461    74545   217553 | 2147483647   117943     35 | 77.467 % |
167.51/167.65	c |    118906 |   15461    74545   217553 | 2147483647   118119     35 | 77.467 % |
168.01/168.11	c |    119100 |   15461    74545   217553 | 2147483647   118313     35 | 77.467 % |
168.41/168.50	c |    119313 |   15461    74545   217553 | 2147483647   118526     35 | 77.467 % |
168.81/168.94	c |    119546 |   15461    74545   217553 | 2147483647   118759     35 | 77.467 % |
169.31/169.40	c |    119802 |   15461    74545   217553 | 2147483647   119015     35 | 77.467 % |
169.81/169.93	c |    120083 |   15461    74545   217553 | 2147483647   119296     35 | 77.467 % |
170.31/170.43	c |    120395 |   15461    74545   217553 | 2147483647   119608     35 | 77.467 % |
170.91/171.03	c |    120735 |   15461    74545   217553 | 2147483647   119948     35 | 77.467 % |
171.51/171.65	c |    121109 |   15461    74545   217553 | 2147483647   120322     35 | 77.467 % |
172.21/172.38	c |    121520 |   15461    74545   217553 | 2147483647   120733     35 | 77.467 % |
173.11/173.27	c |    121970 |   15461    74545   217553 | 2147483647   121183     35 | 77.467 % |
173.91/174.02	c |    122463 |   15461    74545   217553 | 2147483647   121676     35 | 77.467 % |
174.71/174.90	c |    123012 |   15461    74545   217553 | 2147483647   122225     35 | 77.467 % |
175.71/175.82	c |    123610 |   15461    74545   217553 | 2147483647   122823     35 | 77.467 % |
176.91/177.04	c |    124268 |   15461    74545   217553 | 2147483647   123481     35 | 77.467 % |
178.01/178.19	c |    124989 |   15461    74545   217553 | 2147483647   124202     35 | 77.467 % |
179.70/179.86	c |    125783 |   15461    74545   217553 | 2147483647   124996     35 | 77.467 % |
181.41/181.57	c |    126654 |   15461    74545   217553 | 2147483647   125867     35 | 77.467 % |
183.10/183.24	c |    127612 |   15461    74545   217553 | 2147483647   126825     35 | 77.467 % |
185.40/185.51	c |    128667 |   15461    74545   217553 | 2147483647   127880     35 | 77.467 % |
187.40/187.56	c |    129828 |   15461    74545   217553 | 2147483647   129041     35 | 77.467 % |
189.70/189.81	c |    131102 |   15461    74545   217553 | 2147483647   130315     35 | 77.467 % |
191.79/191.98	c |    132502 |   15461    74545   217553 | 2147483647   131715     35 | 77.467 % |
191.99/192.16	c |    132602 |   15461    74545   217553 | 2147483647   131815     35 | 77.467 % |
192.19/192.36	c |    132713 |   15461    74545   217553 | 2147483647   131926     35 | 77.467 % |
192.49/192.63	c |    132835 |   15461    74545   217553 | 2147483647   132048     35 | 77.467 % |
192.79/192.90	c |    132968 |   15461    74545   217553 | 2147483647   132181     35 | 77.467 % |
192.99/193.12	c |    133115 |   15461    74545   217553 | 2147483647   132328     35 | 77.467 % |
193.29/193.44	c |    133278 |   15461    74545   217553 | 2147483647   132491     35 | 77.467 % |
193.59/193.76	c |    133454 |   15461    74545   217553 | 2147483647   132667     35 | 77.467 % |
193.89/194.09	c |    133649 |   15461    74545   217553 | 2147483647   132862     35 | 77.467 % |
194.29/194.43	c |    133862 |   15461    74545   217553 | 2147483647   133075     35 | 77.467 % |
194.69/194.86	c |    134096 |   15461    74545   217553 | 2147483647   133309     35 | 77.467 % |
195.19/195.31	c |    134352 |   15461    74545   217553 | 2147483647   133565     35 | 77.467 % |
195.60/195.75	c |    134635 |   15461    74545   217553 | 2147483647   133848     35 | 77.467 % |
196.19/196.37	c |    134947 |   15461    74545   217553 | 2147483647   134160     35 | 77.467 % |
196.99/197.13	c |    135287 |   15461    74545   217553 | 2147483647   134500     35 | 77.467 % |
197.69/197.85	c |    135661 |   15461    74545   217553 | 2147483647   134874     35 | 77.467 % |
198.49/198.67	c |    136070 |   15461    74545   217553 | 2147483647   135283     35 | 77.467 % |
199.39/199.57	c |    136520 |   15461    74545   217553 | 2147483647   135733     35 | 77.467 % |
200.10/200.29	c |    137013 |   15461    74545   217553 | 2147483647   136226     35 | 77.467 % |
201.20/201.35	c |    137555 |   15461    74545   217553 | 2147483647   136768     35 | 77.467 % |
202.39/202.55	c |    138153 |   15461    74545   217553 | 2147483647   137366     35 | 77.467 % |
203.99/204.17	c |    138808 |   15461    74545   217553 | 2147483647   138021     35 | 77.467 % |
205.79/205.95	c |    139529 |   15232    73028   213603 | 2147483647   138741     35 | 77.801 % |
206.99/207.17	c |    140326 |   15232    73028   213603 | 2147483647   139538     35 | 77.801 % |
208.69/208.80	c |    141197 |   15232    73028   213603 | 2147483647   140409     35 | 77.801 % |
210.59/210.74	c |    142156 |   15232    73028   213603 | 2147483647   141368     35 | 77.801 % |
212.99/213.11	c |    143211 |   15232    73028   213603 | 2147483647   142423     35 | 77.801 % |
214.89/215.07	c |    144371 |   15232    73028   213603 | 2147483647   143583     35 | 77.801 % |
217.79/217.92	c |    145647 |   15232    73028   213603 | 2147483647   144859     35 | 77.801 % |
220.59/220.73	c |    147050 |   15228    72984   213479 | 2147483647   146261     35 | 77.807 % |
223.69/223.81	c |    148592 |   15228    72984   213479 | 2147483647   147803     35 | 77.807 % |
223.89/224.06	c |    148693 |   15228    72984   213479 | 2147483647   147904     35 | 77.807 % |
224.09/224.24	c |    148803 |   15228    72984   213479 | 2147483647   148014     35 | 77.807 % |
224.39/224.53	c |    148924 |   15228    72984   213479 | 2147483647   148135     35 | 77.807 % |
224.69/224.81	c |    149057 |   15228    72984   213479 | 2147483647   148268     35 | 77.807 % |
224.99/225.14	c |    149206 |   15228    72984   213479 | 2147483647   148417     35 | 77.807 % |
225.39/225.54	c |    149366 |   15228    72984   213479 | 2147483647   148577     35 | 77.807 % |
225.89/226.08	c |    149544 |   15228    72984   213479 | 2147483647   148755     35 | 77.807 % |
226.49/226.63	c |    149737 |   15228    72984   213479 | 2147483647   148948     35 | 77.807 % |
227.09/227.25	c |    149949 |   15228    72984   213479 | 2147483647   149160     35 | 77.807 % |
227.49/227.69	c |    150184 |   15228    72984   213479 | 2147483647   149395     35 | 77.807 % |
227.99/228.19	c |    150442 |   15228    72984   213479 | 2147483647   149653     35 | 77.807 % |
228.59/228.80	c |    150724 |   15228    72984   213479 | 2147483647   149935     35 | 77.807 % |
229.29/229.42	c |    151034 |   15228    72984   213479 | 2147483647   150245     35 | 77.807 % |
229.99/230.13	c |    151375 |   15228    72984   213479 | 2147483647   150586     35 | 77.807 % |
230.69/230.82	c |    151747 |   15228    72984   213479 | 2147483647   150958     35 | 77.807 % |
231.48/231.69	c |    152156 |   15228    72984   213479 | 2147483647   151367     35 | 77.807 % |
232.39/232.55	c |    152608 |   15228    72984   213479 | 2147483647   151819     35 | 77.807 % |
233.49/233.67	c |    153102 |   15228    72984   213479 | 2147483647   152313     35 | 77.807 % |
234.58/234.76	c |    153645 |   15228    72984   213479 | 2147483647   152856     35 | 77.807 % |
235.88/236.04	c |    154242 |   15228    72984   213479 | 2147483647   153453     35 | 77.807 % |
237.18/237.32	c |    154898 |   15228    72984   213479 | 2147483647   154109     35 | 77.807 % |
238.28/238.49	c |    155618 |   15228    72984   213479 | 2147483647   154829     35 | 77.807 % |
239.98/240.14	c |    156412 |   15228    72984   213479 | 2147483647   155623     35 | 77.807 % |
241.58/241.76	c |    157283 |   15228    72984   213479 | 2147483647   156494     35 | 77.807 % |
243.58/243.77	c |    158243 |   15228    72984   213479 | 2147483647   157454     35 | 77.807 % |
245.48/245.66	c |    159297 |   15228    72984   213479 | 2147483647   158508     35 | 77.807 % |
247.68/247.85	c |    160457 |   15228    72984   213479 | 2147483647   159668     35 | 77.807 % |
250.88/251.00	c |    161730 |   15228    72984   213479 | 2147483647   160941     35 | 77.807 % |
253.68/253.80	c |    163130 |   15228    72984   213479 | 2147483647   162341     35 | 77.807 % |
257.37/257.59	c |    164673 |   15228    72984   213479 | 2147483647   163884     35 | 77.807 % |
261.37/261.52	c |    166367 |   15228    72984   213479 | 2147483647   165578     35 | 77.807 % |
261.68/261.85	c |    166468 |   15228    72984   213479 | 2147483647   165679     35 | 77.807 % |
262.08/262.22	c |    166578 |   15228    72984   213479 | 2147483647   165789     35 | 77.807 % |
262.38/262.55	c |    166703 |   15228    72984   213479 | 2147483647   165914     35 | 77.807 % |
262.79/262.94	c |    166837 |   15228    72984   213479 | 2147483647   166048     35 | 77.807 % |
263.18/263.30	c |    166984 |   15228    72984   213479 | 2147483647   166195     35 | 77.807 % |
263.58/263.72	c |    167145 |   15228    72984   213479 | 2147483647   166356     35 | 77.807 % |
263.98/264.15	c |    167326 |   15228    72984   213479 | 2147483647   166537     35 | 77.807 % |
264.48/264.60	c |    167519 |   15228    72984   213479 | 2147483647   166730     35 | 77.807 % |
264.88/265.03	c |    167731 |   15228    72984   213479 | 2147483647   166942     35 | 77.807 % |
265.48/265.68	c |    167964 |   15228    72984   213479 | 2147483647   167175     35 | 77.807 % |
266.18/266.30	c |    168222 |   15228    72984   213479 | 2147483647   167433     35 | 77.807 % |
266.78/266.92	c |    168505 |   15228    72984   213479 | 2147483647   167716     35 | 77.807 % |
267.48/267.67	c |    168815 |   15228    72984   213479 | 2147483647   168026     35 | 77.807 % |
268.18/268.40	c |    169156 |   15228    72984   213479 | 2147483647   168367     35 | 77.807 % |
269.08/269.21	c |    169528 |   15228    72984   213479 | 2147483647   168739     35 | 77.807 % |
270.08/270.22	c |    169937 |   15228    72984   213479 | 2147483647   169148     35 | 77.807 % |
271.28/271.47	c |    170387 |   15228    72984   213479 | 2147483647   169598     35 | 77.807 % |
272.48/272.68	c |    170883 |   15228    72984   213479 | 2147483647   170094     35 | 77.807 % |
273.88/274.04	c |    171426 |   15228    72984   213479 | 2147483647   170637     35 | 77.807 % |
275.48/275.66	c |    172024 |   15228    72984   213479 | 2147483647   171235     35 | 77.807 % |
276.98/277.20	c |    172679 |   15228    72984   213479 | 2147483647   171890     35 | 77.807 % |
278.57/278.78	c |    173400 |   15228    72984   213479 | 2147483647   172611     35 | 77.807 % |
280.38/280.51	c |    174193 |   15228    72984   213479 | 2147483647   173404     35 | 77.807 % |
282.17/282.39	c |    175064 |   15228    72984   213479 | 2147483647   174275     35 | 77.807 % |
284.87/285.08	c |    176023 |   15228    72984   213479 | 2147483647   175234     35 | 77.807 % |
287.07/287.28	c |    177076 |   15228    72984   213479 | 2147483647   176287     35 | 77.807 % |
289.07/289.21	c |    178236 |   15228    72984   213479 | 2147483647   177447     35 | 77.807 % |
292.07/292.23	c |    179509 |   15227    72979   213466 | 2147483647   178719     35 | 77.808 % |
294.67/294.89	c |    180910 |   15227    72979   213466 | 2147483647   180120     35 | 77.808 % |
297.67/297.86	c |    182450 |   15227    72979   213466 | 2147483647   181660     35 | 77.808 % |
302.07/302.22	c |    184146 |   15227    72979   213466 | 2147483647   183356     35 | 77.808 % |
306.46/306.64	c |    186010 |   15227    72979   213466 | 2147483647   185220     35 | 77.808 % |
306.86/307.04	c |    186112 |   15227    72979   213466 | 2147483647   185322     35 | 77.808 % |
307.26/307.44	c |    186223 |   15227    72979   213466 | 2147483647   185433     35 | 77.808 % |
307.66/307.83	c |    186344 |   15227    72979   213466 | 2147483647   185554     35 | 77.808 % |
307.96/308.13	c |    186477 |   15227    72979   213466 | 2147483647   185687     35 | 77.808 % |
308.26/308.49	c |    186623 |   15227    72979   213466 | 2147483647   185833     35 | 77.808 % |
308.66/308.83	c |    186786 |   15227    72979   213466 | 2147483647   185996     35 | 77.808 % |
309.16/309.39	c |    186963 |   15227    72979   213466 | 2147483647   186173     35 | 77.808 % |
309.56/309.79	c |    187157 |   15227    72979   213466 | 2147483647   186367     35 | 77.808 % |
310.16/310.30	c |    187369 |   15195    72790   212915 | 2147483647   186563     35 | 77.855 % |
310.66/310.88	c |    187602 |   15195    72790   212915 | 2147483647   186796     35 | 77.855 % |
311.46/311.60	c |    187859 |   15195    72790   212915 | 2147483647   187053     35 | 77.855 % |
312.26/312.41	c |    188140 |   15195    72790   212915 | 2147483647   187334     35 | 77.855 % |
312.96/313.14	c |    188449 |   15195    72790   212915 | 2147483647   187643     35 | 77.855 % |
313.66/313.84	c |    188791 |   15195    72790   212915 | 2147483647   187985     35 | 77.855 % |
314.56/314.72	c |    189166 |   15195    72790   212915 | 2147483647   188360     35 | 77.855 % |
315.46/315.62	c |    189575 |   15195    72790   212915 | 2147483647   188769     35 | 77.855 % |
316.46/316.62	c |    190025 |   15195    72790   212915 | 2147483647   189219     35 | 77.855 % |
317.96/318.17	c |    190518 |   15195    72790   212915 | 2147483647   189712     35 | 77.855 % |
319.26/319.46	c |    191061 |   15195    72790   212915 | 2147483647   190255     35 | 77.855 % |
320.96/321.18	c |    191659 |   15195    72790   212915 | 2147483647   190853     36 | 77.855 % |
322.16/322.35	c |    192314 |   15195    72790   212915 | 2147483647   191508     36 | 77.855 % |
324.05/324.20	c |    193034 |   15195    72790   212915 | 2147483647   192228     36 | 77.855 % |
325.75/325.92	c |    193826 |   15195    72790   212915 | 2147483647   193020     36 | 77.855 % |
327.66/327.88	c |    194698 |   15195    72790   212915 | 2147483647   193892     36 | 77.855 % |
329.86/330.09	c |    195656 |   15195    72790   212915 | 2147483647   194850     36 | 77.855 % |
332.16/332.38	c |    196709 |   15195    72790   212915 | 2147483647   195903     36 | 77.855 % |
335.06/335.30	c |    197867 |   15195    72790   212915 | 2147483647   197061     36 | 77.855 % |
337.86/338.10	c |    199140 |   15195    72790   212915 | 2147483647   198334     36 | 77.855 % |
340.86/341.07	c |    200541 |   15195    72790   212915 | 2147483647   199735     36 | 77.855 % |
344.95/345.17	c |    202084 |   15188    72758   212823 | 2147483647   201267     36 | 77.865 % |
348.95/349.16	c |    203778 |   15188    72758   212823 | 2147483647   202961     36 | 77.865 % |
353.05/353.24	c |    205642 |   15188    72758   212823 | 2147483647   204825     36 | 77.865 % |
357.65/357.85	c |    207691 |   15188    72758   212823 | 2147483647   206874     36 | 77.865 % |
358.05/358.20	c |    207792 |   15188    72758   212823 | 2147483647   206975     36 | 77.865 % |
358.35/358.55	c |    207902 |   15188    72758   212823 | 2147483647   207085     36 | 77.865 % |
358.65/358.87	c |    208023 |   15188    72758   212823 | 2147483647   207206     36 | 77.865 % |
358.95/359.17	c |    208157 |   15188    72758   212823 | 2147483647   207340     36 | 77.865 % |
359.35/359.55	c |    208303 |   15188    72758   212823 | 2147483647   207486     36 | 77.865 % |
359.65/359.86	c |    208463 |   15188    72758   212823 | 2147483647   207646     36 | 77.865 % |
360.15/360.33	c |    208639 |   15188    72758   212823 | 2147483647   207822     36 | 77.865 % |
360.56/360.80	c |    208833 |   15188    72758   212823 | 2147483647   208016     36 | 77.865 % |
361.25/361.43	c |    209045 |   15188    72758   212823 | 2147483647   208228     36 | 77.865 % |
361.66/361.86	c |    209278 |   15188    72758   212823 | 2147483647   208461     36 | 77.865 % |
362.25/362.41	c |    209535 |   15188    72758   212823 | 2147483647   208718     36 | 77.865 % |
362.86/363.06	c |    209816 |   15188    72758   212823 | 2147483647   208999     36 | 77.865 % |
363.55/363.72	c |    210128 |   15188    72758   212823 | 2147483647   209311     36 | 77.865 % |
364.15/364.35	c |    210467 |   15188    72758   212823 | 2147483647   209650     36 | 77.865 % |
364.96/365.14	c |    210840 |   15188    72758   212823 | 2147483647   210023     36 | 77.865 % |
365.75/365.97	c |    211249 |   15188    72758   212823 | 2147483647   210432     36 | 77.865 % |
366.75/366.94	c |    211698 |   15188    72758   212823 | 2147483647   210881     35 | 77.865 % |
368.05/368.29	c |    212191 |   15188    72758   212823 | 2147483647   211374     35 | 77.865 % |
369.35/369.52	c |    212734 |   15188    72758   212823 | 2147483647   211917     35 | 77.865 % |
370.95/371.17	c |    213331 |   15188    72758   212823 | 2147483647   212514     35 | 77.865 % |
372.55/372.75	c |    213987 |   15188    72758   212823 | 2147483647   213170     35 | 77.865 % |
374.15/374.35	c |    214707 |   15188    72758   212823 | 2147483647   213890     35 | 77.865 % |
376.05/376.26	c |    215499 |   15188    72758   212823 | 2147483647   214682     35 | 77.865 % |
378.25/378.45	c |    216370 |   15188    72758   212823 | 2147483647   215553     35 | 77.865 % |
380.45/380.70	c |    217329 |   15120    72620   212371 | 2147483647   216510     35 | 77.964 % |
382.84/383.08	c |    218383 |   15120    72620   212371 | 2147483647   217564     35 | 77.964 % |
385.94/386.16	c |    219545 |   15120    72620   212371 | 2147483647   218726     36 | 77.964 % |
389.64/389.84	c |    220818 |   15120    72620   212371 | 2147483647   219999     35 | 77.964 % |
392.94/393.19	c |    222219 |   15120    72620   212371 | 2147483647   221400     35 | 77.964 % |
396.44/396.63	c |    223759 |   15120    72620   212371 | 2147483647   222940     36 | 77.964 % |
399.73/399.93	c |    225454 |   15120    72620   212371 | 2147483647   224635     35 | 77.964 % |
403.93/404.15	c |    227319 |   15120    72620   212371 | 2147483647   226500     35 | 77.964 % |
408.63/408.80	c |    229369 |   15114    72569   212233 | 2147483647   228549     35 | 77.973 % |
412.74/412.94	c |    231622 |   15114    72569   212233 | 2147483647   230802     35 | 77.973 % |
413.03/413.22	c |    231722 |   15114    72569   212233 | 2147483647   230902     35 | 77.973 % |
413.44/413.69	c |    231834 |   15114    72569   212233 | 2147483647   231014     35 | 77.973 % |
413.93/414.13	c |    231955 |   15114    72569   212233 | 2147483647   231135     35 | 77.973 % |
414.33/414.51	c |    232090 |   15114    72569   212233 | 2147483647   231270     35 | 77.973 % |
414.83/415.07	c |    232237 |   15114    72569   212233 | 2147483647   231417     35 | 77.973 % |
415.33/415.55	c |    232400 |   15114    72569   212233 | 2147483647   231580     35 | 77.973 % |
415.83/416.08	c |    232577 |   15114    72569   212233 | 2147483647   231757     35 | 77.973 % |
416.33/416.50	c |    232770 |   15114    72569   212233 | 2147483647   231950     35 | 77.973 % |
416.93/417.16	c |    232982 |   15114    72569   212233 | 2147483647   232162     35 | 77.973 % |
417.74/417.91	c |    233215 |   15114    72569   212233 | 2147483647   232395     35 | 77.973 % |
418.33/418.58	c |    233471 |   15114    72569   212233 | 2147483647   232651     36 | 77.973 % |
419.13/419.34	c |    233755 |   15114    72569   212233 | 2147483647   232935     36 | 77.973 % |
420.13/420.32	c |    234065 |   15114    72569   212233 | 2147483647   233245     36 | 77.973 % |
421.23/421.48	c |    234404 |   15114    72569   212233 | 2147483647   233584     36 | 77.973 % |
422.43/422.63	c |    234776 |   15114    72569   212233 | 2147483647   233956     36 | 77.973 % |
423.73/423.96	c |    235185 |   15114    72569   212233 | 2147483647   234365     36 | 77.973 % |
425.03/425.26	c |    235634 |   15114    72569   212233 | 2147483647   234814     35 | 77.973 % |
426.93/427.10	c |    236127 |   15114    72569   212233 | 2147483647   235307     35 | 77.973 % |
428.33/428.59	c |    236669 |   15114    72569   212233 | 2147483647   235849     35 | 77.973 % |
429.93/430.18	c |    237266 |   15114    72569   212233 | 2147483647   236446     35 | 77.973 % |
431.62/431.81	c |    237921 |   15114    72569   212233 | 2147483647   237101     35 | 77.973 % |
433.82/434.06	c |    238641 |   15114    72569   212233 | 2147483647   237821     35 | 77.973 % |
435.92/436.12	c |    239436 |   15114    72569   212233 | 2147483647   238616     35 | 77.973 % |
438.32/438.53	c |    240309 |   15114    72569   212233 |   239181   239489     35 | 77.973 % |
441.42/441.62	c |    241267 |   15114    72569   212233 |   239181   240447     35 | 77.973 % |
444.72/444.97	c |    242322 |   15114    72569   212233 |   239181   241502     36 | 77.973 % |
448.22/448.45	c |    243483 |   15114    72569   212233 |   239181   242663     36 | 77.973 % |
451.52/451.71	c |    244756 |   15114    72569   212233 |   239181   243936     36 | 77.973 % |
455.01/455.27	c |    246159 |   15114    72569   212233 |   239181   245339     36 | 77.973 % |
458.11/458.33	c |    247700 |   15114    72569   212233 |   239181   246880     35 | 77.973 % |
462.22/462.42	c |    249394 |   15114    72569   212233 |   239181   248574     35 | 77.973 % |
466.72/466.94	c |    251264 |   15114    72569   212233 | 2147483647   250444     35 | 77.973 % |
472.02/472.24	c |    253313 |   15114    72569   212233 | 2147483647   252493     35 | 77.973 % |
478.01/478.27	c |    255568 |   15114    72569   212233 | 2147483647   254748     35 | 77.973 % |
484.61/484.80	c |    258048 |   15114    72569   212233 | 2147483647   257228     35 | 77.973 % |
485.01/485.28	c |    258148 |   15114    72569   212233 | 2147483647   257328     35 | 77.973 % |
485.61/485.86	c |    258258 |   15114    72569   212233 | 2147483647   257438     35 | 77.973 % |
486.21/486.40	c |    258379 |   15114    72569   212233 | 2147483647   257559     35 | 77.973 % |
486.71/486.95	c |    258513 |   15114    72569   212233 | 2147483647   257693     35 | 77.973 % |
487.11/487.38	c |    258661 |   15114    72569   212233 | 2147483647   257841     35 | 77.973 % |
487.71/487.90	c |    258821 |   15114    72569   212233 | 2147483647   258001     35 | 77.973 % |
488.41/488.65	c |    258998 |   15114    72569   212233 | 2147483647   258178     35 | 77.973 % |
489.01/489.26	c |    259192 |   15114    72569   212233 | 2147483647   258372     35 | 77.973 % |
489.61/489.87	c |    259404 |   15114    72569   212233 | 2147483647   258584     35 | 77.973 % |
490.41/490.64	c |    259638 |   15114    72569   212233 | 2147483647   258818     35 | 77.973 % |
491.41/491.64	c |    259894 |   15114    72569   212233 | 2147483647   259074     35 | 77.973 % |
492.21/492.43	c |    260179 |   15114    72569   212233 | 2147483647   259359     35 | 77.973 % |
493.21/493.45	c |    260489 |   15114    72569   212233 | 2147483647   259669     35 | 77.973 % |
494.21/494.43	c |    260830 |   15114    72569   212233 | 2147483647   260010     35 | 77.973 % |
495.31/495.56	c |    261203 |   15114    72569   212233 | 2147483647   260383     35 | 77.973 % |
496.41/496.68	c |    261612 |   15114    72569   212233 | 2147483647   260792     35 | 77.973 % |
497.71/497.90	c |    262062 |   15114    72569   212233 | 2147483647   261242     35 | 77.973 % |
498.80/499.07	c |    262556 |   15114    72569   212233 | 2147483647   261736     35 | 77.973 % |
500.60/500.85	c |    263099 |   15114    72569   212233 | 2147483647   262279     35 | 77.973 % |
502.20/502.41	c |    263695 |   15114    72569   212233 | 2147483647   262875     35 | 77.973 % |
503.90/504.11	c |    264350 |   15114    72569   212233 | 2147483647   263530     35 | 77.973 % |
506.10/506.31	c |    265070 |   15114    72569   212233 | 2147483647   264250     35 | 77.973 % |
508.70/508.95	c |    265863 |   15114    72569   212233 | 2147483647   265043     35 | 77.973 % |
511.20/511.43	c |    266734 |   15114    72569   212233 | 2147483647   265914     35 | 77.973 % |
513.80/514.06	c |    267692 |   15114    72569   212233 | 2147483647   266872     35 | 77.973 % |
516.90/517.18	c |    268745 |   15114    72569   212233 | 2147483647   267925     35 | 77.973 % |
520.20/520.40	c |    269908 |   15104    72508   212077 | 2147483647   269069     35 | 77.987 % |
523.90/524.14	c |    271182 |   15104    72508   212077 |   269161   270343     35 | 77.987 % |
529.00/529.28	c |    272584 |   15104    72508   212077 |   269161   271745     35 | 77.987 % |
534.59/534.81	c |    274124 |   15104    72508   212077 |   269161   273284     35 | 78.056 % |
539.59/539.85	c |    275819 |   15104    72508   212077 |   269161   274979     35 | 78.056 % |
546.09/546.36	c |    277683 |   15104    72508   212077 |   269161   276843     35 | 78.056 % |
553.29/553.57	c |    279733 |   15104    72508   212077 |   269161   278893     35 | 78.056 % |
561.38/561.65	c |    281986 |   15057    72207   211319 |   279165   281146     35 | 78.056 % |
567.18/567.43	c |    284464 |   15057    72207   211319 |   279165   283624     35 | 78.056 % |
575.59/575.83	c |    287190 |   15055    72207   211319 |   279165   286348     35 | 78.168 % |
575.89/576.11	c |    287291 |   15055    72207   211319 |   279165   286449     35 | 78.168 % |
576.29/576.53	c |    287401 |   15055    72207   211319 |   279165   286559     35 | 78.168 % |
576.69/576.95	c |    287522 |   15055    72207   211319 |   279165   286680     35 | 78.168 % |
577.19/577.42	c |    287656 |   15055    72207   211319 |   279165   286814     35 | 78.168 % |
577.59/577.80	c |    287802 |   15055    72207   211319 |   279165   286960     35 | 78.168 % |
578.08/578.33	c |    287963 |   15055    72207   211319 |   279165   287121     35 | 78.168 % |
578.68/578.91	c |    288141 |   15055    72207   211319 |   279165   287299     35 | 78.168 % |
579.28/579.58	c |    288336 |   15055    72207   211319 |   279165   287494     35 | 78.168 % |
579.98/580.30	c |    288550 |   15055    72207   211319 |   279165   287708     35 | 78.168 % |
580.88/581.15	c |    288785 |   15055    72207   211319 |   279165   287943     35 | 78.168 % |
581.98/582.26	c |    289043 |   15055    72207   211319 |   279165   288201     35 | 78.168 % |
582.98/583.21	c |    289324 |   15055    72207   211319 |   279165   288482     35 | 78.168 % |
584.28/584.53	c |    289633 |   15055    72207   211319 |   279165   288791     35 | 78.168 % |
585.38/585.68	c |    289972 |   15055    72207   211319 |   279165   289130     35 | 78.168 % |
586.68/586.92	c |    290344 |   15055    72207   211319 |   289161   289502     35 | 78.168 % |
588.28/588.53	c |    290754 |   15055    72207   211319 |   289161   289912     35 | 78.168 % |
589.68/589.98	c |    291205 |   15055    72207   211319 |   289161   290363     35 | 78.168 % |
591.38/591.65	c |    291698 |   15055    72207   211319 |   289161   290856     35 | 78.168 % |
593.18/593.48	c |    292240 |   15055    72207   211319 |   289161   291398     35 | 78.168 % |
595.28/595.58	c |    292836 |   14980    71817   210073 |   289161   291978     35 | 78.168 % |
597.58/597.80	c |    293493 |   14980    71817   210073 |   289161   292635     35 | 78.168 % |
599.77/600.08	c |    294213 |   14980    71817   210073 |   289161   293355     35 | 78.168 % |
602.37/602.64	c |    295005 |   14980    71817   210073 |   289161   294147     35 | 78.168 % |
605.07/605.33	c |    295877 |   14980    71817   210073 |   289161   295019     35 | 78.168 % |
608.07/608.39	c |    296837 |   14980    71817   210073 |   289161   295979     35 | 78.168 % |
611.77/612.01	c |    297890 |   14980    71817   210073 |   289161   297032     35 | 78.168 % |
615.97/616.22	c |    299048 |   14980    71817   210073 |   289161   298190     35 | 78.168 % |
619.66/619.93	c |    300321 |   14980    71817   210073 |   299144   299463     35 | 78.168 % |
623.96/624.29	c |    301721 |   14980    71817   210073 |   299144   300863     35 | 78.168 % |
628.87/629.15	c |    303262 |   14980    71817   210073 |   299144   302404     35 | 78.168 % |
634.17/634.44	c |    304956 |   14980    71817   210073 |   299144   304098     35 | 78.168 % |
641.17/641.46	c |    306821 |   14980    71817   210073 |   299144   305963     35 | 78.168 % |
648.16/648.47	c |    308870 |   14980    71817   210073 |   299144   308012     35 | 78.168 % |
656.06/656.40	c |    311123 |   14964    71722   209799 |   309131   310254     35 | 78.191 % |
664.86/665.19	c |    313603 |   14964    71722   209799 |   309131   312734     35 | 78.191 % |
674.35/674.60	c |    316328 |   14964    71722   209799 |   309131   315459     35 | 78.191 % |
684.95/685.24	c |    319325 |   14964    71722   209799 |   309131   318456     35 | 78.191 % |
685.45/685.74	c |    319425 |   14964    71722   209799 |   309131   318556     35 | 78.191 % |
685.95/686.21	c |    319536 |   14964    71722   209799 |   309131   318667     35 | 78.191 % |
686.35/686.64	c |    319657 |   14964    71722   209799 |   309131   318788     35 | 78.191 % |
686.85/687.11	c |    319793 |   14964    71722   209799 |   309131   318924     35 | 78.191 % |
687.35/687.65	c |    319939 |   14964    71722   209799 |   309131   319070     35 | 78.191 % |
687.85/688.17	c |    320099 |   14964    71722   209799 |   319131   319230     35 | 78.191 % |
688.45/688.74	c |    320275 |   14964    71722   209799 |   319131   319406     35 | 78.191 % |
689.35/689.60	c |    320469 |   14964    71722   209799 |   319131   319600     35 | 78.191 % |
690.16/690.49	c |    320681 |   14964    71722   209799 |   319131   319812     35 | 78.191 % |
691.26/691.52	c |    320914 |   14964    71722   209799 |   319131   320045     35 | 78.191 % |
692.35/692.70	c |    321172 |   14964    71722   209799 |   319131   320303     35 | 78.191 % |
693.45/693.76	c |    321454 |   14964    71722   209799 |   319131   320585     35 | 78.191 % |
694.66/694.92	c |    321763 |   14964    71722   209799 |   319131   320894     35 | 78.191 % |
695.96/696.29	c |    322103 |   14964    71722   209799 |   319131   321234     35 | 78.191 % |
697.45/697.71	c |    322476 |   14964    71722   209799 |   319131   321607     35 | 78.191 % |
698.75/699.09	c |    322887 |   14964    71722   209799 |   319131   322018     35 | 78.191 % |
700.36/700.63	c |    323337 |   14964    71722   209799 |   319131   322468     35 | 78.191 % |
701.75/702.03	c |    323830 |   14964    71722   209799 |   319131   322961     35 | 78.191 % |
703.55/703.83	c |    324373 |   14964    71722   209799 |   319131   323504     35 | 78.191 % |
705.55/705.87	c |    324970 |   14964    71722   209799 |   319131   324101     35 | 78.191 % |
707.75/708.01	c |    325626 |   14964    71722   209799 |   319131   324757     35 | 78.191 % |
710.95/711.20	c |    326346 |   14964    71722   209799 |   319131   325477     35 | 78.191 % |
714.15/714.45	c |    327141 |   14964    71722   209799 |   319131   326272     35 | 78.191 % |
718.15/718.42	c |    328012 |   14964    71722   209799 |   319131   327143     35 | 78.191 % |
721.95/722.25	c |    328970 |   14964    71722   209799 |   319131   328101     35 | 78.191 % |
725.75/726.01	c |    330023 |   14964    71722   209799 |   329132   329154     35 | 78.191 % |
729.34/729.63	c |    331182 |   14964    71722   209799 |   329132   330313     35 | 78.191 % |
733.84/734.14	c |    332457 |   14964    71722   209799 |   329132   331588     35 | 78.191 % |
737.64/737.99	c |    333859 |   14964    71722   209799 |   329132   332990     35 | 78.191 % |
742.34/742.62	c |    335400 |   14964    71722   209799 |   329132   334531     35 | 78.191 % |
748.44/748.72	c |    337094 |   14964    71722   209799 |   329132   336225     35 | 78.191 % |
753.63/753.91	c |    338958 |   14964    71722   209799 |   329132   338089     35 | 78.191 % |
759.53/759.80	c |    341007 |   14964    71722   209799 |   339132   340138     35 | 78.191 % |
766.63/766.97	c |    343261 |   14964    71722   209799 |   339132   342392     35 | 78.191 % |
773.54/773.88	c |    345741 |   14964    71722   209799 |   339132   344872     35 | 78.191 % |
783.93/784.26	c |    348466 |   14964    71722   209799 |   339132   347597     35 | 78.191 % |
794.63/794.99	c |    351463 |   14951    71635   209555 |   349132   350588     35 | 78.210 % |
805.62/805.93	c |    354760 |   14951    71635   209555 |   349132   353885     35 | 78.210 % |
806.12/806.43	c |    354861 |   14951    71635   209555 |   349132   353986     35 | 78.210 % |
806.62/806.92	c |    354971 |   14951    71635   209555 |   349132   354096     35 | 78.210 % |
807.03/807.33	c |    355094 |   14951    71635   209555 |   349132   354219     35 | 78.210 % |
807.62/807.94	c |    355227 |   14951    71635   209555 |   349132   354352     35 | 78.210 % |
808.13/808.44	c |    355373 |   14951    71635   209555 |   349132   354498     35 | 78.210 % |
808.72/809.03	c |    355535 |   14951    71635   209555 |   349132   354660     35 | 78.210 % |
809.42/809.77	c |    355711 |   14951    71635   209555 |   349132   354836     35 | 78.210 % |
810.43/810.78	c |    355905 |   14951    71635   209555 |   349132   355030     35 | 78.210 % |
811.53/811.81	c |    356118 |   14951    71635   209555 |   349132   355243     35 | 78.210 % |
812.32/812.68	c |    356351 |   14951    71635   209555 |   349132   355476     35 | 78.210 % |
813.32/813.62	c |    356607 |   14951    71635   209555 |   349132   355732     35 | 78.210 % |
814.22/814.51	c |    356888 |   14951    71635   209555 |   349132   356013     35 | 78.210 % |
815.32/815.67	c |    357197 |   14951    71635   209555 |   349132   356322     35 | 78.210 % |
816.32/816.70	c |    357536 |   14951    71635   209555 |   349132   356661     35 | 78.210 % |
817.32/817.68	c |    357909 |   14951    71635   209555 |   349132   357034     35 | 78.210 % |
818.62/818.95	c |    358318 |   14951    71635   209555 |   349132   357443     35 | 78.210 % |
820.12/820.45	c |    358769 |   14951    71635   209555 |   349132   357894     35 | 78.210 % |
821.32/821.65	c |    359263 |   14951    71635   209555 |   349132   358388     35 | 78.210 % |
822.72/823.05	c |    359806 |   14951    71635   209555 |   349132   358931     35 | 78.210 % |
824.51/824.83	c |    360405 |   14951    71635   209555 |   359127   359530     35 | 78.210 % |
826.61/826.94	c |    361061 |   14951    71635   209555 |   359127   360186     35 | 78.210 % |
829.12/829.42	c |    361783 |   14951    71635   209555 |   359127   360908     35 | 78.210 % |
832.81/833.11	c |    362576 |   14951    71635   209555 |   359127   361701     35 | 78.210 % |
835.41/835.78	c |    363447 |   14951    71635   209555 |   359127   362572     35 | 78.210 % |
838.81/839.15	c |    364406 |   14951    71635   209555 |   359127   363531     35 | 78.210 % |
842.91/843.29	c |    365459 |   14951    71635   209555 |   359127   364584     35 | 78.210 % |
846.61/846.91	c |    366617 |   14951    71635   209555 |   359127   365742     35 | 78.210 % |
850.50/850.84	c |    367890 |   14951    71635   209555 |   359127   367015     35 | 78.210 % |
856.61/856.91	c |    369290 |   14951    71635   209555 |   359127   368415     35 | 78.210 % |
862.20/862.51	c |    370830 |   14951    71635   209555 |   369126   369955     35 | 78.210 % |
868.10/868.42	c |    372525 |   14951    71635   209555 |   369126   371650     35 | 78.210 % |
874.50/874.83	c |    374388 |   14951    71635   209555 |   369126   373513     35 | 78.210 % |
883.90/884.30	c |    376438 |   14951    71635   209555 |   369126   375563     35 | 78.210 % |
891.00/891.38	c |    378692 |   14951    71635   209555 |   369126   377817     35 | 78.210 % |
898.60/898.92	c |    381173 |   14951    71635   209555 |   379126   380298     35 | 78.210 % |
906.99/907.36	c |    383898 |   14951    71635   209555 |   379126   383023     35 | 78.210 % |
916.69/917.09	c |    386895 |   14951    71635   209555 |   379126   386020     35 | 78.210 % |
929.89/930.26	c |    390194 |   14951    71635   209555 |   389127   389319     35 | 78.210 % |
944.39/944.70	c |    393821 |   14951    71635   209555 |   389127   392946     35 | 78.210 % |
944.89/945.26	c |    393922 |   14951    71635   209555 |   389127   393047     35 | 78.210 % |
945.39/945.79	c |    394032 |   14951    71635   209555 |   389127   393157     35 | 78.210 % |
945.99/946.34	c |    394155 |   14951    71635   209555 |   389127   393280     35 | 78.210 % |
946.69/947.02	c |    394290 |   14951    71635   209555 |   389127   393415     35 | 78.210 % |
947.29/947.63	c |    394436 |   14951    71635   209555 |   389127   393561     35 | 78.210 % |
948.29/948.60	c |    394600 |   14951    71635   209555 |   389127   393725     35 | 78.210 % |
949.59/949.98	c |    394776 |   14951    71635   209555 |   389127   393901     35 | 78.210 % |
950.39/950.80	c |    394969 |   14951    71635   209555 |   389127   394094     35 | 78.210 % |
951.39/951.71	c |    395182 |   14951    71635   209555 |   389127   394307     35 | 78.210 % |
952.19/952.56	c |    395418 |   14951    71635   209555 |   389127   394543     35 | 78.210 % |
953.29/953.61	c |    395674 |   14951    71635   209555 |   389127   394799     35 | 78.210 % |
954.49/954.82	c |    395958 |   14951    71635   209555 |   389127   395083     35 | 78.210 % |
955.49/955.83	c |    396271 |   14951    71635   209555 |   389127   395396     35 | 78.210 % |
956.88/957.27	c |    396610 |   14951    71635   209555 |   389127   395735     35 | 78.210 % |
958.18/958.50	c |    396982 |   14951    71635   209555 |   389127   396107     35 | 78.210 % |
959.48/959.89	c |    397392 |   14951    71635   209555 |   389127   396517     35 | 78.210 % |
961.38/961.76	c |    397842 |   14951    71635   209555 |   389127   396967     35 | 78.210 % |
963.88/964.20	c |    398337 |   14951    71635   209555 |   389127   397462     35 | 78.210 % |
966.08/966.47	c |    398882 |   14951    71635   209555 |   389127   398007     35 | 78.210 % |
968.28/968.66	c |    399479 |   14951    71635   209555 |   389127   398604     35 | 78.210 % |
970.58/970.99	c |    400134 |   14951    71635   209555 |   399127   399259     35 | 78.210 % |
972.98/973.40	c |    400854 |   14951    71635   209555 |   399127   399979     35 | 78.210 % |
975.77/976.17	c |    401646 |   14951    71635   209555 |   399127   400771     35 | 78.210 % |
978.47/978.84	c |    402520 |   14951    71635   209555 |   399127   401645     35 | 78.210 % |
982.18/982.58	c |    403479 |   14951    71635   209555 |   399127   402604     35 | 78.210 % |
986.88/987.20	c |    404532 |   14951    71635   209555 |   399127   403657     35 | 78.210 % |
991.78/992.13	c |    405691 |   14951    71635   209555 |   399127   404816     35 | 78.210 % |
996.78/997.13	c |    406964 |   14951    71635   209555 |   399127   406089     35 | 78.210 % |
1002.68/1003.05	c |    408364 |   14951    71635   209555 |   399127   407489     35 | 78.210 % |
1008.97/1009.30	c |    409905 |   14951    71635   209555 |   399127   409030     35 | 78.210 % |
1015.77/1016.13	c |    411599 |   14951    71635   209555 |   409126   410724     35 | 78.210 % |
1025.17/1025.57	c |    413463 |   14951    71635   209555 |   409126   412588     35 | 78.210 % |
1036.06/1036.48	c |    415512 |   14951    71635   209555 |   409126   414637     35 | 78.210 % |
1043.36/1043.73	c |    417765 |   14951    71635   209555 |   409126   416890     35 | 78.210 % |
1050.96/1051.36	c |    420243 |   14951    71635   209555 |   419126   419368     35 | 78.210 % |
1060.36/1060.72	c |    422968 |   14951    71635   209555 |   419126   422093     35 | 78.210 % |
1071.15/1071.59	c |    425967 |   14951    71635   209555 |   419126   425092     35 | 78.210 % |
1083.45/1083.85	c |    429264 |   14951    71635   209555 |   419126   428389     35 | 78.210 % |
1096.65/1097.03	c |    432889 |   14951    71635   209555 |   429125   432014     35 | 78.210 % |
1112.15/1112.59	c |    436876 |   14951    71635   209555 |   429125   436001     35 | 78.210 % |
1112.65/1113.05	c |    436977 |   14951    71635   209555 |   429125   436102     35 | 78.210 % |
1113.25/1113.60	c |    437091 |   14951    71635   209555 |   429125   436216     35 | 78.210 % |
1113.95/1114.34	c |    437212 |   14951    71635   209555 |   429125   436337     35 | 78.210 % |
1114.55/1114.92	c |    437346 |   14951    71635   209555 |   429125   436471     35 | 78.210 % |
1115.15/1115.57	c |    437493 |   14951    71635   209555 |   429125   436618     35 | 78.210 % |
1115.75/1116.13	c |    437653 |   14951    71635   209555 |   429125   436778     35 | 78.210 % |
1116.55/1116.96	c |    437830 |   14951    71635   209555 |   429125   436955     35 | 78.210 % |
1117.65/1118.01	c |    438023 |   14951    71635   209555 |   429125   437148     35 | 78.210 % |
1118.45/1118.83	c |    438235 |   14951    71635   209555 |   429125   437360     35 | 78.210 % |
1119.15/1119.50	c |    438469 |   14951    71635   209555 |   429125   437594     35 | 78.210 % |
1119.95/1120.38	c |    438725 |   14951    71635   209555 |   429125   437850     35 | 78.210 % |
1121.05/1121.46	c |    439007 |   14951    71635   209555 |   429125   438132     35 | 78.210 % |
1122.25/1122.61	c |    439316 |   14951    71635   209555 |   429125   438441     35 | 78.210 % |
1123.55/1123.97	c |    439657 |   14951    71635   209555 |   429125   438782     35 | 78.210 % |
1125.05/1125.41	c |    440030 |   14951    71635   209555 |   439125   439155     35 | 78.210 % |
1126.54/1126.92	c |    440439 |   14951    71635   209555 |   439125   439564     35 | 78.210 % |
1129.25/1129.64	c |    440889 |   14951    71635   209555 |   439125   440014     35 | 78.210 % |
1131.64/1132.09	c |    441384 |   14951    71635   209555 |   439125   440509     35 | 78.210 % |
1133.65/1134.09	c |    441926 |   14951    71635   209555 |   439125   441051     35 | 78.210 % |
1135.74/1136.18	c |    442524 |   14951    71635   209555 |   439125   441649     35 | 78.210 % |
1138.14/1138.53	c |    443181 |   14951    71635   209555 |   439125   442306     35 | 78.210 % |
1141.34/1141.78	c |    443903 |   14951    71635   209555 |   439125   443028     35 | 78.210 % |
1144.04/1144.49	c |    444695 |   14951    71635   209555 |   439125   443820     35 | 78.210 % |
1146.94/1147.32	c |    445570 |   14951    71635   209555 |   439125   444695     35 | 78.210 % |
1150.33/1150.77	c |    446531 |   14951    71635   209555 |   439125   445656     35 | 78.210 % |
1154.43/1154.87	c |    447585 |   14951    71635   209555 |   439125   446710     35 | 78.210 % |
1158.43/1158.90	c |    448744 |   14951    71635   209555 |   439125   447869     35 | 78.210 % |
1163.83/1164.20	c |    450017 |   14951    71635   209555 |   449127   449142     35 | 78.210 % |
1168.93/1169.35	c |    451420 |   14951    71635   209555 |   449127   450545     35 | 78.210 % |
1174.23/1174.67	c |    452961 |   14951    71635   209555 |   449127   452086     35 | 78.210 % |
1179.93/1180.37	c |    454655 |   14951    71635   209555 |   449127   453780     35 | 78.210 % |
1186.32/1186.80	c |    456519 |   14951    71635   209555 |   449127   455644     35 | 78.210 % |
1197.72/1198.10	c |    458568 |   14951    71635   209555 |   449127   457693     35 | 78.210 % |
1206.72/1207.17	c |    460822 |   14951    71635   209555 |   459125   459947     35 | 78.210 % |
1217.62/1218.09	c |    463300 |   14951    71635   209555 |   459125   462425     35 | 78.210 % |
1229.42/1229.84	c |    466025 |   14951    71635   209555 |   459125   465150     35 | 78.210 % |
1245.31/1245.77	c |    469023 |   14951    71635   209555 |   459125   468148     35 | 78.210 % |
1259.20/1259.65	c |    472320 |   14951    71635   209555 |   469127   471445     35 | 78.210 % |
1272.30/1272.70	c |    475945 |   14951    71635   209555 |   469127   475070     35 | 78.210 % |
1283.60/1284.00	c |    479934 |   14951    71635   209555 |   469127   479059     35 | 78.210 % |
1299.40/1299.83	c |    484321 |   14951    71635   209555 |   479125   483446     35 | 78.210 % |
1300.00/1300.40	c |    484421 |   14951    71635   209555 |   479125   483546     35 | 78.210 % |
1300.80/1301.27	c |    484531 |   14951    71635   209555 |   479125   483656     35 | 78.210 % |
1301.40/1301.86	c |    484652 |   14951    71635   209555 |   479125   483777     35 | 78.210 % |
1302.10/1302.53	c |    484786 |   14951    71635   209555 |   479125   483911     35 | 78.210 % |
1303.00/1303.44	c |    484932 |   14951    71635   209555 |   479125   484057     35 | 78.210 % |
1303.90/1304.30	c |    485092 |   14951    71635   209555 |   479125   484217     35 | 78.210 % |
1304.70/1305.16	c |    485268 |   14951    71635   209555 |   479125   484393     35 | 78.210 % |
1305.70/1306.15	c |    485461 |   14951    71635   209555 |   479125   484586     35 | 78.210 % |
1306.59/1307.07	c |    485674 |   14951    71635   209555 |   479125   484799     35 | 78.210 % |
1307.59/1308.02	c |    485908 |   14951    71635   209555 |   479125   485033     35 | 78.210 % |
1308.50/1308.92	c |    486165 |   14951    71635   209555 |   479125   485290     35 | 78.210 % |
1309.39/1309.86	c |    486446 |   14951    71635   209555 |   479125   485571     35 | 78.210 % |
1310.39/1310.83	c |    486756 |   14951    71635   209555 |   479125   485881     35 | 78.210 % |
1311.39/1311.82	c |    487095 |   14951    71635   209555 |   479125   486220     35 | 78.210 % |
1312.59/1313.03	c |    487469 |   14951    71635   209555 |   479125   486594     35 | 78.210 % |
1314.39/1314.86	c |    487880 |   14951    71635   209555 |   479125   487005     35 | 78.210 % |
1316.30/1316.71	c |    488329 |   14951    71635   209555 |   479125   487454     35 | 78.210 % |
1318.09/1318.54	c |    488823 |   14951    71635   209555 |   479125   487948     35 | 78.210 % |
1320.49/1320.91	c |    489366 |   14951    71635   209555 |   479125   488491     35 | 78.210 % |
1322.89/1323.39	c |    489962 |   14951    71635   209555 |   479125   489087     35 | 78.210 % |
1325.59/1326.06	c |    490618 |   14951    71635   209555 |   489125   489743     35 | 78.210 % |
1328.29/1328.78	c |    491339 |   14951    71635   209555 |   489125   490464     35 | 78.210 % |
1331.08/1331.59	c |    492135 |   14951    71635   209555 |   489125   491260     35 | 78.210 % |
1334.28/1334.72	c |    493010 |   14951    71635   209555 |   489125   492135     35 | 78.210 % |
1338.38/1338.88	c |    493972 |   14951    71635   209555 |   489125   493097     35 | 78.210 % |
1344.69/1345.13	c |    495026 |   14951    71635   209555 |   489125   494151     35 | 78.210 % |
1349.09/1349.58	c |    496185 |   14951    71635   209555 |   489125   495310     35 | 78.210 % |
1354.39/1354.87	c |    497458 |   14951    71635   209555 |   489125   496583     35 | 78.210 % |
1362.78/1363.25	c |    498858 |   14951    71635   209555 |   489125   497983     35 | 78.210 % |
1368.18/1368.62	c |    500403 |   14951    71635   209555 |   499125   499528     35 | 78.210 % |
1375.58/1376.08	c |    502097 |   14951    71635   209555 |   499125   501222     35 | 78.210 % |
1385.27/1385.72	c |    503960 |   14951    71635   209555 |   499125   503085     35 | 78.210 % |
1394.77/1395.21	c |    506010 |   14951    71635   209555 |   499125   505135     35 | 78.210 % |
1404.67/1405.16	c |    508263 |   14951    71635   209555 |   499125   507388     35 | 78.210 % |
1416.46/1416.91	c |    510741 |   14951    71635   209555 |   509128   509866     35 | 78.210 % |
1429.66/1430.11	c |    513466 |   14951    71635   209555 |   509128   512591     35 | 78.210 % |
1444.46/1444.96	c |    516463 |   14951    71635   209555 |   509128   515588     35 | 78.210 % |
1459.85/1460.31	c |    519759 |   14951    71635   209555 |   509128   518884     35 | 78.210 % |
1475.85/1476.30	c |    523386 |   14951    71635   209555 |   519125   522511     35 | 78.210 % |
1495.25/1495.79	c |    527374 |   14951    71635   209555 |   519125   526499     35 | 78.210 % |
1518.14/1518.60	c |    531759 |   14940    71560   209363 |   529095   530853     35 | 78.226 % |
1542.33/1542.86	c |    536582 |   14940    71560   209363 |   529095   535675     35 | 78.228 % |
1542.93/1543.44	c |    536682 |   14940    71560   209363 |   529095   535775     35 | 78.228 % |
1543.53/1544.06	c |    536795 |   14940    71560   209363 |   529095   535888     35 | 78.228 % |
1544.63/1545.16	c |    536919 |   14940    71560   209363 |   529095   536012     35 | 78.228 % |
1545.53/1546.07	c |    537054 |   14940    71560   209363 |   529095   536147     35 | 78.228 % |
1546.64/1547.19	c |    537200 |   14940    71560   209363 |   529095   536293     35 | 78.228 % |
1547.74/1548.23	c |    537360 |   14940    71560   209363 |   529095   536453     35 | 78.228 % |
1548.84/1549.38	c |    537537 |   14940    71560   209363 |   529095   536630     35 | 78.228 % |
1550.04/1550.57	c |    537731 |   14940    71560   209363 |   529095   536824     35 | 78.228 % |
1551.54/1552.09	c |    537944 |   14940    71560   209363 |   529095   537037     35 | 78.228 % |
1552.83/1553.30	c |    538179 |   14940    71560   209363 |   529095   537272     35 | 78.228 % |
1554.03/1554.57	c |    538437 |   14940    71560   209363 |   529095   537530     35 | 78.228 % |
1555.63/1556.15	c |    538718 |   14940    71560   209363 |   529095   537811     35 | 78.228 % |
1557.33/1557.82	c |    539027 |   14940    71560   209363 |   529095   538119     35 | 78.245 % |
1559.63/1560.15	c |    539368 |   14940    71560   209363 |   529095   538459     35 | 78.605 % |
1561.93/1562.44	c |    539740 |   14940    71560   209363 |   529095   538831     35 | 78.605 % |
1564.13/1564.66	c |    540149 |   14940    71560   209363 |   539091   539240     35 | 78.605 % |
1566.43/1566.94	c |    540598 |   14940    71560   209363 |   539091   539689     35 | 78.605 % |
1568.93/1569.40	c |    541091 |   14940    71560   209363 |   539091   540182     35 | 78.605 % |
1571.73/1572.28	c |    541634 |   14940    71560   209363 |   539091   540725     35 | 78.605 % |
1575.03/1575.50	c |    542230 |   14940    71560   209363 |   539091   541321     35 | 78.605 % |
1578.03/1578.52	c |    542885 |   14940    71560   209363 |   539091   541976     35 | 78.605 % |
1581.43/1581.94	c |    543607 |   14940    71560   209363 |   539091   542698     35 | 78.605 % |
1585.63/1586.15	c |    544402 |   14940    71560   209363 |   539091   543493     35 | 78.605 % |
1590.72/1591.21	c |    545273 |   14940    71560   209363 |   539091   544364     35 | 78.605 % |
1595.12/1595.65	c |    546231 |   14940    71560   209363 |   539091   545322     35 | 78.605 % |
1600.32/1600.83	c |    547285 |   14940    71560   209363 |   539091   546376     35 | 78.605 % |
1606.02/1606.51	c |    548444 |   14940    71560   209363 |   539091   547535     35 | 78.605 % |
1611.51/1612.04	c |    549719 |   14940    71560   209363 |   539091   548810     35 | 78.605 % |
1617.81/1618.30	c |    551119 |   14940    71560   209363 |   549092   550210     35 | 78.605 % |
1626.41/1626.99	c |    552659 |   14940    71560   209363 |   549092   551750     35 | 78.605 % |
1636.61/1637.16	c |    554355 |   14680    70572   206341 |   549092   553431     35 | 78.605 % |
1647.51/1648.05	c |    556220 |   14680    70572   206341 |   549092   555296     35 | 78.605 % |
1657.41/1657.99	c |    558272 |   14680    70572   206341 |   549092   557348     35 | 78.605 % |
1670.00/1670.56	c |    560525 |   14680    70572   206341 |   559079   559601     35 | 78.605 % |
1683.20/1683.75	c |    563004 |   14680    70572   206341 |   559079   562080     35 | 78.605 % |
1698.09/1698.63	c |    565730 |   14680    70572   206341 |   559079   564806     35 | 78.605 % |
1712.99/1713.58	c |    568727 |   14680    70572   206341 |   559079   567803     35 | 78.605 % |
1729.38/1729.93	c |    572024 |   14680    70572   206341 |   569078   571100     35 | 78.605 % |
1747.88/1748.43	c |    575650 |   14680    70572   206341 |   569078   574726     35 | 78.605 % |
1769.38/1769.92	c |    579641 |   14680    70572   206341 |   569078   578717     35 | 78.605 % |
1794.47/1795.10	c |    584026 |   14680    70572   206341 |   579077   583102     35 | 78.605 % |
1816.47/1817.05	c |    588850 |   14680    70572   206341 |   579077   587926     35 | 78.605 % |
1842.06/1842.64	c |    594155 |   14680    70572   206341 |   589076   593231     35 | 78.605 % |
1842.56/1843.18	c |    594257 |   14680    70572   206341 |   589076   593333     35 | 78.605 % |
1843.36/1843.93	c |    594371 |   14680    70572   206341 |   589076   593447     35 | 78.605 % |
1844.06/1844.60	c |    594493 |   14680    70572   206341 |   589076   593569     35 | 78.605 % |
1844.75/1845.34	c |    594626 |   14680    70572   206341 |   589076   593702     35 | 78.605 % |
1845.55/1846.16	c |    594773 |   14680    70572   206341 |   589076   593849     35 | 78.605 % |
1846.45/1847.02	c |    594934 |   14680    70572   206341 |   589076   594010     35 | 78.605 % |
1847.36/1847.96	c |    595110 |   14680    70572   206341 |   589076   594186     35 | 78.605 % |
1848.25/1848.82	c |    595306 |   14680    70572   206341 |   589076   594382     35 | 78.605 % |
1849.25/1849.83	c |    595519 |   14680    70572   206341 |   589076   594595     35 | 78.605 % |
1850.85/1851.43	c |    595752 |   14680    70572   206341 |   589076   594828     35 | 78.605 % |
1852.35/1852.96	c |    596008 |   14680    70572   206341 |   589076   595084     35 | 78.605 % |
1854.25/1854.85	c |    596291 |   14680    70572   206341 |   589076   595367     35 | 78.605 % |
1856.65/1857.22	c |    596600 |   14680    70572   206341 |   589076   595676     35 | 78.605 % |
1858.65/1859.27	c |    596940 |   14680    70572   206341 |   589076   596016     35 | 78.605 % |
1860.95/1861.50	c |    597313 |   14680    70572   206341 |   589076   596389     35 | 78.605 % |
1863.35/1863.93	c |    597724 |   14680    70572   206341 |   589076   596800     35 | 78.605 % |
1865.95/1866.59	c |    598174 |   14680    70572   206341 |   589076   597250     35 | 78.605 % |
1869.25/1869.86	c |    598667 |   14680    70572   206341 |   589076   597743     35 | 78.605 % |
1872.05/1872.62	c |    599211 |   14680    70572   206341 |   589076   598287     35 | 78.605 % |
1875.15/1875.78	c |    599807 |   14680    70572   206341 |   589076   598883     35 | 78.605 % |
1878.15/1878.75	c |    600462 |   14680    70572   206341 |   599076   599538     35 | 78.605 % |
1882.75/1883.39	c |    601182 |   14680    70572   206341 |   599076   600258     35 | 78.605 % |
1887.25/1887.84	c |    601974 |   14680    70572   206341 |   599076   601050     35 | 78.605 % |
1891.05/1891.61	c |    602845 |   14680    70572   206341 |   599076   601921     35 | 78.605 % |
1895.15/1895.71	c |    603805 |   14680    70572   206341 |   599076   602881     35 | 78.605 % |
1900.35/1900.97	c |    604860 |   14680    70572   206341 |   599076   603936     35 | 78.605 % |
1905.65/1906.30	c |    606020 |   14680    70572   206341 |   599076   605096     35 | 78.605 % |
1913.04/1913.66	c |    607293 |   14680    70572   206341 |   599076   606369     35 | 78.605 % |
1921.04/1921.64	c |    608694 |   14680    70572   206341 |   599076   607770     35 | 78.605 % |
1930.94/1931.59	c |    610241 |   14680    70572   206341 |   609076   609317     35 | 78.605 % |
1940.33/1940.90	c |    611937 |   14680    70572   206341 |   609076   611013     35 | 78.605 % |
1950.23/1950.81	c |    613802 |   14680    70572   206341 |   609076   612878     35 | 78.605 % |
1961.02/1961.64	c |    615851 |   14680    70572   206341 |   609076   614927     35 | 78.605 % |
1973.92/1974.57	c |    618105 |   14680    70572   206341 |   609076   617181     35 | 78.605 % |
1988.31/1989.00	c |    620583 |   14680    70572   206341 |   619077   619659     34 | 78.605 % |
2002.32/2002.90	c |    623308 |   14680    70572   206341 |   619077   622384     35 | 78.605 % |
2018.21/2018.80	c |    626306 |   14680    70572   206341 |   619077   625382     35 | 78.605 % |
2037.01/2037.67	c |    629602 |   14680    70572   206341 |   619077   628678     35 | 78.605 % |
2056.60/2057.26	c |    633228 |   14680    70572   206341 |   629076   632304     35 | 78.605 % |
2076.89/2077.58	c |    637217 |   14680    70572   206341 |   629076   636293     35 | 78.605 % |
2096.49/2097.18	c |    641602 |   14680    70572   206341 |   639076   640678     35 | 78.605 % |
2121.18/2121.83	c |    646425 |   14680    70572   206341 |   639076   645501     35 | 78.605 % |
2152.97/2153.61	c |    651730 |   14680    70572   206341 |   649077   650806     35 | 78.605 % |
2183.98/2184.69	c |    657565 |   14680    70572   206341 |   649077   656641     35 | 78.605 % |
2184.98/2185.62	c |    657667 |   14680    70572   206341 |   649077   656743     35 | 78.605 % |
2185.57/2186.28	c |    657777 |   14680    70572   206341 |   649077   656853     35 | 78.605 % |
2186.27/2186.96	c |    657898 |   14680    70572   206341 |   649077   656974     35 | 78.605 % |
2187.18/2187.89	c |    658032 |   14680    70572   206341 |   649077   657108     35 | 78.605 % |
2188.17/2188.87	c |    658179 |   14680    70572   206341 |   649077   657255     35 | 78.605 % |
2189.57/2190.20	c |    658339 |   14680    70572   206341 |   649077   657415     35 | 78.605 % |
2190.77/2191.42	c |    658516 |   14680    70572   206341 |   649077   657592     35 | 78.605 % |
2191.77/2192.49	c |    658709 |   14680    70572   206341 |   649077   657785     35 | 78.605 % |
2193.07/2193.71	c |    658921 |   14680    70572   206341 |   649077   657997     35 | 78.605 % |
2194.37/2195.00	c |    659154 |   14680    70572   206341 |   649077   658230     35 | 78.605 % |
2195.97/2196.63	c |    659410 |   14680    70572   206341 |   649077   658486     35 | 78.605 % |
2197.77/2198.46	c |    659691 |   14680    70572   206341 |   649077   658767     35 | 78.605 % |
2199.67/2200.33	c |    660001 |   14680    70572   206341 |   649077   659077     35 | 78.605 % |
2201.87/2202.53	c |    660341 |   14680    70572   206341 |   659077   659417     35 | 78.605 % |
2203.97/2204.65	c |    660713 |   14680    70572   206341 |   659077   659789     35 | 78.605 % |
2206.26/2206.99	c |    661122 |   14680    70572   206341 |   659077   660198     35 | 78.605 % |
2209.37/2210.02	c |    661571 |   14680    70572   206341 |   659077   660647     35 | 78.605 % |
2212.06/2212.79	c |    662066 |   14680    70572   206341 |   659077   661142     35 | 78.605 % |
2215.87/2216.53	c |    662609 |   14680    70572   206341 |   659077   661685     35 | 78.605 % |
2220.56/2221.28	c |    663205 |   14680    70572   206341 |   659077   662281     35 | 78.605 % |
2225.66/2226.37	c |    663860 |   14680    70572   206341 |   659077   662936     35 | 78.605 % |
2233.36/2234.09	c |    664580 |   14680    70572   206341 |   659077   663656     35 | 78.605 % |
2239.35/2240.04	c |    665373 |   14680    70572   206341 |   659077   664449     35 | 78.605 % |
2246.35/2247.00	c |    666245 |   14680    70572   206341 |   659077   665321     35 | 78.605 % |
2252.75/2253.45	c |    667204 |   14680    70572   206341 |   659077   666280     35 | 78.605 % |
2259.35/2260.04	c |    668257 |   14680    70572   206341 |   659077   667333     35 | 78.605 % |
2268.04/2268.79	c |    669415 |   14680    70572   206341 |   659077   668491     35 | 78.605 % |
2276.84/2277.57	c |    670688 |   14680    70572   206341 |   669076   669764     35 | 78.605 % |
2286.54/2287.26	c |    672088 |   14639    70340   205640 |   669076   671140     35 | 78.665 % |
2297.34/2298.00	c |    673628 |   14639    70340   205640 |   669076   672680     35 | 78.665 % |
2310.14/2310.82	c |    675322 |   14639    70340   205640 |   669076   674374     35 | 78.665 % |
2323.04/2323.76	c |    677186 |   14639    70340   205640 |   669076   676238     35 | 78.665 % |
2333.73/2334.46	c |    679235 |   14639    70340   205640 |   669076   678287     35 | 78.665 % |
2350.93/2351.62	c |    681489 |   14639    70340   205640 |   679051   680540     35 | 78.694 % |
2370.12/2370.88	c |    683970 |   14639    70340   205640 |   679051   683021     35 | 78.694 % |
2382.92/2383.65	c |    686696 |   14639    70340   205640 |   679051   685747     35 | 78.694 % |
2396.81/2397.56	c |    689693 |   14639    70340   205640 |   679051   688744     35 | 78.694 % |
2414.01/2414.76	c |    692989 |   14639    70340   205640 |   689053   692040     35 | 78.694 % |
2437.60/2438.38	c |    696618 |   14639    70340   205640 |   689053   695669     35 | 78.694 % |
2460.40/2461.10	c |    700605 |   14638    70340   205640 |   699054   699655     35 | 78.713 % |
2487.00/2487.71	c |    704991 |   14638    70340   205640 |   699054   704041     35 | 78.713 % |
2513.39/2514.10	c |    709815 |   14606    70113   204995 |   699054   708828     35 | 78.713 % |
2530.58/2531.37	c |    715120 |   14606    70113   204995 |   709015   714133     35 | 78.713 % |
2566.68/2567.47	c |    720956 |   14606    70113   204995 |   719013   719968     35 | 78.731 % |
2613.06/2613.89	c |    727375 |   14606    70113   204995 |   719013   726387     35 | 78.731 % |
2613.87/2614.63	c |    727476 |   14606    70113   204995 |   719013   726488     35 | 78.731 % |
2615.06/2615.88	c |    727586 |   14606    70113   204995 |   719013   726598     35 | 78.731 % |
2615.96/2616.72	c |    727708 |   14606    70113   204995 |   719013   726720     35 | 78.731 % |
2616.86/2617.70	c |    727841 |   14606    70113   204995 |   719013   726853     35 | 78.731 % |
2617.86/2618.64	c |    727987 |   14606    70113   204995 |   719013   726999     35 | 78.731 % |
2618.86/2619.64	c |    728147 |   14606    70113   204995 |   719013   727159     35 | 78.731 % |
2619.96/2620.72	c |    728324 |   14606    70113   204995 |   719013   727336     35 | 78.731 % |
2621.06/2621.84	c |    728517 |   14606    70113   204995 |   719013   727529     35 | 78.731 % |
2622.66/2623.50	c |    728729 |   14606    70113   204995 |   719013   727741     35 | 78.731 % |
2624.16/2624.95	c |    728962 |   14606    70113   204995 |   719013   727974     35 | 78.731 % |
2626.55/2627.35	c |    729218 |   14606    70113   204995 |   719013   728230     35 | 78.731 % |
2628.36/2629.12	c |    729499 |   14606    70113   204995 |   719013   728511     35 | 78.731 % |
2630.15/2630.91	c |    729808 |   14606    70113   204995 |   719013   728820     35 | 78.731 % |
2632.56/2633.32	c |    730149 |   14606    70113   204995 |   729012   729161     35 | 78.731 % |
2634.45/2635.24	c |    730521 |   14606    70113   204995 |   729012   729533     35 | 78.731 % |
2636.45/2637.26	c |    730930 |   14606    70113   204995 |   729012   729942     35 | 78.731 % |
2639.05/2639.85	c |    731382 |   14606    70113   204995 |   729012   730394     35 | 78.731 % |
2641.85/2642.67	c |    731877 |   14606    70113   204995 |   729012   730889     35 | 78.731 % |
2645.65/2646.40	c |    732419 |   14606    70113   204995 |   729012   731431     35 | 78.731 % |
2649.45/2650.20	c |    733015 |   14606    70113   204995 |   729012   732027     35 | 78.731 % |
2653.45/2654.29	c |    733670 |   14606    70113   204995 |   729012   732682     35 | 78.731 % |
2657.85/2658.61	c |    734390 |   14606    70113   204995 |   729012   733402     35 | 78.731 % |
2662.95/2663.73	c |    735183 |   14606    70113   204995 |   729012   734195     35 | 78.731 % |
2667.75/2668.55	c |    736055 |   14606    70113   204995 |   729012   735067     35 | 78.731 % |
2677.05/2677.89	c |    737013 |   14594    70025   204752 |   729012   736021     35 | 78.731 % |
2686.55/2687.31	c |    738066 |   14594    70025   204752 |   729012   737074     35 | 78.731 % |
2694.25/2695.07	c |    739224 |   14594    70025   204752 |   729012   738232     35 | 78.731 % |
2702.64/2703.42	c |    740498 |   14594    70025   204752 |   739008   739506     35 | 78.731 % |
2709.34/2710.18	c |    741898 |   14594    70025   204752 |   739008   740906     35 | 78.731 % |
2717.13/2717.96	c |    743439 |   14594    70025   204752 |   739008   742447     35 | 78.731 % |
2730.23/2731.02	c |    745133 |   14594    70025   204752 |   739008   744141     35 | 78.731 % |
2742.83/2743.69	c |    746996 |   14594    70025   204752 |   739008   746004     35 | 78.731 % |
2756.93/2757.72	c |    749046 |   14594    70025   204752 |   739008   748054     35 | 78.731 % |
2773.72/2774.59	c |    751299 |   14594    70025   204752 |   749008   750306     35 | 78.786 % |
2788.31/2789.17	c |    753781 |   14594    70025   204752 |   749008   752788     35 | 78.786 % |
2810.00/2810.84	c |    756507 |   14594    70025   204752 |   749008   755514     35 | 78.786 % |
2828.31/2829.13	c |    759508 |   14594    70025   204752 |   749008   758515     35 | 78.786 % |
2850.80/2851.67	c |    762808 |   14594    70025   204752 |   759007   761815     35 | 78.786 % |
2876.20/2877.08	c |    766435 |   14594    70025   204752 |   759007   765442     35 | 78.786 % |
2899.79/2900.64	c |    770424 |   14594    70025   204752 |   769007   769431     35 | 78.786 % |
2928.39/2929.20	c |    774811 |   14594    70025   204752 |   769007   773818     35 | 78.786 % |
2962.67/2963.56	c |    779634 |   14556    69947   204497 |   769007   778641     35 | 78.786 % |
2997.56/2998.49	c |    784939 |   14556    69947   204497 |   779008   783946     35 | 78.786 % |
3041.86/3042.75	c |    790774 |   14556    69947   204497 |   789009   789781     35 | 78.786 % |
3091.35/3092.25	c |    797192 |   14556    69947   204497 |   789009   796199     35 | 78.786 % |
3149.93/3150.89	c |    804251 |   14556    69947   204497 |   799009   803258     35 | 78.786 % |
3150.93/3151.89	c |    804353 |   14556    69947   204497 |   799009   803360     35 | 78.786 % |
3151.83/3152.75	c |    804463 |   14556    69947   204497 |   799009   803470     35 | 78.786 % |
3152.93/3153.83	c |    804586 |   14556    69947   204497 |   799009   803593     35 | 78.786 % |
3154.03/3154.98	c |    804720 |   14556    69947   204497 |   799009   803727     35 | 78.786 % |
3155.13/3156.05	c |    804866 |   14556    69947   204497 |   799009   803873     35 | 78.786 % |
3156.23/3157.16	c |    805033 |   14556    69947   204497 |   799009   804040     35 | 78.786 % |
3157.73/3158.60	c |    805211 |   14556    69947   204497 |   799009   804218     35 | 78.786 % |
3159.22/3160.15	c |    805406 |   14556    69947   204497 |   799009   804413     35 | 78.786 % |
3161.02/3161.90	c |    805621 |   14556    69947   204497 |   799009   804628     35 | 78.786 % |
3162.63/3163.53	c |    805856 |   14556    69947   204497 |   799009   804863     35 | 78.786 % |
3164.72/3165.70	c |    806116 |   14556    69947   204497 |   799009   805123     35 | 78.786 % |
3167.92/3168.88	c |    806399 |   14556    69947   204497 |   799009   805406     35 | 78.786 % |
3170.32/3171.27	c |    806709 |   14556    69947   204497 |   799009   805716     35 | 78.786 % |
3172.82/3173.78	c |    807049 |   14556    69947   204497 |   799009   806056     35 | 78.786 % |
3176.72/3177.60	c |    807421 |   14556    69947   204497 |   799009   806428     35 | 78.786 % |
3180.22/3181.11	c |    807830 |   14556    69947   204497 |   799009   806837     35 | 78.786 % |
3184.22/3185.10	c |    808279 |   14556    69947   204497 |   799009   807286     35 | 78.786 % |
3188.21/3189.16	c |    808772 |   14556    69947   204497 |   799009   807779     35 | 78.786 % |
3192.42/3193.38	c |    809314 |   14556    69947   204497 |   799009   808321     35 | 78.786 % |
3197.52/3198.50	c |    809911 |   14556    69947   204497 |   799009   808918     35 | 78.786 % |
3203.82/3204.74	c |    810566 |   14556    69947   204497 |   809009   809573     35 | 78.786 % |
3209.62/3210.56	c |    811286 |   14556    69947   204497 |   809009   810293     35 | 78.786 % |
3216.52/3217.48	c |    812078 |   14556    69947   204497 |   809009   811085     35 | 78.786 % |
3224.01/3224.97	c |    812951 |   14556    69947   204497 |   809009   811958     35 | 78.786 % |
3231.71/3232.61	c |    813912 |   14556    69947   204497 |   809009   812919     35 | 78.786 % |
3240.51/3241.49	c |    814965 |   14556    69947   204497 |   809009   813972     35 | 78.786 % |
3248.70/3249.61	c |    816123 |   14556    69947   204497 |   809009   815130     35 | 78.786 % |
3255.50/3256.48	c |    817397 |   14556    69947   204497 |   809009   816404     35 | 78.786 % |
3266.10/3267.04	c |    818798 |   14556    69947   204497 |   809009   817805     35 | 78.786 % |
3276.69/3277.61	c |    820338 |   14556    69947   204497 |   819009   819345     35 | 78.786 % |
3288.29/3289.27	c |    822033 |   14556    69947   204497 |   819009   821040     35 | 78.786 % |
3301.39/3302.39	c |    823896 |   14556    69947   204497 |   819009   822903     35 | 78.786 % |
3318.19/3319.13	c |    825946 |   14556    69947   204497 |   819009   824953     35 | 78.786 % |
3334.89/3335.80	c |    828200 |   14556    69947   204497 |   819009   827207     35 | 78.786 % |
3354.28/3355.25	c |    830680 |   14556    69947   204497 |   829007   829687     35 | 78.786 % |
3374.07/3375.05	c |    833407 |   14551    69902   204372 |   829007   832413     35 | 78.793 % |
3393.57/3394.50	c |    836404 |   14551    69902   204372 |   829007   835410     35 | 78.793 % |
3413.16/3414.14	c |    839700 |   14551    69902   204372 |   829007   838706     35 | 78.793 % |
3438.26/3439.21	c |    843326 |   14551    69902   204372 |   839006   842332     35 | 78.793 % |
3464.74/3465.77	c |    847315 |   14551    69902   204372 |   839006   846321     35 | 78.793 % |
3489.45/3490.41	c |    851702 |   14551    69902   204372 |   849007   850708     35 | 78.793 % |
3519.74/3520.72	c |    856525 |   14551    69902   204372 |   849007   855531     35 | 78.793 % |
3556.12/3557.16	c |    861830 |   14551    69902   204372 |   859007   860836     35 | 78.793 % |
3596.22/3597.20	c |    867665 |   14551    69902   204372 |   859007   866670     35 | 78.814 % |
3654.60/3655.69	c |    874083 |   14551    69902   204372 |   869005   873088     35 | 78.814 % |
3693.10/3694.12	c |    881143 |   14537    69871   204263 |   879006   880148     35 | 78.814 % |
3758.68/3759.79	c |    888909 |   14537    69871   204263 |   879006   887914     35 | 78.814 % |
3759.88/3760.94	c |    889009 |   14537    69871   204263 |   879006   888014     35 | 78.814 % |
3761.07/3762.11	c |    889124 |   14537    69871   204263 |   879006   888129     35 | 78.814 % |
3762.08/3763.18	c |    889246 |   14537    69871   204263 |   879006   888251     35 | 78.814 % |
3762.77/3763.84	c |    889379 |   14537    69871   204263 |   879006   888384     35 | 78.814 % |
3763.77/3764.84	c |    889525 |   14537    69871   204263 |   879006   888530     35 | 78.814 % |
3765.28/3766.40	c |    889685 |   14537    69871   204263 |   879006   888690     35 | 78.814 % |
3766.78/3767.84	c |    889862 |   14537    69871   204263 |   879006   888867     35 | 78.814 % |
3768.08/3769.14	c |    890055 |   14537    69871   204263 |   889005   889060     35 | 78.814 % |
3770.17/3771.25	c |    890267 |   14537    69871   204263 |   889005   889272     35 | 78.814 % |
3772.67/3773.73	c |    890501 |   14537    69871   204263 |   889005   889506     35 | 78.814 % |
3774.77/3775.80	c |    890759 |   14537    69871   204263 |   889005   889764     35 | 78.814 % |
3776.97/3778.07	c |    891041 |   14537    69871   204263 |   889005   890046     35 | 78.814 % |
3779.87/3781.00	c |    891351 |   14537    69871   204263 |   889005   890356     35 | 78.814 % |
3782.88/3783.94	c |    891690 |   14537    69871   204263 |   889005   890695     35 | 78.814 % |
3785.77/3786.84	c |    892063 |   14537    69871   204263 |   889005   891068     35 | 78.814 % |
3788.97/3790.06	c |    892472 |   14537    69871   204263 |   889005   891477     35 | 78.814 % |
3792.67/3793.70	c |    892923 |   14537    69871   204263 |   889005   891928     35 | 78.814 % |
3796.57/3797.69	c |    893416 |   14537    69871   204263 |   889005   892421     35 | 78.814 % |
3801.16/3802.26	c |    893958 |   14537    69871   204263 |   889005   892963     35 | 78.814 % |
3805.26/3806.33	c |    894554 |   14537    69871   204263 |   889005   893559     35 | 78.814 % |
3811.36/3812.40	c |    895209 |   14537    69871   204263 |   889005   894214     35 | 78.814 % |
3817.66/3818.73	c |    895930 |   14537    69871   204263 |   889005   894935     35 | 78.814 % |
3823.26/3824.37	c |    896723 |   14537    69871   204263 |   889005   895728     35 | 78.814 % |
3828.86/3829.90	c |    897597 |   14537    69871   204263 |   889005   896602     35 | 78.814 % |
3837.75/3838.87	c |    898556 |   14537    69871   204263 |   889005   897561     35 | 78.814 % |
3846.25/3847.33	c |    899610 |   14537    69871   204263 |   889005   898615     35 | 78.814 % |
3853.75/3854.84	c |    900768 |   14537    69871   204263 |   899005   899773     35 | 78.814 % |
3865.14/3866.25	c |    902041 |   14537    69871   204263 |   899005   901046     35 | 78.814 % |
3873.44/3874.54	c |    903442 |   14537    69871   204263 |   899005   902447     35 | 78.814 % |
3884.54/3885.65	c |    904982 |   14537    69871   204263 |   899005   903987     35 | 78.814 % |
3897.03/3898.12	c |    906676 |   14537    69871   204263 |   899005   905681     35 | 78.814 % |
3911.53/3912.63	c |    908539 |   14537    69871   204263 |   899005   907544     35 | 78.814 % |
3925.94/3927.02	c |    910588 |   14537    69871   204263 |   909006   909593     35 | 78.814 % |
3942.53/3943.63	c |    912842 |   14537    69871   204263 |   909006   911847     35 | 78.814 % |
3962.82/3963.93	c |    915320 |   14537    69871   204263 |   909006   914325     35 | 78.814 % |
3983.81/3984.95	c |    918046 |   14537    69871   204263 |   909006   917051     35 | 78.814 % |
3999.91/4001.06	c |    921045 |   14537    69871   204263 |   919005   920050     35 | 78.814 % |
4022.80/4023.99	c |    924341 |   14537    69871   204263 |   919005   923346     35 | 78.814 % |
4048.20/4049.30	c |    927967 |   14537    69871   204263 |   919005   926972     35 | 78.814 % |
4071.00/4072.17	c |    931955 |   14537    69871   204263 |   929005   930960     35 | 78.814 % |
4092.78/4093.98	c |    936341 |   14537    69871   204263 |   929005   935346     35 | 78.814 % |
4117.58/4118.79	c |    941164 |   14537    69871   204263 |   939006   940169     35 | 78.814 % |
4144.37/4145.59	c |    946469 |   14537    69871   204263 |   939006   945474     35 | 78.814 % |
4171.17/4172.38	c |    952305 |   14536    69866   204250 |   949001   951306     35 | 78.815 % |
4200.16/4201.40	c |    958724 |   14536    69866   204250 |   949001   957725     35 | 78.815 % |
4236.75/4237.95	c |    965783 |   14535    69866   204250 |   959001   964783     35 | 78.817 % |
4277.64/4278.87	c |    973548 |   14535    69866   204250 |   969009   972548     35 | 78.817 % |
4348.42/4349.60	c |    982089 |   14535    69866   204250 |   979000   981089     35 | 78.817 % |
4349.62/4350.81	c |    982191 |   14535    69866   204250 |   979000   981191     35 | 78.817 % |
4350.72/4351.92	c |    982303 |   14535    69866   204250 |   979000   981303     35 | 78.817 % |
4352.02/4353.28	c |    982424 |   14535    69866   204250 |   979000   981424     35 | 78.817 % |
4353.22/4354.49	c |    982557 |   14535    69866   204250 |   979000   981557     35 | 78.817 % |
4355.12/4356.35	c |    982703 |   14535    69866   204250 |   979000   981703     35 | 78.817 % |
4356.62/4357.82	c |    982863 |   14535    69866   204250 |   979000   981863     35 | 78.817 % |
4358.42/4359.64	c |    983039 |   14535    69866   204250 |   979000   982039     35 | 78.817 % |
4359.72/4360.92	c |    983232 |   14535    69866   204250 |   979000   982232     35 | 78.817 % |
4361.22/4362.44	c |    983444 |   14535    69866   204250 |   979000   982444     35 | 78.817 % |
4363.02/4364.20	c |    983677 |   14535    69866   204250 |   979000   982677     35 | 78.817 % |
4365.32/4366.50	c |    983934 |   14535    69866   204250 |   979000   982934     35 | 78.817 % |
4367.72/4369.00	c |    984217 |   14535    69866   204250 |   979000   983217     35 | 78.817 % |
4370.61/4371.88	c |    984529 |   14535    69866   204250 |   979000   983529     35 | 78.817 % |
4373.61/4374.86	c |    984869 |   14535    69866   204250 |   979000   983869     35 | 78.817 % |
4378.31/4379.55	c |    985241 |   14535    69866   204250 |   979000   984241     35 | 78.817 % |
4384.31/4385.55	c |    985650 |   14535    69860   204232 |   979000   984645     35 | 78.817 % |
4391.51/4392.71	c |    986099 |   14535    69860   204232 |   979000   985094     35 | 78.817 % |
4396.01/4397.27	c |    986592 |   14535    69860   204232 |   979000   985587     35 | 78.817 % |
4401.32/4402.50	c |    987134 |   14535    69860   204232 |   979000   986129     35 | 78.817 % |
4407.52/4408.73	c |    987731 |   14535    69860   204232 |   979000   986726     35 | 78.817 % |
4414.61/4415.80	c |    988391 |   14535    69860   204232 |   979000   987386     35 | 78.817 % |
4422.31/4423.56	c |    989113 |   14535    69860   204232 |   979000   988108     35 | 78.817 % |
4432.11/4433.39	c |    989905 |   14534    69860   204232 |   979000   988899     35 | 78.854 % |
4443.30/4444.50	c |    990777 |   14534    69860   204232 |   988994   989771     35 | 78.854 % |
4452.70/4453.94	c |    991736 |   14534    69860   204232 |   988994   990730     35 | 78.854 % |
4463.09/4464.32	c |    992790 |   14534    69860   204232 |   988994   991784     35 | 78.854 % |
4476.19/4477.43	c |    993951 |   14534    69860   204232 |   988994   992945     35 | 78.854 % |
4489.49/4490.70	c |    995224 |   14534    69860   204232 |   988994   994218     35 | 78.854 % |
4501.98/4503.25	c |    996627 |   14534    69860   204232 |   988994   995621     35 | 78.854 % |
4512.58/4513.84	c |    998167 |   14534    69860   204232 |   988994   997161     35 | 78.854 % |
4523.78/4525.03	c |    999865 |   14534    69860   204232 |   988994   998859     35 | 78.854 % |
4538.08/4539.33	c |   1001729 |   14534    69860   204232 |   998994  1000723     35 | 78.854 % |
4551.77/4553.04	c |   1003781 |   14534    69860   204232 |   998994  1002775     35 | 78.854 % |
4568.07/4569.39	c |   1006035 |   14534    69860   204232 |   998994  1005029     35 | 78.854 % |
4587.26/4588.52	c |   1008513 |   14534    69860   204232 |   998994  1007507     35 | 78.855 % |
4613.65/4614.91	c |   1011239 |   14533    69860   204232 |  1008993  1010232     35 | 78.873 % |
4641.55/4642.83	c |   1014239 |   14533    69860   204232 |  1008993  1013232     35 | 78.873 % |
4675.24/4676.56	c |   1017535 |   14533    69860   204232 |  1008993  1016528     35 | 78.873 % |
4703.94/4705.26	c |   1021161 |   14533    69860   204232 |  1018994  1020154     35 | 78.874 % |
4738.73/4740.06	c |   1025149 |   14533    69860   204232 |  1018994  1024142     35 | 78.873 % |
4775.81/4777.15	c |   1029537 |   14533    69860   204232 |  1018994  1028530     35 | 78.873 % |
4824.01/4825.34	c |   1034360 |   14496    69610   203557 |  1028970  1033328     35 | 78.873 % |
4872.10/4873.43	c |   1039667 |   14496    69610   203557 |  1028970  1038635     35 | 78.873 % |
4931.68/4933.01	c |   1045502 |   14496    69610   203557 |  1038969  1044470     35 | 78.873 % |
4991.96/4993.31	c |   1051920 |   14496    69610   203557 |  1048969  1050888     35 | 78.874 % |
5056.35/5057.75	c |   1058981 |   14496    69610   203557 |  1048969  1057949     35 | 78.873 % |
5117.54/5118.99	c |   1066745 |   14496    69610   203557 |  1058968  1065713     35 | 78.873 % |
5215.41/5216.81	c |   1075285 |   14496    69610   203557 |  1068970  1074253     35 | 78.873 % |
5268.40/5269.88	c |   1084679 |   14496    69610   203557 |  1078968  1083647     35 | 78.873 % |
5269.80/5271.25	c |   1084780 |   14496    69610   203557 |  1078968  1083748     35 | 78.873 % |
5271.20/5272.68	c |   1084890 |   14496    69610   203557 |  1078968  1083858     35 | 78.873 % |
5272.60/5274.01	c |   1085013 |   14496    69610   203557 |  1078968  1083981     35 | 78.873 % |
5273.70/5275.17	c |   1085147 |   14496    69610   203557 |  1078968  1084115     35 | 78.873 % |
5275.00/5276.48	c |   1085295 |   14496    69610   203557 |  1078968  1084263     35 | 78.873 % |
5276.30/5277.72	c |   1085456 |   14496    69610   203557 |  1078968  1084424     35 | 78.873 % |
5277.50/5278.95	c |   1085634 |   14496    69610   203557 |  1078968  1084602     35 | 78.874 % |
5279.70/5281.13	c |   1085827 |   14496    69610   203557 |  1078968  1084795     35 | 78.873 % |
5281.90/5283.31	c |   1086039 |   14496    69610   203557 |  1078968  1085007     35 | 78.873 % |
5284.10/5285.53	c |   1086275 |   14496    69610   203557 |  1078968  1085243     35 | 78.873 % |
5287.19/5288.69	c |   1086533 |   14496    69610   203557 |  1078968  1085501     35 | 78.873 % |
5291.99/5293.40	c |   1086815 |   14496    69610   203557 |  1078968  1085783     35 | 78.873 % |
5294.49/5295.94	c |   1087124 |   14496    69610   203557 |  1078968  1086092     35 | 78.873 % |
5298.19/5299.63	c |   1087463 |   14496    69610   203557 |  1078968  1086431     35 | 78.873 % |
5302.09/5303.52	c |   1087836 |   14496    69610   203557 |  1078968  1086804     35 | 78.873 % |
5306.49/5307.97	c |   1088246 |   14496    69610   203557 |  1078968  1087214     35 | 78.873 % |
5310.89/5312.34	c |   1088695 |   14496    69610   203557 |  1078968  1087663     35 | 78.873 % |
5315.69/5317.19	c |   1089188 |   14496    69610   203557 |  1078968  1088156     35 | 78.873 % |
5322.08/5323.55	c |   1089730 |   14496    69610   203557 |  1078968  1088698     35 | 78.873 % |
5330.48/5331.90	c |   1090326 |   14496    69610   203557 |  1088968  1089294     35 | 78.873 % |
5336.78/5338.27	c |   1090982 |   14496    69610   203557 |  1088968  1089950     35 | 78.873 % |
5344.68/5346.10	c |   1091702 |   14496    69610   203557 |  1088968  1090670     35 | 78.873 % |
5352.67/5354.15	c |   1092495 |   14496    69610   203557 |  1088968  1091463     35 | 78.873 % |
5359.47/5360.96	c |   1093367 |   14496    69610   203557 |  1088968  1092335     35 | 78.873 % |
5367.78/5369.26	c |   1094327 |   14496    69610   203557 |  1088968  1093295     35 | 78.874 % |
5376.68/5378.17	c |   1095382 |   14496    69610   203557 |  1088968  1094350     35 | 78.873 % |
5389.27/5390.77	c |   1096540 |   14496    69610   203557 |  1088968  1095508     35 | 78.873 % |
5400.27/5401.72	c |   1097813 |   14496    69610   203557 |  1088968  1096781     35 | 78.873 % |
5413.47/5414.94	c |   1099213 |   14496    69610   203557 |  1088968  1098181     35 | 78.873 % |
5426.97/5428.48	c |   1100755 |   14496    69610   203557 |  1098969  1099723     35 | 78.873 % |
5439.06/5440.52	c |   1102451 |   14496    69610   203557 |  1098969  1101419     35 | 78.873 % |
5453.36/5454.80	c |   1104316 |   14496    69610   203557 |  1098969  1103284     35 | 78.873 % |
5473.55/5475.09	c |   1106365 |   14496    69610   203557 |  1098969  1105333     35 | 78.873 % |
5493.64/5495.16	c |   1108618 |   14496    69610   203557 |  1098969  1107586     35 | 78.873 % |
5515.14/5516.63	c |   1111096 |   14496    69610   203557 |  1108969  1110064     35 | 78.873 % |
5537.93/5539.47	c |   1113822 |   14496    69610   203557 |  1108969  1112790     35 | 78.874 % |
5568.12/5569.67	c |   1116820 |   14496    69610   203557 |  1108969  1115788     34 | 78.873 % |
5597.72/5599.24	c |   1120116 |   14496    69610   203557 |  1118969  1119084     34 | 78.873 % |
5628.72/5630.27	c |   1123741 |   14496    69610   203557 |  1118969  1122709     34 | 78.873 % |
5669.50/5671.06	c |   1127730 |   14496    69610   203557 |  1118969  1126698     34 | 78.873 % |
5703.90/5705.44	c |   1132116 |   14496    69610   203557 |  1128969  1131084     34 | 78.873 % |
5751.08/5752.62	c |   1136939 |   14496    69610   203557 |  1128969  1135907     34 | 78.873 % |
5786.68/5788.22	c |   1142244 |   14496    69610   203557 |  1138968  1141212     34 | 78.873 % |
5828.57/5830.15	c |   1148084 |   14496    69610   203557 |  1138968  1147052     34 | 78.874 % |
5884.65/5886.25	c |   1154502 |   14496    69610   203557 |  1148968  1153470     34 | 78.873 % |
5945.64/5947.22	c |   1161562 |   14496    69610   203557 |  1158969  1160530     34 | 78.873 % |
6027.22/6028.84	c |   1169327 |   14496    69610   203557 |  1158969  1168295     34 | 78.874 % |
6104.30/6105.94	c |   1177868 |   14491    69559   203415 |  1168971  1176835     34 | 78.881 % |
6182.48/6184.11	c |   1187262 |   14491    69559   203415 |  1178967  1186229     34 | 78.881 % |
6267.86/6269.58	c |   1197596 |   14491    69559   203415 |  1188967  1196563     34 | 78.881 % |
6269.56/6271.25	c |   1197698 |   14491    69559   203415 |  1188967  1196665     34 | 78.881 % |
6270.96/6272.61	c |   1197808 |   14491    69559   203415 |  1188967  1196775     34 | 78.881 % |
6272.16/6273.87	c |   1197931 |   14491    69559   203415 |  1188967  1196898     34 | 78.881 % |
6273.86/6275.52	c |   1198064 |   14491    69559   203415 |  1188967  1197031     34 | 78.881 % |
6275.25/6276.98	c |   1198211 |   14491    69559   203415 |  1188967  1197178     34 | 78.881 % |
6276.65/6278.32	c |   1198375 |   14491    69559   203415 |  1188967  1197342     34 | 78.881 % |
6278.35/6280.02	c |   1198552 |   14491    69559   203415 |  1188967  1197519     34 | 78.881 % |
6280.75/6282.42	c |   1198747 |   14491    69559   203415 |  1188967  1197714     34 | 78.881 % |
6283.25/6284.97	c |   1198959 |   14491    69559   203415 |  1188967  1197926     34 | 78.881 % |
6286.15/6287.85	c |   1199193 |   14491    69559   203415 |  1188967  1198160     34 | 78.881 % |
6289.16/6290.89	c |   1199449 |   14491    69559   203415 |  1188967  1198416     34 | 78.881 % |
6292.55/6294.23	c |   1199730 |   14491    69559   203415 |  1188967  1198697     34 | 78.881 % |
6297.65/6299.35	c |   1200040 |   14491    69559   203415 |  1198968  1199007     34 | 78.881 % |
6301.25/6302.92	c |   1200384 |   14491    69559   203415 |  1198968  1199351     34 | 78.881 % |
6306.75/6308.45	c |   1200756 |   14491    69559   203415 |  1198968  1199723     34 | 78.881 % |
6312.54/6314.24	c |   1201165 |   14491    69559   203415 |  1198968  1200132     34 | 78.881 % |
6317.74/6319.44	c |   1201614 |   14491    69559   203415 |  1198968  1200581     34 | 78.881 % |
6323.84/6325.55	c |   1202108 |   14491    69559   203415 |  1198968  1201075     34 | 78.881 % |
6329.54/6331.22	c |   1202650 |   14491    69559   203415 |  1198968  1201617     34 | 78.881 % |
6334.74/6336.47	c |   1203246 |   14491    69559   203415 |  1198968  1202213     34 | 78.881 % |
6340.64/6342.34	c |   1203901 |   14491    69559   203415 |  1198968  1202868     34 | 78.881 % |
6350.04/6351.73	c |   1204622 |   14491    69559   203415 |  1198968  1203589     34 | 78.881 % |
6359.03/6360.73	c |   1205414 |   14491    69559   203415 |  1198968  1204381     34 | 78.881 % |
6367.83/6369.54	c |   1206285 |   14491    69559   203415 |  1198968  1205252     34 | 78.881 % |
6377.73/6379.41	c |   1207245 |   14491    69559   203415 |  1198968  1206212     34 | 78.881 % |
6385.93/6387.68	c |   1208298 |   14491    69559   203415 |  1198968  1207265     34 | 78.881 % |
6397.82/6399.52	c |   1209458 |   14491    69559   203415 |  1198968  1208425     34 | 78.881 % |
6412.52/6414.22	c |   1210732 |   14491    69559   203415 |  1208968  1209699     34 | 78.881 % |
6430.02/6431.78	c |   1212132 |   14491    69559   203415 |  1208968  1211099     34 | 78.881 % |
6447.01/6448.76	c |   1213672 |   14491    69559   203415 |  1208968  1212639     34 | 78.881 % |
6468.20/6469.94	c |   1215367 |   14491    69559   203415 |  1208968  1214334     34 | 78.881 % |
6489.70/6491.41	c |   1217230 |   14491    69559   203415 |  1208968  1216197     34 | 78.881 % |
6509.29/6511.08	c |   1219279 |   14491    69559   203415 |  1208968  1218246     34 | 78.881 % |
6531.89/6533.67	c |   1221532 |   14491    69559   203415 |  1218967  1220499     34 | 78.881 % |
6558.39/6560.14	c |   1224011 |   14491    69559   203415 |  1218967  1222978     34 | 78.881 % |
6588.38/6590.19	c |   1226737 |   14491    69559   203415 |  1218967  1225704     34 | 78.881 % |
6620.27/6622.06	c |   1229736 |   14491    69559   203415 |  1218967  1228703     34 | 78.881 % |
6657.96/6659.74	c |   1233036 |   14491    69559   203415 |  1228971  1232003     34 | 78.881 % |
6687.75/6689.59	c |   1236661 |   14491    69559   203415 |  1228971  1235628     34 | 78.881 % |
6726.65/6728.44	c |   1240650 |   14491    69559   203415 |  1238968  1239617     34 | 78.881 % |
6780.23/6782.03	c |   1245035 |   14491    69559   203415 |  1238968  1244002     34 | 78.881 % |
6829.13/6830.91	c |   1249860 |   14491    69559   203415 |  1238968  1248827     34 | 78.881 % |
6880.81/6882.63	c |   1255165 |   14491    69559   203415 |  1248969  1254132     34 | 78.881 % |
6934.70/6936.58	c |   1261000 |   14491    69559   203415 |  1258967  1259967     34 | 78.881 % |
6999.48/7001.33	c |   1267419 |   14491    69559   203415 |  1258967  1266386     34 | 78.881 % |
7054.67/7056.55	c |   1274479 |   14491    69559   203415 |  1268967  1273446     34 | 78.881 % |
7144.94/7146.82	c |   1282243 |   14491    69559   203415 |  1278967  1281210     34 | 78.881 % |
7234.22/7236.16	c |   1290785 |   14491    69559   203415 |  1288968  1289752     34 | 78.881 % |
7307.81/7309.76	c |   1300181 |   14491    69559   203415 |  1298968  1299148     34 | 78.881 % |
7407.48/7409.45	c |   1310514 |   14477    69455   203134 |  1308961  1309475     34 | 78.901 % |
7509.96/7511.95	c |   1321881 |   14477    69455   203134 |  1318961  1320841     34 | 78.974 % |
7511.16/7513.13	c |   1321981 |   14477    69455   203134 |  1318961  1320941     34 | 78.974 % |
7512.56/7514.54	c |   1322092 |   14477    69455   203134 |  1318961  1321052     34 | 78.974 % |
7513.56/7515.59	c |   1322214 |   14477    69455   203134 |  1318961  1321174     34 | 78.974 % |
7514.76/7516.78	c |   1322347 |   14477    69455   203134 |  1318961  1321307     34 | 78.974 % |
7516.26/7518.25	c |   1322495 |   14477    69455   203134 |  1318961  1321455     34 | 78.974 % |
7518.16/7520.10	c |   1322655 |   14477    69455   203134 |  1318961  1321615     34 | 78.974 % |
7519.86/7521.82	c |   1322831 |   14477    69455   203134 |  1318961  1321791     34 | 78.974 % |
7521.96/7523.96	c |   1323026 |   14477    69455   203134 |  1318961  1321986     34 | 78.974 % |
7523.75/7525.78	c |   1323238 |   14477    69455   203134 |  1318961  1322198     34 | 78.974 % |
7525.25/7527.28	c |   1323471 |   14477    69455   203134 |  1318961  1322431     34 | 78.974 % |
7527.25/7529.25	c |   1323728 |   14477    69455   203134 |  1318961  1322688     34 | 78.974 % |
7529.05/7531.09	c |   1324010 |   14477    69455   203134 |  1318961  1322970     34 | 78.974 % |
7531.75/7533.78	c |   1324321 |   14477    69455   203134 |  1318961  1323281     34 | 78.974 % |
7536.54/7538.51	c |   1324660 |   14477    69455   203134 |  1318961  1323620     34 | 78.974 % |
7540.75/7542.76	c |   1325032 |   14477    69455   203134 |  1318961  1323992     34 | 78.974 % |
7546.94/7548.98	c |   1325441 |   14477    69455   203134 |  1318961  1324401     34 | 78.974 % |
7554.94/7556.94	c |   1325890 |   14477    69455   203134 |  1318961  1324850     34 | 78.974 % |
7563.84/7565.87	c |   1326385 |   14477    69455   203134 |  1318961  1325345     34 | 78.974 % |
7570.84/7572.86	c |   1326927 |   14477    69455   203134 |  1318961  1325887     34 | 78.974 % |
7579.14/7581.13	c |   1327523 |   14477    69455   203134 |  1318961  1326483     34 | 78.974 % |
7585.63/7587.60	c |   1328178 |   14477    69455   203134 |  1318961  1327138     34 | 78.974 % |
7594.23/7596.29	c |   1328899 |   14477    69455   203134 |  1318961  1327859     34 | 78.974 % |
7603.13/7605.17	c |   1329691 |   14477    69455   203134 |  1318961  1328651     34 | 78.974 % |
7612.72/7614.72	c |   1330563 |   14477    69455   203134 |  1328960  1329523     34 | 78.974 % |
7622.53/7624.59	c |   1331524 |   14477    69455   203134 |  1328960  1330484     34 | 78.974 % |
7633.32/7635.36	c |   1332577 |   14477    69455   203134 |  1328960  1331537     34 | 78.974 % |
7644.32/7646.38	c |   1333738 |   14477    69455   203134 |  1328960  1332698     34 | 78.974 % |
7657.42/7659.40	c |   1335014 |   14477    69455   203134 |  1328960  1333974     34 | 78.974 % |
7680.41/7682.45	c |   1336414 |   14477    69455   203134 |  1328960  1335374     34 | 78.974 % |
7706.71/7708.72	c |   1337958 |   14477    69455   203134 |  1328960  1336918     34 | 78.974 % |
7729.40/7731.42	c |   1339652 |   14477    69455   203134 |  1328960  1338612     34 | 78.974 % |
7748.59/7750.70	c |   1341518 |   14477    69455   203134 |  1338961  1340478     34 | 78.974 % |
7770.18/7772.22	c |   1343567 |   14477    69455   203134 |  1338961  1342527     34 | 78.974 % |
7794.79/7796.87	c |   1345820 |   14477    69455   203134 |  1338961  1344780     34 | 78.974 % |
7822.67/7824.77	c |   1348299 |   14477    69455   203134 |  1338961  1347259     34 | 78.974 % |
7848.97/7851.04	c |   1351026 |   14477    69455   203134 |  1348960  1349986     34 | 78.974 % |
7881.96/7884.01	c |   1354023 |   14477    69455   203134 |  1348960  1352983     34 | 78.974 % |
7914.95/7917.07	c |   1357320 |   14477    69455   203134 |  1348960  1356280     34 | 78.974 % |
7960.04/7962.10	c |   1360946 |   14477    69455   203134 |  1358962  1359906     34 | 78.974 % |
8011.93/8014.01	c |   1364934 |   14427    69158   202278 |  1358962  1363894     34 | 78.974 % |
8064.02/8066.17	c |   1369319 |   14427    69158   202278 |  1358962  1368279     34 | 78.974 % |
8111.51/8113.68	c |   1374142 |   14427    69158   202278 |  1368960  1373102     34 | 78.974 % |
8173.68/8175.87	c |   1379449 |   14427    69158   202278 |  1368960  1378409     34 | 78.974 % |
8239.58/8241.76	c |   1385284 |   14427    69158   202278 |  1378960  1384244     34 | 78.974 % |
8314.76/8316.97	c |   1391704 |   14427    69158   202278 |  1388960  1390664     34 | 78.974 % |
8406.34/8408.59	c |   1398763 |   14427    69158   202278 |  1388960  1397723     34 | 78.974 % |
8507.21/8509.47	c |   1406528 |   14427    69158   202278 |  1398960  1405488     34 | 78.974 % |
8633.68/8635.93	c |   1415069 |   14427    69158   202278 |  1408961  1414028     34 | 78.993 % |
8750.45/8752.74	c |   1424466 |   14427    69158   202278 |  1418959  1423425     34 | 78.993 % |
8880.82/8883.13	c |   1434802 |   14414    69082   202062 |  1428959  1433761     34 | 78.993 % |
9026.49/9028.88	c |   1446168 |   14414    69082   202062 |  1438959  1445127     34 | 78.993 % |
9172.35/9174.73	c |   1458671 |   14414    69082   202062 |  1448960  1457630     34 | 78.993 % |
9173.55/9176.00	c |   1458773 |   14414    69082   202062 |  1448960  1457732     34 | 78.993 % |
9174.65/9177.03	c |   1458886 |   14414    69082   202062 |  1448960  1457845     34 | 78.993 % |
9176.95/9179.32	c |   1459007 |   14414    69082   202062 |  1448960  1457966     34 | 78.993 % |
9179.05/9181.46	c |   1459140 |   14414    69082   202062 |  1448960  1458099     34 | 78.993 % |
9180.85/9183.24	c |   1459286 |   14414    69082   202062 |  1448960  1458245     34 | 78.993 % |
9183.45/9185.89	c |   1459446 |   14414    69082   202062 |  1448960  1458405     34 | 78.993 % |
9185.75/9188.14	c |   1459622 |   14414    69082   202062 |  1448960  1458581     34 | 78.993 % |
9188.05/9190.45	c |   1459819 |   14414    69082   202062 |  1448960  1458778     34 | 78.993 % |
9190.75/9193.12	c |   1460032 |   14414    69082   202062 |  1458959  1458991     34 | 78.993 % |
9193.75/9196.11	c |   1460265 |   14414    69082   202062 |  1458959  1459224     34 | 78.993 % |
9197.25/9199.67	c |   1460523 |   14414    69082   202062 |  1458959  1459482     34 | 78.993 % |
9200.85/9203.24	c |   1460804 |   14414    69082   202062 |  1458959  1459763     34 | 78.993 % |
9204.65/9207.05	c |   1461115 |   14414    69082   202062 |  1458959  1460074     34 | 78.993 % |
9208.84/9211.21	c |   1461458 |   14414    69082   202062 |  1458959  1460417     34 | 78.993 % |
9213.04/9215.45	c |   1461830 |   14414    69082   202062 |  1458959  1460789     34 | 78.993 % |
9217.64/9220.05	c |   1462240 |   14414    69082   202062 |  1458959  1461199     34 | 78.993 % |
9223.24/9225.66	c |   1462689 |   14414    69082   202062 |  1458959  1461648     34 | 78.993 % |
9230.54/9232.95	c |   1463183 |   14414    69082   202062 |  1458959  1462142     34 | 78.993 % |
9235.64/9238.09	c |   1463725 |   14414    69082   202062 |  1458959  1462684     34 | 78.993 % |
9243.73/9246.11	c |   1464321 |   14414    69082   202062 |  1458959  1463280     34 | 78.993 % |
9256.73/9259.17	c |   1464976 |   14414    69082   202062 |  1458959  1463935     34 | 78.993 % |
9267.92/9270.33	c |   1465697 |   14414    69082   202062 |  1458959  1464656     34 | 78.993 % |
9284.62/9287.06	c |   1466489 |   14414    69082   202062 |  1458959  1465448     34 | 78.993 % |
9298.32/9300.75	c |   1467360 |   14414    69082   202062 |  1458959  1466319     34 | 78.993 % |
9311.51/9313.97	c |   1468318 |   14414    69082   202062 |  1458959  1467277     34 | 78.993 % |
9325.11/9327.56	c |   1469372 |   14414    69082   202062 |  1458959  1468331     34 | 78.993 % |
9338.60/9341.06	c |   1470531 |   14414    69082   202062 |  1468962  1469490     34 | 78.993 % |
9356.30/9358.72	c |   1471804 |   14414    69082   202062 |  1468962  1470763     34 | 78.993 % |
9375.90/9378.32	c |   1473205 |   14414    69082   202062 |  1468962  1472164     34 | 78.993 % |
9401.40/9403.90	c |   1474745 |   14414    69082   202062 |  1468962  1473704     34 | 78.993 % |
9427.59/9430.06	c |   1476439 |   14414    69082   202062 |  1468962  1475398     34 | 78.993 % |
9454.48/9456.93	c |   1478302 |   14414    69082   202062 |  1468962  1477261     34 | 78.993 % |
9479.68/9482.11	c |   1480352 |   14414    69082   202062 |  1478961  1479311     34 | 78.993 % |
9505.47/9507.99	c |   1482605 |   14414    69082   202062 |  1478961  1481564     34 | 78.993 % |
9534.86/9537.39	c |   1485083 |   14414    69082   202062 |  1478961  1484042     34 | 78.993 % |
9568.45/9570.91	c |   1487810 |   14414    69082   202062 |  1478961  1486769     34 | 78.993 % |
9606.35/9608.82	c |   1490808 |   14414    69082   202062 |  1488961  1489767     34 | 78.993 % |
9639.74/9642.27	c |   1494104 |   14414    69082   202062 |  1488961  1493063     34 | 78.993 % |
9677.53/9680.07	c |   1497729 |   14414    69082   202062 |  1488961  1496688     34 | 78.993 % |
9727.51/9730.04	c |   1501717 |   14414    69082   202062 |  1498960  1500676     34 | 78.993 % |
9775.20/9777.76	c |   1506102 |   14414    69082   202062 |  1498960  1505061     34 | 78.993 % |
9825.68/9828.25	c |   1510927 |   14414    69082   202062 |  1508961  1509886     34 | 78.993 % |
9883.27/9885.83	c |   1516234 |   14414    69082   202062 |  1508961  1515193     34 | 78.993 % |
9947.86/9950.44	c |   1522071 |   14414    69082   202062 |  1518959  1521030     34 | 78.993 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 24429
/proc/meminfo: memFree=1847144/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=0
/proc/24429/stat : 24429 (SatELiteGTI) R 24427 24429 24392 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 313729285 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 4459254 0 0 4100 65536 0 0 0 17 0 0 0
/proc/24429/statm: 1339 237 197 169 0 50 0

[startup+0.00875402 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 24429
/proc/meminfo: memFree=1847144/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=0
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729285 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10176 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 24429
/proc/meminfo: memFree=1847144/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=0
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729285 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301777 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 24429
/proc/meminfo: memFree=1847144/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=0
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729285 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701811 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 24429
/proc/meminfo: memFree=1847144/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=0
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729285 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50288 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 24434
/proc/meminfo: memFree=1753432/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=0
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729285 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 237 197 169 0 50 0
[pid=24433] ppid=24429 vsize=105872 CPUtime=1.49
/proc/24433/stat : 24433 (SatELite_releas) R 24429 24429 24392 0 -1 4194304 26574 0 0 0 134 15 0 0 25 0 1 0 313729285 108412928 24423 1992294400 134512640 135223648 4294956128 18446744073709551615 134586669 0 0 4096 3 0 0 0 17 0 0 0
/proc/24433/statm: 26468 24423 76 173 0 26293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111228

[startup+3.10202 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 24434
/proc/meminfo: memFree=1742680/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=0
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729285 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 237 197 169 0 50 0
[pid=24433] ppid=24429 vsize=110444 CPUtime=3.09
/proc/24433/stat : 24433 (SatELite_releas) R 24429 24429 24392 0 -1 4194304 27880 0 0 0 293 16 0 0 25 0 1 0 313729285 113094656 25570 1992294400 134512640 135223648 4294956128 18446744073709551615 134587353 0 0 4096 3 0 0 0 17 0 0 0
/proc/24433/statm: 27611 25570 76 173 0 27436 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115800

[startup+6.30129 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 24434
/proc/meminfo: memFree=1737176/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=0
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729285 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 237 197 169 0 50 0
[pid=24433] ppid=24429 vsize=131156 CPUtime=6.28
/proc/24433/stat : 24433 (SatELite_releas) R 24429 24429 24392 0 -1 4194304 34266 0 0 0 608 20 0 0 25 0 1 0 313729285 134303744 27775 1992294400 134512640 135223648 4294956128 18446744073709551615 134602396 0 0 4096 3 0 0 0 17 0 0 0
/proc/24433/statm: 32789 27775 76 173 0 32614 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 136512

[startup+12.7018 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 24435
/proc/meminfo: memFree=1809304/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=24980 CPUtime=5.48
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 5922 0 0 0 544 4 0 0 25 0 1 0 313730005 25579520 5883 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 6245 5883 77 171 0 6072 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30336

[startup+25.5019 s]
/proc/loadavg: 0.39 0.09 0.03 2/66 24435
/proc/meminfo: memFree=1809304/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=24980 CPUtime=18.28
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 5934 0 0 0 1824 4 0 0 25 0 1 0 313730005 25579520 5895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 6245 5895 77 171 0 6072 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 30336

[startup+51.1012 s]
/proc/loadavg: 0.60 0.17 0.05 2/66 24435
/proc/meminfo: memFree=1809048/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=25552 CPUtime=43.87
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 6081 0 0 0 4383 4 0 0 25 0 1 0 313730005 26165248 6042 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 6388 6042 77 171 0 6215 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 30908

[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/66 24435
/proc/meminfo: memFree=1802648/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=32020 CPUtime=95.05
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 7665 0 0 0 9500 5 0 0 25 0 1 0 313730005 32788480 7626 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 8005 7626 77 171 0 7832 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 37376

[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/66 24435
/proc/meminfo: memFree=1795864/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=38836 CPUtime=155.02
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 9350 0 0 0 15496 6 0 0 25 0 1 0 313730005 39768064 9311 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 9709 9311 77 171 0 9536 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 44192

[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/66 24435
/proc/meminfo: memFree=1790168/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=44700 CPUtime=215.01
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 10774 0 0 0 21493 8 0 0 25 0 1 0 313730005 45772800 10735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 11175 10735 77 171 0 11002 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 50056

[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/66 24435
/proc/meminfo: memFree=1785176/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=49844 CPUtime=274.99
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 12037 0 0 0 27490 9 0 0 25 0 1 0 313730005 51040256 11998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 12461 11998 77 171 0 12288 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 55200

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/66 24435
/proc/meminfo: memFree=1780120/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=54744 CPUtime=334.97
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 13271 0 0 0 33487 10 0 0 25 0 1 0 313730005 56057856 13232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 13686 13232 77 171 0 13513 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 60100

[startup+402.302 s]
/proc/loadavg: 1.06 0.75 0.34 2/66 24435
/proc/meminfo: memFree=1775768/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=59476 CPUtime=394.95
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 14363 0 0 0 39484 11 0 0 25 0 1 0 313730005 60903424 14324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 14869 14324 77 171 0 14696 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 64832

[startup+462.302 s]

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

/proc/24435/statm: 72527 70165 77 171 0 72354 0
Current children cumulated CPU time (s) 9339.91
Current children cumulated vsize (KiB) 295464

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24451
/proc/meminfo: memFree=1546776/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=290736 CPUtime=9392.72
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 70372 0 0 0 939191 81 0 0 25 0 1 0 313730005 297713664 70333 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 72684 70333 77 171 0 72511 0
Current children cumulated CPU time (s) 9399.9
Current children cumulated vsize (KiB) 296092

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24451
/proc/meminfo: memFree=1545816/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=291716 CPUtime=9452.7
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 70594 0 0 0 945189 81 0 0 25 0 1 0 313730005 298717184 70555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 72929 70555 77 171 0 72756 0
Current children cumulated CPU time (s) 9459.88
Current children cumulated vsize (KiB) 297072

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24451
/proc/meminfo: memFree=1544856/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=292640 CPUtime=9512.68
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 70828 0 0 0 951187 81 0 0 25 0 1 0 313730005 299663360 70789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 73160 70789 77 171 0 72987 0
Current children cumulated CPU time (s) 9519.86
Current children cumulated vsize (KiB) 297996

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24453
/proc/meminfo: memFree=1543512/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=294000 CPUtime=9572.66
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 71116 0 0 0 957185 81 0 0 25 0 1 0 313730005 301056000 71077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 73500 71077 77 171 0 73327 0
Current children cumulated CPU time (s) 9579.84
Current children cumulated vsize (KiB) 299356

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24453
/proc/meminfo: memFree=1542744/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=294792 CPUtime=9632.66
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 71331 0 0 0 963184 82 0 0 25 0 1 0 313730005 301867008 71292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 73698 71292 77 171 0 73525 0
Current children cumulated CPU time (s) 9639.84
Current children cumulated vsize (KiB) 300148

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24453
/proc/meminfo: memFree=1541784/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=295584 CPUtime=9692.64
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 71565 0 0 0 969182 82 0 0 25 0 1 0 313730005 302678016 71526 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 73896 71526 77 171 0 73723 0
Current children cumulated CPU time (s) 9699.82
Current children cumulated vsize (KiB) 300940

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24453
/proc/meminfo: memFree=1540952/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=296344 CPUtime=9752.62
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 71776 0 0 0 975180 82 0 0 25 0 1 0 313730005 303456256 71737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 74086 71737 77 171 0 73913 0
Current children cumulated CPU time (s) 9759.8
Current children cumulated vsize (KiB) 301700

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24453
/proc/meminfo: memFree=1540248/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=297084 CPUtime=9812.61
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 71957 0 0 0 981179 82 0 0 25 0 1 0 313730005 304214016 71918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 74271 71918 77 171 0 74098 0
Current children cumulated CPU time (s) 9819.79
Current children cumulated vsize (KiB) 302440

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24453
/proc/meminfo: memFree=1539544/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=297744 CPUtime=9872.6
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 72135 0 0 0 987177 83 0 0 25 0 1 0 313730005 304889856 72096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 74436 72096 77 171 0 74263 0
Current children cumulated CPU time (s) 9879.78
Current children cumulated vsize (KiB) 303100

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24453
/proc/meminfo: memFree=1538712/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=298544 CPUtime=9932.59
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 72341 0 0 0 993175 84 0 0 25 0 1 0 313730005 305709056 72302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 74636 72302 77 171 0 74463 0
Current children cumulated CPU time (s) 9939.77
Current children cumulated vsize (KiB) 303900

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24453
/proc/meminfo: memFree=1537688/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=299468 CPUtime=9992.57
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 72599 0 0 0 999173 84 0 0 25 0 1 0 313730005 306655232 72560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 74867 72560 77 171 0 74694 0
Current children cumulated CPU time (s) 9999.75
Current children cumulated vsize (KiB) 304824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.6 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24453
/proc/meminfo: memFree=1537688/2055920 swapFree=4179372/4192956
[pid=24429] ppid=24427 vsize=5356 CPUtime=7.18
/proc/24429/stat : 24429 (SatELiteGTI) S 24427 24429 24392 0 -1 4194304 336 41057 0 0 0 0 690 28 16 0 1 0 313729285 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24429/statm: 1339 239 197 169 0 50 0
[pid=24435] ppid=24429 vsize=299468 CPUtime=9992.87
/proc/24435/stat : 24435 (minisat_static) R 24429 24429 24392 0 -1 4194304 72600 0 0 0 999203 84 0 0 25 0 1 0 313730005 306655232 72561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24435/statm: 74867 72561 77 171 0 74694 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 304824

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 10002.6
CPU time (s): 10000.1
CPU user time (s): 9998.93
CPU system time (s): 1.12
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 304824

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

runsolver used 9.69253 second user time and 26.8179 second system time

The end

Launcher Data 

Begin job on node58 at 2009-05-21 00:03:41
IDJOB=1837066
IDBENCH=20381
IDSOLVER=674
FILE ID=node58/1837066-1242857019
PBS_JOBID= 9328459
Free space on /tmp= 66044 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-19-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837066-1242857019/watcher-1837066-1242857019 -o /tmp/evaluation-result-1837066-1242857019/solver-1837066-1242857019 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837066-1242857019.cnf

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

MD5SUM BENCH= 3be331331884289c55e55acdeed55dc7
RANDOM SEED=330840524

node58.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.233
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.233
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1847624 kB
Buffers:         37116 kB
Cached:         130348 kB
SwapCached:       7636 kB
Active:          93436 kB
Inactive:        83176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847624 kB
SwapTotal:     4192956 kB
SwapFree:      4179372 kB
Dirty:           19552 kB
Writeback:           0 kB
Mapped:          14344 kB
Slab:            17780 kB
Committed_AS:  1019164 kB
PageTables:       1364 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66028 MiB
End job on node58 at 2009-05-21 02:50:25