Trace number 1821484

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 762.01 762.039

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
MD5SUM853982f8646333d217e35d938b7eb00b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark762.01
Satisfiable
(Un)Satisfiability was proved
Number of variables670867
Number of clauses3513333
Sum of the clauses size10259569
Maximum clause length11
Minimum clause length1
Number of clauses of size 159077
Number of clauses of size 2795777
Number of clauses of size 32146608
Number of clauses of size 4393835
Number of clauses of size 5117437
Number of clauses of size over 5599

Solver Data

0.00/0.00	c Parsing...
3.12/3.18	c ==============================================================================
3.12/3.18	c |           |     ORIGINAL     |              LEARNT              |          |
3.12/3.18	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
3.12/3.18	c ==============================================================================
3.12/3.18	c |         0 | 3355019  9898785 | 1006505       0        0     nan |  0.000 % |
152.28/152.38	c |         0 | 1504771  5219166 |      --       0       --      -- |     --   | -1498875/-3723973
152.28/152.39	c ==============================================================================
152.28/152.39	c Result  :   #vars: 146997   #clauses: 1504771   #literals: 5219166
152.28/152.39	c CPU time:   151.76 s
152.28/152.39	c ==============================================================================
154.16/154.25	c This is MiniSat 2.0 beta
154.16/154.25	c WARNING: for repeatability, setting FPU to use double precision
154.16/154.25	c ============================[ Problem Statistics ]=============================
154.16/154.25	c |                                                                             |
154.16/154.26	c |  Number of variables:  146997                                               |
154.16/154.26	c |  Number of clauses:    1504771                                              |
155.07/155.20	c |  Parsing time:         0.84         s                                       |
155.16/155.27	c ============================[ Search Statistics ]==============================
155.16/155.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
155.16/155.27	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
155.16/155.27	c ===============================================================================
155.16/155.27	c |         0 |  146997  1504771  5219166 |   501590        0    nan |  0.000 % |
155.26/155.31	c |       100 |  146991  1504771  5219166 |   501590       98      6 |  0.041 % |
155.36/155.48	c |       202 |  146988  1504771  5219166 |   501590      199     12 |  0.050 % |
155.36/155.49	c |       302 |  146987  1504771  5219166 |   501590      298     11 |  0.051 % |
155.46/155.52	c |       412 |  146987  1504771  5219166 |   501590      408     10 |  0.051 % |
155.46/155.53	c |       513 |  146987  1504771  5219166 |   501590      509     10 |  0.051 % |
155.46/155.54	c |       623 |  146987  1504771  5219166 |   501590      619     10 |  0.051 % |
155.46/155.56	c |       744 |  146981  1504771  5219166 |   501590      739     10 |  0.116 % |
155.46/155.57	c |       844 |  146981  1504771  5219166 |   501590      839     10 |  0.116 % |
155.46/155.58	c |       956 |  146974  1504771  5219166 |   501590      950     10 |  0.135 % |
155.46/155.58	c |      1077 |  146957  1504771  5219166 |   501590     1069     10 |  0.176 % |
155.46/155.60	c |      1210 |  146951  1504771  5219166 |   501590     1202     10 |  0.176 % |
155.56/155.61	c |      1310 |  146951  1504771  5219166 |   501590     1302     10 |  0.176 % |
155.56/155.62	c |      1420 |  146951  1504771  5219166 |   501590     1412     11 |  0.176 % |
155.56/155.67	c |      1541 |  146951  1504771  5219166 |   501590     1533     11 |  0.176 % |
155.56/155.68	c |      1674 |  146946  1504771  5219166 |   501590     1662     11 |  0.184 % |
155.66/155.72	c |      1821 |  146946  1504771  5219166 |   501590     1809     10 |  0.184 % |
155.66/155.75	c |      1921 |  146946  1504771  5219166 |   501590     1908     10 |  0.193 % |
155.66/155.79	c |      2031 |  146946  1504771  5219166 |   501590     2018     10 |  0.193 % |
155.76/155.83	c |      2153 |  146889  1504771  5219166 |   501590     2139     10 |  0.212 % |
155.76/155.85	c |      2286 |  146889  1504771  5219166 |   501590     2272     10 |  0.212 % |
156.46/156.52	c |      2433 |  146889  1504771  5219166 |   501590     2419     10 |  0.212 % |
157.16/157.22	c |      2594 |  146889  1504771  5219166 |   501590     2580     10 |  0.212 % |
157.36/157.50	c |      2694 |  146889  1504771  5219166 |   501590     2680     10 |  0.212 % |
157.46/157.53	c |      2805 |  146874  1504771  5219166 |   501590     2790     10 |  0.247 % |
157.46/157.59	c |      2926 |  146861  1504771  5219166 |   501590     2911     10 |  0.247 % |
157.56/157.65	c |      3060 |  146861  1504771  5219166 |   501590     3045     10 |  0.247 % |
157.56/157.66	c |      3209 |  146861  1504771  5219166 |   501590     3194     10 |  0.247 % |
157.76/157.82	c |      3370 |  146856  1504771  5219166 |   501590     3354     10 |  0.253 % |
157.76/157.89	c |      3547 |  146856  1504771  5219166 |   501590     3531     10 |  0.253 % |
157.76/157.90	c |      3647 |  146856  1504771  5219166 |   501590     3631     10 |  0.253 % |
157.86/157.93	c |      3757 |  146856  1504771  5219166 |   501590     3741     10 |  0.253 % |
157.86/157.94	c |      3879 |  146856  1504771  5219166 |   501590     3863     11 |  0.253 % |
157.86/157.95	c |      4013 |  146856  1504771  5219166 |   501590     3997     11 |  0.253 % |
157.86/157.97	c |      4159 |  146855  1504771  5219166 |   501590     4142     11 |  0.255 % |
157.86/158.00	c |      4319 |  146855  1504771  5219166 |   501590     4302     11 |  0.255 % |
157.96/158.01	c |      4497 |  146855  1504771  5219166 |   501590     4480     11 |  0.255 % |
157.96/158.05	c |      4693 |  146855  1504771  5219166 |   501590     4676     11 |  0.255 % |
158.06/158.11	c |      4793 |  146855  1504771  5219166 |   501590     4776     11 |  0.255 % |
158.06/158.12	c |      4903 |  146855  1504771  5219166 |   501590     4886     11 |  0.255 % |
158.06/158.16	c |      5024 |  146855  1504771  5219166 |   501590     5007     11 |  0.255 % |
158.06/158.19	c |      5158 |  146855  1504771  5219166 |   501590     5141     11 |  0.255 % |
158.16/158.25	c |      5305 |  146855  1504771  5219166 |   501590     5288     11 |  0.255 % |
158.16/158.26	c |      5466 |  146855  1504771  5219166 |   501590     5449     11 |  0.255 % |
158.16/158.28	c |      5642 |  146855  1504771  5219166 |   501590     5625     11 |  0.255 % |
158.16/158.30	c |      5835 |  146854  1504771  5219166 |   501590     5817     11 |  0.257 % |
158.26/158.35	c |      6048 |  146803  1504771  5219166 |   501590     6021     11 |  0.362 % |
158.26/158.39	c |      6148 |  146756  1504771  5219166 |   501590     6120     11 |  0.380 % |
158.37/158.44	c |      6260 |  146756  1504771  5219166 |   501590     6232     11 |  0.380 % |
158.37/158.48	c |      6381 |  146756  1504771  5219166 |   501590     6353     11 |  0.380 % |
158.37/158.49	c |      6515 |  146756  1504771  5219166 |   501590     6487     11 |  0.380 % |
158.56/158.61	c |      6661 |  146756  1504771  5219166 |   501590     6633     11 |  0.380 % |
158.56/158.64	c |      6821 |  146756  1504771  5219166 |   501590     6793     11 |  0.380 % |
158.56/158.66	c |      6999 |  146756  1504771  5219166 |   501590     6971     11 |  0.380 % |
158.56/158.70	c |      7192 |  146756  1504771  5219166 |   501590     7164     11 |  0.380 % |
158.66/158.72	c |      7405 |  146756  1504771  5219166 |   501590     7377     11 |  0.380 % |
158.66/158.74	c |      7638 |  146756  1504771  5219166 |   501590     7610     12 |  0.380 % |
158.66/158.75	c |      7739 |  146756  1504771  5219166 |   501590     7711     12 |  0.380 % |
158.66/158.81	c |      7850 |  146756  1504771  5219166 |   501590     7822     12 |  0.380 % |
158.76/158.82	c |      7971 |  146756  1504771  5219166 |   501590     7943     12 |  0.380 % |
158.76/158.85	c |      8104 |  146755  1504771  5219166 |   501590     8075     12 |  0.382 % |
158.76/158.86	c |      8252 |  146755  1504771  5219166 |   501590     8223     12 |  0.382 % |
158.76/158.89	c |      8415 |  146755  1504771  5219166 |   501590     8386     12 |  0.382 % |
158.96/159.09	c |      8592 |  146721  1504771  5219166 |   501590     8561     12 |  0.386 % |
159.16/159.24	c |      8785 |  146719  1504771  5219166 |   501590     8754     12 |  0.386 % |
159.16/159.28	c |      8999 |  146719  1504771  5219166 |   501590     8968     12 |  0.386 % |
159.26/159.32	c |      9232 |  146719  1504771  5219166 |   501590     9201     12 |  0.386 % |
159.26/159.36	c |      9488 |  146719  1504771  5219166 |   501590     9457     12 |  0.386 % |
159.26/159.38	c |      9589 |  146719  1504771  5219166 |   501590     9558     12 |  0.386 % |
159.26/159.38	c |      9701 |  146719  1504771  5219166 |   501590     9670     12 |  0.386 % |
159.26/159.40	c |      9822 |  146719  1504771  5219166 |   501590     9791     12 |  0.386 % |
159.36/159.43	c |      9956 |  146719  1504771  5219166 |   501590     9925     12 |  0.386 % |
159.36/159.45	c |     10102 |  146719  1504771  5219166 | 2147483647    10071     12 |  0.386 % |
159.36/159.47	c |     10264 |  146719  1504771  5219166 | 2147483647    10233     12 |  0.386 % |
159.36/159.49	c |     10440 |  146719  1504771  5219166 | 2147483647    10409     12 |  0.386 % |
159.56/159.65	c |     10633 |  146429  1447401  4889069 | 2147483647    10166     12 |  0.386 % |
159.56/159.68	c |     10845 |  146429  1447401  4889069 | 2147483647    10378     12 |  0.386 % |
159.56/159.70	c |     11078 |  146429  1447401  4889069 | 2147483647    10611     12 |  0.386 % |
159.66/159.72	c |     11335 |  146429  1447401  4889069 | 2147483647    10868     12 |  0.386 % |
159.66/159.78	c |     11618 |  146429  1447401  4889069 | 2147483647    11151     12 |  0.386 % |
159.66/159.80	c |     11718 |  146429  1447401  4889069 | 2147483647    11251     12 |  0.386 % |
159.76/159.82	c |     11828 |  146429  1447401  4889069 | 2147483647    11361     12 |  0.386 % |
159.76/159.83	c |     11949 |  146429  1447401  4889069 | 2147483647    11482     12 |  0.386 % |
159.76/159.86	c |     12083 |  146429  1447401  4889069 | 2147483647    11616     12 |  0.386 % |
159.76/159.87	c |     12229 |  146429  1447401  4889069 | 2147483647    11762     12 |  0.386 % |
159.76/159.90	c |     12389 |  146429  1447401  4889069 | 2147483647    11922     12 |  0.386 % |
159.86/159.91	c |     12565 |  146429  1447401  4889069 | 2147483647    12098     12 |  0.386 % |
159.86/159.95	c |     12759 |  146429  1447401  4889069 | 2147483647    12292     13 |  0.386 % |
159.86/159.99	c |     12972 |  146429  1447401  4889069 | 2147483647    12505     13 |  0.386 % |
159.96/160.03	c |     13205 |  146429  1447401  4889069 | 2147483647    12738     13 |  0.386 % |
159.96/160.07	c |     13461 |  146429  1447401  4889069 | 2147483647    12994     13 |  0.386 % |
159.96/160.10	c |     13745 |  146429  1447401  4889069 | 2147483647    13278     13 |  0.386 % |
160.06/160.15	c |     14057 |  146429  1447401  4889069 | 2147483647    13590     13 |  0.386 % |
160.06/160.17	c |     14157 |  146429  1447401  4889069 | 2147483647    13690     13 |  0.386 % |
160.06/160.18	c |     14268 |  146429  1447401  4889069 | 2147483647    13801     13 |  0.386 % |
160.06/160.21	c |     14389 |  146429  1447401  4889069 | 2147483647    13922     13 |  0.386 % |
160.16/160.21	c |     14524 |  146429  1447401  4889069 | 2147483647    14057     13 |  0.386 % |
160.16/160.23	c |     14670 |  146429  1447401  4889069 | 2147483647    14203     13 |  0.386 % |
160.16/160.24	c |     14831 |  146429  1447401  4889069 | 2147483647    14364     13 |  0.386 % |
160.16/160.26	c |     15007 |  146429  1447401  4889069 | 2147483647    14540     13 |  0.386 % |
160.16/160.30	c |     15200 |  146429  1447401  4889069 | 2147483647    14733     13 |  0.386 % |
160.26/160.32	c |     15413 |  146429  1447401  4889069 | 2147483647    14946     13 |  0.386 % |
160.26/160.36	c |     15647 |  146429  1447401  4889069 | 2147483647    15180     13 |  0.386 % |
160.26/160.40	c |     15903 |  146429  1447401  4889069 | 2147483647    15436     13 |  0.386 % |
160.36/160.45	c |     16185 |  146428  1447401  4889069 | 2147483647    15717     13 |  0.388 % |
160.36/160.48	c |     16495 |  146428  1447401  4889069 | 2147483647    16027     13 |  0.388 % |
160.46/160.51	c |     16834 |  146428  1447401  4889069 | 2147483647    16366     13 |  0.388 % |
160.46/160.52	c |     16936 |  146428  1447401  4889069 | 2147483647    16468     13 |  0.388 % |
160.46/160.53	c |     17047 |  146428  1447401  4889069 | 2147483647    16579     13 |  0.388 % |
160.46/160.54	c |     17169 |  146428  1447401  4889069 | 2147483647    16701     13 |  0.388 % |
160.46/160.55	c |     17305 |  146428  1447401  4889069 | 2147483647    16837     13 |  0.388 % |
160.46/160.57	c |     17451 |  146428  1447401  4889069 | 2147483647    16983     13 |  0.388 % |
160.46/160.58	c |     17612 |  146428  1447401  4889069 | 2147483647    17144     13 |  0.388 % |
160.46/160.60	c |     17788 |  146428  1447401  4889069 | 2147483647    17320     13 |  0.388 % |
160.57/160.63	c |     17981 |  146428  1447401  4889069 | 2147483647    17513     13 |  0.388 % |
160.57/160.65	c |     18193 |  146428  1447401  4889069 | 2147483647    17725     13 |  0.388 % |
160.57/160.68	c |     18426 |  146428  1447401  4889069 | 2147483647    17958     13 |  0.388 % |
160.66/160.71	c |     18683 |  146428  1447401  4889069 | 2147483647    18215     13 |  0.388 % |
160.66/160.74	c |     18964 |  146428  1447401  4889069 | 2147483647    18496     13 |  0.388 % |
160.66/160.79	c |     19274 |  146428  1447401  4889069 | 2147483647    18806     13 |  0.388 % |
160.76/160.84	c |     19616 |  146428  1447401  4889069 | 2147483647    19148     14 |  0.388 % |
160.76/160.88	c |     19988 |  146427  1447401  4889069 | 2147483647    19520     14 |  0.388 % |
160.86/160.91	c |     20088 |  146427  1447401  4889069 | 2147483647    19620     14 |  0.388 % |
160.86/160.92	c |     20200 |  146427  1447401  4889069 | 2147483647    19732     14 |  0.388 % |
160.86/160.93	c |     20321 |  146427  1447401  4889069 | 2147483647    19853     14 |  0.388 % |
160.86/160.95	c |     20454 |  146427  1447401  4889069 | 2147483647    19986     14 |  0.388 % |
160.86/160.96	c |     20601 |  146427  1447401  4889069 | 2147483647    20133     14 |  0.388 % |
160.86/160.98	c |     20761 |  146425  1447401  4889069 | 2147483647    20292     14 |  0.390 % |
160.86/161.00	c |     20939 |  146425  1447401  4889069 | 2147483647    20470     14 |  0.390 % |
160.96/161.02	c |     21132 |  146425  1447401  4889069 | 2147483647    20663     14 |  0.390 % |
160.96/161.04	c |     21345 |  146425  1447401  4889069 | 2147483647    20876     14 |  0.390 % |
160.96/161.06	c |     21580 |  146425  1447401  4889069 | 2147483647    21111     14 |  0.390 % |
160.96/161.09	c |     21838 |  146425  1447401  4889069 | 2147483647    21369     14 |  0.390 % |
161.06/161.13	c |     22119 |  146425  1447401  4889069 | 2147483647    21650     14 |  0.390 % |
161.06/161.16	c |     22429 |  146425  1447401  4889069 | 2147483647    21960     14 |  0.390 % |
161.06/161.20	c |     22770 |  146425  1447401  4889069 | 2147483647    22301     14 |  0.390 % |
161.16/161.25	c |     23142 |  146425  1447401  4889069 | 2147483647    22673     14 |  0.390 % |
161.16/161.30	c |     23553 |  146425  1447401  4889069 | 2147483647    23084     14 |  0.390 % |
161.26/161.32	c |     23653 |  146425  1447401  4889069 | 2147483647    23184     14 |  0.390 % |
161.26/161.35	c |     23764 |  146425  1447401  4889069 | 2147483647    23295     14 |  0.390 % |
161.26/161.36	c |     23886 |  146425  1447401  4889069 | 2147483647    23417     14 |  0.390 % |
161.26/161.38	c |     24019 |  146425  1447401  4889069 | 2147483647    23550     14 |  0.390 % |
161.36/161.41	c |     24165 |  146425  1447401  4889069 | 2147483647    23696     14 |  0.390 % |
161.36/161.44	c |     24326 |  146425  1447401  4889069 | 2147483647    23857     14 |  0.390 % |
161.36/161.47	c |     24502 |  146425  1447401  4889069 | 2147483647    24033     14 |  0.390 % |
161.46/161.51	c |     24695 |  146425  1447401  4889069 | 2147483647    24226     14 |  0.390 % |
161.46/161.55	c |     24907 |  146425  1447401  4889069 | 2147483647    24438     15 |  0.390 % |
161.56/161.61	c |     25140 |  146424  1447401  4889069 | 2147483647    24671     15 |  0.390 % |
161.56/161.67	c |     25398 |  146424  1447401  4889069 | 2147483647    24929     15 |  0.390 % |
161.67/161.73	c |     25679 |  146424  1447401  4889069 | 2147483647    25210     15 |  0.390 % |
161.67/161.80	c |     25988 |  146424  1447401  4889069 | 2147483647    25519     15 |  0.390 % |
161.76/161.87	c |     26329 |  146424  1447401  4889069 | 2147483647    25860     15 |  0.390 % |
161.86/161.93	c |     26701 |  146424  1447401  4889069 | 2147483647    26232     15 |  0.390 % |
161.86/162.00	c |     27110 |  146424  1447401  4889069 | 2147483647    26641     15 |  0.390 % |
162.06/162.11	c |     27561 |  146424  1447401  4889069 | 2147483647    27092     15 |  0.390 % |
162.06/162.13	c |     27662 |  146424  1447401  4889069 | 2147483647    27193     15 |  0.390 % |
162.06/162.15	c |     27773 |  146424  1447401  4889069 | 2147483647    27304     15 |  0.390 % |
162.06/162.16	c |     27895 |  146424  1447401  4889069 | 2147483647    27426     15 |  0.390 % |
162.06/162.19	c |     28029 |  146424  1447401  4889069 | 2147483647    27560     15 |  0.390 % |
162.16/162.22	c |     28175 |  146424  1447401  4889069 | 2147483647    27706     16 |  0.390 % |
162.16/162.25	c |     28336 |  146424  1447401  4889069 | 2147483647    27867     16 |  0.390 % |
162.16/162.29	c |     28516 |  146424  1447401  4889069 | 2147483647    28047     16 |  0.390 % |
162.26/162.32	c |     28710 |  146424  1447401  4889069 | 2147483647    28241     16 |  0.390 % |
162.26/162.37	c |     28922 |  146424  1447401  4889069 | 2147483647    28453     16 |  0.390 % |
162.36/162.42	c |     29157 |  146424  1447401  4889069 | 2147483647    28688     16 |  0.390 % |
162.36/162.48	c |     29413 |  146424  1447401  4889069 | 2147483647    28944     16 |  0.390 % |
162.46/162.56	c |     29694 |  146424  1447401  4889069 | 2147483647    29225     16 |  0.390 % |
162.56/162.61	c |     30004 |  146424  1447401  4889069 | 2147483647    29535     16 |  0.390 % |
162.56/162.66	c |     30344 |  146424  1447401  4889069 | 2147483647    29875     16 |  0.390 % |
162.66/162.71	c |     30717 |  146424  1447401  4889069 | 2147483647    30248     16 |  0.390 % |
162.66/162.79	c |     31126 |  146424  1447401  4889069 | 2147483647    30657     16 |  0.390 % |
162.77/162.85	c |     31575 |  146424  1447401  4889069 | 2147483647    31106     16 |  0.390 % |
162.96/163.04	c |     32069 |  146423  1447353  4888905 | 2147483647    31596     16 |  0.390 % |
162.96/163.07	c |     32170 |  146423  1447353  4888905 | 2147483647    31697     16 |  0.390 % |
162.96/163.10	c |     32280 |  146423  1447353  4888905 | 2147483647    31807     16 |  0.390 % |
163.06/163.13	c |     32401 |  146423  1447353  4888905 | 2147483647    31928     16 |  0.390 % |
163.06/163.16	c |     32534 |  146423  1447353  4888905 | 2147483647    32061     16 |  0.390 % |
163.06/163.19	c |     32681 |  146423  1447353  4888905 | 2147483647    32208     17 |  0.390 % |
163.16/163.22	c |     32841 |  146423  1447353  4888905 | 2147483647    32368     17 |  0.390 % |
163.16/163.25	c |     33018 |  146423  1447353  4888905 | 2147483647    32545     17 |  0.390 % |
163.16/163.27	c |     33211 |  146423  1447353  4888905 | 2147483647    32738     17 |  0.390 % |
163.16/163.30	c |     33424 |  146423  1447353  4888905 | 2147483647    32951     17 |  0.390 % |
163.26/163.34	c |     33658 |  146423  1447353  4888905 | 2147483647    33185     17 |  0.390 % |
163.26/163.39	c |     33916 |  146423  1447353  4888905 | 2147483647    33443     17 |  0.390 % |
163.36/163.46	c |     34199 |  146423  1447353  4888905 | 2147483647    33726     17 |  0.390 % |
163.46/163.54	c |     34508 |  146423  1447353  4888905 | 2147483647    34035     17 |  0.390 % |
163.46/163.60	c |     34847 |  146423  1447353  4888905 | 2147483647    34374     17 |  0.390 % |
163.56/163.68	c |     35221 |  146423  1447353  4888905 | 2147483647    34748     17 |  0.390 % |
163.66/163.75	c |     35630 |  146423  1447353  4888905 | 2147483647    35157     17 |  0.390 % |
163.76/163.83	c |     36080 |  146423  1447353  4888905 | 2147483647    35607     17 |  0.390 % |
163.87/163.96	c |     36573 |  146423  1447353  4888905 | 2147483647    36100     17 |  0.390 % |
163.96/164.05	c |     37116 |  146423  1447353  4888905 | 2147483647    36643     17 |  0.390 % |
163.96/164.07	c |     37216 |  146423  1447353  4888905 | 2147483647    36743     17 |  0.390 % |
163.96/164.09	c |     37326 |  146423  1447353  4888905 | 2147483647    36853     17 |  0.390 % |
164.06/164.12	c |     37447 |  146423  1447353  4888905 | 2147483647    36974     17 |  0.390 % |
164.06/164.13	c |     37580 |  146423  1447353  4888905 | 2147483647    37107     17 |  0.390 % |
164.06/164.16	c |     37728 |  146423  1447353  4888905 | 2147483647    37255     17 |  0.390 % |
164.06/164.20	c |     37889 |  146423  1447353  4888905 | 2147483647    37416     17 |  0.390 % |
164.16/164.24	c |     38067 |  146423  1447353  4888905 | 2147483647    37594     17 |  0.390 % |
164.16/164.30	c |     38263 |  146423  1447353  4888905 | 2147483647    37790     17 |  0.390 % |
164.26/164.35	c |     38475 |  146423  1447353  4888905 | 2147483647    38002     17 |  0.390 % |
164.26/164.39	c |     38708 |  146423  1447353  4888905 | 2147483647    38235     17 |  0.390 % |
164.36/164.46	c |     38966 |  146423  1447353  4888905 | 2147483647    38493     17 |  0.390 % |
164.46/164.53	c |     39248 |  146423  1447353  4888905 | 2147483647    38775     17 |  0.390 % |
164.56/164.61	c |     39557 |  146423  1447353  4888905 | 2147483647    39084     17 |  0.390 % |
164.56/164.69	c |     39897 |  146423  1447353  4888905 | 2147483647    39424     18 |  0.390 % |
164.66/164.78	c |     40269 |  146423  1447353  4888905 | 2147483647    39796     18 |  0.390 % |
164.76/164.87	c |     40679 |  146423  1447353  4888905 | 2147483647    40206     18 |  0.390 % |
164.86/164.96	c |     41128 |  146423  1447353  4888905 | 2147483647    40655     18 |  0.390 % |
164.97/165.06	c |     41621 |  146423  1447353  4888905 | 2147483647    41148     18 |  0.390 % |
165.06/165.18	c |     42164 |  146423  1447353  4888905 | 2147483647    41691     18 |  0.390 % |
165.26/165.31	c |     42761 |  146423  1447353  4888905 | 2147483647    42288     18 |  0.390 % |
165.26/165.34	c |     42862 |  146423  1447353  4888905 | 2147483647    42389     18 |  0.390 % |
165.26/165.36	c |     42972 |  146423  1447353  4888905 | 2147483647    42499     18 |  0.390 % |
165.26/165.39	c |     43093 |  146423  1447353  4888905 | 2147483647    42620     18 |  0.390 % |
165.36/165.46	c |     43226 |  146423  1447353  4888905 | 2147483647    42753     18 |  0.390 % |
165.36/165.50	c |     43373 |  146423  1447353  4888905 | 2147483647    42900     18 |  0.390 % |
165.46/165.58	c |     43534 |  146423  1447353  4888905 | 2147483647    43061     18 |  0.390 % |
165.56/165.63	c |     43710 |  146423  1447353  4888905 | 2147483647    43237     18 |  0.390 % |
165.56/165.69	c |     43903 |  146423  1447353  4888905 | 2147483647    43430     18 |  0.390 % |
165.66/165.74	c |     44115 |  146423  1447353  4888905 | 2147483647    43642     18 |  0.390 % |
165.66/165.80	c |     44348 |  146423  1447353  4888905 | 2147483647    43875     18 |  0.390 % |
165.86/165.91	c |     44605 |  146423  1447353  4888905 | 2147483647    44132     18 |  0.390 % |
165.86/165.99	c |     44886 |  146423  1447353  4888905 | 2147483647    44413     18 |  0.390 % |
165.96/166.07	c |     45195 |  146423  1447353  4888905 | 2147483647    44722     18 |  0.390 % |
166.07/166.16	c |     45534 |  146423  1447353  4888905 | 2147483647    45061     18 |  0.390 % |
166.16/166.26	c |     45907 |  146423  1447353  4888905 | 2147483647    45434     18 |  0.390 % |
166.26/166.40	c |     46317 |  146423  1447353  4888905 | 2147483647    45844     18 |  0.390 % |
166.46/166.52	c |     46768 |  146423  1447353  4888905 | 2147483647    46295     18 |  0.390 % |
166.56/166.68	c |     47264 |  146423  1447353  4888905 | 2147483647    46791     18 |  0.390 % |
166.76/166.83	c |     47808 |  146423  1447353  4888905 | 2147483647    47335     18 |  0.390 % |
166.96/167.05	c |     48406 |  146423  1447353  4888905 | 2147483647    47932     18 |  0.393 % |
167.17/167.27	c |     49061 |  146423  1447353  4888905 | 2147483647    48587     19 |  0.393 % |
167.17/167.30	c |     49162 |  146423  1447353  4888905 | 2147483647    48688     19 |  0.393 % |
167.26/167.33	c |     49272 |  146423  1447353  4888905 | 2147483647    48798     19 |  0.393 % |
167.26/167.36	c |     49395 |  146423  1447353  4888905 | 2147483647    48921     19 |  0.393 % |
167.26/167.40	c |     49528 |  146423  1447353  4888905 | 2147483647    49054     19 |  0.393 % |
167.36/167.43	c |     49677 |  146423  1447353  4888905 | 2147483647    49203     19 |  0.393 % |
167.36/167.49	c |     49840 |  146423  1447353  4888905 | 2147483647    49366     19 |  0.393 % |
167.56/167.63	c |     50017 |  146422  1447353  4888905 | 2147483647    49543     19 |  0.393 % |
167.56/167.69	c |     50210 |  146422  1447353  4888905 | 2147483647    49736     19 |  0.393 % |
167.66/167.76	c |     50422 |  146422  1447353  4888905 | 2147483647    49948     19 |  0.393 % |
167.86/167.93	c |     50655 |  146420  1447329  4888823 | 2147483647    50180     19 |  0.393 % |
167.86/167.99	c |     50911 |  146418  1447329  4888823 | 2147483647    50435     19 |  0.395 % |
168.06/168.12	c |     51193 |  146418  1447329  4888823 | 2147483647    50717     19 |  0.395 % |
168.16/168.25	c |     51503 |  146418  1447329  4888823 | 2147483647    51027     19 |  0.395 % |
168.27/168.39	c |     51842 |  146418  1447329  4888823 | 2147483647    51366     19 |  0.395 % |
168.36/168.46	c |     52215 |  146418  1447329  4888823 | 2147483647    51739     19 |  0.395 % |
168.46/168.55	c |     52624 |  146418  1447329  4888823 | 2147483647    52148     19 |  0.395 % |
168.56/168.68	c |     53079 |  146418  1447329  4888823 | 2147483647    52603     19 |  0.395 % |
168.76/168.83	c |     53574 |  146418  1447329  4888823 | 2147483647    53098     19 |  0.395 % |
168.96/169.01	c |     54117 |  146418  1447329  4888823 | 2147483647    53641     19 |  0.395 % |
169.06/169.18	c |     54713 |  146418  1447329  4888823 | 2147483647    54237     19 |  0.395 % |
169.26/169.38	c |     55369 |  146418  1447329  4888823 | 2147483647    54893     19 |  0.395 % |
169.46/169.59	c |     56090 |  146418  1447329  4888823 | 2147483647    55614     19 |  0.395 % |
169.56/169.63	c |     56191 |  146418  1447329  4888823 | 2147483647    55715     19 |  0.395 % |
169.56/169.68	c |     56302 |  146418  1447329  4888823 | 2147483647    55826     19 |  0.395 % |
169.66/169.72	c |     56423 |  146418  1447329  4888823 | 2147483647    55947     19 |  0.395 % |
169.66/169.77	c |     56556 |  146418  1447329  4888823 | 2147483647    56080     19 |  0.395 % |
169.76/169.84	c |     56703 |  146418  1447329  4888823 | 2147483647    56227     19 |  0.395 % |
169.76/169.89	c |     56864 |  146418  1447329  4888823 | 2147483647    56388     19 |  0.395 % |
169.96/170.05	c |     57041 |  146418  1447329  4888823 | 2147483647    56565     19 |  0.395 % |
170.06/170.17	c |     57234 |  146418  1447329  4888823 | 2147483647    56758     19 |  0.395 % |
170.16/170.23	c |     57446 |  146418  1447329  4888823 | 2147483647    56970     19 |  0.395 % |
170.26/170.34	c |     57679 |  146418  1447329  4888823 | 2147483647    57203     19 |  0.395 % |
170.36/170.44	c |     57936 |  146418  1447329  4888823 | 2147483647    57460     19 |  0.395 % |
170.47/170.56	c |     58218 |  146418  1447329  4888823 | 2147483647    57742     19 |  0.395 % |
170.56/170.66	c |     58529 |  146418  1447329  4888823 | 2147483647    58053     19 |  0.395 % |
170.76/170.81	c |     58869 |  146418  1447329  4888823 | 2147483647    58393     19 |  0.395 % |
170.86/170.94	c |     59242 |  146418  1447329  4888823 | 2147483647    58766     19 |  0.395 % |
171.06/171.18	c |     59653 |  146418  1447329  4888823 | 2147483647    59177     19 |  0.395 % |
171.26/171.31	c |     60102 |  146418  1447329  4888823 | 2147483647    59626     19 |  0.395 % |
171.46/171.51	c |     60595 |  146418  1447329  4888823 | 2147483647    60119     19 |  0.395 % |
171.66/171.74	c |     61138 |  146418  1447329  4888823 | 2147483647    60662     19 |  0.395 % |
171.96/172.05	c |     61734 |  146418  1447329  4888823 | 2147483647    61258     20 |  0.395 % |
172.26/172.32	c |     62389 |  146418  1447329  4888823 | 2147483647    61913     20 |  0.395 % |
172.36/172.46	c |     63112 |  146418  1447329  4888823 | 2147483647    62636     20 |  0.395 % |
172.46/172.54	c |     63905 |  146418  1447329  4888823 | 2147483647    63429     20 |  0.395 % |
172.46/172.57	c |     64005 |  146418  1447329  4888823 | 2147483647    63529     20 |  0.395 % |
172.46/172.59	c |     64115 |  146418  1447329  4888823 | 2147483647    63639     20 |  0.395 % |
172.56/172.62	c |     64236 |  146418  1447329  4888823 | 2147483647    63760     20 |  0.395 % |
172.56/172.66	c |     64369 |  146418  1447329  4888823 | 2147483647    63893     20 |  0.395 % |
172.56/172.68	c |     64515 |  146418  1447329  4888823 | 2147483647    64039     20 |  0.395 % |
172.67/172.74	c |     64677 |  146418  1447329  4888823 | 2147483647    64201     20 |  0.395 % |
172.67/172.77	c |     64853 |  146418  1447329  4888823 | 2147483647    64377     20 |  0.395 % |
172.76/172.85	c |     65047 |  146418  1447329  4888823 | 2147483647    64571     20 |  0.395 % |
172.86/172.95	c |     65260 |  146418  1447329  4888823 | 2147483647    64784     20 |  0.395 % |
173.06/173.11	c |     65494 |  146418  1447329  4888823 | 2147483647    65018     20 |  0.395 % |
173.06/173.18	c |     65750 |  146418  1447329  4888823 | 2147483647    65274     20 |  0.395 % |
173.26/173.32	c |     66031 |  146418  1447329  4888823 | 2147483647    65555     20 |  0.395 % |
173.36/173.41	c |     66340 |  146418  1447329  4888823 | 2147483647    65864     20 |  0.395 % |
173.46/173.54	c |     66679 |  146418  1447329  4888823 | 2147483647    66203     20 |  0.395 % |
173.66/173.76	c |     67051 |  146418  1447329  4888823 | 2147483647    66575     20 |  0.395 % |
173.77/173.89	c |     67463 |  146418  1447329  4888823 | 2147483647    66987     20 |  0.395 % |
174.06/174.20	c |     67912 |  146417  1447305  4888741 | 2147483647    67434     20 |  0.395 % |
174.26/174.36	c |     68405 |  146417  1447305  4888741 | 2147483647    67927     20 |  0.395 % |
174.46/174.57	c |     68947 |  146417  1447305  4888741 | 2147483647    68469     20 |  0.395 % |
174.76/174.83	c |     69543 |  146417  1447305  4888741 | 2147483647    69065     20 |  0.395 % |
174.96/175.01	c |     70199 |  146417  1447305  4888741 | 2147483647    69721     20 |  0.395 % |
175.16/175.22	c |     70919 |  146417  1447305  4888741 | 2147483647    70441     20 |  0.395 % |
175.26/175.40	c |     71712 |  146417  1447305  4888741 | 2147483647    71234     20 |  0.395 % |
175.56/175.68	c |     72584 |  146417  1447305  4888741 | 2147483647    72106     20 |  0.395 % |
175.66/175.72	c |     72684 |  146417  1447305  4888741 | 2147483647    72206     20 |  0.395 % |
175.66/175.77	c |     72795 |  146417  1447305  4888741 | 2147483647    72317     20 |  0.395 % |
175.76/175.84	c |     72916 |  146417  1447305  4888741 | 2147483647    72438     20 |  0.395 % |
175.86/175.91	c |     73050 |  146417  1447305  4888741 | 2147483647    72572     20 |  0.395 % |
175.86/175.98	c |     73197 |  146417  1447305  4888741 | 2147483647    72719     20 |  0.395 % |
175.97/176.06	c |     73357 |  146417  1447305  4888741 | 2147483647    72879     20 |  0.395 % |
176.06/176.15	c |     73533 |  146417  1447305  4888741 | 2147483647    73055     20 |  0.395 % |
176.16/176.22	c |     73726 |  146417  1447305  4888741 | 2147483647    73248     20 |  0.395 % |
176.26/176.34	c |     73940 |  146417  1447305  4888741 | 2147483647    73462     20 |  0.395 % |
176.36/176.41	c |     74174 |  146417  1447305  4888741 | 2147483647    73696     20 |  0.395 % |
176.36/176.50	c |     74431 |  146417  1447305  4888741 | 2147483647    73953     20 |  0.395 % |
176.46/176.57	c |     74712 |  146417  1447305  4888741 | 2147483647    74234     20 |  0.395 % |
176.66/176.76	c |     75021 |  146417  1447305  4888741 | 2147483647    74543     20 |  0.395 % |
176.86/176.91	c |     75362 |  146417  1447305  4888741 | 2147483647    74884     20 |  0.395 % |
176.96/177.04	c |     75735 |  146417  1447305  4888741 | 2147483647    75257     20 |  0.395 % |
177.26/177.32	c |     76145 |  146417  1447305  4888741 | 2147483647    75667     20 |  0.395 % |
177.46/177.57	c |     76597 |  146417  1447305  4888741 | 2147483647    76119     20 |  0.395 % |
177.76/177.87	c |     77090 |  146417  1447305  4888741 | 2147483647    76612     20 |  0.395 % |
177.96/178.09	c |     77633 |  146417  1447305  4888741 | 2147483647    77155     20 |  0.395 % |
178.26/178.35	c |     78229 |  146417  1447305  4888741 | 2147483647    77751     20 |  0.395 % |
178.46/178.57	c |     78884 |  146417  1447305  4888741 | 2147483647    78406     20 |  0.395 % |
178.76/178.81	c |     79604 |  146417  1447305  4888741 | 2147483647    79126     20 |  0.395 % |
179.06/179.16	c |     80396 |  146417  1447305  4888741 | 2147483647    79918     20 |  0.395 % |
179.36/179.49	c |     81269 |  146417  1447305  4888741 | 2147483647    80791     21 |  0.395 % |
179.86/179.96	c |     82228 |  146417  1447305  4888741 | 2147483647    81750     21 |  0.395 % |
179.86/180.00	c |     82328 |  146417  1447305  4888741 | 2147483647    81850     21 |  0.395 % |
179.96/180.08	c |     82440 |  146417  1447305  4888741 | 2147483647    81962     21 |  0.395 % |
180.06/180.14	c |     82562 |  146417  1447305  4888741 | 2147483647    82084     21 |  0.395 % |
180.16/180.23	c |     82695 |  146417  1447305  4888741 | 2147483647    82217     21 |  0.395 % |
180.16/180.27	c |     82842 |  146417  1447305  4888741 | 2147483647    82364     21 |  0.395 % |
180.26/180.37	c |     83002 |  146417  1447305  4888741 | 2147483647    82524     21 |  0.395 % |
180.37/180.46	c |     83178 |  146417  1447305  4888741 | 2147483647    82700     21 |  0.395 % |
180.46/180.58	c |     83372 |  146417  1447305  4888741 | 2147483647    82894     21 |  0.395 % |
180.66/180.72	c |     83584 |  146417  1447305  4888741 | 2147483647    83106     21 |  0.395 % |
180.76/180.86	c |     83819 |  146417  1447305  4888741 | 2147483647    83341     21 |  0.395 % |
180.86/180.98	c |     84077 |  146417  1447305  4888741 | 2147483647    83599     21 |  0.395 % |
181.06/181.14	c |     84359 |  146417  1447305  4888741 | 2147483647    83881     21 |  0.395 % |
181.26/181.30	c |     84669 |  146417  1447305  4888741 | 2147483647    84191     21 |  0.395 % |
181.36/181.51	c |     85009 |  146417  1447305  4888741 | 2147483647    84531     21 |  0.395 % |
181.56/181.67	c |     85381 |  146417  1447305  4888741 | 2147483647    84903     21 |  0.395 % |
181.86/181.92	c |     85791 |  146417  1447305  4888741 | 2147483647    85313     21 |  0.395 % |
182.06/182.11	c |     86240 |  146417  1447305  4888741 | 2147483647    85762     21 |  0.395 % |
182.26/182.39	c |     86738 |  146417  1447305  4888741 | 2147483647    86260     21 |  0.395 % |
182.57/182.70	c |     87280 |  146417  1447305  4888741 | 2147483647    86802     21 |  0.395 % |
182.96/183.02	c |     87877 |  146417  1447305  4888741 | 2147483647    87399     21 |  0.395 % |
183.26/183.35	c |     88533 |  146417  1447305  4888741 | 2147483647    88055     21 |  0.395 % |
183.67/183.80	c |     89254 |  146417  1447305  4888741 | 2147483647    88776     21 |  0.395 % |
184.16/184.26	c |     90048 |  146417  1447305  4888741 | 2147483647    89570     21 |  0.395 % |
184.77/184.86	c |     90922 |  146417  1447305  4888741 | 2147483647    90444     21 |  0.395 % |
185.16/185.29	c |     91882 |  146417  1447305  4888741 | 2147483647    91404     21 |  0.395 % |
185.96/186.09	c |     92935 |  146417  1447305  4888741 | 2147483647    92457     21 |  0.395 % |
186.06/186.14	c |     93035 |  146417  1447305  4888741 | 2147483647    92557     21 |  0.395 % |
186.06/186.20	c |     93148 |  146417  1447305  4888741 | 2147483647    92670     21 |  0.395 % |
186.16/186.24	c |     93270 |  146417  1447305  4888741 | 2147483647    92792     21 |  0.395 % |
186.26/186.32	c |     93403 |  146417  1447305  4888741 | 2147483647    92925     21 |  0.395 % |
186.36/186.45	c |     93550 |  146417  1447305  4888741 | 2147483647    93072     21 |  0.395 % |
186.46/186.55	c |     93714 |  146417  1447305  4888741 | 2147483647    93236     21 |  0.395 % |
186.56/186.66	c |     93890 |  146417  1447305  4888741 | 2147483647    93412     21 |  0.395 % |
186.76/186.83	c |     94084 |  146417  1447305  4888741 | 2147483647    93606     21 |  0.395 % |
186.86/186.98	c |     94296 |  146417  1447305  4888741 | 2147483647    93818     21 |  0.395 % |
187.06/187.13	c |     94530 |  146417  1447305  4888741 | 2147483647    94052     21 |  0.395 % |
187.16/187.28	c |     94787 |  146417  1447305  4888741 | 2147483647    94309     21 |  0.395 % |
187.36/187.44	c |     95069 |  146417  1447305  4888741 | 2147483647    94591     21 |  0.395 % |
187.56/187.62	c |     95378 |  146417  1447305  4888741 | 2147483647    94900     21 |  0.395 % |
187.76/187.85	c |     95719 |  146417  1447305  4888741 | 2147483647    95241     21 |  0.395 % |
187.96/188.07	c |     96091 |  146417  1447305  4888741 | 2147483647    95613     21 |  0.395 % |
188.16/188.30	c |     96502 |  146417  1447305  4888741 | 2147483647    96024     21 |  0.395 % |
188.46/188.52	c |     96951 |  146417  1447305  4888741 | 2147483647    96473     21 |  0.395 % |
188.66/188.74	c |     97446 |  146417  1447305  4888741 | 2147483647    96968     22 |  0.395 % |
189.06/189.11	c |     97988 |  146417  1447305  4888741 | 2147483647    97510     22 |  0.395 % |
189.36/189.46	c |     98587 |  146417  1447305  4888741 | 2147483647    98109     22 |  0.395 % |
189.86/189.93	c |     99242 |  146417  1447305  4888741 | 2147483647    98764     22 |  0.395 % |
190.36/190.42	c |     99963 |  146417  1447305  4888741 | 2147483647    99485     22 |  0.395 % |
190.96/191.06	c |    100755 |  146417  1447305  4888741 | 2147483647   100277     22 |  0.395 % |
191.26/191.40	c |    101626 |  146417  1447305  4888741 | 2147483647   101148     22 |  0.395 % |
192.06/192.13	c |    102585 |  146417  1447305  4888741 | 2147483647   102107     22 |  0.395 % |
192.66/192.77	c |    103640 |  146417  1447305  4888741 | 2147483647   103162     22 |  0.395 % |
193.46/193.56	c |    104799 |  146417  1447305  4888741 | 2147483647   104321     22 |  0.395 % |
193.57/193.62	c |    104899 |  146417  1447305  4888741 | 2147483647   104421     22 |  0.395 % |
193.57/193.67	c |    105010 |  146417  1447305  4888741 | 2147483647   104532     22 |  0.395 % |
193.66/193.72	c |    105131 |  146417  1447305  4888741 | 2147483647   104653     22 |  0.395 % |
193.66/193.80	c |    105264 |  146417  1447305  4888741 | 2147483647   104786     22 |  0.395 % |
193.76/193.86	c |    105410 |  146417  1447305  4888741 | 2147483647   104932     22 |  0.395 % |
193.86/193.92	c |    105570 |  146417  1447305  4888741 | 2147483647   105092     22 |  0.395 % |
193.86/193.97	c |    105749 |  146417  1447305  4888741 | 2147483647   105271     22 |  0.395 % |
193.96/194.07	c |    105942 |  146417  1447305  4888741 | 2147483647   105464     22 |  0.395 % |
194.06/194.11	c |    106154 |  146417  1447305  4888741 | 2147483647   105676     22 |  0.395 % |
194.16/194.22	c |    106388 |  146417  1447305  4888741 | 2147483647   105910     22 |  0.395 % |
194.26/194.37	c |    106645 |  146417  1447305  4888741 | 2147483647   106167     22 |  0.395 % |
194.46/194.57	c |    106928 |  146417  1447305  4888741 | 2147483647   106450     22 |  0.395 % |
194.67/194.80	c |    107240 |  146417  1447305  4888741 | 2147483647   106762     22 |  0.395 % |
194.86/194.98	c |    107579 |  146417  1447305  4888741 | 2147483647   107101     22 |  0.395 % |
195.06/195.18	c |    107951 |  146417  1447305  4888741 | 2147483647   107473     22 |  0.395 % |
195.46/195.52	c |    108361 |  146417  1447305  4888741 | 2147483647   107883     22 |  0.395 % |
195.66/195.75	c |    108810 |  146417  1447305  4888741 | 2147483647   108332     22 |  0.395 % |
196.16/196.25	c |    109303 |  146417  1447305  4888741 | 2147483647   108825     22 |  0.395 % |
196.66/196.73	c |    109845 |  146416  1447296  4888713 | 2147483647   109366     22 |  0.395 % |
197.06/197.17	c |    110443 |  146416  1447296  4888713 | 2147483647   109964     22 |  0.395 % |
197.66/197.79	c |    111099 |  146416  1447296  4888713 | 2147483647   110620     22 |  0.395 % |
198.16/198.29	c |    111819 |  146416  1447296  4888713 | 2147483647   111340     22 |  0.395 % |
198.46/198.60	c |    112611 |  146416  1447296  4888713 | 2147483647   112132     22 |  0.395 % |
199.16/199.29	c |    113483 |  146416  1447296  4888713 | 2147483647   113004     22 |  0.395 % |
200.06/200.15	c |    114441 |  146416  1447296  4888713 | 2147483647   113962     22 |  0.395 % |
200.97/201.02	c |    115496 |  146416  1447296  4888713 | 2147483647   115017     22 |  0.395 % |
201.57/201.71	c |    116654 |  146416  1447296  4888713 | 2147483647   116175     22 |  0.395 % |
202.67/202.76	c |    117929 |  146416  1447296  4888713 | 2147483647   117450     22 |  0.395 % |
202.77/202.83	c |    118031 |  146416  1447296  4888713 | 2147483647   117552     22 |  0.395 % |
202.77/202.90	c |    118142 |  146416  1447296  4888713 | 2147483647   117663     22 |  0.395 % |
202.87/203.00	c |    118264 |  146416  1447296  4888713 | 2147483647   117785     22 |  0.395 % |
203.07/203.14	c |    118400 |  146416  1447296  4888713 | 2147483647   117921     22 |  0.395 % |
203.07/203.19	c |    118547 |  146416  1447296  4888713 | 2147483647   118068     22 |  0.395 % |
203.27/203.39	c |    118707 |  146416  1447296  4888713 | 2147483647   118228     22 |  0.395 % |
203.37/203.50	c |    118884 |  146416  1447296  4888713 | 2147483647   118405     22 |  0.395 % |
203.57/203.67	c |    119077 |  146416  1447296  4888713 | 2147483647   118598     22 |  0.395 % |
203.77/203.90	c |    119290 |  146416  1447296  4888713 | 2147483647   118811     22 |  0.395 % |
203.97/204.05	c |    119524 |  146416  1447296  4888713 | 2147483647   119045     22 |  0.395 % |
204.27/204.32	c |    119782 |  146416  1447296  4888713 | 2147483647   119303     22 |  0.395 % |
204.37/204.47	c |    120064 |  146416  1447296  4888713 | 2147483647   119585     22 |  0.395 % |
204.57/204.65	c |    120373 |  146416  1447296  4888713 | 2147483647   119894     22 |  0.395 % |
204.97/205.02	c |    120714 |  146416  1447296  4888713 | 2147483647   120235     22 |  0.395 % |
205.07/205.20	c |    121089 |  146416  1447296  4888713 | 2147483647   120610     22 |  0.395 % |
205.37/205.42	c |    121499 |  146416  1447296  4888713 | 2147483647   121020     22 |  0.395 % |
205.67/205.75	c |    121950 |  146416  1447296  4888713 | 2147483647   121471     22 |  0.395 % |
205.97/206.02	c |    122444 |  146416  1447296  4888713 | 2147483647   121965     22 |  0.395 % |
206.37/206.47	c |    122987 |  146416  1447296  4888713 | 2147483647   122508     22 |  0.395 % |
207.07/207.13	c |    123583 |  146413  1447272  4888631 | 2147483647   123102     22 |  0.397 % |
207.67/207.73	c |    124238 |  146413  1447272  4888631 | 2147483647   123757     23 |  0.397 % |
207.97/208.03	c |    124959 |  146413  1447272  4888631 | 2147483647   124478     23 |  0.397 % |
208.67/208.72	c |    125751 |  146413  1447272  4888631 | 2147483647   125270     23 |  0.397 % |
208.97/209.11	c |    126622 |  146413  1447272  4888631 | 2147483647   126141     23 |  0.397 % |
209.47/209.60	c |    127580 |  146413  1447272  4888631 | 2147483647   127099     23 |  0.397 % |
210.37/210.51	c |    128633 |  146413  1447272  4888631 | 2147483647   128152     23 |  0.397 % |
211.57/211.67	c |    129793 |  146413  1447272  4888631 | 2147483647   129312     23 |  0.397 % |
212.57/212.66	c |    131066 |  146413  1447272  4888631 | 2147483647   130585     23 |  0.397 % |
213.57/213.68	c |    132466 |  146413  1447272  4888631 | 2147483647   131985     23 |  0.397 % |
213.67/213.79	c |    132567 |  146413  1447272  4888631 | 2147483647   132086     23 |  0.397 % |
213.87/213.92	c |    132678 |  146413  1447272  4888631 | 2147483647   132197     23 |  0.397 % |
214.07/214.12	c |    132800 |  146413  1447272  4888631 | 2147483647   132319     23 |  0.397 % |
214.17/214.28	c |    132935 |  146413  1447272  4888631 | 2147483647   132454     23 |  0.397 % |
214.37/214.43	c |    133084 |  146413  1447272  4888631 | 2147483647   132603     23 |  0.397 % |
214.47/214.59	c |    133244 |  146413  1447272  4888631 | 2147483647   132763     23 |  0.397 % |
214.67/214.80	c |    133422 |  146413  1447272  4888631 | 2147483647   132941     23 |  0.397 % |
214.97/215.05	c |    133615 |  146413  1447272  4888631 | 2147483647   133134     23 |  0.397 % |
215.17/215.27	c |    133828 |  146413  1447272  4888631 | 2147483647   133347     23 |  0.397 % |
215.37/215.51	c |    134062 |  146413  1447272  4888631 | 2147483647   133581     23 |  0.397 % |
215.77/215.82	c |    134320 |  146413  1447272  4888631 | 2147483647   133839     23 |  0.397 % |
215.87/215.97	c |    134602 |  146413  1447272  4888631 | 2147483647   134121     23 |  0.397 % |
216.07/216.14	c |    134911 |  146413  1447272  4888631 | 2147483647   134430     23 |  0.397 % |
216.37/216.44	c |    135250 |  146413  1447272  4888631 | 2147483647   134769     23 |  0.397 % |
216.67/216.73	c |    135623 |  146413  1447272  4888631 | 2147483647   135142     23 |  0.397 % |
216.77/216.85	c |    136032 |  146413  1447272  4888631 | 2147483647   135551     23 |  0.397 % |
216.87/216.92	c |    136481 |  146413  1447272  4888631 | 2147483647   136000     23 |  0.397 % |
216.97/217.09	c |    136974 |  146413  1447272  4888631 | 2147483647   136493     23 |  0.397 % |
217.27/217.39	c |    137516 |  146413  1447272  4888631 | 2147483647   137035     23 |  0.397 % |
217.47/217.57	c |    138112 |  146413  1447272  4888631 | 2147483647   137631     23 |  0.397 % |
217.57/217.71	c |    138768 |  146413  1447272  4888631 | 2147483647   138287     23 |  0.397 % |
217.77/217.88	c |    139489 |  146413  1447272  4888631 | 2147483647   139008     23 |  0.397 % |
218.17/218.27	c |    140281 |  146413  1447272  4888631 | 2147483647   139800     23 |  0.397 % |
219.17/219.23	c |    141153 |  146413  1447272  4888631 | 2147483647   140672     23 |  0.397 % |
220.07/220.20	c |    142113 |  146413  1447272  4888631 | 2147483647   141632     23 |  0.397 % |
220.77/220.89	c |    143168 |  146410  1447248  4888549 | 2147483647   142685     23 |  0.399 % |
221.47/221.52	c |    144326 |  146410  1447248  4888549 | 2147483647   143843     23 |  0.399 % |
222.37/222.44	c |    145600 |  146410  1447248  4888549 | 2147483647   145117     23 |  0.399 % |
223.67/223.79	c |    147003 |  146410  1447248  4888549 | 2147483647   146520     23 |  0.399 % |
225.07/225.16	c |    148546 |  146410  1447248  4888549 | 2147483647   148063     23 |  0.399 % |
225.27/225.33	c |    148646 |  146410  1447248  4888549 | 2147483647   148163     23 |  0.399 % |
225.37/225.50	c |    148756 |  146410  1447248  4888549 | 2147483647   148273     23 |  0.399 % |
225.47/225.59	c |    148878 |  146410  1447248  4888549 | 2147483647   148395     23 |  0.399 % |
225.67/225.72	c |    149012 |  146410  1447248  4888549 | 2147483647   148529     23 |  0.399 % |
225.77/225.89	c |    149158 |  146410  1447248  4888549 | 2147483647   148675     23 |  0.399 % |
225.97/226.05	c |    149320 |  146410  1447248  4888549 | 2147483647   148837     23 |  0.399 % |
226.27/226.32	c |    149498 |  146410  1447248  4888549 | 2147483647   149015     23 |  0.399 % |
226.47/226.57	c |    149691 |  146410  1447248  4888549 | 2147483647   149208     23 |  0.399 % |
226.77/226.88	c |    149906 |  146410  1447248  4888549 | 2147483647   149423     23 |  0.399 % |
227.07/227.14	c |    150141 |  146410  1447248  4888549 | 2147483647   149658     23 |  0.399 % |
227.37/227.44	c |    150397 |  146410  1447248  4888549 | 2147483647   149914     23 |  0.399 % |
227.67/227.72	c |    150679 |  146410  1447248  4888549 | 2147483647   150196     23 |  0.399 % |
227.87/227.95	c |    150989 |  146410  1447248  4888549 | 2147483647   150506     23 |  0.399 % |
228.17/228.28	c |    151328 |  146410  1447248  4888549 | 2147483647   150845     23 |  0.399 % |
228.57/228.65	c |    151700 |  146410  1447248  4888549 | 2147483647   151217     23 |  0.399 % |
228.77/228.88	c |    152109 |  146410  1447248  4888549 | 2147483647   151626     23 |  0.399 % |
229.17/229.30	c |    152560 |  146410  1447248  4888549 | 2147483647   152077     23 |  0.399 % |
229.47/229.60	c |    153053 |  146410  1447248  4888549 | 2147483647   152570     23 |  0.399 % |
229.77/229.89	c |    153597 |  146410  1447248  4888549 | 2147483647   153114     23 |  0.399 % |
230.07/230.15	c |    154193 |  146410  1447248  4888549 | 2147483647   153710     23 |  0.399 % |
230.67/230.74	c |    154848 |  146410  1447248  4888549 | 2147483647   154365     23 |  0.399 % |
231.27/231.37	c |    155568 |  146410  1447248  4888549 | 2147483647   155085     23 |  0.399 % |
232.17/232.23	c |    156360 |  146410  1447248  4888549 | 2147483647   155877     23 |  0.399 % |
232.67/232.73	c |    157231 |  146410  1447248  4888549 | 2147483647   156748     23 |  0.399 % |
233.37/233.44	c |    158190 |  146410  1447248  4888549 | 2147483647   157707     24 |  0.399 % |
234.57/234.66	c |    159243 |  146410  1447248  4888549 | 2147483647   158760     24 |  0.399 % |
235.27/235.34	c |    160401 |  146410  1447248  4888549 | 2147483647   159918     24 |  0.399 % |
236.37/236.47	c |    161674 |  146410  1447248  4888549 | 2147483647   161191     24 |  0.399 % |
237.17/237.30	c |    163075 |  146410  1447248  4888549 | 2147483647   162592     24 |  0.399 % |
238.97/239.10	c |    164615 |  146410  1447248  4888549 | 2147483647   164132     24 |  0.399 % |
241.17/241.26	c |    166309 |  146410  1447248  4888549 | 2147483647   165826     24 |  0.399 % |
241.27/241.40	c |    166410 |  146410  1447248  4888549 | 2147483647   165927     24 |  0.399 % |
241.47/241.52	c |    166520 |  146410  1447248  4888549 | 2147483647   166037     24 |  0.399 % |
241.67/241.72	c |    166641 |  146410  1447248  4888549 | 2147483647   166158     24 |  0.399 % |
241.77/241.90	c |    166774 |  146410  1447248  4888549 | 2147483647   166291     24 |  0.399 % |
241.97/242.05	c |    166922 |  146410  1447248  4888549 | 2147483647   166439     24 |  0.399 % |
242.17/242.26	c |    167084 |  146410  1447248  4888549 | 2147483647   166601     24 |  0.399 % |
242.47/242.52	c |    167260 |  146410  1447248  4888549 | 2147483647   166777     24 |  0.399 % |
242.67/242.77	c |    167454 |  146410  1447248  4888549 | 2147483647   166971     24 |  0.399 % |
242.87/242.95	c |    167668 |  146410  1447248  4888549 | 2147483647   167185     24 |  0.399 % |
243.17/243.26	c |    167902 |  146410  1447248  4888549 | 2147483647   167419     24 |  0.399 % |
243.37/243.44	c |    168159 |  146410  1447248  4888549 | 2147483647   167676     24 |  0.399 % |
243.67/243.73	c |    168441 |  146410  1447248  4888549 | 2147483647   167958     24 |  0.399 % |
243.87/243.94	c |    168750 |  146410  1447248  4888549 | 2147483647   168267     24 |  0.399 % |
244.17/244.30	c |    169090 |  146410  1447248  4888549 | 2147483647   168607     24 |  0.399 % |
244.57/244.68	c |    169462 |  146410  1447248  4888549 | 2147483647   168979     24 |  0.399 % |
245.17/245.30	c |    169872 |  146410  1447248  4888549 | 2147483647   169389     24 |  0.399 % |
245.67/245.72	c |    170324 |  146410  1447248  4888549 | 2147483647   169841     24 |  0.399 % |
245.97/246.02	c |    170819 |  146410  1447248  4888549 | 2147483647   170336     24 |  0.399 % |
246.47/246.51	c |    171363 |  146410  1447248  4888549 | 2147483647   170880     24 |  0.399 % |
246.97/247.10	c |    171962 |  146410  1447248  4888549 | 2147483647   171479     24 |  0.399 % |
247.57/247.62	c |    172617 |  146410  1447248  4888549 | 2147483647   172134     24 |  0.399 % |
248.27/248.37	c |    173337 |  146410  1447248  4888549 | 2147483647   172854     24 |  0.399 % |
249.17/249.26	c |    174129 |  146409  1447239  4888521 | 2147483647   173645     24 |  0.400 % |
250.27/250.31	c |    175003 |  146409  1447239  4888521 | 2147483647   174519     24 |  0.400 % |
251.37/251.51	c |    175961 |  146409  1447239  4888521 | 2147483647   175477     24 |  0.400 % |
252.67/252.80	c |    177014 |  146409  1447239  4888521 | 2147483647   176530     24 |  0.400 % |
253.77/253.85	c |    178172 |  146409  1447239  4888521 | 2147483647   177688     24 |  0.400 % |
254.87/254.99	c |    179452 |  146409  1447239  4888521 | 2147483647   178968     24 |  0.400 % |
256.17/256.26	c |    180853 |  146409  1447239  4888521 | 2147483647   180369     24 |  0.400 % |
256.87/257.00	c |    182393 |  146409  1447239  4888521 | 2147483647   181909     24 |  0.400 % |
258.77/258.82	c |    184088 |  146409  1447239  4888521 | 2147483647   183604     24 |  0.400 % |
260.47/260.60	c |    185952 |  146409  1447239  4888521 | 2147483647   185468     24 |  0.400 % |
260.57/260.68	c |    186052 |  146409  1447239  4888521 | 2147483647   185568     24 |  0.400 % |
260.77/260.83	c |    186163 |  146409  1447239  4888521 | 2147483647   185679     24 |  0.400 % |
260.87/260.98	c |    186284 |  146409  1447239  4888521 | 2147483647   185800     24 |  0.400 % |
261.07/261.13	c |    186418 |  146409  1447239  4888521 | 2147483647   185934     24 |  0.400 % |
261.17/261.27	c |    186564 |  146409  1447239  4888521 | 2147483647   186080     24 |  0.400 % |
261.27/261.39	c |    186724 |  146409  1447239  4888521 | 2147483647   186240     24 |  0.400 % |
261.47/261.56	c |    186904 |  146409  1447239  4888521 | 2147483647   186420     24 |  0.400 % |
261.67/261.76	c |    187098 |  146409  1447239  4888521 | 2147483647   186614     24 |  0.400 % |
261.97/262.06	c |    187311 |  146409  1447239  4888521 | 2147483647   186827     24 |  0.400 % |
262.27/262.40	c |    187545 |  146409  1447239  4888521 | 2147483647   187061     24 |  0.400 % |
262.47/262.59	c |    187802 |  146409  1447239  4888521 | 2147483647   187318     24 |  0.400 % |
262.87/262.94	c |    188084 |  146409  1447239  4888521 | 2147483647   187600     24 |  0.400 % |
263.27/263.37	c |    188393 |  146409  1447239  4888521 | 2147483647   187909     24 |  0.400 % |
263.57/263.67	c |    188732 |  146409  1447239  4888521 | 2147483647   188248     24 |  0.400 % |
263.87/263.97	c |    189107 |  146409  1447239  4888521 | 2147483647   188623     24 |  0.400 % |
264.47/264.52	c |    189516 |  146409  1447239  4888521 | 2147483647   189032     25 |  0.400 % |
265.07/265.12	c |    189966 |  146409  1447239  4888521 | 2147483647   189482     25 |  0.400 % |
265.67/265.76	c |    190460 |  146409  1447239  4888521 | 2147483647   189976     25 |  0.400 % |
266.17/266.24	c |    191005 |  146409  1447239  4888521 | 2147483647   190521     25 |  0.400 % |
266.67/266.74	c |    191601 |  146409  1447239  4888521 | 2147483647   191117     25 |  0.400 % |
267.57/267.68	c |    192258 |  146409  1447239  4888521 | 2147483647   191774     25 |  0.400 % |
268.07/268.18	c |    192978 |  146409  1447239  4888521 | 2147483647   192494     25 |  0.400 % |
268.77/268.88	c |    193770 |  146409  1447239  4888521 | 2147483647   193286     25 |  0.400 % |
268.97/269.10	c |    194641 |  146409  1447239  4888521 | 2147483647   194157     25 |  0.400 % |
270.07/270.21	c |    195600 |  146409  1447239  4888521 | 2147483647   195116     25 |  0.400 % |
270.67/270.78	c |    196653 |  146409  1447239  4888521 | 2147483647   196169     25 |  0.400 % |
271.57/271.70	c |    197812 |  146409  1447239  4888521 | 2147483647   197328     25 |  0.400 % |
271.97/272.06	c |    199085 |  146409  1447239  4888521 | 2147483647   198601     25 |  0.400 % |
272.87/272.96	c |    200486 |  146406  1445434  4881335 | 2147483647   200001     25 |  0.402 % |
273.27/273.35	c |    202027 |  146406  1445434  4881335 | 2147483647   201542     25 |  0.402 % |
275.17/275.25	c |    203724 |  146406  1445434  4881335 | 2147483647   203239     25 |  0.402 % |
277.47/277.59	c |    205587 |  146406  1445434  4881335 | 2147483647   205102     25 |  0.402 % |
278.97/279.05	c |    207636 |  146406  1445434  4881335 | 2147483647   207151     25 |  0.402 % |
279.17/279.26	c |    207737 |  146406  1445434  4881335 | 2147483647   207252     25 |  0.402 % |
279.27/279.36	c |    207847 |  146406  1445434  4881335 | 2147483647   207362     25 |  0.402 % |
279.38/279.48	c |    207969 |  146406  1445434  4881335 | 2147483647   207484     25 |  0.402 % |
279.57/279.65	c |    208103 |  146406  1445434  4881335 | 2147483647   207618     25 |  0.402 % |
279.77/279.85	c |    208249 |  146406  1445434  4881335 | 2147483647   207764     25 |  0.402 % |
279.97/280.06	c |    208409 |  146406  1445434  4881335 | 2147483647   207924     25 |  0.402 % |
280.07/280.18	c |    208587 |  146406  1445434  4881335 | 2147483647   208102     25 |  0.402 % |
280.27/280.38	c |    208780 |  146406  1445434  4881335 | 2147483647   208295     25 |  0.402 % |
280.57/280.64	c |    208992 |  146406  1445434  4881335 | 2147483647   208507     25 |  0.402 % |
280.87/280.92	c |    209225 |  146406  1445434  4881335 | 2147483647   208740     25 |  0.402 % |
280.97/281.09	c |    209482 |  146406  1445434  4881335 | 2147483647   208997     25 |  0.402 % |
281.17/281.29	c |    209764 |  146406  1445434  4881335 | 2147483647   209279     25 |  0.402 % |
281.77/281.84	c |    210073 |  146406  1445434  4881335 | 2147483647   209588     25 |  0.402 % |
282.07/282.18	c |    210412 |  146406  1445434  4881335 | 2147483647   209927     25 |  0.402 % |
282.27/282.36	c |    210784 |  146406  1445434  4881335 | 2147483647   210299     25 |  0.402 % |
282.77/282.84	c |    211193 |  146406  1445434  4881335 | 2147483647   210708     25 |  0.402 % |
282.97/283.02	c |    211642 |  146406  1445434  4881335 | 2147483647   211157     25 |  0.402 % |
283.57/283.67	c |    212136 |  146406  1445434  4881335 | 2147483647   211651     25 |  0.402 % |
284.17/284.28	c |    212678 |  146406  1445434  4881335 | 2147483647   212193     25 |  0.402 % |
284.77/284.84	c |    213277 |  146406  1445434  4881335 | 2147483647   212792     25 |  0.402 % |
285.47/285.56	c |    213933 |  146406  1445434  4881335 | 2147483647   213448     25 |  0.402 % |
286.67/286.77	c |    214656 |  146406  1445434  4881335 | 2147483647   214171     25 |  0.402 % |
287.37/287.49	c |    215450 |  146406  1445434  4881335 | 2147483647   214965     25 |  0.402 % |
288.18/288.28	c |    216322 |  146406  1445434  4881335 | 2147483647   215837     25 |  0.402 % |
289.17/289.27	c |    217282 |  146406  1445434  4881335 | 2147483647   216797     25 |  0.402 % |
290.17/290.21	c |    218336 |  146406  1445434  4881335 | 2147483647   217851     25 |  0.402 % |
291.87/291.99	c |    219494 |  146406  1445434  4881335 | 2147483647   219009     25 |  0.402 % |
293.07/293.15	c |    220768 |  146406  1445434  4881335 | 2147483647   220283     25 |  0.402 % |
294.57/294.66	c |    222168 |  146406  1445434  4881335 | 2147483647   221683     25 |  0.402 % |
296.27/296.34	c |    223709 |  146406  1445434  4881335 | 2147483647   223224     25 |  0.402 % |
298.08/298.16	c |    225404 |  146406  1445434  4881335 | 2147483647   224919     25 |  0.402 % |
300.77/300.84	c |    227271 |  146406  1445434  4881335 | 2147483647   226786     25 |  0.402 % |
302.97/303.05	c |    229320 |  146406  1445434  4881335 | 2147483647   228835     25 |  0.402 % |
303.97/304.10	c |    231573 |  146406  1445434  4881335 | 2147483647   231088     26 |  0.402 % |
304.17/304.24	c |    231674 |  146406  1445434  4881335 | 2147483647   231189     26 |  0.402 % |
304.27/304.40	c |    231785 |  146406  1445434  4881335 | 2147483647   231300     26 |  0.402 % |
304.47/304.57	c |    231906 |  146406  1445434  4881335 | 2147483647   231421     26 |  0.402 % |
304.68/304.75	c |    232040 |  146406  1445434  4881335 | 2147483647   231555     26 |  0.402 % |
304.97/305.09	c |    232186 |  146406  1445434  4881335 | 2147483647   231701     26 |  0.402 % |
305.17/305.30	c |    232346 |  146406  1445434  4881335 | 2147483647   231861     26 |  0.402 % |
305.37/305.48	c |    232523 |  146406  1445434  4881335 | 2147483647   232038     26 |  0.402 % |
305.78/305.83	c |    232716 |  146406  1445434  4881335 | 2147483647   232231     26 |  0.402 % |
306.07/306.12	c |    232928 |  146406  1445434  4881335 | 2147483647   232443     26 |  0.402 % |
306.27/306.39	c |    233161 |  146406  1445434  4881335 | 2147483647   232676     26 |  0.402 % |
306.67/306.73	c |    233418 |  146406  1445434  4881335 | 2147483647   232933     26 |  0.402 % |
306.97/307.03	c |    233699 |  146406  1445434  4881335 | 2147483647   233214     26 |  0.402 % |
307.27/307.38	c |    234008 |  146406  1445434  4881335 | 2147483647   233523     26 |  0.402 % |
307.67/307.79	c |    234347 |  146406  1445434  4881335 | 2147483647   233862     26 |  0.402 % |
308.17/308.29	c |    234719 |  146406  1445434  4881335 | 2147483647   234234     26 |  0.402 % |
308.87/308.98	c |    235128 |  146406  1445434  4881335 | 2147483647   234643     26 |  0.402 % |
309.17/309.30	c |    235578 |  146406  1445434  4881335 | 2147483647   235093     26 |  0.402 % |
309.57/309.70	c |    236071 |  146406  1445434  4881335 | 2147483647   235586     26 |  0.402 % |
310.27/310.37	c |    236614 |  146406  1445434  4881335 | 2147483647   236129     26 |  0.402 % |
310.97/311.10	c |    237210 |  146406  1445434  4881335 | 2147483647   236725     26 |  0.402 % |
311.77/311.89	c |    237867 |  146406  1445434  4881335 | 2147483647   237382     26 |  0.402 % |
312.57/312.71	c |    238587 |  146406  1445434  4881335 | 2147483647   238102     26 |  0.402 % |
314.37/314.45	c |    239379 |  146406  1445434  4881335 | 2147483647   238894     26 |  0.402 % |
315.07/315.20	c |    240252 |  146406  1445434  4881335 | 2147483647   239767     26 |  0.402 % |
316.38/316.50	c |    241212 |  146406  1445434  4881335 | 2147483647   240727     26 |  0.402 % |
318.08/318.21	c |    242266 |  146406  1445434  4881335 | 2147483647   241781     26 |  0.402 % |
319.68/319.72	c |    243424 |  146406  1445434  4881335 | 2147483647   242939     26 |  0.402 % |
321.18/321.26	c |    244697 |  146406  1445434  4881335 | 2147483647   244212     26 |  0.402 % |
321.88/321.94	c |    246097 |  146406  1445434  4881335 | 2147483647   245612     26 |  0.402 % |
323.38/323.49	c |    247639 |  146406  1445434  4881335 | 2147483647   247154     26 |  0.402 % |
325.48/325.55	c |    249333 |  146406  1445434  4881335 | 2147483647   248848     26 |  0.402 % |
327.08/327.13	c |    251197 |  146406  1445434  4881335 | 2147483647   250712     26 |  0.402 % |
330.68/330.80	c |    253247 |  146406  1445434  4881335 | 2147483647   252762     26 |  0.402 % |
332.38/332.46	c |    255500 |  146406  1445434  4881335 | 2147483647   255015     26 |  0.402 % |
334.58/334.67	c |    257979 |  146406  1445434  4881335 | 2147483647   257494     26 |  0.402 % |
334.78/334.91	c |    258079 |  146406  1445434  4881335 | 2147483647   257594     26 |  0.402 % |
334.88/335.00	c |    258190 |  146406  1445434  4881335 | 2147483647   257705     26 |  0.402 % |
335.08/335.14	c |    258313 |  146406  1445434  4881335 | 2147483647   257828     26 |  0.402 % |
335.28/335.40	c |    258446 |  146406  1445434  4881335 | 2147483647   257961     26 |  0.402 % |
335.68/335.73	c |    258592 |  146406  1445434  4881335 | 2147483647   258107     26 |  0.402 % |
335.88/336.00	c |    258752 |  146406  1445434  4881335 | 2147483647   258267     26 |  0.402 % |
336.08/336.14	c |    258929 |  146406  1445434  4881335 | 2147483647   258444     26 |  0.402 % |
336.18/336.23	c |    259123 |  146406  1445434  4881335 | 2147483647   258638     26 |  0.402 % |
336.18/336.30	c |    259336 |  146406  1445434  4881335 | 2147483647   258851     26 |  0.402 % |
336.48/336.58	c |    259570 |  146406  1445434  4881335 | 2147483647   259085     26 |  0.402 % |
336.58/336.70	c |    259828 |  146406  1445434  4881335 | 2147483647   259343     26 |  0.402 % |
336.88/336.98	c |    260109 |  146406  1445434  4881335 | 2147483647   259624     26 |  0.402 % |
337.38/337.47	c |    260420 |  146406  1445434  4881335 | 2147483647   259935     26 |  0.402 % |
337.78/337.83	c |    260759 |  146406  1445434  4881335 | 2147483647   260274     26 |  0.402 % |
338.18/338.23	c |    261131 |  146406  1445434  4881335 | 2147483647   260646     26 |  0.402 % |
338.98/339.10	c |    261540 |  146406  1445434  4881335 | 2147483647   261055     26 |  0.402 % |
339.48/339.61	c |    261992 |  146406  1445434  4881335 | 2147483647   261507     26 |  0.402 % |
340.48/340.60	c |    262485 |  146406  1445434  4881335 | 2147483647   262000     26 |  0.402 % |
341.48/341.59	c |    263027 |  146406  1445434  4881335 | 2147483647   262542     26 |  0.402 % |
342.08/342.17	c |    263623 |  146406  1445434  4881335 | 2147483647   263138     26 |  0.402 % |
342.58/342.64	c |    264278 |  146406  1445434  4881335 | 2147483647   263793     26 |  0.402 % |
343.28/343.37	c |    264999 |  146406  1445434  4881335 | 2147483647   264514     26 |  0.402 % |
344.08/344.22	c |    265791 |  146406  1445434  4881335 | 2147483647   265306     26 |  0.402 % |
344.68/344.72	c |    266664 |  146406  1445434  4881335 | 2147483647   266179     26 |  0.402 % |
345.68/345.79	c |    267622 |  146406  1445434  4881335 | 2147483647   267137     27 |  0.402 % |
346.38/346.46	c |    268675 |  146406  1445434  4881335 | 2147483647   268190     27 |  0.402 % |
348.48/348.56	c |    269833 |  146406  1445434  4881335 | 2147483647   269348     27 |  0.402 % |
350.48/350.52	c |    271106 |  146406  1445434  4881335 | 2147483647   270621     27 |  0.402 % |
352.18/352.23	c |    272506 |  146403  1445410  4881253 | 2147483647   272019     27 |  0.404 % |
355.08/355.14	c |    274046 |  146403  1445410  4881253 | 2147483647   273559     27 |  0.404 % |
358.78/358.83	c |    275741 |  146403  1445410  4881253 | 2147483647   275254     27 |  0.404 % |
360.68/360.75	c |    277605 |  146403  1445410  4881253 | 2147483647   277118     27 |  0.404 % |
364.88/364.98	c |    279655 |  146403  1445410  4881253 | 2147483647   279168     27 |  0.404 % |
366.78/366.91	c |    281908 |  146403  1445410  4881253 | 2147483647   281421     27 |  0.404 % |
370.58/370.63	c |    284387 |  146403  1445410  4881253 | 2147483647   283900     27 |  0.404 % |
374.58/374.63	c |    287114 |  146403  1445410  4881253 | 2147483647   286627     27 |  0.404 % |
374.78/374.82	c |    287214 |  146403  1445410  4881253 | 2147483647   286727     27 |  0.404 % |
375.08/375.13	c |    287324 |  146403  1445410  4881253 | 2147483647   286837     27 |  0.404 % |
375.28/375.38	c |    287445 |  146403  1445410  4881253 | 2147483647   286958     27 |  0.404 % |
375.58/375.70	c |    287578 |  146403  1445410  4881253 | 2147483647   287091     27 |  0.404 % |
375.88/375.97	c |    287724 |  146403  1445410  4881253 | 2147483647   287237     27 |  0.404 % |
376.18/376.23	c |    287885 |  146403  1445410  4881253 | 2147483647   287398     27 |  0.404 % |
376.38/376.47	c |    288064 |  146403  1445410  4881253 | 2147483647   287577     27 |  0.404 % |
376.68/376.81	c |    288258 |  146403  1445410  4881253 | 2147483647   287771     27 |  0.404 % |
377.28/377.40	c |    288471 |  146403  1445410  4881253 | 2147483647   287984     27 |  0.404 % |
377.68/377.81	c |    288704 |  146403  1445410  4881253 | 2147483647   288217     27 |  0.404 % |
378.18/378.25	c |    288960 |  146403  1445410  4881253 | 2147483647   288473     27 |  0.404 % |
378.38/378.50	c |    289242 |  146403  1445410  4881253 | 2147483647   288755     27 |  0.404 % |
379.18/379.31	c |    289551 |  146403  1445410  4881253 | 2147483647   289064     27 |  0.404 % |
379.88/380.00	c |    289890 |  146403  1445410  4881253 | 2147483647   289403     27 |  0.404 % |
380.68/380.77	c |    290263 |  146403  1445410  4881253 | 2147483647   289776     27 |  0.404 % |
380.88/381.01	c |    290673 |  146403  1445410  4881253 | 2147483647   290186     27 |  0.404 % |
381.48/381.53	c |    291123 |  146403  1445410  4881253 | 2147483647   290636     27 |  0.404 % |
381.68/381.73	c |    291616 |  146403  1445410  4881253 | 2147483647   291129     27 |  0.404 % |
382.38/382.44	c |    292160 |  146403  1445410  4881253 | 2147483647   291673     27 |  0.404 % |
383.48/383.59	c |    292756 |  146403  1445410  4881253 | 2147483647   292269     27 |  0.404 % |
384.38/384.51	c |    293411 |  146403  1445410  4881253 | 2147483647   292924     27 |  0.404 % |
385.68/385.80	c |    294131 |  146403  1445410  4881253 | 2147483647   293644     27 |  0.404 % |
386.58/386.65	c |    294923 |  146403  1445410  4881253 | 2147483647   294436     27 |  0.404 % |
387.68/387.78	c |    295794 |  146403  1445410  4881253 | 2147483647   295307     27 |  0.404 % |
388.58/388.70	c |    296752 |  146403  1445410  4881253 | 2147483647   296265     27 |  0.404 % |
390.08/390.14	c |    297805 |  146403  1445410  4881253 | 2147483647   297318     27 |  0.404 % |
392.18/392.25	c |    298963 |  146403  1445410  4881253 | 2147483647   298476     27 |  0.404 % |
393.48/393.58	c |    300236 |  146403  1445410  4881253 | 2147483647   299749     27 |  0.404 % |
395.48/395.52	c |    301636 |  146403  1445410  4881253 | 2147483647   301149     27 |  0.404 % |
398.19/398.26	c |    303176 |  146403  1445410  4881253 | 2147483647   302689     27 |  0.404 % |
401.08/401.14	c |    304871 |  146396  1443538  4873863 | 2147483647   293653     27 |  0.409 % |
403.48/403.57	c |    306734 |  146392  1443538  4873863 | 2147483647   295515     27 |  0.418 % |
407.38/407.45	c |    308785 |  146389  1443538  4873863 | 2147483647   297566     27 |  0.418 % |
413.08/413.18	c |    311039 |  146389  1443538  4873863 | 2147483647   299820     27 |  0.418 % |
417.88/417.98	c |    313519 |  146389  1443538  4873863 | 2147483647   302300     27 |  0.418 % |
423.08/423.13	c |    316244 |  146389  1443538  4873863 | 2147483647   305025     27 |  0.418 % |
426.37/426.50	c |    319243 |  146389  1443538  4873863 | 2147483647   308024     27 |  0.418 % |
427.07/427.14	c |    319343 |  146382  1439209  4855494 | 2147483647   279232     27 |  0.418 % |
427.17/427.29	c |    319454 |  146382  1439209  4855494 | 2147483647   279343     28 |  0.418 % |
427.47/427.52	c |    319578 |  146382  1439209  4855494 | 2147483647   279467     28 |  0.418 % |
427.77/427.91	c |    319711 |  146382  1439209  4855494 | 2147483647   279600     28 |  0.418 % |
428.07/428.13	c |    319858 |  146382  1439209  4855494 | 2147483647   279747     28 |  0.418 % |
428.27/428.37	c |    320019 |  146382  1439209  4855494 | 2147483647   279908     28 |  0.418 % |
428.77/428.81	c |    320195 |  146382  1439209  4855494 | 2147483647   280084     28 |  0.418 % |
429.17/429.22	c |    320388 |  146382  1439209  4855494 | 2147483647   280277     28 |  0.418 % |
429.57/429.61	c |    320601 |  146382  1439209  4855494 | 2147483647   280490     28 |  0.418 % |
429.77/429.89	c |    320838 |  146382  1439209  4855494 | 2147483647   280727     28 |  0.418 % |
430.38/430.47	c |    321096 |  146382  1439209  4855494 | 2147483647   280985     28 |  0.418 % |
431.18/431.22	c |    321377 |  146382  1439209  4855494 | 2147483647   281266     28 |  0.418 % |
431.88/431.94	c |    321687 |  146382  1439209  4855494 | 2147483647   281576     28 |  0.418 % |
432.48/432.58	c |    322026 |  146382  1439209  4855494 | 2147483647   281915     28 |  0.418 % |
433.48/433.60	c |    322401 |  146382  1439209  4855494 | 2147483647   282290     28 |  0.418 % |
434.18/434.30	c |    322810 |  146382  1439209  4855494 | 2147483647   282699     28 |  0.418 % |
434.78/434.82	c |    323259 |  146382  1439209  4855494 | 2147483647   283148     28 |  0.418 % |
435.68/435.72	c |    323754 |  146382  1439209  4855494 | 2147483647   283643     28 |  0.418 % |
436.58/436.64	c |    324298 |  146382  1439209  4855494 | 2147483647   284187     28 |  0.418 % |
437.08/437.15	c |    324894 |  146382  1439209  4855494 | 2147483647   284783     28 |  0.418 % |
438.88/438.93	c |    325549 |  146382  1439209  4855494 | 2147483647   285438     28 |  0.418 % |
439.58/439.65	c |    326269 |  146382  1439209  4855494 | 2147483647   286158     28 |  0.418 % |
441.18/441.30	c |    327062 |  146382  1439209  4855494 | 2147483647   286951     28 |  0.418 % |
442.78/442.83	c |    327933 |  146382  1439209  4855494 | 2147483647   287822     28 |  0.418 % |
444.28/444.32	c |    328891 |  146382  1439209  4855494 | 2147483647   288780     28 |  0.418 % |
445.28/445.36	c |    329944 |  146382  1439209  4855494 | 2147483647   289833     28 |  0.418 % |
446.98/447.08	c |    331104 |  146382  1439209  4855494 | 2147483647   290993     28 |  0.418 % |
448.18/448.30	c |    332377 |  146382  1439209  4855494 | 2147483647   292266     28 |  0.418 % |
449.98/450.05	c |    333777 |  146382  1439209  4855494 | 2147483647   293666     28 |  0.418 % |
452.78/452.87	c |    335317 |  146382  1439209  4855494 | 2147483647   295206     28 |  0.418 % |
454.98/455.06	c |    337011 |  146382  1439209  4855494 | 2147483647   296900     28 |  0.418 % |
460.38/460.44	c |    338875 |  146382  1439209  4855494 | 2147483647   298764     28 |  0.418 % |
464.48/464.60	c |    340928 |  146382  1439209  4855494 | 2147483647   300817     28 |  0.418 % |
467.58/467.70	c |    343185 |  146382  1439209  4855494 | 2147483647   303074     28 |  0.418 % |
472.98/473.01	c |    345663 |  146382  1439209  4855494 | 2147483647   305552     28 |  0.418 % |
476.68/476.76	c |    348389 |  146382  1439209  4855494 | 2147483647   308278     28 |  0.418 % |
481.78/481.85	c |    351386 |  146382  1439209  4855494 | 2147483647   311275     28 |  0.418 % |
487.18/487.26	c |    354682 |  146382  1439209  4855494 | 2147483647   314571     28 |  0.418 % |
487.38/487.48	c |    354784 |  146382  1439209  4855494 | 2147483647   314673     28 |  0.418 % |
487.68/487.75	c |    354896 |  146382  1439209  4855494 | 2147483647   314785     28 |  0.418 % |
487.88/487.98	c |    355017 |  146382  1439209  4855494 | 2147483647   314906     28 |  0.418 % |
488.28/488.35	c |    355152 |  146382  1439209  4855494 | 2147483647   315041     28 |  0.418 % |
488.48/488.51	c |    355299 |  146382  1439209  4855494 | 2147483647   315188     28 |  0.418 % |
488.68/488.80	c |    355460 |  146382  1439209  4855494 | 2147483647   315349     28 |  0.418 % |
489.08/489.13	c |    355638 |  146382  1439209  4855494 | 2147483647   315527     28 |  0.418 % |
489.38/489.46	c |    355831 |  146382  1439209  4855494 | 2147483647   315720     28 |  0.418 % |
489.78/489.88	c |    356043 |  146382  1439209  4855494 | 2147483647   315932     28 |  0.418 % |
490.28/490.36	c |    356277 |  146382  1439209  4855494 | 2147483647   316166     28 |  0.418 % |
490.68/490.73	c |    356534 |  146382  1439209  4855494 | 2147483647   316423     28 |  0.418 % |
490.98/491.05	c |    356815 |  146382  1439209  4855494 | 2147483647   316704     28 |  0.418 % |
491.38/491.43	c |    357124 |  146382  1439209  4855494 | 2147483647   317013     28 |  0.418 % |
491.88/491.92	c |    357463 |  146382  1439209  4855494 | 2147483647   317352     28 |  0.418 % |
492.38/492.47	c |    357836 |  146382  1439209  4855494 | 2147483647   317725     28 |  0.418 % |
493.28/493.33	c |    358245 |  146382  1439209  4855494 | 2147483647   318134     28 |  0.418 % |
493.78/493.83	c |    358694 |  146382  1439209  4855494 | 2147483647   318583     28 |  0.418 % |
494.68/494.80	c |    359187 |  146382  1439209  4855494 | 2147483647   319076     28 |  0.418 % |
495.78/495.86	c |    359729 |  146382  1439209  4855494 | 2147483647   319618     28 |  0.418 % |
497.28/497.40	c |    360325 |  146382  1439209  4855494 | 2147483647   320214     28 |  0.418 % |
498.18/498.28	c |    360981 |  146382  1439209  4855494 | 2147483647   320870     28 |  0.418 % |
498.88/499.01	c |    361701 |  146382  1439209  4855494 | 2147483647   321590     28 |  0.418 % |
500.28/500.34	c |    362493 |  146382  1439209  4855494 | 2147483647   322382     28 |  0.418 % |
501.48/501.55	c |    363364 |  146382  1439209  4855494 | 2147483647   323253     28 |  0.418 % |
503.88/503.95	c |    364326 |  146382  1439209  4855494 | 2147483647   324215     28 |  0.418 % |
506.28/506.31	c |    365379 |  146382  1439209  4855494 | 2147483647   325268     28 |  0.418 % |
508.98/509.02	c |    366537 |  146382  1439209  4855494 | 2147483647   326426     28 |  0.418 % |
511.18/511.24	c |    367811 |  146382  1439209  4855494 | 2147483647   327700     28 |  0.418 % |
513.38/513.42	c |    369211 |  146382  1439209  4855494 | 2147483647   329100     28 |  0.418 % |
516.48/516.57	c |    370751 |  146382  1439209  4855494 | 2147483647   330640     28 |  0.418 % |
520.29/520.41	c |    372446 |  146382  1439209  4855494 | 2147483647   332335     28 |  0.418 % |
524.18/524.26	c |    374310 |  146382  1439209  4855494 | 2147483647   334199     28 |  0.418 % |
528.88/528.95	c |    376360 |  146379  1439185  4855412 | 2147483647   336244     28 |  0.420 % |
534.18/534.27	c |    378614 |  146379  1439185  4855412 | 2147483647   338498     28 |  0.420 % |
538.68/538.71	c |    381092 |  146379  1439185  4855412 | 2147483647   340976     28 |  0.420 % |
546.69/546.75	c |    383817 |  146379  1439185  4855412 | 2147483647   343701     28 |  0.420 % |
552.09/552.15	c |    386814 |  146379  1439185  4855412 | 2147483647   346698     28 |  0.420 % |
556.69/556.74	c |    390110 |  146379  1439185  4855412 | 2147483647   349994     29 |  0.420 % |
566.29/566.34	c |    393735 |  146379  1439185  4855412 | 2147483647   353619     29 |  0.420 % |
566.49/566.57	c |    393837 |  146379  1439185  4855412 | 2147483647   353721     29 |  0.420 % |
566.89/566.97	c |    393948 |  146379  1439185  4855412 | 2147483647   353832     29 |  0.420 % |
567.09/567.19	c |    394069 |  146379  1439185  4855412 | 2147483647   353953     29 |  0.420 % |
567.39/567.42	c |    394204 |  146379  1439185  4855412 | 2147483647   354088     29 |  0.420 % |
567.69/567.77	c |    394350 |  146379  1439185  4855412 | 2147483647   354234     29 |  0.420 % |
568.09/568.18	c |    394510 |  146379  1439185  4855412 | 2147483647   354394     29 |  0.420 % |
568.39/568.48	c |    394686 |  146379  1439185  4855412 | 2147483647   354570     29 |  0.420 % |
568.69/568.78	c |    394881 |  146379  1439185  4855412 | 2147483647   354765     29 |  0.420 % |
569.09/569.21	c |    395093 |  146379  1439185  4855412 | 2147483647   354977     29 |  0.420 % |
569.69/569.73	c |    395328 |  146379  1439185  4855412 | 2147483647   355212     29 |  0.420 % |
570.49/570.61	c |    395585 |  146379  1439185  4855412 | 2147483647   355469     29 |  0.420 % |
571.39/571.45	c |    395869 |  146379  1439185  4855412 | 2147483647   355753     29 |  0.420 % |
572.19/572.28	c |    396178 |  146379  1439185  4855412 | 2147483647   356062     29 |  0.420 % |
572.89/573.01	c |    396518 |  146379  1439185  4855412 | 2147483647   356402     29 |  0.420 % |
573.59/573.67	c |    396891 |  146379  1439185  4855412 | 2147483647   356775     29 |  0.420 % |
574.49/574.56	c |    397300 |  146379  1439185  4855412 | 2147483647   357184     29 |  0.420 % |
575.59/575.70	c |    397749 |  146379  1439185  4855412 | 2147483647   357633     29 |  0.420 % |
576.19/576.31	c |    398242 |  146379  1439185  4855412 | 2147483647   358126     29 |  0.420 % |
577.59/577.70	c |    398784 |  146379  1439185  4855412 | 2147483647   358668     29 |  0.420 % |
578.79/578.88	c |    399380 |  146379  1439185  4855412 | 2147483647   359264     29 |  0.420 % |
579.79/579.84	c |    400036 |  146379  1439185  4855412 | 2147483647   359920     29 |  0.420 % |
581.19/581.23	c |    400756 |  146379  1439185  4855412 | 2147483647   360640     29 |  0.420 % |
583.49/583.59	c |    401549 |  146379  1439185  4855412 | 2147483647   361433     29 |  0.420 % |
585.99/586.07	c |    402420 |  146379  1439185  4855412 | 2147483647   362304     29 |  0.420 % |
588.79/588.84	c |    403378 |  146379  1439185  4855412 | 2147483647   363262     29 |  0.420 % |
591.49/591.59	c |    404433 |  146379  1439185  4855412 | 2147483647   364317     29 |  0.420 % |
593.29/593.41	c |    405595 |  146379  1439185  4855412 | 2147483647   365479     29 |  0.420 % |
596.79/596.85	c |    406870 |  146379  1439185  4855412 | 2147483647   366754     29 |  0.420 % |
600.59/600.71	c |    408272 |  146379  1439185  4855412 | 2147483647   368156     29 |  0.420 % |
604.39/604.49	c |    409814 |  146379  1439185  4855412 | 2147483647   369698     29 |  0.420 % |
608.59/608.67	c |    411508 |  146379  1439185  4855412 | 2147483647   371392     29 |  0.420 % |
613.09/613.12	c |    413372 |  146379  1439185  4855412 | 2147483647   373256     29 |  0.420 % |
617.49/617.56	c |    415421 |  146379  1439185  4855412 | 2147483647   375305     29 |  0.420 % |
621.29/621.40	c |    417676 |  146379  1439185  4855412 | 2147483647   377560     29 |  0.420 % |
628.39/628.49	c |    420154 |  146379  1439185  4855412 | 2147483647   380038     29 |  0.420 % |
634.19/634.30	c |    422880 |  146379  1439185  4855412 | 2147483647   382764     29 |  0.420 % |
641.89/641.93	c |    425877 |  146379  1439185  4855412 | 2147483647   385761     29 |  0.420 % |
649.09/649.15	c |    429173 |  146379  1439185  4855412 | 2147483647   389057     29 |  0.420 % |
659.70/659.77	c |    432801 |  146379  1439185  4855412 | 2147483647   392685     29 |  0.420 % |
667.10/667.18	c |    436789 |  146379  1439185  4855412 | 2147483647   396673     29 |  0.420 % |
667.50/667.56	c |    436891 |  146379  1439185  4855412 | 2147483647   396775     29 |  0.420 % |
667.80/667.83	c |    437001 |  146379  1439185  4855412 | 2147483647   396885     29 |  0.420 % |
668.20/668.31	c |    437122 |  146379  1439185  4855412 | 2147483647   397006     29 |  0.420 % |
668.70/668.74	c |    437256 |  146379  1439185  4855412 | 2147483647   397140     29 |  0.420 % |
669.00/669.09	c |    437402 |  146379  1439185  4855412 | 2147483647   397286     29 |  0.420 % |
669.40/669.49	c |    437562 |  146379  1439185  4855412 | 2147483647   397446     29 |  0.420 % |
669.90/669.98	c |    437739 |  146379  1439185  4855412 | 2147483647   397623     29 |  0.420 % |
670.50/670.59	c |    437932 |  146379  1439185  4855412 | 2147483647   397816     29 |  0.420 % |
671.00/671.04	c |    438144 |  146379  1439185  4855412 | 2147483647   398028     29 |  0.420 % |
671.60/671.68	c |    438377 |  146379  1439185  4855412 | 2147483647   398261     29 |  0.420 % |
671.90/671.94	c |    438633 |  146379  1439185  4855412 | 2147483647   398517     29 |  0.420 % |
672.20/672.29	c |    438914 |  146379  1439185  4855412 | 2147483647   398798     29 |  0.420 % |
672.80/672.87	c |    439227 |  146379  1439185  4855412 | 2147483647   399111     29 |  0.420 % |
673.70/673.79	c |    439566 |  146379  1439185  4855412 | 2147483647   399450     29 |  0.420 % |
674.70/674.75	c |    439938 |  146379  1439185  4855412 | 2147483647   399822     29 |  0.420 % |
675.50/675.57	c |    440348 |  146379  1439185  4855412 | 2147483647   400232     29 |  0.420 % |
676.10/676.19	c |    440797 |  146379  1439185  4855412 | 2147483647   400681     29 |  0.420 % |
677.10/677.12	c |    441291 |  146379  1439185  4855412 | 2147483647   401175     29 |  0.420 % |
678.40/678.48	c |    441833 |  146379  1439185  4855412 | 2147483647   401717     29 |  0.420 % |
679.00/679.05	c |    442432 |  146379  1439185  4855412 | 2147483647   402316     29 |  0.420 % |
679.90/679.93	c |    443088 |  146379  1439185  4855412 | 2147483647   402972     29 |  0.420 % |
681.00/681.10	c |    443808 |  146379  1439185  4855412 | 2147483647   403692     29 |  0.420 % |
681.90/681.99	c |    444600 |  146379  1439185  4855412 | 2147483647   404484     29 |  0.420 % |
683.90/684.01	c |    445471 |  146379  1439185  4855412 | 2147483647   405355     29 |  0.420 % |
684.90/685.00	c |    446429 |  146379  1439185  4855412 | 2147483647   406313     29 |  0.420 % |
685.30/685.41	c |    447483 |  146379  1439185  4855412 | 2147483647   407367     29 |  0.420 % |
685.79/685.84	c |    448642 |  146379  1439185  4855412 | 2147483647   408526     29 |  0.420 % |
686.49/686.53	c |    449918 |  146379  1439185  4855412 | 2147483647   409802     29 |  0.420 % |
688.99/689.06	c |    451319 |  146379  1439185  4855412 | 2147483647   411203     29 |  0.420 % |
690.59/690.64	c |    452860 |  146379  1439185  4855412 | 2147483647   412744     29 |  0.420 % |
692.49/692.54	c |    454554 |  146379  1439185  4855412 | 2147483647   414438     29 |  0.420 % |
694.69/694.77	c |    456418 |  146379  1439185  4855412 | 2147483647   416302     28 |  0.420 % |
701.19/701.30	c |    458468 |  146379  1439185  4855412 | 2147483647   418352     28 |  0.420 % |
707.99/708.04	c |    460722 |  146379  1439185  4855412 | 2147483647   420606     28 |  0.420 % |
709.79/709.82	c |    463200 |  146379  1439185  4855412 | 2147483647   423084     28 |  0.420 % |
713.39/713.42	c |    465925 |  146379  1439185  4855412 | 2147483647   425809     28 |  0.420 % |
716.99/717.09	c |    468922 |  146379  1439185  4855412 | 2147483647   428806     28 |  0.420 % |
725.79/725.90	c |    472218 |  146379  1439185  4855412 | 2147483647   432102     28 |  0.420 % |
740.49/740.59	c |    475843 |  145958  1412406  4722603 | 2147483647   184783     22 |  0.707 % |
745.69/745.76	c |    479830 |  145958  1412406  4722603 | 2147483647   188770     22 |  0.707 % |
748.39/748.46	c |    484215 |  145958  1412406  4722603 | 2147483647   193155     22 |  0.707 % |
748.49/748.58	c |    484315 |  145958  1412406  4722603 | 2147483647   193255     22 |  0.707 % |
748.69/748.73	c |    484427 |  145958  1412406  4722603 | 2147483647   193367     22 |  0.707 % |
748.79/748.87	c |    484552 |  145958  1412406  4722603 | 2147483647   193492     22 |  0.707 % |
748.99/749.03	c |    484685 |  145958  1412406  4722603 | 2147483647   193625     22 |  0.707 % |
749.19/749.22	c |    484832 |  145958  1412406  4722603 | 2147483647   193772     22 |  0.707 % |
749.29/749.31	c |    484993 |  145958  1412406  4722603 | 2147483647   193933     22 |  0.707 % |
749.49/749.58	c |    485170 |  145958  1412406  4722603 | 2147483647   194110     22 |  0.707 % |
749.79/749.81	c |    485363 |  145958  1412406  4722603 | 2147483647   194303     22 |  0.707 % |
749.89/749.97	c |    485575 |  145958  1412406  4722603 | 2147483647   194515     22 |  0.707 % |
750.09/750.18	c |    485808 |  145958  1412406  4722603 | 2147483647   194748     22 |  0.707 % |
750.29/750.37	c |    486064 |  145958  1412406  4722603 | 2147483647   195004     22 |  0.707 % |
750.59/750.63	c |    486345 |  145958  1412406  4722603 | 2147483647   195285     22 |  0.707 % |
750.89/750.98	c |    486654 |  145958  1412406  4722603 | 2147483647   195594     22 |  0.707 % |
751.39/751.44	c |    486993 |  145958  1412406  4722603 | 2147483647   195933     22 |  0.707 % |
751.59/751.63	c |    487366 |  145958  1412406  4722603 | 2147483647   196306     22 |  0.707 % |
752.19/752.22	c |    487775 |  145958  1412406  4722603 | 2147483647   196715     22 |  0.707 % |
752.59/752.70	c |    488227 |  145958  1412406  4722603 | 2147483647   197167     22 |  0.707 % |
753.19/753.28	c |    488721 |  145958  1412406  4722603 | 2147483647   197661     22 |  0.707 % |
753.69/753.71	c |    489263 |  145958  1412406  4722603 | 2147483647   198203     22 |  0.707 % |
754.49/754.52	c |    489861 |  145958  1412406  4722603 | 2147483647   198801     22 |  0.707 % |
755.39/755.48	c |    490517 |  145953  1411923  4721099 | 2147483647   197228     22 |  0.710 % |
756.29/756.33	c |    491237 |  145953  1411923  4721099 | 2147483647   197947     22 |  0.739 % |
757.29/757.37	c |    492029 |  145953  1411923  4721099 | 2147483647   198739     22 |  0.739 % |
758.09/758.19	c |    492900 |  145953  1411923  4721099 | 2147483647   199610     22 |  0.739 % |
759.39/759.43	c |    493858 |  145953  1411923  4721099 | 2147483647   200568     22 |  0.739 % |
760.59/760.63	c |    494911 |  145953  1411923  4721099 | 2147483647   201621     22 |  0.739 % |
761.89/761.99	c ===============================================================================
761.89/761.99	c restarts              : 889
761.89/761.99	c conflicts             : 495882         (817 /sec)
761.89/761.99	c decisions             : 849434         (1.90 % random) (1399 /sec)
761.89/761.99	c propagations          : 347364739      (571973 /sec)
761.89/761.99	c conflict literals     : 13616071       (44.05 % deleted)
761.89/761.99	c Memory used           : 139.58 MB
761.89/761.99	c CPU time              : 607.31 s
761.89/761.99	c 
761.89/761.99	s UNSATISFIABLE
761.89/762.00	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-1821484-1242530849/watcher-1821484-1242530849 -o /tmp/evaluation-result-1821484-1242530849/solver-1821484-1242530849 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821484-1242530849.cnf 

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


