Trace number 3262528

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 2SAT 1010.85 1010.85

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
MD5SUM4975f32607352c0a4d9db1abea12627a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.62714
Satisfiable
(Un)Satisfiability was proved
Number of variables231
Number of clauses28738
Sum of the clauses size129678
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 277
Number of clauses of size 326363
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52298

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.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   28738   129678 |    8621       0        0     nan |  0.000 % |
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 231   #clauses: 28738   #literals: 129678
0.00/0.01	c CPU time:   0.011998 s
0.00/0.01	c ==============================================================================
0.00/0.03	c
0.00/0.03	c Starting glucose
0.00/0.03	c
9.99/10.07	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
9.99/10.07	c WARNING: for repeatability, setting FPU to use double precision
9.99/10.07	c ============================[ Problem Statistics ]=============================
9.99/10.07	c |                                                                             |
9.99/10.07	c |  Number of variables:           231                                         |
9.99/10.07	c |  Number of clauses:           28738                                         |
9.99/10.07	c |  Parse time:                   0.00 s                                       |
9.99/10.07	c |                                                                             |
9.99/10.07	c ============================[ Search Statistics ]==============================
9.99/10.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.99/10.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.99/10.07	c ===============================================================================
9.99/10.07	c |     15916 |     231    28738   129678 |        1     9617     25 |  0.000 % |
9.99/10.07	c |     16017 |     231    28738   129678 |        1     9718     25 |  0.000 % |
9.99/10.07	c |     16175 |     231    28738   129678 |        1     9876     25 |  0.000 % |
9.99/10.07	c |     16276 |     231    28738   129678 |        1     9977     25 |  0.000 % |
9.99/10.07	c |     16378 |     231    28738   129678 |        1    10079     25 |  0.000 % |
9.99/10.07	c |     16478 |     231    28738   129678 |        1    10179     25 |  0.000 % |
9.99/10.07	c |     22625 |     231    28738   129678 |        1     9575     24 |  0.000 % |
9.99/10.07	c |     22725 |     231    28738   129678 |        1     9675     24 |  0.000 % |
9.99/10.07	c |     23265 |     231    28738   129678 |        1    10215     25 |  0.000 % |
9.99/10.07	c |     30069 |     231    28738   129678 |        1    17019     25 |  0.000 % |
9.99/10.07	c |     30169 |     231    28738   129678 |        1    17119     25 |  0.000 % |
9.99/10.07	c |     40207 |     231    28738   129678 |        1    17885     25 |  0.000 % |
9.99/10.07	c |     40307 |     231    28738   129678 |        1    17985     25 |  0.000 % |
9.99/10.07	c |     42370 |     231    28738   129678 |        1    20048     26 |  0.000 % |
9.99/10.07	c |     45303 |     231    28738   129678 |        1    22981     27 |  0.000 % |
9.99/10.07	c |     46526 |     231    28738   129678 |        1    12370     25 |  0.000 % |
9.99/10.07	c |     47070 |     231    28738   129678 |        1    12914     25 |  0.000 % |
9.99/10.07	c |     51141 |     231    28738   129678 |        1    16985     26 |  0.000 % |
9.99/10.07	c |     51400 |     231    28738   129678 |        1    17244     26 |  0.000 % |
9.99/10.07	c |     51501 |     231    28738   129678 |        1    17345     26 |  0.000 % |
9.99/10.07	c |     51602 |     231    28738   129678 |        1    17446     26 |  0.000 % |
9.99/10.07	c |     66027 |     231    28738   129678 |        1    17455     25 |  0.000 % |
9.99/10.07	c |     69601 |     231    28738   129678 |        1    21029     26 |  0.000 % |
9.99/10.07	c |     73778 |     231    28738   129678 |        1    25206     26 |  0.000 % |
9.99/10.07	c |     73879 |     231    28738   129678 |        1    25307     27 |  0.000 % |
9.99/10.07	c |     73979 |     231    28738   129678 |        1    25407     27 |  0.000 % |
9.99/10.07	c |     74080 |     231    28738   129678 |        1    25508     27 |  0.000 % |
9.99/10.07	c |     75000 |     231    28738   129678 |        1    26428     27 |  0.000 % |
9.99/10.07	c |     75206 |     231    28738   129678 |        1    26634     27 |  0.000 % |
9.99/10.07	c |     98494 |     231    28738   129678 |        1    32913     26 |  0.000 % |
9.99/10.07	c |    108709 |     231    28738   129678 |        1    23528     25 |  0.000 % |
9.99/10.07	c |    127368 |     231    28738   129678 |        1    42187     27 |  0.000 % |
9.99/10.07	c |    143343 |     231    28738   129678 |        1    35955     26 |  0.000 % |
9.99/10.07	c |    182254 |     231    28738   129678 |        1    50072     27 |  0.000 % |
9.99/10.07	c |    182356 |     231    28738   129678 |        1    50174     27 |  0.000 % |
9.99/10.07	c |    182456 |     231    28738   129678 |        1    50274     27 |  0.000 % |
9.99/10.07	c |    182556 |     231    28738   129678 |        1    50374     27 |  0.000 % |
9.99/10.07	c |    198126 |     231    28738   129678 |        1    38538     26 |  0.000 % |
9.99/10.07	c |    198749 |     231    28738   129678 |        1    39161     26 |  0.000 % |
76.38/76.46	c |    204099 |     231    28738   129678 |        1    44511     26 |  0.000 % |
76.38/76.46	c |    204199 |     231    28738   129678 |        1    44611     27 |  0.000 % |
76.38/76.46	c |    204299 |     231    28738   129678 |        1    44711     27 |  0.000 % |
76.38/76.46	c |    204399 |     231    28738   129678 |        1    44811     27 |  0.000 % |
76.38/76.46	c |    205610 |     231    28738   129678 |        1    46022     27 |  0.000 % |
76.38/76.46	c |    206588 |     231    28738   129678 |        1    47000     27 |  0.000 % |
76.38/76.46	c |    206698 |     231    28738   129678 |        1    47110     27 |  0.000 % |
76.38/76.46	c |    210671 |     231    28738   129678 |        1    51083     27 |  0.000 % |
76.38/76.46	c |    234310 |     231    28738   129678 |        1    44720     26 |  0.000 % |
76.38/76.46	c |    234410 |     231    28738   129678 |        1    44820     26 |  0.000 % |
76.38/76.46	c |    338412 |     231    28738   129678 |        1    43226     24 |  0.000 % |
76.38/76.46	c |    350069 |     231    28738   129678 |        1    54883     25 |  0.000 % |
76.38/76.46	c |    350169 |     231    28738   129678 |        1    54983     25 |  0.000 % |
76.38/76.46	c |    350777 |     231    28738   129678 |        1    55591     25 |  0.000 % |
76.38/76.46	c |    350880 |     231    28738   129678 |        1    55694     25 |  0.000 % |
76.38/76.46	c |    350981 |     231    28738   129678 |        1    55795     25 |  0.000 % |
76.38/76.46	c |    399671 |     231    28738   129678 |        1    64083     25 |  0.000 % |
76.38/76.46	c |    410838 |     231    28738   129678 |        1    75250     26 |  0.000 % |
76.38/76.46	c |    410938 |     231    28738   129678 |        1    75350     26 |  0.000 % |
76.38/76.46	c |    453040 |     231    28738   129678 |        1    74449     26 |  0.000 % |
76.38/76.46	c |    460736 |     231    28738   129678 |        1    82145     26 |  0.000 % |
76.38/76.46	c |    498383 |     231    28738   129678 |        1    74194     24 |  0.000 % |
76.38/76.46	c |    498483 |     231    28738   129678 |        1    74294     24 |  0.000 % |
76.38/76.46	c |    551474 |     231    28738   129678 |        1    79084     23 |  0.000 % |
76.38/76.46	c |    551575 |     231    28738   129678 |        1    79185     23 |  0.000 % |
76.38/76.46	c |    556222 |     231    28738   129678 |        1    83832     24 |  0.000 % |
76.38/76.46	c |    648443 |     231    28738   129678 |        1    71856     24 |  0.000 % |
76.38/76.46	c |    707756 |     231    28738   129678 |        1    75174     23 |  0.000 % |
76.38/76.46	c |    707856 |     231    28738   129678 |        1    75274     23 |  0.000 % |
76.38/76.46	c |    707956 |     231    28738   129678 |        1    75374     23 |  0.000 % |
76.38/76.46	c |    711663 |     231    28738   129678 |        1    79081     23 |  0.000 % |
76.38/76.46	c |    713067 |     231    28738   129678 |        1    80485     23 |  0.000 % |
76.38/76.46	c |    740571 |     231    28738   129678 |        1   107989     24 |  0.000 % |
76.38/76.46	c |    760655 |     231    28738   129678 |        1    69469     22 |  0.000 % |
76.38/76.46	c |    802274 |     231    28738   129678 |        1   111088     24 |  0.000 % |
76.38/76.46	c |    802442 |     231    28738   129678 |        1   111256     24 |  0.000 % |
76.38/76.46	c |    806254 |     231    28738   129678 |        1   115068     24 |  0.000 % |
76.38/76.46	c |    868538 |     231    28738   129678 |        1   116155     25 |  0.000 % |
76.38/76.46	c |    868638 |     231    28738   129678 |        1   116255     25 |  0.000 % |
76.38/76.46	c |    868739 |     231    28738   129678 |        1   116356     25 |  0.000 % |
76.38/76.46	c |    869503 |     231    28738   129678 |        1   117120     25 |  0.000 % |
76.38/76.46	c |    873844 |     231    28738   129678 |        1   121461     25 |  0.000 % |
76.38/76.46	c |    874043 |     231    28738   129678 |        1   121660     25 |  0.000 % |
76.38/76.46	c |    879516 |     231    28738   129678 |        1   127133     25 |  0.000 % |
76.38/76.46	c |    883397 |     231    28738   129678 |        1    67215     22 |  0.000 % |
76.38/76.46	c |    883498 |     231    28738   129678 |        1    67316     22 |  0.000 % |
76.38/76.46	c |    883599 |     231    28738   129678 |        1    67417     22 |  0.000 % |
76.38/76.46	c |    885713 |     231    28738   129678 |        1    69531     23 |  0.000 % |
76.38/76.46	c |    894718 |     231    28738   129678 |        1    78536     23 |  0.000 % |
76.38/76.46	c |   1087464 |     231    28738   129678 |        1   135879     23 |  0.000 % |
171.08/171.12	c |   1087564 |     231    28738   129678 |        1   135979     23 |  0.000 % |
171.08/171.12	c |   1113132 |     231    28738   129678 |        1    89944     22 |  0.000 % |
171.08/171.12	c |   1118573 |     231    28738   129678 |        1    95385     23 |  0.000 % |
171.08/171.12	c |   1123341 |     231    28738   129678 |        1   100153     23 |  0.000 % |
171.08/171.12	c |   1123441 |     231    28738   129678 |        1   100253     23 |  0.000 % |
171.08/171.12	c |   1129784 |     231    28738   129678 |        1   106596     23 |  0.000 % |
171.08/171.12	c |   1129885 |     231    28738   129678 |        1   106697     23 |  0.000 % |
171.08/171.12	c |   1131138 |     231    28738   129678 |        1   107950     23 |  0.000 % |
171.08/171.12	c |   1131238 |     231    28738   129678 |        1   108050     23 |  0.000 % |
171.08/171.12	c |   1131338 |     231    28738   129678 |        1   108150     23 |  0.000 % |
171.08/171.12	c |   1240180 |     231    28738   129678 |        1   142791     23 |  0.000 % |
171.08/171.12	c |   1240890 |     231    28738   129678 |        1   143501     23 |  0.000 % |
171.08/171.12	c |   1241313 |     231    28738   129678 |        1   143924     23 |  0.000 % |
171.08/171.12	c |   1284186 |     231    28738   129678 |        1   109995     23 |  0.000 % |
171.08/171.12	c |   1286417 |     231    28738   129678 |        1   112226     23 |  0.000 % |
171.08/171.12	c |   1370984 |     231    28738   129678 |        1   117396     23 |  0.000 % |
171.08/171.12	c |   1380198 |     231    28738   129678 |        1   126610     23 |  0.000 % |
171.08/171.12	c |   1408241 |     231    28738   129678 |        1   154653     24 |  0.000 % |
171.08/171.12	c |   1410377 |     231    28738   129678 |        1   156789     24 |  0.000 % |
171.08/171.12	c |   1412535 |     231    28738   129678 |        1   158947     24 |  0.000 % |
171.08/171.12	c |   1455734 |     231    28738   129678 |        1   120152     22 |  0.000 % |
171.08/171.12	c |   1456132 |     231    28738   129678 |        1   120550     22 |  0.000 % |
171.08/171.12	c |   1456233 |     231    28738   129678 |        1   120651     22 |  0.000 % |
171.08/171.12	c |   1456487 |     231    28738   129678 |        1   120905     22 |  0.000 % |
171.08/171.12	c |   1470707 |     231    28738   129678 |        1   135125     23 |  0.000 % |
171.08/171.12	c |   1485537 |     231    28738   129678 |        1   149955     23 |  0.000 % |
171.08/171.12	c |   1485637 |     231    28738   129678 |        1   150055     23 |  0.000 % |
171.08/171.12	c |   1489830 |     231    28738   129678 |        1   154248     24 |  0.000 % |
171.08/171.12	c |   1817344 |     231    28738   129678 |        1   127756     22 |  0.000 % |
171.08/171.12	c |   1820409 |     231    28738   129678 |        1   130821     22 |  0.000 % |
171.08/171.12	c |   1826080 |     231    28738   129678 |        1   136492     22 |  0.000 % |
171.08/171.12	c |   1826180 |     231    28738   129678 |        1   136592     22 |  0.000 % |
171.08/171.12	c |   1826736 |     231    28738   129678 |        1   137148     22 |  0.000 % |
171.08/171.12	c |   1920278 |     231    28738   129678 |        1   135697     22 |  0.000 % |
171.08/171.12	c |   1967036 |     231    28738   129678 |        1   182455     23 |  0.000 % |
171.08/171.12	c |   1967234 |     231    28738   129678 |        1   182653     23 |  0.000 % |
171.08/171.12	c |   1983929 |     231    28738   129678 |        1   101749     21 |  0.000 % |
171.08/171.12	c |   1984039 |     231    28738   129678 |        1   101859     21 |  0.000 % |
171.08/171.12	c |   1984139 |     231    28738   129678 |        1   101959     21 |  0.000 % |
171.08/171.12	c |   1985739 |     231    28738   129678 |        1   103559     21 |  0.000 % |
171.08/171.12	c |   1985843 |     231    28738   129678 |        1   103663     21 |  0.000 % |
171.08/171.12	c |   2011293 |     231    28738   129678 |        1   129113     22 |  0.000 % |
171.08/171.12	c |   2011394 |     231    28738   129678 |        1   129214     22 |  0.000 % |
171.08/171.12	c |   2012357 |     231    28738   129678 |        1   130177     22 |  0.000 % |
171.08/171.12	c |   2021584 |     231    28738   129678 |        1   139404     22 |  0.000 % |
171.08/171.12	c |   2022419 |     231    28738   129678 |        1   140239     22 |  0.000 % |
171.08/171.12	c |   2023255 |     231    28738   129678 |        1   141075     22 |  0.000 % |
171.08/171.12	c |   2023355 |     231    28738   129678 |        1   141175     22 |  0.000 % |
171.08/171.12	c |   2023455 |     231    28738   129678 |        1   141275     22 |  0.000 % |
171.08/171.12	c |   2123897 |     231    28738   129678 |        1   141521     22 |  0.000 % |
290.99/291.06	c |   2124075 |     231    28738   129678 |        1   141699     22 |  0.000 % |
290.99/291.06	c |   2128989 |     231    28738   129678 |        1   146613     22 |  0.000 % |
290.99/291.06	c |   2136296 |     231    28738   129678 |        1   153920     23 |  0.000 % |
290.99/291.06	c |   2137068 |     231    28738   129678 |        1   154692     23 |  0.000 % |
290.99/291.06	c |   2228560 |     231    28738   129678 |        1   143381     22 |  0.000 % |
290.99/291.06	c |   2228660 |     231    28738   129678 |        1   143481     22 |  0.000 % |
290.99/291.06	c |   2713002 |     231    28738   129678 |        1   190621     22 |  0.000 % |
290.99/291.06	c |   2715877 |     231    28738   129678 |        1   193496     22 |  0.000 % |
290.99/291.06	c |   2723817 |     231    28738   129678 |        1   201436     22 |  0.000 % |
290.99/291.06	c |   2725703 |     231    28738   129678 |        1   203322     23 |  0.000 % |
290.99/291.06	c |   2781470 |     231    28738   129678 |        1   143286     21 |  0.000 % |
290.99/291.06	c |   2781741 |     231    28738   129678 |        1   143557     21 |  0.000 % |
290.99/291.06	c |   2781841 |     231    28738   129678 |        1   143657     21 |  0.000 % |
290.99/291.06	c |   2802661 |     231    28738   129678 |        1   164477     22 |  0.000 % |
290.99/291.06	c |   2811887 |     231    28738   129678 |        1   173703     22 |  0.000 % |
290.99/291.06	c |   2837255 |     231    28738   129678 |        1   199071     23 |  0.000 % |
290.99/291.06	c |   2837981 |     231    28738   129678 |        1   199797     23 |  0.000 % |
290.99/291.06	c |   2838081 |     231    28738   129678 |        1   199897     23 |  0.000 % |
290.99/291.06	c |   2840621 |     231    28738   129678 |        1   202437     23 |  0.000 % |
290.99/291.06	c |   2840724 |     231    28738   129678 |        1   202540     23 |  0.000 % |
290.99/291.06	c |   2841043 |     231    28738   129678 |        1   202859     23 |  0.000 % |
290.99/291.06	c |   2841145 |     231    28738   129678 |        1   202961     23 |  0.000 % |
290.99/291.06	c |   2844111 |     231    28738   129678 |        1   205927     23 |  0.000 % |
290.99/291.06	c |   2845905 |     231    28738   129678 |        1   207721     23 |  0.000 % |
290.99/291.06	c |   2865279 |     231    28738   129678 |        1   227095     23 |  0.000 % |
290.99/291.06	c |   2865631 |     231    28738   129678 |        1   227447     23 |  0.000 % |
290.99/291.06	c |   2865806 |     231    28738   129678 |        1   227622     23 |  0.000 % |
290.99/291.06	c |   2866109 |     231    28738   129678 |        1   227925     23 |  0.000 % |
290.99/291.06	c |   2885160 |     231    28738   129678 |        1   128583     21 |  0.000 % |
290.99/291.06	c |   2885260 |     231    28738   129678 |        1   128683     21 |  0.000 % |
290.99/291.06	c |   2885361 |     231    28738   129678 |        1   128784     21 |  0.000 % |
290.99/291.06	c |   2892170 |     231    28738   129678 |        1   135593     21 |  0.000 % |
290.99/291.06	c |   3026505 |     231    28738   129678 |        1   148922     21 |  0.000 % |
290.99/291.06	c |   3026627 |     231    28738   129678 |        1   149044     21 |  0.000 % |
290.99/291.06	c |   3028489 |     231    28738   129678 |        1   150906     21 |  0.000 % |
290.99/291.06	c |   3043242 |     231    28738   129678 |        1   165659     22 |  0.000 % |
290.99/291.06	c |   3043344 |     231    28738   129678 |        1   165761     22 |  0.000 % |
290.99/291.06	c |   3043896 |     231    28738   129678 |        1   166313     22 |  0.000 % |
290.99/291.06	c |   3048059 |     231    28738   129678 |        1   170476     22 |  0.000 % |
290.99/291.06	c |   3057212 |     231    28738   129678 |        1   179629     22 |  0.000 % |
290.99/291.06	c |   3057313 |     231    28738   129678 |        1   179730     22 |  0.000 % |
290.99/291.06	c |   3057453 |     231    28738   129678 |        1   179870     22 |  0.000 % |
290.99/291.06	c |   3107317 |     231    28738   129678 |        1   229734     23 |  0.000 % |
290.99/291.06	c |   3144640 |     231    28738   129678 |        1   143456     21 |  0.000 % |
290.99/291.06	c |   3162643 |     231    28738   129678 |        1   161459     22 |  0.000 % |
290.99/291.06	c |   3182835 |     231    28738   129678 |        1   181651     22 |  0.000 % |
290.99/291.06	c |   3183602 |     231    28738   129678 |        1   182418     22 |  0.000 % |
290.99/291.06	c |   3217546 |     231    28738   129678 |        1   216362     23 |  0.000 % |
290.99/291.06	c |   3283122 |     231    28738   129678 |        1   155731     21 |  0.000 % |
290.99/291.06	c |   3296780 |     231    28738   129678 |        1   169389     22 |  0.000 % |
369.37/369.46	c |   3301339 |     231    28738   129678 |        1   173948     22 |  0.000 % |
369.37/369.46	c |   3302645 |     231    28738   129678 |        1   175254     22 |  0.000 % |
369.37/369.46	c |   3307323 |     231    28738   129678 |        1   179932     22 |  0.000 % |
369.37/369.46	c |   3354195 |     231    28738   129678 |        1   226804     23 |  0.000 % |
369.37/369.46	c |   3355187 |     231    28738   129678 |        1   227796     23 |  0.000 % |
369.37/369.46	c |   3355392 |     231    28738   129678 |        1   228001     23 |  0.000 % |
369.37/369.46	c |   3369664 |     231    28738   129678 |        1   242273     23 |  0.000 % |
369.37/369.46	c |   3369914 |     231    28738   129678 |        1   242523     23 |  0.000 % |
369.37/369.46	c |   3400160 |     231    28738   129678 |        1   143973     21 |  0.000 % |
369.37/369.46	c |   3431467 |     231    28738   129678 |        1   175280     22 |  0.000 % |
369.37/369.46	c |   3454173 |     231    28738   129678 |        1   197986     22 |  0.000 % |
369.37/369.46	c |   3454273 |     231    28738   129678 |        1   198086     22 |  0.000 % |
369.37/369.46	c |   3458035 |     231    28738   129678 |        1   201848     22 |  0.000 % |
369.37/369.46	c |   3458367 |     231    28738   129678 |        1   202180     22 |  0.000 % |
369.37/369.46	c |   3458470 |     231    28738   129678 |        1   202283     22 |  0.000 % |
369.37/369.46	c |   3458570 |     231    28738   129678 |        1   202383     22 |  0.000 % |
369.37/369.46	c |   3475558 |     231    28738   129678 |        1   219371     23 |  0.000 % |
369.37/369.46	c |   3509925 |     231    28738   129678 |        1   253738     23 |  0.000 % |
369.37/369.46	c |   3510026 |     231    28738   129678 |        1   253839     23 |  0.000 % |
369.37/369.46	c |   3510129 |     231    28738   129678 |        1   253942     23 |  0.000 % |
369.37/369.46	c |   3536217 |     231    28738   129678 |        1   148635     21 |  0.000 % |
369.37/369.46	c |   3536317 |     231    28738   129678 |        1   148735     21 |  0.000 % |
369.37/369.46	c |   3623760 |     231    28738   129678 |        1   236178     23 |  0.000 % |
369.37/369.46	c |   3632280 |     231    28738   129678 |        1   244698     23 |  0.000 % |
369.37/369.46	c |   3632391 |     231    28738   129678 |        1   244809     23 |  0.000 % |
369.37/369.46	c |   3774496 |     231    28738   129678 |        1   252912     22 |  0.000 % |
369.37/369.46	c |   3777159 |     231    28738   129678 |        1   255575     22 |  0.000 % |
369.37/369.46	c |   3777413 |     231    28738   129678 |        1   255829     22 |  0.000 % |
369.37/369.46	c |   3779824 |     231    28738   129678 |        1   258240     22 |  0.000 % |
369.37/369.46	c |   3807236 |     231    28738   129678 |        1   149053     20 |  0.000 % |
369.37/369.46	c |   3807338 |     231    28738   129678 |        1   149155     20 |  0.000 % |
369.37/369.46	c |   3808561 |     231    28738   129678 |        1   150378     21 |  0.000 % |
369.37/369.46	c |   3808663 |     231    28738   129678 |        1   150480     21 |  0.000 % |
369.37/369.46	c |   3808764 |     231    28738   129678 |        1   150581     21 |  0.000 % |
369.37/369.46	c |   3813192 |     231    28738   129678 |        1   155009     21 |  0.000 % |
369.37/369.46	c |   3814742 |     231    28738   129678 |        1   156559     21 |  0.000 % |
369.37/369.46	c |   3825179 |     231    28738   129678 |        1   166996     21 |  0.000 % |
369.37/369.46	c |   3825279 |     231    28738   129678 |        1   167096     21 |  0.000 % |
369.37/369.46	c |   3830533 |     231    28738   129678 |        1   172350     21 |  0.000 % |
369.37/369.46	c |   3832987 |     231    28738   129678 |        1   174804     22 |  0.000 % |
369.37/369.46	c |   3880372 |     231    28738   129678 |        1   222189     22 |  0.000 % |
369.37/369.46	c |   3880474 |     231    28738   129678 |        1   222291     22 |  0.000 % |
369.37/369.46	c |   3955456 |     231    28738   129678 |        1   158080     20 |  0.000 % |
369.37/369.46	c |   3955558 |     231    28738   129678 |        1   158182     20 |  0.000 % |
369.37/369.46	c |   3963037 |     231    28738   129678 |        1   165661     21 |  0.000 % |
369.37/369.46	c |   3968495 |     231    28738   129678 |        1   171119     21 |  0.000 % |
369.37/369.46	c |   3973160 |     231    28738   129678 |        1   175784     21 |  0.000 % |
369.37/369.46	c |   3973260 |     231    28738   129678 |        1   175884     21 |  0.000 % |
369.37/369.46	c |   4018411 |     231    28738   129678 |        1   221035     22 |  0.000 % |
369.37/369.46	c |   4025055 |     231    28738   129678 |        1   227679     22 |  0.000 % |
398.58/398.69	c |   4026234 |     231    28738   129678 |        1   228858     22 |  0.000 % |
398.58/398.69	c |   4026336 |     231    28738   129678 |        1   228960     22 |  0.000 % |
398.58/398.69	c |   4027184 |     231    28738   129678 |        1   229808     22 |  0.000 % |
398.58/398.69	c |   4027285 |     231    28738   129678 |        1   229909     22 |  0.000 % |
398.58/398.69	c |   4028699 |     231    28738   129678 |        1   231323     22 |  0.000 % |
398.58/398.69	c |   4030701 |     231    28738   129678 |        1   233325     22 |  0.000 % |
398.58/398.69	c |   4030802 |     231    28738   129678 |        1   233426     22 |  0.000 % |
398.58/398.69	c |   4031591 |     231    28738   129678 |        1   234215     22 |  0.000 % |
398.58/398.69	c |   4031757 |     231    28738   129678 |        1   234381     22 |  0.000 % |
398.58/398.69	c |   4032686 |     231    28738   129678 |        1   235310     22 |  0.000 % |
398.58/398.69	c |   4038138 |     231    28738   129678 |        1   240762     23 |  0.000 % |
398.58/398.69	c |   4038238 |     231    28738   129678 |        1   240862     23 |  0.000 % |
398.58/398.69	c |   4038341 |     231    28738   129678 |        1   240965     23 |  0.000 % |
398.58/398.69	c |   4038452 |     231    28738   129678 |        1   241076     23 |  0.000 % |
398.58/398.69	c |   4038552 |     231    28738   129678 |        1   241176     23 |  0.000 % |
398.58/398.69	c |   4038652 |     231    28738   129678 |        1   241276     23 |  0.000 % |
398.58/398.69	c |   4039635 |     231    28738   129678 |        1   242259     23 |  0.000 % |
398.58/398.69	c |   4039735 |     231    28738   129678 |        1   242359     23 |  0.000 % |
398.58/398.69	c |   4039835 |     231    28738   129678 |        1   242459     23 |  0.000 % |
398.58/398.69	c |   4039935 |     231    28738   129678 |        1   242559     23 |  0.000 % |
398.58/398.69	c |   4049839 |     231    28738   129678 |        1   252463     23 |  0.000 % |
398.58/398.69	c |   4049939 |     231    28738   129678 |        1   252563     23 |  0.000 % |
398.58/398.69	c |   4051211 |     231    28738   129678 |        1   253835     23 |  0.000 % |
398.58/398.69	c |   4060071 |     231    28738   129678 |        1   262695     23 |  0.000 % |
398.58/398.69	c |   4061253 |     231    28738   129678 |        1   263877     23 |  0.000 % |
398.58/398.69	c |   4061353 |     231    28738   129678 |        1   263977     23 |  0.000 % |
398.58/398.69	c |   4062449 |     231    28738   129678 |        1   265073     23 |  0.000 % |
398.58/398.69	c |   4067026 |     231    28738   129678 |        1   269650     23 |  0.000 % |
398.58/398.69	c |   4070875 |     231    28738   129678 |        1   273499     23 |  0.000 % |
398.58/398.69	c |   4071604 |     231    28738   129678 |        1   274228     23 |  0.000 % |
398.58/398.69	c |   4071706 |     231    28738   129678 |        1   274330     23 |  0.000 % |
398.58/398.69	c |   4071808 |     231    28738   129678 |        1   274432     23 |  0.000 % |
398.58/398.69	c |   4139044 |     231    28738   129678 |        1   199862     21 |  0.000 % |
398.58/398.69	c |   4139144 |     231    28738   129678 |        1   199962     21 |  0.000 % |
398.58/398.69	c |   4159682 |     231    28738   129678 |        1   220500     22 |  0.000 % |
398.58/398.69	c |   4161902 |     231    28738   129678 |        1   222720     22 |  0.000 % |
398.58/398.69	c |   4162735 |     231    28738   129678 |        1   223553     22 |  0.000 % |
398.58/398.69	c |   4164076 |     231    28738   129678 |        1   224894     22 |  0.000 % |
398.58/398.69	c |   4249459 |     231    28738   129678 |        1   165874     20 |  0.000 % |
398.58/398.69	c |   4249561 |     231    28738   129678 |        1   165976     20 |  0.000 % |
398.58/398.69	c |   4250407 |     231    28738   129678 |        1   166822     20 |  0.000 % |
398.58/398.69	c |   4250509 |     231    28738   129678 |        1   166924     20 |  0.000 % |
398.58/398.69	c |   4254884 |     231    28738   129678 |        1   171299     21 |  0.000 % |
398.58/398.69	c |   4255270 |     231    28738   129678 |        1   171685     21 |  0.000 % |
398.58/398.69	c |   4273843 |     231    28738   129678 |        1   190258     21 |  0.000 % |
398.58/398.69	c |   4275304 |     231    28738   129678 |        1   191719     21 |  0.000 % |
398.58/398.69	c |   4277398 |     231    28738   129678 |        1   193813     21 |  0.000 % |
398.58/398.69	c |   4286435 |     231    28738   129678 |        1   202850     22 |  0.000 % |
398.58/398.69	c |   4286537 |     231    28738   129678 |        1   202952     22 |  0.000 % |
398.58/398.69	c |   4287038 |     231    28738   129678 |        1   203453     22 |  0.000 % |
446.48/446.52	c |   4289854 |     231    28738   129678 |        1   206269     22 |  0.000 % |
446.48/446.52	c |   4340418 |     231    28738   129678 |        1   256833     22 |  0.000 % |
446.48/446.52	c |   4340564 |     231    28738   129678 |        1   256979     22 |  0.000 % |
446.48/446.52	c |   4342392 |     231    28738   129678 |        1   258807     22 |  0.000 % |
446.48/446.52	c |   4361702 |     231    28738   129678 |        1   278117     23 |  0.000 % |
446.48/446.52	c |   4361802 |     231    28738   129678 |        1   278217     23 |  0.000 % |
446.48/446.52	c |   4361903 |     231    28738   129678 |        1   278318     23 |  0.000 % |
446.48/446.52	c |   4365808 |     231    28738   129678 |        1   282223     23 |  0.000 % |
446.48/446.52	c |   4435177 |     231    28738   129678 |        1   204591     21 |  0.000 % |
446.48/446.52	c |   4435277 |     231    28738   129678 |        1   204691     21 |  0.000 % |
446.48/446.52	c |   4439571 |     231    28738   129678 |        1   208985     22 |  0.000 % |
446.48/446.52	c |   4439673 |     231    28738   129678 |        1   209087     22 |  0.000 % |
446.48/446.52	c |   4439774 |     231    28738   129678 |        1   209188     22 |  0.000 % |
446.48/446.52	c |   4440851 |     231    28738   129678 |        1   210265     22 |  0.000 % |
446.48/446.52	c |   4467213 |     231    28738   129678 |        1   236627     22 |  0.000 % |
446.48/446.52	c |   4467313 |     231    28738   129678 |        1   236727     22 |  0.000 % |
446.48/446.52	c |   4467413 |     231    28738   129678 |        1   236827     22 |  0.000 % |
446.48/446.52	c |   4467806 |     231    28738   129678 |        1   237220     22 |  0.000 % |
446.48/446.52	c |   4468009 |     231    28738   129678 |        1   237423     22 |  0.000 % |
446.48/446.52	c |   4496422 |     231    28738   129678 |        1   265836     22 |  0.000 % |
446.48/446.52	c |   4616151 |     231    28738   129678 |        1   235964     21 |  0.000 % |
446.48/446.52	c |   4616251 |     231    28738   129678 |        1   236064     21 |  0.000 % |
446.48/446.52	c |   4617159 |     231    28738   129678 |        1   236972     21 |  0.000 % |
446.48/446.52	c |   4617259 |     231    28738   129678 |        1   237072     21 |  0.000 % |
446.48/446.52	c |   4617936 |     231    28738   129678 |        1   237749     21 |  0.000 % |
446.48/446.52	c |   4625858 |     231    28738   129678 |        1   245671     21 |  0.000 % |
446.48/446.52	c |   4625962 |     231    28738   129678 |        1   245775     21 |  0.000 % |
446.48/446.52	c |   4626860 |     231    28738   129678 |        1   246673     21 |  0.000 % |
446.48/446.52	c |   4631686 |     231    28738   129678 |        1   251499     22 |  0.000 % |
446.48/446.52	c |   4632818 |     231    28738   129678 |        1   252631     22 |  0.000 % |
446.48/446.52	c |   4633002 |     231    28738   129678 |        1   252815     22 |  0.000 % |
446.48/446.52	c |   4633105 |     231    28738   129678 |        1   252918     22 |  0.000 % |
446.48/446.52	c |   4633261 |     231    28738   129678 |        1   253074     22 |  0.000 % |
446.48/446.52	c |   4633362 |     231    28738   129678 |        1   253175     22 |  0.000 % |
446.48/446.52	c |   4635430 |     231    28738   129678 |        1   255243     22 |  0.000 % |
446.48/446.52	c |   4636631 |     231    28738   129678 |        1   256444     22 |  0.000 % |
446.48/446.52	c |   4648567 |     231    28738   129678 |        1   268380     22 |  0.000 % |
446.48/446.52	c |   4648932 |     231    28738   129678 |        1   268745     22 |  0.000 % |
446.48/446.52	c |   4662508 |     231    28738   129678 |        1   282321     22 |  0.000 % |
446.48/446.52	c |   4662863 |     231    28738   129678 |        1   282676     22 |  0.000 % |
446.48/446.52	c |   4663663 |     231    28738   129678 |        1   283476     22 |  0.000 % |
446.48/446.52	c |   4666280 |     231    28738   129678 |        1   286093     22 |  0.000 % |
446.48/446.52	c |   4669523 |     231    28738   129678 |        1   289336     22 |  0.000 % |
446.48/446.52	c |   4670193 |     231    28738   129678 |        1   290006     22 |  0.000 % |
446.48/446.52	c |   4670293 |     231    28738   129678 |        1   290106     22 |  0.000 % |
446.48/446.52	c |   4685561 |     231    28738   129678 |        1   153177     20 |  0.000 % |
446.48/446.52	c |   4686507 |     231    28738   129678 |        1   154123     20 |  0.000 % |
446.48/446.52	c |   4688543 |     231    28738   129678 |        1   156159     20 |  0.000 % |
446.48/446.52	c |   4689699 |     231    28738   129678 |        1   157315     20 |  0.000 % |
478.68/478.70	c |   4696339 |     231    28738   129678 |        1   163955     20 |  0.000 % |
478.68/478.70	c |   4701968 |     231    28738   129678 |        1   169584     20 |  0.000 % |
478.68/478.70	c |   4720988 |     231    28738   129678 |        1   188604     21 |  0.000 % |
478.68/478.70	c |   4723295 |     231    28738   129678 |        1   190911     21 |  0.000 % |
478.68/478.70	c |   4743572 |     231    28738   129678 |        1   211188     21 |  0.000 % |
478.68/478.70	c |   4743674 |     231    28738   129678 |        1   211290     21 |  0.000 % |
478.68/478.70	c |   4746414 |     231    28738   129678 |        1   214030     21 |  0.000 % |
478.68/478.70	c |   4751003 |     231    28738   129678 |        1   218619     21 |  0.000 % |
478.68/478.70	c |   4751204 |     231    28738   129678 |        1   218820     21 |  0.000 % |
478.68/478.70	c |   4751304 |     231    28738   129678 |        1   218920     21 |  0.000 % |
478.68/478.70	c |   4775441 |     231    28738   129678 |        1   243057     22 |  0.000 % |
478.68/478.70	c |   4775541 |     231    28738   129678 |        1   243157     22 |  0.000 % |
478.68/478.70	c |   4779812 |     231    28738   129678 |        1   247428     22 |  0.000 % |
478.68/478.70	c |   4779912 |     231    28738   129678 |        1   247528     22 |  0.000 % |
478.68/478.70	c |   4781044 |     231    28738   129678 |        1   248660     22 |  0.000 % |
478.68/478.70	c |   4783946 |     231    28738   129678 |        1   251562     22 |  0.000 % |
478.68/478.70	c |   4784047 |     231    28738   129678 |        1   251663     22 |  0.000 % |
478.68/478.70	c |   4787692 |     231    28738   129678 |        1   255308     22 |  0.000 % |
478.68/478.70	c |   4787844 |     231    28738   129678 |        1   255460     22 |  0.000 % |
478.68/478.70	c |   4788495 |     231    28738   129678 |        1   256111     22 |  0.000 % |
478.68/478.70	c |   4789935 |     231    28738   129678 |        1   257551     22 |  0.000 % |
478.68/478.70	c |   4799067 |     231    28738   129678 |        1   266683     22 |  0.000 % |
478.68/478.70	c |   4807005 |     231    28738   129678 |        1   274621     22 |  0.000 % |
478.68/478.70	c |   4812974 |     231    28738   129678 |        1   280590     22 |  0.000 % |
478.68/478.70	c |   4813075 |     231    28738   129678 |        1   280691     22 |  0.000 % |
478.68/478.70	c |   4814218 |     231    28738   129678 |        1   281834     22 |  0.000 % |
478.68/478.70	c |   4814321 |     231    28738   129678 |        1   281937     22 |  0.000 % |
478.68/478.70	c |   4815728 |     231    28738   129678 |        1   283344     22 |  0.000 % |
478.68/478.70	c |   4822033 |     231    28738   129678 |        1   289649     22 |  0.000 % |
478.68/478.70	c |   4822711 |     231    28738   129678 |        1   290327     22 |  0.000 % |
478.68/478.70	c |   4823232 |     231    28738   129678 |        1   290848     23 |  0.000 % |
478.68/478.70	c |   4827235 |     231    28738   129678 |        1   294851     23 |  0.000 % |
478.68/478.70	c |   4828038 |     231    28738   129678 |        1   295654     23 |  0.000 % |
478.68/478.70	c |   4832239 |     231    28738   129678 |        1   299855     23 |  0.000 % |
478.68/478.70	c |   4833711 |     231    28738   129678 |        1   301327     23 |  0.000 % |
478.68/478.70	c |   4833928 |     231    28738   129678 |        1   301544     23 |  0.000 % |
478.68/478.70	c |   4869719 |     231    28738   129678 |        1   182536     21 |  0.000 % |
478.68/478.70	c |   4873585 |     231    28738   129678 |        1   186402     21 |  0.000 % |
478.68/478.70	c |   4877118 |     231    28738   129678 |        1   189935     21 |  0.000 % |
478.68/478.70	c |   4884379 |     231    28738   129678 |        1   197196     21 |  0.000 % |
478.68/478.70	c |   4885126 |     231    28738   129678 |        1   197943     21 |  0.000 % |
478.68/478.70	c |   4893320 |     231    28738   129678 |        1   206137     21 |  0.000 % |
478.68/478.70	c |   4935168 |     231    28738   129678 |        1   247985     22 |  0.000 % |
478.68/478.70	c |   4937872 |     231    28738   129678 |        1   250689     22 |  0.000 % |
478.68/478.70	c |   4938450 |     231    28738   129678 |        1   251267     22 |  0.000 % |
478.68/478.70	c |   4950507 |     231    28738   129678 |        1   263324     22 |  0.000 % |
478.68/478.70	c |   4950610 |     231    28738   129678 |        1   263427     22 |  0.000 % |
478.68/478.70	c |   4951510 |     231    28738   129678 |        1   264327     22 |  0.000 % |
478.68/478.70	c |   4952198 |     231    28738   129678 |        1   265015     22 |  0.000 % |
478.68/478.70	c |   4958930 |     231    28738   129678 |        1   271747     22 |  0.000 % |
521.48/521.58	c |   4966400 |     231    28738   129678 |        1   279217     22 |  0.000 % |
521.48/521.58	c |   4970187 |     231    28738   129678 |        1   283004     22 |  0.000 % |
521.48/521.58	c |   4970808 |     231    28738   129678 |        1   283625     22 |  0.000 % |
521.48/521.58	c |   4982907 |     231    28738   129678 |        1   295724     22 |  0.000 % |
521.48/521.58	c |   4983008 |     231    28738   129678 |        1   295825     22 |  0.000 % |
521.48/521.58	c |   4983492 |     231    28738   129678 |        1   296309     22 |  0.000 % |
521.48/521.58	c |   4983704 |     231    28738   129678 |        1   296521     22 |  0.000 % |
521.48/521.58	c |   4983804 |     231    28738   129678 |        1   296621     22 |  0.000 % |
521.48/521.58	c |   4983906 |     231    28738   129678 |        1   296723     22 |  0.000 % |
521.48/521.58	c |   4986546 |     231    28738   129678 |        1   299363     23 |  0.000 % |
521.48/521.58	c |   5015104 |     231    28738   129678 |        1   170523     20 |  0.000 % |
521.48/521.58	c |   5015449 |     231    28738   129678 |        1   170868     20 |  0.000 % |
521.48/521.58	c |   5016685 |     231    28738   129678 |        1   172104     20 |  0.000 % |
521.48/521.58	c |   5020620 |     231    28738   129678 |        1   176039     20 |  0.000 % |
521.48/521.58	c |   5020720 |     231    28738   129678 |        1   176139     20 |  0.000 % |
521.48/521.58	c |   5033305 |     231    28738   129678 |        1   188724     21 |  0.000 % |
521.48/521.58	c |   5033406 |     231    28738   129678 |        1   188825     21 |  0.000 % |
521.48/521.58	c |   5041119 |     231    28738   129678 |        1   196538     21 |  0.000 % |
521.48/521.58	c |   5041219 |     231    28738   129678 |        1   196638     21 |  0.000 % |
521.48/521.58	c |   5041319 |     231    28738   129678 |        1   196738     21 |  0.000 % |
521.48/521.58	c |   5051926 |     231    28738   129678 |        1   207345     21 |  0.000 % |
521.48/521.58	c |   5055506 |     231    28738   129678 |        1   210925     21 |  0.000 % |
521.48/521.58	c |   5055609 |     231    28738   129678 |        1   211028     21 |  0.000 % |
521.48/521.58	c |   5058861 |     231    28738   129678 |        1   214280     21 |  0.000 % |
521.48/521.58	c |   5059243 |     231    28738   129678 |        1   214662     21 |  0.000 % |
521.48/521.58	c |   5061961 |     231    28738   129678 |        1   217380     21 |  0.000 % |
521.48/521.58	c |   5062062 |     231    28738   129678 |        1   217481     21 |  0.000 % |
521.48/521.58	c |   5069174 |     231    28738   129678 |        1   224593     22 |  0.000 % |
521.48/521.58	c |   5069344 |     231    28738   129678 |        1   224763     22 |  0.000 % |
521.48/521.58	c |   5070975 |     231    28738   129678 |        1   226394     22 |  0.000 % |
521.48/521.58	c |   5071078 |     231    28738   129678 |        1   226497     22 |  0.000 % |
521.48/521.58	c |   5098066 |     231    28738   129678 |        1   253485     22 |  0.000 % |
521.48/521.58	c |   5120796 |     231    28738   129678 |        1   276215     22 |  0.000 % |
521.48/521.58	c |   5131653 |     231    28738   129678 |        1   287072     22 |  0.000 % |
521.48/521.58	c |   5131753 |     231    28738   129678 |        1   287172     22 |  0.000 % |
521.48/521.58	c |   5135730 |     231    28738   129678 |        1   291149     22 |  0.000 % |
521.48/521.58	c |   5187239 |     231    28738   129678 |        1   182657     21 |  0.000 % |
521.48/521.58	c |   5187339 |     231    28738   129678 |        1   182757     21 |  0.000 % |
521.48/521.58	c |   5207581 |     231    28738   129678 |        1   202999     21 |  0.000 % |
521.48/521.58	c |   5250091 |     231    28738   129678 |        1   245509     22 |  0.000 % |
521.48/521.58	c |   5251419 |     231    28738   129678 |        1   246837     22 |  0.000 % |
521.48/521.58	c |   5256777 |     231    28738   129678 |        1   252195     22 |  0.000 % |
521.48/521.58	c |   5260079 |     231    28738   129678 |        1   255497     22 |  0.000 % |
521.48/521.58	c |   5278355 |     231    28738   129678 |        1   273773     22 |  0.000 % |
521.48/521.58	c |   5279585 |     231    28738   129678 |        1   275003     22 |  0.000 % |
521.48/521.58	c |   5283054 |     231    28738   129678 |        1   278472     22 |  0.000 % |
521.48/521.58	c |   5305207 |     231    28738   129678 |        1   300625     22 |  0.000 % |
521.48/521.58	c |   5305720 |     231    28738   129678 |        1   301138     22 |  0.000 % |
521.48/521.58	c |   5314466 |     231    28738   129678 |        1   309884     23 |  0.000 % |
521.48/521.58	c |   5320400 |     231    28738   129678 |        1   315818     23 |  0.000 % |
570.38/570.41	c |   5335332 |     231    28738   129678 |        1   168153     20 |  0.000 % |
570.38/570.41	c |   5340184 |     231    28738   129678 |        1   173005     20 |  0.000 % |
570.38/570.41	c |   5380704 |     231    28738   129678 |        1   213525     21 |  0.000 % |
570.38/570.41	c |   5389492 |     231    28738   129678 |        1   222313     22 |  0.000 % |
570.38/570.41	c |   5389594 |     231    28738   129678 |        1   222415     22 |  0.000 % |
570.38/570.41	c |   5389696 |     231    28738   129678 |        1   222517     22 |  0.000 % |
570.38/570.41	c |   5391185 |     231    28738   129678 |        1   224006     22 |  0.000 % |
570.38/570.41	c |   5391420 |     231    28738   129678 |        1   224241     22 |  0.000 % |
570.38/570.41	c |   5398565 |     231    28738   129678 |        1   231386     22 |  0.000 % |
570.38/570.41	c |   5398665 |     231    28738   129678 |        1   231486     22 |  0.000 % |
570.38/570.41	c |   5410303 |     231    28738   129678 |        1   243124     22 |  0.000 % |
570.38/570.41	c |   5419559 |     231    28738   129678 |        1   252380     22 |  0.000 % |
570.38/570.41	c |   5420000 |     231    28738   129678 |        1   252821     22 |  0.000 % |
570.38/570.41	c |   5439433 |     231    28738   129678 |        1   272254     23 |  0.000 % |
570.38/570.41	c |   5454356 |     231    28738   129678 |        1   287177     23 |  0.000 % |
570.38/570.41	c |   5469455 |     231    28738   129678 |        1   302276     23 |  0.000 % |
570.38/570.41	c |   5469974 |     231    28738   129678 |        1   302795     23 |  0.000 % |
570.38/570.41	c |   5474948 |     231    28738   129678 |        1   307769     23 |  0.000 % |
570.38/570.41	c |   5476822 |     231    28738   129678 |        1   309643     23 |  0.000 % |
570.38/570.41	c |   5477192 |     231    28738   129678 |        1   310013     23 |  0.000 % |
570.38/570.41	c |   5510724 |     231    28738   129678 |        1   178343     20 |  0.000 % |
570.38/570.41	c |   5513534 |     231    28738   129678 |        1   181153     20 |  0.000 % |
570.38/570.41	c |   5513744 |     231    28738   129678 |        1   181363     20 |  0.000 % |
570.38/570.41	c |   5516104 |     231    28738   129678 |        1   183723     20 |  0.000 % |
570.38/570.41	c |   5518179 |     231    28738   129678 |        1   185798     21 |  0.000 % |
570.38/570.41	c |   5519951 |     231    28738   129678 |        1   187570     21 |  0.000 % |
570.38/570.41	c |   5520255 |     231    28738   129678 |        1   187874     21 |  0.000 % |
570.38/570.41	c |   5522115 |     231    28738   129678 |        1   189734     21 |  0.000 % |
570.38/570.41	c |   5522215 |     231    28738   129678 |        1   189834     21 |  0.000 % |
570.38/570.41	c |   5523509 |     231    28738   129678 |        1   191128     21 |  0.000 % |
570.38/570.41	c |   5523801 |     231    28738   129678 |        1   191420     21 |  0.000 % |
570.38/570.41	c |   5524617 |     231    28738   129678 |        1   192236     21 |  0.000 % |
570.38/570.41	c |   5524780 |     231    28738   129678 |        1   192399     21 |  0.000 % |
570.38/570.41	c |   5525272 |     231    28738   129678 |        1   192891     21 |  0.000 % |
570.38/570.41	c |   5525956 |     231    28738   129678 |        1   193575     21 |  0.000 % |
570.38/570.41	c |   5594539 |     231    28738   129678 |        1   262158     22 |  0.000 % |
570.38/570.41	c |   5595546 |     231    28738   129678 |        1   263165     22 |  0.000 % |
570.38/570.41	c |   5679561 |     231    28738   129678 |        1   179385     20 |  0.000 % |
570.38/570.41	c |   5679739 |     231    28738   129678 |        1   179563     20 |  0.000 % |
570.38/570.41	c |   5690015 |     231    28738   129678 |        1   189839     20 |  0.000 % |
570.38/570.41	c |   5693240 |     231    28738   129678 |        1   193064     20 |  0.000 % |
570.38/570.41	c |   5708003 |     231    28738   129678 |        1   207827     21 |  0.000 % |
570.38/570.41	c |   5711540 |     231    28738   129678 |        1   211364     21 |  0.000 % |
570.38/570.41	c |   5712143 |     231    28738   129678 |        1   211967     21 |  0.000 % |
570.38/570.41	c |   5712244 |     231    28738   129678 |        1   212068     21 |  0.000 % |
570.38/570.41	c |   5717149 |     231    28738   129678 |        1   216973     21 |  0.000 % |
570.38/570.41	c |   5717252 |     231    28738   129678 |        1   217076     21 |  0.000 % |
570.38/570.41	c |   5717821 |     231    28738   129678 |        1   217645     21 |  0.000 % |
570.38/570.41	c |   5719443 |     231    28738   129678 |        1   219267     21 |  0.000 % |
570.38/570.41	c |   5720097 |     231    28738   129678 |        1   219921     21 |  0.000 % |
608.48/608.58	c |   5720199 |     231    28738   129678 |        1   220023     21 |  0.000 % |
608.48/608.58	c |   5720299 |     231    28738   129678 |        1   220123     21 |  0.000 % |
608.48/608.58	c |   5721272 |     231    28738   129678 |        1   221096     21 |  0.000 % |
608.48/608.58	c |   5721596 |     231    28738   129678 |        1   221420     21 |  0.000 % |
608.48/608.58	c |   5721696 |     231    28738   129678 |        1   221520     21 |  0.000 % |
608.48/608.58	c |   5722118 |     231    28738   129678 |        1   221942     21 |  0.000 % |
608.48/608.58	c |   5722312 |     231    28738   129678 |        1   222136     21 |  0.000 % |
608.48/608.58	c |   5722508 |     231    28738   129678 |        1   222332     21 |  0.000 % |
608.48/608.58	c |   5722968 |     231    28738   129678 |        1   222792     21 |  0.000 % |
608.48/608.58	c |   5724641 |     231    28738   129678 |        1   224465     21 |  0.000 % |
608.48/608.58	c |   5724844 |     231    28738   129678 |        1   224668     21 |  0.000 % |
608.48/608.58	c |   5734982 |     231    28738   129678 |        1   234806     22 |  0.000 % |
608.48/608.58	c |   5738747 |     231    28738   129678 |        1   238571     22 |  0.000 % |
608.48/608.58	c |   5766413 |     231    28738   129678 |        1   266237     22 |  0.000 % |
608.48/608.58	c |   5766553 |     231    28738   129678 |        1   266377     22 |  0.000 % |
608.48/608.58	c |   5771746 |     231    28738   129678 |        1   271570     22 |  0.000 % |
608.48/608.58	c |   5771962 |     231    28738   129678 |        1   271786     22 |  0.000 % |
608.48/608.58	c |   5772062 |     231    28738   129678 |        1   271886     22 |  0.000 % |
608.48/608.58	c |   5772163 |     231    28738   129678 |        1   271987     22 |  0.000 % |
608.48/608.58	c |   5772936 |     231    28738   129678 |        1   272760     22 |  0.000 % |
608.48/608.58	c |   5773036 |     231    28738   129678 |        1   272860     22 |  0.000 % |
608.48/608.58	c |   5773136 |     231    28738   129678 |        1   272960     22 |  0.000 % |
608.48/608.58	c |   5773236 |     231    28738   129678 |        1   273060     22 |  0.000 % |
608.48/608.58	c |   5787427 |     231    28738   129678 |        1   287251     23 |  0.000 % |
608.48/608.58	c |   5787527 |     231    28738   129678 |        1   287351     23 |  0.000 % |
608.48/608.58	c |   5788398 |     231    28738   129678 |        1   288222     23 |  0.000 % |
608.48/608.58	c |   5793513 |     231    28738   129678 |        1   293337     23 |  0.000 % |
608.48/608.58	c |   5797065 |     231    28738   129678 |        1   296889     23 |  0.000 % |
608.48/608.58	c |   5808015 |     231    28738   129678 |        1   307839     23 |  0.000 % |
608.48/608.58	c |   5823317 |     231    28738   129678 |        1   323141     23 |  0.000 % |
608.48/608.58	c |   5825570 |     231    28738   129678 |        1   325394     23 |  0.000 % |
608.48/608.58	c |   5825677 |     231    28738   129678 |        1   325501     23 |  0.000 % |
608.48/608.58	c |   5827478 |     231    28738   129678 |        1   327302     23 |  0.000 % |
608.48/608.58	c |   5828623 |     231    28738   129678 |        1   328447     23 |  0.000 % |
608.48/608.58	c |   5828956 |     231    28738   129678 |        1   328780     23 |  0.000 % |
608.48/608.58	c |   5880932 |     231    28738   129678 |        1   210353     21 |  0.000 % |
608.48/608.58	c |   5888512 |     231    28738   129678 |        1   217933     21 |  0.000 % |
608.48/608.58	c |   5893787 |     231    28738   129678 |        1   223208     21 |  0.000 % |
608.48/608.58	c |   5909038 |     231    28738   129678 |        1   238459     21 |  0.000 % |
608.48/608.58	c |   5910625 |     231    28738   129678 |        1   240046     21 |  0.000 % |
608.48/608.58	c |   5916718 |     231    28738   129678 |        1   246139     21 |  0.000 % |
608.48/608.58	c |   5920602 |     231    28738   129678 |        1   250023     22 |  0.000 % |
608.48/608.58	c |   5924397 |     231    28738   129678 |        1   253818     22 |  0.000 % |
608.48/608.58	c |   5925930 |     231    28738   129678 |        1   255351     22 |  0.000 % |
608.48/608.58	c |   5926222 |     231    28738   129678 |        1   255643     22 |  0.000 % |
608.48/608.58	c |   5926407 |     231    28738   129678 |        1   255828     22 |  0.000 % |
608.48/608.58	c |   5975988 |     231    28738   129678 |        1   305409     22 |  0.000 % |
608.48/608.58	c |   6014211 |     231    28738   129678 |        1   343632     23 |  0.000 % |
608.48/608.58	c |   6015887 |     231    28738   129678 |        1   345308     23 |  0.000 % |
608.48/608.58	c |   6020912 |     231    28738   129678 |        1   177334     20 |  0.000 % |
646.58/646.66	c |   6021482 |     231    28738   129678 |        1   177904     20 |  0.000 % |
646.58/646.66	c |   6021599 |     231    28738   129678 |        1   178021     20 |  0.000 % |
646.58/646.66	c |   6021702 |     231    28738   129678 |        1   178124     20 |  0.000 % |
646.58/646.66	c |   6022597 |     231    28738   129678 |        1   179019     20 |  0.000 % |
646.58/646.66	c |   6022698 |     231    28738   129678 |        1   179120     20 |  0.000 % |
646.58/646.66	c |   6034900 |     231    28738   129678 |        1   191322     20 |  0.000 % |
646.58/646.66	c |   6035799 |     231    28738   129678 |        1   192221     20 |  0.000 % |
646.58/646.66	c |   6036742 |     231    28738   129678 |        1   193164     20 |  0.000 % |
646.58/646.66	c |   6036842 |     231    28738   129678 |        1   193264     20 |  0.000 % |
646.58/646.66	c |   6042613 |     231    28738   129678 |        1   199035     21 |  0.000 % |
646.58/646.66	c |   6045014 |     231    28738   129678 |        1   201436     21 |  0.000 % |
646.58/646.66	c |   6045115 |     231    28738   129678 |        1   201537     21 |  0.000 % |
646.58/646.66	c |   6045269 |     231    28738   129678 |        1   201691     21 |  0.000 % |
646.58/646.66	c |   6102292 |     231    28738   129678 |        1   258714     22 |  0.000 % |
646.58/646.66	c |   6107993 |     231    28738   129678 |        1   264415     22 |  0.000 % |
646.58/646.66	c |   6111212 |     231    28738   129678 |        1   267634     22 |  0.000 % |
646.58/646.66	c |   6111312 |     231    28738   129678 |        1   267734     22 |  0.000 % |
646.58/646.66	c |   6111412 |     231    28738   129678 |        1   267834     22 |  0.000 % |
646.58/646.66	c |   6111512 |     231    28738   129678 |        1   267934     22 |  0.000 % |
646.58/646.66	c |   6113311 |     231    28738   129678 |        1   269733     22 |  0.000 % |
646.58/646.66	c |   6119137 |     231    28738   129678 |        1   275559     22 |  0.000 % |
646.58/646.66	c |   6125089 |     231    28738   129678 |        1   281511     22 |  0.000 % |
646.58/646.66	c |   6125430 |     231    28738   129678 |        1   281852     22 |  0.000 % |
646.58/646.66	c |   6128637 |     231    28738   129678 |        1   285059     22 |  0.000 % |
646.58/646.66	c |   6128737 |     231    28738   129678 |        1   285159     22 |  0.000 % |
646.58/646.66	c |   6134648 |     231    28738   129678 |        1   291070     22 |  0.000 % |
646.58/646.66	c |   6134918 |     231    28738   129678 |        1   291340     22 |  0.000 % |
646.58/646.66	c |   6149942 |     231    28738   129678 |        1   306364     22 |  0.000 % |
646.58/646.66	c |   6150042 |     231    28738   129678 |        1   306464     22 |  0.000 % |
646.58/646.66	c |   6150142 |     231    28738   129678 |        1   306564     22 |  0.000 % |
646.58/646.66	c |   6150275 |     231    28738   129678 |        1   306697     22 |  0.000 % |
646.58/646.66	c |   6151087 |     231    28738   129678 |        1   307509     22 |  0.000 % |
646.58/646.66	c |   6154108 |     231    28738   129678 |        1   310530     22 |  0.000 % |
646.58/646.66	c |   6161331 |     231    28738   129678 |        1   317753     22 |  0.000 % |
646.58/646.66	c |   6161431 |     231    28738   129678 |        1   317853     22 |  0.000 % |
646.58/646.66	c |   6161535 |     231    28738   129678 |        1   317957     22 |  0.000 % |
646.58/646.66	c |   6217193 |     231    28738   129678 |        1   198011     20 |  0.000 % |
646.58/646.66	c |   6266921 |     231    28738   129678 |        1   247739     21 |  0.000 % |
646.58/646.66	c |   6292850 |     231    28738   129678 |        1   273668     22 |  0.000 % |
646.58/646.66	c |   6296072 |     231    28738   129678 |        1   276890     22 |  0.000 % |
646.58/646.66	c |   6296387 |     231    28738   129678 |        1   277205     22 |  0.000 % |
646.58/646.66	c |   6309238 |     231    28738   129678 |        1   290056     22 |  0.000 % |
646.58/646.66	c |   6331713 |     231    28738   129678 |        1   312531     22 |  0.000 % |
646.58/646.66	c |   6331906 |     231    28738   129678 |        1   312724     22 |  0.000 % |
646.58/646.66	c |   6332021 |     231    28738   129678 |        1   312839     22 |  0.000 % |
646.58/646.66	c |   6336099 |     231    28738   129678 |        1   316917     22 |  0.000 % |
646.58/646.66	c |   6336881 |     231    28738   129678 |        1   317699     22 |  0.000 % |
646.58/646.66	c |   6337254 |     231    28738   129678 |        1   318072     22 |  0.000 % |
646.58/646.66	c |   6337388 |     231    28738   129678 |        1   318206     22 |  0.000 % |
646.58/646.66	c |   6337680 |     231    28738   129678 |        1   318498     22 |  0.000 % |
685.88/685.99	c |   6341926 |     231    28738   129678 |        1   322744     22 |  0.000 % |
685.88/685.99	c |   6343698 |     231    28738   129678 |        1   324516     22 |  0.000 % |
685.88/685.99	c |   6344522 |     231    28738   129678 |        1   325340     22 |  0.000 % |
685.88/685.99	c |   6347168 |     231    28738   129678 |        1   327986     22 |  0.000 % |
685.88/685.99	c |   6348177 |     231    28738   129678 |        1   328995     22 |  0.000 % |
685.88/685.99	c |   6348279 |     231    28738   129678 |        1   329097     22 |  0.000 % |
685.88/685.99	c |   6349623 |     231    28738   129678 |        1   330441     22 |  0.000 % |
685.88/685.99	c |   6349726 |     231    28738   129678 |        1   330544     22 |  0.000 % |
685.88/685.99	c |   6349882 |     231    28738   129678 |        1   330700     22 |  0.000 % |
685.88/685.99	c |   6360322 |     231    28738   129678 |        1   341140     23 |  0.000 % |
685.88/685.99	c |   6360423 |     231    28738   129678 |        1   341241     23 |  0.000 % |
685.88/685.99	c |   6360532 |     231    28738   129678 |        1   341350     23 |  0.000 % |
685.88/685.99	c |   6361162 |     231    28738   129678 |        1   341980     23 |  0.000 % |
685.88/685.99	c |   6363753 |     231    28738   129678 |        1   344571     23 |  0.000 % |
685.88/685.99	c |   6363854 |     231    28738   129678 |        1   344672     23 |  0.000 % |
685.88/685.99	c |   6365278 |     231    28738   129678 |        1   346096     23 |  0.000 % |
685.88/685.99	c |   6365379 |     231    28738   129678 |        1   346197     23 |  0.000 % |
685.88/685.99	c |   6367614 |     231    28738   129678 |        1   348432     23 |  0.000 % |
685.88/685.99	c |   6388220 |     231    28738   129678 |        1   190833     20 |  0.000 % |
685.88/685.99	c |   6388391 |     231    28738   129678 |        1   191004     20 |  0.000 % |
685.88/685.99	c |   6388491 |     231    28738   129678 |        1   191104     20 |  0.000 % |
685.88/685.99	c |   6389281 |     231    28738   129678 |        1   191894     20 |  0.000 % |
685.88/685.99	c |   6389518 |     231    28738   129678 |        1   192131     20 |  0.000 % |
685.88/685.99	c |   6389620 |     231    28738   129678 |        1   192233     20 |  0.000 % |
685.88/685.99	c |   6389755 |     231    28738   129678 |        1   192368     20 |  0.000 % |
685.88/685.99	c |   6453510 |     231    28738   129678 |        1   256123     22 |  0.000 % |
685.88/685.99	c |   6453610 |     231    28738   129678 |        1   256223     22 |  0.000 % |
685.88/685.99	c |   6474491 |     231    28738   129678 |        1   277104     22 |  0.000 % |
685.88/685.99	c |   6474593 |     231    28738   129678 |        1   277206     22 |  0.000 % |
685.88/685.99	c |   6474694 |     231    28738   129678 |        1   277307     22 |  0.000 % |
685.88/685.99	c |   6485580 |     231    28738   129678 |        1   288193     22 |  0.000 % |
685.88/685.99	c |   6485916 |     231    28738   129678 |        1   288529     22 |  0.000 % |
685.88/685.99	c |   6486017 |     231    28738   129678 |        1   288630     22 |  0.000 % |
685.88/685.99	c |   6486359 |     231    28738   129678 |        1   288972     22 |  0.000 % |
685.88/685.99	c |   6486853 |     231    28738   129678 |        1   289466     22 |  0.000 % |
685.88/685.99	c |   6492493 |     231    28738   129678 |        1   295106     22 |  0.000 % |
685.88/685.99	c |   6496386 |     231    28738   129678 |        1   298999     22 |  0.000 % |
685.88/685.99	c |   6498761 |     231    28738   129678 |        1   301374     22 |  0.000 % |
685.88/685.99	c |   6519096 |     231    28738   129678 |        1   321709     22 |  0.000 % |
685.88/685.99	c |   6527413 |     231    28738   129678 |        1   330026     22 |  0.000 % |
685.88/685.99	c |   6615981 |     231    28738   129678 |        1   237792     21 |  0.000 % |
685.88/685.99	c |   6636520 |     231    28738   129678 |        1   258331     21 |  0.000 % |
685.88/685.99	c |   6636620 |     231    28738   129678 |        1   258431     21 |  0.000 % |
685.88/685.99	c |   6636728 |     231    28738   129678 |        1   258539     21 |  0.000 % |
685.88/685.99	c |   6636828 |     231    28738   129678 |        1   258639     21 |  0.000 % |
685.88/685.99	c |   6637177 |     231    28738   129678 |        1   258988     21 |  0.000 % |
685.88/685.99	c |   6637278 |     231    28738   129678 |        1   259089     21 |  0.000 % |
685.88/685.99	c |   6649609 |     231    28738   129678 |        1   271420     21 |  0.000 % |
685.88/685.99	c |   6649709 |     231    28738   129678 |        1   271520     21 |  0.000 % |
685.88/685.99	c |   6649813 |     231    28738   129678 |        1   271624     21 |  0.000 % |
718.39/718.49	c |   6650478 |     231    28738   129678 |        1   272289     21 |  0.000 % |
718.39/718.49	c |   6661446 |     231    28738   129678 |        1   283257     21 |  0.000 % |
718.39/718.49	c |   6669015 |     231    28738   129678 |        1   290826     22 |  0.000 % |
718.39/718.49	c |   6717732 |     231    28738   129678 |        1   339543     22 |  0.000 % |
718.39/718.49	c |   6718192 |     231    28738   129678 |        1   340003     22 |  0.000 % |
718.39/718.49	c |   6724956 |     231    28738   129678 |        1   346767     22 |  0.000 % |
718.39/718.49	c |   6733920 |     231    28738   129678 |        1   355731     22 |  0.000 % |
718.39/718.49	c |   6741104 |     231    28738   129678 |        1   362915     22 |  0.000 % |
718.39/718.49	c |   6783138 |     231    28738   129678 |        1   221556     20 |  0.000 % |
718.39/718.49	c |   6786585 |     231    28738   129678 |        1   225003     21 |  0.000 % |
718.39/718.49	c |   6789130 |     231    28738   129678 |        1   227548     21 |  0.000 % |
718.39/718.49	c |   6789649 |     231    28738   129678 |        1   228067     21 |  0.000 % |
718.39/718.49	c |   6789751 |     231    28738   129678 |        1   228169     21 |  0.000 % |
718.39/718.49	c |   6789851 |     231    28738   129678 |        1   228269     21 |  0.000 % |
718.39/718.49	c |   6793911 |     231    28738   129678 |        1   232329     21 |  0.000 % |
718.39/718.49	c |   6796842 |     231    28738   129678 |        1   235260     21 |  0.000 % |
718.39/718.49	c |   6796943 |     231    28738   129678 |        1   235361     21 |  0.000 % |
718.39/718.49	c |   6797043 |     231    28738   129678 |        1   235461     21 |  0.000 % |
718.39/718.49	c |   6797143 |     231    28738   129678 |        1   235561     21 |  0.000 % |
718.39/718.49	c |   6797329 |     231    28738   129678 |        1   235747     21 |  0.000 % |
718.39/718.49	c |   6797429 |     231    28738   129678 |        1   235847     21 |  0.000 % |
718.39/718.49	c |   6797548 |     231    28738   129678 |        1   235966     21 |  0.000 % |
718.39/718.49	c |   6798814 |     231    28738   129678 |        1   237232     21 |  0.000 % |
718.39/718.49	c |   6799332 |     231    28738   129678 |        1   237750     21 |  0.000 % |
718.39/718.49	c |   6814854 |     231    28738   129678 |        1   253272     21 |  0.000 % |
718.39/718.49	c |   6814957 |     231    28738   129678 |        1   253375     21 |  0.000 % |
718.39/718.49	c |   6818707 |     231    28738   129678 |        1   257125     21 |  0.000 % |
718.39/718.49	c |   6819477 |     231    28738   129678 |        1   257895     21 |  0.000 % |
718.39/718.49	c |   6825464 |     231    28738   129678 |        1   263882     21 |  0.000 % |
718.39/718.49	c |   6825615 |     231    28738   129678 |        1   264033     21 |  0.000 % |
718.39/718.49	c |   6825716 |     231    28738   129678 |        1   264134     22 |  0.000 % |
718.39/718.49	c |   6825816 |     231    28738   129678 |        1   264234     22 |  0.000 % |
718.39/718.49	c |   6833361 |     231    28738   129678 |        1   271779     22 |  0.000 % |
718.39/718.49	c |   6834326 |     231    28738   129678 |        1   272744     22 |  0.000 % |
718.39/718.49	c |   6834427 |     231    28738   129678 |        1   272845     22 |  0.000 % |
718.39/718.49	c |   6834529 |     231    28738   129678 |        1   272947     22 |  0.000 % |
718.39/718.49	c |   6836449 |     231    28738   129678 |        1   274867     22 |  0.000 % |
718.39/718.49	c |   6840733 |     231    28738   129678 |        1   279151     22 |  0.000 % |
718.39/718.49	c |   6844822 |     231    28738   129678 |        1   283240     22 |  0.000 % |
718.39/718.49	c |   6845229 |     231    28738   129678 |        1   283647     22 |  0.000 % |
718.39/718.49	c |   6857154 |     231    28738   129678 |        1   295572     22 |  0.000 % |
718.39/718.49	c |   6859739 |     231    28738   129678 |        1   298157     22 |  0.000 % |
718.39/718.49	c |   6859951 |     231    28738   129678 |        1   298369     22 |  0.000 % |
718.39/718.49	c |   6860052 |     231    28738   129678 |        1   298470     22 |  0.000 % |
718.39/718.49	c |   6860516 |     231    28738   129678 |        1   298934     22 |  0.000 % |
718.39/718.49	c |   6860616 |     231    28738   129678 |        1   299034     22 |  0.000 % |
718.39/718.49	c |   6861098 |     231    28738   129678 |        1   299516     22 |  0.000 % |
718.39/718.49	c |   6863509 |     231    28738   129678 |        1   301927     22 |  0.000 % |
718.39/718.49	c |   6866485 |     231    28738   129678 |        1   304903     22 |  0.000 % |
718.39/718.49	c |   6889598 |     231    28738   129678 |        1   328016     22 |  0.000 % |
804.78/804.85	c |   6938207 |     231    28738   129678 |        1   190628     20 |  0.000 % |
804.78/804.85	c |   6945515 |     231    28738   129678 |        1   197936     20 |  0.000 % |
804.78/804.85	c |   6946910 |     231    28738   129678 |        1   199331     20 |  0.000 % |
804.78/804.85	c |   6956238 |     231    28738   129678 |        1   208659     20 |  0.000 % |
804.78/804.85	c |   6956340 |     231    28738   129678 |        1   208761     20 |  0.000 % |
804.78/804.85	c |   6960303 |     231    28738   129678 |        1   212724     20 |  0.000 % |
804.78/804.85	c |   7000270 |     231    28738   129678 |        1   252691     21 |  0.000 % |
804.78/804.85	c |   7000370 |     231    28738   129678 |        1   252791     21 |  0.000 % |
804.78/804.85	c |   7016787 |     231    28738   129678 |        1   269208     21 |  0.000 % |
804.78/804.85	c |   7018444 |     231    28738   129678 |        1   270865     21 |  0.000 % |
804.78/804.85	c |   7052751 |     231    28738   129678 |        1   305172     22 |  0.000 % |
804.78/804.85	c |   7053432 |     231    28738   129678 |        1   305853     22 |  0.000 % |
804.78/804.85	c |   7054878 |     231    28738   129678 |        1   307299     22 |  0.000 % |
804.78/804.85	c |   7054978 |     231    28738   129678 |        1   307399     22 |  0.000 % |
804.78/804.85	c |   7058142 |     231    28738   129678 |        1   310563     22 |  0.000 % |
804.78/804.85	c |   7060665 |     231    28738   129678 |        1   313086     22 |  0.000 % |
804.78/804.85	c |   7064913 |     231    28738   129678 |        1   317334     22 |  0.000 % |
804.78/804.85	c |   7065831 |     231    28738   129678 |        1   318252     22 |  0.000 % |
804.78/804.85	c |   7066048 |     231    28738   129678 |        1   318469     22 |  0.000 % |
804.78/804.85	c |   7066150 |     231    28738   129678 |        1   318571     22 |  0.000 % |
804.78/804.85	c |   7068899 |     231    28738   129678 |        1   321320     22 |  0.000 % |
804.78/804.85	c |   7069135 |     231    28738   129678 |        1   321556     22 |  0.000 % |
804.78/804.85	c |   7090678 |     231    28738   129678 |        1   343099     22 |  0.000 % |
804.78/804.85	c |   7090780 |     231    28738   129678 |        1   343201     22 |  0.000 % |
804.78/804.85	c |   7115881 |     231    28738   129678 |        1   368302     22 |  0.000 % |
804.78/804.85	c |   7363148 |     231    28738   129678 |        1   235761     20 |  0.000 % |
804.78/804.85	c |   7381447 |     231    28738   129678 |        1   254060     20 |  0.000 % |
804.78/804.85	c |   7382327 |     231    28738   129678 |        1   254940     20 |  0.000 % |
804.78/804.85	c |   7392431 |     231    28738   129678 |        1   265044     20 |  0.000 % |
804.78/804.85	c |   7412612 |     231    28738   129678 |        1   285225     21 |  0.000 % |
804.78/804.85	c |   7412713 |     231    28738   129678 |        1   285326     21 |  0.000 % |
804.78/804.85	c |   7417797 |     231    28738   129678 |        1   290410     21 |  0.000 % |
804.78/804.85	c |   7417899 |     231    28738   129678 |        1   290512     21 |  0.000 % |
804.78/804.85	c |   7420051 |     231    28738   129678 |        1   292664     21 |  0.000 % |
804.78/804.85	c |   7421350 |     231    28738   129678 |        1   293963     21 |  0.000 % |
804.78/804.85	c |   7442220 |     231    28738   129678 |        1   314833     21 |  0.000 % |
804.78/804.85	c |   7446914 |     231    28738   129678 |        1   319527     21 |  0.000 % |
804.78/804.85	c |   7447014 |     231    28738   129678 |        1   319627     21 |  0.000 % |
804.78/804.85	c |   7447311 |     231    28738   129678 |        1   319924     21 |  0.000 % |
804.78/804.85	c |   7467186 |     231    28738   129678 |        1   339799     21 |  0.000 % |
804.78/804.85	c |   7468455 |     231    28738   129678 |        1   341068     21 |  0.000 % |
804.78/804.85	c |   7468557 |     231    28738   129678 |        1   341170     21 |  0.000 % |
804.78/804.85	c |   7468836 |     231    28738   129678 |        1   341449     21 |  0.000 % |
804.78/804.85	c |   7511558 |     231    28738   129678 |        1   384171     22 |  0.000 % |
804.78/804.85	c |   7512625 |     231    28738   129678 |        1   385238     22 |  0.000 % |
804.78/804.85	c |   7513879 |     231    28738   129678 |        1   386492     22 |  0.000 % |
804.78/804.85	c |   7516571 |     231    28738   129678 |        1   195387     19 |  0.000 % |
804.78/804.85	c |   7516673 |     231    28738   129678 |        1   195489     19 |  0.000 % |
804.78/804.85	c |   7517677 |     231    28738   129678 |        1   196493     19 |  0.000 % |
804.78/804.85	c |   7522945 |     231    28738   129678 |        1   201761     20 |  0.000 % |
870.89/870.96	c |   7527196 |     231    28738   129678 |        1   206012     20 |  0.000 % |
870.89/870.96	c |   7527296 |     231    28738   129678 |        1   206112     20 |  0.000 % |
870.89/870.96	c |   7529182 |     231    28738   129678 |        1   207998     20 |  0.000 % |
870.89/870.96	c |   7529569 |     231    28738   129678 |        1   208385     20 |  0.000 % |
870.89/870.96	c |   7529680 |     231    28738   129678 |        1   208496     20 |  0.000 % |
870.89/870.96	c |   7529780 |     231    28738   129678 |        1   208596     20 |  0.000 % |
870.89/870.96	c |   7529882 |     231    28738   129678 |        1   208698     20 |  0.000 % |
870.89/870.96	c |   7532894 |     231    28738   129678 |        1   211710     20 |  0.000 % |
870.89/870.96	c |   7534587 |     231    28738   129678 |        1   213403     20 |  0.000 % |
870.89/870.96	c |   7534785 |     231    28738   129678 |        1   213601     20 |  0.000 % |
870.89/870.96	c |   7534885 |     231    28738   129678 |        1   213701     20 |  0.000 % |
870.89/870.96	c |   7539439 |     231    28738   129678 |        1   218255     20 |  0.000 % |
870.89/870.96	c |   7548023 |     231    28738   129678 |        1   226839     20 |  0.000 % |
870.89/870.96	c |   7558540 |     231    28738   129678 |        1   237356     21 |  0.000 % |
870.89/870.96	c |   7558640 |     231    28738   129678 |        1   237456     21 |  0.000 % |
870.89/870.96	c |   7563267 |     231    28738   129678 |        1   242083     21 |  0.000 % |
870.89/870.96	c |   7563369 |     231    28738   129678 |        1   242185     21 |  0.000 % |
870.89/870.96	c |   7564391 |     231    28738   129678 |        1   243207     21 |  0.000 % |
870.89/870.96	c |   7564492 |     231    28738   129678 |        1   243308     21 |  0.000 % |
870.89/870.96	c |   7564806 |     231    28738   129678 |        1   243622     21 |  0.000 % |
870.89/870.96	c |   7565210 |     231    28738   129678 |        1   244026     21 |  0.000 % |
870.89/870.96	c |   7565312 |     231    28738   129678 |        1   244128     21 |  0.000 % |
870.89/870.96	c |   7655126 |     231    28738   129678 |        1   333942     22 |  0.000 % |
870.89/870.96	c |   7656488 |     231    28738   129678 |        1   335304     22 |  0.000 % |
870.89/870.96	c |   7656785 |     231    28738   129678 |        1   335601     22 |  0.000 % |
870.89/870.96	c |   7656885 |     231    28738   129678 |        1   335701     22 |  0.000 % |
870.89/870.96	c |   7656987 |     231    28738   129678 |        1   335803     22 |  0.000 % |
870.89/870.96	c |   7657984 |     231    28738   129678 |        1   336800     22 |  0.000 % |
870.89/870.96	c |   7721635 |     231    28738   129678 |        1   204054     19 |  0.000 % |
870.89/870.96	c |   7856999 |     231    28738   129678 |        1   339418     21 |  0.000 % |
870.89/870.96	c |   7857989 |     231    28738   129678 |        1   340408     21 |  0.000 % |
870.89/870.96	c |   7858767 |     231    28738   129678 |        1   341186     21 |  0.000 % |
870.89/870.96	c |   7947255 |     231    28738   129678 |        1   230678     20 |  0.000 % |
870.89/870.96	c |   7950416 |     231    28738   129678 |        1   233839     20 |  0.000 % |
870.89/870.96	c |   7953130 |     231    28738   129678 |        1   236553     20 |  0.000 % |
870.89/870.96	c |   7953231 |     231    28738   129678 |        1   236654     20 |  0.000 % |
870.89/870.96	c |   7962933 |     231    28738   129678 |        1   246356     20 |  0.000 % |
870.89/870.96	c |   7976282 |     231    28738   129678 |        1   259705     21 |  0.000 % |
870.89/870.96	c |   7991848 |     231    28738   129678 |        1   275271     21 |  0.000 % |
870.89/870.96	c |   7993534 |     231    28738   129678 |        1   276957     21 |  0.000 % |
870.89/870.96	c |   7995254 |     231    28738   129678 |        1   278677     21 |  0.000 % |
870.89/870.96	c |   7997101 |     231    28738   129678 |        1   280524     21 |  0.000 % |
870.89/870.96	c |   7997202 |     231    28738   129678 |        1   280625     21 |  0.000 % |
870.89/870.96	c |   7999122 |     231    28738   129678 |        1   282545     21 |  0.000 % |
870.89/870.96	c |   7999223 |     231    28738   129678 |        1   282646     21 |  0.000 % |
870.89/870.96	c |   7999323 |     231    28738   129678 |        1   282746     21 |  0.000 % |
870.89/870.96	c |   7999423 |     231    28738   129678 |        1   282846     21 |  0.000 % |
870.89/870.96	c |   8012965 |     231    28738   129678 |        1   296388     22 |  0.000 % |
870.89/870.96	c |   8013065 |     231    28738   129678 |        1   296488     22 |  0.000 % |
870.89/870.96	c |   8013165 |     231    28738   129678 |        1   296588     22 |  0.000 % |
926.49/926.58	c |   8013755 |     231    28738   129678 |        1   297178     22 |  0.000 % |
926.49/926.58	c |   8015658 |     231    28738   129678 |        1   299081     22 |  0.000 % |
926.49/926.58	c |   8060954 |     231    28738   129678 |        1   344377     22 |  0.000 % |
926.49/926.58	c |   8062058 |     231    28738   129678 |        1   345481     22 |  0.000 % |
926.49/926.58	c |   8071405 |     231    28738   129678 |        1   354828     22 |  0.000 % |
926.49/926.58	c |   8080956 |     231    28738   129678 |        1   364379     22 |  0.000 % |
926.49/926.58	c |   8090416 |     231    28738   129678 |        1   373839     23 |  0.000 % |
926.49/926.58	c |   8118354 |     231    28738   129678 |        1   401777     23 |  0.000 % |
926.49/926.58	c |   8156065 |     231    28738   129678 |        1   237885     20 |  0.000 % |
926.49/926.58	c |   8159512 |     231    28738   129678 |        1   241332     20 |  0.000 % |
926.49/926.58	c |   8159843 |     231    28738   129678 |        1   241663     20 |  0.000 % |
926.49/926.58	c |   8159949 |     231    28738   129678 |        1   241769     20 |  0.000 % |
926.49/926.58	c |   8163767 |     231    28738   129678 |        1   245587     20 |  0.000 % |
926.49/926.58	c |   8193232 |     231    28738   129678 |        1   275052     21 |  0.000 % |
926.49/926.58	c |   8193622 |     231    28738   129678 |        1   275442     21 |  0.000 % |
926.49/926.58	c |   8193722 |     231    28738   129678 |        1   275542     21 |  0.000 % |
926.49/926.58	c |   8193822 |     231    28738   129678 |        1   275642     21 |  0.000 % |
926.49/926.58	c |   8193924 |     231    28738   129678 |        1   275744     21 |  0.000 % |
926.49/926.58	c |   8195099 |     231    28738   129678 |        1   276919     21 |  0.000 % |
926.49/926.58	c |   8198719 |     231    28738   129678 |        1   280539     21 |  0.000 % |
926.49/926.58	c |   8198999 |     231    28738   129678 |        1   280819     21 |  0.000 % |
926.49/926.58	c |   8214340 |     231    28738   129678 |        1   296160     21 |  0.000 % |
926.49/926.58	c |   8214821 |     231    28738   129678 |        1   296641     21 |  0.000 % |
926.49/926.58	c |   8215998 |     231    28738   129678 |        1   297818     21 |  0.000 % |
926.49/926.58	c |   8218980 |     231    28738   129678 |        1   300800     21 |  0.000 % |
926.49/926.58	c |   8261394 |     231    28738   129678 |        1   343214     22 |  0.000 % |
926.49/926.58	c |   8262727 |     231    28738   129678 |        1   344547     22 |  0.000 % |
926.49/926.58	c |   8262878 |     231    28738   129678 |        1   344698     22 |  0.000 % |
926.49/926.58	c |   8267212 |     231    28738   129678 |        1   349032     22 |  0.000 % |
926.49/926.58	c |   8271271 |     231    28738   129678 |        1   353091     22 |  0.000 % |
926.49/926.58	c |   8271783 |     231    28738   129678 |        1   353603     22 |  0.000 % |
926.49/926.58	c |   8273464 |     231    28738   129678 |        1   355284     22 |  0.000 % |
926.49/926.58	c |   8276612 |     231    28738   129678 |        1   358432     22 |  0.000 % |
926.49/926.58	c |   8284795 |     231    28738   129678 |        1   366615     22 |  0.000 % |
926.49/926.58	c |   8285105 |     231    28738   129678 |        1   366925     22 |  0.000 % |
926.49/926.58	c |   8353738 |     231    28738   129678 |        1   231357     20 |  0.000 % |
926.49/926.58	c |   8354813 |     231    28738   129678 |        1   232432     20 |  0.000 % |
926.49/926.58	c |   8364721 |     231    28738   129678 |        1   242340     20 |  0.000 % |
926.49/926.58	c |   8367763 |     231    28738   129678 |        1   245382     20 |  0.000 % |
926.49/926.58	c |   8401806 |     231    28738   129678 |        1   279425     21 |  0.000 % |
926.49/926.58	c |   8401908 |     231    28738   129678 |        1   279527     21 |  0.000 % |
926.49/926.58	c |   8405161 |     231    28738   129678 |        1   282780     21 |  0.000 % |
926.49/926.58	c |   8408358 |     231    28738   129678 |        1   285977     21 |  0.000 % |
926.49/926.58	c |   8408458 |     231    28738   129678 |        1   286077     21 |  0.000 % |
926.49/926.58	c |   8408558 |     231    28738   129678 |        1   286177     21 |  0.000 % |
926.49/926.58	c |   8414486 |     231    28738   129678 |        1   292105     21 |  0.000 % |
926.49/926.58	c |   8414586 |     231    28738   129678 |        1   292205     21 |  0.000 % |
926.49/926.58	c |   8414720 |     231    28738   129678 |        1   292339     21 |  0.000 % |
926.49/926.58	c |   8414822 |     231    28738   129678 |        1   292441     21 |  0.000 % |
926.49/926.58	c |   8414924 |     231    28738   129678 |        1   292543     21 |  0.000 % |
958.69/958.75	c |   8420418 |     231    28738   129678 |        1   298037     21 |  0.000 % |
958.69/958.75	c |   8426538 |     231    28738   129678 |        1   304157     21 |  0.000 % |
958.69/958.75	c |   8428024 |     231    28738   129678 |        1   305643     21 |  0.000 % |
958.69/958.75	c |   8428650 |     231    28738   129678 |        1   306269     21 |  0.000 % |
958.69/958.75	c |   8428751 |     231    28738   129678 |        1   306370     21 |  0.000 % |
958.69/958.75	c |   8428851 |     231    28738   129678 |        1   306470     21 |  0.000 % |
958.69/958.75	c |   8428951 |     231    28738   129678 |        1   306570     21 |  0.000 % |
958.69/958.75	c |   8429354 |     231    28738   129678 |        1   306973     21 |  0.000 % |
958.69/958.75	c |   8430194 |     231    28738   129678 |        1   307813     21 |  0.000 % |
958.69/958.75	c |   8430297 |     231    28738   129678 |        1   307916     21 |  0.000 % |
958.69/958.75	c |   8436281 |     231    28738   129678 |        1   313900     22 |  0.000 % |
958.69/958.75	c |   8436382 |     231    28738   129678 |        1   314001     22 |  0.000 % |
958.69/958.75	c |   8437881 |     231    28738   129678 |        1   315500     22 |  0.000 % |
958.69/958.75	c |   8441255 |     231    28738   129678 |        1   318874     22 |  0.000 % |
958.69/958.75	c |   8441600 |     231    28738   129678 |        1   319219     22 |  0.000 % |
958.69/958.75	c |   8445407 |     231    28738   129678 |        1   323026     22 |  0.000 % |
958.69/958.75	c |   8446118 |     231    28738   129678 |        1   323737     22 |  0.000 % |
958.69/958.75	c |   8446218 |     231    28738   129678 |        1   323837     22 |  0.000 % |
958.69/958.75	c |   8446416 |     231    28738   129678 |        1   324035     22 |  0.000 % |
958.69/958.75	c |   8446516 |     231    28738   129678 |        1   324135     22 |  0.000 % |
958.69/958.75	c |   8448479 |     231    28738   129678 |        1   326098     22 |  0.000 % |
958.69/958.75	c |   8456109 |     231    28738   129678 |        1   333728     22 |  0.000 % |
958.69/958.75	c |   8483354 |     231    28738   129678 |        1   360973     22 |  0.000 % |
958.69/958.75	c |   8495782 |     231    28738   129678 |        1   373401     22 |  0.000 % |
958.69/958.75	c |   8497617 |     231    28738   129678 |        1   375236     22 |  0.000 % |
958.69/958.75	c |   8498727 |     231    28738   129678 |        1   376346     22 |  0.000 % |
958.69/958.75	c |   8501682 |     231    28738   129678 |        1   379301     22 |  0.000 % |
958.69/958.75	c |   8519011 |     231    28738   129678 |        1   396630     22 |  0.000 % |
958.69/958.75	c |   8519622 |     231    28738   129678 |        1   397241     22 |  0.000 % |
958.69/958.75	c |   8531773 |     231    28738   129678 |        1   409392     23 |  0.000 % |
958.69/958.75	c |   8535547 |     231    28738   129678 |        1   413166     23 |  0.000 % |
958.69/958.75	c |   8541436 |     231    28738   129678 |        1   212250     20 |  0.000 % |
958.69/958.75	c |   8541536 |     231    28738   129678 |        1   212350     20 |  0.000 % |
958.69/958.75	c |   8560646 |     231    28738   129678 |        1   231460     20 |  0.000 % |
958.69/958.75	c |   8560825 |     231    28738   129678 |        1   231639     20 |  0.000 % |
958.69/958.75	c |   8579583 |     231    28738   129678 |        1   250397     20 |  0.000 % |
958.69/958.75	c |   8589228 |     231    28738   129678 |        1   260042     21 |  0.000 % |
958.69/958.75	c |   8589328 |     231    28738   129678 |        1   260142     21 |  0.000 % |
958.69/958.75	c |   8589487 |     231    28738   129678 |        1   260301     21 |  0.000 % |
958.69/958.75	c |   8598800 |     231    28738   129678 |        1   269614     21 |  0.000 % |
958.69/958.75	c |   8603189 |     231    28738   129678 |        1   274003     21 |  0.000 % |
958.69/958.75	c |   8609640 |     231    28738   129678 |        1   280454     21 |  0.000 % |
958.69/958.75	c |   8614559 |     231    28738   129678 |        1   285373     21 |  0.000 % |
958.69/958.75	c |   8614659 |     231    28738   129678 |        1   285473     21 |  0.000 % |
958.69/958.75	c |   8615713 |     231    28738   129678 |        1   286527     21 |  0.000 % |
958.69/958.75	c |   8615815 |     231    28738   129678 |        1   286629     21 |  0.000 % |
958.69/958.75	c |   8617015 |     231    28738   129678 |        1   287829     21 |  0.000 % |
958.69/958.75	c |   8631543 |     231    28738   129678 |        1   302357     21 |  0.000 % |
958.69/958.75	c |   8636574 |     231    28738   129678 |        1   307388     22 |  0.000 % |
958.69/958.75	c |   8636674 |     231    28738   129678 |        1   307488     22 |  0.000 % |
1010.79/1010.84	c |   8637063 |     231    28738   129678 |        1   307877     22 |  0.000 % |
1010.79/1010.84	c |   8655884 |     231    28738   129678 |        1   326698     22 |  0.000 % |
1010.79/1010.84	c |   8657568 |     231    28738   129678 |        1   328382     22 |  0.000 % |
1010.79/1010.84	c |   8659028 |     231    28738   129678 |        1   329842     22 |  0.000 % |
1010.79/1010.84	c |   8677874 |     231    28738   129678 |        1   348688     22 |  0.000 % |
1010.79/1010.84	c |   8755742 |     231    28738   129678 |        1   217162     20 |  0.000 % |
1010.79/1010.84	c |   8755952 |     231    28738   129678 |        1   217372     20 |  0.000 % |
1010.79/1010.84	c |   8762626 |     231    28738   129678 |        1   224046     20 |  0.000 % |
1010.79/1010.84	c |   8765805 |     231    28738   129678 |        1   227225     20 |  0.000 % |
1010.79/1010.84	c |   8771376 |     231    28738   129678 |        1   232796     20 |  0.000 % |
1010.79/1010.84	c |   8772963 |     231    28738   129678 |        1   234383     20 |  0.000 % |
1010.79/1010.84	c |   8773064 |     231    28738   129678 |        1   234484     20 |  0.000 % |
1010.79/1010.84	c |   8773676 |     231    28738   129678 |        1   235096     20 |  0.000 % |
1010.79/1010.84	c |   8773776 |     231    28738   129678 |        1   235196     20 |  0.000 % |
1010.79/1010.84	c |   8773876 |     231    28738   129678 |        1   235296     20 |  0.000 % |
1010.79/1010.84	c |   8773977 |     231    28738   129678 |        1   235397     20 |  0.000 % |
1010.79/1010.84	c |   8774201 |     231    28738   129678 |        1   235621     20 |  0.000 % |
1010.79/1010.84	c |   8781108 |     231    28738   129678 |        1   242528     20 |  0.000 % |
1010.79/1010.84	c |   8781735 |     231    28738   129678 |        1   243155     20 |  0.000 % |
1010.79/1010.84	c |   8781836 |     231    28738   129678 |        1   243256     20 |  0.000 % |
1010.79/1010.84	c |   8782157 |     231    28738   129678 |        1   243577     20 |  0.000 % |
1010.79/1010.84	c |   8788005 |     231    28738   129678 |        1   249425     20 |  0.000 % |
1010.79/1010.84	c |   8788106 |     231    28738   129678 |        1   249526     20 |  0.000 % |
1010.79/1010.84	c |   8809300 |     231    28738   129678 |        1   270720     21 |  0.000 % |
1010.79/1010.84	c |   8816380 |     231    28738   129678 |        1   277800     21 |  0.000 % |
1010.79/1010.84	c |   8819521 |     231    28738   129678 |        1   280941     21 |  0.000 % |
1010.79/1010.84	c |   8819623 |     231    28738   129678 |        1   281043     21 |  0.000 % |
1010.79/1010.84	c |   8829924 |     231    28738   129678 |        1   291344     21 |  0.000 % |
1010.79/1010.84	c |   8852581 |     231    28738   129678 |        1   314001     21 |  0.000 % |
1010.79/1010.84	c |   8893656 |     231    28738   129678 |        1   355076     22 |  0.000 % |
1010.79/1010.84	c |   8894428 |     231    28738   129678 |        1   355848     22 |  0.000 % |
1010.79/1010.84	c |   8894531 |     231    28738   129678 |        1   355951     22 |  0.000 % |
1010.79/1010.84	c |   8909423 |     231    28738   129678 |        1   370843     22 |  0.000 % |
1010.79/1010.84	c |   8909692 |     231    28738   129678 |        1   371112     22 |  0.000 % |
1010.79/1010.84	c |   8909936 |     231    28738   129678 |        1   371356     22 |  0.000 % |
1010.79/1010.84	c |   8910737 |     231    28738   129678 |        1   372157     22 |  0.000 % |
1010.79/1010.84	c |   8911043 |     231    28738   129678 |        1   372463     22 |  0.000 % |
1010.79/1010.84	c |   8915999 |     231    28738   129678 |        1   377419     22 |  0.000 % |
1010.79/1010.84	c |   8917557 |     231    28738   129678 |        1   378977     22 |  0.000 % |
1010.79/1010.84	c |   8917658 |     231    28738   129678 |        1   379078     22 |  0.000 % |
1010.79/1010.84	c |   8929398 |     231    28738   129678 |        1   390818     22 |  0.000 % |
1010.79/1010.84	c |   8933047 |     231    28738   129678 |        1   394467     22 |  0.000 % |
1010.79/1010.84	c |   8995191 |     231    28738   129678 |        1   244609     20 |  0.000 % |
1010.79/1010.84	c |   8998855 |     231    28738   129678 |        1   248273     20 |  0.006 % |
1010.79/1010.84	c ===============================================================================
1010.79/1010.84	c restarts              : 932
1010.79/1010.84	c nb ReduceDB           : 82
1010.79/1010.84	c nb removed Clauses    : 8750582
1010.79/1010.84	c nb learnts DL2        : 16
1010.79/1010.84	c nb learnts size 2     : 2
1010.79/1010.84	c nb learnts size 1     : 0
1010.79/1010.84	c conflicts             : 8998855        (8907 /sec)
1010.79/1010.84	c decisions             : 10663810       (0.00 % random) (10554 /sec)
1010.79/1010.84	c propagations          : 272457919      (269664 /sec)
1010.79/1010.84	c conflict literals     : 230921007      (47.60 % deleted)
1010.79/1010.84	c nb reduced Clauses    : 2361
1010.79/1010.84	c CPU time              : 1010.36 s
1010.79/1010.84	
1010.79/1010.84	s SATISFIABLE
1010.79/1010.84	v 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 -19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 -37 38 39 40 41 42 43 -44 45 46 47 48 -49 50 51 52 53 54 55 56 -57 58 -59 -60 61 62 63 64 65 -66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 -82 83 84 85 86 87 88 89 90 91 92 -93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 -108 -109 110 -111 112 113 114 115 116 117 -118 -119 120 121 -122 123 124 125 126 127 128 129 130 -131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 -146 -147 148 149 150 151 152 153 154 -155 156 157 158 159 -160 161 162 163 164 165 166 167 168 169 170 -171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 -193 194 195 196 197 198 199 200 201 202 203 -204 205 206 207 208 209 210 211 212 213 214 215 -216 217 218 219 220 -221 -222 223 224 225 226 227 228 229 230 231 0

