Trace number 3303598

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.09 5000.03

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
MD5SUMf34a5dd1cdce70a322dd395bcb5f1303
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2548
Number of clauses582679
Sum of the clauses size1167806
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2582629
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

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.15	c ==============================================================================
0.00/0.15	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.15	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.15	c ==============================================================================
0.00/0.16	c |         0 |  582679  1167806 |  174803       0        0     nan |  0.000 % |
1.79/1.84	c |         0 |  580131  1626523 |      --       0       --      -- |     --   | -2548/458717
1.79/1.84	c ==============================================================================
1.79/1.84	c Result  :   #vars: 2498   #clauses: 580131   #literals: 1626523
1.79/1.84	c CPU time:   1.82472 s
1.79/1.84	c ==============================================================================
2.10/2.12	c
2.10/2.12	c Starting glucose
2.10/2.12	c
1366.08/1366.20	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
1366.08/1366.20	c WARNING: for repeatability, setting FPU to use double precision
1366.08/1366.20	c ============================[ Problem Statistics ]=============================
1366.08/1366.20	c |                                                                             |
1366.08/1366.20	c |  Number of variables:          2498                                         |
1366.08/1366.20	c |  Number of clauses:          580131                                         |
1366.08/1366.20	c |  Parse time:                   0.10 s                                       |
1366.08/1366.20	c |                                                                             |
1366.08/1366.20	c ============================[ Search Statistics ]==============================
1366.08/1366.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1366.08/1366.20	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1366.08/1366.20	c ===============================================================================
1366.08/1366.20	c |      4030 |    2498   580131  1626523 |        1     2030    342 |  0.000 % |
1366.08/1366.20	c |      4131 |    2498   580131  1626523 |        1     2131    357 |  0.000 % |
1366.08/1366.20	c |      4234 |    2498   580131  1626523 |        1     2234    358 |  0.000 % |
1366.08/1366.20	c |      4335 |    2498   580131  1626523 |        1     2335    351 |  0.000 % |
1366.08/1366.20	c |      4967 |    2498   580131  1626523 |        1     2967    314 |  0.000 % |
1366.08/1366.20	c |      5215 |    2498   580131  1626523 |        1     3215    306 |  0.000 % |
1366.08/1366.20	c |      5316 |    2498   580131  1626523 |        1     3316    303 |  0.000 % |
1366.08/1366.20	c |      5541 |    2498   580131  1626523 |        1     3541    297 |  0.000 % |
1366.08/1366.20	c |    193210 |    2498   580131  1626523 |        1    33632    114 |  0.000 % |
1366.08/1366.20	c |    315493 |    2498   580131  1626523 |        1    58112    116 |  0.000 % |
1366.08/1366.20	c |    366104 |    2498   580131  1626523 |        1    70924    148 |  0.000 % |
1366.08/1366.20	c |    971595 |    2498   580131  1626523 |        1    89023     86 |  0.000 % |
1366.08/1366.20	c |   1593059 |    2498   580131  1626523 |        1   172882     91 |  0.000 % |
1366.08/1366.20	c |   1600724 |    2498   580131  1626523 |        1    93349     78 |  0.000 % |
1366.08/1366.20	c |   1649842 |    2498   580131  1626523 |        1   142467     93 |  0.000 % |
1366.08/1366.20	c |   1650123 |    2498   580131  1626523 |        1   142748     93 |  0.000 % |
1366.08/1366.20	c |   1650275 |    2498   580131  1626523 |        1   142900     93 |  0.000 % |
1366.08/1366.20	c |   1800048 |    2498   580131  1626523 |        1   110469     78 |  0.000 % |
1366.08/1366.20	c |   1800152 |    2498   580131  1626523 |        1   110573     78 |  0.000 % |
1366.08/1366.20	c |   1800865 |    2498   580131  1626523 |        1   111286     78 |  0.000 % |
1366.08/1366.20	c |   1803654 |    2498   580131  1626523 |        1   114075     79 |  0.000 % |
1366.08/1366.20	c |   1805378 |    2498   580131  1626523 |        1   115799     79 |  0.000 % |
1366.08/1366.20	c |   1809094 |    2498   580131  1626523 |        1   119515     81 |  0.000 % |
1366.08/1366.20	c |   3039041 |    2498   580131  1626523 |        1   161473     94 |  0.000 % |
1366.08/1366.20	c |   3040850 |    2498   580131  1626523 |        1   163282     94 |  0.000 % |
1366.08/1366.20	c |   3052613 |    2498   580131  1626523 |        1   175045     93 |  0.000 % |
1366.08/1366.20	c |   3408696 |    2498   580131  1626523 |        1   152524     73 |  0.000 % |
1366.08/1366.20	c |   3408893 |    2498   580131  1626523 |        1   152721     73 |  0.000 % |
1366.08/1366.20	c |   3500838 |    2498   580131  1626523 |        1   244666     79 |  0.000 % |
1366.08/1366.20	c |   3514551 |    2498   580131  1626523 |        1   258379     82 |  0.000 % |
1366.08/1366.20	c |   3514757 |    2498   580131  1626523 |        1   258585     82 |  0.000 % |
1366.08/1366.20	c |   3514869 |    2498   580131  1626523 |        1   258697     82 |  0.000 % |
1366.08/1366.20	c |   3531117 |    2498   580131  1626523 |        1   143536     75 |  0.000 % |
1366.08/1366.20	c |   3531217 |    2498   580131  1626523 |        1   143636     75 |  0.000 % |
1366.08/1366.20	c |   3542027 |    2498   580131  1626523 |        1   154446     75 |  0.000 % |
1366.08/1366.20	c |   3542237 |    2498   580131  1626523 |        1   154656     75 |  0.000 % |
1366.08/1366.20	c |   3832199 |    2498   580131  1626523 |        1   174025     96 |  0.000 % |
1366.08/1366.20	c |   4124961 |    2498   580131  1626523 |        1   185777     87 |  0.000 % |
1366.08/1366.20	c |   4137865 |    2498   580131  1626523 |        1   198681     88 |  0.000 % |
2058.19/2058.26	c |   4139705 |    2498   580131  1626523 |        1   200521     89 |  0.000 % |
2058.19/2058.26	c |   4139814 |    2498   580131  1626523 |        1   200630     89 |  0.000 % |
2058.19/2058.26	c |   4140007 |    2498   580131  1626523 |        1   200823     89 |  0.000 % |
2058.19/2058.26	c |   4140558 |    2498   580131  1626523 |        1   201374     89 |  0.000 % |
2058.19/2058.26	c |   4140658 |    2498   580131  1626523 |        1   201474     89 |  0.000 % |
2058.19/2058.26	c |   4140758 |    2498   580131  1626523 |        1   201574     89 |  0.000 % |
2058.19/2058.26	c |   4142333 |    2498   580131  1626523 |        1   203149     89 |  0.000 % |
2058.19/2058.26	c |   4142466 |    2498   580131  1626523 |        1   203282     89 |  0.000 % |
2058.19/2058.26	c |   4144020 |    2498   580131  1626523 |        1   204836     89 |  0.000 % |
2058.19/2058.26	c |   4294709 |    2498   580131  1626523 |        1   211124     84 |  0.000 % |
2058.19/2058.26	c |   4300253 |    2498   580131  1626523 |        1   216668     84 |  0.000 % |
2058.19/2058.26	c |   4300598 |    2498   580131  1626523 |        1   217013     84 |  0.000 % |
2058.19/2058.26	c |   4667529 |    2498   580131  1626523 |        1   287342     76 |  0.000 % |
2058.19/2058.26	c |   4667842 |    2498   580131  1626523 |        1   287655     76 |  0.000 % |
2058.19/2058.26	c |   4668038 |    2498   580131  1626523 |        1   287851     76 |  0.000 % |
2058.19/2058.26	c |   5007437 |    2498   580131  1626523 |        1   162856     82 |  0.000 % |
2058.19/2058.26	c |   5039197 |    2498   580131  1626523 |        1   194616     85 |  0.000 % |
2058.19/2058.26	c |   5068232 |    2498   580131  1626523 |        1   223651     87 |  0.000 % |
2058.19/2058.26	c |   5069523 |    2498   580131  1626523 |        1   224942     87 |  0.000 % |
2058.19/2058.26	c |   5070147 |    2498   580131  1626523 |        1   225566     87 |  0.000 % |
2058.19/2058.26	c |   5073054 |    2498   580131  1626523 |        1   228473     88 |  0.000 % |
2058.19/2058.26	c |   5077997 |    2498   580131  1626523 |        1   233416     88 |  0.000 % |
2058.19/2058.26	c |   5078098 |    2498   580131  1626523 |        1   233517     88 |  0.000 % |
2058.19/2058.26	c |   5091459 |    2498   580131  1626523 |        1   246878     90 |  0.000 % |
2058.19/2058.26	c |   5095544 |    2498   580131  1626523 |        1   250963     91 |  0.000 % |
2058.19/2058.26	c |   5096165 |    2498   580131  1626523 |        1   251584     91 |  0.000 % |
2058.19/2058.26	c |   5113092 |    2498   580131  1626523 |        1   268511     93 |  0.000 % |
2058.19/2058.26	c |   5113255 |    2498   580131  1626523 |        1   268674     93 |  0.000 % |
2058.19/2058.26	c |   5212883 |    2498   580131  1626523 |        1   208305     88 |  0.000 % |
2058.19/2058.26	c |   5212983 |    2498   580131  1626523 |        1   208405     88 |  0.000 % |
2058.19/2058.26	c |   5231764 |    2498   580131  1626523 |        1   227186     90 |  0.000 % |
2058.19/2058.26	c |   5234102 |    2498   580131  1626523 |        1   229524     90 |  0.000 % |
2058.19/2058.26	c |   5272108 |    2498   580131  1626523 |        1   267530     92 |  0.000 % |
2058.19/2058.26	c |   5272651 |    2498   580131  1626523 |        1   268073     92 |  0.000 % |
2058.19/2058.26	c |   5274831 |    2498   580131  1626523 |        1   270253     92 |  0.000 % |
2058.19/2058.26	c |   5327473 |    2498   580131  1626523 |        1   322895     96 |  0.000 % |
2058.19/2058.26	c |   5328439 |    2498   580131  1626523 |        1   323861     96 |  0.000 % |
2058.19/2058.26	c |   5381461 |    2498   580131  1626523 |        1   214276     81 |  0.000 % |
2058.19/2058.26	c |   5423001 |    2498   580131  1626523 |        1   255816     83 |  0.000 % |
2058.19/2058.26	c |   5431733 |    2498   580131  1626523 |        1   264548     83 |  0.000 % |
2058.19/2058.26	c |   5466682 |    2498   580131  1626523 |        1   299497     85 |  0.000 % |
2058.19/2058.26	c |   5467293 |    2498   580131  1626523 |        1   300108     85 |  0.000 % |
2058.19/2058.26	c |   5468205 |    2498   580131  1626523 |        1   301020     85 |  0.000 % |
2058.19/2058.26	c |   5548328 |    2498   580131  1626523 |        1   215951     85 |  0.000 % |
2058.19/2058.26	c |   5548707 |    2498   580131  1626523 |        1   216330     85 |  0.000 % |
2058.19/2058.26	c |   5614320 |    2498   580131  1626523 |        1   281943     87 |  0.000 % |
2058.19/2058.26	c |   5614420 |    2498   580131  1626523 |        1   282043     87 |  0.000 % |
2058.19/2058.26	c |   5614522 |    2498   580131  1626523 |        1   282145     87 |  0.000 % |
2058.19/2058.26	c |   5614641 |    2498   580131  1626523 |        1   282264     87 |  0.000 % |
2058.19/2058.26	c |   5614742 |    2498   580131  1626523 |        1   282365     87 |  0.000 % |
2453.71/2453.73	c |   5614944 |    2498   580131  1626523 |        1   282567     87 |  0.000 % |
2453.71/2453.73	c |   5615075 |    2498   580131  1626523 |        1   282698     87 |  0.000 % |
2453.71/2453.73	c |   5615176 |    2498   580131  1626523 |        1   282799     87 |  0.000 % |
2453.71/2453.73	c |   5626665 |    2498   580131  1626523 |        1   294288     88 |  0.000 % |
2453.71/2453.73	c |   5626807 |    2498   580131  1626523 |        1   294430     88 |  0.000 % |
2453.71/2453.73	c |   5626907 |    2498   580131  1626523 |        1   294530     88 |  0.000 % |
2453.71/2453.73	c |   5627022 |    2498   580131  1626523 |        1   294645     88 |  0.000 % |
2453.71/2453.73	c |   5627123 |    2498   580131  1626523 |        1   294746     88 |  0.000 % |
2453.71/2453.73	c |   5627227 |    2498   580131  1626523 |        1   294850     88 |  0.000 % |
2453.71/2453.73	c |   5627606 |    2498   580131  1626523 |        1   295229     88 |  0.000 % |
2453.71/2453.73	c |   5632460 |    2498   580131  1626523 |        1   300083     89 |  0.000 % |
2453.71/2453.73	c |   5733411 |    2498   580131  1626523 |        1   233229     86 |  0.000 % |
2453.71/2453.73	c |   5733511 |    2498   580131  1626523 |        1   233329     86 |  0.000 % |
2453.71/2453.73	c |   5791305 |    2498   580131  1626523 |        1   291123     89 |  0.000 % |
2453.71/2453.73	c |   5791406 |    2498   580131  1626523 |        1   291224     89 |  0.000 % |
2453.71/2453.73	c |   5791507 |    2498   580131  1626523 |        1   291325     89 |  0.000 % |
2453.71/2453.73	c |   5880105 |    2498   580131  1626523 |        1   209523     81 |  0.000 % |
2453.71/2453.73	c |   5881067 |    2498   580131  1626523 |        1   210485     82 |  0.000 % |
2453.71/2453.73	c |   5887577 |    2498   580131  1626523 |        1   216995     82 |  0.000 % |
2453.71/2453.73	c |   5888409 |    2498   580131  1626523 |        1   217827     82 |  0.000 % |
2453.71/2453.73	c |   5888513 |    2498   580131  1626523 |        1   217931     82 |  0.000 % |
2453.71/2453.73	c |   5936703 |    2498   580131  1626523 |        1   266121     86 |  0.000 % |
2453.71/2453.73	c |   5936803 |    2498   580131  1626523 |        1   266221     86 |  0.000 % |
2453.71/2453.73	c |   5980630 |    2498   580131  1626523 |        1   310048     89 |  0.000 % |
2453.71/2453.73	c |   5980730 |    2498   580131  1626523 |        1   310148     89 |  0.000 % |
2453.71/2453.73	c |   6004614 |    2498   580131  1626523 |        1   334032     90 |  0.000 % |
2453.71/2453.73	c |   6005299 |    2498   580131  1626523 |        1   334717     90 |  0.000 % |
2453.71/2453.73	c |   6028616 |    2498   580131  1626523 |        1   185037     76 |  0.000 % |
2453.71/2453.73	c |   6028717 |    2498   580131  1626523 |        1   185138     76 |  0.000 % |
2453.71/2453.73	c |   6068125 |    2498   580131  1626523 |        1   224546     82 |  0.000 % |
2453.71/2453.73	c |   6068231 |    2498   580131  1626523 |        1   224652     82 |  0.000 % |
2453.71/2453.73	c |   6068334 |    2498   580131  1626523 |        1   224755     82 |  0.000 % |
2453.71/2453.73	c |   6068437 |    2498   580131  1626523 |        1   224858     82 |  0.000 % |
2453.71/2453.73	c |   6072874 |    2498   580131  1626523 |        1   229295     82 |  0.000 % |
2453.71/2453.73	c |   6072974 |    2498   580131  1626523 |        1   229395     82 |  0.000 % |
2453.71/2453.73	c |   6107625 |    2498   580131  1626523 |        1   264046     83 |  0.000 % |
2453.71/2453.73	c |   6165077 |    2498   580131  1626523 |        1   321498     86 |  0.000 % |
2453.71/2453.73	c |   6176413 |    2498   580131  1626523 |        1   332834     86 |  0.000 % |
2453.71/2453.73	c |   6176549 |    2498   580131  1626523 |        1   332970     86 |  0.000 % |
2453.71/2453.73	c |   6177107 |    2498   580131  1626523 |        1   333528     86 |  0.000 % |
2453.71/2453.73	c |   6184744 |    2498   580131  1626523 |        1   341165     86 |  0.000 % |
2453.71/2453.73	c |   6185439 |    2498   580131  1626523 |        1   341860     86 |  0.000 % |
2453.71/2453.73	c |   6185599 |    2498   580131  1626523 |        1   342020     86 |  0.000 % |
2453.71/2453.73	c |   6185700 |    2498   580131  1626523 |        1   342121     86 |  0.000 % |
2453.71/2453.73	c |   6185800 |    2498   580131  1626523 |        1   342221     86 |  0.000 % |
2453.71/2453.73	c |   6185902 |    2498   580131  1626523 |        1   342323     86 |  0.000 % |
2453.71/2453.73	c |   6186035 |    2498   580131  1626523 |        1   342456     86 |  0.000 % |
2453.71/2453.73	c |   6265960 |    2498   580131  1626523 |        1   246777     81 |  0.000 % |
2453.71/2453.73	c |   6267919 |    2498   580131  1626523 |        1   248736     81 |  0.000 % |
2453.71/2453.73	c |   6345040 |    2498   580131  1626523 |        1   325857     90 |  0.000 % |
3124.93/3125.00	c |   6345934 |    2498   580131  1626523 |        1   326751     91 |  0.000 % |
3124.93/3125.00	c |   6346150 |    2498   580131  1626523 |        1   326967     91 |  0.000 % |
3124.93/3125.00	c |   6347489 |    2498   580131  1626523 |        1   328306     91 |  0.000 % |
3124.93/3125.00	c |   6347591 |    2498   580131  1626523 |        1   328408     91 |  0.000 % |
3124.93/3125.00	c |   6524175 |    2498   580131  1626523 |        1   326790     92 |  0.000 % |
3124.93/3125.00	c |   6573788 |    2498   580131  1626523 |        1   195605     79 |  0.000 % |
3124.93/3125.00	c |   6575930 |    2498   580131  1626523 |        1   197747     79 |  0.000 % |
3124.93/3125.00	c |   6580064 |    2498   580131  1626523 |        1   201881     80 |  0.000 % |
3124.93/3125.00	c |   6677724 |    2498   580131  1626523 |        1   299541     93 |  0.000 % |
3124.93/3125.00	c |   6678276 |    2498   580131  1626523 |        1   300093     93 |  0.000 % |
3124.93/3125.00	c |   6749158 |    2498   580131  1626523 |        1   187579     75 |  0.000 % |
3124.93/3125.00	c |   6749258 |    2498   580131  1626523 |        1   187679     75 |  0.000 % |
3124.93/3125.00	c |   6757864 |    2498   580131  1626523 |        1   196285     78 |  0.000 % |
3124.93/3125.00	c |   6757970 |    2498   580131  1626523 |        1   196391     78 |  0.000 % |
3124.93/3125.00	c |   6758071 |    2498   580131  1626523 |        1   196492     78 |  0.000 % |
3124.93/3125.00	c |   6758174 |    2498   580131  1626523 |        1   196595     78 |  0.000 % |
3124.93/3125.00	c |   6887170 |    2498   580131  1626523 |        1   325591     84 |  0.000 % |
3124.93/3125.00	c |   6887581 |    2498   580131  1626523 |        1   326002     84 |  0.000 % |
3124.93/3125.00	c |   6912019 |    2498   580131  1626523 |        1   350440     86 |  0.000 % |
3124.93/3125.00	c |   7032770 |    2498   580131  1626523 |        1   285188     91 |  0.000 % |
3124.93/3125.00	c |   7032870 |    2498   580131  1626523 |        1   285288     91 |  0.000 % |
3124.93/3125.00	c |   7111433 |    2498   580131  1626523 |        1   363851    104 |  0.000 % |
3124.93/3125.00	c |   7111542 |    2498   580131  1626523 |        1   363960    104 |  0.000 % |
3124.93/3125.00	c |   7111666 |    2498   580131  1626523 |        1   364084    104 |  0.000 % |
3124.93/3125.00	c |   7111766 |    2498   580131  1626523 |        1   364184    104 |  0.000 % |
3124.93/3125.00	c |   7112228 |    2498   580131  1626523 |        1   364646    104 |  0.000 % |
3124.93/3125.00	c |   7112329 |    2498   580131  1626523 |        1   364747    104 |  0.000 % |
3124.93/3125.00	c |   7113712 |    2498   580131  1626523 |        1   366130    104 |  0.000 % |
3124.93/3125.00	c |   7176595 |    2498   580131  1626523 |        1   240414     87 |  0.000 % |
3124.93/3125.00	c |   7178260 |    2498   580131  1626523 |        1   242079     87 |  0.000 % |
3124.93/3125.00	c |   7196588 |    2498   580131  1626523 |        1   260407     87 |  0.000 % |
3124.93/3125.00	c |   7196688 |    2498   580131  1626523 |        1   260507     87 |  0.000 % |
3124.93/3125.00	c |   7207865 |    2498   580131  1626523 |        1   271684     88 |  0.000 % |
3124.93/3125.00	c |   7208980 |    2498   580131  1626523 |        1   272799     88 |  0.000 % |
3124.93/3125.00	c |   7210846 |    2498   580131  1626523 |        1   274665     88 |  0.000 % |
3124.93/3125.00	c |   7210948 |    2498   580131  1626523 |        1   274767     88 |  0.000 % |
3124.93/3125.00	c |   7435367 |    2498   580131  1626523 |        1   307983    108 |  0.000 % |
3124.93/3125.00	c |   7437630 |    2498   580131  1626523 |        1   310246    108 |  0.000 % |
3124.93/3125.00	c |   7437730 |    2498   580131  1626523 |        1   310346    108 |  0.000 % |
3124.93/3125.00	c |   7437984 |    2498   580131  1626523 |        1   310600    108 |  0.000 % |
3124.93/3125.00	c |   7441569 |    2498   580131  1626523 |        1   314185    109 |  0.000 % |
3124.93/3125.00	c |   7512457 |    2498   580131  1626523 |        1   385073    112 |  0.000 % |
3124.93/3125.00	c |   7513311 |    2498   580131  1626523 |        1   385927    112 |  0.000 % |
3124.93/3125.00	c |   7513416 |    2498   580131  1626523 |        1   386032    112 |  0.000 % |
3124.93/3125.00	c |   7513522 |    2498   580131  1626523 |        1   386138    112 |  0.000 % |
3124.93/3125.00	c |   7519809 |    2498   580131  1626523 |        1   198624     81 |  0.000 % |
3124.93/3125.00	c |   7538045 |    2498   580131  1626523 |        1   216860     85 |  0.000 % |
3124.93/3125.00	c |   7538205 |    2498   580131  1626523 |        1   217020     85 |  0.000 % |
3124.93/3125.00	c |   7599989 |    2498   580131  1626523 |        1   278804    104 |  0.000 % |
3124.93/3125.00	c |   7600089 |    2498   580131  1626523 |        1   278904    104 |  0.000 % |
3260.23/3260.22	c |   7600191 |    2498   580131  1626523 |        1   279006    104 |  0.000 % |
3260.23/3260.22	c |   7600291 |    2498   580131  1626523 |        1   279106    104 |  0.000 % |
3260.23/3260.22	c |   7600391 |    2498   580131  1626523 |        1   279206    104 |  0.000 % |
3260.23/3260.22	c |   7612003 |    2498   580131  1626523 |        1   290818    105 |  0.000 % |
3260.23/3260.22	c |   7612103 |    2498   580131  1626523 |        1   290918    105 |  0.000 % |
3260.23/3260.22	c |   7612584 |    2498   580131  1626523 |        1   291399    105 |  0.000 % |
3260.23/3260.22	c |   7612684 |    2498   580131  1626523 |        1   291499    105 |  0.000 % |
3260.23/3260.22	c |   7612784 |    2498   580131  1626523 |        1   291599    105 |  0.000 % |
3260.23/3260.22	c |   7618861 |    2498   580131  1626523 |        1   297676    105 |  0.000 % |
3260.23/3260.22	c |   7618978 |    2498   580131  1626523 |        1   297793    105 |  0.000 % |
3260.23/3260.22	c |   7633629 |    2498   580131  1626523 |        1   312444    105 |  0.000 % |
3260.23/3260.22	c |   7633729 |    2498   580131  1626523 |        1   312544    105 |  0.000 % |
3260.23/3260.22	c |   7641267 |    2498   580131  1626523 |        1   320082    106 |  0.000 % |
3260.23/3260.22	c |   7641367 |    2498   580131  1626523 |        1   320182    106 |  0.000 % |
3260.23/3260.22	c |   7643225 |    2498   580131  1626523 |        1   322040    107 |  0.000 % |
3260.23/3260.22	c |   7643326 |    2498   580131  1626523 |        1   322141    107 |  0.000 % |
3260.23/3260.22	c |   7644474 |    2498   580131  1626523 |        1   323289    107 |  0.000 % |
3260.23/3260.22	c |   7653206 |    2498   580131  1626523 |        1   332021    107 |  0.000 % |
3260.23/3260.22	c |   7657629 |    2498   580131  1626523 |        1   336444    108 |  0.000 % |
3260.23/3260.22	c |   7658363 |    2498   580131  1626523 |        1   337178    108 |  0.000 % |
3260.23/3260.22	c |   7658463 |    2498   580131  1626523 |        1   337278    108 |  0.000 % |
3260.23/3260.22	c |   7658563 |    2498   580131  1626523 |        1   337378    108 |  0.000 % |
3260.23/3260.22	c |   7659033 |    2498   580131  1626523 |        1   337848    108 |  0.000 % |
3260.23/3260.22	c |   7675861 |    2498   580131  1626523 |        1   354676    109 |  0.000 % |
3260.23/3260.22	c |   7684388 |    2498   580131  1626523 |        1   363203    109 |  0.000 % |
3260.23/3260.22	c |   7685047 |    2498   580131  1626523 |        1   363862    109 |  0.000 % |
3260.23/3260.22	c |   7685147 |    2498   580131  1626523 |        1   363962    109 |  0.000 % |
3260.23/3260.22	c |   7685247 |    2498   580131  1626523 |        1   364062    109 |  0.000 % |
3260.23/3260.22	c |   7686043 |    2498   580131  1626523 |        1   364858    109 |  0.000 % |
3260.23/3260.22	c |   7686162 |    2498   580131  1626523 |        1   364977    109 |  0.000 % |
3260.23/3260.22	c |   7686383 |    2498   580131  1626523 |        1   365198    109 |  0.000 % |
3260.23/3260.22	c |   7686484 |    2498   580131  1626523 |        1   365299    109 |  0.000 % |
3260.23/3260.22	c |   7701571 |    2498   580131  1626523 |        1   380386    110 |  0.000 % |
3260.23/3260.22	c |   7701671 |    2498   580131  1626523 |        1   380486    110 |  0.000 % |
3260.23/3260.22	c |   7701771 |    2498   580131  1626523 |        1   380586    110 |  0.000 % |
3260.23/3260.22	c |   7734925 |    2498   580131  1626523 |        1   217345     79 |  0.000 % |
3260.23/3260.22	c |   7735068 |    2498   580131  1626523 |        1   217488     79 |  0.000 % |
3260.23/3260.22	c |   7749357 |    2498   580131  1626523 |        1   231777     82 |  0.000 % |
3260.23/3260.22	c |   7751634 |    2498   580131  1626523 |        1   234054     83 |  0.000 % |
3260.23/3260.22	c |   7751734 |    2498   580131  1626523 |        1   234154     83 |  0.000 % |
3260.23/3260.22	c |   7751852 |    2498   580131  1626523 |        1   234272     83 |  0.000 % |
3260.23/3260.22	c |   7751954 |    2498   580131  1626523 |        1   234374     83 |  0.000 % |
3260.23/3260.22	c |   7773710 |    2498   580131  1626523 |        1   256130     87 |  0.000 % |
3260.23/3260.22	c |   7773812 |    2498   580131  1626523 |        1   256232     87 |  0.000 % |
3260.23/3260.22	c |   7793547 |    2498   580131  1626523 |        1   275967     88 |  0.000 % |
3260.23/3260.22	c |   7793651 |    2498   580131  1626523 |        1   276071     88 |  0.000 % |
3260.23/3260.22	c |   7793752 |    2498   580131  1626523 |        1   276172     88 |  0.000 % |
3260.23/3260.22	c |   7832602 |    2498   580131  1626523 |        1   315022     95 |  0.000 % |
3260.23/3260.22	c |   7832702 |    2498   580131  1626523 |        1   315122     95 |  0.000 % |
3260.23/3260.22	c |   7832803 |    2498   580131  1626523 |        1   315223     95 |  0.000 % |
3341.03/3341.03	c |   7833206 |    2498   580131  1626523 |        1   315626     95 |  0.000 % |
3341.03/3341.03	c |   7834199 |    2498   580131  1626523 |        1   316619     95 |  0.000 % |
3341.03/3341.03	c |   7876636 |    2498   580131  1626523 |        1   359056    101 |  0.000 % |
3341.03/3341.03	c |   7876736 |    2498   580131  1626523 |        1   359156    101 |  0.000 % |
3341.03/3341.03	c |   7876836 |    2498   580131  1626523 |        1   359256    101 |  0.000 % |
3341.03/3341.03	c |   7885564 |    2498   580131  1626523 |        1   367984    102 |  0.000 % |
3341.03/3341.03	c |   7885767 |    2498   580131  1626523 |        1   368187    102 |  0.000 % |
3341.03/3341.03	c |   7885889 |    2498   580131  1626523 |        1   368309    102 |  0.000 % |
3341.03/3341.03	c |   7887330 |    2498   580131  1626523 |        1   369750    102 |  0.000 % |
3341.03/3341.03	c |   7909693 |    2498   580131  1626523 |        1   392113    104 |  0.000 % |
3341.03/3341.03	c |   7910142 |    2498   580131  1626523 |        1   392562    104 |  0.000 % |
3341.03/3341.03	c |   7910242 |    2498   580131  1626523 |        1   392662    104 |  0.000 % |
3341.03/3341.03	c |   7910342 |    2498   580131  1626523 |        1   392762    104 |  0.000 % |
3341.03/3341.03	c |   7910443 |    2498   580131  1626523 |        1   392863    104 |  0.000 % |
3341.03/3341.03	c |   7910544 |    2498   580131  1626523 |        1   392964    104 |  0.000 % |
3341.03/3341.03	c |   7914444 |    2498   580131  1626523 |        1   396864    105 |  0.000 % |
3341.03/3341.03	c |   7917559 |    2498   580131  1626523 |        1   200977     77 |  0.000 % |
3341.03/3341.03	c |   7925807 |    2498   580131  1626523 |        1   209225     78 |  0.000 % |
3341.03/3341.03	c |   7926114 |    2498   580131  1626523 |        1   209532     79 |  0.000 % |
3341.03/3341.03	c |   7926214 |    2498   580131  1626523 |        1   209632     79 |  0.000 % |
3341.03/3341.03	c |   7926319 |    2498   580131  1626523 |        1   209737     79 |  0.000 % |
3341.03/3341.03	c |   7926419 |    2498   580131  1626523 |        1   209837     79 |  0.000 % |
3341.03/3341.03	c |   7930465 |    2498   580131  1626523 |        1   213883     80 |  0.000 % |
3341.03/3341.03	c |   7930992 |    2498   580131  1626523 |        1   214410     80 |  0.000 % |
3341.03/3341.03	c |   7931177 |    2498   580131  1626523 |        1   214595     80 |  0.000 % |
3341.03/3341.03	c |   7931277 |    2498   580131  1626523 |        1   214695     80 |  0.000 % |
3341.03/3341.03	c |   7931379 |    2498   580131  1626523 |        1   214797     80 |  0.000 % |
3341.03/3341.03	c |   7931479 |    2498   580131  1626523 |        1   214897     80 |  0.000 % |
3341.03/3341.03	c |   7931582 |    2498   580131  1626523 |        1   215000     80 |  0.000 % |
3341.03/3341.03	c |   7931882 |    2498   580131  1626523 |        1   215300     80 |  0.000 % |
3341.03/3341.03	c |   7933068 |    2498   580131  1626523 |        1   216486     80 |  0.000 % |
3341.03/3341.03	c |   7939830 |    2498   580131  1626523 |        1   223248     81 |  0.000 % |
3341.03/3341.03	c |   7948877 |    2498   580131  1626523 |        1   232295     82 |  0.000 % |
3341.03/3341.03	c |   7951446 |    2498   580131  1626523 |        1   234864     83 |  0.000 % |
3341.03/3341.03	c |   7954331 |    2498   580131  1626523 |        1   237749     83 |  0.000 % |
3341.03/3341.03	c |   7954431 |    2498   580131  1626523 |        1   237849     83 |  0.000 % |
3341.03/3341.03	c |   7954531 |    2498   580131  1626523 |        1   237949     83 |  0.000 % |
3341.03/3341.03	c |   7955205 |    2498   580131  1626523 |        1   238623     84 |  0.000 % |
3341.03/3341.03	c |   7955305 |    2498   580131  1626523 |        1   238723     84 |  0.000 % |
3341.03/3341.03	c |   7955407 |    2498   580131  1626523 |        1   238825     84 |  0.000 % |
3341.03/3341.03	c |   7958062 |    2498   580131  1626523 |        1   241480     84 |  0.000 % |
3341.03/3341.03	c |   7958162 |    2498   580131  1626523 |        1   241580     84 |  0.000 % |
3341.03/3341.03	c |   7961502 |    2498   580131  1626523 |        1   244920     84 |  0.000 % |
3341.03/3341.03	c |   7961603 |    2498   580131  1626523 |        1   245021     84 |  0.000 % |
3341.03/3341.03	c |   7968355 |    2498   580131  1626523 |        1   251773     85 |  0.000 % |
3341.03/3341.03	c |   7968455 |    2498   580131  1626523 |        1   251873     85 |  0.000 % |
3341.03/3341.03	c |   7968556 |    2498   580131  1626523 |        1   251974     85 |  0.000 % |
3341.03/3341.03	c |   7968657 |    2498   580131  1626523 |        1   252075     85 |  0.000 % |
3341.03/3341.03	c |   7968757 |    2498   580131  1626523 |        1   252175     85 |  0.000 % |
3341.03/3341.03	c |   7968858 |    2498   580131  1626523 |        1   252276     85 |  0.000 % |
3458.04/3458.03	c |   7968958 |    2498   580131  1626523 |        1   252376     85 |  0.000 % |
3458.04/3458.03	c |   7969059 |    2498   580131  1626523 |        1   252477     85 |  0.000 % |
3458.04/3458.03	c |   7969163 |    2498   580131  1626523 |        1   252581     85 |  0.000 % |
3458.04/3458.03	c |   7969267 |    2498   580131  1626523 |        1   252685     85 |  0.000 % |
3458.04/3458.03	c |   8046577 |    2498   580131  1626523 |        1   329995     86 |  0.000 % |
3458.04/3458.03	c |   8046677 |    2498   580131  1626523 |        1   330095     86 |  0.000 % |
3458.04/3458.03	c |   8046900 |    2498   580131  1626523 |        1   330318     86 |  0.000 % |
3458.04/3458.03	c |   8047302 |    2498   580131  1626523 |        1   330720     86 |  0.000 % |
3458.04/3458.03	c |   8073033 |    2498   580131  1626523 |        1   356451     86 |  0.000 % |
3458.04/3458.03	c |   8073286 |    2498   580131  1626523 |        1   356704     86 |  0.000 % |
3458.04/3458.03	c |   8073387 |    2498   580131  1626523 |        1   356805     86 |  0.000 % |
3458.04/3458.03	c |   8074109 |    2498   580131  1626523 |        1   357527     87 |  0.000 % |
3458.04/3458.03	c |   8074419 |    2498   580131  1626523 |        1   357837     87 |  0.000 % |
3458.04/3458.03	c |   8074523 |    2498   580131  1626523 |        1   357941     87 |  0.000 % |
3458.04/3458.03	c |   8074624 |    2498   580131  1626523 |        1   358042     87 |  0.000 % |
3458.04/3458.03	c |   8074992 |    2498   580131  1626523 |        1   358410     87 |  0.000 % |
3458.04/3458.03	c |   8075093 |    2498   580131  1626523 |        1   358511     87 |  0.000 % |
3458.04/3458.03	c |   8075193 |    2498   580131  1626523 |        1   358611     87 |  0.000 % |
3458.04/3458.03	c |   8075293 |    2498   580131  1626523 |        1   358711     87 |  0.000 % |
3458.04/3458.03	c |   8075393 |    2498   580131  1626523 |        1   358811     87 |  0.000 % |
3458.04/3458.03	c |   8075497 |    2498   580131  1626523 |        1   358915     87 |  0.000 % |
3458.04/3458.03	c |   8075599 |    2498   580131  1626523 |        1   359017     87 |  0.000 % |
3458.04/3458.03	c |   8075700 |    2498   580131  1626523 |        1   359118     87 |  0.000 % |
3458.04/3458.03	c |   8098006 |    2498   580131  1626523 |        1   381424     90 |  0.000 % |
3458.04/3458.03	c |   8098601 |    2498   580131  1626523 |        1   382019     90 |  0.000 % |
3458.04/3458.03	c |   8098703 |    2498   580131  1626523 |        1   382121     90 |  0.000 % |
3458.04/3458.03	c |   8098803 |    2498   580131  1626523 |        1   382221     90 |  0.000 % |
3458.04/3458.03	c |   8099021 |    2498   580131  1626523 |        1   382439     90 |  0.000 % |
3458.04/3458.03	c |   8099124 |    2498   580131  1626523 |        1   382542     90 |  0.000 % |
3458.04/3458.03	c |   8099224 |    2498   580131  1626523 |        1   382642     91 |  0.000 % |
3458.04/3458.03	c |   8099324 |    2498   580131  1626523 |        1   382742     91 |  0.000 % |
3458.04/3458.03	c |   8099424 |    2498   580131  1626523 |        1   382842     91 |  0.000 % |
3458.04/3458.03	c |   8099526 |    2498   580131  1626523 |        1   382944     91 |  0.000 % |
3458.04/3458.03	c |   8099760 |    2498   580131  1626523 |        1   383178     91 |  0.000 % |
3458.04/3458.03	c |   8099860 |    2498   580131  1626523 |        1   383278     91 |  0.000 % |
3458.04/3458.03	c |   8108439 |    2498   580131  1626523 |        1   391857     91 |  0.000 % |
3458.04/3458.03	c |   8108539 |    2498   580131  1626523 |        1   391957     91 |  0.000 % |
3458.04/3458.03	c |   8108642 |    2498   580131  1626523 |        1   392060     91 |  0.000 % |
3458.04/3458.03	c |   8108742 |    2498   580131  1626523 |        1   392160     91 |  0.000 % |
3458.04/3458.03	c |   8127039 |    2498   580131  1626523 |        1   208857     73 |  0.000 % |
3458.04/3458.03	c |   8127204 |    2498   580131  1626523 |        1   209022     73 |  0.000 % |
3458.04/3458.03	c |   8129729 |    2498   580131  1626523 |        1   211547     74 |  0.000 % |
3458.04/3458.03	c |   8131974 |    2498   580131  1626523 |        1   213792     75 |  0.000 % |
3458.04/3458.03	c |   8132074 |    2498   580131  1626523 |        1   213892     75 |  0.000 % |
3458.04/3458.03	c |   8146170 |    2498   580131  1626523 |        1   227988     78 |  0.000 % |
3458.04/3458.03	c |   8146272 |    2498   580131  1626523 |        1   228090     78 |  0.000 % |
3458.04/3458.03	c |   8146373 |    2498   580131  1626523 |        1   228191     78 |  0.000 % |
3458.04/3458.03	c |   8146473 |    2498   580131  1626523 |        1   228291     78 |  0.000 % |
3458.04/3458.03	c |   8153834 |    2498   580131  1626523 |        1   235652     79 |  0.000 % |
3795.65/3795.61	c |   8153934 |    2498   580131  1626523 |        1   235752     79 |  0.000 % |
3795.65/3795.61	c |   8160636 |    2498   580131  1626523 |        1   242454     80 |  0.000 % |
3795.65/3795.61	c |   8161752 |    2498   580131  1626523 |        1   243570     80 |  0.000 % |
3795.65/3795.61	c |   8197011 |    2498   580131  1626523 |        1   278829     85 |  0.000 % |
3795.65/3795.61	c |   8197112 |    2498   580131  1626523 |        1   278930     85 |  0.000 % |
3795.65/3795.61	c |   8197213 |    2498   580131  1626523 |        1   279031     85 |  0.000 % |
3795.65/3795.61	c |   8197313 |    2498   580131  1626523 |        1   279131     85 |  0.000 % |
3795.65/3795.61	c |   8197531 |    2498   580131  1626523 |        1   279349     85 |  0.000 % |
3795.65/3795.61	c |   8240928 |    2498   580131  1626523 |        1   322746     94 |  0.000 % |
3795.65/3795.61	c |   8244049 |    2498   580131  1626523 |        1   325867     94 |  0.000 % |
3795.65/3795.61	c |   8252306 |    2498   580131  1626523 |        1   334124     95 |  0.000 % |
3795.65/3795.61	c |   8428278 |    2498   580131  1626523 |        1   305895     87 |  0.000 % |
3795.65/3795.61	c |   8428379 |    2498   580131  1626523 |        1   305996     87 |  0.000 % |
3795.65/3795.61	c |   8437827 |    2498   580131  1626523 |        1   315444     88 |  0.000 % |
3795.65/3795.61	c |   8437929 |    2498   580131  1626523 |        1   315546     88 |  0.000 % |
3795.65/3795.61	c |   8438442 |    2498   580131  1626523 |        1   316059     88 |  0.000 % |
3795.65/3795.61	c |   8481654 |    2498   580131  1626523 |        1   359271     89 |  0.000 % |
3795.65/3795.61	c |   8483509 |    2498   580131  1626523 |        1   361126     90 |  0.000 % |
3795.65/3795.61	c |   8493718 |    2498   580131  1626523 |        1   371335     91 |  0.000 % |
3795.65/3795.61	c |   8521646 |    2498   580131  1626523 |        1   399263     93 |  0.000 % |
3795.65/3795.61	c |   8521790 |    2498   580131  1626523 |        1   399407     93 |  0.000 % |
3795.65/3795.61	c |   8552847 |    2498   580131  1626523 |        1   223663     77 |  0.000 % |
3795.65/3795.61	c |   8552962 |    2498   580131  1626523 |        1   223778     77 |  0.000 % |
3795.65/3795.61	c |   8582961 |    2498   580131  1626523 |        1   253777     83 |  0.000 % |
3795.65/3795.61	c |   8624899 |    2498   580131  1626523 |        1   295715     92 |  0.000 % |
3795.65/3795.61	c |   8625373 |    2498   580131  1626523 |        1   296189     92 |  0.000 % |
3795.65/3795.61	c |   8625474 |    2498   580131  1626523 |        1   296290     92 |  0.000 % |
3795.65/3795.61	c |   8625574 |    2498   580131  1626523 |        1   296390     92 |  0.000 % |
3795.65/3795.61	c |   8625674 |    2498   580131  1626523 |        1   296490     92 |  0.000 % |
3795.65/3795.61	c |   8640539 |    2498   580131  1626523 |        1   311355     93 |  0.000 % |
3795.65/3795.61	c |   8640643 |    2498   580131  1626523 |        1   311459     93 |  0.000 % |
3795.65/3795.61	c |   8653801 |    2498   580131  1626523 |        1   324617     95 |  0.000 % |
3795.65/3795.61	c |   8671448 |    2498   580131  1626523 |        1   342264     98 |  0.000 % |
3795.65/3795.61	c |   8671548 |    2498   580131  1626523 |        1   342364     98 |  0.000 % |
3795.65/3795.61	c |   8671648 |    2498   580131  1626523 |        1   342464     98 |  0.000 % |
3795.65/3795.61	c |   8672142 |    2498   580131  1626523 |        1   342958     98 |  0.000 % |
3795.65/3795.61	c |   8678386 |    2498   580131  1626523 |        1   349202     99 |  0.000 % |
3795.65/3795.61	c |   8679236 |    2498   580131  1626523 |        1   350052     99 |  0.000 % |
3795.65/3795.61	c |   8679345 |    2498   580131  1626523 |        1   350161     99 |  0.000 % |
3795.65/3795.61	c |   8679449 |    2498   580131  1626523 |        1   350265     99 |  0.000 % |
3795.65/3795.61	c |   8686783 |    2498   580131  1626523 |        1   357599    100 |  0.000 % |
3795.65/3795.61	c |   8693351 |    2498   580131  1626523 |        1   364167    101 |  0.000 % |
3795.65/3795.61	c |   8693452 |    2498   580131  1626523 |        1   364268    101 |  0.000 % |
3795.65/3795.61	c |   8694447 |    2498   580131  1626523 |        1   365263    101 |  0.000 % |
3795.65/3795.61	c |   8696236 |    2498   580131  1626523 |        1   367052    101 |  0.000 % |
3795.65/3795.61	c |   8696336 |    2498   580131  1626523 |        1   367152    101 |  0.000 % |
3795.65/3795.61	c |   8696438 |    2498   580131  1626523 |        1   367254    101 |  0.000 % |
3795.65/3795.61	c |   8714001 |    2498   580131  1626523 |        1   384817    102 |  0.000 % |
3795.65/3795.61	c |   8714102 |    2498   580131  1626523 |        1   384918    102 |  0.000 % |
3795.65/3795.61	c |   8714202 |    2498   580131  1626523 |        1   385018    102 |  0.000 % |
3955.85/3955.88	c |   8816727 |    2498   580131  1626523 |        1   278152     84 |  0.000 % |
3955.85/3955.88	c |   8816827 |    2498   580131  1626523 |        1   278252     84 |  0.000 % |
3955.85/3955.88	c |   8817693 |    2498   580131  1626523 |        1   279118     84 |  0.000 % |
3955.85/3955.88	c |   8817793 |    2498   580131  1626523 |        1   279218     84 |  0.000 % |
3955.85/3955.88	c |   8818143 |    2498   580131  1626523 |        1   279568     84 |  0.000 % |
3955.85/3955.88	c |   8818244 |    2498   580131  1626523 |        1   279669     84 |  0.000 % |
3955.85/3955.88	c |   8818824 |    2498   580131  1626523 |        1   280249     84 |  0.000 % |
3955.85/3955.88	c |   8819876 |    2498   580131  1626523 |        1   281301     85 |  0.000 % |
3955.85/3955.88	c |   8820146 |    2498   580131  1626523 |        1   281571     85 |  0.000 % |
3955.85/3955.88	c |   8820247 |    2498   580131  1626523 |        1   281672     85 |  0.000 % |
3955.85/3955.88	c |   8820347 |    2498   580131  1626523 |        1   281772     85 |  0.000 % |
3955.85/3955.88	c |   8821051 |    2498   580131  1626523 |        1   282476     85 |  0.000 % |
3955.85/3955.88	c |   8821153 |    2498   580131  1626523 |        1   282578     85 |  0.000 % |
3955.85/3955.88	c |   8824687 |    2498   580131  1626523 |        1   286112     85 |  0.000 % |
3955.85/3955.88	c |   8825402 |    2498   580131  1626523 |        1   286827     85 |  0.000 % |
3955.85/3955.88	c |   8841910 |    2498   580131  1626523 |        1   303335     89 |  0.000 % |
3955.85/3955.88	c |   8842721 |    2498   580131  1626523 |        1   304146     89 |  0.000 % |
3955.85/3955.88	c |   8842849 |    2498   580131  1626523 |        1   304274     89 |  0.000 % |
3955.85/3955.88	c |   8842950 |    2498   580131  1626523 |        1   304375     89 |  0.000 % |
3955.85/3955.88	c |   8843050 |    2498   580131  1626523 |        1   304475     89 |  0.000 % |
3955.85/3955.88	c |   8877760 |    2498   580131  1626523 |        1   339185     93 |  0.000 % |
3955.85/3955.88	c |   8877861 |    2498   580131  1626523 |        1   339286     93 |  0.000 % |
3955.85/3955.88	c |   8878277 |    2498   580131  1626523 |        1   339702     93 |  0.000 % |
3955.85/3955.88	c |   8878377 |    2498   580131  1626523 |        1   339802     93 |  0.000 % |
3955.85/3955.88	c |   8879271 |    2498   580131  1626523 |        1   340696     93 |  0.000 % |
3955.85/3955.88	c |   8879375 |    2498   580131  1626523 |        1   340800     93 |  0.000 % |
3955.85/3955.88	c |   8879478 |    2498   580131  1626523 |        1   340903     93 |  0.000 % |
3955.85/3955.88	c |   8879648 |    2498   580131  1626523 |        1   341073     94 |  0.000 % |
3955.85/3955.88	c |   8879748 |    2498   580131  1626523 |        1   341173     94 |  0.000 % |
3955.85/3955.88	c |   8879851 |    2498   580131  1626523 |        1   341276     94 |  0.000 % |
3955.85/3955.88	c |   8880686 |    2498   580131  1626523 |        1   342111     94 |  0.000 % |
3955.85/3955.88	c |   8883677 |    2498   580131  1626523 |        1   345102     94 |  0.000 % |
3955.85/3955.88	c |   8887077 |    2498   580131  1626523 |        1   348502     94 |  0.000 % |
3955.85/3955.88	c |   8941454 |    2498   580131  1626523 |        1   402879     99 |  0.000 % |
3955.85/3955.88	c |   8941561 |    2498   580131  1626523 |        1   402986     99 |  0.000 % |
3955.85/3955.88	c |   8941662 |    2498   580131  1626523 |        1   403087     99 |  0.000 % |
3955.85/3955.88	c |   8941762 |    2498   580131  1626523 |        1   403187     99 |  0.000 % |
3955.85/3955.88	c |   8941864 |    2498   580131  1626523 |        1   403289     99 |  0.000 % |
3955.85/3955.88	c |   8941964 |    2498   580131  1626523 |        1   403389     99 |  0.000 % |
3955.85/3955.88	c |   8942064 |    2498   580131  1626523 |        1   403489     99 |  0.000 % |
3955.85/3955.88	c |   8942824 |    2498   580131  1626523 |        1   404249     99 |  0.000 % |
3955.85/3955.88	c |   8943120 |    2498   580131  1626523 |        1   404545     99 |  0.000 % |
3955.85/3955.88	c |   8945233 |    2498   580131  1626523 |        1   406658    100 |  0.000 % |
3955.85/3955.88	c |   8945334 |    2498   580131  1626523 |        1   406759    100 |  0.000 % |
3955.85/3955.88	c |   8945492 |    2498   580131  1626523 |        1   406917    100 |  0.000 % |
3955.85/3955.88	c |   8945592 |    2498   580131  1626523 |        1   407017    100 |  0.000 % |
3955.85/3955.88	c |   8951946 |    2498   580131  1626523 |        1   413371    100 |  0.000 % |
3955.85/3955.88	c |   8952049 |    2498   580131  1626523 |        1   413474    100 |  0.000 % |
3955.85/3955.88	c |   8952149 |    2498   580131  1626523 |        1   413574    100 |  0.000 % |
3955.85/3955.88	c |   8952249 |    2498   580131  1626523 |        1   413674    100 |  0.000 % |
4135.26/4135.25	c |   8959441 |    2498   580131  1626523 |        1   420866    101 |  0.000 % |
4135.26/4135.25	c |   9004217 |    2498   580131  1626523 |        1   253630     84 |  0.000 % |
4135.26/4135.25	c |   9004385 |    2498   580131  1626523 |        1   253798     84 |  0.000 % |
4135.26/4135.25	c |   9004485 |    2498   580131  1626523 |        1   253898     84 |  0.000 % |
4135.26/4135.25	c |   9006136 |    2498   580131  1626523 |        1   255549     84 |  0.000 % |
4135.26/4135.25	c |   9006813 |    2498   580131  1626523 |        1   256226     84 |  0.000 % |
4135.26/4135.25	c |   9006914 |    2498   580131  1626523 |        1   256327     84 |  0.000 % |
4135.26/4135.25	c |   9039876 |    2498   580131  1626523 |        1   289289     85 |  0.000 % |
4135.26/4135.25	c |   9040182 |    2498   580131  1626523 |        1   289595     85 |  0.000 % |
4135.26/4135.25	c |   9040285 |    2498   580131  1626523 |        1   289698     85 |  0.000 % |
4135.26/4135.25	c |   9041890 |    2498   580131  1626523 |        1   291303     85 |  0.000 % |
4135.26/4135.25	c |   9041991 |    2498   580131  1626523 |        1   291404     85 |  0.000 % |
4135.26/4135.25	c |   9042096 |    2498   580131  1626523 |        1   291509     85 |  0.000 % |
4135.26/4135.25	c |   9042354 |    2498   580131  1626523 |        1   291767     86 |  0.000 % |
4135.26/4135.25	c |   9044470 |    2498   580131  1626523 |        1   293883     86 |  0.000 % |
4135.26/4135.25	c |   9044571 |    2498   580131  1626523 |        1   293984     86 |  0.000 % |
4135.26/4135.25	c |   9044761 |    2498   580131  1626523 |        1   294174     86 |  0.000 % |
4135.26/4135.25	c |   9045086 |    2498   580131  1626523 |        1   294499     86 |  0.000 % |
4135.26/4135.25	c |   9045188 |    2498   580131  1626523 |        1   294601     86 |  0.000 % |
4135.26/4135.25	c |   9084266 |    2498   580131  1626523 |        1   333679     91 |  0.000 % |
4135.26/4135.25	c |   9088890 |    2498   580131  1626523 |        1   338303     91 |  0.000 % |
4135.26/4135.25	c |   9110089 |    2498   580131  1626523 |        1   359502     93 |  0.000 % |
4135.26/4135.25	c |   9110189 |    2498   580131  1626523 |        1   359602     93 |  0.000 % |
4135.26/4135.25	c |   9110294 |    2498   580131  1626523 |        1   359707     93 |  0.000 % |
4135.26/4135.25	c |   9110394 |    2498   580131  1626523 |        1   359807     93 |  0.000 % |
4135.26/4135.25	c |   9110617 |    2498   580131  1626523 |        1   360030     93 |  0.000 % |
4135.26/4135.25	c |   9111689 |    2498   580131  1626523 |        1   361102     94 |  0.000 % |
4135.26/4135.25	c |   9111795 |    2498   580131  1626523 |        1   361208     94 |  0.000 % |
4135.26/4135.25	c |   9136869 |    2498   580131  1626523 |        1   386282     95 |  0.000 % |
4135.26/4135.25	c |   9136997 |    2498   580131  1626523 |        1   386410     95 |  0.000 % |
4135.26/4135.25	c |   9137103 |    2498   580131  1626523 |        1   386516     95 |  0.000 % |
4135.26/4135.25	c |   9139335 |    2498   580131  1626523 |        1   388748     95 |  0.000 % |
4135.26/4135.25	c |   9139486 |    2498   580131  1626523 |        1   388899     95 |  0.000 % |
4135.26/4135.25	c |   9139589 |    2498   580131  1626523 |        1   389002     95 |  0.000 % |
4135.26/4135.25	c |   9139689 |    2498   580131  1626523 |        1   389102     95 |  0.000 % |
4135.26/4135.25	c |   9142883 |    2498   580131  1626523 |        1   392296     96 |  0.000 % |
4135.26/4135.25	c |   9142983 |    2498   580131  1626523 |        1   392396     96 |  0.000 % |
4135.26/4135.25	c |   9143084 |    2498   580131  1626523 |        1   392497     96 |  0.000 % |
4135.26/4135.25	c |   9143184 |    2498   580131  1626523 |        1   392597     96 |  0.000 % |
4135.26/4135.25	c |   9143285 |    2498   580131  1626523 |        1   392698     96 |  0.000 % |
4135.26/4135.25	c |   9143396 |    2498   580131  1626523 |        1   392809     96 |  0.000 % |
4135.26/4135.25	c |   9154677 |    2498   580131  1626523 |        1   404090     96 |  0.000 % |
4135.26/4135.25	c |   9155875 |    2498   580131  1626523 |        1   405288     96 |  0.000 % |
4135.26/4135.25	c |   9191622 |    2498   580131  1626523 |        1   226432     77 |  0.000 % |
4135.26/4135.25	c |   9191722 |    2498   580131  1626523 |        1   226532     77 |  0.000 % |
4135.26/4135.25	c |   9199601 |    2498   580131  1626523 |        1   234411     79 |  0.000 % |
4135.26/4135.25	c |   9199701 |    2498   580131  1626523 |        1   234511     79 |  0.000 % |
4135.26/4135.25	c |   9205409 |    2498   580131  1626523 |        1   240219     80 |  0.000 % |
4135.26/4135.25	c |   9233472 |    2498   580131  1626523 |        1   268282     83 |  0.000 % |
4135.26/4135.25	c |   9233572 |    2498   580131  1626523 |        1   268382     83 |  0.000 % |
4323.86/4323.82	c |   9236134 |    2498   580131  1626523 |        1   270944     83 |  0.000 % |
4323.86/4323.82	c |   9236235 |    2498   580131  1626523 |        1   271045     83 |  0.000 % |
4323.86/4323.82	c |   9236337 |    2498   580131  1626523 |        1   271147     83 |  0.000 % |
4323.86/4323.82	c |   9236633 |    2498   580131  1626523 |        1   271443     83 |  0.000 % |
4323.86/4323.82	c |   9258672 |    2498   580131  1626523 |        1   293482     86 |  0.000 % |
4323.86/4323.82	c |   9258773 |    2498   580131  1626523 |        1   293583     86 |  0.000 % |
4323.86/4323.82	c |   9301339 |    2498   580131  1626523 |        1   336149     93 |  0.000 % |
4323.86/4323.82	c |   9301494 |    2498   580131  1626523 |        1   336304     93 |  0.000 % |
4323.86/4323.82	c |   9305984 |    2498   580131  1626523 |        1   340794     93 |  0.000 % |
4323.86/4323.82	c |   9306124 |    2498   580131  1626523 |        1   340934     93 |  0.000 % |
4323.86/4323.82	c |   9306225 |    2498   580131  1626523 |        1   341035     93 |  0.000 % |
4323.86/4323.82	c |   9341428 |    2498   580131  1626523 |        1   376238     97 |  0.000 % |
4323.86/4323.82	c |   9341529 |    2498   580131  1626523 |        1   376339     97 |  0.000 % |
4323.86/4323.82	c |   9371420 |    2498   580131  1626523 |        1   406230     99 |  0.000 % |
4323.86/4323.82	c |   9371521 |    2498   580131  1626523 |        1   406331     99 |  0.000 % |
4323.86/4323.82	c |   9371621 |    2498   580131  1626523 |        1   406431     99 |  0.000 % |
4323.86/4323.82	c |   9371721 |    2498   580131  1626523 |        1   406531     99 |  0.000 % |
4323.86/4323.82	c |   9409819 |    2498   580131  1626523 |        1   227432     77 |  0.000 % |
4323.86/4323.82	c |   9410479 |    2498   580131  1626523 |        1   228092     77 |  0.000 % |
4323.86/4323.82	c |   9410579 |    2498   580131  1626523 |        1   228192     77 |  0.000 % |
4323.86/4323.82	c |   9410680 |    2498   580131  1626523 |        1   228293     77 |  0.000 % |
4323.86/4323.82	c |   9410780 |    2498   580131  1626523 |        1   228393     77 |  0.000 % |
4323.86/4323.82	c |   9411144 |    2498   580131  1626523 |        1   228757     78 |  0.000 % |
4323.86/4323.82	c |   9412952 |    2498   580131  1626523 |        1   230565     78 |  0.000 % |
4323.86/4323.82	c |   9413053 |    2498   580131  1626523 |        1   230666     78 |  0.000 % |
4323.86/4323.82	c |   9413601 |    2498   580131  1626523 |        1   231214     78 |  0.000 % |
4323.86/4323.82	c |   9413719 |    2498   580131  1626523 |        1   231332     78 |  0.000 % |
4323.86/4323.82	c |   9413820 |    2498   580131  1626523 |        1   231433     78 |  0.000 % |
4323.86/4323.82	c |   9413922 |    2498   580131  1626523 |        1   231535     78 |  0.000 % |
4323.86/4323.82	c |   9415389 |    2498   580131  1626523 |        1   233002     79 |  0.000 % |
4323.86/4323.82	c |   9418807 |    2498   580131  1626523 |        1   236420     79 |  0.000 % |
4323.86/4323.82	c |   9418908 |    2498   580131  1626523 |        1   236521     79 |  0.000 % |
4323.86/4323.82	c |   9487854 |    2498   580131  1626523 |        1   305467     88 |  0.000 % |
4323.86/4323.82	c |   9487986 |    2498   580131  1626523 |        1   305599     88 |  0.000 % |
4323.86/4323.82	c |   9488086 |    2498   580131  1626523 |        1   305699     88 |  0.000 % |
4323.86/4323.82	c |   9491102 |    2498   580131  1626523 |        1   308715     88 |  0.000 % |
4323.86/4323.82	c |   9491202 |    2498   580131  1626523 |        1   308815     88 |  0.000 % |
4323.86/4323.82	c |   9503331 |    2498   580131  1626523 |        1   320944     91 |  0.000 % |
4323.86/4323.82	c |   9513513 |    2498   580131  1626523 |        1   331126     91 |  0.000 % |
4323.86/4323.82	c |   9516982 |    2498   580131  1626523 |        1   334595     91 |  0.000 % |
4323.86/4323.82	c |   9519630 |    2498   580131  1626523 |        1   337243     91 |  0.000 % |
4323.86/4323.82	c |   9519733 |    2498   580131  1626523 |        1   337346     91 |  0.000 % |
4323.86/4323.82	c |   9529804 |    2498   580131  1626523 |        1   347417     93 |  0.000 % |
4323.86/4323.82	c |   9529904 |    2498   580131  1626523 |        1   347517     93 |  0.000 % |
4323.86/4323.82	c |   9530004 |    2498   580131  1626523 |        1   347617     93 |  0.000 % |
4323.86/4323.82	c |   9530211 |    2498   580131  1626523 |        1   347824     93 |  0.000 % |
4323.86/4323.82	c |   9530313 |    2498   580131  1626523 |        1   347926     93 |  0.000 % |
4323.86/4323.82	c |   9530755 |    2498   580131  1626523 |        1   348368     93 |  0.000 % |
4323.86/4323.82	c |   9530855 |    2498   580131  1626523 |        1   348468     93 |  0.000 % |
4323.86/4323.82	c |   9530957 |    2498   580131  1626523 |        1   348570     93 |  0.000 % |
4563.47/4563.40	c |   9531058 |    2498   580131  1626523 |        1   348671     93 |  0.000 % |
4563.47/4563.40	c |   9566523 |    2498   580131  1626523 |        1   384136     97 |  0.000 % |
4563.47/4563.40	c |   9566628 |    2498   580131  1626523 |        1   384241     97 |  0.000 % |
4563.47/4563.40	c |   9569018 |    2498   580131  1626523 |        1   386631     97 |  0.000 % |
4563.47/4563.40	c |   9569118 |    2498   580131  1626523 |        1   386731     97 |  0.000 % |
4563.47/4563.40	c |   9599841 |    2498   580131  1626523 |        1   417454    101 |  0.000 % |
4563.47/4563.40	c |   9600004 |    2498   580131  1626523 |        1   417617    101 |  0.000 % |
4563.47/4563.40	c |   9600104 |    2498   580131  1626523 |        1   417717    101 |  0.000 % |
4563.47/4563.40	c |   9600206 |    2498   580131  1626523 |        1   417819    101 |  0.000 % |
4563.47/4563.40	c |   9600961 |    2498   580131  1626523 |        1   418574    101 |  0.000 % |
4563.47/4563.40	c |   9601161 |    2498   580131  1626523 |        1   418774    101 |  0.000 % |
4563.47/4563.40	c |   9601282 |    2498   580131  1626523 |        1   418895    101 |  0.000 % |
4563.47/4563.40	c |   9635711 |    2498   580131  1626523 |        1   233521     78 |  0.000 % |
4563.47/4563.40	c |   9635811 |    2498   580131  1626523 |        1   233621     78 |  0.000 % |
4563.47/4563.40	c |   9635913 |    2498   580131  1626523 |        1   233723     78 |  0.000 % |
4563.47/4563.40	c |   9636014 |    2498   580131  1626523 |        1   233824     78 |  0.000 % |
4563.47/4563.40	c |   9670688 |    2498   580131  1626523 |        1   268498     83 |  0.000 % |
4563.47/4563.40	c |   9679339 |    2498   580131  1626523 |        1   277149     84 |  0.000 % |
4563.47/4563.40	c |   9679510 |    2498   580131  1626523 |        1   277320     84 |  0.000 % |
4563.47/4563.40	c |   9679612 |    2498   580131  1626523 |        1   277422     84 |  0.000 % |
4563.47/4563.40	c |   9679793 |    2498   580131  1626523 |        1   277603     84 |  0.000 % |
4563.47/4563.40	c |   9680189 |    2498   580131  1626523 |        1   277999     84 |  0.000 % |
4563.47/4563.40	c |   9680360 |    2498   580131  1626523 |        1   278170     84 |  0.000 % |
4563.47/4563.40	c |   9680461 |    2498   580131  1626523 |        1   278271     84 |  0.000 % |
4563.47/4563.40	c |   9684756 |    2498   580131  1626523 |        1   282566     85 |  0.000 % |
4563.47/4563.40	c |   9689477 |    2498   580131  1626523 |        1   287287     85 |  0.000 % |
4563.47/4563.40	c |   9693853 |    2498   580131  1626523 |        1   291663     86 |  0.000 % |
4563.47/4563.40	c |   9693961 |    2498   580131  1626523 |        1   291771     86 |  0.000 % |
4563.47/4563.40	c |   9695008 |    2498   580131  1626523 |        1   292818     86 |  0.000 % |
4563.47/4563.40	c |   9698540 |    2498   580131  1626523 |        1   296350     86 |  0.000 % |
4563.47/4563.40	c |   9788639 |    2498   580131  1626523 |        1   386449     92 |  0.000 % |
4563.47/4563.40	c |   9788764 |    2498   580131  1626523 |        1   386574     92 |  0.000 % |
4563.47/4563.40	c |   9839889 |    2498   580131  1626523 |        1   437699     97 |  0.000 % |
4563.47/4563.40	c |   9839990 |    2498   580131  1626523 |        1   437800     97 |  0.000 % |
4563.47/4563.40	c |   9840090 |    2498   580131  1626523 |        1   437900     97 |  0.000 % |
4563.47/4563.40	c |   9840227 |    2498   580131  1626523 |        1   438037     97 |  0.000 % |
4563.47/4563.40	c |   9840815 |    2498   580131  1626523 |        1   438625     97 |  0.000 % |
4563.47/4563.40	c |   9840918 |    2498   580131  1626523 |        1   438728     97 |  0.000 % |
4563.47/4563.40	c |   9841070 |    2498   580131  1626523 |        1   438880     97 |  0.000 % |
4563.47/4563.40	c |   9841170 |    2498   580131  1626523 |        1   438980     97 |  0.000 % |
4563.47/4563.40	c |   9841279 |    2498   580131  1626523 |        1   439089     97 |  0.000 % |
4563.47/4563.40	c |   9841379 |    2498   580131  1626523 |        1   439189     97 |  0.000 % |
4563.47/4563.40	c |   9870781 |    2498   580131  1626523 |        1   246199     83 |  0.000 % |
4563.47/4563.40	c |   9870948 |    2498   580131  1626523 |        1   246366     83 |  0.000 % |
4563.47/4563.40	c |   9871051 |    2498   580131  1626523 |        1   246469     83 |  0.000 % |
4563.47/4563.40	c |   9871676 |    2498   580131  1626523 |        1   247094     83 |  0.000 % |
4563.47/4563.40	c |   9871776 |    2498   580131  1626523 |        1   247194     83 |  0.000 % |
4563.47/4563.40	c |   9871877 |    2498   580131  1626523 |        1   247295     83 |  0.000 % |
4563.47/4563.40	c |   9871979 |    2498   580131  1626523 |        1   247397     83 |  0.000 % |
4563.47/4563.40	c |   9879568 |    2498   580131  1626523 |        1   254986     85 |  0.000 % |
4682.28/4682.24	c |   9879825 |    2498   580131  1626523 |        1   255243     85 |  0.000 % |
4682.28/4682.24	c |   9880073 |    2498   580131  1626523 |        1   255491     85 |  0.000 % |
4682.28/4682.24	c |   9880209 |    2498   580131  1626523 |        1   255627     85 |  0.000 % |
4682.28/4682.24	c |   9880312 |    2498   580131  1626523 |        1   255730     85 |  0.000 % |
4682.28/4682.24	c |   9880413 |    2498   580131  1626523 |        1   255831     85 |  0.000 % |
4682.28/4682.24	c |   9880514 |    2498   580131  1626523 |        1   255932     85 |  0.000 % |
4682.28/4682.24	c |   9880614 |    2498   580131  1626523 |        1   256032     85 |  0.000 % |
4682.28/4682.24	c |   9880726 |    2498   580131  1626523 |        1   256144     85 |  0.000 % |
4682.28/4682.24	c |   9880828 |    2498   580131  1626523 |        1   256246     85 |  0.000 % |
4682.28/4682.24	c |   9880930 |    2498   580131  1626523 |        1   256348     85 |  0.000 % |
4682.28/4682.24	c |   9966705 |    2498   580131  1626523 |        1   342123    101 |  0.000 % |
4682.28/4682.24	c |   9966805 |    2498   580131  1626523 |        1   342223    101 |  0.000 % |
4682.28/4682.24	c |   9966910 |    2498   580131  1626523 |        1   342328    101 |  0.000 % |
4682.28/4682.24	c |   9967012 |    2498   580131  1626523 |        1   342430    101 |  0.000 % |
4682.28/4682.24	c |   9967112 |    2498   580131  1626523 |        1   342530    101 |  0.000 % |
4682.28/4682.24	c |   9969790 |    2498   580131  1626523 |        1   345208    102 |  0.000 % |
4682.28/4682.24	c |   9969960 |    2498   580131  1626523 |        1   345378    102 |  0.000 % |
4682.28/4682.24	c |   9970746 |    2498   580131  1626523 |        1   346164    102 |  0.000 % |
4682.28/4682.24	c |   9970846 |    2498   580131  1626523 |        1   346264    102 |  0.000 % |
4682.28/4682.24	c |   9970946 |    2498   580131  1626523 |        1   346364    102 |  0.000 % |
4682.28/4682.24	c |   9971047 |    2498   580131  1626523 |        1   346465    102 |  0.000 % |
4682.28/4682.24	c |   9971149 |    2498   580131  1626523 |        1   346567    102 |  0.000 % |
4682.28/4682.24	c |   9971249 |    2498   580131  1626523 |        1   346667    102 |  0.000 % |
4682.28/4682.24	c |   9978335 |    2498   580131  1626523 |        1   353753    102 |  0.000 % |
4682.28/4682.24	c |   9978435 |    2498   580131  1626523 |        1   353853    102 |  0.000 % |
4682.28/4682.24	c |   9978536 |    2498   580131  1626523 |        1   353954    102 |  0.000 % |
4682.28/4682.24	c |   9978636 |    2498   580131  1626523 |        1   354054    102 |  0.000 % |
4682.28/4682.24	c |   9984951 |    2498   580131  1626523 |        1   360369    103 |  0.000 % |
4682.28/4682.24	c |  10014840 |    2498   580131  1626523 |        1   390258    106 |  0.000 % |
4682.28/4682.24	c |  10014940 |    2498   580131  1626523 |        1   390358    106 |  0.000 % |
4682.28/4682.24	c |  10015040 |    2498   580131  1626523 |        1   390458    106 |  0.000 % |
4682.28/4682.24	c |  10015146 |    2498   580131  1626523 |        1   390564    106 |  0.000 % |
4682.28/4682.24	c |  10015246 |    2498   580131  1626523 |        1   390664    106 |  0.000 % |
4682.28/4682.24	c |  10015346 |    2498   580131  1626523 |        1   390764    106 |  0.000 % |
4682.28/4682.24	c |  10015448 |    2498   580131  1626523 |        1   390866    106 |  0.000 % |
4682.28/4682.24	c |  10015548 |    2498   580131  1626523 |        1   390966    106 |  0.000 % |
4682.28/4682.24	c |  10015650 |    2498   580131  1626523 |        1   391068    106 |  0.000 % |
4682.28/4682.24	c |  10015752 |    2498   580131  1626523 |        1   391170    106 |  0.000 % |
4682.28/4682.24	c |  10015963 |    2498   580131  1626523 |        1   391381    106 |  0.000 % |
4682.28/4682.24	c |  10016067 |    2498   580131  1626523 |        1   391485    106 |  0.000 % |
4682.28/4682.24	c |  10016170 |    2498   580131  1626523 |        1   391588    106 |  0.000 % |
4682.28/4682.24	c |  10016497 |    2498   580131  1626523 |        1   391915    106 |  0.000 % |
4682.28/4682.24	c |  10016598 |    2498   580131  1626523 |        1   392016    106 |  0.000 % |
4682.28/4682.24	c |  10016820 |    2498   580131  1626523 |        1   392238    106 |  0.000 % |
4682.28/4682.24	c |  10016920 |    2498   580131  1626523 |        1   392338    106 |  0.000 % |
4682.28/4682.24	c |  10017022 |    2498   580131  1626523 |        1   392440    106 |  0.000 % |
4682.28/4682.24	c |  10017124 |    2498   580131  1626523 |        1   392542    106 |  0.000 % |
4682.28/4682.24	c |  10017227 |    2498   580131  1626523 |        1   392645    106 |  0.000 % |
4682.28/4682.24	c |  10017332 |    2498   580131  1626523 |        1   392750    106 |  0.000 % |
4682.28/4682.24	c |  10017432 |    2498   580131  1626523 |        1   392850    106 |  0.000 % |
4929.79/4929.77	c |  10034166 |    2498   580131  1626523 |        1   409584    107 |  0.000 % |
4929.79/4929.77	c |  10034267 |    2498   580131  1626523 |        1   409685    107 |  0.000 % |
4929.79/4929.77	c |  10034368 |    2498   580131  1626523 |        1   409786    107 |  0.000 % |
4929.79/4929.77	c |  10034468 |    2498   580131  1626523 |        1   409886    107 |  0.000 % |
4929.79/4929.77	c |  10034568 |    2498   580131  1626523 |        1   409986    107 |  0.000 % |
4929.79/4929.77	c |  10034669 |    2498   580131  1626523 |        1   410087    107 |  0.000 % |
4929.79/4929.77	c |  10038996 |    2498   580131  1626523 |        1   414414    108 |  0.000 % |
4929.79/4929.77	c |  10039096 |    2498   580131  1626523 |        1   414514    108 |  0.000 % |
4929.79/4929.77	c |  10039196 |    2498   580131  1626523 |        1   414614    108 |  0.000 % |
4929.79/4929.77	c |  10039296 |    2498   580131  1626523 |        1   414714    108 |  0.000 % |
4929.79/4929.77	c |  10044333 |    2498   580131  1626523 |        1   419751    108 |  0.000 % |
4929.79/4929.77	c |  10044433 |    2498   580131  1626523 |        1   419851    108 |  0.000 % |
4929.79/4929.77	c |  10044533 |    2498   580131  1626523 |        1   419951    108 |  0.000 % |
4929.79/4929.77	c |  10181244 |    2498   580131  1626523 |        1   331658     88 |  0.000 % |
4929.79/4929.77	c |  10191612 |    2498   580131  1626523 |        1   342026     91 |  0.000 % |
4929.79/4929.77	c |  10192416 |    2498   580131  1626523 |        1   342830     91 |  0.000 % |
4929.79/4929.77	c |  10192518 |    2498   580131  1626523 |        1   342932     91 |  0.000 % |
4929.79/4929.77	c |  10196159 |    2498   580131  1626523 |        1   346573     91 |  0.000 % |
4929.79/4929.77	c |  10202870 |    2498   580131  1626523 |        1   353284     92 |  0.000 % |
4929.79/4929.77	c |  10202971 |    2498   580131  1626523 |        1   353385     92 |  0.000 % |
4929.79/4929.77	c |  10203072 |    2498   580131  1626523 |        1   353486     92 |  0.000 % |
4929.79/4929.77	c |  10203172 |    2498   580131  1626523 |        1   353586     92 |  0.000 % |
4929.79/4929.77	c |  10203326 |    2498   580131  1626523 |        1   353740     92 |  0.000 % |
4929.79/4929.77	c |  10236522 |    2498   580131  1626523 |        1   386936     92 |  0.000 % |
4929.79/4929.77	c |  10236622 |    2498   580131  1626523 |        1   387036     92 |  0.000 % |
4929.79/4929.77	c |  10236725 |    2498   580131  1626523 |        1   387139     92 |  0.000 % |
4929.79/4929.77	c |  10239655 |    2498   580131  1626523 |        1   390069     92 |  0.000 % |
4929.79/4929.77	c |  10239759 |    2498   580131  1626523 |        1   390173     92 |  0.000 % |
4929.79/4929.77	c |  10239859 |    2498   580131  1626523 |        1   390273     92 |  0.000 % |
4929.79/4929.77	c |  10242641 |    2498   580131  1626523 |        1   393055     92 |  0.000 % |
4929.79/4929.77	c |  10242768 |    2498   580131  1626523 |        1   393182     92 |  0.000 % |
4929.79/4929.77	c |  10243226 |    2498   580131  1626523 |        1   393640     92 |  0.000 % |
4929.79/4929.77	c |  10243331 |    2498   580131  1626523 |        1   393745     92 |  0.000 % |
4929.79/4929.77	c |  10243494 |    2498   580131  1626523 |        1   393908     92 |  0.000 % |
4929.79/4929.77	c |  10244250 |    2498   580131  1626523 |        1   394664     92 |  0.000 % |
4929.79/4929.77	c |  10244352 |    2498   580131  1626523 |        1   394766     92 |  0.000 % |
4929.79/4929.77	c |  10244874 |    2498   580131  1626523 |        1   395288     93 |  0.000 % |
4929.79/4929.77	c |  10309431 |    2498   580131  1626523 |        1   232244     76 |  0.000 % |
4929.79/4929.77	c |  10315072 |    2498   580131  1626523 |        1   237885     78 |  0.000 % |
4929.79/4929.77	c |  10315175 |    2498   580131  1626523 |        1   237988     78 |  0.000 % |
4929.79/4929.77	c |  10315277 |    2498   580131  1626523 |        1   238090     78 |  0.000 % |
4929.79/4929.77	c |  10331090 |    2498   580131  1626523 |        1   253903     81 |  0.000 % |
4929.79/4929.77	c |  10331231 |    2498   580131  1626523 |        1   254044     81 |  0.000 % |
4929.79/4929.77	c |  10331339 |    2498   580131  1626523 |        1   254152     81 |  0.000 % |
4929.79/4929.77	c |  10331442 |    2498   580131  1626523 |        1   254255     81 |  0.000 % |
4929.79/4929.77	c |  10331542 |    2498   580131  1626523 |        1   254355     81 |  0.000 % |
4929.79/4929.77	c |  10331652 |    2498   580131  1626523 |        1   254465     81 |  0.000 % |
4929.79/4929.77	c |  10342054 |    2498   580131  1626523 |        1   264867     82 |  0.000 % |
4929.79/4929.77	c |  10343105 |    2498   580131  1626523 |        1   265918     82 |  0.000 % |
4929.79/4929.77	c |  10343208 |    2498   580131  1626523 |

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: 977)

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-3303598-1306950618/watcher-3303598-1306950618 -o /tmp/evaluation-result-3303598-1306950618/solver-3303598-1306950618 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303598-1306950618.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: 2.13 2.07 2.01 2/576 7633
/proc/meminfo: memFree=23942660/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659517 8912896 252 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7633/statm: 2176 252 211 178 0 69 0

