Trace number 3286320

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2UNSAT 373.165 373.161

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step20.cnf
MD5SUM8f0e3738453893efc8a2d1abcf0d190d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark143.969
Satisfiable
(Un)Satisfiability was proved
Number of variables50277
Number of clauses283903
Sum of the clauses size636342
Maximum clause length61
Minimum clause length1
Number of clauses of size 1414
Number of clauses of size 2248375
Number of clauses of size 327490
Number of clauses of size 45332
Number of clauses of size 5458
Number of clauses of size over 51834

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.11	c ==============================================================================
0.00/0.11	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.11	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.11	c ==============================================================================
0.00/0.11	c |         0 |  283484   635918 |   85045       0        0     nan |  0.000 % |
0.00/0.68	c |         0 |  249569   571335 |      --       0       --      -- |     --   | -30553/-57337
0.00/0.68	c ==============================================================================
0.00/0.68	c Result  :   #vars: 37813   #clauses: 249569   #literals: 571335
0.00/0.68	c CPU time:   0.659899 s
0.00/0.68	c ==============================================================================
0.00/0.80	c
0.00/0.80	c Starting glucose
0.00/0.80	c
5.38/5.40	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
5.38/5.40	c WARNING: for repeatability, setting FPU to use double precision
5.38/5.40	c ============================[ Problem Statistics ]=============================
5.38/5.40	c |                                                                             |
5.38/5.40	c |  Number of variables:         37813                                         |
5.38/5.40	c |  Number of clauses:          249569                                         |
5.38/5.40	c |  Parse time:                   0.05 s                                       |
5.38/5.40	c |                                                                             |
5.38/5.40	c ============================[ Search Statistics ]==============================
5.38/5.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.38/5.40	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.38/5.40	c ===============================================================================
5.38/5.40	c |       764 |   37487   249569   571335 |        1      762     40 |  0.862 % |
5.38/5.40	c |       991 |   37466   249569   571335 |        1      988     52 |  0.918 % |
5.38/5.40	c |      1395 |   37449   249118   569721 |        1     1385     48 |  0.963 % |
5.38/5.40	c |      1512 |   37449   249118   569721 |        1     1502     46 |  0.963 % |
5.38/5.40	c |      2192 |   37427   249118   569721 |        1     2181     60 |  1.021 % |
5.38/5.40	c |      2925 |   37427   249068   569554 |        1     2913     55 |  1.021 % |
5.38/5.40	c |      3114 |   37427   249068   569554 |        1     3102     54 |  1.021 % |
5.38/5.40	c |      3551 |   37427   249068   569554 |        1     3539     62 |  1.021 % |
5.38/5.40	c |      3651 |   37427   249068   569554 |        1     3639     63 |  1.021 % |
5.38/5.40	c |      3954 |   37427   249068   569554 |        1     3942     68 |  1.021 % |
5.38/5.40	c |      5117 |   37427   249068   569554 |        1     3120     42 |  1.021 % |
5.38/5.40	c |      5953 |   37427   249068   569554 |        1     3956     68 |  1.021 % |
5.38/5.40	c |      6585 |   37427   249068   569554 |        1     4588     82 |  1.021 % |
5.38/5.40	c |      6686 |   37427   249068   569554 |        1     4689     82 |  1.021 % |
5.38/5.40	c |      6991 |   37427   249068   569554 |        1     4994     91 |  1.021 % |
5.38/5.40	c |      7091 |   37427   249068   569554 |        1     5094     90 |  1.021 % |
5.38/5.40	c |      7478 |   37427   249068   569554 |        1     5481     93 |  1.021 % |
5.38/5.40	c |      8412 |   37427   249068   569554 |        1     6415     92 |  1.021 % |
5.38/5.40	c |      8513 |   37427   249068   569554 |        1     6516     91 |  1.021 % |
5.38/5.40	c |      8613 |   37427   249068   569554 |        1     6616     90 |  1.021 % |
5.38/5.40	c |      8827 |   37427   249068   569554 |        1     6830     92 |  1.021 % |
5.38/5.40	c |      9406 |   37427   249068   569554 |        1     7409     91 |  1.021 % |
5.38/5.40	c |      9898 |   37406   249048   569487 |        1     7900     91 |  1.076 % |
5.38/5.40	c |     11993 |   37406   249048   569487 |        1     5701     60 |  1.076 % |
5.38/5.40	c |     12093 |   37406   249048   569487 |        1     5801     61 |  1.076 % |
5.38/5.40	c |     13003 |   37342   249001   569322 |        1     6710     64 |  1.246 % |
5.38/5.40	c |     13167 |   37342   249001   569322 |        1     6874     65 |  1.246 % |
5.38/5.40	c |     13539 |   37342   249001   569322 |        1     7246     67 |  1.246 % |
5.38/5.40	c |     14931 |   37342   249001   569322 |        1     8638     65 |  1.246 % |
5.38/5.40	c |     16068 |   37342   249001   569322 |        1     9775     81 |  1.246 % |
5.38/5.40	c |     24144 |   37323   248988   569278 |        1    11101    102 |  1.296 % |
5.38/5.40	c |     24244 |   37323   248988   569278 |        1    11201    102 |  1.296 % |
5.38/5.40	c |     24432 |   37323   248988   569278 |        1    11389    102 |  1.296 % |
5.38/5.40	c |     25605 |   37323   248988   569278 |        1    12562    121 |  1.296 % |
5.38/5.40	c |     27553 |   37323   248988   569278 |        1    14510    119 |  1.296 % |
5.38/5.40	c |     27653 |   37323   248988   569278 |        1    14610    120 |  1.296 % |
5.38/5.40	c |     27754 |   37323   248988   569278 |        1    14711    120 |  1.296 % |
5.38/5.40	c |     27854 |   37323   248988   569278 |        1    14811    120 |  1.296 % |
5.38/5.40	c |     30441 |   37323   248988   569278 |        1    17398    122 |  1.296 % |
11.38/11.49	c |     30544 |   37323   248988   569278 |        1    17501    122 |  1.296 % |
11.38/11.49	c |     30644 |   37323   248988   569278 |        1    17601    123 |  1.296 % |
11.38/11.49	c |     31471 |   37323   248988   569278 |        1    18428    120 |  1.296 % |
11.38/11.49	c |     40198 |   37323   248988   569278 |        1    17879    114 |  1.296 % |
11.38/11.49	c |     40299 |   37323   248988   569278 |        1    17980    114 |  1.296 % |
11.38/11.49	c |     40399 |   37323   248988   569278 |        1    18080    114 |  1.296 % |
11.38/11.49	c |     40501 |   37323   248988   569278 |        1    18182    115 |  1.296 % |
11.38/11.49	c |     40601 |   37323   248988   569278 |        1    18282    115 |  1.296 % |
11.38/11.49	c |     48961 |   37323   248988   569278 |        1    14805     93 |  1.296 % |
11.38/11.49	c |     49061 |   37323   248988   569278 |        1    14905     94 |  1.296 % |
11.38/11.49	c |     49162 |   37323   248988   569278 |        1    15006     94 |  1.296 % |
11.38/11.49	c |     49264 |   37323   248988   569278 |        1    15108     94 |  1.296 % |
11.38/11.49	c |     49365 |   37323   248988   569278 |        1    15209     94 |  1.296 % |
11.38/11.49	c |     49465 |   37323   248988   569278 |        1    15309     94 |  1.296 % |
11.38/11.49	c |     49569 |   37323   248988   569278 |        1    15413     95 |  1.296 % |
11.38/11.49	c |     49670 |   37323   248988   569278 |        1    15514     95 |  1.296 % |
11.38/11.49	c |     49771 |   37323   248988   569278 |        1    15615     96 |  1.296 % |
11.38/11.49	c |     49872 |   37323   248988   569278 |        1    15716     97 |  1.296 % |
11.38/11.49	c |     49972 |   37323   248988   569278 |        1    15816     97 |  1.296 % |
11.38/11.49	c |     50107 |   37323   248988   569278 |        1    15951     98 |  1.296 % |
11.38/11.49	c |     50207 |   37323   248988   569278 |        1    16051     98 |  1.296 % |
11.38/11.49	c |     50490 |   37323   248988   569278 |        1    16334    100 |  1.296 % |
11.38/11.49	c |     50593 |   37323   248988   569278 |        1    16437    100 |  1.296 % |
11.38/11.49	c |     51254 |   37304   248976   569237 |        1    17097    105 |  1.346 % |
11.38/11.49	c |     51409 |   37304   248976   569237 |        1    17252    105 |  1.346 % |
11.38/11.49	c |     51509 |   37304   248976   569237 |        1    17352    106 |  1.346 % |
11.38/11.49	c |     52888 |   37304   248976   569237 |        1    18731    105 |  1.346 % |
11.38/11.49	c |     53472 |   37304   248976   569237 |        1    19315    106 |  1.346 % |
11.38/11.49	c |     53573 |   37304   248976   569237 |        1    19416    106 |  1.346 % |
11.38/11.49	c |     54552 |   37304   248976   569237 |        1    20395    113 |  1.346 % |
11.38/11.49	c |     54758 |   37304   248976   569237 |        1    20601    113 |  1.346 % |
11.38/11.49	c |     55019 |   37304   248976   569237 |        1    20862    115 |  1.346 % |
11.38/11.49	c |     55120 |   37304   248976   569237 |        1    20963    115 |  1.346 % |
11.38/11.49	c |     55363 |   37304   248976   569237 |        1    21206    115 |  1.346 % |
11.38/11.49	c |     55463 |   37304   248976   569237 |        1    21306    115 |  1.346 % |
11.38/11.49	c |     56084 |   37304   248976   569237 |        1    21927    117 |  1.346 % |
11.38/11.49	c |     56184 |   37304   248976   569237 |        1    22027    117 |  1.346 % |
11.38/11.49	c |     56456 |   37304   248976   569237 |        1    22299    119 |  1.346 % |
11.38/11.49	c |     56556 |   37304   248976   569237 |        1    22399    119 |  1.346 % |
11.38/11.49	c |     56657 |   37304   248976   569237 |        1    22500    120 |  1.346 % |
11.38/11.49	c |     56757 |   37304   248976   569237 |        1    22600    120 |  1.346 % |
11.38/11.49	c |     57038 |   37304   248976   569237 |        1    22881    122 |  1.346 % |
11.38/11.49	c |     57139 |   37304   248976   569237 |        1    22982    122 |  1.346 % |
11.38/11.49	c |     57239 |   37304   248976   569237 |        1    23082    123 |  1.346 % |
11.38/11.49	c |     57339 |   37304   248976   569237 |        1    23182    123 |  1.346 % |
11.38/11.49	c |     57640 |   37304   248976   569237 |        1    23483    123 |  1.346 % |
11.38/11.49	c |     57740 |   37304   248976   569237 |        1    23583    123 |  1.346 % |
11.38/11.49	c |     57959 |   37304   248976   569237 |        1    23802    123 |  1.346 % |
11.38/11.49	c |     58648 |   37304   248976   569237 |        1    24491    125 |  1.346 % |
11.38/11.49	c |     58811 |   37304   248976   569237 |        1    24654    125 |  1.346 % |
16.68/16.78	c |     58912 |   37304   248976   569237 |        1    24755    125 |  1.346 % |
16.68/16.78	c |     59024 |   37304   248976   569237 |        1    24867    125 |  1.346 % |
16.68/16.78	c |     59125 |   37304   248976   569237 |        1    24968    125 |  1.346 % |
16.68/16.78	c |     59346 |   37304   248976   569237 |        1    25189    126 |  1.346 % |
16.68/16.78	c |     59447 |   37304   248976   569237 |        1    25290    126 |  1.346 % |
16.68/16.78	c |     59639 |   37304   248976   569237 |        1    25482    127 |  1.346 % |
16.68/16.78	c |     59740 |   37304   248976   569237 |        1    25583    127 |  1.346 % |
16.68/16.78	c |     59840 |   37304   248976   569237 |        1    25683    128 |  1.346 % |
16.68/16.78	c |     60044 |   37304   248976   569237 |        1    25887    128 |  1.346 % |
16.68/16.78	c |     60163 |   37304   248976   569237 |        1    26006    128 |  1.346 % |
16.68/16.78	c |     60365 |   37304   248976   569237 |        1    26208    129 |  1.346 % |
16.68/16.78	c |     60466 |   37304   248976   569237 |        1    26309    129 |  1.346 % |
16.68/16.78	c |     60566 |   37304   248976   569237 |        1    26409    129 |  1.346 % |
16.68/16.78	c |     60668 |   37304   248976   569237 |        1    26511    130 |  1.346 % |
16.68/16.78	c |     60768 |   37304   248976   569237 |        1    26611    130 |  1.346 % |
16.68/16.78	c |     60868 |   37304   248976   569237 |        1    26711    130 |  1.346 % |
16.68/16.78	c |     60968 |   37304   248976   569237 |        1    26811    129 |  1.346 % |
16.68/16.78	c |     61069 |   37304   248976   569237 |        1    26912    130 |  1.346 % |
16.68/16.78	c |     61284 |   37304   248976   569237 |        1    27127    129 |  1.346 % |
16.68/16.78	c |     61384 |   37304   248976   569237 |        1    27227    129 |  1.346 % |
16.68/16.78	c |     61485 |   37304   248976   569237 |        1    27328    129 |  1.346 % |
16.68/16.78	c |     63461 |   37304   248976   569237 |        1    14882     67 |  1.346 % |
16.68/16.78	c |     65548 |   37304   248976   569237 |        1    16969     76 |  1.346 % |
16.68/16.78	c |     66011 |   37304   248976   569237 |        1    17432     76 |  1.346 % |
16.68/16.78	c |     69339 |   37304   248976   569237 |        1    20760    100 |  1.346 % |
16.68/16.78	c |     69439 |   37304   248976   569237 |        1    20860    101 |  1.346 % |
16.68/16.78	c |     71487 |   37304   248976   569237 |        1    22908    108 |  1.346 % |
16.68/16.78	c |     71590 |   37304   248976   569237 |        1    23011    108 |  1.346 % |
16.68/16.78	c |     71847 |   37304   248976   569237 |        1    23268    109 |  1.346 % |
16.68/16.78	c |     77417 |   37304   248976   569237 |        1    28838    126 |  1.346 % |
16.68/16.78	c |     77517 |   37304   248976   569237 |        1    28938    127 |  1.346 % |
16.68/16.78	c |     77617 |   37304   248976   569237 |        1    29038    127 |  1.346 % |
16.68/16.78	c |     77717 |   37304   248976   569237 |        1    29138    127 |  1.346 % |
16.68/16.78	c |     77817 |   37304   248976   569237 |        1    29238    127 |  1.346 % |
16.68/16.78	c |     77918 |   37304   248976   569237 |        1    29339    127 |  1.346 % |
16.68/16.78	c |     78020 |   37304   248976   569237 |        1    29441    127 |  1.346 % |
16.68/16.78	c |     78122 |   37304   248976   569237 |        1    29543    127 |  1.346 % |
16.68/16.78	c |     78355 |   37304   248976   569237 |        1    29776    128 |  1.346 % |
16.68/16.78	c |     78455 |   37304   248976   569237 |        1    29876    128 |  1.346 % |
16.68/16.78	c |     78556 |   37304   248976   569237 |        1    29977    128 |  1.346 % |
16.68/16.78	c |     78656 |   37304   248976   569237 |        1    30077    129 |  1.346 % |
16.68/16.78	c |     78756 |   37304   248976   569237 |        1    30177    129 |  1.346 % |
16.68/16.78	c |     78856 |   37304   248976   569237 |        1    30277    129 |  1.346 % |
16.68/16.78	c |     79177 |   37304   248976   569237 |        1    30598    129 |  1.346 % |
16.68/16.78	c |     79277 |   37304   248976   569237 |        1    30698    129 |  1.346 % |
16.68/16.78	c |     79379 |   37304   248976   569237 |        1    30800    129 |  1.346 % |
16.68/16.78	c |     79479 |   37304   248976   569237 |        1    30900    130 |  1.346 % |
16.68/16.78	c |     79582 |   37304   248976   569237 |        1    31003    129 |  1.346 % |
16.68/16.78	c |     79699 |   37304   248976   569237 |        1    31120    129 |  1.346 % |
16.68/16.78	c |     79800 |   37304   248976   569237 |        1    31221    130 |  1.346 % |
27.58/27.64	c |     79900 |   37304   248976   569237 |        1    31321    130 |  1.346 % |
27.58/27.64	c |     80004 |   37304   248976   569237 |        1    31425    130 |  1.346 % |
27.58/27.64	c |     81387 |   37304   248976   569237 |        1    32808    131 |  1.346 % |
27.58/27.64	c |     81488 |   37304   248976   569237 |        1    32909    131 |  1.346 % |
27.58/27.64	c |     81591 |   37304   248976   569237 |        1    33012    131 |  1.346 % |
27.58/27.64	c |     82011 |   37304   248976   569237 |        1    33432    131 |  1.346 % |
27.58/27.64	c |     82111 |   37304   248976   569237 |        1    33532    131 |  1.346 % |
27.58/27.64	c |     82213 |   37304   248976   569237 |        1    33634    131 |  1.346 % |
27.58/27.64	c |     86657 |   37304   248976   569237 |        1    21076     94 |  1.346 % |
27.58/27.64	c |     86758 |   37304   248976   569237 |        1    21177     94 |  1.346 % |
27.58/27.64	c |     88601 |   37304   248976   569237 |        1    23020    104 |  1.346 % |
27.58/27.64	c |     89610 |   37304   248976   569237 |        1    24029    107 |  1.346 % |
27.58/27.64	c |     89711 |   37304   248976   569237 |        1    24130    107 |  1.346 % |
27.58/27.64	c |     89813 |   37304   248976   569237 |        1    24232    107 |  1.346 % |
27.58/27.64	c |     89913 |   37304   248976   569237 |        1    24332    108 |  1.346 % |
27.58/27.64	c |     90013 |   37304   248976   569237 |        1    24432    108 |  1.346 % |
27.58/27.64	c |     90292 |   37304   248976   569237 |        1    24711    108 |  1.346 % |
27.58/27.64	c |     90393 |   37304   248976   569237 |        1    24812    108 |  1.346 % |
27.58/27.64	c |     92987 |   37304   248976   569237 |        1    27406    115 |  1.346 % |
27.58/27.64	c |     93648 |   37304   248976   569237 |        1    28067    116 |  1.346 % |
27.58/27.64	c |     93999 |   37304   248976   569237 |        1    28418    116 |  1.346 % |
27.58/27.64	c |     94169 |   37304   248976   569237 |        1    28588    116 |  1.346 % |
27.58/27.64	c |     94332 |   37304   248976   569237 |        1    28751    117 |  1.346 % |
27.58/27.64	c |     94469 |   37304   248976   569237 |        1    28888    117 |  1.346 % |
27.58/27.64	c |     94572 |   37304   248976   569237 |        1    28991    117 |  1.346 % |
27.58/27.64	c |     94704 |   37304   248976   569237 |        1    29123    117 |  1.346 % |
27.58/27.64	c |     94891 |   37304   248976   569237 |        1    29310    117 |  1.346 % |
27.58/27.64	c |     94992 |   37304   248976   569237 |        1    29411    117 |  1.346 % |
27.58/27.64	c |     95093 |   37304   248976   569237 |        1    29512    117 |  1.346 % |
27.58/27.64	c |     95193 |   37304   248976   569237 |        1    29612    117 |  1.346 % |
27.58/27.64	c |     95327 |   37304   248976   569237 |        1    29746    117 |  1.346 % |
27.58/27.64	c |     95430 |   37304   248976   569237 |        1    29849    117 |  1.346 % |
27.58/27.64	c |    106306 |   37304   248976   569237 |        1    21122     65 |  1.346 % |
27.58/27.64	c |    107553 |   37304   248976   569237 |        1    22369     66 |  1.346 % |
27.58/27.64	c |    110552 |   37304   248976   569237 |        1    25368     79 |  1.346 % |
27.58/27.64	c |    110653 |   37304   248976   569237 |        1    25469     79 |  1.346 % |
27.58/27.64	c |    110757 |   37304   248976   569237 |        1    25573     80 |  1.346 % |
27.58/27.64	c |    110857 |   37304   248976   569237 |        1    25673     80 |  1.346 % |
27.58/27.64	c |    110957 |   37304   248976   569237 |        1    25773     80 |  1.346 % |
27.58/27.64	c |    111057 |   37304   248976   569237 |        1    25873     80 |  1.346 % |
27.58/27.64	c |    111157 |   37304   248976   569237 |        1    25973     80 |  1.346 % |
27.58/27.64	c |    111403 |   37304   248976   569237 |        1    26219     81 |  1.346 % |
27.58/27.64	c |    111503 |   37304   248976   569237 |        1    26319     81 |  1.346 % |
27.58/27.64	c |    111604 |   37304   248976   569237 |        1    26420     82 |  1.346 % |
27.58/27.64	c |    111717 |   37304   248976   569237 |        1    26533     82 |  1.346 % |
27.58/27.64	c |    111967 |   37304   248976   569237 |        1    26783     82 |  1.346 % |
27.58/27.64	c |    112067 |   37304   248976   569237 |        1    26883     83 |  1.346 % |
27.58/27.64	c |    112168 |   37304   248976   569237 |        1    26984     83 |  1.346 % |
27.58/27.64	c |    122373 |   37304   248976   569237 |        1    37189    107 |  1.346 % |
27.58/27.64	c |    122475 |   37304   248976   569237 |        1    37291    107 |  1.346 % |
38.78/38.81	c |    123368 |   37304   248976   569237 |        1    38184    109 |  1.346 % |
38.78/38.81	c |    125558 |   37304   248976   569237 |        1    40374    108 |  1.346 % |
38.78/38.81	c |    125659 |   37304   248976   569237 |        1    40475    108 |  1.346 % |
38.78/38.81	c |    125759 |   37304   248976   569237 |        1    40575    108 |  1.346 % |
38.78/38.81	c |    128640 |   37304   248976   569237 |        1    43456    113 |  1.346 % |
38.78/38.81	c |    128741 |   37304   248976   569237 |        1    43557    113 |  1.346 % |
38.78/38.81	c |    128842 |   37304   248976   569237 |        1    43658    113 |  1.346 % |
38.78/38.81	c |    128942 |   37304   248976   569237 |        1    43758    113 |  1.346 % |
38.78/38.81	c |    129042 |   37304   248976   569237 |        1    43858    113 |  1.346 % |
38.78/38.81	c |    129142 |   37304   248976   569237 |        1    43958    113 |  1.346 % |
38.78/38.81	c |    129243 |   37304   248976   569237 |        1    44059    114 |  1.346 % |
38.78/38.81	c |    129537 |   37304   248976   569237 |        1    44353    114 |  1.346 % |
38.78/38.81	c |    129670 |   37304   248976   569237 |        1    22280     62 |  1.346 % |
38.78/38.81	c |    129770 |   37304   248976   569237 |        1    22380     63 |  1.346 % |
38.78/38.81	c |    139028 |   37304   248976   569237 |        1    31638     85 |  1.346 % |
38.78/38.81	c |    139394 |   37304   248976   569237 |        1    32004     85 |  1.346 % |
38.78/38.81	c |    140154 |   37304   248976   569237 |        1    32764     89 |  1.346 % |
38.78/38.81	c |    140256 |   37304   248976   569237 |        1    32866     90 |  1.346 % |
38.78/38.81	c |    159760 |   37304   248976   569237 |        1    27568     94 |  1.346 % |
38.78/38.81	c |    159861 |   37304   248976   569237 |        1    27669     94 |  1.346 % |
38.78/38.81	c |    159961 |   37304   248976   569237 |        1    27769     94 |  1.346 % |
38.78/38.81	c |    160061 |   37304   248976   569237 |        1    27869     94 |  1.346 % |
38.78/38.81	c |    160163 |   37304   248976   569237 |        1    27971     95 |  1.346 % |
38.78/38.81	c |    160263 |   37304   248976   569237 |        1    28071     95 |  1.346 % |
38.78/38.81	c |    160379 |   37304   248976   569237 |        1    28187     95 |  1.346 % |
38.78/38.81	c |    160479 |   37304   248976   569237 |        1    28287     95 |  1.346 % |
38.78/38.81	c |    160634 |   37304   248976   569237 |        1    28442     97 |  1.346 % |
38.78/38.81	c |    160735 |   37304   248976   569237 |        1    28543     97 |  1.346 % |
38.78/38.81	c |    160836 |   37304   248976   569237 |        1    28644     97 |  1.346 % |
38.78/38.81	c |    160937 |   37304   248976   569237 |        1    28745     97 |  1.346 % |
38.78/38.81	c |    161038 |   37304   248976   569237 |        1    28846     98 |  1.346 % |
38.78/38.81	c |    161138 |   37304   248976   569237 |        1    28946     98 |  1.346 % |
38.78/38.81	c |    161238 |   37304   248976   569237 |        1    29046     98 |  1.346 % |
38.78/38.81	c |    161338 |   37304   248976   569237 |        1    29146     98 |  1.346 % |
38.78/38.81	c |    161439 |   37304   248976   569237 |        1    29247     98 |  1.346 % |
38.78/38.81	c |    161539 |   37304   248976   569237 |        1    29347     98 |  1.346 % |
38.78/38.81	c |    161640 |   37304   248976   569237 |        1    29448     98 |  1.346 % |
38.78/38.81	c |    161742 |   37304   248976   569237 |        1    29550     98 |  1.346 % |
38.78/38.81	c |    161843 |   37304   248976   569237 |        1    29651     98 |  1.346 % |
38.78/38.81	c |    161943 |   37304   248976   569237 |        1    29751     98 |  1.346 % |
38.78/38.81	c |    162043 |   37304   248976   569237 |        1    29851     98 |  1.346 % |
38.78/38.81	c |    162186 |   37304   248976   569237 |        1    29994     98 |  1.346 % |
38.78/38.81	c |    162290 |   37304   248976   569237 |        1    30098     98 |  1.346 % |
38.78/38.81	c |    162390 |   37304   248976   569237 |        1    30198     99 |  1.346 % |
38.78/38.81	c |    162490 |   37304   248976   569237 |        1    30298     99 |  1.346 % |
38.78/38.81	c |    162905 |   37304   248976   569237 |        1    30713     99 |  1.346 % |
38.78/38.81	c |    163006 |   37304   248976   569237 |        1    30814     99 |  1.346 % |
38.78/38.81	c |    165530 |   37304   248976   569237 |        1    33338     99 |  1.346 % |
38.78/38.81	c |    165630 |   37304   248976   569237 |        1    33438     99 |  1.346 % |
38.78/38.81	c |    165771 |   37304   248976   569237 |        1    33579     99 |  1.346 % |
59.47/59.59	c |    166461 |   37304   248976   569237 |        1    34269    101 |  1.346 % |
59.47/59.59	c |    181558 |   37304   248976   569237 |        1    49366    100 |  1.346 % |
59.47/59.59	c |    181664 |   37304   248976   569237 |        1    49472    100 |  1.346 % |
59.47/59.59	c |    181767 |   37304   248976   569237 |        1    49575    100 |  1.346 % |
59.47/59.59	c |    181867 |   37304   248976   569237 |        1    49675    100 |  1.346 % |
59.47/59.59	c |    182975 |   37304   248976   569237 |        1    50783    102 |  1.346 % |
59.47/59.59	c |    183075 |   37304   248976   569237 |        1    50883    102 |  1.346 % |
59.47/59.59	c |    183236 |   37304   248976   569237 |        1    51044    102 |  1.346 % |
59.47/59.59	c |    184085 |   37304   248976   569237 |        1    51893    104 |  1.346 % |
59.47/59.59	c |    186878 |   37276   248953   569143 |        1    54670    107 |  1.420 % |
59.47/59.59	c |    189618 |   37276   248953   569143 |        1    30017     68 |  1.420 % |
59.47/59.59	c |    189719 |   37276   248953   569143 |        1    30118     68 |  1.420 % |
59.47/59.59	c |    205240 |   37276   248953   569143 |        1    45639     77 |  1.420 % |
59.47/59.59	c |    205341 |   37276   248953   569143 |        1    45740     77 |  1.420 % |
59.47/59.59	c |    205441 |   37276   248953   569143 |        1    45840     77 |  1.420 % |
59.47/59.59	c |    205541 |   37276   248953   569143 |        1    45940     78 |  1.420 % |
59.47/59.59	c |    205667 |   37276   248953   569143 |        1    46066     78 |  1.420 % |
59.47/59.59	c |    205769 |   37276   248953   569143 |        1    46168     78 |  1.420 % |
59.47/59.59	c |    205870 |   37276   248953   569143 |        1    46269     78 |  1.420 % |
59.47/59.59	c |    207161 |   37276   248953   569143 |        1    47560     80 |  1.420 % |
59.47/59.59	c |    207261 |   37276   248953   569143 |        1    47660     80 |  1.420 % |
59.47/59.59	c |    207765 |   37276   248953   569143 |        1    48164     82 |  1.420 % |
59.47/59.59	c |    207865 |   37276   248953   569143 |        1    48264     82 |  1.420 % |
59.47/59.59	c |    208548 |   37276   248953   569143 |        1    48947     82 |  1.420 % |
59.47/59.59	c |    209811 |   37275   248953   569143 |        1    50209     85 |  1.423 % |
59.47/59.59	c |    215075 |   37266   248953   569143 |        1    55472     87 |  1.447 % |
59.47/59.59	c |    232024 |   37266   248944   569110 |        1    42425     65 |  1.447 % |
59.47/59.59	c |    234426 |   37266   248944   569110 |        1    44827     69 |  1.447 % |
59.47/59.59	c |    236195 |   37266   248944   569110 |        1    46596     72 |  1.447 % |
59.47/59.59	c |    236513 |   37266   248944   569110 |        1    46914     72 |  1.447 % |
59.47/59.59	c |    236615 |   37266   248944   569110 |        1    47016     73 |  1.447 % |
59.47/59.59	c |    236717 |   37266   248944   569110 |        1    47118     73 |  1.447 % |
59.47/59.59	c |    236817 |   37266   248944   569110 |        1    47218     73 |  1.447 % |
59.47/59.59	c |    236917 |   37266   248944   569110 |        1    47318     73 |  1.447 % |
59.47/59.59	c |    241852 |   37266   248944   569110 |        1    52253     84 |  1.447 % |
59.47/59.59	c |    242115 |   37266   248944   569110 |        1    52516     84 |  1.447 % |
59.47/59.59	c |    242217 |   37266   248944   569110 |        1    52618     84 |  1.447 % |
59.47/59.59	c |    242321 |   37266   248944   569110 |        1    52722     84 |  1.447 % |
59.47/59.59	c |    242426 |   37266   248944   569110 |        1    52827     84 |  1.447 % |
59.47/59.59	c |    242528 |   37266   248944   569110 |        1    52929     84 |  1.447 % |
59.47/59.59	c |    242631 |   37266   248944   569110 |        1    53032     84 |  1.447 % |
59.47/59.59	c |    242731 |   37266   248944   569110 |        1    53132     84 |  1.447 % |
59.47/59.59	c |    242833 |   37266   248944   569110 |        1    53234     84 |  1.447 % |
59.47/59.59	c |    242935 |   37266   248944   569110 |        1    53336     84 |  1.447 % |
59.47/59.59	c |    243036 |   37266   248944   569110 |        1    53437     84 |  1.447 % |
59.47/59.59	c |    243138 |   37266   248944   569110 |        1    53539     84 |  1.447 % |
59.47/59.59	c |    243242 |   37266   248944   569110 |        1    53643     84 |  1.447 % |
59.47/59.59	c |    243345 |   37266   248944   569110 |        1    53746     85 |  1.447 % |
59.47/59.59	c |    249009 |   37266   248944   569110 |        1    59410     86 |  1.447 % |
59.47/59.59	c |    249110 |   37266   248944   569110 |        1    59511     86 |  1.447 % |
74.27/74.39	c |    250312 |   37266   248944   569110 |        1    60713     86 |  1.447 % |
74.27/74.39	c |    250414 |   37266   248944   569110 |        1    60815     86 |  1.447 % |
74.27/74.39	c |    251046 |   37266   248944   569110 |        1    61447     86 |  1.447 % |
74.27/74.39	c |    251146 |   37266   248944   569110 |        1    61547     86 |  1.447 % |
74.27/74.39	c |    251246 |   37266   248944   569110 |        1    61647     86 |  1.447 % |
74.27/74.39	c |    255615 |   37266   248944   569110 |        1    33442     57 |  1.447 % |
74.27/74.39	c |    255715 |   37266   248944   569110 |        1    33542     57 |  1.447 % |
74.27/74.39	c |    256019 |   37266   248944   569110 |        1    33846     58 |  1.447 % |
74.27/74.39	c |    256119 |   37266   248944   569110 |        1    33946     58 |  1.447 % |
74.27/74.39	c |    258290 |   37266   248944   569110 |        1    36117     78 |  1.447 % |
74.27/74.39	c |    258660 |   37266   248944   569110 |        1    36487     78 |  1.447 % |
74.27/74.39	c |    258760 |   37266   248944   569110 |        1    36587     78 |  1.447 % |
74.27/74.39	c |    258861 |   37266   248944   569110 |        1    36688     78 |  1.447 % |
74.27/74.39	c |    259365 |   37266   248944   569110 |        1    37192     78 |  1.447 % |
74.27/74.39	c |    259466 |   37266   248944   569110 |        1    37293     78 |  1.447 % |
74.27/74.39	c |    259566 |   37266   248944   569110 |        1    37393     78 |  1.447 % |
74.27/74.39	c |    260336 |   37266   248944   569110 |        1    38163     78 |  1.447 % |
74.27/74.39	c |    260436 |   37266   248944   569110 |        1    38263     78 |  1.447 % |
74.27/74.39	c |    260569 |   37266   248944   569110 |        1    38396     78 |  1.447 % |
74.27/74.39	c |    265256 |   37266   248944   569110 |        1    43083     91 |  1.447 % |
74.27/74.39	c |    265629 |   37266   248944   569110 |        1    43456     91 |  1.447 % |
74.27/74.39	c |    265960 |   37266   248944   569110 |        1    43787     92 |  1.447 % |
74.27/74.39	c |    266060 |   37266   248944   569110 |        1    43887     92 |  1.447 % |
74.27/74.39	c |    266215 |   37266   248944   569110 |        1    44042     92 |  1.447 % |
74.27/74.39	c |    266315 |   37266   248944   569110 |        1    44142     92 |  1.447 % |
74.27/74.39	c |    266421 |   37266   248944   569110 |        1    44248     92 |  1.447 % |
74.27/74.39	c |    270293 |   37266   248944   569110 |        1    48120     90 |  1.447 % |
74.27/74.39	c |    270394 |   37266   248944   569110 |        1    48221     90 |  1.447 % |
74.27/74.39	c |    276168 |   37205   248941   569043 |        1    49850     95 |  1.608 % |
74.27/74.39	c |    276269 |   37205   248941   569043 |        1    49951     95 |  1.608 % |
74.27/74.39	c |    278927 |   37205   248941   569043 |        1    52609     96 |  1.608 % |
74.27/74.39	c |    287692 |   37205   248941   569043 |        1    61374     95 |  1.608 % |
74.27/74.39	c |    288289 |   37205   248941   569043 |        1    61971     95 |  1.608 % |
74.27/74.39	c |    288390 |   37205   248941   569043 |        1    62072     95 |  1.608 % |
74.27/74.39	c |    288964 |   37205   248941   569043 |        1    62646     95 |  1.608 % |
74.27/74.39	c |    289064 |   37205   248941   569043 |        1    62746     96 |  1.608 % |
74.27/74.39	c |    289624 |   37205   248941   569043 |        1    63306     96 |  1.608 % |
74.27/74.39	c |    289973 |   37205   248941   569043 |        1    63655     96 |  1.608 % |
74.27/74.39	c |    298169 |   37205   248941   569043 |        1    38715     81 |  1.608 % |
74.27/74.39	c |    298269 |   37205   248941   569043 |        1    38815     81 |  1.608 % |
74.27/74.39	c |    298372 |   37205   248941   569043 |        1    38918     81 |  1.608 % |
74.27/74.39	c |    298475 |   37205   248941   569043 |        1    39021     82 |  1.608 % |
74.27/74.39	c |    300436 |   37205   248941   569043 |        1    40982     81 |  1.608 % |
74.27/74.39	c |    301331 |   37205   248941   569043 |        1    41877     84 |  1.608 % |
74.27/74.39	c |    301431 |   37205   248941   569043 |        1    41977     84 |  1.608 % |
74.27/74.39	c |    302149 |   37205   248941   569043 |        1    42695     90 |  1.608 % |
74.27/74.39	c |    302412 |   37205   248941   569043 |        1    42958     90 |  1.608 % |
74.27/74.39	c |    302589 |   37205   248941   569043 |        1    43135     91 |  1.608 % |
74.27/74.39	c |    302691 |   37205   248941   569043 |        1    43237     91 |  1.608 % |
88.77/88.87	c |    302793 |   37205   248941   569043 |        1    43339     91 |  1.608 % |
88.77/88.87	c |    302894 |   37205   248941   569043 |        1    43440     92 |  1.608 % |
88.77/88.87	c |    302995 |   37205   248941   569043 |        1    43541     92 |  1.608 % |
88.77/88.87	c |    308372 |   37205   248941   569043 |        1    48918     91 |  1.608 % |
88.77/88.87	c |    308473 |   37205   248941   569043 |        1    49019     92 |  1.608 % |
88.77/88.87	c |    308592 |   37205   248941   569043 |        1    49138     92 |  1.608 % |
88.77/88.87	c |    323737 |   37205   248941   569043 |        1    64283     92 |  1.608 % |
88.77/88.87	c |    323839 |   37205   248941   569043 |        1    64385     92 |  1.608 % |
88.77/88.87	c |    324437 |   37205   248941   569043 |        1    64983     92 |  1.608 % |
88.77/88.87	c |    330296 |   37205   248941   569043 |        1    70842     89 |  1.608 % |
88.77/88.87	c |    333453 |   37205   248941   569043 |        1    37246     53 |  1.608 % |
88.77/88.87	c |    333553 |   37205   248941   569043 |        1    37346     53 |  1.608 % |
88.77/88.87	c |    333653 |   37205   248941   569043 |        1    37446     54 |  1.608 % |
88.77/88.87	c |    333764 |   37205   248941   569043 |        1    37557     54 |  1.608 % |
88.77/88.87	c |    334722 |   37205   248941   569043 |        1    38515     59 |  1.608 % |
88.77/88.87	c |    339149 |   37205   248941   569043 |        1    42942     69 |  1.608 % |
88.77/88.87	c |    339278 |   37205   248941   569043 |        1    43071     69 |  1.608 % |
88.77/88.87	c |    339378 |   37205   248941   569043 |        1    43171     69 |  1.608 % |
88.77/88.87	c |    340965 |   37205   248941   569043 |        1    44758     71 |  1.608 % |
88.77/88.87	c |    343388 |   37168   248880   568841 |        1    47177     87 |  1.706 % |
88.77/88.87	c |    343490 |   37168   248880   568841 |        1    47279     87 |  1.706 % |
88.77/88.87	c |    346489 |   37168   248880   568841 |        1    50278     90 |  1.706 % |
88.77/88.87	c |    346591 |   37168   248880   568841 |        1    50380     90 |  1.706 % |
88.77/88.87	c |    346691 |   37168   248880   568841 |        1    50480     90 |  1.706 % |
88.77/88.87	c |    347311 |   37168   248880   568841 |        1    51100     90 |  1.706 % |
88.77/88.87	c |    347575 |   37168   248880   568841 |        1    51364     90 |  1.706 % |
88.77/88.87	c |    347676 |   37168   248880   568841 |        1    51465     91 |  1.706 % |
88.77/88.87	c |    347777 |   37168   248880   568841 |        1    51566     90 |  1.706 % |
88.77/88.87	c |    347878 |   37168   248880   568841 |        1    51667     91 |  1.706 % |
88.77/88.87	c |    347978 |   37168   248880   568841 |        1    51767     91 |  1.706 % |
88.77/88.87	c |    348079 |   37168   248880   568841 |        1    51868     91 |  1.706 % |
88.77/88.87	c |    348343 |   37168   248880   568841 |        1    52132     91 |  1.706 % |
88.77/88.87	c |    348443 |   37168   248880   568841 |        1    52232     91 |  1.706 % |
88.77/88.87	c |    348545 |   37168   248880   568841 |        1    52334     92 |  1.706 % |
88.77/88.87	c |    348753 |   37168   248880   568841 |        1    52542     92 |  1.706 % |
88.77/88.87	c |    351173 |   37168   248880   568841 |        1    54962     97 |  1.706 % |
88.77/88.87	c |    351274 |   37168   248880   568841 |        1    55063     97 |  1.706 % |
88.77/88.87	c |    351416 |   37168   248880   568841 |        1    55205     97 |  1.706 % |
88.77/88.87	c |    351516 |   37168   248880   568841 |        1    55305     98 |  1.706 % |
88.77/88.87	c |    351619 |   37168   248880   568841 |        1    55408     98 |  1.706 % |
88.77/88.87	c |    351719 |   37168   248880   568841 |        1    55508     98 |  1.706 % |
88.77/88.87	c |    352829 |   37168   248880   568841 |        1    56618    100 |  1.706 % |
88.77/88.87	c |    352929 |   37168   248880   568841 |        1    56718    100 |  1.706 % |
88.77/88.87	c |    353252 |   37168   248880   568841 |        1    57041    100 |  1.706 % |
88.77/88.87	c |    353460 |   37168   248880   568841 |        1    57249    100 |  1.706 % |
88.77/88.87	c |    353560 |   37168   248880   568841 |        1    57349    100 |  1.706 % |
88.77/88.87	c |    353660 |   37168   248880   568841 |        1    57449    100 |  1.706 % |
88.77/88.87	c |    354045 |   37168   248880   568841 |        1    57834    103 |  1.706 % |
88.77/88.87	c |    354145 |   37168   248880   568841 |        1    57934    103 |  1.706 % |
88.77/88.87	c |    354934 |   37168   248880   568841 |        1    58723    107 |  1.706 % |
96.79/96.82	c |    355035 |   37168   248880   568841 |        1    58824    107 |  1.706 % |
96.79/96.82	c |    355135 |   37168   248880   568841 |        1    58924    107 |  1.706 % |
96.79/96.82	c |    355237 |   37168   248880   568841 |        1    59026    108 |  1.706 % |
96.79/96.82	c |    355340 |   37168   248880   568841 |        1    59129    108 |  1.706 % |
96.79/96.82	c |    355441 |   37168   248880   568841 |        1    59230    108 |  1.706 % |
96.79/96.82	c |    355542 |   37168   248880   568841 |        1    59331    108 |  1.706 % |
96.79/96.82	c |    358654 |   37168   248880   568841 |        1    62443    123 |  1.706 % |
96.79/96.82	c |    358941 |   37168   248880   568841 |        1    62730    125 |  1.706 % |
96.79/96.82	c |    360163 |   37168   248880   568841 |        1    63952    125 |  1.706 % |
96.79/96.82	c |    360274 |   37168   248880   568841 |        1    64063    126 |  1.706 % |
96.79/96.82	c |    361175 |   37167   248880   568841 |        1    64054    123 |  1.708 % |
96.79/96.82	c |    361279 |   37167   248880   568841 |        1    64158    123 |  1.708 % |
96.79/96.82	c |    365678 |   37167   248880   568841 |        1    68557    119 |  1.708 % |
96.79/96.82	c |    365831 |   37167   248880   568841 |        1    68710    119 |  1.708 % |
96.79/96.82	c |    365931 |   37167   248880   568841 |        1    68810    119 |  1.708 % |
96.79/96.82	c |    366032 |   37167   248880   568841 |        1    68911    119 |  1.708 % |
96.79/96.82	c |    366133 |   37167   248880   568841 |        1    69012    119 |  1.708 % |
96.79/96.82	c |    366610 |   37167   248880   568841 |        1    69489    119 |  1.708 % |
96.79/96.82	c |    366710 |   37167   248880   568841 |        1    69589    119 |  1.708 % |
96.79/96.82	c |    366810 |   37167   248880   568841 |        1    69689    119 |  1.708 % |
96.79/96.82	c |    367194 |   37167   248880   568841 |        1    70073    119 |  1.708 % |
96.79/96.82	c |    368963 |   37167   248880   568841 |        1    71842    121 |  1.708 % |
96.79/96.82	c |    369063 |   37167   248880   568841 |        1    71942    121 |  1.708 % |
96.79/96.82	c |    369179 |   37167   248880   568841 |        1    72058    120 |  1.708 % |
96.79/96.82	c |    369279 |   37167   248880   568841 |        1    72158    120 |  1.708 % |
96.79/96.82	c |    369433 |   37167   248880   568841 |        1    72312    120 |  1.708 % |
96.79/96.82	c |    369536 |   37167   248880   568841 |        1    72415    120 |  1.708 % |
96.79/96.82	c |    369636 |   37167   248880   568841 |        1    72515    120 |  1.708 % |
96.79/96.82	c |    369736 |   37167   248880   568841 |        1    72615    120 |  1.708 % |
96.79/96.82	c |    369836 |   37167   248880   568841 |        1    72715    121 |  1.708 % |
96.79/96.82	c |    369965 |   37167   248880   568841 |        1    72844    120 |  1.708 % |
96.79/96.82	c |    370065 |   37167   248880   568841 |        1    72944    121 |  1.708 % |
96.79/96.82	c |    370165 |   37167   248880   568841 |        1    73044    121 |  1.708 % |
96.79/96.82	c |    370265 |   37167   248880   568841 |        1    73144    121 |  1.708 % |
96.79/96.82	c |    370388 |   37167   248880   568841 |        1    73267    121 |  1.708 % |
96.79/96.82	c |    370491 |   37167   248880   568841 |        1    73370    121 |  1.708 % |
96.79/96.82	c |    376148 |   37167   248880   568841 |        1    39596     71 |  1.708 % |
96.79/96.82	c |    376248 |   37167   248880   568841 |        1    39696     71 |  1.708 % |
96.79/96.82	c |    377388 |   37167   248880   568841 |        1    40836     72 |  1.708 % |
96.79/96.82	c |    377594 |   37167   248880   568841 |        1    41042     73 |  1.708 % |
96.79/96.82	c |    377694 |   37167   248880   568841 |        1    41142     73 |  1.708 % |
96.79/96.82	c |    377794 |   37167   248880   568841 |        1    41242     73 |  1.708 % |
96.79/96.82	c |    377894 |   37167   248880   568841 |        1    41342     73 |  1.708 % |
96.79/96.82	c |    377996 |   37167   248880   568841 |        1    41444     74 |  1.708 % |
96.79/96.82	c |    379867 |   37167   248880   568841 |        1    43315     81 |  1.708 % |
96.79/96.82	c |    379967 |   37167   248880   568841 |        1    43415     81 |  1.708 % |
96.79/96.82	c |    380069 |   37167   248880   568841 |        1    43517     81 |  1.708 % |
96.79/96.82	c |    380171 |   37167   248880   568841 |        1    43619     81 |  1.708 % |
96.79/96.82	c |    380486 |   37167   248880   568841 |        1    43934     81 |  1.708 % |
96.79/96.82	c |    380588 |   37167   248880   568841 |        1    44036     81 |  1.708 % |
106.38/106.48	c |    382038 |   37167   248880   568841 |        1    45486     82 |  1.708 % |
106.38/106.48	c |    382263 |   37167   248880   568841 |        1    45711     82 |  1.708 % |
106.38/106.48	c |    382364 |   37167   248880   568841 |        1    45812     82 |  1.708 % |
106.38/106.48	c |    382464 |   37167   248880   568841 |        1    45912     82 |  1.708 % |
106.38/106.48	c |    382564 |   37167   248880   568841 |        1    46012     82 |  1.708 % |
106.38/106.48	c |    382666 |   37167   248880   568841 |        1    46114     82 |  1.708 % |
106.38/106.48	c |    383823 |   37167   248880   568841 |        1    47271     83 |  1.708 % |
106.38/106.48	c |    383951 |   37167   248880   568841 |        1    47399     83 |  1.708 % |
106.38/106.48	c |    384052 |   37167   248880   568841 |        1    47500     83 |  1.708 % |
106.38/106.48	c |    384155 |   37167   248880   568841 |        1    47603     83 |  1.708 % |
106.38/106.48	c |    384258 |   37167   248880   568841 |        1    47706     83 |  1.708 % |
106.38/106.48	c |    384359 |   37167   248880   568841 |        1    47807     83 |  1.708 % |
106.38/106.48	c |    384499 |   37167   248880   568841 |        1    47947     83 |  1.708 % |
106.38/106.48	c |    385556 |   37167   248880   568841 |        1    49004     83 |  1.708 % |
106.38/106.48	c |    385701 |   37167   248880   568841 |        1    49149     84 |  1.708 % |
106.38/106.48	c |    385801 |   37167   248880   568841 |        1    49249     85 |  1.708 % |
106.38/106.48	c |    385901 |   37167   248880   568841 |        1    49349     85 |  1.708 % |
106.38/106.48	c |    386049 |   37167   248880   568841 |        1    49497     85 |  1.708 % |
106.38/106.48	c |    386149 |   37167   248880   568841 |        1    49597     86 |  1.708 % |
106.38/106.48	c |    386249 |   37167   248880   568841 |        1    49697     86 |  1.708 % |
106.38/106.48	c |    386349 |   37167   248880   568841 |        1    49797     87 |  1.708 % |
106.38/106.48	c |    386449 |   37167   248880   568841 |        1    49897     87 |  1.708 % |
106.38/106.48	c |    386549 |   37167   248880   568841 |        1    49997     87 |  1.708 % |
106.38/106.48	c |    386649 |   37167   248880   568841 |        1    50097     87 |  1.708 % |
106.38/106.48	c |    386753 |   37167   248880   568841 |        1    50201     87 |  1.708 % |
106.38/106.48	c |    386854 |   37167   248880   568841 |        1    50302     87 |  1.708 % |
106.38/106.48	c |    389221 |   37167   248880   568841 |        1    52669     88 |  1.708 % |
106.38/106.48	c |    414763 |   37167   248880   568841 |        1    78211     81 |  1.708 % |
106.38/106.48	c |    415693 |   37167   248880   568841 |        1    79141     83 |  1.708 % |
106.38/106.48	c |    415795 |   37167   248880   568841 |        1    79243     83 |  1.708 % |
106.38/106.48	c |    415898 |   37167   248880   568841 |        1    79346     83 |  1.708 % |
106.38/106.48	c |    415999 |   37167   248880   568841 |        1    79447     83 |  1.708 % |
106.38/106.48	c |    416101 |   37167   248880   568841 |        1    79549     83 |  1.708 % |
106.38/106.48	c |    416204 |   37167   248880   568841 |        1    79652     83 |  1.708 % |
106.38/106.48	c |    416603 |   37167   248880   568841 |        1    80051     85 |  1.708 % |
106.38/106.48	c |    417459 |   37167   248880   568841 |        1    80907     85 |  1.708 % |
106.38/106.48	c |    417673 |   37167   248880   568841 |        1    81121     86 |  1.708 % |
106.38/106.48	c |    418480 |   37167   248880   568841 |        1    81928     85 |  1.708 % |
106.38/106.48	c |    418580 |   37167   248880   568841 |        1    82028     85 |  1.708 % |
106.38/106.48	c |    418683 |   37167   248880   568841 |        1    82131     85 |  1.708 % |
106.38/106.48	c |    418784 |   37167   248880   568841 |        1    82232     85 |  1.708 % |
106.38/106.48	c |    420211 |   37167   248880   568841 |        1    83659     86 |  1.708 % |
106.38/106.48	c |    420312 |   37167   248880   568841 |        1    83760     86 |  1.708 % |
106.38/106.48	c |    420996 |   37167   248880   568841 |        1    84444     87 |  1.708 % |
106.38/106.48	c |    421260 |   37167   248880   568841 |        1    84708     87 |  1.708 % |
106.38/106.48	c |    421360 |   37167   248880   568841 |        1    84808     87 |  1.708 % |
106.38/106.48	c |    421503 |   37167   248880   568841 |        1    84951     87 |  1.708 % |
106.38/106.48	c |    422745 |   37167   248880   568841 |        1    43672     56 |  1.708 % |
106.38/106.48	c |    422910 |   37167   248880   568841 |        1    43837     56 |  1.708 % |
106.38/106.48	c |    423011 |   37167   248880   568841 |        1    43938     57 |  1.708 % |
111.78/111.80	c |    423171 |   37167   248880   568841 |        1    44098     57 |  1.708 % |
111.78/111.80	c |    423384 |   37167   248880   568841 |        1    44311     57 |  1.708 % |
111.78/111.80	c |    423485 |   37167   248880   568841 |        1    44412     57 |  1.708 % |
111.78/111.80	c |    423586 |   37167   248880   568841 |        1    44513     58 |  1.708 % |
111.78/111.80	c |    429055 |   37167   248880   568841 |        1    49982     59 |  1.708 % |
111.78/111.80	c |    429247 |   37167   248880   568841 |        1    50174     59 |  1.708 % |
111.78/111.80	c |    429347 |   37167   248880   568841 |        1    50274     59 |  1.708 % |
111.78/111.80	c |    429447 |   37167   248880   568841 |        1    50374     60 |  1.708 % |
111.78/111.80	c |    429548 |   37167   248880   568841 |        1    50475     60 |  1.708 % |
111.78/111.80	c |    429900 |   37167   248880   568841 |        1    50827     62 |  1.708 % |
111.78/111.80	c |    430000 |   37167   248880   568841 |        1    50927     62 |  1.708 % |
111.78/111.80	c |    431305 |   37167   248880   568841 |        1    52232     64 |  1.708 % |
111.78/111.80	c |    431461 |   37167   248880   568841 |        1    52388     64 |  1.708 % |
111.78/111.80	c |    431613 |   37167   248880   568841 |        1    52540     64 |  1.708 % |
111.78/111.80	c |    431720 |   37167   248880   568841 |        1    52647     64 |  1.708 % |
111.78/111.80	c |    431820 |   37167   248880   568841 |        1    52747     64 |  1.708 % |
111.78/111.80	c |    433403 |   37167   248880   568841 |        1    54330     64 |  1.708 % |
111.78/111.80	c |    433504 |   37167   248880   568841 |        1    54431     65 |  1.708 % |
111.78/111.80	c |    433606 |   37167   248880   568841 |        1    54533     65 |  1.708 % |
111.78/111.80	c |    434323 |   37167   248880   568841 |        1    55250     65 |  1.708 % |
111.78/111.80	c |    434423 |   37167   248880   568841 |        1    55350     65 |  1.708 % |
111.78/111.80	c |    434526 |   37167   248880   568841 |        1    55453     65 |  1.708 % |
111.78/111.80	c |    434628 |   37167   248880   568841 |        1    55555     66 |  1.708 % |
111.78/111.80	c |    434761 |   37167   248880   568841 |        1    55688     66 |  1.708 % |
111.78/111.80	c |    434861 |   37167   248880   568841 |        1    55788     66 |  1.708 % |
111.78/111.80	c |    434964 |   37167   248880   568841 |        1    55891     66 |  1.708 % |
111.78/111.80	c |    436967 |   37167   248880   568841 |        1    57894     76 |  1.708 % |
111.78/111.80	c |    437067 |   37167   248880   568841 |        1    57994     76 |  1.708 % |
111.78/111.80	c |    437499 |   37167   248880   568841 |        1    58426     76 |  1.708 % |
111.78/111.80	c |    437940 |   37167   248880   568841 |        1    58867     78 |  1.708 % |
111.78/111.80	c |    438042 |   37167   248880   568841 |        1    58969     79 |  1.708 % |
111.78/111.80	c |    438144 |   37167   248880   568841 |        1    59071     79 |  1.708 % |
111.78/111.80	c |    438244 |   37167   248880   568841 |        1    59171     79 |  1.708 % |
111.78/111.80	c |    438344 |   37167   248880   568841 |        1    59271     79 |  1.708 % |
111.78/111.80	c |    438484 |   37167   248880   568841 |        1    59411     79 |  1.708 % |
111.78/111.80	c |    439736 |   37167   248880   568841 |        1    60663     79 |  1.708 % |
111.78/111.80	c |    439836 |   37167   248880   568841 |        1    60763     79 |  1.708 % |
111.78/111.80	c |    439936 |   37167   248880   568841 |        1    60863     79 |  1.708 % |
111.78/111.80	c |    440038 |   37167   248880   568841 |        1    60965     79 |  1.708 % |
111.78/111.80	c |    441268 |   37167   248880   568841 |        1    62195     79 |  1.708 % |
111.78/111.80	c |    441924 |   37167   248880   568841 |        1    62851     80 |  1.708 % |
111.78/111.80	c |    442133 |   37167   248880   568841 |        1    63060     80 |  1.708 % |
111.78/111.80	c |    442233 |   37167   248880   568841 |        1    63160     80 |  1.708 % |
111.78/111.80	c |    442517 |   37167   248880   568841 |        1    63444     81 |  1.708 % |
111.78/111.80	c |    442645 |   37167   248880   568841 |        1    63572     81 |  1.708 % |
111.78/111.80	c |    443068 |   37167   248880   568841 |        1    63995     81 |  1.708 % |
111.78/111.80	c |    443317 |   37167   248880   568841 |        1    64244     81 |  1.708 % |
111.78/111.80	c |    443417 |   37167   248880   568841 |        1    64344     82 |  1.708 % |
111.78/111.80	c |    444170 |   37167   248880   568841 |        1    65097     81 |  1.708 % |
111.78/111.80	c |    444518 |   37167   248880   568841 |        1    65445     82 |  1.708 % |
121.28/121.34	c |    444619 |   37167   248880   568841 |        1    65546     82 |  1.708 % |
121.28/121.34	c |    444723 |   37167   248880   568841 |        1    65650     83 |  1.708 % |
121.28/121.34	c |    444884 |   37167   248880   568841 |        1    65811     83 |  1.708 % |
121.28/121.34	c |    446161 |   37167   248880   568841 |        1    67088     88 |  1.708 % |
121.28/121.34	c |    446261 |   37167   248880   568841 |        1    67188     88 |  1.708 % |
121.28/121.34	c |    446362 |   37167   248880   568841 |        1    67289     88 |  1.708 % |
121.28/121.34	c |    446981 |   37167   248880   568841 |        1    67908     88 |  1.708 % |
121.28/121.34	c |    447083 |   37167   248880   568841 |        1    68010     88 |  1.708 % |
121.28/121.34	c |    447183 |   37167   248880   568841 |        1    68110     88 |  1.708 % |
121.28/121.34	c |    447284 |   37167   248880   568841 |        1    68211     88 |  1.708 % |
121.28/121.34	c |    450503 |   37167   248880   568841 |        1    71430     87 |  1.708 % |
121.28/121.34	c |    451752 |   37167   248880   568841 |        1    72679     87 |  1.708 % |
121.28/121.34	c |    451855 |   37167   248880   568841 |        1    72782     87 |  1.708 % |
121.28/121.34	c |    454579 |   37167   248880   568841 |        1    75506     89 |  1.708 % |
121.28/121.34	c |    454756 |   37167   248880   568841 |        1    75683     89 |  1.708 % |
121.28/121.34	c |    454860 |   37167   248880   568841 |        1    75787     89 |  1.708 % |
121.28/121.34	c |    459597 |   37167   248880   568841 |        1    80524     95 |  1.708 % |
121.28/121.34	c |    459697 |   37167   248880   568841 |        1    80624     95 |  1.708 % |
121.28/121.34	c |    459797 |   37167   248880   568841 |        1    80724     95 |  1.708 % |
121.28/121.34	c |    463851 |   37167   248880   568841 |        1    84778     95 |  1.708 % |
121.28/121.34	c |    463953 |   37167   248880   568841 |        1    84880     95 |  1.708 % |
121.28/121.34	c |    465636 |   37167   248880   568841 |        1    86563     94 |  1.708 % |
121.28/121.34	c |    465751 |   37167   248880   568841 |        1    86678     95 |  1.708 % |
121.28/121.34	c |    465852 |   37167   248880   568841 |        1    86779     95 |  1.708 % |
121.28/121.34	c |    465953 |   37167   248880   568841 |        1    86880     95 |  1.708 % |
121.28/121.34	c |    466054 |   37167   248880   568841 |        1    86981     94 |  1.708 % |
121.28/121.34	c |    466158 |   37167   248880   568841 |        1    87085     94 |  1.708 % |
121.28/121.34	c |    466258 |   37167   248880   568841 |        1    87185     94 |  1.708 % |
121.28/121.34	c |    466359 |   37167   248880   568841 |        1    87286     94 |  1.708 % |
121.28/121.34	c |    466563 |   37167   248880   568841 |        1    87490     95 |  1.708 % |
121.28/121.34	c |    468545 |   37167   248880   568841 |        1    89472     94 |  1.708 % |
121.28/121.34	c |    468647 |   37167   248880   568841 |        1    89574     94 |  1.708 % |
121.28/121.34	c |    468748 |   37167   248880   568841 |        1    89675     94 |  1.708 % |
121.28/121.34	c |    469332 |   37167   248880   568841 |        1    90259     95 |  1.708 % |
121.28/121.34	c |    469526 |   37167   248880   568841 |        1    90453     95 |  1.708 % |
121.28/121.34	c |    469627 |   37167   248880   568841 |        1    90554     95 |  1.708 % |
121.28/121.34	c |    469854 |   37167   248880   568841 |        1    45425     57 |  1.708 % |
121.28/121.34	c |    471224 |   37167   248880   568841 |        1    46795     58 |  1.708 % |
121.28/121.34	c |    471324 |   37167   248880   568841 |        1    46895     58 |  1.708 % |
121.28/121.34	c |    471425 |   37167   248880   568841 |        1    46996     58 |  1.708 % |
121.28/121.34	c |    471525 |   37167   248880   568841 |        1    47096     58 |  1.708 % |
121.28/121.34	c |    471625 |   37167   248880   568841 |        1    47196     59 |  1.708 % |
121.28/121.34	c |    471726 |   37167   248880   568841 |        1    47297     59 |  1.708 % |
121.28/121.34	c |    474040 |   37167   248880   568841 |        1    49611     60 |  1.708 % |
121.28/121.34	c |    474209 |   37167   248880   568841 |        1    49780     60 |  1.708 % |
121.28/121.34	c |    475149 |   37167   248880   568841 |        1    50720     62 |  1.708 % |
121.28/121.34	c |    475253 |   37167   248880   568841 |        1    50824     62 |  1.708 % |
121.28/121.34	c |    475370 |   37167   248880   568841 |        1    50941     62 |  1.708 % |
121.28/121.34	c |    475642 |   37167   248880   568841 |        1    51213     63 |  1.708 % |
121.28/121.34	c |    476717 |   37167   248880   568841 |        1    52288     63 |  1.708 % |
146.08/146.14	c |    476817 |   37167   248880   568841 |        1    52388     64 |  1.708 % |
146.08/146.14	c |    477209 |   37167   248880   568841 |        1    52780     64 |  1.708 % |
146.08/146.14	c |    477309 |   37167   248880   568841 |        1    52880     64 |  1.708 % |
146.08/146.14	c |    477409 |   37167   248880   568841 |        1    52980     64 |  1.708 % |
146.08/146.14	c |    477509 |   37167   248880   568841 |        1    53080     65 |  1.708 % |
146.08/146.14	c |    477613 |   37167   248880   568841 |        1    53184     65 |  1.708 % |
146.08/146.14	c |    477713 |   37167   248880   568841 |        1    53284     65 |  1.708 % |
146.08/146.14	c |    477819 |   37167   248880   568841 |        1    53390     66 |  1.708 % |
146.08/146.14	c |    477966 |   37167   248880   568841 |        1    53537     66 |  1.708 % |
146.08/146.14	c |    501304 |   37160   248879   568833 |        1    60329     74 |  1.727 % |
146.08/146.14	c |    502306 |   37160   248879   568833 |        1    61331     73 |  1.727 % |
146.08/146.14	c |    502794 |   37160   248879   568833 |        1    61819     73 |  1.727 % |
146.08/146.14	c |    502898 |   37160   248879   568833 |        1    61923     73 |  1.727 % |
146.08/146.14	c |    523275 |   37160   248879   568833 |        1    42492     48 |  1.727 % |
146.08/146.14	c |    524535 |   37160   248879   568833 |        1    43752     50 |  1.727 % |
146.08/146.14	c |    524636 |   37160   248879   568833 |        1    43853     50 |  1.727 % |
146.08/146.14	c |    524738 |   37160   248879   568833 |        1    43955     50 |  1.727 % |
146.08/146.14	c |    524838 |   37160   248879   568833 |        1    44055     51 |  1.727 % |
146.08/146.14	c |    524943 |   37160   248879   568833 |        1    44160     51 |  1.727 % |
146.08/146.14	c |    525158 |   37160   248879   568833 |        1    44375     51 |  1.727 % |
146.08/146.14	c |    525598 |   37160   248879   568833 |        1    44815     52 |  1.727 % |
146.08/146.14	c |    525956 |   37160   248879   568833 |        1    45173     52 |  1.727 % |
146.08/146.14	c |    530576 |   37160   248879   568833 |        1    49793     62 |  1.727 % |
146.08/146.14	c |    530677 |   37160   248879   568833 |        1    49894     62 |  1.727 % |
146.08/146.14	c |    530788 |   37160   248879   568833 |        1    50005     62 |  1.727 % |
146.08/146.14	c |    530888 |   37160   248879   568833 |        1    50105     62 |  1.727 % |
146.08/146.14	c |    531895 |   37160   248879   568833 |        1    51112     63 |  1.727 % |
146.08/146.14	c |    532068 |   37160   248879   568833 |        1    51285     63 |  1.727 % |
146.08/146.14	c |    532202 |   37160   248879   568833 |        1    51419     63 |  1.727 % |
146.08/146.14	c |    535842 |   37160   248879   568833 |        1    55059     64 |  1.727 % |
146.08/146.14	c |    535942 |   37160   248879   568833 |        1    55159     64 |  1.727 % |
146.08/146.14	c |    536955 |   37160   248879   568833 |        1    56172     65 |  1.727 % |
146.08/146.14	c |    537056 |   37160   248879   568833 |        1    56273     65 |  1.727 % |
146.08/146.14	c |    539433 |   37160   248879   568833 |        1    58650     66 |  1.727 % |
146.08/146.14	c |    539534 |   37160   248879   568833 |        1    58751     66 |  1.727 % |
146.08/146.14	c |    539634 |   37160   248879   568833 |        1    58851     66 |  1.727 % |
146.08/146.14	c |    539734 |   37160   248879   568833 |        1    58951     67 |  1.727 % |
146.08/146.14	c |    539834 |   37160   248879   568833 |        1    59051     67 |  1.727 % |
146.08/146.14	c |    539934 |   37160   248879   568833 |        1    59151     67 |  1.727 % |
146.08/146.14	c |    546230 |   37160   248879   568833 |        1    65447     70 |  1.727 % |
146.08/146.14	c |    546331 |   37160   248879   568833 |        1    65548     70 |  1.727 % |
146.08/146.14	c |    547165 |   37160   248879   568833 |        1    66382     74 |  1.727 % |
146.08/146.14	c |    547268 |   37160   248879   568833 |        1    66485     74 |  1.727 % |
146.08/146.14	c |    547368 |   37160   248879   568833 |        1    66585     74 |  1.727 % |
146.08/146.14	c |    547468 |   37160   248879   568833 |        1    66685     74 |  1.727 % |
146.08/146.14	c |    548097 |   37160   248879   568833 |        1    67314     75 |  1.727 % |
146.08/146.14	c |    548197 |   37160   248879   568833 |        1    67414     75 |  1.727 % |
146.08/146.14	c |    563876 |   37160   248879   568833 |        1    83093     77 |  1.727 % |
146.08/146.14	c |    563977 |   37160   248879   568833 |        1    83194     77 |  1.727 % |
146.08/146.14	c |    564078 |   37160   248879   568833 |        1    83295     77 |  1.727 % |
159.68/159.78	c |    564178 |   37160   248879   568833 |        1    83395     78 |  1.727 % |
159.68/159.78	c |    564705 |   37160   248879   568833 |        1    83922     78 |  1.727 % |
159.68/159.78	c |    564842 |   37160   248879   568833 |        1    84059     78 |  1.727 % |
159.68/159.78	c |    566139 |   37160   248879   568833 |        1    85356     82 |  1.727 % |
159.68/159.78	c |    566240 |   37160   248879   568833 |        1    85457     82 |  1.727 % |
159.68/159.78	c |    566341 |   37160   248879   568833 |        1    85558     82 |  1.727 % |
159.68/159.78	c |    566441 |   37160   248879   568833 |        1    85658     82 |  1.727 % |
159.68/159.78	c |    566928 |   37160   248879   568833 |        1    86145     82 |  1.727 % |
159.68/159.78	c |    567030 |   37160   248879   568833 |        1    86247     82 |  1.727 % |
159.68/159.78	c |    567131 |   37160   248879   568833 |        1    86348     82 |  1.727 % |
159.68/159.78	c |    567231 |   37160   248879   568833 |        1    86448     82 |  1.727 % |
159.68/159.78	c |    567421 |   37160   248879   568833 |        1    86638     82 |  1.727 % |
159.68/159.78	c |    568460 |   37160   248879   568833 |        1    87677     82 |  1.727 % |
159.68/159.78	c |    570852 |   37160   248879   568833 |        1    90069     82 |  1.727 % |
159.68/159.78	c |    570953 |   37160   248879   568833 |        1    90170     82 |  1.727 % |
159.68/159.78	c |    580945 |   37160   248879   568833 |        1    53558     55 |  1.727 % |
159.68/159.78	c |    581046 |   37160   248879   568833 |        1    53659     55 |  1.727 % |
159.68/159.78	c |    581150 |   37160   248879   568833 |        1    53763     56 |  1.727 % |
159.68/159.78	c |    581519 |   37160   248879   568833 |        1    54132     56 |  1.727 % |
159.68/159.78	c |    581626 |   37160   248879   568833 |        1    54239     56 |  1.727 % |
159.68/159.78	c |    581726 |   37160   248879   568833 |        1    54339     56 |  1.727 % |
159.68/159.78	c |    593407 |   37160   248879   568833 |        1    66020     71 |  1.727 % |
159.68/159.78	c |    593609 |   37160   248879   568833 |        1    66222     71 |  1.727 % |
159.68/159.78	c |    593712 |   37160   248879   568833 |        1    66325     71 |  1.727 % |
159.68/159.78	c |    593815 |   37160   248879   568833 |        1    66428     71 |  1.727 % |
159.68/159.78	c |    595140 |   37160   248879   568833 |        1    67753     72 |  1.727 % |
159.68/159.78	c |    595241 |   37160   248879   568833 |        1    67854     72 |  1.727 % |
159.68/159.78	c |    595673 |   37160   248879   568833 |        1    68286     72 |  1.727 % |
159.68/159.78	c |    595781 |   37160   248879   568833 |        1    68394     72 |  1.727 % |
159.68/159.78	c |    595881 |   37160   248879   568833 |        1    68494     72 |  1.727 % |
159.68/159.78	c |    595981 |   37160   248879   568833 |        1    68594     72 |  1.727 % |
159.68/159.78	c |    596344 |   37160   248879   568833 |        1    68957     73 |  1.727 % |
159.68/159.78	c |    596705 |   37160   248879   568833 |        1    69318     73 |  1.727 % |
159.68/159.78	c |    596805 |   37160   248879   568833 |        1    69418     73 |  1.727 % |
159.68/159.78	c |    598824 |   37160   248879   568833 |        1    71437     73 |  1.727 % |
159.68/159.78	c |    598924 |   37160   248879   568833 |        1    71537     73 |  1.727 % |
159.68/159.78	c |    599024 |   37160   248879   568833 |        1    71637     73 |  1.727 % |
159.68/159.78	c |    604005 |   37160   248879   568833 |        1    76618     76 |  1.727 % |
159.68/159.78	c |    604110 |   37160   248879   568833 |        1    76723     76 |  1.727 % |
159.68/159.78	c |    604212 |   37160   248879   568833 |        1    76825     76 |  1.727 % |
159.68/159.78	c |    605283 |   37160   248879   568833 |        1    77896     77 |  1.727 % |
159.68/159.78	c |    605383 |   37160   248879   568833 |        1    77996     78 |  1.727 % |
159.68/159.78	c |    605518 |   37160   248879   568833 |        1    78131     78 |  1.727 % |
159.68/159.78	c |    606617 |   37160   248879   568833 |        1    79230     80 |  1.727 % |
159.68/159.78	c |    606718 |   37160   248879   568833 |        1    79331     80 |  1.727 % |
159.68/159.78	c |    606936 |   37160   248879   568833 |        1    79549     81 |  1.727 % |
159.68/159.78	c |    607037 |   37160   248879   568833 |        1    79650     81 |  1.727 % |
159.68/159.78	c |    607361 |   37160   248879   568833 |        1    79974     81 |  1.727 % |
159.68/159.78	c |    607469 |   37160   248879   568833 |        1    80082     81 |  1.727 % |
159.68/159.78	c |    607570 |   37160   248879   568833 |        1    80183     81 |  1.727 % |
185.79/185.86	c |    610014 |   37160   248879   568833 |        1    82627     82 |  1.727 % |
185.79/185.86	c |    610114 |   37160   248879   568833 |        1    82727     82 |  1.727 % |
185.79/185.86	c |    616865 |   37160   248879   568833 |        1    89478     94 |  1.727 % |
185.79/185.86	c |    619283 |   37160   248879   568833 |        1    91896     99 |  1.727 % |
185.79/185.86	c |    619384 |   37160   248879   568833 |        1    91997     99 |  1.727 % |
185.79/185.86	c |    619646 |   37160   248879   568833 |        1    92259    100 |  1.727 % |
185.79/185.86	c |    619747 |   37160   248879   568833 |        1    92360    100 |  1.727 % |
185.79/185.86	c |    620123 |   37160   248879   568833 |        1    92736    100 |  1.727 % |
185.79/185.86	c |    620223 |   37160   248879   568833 |        1    92836    100 |  1.727 % |
185.79/185.86	c |    623017 |   37160   248879   568833 |        1    95630    104 |  1.727 % |
185.79/185.86	c |    623150 |   37160   248879   568833 |        1    95763    104 |  1.727 % |
185.79/185.86	c |    625550 |   37160   248879   568833 |        1    98163    105 |  1.727 % |
185.79/185.86	c |    625650 |   37160   248879   568833 |        1    98263    105 |  1.727 % |
185.79/185.86	c |    626906 |   37160   248879   568833 |        1    99519    105 |  1.727 % |
185.79/185.86	c |    630737 |   37160   248879   568833 |        1    52045     69 |  1.727 % |
185.79/185.86	c |    631948 |   37159   248879   568833 |        1    53254     70 |  1.730 % |
185.79/185.86	c |    632048 |   37159   248879   568833 |        1    53354     70 |  1.730 % |
185.79/185.86	c |    632148 |   37159   248879   568833 |        1    53454     70 |  1.730 % |
185.79/185.86	c |    632256 |   37159   248879   568833 |        1    53562     70 |  1.730 % |
185.79/185.86	c |    635218 |   37159   248879   568833 |        1    56524     70 |  1.730 % |
185.79/185.86	c |    635318 |   37159   248879   568833 |        1    56624     71 |  1.730 % |
185.79/185.86	c |    635948 |   37159   248879   568833 |        1    57254     71 |  1.730 % |
185.79/185.86	c |    636050 |   37159   248879   568833 |        1    57356     71 |  1.730 % |
185.79/185.86	c |    636710 |   37159   248879   568833 |        1    58016     72 |  1.730 % |
185.79/185.86	c |    637266 |   37159   248879   568833 |        1    58572     72 |  1.730 % |
185.79/185.86	c |    637367 |   37159   248879   568833 |        1    58673     72 |  1.730 % |
185.79/185.86	c |    637472 |   37159   248879   568833 |        1    58778     72 |  1.730 % |
185.79/185.86	c |    652396 |   37159   248879   568833 |        1    73702     73 |  1.730 % |
185.79/185.86	c |    653364 |   37159   248879   568833 |        1    74670     75 |  1.730 % |
185.79/185.86	c |    658379 |   37159   248879   568833 |        1    79685     75 |  1.730 % |
185.79/185.86	c |    658480 |   37159   248879   568833 |        1    79786     75 |  1.730 % |
185.79/185.86	c |    658580 |   37159   248879   568833 |        1    79886     75 |  1.730 % |
185.79/185.86	c |    658680 |   37159   248879   568833 |        1    79986     75 |  1.730 % |
185.79/185.86	c |    659916 |   37159   248879   568833 |        1    81222     74 |  1.730 % |
185.79/185.86	c |    660017 |   37159   248879   568833 |        1    81323     74 |  1.730 % |
185.79/185.86	c |    660120 |   37159   248879   568833 |        1    81426     74 |  1.730 % |
185.79/185.86	c |    660332 |   37159   248879   568833 |        1    81638     74 |  1.730 % |
185.79/185.86	c |    660435 |   37159   248879   568833 |        1    81741     75 |  1.730 % |
185.79/185.86	c |    660537 |   37159   248879   568833 |        1    81843     75 |  1.730 % |
185.79/185.86	c |    662866 |   37159   248879   568833 |        1    84172     76 |  1.730 % |
185.79/185.86	c |    662966 |   37159   248879   568833 |        1    84272     76 |  1.730 % |
185.79/185.86	c |    663068 |   37159   248879   568833 |        1    84374     76 |  1.730 % |
185.79/185.86	c |    663169 |   37159   248879   568833 |        1    84475     76 |  1.730 % |
185.79/185.86	c |    663269 |   37159   248879   568833 |        1    84575     76 |  1.730 % |
185.79/185.86	c |    663369 |   37159   248879   568833 |        1    84675     76 |  1.730 % |
185.79/185.86	c |    663623 |   37159   248879   568833 |        1    84929     76 |  1.730 % |
185.79/185.86	c |    676454 |   37159   248879   568833 |        1    97760     76 |  1.730 % |
185.79/185.86	c |    690534 |   37159   248879   568833 |        1    56890     46 |  1.730 % |
185.79/185.86	c |    690737 |   37159   248879   568833 |        1    57093     46 |  1.730 % |
185.79/185.86	c |    690837 |   37159   248879   568833 |        1    57193     46 |  1.730 % |
200.19/200.21	c |    690988 |   37159   248879   568833 |        1    57344     48 |  1.730 % |
200.19/200.21	c |    691088 |   37159   248879   568833 |        1    57444     48 |  1.730 % |
200.19/200.21	c |    691538 |   37159   248879   568833 |        1    57894     50 |  1.730 % |
200.19/200.21	c |    691642 |   37159   248879   568833 |        1    57998     50 |  1.730 % |
200.19/200.21	c |    691748 |   37159   248879   568833 |        1    58104     51 |  1.730 % |
200.19/200.21	c |    691848 |   37159   248879   568833 |        1    58204     51 |  1.730 % |
200.19/200.21	c |    694337 |   37159   248879   568833 |        1    60693     56 |  1.730 % |
200.19/200.21	c |    694519 |   37159   248879   568833 |        1    60875     56 |  1.730 % |
200.19/200.21	c |    694781 |   37159   248879   568833 |        1    61137     56 |  1.730 % |
200.19/200.21	c |    694884 |   37159   248879   568833 |        1    61240     57 |  1.730 % |
200.19/200.21	c |    695045 |   37159   248879   568833 |        1    61401     57 |  1.730 % |
200.19/200.21	c |    695145 |   37159   248879   568833 |        1    61501     57 |  1.730 % |
200.19/200.21	c |    698122 |   37159   248879   568833 |        1    64478     58 |  1.730 % |
200.19/200.21	c |    698225 |   37159   248879   568833 |        1    64581     58 |  1.730 % |
200.19/200.21	c |    705964 |   37159   248879   568833 |        1    72320     59 |  1.730 % |
200.19/200.21	c |    706064 |   37159   248879   568833 |        1    72420     59 |  1.730 % |
200.19/200.21	c |    706364 |   37159   248879   568833 |        1    72720     60 |  1.730 % |
200.19/200.21	c |    709800 |   37159   248879   568833 |        1    76156     60 |  1.730 % |
200.19/200.21	c |    710128 |   37159   248879   568833 |        1    76484     60 |  1.730 % |
200.19/200.21	c |    722084 |   37159   248879   568833 |        1    88440     60 |  1.730 % |
200.19/200.21	c |    728657 |   37159   248879   568833 |        1    95013     62 |  1.730 % |
200.19/200.21	c |    729395 |   37159   248879   568833 |        1    95751     63 |  1.730 % |
200.19/200.21	c |    729539 |   37159   248879   568833 |        1    95895     63 |  1.730 % |
200.19/200.21	c |    729675 |   37159   248879   568833 |        1    96031     63 |  1.730 % |
200.19/200.21	c |    729776 |   37159   248879   568833 |        1    96132     63 |  1.730 % |
200.19/200.21	c |    731203 |   37159   248879   568833 |        1    97559     64 |  1.730 % |
200.19/200.21	c |    731304 |   37159   248879   568833 |        1    97660     64 |  1.730 % |
200.19/200.21	c |    732712 |   37159   248879   568833 |        1    99068     64 |  1.730 % |
200.19/200.21	c |    732812 |   37159   248879   568833 |        1    99168     64 |  1.730 % |
200.19/200.21	c |    732912 |   37159   248879   568833 |        1    99268     64 |  1.730 % |
200.19/200.21	c |    733012 |   37159   248879   568833 |        1    99368     64 |  1.730 % |
200.19/200.21	c |    733113 |   37159   248879   568833 |        1    99469     64 |  1.730 % |
200.19/200.21	c |    733217 |   37159   248879   568833 |        1    99573     64 |  1.730 % |
200.19/200.21	c |    733317 |   37159   248879   568833 |        1    99673     64 |  1.730 % |
200.19/200.21	c |    733706 |   37159   248879   568833 |        1   100062     64 |  1.730 % |
200.19/200.21	c |    733807 |   37159   248879   568833 |        1   100163     64 |  1.730 % |
200.19/200.21	c |    733919 |   37159   248879   568833 |        1   100275     65 |  1.730 % |
200.19/200.21	c |    735101 |   37159   248879   568833 |        1   101457     64 |  1.730 % |
200.19/200.21	c |    735201 |   37159   248879   568833 |        1   101557     65 |  1.730 % |
200.19/200.21	c |    735301 |   37159   248879   568833 |        1   101657     65 |  1.730 % |
200.19/200.21	c |    735632 |   37159   248879   568833 |        1   101988     65 |  1.730 % |
200.19/200.21	c |    735736 |   37159   248879   568833 |        1   102092     65 |  1.730 % |
200.19/200.21	c |    735837 |   37159   248879   568833 |        1   102193     65 |  1.730 % |
200.19/200.21	c |    738985 |   37098   248877   568769 |        1   105336     67 |  1.891 % |
200.19/200.21	c |    739086 |   37098   248877   568769 |        1   105437     67 |  1.891 % |
200.19/200.21	c |    739722 |   37098   248877   568769 |        1   106073     67 |  1.891 % |
200.19/200.21	c |    743205 |   37098   248877   568769 |        1   109556     69 |  1.891 % |
200.19/200.21	c |    743305 |   37098   248877   568769 |        1   109656     69 |  1.891 % |
200.19/200.21	c |    743405 |   37098   248877   568769 |        1   109756     69 |  1.891 % |
200.19/200.21	c |    743505 |   37098   248877   568769 |        1   109856     69 |  1.891 % |
214.89/214.92	c |    743605 |   37098   248877   568769 |        1   109956     69 |  1.891 % |
214.89/214.92	c |    744633 |   37098   248877   568769 |        1   110984     70 |  1.891 % |
214.89/214.92	c |    744735 |   37098   248877   568769 |        1   111086     70 |  1.891 % |
214.89/214.92	c |    744856 |   37098   248877   568769 |        1   111207     70 |  1.891 % |
214.89/214.92	c |    746093 |   37098   248877   568769 |        1   112444     70 |  1.891 % |
214.89/214.92	c |    746193 |   37098   248877   568769 |        1   112544     70 |  1.891 % |
214.89/214.92	c |    746743 |   37098   248877   568769 |        1   113094     71 |  1.891 % |
214.89/214.92	c |    747179 |   37098   248877   568769 |        1   113530     71 |  1.891 % |
214.89/214.92	c |    747300 |   37098   248877   568769 |        1   113651     71 |  1.891 % |
214.89/214.92	c |    747402 |   37098   248877   568769 |        1   113753     71 |  1.891 % |
214.89/214.92	c |    747506 |   37098   248877   568769 |        1   113857     71 |  1.891 % |
214.89/214.92	c |    750151 |   37098   248877   568769 |        1    58431     48 |  1.891 % |
214.89/214.92	c |    751177 |   37098   248877   568769 |        1    59457     48 |  1.891 % |
214.89/214.92	c |    751300 |   37098   248877   568769 |        1    59580     48 |  1.891 % |
214.89/214.92	c |    756444 |   37098   248877   568769 |        1    64724     50 |  1.891 % |
214.89/214.92	c |    756546 |   37098   248877   568769 |        1    64826     50 |  1.891 % |
214.89/214.92	c |    756646 |   37098   248877   568769 |        1    64926     50 |  1.891 % |
214.89/214.92	c |    756747 |   37098   248877   568769 |        1    65027     50 |  1.891 % |
214.89/214.92	c |    757593 |   37098   248877   568769 |        1    65873     50 |  1.891 % |
214.89/214.92	c |    757694 |   37098   248877   568769 |        1    65974     50 |  1.891 % |
214.89/214.92	c |    757801 |   37098   248877   568769 |        1    66081     50 |  1.891 % |
214.89/214.92	c |    758038 |   37098   248877   568769 |        1    66318     51 |  1.891 % |
214.89/214.92	c |    763214 |   37098   248877   568769 |        1    71494     54 |  1.891 % |
214.89/214.92	c |    763314 |   37098   248877   568769 |        1    71594     54 |  1.891 % |
214.89/214.92	c |    763415 |   37098   248877   568769 |        1    71695     54 |  1.891 % |
214.89/214.92	c |    763563 |   37098   248877   568769 |        1    71843     54 |  1.891 % |
214.89/214.92	c |    764022 |   37098   248877   568769 |        1    72302     55 |  1.891 % |
214.89/214.92	c |    764123 |   37098   248877   568769 |        1    72403     55 |  1.891 % |
214.89/214.92	c |    764604 |   37098   248877   568769 |        1    72884     56 |  1.891 % |
214.89/214.92	c |    764741 |   37098   248877   568769 |        1    73021     56 |  1.891 % |
214.89/214.92	c |    764987 |   37098   248877   568769 |        1    73267     56 |  1.891 % |
214.89/214.92	c |    765558 |   37098   248877   568769 |        1    73838     56 |  1.891 % |
214.89/214.92	c |    768655 |   37098   248877   568769 |        1    76935     65 |  1.891 % |
214.89/214.92	c |    768872 |   37098   248877   568769 |        1    77152     65 |  1.891 % |
214.89/214.92	c |    769321 |   37098   248877   568769 |        1    77601     66 |  1.891 % |
214.89/214.92	c |    773948 |   37098   248877   568769 |        1    82228     66 |  1.891 % |
214.89/214.92	c |    785903 |   37098   248877   568769 |        1    94183     67 |  1.891 % |
214.89/214.92	c |    787227 |   37098   248877   568769 |        1    95507     67 |  1.891 % |
214.89/214.92	c |    787328 |   37098   248877   568769 |        1    95608     67 |  1.891 % |
214.89/214.92	c |    787625 |   37098   248877   568769 |        1    95905     67 |  1.891 % |
214.89/214.92	c |    787840 |   37098   248877   568769 |        1    96120     67 |  1.891 % |
214.89/214.92	c |    788029 |   37098   248877   568769 |        1    96309     68 |  1.891 % |
214.89/214.92	c |    788131 |   37098   248877   568769 |        1    96411     68 |  1.891 % |
214.89/214.92	c |    788231 |   37098   248877   568769 |        1    96511     68 |  1.891 % |
214.89/214.92	c |    788331 |   37098   248877   568769 |        1    96611     68 |  1.891 % |
214.89/214.92	c |    790333 |   37098   248877   568769 |        1    98613     71 |  1.891 % |
214.89/214.92	c |    790433 |   37098   248877   568769 |        1    98713     71 |  1.891 % |
214.89/214.92	c |    790535 |   37098   248877   568769 |        1    98815     71 |  1.891 % |
214.89/214.92	c |    790718 |   37098   248877   568769 |        1    98998     71 |  1.891 % |
214.89/214.92	c |    790818 |   37098   248877   568769 |        1    99098     71 |  1.891 % |
240.89/240.98	c |    790930 |   37098   248877   568769 |        1    99210     71 |  1.891 % |
240.89/240.98	c |    791034 |   37098   248877   568769 |        1    99314     71 |  1.891 % |
240.89/240.98	c |    791586 |   37098   248877   568769 |        1    99866     72 |  1.891 % |
240.89/240.98	c |    791818 |   37098   248877   568769 |        1   100098     72 |  1.891 % |
240.89/240.98	c |    792010 |   37098   248877   568769 |        1   100290     72 |  1.891 % |
240.89/240.98	c |    792118 |   37098   248877   568769 |        1   100398     72 |  1.891 % |
240.89/240.98	c |    792242 |   37098   248877   568769 |        1   100522     72 |  1.891 % |
240.89/240.98	c |    792342 |   37098   248877   568769 |        1   100622     72 |  1.891 % |
240.89/240.98	c |    809393 |   37091   248876   568761 |        1   106709     74 |  1.909 % |
240.89/240.98	c |    809494 |   37091   248876   568761 |        1   106810     74 |  1.909 % |
240.89/240.98	c |    809596 |   37091   248876   568761 |        1   106912     74 |  1.909 % |
240.89/240.98	c |    810052 |   37091   248876   568761 |        1   107368     74 |  1.909 % |
240.89/240.98	c |    810579 |   37091   248876   568761 |        1   107895     74 |  1.909 % |
240.89/240.98	c |    810681 |   37091   248876   568761 |        1   107997     74 |  1.909 % |
240.89/240.98	c |    810782 |   37091   248876   568761 |        1   108098     74 |  1.909 % |
240.89/240.98	c |    812052 |   37091   248876   568761 |        1   109368     75 |  1.909 % |
240.89/240.98	c |    812152 |   37091   248876   568761 |        1   109468     75 |  1.909 % |
240.89/240.98	c |    812376 |   37091   248876   568761 |        1   109692     75 |  1.909 % |
240.89/240.98	c |    812610 |   37091   248876   568761 |        1   109926     75 |  1.909 % |
240.89/240.98	c |    816718 |   37091   248876   568761 |        1    58580     50 |  1.909 % |
240.89/240.98	c |    819755 |   37091   248876   568761 |        1    61617     53 |  1.909 % |
240.89/240.98	c |    819855 |   37091   248876   568761 |        1    61717     53 |  1.909 % |
240.89/240.98	c |    820243 |   37091   248876   568761 |        1    62105     53 |  1.909 % |
240.89/240.98	c |    820345 |   37091   248876   568761 |        1    62207     53 |  1.909 % |
240.89/240.98	c |    821849 |   37091   248876   568761 |        1    63711     55 |  1.909 % |
240.89/240.98	c |    824150 |   37091   248876   568761 |        1    66012     55 |  1.909 % |
240.89/240.98	c |    824252 |   37091   248876   568761 |        1    66114     55 |  1.909 % |
240.89/240.98	c |    824355 |   37091   248876   568761 |        1    66217     55 |  1.909 % |
240.89/240.98	c |    824456 |   37091   248876   568761 |        1    66318     55 |  1.909 % |
240.89/240.98	c |    824582 |   37091   248876   568761 |        1    66444     55 |  1.909 % |
240.89/240.98	c |    838785 |   37091   248876   568761 |        1    80647     66 |  1.909 % |
240.89/240.98	c |    838888 |   37091   248876   568761 |        1    80750     66 |  1.909 % |
240.89/240.98	c |    839014 |   37091   248876   568761 |        1    80876     66 |  1.909 % |
240.89/240.98	c |    839974 |   37091   248876   568761 |        1    81836     66 |  1.909 % |
240.89/240.98	c |    840078 |   37091   248876   568761 |        1    81940     66 |  1.909 % |
240.89/240.98	c |    841020 |   37091   248876   568761 |        1    82882     67 |  1.909 % |
240.89/240.98	c |    841121 |   37091   248876   568761 |        1    82983     67 |  1.909 % |
240.89/240.98	c |    841221 |   37091   248876   568761 |        1    83083     67 |  1.909 % |
240.89/240.98	c |    841323 |   37091   248876   568761 |        1    83185     67 |  1.909 % |
240.89/240.98	c |    849282 |   37091   248876   568761 |        1    91144     72 |  1.909 % |
240.89/240.98	c |    849382 |   37091   248876   568761 |        1    91244     72 |  1.909 % |
240.89/240.98	c |    849826 |   37091   248876   568761 |        1    91688     73 |  1.909 % |
240.89/240.98	c |    849927 |   37091   248876   568761 |        1    91789     73 |  1.909 % |
240.89/240.98	c |    850574 |   37091   248876   568761 |        1    92436     74 |  1.909 % |
240.89/240.98	c |    850674 |   37091   248876   568761 |        1    92536     74 |  1.909 % |
240.89/240.98	c |    867570 |   37091   248876   568761 |        1   109432     73 |  1.909 % |
240.89/240.98	c |    867672 |   37091   248876   568761 |        1   109534     73 |  1.909 % |
240.89/240.98	c |    867775 |   37091   248876   568761 |        1   109637     73 |  1.909 % |
240.89/240.98	c |    869147 |   37091   248876   568761 |        1   111009     74 |  1.909 % |
240.89/240.98	c |    869249 |   37091   248876   568761 |        1   111111     74 |  1.909 % |
270.29/270.34	c |    869351 |   37091   248876   568761 |        1   111213     74 |  1.909 % |
270.29/270.34	c |    869452 |   37091   248876   568761 |        1   111314     74 |  1.909 % |
270.29/270.34	c |    869554 |   37091   248876   568761 |        1   111416     74 |  1.909 % |
270.29/270.34	c |    871518 |   37091   248876   568761 |        1   113380     77 |  1.909 % |
270.29/270.34	c |    871624 |   37091   248876   568761 |        1   113486     77 |  1.909 % |
270.29/270.34	c |    873543 |   37091   248876   568761 |        1   115405     77 |  1.909 % |
270.29/270.34	c |    877097 |   37091   248876   568761 |        1   118959     77 |  1.909 % |
270.29/270.34	c |    877232 |   37091   248876   568761 |        1   119094     77 |  1.909 % |
270.29/270.34	c |    877332 |   37091   248876   568761 |        1   119194     77 |  1.909 % |
270.29/270.34	c |    885500 |   37091   248876   568761 |        1    66436     54 |  1.909 % |
270.29/270.34	c |    886101 |   37091   248876   568761 |        1    67037     55 |  1.909 % |
270.29/270.34	c |    886204 |   37091   248876   568761 |        1    67140     55 |  1.909 % |
270.29/270.34	c |    910669 |   37091   248876   568761 |        1    91605     58 |  1.909 % |
270.29/270.34	c |    910770 |   37091   248876   568761 |        1    91706     58 |  1.909 % |
270.29/270.34	c |    953458 |   37082   248875   568752 |        1    56467     41 |  1.933 % |
270.29/270.34	c |    953560 |   37082   248875   568752 |        1    56569     42 |  1.933 % |
270.29/270.34	c |    953699 |   37082   248875   568752 |        1    56708     42 |  1.933 % |
270.29/270.34	c |    953909 |   37082   248875   568752 |        1    56918     43 |  1.933 % |
270.29/270.34	c |    954579 |   37082   248875   568752 |        1    57588     45 |  1.933 % |
270.29/270.34	c |    954680 |   37082   248875   568752 |        1    57689     45 |  1.933 % |
270.29/270.34	c |    954780 |   37082   248875   568752 |        1    57789     46 |  1.933 % |
270.29/270.34	c |    954880 |   37082   248875   568752 |        1    57889     46 |  1.933 % |
270.29/270.34	c |    955140 |   37082   248875   568752 |        1    58149     46 |  1.933 % |
270.29/270.34	c |    957376 |   37082   248875   568752 |        1    60385     48 |  1.933 % |
270.29/270.34	c |    957476 |   37082   248875   568752 |        1    60485     48 |  1.933 % |
270.29/270.34	c |    958007 |   37082   248875   568752 |        1    61016     50 |  1.933 % |
270.29/270.34	c |    958107 |   37082   248875   568752 |        1    61116     50 |  1.933 % |
270.29/270.34	c |    958213 |   37082   248875   568752 |        1    61222     50 |  1.933 % |
270.29/270.34	c |    958366 |   37082   248875   568752 |        1    61375     50 |  1.933 % |
270.29/270.34	c |    958845 |   37082   248875   568752 |        1    61854     50 |  1.933 % |
270.29/270.34	c |    959329 |   37082   248875   568752 |        1    62338     51 |  1.933 % |
270.29/270.34	c |    959429 |   37082   248875   568752 |        1    62438     51 |  1.933 % |
270.29/270.34	c |    963542 |   37082   248875   568752 |        1    66551     54 |  1.933 % |
270.29/270.34	c |    963645 |   37082   248875   568752 |        1    66654     54 |  1.933 % |
270.29/270.34	c |    963916 |   37082   248875   568752 |        1    66925     54 |  1.933 % |
270.29/270.34	c |    964078 |   37082   248875   568752 |        1    67087     54 |  1.933 % |
270.29/270.34	c |    964296 |   37082   248875   568752 |        1    67305     54 |  1.933 % |
270.29/270.34	c |    964396 |   37082   248875   568752 |        1    67405     54 |  1.933 % |
270.29/270.34	c |    964497 |   37082   248875   568752 |        1    67506     54 |  1.933 % |
270.29/270.34	c |    964597 |   37082   248875   568752 |        1    67606     54 |  1.933 % |
270.29/270.34	c |    964697 |   37082   248875   568752 |        1    67706     54 |  1.933 % |
270.29/270.34	c |    965102 |   37082   248875   568752 |        1    68111     55 |  1.933 % |
270.29/270.34	c |    965205 |   37082   248875   568752 |        1    68214     56 |  1.933 % |
270.29/270.34	c |    965379 |   37082   248875   568752 |        1    68388     56 |  1.933 % |
270.29/270.34	c |    965574 |   37082   248875   568752 |        1    68583     56 |  1.933 % |
270.29/270.34	c |    965916 |   37082   248875   568752 |        1    68925     56 |  1.933 % |
270.29/270.34	c |    968032 |   37082   248875   568752 |        1    71041     56 |  1.933 % |
270.29/270.34	c |    968776 |   37082   248875   568752 |        1    71785     56 |  1.933 % |
270.29/270.34	c |    969104 |   37082   248875   568752 |        1    72113     56 |  1.933 % |
270.29/270.34	c |    969208 |   37082   248875   568752 |        1    72217     56 |  1.933 % |
294.09/294.10	c |    969308 |   37082   248875   568752 |        1    72317     56 |  1.933 % |
294.09/294.10	c |    969408 |   37082   248875   568752 |        1    72417     57 |  1.933 % |
294.09/294.10	c |    969534 |   37082   248875   568752 |        1    72543     57 |  1.933 % |
294.09/294.10	c |    969635 |   37082   248875   568752 |        1    72644     57 |  1.933 % |
294.09/294.10	c |    969818 |   37082   248875   568752 |        1    72827     58 |  1.933 % |
294.09/294.10	c |    978322 |   37082   248875   568752 |        1    81331     59 |  1.933 % |
294.09/294.10	c |    978994 |   37082   248875   568752 |        1    82003     60 |  1.933 % |
294.09/294.10	c |    979094 |   37082   248875   568752 |        1    82103     60 |  1.933 % |
294.09/294.10	c |    979197 |   37082   248875   568752 |        1    82206     60 |  1.933 % |
294.09/294.10	c |    979299 |   37082   248875   568752 |        1    82308     60 |  1.933 % |
294.09/294.10	c |    979399 |   37082   248875   568752 |        1    82408     60 |  1.933 % |
294.09/294.10	c |    979503 |   37082   248875   568752 |        1    82512     60 |  1.933 % |
294.09/294.10	c |    979604 |   37082   248875   568752 |        1    82613     61 |  1.933 % |
294.09/294.10	c |    979704 |   37082   248875   568752 |        1    82713     61 |  1.933 % |
294.09/294.10	c |    979807 |   37082   248875   568752 |        1    82816     61 |  1.933 % |
294.09/294.10	c |    979907 |   37082   248875   568752 |        1    82916     61 |  1.933 % |
294.09/294.10	c |    982016 |   37082   248875   568752 |        1    85025     62 |  1.933 % |
294.09/294.10	c |    982118 |   37082   248875   568752 |        1    85127     62 |  1.933 % |
294.09/294.10	c |    983384 |   37082   248875   568752 |        1    86393     62 |  1.933 % |
294.09/294.10	c |    983484 |   37082   248875   568752 |        1    86493     62 |  1.933 % |
294.09/294.10	c |    983744 |   37082   248875   568752 |        1    86753     63 |  1.933 % |
294.09/294.10	c |    983845 |   37082   248875   568752 |        1    86854     63 |  1.933 % |
294.09/294.10	c |    986667 |   37082   248875   568752 |        1    89676     65 |  1.933 % |
294.09/294.10	c |    986778 |   37082   248875   568752 |        1    89787     65 |  1.933 % |
294.09/294.10	c |    986884 |   37082   248875   568752 |        1    89893     65 |  1.933 % |
294.09/294.10	c |    986984 |   37082   248875   568752 |        1    89993     65 |  1.933 % |
294.09/294.10	c |    987084 |   37082   248875   568752 |        1    90093     65 |  1.933 % |
294.09/294.10	c |    989762 |   37082   248875   568752 |        1    92771     65 |  1.933 % |
294.09/294.10	c |    991238 |   37082   248875   568752 |        1    94247     65 |  1.933 % |
294.09/294.10	c |    994643 |   37082   248875   568752 |        1    97652     68 |  1.933 % |
294.09/294.10	c |    995308 |   37082   248875   568752 |        1    98317     68 |  1.933 % |
294.09/294.10	c |    995408 |   37082   248875   568752 |        1    98417     68 |  1.933 % |
294.09/294.10	c |    995508 |   37082   248875   568752 |        1    98517     68 |  1.933 % |
294.09/294.10	c |    995973 |   37082   248875   568752 |        1    98982     68 |  1.933 % |
294.09/294.10	c |    996538 |   37082   248875   568752 |        1    99547     68 |  1.933 % |
294.09/294.10	c |   1002488 |   37077   248874   568747 |        1   102595     73 |  1.946 % |
294.09/294.10	c |   1002588 |   37077   248874   568747 |        1   102695     73 |  1.946 % |
294.09/294.10	c |   1002689 |   37077   248874   568747 |        1   102796     73 |  1.946 % |
294.09/294.10	c |   1003875 |   37077   248874   568747 |        1   103982     73 |  1.946 % |
294.09/294.10	c |   1004377 |   37077   248874   568747 |        1   104484     75 |  1.946 % |
294.09/294.10	c |   1004478 |   37077   248874   568747 |        1   104585     75 |  1.946 % |
294.09/294.10	c |   1004578 |   37077   248874   568747 |        1   104685     75 |  1.946 % |
294.09/294.10	c |   1029220 |   37007   248807   568515 |        1    59884     52 |  2.132 % |
294.09/294.10	c |   1029402 |   37007   248807   568515 |        1    60066     52 |  2.132 % |
294.09/294.10	c |   1029504 |   37007   248807   568515 |        1    60168     52 |  2.132 % |
294.09/294.10	c |   1029606 |   37007   248807   568515 |        1    60270     52 |  2.132 % |
294.09/294.10	c |   1030419 |   37007   248807   568515 |        1    61083     54 |  2.132 % |
294.09/294.10	c |   1030521 |   37007   248807   568515 |        1    61185     54 |  2.132 % |
294.09/294.10	c |   1030695 |   37007   248807   568515 |        1    61359     55 |  2.132 % |
294.09/294.10	c |   1030795 |   37007   248807   568515 |        1    61459     55 |  2.132 % |
312.69/312.79	c |   1030898 |   37007   248807   568515 |        1    61562     55 |  2.132 % |
312.69/312.79	c |   1031435 |   37007   248807   568515 |        1    62099     55 |  2.132 % |
312.69/312.79	c |   1031560 |   37007   248807   568515 |        1    62224     55 |  2.132 % |
312.69/312.79	c |   1032401 |   37007   248807   568515 |        1    63065     56 |  2.132 % |
312.69/312.79	c |   1037947 |   37007   248807   568515 |        1    68611     56 |  2.132 % |
312.69/312.79	c |   1038054 |   37007   248807   568515 |        1    68718     56 |  2.132 % |
312.69/312.79	c |   1038157 |   37007   248807   568515 |        1    68821     56 |  2.132 % |
312.69/312.79	c |   1038608 |   37007   248807   568515 |        1    69272     56 |  2.132 % |
312.69/312.79	c |   1039483 |   37007   248807   568515 |        1    70147     56 |  2.132 % |
312.69/312.79	c |   1039583 |   37007   248807   568515 |        1    70247     56 |  2.132 % |
312.69/312.79	c |   1039759 |   37007   248807   568515 |        1    70423     57 |  2.132 % |
312.69/312.79	c |   1039938 |   37007   248807   568515 |        1    70602     57 |  2.132 % |
312.69/312.79	c |   1040047 |   37007   248807   568515 |        1    70711     57 |  2.132 % |
312.69/312.79	c |   1040905 |   37007   248807   568515 |        1    71569     57 |  2.132 % |
312.69/312.79	c |   1042873 |   37007   248807   568515 |        1    73537     60 |  2.132 % |
312.69/312.79	c |   1042976 |   37007   248807   568515 |        1    73640     60 |  2.132 % |
312.69/312.79	c |   1043450 |   37007   248807   568515 |        1    74114     61 |  2.132 % |
312.69/312.79	c |   1043550 |   37007   248807   568515 |        1    74214     61 |  2.132 % |
312.69/312.79	c |   1046440 |   37007   248807   568515 |        1    77104     64 |  2.132 % |
312.69/312.79	c |   1046540 |   37007   248807   568515 |        1    77204     64 |  2.132 % |
312.69/312.79	c |   1046641 |   37007   248807   568515 |        1    77305     65 |  2.132 % |
312.69/312.79	c |   1064444 |   37007   248807   568515 |        1    95108     62 |  2.132 % |
312.69/312.79	c |   1064545 |   37007   248807   568515 |        1    95209     62 |  2.132 % |
312.69/312.79	c |   1066092 |   37007   248807   568515 |        1    96756     63 |  2.132 % |
312.69/312.79	c |   1068667 |   37007   248807   568515 |        1    99331     63 |  2.132 % |
312.69/312.79	c |   1068768 |   37007   248807   568515 |        1    99432     63 |  2.132 % |
312.69/312.79	c |   1068871 |   37007   248807   568515 |        1    99535     63 |  2.132 % |
312.69/312.79	c |   1072448 |   37007   248807   568515 |        1   103112     66 |  2.132 % |
312.69/312.79	c |   1072563 |   37007   248807   568515 |        1   103227     66 |  2.132 % |
312.69/312.79	c |   1072975 |   37007   248807   568515 |        1   103639     67 |  2.132 % |
312.69/312.79	c |   1073076 |   37007   248807   568515 |        1   103740     67 |  2.132 % |
312.69/312.79	c |   1073302 |   37007   248807   568515 |        1   103966     67 |  2.132 % |
312.69/312.79	c |   1073403 |   37007   248807   568515 |        1   104067     67 |  2.132 % |
312.69/312.79	c |   1075455 |   37007   248807   568515 |        1   106119     67 |  2.132 % |
312.69/312.79	c |   1075557 |   37007   248807   568515 |        1   106221     67 |  2.132 % |
312.69/312.79	c |   1078151 |   37007   248807   568515 |        1   108815     70 |  2.132 % |
312.69/312.79	c |   1079597 |   37007   248807   568515 |        1   110261     69 |  2.132 % |
312.69/312.79	c |   1079732 |   37007   248807   568515 |        1   110396     70 |  2.132 % |
312.69/312.79	c |   1080201 |   37007   248807   568515 |        1   110865     70 |  2.132 % |
312.69/312.79	c |   1080302 |   37007   248807   568515 |        1   110966     70 |  2.132 % |
312.69/312.79	c |   1081632 |   37007   248807   568515 |        1   112296     70 |  2.132 % |
312.69/312.79	c |   1081732 |   37007   248807   568515 |        1   112396     70 |  2.132 % |
312.69/312.79	c |   1081833 |   37007   248807   568515 |        1   112497     70 |  2.132 % |
312.69/312.79	c |   1082550 |   37007   248807   568515 |        1   113214     70 |  2.132 % |
312.69/312.79	c |   1082652 |   37007   248807   568515 |        1   113316     70 |  2.132 % |
312.69/312.79	c |   1082752 |   37007   248807   568515 |        1   113416     70 |  2.132 % |
312.69/312.79	c |   1083335 |   37007   248807   568515 |        1   113999     70 |  2.132 % |
312.69/312.79	c |   1083437 |   37007   248807   568515 |        1   114101     70 |  2.132 % |
312.69/312.79	c |   1083854 |   37007   248807   568515 |        1   114518     70 |  2.132 % |
312.69/312.79	c |   1083957 |   37007   248807   568515 |        1   114621     70 |  2.132 % |
351.99/352.09	c |   1084110 |   37007   248807   568515 |        1   114774     70 |  2.132 % |
351.99/352.09	c |   1090861 |   36894   248691   568122 |        1   118462     73 |  2.430 % |
351.99/352.09	c |   1090961 |   36894   248691   568122 |        1   118562     73 |  2.430 % |
351.99/352.09	c |   1091061 |   36894   248691   568122 |        1   118662     73 |  2.430 % |
351.99/352.09	c |   1091161 |   36894   248691   568122 |        1   118762     73 |  2.430 % |
351.99/352.09	c |   1099529 |   36894   248691   568122 |        1    65937     49 |  2.430 % |
351.99/352.09	c |   1099641 |   36894   248691   568122 |        1    66049     49 |  2.430 % |
351.99/352.09	c |   1099742 |   36894   248691   568122 |        1    66150     50 |  2.430 % |
351.99/352.09	c |   1099842 |   36894   248691   568122 |        1    66250     50 |  2.430 % |
351.99/352.09	c |   1105780 |   36894   248691   568122 |        1    72188     57 |  2.430 % |
351.99/352.09	c |   1105881 |   36894   248691   568122 |        1    72289     57 |  2.430 % |
351.99/352.09	c |   1106439 |   36894   248691   568122 |        1    72847     57 |  2.430 % |
351.99/352.09	c |   1111538 |   36894   248691   568122 |        1    77946     58 |  2.430 % |
351.99/352.09	c |   1111639 |   36894   248691   568122 |        1    78047     58 |  2.430 % |
351.99/352.09	c |   1115889 |   36894   248691   568122 |        1    82297     61 |  2.430 % |
351.99/352.09	c |   1115989 |   36894   248691   568122 |        1    82397     61 |  2.430 % |
351.99/352.09	c |   1116090 |   36894   248691   568122 |        1    82498     61 |  2.430 % |
351.99/352.09	c |   1117733 |   36894   248691   568122 |        1    84141     61 |  2.430 % |
351.99/352.09	c |   1117834 |   36894   248691   568122 |        1    84242     61 |  2.430 % |
351.99/352.09	c |   1118460 |   36894   248691   568122 |        1    84868     62 |  2.430 % |
351.99/352.09	c |   1118562 |   36894   248691   568122 |        1    84970     62 |  2.430 % |
351.99/352.09	c |   1119726 |   36894   248691   568122 |        1    86134     62 |  2.430 % |
351.99/352.09	c |   1121596 |   36894   248691   568122 |        1    88004     62 |  2.430 % |
351.99/352.09	c |   1121696 |   36894   248691   568122 |        1    88104     62 |  2.430 % |
351.99/352.09	c |   1121796 |   36894   248691   568122 |        1    88204     62 |  2.430 % |
351.99/352.09	c |   1121932 |   36894   248691   568122 |        1    88340     62 |  2.430 % |
351.99/352.09	c |   1122037 |   36894   248691   568122 |        1    88445     62 |  2.430 % |
351.99/352.09	c |   1122553 |   36894   248691   568122 |        1    88961     62 |  2.430 % |
351.99/352.09	c |   1122653 |   36894   248691   568122 |        1    89061     62 |  2.430 % |
351.99/352.09	c |   1123774 |   36894   248691   568122 |        1    90182     63 |  2.430 % |
351.99/352.09	c |   1129946 |   36894   248691   568122 |        1    96354     63 |  2.430 % |
351.99/352.09	c |   1130046 |   36894   248691   568122 |        1    96454     63 |  2.430 % |
351.99/352.09	c |   1130146 |   36894   248691   568122 |        1    96554     63 |  2.430 % |
351.99/352.09	c |   1130247 |   36894   248691   568122 |        1    96655     63 |  2.430 % |
351.99/352.09	c |   1130457 |   36894   248691   568122 |        1    96865     63 |  2.430 % |
351.99/352.09	c |   1130558 |   36894   248691   568122 |        1    96966     63 |  2.430 % |
351.99/352.09	c |   1131285 |   36894   248691   568122 |        1    97693     63 |  2.430 % |
351.99/352.09	c |   1131720 |   36894   248691   568122 |        1    98128     63 |  2.430 % |
351.99/352.09	c |   1132458 |   36894   248691   568122 |        1    98866     63 |  2.430 % |
351.99/352.09	c |   1132558 |   36894   248691   568122 |        1    98966     63 |  2.430 % |
351.99/352.09	c |   1145904 |   36894   248691   568122 |        1   112312     62 |  2.430 % |
351.99/352.09	c |   1146005 |   36894   248691   568122 |        1   112413     62 |  2.430 % |
351.99/352.09	c |   1160107 |   36894   248691   568122 |        1   126515     62 |  2.430 % |
351.99/352.09	c |   1160250 |   36894   248691   568122 |        1   126658     62 |  2.430 % |
351.99/352.09	c |   1160883 |   36894   248691   568122 |        1   127291     63 |  2.430 % |
351.99/352.09	c |   1160983 |   36894   248691   568122 |        1   127391     63 |  2.430 % |
351.99/352.09	c |   1170222 |   36893   248691   568122 |        1   136624     64 |  2.433 % |
351.99/352.09	c |   1185774 |   36185   247908   565407 |        1    65166     49 |  4.305 % |
351.99/352.09	c |   1185874 |   36185   247908   565407 |        1    65266     49 |  4.305 % |
351.99/352.09	c |   1187590 |   36185   247908   565407 |        1    66982     52 |  4.305 % |
373.08/373.15	c |   1187691 |   36185   247908   565407 |        1    67083     52 |  4.305 % |
373.08/373.15	c |   1187794 |   36185   247908   565407 |        1    67186     52 |  4.305 % |
373.08/373.15	c |   1187894 |   36185   247908   565407 |        1    67286     52 |  4.305 % |
373.08/373.15	c |   1187994 |   36185   247908   565407 |        1    67386     53 |  4.305 % |
373.08/373.15	c |   1188095 |   36185   247908   565407 |        1    67487     53 |  4.305 % |
373.08/373.15	c |   1188196 |   36185   247908   565407 |        1    67588     53 |  4.305 % |
373.08/373.15	c |   1188307 |   36185   247908   565407 |        1    67699     53 |  4.305 % |
373.08/373.15	c |   1188408 |   36185   247908   565407 |        1    67800     53 |  4.305 % |
373.08/373.15	c |   1188510 |   36185   247908   565407 |        1    67902     53 |  4.305 % |
373.08/373.15	c |   1188610 |   36185   247908   565407 |        1    68002     53 |  4.305 % |
373.08/373.15	c |   1189136 |   36185   247908   565407 |        1    68528     53 |  4.305 % |
373.08/373.15	c |   1189237 |   36185   247908   565407 |        1    68629     53 |  4.305 % |
373.08/373.15	c |   1190881 |   36185   247908   565407 |        1    70273     54 |  4.305 % |
373.08/373.15	c |   1190984 |   36185   247908   565407 |        1    70376     54 |  4.305 % |
373.08/373.15	c |   1202061 |   36185   247908   565407 |        1    81453     58 |  4.305 % |
373.08/373.15	c |   1202161 |   36185   247908   565407 |        1    81553     58 |  4.305 % |
373.08/373.15	c |   1202287 |   36185   247908   565407 |        1    81679     58 |  4.305 % |
373.08/373.15	c |   1205070 |   36185   247908   565407 |        1    84462     60 |  4.305 % |
373.08/373.15	c |   1205171 |   36185   247908   565407 |        1    84563     60 |  4.305 % |
373.08/373.15	c |   1208072 |   36185   247908   565407 |        1    87464     61 |  4.305 % |
373.08/373.15	c |   1209243 |   36185   247908   565407 |        1    88635     61 |  4.305 % |
373.08/373.15	c |   1209542 |   36185   247908   565407 |        1    88934     61 |  4.305 % |
373.08/373.15	c |   1212635 |   36185   247908   565407 |        1    92027     64 |  4.305 % |
373.08/373.15	c |   1212736 |   36185   247908   565407 |        1    92128     64 |  4.305 % |
373.08/373.15	c |   1212839 |   36185   247908   565407 |        1    92231     64 |  4.305 % |
373.08/373.15	c |   1219368 |   36185   247908   565407 |        1    98760     63 |  4.305 % |
373.08/373.15	c |   1220357 |   36185   247908   565407 |        1    99749     64 |  4.305 % |
373.08/373.15	c |   1220457 |   36185   247908   565407 |        1    99849     64 |  4.305 % |
373.08/373.15	c |   1224999 |   36175   247906   565397 |        1    98952     69 |  4.332 % |
373.08/373.15	c |   1227669 |   36175   247906   565397 |        1   101622     69 |  4.332 % |
373.08/373.15	c |   1227769 |   36175   247906   565397 |        1   101722     69 |  4.332 % |
373.08/373.15	c |   1232091 |   36175   247906   565397 |        1   106044     69 |  4.332 % |
373.08/373.15	c |   1232191 |   36175   247906   565397 |        1   106144     69 |  4.332 % |
373.08/373.15	c |   1234770 |   36175   247906   565397 |        1   108723     69 |  4.332 % |
373.08/373.15	c |   1236475 |   36175   247906   565397 |        1   110428     69 |  4.332 % |
373.08/373.15	c |   1238725 |   27339   247257   562968 |        1    74098     35 | 27.699 % |
373.08/373.15	c ===============================================================================
373.08/373.15	c restarts              : 1124
373.08/373.15	c nb ReduceDB           : 29
373.08/373.15	c nb removed Clauses    : 1041951
373.08/373.15	c nb learnts DL2        : 929
373.08/373.15	c nb learnts size 2     : 515
373.08/373.15	c nb learnts size 1     : 31
373.08/373.15	c conflicts             : 1238725        (3330 /sec)
373.08/373.15	c decisions             : 1812691        (0.00 % random) (4873 /sec)
373.08/373.15	c propagations          : 1396587040     (3754292 /sec)
373.08/373.15	c conflict literals     : 136806641      (58.11 % deleted)
373.08/373.15	c nb reduced Clauses    : 1539
373.08/373.15	c CPU time              : 371.997 s
373.08/373.15	
373.08/373.15	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 2 cores: 0,2

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.97 3.98 3.61 4/185 21765
/proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 253 211 178 0 69 0

