Trace number 3280938

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) 1300.04 1300.01

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
MD5SUM90581094793af5fc10d4e4b9a10259ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark643.759
Satisfiable
(Un)Satisfiability was proved
Number of variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

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.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    4729    12297 |    1418       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    4024    11995 |      --       0       --      -- |     --   | -663/-215
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 969   #clauses: 4024   #literals: 11995
0.00/0.01	c CPU time:   0.009998 s
0.00/0.01	c ==============================================================================
0.00/0.01	c
0.00/0.01	c Starting glucose
0.00/0.01	c
52.98/53.04	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
52.98/53.04	c WARNING: for repeatability, setting FPU to use double precision
52.98/53.04	c ============================[ Problem Statistics ]=============================
52.98/53.04	c |                                                                             |
52.98/53.04	c |  Number of variables:           969                                         |
52.98/53.04	c |  Number of clauses:            4024                                         |
52.98/53.04	c |  Parse time:                   0.00 s                                       |
52.98/53.04	c |                                                                             |
52.98/53.04	c ============================[ Search Statistics ]==============================
52.98/53.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
52.98/53.04	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
52.98/53.04	c ===============================================================================
52.98/53.04	c |       342 |     969     4024    11995 |        1      342     19 |  0.000 % |
52.98/53.04	c |       823 |     969     4024    11995 |        1      823     30 |  0.000 % |
52.98/53.04	c |       924 |     969     4024    11995 |        1      924     31 |  0.000 % |
52.98/53.04	c |      1094 |     969     4024    11995 |        1     1094     33 |  0.000 % |
52.98/53.04	c |      1540 |     969     4024    11995 |        1     1540     36 |  0.000 % |
52.98/53.04	c |    442349 |     968     4020    11979 |        1    49688     17 |  0.103 % |
52.98/53.04	c |    445927 |     968     4020    11979 |        1    53266     18 |  0.103 % |
52.98/53.04	c |    446027 |     968     4020    11979 |        1    53366     18 |  0.103 % |
52.98/53.04	c |    446159 |     968     4020    11979 |        1    53498     18 |  0.103 % |
52.98/53.04	c |    446260 |     968     4020    11979 |        1    53599     18 |  0.103 % |
52.98/53.04	c |    446533 |     968     4020    11979 |        1    53872     18 |  0.103 % |
52.98/53.04	c |    446664 |     968     4020    11979 |        1    54003     18 |  0.103 % |
52.98/53.04	c |    446765 |     968     4020    11979 |        1    54104     18 |  0.103 % |
52.98/53.04	c |    446931 |     968     4020    11979 |        1    54270     18 |  0.103 % |
52.98/53.04	c |    447031 |     968     4020    11979 |        1    54370     18 |  0.103 % |
52.98/53.04	c |    447170 |     968     4020    11979 |        1    54509     18 |  0.103 % |
52.98/53.04	c |    447589 |     968     4020    11979 |        1    54928     18 |  0.103 % |
52.98/53.04	c |    447713 |     968     4020    11979 |        1    55052     18 |  0.103 % |
52.98/53.04	c |    447973 |     968     4020    11979 |        1    55312     18 |  0.103 % |
52.98/53.04	c |    448073 |     968     4020    11979 |        1    55412     18 |  0.103 % |
52.98/53.04	c |    448173 |     968     4020    11979 |        1    55512     19 |  0.103 % |
52.98/53.04	c |    448276 |     968     4020    11979 |        1    55615     19 |  0.103 % |
52.98/53.04	c |    448509 |     968     4020    11979 |        1    55848     19 |  0.103 % |
52.98/53.04	c |    448664 |     968     4020    11979 |        1    56003     19 |  0.103 % |
52.98/53.04	c |    448911 |     968     4020    11979 |        1    56250     19 |  0.103 % |
52.98/53.04	c |    449011 |     968     4020    11979 |        1    56350     19 |  0.103 % |
52.98/53.04	c |    449115 |     968     4020    11979 |        1    56454     19 |  0.103 % |
52.98/53.04	c |    454881 |     968     4020    11979 |        1    62220     20 |  0.103 % |
52.98/53.04	c |    455400 |     968     4020    11979 |        1    62739     20 |  0.103 % |
52.98/53.04	c |    455500 |     968     4020    11979 |        1    62839     20 |  0.103 % |
52.98/53.04	c |    457856 |     968     4020    11979 |        1    65195     21 |  0.103 % |
52.98/53.04	c |    464032 |     968     4020    11979 |        1    71371     21 |  0.103 % |
52.98/53.04	c |    464219 |     968     4020    11979 |        1    71558     21 |  0.103 % |
52.98/53.04	c |    464713 |     968     4020    11979 |        1    72052     21 |  0.103 % |
52.98/53.04	c |    465904 |     968     4020    11979 |        1    73243     21 |  0.103 % |
52.98/53.04	c |    466006 |     968     4020    11979 |        1    73345     21 |  0.103 % |
52.98/53.04	c |    466106 |     968     4020    11979 |        1    73445     21 |  0.103 % |
52.98/53.04	c |    466218 |     968     4020    11979 |        1    73557     21 |  0.103 % |
52.98/53.04	c |    466459 |     968     4020    11979 |        1    73798     21 |  0.103 % |
59.30/59.31	c |    466639 |     968     4020    11979 |        1    73978     21 |  0.103 % |
59.30/59.31	c |    466740 |     968     4020    11979 |        1    74079     21 |  0.103 % |
59.30/59.31	c |    471503 |     968     4020    11979 |        1    40284     14 |  0.103 % |
59.30/59.31	c |    471622 |     968     4020    11979 |        1    40403     14 |  0.103 % |
59.30/59.31	c |    471723 |     968     4020    11979 |        1    40504     14 |  0.103 % |
59.30/59.31	c |    471924 |     968     4020    11979 |        1    40705     14 |  0.103 % |
59.30/59.31	c |    472025 |     968     4020    11979 |        1    40806     14 |  0.103 % |
59.30/59.31	c |    472125 |     968     4020    11979 |        1    40906     14 |  0.103 % |
59.30/59.31	c |    472227 |     968     4020    11979 |        1    41008     14 |  0.103 % |
59.30/59.31	c |    472329 |     968     4020    11979 |        1    41110     14 |  0.103 % |
59.30/59.31	c |    475268 |     968     4020    11979 |        1    44049     15 |  0.103 % |
59.30/59.31	c |    475368 |     968     4020    11979 |        1    44149     15 |  0.103 % |
59.30/59.31	c |    476226 |     968     4020    11979 |        1    45007     15 |  0.103 % |
59.30/59.31	c |    476490 |     968     4020    11979 |        1    45271     16 |  0.103 % |
59.30/59.31	c |    476592 |     968     4020    11979 |        1    45373     16 |  0.103 % |
59.30/59.31	c |    476693 |     968     4020    11979 |        1    45474     16 |  0.103 % |
59.30/59.31	c |    476793 |     968     4020    11979 |        1    45574     16 |  0.103 % |
59.30/59.31	c |    477241 |     968     4020    11979 |        1    46022     16 |  0.103 % |
59.30/59.31	c |    478412 |     968     4020    11979 |        1    47193     16 |  0.103 % |
59.30/59.31	c |    478849 |     968     4020    11979 |        1    47630     16 |  0.103 % |
59.30/59.31	c |    478949 |     968     4020    11979 |        1    47730     16 |  0.103 % |
59.30/59.31	c |    479049 |     968     4020    11979 |        1    47830     16 |  0.103 % |
59.30/59.31	c |    516479 |     967     4016    11963 |        1    67259     18 |  0.206 % |
59.30/59.31	c |    517383 |     967     4016    11963 |        1    68163     18 |  0.206 % |
59.30/59.31	c |    517625 |     967     4016    11963 |        1    68405     18 |  0.206 % |
59.30/59.31	c |    517726 |     967     4016    11963 |        1    68506     18 |  0.206 % |
59.30/59.31	c |    518289 |     967     4016    11963 |        1    69069     18 |  0.206 % |
59.30/59.31	c |    518389 |     967     4016    11963 |        1    69169     18 |  0.206 % |
59.30/59.31	c |    518659 |     967     4016    11963 |        1    69439     19 |  0.206 % |
59.30/59.31	c |    518800 |     967     4016    11963 |        1    69580     19 |  0.206 % |
59.30/59.31	c |    518904 |     967     4016    11963 |        1    69684     19 |  0.206 % |
59.30/59.31	c |    519022 |     967     4016    11963 |        1    69802     19 |  0.206 % |
59.30/59.31	c |    519122 |     967     4016    11963 |        1    69902     19 |  0.206 % |
59.30/59.31	c |    519223 |     967     4016    11963 |        1    70003     19 |  0.206 % |
59.30/59.31	c |    520174 |     966     4012    11947 |        1    70947     19 |  0.310 % |
59.30/59.31	c |    520275 |     966     4012    11947 |        1    71048     19 |  0.310 % |
59.30/59.31	c |    520795 |     966     4012    11947 |        1    35886     12 |  0.310 % |
59.30/59.31	c |    520912 |     966     4012    11947 |        1    36003     12 |  0.310 % |
59.30/59.31	c |    521158 |     966     4012    11947 |        1    36249     12 |  0.310 % |
59.30/59.31	c |    521259 |     966     4012    11947 |        1    36350     12 |  0.310 % |
59.30/59.31	c |    521359 |     966     4012    11947 |        1    36450     12 |  0.310 % |
59.30/59.31	c |    521460 |     966     4012    11947 |        1    36551     12 |  0.310 % |
59.30/59.31	c |    521663 |     966     4012    11947 |        1    36754     13 |  0.310 % |
59.30/59.31	c |    521763 |     966     4012    11947 |        1    36854     13 |  0.310 % |
59.30/59.31	c |    521864 |     966     4012    11947 |        1    36955     13 |  0.310 % |
59.30/59.31	c |    521964 |     966     4012    11947 |        1    37055     13 |  0.310 % |
59.30/59.31	c |    522090 |     966     4012    11947 |        1    37181     13 |  0.310 % |
59.30/59.31	c |    522191 |     966     4012    11947 |        1    37282     13 |  0.310 % |
59.30/59.31	c |    523102 |     966     4012    11947 |        1    38193     13 |  0.310 % |
59.30/59.31	c |    524322 |     966     4012    11947 |        1    39413     14 |  0.310 % |
61.79/61.83	c |    524423 |     966     4012    11947 |        1    39514     14 |  0.310 % |
61.79/61.83	c |    524523 |     966     4012    11947 |        1    39614     14 |  0.310 % |
61.79/61.83	c |    524681 |     966     4012    11947 |        1    39772     14 |  0.310 % |
61.79/61.83	c |    524906 |     966     4012    11947 |        1    39997     14 |  0.310 % |
61.79/61.83	c |    525006 |     966     4012    11947 |        1    40097     14 |  0.310 % |
61.79/61.83	c |    525527 |     966     4012    11947 |        1    40618     14 |  0.310 % |
61.79/61.83	c |    526233 |     966     4012    11947 |        1    41324     14 |  0.310 % |
61.79/61.83	c |    526483 |     966     4012    11947 |        1    41574     15 |  0.310 % |
61.79/61.83	c |    526583 |     966     4012    11947 |        1    41674     15 |  0.310 % |
61.79/61.83	c |    526684 |     966     4012    11947 |        1    41775     15 |  0.310 % |
61.79/61.83	c |    526786 |     966     4012    11947 |        1    41877     15 |  0.310 % |
61.79/61.83	c |    526890 |     966     4012    11947 |        1    41981     15 |  0.310 % |
61.79/61.83	c |    526990 |     966     4012    11947 |        1    42081     15 |  0.310 % |
61.79/61.83	c |    527146 |     966     4012    11947 |        1    42237     15 |  0.310 % |
61.79/61.83	c |    527825 |     966     4012    11947 |        1    42916     15 |  0.310 % |
61.79/61.83	c |    528076 |     966     4012    11947 |        1    43167     15 |  0.310 % |
61.79/61.83	c |    528304 |     966     4012    11947 |        1    43395     15 |  0.310 % |
61.79/61.83	c |    528464 |     966     4012    11947 |        1    43555     15 |  0.310 % |
61.79/61.83	c |    528598 |     966     4012    11947 |        1    43689     15 |  0.310 % |
61.79/61.83	c |    528699 |     966     4012    11947 |        1    43790     15 |  0.310 % |
61.79/61.83	c |    528799 |     966     4012    11947 |        1    43890     15 |  0.310 % |
61.79/61.83	c |    528899 |     966     4012    11947 |        1    43990     16 |  0.310 % |
61.79/61.83	c |    529003 |     966     4012    11947 |        1    44094     16 |  0.310 % |
61.79/61.83	c |    529485 |     966     4012    11947 |        1    44576     16 |  0.310 % |
61.79/61.83	c |    529820 |     966     4012    11947 |        1    44911     16 |  0.310 % |
61.79/61.83	c |    529920 |     966     4012    11947 |        1    45011     16 |  0.310 % |
61.79/61.83	c |    530020 |     966     4012    11947 |        1    45111     16 |  0.310 % |
61.79/61.83	c |    530120 |     966     4012    11947 |        1    45211     16 |  0.310 % |
61.79/61.83	c |    530220 |     966     4012    11947 |        1    45311     16 |  0.310 % |
61.79/61.83	c |    530320 |     966     4012    11947 |        1    45411     16 |  0.310 % |
61.79/61.83	c |    530797 |     966     4012    11947 |        1    45888     16 |  0.310 % |
61.79/61.83	c |    530988 |     966     4012    11947 |        1    46079     16 |  0.310 % |
61.79/61.83	c |    531242 |     966     4012    11947 |        1    46333     16 |  0.310 % |
61.79/61.83	c |    531343 |     966     4012    11947 |        1    46434     17 |  0.310 % |
61.79/61.83	c |    531443 |     966     4012    11947 |        1    46534     17 |  0.310 % |
61.79/61.83	c |    531805 |     966     4012    11947 |        1    46896     17 |  0.310 % |
61.79/61.83	c |    531905 |     966     4012    11947 |        1    46996     17 |  0.310 % |
61.79/61.83	c |    533498 |     966     4012    11947 |        1    48589     17 |  0.310 % |
61.79/61.83	c |    539040 |     966     4012    11947 |        1    54131     19 |  0.310 % |
61.79/61.83	c |    539142 |     966     4012    11947 |        1    54233     19 |  0.310 % |
61.79/61.83	c |    539242 |     966     4012    11947 |        1    54333     19 |  0.310 % |
61.79/61.83	c |    539722 |     966     4012    11947 |        1    54813     19 |  0.310 % |
61.79/61.83	c |    539822 |     966     4012    11947 |        1    54913     19 |  0.310 % |
61.79/61.83	c |    539923 |     966     4012    11947 |        1    55014     19 |  0.310 % |
61.79/61.83	c |    540290 |     966     4012    11947 |        1    55381     19 |  0.310 % |
61.79/61.83	c |    540429 |     966     4012    11947 |        1    55520     19 |  0.310 % |
61.79/61.83	c |    541161 |     966     4012    11947 |        1    56252     20 |  0.310 % |
61.79/61.83	c |    542075 |     966     4012    11947 |        1    57166     20 |  0.310 % |
61.79/61.83	c |    543479 |     966     4012    11947 |        1    58570     20 |  0.310 % |
61.79/61.83	c |    543580 |     966     4012    11947 |        1    58671     20 |  0.310 % |
69.99/70.07	c |    543680 |     966     4012    11947 |        1    58771     20 |  0.310 % |
69.99/70.07	c |    544913 |     966     4012    11947 |        1    60004     20 |  0.310 % |
69.99/70.07	c |    545016 |     966     4012    11947 |        1    60107     20 |  0.310 % |
69.99/70.07	c |    545118 |     966     4012    11947 |        1    60209     20 |  0.310 % |
69.99/70.07	c |    545218 |     966     4012    11947 |        1    60309     20 |  0.310 % |
69.99/70.07	c |    545397 |     966     4012    11947 |        1    60488     20 |  0.310 % |
69.99/70.07	c |    545790 |     966     4012    11947 |        1    60881     20 |  0.310 % |
69.99/70.07	c |    545891 |     966     4012    11947 |        1    60982     20 |  0.310 % |
69.99/70.07	c |    551374 |     966     4012    11947 |        1    66465     21 |  0.310 % |
69.99/70.07	c |    551475 |     966     4012    11947 |        1    66566     21 |  0.310 % |
69.99/70.07	c |    554052 |     966     4012    11947 |        1    69143     21 |  0.310 % |
69.99/70.07	c |    554152 |     966     4012    11947 |        1    69243     21 |  0.310 % |
69.99/70.07	c |    554253 |     966     4012    11947 |        1    69344     21 |  0.310 % |
69.99/70.07	c |    554543 |     966     4012    11947 |        1    69634     21 |  0.310 % |
69.99/70.07	c |    555030 |     966     4012    11947 |        1    70121     21 |  0.310 % |
69.99/70.07	c |    555371 |     966     4012    11947 |        1    70462     22 |  0.310 % |
69.99/70.07	c |    555471 |     966     4012    11947 |        1    70562     22 |  0.310 % |
69.99/70.07	c |    556034 |     966     4012    11947 |        1    71125     22 |  0.310 % |
69.99/70.07	c |    556134 |     966     4012    11947 |        1    71225     22 |  0.310 % |
69.99/70.07	c |    556257 |     966     4012    11947 |        1    71348     22 |  0.310 % |
69.99/70.07	c |    556358 |     966     4012    11947 |        1    71449     22 |  0.310 % |
69.99/70.07	c |    557458 |     966     4012    11947 |        1    72549     22 |  0.310 % |
69.99/70.07	c |    558052 |     966     4012    11947 |        1    73143     22 |  0.310 % |
69.99/70.07	c |    558380 |     966     4012    11947 |        1    73471     22 |  0.310 % |
69.99/70.07	c |    559132 |     966     4012    11947 |        1    74223     22 |  0.310 % |
69.99/70.07	c |    559232 |     966     4012    11947 |        1    74323     22 |  0.310 % |
69.99/70.07	c |    559577 |     966     4012    11947 |        1    74668     22 |  0.310 % |
69.99/70.07	c |    559739 |     966     4012    11947 |        1    74830     22 |  0.310 % |
69.99/70.07	c |    559839 |     966     4012    11947 |        1    74930     22 |  0.310 % |
69.99/70.07	c |    559939 |     966     4012    11947 |        1    75030     22 |  0.310 % |
69.99/70.07	c |    560068 |     966     4012    11947 |        1    75159     22 |  0.310 % |
69.99/70.07	c |    560173 |     966     4012    11947 |        1    75264     22 |  0.310 % |
69.99/70.07	c |    597868 |     966     4012    11947 |        1    68423     16 |  0.310 % |
69.99/70.07	c |    597968 |     966     4012    11947 |        1    68523     16 |  0.310 % |
69.99/70.07	c |    598070 |     966     4012    11947 |        1    68625     16 |  0.310 % |
69.99/70.07	c |    599449 |     966     4012    11947 |        1    70004     16 |  0.310 % |
69.99/70.07	c |    599549 |     966     4012    11947 |        1    70104     16 |  0.310 % |
69.99/70.07	c |    599651 |     966     4012    11947 |        1    70206     17 |  0.310 % |
69.99/70.07	c |    599779 |     966     4012    11947 |        1    70334     17 |  0.310 % |
69.99/70.07	c |    600068 |     966     4012    11947 |        1    70623     17 |  0.310 % |
69.99/70.07	c |    601747 |     966     4012    11947 |        1    72302     17 |  0.310 % |
69.99/70.07	c |    602130 |     966     4012    11947 |        1    72685     17 |  0.310 % |
69.99/70.07	c |    602230 |     966     4012    11947 |        1    72785     17 |  0.310 % |
69.99/70.07	c |    602330 |     966     4012    11947 |        1    72885     17 |  0.310 % |
69.99/70.07	c |    602980 |     966     4012    11947 |        1    73535     17 |  0.310 % |
69.99/70.07	c |    603081 |     966     4012    11947 |        1    73636     17 |  0.310 % |
69.99/70.07	c |    603182 |     966     4012    11947 |        1    73737     17 |  0.310 % |
69.99/70.07	c |    603473 |     966     4012    11947 |        1    74028     17 |  0.310 % |
69.99/70.07	c |    603798 |     966     4012    11947 |        1    74353     17 |  0.310 % |
69.99/70.07	c |    603900 |     966     4012    11947 |        1    74455     17 |  0.310 % |
73.29/73.39	c |    604179 |     966     4012    11947 |        1    74734     17 |  0.310 % |
73.29/73.39	c |    604308 |     966     4012    11947 |        1    74863     17 |  0.310 % |
73.29/73.39	c |    604410 |     966     4012    11947 |        1    74965     17 |  0.310 % |
73.29/73.39	c |    604511 |     966     4012    11947 |        1    75066     17 |  0.310 % |
73.29/73.39	c |    604616 |     966     4012    11947 |        1    75171     17 |  0.310 % |
73.29/73.39	c |    605391 |     966     4012    11947 |        1    75946     17 |  0.310 % |
73.29/73.39	c |    605543 |     966     4012    11947 |        1    76098     17 |  0.310 % |
73.29/73.39	c |    605648 |     966     4012    11947 |        1    76203     17 |  0.310 % |
73.29/73.39	c |    605829 |     966     4012    11947 |        1    76384     18 |  0.310 % |
73.29/73.39	c |    605930 |     966     4012    11947 |        1    76485     18 |  0.310 % |
73.29/73.39	c |    606104 |     966     4012    11947 |        1    76659     18 |  0.310 % |
73.29/73.39	c |    606205 |     966     4012    11947 |        1    76760     18 |  0.310 % |
73.29/73.39	c |    606306 |     966     4012    11947 |        1    76861     18 |  0.310 % |
73.29/73.39	c |    606548 |     966     4012    11947 |        1    77103     18 |  0.310 % |
73.29/73.39	c |    606748 |     966     4012    11947 |        1    77303     18 |  0.310 % |
73.29/73.39	c |    607033 |     966     4012    11947 |        1    77588     18 |  0.310 % |
73.29/73.39	c |    607190 |     966     4012    11947 |        1    77745     18 |  0.310 % |
73.29/73.39	c |    609351 |     966     4012    11947 |        1    79906     18 |  0.310 % |
73.29/73.39	c |    609455 |     966     4012    11947 |        1    80010     18 |  0.310 % |
73.29/73.39	c |    609556 |     966     4012    11947 |        1    80111     18 |  0.310 % |
73.29/73.39	c |    609657 |     966     4012    11947 |        1    80212     18 |  0.310 % |
73.29/73.39	c |    609856 |     966     4012    11947 |        1    80411     18 |  0.310 % |
73.29/73.39	c |    610284 |     966     4012    11947 |        1    80839     18 |  0.310 % |
73.29/73.39	c |    610385 |     966     4012    11947 |        1    80940     18 |  0.310 % |
73.29/73.39	c |    610731 |     966     4012    11947 |        1    81286     19 |  0.310 % |
73.29/73.39	c |    610888 |     966     4012    11947 |        1    81443     19 |  0.310 % |
73.29/73.39	c |    610989 |     966     4012    11947 |        1    81544     19 |  0.310 % |
73.29/73.39	c |    611356 |     966     4012    11947 |        1    81911     19 |  0.310 % |
73.29/73.39	c |    611537 |     966     4012    11947 |        1    82092     19 |  0.310 % |
73.29/73.39	c |    611644 |     966     4012    11947 |        1    82199     19 |  0.310 % |
73.29/73.39	c |    611961 |     966     4012    11947 |        1    82516     19 |  0.310 % |
73.29/73.39	c |    612916 |     966     4012    11947 |        1    83471     19 |  0.310 % |
73.29/73.39	c |    613017 |     966     4012    11947 |        1    83572     19 |  0.310 % |
73.29/73.39	c |    613250 |     966     4012    11947 |        1    83805     19 |  0.310 % |
73.29/73.39	c |    613351 |     966     4012    11947 |        1    83906     19 |  0.310 % |
73.29/73.39	c |    613497 |     966     4012    11947 |        1    84052     19 |  0.310 % |
73.29/73.39	c |    617370 |     966     4012    11947 |        1    87925     20 |  0.310 % |
73.29/73.39	c |    617471 |     966     4012    11947 |        1    88026     20 |  0.310 % |
73.29/73.39	c |    617573 |     966     4012    11947 |        1    88128     20 |  0.310 % |
73.29/73.39	c |    617980 |     966     4012    11947 |        1    88535     20 |  0.310 % |
73.29/73.39	c |    618081 |     966     4012    11947 |        1    88636     20 |  0.310 % |
73.29/73.39	c |    618181 |     966     4012    11947 |        1    88736     20 |  0.310 % |
73.29/73.39	c |    618599 |     966     4012    11947 |        1    89154     20 |  0.310 % |
73.29/73.39	c |    618700 |     966     4012    11947 |        1    89255     20 |  0.310 % |
73.29/73.39	c |    618802 |     966     4012    11947 |        1    89357     20 |  0.310 % |
73.29/73.39	c |    619004 |     966     4012    11947 |        1    89559     20 |  0.310 % |
73.29/73.39	c |    620560 |     966     4012    11947 |        1    91115     20 |  0.310 % |
73.29/73.39	c |    620660 |     966     4012    11947 |        1    91215     21 |  0.310 % |
73.29/73.39	c |    620989 |     966     4012    11947 |        1    91544     21 |  0.310 % |
73.29/73.39	c |    621955 |     966     4012    11947 |        1    92510     21 |  0.310 % |
87.19/87.21	c |    622210 |     966     4012    11947 |        1    92765     21 |  0.310 % |
87.19/87.21	c |    628271 |     966     4012    11947 |        1    98826     21 |  0.310 % |
87.19/87.21	c |    628371 |     966     4012    11947 |        1    98926     21 |  0.310 % |
87.19/87.21	c |    642066 |     966     4012    11947 |        1    62349     14 |  0.310 % |
87.19/87.21	c |    642168 |     966     4012    11947 |        1    62451     14 |  0.310 % |
87.19/87.21	c |    642268 |     966     4012    11947 |        1    62551     14 |  0.310 % |
87.19/87.21	c |    642368 |     966     4012    11947 |        1    62651     14 |  0.310 % |
87.19/87.21	c |    643587 |     966     4012    11947 |        1    63870     14 |  0.310 % |
87.19/87.21	c |    643687 |     966     4012    11947 |        1    63970     14 |  0.310 % |
87.19/87.21	c |    643788 |     966     4012    11947 |        1    64071     14 |  0.310 % |
87.19/87.21	c |    643888 |     966     4012    11947 |        1    64171     14 |  0.310 % |
87.19/87.21	c |    643988 |     966     4012    11947 |        1    64271     14 |  0.310 % |
87.19/87.21	c |    644088 |     966     4012    11947 |        1    64371     14 |  0.310 % |
87.19/87.21	c |    644189 |     966     4012    11947 |        1    64472     14 |  0.310 % |
87.19/87.21	c |    644324 |     966     4012    11947 |        1    64607     14 |  0.310 % |
87.19/87.21	c |    644424 |     966     4012    11947 |        1    64707     14 |  0.310 % |
87.19/87.21	c |    650309 |     966     4012    11947 |        1    70592     15 |  0.310 % |
87.19/87.21	c |    651170 |     966     4012    11947 |        1    71453     16 |  0.310 % |
87.19/87.21	c |    660595 |     966     4012    11947 |        1    80878     15 |  0.310 % |
87.19/87.21	c |    660773 |     966     4012    11947 |        1    81056     15 |  0.310 % |
87.19/87.21	c |    660874 |     966     4012    11947 |        1    81157     15 |  0.310 % |
87.19/87.21	c |    660974 |     966     4012    11947 |        1    81257     15 |  0.310 % |
87.19/87.21	c |    661074 |     966     4012    11947 |        1    81357     16 |  0.310 % |
87.19/87.21	c |    661198 |     966     4012    11947 |        1    81481     16 |  0.310 % |
87.19/87.21	c |    661573 |     966     4012    11947 |        1    81856     16 |  0.310 % |
87.19/87.21	c |    661842 |     966     4012    11947 |        1    82125     16 |  0.310 % |
87.19/87.21	c |    661942 |     966     4012    11947 |        1    82225     16 |  0.310 % |
87.19/87.21	c |    662042 |     966     4012    11947 |        1    82325     16 |  0.310 % |
87.19/87.21	c |    662144 |     966     4012    11947 |        1    82427     16 |  0.310 % |
87.19/87.21	c |    662245 |     966     4012    11947 |        1    82528     16 |  0.310 % |
87.19/87.21	c |    662346 |     966     4012    11947 |        1    82629     16 |  0.310 % |
87.19/87.21	c |    701348 |     966     4012    11947 |        1    67195     13 |  0.310 % |
87.19/87.21	c |    701448 |     966     4012    11947 |        1    67295     13 |  0.310 % |
87.19/87.21	c |    701549 |     966     4012    11947 |        1    67396     13 |  0.310 % |
87.19/87.21	c |    701771 |     966     4012    11947 |        1    67618     13 |  0.310 % |
87.19/87.21	c |    701891 |     966     4012    11947 |        1    67738     13 |  0.310 % |
87.19/87.21	c |    701992 |     966     4012    11947 |        1    67839     13 |  0.310 % |
87.19/87.21	c |    702640 |     966     4012    11947 |        1    68487     13 |  0.310 % |
87.19/87.21	c |    703654 |     966     4012    11947 |        1    69501     14 |  0.310 % |
87.19/87.21	c |    705624 |     966     4012    11947 |        1    71471     14 |  0.310 % |
87.19/87.21	c |    705976 |     966     4012    11947 |        1    71823     14 |  0.310 % |
87.19/87.21	c |    706085 |     966     4012    11947 |        1    71932     14 |  0.310 % |
87.19/87.21	c |    706186 |     966     4012    11947 |        1    72033     14 |  0.310 % |
87.19/87.21	c |    711636 |     966     4012    11947 |        1    77483     14 |  0.310 % |
87.19/87.21	c |    711775 |     966     4012    11947 |        1    77622     14 |  0.310 % |
87.19/87.21	c |    714396 |     966     4012    11947 |        1    80243     15 |  0.310 % |
87.19/87.21	c |    714843 |     966     4012    11947 |        1    80690     15 |  0.310 % |
87.19/87.21	c |    714943 |     966     4012    11947 |        1    80790     15 |  0.310 % |
87.19/87.21	c |    715089 |     966     4012    11947 |        1    80936     15 |  0.310 % |
87.19/87.21	c |    715190 |     966     4012    11947 |        1    81037     15 |  0.310 % |
284.10/284.17	c |    715354 |     966     4012    11947 |        1    81201     15 |  0.310 % |
284.10/284.17	c |    715454 |     966     4012    11947 |        1    81301     15 |  0.310 % |
284.10/284.17	c |    715568 |     966     4012    11947 |        1    81415     15 |  0.310 % |
284.10/284.17	c |    716713 |     966     4012    11947 |        1    82560     15 |  0.310 % |
284.10/284.17	c |    717068 |     966     4012    11947 |        1    82915     15 |  0.310 % |
284.10/284.17	c |    717182 |     966     4012    11947 |        1    83029     15 |  0.310 % |
284.10/284.17	c |    718931 |     966     4012    11947 |        1    84778     16 |  0.310 % |
284.10/284.17	c |    719042 |     966     4012    11947 |        1    84889     16 |  0.310 % |
284.10/284.17	c |    719144 |     966     4012    11947 |        1    84991     16 |  0.310 % |
284.10/284.17	c |    719244 |     966     4012    11947 |        1    85091     16 |  0.310 % |
284.10/284.17	c |    719344 |     966     4012    11947 |        1    85191     16 |  0.310 % |
284.10/284.17	c |    719684 |     966     4012    11947 |        1    85531     16 |  0.310 % |
284.10/284.17	c |    719888 |     966     4012    11947 |        1    85735     16 |  0.310 % |
284.10/284.17	c |    721135 |     966     4012    11947 |        1    86982     16 |  0.310 % |
284.10/284.17	c |    721237 |     966     4012    11947 |        1    87084     16 |  0.310 % |
284.10/284.17	c |    721405 |     966     4012    11947 |        1    87252     16 |  0.310 % |
284.10/284.17	c |    721505 |     966     4012    11947 |        1    87352     16 |  0.310 % |
284.10/284.17	c |    723106 |     966     4012    11947 |        1    88953     16 |  0.310 % |
284.10/284.17	c |    723591 |     966     4012    11947 |        1    89438     16 |  0.310 % |
284.10/284.17	c |    724529 |     966     4012    11947 |        1    90376     17 |  0.310 % |
284.10/284.17	c |    730531 |     966     4012    11947 |        1    96378     18 |  0.310 % |
284.10/284.17	c |    730966 |     966     4012    11947 |        1    96813     18 |  0.310 % |
284.10/284.17	c |    731864 |     966     4012    11947 |        1    97711     18 |  0.310 % |
284.10/284.17	c |    732187 |     966     4012    11947 |        1    98034     18 |  0.310 % |
284.10/284.17	c |    732287 |     966     4012    11947 |        1    98134     18 |  0.310 % |
284.10/284.17	c |    732447 |     966     4012    11947 |        1    98294     18 |  0.310 % |
284.10/284.17	c |    743918 |     966     4012    11947 |        1   109765     18 |  0.310 % |
284.10/284.17	c |    744020 |     966     4012    11947 |        1   109867     18 |  0.310 % |
284.10/284.17	c |    744281 |     966     4012    11947 |        1   110128     18 |  0.310 % |
284.10/284.17	c |    744570 |     966     4012    11947 |        1   110417     18 |  0.310 % |
284.10/284.17	c |    744695 |     966     4012    11947 |        1   110542     18 |  0.310 % |
284.10/284.17	c |    746350 |     966     4012    11947 |        1   112197     19 |  0.310 % |
284.10/284.17	c |    746717 |     966     4012    11947 |        1   112564     19 |  0.310 % |
284.10/284.17	c |    746818 |     966     4012    11947 |        1   112665     19 |  0.310 % |
284.10/284.17	c |    750747 |     966     4012    11947 |        1    58778     13 |  0.310 % |
284.10/284.17	c |    750992 |     966     4012    11947 |        1    59023     13 |  0.310 % |
284.10/284.17	c |   1670121 |     965     4008    11931 |        1   107221     13 |  0.413 % |
284.10/284.17	c |   1670665 |     965     4008    11931 |        1   107765     13 |  0.413 % |
284.10/284.17	c |   1670768 |     965     4008    11931 |        1   107868     13 |  0.413 % |
284.10/284.17	c |   1670869 |     965     4008    11931 |        1   107969     13 |  0.413 % |
284.10/284.17	c |   1671695 |     965     4008    11931 |        1   108795     13 |  0.413 % |
284.10/284.17	c |   1671801 |     965     4008    11931 |        1   108901     13 |  0.413 % |
284.10/284.17	c |   1672077 |     965     4008    11931 |        1   109177     13 |  0.413 % |
284.10/284.17	c |   1672326 |     965     4008    11931 |        1   109426     13 |  0.413 % |
284.10/284.17	c |   1672426 |     965     4008    11931 |        1   109526     13 |  0.413 % |
284.10/284.17	c |   1673406 |     965     4008    11931 |        1   110506     13 |  0.413 % |
284.10/284.17	c |   1673506 |     965     4008    11931 |        1   110606     13 |  0.413 % |
284.10/284.17	c |   1674720 |     965     4008    11931 |        1   111820     14 |  0.413 % |
284.10/284.17	c |   1675003 |     965     4008    11931 |        1   112103     14 |  0.413 % |
342.70/342.77	c |   1675977 |     965     4008    11931 |        1   113077     14 |  0.413 % |
342.70/342.77	c |   1739075 |     965     4008    11931 |        1   114131     13 |  0.413 % |
342.70/342.77	c |   1739339 |     965     4008    11931 |        1   114395     13 |  0.413 % |
342.70/342.77	c |   1739980 |     965     4008    11931 |        1   115036     13 |  0.413 % |
342.70/342.77	c |   1740081 |     965     4008    11931 |        1   115137     13 |  0.413 % |
342.70/342.77	c |   1740919 |     965     4008    11931 |        1   115975     13 |  0.413 % |
342.70/342.77	c |   1741021 |     965     4008    11931 |        1   116077     13 |  0.413 % |
342.70/342.77	c |   1742793 |     965     4008    11931 |        1   117849     13 |  0.413 % |
342.70/342.77	c |   1743045 |     965     4008    11931 |        1   118101     13 |  0.413 % |
342.70/342.77	c |   1743147 |     965     4008    11931 |        1   118203     13 |  0.413 % |
342.70/342.77	c |   1744036 |     965     4008    11931 |        1   119092     13 |  0.413 % |
342.70/342.77	c |   1744472 |     965     4008    11931 |        1   119528     14 |  0.413 % |
342.70/342.77	c |   1781576 |     965     4008    11931 |        1   156632     14 |  0.413 % |
342.70/342.77	c |   1782160 |     965     4008    11931 |        1   157216     14 |  0.413 % |
342.70/342.77	c |   1783520 |     965     4008    11931 |        1   158576     14 |  0.413 % |
342.70/342.77	c |   1783620 |     965     4008    11931 |        1   158676     14 |  0.413 % |
342.70/342.77	c |   1783722 |     965     4008    11931 |        1   158778     14 |  0.413 % |
342.70/342.77	c |   1783822 |     965     4008    11931 |        1   158878     14 |  0.413 % |
342.70/342.77	c |   1784003 |     965     4008    11931 |        1   159059     14 |  0.413 % |
342.70/342.77	c |   1784103 |     965     4008    11931 |        1   159159     14 |  0.413 % |
342.70/342.77	c |   1844040 |     965     4008    11931 |        1   122577     16 |  0.413 % |
342.70/342.77	c |   1844366 |     965     4008    11931 |        1   122903     16 |  0.413 % |
342.70/342.77	c |   1844481 |     965     4008    11931 |        1   123018     16 |  0.413 % |
342.70/342.77	c |   1846026 |     965     4008    11931 |        1   124563     16 |  0.413 % |
342.70/342.77	c |   1846659 |     965     4008    11931 |        1   125196     16 |  0.413 % |
342.70/342.77	c |   1846877 |     965     4008    11931 |        1   125414     16 |  0.413 % |
342.70/342.77	c |   1846977 |     965     4008    11931 |        1   125514     16 |  0.413 % |
342.70/342.77	c |   1847811 |     965     4008    11931 |        1   126348     16 |  0.413 % |
342.70/342.77	c |   1848100 |     965     4008    11931 |        1   126637     16 |  0.413 % |
342.70/342.77	c |   1848256 |     965     4008    11931 |        1   126793     16 |  0.413 % |
342.70/342.77	c |   1848356 |     965     4008    11931 |        1   126893     16 |  0.413 % |
342.70/342.77	c |   1848715 |     965     4008    11931 |        1   127252     16 |  0.413 % |
342.70/342.77	c |   1848815 |     965     4008    11931 |        1   127352     16 |  0.413 % |
342.70/342.77	c |   1849473 |     965     4008    11931 |        1   128010     16 |  0.413 % |
342.70/342.77	c |   1916348 |     965     4008    11931 |        1   194885     19 |  0.413 % |
342.70/342.77	c |   1916449 |     965     4008    11931 |        1   194986     19 |  0.413 % |
342.70/342.77	c |   1916549 |     965     4008    11931 |        1   195086     19 |  0.413 % |
342.70/342.77	c |   1918289 |     965     4008    11931 |        1    99259     13 |  0.413 % |
342.70/342.77	c |   1918390 |     965     4008    11931 |        1    99360     13 |  0.413 % |
342.70/342.77	c |   1918492 |     965     4008    11931 |        1    99462     13 |  0.413 % |
342.70/342.77	c |   1918612 |     965     4008    11931 |        1    99582     13 |  0.413 % |
342.70/342.77	c |   1918713 |     965     4008    11931 |        1    99683     13 |  0.413 % |
342.70/342.77	c |   1927529 |     965     4008    11931 |        1   108499     15 |  0.413 % |
342.70/342.77	c |   1927630 |     965     4008    11931 |        1   108600     15 |  0.413 % |
342.70/342.77	c |   1927731 |     965     4008    11931 |        1   108701     15 |  0.413 % |
342.70/342.77	c |   1928032 |     965     4008    11931 |        1   109002     15 |  0.413 % |
342.70/342.77	c |   1930647 |     965     4008    11931 |        1   111617     15 |  0.413 % |
342.70/342.77	c |   1931934 |     965     4008    11931 |        1   112904     16 |  0.413 % |
342.70/342.77	c |   1933009 |     965     4008    11931 |        1   113979     16 |  0.413 % |
342.70/342.77	c |   1933110 |     965     4008    11931 |        1   114080     16 |  0.413 % |
367.10/367.18	c |   1933211 |     965     4008    11931 |        1   114181     16 |  0.413 % |
367.10/367.18	c |   1933341 |     965     4008    11931 |        1   114311     16 |  0.413 % |
367.10/367.18	c |   1942680 |     965     4008    11931 |        1   123650     16 |  0.413 % |
367.10/367.18	c |   1942787 |     965     4008    11931 |        1   123757     16 |  0.413 % |
367.10/367.18	c |   1943327 |     965     4008    11931 |        1   124297     17 |  0.413 % |
367.10/367.18	c |   1943493 |     965     4008    11931 |        1   124463     17 |  0.413 % |
367.10/367.18	c |   1943791 |     965     4008    11931 |        1   124761     17 |  0.413 % |
367.10/367.18	c |   1946753 |     965     4008    11931 |        1   127723     17 |  0.413 % |
367.10/367.18	c |   1947007 |     965     4008    11931 |        1   127977     17 |  0.413 % |
367.10/367.18	c |   1947193 |     965     4008    11931 |        1   128163     17 |  0.413 % |
367.10/367.18	c |   1947315 |     965     4008    11931 |        1   128285     17 |  0.413 % |
367.10/367.18	c |   1947425 |     965     4008    11931 |        1   128395     17 |  0.413 % |
367.10/367.18	c |   1947527 |     965     4008    11931 |        1   128497     17 |  0.413 % |
367.10/367.18	c |   1947733 |     965     4008    11931 |        1   128703     17 |  0.413 % |
367.10/367.18	c |   1948921 |     965     4008    11931 |        1   129891     17 |  0.413 % |
367.10/367.18	c |   1955479 |     965     4008    11931 |        1   136449     18 |  0.413 % |
367.10/367.18	c |   1968820 |     965     4008    11931 |        1   149790     19 |  0.413 % |
367.10/367.18	c |   1969480 |     965     4008    11931 |        1   150450     19 |  0.413 % |
367.10/367.18	c |   1969583 |     965     4008    11931 |        1   150553     19 |  0.413 % |
367.10/367.18	c |   1975523 |     965     4008    11931 |        1   156493     19 |  0.413 % |
367.10/367.18	c |   1977337 |     965     4008    11931 |        1   158307     19 |  0.413 % |
367.10/367.18	c |   1977437 |     965     4008    11931 |        1   158407     19 |  0.413 % |
367.10/367.18	c |   1978930 |     965     4008    11931 |        1   159900     19 |  0.413 % |
367.10/367.18	c |   1979111 |     965     4008    11931 |        1   160081     19 |  0.413 % |
367.10/367.18	c |   1986533 |     965     4008    11931 |        1   167503     19 |  0.413 % |
367.10/367.18	c |   1986633 |     965     4008    11931 |        1   167603     19 |  0.413 % |
367.10/367.18	c |   1992576 |     964     4004    11915 |        1   164983     19 |  0.516 % |
367.10/367.18	c |   1992713 |     964     4004    11915 |        1   165120     19 |  0.516 % |
367.10/367.18	c |   1992813 |     964     4004    11915 |        1   165220     19 |  0.516 % |
367.10/367.18	c |   1992913 |     964     4004    11915 |        1   165320     19 |  0.516 % |
367.10/367.18	c |   1993460 |     964     4004    11915 |        1   165867     19 |  0.516 % |
367.10/367.18	c |   1993560 |     964     4004    11915 |        1   165967     19 |  0.516 % |
367.10/367.18	c |   1993704 |     964     4004    11915 |        1   166111     19 |  0.516 % |
367.10/367.18	c |   1993806 |     964     4004    11915 |        1   166213     19 |  0.516 % |
367.10/367.18	c |   1994051 |     964     4004    11915 |        1   166458     19 |  0.516 % |
367.10/367.18	c |   2003470 |     964     4004    11915 |        1   175877     20 |  0.516 % |
367.10/367.18	c |   2003627 |     964     4004    11915 |        1   176034     20 |  0.516 % |
367.10/367.18	c |   2003729 |     964     4004    11915 |        1   176136     20 |  0.516 % |
367.10/367.18	c |   2004989 |     964     4004    11915 |        1   177396     20 |  0.516 % |
367.10/367.18	c |   2005091 |     964     4004    11915 |        1   177498     20 |  0.516 % |
367.10/367.18	c |   2005325 |     964     4004    11915 |        1   177732     20 |  0.516 % |
367.10/367.18	c |   2005425 |     964     4004    11915 |        1   177832     20 |  0.516 % |
367.10/367.18	c |   2005525 |     964     4004    11915 |        1   177932     20 |  0.516 % |
367.10/367.18	c |   2005678 |     964     4004    11915 |        1   178085     20 |  0.516 % |
367.10/367.18	c |   2005905 |     964     4004    11915 |        1   178312     20 |  0.516 % |
367.10/367.18	c |   2012914 |     964     4004    11915 |        1   185321     20 |  0.516 % |
367.10/367.18	c |   2013202 |     964     4004    11915 |        1   185609     20 |  0.516 % |
367.10/367.18	c |   2013470 |     964     4004    11915 |        1   185877     20 |  0.516 % |
367.10/367.18	c |   2015790 |     964     4004    11915 |        1   188197     20 |  0.516 % |
367.10/367.18	c |   2016958 |     964     4004    11915 |        1   189365     20 |  0.516 % |
387.30/387.36	c |   2017058 |     964     4004    11915 |        1   189465     20 |  0.516 % |
387.30/387.36	c |   2017353 |     964     4004    11915 |        1   189760     20 |  0.516 % |
387.30/387.36	c |   2017453 |     964     4004    11915 |        1   189860     20 |  0.516 % |
387.30/387.36	c |   2017950 |     964     4004    11915 |        1    95258     13 |  0.516 % |
387.30/387.36	c |   2020573 |     964     4004    11915 |        1    97881     13 |  0.516 % |
387.30/387.36	c |   2020841 |     964     4004    11915 |        1    98149     13 |  0.516 % |
387.30/387.36	c |   2020943 |     964     4004    11915 |        1    98251     13 |  0.516 % |
387.30/387.36	c |   2021049 |     964     4004    11915 |        1    98357     13 |  0.516 % |
387.30/387.36	c |   2021160 |     964     4004    11915 |        1    98468     13 |  0.516 % |
387.30/387.36	c |   2021362 |     964     4004    11915 |        1    98670     13 |  0.516 % |
387.30/387.36	c |   2021708 |     964     4004    11915 |        1    99016     13 |  0.516 % |
387.30/387.36	c |   2022688 |     964     4004    11915 |        1    99996     13 |  0.516 % |
387.30/387.36	c |   2023102 |     964     4004    11915 |        1   100410     13 |  0.516 % |
387.30/387.36	c |   2023203 |     964     4004    11915 |        1   100511     13 |  0.516 % |
387.30/387.36	c |   2044666 |     964     4004    11915 |        1   121974     15 |  0.516 % |
387.30/387.36	c |   2044767 |     964     4004    11915 |        1   122075     15 |  0.516 % |
387.30/387.36	c |   2045106 |     964     4004    11915 |        1   122414     16 |  0.516 % |
387.30/387.36	c |   2045206 |     964     4004    11915 |        1   122514     16 |  0.516 % |
387.30/387.36	c |   2045456 |     964     4004    11915 |        1   122764     16 |  0.516 % |
387.30/387.36	c |   2045557 |     964     4004    11915 |        1   122865     16 |  0.516 % |
387.30/387.36	c |   2046073 |     964     4004    11915 |        1   123381     16 |  0.516 % |
387.30/387.36	c |   2050194 |     964     4004    11915 |        1   127502     16 |  0.516 % |
387.30/387.36	c |   2050502 |     964     4004    11915 |        1   127810     16 |  0.516 % |
387.30/387.36	c |   2050609 |     964     4004    11915 |        1   127917     16 |  0.516 % |
387.30/387.36	c |   2050709 |     964     4004    11915 |        1   128017     16 |  0.516 % |
387.30/387.36	c |   2050823 |     964     4004    11915 |        1   128131     16 |  0.516 % |
387.30/387.36	c |   2051324 |     964     4004    11915 |        1   128632     16 |  0.516 % |
387.30/387.36	c |   2051425 |     964     4004    11915 |        1   128733     16 |  0.516 % |
387.30/387.36	c |   2053028 |     964     4004    11915 |        1   130336     16 |  0.516 % |
387.30/387.36	c |   2053129 |     964     4004    11915 |        1   130437     16 |  0.516 % |
387.30/387.36	c |   2055565 |     964     4004    11915 |        1   132873     17 |  0.516 % |
387.30/387.36	c |   2055695 |     964     4004    11915 |        1   133003     17 |  0.516 % |
387.30/387.36	c |   2055795 |     964     4004    11915 |        1   133103     17 |  0.516 % |
387.30/387.36	c |   2056081 |     964     4004    11915 |        1   133389     17 |  0.516 % |
387.30/387.36	c |   2056181 |     964     4004    11915 |        1   133489     17 |  0.516 % |
387.30/387.36	c |   2056308 |     964     4004    11915 |        1   133616     17 |  0.516 % |
387.30/387.36	c |   2056408 |     964     4004    11915 |        1   133716     17 |  0.516 % |
387.30/387.36	c |   2056704 |     964     4004    11915 |        1   134012     17 |  0.516 % |
387.30/387.36	c |   2057471 |     964     4004    11915 |        1   134779     17 |  0.516 % |
387.30/387.36	c |   2057816 |     964     4004    11915 |        1   135124     17 |  0.516 % |
387.30/387.36	c |   2057953 |     964     4004    11915 |        1   135261     17 |  0.516 % |
387.30/387.36	c |   2058177 |     964     4004    11915 |        1   135485     17 |  0.516 % |
387.30/387.36	c |   2059562 |     964     4004    11915 |        1   136870     17 |  0.516 % |
387.30/387.36	c |   2059663 |     964     4004    11915 |        1   136971     17 |  0.516 % |
387.30/387.36	c |   2059764 |     964     4004    11915 |        1   137072     17 |  0.516 % |
387.30/387.36	c |   2060106 |     964     4004    11915 |        1   137414     17 |  0.516 % |
387.30/387.36	c |   2060207 |     964     4004    11915 |        1   137515     17 |  0.516 % |
387.30/387.36	c |   2064548 |     964     4004    11915 |        1   141856     17 |  0.516 % |
387.30/387.36	c |   2087480 |     964     4004    11915 |        1   164788     18 |  0.516 % |
387.30/387.36	c |   2091250 |     964     4004    11915 |        1   168558     19 |  0.516 % |
401.90/401.96	c |   2091942 |     964     4004    11915 |        1   169250     19 |  0.516 % |
401.90/401.96	c |   2092672 |     964     4004    11915 |        1   169980     19 |  0.516 % |
401.90/401.96	c |   2097353 |     964     4004    11915 |        1   174661     18 |  0.516 % |
401.90/401.96	c |   2097454 |     964     4004    11915 |        1   174762     19 |  0.516 % |
401.90/401.96	c |   2098500 |     964     4004    11915 |        1   175808     19 |  0.516 % |
401.90/401.96	c |   2099793 |     964     4004    11915 |        1   177101     19 |  0.516 % |
401.90/401.96	c |   2099893 |     964     4004    11915 |        1   177201     19 |  0.516 % |
401.90/401.96	c |   2104647 |     964     4004    11915 |        1   181955     19 |  0.516 % |
401.90/401.96	c |   2104923 |     964     4004    11915 |        1   182231     19 |  0.516 % |
401.90/401.96	c |   2105169 |     964     4004    11915 |        1   182477     19 |  0.516 % |
401.90/401.96	c |   2105436 |     964     4004    11915 |        1   182744     19 |  0.516 % |
401.90/401.96	c |   2105544 |     964     4004    11915 |        1   182852     19 |  0.516 % |
401.90/401.96	c |   2105647 |     964     4004    11915 |        1   182955     19 |  0.516 % |
401.90/401.96	c |   2105748 |     964     4004    11915 |        1   183056     19 |  0.516 % |
401.90/401.96	c |   2106010 |     964     4004    11915 |        1   183318     19 |  0.516 % |
401.90/401.96	c |   2106216 |     964     4004    11915 |        1   183524     19 |  0.516 % |
401.90/401.96	c |   2107385 |     964     4004    11915 |        1   184693     19 |  0.516 % |
401.90/401.96	c |   2110826 |     964     4004    11915 |        1   188134     19 |  0.516 % |
401.90/401.96	c |   2112050 |     964     4004    11915 |        1   189358     19 |  0.516 % |
401.90/401.96	c |   2112150 |     964     4004    11915 |        1   189458     19 |  0.516 % |
401.90/401.96	c |   2112251 |     964     4004    11915 |        1   189559     19 |  0.516 % |
401.90/401.96	c |   2112927 |     964     4004    11915 |        1   190235     19 |  0.516 % |
401.90/401.96	c |   2113028 |     964     4004    11915 |        1   190336     19 |  0.516 % |
401.90/401.96	c |   2113130 |     964     4004    11915 |        1   190438     19 |  0.516 % |
401.90/401.96	c |   2118192 |     964     4004    11915 |        1   195500     19 |  0.516 % |
401.90/401.96	c |   2118970 |     964     4004    11915 |        1   196278     19 |  0.516 % |
401.90/401.96	c |   2119216 |     964     4004    11915 |        1   196524     19 |  0.516 % |
401.90/401.96	c |   2120271 |     964     4004    11915 |        1   197579     19 |  0.516 % |
401.90/401.96	c |   2120371 |     964     4004    11915 |        1   197679     19 |  0.516 % |
401.90/401.96	c |   2120490 |     964     4004    11915 |        1   197798     19 |  0.516 % |
401.90/401.96	c |   2120590 |     964     4004    11915 |        1   197898     19 |  0.516 % |
401.90/401.96	c |   2120799 |     964     4004    11915 |        1   198107     19 |  0.516 % |
401.90/401.96	c |   2120899 |     964     4004    11915 |        1   198207     19 |  0.516 % |
401.90/401.96	c |   2121829 |     964     4004    11915 |        1    99691     13 |  0.516 % |
401.90/401.96	c |   2121929 |     964     4004    11915 |        1    99791     13 |  0.516 % |
401.90/401.96	c |   2122029 |     964     4004    11915 |        1    99891     13 |  0.516 % |
401.90/401.96	c |   2122444 |     964     4004    11915 |        1   100306     13 |  0.516 % |
401.90/401.96	c |   2122616 |     964     4004    11915 |        1   100478     13 |  0.516 % |
401.90/401.96	c |   2124915 |     964     4004    11915 |        1   102777     13 |  0.516 % |
401.90/401.96	c |   2125015 |     964     4004    11915 |        1   102877     13 |  0.516 % |
401.90/401.96	c |   2125154 |     964     4004    11915 |        1   103016     13 |  0.516 % |
401.90/401.96	c |   2134887 |     964     4004    11915 |        1   112749     14 |  0.516 % |
401.90/401.96	c |   2135067 |     964     4004    11915 |        1   112929     14 |  0.516 % |
401.90/401.96	c |   2135168 |     964     4004    11915 |        1   113030     14 |  0.516 % |
401.90/401.96	c |   2135412 |     964     4004    11915 |        1   113274     14 |  0.516 % |
401.90/401.96	c |   2137358 |     964     4004    11915 |        1   115220     14 |  0.516 % |
401.90/401.96	c |   2137576 |     964     4004    11915 |        1   115438     14 |  0.516 % |
401.90/401.96	c |   2137769 |     964     4004    11915 |        1   115631     14 |  0.516 % |
401.90/401.96	c |   2138041 |     964     4004    11915 |        1   115903     14 |  0.516 % |
401.90/401.96	c |   2138185 |     964     4004    11915 |        1   116047     14 |  0.516 % |
474.90/474.99	c |   2138286 |     964     4004    11915 |        1   116148     14 |  0.516 % |
474.90/474.99	c |   2140018 |     964     4004    11915 |        1   117880     15 |  0.516 % |
474.90/474.99	c |   2143869 |     964     4004    11915 |        1   121731     15 |  0.516 % |
474.90/474.99	c |   2173265 |     964     4004    11915 |        1   151127     16 |  0.516 % |
474.90/474.99	c |   2174373 |     964     4004    11915 |        1   152235     16 |  0.516 % |
474.90/474.99	c |   2175893 |     964     4004    11915 |        1   153755     16 |  0.516 % |
474.90/474.99	c |   2177150 |     964     4004    11915 |        1   155012     16 |  0.516 % |
474.90/474.99	c |   2177252 |     964     4004    11915 |        1   155114     16 |  0.516 % |
474.90/474.99	c |   2177613 |     964     4004    11915 |        1   155475     16 |  0.516 % |
474.90/474.99	c |   2178994 |     964     4004    11915 |        1   156856     16 |  0.516 % |
474.90/474.99	c |   2179094 |     964     4004    11915 |        1   156956     16 |  0.516 % |
474.90/474.99	c |   2179242 |     964     4004    11915 |        1   157104     16 |  0.516 % |
474.90/474.99	c |   2179434 |     964     4004    11915 |        1   157296     16 |  0.516 % |
474.90/474.99	c |   2182560 |     964     4004    11915 |        1   160422     16 |  0.516 % |
474.90/474.99	c |   2185116 |     964     4004    11915 |        1   162978     17 |  0.516 % |
474.90/474.99	c |   2190604 |     964     4004    11915 |        1   168466     17 |  0.516 % |
474.90/474.99	c |   2190706 |     964     4004    11915 |        1   168568     17 |  0.516 % |
474.90/474.99	c |   2190807 |     964     4004    11915 |        1   168669     17 |  0.516 % |
474.90/474.99	c |   2190924 |     964     4004    11915 |        1   168786     17 |  0.516 % |
474.90/474.99	c |   2210962 |     964     4004    11915 |        1   188824     18 |  0.516 % |
474.90/474.99	c |   2211791 |     964     4004    11915 |        1   189653     18 |  0.516 % |
474.90/474.99	c |   2211891 |     964     4004    11915 |        1   189753     18 |  0.516 % |
474.90/474.99	c |   2214787 |     964     4004    11915 |        1   192649     18 |  0.516 % |
474.90/474.99	c |   2218265 |     964     4004    11915 |        1   196127     18 |  0.516 % |
474.90/474.99	c |   2218366 |     964     4004    11915 |        1   196228     18 |  0.516 % |
474.90/474.99	c |   2218667 |     964     4004    11915 |        1   196529     18 |  0.516 % |
474.90/474.99	c |   2231165 |     964     4004    11915 |        1   106110     13 |  0.516 % |
474.90/474.99	c |   2337090 |     964     4004    11915 |        1   106065     12 |  0.516 % |
474.90/474.99	c |   2337190 |     964     4004    11915 |        1   106165     12 |  0.516 % |
474.90/474.99	c |   2337290 |     964     4004    11915 |        1   106265     12 |  0.516 % |
474.90/474.99	c |   2337391 |     964     4004    11915 |        1   106366     12 |  0.516 % |
474.90/474.99	c |   2337492 |     964     4004    11915 |        1   106467     12 |  0.516 % |
474.90/474.99	c |   2337593 |     964     4004    11915 |        1   106568     12 |  0.516 % |
474.90/474.99	c |   2337867 |     964     4004    11915 |        1   106842     12 |  0.516 % |
474.90/474.99	c |   2339782 |     964     4004    11915 |        1   108757     12 |  0.516 % |
474.90/474.99	c |   2342198 |     964     4004    11915 |        1   111173     13 |  0.516 % |
474.90/474.99	c |   2342303 |     964     4004    11915 |        1   111278     13 |  0.516 % |
474.90/474.99	c |   2352411 |     964     4004    11915 |        1   121386     14 |  0.516 % |
474.90/474.99	c |   2352512 |     964     4004    11915 |        1   121487     14 |  0.516 % |
474.90/474.99	c |   2353109 |     964     4004    11915 |        1   122084     14 |  0.516 % |
474.90/474.99	c |   2353210 |     964     4004    11915 |        1   122185     14 |  0.516 % |
474.90/474.99	c |   2353311 |     964     4004    11915 |        1   122286     14 |  0.516 % |
474.90/474.99	c |   2354123 |     964     4004    11915 |        1   123098     14 |  0.516 % |
474.90/474.99	c |   2354291 |     964     4004    11915 |        1   123266     14 |  0.516 % |
474.90/474.99	c |   2363469 |     964     4004    11915 |        1   132444     15 |  0.516 % |
474.90/474.99	c |   2369034 |     964     4004    11915 |        1   138009     15 |  0.516 % |
474.90/474.99	c |   2370704 |     964     4004    11915 |        1   139679     15 |  0.516 % |
474.90/474.99	c |   2370805 |     964     4004    11915 |        1   139780     15 |  0.516 % |
474.90/474.99	c |   2371130 |     963     4000    11899 |        1   139514     15 |  0.619 % |
474.90/474.99	c |   2372817 |     963     4000    11899 |        1   141201     16 |  0.619 % |
514.39/514.42	c |   2372917 |     963     4000    11899 |        1   141301     16 |  0.619 % |
514.39/514.42	c |   2373017 |     963     4000    11899 |        1   141401     16 |  0.619 % |
514.39/514.42	c |   2373516 |     963     4000    11899 |        1   141900     16 |  0.619 % |
514.39/514.42	c |   2373616 |     963     4000    11899 |        1   142000     16 |  0.619 % |
514.39/514.42	c |   2374202 |     963     4000    11899 |        1   142586     16 |  0.619 % |
514.39/514.42	c |   2374303 |     963     4000    11899 |        1   142687     16 |  0.619 % |
514.39/514.42	c |   2374404 |     963     4000    11899 |        1   142788     16 |  0.619 % |
514.39/514.42	c |   2389981 |     963     4000    11899 |        1   158365     16 |  0.619 % |
514.39/514.42	c |   2393569 |     963     4000    11899 |        1   161953     17 |  0.619 % |
514.39/514.42	c |   2393670 |     963     4000    11899 |        1   162054     17 |  0.619 % |
514.39/514.42	c |   2395613 |     963     4000    11899 |        1   163997     17 |  0.619 % |
514.39/514.42	c |   2401190 |     963     4000    11899 |        1   169574     17 |  0.619 % |
514.39/514.42	c |   2420540 |     962     3996    11883 |        1   188753     18 |  0.722 % |
514.39/514.42	c |   2424411 |     962     3996    11883 |        1   192624     18 |  0.722 % |
514.39/514.42	c |   2424512 |     962     3996    11883 |        1   192725     18 |  0.722 % |
514.39/514.42	c |   2426813 |     962     3996    11883 |        1   195026     18 |  0.722 % |
514.39/514.42	c |   2428149 |     962     3996    11883 |        1   196362     18 |  0.722 % |
514.39/514.42	c |   2428251 |     962     3996    11883 |        1   196464     18 |  0.722 % |
514.39/514.42	c |   2428522 |     962     3996    11883 |        1   196735     18 |  0.722 % |
514.39/514.42	c |   2455257 |     959     3986    11852 |        1   115009     13 |  1.032 % |
514.39/514.42	c |   2455357 |     959     3986    11852 |        1   115109     13 |  1.032 % |
514.39/514.42	c |   2455696 |     959     3986    11852 |        1   115448     13 |  1.032 % |
514.39/514.42	c |   2456571 |     959     3986    11852 |        1   116323     13 |  1.032 % |
514.39/514.42	c |   2456798 |     959     3986    11852 |        1   116550     14 |  1.032 % |
514.39/514.42	c |   2456927 |     959     3986    11852 |        1   116679     14 |  1.032 % |
514.39/514.42	c |   2457028 |     959     3986    11852 |        1   116780     14 |  1.032 % |
514.39/514.42	c |   2457753 |     959     3986    11852 |        1   117505     14 |  1.032 % |
514.39/514.42	c |   2475959 |     959     3986    11852 |        1   135711     15 |  1.032 % |
514.39/514.42	c |   2476223 |     959     3986    11852 |        1   135975     15 |  1.032 % |
514.39/514.42	c |   2476669 |     959     3986    11852 |        1   136421     15 |  1.032 % |
514.39/514.42	c |   2476769 |     959     3986    11852 |        1   136521     15 |  1.032 % |
514.39/514.42	c |   2476999 |     959     3986    11852 |        1   136751     15 |  1.032 % |
514.39/514.42	c |   2477099 |     959     3986    11852 |        1   136851     15 |  1.032 % |
514.39/514.42	c |   2477294 |     959     3986    11852 |        1   137046     15 |  1.032 % |
514.39/514.42	c |   2477394 |     959     3986    11852 |        1   137146     15 |  1.032 % |
514.39/514.42	c |   2477494 |     959     3986    11852 |        1   137246     15 |  1.032 % |
514.39/514.42	c |   2477594 |     959     3986    11852 |        1   137346     15 |  1.032 % |
514.39/514.42	c |   2481421 |     959     3986    11852 |        1   141173     15 |  1.032 % |
514.39/514.42	c |   2488236 |     959     3986    11852 |        1   147988     16 |  1.032 % |
514.39/514.42	c |   2490019 |     959     3986    11852 |        1   149771     16 |  1.032 % |
514.39/514.42	c |   2490119 |     959     3986    11852 |        1   149871     16 |  1.032 % |
514.39/514.42	c |   2490270 |     959     3986    11852 |        1   150022     16 |  1.032 % |
514.39/514.42	c |   2490434 |     959     3986    11852 |        1   150186     16 |  1.032 % |
514.39/514.42	c |   2492456 |     959     3986    11852 |        1   152208     16 |  1.032 % |
514.39/514.42	c |   2496735 |     959     3986    11852 |        1   156487     16 |  1.032 % |
514.39/514.42	c |   2496835 |     959     3986    11852 |        1   156587     16 |  1.032 % |
514.39/514.42	c |   2497682 |     959     3986    11852 |        1   157434     16 |  1.032 % |
514.39/514.42	c |   2497782 |     959     3986    11852 |        1   157534     16 |  1.032 % |
514.39/514.42	c |   2498002 |     959     3986    11852 |        1   157754     16 |  1.032 % |
514.39/514.42	c |   2501706 |     959     3986    11852 |        1   161458     17 |  1.032 % |
1060.81/1060.89	c |   2501808 |     959     3986    11852 |        1   161560     17 |  1.032 % |
1060.81/1060.89	c |   2501909 |     959     3986    11852 |        1   161661     17 |  1.032 % |
1060.81/1060.89	c |   2502009 |     959     3986    11852 |        1   161761     17 |  1.032 % |
1060.81/1060.89	c |   2502745 |     959     3986    11852 |        1   162497     17 |  1.032 % |
1060.81/1060.89	c |   2502940 |     959     3986    11852 |        1   162692     17 |  1.032 % |
1060.81/1060.89	c |   2503204 |     959     3986    11852 |        1   162956     17 |  1.032 % |
1060.81/1060.89	c |   2507809 |     959     3986    11852 |        1   167561     17 |  1.032 % |
1060.81/1060.89	c |   2510089 |     959     3986    11852 |        1   169841     17 |  1.032 % |
1060.81/1060.89	c |   2510348 |     959     3986    11852 |        1   170100     17 |  1.032 % |
1060.81/1060.89	c |   2537577 |     959     3986    11852 |        1   197329     18 |  1.032 % |
1060.81/1060.89	c |   2554069 |     959     3986    11852 |        1   213821     19 |  1.032 % |
1060.81/1060.89	c |   2560589 |     959     3986    11852 |        1   220341     19 |  1.032 % |
1060.81/1060.89	c |   2568140 |     959     3986    11852 |        1   116619     13 |  1.032 % |
1060.81/1060.89	c |   2569156 |     959     3986    11852 |        1   117635     13 |  1.032 % |
1060.81/1060.89	c |   2573816 |     959     3986    11852 |        1   122295     14 |  1.032 % |
1060.81/1060.89	c |   2601790 |     959     3986    11852 |        1   150269     15 |  1.032 % |
1060.81/1060.89	c |   2605324 |     959     3986    11852 |        1   153803     16 |  1.032 % |
1060.81/1060.89	c |   2606052 |     959     3986    11852 |        1   154531     16 |  1.032 % |
1060.81/1060.89	c |   2609349 |     959     3986    11852 |        1   157828     16 |  1.032 % |
1060.81/1060.89	c |   2610946 |     959     3986    11852 |        1   159425     16 |  1.032 % |
1060.81/1060.89	c |   2611048 |     959     3986    11852 |        1   159527     16 |  1.032 % |
1060.81/1060.89	c |   2620169 |     959     3986    11852 |        1   168648     16 |  1.032 % |
1060.81/1060.89	c |   2625263 |     959     3986    11852 |        1   173742     17 |  1.032 % |
1060.81/1060.89	c |   2636064 |     959     3986    11852 |        1   184543     17 |  1.032 % |
1060.81/1060.89	c |   2636174 |     959     3986    11852 |        1   184653     17 |  1.032 % |
1060.81/1060.89	c |   2642322 |     959     3986    11852 |        1   190801     17 |  1.032 % |
1060.81/1060.89	c |   2644162 |     959     3986    11852 |        1   192641     17 |  1.032 % |
1060.81/1060.89	c |   2704983 |     959     3986    11852 |        1   139432     15 |  1.032 % |
1060.81/1060.89	c |   2708315 |     959     3986    11852 |        1   142764     15 |  1.032 % |
1060.81/1060.89	c |   2708703 |     959     3986    11852 |        1   143152     15 |  1.032 % |
1060.81/1060.89	c |   2738809 |     959     3986    11852 |        1   173258     16 |  1.032 % |
1060.81/1060.89	c |   2742959 |     959     3986    11852 |        1   177408     16 |  1.032 % |
1060.81/1060.89	c |   2743059 |     959     3986    11852 |        1   177508     16 |  1.032 % |
1060.81/1060.89	c |   2743896 |     959     3986    11852 |        1   178345     16 |  1.032 % |
1060.81/1060.89	c |   2756191 |     959     3986    11852 |        1   190640     17 |  1.032 % |
1060.81/1060.89	c |   2797096 |     959     3986    11852 |        1   231545     18 |  1.032 % |
1060.81/1060.89	c |   2797196 |     959     3986    11852 |        1   231645     18 |  1.032 % |
1060.81/1060.89	c |   2800358 |     959     3986    11852 |        1   118087     13 |  1.032 % |
1060.81/1060.89	c |   2800459 |     959     3986    11852 |        1   118188     13 |  1.032 % |
1060.81/1060.89	c |   2815689 |     959     3986    11852 |        1   133418     14 |  1.032 % |
1060.81/1060.89	c |   2816294 |     959     3986    11852 |        1   134023     14 |  1.032 % |
1060.81/1060.89	c |   2816826 |     959     3986    11852 |        1   134555     14 |  1.032 % |
1060.81/1060.89	c |   2852517 |     959     3986    11852 |        1   170246     16 |  1.032 % |
1060.81/1060.89	c |   2852852 |     959     3986    11852 |        1   170581     16 |  1.032 % |
1060.81/1060.89	c |   3003133 |     959     3986    11852 |        1   201512     15 |  1.032 % |
1060.81/1060.89	c |   3012936 |     959     3986    11852 |        1   211315     16 |  1.032 % |
1060.81/1060.89	c |   3651284 |     958     3982    11836 |        1   145467     12 |  1.135 % |
1060.81/1060.89	c |   3704724 |     958     3982    11836 |        1   198907     15 |  1.135 % |
1060.81/1060.89	c |   3707432 |     958     3982    11836 |        1   201615     15 |  1.135 % |
1060.81/1060.89	c |   4088716 |     957     3978    11820 |        HOME/glucose.sh: line 55: 26972 Terminated              $RS $TMP.cnf $TMP.result "$@"

