Trace number 3303353

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 2? (TO) 5000.06 4999.91

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
MD5SUM140eea74f7e66501965365160d02fa4d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2100
Number of clauses215164
Sum of the clauses size432288
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2215094
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 570

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.05	c ==============================================================================
0.00/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |  215164   432288 |   64549       0        0     nan |  0.000 % |
0.00/0.63	c |         0 |  212478   711538 |      --       0       --      -- |     --   | -2686/279250
0.00/0.63	c ==============================================================================
0.00/0.63	c Result  :   #vars: 2030   #clauses: 212478   #literals: 711538
0.00/0.63	c CPU time:   0.623905 s
0.00/0.63	c ==============================================================================
0.00/0.74	c
0.00/0.74	c Starting glucose
0.00/0.74	c
287.58/287.66	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
287.58/287.66	c WARNING: for repeatability, setting FPU to use double precision
287.58/287.66	c ============================[ Problem Statistics ]=============================
287.58/287.66	c |                                                                             |
287.58/287.66	c |  Number of variables:          2030                                         |
287.58/287.66	c |  Number of clauses:          212478                                         |
287.58/287.66	c |  Parse time:                   0.04 s                                       |
287.58/287.66	c |                                                                             |
287.58/287.66	c ============================[ Search Statistics ]==============================
287.58/287.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
287.58/287.66	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
287.58/287.66	c ===============================================================================
287.58/287.66	c |      1549 |    2030   212478   711538 |        1     1549    179 |  0.000 % |
287.58/287.66	c |      6612 |    2030   212478   711538 |        1     4617    118 |  0.000 % |
287.58/287.66	c |     51477 |    2030   212478   711538 |        1    17346     78 |  0.000 % |
287.58/287.66	c |    311677 |    2030   212478   711538 |        1    54298     65 |  0.000 % |
287.58/287.66	c |    311896 |    2030   212478   711538 |        1    54517     66 |  0.000 % |
287.58/287.66	c |    409233 |    2030   212478   711538 |        1    73656     67 |  0.000 % |
287.58/287.66	c |    463321 |    2030   212478   711538 |        1    84740     64 |  0.000 % |
287.58/287.66	c |    504506 |    2030   212478   711538 |        1    80325     64 |  0.000 % |
287.58/287.66	c |    520479 |    2030   212478   711538 |        1    96298     69 |  0.000 % |
287.58/287.66	c |    523018 |    2030   212478   711538 |        1    50636     50 |  0.000 % |
287.58/287.66	c |    528095 |    2030   212478   711538 |        1    55713     54 |  0.000 % |
287.58/287.66	c |    528195 |    2030   212478   711538 |        1    55813     54 |  0.000 % |
287.58/287.66	c |    530175 |    2030   212478   711538 |        1    57793     56 |  0.000 % |
287.58/287.66	c |    538550 |    2030   212478   711538 |        1    66168     63 |  0.000 % |
287.58/287.66	c |    561235 |    2030   212478   711538 |        1    88853     75 |  0.000 % |
287.58/287.66	c |    561526 |    2030   212478   711538 |        1    89144     76 |  0.000 % |
287.58/287.66	c |    569274 |    2030   212478   711538 |        1    96892     78 |  0.000 % |
287.58/287.66	c |    569808 |    2030   212478   711538 |        1    97426     78 |  0.000 % |
287.58/287.66	c |    571152 |    2030   212478   711538 |        1    98770     79 |  0.000 % |
287.58/287.66	c |    571252 |    2030   212478   711538 |        1    98870     79 |  0.000 % |
287.58/287.66	c |    571353 |    2030   212478   711538 |        1    98971     79 |  0.000 % |
287.58/287.66	c |    583123 |    2030   212478   711538 |        1    59941     55 |  0.000 % |
287.58/287.66	c |    583762 |    2030   212478   711538 |        1    60580     56 |  0.000 % |
287.58/287.66	c |    668927 |    2030   212478   711538 |        1    92341     56 |  0.000 % |
287.58/287.66	c |    681009 |    2030   212478   711538 |        1   104423     60 |  0.000 % |
287.58/287.66	c |    692565 |    2030   212478   711538 |        1    59983     46 |  0.000 % |
287.58/287.66	c |    695176 |    2030   212478   711538 |        1    62594     48 |  0.000 % |
287.58/287.66	c |    819538 |    2030   212478   711538 |        1    67175     48 |  0.000 % |
287.58/287.66	c |   1083857 |    2030   212478   711538 |        1   132287     68 |  0.000 % |
287.58/287.66	c |   1203863 |    2030   212478   711538 |        1   106487     48 |  0.000 % |
287.58/287.66	c |   1299799 |    2030   212478   711538 |        1   125617     51 |  0.000 % |
287.58/287.66	c |   1349747 |    2030   212478   711538 |        1    96169     46 |  0.000 % |
287.58/287.66	c |   1360473 |    2030   212478   711538 |        1   106895     49 |  0.000 % |
287.58/287.66	c |   1361930 |    2030   212478   711538 |        1   108352     49 |  0.000 % |
287.58/287.66	c |   1375073 |    2030   212478   711538 |        1   121495     52 |  0.000 % |
287.58/287.66	c |   1400875 |    2030   212478   711538 |        1   147297     56 |  0.000 % |
287.58/287.66	c |   1402699 |    2030   212478   711538 |        1   149121     56 |  0.000 % |
287.58/287.66	c |   1455104 |    2030   212478   711538 |        1   119527     51 |  0.000 % |
287.58/287.66	c |   1457832 |    2030   212478   711538 |        1   122255     52 |  0.000 % |
573.89/573.95	c |   1459824 |    2030   212478   711538 |        1   124247     52 |  0.000 % |
573.89/573.95	c |   1502433 |    2030   212478   711538 |        1   166856     58 |  0.000 % |
573.89/573.95	c |   1561509 |    2030   212478   711538 |        1   141328     54 |  0.000 % |
573.89/573.95	c |   1563609 |    2030   212478   711538 |        1   143428     54 |  0.000 % |
573.89/573.95	c |   1575018 |    2030   212478   711538 |        1   154837     56 |  0.000 % |
573.89/573.95	c |   1590157 |    2030   212478   711538 |        1   169976     58 |  0.000 % |
573.89/573.95	c |   1612772 |    2030   212478   711538 |        1   105406     44 |  0.000 % |
573.89/573.95	c |   1632403 |    2030   212478   711538 |        1   125037     51 |  0.000 % |
573.89/573.95	c |   1632505 |    2030   212478   711538 |        1   125139     51 |  0.000 % |
573.89/573.95	c |   1638370 |    2030   212478   711538 |        1   131004     53 |  0.000 % |
573.89/573.95	c |   1664153 |    2030   212478   711538 |        1   156787     62 |  0.000 % |
573.89/573.95	c |   1672911 |    2030   212478   711538 |        1   165545     66 |  0.000 % |
573.89/573.95	c |   1673014 |    2030   212478   711538 |        1   165648     66 |  0.000 % |
573.89/573.95	c |   1673906 |    2030   212478   711538 |        1   166540     66 |  0.000 % |
573.89/573.95	c |   1678609 |    2030   212478   711538 |        1   171243     67 |  0.000 % |
573.89/573.95	c |   1709066 |    2030   212478   711538 |        1   111896     51 |  0.000 % |
573.89/573.95	c |   1715807 |    2030   212478   711538 |        1   118637     53 |  0.000 % |
573.89/573.95	c |   1716780 |    2030   212478   711538 |        1   119610     53 |  0.000 % |
573.89/573.95	c |   1727941 |    2030   212478   711538 |        1   130771     56 |  0.000 % |
573.89/573.95	c |   1730874 |    2030   212478   711538 |        1   133704     56 |  0.000 % |
573.89/573.95	c |   1741121 |    2030   212478   711538 |        1   143951     58 |  0.000 % |
573.89/573.95	c |   1748081 |    2030   212478   711538 |        1   150911     59 |  0.000 % |
573.89/573.95	c |   1987639 |    2030   212478   711538 |        1   105475     47 |  0.000 % |
573.89/573.95	c |   1988421 |    2030   212478   711538 |        1   106257     48 |  0.000 % |
573.89/573.95	c |   2018642 |    2030   212478   711538 |        1   136478     57 |  0.000 % |
573.89/573.95	c |   2020300 |    2030   212478   711538 |        1   138136     57 |  0.000 % |
573.89/573.95	c |   2031534 |    2030   212478   711538 |        1   149370     59 |  0.000 % |
573.89/573.95	c |   2037909 |    2030   212478   711538 |        1   155745     60 |  0.000 % |
573.89/573.95	c |   2256812 |    2030   212478   711538 |        1   171635     62 |  0.000 % |
573.89/573.95	c |   2270251 |    2030   212478   711538 |        1   185074     64 |  0.000 % |
573.89/573.95	c |   2285210 |    2030   212478   711538 |        1   200033     66 |  0.000 % |
573.89/573.95	c |   2335110 |    2030   212478   711538 |        1   144536     50 |  0.000 % |
573.89/573.95	c |   2369986 |    2030   212478   711538 |        1   179412     54 |  0.000 % |
573.89/573.95	c |   2392522 |    2030   212478   711538 |        1   201948     57 |  0.000 % |
573.89/573.95	c |   2413213 |    2030   212478   711538 |        1   114640     41 |  0.000 % |
573.89/573.95	c |   2427873 |    2030   212478   711538 |        1   129300     46 |  0.000 % |
573.89/573.95	c |   2488306 |    2030   212478   711538 |        1   189733     58 |  0.000 % |
573.89/573.95	c |   2500888 |    2030   212478   711538 |        1   202315     60 |  0.000 % |
573.89/573.95	c |   2502233 |    2030   212478   711538 |        1   203660     60 |  0.000 % |
573.89/573.95	c |   2507309 |    2030   212478   711538 |        1   208736     61 |  0.000 % |
573.89/573.95	c |   2563227 |    2030   212478   711538 |        1   154052     55 |  0.000 % |
573.89/573.95	c |   2570879 |    2030   212478   711538 |        1   161704     57 |  0.000 % |
573.89/573.95	c |   2580477 |    2030   212478   711538 |        1   171302     58 |  0.000 % |
573.89/573.95	c |   2617289 |    2030   212478   711538 |        1   208114     63 |  0.000 % |
573.89/573.95	c |   2649872 |    2030   212478   711538 |        1   127500     47 |  0.000 % |
573.89/573.95	c |   2755006 |    2030   212478   711538 |        1   116837     43 |  0.000 % |
573.89/573.95	c |   2768058 |    2030   212478   711538 |        1   129889     47 |  0.000 % |
573.89/573.95	c |   2774284 |    2030   212478   711538 |        1   136115     49 |  0.000 % |
573.89/573.95	c |   2774515 |    2030   212478   711538 |        1   136346     49 |  0.000 % |
573.89/573.95	c |   2777292 |    2030   212478   711538 |        1   139123     50 |  0.000 % |
751.70/751.70	c |   2790631 |    2030   212478   711538 |        1   152462     54 |  0.000 % |
751.70/751.70	c |   2800667 |    2030   212478   711538 |        1   162498     57 |  0.000 % |
751.70/751.70	c |   2877647 |    2030   212478   711538 |        1   121081     44 |  0.000 % |
751.70/751.70	c |   2878542 |    2030   212478   711538 |        1   121976     44 |  0.000 % |
751.70/751.70	c |   2897484 |    2030   212478   711538 |        1   140918     51 |  0.000 % |
751.70/751.70	c |   2928270 |    2030   212478   711538 |        1   171704     56 |  0.000 % |
751.70/751.70	c |   2929046 |    2030   212478   711538 |        1   172480     56 |  0.000 % |
751.70/751.70	c |   2935296 |    2030   212478   711538 |        1   178730     57 |  0.000 % |
751.70/751.70	c |   2951990 |    2030   212478   711538 |        1   195424     59 |  0.000 % |
751.70/751.70	c |   2956392 |    2030   212478   711538 |        1   199826     59 |  0.000 % |
751.70/751.70	c |   2968418 |    2030   212478   711538 |        1   211852     60 |  0.000 % |
751.70/751.70	c |   2978723 |    2030   212478   711538 |        1   222157     61 |  0.000 % |
751.70/751.70	c |   2994589 |    2030   212478   711538 |        1   238023     62 |  0.000 % |
751.70/751.70	c |   3003566 |    2030   212478   711538 |        1   125997     41 |  0.000 % |
751.70/751.70	c |   3005148 |    2030   212478   711538 |        1   127579     42 |  0.000 % |
751.70/751.70	c |   3036463 |    2030   212478   711538 |        1   158894     47 |  0.000 % |
751.70/751.70	c |   3036585 |    2030   212478   711538 |        1   159016     47 |  0.000 % |
751.70/751.70	c |   3037043 |    2030   212478   711538 |        1   159474     47 |  0.000 % |
751.70/751.70	c |   3037382 |    2030   212478   711538 |        1   159813     48 |  0.000 % |
751.70/751.70	c |   3039683 |    2030   212478   711538 |        1   162114     48 |  0.000 % |
751.70/751.70	c |   3039784 |    2030   212478   711538 |        1   162215     48 |  0.000 % |
751.70/751.70	c |   3042484 |    2030   212478   711538 |        1   164915     49 |  0.000 % |
751.70/751.70	c |   3052232 |    2030   212478   711538 |        1   174663     53 |  0.000 % |
751.70/751.70	c |   3133992 |    2030   212478   711538 |        1   132823     42 |  0.000 % |
751.70/751.70	c |   3143060 |    2030   212478   711538 |        1   141891     44 |  0.000 % |
751.70/751.70	c |   3151738 |    2030   212478   711538 |        1   150569     46 |  0.000 % |
751.70/751.70	c |   3157863 |    2030   212478   711538 |        1   156694     48 |  0.000 % |
751.70/751.70	c |   3164969 |    2030   212478   711538 |        1   163800     50 |  0.000 % |
751.70/751.70	c |   3205426 |    2030   212478   711538 |        1   204257     56 |  0.000 % |
751.70/751.70	c |   3214227 |    2030   212478   711538 |        1   213058     57 |  0.000 % |
751.70/751.70	c |   3261253 |    2030   212478   711538 |        1   133880     41 |  0.000 % |
751.70/751.70	c |   3285299 |    2030   212478   711538 |        1   157926     48 |  0.000 % |
751.70/751.70	c |   3318929 |    2030   212478   711538 |        1   191556     54 |  0.000 % |
751.70/751.70	c |   3348282 |    2030   212478   711538 |        1   220909     60 |  0.000 % |
751.70/751.70	c |   3348871 |    2030   212478   711538 |        1   221498     60 |  0.000 % |
751.70/751.70	c |   3384586 |    2030   212478   711538 |        1   257213     63 |  0.000 % |
751.70/751.70	c |   3386213 |    2030   212478   711538 |        1   130034     40 |  0.000 % |
751.70/751.70	c |   3407960 |    2030   212478   711538 |        1   151781     47 |  0.000 % |
751.70/751.70	c |   3408060 |    2030   212478   711538 |        1   151881     47 |  0.000 % |
751.70/751.70	c |   3409343 |    2030   212478   711538 |        1   153164     47 |  0.000 % |
751.70/751.70	c |   3423696 |    2030   212478   711538 |        1   167517     49 |  0.000 % |
751.70/751.70	c |   3424208 |    2030   212478   711538 |        1   168029     50 |  0.000 % |
751.70/751.70	c |   3468211 |    2030   212478   711538 |        1   212032     59 |  0.000 % |
751.70/751.70	c |   3510789 |    2030   212478   711538 |        1   254610     63 |  0.000 % |
751.70/751.70	c |   3530308 |    2030   212478   711538 |        1   142740     44 |  0.000 % |
751.70/751.70	c |   3533111 |    2030   212478   711538 |        1   145543     45 |  0.000 % |
751.70/751.70	c |   3565497 |    2030   212478   711538 |        1   177929     53 |  0.000 % |
751.70/751.70	c |   3600251 |    2030   212478   711538 |        1   212683     59 |  0.000 % |
751.70/751.70	c |   3600674 |    2030   212478   711538 |        1   213106     59 |  0.000 % |
751.70/751.70	c |   3604881 |    2030   212478   711538 |        1   217313     60 |  0.000 % |
963.61/963.67	c |   3612301 |    2030   212478   711538 |        1   224733     61 |  0.000 % |
963.61/963.67	c |   3614499 |    2030   212478   711538 |        1   226931     61 |  0.000 % |
963.61/963.67	c |   3615043 |    2030   212478   711538 |        1   227475     61 |  0.000 % |
963.61/963.67	c |   3637448 |    2030   212478   711538 |        1   249880     64 |  0.000 % |
963.61/963.67	c |   3689216 |    2030   212478   711538 |        1   167646     51 |  0.000 % |
963.61/963.67	c |   3693573 |    2030   212478   711538 |        1   172003     52 |  0.000 % |
963.61/963.67	c |   3698668 |    2030   212478   711538 |        1   177098     53 |  0.000 % |
963.61/963.67	c |   3712736 |    2030   212478   711538 |        1   191166     56 |  0.000 % |
963.61/963.67	c |   3741946 |    2030   212478   711538 |        1   220376     59 |  0.000 % |
963.61/963.67	c |   3742245 |    2030   212478   711538 |        1   220675     59 |  0.000 % |
963.61/963.67	c |   3756406 |    2030   212478   711538 |        1   234836     61 |  0.000 % |
963.61/963.67	c |   3764853 |    2030   212478   711538 |        1   243283     62 |  0.000 % |
963.61/963.67	c |   3766114 |    2030   212478   711538 |        1   244544     62 |  0.000 % |
963.61/963.67	c |   3779407 |    2030   212478   711538 |        1   257837     63 |  0.000 % |
963.61/963.67	c |   3935676 |    2030   212478   711538 |        1   277504     60 |  0.000 % |
963.61/963.67	c |   3942603 |    2030   212478   711538 |        1   145222     41 |  0.000 % |
963.61/963.67	c |   3943398 |    2030   212478   711538 |        1   146017     41 |  0.000 % |
963.61/963.67	c |   3947516 |    2030   212478   711538 |        1   150135     42 |  0.000 % |
963.61/963.67	c |   3949864 |    2030   212478   711538 |        1   152483     43 |  0.000 % |
963.61/963.67	c |   3951165 |    2030   212478   711538 |        1   153784     44 |  0.000 % |
963.61/963.67	c |   3955383 |    2030   212478   711538 |        1   158002     45 |  0.000 % |
963.61/963.67	c |   3975062 |    2030   212478   711538 |        1   177681     49 |  0.000 % |
963.61/963.67	c |   3991269 |    2030   212478   711538 |        1   193888     52 |  0.000 % |
963.61/963.67	c |   3997538 |    2030   212478   711538 |        1   200157     53 |  0.000 % |
963.61/963.67	c |   4066561 |    2030   212478   711538 |        1   269180     61 |  0.000 % |
963.61/963.67	c |   4067978 |    2030   212478   711538 |        1   270597     61 |  0.000 % |
963.61/963.67	c |   4069268 |    2030   212478   711538 |        1   271887     61 |  0.000 % |
963.61/963.67	c |   4071149 |    2030   212478   711538 |        1   273768     62 |  0.000 % |
963.61/963.67	c |   4091373 |    2030   212478   711538 |        1   152190     43 |  0.000 % |
963.61/963.67	c |   4092133 |    2030   212478   711538 |        1   152950     44 |  0.000 % |
963.61/963.67	c |   4094986 |    2030   212478   711538 |        1   155803     45 |  0.000 % |
963.61/963.67	c |   4112676 |    2030   212478   711538 |        1   173493     50 |  0.000 % |
963.61/963.67	c |   4132594 |    2030   212478   711538 |        1   193411     54 |  0.000 % |
963.61/963.67	c |   4143466 |    2030   212478   711538 |        1   204283     55 |  0.000 % |
963.61/963.67	c |   4154692 |    2030   212478   711538 |        1   215509     57 |  0.000 % |
963.61/963.67	c |   4161605 |    2030   212478   711538 |        1   222422     58 |  0.000 % |
963.61/963.67	c |   4161745 |    2030   212478   711538 |        1   222562     58 |  0.000 % |
963.61/963.67	c |   4164968 |    2030   212478   711538 |        1   225785     59 |  0.000 % |
963.61/963.67	c |   4168432 |    2030   212478   711538 |        1   229249     59 |  0.000 % |
963.61/963.67	c |   4192194 |    2030   212478   711538 |        1   253011     61 |  0.000 % |
963.61/963.67	c |   4262797 |    2030   212478   711538 |        1   179221     47 |  0.000 % |
963.61/963.67	c |   4268309 |    2030   212478   711538 |        1   184733     48 |  0.000 % |
963.61/963.67	c |   4294242 |    2030   212478   711538 |        1   210666     52 |  0.000 % |
963.61/963.67	c |   4298362 |    2030   212478   711538 |        1   214786     53 |  0.000 % |
963.61/963.67	c |   4298481 |    2030   212478   711538 |        1   214905     53 |  0.000 % |
963.61/963.67	c |   4298633 |    2030   212478   711538 |        1   215057     53 |  0.000 % |
963.61/963.67	c |   4304755 |    2030   212478   711538 |        1   221179     55 |  0.000 % |
963.61/963.67	c |   4329603 |    2030   212478   711538 |        1   246027     58 |  0.000 % |
963.61/963.67	c |   4381876 |    2030   212478   711538 |        1   151301     39 |  0.000 % |
963.61/963.67	c |   4507858 |    2030   212478   711538 |        1   277283     62 |  0.000 % |
1382.52/1382.52	c |   4525313 |    2030   212478   711538 |        1   294738     64 |  0.000 % |
1382.52/1382.52	c |   4540993 |    2030   212478   711538 |        1   160815     44 |  0.000 % |
1382.52/1382.52	c |   4545196 |    2030   212478   711538 |        1   165018     45 |  0.000 % |
1382.52/1382.52	c |   4614764 |    2030   212478   711538 |        1   234586     56 |  0.000 % |
1382.52/1382.52	c |   4755999 |    2030   212478   711538 |        1   223640     53 |  0.000 % |
1382.52/1382.52	c |   4804973 |    2030   212478   711538 |        1   272614     57 |  0.000 % |
1382.52/1382.52	c |   4818776 |    2030   212478   711538 |        1   286417     58 |  0.000 % |
1382.52/1382.52	c |   4850060 |    2030   212478   711538 |        1   162898     41 |  0.000 % |
1382.52/1382.52	c |   4970423 |    2030   212478   711538 |        1   283261     55 |  0.000 % |
1382.52/1382.52	c |   4970688 |    2030   212478   711538 |        1   283526     55 |  0.000 % |
1382.52/1382.52	c |   4977467 |    2030   212478   711538 |        1   290305     56 |  0.000 % |
1382.52/1382.52	c |   5006719 |    2030   212478   711538 |        1   162149     39 |  0.000 % |
1382.52/1382.52	c |   5015218 |    2030   212478   711538 |        1   170648     41 |  0.000 % |
1382.52/1382.52	c |   5023077 |    2030   212478   711538 |        1   178507     42 |  0.000 % |
1382.52/1382.52	c |   5027851 |    2030   212478   711538 |        1   183281     43 |  0.000 % |
1382.52/1382.52	c |   5072443 |    2030   212478   711538 |        1   227873     50 |  0.000 % |
1382.52/1382.52	c |   5075843 |    2030   212478   711538 |        1   231273     50 |  0.000 % |
1382.52/1382.52	c |   5145116 |    2030   212478   711538 |        1   300546     58 |  0.000 % |
1382.52/1382.52	c |   5153125 |    2030   212478   711538 |        1   308555     58 |  0.000 % |
1382.52/1382.52	c |   5215201 |    2030   212478   711538 |        1   210628     51 |  0.000 % |
1382.52/1382.52	c |   5255700 |    2030   212478   711538 |        1   251127     55 |  0.000 % |
1382.52/1382.52	c |   5332155 |    2030   212478   711538 |        1   164986     38 |  0.000 % |
1382.52/1382.52	c |   5444858 |    2030   212478   711538 |        1   277689     58 |  0.000 % |
1382.52/1382.52	c |   5446936 |    2030   212478   711538 |        1   279767     58 |  0.000 % |
1382.52/1382.52	c |   5458504 |    2030   212478   711538 |        1   291335     60 |  0.000 % |
1382.52/1382.52	c |   5485666 |    2030   212478   711538 |        1   318497     62 |  0.000 % |
1382.52/1382.52	c |   5500747 |    2030   212478   711538 |        1   168374     40 |  0.000 % |
1382.52/1382.52	c |   5503853 |    2030   212478   711538 |        1   171480     41 |  0.000 % |
1382.52/1382.52	c |   5507521 |    2030   212478   711538 |        1   175148     42 |  0.000 % |
1382.52/1382.52	c |   5538713 |    2030   212478   711538 |        1   206340     47 |  0.000 % |
1382.52/1382.52	c |   5584613 |    2030   212478   711538 |        1   252240     53 |  0.000 % |
1382.52/1382.52	c |   5589837 |    2030   212478   711538 |        1   257464     54 |  0.000 % |
1382.52/1382.52	c |   5660591 |    2030   212478   711538 |        1   328218     59 |  0.000 % |
1382.52/1382.52	c |   5666407 |    2030   212478   711538 |        1   334034     60 |  0.000 % |
1382.52/1382.52	c |   5714889 |    2030   212478   711538 |        1   214715     50 |  0.000 % |
1382.52/1382.52	c |   5758437 |    2030   212478   711538 |        1   258263     54 |  0.000 % |
1382.52/1382.52	c |   5788247 |    2030   212478   711538 |        1   288073     55 |  0.000 % |
1382.52/1382.52	c |   5844284 |    2030   212478   711538 |        1   173717     38 |  0.000 % |
1382.52/1382.52	c |   5905038 |    2030   212478   711538 |        1   234471     51 |  0.000 % |
1382.52/1382.52	c |   5915437 |    2030   212478   711538 |        1   244870     53 |  0.000 % |
1382.52/1382.52	c |   5924806 |    2030   212478   711538 |        1   254239     54 |  0.000 % |
1382.52/1382.52	c |   5927720 |    2030   212478   711538 |        1   257153     55 |  0.000 % |
1382.52/1382.52	c |   5928232 |    2030   212478   711538 |        1   257665     55 |  0.000 % |
1382.52/1382.52	c |   6042167 |    2030   212478   711538 |        1   198594     46 |  0.000 % |
1382.52/1382.52	c |   6081382 |    2030   212478   711538 |        1   237809     53 |  0.000 % |
1382.52/1382.52	c |   6083164 |    2030   212478   711538 |        1   239591     54 |  0.000 % |
1382.52/1382.52	c |   6089853 |    2030   212478   711538 |        1   246280     54 |  0.000 % |
1382.52/1382.52	c |   6089959 |    2030   212478   711538 |        1   246386     54 |  0.000 % |
1382.52/1382.52	c |   6090152 |    2030   212478   711538 |        1   246579     55 |  0.000 % |
1382.52/1382.52	c |   6090253 |    2030   212478   711538 |        1   246680     55 |  0.000 % |
1534.33/1534.30	c |   6113983 |    2030   212478   711538 |        1   270410     57 |  0.000 % |
1534.33/1534.30	c |   6114084 |    2030   212478   711538 |        1   270511     57 |  0.000 % |
1534.33/1534.30	c |   6117836 |    2030   212478   711538 |        1   274263     58 |  0.000 % |
1534.33/1534.30	c |   6121731 |    2030   212478   711538 |        1   278158     58 |  0.000 % |
1534.33/1534.30	c |   6140649 |    2030   212478   711538 |        1   297076     59 |  0.000 % |
1534.33/1534.30	c |   6148235 |    2030   212478   711538 |        1   304662     60 |  0.000 % |
1534.33/1534.30	c |   6151186 |    2030   212478   711538 |        1   307613     60 |  0.000 % |
1534.33/1534.30	c |   6152138 |    2030   212478   711538 |        1   308565     60 |  0.000 % |
1534.33/1534.30	c |   6171496 |    2030   212478   711538 |        1   327923     61 |  0.000 % |
1534.33/1534.30	c |   6199872 |    2030   212478   711538 |        1   180704     39 |  0.000 % |
1534.33/1534.30	c |   6211326 |    2030   212478   711538 |        1   192158     42 |  0.000 % |
1534.33/1534.30	c |   6214013 |    2030   212478   711538 |        1   194845     43 |  0.000 % |
1534.33/1534.30	c |   6214609 |    2030   212478   711538 |        1   195441     43 |  0.000 % |
1534.33/1534.30	c |   6219621 |    2030   212478   711538 |        1   200453     44 |  0.000 % |
1534.33/1534.30	c |   6243680 |    2030   212478   711538 |        1   224512     49 |  0.000 % |
1534.33/1534.30	c |   6244631 |    2030   212478   711538 |        1   225463     49 |  0.000 % |
1534.33/1534.30	c |   6244731 |    2030   212478   711538 |        1   225563     49 |  0.000 % |
1534.33/1534.30	c |   6259461 |    2030   212478   711538 |        1   240293     51 |  0.000 % |
1534.33/1534.30	c |   6272971 |    2030   212478   711538 |        1   253803     52 |  0.000 % |
1534.33/1534.30	c |   6288846 |    2030   212478   711538 |        1   269678     54 |  0.000 % |
1534.33/1534.30	c |   6289278 |    2030   212478   711538 |        1   270110     54 |  0.000 % |
1534.33/1534.30	c |   6289380 |    2030   212478   711538 |        1   270212     54 |  0.000 % |
1534.33/1534.30	c |   6370747 |    2030   212478   711538 |        1   351579     60 |  0.000 % |
1534.33/1534.30	c |   6374800 |    2030   212478   711538 |        1   355632     60 |  0.000 % |
1534.33/1534.30	c |   6379713 |    2030   212478   711538 |        1   182335     38 |  0.000 % |
1534.33/1534.30	c |   6383632 |    2030   212478   711538 |        1   186254     39 |  0.000 % |
1534.33/1534.30	c |   6384876 |    2030   212478   711538 |        1   187498     39 |  0.000 % |
1534.33/1534.30	c |   6386393 |    2030   212478   711538 |        1   189015     40 |  0.000 % |
1534.33/1534.30	c |   6422223 |    2030   212478   711538 |        1   224845     46 |  0.000 % |
1534.33/1534.30	c |   6437410 |    2030   212478   711538 |        1   240032     48 |  0.000 % |
1534.33/1534.30	c |   6488796 |    2030   212478   711538 |        1   291418     53 |  0.000 % |
1534.33/1534.30	c |   6497042 |    2030   212478   711538 |        1   299664     54 |  0.000 % |
1534.33/1534.30	c |   6497149 |    2030   212478   711538 |        1   299771     54 |  0.000 % |
1534.33/1534.30	c |   6504885 |    2030   212478   711538 |        1   307507     55 |  0.000 % |
1534.33/1534.30	c |   6508075 |    2030   212478   711538 |        1   310697     55 |  0.000 % |
1534.33/1534.30	c |   6511090 |    2030   212478   711538 |        1   313712     56 |  0.000 % |
1534.33/1534.30	c |   6511876 |    2030   212478   711538 |        1   314498     56 |  0.000 % |
1534.33/1534.30	c |   6512737 |    2030   212478   711538 |        1   315359     56 |  0.000 % |
1534.33/1534.30	c |   6519214 |    2030   212478   711538 |        1   321836     57 |  0.000 % |
1534.33/1534.30	c |   6549075 |    2030   212478   711538 |        1   351697     61 |  0.000 % |
1534.33/1534.30	c |   6594086 |    2030   212478   711538 |        1   215907     47 |  0.000 % |
1534.33/1534.30	c |   6615371 |    2030   212478   711538 |        1   237192     50 |  0.000 % |
1534.33/1534.30	c |   6688380 |    2030   212478   711538 |        1   310201     57 |  0.000 % |
1534.33/1534.30	c |   6695269 |    2030   212478   711538 |        1   317090     58 |  0.000 % |
1534.33/1534.30	c |   6713631 |    2030   212478   711538 |        1   335452     59 |  0.000 % |
1534.33/1534.30	c |   6732254 |    2030   212478   711538 |        1   354075     61 |  0.000 % |
1534.33/1534.30	c |   6732411 |    2030   212478   711538 |        1   354232     61 |  0.000 % |
1534.33/1534.30	c |   6732735 |    2030   212478   711538 |        1   354556     61 |  0.000 % |
1534.33/1534.30	c |   6734653 |    2030   212478   711538 |        1   356474     61 |  0.000 % |
1534.33/1534.30	c |   6736719 |    2030   212478   711538 |        1   358540     62 |  0.000 % |
1725.93/1725.93	c |   6736821 |    2030   212478   711538 |        1   358642     62 |  0.000 % |
1725.93/1725.93	c |   6757798 |    2030   212478   711538 |        1   196218     43 |  0.000 % |
1725.93/1725.93	c |   6765675 |    2030   212478   711538 |        1   204095     44 |  0.000 % |
1725.93/1725.93	c |   6765843 |    2030   212478   711538 |        1   204263     44 |  0.000 % |
1725.93/1725.93	c |   6771774 |    2030   212478   711538 |        1   210194     45 |  0.000 % |
1725.93/1725.93	c |   6772207 |    2030   212478   711538 |        1   210627     45 |  0.000 % |
1725.93/1725.93	c |   6772727 |    2030   212478   711538 |        1   211147     45 |  0.000 % |
1725.93/1725.93	c |   6871830 |    2030   212478   711538 |        1   310250     59 |  0.000 % |
1725.93/1725.93	c |   6871930 |    2030   212478   711538 |        1   310350     59 |  0.000 % |
1725.93/1725.93	c |   6892005 |    2030   212478   711538 |        1   330425     60 |  0.000 % |
1725.93/1725.93	c |   6904716 |    2030   212478   711538 |        1   343136     62 |  0.000 % |
1725.93/1725.93	c |   6914611 |    2030   212478   711538 |        1   353031     63 |  0.000 % |
1725.93/1725.93	c |   6914760 |    2030   212478   711538 |        1   353180     63 |  0.000 % |
1725.93/1725.93	c |   6943134 |    2030   212478   711538 |        1   195559     41 |  0.000 % |
1725.93/1725.93	c |   6952149 |    2030   212478   711538 |        1   204574     43 |  0.000 % |
1725.93/1725.93	c |   6992775 |    2030   212478   711538 |        1   245200     51 |  0.000 % |
1725.93/1725.93	c |   6995781 |    2030   212478   711538 |        1   248206     51 |  0.000 % |
1725.93/1725.93	c |   7031774 |    2030   212478   711538 |        1   284199     57 |  0.000 % |
1725.93/1725.93	c |   7090215 |    2030   212478   711538 |        1   342640     62 |  0.000 % |
1725.93/1725.93	c |   7097428 |    2030   212478   711538 |        1   349853     63 |  0.000 % |
1725.93/1725.93	c |   7116119 |    2030   212478   711538 |        1   368544     64 |  0.000 % |
1725.93/1725.93	c |   7117491 |    2030   212478   711538 |        1   369916     64 |  0.000 % |
1725.93/1725.93	c |   7119819 |    2030   212478   711538 |        1   372244     64 |  0.000 % |
1725.93/1725.93	c |   7128132 |    2030   212478   711538 |        1   191962     40 |  0.000 % |
1725.93/1725.93	c |   7129704 |    2030   212478   711538 |        1   193534     40 |  0.000 % |
1725.93/1725.93	c |   7133930 |    2030   212478   711538 |        1   197760     42 |  0.000 % |
1725.93/1725.93	c |   7158585 |    2030   212478   711538 |        1   222415     48 |  0.000 % |
1725.93/1725.93	c |   7194340 |    2030   212478   711538 |        1   258170     53 |  0.000 % |
1725.93/1725.93	c |   7194982 |    2030   212478   711538 |        1   258812     53 |  0.000 % |
1725.93/1725.93	c |   7203446 |    2030   212478   711538 |        1   267276     54 |  0.000 % |
1725.93/1725.93	c |   7208708 |    2030   212478   711538 |        1   272538     54 |  0.000 % |
1725.93/1725.93	c |   7216977 |    2030   212478   711538 |        1   280807     56 |  0.000 % |
1725.93/1725.93	c |   7217654 |    2030   212478   711538 |        1   281484     56 |  0.000 % |
1725.93/1725.93	c |   7223407 |    2030   212478   711538 |        1   287237     57 |  0.000 % |
1725.93/1725.93	c |   7223613 |    2030   212478   711538 |        1   287443     57 |  0.000 % |
1725.93/1725.93	c |   7282428 |    2030   212478   711538 |        1   346258     62 |  0.000 % |
1725.93/1725.93	c |   7282584 |    2030   212478   711538 |        1   346414     62 |  0.000 % |
1725.93/1725.93	c |   7282741 |    2030   212478   711538 |        1   346571     62 |  0.000 % |
1725.93/1725.93	c |   7288802 |    2030   212478   711538 |        1   352632     62 |  0.000 % |
1725.93/1725.93	c |   7397071 |    2030   212478   711538 |        1   269700     48 |  0.000 % |
1725.93/1725.93	c |   7410796 |    2030   212478   711538 |        1   283425     49 |  0.000 % |
1725.93/1725.93	c |   7424643 |    2030   212478   711538 |        1   297272     50 |  0.000 % |
1725.93/1725.93	c |   7438866 |    2030   212478   711538 |        1   311495     52 |  0.000 % |
1725.93/1725.93	c |   7440610 |    2030   212478   711538 |        1   313239     52 |  0.000 % |
1725.93/1725.93	c |   7444933 |    2030   212478   711538 |        1   317562     52 |  0.000 % |
1725.93/1725.93	c |   7446120 |    2030   212478   711538 |        1   318749     53 |  0.000 % |
1725.93/1725.93	c |   7451969 |    2030   212478   711538 |        1   324598     53 |  0.000 % |
1725.93/1725.93	c |   7462635 |    2030   212478   711538 |        1   335264     54 |  0.000 % |
1725.93/1725.93	c |   7471405 |    2030   212478   711538 |        1   344034     55 |  0.000 % |
2053.75/2053.79	c |   7480310 |    2030   212478   711538 |        1   352939     56 |  0.000 % |
2053.75/2053.79	c |   7480983 |    2030   212478   711538 |        1   353612     56 |  0.000 % |
2053.75/2053.79	c |   7491574 |    2030   212478   711538 |        1   364203     56 |  0.000 % |
2053.75/2053.79	c |   7495413 |    2030   212478   711538 |        1   368042     57 |  0.000 % |
2053.75/2053.79	c |   7498812 |    2030   212478   711538 |        1   371441     57 |  0.000 % |
2053.75/2053.79	c |   7499707 |    2030   212478   711538 |        1   372336     57 |  0.000 % |
2053.75/2053.79	c |   7549565 |    2030   212478   711538 |        1   228393     44 |  0.000 % |
2053.75/2053.79	c |   7560326 |    2030   212478   711538 |        1   239154     46 |  0.000 % |
2053.75/2053.79	c |   7568886 |    2030   212478   711538 |        1   247714     47 |  0.000 % |
2053.75/2053.79	c |   7628719 |    2030   212478   711538 |        1   307547     54 |  0.000 % |
2053.75/2053.79	c |   7717325 |    2030   212478   711538 |        1   199750     40 |  0.000 % |
2053.75/2053.79	c |   7774027 |    2030   212478   711538 |        1   256452     49 |  0.000 % |
2053.75/2053.79	c |   7786721 |    2030   212478   711538 |        1   269146     50 |  0.000 % |
2053.75/2053.79	c |   7790312 |    2030   212478   711538 |        1   272737     50 |  0.000 % |
2053.75/2053.79	c |   7791258 |    2030   212478   711538 |        1   273683     51 |  0.000 % |
2053.75/2053.79	c |   7884216 |    2030   212478   711538 |        1   366641     57 |  0.000 % |
2053.75/2053.79	c |   7927995 |    2030   212478   711538 |        1   211426     40 |  0.000 % |
2053.75/2053.79	c |   7937968 |    2030   212478   711538 |        1   221399     42 |  0.000 % |
2053.75/2053.79	c |   7946467 |    2030   212478   711538 |        1   229898     43 |  0.000 % |
2053.75/2053.79	c |   7946985 |    2030   212478   711538 |        1   230416     43 |  0.000 % |
2053.75/2053.79	c |   7958414 |    2030   212478   711538 |        1   241845     45 |  0.000 % |
2053.75/2053.79	c |   7979575 |    2030   212478   711538 |        1   263006     48 |  0.000 % |
2053.75/2053.79	c |   7982701 |    2030   212478   711538 |        1   266132     48 |  0.000 % |
2053.75/2053.79	c |   8001869 |    2030   212478   711538 |        1   285300     50 |  0.000 % |
2053.75/2053.79	c |   8011229 |    2030   212478   711538 |        1   294660     51 |  0.000 % |
2053.75/2053.79	c |   8065017 |    2030   212478   711538 |        1   348448     55 |  0.000 % |
2053.75/2053.79	c |   8076851 |    2030   212478   711538 |        1   360282     56 |  0.000 % |
2053.75/2053.79	c |   8077491 |    2030   212478   711538 |        1   360922     56 |  0.000 % |
2053.75/2053.79	c |   8078025 |    2030   212478   711538 |        1   361456     56 |  0.000 % |
2053.75/2053.79	c |   8179289 |    2030   212478   711538 |        1   261121     47 |  0.000 % |
2053.75/2053.79	c |   8179417 |    2030   212478   711538 |        1   261249     47 |  0.000 % |
2053.75/2053.79	c |   8210584 |    2030   212478   711538 |        1   292416     51 |  0.000 % |
2053.75/2053.79	c |   8210684 |    2030   212478   711538 |        1   292516     51 |  0.000 % |
2053.75/2053.79	c |   8210785 |    2030   212478   711538 |        1   292617     51 |  0.000 % |
2053.75/2053.79	c |   8221853 |    2030   212478   711538 |        1   303685     53 |  0.000 % |
2053.75/2053.79	c |   8225828 |    2030   212478   711538 |        1   307660     53 |  0.000 % |
2053.75/2053.79	c |   8226807 |    2030   212478   711538 |        1   308639     53 |  0.000 % |
2053.75/2053.79	c |   8316502 |    2030   212478   711538 |        1   398334     60 |  0.000 % |
2053.75/2053.79	c |   8327198 |    2030   212478   711538 |        1   204819     38 |  0.000 % |
2053.75/2053.79	c |   8330317 |    2030   212478   711538 |        1   207938     39 |  0.000 % |
2053.75/2053.79	c |   8334167 |    2030   212478   711538 |        1   211788     40 |  0.000 % |
2053.75/2053.79	c |   8349760 |    2030   212478   711538 |        1   227381     43 |  0.000 % |
2053.75/2053.79	c |   8357245 |    2030   212478   711538 |        1   234866     45 |  0.000 % |
2053.75/2053.79	c |   8364552 |    2030   212478   711538 |        1   242173     45 |  0.000 % |
2053.75/2053.79	c |   8364654 |    2030   212478   711538 |        1   242275     45 |  0.000 % |
2053.75/2053.79	c |   8368791 |    2030   212478   711538 |        1   246412     46 |  0.000 % |
2053.75/2053.79	c |   8447894 |    2030   212478   711538 |        1   325515     55 |  0.000 % |
2053.75/2053.79	c |   8541464 |    2030   212478   711538 |        1   212288     38 |  0.000 % |
2053.75/2053.79	c |   8654200 |    2030   212478   711538 |        1   325024     52 |  0.000 % |
2053.75/2053.79	c |   8661438 |    2030   212478   711538 |        1   332262     52 |  0.000 % |
2355.85/2355.81	c |   8705001 |    2030   212478   711538 |        1   375825     55 |  0.000 % |
2355.85/2355.81	c |   8705247 |    2030   212478   711538 |        1   376071     55 |  0.000 % |
2355.85/2355.81	c |   8724750 |    2030   212478   711538 |        1   395574     56 |  0.000 % |
2355.85/2355.81	c |   8795375 |    2030   212478   711538 |        1   256815     41 |  0.000 % |
2355.85/2355.81	c |   8836877 |    2030   212478   711538 |        1   298317     47 |  0.000 % |
2355.85/2355.81	c |   8848887 |    2030   212478   711538 |        1   310327     48 |  0.000 % |
2355.85/2355.81	c |   8851940 |    2030   212478   711538 |        1   313380     49 |  0.000 % |
2355.85/2355.81	c |   8867360 |    2030   212478   711538 |        1   328800     51 |  0.000 % |
2355.85/2355.81	c |   8869404 |    2030   212478   711538 |        1   330844     51 |  0.000 % |
2355.85/2355.81	c |   8878720 |    2030   212478   711538 |        1   340160     52 |  0.000 % |
2355.85/2355.81	c |   8943995 |    2030   212478   711538 |        1   405435     57 |  0.000 % |
2355.85/2355.81	c |   8949739 |    2030   212478   711538 |        1   411179     58 |  0.000 % |
2355.85/2355.81	c |   8949841 |    2030   212478   711538 |        1   411281     58 |  0.000 % |
2355.85/2355.81	c |   8956739 |    2030   212478   711538 |        1   418179     59 |  0.000 % |
2355.85/2355.81	c |   8969822 |    2030   212478   711538 |        1   219247     38 |  0.000 % |
2355.85/2355.81	c |   9050257 |    2030   212478   711538 |        1   299682     51 |  0.000 % |
2355.85/2355.81	c |   9050900 |    2030   212478   711538 |        1   300325     51 |  0.000 % |
2355.85/2355.81	c |   9058900 |    2030   212478   711538 |        1   308325     52 |  0.000 % |
2355.85/2355.81	c |   9149770 |    2030   212478   711538 |        1   399195     60 |  0.000 % |
2355.85/2355.81	c |   9182752 |    2030   212478   711538 |        1   217589     40 |  0.000 % |
2355.85/2355.81	c |   9344428 |    2030   212478   711538 |        1   379265     61 |  0.000 % |
2355.85/2355.81	c |   9349626 |    2030   212478   711538 |        1   384463     61 |  0.000 % |
2355.85/2355.81	c |   9400606 |    2030   212478   711538 |        1   218245     41 |  0.000 % |
2355.85/2355.81	c |   9415005 |    2030   212478   711538 |        1   232644     43 |  0.000 % |
2355.85/2355.81	c |   9415129 |    2030   212478   711538 |        1   232768     43 |  0.000 % |
2355.85/2355.81	c |   9446966 |    2030   212478   711538 |        1   264605     47 |  0.000 % |
2355.85/2355.81	c |   9474315 |    2030   212478   711538 |        1   291954     51 |  0.000 % |
2355.85/2355.81	c |   9476791 |    2030   212478   711538 |        1   294430     52 |  0.000 % |
2355.85/2355.81	c |   9489353 |    2030   212478   711538 |        1   306992     53 |  0.000 % |
2355.85/2355.81	c |   9497081 |    2030   212478   711538 |        1   314720     54 |  0.000 % |
2355.85/2355.81	c |   9500996 |    2030   212478   711538 |        1   318635     54 |  0.000 % |
2355.85/2355.81	c |   9505593 |    2030   212478   711538 |        1   323232     54 |  0.000 % |
2355.85/2355.81	c |   9511339 |    2030   212478   711538 |        1   328978     55 |  0.000 % |
2355.85/2355.81	c |   9513309 |    2030   212478   711538 |        1   330948     55 |  0.000 % |
2355.85/2355.81	c |   9574106 |    2030   212478   711538 |        1   391745     57 |  0.000 % |
2355.85/2355.81	c |   9606977 |    2030   212478   711538 |        1   424616     58 |  0.000 % |
2355.85/2355.81	c |   9607118 |    2030   212478   711538 |        1   424757     58 |  0.000 % |
2355.85/2355.81	c |   9613367 |    2030   212478   711538 |        1   431006     58 |  0.000 % |
2355.85/2355.81	c |   9618700 |    2030   212478   711538 |        1   436339     58 |  0.000 % |
2355.85/2355.81	c |   9628767 |    2030   212478   711538 |        1   226598     37 |  0.000 % |
2355.85/2355.81	c |   9653662 |    2030   212478   711538 |        1   251493     40 |  0.000 % |
2355.85/2355.81	c |   9681784 |    2030   212478   711538 |        1   279615     44 |  0.000 % |
2355.85/2355.81	c |   9689067 |    2030   212478   711538 |        1   286898     45 |  0.000 % |
2355.85/2355.81	c |   9695096 |    2030   212478   711538 |        1   292927     45 |  0.000 % |
2355.85/2355.81	c |   9696964 |    2030   212478   711538 |        1   294795     46 |  0.000 % |
2355.85/2355.81	c |   9701621 |    2030   212478   711538 |        1   299452     46 |  0.000 % |
2355.85/2355.81	c |   9701912 |    2030   212478   711538 |        1   299743     46 |  0.000 % |
2355.85/2355.81	c |   9702624 |    2030   212478   711538 |        1   300455     46 |  0.000 % |
2355.85/2355.81	c |   9703281 |    2030   212478   711538 |        1   301112     47 |  0.000 % |
2355.85/2355.81	c |   9727363 |    2030   212478   711538 |        1   325194     50 |  0.000 % |
2571.07/2571.02	c |   9728965 |    2030   212478   711538 |        1   326796     50 |  0.000 % |
2571.07/2571.02	c |   9738311 |    2030   212478   711538 |        1   336142     51 |  0.000 % |
2571.07/2571.02	c |   9744726 |    2030   212478   711538 |        1   342557     52 |  0.000 % |
2571.07/2571.02	c |   9747655 |    2030   212478   711538 |        1   345486     53 |  0.000 % |
2571.07/2571.02	c |   9756459 |    2030   212478   711538 |        1   354290     53 |  0.000 % |
2571.07/2571.02	c |   9758067 |    2030   212478   711538 |        1   355898     53 |  0.000 % |
2571.07/2571.02	c |   9771269 |    2030   212478   711538 |        1   369100     55 |  0.000 % |
2571.07/2571.02	c |   9780288 |    2030   212478   711538 |        1   378119     55 |  0.000 % |
2571.07/2571.02	c |   9788218 |    2030   212478   711538 |        1   386049     56 |  0.000 % |
2571.07/2571.02	c |   9788318 |    2030   212478   711538 |        1   386149     56 |  0.000 % |
2571.07/2571.02	c |   9822882 |    2030   212478   711538 |        1   420713     59 |  0.000 % |
2571.07/2571.02	c |   9823103 |    2030   212478   711538 |        1   420934     59 |  0.000 % |
2571.07/2571.02	c |   9823490 |    2030   212478   711538 |        1   421321     59 |  0.000 % |
2571.07/2571.02	c |   9835392 |    2030   212478   711538 |        1   433223     60 |  0.000 % |
2571.07/2571.02	c |   9885468 |    2030   212478   711538 |        1   260896     44 |  0.000 % |
2571.07/2571.02	c |   9893711 |    2030   212478   711538 |        1   269139     46 |  0.000 % |
2571.07/2571.02	c |   9896769 |    2030   212478   711538 |        1   272197     46 |  0.000 % |
2571.07/2571.02	c |   9934796 |    2030   212478   711538 |        1   310224     50 |  0.000 % |
2571.07/2571.02	c |   9980544 |    2030   212478   711538 |        1   355972     54 |  0.000 % |
2571.07/2571.02	c |  10000294 |    2030   212478   711538 |        1   375722     56 |  0.000 % |
2571.07/2571.02	c |  10002640 |    2030   212478   711538 |        1   378068     56 |  0.000 % |
2571.07/2571.02	c |  10074404 |    2030   212478   711538 |        1   449832     61 |  0.000 % |
2571.07/2571.02	c |  10124060 |    2030   212478   711538 |        1   274476     44 |  0.000 % |
2571.07/2571.02	c |  10166382 |    2030   212478   711538 |        1   316798     50 |  0.000 % |
2571.07/2571.02	c |  10173315 |    2030   212478   711538 |        1   323731     51 |  0.000 % |
2571.07/2571.02	c |  10173553 |    2030   212478   711538 |        1   323969     51 |  0.000 % |
2571.07/2571.02	c |  10174515 |    2030   212478   711538 |        1   324931     51 |  0.000 % |
2571.07/2571.02	c |  10199474 |    2030   212478   711538 |        1   349890     54 |  0.000 % |
2571.07/2571.02	c |  10223911 |    2030   212478   711538 |        1   374327     56 |  0.000 % |
2571.07/2571.02	c |  10226571 |    2030   212478   711538 |        1   376987     57 |  0.000 % |
2571.07/2571.02	c |  10231479 |    2030   212478   711538 |        1   381895     57 |  0.000 % |
2571.07/2571.02	c |  10290906 |    2030   212478   711538 |        1   441322     62 |  0.000 % |
2571.07/2571.02	c |  10292904 |    2030   212478   711538 |        1   443320     62 |  0.000 % |
2571.07/2571.02	c |  10314067 |    2030   212478   711538 |        1   236894     40 |  0.000 % |
2571.07/2571.02	c |  10330253 |    2030   212478   711538 |        1   253080     43 |  0.000 % |
2571.07/2571.02	c |  10330815 |    2030   212478   711538 |        1   253642     44 |  0.000 % |
2571.07/2571.02	c |  10334908 |    2030   212478   711538 |        1   257735     44 |  0.000 % |
2571.07/2571.02	c |  10336495 |    2030   212478   711538 |        1   259322     45 |  0.000 % |
2571.07/2571.02	c |  10356605 |    2030   212478   711538 |        1   279432     47 |  0.000 % |
2571.07/2571.02	c |  10368977 |    2030   212478   711538 |        1   291804     48 |  0.000 % |
2571.07/2571.02	c |  10373088 |    2030   212478   711538 |        1   295915     49 |  0.000 % |
2571.07/2571.02	c |  10448128 |    2030   212478   711538 |        1   370955     54 |  0.000 % |
2571.07/2571.02	c |  10448338 |    2030   212478   711538 |        1   371165     54 |  0.000 % |
2571.07/2571.02	c |  10466121 |    2030   212478   711538 |        1   388948     55 |  0.000 % |
2571.07/2571.02	c |  10476316 |    2030   212478   711538 |        1   399143     56 |  0.000 % |
2571.07/2571.02	c |  10477127 |    2030   212478   711538 |        1   399954     56 |  0.000 % |
2571.07/2571.02	c |  10490942 |    2030   212478   711538 |        1   413769     57 |  0.000 % |
2571.07/2571.02	c |  10493453 |    2030   212478   711538 |        1   416280     57 |  0.000 % |
2571.07/2571.02	c |  10532827 |    2030   212478   711538 |        1   455654     59 |  0.000 % |
2571.07/2571.02	c |  10536188 |    2030   212478   711538 |        1   459015     59 |  0.000 % |
2857.47/2857.42	c |  10548130 |    2030   212478   711538 |        1   240755     38 |  0.000 % |
2857.47/2857.42	c |  10562450 |    2030   212478   711538 |        1   255075     41 |  0.000 % |
2857.47/2857.42	c |  10648258 |    2030   212478   711538 |        1   340883     55 |  0.000 % |
2857.47/2857.42	c |  10648358 |    2030   212478   711538 |        1   340983     55 |  0.000 % |
2857.47/2857.42	c |  10658152 |    2030   212478   711538 |        1   350777     56 |  0.000 % |
2857.47/2857.42	c |  10665547 |    2030   212478   711538 |        1   358172     56 |  0.000 % |
2857.47/2857.42	c |  10668061 |    2030   212478   711538 |        1   360686     57 |  0.000 % |
2857.47/2857.42	c |  10668798 |    2030   212478   711538 |        1   361423     57 |  0.000 % |
2857.47/2857.42	c |  10669290 |    2030   212478   711538 |        1   361915     57 |  0.000 % |
2857.47/2857.42	c |  10682368 |    2030   212478   711538 |        1   374993     59 |  0.000 % |
2857.47/2857.42	c |  10682527 |    2030   212478   711538 |        1   375152     59 |  0.000 % |
2857.47/2857.42	c |  10729643 |    2030   212478   711538 |        1   422268     62 |  0.000 % |
2857.47/2857.42	c |  10734911 |    2030   212478   711538 |        1   427536     62 |  0.000 % |
2857.47/2857.42	c |  10735499 |    2030   212478   711538 |        1   428124     62 |  0.000 % |
2857.47/2857.42	c |  10738722 |    2030   212478   711538 |        1   431347     62 |  0.000 % |
2857.47/2857.42	c |  10741232 |    2030   212478   711538 |        1   433857     62 |  0.000 % |
2857.47/2857.42	c |  10757590 |    2030   212478   711538 |        1   450215     64 |  0.000 % |
2857.47/2857.42	c |  10758559 |    2030   212478   711538 |        1   451184     64 |  0.000 % |
2857.47/2857.42	c |  10804059 |    2030   212478   711538 |        1   263895     44 |  0.000 % |
2857.47/2857.42	c |  10883480 |    2030   212478   711538 |        1   343316     49 |  0.000 % |
2857.47/2857.42	c |  10900928 |    2030   212478   711538 |        1   360764     51 |  0.000 % |
2857.47/2857.42	c |  10908831 |    2030   212478   711538 |        1   368667     51 |  0.000 % |
2857.47/2857.42	c |  10933370 |    2030   212478   711538 |        1   393206     53 |  0.000 % |
2857.47/2857.42	c |  10940134 |    2030   212478   711538 |        1   399970     53 |  0.000 % |
2857.47/2857.42	c |  10944212 |    2030   212478   711538 |        1   404048     54 |  0.000 % |
2857.47/2857.42	c |  10945101 |    2030   212478   711538 |        1   404937     54 |  0.000 % |
2857.47/2857.42	c |  10982251 |    2030   212478   711538 |        1   442087     57 |  0.000 % |
2857.47/2857.42	c |  11045689 |    2030   212478   711538 |        1   270113     42 |  0.000 % |
2857.47/2857.42	c |  11071585 |    2030   212478   711538 |        1   296009     45 |  0.000 % |
2857.47/2857.42	c |  11071871 |    2030   212478   711538 |        1   296295     45 |  0.000 % |
2857.47/2857.42	c |  11076970 |    2030   212478   711538 |        1   301394     45 |  0.000 % |
2857.47/2857.42	c |  11082005 |    2030   212478   711538 |        1   306429     46 |  0.000 % |
2857.47/2857.42	c |  11110562 |    2030   212478   711538 |        1   334986     49 |  0.000 % |
2857.47/2857.42	c |  11172295 |    2030   212478   711538 |        1   396719     53 |  0.000 % |
2857.47/2857.42	c |  11215279 |    2030   212478   711538 |        1   439703     56 |  0.000 % |
2857.47/2857.42	c |  11241415 |    2030   212478   711538 |        1   465839     57 |  0.000 % |
2857.47/2857.42	c |  11267657 |    2030   212478   711538 |        1   254089     39 |  0.000 % |
2857.47/2857.42	c |  11393832 |    2030   212478   711538 |        1   380264     51 |  0.000 % |
2857.47/2857.42	c |  11394172 |    2030   212478   711538 |        1   380604     51 |  0.000 % |
2857.47/2857.42	c |  11402325 |    2030   212478   711538 |        1   388757     51 |  0.000 % |
2857.47/2857.42	c |  11414152 |    2030   212478   711538 |        1   400584     52 |  0.000 % |
2857.47/2857.42	c |  11418984 |    2030   212478   711538 |        1   405416     53 |  0.000 % |
2857.47/2857.42	c |  11425643 |    2030   212478   711538 |        1   412075     53 |  0.000 % |
2857.47/2857.42	c |  11434587 |    2030   212478   711538 |        1   421019     54 |  0.000 % |
2857.47/2857.42	c |  11443170 |    2030   212478   711538 |        1   429602     54 |  0.000 % |
2857.47/2857.42	c |  11499021 |    2030   212478   711538 |        1   244855     37 |  0.000 % |
2857.47/2857.42	c |  11511261 |    2030   212478   711538 |        1   257095     39 |  0.000 % |
2857.47/2857.42	c |  11530261 |    2030   212478   711538 |        1   276095     42 |  0.000 % |
2857.47/2857.42	c |  11576456 |    2030   212478   711538 |        1   322290     48 |  0.000 % |
2857.47/2857.42	c |  11578228 |    2030   212478   711538 |        1   324062     48 |  0.000 % |
2983.28/2983.22	c |  11579225 |    2030   212478   711538 |        1   325059     48 |  0.000 % |
2983.28/2983.22	c |  11580066 |    2030   212478   711538 |        1   325900     48 |  0.000 % |
2983.28/2983.22	c |  11618783 |    2030   212478   711538 |        1   364617     53 |  0.000 % |
2983.28/2983.22	c |  11618922 |    2030   212478   711538 |        1   364756     53 |  0.000 % |
2983.28/2983.22	c |  11620443 |    2030   212478   711538 |        1   366277     53 |  0.000 % |
2983.28/2983.22	c |  11623093 |    2030   212478   711538 |        1   368927     54 |  0.000 % |
2983.28/2983.22	c |  11623317 |    2030   212478   711538 |        1   369151     54 |  0.000 % |
2983.28/2983.22	c |  11631210 |    2030   212478   711538 |        1   377044     54 |  0.000 % |
2983.28/2983.22	c |  11648009 |    2030   212478   711538 |        1   393843     55 |  0.000 % |
2983.28/2983.22	c |  11648694 |    2030   212478   711538 |        1   394528     55 |  0.000 % |
2983.28/2983.22	c |  11648831 |    2030   212478   711538 |        1   394665     55 |  0.000 % |
2983.28/2983.22	c |  11648932 |    2030   212478   711538 |        1   394766     55 |  0.000 % |
2983.28/2983.22	c |  11650309 |    2030   212478   711538 |        1   396143     56 |  0.000 % |
2983.28/2983.22	c |  11656744 |    2030   212478   711538 |        1   402578     56 |  0.000 % |
2983.28/2983.22	c |  11699226 |    2030   212478   711538 |        1   445060     58 |  0.000 % |
2983.28/2983.22	c |  11708634 |    2030   212478   711538 |        1   454468     59 |  0.000 % |
2983.28/2983.22	c |  11710313 |    2030   212478   711538 |        1   456147     59 |  0.000 % |
2983.28/2983.22	c |  11721159 |    2030   212478   711538 |        1   466993     59 |  0.000 % |
2983.28/2983.22	c |  11722060 |    2030   212478   711538 |        1   467894     59 |  0.000 % |
2983.28/2983.22	c |  11722948 |    2030   212478   711538 |        1   468782     59 |  0.000 % |
2983.28/2983.22	c |  11723483 |    2030   212478   711538 |        1   469317     59 |  0.000 % |
2983.28/2983.22	c |  11724032 |    2030   212478   711538 |        1   469866     59 |  0.000 % |
2983.28/2983.22	c |  11740147 |    2030   212478   711538 |        1   485981     60 |  0.000 % |
2983.28/2983.22	c |  11761482 |    2030   212478   711538 |        1   264113     41 |  0.000 % |
2983.28/2983.22	c |  11777109 |    2030   212478   711538 |        1   279740     43 |  0.000 % |
2983.28/2983.22	c |  11794833 |    2030   212478   711538 |        1   297464     45 |  0.000 % |
2983.28/2983.22	c |  11800036 |    2030   212478   711538 |        1   302667     46 |  0.000 % |
2983.28/2983.22	c |  11804112 |    2030   212478   711538 |        1   306743     47 |  0.000 % |
2983.28/2983.22	c |  11809141 |    2030   212478   711538 |        1   311772     47 |  0.000 % |
2983.28/2983.22	c |  11810939 |    2030   212478   711538 |        1   313570     47 |  0.000 % |
2983.28/2983.22	c |  11811936 |    2030   212478   711538 |        1   314567     47 |  0.000 % |
2983.28/2983.22	c |  11825056 |    2030   212478   711538 |        1   327687     49 |  0.000 % |
2983.28/2983.22	c |  11828160 |    2030   212478   711538 |        1   330791     49 |  0.000 % |
2983.28/2983.22	c |  11829038 |    2030   212478   711538 |        1   331669     49 |  0.000 % |
2983.28/2983.22	c |  11839443 |    2030   212478   711538 |        1   342074     51 |  0.000 % |
2983.28/2983.22	c |  11862449 |    2030   212478   711538 |        1   365080     53 |  0.000 % |
2983.28/2983.22	c |  11864388 |    2030   212478   711538 |        1   367019     53 |  0.000 % |
2983.28/2983.22	c |  11895284 |    2030   212478   711538 |        1   397915     55 |  0.000 % |
2983.28/2983.22	c |  11905404 |    2030   212478   711538 |        1   408035     56 |  0.000 % |
2983.28/2983.22	c |  11917509 |    2030   212478   711538 |        1   420140     57 |  0.000 % |
2983.28/2983.22	c |  11919980 |    2030   212478   711538 |        1   422611     57 |  0.000 % |
2983.28/2983.22	c |  11945149 |    2030   212478   711538 |        1   447780     59 |  0.000 % |
2983.28/2983.22	c |  11948783 |    2030   212478   711538 |        1   451414     60 |  0.000 % |
2983.28/2983.22	c |  11951265 |    2030   212478   711538 |        1   453896     60 |  0.000 % |
2983.28/2983.22	c |  11951575 |    2030   212478   711538 |        1   454206     60 |  0.000 % |
2983.28/2983.22	c |  12011200 |    2030   212478   711538 |        1   268042     41 |  0.000 % |
2983.28/2983.22	c |  12011355 |    2030   212478   711538 |        1   268197     41 |  0.000 % |
2983.28/2983.22	c |  12012904 |    2030   212478   711538 |        1   269746     41 |  0.000 % |
2983.28/2983.22	c |  12037160 |    2030   212478   711538 |        1   294002     45 |  0.000 % |
2983.28/2983.22	c |  12049593 |    2030   212478   711538 |        1   306435     46 |  0.000 % |
3242.19/3242.15	c |  12177723 |    2030   212478   711538 |        1   434565     54 |  0.000 % |
3242.19/3242.15	c |  12223235 |    2030   212478   711538 |        1   480077     56 |  0.000 % |
3242.19/3242.15	c |  12225553 |    2030   212478   711538 |        1   482395     56 |  0.000 % |
3242.19/3242.15	c |  12228042 |    2030   212478   711538 |        1   484884     56 |  0.000 % |
3242.19/3242.15	c |  12229843 |    2030   212478   711538 |        1   486685     56 |  0.000 % |
3242.19/3242.15	c |  12230304 |    2030   212478   711538 |        1   487146     56 |  0.000 % |
3242.19/3242.15	c |  12230530 |    2030   212478   711538 |        1   487372     56 |  0.000 % |
3242.19/3242.15	c |  12234788 |    2030   212478   711538 |        1   491630     56 |  0.000 % |
3242.19/3242.15	c |  12259154 |    2030   212478   711538 |        1   267591     38 |  0.000 % |
3242.19/3242.15	c |  12259976 |    2030   212478   711538 |        1   268413     38 |  0.000 % |
3242.19/3242.15	c |  12321092 |    2030   212478   711538 |        1   329529     45 |  0.000 % |
3242.19/3242.15	c |  12327543 |    2030   212478   711538 |        1   335980     45 |  0.000 % |
3242.19/3242.15	c |  12356227 |    2030   212478   711538 |        1   364664     48 |  0.000 % |
3242.19/3242.15	c |  12384839 |    2030   212478   711538 |        1   393276     50 |  0.000 % |
3242.19/3242.15	c |  12385046 |    2030   212478   711538 |        1   393483     50 |  0.000 % |
3242.19/3242.15	c |  12396214 |    2030   212478   711538 |        1   404651     51 |  0.000 % |
3242.19/3242.15	c |  12420604 |    2030   212478   711538 |        1   429041     53 |  0.000 % |
3242.19/3242.15	c |  12420740 |    2030   212478   711538 |        1   429177     53 |  0.000 % |
3242.19/3242.15	c |  12473969 |    2030   212478   711538 |        1   482406     57 |  0.000 % |
3242.19/3242.15	c |  12474367 |    2030   212478   711538 |        1   482804     57 |  0.000 % |
3242.19/3242.15	c |  12582271 |    2030   212478   711538 |        1   339704     47 |  0.000 % |
3242.19/3242.15	c |  12582642 |    2030   212478   711538 |        1   340075     47 |  0.000 % |
3242.19/3242.15	c |  12598048 |    2030   212478   711538 |        1   355481     48 |  0.000 % |
3242.19/3242.15	c |  12617712 |    2030   212478   711538 |        1   375145     49 |  0.000 % |
3242.19/3242.15	c |  12623611 |    2030   212478   711538 |        1   381044     49 |  0.000 % |
3242.19/3242.15	c |  12624040 |    2030   212478   711538 |        1   381473     49 |  0.000 % |
3242.19/3242.15	c |  12624202 |    2030   212478   711538 |        1   381635     49 |  0.000 % |
3242.19/3242.15	c |  12626140 |    2030   212478   711538 |        1   383573     50 |  0.000 % |
3242.19/3242.15	c |  12627834 |    2030   212478   711538 |        1   385267     50 |  0.000 % |
3242.19/3242.15	c |  12651042 |    2030   212478   711538 |        1   408475     52 |  0.000 % |
3242.19/3242.15	c |  12651142 |    2030   212478   711538 |        1   408575     52 |  0.000 % |
3242.19/3242.15	c |  12651512 |    2030   212478   711538 |        1   408945     52 |  0.000 % |
3242.19/3242.15	c |  12653941 |    2030   212478   711538 |        1   411374     52 |  0.000 % |
3242.19/3242.15	c |  12655372 |    2030   212478   711538 |        1   412805     52 |  0.000 % |
3242.19/3242.15	c |  12663017 |    2030   212478   711538 |        1   420450     52 |  0.000 % |
3242.19/3242.15	c |  12663308 |    2030   212478   711538 |        1   420741     52 |  0.000 % |
3242.19/3242.15	c |  12667684 |    2030   212478   711538 |        1   425117     53 |  0.000 % |
3242.19/3242.15	c |  12685296 |    2030   212478   711538 |        1   442729     54 |  0.000 % |
3242.19/3242.15	c |  12711966 |    2030   212478   711538 |        1   469399     56 |  0.000 % |
3242.19/3242.15	c |  12717384 |    2030   212478   711538 |        1   474817     56 |  0.000 % |
3242.19/3242.15	c |  12734896 |    2030   212478   711538 |        1   492329     57 |  0.000 % |
3242.19/3242.15	c |  12813024 |    2030   212478   711538 |        1   316852     43 |  0.000 % |
3242.19/3242.15	c |  12830279 |    2030   212478   711538 |        1   334107     45 |  0.000 % |
3242.19/3242.15	c |  12831376 |    2030   212478   711538 |        1   335204     45 |  0.000 % |
3242.19/3242.15	c |  12876396 |    2030   212478   711538 |        1   380224     49 |  0.000 % |
3242.19/3242.15	c |  12878774 |    2030   212478   711538 |        1   382602     49 |  0.000 % |
3242.19/3242.15	c |  12899623 |    2030   212478   711538 |        1   403451     51 |  0.000 % |
3242.19/3242.15	c |  12900717 |    2030   212478   711538 |        1   404545     51 |  0.000 % |
3242.19/3242.15	c |  12900817 |    2030   212478   711538 |        1   404645     51 |  0.000 % |
3242.19/3242.15	c |  12913750 |    2030   212478   711538 |        1   417578     52 |  0.000 % |
3523.60/3523.55	c |  12917827 |    2030   212478   711538 |        1   421655     53 |  0.000 % |
3523.60/3523.55	c |  12968185 |    2030   212478   711538 |        1   472013     56 |  0.000 % |
3523.60/3523.55	c |  13016562 |    2030   212478   711538 |        1   264193     38 |  0.000 % |
3523.60/3523.55	c |  13016946 |    2030   212478   711538 |        1   264577     38 |  0.000 % |
3523.60/3523.55	c |  13019422 |    2030   212478   711538 |        1   267053     39 |  0.000 % |
3523.60/3523.55	c |  13027506 |    2030   212478   711538 |        1   275137     41 |  0.000 % |
3523.60/3523.55	c |  13051847 |    2030   212478   711538 |        1   299478     45 |  0.000 % |
3523.60/3523.55	c |  13067880 |    2030   212478   711538 |        1   315511     46 |  0.000 % |
3523.60/3523.55	c |  13069274 |    2030   212478   711538 |        1   316905     47 |  0.000 % |
3523.60/3523.55	c |  13156919 |    2030   212478   711538 |        1   404550     55 |  0.000 % |
3523.60/3523.55	c |  13165185 |    2030   212478   711538 |        1   412816     55 |  0.000 % |
3523.60/3523.55	c |  13173437 |    2030   212478   711538 |        1   421068     56 |  0.000 % |
3523.60/3523.55	c |  13174959 |    2030   212478   711538 |        1   422590     56 |  0.000 % |
3523.60/3523.55	c |  13233707 |    2030   212478   711538 |        1   481338     59 |  0.000 % |
3523.60/3523.55	c |  13262629 |    2030   212478   711538 |        1   510260     60 |  0.000 % |
3523.60/3523.55	c |  13310237 |    2030   212478   711538 |        1   299069     45 |  0.000 % |
3523.60/3523.55	c |  13360050 |    2030   212478   711538 |        1   348882     49 |  0.000 % |
3523.60/3523.55	c |  13362106 |    2030   212478   711538 |        1   350938     49 |  0.000 % |
3523.60/3523.55	c |  13362208 |    2030   212478   711538 |        1   351040     49 |  0.000 % |
3523.60/3523.55	c |  13373346 |    2030   212478   711538 |        1   362178     50 |  0.000 % |
3523.60/3523.55	c |  13408224 |    2030   212478   711538 |        1   397056     53 |  0.000 % |
3523.60/3523.55	c |  13408393 |    2030   212478   711538 |        1   397225     53 |  0.000 % |
3523.60/3523.55	c |  13409821 |    2030   212478   711538 |        1   398653     53 |  0.000 % |
3523.60/3523.55	c |  13447576 |    2030   212478   711538 |        1   436408     57 |  0.000 % |
3523.60/3523.55	c |  13447912 |    2030   212478   711538 |        1   436744     57 |  0.000 % |
3523.60/3523.55	c |  13448367 |    2030   212478   711538 |        1   437199     57 |  0.000 % |
3523.60/3523.55	c |  13449119 |    2030   212478   711538 |        1   437951     57 |  0.000 % |
3523.60/3523.55	c |  13449507 |    2030   212478   711538 |        1   438339     57 |  0.000 % |
3523.60/3523.55	c |  13449731 |    2030   212478   711538 |        1   438563     57 |  0.000 % |
3523.60/3523.55	c |  13485885 |    2030   212478   711538 |        1   474717     59 |  0.000 % |
3523.60/3523.55	c |  13512342 |    2030   212478   711538 |        1   501174     60 |  0.000 % |
3523.60/3523.55	c |  13513607 |    2030   212478   711538 |        1   502439     60 |  0.000 % |
3523.60/3523.55	c |  13639707 |    2030   212478   711538 |        1   367144     51 |  0.000 % |
3523.60/3523.55	c |  13641225 |    2030   212478   711538 |        1   368662     51 |  0.000 % |
3523.60/3523.55	c |  13641735 |    2030   212478   711538 |        1   369172     51 |  0.000 % |
3523.60/3523.55	c |  13642596 |    2030   212478   711538 |        1   370033     51 |  0.000 % |
3523.60/3523.55	c |  13644501 |    2030   212478   711538 |        1   371938     51 |  0.000 % |
3523.60/3523.55	c |  13648554 |    2030   212478   711538 |        1   375991     52 |  0.000 % |
3523.60/3523.55	c |  13672822 |    2030   212478   711538 |        1   400259     54 |  0.000 % |
3523.60/3523.55	c |  13745010 |    2030   212478   711538 |        1   472447     57 |  0.000 % |
3523.60/3523.55	c |  13753346 |    2030   212478   711538 |        1   480783     58 |  0.000 % |
3523.60/3523.55	c |  13786200 |    2030   212478   711538 |        1   513637     59 |  0.000 % |
3523.60/3523.55	c |  13786300 |    2030   212478   711538 |        1   513737     59 |  0.000 % |
3523.60/3523.55	c |  13819000 |    2030   212478   711538 |        1   282435     40 |  0.000 % |
3523.60/3523.55	c |  13876633 |    2030   212478   711538 |        1   340068     45 |  0.000 % |
3523.60/3523.55	c |  13882056 |    2030   212478   711538 |        1   345491     46 |  0.000 % |
3523.60/3523.55	c |  13889434 |    2030   212478   711538 |        1   352869     47 |  0.000 % |
3523.60/3523.55	c |  13889535 |    2030   212478   711538 |        1   352970     47 |  0.000 % |
3523.60/3523.55	c |  13905481 |    2030   212478   711538 |        1   368916     49 |  0.000 % |
3523.60/3523.55	c |  13932269 |    2030   212478   711538 |        1   395704     52 |  0.000 % |
3789.51/3789.50	c |  13933745 |    2030   212478   711538 |        1   397180     52 |  0.000 % |
3789.51/3789.50	c |  13935696 |    2030   212478   711538 |        1   399131     52 |  0.000 % |
3789.51/3789.50	c |  13944265 |    2030   212478   711538 |        1   407700     52 |  0.000 % |
3789.51/3789.50	c |  13970627 |    2030   212478   711538 |        1   434062     54 |  0.000 % |
3789.51/3789.50	c |  14011126 |    2030   212478   711538 |        1   474561     56 |  0.000 % |
3789.51/3789.50	c |  14033622 |    2030   212478   711538 |        1   497057     57 |  0.000 % |
3789.51/3789.50	c |  14034608 |    2030   212478   711538 |        1   498043     57 |  0.000 % |
3789.51/3789.50	c |  14085984 |    2030   212478   711538 |        1   282819     39 |  0.000 % |
3789.51/3789.50	c |  14090912 |    2030   212478   711538 |        1   287747     40 |  0.000 % |
3789.51/3789.50	c |  14102788 |    2030   212478   711538 |        1   299623     41 |  0.000 % |
3789.51/3789.50	c |  14104422 |    2030   212478   711538 |        1   301257     42 |  0.000 % |
3789.51/3789.50	c |  14105390 |    2030   212478   711538 |        1   302225     42 |  0.000 % |
3789.51/3789.50	c |  14181436 |    2030   212478   711538 |        1   378271     50 |  0.000 % |
3789.51/3789.50	c |  14181537 |    2030   212478   711538 |        1   378372     50 |  0.000 % |
3789.51/3789.50	c |  14186073 |    2030   212478   711538 |        1   382908     50 |  0.000 % |
3789.51/3789.50	c |  14261486 |    2030   212478   711538 |        1   458321     57 |  0.000 % |
3789.51/3789.50	c |  14300200 |    2030   212478   711538 |        1   497035     59 |  0.000 % |
3789.51/3789.50	c |  14300407 |    2030   212478   711538 |        1   497242     59 |  0.000 % |
3789.51/3789.50	c |  14378613 |    2030   212478   711538 |        1   306239     43 |  0.000 % |
3789.51/3789.50	c |  14382612 |    2030   212478   711538 |        1   310238     44 |  0.000 % |
3789.51/3789.50	c |  14392886 |    2030   212478   711538 |        1   320512     46 |  0.000 % |
3789.51/3789.50	c |  14452890 |    2030   212478   711538 |        1   380516     53 |  0.000 % |
3789.51/3789.50	c |  14465356 |    2030   212478   711538 |        1   392982     54 |  0.000 % |
3789.51/3789.50	c |  14525496 |    2030   212478   711538 |        1   453122     58 |  0.000 % |
3789.51/3789.50	c |  14527293 |    2030   212478   711538 |        1   454919     58 |  0.000 % |
3789.51/3789.50	c |  14534375 |    2030   212478   711538 |        1   462001     59 |  0.000 % |
3789.51/3789.50	c |  14534889 |    2030   212478   711538 |        1   462515     59 |  0.000 % |
3789.51/3789.50	c |  14536712 |    2030   212478   711538 |        1   464338     59 |  0.000 % |
3789.51/3789.50	c |  14549528 |    2030   212478   711538 |        1   477154     59 |  0.000 % |
3789.51/3789.50	c |  14549648 |    2030   212478   711538 |        1   477274     60 |  0.000 % |
3789.51/3789.50	c |  14557531 |    2030   212478   711538 |        1   485157     60 |  0.000 % |
3789.51/3789.50	c |  14561805 |    2030   212478   711538 |        1   489431     60 |  0.000 % |
3789.51/3789.50	c |  14563439 |    2030   212478   711538 |        1   491065     60 |  0.000 % |
3789.51/3789.50	c |  14576733 |    2030   212478   711538 |        1   504359     61 |  0.000 % |
3789.51/3789.50	c |  14598236 |    2030   212478   711538 |        1   525862     62 |  0.000 % |
3789.51/3789.50	c |  14601725 |    2030   212478   711538 |        1   529351     62 |  0.000 % |
3789.51/3789.50	c |  14602113 |    2030   212478   711538 |        1   529739     62 |  0.000 % |
3789.51/3789.50	c |  14652083 |    2030   212478   711538 |        1   307905     43 |  0.000 % |
3789.51/3789.50	c |  14662232 |    2030   212478   711538 |        1   318054     45 |  0.000 % |
3789.51/3789.50	c |  14719912 |    2030   212478   711538 |        1   375734     53 |  0.000 % |
3789.51/3789.50	c |  14720411 |    2030   212478   711538 |        1   376233     53 |  0.000 % |
3789.51/3789.50	c |  14744748 |    2030   212478   711538 |        1   400570     55 |  0.000 % |
3789.51/3789.50	c |  14776491 |    2030   212478   711538 |        1   432313     58 |  0.000 % |
3789.51/3789.50	c |  14800899 |    2030   212478   711538 |        1   456721     59 |  0.000 % |
3789.51/3789.50	c |  14854455 |    2030   212478   711538 |        1   510277     61 |  0.000 % |
3789.51/3789.50	c |  14854803 |    2030   212478   711538 |        1   510625     61 |  0.000 % |
3789.51/3789.50	c |  14855526 |    2030   212478   711538 |        1   511348     61 |  0.000 % |
3789.51/3789.50	c |  14874564 |    2030   212478   711538 |        1   530386     61 |  0.000 % |
3789.51/3789.50	c |  14878339 |    2030   212478   711538 |        1   534161     61 |  0.000 % |
3789.51/3789.50	c |  14890218 |    2030   212478   711538 |        1   546040     61 |  0.000 % |
4018.82/4018.70	c |  14940490 |    2030   212478   711538 |        1   321917     43 |  0.000 % |
4018.82/4018.70	c |  14969119 |    2030   212478   711538 |        1   350546     45 |  0.000 % |
4018.82/4018.70	c |  14970301 |    2030   212478   711538 |        1   351728     45 |  0.000 % |
4018.82/4018.70	c |  14971032 |    2030   212478   711538 |        1   352459     45 |  0.000 % |
4018.82/4018.70	c |  14976598 |    2030   212478   711538 |        1   358025     46 |  0.000 % |
4018.82/4018.70	c |  14984170 |    2030   212478   711538 |        1   365597     47 |  0.000 % |
4018.82/4018.70	c |  14995889 |    2030   212478   711538 |        1   377316     48 |  0.000 % |
4018.82/4018.70	c |  14995993 |    2030   212478   711538 |        1   377420     48 |  0.000 % |
4018.82/4018.70	c |  15041026 |    2030   212478   711538 |        1   422453     51 |  0.000 % |
4018.82/4018.70	c |  15050503 |    2030   212478   711538 |        1   431930     52 |  0.000 % |
4018.82/4018.70	c |  15050760 |    2030   212478   711538 |        1   432187     52 |  0.000 % |
4018.82/4018.70	c |  15080718 |    2030   212478   711538 |        1   462145     54 |  0.000 % |
4018.82/4018.70	c |  15092434 |    2030   212478   711538 |        1   473861     55 |  0.000 % |
4018.82/4018.70	c |  15092765 |    2030   212478   711538 |        1   474192     55 |  0.000 % |
4018.82/4018.70	c |  15106181 |    2030   212478   711538 |        1   487608     55 |  0.000 % |
4018.82/4018.70	c |  15107405 |    2030   212478   711538 |        1   488832     55 |  0.000 % |
4018.82/4018.70	c |  15151886 |    2030   212478   711538 |        1   533313     56 |  0.000 % |
4018.82/4018.70	c |  15200910 |    2030   212478   711538 |        1   305336     37 |  0.000 % |
4018.82/4018.70	c |  15204061 |    2030   212478   711538 |        1   308487     38 |  0.000 % |
4018.82/4018.70	c |  15204776 |    2030   212478   711538 |        1   309202     38 |  0.000 % |
4018.82/4018.70	c |  15207511 |    2030   212478   711538 |        1   311937     38 |  0.000 % |
4018.82/4018.70	c |  15262781 |    2030   212478   711538 |        1   367207     44 |  0.000 % |
4018.82/4018.70	c |  15305034 |    2030   212478   711538 |        1   409460     49 |  0.000 % |
4018.82/4018.70	c |  15335993 |    2030   212478   711538 |        1   440419     51 |  0.000 % |
4018.82/4018.70	c |  15360619 |    2030   212478   711538 |        1   465045     53 |  0.000 % |
4018.82/4018.70	c |  15362613 |    2030   212478   711538 |        1   467039     53 |  0.000 % |
4018.82/4018.70	c |  15364939 |    2030   212478   711538 |        1   469365     53 |  0.000 % |
4018.82/4018.70	c |  15366674 |    2030   212478   711538 |        1   471100     54 |  0.000 % |
4018.82/4018.70	c |  15380344 |    2030   212478   711538 |        1   484770     55 |  0.000 % |
4018.82/4018.70	c |  15380567 |    2030   212478   711538 |        1   484993     55 |  0.000 % |
4018.82/4018.70	c |  15383723 |    2030   212478   711538 |        1   488149     55 |  0.000 % |
4018.82/4018.70	c |  15446027 |    2030   212478   711538 |        1   550453     58 |  0.000 % |
4018.82/4018.70	c |  15447902 |    2030   212478   711538 |        1   552328     58 |  0.000 % |
4018.82/4018.70	c |  15448003 |    2030   212478   711538 |        1   552429     58 |  0.000 % |
4018.82/4018.70	c |  15448721 |    2030   212478   711538 |        1   553147     58 |  0.000 % |
4018.82/4018.70	c |  15449959 |    2030   212478   711538 |        1   554385     58 |  0.000 % |
4018.82/4018.70	c |  15451085 |    2030   212478   711538 |        1   555511     59 |  0.000 % |
4018.82/4018.70	c |  15451185 |    2030   212478   711538 |        1   555611     59 |  0.000 % |
4018.82/4018.70	c |  15475534 |    2030   212478   711538 |        1   300352     41 |  0.000 % |
4018.82/4018.70	c |  15476385 |    2030   212478   711538 |        1   301203     41 |  0.000 % |
4018.82/4018.70	c |  15476755 |    2030   212478   711538 |        1   301573     41 |  0.000 % |
4018.82/4018.70	c |  15476855 |    2030   212478   711538 |        1   301673     41 |  0.000 % |
4018.82/4018.70	c |  15476962 |    2030   212478   711538 |        1   301780     41 |  0.000 % |
4018.82/4018.70	c |  15524552 |    2030   212478   711538 |        1   349370     47 |  0.000 % |
4018.82/4018.70	c |  15535698 |    2030   212478   711538 |        1   360516     48 |  0.000 % |
4018.82/4018.70	c |  15558830 |    2030   212478   711538 |        1   383648     51 |  0.000 % |
4018.82/4018.70	c |  15625357 |    2030   212478   711538 |        1   450175     55 |  0.000 % |
4018.82/4018.70	c |  15629215 |    2030   212478   711538 |        1   454033     55 |  0.000 % |
4018.82/4018.70	c |  15656348 |    2030   212478   711538 |        1   481166     57 |  0.000 % |
4018.82/4018.70	c |  15678710 |    2030   212478   711538 |        1   503528     58 |  0.000 % |
4396.83/4396.79	c |  15684919 |    2030   212478   711538 |        1   509737     58 |  0.000 % |
4396.83/4396.79	c |  15700084 |    2030   212478   711538 |        1   524902     60 |  0.000 % |
4396.83/4396.79	c |  15714082 |    2030   212478   711538 |        1   538900     60 |  0.000 % |
4396.83/4396.79	c |  15714476 |    2030   212478   711538 |        1   539294     60 |  0.000 % |
4396.83/4396.79	c |  15716061 |    2030   212478   711538 |        1   540879     60 |  0.000 % |
4396.83/4396.79	c |  15739747 |    2030   212478   711538 |        1   282382     37 |  0.000 % |
4396.83/4396.79	c |  15742350 |    2030   212478   711538 |        1   284985     38 |  0.000 % |
4396.83/4396.79	c |  15754509 |    2030   212478   711538 |        1   297144     40 |  0.000 % |
4396.83/4396.79	c |  15792963 |    2030   212478   711538 |        1   335598     46 |  0.000 % |
4396.83/4396.79	c |  15796727 |    2030   212478   711538 |        1   339362     46 |  0.000 % |
4396.83/4396.79	c |  15798555 |    2030   212478   711538 |        1   341190     47 |  0.000 % |
4396.83/4396.79	c |  15799386 |    2030   212478   711538 |        1   342021     47 |  0.000 % |
4396.83/4396.79	c |  15952668 |    2030   212478   711538 |        1   495303     53 |  0.000 % |
4396.83/4396.79	c |  15958198 |    2030   212478   711538 |        1   500833     54 |  0.000 % |
4396.83/4396.79	c |  16043224 |    2030   212478   711538 |        1   301051     37 |  0.000 % |
4396.83/4396.79	c |  16050318 |    2030   212478   711538 |        1   308145     38 |  0.000 % |
4396.83/4396.79	c |  16096182 |    2030   212478   711538 |        1   354009     42 |  0.000 % |
4396.83/4396.79	c |  16189160 |    2030   212478   711538 |        1   446987     49 |  0.000 % |
4396.83/4396.79	c |  16230426 |    2030   212478   711538 |        1   488253     51 |  0.000 % |
4396.83/4396.79	c |  16236479 |    2030   212478   711538 |        1   494306     51 |  0.000 % |
4396.83/4396.79	c |  16262621 |    2030   212478   711538 |        1   520448     52 |  0.000 % |
4396.83/4396.79	c |  16264742 |    2030   212478   711538 |        1   522569     52 |  0.000 % |
4396.83/4396.79	c |  16298036 |    2030   212478   711538 |        1   555863     53 |  0.000 % |
4396.83/4396.79	c |  16327082 |    2030   212478   711538 |        1   297507     36 |  0.000 % |
4396.83/4396.79	c |  16334466 |    2030   212478   711538 |        1   304891     37 |  0.000 % |
4396.83/4396.79	c |  16359704 |    2030   212478   711538 |        1   330129     40 |  0.000 % |
4396.83/4396.79	c |  16454430 |    2030   212478   711538 |        1   424855     48 |  0.000 % |
4396.83/4396.79	c |  16476952 |    2030   212478   711538 |        1   447377     50 |  0.000 % |
4396.83/4396.79	c |  16482134 |    2030   212478   711538 |        1   452559     50 |  0.000 % |
4396.83/4396.79	c |  16486169 |    2030   212478   711538 |        1   456594     51 |  0.000 % |
4396.83/4396.79	c |  16561048 |    2030   212478   711538 |        1   531473     56 |  0.000 % |
4396.83/4396.79	c |  16584220 |    2030   212478   711538 |        1   554645     57 |  0.000 % |
4396.83/4396.79	c |  16618686 |    2030   212478   711538 |        1   299111     38 |  0.000 % |
4396.83/4396.79	c |  16637302 |    2030   212478   711538 |        1   317727     40 |  0.000 % |
4396.83/4396.79	c |  16676204 |    2030   212478   711538 |        1   356629     46 |  0.000 % |
4396.83/4396.79	c |  16677338 |    2030   212478   711538 |        1   357763     46 |  0.000 % |
4396.83/4396.79	c |  16677439 |    2030   212478   711538 |        1   357864     46 |  0.000 % |
4396.83/4396.79	c |  16680907 |    2030   212478   711538 |        1   361332     46 |  0.000 % |
4396.83/4396.79	c |  16681664 |    2030   212478   711538 |        1   362089     46 |  0.000 % |
4396.83/4396.79	c |  16682345 |    2030   212478   711538 |        1   362770     47 |  0.000 % |
4396.83/4396.79	c |  16689166 |    2030   212478   711538 |        1   369591     47 |  0.000 % |
4396.83/4396.79	c |  16713507 |    2030   212478   711538 |        1   393932     50 |  0.000 % |
4396.83/4396.79	c |  16755503 |    2030   212478   711538 |        1   435928     54 |  0.000 % |
4396.83/4396.79	c |  16755663 |    2030   212478   711538 |        1   436088     54 |  0.000 % |
4396.83/4396.79	c |  16782832 |    2030   212478   711538 |        1   463257     57 |  0.000 % |
4396.83/4396.79	c |  16783148 |    2030   212478   711538 |        1   463573     57 |  0.000 % |
4396.83/4396.79	c |  16783251 |    2030   212478   711538 |        1   463676     57 |  0.000 % |
4396.83/4396.79	c |  16803159 |    2030   212478   711538 |        1   483584     58 |  0.000 % |
4396.83/4396.79	c |  16862758 |    2030   212478   711538 |        1   543183     62 |  0.000 % |
4396.83/4396.79	c |  16862859 |    2030   212478   711538 |        1   543284     62 |  0.000 % |
4679.74/4679.68	c |  16863288 |    2030   212478   711538 |        1   543713     62 |  0.000 % |
4679.74/4679.68	c |  16864461 |    2030   212478   711538 |        1   544886     62 |  0.000 % |
4679.74/4679.68	c |  16870548 |    2030   212478   711538 |        1   550973     63 |  0.000 % |
4679.74/4679.68	c |  16887865 |    2030   212478   711538 |        1   568290     63 |  0.000 % |
4679.74/4679.68	c |  16948616 |    2030   212478   711538 |        1   336447     44 |  0.000 % |
4679.74/4679.68	c |  16977028 |    2030   212478   711538 |        1   364859     46 |  0.000 % |
4679.74/4679.68	c |  17053583 |    2030   212478   711538 |        1   441414     51 |  0.000 % |
4679.74/4679.68	c |  17054092 |    2030   212478   711538 |        1   441923     51 |  0.000 % |
4679.74/4679.68	c |  17121094 |    2030   212478   711538 |        1   508925     54 |  0.000 % |
4679.74/4679.68	c |  17136616 |    2030   212478   711538 |        1   524447     55 |  0.000 % |
4679.74/4679.68	c |  17172278 |    2030   212478   711538 |        1   560109     57 |  0.000 % |
4679.74/4679.68	c |  17217934 |    2030   212478   711538 |        1   310568     38 |  0.000 % |
4679.74/4679.68	c |  17218034 |    2030   212478   711538 |        1   310668     38 |  0.000 % |
4679.74/4679.68	c |  17221164 |    2030   212478   711538 |        1   313798     39 |  0.000 % |
4679.74/4679.68	c |  17222578 |    2030   212478   711538 |        1   315212     39 |  0.000 % |
4679.74/4679.68	c |  17222682 |    2030   212478   711538 |        1   315316     39 |  0.000 % |
4679.74/4679.68	c |  17227593 |    2030   212478   711538 |        1   320227     40 |  0.000 % |
4679.74/4679.68	c |  17228065 |    2030   212478   711538 |        1   320699     40 |  0.000 % |
4679.74/4679.68	c |  17250948 |    2030   212478   711538 |        1   343582     44 |  0.000 % |
4679.74/4679.68	c |  17252722 |    2030   212478   711538 |        1   345356     44 |  0.000 % |
4679.74/4679.68	c |  17252925 |    2030   212478   711538 |        1   345559     44 |  0.000 % |
4679.74/4679.68	c |  17254975 |    2030   212478   711538 |        1   347609     44 |  0.000 % |
4679.74/4679.68	c |  17266643 |    2030   212478   711538 |        1   359277     46 |  0.000 % |
4679.74/4679.68	c |  17295228 |    2030   212478   711538 |        1   387862     49 |  0.000 % |
4679.74/4679.68	c |  17320447 |    2030   212478   711538 |        1   413081     51 |  0.000 % |
4679.74/4679.68	c |  17348552 |    2030   212478   711538 |        1   441186     53 |  0.000 % |
4679.74/4679.68	c |  17349152 |    2030   212478   711538 |        1   441786     53 |  0.000 % |
4679.74/4679.68	c |  17353752 |    2030   212478   711538 |        1   446386     53 |  0.000 % |
4679.74/4679.68	c |  17358579 |    2030   212478   711538 |        1   451213     54 |  0.000 % |
4679.74/4679.68	c |  17363031 |    2030   212478   711538 |        1   455665     54 |  0.000 % |
4679.74/4679.68	c |  17375717 |    2030   212478   711538 |        1   468351     55 |  0.000 % |
4679.74/4679.68	c |  17397765 |    2030   212478   711538 |        1   490399     56 |  0.000 % |
4679.74/4679.68	c |  17414321 |    2030   212478   711538 |        1   506955     57 |  0.000 % |
4679.74/4679.68	c |  17414540 |    2030   212478   711538 |        1   507174     57 |  0.000 % |
4679.74/4679.68	c |  17419256 |    2030   212478   711538 |        1   511890     58 |  0.000 % |
4679.74/4679.68	c |  17432609 |    2030   212478   711538 |        1   525243     58 |  0.000 % |
4679.74/4679.68	c |  17444417 |    2030   212478   711538 |        1   537051     58 |  0.000 % |
4679.74/4679.68	c |  17444517 |    2030   212478   711538 |        1   537151     58 |  0.000 % |
4679.74/4679.68	c |  17452397 |    2030   212478   711538 |        1   545031     59 |  0.000 % |
4679.74/4679.68	c |  17465548 |    2030   212478   711538 |        1   558182     59 |  0.000 % |
4679.74/4679.68	c |  17614668 |    2030   212478   711538 |        1   409502     51 |  0.000 % |
4679.74/4679.68	c |  17615516 |    2030   212478   711538 |        1   410350     51 |  0.000 % |
4679.74/4679.68	c |  17618776 |    2030   212478   711538 |        1   413610     51 |  0.000 % |
4679.74/4679.68	c |  17649373 |    2030   212478   711538 |        1   444207     55 |  0.000 % |
4679.74/4679.68	c |  17657675 |    2030   212478   711538 |        1   452509     55 |  0.000 % |
4679.74/4679.68	c |  17665667 |    2030   212478   711538 |        1   460501     56 |  0.000 % |
4679.74/4679.68	c |  17677765 |    2030   212478   711538 |        1   472599     56 |  0.000 % |
4679.74/4679.68	c |  17744966 |    2030   212478   711538 |        1   539800     59 |  0.000 % |
4679.74/4679.68	c |  17768646 |    2030   212478   711538 |        1   563480     59 |  0.000 % |
4679.74/4679.68	c |  17789290 |    2030   212478

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3303353-1303899333/watcher-3303353-1303899333 -o /tmp/evaluation-result-3303353-1303899333/solver-3303353-1303899333 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303353-1303899333.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 4775
/proc/meminfo: memFree=15353792/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482348957 8912896 253 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4775/statm: 2176 253 211 178 0 69 0