[startup+0.0889481 s]
/proc/loadavg: 3.97 3.98 3.61 4/185 21765
/proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100948 s]
/proc/loadavg: 3.97 3.98 3.61 4/185 21765
/proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300962 s]
/proc/loadavg: 3.97 3.98 3.61 4/185 21765
/proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700834 s]
/proc/loadavg: 3.97 3.98 3.61 4/185 21765
/proc/meminfo: memFree=27894184/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 487950632 8912896 253 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50073 s]
/proc/loadavg: 3.97 3.98 3.61 4/187 21768
/proc/meminfo: memFree=27832964/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=34764 CPUtime=0.68 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 5473 0 0 0 68 0 0 0 21 0 1 0 487950712 35598336 5071 33554432000 4194304 4260849 140737113262448 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 8691 5071 250 17 0 5332 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 43468

[startup+3.10037 s]
/proc/loadavg: 3.97 3.98 3.61 5/190 21796
/proc/meminfo: memFree=27806100/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=39812 CPUtime=2.29 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 8375 0 0 0 228 1 0 0 25 0 1 0 487950712 40767488 5765 33554432000 4194304 4260849 140737113262448 18446744073709551615 4226551 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 9953 5765 252 17 0 6594 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48516

[startup+6.30082 s]
/proc/loadavg: 3.97 3.98 3.61 5/190 21809
/proc/meminfo: memFree=28045684/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=47016 CPUtime=5.49 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 16832 0 0 0 547 2 0 0 25 0 1 0 487950712 48144384 8364 33554432000 4194304 4260849 140737113262448 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 11754 8364 252 17 0 8395 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55720

