Trace number 3287930

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 2UNSAT 59.9419 59.9473

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
MD5SUMf1a7d779d46b93ce2fde4f2438e6ae5c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark59.9419
Satisfiable
(Un)Satisfiability was proved
Number of variables82007
Number of clauses241364
Sum of the clauses size563180
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2160908
Number of clauses of size 380454
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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.10	c ==============================================================================
0.00/0.10	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.10	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         0 |  241362   563178 |   72408       0        0     nan |  0.000 % |
0.00/0.71	c |         0 |  123342   397378 |      --       0       --      -- |     --   | -118018/-165795
0.00/0.71	c ==============================================================================
0.00/0.71	c Result  :   #vars: 24785   #clauses: 123342   #literals: 397378
0.00/0.71	c CPU time:   0.691894 s
0.00/0.71	c ==============================================================================
0.00/0.79	c
0.00/0.79	c Starting glucose
0.00/0.79	c
2.08/2.11	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
2.08/2.11	c WARNING: for repeatability, setting FPU to use double precision
2.08/2.11	c ============================[ Problem Statistics ]=============================
2.08/2.11	c |                                                                             |
2.08/2.11	c |  Number of variables:         24785                                         |
2.08/2.11	c |  Number of clauses:          123342                                         |
2.08/2.11	c |  Parse time:                   0.03 s                                       |
2.08/2.11	c |                                                                             |
2.08/2.11	c ============================[ Search Statistics ]==============================
2.08/2.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.08/2.11	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.08/2.11	c ===============================================================================
2.08/2.11	c |      1602 |   24697   123342   397378 |        1     1591      8 |  0.355 % |
2.08/2.11	c |      2086 |   24697   123000   395954 |        1     2067      8 |  0.355 % |
2.08/2.11	c |      2191 |   24697   123000   395954 |        1     2172      8 |  0.355 % |
2.08/2.11	c |      2465 |   24697   123000   395954 |        1     2446      9 |  0.355 % |
2.08/2.11	c |      3096 |   24696   122995   395939 |        1     3076      9 |  0.359 % |
2.08/2.11	c |      3197 |   24696   122995   395939 |        1     3177      9 |  0.359 % |
2.08/2.11	c |      3330 |   24696   122995   395939 |        1     3310      9 |  0.359 % |
2.08/2.11	c |      3608 |   24696   122995   395939 |        1     3588     10 |  0.359 % |
2.08/2.11	c |      4414 |   24673   122990   395924 |        1     2412      7 |  0.452 % |
2.08/2.11	c |      4655 |   24634   122822   395206 |        1     2648      8 |  0.609 % |
2.08/2.11	c |      5002 |   24614   122586   394188 |        1     2989      8 |  0.690 % |
2.08/2.11	c |      5749 |   24602   122586   394188 |        1     3734      9 |  0.738 % |
2.08/2.11	c |      5974 |   24599   122528   393940 |        1     3958      9 |  0.750 % |
2.08/2.11	c |      6076 |   24590   122528   393940 |        1     4059      9 |  0.787 % |
2.08/2.11	c |      6284 |   24581   122528   393940 |        1     4266     10 |  0.823 % |
2.08/2.11	c |      6411 |   24578   122528   393940 |        1     4392     10 |  0.835 % |
2.08/2.11	c |      7305 |   24578   122528   393940 |        1     5286     11 |  0.835 % |
2.08/2.11	c |      7497 |   24578   122449   393602 |        1     5477     11 |  0.835 % |
2.08/2.11	c |      8280 |   24574   122449   393602 |        1     6258     11 |  0.851 % |
2.08/2.11	c |      8512 |   24574   122449   393602 |        1     6490     11 |  0.851 % |
2.08/2.11	c |      9093 |   24574   122449   393602 |        1     7071     11 |  0.851 % |
2.08/2.11	c |      9602 |   24573   122439   393570 |        1     7578     11 |  0.855 % |
2.08/2.11	c |      9702 |   24573   122439   393570 |        1     7678     12 |  0.855 % |
2.08/2.11	c |      9882 |   24573   122439   393570 |        1     7858     12 |  0.855 % |
2.08/2.11	c |     10714 |   24560   122439   393570 |        1     4446      7 |  0.908 % |
2.08/2.11	c |     10977 |   24559   122413   393458 |        1     4708      7 |  0.912 % |
2.08/2.11	c |     11400 |   24559   122413   393458 |        1     5131      8 |  0.912 % |
2.08/2.11	c |     12205 |   24559   122413   393458 |        1     5936      9 |  0.912 % |
2.08/2.11	c |     12707 |   24558   122413   393458 |        1     6437     10 |  0.916 % |
2.08/2.11	c |     12872 |   24558   122410   393449 |        1     6602     10 |  0.916 % |
2.08/2.11	c |     12972 |   24558   122410   393449 |        1     6702     10 |  0.916 % |
2.08/2.11	c |     13073 |   24557   122410   393449 |        1     6802     10 |  0.920 % |
2.08/2.11	c |     13843 |   24557   122410   393449 |        1     7572     11 |  0.920 % |
2.08/2.11	c |     14404 |   24552   122410   393449 |        1     8130     11 |  0.940 % |
2.08/2.11	c |     15021 |   24550   122410   393449 |        1     8745     11 |  0.948 % |
2.08/2.11	c |     15708 |   24546   122386   393363 |        1     9389     12 |  0.964 % |
2.08/2.11	c |     16440 |   24546   122386   393363 |        1    10121     12 |  0.964 % |
2.08/2.11	c |     17110 |   24546   122386   393363 |        1    10791     12 |  0.964 % |
2.08/2.11	c |     17684 |   24545   122386   393363 |        1    11364     12 |  0.968 % |
3.47/3.56	c |     17902 |   24545   122371   393299 |        1    11582     12 |  0.968 % |
3.47/3.56	c |     18458 |   24536   122371   393299 |        1    12137     13 |  1.005 % |
3.47/3.56	c |     18906 |   24529   122371   393299 |        1    12580     13 |  1.033 % |
3.47/3.56	c |     19006 |   24526   122371   393299 |        1    12679     13 |  1.045 % |
3.47/3.56	c |     19677 |   24525   122371   393299 |        1    13349     13 |  1.049 % |
3.47/3.56	c |     19778 |   24525   122293   392990 |        1    13450     13 |  1.049 % |
3.47/3.56	c |     21499 |   24525   122293   392990 |        1     8436      8 |  1.049 % |
3.47/3.56	c |     21770 |   24516   122293   392990 |        1     8706      8 |  1.085 % |
3.47/3.56	c |     21871 |   24516   122243   392775 |        1     8807      8 |  1.085 % |
3.47/3.56	c |     21972 |   24515   122243   392775 |        1     8907      9 |  1.089 % |
3.47/3.56	c |     22158 |   24514   122243   392775 |        1     9092      9 |  1.093 % |
3.47/3.56	c |     22290 |   24514   122243   392775 |        1     9224      9 |  1.093 % |
3.47/3.56	c |     22598 |   24514   122243   392775 |        1     9532      9 |  1.093 % |
3.47/3.56	c |     22810 |   24512   122243   392775 |        1     9743      9 |  1.101 % |
3.47/3.56	c |     22910 |   24512   122243   392775 |        1     9843      9 |  1.101 % |
3.47/3.56	c |     23084 |   24512   122243   392775 |        1    10017      9 |  1.101 % |
3.47/3.56	c |     23440 |   24511   122222   392698 |        1    10372     10 |  1.106 % |
3.47/3.56	c |     23874 |   24511   122222   392698 |        1    10806     10 |  1.106 % |
3.47/3.56	c |     23975 |   24511   122222   392698 |        1    10907     10 |  1.106 % |
3.47/3.56	c |     24232 |   24511   122222   392698 |        1    11164     10 |  1.106 % |
3.47/3.56	c |     24806 |   24508   122219   392689 |        1    11736     10 |  1.118 % |
3.47/3.56	c |     25073 |   24501   122219   392689 |        1    12000     11 |  1.146 % |
3.47/3.56	c |     25186 |   24501   122194   392598 |        1    12112     11 |  1.146 % |
3.47/3.56	c |     25541 |   24491   122194   392598 |        1    12466     11 |  1.186 % |
3.47/3.56	c |     26633 |   24470   122194   392598 |        1    13552     11 |  1.271 % |
3.47/3.56	c |     27028 |   24470   122059   392035 |        1    13945     11 |  1.271 % |
3.47/3.56	c |     27417 |   24470   122059   392035 |        1    14334     11 |  1.271 % |
3.47/3.56	c |     27912 |   24461   122059   392035 |        1    14826     11 |  1.307 % |
3.47/3.56	c |     28172 |   24461   122059   392035 |        1    15086     11 |  1.307 % |
3.47/3.56	c |     28657 |   24460   122037   391953 |        1    15570     12 |  1.311 % |
3.47/3.56	c |     28785 |   24460   122037   391953 |        1    15698     12 |  1.311 % |
3.47/3.56	c |     28885 |   24460   122037   391953 |        1    15798     12 |  1.311 % |
3.47/3.56	c |     29269 |   24460   122037   391953 |        1    16182     12 |  1.311 % |
3.47/3.56	c |     29371 |   24460   122037   391953 |        1    16284     12 |  1.311 % |
3.47/3.56	c |     29668 |   24460   122037   391953 |        1    16581     12 |  1.311 % |
3.47/3.56	c |     30019 |   24459   122037   391953 |        1    16931     12 |  1.315 % |
3.47/3.56	c |     30409 |   24451   122037   391953 |        1    17319     12 |  1.348 % |
3.47/3.56	c |     30804 |   24451   122037   391953 |        1    17714     12 |  1.348 % |
3.47/3.56	c |     31450 |   24451   122037   391953 |        1    18360     13 |  1.348 % |
3.47/3.56	c |     31565 |   24451   122015   391860 |        1    18475     13 |  1.348 % |
3.47/3.56	c |     32017 |   24450   122015   391860 |        1     9677      8 |  1.352 % |
3.47/3.56	c |     32294 |   24449   122015   391860 |        1     9953      8 |  1.356 % |
3.47/3.56	c |     32494 |   24445   122015   391860 |        1    10152      9 |  1.372 % |
3.47/3.56	c |     33037 |   24445   122015   391860 |        1    10695      9 |  1.372 % |
3.47/3.56	c |     33858 |   24445   122015   391860 |        1    11516      9 |  1.372 % |
3.47/3.56	c |     35115 |   24443   122002   391811 |        1    12772     10 |  1.380 % |
3.47/3.56	c |     35342 |   24443   121996   391785 |        1    12999     10 |  1.380 % |
3.47/3.56	c |     36216 |   24436   121996   391785 |        1    13870     10 |  1.408 % |
3.47/3.56	c |     36959 |   24425   121996   391785 |        1    14610     11 |  1.452 % |
3.47/3.56	c |     39513 |   24416   121936   391514 |        1    17163     14 |  1.489 % |
5.18/5.27	c |     39613 |   24416   121885   391296 |        1    17262     14 |  1.489 % |
5.18/5.27	c |     40171 |   24413   121885   391296 |        1    17819     14 |  1.501 % |
5.18/5.27	c |     40272 |   24413   121885   391296 |        1    17920     15 |  1.501 % |
5.18/5.27	c |     41832 |   24413   121885   391296 |        1    19480     15 |  1.501 % |
5.18/5.27	c |     42698 |   24405   121885   391296 |        1    20345     15 |  1.533 % |
5.18/5.27	c |     43521 |   24403   121828   391043 |        1    21166     15 |  1.541 % |
5.18/5.27	c |     43646 |   24403   121828   391043 |        1    21291     15 |  1.541 % |
5.18/5.27	c |     43757 |   24396   121828   391043 |        1    21401     15 |  1.569 % |
5.18/5.27	c |     44203 |   24395   121828   391043 |        1    21846     15 |  1.574 % |
5.18/5.27	c |     44303 |   24395   121828   391043 |        1    21946     15 |  1.574 % |
5.18/5.27	c |     44627 |   24395   121828   391043 |        1    22270     15 |  1.574 % |
5.18/5.27	c |     44766 |   24395   121828   391043 |        1    22409     15 |  1.574 % |
5.18/5.27	c |     45470 |   24389   121773   390809 |        1    23111     15 |  1.598 % |
5.18/5.27	c |     45659 |   24389   121773   390809 |        1    23300     15 |  1.598 % |
5.18/5.27	c |     45847 |   24389   121773   390809 |        1    23488     15 |  1.598 % |
5.18/5.27	c |     46615 |   24389   121773   390809 |        1    12527      8 |  1.598 % |
5.18/5.27	c |     46715 |   24388   121760   390752 |        1    12626      9 |  1.602 % |
5.18/5.27	c |     47284 |   24388   121760   390752 |        1    13195      9 |  1.602 % |
5.18/5.27	c |     48036 |   24388   121760   390752 |        1    13947      9 |  1.602 % |
5.18/5.27	c |     48949 |   24388   121760   390752 |        1    14860     10 |  1.602 % |
5.18/5.27	c |     49342 |   24388   121760   390752 |        1    15253     10 |  1.602 % |
5.18/5.27	c |     49935 |   24388   121760   390752 |        1    15846     10 |  1.602 % |
5.18/5.27	c |     51917 |   24387   121758   390746 |        1    17827     11 |  1.606 % |
5.18/5.27	c |     52237 |   24387   121758   390746 |        1    18147     11 |  1.606 % |
5.18/5.27	c |     52777 |   24386   121758   390746 |        1    18686     12 |  1.610 % |
5.18/5.27	c |     53582 |   24386   121758   390746 |        1    19491     12 |  1.610 % |
5.18/5.27	c |     53792 |   24386   121758   390746 |        1    19701     12 |  1.610 % |
5.18/5.27	c |     55367 |   24352   121755   390737 |        1    21269     12 |  1.747 % |
5.18/5.27	c |     56051 |   24348   121755   390737 |        1    21950     12 |  1.763 % |
5.18/5.27	c |     56369 |   24348   121755   390737 |        1    22268     12 |  1.763 % |
5.18/5.27	c |     56640 |   24348   121755   390737 |        1    22539     12 |  1.763 % |
5.18/5.27	c |     56930 |   24348   121601   390072 |        1    22829     13 |  1.763 % |
5.18/5.27	c |     57483 |   24336   121601   390072 |        1    23377     13 |  1.812 % |
5.18/5.27	c |     57588 |   24334   121601   390072 |        1    23481     13 |  1.820 % |
5.18/5.27	c |     57730 |   24334   121601   390072 |        1    23623     13 |  1.820 % |
5.18/5.27	c |     58330 |   24334   121601   390072 |        1    24223     13 |  1.820 % |
5.18/5.27	c |     58431 |   24334   121601   390072 |        1    24324     13 |  1.820 % |
5.18/5.27	c |     59287 |   24324   121524   389722 |        1    25178     13 |  1.860 % |
5.18/5.27	c |     59627 |   24324   121524   389722 |        1    25518     13 |  1.860 % |
5.18/5.27	c |     59878 |   24324   121524   389722 |        1    25769     13 |  1.860 % |
5.18/5.27	c |     60164 |   24324   121524   389722 |        1    26055     13 |  1.860 % |
5.18/5.27	c |     61703 |   24324   121524   389722 |        1    27594     14 |  1.860 % |
5.18/5.27	c |     62656 |   24318   121524   389722 |        1    28546     14 |  1.884 % |
5.18/5.27	c |     63630 |   24318   121507   389646 |        1    15077      8 |  1.884 % |
5.18/5.27	c |     65460 |   24313   121495   389600 |        1    16905      9 |  1.904 % |
5.18/5.27	c |     65597 |   24313   121495   389600 |        1    17042      9 |  1.904 % |
5.18/5.27	c |     66233 |   24313   121495   389600 |        1    17678      9 |  1.904 % |
5.18/5.27	c |     66334 |   24313   121495   389600 |        1    17779      9 |  1.904 % |
5.18/5.27	c |     66942 |   24312   121495   389600 |        1    18386      9 |  1.908 % |
5.18/5.27	c |     67690 |   24312   121492   389591 |        1    19134     10 |  1.908 % |
7.18/7.25	c |     67881 |   24308   121492   389591 |        1    19323     10 |  1.925 % |
7.18/7.25	c |     68360 |   24308   121492   389591 |        1    19802     10 |  1.925 % |
7.18/7.25	c |     69221 |   24308   121492   389591 |        1    20663     11 |  1.925 % |
7.18/7.25	c |     69619 |   24308   121492   389591 |        1    21061     11 |  1.925 % |
7.18/7.25	c |     71707 |   24308   121477   389520 |        1    23149     11 |  1.925 % |
7.18/7.25	c |     71843 |   24308   121477   389520 |        1    23285     11 |  1.925 % |
7.18/7.25	c |     72210 |   24304   121477   389520 |        1    23650     11 |  1.941 % |
7.18/7.25	c |     73064 |   24303   121467   389481 |        1    24503     11 |  1.945 % |
7.18/7.25	c |     74638 |   24303   121467   389481 |        1    26077     12 |  1.945 % |
7.18/7.25	c |     77734 |   24301   121465   389475 |        1    29171     12 |  1.953 % |
7.18/7.25	c |     79562 |   24301   121465   389475 |        1    30999     12 |  1.953 % |
7.18/7.25	c |     79794 |   24301   121465   389475 |        1    31231     12 |  1.953 % |
7.18/7.25	c |     80483 |   24301   121465   389475 |        1    31920     13 |  1.953 % |
7.18/7.25	c |     80980 |   24289   121460   389460 |        1    32415     13 |  2.001 % |
7.18/7.25	c |     81149 |   24288   121460   389460 |        1    32583     13 |  2.005 % |
7.18/7.25	c |     81462 |   24288   121460   389460 |        1    32896     13 |  2.005 % |
7.18/7.25	c |     81568 |   24288   121460   389460 |        1    33002     13 |  2.005 % |
7.18/7.25	c |     82849 |   24288   121460   389460 |        1    17305      8 |  2.005 % |
7.18/7.25	c |     83775 |   24287   121460   389460 |        1    18230      8 |  2.009 % |
7.18/7.25	c |     83988 |   24287   121460   389460 |        1    18443      8 |  2.009 % |
7.18/7.25	c |     84089 |   24287   121460   389460 |        1    18544      8 |  2.009 % |
7.18/7.25	c |     84189 |   24287   121460   389460 |        1    18644      9 |  2.009 % |
7.18/7.25	c |     84324 |   24286   121393   389179 |        1    18778      9 |  2.013 % |
7.18/7.25	c |     84436 |   24286   121393   389179 |        1    18890      9 |  2.013 % |
7.18/7.25	c |     85023 |   24281   121393   389179 |        1    19475      9 |  2.033 % |
7.18/7.25	c |     86046 |   24281   121393   389179 |        1    20498      9 |  2.033 % |
7.18/7.25	c |     86316 |   24280   121373   389110 |        1    20767     10 |  2.038 % |
7.18/7.25	c |     87224 |   24279   121373   389110 |        1    21674     10 |  2.042 % |
7.18/7.25	c |     87471 |   24271   121373   389110 |        1    21920     10 |  2.074 % |
7.18/7.25	c |     88411 |   24268   121311   388851 |        1    22856     10 |  2.086 % |
7.18/7.25	c |     88614 |   24268   121311   388851 |        1    23059     10 |  2.086 % |
7.18/7.25	c |     88963 |   24268   121311   388851 |        1    23408     11 |  2.086 % |
7.18/7.25	c |     91560 |   24268   121311   388851 |        1    26005     11 |  2.086 % |
7.18/7.25	c |     93164 |   24268   121311   388851 |        1    27609     12 |  2.086 % |
7.18/7.25	c |     93885 |   24265   121308   388842 |        1    28327     12 |  2.098 % |
7.18/7.25	c |     94421 |   24265   121308   388842 |        1    28863     12 |  2.098 % |
7.18/7.25	c |     94727 |   24265   121308   388842 |        1    29169     12 |  2.098 % |
7.18/7.25	c |     94964 |   24265   121308   388842 |        1    29406     12 |  2.098 % |
7.18/7.25	c |     95287 |   24262   121296   388797 |        1    29728     12 |  2.110 % |
7.18/7.25	c |     95399 |   24262   121296   388797 |        1    29840     12 |  2.110 % |
7.18/7.25	c |     95523 |   24262   121296   388797 |        1    29964     12 |  2.110 % |
7.18/7.25	c |     95766 |   24262   121296   388797 |        1    30207     12 |  2.110 % |
7.18/7.25	c |     99097 |   24258   121296   388797 |        1    33534     13 |  2.126 % |
7.18/7.25	c |    100443 |   24258   121286   388750 |        1    34873     13 |  2.126 % |
7.18/7.25	c |    101594 |   24257   121286   388750 |        1    36023     13 |  2.130 % |
7.18/7.25	c |    102272 |   24254   121286   388750 |        1    36698     13 |  2.142 % |
7.18/7.25	c |    102540 |   24252   121266   388682 |        1    36848     13 |  2.150 % |
7.18/7.25	c |    102701 |   24252   121266   388682 |        1    37009     13 |  2.150 % |
7.18/7.25	c |    103042 |   24252   121266   388682 |        1    37350     13 |  2.150 % |
7.18/7.25	c |    103261 |   24252   121266   388682 |        1    37569     13 |  2.150 % |
9.78/9.84	c |    104395 |   24252   121266   388682 |        1    38703     14 |  2.150 % |
9.78/9.84	c |    105246 |   24250   121266   388682 |        1    20000      8 |  2.159 % |
9.78/9.84	c |    105986 |   24248   121266   388682 |        1    20738      8 |  2.167 % |
9.78/9.84	c |    108089 |   24248   121266   388682 |        1    22841      9 |  2.167 % |
9.78/9.84	c |    108213 |   24248   121257   388646 |        1    22832      9 |  2.167 % |
9.78/9.84	c |    108582 |   24244   121257   388646 |        1    23200      9 |  2.183 % |
9.78/9.84	c |    110107 |   24244   121257   388646 |        1    24725     10 |  2.183 % |
9.78/9.84	c |    110409 |   24244   121257   388646 |        1    25027     10 |  2.183 % |
9.78/9.84	c |    113077 |   24244   121247   388599 |        1    27695     11 |  2.183 % |
9.78/9.84	c |    113764 |   24243   121244   388587 |        1    28381     11 |  2.187 % |
9.78/9.84	c |    113868 |   24243   121244   388587 |        1    28485     11 |  2.187 % |
9.78/9.84	c |    117671 |   24242   121244   388587 |        1    32287     12 |  2.191 % |
9.78/9.84	c |    120328 |   24240   121238   388569 |        1    34941     12 |  2.199 % |
9.78/9.84	c |    121266 |   24240   121238   388569 |        1    35879     12 |  2.199 % |
9.78/9.84	c |    121422 |   24240   121238   388569 |        1    36035     12 |  2.199 % |
9.78/9.84	c |    121619 |   24240   121238   388569 |        1    36232     12 |  2.199 % |
9.78/9.84	c |    122285 |   24240   121238   388569 |        1    36898     12 |  2.199 % |
9.78/9.84	c |    122422 |   24240   121238   388569 |        1    37035     12 |  2.199 % |
9.78/9.84	c |    122882 |   24240   121238   388569 |        1    37495     12 |  2.199 % |
9.78/9.84	c |    123504 |   24240   121235   388557 |        1    38117     12 |  2.199 % |
9.78/9.84	c |    123604 |   24240   121235   388557 |        1    38217     12 |  2.199 % |
9.78/9.84	c |    124303 |   24234   121235   388557 |        1    38912     12 |  2.223 % |
9.78/9.84	c |    124835 |   24234   121235   388557 |        1    39444     12 |  2.223 % |
9.78/9.84	c |    126790 |   24217   121172   388239 |        1    41391     13 |  2.292 % |
9.78/9.84	c |    126891 |   24217   121172   388239 |        1    41492     13 |  2.292 % |
9.78/9.84	c |    127875 |   24217   121172   388239 |        1    42476     13 |  2.292 % |
9.78/9.84	c |    129507 |   24217   121172   388239 |        1    44108     13 |  2.292 % |
9.78/9.84	c |    129607 |   24217   121172   388239 |        1    23176      8 |  2.292 % |
9.78/9.84	c |    130311 |   24216   121168   388224 |        1    23879      8 |  2.296 % |
9.78/9.84	c |    137287 |   24216   121168   388224 |        1    30855     10 |  2.296 % |
9.78/9.84	c |    137661 |   24214   121163   388209 |        1    31227     10 |  2.304 % |
9.78/9.84	c |    138665 |   24214   121163   388209 |        1    32231     10 |  2.304 % |
9.78/9.84	c |    141768 |   24214   121163   388209 |        1    35334     11 |  2.304 % |
9.78/9.84	c |    144884 |   24213   121160   388200 |        1    38449     12 |  2.308 % |
9.78/9.84	c |    145075 |   24212   121160   388200 |        1    38639     12 |  2.312 % |
9.78/9.84	c |    145178 |   24212   121160   388200 |        1    38742     12 |  2.312 % |
9.78/9.84	c |    147345 |   24207   121150   388147 |        1    40903     12 |  2.332 % |
9.78/9.84	c |    147722 |   24207   121150   388147 |        1    41280     12 |  2.332 % |
9.78/9.84	c |    148280 |   24206   121150   388147 |        1    41837     13 |  2.336 % |
9.78/9.84	c |    148381 |   24206   121150   388147 |        1    41938     13 |  2.336 % |
9.78/9.84	c |    148566 |   24205   121150   388147 |        1    42122     13 |  2.340 % |
9.78/9.84	c |    148915 |   24205   121150   388147 |        1    42471     13 |  2.340 % |
9.78/9.84	c |    149948 |   24205   121150   388147 |        1    43504     13 |  2.340 % |
9.78/9.84	c |    150543 |   24205   121150   388147 |        1    44099     13 |  2.340 % |
9.78/9.84	c |    151844 |   24204   121143   388115 |        1    45393     13 |  2.344 % |
9.78/9.84	c |    151990 |   24204   121143   388115 |        1    45539     13 |  2.344 % |
9.78/9.84	c |    152527 |   24204   121143   388115 |        1    46076     13 |  2.344 % |
9.78/9.84	c |    152725 |   24204   121143   388115 |        1    46274     13 |  2.344 % |
9.78/9.84	c |    153724 |   24203   121143   388115 |        1    47272     13 |  2.348 % |
9.78/9.84	c |    157682 |   24194   121128   388063 |        1    27852      9 |  2.385 % |
11.98/12.03	c |    162833 |   24194   121128   388063 |        1    33003     10 |  2.385 % |
11.98/12.03	c |    163527 |   24194   121128   388063 |        1    33697     10 |  2.385 % |
11.98/12.03	c |    165020 |   24194   121105   387948 |        1    35190     10 |  2.385 % |
11.98/12.03	c |    166071 |   24194   121105   387948 |        1    36241     11 |  2.385 % |
11.98/12.03	c |    167157 |   24193   121105   387948 |        1    37326     11 |  2.389 % |
11.98/12.03	c |    171366 |   24187   121105   387948 |        1    41533     11 |  2.413 % |
11.98/12.03	c |    171576 |   24187   121082   387855 |        1    41743     11 |  2.413 % |
11.98/12.03	c |    171845 |   24187   121082   387855 |        1    42012     12 |  2.413 % |
11.98/12.03	c |    173565 |   24187   121082   387855 |        1    43732     12 |  2.413 % |
11.98/12.03	c |    173677 |   24187   121082   387855 |        1    43844     12 |  2.413 % |
11.98/12.03	c |    175280 |   24186   121082   387855 |        1    45446     12 |  2.417 % |
11.98/12.03	c |    176539 |   24184   121082   387855 |        1    46703     12 |  2.425 % |
11.98/12.03	c |    176656 |   24184   121082   387855 |        1    46820     12 |  2.425 % |
11.98/12.03	c |    180701 |   24181   121075   387833 |        1    50863     13 |  2.437 % |
11.98/12.03	c |    181371 |   24181   121075   387833 |        1    51533     12 |  2.437 % |
11.98/12.03	c |    181486 |   24181   121075   387833 |        1    51648     12 |  2.437 % |
11.98/12.03	c |    181972 |   24181   121075   387833 |        1    52134     13 |  2.437 % |
11.98/12.03	c |    182584 |   24176   121069   387812 |        1    52743     13 |  2.457 % |
11.98/12.03	c |    182691 |   24176   121069   387812 |        1    52850     13 |  2.457 % |
11.98/12.03	c |    183757 |   24176   121069   387812 |        1    53916     13 |  2.457 % |
11.98/12.03	c |    183865 |   24176   121069   387812 |        1    54024     13 |  2.457 % |
11.98/12.03	c |    184988 |   24176   121069   387812 |        1    55147     13 |  2.457 % |
11.98/12.03	c |    185837 |   24176   121069   387812 |        1    55996     13 |  2.457 % |
11.98/12.03	c |    186882 |   24176   121069   387812 |        1    57041     13 |  2.457 % |
11.98/12.03	c |    187121 |   24176   121069   387812 |        1    30687      8 |  2.457 % |
11.98/12.03	c |    187406 |   24176   121069   387812 |        1    30972      8 |  2.457 % |
11.98/12.03	c |    187790 |   24176   121050   387727 |        1    31356      8 |  2.457 % |
11.98/12.03	c |    188652 |   24165   121050   387727 |        1    32213      8 |  2.502 % |
11.98/12.03	c |    190892 |   24165   121050   387727 |        1    34453      9 |  2.502 % |
11.98/12.03	c |    192112 |   24165   121050   387727 |        1    35673      9 |  2.502 % |
11.98/12.03	c |    192281 |   24161   121023   387606 |        1    35839      9 |  2.518 % |
11.98/12.03	c |    193413 |   24161   121023   387606 |        1    36971      9 |  2.518 % |
11.98/12.03	c |    194449 |   24160   121023   387606 |        1    38006     10 |  2.522 % |
11.98/12.03	c |    194550 |   24160   121016   387576 |        1    38107     10 |  2.522 % |
11.98/12.03	c |    194838 |   24156   121016   387576 |        1    38393     10 |  2.538 % |
11.98/12.03	c |    195699 |   24156   121016   387576 |        1    39254     10 |  2.538 % |
11.98/12.03	c |    196718 |   24152   121016   387576 |        1    40270     10 |  2.554 % |
11.98/12.03	c |    196819 |   24152   121016   387576 |        1    40371     10 |  2.554 % |
11.98/12.03	c |    198163 |   24145   120987   387443 |        1    41712     10 |  2.582 % |
11.98/12.03	c |    198706 |   24144   120987   387443 |        1    42254     10 |  2.586 % |
11.98/12.03	c |    200781 |   24144   120987   387443 |        1    44329     11 |  2.586 % |
11.98/12.03	c |    201404 |   24144   120970   387375 |        1    44947     11 |  2.586 % |
11.98/12.03	c |    201510 |   24144   120970   387375 |        1    45053     11 |  2.586 % |
11.98/12.03	c |    202717 |   24136   120970   387375 |        1    46256     11 |  2.619 % |
11.98/12.03	c |    203416 |   24136   120970   387375 |        1    46955     11 |  2.619 % |
11.98/12.03	c |    204993 |   24135   120970   387375 |        1    48531     12 |  2.623 % |
11.98/12.03	c |    205969 |   24135   120970   387375 |        1    49507     12 |  2.623 % |
11.98/12.03	c |    206267 |   24135   120970   387375 |        1    49805     12 |  2.623 % |
11.98/12.03	c |    206714 |   24133   120970   387375 |        1    50250     12 |  2.631 % |
11.98/12.03	c |    206865 |   24133   120939   387249 |        1    50401     12 |  2.631 % |
14.37/14.45	c |    207530 |   24133   120939   387249 |        1    51066     12 |  2.631 % |
14.37/14.45	c |    208110 |   24133   120939   387249 |        1    51646     12 |  2.631 % |
14.37/14.45	c |    208255 |   24130   120939   387249 |        1    51789     12 |  2.643 % |
14.37/14.45	c |    208579 |   24130   120939   387249 |        1    52113     12 |  2.643 % |
14.37/14.45	c |    208777 |   24130   120939   387249 |        1    52311     12 |  2.643 % |
14.37/14.45	c |    209596 |   24129   120939   387249 |        1    53129     12 |  2.647 % |
14.37/14.45	c |    210145 |   24120   120939   387249 |        1    53675     12 |  2.683 % |
14.37/14.45	c |    210910 |   24114   120939   387249 |        1    54437     12 |  2.707 % |
14.37/14.45	c |    214253 |   24113   120888   387028 |        1    57612     13 |  2.711 % |
14.37/14.45	c |    214399 |   24113   120888   387028 |        1    57758     13 |  2.711 % |
14.37/14.45	c |    214582 |   24112   120888   387028 |        1    57940     13 |  2.715 % |
14.37/14.45	c |    214683 |   24112   120888   387028 |        1    58041     13 |  2.715 % |
14.37/14.45	c |    215329 |   24112   120888   387028 |        1    58687     13 |  2.715 % |
14.37/14.45	c |    215566 |   24112   120888   387028 |        1    58924     13 |  2.715 % |
14.37/14.45	c |    215668 |   24112   120888   387028 |        1    59026     13 |  2.715 % |
14.37/14.45	c |    216065 |   24112   120888   387028 |        1    59423     13 |  2.715 % |
14.37/14.45	c |    216166 |   24112   120888   387028 |        1    59524     13 |  2.715 % |
14.37/14.45	c |    216266 |   24112   120888   387028 |        1    59624     13 |  2.715 % |
14.37/14.45	c |    217430 |   24112   120888   387028 |        1    60788     13 |  2.715 % |
14.37/14.45	c |    219027 |   24108   120888   387028 |        1    62384     13 |  2.731 % |
14.37/14.45	c |    219159 |   24108   120888   387028 |        1    62516     13 |  2.731 % |
14.37/14.45	c |    221035 |   24108   120888   387028 |        1    64392     13 |  2.731 % |
14.37/14.45	c |    221178 |   24108   120876   386969 |        1    64532     13 |  2.731 % |
14.37/14.45	c |    221361 |   24108   120876   386969 |        1    64715     13 |  2.731 % |
14.37/14.45	c |    223076 |   24108   120876   386969 |        1    66430     14 |  2.731 % |
14.37/14.45	c |    224347 |   24107   120876   386969 |        1    67700     14 |  2.736 % |
14.37/14.45	c |    225112 |   24107   120876   386969 |        1    68465     14 |  2.736 % |
14.37/14.45	c |    225634 |   24107   120876   386969 |        1    68987     14 |  2.736 % |
14.37/14.45	c |    225734 |   24107   120876   386969 |        1    69087     14 |  2.736 % |
14.37/14.45	c |    226306 |   24103   120876   386969 |        1    69657     14 |  2.752 % |
14.37/14.45	c |    226992 |   24103   120876   386969 |        1    70343     14 |  2.752 % |
14.37/14.45	c |    227694 |   24102   120876   386969 |        1    71044     14 |  2.756 % |
14.37/14.45	c |    227909 |   24102   120876   386969 |        1    71259     14 |  2.756 % |
14.37/14.45	c |    228362 |   24102   120862   386902 |        1    71700     14 |  2.756 % |
14.37/14.45	c |    229002 |   24102   120862   386902 |        1    72340     14 |  2.756 % |
14.37/14.45	c |    234000 |   24102   120862   386902 |        1    41157      9 |  2.756 % |
14.37/14.45	c |    238994 |   24102   120862   386902 |        1    46151     10 |  2.756 % |
14.37/14.45	c |    239097 |   24102   120862   386902 |        1    46254     10 |  2.756 % |
14.37/14.45	c |    241205 |   24102   120862   386902 |        1    48362     10 |  2.756 % |
14.37/14.45	c |    241622 |   24099   120860   386896 |        1    48773     11 |  2.768 % |
14.37/14.45	c |    241724 |   24099   120860   386896 |        1    48875     11 |  2.768 % |
14.37/14.45	c |    246162 |   24099   120860   386896 |        1    53313     11 |  2.768 % |
14.37/14.45	c |    246746 |   24098   120860   386896 |        1    53896     11 |  2.772 % |
14.37/14.45	c |    247553 |   24098   120860   386896 |        1    54703     11 |  2.772 % |
14.37/14.45	c |    249895 |   24098   120856   386883 |        1    57045     11 |  2.772 % |
14.37/14.45	c |    251383 |   24098   120856   386883 |        1    58533     11 |  2.772 % |
14.37/14.45	c |    256059 |   24097   120856   386883 |        1    63208     12 |  2.776 % |
14.37/14.45	c |    263987 |   24093   120853   386874 |        1    71133     13 |  2.792 % |
14.37/14.45	c |    264583 |   24093   120842   386818 |        1    71345     13 |  2.792 % |
17.48/17.56	c |    265291 |   24088   120842   386818 |        1    72051     13 |  2.812 % |
17.48/17.56	c |    265816 |   24083   120842   386818 |        1    72575     13 |  2.832 % |
17.48/17.56	c |    267647 |   24082   120842   386818 |        1    74405     13 |  2.836 % |
17.48/17.56	c |    268261 |   24073   120842   386818 |        1    39956      8 |  2.873 % |
17.48/17.56	c |    269552 |   24072   120842   386818 |        1    41246      8 |  2.877 % |
17.48/17.56	c |    270214 |   24072   120842   386818 |        1    41908      9 |  2.877 % |
17.48/17.56	c |    271487 |   24072   120842   386818 |        1    43181      9 |  2.877 % |
17.48/17.56	c |    271634 |   24072   120779   386506 |        1    43328      9 |  2.877 % |
17.48/17.56	c |    273181 |   24069   120779   386506 |        1    44873      9 |  2.889 % |
17.48/17.56	c |    275588 |   24069   120779   386506 |        1    47280     10 |  2.889 % |
17.48/17.56	c |    276164 |   24069   120773   386480 |        1    47840     10 |  2.889 % |
17.48/17.56	c |    276345 |   24069   120773   386480 |        1    48021     10 |  2.889 % |
17.48/17.56	c |    276953 |   24069   120773   386480 |        1    48629     10 |  2.889 % |
17.48/17.56	c |    277758 |   24068   120773   386480 |        1    49433     10 |  2.893 % |
17.48/17.56	c |    280058 |   24067   120773   386480 |        1    51732     10 |  2.897 % |
17.48/17.56	c |    283986 |   24064   120769   386466 |        1    55659     11 |  2.909 % |
17.48/17.56	c |    284127 |   24064   120769   386466 |        1    55800     11 |  2.909 % |
17.48/17.56	c |    284949 |   24061   120769   386466 |        1    56620     11 |  2.921 % |
17.48/17.56	c |    286323 |   24057   120769   386466 |        1    57992     11 |  2.937 % |
17.48/17.56	c |    289442 |   24055   120739   386327 |        1    61109     12 |  2.945 % |
17.48/17.56	c |    290339 |   24055   120739   386327 |        1    62006     12 |  2.945 % |
17.48/17.56	c |    290541 |   24055   120739   386327 |        1    62208     12 |  2.945 % |
17.48/17.56	c |    291261 |   24055   120739   386327 |        1    62928     12 |  2.945 % |
17.48/17.56	c |    291832 |   24043   120717   386232 |        1    63492     12 |  2.994 % |
17.48/17.56	c |    292475 |   24043   120717   386232 |        1    64135     12 |  2.994 % |
17.48/17.56	c |    294367 |   24040   120717   386232 |        1    66024     12 |  3.006 % |
17.48/17.56	c |    304651 |   24037   120685   386089 |        1    76299     12 |  3.018 % |
17.48/17.56	c |    304752 |   24037   120685   386089 |        1    76400     13 |  3.018 % |
17.48/17.56	c |    305186 |   24037   120685   386089 |        1    76834     13 |  3.018 % |
17.48/17.56	c |    305518 |   24037   120685   386089 |        1    77166     13 |  3.018 % |
17.48/17.56	c |    306105 |   24037   120685   386089 |        1    77753     13 |  3.018 % |
17.48/17.56	c |    309933 |   24032   120685   386089 |        1    47989      9 |  3.038 % |
17.48/17.56	c |    310461 |   24022   120685   386089 |        1    48511      9 |  3.078 % |
17.48/17.56	c |    311760 |   24022   120685   386089 |        1    49810      9 |  3.078 % |
17.48/17.56	c |    312304 |   24021   120655   385963 |        1    50309      9 |  3.083 % |
17.48/17.56	c |    312444 |   24021   120655   385963 |        1    50449      9 |  3.083 % |
17.48/17.56	c |    315841 |   24018   120655   385963 |        1    53845     10 |  3.095 % |
17.48/17.56	c |    316783 |   24009   120655   385963 |        1    54783     10 |  3.131 % |
17.48/17.56	c |    320263 |   24009   120655   385963 |        1    58263     11 |  3.131 % |
17.48/17.56	c |    320709 |   24007   120616   385771 |        1    58693     11 |  3.139 % |
17.48/17.56	c |    321474 |   24007   120616   385771 |        1    59458     11 |  3.139 % |
17.48/17.56	c |    325297 |   24007   120616   385771 |        1    63281     11 |  3.139 % |
17.48/17.56	c |    325643 |   24007   120616   385771 |        1    63627     11 |  3.139 % |
17.48/17.56	c |    325938 |   24007   120616   385771 |        1    63922     11 |  3.139 % |
17.48/17.56	c |    328192 |   24007   120616   385771 |        1    66176     12 |  3.139 % |
17.48/17.56	c |    332128 |   24006   120605   385723 |        1    69958     12 |  3.143 % |
17.48/17.56	c |    333301 |   24003   120605   385723 |        1    71130     12 |  3.155 % |
17.48/17.56	c |    335193 |   24002   120605   385723 |        1    73021     12 |  3.159 % |
17.48/17.56	c |    335533 |   23998   120605   385723 |        1    73359     12 |  3.175 % |
17.48/17.56	c |    343291 |   23998   120605   385723 |        1    81117     13 |  3.175 % |
21.07/21.15	c |    346318 |   23998   120559   385499 |        1    84133     13 |  3.175 % |
21.07/21.15	c |    347656 |   23998   120559   385499 |        1    85471     13 |  3.175 % |
21.07/21.15	c |    350254 |   23998   120559   385499 |        1    88069     13 |  3.175 % |
21.07/21.15	c |    352680 |   23995   120558   385495 |        1    90492     13 |  3.187 % |
21.07/21.15	c |    357136 |   23993   120558   385495 |        1    94946     13 |  3.195 % |
21.07/21.15	c |    359648 |   23993   120558   385495 |        1    97458     13 |  3.195 % |
21.07/21.15	c |    359941 |   23993   120558   385495 |        1    97751     14 |  3.195 % |
21.07/21.15	c |    360201 |   23993   120558   385495 |        1    98011     14 |  3.195 % |
21.07/21.15	c |    360773 |   23982   120558   385495 |        1    98579     14 |  3.240 % |
21.07/21.15	c |    361490 |   23980   120512   385298 |        1    99274     14 |  3.248 % |
21.07/21.15	c |    363539 |   23972   120512   385298 |        1    53237      9 |  3.280 % |
21.07/21.15	c |    363801 |   23972   120512   385298 |        1    53499      9 |  3.280 % |
21.07/21.15	c |    368491 |   23963   120512   385298 |        1    58185     10 |  3.317 % |
21.07/21.15	c |    369036 |   23963   120512   385298 |        1    58730     10 |  3.317 % |
21.07/21.15	c |    369842 |   23957   120512   385298 |        1    59534     10 |  3.341 % |
21.07/21.15	c |    370057 |   23957   120512   385298 |        1    59749     10 |  3.341 % |
21.07/21.15	c |    371057 |   23957   120512   385298 |        1    60749     10 |  3.341 % |
21.07/21.15	c |    371719 |   23956   120437   384950 |        1    61402     10 |  3.345 % |
21.07/21.15	c |    373023 |   23956   120437   384950 |        1    62706     10 |  3.345 % |
21.07/21.15	c |    373657 |   23956   120437   384950 |        1    63340     11 |  3.345 % |
21.07/21.15	c |    374858 |   23950   120437   384950 |        1    64538     11 |  3.369 % |
21.07/21.15	c |    376545 |   23945   120409   384845 |        1    66209     11 |  3.389 % |
21.07/21.15	c |    377969 |   23937   120409   384845 |        1    67630     11 |  3.421 % |
21.07/21.15	c |    379096 |   23937   120409   384845 |        1    68757     11 |  3.421 % |
21.07/21.15	c |    382802 |   23935   120409   384845 |        1    72461     12 |  3.429 % |
21.07/21.15	c |    383132 |   23934   120409   384845 |        1    72790     12 |  3.434 % |
21.07/21.15	c |    383334 |   23934   120409   384845 |        1    72992     12 |  3.434 % |
21.07/21.15	c |    383653 |   23934   120409   384845 |        1    73311     12 |  3.434 % |
21.07/21.15	c |    384877 |   23934   120377   384720 |        1    74508     12 |  3.434 % |
21.07/21.15	c |    387671 |   23934   120377   384720 |        1    77302     12 |  3.434 % |
21.07/21.15	c |    388637 |   23934   120377   384720 |        1    78268     12 |  3.434 % |
21.07/21.15	c |    391705 |   23932   120377   384720 |        1    81334     12 |  3.442 % |
21.07/21.15	c |    393993 |   23931   120377   384720 |        1    83621     12 |  3.446 % |
21.07/21.15	c |    395765 |   23924   120371   384690 |        1    85390     12 |  3.474 % |
21.07/21.15	c |    397463 |   23924   120371   384690 |        1    87088     13 |  3.474 % |
21.07/21.15	c |    399923 |   23924   120371   384690 |        1    89548     13 |  3.474 % |
21.07/21.15	c |    400431 |   23923   120371   384690 |        1    90055     13 |  3.478 % |
21.07/21.15	c |    401395 |   23909   120371   384690 |        1    91012     13 |  3.534 % |
21.07/21.15	c |    403596 |   23908   120371   384690 |        1    93212     13 |  3.538 % |
21.07/21.15	c |    406161 |   23908   120300   384351 |        1    95765     13 |  3.538 % |
21.07/21.15	c |    407353 |   23908   120300   384351 |        1    96957     13 |  3.538 % |
21.07/21.15	c |    412206 |   23906   120300   384351 |        1    57746      9 |  3.546 % |
21.07/21.15	c |    415633 |   23897   120300   384351 |        1    61169      9 |  3.583 % |
21.07/21.15	c |    416085 |   23895   120267   384208 |        1    61620      9 |  3.591 % |
21.07/21.15	c |    419664 |   23889   120267   384208 |        1    65193     10 |  3.615 % |
21.07/21.15	c |    420496 |   23889   120267   384208 |        1    66025     10 |  3.615 % |
21.07/21.15	c |    423561 |   23883   120249   384120 |        1    68960     10 |  3.639 % |
21.07/21.15	c |    425095 |   23883   120249   384120 |        1    70494     10 |  3.639 % |
21.07/21.15	c |    427053 |   23883   120249   384120 |        1    72452     10 |  3.639 % |
21.07/21.15	c |    428187 |   23883   120249   384120 |        1    73586     11 |  3.639 % |
24.87/24.91	c |    429312 |   23883   120249   384120 |        1    74711     11 |  3.639 % |
24.87/24.91	c |    434213 |   23871   120227   384010 |        1    79606     11 |  3.688 % |
24.87/24.91	c |    434314 |   23871   120227   384010 |        1    79707     11 |  3.688 % |
24.87/24.91	c |    434845 |   23871   120227   384010 |        1    80238     12 |  3.688 % |
24.87/24.91	c |    435335 |   23871   120227   384010 |        1    80728     12 |  3.688 % |
24.87/24.91	c |    436008 |   23871   120227   384010 |        1    81401     12 |  3.688 % |
24.87/24.91	c |    436700 |   23871   120227   384010 |        1    82093     12 |  3.688 % |
24.87/24.91	c |    438070 |   23871   120227   384010 |        1    83463     12 |  3.688 % |
24.87/24.91	c |    439078 |   23863   120227   384010 |        1    84469     12 |  3.720 % |
24.87/24.91	c |    439350 |   23855   120174   383775 |        1    84722     12 |  3.752 % |
24.87/24.91	c |    442479 |   23855   120174   383775 |        1    87851     12 |  3.752 % |
24.87/24.91	c |    444037 |   23855   120174   383775 |        1    89409     12 |  3.752 % |
24.87/24.91	c |    446356 |   23844   120174   383775 |        1    91723     12 |  3.797 % |
24.87/24.91	c |    446635 |   23844   120174   383775 |        1    92002     12 |  3.797 % |
24.87/24.91	c |    447741 |   23844   120174   383775 |        1    93108     12 |  3.797 % |
24.87/24.91	c |    448945 |   23844   120174   383775 |        1    94312     12 |  3.797 % |
24.87/24.91	c |    450155 |   23844   120174   383775 |        1    95522     13 |  3.797 % |
24.87/24.91	c |    450629 |   23839   120129   383552 |        1    95994     13 |  3.817 % |
24.87/24.91	c |    451298 |   23839   120129   383552 |        1    96663     13 |  3.817 % |
24.87/24.91	c |    457652 |   23837   120129   383552 |        1   103016     13 |  3.825 % |
24.87/24.91	c |    458561 |   23831   120129   383552 |        1   103923     13 |  3.849 % |
24.87/24.91	c |    462026 |   23830   120129   383552 |        1   107387     13 |  3.853 % |
24.87/24.91	c |    462621 |   23830   120129   383552 |        1   107982     13 |  3.853 % |
24.87/24.91	c |    464126 |   23830   120081   383342 |        1   108856     13 |  3.853 % |
24.87/24.91	c |    469847 |   23830   120081   383342 |        1   114577     14 |  3.853 % |
24.87/24.91	c |    474712 |   23815   120081   383342 |        1    65111      9 |  3.914 % |
24.87/24.91	c |    475302 |   23810   120081   383342 |        1    65700      9 |  3.934 % |
24.87/24.91	c |    481451 |   23810   120081   383342 |        1    71849     10 |  3.934 % |
24.87/24.91	c |    485580 |   23802   120027   383089 |        1    75974     10 |  3.966 % |
24.87/24.91	c |    486019 |   23802   120027   383089 |        1    76413     10 |  3.966 % |
24.87/24.91	c |    487034 |   23802   120027   383089 |        1    77428     10 |  3.966 % |
24.87/24.91	c |    487179 |   23802   120027   383089 |        1    77573     10 |  3.966 % |
24.87/24.91	c |    487329 |   23802   120027   383089 |        1    77723     10 |  3.966 % |
24.87/24.91	c |    489801 |   23801   120027   383089 |        1    80194     11 |  3.970 % |
24.87/24.91	c |    493558 |   23801   120027   383089 |        1    83951     11 |  3.970 % |
24.87/24.91	c |    496745 |   23800   119997   382945 |        1    87116     11 |  3.974 % |
24.87/24.91	c |    498174 |   23800   119997   382945 |        1    88545     11 |  3.974 % |
24.87/24.91	c |    499036 |   23800   119997   382945 |        1    89407     11 |  3.974 % |
24.87/24.91	c |    506423 |   23791   119981   382864 |        1    96787     12 |  4.010 % |
24.87/24.91	c |    508787 |   23791   119981   382864 |        1    99151     12 |  4.010 % |
24.87/24.91	c |    518352 |   23789   119981   382864 |        1   108714     13 |  4.019 % |
24.87/24.91	c |    520436 |   23771   119965   382802 |        1   110783     13 |  4.091 % |
24.87/24.91	c |    521145 |   23771   119965   382802 |        1   111492     13 |  4.091 % |
24.87/24.91	c |    522735 |   23766   119965   382802 |        1   113080     13 |  4.111 % |
24.87/24.91	c |    524084 |   23766   119965   382802 |        1    64634      8 |  4.111 % |
24.87/24.91	c |    527019 |   23764   119965   382802 |        1    67568      9 |  4.119 % |
24.87/24.91	c |    528033 |   23764   119965   382802 |        1    68582      9 |  4.119 % |
24.87/24.91	c |    528269 |   23760   119965   382802 |        1    68817      9 |  4.136 % |
24.87/24.91	c |    529600 |   23760   119965   382802 |        1    70148      9 |  4.136 % |
24.87/24.91	c |    531058 |   23760   119875   382329 |        1    71336      9 |  4.136 % |
28.48/28.54	c |    531523 |   23760   119875   382329 |        1    71801      9 |  4.136 % |
28.48/28.54	c |    532251 |   23760   119875   382329 |        1    72529      9 |  4.136 % |
28.48/28.54	c |    537400 |   23760   119875   382329 |        1    77678     10 |  4.136 % |
28.48/28.54	c |    539434 |   23758   119867   382290 |        1    77060     10 |  4.144 % |
28.48/28.54	c |    540161 |   23753   119867   382290 |        1    77785     10 |  4.164 % |
28.48/28.54	c |    540629 |   23753   119867   382290 |        1    78253     10 |  4.164 % |
28.48/28.54	c |    540978 |   23753   119867   382290 |        1    78602     10 |  4.164 % |
28.48/28.54	c |    543981 |   23753   119867   382290 |        1    81605     10 |  4.164 % |
28.48/28.54	c |    546660 |   23752   119867   382290 |        1    84283     10 |  4.168 % |
28.48/28.54	c |    549390 |   23750   119846   382209 |        1    85983     11 |  4.176 % |
28.48/28.54	c |    549840 |   23750   119846   382209 |        1    86433     11 |  4.176 % |
28.48/28.54	c |    550307 |   23750   119846   382209 |        1    86900     11 |  4.176 % |
28.48/28.54	c |    551434 |   23750   119846   382209 |        1    88027     11 |  4.176 % |
28.48/28.54	c |    552914 |   23749   119846   382209 |        1    89506     11 |  4.180 % |
28.48/28.54	c |    554291 |   23749   119846   382209 |        1    90883     11 |  4.180 % |
28.48/28.54	c |    556659 |   23748   119846   382209 |        1    93250     11 |  4.184 % |
28.48/28.54	c |    557901 |   23743   119846   382209 |        1    94490     12 |  4.204 % |
28.48/28.54	c |    559557 |   23743   119827   382140 |        1    95630     12 |  4.204 % |
28.48/28.54	c |    560864 |   23743   119827   382140 |        1    96937     12 |  4.204 % |
28.48/28.54	c |    561112 |   23743   119827   382140 |        1    97185     12 |  4.204 % |
28.48/28.54	c |    561340 |   23743   119827   382140 |        1    97413     12 |  4.204 % |
28.48/28.54	c |    563340 |   23741   119827   382140 |        1    99411     12 |  4.212 % |
28.48/28.54	c |    564898 |   23740   119827   382140 |        1   100968     12 |  4.216 % |
28.48/28.54	c |    568199 |   23740   119827   382140 |        1   104269     12 |  4.216 % |
28.48/28.54	c |    568984 |   23737   119821   382114 |        1   105044     12 |  4.228 % |
28.48/28.54	c |    573659 |   23731   119821   382114 |        1   109715     12 |  4.253 % |
28.48/28.54	c |    574122 |   23728   119821   382114 |        1   110177     12 |  4.265 % |
28.48/28.54	c |    574247 |   23728   119821   382114 |        1   110302     12 |  4.265 % |
28.48/28.54	c |    576617 |   23728   119821   382114 |        1   112672     13 |  4.265 % |
28.48/28.54	c |    580215 |   23726   119790   381988 |        1   115152     13 |  4.273 % |
28.48/28.54	c |    584707 |   23723   119790   381988 |        1   119642     13 |  4.285 % |
28.48/28.54	c |    585848 |   23719   119790   381988 |        1   120781     13 |  4.301 % |
28.48/28.54	c |    587100 |   23719   119790   381988 |        1   122033     13 |  4.301 % |
28.48/28.54	c |    587825 |   23719   119790   381988 |        1   122758     13 |  4.301 % |
28.48/28.54	c |    589033 |   23719   119790   381988 |        1   123966     13 |  4.301 % |
28.48/28.54	c |    590500 |   23719   119790   381988 |        1   125433     13 |  4.301 % |
28.48/28.54	c |    595621 |   23717   119761   381828 |        1   130322     13 |  4.309 % |
28.48/28.54	c |    597858 |   23717   119761   381828 |        1    74074      9 |  4.309 % |
28.48/28.54	c |    600831 |   23717   119761   381828 |        1    77047      9 |  4.309 % |
28.48/28.54	c |    601321 |   23717   119761   381828 |        1    77537      9 |  4.309 % |
28.48/28.54	c |    602669 |   23717   119761   381828 |        1    78885      9 |  4.309 % |
28.48/28.54	c |    605256 |   23716   119761   381828 |        1    81471     10 |  4.313 % |
28.48/28.54	c |    608095 |   23708   119745   381773 |        1    83436     10 |  4.345 % |
28.48/28.54	c |    612363 |   23699   119723   381654 |        1    86253     10 |  4.382 % |
28.48/28.54	c |    613291 |   23699   119723   381654 |        1    87181     10 |  4.382 % |
28.48/28.54	c |    615586 |   23699   119723   381654 |        1    89476     10 |  4.382 % |
28.48/28.54	c |    618794 |   23699   119723   381654 |        1    92684     11 |  4.382 % |
28.48/28.54	c |    619178 |   23698   119723   381654 |        1    93067     11 |  4.386 % |
28.48/28.54	c |    619337 |   23698   119723   381654 |        1    93226     11 |  4.386 % |
28.48/28.54	c |    621012 |   23698   119723   381654 |        1    94901     11 |  4.386 % |
32.57/32.60	c |    624876 |   23698   119699   381541 |        1    98710     11 |  4.386 % |
32.57/32.60	c |    626432 |   23694   119699   381541 |        1   100265     11 |  4.402 % |
32.57/32.60	c |    626791 |   23693   119699   381541 |        1   100623     11 |  4.406 % |
32.57/32.60	c |    627079 |   23693   119699   381541 |        1   100911     11 |  4.406 % |
32.57/32.60	c |    628622 |   23692   119699   381541 |        1   102453     11 |  4.410 % |
32.57/32.60	c |    630157 |   23692   119699   381541 |        1   103988     11 |  4.410 % |
32.57/32.60	c |    631648 |   23692   119686   381496 |        1   105464     11 |  4.410 % |
32.57/32.60	c |    633167 |   23691   119686   381496 |        1   106982     12 |  4.414 % |
32.57/32.60	c |    635468 |   23679   119686   381496 |        1   109278     12 |  4.462 % |
32.57/32.60	c |    641146 |   23679   119686   381496 |        1   114956     12 |  4.462 % |
32.57/32.60	c |    641906 |   23677   119686   381496 |        1   115714     12 |  4.470 % |
32.57/32.60	c |    642729 |   23674   119686   381496 |        1   116535     12 |  4.483 % |
32.57/32.60	c |    643764 |   23673   119686   381496 |        1   117569     12 |  4.487 % |
32.57/32.60	c |    644430 |   23673   119633   381232 |        1   117173     12 |  4.487 % |
32.57/32.60	c |    645239 |   23668   119633   381232 |        1   117981     12 |  4.507 % |
32.57/32.60	c |    645403 |   23668   119633   381232 |        1   118145     12 |  4.507 % |
32.57/32.60	c |    648708 |   23666   119633   381232 |        1   121448     12 |  4.515 % |
32.57/32.60	c |    649432 |   23665   119633   381232 |        1   122171     12 |  4.519 % |
32.57/32.60	c |    649955 |   23665   119633   381232 |        1   122694     12 |  4.519 % |
32.57/32.60	c |    653164 |   23659   119633   381232 |        1   125902     13 |  4.543 % |
32.57/32.60	c |    657338 |   23652   119633   381232 |        1    78070      8 |  4.571 % |
32.57/32.60	c |    662289 |   23642   119553   380861 |        1    82939      9 |  4.612 % |
32.57/32.60	c |    664527 |   23641   119553   380861 |        1    85176      9 |  4.616 % |
32.57/32.60	c |    671191 |   23626   119526   380731 |        1    91830     10 |  4.676 % |
32.57/32.60	c |    671667 |   23626   119526   380731 |        1    92306     10 |  4.676 % |
32.57/32.60	c |    671987 |   23626   119526   380731 |        1    92626     10 |  4.676 % |
32.57/32.60	c |    673121 |   23624   119526   380731 |        1    93758     10 |  4.684 % |
32.57/32.60	c |    676190 |   23622   119526   380731 |        1    96825     10 |  4.692 % |
32.57/32.60	c |    676859 |   23622   119472   380475 |        1    97388     10 |  4.692 % |
32.57/32.60	c |    680342 |   23622   119472   380475 |        1   100871     11 |  4.692 % |
32.57/32.60	c |    681709 |   23622   119472   380475 |        1   102238     11 |  4.692 % |
32.57/32.60	c |    682183 |   23622   119472   380475 |        1   102712     11 |  4.692 % |
32.57/32.60	c |    683849 |   23622   119472   380475 |        1   104378     11 |  4.692 % |
32.57/32.60	c |    685035 |   23621   119470   380469 |        1   105519     11 |  4.696 % |
32.57/32.60	c |    689756 |   23617   119470   380469 |        1   110236     11 |  4.713 % |
32.57/32.60	c |    690518 |   23617   119470   380469 |        1   110998     11 |  4.713 % |
32.57/32.60	c |    693762 |   23615   119470   380469 |        1   114240     12 |  4.721 % |
32.57/32.60	c |    694774 |   23615   119463   380434 |        1   115190     12 |  4.721 % |
32.57/32.60	c |    698983 |   23615   119463   380434 |        1   119399     12 |  4.721 % |
32.57/32.60	c |    703719 |   23599   119463   380434 |        1   124133     12 |  4.785 % |
32.57/32.60	c |    705578 |   23584   119463   380434 |        1   125988     12 |  4.846 % |
32.57/32.60	c |    707900 |   23584   119463   380434 |        1   128310     12 |  4.846 % |
32.57/32.60	c |    712469 |   23583   119357   379866 |        1   132261     12 |  4.850 % |
32.57/32.60	c |    716267 |   23579   119357   379866 |        1   136057     12 |  4.866 % |
32.57/32.60	c |    716480 |   23579   119357   379866 |        1   136270     12 |  4.866 % |
32.57/32.60	c |    717180 |   23579   119357   379866 |        1   136970     12 |  4.866 % |
32.57/32.60	c |    720124 |   23578   119357   379866 |        1   139913     12 |  4.870 % |
32.57/32.60	c |    721377 |   23578   119340   379781 |        1   139935     13 |  4.870 % |
32.57/32.60	c |    721868 |   23577   119340   379781 |        1   140425     13 |  4.874 % |
32.57/32.60	c |    723102 |   23577   119340   379781 |        1   141659     13 |  4.874 % |
38.28/38.36	c |    729407 |   23572   119340   379781 |        1   147962     13 |  4.894 % |
38.28/38.36	c |    730638 |   23571   119340   379781 |        1   149192     13 |  4.898 % |
38.28/38.36	c |    732838 |   23571   119340   379781 |        1   151392     13 |  4.898 % |
38.28/38.36	c |    734395 |   23569   119340   379781 |        1   152948     13 |  4.906 % |
38.28/38.36	c |    736743 |   23569   119340   379781 |        1    87667      9 |  4.906 % |
38.28/38.36	c |    737736 |   23569   119295   379514 |        1    88541      9 |  4.906 % |
38.28/38.36	c |    738218 |   23568   119295   379514 |        1    89022      9 |  4.910 % |
38.28/38.36	c |    739342 |   23568   119295   379514 |        1    90146      9 |  4.910 % |
38.28/38.36	c |    741667 |   23566   119295   379514 |        1    92469      9 |  4.918 % |
38.28/38.36	c |    743060 |   23566   119295   379514 |        1    93862      9 |  4.918 % |
38.28/38.36	c |    744099 |   23566   119295   379514 |        1    94901      9 |  4.918 % |
38.28/38.36	c |    749352 |   23564   119283   379447 |        1   100121     10 |  4.926 % |
38.28/38.36	c |    753408 |   23563   119283   379447 |        1   104176     10 |  4.930 % |
38.28/38.36	c |    755156 |   23563   119283   379447 |        1   105924     10 |  4.930 % |
38.28/38.36	c |    757924 |   23560   119283   379447 |        1   108691     10 |  4.943 % |
38.28/38.36	c |    759443 |   23560   119268   379378 |        1   109919     11 |  4.943 % |
38.28/38.36	c |    761081 |   23560   119268   379378 |        1   111557     11 |  4.943 % |
38.28/38.36	c |    763330 |   23560   119268   379378 |        1   113806     11 |  4.943 % |
38.28/38.36	c |    769895 |   23558   119268   379378 |        1   120369     11 |  4.951 % |
38.28/38.36	c |    775811 |   23558   119264   379366 |        1   126163     12 |  4.951 % |
38.28/38.36	c |    779747 |   23557   119264   379366 |        1   130098     12 |  4.955 % |
38.28/38.36	c |    781230 |   23557   119264   379366 |        1   131581     12 |  4.955 % |
38.28/38.36	c |    781918 |   23557   119264   379366 |        1   132269     12 |  4.955 % |
38.28/38.36	c |    782261 |   23557   119264   379366 |        1   132612     12 |  4.955 % |
38.28/38.36	c |    785409 |   23557   119264   379366 |        1   135760     12 |  4.955 % |
38.28/38.36	c |    789156 |   23556   119262   379360 |        1   139493     12 |  4.959 % |
38.28/38.36	c |    792350 |   23556   119262   379360 |        1   142687     12 |  4.959 % |
38.28/38.36	c |    794064 |   23556   119262   379360 |        1   144401     12 |  4.959 % |
38.28/38.36	c |    797008 |   23540   119262   379360 |        1   147339     12 |  5.023 % |
38.28/38.36	c |    799210 |   23538   119262   379360 |        1    87051      8 |  5.031 % |
38.28/38.36	c |    801416 |   23534   119206   379080 |        1    88959      8 |  5.047 % |
38.28/38.36	c |    809078 |   23528   119165   378868 |        1    96268      9 |  5.072 % |
38.28/38.36	c |    811881 |   23527   119165   378868 |        1    99070     10 |  5.076 % |
38.28/38.36	c |    818597 |   23527   119165   378868 |        1   105786     10 |  5.076 % |
38.28/38.36	c |    821771 |   23526   119163   378862 |        1   108957     10 |  5.080 % |
38.28/38.36	c |    823977 |   23516   119163   378862 |        1   111160     10 |  5.120 % |
38.28/38.36	c |    825024 |   23516   119163   378862 |        1   112207     10 |  5.120 % |
38.28/38.36	c |    826451 |   23516   119163   378862 |        1   113634     11 |  5.120 % |
38.28/38.36	c |    827998 |   23516   119163   378862 |        1   115181     11 |  5.120 % |
38.28/38.36	c |    829230 |   23515   119126   378641 |        1   115854     11 |  5.124 % |
38.28/38.36	c |    831347 |   23515   119126   378641 |        1   117971     11 |  5.124 % |
38.28/38.36	c |    832833 |   23503   119126   378641 |        1   119452     11 |  5.172 % |
38.28/38.36	c |    839779 |   23501   119126   378641 |        1   126396     11 |  5.181 % |
38.28/38.36	c |    841340 |   23501   119086   378460 |        1   127889     11 |  5.181 % |
38.28/38.36	c |    842015 |   23501   119086   378460 |        1   128564     11 |  5.181 % |
38.28/38.36	c |    844158 |   23500   119086   378460 |        1   130706     11 |  5.185 % |
38.28/38.36	c |    846750 |   23500   119086   378460 |        1   133298     12 |  5.185 % |
38.28/38.36	c |    860143 |   23497   119072   378405 |        1   146597     12 |  5.197 % |
38.28/38.36	c |    861191 |   23497   119072   378405 |        1   147645     12 |  5.197 % |
38.28/38.36	c |    861843 |   23497   119072   378405 |        1   148297     12 |  5.197 % |
44.48/44.57	c |    862204 |   23497   119072   378405 |        1   148658     12 |  5.197 % |
44.48/44.57	c |    862965 |   23494   119072   378405 |        1   149418     12 |  5.209 % |
44.48/44.57	c |    864470 |   23494   119072   378405 |        1   150923     12 |  5.209 % |
44.48/44.57	c |    864617 |   23494   119072   378405 |        1   151070     12 |  5.209 % |
44.48/44.57	c |    869649 |   23494   119072   378405 |        1   156102     12 |  5.209 % |
44.48/44.57	c |    876206 |   23484   119060   378338 |        1   161925     13 |  5.249 % |
44.48/44.57	c |    876950 |   23484   119060   378338 |        1   162669     13 |  5.249 % |
44.48/44.57	c |    877805 |   23482   119060   378338 |        1   163522     13 |  5.257 % |
44.48/44.57	c |    879335 |   23481   119060   378338 |        1   165051     13 |  5.261 % |
44.48/44.57	c |    880490 |   23481   119060   378338 |        1   166206     13 |  5.261 % |
44.48/44.57	c |    881505 |   23477   119060   378338 |        1   167220     13 |  5.277 % |
44.48/44.57	c |    885066 |   23475   119060   378338 |        1   170779     13 |  5.285 % |
44.48/44.57	c |    888279 |   23475   119001   378085 |        1    99929      9 |  5.285 % |
44.48/44.57	c |    892834 |   23474   119001   378085 |        1   104483      9 |  5.289 % |
44.48/44.57	c |    896171 |   23470   119001   378085 |        1   107817      9 |  5.306 % |
44.48/44.57	c |    898295 |   23470   119001   378085 |        1   109941      9 |  5.306 % |
44.48/44.57	c |    899682 |   23470   119001   378085 |        1   111328      9 |  5.306 % |
44.48/44.57	c |    903287 |   23470   119001   378085 |        1   114933     10 |  5.306 % |
44.48/44.57	c |    904630 |   23470   119001   378085 |        1   116276     10 |  5.306 % |
44.48/44.57	c |    906166 |   23470   118989   378018 |        1   117778     10 |  5.306 % |
44.48/44.57	c |    907374 |   23469   118989   378018 |        1   118985     10 |  5.310 % |
44.48/44.57	c |    909475 |   23468   118989   378018 |        1   121085     10 |  5.314 % |
44.48/44.57	c |    914528 |   23466   118978   377970 |        1   126069     10 |  5.322 % |
44.48/44.57	c |    916189 |   23466   118978   377970 |        1   127730     10 |  5.322 % |
44.48/44.57	c |    916633 |   23465   118978   377970 |        1   128173     10 |  5.326 % |
44.48/44.57	c |    921818 |   23464   118978   377970 |        1   133357     11 |  5.330 % |
44.48/44.57	c |    924409 |   23457   118947   377828 |        1   135632     11 |  5.358 % |
44.48/44.57	c |    933032 |   23454   118947   377828 |        1   144252     11 |  5.370 % |
44.48/44.57	c |    935039 |   23451   118947   377828 |        1   146258     11 |  5.382 % |
44.48/44.57	c |    936328 |   23451   118933   377773 |        1   147444     11 |  5.382 % |
44.48/44.57	c |    943207 |   23444   118933   377773 |        1   154319     11 |  5.411 % |
44.48/44.57	c |    945563 |   23443   118933   377773 |        1   156674     11 |  5.415 % |
44.48/44.57	c |    946193 |   23443   118933   377773 |        1   157304     11 |  5.415 % |
44.48/44.57	c |    946771 |   23443   118933   377773 |        1   157882     12 |  5.415 % |
44.48/44.57	c |    946935 |   23443   118902   377624 |        1   157957     12 |  5.415 % |
44.48/44.57	c |    948894 |   23437   118902   377624 |        1   159915     12 |  5.439 % |
44.48/44.57	c |    953667 |   23436   118902   377624 |        1   164687     12 |  5.443 % |
44.48/44.57	c |    955796 |   23435   118902   377624 |        1   166815     12 |  5.447 % |
44.48/44.57	c |    958888 |   23435   118902   377624 |        1   169907     12 |  5.447 % |
44.48/44.57	c |    960089 |   23423   118869   377449 |        1   170182     12 |  5.495 % |
44.48/44.57	c |    961207 |   23423   118869   377449 |        1   171300     12 |  5.495 % |
44.48/44.57	c |    962416 |   23420   118869   377449 |        1   172506     12 |  5.507 % |
44.48/44.57	c |    967726 |   23420   118869   377449 |        1   177816     12 |  5.507 % |
44.48/44.57	c |    970058 |   23419   118869   377449 |        1   180147     12 |  5.511 % |
44.48/44.57	c |    970533 |   23419   118869   377449 |        1   180622     12 |  5.511 % |
44.48/44.57	c |    972248 |   23418   118869   377449 |        1   182336     12 |  5.515 % |
44.48/44.57	c |    973705 |   23414   118816   377154 |        1   182916     12 |  5.532 % |
44.48/44.57	c |    974295 |   23413   118816   377154 |        1   183505     12 |  5.536 % |
44.48/44.57	c |    981818 |   23383   118816   377154 |        1   108993      8 |  5.657 % |
44.48/44.57	c |    985951 |   23382   118816   377154 |        1   113125      9 |  5.661 % |
51.08/51.12	c |    986082 |   23382   118816   377154 |        1   113256      9 |  5.661 % |
51.08/51.12	c |    988641 |   23376   118816   377154 |        1   115813      9 |  5.685 % |
51.08/51.12	c |    992810 |   23375   118662   376309 |        1   116216      9 |  5.689 % |
51.08/51.12	c |    992931 |   23375   118662   376309 |        1   116337      9 |  5.689 % |
51.08/51.12	c |    999543 |   23364   118662   376309 |        1   122945      9 |  5.733 % |
51.08/51.12	c |   1000714 |   23363   118622   376107 |        1   122142     10 |  5.737 % |
51.08/51.12	c |   1002701 |   23363   118622   376107 |        1   124129     10 |  5.737 % |
51.08/51.12	c |   1004342 |   23362   118622   376107 |        1   125769     10 |  5.741 % |
51.08/51.12	c |   1007496 |   23360   118622   376107 |        1   128922     10 |  5.749 % |
51.08/51.12	c |   1008818 |   23358   118602   376017 |        1   129711     10 |  5.758 % |
51.08/51.12	c |   1009017 |   23358   118602   376017 |        1   129910     10 |  5.758 % |
51.08/51.12	c |   1012298 |   23354   118602   376017 |        1   133189     10 |  5.774 % |
51.08/51.12	c |   1014904 |   23335   118602   376017 |        1   135794     10 |  5.850 % |
51.08/51.12	c |   1020061 |   23322   118498   375415 |        1   138151     10 |  5.903 % |
51.08/51.12	c |   1025109 |   23310   118498   375415 |        1   143198     11 |  5.951 % |
51.08/51.12	c |   1028329 |   23307   118498   375415 |        1   146417     11 |  5.963 % |
51.08/51.12	c |   1031279 |   23307   118404   374859 |        1   143702     11 |  5.963 % |
51.08/51.12	c |   1031818 |   23307   118404   374859 |        1   144241     11 |  5.963 % |
51.08/51.12	c |   1033632 |   23307   118404   374859 |        1   146055     11 |  5.963 % |
51.08/51.12	c |   1036855 |   23306   118404   374859 |        1   149277     11 |  5.967 % |
51.08/51.12	c |   1038851 |   23304   118404   374859 |        1   151271     11 |  5.975 % |
51.08/51.12	c |   1043536 |   23304   118400   374846 |        1   155946     12 |  5.975 % |
51.08/51.12	c |   1045368 |   23302   118400   374846 |        1   157777     12 |  5.983 % |
51.08/51.12	c |   1046758 |   23298   118400   374846 |        1   159166     12 |  6.000 % |
51.08/51.12	c |   1048653 |   23297   118400   374846 |        1   161060     12 |  6.004 % |
51.08/51.12	c |   1049123 |   23296   118400   374846 |        1   161529     12 |  6.008 % |
51.08/51.12	c |   1051809 |   23293   118361   374645 |        1   162967     12 |  6.020 % |
51.08/51.12	c |   1054466 |   23291   118361   374645 |        1   165623     12 |  6.028 % |
51.08/51.12	c |   1055666 |   23289   118361   374645 |        1   166821     12 |  6.036 % |
51.08/51.12	c |   1059503 |   23288   118361   374645 |        1   170657     12 |  6.040 % |
51.08/51.12	c |   1070039 |   23287   118361   374645 |        1   181192     12 |  6.044 % |
51.08/51.12	c |   1070288 |   23287   118343   374559 |        1   181240     12 |  6.044 % |
51.08/51.12	c |   1072368 |   23278   118343   374559 |        1   183317     13 |  6.080 % |
51.08/51.12	c |   1074905 |   23269   118343   374559 |        1   185852     13 |  6.117 % |
51.08/51.12	c |   1075529 |   23269   118343   374559 |        1   186476     13 |  6.117 % |
51.08/51.12	c |   1078444 |   23267   118343   374559 |        1   189390     13 |  6.125 % |
51.08/51.12	c |   1084639 |   23267   118343   374559 |        1   118447      9 |  6.125 % |
51.08/51.12	c |   1088691 |   23237   118261   374074 |        1   121534      9 |  6.246 % |
51.08/51.12	c |   1089886 |   23230   118261   374074 |        1   122726      9 |  6.274 % |
51.08/51.12	c |   1092037 |   23230   118261   374074 |        1   124877      9 |  6.274 % |
51.08/51.12	c |   1092587 |   23229   118261   374074 |        1   125426      9 |  6.278 % |
51.08/51.12	c |   1093466 |   23229   118261   374074 |        1   126305      9 |  6.278 % |
51.08/51.12	c |   1094430 |   23229   118115   373235 |        1   121540      9 |  6.278 % |
51.08/51.12	c |   1094819 |   23229   118115   373235 |        1   121929      9 |  6.278 % |
51.08/51.12	c |   1098535 |   23227   118115   373235 |        1   125643      9 |  6.286 % |
51.08/51.12	c |   1101295 |   23227   118115   373235 |        1   128403     10 |  6.286 % |
51.08/51.12	c |   1102634 |   23227   118113   373229 |        1   129721     10 |  6.286 % |
51.08/51.12	c |   1103601 |   23224   118113   373229 |        1   130687     10 |  6.298 % |
51.08/51.12	c |   1104888 |   23223   118113   373229 |        1   131973     10 |  6.302 % |
51.08/51.12	c |   1106124 |   23211   118113   373229 |        1   133208     10 |  6.351 % |
56.37/56.46	c |   1111915 |   23210   118113   373229 |        1   138998     10 |  6.355 % |
56.37/56.46	c |   1112495 |   23210   118051   372870 |        1   138591     10 |  6.355 % |
56.37/56.46	c |   1113448 |   23209   118051   372870 |        1   139543     10 |  6.359 % |
56.37/56.46	c |   1115397 |   23207   118051   372870 |        1   141491     11 |  6.367 % |
56.37/56.46	c |   1117703 |   23207   118051   372870 |        1   143797     11 |  6.367 % |
56.37/56.46	c |   1118488 |   23207   118051   372870 |        1   144582     11 |  6.367 % |
56.37/56.46	c |   1118875 |   23207   118051   372870 |        1   144969     11 |  6.367 % |
56.37/56.46	c |   1119555 |   23204   118051   372870 |        1   145648     11 |  6.379 % |
56.37/56.46	c |   1122254 |   23204   118051   372870 |        1   148347     11 |  6.379 % |
56.37/56.46	c |   1131617 |   23204   118029   372755 |        1   155621     11 |  6.379 % |
56.37/56.46	c |   1132984 |   23199   118029   372755 |        1   156986     11 |  6.399 % |
56.37/56.46	c |   1135515 |   23198   118029   372755 |        1   159516     11 |  6.403 % |
56.37/56.46	c |   1136561 |   23196   118008   372679 |        1   158359     11 |  6.411 % |
56.37/56.46	c |   1137033 |   23193   118008   372679 |        1   158830     11 |  6.423 % |
56.37/56.46	c |   1138964 |   23192   118008   372679 |        1   160760     11 |  6.427 % |
56.37/56.46	c |   1141191 |   23192   118008   372679 |        1   162987     11 |  6.427 % |
56.37/56.46	c |   1141485 |   23192   118008   372679 |        1   163281     11 |  6.427 % |
56.37/56.46	c |   1142995 |   23191   118008   372679 |        1   164790     11 |  6.431 % |
56.37/56.46	c |   1144025 |   23190   118008   372679 |        1   165819     11 |  6.435 % |
56.37/56.46	c |   1146605 |   23190   117974   372491 |        1   166432     12 |  6.435 % |
56.37/56.46	c |   1149271 |   23189   117974   372491 |        1   169097     12 |  6.439 % |
56.37/56.46	c |   1149607 |   23189   117974   372491 |        1   169433     12 |  6.439 % |
56.37/56.46	c |   1150125 |   23189   117974   372491 |        1   169951     12 |  6.439 % |
56.37/56.46	c |   1150651 |   23189   117974   372491 |        1   170477     12 |  6.439 % |
56.37/56.46	c |   1152406 |   23189   117974   372491 |        1   172232     12 |  6.439 % |
56.37/56.46	c |   1156936 |   23189   117974   372491 |        1   176762     12 |  6.439 % |
56.37/56.46	c |   1157805 |   23188   117970   372467 |        1   177560     12 |  6.443 % |
56.37/56.46	c |   1158116 |   23188   117970   372467 |        1   177871     12 |  6.443 % |
56.37/56.46	c |   1160567 |   23187   117970   372467 |        1   180321     12 |  6.447 % |
56.37/56.46	c |   1160888 |   23187   117970   372467 |        1   180642     12 |  6.447 % |
56.37/56.46	c |   1162890 |   23187   117970   372467 |        1   182644     12 |  6.447 % |
56.37/56.46	c |   1164300 |   23187   117970   372467 |        1   184054     12 |  6.447 % |
56.37/56.46	c |   1164401 |   23187   117970   372467 |        1   184155     12 |  6.447 % |
56.37/56.46	c |   1165337 |   23186   117970   372467 |        1   185090     12 |  6.451 % |
56.37/56.46	c |   1165656 |   23186   117970   372467 |        1   185409     12 |  6.451 % |
56.37/56.46	c |   1167290 |   23175   117958   372424 |        1   186078     12 |  6.496 % |
56.37/56.46	c |   1169466 |   23161   117958   372424 |        1   188253     12 |  6.552 % |
56.37/56.46	c |   1170880 |   23141   117958   372424 |        1   189666     12 |  6.633 % |
56.37/56.46	c |   1172141 |   23141   117958   372424 |        1   190927     13 |  6.633 % |
56.37/56.46	c |   1173352 |   23140   117958   372424 |        1   192137     13 |  6.637 % |
56.37/56.46	c |   1176567 |   23140   117958   372424 |        1   195352     13 |  6.637 % |
56.37/56.46	c |   1177030 |   23140   117958   372424 |        1   195815     13 |  6.637 % |
56.37/56.46	c |   1177648 |   23140   117958   372424 |        1   196433     13 |  6.637 % |
56.37/56.46	c |   1179591 |   23139   117764   371214 |        1   189295     13 |  6.641 % |
56.37/56.46	c |   1180146 |   23137   117764   371214 |        1   189849     13 |  6.649 % |
56.37/56.46	c |   1181866 |   23137   117764   371214 |        1   191569     13 |  6.649 % |
56.37/56.46	c |   1183115 |   23130   117764   371214 |        1   120444      8 |  6.677 % |
56.37/56.46	c |   1184582 |   23127   117764   371214 |        1   121910      9 |  6.690 % |
56.37/56.46	c |   1189422 |   23088   117764   371214 |        1   126749      9 |  6.847 % |
56.37/56.46	c |   1189623 |   23088   117764   371214 |        1   126950      9 |  6.847 % |
59.87/59.93	c |   1192302 |   23088   117764   371214 |        1   129629      9 |  6.847 % |
59.87/59.93	c |   1199876 |   23088   117548   369928 |        1   131783      9 |  6.847 % |
59.87/59.93	c |   1201209 |   23086   117546   369921 |        1   133114      9 |  6.855 % |
59.87/59.93	c |   1201961 |   23072   117546   369921 |        1   133864     10 |  6.911 % |
59.87/59.93	c |   1203291 |   23070   117546   369921 |        1   135192     10 |  6.920 % |
59.87/59.93	c |   1205627 |   23069   117546   369921 |        1   137527     10 |  6.924 % |
59.87/59.93	c |   1206511 |   23069   117546   369921 |        1   138411     10 |  6.924 % |
59.87/59.93	c |   1206957 |   23069   117546   369921 |        1   138857     10 |  6.924 % |
59.87/59.93	c |   1208091 |   23048   117480   369566 |        1   137824     10 |  7.008 % |
59.87/59.93	c |   1208752 |   23047   117480   369566 |        1   138484     10 |  7.012 % |
59.87/59.93	c |   1209921 |   23042   117480   369566 |        1   139652     10 |  7.032 % |
59.87/59.93	c |   1212318 |   23016   117480   369566 |        1   142045     10 |  7.137 % |
59.87/59.93	c |   1215186 |   22992   117165   367688 |        1   129972     10 |  7.234 % |
59.87/59.93	c |   1215734 |   22987   117165   367688 |        1   130518     10 |  7.254 % |
59.87/59.93	c |   1219797 |   22987   117165   367688 |        1   134581     10 |  7.254 % |
59.87/59.93	c |   1220935 |   22964   117133   367486 |        1   134964     10 |  7.347 % |
59.87/59.93	c |   1222564 |   22940   117133   367486 |        1   136585     10 |  7.444 % |
59.87/59.93	c |   1224155 |   22923   117133   367486 |        1   138173     10 |  7.513 % |
59.87/59.93	c |   1225303 |   22908   116875   366015 |        1   130349     10 |  7.573 % |
59.87/59.93	c |   1230961 |   20028   116700   364968 |        1   126035     10 | 19.193 % |
59.87/59.93	c ===============================================================================
59.87/59.93	c restarts              : 808
59.87/59.93	c nb ReduceDB           : 26
59.87/59.93	c nb removed Clauses    : 1002604
59.87/59.93	c nb learnts DL2        : 23522
59.87/59.93	c nb learnts size 2     : 8742
59.87/59.93	c nb learnts size 1     : 737
59.87/59.93	c conflicts             : 1230961        (20833 /sec)
59.87/59.93	c decisions             : 6752377        (0.00 % random) (114280 /sec)
59.87/59.93	c propagations          : 226685445      (3836533 /sec)
59.87/59.93	c conflict literals     : 21750180       (22.87 % deleted)
59.87/59.93	c nb reduced Clauses    : 10546
59.87/59.93	c CPU time              : 59.086 s
59.87/59.93	
59.87/59.94	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

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

