Trace number 1833781

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.02 1200.51

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
MD5SUM31a3aedc721d03e1d956a240f176ac5e
Bench CategoryCRAFTED (crafted 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 variables3857
Number of clauses59728
Sum of the clauses size174559
Maximum clause length49
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 224387
Number of clauses of size 326002
Number of clauses of size 44516
Number of clauses of size 54669
Number of clauses of size over 5154

Solver Data

0.00/0.00	c Parsing...
0.00/0.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   59728   174559 |   17918       0        0     nan |  0.000 % |
0.00/0.23	c |         0 |   59728   174579 |      --       0       --      -- |     --   | 0/20
0.00/0.23	c ==============================================================================
0.00/0.23	c Result  :   #vars: 3853   #clauses: 59728   #literals: 174579
0.00/0.23	c CPU time:   0.217966 s
0.00/0.23	c ==============================================================================
0.00/0.28	c This is MiniSat 2.0 beta
0.00/0.28	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.28	c ============================[ Problem Statistics ]=============================
0.00/0.28	c |                                                                             |
0.00/0.29	c |  Number of variables:  3853                                                 |
0.00/0.29	c |  Number of clauses:    59728                                                |
0.27/0.32	c |  Parsing time:         0.03         s                                       |
0.27/0.32	c ============================[ Search Statistics ]==============================
0.27/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.27/0.32	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.27/0.32	c ===============================================================================
0.27/0.32	c |         0 |    3853    59728   174579 |    19909        0    nan |  0.000 % |
0.27/0.33	c |       102 |    3853    59728   174579 |    19909      102    108 |  0.000 % |
0.27/0.34	c |       202 |    3853    59728   174579 |    19909      202     82 |  0.000 % |
0.27/0.35	c |       304 |    3853    59728   174579 |    19909      304     91 |  0.000 % |
0.27/0.37	c |       414 |    3853    59728   174579 |    19909      414     96 |  0.000 % |
0.27/0.38	c |       516 |    3838    59728   174579 |    19909      515    108 |  0.389 % |
0.27/0.40	c |       626 |    3838    59728   174579 |    19909      625    100 |  0.389 % |
0.27/0.42	c |       747 |    3838    59728   174579 |    19909      746     93 |  0.389 % |
0.27/0.44	c |       847 |    3838    59728   174579 |    19909      846     90 |  0.389 % |
0.27/0.45	c |       957 |    3838    59728   174579 |    19909      956     87 |  0.389 % |
0.27/0.47	c |      1080 |    3838    59678   174479 |    19909     1079     81 |  0.389 % |
0.27/0.50	c |      1213 |    3838    59678   174479 |    19909     1212     79 |  0.389 % |
0.27/0.52	c |      1313 |    3838    59678   174479 |    19909     1312     77 |  0.389 % |
0.27/0.53	c |      1423 |    3838    59678   174479 |    19909     1422     76 |  0.389 % |
0.27/0.55	c |      1547 |    3838    59678   174479 |    19909     1546     76 |  0.389 % |
0.27/0.56	c |      1680 |    3838    59678   174479 |    19909     1679     78 |  0.389 % |
0.27/0.58	c |      1826 |    3838    59678   174479 |    19909     1825     79 |  0.389 % |
0.27/0.61	c |      1927 |    3838    59678   174479 |    19909     1926     77 |  0.389 % |
0.27/0.63	c |      2037 |    3838    59678   174479 |    19909     2036     77 |  0.389 % |
0.27/0.65	c |      2158 |    3823    59678   174479 |    19909     2156     75 |  0.779 % |
0.27/0.68	c |      2291 |    3823    59623   174369 |    19909     2289     79 |  0.779 % |
0.27/0.71	c |      2437 |    3823    59623   174369 |    19909     2435     78 |  0.779 % |
0.27/0.73	c |      2597 |    3823    59623   174369 |    19909     2595     78 |  0.779 % |
0.27/0.74	c |      2697 |    3823    59623   174369 |    19909     2695     81 |  0.779 % |
0.27/0.76	c |      2807 |    3823    59623   174369 |    19909     2805     82 |  0.779 % |
0.27/0.78	c |      2928 |    3805    59623   174369 |    19909     2923     81 |  1.947 % |
0.27/0.79	c |      3061 |    3799    59623   174369 |    19909     3056     80 |  1.947 % |
0.27/0.81	c |      3208 |    3794    59623   174369 |    19909     3202     80 |  2.336 % |
0.27/0.84	c |      3368 |    3794    59623   174369 |    19909     3362     79 |  2.336 % |
0.27/0.87	c |      3545 |    3779    59623   174369 |    19909     3538     78 |  2.725 % |
0.27/0.89	c |      3646 |    3777    59623   174369 |    19909     3637     77 |  2.777 % |
0.27/0.92	c |      3756 |    3777    59623   174369 |    19909     3747     77 |  2.777 % |
0.27/0.94	c |      3878 |    3746    59355   173833 |    19909     3865     78 |  2.777 % |
0.27/0.96	c |      4012 |    3746    59355   173833 |    19909     3999     79 |  2.777 % |
0.27/0.99	c |      4159 |    3746    59355   173833 |    19909     4146     78 |  2.777 % |
0.97/1.04	c |      4319 |    3746    59355   173833 |    19909     4306     77 |  2.777 % |
0.97/1.07	c |      4497 |    3746    59355   173833 |    19909     4484     77 |  2.777 % |
0.97/1.10	c |      4690 |    3745    59355   173833 |    19909     4676     79 |  2.803 % |
1.07/1.12	c |      4790 |    3745    59355   173833 |    19909     4776     79 |  2.803 % |
1.07/1.14	c |      4903 |    3745    59355   173833 |    19909     4889     80 |  2.803 % |
1.07/1.16	c |      5024 |    3745    59355   173833 |    19909     5010     79 |  2.803 % |
1.07/1.19	c |      5158 |    3745    59355   173833 |    19909     5144     78 |  2.803 % |
1.17/1.22	c |      5305 |    3745    59355   173833 |    19909     5291     80 |  2.803 % |
1.17/1.24	c |      5465 |    3745    59355   173833 |    19909     5451     80 |  2.803 % |
1.17/1.28	c |      5641 |    3744    59355   173833 |    19909     5626     80 |  3.192 % |
1.27/1.31	c |      5834 |    3744    59355   173833 |    19909     5819     80 |  3.192 % |
1.27/1.35	c |      6046 |    3744    59355   173833 |    19909     6031     81 |  3.192 % |
1.27/1.38	c |      6146 |    3730    59296   173715 |    19909     6130     81 |  3.192 % |
1.37/1.40	c |      6256 |    3730    59296   173715 |    19909     6240     81 |  3.193 % |
1.37/1.42	c |      6377 |    3730    59296   173715 |    19909     6361     81 |  3.192 % |
1.37/1.46	c |      6511 |    3730    59296   173715 |    19909     6495     82 |  3.192 % |
1.37/1.49	c |      6657 |    3730    59296   173715 |    19909     6641     82 |  3.192 % |
1.47/1.52	c |      6817 |    3730    59296   173715 |    19909     6801     83 |  3.193 % |
1.47/1.54	c |      6993 |    3730    59296   173715 |    19909     6977     85 |  3.192 % |
1.47/1.57	c |      7186 |    3730    59296   173715 |    19909     7170     85 |  3.192 % |
1.57/1.62	c |      7400 |    3730    59296   173715 |    19909     7384     85 |  3.192 % |
1.57/1.68	c |      7633 |    3730    59296   173715 |    19909     7617     84 |  3.193 % |
1.67/1.71	c |      7733 |    3730    59296   173715 |    19909     7717     84 |  3.193 % |
1.67/1.75	c |      7843 |    3730    59296   173715 |    19909     7827     83 |  3.192 % |
1.67/1.78	c |      7965 |    3730    59296   173715 |    19909     7949     84 |  3.192 % |
1.76/1.80	c |      8098 |    3730    59296   173715 |    19909     8082     84 |  3.192 % |
1.76/1.84	c |      8244 |    3730    59296   173715 |    19909     8228     84 |  3.192 % |
1.76/1.88	c |      8405 |    3730    59296   173715 |    19909     8389     83 |  3.192 % |
1.86/1.92	c |      8581 |    3730    59296   173715 |    19909     8565     83 |  3.192 % |
1.86/1.95	c |      8775 |    3730    59296   173715 |    19909     8759     85 |  3.192 % |
1.96/2.01	c |      8987 |    3730    59296   173715 |    19909     8971     85 |  3.192 % |
1.96/2.07	c |      9220 |    3730    59296   173715 |    19909     9204     88 |  3.192 % |
2.07/2.13	c |      9476 |    3730    59296   173715 |    19909     9460     87 |  3.192 % |
2.07/2.16	c |      9576 |    3730    59296   173715 |    19909     9560     87 |  3.192 % |
2.07/2.20	c |      9686 |    3730    59296   173715 |    19909     9670     86 |  3.192 % |
2.17/2.23	c |      9807 |    3730    59296   173715 |    19909     9791     86 |  3.192 % |
2.17/2.28	c |      9940 |    3730    59296   173715 |    19909     9924     85 |  3.192 % |
2.26/2.33	c |     10088 |    3730    59296   173715 | 2147483647    10072     85 |  3.192 % |
2.26/2.36	c |     10248 |    3730    59296   173715 | 2147483647    10232     86 |  3.192 % |
2.26/2.39	c |     10424 |    3730    59296   173715 | 2147483647    10408     87 |  3.192 % |
2.36/2.44	c |     10617 |    3729    59292   173707 | 2147483647    10594     88 |  3.218 % |
2.36/2.49	c |     10829 |    3729    59292   173707 | 2147483647    10806     88 |  3.218 % |
2.46/2.54	c |     11065 |    3729    59292   173707 | 2147483647    11042     88 |  3.218 % |
2.56/2.62	c |     11321 |    3729    59292   173707 | 2147483647    11298     87 |  3.218 % |
2.66/2.70	c |     11602 |    3729    59292   173707 | 2147483647    11579     87 |  3.218 % |
2.66/2.73	c |     11702 |    3729    59292   173707 | 2147483647    11679     87 |  3.218 % |
2.66/2.77	c |     11814 |    3729    59292   173707 | 2147483647    11791     86 |  3.218 % |
2.66/2.79	c |     11936 |    3729    59292   173707 | 2147483647    11913     87 |  3.218 % |
2.76/2.83	c |     12072 |    3729    59292   173707 | 2147483647    12049     86 |  3.218 % |
2.76/2.87	c |     12219 |    3729    59292   173707 | 2147483647    12196     86 |  3.218 % |
2.86/2.93	c |     12379 |    3729    59292   173707 | 2147483647    12356     86 |  3.218 % |
2.86/2.97	c |     12555 |    3729    59292   173707 | 2147483647    12532     86 |  3.218 % |
2.96/3.01	c |     12752 |    3729    59292   173707 | 2147483647    12729     87 |  3.218 % |
2.96/3.06	c |     12966 |    3729    59292   173707 | 2147483647    12943     86 |  3.218 % |
3.06/3.11	c |     13199 |    3729    59292   173707 | 2147483647    13176     87 |  3.219 % |
3.06/3.17	c |     13458 |    3729    59292   173707 | 2147483647    13435     87 |  3.218 % |
3.16/3.23	c |     13739 |    3729    59292   173707 | 2147483647    13716     87 |  3.218 % |
3.26/3.31	c |     14048 |    3729    59292   173707 | 2147483647    14025     87 |  3.218 % |
3.26/3.34	c |     14148 |    3729    59292   173707 | 2147483647    14125     87 |  3.218 % |
3.26/3.38	c |     14258 |    3729    59292   173707 | 2147483647    14235     86 |  3.218 % |
3.36/3.41	c |     14379 |    3729    59292   173707 | 2147483647    14356     87 |  3.218 % |
3.36/3.45	c |     14512 |    3729    59292   173707 | 2147483647    14489     87 |  3.218 % |
3.36/3.49	c |     14658 |    3729    59292   173707 | 2147483647    14635     86 |  3.218 % |
3.46/3.55	c |     14818 |    3729    59292   173707 | 2147483647    14795     86 |  3.218 % |
3.56/3.60	c |     14994 |    3729    59292   173707 | 2147483647    14971     86 |  3.218 % |
3.56/3.65	c |     15187 |    3729    59292   173707 | 2147483647    15164     86 |  3.219 % |
3.66/3.72	c |     15399 |    3729    59292   173707 | 2147483647    15376     86 |  3.218 % |
3.66/3.80	c |     15632 |    3729    59292   173707 | 2147483647    15609     86 |  3.218 % |
3.76/3.87	c |     15888 |    3729    59292   173707 | 2147483647    15865     85 |  3.218 % |
3.86/3.94	c |     16170 |    3729    59292   173707 | 2147483647    16147     87 |  3.218 % |
3.97/4.03	c |     16479 |    3729    59292   173707 | 2147483647    16456     86 |  3.218 % |
4.07/4.16	c |     16819 |    3729    59292   173707 | 2147483647    16796     86 |  3.218 % |
4.07/4.19	c |     16920 |    3729    59292   173707 | 2147483647    16897     86 |  3.218 % |
4.17/4.23	c |     17030 |    3729    59292   173707 | 2147483647    17007     86 |  3.218 % |
4.17/4.27	c |     17152 |    3729    59292   173707 | 2147483647    17129     86 |  3.218 % |
4.27/4.33	c |     17285 |    3729    59292   173707 | 2147483647    17262     86 |  3.218 % |
4.27/4.39	c |     17431 |    3729    59292   173707 | 2147483647    17408     86 |  3.218 % |
4.37/4.45	c |     17591 |    3729    59292   173707 | 2147483647    17568     86 |  3.218 % |
4.47/4.50	c |     17767 |    3729    59292   173707 | 2147483647    17744     86 |  3.218 % |
4.47/4.56	c |     17962 |    3729    59292   173707 | 2147483647    17939     86 |  3.218 % |
4.56/4.62	c |     18175 |    3729    59292   173707 | 2147483647    18152     86 |  3.218 % |
4.56/4.68	c |     18408 |    3729    59292   173707 | 2147483647    18385     86 |  3.218 % |
4.66/4.76	c |     18664 |    3729    59292   173707 | 2147483647    18641     86 |  3.218 % |
4.76/4.87	c |     18946 |    3729    59292   173707 | 2147483647    18923     86 |  3.218 % |
4.86/4.98	c |     19256 |    3729    59292   173707 | 2147483647    19233     86 |  3.218 % |
4.96/5.07	c |     19595 |    3729    59292   173707 | 2147483647    19572     87 |  3.218 % |
5.16/5.21	c |     19967 |    3729    59292   173707 | 2147483647    19944     86 |  3.218 % |
5.16/5.24	c |     20067 |    3729    59292   173707 | 2147483647    20044     86 |  3.218 % |
5.16/5.29	c |     20178 |    3729    59292   173707 | 2147483647    20155     86 |  3.218 % |
5.26/5.33	c |     20299 |    3729    59292   173707 | 2147483647    20276     86 |  3.218 % |
5.26/5.39	c |     20432 |    3729    59292   173707 | 2147483647    20409     86 |  3.218 % |
5.37/5.45	c |     20578 |    3729    59292   173707 | 2147483647    20555     86 |  3.218 % |
5.47/5.51	c |     20738 |    3729    59292   173707 | 2147483647    20715     86 |  3.218 % |
5.47/5.57	c |     20914 |    3729    59292   173707 | 2147483647    20891     86 |  3.218 % |
5.56/5.61	c |     21107 |    3729    59292   173707 | 2147483647    21084     87 |  3.218 % |
5.56/5.69	c |     21320 |    3729    59292   173707 | 2147483647    21297     87 |  3.218 % |
5.66/5.76	c |     21553 |    3729    59292   173707 | 2147483647    21530     87 |  3.218 % |
5.76/5.83	c |     21809 |    3729    59292   173707 | 2147483647    21786     88 |  3.218 % |
5.86/5.94	c |     22090 |    3729    59292   173707 | 2147483647    22067     88 |  3.218 % |
5.96/6.06	c |     22400 |    3729    59292   173707 | 2147483647    22377     88 |  3.218 % |
6.06/6.20	c |     22739 |    3729    59292   173707 | 2147483647    22716     88 |  3.218 % |
6.26/6.33	c |     23111 |    3729    59292   173707 | 2147483647    23088     88 |  3.218 % |
6.36/6.50	c |     23520 |    3729    59292   173707 | 2147483647    23497     88 |  3.218 % |
6.47/6.54	c |     23620 |    3729    59292   173707 | 2147483647    23597     87 |  3.218 % |
6.47/6.58	c |     23730 |    3729    59292   173707 | 2147483647    23707     87 |  3.218 % |
6.57/6.61	c |     23851 |    3729    59292   173707 | 2147483647    23828     87 |  3.218 % |
6.57/6.67	c |     23984 |    3729    59292   173707 | 2147483647    23961     87 |  3.218 % |
6.67/6.72	c |     24131 |    3729    59292   173707 | 2147483647    24108     87 |  3.218 % |
6.67/6.73	c |     24291 |    3729    59292   173707 | 2147483647    24268     87 |  3.218 % |
6.77/6.81	c |     24467 |    3729    59292   173707 | 2147483647    24444     87 |  3.218 % |
6.77/6.87	c |     24662 |    3729    59292   173707 | 2147483647    24639     87 |  3.218 % |
6.87/6.93	c |     24874 |    3729    59292   173707 | 2147483647    24851     87 |  3.218 % |
6.97/7.02	c |     25109 |    3729    59292   173707 | 2147483647    25086     87 |  3.218 % |
7.06/7.12	c |     25365 |    3729    59292   173707 | 2147483647    25342     88 |  3.218 % |
7.06/7.19	c |     25646 |    3729    59292   173707 | 2147483647    25623     88 |  3.218 % |
7.26/7.32	c |     25955 |    3729    59292   173707 | 2147483647    25932     88 |  3.218 % |
7.36/7.43	c |     26294 |    3729    59292   173707 | 2147483647    26271     88 |  3.218 % |
7.46/7.57	c |     26668 |    3729    59292   173707 | 2147483647    26645     88 |  3.218 % |
7.67/7.73	c |     27077 |    3729    59292   173707 | 2147483647    27054     88 |  3.218 % |
7.86/7.90	c |     27526 |    3729    59292   173707 | 2147483647    27503     89 |  3.218 % |
7.86/7.95	c |     27626 |    3729    59292   173707 | 2147483647    27603     89 |  3.218 % |
7.86/7.99	c |     27737 |    3729    59292   173707 | 2147483647    27714     89 |  3.218 % |
7.96/8.04	c |     27858 |    3729    59292   173707 | 2147483647    27835     89 |  3.218 % |
7.96/8.09	c |     27991 |    3729    59292   173707 | 2147483647    27968     89 |  3.218 % |
8.06/8.16	c |     28137 |    3729    59292   173707 | 2147483647    28114     89 |  3.218 % |
8.16/8.22	c |     28297 |    3729    59292   173707 | 2147483647    28274     89 |  3.218 % |
8.16/8.26	c |     28473 |    3729    59292   173707 | 2147483647    28450     89 |  3.218 % |
8.26/8.34	c |     28666 |    3729    59292   173707 | 2147483647    28643     88 |  3.218 % |
8.36/8.42	c |     28878 |    3729    59292   173707 | 2147483647    28855     88 |  3.218 % |
8.46/8.52	c |     29112 |    3729    59292   173707 | 2147483647    29089     88 |  3.218 % |
8.46/8.57	c |     29369 |    3729    59292   173707 | 2147483647    29346     89 |  3.218 % |
8.56/8.68	c |     29650 |    3729    59292   173707 | 2147483647    29627     90 |  3.218 % |
8.77/8.83	c |     29959 |    3729    59292   173707 | 2147483647    29936     90 |  3.218 % |
8.86/8.98	c |     30298 |    3729    59292   173707 | 2147483647    30275     89 |  3.219 % |
9.06/9.14	c |     30670 |    3729    59292   173707 | 2147483647    30647     89 |  3.218 % |
9.26/9.33	c |     31079 |    3729    59292   173707 | 2147483647    31056     89 |  3.218 % |
9.46/9.51	c |     31528 |    3729    59292   173707 | 2147483647    31505     90 |  3.218 % |
9.66/9.76	c |     32021 |    3729    59292   173707 | 2147483647    31998     90 |  3.218 % |
9.66/9.80	c |     32122 |    3729    59292   173707 | 2147483647    32099     90 |  3.218 % |
9.76/9.87	c |     32232 |    3729    59292   173707 | 2147483647    32209     90 |  3.218 % |
9.86/9.94	c |     32353 |    3729    59292   173707 | 2147483647    32330     90 |  3.218 % |
9.96/10.01	c |     32486 |    3729    59292   173707 | 2147483647    32463     90 |  3.218 % |
9.96/10.07	c |     32632 |    3729    59292   173707 | 2147483647    32609     90 |  3.218 % |
10.06/10.14	c |     32793 |    3729    59292   173707 | 2147483647    32770     90 |  3.218 % |
10.16/10.25	c |     32969 |    3729    59292   173707 | 2147483647    32946     90 |  3.218 % |
10.26/10.35	c |     33162 |    3729    59292   173707 | 2147483647    33139     90 |  3.218 % |
10.36/10.44	c |     33374 |    3729    59292   173707 | 2147483647    33351     90 |  3.218 % |
10.46/10.55	c |     33608 |    3729    59292   173707 | 2147483647    33585     90 |  3.218 % |
10.56/10.67	c |     33864 |    3729    59292   173707 | 2147483647    33841     90 |  3.218 % |
10.76/10.82	c |     34145 |    3729    59292   173707 | 2147483647    34122     90 |  3.218 % |
10.86/10.97	c |     34459 |    3729    59292   173707 | 2147483647    34436     90 |  3.218 % |
11.06/11.17	c |     34798 |    3729    59292   173707 | 2147483647    34775     90 |  3.218 % |
11.26/11.31	c |     35170 |    3729    59292   173707 | 2147483647    35147     90 |  3.218 % |
11.37/11.48	c |     35581 |    3729    59292   173707 | 2147483647    35558     91 |  3.218 % |
11.56/11.65	c |     36032 |    3729    59292   173707 | 2147483647    36009     91 |  3.218 % |
11.66/11.79	c |     36525 |    3729    59292   173707 | 2147483647    36502     91 |  3.218 % |
11.86/11.97	c |     37068 |    3729    59292   173707 | 2147483647    37045     91 |  3.218 % |
11.97/12.01	c |     37168 |    3729    59292   173707 | 2147483647    37145     91 |  3.218 % |
11.97/12.05	c |     37278 |    3729    59292   173707 | 2147483647    37255     91 |  3.218 % |
11.97/12.10	c |     37399 |    3729    59292   173707 | 2147483647    37376     91 |  3.218 % |
12.07/12.13	c |     37534 |    3729    59292   173707 | 2147483647    37511     91 |  3.218 % |
12.07/12.19	c |     37681 |    3729    59292   173707 | 2147483647    37658     91 |  3.218 % |
12.16/12.22	c |     37843 |    3729    59292   173707 | 2147483647    37820     91 |  3.218 % |
12.26/12.33	c |     38020 |    3729    59292   173707 | 2147483647    37997     91 |  3.218 % |
12.26/12.35	c |     38216 |    3729    59292   173707 | 2147483647    38193     91 |  3.218 % |
12.36/12.48	c |     38429 |    3729    59292   173707 | 2147483647    38406     91 |  3.218 % |
12.56/12.62	c |     38662 |    3729    59292   173707 | 2147483647    38639     91 |  3.218 % |
12.66/12.78	c |     38918 |    3729    59292   173707 | 2147483647    38895     91 |  3.218 % |
12.86/12.95	c |     39199 |    3729    59292   173707 | 2147483647    39176     91 |  3.218 % |
13.07/13.12	c |     39508 |    3729    59292   173707 | 2147483647    39485     91 |  3.218 % |
13.26/13.31	c |     39847 |    3729    59292   173707 | 2147483647    39824     91 |  3.218 % |
13.36/13.49	c |     40219 |    3729    59292   173707 | 2147483647    40196     91 |  3.218 % |
13.66/13.76	c |     40628 |    3729    59292   173707 | 2147483647    40605     91 |  3.218 % |
13.86/13.99	c |     41077 |    3729    59292   173707 | 2147483647    41054     91 |  3.218 % |
14.16/14.25	c |     41570 |    3729    59292   173707 | 2147483647    41547     92 |  3.218 % |
14.46/14.52	c |     42112 |    3729    59292   173707 | 2147483647    42089     92 |  3.218 % |
14.76/14.86	c |     42708 |    3729    59292   173707 | 2147483647    42685     93 |  3.218 % |
14.86/14.90	c |     42811 |    3729    59292   173707 | 2147483647    42788     93 |  3.218 % |
14.86/14.91	c |     42921 |    3729    59292   173707 | 2147483647    42898     93 |  3.218 % |
14.86/14.99	c |     43042 |    3729    59292   173707 | 2147483647    43019     92 |  3.218 % |
14.96/15.04	c |     43176 |    3729    59292   173707 | 2147483647    43153     92 |  3.218 % |
14.96/15.06	c |     43323 |    3729    59292   173707 | 2147483647    43300     92 |  3.218 % |
15.06/15.10	c |     43484 |    3729    59292   173707 | 2147483647    43461     92 |  3.218 % |
15.06/15.14	c |     43660 |    3729    59292   173707 | 2147483647    43637     92 |  3.218 % |
15.16/15.23	c |     43854 |    3729    59292   173707 | 2147483647    43831     92 |  3.218 % |
15.26/15.34	c |     44066 |    3729    59292   173707 | 2147483647    44043     92 |  3.218 % |
15.36/15.48	c |     44299 |    3729    59292   173707 | 2147483647    44276     92 |  3.218 % |
15.56/15.64	c |     44556 |    3729    59292   173707 | 2147483647    44533     92 |  3.218 % |
15.66/15.79	c |     44837 |    3729    59292   173707 | 2147483647    44814     92 |  3.218 % |
15.96/16.01	c |     45146 |    3729    59292   173707 | 2147483647    45123     92 |  3.218 % |
16.16/16.24	c |     45485 |    3729    59292   173707 | 2147483647    45462     92 |  3.218 % |
16.37/16.45	c |     45858 |    3729    59292   173707 | 2147483647    45835     93 |  3.218 % |
16.47/16.59	c |     46267 |    3729    59292   173707 | 2147483647    46244     94 |  3.218 % |
16.66/16.72	c |     46716 |    3729    59292   173707 | 2147483647    46693     94 |  3.218 % |
16.76/16.87	c |     47209 |    3729    59292   173707 | 2147483647    47186     94 |  3.218 % |
17.06/17.14	c |     47751 |    3729    59292   173707 | 2147483647    47728     94 |  3.218 % |
17.57/17.64	c |     48347 |    3729    59292   173707 | 2147483647    48324     94 |  3.218 % |
17.86/17.96	c |     49002 |    3729    59292   173707 | 2147483647    48979     95 |  3.219 % |
17.96/18.05	c |     49103 |    3729    59292   173707 | 2147483647    49080     95 |  3.218 % |
18.06/18.13	c |     49213 |    3729    59292   173707 | 2147483647    49190     95 |  3.218 % |
18.06/18.19	c |     49334 |    3729    59292   173707 | 2147483647    49311     95 |  3.218 % |
18.16/18.28	c |     49467 |    3729    59292   173707 | 2147483647    49444     95 |  3.218 % |
18.26/18.38	c |     49617 |    3729    59292   173707 | 2147483647    49594     95 |  3.218 % |
18.36/18.48	c |     49777 |    3729    59292   173707 | 2147483647    49754     95 |  3.218 % |
18.46/18.58	c |     49954 |    3729    59292   173707 | 2147483647    49931     95 |  3.218 % |
18.56/18.64	c |     50147 |    3729    59292   173707 | 2147483647    50124     95 |  3.218 % |
18.66/18.77	c |     50360 |    3729    59292   173707 | 2147483647    50337     95 |  3.218 % |
18.76/18.87	c |     50593 |    3729    59292   173707 | 2147483647    50570     95 |  3.218 % |
18.86/18.93	c |     50850 |    3729    59292   173707 | 2147483647    50827     95 |  3.218 % |
18.96/19.05	c |     51132 |    3729    59292   173707 | 2147483647    51109     95 |  3.218 % |
19.16/19.25	c |     51441 |    3729    59292   173707 | 2147483647    51418     95 |  3.218 % |
19.36/19.45	c |     51782 |    3729    59292   173707 | 2147483647    51759     95 |  3.218 % |
19.36/19.49	c |     52155 |    3729    59292   173707 | 2147483647    52132     95 |  3.218 % |
19.56/19.67	c |     52564 |    3729    59292   173707 | 2147483647    52541     95 |  3.218 % |
19.86/19.93	c |     53015 |    3729    59292   173707 | 2147483647    52992     95 |  3.218 % |
20.16/20.21	c |     53508 |    3729    59292   173707 | 2147483647    53485     95 |  3.218 % |
20.56/20.63	c |     54050 |    3729    59292   173707 | 2147483647    54027     95 |  3.218 % |
20.86/20.91	c |     54647 |    3729    59292   173707 | 2147483647    54624     95 |  3.218 % |
21.16/21.25	c |     55303 |    3729    59292   173707 | 2147483647    55280     95 |  3.218 % |
21.66/21.72	c |     56023 |    3729    59292   173707 | 2147483647    56000     95 |  3.218 % |
21.66/21.78	c |     56123 |    3729    59292   173707 | 2147483647    56100     95 |  3.218 % |
21.76/21.86	c |     56233 |    3729    59292   173707 | 2147483647    56210     95 |  3.218 % |
21.86/21.94	c |     56354 |    3729    59292   173707 | 2147483647    56331     95 |  3.218 % |
21.96/22.04	c |     56487 |    3729    59292   173707 | 2147483647    56464     95 |  3.218 % |
22.06/22.13	c |     56633 |    3729    59292   173707 | 2147483647    56610     95 |  3.218 % |
22.16/22.24	c |     56793 |    3729    59292   173707 | 2147483647    56770     95 |  3.218 % |
22.26/22.31	c |     56969 |    3729    59292   173707 | 2147483647    56946     95 |  3.218 % |
22.36/22.42	c |     57162 |    3729    59292   173707 | 2147483647    57139     95 |  3.218 % |
22.56/22.60	c |     57374 |    3729    59292   173707 | 2147483647    57351     95 |  3.218 % |
22.66/22.79	c |     57607 |    3729    59292   173707 | 2147483647    57584     95 |  3.218 % |
22.96/23.01	c |     57863 |    3729    59292   173707 | 2147483647    57840     95 |  3.218 % |
23.16/23.24	c |     58145 |    3729    59292   173707 | 2147483647    58122     95 |  3.218 % |
23.36/23.49	c |     58454 |    3729    59292   173707 | 2147483647    58431     95 |  3.218 % |
23.66/23.75	c |     58793 |    3729    59292   173707 | 2147483647    58770     95 |  3.218 % |
23.96/24.00	c |     59166 |    3729    59292   173707 | 2147483647    59143     95 |  3.218 % |
24.26/24.34	c |     59575 |    3729    59292   173707 | 2147483647    59552     95 |  3.218 % |
24.56/24.65	c |     60024 |    3729    59292   173707 | 2147483647    60001     95 |  3.218 % |
24.95/25.03	c |     60519 |    3729    59292   173707 | 2147483647    60496     95 |  3.218 % |
25.35/25.42	c |     61061 |    3729    59292   173707 | 2147483647    61038     95 |  3.218 % |
25.65/25.79	c |     61659 |    3729    59292   173707 | 2147483647    61636     96 |  3.218 % |
26.26/26.35	c |     62316 |    3729    59292   173707 | 2147483647    62293     96 |  3.218 % |
26.85/26.93	c |     63037 |    3729    59292   173707 | 2147483647    63014     96 |  3.218 % |
27.55/27.60	c |     63829 |    3729    59292   173707 | 2147483647    63806     96 |  3.218 % |
27.55/27.69	c |     63930 |    3729    59292   173707 | 2147483647    63907     96 |  3.218 % |
27.65/27.77	c |     64040 |    3729    59292   173707 | 2147483647    64017     96 |  3.218 % |
27.75/27.87	c |     64162 |    3729    59292   173707 | 2147483647    64139     96 |  3.218 % |
27.85/27.99	c |     64295 |    3729    59292   173707 | 2147483647    64272     96 |  3.219 % |
28.06/28.12	c |     64441 |    3729    59292   173707 | 2147483647    64418     96 |  3.218 % |
28.16/28.27	c |     64601 |    3729    59292   173707 | 2147483647    64578     96 |  3.218 % |
28.26/28.39	c |     64777 |    3729    59292   173707 | 2147483647    64754     97 |  3.218 % |
28.46/28.51	c |     64970 |    3729    59292   173707 | 2147483647    64947     97 |  3.218 % |
28.56/28.65	c |     65182 |    3729    59292   173707 | 2147483647    65159     97 |  3.218 % |
28.76/28.83	c |     65415 |    3729    59292   173707 | 2147483647    65392     97 |  3.218 % |
28.96/29.05	c |     65671 |    3729    59292   173707 | 2147483647    65648     97 |  3.218 % |
29.26/29.30	c |     65952 |    3729    59292   173707 | 2147483647    65929     97 |  3.218 % |
29.46/29.55	c |     66261 |    3729    59292   173707 | 2147483647    66238     97 |  3.218 % |
29.66/29.78	c |     66601 |    3729    59292   173707 | 2147483647    66578     97 |  3.218 % |
30.06/30.12	c |     66974 |    3729    59292   173707 | 2147483647    66951     97 |  3.218 % |
30.35/30.40	c |     67385 |    3729    59292   173707 | 2147483647    67362     97 |  3.218 % |
30.66/30.75	c |     67834 |    3729    59292   173707 | 2147483647    67811     97 |  3.218 % |
30.95/31.06	c |     68327 |    3729    59292   173707 | 2147483647    68304     98 |  3.218 % |
31.45/31.53	c |     68869 |    3729    59292   173707 | 2147483647    68846     98 |  3.218 % |
31.95/32.02	c |     69465 |    3729    59292   173707 | 2147483647    69442     98 |  3.218 % |
32.45/32.56	c |     70120 |    3729    59292   173707 | 2147483647    70097     99 |  3.218 % |
32.95/33.10	c |     70840 |    3729    59292   173707 | 2147483647    70817     99 |  3.218 % |
33.65/33.71	c |     71633 |    3729    59292   173707 | 2147483647    71610     99 |  3.218 % |
34.25/34.31	c |     72504 |    3729    59292   173707 | 2147483647    72481    100 |  3.218 % |
34.35/34.40	c |     72610 |    3729    59292   173707 | 2147483647    72587    100 |  3.218 % |
34.35/34.45	c |     72722 |    3729    59292   173707 | 2147483647    72699    100 |  3.218 % |
34.45/34.55	c |     72843 |    3729    59292   173707 | 2147483647    72820    100 |  3.218 % |
34.55/34.70	c |     72976 |    3729    59292   173707 | 2147483647    72953    100 |  3.218 % |
34.75/34.84	c |     73122 |    3729    59292   173707 | 2147483647    73099    100 |  3.218 % |
34.85/34.99	c |     73282 |    3729    59292   173707 | 2147483647    73259    100 |  3.218 % |
35.05/35.17	c |     73458 |    3729    59292   173707 | 2147483647    73435    100 |  3.218 % |
35.25/35.34	c |     73652 |    3729    59292   173707 | 2147483647    73629    100 |  3.218 % |
35.45/35.53	c |     73864 |    3729    59292   173707 | 2147483647    73841    100 |  3.218 % |
35.65/35.73	c |     74097 |    3729    59292   173707 | 2147483647    74074    100 |  3.218 % |
35.85/35.94	c |     74356 |    3729    59292   173707 | 2147483647    74333    101 |  3.218 % |
36.15/36.21	c |     74637 |    3729    59292   173707 | 2147483647    74614    100 |  3.218 % |
36.35/36.40	c |     74946 |    3729    59292   173707 | 2147483647    74923    101 |  3.218 % |
36.55/36.65	c |     75285 |    3729    59292   173707 | 2147483647    75262    101 |  3.218 % |
36.85/36.99	c |     75657 |    3729    59292   173707 | 2147483647    75634    101 |  3.218 % |
37.15/37.29	c |     76069 |    3729    59292   173707 | 2147483647    76046    101 |  3.218 % |
37.65/37.71	c |     76518 |    3729    59292   173707 | 2147483647    76495    101 |  3.218 % |
38.05/38.16	c |     77012 |    3729    59292   173707 | 2147483647    76989    102 |  3.218 % |
38.55/38.67	c |     77554 |    3729    59292   173707 | 2147483647    77531    102 |  3.218 % |
39.05/39.17	c |     78152 |    3729    59292   173707 | 2147483647    78129    102 |  3.218 % |
39.65/39.77	c |     78807 |    3729    59292   173707 | 2147483647    78784    102 |  3.218 % |
40.35/40.44	c |     79527 |    3729    59292   173707 | 2147483647    79504    102 |  3.218 % |
41.15/41.28	c |     80319 |    3729    59292   173707 | 2147483647    80296    102 |  3.218 % |
42.15/42.21	c |     81190 |    3729    59292   173707 | 2147483647    81167    102 |  3.218 % |
42.95/43.07	c |     82148 |    3729    59292   173707 | 2147483647    82125    102 |  3.218 % |
43.05/43.18	c |     82248 |    3729    59292   173707 | 2147483647    82225    102 |  3.218 % |
43.15/43.25	c |     82358 |    3729    59292   173707 | 2147483647    82335    102 |  3.218 % |
43.25/43.38	c |     82481 |    3729    59292   173707 | 2147483647    82458    102 |  3.218 % |
43.45/43.59	c |     82614 |    3729    59292   173707 | 2147483647    82591    102 |  3.218 % |
43.65/43.79	c |     82760 |    3729    59292   173707 | 2147483647    82737    102 |  3.218 % |
43.85/43.98	c |     82922 |    3729    59292   173707 | 2147483647    82899    102 |  3.218 % |
44.05/44.17	c |     83099 |    3729    59292   173707 | 2147483647    83076    102 |  3.218 % |
44.25/44.33	c |     83292 |    3729    59292   173707 | 2147483647    83269    102 |  3.218 % |
44.45/44.53	c |     83505 |    3729    59292   173707 | 2147483647    83482    103 |  3.218 % |
44.65/44.77	c |     83739 |    3729    59292   173707 | 2147483647    83716    103 |  3.218 % |
44.95/45.03	c |     83995 |    3729    59292   173707 | 2147483647    83972    103 |  3.218 % |
45.35/45.42	c |     84276 |    3729    59292   173707 | 2147483647    84253    103 |  3.218 % |
45.65/45.72	c |     84585 |    3729    59292   173707 | 2147483647    84562    103 |  3.218 % |
45.95/46.03	c |     84925 |    3729    59292   173707 | 2147483647    84902    103 |  3.218 % |
45.95/46.08	c |     85299 |    3729    59292   173707 | 2147483647    85276    103 |  3.218 % |
46.35/46.48	c |     85708 |    3729    59292   173707 | 2147483647    85685    103 |  3.218 % |
46.84/46.91	c |     86158 |    3729    59292   173707 | 2147483647    86135    103 |  3.218 % |
47.34/47.42	c |     86651 |    3729    59292   173707 | 2147483647    86628    103 |  3.218 % |
47.85/47.98	c |     87193 |    3729    59292   173707 | 2147483647    87170    103 |  3.218 % |
48.55/48.66	c |     87791 |    3729    59292   173707 | 2147483647    87768    103 |  3.218 % |
49.25/49.37	c |     88446 |    3729    59292   173707 | 2147483647    88423    103 |  3.218 % |
49.95/50.07	c |     89166 |    3729    59292   173707 | 2147483647    89143    104 |  3.218 % |
50.74/50.85	c |     89958 |    3729    59292   173707 | 2147483647    89935    104 |  3.218 % |
51.66/51.72	c |     90829 |    3729    59292   173707 | 2147483647    90806    104 |  3.218 % |
52.55/52.64	c |     91787 |    3729    59292   173707 | 2147483647    91764    105 |  3.218 % |
53.75/53.87	c |     92840 |    3729    59292   173707 | 2147483647    92817    105 |  3.218 % |
53.85/53.99	c |     92941 |    3729    59292   173707 | 2147483647    92918    105 |  3.218 % |
53.95/54.09	c |     93051 |    3729    59292   173707 | 2147483647    93028    105 |  3.218 % |
54.15/54.21	c |     93173 |    3729    59292   173707 | 2147483647    93150    105 |  3.218 % |
54.35/54.40	c |     93307 |    3729    59292   173707 | 2147483647    93284    105 |  3.218 % |
54.45/54.59	c |     93453 |    3729    59292   173707 | 2147483647    93430    105 |  3.218 % |
54.75/54.81	c |     93613 |    3729    59292   173707 | 2147483647    93590    105 |  3.218 % |
54.95/55.02	c |     93789 |    3729    59292   173707 | 2147483647    93766    105 |  3.219 % |
54.95/55.09	c |     93983 |    3729    59292   173707 | 2147483647    93960    105 |  3.218 % |
55.25/55.32	c |     94195 |    3729    59292   173707 | 2147483647    94172    105 |  3.218 % |
55.65/55.71	c |     94428 |    3729    59292   173707 | 2147483647    94405    105 |  3.218 % |
55.95/56.06	c |     94685 |    3729    59292   173707 | 2147483647    94662    105 |  3.218 % |
56.25/56.39	c |     94966 |    3729    59292   173707 | 2147483647    94943    105 |  3.218 % |
56.65/56.70	c |     95279 |    3729    59292   173707 | 2147483647    95256    105 |  3.218 % |
57.05/57.13	c |     95619 |    3729    59292   173707 | 2147483647    95596    105 |  3.218 % |
57.45/57.59	c |     95991 |    3729    59292   173707 | 2147483647    95968    105 |  3.218 % |
57.94/58.01	c |     96402 |    3729    59292   173707 | 2147483647    96379    105 |  3.218 % |
58.34/58.48	c |     96851 |    3729    59292   173707 | 2147483647    96828    106 |  3.218 % |
59.04/59.12	c |     97347 |    3729    59292   173707 | 2147483647    97324    106 |  3.219 % |
59.45/59.60	c |     97889 |    3729    59292   173707 | 2147483647    97866    106 |  3.218 % |
60.15/60.20	c |     98489 |    3729    59292   173707 | 2147483647    98466    107 |  3.218 % |
60.75/60.83	c |     99144 |    3729    59292   173707 | 2147483647    99121    107 |  3.218 % |
61.55/61.69	c |     99864 |    3729    59292   173707 | 2147483647    99841    107 |  3.218 % |
62.65/62.70	c |    100657 |    3729    59292   173707 | 2147483647   100634    107 |  3.218 % |
63.54/63.61	c |    101528 |    3729    59292   173707 | 2147483647   101505    108 |  3.218 % |
64.75/64.90	c |    102486 |    3729    59292   173707 | 2147483647   102463    108 |  3.218 % |
66.05/66.12	c |    103539 |    3729    59292   173707 | 2147483647   103516    108 |  3.219 % |
67.54/67.62	c |    104697 |    3729    59292   173707 | 2147483647   104674    108 |  3.218 % |
67.54/67.69	c |    104797 |    3729    59292   173707 | 2147483647   104774    108 |  3.218 % |
67.74/67.82	c |    104907 |    3729    59292   173707 | 2147483647   104884    108 |  3.218 % |
67.84/67.95	c |    105029 |    3729    59292   173707 | 2147483647   105006    108 |  3.218 % |
67.94/68.10	c |    105165 |    3729    59292   173707 | 2147483647   105142    108 |  3.218 % |
68.15/68.20	c |    105311 |    3729    59292   173707 | 2147483647   105288    108 |  3.218 % |
68.24/68.39	c |    105471 |    3729    59292   173707 | 2147483647   105448    108 |  3.218 % |
68.64/68.70	c |    105647 |    3729    59292   173707 | 2147483647   105624    108 |  3.218 % |
68.84/68.97	c |    105842 |    3729    59292   173707 | 2147483647   105819    108 |  3.218 % |
69.04/69.17	c |    106054 |    3729    59292   173707 | 2147483647   106031    108 |  3.218 % |
69.34/69.46	c |    106287 |    3729    59292   173707 | 2147483647   106264    108 |  3.218 % |
69.74/69.81	c |    106544 |    3729    59292   173707 | 2147483647   106521    108 |  3.219 % |
70.04/70.18	c |    106828 |    3729    59292   173707 | 2147483647   106805    108 |  3.218 % |
70.44/70.54	c |    107137 |    3729    59292   173707 | 2147483647   107114    108 |  3.218 % |
71.04/71.12	c |    107476 |    3729    59292   173707 | 2147483647   107453    108 |  3.218 % |
71.54/71.69	c |    107848 |    3729    59292   173707 | 2147483647   107825    108 |  3.218 % |
72.14/72.24	c |    108258 |    3729    59292   173707 | 2147483647   108235    108 |  3.218 % |
72.74/72.85	c |    108709 |    3729    59292   173707 | 2147483647   108686    108 |  3.218 % |
73.34/73.45	c |    109203 |    3729    59292   173707 | 2147483647   109180    108 |  3.218 % |
74.04/74.18	c |    109745 |    3729    59292   173707 | 2147483647   109722    108 |  3.218 % |
74.84/74.97	c |    110344 |    3729    59292   173707 |   109978   110321    108 |  3.218 % |
75.75/75.88	c |    110999 |    3729    59292   173707 |   109978    97082    104 |  3.218 % |
76.54/76.66	c |    111722 |    3729    59292   173707 |   109978    97805    105 |  3.218 % |
77.24/77.37	c |    112514 |    3729    59292   173707 |   109978    98597    105 |  3.218 % |
78.24/78.39	c |    113386 |    3729    59292   173707 |   109978    99469    106 |  3.218 % |
79.05/79.17	c |    114344 |    3729    59292   173707 |   109978   100427    107 |  3.218 % |
79.54/79.64	c |    115398 |    3729    59292   173707 |   109978   101481    107 |  3.218 % |
80.74/80.84	c |    116558 |    3729    59292   173707 |   109978   102641    107 |  3.218 % |
82.14/82.27	c |    117831 |    3729    59292   173707 |   109978   103914    108 |  3.218 % |
82.24/82.38	c |    117931 |    3729    59292   173707 |   109978   104014    108 |  3.218 % |
82.44/82.56	c |    118041 |    3729    59292   173707 |   109978   104124    108 |  3.218 % |
82.64/82.77	c |    118163 |    3729    59292   173707 |   109978   104246    108 |  3.218 % |
82.84/82.94	c |    118296 |    3729    59292   173707 |   109978   104379    108 |  3.218 % |
83.04/83.11	c |    118442 |    3729    59292   173707 |   109978   104525    108 |  3.218 % |
83.24/83.38	c |    118604 |    3729    59292   173707 |   109978   104687    108 |  3.218 % |
83.44/83.60	c |    118780 |    3729    59292   173707 |   109978   104863    108 |  3.218 % |
83.74/83.85	c |    118973 |    3729    59292   173707 |   109978   105056    108 |  3.218 % |
83.94/84.08	c |    119185 |    3729    59292   173707 |   109978   105268    108 |  3.218 % |
84.34/84.40	c |    119418 |    3729    59292   173707 |   109978   105501    108 |  3.218 % |
84.64/84.70	c |    119674 |    3729    59292   173707 |   109978   105757    108 |  3.218 % |
84.94/85.09	c |    119955 |    3729    59292   173707 |   109978   106038    108 |  3.218 % |
85.44/85.53	c |    120264 |    3729    59292   173707 | 2147483647   106347    108 |  3.218 % |
85.74/85.81	c |    120603 |    3729    59292   173707 | 2147483647   106686    108 |  3.219 % |
86.14/86.28	c |    120975 |    3729    59292   173707 | 2147483647   107058    108 |  3.218 % |
86.64/86.74	c |    121385 |    3729    59292   173707 | 2147483647   107468    108 |  3.218 % |
87.14/87.25	c |    121834 |    3729    59292   173707 | 2147483647   107917    108 |  3.218 % |
87.74/87.90	c |    122327 |    3729    59292   173707 | 2147483647   108410    108 |  3.218 % |
88.54/88.66	c |    122870 |    3729    59292   173707 | 2147483647   108953    108 |  3.218 % |
89.23/89.36	c |    123466 |    3729    59292   173707 | 2147483647   109549    108 |  3.218 % |
90.04/90.19	c |    124121 |    3729    59292   173707 | 2147483647   110204    109 |  3.218 % |
90.93/91.09	c |    124841 |    3729    59292   173707 | 2147483647   110924    109 |  3.218 % |
92.13/92.23	c |    125633 |    3729    59292   173707 | 2147483647   111716    109 |  3.218 % |
93.43/93.55	c |    126504 |    3729    59292   173707 | 2147483647   112587    109 |  3.219 % |
94.83/94.99	c |    127463 |    3729    59292   173707 | 2147483647   113546    109 |  3.218 % |
96.43/96.55	c |    128516 |    3729    59292   173707 | 2147483647   114599    109 |  3.218 % |
98.03/98.17	c |    129674 |    3729    59292   173707 | 2147483647   115757    110 |  3.218 % |
99.53/99.69	c |    130948 |    3729    59292   173707 |   116083    99987    106 |  3.218 % |
101.14/101.21	c |    132349 |    3729    59292   173707 |   116083   101388    106 |  3.218 % |
101.23/101.34	c |    132451 |    3729    59292   173707 |   116083   101490    106 |  3.218 % |
101.43/101.53	c |    132561 |    3729    59292   173707 |   116083   101600    106 |  3.218 % |
101.63/101.74	c |    132682 |    3729    59292   173707 |   116083   101721    106 |  3.218 % |
101.83/101.90	c |    132817 |    3729    59292   173707 |   116083   101856    106 |  3.218 % |
101.83/101.93	c |    132964 |    3729    59292   173707 |   116083   102003    106 |  3.218 % |
101.83/101.96	c |    133124 |    3729    59292   173707 |   116083   102163    106 |  3.218 % |
101.83/101.99	c |    133301 |    3729    59292   173707 |   116083   102340    106 |  3.218 % |
102.14/102.23	c |    133495 |    3729    59292   173707 |   116083   102534    106 |  3.218 % |
102.43/102.53	c |    133708 |    3729    59292   173707 |   116083   102747    106 |  3.218 % |
102.73/102.83	c |    133945 |    3729    59292   173707 |   116083   102984    106 |  3.218 % |
103.03/103.13	c |    134202 |    3729    59292   173707 |   116083   103241    106 |  3.218 % |
103.33/103.43	c |    134483 |    3729    59292   173707 |   116083   103522    106 |  3.218 % |
103.73/103.83	c |    134793 |    3729    59292   173707 |   116083   103832    106 |  3.218 % |
103.83/103.97	c |    135133 |    3729    59292   173707 |   116083   104172    106 |  3.218 % |
104.43/104.57	c |    135505 |    3729    59292   173707 |   116083   104544    106 |  3.218 % |
104.63/104.74	c |    135914 |    3729    59292   173707 |   116083   104953    106 |  3.218 % |
105.13/105.26	c |    136364 |    3729    59292   173707 |   116083   105403    106 |  3.218 % |
105.73/105.80	c |    136857 |    3729    59292   173707 |   116083   105896    106 |  3.218 % |
106.33/106.46	c |    137399 |    3729    59292   173707 |   116083   106438    106 |  3.218 % |
107.13/107.20	c |    137995 |    3729    59292   173707 |   116083   107034    106 |  3.218 % |
108.03/108.10	c |    138654 |    3729    59292   173707 |   116083   107693    106 |  3.218 % |
108.73/108.89	c |    139374 |    3729    59292   173707 |   116083   108413    106 |  3.218 % |
109.03/109.19	c |    140167 |    3729    59292   173707 |   109039   109206    107 |  3.218 % |
109.83/109.97	c |    141038 |    3729    59292   173707 |   109039    96662    104 |  3.218 % |
110.83/110.96	c |    141999 |    3729    59292   173707 |   109039    97623    104 |  3.218 % |
112.03/112.11	c |    143052 |    3729    59292   173707 |   109039    98676    104 |  3.219 % |
113.13/113.25	c |    144210 |    3729    59292   173707 |   109039    99834    106 |  3.218 % |
114.63/114.80	c |    145484 |    3729    59292   173707 |   109039   101108    107 |  3.218 % |
116.63/116.77	c |    146887 |    3729    59292   173707 |   109039   102511    107 |  3.218 % |
118.43/118.58	c |    148428 |    3729    59292   173707 |   109039   104052    107 |  3.218 % |
118.63/118.75	c |    148528 |    3729    59292   173707 |   109039   104152    107 |  3.218 % |
118.82/118.94	c |    148638 |    3729    59292   173707 |   109039   104262    107 |  3.218 % |
119.02/119.16	c |    148759 |    3729    59292   173707 |   109039   104383    107 |  3.218 % |
119.22/119.32	c |    148894 |    3729    59292   173707 |   109039   104518    107 |  3.218 % |
119.32/119.47	c |    149041 |    3729    59292   173707 |   109039   104665    108 |  3.218 % |
119.52/119.67	c |    149201 |    3729    59292   173707 |   109039   104825    108 |  3.218 % |
119.83/119.93	c |    149377 |    3729    59292   173707 |   109039   105001    108 |  3.218 % |
120.02/120.16	c |    149570 |    3729    59292   173707 |   109039   105194    108 |  3.218 % |
120.32/120.49	c |    149783 |    3729    59292   173707 |   109039   105407    108 |  3.218 % |
120.72/120.82	c |    150019 |    3729    59292   173707 |   105624   105643    108 |  3.218 % |
121.02/121.13	c |    150275 |    3729    59292   173707 |   105624   105899    108 |  3.218 % |
121.42/121.56	c |    150556 |    3729    59292   173707 |   105624    92858    102 |  3.218 % |
121.93/122.01	c |    150866 |    3729    59292   173707 |   105624    93168    103 |  3.218 % |
122.32/122.40	c |    151205 |    3729    59292   173707 |   105624    93507    103 |  3.218 % |
122.72/122.88	c |    151578 |    3729    59292   173707 |   105624    93880    103 |  3.218 % |
123.22/123.37	c |    151988 |    3729    59292   173707 |   105624    94290    103 |  3.218 % |
123.62/123.74	c |    152437 |    3729    59292   173707 |   105624    94739    103 |  3.218 % |
124.02/124.15	c |    152930 |    3729    59292   173707 |   105624    95232    104 |  3.218 % |
124.72/124.84	c |    153474 |    3729    59292   173707 |   105624    95776    104 |  3.218 % |
125.52/125.64	c |    154071 |    3729    59292   173707 |   105624    96373    104 |  3.218 % |
126.42/126.53	c |    154726 |    3729    59292   173707 |   105624    97028    104 |  3.218 % |
127.32/127.44	c |    155446 |    3729    59292   173707 |   105624    97748    104 |  3.218 % |
128.22/128.30	c |    156239 |    3729    59292   173707 |   105624    98541    105 |  3.218 % |
129.32/129.48	c |    157110 |    3729    59292   173707 |   105624    99412    105 |  3.218 % |
130.72/130.83	c |    158068 |    3729    59292   173707 |   105624   100370    106 |  3.218 % |
131.92/132.04	c |    159124 |    3729    59292   173707 |   105624   101426    106 |  3.218 % |
133.22/133.30	c |    160284 |    3729    59292   173707 |   102304   102586    108 |  3.218 % |
134.62/134.73	c |    161557 |    3729    59292   173707 |   102304    90922    102 |  3.218 % |
136.32/136.42	c |    162958 |    3729    59292   173707 |   102304    92323    103 |  3.218 % |
138.32/138.46	c |    164500 |    3729    59292   173707 |   102304    93865    103 |  3.218 % |
140.41/140.55	c |    166195 |    3729    59292   173707 |   102304    95560    104 |  3.218 % |
140.51/140.66	c |    166295 |    3729    59292   173707 |   102304    95660    104 |  3.218 % |
140.72/140.83	c |    166405 |    3729    59292   173707 |   102304    95770    104 |  3.218 % |
140.81/140.96	c |    166526 |    3729    59292   173707 |   102304    95891    104 |  3.218 % |
141.01/141.19	c |    166661 |    3729    59292   173707 |   102304    96026    104 |  3.218 % |
141.21/141.39	c |    166807 |    3729    59292   173707 |   102304    96172    104 |  3.218 % |
141.51/141.62	c |    166968 |    3729    59292   173707 |   102304    96333    104 |  3.218 % |
141.72/141.81	c |    167146 |    3729    59292   173707 |   102304    96511    104 |  3.218 % |
141.91/142.08	c |    167339 |    3729    59292   173707 |   102304    96704    104 |  3.218 % |
142.21/142.31	c |    167552 |    3729    59292   173707 |   102304    96917    104 |  3.218 % |
142.41/142.59	c |    167786 |    3729    59292   173707 |   102304    97151    104 |  3.218 % |
142.82/142.94	c |    168042 |    3729    59292   173707 |   102304    97407    104 |  3.218 % |
143.21/143.34	c |    168326 |    3729    59292   173707 |   102304    97691    104 |  3.218 % |
143.61/143.72	c |    168635 |    3729    59292   173707 |   102304    98000    104 |  3.218 % |
144.02/144.12	c |    168975 |    3729    59292   173707 |   102304    98340    105 |  3.218 % |
144.51/144.65	c |    169348 |    3729    59292   173707 |   102304    98713    105 |  3.218 % |
144.91/145.10	c |    169759 |    3729    59292   173707 |   102304    99124    105 |  3.218 % |
145.41/145.53	c |    170209 |    3729    59292   173707 |    99366    99574    105 |  3.218 % |
146.01/146.12	c |    170702 |    3729    59292   173707 |    99366    88196    101 |  3.218 % |
146.51/146.64	c |    171245 |    3729    59292   173707 |    99366    88739    101 |  3.218 % |
147.21/147.32	c |    171842 |    3729    59292   173707 |    99366    89336    101 |  3.218 % |
148.01/148.14	c |    172497 |    3729    59292   173707 |    99366    89991    102 |  3.218 % |
148.81/148.97	c |    173218 |    3729    59292   173707 |    99366    90712    102 |  3.218 % |
149.81/149.98	c |    174010 |    3729    59292   173707 |    99366    91504    102 |  3.218 % |
151.01/151.12	c |    174881 |    3729    59292   173707 |    99366    92375    103 |  3.218 % |
152.01/152.19	c |    175839 |    3729    59292   173707 |    99366    93333    103 |  3.218 % |
153.21/153.33	c |    176892 |    3729    59292   173707 |    99366    94386    104 |  3.218 % |
154.51/154.67	c |    178050 |    3729    59292   173707 |    99366    95544    104 |  3.218 % |
156.21/156.33	c |    179323 |    3729    59292   173707 |    99366    96817    105 |  3.218 % |
158.00/158.14	c |    180723 |    3729    59292   173707 |    97494    98217    106 |  3.218 % |
159.70/159.83	c |    182263 |    3729    59292   173707 |    97494    89322    102 |  3.218 % |
161.40/161.51	c |    183957 |    3729    59292   173707 |    97494    91016    104 |  3.218 % |
163.40/163.57	c |    185820 |    3729    59292   173707 |    97494    92879    105 |  3.218 % |
163.60/163.71	c |    185920 |    3729    59292   173707 |    97494    92979    105 |  3.218 % |
163.71/163.84	c |    186030 |    3729    59292   173707 |    97494    93089    105 |  3.218 % |
163.90/164.01	c |    186152 |    3729    59292   173707 |    97494    93211    105 |  3.218 % |
164.10/164.22	c |    186285 |    3729    59292   173707 |    97494    93344    105 |  3.218 % |
164.30/164.45	c |    186431 |    3729    59292   173707 |    97494    93490    105 |  3.218 % |
164.50/164.61	c |    186592 |    3729    59292   173707 |    97494    93651    105 |  3.218 % |
164.70/164.84	c |    186768 |    3729    59292   173707 |    97494    93827    106 |  3.218 % |
164.90/165.07	c |    186961 |    3729    59292   173707 |    97494    94020    106 |  3.218 % |
165.20/165.31	c |    187173 |    3729    59292   173707 |    97494    94232    106 |  3.218 % |
165.30/165.43	c |    187409 |    3729    59292   173707 |    97494    94468    106 |  3.218 % |
165.60/165.74	c |    187665 |    3729    59292   173707 |    97494    94724    106 |  3.218 % |
166.00/166.11	c |    187946 |    3729    59292   173707 |    97494    95005    106 |  3.218 % |
166.40/166.50	c |    188257 |    3729    59292   173707 |    97494    95316    106 |  3.218 % |
166.70/166.88	c |    188596 |    3729    59292   173707 |    97494    95655    106 |  3.218 % |
167.20/167.38	c |    188970 |    3729    59292   173707 |    97494    96029    107 |  3.218 % |
167.80/167.94	c |    189379 |    3729    59292   173707 |    97494    96438    107 |  3.218 % |
168.30/168.49	c |    189830 |    3729    59292   173707 |    97494    96889    107 |  3.218 % |
168.90/169.00	c |    190323 |    3729    59292   173707 |    97059    97382    107 |  3.218 % |
169.60/169.71	c |    190865 |    3729    59292   173707 |    97059    87214    104 |  3.218 % |
170.20/170.33	c |    191462 |    3729    59292   173707 |    97059    87811    105 |  3.218 % |
170.80/170.98	c |    192117 |    3729    59292   173707 |    97059    88466    105 |  3.218 % |
171.60/171.75	c |    192837 |    3729    59292   173707 |    97059    89186    106 |  3.218 % |
172.60/172.74	c |    193629 |    3729    59292   173707 |    97059    89978    106 |  3.218 % |
173.70/173.87	c |    194504 |    3729    59292   173707 |    97059    90853    107 |  3.218 % |
174.90/175.09	c |    195463 |    3729    59292   173707 |    97059    91812    107 |  3.218 % |
176.10/176.28	c |    196516 |    3729    59292   173707 |    97059    92865    108 |  3.218 % |
177.39/177.50	c |    197674 |    3729    59292   173707 |    97059    94023    108 |  3.218 % |
178.49/178.61	c |    198947 |    3729    59292   173707 |    97059    95296    109 |  3.218 % |
179.99/180.14	c |    200347 |    3729    59292   173707 |    96352    96696    110 |  3.218 % |
181.79/181.98	c |    201888 |    3729    59292   173707 |    96352    88299    106 |  3.218 % |
183.69/183.81	c |    203582 |    3729    59292   173707 |    96352    89993    107 |  3.218 % |
185.80/185.91	c |    205446 |    3729    59292   173707 |    96352    91857    108 |  3.218 % |
188.09/188.24	c |    207497 |    3729    59292   173707 |    96352    93908    110 |  3.218 % |
188.19/188.38	c |    207597 |    3729    59292   173707 |    96352    94008    110 |  3.218 % |
188.39/188.52	c |    207709 |    3729    59292   173707 |    96352    94120    110 |  3.218 % |
188.49/188.64	c |    207832 |    3729    59292   173707 |    96352    94243    110 |  3.218 % |
188.69/188.80	c |    207965 |    3729    59292   173707 |    96352    94376    110 |  3.218 % |
188.89/189.01	c |    208111 |    3729    59292   173707 |    96352    94522    110 |  3.218 % |
189.09/189.23	c |    208273 |    3729    59292   173707 |    96352    94684    110 |  3.218 % |
189.29/189.43	c |    208449 |    3729    59292   173707 |    96352    94860    110 |  3.218 % |
189.59/189.70	c |    208642 |    3729    59292   173707 |    96352    95053    110 |  3.218 % |
189.79/189.95	c |    208855 |    3729    59292   173707 |    96352    95266    111 |  3.218 % |
190.09/190.24	c |    209091 |    3729    59292   173707 |    96352    95502    111 |  3.218 % |
190.39/190.58	c |    209348 |    3729    59292   173707 |    96352    95759    111 |  3.218 % |
190.69/190.86	c |    209630 |    3729    59292   173707 |    96352    96041    111 |  3.218 % |
191.08/191.28	c |    209939 |    3729    59292   173707 |    96352    96350    111 |  3.218 % |
191.48/191.67	c |    210278 |    3729    59292   173707 |    96411    96689    111 |  3.218 % |
192.08/192.23	c |    210650 |    3729    59292   173707 |    96411    87087    107 |  3.218 % |
192.58/192.75	c |    211059 |    3729    59292   173707 |    96411    87496    107 |  3.218 % |
193.08/193.28	c |    211508 |    3729    59292   173707 |    96411    87945    107 |  3.218 % |
193.68/193.87	c |    212001 |    3729    59292   173707 |    96411    88438    108 |  3.218 % |
194.28/194.49	c |    212543 |    3729    59292   173707 |    96411    88980    108 |  3.218 % |
195.08/195.25	c |    213139 |    3729    59292   173707 |    96411    89576    108 |  3.218 % |
195.98/196.16	c |    213795 |    3729    59292   173707 |    96411    90232    108 |  3.218 % |
196.88/197.01	c |    214515 |    3729    59292   173707 |    96411    90952    109 |  3.218 % |
197.89/198.04	c |    215307 |    3729    59292   173707 |    96411    91744    109 |  3.218 % |
198.89/199.09	c |    216179 |    3729    59292   173707 |    96411    92616    110 |  3.218 % |
199.99/200.17	c |    217137 |    3729    59292   173707 |    96411    93574    110 |  3.218 % |
201.38/201.53	c |    218190 |    3729    59292   173707 |    96411    94627    111 |  3.218 % |
202.78/202.96	c |    219349 |    3729    59292   173707 |    96411    95786    112 |  3.218 % |
203.98/204.10	c |    220622 |    3729    59292   173707 |    96438    97059    113 |  3.218 % |
205.08/205.22	c |    222022 |    3729    59292   173707 |    96438    88754    109 |  3.218 % |
206.68/206.85	c |    223562 |    3729    59292   173707 |    96438    90294    110 |  3.218 % |
208.78/208.97	c |    225256 |    3729    59292   173707 |    96438    91988    111 |  3.218 % |
211.18/211.35	c |    227119 |    3729    59292   173707 |    96438    93851    113 |  3.218 % |
213.58/213.78	c |    229168 |    3729    59292   173707 |    96438    95900    113 |  3.218 % |
216.38/216.55	c |    231422 |    3729    59292   173707 |    96733    87950    110 |  3.218 % |
216.48/216.68	c |    231524 |    3729    59292   173707 |    96733    88052    110 |  3.218 % |
216.68/216.84	c |    231634 |    3729    59292   173707 |    96733    88162    110 |  3.218 % |
216.78/216.97	c |    231756 |    3729    59292   173707 |    96733    88284    110 |  3.218 % |
216.98/217.13	c |    231889 |    3729    59292   173707 |    96733    88417    110 |  3.218 % |
217.08/217.26	c |    232035 |    3729    59292   173707 |    96733    88563    111 |  3.218 % |
217.28/217.43	c |    232195 |    3729    59292   173707 |    96733    88723    111 |  3.218 % |
217.48/217.64	c |    232371 |    3729    59292   173707 |    96733    88899    111 |  3.218 % |
217.68/217.87	c |    232565 |    3729    59292   173707 |    96733    89093    111 |  3.218 % |
217.98/218.16	c |    232778 |    3729    59292   173707 |    96733    89306    111 |  3.218 % |
218.28/218.43	c |    233011 |    3729    59292   173707 |    96733    89539    111 |  3.218 % |
218.57/218.72	c |    233267 |    3729    59292   173707 |    96733    89795    111 |  3.218 % |
218.87/219.07	c |    233548 |    3729    59292   173707 |    96733    90076    111 |  3.218 % |
219.27/219.49	c |    233860 |    3729    59292   173707 |    96733    90388    111 |  3.218 % |
219.67/219.81	c |    234201 |    3729    59292   173707 |    96733    90729    112 |  3.218 % |
220.17/220.30	c |    234573 |    3729    59292   173707 |    96733    91101    112 |  3.218 % |
220.67/220.82	c |    234982 |    3729    59292   173707 |    96733    91510    113 |  3.218 % |
221.17/221.31	c |    235431 |    3729    59292   173707 |    96733    91959    113 |  3.218 % |
221.67/221.88	c |    235924 |    3729    59292   173707 |    96733    92452    114 |  3.218 % |
222.27/222.48	c |    236467 |    3729    59292   173707 |    96733    92995    114 |  3.218 % |
222.77/222.99	c |    237064 |    3729    59292   173707 |    96733    93592    114 |  3.218 % |
223.77/223.96	c |    237719 |    3729    59292   173707 |    96733    94247    114 |  3.218 % |
224.67/224.88	c |    238440 |    3729    59292   173707 |    96733    94968    114 |  3.218 % |
225.67/225.82	c |    239233 |    3729    59292   173707 |    96733    95761    114 |  3.219 % |
226.57/226.78	c |    240105 |    3729    59292   173707 |    96535    96633    115 |  3.218 % |
227.67/227.85	c |    241063 |    3729    59292   173707 |    96535    97591    116 |  3.218 % |
229.07/229.26	c |    242117 |    3729    59292   173707 |    96535    86713    110 |  3.218 % |
230.37/230.60	c |    243276 |    3729    59292   173707 |    96535    87872    111 |  3.218 % |
231.97/232.16	c |    244549 |    3729    59292   173707 |    96535    89145    111 |  3.218 % |
233.57/233.75	c |    245949 |    3729    59292   173707 |    96535    90545    112 |  3.218 % |
235.57/235.70	c |    247489 |    3729    59292   173707 |    96535    92085    113 |  3.218 % |
237.37/237.58	c |    249184 |    3729    59292   173707 |    96535    93780    114 |  3.218 % |
239.67/239.82	c |    251047 |    3729    59292   173707 |    94599    95643    116 |  3.218 % |
242.07/242.26	c |    253096 |    3729    59292   173707 |    94599    87177    112 |  3.218 % |
244.57/244.79	c |    255351 |    3729    59292   173707 |    94599    89432    113 |  3.218 % |
247.56/247.78	c |    257829 |    3729    59292   173707 |    94599    91910    116 |  3.218 % |
247.76/247.91	c |    257929 |    3729    59292   173707 |    94599    92010    116 |  3.218 % |
247.86/248.04	c |    258039 |    3729    59292   173707 |    94599    92120    116 |  3.218 % |
248.06/248.21	c |    258161 |    3729    59292   173707 |    94599    92242    116 |  3.218 % |
248.16/248.33	c |    258296 |    3729    59292   173707 |    94599    92377    116 |  3.218 % |
248.26/248.48	c |    258442 |    3729    59292   173707 |    94599    92523    116 |  3.218 % |
248.47/248.66	c |    258602 |    3729    59292   173707 |    94599    92683    116 |  3.218 % |
248.66/248.87	c |    258781 |    3729    59292   173707 |    94599    92862    116 |  3.218 % |
248.76/248.95	c |    258974 |    3729    59292   173707 |    94599    93055    116 |  3.218 % |
249.06/249.23	c |    259189 |    3729    59292   173707 |    94599    93270    116 |  3.218 % |
249.36/249.57	c |    259422 |    3729    59292   173707 |    94599    93503    116 |  3.218 % |
249.66/249.88	c |    259679 |    3729    59292   173707 |    94599    93760    117 |  3.218 % |
250.06/250.27	c |    259960 |    3729    59292   173707 |    94599    94041    117 |  3.218 % |
250.36/250.57	c |    260271 |    3729    59292   173707 |    94081    94352    117 |  3.218 % |
250.86/251.01	c |    260610 |    3729    59292   173707 |    94081    83551    110 |  3.218 % |
251.16/251.35	c |    260983 |    3729    59292   173707 |    94081    83924    111 |  3.218 % |
251.56/251.75	c |    261392 |    3729    59292   173707 |    94081    84333    111 |  3.218 % |
251.96/252.16	c |    261842 |    3729    59292   173707 |    94081    84783    112 |  3.218 % |
252.56/252.72	c |    262335 |    3729    59292   173707 |    94081    85276    112 |  3.218 % |
253.16/253.33	c |    262877 |    3729    59292   173707 |    94081    85818    112 |  3.218 % |
253.96/254.10	c |    263474 |    3729    59292   173707 |    94081    86415    113 |  3.218 % |
254.76/254.91	c |    264129 |    3729    59292   173707 |    94081    87070    114 |  3.219 % |
255.46/255.67	c |    264850 |    3729    59292   173707 |    94081    87791    114 |  3.218 % |
256.26/256.44	c |    265644 |    3729    59292   173707 |    94081    88585    116 |  3.218 % |
257.46/257.62	c |    266515 |    3729    59292   173707 |    94081    89456    116 |  3.218 % |
258.66/258.86	c |    267477 |    3729    59292   173707 |    94081    90418    117 |  3.218 % |
259.76/259.96	c |    268530 |    3729    59292   173707 |    94081    91471    118 |  3.218 % |
261.06/261.24	c |    269689 |    3729    59292   173707 |    94081    92630    119 |  3.218 % |
262.56/262.77	c |    270964 |    3729    59292   173707 |    92942    93905    120 |  3.218 % |
264.36/264.51	c |    272364 |    3729    59292   173707 |    92942    84346    114 |  3.218 % |
266.36/266.52	c |    273904 |    3729    59292   173707 |    92942    85886    117 |  3.218 % |
268.26/268.43	c |    275599 |    3729    59292   173707 |    92942    87581    119 |  3.218 % |
270.55/270.78	c |    277462 |    3729    59292   173707 |    92942    89444    119 |  3.218 % |
272.95/273.14	c |    279511 |    3729    59292   173707 |    92942    91493    121 |  3.218 % |
275.86/276.08	c |    281765 |    3729    59292   173707 |    91982    93747    127 |  3.218 % |
278.75/278.93	c |    284243 |    3729    59292   173707 |    91982    86851    124 |  3.218 % |
281.55/281.72	c |    286969 |    3729    59292   173707 |    91982    89577    128 |  3.218 % |
281.65/281.85	c |    287069 |    3729    59292   173707 |    91982    89677    128 |  3.219 % |
281.85/282.06	c |    287179 |    3729    59292   173707 |    91982    89787    128 |  3.218 % |
282.05/282.20	c |    287300 |    3729    59292   173707 |    91982    89908    128 |  3.218 % |
282.15/282.39	c |    287433 |    3729    59292   173707 |    91982    90041    128 |  3.218 % |
282.35/282.56	c |    287579 |    3729    59292   173707 |    91982    90187    128 |  3.218 % |
282.65/282.82	c |    287740 |    3729    59292   173707 |    91982    90348    128 |  3.218 % |
282.85/283.05	c |    287916 |    3729    59292   173707 |    91982    90524    128 |  3.219 % |
283.05/283.25	c |    288109 |    3729    59292   173707 |    91982    90717    128 |  3.218 % |
283.35/283.50	c |    288321 |    3729    59292   173707 |    91982    90929    128 |  3.218 % |
283.55/283.76	c |    288556 |    3729    59292   173707 |    91982    91164    129 |  3.218 % |
283.85/284.09	c |    288812 |    3729    59292   173707 |    91982    91420    129 |  3.218 % |
284.25/284.47	c |    289094 |    3729    59292   173707 |    91982    91702    129 |  3.218 % |
284.65/284.86	c |    289403 |    3729    59292   173707 |    91982    92011    129 |  3.218 % |
285.05/285.24	c |    289744 |    3729    59292   173707 |    91982    92352    129 |  3.218 % |
285.55/285.78	c |    290118 |    3729    59292   173707 |    82526    82644    124 |  3.218 % |
286.05/286.20	c |    290531 |    3729    59292   173707 |    82526    83057    125 |  3.218 % |
286.55/286.79	c |    290981 |    3729    59292   173707 |    82526    74335    119 |  3.218 % |
287.05/287.28	c |    291474 |    3729    59292   173707 |    82526    74828    119 |  3.218 % |
287.55/287.78	c |    292016 |    3729    59292   173707 |    82526    75370    119 |  3.218 % |
288.35/288.51	c |    292613 |    3729    59292   173707 |    82526    75967    120 |  3.218 % |
289.05/289.23	c |    293269 |    3729    59292   173707 |    82526    76623    120 |  3.218 % |
289.75/289.92	c |    293989 |    3729    59292   173707 |    82526    77343    121 |  3.218 % |
290.55/290.73	c |    294781 |    3729    59292   173707 |    82526    78135    121 |  3.218 % |
291.55/291.72	c |    295654 |    3729    59292   173707 |    82526    79008    122 |  3.218 % |
292.55/292.78	c |    296612 |    3729    59292   173707 |    82526    79966    123 |  3.218 % |
293.45/293.66	c |    297665 |    3729    59292   173707 |    82526    81019    125 |  3.218 % |
294.44/294.69	c |    298825 |    3729    59292   173707 |    82526    82179    126 |  3.218 % |
295.94/296.13	c |    300098 |    3729    59292   173707 | 2147483647    83452    128 |  3.218 % |
297.44/297.68	c |    301499 |    3729    59292   173707 | 2147483647    84853    129 |  3.218 % |
299.44/299.64	c |    303041 |    3729    59292   173707 | 2147483647    86395    129 |  3.218 % |
301.44/301.65	c |    304735 |    3729    59292   173707 | 2147483647    88089    131 |  3.218 % |
303.84/304.01	c |    306599 |    3729    59292   173707 | 2147483647    89953    131 |  3.218 % |
306.34/306.54	c |    308648 |    3729    59292   173707 | 2147483647    92002    132 |  3.218 % |
309.14/309.30	c |    310907 |    3729    59292   173707 |    93354    83760    127 |  3.218 % |
311.94/312.17	c |    313385 |    3729    59292   173707 |    93354    86238    129 |  3.218 % |
314.84/315.05	c |    316111 |    3729    59292   173707 |    93354    88964    131 |  3.218 % |
318.23/318.44	c |    319108 |    3729    59292   173707 |    93354    91961    135 |  3.218 % |
318.33/318.57	c |    319208 |    3729    59292   173707 |    93354    92061    135 |  3.218 % |
318.53/318.72	c |    319318 |    3729    59292   173707 |    93354    92171    135 |  3.218 % |
318.63/318.85	c |    319439 |    3729    59292   173707 |    93354    92292    135 |  3.218 % |
318.74/318.92	c |    319573 |    3729    59292   173707 |    93354    92426    135 |  3.218 % |
318.93/319.10	c |    319719 |    3729    59292   173707 |    93354    92572    135 |  3.218 % |
319.03/319.29	c |    319879 |    3729    59292   173707 |    93354    92732    135 |  3.218 % |
319.23/319.47	c |    320055 |    3729    59292   173707 |    92856    92908    135 |  3.218 % |
319.53/319.75	c |    320250 |    3729    59292   173707 |    92856    93103    135 |  3.218 % |
319.94/320.11	c |    320462 |    3729    59292   173707 |    92856    82935    126 |  3.218 % |
320.13/320.39	c |    320696 |    3729    59292   173707 |    92856    83169    126 |  3.218 % |
320.53/320.72	c |    320952 |    3729    59292   173707 |    92856    83425    127 |  3.218 % |
320.83/321.05	c |    321233 |    3729    59292   173707 |    92856    83706    127 |  3.218 % |
321.23/321.40	c |    321542 |    3729    59292   173707 |    92856    84015    127 |  3.218 % |
321.53/321.77	c |    321882 |    3729    59292   173707 |    92856    84355    127 |  3.218 % |
322.04/322.27	c |    322255 |    3729    59292   173707 |    92856    84728    127 |  3.218 % |
322.53/322.75	c |    322664 |    3729    59292   173707 |    92856    85137    127 |  3.218 % |
323.03/323.27	c |    323114 |    3729    59292   173707 |    92856    85587    127 |  3.218 % |
323.53/323.77	c |    323607 |    3729    59292   173707 |    92856    86080    128 |  3.218 % |
324.23/324.49	c |    324150 |    3729    59292   173707 |    92856    86623    128 |  3.218 % |
324.93/325.14	c |    324748 |    3729    59292   173707 |    92856    87221    129 |  3.218 % |
325.63/325.82	c |    325403 |    3729    59292   173707 |    92856    87876    129 |  3.218 % |
326.43/326.62	c |    326125 |    3729    59292   173707 |    92856    88598    130 |  3.218 % |
327.24/327.44	c |    326917 |    3729    59292   173707 |    92856    89390    130 |  3.218 % |
328.34/328.51	c |    327789 |    3729    59292   173707 |    92856    90262    131 |  3.218 % |
329.44/329.66	c |    328748 |    3729    59292   173707 |    92856    91221    131 |  3.218 % |
330.54/330.72	c |    329801 |    3729    59292   173707 |    92856    92274    133 |  3.218 % |
332.14/332.37	c |    330960 |    3729    59292   173707 |    92473    81857    119 |  3.218 % |
333.74/333.97	c |    332236 |    3729    59292   173707 |    92473    83133    121 |  3.218 % |
335.14/335.38	c |    333637 |    3729    59292   173707 |    92473    84534    123 |  3.218 % |
336.93/337.12	c |    335177 |    3729    59292   173707 |    92473    86074    125 |  3.218 % |
338.93/339.11	c |    336871 |    3729    59292   173707 |    92473    87768    126 |  3.218 % |
340.84/341.03	c |    338735 |    3729    59292   173707 |    92473    89632    127 |  3.218 % |
343.53/343.73	c |    340786 |    3729    59292   173707 |    90898    91683    128 |  3.218 % |
345.93/346.10	c |    343039 |    3729    59292   173707 |    90898    82744    121 |  3.218 % |
346.83/347.03	c |    345518 |    3729    59292   173707 |    90898    85223    122 |  3.218 % |
350.33/350.51	c |    348245 |    3729    59292   173707 |    90898    87950    122 |  3.218 % |
353.63/353.87	c |    351242 |    3729    59292   173707 | 2147483647    90947    124 |  3.218 % |
357.73/357.92	c |    354538 |    3729    59292   173707 | 2147483647    94243    127 |  3.218 % |
357.92/358.10	c |    354639 |    3729    59292   173707 | 2147483647    94344    127 |  3.218 % |
358.02/358.23	c |    354751 |    3729    59292   173707 | 2147483647    94456    127 |  3.218 % |
358.22/358.42	c |    354874 |    3729    59292   173707 | 2147483647    94579    127 |  3.218 % |
358.43/358.66	c |    355007 |    3729    59292   173707 | 2147483647    94712    127 |  3.218 % |
358.62/358.88	c |    355155 |    3729    59292   173707 | 2147483647    94860    127 |  3.218 % |
358.92/359.10	c |    355316 |    3729    59292   173707 | 2147483647    95021    128 |  3.218 % |
359.12/359.35	c |    355492 |    3729    59292   173707 | 2147483647    95197    128 |  3.218 % |
359.43/359.60	c |    355685 |    3729    59292   173707 | 2147483647    95390    128 |  3.218 % |
359.43/359.67	c |    355897 |    3729    59292   173707 | 2147483647    95602    128 |  3.218 % |
359.72/359.97	c |    356131 |    3729    59292   173707 | 2147483647    95836    128 |  3.218 % |
360.02/360.29	c |    356387 |    3729    59292   173707 | 2147483647    96092    128 |  3.218 % |
360.53/360.76	c |    356668 |    3729    59292   173707 | 2147483647    96373    127 |  3.218 % |
360.92/361.12	c |    356978 |    3729    59292   173707 | 2147483647    96683    128 |  3.218 % |
361.42/361.61	c |    357317 |    3729    59292   173707 | 2147483647    97022    128 |  3.218 % |
361.82/362.06	c |    357689 |    3729    59292   173707 | 2147483647    97394    128 |  3.218 % |
362.42/362.63	c |    358101 |    3729    59292   173707 | 2147483647    97806    129 |  3.218 % |
363.02/363.21	c |    358554 |    3729    59292   173707 | 2147483647    98259    129 |  3.218 % |
363.62/363.86	c |    359049 |    3729    59292   173707 | 2147483647    98754    129 |  3.218 % |
364.02/364.25	c |    359593 |    3729    59292   173707 | 2147483647    99298    129 |  3.218 % |
364.72/364.93	c |    360189 |    3729    59292   173707 |    99706    99894    129 |  3.218 % |
365.62/365.80	c |    360844 |    3729    59292   173707 |    99706    85809    117 |  3.218 % |
366.52/366.72	c |    361565 |    3729    59292   173707 |    99706    86530    117 |  3.218 % |
367.12/367.40	c |    362357 |    3729    59292   173707 |    99706    87322    117 |  3.218 % |
368.12/368.32	c |    363232 |    3729    59292   173707 |    99706    88197    117 |  3.218 % |
369.22/369.44	c |    364190 |    3729    59292   173707 |    99706    89155    118 |  3.219 % |
370.32/370.57	c |    365244 |    3729    59292   173707 |    99706    90209    120 |  3.218 % |
371.71/371.93	c |    366402 |    3729    59292   173707 |    99706    91367    120 |  3.218 % |
373.21/373.40	c |    367676 |    3729    59292   173707 |    99706    92641    121 |  3.218 % |
375.01/375.28	c |    369076 |    3729    59292   173707 |    99706    94041    122 |  3.218 % |
376.81/377.05	c |    370619 |    3729    59292   173707 |    94965    95584    124 |  3.218 % |
378.61/378.85	c |    372313 |    3729    59292   173707 |    94965    83415    114 |  3.218 % |
380.51/380.72	c |    374176 |    3729    59292   173707 |    94965    85278    117 |  3.218 % |
382.91/383.15	c |    376225 |    3729    59292   173707 |    94965    87327    119 |  3.218 % |
385.71/385.97	c |    378479 |    3729    59292   173707 |    94965    89581    121 |  3.218 % |
388.51/388.76	c |    380957 |    3729    59292   173707 |    91102    80713    112 |  3.218 % |
391.61/391.86	c |    383685 |    3729    59292   173707 |    91102    83441    114 |  3.218 % |
395.31/395.59	c |    386685 |    3729    59292   173707 |    91102    86441    116 |  3.218 % |
398.90/399.14	c |    389981 |    3729    59292   173707 |    91102    89737    120 |  3.218 % |
402.60/402.85	c |    393607 |    3729    59292   173707 |    89756    82055    120 |  3.218 % |
402.70/402.95	c |    393709 |    3729    59292   173707 |    89756    82157    120 |  3.218 % |
402.80/403.09	c |    393819 |    3729    59292   173707 |    89756    82267    120 |  3.218 % |
403.00/403.26	c |    393943 |    3729    59292   173707 |    89756    82391    120 |  3.218 % |
403.20/403.41	c |    394076 |    3729    59292   173707 |    89756    82524    120 |  3.218 % |
403.30/403.58	c |    394223 |    3729    59292   173707 |    89756    82671    120 |  3.218 % |
403.51/403.74	c |    394384 |    3729    59292   173707 |    89756    82832    121 |  3.218 % |
403.70/403.98	c |    394564 |    3729    59292   173707 |    89756    83012    121 |  3.218 % |
404.00/404.20	c |    394757 |    3729    59292   173707 |    89756    83205    121 |  3.218 % |
404.20/404.47	c |    394970 |    3729    59292   173707 |    89756    83418    121 |  3.218 % |
404.50/404.79	c |    395203 |    3729    59292   173707 |    89756    83651    121 |  3.219 % |
404.80/405.03	c |    395459 |    3729    59292   173707 |    89756    83907    122 |  3.218 % |
405.10/405.34	c |    395741 |    3729    59292   173707 |    89756    84189    122 |  3.218 % |
405.50/405.70	c |    396050 |    3729    59292   173707 |    89756    84498    122 |  3.218 % |
405.90/406.12	c |    396389 |    3729    59292   173707 |    89756    84837    122 |  3.218 % |
406.30/406.57	c |    396763 |    3729    59292   173707 |    89756    85211    122 |  3.218 % |
406.80/407.06	c |    397176 |    3729    59292   173707 |    89756    85624    123 |  3.218 % |
407.40/407.61	c |    397625 |    3729    59292   173707 |    89756    86073    123 |  3.218 % |
407.80/408.00	c |    398118 |    3729    59292   173707 |    89756    86566    124 |  3.218 % |
408.30/408.59	c |    398660 |    3729    59292   173707 |    89756    87108    124 |  3.218 % |
409.00/409.27	c |    399257 |    3729    59292   173707 |    89756    87705    125 |  3.218 % |
409.70/409.97	c |    399912 |    3729    59292   173707 |    89756    88360    125 |  3.218 % |
410.60/410.81	c |    400633 |    3729    59292   173707 |    88448    89081    126 |  3.218 % |
411.50/411.79	c |    401425 |    3729    59292   173707 |    88448    79141    118 |  3.218 % |
412.50/412.79	c |    402297 |    3729    59292   173707 |    88448    80013    119 |  3.218 % |
413.60/413.88	c |    403255 |    3729    59292   173707 |    88448    80971    120 |  3.218 % |
414.80/415.06	c |    404308 |    3729    59292   173707 |    88448    82024    121 |  3.218 % |
416.10/416.32	c |    405468 |    3729    59292   173707 |    88448    83184    122 |  3.218 % |
417.40/417.64	c |    406741 |    3729    59292   173707 |    88448    84457    123 |  3.218 % |
419.09/419.38	c |    408142 |    3729    59292   173707 |    88448    85858    124 |  3.218 % |
421.10/421.33	c |    409682 |    3729    59292   173707 |    88448    87398    125 |  3.218 % |
422.89/423.16	c |    411376 |    3729    59292   173707 |    87716    78716    121 |  3.218 % |
424.89/425.13	c |    413239 |    3729    59292   173707 |    87716    80579    123 |  3.218 % |
427.19/427.43	c |    415289 |    3729    59292   173707 |    87716    82629    125 |  3.218 % |
429.39/429.64	c |    417542 |    3729    59292   173707 |    87716    84882    127 |  3.218 % |
432.59/432.86	c |    420020 |    3729    59292   173707 |    87341    87360    128 |  3.218 % |
435.89/436.14	c |    422745 |    3729    59292   173707 |    87341    79049    119 |  3.218 % |
439.29/439.58	c |    425742 |    3729    59292   173707 |    87341    82046    122 |  3.218 % |
442.89/443.13	c |    429038 |    3729    59292   173707 |    87341    85342    125 |  3.218 % |
446.98/447.25	c |    432663 |    3729    59292   173707 |    86306    79458    120 |  3.218 % |
451.18/451.41	c |    436651 |    3729    59292   173707 |    86306    83446    125 |  3.218 % |
451.28/451.53	c |    436751 |    3729    59292   173707 |    86306    83546    125 |  3.218 % |
451.38/451.68	c |    436861 |    3729    59292   173707 |    86306    83656    125 |  3.218 % |
451.58/451.83	c |    436984 |    3729    59292   173707 |    86306    83779    125 |  3.218 % |
451.79/452.06	c |    437119 |    3729    59292   173707 |    86306    83914    125 |  3.218 % |
451.98/452.25	c |    437265 |    3729    59292   173707 |    86306    84060    125 |  3.218 % |
452.08/452.39	c |    437426 |    3729    59292   173707 |    86306    84221    126 |  3.218 % |
452.28/452.57	c |    437603 |    3729    59292   173707 |    86306    84398    126 |  3.218 % |
452.48/452.78	c |    437796 |    3729    59292   173707 |    86306    84591    126 |  3.218 % |
452.78/453.02	c |    438008 |    3729    59292   173707 |    86306    84803    126 |  3.218 % |
453.08/453.38	c |    438241 |    3729    59292   173707 |    86306    85036    126 |  3.218 % |
453.39/453.65	c |    438498 |    3729    59292   173707 |    86306    85293    126 |  3.218 % |
453.69/453.90	c |    438780 |    3729    59292   173707 |    86306    85575    126 |  3.218 % |
454.00/454.30	c |    439092 |    3729    59292   173707 |    86306    85887    127 |  3.218 % |
454.39/454.65	c |    439431 |    3729    59292   173707 |    86306    86226    127 |  3.218 % |
454.69/454.96	c |    439806 |    3729    59292   173707 |    86306    86601    128 |  3.218 % |
455.29/455.57	c |    440215 |    3729    59292   173707 |    77262    77477    118 |  3.218 % |
455.89/456.20	c |    440664 |    3729    59292   173707 |    77262    69550    110 |  3.218 % |
456.39/456.67	c |    441157 |    3729    59292   173707 |    77262    70043    111 |  3.218 % |
456.89/457.12	c |    441699 |    3729    59292   173707 |    77262    70585    113 |  3.218 % |
457.49/457.72	c |    442295 |    3729    59292   173707 |    77262    71181    113 |  3.218 % |
458.19/458.40	c |    442951 |    3729    59292   173707 |    77262    71837    114 |  3.218 % |
458.89/459.16	c |    443671 |    3729    59292   173707 |    77262    72557    115 |  3.218 % |
459.69/459.98	c |    444463 |    3729    59292   173707 |    77262    73349    116 |  3.218 % |
460.69/460.91	c |    445334 |    3729    59292   173707 |    77262    74220    116 |  3.218 % |
461.49/461.76	c |    446292 |    3729    59292   173707 |    77262    75178    118 |  3.218 % |
462.69/462.94	c |    447347 |    3729    59292   173707 |    77262    76233    119 |  3.218 % |
463.99/464.22	c |    448505 |    3729    59292   173707 |    77262    77391    120 |  3.218 % |
465.19/465.48	c |    449778 |    3729    59292   173707 |    77262    70925    115 |  3.218 % |
466.69/466.94	c |    451179 |    3729    59292   173707 | 2147483647    72326    116 |  3.218 % |
468.18/468.43	c |    452721 |    3729    59292   173707 | 2147483647    73868    118 |  3.218 % |
469.88/470.17	c |    454415 |    3729    59292   173707 | 2147483647    75562    119 |  3.218 % |
471.78/472.03	c |    456279 |    3729    59292   173707 | 2147483647    77426    122 |  3.218 % |
473.89/474.17	c |    458328 |    3729    59292   173707 | 2147483647    79475    124 |  3.218 % |
476.58/476.82	c |    460582 |    3729    59292   173707 | 2147483647    81729    128 |  3.218 % |
479.58/479.88	c |    463060 |    3729    59292   173707 | 2147483647    84207    129 |  3.218 % |
482.58/482.87	c |    465786 |    3729    59292   173707 | 2147483647    86933    131 |  3.218 % |
485.98/486.22	c |    468786 |    3729    59292   173707 | 2147483647    89933    134 |  3.218 % |
489.57/489.90	c |    472082 |    3729    59292   173707 |    91147    81620    131 |  3.218 % |
493.87/494.15	c |    475707 |    3729    59292   173707 |    91147    85245    135 |  3.218 % |
498.57/498.86	c |    479696 |    3729    59292   173707 |    91147    89234    138 |  3.218 % |
503.07/503.36	c |    484082 |    3729    59292   173707 |    89539    79313    133 |  3.218 % |
503.27/503.50	c |    484183 |    3729    59292   173707 |    89539    79414    133 |  3.218 % |
503.37/503.67	c |    484294 |    3729    59292   173707 |    89539    79525    133 |  3.218 % |
503.57/503.83	c |    484415 |    3729    59292   173707 |    89539    79646    133 |  3.218 % |
503.67/503.99	c |    484548 |    3729    59292   173707 |    89539    79779    133 |  3.218 % |
503.97/504.21	c |    484694 |    3729    59292   173707 |    89539    79925    133 |  3.218 % |
504.07/504.39	c |    484854 |    3729    59292   173707 |    89539    80085    133 |  3.218 % |
504.37/504.64	c |    485033 |    3729    59292   173707 |    89539    80264    134 |  3.218 % |
504.67/504.92	c |    485226 |    3729    59292   173707 |    89539    80457    134 |  3.218 % |
504.96/505.24	c |    485440 |    3729    59292   173707 |    89539    80671    134 |  3.218 % |
505.16/505.44	c |    485674 |    3729    59292   173707 |    89539    80905    134 |  3.218 % |
505.46/505.78	c |    485930 |    3729    59292   173707 |    89539    81161    134 |  3.218 % |
505.86/506.11	c |    486211 |    3729    59292   173707 |    89539    81442    134 |  3.218 % |
506.26/506.55	c |    486521 |    3729    59292   173707 |    89539    81752    135 |  3.218 % |
506.66/506.95	c |    486860 |    3729    59292   173707 |    89539    82091    135 |  3.218 % |
507.06/507.38	c |    487232 |    3729    59292   173707 |    89539    82463    135 |  3.218 % |
507.56/507.82	c |    487641 |    3729    59292   173707 |    89539    82872    135 |  3.218 % |
507.96/508.23	c |    488092 |    3729    59292   173707 |    89539    83323    136 |  3.218 % |
508.46/508.77	c |    488586 |    3729    59292   173707 |    89539    83817    136 |  3.218 % |
509.16/509.46	c |    489128 |    3729    59292   173707 |    89539    84359    136 |  3.218 % |
509.86/510.17	c |    489726 |    3729    59292   173707 |    89539    84957    137 |  3.218 % |
510.76/511.02	c |    490381 |    3729    59292   173707 |    85232    85612    137 |  3.218 % |
511.56/511.82	c |    491102 |    3729    59292   173707 |    85232    74192    128 |  3.218 % |
512.36/512.65	c |    491895 |    3729    59292   173707 |    85232    74985    129 |  3.218 % |
513.16/513.41	c |    492768 |    3729    59292   173707 |    85232    75858    130 |  3.218 % |
514.06/514.36	c |    493727 |    3729    59292   173707 |    85232    76817    131 |  3.218 % |
515.26/515.55	c |    494780 |    3729    59292   173707 |    85232    77870    131 |  3.218 % |
516.46/516.79	c |    495940 |    3729    59292   173707 |    85232    79030    132 |  3.218 % |
518.16/518.42	c |    497213 |    3729    59292   173707 |    85232    80303    133 |  3.218 % |
519.66/519.98	c |    498613 |    3729    59292   173707 |    85232    81703    134 |  3.218 % |
521.26/521.52	c |    500153 |    3729    59292   173707 |    83090    83243    136 |  3.218 % |
522.96/523.20	c |    501848 |    3729    59292   173707 |    83090    75404    128 |  3.218 % |
524.95/525.20	c |    503711 |    3729    59292   173707 |    83090    77267    130 |  3.218 % |
526.95/527.25	c |    505761 |    3729    59292   173707 |    83090    79317    132 |  3.218 % |
529.35/529.65	c |    508014 |    3729    59292   173707 |    83090    81570    134 |  3.218 % |
532.06/532.39	c |    510493 |    3729    59292   173707 | 2147483647    84049    137 |  3.218 % |
535.05/535.36	c |    513220 |    3729    59292   173707 | 2147483647    86776    141 |  3.218 % |
538.75/539.06	c |    516217 |    3729    59292   173707 | 2147483647    89773    145 |  3.218 % |
542.84/543.10	c |    519513 |    3729    59292   173707 | 2147483647    93069    147 |  3.218 % |
547.46/547.73	c |    523138 |    3729    59292   173707 |    93558    83956    136 |  3.218 % |
551.55/551.86	c |    527127 |    3729    59292   173707 |    93558    87945    140 |  3.218 % |
557.25/557.57	c |    531512 |    3729    59292   173707 |    90818    79797    128 |  3.218 % |
562.95/563.21	c |    536335 |    3729    59292   173707 |    90818    84620    132 |  3.218 % |
563.05/563.34	c |    536435 |    3729    59292   173707 |    90818    84720    132 |  3.218 % |
563.15/563.46	c |    536546 |    3729    59292   173707 |    90818    84831    132 |  3.218 % |
563.25/563.56	c |    536667 |    3729    59292   173707 |    90818    84952    132 |  3.218 % |
563.45/563.74	c |    536800 |    3729    59292   173707 |    90818    85085    132 |  3.218 % |
563.54/563.89	c |    536949 |    3729    59292   173707 |    90818    85234    132 |  3.218 % |
563.84/564.14	c |    537109 |    3729    59292   173707 |    90818    85394    132 |  3.218 % |
564.05/564.37	c |    537286 |    3729    59292   173707 |    90818    85571    132 |  3.218 % |
564.34/564.63	c |    537482 |    3729    59292   173707 |    90818    85767    132 |  3.218 % |
564.54/564.85	c |    537694 |    3729    59292   173707 |    90818    85979    133 |  3.218 % |
564.74/565.09	c |    537927 |    3729    59292   173707 |    90818    86212    133 |  3.218 % |
565.15/565.42	c |    538183 |    3729    59292   173707 |    90818    86468    133 |  3.218 % |
565.44/565.72	c |    538464 |    3729    59292   173707 |    90818    86749    133 |  3.218 % |
565.84/566.18	c |    538773 |    3729    59292   173707 |    90818    87058    133 |  3.218 % |
566.15/566.48	c |    539113 |    3729    59292   173707 |    90818    87398    134 |  3.218 % |
566.54/566.86	c |    539491 |    3729    59292   173707 |    90818    87776    135 |  3.218 % |
566.94/567.28	c |    539901 |    3729    59292   173707 |    90818    88186    135 |  3.218 % |
567.54/567.82	c |    540350 |    3729    59292   173707 |    88286    88635    136 |  3.218 % |
568.14/568.47	c |    540843 |    3729    59292   173707 |    88286    77426    127 |  3.218 % |
568.84/569.12	c |    541385 |    3729    59292   173707 |    88286    77968    127 |  3.218 % |
569.54/569.87	c |    541981 |    3729    59292   173707 |    88286    78564    128 |  3.218 % |
570.34/570.62	c |    542636 |    3729    59292   173707 |    88286    79219    128 |  3.218 % |
571.04/571.34	c |    543356 |    3729    59292   173707 |    88286    79939    129 |  3.218 % |
571.84/572.19	c |    544150 |    3729    59292   173707 |    88286    80733    130 |  3.218 % |
572.74/573.03	c |    545021 |    3729    59292   173707 |    88286    81604    131 |  3.218 % |
574.04/574.38	c |    545979 |    3729    59292   173707 |    88286    82562    131 |  3.218 % |
575.24/575.57	c |    547032 |    3729    59292   173707 |    88286    83615    133 |  3.218 % |
576.74/577.03	c |    548192 |    3729    59292   173707 |    88286    84775    134 |  3.218 % |
578.24/578.52	c |    549465 |    3729    59292   173707 |    88286    86048    135 |  3.218 % |
579.84/580.11	c |    550866 |    3729    59292   173707 |    86583    87449    136 |  3.218 % |
581.54/581.90	c |    552407 |    3729    59292   173707 |    86583    77622    125 |  3.219 % |
583.34/583.62	c |    554102 |    3729    59292   173707 |    86583    79317    127 |  3.218 % |
585.24/585.57	c |    555966 |    3729    59292   173707 |    86583    81181    129 |  3.218 % |
587.73/588.03	c |    558017 |    3729    59292   173707 |    86583    83232    131 |  3.218 % |
590.03/590.39	c |    560270 |    3729    59292   173707 |    85216    85485    134 |  3.218 % |
593.03/593.34	c |    562748 |    3729    59292   173707 |    85216    76535    122 |  3.218 % |
595.94/596.26	c |    565473 |    3729    59292   173707 |    85216    79260    125 |  3.218 % |
599.63/599.92	c |    568470 |    3729    59292   173707 |    85216    82257    128 |  3.218 % |
603.33/603.61	c |    571767 |    3729    59292   173707 |    83788    76270    122 |  3.218 % |
607.23/607.56	c |    575392 |    3729    59292   173707 |    83788    79895    125 |  3.218 % |
611.63/611.92	c |    579379 |    3729    59292   173707 |    83788    83882    131 |  3.218 % |
617.12/617.45	c |    583766 |    3729    59292   173707 | 2147483647    88269    136 |  3.218 % |
623.33/623.64	c |    588589 |    3729    59292   173707 | 2147483647    93092    141 |  3.218 % |
630.32/630.63	c |    593894 |    3729    59292   173707 |    94504    85462    135 |  3.218 % |
630.42/630.77	c |    593994 |    3729    59292   173707 |    94504    85562    135 |  3.218 % |
630.62/630.93	c |    594104 |    3729    59292   173707 |    94504    85672    135 |  3.218 % |
630.72/631.06	c |    594226 |    3729    59292   173707 |    94504    85794    135 |  3.218 % |
630.92/631.20	c |    594360 |    3729    59292   173707 |    94504    85928    135 |  3.218 % |
631.02/631.39	c |    594509 |    3729    59292   173707 |    94504    86077    135 |  3.219 % |
631.22/631.58	c |    594669 |    3729    59292   173707 |    94504    86237    135 |  3.218 % |
631.42/631.79	c |    594848 |    3729    59292   173707 |    94504    86416    135 |  3.218 % |
631.62/631.96	c |    595041 |    3729    59292   173707 |    94504    86609    136 |  3.218 % |
631.92/632.28	c |    595255 |    3729    59292   173707 |    94504    86823    136 |  3.218 % |
632.22/632.58	c |    595488 |    3729    59292   173707 |    94504    87056    136 |  3.218 % |
632.52/632.86	c |    595744 |    3729    59292   173707 |    94504    87312    136 |  3.218 % |
632.92/633.21	c |    596027 |    3729    59292   173707 |    94504    87595    136 |  3.218 % |
633.22/633.57	c |    596337 |    3729    59292   173707 |    94504    87905    136 |  3.218 % |
633.62/633.98	c |    596677 |    3729    59292   173707 |    94504    88245    137 |  3.218 % |
634.12/634.48	c |    597049 |    3729    59292   173707 |    94504    88617    137 |  3.218 % |
634.72/635.07	c |    597460 |    3729    59292   173707 |    94504    89028    137 |  3.218 % |
635.42/635.71	c |    597910 |    3729    59292   173707 |    94504    89478    137 |  3.218 % |
636.02/636.35	c |    598403 |    3729    59292   173707 |    94504    89971    138 |  3.218 % |
636.62/636.99	c |    598947 |    3729    59292   173707 |    94504    90515    138 |  3.218 % |
637.51/637.86	c |    599544 |    3729    59292   173707 |    94504    91112    139 |  3.218 % |
638.41/638.71	c |    600199 |    3729    59292   173707 |    91570    91767    139 |  3.218 % |
639.21/639.55	c |    600919 |    3729    59292   173707 |    91570    79206    127 |  3.218 % |
640.21/640.55	c |    601711 |    3729    59292   173707 |    91570    79998    127 |  3.218 % |
641.02/641.39	c |    602583 |    3729    59292   173707 |    91570    80870    129 |  3.218 % |
642.21/642.56	c |    603543 |    3729    59292   173707 |    91570    81830    131 |  3.218 % |
643.51/643.89	c |    604596 |    3729    59292   173707 |    91570    82883    132 |  3.218 % |
644.81/645.11	c |    605754 |    3729    59292   173707 |    91570    84041    133 |  3.218 % |
646.21/646.58	c |    607029 |    3729    59292   173707 |    91570    85316    134 |  3.218 % |
647.91/648.26	c |    608429 |    3729    59292   173707 |    91570    86716    135 |  3.218 % |
649.71/650.07	c |    609969 |    3729    59292   173707 |    91570    88256    136 |  3.218 % |
651.71/652.03	c |    611663 |    3729    59292   173707 |    88288    77327    125 |  3.218 % |
654.01/654.34	c |    613527 |    3729    59292   173707 |    88288    79191    127 |  3.218 % |
656.51/656.85	c |    615578 |    3729    59292   173707 |    88288    81242    129 |  3.218 % |
659.01/659.39	c |    617831 |    3729    59292   173707 |    88288    83495    132 |  3.218 % |
661.70/662.09	c |    620309 |    3729    59292   173707 |    85664    85973    136 |  3.218 % |
664.60/664.96	c |    623034 |    3729    59292   173707 |    85664    78441    129 |  3.218 % |
667.90/668.23	c |    626031 |    3729    59292   173707 |    85664    81438    133 |  3.218 % |
672.00/672.34	c |    629328 |    3729    59292   173707 |    85664    84735    136 |  3.218 % |
676.40/676.78	c |    632953 |    3729    59292   173707 |    85409    78258    129 |  3.218 % |
680.70/681.06	c |    636940 |    3729    59292   173707 |    85409    82245    134 |  3.218 % |
685.10/685.46	c |    641326 |    3729    59292   173707 |    85305    77636    134 |  3.218 % |
690.89/691.24	c |    646149 |    3729    59292   173707 |    85305    82459    139 |  3.218 % |
697.29/697.62	c |    651454 |    3729    59292   173707 |    76553    69546    128 |  3.218 % |
703.49/703.89	c |    657291 |    3729    59292   173707 |    76553    75383    133 |  3.218 % |
703.60/703.99	c |    657392 |    3729    59292   173707 |    76553    75484    133 |  3.218 % |
703.79/704.10	c |    657502 |    3729    59292   173707 |    76553    75594    134 |  3.218 % |
703.89/704.26	c |    657623 |    3729    59292   173707 |    76553    75715    134 |  3.218 % |
703.99/704.40	c |    657758 |    3729    59292   173707 |    76553    75850    134 |  3.218 % |
704.19/704.55	c |    657904 |    3729    59292   173707 |    76553    75996    134 |  3.218 % |
704.39/704.76	c |    658064 |    3729    59292   173707 |    76553    76156    134 |  3.218 % |
704.59/704.91	c |    658240 |    3729    59292   173707 |    76553    76332    134 |  3.218 % |
704.79/705.11	c |    658434 |    3729    59292   173707 |    76553    76526    135 |  3.218 % |
704.99/705.39	c |    658649 |    3729    59292   173707 |    76553    76741    135 |  3.218 % |
705.39/705.76	c |    658882 |    3729    59292   173707 |    76553    69045    125 |  3.218 % |
705.59/705.95	c |    659138 |    3729    59292   173707 |    76553    69301    125 |  3.218 % |
705.79/706.17	c |    659419 |    3729    59292   173707 |    76553    69582    125 |  3.218 % |
706.09/706.49	c |    659729 |    3729    59292   173707 |    76553    69892    126 |  3.218 % |
706.49/706.80	c |    660070 |    3729    59292   173707 |    70163    70233    126 |  3.218 % |
706.89/707.21	c |    660442 |    3729    59292   173707 |    70163    70605    127 |  3.218 % |
707.29/707.61	c |    660851 |    3729    59292   173707 |    70163    63954    121 |  3.218 % |
707.79/708.14	c |    661300 |    3729    59292   173707 |    70163    64403    121 |  3.219 % |
708.19/708.51	c |    661793 |    3729    59292   173707 |    70163    64896    122 |  3.218 % |
708.69/709.02	c |    662338 |    3729    59292   173707 |    70163    65441    123 |  3.218 % |
709.19/709.59	c |    662934 |    3729    59292   173707 |    70163    66037    123 |  3.218 % |
709.89/710.25	c |    663589 |    3729    59292   173707 |    70163    66692    124 |  3.218 % |
710.69/711.07	c |    664309 |    3729    59292   173707 |    70163    67412    125 |  3.218 % |
711.59/711.91	c |    665101 |    3729    59292   173707 |    70163    68204    126 |  3.218 % |
712.39/712.80	c |    665975 |    3729    59292   173707 |    70163    69078    127 |  3.218 % |
713.39/713.77	c |    666934 |    3729    59292   173707 |    70163    70037    128 |  3.218 % |
714.49/714.84	c |    667988 |    3729    59292   173707 |    70163    71091    129 |  3.218 % |
715.59/715.98	c |    669146 |    3729    59292   173707 |    70163    65140    121 |  3.218 % |
716.89/717.20	c |    670423 |    3729    59292   173707 | 2147483647    66417    122 |  3.218 % |
718.28/718.61	c |    671825 |    3729    59292   173707 | 2147483647    67819    124 |  3.218 % |
719.48/719.84	c |    673366 |    3729    59292   173707 | 2147483647    69360    127 |  3.218 % |
721.29/721.64	c |    675061 |    3729    59292   173707 | 2147483647    71055    129 |  3.218 % |
723.58/723.91	c |    676925 |    3729    59292   173707 | 2147483647    72919    131 |  3.218 % |
725.48/725.89	c |    678974 |    3729    59292   173707 | 2147483647    74968    131 |  3.218 % |
727.88/728.24	c |    681227 |    3729    59292   173707 | 2147483647    77221    135 |  3.218 % |
730.78/731.15	c |    683707 |    3729    59292   173707 | 2147483647    79701    137 |  3.218 % |
733.98/734.32	c |    686433 |    3729    59292   173707 | 2147483647    82427    140 |  3.218 % |
737.38/737.77	c |    689432 |    3729    59292   173707 | 2147483647    85426    142 |  3.218 % |
740.88/741.23	c |    692728 |    3729    59292   173707 |    85994    77959    130 |  3.218 % |
744.78/745.15	c |    696354 |    3729    59292   173707 |    85994    81585    137 |  3.218 % |
749.07/749.48	c |    700341 |    3729    59292   173707 |    85236    85572    139 |  3.218 % |
754.67/755.08	c |    704727 |    3729    59292   173707 |    85236    80219    133 |  3.218 % |
760.27/760.66	c |    709552 |    3729    59292   173707 |    85236    85044    138 |  3.218 % |
766.57/766.91	c |    714857 |    3729    59292   173707 |    85492    79533    132 |  3.218 % |
773.66/774.07	c |    720695 |    3729    59292   173707 |    84681    85371    139 |  3.218 % |
780.57/780.96	c |    727115 |    3729    59292   173707 |    84681    81294    138 |  3.218 % |
780.67/781.09	c |    727216 |    3729    59292   173707 |    84681    81395    138 |  3.218 % |
780.86/781.22	c |    727328 |    3729    59292   173707 |    84681    81507    138 |  3.218 % |
780.96/781.37	c |    727450 |    3729    59292   173707 |    84681    81629    138 |  3.218 % |
781.16/781.52	c |    727583 |    3729    59292   173707 |    84681    81762    138 |  3.218 % |
781.36/781.74	c |    727729 |    3729    59292   173707 |    84681    81908    138 |  3.218 % |
781.56/781.92	c |    727890 |    3729    59292   173707 |    84681    82069    138 |  3.218 % |
781.77/782.13	c |    728066 |    3729    59292   173707 |    84681    82245    138 |  3.218 % |
781.96/782.37	c |    728259 |    3729    59292   173707 |    84681    82438    139 |  3.218 % |
782.26/782.67	c |    728473 |    3729    59292   173707 |    84681    82652    139 |  3.218 % |
782.56/782.96	c |    728706 |    3729    59292   173707 |    84681    82885    139 |  3.218 % |
782.86/783.29	c |    728962 |    3729    59292   173707 |    84681    83141    139 |  3.218 % |
783.26/783.63	c |    729243 |    3729    59292   173707 |    84681    83422    140 |  3.218 % |
783.56/783.96	c |    729553 |    3729    59292   173707 |    84681    83732    140 |  3.218 % |
784.06/784.41	c |    729892 |    3729    59292   173707 |    84681    84071    140 |  3.218 % |
784.46/784.87	c |    730265 |    3729    59292   173707 |    84180    84444    141 |  3.218 % |
785.16/785.54	c |    730674 |    3729    59292   173707 |    84180    75005    130 |  3.218 % |
785.66/786.02	c |    731123 |    3729    59292   173707 |    84180    75454    130 |  3.218 % |
786.06/786.48	c |    731617 |    3729    59292   173707 |    84180    75948    131 |  3.218 % |
786.56/786.98	c |    732160 |    3729    59292   173707 |    84180    76491    132 |  3.218 % |
787.16/787.55	c |    732758 |    3729    59292   173707 |    84180    77089    132 |  3.218 % |
787.86/788.27	c |    733413 |    3729    59292   173707 |    84180    77744    132 |  3.218 % |
788.56/788.91	c |    734134 |    3729    59292   173707 |    84180    78465    133 |  3.218 % |
789.36/789.77	c |    734927 |    3729    59292   173707 |    84180    79258    134 |  3.218 % |
790.46/790.85	c |    735799 |    3729    59292   173707 |    84180    80130    135 |  3.218 % |
791.66/792.02	c |    736757 |    3729    59292   173707 |    84180    81088    136 |  3.218 % |
793.05/793.47	c |    737810 |    3729    59292   173707 |    84180    82141    136 |  3.218 % |
794.45/794.87	c |    738969 |    3729    59292   173707 |    84180    83300    137 |  3.219 % |
795.96/796.30	c |    740246 |    3729    59292   173707 |    84334    84577    140 |  3.218 % |
797.55/797.98	c |    741646 |    3729    59292   173707 |    84334    75800    129 |  3.218 % |
799.26/799.69	c |    743188 |    3729    59292   173707 |    84334    77342    131 |  3.218 % |
801.15/801.55	c |    744883 |    3729    59292   173707 |    84334    79037    134 |  3.218 % |
803.35/803.75	c |    746749 |    3729    59292   173707 |    84334    80903    135 |  3.218 % |
805.65/806.03	c |    748798 |    3729    59292   173707 |    84334    82952    137 |  3.218 % |
808.35/808.77	c |    751051 |    3729    59292   173707 |    84158    75526    130 |  3.218 % |
811.15/811.54	c |    753530 |    3729    59292   173707 |    84158    78005    132 |  3.218 % |
814.05/814.45	c |    756255 |    3729    59292   173707 |    84158    80730    135 |  3.218 % |
818.05/818.42	c |    759252 |    3729    59292   173707 |    84158    83727    137 |  3.218 % |
821.55/821.99	c |    762548 |    3729    59292   173707 |    84479    77451    129 |  3.219 % |
825.75/826.14	c |    766175 |    3729    59292   173707 |    84479    81078    134 |  3.218 % |
830.94/831.32	c |    770162 |    3729    59292   173707 |    84903    85065    138 |  3.218 % |
836.04/836.45	c |    774547 |    3729    59292   173707 |    84903    79052    133 |  3.218 % |
841.84/842.26	c |    779371 |    3729    59292   173707 |    84903    83876    138 |  3.218 % |
848.14/848.51	c |    784676 |    3729    59292   173707 |    84508    78853    131 |  3.218 % |
855.44/855.87	c |    790512 |    3729    59292   173707 |    84179    84689    138 |  3.218 % |
863.73/864.13	c |    796931 |    3729    59292   173707 |    84179    80958    133 |  3.218 % |
871.73/872.13	c |    803991 |    3729    59292   173707 |    84029    77616    134 |  3.218 % |
871.84/872.29	c |    804091 |    3729    59292   173707 |    84029    77716    134 |  3.218 % |
872.04/872.43	c |    804202 |    3729    59292   173707 |    84029    77827    134 |  3.218 % |
872.14/872.59	c |    804323 |    3729    59292   173707 |    84029    77948    134 |  3.218 % |
872.34/872.75	c |    804457 |    3729    59292   173707 |    84029    78082    134 |  3.218 % |
872.54/872.91	c |    804603 |    3729    59292   173707 |    84029    78228    135 |  3.218 % |
872.64/873.08	c |    804764 |    3729    59292   173707 |    84029    78389    135 |  3.218 % |
872.84/873.28	c |    804941 |    3729    59292   173707 |    84029    78566    135 |  3.218 % |
873.04/873.48	c |    805136 |    3729    59292   173707 |    84029    78761    135 |  3.218 % |
873.34/873.72	c |    805348 |    3729    59292   173707 |    84029    78973    135 |  3.218 % |
873.54/873.99	c |    805581 |    3729    59292   173707 |    84029    79206    135 |  3.218 % |
873.94/874.33	c |    805837 |    3729    59292   173707 |    84029    79462    135 |  3.218 % |
874.24/874.65	c |    806118 |    3729    59292   173707 |    84029    79743    136 |  3.218 % |
874.64/875.08	c |    806428 |    3729    59292   173707 |    84029    80053    136 |  3.218 % |
875.04/875.49	c |    806768 |    3729    59292   173707 |    84029    80393    137 |  3.218 % |
875.53/875.99	c |    807141 |    3729    59292   173707 |    84029    80766    137 |  3.218 % |
876.13/876.53	c |    807552 |    3729    59292   173707 |    84029    81177    137 |  3.218 % |
876.63/877.08	c |    808002 |    3729    59292   173707 |    84029    81627    138 |  3.218 % |
877.23/877.61	c |    808495 |    3729    59292   173707 |    84029    82120    138 |  3.218 % |
877.83/878.28	c |    809040 |    3729    59292   173707 |    84029    82665    139 |  3.218 % |
878.73/879.14	c |    809637 |    3729    59292   173707 |    84029    83262    140 |  3.218 % |
879.64/880.06	c |    810294 |    3729    59292   173707 |    83625    83919    141 |  3.218 % |
880.53/880.93	c |    811015 |    3729    59292   173707 |    83625    74242    128 |  3.218 % |
881.33/881.74	c |    811809 |    3729    59292   173707 |    83625    75036    129 |  3.218 % |
882.43/882.86	c |    812681 |    3729    59292   173707 |    83625    75908    130 |  3.218 % |
883.43/883.89	c |    813640 |    3729    59292   173707 |    83625    76867    131 |  3.218 % |
884.63/885.05	c |    814693 |    3729    59292   173707 |    83625    77920    132 |  3.218 % |
886.03/886.42	c |    815855 |    3729    59292   173707 |    83625    79082    133 |  3.218 % |
887.63/888.00	c |    817129 |    3729    59292   173707 |    83625    80356    134 |  3.218 % |
889.03/889.43	c |    818530 |    3729    59292   173707 |    83625    81757    135 |  3.218 % |
890.73/891.14	c |    820073 |    3729    59292   173707 |    83228    83300    137 |  3.218 % |
892.93/893.39	c |    821767 |    3729    59292   173707 |    83228    73720    128 |  3.218 % |
895.13/895.50	c |    823634 |    3729    59292   173707 |    83228    75587    130 |  3.218 % |
897.43/897.84	c |    825683 |    3729    59292   173707 |    83228    77636    132 |  3.218 % |
900.13/900.58	c |    827936 |    3729    59292   173707 |    83228    79889    135 |  3.218 % |
903.32/903.70	c |    830414 |    3729    59292   173707 |    81953    82367    137 |  3.218 % |
906.52/906.93	c |    833141 |    3729    59292   173707 |    81953    75348    131 |  3.218 % |
910.02/910.40	c |    836138 |    3729    59292   173707 |    81953    78345    135 |  3.218 % |
913.72/914.17	c |    839434 |    3729    59292   173707 |    81953    81641    139 |  3.218 % |
917.02/917.40	c |    843061 |    3729    59292   173707 |    82208    76779    141 |  3.219 % |
921.52/921.92	c |    847048 |    3729    59292   173707 |    82208    80766    150 |  3.218 % |
926.82/927.28	c |    851434 |    3729    59292   173707 |    83719    74918    144 |  3.218 % |
932.61/933.01	c |    856258 |    3729    59292   173707 |    83719    79742    152 |  3.218 % |
938.92/939.38	c |    861564 |    3729    59292   173707 |    83484    76586    153 |  3.218 % |
946.41/946.80	c |    867401 |    3729    59292   173707 |    83484    82423    158 |  3.218 % |
954.01/954.48	c |    873820 |    3729    59292   173707 |    74717    69243    149 |  3.218 % |
962.11/962.55	c |    880881 |    3729    59292   173707 | 2147483647    76304    163 |  3.218 % |
970.50/970.93	c |    888645 |    3729    59292   173707 | 2147483647    84068    175 |  3.218 % |
970.70/971.10	c |    888745 |    3729    59292   173707 | 2147483647    84168    176 |  3.218 % |
970.80/971.28	c |    888857 |    3729    59292   173707 | 2147483647    84280    176 |  3.218 % |
971.00/971.44	c |    888978 |    3729    59292   173707 | 2147483647    84401    176 |  3.218 % |
971.10/971.59	c |    889111 |    3729    59292   173707 | 2147483647    84534    176 |  3.218 % |
971.30/971.78	c |    889257 |    3729    59292   173707 | 2147483647    84680    176 |  3.218 % |
971.60/972.03	c |    889417 |    3729    59292   173707 | 2147483647    84840    176 |  3.218 % |
971.80/972.27	c |    889594 |    3729    59292   173707 | 2147483647    85017    176 |  3.218 % |
972.00/972.49	c |    889787 |    3729    59292   173707 | 2147483647    85210    176 |  3.218 % |
972.40/972.85	c |    889999 |    3729    59292   173707 | 2147483647    85422    176 |  3.218 % |
972.80/973.21	c |    890233 |    3729    59292   173707 |    85423    85656    176 |  3.218 % |
973.20/973.61	c |    890489 |    3729    59292   173707 |    85423    73462    151 |  3.218 % |
973.50/973.99	c |    890771 |    3729    59292   173707 |    85423    73744    151 |  3.218 % |
973.90/974.33	c |    891081 |    3729    59292   173707 |    85423    74054    152 |  3.218 % |
974.30/974.77	c |    891427 |    3729    59292   173707 |    85423    74400    152 |  3.218 % |
974.80/975.27	c |    891799 |    3729    59292   173707 |    85423    74772    152 |  3.218 % |
975.30/975.74	c |    892212 |    3729    59292   173707 |    85423    75185    152 |  3.218 % |
975.80/976.23	c |    892664 |    3729    59292   173707 |    85423    75637    153 |  3.218 % |
976.40/976.87	c |    893157 |    3729    59292   173707 |    85423    76130    153 |  3.218 % |
977.10/977.53	c |    893700 |    3729    59292   173707 |    85423    76673    154 |  3.218 % |
977.80/978.22	c |    894299 |    3729    59292   173707 |    85423    77272    154 |  3.218 % |
978.60/979.01	c |    894954 |    3729    59292   173707 |    85423    77927    155 |  3.218 % |
979.50/979.96	c |    895674 |    3729    59292   173707 |    85423    78647    155 |  3.218 % |
980.50/980.95	c |    896466 |    3729    59292   173707 |    85423    79439    155 |  3.218 % |
981.60/982.00	c |    897337 |    3729    59292   173707 |    85423    80310    156 |  3.218 % |
982.80/983.22	c |    898295 |    3729    59292   173707 |    85423    81268    157 |  3.218 % |
984.20/984.62	c |    899348 |    3729    59292   173707 |    85423    82321    157 |  3.218 % |
985.80/986.27	c |    900506 |    3729    59292   173707 |    82977    73276    145 |  3.218 % |
987.40/987.86	c |    901780 |    3729    59292   173707 |    82977    74550    146 |  3.218 % |
988.99/989.40	c |    903180 |    3729    59292   173707 |    82977    75950    147 |  3.218 % |
990.60/991.09	c |    904721 |    3729    59292   173707 |    82977    77491    149 |  3.218 % |
992.69/993.11	c |    906415 |    3729    59292   173707 |    82977    79185    150 |  3.218 % |
994.79/995.30	c |    908280 |    3729    59292   173707 |    82977    81050    154 |  3.218 % |
997.49/997.93	c |    910329 |    3729    59292   173707 |    82772    83099    155 |  3.218 % |
999.69/1000.17	c |    912584 |    3729    59292   173707 |    82772    75698    148 |  3.218 % |
1002.59/1003.00	c |    915064 |    3729    59292   173707 |    82772    78178    150 |  3.218 % |
1005.99/1006.46	c |    917789 |    3729    59292   173707 |    82772    80903    153 |  3.218 % |
1009.19/1009.61	c |    920786 |    3729    59292   173707 |    83116    83900    155 |  3.218 % |
1013.49/1013.93	c |    924086 |    3729    59292   173707 |    83116    77187    142 |  3.218 % |
1017.68/1018.15	c |    927712 |    3729    59292   173707 |    83116    80813    146 |  3.218 % |
1022.38/1022.90	c |    931699 |    3729    59292   173707 |    83102    74817    132 |  3.218 % |
1027.98/1028.46	c |    936084 |    3729    59292   173707 |    83102    79202    136 |  3.218 % |
1033.88/1034.33	c |    940908 |    3729    59292   173707 |    83118    84026    142 |  3.218 % |
1040.08/1040.54	c |    946213 |    3729    59292   173707 |    83118    78786    142 |  3.218 % |
1047.17/1047.65	c |    952049 |    3729    59292   173707 |    82574    74875    138 |  3.218 % |
1054.67/1055.13	c |    958467 |    3729    59292   173707 |    82574    81293    146 |  3.218 % |
1062.57/1063.04	c |    965526 |    3729    59292   173707 |    82826    79209    145 |  3.218 % |
1071.46/1071.97	c |    973290 |    3729    59292   173707 |    73967    68908    137 |  3.218 % |
1081.26/1081.71	c |    981830 |    3729    59292   173707 | 2147483647    77448    153 |  3.218 % |
1081.36/1081.83	c |    981932 |    3729    59292   173707 | 2147483647    77550    153 |  3.218 % |
1081.46/1081.94	c |    982042 |    3729    59292   173707 | 2147483647    77660    153 |  3.218 % |
1081.66/1082.11	c |    982165 |    3729    59292   173707 | 2147483647    77783    153 |  3.218 % |
1081.76/1082.26	c |    982298 |    3729    59292   173707 | 2147483647    77916    153 |  3.218 % |
1081.86/1082.39	c |    982444 |    3729    59292   173707 | 2147483647    78062    153 |  3.219 % |
1082.06/1082.57	c |    982604 |    3729    59292   173707 | 2147483647    78222    153 |  3.218 % |
1082.26/1082.73	c |    982780 |    3729    59292   173707 | 2147483647    78398    154 |  3.218 % |
1082.46/1082.97	c |    982975 |    3729    59292   173707 | 2147483647    78593    154 |  3.218 % |
1082.86/1083.30	c |    983189 |    3729    59292   173707 | 2147483647    78807    154 |  3.218 % |
1083.06/1083.55	c |    983423 |    3729    59292   173707 | 2147483647    79041    154 |  3.218 % |
1083.36/1083.87	c |    983679 |    3729    59292   173707 | 2147483647    79297    154 |  3.218 % |
1083.66/1084.19	c |    983960 |    3729    59292   173707 | 2147483647    79578    154 |  3.218 % |
1084.06/1084.57	c |    984271 |    3729    59292   173707 | 2147483647    79889    154 |  3.218 % |
1084.46/1084.93	c |    984610 |    3729    59292   173707 | 2147483647    80228    155 |  3.218 % |
1084.86/1085.32	c |    984983 |    3729    59292   173707 | 2147483647    80601    155 |  3.218 % |
1085.26/1085.76	c |    985394 |    3729    59292   173707 | 2147483647    81012    155 |  3.218 % |
1085.76/1086.25	c |    985843 |    3729    59292   173707 | 2147483647    81461    156 |  3.218 % |
1086.36/1086.89	c |    986336 |    3729    59292   173707 | 2147483647    81954    156 |  3.218 % |
1086.96/1087.47	c |    986878 |    3729    59292   173707 | 2147483647    82496    156 |  3.218 % |
1087.76/1088.25	c |    987476 |    3729    59292   173707 | 2147483647    83094    156 |  3.218 % |
1088.66/1089.11	c |    988131 |    3729    59292   173707 | 2147483647    83749    157 |  3.218 % |
1089.56/1090.09	c |    988851 |    3729    59292   173707 | 2147483647    84469    157 |  3.218 % |
1090.46/1090.95	c |    989645 |    3729    59292   173707 | 2147483647    85263    158 |  3.218 % |
1091.56/1092.08	c |    990517 |    3729    59292   173707 |    85618    86135    159 |  3.218 % |
1092.96/1093.41	c |    991476 |    3729    59292   173707 |    85618    75140    143 |  3.218 % |
1094.35/1094.80	c |    992530 |    3729    59292   173707 |    85618    76194    144 |  3.218 % |
1095.85/1096.36	c |    993689 |    3729    59292   173707 |    85618    77353    146 |  3.218 % |
1097.26/1097.79	c |    994962 |    3729    59292   173707 |    85618    78626    147 |  3.218 % |
1098.95/1099.49	c |    996362 |    3729    59292   173707 |    85618    80026    148 |  3.218 % |
1100.95/1101.44	c |    997904 |    3729    59292   173707 |    85618    81568    149 |  3.218 % |
1102.75/1103.25	c |    999602 |    3729    59292   173707 |    85618    83266    151 |  3.218 % |
1104.75/1105.26	c |   1001465 |    3729    59292   173707 |    83666    85129    154 |  3.218 % |
1107.25/1107.71	c |   1003514 |    3729    59292   173707 |    83666    76965    144 |  3.218 % |
1109.35/1109.84	c |   1005769 |    3729    59292   173707 |    83666    79220    149 |  3.218 % |
1112.05/1112.56	c |   1008252 |    3729    59292   173707 |    83666    81703    152 |  3.218 % |
1114.75/1115.27	c |   1010977 |    3729    59292   173707 |    83451    84428    157 |  3.218 % |
1118.35/1118.86	c |   1013975 |    3729    59292   173707 |    83451    76200    149 |  3.218 % |
1122.15/1122.69	c |   1017273 |    3729    59292   173707 |    83451    79498    152 |  3.218 % |
1127.14/1127.66	c |   1020898 |    3729    59292   173707 |    82226    73079    139 |  3.218 % |
1131.54/1132.02	c |   1024885 |    3729    59292   173707 |    82226    77066    144 |  3.218 % |
1136.54/1137.09	c |   1029271 |    3729    59292   173707 |    82226    81452    151 |  3.218 % |
1141.94/1142.44	c |   1034094 |    3729    59292   173707 |    82181    75496    147 |  3.218 % |
1148.54/1149.01	c |   1039399 |    3729    59292   173707 |    82181    80801    154 |  3.218 % |
1155.13/1155.68	c |   1045236 |    3729    59292   173707 |    81403    76373    152 |  3.219 % |
1161.93/1162.43	c |   1051654 |    3729    59292   173707 |    81137    72981    143 |  3.218 % |
1169.73/1170.25	c |   1058713 |    3729    59292   173707 |    81137    80040    152 |  3.218 % |
1178.63/1179.13	c |   1066477 |    3729    59292   173707 |    81327    77439    153 |  3.218 % |
1189.02/1189.51	c |   1075017 |    3729    59292   173707 |    80963    76578    149 |  3.218 % |
1198.42/1198.96	c |   1084412 |    3729    59292   173707 |    81561    74730    152 |  3.218 % |
1198.52/1199.07	c |   1084512 |    3729    59292   173707 |    81561    74830    152 |  3.218 % |
1198.62/1199.19	c |   1084624 |    3729    59292   173707 |    81561    74942    153 |  3.218 % |
1198.82/1199.31	c |   1084746 |    3729    59292   173707 |    81561    75064    153 |  3.218 % |
1198.92/1199.45	c |   1084879 |    3729    59292   173707 |    81561    75197    153 |  3.218 % |
1199.12/1199.60	c |   1085025 |    3729    59292   173707 |    81561    75343    153 |  3.218 % |
1199.22/1199.78	c |   1085186 |    3729    59292   173707 |    81561    75504    153 |  3.218 % |
1199.52/1200.00	c |   1085362 |    3729    59292   173707 |    81561    75680    153 |  3.218 % |
1199.72/1200.26	c |   1085556 |    3729    59292   173707 |    81561    75874    153 |  3.218 % |

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 10963
/proc/meminfo: memFree=1892040/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310547682 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10963/statm: 1339 237 197 169 0 50 0

[startup+0.049022 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 10963
/proc/meminfo: memFree=1892040/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310547682 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10963/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101027 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 10963
/proc/meminfo: memFree=1892040/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310547682 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10963/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301057 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 10963
/proc/meminfo: memFree=1892040/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356

[startup+0.702102 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 10963
/proc/meminfo: memFree=1892040/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356

[startup+1.50218 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1885176/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=7232 CPUtime=1.2
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 1697 0 0 0 119 1 0 0 25 0 1 0 310547711 7405568 1683 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 1808 1683 77 171 0 1635 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12588

[startup+3.10135 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1882800/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=10004 CPUtime=2.79
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 2406 0 0 0 278 1 0 0 25 0 1 0 310547711 10244096 2392 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 2501 2392 77 171 0 2328 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15360

[startup+6.30169 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1878128/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=14176 CPUtime=5.99
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 3429 0 0 0 597 2 0 0 25 0 1 0 310547711 14516224 3415 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 3544 3415 77 171 0 3371 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19532

[startup+12.7014 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1870584/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=21204 CPUtime=12.39
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 5179 0 0 0 1235 4 0 0 25 0 1 0 310547711 21712896 5165 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 5301 5165 77 171 0 5128 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 26560

[startup+25.5018 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1859320/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=31844 CPUtime=25.18
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 7861 0 0 0 2512 6 0 0 25 0 1 0 310547711 32608256 7847 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 7961 7847 77 171 0 7788 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 37200

[startup+51.1015 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1843320/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=47804 CPUtime=50.77
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 11846 0 0 0 5067 10 0 0 25 0 1 0 310547711 48951296 11832 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 11951 11832 77 171 0 11778 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 53160

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1826616/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=64352 CPUtime=101.97
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 15957 0 0 0 10182 15 0 0 25 0 1 0 310547711 65896448 15943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 16088 15943 77 171 0 15915 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 69708

[startup+162.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 10969
/proc/meminfo: memFree=1826424/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=64352 CPUtime=161.93
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 15957 0 0 0 16178 15 0 0 25 0 1 0 310547711 65896448 15943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 16088 15943 77 171 0 15915 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 69708

[startup+222.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 10969
/proc/meminfo: memFree=1826296/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=64352 CPUtime=221.9
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 15957 0 0 0 22175 15 0 0 25 0 1 0 310547711 65896448 15943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 16088 15943 77 171 0 15915 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 69708

[startup+282.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 10969
/proc/meminfo: memFree=1826232/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=64352 CPUtime=281.88
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 15957 0 0 0 28173 15 0 0 25 0 1 0 310547711 65896448 15943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 16088 15943 77 171 0 15915 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 69708

[startup+342.302 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 10969
/proc/meminfo: memFree=1825976/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=64616 CPUtime=341.86
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 16018 0 0 0 34170 16 0 0 25 0 1 0 310547711 66166784 16004 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 16154 16004 77 171 0 15981 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 69972

[startup+402.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 10969
/proc/meminfo: memFree=1824568/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=65804 CPUtime=401.83
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 16325 0 0 0 40167 16 0 0 25 0 1 0 310547711 67383296 16311 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 16451 16311 77 171 0 16278 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 71160

[startup+462.302 s]

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

/proc/10969/statm: 17441 17305 77 171 0 17268 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 75120

[startup+642.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 10969
/proc/meminfo: memFree=1820216/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=69764 CPUtime=641.75
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 17319 0 0 0 64157 18 0 0 25 0 1 0 310547711 71438336 17305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 17441 17305 77 171 0 17268 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 75120

[startup+702.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 10969
/proc/meminfo: memFree=1820088/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=69764 CPUtime=701.72
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 17319 0 0 0 70154 18 0 0 25 0 1 0 310547711 71438336 17305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 17441 17305 77 171 0 17268 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 75120

[startup+762.306 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 10969
/proc/meminfo: memFree=1820024/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=69764 CPUtime=761.7
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 17319 0 0 0 76152 18 0 0 25 0 1 0 310547711 71438336 17305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 17441 17305 77 171 0 17268 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 75120

[startup+822.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 10969
/proc/meminfo: memFree=1819960/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=69764 CPUtime=821.68
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 17319 0 0 0 82150 18 0 0 25 0 1 0 310547711 71438336 17305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 17441 17305 77 171 0 17268 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 75120

[startup+882.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 10969
/proc/meminfo: memFree=1819832/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=69764 CPUtime=881.66
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 17319 0 0 0 88147 19 0 0 25 0 1 0 310547711 71438336 17305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 17441 17305 77 171 0 17268 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 75120

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1819704/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=69764 CPUtime=941.64
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 17319 0 0 0 94145 19 0 0 25 0 1 0 310547711 71438336 17305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 17441 17305 77 171 0 17268 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 75120

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1813944/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=75572 CPUtime=1001.62
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 18752 0 0 0 100142 20 0 0 25 0 1 0 310547711 77385728 18738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 18893 18738 77 171 0 18720 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 80928

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1813880/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=75496 CPUtime=1061.6
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 18752 0 0 0 106140 20 0 0 25 0 1 0 310547711 77307904 18738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 18874 18738 77 171 0 18701 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 80852

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1813752/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=75472 CPUtime=1121.58
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 18752 0 0 0 112138 20 0 0 25 0 1 0 310547711 77283328 18738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 18868 18738 77 171 0 18695 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 80828

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1813688/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=75472 CPUtime=1181.56
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 18752 0 0 0 118136 20 0 0 25 0 1 0 310547711 77283328 18738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 18868 18738 77 171 0 18695 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 80828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1813624/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=75472 CPUtime=1199.75
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 18752 0 0 0 119955 20 0 0 25 0 1 0 310547711 77283328 18738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 18868 18738 77 171 0 18695 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 80828

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10969
/proc/meminfo: memFree=1813624/2055920 swapFree=4179704/4192956
[pid=10963] ppid=10961 vsize=5356 CPUtime=0.27
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 10752 0 -1 4194304 336 1412 0 0 0 0 26 1 16 0 1 0 310547682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10963/statm: 1339 239 197 169 0 50 0
[pid=10969] ppid=10963 vsize=75472 CPUtime=1199.75
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 10752 0 -1 4194304 18752 0 0 0 119955 20 0 0 25 0 1 0 310547711 77283328 18738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10969/statm: 18868 18738 77 171 0 18695 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 80828

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.02
CPU user time (s): 1199.81
CPU system time (s): 0.21
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 80928

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

runsolver used 1.3478 second user time and 3.14252 second system time

The end

Launcher Data

Begin job on node47 at 2009-05-20 15:13:19
IDJOB=1833781
IDBENCH=70931
IDSOLVER=671
FILE ID=node47/1833781-1242825199
PBS_JOBID= 9322503
Free space on /tmp= 66200 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_9_3_5_fbc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833781-1242825199/watcher-1833781-1242825199 -o /tmp/evaluation-result-1833781-1242825199/solver-1833781-1242825199 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833781-1242825199.cnf

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

MD5SUM BENCH= 31a3aedc721d03e1d956a240f176ac5e
RANDOM SEED=1125575695

node47.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.212
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.212
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:       1892520 kB
Buffers:         13116 kB
Cached:         111844 kB
SwapCached:       7708 kB
Active:          38672 kB
Inactive:        95868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1892520 kB
SwapTotal:     4192956 kB
SwapFree:      4179704 kB
Dirty:            2636 kB
Writeback:           0 kB
Mapped:          14432 kB
Slab:            14892 kB
Committed_AS:  1074792 kB
PageTables:       1452 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= 66200 MiB
End job on node47 at 2009-05-20 15:33:22