Verifier Data

OK

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-3262528-1303542355/watcher-3262528-1303542355 -o /tmp/evaluation-result-3262528-1303542355/solver-3262528-1303542355 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262528-1303542355.cnf 

running on 2 cores: 5,7

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: 3.56 3.20 3.19 5/192 24056
/proc/meminfo: memFree=12580648/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 446651149 8912896 252 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 252 211 178 0 69 0

[startup+0.0665939 s]
/proc/loadavg: 3.56 3.20 3.19 5/192 24056
/proc/meminfo: memFree=12580648/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+0.100584 s]
/proc/loadavg: 3.56 3.20 3.19 5/192 24056
/proc/meminfo: memFree=12580648/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+0.300546 s]
/proc/loadavg: 3.56 3.20 3.19 5/192 24056
/proc/meminfo: memFree=12580648/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+0.700467 s]
/proc/loadavg: 3.56 3.20 3.19 5/192 24056
/proc/meminfo: memFree=12580648/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+1.50035 s]
/proc/loadavg: 3.56 3.20 3.19 5/194 24059
/proc/meminfo: memFree=12582500/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=25528 CPUtime=1.45 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 3892 0 0 0 145 0 0 0 25 0 1 0 446651152 26140672 2615 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 6382 2615 249 17 0 3023 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34232