[startup+0.0935279 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 4775
/proc/meminfo: memFree=15353792/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482348957 8912896 253 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4775/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.10051 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 4775
/proc/meminfo: memFree=15353792/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482348957 8912896 253 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4775/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.30047 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 4775
/proc/meminfo: memFree=15353792/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482348957 8912896 253 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4775/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.70041 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 4775
/proc/meminfo: memFree=15353792/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482348957 8912896 253 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4775/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50024 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 4789
/proc/meminfo: memFree=15305124/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=33080 CPUtime=0.74 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 6219 0 0 0 74 0 0 0 17 0 1 0 482349032 33873920 4084 33554432000 4194304 4260849 140735549485584 18446744073709551615 4225424 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 8270 4084 251 17 0 4911 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 41784

[startup+3.10096 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 4790
/proc/meminfo: memFree=15295824/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=47436 CPUtime=2.34 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 13085 0 0 0 233 1 0 0 20 0 1 0 482349032 48574464 8285 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224462 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 11859 8285 251 17 0 8500 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 56140

[startup+6.30034 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 4790
/proc/meminfo: memFree=15246816/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=59036 CPUtime=5.54 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 16525 0 0 0 553 1 0 0 25 0 1 0 482349032 60452864 11498 33554432000 4194304 4260849 140735549485584 18446744073709551615 4228560 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 14759 11498 251 17 0 11400 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 67740

[startup+12.7011 s]
/proc/loadavg: 0.31 0.07 0.02 3/180 4791
/proc/meminfo: memFree=15238388/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=59036 CPUtime=11.94 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 16552 0 0 0 1193 1 0 0 25 0 1 0 482349032 60452864 11525 33554432000 4194304 4260849 140735549485584 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 14759 11525 251 17 0 11400 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 67740

[startup+25.5007 s]
/proc/loadavg: 0.68 0.16 0.05 3/180 4791
/proc/meminfo: memFree=15233068/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=59036 CPUtime=24.75 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 26008 0 0 0 2472 3 0 0 25 0 1 0 482349032 60452864 8384 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 14759 8384 251 17 0 11400 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67740

[startup+51.1009 s]
/proc/loadavg: 1.13 0.31 0.10 3/180 4792
/proc/meminfo: memFree=15206068/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=77892 CPUtime=50.35 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 32753 0 0 0 5031 4 0 0 25 0 1 0 482349032 79761408 14815 33554432000 4194304 4260849 140735549485584 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 19473 14815 251 17 0 16114 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86596

[startup+102.306 s]
/proc/loadavg: 1.62 0.56 0.20 3/180 4793
/proc/meminfo: memFree=15192156/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=108296 CPUtime=101.55 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 53147 0 0 0 10149 6 0 0 25 0 1 0 482349032 110895104 18012 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 27074 18012 251 17 0 23715 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 117000

[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.31 3/180 4795
/proc/meminfo: memFree=15108800/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=157616 CPUtime=161.54 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 107194 0 0 0 16140 14 0 0 25 0 1 0 482349032 161398784 28201 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 39404 28201 251 17 0 36045 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 166320

[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.41 3/180 4796
/proc/meminfo: memFree=15132188/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=108296 CPUtime=221.55 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 140045 0 0 0 22135 20 0 0 25 0 1 0 482349032 110895104 19147 33554432000 4194304 4260849 140735549485584 18446744073709551615 4226273 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 27074 19147 251 17 0 23715 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 117000

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/180 4798
/proc/meminfo: memFree=15121100/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=108296 CPUtime=281.56 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 171053 0 0 0 28130 26 0 0 25 0 1 0 482349032 110895104 19148 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 27074 19148 251 17 0 23715 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 117000

[startup+342.301 s]
/proc/loadavg: 1.99 1.35 0.60 3/180 4799
/proc/meminfo: memFree=15089212/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=157616 CPUtime=341.55 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 218965 0 0 0 34122 33 0 0 25 0 1 0 482349032 161398784 30566 33554432000 4194304 4260849 140735549485584 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4789/statm: 39404 30566 251 17 0 36045 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 166320

[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.68 3/180 4801
/proc/meminfo: memFree=15129716/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7

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

/proc/4789/statm: 72333 60458 251 17 0 68974 0
Current children cumulated CPU time (s) 4362.42
Current children cumulated vsize (KiB) 298036

[startup+4422.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/180 4923
/proc/meminfo: memFree=14888224/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=239944 CPUtime=4421.7 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2232340 0 0 0 441744 426 0 0 25 0 1 0 482349032 245702656 51451 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224757 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 59986 51451 251 17 0 56627 0
Current children cumulated CPU time (s) 4422.43
Current children cumulated vsize (KiB) 248648

[startup+4482.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/180 4925
/proc/meminfo: memFree=14869104/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=291132 CPUtime=4481.7 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2245662 0 0 0 447741 429 0 0 25 0 1 0 482349032 298119168 64606 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224486 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 72783 64606 251 17 0 69424 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 299836

[startup+4542.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/180 4926
/proc/meminfo: memFree=14845496/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=291132 CPUtime=4541.7 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2277672 0 0 0 453735 435 0 0 25 0 1 0 482349032 298119168 59678 33554432000 4194304 4260849 140735549485584 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 72783 59678 251 17 0 69424 0
Current children cumulated CPU time (s) 4542.43
Current children cumulated vsize (KiB) 299836

[startup+4602.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/180 4928
/proc/meminfo: memFree=14901000/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=241460 CPUtime=4601.72 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2310327 0 0 0 459728 444 0 0 25 0 1 0 482349032 247255040 53186 33554432000 4194304 4260849 140735549485584 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 60365 53186 251 17 0 57006 0
Current children cumulated CPU time (s) 4602.45
Current children cumulated vsize (KiB) 250164

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 4930
/proc/meminfo: memFree=14779312/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=373928 CPUtime=4661.71 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2326854 0 0 0 465724 447 0 0 25 0 1 0 482349032 382902272 69536 33554432000 4194304 4260849 140735549485584 18446744073709551615 4240028 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 93482 69536 251 17 0 90123 0
Current children cumulated CPU time (s) 4662.44
Current children cumulated vsize (KiB) 382632

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 4931
/proc/meminfo: memFree=14843624/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=293212 CPUtime=4721.72 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2355625 0 0 0 471720 452 0 0 25 0 1 0 482349032 300249088 59125 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 73303 59125 251 17 0 69944 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 301916

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 4933
/proc/meminfo: memFree=14896896/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=243988 CPUtime=4781.72 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2387208 0 0 0 477714 458 0 0 25 0 1 0 482349032 249843712 51547 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 60997 51547 251 17 0 57638 0
Current children cumulated CPU time (s) 4782.45
Current children cumulated vsize (KiB) 252692

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 4934
/proc/meminfo: memFree=14781420/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=295280 CPUtime=4841.72 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2403833 0 0 0 483710 462 0 0 25 0 1 0 482349032 302366720 67981 33554432000 4194304 4260849 140735549485584 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 73820 67981 251 17 0 70461 0
Current children cumulated CPU time (s) 4842.45
Current children cumulated vsize (KiB) 303984

[startup+4902.3 s]
/proc/loadavg: 2.08 2.03 1.94 3/180 4936
/proc/meminfo: memFree=14863224/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=296076 CPUtime=4901.72 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2436354 0 0 0 489704 468 0 0 25 0 1 0 482349032 303181824 60542 33554432000 4194304 4260849 140735549485584 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 74019 60542 251 17 0 70660 0
Current children cumulated CPU time (s) 4902.45
Current children cumulated vsize (KiB) 304780

[startup+4962.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/180 4938
/proc/meminfo: memFree=14765716/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=378180 CPUtime=4961.72 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2452154 0 0 0 495700 472 0 0 25 0 1 0 482349032 387256320 76174 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224745 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 94545 76174 251 17 0 91186 0
Current children cumulated CPU time (s) 4962.45
Current children cumulated vsize (KiB) 386884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.01 2.02 1.94 3/180 4939
/proc/meminfo: memFree=14896884/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=298048 CPUtime=4999.33 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2477398 0 0 0 499456 477 0 0 25 0 1 0 482349032 305201152 59513 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 74512 59513 251 17 0 71153 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 306752

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+4999.9 s]
/proc/loadavg: 2.01 2.02 1.94 3/180 4939
/proc/meminfo: memFree=14896884/32951124 swapFree=67111528/67111528
[pid=4775] ppid=4773 vsize=8704 CPUtime=0.73 cores=1,3,5,7
/proc/4775/stat : 4775 (glucose.sh) S 4773 4775 4747 0 -1 4202496 359 4430 0 0 0 0 72 1 15 0 1 0 482348957 8912896 255 33554432000 4194304 4922060 140736285988736 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4775/statm: 2176 255 211 178 0 69 0
[pid=4789] ppid=4775 vsize=298048 CPUtime=4999.33 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4775 4775 4747 0 -1 4202496 2477398 0 0 0 499456 477 0 0 25 0 1 0 482349032 305201152 59513 33554432000 4194304 4260849 140735549485584 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4789/statm: 74512 59513 251 17 0 71153 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 306752

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4775 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=724889
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=20996
# CPU time returned by wait4() is 0.745885
# while last known CPU time is 5000.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4999.91
CPU time (s): 5000.06
CPU user time (s): 4995.28
CPU system time (s): 4.78
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 467796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.724889
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4789
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= 9
involuntary context switches= 6

runsolver used 8.08477 second user time and 17.7713 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-27 12:15:33
IDJOB=3303353
IDBENCH=71367
IDSOLVER=1687
FILE ID=node141/3303353-1303899333
RUNJOBID= node141-1303899330-4766
PBS_JOBID= 13164507
Free space on /tmp= 71496 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes7.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303353-1303899333/watcher-3303353-1303899333 -o /tmp/evaluation-result-3303353-1303899333/solver-3303353-1303899333 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303353-1303899333.cnf 

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 140eea74f7e66501965365160d02fa4d
RANDOM SEED=1818265576

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.82
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.806
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.75
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.806
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.84
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.806
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.806
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.75
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15353948 kB
Buffers:       1616144 kB
Cached:       15336680 kB
SwapCached:          0 kB
Active:        7586352 kB
Inactive:      9429352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15353948 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3940 kB
Writeback:           0 kB
AnonPages:       62924 kB
Mapped:          14388 kB
Slab:           517628 kB
PageTables:       4524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   180684 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= 71476 MiB
End job on node141 at 2011-04-27 13:38:55