Trace number 1821460

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-18UNSAT 734.31 734.28

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
MD5SUMba6884aaa746378e56c38fd8b3d0255e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark447.11
Satisfiable
(Un)Satisfiability was proved
Number of variables486992
Number of clauses2456708
Sum of the clauses size7147094
Maximum clause length11
Minimum clause length1
Number of clauses of size 145577
Number of clauses of size 2599727
Number of clauses of size 31431108
Number of clauses of size 4295435
Number of clauses of size 584412
Number of clauses of size over 5449

Solver Data

0.00/0.00	c Parsing...
2.13/2.21	c ==============================================================================
2.13/2.21	c |           |     ORIGINAL     |              LEARNT              |          |
2.13/2.21	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
2.13/2.21	c ==============================================================================
2.13/2.21	c |         0 | 2333194  6866110 |  699958       0        0     nan |  0.000 % |
87.03/87.03	c |         0 |  944203  3351555 |      --       0       --      -- |     --   | -1124318/-2793809
87.03/87.04	c ==============================================================================
87.03/87.04	c Result  :   #vars: 91522   #clauses: 944203   #literals: 3351555
87.03/87.04	c CPU time:   86.6 s
87.03/87.04	c ==============================================================================
88.23/88.21	c This is MiniSat 2.0 beta
88.23/88.21	c WARNING: for repeatability, setting FPU to use double precision
88.23/88.21	c ============================[ Problem Statistics ]=============================
88.23/88.21	c |                                                                             |
88.23/88.22	c |  Number of variables:  91522                                                |
88.23/88.22	c |  Number of clauses:    944203                                               |
88.23/88.83	c |  Parsing time:         0.52         s                                       |
88.23/88.87	c ============================[ Search Statistics ]==============================
88.23/88.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.23/88.87	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
88.23/88.87	c ===============================================================================
88.23/88.87	c |         0 |   91522   944203  3351555 |   314734        0    nan |  0.000 % |
88.23/88.95	c |       100 |   91521   944203  3351555 |   314734       99      8 |  0.001 % |
88.23/88.95	c |       200 |   91521   944203  3351555 |   314734      199      7 |  0.001 % |
88.23/89.01	c |       300 |   91521   944203  3351555 |   314734      299     10 |  0.001 % |
89.03/89.02	c |       411 |   91513   944203  3351555 |   314734      409     11 |  0.016 % |
89.03/89.04	c |       512 |   91513   944203  3351555 |   314734      510     11 |  0.016 % |
89.03/89.06	c |       622 |   91509   944203  3351555 |   314734      619     11 |  0.109 % |
89.03/89.06	c |       743 |   91509   944203  3351555 |   314734      740     12 |  0.109 % |
89.03/89.07	c |       843 |   91509   944203  3351555 |   314734      840     13 |  0.109 % |
89.03/89.07	c |       954 |   91509   944203  3351555 |   314734      951     13 |  0.109 % |
89.13/89.14	c |      1076 |   91508   944203  3351555 |   314734     1072     13 |  0.266 % |
89.13/89.16	c |      1209 |   91508   944203  3351555 |   314734     1205     13 |  0.266 % |
89.13/89.17	c |      1311 |   91508   944203  3351555 |   314734     1307     13 |  0.266 % |
89.13/89.19	c |      1421 |   91508   944203  3351555 |   314734     1417     13 |  0.266 % |
89.23/89.23	c |      1542 |   91504   944203  3351555 |   314734     1535     13 |  0.302 % |
89.23/89.26	c |      1675 |   91504   944203  3351555 |   314734     1668     13 |  0.302 % |
89.23/89.27	c |      1821 |   91504   944203  3351555 |   314734     1814     13 |  0.302 % |
89.23/89.29	c |      1921 |   91504   944203  3351555 |   314734     1914     13 |  0.302 % |
89.23/89.31	c |      2031 |   91504   944203  3351555 |   314734     2024     13 |  0.302 % |
89.33/89.35	c |      2152 |   91504   944203  3351555 |   314734     2145     13 |  0.302 % |
89.33/89.36	c |      2285 |   91504   944203  3351555 |   314734     2278     13 |  0.302 % |
89.33/89.38	c |      2431 |   91504   944203  3351555 |   314734     2424     13 |  0.302 % |
89.33/89.41	c |      2591 |   91504   944203  3351555 |   314734     2584     12 |  0.302 % |
89.43/89.44	c |      2693 |   91504   944203  3351555 |   314734     2686     12 |  0.302 % |
89.53/89.53	c |      2803 |   91504   944203  3351555 |   314734     2796     13 |  0.302 % |
89.53/89.54	c |      2924 |   91504   944203  3351555 |   314734     2917     13 |  0.302 % |
89.53/89.55	c |      3057 |   91504   944203  3351555 |   314734     3050     13 |  0.302 % |
89.53/89.57	c |      3203 |   91504   944203  3351555 |   314734     3196     13 |  0.302 % |
89.53/89.58	c |      3365 |   91504   944203  3351555 |   314734     3358     13 |  0.302 % |
89.53/89.61	c |      3542 |   91504   944203  3351555 |   314734     3535     13 |  0.302 % |
89.63/89.62	c |      3643 |   91504   944203  3351555 |   314734     3636     13 |  0.302 % |
89.63/89.63	c |      3753 |   91504   944203  3351555 |   314734     3746     13 |  0.302 % |
89.63/89.65	c |      3874 |   91504   944203  3351555 |   314734     3867     13 |  0.302 % |
89.73/89.76	c |      4007 |   91504   944203  3351555 |   314734     4000     13 |  0.302 % |
89.73/89.78	c |      4153 |   91504   944203  3351555 |   314734     4146     13 |  0.302 % |
89.73/89.79	c |      4314 |   91504   944203  3351555 |   314734     4307     13 |  0.302 % |
89.83/89.90	c |      4490 |   91504   944203  3351555 |   314734     4483     13 |  0.302 % |
90.03/90.02	c |      4684 |   91504   944203  3351555 |   314734     4677     14 |  0.302 % |
90.13/90.12	c |      4785 |   91504   944203  3351555 |   314734     4778     13 |  0.302 % |
90.13/90.13	c |      4896 |   91504   944203  3351555 |   314734     4889     13 |  0.302 % |
90.13/90.15	c |      5017 |   91504   944203  3351555 |   314734     5010     13 |  0.302 % |
90.13/90.16	c |      5151 |   91504   944203  3351555 |   314734     5144     14 |  0.302 % |
90.13/90.18	c |      5301 |   91503   944203  3351555 |   314734     5293     14 |  0.303 % |
90.13/90.19	c |      5461 |   91503   944203  3351555 |   314734     5453     14 |  0.303 % |
90.23/90.22	c |      5638 |   91503   944203  3351555 |   314734     5630     14 |  0.303 % |
90.23/90.24	c |      5833 |   91503   944203  3351555 |   314734     5825     13 |  0.303 % |
90.23/90.28	c |      6045 |   91503   944203  3351555 |   314734     6037     13 |  0.303 % |
90.23/90.29	c |      6145 |   91503   944203  3351555 |   314734     6137     13 |  0.303 % |
90.33/90.31	c |      6255 |   91503   944203  3351555 |   314734     6247     13 |  0.303 % |
90.33/90.34	c |      6376 |   91503   944203  3351555 |   314734     6368     13 |  0.303 % |
90.33/90.37	c |      6509 |   91503   944203  3351555 |   314734     6501     13 |  0.303 % |
90.33/90.38	c |      6656 |   91503   944203  3351555 |   314734     6648     13 |  0.303 % |
90.33/90.40	c |      6817 |   91503   944203  3351555 |   314734     6809     13 |  0.303 % |
90.43/90.45	c |      6997 |   91503   944203  3351555 |   314734     6989     13 |  0.303 % |
90.43/90.46	c |      7191 |   91470   944203  3351555 |   314734     7177     13 |  0.451 % |
90.53/90.56	c |      7403 |   91470   944203  3351555 |   314734     7389     13 |  0.451 % |
90.63/90.63	c |      7637 |   91388   944203  3351555 |   314734     7618     13 |  0.872 % |
90.63/90.64	c |      7739 |   91388   944203  3351555 |   314734     7720     13 |  0.872 % |
90.63/90.66	c |      7850 |   91388   944203  3351555 |   314734     7831     13 |  0.872 % |
90.73/90.78	c |      7972 |   91388   944203  3351555 |   314734     7953     13 |  0.872 % |
90.83/90.89	c |      8105 |   91384   944203  3351555 |   314734     8085     13 |  0.878 % |
90.93/90.93	c |      8252 |   91349   944203  3351555 |   314734     8231     13 |  1.636 % |
90.93/90.95	c |      8412 |   91308   944203  3351555 |   314734     8391     13 |  1.636 % |
90.93/90.97	c |      8588 |   91308   944203  3351555 |   314734     8567     14 |  1.636 % |
90.93/91.01	c |      8781 |   91308   944203  3351555 |   314734     8760     13 |  1.636 % |
91.03/91.04	c |      8994 |   91213   944203  3351555 |   314734     8959     13 |  2.021 % |
91.03/91.06	c |      9228 |   91198   944203  3351555 |   314734     9192     13 |  2.039 % |
91.03/91.08	c |      9485 |   91136   944203  3351555 |   314734     9449     13 |  2.039 % |
91.03/91.10	c |      9588 |   91135   944203  3351555 |   314734     9551     13 |  2.054 % |
91.13/91.12	c |      9700 |   91135   944203  3351555 |   314734     9663     13 |  2.054 % |
91.13/91.14	c |      9823 |   91135   944203  3351555 |   314734     9786     13 |  2.054 % |
91.23/91.22	c |      9956 |   91134   944203  3351555 |   314734     9919     13 |  2.054 % |
91.23/91.24	c |     10102 |   90345   944203  3351555 | 2147483647    10065     13 |  2.054 % |
91.23/91.27	c |     10264 |   90345   944203  3351555 | 2147483647    10227     13 |  2.054 % |
91.43/91.44	c |     10441 |   90345   944203  3351555 | 2147483647    10404     13 |  2.054 % |
91.73/91.73	c |     10635 |   89987   944203  3351555 | 2147483647    10586     13 |  2.266 % |
91.83/91.84	c |     10848 |   89444   867520  2920689 | 2147483647     7449     12 |  2.278 % |
91.93/92.00	c |     11081 |   89443   867520  2920689 | 2147483647     7682     12 |  2.278 % |
92.13/92.19	c |     11337 |   89441   867520  2920689 | 2147483647     7938     12 |  2.278 % |
92.23/92.28	c |     11619 |   89398   867520  2920689 | 2147483647     8217     12 |  2.472 % |
92.33/92.36	c |     11721 |   89396   867520  2920689 | 2147483647     8319     12 |  2.472 % |
92.33/92.37	c |     11833 |   89396   867520  2920689 | 2147483647     8431     12 |  2.472 % |
92.33/92.39	c |     11955 |   89396   867520  2920689 | 2147483647     8553     12 |  2.472 % |
92.33/92.40	c |     12088 |   89396   867520  2920689 | 2147483647     8686     12 |  2.472 % |
92.43/92.42	c |     12234 |   89396   867520  2920689 | 2147483647     8832     12 |  2.472 % |
92.43/92.44	c |     12395 |   89396   867520  2920689 | 2147483647     8993     12 |  2.472 % |
92.43/92.48	c |     12571 |   89396   867520  2920689 | 2147483647     9169     12 |  2.472 % |
92.53/92.61	c |     12765 |   89396   867520  2920689 | 2147483647     9363     12 |  2.472 % |
92.63/92.64	c |     12977 |   89396   867520  2920689 | 2147483647     9575     12 |  2.472 % |
92.63/92.70	c |     13210 |   89290   867520  2920689 | 2147483647     9808     12 |  2.472 % |
92.93/92.96	c |     13466 |   89290   867520  2920689 | 2147483647    10064     12 |  2.472 % |
93.03/93.04	c |     13747 |   89290   867520  2920689 | 2147483647    10345     12 |  2.472 % |
93.03/93.08	c |     14056 |   89290   867520  2920689 | 2147483647    10654     12 |  2.472 % |
93.03/93.10	c |     14156 |   89290   867520  2920689 | 2147483647    10754     12 |  2.472 % |
93.13/93.14	c |     14266 |   89290   867520  2920689 | 2147483647    10864     12 |  2.472 % |
93.13/93.14	c |     14388 |   89290   867520  2920689 | 2147483647    10986     12 |  2.472 % |
93.13/93.19	c |     14521 |   89287   867520  2920689 | 2147483647    11117     12 |  2.478 % |
93.13/93.20	c |     14667 |   89286   867520  2920689 | 2147483647    11262     12 |  2.479 % |
93.23/93.22	c |     14827 |   89286   867520  2920689 | 2147483647    11422     12 |  2.479 % |
93.23/93.26	c |     15004 |   89285   867520  2920689 | 2147483647    11599     12 |  2.479 % |
93.33/93.35	c |     15197 |   89285   867520  2920689 | 2147483647    11792     12 |  2.479 % |
93.33/93.39	c |     15411 |   89285   867520  2920689 | 2147483647    12006     12 |  2.479 % |
93.43/93.50	c |     15644 |   89285   867520  2920689 | 2147483647    12239     12 |  2.479 % |
93.53/93.57	c |     15900 |   89285   867520  2920689 | 2147483647    12495     12 |  2.479 % |
93.63/93.64	c |     16181 |   89285   867520  2920689 | 2147483647    12776     12 |  2.479 % |
93.73/93.72	c |     16490 |   89285   867520  2920689 | 2147483647    13085     12 |  2.479 % |
93.73/93.79	c |     16831 |   89285   867520  2920689 | 2147483647    13426     12 |  2.479 % |
93.83/93.82	c |     16931 |   89285   867520  2920689 | 2147483647    13526     12 |  2.479 % |
93.83/93.85	c |     17041 |   89285   867520  2920689 | 2147483647    13636     12 |  2.479 % |
93.83/93.86	c |     17162 |   89285   867520  2920689 | 2147483647    13757     12 |  2.479 % |
93.83/93.88	c |     17297 |   89285   867520  2920689 | 2147483647    13892     12 |  2.479 % |
93.83/93.89	c |     17443 |   89285   867520  2920689 | 2147483647    14038     12 |  2.479 % |
93.83/93.91	c |     17606 |   89285   867520  2920689 | 2147483647    14201     12 |  2.479 % |
93.93/94.00	c |     17783 |   89285   867520  2920689 | 2147483647    14378     12 |  2.479 % |
94.03/94.02	c |     17976 |   89285   867520  2920689 | 2147483647    14571     12 |  2.479 % |
94.03/94.04	c |     18188 |   89285   867520  2920689 | 2147483647    14783     12 |  2.479 % |
94.03/94.07	c |     18423 |   89285   867520  2920689 | 2147483647    15018     12 |  2.479 % |
94.13/94.12	c |     18679 |   89285   867520  2920689 | 2147483647    15274     13 |  2.479 % |
94.13/94.16	c |     18960 |   89285   867520  2920689 | 2147483647    15555     13 |  2.479 % |
94.23/94.21	c |     19269 |   89285   867520  2920689 | 2147483647    15864     13 |  2.479 % |
94.33/94.31	c |     19608 |   89253   863524  2898400 | 2147483647    15719     13 |  2.479 % |
94.33/94.37	c |     19984 |   89253   863524  2898400 | 2147483647    16095     13 |  2.479 % |
94.33/94.38	c |     20084 |   89253   863524  2898400 | 2147483647    16195     13 |  2.479 % |
94.33/94.40	c |     20194 |   89253   863524  2898400 | 2147483647    16305     13 |  2.479 % |
94.43/94.42	c |     20315 |   89253   863524  2898400 | 2147483647    16426     13 |  2.479 % |
94.43/94.43	c |     20448 |   89253   863524  2898400 | 2147483647    16559     13 |  2.479 % |
94.43/94.47	c |     20596 |   89253   863524  2898400 | 2147483647    16707     13 |  2.479 % |
94.53/94.52	c |     20759 |   89253   863524  2898400 | 2147483647    16870     13 |  2.479 % |
94.53/94.57	c |     20938 |   89253   863524  2898400 | 2147483647    17049     13 |  2.479 % |
94.62/94.61	c |     21132 |   89253   863524  2898400 | 2147483647    17243     13 |  2.479 % |
94.62/94.63	c |     21344 |   89253   863524  2898400 | 2147483647    17455     13 |  2.479 % |
94.62/94.66	c |     21578 |   89253   863524  2898400 | 2147483647    17689     13 |  2.479 % |
94.62/94.69	c |     21836 |   89253   863524  2898400 | 2147483647    17947     13 |  2.479 % |
94.72/94.76	c |     22118 |   89253   863524  2898400 | 2147483647    18229     13 |  2.479 % |
94.72/94.80	c |     22429 |   89253   863524  2898400 | 2147483647    18540     13 |  2.479 % |
94.82/94.90	c |     22768 |   89253   863524  2898400 | 2147483647    18879     13 |  2.479 % |
94.92/94.94	c |     23142 |   89253   863524  2898400 | 2147483647    19253     13 |  2.479 % |
95.12/95.14	c |     23555 |   89253   863524  2898400 | 2147483647    19666     13 |  2.479 % |
95.12/95.17	c |     23658 |   89253   863524  2898400 | 2147483647    19769     13 |  2.479 % |
95.12/95.20	c |     23768 |   89253   863524  2898400 | 2147483647    19879     13 |  2.479 % |
95.22/95.23	c |     23890 |   89253   863524  2898400 | 2147483647    20001     13 |  2.479 % |
95.22/95.26	c |     24023 |   89252   863524  2898400 | 2147483647    20133     13 |  2.482 % |
95.22/95.30	c |     24169 |   89252   863524  2898400 | 2147483647    20279     13 |  2.482 % |
95.32/95.38	c |     24331 |   89252   863524  2898400 | 2147483647    20441     13 |  2.482 % |
95.42/95.47	c |     24508 |   89252   863524  2898400 | 2147483647    20618     13 |  2.482 % |
95.42/95.50	c |     24701 |   89252   863524  2898400 | 2147483647    20811     13 |  2.482 % |
95.52/95.54	c |     24914 |   89252   863524  2898400 | 2147483647    21024     13 |  2.482 % |
95.52/95.56	c |     25147 |   89252   863524  2898400 | 2147483647    21257     13 |  2.482 % |
95.52/95.60	c |     25403 |   89252   863524  2898400 | 2147483647    21513     13 |  2.482 % |
95.62/95.64	c |     25687 |   89252   863524  2898400 | 2147483647    21797     13 |  2.482 % |
95.62/95.71	c |     25996 |   89252   863524  2898400 | 2147483647    22106     13 |  2.482 % |
95.72/95.75	c |     26335 |   89252   863524  2898400 | 2147483647    22445     13 |  2.483 % |
95.72/95.79	c |     26708 |   89252   863524  2898400 | 2147483647    22818     13 |  2.482 % |
95.82/95.83	c |     27117 |   89252   863524  2898400 | 2147483647    23227     13 |  2.482 % |
95.82/95.88	c |     27566 |   89252   863524  2898400 | 2147483647    23676     14 |  2.482 % |
95.92/95.92	c |     27668 |   89252   863524  2898400 | 2147483647    23778     14 |  2.482 % |
95.92/95.95	c |     27779 |   89252   863524  2898400 | 2147483647    23889     14 |  2.482 % |
95.92/95.97	c |     27902 |   89252   863524  2898400 | 2147483647    24012     14 |  2.482 % |
95.92/96.00	c |     28035 |   89252   863524  2898400 | 2147483647    24145     14 |  2.482 % |
96.02/96.03	c |     28182 |   89252   863524  2898400 | 2147483647    24292     14 |  2.482 % |
96.02/96.05	c |     28343 |   89252   863524  2898400 | 2147483647    24453     14 |  2.482 % |
96.02/96.10	c |     28519 |   89252   863524  2898400 | 2147483647    24629     14 |  2.482 % |
96.12/96.20	c |     28712 |   89252   863524  2898400 | 2147483647    24822     14 |  2.482 % |
96.22/96.24	c |     28924 |   89252   863524  2898400 | 2147483647    25034     14 |  2.482 % |
96.22/96.27	c |     29157 |   89252   863524  2898400 | 2147483647    25267     14 |  2.482 % |
96.32/96.38	c |     29418 |   89252   863524  2898400 | 2147483647    25528     14 |  2.482 % |
96.42/96.42	c |     29699 |   89252   863524  2898400 | 2147483647    25809     14 |  2.482 % |
96.42/96.47	c |     30008 |   89252   863524  2898400 | 2147483647    26118     14 |  2.482 % |
96.42/96.50	c |     30347 |   89252   863524  2898400 | 2147483647    26457     14 |  2.482 % |
96.52/96.60	c |     30719 |   89252   863524  2898400 | 2147483647    26829     14 |  2.482 % |
96.82/96.83	c |     31128 |   89250   863500  2898318 | 2147483647    27237     14 |  2.482 % |
96.82/96.88	c |     31577 |   89250   863500  2898318 | 2147483647    27686     14 |  2.482 % |
96.92/97.00	c |     32072 |   89250   863500  2898318 | 2147483647    28181     14 |  2.482 % |
97.02/97.02	c |     32172 |   89250   863500  2898318 | 2147483647    28281     14 |  2.482 % |
97.02/97.06	c |     32282 |   89250   863500  2898318 | 2147483647    28391     14 |  2.482 % |
97.02/97.07	c |     32405 |   89250   863500  2898318 | 2147483647    28514     14 |  2.482 % |
97.12/97.13	c |     32539 |   89250   863500  2898318 | 2147483647    28648     14 |  2.482 % |
97.12/97.16	c |     32685 |   89250   863500  2898318 | 2147483647    28794     14 |  2.482 % |
97.22/97.24	c |     32845 |   89250   863500  2898318 | 2147483647    28954     14 |  2.482 % |
97.22/97.26	c |     33021 |   89250   863500  2898318 | 2147483647    29130     14 |  2.482 % |
97.32/97.32	c |     33215 |   89250   863500  2898318 | 2147483647    29324     14 |  2.482 % |
97.32/97.38	c |     33427 |   89250   863500  2898318 | 2147483647    29536     14 |  2.482 % |
97.32/97.40	c |     33661 |   89250   863500  2898318 | 2147483647    29770     14 |  2.482 % |
97.42/97.43	c |     33917 |   89250   863500  2898318 | 2147483647    30026     14 |  2.482 % |
97.42/97.50	c |     34199 |   89250   863500  2898318 | 2147483647    30308     14 |  2.482 % |
97.52/97.61	c |     34509 |   89250   863500  2898318 | 2147483647    30618     14 |  2.482 % |
97.72/97.77	c |     34849 |   89250   863500  2898318 | 2147483647    30958     14 |  2.482 % |
97.82/97.86	c |     35221 |   89250   863500  2898318 | 2147483647    31330     14 |  2.482 % |
97.92/97.97	c |     35630 |   89250   863500  2898318 | 2147483647    31739     14 |  2.482 % |
98.02/98.05	c |     36079 |   89250   863500  2898318 | 2147483647    32188     14 |  2.482 % |
98.02/98.08	c |     36573 |   89250   863500  2898318 | 2147483647    32682     14 |  2.482 % |
98.12/98.15	c |     37115 |   89250   863500  2898318 | 2147483647    33224     14 |  2.482 % |
98.12/98.18	c |     37215 |   89250   863500  2898318 | 2147483647    33324     14 |  2.482 % |
98.12/98.19	c |     37326 |   89250   863500  2898318 | 2147483647    33435     14 |  2.482 % |
98.22/98.21	c |     37447 |   89250   863500  2898318 | 2147483647    33556     14 |  2.482 % |
98.22/98.23	c |     37581 |   89250   863500  2898318 | 2147483647    33690     14 |  2.482 % |
98.22/98.26	c |     37727 |   89250   863500  2898318 | 2147483647    33836     14 |  2.482 % |
98.22/98.29	c |     37887 |   89250   863500  2898318 | 2147483647    33996     14 |  2.482 % |
98.22/98.31	c |     38063 |   89250   863500  2898318 | 2147483647    34172     14 |  2.482 % |
98.32/98.32	c |     38256 |   89250   863500  2898318 | 2147483647    34365     14 |  2.482 % |
98.32/98.38	c |     38468 |   89250   863500  2898318 | 2147483647    34577     14 |  2.482 % |
98.42/98.46	c |     38702 |   89250   863500  2898318 | 2147483647    34811     14 |  2.482 % |
98.42/98.48	c |     38958 |   89250   863500  2898318 | 2147483647    35067     14 |  2.482 % |
98.42/98.50	c |     39239 |   89250   863500  2898318 | 2147483647    35348     14 |  2.482 % |
98.52/98.53	c |     39549 |   89250   863500  2898318 | 2147483647    35658     14 |  2.482 % |
98.52/98.58	c |     39889 |   89250   863500  2898318 | 2147483647    35998     14 |  2.482 % |
98.62/98.63	c |     40262 |   89250   863500  2898318 | 2147483647    36371     14 |  2.482 % |
98.72/98.72	c |     40672 |   89250   863500  2898318 | 2147483647    36781     14 |  2.482 % |
98.72/98.81	c |     41122 |   89250   863500  2898318 | 2147483647    37231     14 |  2.482 % |
98.82/98.88	c |     41617 |   89250   863500  2898318 | 2147483647    37726     14 |  2.482 % |
98.92/98.94	c |     42159 |   89250   863500  2898318 | 2147483647    38268     14 |  2.482 % |
99.02/99.06	c |     42757 |   89250   863500  2898318 | 2147483647    38866     14 |  2.482 % |
99.02/99.07	c |     42857 |   89250   863500  2898318 | 2147483647    38966     14 |  2.482 % |
99.12/99.13	c |     42967 |   89250   863500  2898318 | 2147483647    39076     14 |  2.482 % |
99.12/99.15	c |     43089 |   89250   863500  2898318 | 2147483647    39198     14 |  2.482 % |
99.12/99.16	c |     43222 |   89250   863500  2898318 | 2147483647    39331     14 |  2.482 % |
99.12/99.19	c |     43368 |   89250   863500  2898318 | 2147483647    39477     14 |  2.482 % |
99.12/99.21	c |     43529 |   89250   863500  2898318 | 2147483647    39638     14 |  2.482 % |
99.22/99.25	c |     43707 |   89250   863500  2898318 | 2147483647    39816     14 |  2.482 % |
99.22/99.29	c |     43901 |   89250   863500  2898318 | 2147483647    40010     14 |  2.482 % |
99.32/99.35	c |     44113 |   89250   863500  2898318 | 2147483647    40222     14 |  2.482 % |
99.42/99.47	c |     44347 |   89250   863500  2898318 | 2147483647    40456     14 |  2.482 % |
99.42/99.50	c |     44605 |   89250   863500  2898318 | 2147483647    40714     14 |  2.482 % |
99.62/99.62	c |     44886 |   89250   863500  2898318 | 2147483647    40995     14 |  2.482 % |
99.62/99.69	c |     45195 |   89250   863500  2898318 | 2147483647    41304     14 |  2.482 % |
99.82/99.89	c |     45534 |   89250   863500  2898318 | 2147483647    41643     14 |  2.482 % |
99.92/100.01	c |     45906 |   89250   863500  2898318 | 2147483647    42015     14 |  2.482 % |
100.32/100.32	c |     46315 |   89250   863500  2898318 | 2147483647    42424     14 |  2.482 % |
100.32/100.40	c |     46764 |   89250   863500  2898318 | 2147483647    42873     15 |  2.482 % |
100.62/100.68	c |     47257 |   89250   863500  2898318 | 2147483647    43366     15 |  2.482 % |
100.82/100.89	c |     47799 |   89250   863500  2898318 | 2147483647    43908     15 |  2.482 % |
100.92/100.99	c |     48396 |   89250   863500  2898318 | 2147483647    44505     15 |  2.482 % |
101.12/101.19	c |     49051 |   89250   863500  2898318 | 2147483647    45160     15 |  2.482 % |
101.22/101.22	c |     49151 |   89250   863500  2898318 | 2147483647    45260     15 |  2.482 % |
101.22/101.25	c |     49261 |   89250   863500  2898318 | 2147483647    45370     15 |  2.482 % |
101.22/101.27	c |     49383 |   89250   863500  2898318 | 2147483647    45492     15 |  2.482 % |
101.22/101.29	c |     49516 |   89250   863500  2898318 | 2147483647    45625     15 |  2.482 % |
101.32/101.32	c |     49663 |   89250   863500  2898318 | 2147483647    45772     15 |  2.482 % |
101.32/101.39	c |     49825 |   89250   863500  2898318 | 2147483647    45934     15 |  2.482 % |
101.42/101.44	c |     50002 |   89250   863500  2898318 | 2147483647    46111     15 |  2.482 % |
101.42/101.50	c |     50195 |   89250   863500  2898318 | 2147483647    46304     15 |  2.482 % |
101.52/101.56	c |     50407 |   89250   863500  2898318 | 2147483647    46516     15 |  2.482 % |
101.62/101.66	c |     50640 |   89250   863500  2898318 | 2147483647    46749     15 |  2.482 % |
101.72/101.77	c |     50896 |   89250   863500  2898318 | 2147483647    47005     15 |  2.482 % |
101.82/101.87	c |     51178 |   89250   863500  2898318 | 2147483647    47287     15 |  2.482 % |
101.92/101.97	c |     51488 |   89250   863500  2898318 | 2147483647    47597     15 |  2.482 % |
102.02/102.09	c |     51828 |   89250   863500  2898318 | 2147483647    47937     15 |  2.482 % |
102.22/102.24	c |     52200 |   89250   863500  2898318 | 2147483647    48309     15 |  2.482 % |
102.52/102.59	c |     52609 |   89250   863500  2898318 | 2147483647    48718     15 |  2.482 % |
102.62/102.67	c |     53059 |   89250   863500  2898318 | 2147483647    49168     15 |  2.482 % |
102.72/102.79	c |     53553 |   89250   863500  2898318 | 2147483647    49662     15 |  2.482 % |
102.82/102.90	c |     54096 |   89250   863500  2898318 | 2147483647    50205     15 |  2.482 % |
103.02/103.06	c |     54695 |   89250   863500  2898318 | 2147483647    50804     15 |  2.482 % |
103.12/103.20	c |     55350 |   89250   863500  2898318 | 2147483647    51459     15 |  2.482 % |
103.43/103.45	c |     56071 |   89250   863500  2898318 | 2147483647    52180     15 |  2.482 % |
103.43/103.48	c |     56173 |   89250   863500  2898318 | 2147483647    52282     15 |  2.482 % |
103.43/103.50	c |     56285 |   89250   863500  2898318 | 2147483647    52394     15 |  2.482 % |
103.52/103.53	c |     56407 |   89250   863500  2898318 | 2147483647    52516     15 |  2.482 % |
103.52/103.58	c |     56540 |   89250   863500  2898318 | 2147483647    52649     15 |  2.482 % |
103.62/103.62	c |     56686 |   89250   863500  2898318 | 2147483647    52795     15 |  2.482 % |
103.72/103.72	c |     56846 |   89250   863500  2898318 | 2147483647    52955     15 |  2.482 % |
103.72/103.80	c |     57022 |   89250   863500  2898318 | 2147483647    53131     15 |  2.482 % |
103.82/103.86	c |     57215 |   89250   863500  2898318 | 2147483647    53324     15 |  2.482 % |
103.92/103.95	c |     57430 |   89250   863500  2898318 | 2147483647    53539     15 |  2.482 % |
104.02/104.07	c |     57663 |   89250   863500  2898318 | 2147483647    53772     15 |  2.482 % |
104.12/104.11	c |     57919 |   89250   863500  2898318 | 2147483647    54028     15 |  2.482 % |
104.22/104.22	c |     58202 |   89250   863500  2898318 | 2147483647    54311     15 |  2.482 % |
104.22/104.29	c |     58511 |   89250   863500  2898318 | 2147483647    54620     15 |  2.482 % |
104.42/104.42	c |     58850 |   89250   863500  2898318 | 2147483647    54959     15 |  2.482 % |
104.53/104.58	c |     59223 |   89250   863500  2898318 | 2147483647    55332     15 |  2.482 % |
104.72/104.72	c |     59635 |   89250   863500  2898318 | 2147483647    55744     15 |  2.482 % |
104.82/104.87	c |     60085 |   89250   863500  2898318 | 2147483647    56194     15 |  2.482 % |
104.92/104.98	c |     60580 |   89250   863500  2898318 | 2147483647    56689     15 |  2.482 % |
105.12/105.18	c |     61124 |   89250   863500  2898318 | 2147483647    57233     16 |  2.482 % |
105.22/105.30	c |     61720 |   89250   863500  2898318 | 2147483647    57829     16 |  2.482 % |
105.52/105.57	c |     62375 |   89250   863500  2898318 | 2147483647    58484     16 |  2.482 % |
105.82/105.89	c |     63095 |   89247   863476  2898236 | 2147483647    59201     16 |  2.486 % |
106.02/106.11	c |     63888 |   89247   863476  2898236 | 2147483647    59994     16 |  2.486 % |
106.12/106.17	c |     63990 |   89247   863476  2898236 | 2147483647    60096     16 |  2.486 % |
106.12/106.20	c |     64100 |   89247   863476  2898236 | 2147483647    60206     16 |  2.486 % |
106.22/106.25	c |     64221 |   89247   863476  2898236 | 2147483647    60327     16 |  2.486 % |
106.22/106.31	c |     64354 |   89247   863476  2898236 | 2147483647    60460     16 |  2.486 % |
106.32/106.35	c |     64500 |   89247   863476  2898236 | 2147483647    60606     16 |  2.486 % |
106.42/106.46	c |     64660 |   89247   863476  2898236 | 2147483647    60766     16 |  2.486 % |
106.52/106.54	c |     64837 |   89247   863476  2898236 | 2147483647    60943     16 |  2.486 % |
106.62/106.62	c |     65031 |   89247   863476  2898236 | 2147483647    61137     16 |  2.486 % |
106.62/106.70	c |     65244 |   89247   863476  2898236 | 2147483647    61350     16 |  2.486 % |
106.73/106.78	c |     65478 |   89247   863476  2898236 | 2147483647    61584     16 |  2.486 % |
106.82/106.85	c |     65734 |   89247   863476  2898236 | 2147483647    61840     16 |  2.486 % |
106.92/106.93	c |     66017 |   89247   863476  2898236 | 2147483647    62123     16 |  2.486 % |
107.12/107.16	c |     66327 |   89247   863476  2898236 | 2147483647    62433     16 |  2.486 % |
107.22/107.27	c |     66667 |   89247   863476  2898236 | 2147483647    62773     16 |  2.486 % |
107.42/107.44	c |     67040 |   89247   863476  2898236 | 2147483647    63146     16 |  2.486 % |
107.52/107.58	c |     67449 |   89247   863476  2898236 | 2147483647    63555     16 |  2.486 % |
107.62/107.69	c |     67900 |   89247   863476  2898236 | 2147483647    64006     16 |  2.486 % |
107.92/107.98	c |     68395 |   89247   863476  2898236 | 2147483647    64501     16 |  2.486 % |
108.12/108.12	c |     68938 |   89247   863476  2898236 | 2147483647    65044     16 |  2.486 % |
108.42/108.42	c |     69534 |   89247   863476  2898236 | 2147483647    65640     16 |  2.486 % |
108.62/108.62	c |     70190 |   89247   863476  2898236 | 2147483647    66296     16 |  2.486 % |
108.82/108.84	c |     70910 |   89247   863476  2898236 | 2147483647    67016     17 |  2.486 % |
109.02/109.06	c |     71703 |   89247   863476  2898236 | 2147483647    67809     17 |  2.486 % |
109.62/109.69	c |     72574 |   89247   863476  2898236 | 2147483647    68680     17 |  2.486 % |
109.72/109.74	c |     72674 |   89247   863476  2898236 | 2147483647    68780     17 |  2.486 % |
109.72/109.78	c |     72785 |   89247   863476  2898236 | 2147483647    68891     17 |  2.486 % |
109.82/109.83	c |     72906 |   89247   863476  2898236 | 2147483647    69012     17 |  2.486 % |
109.82/109.89	c |     73039 |   89247   863476  2898236 | 2147483647    69145     17 |  2.486 % |
109.92/109.99	c |     73185 |   89247   863476  2898236 | 2147483647    69291     17 |  2.486 % |
110.03/110.05	c |     73346 |   89247   863476  2898236 | 2147483647    69452     17 |  2.486 % |
110.12/110.11	c |     73529 |   89247   863476  2898236 | 2147483647    69635     17 |  2.486 % |
110.22/110.23	c |     73722 |   89247   863476  2898236 | 2147483647    69828     17 |  2.486 % |
110.32/110.41	c |     73935 |   89247   863476  2898236 | 2147483647    70041     17 |  2.486 % |
110.42/110.50	c |     74170 |   89247   863476  2898236 | 2147483647    70276     17 |  2.486 % |
110.52/110.58	c |     74426 |   89247   863476  2898236 | 2147483647    70532     17 |  2.486 % |
110.62/110.69	c |     74707 |   89247   863476  2898236 | 2147483647    70813     17 |  2.486 % |
110.82/110.83	c |     75016 |   89247   863476  2898236 | 2147483647    71122     17 |  2.486 % |
110.82/110.89	c |     75357 |   89247   863476  2898236 | 2147483647    71463     17 |  2.486 % |
111.13/111.21	c |     75730 |   89247   863476  2898236 | 2147483647    71836     17 |  2.486 % |
111.32/111.33	c |     76141 |   89247   863476  2898236 | 2147483647    72247     17 |  2.486 % |
111.52/111.53	c |     76591 |   89247   863476  2898236 | 2147483647    72697     17 |  2.486 % |
111.52/111.59	c |     77085 |   89247   863476  2898236 | 2147483647    73191     17 |  2.486 % |
111.62/111.70	c |     77628 |   89247   863476  2898236 | 2147483647    73734     17 |  2.486 % |
111.82/111.83	c |     78224 |   89247   863476  2898236 | 2147483647    74330     17 |  2.486 % |
111.92/111.97	c |     78880 |   89247   863476  2898236 | 2147483647    74986     17 |  2.486 % |
112.12/112.20	c |     79600 |   89247   863476  2898236 | 2147483647    75706     17 |  2.486 % |
112.62/112.66	c |     80392 |   89247   863476  2898236 | 2147483647    76498     17 |  2.486 % |
112.92/112.93	c |     81264 |   89247   863476  2898236 | 2147483647    77370     17 |  2.486 % |
113.22/113.27	c |     82222 |   89247   863476  2898236 | 2147483647    78328     17 |  2.486 % |
113.33/113.33	c |     82322 |   89247   863476  2898236 | 2147483647    78428     17 |  2.486 % |
113.33/113.38	c |     82433 |   89247   863476  2898236 | 2147483647    78539     17 |  2.486 % |
113.42/113.43	c |     82555 |   89247   863476  2898236 | 2147483647    78661     17 |  2.486 % |
113.42/113.47	c |     82689 |   89247   863476  2898236 | 2147483647    78795     17 |  2.486 % |
113.52/113.55	c |     82836 |   89247   863476  2898236 | 2147483647    78942     17 |  2.486 % |
113.62/113.65	c |     82997 |   89247   863476  2898236 | 2147483647    79103     17 |  2.486 % |
113.72/113.73	c |     83175 |   89247   863476  2898236 | 2147483647    79281     17 |  2.486 % |
113.82/113.86	c |     83368 |   89247   863476  2898236 | 2147483647    79474     17 |  2.486 % |
113.92/113.93	c |     83580 |   89247   863476  2898236 | 2147483647    79686     17 |  2.486 % |
114.02/114.07	c |     83814 |   89247   863476  2898236 | 2147483647    79920     17 |  2.486 % |
114.12/114.16	c |     84074 |   89247   863476  2898236 | 2147483647    80180     17 |  2.486 % |
114.22/114.28	c |     84357 |   89247   863476  2898236 | 2147483647    80463     17 |  2.486 % |
114.32/114.42	c |     84667 |   89247   863476  2898236 | 2147483647    80773     17 |  2.486 % |
114.52/114.52	c |     85007 |   89247   863476  2898236 | 2147483647    81113     17 |  2.486 % |
114.72/114.71	c |     85379 |   89247   863476  2898236 | 2147483647    81485     17 |  2.486 % |
114.82/114.88	c |     85788 |   89247   863476  2898236 | 2147483647    81894     17 |  2.486 % |
115.02/115.07	c |     86237 |   89247   863476  2898236 | 2147483647    82343     17 |  2.486 % |
115.22/115.23	c |     86731 |   89247   863476  2898236 | 2147483647    82837     17 |  2.486 % |
115.42/115.44	c |     87273 |   89247   863476  2898236 | 2147483647    83379     17 |  2.486 % |
115.62/115.61	c |     87871 |   89247   863476  2898236 | 2147483647    83977     17 |  2.486 % |
115.72/115.73	c |     88527 |   89247   863476  2898236 | 2147483647    84633     17 |  2.486 % |
116.02/116.02	c |     89247 |   89247   863476  2898236 | 2147483647    85353     18 |  2.486 % |
116.32/116.32	c |     90043 |   89247   863476  2898236 | 2147483647    86149     18 |  2.486 % |
116.63/116.70	c |     90915 |   89247   863476  2898236 | 2147483647    87021     18 |  2.486 % |
117.02/117.04	c |     91874 |   89247   863476  2898236 | 2147483647    87980     18 |  2.486 % |
117.32/117.40	c |     92928 |   89247   863476  2898236 | 2147483647    89034     18 |  2.486 % |
117.42/117.48	c |     93028 |   89247   863476  2898236 | 2147483647    89134     18 |  2.486 % |
117.51/117.52	c |     93139 |   89247   863476  2898236 | 2147483647    89245     18 |  2.486 % |
117.51/117.58	c |     93260 |   89247   863476  2898236 | 2147483647    89366     18 |  2.486 % |
117.61/117.63	c |     93393 |   89247   863476  2898236 | 2147483647    89499     18 |  2.486 % |
117.61/117.72	c |     93539 |   89247   863476  2898236 | 2147483647    89645     18 |  2.486 % |
117.81/117.85	c |     93699 |   89247   863476  2898236 | 2147483647    89805     18 |  2.486 % |
117.81/117.88	c |     93876 |   89247   863476  2898236 | 2147483647    89982     18 |  2.486 % |
117.91/117.94	c |     94070 |   89247   863476  2898236 | 2147483647    90176     18 |  2.486 % |
117.91/117.99	c |     94283 |   89247   863476  2898236 | 2147483647    90389     18 |  2.486 % |
118.01/118.08	c |     94518 |   89247   863476  2898236 | 2147483647    90624     18 |  2.486 % |
118.21/118.21	c |     94775 |   89247   863476  2898236 | 2147483647    90881     18 |  2.486 % |
118.31/118.33	c |     95056 |   89247   863476  2898236 | 2147483647    91162     18 |  2.486 % |
118.41/118.48	c |     95366 |   89247   863476  2898236 | 2147483647    91472     18 |  2.486 % |
118.61/118.66	c |     95705 |   89247   863476  2898236 | 2147483647    91811     18 |  2.486 % |
118.82/118.83	c |     96078 |   89247   863476  2898236 | 2147483647    92184     18 |  2.486 % |
118.91/118.93	c |     96487 |   89247   863476  2898236 | 2147483647    92593     18 |  2.486 % |
119.11/119.14	c |     96937 |   89247   863476  2898236 | 2147483647    93043     18 |  2.486 % |
119.21/119.25	c |     97432 |   89247   863476  2898236 | 2147483647    93538     18 |  2.486 % |
119.41/119.48	c |     97975 |   89247   863476  2898236 | 2147483647    94081     18 |  2.486 % |
119.71/119.73	c |     98571 |   89247   863476  2898236 | 2147483647    94677     18 |  2.486 % |
120.21/120.24	c |     99226 |   89247   863476  2898236 | 2147483647    95332     18 |  2.486 % |
120.51/120.58	c |     99946 |   89247   863476  2898236 | 2147483647    96052     18 |  2.486 % |
121.02/121.04	c |    100738 |   89246   863472  2898228 | 2147483647    96843     18 |  2.487 % |
121.51/121.58	c |    101609 |   89246   863472  2898228 | 2147483647    97714     18 |  2.487 % |
122.01/122.06	c |    102569 |   89246   863472  2898228 | 2147483647    98674     18 |  2.487 % |
122.61/122.71	c |    103622 |   89246   863472  2898228 | 2147483647    99727     18 |  2.487 % |
123.11/123.13	c |    104780 |   89246   863472  2898228 | 2147483647   100885     19 |  2.487 % |
123.11/123.17	c |    104882 |   89246   863472  2898228 | 2147483647   100987     19 |  2.487 % |
123.11/123.22	c |    104993 |   89246   863472  2898228 | 2147483647   101098     19 |  2.487 % |
123.22/123.27	c |    105116 |   89246   863472  2898228 | 2147483647   101221     19 |  2.487 % |
123.31/123.35	c |    105250 |   89246   863472  2898228 | 2147483647   101355     19 |  2.487 % |
123.41/123.43	c |    105396 |   89246   863472  2898228 | 2147483647   101501     19 |  2.487 % |
123.51/123.58	c |    105556 |   89246   863472  2898228 | 2147483647   101661     19 |  2.487 % |
123.51/123.60	c |    105734 |   89246   863472  2898228 | 2147483647   101839     19 |  2.487 % |
123.61/123.66	c |    105927 |   89246   863472  2898228 | 2147483647   102032     19 |  2.487 % |
123.61/123.70	c |    106140 |   89246   863472  2898228 | 2147483647   102245     19 |  2.487 % |
123.71/123.80	c |    106374 |   89246   863472  2898228 | 2147483647   102479     19 |  2.487 % |
123.91/123.97	c |    106631 |   89246   863472  2898228 | 2147483647   102736     19 |  2.487 % |
124.01/124.06	c |    106913 |   89246   863472  2898228 | 2147483647   103018     19 |  2.487 % |
124.11/124.16	c |    107223 |   89246   863472  2898228 | 2147483647   103328     19 |  2.487 % |
124.11/124.21	c |    107562 |   89246   863472  2898228 | 2147483647   103667     19 |  2.487 % |
124.21/124.31	c |    107934 |   89246   863472  2898228 | 2147483647   104039     19 |  2.487 % |
124.41/124.43	c |    108344 |   89246   863472  2898228 | 2147483647   104449     19 |  2.487 % |
124.51/124.54	c |    108793 |   89246   863472  2898228 | 2147483647   104898     19 |  2.487 % |
124.61/124.67	c |    109286 |   89246   863472  2898228 | 2147483647   105391     19 |  2.487 % |
124.91/124.94	c |    109828 |   89246   863472  2898228 | 2147483647   105933     19 |  2.487 % |
125.11/125.17	c |    110427 |   89246   863472  2898228 | 2147483647   106532     19 |  2.487 % |
125.31/125.35	c |    111082 |   89246   863472  2898228 | 2147483647   107187     19 |  2.487 % |
125.42/125.46	c |    111805 |   89246   863472  2898228 | 2147483647   107910     19 |  2.487 % |
125.61/125.70	c |    112598 |   89246   863472  2898228 | 2147483647   108703     19 |  2.487 % |
126.01/126.08	c |    113469 |   89246   863472  2898228 | 2147483647   109574     19 |  2.487 % |
126.31/126.39	c |    114427 |   89246   863472  2898228 | 2147483647   110532     19 |  2.487 % |
127.11/127.15	c |    115480 |   89246   863472  2898228 | 2147483647   111585     19 |  2.487 % |
127.71/127.78	c |    116638 |   89246   863472  2898228 | 2147483647   112743     19 |  2.487 % |
128.21/128.22	c |    117911 |   89246   863472  2898228 | 2147483647   114016     19 |  2.487 % |
128.31/128.31	c |    118012 |   89246   863472  2898228 | 2147483647   114117     19 |  2.487 % |
128.41/128.44	c |    118122 |   89246   863472  2898228 | 2147483647   114227     19 |  2.487 % |
128.51/128.56	c |    118243 |   89246   863472  2898228 | 2147483647   114348     19 |  2.487 % |
128.61/128.67	c |    118377 |   89246   863472  2898228 | 2147483647   114482     19 |  2.487 % |
128.72/128.78	c |    118525 |   89246   863472  2898228 | 2147483647   114630     19 |  2.487 % |
128.91/128.98	c |    118688 |   89246   863472  2898228 | 2147483647   114793     19 |  2.487 % |
129.11/129.18	c |    118864 |   89246   863472  2898228 | 2147483647   114969     19 |  2.487 % |
129.21/129.28	c |    119059 |   89246   863472  2898228 | 2147483647   115164     19 |  2.487 % |
129.41/129.48	c |    119271 |   89246   863472  2898228 | 2147483647   115376     19 |  2.487 % |
129.61/129.61	c |    119504 |   89246   863472  2898228 | 2147483647   115609     19 |  2.487 % |
129.71/129.81	c |    119760 |   89246   863472  2898228 | 2147483647   115865     19 |  2.487 % |
129.91/130.00	c |    120042 |   89246   863472  2898228 | 2147483647   116147     19 |  2.487 % |
130.31/130.36	c |    120351 |   89243   862120  2892854 | 2147483647   116455     19 |  2.490 % |
130.61/130.66	c |    120691 |   89243   862120  2892854 | 2147483647   116795     19 |  2.490 % |
130.81/130.89	c |    121063 |   89243   862120  2892854 | 2147483647   117167     19 |  2.490 % |
131.01/131.10	c |    121472 |   89243   862120  2892854 | 2147483647   117576     19 |  2.490 % |
131.41/131.41	c |    121922 |   89243   862120  2892854 | 2147483647   118026     19 |  2.490 % |
131.71/131.75	c |    122416 |   89243   862120  2892854 | 2147483647   118520     19 |  2.490 % |
132.02/132.10	c |    122958 |   89243   862120  2892854 | 2147483647   119062     19 |  2.490 % |
132.51/132.53	c |    123557 |   89243   862120  2892854 | 2147483647   119661     19 |  2.490 % |
132.91/132.95	c |    124215 |   89243   862120  2892854 | 2147483647   120319     19 |  2.490 % |
133.41/133.43	c |    124935 |   89243   862120  2892854 | 2147483647   121039     19 |  2.490 % |
133.91/134.00	c |    125727 |   89243   862120  2892854 | 2147483647   121831     19 |  2.490 % |
134.31/134.34	c |    126600 |   89243   862120  2892854 | 2147483647   122704     19 |  2.490 % |
134.81/134.86	c |    127558 |   89243   862120  2892854 | 2147483647   123662     19 |  2.490 % |
135.41/135.43	c |    128611 |   89243   862120  2892854 | 2147483647   124715     19 |  2.490 % |
135.91/135.94	c |    129770 |   89243   862120  2892854 | 2147483647   125874     19 |  2.490 % |
136.81/136.87	c |    131044 |   89243   862120  2892854 | 2147483647   127148     19 |  2.490 % |
137.41/137.50	c |    132444 |   89243   862120  2892854 | 2147483647   128548     19 |  2.490 % |
137.52/137.54	c |    132544 |   89243   862120  2892854 | 2147483647   128648     19 |  2.490 % |
137.52/137.58	c |    132656 |   89243   862120  2892854 | 2147483647   128760     20 |  2.490 % |
137.61/137.67	c |    132778 |   89243   862120  2892854 | 2147483647   128882     20 |  2.490 % |
137.71/137.75	c |    132916 |   89243   862120  2892854 | 2147483647   129020     20 |  2.490 % |
137.81/137.89	c |    133063 |   89243   862120  2892854 | 2147483647   129167     20 |  2.490 % |
138.01/138.03	c |    133224 |   89243   862120  2892854 | 2147483647   129328     20 |  2.490 % |
138.11/138.12	c |    133400 |   89243   862120  2892854 | 2147483647   129504     20 |  2.490 % |
138.21/138.27	c |    133593 |   89243   862120  2892854 | 2147483647   129697     20 |  2.490 % |
138.51/138.55	c |    133805 |   89243   862120  2892854 | 2147483647   129909     20 |  2.490 % |
138.62/138.67	c |    134039 |   89243   862120  2892854 | 2147483647   130143     20 |  2.490 % |
138.91/138.93	c |    134296 |   89243   862120  2892854 | 2147483647   130400     20 |  2.490 % |
139.11/139.14	c |    134579 |   89243   862120  2892854 | 2147483647   130683     20 |  2.490 % |
139.41/139.49	c |    134889 |   89243   862120  2892854 | 2147483647   130993     20 |  2.490 % |
139.61/139.69	c |    135230 |   89243   862120  2892854 | 2147483647   131334     20 |  2.490 % |
139.91/139.93	c |    135602 |   89243   862120  2892854 | 2147483647   131706     20 |  2.490 % |
140.11/140.13	c |    136012 |   89243   862120  2892854 | 2147483647   132116     20 |  2.490 % |
140.41/140.43	c |    136462 |   89243   862120  2892854 | 2147483647   132566     20 |  2.490 % |
140.51/140.60	c |    136956 |   89243   862120  2892854 | 2147483647   133060     20 |  2.490 % |
140.91/140.97	c |    137498 |   89243   862120  2892854 | 2147483647   133602     20 |  2.490 % |
141.31/141.31	c |    138095 |   89243   862120  2892854 | 2147483647   134199     20 |  2.490 % |
141.92/141.93	c |    138750 |   89243   862120  2892854 | 2147483647   134854     20 |  2.490 % |
142.41/142.50	c |    139474 |   89243   862120  2892854 | 2147483647   135578     20 |  2.490 % |
142.91/142.93	c |    140266 |   89243   862120  2892854 | 2147483647   136370     20 |  2.490 % |
143.31/143.38	c |    141138 |   89243   862120  2892854 | 2147483647   137242     20 |  2.490 % |
144.01/144.08	c |    142096 |   89243   862120  2892854 | 2147483647   138200     20 |  2.490 % |
144.61/144.67	c |    143149 |   89243   862120  2892854 | 2147483647   139253     20 |  2.490 % |
145.31/145.35	c |    144308 |   89243   862120  2892854 | 2147483647   140412     20 |  2.490 % |
145.61/145.70	c |    145581 |   89243   862120  2892854 | 2147483647   141685     20 |  2.490 % |
146.11/146.16	c |    146983 |   89243   862120  2892854 | 2147483647   143087     20 |  2.490 % |
147.51/147.55	c |    148525 |   89243   862120  2892854 | 2147483647   144629     20 |  2.490 % |
147.61/147.69	c |    148625 |   89243   862120  2892854 | 2147483647   144729     20 |  2.490 % |
147.71/147.77	c |    148737 |   89243   862120  2892854 | 2147483647   144841     20 |  2.490 % |
147.81/147.90	c |    148858 |   89243   862120  2892854 | 2147483647   144962     20 |  2.490 % |
148.01/148.02	c |    148992 |   89243   862120  2892854 | 2147483647   145096     20 |  2.490 % |
148.11/148.15	c |    149139 |   89243   862120  2892854 | 2147483647   145243     20 |  2.490 % |
148.21/148.23	c |    149302 |   89243   862120  2892854 | 2147483647   145406     20 |  2.490 % |
148.41/148.42	c |    149478 |   89243   862120  2892854 | 2147483647   145582     20 |  2.490 % |
148.61/148.61	c |    149671 |   89243   862120  2892854 | 2147483647   145775     20 |  2.490 % |
148.71/148.81	c |    149884 |   89243   862120  2892854 | 2147483647   145988     20 |  2.490 % |
149.01/149.10	c |    150117 |   89243   862120  2892854 | 2147483647   146221     20 |  2.490 % |
149.21/149.26	c |    150374 |   89243   862120  2892854 | 2147483647   146478     20 |  2.490 % |
149.41/149.48	c |    150656 |   89243   862120  2892854 | 2147483647   146760     20 |  2.490 % |
149.62/149.68	c |    150965 |   89243   862120  2892854 | 2147483647   147069     20 |  2.490 % |
149.81/149.90	c |    151305 |   89243   862120  2892854 | 2147483647   147409     20 |  2.490 % |
150.11/150.13	c |    151677 |   89243   862120  2892854 | 2147483647   147781     20 |  2.490 % |
150.41/150.43	c |    152086 |   89243   862120  2892854 | 2147483647   148190     20 |  2.490 % |
150.72/150.75	c |    152536 |   89243   862120  2892854 | 2147483647   148640     20 |  2.490 % |
151.31/151.31	c |    153029 |   89243   862120  2892854 | 2147483647   149133     20 |  2.490 % |
151.61/151.69	c |    153572 |   89243   862120  2892854 | 2147483647   149676     20 |  2.490 % |
152.21/152.22	c |    154170 |   89243   862120  2892854 | 2147483647   150274     20 |  2.490 % |
152.61/152.67	c |    154826 |   89243   862120  2892854 | 2147483647   150930     20 |  2.490 % |
153.11/153.15	c |    155546 |   89243   862120  2892854 | 2147483647   151650     20 |  2.490 % |
153.51/153.51	c |    156338 |   89243   862120  2892854 | 2147483647   152442     20 |  2.490 % |
154.21/154.30	c |    157209 |   89243   862120  2892854 | 2147483647   153313     20 |  2.490 % |
155.01/155.04	c |    158168 |   89243   862120  2892854 | 2147483647   154272     21 |  2.490 % |
155.41/155.43	c |    159221 |   89243   862120  2892854 | 2147483647   155325     21 |  2.490 % |
156.22/156.30	c |    160379 |   89243   862120  2892854 | 2147483647   156483     21 |  2.490 % |
157.32/157.40	c |    161658 |   89243   862120  2892854 | 2147483647   157762     21 |  2.490 % |
158.82/158.86	c |    163060 |   89243   862120  2892854 | 2147483647   159164     21 |  2.490 % |
160.42/160.48	c |    164601 |   89243   862120  2892854 | 2147483647   160705     21 |  2.490 % |
161.92/161.98	c |    166296 |   89243   862120  2892854 | 2147483647   162400     21 |  2.490 % |
162.02/162.05	c |    166396 |   89243   862120  2892854 | 2147483647   162500     21 |  2.490 % |
162.12/162.13	c |    166506 |   89243   862120  2892854 | 2147483647   162610     21 |  2.490 % |
162.22/162.28	c |    166627 |   89243   862120  2892854 | 2147483647   162731     21 |  2.490 % |
162.32/162.37	c |    166763 |   89243   862120  2892854 | 2147483647   162867     21 |  2.490 % |
162.42/162.50	c |    166909 |   89243   862120  2892854 | 2147483647   163013     21 |  2.490 % |
162.62/162.67	c |    167070 |   89243   862120  2892854 | 2147483647   163174     21 |  2.490 % |
162.82/162.83	c |    167246 |   89243   862120  2892854 | 2147483647   163350     21 |  2.490 % |
162.92/163.01	c |    167439 |   89243   862120  2892854 | 2147483647   163543     21 |  2.490 % |
163.22/163.28	c |    167652 |   89243   862120  2892854 | 2147483647   163756     21 |  2.490 % |
163.32/163.40	c |    167886 |   89243   862120  2892854 | 2147483647   163990     21 |  2.490 % |
163.62/163.72	c |    168142 |   89243   862120  2892854 | 2147483647   164246     21 |  2.490 % |
163.82/163.88	c |    168424 |   89243   862120  2892854 | 2147483647   164528     21 |  2.490 % |
164.22/164.22	c |    168735 |   89243   862120  2892854 | 2147483647   164839     21 |  2.490 % |
164.32/164.37	c |    169074 |   89243   862120  2892854 | 2147483647   165178     21 |  2.490 % |
164.72/164.75	c |    169449 |   89243   862120  2892854 | 2147483647   165553     21 |  2.490 % |
164.92/164.99	c |    169859 |   89243   862120  2892854 | 2147483647   165963     21 |  2.490 % |
165.32/165.33	c |    170308 |   89243   862120  2892854 | 2147483647   166412     21 |  2.490 % |
165.52/165.59	c |    170802 |   89243   862120  2892854 | 2147483647   166906     21 |  2.490 % |
165.82/165.89	c |    171344 |   89243   862120  2892854 | 2147483647   167448     21 |  2.490 % |
166.42/166.50	c |    171940 |   89243   862120  2892854 | 2147483647   168044     21 |  2.490 % |
166.72/166.75	c |    172595 |   89243   862120  2892854 | 2147483647   168699     21 |  2.490 % |
167.12/167.18	c |    173315 |   89243   862120  2892854 | 2147483647   169419     21 |  2.490 % |
167.42/167.45	c |    174109 |   89243   862120  2892854 | 2147483647   170213     21 |  2.490 % |
167.72/167.77	c |    174980 |   89243   862120  2892854 | 2147483647   171084     21 |  2.490 % |
168.22/168.25	c |    175939 |   89243   862120  2892854 | 2147483647   172043     21 |  2.490 % |
168.52/168.61	c |    176993 |   89243   862120  2892854 | 2147483647   173097     21 |  2.490 % |
169.12/169.12	c |    178154 |   89243   862120  2892854 | 2147483647   174258     21 |  2.490 % |
169.92/169.95	c |    179428 |   89243   862120  2892854 | 2147483647   175532     22 |  2.490 % |
171.02/171.08	c |    180831 |   89243   862120  2892854 | 2147483647   176935     22 |  2.490 % |
171.82/171.90	c |    182371 |   89243   862120  2892854 | 2147483647   178475     22 |  2.490 % |
172.72/172.75	c |    184065 |   89243   862120  2892854 | 2147483647   180169     22 |  2.490 % |
173.92/173.98	c |    185929 |   89243   862120  2892854 | 2147483647   182033     22 |  2.490 % |
174.02/174.07	c |    186029 |   89243   862120  2892854 | 2147483647   182133     22 |  2.490 % |
174.12/174.19	c |    186140 |   89243   862120  2892854 | 2147483647   182244     22 |  2.490 % |
174.32/174.39	c |    186262 |   89243   862120  2892854 | 2147483647   182366     22 |  2.490 % |
174.42/174.49	c |    186395 |   89243   862120  2892854 | 2147483647   182499     22 |  2.490 % |
174.52/174.60	c |    186542 |   89243   862120  2892854 | 2147483647   182646     22 |  2.490 % |
174.72/174.73	c |    186703 |   89243   862120  2892854 | 2147483647   182807     22 |  2.490 % |
174.82/174.82	c |    186880 |   89243   862120  2892854 | 2147483647   182984     22 |  2.490 % |
174.92/174.95	c |    187074 |   89243   862120  2892854 | 2147483647   183178     22 |  2.490 % |
175.02/175.08	c |    187287 |   89243   862120  2892854 | 2147483647   183391     22 |  2.490 % |
175.32/175.32	c |    187521 |   89243   862120  2892854 | 2147483647   183625     22 |  2.490 % |
175.42/175.43	c |    187777 |   89243   862120  2892854 | 2147483647   183881     22 |  2.490 % |
175.52/175.58	c |    188059 |   89243   862120  2892854 | 2147483647   184163     22 |  2.490 % |
175.82/175.91	c |    188368 |   89243   862120  2892854 | 2147483647   184472     22 |  2.490 % |
176.02/176.09	c |    188707 |   89243   862120  2892854 | 2147483647   184811     22 |  2.490 % |
176.42/176.49	c |    189079 |   89243   862120  2892854 | 2147483647   185183     22 |  2.490 % |
176.52/176.61	c |    189488 |   89243   862120  2892854 | 2147483647   185592     22 |  2.490 % |
177.02/177.11	c |    189937 |   89243   862120  2892854 | 2147483647   186041     22 |  2.490 % |
177.82/177.83	c |    190430 |   89243   862120  2892854 | 2147483647   186534     22 |  2.490 % |
178.42/178.47	c |    190972 |   89243   862120  2892854 | 2147483647   187076     22 |  2.490 % |
178.92/178.94	c |    191568 |   89243   862120  2892854 | 2147483647   187672     22 |  2.490 % |
179.72/179.73	c |    192224 |   89243   862120  2892854 | 2147483647   188328     22 |  2.490 % |
180.32/180.40	c |    192945 |   89243   862120  2892854 | 2147483647   189049     22 |  2.490 % |
180.62/180.63	c |    193738 |   89231   861926  2891764 | 2147483647   189815     22 |  2.503 % |
180.72/180.80	c |    194609 |   89231   861926  2891764 | 2147483647   190686     22 |  2.503 % |
180.82/180.88	c |    195567 |   89231   861926  2891764 | 2147483647   191644     22 |  2.503 % |
180.92/180.98	c |    196620 |   89231   861926  2891764 | 2147483647   192697     22 |  2.503 % |
181.02/181.10	c |    197778 |   89231   861926  2891764 | 2147483647   193855     22 |  2.503 % |
182.22/182.29	c |    199051 |   89231   861926  2891764 | 2147483647   195128     22 |  2.503 % |
183.12/183.15	c |    200451 |   89231   861926  2891764 | 2147483647   196528     22 |  2.503 % |
184.52/184.56	c |    201993 |   89231   861926  2891764 | 2147483647   198070     22 |  2.503 % |
186.32/186.33	c |    203688 |   89231   861926  2891764 | 2147483647   199765     22 |  2.503 % |
187.42/187.51	c |    205553 |   89231   861926  2891764 | 2147483647   201630     22 |  2.503 % |
187.72/187.79	c |    207602 |   89231   861926  2891764 | 2147483647   203679     22 |  2.503 % |
187.82/187.84	c |    207702 |   89231   861926  2891764 | 2147483647   203779     22 |  2.503 % |
187.92/187.93	c |    207812 |   89231   861926  2891764 | 2147483647   203889     22 |  2.503 % |
188.02/188.08	c |    207934 |   89231   861926  2891764 | 2147483647   204011     22 |  2.503 % |
188.22/188.25	c |    208070 |   89231   861926  2891764 | 2147483647   204147     22 |  2.503 % |
188.32/188.35	c |    208216 |   89231   861926  2891764 | 2147483647   204293     22 |  2.503 % |
188.42/188.44	c |    208377 |   89231   861926  2891764 | 2147483647   204454     22 |  2.503 % |
188.52/188.59	c |    208555 |   89231   861926  2891764 | 2147483647   204632     22 |  2.503 % |
188.72/188.74	c |    208748 |   89231   861926  2891764 | 2147483647   204825     22 |  2.503 % |
188.72/188.79	c |    208960 |   89231   861926  2891764 | 2147483647   205037     22 |  2.503 % |
188.92/189.01	c |    209194 |   89231   861926  2891764 | 2147483647   205271     22 |  2.503 % |
189.22/189.23	c |    209452 |   89231   861926  2891764 | 2147483647   205529     22 |  2.503 % |
189.42/189.47	c |    209733 |   89231   861926  2891764 | 2147483647   205810     22 |  2.503 % |
189.52/189.56	c |    210043 |   89231   861926  2891764 | 2147483647   206120     22 |  2.503 % |
189.62/189.62	c |    210384 |   89231   861926  2891764 | 2147483647   206461     22 |  2.503 % |
189.62/189.68	c |    210756 |   89231   861926  2891764 | 2147483647   206833     22 |  2.503 % |
189.72/189.73	c |    211165 |   89231   861926  2891764 | 2147483647   207242     22 |  2.503 % |
189.72/189.81	c |    211614 |   89231   861926  2891764 | 2147483647   207691     22 |  2.503 % |
189.82/189.86	c |    212107 |   89231   861926  2891764 | 2147483647   208184     22 |  2.503 % |
190.02/190.08	c |    212649 |   89231   861926  2891764 | 2147483647   208726     22 |  2.503 % |
190.12/190.19	c |    213245 |   89231   861926  2891764 | 2147483647   209322     22 |  2.503 % |
190.62/190.70	c |    213900 |   89231   861926  2891764 | 2147483647   209977     22 |  2.503 % |
191.72/191.76	c |    214622 |   89231   861926  2891764 | 2147483647   210699     22 |  2.503 % |
192.02/192.02	c |    215415 |   89231   861926  2891764 | 2147483647   211492     22 |  2.503 % |
192.72/192.74	c |    216289 |   89231   861926  2891764 | 2147483647   212366     22 |  2.503 % |
193.32/193.41	c |    217247 |   89231   861926  2891764 | 2147483647   213324     22 |  2.503 % |
194.12/194.12	c |    218302 |   89231   861926  2891764 | 2147483647   214379     22 |  2.503 % |
195.12/195.21	c |    219460 |   89231   861926  2891764 | 2147483647   215537     22 |  2.503 % |
196.62/196.66	c |    220733 |   89231   861926  2891764 | 2147483647   216810     22 |  2.503 % |
197.52/197.57	c |    222133 |   89231   861926  2891764 | 2147483647   218210     22 |  2.503 % |
198.82/198.90	c |    223673 |   89231   861926  2891764 | 2147483647   219750     23 |  2.503 % |
200.72/200.72	c |    225368 |   89231   861926  2891764 | 2147483647   221445     23 |  2.503 % |
202.32/202.35	c |    227233 |   89231   861926  2891764 | 2147483647   223310     23 |  2.503 % |
205.02/205.10	c |    229282 |   89231   861926  2891764 | 2147483647   225359     23 |  2.503 % |
206.82/206.88	c |    231535 |   89231   861926  2891764 | 2147483647   227612     23 |  2.503 % |
207.12/207.12	c |    231636 |   89231   861926  2891764 | 2147483647   227713     23 |  2.503 % |
207.22/207.27	c |    231747 |   89231   861926  2891764 | 2147483647   227824     23 |  2.503 % |
207.32/207.35	c |    231868 |   89231   861926  2891764 | 2147483647   227945     23 |  2.503 % |
207.42/207.45	c |    232001 |   89231   861926  2891764 | 2147483647   228078     23 |  2.503 % |
207.52/207.60	c |    232147 |   89231   861926  2891764 | 2147483647   228224     23 |  2.503 % |
207.72/207.73	c |    232307 |   89231   861926  2891764 | 2147483647   228384     23 |  2.503 % |
207.82/207.90	c |    232483 |   89231   861926  2891764 | 2147483647   228560     23 |  2.503 % |
208.12/208.12	c |    232677 |   89231   861926  2891764 | 2147483647   228754     23 |  2.503 % |
208.32/208.33	c |    232889 |   89231   861926  2891764 | 2147483647   228966     23 |  2.503 % |
208.52/208.55	c |    233122 |   89231   861926  2891764 | 2147483647   229199     23 |  2.503 % |
208.82/208.86	c |    233379 |   89231   861926  2891764 | 2147483647   229456     23 |  2.503 % |
209.12/209.15	c |    233661 |   89231   861926  2891764 | 2147483647   229738     23 |  2.503 % |
209.42/209.47	c |    233971 |   89231   861926  2891764 | 2147483647   230048     23 |  2.503 % |
209.82/209.86	c |    234315 |   89231   861926  2891764 | 2147483647   230392     23 |  2.503 % |
210.22/210.23	c |    234689 |   89231   861926  2891764 | 2147483647   230766     23 |  2.503 % |
210.52/210.59	c |    235099 |   89231   861926  2891764 | 2147483647   231176     23 |  2.503 % |
211.22/211.26	c |    235550 |   89231   861926  2891764 | 2147483647   231627     23 |  2.503 % |
211.52/211.59	c |    236043 |   89231   861926  2891764 | 2147483647   232120     23 |  2.503 % |
212.22/212.30	c |    236585 |   89231   861926  2891764 | 2147483647   232662     23 |  2.503 % |
212.62/212.63	c |    237181 |   89231   861926  2891764 | 2147483647   233258     23 |  2.503 % |
213.12/213.19	c |    237836 |   89231   861926  2891764 | 2147483647   233913     23 |  2.503 % |
213.92/213.93	c |    238558 |   89231   861926  2891764 | 2147483647   234635     23 |  2.503 % |
215.32/215.39	c |    239351 |   89231   861926  2891764 | 2147483647   235428     23 |  2.503 % |
216.12/216.20	c |    240222 |   89231   861926  2891764 | 2147483647   236299     23 |  2.503 % |
217.42/217.43	c |    241184 |   89231   861926  2891764 | 2147483647   237261     23 |  2.503 % |
218.72/218.79	c |    242239 |   89231   861926  2891764 | 2147483647   238316     23 |  2.503 % |
220.22/220.22	c |    243397 |   89228   861902  2891682 | 2147483647   239471     23 |  2.507 % |
221.02/221.11	c |    244670 |   89228   861902  2891682 | 2147483647   240744     23 |  2.507 % |
222.92/222.98	c |    246070 |   89228   861902  2891682 | 2147483647   242144     23 |  2.507 % |
224.32/224.36	c |    247611 |   89228   861902  2891682 | 2147483647   243685     23 |  2.507 % |
226.62/226.63	c |    249305 |   89228   861902  2891682 | 2147483647   245379     23 |  2.507 % |
228.32/228.34	c |    251168 |   89228   861902  2891682 | 2147483647   247242     23 |  2.507 % |
230.52/230.60	c |    253218 |   89228   861902  2891682 | 2147483647   249292     24 |  2.507 % |
232.22/232.21	c |    255472 |   89228   861902  2891682 | 2147483647   251546     24 |  2.507 % |
235.22/235.22	c |    257951 |   89228   861902  2891682 | 2147483647   254025     24 |  2.507 % |
235.32/235.42	c |    258052 |   89228   861902  2891682 | 2147483647   254126     24 |  2.507 % |
235.62/235.64	c |    258164 |   89228   861902  2891682 | 2147483647   254238     24 |  2.507 % |
235.72/235.79	c |    258285 |   89228   861902  2891682 | 2147483647   254359     24 |  2.507 % |
235.92/235.94	c |    258418 |   89228   861902  2891682 | 2147483647   254492     24 |  2.507 % |
236.22/236.21	c |    258565 |   89228   861902  2891682 | 2147483647   254639     24 |  2.507 % |
236.53/236.53	c |    258726 |   89228   861902  2891682 | 2147483647   254800     24 |  2.507 % |
236.82/236.85	c |    258903 |   89228   861902  2891682 | 2147483647   254977     24 |  2.507 % |
237.02/237.09	c |    259097 |   89228   861902  2891682 | 2147483647   255171     24 |  2.507 % |
237.22/237.28	c |    259311 |   89228   861902  2891682 | 2147483647   255385     24 |  2.507 % |
237.52/237.52	c |    259545 |   89228   861902  2891682 | 2147483647   255619     24 |  2.507 % |
237.82/237.84	c |    259802 |   89228   861902  2891682 | 2147483647   255876     24 |  2.507 % |
238.12/238.13	c |    260083 |   89228   861902  2891682 | 2147483647   256157     24 |  2.507 % |
238.32/238.38	c |    260394 |   89228   861902  2891682 | 2147483647   256468     24 |  2.507 % |
238.73/238.77	c |    260733 |   89228   861902  2891682 | 2147483647   256807     24 |  2.507 % |
239.22/239.22	c |    261105 |   89228   861902  2891682 | 2147483647   257179     24 |  2.507 % |
239.72/239.82	c |    261514 |   89228   861902  2891682 | 2147483647   257588     24 |  2.507 % |
240.42/240.45	c |    261964 |   89228   861902  2891682 | 2147483647   258038     24 |  2.507 % |
241.02/241.06	c |    262459 |   89228   861902  2891682 | 2147483647   258533     24 |  2.507 % |
241.52/241.54	c |    263001 |   89228   861902  2891682 | 2147483647   259075     24 |  2.507 % |
242.22/242.29	c |    263600 |   89228   861902  2891682 | 2147483647   259674     24 |  2.507 % |
243.13/243.16	c |    264255 |   89228   861902  2891682 | 2147483647   260329     24 |  2.507 % |
243.62/243.65	c |    264976 |   89228   861902  2891682 | 2147483647   261050     24 |  2.507 % |
244.23/244.28	c |    265771 |   89228   861902  2891682 | 2147483647   261845     24 |  2.507 % |
245.12/245.11	c |    266642 |   89228   861902  2891682 | 2147483647   262716     24 |  2.507 % |
246.52/246.61	c |    267602 |   89228   861902  2891682 | 2147483647   263676     24 |  2.507 % |
247.42/247.42	c |    268656 |   89228   861902  2891682 | 2147483647   264730     24 |  2.507 % |
248.82/248.85	c |    269815 |   89228   861902  2891682 | 2147483647   265889     24 |  2.507 % |
249.73/249.74	c |    271088 |   89228   861902  2891682 | 2147483647   267162     24 |  2.507 % |
251.32/251.37	c |    272488 |   89228   861902  2891682 | 2147483647   268562     24 |  2.507 % |
253.22/253.26	c |    274028 |   89228   861902  2891682 | 2147483647   270102     24 |  2.507 % |
254.62/254.62	c |    275728 |   89228   861902  2891682 | 2147483647   271802     24 |  2.507 % |
256.02/256.09	c |    277591 |   89228   861902  2891682 | 2147483647   273665     24 |  2.507 % |
258.32/258.36	c |    279642 |   89228   861902  2891682 | 2147483647   275716     24 |  2.507 % |
260.52/260.58	c |    281895 |   89228   861902  2891682 | 2147483647   277969     24 |  2.507 % |
263.72/263.77	c |    284373 |   89228   861902  2891682 | 2147483647   280447     24 |  2.507 % |
267.02/267.10	c |    287098 |   89228   861902  2891682 | 2147483647   283172     24 |  2.507 % |
267.12/267.17	c |    287199 |   89228   861902  2891682 | 2147483647   283273     24 |  2.507 % |
267.22/267.29	c |    287310 |   89228   861902  2891682 | 2147483647   283384     24 |  2.507 % |
267.33/267.38	c |    287431 |   89228   861902  2891682 | 2147483647   283505     24 |  2.507 % |
267.52/267.58	c |    287564 |   89228   861902  2891682 | 2147483647   283638     24 |  2.507 % |
267.62/267.69	c |    287710 |   89228   861902  2891682 | 2147483647   283784     24 |  2.507 % |
267.72/267.74	c |    287870 |   89228   861902  2891682 | 2147483647   283944     24 |  2.507 % |
267.82/267.85	c |    288048 |   89228   861902  2891682 | 2147483647   284122     24 |  2.507 % |
268.12/268.16	c |    288242 |   89228   861902  2891682 | 2147483647   284316     24 |  2.507 % |
268.22/268.30	c |    288455 |   89228   861902  2891682 | 2147483647   284529     24 |  2.507 % |
268.52/268.60	c |    288688 |   89228   861902  2891682 | 2147483647   284762     24 |  2.507 % |
268.82/268.84	c |    288945 |   89228   861902  2891682 | 2147483647   285019     24 |  2.507 % |
269.02/269.09	c |    289228 |   89228   861902  2891682 | 2147483647   285302     24 |  2.507 % |
269.32/269.39	c |    289538 |   89228   861902  2891682 | 2147483647   285612     24 |  2.507 % |
269.92/270.00	c |    289877 |   89228   861902  2891682 | 2147483647   285951     24 |  2.507 % |
270.52/270.56	c |    290252 |   89228   861902  2891682 | 2147483647   286326     24 |  2.507 % |
271.22/271.22	c |    290662 |   89228   861902  2891682 | 2147483647   286736     24 |  2.507 % |
272.12/272.12	c |    291113 |   89228   861902  2891682 | 2147483647   287187     24 |  2.507 % |
272.83/272.89	c |    291606 |   89228   861902  2891682 | 2147483647   287680     24 |  2.507 % |
273.32/273.37	c |    292150 |   89228   861902  2891682 | 2147483647   288224     24 |  2.507 % |
274.22/274.22	c |    292748 |   89228   861902  2891682 | 2147483647   288822     24 |  2.507 % |
275.12/275.14	c |    293406 |   89228   861902  2891682 | 2147483647   289480     24 |  2.507 % |
276.22/276.29	c |    294126 |   89228   861902  2891682 | 2147483647   290200     24 |  2.507 % |
277.23/277.22	c |    294918 |   89228   861902  2891682 | 2147483647   290992     24 |  2.507 % |
278.42/278.45	c |    295790 |   89228   861902  2891682 | 2147483647   291864     24 |  2.507 % |
279.92/279.96	c |    296748 |   89228   861902  2891682 | 2147483647   292822     24 |  2.507 % |
281.72/281.79	c |    297802 |   89228   861902  2891682 | 2147483647   293876     24 |  2.507 % |
284.03/284.05	c |    298960 |   89228   861902  2891682 | 2147483647   295034     24 |  2.507 % |
286.33/286.39	c |    300235 |   89116   855360  2865876 | 2147483647   246767     25 |  2.629 % |
287.83/287.90	c |    301635 |   89116   855360  2865876 | 2147483647   248167     25 |  2.629 % |
290.23/290.31	c |    303175 |   89116   855360  2865876 | 2147483647   249707     25 |  2.629 % |
292.53/292.53	c |    304869 |   89116   855360  2865876 | 2147483647   251401     25 |  2.629 % |
294.23/294.28	c |    306736 |   89116   855360  2865876 | 2147483647   253268     25 |  2.629 % |
297.03/297.06	c |    308785 |   89116   855360  2865876 | 2147483647   255317     25 |  2.629 % |
299.93/299.96	c |    311038 |   89116   855360  2865876 | 2147483647   257570     25 |  2.629 % |
303.03/303.03	c |    313517 |   89116   855360  2865876 | 2147483647   260049     25 |  2.629 % |
306.83/306.90	c |    316243 |   89116   855360  2865876 | 2147483647   262775     25 |  2.629 % |
309.73/309.81	c |    319241 |   89116   855360  2865876 | 2147483647   265773     25 |  2.629 % |
309.83/309.91	c |    319343 |   89116   855360  2865876 | 2147483647   265875     25 |  2.629 % |
310.13/310.12	c |    319453 |   89116   855360  2865876 | 2147483647   265985     25 |  2.629 % |
310.23/310.29	c |    319577 |   89116   855360  2865876 | 2147483647   266109     25 |  2.629 % |
310.63/310.62	c |    319710 |   89116   855360  2865876 | 2147483647   266242     25 |  2.629 % |
310.73/310.81	c |    319856 |   89116   855360  2865876 | 2147483647   266388     25 |  2.629 % |
311.03/311.04	c |    320018 |   89116   855360  2865876 | 2147483647   266550     25 |  2.629 % |
311.33/311.32	c |    320195 |   89116   855360  2865876 | 2147483647   266727     25 |  2.629 % |
311.53/311.56	c |    320391 |   89116   855360  2865876 | 2147483647   266923     25 |  2.629 % |
311.73/311.79	c |    320603 |   89116   855360  2865876 | 2147483647   267135     25 |  2.629 % |
312.23/312.30	c |    320836 |   89116   855360  2865876 | 2147483647   267368     25 |  2.629 % |
312.83/312.85	c |    321092 |   89116   855360  2865876 | 2147483647   267624     25 |  2.629 % |
313.33/313.36	c |    321374 |   89116   855360  2865876 | 2147483647   267906     25 |  2.629 % |
313.93/313.95	c |    321684 |   89116   855360  2865876 | 2147483647   268216     25 |  2.629 % |
314.53/314.53	c |    322024 |   89116   855360  2865876 | 2147483647   268556     25 |  2.629 % |
315.13/315.19	c |    322397 |   89116   855360  2865876 | 2147483647   268929     25 |  2.629 % |
315.93/315.92	c |    322806 |   89116   855360  2865876 | 2147483647   269338     25 |  2.629 % |
316.43/316.49	c |    323255 |   89116   855360  2865876 | 2147483647   269787     25 |  2.629 % |
316.93/316.97	c |    323748 |   89116   855360  2865876 | 2147483647   270280     25 |  2.629 % |
317.53/317.58	c |    324292 |   89116   855360  2865876 | 2147483647   270824     25 |  2.629 % |
318.03/318.11	c |    324889 |   89116   855360  2865876 | 2147483647   271421     25 |  2.629 % |
318.93/318.99	c |    325544 |   89116   855360  2865876 | 2147483647   272076     25 |  2.629 % |
320.03/320.04	c |    326264 |   89116   855360  2865876 | 2147483647   272796     25 |  2.629 % |
320.93/321.01	c |    327057 |   89116   855360  2865876 | 2147483647   273589     25 |  2.629 % |
322.13/322.21	c |    327928 |   89116   855360  2865876 | 2147483647   274460     25 |  2.629 % |
323.53/323.53	c |    328886 |   89116   855360  2865876 | 2147483647   275418     25 |  2.629 % |
324.93/325.00	c |    329939 |   89116   855360  2865876 | 2147483647   276471     25 |  2.629 % |
326.83/326.84	c |    331098 |   89113   855336  2865794 | 2147483647   277625     25 |  2.632 % |
329.03/329.04	c |    332372 |   89113   855336  2865794 | 2147483647   278899     25 |  2.632 % |
331.33/331.37	c |    333772 |   89113   855336  2865794 | 2147483647   280299     25 |  2.632 % |
333.13/333.20	c |    335313 |   89113   855336  2865794 | 2147483647   281840     25 |  2.632 % |
336.43/336.46	c |    337007 |   89113   855336  2865794 | 2147483647   283534     25 |  2.632 % |
339.93/340.00	c |    338870 |   89113   855336  2865794 | 2147483647   285397     25 |  2.632 % |
343.23/343.31	c |    340919 |   89113   855336  2865794 | 2147483647   287446     25 |  2.632 % |
346.13/346.19	c |    343172 |   89113   855336  2865794 | 2147483647   289699     26 |  2.632 % |
349.63/349.68	c |    345650 |   89113   855336  2865794 | 2147483647   292177     26 |  2.632 % |
353.23/353.29	c |    348376 |   89113   855336  2865794 | 2147483647   294903     26 |  2.632 % |
358.53/358.61	c |    351374 |   89113   855336  2865794 | 2147483647   297901     26 |  2.632 % |
363.93/363.96	c |    354670 |   89113   855336  2865794 | 2147483647   301197     26 |  2.632 % |
364.14/364.13	c |    354770 |   89113   855336  2865794 | 2147483647   301297     26 |  2.632 % |
364.33/364.33	c |    354884 |   89113   855336  2865794 | 2147483647   301411     26 |  2.632 % |
364.53/364.61	c |    355006 |   89113   855336  2865794 | 2147483647   301533     26 |  2.632 % |
364.93/365.00	c |    355140 |   89113   855336  2865794 | 2147483647   301667     26 |  2.632 % |
365.33/365.35	c |    355286 |   89113   855336  2865794 | 2147483647   301813     26 |  2.632 % |
365.73/365.74	c |    355447 |   89113   855336  2865794 | 2147483647   301974     26 |  2.632 % |
366.13/366.16	c |    355624 |   89113   855336  2865794 | 2147483647   302151     26 |  2.632 % |
366.53/366.57	c |    355818 |   89113   855336  2865794 | 2147483647   302345     26 |  2.632 % |
366.93/366.94	c |    356030 |   89113   855336  2865794 | 2147483647   302557     26 |  2.632 % |
367.63/367.68	c |    356266 |   89113   855336  2865794 | 2147483647   302793     26 |  2.632 % |
368.03/368.03	c |    356522 |   89113   855336  2865794 | 2147483647   303049     26 |  2.632 % |
368.54/368.59	c |    356803 |   89113   855336  2865794 | 2147483647   303330     26 |  2.632 % |
369.13/369.13	c |    357113 |   89113   855336  2865794 | 2147483647   303640     26 |  2.632 % |
369.43/369.49	c |    357452 |   89113   855336  2865794 | 2147483647   303979     26 |  2.632 % |
369.93/369.93	c |    357824 |   89113   855336  2865794 | 2147483647   304351     26 |  2.632 % |
370.53/370.52	c |    358236 |   89113   855336  2865794 | 2147483647   304763     26 |  2.632 % |
371.23/371.27	c |    358688 |   89113   855336  2865794 | 2147483647   305215     26 |  2.632 % |
371.93/371.97	c |    359181 |   89113   855336  2865794 | 2147483647   305708     26 |  2.632 % |
372.53/372.58	c |    359724 |   89113   855336  2865794 | 2147483647   306251     26 |  2.632 % |
373.63/373.71	c |    360321 |   89113   855336  2865794 | 2147483647   306848     26 |  2.632 % |
375.03/375.11	c |    360976 |   89113   855336  2865794 | 2147483647   307503     26 |  2.632 % |
376.53/376.54	c |    361696 |   89113   855336  2865794 | 2147483647   308223     26 |  2.632 % |
377.63/377.62	c |    362488 |   89113   855336  2865794 | 2147483647   309015     26 |  2.632 % |
378.63/378.64	c |    363359 |   89113   855336  2865794 | 2147483647   309886     26 |  2.632 % |
380.64/380.67	c |    364318 |   89113   855336  2865794 | 2147483647   310845     26 |  2.632 % |
382.73/382.81	c |    365371 |   89113   855336  2865794 | 2147483647   311898     26 |  2.632 % |
384.43/384.44	c |    366529 |   89113   855336  2865794 | 2147483647   313056     26 |  2.632 % |
387.12/387.14	c |    367804 |   89113   855336  2865794 | 2147483647   314331     26 |  2.632 % |
389.82/389.83	c |    369204 |   89113   855336  2865794 | 2147483647   315731     26 |  2.632 % |
391.92/391.94	c |    370744 |   89113   855336  2865794 | 2147483647   317271     26 |  2.632 % |
395.22/395.24	c |    372438 |   89113   855336  2865794 | 2147483647   318965     26 |  2.632 % |
397.32/397.32	c |    374302 |   89113   855336  2865794 | 2147483647   320829     26 |  2.632 % |
401.32/401.33	c |    376351 |   89113   855336  2865794 | 2147483647   322878     26 |  2.632 % |
404.83/404.83	c |    378605 |   89113   855336  2865794 | 2147483647   325132     27 |  2.632 % |
409.23/409.24	c |    381085 |   89113   855336  2865794 | 2147483647   327612     27 |  2.632 % |
414.53/414.52	c |    383811 |   89113   855336  2865794 | 2147483647   330338     27 |  2.632 % |
420.13/420.19	c |    386809 |   89113   855336  2865794 | 2147483647   333336     27 |  2.632 % |
424.73/424.75	c |    390106 |   89113   855336  2865794 | 2147483647   336633     27 |  2.632 % |
431.43/431.51	c |    393731 |   89113   855336  2865794 | 2147483647   340258     27 |  2.632 % |
431.73/431.79	c |    393832 |   89113   855336  2865794 | 2147483647   340359     27 |  2.632 % |
431.83/431.91	c |    393942 |   89113   855336  2865794 | 2147483647   340469     27 |  2.632 % |
432.33/432.40	c |    394066 |   89113   855336  2865794 | 2147483647   340593     27 |  2.632 % |
432.83/432.88	c |    394200 |   89113   855336  2865794 | 2147483647   340727     27 |  2.632 % |
433.23/433.23	c |    394346 |   89113   855336  2865794 | 2147483647   340873     27 |  2.632 % |
433.63/433.69	c |    394507 |   89113   855336  2865794 | 2147483647   341034     27 |  2.632 % |
434.23/434.24	c |    394684 |   89113   855336  2865794 | 2147483647   341211     27 |  2.632 % |
434.53/434.58	c |    394879 |   89113   855336  2865794 | 2147483647   341406     27 |  2.632 % |
435.03/435.02	c |    395092 |   89113   855336  2865794 | 2147483647   341619     27 |  2.632 % |
435.33/435.41	c |    395327 |   89113   855336  2865794 | 2147483647   341854     27 |  2.632 % |
435.93/436.00	c |    395584 |   89113   855336  2865794 | 2147483647   342111     27 |  2.632 % |
436.43/436.44	c |    395867 |   89113   855336  2865794 | 2147483647   342394     27 |  2.632 % |
436.73/436.81	c |    396176 |   89113   855336  2865794 | 2147483647   342703     27 |  2.632 % |
437.33/437.35	c |    396516 |   89113   855336  2865794 | 2147483647   343043     27 |  2.632 % |
438.03/438.07	c |    396889 |   89113   855336  2865794 | 2147483647   343416     27 |  2.632 % |
438.93/438.98	c |    397298 |   89113   855336  2865794 | 2147483647   343825     27 |  2.632 % |
439.93/439.92	c |    397747 |   89113   855336  2865794 | 2147483647   344274     27 |  2.632 % |
440.73/440.73	c |    398241 |   89113   855336  2865794 | 2147483647   344768     27 |  2.632 % |
441.73/441.74	c |    398784 |   89113   855336  2865794 | 2147483647   345311     27 |  2.632 % |
442.63/442.69	c |    399380 |   89113   855336  2865794 | 2147483647   345907     27 |  2.632 % |
444.23/444.29	c |    400035 |   89113   855336  2865794 | 2147483647   346562     27 |  2.632 % |
446.23/446.26	c |    400758 |   89113   855336  2865794 | 2147483647   347285     27 |  2.632 % |
447.53/447.59	c |    401550 |   89113   855336  2865794 | 2147483647   348077     27 |  2.632 % |
450.03/450.10	c |    402424 |   89113   855336  2865794 | 2147483647   348951     27 |  2.632 % |
451.63/451.69	c |    403383 |   89113   855336  2865794 | 2147483647   349910     27 |  2.632 % |
452.93/452.97	c |    404436 |   89113   855336  2865794 | 2147483647   350963     27 |  2.632 % |
455.93/455.95	c |    405594 |   89113   855336  2865794 | 2147483647   352121     27 |  2.632 % |
458.43/458.50	c |    406867 |   89113   855336  2865794 | 2147483647   353394     27 |  2.632 % |
462.53/462.60	c |    408268 |   89113   855336  2865794 | 2147483647   354795     27 |  2.632 % |
464.93/464.98	c |    409808 |   89113   855336  2865794 | 2147483647   356335     27 |  2.632 % |
469.53/469.56	c |    411503 |   89113   855336  2865794 | 2147483647   358030     27 |  2.632 % |
472.23/472.23	c |    413368 |   89113   855336  2865794 | 2147483647   359895     27 |  2.632 % |
477.13/477.17	c |    415418 |   89113   855336  2865794 | 2147483647   361945     27 |  2.632 % |
482.63/482.66	c |    417672 |   89113   855336  2865794 | 2147483647   364199     27 |  2.632 % |
488.44/488.43	c |    420150 |   89113   855336  2865794 | 2147483647   366677     27 |  2.632 % |
494.53/494.60	c |    422875 |   89113   855336  2865794 | 2147483647   369402     27 |  2.632 % |
501.53/501.52	c |    425872 |   89113   855336  2865794 | 2147483647   372399     27 |  2.632 % |
507.23/507.24	c |    429168 |   89113   855336  2865794 | 2147483647   375695     27 |  2.632 % |
514.23/514.22	c |    432793 |   89113   855336  2865794 | 2147483647   379320     28 |  2.632 % |
521.13/521.13	c |    436782 |   89113   855336  2865794 | 2147483647   383309     27 |  2.632 % |
521.33/521.33	c |    436882 |   89113   855336  2865794 | 2147483647   383409     27 |  2.632 % |
521.44/521.45	c |    436995 |   89113   855336  2865794 | 2147483647   383522     27 |  2.632 % |
521.63/521.64	c |    437117 |   89113   855336  2865794 | 2147483647   383644     27 |  2.632 % |
521.83/521.85	c |    437250 |   89113   855336  2865794 | 2147483647   383777     27 |  2.632 % |
522.13/522.12	c |    437396 |   89113   855336  2865794 | 2147483647   383923     27 |  2.632 % |
522.43/522.48	c |    437556 |   89113   855336  2865794 | 2147483647   384083     27 |  2.632 % |
522.93/522.93	c |    437733 |   89113   855336  2865794 | 2147483647   384260     27 |  2.632 % |
523.23/523.29	c |    437927 |   89113   855336  2865794 | 2147483647   384454     27 |  2.632 % |
523.73/523.78	c |    438140 |   89113   855336  2865794 | 2147483647   384667     27 |  2.632 % |
524.03/524.10	c |    438373 |   89113   855336  2865794 | 2147483647   384900     27 |  2.632 % |
524.63/524.68	c |    438629 |   89113   855336  2865794 | 2147483647   385156     27 |  2.632 % |
525.23/525.25	c |    438910 |   89113   855336  2865794 | 2147483647   385437     27 |  2.632 % |
525.84/525.84	c |    439221 |   89113   855336  2865794 | 2147483647   385748     27 |  2.632 % |
526.33/526.36	c |    439560 |   89113   855336  2865794 | 2147483647   386087     27 |  2.632 % |
527.23/527.29	c |    439932 |   89113   855336  2865794 | 2147483647   386459     27 |  2.632 % |
528.33/528.35	c |    440341 |   89113   855336  2865794 | 2147483647   386868     27 |  2.632 % |
529.73/529.75	c |    440790 |   89113   855336  2865794 | 2147483647   387317     27 |  2.632 % |
531.34/531.39	c |    441283 |   89113   855336  2865794 | 2147483647   387810     27 |  2.632 % |
532.44/532.43	c |    441828 |   89113   855336  2865794 | 2147483647   388355     27 |  2.632 % |
533.63/533.70	c |    442427 |   89113   855336  2865794 | 2147483647   388954     27 |  2.632 % |
535.84/535.88	c |    443083 |   89113   855336  2865794 | 2147483647   389610     27 |  2.632 % |
537.94/537.95	c |    443803 |   89113   855336  2865794 | 2147483647   390330     27 |  2.632 % |
539.74/539.72	c |    444596 |   89113   855336  2865794 | 2147483647   391123     28 |  2.632 % |
541.94/541.97	c |    445469 |   89113   855336  2865794 | 2147483647   391996     28 |  2.632 % |
544.64/544.70	c |    446427 |   89113   855336  2865794 | 2147483647   392954     28 |  2.632 % |
547.54/547.61	c |    447481 |   89113   855336  2865794 | 2147483647   394008     28 |  2.632 % |
549.44/549.45	c |    448640 |   89113   855336  2865794 | 2147483647   395167     28 |  2.632 % |
552.84/552.90	c |    449913 |   89113   855336  2865794 | 2147483647   396440     28 |  2.632 % |
554.94/555.00	c |    451314 |   89113   855336  2865794 | 2147483647   397841     28 |  2.632 % |
558.04/558.04	c |    452855 |   89113   855336  2865794 | 2147483647   399382     28 |  2.632 % |
561.64/561.71	c |    454550 |   89113   855336  2865794 | 2147483647   401077     28 |  2.632 % |
566.34/566.35	c |    456414 |   89113   855336  2865794 | 2147483647   402941     28 |  2.632 % |
571.84/571.82	c |    458463 |   89113   855336  2865794 | 2147483647   404990     28 |  2.632 % |
577.44/577.49	c |    460716 |   89109   855321  2865747 | 2147483647   407242     28 |  2.637 % |
584.24/584.22	c |    463194 |   89108   855321  2865747 | 2147483647   409719     28 |  2.640 % |
590.44/590.50	c |    465919 |   89108   855321  2865747 | 2147483647   412444     28 |  2.640 % |
591.64/591.62	c |    468916 |   89108   855321  2865747 | 2147483647   415441     28 |  2.640 % |
598.54/598.53	c |    472212 |   89108   855321  2865747 | 2147483647   418737     28 |  2.640 % |
600.94/600.94	c |    475837 |   89108   855321  2865747 | 2147483647   422362     28 |  2.640 % |
609.34/609.34	c |    479824 |   89108   855321  2865747 | 2147483647   426349     28 |  2.640 % |
619.24/619.26	c |    484209 |   89108   855321  2865747 | 2147483647   430734     28 |  2.640 % |
619.74/619.74	c |    484309 |   89106   855297  2865665 | 2147483647   430831     28 |  2.640 % |
620.14/620.21	c |    484419 |   89106   855297  2865665 | 2147483647   430941     28 |  2.640 % |
620.54/620.56	c |    484541 |   89106   855297  2865665 | 2147483647   431063     28 |  2.640 % |
621.04/621.03	c |    484675 |   89106   855297  2865665 | 2147483647   431197     28 |  2.640 % |
621.44/621.52	c |    484822 |   89106   855297  2865665 | 2147483647   431344     28 |  2.640 % |
622.04/622.08	c |    484984 |   89106   855297  2865665 | 2147483647   431506     28 |  2.640 % |
622.65/622.64	c |    485160 |   89106   855297  2865665 | 2147483647   431682     28 |  2.640 % |
623.24/623.24	c |    485354 |   89106   855297  2865665 | 2147483647   431876     28 |  2.640 % |
623.84/623.85	c |    485566 |   89106   855297  2865665 | 2147483647   432088     28 |  2.640 % |
624.85/624.89	c |    485801 |   89106   855297  2865665 | 2147483647   432323     28 |  2.640 % |
625.95/625.98	c |    486059 |   89106   855297  2865665 | 2147483647   432581     28 |  2.640 % |
626.64/626.70	c |    486341 |   89106   855297  2865665 | 2147483647   432863     28 |  2.640 % |
627.34/627.36	c |    486651 |   89106   855297  2865665 | 2147483647   433173     28 |  2.640 % |
627.74/627.76	c |    486990 |   89106   855297  2865665 | 2147483647   433512     28 |  2.640 % |
628.74/628.79	c |    487362 |   89106   855297  2865665 | 2147483647   433884     28 |  2.640 % |
630.04/630.05	c |    487771 |   89106   855297  2865665 | 2147483647   434293     28 |  2.640 % |
630.94/630.93	c |    488222 |   89106   855297  2865665 | 2147483647   434744     28 |  2.640 % |
631.64/631.67	c |    488717 |   89106   855297  2865665 | 2147483647   435239     28 |  2.640 % |
633.34/633.33	c |    489259 |   89106   855297  2865665 | 2147483647   435781     28 |  2.640 % |
635.14/635.12	c |    489855 |   89106   855297  2865665 | 2147483647   436377     28 |  2.640 % |
637.14/637.16	c |    490510 |   89106   855297  2865665 | 2147483647   437032     28 |  2.640 % |
638.24/638.22	c |    491230 |   89106   855297  2865665 | 2147483647   437751     28 |  2.644 % |
640.84/640.82	c |    492022 |   89106   855297  2865665 | 2147483647   438543     28 |  2.644 % |
643.24/643.22	c |    492893 |   89106   855297  2865665 | 2147483647   439414     28 |  2.644 % |
646.14/646.12	c |    493851 |   89106   855297  2865665 | 2147483647   440372     28 |  2.644 % |
649.34/649.40	c |    494904 |   89106   855297  2865665 | 2147483647   441425     28 |  2.644 % |
651.54/651.58	c |    496064 |   89106   855297  2865665 | 2147483647   442585     28 |  2.644 % |
654.74/654.80	c |    497338 |   89106   855297  2865665 | 2147483647   443859     28 |  2.644 % |
658.74/658.78	c |    498740 |   89106   855297  2865665 | 2147483647   445261     28 |  2.644 % |
663.75/663.78	c |    500281 |   89106   855297  2865665 | 2147483647   446802     28 |  2.644 % |
668.75/668.73	c |    501979 |   89102   855277  2865603 | 2147483647   448500     28 |  2.644 % |
672.45/672.51	c |    503842 |   89102   855277  2865603 | 2147483647   450363     28 |  2.644 % |
677.35/677.40	c |    505891 |   89102   855277  2865603 | 2147483647   452412     28 |  2.644 % |
682.05/682.11	c |    508144 |   89102   855277  2865603 | 2147483647   454665     28 |  2.644 % |
690.15/690.14	c |    510623 |   89102   855277  2865603 | 2147483647   457144     28 |  2.644 % |
698.45/698.49	c |    513349 |   89102   855277  2865603 | 2147483647   459870     28 |  2.644 % |
707.55/707.61	c |    516348 |   89102   855277  2865603 | 2147483647   462869     28 |  2.644 % |
713.05/713.02	c |    519645 |   89099   853986  2861733 | 2147483647   239582     21 |  2.647 % |
717.15/717.12	c |    523272 |   89099   853986  2861733 | 2147483647   243209     21 |  2.647 % |
723.65/723.66	c |    527260 |   89099   853986  2861733 | 2147483647   247197     21 |  2.647 % |
730.85/730.86	c |    531646 |   89099   853986  2861733 | 2147483647   251583     21 |  2.647 % |
734.25/734.24	c ===============================================================================
734.25/734.24	c restarts              : 904
734.25/734.24	c conflicts             : 533149         (826 /sec)
734.25/734.24	c decisions             : 902058         (1.83 % random) (1397 /sec)
734.25/734.24	c propagations          : 345809479      (535475 /sec)
734.25/734.24	c conflict literals     : 14525604       (44.43 % deleted)
734.25/734.24	c Memory used           : 114.47 MB
734.25/734.24	c CPU time              : 645.8 s
734.25/734.24	c 
734.25/734.24	s UNSATISFIABLE
734.25/734.25	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.95 1.04 1.01 2/97 8762
/proc/meminfo: memFree=1913704/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=956 CPUtime=0
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 137 0 0 0 0 0 0 0 20 0 1 0 1017454048 978944 73 4294967295 134512640 135223648 3216283280 3216281864 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 239 76 47 174 0 64 0