[startup+3.10102 s]
/proc/loadavg: 3.60 3.21 3.19 5/194 24059
/proc/meminfo: memFree=12577664/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=25528 CPUtime=3.05 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 4348 0 0 0 305 0 0 0 25 0 1 0 446651152 26140672 3060 33554432000 4194304 4260849 140736457585296 18446744073709551615 4226291 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 6382 3060 250 17 0 3023 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34232

[startup+6.30038 s]
/proc/loadavg: 3.60 3.21 3.19 5/194 24060
/proc/meminfo: memFree=12567536/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=30152 CPUtime=6.26 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 7112 0 0 0 625 1 0 0 25 0 1 0 446651152 30875648 4265 33554432000 4194304 4260849 140736457585296 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 7538 4265 250 17 0 4179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38856

[startup+12.7011 s]
/proc/loadavg: 3.66 3.24 3.20 5/194 24060
/proc/meminfo: memFree=12560796/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=44472 CPUtime=12.66 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 9866 0 0 0 1265 1 0 0 25 0 1 0 446651152 45539328 5181 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 11118 5181 250 17 0 7759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53176

[startup+25.5006 s]
/proc/loadavg: 3.71 3.26 3.21 5/194 24060
/proc/meminfo: memFree=12546156/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=44472 CPUtime=25.45 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 12405 0 0 0 2544 1 0 0 25 0 1 0 446651152 45539328 7603 33554432000 4194304 4260849 140736457585296 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 11118 7603 250 17 0 7759 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53176