[startup+0 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) R 7076 7078 9090 0 -1 4194304 353 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561020 3085408116 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=2412 CPUtime=0
/proc/7082/stat : 7082 (SatELiteGTI) R 7078 7078 9090 0 -1 4194368 66 0 0 0 0 0 0 0 25 0 1 0 1017585824 2469888 94 4294967295 134512640 135169312 3214562544 3214561172 3085408746 0 0 0 0 0 0 0 17 3 0 0 0
/proc/7082/statm: 0 0 0 0 0 0 0

[startup+0.017808 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=3160 CPUtime=0.02
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 564 0 0 0 2 0 0 0 25 0 1 0 1017585824 3235840 499 4294967295 134512640 135223648 3219208528 3219207408 134543168 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 790 500 47 174 0 615 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5572

[startup+0.117802 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=50716 CPUtime=0.12
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 7486 0 0 0 10 2 0 0 25 0 1 0 1017585824 51933184 7325 4294967295 134512640 135223648 3219208528 3219207408 134543236 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 12679 7326 47 174 0 12504 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 53128

[startup+0.317792 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=65616 CPUtime=0.32
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 12505 0 0 0 28 4 0 0 25 0 1 0 1017585824 67190784 12344 4294967295 134512640 135223648 3219208528 3219207028 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 16404 12345 47 174 0 16229 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 68028

[startup+0.717773 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=98884 CPUtime=0.72
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 22802 0 0 0 64 8 0 0 25 0 1 0 1017585824 101257216 22641 4294967295 134512640 135223648 3219208528 3219207480 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 24721 22642 47 174 0 24546 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 101296

[startup+1.51774 s]
/proc/loadavg: 1.07 1.02 1.00 3/93 7083
/proc/meminfo: memFree=850832/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=210892 CPUtime=1.52
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 43427 0 0 0 134 18 0 0 25 0 1 0 1017585824 215953408 43266 4294967295 134512640 135223648 3219208528 3219207480 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 52723 43267 47 174 0 52548 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 213304

[startup+3.11766 s]
/proc/loadavg: 1.07 1.02 1.00 3/93 7083
/proc/meminfo: memFree=757956/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=361264 CPUtime=3.12
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 79782 0 0 0 281 31 0 0 25 0 1 0 1017585824 369934336 79621 4294967295 134512640 135223648 3219208528 3219207536 134547591 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 90316 79621 47 174 0 90141 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 363676

[startup+6.31751 s]
/proc/loadavg: 1.07 1.02 1.00 3/93 7083
/proc/meminfo: memFree=638460/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=383016 CPUtime=6.32
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 83703 0 0 0 600 32 0 0 25 0 1 0 1017585824 392208384 83542 4294967295 134512640 135223648 3219208528 3219207024 134548560 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 95754 83542 67 174 0 95579 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 385428

[startup+12.7172 s]
/proc/loadavg: 1.06 1.02 1.00 3/93 7083
/proc/meminfo: memFree=609120/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=428652 CPUtime=12.72
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 91144 0 0 0 1235 37 0 0 25 0 1 0 1017585824 438939648 90856 4294967295 134512640 135223648 3219208528 3219206608 134548328 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 107163 90856 72 174 0 106988 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 431064

[startup+25.5166 s]
/proc/loadavg: 1.05 1.01 1.00 2/93 7268
/proc/meminfo: memFree=608908/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=428652 CPUtime=25.52
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 91159 0 0 0 2515 37 0 0 25 0 1 0 1017585824 438939648 90871 4294967295 134512640 135223648 3219208528 3219206608 134548581 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 107163 90871 72 174 0 106988 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 431064

[startup+51.1154 s]
/proc/loadavg: 1.03 1.01 1.00 2/93 7269
/proc/meminfo: memFree=609208/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=428200 CPUtime=51.12
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 91229 0 0 0 5075 37 0 0 25 0 1 0 1017585824 438476800 90828 4294967295 134512640 135223648 3219208528 3219206608 134548581 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 107050 90828 72 174 0 106875 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 430612

[startup+102.313 s]
/proc/loadavg: 1.01 1.01 1.00 4/93 7457
/proc/meminfo: memFree=608804/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=430232 CPUtime=102.32
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 91399 0 0 0 10195 37 0 0 25 0 1 0 1017585824 440557568 90866 4294967295 134512640 135223648 3219208528 3219206608 134549042 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 107558 90866 72 174 0 107383 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 432644

[startup+162.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7645
/proc/meminfo: memFree=828640/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=80352 CPUtime=8.06
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 19470 0 0 0 795 11 0 0 25 0 1 0 1017601249 82280448 19379 4294967295 134512640 135215339 3218747712 3218746000 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 20088 19379 73 172 0 19915 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 82768

[startup+222.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7838
/proc/meminfo: memFree=812404/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=96372 CPUtime=68.07
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 23410 0 0 0 6779 28 0 0 25 0 1 0 1017601249 98684928 23319 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 24093 23319 73 172 0 23920 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 98788

[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8024
/proc/meminfo: memFree=802888/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=106108 CPUtime=128.07
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 25803 0 0 0 12777 30 0 0 25 0 1 0 1017601249 108654592 25712 4294967295 134512640 135215339 3218747712 3218745776 134538130 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 26527 25712 73 172 0 26354 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 108524

[startup+342.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8212
/proc/meminfo: memFree=794440/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=114444 CPUtime=188.08
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 27954 0 0 0 18776 32 0 0 25 0 1 0 1017601249 117190656 27863 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 28611 27863 73 172 0 28438 0
Current children cumulated CPU time (s) 342.28

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

/proc/7645/statm: 30138 29412 73 172 0 29965 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 122968

[startup+462.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8590
/proc/meminfo: memFree=786792/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=122032 CPUtime=308.08
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 29889 0 0 0 30772 36 0 0 25 0 1 0 1017601249 124960768 29798 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 30508 29798 73 172 0 30335 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 124448

[startup+522.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8779
/proc/meminfo: memFree=781156/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=127820 CPUtime=368.08
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 31210 0 0 0 36771 37 0 0 25 0 1 0 1017601249 130887680 31119 4294967295 134512640 135215339 3218747712 3218746000 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 31955 31119 73 172 0 31782 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 130236

[startup+582.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8965
/proc/meminfo: memFree=776708/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=132188 CPUtime=428.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 32320 0 0 0 42771 38 0 0 25 0 1 0 1017601249 135360512 32229 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 33047 32229 73 172 0 32874 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 134604

[startup+642.317 s]
/proc/loadavg: 1.11 1.03 1.01 3/93 9160
/proc/meminfo: memFree=772772/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=136180 CPUtime=488.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 33301 0 0 0 48770 39 0 0 25 0 1 0 1017601249 139448320 33210 4294967295 134512640 135215339 3218747712 3218745872 134738079 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 34045 33210 73 172 0 33872 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 138596

[startup+702.314 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 9349
/proc/meminfo: memFree=767780/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=141012 CPUtime=548.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34534 0 0 0 54766 43 0 0 25 0 1 0 1017601249 144396288 34443 4294967295 134512640 135215339 3218747712 3218746000 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35253 34443 73 172 0 35080 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 143428

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

[startup+716.714 s]
/proc/loadavg: 1.03 1.02 1.00 4/93 9349
/proc/meminfo: memFree=766580/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142212 CPUtime=562.49
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34843 0 0 0 56203 46 0 0 25 0 1 0 1017601249 145625088 34752 4294967295 134512640 135215339 3218747712 3218746000 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35553 34752 73 172 0 35380 0
Current children cumulated CPU time (s) 716.69
Current children cumulated vsize (KiB) 144628

[startup+742.312 s]
/proc/loadavg: 1.02 1.02 1.00 2/93 9535
/proc/meminfo: memFree=765556/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=588.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 58763 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 742.29
Current children cumulated vsize (KiB) 145340

[startup+755.112 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765880/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=600.89
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60043 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528795 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 755.09
Current children cumulated vsize (KiB) 145340

[startup+758.312 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=604.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60363 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 758.29
Current children cumulated vsize (KiB) 145340

[startup+759.912 s]
/proc/loadavg: 1.01 1.02 1.00 3/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=605.69
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60523 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 759.89
Current children cumulated vsize (KiB) 145340

[startup+760.711 s]
/proc/loadavg: 1.01 1.02 1.00 3/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=606.49
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60603 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 760.69
Current children cumulated vsize (KiB) 145340

[startup+761.511 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=607.29
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60683 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 761.49
Current children cumulated vsize (KiB) 145340

[startup+761.911 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=607.69
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60723 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 145340

[startup+762.011 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2932 CPUtime=761.98
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 474 150255 0 0 0 0 76070 128 18 0 1 0 1017585823 3002368 345 4294967295 134512640 135169312 3214562544 3214557928 3085405934 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7078/statm: 733 345 237 161 0 172 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 2932

Child status: 20
Real time (s): 762.039
CPU time (s): 762.01
CPU user time (s): 760.7
CPU system time (s): 1.31
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 463624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 760.7
system time used= 1.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150914
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= 24
involuntary context switches= 1473

runsolver used 0.04 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi19 at 2009-05-17 05:27:29
IDJOB=1821484
IDBENCH=70965
IDSOLVER=657
FILE ID=tipi19/1821484-1242530849
PBS_JOBID=
Free space on /tmp= 8991 MiB

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

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

MD5SUM BENCH= 853982f8646333d217e35d938b7eb00b
RANDOM SEED= 137533841

Linux tipi19 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.426
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.39

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

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
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:        971548 kB
Buffers:         32620 kB
Cached:         974804 kB
SwapCached:       2992 kB
Active:         262484 kB
Inactive:       754428 kB
HighTotal:     1178688 kB
HighFree:       281076 kB
LowTotal:       895776 kB
LowFree:        690472 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:           74300 kB
Writeback:           0 kB
AnonPages:        8684 kB
Mapped:           3244 kB
Slab:            77144 kB
PageTables:        336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87784 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8991 MiB
End job on tipi19 at 2009-05-17 05:40:17