[startup+0.060872 s]
/proc/loadavg: 0.95 1.04 1.01 2/97 8762
/proc/meminfo: memFree=1913704/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=26400 CPUtime=0.06
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 3684 0 0 0 4 2 0 0 20 0 1 0 1017454048 27033600 3524 4294967295 134512640 135223648 3216283280 3216282160 134543095 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 6600 3525 47 174 0 6425 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28816

[startup+0.120843 s]
/proc/loadavg: 0.95 1.04 1.01 2/97 8762
/proc/meminfo: memFree=1913704/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=28636 CPUtime=0.12
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 6208 0 0 0 10 2 0 0 20 0 1 0 1017454048 29323264 6048 4294967295 134512640 135223648 3216283280 3216282232 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 7159 6049 47 174 0 6984 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 31052

[startup+0.320832 s]
/proc/loadavg: 0.95 1.04 1.01 2/97 8762
/proc/meminfo: memFree=1913704/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=70156 CPUtime=0.32
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 11509 0 0 0 27 5 0 0 21 0 1 0 1017454048 71839744 11349 4294967295 134512640 135223648 3216283280 3216282232 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 17539 11350 47 174 0 17364 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 72572

[startup+0.720809 s]
/proc/loadavg: 0.95 1.04 1.01 2/97 8762
/proc/meminfo: memFree=1913704/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=102452 CPUtime=0.72
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 21971 0 0 0 62 10 0 0 22 0 1 0 1017454048 104910848 21811 4294967295 134512640 135223648 3216283280 3216281848 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 25613 21812 47 174 0 25438 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 104868

