Trace number 3293036

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
glucose 2UNSAT 425.804 425.791

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net60-40-10.shuffled.cnf
MD5SUM532245ed9a95eef41b179dba56b78f57
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.016996
Satisfiable
(Un)Satisfiability was proved
Number of variables4800
Number of clauses14281
Sum of the clauses size33540
Maximum clause length60
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 29360
Number of clauses of size 34920
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |   14281    33540 |    4284       0        0     nan |  0.000 % |
0.00/0.04	c |         0 |   10774    29695 |      --       0       --      -- |     --   | -3507/-3845
0.00/0.04	c ==============================================================================
0.00/0.04	c Result  :   #vars: 2885   #clauses: 10774   #literals: 29695
0.00/0.04	c CPU time:   0.038994 s
0.00/0.04	c ==============================================================================
0.00/0.04	c
0.00/0.04	c Starting glucose
0.00/0.04	c
2.69/2.73	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
2.69/2.73	c WARNING: for repeatability, setting FPU to use double precision
2.69/2.73	c ============================[ Problem Statistics ]=============================
2.69/2.73	c |                                                                             |
2.69/2.73	c |  Number of variables:          2885                                         |
2.69/2.73	c |  Number of clauses:           10774                                         |
2.69/2.73	c |  Parse time:                   0.00 s                                       |
2.69/2.73	c |                                                                             |
2.69/2.73	c ============================[ Search Statistics ]==============================
2.69/2.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.69/2.73	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.69/2.73	c ===============================================================================
2.69/2.73	c |       379 |    2885    10774    29695 |        1      379     38 |  0.000 % |
2.69/2.73	c |      1320 |    2885    10774    29695 |        1     1320     45 |  0.000 % |
2.69/2.73	c |      9941 |    2885    10774    29695 |        1     7948     26 |  0.000 % |
2.69/2.73	c |     24213 |    2885    10774    29695 |        1    11171     19 |  0.000 % |
2.69/2.73	c |     25144 |    2885    10774    29695 |        1    12102     19 |  0.000 % |
2.69/2.73	c |     25392 |    2885    10774    29695 |        1    12350     20 |  0.000 % |
2.69/2.73	c |     25493 |    2885    10774    29695 |        1    12451     20 |  0.000 % |
2.69/2.73	c |     26410 |    2885    10774    29695 |        1    13368     21 |  0.000 % |
2.69/2.73	c |     27135 |    2885    10774    29695 |        1    14093     22 |  0.000 % |
2.69/2.73	c |     27237 |    2885    10774    29695 |        1    14195     22 |  0.000 % |
2.69/2.73	c |     27337 |    2885    10774    29695 |        1    14295     22 |  0.000 % |
2.69/2.73	c |     27487 |    2885    10774    29695 |        1    14445     22 |  0.000 % |
2.69/2.73	c |     27738 |    2885    10774    29695 |        1    14696     23 |  0.000 % |
2.69/2.73	c |     27838 |    2885    10774    29695 |        1    14796     23 |  0.000 % |
2.69/2.73	c |     28844 |    2885    10774    29695 |        1    15802     23 |  0.000 % |
2.69/2.73	c |     29082 |    2885    10774    29695 |        1    16040     24 |  0.000 % |
2.69/2.73	c |     29184 |    2885    10774    29695 |        1    16142     24 |  0.000 % |
2.69/2.73	c |     29681 |    2885    10774    29695 |        1    16639     24 |  0.000 % |
2.69/2.73	c |     29823 |    2885    10774    29695 |        1    16781     24 |  0.000 % |
2.69/2.73	c |     29923 |    2885    10774    29695 |        1    16881     25 |  0.000 % |
2.69/2.73	c |     30023 |    2885    10774    29695 |        1    16981     25 |  0.000 % |
2.69/2.73	c |     30123 |    2885    10774    29695 |        1    17081     25 |  0.000 % |
2.69/2.73	c |     30224 |    2885    10774    29695 |        1    17182     25 |  0.000 % |
2.69/2.73	c |     30324 |    2885    10774    29695 |        1    17282     25 |  0.000 % |
2.69/2.73	c |     30585 |    2885    10774    29695 |        1    17543     26 |  0.000 % |
2.69/2.73	c |     31193 |    2885    10774    29695 |        1    18151     26 |  0.000 % |
2.69/2.73	c |     31293 |    2885    10774    29695 |        1    18251     26 |  0.000 % |
2.69/2.73	c |     31424 |    2885    10774    29695 |        1    18382     26 |  0.000 % |
2.69/2.73	c |     32085 |    2885    10774    29695 |        1     9766     18 |  0.000 % |
2.69/2.73	c |     32185 |    2885    10774    29695 |        1     9866     18 |  0.000 % |
2.69/2.73	c |     33989 |    2885    10774    29695 |        1    11670     19 |  0.000 % |
2.69/2.73	c |     34101 |    2885    10774    29695 |        1    11782     20 |  0.000 % |
2.69/2.73	c |     34203 |    2885    10774    29695 |        1    11884     20 |  0.000 % |
2.69/2.73	c |     34465 |    2885    10774    29695 |        1    12146     20 |  0.000 % |
2.69/2.73	c |     35694 |    2885    10774    29695 |        1    13375     22 |  0.000 % |
2.69/2.73	c |     35796 |    2885    10774    29695 |        1    13477     22 |  0.000 % |
2.69/2.73	c |     39831 |    2885    10774    29695 |        1    17512     23 |  0.000 % |
2.69/2.73	c |     39931 |    2885    10774    29695 |        1    17612     24 |  0.000 % |
2.69/2.73	c |     42282 |    2885    10774    29695 |        1    19963     24 |  0.000 % |
6.68/6.74	c |     42502 |    2885    10774    29695 |        1    20183     24 |  0.000 % |
6.68/6.74	c |     42602 |    2885    10774    29695 |        1    20283     24 |  0.000 % |
6.68/6.74	c |     42936 |    2885    10774    29695 |        1    20617     24 |  0.000 % |
6.68/6.74	c |     43036 |    2885    10774    29695 |        1    20717     24 |  0.000 % |
6.68/6.74	c |     43138 |    2885    10774    29695 |        1    20819     24 |  0.000 % |
6.68/6.74	c |     43238 |    2885    10774    29695 |        1    20919     25 |  0.000 % |
6.68/6.74	c |     45651 |    2885    10774    29695 |        1    23332     25 |  0.000 % |
6.68/6.74	c |     45751 |    2885    10774    29695 |        1    23432     26 |  0.000 % |
6.68/6.74	c |     46120 |    2885    10774    29695 |        1    11961     17 |  0.000 % |
6.68/6.74	c |     46814 |    2885    10774    29695 |        1    12655     18 |  0.000 % |
6.68/6.74	c |     47771 |    2885    10774    29695 |        1    13612     21 |  0.000 % |
6.68/6.74	c |     47873 |    2885    10774    29695 |        1    13714     21 |  0.000 % |
6.68/6.74	c |     49168 |    2885    10774    29695 |        1    15009     21 |  0.000 % |
6.68/6.74	c |     49270 |    2885    10774    29695 |        1    15111     21 |  0.000 % |
6.68/6.74	c |     49405 |    2885    10774    29695 |        1    15246     22 |  0.000 % |
6.68/6.74	c |     49505 |    2885    10774    29695 |        1    15346     22 |  0.000 % |
6.68/6.74	c |     49605 |    2885    10774    29695 |        1    15446     22 |  0.000 % |
6.68/6.74	c |     52179 |    2885    10774    29695 |        1    18020     26 |  0.000 % |
6.68/6.74	c |     52279 |    2885    10774    29695 |        1    18120     26 |  0.000 % |
6.68/6.74	c |     52732 |    2885    10774    29695 |        1    18573     26 |  0.000 % |
6.68/6.74	c |     53048 |    2885    10774    29695 |        1    18889     27 |  0.000 % |
6.68/6.74	c |     54107 |    2885    10774    29695 |        1    19948     28 |  0.000 % |
6.68/6.74	c |     60086 |    2885    10774    29695 |        1    25927     32 |  0.000 % |
6.68/6.74	c |     60933 |    2885    10774    29695 |        1    26774     32 |  0.000 % |
6.68/6.74	c |     62339 |    2885    10774    29695 |        1    28180     33 |  0.000 % |
6.68/6.74	c |     62439 |    2885    10774    29695 |        1    28280     33 |  0.000 % |
6.68/6.74	c |     62539 |    2885    10774    29695 |        1    28380     33 |  0.000 % |
6.68/6.74	c |     62696 |    2885    10774    29695 |        1    28537     33 |  0.000 % |
6.68/6.74	c |     62851 |    2885    10774    29695 |        1    28692     33 |  0.000 % |
6.68/6.74	c |     62952 |    2885    10774    29695 |        1    28793     33 |  0.000 % |
6.68/6.74	c |     65544 |    2885    10774    29695 |        1    16967     23 |  0.000 % |
6.68/6.74	c |     65645 |    2885    10774    29695 |        1    17068     23 |  0.000 % |
6.68/6.74	c |     65745 |    2885    10774    29695 |        1    17168     23 |  0.000 % |
6.68/6.74	c |     66021 |    2885    10774    29695 |        1    17444     24 |  0.000 % |
6.68/6.74	c |     66214 |    2885    10774    29695 |        1    17637     24 |  0.000 % |
6.68/6.74	c |     66315 |    2885    10774    29695 |        1    17738     24 |  0.000 % |
6.68/6.74	c |     67429 |    2885    10774    29695 |        1    18852     24 |  0.000 % |
6.68/6.74	c |     68128 |    2885    10774    29695 |        1    19551     25 |  0.000 % |
6.68/6.74	c |     68526 |    2885    10774    29695 |        1    19949     25 |  0.000 % |
6.68/6.74	c |     68626 |    2885    10774    29695 |        1    20049     25 |  0.000 % |
6.68/6.74	c |     72494 |    2885    10774    29695 |        1    23917     28 |  0.000 % |
6.68/6.74	c |     76451 |    2885    10774    29695 |        1    27874     29 |  0.000 % |
6.68/6.74	c |     77794 |    2885    10774    29695 |        1    29217     30 |  0.000 % |
6.68/6.74	c |     77897 |    2885    10774    29695 |        1    29320     30 |  0.000 % |
6.68/6.74	c |     82528 |    2885    10774    29695 |        1    33951     30 |  0.000 % |
6.68/6.74	c |     82628 |    2885    10774    29695 |        1    17059     19 |  0.000 % |
6.68/6.74	c |     83504 |    2885    10774    29695 |        1    17935     20 |  0.000 % |
6.68/6.74	c |     84746 |    2885    10774    29695 |        1    19177     21 |  0.000 % |
6.68/6.74	c |     86882 |    2885    10774    29695 |        1    21313     24 |  0.000 % |
6.68/6.74	c |     87248 |    2885    10774    29695 |        1    21679     24 |  0.000 % |
12.98/13.04	c |     89176 |    2885    10774    29695 |        1    23607     25 |  0.000 % |
12.98/13.04	c |     92455 |    2885    10774    29695 |        1    26886     26 |  0.000 % |
12.98/13.04	c |     92977 |    2885    10774    29695 |        1    27408     26 |  0.000 % |
12.98/13.04	c |     93077 |    2885    10774    29695 |        1    27508     26 |  0.000 % |
12.98/13.04	c |     95291 |    2885    10774    29695 |        1    29722     27 |  0.000 % |
12.98/13.04	c |     95391 |    2885    10774    29695 |        1    29822     28 |  0.000 % |
12.98/13.04	c |     96825 |    2885    10774    29695 |        1    31256     28 |  0.000 % |
12.98/13.04	c |     96984 |    2885    10774    29695 |        1    31415     28 |  0.000 % |
12.98/13.04	c |     97106 |    2885    10774    29695 |        1    31537     28 |  0.000 % |
12.98/13.04	c |    101622 |    2885    10774    29695 |        1    36053     29 |  0.000 % |
12.98/13.04	c |    102337 |    2885    10774    29695 |        1    36768     29 |  0.000 % |
12.98/13.04	c |    102437 |    2885    10774    29695 |        1    36868     29 |  0.000 % |
12.98/13.04	c |    111464 |    2885    10774    29695 |        1    26299     21 |  0.000 % |
12.98/13.04	c |    111826 |    2885    10774    29695 |        1    26661     22 |  0.000 % |
12.98/13.04	c |    112201 |    2885    10774    29695 |        1    27036     22 |  0.000 % |
12.98/13.04	c |    114593 |    2885    10774    29695 |        1    29428     23 |  0.000 % |
12.98/13.04	c |    118513 |    2885    10774    29695 |        1    33348     24 |  0.000 % |
12.98/13.04	c |    118623 |    2885    10774    29695 |        1    33458     24 |  0.000 % |
12.98/13.04	c |    121718 |    2885    10774    29695 |        1    36553     25 |  0.000 % |
12.98/13.04	c |    127835 |    2885    10774    29695 |        1    42670     28 |  0.000 % |
12.98/13.04	c |    129858 |    2885    10774    29695 |        1    22506     20 |  0.000 % |
12.98/13.04	c |    130694 |    2885    10774    29695 |        1    23342     21 |  0.000 % |
12.98/13.04	c |    130996 |    2885    10774    29695 |        1    23644     21 |  0.000 % |
12.98/13.04	c |    131162 |    2885    10774    29695 |        1    23810     21 |  0.000 % |
12.98/13.04	c |    132209 |    2885    10774    29695 |        1    24857     23 |  0.000 % |
12.98/13.04	c |    132309 |    2885    10774    29695 |        1    24957     23 |  0.000 % |
12.98/13.04	c |    133159 |    2885    10774    29695 |        1    25807     23 |  0.000 % |
12.98/13.04	c |    133259 |    2885    10774    29695 |        1    25907     23 |  0.000 % |
12.98/13.04	c |    143465 |    2885    10774    29695 |        1    36113     27 |  0.000 % |
12.98/13.04	c |    143654 |    2885    10774    29695 |        1    36302     27 |  0.000 % |
12.98/13.04	c |    143754 |    2885    10774    29695 |        1    36402     27 |  0.000 % |
12.98/13.04	c |    143859 |    2885    10774    29695 |        1    36507     27 |  0.000 % |
12.98/13.04	c |    144253 |    2885    10774    29695 |        1    36901     27 |  0.000 % |
12.98/13.04	c |    144356 |    2885    10774    29695 |        1    37004     27 |  0.000 % |
12.98/13.04	c |    145277 |    2885    10774    29695 |        1    37925     28 |  0.000 % |
12.98/13.04	c |    146202 |    2885    10774    29695 |        1    38850     28 |  0.000 % |
12.98/13.04	c |    146303 |    2885    10774    29695 |        1    38951     28 |  0.000 % |
12.98/13.04	c |    146551 |    2885    10774    29695 |        1    39199     28 |  0.000 % |
12.98/13.04	c |    147078 |    2885    10774    29695 |        1    39726     28 |  0.000 % |
12.98/13.04	c |    147178 |    2885    10774    29695 |        1    39826     28 |  0.000 % |
12.98/13.04	c |    147278 |    2885    10774    29695 |        1    39926     28 |  0.000 % |
12.98/13.04	c |    147380 |    2885    10774    29695 |        1    40028     28 |  0.000 % |
12.98/13.04	c |    147481 |    2885    10774    29695 |        1    40129     28 |  0.000 % |
12.98/13.04	c |    147581 |    2885    10774    29695 |        1    40229     28 |  0.000 % |
12.98/13.04	c |    147682 |    2885    10774    29695 |        1    40330     29 |  0.000 % |
12.98/13.04	c |    147783 |    2885    10774    29695 |        1    40431     29 |  0.000 % |
12.98/13.04	c |    147884 |    2885    10774    29695 |        1    40532     29 |  0.000 % |
12.98/13.04	c |    147987 |    2885    10774    29695 |        1    40635     29 |  0.000 % |
12.98/13.04	c |    148088 |    2885    10774    29695 |        1    40736     29 |  0.000 % |
12.98/13.04	c |    148188 |    2885    10774    29695 |        1    40836     29 |  0.000 % |
17.08/17.13	c |    150884 |    2885    10774    29695 |        1    43532     29 |  0.000 % |
17.08/17.13	c |    150984 |    2885    10774    29695 |        1    43632     29 |  0.000 % |
17.08/17.13	c |    151084 |    2885    10774    29695 |        1    43732     29 |  0.000 % |
17.08/17.13	c |    151184 |    2885    10774    29695 |        1    43832     29 |  0.000 % |
17.08/17.13	c |    151285 |    2885    10774    29695 |        1    43933     29 |  0.000 % |
17.08/17.13	c |    152226 |    2885    10774    29695 |        1    44874     29 |  0.000 % |
17.08/17.13	c |    152327 |    2885    10774    29695 |        1    44975     29 |  0.000 % |
17.08/17.13	c |    152510 |    2885    10774    29695 |        1    45158     29 |  0.000 % |
17.08/17.13	c |    153214 |    2885    10774    29695 |        1    45862     29 |  0.000 % |
17.08/17.13	c |    154934 |    2885    10774    29695 |        1    47582     30 |  0.000 % |
17.08/17.13	c |    155156 |    2885    10774    29695 |        1    47804     30 |  0.000 % |
17.08/17.13	c |    155256 |    2885    10774    29695 |        1    47904     30 |  0.000 % |
17.08/17.13	c |    155356 |    2885    10774    29695 |        1    48004     30 |  0.000 % |
17.08/17.13	c |    158986 |    2885    10774    29695 |        1    26823     21 |  0.000 % |
17.08/17.13	c |    159086 |    2885    10774    29695 |        1    26923     21 |  0.000 % |
17.08/17.13	c |    159186 |    2885    10774    29695 |        1    27023     22 |  0.000 % |
17.08/17.13	c |    159286 |    2885    10774    29695 |        1    27123     22 |  0.000 % |
17.08/17.13	c |    159386 |    2885    10774    29695 |        1    27223     22 |  0.000 % |
17.08/17.13	c |    159486 |    2885    10774    29695 |        1    27323     22 |  0.000 % |
17.08/17.13	c |    159586 |    2885    10774    29695 |        1    27423     22 |  0.000 % |
17.08/17.13	c |    159876 |    2885    10774    29695 |        1    27713     22 |  0.000 % |
17.08/17.13	c |    160211 |    2885    10774    29695 |        1    28048     22 |  0.000 % |
17.08/17.13	c |    160311 |    2885    10774    29695 |        1    28148     22 |  0.000 % |
17.08/17.13	c |    165538 |    2885    10774    29695 |        1    33375     24 |  0.000 % |
17.08/17.13	c |    168356 |    2885    10774    29695 |        1    36193     24 |  0.000 % |
17.08/17.13	c |    169074 |    2885    10774    29695 |        1    36911     25 |  0.000 % |
17.08/17.13	c |    169943 |    2885    10774    29695 |        1    37780     25 |  0.000 % |
17.08/17.13	c |    170440 |    2885    10774    29695 |        1    38277     25 |  0.000 % |
17.08/17.13	c |    170561 |    2885    10774    29695 |        1    38398     25 |  0.000 % |
17.08/17.13	c |    171112 |    2885    10774    29695 |        1    38949     25 |  0.000 % |
17.08/17.13	c |    171213 |    2885    10774    29695 |        1    39050     25 |  0.000 % |
17.08/17.13	c |    172043 |    2885    10774    29695 |        1    39880     25 |  0.000 % |
17.08/17.13	c |    172143 |    2885    10774    29695 |        1    39980     26 |  0.000 % |
17.08/17.13	c |    172248 |    2885    10774    29695 |        1    40085     26 |  0.000 % |
17.08/17.13	c |    172472 |    2885    10774    29695 |        1    40309     26 |  0.000 % |
17.08/17.13	c |    172793 |    2885    10774    29695 |        1    40630     26 |  0.000 % |
17.08/17.13	c |    173054 |    2885    10774    29695 |        1    40891     26 |  0.000 % |
17.08/17.13	c |    174134 |    2885    10774    29695 |        1    41971     26 |  0.000 % |
17.08/17.13	c |    174235 |    2885    10774    29695 |        1    42072     26 |  0.000 % |
17.08/17.13	c |    178647 |    2885    10774    29695 |        1    46484     28 |  0.000 % |
17.08/17.13	c |    178748 |    2885    10774    29695 |        1    46585     28 |  0.000 % |
17.08/17.13	c |    178848 |    2885    10774    29695 |        1    46685     28 |  0.000 % |
17.08/17.13	c |    181528 |    2885    10774    29695 |        1    49365     29 |  0.000 % |
17.08/17.13	c |    181792 |    2885    10774    29695 |        1    49629     29 |  0.000 % |
17.08/17.13	c |    182348 |    2885    10774    29695 |        1    50185     29 |  0.000 % |
17.08/17.13	c |    182723 |    2885    10774    29695 |        1    50560     29 |  0.000 % |
17.08/17.13	c |    182823 |    2885    10774    29695 |        1    50660     29 |  0.000 % |
17.08/17.13	c |    182925 |    2885    10774    29695 |        1    50762     29 |  0.000 % |
17.08/17.13	c |    183380 |    2885    10774    29695 |        1    51217     29 |  0.000 % |
17.08/17.13	c |    183707 |    2885    10774    29695 |        1    51544     29 |  0.000 % |
30.39/30.49	c |    183931 |    2885    10774    29695 |        1    51768     29 |  0.000 % |
30.39/30.49	c |    184598 |    2885    10774    29695 |        1    52435     30 |  0.000 % |
30.39/30.49	c |    184701 |    2885    10774    29695 |        1    52538     30 |  0.000 % |
30.39/30.49	c |    190117 |    2885    10774    29695 |        1    30557     22 |  0.000 % |
30.39/30.49	c |    196968 |    2885    10774    29695 |        1    37408     25 |  0.000 % |
30.39/30.49	c |    200873 |    2885    10774    29695 |        1    41313     26 |  0.000 % |
30.39/30.49	c |    202987 |    2885    10774    29695 |        1    43427     27 |  0.000 % |
30.39/30.49	c |    206736 |    2885    10774    29695 |        1    47176     27 |  0.000 % |
30.39/30.49	c |    207081 |    2885    10774    29695 |        1    47521     27 |  0.000 % |
30.39/30.49	c |    207182 |    2885    10774    29695 |        1    47622     27 |  0.000 % |
30.39/30.49	c |    209647 |    2885    10774    29695 |        1    50087     28 |  0.000 % |
30.39/30.49	c |    210219 |    2885    10774    29695 |        1    50659     28 |  0.000 % |
30.39/30.49	c |    210322 |    2885    10774    29695 |        1    50762     28 |  0.000 % |
30.39/30.49	c |    210422 |    2885    10774    29695 |        1    50862     28 |  0.000 % |
30.39/30.49	c |    210649 |    2885    10774    29695 |        1    51089     28 |  0.000 % |
30.39/30.49	c |    210750 |    2885    10774    29695 |        1    51190     28 |  0.000 % |
30.39/30.49	c |    211996 |    2885    10774    29695 |        1    52436     28 |  0.000 % |
30.39/30.49	c |    224085 |    2885    10774    29695 |        1    34531     25 |  0.000 % |
30.39/30.49	c |    224185 |    2885    10774    29695 |        1    34631     25 |  0.000 % |
30.39/30.49	c |    224766 |    2885    10774    29695 |        1    35212     25 |  0.000 % |
30.39/30.49	c |    225914 |    2885    10774    29695 |        1    36360     26 |  0.000 % |
30.39/30.49	c |    232170 |    2885    10774    29695 |        1    42616     29 |  0.000 % |
30.39/30.49	c |    232272 |    2885    10774    29695 |        1    42718     29 |  0.000 % |
30.39/30.49	c |    232372 |    2885    10774    29695 |        1    42818     29 |  0.000 % |
30.39/30.49	c |    235376 |    2885    10774    29695 |        1    45822     30 |  0.000 % |
30.39/30.49	c |    235477 |    2885    10774    29695 |        1    45923     30 |  0.000 % |
30.39/30.49	c |    236248 |    2885    10774    29695 |        1    46694     30 |  0.000 % |
30.39/30.49	c |    236348 |    2885    10774    29695 |        1    46794     30 |  0.000 % |
30.39/30.49	c |    267638 |    2885    10774    29695 |        1    45476     27 |  0.000 % |
30.39/30.49	c |    267739 |    2885    10774    29695 |        1    45577     27 |  0.000 % |
30.39/30.49	c |    269317 |    2885    10774    29695 |        1    47155     28 |  0.000 % |
30.39/30.49	c |    269420 |    2885    10774    29695 |        1    47258     28 |  0.000 % |
30.39/30.49	c |    269520 |    2885    10774    29695 |        1    47358     28 |  0.000 % |
30.39/30.49	c |    270833 |    2885    10774    29695 |        1    48671     28 |  0.000 % |
30.39/30.49	c |    278625 |    2885    10774    29695 |        1    56463     28 |  0.000 % |
30.39/30.49	c |    286344 |    2885    10774    29695 |        1    64182     30 |  0.000 % |
30.39/30.49	c |    286447 |    2885    10774    29695 |        1    64285     30 |  0.000 % |
30.39/30.49	c |    286548 |    2885    10774    29695 |        1    64386     30 |  0.000 % |
30.39/30.49	c |    290027 |    2885    10774    29695 |        1    67865     31 |  0.000 % |
30.39/30.49	c |    290127 |    2885    10774    29695 |        1    67965     31 |  0.000 % |
30.39/30.49	c |    290227 |    2885    10774    29695 |        1    68065     31 |  0.000 % |
30.39/30.49	c |    290327 |    2885    10774    29695 |        1    68165     31 |  0.000 % |
30.39/30.49	c |    290483 |    2885    10774    29695 |        1    68321     31 |  0.000 % |
30.39/30.49	c |    290584 |    2885    10774    29695 |        1    68422     31 |  0.000 % |
30.39/30.49	c |    290946 |    2885    10774    29695 |        1    68784     32 |  0.000 % |
30.39/30.49	c |    294644 |    2885    10774    29695 |        1    37275     23 |  0.000 % |
30.39/30.49	c |    299306 |    2885    10774    29695 |        1    41937     24 |  0.000 % |
30.39/30.49	c |    299406 |    2885    10774    29695 |        1    42037     24 |  0.000 % |
30.39/30.49	c |    302370 |    2885    10774    29695 |        1    45001     25 |  0.000 % |
30.39/30.49	c |    306434 |    2885    10774    29695 |        1    49065     27 |  0.000 % |
36.49/36.53	c |    306562 |    2885    10774    29695 |        1    49193     27 |  0.000 % |
36.49/36.53	c |    307697 |    2885    10774    29695 |        1    50328     27 |  0.000 % |
36.49/36.53	c |    310644 |    2885    10774    29695 |        1    53275     28 |  0.000 % |
36.49/36.53	c |    310837 |    2885    10774    29695 |        1    53468     28 |  0.000 % |
36.49/36.53	c |    311389 |    2885    10774    29695 |        1    54020     29 |  0.000 % |
36.49/36.53	c |    316244 |    2885    10774    29695 |        1    58875     29 |  0.000 % |
36.49/36.53	c |    316600 |    2885    10774    29695 |        1    59231     29 |  0.000 % |
36.49/36.53	c |    316810 |    2885    10774    29695 |        1    59441     29 |  0.000 % |
36.49/36.53	c |    316923 |    2885    10774    29695 |        1    59554     29 |  0.000 % |
36.49/36.53	c |    317023 |    2885    10774    29695 |        1    59654     29 |  0.000 % |
36.49/36.53	c |    317882 |    2885    10774    29695 |        1    60513     29 |  0.000 % |
36.49/36.53	c |    318029 |    2885    10774    29695 |        1    60660     29 |  0.000 % |
36.49/36.53	c |    318171 |    2885    10774    29695 |        1    60802     29 |  0.000 % |
36.49/36.53	c |    319996 |    2885    10774    29695 |        1    62627     29 |  0.000 % |
36.49/36.53	c |    320405 |    2885    10774    29695 |        1    63036     29 |  0.000 % |
36.49/36.53	c |    320782 |    2885    10774    29695 |        1    63413     29 |  0.000 % |
36.49/36.53	c |    320883 |    2885    10774    29695 |        1    63514     29 |  0.000 % |
36.49/36.53	c |    322436 |    2885    10774    29695 |        1    65067     29 |  0.000 % |
36.49/36.53	c |    322536 |    2885    10774    29695 |        1    65167     29 |  0.000 % |
36.49/36.53	c |    322795 |    2885    10774    29695 |        1    65426     30 |  0.000 % |
36.49/36.53	c |    322895 |    2885    10774    29695 |        1    65526     30 |  0.000 % |
36.49/36.53	c |    324850 |    2885    10774    29695 |        1    67481     30 |  0.000 % |
36.49/36.53	c |    325085 |    2885    10774    29695 |        1    67716     30 |  0.000 % |
36.49/36.53	c |    325285 |    2885    10774    29695 |        1    67916     30 |  0.000 % |
36.49/36.53	c |    326006 |    2885    10774    29695 |        1    68637     30 |  0.000 % |
36.49/36.53	c |    326419 |    2885    10774    29695 |        1    69050     30 |  0.000 % |
36.49/36.53	c |    326519 |    2885    10774    29695 |        1    69150     30 |  0.000 % |
36.49/36.53	c |    326619 |    2885    10774    29695 |        1    69250     30 |  0.000 % |
36.49/36.53	c |    326719 |    2885    10774    29695 |        1    69350     30 |  0.000 % |
36.49/36.53	c |    330139 |    2885    10774    29695 |        1    72770     31 |  0.000 % |
36.49/36.53	c |    336226 |    2885    10774    29695 |        1    41051     21 |  0.000 % |
36.49/36.53	c |    343245 |    2885    10774    29695 |        1    48070     25 |  0.000 % |
36.49/36.53	c |    343346 |    2885    10774    29695 |        1    48171     25 |  0.000 % |
36.49/36.53	c |    345062 |    2885    10774    29695 |        1    49887     26 |  0.000 % |
36.49/36.53	c |    345512 |    2885    10774    29695 |        1    50337     26 |  0.000 % |
36.49/36.53	c |    345848 |    2885    10774    29695 |        1    50673     26 |  0.000 % |
36.49/36.53	c |    345949 |    2885    10774    29695 |        1    50774     26 |  0.000 % |
36.49/36.53	c |    347434 |    2885    10774    29695 |        1    52259     26 |  0.000 % |
36.49/36.53	c |    347535 |    2885    10774    29695 |        1    52360     26 |  0.000 % |
36.49/36.53	c |    351662 |    2885    10774    29695 |        1    56487     28 |  0.000 % |
36.49/36.53	c |    351762 |    2885    10774    29695 |        1    56587     28 |  0.000 % |
36.49/36.53	c |    352525 |    2885    10774    29695 |        1    57350     29 |  0.000 % |
36.49/36.53	c |    354763 |    2885    10774    29695 |        1    59588     29 |  0.000 % |
36.49/36.53	c |    354864 |    2885    10774    29695 |        1    59689     29 |  0.000 % |
36.49/36.53	c |    354991 |    2885    10774    29695 |        1    59816     29 |  0.000 % |
36.49/36.53	c |    355091 |    2885    10774    29695 |        1    59916     29 |  0.000 % |
36.49/36.53	c |    355193 |    2885    10774    29695 |        1    60018     29 |  0.000 % |
36.49/36.53	c |    355293 |    2885    10774    29695 |        1    60118     29 |  0.000 % |
36.49/36.53	c |    355394 |    2885    10774    29695 |        1    60219     29 |  0.000 % |
36.49/36.53	c |    356734 |    2885    10774    29695 |        1    61559     30 |  0.000 % |
44.79/44.88	c |    356947 |    2885    10774    29695 |        1    61772     30 |  0.000 % |
44.79/44.88	c |    358189 |    2885    10774    29695 |        1    63014     30 |  0.000 % |
44.79/44.88	c |    358289 |    2885    10774    29695 |        1    63114     30 |  0.000 % |
44.79/44.88	c |    358597 |    2885    10774    29695 |        1    63422     30 |  0.000 % |
44.79/44.88	c |    366003 |    2885    10774    29695 |        1    70828     31 |  0.000 % |
44.79/44.88	c |    366108 |    2885    10774    29695 |        1    70933     31 |  0.000 % |
44.79/44.88	c |    372124 |    2885    10774    29695 |        1    76949     31 |  0.000 % |
44.79/44.88	c |    372689 |    2885    10774    29695 |        1    77514     31 |  0.000 % |
44.79/44.88	c |    372994 |    2885    10774    29695 |        1    77819     32 |  0.000 % |
44.79/44.88	c |    375152 |    2885    10774    29695 |        1    79977     32 |  0.000 % |
44.79/44.88	c |    378632 |    2885    10774    29695 |        1    43066     23 |  0.000 % |
44.79/44.88	c |    379468 |    2885    10774    29695 |        1    43902     23 |  0.000 % |
44.79/44.88	c |    379790 |    2885    10774    29695 |        1    44224     24 |  0.000 % |
44.79/44.88	c |    379997 |    2885    10774    29695 |        1    44431     24 |  0.000 % |
44.79/44.88	c |    380097 |    2885    10774    29695 |        1    44531     24 |  0.000 % |
44.79/44.88	c |    380200 |    2885    10774    29695 |        1    44634     24 |  0.000 % |
44.79/44.88	c |    380457 |    2885    10774    29695 |        1    44891     24 |  0.000 % |
44.79/44.88	c |    382767 |    2885    10774    29695 |        1    47201     24 |  0.000 % |
44.79/44.88	c |    383058 |    2885    10774    29695 |        1    47492     24 |  0.000 % |
44.79/44.88	c |    384317 |    2885    10774    29695 |        1    48751     25 |  0.000 % |
44.79/44.88	c |    391763 |    2885    10774    29695 |        1    56197     27 |  0.000 % |
44.79/44.88	c |    391863 |    2885    10774    29695 |        1    56297     27 |  0.000 % |
44.79/44.88	c |    397193 |    2885    10774    29695 |        1    61627     28 |  0.000 % |
44.79/44.88	c |    397293 |    2885    10774    29695 |        1    61727     28 |  0.000 % |
44.79/44.88	c |    397393 |    2885    10774    29695 |        1    61827     28 |  0.000 % |
44.79/44.88	c |    406149 |    2885    10774    29695 |        1    70583     30 |  0.000 % |
44.79/44.88	c |    407597 |    2885    10774    29695 |        1    72031     30 |  0.000 % |
44.79/44.88	c |    408418 |    2885    10774    29695 |        1    72852     30 |  0.000 % |
44.79/44.88	c |    408801 |    2885    10774    29695 |        1    73235     31 |  0.000 % |
44.79/44.88	c |    409233 |    2885    10774    29695 |        1    73667     31 |  0.000 % |
44.79/44.88	c |    410753 |    2885    10774    29695 |        1    75187     31 |  0.000 % |
44.79/44.88	c |    410853 |    2885    10774    29695 |        1    75287     31 |  0.000 % |
44.79/44.88	c |    411559 |    2885    10774    29695 |        1    75993     31 |  0.000 % |
44.79/44.88	c |    412864 |    2885    10774    29695 |        1    77298     31 |  0.000 % |
44.79/44.88	c |    413044 |    2885    10774    29695 |        1    77478     31 |  0.000 % |
44.79/44.88	c |    413145 |    2885    10774    29695 |        1    77579     31 |  0.000 % |
44.79/44.88	c |    413272 |    2885    10774    29695 |        1    77706     31 |  0.000 % |
44.79/44.88	c |    413373 |    2885    10774    29695 |        1    77807     31 |  0.000 % |
44.79/44.88	c |    414639 |    2885    10774    29695 |        1    79073     31 |  0.000 % |
44.79/44.88	c |    415976 |    2885    10774    29695 |        1    80410     31 |  0.000 % |
44.79/44.88	c |    416078 |    2885    10774    29695 |        1    80512     31 |  0.000 % |
44.79/44.88	c |    416738 |    2885    10774    29695 |        1    81172     31 |  0.000 % |
44.79/44.88	c |    416853 |    2885    10774    29695 |        1    81287     31 |  0.000 % |
44.79/44.88	c |    419066 |    2885    10774    29695 |        1    83500     32 |  0.000 % |
44.79/44.88	c |    419404 |    2885    10774    29695 |        1    83838     32 |  0.000 % |
44.79/44.88	c |    421453 |    2885    10774    29695 |        1    85887     32 |  0.000 % |
44.79/44.88	c |    422485 |    2885    10774    29695 |        1    43926     22 |  0.000 % |
44.79/44.88	c |    422891 |    2885    10774    29695 |        1    44332     22 |  0.000 % |
44.79/44.88	c |    423356 |    2885    10774    29695 |        1    44797     22 |  0.000 % |
61.99/62.09	c |    424096 |    2885    10774    29695 |        1    45537     22 |  0.000 % |
61.99/62.09	c |    425408 |    2885    10774    29695 |        1    46849     23 |  0.000 % |
61.99/62.09	c |    425513 |    2885    10774    29695 |        1    46954     23 |  0.000 % |
61.99/62.09	c |    426103 |    2885    10774    29695 |        1    47544     23 |  0.000 % |
61.99/62.09	c |    426203 |    2885    10774    29695 |        1    47644     23 |  0.000 % |
61.99/62.09	c |    426842 |    2885    10774    29695 |        1    48283     23 |  0.000 % |
61.99/62.09	c |    426942 |    2885    10774    29695 |        1    48383     23 |  0.000 % |
61.99/62.09	c |    436621 |    2885    10774    29695 |        1    58062     25 |  0.000 % |
61.99/62.09	c |    437035 |    2885    10774    29695 |        1    58476     26 |  0.000 % |
61.99/62.09	c |    437289 |    2885    10774    29695 |        1    58730     26 |  0.000 % |
61.99/62.09	c |    437389 |    2885    10774    29695 |        1    58830     26 |  0.000 % |
61.99/62.09	c |    445339 |    2885    10774    29695 |        1    66780     27 |  0.000 % |
61.99/62.09	c |    445460 |    2885    10774    29695 |        1    66901     27 |  0.000 % |
61.99/62.09	c |    445614 |    2885    10774    29695 |        1    67055     27 |  0.000 % |
61.99/62.09	c |    445714 |    2885    10774    29695 |        1    67155     27 |  0.000 % |
61.99/62.09	c |    447461 |    2885    10774    29695 |        1    68902     27 |  0.000 % |
61.99/62.09	c |    447562 |    2885    10774    29695 |        1    69003     27 |  0.000 % |
61.99/62.09	c |    447774 |    2885    10774    29695 |        1    69215     27 |  0.000 % |
61.99/62.09	c |    449361 |    2885    10774    29695 |        1    70802     27 |  0.000 % |
61.99/62.09	c |    460423 |    2885    10774    29695 |        1    81864     29 |  0.000 % |
61.99/62.09	c |    460686 |    2885    10774    29695 |        1    82127     29 |  0.000 % |
61.99/62.09	c |    469093 |    2885    10774    29695 |        1    90534     30 |  0.000 % |
61.99/62.09	c |    470278 |    2885    10774    29695 |        1    46115     21 |  0.000 % |
61.99/62.09	c |    470382 |    2885    10774    29695 |        1    46219     21 |  0.000 % |
61.99/62.09	c |    475990 |    2885    10774    29695 |        1    51827     24 |  0.000 % |
61.99/62.09	c |    476090 |    2885    10774    29695 |        1    51927     24 |  0.000 % |
61.99/62.09	c |    494412 |    2885    10774    29695 |        1    70249     27 |  0.000 % |
61.99/62.09	c |    522171 |    2885    10774    29695 |        1    49805     22 |  0.000 % |
61.99/62.09	c |    531041 |    2885    10774    29695 |        1    58675     25 |  0.000 % |
61.99/62.09	c |    531187 |    2885    10774    29695 |        1    58821     25 |  0.000 % |
61.99/62.09	c |    533231 |    2885    10774    29695 |        1    60865     25 |  0.000 % |
61.99/62.09	c |    534352 |    2885    10774    29695 |        1    61986     26 |  0.000 % |
61.99/62.09	c |    534673 |    2885    10774    29695 |        1    62307     26 |  0.000 % |
61.99/62.09	c |    535191 |    2885    10774    29695 |        1    62825     26 |  0.000 % |
61.99/62.09	c |    535291 |    2885    10774    29695 |        1    62925     26 |  0.000 % |
61.99/62.09	c |    542025 |    2885    10774    29695 |        1    69659     27 |  0.000 % |
61.99/62.09	c |    542125 |    2885    10774    29695 |        1    69759     27 |  0.000 % |
61.99/62.09	c |    542978 |    2885    10774    29695 |        1    70612     27 |  0.000 % |
61.99/62.09	c |    547414 |    2885    10774    29695 |        1    75048     28 |  0.000 % |
61.99/62.09	c |    547574 |    2885    10774    29695 |        1    75208     28 |  0.000 % |
61.99/62.09	c |    550172 |    2885    10774    29695 |        1    77806     28 |  0.000 % |
61.99/62.09	c |    550378 |    2885    10774    29695 |        1    78012     28 |  0.000 % |
61.99/62.09	c |    551328 |    2885    10774    29695 |        1    78962     29 |  0.000 % |
61.99/62.09	c |    551428 |    2885    10774    29695 |        1    79062     29 |  0.000 % |
61.99/62.09	c |    551529 |    2885    10774    29695 |        1    79163     29 |  0.000 % |
61.99/62.09	c |    554504 |    2885    10774    29695 |        1    82138     29 |  0.000 % |
61.99/62.09	c |    554607 |    2885    10774    29695 |        1    82241     29 |  0.000 % |
61.99/62.09	c |    557688 |    2885    10774    29695 |        1    85322     30 |  0.000 % |
61.99/62.09	c |    563509 |    2885    10774    29695 |        1    91143     30 |  0.000 % |
61.99/62.09	c |    563609 |    2885    10774    29695 |        1    91243     30 |  0.000 % |
80.78/80.87	c |    563764 |    2885    10774    29695 |        1    91398     30 |  0.000 % |
80.78/80.87	c |    563864 |    2885    10774    29695 |        1    91498     30 |  0.000 % |
80.78/80.87	c |    565430 |    2885    10774    29695 |        1    93064     31 |  0.000 % |
80.78/80.87	c |    565532 |    2885    10774    29695 |        1    93166     31 |  0.000 % |
80.78/80.87	c |    569556 |    2885    10774    29695 |        1    97190     31 |  0.000 % |
80.78/80.87	c |    571981 |    2885    10774    29695 |        1    99615     31 |  0.000 % |
80.78/80.87	c |    580320 |    2885    10774    29695 |        1    57146     24 |  0.000 % |
80.78/80.87	c |    580420 |    2885    10774    29695 |        1    57246     24 |  0.000 % |
80.78/80.87	c |    591526 |    2885    10774    29695 |        1    68352     26 |  0.000 % |
80.78/80.87	c |    591856 |    2885    10774    29695 |        1    68682     26 |  0.000 % |
80.78/80.87	c |    592044 |    2885    10774    29695 |        1    68870     26 |  0.000 % |
80.78/80.87	c |    593806 |    2885    10774    29695 |        1    70632     27 |  0.000 % |
80.78/80.87	c |    593906 |    2885    10774    29695 |        1    70732     27 |  0.000 % |
80.78/80.88	c |    594054 |    2885    10774    29695 |        1    70880     27 |  0.000 % |
80.78/80.88	c |    601372 |    2885    10774    29695 |        1    78198     28 |  0.000 % |
80.78/80.88	c |    604947 |    2885    10774    29695 |        1    81773     28 |  0.000 % |
80.78/80.88	c |    615377 |    2885    10774    29695 |        1    92203     30 |  0.000 % |
80.78/80.88	c |    615597 |    2885    10774    29695 |        1    92423     30 |  0.000 % |
80.78/80.88	c |    615759 |    2885    10774    29695 |        1    92585     30 |  0.000 % |
80.78/80.88	c |    634041 |    2885    10774    29695 |        1    57472     23 |  0.000 % |
80.78/80.88	c |    634141 |    2885    10774    29695 |        1    57572     23 |  0.000 % |
80.78/80.88	c |    639555 |    2885    10774    29695 |        1    62986     25 |  0.000 % |
80.78/80.88	c |    641074 |    2885    10774    29695 |        1    64505     25 |  0.000 % |
80.78/80.88	c |    642177 |    2885    10774    29695 |        1    65608     26 |  0.000 % |
80.78/80.88	c |    642278 |    2885    10774    29695 |        1    65709     26 |  0.000 % |
80.78/80.88	c |    646458 |    2885    10774    29695 |        1    69889     26 |  0.000 % |
80.78/80.88	c |    646587 |    2885    10774    29695 |        1    70018     27 |  0.000 % |
80.78/80.88	c |    647294 |    2885    10774    29695 |        1    70725     27 |  0.000 % |
80.78/80.88	c |    661304 |    2885    10774    29695 |        1    84735     29 |  0.000 % |
80.78/80.88	c |    661562 |    2885    10774    29695 |        1    84993     29 |  0.000 % |
80.78/80.88	c |    662394 |    2885    10774    29695 |        1    85825     29 |  0.000 % |
80.78/80.88	c |    663063 |    2885    10774    29695 |        1    86494     29 |  0.000 % |
80.78/80.88	c |    665132 |    2885    10774    29695 |        1    88563     29 |  0.000 % |
80.78/80.88	c |    665677 |    2885    10774    29695 |        1    89108     29 |  0.000 % |
80.78/80.88	c |    666121 |    2885    10774    29695 |        1    89552     29 |  0.000 % |
80.78/80.88	c |    667972 |    2885    10774    29695 |        1    91403     30 |  0.000 % |
80.78/80.88	c |    669328 |    2885    10774    29695 |        1    92759     30 |  0.000 % |
80.78/80.88	c |    669474 |    2885    10774    29695 |        1    92905     30 |  0.000 % |
80.78/80.88	c |    673828 |    2885    10774    29695 |        1    97259     30 |  0.000 % |
80.78/80.88	c |    673928 |    2885    10774    29695 |        1    97359     30 |  0.000 % |
80.78/80.88	c |    676399 |    2885    10774    29695 |        1    99830     31 |  0.000 % |
80.78/80.88	c |    676931 |    2885    10774    29695 |        1   100362     31 |  0.000 % |
80.78/80.88	c |    678971 |    2885    10774    29695 |        1   102402     31 |  0.000 % |
80.78/80.88	c |    681474 |    2885    10774    29695 |        1   104905     31 |  0.000 % |
80.78/80.88	c |    685466 |    2885    10774    29695 |        1   108897     31 |  0.000 % |
80.78/80.88	c |    685566 |    2885    10774    29695 |        1   108997     31 |  0.000 % |
80.78/80.88	c |    687754 |    2885    10774    29695 |        1   111185     32 |  0.000 % |
80.78/80.88	c |    694154 |    2885    10774    29695 |        1    61576     23 |  0.000 % |
80.78/80.88	c |    694689 |    2885    10774    29695 |        1    62111     23 |  0.000 % |
80.78/80.88	c |    701325 |    2885    10774    29695 |        1    68747     25 |  0.000 % |
109.79/109.84	c |    701426 |    2885    10774    29695 |        1    68848     25 |  0.000 % |
109.79/109.84	c |    725811 |    2885    10774    29695 |        1    93233     28 |  0.000 % |
109.79/109.84	c |    762495 |    2885    10774    29695 |        1    71318     22 |  0.000 % |
109.79/109.84	c |    770736 |    2885    10774    29695 |        1    79559     24 |  0.000 % |
109.79/109.84	c |    771702 |    2885    10774    29695 |        1    80525     24 |  0.000 % |
109.79/109.84	c |    771803 |    2885    10774    29695 |        1    80626     24 |  0.000 % |
109.79/109.84	c |    773565 |    2885    10774    29695 |        1    82388     25 |  0.000 % |
109.79/109.84	c |    773930 |    2885    10774    29695 |        1    82753     25 |  0.000 % |
109.79/109.84	c |    774300 |    2885    10774    29695 |        1    83123     25 |  0.000 % |
109.79/109.84	c |    774400 |    2885    10774    29695 |        1    83223     25 |  0.000 % |
109.79/109.84	c |    774728 |    2885    10774    29695 |        1    83551     25 |  0.000 % |
109.79/109.84	c |    794587 |    2885    10774    29695 |        1   103410     27 |  0.000 % |
109.79/109.84	c |    796255 |    2885    10774    29695 |        1   105078     27 |  0.000 % |
109.79/109.84	c |    801198 |    2885    10774    29695 |        1   110021     28 |  0.000 % |
109.79/109.84	c |    801874 |    2885    10774    29695 |        1   110697     28 |  0.000 % |
109.79/109.84	c |    801975 |    2885    10774    29695 |        1   110798     28 |  0.000 % |
109.79/109.84	c |    802242 |    2885    10774    29695 |        1   111065     28 |  0.000 % |
109.79/109.84	c |    802396 |    2885    10774    29695 |        1   111219     28 |  0.000 % |
109.79/109.84	c |    805437 |    2885    10774    29695 |        1   114260     28 |  0.000 % |
109.79/109.84	c |    808678 |    2885    10774    29695 |        1   117501     29 |  0.000 % |
109.79/109.84	c |    813837 |    2885    10774    29695 |        1    61465     20 |  0.000 % |
109.79/109.84	c |    815157 |    2885    10774    29695 |        1    62785     21 |  0.000 % |
109.79/109.84	c |    815262 |    2885    10774    29695 |        1    62890     21 |  0.000 % |
109.79/109.84	c |    822207 |    2885    10774    29695 |        1    69835     23 |  0.000 % |
109.79/109.84	c |    826296 |    2885    10774    29695 |        1    73924     24 |  0.000 % |
109.79/109.84	c |    826398 |    2885    10774    29695 |        1    74026     24 |  0.000 % |
109.79/109.84	c |    844217 |    2885    10774    29695 |        1    91845     26 |  0.000 % |
109.79/109.84	c |    845076 |    2885    10774    29695 |        1    92704     26 |  0.000 % |
109.79/109.84	c |    845178 |    2885    10774    29695 |        1    92806     26 |  0.000 % |
109.79/109.84	c |    846370 |    2885    10774    29695 |        1    93998     26 |  0.000 % |
109.79/109.84	c |    846470 |    2885    10774    29695 |        1    94098     26 |  0.000 % |
109.79/109.84	c |    847019 |    2885    10774    29695 |        1    94647     26 |  0.000 % |
109.79/109.84	c |    856953 |    2885    10774    29695 |        1   104581     28 |  0.000 % |
109.79/109.84	c |    859006 |    2885    10774    29695 |        1   106634     28 |  0.000 % |
109.79/109.84	c |    859106 |    2885    10774    29695 |        1   106734     28 |  0.000 % |
109.79/109.84	c |    860930 |    2885    10774    29695 |        1   108558     28 |  0.000 % |
109.79/109.84	c |    861031 |    2885    10774    29695 |        1   108659     28 |  0.000 % |
109.79/109.84	c |    865250 |    2885    10774    29695 |        1   112878     29 |  0.000 % |
109.79/109.84	c |    865501 |    2885    10774    29695 |        1   113129     29 |  0.000 % |
109.79/109.84	c |    869750 |    2885    10774    29695 |        1   117378     29 |  0.000 % |
109.79/109.84	c |    870127 |    2885    10774    29695 |        1   117755     29 |  0.000 % |
109.79/109.84	c |    870229 |    2885    10774    29695 |        1   117857     29 |  0.000 % |
109.79/109.84	c |    874849 |    2885    10774    29695 |        1   122477     30 |  0.000 % |
109.79/109.84	c |    882536 |    2885    10774    29695 |        1    66380     22 |  0.000 % |
109.79/109.84	c |    883251 |    2885    10774    29695 |        1    67095     22 |  0.000 % |
109.79/109.84	c |    886001 |    2885    10774    29695 |        1    69845     22 |  0.000 % |
109.79/109.84	c |    886101 |    2885    10774    29695 |        1    69945     23 |  0.000 % |
109.79/109.84	c |    886201 |    2885    10774    29695 |        1    70045     23 |  0.000 % |
109.79/109.84	c |    917783 |    2885    10774    29695 |        1   101627     29 |  0.000 % |
109.79/109.84	c |    918528 |    2885    10774    29695 |        1   102372     29 |  0.000 % |
136.89/136.98	c |    919622 |    2885    10774    29695 |        1   103466     29 |  0.000 % |
136.89/136.98	c |    920087 |    2885    10774    29695 |        1   103931     29 |  0.000 % |
136.89/136.98	c |    944711 |    2885    10774    29695 |        1   128555     29 |  0.000 % |
136.89/136.98	c |    947561 |    2885    10774    29695 |        1   131405     29 |  0.000 % |
136.89/136.98	c |    968140 |    2885    10774    29695 |        1    85579     25 |  0.000 % |
136.89/136.98	c |    968242 |    2885    10774    29695 |        1    85681     25 |  0.000 % |
136.89/136.98	c |    973967 |    2885    10774    29695 |        1    91406     27 |  0.000 % |
136.89/136.98	c |    974267 |    2885    10774    29695 |        1    91706     27 |  0.000 % |
136.89/136.98	c |    980303 |    2885    10774    29695 |        1    97742     27 |  0.000 % |
136.89/136.98	c |    980406 |    2885    10774    29695 |        1    97845     27 |  0.000 % |
136.89/136.98	c |    982301 |    2885    10774    29695 |        1    99740     28 |  0.000 % |
136.89/136.98	c |    983159 |    2885    10774    29695 |        1   100598     28 |  0.000 % |
136.89/136.98	c |    983260 |    2885    10774    29695 |        1   100699     28 |  0.000 % |
136.89/136.98	c |    994781 |    2885    10774    29695 |        1   112220     29 |  0.000 % |
136.89/136.98	c |    995228 |    2885    10774    29695 |        1   112667     29 |  0.000 % |
136.89/136.98	c |    997563 |    2885    10774    29695 |        1   115002     30 |  0.000 % |
136.89/136.98	c |    997663 |    2885    10774    29695 |        1   115102     30 |  0.000 % |
136.89/136.98	c |    997763 |    2885    10774    29695 |        1   115202     30 |  0.000 % |
136.89/136.98	c |    997865 |    2885    10774    29695 |        1   115304     30 |  0.000 % |
136.89/136.98	c |   1012135 |    2885    10774    29695 |        1   129574     31 |  0.000 % |
136.89/136.98	c |   1012236 |    2885    10774    29695 |        1   129675     31 |  0.000 % |
136.89/136.98	c |   1013471 |    2885    10774    29695 |        1   130910     31 |  0.000 % |
136.89/136.98	c |   1014573 |    2885    10774    29695 |        1   132012     31 |  0.000 % |
136.89/136.98	c |   1014680 |    2885    10774    29695 |        1   132119     31 |  0.000 % |
136.89/136.98	c |   1029914 |    2885    10774    29695 |        1    78354     23 |  0.000 % |
136.89/136.98	c |   1030017 |    2885    10774    29695 |        1    78457     23 |  0.000 % |
136.89/136.98	c |   1030117 |    2885    10774    29695 |        1    78557     23 |  0.000 % |
136.89/136.98	c |   1030217 |    2885    10774    29695 |        1    78657     23 |  0.000 % |
136.89/136.98	c |   1030317 |    2885    10774    29695 |        1    78757     23 |  0.000 % |
136.89/136.98	c |   1034913 |    2885    10774    29695 |        1    83353     24 |  0.000 % |
136.89/136.98	c |   1035204 |    2885    10774    29695 |        1    83644     24 |  0.000 % |
136.89/136.98	c |   1036588 |    2885    10774    29695 |        1    85028     25 |  0.000 % |
136.89/136.98	c |   1037651 |    2885    10774    29695 |        1    86091     25 |  0.000 % |
136.89/136.98	c |   1038033 |    2885    10774    29695 |        1    86473     25 |  0.000 % |
136.89/136.98	c |   1053921 |    2885    10774    29695 |        1   102361     28 |  0.000 % |
136.89/136.98	c |   1054059 |    2885    10774    29695 |        1   102499     28 |  0.000 % |
136.89/136.98	c |   1054159 |    2885    10774    29695 |        1   102599     28 |  0.000 % |
136.89/136.98	c |   1054284 |    2885    10774    29695 |        1   102724     28 |  0.000 % |
136.89/136.98	c |   1055267 |    2885    10774    29695 |        1   103707     28 |  0.000 % |
136.89/136.98	c |   1055371 |    2885    10774    29695 |        1   103811     28 |  0.000 % |
136.89/136.98	c |   1061363 |    2885    10774    29695 |        1   109803     29 |  0.000 % |
136.89/136.98	c |   1069101 |    2885    10774    29695 |        1   117541     29 |  0.000 % |
136.89/136.98	c |   1069616 |    2885    10774    29695 |        1   118056     29 |  0.000 % |
136.89/136.98	c |   1069720 |    2885    10774    29695 |        1   118160     30 |  0.000 % |
136.89/136.98	c |   1088490 |    2885    10774    29695 |        1   136930     30 |  0.000 % |
136.89/136.98	c |   1100879 |    2885    10774    29695 |        1    77708     24 |  0.000 % |
136.89/136.98	c |   1101310 |    2885    10774    29695 |        1    78139     24 |  0.000 % |
136.89/136.98	c |   1103342 |    2885    10774    29695 |        1    80171     24 |  0.000 % |
136.89/136.98	c |   1106339 |    2885    10774    29695 |        1    83168     25 |  0.000 % |
136.89/136.98	c |   1106441 |    2885    10774    29695 |        1    83270     25 |  0.000 % |
150.70/150.79	c |   1106543 |    2885    10774    29695 |        1    83372     25 |  0.000 % |
150.70/150.79	c |   1106644 |    2885    10774    29695 |        1    83473     25 |  0.000 % |
150.70/150.79	c |   1113633 |    2885    10774    29695 |        1    90462     26 |  0.000 % |
150.70/150.79	c |   1114544 |    2885    10774    29695 |        1    91373     27 |  0.000 % |
150.70/150.79	c |   1114644 |    2885    10774    29695 |        1    91473     27 |  0.000 % |
150.70/150.79	c |   1119104 |    2885    10774    29695 |        1    95933     27 |  0.000 % |
150.70/150.79	c |   1119714 |    2885    10774    29695 |        1    96543     27 |  0.000 % |
150.70/150.79	c |   1121844 |    2885    10774    29695 |        1    98673     28 |  0.000 % |
150.70/150.79	c |   1122733 |    2885    10774    29695 |        1    99562     28 |  0.000 % |
150.70/150.79	c |   1122834 |    2885    10774    29695 |        1    99663     28 |  0.000 % |
150.70/150.79	c |   1127657 |    2885    10774    29695 |        1   104486     28 |  0.000 % |
150.70/150.79	c |   1132508 |    2885    10774    29695 |        1   109337     29 |  0.000 % |
150.70/150.79	c |   1157216 |    2885    10774    29695 |        1   134045     30 |  0.000 % |
150.70/150.79	c |   1158955 |    2885    10774    29695 |        1   135784     30 |  0.000 % |
150.70/150.79	c |   1160471 |    2885    10774    29695 |        1   137300     30 |  0.000 % |
150.70/150.79	c |   1160582 |    2885    10774    29695 |        1   137411     30 |  0.000 % |
150.70/150.79	c |   1160682 |    2885    10774    29695 |        1   137511     30 |  0.000 % |
150.70/150.79	c |   1163120 |    2885    10774    29695 |        1   139949     31 |  0.000 % |
150.70/150.79	c |   1163360 |    2885    10774    29695 |        1   140189     31 |  0.000 % |
150.70/150.79	c |   1163461 |    2885    10774    29695 |        1   140290     31 |  0.000 % |
150.70/150.79	c |   1163561 |    2885    10774    29695 |        1   140390     31 |  0.000 % |
150.70/150.79	c |   1165383 |    2885    10774    29695 |        1   142212     31 |  0.000 % |
150.70/150.79	c |   1165510 |    2885    10774    29695 |        1   142339     31 |  0.000 % |
150.70/150.79	c |   1165912 |    2885    10774    29695 |        1   142741     31 |  0.000 % |
150.70/150.79	c |   1171133 |    2885    10774    29695 |        1   147962     31 |  0.000 % |
150.70/150.79	c |   1171233 |    2885    10774    29695 |        1   148062     31 |  0.000 % |
150.70/150.79	c |   1172311 |    2885    10774    29695 |        1    74932     22 |  0.000 % |
150.70/150.79	c |   1175308 |    2885    10774    29695 |        1    77929     23 |  0.000 % |
150.70/150.79	c |   1175700 |    2885    10774    29695 |        1    78321     23 |  0.000 % |
150.70/150.79	c |   1175807 |    2885    10774    29695 |        1    78428     23 |  0.000 % |
150.70/150.79	c |   1175939 |    2885    10774    29695 |        1    78560     23 |  0.000 % |
150.70/150.79	c |   1176088 |    2885    10774    29695 |        1    78709     23 |  0.000 % |
150.70/150.79	c |   1177034 |    2885    10774    29695 |        1    79655     23 |  0.000 % |
150.70/150.79	c |   1182524 |    2885    10774    29695 |        1    85145     25 |  0.000 % |
150.70/150.79	c |   1182632 |    2885    10774    29695 |        1    85253     25 |  0.000 % |
150.70/150.79	c |   1187548 |    2885    10774    29695 |        1    90169     26 |  0.000 % |
150.70/150.79	c |   1187830 |    2885    10774    29695 |        1    90451     26 |  0.000 % |
150.70/150.79	c |   1188328 |    2885    10774    29695 |        1    90949     26 |  0.000 % |
150.70/150.79	c |   1188429 |    2885    10774    29695 |        1    91050     26 |  0.000 % |
150.70/150.79	c |   1189719 |    2885    10774    29695 |        1    92340     26 |  0.000 % |
150.70/150.79	c |   1190691 |    2885    10774    29695 |        1    93312     26 |  0.000 % |
150.70/150.79	c |   1191768 |    2885    10774    29695 |        1    94389     26 |  0.000 % |
150.70/150.79	c |   1192621 |    2885    10774    29695 |        1    95242     26 |  0.000 % |
150.70/150.79	c |   1192823 |    2885    10774    29695 |        1    95444     27 |  0.000 % |
150.70/150.79	c |   1193809 |    2885    10774    29695 |        1    96430     27 |  0.000 % |
150.70/150.79	c |   1193912 |    2885    10774    29695 |        1    96533     27 |  0.000 % |
150.70/150.79	c |   1194090 |    2885    10774    29695 |        1    96711     27 |  0.000 % |
150.70/150.79	c |   1194231 |    2885    10774    29695 |        1    96852     27 |  0.000 % |
150.70/150.79	c |   1199141 |    2885    10774    29695 |        1   101762     27 |  0.000 % |
150.70/150.79	c |   1199243 |    2885    10774    29695 |        1   101864     27 |  0.000 % |
173.09/173.11	c |   1204794 |    2885    10774    29695 |        1   107415     28 |  0.000 % |
173.09/173.11	c |   1204894 |    2885    10774    29695 |        1   107515     28 |  0.000 % |
173.09/173.11	c |   1206054 |    2885    10774    29695 |        1   108675     28 |  0.000 % |
173.09/173.11	c |   1230907 |    2885    10774    29695 |        1   133528     31 |  0.000 % |
173.09/173.11	c |   1231638 |    2885    10774    29695 |        1   134259     31 |  0.000 % |
173.09/173.11	c |   1232442 |    2885    10774    29695 |        1   135063     31 |  0.000 % |
173.09/173.11	c |   1232543 |    2885    10774    29695 |        1   135164     31 |  0.000 % |
173.09/173.11	c |   1234179 |    2885    10774    29695 |        1   136800     31 |  0.000 % |
173.09/173.11	c |   1234282 |    2885    10774    29695 |        1   136903     31 |  0.000 % |
173.09/173.11	c |   1237187 |    2885    10774    29695 |        1   139808     31 |  0.000 % |
173.09/173.11	c |   1254775 |    2885    10774    29695 |        1    80602     24 |  0.000 % |
173.09/173.11	c |   1254875 |    2885    10774    29695 |        1    80702     24 |  0.000 % |
173.09/173.11	c |   1271404 |    2885    10774    29695 |        1    97231     26 |  0.000 % |
173.09/173.11	c |   1275691 |    2885    10774    29695 |        1   101518     26 |  0.000 % |
173.09/173.11	c |   1275792 |    2885    10774    29695 |        1   101619     26 |  0.000 % |
173.09/173.11	c |   1290300 |    2885    10774    29695 |        1   116127     27 |  0.000 % |
173.09/173.11	c |   1291065 |    2885    10774    29695 |        1   116892     27 |  0.000 % |
173.09/173.11	c |   1322366 |    2885    10774    29695 |        1   148193     27 |  0.000 % |
173.09/173.11	c |   1327642 |    2885    10774    29695 |        1   153469     28 |  0.000 % |
173.09/173.11	c |   1330411 |    2885    10774    29695 |        1   156238     28 |  0.000 % |
173.09/173.11	c |   1330624 |    2885    10774    29695 |        1   156451     28 |  0.000 % |
173.09/173.11	c |   1330881 |    2885    10774    29695 |        1   156708     28 |  0.000 % |
173.09/173.11	c |   1331586 |    2885    10774    29695 |        1   157413     28 |  0.000 % |
173.09/173.11	c |   1331780 |    2885    10774    29695 |        1   157607     28 |  0.000 % |
173.09/173.11	c |   1331880 |    2885    10774    29695 |        1   157707     28 |  0.000 % |
173.09/173.11	c |   1332009 |    2885    10774    29695 |        1   157836     28 |  0.000 % |
173.09/173.11	c |   1332208 |    2885    10774    29695 |        1   158035     28 |  0.000 % |
173.09/173.11	c |   1332751 |    2885    10774    29695 |        1   158578     28 |  0.000 % |
173.09/173.11	c |   1332859 |    2885    10774    29695 |        1   158686     28 |  0.000 % |
173.09/173.11	c |   1334096 |    2885    10774    29695 |        1    80517     19 |  0.000 % |
173.09/173.11	c |   1336646 |    2885    10774    29695 |        1    83067     20 |  0.000 % |
173.09/173.11	c |   1338498 |    2885    10774    29695 |        1    84919     21 |  0.000 % |
173.09/173.11	c |   1338601 |    2885    10774    29695 |        1    85022     21 |  0.000 % |
173.09/173.11	c |   1339078 |    2885    10774    29695 |        1    85499     21 |  0.000 % |
173.09/173.11	c |   1339198 |    2885    10774    29695 |        1    85619     21 |  0.000 % |
173.09/173.11	c |   1339751 |    2885    10774    29695 |        1    86172     21 |  0.000 % |
173.09/173.11	c |   1339983 |    2885    10774    29695 |        1    86404     21 |  0.000 % |
173.09/173.11	c |   1344917 |    2885    10774    29695 |        1    91338     23 |  0.000 % |
173.09/173.11	c |   1349653 |    2885    10774    29695 |        1    96074     24 |  0.000 % |
173.09/173.11	c |   1351059 |    2885    10774    29695 |        1    97480     24 |  0.000 % |
173.09/173.11	c |   1351159 |    2885    10774    29695 |        1    97580     24 |  0.000 % |
173.09/173.11	c |   1351995 |    2885    10774    29695 |        1    98416     24 |  0.000 % |
173.09/173.11	c |   1354448 |    2885    10774    29695 |        1   100869     25 |  0.000 % |
173.09/173.11	c |   1355395 |    2885    10774    29695 |        1   101816     25 |  0.000 % |
173.09/173.11	c |   1358221 |    2885    10774    29695 |        1   104642     26 |  0.000 % |
173.09/173.11	c |   1358326 |    2885    10774    29695 |        1   104747     26 |  0.000 % |
173.09/173.11	c |   1358876 |    2885    10774    29695 |        1   105297     26 |  0.000 % |
173.09/173.11	c |   1360242 |    2885    10774    29695 |        1   106663     26 |  0.000 % |
173.09/173.11	c |   1361433 |    2885    10774    29695 |        1   107854     27 |  0.000 % |
173.09/173.11	c |   1361534 |    2885    10774    29695 |        1   107955     27 |  0.000 % |
193.09/193.17	c |   1361634 |    2885    10774    29695 |        1   108055     27 |  0.000 % |
193.09/193.17	c |   1362109 |    2885    10774    29695 |        1   108530     27 |  0.000 % |
193.09/193.17	c |   1366558 |    2885    10774    29695 |        1   112979     28 |  0.000 % |
193.09/193.17	c |   1366658 |    2885    10774    29695 |        1   113079     28 |  0.000 % |
193.09/193.17	c |   1366758 |    2885    10774    29695 |        1   113179     28 |  0.000 % |
193.09/193.17	c |   1366860 |    2885    10774    29695 |        1   113281     28 |  0.000 % |
193.09/193.17	c |   1366961 |    2885    10774    29695 |        1   113382     28 |  0.000 % |
193.09/193.17	c |   1367860 |    2885    10774    29695 |        1   114281     28 |  0.000 % |
193.09/193.17	c |   1368159 |    2885    10774    29695 |        1   114580     28 |  0.000 % |
193.09/193.17	c |   1368470 |    2885    10774    29695 |        1   114891     28 |  0.000 % |
193.09/193.17	c |   1369882 |    2885    10774    29695 |        1   116303     28 |  0.000 % |
193.09/193.17	c |   1369997 |    2885    10774    29695 |        1   116418     28 |  0.000 % |
193.09/193.17	c |   1374027 |    2885    10774    29695 |        1   120448     29 |  0.000 % |
193.09/193.17	c |   1374127 |    2885    10774    29695 |        1   120548     29 |  0.000 % |
193.09/193.17	c |   1374626 |    2885    10774    29695 |        1   121047     29 |  0.000 % |
193.09/193.17	c |   1377529 |    2885    10774    29695 |        1   123950     29 |  0.000 % |
193.09/193.17	c |   1377658 |    2885    10774    29695 |        1   124079     29 |  0.000 % |
193.09/193.17	c |   1380641 |    2885    10774    29695 |        1   127062     29 |  0.000 % |
193.09/193.17	c |   1381169 |    2885    10774    29695 |        1   127590     30 |  0.000 % |
193.09/193.17	c |   1381272 |    2885    10774    29695 |        1   127693     30 |  0.000 % |
193.09/193.17	c |   1381373 |    2885    10774    29695 |        1   127794     30 |  0.000 % |
193.09/193.17	c |   1382854 |    2885    10774    29695 |        1   129275     30 |  0.000 % |
193.09/193.17	c |   1382988 |    2885    10774    29695 |        1   129409     30 |  0.000 % |
193.09/193.17	c |   1383132 |    2885    10774    29695 |        1   129553     30 |  0.000 % |
193.09/193.17	c |   1383232 |    2885    10774    29695 |        1   129653     30 |  0.000 % |
193.09/193.17	c |   1383812 |    2885    10774    29695 |        1   130233     30 |  0.000 % |
193.09/193.17	c |   1383912 |    2885    10774    29695 |        1   130333     30 |  0.000 % |
193.09/193.17	c |   1384732 |    2885    10774    29695 |        1   131153     30 |  0.000 % |
193.09/193.17	c |   1384832 |    2885    10774    29695 |        1   131253     30 |  0.000 % |
193.09/193.17	c |   1387228 |    2885    10774    29695 |        1   133649     30 |  0.000 % |
193.09/193.17	c |   1388245 |    2885    10774    29695 |        1   134666     30 |  0.000 % |
193.09/193.17	c |   1388774 |    2885    10774    29695 |        1   135195     30 |  0.000 % |
193.09/193.17	c |   1390412 |    2885    10774    29695 |        1   136833     31 |  0.000 % |
193.09/193.17	c |   1390512 |    2885    10774    29695 |        1   136933     31 |  0.000 % |
193.09/193.17	c |   1393829 |    2885    10774    29695 |        1   140250     31 |  0.000 % |
193.09/193.17	c |   1393930 |    2885    10774    29695 |        1   140351     31 |  0.000 % |
193.09/193.17	c |   1394033 |    2885    10774    29695 |        1   140454     31 |  0.000 % |
193.09/193.17	c |   1395582 |    2885    10774    29695 |        1   142003     31 |  0.000 % |
193.09/193.17	c |   1402182 |    2885    10774    29695 |        1   148603     31 |  0.000 % |
193.09/193.17	c |   1402655 |    2885    10774    29695 |        1   149076     31 |  0.000 % |
193.09/193.17	c |   1402807 |    2885    10774    29695 |        1   149228     31 |  0.000 % |
193.09/193.17	c |   1403825 |    2885    10774    29695 |        1   150246     31 |  0.000 % |
193.09/193.17	c |   1413288 |    2885    10774    29695 |        1   159709     32 |  0.000 % |
193.09/193.17	c |   1413388 |    2885    10774    29695 |        1   159809     32 |  0.000 % |
193.09/193.17	c |   1413867 |    2885    10774    29695 |        1   160288     32 |  0.000 % |
193.09/193.17	c |   1456857 |    2885    10774    29695 |        1   121284     27 |  0.000 % |
193.09/193.17	c |   1469721 |    2885    10774    29695 |        1   134148     29 |  0.000 % |
193.09/193.17	c |   1470715 |    2885    10774    29695 |        1   135142     29 |  0.000 % |
193.09/193.17	c |   1470816 |    2885    10774    29695 |        1   135243     29 |  0.000 % |
193.09/193.17	c |   1476767 |    2885    10774    29695 |        1   141194     29 |  0.000 % |
228.80/228.87	c |   1479786 |    2885    10774    29695 |        1   144213     29 |  0.000 % |
228.80/228.87	c |   1502875 |    2885    10774    29695 |        1   167302     30 |  0.000 % |
228.80/228.87	c |   1503525 |    2885    10774    29695 |        1   167952     30 |  0.000 % |
228.80/228.87	c |   1508920 |    2885    10774    29695 |        1    88746     21 |  0.000 % |
228.80/228.87	c |   1582793 |    2885    10774    29695 |        1   162619     27 |  0.000 % |
228.80/228.87	c |   1583683 |    2885    10774    29695 |        1   163509     28 |  0.000 % |
228.80/228.87	c |   1584527 |    2885    10774    29695 |        1   164353     28 |  0.000 % |
228.80/228.87	c |   1587079 |    2885    10774    29695 |        1   166905     28 |  0.000 % |
228.80/228.87	c |   1587181 |    2885    10774    29695 |        1   167007     28 |  0.000 % |
228.80/228.87	c |   1601734 |    2885    10774    29695 |        1    94356     22 |  0.000 % |
228.80/228.87	c |   1602496 |    2885    10774    29695 |        1    95118     22 |  0.000 % |
228.80/228.87	c |   1605669 |    2885    10774    29695 |        1    98291     23 |  0.000 % |
228.80/228.87	c |   1606356 |    2885    10774    29695 |        1    98978     23 |  0.000 % |
228.80/228.87	c |   1613631 |    2885    10774    29695 |        1   106253     24 |  0.000 % |
228.80/228.87	c |   1613740 |    2885    10774    29695 |        1   106362     24 |  0.000 % |
228.80/228.87	c |   1614531 |    2885    10774    29695 |        1   107153     24 |  0.000 % |
228.80/228.87	c |   1614631 |    2885    10774    29695 |        1   107253     24 |  0.000 % |
228.80/228.87	c |   1646746 |    2885    10774    29695 |        1   139368     28 |  0.000 % |
228.80/228.87	c |   1646847 |    2885    10774    29695 |        1   139469     28 |  0.000 % |
228.80/228.87	c |   1646949 |    2885    10774    29695 |        1   139571     28 |  0.000 % |
228.80/228.87	c |   1648014 |    2885    10774    29695 |        1   140636     28 |  0.000 % |
228.80/228.87	c |   1648138 |    2885    10774    29695 |        1   140760     28 |  0.000 % |
228.80/228.87	c |   1648239 |    2885    10774    29695 |        1   140861     28 |  0.000 % |
228.80/228.87	c |   1650263 |    2885    10774    29695 |        1   142885     29 |  0.000 % |
228.80/228.87	c |   1653223 |    2885    10774    29695 |        1   145845     29 |  0.000 % |
228.80/228.87	c |   1653325 |    2885    10774    29695 |        1   145947     29 |  0.000 % |
228.80/228.87	c |   1655570 |    2885    10774    29695 |        1   148192     29 |  0.000 % |
228.80/228.87	c |   1655670 |    2885    10774    29695 |        1   148292     29 |  0.000 % |
228.80/228.87	c |   1655771 |    2885    10774    29695 |        1   148393     29 |  0.000 % |
228.80/228.87	c |   1655871 |    2885    10774    29695 |        1   148493     29 |  0.000 % |
228.80/228.87	c |   1658454 |    2885    10774    29695 |        1   151076     30 |  0.000 % |
228.80/228.87	c |   1658788 |    2885    10774    29695 |        1   151410     30 |  0.000 % |
228.80/228.87	c |   1660217 |    2885    10774    29695 |        1   152839     30 |  0.000 % |
228.80/228.87	c |   1660389 |    2885    10774    29695 |        1   153011     30 |  0.000 % |
228.80/228.87	c |   1660493 |    2885    10774    29695 |        1   153115     30 |  0.000 % |
228.80/228.87	c |   1660593 |    2885    10774    29695 |        1   153215     30 |  0.000 % |
228.80/228.87	c |   1660694 |    2885    10774    29695 |        1   153316     30 |  0.000 % |
228.80/228.87	c |   1670393 |    2885    10774    29695 |        1   163015     30 |  0.000 % |
228.80/228.87	c |   1670494 |    2885    10774    29695 |        1   163116     30 |  0.000 % |
228.80/228.87	c |   1670594 |    2885    10774    29695 |        1   163216     30 |  0.000 % |
228.80/228.87	c |   1675856 |    2885    10774    29695 |        1   168478     30 |  0.000 % |
228.80/228.87	c |   1684066 |    2885    10774    29695 |        1   176688     30 |  0.000 % |
228.80/228.87	c |   1694898 |    2885    10774    29695 |        1    97731     23 |  0.000 % |
228.80/228.87	c |   1695870 |    2885    10774    29695 |        1    98703     24 |  0.000 % |
228.80/228.87	c |   1698980 |    2885    10774    29695 |        1   101813     24 |  0.000 % |
228.80/228.87	c |   1699080 |    2885    10774    29695 |        1   101913     24 |  0.000 % |
228.80/228.87	c |   1699182 |    2885    10774    29695 |        1   102015     24 |  0.000 % |
228.80/228.87	c |   1699283 |    2885    10774    29695 |        1   102116     24 |  0.000 % |
228.80/228.87	c |   1708864 |    2885    10774    29695 |        1   111697     25 |  0.000 % |
228.80/228.87	c |   1708965 |    2885    10774    29695 |        1   111798     25 |  0.000 % |
259.50/259.53	c |   1709065 |    2885    10774    29695 |        1   111898     26 |  0.000 % |
259.50/259.53	c |   1709165 |    2885    10774    29695 |        1   111998     26 |  0.000 % |
259.50/259.53	c |   1709265 |    2885    10774    29695 |        1   112098     26 |  0.000 % |
259.50/259.53	c |   1709366 |    2885    10774    29695 |        1   112199     26 |  0.000 % |
259.50/259.53	c |   1727441 |    2885    10774    29695 |        1   130274     28 |  0.000 % |
259.50/259.53	c |   1738002 |    2885    10774    29695 |        1   140835     28 |  0.000 % |
259.50/259.53	c |   1782359 |    2885    10774    29695 |        1    92794     21 |  0.000 % |
259.50/259.53	c |   1785080 |    2885    10774    29695 |        1    95515     21 |  0.000 % |
259.50/259.53	c |   1785181 |    2885    10774    29695 |        1    95616     21 |  0.000 % |
259.50/259.53	c |   1789472 |    2885    10774    29695 |        1    99907     22 |  0.000 % |
259.50/259.53	c |   1789572 |    2885    10774    29695 |        1   100007     22 |  0.000 % |
259.50/259.53	c |   1789672 |    2885    10774    29695 |        1   100107     22 |  0.000 % |
259.50/259.53	c |   1794577 |    2885    10774    29695 |        1   105012     23 |  0.000 % |
259.50/259.53	c |   1795063 |    2885    10774    29695 |        1   105498     23 |  0.000 % |
259.50/259.53	c |   1807468 |    2885    10774    29695 |        1   117903     24 |  0.000 % |
259.50/259.53	c |   1848402 |    2885    10774    29695 |        1   158837     28 |  0.000 % |
259.50/259.53	c |   1857679 |    2885    10774    29695 |        1   168114     28 |  0.000 % |
259.50/259.53	c |   1857779 |    2885    10774    29695 |        1   168214     28 |  0.000 % |
259.50/259.53	c |   1857881 |    2885    10774    29695 |        1   168316     28 |  0.000 % |
259.50/259.53	c |   1858486 |    2885    10774    29695 |        1   168921     28 |  0.000 % |
259.50/259.53	c |   1858594 |    2885    10774    29695 |        1   169029     28 |  0.000 % |
259.50/259.53	c |   1858695 |    2885    10774    29695 |        1   169130     28 |  0.000 % |
259.50/259.53	c |   1858795 |    2885    10774    29695 |        1   169230     28 |  0.000 % |
259.50/259.53	c |   1864711 |    2885    10774    29695 |        1   175146     29 |  0.000 % |
259.50/259.53	c |   1864811 |    2885    10774    29695 |        1   175246     29 |  0.000 % |
259.50/259.53	c |   1864911 |    2885    10774    29695 |        1   175346     29 |  0.000 % |
259.50/259.53	c |   1865012 |    2885    10774    29695 |        1   175447     29 |  0.000 % |
259.50/259.53	c |   1865113 |    2885    10774    29695 |        1   175548     29 |  0.000 % |
259.50/259.53	c |   1886805 |    2885    10774    29695 |        1   102235     23 |  0.000 % |
259.50/259.53	c |   1888304 |    2885    10774    29695 |        1   103734     23 |  0.000 % |
259.50/259.53	c |   1893143 |    2885    10774    29695 |        1   108573     23 |  0.000 % |
259.50/259.53	c |   1893244 |    2885    10774    29695 |        1   108674     24 |  0.000 % |
259.50/259.53	c |   1893344 |    2885    10774    29695 |        1   108774     24 |  0.000 % |
259.50/259.53	c |   1897863 |    2885    10774    29695 |        1   113293     25 |  0.000 % |
259.50/259.53	c |   1898008 |    2885    10774    29695 |        1   113438     25 |  0.000 % |
259.50/259.53	c |   1898819 |    2885    10774    29695 |        1   114249     25 |  0.000 % |
259.50/259.53	c |   1899712 |    2885    10774    29695 |        1   115142     25 |  0.000 % |
259.50/259.53	c |   1900930 |    2885    10774    29695 |        1   116360     25 |  0.000 % |
259.50/259.53	c |   1901030 |    2885    10774    29695 |        1   116460     25 |  0.000 % |
259.50/259.53	c |   1901320 |    2885    10774    29695 |        1   116750     25 |  0.000 % |
259.50/259.53	c |   1907385 |    2885    10774    29695 |        1   122815     27 |  0.000 % |
259.50/259.53	c |   1907485 |    2885    10774    29695 |        1   122915     27 |  0.000 % |
259.50/259.53	c |   1907585 |    2885    10774    29695 |        1   123015     27 |  0.000 % |
259.50/259.53	c |   1907685 |    2885    10774    29695 |        1   123115     27 |  0.000 % |
259.50/259.53	c |   1913046 |    2885    10774    29695 |        1   128476     28 |  0.000 % |
259.50/259.53	c |   1913146 |    2885    10774    29695 |        1   128576     28 |  0.000 % |
259.50/259.53	c |   1913248 |    2885    10774    29695 |        1   128678     28 |  0.000 % |
259.50/259.53	c |   1913348 |    2885    10774    29695 |        1   128778     28 |  0.000 % |
259.50/259.53	c |   1914944 |    2885    10774    29695 |        1   130374     28 |  0.000 % |
259.50/259.53	c |   1915044 |    2885    10774    29695 |        1   130474     28 |  0.000 % |
281.40/281.49	c |   1915146 |    2885    10774    29695 |        1   130576     28 |  0.000 % |
281.40/281.49	c |   1919308 |    2885    10774    29695 |        1   134738     28 |  0.000 % |
281.40/281.49	c |   1920135 |    2885    10774    29695 |        1   135565     29 |  0.000 % |
281.40/281.49	c |   1954110 |    2885    10774    29695 |        1   169540     32 |  0.000 % |
281.40/281.49	c |   1954211 |    2885    10774    29695 |        1   169641     32 |  0.000 % |
281.40/281.49	c |   1954312 |    2885    10774    29695 |        1   169742     32 |  0.000 % |
281.40/281.49	c |   1960411 |    2885    10774    29695 |        1   175841     32 |  0.000 % |
281.40/281.49	c |   1960525 |    2885    10774    29695 |        1   175955     32 |  0.000 % |
281.40/281.49	c |   1960792 |    2885    10774    29695 |        1   176222     32 |  0.000 % |
281.40/281.49	c |   1960950 |    2885    10774    29695 |        1   176380     32 |  0.000 % |
281.40/281.49	c |   1966688 |    2885    10774    29695 |        1   182118     33 |  0.000 % |
281.40/281.49	c |   1972154 |    2885    10774    29695 |        1   187584     33 |  0.000 % |
281.40/281.49	c |   1972254 |    2885    10774    29695 |        1   187684     33 |  0.000 % |
281.40/281.49	c |   1974355 |    2885    10774    29695 |        1   189785     33 |  0.000 % |
281.40/281.49	c |   1976604 |    2885    10774    29695 |        1   192034     34 |  0.000 % |
281.40/281.49	c |   1981394 |    2885    10774    29695 |        1    99226     24 |  0.000 % |
281.40/281.49	c |   1981597 |    2885    10774    29695 |        1    99429     24 |  0.000 % |
281.40/281.49	c |   1981697 |    2885    10774    29695 |        1    99529     24 |  0.000 % |
281.40/281.49	c |   1983133 |    2885    10774    29695 |        1   100965     24 |  0.000 % |
281.40/281.49	c |   1983233 |    2885    10774    29695 |        1   101065     24 |  0.000 % |
281.40/281.49	c |   1983334 |    2885    10774    29695 |        1   101166     24 |  0.000 % |
281.40/281.49	c |   1983956 |    2885    10774    29695 |        1   101788     24 |  0.000 % |
281.40/281.49	c |   1984496 |    2885    10774    29695 |        1   102328     24 |  0.000 % |
281.40/281.49	c |   1987163 |    2885    10774    29695 |        1   104995     25 |  0.000 % |
281.40/281.49	c |   1987263 |    2885    10774    29695 |        1   105095     25 |  0.000 % |
281.40/281.49	c |   1987544 |    2885    10774    29695 |        1   105376     25 |  0.000 % |
281.40/281.49	c |   1989903 |    2885    10774    29695 |        1   107735     25 |  0.000 % |
281.40/281.49	c |   1990109 |    2885    10774    29695 |        1   107941     25 |  0.000 % |
281.40/281.49	c |   1990850 |    2885    10774    29695 |        1   108682     26 |  0.000 % |
281.40/281.49	c |   1991232 |    2885    10774    29695 |        1   109064     26 |  0.000 % |
281.40/281.49	c |   2008278 |    2885    10774    29695 |        1   126110     30 |  0.000 % |
281.40/281.49	c |   2008378 |    2885    10774    29695 |        1   126210     30 |  0.000 % |
281.40/281.49	c |   2008478 |    2885    10774    29695 |        1   126310     30 |  0.000 % |
281.40/281.49	c |   2008578 |    2885    10774    29695 |        1   126410     30 |  0.000 % |
281.40/281.49	c |   2008678 |    2885    10774    29695 |        1   126510     30 |  0.000 % |
281.40/281.49	c |   2013960 |    2885    10774    29695 |        1   131792     30 |  0.000 % |
281.40/281.49	c |   2016474 |    2885    10774    29695 |        1   134306     31 |  0.000 % |
281.40/281.49	c |   2016574 |    2885    10774    29695 |        1   134406     31 |  0.000 % |
281.40/281.49	c |   2018115 |    2885    10774    29695 |        1   135947     31 |  0.000 % |
281.40/281.49	c |   2019841 |    2885    10774    29695 |        1   137673     31 |  0.000 % |
281.40/281.49	c |   2021100 |    2885    10774    29695 |        1   138932     31 |  0.000 % |
281.40/281.49	c |   2021222 |    2885    10774    29695 |        1   139054     31 |  0.000 % |
281.40/281.49	c |   2025208 |    2885    10774    29695 |        1   143040     31 |  0.000 % |
281.40/281.49	c |   2030047 |    2885    10774    29695 |        1   147879     32 |  0.000 % |
281.40/281.49	c |   2030148 |    2885    10774    29695 |        1   147980     32 |  0.000 % |
281.40/281.49	c |   2034183 |    2885    10774    29695 |        1   152015     32 |  0.000 % |
281.40/281.49	c |   2034283 |    2885    10774    29695 |        1   152115     32 |  0.000 % |
281.40/281.49	c |   2038908 |    2885    10774    29695 |        1   156740     32 |  0.000 % |
281.40/281.49	c |   2040264 |    2885    10774    29695 |        1   158096     32 |  0.000 % |
281.40/281.49	c |   2043671 |    2885    10774    29695 |        1   161503     33 |  0.000 % |
307.40/307.48	c |   2043941 |    2885    10774    29695 |        1   161773     33 |  0.000 % |
307.40/307.48	c |   2044041 |    2885    10774    29695 |        1   161873     33 |  0.000 % |
307.40/307.48	c |   2044142 |    2885    10774    29695 |        1   161974     33 |  0.000 % |
307.40/307.48	c |   2075383 |    2885    10774    29695 |        1   193215     35 |  0.000 % |
307.40/307.48	c |   2075668 |    2885    10774    29695 |        1   193500     35 |  0.000 % |
307.40/307.48	c |   2075769 |    2885    10774    29695 |        1   193601     35 |  0.000 % |
307.40/307.48	c |   2077284 |    2885    10774    29695 |        1   195116     35 |  0.000 % |
307.40/307.48	c |   2077385 |    2885    10774    29695 |        1   195217     35 |  0.000 % |
307.40/307.48	c |   2077501 |    2885    10774    29695 |        1   195333     35 |  0.000 % |
307.40/307.48	c |   2078353 |    2885    10774    29695 |        1   196185     35 |  0.000 % |
307.40/307.48	c |   2078453 |    2885    10774    29695 |        1   196285     35 |  0.000 % |
307.40/307.48	c |   2079689 |    2885    10774    29695 |        1   197521     35 |  0.000 % |
307.40/307.48	c |   2081210 |    2885    10774    29695 |        1   199042     35 |  0.000 % |
307.40/307.48	c |   2081524 |    2885    10774    29695 |        1   199356     35 |  0.000 % |
307.40/307.48	c |   2083415 |    2885    10774    29695 |        1   101046     24 |  0.000 % |
307.40/307.48	c |   2083744 |    2885    10774    29695 |        1   101375     24 |  0.000 % |
307.40/307.48	c |   2085661 |    2885    10774    29695 |        1   103292     24 |  0.000 % |
307.40/307.48	c |   2086160 |    2885    10774    29695 |        1   103791     24 |  0.000 % |
307.40/307.48	c |   2087414 |    2885    10774    29695 |        1   105045     24 |  0.000 % |
307.40/307.48	c |   2087514 |    2885    10774    29695 |        1   105145     24 |  0.000 % |
307.40/307.48	c |   2088418 |    2885    10774    29695 |        1   106049     25 |  0.000 % |
307.40/307.48	c |   2088847 |    2885    10774    29695 |        1   106478     25 |  0.000 % |
307.40/307.48	c |   2088949 |    2885    10774    29695 |        1   106580     25 |  0.000 % |
307.40/307.48	c |   2090499 |    2885    10774    29695 |        1   108130     25 |  0.000 % |
307.40/307.48	c |   2090800 |    2885    10774    29695 |        1   108431     25 |  0.000 % |
307.40/307.48	c |   2090902 |    2885    10774    29695 |        1   108533     25 |  0.000 % |
307.40/307.48	c |   2100261 |    2885    10774    29695 |        1   117892     27 |  0.000 % |
307.40/307.48	c |   2104979 |    2885    10774    29695 |        1   122610     27 |  0.000 % |
307.40/307.48	c |   2127065 |    2885    10774    29695 |        1   144696     28 |  0.000 % |
307.40/307.48	c |   2127165 |    2885    10774    29695 |        1   144796     28 |  0.000 % |
307.40/307.48	c |   2129504 |    2885    10774    29695 |        1   147135     29 |  0.000 % |
307.40/307.48	c |   2129651 |    2885    10774    29695 |        1   147282     29 |  0.000 % |
307.40/307.48	c |   2136922 |    2885    10774    29695 |        1   154553     29 |  0.000 % |
307.40/307.48	c |   2140470 |    2885    10774    29695 |        1   158101     30 |  0.000 % |
307.40/307.48	c |   2143952 |    2885    10774    29695 |        1   161583     30 |  0.000 % |
307.40/307.48	c |   2144054 |    2885    10774    29695 |        1   161685     30 |  0.000 % |
307.40/307.48	c |   2147416 |    2885    10774    29695 |        1   165047     30 |  0.000 % |
307.40/307.48	c |   2147516 |    2885    10774    29695 |        1   165147     30 |  0.000 % |
307.40/307.48	c |   2154936 |    2885    10774    29695 |        1   172567     31 |  0.000 % |
307.40/307.48	c |   2155037 |    2885    10774    29695 |        1   172668     31 |  0.000 % |
307.40/307.48	c |   2169706 |    2885    10774    29695 |        1   187337     32 |  0.000 % |
307.40/307.48	c |   2169806 |    2885    10774    29695 |        1   187437     32 |  0.000 % |
307.40/307.48	c |   2170209 |    2885    10774    29695 |        1   187840     32 |  0.000 % |
307.40/307.48	c |   2170311 |    2885    10774    29695 |        1   187942     32 |  0.000 % |
307.40/307.48	c |   2173466 |    2885    10774    29695 |        1   191097     32 |  0.000 % |
307.40/307.48	c |   2174492 |    2885    10774    29695 |        1   192123     32 |  0.000 % |
307.40/307.48	c |   2174592 |    2885    10774    29695 |        1   192223     32 |  0.000 % |
307.40/307.48	c |   2175627 |    2885    10774    29695 |        1   193258     32 |  0.000 % |
307.40/307.48	c |   2176108 |    2885    10774    29695 |        1   193739     32 |  0.000 % |
307.40/307.48	c |   2178799 |    2885    10774    29695 |        1   196430     32 |  0.000 % |
347.10/347.13	c |   2179464 |    2885    10774    29695 |        1   197095     32 |  0.000 % |
347.10/347.13	c |   2181150 |    2885    10774    29695 |        1   198781     32 |  0.000 % |
347.10/347.13	c |   2181250 |    2885    10774    29695 |        1   198881     32 |  0.000 % |
347.10/347.13	c |   2186287 |    2885    10774    29695 |        1   203918     32 |  0.000 % |
347.10/347.13	c |   2221447 |    2885    10774    29695 |        1   136277     27 |  0.000 % |
347.10/347.13	c |   2230948 |    2885    10774    29695 |        1   145778     27 |  0.000 % |
347.10/347.13	c |   2231048 |    2885    10774    29695 |        1   145878     27 |  0.000 % |
347.10/347.13	c |   2231149 |    2885    10774    29695 |        1   145979     27 |  0.000 % |
347.10/347.13	c |   2247780 |    2885    10774    29695 |        1   162610     28 |  0.000 % |
347.10/347.13	c |   2248430 |    2885    10774    29695 |        1   163260     28 |  0.000 % |
347.10/347.13	c |   2252962 |    2885    10774    29695 |        1   167792     28 |  0.000 % |
347.10/347.13	c |   2260965 |    2885    10774    29695 |        1   175795     29 |  0.000 % |
347.10/347.13	c |   2262806 |    2885    10774    29695 |        1   177636     29 |  0.000 % |
347.10/347.13	c |   2275571 |    2885    10774    29695 |        1   190401     29 |  0.000 % |
347.10/347.13	c |   2275909 |    2885    10774    29695 |        1   190739     29 |  0.000 % |
347.10/347.13	c |   2277646 |    2885    10774    29695 |        1   192476     30 |  0.000 % |
347.10/347.13	c |   2287622 |    2885    10774    29695 |        1   202452     30 |  0.000 % |
347.10/347.13	c |   2287722 |    2885    10774    29695 |        1   202552     30 |  0.000 % |
347.10/347.13	c |   2298805 |    2885    10774    29695 |        1   108238     22 |  0.000 % |
347.10/347.13	c |   2298905 |    2885    10774    29695 |        1   108338     22 |  0.000 % |
347.10/347.13	c |   2306114 |    2885    10774    29695 |        1   115547     23 |  0.000 % |
347.10/347.13	c |   2306734 |    2885    10774    29695 |        1   116167     23 |  0.000 % |
347.10/347.13	c |   2310040 |    2885    10774    29695 |        1   119473     23 |  0.000 % |
347.10/347.13	c |   2312864 |    2885    10774    29695 |        1   122297     24 |  0.000 % |
347.10/347.13	c |   2319212 |    2885    10774    29695 |        1   128645     24 |  0.000 % |
347.10/347.13	c |   2319312 |    2885    10774    29695 |        1   128745     24 |  0.000 % |
347.10/347.13	c |   2319585 |    2885    10774    29695 |        1   129018     25 |  0.000 % |
347.10/347.13	c |   2350400 |    2885    10774    29695 |        1   159833     28 |  0.000 % |
347.10/347.13	c |   2366394 |    2885    10774    29695 |        1   175827     28 |  0.000 % |
347.10/347.13	c |   2374303 |    2723    10339    27693 |        1    43269     12 |  5.615 % |
347.10/347.13	c |   2378886 |    2723    10339    27693 |        1    47852     15 |  5.615 % |
347.10/347.13	c |   2379185 |    2723    10339    27693 |        1    48151     15 |  5.615 % |
347.10/347.13	c |   2380302 |    2723    10339    27693 |        1    49268     16 |  5.615 % |
347.10/347.13	c |   2380402 |    2723    10339    27693 |        1    49368     16 |  5.615 % |
347.10/347.13	c |   2381448 |    2723    10339    27693 |        1    50414     17 |  5.615 % |
347.10/347.13	c |   2381548 |    2723    10339    27693 |        1    50514     17 |  5.615 % |
347.10/347.13	c |   2382293 |    2723    10339    27693 |        1    51259     17 |  5.615 % |
347.10/347.13	c |   2384286 |    2723    10339    27693 |        1    53252     18 |  5.615 % |
347.10/347.13	c |   2389736 |    2723    10339    27693 |        1    58702     20 |  5.615 % |
347.10/347.13	c |   2389836 |    2723    10339    27693 |        1    58802     20 |  5.615 % |
347.10/347.13	c |   2406768 |    2723    10339    27693 |        1    37975     19 |  5.615 % |
347.10/347.13	c |   2415675 |    2723    10339    27693 |        1    46882     23 |  5.615 % |
347.10/347.13	c |   2418335 |    2723    10339    27693 |        1    49542     24 |  5.615 % |
347.10/347.13	c |   2420823 |    2723    10339    27693 |        1    52030     25 |  5.615 % |
347.10/347.13	c |   2420925 |    2723    10339    27693 |        1    52132     25 |  5.615 % |
347.10/347.13	c |   2421027 |    2723    10339    27693 |        1    52234     25 |  5.615 % |
347.10/347.13	c |   2423912 |    2723    10339    27693 |        1    55119     26 |  5.615 % |
347.10/347.13	c |   2427065 |    2723    10339    27693 |        1    58272     26 |  5.615 % |
347.10/347.13	c |   2430301 |    2723    10339    27693 |        1    61508     27 |  5.615 % |
347.10/347.13	c |   2434691 |    2723    10339    27693 |        1    65898     27 |  5.615 % |
388.80/388.84	c |   2434792 |    2723    10339    27693 |        1    65999     27 |  5.615 % |
388.80/388.84	c |   2505233 |    2723    10339    27693 |        1   136440     34 |  5.615 % |
388.80/388.84	c |   2505401 |    2723    10339    27693 |        1   136608     34 |  5.615 % |
388.80/388.84	c |   2508553 |    2723    10339    27693 |        1   139760     34 |  5.615 % |
388.80/388.84	c |   2508653 |    2723    10339    27693 |        1   139860     34 |  5.615 % |
388.80/388.84	c |   2557204 |    2723    10339    27693 |        1   112915     28 |  5.615 % |
388.80/388.84	c |   2564822 |    2723    10339    27693 |        1   120533     29 |  5.615 % |
388.80/388.84	c |   2572240 |    2723    10339    27693 |        1   127951     30 |  5.615 % |
388.80/388.84	c |   2572550 |    2723    10339    27693 |        1   128261     30 |  5.615 % |
388.80/388.84	c |   2572651 |    2723    10339    27693 |        1   128362     30 |  5.615 % |
388.80/388.84	c |   2572755 |    2723    10339    27693 |        1   128466     30 |  5.615 % |
388.80/388.84	c |   2572894 |    2723    10339    27693 |        1   128605     30 |  5.615 % |
388.80/388.84	c |   2573183 |    2723    10339    27693 |        1   128894     30 |  5.615 % |
388.80/388.84	c |   2574123 |    2723    10339    27693 |        1   129834     30 |  5.615 % |
388.80/388.84	c |   2576689 |    2723    10339    27693 |        1   132400     30 |  5.615 % |
388.80/388.84	c |   2576792 |    2723    10339    27693 |        1   132503     30 |  5.615 % |
388.80/388.84	c |   2626768 |    2543     9940    26226 |        1    24827     15 | 11.854 % |
388.80/388.84	c |   2627988 |    2543     9940    26226 |        1    26047     16 | 11.854 % |
388.80/388.84	c |   2631113 |    2543     9940    26226 |        1    29172     19 | 11.854 % |
388.80/388.84	c |   2631291 |    2543     9940    26226 |        1    29350     19 | 11.854 % |
388.80/388.84	c |   2632560 |    2543     9940    26226 |        1    30619     20 | 11.854 % |
388.80/388.84	c |   2632944 |    2543     9940    26226 |        1    31003     20 | 11.854 % |
388.80/388.84	c |   2637879 |    2543     9940    26226 |        1    22002     18 | 11.854 % |
388.80/388.84	c |   2640698 |    2543     9940    26226 |        1    24821     20 | 11.854 % |
388.80/388.84	c |   2643145 |    2543     9940    26226 |        1    27268     23 | 11.854 % |
388.80/388.84	c |   2649217 |    2543     9940    26226 |        1    33340     26 | 11.854 % |
388.80/388.84	c |   2649343 |    2543     9940    26226 |        1    33466     26 | 11.854 % |
388.80/388.84	c |   2654711 |    2543     9940    26226 |        1    38834     29 | 11.854 % |
388.80/388.84	c |   2655650 |    2543     9940    26226 |        1    39773     29 | 11.854 % |
388.80/388.84	c |   2655750 |    2543     9940    26226 |        1    39873     29 | 11.854 % |
388.80/388.84	c |   2655851 |    2543     9940    26226 |        1    39974     29 | 11.854 % |
388.80/388.84	c |   2657782 |    2543     9940    26226 |        1    41905     30 | 11.854 % |
388.80/388.84	c |   2657883 |    2543     9940    26226 |        1    42006     30 | 11.854 % |
388.80/388.84	c |   2657983 |    2543     9940    26226 |        1    42106     30 | 11.854 % |
388.80/388.84	c |   2658083 |    2543     9940    26226 |        1    42206     30 | 11.854 % |
388.80/388.84	c |   2660815 |    2543     9940    26226 |        1    44938     31 | 11.854 % |
388.80/388.84	c |   2661786 |    2543     9940    26226 |        1    45909     31 | 11.854 % |
388.80/388.84	c |   2661888 |    2543     9940    26226 |        1    46011     31 | 11.854 % |
388.80/388.84	c |   2662743 |    2543     9940    26226 |        1    46866     31 | 11.854 % |
388.80/388.84	c |   2663210 |    2543     9940    26226 |        1    47333     32 | 11.854 % |
388.80/388.84	c |   2663310 |    2543     9940    26226 |        1    47433     32 | 11.854 % |
388.80/388.84	c |   2682465 |    2543     9940    26226 |        1    66588     34 | 11.854 % |
388.80/388.84	c |   2685383 |    2543     9940    26226 |        1    69506     35 | 11.854 % |
388.80/388.84	c |   2688622 |    2543     9940    26226 |        1    72745     35 | 11.854 % |
388.80/388.84	c |   2699279 |    2543     9940    26226 |        1    83402     35 | 11.854 % |
388.80/388.84	c |   2700657 |    2543     9940    26226 |        1    84780     35 | 11.854 % |
388.80/388.84	c |   2701745 |    2543     9940    26226 |        1    85868     35 | 11.854 % |
388.80/388.84	c |   2709037 |    2543     9940    26226 |        1    93160     35 | 11.854 % |
388.80/388.84	c |   2709138 |    2543     9940    26226 |        1    93261     35 | 11.854 % |
388.80/388.84	c |   2718478 |    2543     9940    26226 |        1   102601     35 | 11.854 % |
425.71/425.78	c |   2723430 |    2543     9940    26226 |        1   107553     36 | 11.854 % |
425.71/425.78	c |   2752235 |    2543     9940    26226 |        1   136358     38 | 11.854 % |
425.71/425.78	c |   2759636 |    2543     9940    26226 |        1   143759     38 | 11.854 % |
425.71/425.78	c |   2763078 |    2543     9940    26226 |        1   147201     38 | 11.854 % |
425.71/425.78	c |   2763452 |    2543     9940    26226 |        1   147575     38 | 11.854 % |
425.71/425.78	c |   2763870 |    2543     9940    26226 |        1   147993     38 | 11.854 % |
425.71/425.78	c |   2764230 |    2543     9940    26226 |        1   148353     38 | 11.854 % |
425.71/425.78	c |   2764330 |    2543     9940    26226 |        1   148453     38 | 11.854 % |
425.71/425.78	c |   2764430 |    2543     9940    26226 |        1   148553     38 | 11.854 % |
425.71/425.78	c |   2764531 |    2543     9940    26226 |        1   148654     38 | 11.854 % |
425.71/425.78	c |   2764632 |    2543     9940    26226 |        1   148755     38 | 11.854 % |
425.71/425.78	c |   2774759 |    2542     9938    26220 |        1   158769     38 | 11.889 % |
425.71/425.78	c |   2775020 |    2542     9938    26220 |        1   159030     38 | 11.889 % |
425.71/425.78	c |   2777765 |    2542     9938    26220 |        1   161775     38 | 11.889 % |
425.71/425.78	c |   2778908 |    2542     9938    26220 |        1   162918     38 | 11.889 % |
425.71/425.78	c |   2779008 |    2542     9938    26220 |        1   163018     38 | 11.889 % |
425.71/425.78	c |   2779108 |    2542     9938    26220 |        1   163118     38 | 11.889 % |
425.71/425.78	c |   2779208 |    2542     9938    26220 |        1   163218     38 | 11.889 % |
425.71/425.78	c |   2779308 |    2542     9938    26220 |        1   163318     38 | 11.889 % |
425.71/425.78	c |   2779408 |    2542     9938    26220 |        1   163418     38 | 11.889 % |
425.71/425.78	c |   2797264 |    2542     9938    26220 |        1   181274     39 | 11.889 % |
425.71/425.78	c |   2800868 |    2542     9938    26220 |        1    93387     30 | 11.889 % |
425.71/425.78	c |   2806439 |    2542     9938    26220 |        1    98958     31 | 11.889 % |
425.71/425.78	c |   2827396 |    2542     9938    26220 |        1   119915     31 | 11.889 % |
425.71/425.78	c |   2827674 |    2542     9938    26220 |        1   120193     31 | 11.889 % |
425.71/425.78	c |   2854961 |    2542     9938    26220 |        1   147480     32 | 11.889 % |
425.71/425.78	c |   2855062 |    2542     9938    26220 |        1   147581     32 | 11.889 % |
425.71/425.78	c |   2886299 |    2520     9888    26046 |        1    88695     29 | 12.652 % |
425.71/425.78	c |   2894532 |    2520     9888    26046 |        1    96928     30 | 12.652 % |
425.71/425.78	c |   2894632 |    2520     9888    26046 |        1    97028     30 | 12.652 % |
425.71/425.78	c |   2895337 |    2520     9888    26046 |        1    97733     30 | 12.652 % |
425.71/425.78	c |   2895439 |    2520     9888    26046 |        1    97835     30 | 12.652 % |
425.71/425.78	c |   2904543 |    2520     9888    26046 |        1   106939     30 | 12.652 % |
425.71/425.78	c |   2908616 |    2520     9888    26046 |        1   111012     31 | 12.652 % |
425.71/425.78	c |   2912085 |    2520     9888    26046 |        1   114481     31 | 12.652 % |
425.71/425.78	c |   2926785 |    2520     9888    26046 |        1    67484     21 | 12.652 % |
425.71/425.78	c |   2953088 |    2247     9307    23973 |        1    42220     20 | 22.114 % |
425.71/425.78	c |   2953188 |    2247     9307    23973 |        1    42320     20 | 22.114 % |
425.71/425.78	c |   2972808 |    2192     9193    23587 |        1    38819     22 | 24.021 % |
425.71/425.78	c |   2972908 |    2192     9193    23587 |        1    38919     22 | 24.021 % |
425.71/425.78	c |   2973206 |    2192     9193    23587 |        1    39217     22 | 24.021 % |
425.71/425.78	c |   2979424 |    1195     9191    23579 |        1    45141     23 | 58.579 % |
425.71/425.78	c ===============================================================================
425.71/425.78	c restarts              : 1030
425.71/425.78	c nb ReduceDB           : 46
425.71/425.78	c nb removed Clauses    : 2470946
425.71/425.78	c nb learnts DL2        : 1310
425.71/425.78	c nb learnts size 2     : 887
425.71/425.78	c nb learnts size 1     : 15
425.71/425.78	c conflicts             : 2979424        (6999 /sec)
425.71/425.78	c decisions             : 4991373        (0.00 % random) (11725 /sec)
425.71/425.78	c propagations          : 654612321      (1537781 /sec)
425.71/425.78	c conflict literals     : 115695732      (50.57 % deleted)
425.71/425.78	c nb reduced Clauses    : 783
425.71/425.78	c CPU time              : 425.686 s
425.71/425.78	
425.71/425.78	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3293036-1303781159/watcher-3293036-1303781159 -o /tmp/evaluation-result-3293036-1303781159/solver-3293036-1303781159 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3293036-1303781159.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.03 4.00 3.82 4/192 25410
/proc/meminfo: memFree=28074432/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 489715584 8912896 253 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 253 211 178 0 69 0

