Trace number 3280892

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.02 1300.01

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
MD5SUM8d6acb9f6b752ad76c024133f5175c69
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1694
Number of clauses5726
Sum of the clauses size14874
Maximum clause length23
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22490
Number of clauses of size 33143
Number of clauses of size 439
Number of clauses of size 538
Number of clauses of size over 513

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 |    5723    14871 |    1716       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    4834    14382 |      --       0       --      -- |     --   | -843/-394
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 1165   #clauses: 4834   #literals: 14382
0.00/0.01	c CPU time:   0.013997 s
0.00/0.01	c ==============================================================================
0.00/0.01	c
0.00/0.01	c Starting glucose
0.00/0.01	c
4.78/4.88	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
4.78/4.88	c WARNING: for repeatability, setting FPU to use double precision
4.78/4.88	c ============================[ Problem Statistics ]=============================
4.78/4.88	c |                                                                             |
4.78/4.88	c |  Number of variables:          1165                                         |
4.78/4.88	c |  Number of clauses:            4834                                         |
4.78/4.88	c |  Parse time:                   0.00 s                                       |
4.78/4.88	c |                                                                             |
4.78/4.88	c ============================[ Search Statistics ]==============================
4.78/4.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.78/4.88	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.78/4.88	c ===============================================================================
4.78/4.88	c |     17535 |    1164     4828    14357 |        1    11240     29 |  0.086 % |
4.78/4.88	c |     17635 |    1164     4828    14357 |        1    11340     29 |  0.086 % |
4.78/4.88	c |     17736 |    1164     4828    14357 |        1    11441     29 |  0.086 % |
4.78/4.88	c |     18076 |    1164     4828    14357 |        1    11781     29 |  0.086 % |
4.78/4.88	c |     18195 |    1164     4828    14357 |        1    11900     29 |  0.086 % |
4.78/4.88	c |     18675 |    1164     4828    14357 |        1    12380     30 |  0.086 % |
4.78/4.88	c |     18776 |    1164     4828    14357 |        1    12481     30 |  0.086 % |
4.78/4.88	c |     19905 |    1164     4828    14357 |        1     6861     17 |  0.086 % |
4.78/4.88	c |     20034 |    1164     4828    14357 |        1     6990     17 |  0.086 % |
4.78/4.88	c |     20174 |    1164     4828    14357 |        1     7130     17 |  0.086 % |
4.78/4.88	c |     20288 |    1164     4828    14357 |        1     7244     18 |  0.086 % |
4.78/4.88	c |     20458 |    1164     4828    14357 |        1     7414     19 |  0.086 % |
4.78/4.88	c |     20559 |    1164     4828    14357 |        1     7515     19 |  0.086 % |
4.78/4.88	c |     20660 |    1164     4828    14357 |        1     7616     19 |  0.086 % |
4.78/4.88	c |     20763 |    1164     4828    14357 |        1     7719     19 |  0.086 % |
4.78/4.88	c |     21473 |    1164     4828    14357 |        1     8429     22 |  0.086 % |
4.78/4.88	c |     21643 |    1164     4828    14357 |        1     8599     22 |  0.086 % |
4.78/4.88	c |     21756 |    1164     4828    14357 |        1     8712     22 |  0.086 % |
4.78/4.88	c |     21924 |    1164     4828    14357 |        1     8880     23 |  0.086 % |
4.78/4.88	c |     22025 |    1164     4828    14357 |        1     8981     23 |  0.086 % |
4.78/4.88	c |     22125 |    1164     4828    14357 |        1     9081     24 |  0.086 % |
4.78/4.88	c |     23707 |    1164     4828    14357 |        1    10663     28 |  0.086 % |
4.78/4.88	c |     23815 |    1164     4828    14357 |        1    10771     28 |  0.086 % |
4.78/4.88	c |     35967 |    1164     4828    14357 |        1    13652     28 |  0.086 % |
4.78/4.88	c |     36564 |    1164     4828    14357 |        1    14249     28 |  0.086 % |
4.78/4.88	c |     37419 |    1164     4828    14357 |        1    15104     29 |  0.086 % |
4.78/4.88	c |     37528 |    1164     4828    14357 |        1    15213     29 |  0.086 % |
4.78/4.88	c |     37994 |    1164     4828    14357 |        1    15679     30 |  0.086 % |
4.78/4.88	c |     38520 |    1164     4828    14357 |        1    16205     30 |  0.086 % |
4.78/4.88	c |     38622 |    1164     4828    14357 |        1    16307     30 |  0.086 % |
4.78/4.88	c |     68131 |    1160     4814    14310 |        1    19559     19 |  0.429 % |
4.78/4.88	c |     68860 |    1160     4814    14310 |        1    20288     20 |  0.429 % |
4.78/4.88	c |     70306 |    1160     4814    14310 |        1    21734     21 |  0.429 % |
4.78/4.88	c |     70418 |    1160     4814    14310 |        1    21846     21 |  0.429 % |
4.78/4.88	c |     70622 |    1160     4814    14310 |        1    22050     21 |  0.429 % |
4.78/4.88	c |     71695 |    1157     4802    14271 |        1    23113     22 |  0.687 % |
4.78/4.88	c |     72259 |    1157     4802    14271 |        1    23677     23 |  0.687 % |
4.78/4.88	c |     73662 |    1157     4802    14271 |        1    25080     23 |  0.687 % |
4.78/4.88	c |     74076 |    1157     4802    14271 |        1    25494     23 |  0.687 % |
37.08/37.15	c |     75384 |    1157     4802    14271 |        1    26802     23 |  0.687 % |
37.08/37.15	c |     75980 |    1157     4802    14271 |        1    27398     24 |  0.687 % |
37.08/37.15	c |    122759 |    1157     4802    14271 |        1    37575     22 |  0.687 % |
37.08/37.15	c |    123129 |    1157     4802    14271 |        1    37945     22 |  0.687 % |
37.08/37.15	c |    123557 |    1157     4802    14271 |        1    38373     22 |  0.687 % |
37.08/37.15	c |    123935 |    1157     4802    14271 |        1    38751     23 |  0.687 % |
37.08/37.15	c |    124054 |    1157     4802    14271 |        1    38870     23 |  0.687 % |
37.08/37.15	c |    164396 |    1157     4802    14271 |        1    32201     14 |  0.687 % |
37.08/37.15	c |    212149 |    1157     4802    14271 |        1    52558     16 |  0.687 % |
37.08/37.15	c |    216455 |    1157     4802    14271 |        1    56864     17 |  0.687 % |
37.08/37.15	c |    217111 |    1157     4802    14271 |        1    57520     17 |  0.687 % |
37.08/37.15	c |    253819 |    1157     4802    14271 |        1    64230     15 |  0.687 % |
37.08/37.15	c |    254065 |    1157     4802    14271 |        1    64476     15 |  0.687 % |
37.08/37.15	c |    282061 |    1157     4802    14271 |        1    59872     15 |  0.687 % |
37.08/37.15	c |    282584 |    1157     4802    14271 |        1    60395     15 |  0.687 % |
37.08/37.15	c |    282947 |    1157     4802    14271 |        1    60758     15 |  0.687 % |
37.08/37.15	c |    286705 |    1157     4802    14271 |        1    64516     16 |  0.687 % |
37.08/37.15	c |    286805 |    1157     4802    14271 |        1    64616     16 |  0.687 % |
37.08/37.15	c |    287054 |    1157     4802    14271 |        1    64865     17 |  0.687 % |
37.08/37.15	c |    287154 |    1157     4802    14271 |        1    64965     17 |  0.687 % |
37.08/37.15	c |    287481 |    1157     4802    14271 |        1    65292     17 |  0.687 % |
37.08/37.15	c |    287587 |    1157     4802    14271 |        1    65398     17 |  0.687 % |
37.08/37.15	c |    287689 |    1157     4802    14271 |        1    65500     17 |  0.687 % |
37.08/37.15	c |    288034 |    1157     4802    14271 |        1    65845     17 |  0.687 % |
37.08/37.15	c |    353911 |    1157     4802    14271 |        1    58727     17 |  0.687 % |
37.08/37.15	c |    354015 |    1157     4802    14271 |        1    58831     17 |  0.687 % |
37.08/37.15	c |    354327 |    1157     4802    14271 |        1    59143     17 |  0.687 % |
37.08/37.15	c |    356834 |    1157     4802    14271 |        1    61650     18 |  0.687 % |
37.08/37.15	c |    357226 |    1157     4802    14271 |        1    62042     18 |  0.687 % |
37.08/37.15	c |    357326 |    1157     4802    14271 |        1    62142     18 |  0.687 % |
37.08/37.15	c |    357428 |    1157     4802    14271 |        1    62244     18 |  0.687 % |
37.08/37.15	c |    357528 |    1157     4802    14271 |        1    62344     18 |  0.687 % |
37.08/37.15	c |    357980 |    1157     4802    14271 |        1    62796     18 |  0.687 % |
37.08/37.15	c |    358081 |    1157     4802    14271 |        1    62897     18 |  0.687 % |
37.08/37.15	c |    360675 |    1157     4802    14271 |        1    65491     19 |  0.687 % |
37.08/37.15	c |    360776 |    1157     4802    14271 |        1    65592     19 |  0.687 % |
37.08/37.15	c |    361589 |    1157     4802    14271 |        1    66405     20 |  0.687 % |
37.08/37.15	c |    361690 |    1157     4802    14271 |        1    66506     20 |  0.687 % |
37.08/37.15	c |    361989 |    1157     4802    14271 |        1    66805     20 |  0.687 % |
37.08/37.15	c |    362091 |    1157     4802    14271 |        1    66907     20 |  0.687 % |
37.08/37.15	c |    362191 |    1157     4802    14271 |        1    67007     20 |  0.687 % |
37.08/37.15	c |    362398 |    1157     4802    14271 |        1    67214     20 |  0.687 % |
37.08/37.15	c |    362730 |    1157     4802    14271 |        1    67546     20 |  0.687 % |
37.08/37.15	c |    362831 |    1157     4802    14271 |        1    67647     20 |  0.687 % |
37.08/37.15	c |    362931 |    1157     4802    14271 |        1    67747     20 |  0.687 % |
37.08/37.15	c |    363032 |    1157     4802    14271 |        1    67848     20 |  0.687 % |
37.08/37.15	c |    363143 |    1157     4802    14271 |        1    67959     20 |  0.687 % |
37.08/37.15	c |    363259 |    1157     4802    14271 |        1    68075     20 |  0.687 % |
37.08/37.15	c |    363404 |    1157     4802    14271 |        1    68220     20 |  0.687 % |
37.08/37.15	c |    363828 |    1157     4802    14271 |        1    68644     20 |  0.687 % |
45.38/45.45	c |    363928 |    1157     4802    14271 |        1    68744     20 |  0.687 % |
45.38/45.45	c |    364170 |    1157     4802    14271 |        1    68986     20 |  0.687 % |
45.38/45.45	c |    364821 |    1157     4802    14271 |        1    69637     21 |  0.687 % |
45.38/45.45	c |    364921 |    1157     4802    14271 |        1    69737     21 |  0.687 % |
45.38/45.45	c |    365022 |    1157     4802    14271 |        1    69838     21 |  0.687 % |
45.38/45.45	c |    366485 |    1157     4802    14271 |        1    71301     21 |  0.687 % |
45.38/45.45	c |    366630 |    1157     4802    14271 |        1    71446     21 |  0.687 % |
45.38/45.45	c |    366761 |    1157     4802    14271 |        1    71577     21 |  0.687 % |
45.38/45.45	c |    366865 |    1157     4802    14271 |        1    71681     21 |  0.687 % |
45.38/45.45	c |    366975 |    1157     4802    14271 |        1    71791     21 |  0.687 % |
45.38/45.45	c |    367075 |    1157     4802    14271 |        1    71891     21 |  0.687 % |
45.38/45.45	c |    367175 |    1157     4802    14271 |        1    71991     21 |  0.687 % |
45.38/45.45	c |    367275 |    1157     4802    14271 |        1    72091     21 |  0.687 % |
45.38/45.45	c |    370174 |    1157     4802    14271 |        1    74990     22 |  0.687 % |
45.38/45.45	c |    370329 |    1157     4802    14271 |        1    75145     22 |  0.687 % |
45.38/45.45	c |    417524 |    1157     4802    14271 |        1    81937     15 |  0.687 % |
45.38/45.45	c |    417693 |    1157     4802    14271 |        1    82106     15 |  0.687 % |
45.38/45.45	c |    418330 |    1157     4802    14271 |        1    82743     16 |  0.687 % |
45.38/45.45	c |    418899 |    1157     4802    14271 |        1    83312     16 |  0.687 % |
45.38/45.45	c |    419114 |    1157     4802    14271 |        1    83527     16 |  0.687 % |
45.38/45.45	c |    419884 |    1157     4802    14271 |        1    84297     16 |  0.687 % |
45.38/45.45	c |    419987 |    1157     4802    14271 |        1    84400     16 |  0.687 % |
45.38/45.45	c |    420331 |    1156     4798    14255 |        1    84735     16 |  0.773 % |
45.38/45.45	c |    420432 |    1156     4798    14255 |        1    84836     16 |  0.773 % |
45.38/45.45	c |    420552 |    1156     4798    14255 |        1    84956     16 |  0.773 % |
45.38/45.45	c |    420652 |    1156     4798    14255 |        1    85056     16 |  0.773 % |
45.38/45.45	c |    420966 |    1156     4798    14255 |        1    85370     16 |  0.773 % |
45.38/45.45	c |    421066 |    1156     4798    14255 |        1    85470     16 |  0.773 % |
45.38/45.45	c |    423384 |    1156     4798    14255 |        1    44791     12 |  0.773 % |
45.38/45.45	c |    424033 |    1156     4798    14255 |        1    45440     13 |  0.773 % |
45.38/45.45	c |    424220 |    1156     4798    14255 |        1    45627     13 |  0.773 % |
45.38/45.45	c |    424322 |    1156     4798    14255 |        1    45729     13 |  0.773 % |
45.38/45.45	c |    424430 |    1156     4798    14255 |        1    45837     13 |  0.773 % |
45.38/45.45	c |    425043 |    1156     4798    14255 |        1    46450     13 |  0.773 % |
45.38/45.45	c |    425390 |    1156     4798    14255 |        1    46797     13 |  0.773 % |
45.38/45.45	c |    425490 |    1156     4798    14255 |        1    46897     13 |  0.773 % |
45.38/45.45	c |    431262 |    1156     4798    14255 |        1    52669     16 |  0.773 % |
45.38/45.45	c |    431697 |    1156     4798    14255 |        1    53104     16 |  0.773 % |
45.38/45.45	c |    431799 |    1156     4798    14255 |        1    53206     16 |  0.773 % |
45.38/45.45	c |    431899 |    1156     4798    14255 |        1    53306     16 |  0.773 % |
45.38/45.45	c |    431999 |    1156     4798    14255 |        1    53406     16 |  0.773 % |
45.38/45.45	c |    433439 |    1156     4798    14255 |        1    54846     17 |  0.773 % |
45.38/45.45	c |    433654 |    1156     4798    14255 |        1    55061     17 |  0.773 % |
45.38/45.45	c |    433754 |    1156     4798    14255 |        1    55161     17 |  0.773 % |
45.38/45.45	c |    434414 |    1156     4798    14255 |        1    55821     17 |  0.773 % |
45.38/45.45	c |    434817 |    1156     4798    14255 |        1    56224     17 |  0.773 % |
45.38/45.45	c |    434993 |    1156     4798    14255 |        1    56400     17 |  0.773 % |
45.38/45.45	c |    435093 |    1156     4798    14255 |        1    56500     17 |  0.773 % |
45.38/45.45	c |    435804 |    1156     4798    14255 |        1    57211     18 |  0.773 % |
45.38/45.45	c |    435933 |    1156     4798    14255 |        1    57340     18 |  0.773 % |
54.48/54.59	c |    436033 |    1156     4798    14255 |        1    57440     18 |  0.773 % |
54.48/54.59	c |    436470 |    1156     4798    14255 |        1    57877     18 |  0.773 % |
54.48/54.59	c |    436602 |    1156     4798    14255 |        1    58009     18 |  0.773 % |
54.48/54.59	c |    436703 |    1156     4798    14255 |        1    58110     18 |  0.773 % |
54.48/54.59	c |    436804 |    1156     4798    14255 |        1    58211     18 |  0.773 % |
54.48/54.59	c |    438043 |    1156     4798    14255 |        1    59450     18 |  0.773 % |
54.48/54.59	c |    438144 |    1156     4798    14255 |        1    59551     18 |  0.773 % |
54.48/54.59	c |    439419 |    1156     4798    14255 |        1    60826     19 |  0.773 % |
54.48/54.59	c |    439653 |    1156     4798    14255 |        1    61060     19 |  0.773 % |
54.48/54.59	c |    440117 |    1156     4798    14255 |        1    61524     19 |  0.773 % |
54.48/54.59	c |    440519 |    1156     4798    14255 |        1    61926     19 |  0.773 % |
54.48/54.59	c |    440814 |    1156     4798    14255 |        1    62221     19 |  0.773 % |
54.48/54.59	c |    440962 |    1156     4798    14255 |        1    62369     19 |  0.773 % |
54.48/54.59	c |    441366 |    1156     4798    14255 |        1    62773     19 |  0.773 % |
54.48/54.59	c |    443799 |    1156     4798    14255 |        1    65206     20 |  0.773 % |
54.48/54.59	c |    443899 |    1156     4798    14255 |        1    65306     20 |  0.773 % |
54.48/54.59	c |    443999 |    1156     4798    14255 |        1    65406     20 |  0.773 % |
54.48/54.59	c |    444205 |    1156     4798    14255 |        1    65612     20 |  0.773 % |
54.48/54.59	c |    444440 |    1156     4798    14255 |        1    65847     20 |  0.773 % |
54.48/54.59	c |    444541 |    1156     4798    14255 |        1    65948     20 |  0.773 % |
54.48/54.59	c |    444644 |    1156     4798    14255 |        1    66051     20 |  0.773 % |
54.48/54.59	c |    445189 |    1156     4798    14255 |        1    66596     20 |  0.773 % |
54.48/54.59	c |    445854 |    1156     4798    14255 |        1    67261     21 |  0.773 % |
54.48/54.59	c |    447877 |    1156     4798    14255 |        1    69284     21 |  0.773 % |
54.48/54.59	c |    448666 |    1156     4798    14255 |        1    70073     21 |  0.773 % |
54.48/54.59	c |    448766 |    1156     4798    14255 |        1    70173     21 |  0.773 % |
54.48/54.59	c |    449090 |    1156     4798    14255 |        1    70497     21 |  0.773 % |
54.48/54.59	c |    449343 |    1156     4798    14255 |        1    70750     21 |  0.773 % |
54.48/54.59	c |    449443 |    1156     4798    14255 |        1    70850     21 |  0.773 % |
54.48/54.59	c |    449756 |    1156     4798    14255 |        1    71163     21 |  0.773 % |
54.48/54.59	c |    450509 |    1156     4798    14255 |        1    71916     21 |  0.773 % |
54.48/54.59	c |    450741 |    1156     4798    14255 |        1    72148     21 |  0.773 % |
54.48/54.59	c |    455534 |    1156     4798    14255 |        1    76941     22 |  0.773 % |
54.48/54.59	c |    455635 |    1156     4798    14255 |        1    77042     22 |  0.773 % |
54.48/54.59	c |    455736 |    1156     4798    14255 |        1    77143     22 |  0.773 % |
54.48/54.59	c |    456225 |    1156     4798    14255 |        1    77632     22 |  0.773 % |
54.48/54.59	c |    480490 |    1156     4798    14255 |        1    56301     16 |  0.773 % |
54.48/54.59	c |    480858 |    1156     4798    14255 |        1    56669     16 |  0.773 % |
54.48/54.59	c |    481089 |    1156     4798    14255 |        1    56900     16 |  0.773 % |
54.48/54.59	c |    483031 |    1156     4798    14255 |        1    58842     17 |  0.773 % |
54.48/54.59	c |    483132 |    1156     4798    14255 |        1    58943     17 |  0.773 % |
54.48/54.59	c |    483234 |    1156     4798    14255 |        1    59045     17 |  0.773 % |
54.48/54.59	c |    483458 |    1156     4798    14255 |        1    59269     17 |  0.773 % |
54.48/54.59	c |    483558 |    1156     4798    14255 |        1    59369     17 |  0.773 % |
54.48/54.59	c |    483659 |    1156     4798    14255 |        1    59470     17 |  0.773 % |
54.48/54.59	c |    483760 |    1156     4798    14255 |        1    59571     17 |  0.773 % |
54.48/54.59	c |    483864 |    1156     4798    14255 |        1    59675     17 |  0.773 % |
54.48/54.59	c |    484007 |    1156     4798    14255 |        1    59818     17 |  0.773 % |
54.48/54.59	c |    486840 |    1156     4798    14255 |        1    62651     18 |  0.773 % |
54.48/54.59	c |    486941 |    1156     4798    14255 |        1    62752     18 |  0.773 % |
146.29/146.33	c |    487147 |    1156     4798    14255 |        1    62958     18 |  0.773 % |
146.29/146.33	c |    487427 |    1156     4798    14255 |        1    63238     18 |  0.773 % |
146.29/146.33	c |    491910 |    1156     4798    14255 |        1    67721     19 |  0.773 % |
146.29/146.33	c |    492012 |    1156     4798    14255 |        1    67823     19 |  0.773 % |
146.29/146.33	c |    492117 |    1156     4798    14255 |        1    67928     19 |  0.773 % |
146.29/146.33	c |    493317 |    1156     4798    14255 |        1    69128     19 |  0.773 % |
146.29/146.33	c |    493419 |    1156     4798    14255 |        1    69230     19 |  0.773 % |
146.29/146.33	c |    494733 |    1156     4798    14255 |        1    70544     20 |  0.773 % |
146.29/146.33	c |    494833 |    1156     4798    14255 |        1    70644     20 |  0.773 % |
146.29/146.33	c |    495032 |    1156     4798    14255 |        1    70843     20 |  0.773 % |
146.29/146.33	c |    495158 |    1156     4798    14255 |        1    70969     20 |  0.773 % |
146.29/146.33	c |    495258 |    1156     4798    14255 |        1    71069     20 |  0.773 % |
146.29/146.33	c |    495681 |    1156     4798    14255 |        1    71492     20 |  0.773 % |
146.29/146.33	c |    497756 |    1156     4798    14255 |        1    73567     20 |  0.773 % |
146.29/146.33	c |    497856 |    1156     4798    14255 |        1    73667     20 |  0.773 % |
146.29/146.33	c |    506034 |    1156     4798    14255 |        1    81845     21 |  0.773 % |
146.29/146.33	c |    512040 |    1156     4798    14255 |        1    87851     22 |  0.773 % |
146.29/146.33	c |    512142 |    1156     4798    14255 |        1    87953     22 |  0.773 % |
146.29/146.33	c |    512244 |    1156     4798    14255 |        1    88055     22 |  0.773 % |
146.29/146.33	c |    512834 |    1156     4798    14255 |        1    88645     22 |  0.773 % |
146.29/146.33	c |    514830 |    1156     4798    14255 |        1    90641     22 |  0.773 % |
146.29/146.33	c |    515567 |    1156     4798    14255 |        1    91378     22 |  0.773 % |
146.29/146.33	c |    515668 |    1156     4798    14255 |        1    91479     22 |  0.773 % |
146.29/146.33	c |    515914 |    1156     4798    14255 |        1    91725     22 |  0.773 % |
146.29/146.33	c |    516196 |    1156     4798    14255 |        1    92007     22 |  0.773 % |
146.29/146.33	c |    516906 |    1156     4798    14255 |        1    92717     23 |  0.773 % |
146.29/146.33	c |    517010 |    1156     4798    14255 |        1    92821     23 |  0.773 % |
146.29/146.33	c |    517766 |    1156     4798    14255 |        1    93577     23 |  0.773 % |
146.29/146.33	c |    609868 |    1156     4798    14255 |        1    86685     15 |  0.773 % |
146.29/146.33	c |    610039 |    1156     4798    14255 |        1    86856     15 |  0.773 % |
146.29/146.33	c |    610211 |    1156     4798    14255 |        1    87028     15 |  0.773 % |
146.29/146.33	c |    610312 |    1156     4798    14255 |        1    87129     15 |  0.773 % |
146.29/146.33	c |    610430 |    1156     4798    14255 |        1    87247     15 |  0.773 % |
146.29/146.33	c |    616447 |    1156     4798    14255 |        1    93264     16 |  0.773 % |
146.29/146.33	c |    616644 |    1156     4798    14255 |        1    93461     16 |  0.773 % |
146.29/146.33	c |    616744 |    1156     4798    14255 |        1    93561     16 |  0.773 % |
146.29/146.33	c |    616845 |    1156     4798    14255 |        1    93662     16 |  0.773 % |
146.29/146.33	c |    617281 |    1156     4798    14255 |        1    94098     16 |  0.773 % |
146.29/146.33	c |    622344 |    1156     4798    14255 |        1    99161     16 |  0.773 % |
146.29/146.33	c |    622449 |    1156     4798    14255 |        1    99266     16 |  0.773 % |
146.29/146.33	c |    623136 |    1156     4798    14255 |        1    99953     17 |  0.773 % |
146.29/146.33	c |    625932 |    1156     4798    14255 |        1   102749     17 |  0.773 % |
146.29/146.33	c |    626084 |    1156     4798    14255 |        1   102901     17 |  0.773 % |
146.29/146.33	c |    626185 |    1156     4798    14255 |        1   103002     17 |  0.773 % |
146.29/146.33	c |   1026174 |    1155     4794    14239 |        1    62578     11 |  0.858 % |
146.29/146.33	c |   1026942 |    1155     4794    14239 |        1    63346     12 |  0.858 % |
146.29/146.33	c |   1027042 |    1155     4794    14239 |        1    63446     12 |  0.858 % |
146.29/146.33	c |   1027143 |    1155     4794    14239 |        1    63547     12 |  0.858 % |
146.29/146.33	c |   1032633 |    1155     4794    14239 |        1    69037     13 |  0.858 % |
146.29/146.33	c |   1033170 |    1155     4794    14239 |        1    69574     13 |  0.858 % |
154.08/154.18	c |   1033272 |    1155     4794    14239 |        1    69676     13 |  0.858 % |
154.08/154.18	c |   1033520 |    1155     4794    14239 |        1    69924     13 |  0.858 % |
154.08/154.18	c |   1033621 |    1155     4794    14239 |        1    70025     13 |  0.858 % |
154.08/154.18	c |   1034151 |    1155     4794    14239 |        1    70555     13 |  0.858 % |
154.08/154.18	c |   1034253 |    1155     4794    14239 |        1    70657     13 |  0.858 % |
154.08/154.18	c |   1034354 |    1155     4794    14239 |        1    70758     13 |  0.858 % |
154.08/154.18	c |   1034454 |    1155     4794    14239 |        1    70858     13 |  0.858 % |
154.08/154.18	c |   1035421 |    1155     4794    14239 |        1    71825     13 |  0.858 % |
154.08/154.18	c |   1035521 |    1155     4794    14239 |        1    71925     14 |  0.858 % |
154.08/154.18	c |   1041043 |    1154     4790    14223 |        1    73462     14 |  0.944 % |
154.08/154.18	c |   1043980 |    1154     4790    14223 |        1    76399     14 |  0.944 % |
154.08/154.18	c |   1044080 |    1154     4790    14223 |        1    76499     14 |  0.944 % |
154.08/154.18	c |   1044215 |    1154     4790    14223 |        1    76634     14 |  0.944 % |
154.08/154.18	c |   1044317 |    1154     4790    14223 |        1    76736     14 |  0.944 % |
154.08/154.18	c |   1044418 |    1154     4790    14223 |        1    76837     14 |  0.944 % |
154.08/154.18	c |   1044607 |    1154     4790    14223 |        1    77026     14 |  0.944 % |
154.08/154.18	c |   1044714 |    1154     4790    14223 |        1    77133     14 |  0.944 % |
154.08/154.18	c |   1045056 |    1154     4790    14223 |        1    77475     14 |  0.944 % |
154.08/154.18	c |   1045156 |    1154     4790    14223 |        1    77575     14 |  0.944 % |
154.08/154.18	c |   1048350 |    1154     4790    14223 |        1    80769     15 |  0.944 % |
154.08/154.18	c |   1048451 |    1154     4790    14223 |        1    80870     15 |  0.944 % |
154.08/154.18	c |   1048552 |    1154     4790    14223 |        1    80971     15 |  0.944 % |
154.08/154.18	c |   1048653 |    1154     4790    14223 |        1    81072     16 |  0.944 % |
154.08/154.18	c |   1048753 |    1154     4790    14223 |        1    81172     16 |  0.944 % |
154.08/154.18	c |   1049106 |    1154     4790    14223 |        1    81525     16 |  0.944 % |
154.08/154.18	c |   1049227 |    1154     4790    14223 |        1    81646     16 |  0.944 % |
154.08/154.18	c |   1049420 |    1154     4790    14223 |        1    81839     16 |  0.944 % |
154.08/154.18	c |   1052244 |    1154     4790    14223 |        1    84663     16 |  0.944 % |
154.08/154.18	c |   1052740 |    1154     4790    14223 |        1    85159     16 |  0.944 % |
154.08/154.18	c |   1052840 |    1154     4790    14223 |        1    85259     16 |  0.944 % |
154.08/154.18	c |   1053048 |    1154     4790    14223 |        1    85467     16 |  0.944 % |
154.08/154.18	c |   1053153 |    1154     4790    14223 |        1    85572     16 |  0.944 % |
154.08/154.18	c |   1053253 |    1154     4790    14223 |        1    85672     16 |  0.944 % |
154.08/154.18	c |   1053353 |    1154     4790    14223 |        1    85772     16 |  0.944 % |
154.08/154.18	c |   1054382 |    1154     4790    14223 |        1    86801     17 |  0.944 % |
154.08/154.18	c |   1054482 |    1154     4790    14223 |        1    86901     17 |  0.944 % |
154.08/154.18	c |   1066729 |    1154     4790    14223 |        1    99148     19 |  0.944 % |
154.08/154.18	c |   1067021 |    1154     4790    14223 |        1    99440     19 |  0.944 % |
154.08/154.18	c |   1067122 |    1154     4790    14223 |        1    99541     19 |  0.944 % |
154.08/154.18	c |   1067231 |    1154     4790    14223 |        1    99650     19 |  0.944 % |
154.08/154.18	c |   1067334 |    1154     4790    14223 |        1    99753     19 |  0.944 % |
154.08/154.18	c |   1067641 |    1154     4790    14223 |        1   100060     19 |  0.944 % |
154.08/154.18	c |   1067863 |    1154     4790    14223 |        1   100282     19 |  0.944 % |
154.08/154.18	c |   1068064 |    1154     4790    14223 |        1   100483     19 |  0.944 % |
154.08/154.18	c |   1068167 |    1154     4790    14223 |        1   100586     19 |  0.944 % |
154.08/154.18	c |   1068428 |    1154     4790    14223 |        1   100847     19 |  0.944 % |
154.08/154.18	c |   1068529 |    1154     4790    14223 |        1   100948     19 |  0.944 % |
154.08/154.18	c |   1068894 |    1154     4790    14223 |        1   101313     19 |  0.944 % |
154.08/154.18	c |   1069291 |    1154     4790    14223 |        1   101710     19 |  0.944 % |
154.08/154.18	c |   1069391 |    1154     4790    14223 |        1   101810     19 |  0.944 % |
158.88/158.99	c |   1069510 |    1154     4790    14223 |        1   101929     19 |  0.944 % |
158.88/158.99	c |   1069612 |    1154     4790    14223 |        1   102031     19 |  0.944 % |
158.88/158.99	c |   1070020 |    1154     4790    14223 |        1   102439     19 |  0.944 % |
158.88/158.99	c |   1070214 |    1154     4790    14223 |        1   102633     19 |  0.944 % |
158.88/158.99	c |   1070377 |    1154     4790    14223 |        1   102796     19 |  0.944 % |
158.88/158.99	c |   1071814 |    1154     4790    14223 |        1   104233     19 |  0.944 % |
158.88/158.99	c |   1071917 |    1154     4790    14223 |        1   104336     19 |  0.944 % |
158.88/158.99	c |   1072017 |    1154     4790    14223 |        1   104436     19 |  0.944 % |
158.88/158.99	c |   1072203 |    1154     4790    14223 |        1   104622     19 |  0.944 % |
158.88/158.99	c |   1072418 |    1154     4790    14223 |        1   104837     19 |  0.944 % |
158.88/158.99	c |   1072518 |    1154     4790    14223 |        1   104937     19 |  0.944 % |
158.88/158.99	c |   1072618 |    1154     4790    14223 |        1   105037     19 |  0.944 % |
158.88/158.99	c |   1073699 |    1154     4790    14223 |        1   106118     20 |  0.944 % |
158.88/158.99	c |   1073799 |    1154     4790    14223 |        1   106218     20 |  0.944 % |
158.88/158.99	c |   1073901 |    1154     4790    14223 |        1   106320     20 |  0.944 % |
158.88/158.99	c |   1074002 |    1154     4790    14223 |        1   106421     20 |  0.944 % |
158.88/158.99	c |   1074750 |    1154     4790    14223 |        1   107169     20 |  0.944 % |
158.88/158.99	c |   1075651 |    1154     4790    14223 |        1   108070     20 |  0.944 % |
158.88/158.99	c |   1075813 |    1154     4790    14223 |        1   108232     20 |  0.944 % |
158.88/158.99	c |   1076431 |    1154     4790    14223 |        1   108850     20 |  0.944 % |
158.88/158.99	c |   1076531 |    1154     4790    14223 |        1   108950     20 |  0.944 % |
158.88/158.99	c |   1077362 |    1154     4790    14223 |        1   109781     20 |  0.944 % |
158.88/158.99	c |   1077463 |    1154     4790    14223 |        1   109882     20 |  0.944 % |
158.88/158.99	c |   1077667 |    1154     4790    14223 |        1   110086     20 |  0.944 % |
158.88/158.99	c |   1078138 |    1154     4790    14223 |        1   110557     20 |  0.944 % |
158.88/158.99	c |   1079470 |    1154     4790    14223 |        1   111889     20 |  0.944 % |
158.88/158.99	c |   1079571 |    1154     4790    14223 |        1   111990     20 |  0.944 % |
158.88/158.99	c |   1079810 |    1154     4790    14223 |        1   112229     20 |  0.944 % |
158.88/158.99	c |   1081477 |    1154     4790    14223 |        1   113896     20 |  0.944 % |
158.88/158.99	c |   1081577 |    1154     4790    14223 |        1   113996     20 |  0.944 % |
158.88/158.99	c |   1081677 |    1154     4790    14223 |        1   114096     20 |  0.944 % |
158.88/158.99	c |   1082181 |    1154     4790    14223 |        1   114600     21 |  0.944 % |
158.88/158.99	c |   1082562 |    1154     4790    14223 |        1   114981     21 |  0.944 % |
158.88/158.99	c |   1082716 |    1154     4790    14223 |        1   115135     21 |  0.944 % |
158.88/158.99	c |   1082950 |    1154     4790    14223 |        1   115369     21 |  0.944 % |
158.88/158.99	c |   1083050 |    1154     4790    14223 |        1   115469     21 |  0.944 % |
158.88/158.99	c |   1083150 |    1154     4790    14223 |        1   115569     21 |  0.944 % |
158.88/158.99	c |   1083612 |    1154     4790    14223 |        1   116031     21 |  0.944 % |
158.88/158.99	c |   1083712 |    1154     4790    14223 |        1   116131     21 |  0.944 % |
158.88/158.99	c |   1083813 |    1154     4790    14223 |        1   116232     21 |  0.944 % |
158.88/158.99	c |   1084174 |    1154     4790    14223 |        1   116593     21 |  0.944 % |
158.88/158.99	c |   1084515 |    1154     4790    14223 |        1   116934     21 |  0.944 % |
158.88/158.99	c |   1084944 |    1154     4790    14223 |        1   117363     21 |  0.944 % |
158.88/158.99	c |   1085049 |    1154     4790    14223 |        1   117468     21 |  0.944 % |
158.88/158.99	c |   1087146 |    1154     4790    14223 |        1   119565     21 |  0.944 % |
158.88/158.99	c |   1087354 |    1154     4790    14223 |        1   119773     21 |  0.944 % |
158.88/158.99	c |   1087455 |    1154     4790    14223 |        1   119874     21 |  0.944 % |
158.88/158.99	c |   1087556 |    1154     4790    14223 |        1   119975     21 |  0.944 % |
158.88/158.99	c |   1087657 |    1154     4790    14223 |        1   120076     21 |  0.944 % |
173.79/173.81	c |   1088072 |    1154     4790    14223 |        1   120491     21 |  0.944 % |
173.79/173.81	c |   1088748 |    1154     4790    14223 |        1   121167     21 |  0.944 % |
173.79/173.81	c |   1088848 |    1154     4790    14223 |        1   121267     21 |  0.944 % |
173.79/173.81	c |   1090530 |    1154     4790    14223 |        1   122949     21 |  0.944 % |
173.79/173.81	c |   1090631 |    1154     4790    14223 |        1   123050     21 |  0.944 % |
173.79/173.81	c |   1090731 |    1154     4790    14223 |        1   123150     21 |  0.944 % |
173.79/173.81	c |   1090928 |    1154     4790    14223 |        1   123347     21 |  0.944 % |
173.79/173.81	c |   1091056 |    1154     4790    14223 |        1   123475     21 |  0.944 % |
173.79/173.81	c |   1091470 |    1154     4790    14223 |        1   123889     21 |  0.944 % |
173.79/173.81	c |   1091570 |    1154     4790    14223 |        1   123989     21 |  0.944 % |
173.79/173.81	c |   1093409 |    1154     4790    14223 |        1   125828     21 |  0.944 % |
173.79/173.81	c |   1093509 |    1154     4790    14223 |        1   125928     21 |  0.944 % |
173.79/173.81	c |   1093840 |    1154     4790    14223 |        1   126259     22 |  0.944 % |
173.79/173.81	c |   1093941 |    1154     4790    14223 |        1   126360     22 |  0.944 % |
173.79/173.81	c |   1094041 |    1154     4790    14223 |        1   126460     22 |  0.944 % |
173.79/173.81	c |   1094141 |    1154     4790    14223 |        1   126560     22 |  0.944 % |
173.79/173.81	c |   1094244 |    1154     4790    14223 |        1   126663     22 |  0.944 % |
173.79/173.81	c |   1094344 |    1154     4790    14223 |        1   126763     22 |  0.944 % |
173.79/173.81	c |   1094476 |    1154     4790    14223 |        1   126895     22 |  0.944 % |
173.79/173.81	c |   1094576 |    1154     4790    14223 |        1   126995     22 |  0.944 % |
173.79/173.81	c |   1094974 |    1154     4790    14223 |        1    63791     12 |  0.944 % |
173.79/173.81	c |   1095327 |    1154     4790    14223 |        1    64144     12 |  0.944 % |
173.79/173.81	c |   1095427 |    1154     4790    14223 |        1    64244     12 |  0.944 % |
173.79/173.81	c |   1096093 |    1154     4790    14223 |        1    64910     13 |  0.944 % |
173.79/173.81	c |   1136428 |    1154     4790    14223 |        1   105245     15 |  0.944 % |
173.79/173.81	c |   1152044 |    1154     4790    14223 |        1   120861     16 |  0.944 % |
173.79/173.81	c |   1152994 |    1154     4790    14223 |        1   121811     16 |  0.944 % |
173.79/173.81	c |   1153095 |    1154     4790    14223 |        1   121912     16 |  0.944 % |
173.79/173.81	c |   1154921 |    1154     4790    14223 |        1   123738     17 |  0.944 % |
173.79/173.81	c |   1155021 |    1154     4790    14223 |        1   123838     17 |  0.944 % |
173.79/173.81	c |   1155786 |    1154     4790    14223 |        1   124603     17 |  0.944 % |
173.79/173.81	c |   1157060 |    1154     4790    14223 |        1   125877     17 |  0.944 % |
173.79/173.81	c |   1157480 |    1154     4790    14223 |        1   126297     17 |  0.944 % |
173.79/173.81	c |   1157690 |    1154     4790    14223 |        1   126507     17 |  0.944 % |
173.79/173.81	c |   1157921 |    1154     4790    14223 |        1   126738     17 |  0.944 % |
173.79/173.81	c |   1158056 |    1154     4790    14223 |        1   126873     17 |  0.944 % |
173.79/173.81	c |   1158168 |    1154     4790    14223 |        1   126985     17 |  0.944 % |
173.79/173.81	c |   1158557 |    1154     4790    14223 |        1   127374     17 |  0.944 % |
173.79/173.81	c |   1158687 |    1154     4790    14223 |        1   127504     17 |  0.944 % |
173.79/173.81	c |   1159273 |    1154     4790    14223 |        1   128090     17 |  0.944 % |
173.79/173.81	c |   1159375 |    1154     4790    14223 |        1   128192     17 |  0.944 % |
173.79/173.81	c |   1159475 |    1154     4790    14223 |        1   128292     17 |  0.944 % |
173.79/173.81	c |   1159576 |    1154     4790    14223 |        1   128393     17 |  0.944 % |
173.79/173.81	c |   1161289 |    1154     4790    14223 |        1   130106     17 |  0.944 % |
173.79/173.81	c |   1161389 |    1154     4790    14223 |        1   130206     17 |  0.944 % |
173.79/173.81	c |   1161490 |    1154     4790    14223 |        1   130307     17 |  0.944 % |
173.79/173.81	c |   1161893 |    1154     4790    14223 |        1   130710     18 |  0.944 % |
173.79/173.81	c |   1162677 |    1154     4790    14223 |        1   131494     18 |  0.944 % |
173.79/173.81	c |   1162839 |    1154     4790    14223 |        1   131656     18 |  0.944 % |
173.79/173.81	c |   1162939 |    1154     4790    14223 |        1   131756     18 |  0.944 % |
187.08/187.17	c |   1163040 |    1154     4790    14223 |        1   131857     18 |  0.944 % |
187.08/187.17	c |   1163416 |    1154     4790    14223 |        1   132233     18 |  0.944 % |
187.08/187.17	c |   1163554 |    1154     4790    14223 |        1   132371     18 |  0.944 % |
187.08/187.17	c |   1164001 |    1154     4790    14223 |        1   132818     18 |  0.944 % |
187.08/187.17	c |   1164831 |    1154     4790    14223 |        1   133648     18 |  0.944 % |
187.08/187.17	c |   1166430 |    1154     4790    14223 |        1   135247     18 |  0.944 % |
187.08/187.17	c |   1166530 |    1154     4790    14223 |        1   135347     18 |  0.944 % |
187.08/187.17	c |   1166857 |    1154     4790    14223 |        1   135674     18 |  0.944 % |
187.08/187.17	c |   1166958 |    1154     4790    14223 |        1   135775     18 |  0.944 % |
187.08/187.17	c |   1170795 |    1154     4790    14223 |        1   139612     19 |  0.944 % |
187.08/187.17	c |   1170978 |    1154     4790    14223 |        1   139795     19 |  0.944 % |
187.08/187.17	c |   1171080 |    1154     4790    14223 |        1   139897     19 |  0.944 % |
187.08/187.17	c |   1184175 |    1154     4790    14223 |        1    82794     16 |  0.944 % |
187.08/187.17	c |   1184416 |    1154     4790    14223 |        1    83035     16 |  0.944 % |
187.08/187.17	c |   1185242 |    1154     4790    14223 |        1    83861     16 |  0.944 % |
187.08/187.17	c |   1185417 |    1154     4790    14223 |        1    84036     16 |  0.944 % |
187.08/187.17	c |   1186327 |    1154     4790    14223 |        1    84946     16 |  0.944 % |
187.08/187.17	c |   1186912 |    1154     4790    14223 |        1    85531     16 |  0.944 % |
187.08/187.17	c |   1187754 |    1154     4790    14223 |        1    86373     17 |  0.944 % |
187.08/187.17	c |   1187854 |    1154     4790    14223 |        1    86473     17 |  0.944 % |
187.08/187.17	c |   1188573 |    1154     4790    14223 |        1    87192     17 |  0.944 % |
187.08/187.17	c |   1190737 |    1154     4790    14223 |        1    89356     17 |  0.944 % |
187.08/187.17	c |   1190852 |    1154     4790    14223 |        1    89471     17 |  0.944 % |
187.08/187.17	c |   1191125 |    1154     4790    14223 |        1    89744     17 |  0.944 % |
187.08/187.17	c |   1201023 |    1154     4790    14223 |        1    99642     19 |  0.944 % |
187.08/187.17	c |   1201367 |    1154     4790    14223 |        1    99986     19 |  0.944 % |
187.08/187.17	c |   1201470 |    1154     4790    14223 |        1   100089     19 |  0.944 % |
187.08/187.17	c |   1202040 |    1154     4790    14223 |        1   100659     19 |  0.944 % |
187.08/187.17	c |   1202412 |    1154     4790    14223 |        1   101031     19 |  0.944 % |
187.08/187.17	c |   1202815 |    1154     4790    14223 |        1   101434     19 |  0.944 % |
187.08/187.17	c |   1203073 |    1154     4790    14223 |        1   101692     19 |  0.944 % |
187.08/187.17	c |   1203173 |    1154     4790    14223 |        1   101792     19 |  0.944 % |
187.08/187.17	c |   1204447 |    1154     4790    14223 |        1   103066     20 |  0.944 % |
187.08/187.17	c |   1207355 |    1154     4790    14223 |        1   105974     20 |  0.944 % |
187.08/187.17	c |   1208990 |    1154     4790    14223 |        1   107609     20 |  0.944 % |
187.08/187.17	c |   1209673 |    1154     4790    14223 |        1   108292     20 |  0.944 % |
187.08/187.17	c |   1216642 |    1154     4790    14223 |        1   115261     21 |  0.944 % |
187.08/187.17	c |   1216756 |    1154     4790    14223 |        1   115375     21 |  0.944 % |
187.08/187.17	c |   1216856 |    1154     4790    14223 |        1   115475     21 |  0.944 % |
187.08/187.17	c |   1216958 |    1154     4790    14223 |        1   115577     21 |  0.944 % |
187.08/187.17	c |   1217092 |    1154     4790    14223 |        1   115711     21 |  0.944 % |
187.08/187.17	c |   1217375 |    1154     4790    14223 |        1   115994     21 |  0.944 % |
187.08/187.17	c |   1217475 |    1154     4790    14223 |        1   116094     21 |  0.944 % |
187.08/187.17	c |   1219724 |    1154     4790    14223 |        1   118343     21 |  0.944 % |
187.08/187.17	c |   1221345 |    1154     4790    14223 |        1   119964     21 |  0.944 % |
187.08/187.17	c |   1224285 |    1154     4790    14223 |        1   122904     22 |  0.944 % |
187.08/187.17	c |   1224807 |    1154     4790    14223 |        1   123426     22 |  0.944 % |
187.08/187.17	c |   1224907 |    1154     4790    14223 |        1   123526     22 |  0.944 % |
187.08/187.17	c |   1225007 |    1154     4790    14223 |        1   123626     22 |  0.944 % |
187.08/187.17	c |   1225740 |    1154     4790    14223 |        1   124359     22 |  0.944 % |
206.48/206.51	c |   1225840 |    1154     4790    14223 |        1   124459     22 |  0.944 % |
206.48/206.51	c |   1226133 |    1154     4790    14223 |        1   124752     22 |  0.944 % |
206.48/206.51	c |   1227645 |    1154     4790    14223 |        1   126264     22 |  0.944 % |
206.48/206.51	c |   1227774 |    1154     4790    14223 |        1   126393     22 |  0.944 % |
206.48/206.51	c |   1227948 |    1154     4790    14223 |        1   126567     22 |  0.944 % |
206.48/206.51	c |   1228048 |    1154     4790    14223 |        1   126667     22 |  0.944 % |
206.48/206.51	c |   1228626 |    1154     4790    14223 |        1   127245     22 |  0.944 % |
206.48/206.51	c |   1228727 |    1154     4790    14223 |        1   127346     22 |  0.944 % |
206.48/206.51	c |   1228850 |    1154     4790    14223 |        1   127469     22 |  0.944 % |
206.48/206.51	c |   1230556 |    1154     4790    14223 |        1   129175     22 |  0.944 % |
206.48/206.51	c |   1230656 |    1154     4790    14223 |        1   129275     22 |  0.944 % |
206.48/206.51	c |   1230816 |    1154     4790    14223 |        1   129435     22 |  0.944 % |
206.48/206.51	c |   1230916 |    1154     4790    14223 |        1   129535     22 |  0.944 % |
206.48/206.51	c |   1231490 |    1154     4790    14223 |        1   130109     23 |  0.944 % |
206.48/206.51	c |   1232491 |    1154     4790    14223 |        1   131110     23 |  0.944 % |
206.48/206.51	c |   1237223 |    1154     4790    14223 |        1   135842     23 |  0.944 % |
206.48/206.51	c |   1250560 |    1154     4790    14223 |        1   149179     24 |  0.944 % |
206.48/206.51	c |   1250661 |    1154     4790    14223 |        1   149280     24 |  0.944 % |
206.48/206.51	c |   1250850 |    1154     4790    14223 |        1   149469     24 |  0.944 % |
206.48/206.51	c |   1251482 |    1154     4790    14223 |        1    75296     13 |  0.944 % |
206.48/206.51	c |   1253413 |    1154     4790    14223 |        1    77227     14 |  0.944 % |
206.48/206.51	c |   1253794 |    1154     4790    14223 |        1    77608     14 |  0.944 % |
206.48/206.51	c |   1253894 |    1154     4790    14223 |        1    77708     14 |  0.944 % |
206.48/206.51	c |   1254120 |    1154     4790    14223 |        1    77934     14 |  0.944 % |
206.48/206.51	c |   1257216 |    1154     4790    14223 |        1    81030     15 |  0.944 % |
206.48/206.51	c |   1263817 |    1154     4790    14223 |        1    87631     17 |  0.944 % |
206.48/206.51	c |   1266182 |    1154     4790    14223 |        1    89996     17 |  0.944 % |
206.48/206.51	c |   1267325 |    1154     4790    14223 |        1    91139     17 |  0.944 % |
206.48/206.51	c |   1267439 |    1154     4790    14223 |        1    91253     17 |  0.944 % |
206.48/206.51	c |   1267540 |    1154     4790    14223 |        1    91354     17 |  0.944 % |
206.48/206.51	c |   1267718 |    1154     4790    14223 |        1    91532     17 |  0.944 % |
206.48/206.51	c |   1273409 |    1154     4790    14223 |        1    97223     18 |  0.944 % |
206.48/206.51	c |   1276305 |    1154     4790    14223 |        1   100119     19 |  0.944 % |
206.48/206.51	c |   1276730 |    1154     4790    14223 |        1   100544     19 |  0.944 % |
206.48/206.51	c |   1276832 |    1154     4790    14223 |        1   100646     19 |  0.944 % |
206.48/206.51	c |   1280816 |    1154     4790    14223 |        1   104630     20 |  0.944 % |
206.48/206.51	c |   1282269 |    1154     4790    14223 |        1   106083     20 |  0.944 % |
206.48/206.51	c |   1282373 |    1154     4790    14223 |        1   106187     20 |  0.944 % |
206.48/206.51	c |   1282482 |    1154     4790    14223 |        1   106296     20 |  0.944 % |
206.48/206.51	c |   1283104 |    1154     4790    14223 |        1   106918     20 |  0.944 % |
206.48/206.51	c |   1283204 |    1154     4790    14223 |        1   107018     20 |  0.944 % |
206.48/206.51	c |   1284748 |    1154     4790    14223 |        1   108562     20 |  0.944 % |
206.48/206.51	c |   1284850 |    1154     4790    14223 |        1   108664     20 |  0.944 % |
206.48/206.51	c |   1285125 |    1154     4790    14223 |        1   108939     20 |  0.944 % |
206.48/206.51	c |   1286759 |    1154     4790    14223 |        1   110573     20 |  0.944 % |
206.48/206.51	c |   1287145 |    1154     4790    14223 |        1   110959     20 |  0.944 % |
206.48/206.51	c |   1288725 |    1154     4790    14223 |        1   112539     21 |  0.944 % |
206.48/206.51	c |   1288921 |    1154     4790    14223 |        1   112735     21 |  0.944 % |
206.48/206.51	c |   1289743 |    1154     4790    14223 |        1   113557     21 |  0.944 % |
206.48/206.51	c |   1302035 |    1154     4790    14223 |        1   125849     21 |  0.944 % |
235.68/235.76	c |   1302140 |    1154     4790    14223 |        1   125954     21 |  0.944 % |
235.68/235.76	c |   1302304 |    1154     4790    14223 |        1   126118     21 |  0.944 % |
235.68/235.76	c |   1302628 |    1154     4790    14223 |        1   126442     21 |  0.944 % |
235.68/235.76	c |   1330234 |    1154     4790    14223 |        1   154048     22 |  0.944 % |
235.68/235.76	c |   1330335 |    1154     4790    14223 |        1   154149     22 |  0.944 % |
235.68/235.76	c |   1330435 |    1154     4790    14223 |        1   154249     22 |  0.944 % |
235.68/235.76	c |   1333796 |    1154     4790    14223 |        1    79209     13 |  0.944 % |
235.68/235.76	c |   1334449 |    1154     4790    14223 |        1    79862     13 |  0.944 % |
235.68/235.76	c |   1335367 |    1154     4790    14223 |        1    80780     13 |  0.944 % |
235.68/235.76	c |   1335468 |    1154     4790    14223 |        1    80881     13 |  0.944 % |
235.68/235.76	c |   1335577 |    1154     4790    14223 |        1    80990     13 |  0.944 % |
235.68/235.76	c |   1335678 |    1154     4790    14223 |        1    81091     13 |  0.944 % |
235.68/235.76	c |   1336668 |    1154     4790    14223 |        1    82081     13 |  0.944 % |
235.68/235.76	c |   1340563 |    1154     4790    14223 |        1    85976     15 |  0.944 % |
235.68/235.76	c |   1341187 |    1154     4790    14223 |        1    86600     15 |  0.944 % |
235.68/235.76	c |   1341605 |    1154     4790    14223 |        1    87018     15 |  0.944 % |
235.68/235.76	c |   1341771 |    1154     4790    14223 |        1    87184     15 |  0.944 % |
235.68/235.76	c |   1342062 |    1154     4790    14223 |        1    87475     15 |  0.944 % |
235.68/235.76	c |   1344417 |    1154     4790    14223 |        1    89830     15 |  0.944 % |
235.68/235.76	c |   1344578 |    1154     4790    14223 |        1    89991     15 |  0.944 % |
235.68/235.76	c |   1344703 |    1154     4790    14223 |        1    90116     15 |  0.944 % |
235.68/235.76	c |   1344982 |    1154     4790    14223 |        1    90395     16 |  0.944 % |
235.68/235.76	c |   1345352 |    1154     4790    14223 |        1    90765     16 |  0.944 % |
235.68/235.76	c |   1345686 |    1154     4790    14223 |        1    91099     16 |  0.944 % |
235.68/235.76	c |   1345787 |    1154     4790    14223 |        1    91200     16 |  0.944 % |
235.68/235.76	c |   1345970 |    1154     4790    14223 |        1    91383     16 |  0.944 % |
235.68/235.76	c |   1346216 |    1154     4790    14223 |        1    91629     16 |  0.944 % |
235.68/235.76	c |   1369868 |    1154     4790    14223 |        1   115281     18 |  0.944 % |
235.68/235.76	c |   1391121 |    1154     4790    14223 |        1   136534     18 |  0.944 % |
235.68/235.76	c |   1391366 |    1154     4790    14223 |        1   136779     18 |  0.944 % |
235.68/235.76	c |   1391474 |    1154     4790    14223 |        1   136887     18 |  0.944 % |
235.68/235.76	c |   1391753 |    1154     4790    14223 |        1   137166     18 |  0.944 % |
235.68/235.76	c |   1398089 |    1154     4790    14223 |        1   143502     19 |  0.944 % |
235.68/235.76	c |   1398590 |    1154     4790    14223 |        1   144003     19 |  0.944 % |
235.68/235.76	c |   1398705 |    1154     4790    14223 |        1   144118     19 |  0.944 % |
235.68/235.76	c |   1398807 |    1154     4790    14223 |        1   144220     19 |  0.944 % |
235.68/235.76	c |   1398907 |    1154     4790    14223 |        1   144320     19 |  0.944 % |
235.68/235.76	c |   1399489 |    1154     4790    14223 |        1   144902     19 |  0.944 % |
235.68/235.76	c |   1399637 |    1154     4790    14223 |        1   145050     19 |  0.944 % |
235.68/235.76	c |   1399739 |    1154     4790    14223 |        1   145152     19 |  0.944 % |
235.68/235.76	c |   1399957 |    1154     4790    14223 |        1   145370     19 |  0.944 % |
235.68/235.76	c |   1400523 |    1154     4790    14223 |        1   145936     19 |  0.944 % |
235.68/235.76	c |   1400738 |    1154     4790    14223 |        1   146151     19 |  0.944 % |
235.68/235.76	c |   1400888 |    1154     4790    14223 |        1   146301     19 |  0.944 % |
235.68/235.76	c |   1401007 |    1154     4790    14223 |        1   146420     19 |  0.944 % |
235.68/235.76	c |   1401272 |    1154     4790    14223 |        1   146685     19 |  0.944 % |
235.68/235.76	c |   1405674 |    1154     4790    14223 |        1   151087     20 |  0.944 % |
235.68/235.76	c |   1405955 |    1154     4790    14223 |        1   151368     20 |  0.944 % |
235.68/235.76	c |   1406056 |    1154     4790    14223 |        1   151469     20 |  0.944 % |
235.68/235.76	c |   1406157 |    1154     4790    14223 |        1   151570     20 |  0.944 % |
262.98/263.06	c |   1422688 |    1154     4790    14223 |        1    86601     13 |  0.944 % |
262.98/263.06	c |   1423093 |    1154     4790    14223 |        1    87006     13 |  0.944 % |
262.98/263.06	c |   1423193 |    1154     4790    14223 |        1    87106     13 |  0.944 % |
262.98/263.06	c |   1423295 |    1154     4790    14223 |        1    87208     13 |  0.944 % |
262.98/263.06	c |   1423398 |    1154     4790    14223 |        1    87311     13 |  0.944 % |
262.98/263.06	c |   1423498 |    1154     4790    14223 |        1    87411     13 |  0.944 % |
262.98/263.06	c |   1423658 |    1154     4790    14223 |        1    87571     13 |  0.944 % |
262.98/263.06	c |   1425211 |    1154     4790    14223 |        1    89124     13 |  0.944 % |
262.98/263.06	c |   1429195 |    1154     4790    14223 |        1    93108     14 |  0.944 % |
262.98/263.06	c |   1431792 |    1154     4790    14223 |        1    95705     15 |  0.944 % |
262.98/263.06	c |   1476654 |    1154     4790    14223 |        1   140567     20 |  0.944 % |
262.98/263.06	c |   1477171 |    1154     4790    14223 |        1   141084     20 |  0.944 % |
262.98/263.06	c |   1477271 |    1154     4790    14223 |        1   141184     20 |  0.944 % |
262.98/263.06	c |   1477371 |    1154     4790    14223 |        1   141284     20 |  0.944 % |
262.98/263.06	c |   1477906 |    1154     4790    14223 |        1   141819     20 |  0.944 % |
262.98/263.06	c |   1480140 |    1154     4790    14223 |        1   144053     20 |  0.944 % |
262.98/263.06	c |   1480241 |    1154     4790    14223 |        1   144154     20 |  0.944 % |
262.98/263.06	c |   1480525 |    1154     4790    14223 |        1   144438     20 |  0.944 % |
262.98/263.06	c |   1480632 |    1154     4790    14223 |        1   144545     20 |  0.944 % |
262.98/263.06	c |   1480732 |    1154     4790    14223 |        1   144645     20 |  0.944 % |
262.98/263.06	c |   1486094 |    1154     4790    14223 |        1   150007     21 |  0.944 % |
262.98/263.06	c |   1486194 |    1154     4790    14223 |        1   150107     21 |  0.944 % |
262.98/263.06	c |   1487473 |    1154     4790    14223 |        1   151386     21 |  0.944 % |
262.98/263.06	c |   1487745 |    1154     4790    14223 |        1   151658     21 |  0.944 % |
262.98/263.06	c |   1487845 |    1154     4790    14223 |        1   151758     21 |  0.944 % |
262.98/263.06	c |   1487946 |    1154     4790    14223 |        1   151859     21 |  0.944 % |
262.98/263.06	c |   1488138 |    1154     4790    14223 |        1   152051     21 |  0.944 % |
262.98/263.06	c |   1488584 |    1154     4790    14223 |        1   152497     21 |  0.944 % |
262.98/263.06	c |   1491750 |    1154     4790    14223 |        1   155663     21 |  0.944 % |
262.98/263.06	c |   1499854 |    1154     4790    14223 |        1   163767     22 |  0.944 % |
262.98/263.06	c |   1499954 |    1154     4790    14223 |        1   163867     22 |  0.944 % |
262.98/263.06	c |   1500995 |    1154     4790    14223 |        1   164908     22 |  0.944 % |
262.98/263.06	c |   1505675 |    1154     4790    14223 |        1    85241     13 |  0.944 % |
262.98/263.06	c |   1505832 |    1154     4790    14223 |        1    85398     13 |  0.944 % |
262.98/263.06	c |   1507536 |    1154     4790    14223 |        1    87102     13 |  0.944 % |
262.98/263.06	c |   1508023 |    1154     4790    14223 |        1    87589     13 |  0.944 % |
262.98/263.06	c |   1508133 |    1154     4790    14223 |        1    87699     13 |  0.944 % |
262.98/263.06	c |   1508234 |    1154     4790    14223 |        1    87800     13 |  0.944 % |
262.98/263.06	c |   1508334 |    1154     4790    14223 |        1    87900     13 |  0.944 % |
262.98/263.06	c |   1508848 |    1154     4790    14223 |        1    88414     14 |  0.944 % |
262.98/263.06	c |   1508948 |    1154     4790    14223 |        1    88514     14 |  0.944 % |
262.98/263.06	c |   1509174 |    1154     4790    14223 |        1    88740     14 |  0.944 % |
262.98/263.06	c |   1509303 |    1154     4790    14223 |        1    88869     14 |  0.944 % |
262.98/263.06	c |   1510131 |    1154     4790    14223 |        1    89697     14 |  0.944 % |
262.98/263.06	c |   1510234 |    1154     4790    14223 |        1    89800     14 |  0.944 % |
262.98/263.06	c |   1511807 |    1154     4790    14223 |        1    91373     14 |  0.944 % |
262.98/263.06	c |   1511907 |    1154     4790    14223 |        1    91473     14 |  0.944 % |
262.98/263.06	c |   1512008 |    1154     4790    14223 |        1    91574     15 |  0.944 % |
262.98/263.06	c |   1512117 |    1154     4790    14223 |        1    91683     15 |  0.944 % |
262.98/263.06	c |   1512407 |    1154     4790    14223 |        1    91973     15 |  0.944 % |
308.99/309.09	c |   1513794 |    1154     4790    14223 |        1    93360     15 |  0.944 % |
308.99/309.09	c |   1514686 |    1154     4790    14223 |        1    94252     15 |  0.944 % |
308.99/309.09	c |   1514790 |    1154     4790    14223 |        1    94356     15 |  0.944 % |
308.99/309.09	c |   1519819 |    1154     4790    14223 |        1    99385     16 |  0.944 % |
308.99/309.09	c |   1520237 |    1154     4790    14223 |        1    99803     16 |  0.944 % |
308.99/309.09	c |   1571088 |    1154     4790    14223 |        1   150654     18 |  0.944 % |
308.99/309.09	c |   1571288 |    1154     4790    14223 |        1   150854     18 |  0.944 % |
308.99/309.09	c |   1572104 |    1154     4790    14223 |        1   151670     18 |  0.944 % |
308.99/309.09	c |   1576130 |    1154     4790    14223 |        1   155696     19 |  0.944 % |
308.99/309.09	c |   1576231 |    1154     4790    14223 |        1   155797     19 |  0.944 % |
308.99/309.09	c |   1576356 |    1154     4790    14223 |        1   155922     19 |  0.944 % |
308.99/309.09	c |   1577477 |    1154     4790    14223 |        1   157043     19 |  0.944 % |
308.99/309.09	c |   1577579 |    1154     4790    14223 |        1   157145     19 |  0.944 % |
308.99/309.09	c |   1578124 |    1154     4790    14223 |        1   157690     19 |  0.944 % |
308.99/309.09	c |   1578225 |    1154     4790    14223 |        1   157791     19 |  0.944 % |
308.99/309.09	c |   1578326 |    1154     4790    14223 |        1   157892     19 |  0.944 % |
308.99/309.09	c |   1578500 |    1154     4790    14223 |        1   158066     19 |  0.944 % |
308.99/309.09	c |   1578728 |    1154     4790    14223 |        1   158294     19 |  0.944 % |
308.99/309.09	c |   1578828 |    1154     4790    14223 |        1   158394     19 |  0.944 % |
308.99/309.09	c |   1580326 |    1154     4790    14223 |        1   159892     19 |  0.944 % |
308.99/309.09	c |   1580504 |    1154     4790    14223 |        1   160070     19 |  0.944 % |
308.99/309.09	c |   1580742 |    1154     4790    14223 |        1   160308     19 |  0.944 % |
308.99/309.09	c |   1581863 |    1154     4790    14223 |        1   161429     19 |  0.944 % |
308.99/309.09	c |   1584198 |    1154     4790    14223 |        1   163764     19 |  0.944 % |
308.99/309.09	c |   1591309 |    1154     4790    14223 |        1   170875     20 |  0.944 % |
308.99/309.09	c |   1614460 |    1154     4790    14223 |        1   106949     16 |  0.944 % |
308.99/309.09	c |   1617592 |    1154     4790    14223 |        1   110081     16 |  0.944 % |
308.99/309.09	c |   1622736 |    1154     4790    14223 |        1   115225     17 |  0.944 % |
308.99/309.09	c |   1623863 |    1154     4790    14223 |        1   116352     17 |  0.944 % |
308.99/309.09	c |   1624119 |    1154     4790    14223 |        1   116608     17 |  0.944 % |
308.99/309.09	c |   1627630 |    1154     4790    14223 |        1   120119     17 |  0.944 % |
308.99/309.09	c |   1628668 |    1154     4790    14223 |        1   121157     17 |  0.944 % |
308.99/309.09	c |   1628774 |    1154     4790    14223 |        1   121263     17 |  0.944 % |
308.99/309.09	c |   1628877 |    1154     4790    14223 |        1   121366     17 |  0.944 % |
308.99/309.09	c |   1629035 |    1154     4790    14223 |        1   121524     17 |  0.944 % |
308.99/309.09	c |   1629361 |    1154     4790    14223 |        1   121850     17 |  0.944 % |
308.99/309.09	c |   1629462 |    1154     4790    14223 |        1   121951     17 |  0.944 % |
308.99/309.09	c |   1629563 |    1154     4790    14223 |        1   122052     17 |  0.944 % |
308.99/309.09	c |   1631962 |    1154     4790    14223 |        1   124451     18 |  0.944 % |
308.99/309.09	c |   1632063 |    1154     4790    14223 |        1   124552     18 |  0.944 % |
308.99/309.09	c |   1632287 |    1154     4790    14223 |        1   124776     18 |  0.944 % |
308.99/309.09	c |   1633763 |    1154     4790    14223 |        1   126252     18 |  0.944 % |
308.99/309.09	c |   1633865 |    1154     4790    14223 |        1   126354     18 |  0.944 % |
308.99/309.09	c |   1639049 |    1154     4790    14223 |        1   131538     19 |  0.944 % |
308.99/309.09	c |   1639150 |    1154     4790    14223 |        1   131639     19 |  0.944 % |
308.99/309.09	c |   1639250 |    1154     4790    14223 |        1   131739     19 |  0.944 % |
308.99/309.09	c |   1639448 |    1154     4790    14223 |        1   131937     19 |  0.944 % |
308.99/309.09	c |   1639548 |    1154     4790    14223 |        1   132037     19 |  0.944 % |
308.99/309.09	c |   1676689 |    1154     4790    14223 |        1   169178     20 |  0.944 % |
308.99/309.09	c |   1676789 |    1154     4790    14223 |        1   169278     20 |  0.944 % |
336.89/336.91	c |   1676960 |    1154     4790    14223 |        1   169449     20 |  0.944 % |
336.89/336.91	c |   1677061 |    1154     4790    14223 |        1   169550     20 |  0.944 % |
336.89/336.91	c |   1678827 |    1154     4790    14223 |        1   171316     20 |  0.944 % |
336.89/336.91	c |   1678930 |    1154     4790    14223 |        1   171419     20 |  0.944 % |
336.89/336.91	c |   1679031 |    1154     4790    14223 |        1   171520     20 |  0.944 % |
336.89/336.91	c |   1679163 |    1154     4790    14223 |        1   171652     20 |  0.944 % |
336.89/336.91	c |   1679265 |    1154     4790    14223 |        1   171754     20 |  0.944 % |
336.89/336.91	c |   1679366 |    1154     4790    14223 |        1   171855     20 |  0.944 % |
336.89/336.91	c |   1679602 |    1154     4790    14223 |        1   172091     20 |  0.944 % |
336.89/336.91	c |   1680629 |    1154     4790    14223 |        1   173118     20 |  0.944 % |
336.89/336.91	c |   1680729 |    1154     4790    14223 |        1   173218     20 |  0.944 % |
336.89/336.91	c |   1682093 |    1154     4790    14223 |        1   174582     21 |  0.944 % |
336.89/336.91	c |   1693155 |    1154     4790    14223 |        1    95905     13 |  0.944 % |
336.89/336.91	c |   1695548 |    1154     4790    14223 |        1    98298     13 |  0.944 % |
336.89/336.91	c |   1696614 |    1154     4790    14223 |        1    99364     14 |  0.944 % |
336.89/336.91	c |   1696715 |    1154     4790    14223 |        1    99465     14 |  0.944 % |
336.89/336.91	c |   1700556 |    1154     4790    14223 |        1   103306     14 |  0.944 % |
336.89/336.91	c |   1707231 |    1154     4790    14223 |        1   109981     15 |  0.944 % |
336.89/336.91	c |   1707331 |    1154     4790    14223 |        1   110081     15 |  0.944 % |
336.89/336.91	c |   1708062 |    1154     4790    14223 |        1   110812     15 |  0.944 % |
336.89/336.91	c |   1708164 |    1154     4790    14223 |        1   110914     15 |  0.944 % |
336.89/336.91	c |   1708335 |    1154     4790    14223 |        1   111085     15 |  0.944 % |
336.89/336.91	c |   1720778 |    1154     4790    14223 |        1   123528     16 |  0.944 % |
336.89/336.91	c |   1721033 |    1154     4790    14223 |        1   123783     16 |  0.944 % |
336.89/336.91	c |   1721281 |    1154     4790    14223 |        1   124031     16 |  0.944 % |
336.89/336.91	c |   1730576 |    1154     4790    14223 |        1   133326     18 |  0.944 % |
336.89/336.91	c |   1730679 |    1154     4790    14223 |        1   133429     18 |  0.944 % |
336.89/336.91	c |   1730822 |    1154     4790    14223 |        1   133572     18 |  0.944 % |
336.89/336.91	c |   1740557 |    1154     4790    14223 |        1   143307     19 |  0.944 % |
336.89/336.91	c |   1742052 |    1154     4790    14223 |        1   144802     20 |  0.944 % |
336.89/336.91	c |   1742153 |    1154     4790    14223 |        1   144903     20 |  0.944 % |
336.89/336.91	c |   1742494 |    1154     4790    14223 |        1   145244     20 |  0.944 % |
336.89/336.91	c |   1742672 |    1154     4790    14223 |        1   145422     20 |  0.944 % |
336.89/336.91	c |   1742991 |    1154     4790    14223 |        1   145741     20 |  0.944 % |
336.89/336.91	c |   1744339 |    1154     4790    14223 |        1   147089     20 |  0.944 % |
336.89/336.91	c |   1744439 |    1154     4790    14223 |        1   147189     20 |  0.944 % |
336.89/336.91	c |   1745169 |    1154     4790    14223 |        1   147919     20 |  0.944 % |
336.89/336.91	c |   1745321 |    1154     4790    14223 |        1   148071     20 |  0.944 % |
336.89/336.91	c |   1745665 |    1154     4790    14223 |        1   148415     20 |  0.944 % |
336.89/336.91	c |   1747325 |    1154     4790    14223 |        1   150075     20 |  0.944 % |
336.89/336.91	c |   1754731 |    1154     4790    14223 |        1   157481     21 |  0.944 % |
336.89/336.91	c |   1755043 |    1154     4790    14223 |        1   157793     21 |  0.944 % |
336.89/336.91	c |   1770139 |    1154     4790    14223 |        1   172889     22 |  0.944 % |
336.89/336.91	c |   1770276 |    1154     4790    14223 |        1   173026     22 |  0.944 % |
336.89/336.91	c |   1770482 |    1154     4790    14223 |        1   173232     22 |  0.944 % |
336.89/336.91	c |   1770582 |    1154     4790    14223 |        1   173332     22 |  0.944 % |
336.89/336.91	c |   1771908 |    1154     4790    14223 |        1   174658     22 |  0.944 % |
336.89/336.91	c |   1772113 |    1154     4790    14223 |        1   174863     22 |  0.944 % |
336.89/336.91	c |   1772215 |    1154     4790    14223 |        1   174965     22 |  0.944 % |
336.89/336.91	c |   1776608 |    1154     4790    14223 |        1   179358     22 |  0.944 % |
428.18/428.27	c |   1808573 |    1154     4790    14223 |        1   118957     17 |  0.944 % |
428.18/428.27	c |   1808818 |    1154     4790    14223 |        1   119202     17 |  0.944 % |
428.18/428.27	c |   1808918 |    1154     4790    14223 |        1   119302     17 |  0.944 % |
428.18/428.27	c |   1809039 |    1154     4790    14223 |        1   119423     17 |  0.944 % |
428.18/428.27	c |   1812007 |    1154     4790    14223 |        1   122391     18 |  0.944 % |
428.18/428.27	c |   1816837 |    1154     4790    14223 |        1   127221     18 |  0.944 % |
428.18/428.27	c |   1817348 |    1154     4790    14223 |        1   127732     18 |  0.944 % |
428.18/428.27	c |   1817497 |    1154     4790    14223 |        1   127881     18 |  0.944 % |
428.18/428.27	c |   1818064 |    1154     4790    14223 |        1   128448     18 |  0.944 % |
428.18/428.27	c |   1876041 |    1154     4790    14223 |        1   186425     21 |  0.944 % |
428.18/428.27	c |   1877953 |    1154     4790    14223 |        1   188337     21 |  0.944 % |
428.18/428.27	c |   1878863 |    1154     4790    14223 |        1   189247     21 |  0.944 % |
428.18/428.27	c |   1879275 |    1154     4790    14223 |        1   189659     21 |  0.944 % |
428.18/428.27	c |   1882331 |    1154     4790    14223 |        1    97724     13 |  0.944 % |
428.18/428.27	c |   1882432 |    1154     4790    14223 |        1    97825     13 |  0.944 % |
428.18/428.27	c |   1882532 |    1154     4790    14223 |        1    97925     13 |  0.944 % |
428.18/428.27	c |   1883158 |    1154     4790    14223 |        1    98551     13 |  0.944 % |
428.18/428.27	c |   1891288 |    1154     4790    14223 |        1   106681     14 |  0.944 % |
428.18/428.27	c |   1892417 |    1154     4790    14223 |        1   107810     15 |  0.944 % |
428.18/428.27	c |   1897823 |    1154     4790    14223 |        1   113216     16 |  0.944 % |
428.18/428.27	c |   1928381 |    1154     4790    14223 |        1   143774     18 |  0.944 % |
428.18/428.27	c |   1928716 |    1154     4790    14223 |        1   144109     18 |  0.944 % |
428.18/428.27	c |   1928816 |    1154     4790    14223 |        1   144209     18 |  0.944 % |
428.18/428.27	c |   1931464 |    1154     4790    14223 |        1   146857     18 |  0.944 % |
428.18/428.27	c |   1931741 |    1154     4790    14223 |        1   147134     18 |  0.944 % |
428.18/428.27	c |   1933588 |    1154     4790    14223 |        1   148981     18 |  0.944 % |
428.18/428.27	c |   1933689 |    1154     4790    14223 |        1   149082     18 |  0.944 % |
428.18/428.27	c |   1934121 |    1154     4790    14223 |        1   149514     18 |  0.944 % |
428.18/428.27	c |   1936451 |    1154     4790    14223 |        1   151844     19 |  0.944 % |
428.18/428.27	c |   1936552 |    1154     4790    14223 |        1   151945     19 |  0.944 % |
428.18/428.27	c |   1942026 |    1154     4790    14223 |        1   157419     19 |  0.944 % |
428.18/428.27	c |   1964961 |    1154     4790    14223 |        1   180354     20 |  0.944 % |
428.18/428.27	c |   1979691 |    1154     4790    14223 |        1   195084     21 |  0.944 % |
428.18/428.27	c |   1980179 |    1154     4790    14223 |        1    97979     13 |  0.944 % |
428.18/428.27	c |   1982524 |    1154     4790    14223 |        1   100324     13 |  0.944 % |
428.18/428.27	c |   1982624 |    1154     4790    14223 |        1   100424     13 |  0.944 % |
428.18/428.27	c |   1982976 |    1154     4790    14223 |        1   100776     13 |  0.944 % |
428.18/428.27	c |   1983257 |    1154     4790    14223 |        1   101057     13 |  0.944 % |
428.18/428.27	c |   1983441 |    1154     4790    14223 |        1   101241     13 |  0.944 % |
428.18/428.27	c |   1989327 |    1154     4790    14223 |        1   107127     14 |  0.944 % |
428.18/428.27	c |   1990517 |    1154     4790    14223 |        1   108317     14 |  0.944 % |
428.18/428.27	c |   2040985 |    1154     4790    14223 |        1   158785     18 |  0.944 % |
428.18/428.27	c |   2047904 |    1154     4790    14223 |        1   165704     19 |  0.944 % |
428.18/428.27	c |   2051136 |    1154     4790    14223 |        1   168936     19 |  0.944 % |
428.18/428.27	c |   2059874 |    1154     4790    14223 |        1   177674     20 |  0.944 % |
428.18/428.27	c |   2059975 |    1154     4790    14223 |        1   177775     20 |  0.944 % |
428.18/428.27	c |   2066728 |    1154     4790    14223 |        1   184528     20 |  0.944 % |
428.18/428.27	c |   2067416 |    1154     4790    14223 |        1   185216     20 |  0.944 % |
428.18/428.27	c |   2068637 |    1154     4790    14223 |        1   186437     20 |  0.944 % |
428.18/428.27	c |   2069025 |    1154     4790    14223 |        1   186825     20 |  0.944 % |
531.69/531.80	c |   2207890 |    1154     4790    14223 |        1   122699     14 |  0.944 % |
531.69/531.80	c |   2207990 |    1154     4790    14223 |        1   122799     14 |  0.944 % |
531.69/531.80	c |   2208095 |    1154     4790    14223 |        1   122904     14 |  0.944 % |
531.69/531.80	c |   2228302 |    1154     4790    14223 |        1   143111     17 |  0.944 % |
531.69/531.80	c |   2228403 |    1154     4790    14223 |        1   143212     17 |  0.944 % |
531.69/531.80	c |   2228597 |    1154     4790    14223 |        1   143406     17 |  0.944 % |
531.69/531.80	c |   2236142 |    1154     4790    14223 |        1   150951     17 |  0.944 % |
531.69/531.80	c |   2242081 |    1154     4790    14223 |        1   156890     18 |  0.944 % |
531.69/531.80	c |   2242183 |    1154     4790    14223 |        1   156992     18 |  0.944 % |
531.69/531.80	c |   2242399 |    1154     4790    14223 |        1   157208     18 |  0.944 % |
531.69/531.80	c |   2246540 |    1154     4790    14223 |        1   161349     18 |  0.944 % |
531.69/531.80	c |   2246865 |    1154     4790    14223 |        1   161674     18 |  0.944 % |
531.69/531.80	c |   2251031 |    1154     4790    14223 |        1   165840     18 |  0.944 % |
531.69/531.80	c |   2252623 |    1154     4790    14223 |        1   167432     18 |  0.944 % |
531.69/531.80	c |   2270767 |    1154     4790    14223 |        1   185576     20 |  0.944 % |
531.69/531.80	c |   2273878 |    1154     4790    14223 |        1   188687     20 |  0.944 % |
531.69/531.80	c |   2274403 |    1154     4790    14223 |        1   189212     20 |  0.944 % |
531.69/531.80	c |   2274503 |    1154     4790    14223 |        1   189312     20 |  0.944 % |
531.69/531.80	c |   2284367 |    1154     4790    14223 |        1   199176     21 |  0.944 % |
531.69/531.80	c |   2284904 |    1154     4790    14223 |        1   199713     21 |  0.944 % |
531.69/531.80	c |   2288585 |    1154     4790    14223 |        1   203394     21 |  0.944 % |
531.69/531.80	c |   2292664 |    1154     4790    14223 |        1   207473     21 |  0.944 % |
531.69/531.80	c |   2293456 |    1154     4790    14223 |        1   208265     21 |  0.944 % |
531.69/531.80	c |   2304188 |    1154     4790    14223 |        1   113602     14 |  0.944 % |
531.69/531.80	c |   2305047 |    1154     4790    14223 |        1   114461     14 |  0.944 % |
531.69/531.80	c |   2307681 |    1154     4790    14223 |        1   117095     14 |  0.944 % |
531.69/531.80	c |   2307782 |    1154     4790    14223 |        1   117196     14 |  0.944 % |
531.69/531.80	c |   2330234 |    1154     4790    14223 |        1   139648     16 |  0.944 % |
531.69/531.80	c |   2334585 |    1154     4790    14223 |        1   143999     17 |  0.944 % |
531.69/531.80	c |   2334685 |    1154     4790    14223 |        1   144099     17 |  0.944 % |
531.69/531.80	c |   2345545 |    1154     4790    14223 |        1   154959     18 |  0.944 % |
531.69/531.80	c |   2345986 |    1154     4790    14223 |        1   155400     18 |  0.944 % |
531.69/531.80	c |   2346086 |    1154     4790    14223 |        1   155500     18 |  0.944 % |
531.69/531.80	c |   2346407 |    1154     4790    14223 |        1   155821     18 |  0.944 % |
531.69/531.80	c |   2350002 |    1154     4790    14223 |        1   159416     18 |  0.944 % |
531.69/531.80	c |   2352222 |    1154     4790    14223 |        1   161636     19 |  0.944 % |
531.69/531.80	c |   2352427 |    1154     4790    14223 |        1   161841     19 |  0.944 % |
531.69/531.80	c |   2356162 |    1154     4790    14223 |        1   165576     19 |  0.944 % |
531.69/531.80	c |   2356277 |    1154     4790    14223 |        1   165691     19 |  0.944 % |
531.69/531.80	c |   2357345 |    1154     4790    14223 |        1   166759     19 |  0.944 % |
531.69/531.80	c |   2357445 |    1154     4790    14223 |        1   166859     19 |  0.944 % |
531.69/531.80	c |   2357584 |    1154     4790    14223 |        1   166998     19 |  0.944 % |
531.69/531.80	c |   2358964 |    1154     4790    14223 |        1   168378     19 |  0.944 % |
531.69/531.80	c |   2361498 |    1154     4790    14223 |        1   170912     19 |  0.944 % |
531.69/531.80	c |   2363482 |    1154     4790    14223 |        1   172896     19 |  0.944 % |
531.69/531.80	c |   2363639 |    1154     4790    14223 |        1   173053     19 |  0.944 % |
531.69/531.80	c |   2363821 |    1154     4790    14223 |        1   173235     19 |  0.944 % |
531.69/531.80	c |   2368801 |    1154     4790    14223 |        1   178215     20 |  0.944 % |
531.69/531.80	c |   2370260 |    1154     4790    14223 |        1   179674     20 |  0.944 % |
531.69/531.80	c |   2383332 |    1154     4790    14223 |        1   192746     20 |  0.944 % |
608.59/608.61	c |   2383432 |    1154     4790    14223 |        1   192846     20 |  0.944 % |
608.59/608.61	c |   2418754 |    1154     4790    14223 |        1   120169     14 |  0.944 % |
608.59/608.61	c |   2419304 |    1154     4790    14223 |        1   120719     14 |  0.944 % |
608.59/608.61	c |   2419495 |    1154     4790    14223 |        1   120910     14 |  0.944 % |
608.59/608.61	c |   2423892 |    1154     4790    14223 |        1   125307     15 |  0.944 % |
608.59/608.61	c |   2423992 |    1154     4790    14223 |        1   125407     15 |  0.944 % |
608.59/608.61	c |   2428759 |    1154     4790    14223 |        1   130174     15 |  0.944 % |
608.59/608.61	c |   2429811 |    1154     4790    14223 |        1   131226     16 |  0.944 % |
608.59/608.61	c |   2430004 |    1154     4790    14223 |        1   131419     16 |  0.944 % |
608.59/608.61	c |   2434579 |    1154     4790    14223 |        1   135994     16 |  0.944 % |
608.59/608.61	c |   2450278 |    1154     4790    14223 |        1   151693     18 |  0.944 % |
608.59/608.61	c |   2451065 |    1154     4790    14223 |        1   152480     18 |  0.944 % |
608.59/608.61	c |   2451894 |    1154     4790    14223 |        1   153309     18 |  0.944 % |
608.59/608.61	c |   2458342 |    1154     4790    14223 |        1   159757     19 |  0.944 % |
608.59/608.61	c |   2458442 |    1154     4790    14223 |        1   159857     19 |  0.944 % |
608.59/608.61	c |   2462207 |    1154     4790    14223 |        1   163622     19 |  0.944 % |
608.59/608.61	c |   2462307 |    1154     4790    14223 |        1   163722     19 |  0.944 % |
608.59/608.61	c |   2463118 |    1154     4790    14223 |        1   164533     19 |  0.944 % |
608.59/608.61	c |   2476298 |    1154     4790    14223 |        1   177713     20 |  0.944 % |
608.59/608.61	c |   2478284 |    1154     4790    14223 |        1   179699     20 |  0.944 % |
608.59/608.61	c |   2478999 |    1154     4790    14223 |        1   180414     20 |  0.944 % |
608.59/608.61	c |   2479100 |    1154     4790    14223 |        1   180515     20 |  0.944 % |
608.59/608.61	c |   2493211 |    1154     4790    14223 |        1   194626     21 |  0.944 % |
608.59/608.61	c |   2493312 |    1154     4790    14223 |        1   194727     21 |  0.944 % |
608.59/608.61	c |   2493433 |    1154     4790    14223 |        1   194848     21 |  0.944 % |
608.59/608.61	c |   2497411 |    1154     4790    14223 |        1   198826     21 |  0.944 % |
608.59/608.61	c |   2497653 |    1154     4790    14223 |        1   199068     21 |  0.944 % |
608.59/608.61	c |   2497923 |    1154     4790    14223 |        1   199338     21 |  0.944 % |
608.59/608.61	c |   2499787 |    1154     4790    14223 |        1   201202     21 |  0.944 % |
608.59/608.61	c |   2526993 |    1154     4790    14223 |        1   117815     14 |  0.944 % |
608.59/608.61	c |   2527093 |    1154     4790    14223 |        1   117915     14 |  0.944 % |
608.59/608.61	c |   2572471 |    1154     4790    14223 |        1   163293     19 |  0.944 % |
608.59/608.61	c |   2572572 |    1154     4790    14223 |        1   163394     19 |  0.944 % |
608.59/608.61	c |   2572748 |    1154     4790    14223 |        1   163570     19 |  0.944 % |
608.59/608.61	c |   2576152 |    1154     4790    14223 |        1   166974     19 |  0.944 % |
608.59/608.61	c |   2577157 |    1154     4790    14223 |        1   167979     19 |  0.944 % |
608.59/608.61	c |   2577393 |    1154     4790    14223 |        1   168215     19 |  0.944 % |
608.59/608.61	c |   2594432 |    1154     4790    14223 |        1   185254     20 |  0.944 % |
608.59/608.61	c |   2594742 |    1154     4790    14223 |        1   185564     20 |  0.944 % |
608.59/608.61	c |   2594842 |    1154     4790    14223 |        1   185664     20 |  0.944 % |
608.59/608.61	c |   2595699 |    1154     4790    14223 |        1   186521     20 |  0.944 % |
608.59/608.61	c |   2595988 |    1154     4790    14223 |        1   186810     20 |  0.944 % |
608.59/608.61	c |   2600851 |    1154     4790    14223 |        1   191673     20 |  0.944 % |
608.59/608.61	c |   2600951 |    1154     4790    14223 |        1   191773     20 |  0.944 % |
608.59/608.61	c |   2601619 |    1154     4790    14223 |        1   192441     21 |  0.944 % |
608.59/608.61	c |   2601849 |    1154     4790    14223 |        1   192671     21 |  0.944 % |
608.59/608.61	c |   2602212 |    1154     4790    14223 |        1   193034     21 |  0.944 % |
608.59/608.61	c |   2609778 |    1154     4790    14223 |        1   200600     21 |  0.944 % |
608.59/608.61	c |   2610699 |    1154     4790    14223 |        1   201521     21 |  0.944 % |
608.59/608.61	c |   2610860 |    1154     4790    14223 |        1   201682     21 |  0.944 % |
695.21/695.29	c |   2611080 |    1154     4790    14223 |        1   201902     21 |  0.944 % |
695.21/695.29	c |   2611181 |    1154     4790    14223 |        1   202003     21 |  0.944 % |
695.21/695.29	c |   2612217 |    1154     4790    14223 |        1   203039     21 |  0.944 % |
695.21/695.29	c |   2612711 |    1154     4790    14223 |        1   203533     21 |  0.944 % |
695.21/695.29	c |   2612820 |    1154     4790    14223 |        1   203642     21 |  0.944 % |
695.21/695.29	c |   2613239 |    1154     4790    14223 |        1   204061     21 |  0.944 % |
695.21/695.29	c |   2619617 |    1154     4790    14223 |        1   210439     21 |  0.944 % |
695.21/695.29	c |   2620473 |    1154     4790    14223 |        1   211295     21 |  0.944 % |
695.21/695.29	c |   2622623 |    1154     4790    14223 |        1   213445     22 |  0.944 % |
695.21/695.29	c |   2625006 |    1154     4790    14223 |        1   215828     22 |  0.944 % |
695.21/695.29	c |   2650430 |    1154     4790    14223 |        1   128048     14 |  0.944 % |
695.21/695.29	c |   2650831 |    1154     4790    14223 |        1   128449     14 |  0.944 % |
695.21/695.29	c |   2651557 |    1154     4790    14223 |        1   129175     14 |  0.944 % |
695.21/695.29	c |   2652118 |    1154     4790    14223 |        1   129736     14 |  0.944 % |
695.21/695.29	c |   2652289 |    1154     4790    14223 |        1   129907     14 |  0.944 % |
695.21/695.29	c |   2652944 |    1154     4790    14223 |        1   130562     14 |  0.944 % |
695.21/695.29	c |   2653238 |    1154     4790    14223 |        1   130856     15 |  0.944 % |
695.21/695.29	c |   2657083 |    1154     4790    14223 |        1   134701     15 |  0.944 % |
695.21/695.29	c |   2657184 |    1154     4790    14223 |        1   134802     15 |  0.944 % |
695.21/695.29	c |   2657313 |    1154     4790    14223 |        1   134931     15 |  0.944 % |
695.21/695.29	c |   2658364 |    1154     4790    14223 |        1   135982     15 |  0.944 % |
695.21/695.29	c |   2659168 |    1154     4790    14223 |        1   136786     15 |  0.944 % |
695.21/695.29	c |   2659705 |    1154     4790    14223 |        1   137323     15 |  0.944 % |
695.21/695.29	c |   2660052 |    1154     4790    14223 |        1   137670     15 |  0.944 % |
695.21/695.29	c |   2661017 |    1154     4790    14223 |        1   138635     15 |  0.944 % |
695.21/695.29	c |   2675812 |    1154     4790    14223 |        1   153430     17 |  0.944 % |
695.21/695.29	c |   2676244 |    1154     4790    14223 |        1   153862     17 |  0.944 % |
695.21/695.29	c |   2676604 |    1154     4790    14223 |        1   154222     17 |  0.944 % |
695.21/695.29	c |   2688815 |    1154     4790    14223 |        1   166433     18 |  0.944 % |
695.21/695.29	c |   2689348 |    1154     4790    14223 |        1   166966     18 |  0.944 % |
695.21/695.29	c |   2786199 |    1154     4790    14223 |        1   148017     13 |  0.944 % |
695.21/695.29	c |   2795994 |    1154     4790    14223 |        1   157812     14 |  0.944 % |
695.21/695.29	c |   2796178 |    1154     4790    14223 |        1   157996     14 |  0.944 % |
695.21/695.29	c |   2806643 |    1154     4790    14223 |        1   168461     16 |  0.944 % |
695.21/695.29	c |   2806775 |    1154     4790    14223 |        1   168593     16 |  0.944 % |
695.21/695.29	c |   2807101 |    1154     4790    14223 |        1   168919     16 |  0.944 % |
695.21/695.29	c |   2807202 |    1154     4790    14223 |        1   169020     16 |  0.944 % |
695.21/695.29	c |   2807335 |    1154     4790    14223 |        1   169153     16 |  0.944 % |
695.21/695.29	c |   2808665 |    1154     4790    14223 |        1   170483     16 |  0.944 % |
695.21/695.29	c |   2809299 |    1154     4790    14223 |        1   171117     16 |  0.944 % |
695.21/695.29	c |   2809538 |    1154     4790    14223 |        1   171356     16 |  0.944 % |
695.21/695.29	c |   2876643 |    1154     4790    14223 |        1   120065     13 |  0.944 % |
695.21/695.29	c |   2876744 |    1154     4790    14223 |        1   120166     13 |  0.944 % |
695.21/695.29	c |   2876897 |    1154     4790    14223 |        1   120319     13 |  0.944 % |
695.21/695.29	c |   2877019 |    1154     4790    14223 |        1   120441     13 |  0.944 % |
695.21/695.29	c |   2877520 |    1154     4790    14223 |        1   120942     13 |  0.944 % |
695.21/695.29	c |   2884216 |    1154     4790    14223 |        1   127638     14 |  0.944 % |
695.21/695.29	c |   2887519 |    1154     4790    14223 |        1   130941     14 |  0.944 % |
695.21/695.29	c |   2897910 |    1154     4790    14223 |        1   141332     16 |  0.944 % |
695.21/695.29	c |   2898016 |    1154     4790

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-3280892-1303749656/watcher-3280892-1303749656 -o /tmp/evaluation-result-3280892-1303749656/solver-3280892-1303749656 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3280892-1303749656.cnf 

