Trace number 3303369

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.1 5000.01

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
MD5SUMe7d4dc25f0d8e558fb091b1e566deab7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.57976
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   43649    87978 |   13094       0        0     nan |  0.000 % |
0.00/0.08	c |         0 |   42889   141087 |      --       0       --      -- |     --   | -760/53109
0.00/0.08	c ==============================================================================
0.00/0.08	c Result  :   #vars: 720   #clauses: 42889   #literals: 141087
0.00/0.08	c CPU time:   0.078987 s
0.00/0.08	c ==============================================================================
0.00/0.10	c
0.00/0.10	c Starting glucose
0.00/0.10	c
733.20/733.23	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
733.20/733.23	c WARNING: for repeatability, setting FPU to use double precision
733.20/733.23	c ============================[ Problem Statistics ]=============================
733.20/733.23	c |                                                                             |
733.20/733.23	c |  Number of variables:           720                                         |
733.20/733.23	c |  Number of clauses:           42889                                         |
733.20/733.23	c |  Parse time:                   0.01 s                                       |
733.20/733.23	c |                                                                             |
733.20/733.23	c ============================[ Search Statistics ]==============================
733.20/733.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
733.20/733.23	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
733.20/733.23	c ===============================================================================
733.20/733.23	c |    157627 |     720    42889   141087 |        1    25474     43 |  0.000 % |
733.20/733.23	c |    592545 |     720    42889   141087 |        1    69383     38 |  0.000 % |
733.20/733.23	c |    875310 |     720    42889   141087 |        1   122947     41 |  0.000 % |
733.20/733.23	c |   1602907 |     720    42889   141087 |        1    95531     29 |  0.000 % |
733.20/733.23	c |   1606301 |     720    42889   141087 |        1    98925     30 |  0.000 % |
733.20/733.23	c |   1803327 |     720    42889   141087 |        1   113745     30 |  0.000 % |
733.20/733.23	c |   1830481 |     720    42889   141087 |        1   140899     33 |  0.000 % |
733.20/733.23	c |   1886170 |     720    42889   141087 |        1   101594     28 |  0.000 % |
733.20/733.23	c |   1886854 |     720    42889   141087 |        1   102278     28 |  0.000 % |
733.20/733.23	c |   1889118 |     720    42889   141087 |        1   104542     28 |  0.000 % |
733.20/733.23	c |   1889221 |     720    42889   141087 |        1   104645     28 |  0.000 % |
733.20/733.23	c |   2186532 |     720    42889   141087 |        1   204153     37 |  0.000 % |
733.20/733.23	c |   2260362 |     720    42889   141087 |        1   175184     36 |  0.000 % |
733.20/733.23	c |   2260503 |     720    42889   141087 |        1   175325     36 |  0.000 % |
733.20/733.23	c |   2341373 |     720    42889   141087 |        1   150798     33 |  0.000 % |
733.20/733.23	c |   2478518 |     720    42889   141087 |        1   179940     33 |  0.000 % |
733.20/733.23	c |   2509686 |     720    42889   141087 |        1   211108     35 |  0.000 % |
733.20/733.23	c |   2594230 |     720    42889   141087 |        1   185052     33 |  0.000 % |
733.20/733.23	c |   2627681 |     720    42889   141087 |        1   218503     35 |  0.000 % |
733.20/733.23	c |   2648171 |     720    42889   141087 |        1   125787     28 |  0.000 % |
733.20/733.23	c |   2650221 |     720    42889   141087 |        1   127837     28 |  0.000 % |
733.20/733.23	c |   2708205 |     720    42889   141087 |        1   185821     33 |  0.000 % |
733.20/733.23	c |   2750638 |     720    42889   141087 |        1   228254     35 |  0.000 % |
733.20/733.23	c |   2922893 |     720    42889   141087 |        1   166307     30 |  0.000 % |
733.20/733.23	c |   3000790 |     720    42889   141087 |        1   123210     26 |  0.000 % |
733.20/733.23	c |   3004794 |     720    42889   141087 |        1   127214     26 |  0.000 % |
733.20/733.23	c |   3068382 |     720    42889   141087 |        1   190802     34 |  0.000 % |
733.20/733.23	c |   3091892 |     720    42889   141087 |        1   214312     36 |  0.000 % |
733.20/733.23	c |   3102673 |     720    42889   141087 |        1   225093     36 |  0.000 % |
733.20/733.23	c |   3215424 |     720    42889   141087 |        1   214247     36 |  0.000 % |
733.20/733.23	c |   3252513 |     720    42889   141087 |        1   251336     37 |  0.000 % |
733.20/733.23	c |   3286700 |     720    42889   141087 |        1   159326     30 |  0.000 % |
733.20/733.23	c |   3435194 |     720    42889   141087 |        1   179021     31 |  0.000 % |
733.20/733.23	c |   3474097 |     720    42889   141087 |        1   217924     33 |  0.000 % |
733.20/733.23	c |   3474197 |     720    42889   141087 |        1   218024     33 |  0.000 % |
733.20/733.23	c |   3610878 |     720    42889   141087 |        1   223296     32 |  0.000 % |
733.20/733.23	c |   3628704 |     720    42889   141087 |        1   241122     33 |  0.000 % |
733.20/733.23	c |   3799439 |     720    42889   141087 |        1   141260     25 |  0.000 % |
733.20/733.23	c |   4035888 |     720    42889   141087 |        1   238514     36 |  0.000 % |
1056.70/1056.78	c |   4076440 |     720    42889   141087 |        1   279066     38 |  0.000 % |
1056.70/1056.78	c |   4082193 |     720    42889   141087 |        1   143015     26 |  0.000 % |
1056.70/1056.78	c |   4135239 |     720    42889   141087 |        1   196061     32 |  0.000 % |
1056.70/1056.78	c |   4158632 |     720    42889   141087 |        1   219454     33 |  0.000 % |
1056.70/1056.78	c |   4245612 |     720    42889   141087 |        1   162029     29 |  0.000 % |
1056.70/1056.78	c |   4330949 |     720    42889   141087 |        1   247366     37 |  0.000 % |
1056.70/1056.78	c |   4352959 |     720    42889   141087 |        1   269376     38 |  0.000 % |
1056.70/1056.78	c |   4353106 |     720    42889   141087 |        1   269523     38 |  0.000 % |
1056.70/1056.78	c |   4364793 |     720    42889   141087 |        1   281210     38 |  0.000 % |
1056.70/1056.78	c |   4379042 |     720    42889   141087 |        1   148460     26 |  0.000 % |
1056.70/1056.78	c |   4383850 |     720    42889   141087 |        1   153268     27 |  0.000 % |
1056.70/1056.78	c |   4423611 |     720    42889   141087 |        1   193029     31 |  0.000 % |
1056.70/1056.78	c |   4460444 |     720    42889   141087 |        1   229862     33 |  0.000 % |
1056.70/1056.78	c |   4466093 |     720    42889   141087 |        1   235511     33 |  0.000 % |
1056.70/1056.78	c |   4510551 |     720    42889   141087 |        1   279969     35 |  0.000 % |
1056.70/1056.78	c |   4534013 |     720    42889   141087 |        1   153831     25 |  0.000 % |
1056.70/1056.78	c |   4546344 |     720    42889   141087 |        1   166162     27 |  0.000 % |
1056.70/1056.78	c |   4555685 |     720    42889   141087 |        1   175503     27 |  0.000 % |
1056.70/1056.78	c |   4614178 |     720    42889   141087 |        1   233996     31 |  0.000 % |
1056.70/1056.78	c |   4659898 |     720    42889   141087 |        1   279716     33 |  0.000 % |
1056.70/1056.78	c |   4747272 |     720    42889   141087 |        1   214894     29 |  0.000 % |
1056.70/1056.78	c |   4784896 |     720    42889   141087 |        1   252518     31 |  0.000 % |
1056.70/1056.78	c |   4785303 |     720    42889   141087 |        1   252925     31 |  0.000 % |
1056.70/1056.78	c |   4802259 |     720    42889   141087 |        1   269881     32 |  0.000 % |
1056.70/1056.78	c |   4820177 |     720    42889   141087 |        1   287799     33 |  0.000 % |
1056.70/1056.78	c |   4877615 |     720    42889   141087 |        1   190435     28 |  0.000 % |
1056.70/1056.78	c |   4881354 |     720    42889   141087 |        1   194174     28 |  0.000 % |
1056.70/1056.78	c |   4940880 |     720    42889   141087 |        1   253700     32 |  0.000 % |
1056.70/1056.78	c |   4957690 |     720    42889   141087 |        1   270510     33 |  0.000 % |
1056.70/1056.78	c |   4982842 |     720    42889   141087 |        1   295662     33 |  0.000 % |
1056.70/1056.78	c |   4989436 |     720    42889   141087 |        1   302256     33 |  0.000 % |
1056.70/1056.78	c |   5023009 |     720    42889   141087 |        1   178424     26 |  0.000 % |
1056.70/1056.78	c |   5052836 |     720    42889   141087 |        1   208251     28 |  0.000 % |
1056.70/1056.78	c |   5110674 |     720    42889   141087 |        1   266089     31 |  0.000 % |
1056.70/1056.78	c |   5175851 |     720    42889   141087 |        1   171271     25 |  0.000 % |
1056.70/1056.78	c |   5177732 |     720    42889   141087 |        1   173152     25 |  0.000 % |
1056.70/1056.78	c |   5208977 |     720    42889   141087 |        1   204397     28 |  0.000 % |
1056.70/1056.78	c |   5235932 |     720    42889   141087 |        1   231352     30 |  0.000 % |
1056.70/1056.78	c |   5247950 |     720    42889   141087 |        1   243370     31 |  0.000 % |
1056.70/1056.78	c |   5257215 |     720    42889   141087 |        1   252635     31 |  0.000 % |
1056.70/1056.78	c |   5280244 |     720    42889   141087 |        1   275664     32 |  0.000 % |
1056.70/1056.78	c |   5293668 |     720    42889   141087 |        1   289088     33 |  0.000 % |
1056.70/1056.78	c |   5299200 |     720    42889   141087 |        1   294620     33 |  0.000 % |
1056.70/1056.78	c |   5299304 |     720    42889   141087 |        1   294724     33 |  0.000 % |
1056.70/1056.78	c |   5302912 |     720    42889   141087 |        1   298332     33 |  0.000 % |
1056.70/1056.78	c |   5332243 |     720    42889   141087 |        1   165063     24 |  0.000 % |
1056.70/1056.78	c |   5372888 |     720    42889   141087 |        1   205708     27 |  0.000 % |
1056.70/1056.78	c |   5424379 |     720    42889   141087 |        1   257199     30 |  0.000 % |
1056.70/1056.78	c |   5424479 |     720    42889   141087 |        1   257299     30 |  0.000 % |
1056.70/1056.78	c |   5436409 |     720    42889   141087 |        1   269229     30 |  0.000 % |
1412.92/1412.99	c |   5528038 |     720    42889   141087 |        1   195659     27 |  0.000 % |
1412.92/1412.99	c |   5530706 |     720    42889   141087 |        1   198327     27 |  0.000 % |
1412.92/1412.99	c |   5534566 |     720    42889   141087 |        1   202187     27 |  0.000 % |
1412.92/1412.99	c |   5633480 |     720    42889   141087 |        1   301101     33 |  0.000 % |
1412.92/1412.99	c |   5753532 |     720    42889   141087 |        1   253349     31 |  0.000 % |
1412.92/1412.99	c |   5753633 |     720    42889   141087 |        1   253450     31 |  0.000 % |
1412.92/1412.99	c |   5808493 |     720    42889   141087 |        1   308310     34 |  0.000 % |
1412.92/1412.99	c |   5812237 |     720    42889   141087 |        1   312054     34 |  0.000 % |
1412.92/1412.99	c |   5820575 |     720    42889   141087 |        1   320392     34 |  0.000 % |
1412.92/1412.99	c |   5854858 |     720    42889   141087 |        1   184285     26 |  0.000 % |
1412.92/1412.99	c |   5855709 |     720    42889   141087 |        1   185136     26 |  0.000 % |
1412.92/1412.99	c |   5890628 |     720    42889   141087 |        1   220055     29 |  0.000 % |
1412.92/1412.99	c |   5935607 |     720    42889   141087 |        1   265034     30 |  0.000 % |
1412.92/1412.99	c |   5973024 |     720    42889   141087 |        1   302451     33 |  0.000 % |
1412.92/1412.99	c |   5986670 |     720    42889   141087 |        1   316097     33 |  0.000 % |
1412.92/1412.99	c |   5991709 |     720    42889   141087 |        1   321136     33 |  0.000 % |
1412.92/1412.99	c |   6069700 |     720    42889   141087 |        1   226124     28 |  0.000 % |
1412.92/1412.99	c |   6079417 |     720    42889   141087 |        1   235841     29 |  0.000 % |
1412.92/1412.99	c |   6112237 |     720    42889   141087 |        1   268661     31 |  0.000 % |
1412.92/1412.99	c |   6137030 |     720    42889   141087 |        1   293454     32 |  0.000 % |
1412.92/1412.99	c |   6167563 |     720    42889   141087 |        1   323987     33 |  0.000 % |
1412.92/1412.99	c |   6167663 |     720    42889   141087 |        1   324087     33 |  0.000 % |
1412.92/1412.99	c |   6187136 |     720    42889   141087 |        1   343560     34 |  0.000 % |
1412.92/1412.99	c |   6203410 |     720    42889   141087 |        1   184229     25 |  0.000 % |
1412.92/1412.99	c |   6239935 |     720    42889   141087 |        1   220754     30 |  0.000 % |
1412.92/1412.99	c |   6251827 |     720    42889   141087 |        1   232646     31 |  0.000 % |
1412.92/1412.99	c |   6253548 |     720    42889   141087 |        1   234367     31 |  0.000 % |
1412.92/1412.99	c |   6254615 |     720    42889   141087 |        1   235434     31 |  0.000 % |
1412.92/1412.99	c |   6262192 |     720    42889   141087 |        1   243011     32 |  0.000 % |
1412.92/1412.99	c |   6271505 |     720    42889   141087 |        1   252324     33 |  0.000 % |
1412.92/1412.99	c |   6273532 |     720    42889   141087 |        1   254351     33 |  0.000 % |
1412.92/1412.99	c |   6283715 |     720    42889   141087 |        1   264534     33 |  0.000 % |
1412.92/1412.99	c |   6388382 |     720    42889   141087 |        1   191004     26 |  0.000 % |
1412.92/1412.99	c |   6515665 |     720    42889   141087 |        1   318287     34 |  0.000 % |
1412.92/1412.99	c |   6538965 |     720    42889   141087 |        1   341587     35 |  0.000 % |
1412.92/1412.99	c |   6609629 |     720    42889   141087 |        1   231454     29 |  0.000 % |
1412.92/1412.99	c |   6609840 |     720    42889   141087 |        1   231665     29 |  0.000 % |
1412.92/1412.99	c |   6619199 |     720    42889   141087 |        1   241024     29 |  0.000 % |
1412.92/1412.99	c |   6621620 |     720    42889   141087 |        1   243445     30 |  0.000 % |
1412.92/1412.99	c |   6742878 |     720    42889   141087 |        1   364703     35 |  0.000 % |
1412.92/1412.99	c |   6744029 |     720    42889   141087 |        1   365854     35 |  0.000 % |
1412.92/1412.99	c |   6772036 |     720    42889   141087 |        1   210456     26 |  0.000 % |
1412.92/1412.99	c |   6774512 |     720    42889   141087 |        1   212932     27 |  0.000 % |
1412.92/1412.99	c |   6884395 |     720    42889   141087 |        1   322815     35 |  0.000 % |
1412.92/1412.99	c |   6916556 |     720    42889   141087 |        1   354976     37 |  0.000 % |
1412.92/1412.99	c |   6990594 |     720    42889   141087 |        1   243028     29 |  0.000 % |
1412.92/1412.99	c |   7000452 |     720    42889   141087 |        1   252886     30 |  0.000 % |
1412.92/1412.99	c |   7000552 |     720    42889   141087 |        1   252986     30 |  0.000 % |
1412.92/1412.99	c |   7034062 |     720    42889   141087 |        1   286496     31 |  0.000 % |
1412.92/1412.99	c |   7066998 |     720    42889   141087 |        1   319432     33 |  0.000 % |
1616.01/1616.01	c |   7070600 |     720    42889   141087 |        1   323034     33 |  0.000 % |
1616.01/1616.01	c |   7072441 |     720    42889   141087 |        1   324875     33 |  0.000 % |
1616.01/1616.01	c |   7102252 |     720    42889   141087 |        1   354686     34 |  0.000 % |
1616.01/1616.01	c |   7104352 |     720    42889   141087 |        1   356786     34 |  0.000 % |
1616.01/1616.01	c |   7125061 |     720    42889   141087 |        1   188896     24 |  0.000 % |
1616.01/1616.01	c |   7125853 |     720    42889   141087 |        1   189688     24 |  0.000 % |
1616.01/1616.01	c |   7128627 |     720    42889   141087 |        1   192462     24 |  0.000 % |
1616.01/1616.01	c |   7171501 |     720    42889   141087 |        1   235336     27 |  0.000 % |
1616.01/1616.01	c |   7188183 |     720    42889   141087 |        1   252018     28 |  0.000 % |
1616.01/1616.01	c |   7193823 |     720    42889   141087 |        1   257658     29 |  0.000 % |
1616.01/1616.01	c |   7244609 |     720    42889   141087 |        1   308444     31 |  0.000 % |
1616.01/1616.01	c |   7251445 |     720    42889   141087 |        1   315280     31 |  0.000 % |
1616.01/1616.01	c |   7280013 |     720    42889   141087 |        1   343848     32 |  0.000 % |
1616.01/1616.01	c |   7285034 |     720    42889   141087 |        1   348869     32 |  0.000 % |
1616.01/1616.01	c |   7353095 |     720    42889   141087 |        1   225727     26 |  0.000 % |
1616.01/1616.01	c |   7354817 |     720    42889   141087 |        1   227449     26 |  0.000 % |
1616.01/1616.01	c |   7384793 |     720    42889   141087 |        1   257425     29 |  0.000 % |
1616.01/1616.01	c |   7385507 |     720    42889   141087 |        1   258139     29 |  0.000 % |
1616.01/1616.01	c |   7385607 |     720    42889   141087 |        1   258239     29 |  0.000 % |
1616.01/1616.01	c |   7418508 |     720    42889   141087 |        1   291140     31 |  0.000 % |
1616.01/1616.01	c |   7418856 |     720    42889   141087 |        1   291488     31 |  0.000 % |
1616.01/1616.01	c |   7420464 |     720    42889   141087 |        1   293096     31 |  0.000 % |
1616.01/1616.01	c |   7429545 |     720    42889   141087 |        1   302177     32 |  0.000 % |
1616.01/1616.01	c |   7439181 |     720    42889   141087 |        1   311813     32 |  0.000 % |
1616.01/1616.01	c |   7439301 |     720    42889   141087 |        1   311933     32 |  0.000 % |
1616.01/1616.01	c |   7444097 |     720    42889   141087 |        1   316729     32 |  0.000 % |
1616.01/1616.01	c |   7451740 |     720    42889   141087 |        1   324372     33 |  0.000 % |
1616.01/1616.01	c |   7463920 |     720    42889   141087 |        1   336552     33 |  0.000 % |
1616.01/1616.01	c |   7477193 |     720    42889   141087 |        1   349825     34 |  0.000 % |
1616.01/1616.01	c |   7477305 |     720    42889   141087 |        1   349937     34 |  0.000 % |
1616.01/1616.01	c |   7485197 |     720    42889   141087 |        1   357829     34 |  0.000 % |
1616.01/1616.01	c |   7522600 |     720    42889   141087 |        1   201437     25 |  0.000 % |
1616.01/1616.01	c |   7528115 |     720    42889   141087 |        1   206952     26 |  0.000 % |
1616.01/1616.01	c |   7528691 |     720    42889   141087 |        1   207528     26 |  0.000 % |
1616.01/1616.01	c |   7551422 |     720    42889   141087 |        1   230259     28 |  0.000 % |
1616.01/1616.01	c |   7583790 |     720    42889   141087 |        1   262627     30 |  0.000 % |
1616.01/1616.01	c |   7608256 |     720    42889   141087 |        1   287093     32 |  0.000 % |
1616.01/1616.01	c |   7628448 |     720    42889   141087 |        1   307285     32 |  0.000 % |
1616.01/1616.01	c |   7633912 |     720    42889   141087 |        1   312749     33 |  0.000 % |
1616.01/1616.01	c |   7680412 |     720    42889   141087 |        1   359249     35 |  0.000 % |
1616.01/1616.01	c |   7681310 |     720    42889   141087 |        1   360147     35 |  0.000 % |
1616.01/1616.01	c |   7688575 |     720    42889   141087 |        1   367412     35 |  0.000 % |
1616.01/1616.01	c |   7689625 |     720    42889   141087 |        1   368462     35 |  0.000 % |
1616.01/1616.01	c |   7700181 |     720    42889   141087 |        1   379018     35 |  0.000 % |
1616.01/1616.01	c |   7730573 |     720    42889   141087 |        1   212999     26 |  0.000 % |
1616.01/1616.01	c |   7755658 |     720    42889   141087 |        1   238084     28 |  0.000 % |
1616.01/1616.01	c |   7790566 |     720    42889   141087 |        1   272992     30 |  0.000 % |
1616.01/1616.01	c |   7795003 |     720    42889   141087 |        1   277429     31 |  0.000 % |
1616.01/1616.01	c |   7833727 |     720    42889   141087 |        1   316153     32 |  0.000 % |
1616.01/1616.01	c |   7864556 |     720    42889   141087 |        1   346982     33 |  0.000 % |
1848.72/1848.70	c |   7969648 |     720    42889   141087 |        1   253071     27 |  0.000 % |
1848.72/1848.70	c |   7987269 |     720    42889   141087 |        1   270692     29 |  0.000 % |
1848.72/1848.70	c |   8017523 |     720    42889   141087 |        1   300946     30 |  0.000 % |
1848.72/1848.70	c |   8031752 |     720    42889   141087 |        1   315175     31 |  0.000 % |
1848.72/1848.70	c |   8109079 |     720    42889   141087 |        1   392502     34 |  0.000 % |
1848.72/1848.70	c |   8112417 |     720    42889   141087 |        1   395840     34 |  0.000 % |
1848.72/1848.70	c |   8121150 |     720    42889   141087 |        1   202967     24 |  0.000 % |
1848.72/1848.70	c |   8121573 |     720    42889   141087 |        1   203390     24 |  0.000 % |
1848.72/1848.70	c |   8136620 |     720    42889   141087 |        1   218437     25 |  0.000 % |
1848.72/1848.70	c |   8136975 |     720    42889   141087 |        1   218792     25 |  0.000 % |
1848.72/1848.70	c |   8144809 |     720    42889   141087 |        1   226626     26 |  0.000 % |
1848.72/1848.70	c |   8167792 |     720    42889   141087 |        1   249609     29 |  0.000 % |
1848.72/1848.70	c |   8233536 |     720    42889   141087 |        1   315353     31 |  0.000 % |
1848.72/1848.70	c |   8256572 |     720    42889   141087 |        1   338389     32 |  0.000 % |
1848.72/1848.70	c |   8275824 |     720    42889   141087 |        1   357641     33 |  0.000 % |
1848.72/1848.70	c |   8313647 |     720    42889   141087 |        1   395464     34 |  0.000 % |
1848.72/1848.70	c |   8318882 |     720    42889   141087 |        1   400699     34 |  0.000 % |
1848.72/1848.70	c |   8343077 |     720    42889   141087 |        1   220691     25 |  0.000 % |
1848.72/1848.70	c |   8351525 |     720    42889   141087 |        1   229139     26 |  0.000 % |
1848.72/1848.70	c |   8351626 |     720    42889   141087 |        1   229240     26 |  0.000 % |
1848.72/1848.70	c |   8351812 |     720    42889   141087 |        1   229426     26 |  0.000 % |
1848.72/1848.70	c |   8351913 |     720    42889   141087 |        1   229527     26 |  0.000 % |
1848.72/1848.70	c |   8368254 |     720    42889   141087 |        1   245868     27 |  0.000 % |
1848.72/1848.70	c |   8371851 |     720    42889   141087 |        1   249465     28 |  0.000 % |
1848.72/1848.70	c |   8378574 |     720    42889   141087 |        1   256188     28 |  0.000 % |
1848.72/1848.70	c |   8385308 |     720    42889   141087 |        1   262922     29 |  0.000 % |
1848.72/1848.70	c |   8407014 |     720    42889   141087 |        1   284628     30 |  0.000 % |
1848.72/1848.70	c |   8415305 |     720    42889   141087 |        1   292919     31 |  0.000 % |
1848.72/1848.70	c |   8415882 |     720    42889   141087 |        1   293496     31 |  0.000 % |
1848.72/1848.70	c |   8419522 |     720    42889   141087 |        1   297136     31 |  0.000 % |
1848.72/1848.70	c |   8433380 |     720    42889   141087 |        1   310994     31 |  0.000 % |
1848.72/1848.70	c |   8445351 |     720    42889   141087 |        1   322965     32 |  0.000 % |
1848.72/1848.70	c |   8447765 |     720    42889   141087 |        1   325379     32 |  0.000 % |
1848.72/1848.70	c |   8448860 |     720    42889   141087 |        1   326474     32 |  0.000 % |
1848.72/1848.70	c |   8471188 |     720    42889   141087 |        1   348802     33 |  0.000 % |
1848.72/1848.70	c |   8483542 |     720    42889   141087 |        1   361156     33 |  0.000 % |
1848.72/1848.70	c |   8483644 |     720    42889   141087 |        1   361258     33 |  0.000 % |
1848.72/1848.70	c |   8489433 |     720    42889   141087 |        1   367047     33 |  0.000 % |
1848.72/1848.70	c |   8541838 |     720    42889   141087 |        1   212653     24 |  0.000 % |
1848.72/1848.70	c |   8598276 |     720    42889   141087 |        1   269091     30 |  0.000 % |
1848.72/1848.70	c |   8656024 |     720    42889   141087 |        1   326839     32 |  0.000 % |
1848.72/1848.70	c |   8659113 |     720    42889   141087 |        1   329928     32 |  0.000 % |
1848.72/1848.70	c |   8732893 |     720    42889   141087 |        1   403708     34 |  0.000 % |
1848.72/1848.70	c |   8732993 |     720    42889   141087 |        1   403808     34 |  0.000 % |
1848.72/1848.70	c |   8770122 |     720    42889   141087 |        1   231536     26 |  0.000 % |
1848.72/1848.70	c |   8780766 |     720    42889   141087 |        1   242180     26 |  0.000 % |
1848.72/1848.70	c |   8784506 |     720    42889   141087 |        1   245920     27 |  0.000 % |
1848.72/1848.70	c |   8833289 |     720    42889   141087 |        1   294703     29 |  0.000 % |
1848.72/1848.70	c |   8834254 |     720    42889   141087 |        1   295668     29 |  0.000 % |
1848.72/1848.70	c |   8855110 |     720    42889   141087 |        1   316524     30 |  0.000 % |
2059.93/2059.91	c |   8871917 |     720    42889   141087 |        1   333331     30 |  0.000 % |
2059.93/2059.91	c |   8881505 |     720    42889   141087 |        1   342919     31 |  0.000 % |
2059.93/2059.91	c |   8957313 |     720    42889   141087 |        1   418727     33 |  0.000 % |
2059.93/2059.91	c |   8975284 |     720    42889   141087 |        1   224699     24 |  0.000 % |
2059.93/2059.91	c |   8994095 |     720    42889   141087 |        1   243510     25 |  0.000 % |
2059.93/2059.91	c |   9001549 |     720    42889   141087 |        1   250964     26 |  0.000 % |
2059.93/2059.91	c |   9001650 |     720    42889   141087 |        1   251065     26 |  0.000 % |
2059.93/2059.91	c |   9041409 |     720    42889   141087 |        1   290824     29 |  0.000 % |
2059.93/2059.91	c |   9046601 |     720    42889   141087 |        1   296016     29 |  0.000 % |
2059.93/2059.91	c |   9088221 |     720    42889   141087 |        1   337636     31 |  0.000 % |
2059.93/2059.91	c |   9137166 |     720    42889   141087 |        1   386581     33 |  0.000 % |
2059.93/2059.91	c |   9152057 |     720    42889   141087 |        1   401472     33 |  0.000 % |
2059.93/2059.91	c |   9160808 |     720    42889   141087 |        1   410223     34 |  0.000 % |
2059.93/2059.91	c |   9162784 |     720    42889   141087 |        1   412199     34 |  0.000 % |
2059.93/2059.91	c |   9164753 |     720    42889   141087 |        1   414168     34 |  0.000 % |
2059.93/2059.91	c |   9196401 |     720    42889   141087 |        1   231215     25 |  0.000 % |
2059.93/2059.91	c |   9201966 |     720    42889   141087 |        1   236780     25 |  0.000 % |
2059.93/2059.91	c |   9240124 |     720    42889   141087 |        1   274938     27 |  0.000 % |
2059.93/2059.91	c |   9241294 |     720    42889   141087 |        1   276108     27 |  0.000 % |
2059.93/2059.91	c |   9249372 |     720    42889   141087 |        1   284186     28 |  0.000 % |
2059.93/2059.91	c |   9277220 |     720    42889   141087 |        1   312034     29 |  0.000 % |
2059.93/2059.91	c |   9304769 |     720    42889   141087 |        1   339583     31 |  0.000 % |
2059.93/2059.91	c |   9314542 |     720    42889   141087 |        1   349356     31 |  0.000 % |
2059.93/2059.91	c |   9314644 |     720    42889   141087 |        1   349458     31 |  0.000 % |
2059.93/2059.91	c |   9315068 |     720    42889   141087 |        1   349882     31 |  0.000 % |
2059.93/2059.91	c |   9315255 |     720    42889   141087 |        1   350069     31 |  0.000 % |
2059.93/2059.91	c |   9316983 |     720    42889   141087 |        1   351797     31 |  0.000 % |
2059.93/2059.91	c |   9335114 |     720    42889   141087 |        1   369928     32 |  0.000 % |
2059.93/2059.91	c |   9359302 |     720    42889   141087 |        1   394116     33 |  0.000 % |
2059.93/2059.91	c |   9368809 |     720    42889   141087 |        1   403623     33 |  0.000 % |
2059.93/2059.91	c |   9377435 |     720    42889   141087 |        1   412249     33 |  0.000 % |
2059.93/2059.91	c |   9427399 |     720    42889   141087 |        1   245013     25 |  0.000 % |
2059.93/2059.91	c |   9438661 |     720    42889   141087 |        1   256275     26 |  0.000 % |
2059.93/2059.91	c |   9461160 |     720    42889   141087 |        1   278774     28 |  0.000 % |
2059.93/2059.91	c |   9462673 |     720    42889   141087 |        1   280287     28 |  0.000 % |
2059.93/2059.91	c |   9474347 |     720    42889   141087 |        1   291961     28 |  0.000 % |
2059.93/2059.91	c |   9477558 |     720    42889   141087 |        1   295172     28 |  0.000 % |
2059.93/2059.91	c |   9493731 |     720    42889   141087 |        1   311345     29 |  0.000 % |
2059.93/2059.91	c |   9505904 |     720    42889   141087 |        1   323518     29 |  0.000 % |
2059.93/2059.91	c |   9517952 |     720    42889   141087 |        1   335566     30 |  0.000 % |
2059.93/2059.91	c |   9518551 |     720    42889   141087 |        1   336165     30 |  0.000 % |
2059.93/2059.91	c |   9537206 |     720    42889   141087 |        1   354820     31 |  0.000 % |
2059.93/2059.91	c |   9539422 |     720    42889   141087 |        1   357036     31 |  0.000 % |
2059.93/2059.91	c |   9564604 |     720    42889   141087 |        1   382218     31 |  0.000 % |
2059.93/2059.91	c |   9566990 |     720    42889   141087 |        1   384604     32 |  0.000 % |
2059.93/2059.91	c |   9587407 |     720    42889   141087 |        1   405021     32 |  0.000 % |
2059.93/2059.91	c |   9587542 |     720    42889   141087 |        1   405156     32 |  0.000 % |
2059.93/2059.91	c |   9588928 |     720    42889   141087 |        1   406542     32 |  0.000 % |
2059.93/2059.91	c |   9616811 |     720    42889   141087 |        1   434425     33 |  0.000 % |
2059.93/2059.91	c |   9620886 |     720    42889   141087 |        1   438500     33 |  0.000 % |
2209.74/2209.73	c |   9632940 |     720    42889   141087 |        1   230751     24 |  0.000 % |
2209.74/2209.73	c |   9647916 |     720    42889   141087 |        1   245727     26 |  0.000 % |
2209.74/2209.73	c |   9650289 |     720    42889   141087 |        1   248100     26 |  0.000 % |
2209.74/2209.73	c |   9653873 |     720    42889   141087 |        1   251684     26 |  0.000 % |
2209.74/2209.73	c |   9672959 |     720    42889   141087 |        1   270770     27 |  0.000 % |
2209.74/2209.73	c |   9679488 |     720    42889   141087 |        1   277299     28 |  0.000 % |
2209.74/2209.73	c |   9695832 |     720    42889   141087 |        1   293643     28 |  0.000 % |
2209.74/2209.73	c |   9697899 |     720    42889   141087 |        1   295710     28 |  0.000 % |
2209.74/2209.73	c |   9711053 |     720    42889   141087 |        1   308864     29 |  0.000 % |
2209.74/2209.73	c |   9711553 |     720    42889   141087 |        1   309364     29 |  0.000 % |
2209.74/2209.73	c |   9726347 |     720    42889   141087 |        1   324158     29 |  0.000 % |
2209.74/2209.73	c |   9752349 |     720    42889   141087 |        1   350160     31 |  0.000 % |
2209.74/2209.73	c |   9763022 |     720    42889   141087 |        1   360833     31 |  0.000 % |
2209.74/2209.73	c |   9767673 |     720    42889   141087 |        1   365484     31 |  0.000 % |
2209.74/2209.73	c |   9828311 |     720    42889   141087 |        1   426122     33 |  0.000 % |
2209.74/2209.73	c |   9829836 |     720    42889   141087 |        1   427647     33 |  0.000 % |
2209.74/2209.73	c |   9833391 |     720    42889   141087 |        1   431202     33 |  0.000 % |
2209.74/2209.73	c |   9902873 |     720    42889   141087 |        1   278295     27 |  0.000 % |
2209.74/2209.73	c |   9903353 |     720    42889   141087 |        1   278775     27 |  0.000 % |
2209.74/2209.73	c |   9910043 |     720    42889   141087 |        1   285465     27 |  0.000 % |
2209.74/2209.73	c |   9911044 |     720    42889   141087 |        1   286466     27 |  0.000 % |
2209.74/2209.73	c |   9921048 |     720    42889   141087 |        1   296470     28 |  0.000 % |
2209.74/2209.73	c |   9962804 |     720    42889   141087 |        1   338226     30 |  0.000 % |
2209.74/2209.73	c |   9964706 |     720    42889   141087 |        1   340128     30 |  0.000 % |
2209.74/2209.73	c |   9968764 |     720    42889   141087 |        1   344186     30 |  0.000 % |
2209.74/2209.73	c |   9988255 |     720    42889   141087 |        1   363677     31 |  0.000 % |
2209.74/2209.73	c |   9999235 |     720    42889   141087 |        1   374657     32 |  0.000 % |
2209.74/2209.73	c |  10000652 |     720    42889   141087 |        1   376074     32 |  0.000 % |
2209.74/2209.73	c |  10013941 |     720    42889   141087 |        1   389363     32 |  0.000 % |
2209.74/2209.73	c |  10030924 |     720    42889   141087 |        1   406346     33 |  0.000 % |
2209.74/2209.73	c |  10041290 |     720    42889   141087 |        1   416712     34 |  0.000 % |
2209.74/2209.73	c |  10050004 |     720    42889   141087 |        1   425426     34 |  0.000 % |
2209.74/2209.73	c |  10063285 |     720    42889   141087 |        1   438707     34 |  0.000 % |
2209.74/2209.73	c |  10063387 |     720    42889   141087 |        1   438809     34 |  0.000 % |
2209.74/2209.73	c |  10074718 |     720    42889   141087 |        1   225144     24 |  0.000 % |
2209.74/2209.73	c |  10078201 |     720    42889   141087 |        1   228627     24 |  0.000 % |
2209.74/2209.73	c |  10078301 |     720    42889   141087 |        1   228727     24 |  0.000 % |
2209.74/2209.73	c |  10084721 |     720    42889   141087 |        1   235147     25 |  0.000 % |
2209.74/2209.73	c |  10104456 |     720    42889   141087 |        1   254882     26 |  0.000 % |
2209.74/2209.73	c |  10135557 |     720    42889   141087 |        1   285983     28 |  0.000 % |
2209.74/2209.73	c |  10153429 |     720    42889   141087 |        1   303855     30 |  0.000 % |
2209.74/2209.73	c |  10157484 |     720    42889   141087 |        1   307910     30 |  0.000 % |
2209.74/2209.73	c |  10165508 |     720    42889   141087 |        1   315934     30 |  0.000 % |
2209.74/2209.73	c |  10178109 |     720    42889   141087 |        1   328535     31 |  0.000 % |
2209.74/2209.73	c |  10178213 |     720    42889   141087 |        1   328639     31 |  0.000 % |
2209.74/2209.73	c |  10232229 |     720    42889   141087 |        1   382655     33 |  0.000 % |
2209.74/2209.73	c |  10251729 |     720    42889   141087 |        1   402155     33 |  0.000 % |
2209.74/2209.73	c |  10252079 |     720    42889   141087 |        1   402505     33 |  0.000 % |
2209.74/2209.73	c |  10257483 |     720    42889   141087 |        1   407909     34 |  0.000 % |
2351.13/2351.19	c |  10264740 |     720    42889   141087 |        1   415166     34 |  0.000 % |
2351.13/2351.19	c |  10279726 |     720    42889   141087 |        1   430152     34 |  0.000 % |
2351.13/2351.19	c |  10284296 |     720    42889   141087 |        1   434722     34 |  0.000 % |
2351.13/2351.19	c |  10286270 |     720    42889   141087 |        1   436696     34 |  0.000 % |
2351.13/2351.19	c |  10292851 |     720    42889   141087 |        1   443277     35 |  0.000 % |
2351.13/2351.19	c |  10297511 |     720    42889   141087 |        1   447937     35 |  0.000 % |
2351.13/2351.19	c |  10297957 |     720    42889   141087 |        1   448383     35 |  0.000 % |
2351.13/2351.19	c |  10318606 |     720    42889   141087 |        1   241430     25 |  0.000 % |
2351.13/2351.19	c |  10365686 |     720    42889   141087 |        1   288510     29 |  0.000 % |
2351.13/2351.19	c |  10369157 |     720    42889   141087 |        1   291981     29 |  0.000 % |
2351.13/2351.19	c |  10369359 |     720    42889   141087 |        1   292183     29 |  0.000 % |
2351.13/2351.19	c |  10375525 |     720    42889   141087 |        1   298349     29 |  0.000 % |
2351.13/2351.19	c |  10376629 |     720    42889   141087 |        1   299453     29 |  0.000 % |
2351.13/2351.19	c |  10413282 |     720    42889   141087 |        1   336106     31 |  0.000 % |
2351.13/2351.19	c |  10431731 |     720    42889   141087 |        1   354555     32 |  0.000 % |
2351.13/2351.19	c |  10431831 |     720    42889   141087 |        1   354655     32 |  0.000 % |
2351.13/2351.19	c |  10459706 |     720    42889   141087 |        1   382530     33 |  0.000 % |
2351.13/2351.19	c |  10460788 |     720    42889   141087 |        1   383612     33 |  0.000 % |
2351.13/2351.19	c |  10472061 |     720    42889   141087 |        1   394885     34 |  0.000 % |
2351.13/2351.19	c |  10503336 |     720    42889   141087 |        1   426160     35 |  0.000 % |
2351.13/2351.19	c |  10513717 |     720    42889   141087 |        1   436541     35 |  0.000 % |
2351.13/2351.19	c |  10514660 |     720    42889   141087 |        1   437484     35 |  0.000 % |
2351.13/2351.19	c |  10515569 |     720    42889   141087 |        1   438393     35 |  0.000 % |
2351.13/2351.19	c |  10539486 |     720    42889   141087 |        1   232103     24 |  0.000 % |
2351.13/2351.19	c |  10544876 |     720    42889   141087 |        1   237493     25 |  0.000 % |
2351.13/2351.19	c |  10549979 |     720    42889   141087 |        1   242596     25 |  0.000 % |
2351.13/2351.19	c |  10574051 |     720    42889   141087 |        1   266668     27 |  0.000 % |
2351.13/2351.19	c |  10582556 |     720    42889   141087 |        1   275173     28 |  0.000 % |
2351.13/2351.19	c |  10583257 |     720    42889   141087 |        1   275874     28 |  0.000 % |
2351.13/2351.19	c |  10597876 |     720    42889   141087 |        1   290493     29 |  0.000 % |
2351.13/2351.19	c |  10598321 |     720    42889   141087 |        1   290938     29 |  0.000 % |
2351.13/2351.19	c |  10598424 |     720    42889   141087 |        1   291041     29 |  0.000 % |
2351.13/2351.19	c |  10610347 |     720    42889   141087 |        1   302964     30 |  0.000 % |
2351.13/2351.19	c |  10631880 |     720    42889   141087 |        1   324497     31 |  0.000 % |
2351.13/2351.19	c |  10638728 |     720    42889   141087 |        1   331345     31 |  0.000 % |
2351.13/2351.19	c |  10639375 |     720    42889   141087 |        1   331992     31 |  0.000 % |
2351.13/2351.19	c |  10667131 |     720    42889   141087 |        1   359748     33 |  0.000 % |
2351.13/2351.19	c |  10667752 |     720    42889   141087 |        1   360369     33 |  0.000 % |
2351.13/2351.19	c |  10679293 |     720    42889   141087 |        1   371910     33 |  0.000 % |
2351.13/2351.19	c |  10680528 |     720    42889   141087 |        1   373145     33 |  0.000 % |
2351.13/2351.19	c |  10681138 |     720    42889   141087 |        1   373755     33 |  0.000 % |
2351.13/2351.19	c |  10733148 |     720    42889   141087 |        1   425765     35 |  0.000 % |
2351.13/2351.19	c |  10754094 |     720    42889   141087 |        1   446711     35 |  0.000 % |
2351.13/2351.19	c |  10758116 |     720    42889   141087 |        1   450733     35 |  0.000 % |
2351.13/2351.19	c |  10762497 |     720    42889   141087 |        1   455114     35 |  0.000 % |
2351.13/2351.19	c |  10769391 |     720    42889   141087 |        1   462008     35 |  0.000 % |
2351.13/2351.19	c |  10805953 |     720    42889   141087 |        1   265774     27 |  0.000 % |
2351.13/2351.19	c |  10817281 |     720    42889   141087 |        1   277102     27 |  0.000 % |
2351.13/2351.19	c |  10817915 |     720    42889   141087 |        1   277736     27 |  0.000 % |
2351.13/2351.19	c |  10834567 |     720    42889   141087 |        1   294388     28 |  0.000 % |
2562.14/2562.18	c |  10881084 |     720    42889   141087 |        1   340905     30 |  0.000 % |
2562.14/2562.18	c |  10882043 |     720    42889   141087 |        1   341864     30 |  0.000 % |
2562.14/2562.18	c |  10898286 |     720    42889   141087 |        1   358107     31 |  0.000 % |
2562.14/2562.18	c |  10908432 |     720    42889   141087 |        1   368253     31 |  0.000 % |
2562.14/2562.18	c |  10922497 |     720    42889   141087 |        1   382318     32 |  0.000 % |
2562.14/2562.18	c |  10936315 |     720    42889   141087 |        1   396136     32 |  0.000 % |
2562.14/2562.18	c |  10941844 |     720    42889   141087 |        1   401665     33 |  0.000 % |
2562.14/2562.18	c |  10945153 |     720    42889   141087 |        1   404974     33 |  0.000 % |
2562.14/2562.18	c |  10964952 |     720    42889   141087 |        1   424773     33 |  0.000 % |
2562.14/2562.18	c |  10965052 |     720    42889   141087 |        1   424873     33 |  0.000 % |
2562.14/2562.18	c |  10975818 |     720    42889   141087 |        1   435639     33 |  0.000 % |
2562.14/2562.18	c |  10982649 |     720    42889   141087 |        1   442470     34 |  0.000 % |
2562.14/2562.18	c |  10984325 |     720    42889   141087 |        1   444146     34 |  0.000 % |
2562.14/2562.18	c |  11009994 |     720    42889   141087 |        1   469815     34 |  0.000 % |
2562.14/2562.18	c |  11076085 |     720    42889   141087 |        1   300500     27 |  0.000 % |
2562.14/2562.18	c |  11081681 |     720    42889   141087 |        1   306096     27 |  0.000 % |
2562.14/2562.18	c |  11101424 |     720    42889   141087 |        1   325839     28 |  0.000 % |
2562.14/2562.18	c |  11115888 |     720    42889   141087 |        1   340303     28 |  0.000 % |
2562.14/2562.18	c |  11128020 |     720    42889   141087 |        1   352435     29 |  0.000 % |
2562.14/2562.18	c |  11149095 |     720    42889   141087 |        1   373510     30 |  0.000 % |
2562.14/2562.18	c |  11183872 |     720    42889   141087 |        1   408287     31 |  0.000 % |
2562.14/2562.18	c |  11188274 |     720    42889   141087 |        1   412689     31 |  0.000 % |
2562.14/2562.18	c |  11209443 |     720    42889   141087 |        1   433858     32 |  0.000 % |
2562.14/2562.18	c |  11211652 |     720    42889   141087 |        1   436067     32 |  0.000 % |
2562.14/2562.18	c |  11259633 |     720    42889   141087 |        1   246048     25 |  0.000 % |
2562.14/2562.18	c |  11259733 |     720    42889   141087 |        1   246148     25 |  0.000 % |
2562.14/2562.18	c |  11260318 |     720    42889   141087 |        1   246733     25 |  0.000 % |
2562.14/2562.18	c |  11269754 |     720    42889   141087 |        1   256169     25 |  0.000 % |
2562.14/2562.18	c |  11271518 |     720    42889   141087 |        1   257933     26 |  0.000 % |
2562.14/2562.18	c |  11283188 |     720    42889   141087 |        1   269603     26 |  0.000 % |
2562.14/2562.18	c |  11328407 |     720    42889   141087 |        1   314822     28 |  0.000 % |
2562.14/2562.18	c |  11397290 |     720    42889   141087 |        1   383705     30 |  0.000 % |
2562.14/2562.18	c |  11410376 |     720    42889   141087 |        1   396791     31 |  0.000 % |
2562.14/2562.18	c |  11410479 |     720    42889   141087 |        1   396894     31 |  0.000 % |
2562.14/2562.18	c |  11425214 |     720    42889   141087 |        1   411629     31 |  0.000 % |
2562.14/2562.18	c |  11451765 |     720    42889   141087 |        1   438180     32 |  0.000 % |
2562.14/2562.18	c |  11453859 |     720    42889   141087 |        1   440274     32 |  0.000 % |
2562.14/2562.18	c |  11461441 |     720    42889   141087 |        1   447856     32 |  0.000 % |
2562.14/2562.18	c |  11477638 |     720    42889   141087 |        1   464053     33 |  0.000 % |
2562.14/2562.18	c |  11478070 |     720    42889   141087 |        1   464485     33 |  0.000 % |
2562.14/2562.18	c |  11488511 |     720    42889   141087 |        1   474926     33 |  0.000 % |
2562.14/2562.18	c |  11488666 |     720    42889   141087 |        1   475081     33 |  0.000 % |
2562.14/2562.18	c |  11518989 |     720    42889   141087 |        1   264804     26 |  0.000 % |
2562.14/2562.18	c |  11525075 |     720    42889   141087 |        1   270890     26 |  0.000 % |
2562.14/2562.18	c |  11526010 |     720    42889   141087 |        1   271825     26 |  0.000 % |
2562.14/2562.18	c |  11539669 |     720    42889   141087 |        1   285484     27 |  0.000 % |
2562.14/2562.18	c |  11550118 |     720    42889   141087 |        1   295933     27 |  0.000 % |
2562.14/2562.18	c |  11570762 |     720    42889   141087 |        1   316577     28 |  0.000 % |
2562.14/2562.18	c |  11574901 |     720    42889   141087 |        1   320716     29 |  0.000 % |
2562.14/2562.18	c |  11590609 |     720    42889   141087 |        1   336424     29 |  0.000 % |
2776.24/2776.27	c |  11599302 |     720    42889   141087 |        1   345117     30 |  0.000 % |
2776.24/2776.27	c |  11607927 |     720    42889   141087 |        1   353742     30 |  0.000 % |
2776.24/2776.27	c |  11610278 |     720    42889   141087 |        1   356093     30 |  0.000 % |
2776.24/2776.27	c |  11631107 |     720    42889   141087 |        1   376922     31 |  0.000 % |
2776.24/2776.27	c |  11649917 |     720    42889   141087 |        1   395732     31 |  0.000 % |
2776.24/2776.27	c |  11676384 |     720    42889   141087 |        1   422199     32 |  0.000 % |
2776.24/2776.27	c |  11682434 |     720    42889   141087 |        1   428249     32 |  0.000 % |
2776.24/2776.27	c |  11693421 |     720    42889   141087 |        1   439236     32 |  0.000 % |
2776.24/2776.27	c |  11722795 |     720    42889   141087 |        1   468610     33 |  0.000 % |
2776.24/2776.27	c |  11726302 |     720    42889   141087 |        1   472117     33 |  0.000 % |
2776.24/2776.27	c |  11730822 |     720    42889   141087 |        1   476637     33 |  0.000 % |
2776.24/2776.27	c |  11746435 |     720    42889   141087 |        1   249047     23 |  0.000 % |
2776.24/2776.27	c |  11748986 |     720    42889   141087 |        1   251598     24 |  0.000 % |
2776.24/2776.27	c |  11754178 |     720    42889   141087 |        1   256790     24 |  0.000 % |
2776.24/2776.27	c |  11754885 |     720    42889   141087 |        1   257497     24 |  0.000 % |
2776.24/2776.27	c |  11773186 |     720    42889   141087 |        1   275798     26 |  0.000 % |
2776.24/2776.27	c |  11792346 |     720    42889   141087 |        1   294958     27 |  0.000 % |
2776.24/2776.27	c |  11818629 |     720    42889   141087 |        1   321241     29 |  0.000 % |
2776.24/2776.27	c |  11820933 |     720    42889   141087 |        1   323545     29 |  0.000 % |
2776.24/2776.27	c |  11834049 |     720    42889   141087 |        1   336661     29 |  0.000 % |
2776.24/2776.27	c |  11834149 |     720    42889   141087 |        1   336761     29 |  0.000 % |
2776.24/2776.27	c |  11839180 |     720    42889   141087 |        1   341792     29 |  0.000 % |
2776.24/2776.27	c |  11844581 |     720    42889   141087 |        1   347193     30 |  0.000 % |
2776.24/2776.27	c |  11872686 |     720    42889   141087 |        1   375298     31 |  0.000 % |
2776.24/2776.27	c |  11880209 |     720    42889   141087 |        1   382821     31 |  0.000 % |
2776.24/2776.27	c |  11880311 |     720    42889   141087 |        1   382923     31 |  0.000 % |
2776.24/2776.27	c |  11911239 |     720    42889   141087 |        1   413851     32 |  0.000 % |
2776.24/2776.27	c |  11941646 |     720    42889   141087 |        1   444258     33 |  0.000 % |
2776.24/2776.27	c |  11942565 |     720    42889   141087 |        1   445177     33 |  0.000 % |
2776.24/2776.27	c |  11954626 |     720    42889   141087 |        1   457238     33 |  0.000 % |
2776.24/2776.27	c |  11968530 |     720    42889   141087 |        1   471142     34 |  0.000 % |
2776.24/2776.27	c |  11986823 |     720    42889   141087 |        1   489435     34 |  0.000 % |
2776.24/2776.27	c |  11991238 |     720    42889   141087 |        1   248051     24 |  0.000 % |
2776.24/2776.27	c |  12022370 |     720    42889   141087 |        1   279183     27 |  0.000 % |
2776.24/2776.27	c |  12054072 |     720    42889   141087 |        1   310885     29 |  0.000 % |
2776.24/2776.27	c |  12054173 |     720    42889   141087 |        1   310986     29 |  0.000 % |
2776.24/2776.27	c |  12062465 |     720    42889   141087 |        1   319278     30 |  0.000 % |
2776.24/2776.27	c |  12091838 |     720    42889   141087 |        1   348651     31 |  0.000 % |
2776.24/2776.27	c |  12133389 |     720    42889   141087 |        1   390202     32 |  0.000 % |
2776.24/2776.27	c |  12175352 |     720    42889   141087 |        1   432165     33 |  0.000 % |
2776.24/2776.27	c |  12180251 |     720    42889   141087 |        1   437064     33 |  0.000 % |
2776.24/2776.27	c |  12212556 |     720    42889   141087 |        1   469369     34 |  0.000 % |
2776.24/2776.27	c |  12217649 |     720    42889   141087 |        1   474462     34 |  0.000 % |
2776.24/2776.27	c |  12234872 |     720    42889   141087 |        1   491685     34 |  0.000 % |
2776.24/2776.27	c |  12259893 |     720    42889   141087 |        1   268311     25 |  0.000 % |
2776.24/2776.27	c |  12285670 |     720    42889   141087 |        1   294088     27 |  0.000 % |
2776.24/2776.27	c |  12299031 |     720    42889   141087 |        1   307449     28 |  0.000 % |
2776.24/2776.27	c |  12299134 |     720    42889   141087 |        1   307552     28 |  0.000 % |
2776.24/2776.27	c |  12305146 |     720    42889   141087 |        1   313564     28 |  0.000 % |
2776.24/2776.27	c |  12346902 |     720    42889   141087 |        1   355320     30 |  0.000 % |
2993.76/2993.71	c |  12353229 |     720    42889   141087 |        1   361647     30 |  0.000 % |
2993.76/2993.71	c |  12392579 |     720    42889   141087 |        1   400997     31 |  0.000 % |
2993.76/2993.71	c |  12392983 |     720    42889   141087 |        1   401401     31 |  0.000 % |
2993.76/2993.71	c |  12397987 |     720    42889   141087 |        1   406405     31 |  0.000 % |
2993.76/2993.71	c |  12410776 |     720    42889   141087 |        1   419194     31 |  0.000 % |
2993.76/2993.71	c |  12435093 |     720    42889   141087 |        1   443511     32 |  0.000 % |
2993.76/2993.71	c |  12435195 |     720    42889   141087 |        1   443613     32 |  0.000 % |
2993.76/2993.71	c |  12451682 |     720    42889   141087 |        1   460100     32 |  0.000 % |
2993.76/2993.71	c |  12456601 |     720    42889   141087 |        1   465019     32 |  0.000 % |
2993.76/2993.71	c |  12460235 |     720    42889   141087 |        1   468653     33 |  0.000 % |
2993.76/2993.71	c |  12471362 |     720    42889   141087 |        1   479780     33 |  0.000 % |
2993.76/2993.71	c |  12479104 |     720    42889   141087 |        1   487522     33 |  0.000 % |
2993.76/2993.71	c |  12479961 |     720    42889   141087 |        1   488379     33 |  0.000 % |
2993.76/2993.71	c |  12485527 |     720    42889   141087 |        1   493945     33 |  0.000 % |
2993.76/2993.71	c |  12550392 |     720    42889   141087 |        1   307808     27 |  0.000 % |
2993.76/2993.71	c |  12551033 |     720    42889   141087 |        1   308449     27 |  0.000 % |
2993.76/2993.71	c |  12565291 |     720    42889   141087 |        1   322707     27 |  0.000 % |
2993.76/2993.71	c |  12573580 |     720    42889   141087 |        1   330996     28 |  0.000 % |
2993.76/2993.71	c |  12573681 |     720    42889   141087 |        1   331097     28 |  0.000 % |
2993.76/2993.71	c |  12585277 |     720    42889   141087 |        1   342693     28 |  0.000 % |
2993.76/2993.71	c |  12594973 |     720    42889   141087 |        1   352389     29 |  0.000 % |
2993.76/2993.71	c |  12634790 |     720    42889   141087 |        1   392206     30 |  0.000 % |
2993.76/2993.71	c |  12695660 |     720    42889   141087 |        1   453076     31 |  0.000 % |
2993.76/2993.71	c |  12731442 |     720    42889   141087 |        1   488858     32 |  0.000 % |
2993.76/2993.71	c |  12731546 |     720    42889   141087 |        1   488962     32 |  0.000 % |
2993.76/2993.71	c |  12740360 |     720    42889   141087 |        1   497776     32 |  0.000 % |
2993.76/2993.71	c |  12749441 |     720    42889   141087 |        1   506857     32 |  0.000 % |
2993.76/2993.71	c |  12763900 |     720    42889   141087 |        1   267713     24 |  0.000 % |
2993.76/2993.71	c |  12765911 |     720    42889   141087 |        1   269724     24 |  0.000 % |
2993.76/2993.71	c |  12771496 |     720    42889   141087 |        1   275309     24 |  0.000 % |
2993.76/2993.71	c |  12771597 |     720    42889   141087 |        1   275410     24 |  0.000 % |
2993.76/2993.71	c |  12781114 |     720    42889   141087 |        1   284927     25 |  0.000 % |
2993.76/2993.71	c |  12834786 |     720    42889   141087 |        1   338599     28 |  0.000 % |
2993.76/2993.71	c |  12841030 |     720    42889   141087 |        1   344843     28 |  0.000 % |
2993.76/2993.71	c |  12848561 |     720    42889   141087 |        1   352374     28 |  0.000 % |
2993.76/2993.71	c |  12848661 |     720    42889   141087 |        1   352474     28 |  0.000 % |
2993.76/2993.71	c |  12896718 |     720    42889   141087 |        1   400531     30 |  0.000 % |
2993.76/2993.71	c |  12982381 |     720    42889   141087 |        1   486194     33 |  0.000 % |
2993.76/2993.71	c |  12999647 |     720    42889   141087 |        1   503460     34 |  0.000 % |
2993.76/2993.71	c |  13015631 |     720    42889   141087 |        1   263245     24 |  0.000 % |
2993.76/2993.71	c |  13017647 |     720    42889   141087 |        1   265261     24 |  0.000 % |
2993.76/2993.71	c |  13029071 |     720    42889   141087 |        1   276685     25 |  0.000 % |
2993.76/2993.71	c |  13041637 |     720    42889   141087 |        1   289251     26 |  0.000 % |
2993.76/2993.71	c |  13049014 |     720    42889   141087 |        1   296628     27 |  0.000 % |
2993.76/2993.71	c |  13055007 |     720    42889   141087 |        1   302621     27 |  0.000 % |
2993.76/2993.71	c |  13055210 |     720    42889   141087 |        1   302824     27 |  0.000 % |
2993.76/2993.71	c |  13098091 |     720    42889   141087 |        1   345705     29 |  0.000 % |
2993.76/2993.71	c |  13107664 |     720    42889   141087 |        1   355278     29 |  0.000 % |
2993.76/2993.71	c |  13125259 |     720    42889   141087 |        1   372873     30 |  0.000 % |
2993.76/2993.71	c |  13164483 |     720    42889   141087 |        1   412097     31 |  0.000 % |
3151.56/3151.52	c |  13165251 |     720    42889   141087 |        1   412865     31 |  0.000 % |
3151.56/3151.52	c |  13167207 |     720    42889   141087 |        1   414821     31 |  0.000 % |
3151.56/3151.52	c |  13167664 |     720    42889   141087 |        1   415278     31 |  0.000 % |
3151.56/3151.52	c |  13167764 |     720    42889   141087 |        1   415378     31 |  0.000 % |
3151.56/3151.52	c |  13184645 |     720    42889   141087 |        1   432259     32 |  0.000 % |
3151.56/3151.52	c |  13206346 |     720    42889   141087 |        1   453960     33 |  0.000 % |
3151.56/3151.52	c |  13221867 |     720    42889   141087 |        1   469481     33 |  0.000 % |
3151.56/3151.52	c |  13235483 |     720    42889   141087 |        1   483097     33 |  0.000 % |
3151.56/3151.52	c |  13262013 |     720    42889   141087 |        1   509627     34 |  0.000 % |
3151.56/3151.52	c |  13310162 |     720    42889   141087 |        1   298980     26 |  0.000 % |
3151.56/3151.52	c |  13310417 |     720    42889   141087 |        1   299235     26 |  0.000 % |
3151.56/3151.52	c |  13354025 |     720    42889   141087 |        1   342843     28 |  0.000 % |
3151.56/3151.52	c |  13357976 |     720    42889   141087 |        1   346794     28 |  0.000 % |
3151.56/3151.52	c |  13367472 |     720    42889   141087 |        1   356290     29 |  0.000 % |
3151.56/3151.52	c |  13368454 |     720    42889   141087 |        1   357272     29 |  0.000 % |
3151.56/3151.52	c |  13368557 |     720    42889   141087 |        1   357375     29 |  0.000 % |
3151.56/3151.52	c |  13368658 |     720    42889   141087 |        1   357476     29 |  0.000 % |
3151.56/3151.52	c |  13371752 |     720    42889   141087 |        1   360570     29 |  0.000 % |
3151.56/3151.52	c |  13380113 |     720    42889   141087 |        1   368931     30 |  0.000 % |
3151.56/3151.52	c |  13380635 |     720    42889   141087 |        1   369453     30 |  0.000 % |
3151.56/3151.52	c |  13383802 |     720    42889   141087 |        1   372620     30 |  0.000 % |
3151.56/3151.52	c |  13386593 |     720    42889   141087 |        1   375411     30 |  0.000 % |
3151.56/3151.52	c |  13396316 |     720    42889   141087 |        1   385134     30 |  0.000 % |
3151.56/3151.52	c |  13430215 |     720    42889   141087 |        1   419033     32 |  0.000 % |
3151.56/3151.52	c |  13502874 |     720    42889   141087 |        1   491692     33 |  0.000 % |
3151.56/3151.52	c |  13511929 |     720    42889   141087 |        1   500747     33 |  0.000 % |
3151.56/3151.52	c |  13541996 |     720    42889   141087 |        1   269412     23 |  0.000 % |
3151.56/3151.52	c |  13542534 |     720    42889   141087 |        1   269950     23 |  0.000 % |
3151.56/3151.52	c |  13558357 |     720    42889   141087 |        1   285773     24 |  0.000 % |
3151.56/3151.52	c |  13584501 |     720    42889   141087 |        1   311917     26 |  0.000 % |
3151.56/3151.52	c |  13586263 |     720    42889   141087 |        1   313679     26 |  0.000 % |
3151.56/3151.52	c |  13594925 |     720    42889   141087 |        1   322341     26 |  0.000 % |
3151.56/3151.52	c |  13623042 |     720    42889   141087 |        1   350458     27 |  0.000 % |
3151.56/3151.52	c |  13631618 |     720    42889   141087 |        1   359034     27 |  0.000 % |
3151.56/3151.52	c |  13635133 |     720    42889   141087 |        1   362549     27 |  0.000 % |
3151.56/3151.52	c |  13637936 |     720    42889   141087 |        1   365352     28 |  0.000 % |
3151.56/3151.52	c |  13638796 |     720    42889   141087 |        1   366212     28 |  0.000 % |
3151.56/3151.52	c |  13641074 |     720    42889   141087 |        1   368490     28 |  0.000 % |
3151.56/3151.52	c |  13646644 |     720    42889   141087 |        1   374060     28 |  0.000 % |
3151.56/3151.52	c |  13659197 |     720    42889   141087 |        1   386613     28 |  0.000 % |
3151.56/3151.52	c |  13659297 |     720    42889   141087 |        1   386713     28 |  0.000 % |
3151.56/3151.52	c |  13671037 |     720    42889   141087 |        1   398453     29 |  0.000 % |
3151.56/3151.52	c |  13673030 |     720    42889   141087 |        1   400446     29 |  0.000 % |
3151.56/3151.52	c |  13676078 |     720    42889   141087 |        1   403494     29 |  0.000 % |
3151.56/3151.52	c |  13690883 |     720    42889   141087 |        1   418299     29 |  0.000 % |
3151.56/3151.52	c |  13696574 |     720    42889   141087 |        1   423990     29 |  0.000 % |
3151.56/3151.52	c |  13709932 |     720    42889   141087 |        1   437348     30 |  0.000 % |
3151.56/3151.52	c |  13716869 |     720    42889   141087 |        1   444285     30 |  0.000 % |
3151.56/3151.52	c |  13719986 |     720    42889   141087 |        1   447402     30 |  0.000 % |
3151.56/3151.52	c |  13721780 |     720    42889   141087 |        1   449196     30 |  0.000 % |
3402.77/3402.70	c |  13733255 |     720    42889   141087 |        1   460671     31 |  0.000 % |
3402.77/3402.70	c |  13749622 |     720    42889   141087 |        1   477038     31 |  0.000 % |
3402.77/3402.70	c |  13755418 |     720    42889   141087 |        1   482834     31 |  0.000 % |
3402.77/3402.70	c |  13791593 |     720    42889   141087 |        1   519009     32 |  0.000 % |
3402.77/3402.70	c |  13795494 |     720    42889   141087 |        1   522910     32 |  0.000 % |
3402.77/3402.70	c |  13882368 |     720    42889   141087 |        1   345788     26 |  0.000 % |
3402.77/3402.70	c |  13887919 |     720    42889   141087 |        1   351339     26 |  0.000 % |
3402.77/3402.70	c |  13956932 |     720    42889   141087 |        1   420352     29 |  0.000 % |
3402.77/3402.70	c |  13999393 |     720    42889   141087 |        1   462813     30 |  0.000 % |
3402.77/3402.70	c |  14089961 |     720    42889   141087 |        1   286781     24 |  0.000 % |
3402.77/3402.70	c |  14095095 |     720    42889   141087 |        1   291915     24 |  0.000 % |
3402.77/3402.70	c |  14108374 |     720    42889   141087 |        1   305194     25 |  0.000 % |
3402.77/3402.70	c |  14112981 |     720    42889   141087 |        1   309801     26 |  0.000 % |
3402.77/3402.70	c |  14122010 |     720    42889   141087 |        1   318830     26 |  0.000 % |
3402.77/3402.70	c |  14137488 |     720    42889   141087 |        1   334308     27 |  0.000 % |
3402.77/3402.70	c |  14177868 |     720    42889   141087 |        1   374688     29 |  0.000 % |
3402.77/3402.70	c |  14215390 |     720    42889   141087 |        1   412210     30 |  0.000 % |
3402.77/3402.70	c |  14218269 |     720    42889   141087 |        1   415089     30 |  0.000 % |
3402.77/3402.70	c |  14251261 |     720    42889   141087 |        1   448081     31 |  0.000 % |
3402.77/3402.70	c |  14251430 |     720    42889   141087 |        1   448250     31 |  0.000 % |
3402.77/3402.70	c |  14259566 |     720    42889   141087 |        1   456386     31 |  0.000 % |
3402.77/3402.70	c |  14287744 |     720    42889   141087 |        1   484564     32 |  0.000 % |
3402.77/3402.70	c |  14307318 |     720    42889   141087 |        1   504138     32 |  0.000 % |
3402.77/3402.70	c |  14320143 |     720    42889   141087 |        1   516963     33 |  0.000 % |
3402.77/3402.70	c |  14332401 |     720    42889   141087 |        1   529221     33 |  0.000 % |
3402.77/3402.70	c |  14338908 |     720    42889   141087 |        1   535728     33 |  0.000 % |
3402.77/3402.70	c |  14347827 |     720    42889   141087 |        1   275443     23 |  0.000 % |
3402.77/3402.70	c |  14356248 |     720    42889   141087 |        1   283864     24 |  0.000 % |
3402.77/3402.70	c |  14357997 |     720    42889   141087 |        1   285613     24 |  0.000 % |
3402.77/3402.70	c |  14358939 |     720    42889   141087 |        1   286555     24 |  0.000 % |
3402.77/3402.70	c |  14430207 |     720    42889   141087 |        1   357823     28 |  0.000 % |
3402.77/3402.70	c |  14438022 |     720    42889   141087 |        1   365638     28 |  0.000 % |
3402.77/3402.70	c |  14452377 |     720    42889   141087 |        1   379993     29 |  0.000 % |
3402.77/3402.70	c |  14464959 |     720    42889   141087 |        1   392575     29 |  0.000 % |
3402.77/3402.70	c |  14465856 |     720    42889   141087 |        1   393472     29 |  0.000 % |
3402.77/3402.70	c |  14488385 |     720    42889   141087 |        1   416001     30 |  0.000 % |
3402.77/3402.70	c |  14518152 |     720    42889   141087 |        1   445768     31 |  0.000 % |
3402.77/3402.70	c |  14540113 |     720    42889   141087 |        1   467729     32 |  0.000 % |
3402.77/3402.70	c |  14541916 |     720    42889   141087 |        1   469532     32 |  0.000 % |
3402.77/3402.70	c |  14557592 |     720    42889   141087 |        1   485208     32 |  0.000 % |
3402.77/3402.70	c |  14560448 |     720    42889   141087 |        1   488064     32 |  0.000 % |
3402.77/3402.70	c |  14564850 |     720    42889   141087 |        1   492466     32 |  0.000 % |
3402.77/3402.70	c |  14567122 |     720    42889   141087 |        1   494738     32 |  0.000 % |
3402.77/3402.70	c |  14572676 |     720    42889   141087 |        1   500292     32 |  0.000 % |
3402.77/3402.70	c |  14572867 |     720    42889   141087 |        1   500483     32 |  0.000 % |
3402.77/3402.70	c |  14581258 |     720    42889   141087 |        1   508874     33 |  0.000 % |
3402.77/3402.70	c |  14587090 |     720    42889   141087 |        1   514706     33 |  0.000 % |
3402.77/3402.70	c |  14587190 |     720    42889   141087 |        1   514806     33 |  0.000 % |
3402.77/3402.70	c |  14604634 |     720    42889   141087 |        1   532250     33 |  0.000 % |
3402.77/3402.70	c |  14619461 |     720    42889   141087 |        1   275274     23 |  0.000 % |
3535.16/3535.13	c |  14621476 |     720    42889   141087 |        1   277289     23 |  0.000 % |
3535.16/3535.13	c |  14636187 |     720    42889   141087 |        1   292000     25 |  0.000 % |
3535.16/3535.13	c |  14636659 |     720    42889   141087 |        1   292472     25 |  0.000 % |
3535.16/3535.13	c |  14638919 |     720    42889   141087 |        1   294732     25 |  0.000 % |
3535.16/3535.13	c |  14639283 |     720    42889   141087 |        1   295096     25 |  0.000 % |
3535.16/3535.13	c |  14679576 |     720    42889   141087 |        1   335389     27 |  0.000 % |
3535.16/3535.13	c |  14683807 |     720    42889   141087 |        1   339620     27 |  0.000 % |
3535.16/3535.13	c |  14683909 |     720    42889   141087 |        1   339722     27 |  0.000 % |
3535.16/3535.13	c |  14696646 |     720    42889   141087 |        1   352459     28 |  0.000 % |
3535.16/3535.13	c |  14696960 |     720    42889   141087 |        1   352773     28 |  0.000 % |
3535.16/3535.13	c |  14707133 |     720    42889   141087 |        1   362946     28 |  0.000 % |
3535.16/3535.13	c |  14713786 |     720    42889   141087 |        1   369599     29 |  0.000 % |
3535.16/3535.13	c |  14720042 |     720    42889   141087 |        1   375855     29 |  0.000 % |
3535.16/3535.13	c |  14721615 |     720    42889   141087 |        1   377428     29 |  0.000 % |
3535.16/3535.13	c |  14728429 |     720    42889   141087 |        1   384242     29 |  0.000 % |
3535.16/3535.13	c |  14736500 |     720    42889   141087 |        1   392313     30 |  0.000 % |
3535.16/3535.13	c |  14736602 |     720    42889   141087 |        1   392415     30 |  0.000 % |
3535.16/3535.13	c |  14760722 |     720    42889   141087 |        1   416535     30 |  0.000 % |
3535.16/3535.13	c |  14760823 |     720    42889   141087 |        1   416636     30 |  0.000 % |
3535.16/3535.13	c |  14773245 |     720    42889   141087 |        1   429058     31 |  0.000 % |
3535.16/3535.13	c |  14778099 |     720    42889   141087 |        1   433912     31 |  0.000 % |
3535.16/3535.13	c |  14805145 |     720    42889   141087 |        1   460958     32 |  0.000 % |
3535.16/3535.13	c |  14806666 |     720    42889   141087 |        1   462479     32 |  0.000 % |
3535.16/3535.13	c |  14812900 |     720    42889   141087 |        1   468713     32 |  0.000 % |
3535.16/3535.13	c |  14833463 |     720    42889   141087 |        1   489276     33 |  0.000 % |
3535.16/3535.13	c |  14861601 |     720    42889   141087 |        1   517414     33 |  0.000 % |
3535.16/3535.13	c |  14873497 |     720    42889   141087 |        1   529310     33 |  0.000 % |
3535.16/3535.13	c |  14888446 |     720    42889   141087 |        1   544259     34 |  0.000 % |
3535.16/3535.13	c |  14904062 |     720    42889   141087 |        1   285479     24 |  0.000 % |
3535.16/3535.13	c |  14908099 |     720    42889   141087 |        1   289516     24 |  0.000 % |
3535.16/3535.13	c |  14909083 |     720    42889   141087 |        1   290500     24 |  0.000 % |
3535.16/3535.13	c |  14912825 |     720    42889   141087 |        1   294242     25 |  0.000 % |
3535.16/3535.13	c |  14953693 |     720    42889   141087 |        1   335110     27 |  0.000 % |
3535.16/3535.13	c |  14955910 |     720    42889   141087 |        1   337327     27 |  0.000 % |
3535.16/3535.13	c |  14975771 |     720    42889   141087 |        1   357188     28 |  0.000 % |
3535.16/3535.13	c |  14976196 |     720    42889   141087 |        1   357613     28 |  0.000 % |
3535.16/3535.13	c |  14993665 |     720    42889   141087 |        1   375082     29 |  0.000 % |
3535.16/3535.13	c |  14993891 |     720    42889   141087 |        1   375308     29 |  0.000 % |
3535.16/3535.13	c |  15006620 |     720    42889   141087 |        1   388037     30 |  0.000 % |
3535.16/3535.13	c |  15007621 |     720    42889   141087 |        1   389038     30 |  0.000 % |
3535.16/3535.13	c |  15010377 |     720    42889   141087 |        1   391794     30 |  0.000 % |
3535.16/3535.13	c |  15015864 |     720    42889   141087 |        1   397281     30 |  0.000 % |
3535.16/3535.13	c |  15016438 |     720    42889   141087 |        1   397855     30 |  0.000 % |
3535.16/3535.13	c |  15025815 |     720    42889   141087 |        1   407232     31 |  0.000 % |
3535.16/3535.13	c |  15045958 |     720    42889   141087 |        1   427375     31 |  0.000 % |
3535.16/3535.13	c |  15046104 |     720    42889   141087 |        1   427521     31 |  0.000 % |
3535.16/3535.13	c |  15046317 |     720    42889   141087 |        1   427734     31 |  0.000 % |
3535.16/3535.13	c |  15047031 |     720    42889   141087 |        1   428448     32 |  0.000 % |
3535.16/3535.13	c |  15060420 |     720    42889   141087 |        1   441837     32 |  0.000 % |
3535.16/3535.13	c |  15060544 |     720    42889   141087 |        1   441961     32 |  0.000 % |
3672.17/3672.17	c |  15066568 |     720    42889   141087 |        1   447985     32 |  0.000 % |
3672.17/3672.17	c |  15107173 |     720    42889   141087 |        1   488590     33 |  0.000 % |
3672.17/3672.17	c |  15111153 |     720    42889   141087 |        1   492570     33 |  0.000 % |
3672.17/3672.17	c |  15118535 |     720    42889   141087 |        1   499952     34 |  0.000 % |
3672.17/3672.17	c |  15120491 |     720    42889   141087 |        1   501908     34 |  0.000 % |
3672.17/3672.17	c |  15132852 |     720    42889   141087 |        1   514269     34 |  0.000 % |
3672.17/3672.17	c |  15132952 |     720    42889   141087 |        1   514369     34 |  0.000 % |
3672.17/3672.17	c |  15149639 |     720    42889   141087 |        1   531056     34 |  0.000 % |
3672.17/3672.17	c |  15151358 |     720    42889   141087 |        1   532775     35 |  0.000 % |
3672.17/3672.17	c |  15154219 |     720    42889   141087 |        1   535636     35 |  0.000 % |
3672.17/3672.17	c |  15167656 |     720    42889   141087 |        1   549073     35 |  0.000 % |
3672.17/3672.17	c |  15167888 |     720    42889   141087 |        1   549305     35 |  0.000 % |
3672.17/3672.17	c |  15175845 |     720    42889   141087 |        1   280262     23 |  0.000 % |
3672.17/3672.17	c |  15197365 |     720    42889   141087 |        1   301782     24 |  0.000 % |
3672.17/3672.17	c |  15227262 |     720    42889   141087 |        1   331679     26 |  0.000 % |
3672.17/3672.17	c |  15231241 |     720    42889   141087 |        1   335658     26 |  0.000 % |
3672.17/3672.17	c |  15238722 |     720    42889   141087 |        1   343139     27 |  0.000 % |
3672.17/3672.17	c |  15249117 |     720    42889   141087 |        1   353534     27 |  0.000 % |
3672.17/3672.17	c |  15255115 |     720    42889   141087 |        1   359532     27 |  0.000 % |
3672.17/3672.17	c |  15259898 |     720    42889   141087 |        1   364315     27 |  0.000 % |
3672.17/3672.17	c |  15277328 |     720    42889   141087 |        1   381745     28 |  0.000 % |
3672.17/3672.17	c |  15282029 |     720    42889   141087 |        1   386446     28 |  0.000 % |
3672.17/3672.17	c |  15285630 |     720    42889   141087 |        1   390047     28 |  0.000 % |
3672.17/3672.17	c |  15317980 |     720    42889   141087 |        1   422397     30 |  0.000 % |
3672.17/3672.17	c |  15344833 |     720    42889   141087 |        1   449250     31 |  0.000 % |
3672.17/3672.17	c |  15349372 |     720    42889   141087 |        1   453789     31 |  0.000 % |
3672.17/3672.17	c |  15349516 |     720    42889   141087 |        1   453933     31 |  0.000 % |
3672.17/3672.17	c |  15356209 |     720    42889   141087 |        1   460626     31 |  0.000 % |
3672.17/3672.17	c |  15374033 |     720    42889   141087 |        1   478450     32 |  0.000 % |
3672.17/3672.17	c |  15386526 |     720    42889   141087 |        1   490943     32 |  0.000 % |
3672.17/3672.17	c |  15388434 |     720    42889   141087 |        1   492851     32 |  0.000 % |
3672.17/3672.17	c |  15400504 |     720    42889   141087 |        1   504921     33 |  0.000 % |
3672.17/3672.17	c |  15414179 |     720    42889   141087 |        1   518596     33 |  0.000 % |
3672.17/3672.17	c |  15415786 |     720    42889   141087 |        1   520203     33 |  0.000 % |
3672.17/3672.17	c |  15416392 |     720    42889   141087 |        1   520809     33 |  0.000 % |
3672.17/3672.17	c |  15417577 |     720    42889   141087 |        1   521994     33 |  0.000 % |
3672.17/3672.17	c |  15424178 |     720    42889   141087 |        1   528595     33 |  0.000 % |
3672.17/3672.17	c |  15438986 |     720    42889   141087 |        1   543403     34 |  0.000 % |
3672.17/3672.17	c |  15444413 |     720    42889   141087 |        1   548830     34 |  0.000 % |
3672.17/3672.17	c |  15451498 |     720    42889   141087 |        1   555915     34 |  0.000 % |
3672.17/3672.17	c |  15487390 |     720    42889   141087 |        1   312210     25 |  0.000 % |
3672.17/3672.17	c |  15489809 |     720    42889   141087 |        1   314629     25 |  0.000 % |
3672.17/3672.17	c |  15526944 |     720    42889   141087 |        1   351764     27 |  0.000 % |
3672.17/3672.17	c |  15548884 |     720    42889   141087 |        1   373704     28 |  0.000 % |
3672.17/3672.17	c |  15548985 |     720    42889   141087 |        1   373805     28 |  0.000 % |
3672.17/3672.17	c |  15553585 |     720    42889   141087 |        1   378405     29 |  0.000 % |
3672.17/3672.17	c |  15554291 |     720    42889   141087 |        1   379111     29 |  0.000 % |
3672.17/3672.17	c |  15554853 |     720    42889   141087 |        1   379673     29 |  0.000 % |
3672.17/3672.17	c |  15559086 |     720    42889   141087 |        1   383906     29 |  0.000 % |
3672.17/3672.17	c |  15567717 |     720    42889   141087 |        1   392537     29 |  0.000 % |
3832.07/3832.07	c |  15569994 |     720    42889   141087 |        1   394814     29 |  0.000 % |
3832.07/3832.07	c |  15571088 |     720    42889   141087 |        1   395908     29 |  0.000 % |
3832.07/3832.07	c |  15571188 |     720    42889   141087 |        1   396008     29 |  0.000 % |
3832.07/3832.07	c |  15575906 |     720    42889   141087 |        1   400726     30 |  0.000 % |
3832.07/3832.07	c |  15580171 |     720    42889   141087 |        1   404991     30 |  0.000 % |
3832.07/3832.07	c |  15598578 |     720    42889   141087 |        1   423398     30 |  0.000 % |
3832.07/3832.07	c |  15607894 |     720    42889   141087 |        1   432714     30 |  0.000 % |
3832.07/3832.07	c |  15612437 |     720    42889   141087 |        1   437257     30 |  0.000 % |
3832.07/3832.07	c |  15638038 |     720    42889   141087 |        1   462858     31 |  0.000 % |
3832.07/3832.07	c |  15639498 |     720    42889   141087 |        1   464318     31 |  0.000 % |
3832.07/3832.07	c |  15643752 |     720    42889   141087 |        1   468572     31 |  0.000 % |
3832.07/3832.07	c |  15651339 |     720    42889   141087 |        1   476159     32 |  0.000 % |
3832.07/3832.07	c |  15655708 |     720    42889   141087 |        1   480528     32 |  0.000 % |
3832.07/3832.07	c |  15659617 |     720    42889   141087 |        1   484437     32 |  0.000 % |
3832.07/3832.07	c |  15667675 |     720    42889   141087 |        1   492495     32 |  0.000 % |
3832.07/3832.07	c |  15696054 |     720    42889   141087 |        1   520874     32 |  0.000 % |
3832.07/3832.07	c |  15721235 |     720    42889   141087 |        1   546055     33 |  0.000 % |
3832.07/3832.07	c |  15721869 |     720    42889   141087 |        1   546689     33 |  0.000 % |
3832.07/3832.07	c |  15725247 |     720    42889   141087 |        1   550067     33 |  0.000 % |
3832.07/3832.07	c |  15727644 |     720    42889   141087 |        1   552464     33 |  0.000 % |
3832.07/3832.07	c |  15732198 |     720    42889   141087 |        1   557018     33 |  0.000 % |
3832.07/3832.07	c |  15741257 |     720    42889   141087 |        1   283879     23 |  0.000 % |
3832.07/3832.07	c |  15748302 |     720    42889   141087 |        1   290924     23 |  0.000 % |
3832.07/3832.07	c |  15752088 |     720    42889   141087 |        1   294710     23 |  0.000 % |
3832.07/3832.07	c |  15767269 |     720    42889   141087 |        1   309891     24 |  0.000 % |
3832.07/3832.07	c |  15808317 |     720    42889   141087 |        1   350939     26 |  0.000 % |
3832.07/3832.07	c |  15808808 |     720    42889   141087 |        1   351430     26 |  0.000 % |
3832.07/3832.07	c |  15837541 |     720    42889   141087 |        1   380163     27 |  0.000 % |
3832.07/3832.07	c |  15843308 |     720    42889   141087 |        1   385930     28 |  0.000 % |
3832.07/3832.07	c |  15880306 |     720    42889   141087 |        1   422928     29 |  0.000 % |
3832.07/3832.07	c |  15880491 |     720    42889   141087 |        1   423113     29 |  0.000 % |
3832.07/3832.07	c |  15884701 |     720    42889   141087 |        1   427323     29 |  0.000 % |
3832.07/3832.07	c |  15885827 |     720    42889   141087 |        1   428449     29 |  0.000 % |
3832.07/3832.07	c |  15893816 |     720    42889   141087 |        1   436438     29 |  0.000 % |
3832.07/3832.07	c |  15900462 |     720    42889   141087 |        1   443084     29 |  0.000 % |
3832.07/3832.07	c |  15902141 |     720    42889   141087 |        1   444763     30 |  0.000 % |
3832.07/3832.07	c |  15936961 |     720    42889   141087 |        1   479583     30 |  0.000 % |
3832.07/3832.07	c |  15944267 |     720    42889   141087 |        1   486889     30 |  0.000 % |
3832.07/3832.07	c |  15945943 |     720    42889   141087 |        1   488565     30 |  0.000 % |
3832.07/3832.07	c |  15947337 |     720    42889   141087 |        1   489959     31 |  0.000 % |
3832.07/3832.07	c |  15954658 |     720    42889   141087 |        1   497280     31 |  0.000 % |
3832.07/3832.07	c |  15954758 |     720    42889   141087 |        1   497380     31 |  0.000 % |
3832.07/3832.07	c |  15963458 |     720    42889   141087 |        1   506080     31 |  0.000 % |
3832.07/3832.07	c |  15973450 |     720    42889   141087 |        1   516072     31 |  0.000 % |
3832.07/3832.07	c |  15976805 |     720    42889   141087 |        1   519427     31 |  0.000 % |
3832.07/3832.07	c |  15978529 |     720    42889   141087 |        1   521151     31 |  0.000 % |
3832.07/3832.07	c |  15999879 |     720    42889   141087 |        1   542501     32 |  0.000 % |
3832.07/3832.07	c |  16003693 |     720    42889   141087 |        1   546315     32 |  0.000 % |
3832.07/3832.07	c |  16010371 |     720    42889   141087 |        1   552993     32 |  0.000 % |
3832.07/3832.07	c |  16010516 |     720    42889   141087 |        1   553138     32 |  0.000 % |
4011.28/4011.23	c |  16011013 |     720    42889   141087 |        1   553635     32 |  0.000 % |
4011.28/4011.23	c |  16012431 |     720    42889   141087 |        1   555053     32 |  0.000 % |
4011.28/4011.23	c |  16012774 |     720    42889   141087 |        1   555396     32 |  0.000 % |
4011.28/4011.23	c |  16027226 |     720    42889   141087 |        1   285051     22 |  0.000 % |
4011.28/4011.23	c |  16039505 |     720    42889   141087 |        1   297330     23 |  0.000 % |
4011.28/4011.23	c |  16069904 |     720    42889   141087 |        1   327729     25 |  0.000 % |
4011.28/4011.23	c |  16099904 |     720    42889   141087 |        1   357729     27 |  0.000 % |
4011.28/4011.23	c |  16110256 |     720    42889   141087 |        1   368081     27 |  0.000 % |
4011.28/4011.23	c |  16135386 |     720    42889   141087 |        1   393211     28 |  0.000 % |
4011.28/4011.23	c |  16144978 |     720    42889   141087 |        1   402803     29 |  0.000 % |
4011.28/4011.23	c |  16166516 |     720    42889   141087 |        1   424341     30 |  0.000 % |
4011.28/4011.23	c |  16185669 |     720    42889   141087 |        1   443494     30 |  0.000 % |
4011.28/4011.23	c |  16204823 |     720    42889   141087 |        1   462648     30 |  0.000 % |
4011.28/4011.23	c |  16218907 |     720    42889   141087 |        1   476732     31 |  0.000 % |
4011.28/4011.23	c |  16253827 |     720    42889   141087 |        1   511652     31 |  0.000 % |
4011.28/4011.23	c |  16259617 |     720    42889   141087 |        1   517442     31 |  0.000 % |
4011.28/4011.23	c |  16300565 |     720    42889   141087 |        1   558390     33 |  0.000 % |
4011.28/4011.23	c |  16304191 |     720    42889   141087 |        1   562016     33 |  0.000 % |
4011.28/4011.23	c |  16337561 |     720    42889   141087 |        1   307984     24 |  0.000 % |
4011.28/4011.23	c |  16363934 |     720    42889   141087 |        1   334357     26 |  0.000 % |
4011.28/4011.23	c |  16367089 |     720    42889   141087 |        1   337512     26 |  0.000 % |
4011.28/4011.23	c |  16367534 |     720    42889   141087 |        1   337957     26 |  0.000 % |
4011.28/4011.23	c |  16384288 |     720    42889   141087 |        1   354711     27 |  0.000 % |
4011.28/4011.23	c |  16387222 |     720    42889   141087 |        1   357645     27 |  0.000 % |
4011.28/4011.23	c |  16391972 |     720    42889   141087 |        1   362395     27 |  0.000 % |
4011.28/4011.23	c |  16396058 |     720    42889   141087 |        1   366481     28 |  0.000 % |
4011.28/4011.23	c |  16400276 |     720    42889   141087 |        1   370699     28 |  0.000 % |
4011.28/4011.23	c |  16408864 |     720    42889   141087 |        1   379287     28 |  0.000 % |
4011.28/4011.23	c |  16415063 |     720    42889   141087 |        1   385486     28 |  0.000 % |
4011.28/4011.23	c |  16427387 |     720    42889   141087 |        1   397810     29 |  0.000 % |
4011.28/4011.23	c |  16433279 |     720    42889   141087 |        1   403702     29 |  0.000 % |
4011.28/4011.23	c |  16442413 |     720    42889   141087 |        1   412836     30 |  0.000 % |
4011.28/4011.23	c |  16443649 |     720    42889   141087 |        1   414072     30 |  0.000 % |
4011.28/4011.23	c |  16444431 |     720    42889   141087 |        1   414854     30 |  0.000 % |
4011.28/4011.23	c |  16451212 |     720    42889   141087 |        1   421635     30 |  0.000 % |
4011.28/4011.23	c |  16471606 |     720    42889   141087 |        1   442029     30 |  0.000 % |
4011.28/4011.23	c |  16474708 |     720    42889   141087 |        1   445131     30 |  0.000 % |
4011.28/4011.24	c |  16475256 |     720    42889   141087 |        1   445679     30 |  0.000 % |
4011.28/4011.24	c |  16484351 |     720    42889   141087 |        1   454774     31 |  0.000 % |
4011.28/4011.24	c |  16501040 |     720    42889   141087 |        1   471463     31 |  0.000 % |
4011.28/4011.24	c |  16501433 |     720    42889   141087 |        1   471856     31 |  0.000 % |
4011.28/4011.24	c |  16531837 |     720    42889   141087 |        1   502260     32 |  0.000 % |
4011.28/4011.24	c |  16532635 |     720    42889   141087 |        1   503058     32 |  0.000 % |
4011.28/4011.24	c |  16567607 |     720    42889   141087 |        1   538030     32 |  0.000 % |
4011.28/4011.24	c |  16569802 |     720    42889   141087 |        1   540225     32 |  0.000 % |
4011.28/4011.24	c |  16576632 |     720    42889   141087 |        1   547055     32 |  0.000 % |
4011.28/4011.24	c |  16608159 |     720    42889   141087 |        1   578582     33 |  0.000 % |
4011.28/4011.24	c |  16610495 |     720    42889   141087 |        1   290911     22 |  0.000 % |
4011.28/4011.24	c |  16615285 |     720    42889   141087 |        1   295701     23 |  0.000 % |
4011.28/4011.24	c |  16632661 |     720    42889   141087 |        1   313077     24 |  0.000 % |
4250.79/4250.74	c |  16649828 |     720    42889   141087 |        1   330244     24 |  0.000 % |
4250.79/4250.74	c |  16649956 |     720    42889   141087 |        1   330372     24 |  0.000 % |
4250.79/4250.74	c |  16652203 |     720    42889   141087 |        1   332619     24 |  0.000 % |
4250.79/4250.74	c |  16652303 |     720    42889   141087 |        1   332719     24 |  0.000 % |
4250.79/4250.74	c |  16669577 |     720    42889   141087 |        1   349993     25 |  0.000 % |
4250.79/4250.74	c |  16684648 |     720    42889   141087 |        1   365064     26 |  0.000 % |
4250.79/4250.74	c |  16685548 |     720    42889   141087 |        1   365964     26 |  0.000 % |
4250.79/4250.74	c |  16686559 |     720    42889   141087 |        1   366975     26 |  0.000 % |
4250.79/4250.74	c |  16716783 |     720    42889   141087 |        1   397199     27 |  0.000 % |
4250.79/4250.74	c |  16798250 |     720    42889   141087 |        1   478666     29 |  0.000 % |
4250.79/4250.74	c |  16804033 |     720    42889   141087 |        1   484449     30 |  0.000 % |
4250.79/4250.74	c |  16814700 |     720    42889   141087 |        1   495116     30 |  0.000 % |
4250.79/4250.74	c |  16859926 |     720    42889   141087 |        1   540342     31 |  0.000 % |
4250.79/4250.74	c |  16860026 |     720    42889   141087 |        1   540442     31 |  0.000 % |
4250.79/4250.74	c |  16877220 |     720    42889   141087 |        1   557636     31 |  0.000 % |
4250.79/4250.74	c |  16877468 |     720    42889   141087 |        1   557884     31 |  0.000 % |
4250.79/4250.74	c |  16890919 |     720    42889   141087 |        1   571335     32 |  0.000 % |
4250.79/4250.74	c |  16892789 |     720    42889   141087 |        1   573205     32 |  0.000 % |
4250.79/4250.74	c |  16901130 |     720    42889   141087 |        1   581546     32 |  0.000 % |
4250.79/4250.74	c |  16902380 |     720    42889   141087 |        1   582796     32 |  0.000 % |
4250.79/4250.74	c |  16909538 |     720    42889   141087 |        1   297359     22 |  0.000 % |
4250.79/4250.74	c |  16953714 |     720    42889   141087 |        1   341535     25 |  0.000 % |
4250.79/4250.74	c |  16954569 |     720    42889   141087 |        1   342390     25 |  0.000 % |
4250.79/4250.74	c |  16957481 |     720    42889   141087 |        1   345302     25 |  0.000 % |
4250.79/4250.74	c |  17013818 |     720    42889   141087 |        1   401639     27 |  0.000 % |
4250.79/4250.74	c |  17013921 |     720    42889   141087 |        1   401742     27 |  0.000 % |
4250.79/4250.74	c |  17032868 |     720    42889   141087 |        1   420689     28 |  0.000 % |
4250.79/4250.74	c |  17039707 |     720    42889   141087 |        1   427528     28 |  0.000 % |
4250.79/4250.74	c |  17045649 |     720    42889   141087 |        1   433470     28 |  0.000 % |
4250.79/4250.74	c |  17045819 |     720    42889   141087 |        1   433640     28 |  0.000 % |
4250.79/4250.74	c |  17066281 |     720    42889   141087 |        1   454102     29 |  0.000 % |
4250.79/4250.74	c |  17067243 |     720    42889   141087 |        1   455064     29 |  0.000 % |
4250.79/4250.74	c |  17069998 |     720    42889   141087 |        1   457819     29 |  0.000 % |
4250.79/4250.74	c |  17094987 |     720    42889   141087 |        1   482808     30 |  0.000 % |
4250.79/4250.74	c |  17130251 |     720    42889   141087 |        1   518072     31 |  0.000 % |
4250.79/4250.74	c |  17141073 |     720    42889   141087 |        1   528894     31 |  0.000 % |
4250.79/4250.74	c |  17201501 |     720    42889   141087 |        1   589322     33 |  0.000 % |
4250.79/4250.74	c |  17204481 |     720    42889   141087 |        1   297098     23 |  0.000 % |
4250.79/4250.74	c |  17205594 |     720    42889   141087 |        1   298211     23 |  0.000 % |
4250.79/4250.74	c |  17216901 |     720    42889   141087 |        1   309518     24 |  0.000 % |
4250.79/4250.74	c |  17222126 |     720    42889   141087 |        1   314743     24 |  0.000 % |
4250.79/4250.74	c |  17240973 |     720    42889   141087 |        1   333590     25 |  0.000 % |
4250.79/4250.74	c |  17334906 |     720    42889   141087 |        1   427523     29 |  0.000 % |
4250.79/4250.74	c |  17356465 |     720    42889   141087 |        1   449082     30 |  0.000 % |
4250.79/4250.74	c |  17367050 |     720    42889   141087 |        1   459667     30 |  0.000 % |
4250.79/4250.74	c |  17382277 |     720    42889   141087 |        1   474894     30 |  0.000 % |
4250.79/4250.74	c |  17389681 |     720    42889   141087 |        1   482298     31 |  0.000 % |
4250.79/4250.74	c |  17394785 |     720    42889   141087 |        1   487402     31 |  0.000 % |
4250.79/4250.74	c |  17410241 |     720    42889   141087 |        1   502858     31 |  0.000 % |
4250.79/4250.74	c |  17451626 |     720    42889   141087 |        1   544243     32 |  0.000 % |
4435.99/4435.91	c |  17496584 |     720    42889   141087 |        1   589201     33 |  0.000 % |
4435.99/4435.91	c |  17498717 |     720    42889   141087 |        1   591334     33 |  0.000 % |
4435.99/4435.91	c |  17498947 |     720    42889   141087 |        1   591564     33 |  0.000 % |
4435.99/4435.91	c |  17550427 |     720    42889   141087 |        1   345241     26 |  0.000 % |
4435.99/4435.91	c |  17598296 |     720    42889   141087 |        1   393110     28 |  0.000 % |
4435.99/4435.91	c |  17608842 |     720    42889   141087 |        1   403656     28 |  0.000 % |
4435.99/4435.91	c |  17625402 |     720    42889   141087 |        1   420216     28 |  0.000 % |
4435.99/4435.91	c |  17639252 |     720    42889   141087 |        1   434066     28 |  0.000 % |
4435.99/4435.91	c |  17662115 |     720    42889   141087 |        1   456929     29 |  0.000 % |
4435.99/4435.91	c |  17665964 |     720    42889   141087 |        1   460778     29 |  0.000 % |
4435.99/4435.91	c |  17666817 |     720    42889   141087 |        1   461631     29 |  0.000 % |
4435.99/4435.91	c |  17682610 |     720    42889   141087 |        1   477424     30 |  0.000 % |
4435.99/4435.91	c |  17682834 |     720    42889   141087 |        1   477648     30 |  0.000 % |
4435.99/4435.91	c |  17689297 |     720    42889   141087 |        1   484111     30 |  0.000 % |
4435.99/4435.91	c |  17695240 |     720    42889   141087 |        1   490054     30 |  0.000 % |
4435.99/4435.91	c |  17710652 |     720    42889   141087 |        1   505466     30 |  0.000 % |
4435.99/4435.91	c |  17739489 |     720    42889   141087 |        1   534303     31 |  0.000 % |
4435.99/4435.91	c |  17742287 |     720    42889   141087 |        1   537101     31 |  0.000 % |
4435.99/4435.91	c |  17744275 |     720    42889   141087 |        1   539089     31 |  0.000 % |
4435.99/4435.91	c |  17757713 |     720    42889   141087 |        1   552527     31 |  0.000 % |
4435.99/4435.91	c |  17761926 |     720    42889   141087 |        1   556740     32 |  0.000 % |
4435.99/4435.91	c |  17765738 |     720    42889   141087 |        1   560552     32 |  0.000 % |
4435.99/4435.91	c |  17766607 |     720    42889   141087 |        1   561421     32 |  0.000 % |
4435.99/4435.91	c |  17768168 |     720    42889   141087 |        1   562982     32 |  0.000 % |
4435.99/4435.91	c |  17779565 |     720    42889   141087 |        1   574379     32 |  0.000 % |
4435.99/4435.91	c |  17798241 |     720    42889   141087 |        1   593055     33 |  0.000 % |
4435.99/4435.91	c |  17816133 |     720    42889   141087 |        1   310552     23 |  0.000 % |
4435.99/4435.91	c |  17816640 |     720    42889   141087 |        1   311059     23 |  0.000 % |
4435.99/4435.91	c |  17830422 |     720    42889   141087 |        1   324841     24 |  0.000 % |
4435.99/4435.91	c |  17842946 |     720    42889   141087 |        1   337365     25 |  0.000 % |
4435.99/4435.91	c |  17843339 |     720    42889   141087 |        1   337758     25 |  0.000 % |
4435.99/4435.91	c |  17844487 |     720    42889   141087 |        1   338906     25 |  0.000 % |
4435.99/4435.91	c |  17865973 |     720    42889   141087 |        1   360392     26 |  0.000 % |
4435.99/4435.91	c |  17867093 |     720    42889   141087 |        1   361512     26 |  0.000 % |
4435.99/4435.91	c |  17877769 |     720    42889   141087 |        1   372188     27 |  0.000 % |
4435.99/4435.91	c |  17887395 |     720    42889   141087 |        1   381814     27 |  0.000 % |
4435.99/4435.91	c |  17887500 |     720    42889   141087 |        1   381919     27 |  0.000 % |
4435.99/4435.91	c |  17887600 |     720    42889   141087 |        1   382019     27 |  0.000 % |
4435.99/4435.91	c |  17888536 |     720    42889   141087 |        1   382955     27 |  0.000 % |
4435.99/4435.91	c |  17894407 |     720    42889   141087 |        1   388826     28 |  0.000 % |
4435.99/4435.91	c |  17914704 |     720    42889   141087 |        1   409123     28 |  0.000 % |
4435.99/4435.91	c |  17920182 |     720    42889   141087 |        1   414601     29 |  0.000 % |
4435.99/4435.91	c |  17943709 |     720    42889   141087 |        1   438128     29 |  0.000 % |
4435.99/4435.91	c |  17945237 |     720    42889   141087 |        1   439656     29 |  0.000 % |
4435.99/4435.91	c |  17959317 |     720    42889   141087 |        1   453736     30 |  0.000 % |
4435.99/4435.91	c |  17960981 |     720    42889   141087 |        1   455400     30 |  0.000 % |
4435.99/4435.91	c |  17964394 |     720    42889   141087 |        1   458813     30 |  0.000 % |
4435.99/4435.91	c |  17964566 |     720    42889   141087 |        1   458985     30 |  0.000 % |
4435.99/4435.91	c |  17985411 |     720    42889   141087 |        1   479830     30 |  0.000 % |
4435.99/4435.91	c |  18036810 |     720    42889   141087 |        1   531229     32 |  0.000 % |
4593.40/4593.37	c |  18037257 |     720    42889   141087 |        1   531676     32 |  0.000 % |
4593.40/4593.37	c |  18069679 |     720    42889   141087 |        1   564098     32 |  0.000 % |
4593.40/4593.37	c |  18076855 |     720    42889   141087 |        1   571274     32 |  0.000 % |
4593.40/4593.37	c |  18082105 |     720    42889   141087 |        1   576524     33 |  0.000 % |
4593.40/4593.37	c |  18084587 |     720    42889   141087 |        1   579006     33 |  0.000 % |
4593.40/4593.37	c |  18098208 |     720    42889   141087 |        1   592627     33 |  0.000 % |
4593.40/4593.37	c |  18110686 |     720    42889   141087 |        1   605105     33 |  0.000 % |
4593.40/4593.37	c |  18119386 |     720    42889   141087 |        1   310802     23 |  0.000 % |
4593.40/4593.37	c |  18173775 |     720    42889   141087 |        1   365191     26 |  0.000 % |
4593.40/4593.37	c |  18185531 |     720    42889   141087 |        1   376947     27 |  0.000 % |
4593.40/4593.37	c |  18189447 |     720    42889   141087 |        1   380863     27 |  0.000 % |
4593.40/4593.37	c |  18201321 |     720    42889   141087 |        1   392737     27 |  0.000 % |
4593.40/4593.37	c |  18205451 |     720    42889   141087 |        1   396867     27 |  0.000 % |
4593.40/4593.37	c |  18231497 |     720    42889   141087 |        1   422913     28 |  0.000 % |
4593.40/4593.37	c |  18232273 |     720    42889   141087 |        1   423689     28 |  0.000 % |
4593.40/4593.37	c |  18252382 |     720    42889   141087 |        1   443798     29 |  0.000 % |
4593.40/4593.37	c |  18256239 |     720    42889   141087 |        1   447655     29 |  0.000 % |
4593.40/4593.37	c |  18262446 |     720    42889   141087 |        1   453862     29 |  0.000 % |
4593.40/4593.37	c |  18267237 |     720    42889   141087 |        1   458653     29 |  0.000 % |
4593.40/4593.37	c |  18291770 |     720    42889   141087 |        1   483186     29 |  0.000 % |
4593.40/4593.37	c |  18299257 |     720    42889   141087 |        1   490673     30 |  0.000 % |
4593.40/4593.37	c |  18299648 |     720    42889   141087 |        1   491064     30 |  0.000 % |
4593.40/4593.37	c |  18299749 |     720    42889   141087 |        1   491165     30 |  0.000 % |
4593.40/4593.37	c |  18302132 |     720    42889   141087 |        1   493548     30 |  0.000 % |
4593.40/4593.37	c |  18303189 |     720    42889   141087 |        1   494605     30 |  0.000 % |
4593.40/4593.37	c |  18303291 |     720    42889   141087 |        1   494707     30 |  0.000 % |
4593.40/4593.37	c |  18308597 |     720    42889   141087 |        1   500013     30 |  0.000 % |
4593.40/4593.37	c |  18317873 |     720    42889   141087 |        1   509289     30 |  0.000 % |
4593.40/4593.37	c |  18320756 |     720    42889   141087 |        1   512172     30 |  0.000 % |
4593.40/4593.37	c |  18324137 |     720    42889   141087 |        1   515553     30 |  0.000 % |
4593.40/4593.37	c |  18333046 |     720    42889   141087 |        1   524462     30 |  0.000 % |
4593.40/4593.37	c |  18338992 |     720    42889   141087 |        1   530408     30 |  0.000 % |
4593.40/4593.37	c |  18353496 |     720    42889   141087 |        1   544912     31 |  0.000 % |
4593.40/4593.37	c |  18360192 |     720    42889   141087 |        1   551608     31 |  0.000 % |
4593.40/4593.37	c |  18374180 |     720    42889   141087 |        1   565596     31 |  0.000 % |
4593.40/4593.37	c |  18374282 |     720    42889   141087 |        1   565698     31 |  0.000 % |
4593.40/4593.37	c |  18374382 |     720    42889   141087 |        1   565798     31 |  0.000 % |
4593.40/4593.37	c |  18385320 |     720    42889   141087 |        1   576736     32 |  0.000 % |
4593.40/4593.37	c |  18396323 |     720    42889   141087 |        1   587739     32 |  0.000 % |
4593.40/4593.37	c |  18411446 |     720    42889   141087 |        1   602862     32 |  0.000 % |
4593.40/4593.37	c |  18432529 |     720    42889   141087 |        1   318345     23 |  0.000 % |
4593.40/4593.37	c |  18470933 |     720    42889   141087 |        1   356749     25 |  0.000 % |
4593.40/4593.37	c |  18487323 |     720    42889   141087 |        1   373139     26 |  0.000 % |
4593.40/4593.37	c |  18490196 |     720    42889   141087 |        1   376012     26 |  0.000 % |
4593.40/4593.37	c |  18492219 |     720    42889   141087 |        1   378035     27 |  0.000 % |
4593.40/4593.37	c |  18499752 |     720    42889   141087 |        1   385568     27 |  0.000 % |
4593.40/4593.37	c |  18505086 |     720    42889   141087 |        1   390902     27 |  0.000 % |
4593.40/4593.37	c |  18514721 |     720    42889   141087 |        1   400537     28 |  0.000 % |
4593.40/4593.37	c |  18548862 |     720    42889   141087 |        1   434678     29 |  0.000 % |
4593.40/4593.37	c |  18561571 |     720    42889   141087 |        1   447387     30 |  0.000 % |
4740.49/4740.48	c |  18574896 |     720    42889   141087 |        1   460712     30 |  0.000 % |
4740.49/4740.48	c |  18584597 |     720    42889   141087 |        1   470413     31 |  0.000 % |
4740.49/4740.48	c |  18606083 |     720    42889   141087 |        1   491899     31 |  0.000 % |
4740.49/4740.48	c |  18630243 |     720    42889   141087 |        1   516059     32 |  0.000 % |
4740.49/4740.48	c |  18633980 |     720    42889   141087 |        1   519796     32 |  0.000 % |
4740.49/4740.48	c |  18638339 |     720    42889   141087 |        1   524155     32 |  0.000 % |
4740.49/4740.48	c |  18643268 |     720    42889   141087 |        1   529084     32 |  0.000 % |
4740.49/4740.48	c |  18654855 |     720    42889   141087 |        1   540671     32 |  0.000 % |
4740.49/4740.48	c |  18661494 |     720    42889   141087 |        1   547310     33 |  0.000 % |
4740.49/4740.48	c |  18674748 |     720    42889   141087 |        1   560564     33 |  0.000 % |
4740.49/4740.48	c |  18680447 |     720    42889   141087 |        1   566263     33 |  0.000 % |
4740.49/4740.48	c |  18695037 |     720    42889   141087 |        1   580853     33 |  0.000 % |
4740.49/4740.48	c |  18695338 |     720    42889   141087 |        1   581154     33 |  0.000 % |
4740.49/4740.48	c |  18706861 |     720    42889   141087 |        1   592677     34 |  0.000 % |
4740.49/4740.48	c |  18717253 |     720    42889   141087 |        1   603069     34 |  0.000 % |
4740.49/4740.48	c |  18730814 |     720    42889   141087 |        1   308433     23 |  0.000 % |
4740.49/4740.48	c |  18731847 |     720    42889   141087 |        1   309466     23 |  0.000 % |
4740.49/4740.48	c |  18738642 |     720    42889   141087 |        1   316261     23 |  0.000 % |
4740.49/4740.48	c |  18745077 |     720    42889   141087 |        1   322696     24 |  0.000 % |
4740.49/4740.48	c |  18772348 |     720    42889   141087 |        1   349967     25 |  0.000 % |
4740.49/4740.48	c |  18786891 |     720    42889   141087 |        1   364510     26 |  0.000 % |
4740.49/4740.48	c |  18789467 |     720    42889   141087 |        1   367086     26 |  0.000 % |
4740.49/4740.48	c |  18799836 |     720    42889   141087 |        1   377455     27 |  0.000 % |
4740.49/4740.48	c |  18806440 |     720    42889   141087 |        1   384059     27 |  0.000 % |
4740.49/4740.48	c |  18833630 |     720    42889   141087 |        1   411249     28 |  0.000 % |
4740.49/4740.48	c |  18841933 |     720    42889   141087 |        1   419552     28 |  0.000 % |
4740.49/4740.48	c |  18843219 |     720    42889   141087 |        1   420838     28 |  0.000 % |
4740.49/4740.48	c |  18843382 |     720    42889   141087 |        1   421001     28 |  0.000 % |
4740.49/4740.48	c |  18843482 |     720    42889   141087 |        1   421101     28 |  0.000 % |
4740.49/4740.48	c |  18848191 |     720    42889   141087 |        1   425810     28 |  0.000 % |
4740.49/4740.48	c |  18852338 |     720    42889   141087 |        1   429957     29 |  0.000 % |
4740.49/4740.48	c |  18852591 |     720    42889   141087 |        1   430210     29 |  0.000 % |
4740.49/4740.48	c |  18852692 |     720    42889   141087 |        1   430311     29 |  0.000 % |
4740.49/4740.48	c |  18861261 |     720    42889   141087 |        1   438880     29 |  0.000 % |
4740.49/4740.48	c |  18864378 |     720    42889   141087 |        1   441997     29 |  0.000 % |
4740.49/4740.48	c |  18865751 |     720    42889   141087 |        1   443370     29 |  0.000 % |
4740.49/4740.48	c |  18869503 |     720    42889   141087 |        1   447122     29 |  0.000 % |
4740.49/4740.48	c |  18892185 |     720    42889   141087 |        1   469804     30 |  0.000 % |
4740.49/4740.48	c |  18902448 |     720    42889   141087 |        1   480067     30 |  0.000 % |
4740.49/4740.48	c |  18913418 |     720    42889   141087 |        1   491037     31 |  0.000 % |
4740.49/4740.48	c |  18914301 |     720    42889   141087 |        1   491920     31 |  0.000 % |
4740.49/4740.48	c |  18914401 |     720    42889   141087 |        1   492020     31 |  0.000 % |
4740.49/4740.48	c |  18940628 |     720    42889   141087 |        1   518247     32 |  0.000 % |
4740.49/4740.48	c |  18945742 |     720    42889   141087 |        1   523361     32 |  0.000 % |
4740.49/4740.48	c |  18969621 |     720    42889   141087 |        1   547240     32 |  0.000 % |
4740.49/4740.48	c |  18975754 |     720    42889   141087 |        1   553373     33 |  0.000 % |
4740.49/4740.48	c |  18976228 |     720    42889   141087 |        1   553847     33 |  0.000 % |
4740.49/4740.48	c |  18976331 |     720    42889   141087 |        1   553950     33 |  0.000 % |
4740.49/4740.48	c |  19034155 |     720    42889   141087 |        1   611774     34 |  0.000 % |
4740.49/4740.48	c |  19034505 |     720    42889   141087 |        1   612124     34 |  0.000 % |
4858.70/4858.63	c |  19042045 |     720    42889   141087 |        1   619664     34 |  0.000 % |
4858.70/4858.63	c |  19043190 |     720    42889   141087 |        1   620809     34 |  0.000 % |
4858.70/4858.63	c |  19058321 |     720    42889   141087 |        1   325138     24 |  0.000 % |
4858.70/4858.63	c |  19061796 |     720    42889   141087 |        1   328613     24 |  0.000 % |
4858.70/4858.63	c |  19065251 |     720    42889   141087 |        1   332068     24 |  0.000 % |
4858.70/4858.63	c |  19079769 |     720    42889   141087 |        1   346586     25 |  0.000 % |
4858.70/4858.63	c |  19095700 |     720    42889   141087 |        1   362517     26 |  0.000 % |
4858.70/4858.63	c |  19107758 |     720    42889   141087 |        1   374575     27 |  0.000 % |
4858.70/4858.63	c |  19118235 |     720    42889   141087 |        1   385052     27 |  0.000 % |
4858.70/4858.63	c |  19120667 |     720    42889   141087 |        1   387484     27 |  0.000 % |
4858.70/4858.63	c |  19122703 |     720    42889   141087 |        1   389520     27 |  0.000 % |
4858.70/4858.63	c |  19139389 |     720    42889   141087 |        1   406206     28 |  0.000 % |
4858.70/4858.63	c |  19139490 |     720    42889   141087 |        1   406307     28 |  0.000 % |
4858.70/4858.63	c |  19142310 |     720    42889   141087 |        1   409127     28 |  0.000 % |
4858.70/4858.63	c |  19167193 |     720    42889   141087 |        1   434010     29 |  0.000 % |
4858.70/4858.63	c |  19169090 |     720    42889   141087 |        1   435907     29 |  0.000 % |
4858.70/4858.63	c |  19174915 |     720    42889   141087 |        1   441732     29 |  0.000 % |
4858.70/4858.63	c |  19176583 |     720    42889   141087 |        1   443400     30 |  0.000 % |
4858.70/4858.63	c |  19176815 |     720    42889   141087 |        1   443632     30 |  0.000 % |
4858.70/4858.63	c |  19177148 |     720    42889   141087 |        1   443965     30 |  0.000 % |
4858.70/4858.63	c |  19182439 |     720    42889   141087 |        1   449256     30 |  0.000 % |
4858.70/4858.63	c |  19182975 |     720    42889   141087 |        1   449792     30 |  0.000 % |
4858.70/4858.63	c |  19190237 |     720    42889   141087 |        1   457054     30 |  0.000 % |
4858.70/4858.63	c |  19190645 |     720    42889   141087 |        1   457462     30 |  0.000 % |
4858.70/4858.63	c |  19195731 |     720    42889   141087 |        1   462548     30 |  0.000 % |
4858.70/4858.63	c |  19199023 |     720    42889   141087 |        1   465840     30 |  0.000 % |
4858.70/4858.63	c |  19199123 |     720    42889   141087 |        1   465940     30 |  0.000 % |
4858.70/4858.63	c |  19199226 |     720    42889   141087 |        1   466043     30 |  0.000 % |
4858.70/4858.63	c |  19204905 |     720    42889   141087 |        1   471722     30 |  0.000 % |
4858.70/4858.63	c |  19207194 |     720    42889   141087 |        1   474011     30 |  0.000 % |
4858.70/4858.63	c |  19229455 |     720    42889   141087 |        1   496272     31 |  0.000 % |
4858.70/4858.63	c |  19244877 |     720    42889   141087 |        1   511694     31 |  0.000 % |
4858.70/4858.63	c |  19246065 |     720    42889   141087 |        1   512882     31 |  0.000 % |
4858.70/4858.63	c |  19246977 |     720    42889   141087 |        1   513794     31 |  0.000 % |
4858.70/4858.63	c |  19255165 |     720    42889   141087 |        1   521982     31 |  0.000 % |
4858.70/4858.63	c |  19256789 |     720    42889   141087 |        1   523606     31 |  0.000 % |
4858.70/4858.63	c |  19257933 |     720    42889   141087 |        1   524750     31 |  0.000 % |
4858.70/4858.63	c |  19269188 |     720    42889   141087 |        1   536005     32 |  0.000 % |
4858.70/4858.63	c |  19270346 |     720    42889   141087 |        1   537163     32 |  0.000 % |
4858.70/4858.63	c |  19277433 |     720    42889   141087 |        1   544250     32 |  0.000 % |
4858.70/4858.63	c |  19289505 |     720    42889   141087 |        1   556322     32 |  0.000 % |
4858.70/4858.63	c |  19289695 |     720    42889   141087 |        1   556512     32 |  0.000 % |
4858.70/4858.63	c |  19296948 |     720    42889   141087 |        1   563765     32 |  0.000 % |
4858.70/4858.63	c |  19297689 |     720    42889   141087 |        1   564506     32 |  0.000 % |
4858.70/4858.63	c |  19315399 |     720    42889   141087 |        1   582216     33 |  0.000 % |
4858.70/4858.63	c |  19342327 |     720    42889   141087 |        1   609144     33 |  0.000 % |
4858.70/4858.63	c |  19350963 |     720    42889   141087 |        1   617780     33 |  0.000 % |
4858.70/4858.63	c |  19353027 |     720    42889   141087 |        1   619844     33 |  0.000 % |
4858.70/4858.63	c |  19357069 |     720    42889   141087 |        1   623886     33 |  0.000 % |
4858.70/4858.63	c |  19376164 |     720    42889   141087 |        1   329575     23 |  0.000 % |
4998.00/4997.94	c |  19392919 |     720    42889   141087 |        1   346330     24 |  0.000 % |
4998.00/4997.94	c |  19396522 |     720    42889   141087 |        1   349933     24 |  0.000 % |
4998.00/4997.94	c |  19423235 |     720    42889   141087 |        1   376646     26 |  0.000 % |
4998.00/4997.94	c |  19468454 |     720    42889   141087 |        1   421865     28 |  0.000 % |
4998.00/4997.94	c |  19481984 |     720    42889   141087 |        1   435395     28 |  0.000 % |
4998.00/4997.94	c |  19486611 |     720    42889   141087 |        1   440022     28 |  0.000 % |
4998.00/4997.94	c |  19487031 |     720    42889   141087 |        1   440442     28 |  0.000 % |
4998.00/4997.94	c |  19488798 |     720    42889   141087 |        1   442209     28 |  0.000 % |
4998.00/4997.94	c |  19489484 |     720    42889   141087 |        1   442895     28 |  0.000 % |
4998.00/4997.94	c |  19534473 |     720    42889   141087 |        1   487884     30 |  0.000 % |
4998.00/4997.94	c |  19538479 |     720    42889   141087 |        1   491890     30 |  0.000 % |
4998.00/4997.94	c |  19540472 |     720    42889   141087 |        1   493883     30 |  0.000 % |
4998.00/4997.94	c |  19540590 |     720    42889   141087 |        1   494001     30 |  0.000 % |
4998.00/4997.94	c |  19573611 |     720    42889   141087 |        1   527022     32 |  0.000 % |
4998.00/4997.94	c |  19575309 |     720    42889   141087 |        1   528720     32 |  0.000 % |
4998.00/4997.94	c |  19575978 |     720    42889   141087 |        1   529389     32 |  0.000 % |
4998.00/4997.94	c |  19580972 |     720    42889   141087 |        1   534383     32 |  0.000 % |
4998.00/4997.94	c |  19582683 |     720    42889   141087 |        1   536094     32 |  0.000 % |
4998.00/4997.94	c |  19583376 |     720    42889   141087 |        1   536787     32 |  0.000 % |
4998.00/4997.94	c |  19595931 |     720    42889   141087 |        1   549342     32 |  0.000 % |
4998.00/4997.94	c |  19603144 |     720    42889   141087 |        1   556555     32 |  0.000 % |
4998.00/4997.94	c |  19626960 |     720    42889   141087 |        1   580371     33 |  0.000 % |
4998.00/4997.94	c |  19629525 |     720    42889   141087 |        1   582936     33 |  0.000 % |
4998.00/4997.94	c |  19636369 |     720    42889   141087 |        1   589780     33 |  0.000 % |
4998.00/4997.94	c |  19647676 |     720    42889   141087 |        1   601087     33 |  0.000 % |
4998.00/4997.94	c |  19650957 |     720    42889   141087 |        1   604368     33 |  0.000 % |
4998.00/4997.94	c |  19671913 |     720    42889   141087 |        1   625324     33 |  0.000 % |
4998.00/4997.94	c |  19672050 |     720    42889   141087 |        1   625461     33 |  0.000 % |
4998.00/4997.94	c |  19674744 |     720    42889   141087 |        1   628155     33 |  0.000 % |
4998.00/4997.94	c |  19680630 |     720    42889   141087 |        1   318040     23 |  0.000 % |
4998.00/4997.94	c |  19680734 |     720    42889   141087 |        1   318144     23 |  0.000 % |
4998.00/4997.94	c |  19690127 |     720    42889   141087 |        1   327537     23 |  0.000 % |
4998.00/4997.94	c |  19694757 |     720    42889   141087 |        1   332167     24 |  0.000 % |
4998.00/4997.94	c |  19695387 |     720    42889   141087 |        1   332797     24 |  0.000 % |
4998.00/4997.94	c |  19697817 |     720    42889   141087 |        1   335227     24 |  0.000 % |
4998.00/4997.94	c |  19704257 |     720    42889   141087 |        1   341667     24 |  0.000 % |
4998.00/4997.94	c |  19704358 |     720    42889   141087 |        1   341768     24 |  0.000 % |
4998.00/4997.94	c |  19752400 |     720    42889   141087 |        1   389810     27 |  0.000 % |
4998.00/4997.94	c |  19752743 |     720    42889   141087 |        1   390153     27 |  0.000 % |
4998.00/4997.94	c |  19758826 |     720    42889   141087 |        1   396236     27 |  0.000 % |
4998.00/4997.94	c |  19772722 |     720    42889   141087 |        1   410132     28 |  0.000 % |
4998.00/4997.94	c |  19774512 |     720    42889   141087 |        1   411922     28 |  0.000 % |
4998.00/4997.94	c |  19779174 |     720    42889   141087 |        1   416584     28 |  0.000 % |
4998.00/4997.94	c |  19782073 |     720    42889   141087 |        1   419483     28 |  0.000 % |
4998.00/4997.94	c |  19789426 |     720    42889   141087 |        1   426836     28 |  0.000 % |
4998.00/4997.94	c |  19813341 |     720    42889   141087 |        1   450751     29 |  0.000 % |
4998.00/4997.94	c |  19813735 |     720    42889   141087 |        1   451145     29 |  0.000 % |
4998.00/4997.94	c |  19813836 |     720    42889   141087 |        1   451246     29 |  0.000 % |
4998.00/4997.94	c |  19820369 |     720    42889   141087 |        1   457779     29 |  0.000 % |
4998.00/4997.94	c |  19833133 |

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