[startup+0.0827669 s]
/proc/loadavg: 2.13 2.07 2.01 2/576 7633
/proc/meminfo: memFree=23942660/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659517 8912896 252 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7633/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100769 s]
/proc/loadavg: 2.13 2.07 2.01 2/576 7633
/proc/meminfo: memFree=23942660/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659517 8912896 252 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7633/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300739 s]
/proc/loadavg: 2.13 2.07 2.01 2/576 7633
/proc/meminfo: memFree=23942660/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659517 8912896 252 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7633/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700684 s]
/proc/loadavg: 2.13 2.07 2.01 2/576 7633
/proc/meminfo: memFree=23942660/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659517 8912896 252 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7633/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50048 s]
/proc/loadavg: 2.13 2.07 2.01 3/578 7636
/proc/meminfo: memFree=23893696/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659517 8912896 252 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7633/statm: 2176 252 211 178 0 69 0
[pid=7634] ppid=7633 vsize=51756 CPUtime=1.49 cores=0,2,4,6
/proc/7634/stat : 7634 (SatELite_releas) R 7633 7633 6362 0 -1 4202496 10573 0 0 0 147 2 0 0 25 0 1 0 806659517 52998144 10528 33554432000 134512640 135144242 4290565584 18446744073709551615 134588924 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7634/statm: 12939 10528 77 155 0 12782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60460