[startup+51.1005 s]
/proc/loadavg: 3.81 3.32 3.23 5/194 24061
/proc/meminfo: memFree=12511884/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=67524 CPUtime=51.06 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 17585 0 0 0 5104 2 0 0 25 0 1 0 446651152 69144576 9622 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 16881 9622 250 17 0 13522 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76228

[startup+102.307 s]
/proc/loadavg: 3.92 3.43 3.27 5/194 24062
/proc/meminfo: memFree=12477760/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=67524 CPUtime=102.26 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 21460 0 0 0 10223 3 0 0 25 0 1 0 446651152 69144576 13325 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 16881 13325 250 17 0 13522 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 76228

[startup+162.3 s]
/proc/loadavg: 3.97 3.53 3.31 5/194 24124
/proc/meminfo: memFree=12516936/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=86380 CPUtime=162.25 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 29792 0 0 0 16221 4 0 0 25 0 1 0 446651152 88453120 16553 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 21595 16553 250 17 0 18236 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 95084

[startup+222.3 s]
/proc/loadavg: 3.99 3.62 3.35 5/194 24125
/proc/meminfo: memFree=12426592/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=98588 CPUtime=222.25 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 33001 0 0 0 22220 5 0 0 25 0 1 0 446651152 100954112 19696 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 24647 19696 250 17 0 21288 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 107292