running on 2 cores: 4,6

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.88 3.95 3.51 5/192 9317
/proc/meminfo: memFree=20409140/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 220810258 8912896 253 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 253 211 178 0 69 0

[startup+0.070932 s]
/proc/loadavg: 3.88 3.95 3.51 5/192 9317
/proc/meminfo: memFree=20409140/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 220810258 8912896 253 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100904 s]
/proc/loadavg: 3.88 3.95 3.51 5/192 9317
/proc/meminfo: memFree=20409140/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 220810258 8912896 253 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300889 s]
/proc/loadavg: 3.88 3.95 3.51 5/192 9317
/proc/meminfo: memFree=20409140/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 220810258 8912896 253 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700805 s]
/proc/loadavg: 3.88 3.95 3.51 5/192 9317
/proc/meminfo: memFree=20409140/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 220810258 8912896 253 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50069 s]
/proc/loadavg: 3.88 3.95 3.51 5/194 9320
/proc/meminfo: memFree=20389412/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=28284 CPUtime=0.69 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 3586 0 0 0 69 0 0 0 21 0 1 0 220810338 28962816 3367 33554432000 4194304 4260849 140734887741952 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 7071 3367 251 17 0 3712 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 36988

[startup+3.10041 s]
/proc/loadavg: 3.88 3.95 3.51 5/194 9320
/proc/meminfo: memFree=20385940/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=29308 CPUtime=2.29 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 5978 0 0 0 229 0 0 0 25 0 1 0 220810338 30011392 3631 33554432000 4194304 4260849 140734887741952 18446744073709551615 4211220 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 7327 3631 252 17 0 3968 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 38012