[startup+12.7006 s]
/proc/loadavg: 3.97 3.98 3.62 5/190 21839
/proc/meminfo: memFree=27815136/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=96044 CPUtime=11.88 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 26680 0 0 0 1185 3 0 0 25 0 1 0 487950712 98349056 17965 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 24011 17965 252 17 0 20652 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 104748

[startup+25.5011 s]
/proc/loadavg: 3.82 3.95 3.61 4/181 21906
/proc/meminfo: memFree=28315724/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=84548 CPUtime=24.69 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 31770 0 0 0 2464 5 0 0 25 0 1 0 487950712 86577152 17704 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 21137 17704 252 17 0 17778 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93252

[startup+51.1003 s]
/proc/loadavg: 3.54 3.87 3.59 4/187 21915
/proc/meminfo: memFree=28020864/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=84548 CPUtime=50.28 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 39765 0 0 0 5022 6 0 0 25 0 1 0 487950712 86577152 17748 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 21137 17748 252 17 0 17778 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 93252

[startup+102.307 s]
/proc/loadavg: 3.23 3.74 3.56 5/187 21977
/proc/meminfo: memFree=28524072/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=96364 CPUtime=101.5 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 68790 0 0 0 10139 11 0 0 25 0 1 0 487950712 98676736 20059 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 24091 20059 252 17 0 20732 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 105068