[startup+282.301 s]
/proc/loadavg: 3.99 3.68 3.39 5/194 24127
/proc/meminfo: memFree=12403136/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=98588 CPUtime=282.25 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 33608 0 0 0 28220 5 0 0 25 0 1 0 446651152 100954112 20280 33554432000 4194304 4260849 140736457585296 18446744073709551615 4209658 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 24647 20280 250 17 0 21288 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 107292

[startup+342.301 s]
/proc/loadavg: 4.03 3.75 3.43 5/194 24129
/proc/meminfo: memFree=12352876/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=98588 CPUtime=342.25 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 34161 0 0 0 34219 6 0 0 25 0 1 0 446651152 100954112 20817 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 24647 20817 250 17 0 21288 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 107292

[startup+402.301 s]
/proc/loadavg: 4.01 3.79 3.46 5/194 24130
/proc/meminfo: memFree=12330536/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7

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


[startup+582.301 s]
/proc/loadavg: 4.01 3.89 3.56 5/194 24135
/proc/meminfo: memFree=12298348/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=166584 CPUtime=582.25 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 113053 0 0 0 58208 17 0 0 25 0 1 0 446651152 170582016 34099 33554432000 4194304 4260849 140736457585296 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 41646 34099 250 17 0 38287 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 175288

[startup+642.301 s]
/proc/loadavg: 4.00 3.91 3.58 5/194 24137
/proc/meminfo: memFree=12321268/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=117264 CPUtime=642.26 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 131789 0 0 0 64206 20 0 0 25 0 1 0 446651152 120078336 26038 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 29316 26038 250 17 0 25957 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 125968