[startup+1.52076 s]
/proc/loadavg: 0.95 1.04 1.01 3/99 8767
/proc/meminfo: memFree=1795244/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=165632 CPUtime=1.52
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 40011 0 0 0 133 19 0 0 25 0 1 0 1017454048 169607168 39852 4294967295 134512640 135223648 3216283280 3216281864 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 41408 39852 47 174 0 41233 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 168048

[startup+3.12067 s]
/proc/loadavg: 0.95 1.04 1.01 3/99 8768
/proc/meminfo: memFree=1687736/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=250744 CPUtime=3.12
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 59471 0 0 0 286 26 0 0 25 0 1 0 1017454048 256761856 59298 4294967295 134512640 135223648 3216283280 3216281776 134548567 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 62686 59298 67 174 0 62511 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 253160

[startup+6.32049 s]
/proc/loadavg: 0.95 1.04 1.01 3/99 8952
/proc/meminfo: memFree=1675456/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=274624 CPUtime=6.32
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 64650 0 0 0 604 28 0 0 25 0 1 0 1017454048 281214976 64477 4294967295 134512640 135223648 3216283280 3216281456 134548217 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 68656 64477 72 174 0 68481 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 277040

[startup+12.7201 s]
/proc/loadavg: 0.96 1.04 1.01 2/99 8952
/proc/meminfo: memFree=1655348/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=274624 CPUtime=12.72
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 64678 0 0 0 1244 28 0 0 25 0 1 0 1017454048 281214976 64505 4294967295 134512640 135223648 3216283280 3216281360 134548574 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 68656 64505 72 174 0 68481 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 277040