Verifier Data

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

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.99 3.72 3.58 4/192 26969
/proc/meminfo: memFree=22700536/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 486600971 8912896 253 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 253 211 178 0 69 0

[startup+0.013306 s]
/proc/loadavg: 3.99 3.72 3.58 4/192 26969
/proc/meminfo: memFree=22700536/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 486600971 8912896 253 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.106378 s]
/proc/loadavg: 3.99 3.72 3.58 4/192 26969
/proc/meminfo: memFree=22700536/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.300287 s]
/proc/loadavg: 3.99 3.72 3.58 4/192 26969
/proc/meminfo: memFree=22700536/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.700216 s]
/proc/loadavg: 3.99 3.72 3.58 4/192 26969
/proc/meminfo: memFree=22700536/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+1.50107 s]
/proc/loadavg: 3.99 3.72 3.58 5/194 26972
/proc/meminfo: memFree=22694576/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=19468 CPUtime=1.47 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 1853 0 0 0 147 0 0 0 25 0 1 0 486600973 19935232 1262 33554432000 4194304 4260849 140734762485760 18446744073709551615 4211161 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 4867 1262 249 17 0 1508 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28172

[startup+3.1008 s]
/proc/loadavg: 3.99 3.72 3.58 5/194 26972
/proc/meminfo: memFree=22691476/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=25936 CPUtime=3.07 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 2676 0 0 0 307 0 0 0 25 0 1 0 486600973 26558464 2068 33554432000 4194304 4260849 140734762485760 18446744073709551615 4226231 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 6484 2068 249 17 0 3125 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34640