running on 2 cores: 1,3

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.95 3.94 3.76 4/192 14512
/proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) R 14510 14512 13951 0 -1 4202496 316 0 0 0 0 0 0 0 25 0 1 0 467381750 8912896 252 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106589077 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/14512/statm: 2176 252 211 178 0 69 0

[startup+0.0671209 s]
/proc/loadavg: 3.95 3.94 3.76 4/192 14512
/proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.101112 s]
/proc/loadavg: 3.95 3.94 3.76 4/192 14512
/proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.301079 s]
/proc/loadavg: 3.95 3.94 3.76 4/192 14512
/proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.701009 s]
/proc/loadavg: 3.95 3.94 3.76 4/192 14512
/proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+1.5009 s]
/proc/loadavg: 3.95 3.94 3.76 5/194 14515
/proc/meminfo: memFree=19355008/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=19552 CPUtime=1.47 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 1964 0 0 0 147 0 0 0 25 0 1 0 467381752 20021248 1420 33554432000 4194304 4260849 140733473313840 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 4888 1420 249 17 0 1529 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28256

[startup+3.10062 s]
/proc/loadavg: 3.95 3.94 3.76 5/194 14515
/proc/meminfo: memFree=19348188/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=23540 CPUtime=3.07 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 2781 0 0 0 307 0 0 0 25 0 1 0 467381752 24104960 2231 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 5885 2231 249 17 0 2526 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32244