[startup+0.00860103 s]
/proc/loadavg: 4.03 4.00 3.82 4/192 25410
/proc/meminfo: memFree=28074432/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 489715584 8912896 253 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.106587 s]
/proc/loadavg: 4.03 4.00 3.82 4/192 25410
/proc/meminfo: memFree=28074432/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8704

[startup+0.300546 s]
/proc/loadavg: 4.03 4.00 3.82 4/192 25410
/proc/meminfo: memFree=28074432/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8704

[startup+0.700471 s]
/proc/loadavg: 4.03 4.00 3.82 4/192 25410
/proc/meminfo: memFree=28074432/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8704

[startup+1.50032 s]
/proc/loadavg: 4.02 4.00 3.82 5/194 25413
/proc/meminfo: memFree=28069392/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=19924 CPUtime=1.45 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 2185 0 0 0 145 0 0 0 25 0 1 0 489715588 20402176 1571 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 4981 1571 250 17 0 1622 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28628

[startup+3.10101 s]
/proc/loadavg: 4.02 4.00 3.82 5/194 25413
/proc/meminfo: memFree=28066540/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=24312 CPUtime=3.05 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 2986 0 0 0 305 0 0 0 25 0 1 0 489715588 24895488 2347 33554432000 4194304 4260849 140736756704192 18446744073709551615 4226633 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 6078 2347 251 17 0 2719 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33016