[startup+6.30085 s]
/proc/loadavg: 3.97 3.96 3.52 5/194 9320
/proc/meminfo: memFree=20369268/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=41204 CPUtime=5.5 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 9861 0 0 0 549 1 0 0 25 0 1 0 220810338 42192896 6100 33554432000 4194304 4260849 140734887741952 18446744073709551615 4210280 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 10301 6100 252 17 0 6942 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49908

[startup+12.7007 s]
/proc/loadavg: 3.97 3.96 3.52 5/194 9350
/proc/meminfo: memFree=20348768/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=41204 CPUtime=11.9 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 10641 0 0 0 1189 1 0 0 25 0 1 0 220810338 42192896 6842 33554432000 4194304 4260849 140734887741952 18446744073709551615 4211080 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 10301 6842 252 17 0 6942 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49908

[startup+25.5005 s]
/proc/loadavg: 3.98 3.97 3.53 5/194 9381
/proc/meminfo: memFree=20291932/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=59928 CPUtime=24.69 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 17307 0 0 0 2467 2 0 0 25 0 1 0 220810338 61366272 11283 33554432000 4194304 4260849 140734887741952 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 14982 11283 252 17 0 11623 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 68632

[startup+51.101 s]
/proc/loadavg: 3.99 3.97 3.54 5/194 9381
/proc/meminfo: memFree=20262156/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=72612 CPUtime=50.3 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 30455 0 0 0 5025 5 0 0 25 0 1 0 220810338 74354688 13856 33554432000 4194304 4260849 140734887741952 18446744073709551615 4224696 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 18153 13856 252 17 0 14794 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81316

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