[startup+3.10014 s]
/proc/loadavg: 2.13 2.07 2.01 3/578 7636
/proc/meminfo: memFree=23876460/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 8704
heavy processes:

[startup+6.30063 s]
/proc/loadavg: 2.12 2.07 2.01 3/578 7637
/proc/meminfo: memFree=23835620/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=68776 CPUtime=4.12 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 30255 0 0 0 409 3 0 0 25 0 1 0 806659730 70426624 13888 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 17194 13888 251 17 0 13835 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 77480

[startup+12.7005 s]
/proc/loadavg: 2.11 2.07 2.01 3/578 7638
/proc/meminfo: memFree=23809976/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=99128 CPUtime=10.53 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 37437 0 0 0 1048 5 0 0 25 0 1 0 806659730 101507072 20422 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 24782 20422 251 17 0 21423 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 107832

[startup+25.5011 s]
/proc/loadavg: 2.08 2.06 2.01 3/578 7638
/proc/meminfo: memFree=23762216/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=129752 CPUtime=23.32 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 46297 0 0 0 2326 6 0 0 25 0 1 0 806659730 132866048 28955 33554432000 4194304 4260849 140735624014128 18446744073709551615 4226291 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 32438 28955 251 17 0 29079 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 138456

[startup+51.1005 s]
/proc/loadavg: 2.28 2.10 2.02 3/578 7639
/proc/meminfo: memFree=23754824/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=129752 CPUtime=48.92 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 46582 0 0 0 4886 6 0 0 25 0 1 0 806659730 132866048 29240 33554432000 4194304 4260849 140735624014128 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 32438 29240 251 17 0 29079 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 138456