[startup+6.3004 s]
/proc/loadavg: 4.02 4.00 3.82 5/194 25413
/proc/meminfo: memFree=28065360/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=31388 CPUtime=6.25 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 4495 0 0 0 625 0 0 0 25 0 1 0 489715588 32141312 3843 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224456 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 7847 3843 251 17 0 4488 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40092

[startup+12.7002 s]
/proc/loadavg: 4.02 4.00 3.82 5/194 25414
/proc/meminfo: memFree=28055552/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=31384 CPUtime=12.64 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 5967 0 0 0 1264 0 0 0 25 0 1 0 489715588 32137216 4103 33554432000 4194304 4260849 140736756704192 18446744073709551615 4226525 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 7846 4103 251 17 0 4487 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40088

[startup+25.5007 s]
/proc/loadavg: 4.02 4.00 3.82 5/194 25414
/proc/meminfo: memFree=28033852/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=45960 CPUtime=25.45 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 9384 0 0 0 2544 1 0 0 25 0 1 0 489715588 47063040 5676 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 11490 5676 251 17 0 8131 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54664

[startup+51.1009 s]
/proc/loadavg: 4.08 4.02 3.83 5/194 25415
/proc/meminfo: memFree=28008888/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=53140 CPUtime=51.05 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 11422 0 0 0 5104 1 0 0 25 0 1 0 489715588 54415360 7655 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 13285 7655 251 17 0 9926 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 61844