[startup+6.30022 s]
/proc/loadavg: 3.99 3.72 3.58 5/194 26972
/proc/meminfo: memFree=22684920/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=25936 CPUtime=6.27 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 2977 0 0 0 627 0 0 0 25 0 1 0 486600973 26558464 2361 33554432000 4194304 4260849 140734762485760 18446744073709551615 4226832 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 6484 2361 249 17 0 3125 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34640

[startup+12.7011 s]
/proc/loadavg: 3.99 3.73 3.58 5/194 26972
/proc/meminfo: memFree=22729312/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=28652 CPUtime=12.68 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 3893 0 0 0 1267 1 0 0 25 0 1 0 486600973 29339648 3245 33554432000 4194304 4260849 140734762485760 18446744073709551615 4226278 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 7163 3245 249 17 0 3804 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37356

[startup+25.5008 s]
/proc/loadavg: 3.99 3.74 3.58 5/194 26973
/proc/meminfo: memFree=22694472/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=29124 CPUtime=25.47 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 6351 0 0 0 2546 1 0 0 25 0 1 0 486600973 29822976 3896 33554432000 4194304 4260849 140734762485760 18446744073709551615 4209995 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 7281 3896 249 17 0 3922 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37828

[startup+51.1003 s]
/proc/loadavg: 3.99 3.76 3.59 5/194 26973
/proc/meminfo: memFree=22676704/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=37872 CPUtime=51.07 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 8621 0 0 0 5105 2 0 0 25 0 1 0 486600973 38780928 6084 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224688 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 9468 6084 249 17 0 6109 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46576