[startup+102.322 s]
/proc/loadavg: 2.11 2.08 2.02 3/578 7640
/proc/meminfo: memFree=23711028/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=129756 CPUtime=100.14 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 120093 0 0 0 9995 19 0 0 25 0 1 0 806659730 132870144 28360 33554432000 4194304 4260849 140735624014128 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 32439 28360 251 17 0 29080 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 138460

[startup+162.301 s]
/proc/loadavg: 2.04 2.07 2.01 3/578 7641
/proc/meminfo: memFree=23698220/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=130060 CPUtime=160.13 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 181698 0 0 0 15981 32 0 0 25 0 1 0 806659730 133181440 29044 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 32515 29044 251 17 0 29156 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 138764

[startup+222.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/578 7643
/proc/meminfo: memFree=23719508/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=130060 CPUtime=220.13 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 239305 0 0 0 21972 41 0 0 25 0 1 0 806659730 133181440 25442 33554432000 4194304 4260849 140735624014128 18446744073709551615 4227281 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 32515 25442 251 17 0 29156 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 138764

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/578 7645
/proc/meminfo: memFree=23681280/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=160880 CPUtime=280.13 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 276099 0 0 0 27964 49 0 0 25 0 1 0 806659730 164741120 31327 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 40220 31327 251 17 0 36861 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 169584

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/578 7646
/proc/meminfo: memFree=23650872/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=160880 CPUtime=340.13 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 311142 0 0 0 33957 56 0 0 25 0 1 0 806659730 164741120 33488 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 40220 33488 251 17 0 36861 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 169584

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/578 7648
/proc/meminfo: memFree=23676860/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0

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

/proc/7637/statm: 74150 67060 252 17 0 70791 0
Current children cumulated CPU time (s) 4302.36
Current children cumulated vsize (KiB) 305304

[startup+4362.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/578 7774
/proc/meminfo: memFree=23304780/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=377988 CPUtime=4360.26 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2095835 0 0 0 435567 459 0 0 25 0 1 0 806659730 387059712 79733 33554432000 4194304 4260849 140735624014128 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 94497 79733 252 17 0 91138 0
Current children cumulated CPU time (s) 4362.37
Current children cumulated vsize (KiB) 386692

[startup+4422.3 s]
/proc/loadavg: 2.32 2.10 2.03 3/578 7776
/proc/meminfo: memFree=23344308/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=296600 CPUtime=4420.26 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2126407 0 0 0 441560 466 0 0 25 0 1 0 806659730 303718400 61467 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 74150 61467 252 17 0 70791 0
Current children cumulated CPU time (s) 4422.37
Current children cumulated vsize (KiB) 305304

[startup+4482.3 s]
/proc/loadavg: 2.18 2.10 2.03 3/578 7781
/proc/meminfo: memFree=23387260/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=377988 CPUtime=4480.26 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2137235 0 0 0 447557 469 0 0 25 0 1 0 806659730 387059712 72209 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 94497 72209 252 17 0 91138 0
Current children cumulated CPU time (s) 4482.37
Current children cumulated vsize (KiB) 386692

[startup+4542.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/578 7782
/proc/meminfo: memFree=23311772/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=378652 CPUtime=4540.26 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2146964 0 0 0 453553 473 0 0 25 0 1 0 806659730 387739648 81858 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 94663 81858 252 17 0 91304 0
Current children cumulated CPU time (s) 4542.37
Current children cumulated vsize (KiB) 387356

[startup+4602.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/578 7784
/proc/meminfo: memFree=23326356/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=297264 CPUtime=4600.27 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2179929 0 0 0 459548 479 0 0 25 0 1 0 806659730 304398336 67478 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 74316 67478 252 17 0 70957 0
Current children cumulated CPU time (s) 4602.38
Current children cumulated vsize (KiB) 305968

[startup+4662.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/578 7785
/proc/meminfo: memFree=23332400/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=379128 CPUtime=4660.27 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2190411 0 0 0 465545 482 0 0 25 0 1 0 806659730 388227072 77895 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 94782 77895 252 17 0 91423 0
Current children cumulated CPU time (s) 4662.38
Current children cumulated vsize (KiB) 387832

[startup+4722.32 s]
/proc/loadavg: 2.00 2.04 2.01 3/578 7787
/proc/meminfo: memFree=23266384/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=379600 CPUtime=4720.29 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2199210 0 0 0 471544 485 0 0 25 0 1 0 806659730 388710400 86638 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 94900 86638 252 17 0 91541 0
Current children cumulated CPU time (s) 4722.4
Current children cumulated vsize (KiB) 388304

[startup+4782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/578 7789
/proc/meminfo: memFree=23317436/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=298592 CPUtime=4780.27 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2230622 0 0 0 477536 491 0 0 25 0 1 0 806659730 305758208 65185 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 74648 65185 252 17 0 71289 0
Current children cumulated CPU time (s) 4782.38
Current children cumulated vsize (KiB) 307296

[startup+4842.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/578 7790
/proc/meminfo: memFree=23343672/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=380992 CPUtime=4840.27 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2239289 0 0 0 483533 494 0 0 25 0 1 0 806659730 390135808 73791 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 95248 73791 252 17 0 91889 0
Current children cumulated CPU time (s) 4842.38
Current children cumulated vsize (KiB) 389696

[startup+4902.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/578 7792
/proc/meminfo: memFree=23255704/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=381672 CPUtime=4900.27 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2249879 0 0 0 489530 497 0 0 25 0 1 0 806659730 390832128 84312 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 95418 84312 252 17 0 92059 0
Current children cumulated CPU time (s) 4902.38
Current children cumulated vsize (KiB) 390376

[startup+4962.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/578 7794
/proc/meminfo: memFree=23408664/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=300284 CPUtime=4960.27 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2282517 0 0 0 495522 505 0 0 25 0 1 0 806659730 307490816 67734 33554432000 4194304 4260849 140735624014128 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 75071 67734 252 17 0 71712 0
Current children cumulated CPU time (s) 4962.38
Current children cumulated vsize (KiB) 308988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.19 2.09 2.02 2/576 7796
/proc/meminfo: memFree=23636684/32951124 swapFree=58940260/67111528
[pid=7633] ppid=7631 vsize=8704 CPUtime=2.11 cores=0,2,4,6
/proc/7633/stat : 7633 (glucose.sh) S 7631 7633 6362 0 -1 4202496 360 10575 0 0 0 0 208 3 18 0 1 0 806659517 8912896 254 33554432000 4194304 4922060 140735907929568 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/7633/statm: 2176 254 211 178 0 69 0
[pid=7637] ppid=7633 vsize=382048 CPUtime=4997.98 cores=0,2,4,6
/proc/7637/stat : 7637 (glucose_static) R 7633 7633 6362 0 -1 4202496 2288914 0 0 0 499291 507 0 0 25 0 1 0 806659730 391217152 74093 33554432000 4194304 4260849 140735624014128 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7637/statm: 95512 74093 252 17 0 92153 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 390752

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 7633 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=90682
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=34994
# CPU time returned by wait4() is 2.12568
# while last known CPU time is 5000.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5000.03
CPU time (s): 5000.09
CPU user time (s): 4994.99
CPU system time (s): 5.1
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 520604

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

runsolver used 30.7913 second user time and 64.7202 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-01 19:50:18
IDJOB=3303598
IDBENCH=88204
IDSOLVER=1687
FILE ID=node139/3303598-1306950618
RUNJOBID= node139-1306950618-7612
PBS_JOBID= 13488591
Free space on /tmp= 73204 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303598-1306950618/watcher-3303598-1306950618 -o /tmp/evaluation-result-3303598-1306950618/solver-3303598-1306950618 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303598-1306950618.cnf 

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

MD5SUM BENCH= f34a5dd1cdce70a322dd395bcb5f1303
RANDOM SEED=2109726087

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.82
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23942940 kB
Buffers:        153592 kB
Cached:         337832 kB
SwapCached:       3628 kB
Active:        8385216 kB
Inactive:       324192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23942940 kB
SwapTotal:    67111528 kB
SwapFree:     58940260 kB
Dirty:           11684 kB
Writeback:           0 kB
AnonPages:     8215960 kB
Mapped:          33348 kB
Slab:           148752 kB
PageTables:      79080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 170904544 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= 73192 MiB
End job on node139 at 2011-06-01 21:13:40