[startup+25.5194 s]
/proc/loadavg: 0.97 1.04 1.01 2/99 8954
/proc/meminfo: memFree=1655196/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=274396 CPUtime=25.52
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 64729 0 0 0 2524 28 0 0 25 0 1 0 1017454048 280981504 64499 4294967295 134512640 135223648 3216283280 3216281360 134548574 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 68599 64499 72 174 0 68424 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 276812

[startup+51.118 s]
/proc/loadavg: 0.98 1.03 1.01 2/99 8954
/proc/meminfo: memFree=1655040/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2416 CPUtime=0.01
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 366 644 0 0 0 1 0 0 18 0 1 0 1017454048 2473984 276 4294967295 134512640 135169312 3220431504 3220430040 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8762/statm: 604 276 235 161 0 43 0
[pid=8766] ppid=8762 vsize=274152 CPUtime=51.12
/proc/8766/stat : 8766 (SatELite_releas) R 8762 8762 16367 0 -1 4202496 64891 0 0 0 5084 28 0 0 25 0 1 0 1017454048 280731648 64472 4294967295 134512640 135223648 3216283280 3216281152 134548334 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8766/statm: 68538 64472 72 174 0 68363 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 276568

[startup+102.315 s]
/proc/loadavg: 1.03 1.04 1.01 3/99 9144
/proc/meminfo: memFree=1819216/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=52644 CPUtime=14.09
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 12923 0 0 0 1399 10 0 0 25 0 1 0 1017462870 53907456 12847 4294967295 134512640 135215339 3219237312 3219235600 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9142/statm: 13161 12847 73 172 0 12988 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 55064