[startup+702.301 s]
/proc/loadavg: 4.00 3.92 3.60 5/194 24138
/proc/meminfo: memFree=12284532/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=117264 CPUtime=702.25 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 159505 0 0 0 70201 24 0 0 25 0 1 0 446651152 120078336 26040 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 29316 26040 250 17 0 25957 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 125968

[startup+762.307 s]
/proc/loadavg: 4.00 3.93 3.63 5/194 24140
/proc/meminfo: memFree=12229692/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=117264 CPUtime=762.26 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 178671 0 0 0 76198 28 0 0 25 0 1 0 446651152 120078336 26040 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 29316 26040 250 17 0 25957 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 125968

[startup+822.3 s]
/proc/loadavg: 4.05 3.96 3.65 5/194 24141
/proc/meminfo: memFree=12181812/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=166584 CPUtime=822.25 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 206008 0 0 0 82193 32 0 0 25 0 1 0 446651152 170582016 34425 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 41646 34425 250 17 0 38287 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 175288

[startup+882.3 s]
/proc/loadavg: 4.02 3.97 3.67 5/194 24143
/proc/meminfo: memFree=12246476/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=166584 CPUtime=882.25 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 227101 0 0 0 88189 36 0 0 25 0 1 0 446651152 170582016 35583 33554432000 4194304 4260849 140736457585296 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 41646 35583 250 17 0 38287 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 175288