[startup+54.3004 s]
/proc/loadavg: 3.99 3.97 3.55 5/194 9381
/proc/meminfo: memFree=20274644/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=91288 CPUtime=53.49 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 31096 0 0 0 5344 5 0 0 25 0 1 0 220810338 93478912 14468 33554432000 4194304 4260849 140734887741952 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 22822 14468 252 17 0 19463 0
Current children cumulated CPU time (s) 54.27
Current children cumulated vsize (KiB) 99992

[startup+57.5008 s]
/proc/loadavg: 3.99 3.97 3.55 5/194 9382
/proc/meminfo: memFree=20267652/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=91288 CPUtime=56.69 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 31604 0 0 0 5664 5 0 0 25 0 1 0 220810338 93478912 14959 33554432000 4194304 4260849 140734887741952 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 22822 14959 252 17 0 19463 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 99992

[startup+59.1005 s]
/proc/loadavg: 3.99 3.97 3.55 5/194 9382
/proc/meminfo: memFree=20265544/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=91288 CPUtime=58.29 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 31604 0 0 0 5824 5 0 0 25 0 1 0 220810338 93478912 14959 33554432000 4194304 4260849 140734887741952 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 22822 14959 252 17 0 19463 0
Current children cumulated CPU time (s) 59.07
Current children cumulated vsize (KiB) 99992