[startup+162.322 s]
/proc/loadavg: 1.01 1.03 1.00 2/99 9331
/proc/meminfo: memFree=1805008/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=67168 CPUtime=74.09
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 16505 0 0 0 7395 14 0 0 25 0 1 0 1017462870 68780032 16429 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 16792 16429 73 172 0 16619 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 69588

[startup+222.318 s]
/proc/loadavg: 1.00 1.02 1.00 3/99 9518
/proc/meminfo: memFree=1793220/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=78728 CPUtime=134.09
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 19369 0 0 0 13392 17 0 0 25 0 1 0 1017462870 80617472 19293 4294967295 134512640 135215339 3219237312 3219235600 134528809 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 19682 19293 73 172 0 19509 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 81148

[startup+282.315 s]
/proc/loadavg: 1.00 1.02 1.00 2/99 9705
/proc/meminfo: memFree=1785092/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=86604 CPUtime=194.09
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 21377 0 0 0 19390 19 0 0 25 0 1 0 1017462870 88682496 21301 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 21651 21301 73 172 0 21478 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 89024

[startup+342.322 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 9900
/proc/meminfo: memFree=1783868/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=87852 CPUtime=254.1
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 21684 0 0 0 25390 20 0 0 25 0 1 0 1017462870 89960448 21608 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 21963 21608 73 172 0 21790 0
Current children cumulated CPU time (s) 342.33

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


[startup+402.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 10089
/proc/meminfo: memFree=1777668/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=94512 CPUtime=314.09
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 23250 0 0 0 31389 20 0 0 25 0 1 0 1017462870 96780288 23174 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 23628 23174 73 172 0 23455 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 96932

[startup+462.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 10276
/proc/meminfo: memFree=1772444/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=99692 CPUtime=374.1
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 24538 0 0 0 37390 20 0 0 25 0 1 0 1017462870 102084608 24462 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 24923 24462 73 172 0 24750 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 102112

[startup+522.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 10463
/proc/meminfo: memFree=1767608/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=104404 CPUtime=434.1
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 25741 0 0 0 43389 21 0 0 25 0 1 0 1017462870 106909696 25665 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 26101 25665 73 172 0 25928 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 106824

[startup+582.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 10650
/proc/meminfo: memFree=1763268/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=108720 CPUtime=494.11
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 26826 0 0 0 49390 21 0 0 25 0 1 0 1017462870 111329280 26750 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 27180 26750 73 172 0 27007 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 111140

[startup+642.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 10839
/proc/meminfo: memFree=1758060/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=113836 CPUtime=554.11
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28090 0 0 0 55389 22 0 0 25 0 1 0 1017462870 116568064 28014 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 28459 28014 73 172 0 28286 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 116256

[startup+702.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11035
/proc/meminfo: memFree=1754984/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=116952 CPUtime=614.12
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28891 0 0 0 61388 24 0 0 25 0 1 0 1017462870 119758848 28815 4294967295 134512640 135215339 3219237312 3219235600 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 29238 28815 73 172 0 29065 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 119372

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

[startup+716.721 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11035
/proc/meminfo: memFree=1754488/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=117216 CPUtime=628.52
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28980 0 0 0 62828 24 0 0 25 0 1 0 1017462870 120029184 28904 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 29304 28904 73 172 0 29131 0
Current children cumulated CPU time (s) 716.75
Current children cumulated vsize (KiB) 119636

[startup+723.12 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11035
/proc/meminfo: memFree=1754488/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=117216 CPUtime=634.92
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28980 0 0 0 63468 24 0 0 25 0 1 0 1017462870 120029184 28904 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 29304 28904 73 172 0 29131 0
Current children cumulated CPU time (s) 723.15
Current children cumulated vsize (KiB) 119636

[startup+729.52 s]
/proc/loadavg: 1.00 1.00 1.00 4/99 11218
/proc/meminfo: memFree=1754232/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=117216 CPUtime=641.32
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28980 0 0 0 64108 24 0 0 25 0 1 0 1017462870 120029184 28904 4294967295 134512640 135215339 3219237312 3219235600 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 29304 28904 73 172 0 29131 0
Current children cumulated CPU time (s) 729.55
Current children cumulated vsize (KiB) 119636

[startup+732.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11218
/proc/meminfo: memFree=1754264/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=117216 CPUtime=644.52
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28980 0 0 0 64428 24 0 0 25 0 1 0 1017462870 120029184 28904 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 29304 28904 73 172 0 29131 0
Current children cumulated CPU time (s) 732.75
Current children cumulated vsize (KiB) 119636

[startup+733.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11218
/proc/meminfo: memFree=1754264/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=117216 CPUtime=645.32
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28980 0 0 0 64508 24 0 0 25 0 1 0 1017462870 120029184 28904 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 29304 28904 73 172 0 29131 0
Current children cumulated CPU time (s) 733.55
Current children cumulated vsize (KiB) 119636

[startup+733.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11219
/proc/meminfo: memFree=1754280/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=117216 CPUtime=645.72
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28980 0 0 0 64548 24 0 0 25 0 1 0 1017462870 120029184 28904 4294967295 134512640 135215339 3219237312 3219235600 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 29304 28904 73 172 0 29131 0
Current children cumulated CPU time (s) 733.95
Current children cumulated vsize (KiB) 119636

[startup+734.12 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11219
/proc/meminfo: memFree=1754280/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=117216 CPUtime=645.92
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28980 0 0 0 64568 24 0 0 25 0 1 0 1017462870 120029184 28904 4294967295 134512640 135215339 3219237312 3219235600 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 29304 28904 73 172 0 29131 0
Current children cumulated CPU time (s) 734.15
Current children cumulated vsize (KiB) 119636

[startup+734.22 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11219
/proc/meminfo: memFree=1754280/2074464 swapFree=1949244/1959888
[pid=8762] ppid=8760 vsize=2420 CPUtime=88.23
/proc/8762/stat : 8762 (SatELiteGTI) S 8760 8762 16367 0 -1 4194304 385 81602 0 0 0 1 8765 57 18 0 1 0 1017454048 2478080 277 4294967295 134512640 135169312 3220431504 3220427720 3085565678 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8762/statm: 605 277 235 161 0 44 0
[pid=9142] ppid=8762 vsize=117216 CPUtime=646.02
/proc/9142/stat : 9142 (minisat_static) R 8762 8762 16367 0 -1 4202496 28980 0 0 0 64578 24 0 0 25 0 1 0 1017462870 120029184 28904 4294967295 134512640 135215339 3219237312 3219235600 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9142/statm: 29304 28904 73 172 0 29131 0
Current children cumulated CPU time (s) 734.25
Current children cumulated vsize (KiB) 119636

Child status: 20
Real time (s): 734.28
CPU time (s): 734.31
CPU user time (s): 733.46
CPU system time (s): 0.85
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 301452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 733.46
system time used= 0.85
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111248
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= 22
involuntary context switches= 1013

runsolver used 0 second user time and 0.04 second system time

The end

Launcher Data

Begin job on tipi11 at 2009-05-17 05:05:26
IDJOB=1821460
IDBENCH=70961
IDSOLVER=657
FILE ID=tipi11/1821460-1242529526
PBS_JOBID=
Free space on /tmp= 9795 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821460-1242529526/watcher-1821460-1242529526 -o /tmp/evaluation-result-1821460-1242529526/solver-1821460-1242529526 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821460-1242529526.cnf

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

MD5SUM BENCH= ba6884aaa746378e56c38fd8b3d0255e
RANDOM SEED= 986772245

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1913736 kB
Buffers:         16180 kB
Cached:          91480 kB
SwapCached:       5248 kB
Active:          75292 kB
Inactive:        44304 kB
HighTotal:     1178688 kB
HighFree:      1074312 kB
LowTotal:       895776 kB
LowFree:        839424 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:           51976 kB
Writeback:           0 kB
AnonPages:       10940 kB
Mapped:           5072 kB
Slab:            32708 kB
PageTables:        664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97128 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9795 MiB
End job on tipi11 at 2009-05-17 05:17:45