[startup+102.307 s]
/proc/loadavg: 4.03 4.01 3.83 5/194 25416
/proc/meminfo: memFree=27992716/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=69220 CPUtime=102.26 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 17638 0 0 0 10224 2 0 0 25 0 1 0 489715588 70881280 9929 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 17305 9929 251 17 0 13946 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 77924

[startup+162.301 s]
/proc/loadavg: 4.01 4.01 3.84 5/194 25418
/proc/meminfo: memFree=27928760/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=88076 CPUtime=162.25 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 29055 0 0 0 16222 3 0 0 25 0 1 0 489715588 90189824 16397 33554432000 4194304 4260849 140736756704192 18446744073709551615 4209990 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 22019 16397 251 17 0 18660 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 96780

[startup+222.3 s]
/proc/loadavg: 4.03 4.02 3.85 5/194 25419
/proc/meminfo: memFree=27926712/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=88076 CPUtime=222.25 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 29356 0 0 0 22222 3 0 0 25 0 1 0 489715588 90189824 16690 33554432000 4194304 4260849 140736756704192 18446744073709551615 4227024 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 22019 16690 251 17 0 18660 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 96780

[startup+282.301 s]
/proc/loadavg: 4.04 4.03 3.86 5/194 25421
/proc/meminfo: memFree=27915484/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=88076 CPUtime=282.26 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 30825 0 0 0 28222 4 0 0 25 0 1 0 489715588 90189824 18116 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 22019 18116 251 17 0 18660 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 96780