[startup+162.301 s]
/proc/loadavg: 3.08 3.60 3.52 5/187 21979
/proc/meminfo: memFree=28383592/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=161.49 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 113407 0 0 0 16131 18 0 0 25 0 1 0 487950712 149180416 29371 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 29371 252 17 0 33062 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 154388

[startup+222.301 s]
/proc/loadavg: 3.10 3.50 3.49 5/187 21981
/proc/meminfo: memFree=28379188/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=221.49 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 145341 0 0 0 22125 24 0 0 25 0 1 0 487950712 149180416 30565 33554432000 4194304 4260849 140737113262448 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 30565 252 17 0 33062 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 154388

[startup+282.3 s]
/proc/loadavg: 3.04 3.41 3.46 5/187 21982
/proc/meminfo: memFree=28398600/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=281.5 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 173776 0 0 0 28120 30 0 0 25 0 1 0 487950712 149180416 29997 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224816 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 29997 252 17 0 33062 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 154388

[startup+342.301 s]
/proc/loadavg: 3.06 3.35 3.43 4/187 21984
/proc/meminfo: memFree=28397548/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=341.5 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 195036 0 0 0 34116 34 0 0 25 0 1 0 487950712 149180416 29955 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 29955 252 17 0 33062 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 154388

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

[startup+358.301 s]
/proc/loadavg: 3.05 3.33 3.43 4/187 21984
/proc/meminfo: memFree=28361456/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=96364 CPUtime=357.5 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 195857 0 0 0 35716 34 0 0 25 0 1 0 487950712 98676736 20704 33554432000 4194304 4260849 140737113262448 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 24091 20704 252 17 0 20732 0
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (KiB) 105068