[startup+6.30106 s]
/proc/loadavg: 3.95 3.94 3.76 5/194 14515
/proc/meminfo: memFree=19337132/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=23540 CPUtime=6.27 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 2914 0 0 0 627 0 0 0 25 0 1 0 467381752 24104960 2359 33554432000 4194304 4260849 140733473313840 18446744073709551615 4209346 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 5885 2359 249 17 0 2526 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32244

[startup+12.7009 s]
/proc/loadavg: 3.95 3.94 3.76 5/194 14515
/proc/meminfo: memFree=19309852/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=25188 CPUtime=12.67 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 4608 0 0 0 1267 0 0 0 25 0 1 0 467381752 25792512 2912 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 6297 2912 249 17 0 2938 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33892

[startup+25.5007 s]
/proc/loadavg: 3.96 3.94 3.76 5/194 14515
/proc/meminfo: memFree=19335072/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=31876 CPUtime=25.47 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 5912 0 0 0 2546 1 0 0 25 0 1 0 467381752 32641024 4182 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 7969 4182 249 17 0 4610 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40580

[startup+51.1012 s]
/proc/loadavg: 3.97 3.94 3.77 5/194 14516
/proc/meminfo: memFree=19325004/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=43368 CPUtime=51.07 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 9022 0 0 0 5106 1 0 0 25 0 1 0 467381752 44408832 5256 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 10842 5256 249 17 0 7483 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52072