[startup+342.3 s]
/proc/loadavg: 4.01 4.02 3.87 5/194 25422
/proc/meminfo: memFree=27902404/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=100000 CPUtime=342.26 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 33941 0 0 0 34221 5 0 0 25 0 1 0 489715588 102400000 21169 33554432000 4194304 4260849 140736756704192 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 25000 21169 251 17 0 21641 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 108704

[startup+402.301 s]
/proc/loadavg: 4.00 4.01 3.87 5/194 25424
/proc/meminfo: memFree=27887580/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=118672 CPUtime=402.26 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 37935 0 0 0 40220 6 0 0 25 0 1 0 489715588 121520128 25042 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 29668 25042 251 17 0 26309 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 127376

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

[startup+409.501 s]
/proc/loadavg: 4.00 4.01 3.87 5/194 25424
/proc/meminfo: memFree=27789484/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=118672 CPUtime=409.46 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 39092 0 0 0 40940 6 0 0 25 0 1 0 489715588 121520128 26174 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 29668 26174 251 17 0 26309 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 127376

[startup+415.9 s]
/proc/loadavg: 4.00 4.01 3.87 5/194 25424
/proc/meminfo: memFree=27808580/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=118672 CPUtime=415.86 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 39092 0 0 0 41580 6 0 0 25 0 1 0 489715588 121520128 26174 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 29668 26174 251 17 0 26309 0
Current children cumulated CPU time (s) 415.9
Current children cumulated vsize (KiB) 127376