[startup+364.701 s]
/proc/loadavg: 3.04 3.32 3.42 5/187 21984
/proc/meminfo: memFree=28392444/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=363.9 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 204659 0 0 0 36355 35 0 0 25 0 1 0 487950712 149180416 29491 33554432000 4194304 4260849 140737113262448 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 29491 252 17 0 33062 0
Current children cumulated CPU time (s) 364.69
Current children cumulated vsize (KiB) 154388

[startup+367.901 s]
/proc/loadavg: 3.04 3.32 3.42 4/187 21984
/proc/meminfo: memFree=28381532/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=367.1 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205173 0 0 0 36675 35 0 0 25 0 1 0 487950712 149180416 30003 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 30003 252 17 0 33062 0
Current children cumulated CPU time (s) 367.89
Current children cumulated vsize (KiB) 154388

[startup+371.1 s]
/proc/loadavg: 3.04 3.31 3.42 5/187 21985
/proc/meminfo: memFree=28372848/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=370.29 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205616 0 0 0 36994 35 0 0 25 0 1 0 487950712 149180416 30439 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 30439 252 17 0 33062 0
Current children cumulated CPU time (s) 371.08
Current children cumulated vsize (KiB) 154388

[startup+371.901 s]
/proc/loadavg: 3.04 3.31 3.42 4/187 21985
/proc/meminfo: memFree=28369860/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=371.09 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205760 0 0 0 37074 35 0 0 25 0 1 0 487950712 149180416 30583 33554432000 4194304 4260849 140737113262448 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 30583 252 17 0 33062 0
Current children cumulated CPU time (s) 371.88
Current children cumulated vsize (KiB) 154388