[startup+942.3 s]
/proc/loadavg: 4.00 3.97 3.69 5/194 24145
/proc/meminfo: memFree=12191276/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=166584 CPUtime=942.25 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 248442 0 0 0 94186 39 0 0 25 0 1 0 446651152 170582016 35998 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 41646 35998 250 17 0 38287 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 175288

[startup+1002.3 s]
/proc/loadavg: 4.05 3.99 3.71 5/194 24146
/proc/meminfo: memFree=12240240/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=166584 CPUtime=1002.26 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 269781 0 0 0 100182 44 0 0 25 0 1 0 446651152 170582016 36005 33554432000 4194304 4260849 140736457585296 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 41646 36005 250 17 0 38287 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 175288

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

[startup+1004.7 s]
/proc/loadavg: 4.05 3.99 3.71 5/194 24146
/proc/meminfo: memFree=12236768/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=166584 CPUtime=1004.66 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 270274 0 0 0 100422 44 0 0 25 0 1 0 446651152 170582016 36481 33554432000 4194304 4260849 140736457585296 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 41646 36481 250 17 0 38287 0
Current children cumulated CPU time (s) 1004.69
Current children cumulated vsize (KiB) 175288

[startup+1007.9 s]
/proc/loadavg: 4.04 3.99 3.71 5/194 24146
/proc/meminfo: memFree=12242468/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=117264 CPUtime=1007.85 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 270593 0 0 0 100741 44 0 0 25 0 1 0 446651152 120078336 26053 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 29316 26053 250 17 0 25957 0
Current children cumulated CPU time (s) 1007.88
Current children cumulated vsize (KiB) 125968