[startup+102.307 s]
/proc/loadavg: 3.99 3.80 3.61 5/194 27006
/proc/meminfo: memFree=22863916/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=42292 CPUtime=102.28 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 9775 0 0 0 10225 3 0 0 25 0 1 0 486600973 43307008 7188 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 10573 7188 249 17 0 7214 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 50996

[startup+162.301 s]
/proc/loadavg: 3.99 3.83 3.64 5/194 27007
/proc/meminfo: memFree=22841868/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=49792 CPUtime=162.28 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 11463 0 0 0 16224 4 0 0 25 0 1 0 486600973 50987008 8835 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 12448 8835 249 17 0 9089 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 58496

[startup+222.301 s]
/proc/loadavg: 4.07 3.87 3.66 5/194 27009
/proc/meminfo: memFree=22772528/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=57052 CPUtime=222.28 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 13502 0 0 0 22223 5 0 0 25 0 1 0 486600973 58421248 10773 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 14263 10773 249 17 0 10904 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 65756

[startup+282.3 s]
/proc/loadavg: 4.02 3.89 3.68 5/194 27010
/proc/meminfo: memFree=22761692/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=64236 CPUtime=282.29 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 15494 0 0 0 28223 6 0 0 25 0 1 0 486600973 65777664 12647 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 16059 12647 249 17 0 12700 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 72940