[startup+422.301 s]
/proc/loadavg: 4.00 4.01 3.87 5/194 25425
/proc/meminfo: memFree=27881864/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=118672 CPUtime=422.27 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 39092 0 0 0 42221 6 0 0 25 0 1 0 489715588 121520128 26174 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 29668 26174 251 17 0 26309 0
Current children cumulated CPU time (s) 422.31
Current children cumulated vsize (KiB) 127376

[startup+423.901 s]
/proc/loadavg: 4.00 4.01 3.87 5/194 25425
/proc/meminfo: memFree=27881980/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=118672 CPUtime=423.86 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 39092 0 0 0 42380 6 0 0 25 0 1 0 489715588 121520128 26174 33554432000 4194304 4260849 140736756704192 18446744073709551615 4209669 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 29668 26174 251 17 0 26309 0
Current children cumulated CPU time (s) 423.9
Current children cumulated vsize (KiB) 127376

[startup+424.701 s]
/proc/loadavg: 4.00 4.01 3.87 5/194 25425
/proc/meminfo: memFree=27881980/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=118672 CPUtime=424.66 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 39092 0 0 0 42460 6 0 0 25 0 1 0 489715588 121520128 26174 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224348 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 29668 26174 251 17 0 26309 0
Current children cumulated CPU time (s) 424.7
Current children cumulated vsize (KiB) 127376