[startup+372.701 s]
/proc/loadavg: 3.04 3.31 3.42 4/187 21985
/proc/meminfo: memFree=28369860/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=371.89 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205826 0 0 0 37154 35 0 0 25 0 1 0 487950712 149180416 30648 33554432000 4194304 4260849 140737113262448 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 30648 252 17 0 33062 0
Current children cumulated CPU time (s) 372.68
Current children cumulated vsize (KiB) 154388

[startup+373.101 s]
/proc/loadavg: 3.04 3.31 3.42 4/187 21985
/proc/meminfo: memFree=28336132/32950928 swapFree=67111364/67111528
[pid=21765] ppid=21763 vsize=8704 CPUtime=0.79 cores=0,2
/proc/21765/stat : 21765 (glucose.sh) S 21763 21765 20892 0 -1 4202496 359 10553 0 0 0 0 76 3 18 0 1 0 487950632 8912896 255 33554432000 4194304 4922060 140735400126464 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21765/statm: 2176 255 211 178 0 69 0
[pid=21768] ppid=21765 vsize=145684 CPUtime=372.29 cores=0,2
/proc/21768/stat : 21768 (glucose_static) R 21765 21765 20892 0 -1 4202496 205851 0 0 0 37194 35 0 0 25 0 1 0 487950712 149180416 30671 33554432000 4194304 4260849 140737113262448 18446744073709551615 4223122 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21768/statm: 36421 30671 252 17 0 33062 0
Current children cumulated CPU time (s) 373.08
Current children cumulated vsize (KiB) 154388