[startup+342.301 s]
/proc/loadavg: 4.01 3.91 3.70 5/194 27012
/proc/meminfo: memFree=22794532/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=64236 CPUtime=342.29 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 15522 0 0 0 34223 6 0 0 25 0 1 0 486600973 65777664 12674 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 16059 12674 249 17 0 12700 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 72940

[startup+402.301 s]
/proc/loadavg: 4.00 3.92 3.71 5/194 27014
/proc/meminfo: memFree=22793384/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7

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

[pid=26972] ppid=26969 vsize=66512 CPUtime=522.28 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 20809 0 0 0 52222 6 0 0 25 0 1 0 486600973 68108288 13245 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 16628 13245 249 17 0 13269 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 75216

[startup+582.301 s]
/proc/loadavg: 4.00 3.96 3.76 5/194 27018
/proc/meminfo: memFree=22736604/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=90924 CPUtime=582.29 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 24106 0 0 0 58222 7 0 0 25 0 1 0 486600973 93106176 16531 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 22731 16531 249 17 0 19372 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 99628

[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.77 5/194 27020
/proc/meminfo: memFree=22688228/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=90924 CPUtime=642.3 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 24109 0 0 0 64223 7 0 0 25 0 1 0 486600973 93106176 16534 33554432000 4194304 4260849 140734762485760 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 22731 16534 249 17 0 19372 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 99628

[startup+702.301 s]
/proc/loadavg: 4.00 3.97 3.78 5/194 27022
/proc/meminfo: memFree=22738908/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=90924 CPUtime=702.29 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 24109 0 0 0 70222 7 0 0 25 0 1 0 486600973 93106176 16534 33554432000 4194304 4260849 140734762485760 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 22731 16534 249 17 0 19372 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 99628

[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.79 5/194 27023
/proc/meminfo: memFree=22770128/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=90924 CPUtime=762.3 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 24109 0 0 0 76223 7 0 0 25 0 1 0 486600973 93106176 16534 33554432000 4194304 4260849 140734762485760 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 22731 16534 249 17 0 19372 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 99628

[startup+822.3 s]
/proc/loadavg: 4.04 3.99 3.81 5/194 27025
/proc/meminfo: memFree=22649700/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=90924 CPUtime=822.3 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 24109 0 0 0 82223 7 0 0 25 0 1 0 486600973 93106176 16534 33554432000 4194304 4260849 140734762485760 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 22731 16534 249 17 0 19372 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 99628

[startup+882.301 s]
/proc/loadavg: 4.01 3.99 3.82 5/195 27027
/proc/meminfo: memFree=22623748/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=90924 CPUtime=882.29 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 26118 0 0 0 88222 7 0 0 25 0 1 0 486600973 93106176 18414 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 22731 18414 249 17 0 19372 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 99628

[startup+942.3 s]
/proc/loadavg: 4.16 4.03 3.84 5/194 27156
/proc/meminfo: memFree=22695024/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=90924 CPUtime=942.3 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 27038 0 0 0 94222 8 0 0 25 0 1 0 486600973 93106176 19304 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 22731 19304 249 17 0 19372 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 99628

[startup+1002.3 s]
/proc/loadavg: 4.16 4.05 3.86 5/194 27190
/proc/meminfo: memFree=22369208/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=102420 CPUtime=1002.3 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 30081 0 0 0 100221 9 0 0 25 0 1 0 486600973 104878080 22178 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 25605 22178 249 17 0 22246 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 111124

[startup+1062.3 s]
/proc/loadavg: 4.10 4.06 3.87 5/194 27194
/proc/meminfo: memFree=22365100/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=102420 CPUtime=1062.3 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 30081 0 0 0 106221 9 0 0 25 0 1 0 486600973 104878080 22178 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 25605 22178 249 17 0 22246 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 111124

[startup+1122.3 s]
/proc/loadavg: 4.04 4.04 3.88 5/194 27196
/proc/meminfo: memFree=22351908/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=102420 CPUtime=1122.3 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 30081 0 0 0 112221 9 0 0 25 0 1 0 486600973 104878080 22178 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224677 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 25605 22178 249 17 0 22246 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 111124

[startup+1182.3 s]
/proc/loadavg: 4.07 4.05 3.89 5/194 27197
/proc/meminfo: memFree=22322828/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=102420 CPUtime=1182.3 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 30108 0 0 0 118221 9 0 0 25 0 1 0 486600973 104878080 22204 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 25605 22204 249 17 0 22246 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 111124

[startup+1242.3 s]
/proc/loadavg: 4.02 4.04 3.89 5/194 27199
/proc/meminfo: memFree=22329852/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=109496 CPUtime=1242.31 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 30625 0 0 0 124222 9 0 0 25 0 1 0 486600973 112123904 22693 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 27374 22693 249 17 0 24015 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 118200



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.06 4.04 3.90 6/194 27201
/proc/meminfo: memFree=22320216/32951124 swapFree=67051468/67111528
[pid=26969] ppid=26967 vsize=8704 CPUtime=0.01 cores=5,7
/proc/26969/stat : 26969 (glucose.sh) S 26967 26969 26342 0 -1 4202496 360 347 0 0 0 0 1 0 25 0 1 0 486600971 8912896 255 33554432000 4194304 4922060 140737321940944 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26969/statm: 2176 255 211 178 0 69 0
[pid=26972] ppid=26969 vsize=109496 CPUtime=1300.01 cores=5,7
/proc/26972/stat : 26972 (glucose_static) R 26969 26969 26342 0 -1 4202496 31033 0 0 0 129992 9 0 0 25 0 1 0 486600973 112123904 23074 33554432000 4194304 4260849 140734762485760 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26972/statm: 27374 23074 249 17 0 24015 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 118200

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)
Real time (s): 1300.01
CPU time (s): 1300.04
CPU user time (s): 1299.94
CPU system time (s): 0.102984
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 118200

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

runsolver used 1.9977 second user time and 5.10922 second system time

The end

Launcher Data

Begin job on node101 at 2011-04-25 18:46:22
IDJOB=3280938
IDBENCH=20472
IDSOLVER=1651
FILE ID=node101/3280938-1303749982
RUNJOBID= node101-1303749579-26883
PBS_JOBID= 13154061
Free space on /tmp= 71604 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280938-1303749982/watcher-3280938-1303749982 -o /tmp/evaluation-result-3280938-1303749982/solver-3280938-1303749982 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3280938-1303749982.cnf 

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

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=784534347

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22700692 kB
Buffers:       2074308 kB
Cached:        7289776 kB
SwapCached:      33708 kB
Active:        6625340 kB
Inactive:      3156212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22700692 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:            1252 kB
Writeback:           0 kB
AnonPages:      404508 kB
Mapped:           9440 kB
Slab:           404128 kB
PageTables:       6152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   648888 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= 71512 MiB
End job on node101 at 2011-04-25 19:08:04