[startup+425.5 s]
/proc/loadavg: 4.00 4.01 3.87 5/194 25425
/proc/meminfo: memFree=27881980/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=118672 CPUtime=425.46 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 39092 0 0 0 42540 6 0 0 25 0 1 0 489715588 121520128 26174 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 29668 26174 251 17 0 26309 0
Current children cumulated CPU time (s) 425.5
Current children cumulated vsize (KiB) 127376

[startup+425.706 s]
/proc/loadavg: 4.00 4.01 3.87 5/194 25425
/proc/meminfo: memFree=27881856/32950928 swapFree=67111364/67111528
[pid=25410] ppid=25408 vsize=8704 CPUtime=0.04 cores=1,3
/proc/25410/stat : 25410 (glucose.sh) S 25408 25410 24832 0 -1 4202496 359 755 0 0 0 0 4 0 25 0 1 0 489715584 8912896 255 33554432000 4194304 4922060 140736673053136 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25410/statm: 2176 255 211 178 0 69 0
[pid=25413] ppid=25410 vsize=118672 CPUtime=425.67 cores=1,3
/proc/25413/stat : 25413 (glucose_static) R 25410 25410 24832 0 -1 4202496 39092 0 0 0 42561 6 0 0 25 0 1 0 489715588 121520128 26174 33554432000 4194304 4260849 140736756704192 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25413/statm: 29668 26174 251 17 0 26309 0
Current children cumulated CPU time (s) 425.71
Current children cumulated vsize (KiB) 127376

Child status: 20
Real time (s): 425.791
CPU time (s): 425.804
CPU user time (s): 425.731
CPU system time (s): 0.072988
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 127376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 425.731
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40422
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= 41
involuntary context switches= 563

runsolver used 0.728889 second user time and 1.60675 second system time

The end

Launcher Data

Begin job on node127 at 2011-04-26 03:25:59
IDJOB=3293036
IDBENCH=88025
IDSOLVER=1651
FILE ID=node127/3293036-1303781159
RUNJOBID= node127-1303779629-24852
PBS_JOBID= 13157213
Free space on /tmp= 71188 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293036-1303781159/watcher-3293036-1303781159 -o /tmp/evaluation-result-3293036-1303781159/solver-3293036-1303781159 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3293036-1303781159.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 532245ed9a95eef41b179dba56b78f57
RANDOM SEED=1188671242

node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28074464 kB
Buffers:       1257096 kB
Cached:        2898812 kB
SwapCached:          0 kB
Active:         847888 kB
Inactive:      3560452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28074464 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1288 kB
Writeback:           0 kB
AnonPages:      252360 kB
Mapped:          15352 kB
Slab:           401296 kB
PageTables:       6112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   443872 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71184 MiB
End job on node127 at 2011-04-26 03:33:05