[startup+59.5005 s]
/proc/loadavg: 3.99 3.97 3.55 5/194 9382
/proc/meminfo: memFree=20264424/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=91288 CPUtime=58.69 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 31604 0 0 0 5864 5 0 0 25 0 1 0 220810338 93478912 14959 33554432000 4194304 4260849 140734887741952 18446744073709551615 4228136 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 22822 14959 252 17 0 19463 0
Current children cumulated CPU time (s) 59.47
Current children cumulated vsize (KiB) 99992

[startup+59.9004 s]
/proc/loadavg: 3.99 3.97 3.55 5/194 9382
/proc/meminfo: memFree=20264424/32951124 swapFree=67111528/67111528
[pid=9317] ppid=9315 vsize=8704 CPUtime=0.78 cores=4,6
/proc/9317/stat : 9317 (glucose.sh) S 9315 9317 8658 0 -1 4202496 360 10872 0 0 0 0 76 2 18 0 1 0 220810258 8912896 255 33554432000 4194304 4922060 140733633546048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/9317/statm: 2176 255 211 178 0 69 0
[pid=9320] ppid=9317 vsize=91288 CPUtime=59.09 cores=4,6
/proc/9320/stat : 9320 (glucose_static) R 9317 9317 8658 0 -1 4202496 31604 0 0 0 5904 5 0 0 25 0 1 0 220810338 93478912 14959 33554432000 4194304 4260849 140734887741952 18446744073709551615 4224578 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9320/statm: 22822 14959 252 17 0 19463 0
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (KiB) 99992