Child status: 20
Real time (s): 373.161
CPU time (s): 373.165
CPU user time (s): 372.763
CPU system time (s): 0.401938
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 154388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 372.763
system time used= 0.401938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216978
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= 43
involuntary context switches= 972

runsolver used 0.643902 second user time and 1.40379 second system time

The end

Launcher Data

Begin job on node127 at 2011-04-25 22:31:50
IDJOB=3286320
IDBENCH=82422
IDSOLVER=1651
FILE ID=node127/3286320-1303763509
RUNJOBID= node127-1303762207-21568
PBS_JOBID= 13157130
Free space on /tmp= 71032 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286320-1303763509/watcher-3286320-1303763509 -o /tmp/evaluation-result-3286320-1303763509/solver-3286320-1303763509 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3286320-1303763509.cnf 

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

MD5SUM BENCH= 8f0e3738453893efc8a2d1abcf0d190d
RANDOM SEED=584234903

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27894332 kB
Buffers:       1233632 kB
Cached:        2677548 kB
SwapCached:          0 kB
Active:        1276060 kB
Inactive:      3312124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27894332 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:          205732 kB
Writeback:           0 kB
AnonPages:      677012 kB
Mapped:          15212 kB
Slab:           401460 kB
PageTables:       6296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   963332 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= 71276 MiB
End job on node127 at 2011-04-25 22:38:03