running on 4 cores: 0,2,4,6

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 3/178 3262
/proc/meminfo: memFree=14272820/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 501534054 8912896 252 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3262/statm: 2176 252 211 178 0 69 0

[startup+0.00994706 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 3262
/proc/meminfo: memFree=14272820/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 501534054 8912896 252 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3262/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100992 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 3262
/proc/meminfo: memFree=14272820/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 501534054 8912896 252 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3262/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300956 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 3262
/proc/meminfo: memFree=14272820/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8704

[startup+0.700881 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 3262
/proc/meminfo: memFree=14272820/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8704

[startup+1.50075 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 3265
/proc/meminfo: memFree=14250368/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=23608 CPUtime=1.39 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 5622 0 0 0 139 0 0 0 25 0 1 0 501534065 24174592 2655 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 5902 2655 240 17 0 2543 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32312

[startup+3.10046 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 3265
/proc/meminfo: memFree=14244176/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=35104 CPUtime=2.98 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 8311 0 0 0 298 0 0 0 25 0 1 0 501534065 35946496 5213 33554432000 4194304 4260849 140737326780384 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 8776 5213 240 17 0 5417 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 43808

[startup+6.3009 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 3265
/proc/meminfo: memFree=14232332/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=35104 CPUtime=6.19 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 8614 0 0 0 618 1 0 0 25 0 1 0 501534065 35946496 5513 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 8776 5513 240 17 0 5417 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 43808

[startup+12.7008 s]
/proc/loadavg: 0.31 0.07 0.02 3/180 3266
/proc/meminfo: memFree=14214144/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=49676 CPUtime=12.59 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 13913 0 0 0 1257 2 0 0 25 0 1 0 501534065 50868224 7825 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224484 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 12419 7825 240 17 0 9060 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58380

[startup+25.5005 s]
/proc/loadavg: 0.68 0.16 0.05 3/180 3266
/proc/meminfo: memFree=14207076/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=49676 CPUtime=25.39 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 14529 0 0 0 2537 2 0 0 25 0 1 0 501534065 50868224 8439 33554432000 4194304 4260849 140737326780384 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 12419 8439 247 17 0 9060 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58380

[startup+51.101 s]
/proc/loadavg: 1.13 0.31 0.10 3/180 3267
/proc/meminfo: memFree=14196104/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=56748 CPUtime=50.99 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 16592 0 0 0 5097 2 0 0 25 0 1 0 501534065 58109952 10419 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 14187 10419 247 17 0 10828 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65452

[startup+102.307 s]
/proc/loadavg: 1.62 0.56 0.20 3/180 3268
/proc/meminfo: memFree=14146492/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=110456 CPUtime=102.19 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 28926 0 0 0 10216 3 0 0 25 0 1 0 501534065 113106944 17710 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 27614 17710 247 17 0 24255 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 119160

[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.31 3/180 3270
/proc/meminfo: memFree=14141980/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=110456 CPUtime=162.19 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 29599 0 0 0 16215 4 0 0 25 0 1 0 501534065 113106944 18374 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 27614 18374 247 17 0 24255 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 119160

[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.41 3/180 3271
/proc/meminfo: memFree=14117636/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=110456 CPUtime=222.2 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 29679 0 0 0 22216 4 0 0 25 0 1 0 501534065 113106944 18452 33554432000 4194304 4260849 140737326780384 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 27614 18452 247 17 0 24255 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 119160

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/180 3273
/proc/meminfo: memFree=14094916/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=110456 CPUtime=282.19 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 43453 0 0 0 28214 5 0 0 25 0 1 0 501534065 113106944 24251 33554432000 4194304 4260849 140737326780384 18446744073709551615 4225418 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 27614 24251 247 17 0 24255 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 119160

[startup+342.301 s]
/proc/loadavg: 2.03 1.36 0.60 3/180 3274
/proc/meminfo: memFree=14091388/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=110456 CPUtime=342.19 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 51246 0 0 0 34213 6 0 0 25 0 1 0 501534065 113106944 24365 33554432000 4194304 4260849 140737326780384 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 27614 24365 247 17 0 24255 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 119160

[startup+402.301 s]
/proc/loadavg: 2.01 1.48 0.69 3/180 3276
/proc/meminfo: memFree=14058852/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6

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

/proc/3265/statm: 56893 46403 248 17 0 53534 0
Current children cumulated CPU time (s) 4302.39
Current children cumulated vsize (KiB) 236276

[startup+4362.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 3398
/proc/meminfo: memFree=13889488/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=227572 CPUtime=4362.3 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1214268 0 0 0 436001 229 0 0 25 0 1 0 501534065 233033728 53516 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 56893 53516 248 17 0 53534 0
Current children cumulated CPU time (s) 4362.39
Current children cumulated vsize (KiB) 236276

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 3401
/proc/meminfo: memFree=13925912/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=227572 CPUtime=4422.3 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1231886 0 0 0 441997 233 0 0 25 0 1 0 501534065 233033728 49502 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 56893 49503 248 17 0 53534 0
Current children cumulated CPU time (s) 4422.39
Current children cumulated vsize (KiB) 236276

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 3403
/proc/meminfo: memFree=13909008/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=196752 CPUtime=4482.3 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1249654 0 0 0 447994 236 0 0 25 0 1 0 501534065 201474048 45191 33554432000 4194304 4260849 140737326780384 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 49188 45191 248 17 0 45829 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 205456

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 3404
/proc/meminfo: memFree=13903888/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=227572 CPUtime=4542.3 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1256739 0 0 0 453992 238 0 0 25 0 1 0 501534065 233033728 52118 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 56893 52118 248 17 0 53534 0
Current children cumulated CPU time (s) 4542.39
Current children cumulated vsize (KiB) 236276

[startup+4602.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/180 3406
/proc/meminfo: memFree=13882524/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=227572 CPUtime=4602.31 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1276119 0 0 0 459989 242 0 0 25 0 1 0 501534065 233033728 49627 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 56893 49627 248 17 0 53534 0
Current children cumulated CPU time (s) 4602.4
Current children cumulated vsize (KiB) 236276

[startup+4662.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/180 3408
/proc/meminfo: memFree=13929252/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=196752 CPUtime=4662.3 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1293706 0 0 0 465985 245 0 0 25 0 1 0 501534065 201474048 44207 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 49188 44207 248 17 0 45829 0
Current children cumulated CPU time (s) 4662.39
Current children cumulated vsize (KiB) 205456

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3409
/proc/meminfo: memFree=13916708/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=227572 CPUtime=4722.31 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1302925 0 0 0 471984 247 0 0 25 0 1 0 501534065 233033728 53272 33554432000 4194304 4260849 140737326780384 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 56893 53272 248 17 0 53534 0
Current children cumulated CPU time (s) 4722.4
Current children cumulated vsize (KiB) 236276

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3411
/proc/meminfo: memFree=13906996/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=227572 CPUtime=4782.31 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1320253 0 0 0 477979 252 0 0 25 0 1 0 501534065 233033728 47537 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 56893 47537 248 17 0 53534 0
Current children cumulated CPU time (s) 4782.4
Current children cumulated vsize (KiB) 236276

[startup+4842.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/180 3412
/proc/meminfo: memFree=13903484/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=277660 CPUtime=4842.31 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1327355 0 0 0 483977 254 0 0 25 0 1 0 501534065 284323840 54493 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 69415 54493 248 17 0 66056 0
Current children cumulated CPU time (s) 4842.4
Current children cumulated vsize (KiB) 286364

[startup+4902.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/180 3415
/proc/meminfo: memFree=13892420/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=227572 CPUtime=4902.31 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1345583 0 0 0 489974 257 0 0 25 0 1 0 501534065 233033728 49721 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 56893 49721 248 17 0 53534 0
Current children cumulated CPU time (s) 4902.4
Current children cumulated vsize (KiB) 236276

[startup+4962.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/180 3417
/proc/meminfo: memFree=13941384/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=196752 CPUtime=4962.31 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1362156 0 0 0 495971 260 0 0 25 0 1 0 501534065 201474048 43169 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224838 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 49188 43169 248 17 0 45829 0
Current children cumulated CPU time (s) 4962.4
Current children cumulated vsize (KiB) 205456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 3419
/proc/meminfo: memFree=14079008/32950928 swapFree=67111528/67111528
[pid=3262] ppid=3260 vsize=8704 CPUtime=0.09 cores=0,2,4,6
/proc/3262/stat : 3262 (glucose.sh) S 3260 3262 3217 0 -1 4202496 359 1042 0 0 0 0 9 0 24 0 1 0 501534054 8912896 254 33554432000 4194304 4922060 140733587749440 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3262/statm: 2176 254 211 178 0 69 0
[pid=3265] ppid=3262 vsize=227572 CPUtime=5000.01 cores=0,2,4,6
/proc/3265/stat : 3265 (glucose_static) R 3262 3262 3217 0 -1 4202496 1368154 0 0 0 499740 261 0 0 25 0 1 0 501534065 233033728 49038 33554432000 4194304 4260849 140737326780384 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3265/statm: 56893 49038 248 17 0 53534 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 236276

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 5000.01
CPU time (s): 5000.1
CPU user time (s): 4997.49
CPU system time (s): 2.61
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 335684

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

runsolver used 8.82366 second user time and 17.7723 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-27 12:15:43
IDJOB=3303369
IDBENCH=71526
IDSOLVER=1687
FILE ID=node123/3303369-1303899342
RUNJOBID= node123-1303899342-3240
PBS_JOBID= 13164525
Free space on /tmp= 72832 MiB

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

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

MD5SUM BENCH= e7d4dc25f0d8e558fb091b1e566deab7
RANDOM SEED=1223450421

node123.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.838
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.67
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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14273108 kB
Buffers:       2187148 kB
Cached:       15872136 kB
SwapCached:          0 kB
Active:        8808564 kB
Inactive:      9320052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14273108 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:       68040 kB
Mapped:          14788 kB
Slab:           485188 kB
PageTables:       4824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   213904 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= 72832 MiB
End job on node123 at 2011-04-27 13:39:05