[startup+1009.5 s]
/proc/loadavg: 4.04 3.99 3.71 5/194 24146
/proc/meminfo: memFree=12240112/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=117264 CPUtime=1009.46 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 270593 0 0 0 100902 44 0 0 25 0 1 0 446651152 120078336 26053 33554432000 4194304 4260849 140736457585296 18446744073709551615 4225132 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 29316 26053 250 17 0 25957 0
Current children cumulated CPU time (s) 1009.49
Current children cumulated vsize (KiB) 125968

[startup+1010.3 s]
/proc/loadavg: 4.04 3.99 3.71 5/194 24146
/proc/meminfo: memFree=12237880/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=117264 CPUtime=1010.26 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 270593 0 0 0 100982 44 0 0 25 0 1 0 446651152 120078336 26053 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 29316 26053 250 17 0 25957 0
Current children cumulated CPU time (s) 1010.29
Current children cumulated vsize (KiB) 125968

[startup+1010.7 s]
/proc/loadavg: 4.04 3.99 3.71 5/194 24146
/proc/meminfo: memFree=12237880/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=117264 CPUtime=1010.66 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 270593 0 0 0 101022 44 0 0 25 0 1 0 446651152 120078336 26053 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 29316 26053 250 17 0 25957 0
Current children cumulated CPU time (s) 1010.69
Current children cumulated vsize (KiB) 125968

[startup+1010.8 s]
/proc/loadavg: 4.04 3.99 3.71 5/194 24146
/proc/meminfo: memFree=12236140/32951124 swapFree=67111528/67111528
[pid=24056] ppid=24054 vsize=8704 CPUtime=0.03 cores=5,7
/proc/24056/stat : 24056 (glucose.sh) S 24054 24056 23623 0 -1 4202496 360 641 0 0 0 0 3 0 25 0 1 0 446651149 8912896 254 33554432000 4194304 4922060 140736209347200 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24056/statm: 2176 254 211 178 0 69 0
[pid=24059] ppid=24056 vsize=117264 CPUtime=1010.76 cores=5,7
/proc/24059/stat : 24059 (glucose_static) R 24056 24056 23623 0 -1 4202496 270593 0 0 0 101032 44 0 0 25 0 1 0 446651152 120078336 26053 33554432000 4194304 4260849 140736457585296 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24059/statm: 29316 26053 250 17 0 25957 0
Current children cumulated CPU time (s) 1010.79
Current children cumulated vsize (KiB) 125968

Child status: 10
Real time (s): 1010.85
CPU time (s): 1010.85
CPU user time (s): 1010.39
CPU system time (s): 0.45393
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 175288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1010.39
system time used= 0.45393
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271971
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= 45
involuntary context switches= 1925

runsolver used 1.60776 second user time and 3.9164 second system time

The end

Launcher Data

Begin job on node143 at 2011-04-23 09:05:55
IDJOB=3262528
IDBENCH=83318
IDSOLVER=1651
FILE ID=node143/3262528-1303542355
RUNJOBID= node143-1303542293-23980
PBS_JOBID= 13143095
Free space on /tmp= 72400 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_462.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262528-1303542355/watcher-3262528-1303542355 -o /tmp/evaluation-result-3262528-1303542355/solver-3262528-1303542355 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3262528-1303542355.cnf 

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

MD5SUM BENCH= 4975f32607352c0a4d9db1abea12627a
RANDOM SEED=1366711829

node143.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.846
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.69
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.846
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	: 5226.15
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.846
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.846
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.83
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.846
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.846
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.83
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.846
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.74
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.846
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:     32951124 kB
MemFree:      12580804 kB
Buffers:       2294612 kB
Cached:       17315704 kB
SwapCached:          0 kB
Active:        9668884 kB
Inactive:     10145968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12580804 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1680 kB
Writeback:           0 kB
AnonPages:      203700 kB
Mapped:          15536 kB
Slab:           490264 kB
PageTables:       5560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   435576 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= 72400 MiB
End job on node143 at 2011-04-23 09:22:46