Child status: 20
Real time (s): 59.9473
CPU time (s): 59.9419
CPU user time (s): 59.8499
CPU system time (s): 0.091986
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 99992

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

runsolver used 0.117982 second user time and 0.217966 second system time

The end

Launcher Data

Begin job on node107 at 2011-04-25 23:16:30
IDJOB=3287930
IDBENCH=82477
IDSOLVER=1651
FILE ID=node107/3287930-1303766190
RUNJOBID= node107-1303764844-8677
PBS_JOBID= 13157153
Free space on /tmp= 71524 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3287930-1303766190/watcher-3287930-1303766190 -o /tmp/evaluation-result-3287930-1303766190/solver-3287930-1303766190 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3287930-1303766190.cnf 

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

MD5SUM BENCH= f1a7d779d46b93ce2fde4f2438e6ae5c
RANDOM SEED=933333400

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20409412 kB
Buffers:       2030860 kB
Cached:        9867844 kB
SwapCached:          0 kB
Active:        7951684 kB
Inactive:      4108032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20409412 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           59992 kB
Writeback:           0 kB
AnonPages:      161036 kB
Mapped:          15212 kB
Slab:           417404 kB
PageTables:       5792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   359788 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= 71508 MiB
End job on node107 at 2011-04-25 23:17:30