[startup+102.307 s]
/proc/loadavg: 3.99 3.95 3.77 5/194 14517
/proc/meminfo: memFree=19319392/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=54948 CPUtime=102.28 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 11359 0 0 0 10226 2 0 0 25 0 1 0 467381752 56266752 7487 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 13737 7487 249 17 0 10378 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 63652

[startup+162.301 s]
/proc/loadavg: 3.99 3.96 3.79 5/194 14519
/proc/meminfo: memFree=19204768/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=54948 CPUtime=162.27 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 12639 0 0 0 16225 2 0 0 25 0 1 0 467381752 56266752 8731 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 13737 8731 249 17 0 10378 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 63652

[startup+222.301 s]
/proc/loadavg: 3.99 3.96 3.80 5/194 14521
/proc/meminfo: memFree=19221456/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=62128 CPUtime=222.27 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 15224 0 0 0 22224 3 0 0 25 0 1 0 467381752 63619072 11205 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 15532 11205 249 17 0 12173 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 70832

[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.81 5/194 14522
/proc/meminfo: memFree=19262088/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=62128 CPUtime=282.27 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 15450 0 0 0 28224 3 0 0 25 0 1 0 467381752 63619072 11422 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 15532 11422 249 17 0 12173 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 70832

[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.82 6/194 14524
/proc/meminfo: memFree=19212452/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=54948 CPUtime=342.28 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 22864 0 0 0 34223 5 0 0 25 0 1 0 467381752 56266752 7619 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 13737 7619 250 17 0 10378 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 63652

[startup+402.301 s]
/proc/loadavg: 4.04 3.99 3.83 5/194 14525
/proc/meminfo: memFree=19254064/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3

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

/proc/14515/statm: 26318 15953 250 17 0 22959 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 113976

[startup+642.3 s]
/proc/loadavg: 4.01 4.00 3.86 5/194 14532
/proc/meminfo: memFree=19086232/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=642.29 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31637 0 0 0 64221 8 0 0 25 0 1 0 467381752 107798528 16117 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 16117 250 17 0 22959 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 113976

[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.87 5/194 14533
/proc/meminfo: memFree=19167036/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=702.29 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31649 0 0 0 70221 8 0 0 25 0 1 0 467381752 107798528 16129 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 16129 250 17 0 22959 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 113976

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.87 5/194 14535
/proc/meminfo: memFree=19151124/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=762.3 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31654 0 0 0 76222 8 0 0 25 0 1 0 467381752 107798528 16134 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 16134 250 17 0 22959 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 113976

[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.88 5/194 14537
/proc/meminfo: memFree=19130120/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=822.29 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31871 0 0 0 82221 8 0 0 25 0 1 0 467381752 107798528 16341 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 16341 250 17 0 22959 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 113976

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/194 14538
/proc/meminfo: memFree=19243924/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=882.29 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31876 0 0 0 88221 8 0 0 25 0 1 0 467381752 107798528 16346 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225110 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 16346 250 17 0 22959 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 113976

[startup+942.301 s]
/proc/loadavg: 4.06 4.02 3.89 5/194 14540
/proc/meminfo: memFree=19068792/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=942.29 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31882 0 0 0 94221 8 0 0 25 0 1 0 467381752 107798528 16352 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 16352 250 17 0 22959 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 113976

[startup+1002.3 s]
/proc/loadavg: 4.02 4.01 3.90 5/194 14541
/proc/meminfo: memFree=19147992/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=1002.3 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 36951 0 0 0 100221 9 0 0 25 0 1 0 467381752 107798528 21200 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 21200 250 17 0 22959 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 113976

[startup+1062.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/194 14543
/proc/meminfo: memFree=18974340/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=1062.3 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 36957 0 0 0 106221 9 0 0 25 0 1 0 467381752 107798528 21206 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 21206 250 17 0 22959 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 113976

[startup+1122.3 s]
/proc/loadavg: 3.97 3.99 3.91 5/194 14635
/proc/meminfo: memFree=19413260/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=1122.3 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 37199 0 0 0 112221 9 0 0 25 0 1 0 467381752 107798528 21441 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 21441 250 17 0 22959 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 113976

[startup+1182.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/194 14636
/proc/meminfo: memFree=19390340/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=1182.3 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 37199 0 0 0 118221 9 0 0 25 0 1 0 467381752 107798528 21441 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 21441 250 17 0 22959 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 113976

[startup+1242.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/194 14677
/proc/meminfo: memFree=18933412/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=1242.3 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 37250 0 0 0 124221 9 0 0 25 0 1 0 467381752 107798528 21489 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 21489 250 17 0 22959 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 113976



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.99 3.99 3.91 5/194 14678
/proc/meminfo: memFree=18922804/32951124 swapFree=67111524/67111528
[pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3
/proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14512/statm: 2176 254 211 178 0 69 0
[pid=14515] ppid=14512 vsize=105272 CPUtime=1300.01 cores=1,3
/proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 37795 0 0 0 129992 9 0 0 25 0 1 0 467381752 107798528 22014 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14515/statm: 26318 22014 250 17 0 22959 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 113976

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1300.02
CPU user time (s): 1299.93
CPU system time (s): 0.09
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 113976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.016997
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 2

runsolver used 2.11368 second user time and 4.99524 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-25 18:40:56
IDJOB=3280892
IDBENCH=20468
IDSOLVER=1651
FILE ID=node144/3280892-1303749656
RUNJOBID= node144-1303749419-14281
PBS_JOBID= 13154018
Free space on /tmp= 72124 MiB

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

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

MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69
RANDOM SEED=1031320418

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19364100 kB
Buffers:       2162924 kB
Cached:       10467500 kB
SwapCached:          4 kB
Active:        3899644 kB
Inactive:      9149884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19364100 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1704 kB
Writeback:           0 kB
AnonPages:      418448 kB
Mapped:          15200 kB
Slab:           471348 kB
PageTables:       6096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   644684 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= 72008 MiB
End job on node144 at 2011-04-25 19:02:38