Trace number 3284802

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2? (TO) 1299.94 1300.01

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
MD5SUMf52ec4dacdcf65c3aedb61fb46ade01b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1119.56
Satisfiable
(Un)Satisfiability was proved
Number of variables153284
Number of clauses2473656
Sum of the clauses size5647736
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22387280
Number of clauses of size 36720
Number of clauses of size 431080
Number of clauses of size 513440
Number of clauses of size over 534440

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.71	c ==============================================================================
0.00/0.71	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.71	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.71	c ==============================================================================
0.00/0.71	c |         0 | 2099998  4799185 |  629999       0        0     nan |  0.000 % |
2.89/2.92	c |         0 | 1504697  3503635 |      --       0       --      -- |     --   | -35/-52
2.89/2.92	c ==============================================================================
2.89/2.92	c Result  :   #vars: 107716   #clauses: 1504697   #literals: 3503635
2.89/2.92	c CPU time:   2.81157 s
2.89/2.92	c ==============================================================================
3.48/3.54	c
3.48/3.54	c Starting glucose
3.48/3.54	c
49.77/49.85	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
49.77/49.85	c WARNING: for repeatability, setting FPU to use double precision
49.77/49.85	c ============================[ Problem Statistics ]=============================
49.77/49.85	c |                                                                             |
49.77/49.85	c |  Number of variables:        107716                                         |
49.77/49.85	c |  Number of clauses:         1504697                                         |
49.77/49.85	c |  Parse time:                   0.29 s                                       |
49.77/49.85	c |                                                                             |
49.77/49.85	c ============================[ Search Statistics ]==============================
49.77/49.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.77/49.85	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
49.77/49.85	c ===============================================================================
49.77/49.85	c |       157 |  107716  1504697  3503635 |        1      157    779 |  0.000 % |
49.77/49.85	c |       259 |  107599  1504697  3503635 |        1      258    659 |  0.109 % |
49.77/49.85	c |       359 |  107599  1504697  3503635 |        1      358    677 |  0.109 % |
49.77/49.85	c |      1457 |  107538  1504697  3503635 |        1     1454    860 |  0.165 % |
49.77/49.85	c |      1557 |  107538  1504639  3503370 |        1     1554    868 |  0.165 % |
49.77/49.85	c |      2300 |  107419  1504639  3503370 |        1     2293   1121 |  0.276 % |
49.77/49.85	c |      2400 |  107419  1504639  3503370 |        1     2393   1141 |  0.276 % |
49.77/49.85	c |      2989 |  107385  1504639  3503370 |        1     2975   1075 |  0.307 % |
49.77/49.85	c |      3089 |  107254  1504591  3503154 |        1     3074   1060 |  0.429 % |
49.77/49.85	c |      3726 |  107082  1504591  3503154 |        1     3706   1017 |  0.589 % |
49.77/49.85	c |      6800 |  106536  1504445  3502488 |        1     4774    684 |  1.095 % |
49.77/49.85	c |      6904 |  106536  1504445  3502488 |        1     4878    690 |  1.095 % |
49.77/49.85	c |      7162 |  106503  1504445  3502488 |        1     5130    710 |  1.126 % |
49.77/49.85	c |      7263 |  106503  1504257  3501621 |        1     5226    731 |  1.126 % |
49.77/49.85	c |      7796 |  106441  1504257  3501621 |        1     5750    735 |  1.184 % |
49.77/49.85	c |      9359 |  106440  1504257  3501621 |        1     7312    914 |  1.185 % |
49.77/49.85	c |      9932 |  106405  1504231  3501514 |        1     7876    887 |  1.217 % |
49.77/49.85	c |     10185 |  106405  1504231  3501514 |        1     8129    906 |  1.217 % |
49.77/49.85	c |     11166 |  106403  1504231  3501514 |        1     4838    272 |  1.219 % |
49.77/49.85	c |     11266 |  106403  1504231  3501514 |        1     4938    286 |  1.219 % |
49.77/49.85	c |     12696 |  106401  1504231  3501514 |        1     6366    410 |  1.221 % |
49.77/49.85	c |     13365 |  106398  1504222  3501474 |        1     7032    449 |  1.224 % |
49.77/49.85	c |     13802 |  106398  1504222  3501474 |        1     7469    476 |  1.224 % |
49.77/49.85	c |     13902 |  106397  1504222  3501474 |        1     7568    489 |  1.225 % |
49.77/49.85	c |     14239 |  106394  1504222  3501474 |        1     7902    498 |  1.227 % |
49.77/49.85	c |     14339 |  106394  1504222  3501474 |        1     8002    499 |  1.227 % |
49.77/49.85	c |     14439 |  106387  1504222  3501474 |        1     8101    507 |  1.234 % |
49.77/49.85	c |     14831 |  106384  1504222  3501474 |        1     8490    513 |  1.237 % |
49.77/49.85	c |     14932 |  106380  1504222  3501474 |        1     8587    514 |  1.240 % |
49.77/49.85	c |     15469 |  106332  1504220  3501466 |        1     9123    573 |  1.285 % |
49.77/49.85	c |     15570 |  106314  1504220  3501466 |        1     9219    570 |  1.302 % |
49.77/49.85	c |     15887 |  106314  1504220  3501466 |        1     9536    587 |  1.302 % |
49.77/49.85	c |     17607 |  106291  1504220  3501466 |        1    11254    943 |  1.323 % |
49.77/49.85	c |     17707 |  106291  1504220  3501466 |        1    11354    943 |  1.323 % |
49.77/49.85	c |     19240 |  106288  1504179  3501264 |        1    12881    924 |  1.326 % |
49.77/49.85	c |     20524 |  106286  1504179  3501264 |        1     7447    176 |  1.328 % |
49.77/49.85	c |     21168 |  106279  1504179  3501264 |        1     8090    246 |  1.334 % |
49.77/49.85	c |     21345 |  106278  1504179  3501264 |        1     8266    269 |  1.335 % |
49.77/49.85	c |     21690 |  106273  1504179  3501264 |        1     8610    301 |  1.340 % |
104.47/104.56	c |     23238 |  106206  1504144  3501118 |        1    10150    394 |  1.402 % |
104.47/104.56	c |     23345 |  106206  1504144  3501118 |        1    10257    405 |  1.402 % |
104.47/104.56	c |     24365 |  106204  1504144  3501118 |        1    11275    489 |  1.404 % |
104.47/104.56	c |     24468 |  106204  1504144  3501118 |        1    11378    490 |  1.404 % |
104.47/104.56	c |     24587 |  106153  1504144  3501118 |        1    11496    493 |  1.451 % |
104.47/104.56	c |     24728 |  106152  1504144  3501118 |        1    11636    499 |  1.452 % |
104.47/104.56	c |     25635 |  106151  1504144  3501118 |        1    12542    589 |  1.453 % |
104.47/104.56	c |     25737 |  106151  1504118  3501011 |        1    12644    592 |  1.453 % |
104.47/104.56	c |     25838 |  106151  1504118  3501011 |        1    12745    592 |  1.453 % |
104.47/104.56	c |     25938 |  106150  1504118  3501011 |        1    12844    590 |  1.454 % |
104.47/104.56	c |     26584 |  106150  1504118  3501011 |        1    13490    628 |  1.454 % |
104.47/104.56	c |     26690 |  106150  1504118  3501011 |        1    13596    637 |  1.454 % |
104.47/104.56	c |     27046 |  106150  1504118  3501011 |        1    13952    644 |  1.454 % |
104.47/104.56	c |     27153 |  106150  1504118  3501011 |        1    14059    643 |  1.454 % |
104.47/104.56	c |     27648 |  106149  1504118  3501011 |        1    14553    697 |  1.455 % |
104.47/104.56	c |     27748 |  106149  1504118  3501011 |        1    14653    696 |  1.455 % |
104.47/104.56	c |     28286 |  106135  1504118  3501011 |        1    15181    699 |  1.468 % |
104.47/104.56	c |     29154 |  106135  1504118  3501011 |        1    16049    771 |  1.468 % |
104.47/104.56	c |     30725 |  106134  1504118  3501011 |        1    17619    895 |  1.469 % |
104.47/104.56	c |     30825 |  106133  1504117  3501005 |        1    17718    892 |  1.470 % |
104.47/104.56	c |     31597 |  106131  1504117  3501005 |        1    18488    888 |  1.471 % |
104.47/104.56	c |     32341 |  106129  1504117  3501005 |        1     9989    281 |  1.473 % |
104.47/104.56	c |     33362 |  106129  1504117  3501005 |        1    11010    412 |  1.473 % |
104.47/104.56	c |     33675 |  106128  1504117  3501005 |        1    11322    419 |  1.474 % |
104.47/104.56	c |     33777 |  106128  1504117  3501005 |        1    11424    420 |  1.474 % |
104.47/104.56	c |     33976 |  106116  1504117  3501005 |        1    11622    422 |  1.485 % |
104.47/104.56	c |     34200 |  106115  1504117  3501005 |        1    11845    436 |  1.486 % |
104.47/104.56	c |     34493 |  106045  1504117  3501005 |        1    12135    448 |  1.551 % |
104.47/104.56	c |     34688 |  106045  1504117  3501005 |        1    12330    474 |  1.551 % |
104.47/104.56	c |     34790 |  106045  1504117  3501005 |        1    12432    486 |  1.551 % |
104.47/104.56	c |     35129 |  106043  1504117  3501005 |        1    12769    508 |  1.553 % |
104.47/104.56	c |     36216 |  106037  1504117  3501005 |        1    13851    560 |  1.559 % |
104.47/104.56	c |     36316 |  106036  1504117  3501005 |        1    13950    559 |  1.560 % |
104.47/104.56	c |     36530 |  106036  1504117  3501005 |        1    14164    562 |  1.560 % |
104.47/104.56	c |     36763 |  106035  1504117  3501005 |        1    14396    585 |  1.561 % |
104.47/104.56	c |     37419 |  106032  1504079  3500845 |        1    15043    582 |  1.563 % |
104.47/104.56	c |     37520 |  106032  1504079  3500845 |        1    15144    581 |  1.563 % |
104.47/104.56	c |     37915 |  106031  1504079  3500845 |        1    15538    595 |  1.564 % |
104.47/104.56	c |     38016 |  106031  1504079  3500845 |        1    15639    593 |  1.564 % |
104.47/104.56	c |     38857 |  106029  1504079  3500845 |        1    16478    613 |  1.566 % |
104.47/104.56	c |     39635 |  106029  1504079  3500845 |        1    17256    634 |  1.566 % |
104.47/104.56	c |     39735 |  106029  1504079  3500845 |        1    17356    633 |  1.566 % |
104.47/104.56	c |     40499 |  106026  1504079  3500845 |        1    18117    656 |  1.569 % |
104.47/104.56	c |     41263 |  106025  1504079  3500845 |        1    18880    652 |  1.570 % |
104.47/104.56	c |     42438 |  106020  1504079  3500845 |        1    20050    671 |  1.575 % |
104.47/104.56	c |     42539 |  106020  1504079  3500845 |        1    20151    671 |  1.575 % |
104.47/104.56	c |     42950 |  106020  1504079  3500845 |        1    20562    676 |  1.575 % |
104.47/104.56	c |     43051 |  106020  1504079  3500845 |        1    20663    681 |  1.575 % |
104.47/104.56	c |     43986 |  106020  1504079  3500845 |        1    21598    700 |  1.575 % |
104.47/104.56	c |     44461 |  106019  1504079  3500845 |        1    22072    712 |  1.575 % |
161.17/161.20	c |     44561 |  106019  1504079  3500845 |        1    22172    712 |  1.575 % |
161.17/161.20	c |     45065 |  105959  1504079  3500845 |        1    22674    726 |  1.631 % |
161.17/161.20	c |     45166 |  105959  1504079  3500845 |        1    22775    727 |  1.631 % |
161.17/161.20	c |     45457 |  105959  1504079  3500845 |        1    23066    731 |  1.631 % |
161.17/161.20	c |     45558 |  105959  1504079  3500845 |        1    23167    731 |  1.631 % |
161.17/161.20	c |     45658 |  105959  1504079  3500845 |        1    23267    736 |  1.631 % |
161.17/161.20	c |     46180 |  105959  1504079  3500845 |        1    12027    163 |  1.631 % |
161.17/161.20	c |     46291 |  105958  1504053  3500731 |        1    12136    166 |  1.632 % |
161.17/161.20	c |     46407 |  105958  1504053  3500731 |        1    12252    179 |  1.632 % |
161.17/161.20	c |     46527 |  105958  1504053  3500731 |        1    12372    194 |  1.632 % |
161.17/161.20	c |     47674 |  105955  1504053  3500731 |        1    13516    235 |  1.635 % |
161.17/161.20	c |     47774 |  105945  1504050  3500717 |        1    13613    239 |  1.644 % |
161.17/161.20	c |     48700 |  105941  1504050  3500717 |        1    14535    310 |  1.648 % |
161.17/161.20	c |     49551 |  105938  1504050  3500717 |        1    15383    325 |  1.651 % |
161.17/161.20	c |     49653 |  105938  1504050  3500717 |        1    15485    326 |  1.651 % |
161.17/161.20	c |     50825 |  105938  1504050  3500717 |        1    16657    366 |  1.651 % |
161.17/161.20	c |     51281 |  105937  1504050  3500717 |        1    17112    373 |  1.652 % |
161.17/161.20	c |     52412 |  105935  1504050  3500717 |        1    18241    459 |  1.653 % |
161.17/161.20	c |     52512 |  105935  1504050  3500717 |        1    18341    460 |  1.653 % |
161.17/161.20	c |     53809 |  105918  1504050  3500717 |        1    19632    495 |  1.669 % |
161.17/161.20	c |     53909 |  105917  1504050  3500717 |        1    19731    495 |  1.670 % |
161.17/161.20	c |     54335 |  105916  1504050  3500717 |        1    20156    505 |  1.671 % |
161.17/161.20	c |     56268 |  105889  1504045  3500698 |        1    22077    544 |  1.696 % |
161.17/161.20	c |     56619 |  105872  1504045  3500698 |        1    22426    558 |  1.712 % |
161.17/161.20	c |     57578 |  105760  1504045  3500698 |        1    23384    629 |  1.816 % |
161.17/161.20	c |     57681 |  105760  1504045  3500698 |        1    23487    630 |  1.816 % |
161.17/161.20	c |     57782 |  105760  1504045  3500698 |        1    23588    635 |  1.816 % |
161.17/161.20	c |     57885 |  105760  1504045  3500698 |        1    23691    641 |  1.816 % |
161.17/161.20	c |     59190 |  105742  1504045  3500698 |        1    24993    662 |  1.833 % |
161.17/161.20	c |     59617 |  105739  1503973  3500355 |        1    25412    664 |  1.835 % |
161.17/161.20	c |     59718 |  105730  1503973  3500355 |        1    25504    662 |  1.844 % |
161.17/161.20	c |     60659 |  105727  1503973  3500355 |        1    26442    735 |  1.847 % |
161.17/161.20	c |     60809 |  105727  1503973  3500355 |        1    26592    739 |  1.847 % |
161.17/161.20	c |     60912 |  105727  1503973  3500355 |        1    26695    740 |  1.847 % |
161.17/161.20	c |     62659 |  105716  1503973  3500355 |        1    28438    747 |  1.857 % |
161.17/161.20	c |     62760 |  105716  1503973  3500355 |        1    28539    747 |  1.857 % |
161.17/161.20	c |     63458 |  105716  1503973  3500355 |        1    14859    141 |  1.857 % |
161.17/161.20	c |     63558 |  105716  1503973  3500355 |        1    14959    142 |  1.857 % |
161.17/161.20	c |     63661 |  105716  1503973  3500355 |        1    15062    155 |  1.857 % |
161.17/161.20	c |     64164 |  105715  1503973  3500355 |        1    15564    183 |  1.858 % |
161.17/161.20	c |     64267 |  105715  1503973  3500355 |        1    15667    192 |  1.858 % |
161.17/161.20	c |     64367 |  105715  1503973  3500355 |        1    15767    195 |  1.858 % |
161.17/161.20	c |     64471 |  105715  1503973  3500355 |        1    15871    197 |  1.858 % |
161.17/161.20	c |     64778 |  105702  1503973  3500355 |        1    16174    207 |  1.870 % |
161.17/161.20	c |     64984 |  105699  1503973  3500355 |        1    16377    215 |  1.873 % |
161.17/161.20	c |     65086 |  105699  1503973  3500355 |        1    16479    219 |  1.873 % |
161.17/161.20	c |     66203 |  105698  1503962  3500315 |        1    17593    246 |  1.873 % |
161.17/161.20	c |     68014 |  105692  1503962  3500315 |        1    19401    305 |  1.879 % |
161.17/161.20	c |     69455 |  105580  1503961  3500310 |        1    20838    392 |  1.983 % |
161.17/161.20	c |     70283 |  105575  1503961  3500310 |        1    21663    427 |  1.988 % |
243.77/243.80	c |     70512 |  105575  1503961  3500310 |        1    21892    431 |  1.988 % |
243.77/243.80	c |     70743 |  105575  1503961  3500310 |        1    22123    466 |  1.988 % |
243.77/243.80	c |     70849 |  105575  1503961  3500310 |        1    22229    468 |  1.988 % |
243.77/243.80	c |     74292 |  105573  1503900  3500014 |        1    25668    615 |  1.989 % |
243.77/243.80	c |     78055 |  105571  1503900  3500014 |        1    29429    678 |  1.991 % |
243.77/243.80	c |     78897 |  105552  1503900  3500014 |        1    30270    703 |  2.009 % |
243.77/243.80	c |     81379 |  105486  1503890  3499968 |        1    32744    742 |  2.070 % |
243.77/243.80	c |     82469 |  105483  1503890  3499968 |        1    33833    763 |  2.073 % |
243.77/243.80	c |     82570 |  105483  1503890  3499968 |        1    33934    765 |  2.073 % |
243.77/243.80	c |     82671 |  105483  1503890  3499968 |        1    17763    125 |  2.073 % |
243.77/243.80	c |     84213 |  105482  1503890  3499968 |        1    19304    241 |  2.074 % |
243.77/243.80	c |     84726 |  105464  1503890  3499968 |        1    19815    252 |  2.091 % |
243.77/243.80	c |     86252 |  105392  1503890  3499968 |        1    21335    327 |  2.158 % |
243.77/243.80	c |     86730 |  105392  1503890  3499968 |        1    21813    342 |  2.158 % |
243.77/243.80	c |     87689 |  105390  1503890  3499968 |        1    22770    386 |  2.159 % |
243.77/243.80	c |     88396 |  105390  1503890  3499968 |        1    23477    393 |  2.159 % |
243.77/243.80	c |     88752 |  105388  1503890  3499968 |        1    23831    404 |  2.161 % |
243.77/243.80	c |     89666 |  105387  1503890  3499968 |        1    24744    421 |  2.162 % |
243.77/243.80	c |     89767 |  105387  1503819  3499651 |        1    24826    421 |  2.162 % |
243.77/243.80	c |     90305 |  105387  1503819  3499651 |        1    25364    420 |  2.162 % |
243.77/243.80	c |     90530 |  105387  1503819  3499651 |        1    25589    421 |  2.162 % |
243.77/243.80	c |     91200 |  105370  1503819  3499651 |        1    26256    449 |  2.178 % |
243.77/243.80	c |     91511 |  105369  1503819  3499651 |        1    26566    457 |  2.179 % |
243.77/243.80	c |     92124 |  105366  1503819  3499651 |        1    27177    466 |  2.182 % |
243.77/243.80	c |     92224 |  105366  1503819  3499651 |        1    27277    467 |  2.182 % |
243.77/243.80	c |     92325 |  105365  1503819  3499651 |        1    27377    467 |  2.183 % |
243.77/243.80	c |     92682 |  105365  1503819  3499651 |        1    27734    476 |  2.183 % |
243.77/243.80	c |     92784 |  105365  1503819  3499651 |        1    27836    475 |  2.183 % |
243.77/243.80	c |     93968 |  105355  1503819  3499651 |        1    29019    506 |  2.192 % |
243.77/243.80	c |     94074 |  105355  1503819  3499651 |        1    29125    513 |  2.192 % |
243.77/243.80	c |     96747 |  105353  1503809  3499607 |        1    31792    544 |  2.194 % |
243.77/243.80	c |     96862 |  105353  1503809  3499607 |        1    31907    544 |  2.194 % |
243.77/243.80	c |     96963 |  105353  1503809  3499607 |        1    32008    545 |  2.194 % |
243.77/243.80	c |     97065 |  105353  1503809  3499607 |        1    32110    547 |  2.194 % |
243.77/243.80	c |     97168 |  105353  1503809  3499607 |        1    32213    548 |  2.194 % |
243.77/243.80	c |     97470 |  105330  1503809  3499607 |        1    32513    552 |  2.215 % |
243.77/243.80	c |     97570 |  105330  1503809  3499607 |        1    32613    553 |  2.215 % |
243.77/243.80	c |     97776 |  105330  1503809  3499607 |        1    32819    564 |  2.215 % |
243.77/243.80	c |     97876 |  105330  1503809  3499607 |        1    32919    567 |  2.215 % |
243.77/243.80	c |     99915 |  105328  1503809  3499607 |        1    34956    592 |  2.217 % |
243.77/243.80	c |    100015 |  105328  1503801  3499569 |        1    35054    592 |  2.217 % |
243.77/243.80	c |    100251 |  105328  1503801  3499569 |        1    35290    602 |  2.217 % |
243.77/243.80	c |    101147 |  105318  1503801  3499569 |        1    36184    607 |  2.226 % |
243.77/243.80	c |    101644 |  105314  1503801  3499569 |        1    36678    614 |  2.230 % |
243.77/243.80	c |    101745 |  105314  1503801  3499569 |        1    36779    616 |  2.230 % |
243.77/243.80	c |    101846 |  105314  1503801  3499569 |        1    36880    617 |  2.230 % |
243.77/243.80	c |    102425 |  105314  1503801  3499569 |        1    37459    636 |  2.230 % |
243.77/243.80	c |    102525 |  105313  1503801  3499569 |        1    37558    636 |  2.231 % |
243.77/243.80	c |    104048 |  105310  1503801  3499569 |        1    39078    688 |  2.234 % |
243.77/243.80	c |    104148 |  105308  1503801  3499569 |        1    39177    689 |  2.236 % |
314.37/314.46	c |    104804 |  105308  1503801  3499569 |        1    39833    696 |  2.236 % |
314.37/314.46	c |    104905 |  105308  1503801  3499569 |        1    21866    141 |  2.236 % |
314.37/314.46	c |    106278 |  105306  1503801  3499569 |        1    23237    171 |  2.237 % |
314.37/314.46	c |    106816 |  105305  1503801  3499569 |        1    23774    188 |  2.238 % |
314.37/314.46	c |    107189 |  105305  1503801  3499569 |        1    24147    203 |  2.238 % |
314.37/314.46	c |    107508 |  105305  1503801  3499569 |        1    24466    216 |  2.238 % |
314.37/314.46	c |    107608 |  105305  1503801  3499569 |        1    24566    216 |  2.238 % |
314.37/314.46	c |    108882 |  105305  1503801  3499569 |        1    25840    254 |  2.238 % |
314.37/314.46	c |    110110 |  105304  1503794  3499542 |        1    27065    295 |  2.239 % |
314.37/314.46	c |    110214 |  105304  1503794  3499542 |        1    27169    296 |  2.239 % |
314.37/314.46	c |    110946 |  105238  1503794  3499542 |        1    27896    327 |  2.300 % |
314.37/314.46	c |    111210 |  105238  1503794  3499542 |        1    28160    330 |  2.300 % |
314.37/314.46	c |    111314 |  105237  1503794  3499542 |        1    28263    331 |  2.301 % |
314.37/314.46	c |    111667 |  105237  1503794  3499542 |        1    28616    335 |  2.301 % |
314.37/314.46	c |    111769 |  105237  1503794  3499542 |        1    28718    337 |  2.301 % |
314.37/314.46	c |    113476 |  105233  1503794  3499542 |        1    30424    390 |  2.305 % |
314.37/314.46	c |    113576 |  105233  1503762  3499391 |        1    30520    398 |  2.305 % |
314.37/314.46	c |    114121 |  105229  1503762  3499391 |        1    31063    409 |  2.309 % |
314.37/314.46	c |    114333 |  105229  1503762  3499391 |        1    31275    411 |  2.309 % |
314.37/314.46	c |    114579 |  105228  1503762  3499391 |        1    31520    419 |  2.310 % |
314.37/314.46	c |    114703 |  105228  1503762  3499391 |        1    31644    420 |  2.310 % |
314.37/314.46	c |    115043 |  105226  1503762  3499391 |        1    31982    424 |  2.312 % |
314.37/314.46	c |    115296 |  105225  1503762  3499391 |        1    32234    429 |  2.313 % |
314.37/314.46	c |    115397 |  105224  1503762  3499391 |        1    32334    431 |  2.313 % |
314.37/314.46	c |    115782 |  105223  1503762  3499391 |        1    32718    429 |  2.314 % |
314.37/314.46	c |    119482 |  105218  1503760  3499384 |        1    36409    633 |  2.319 % |
314.37/314.46	c |    119583 |  105215  1503760  3499384 |        1    36507    634 |  2.322 % |
314.37/314.46	c |    119933 |  105213  1503760  3499384 |        1    36855    636 |  2.324 % |
314.37/314.46	c |    122249 |  105207  1503760  3499384 |        1    39169    669 |  2.329 % |
314.37/314.46	c |    122350 |  105204  1503760  3499384 |        1    39269    669 |  2.332 % |
314.37/314.46	c |    122467 |  105204  1503760  3499384 |        1    39386    670 |  2.332 % |
314.37/314.46	c |    123067 |  105202  1503760  3499384 |        1    39984    680 |  2.334 % |
314.37/314.46	c |    124690 |  105169  1503760  3499384 |        1    41602    736 |  2.365 % |
314.37/314.46	c |    125015 |  105168  1503760  3499384 |        1    41926    736 |  2.365 % |
314.37/314.46	c |    125247 |  105166  1503760  3499384 |        1    42156    736 |  2.367 % |
314.37/314.46	c |    125679 |  105165  1503760  3499384 |        1    42587    739 |  2.368 % |
314.37/314.46	c |    126348 |  105164  1503760  3499384 |        1    43255    741 |  2.369 % |
314.37/314.46	c |    126685 |  105163  1503760  3499384 |        1    43591    754 |  2.370 % |
314.37/314.46	c |    126786 |  105163  1503760  3499384 |        1    43692    754 |  2.370 % |
314.37/314.46	c |    126921 |  105163  1503760  3499384 |        1    43827    754 |  2.370 % |
314.37/314.46	c |    127334 |  105162  1503760  3499384 |        1    44239    759 |  2.371 % |
314.37/314.46	c |    128577 |  105158  1503760  3499384 |        1    45479    762 |  2.375 % |
314.37/314.46	c |    128677 |  105158  1503740  3499297 |        1    45563    765 |  2.375 % |
314.37/314.46	c |    128926 |  105158  1503740  3499297 |        1    45812    769 |  2.375 % |
314.37/314.46	c |    129930 |  105157  1503740  3499297 |        1    26465    164 |  2.376 % |
314.37/314.46	c |    130032 |  105157  1503740  3499297 |        1    26567    166 |  2.376 % |
314.37/314.46	c |    130733 |  105157  1503740  3499297 |        1    27268    202 |  2.376 % |
314.37/314.46	c |    131640 |  105154  1503740  3499297 |        1    28172    231 |  2.378 % |
314.37/314.46	c |    132145 |  105143  1503740  3499297 |        1    28674    246 |  2.389 % |
314.37/314.46	c |    132265 |  105143  1503740  3499297 |        1    28794    257 |  2.389 % |
409.97/410.05	c |    132365 |  105143  1503740  3499297 |        1    28894    263 |  2.389 % |
409.97/410.05	c |    132500 |  105142  1503740  3499297 |        1    29028    265 |  2.390 % |
409.97/410.05	c |    132708 |  105142  1503740  3499297 |        1    29236    268 |  2.390 % |
409.97/410.05	c |    132808 |  105142  1503740  3499297 |        1    29336    269 |  2.390 % |
409.97/410.05	c |    133093 |  105142  1503740  3499297 |        1    29621    285 |  2.390 % |
409.97/410.05	c |    134936 |  105142  1503740  3499297 |        1    31464    367 |  2.390 % |
409.97/410.05	c |    136395 |  105142  1503740  3499297 |        1    32923    392 |  2.390 % |
409.97/410.05	c |    136496 |  105141  1503740  3499297 |        1    33023    393 |  2.391 % |
409.97/410.05	c |    137391 |  105140  1503740  3499297 |        1    33917    406 |  2.391 % |
409.97/410.05	c |    138835 |  105139  1503740  3499297 |        1    35360    432 |  2.392 % |
409.97/410.05	c |    139022 |  105139  1503740  3499297 |        1    35547    433 |  2.392 % |
409.97/410.05	c |    139446 |  105127  1503740  3499297 |        1    35968    440 |  2.404 % |
409.97/410.05	c |    139548 |  105127  1503740  3499297 |        1    36070    440 |  2.404 % |
409.97/410.05	c |    140112 |  105127  1503740  3499297 |        1    36634    470 |  2.404 % |
409.97/410.05	c |    140212 |  105127  1503740  3499297 |        1    36734    473 |  2.404 % |
409.97/410.05	c |    142210 |  104923  1503674  3498983 |        1    38721    524 |  2.593 % |
409.97/410.05	c |    142311 |  104923  1503674  3498983 |        1    38822    524 |  2.593 % |
409.97/410.05	c |    142866 |  104923  1503674  3498983 |        1    39377    528 |  2.593 % |
409.97/410.05	c |    143395 |  104893  1503674  3498983 |        1    39905    543 |  2.621 % |
409.97/410.05	c |    143495 |  104893  1503674  3498983 |        1    40005    543 |  2.621 % |
409.97/410.05	c |    144274 |  104892  1503674  3498983 |        1    40783    565 |  2.622 % |
409.97/410.05	c |    144376 |  104883  1503674  3498983 |        1    40882    566 |  2.630 % |
409.97/410.05	c |    144476 |  104883  1503674  3498983 |        1    40982    570 |  2.630 % |
409.97/410.05	c |    146351 |  104880  1503674  3498983 |        1    42854    616 |  2.633 % |
409.97/410.05	c |    148315 |  104878  1503674  3498983 |        1    44816    661 |  2.635 % |
409.97/410.05	c |    148606 |  104878  1503602  3498652 |        1    45100    663 |  2.635 % |
409.97/410.05	c |    150736 |  104872  1503602  3498652 |        1    47227    668 |  2.640 % |
409.97/410.05	c |    151326 |  104872  1503602  3498652 |        1    47817    674 |  2.640 % |
409.97/410.05	c |    151920 |  104860  1503602  3498652 |        1    48405    691 |  2.651 % |
409.97/410.05	c |    152021 |  104859  1503602  3498652 |        1    48505    693 |  2.652 % |
409.97/410.05	c |    152899 |  104822  1503602  3498652 |        1    49382    701 |  2.687 % |
409.97/410.05	c |    153001 |  104822  1503602  3498652 |        1    49484    703 |  2.687 % |
409.97/410.05	c |    153101 |  104822  1503602  3498652 |        1    49584    703 |  2.687 % |
409.97/410.05	c |    153357 |  104822  1503602  3498652 |        1    49840    703 |  2.687 % |
409.97/410.05	c |    153463 |  104822  1503602  3498652 |        1    49946    704 |  2.687 % |
409.97/410.05	c |    153563 |  104822  1503602  3498652 |        1    50046    703 |  2.687 % |
409.97/410.05	c |    154105 |  104818  1503602  3498652 |        1    50586    716 |  2.690 % |
409.97/410.05	c |    155753 |  104810  1503602  3498652 |        1    52230    722 |  2.698 % |
409.97/410.05	c |    156266 |  104810  1503602  3498652 |        1    52743    724 |  2.698 % |
409.97/410.05	c |    156643 |  104787  1503602  3498652 |        1    53118    732 |  2.719 % |
409.97/410.05	c |    156743 |  104787  1503602  3498652 |        1    53218    732 |  2.719 % |
409.97/410.05	c |    158607 |  104787  1503602  3498652 |        1    31455    282 |  2.719 % |
409.97/410.05	c |    158709 |  104787  1503602  3498652 |        1    31557    285 |  2.719 % |
409.97/410.05	c |    159611 |  104786  1503602  3498652 |        1    32458    311 |  2.720 % |
409.97/410.05	c |    162540 |  104785  1503569  3498509 |        1    35382    533 |  2.721 % |
409.97/410.05	c |    162642 |  104785  1503569  3498509 |        1    35484    533 |  2.721 % |
409.97/410.05	c |    162742 |  104785  1503569  3498509 |        1    35584    533 |  2.721 % |
409.97/410.05	c |    163894 |  104775  1503569  3498509 |        1    36735    598 |  2.730 % |
409.97/410.05	c |    163995 |  104775  1503569  3498509 |        1    36836    601 |  2.730 % |
409.97/410.05	c |    164095 |  104775  1503569  3498509 |        1    36936    615 |  2.730 % |
462.57/462.62	c |    164197 |  104775  1503569  3498509 |        1    37038    617 |  2.730 % |
462.57/462.62	c |    164546 |  104775  1503569  3498509 |        1    37387    635 |  2.730 % |
462.57/462.62	c |    164647 |  104775  1503569  3498509 |        1    37488    635 |  2.730 % |
462.57/462.62	c |    164747 |  104726  1503569  3498509 |        1    37586    636 |  2.776 % |
462.57/462.62	c |    164848 |  104724  1503535  3498355 |        1    37682    635 |  2.778 % |
462.57/462.62	c |    165056 |  104724  1503535  3498355 |        1    37890    638 |  2.778 % |
462.57/462.62	c |    165675 |  104723  1503535  3498355 |        1    38508    642 |  2.779 % |
462.57/462.62	c |    165775 |  104716  1503535  3498355 |        1    38606    642 |  2.785 % |
462.57/462.62	c |    167056 |  104713  1503535  3498355 |        1    39886    707 |  2.788 % |
462.57/462.62	c |    167156 |  104713  1503535  3498355 |        1    39986    708 |  2.788 % |
462.57/462.62	c |    167258 |  104713  1503535  3498355 |        1    40088    708 |  2.788 % |
462.57/462.62	c |    167358 |  104713  1503535  3498355 |        1    40188    708 |  2.788 % |
462.57/462.62	c |    167645 |  104713  1503535  3498355 |        1    40475    714 |  2.788 % |
462.57/462.62	c |    168150 |  104713  1503535  3498355 |        1    40980    716 |  2.788 % |
462.57/462.62	c |    168250 |  104712  1503535  3498355 |        1    41079    717 |  2.789 % |
462.57/462.62	c |    168354 |  104712  1503535  3498355 |        1    41183    717 |  2.789 % |
462.57/462.62	c |    168496 |  104712  1503535  3498355 |        1    41325    719 |  2.789 % |
462.57/462.62	c |    169358 |  104711  1503535  3498355 |        1    42186    727 |  2.790 % |
462.57/462.62	c |    169461 |  104711  1503535  3498355 |        1    42289    727 |  2.790 % |
462.57/462.62	c |    170290 |  104711  1503535  3498355 |        1    43118    733 |  2.790 % |
462.57/462.62	c |    170730 |  104711  1503535  3498355 |        1    43558    734 |  2.790 % |
462.57/462.62	c |    170885 |  104711  1503535  3498355 |        1    43713    738 |  2.790 % |
462.57/462.62	c |    171219 |  104711  1503535  3498355 |        1    44047    737 |  2.790 % |
462.57/462.62	c |    171394 |  104710  1503535  3498355 |        1    44221    740 |  2.791 % |
462.57/462.62	c |    173321 |  104707  1503535  3498355 |        1    46145    750 |  2.793 % |
462.57/462.62	c |    173611 |  104707  1503535  3498355 |        1    46435    755 |  2.793 % |
462.57/462.62	c |    173713 |  104707  1503535  3498355 |        1    46537    756 |  2.793 % |
462.57/462.62	c |    173820 |  104707  1503535  3498355 |        1    46644    756 |  2.793 % |
462.57/462.62	c |    173921 |  104707  1503535  3498355 |        1    46745    755 |  2.793 % |
462.57/462.62	c |    174357 |  104705  1503530  3498334 |        1    47178    756 |  2.795 % |
462.57/462.62	c |    174457 |  104703  1503530  3498334 |        1    47276    758 |  2.797 % |
462.57/462.62	c |    176262 |  104703  1503530  3498334 |        1    49081    757 |  2.797 % |
462.57/462.62	c |    176500 |  104696  1503530  3498334 |        1    49318    756 |  2.804 % |
462.57/462.62	c |    178948 |  104614  1503530  3498334 |        1    51765    796 |  2.880 % |
462.57/462.62	c |    179231 |  104613  1503530  3498334 |        1    52047    800 |  2.881 % |
462.57/462.62	c |    179533 |  104613  1503530  3498334 |        1    52349    801 |  2.881 % |
462.57/462.62	c |    179921 |  104613  1503530  3498334 |        1    52737    799 |  2.881 % |
462.57/462.62	c |    180592 |  104612  1503530  3498334 |        1    53407    807 |  2.882 % |
462.57/462.62	c |    180697 |  104612  1503530  3498334 |        1    53512    807 |  2.882 % |
462.57/462.62	c |    180797 |  104612  1503530  3498334 |        1    53612    807 |  2.882 % |
462.57/462.62	c |    184484 |  104610  1503530  3498334 |        1    57297    844 |  2.884 % |
462.57/462.62	c |    184795 |  104610  1503530  3498334 |        1    57608    843 |  2.884 % |
462.57/462.62	c |    185069 |  104610  1503530  3498334 |        1    57882    851 |  2.884 % |
462.57/462.62	c |    185170 |  104609  1503530  3498334 |        1    57982    850 |  2.884 % |
462.57/462.62	c |    186103 |  104609  1503530  3498334 |        1    58915    859 |  2.884 % |
462.57/462.62	c |    186203 |  104609  1503530  3498334 |        1    59015    859 |  2.884 % |
462.57/462.62	c |    186318 |  104609  1503530  3498334 |        1    59130    861 |  2.884 % |
462.57/462.62	c |    186420 |  104604  1503530  3498334 |        1    59231    862 |  2.889 % |
462.57/462.62	c |    186521 |  104604  1503530  3498334 |        1    59332    861 |  2.889 % |
557.56/557.68	c |    186645 |  104604  1503530  3498334 |        1    59456    863 |  2.889 % |
557.56/557.68	c |    187238 |  104604  1503494  3498181 |        1    34662    130 |  2.889 % |
557.56/557.68	c |    187338 |  104604  1503494  3498181 |        1    34762    132 |  2.889 % |
557.56/557.68	c |    187550 |  104604  1503494  3498181 |        1    34974    136 |  2.889 % |
557.56/557.68	c |    187651 |  104604  1503494  3498181 |        1    35075    138 |  2.889 % |
557.56/557.68	c |    188763 |  104603  1503494  3498181 |        1    36186    168 |  2.890 % |
557.56/557.68	c |    188930 |  104603  1503494  3498181 |        1    36353    171 |  2.890 % |
557.56/557.68	c |    189383 |  104602  1503494  3498181 |        1    36805    187 |  2.891 % |
557.56/557.68	c |    190322 |  104602  1503494  3498181 |        1    37744    235 |  2.891 % |
557.56/557.68	c |    190806 |  104601  1503494  3498181 |        1    38227    247 |  2.892 % |
557.56/557.68	c |    191104 |  104588  1503494  3498181 |        1    38519    255 |  2.904 % |
557.56/557.68	c |    191205 |  104588  1503494  3498181 |        1    38620    257 |  2.904 % |
557.56/557.68	c |    191317 |  104588  1503494  3498181 |        1    38732    268 |  2.904 % |
557.56/557.68	c |    191418 |  104588  1503494  3498181 |        1    38833    268 |  2.904 % |
557.56/557.68	c |    194171 |  104588  1503494  3498181 |        1    41586    309 |  2.904 % |
557.56/557.68	c |    194417 |  104581  1503494  3498181 |        1    41831    315 |  2.910 % |
557.56/557.68	c |    195149 |  104549  1503494  3498181 |        1    42561    334 |  2.940 % |
557.56/557.68	c |    195478 |  104549  1503494  3498181 |        1    42890    341 |  2.940 % |
557.56/557.68	c |    195991 |  104539  1503494  3498181 |        1    43401    348 |  2.949 % |
557.56/557.68	c |    198727 |  104495  1503494  3498181 |        1    46134    434 |  2.990 % |
557.56/557.68	c |    198827 |  104495  1503494  3498181 |        1    46234    435 |  2.990 % |
557.56/557.68	c |    201037 |  104490  1503494  3498181 |        1    48443    454 |  2.995 % |
557.56/557.68	c |    201138 |  104490  1503494  3498181 |        1    48544    457 |  2.995 % |
557.56/557.68	c |    202365 |  104489  1503494  3498181 |        1    49770    468 |  2.996 % |
557.56/557.68	c |    202987 |  104489  1503494  3498181 |        1    50392    483 |  2.996 % |
557.56/557.68	c |    203088 |  104489  1503494  3498181 |        1    50493    483 |  2.996 % |
557.56/557.68	c |    204633 |  104489  1503494  3498181 |        1    52038    516 |  2.996 % |
557.56/557.68	c |    205219 |  104489  1503494  3498181 |        1    52624    517 |  2.996 % |
557.56/557.68	c |    205448 |  104489  1503445  3497948 |        1    52836    521 |  2.996 % |
557.56/557.68	c |    205554 |  104489  1503445  3497948 |        1    52942    521 |  2.996 % |
557.56/557.68	c |    206630 |  104487  1503445  3497948 |        1    54016    524 |  2.998 % |
557.56/557.68	c |    207042 |  104487  1503445  3497948 |        1    54428    525 |  2.998 % |
557.56/557.68	c |    207143 |  104487  1503445  3497948 |        1    54529    524 |  2.998 % |
557.56/557.68	c |    207246 |  104487  1503445  3497948 |        1    54632    528 |  2.998 % |
557.56/557.68	c |    207346 |  104487  1503445  3497948 |        1    54732    528 |  2.998 % |
557.56/557.68	c |    208311 |  104487  1503445  3497948 |        1    55697    608 |  2.998 % |
557.56/557.68	c |    208414 |  104487  1503445  3497948 |        1    55800    612 |  2.998 % |
557.56/557.68	c |    208891 |  104486  1503445  3497948 |        1    56276    615 |  2.999 % |
557.56/557.68	c |    208991 |  104486  1503445  3497948 |        1    56376    615 |  2.999 % |
557.56/557.68	c |    209519 |  104484  1503445  3497948 |        1    56902    615 |  3.000 % |
557.56/557.68	c |    209623 |  104484  1503445  3497948 |        1    57006    619 |  3.000 % |
557.56/557.68	c |    210057 |  104483  1503445  3497948 |        1    57439    620 |  3.001 % |
557.56/557.68	c |    210233 |  104483  1503445  3497948 |        1    57615    620 |  3.001 % |
557.56/557.68	c |    210960 |  104482  1503445  3497948 |        1    58341    632 |  3.002 % |
557.56/557.68	c |    211635 |  104467  1503445  3497948 |        1    59015    635 |  3.016 % |
557.56/557.68	c |    211735 |  104467  1503445  3497948 |        1    59115    636 |  3.016 % |
557.56/557.68	c |    216654 |  104465  1503445  3497948 |        1    64032    802 |  3.018 % |
557.56/557.68	c |    216894 |  104465  1503445  3497948 |        1    64272    800 |  3.018 % |
557.56/557.68	c |    216997 |  104465  1503437  3497911 |        1    64373    801 |  3.018 % |
557.56/557.68	c |    218026 |  104462  1503437  3497911 |        1    65399    812 |  3.021 % |
674.26/674.38	c |    218656 |  104462  1503437  3497911 |        1    66029    811 |  3.021 % |
674.26/674.38	c |    219071 |  104461  1503437  3497911 |        1    66443    813 |  3.022 % |
674.26/674.38	c |    219252 |  104461  1503437  3497911 |        1    66624    815 |  3.022 % |
674.26/674.38	c |    220088 |  104454  1503437  3497911 |        1    39707    149 |  3.028 % |
674.26/674.38	c |    220273 |  104453  1503437  3497911 |        1    39891    156 |  3.029 % |
674.26/674.38	c |    220376 |  104453  1503437  3497911 |        1    39994    158 |  3.029 % |
674.26/674.38	c |    220868 |  104453  1503437  3497911 |        1    40486    179 |  3.029 % |
674.26/674.38	c |    220968 |  104453  1503437  3497911 |        1    40586    180 |  3.029 % |
674.26/674.38	c |    221100 |  104452  1503437  3497911 |        1    40717    182 |  3.030 % |
674.26/674.38	c |    221739 |  104450  1503437  3497911 |        1    41354    194 |  3.032 % |
674.26/674.38	c |    221842 |  104450  1503437  3497911 |        1    41457    198 |  3.032 % |
674.26/674.38	c |    221945 |  104450  1503437  3497911 |        1    41560    206 |  3.032 % |
674.26/674.38	c |    223206 |  104450  1503437  3497911 |        1    42821    225 |  3.032 % |
674.26/674.38	c |    223795 |  104449  1503437  3497911 |        1    43409    240 |  3.033 % |
674.26/674.38	c |    223895 |  104445  1503437  3497911 |        1    43508    241 |  3.037 % |
674.26/674.38	c |    228268 |  104440  1503437  3497911 |        1    47877    418 |  3.041 % |
674.26/674.38	c |    228369 |  104439  1503437  3497911 |        1    47977    418 |  3.042 % |
674.26/674.38	c |    228472 |  104439  1503437  3497911 |        1    48080    421 |  3.042 % |
674.26/674.38	c |    229123 |  104439  1503437  3497911 |        1    48731    436 |  3.042 % |
674.26/674.38	c |    229238 |  104439  1503437  3497911 |        1    48846    436 |  3.042 % |
674.26/674.38	c |    229358 |  104439  1503437  3497911 |        1    48966    437 |  3.042 % |
674.26/674.38	c |    229604 |  104438  1503437  3497911 |        1    49211    438 |  3.043 % |
674.26/674.38	c |    229885 |  104438  1503437  3497911 |        1    49492    440 |  3.043 % |
674.26/674.38	c |    234993 |  104436  1503437  3497911 |        1    54598    582 |  3.045 % |
674.26/674.38	c |    235104 |  104436  1503437  3497911 |        1    54709    582 |  3.045 % |
674.26/674.38	c |    235204 |  104436  1503437  3497911 |        1    54809    582 |  3.045 % |
674.26/674.38	c |    235960 |  104435  1503433  3497896 |        1    55561    594 |  3.046 % |
674.26/674.38	c |    237238 |  104434  1503433  3497896 |        1    56838    601 |  3.047 % |
674.26/674.38	c |    239068 |  104425  1503433  3497896 |        1    58666    678 |  3.055 % |
674.26/674.38	c |    239295 |  104424  1503433  3497896 |        1    58892    679 |  3.056 % |
674.26/674.38	c |    239642 |  104424  1503433  3497896 |        1    59239    686 |  3.056 % |
674.26/674.38	c |    239742 |  104424  1503433  3497896 |        1    59339    689 |  3.056 % |
674.26/674.38	c |    239842 |  104424  1503433  3497896 |        1    59439    691 |  3.056 % |
674.26/674.38	c |    239942 |  104424  1503433  3497896 |        1    59539    691 |  3.056 % |
674.26/674.38	c |    240042 |  104424  1503433  3497896 |        1    59639    692 |  3.056 % |
674.26/674.38	c |    240144 |  104424  1503433  3497896 |        1    59741    694 |  3.056 % |
674.26/674.38	c |    240672 |  104424  1503433  3497896 |        1    60269    692 |  3.056 % |
674.26/674.38	c |    240773 |  104424  1503433  3497896 |        1    60370    694 |  3.056 % |
674.26/674.38	c |    244805 |  104407  1503433  3497896 |        1    64398    735 |  3.072 % |
674.26/674.38	c |    244905 |  104407  1503433  3497896 |        1    64498    736 |  3.072 % |
674.26/674.38	c |    245006 |  104407  1503433  3497896 |        1    64599    739 |  3.072 % |
674.26/674.38	c |    245106 |  104407  1503433  3497896 |        1    64699    740 |  3.072 % |
674.26/674.38	c |    245206 |  104407  1503433  3497896 |        1    64799    740 |  3.072 % |
674.26/674.38	c |    247477 |  104406  1503433  3497896 |        1    67069    760 |  3.073 % |
674.26/674.38	c |    247945 |  104406  1503423  3497853 |        1    67535    760 |  3.073 % |
674.26/674.38	c |    250510 |  104406  1503423  3497853 |        1    70100    837 |  3.073 % |
674.26/674.38	c |    250700 |  104406  1503423  3497853 |        1    70290    836 |  3.073 % |
674.26/674.38	c |    250914 |  104402  1503423  3497853 |        1    70503    836 |  3.077 % |
674.26/674.38	c |    251928 |  104401  1503423  3497853 |        1    71516    840 |  3.078 % |
674.26/674.38	c |    254277 |  104399  1503423  3497853 |        1    73863    868 |  3.079 % |
770.64/770.77	c |    254377 |  104399  1503423  3497853 |        1    73963    869 |  3.079 % |
770.64/770.77	c |    254945 |  104397  1503423  3497853 |        1    44295    134 |  3.081 % |
770.64/770.77	c |    255701 |  104397  1503423  3497853 |        1    45051    145 |  3.081 % |
770.64/770.77	c |    255802 |  104397  1503423  3497853 |        1    45152    150 |  3.081 % |
770.64/770.77	c |    255903 |  104397  1503423  3497853 |        1    45253    150 |  3.081 % |
770.64/770.77	c |    256003 |  104397  1503423  3497853 |        1    45353    151 |  3.081 % |
770.64/770.77	c |    256960 |  104396  1503423  3497853 |        1    46309    174 |  3.082 % |
770.64/770.77	c |    257205 |  104396  1503423  3497853 |        1    46554    175 |  3.082 % |
770.64/770.77	c |    258651 |  104370  1503423  3497853 |        1    47998    204 |  3.106 % |
770.64/770.77	c |    258752 |  104370  1503423  3497853 |        1    48099    207 |  3.106 % |
770.64/770.77	c |    261872 |  104347  1503423  3497853 |        1    51218    366 |  3.128 % |
770.64/770.77	c |    263605 |  104347  1503423  3497853 |        1    52951    398 |  3.128 % |
770.64/770.77	c |    263781 |  104347  1503423  3497853 |        1    53127    399 |  3.128 % |
770.64/770.77	c |    263901 |  104347  1503423  3497853 |        1    53247    399 |  3.128 % |
770.64/770.77	c |    266042 |  104347  1503423  3497853 |        1    55388    441 |  3.128 % |
770.64/770.77	c |    266144 |  104347  1503423  3497853 |        1    55490    441 |  3.128 % |
770.64/770.77	c |    266625 |  104346  1503423  3497853 |        1    55970    445 |  3.129 % |
770.64/770.77	c |    267015 |  104346  1503423  3497853 |        1    56360    446 |  3.129 % |
770.64/770.77	c |    267115 |  104346  1503423  3497853 |        1    56460    447 |  3.129 % |
770.64/770.77	c |    267617 |  104346  1503423  3497853 |        1    56962    455 |  3.129 % |
770.64/770.77	c |    268494 |  104336  1503397  3497703 |        1    57830    461 |  3.138 % |
770.64/770.77	c |    268594 |  104336  1503397  3497703 |        1    57930    461 |  3.138 % |
770.64/770.77	c |    269946 |  104336  1503397  3497703 |        1    59282    506 |  3.138 % |
770.64/770.77	c |    273386 |  104334  1503397  3497703 |        1    62720    584 |  3.140 % |
770.64/770.77	c |    275201 |  104333  1503397  3497703 |        1    64534    602 |  3.141 % |
770.64/770.77	c |    275305 |  104333  1503397  3497703 |        1    64638    603 |  3.141 % |
770.64/770.77	c |    275712 |  104333  1503397  3497703 |        1    65045    606 |  3.141 % |
770.64/770.77	c |    276751 |  104331  1503397  3497703 |        1    66082    611 |  3.143 % |
770.64/770.77	c |    276851 |  104331  1503397  3497703 |        1    66182    612 |  3.143 % |
770.64/770.77	c |    277045 |  104331  1503397  3497703 |        1    66376    614 |  3.143 % |
770.64/770.77	c |    277975 |  104327  1503393  3497684 |        1    67303    621 |  3.146 % |
770.64/770.77	c |    278768 |  104318  1503393  3497684 |        1    68094    648 |  3.155 % |
770.64/770.77	c |    278868 |  104318  1503393  3497684 |        1    68194    648 |  3.155 % |
770.64/770.77	c |    279864 |  104318  1503393  3497684 |        1    69190    658 |  3.155 % |
770.64/770.77	c |    281524 |  104317  1503393  3497684 |        1    70849    676 |  3.156 % |
770.64/770.77	c |    281625 |  104317  1503393  3497684 |        1    70950    676 |  3.156 % |
770.64/770.77	c |    281727 |  104317  1503393  3497684 |        1    71052    676 |  3.156 % |
770.64/770.77	c |    281999 |  104313  1503393  3497684 |        1    71322    677 |  3.159 % |
770.64/770.77	c |    283163 |  104313  1503393  3497684 |        1    72486    681 |  3.159 % |
770.64/770.77	c |    284818 |  104313  1503393  3497684 |        1    74141    697 |  3.159 % |
770.64/770.77	c |    284918 |  104313  1503393  3497684 |        1    74241    697 |  3.159 % |
770.64/770.77	c |    285406 |  104313  1503393  3497684 |        1    74729    704 |  3.159 % |
770.64/770.77	c |    285542 |  104313  1503393  3497684 |        1    74865    705 |  3.159 % |
770.64/770.77	c |    285642 |  104313  1503393  3497684 |        1    74965    704 |  3.159 % |
770.64/770.77	c |    286524 |  104313  1503393  3497684 |        1    75847    703 |  3.159 % |
770.64/770.77	c |    286978 |  104313  1503393  3497684 |        1    76301    707 |  3.159 % |
770.64/770.77	c |    287078 |  104313  1503393  3497684 |        1    76401    707 |  3.159 % |
770.64/770.77	c |    287695 |  104307  1503393  3497684 |        1    77017    723 |  3.165 % |
770.64/770.77	c |    287940 |  104307  1503393  3497684 |        1    77262    725 |  3.165 % |
770.64/770.77	c |    288040 |  104307  1503393  3497684 |        1    77362    725 |  3.165 % |
847.84/847.92	c |    288467 |  104307  1503393  3497684 |        1    77789    731 |  3.165 % |
847.84/847.92	c |    288568 |  104307  1503393  3497684 |        1    77890    732 |  3.165 % |
847.84/847.92	c |    288679 |  104307  1503393  3497684 |        1    78001    733 |  3.165 % |
847.84/847.92	c |    288784 |  104306  1503393  3497684 |        1    78105    734 |  3.166 % |
847.84/847.92	c |    288885 |  104306  1503393  3497684 |        1    78206    735 |  3.166 % |
847.84/847.92	c |    288987 |  104306  1503393  3497684 |        1    78308    735 |  3.166 % |
847.84/847.92	c |    289088 |  104251  1503393  3497684 |        1    78408    735 |  3.217 % |
847.84/847.92	c |    289382 |  104250  1503393  3497684 |        1    78701    735 |  3.218 % |
847.84/847.92	c |    289641 |  104249  1503393  3497684 |        1    78959    737 |  3.219 % |
847.84/847.92	c |    289741 |  104249  1503393  3497684 |        1    79059    737 |  3.219 % |
847.84/847.92	c |    289944 |  104249  1503393  3497684 |        1    79262    739 |  3.219 % |
847.84/847.92	c |    290046 |  104249  1503393  3497684 |        1    79364    739 |  3.219 % |
847.84/847.92	c |    290438 |  104249  1503393  3497684 |        1    79756    740 |  3.219 % |
847.84/847.92	c |    290700 |  104231  1503393  3497684 |        1    80017    739 |  3.235 % |
847.84/847.92	c |    291459 |  104231  1503393  3497684 |        1    80776    741 |  3.235 % |
847.84/847.92	c |    292641 |  104230  1503342  3497477 |        1    49110    127 |  3.236 % |
847.84/847.92	c |    292742 |  104230  1503342  3497477 |        1    49211    133 |  3.236 % |
847.84/847.92	c |    294431 |  104228  1503342  3497477 |        1    50898    230 |  3.238 % |
847.84/847.92	c |    294535 |  104228  1503342  3497477 |        1    51002    233 |  3.238 % |
847.84/847.92	c |    294635 |  104228  1503342  3497477 |        1    51102    235 |  3.238 % |
847.84/847.92	c |    295260 |  104228  1503342  3497477 |        1    51727    249 |  3.238 % |
847.84/847.92	c |    295472 |  104228  1503342  3497477 |        1    51939    249 |  3.238 % |
847.84/847.92	c |    295835 |  104183  1503342  3497477 |        1    52301    255 |  3.280 % |
847.84/847.92	c |    296244 |  104161  1503342  3497477 |        1    52708    258 |  3.300 % |
847.84/847.92	c |    296434 |  104160  1503342  3497477 |        1    52897    264 |  3.301 % |
847.84/847.92	c |    296534 |  104160  1503342  3497477 |        1    52997    267 |  3.301 % |
847.84/847.92	c |    296634 |  104160  1503342  3497477 |        1    53097    269 |  3.301 % |
847.84/847.92	c |    297068 |  104135  1503342  3497477 |        1    53529    278 |  3.324 % |
847.84/847.92	c |    297899 |  104135  1503342  3497477 |        1    54360    287 |  3.324 % |
847.84/847.92	c |    299583 |  104134  1503342  3497477 |        1    56043    324 |  3.325 % |
847.84/847.92	c |    299955 |  104134  1503342  3497477 |        1    56415    326 |  3.325 % |
847.84/847.92	c |    300226 |  104134  1503342  3497477 |        1    56686    329 |  3.325 % |
847.84/847.92	c |    300917 |  104134  1503342  3497477 |        1    57377    344 |  3.325 % |
847.84/847.92	c |    301370 |  104134  1503342  3497477 |        1    57830    349 |  3.325 % |
847.84/847.92	c |    301470 |  104134  1503342  3497477 |        1    57930    350 |  3.325 % |
847.84/847.92	c |    301570 |  104134  1503342  3497477 |        1    58030    351 |  3.325 % |
847.84/847.92	c |    302021 |  104134  1503342  3497477 |        1    58481    358 |  3.325 % |
847.84/847.92	c |    302122 |  104134  1503342  3497477 |        1    58582    358 |  3.325 % |
847.84/847.92	c |    302558 |  104134  1503342  3497477 |        1    59018    363 |  3.325 % |
847.84/847.92	c |    304175 |  104133  1503342  3497477 |        1    60634    394 |  3.326 % |
847.84/847.92	c |    304276 |  104133  1503342  3497477 |        1    60735    397 |  3.326 % |
847.84/847.92	c |    304519 |  104133  1503342  3497477 |        1    60978    400 |  3.326 % |
847.84/847.92	c |    307472 |  104133  1503342  3497477 |        1    63931    539 |  3.326 % |
847.84/847.92	c |    307574 |  104133  1503342  3497477 |        1    64033    540 |  3.326 % |
847.84/847.92	c |    308888 |  104131  1503342  3497477 |        1    65345    555 |  3.328 % |
847.84/847.92	c |    308989 |  104131  1503342  3497477 |        1    65446    555 |  3.328 % |
847.84/847.92	c |    310152 |  104129  1503342  3497477 |        1    66607    559 |  3.330 % |
847.84/847.92	c |    312437 |  104126  1503342  3497477 |        1    68889    578 |  3.333 % |
847.84/847.92	c |    312893 |  104125  1503342  3497477 |        1    69344    586 |  3.334 % |
847.84/847.92	c |    313242 |  104124  1503342  3497477 |        1    69692    588 |  3.335 % |
911.85/911.90	c |    313562 |  104124  1503342  3497477 |        1    70012    594 |  3.335 % |
911.85/911.90	c |    313873 |  104124  1503342  3497477 |        1    70323    596 |  3.335 % |
911.85/911.90	c |    314512 |  104118  1503342  3497477 |        1    70958    596 |  3.340 % |
911.85/911.90	c |    315569 |  104053  1503263  3497107 |        1    71983    610 |  3.401 % |
911.85/911.90	c |    315672 |  104053  1503263  3497107 |        1    72086    611 |  3.401 % |
911.85/911.90	c |    315824 |  104052  1503263  3497107 |        1    72237    613 |  3.402 % |
911.85/911.90	c |    316453 |  103992  1503263  3497107 |        1    72862    619 |  3.457 % |
911.85/911.90	c |    316557 |  103992  1503263  3497107 |        1    72966    619 |  3.457 % |
911.85/911.90	c |    318385 |  103983  1503263  3497107 |        1    74793    639 |  3.466 % |
911.85/911.90	c |    318485 |  103983  1503263  3497107 |        1    74893    641 |  3.466 % |
911.85/911.90	c |    320467 |  103967  1503263  3497107 |        1    76873    666 |  3.480 % |
911.85/911.90	c |    320569 |  103967  1503263  3497107 |        1    76975    667 |  3.480 % |
911.85/911.90	c |    321035 |  103966  1503263  3497107 |        1    77440    672 |  3.481 % |
911.85/911.90	c |    321958 |  103966  1503263  3497107 |        1    78363    675 |  3.481 % |
911.85/911.90	c |    322058 |  103966  1503263  3497107 |        1    78463    676 |  3.481 % |
911.85/911.90	c |    322312 |  103966  1503263  3497107 |        1    78717    680 |  3.481 % |
911.85/911.90	c |    322672 |  103966  1503263  3497107 |        1    79077    678 |  3.481 % |
911.85/911.90	c |    323030 |  103966  1503263  3497107 |        1    79435    679 |  3.481 % |
911.85/911.90	c |    324717 |  103966  1503263  3497107 |        1    81122    698 |  3.481 % |
911.85/911.90	c |    324817 |  103966  1503263  3497107 |        1    81222    698 |  3.481 % |
911.85/911.90	c |    324962 |  103965  1503263  3497107 |        1    81366    698 |  3.482 % |
911.85/911.90	c |    325062 |  103965  1503263  3497107 |        1    81466    697 |  3.482 % |
911.85/911.90	c |    325425 |  103965  1503263  3497107 |        1    81829    700 |  3.482 % |
911.85/911.90	c |    325864 |  103965  1503263  3497107 |        1    82268    702 |  3.482 % |
911.85/911.90	c |    325967 |  103965  1503263  3497107 |        1    82371    703 |  3.482 % |
911.85/911.90	c |    326067 |  103965  1503263  3497107 |        1    82471    703 |  3.482 % |
911.85/911.90	c |    326973 |  103961  1503263  3497107 |        1    83374    702 |  3.486 % |
911.85/911.90	c |    327073 |  103961  1503263  3497107 |        1    83474    701 |  3.486 % |
911.85/911.90	c |    327307 |  103961  1503263  3497107 |        1    83708    705 |  3.486 % |
911.85/911.90	c |    327409 |  103960  1503263  3497107 |        1    83809    705 |  3.487 % |
911.85/911.90	c |    331114 |  103920  1503263  3497107 |        1    87511    727 |  3.524 % |
911.85/911.90	c |    331891 |  103919  1503206  3496864 |        1    88269    727 |  3.525 % |
911.85/911.90	c |    331994 |  103919  1503206  3496864 |        1    88372    727 |  3.525 % |
911.85/911.90	c |    332334 |  103919  1503206  3496864 |        1    88712    729 |  3.525 % |
911.85/911.90	c |    334039 |  103917  1503206  3496864 |        1    90415    758 |  3.527 % |
911.85/911.90	c |    334140 |  103916  1503206  3496864 |        1    90515    759 |  3.528 % |
911.85/911.90	c |    334318 |  103916  1503206  3496864 |        1    90693    759 |  3.528 % |
911.85/911.90	c |    335549 |  103915  1503206  3496864 |        1    91923    757 |  3.529 % |
911.85/911.90	c |    335682 |  103915  1503206  3496864 |        1    92056    758 |  3.529 % |
911.85/911.90	c |    336574 |  103914  1503206  3496864 |        1    92947    762 |  3.530 % |
911.85/911.90	c |    336674 |  103914  1503206  3496864 |        1    93047    762 |  3.530 % |
911.85/911.90	c |    336780 |  103914  1503206  3496864 |        1    93153    764 |  3.530 % |
911.85/911.90	c |    336974 |  103914  1503206  3496864 |        1    93347    764 |  3.530 % |
911.85/911.90	c |    337191 |  103914  1503206  3496864 |        1    93564    766 |  3.530 % |
911.85/911.90	c |    337291 |  103914  1503206  3496864 |        1    93664    766 |  3.530 % |
911.85/911.90	c |    337877 |  103914  1503206  3496864 |        1    94250    769 |  3.530 % |
911.85/911.90	c |    337978 |  103914  1503206  3496864 |        1    94351    769 |  3.530 % |
911.85/911.90	c |    338080 |  103914  1503206  3496864 |        1    94453    769 |  3.530 % |
911.85/911.90	c |    338557 |  103914  1503206  3496864 |        1    94930    773 |  3.530 % |
911.85/911.90	c |    338753 |  103913  1503206  3496864 |        1    95125    774 |  3.531 % |
999.24/999.33	c |    338867 |  103913  1503206  3496864 |        1    95239    778 |  3.531 % |
999.24/999.33	c |    338967 |  103913  1503206  3496864 |        1    95339    778 |  3.531 % |
999.24/999.33	c |    339126 |  103913  1503206  3496864 |        1    95498    778 |  3.531 % |
999.24/999.33	c |    339548 |  103913  1503206  3496864 |        1    95920    779 |  3.531 % |
999.24/999.33	c |    339784 |  103913  1503206  3496864 |        1    96156    783 |  3.531 % |
999.24/999.33	c |    339885 |  103913  1503206  3496864 |        1    96257    783 |  3.531 % |
999.24/999.33	c |    340204 |  103912  1503206  3496864 |        1    96575    783 |  3.532 % |
999.24/999.33	c |    340354 |  103912  1503206  3496864 |        1    96725    783 |  3.532 % |
999.24/999.33	c |    340663 |  103912  1503206  3496864 |        1    97034    788 |  3.532 % |
999.24/999.33	c |    341501 |  103911  1503206  3496864 |        1    97871    804 |  3.532 % |
999.24/999.33	c |    341601 |  103911  1503206  3496864 |        1    97971    804 |  3.532 % |
999.24/999.33	c |    341701 |  103911  1503206  3496864 |        1    98071    804 |  3.532 % |
999.24/999.33	c |    341803 |  103910  1503206  3496864 |        1    98172    805 |  3.533 % |
999.24/999.33	c |    341905 |  103909  1503206  3496864 |        1    98273    805 |  3.534 % |
999.24/999.33	c |    342873 |  103909  1503206  3496864 |        1    99241    804 |  3.534 % |
999.24/999.33	c |    343317 |  103907  1503206  3496864 |        1    99683    805 |  3.536 % |
999.24/999.33	c |    343417 |  103907  1503206  3496864 |        1    99783    805 |  3.536 % |
999.24/999.33	c |    345216 |  103884  1503206  3496864 |        1   101579    828 |  3.558 % |
999.24/999.33	c |    345443 |  103884  1503206  3496864 |        1   101806    831 |  3.558 % |
999.24/999.33	c |    345545 |  103884  1503206  3496864 |        1   101908    832 |  3.558 % |
999.24/999.33	c |    348254 |  103884  1503206  3496864 |        1    60140    140 |  3.558 % |
999.24/999.33	c |    349267 |  103883  1503206  3496864 |        1    61152    173 |  3.558 % |
999.24/999.33	c |    349367 |  103883  1503206  3496864 |        1    61252    175 |  3.558 % |
999.24/999.33	c |    349721 |  103883  1503206  3496864 |        1    61606    181 |  3.558 % |
999.24/999.33	c |    351238 |  103869  1503206  3496864 |        1    63121    230 |  3.571 % |
999.24/999.33	c |    352301 |  103867  1503206  3496864 |        1    64182    254 |  3.573 % |
999.24/999.33	c |    352401 |  103867  1503206  3496864 |        1    64282    256 |  3.573 % |
999.24/999.33	c |    352501 |  103866  1503206  3496864 |        1    64381    256 |  3.574 % |
999.24/999.33	c |    353185 |  103864  1503206  3496864 |        1    65063    269 |  3.576 % |
999.24/999.33	c |    353299 |  103863  1503206  3496864 |        1    65176    270 |  3.577 % |
999.24/999.33	c |    355075 |  103863  1503206  3496864 |        1    66952    311 |  3.577 % |
999.24/999.33	c |    355177 |  103861  1503185  3496770 |        1    67048    312 |  3.579 % |
999.24/999.33	c |    356104 |  103856  1503185  3496770 |        1    67973    331 |  3.583 % |
999.24/999.33	c |    356205 |  103856  1503185  3496770 |        1    68074    332 |  3.583 % |
999.24/999.33	c |    356307 |  103856  1503185  3496770 |        1    68176    332 |  3.583 % |
999.24/999.33	c |    356408 |  103794  1503185  3496770 |        1    68275    333 |  3.641 % |
999.24/999.33	c |    356508 |  103794  1503185  3496770 |        1    68375    334 |  3.641 % |
999.24/999.33	c |    356746 |  103794  1503185  3496770 |        1    68613    337 |  3.641 % |
999.24/999.33	c |    358816 |  103794  1503185  3496770 |        1    70683    387 |  3.641 % |
999.24/999.33	c |    359263 |  103794  1503185  3496770 |        1    71130    392 |  3.641 % |
999.24/999.33	c |    359899 |  103794  1503185  3496770 |        1    71766    404 |  3.641 % |
999.24/999.33	c |    360040 |  103736  1503185  3496770 |        1    71906    406 |  3.695 % |
999.24/999.33	c |    360359 |  103736  1503185  3496770 |        1    72225    409 |  3.695 % |
999.24/999.33	c |    361012 |  103736  1503185  3496770 |        1    72878    412 |  3.695 % |
999.24/999.33	c |    363735 |  103736  1503185  3496770 |        1    75601    461 |  3.695 % |
999.24/999.33	c |    363970 |  103736  1503119  3496454 |        1    75815    461 |  3.695 % |
999.24/999.33	c |    365165 |  103734  1503119  3496454 |        1    77008    473 |  3.697 % |
999.24/999.33	c |    366340 |  103730  1503119  3496454 |        1    78180    480 |  3.700 % |
999.24/999.33	c |    366717 |  103730  1503119  3496454 |        1    78557    489 |  3.700 % |
999.24/999.33	c |    366819 |  103730  1503119  3496454 |        1    78659    489 |  3.700 % |
1115.35/1115.45	c |    371589 |  103729  1503119  3496454 |        1    83428    558 |  3.701 % |
1115.35/1115.45	c |    374038 |  103705  1503119  3496454 |        1    85872    576 |  3.724 % |
1115.35/1115.45	c |    374138 |  103705  1503119  3496454 |        1    85972    577 |  3.724 % |
1115.35/1115.45	c |    374374 |  103705  1503119  3496454 |        1    86208    577 |  3.724 % |
1115.35/1115.45	c |    374475 |  103705  1503119  3496454 |        1    86309    577 |  3.724 % |
1115.35/1115.45	c |    376245 |  103702  1503119  3496454 |        1    88076    599 |  3.726 % |
1115.35/1115.45	c |    376450 |  103702  1503119  3496454 |        1    88281    601 |  3.726 % |
1115.35/1115.45	c |    379415 |  103701  1503108  3496406 |        1    91239    621 |  3.727 % |
1115.35/1115.45	c |    380344 |  103701  1503108  3496406 |        1    92168    628 |  3.727 % |
1115.35/1115.45	c |    380566 |  103701  1503108  3496406 |        1    92390    631 |  3.727 % |
1115.35/1115.45	c |    381654 |  103701  1503108  3496406 |        1    93478    650 |  3.727 % |
1115.35/1115.45	c |    381793 |  103701  1503108  3496406 |        1    93617    650 |  3.727 % |
1115.35/1115.45	c |    381944 |  103701  1503108  3496406 |        1    93768    651 |  3.727 % |
1115.35/1115.45	c |    382316 |  103700  1503108  3496406 |        1    94139    655 |  3.728 % |
1115.35/1115.45	c |    382418 |  103700  1503108  3496406 |        1    94241    656 |  3.728 % |
1115.35/1115.45	c |    382785 |  103700  1503108  3496406 |        1    94608    663 |  3.728 % |
1115.35/1115.45	c |    382892 |  103700  1503108  3496406 |        1    94715    663 |  3.728 % |
1115.35/1115.45	c |    382992 |  103700  1503108  3496406 |        1    94815    663 |  3.728 % |
1115.35/1115.45	c |    383119 |  103700  1503108  3496406 |        1    94942    665 |  3.728 % |
1115.35/1115.45	c |    383221 |  103700  1503108  3496406 |        1    95044    667 |  3.728 % |
1115.35/1115.45	c |    383704 |  103693  1503108  3496406 |        1    95526    670 |  3.735 % |
1115.35/1115.45	c |    383804 |  103693  1503108  3496406 |        1    95626    670 |  3.735 % |
1115.35/1115.45	c |    384168 |  103693  1503108  3496406 |        1    95990    670 |  3.735 % |
1115.35/1115.45	c |    384269 |  103653  1503108  3496406 |        1    96088    670 |  3.772 % |
1115.35/1115.45	c |    385300 |  103653  1503108  3496406 |        1    97119    682 |  3.772 % |
1115.35/1115.45	c |    385667 |  103653  1503108  3496406 |        1    97486    684 |  3.772 % |
1115.35/1115.45	c |    386707 |  103651  1503108  3496406 |        1    98524    694 |  3.774 % |
1115.35/1115.45	c |    386960 |  103651  1503108  3496406 |        1    98777    695 |  3.774 % |
1115.35/1115.45	c |    387061 |  103651  1503108  3496406 |        1    98878    695 |  3.774 % |
1115.35/1115.45	c |    389821 |  103636  1503108  3496406 |        1   101637    705 |  3.788 % |
1115.35/1115.45	c |    389923 |  103636  1503108  3496406 |        1   101739    705 |  3.788 % |
1115.35/1115.45	c |    391075 |  103636  1503108  3496406 |        1   102891    703 |  3.788 % |
1115.35/1115.45	c |    391177 |  103636  1503108  3496406 |        1   102993    703 |  3.788 % |
1115.35/1115.45	c |    391661 |  103636  1503108  3496406 |        1   103477    708 |  3.788 % |
1115.35/1115.45	c |    391765 |  103636  1503108  3496406 |        1   103581    708 |  3.788 % |
1115.35/1115.45	c |    392358 |  103636  1503108  3496406 |        1    62804    135 |  3.788 % |
1115.35/1115.45	c |    394543 |  103634  1503108  3496406 |        1    64987    194 |  3.790 % |
1115.35/1115.45	c |    395135 |  103634  1503108  3496406 |        1    65579    211 |  3.790 % |
1115.35/1115.45	c |    395235 |  103634  1503108  3496406 |        1    65679    213 |  3.790 % |
1115.35/1115.45	c |    396901 |  103633  1503108  3496406 |        1    67344    235 |  3.791 % |
1115.35/1115.45	c |    397001 |  103633  1503108  3496406 |        1    67444    236 |  3.791 % |
1115.35/1115.45	c |    397444 |  103633  1503108  3496406 |        1    67887    251 |  3.791 % |
1115.35/1115.45	c |    398634 |  103628  1503108  3496406 |        1    69073    257 |  3.795 % |
1115.35/1115.45	c |    399584 |  103628  1503108  3496406 |        1    70023    273 |  3.795 % |
1115.35/1115.45	c |    399684 |  103628  1503108  3496406 |        1    70123    275 |  3.795 % |
1115.35/1115.45	c |    403579 |  103626  1503075  3496256 |        1    74001    342 |  3.797 % |
1115.35/1115.45	c |    403679 |  103626  1503075  3496256 |        1    74101    342 |  3.797 % |
1115.35/1115.45	c |    405051 |  103621  1503075  3496256 |        1    75471    352 |  3.802 % |
1115.35/1115.45	c |    406111 |  103619  1503075  3496256 |        1    76529    370 |  3.804 % |
1115.35/1115.45	c |    408879 |  103613  1503075  3496256 |        1    79295    403 |  3.809 % |
1214.24/1214.37	c |    408980 |  103613  1503075  3496256 |        1    79396    404 |  3.809 % |
1214.24/1214.37	c |    410271 |  103613  1503075  3496256 |        1    80687    437 |  3.809 % |
1214.24/1214.37	c |    410905 |  103613  1503075  3496256 |        1    81321    440 |  3.809 % |
1214.24/1214.37	c |    412870 |  103612  1503075  3496256 |        1    83285    460 |  3.810 % |
1214.24/1214.37	c |    412975 |  103612  1503075  3496256 |        1    83390    461 |  3.810 % |
1214.24/1214.37	c |    413188 |  103592  1503071  3496239 |        1    83598    463 |  3.829 % |
1214.24/1214.37	c |    413288 |  103592  1503071  3496239 |        1    83698    463 |  3.829 % |
1214.24/1214.37	c |    413940 |  103592  1503071  3496239 |        1    84350    472 |  3.829 % |
1214.24/1214.37	c |    417400 |  103591  1503071  3496239 |        1    87809    510 |  3.830 % |
1214.24/1214.37	c |    417783 |  103590  1503071  3496239 |        1    88191    513 |  3.830 % |
1214.24/1214.37	c |    417884 |  103589  1503071  3496239 |        1    88291    513 |  3.831 % |
1214.24/1214.37	c |    420492 |  103589  1503071  3496239 |        1    90899    535 |  3.831 % |
1214.24/1214.37	c |    420592 |  103589  1503071  3496239 |        1    90999    535 |  3.831 % |
1214.24/1214.37	c |    421540 |  103589  1503071  3496239 |        1    91947    553 |  3.831 % |
1214.24/1214.37	c |    421647 |  103589  1503071  3496239 |        1    92054    554 |  3.831 % |
1214.24/1214.37	c |    421747 |  103589  1503071  3496239 |        1    92154    554 |  3.831 % |
1214.24/1214.37	c |    422434 |  103589  1503071  3496239 |        1    92841    555 |  3.831 % |
1214.24/1214.37	c |    423035 |  103589  1503071  3496239 |        1    93442    558 |  3.831 % |
1214.24/1214.37	c |    425003 |  103589  1503071  3496239 |        1    95410    574 |  3.831 % |
1214.24/1214.37	c |    425494 |  103588  1503071  3496239 |        1    95900    578 |  3.832 % |
1214.24/1214.37	c |    425648 |  103588  1503071  3496239 |        1    96054    580 |  3.832 % |
1214.24/1214.37	c |    425865 |  103588  1503071  3496239 |        1    96271    580 |  3.832 % |
1214.24/1214.37	c |    426174 |  103588  1503071  3496239 |        1    96580    581 |  3.832 % |
1214.24/1214.37	c |    426312 |  103588  1503071  3496239 |        1    96718    581 |  3.832 % |
1214.24/1214.37	c |    427061 |  103588  1503071  3496239 |        1    97467    586 |  3.832 % |
1214.24/1214.37	c |    427422 |  103588  1503061  3496191 |        1    97820    588 |  3.832 % |
1214.24/1214.37	c |    427522 |  103588  1503061  3496191 |        1    97920    588 |  3.832 % |
1214.24/1214.37	c |    428152 |  103588  1503061  3496191 |        1    98550    595 |  3.832 % |
1214.24/1214.37	c |    429001 |  103564  1503061  3496191 |        1    99395    603 |  3.855 % |
1214.24/1214.37	c |    429101 |  103564  1503061  3496191 |        1    99495    603 |  3.855 % |
1214.24/1214.37	c |    429201 |  103564  1503061  3496191 |        1    99595    604 |  3.855 % |
1214.24/1214.37	c |    430397 |  103564  1503061  3496191 |        1   100791    609 |  3.855 % |
1214.24/1214.37	c |    430497 |  103564  1503061  3496191 |        1   100891    611 |  3.855 % |
1214.24/1214.37	c |    430597 |  103564  1503061  3496191 |        1   100991    611 |  3.855 % |
1214.24/1214.37	c |    430699 |  103564  1503061  3496191 |        1   101093    611 |  3.855 % |
1214.24/1214.37	c |    431615 |  103560  1503061  3496191 |        1   102008    634 |  3.858 % |
1214.24/1214.37	c |    431715 |  103560  1503061  3496191 |        1   102108    634 |  3.858 % |
1214.24/1214.37	c |    432266 |  103466  1503061  3496191 |        1   102657    636 |  3.946 % |
1214.24/1214.37	c |    432541 |  103465  1503061  3496191 |        1   102931    638 |  3.946 % |
1214.24/1214.37	c |    432641 |  103465  1503061  3496191 |        1   103031    638 |  3.946 % |
1214.24/1214.37	c |    433068 |  103464  1503061  3496191 |        1   103457    644 |  3.947 % |
1214.24/1214.37	c |    433168 |  103464  1503061  3496191 |        1   103557    644 |  3.947 % |
1214.24/1214.37	c |    434952 |  103463  1503061  3496191 |        1   105340    646 |  3.948 % |
1214.24/1214.37	c |    438006 |  103461  1503061  3496191 |        1   108392    664 |  3.950 % |
1214.24/1214.37	c |    439337 |  103416  1503061  3496191 |        1   109719    672 |  3.992 % |
1214.24/1214.37	c |    439438 |  103416  1503061  3496191 |        1   109820    672 |  3.992 % |
1214.24/1214.37	c |    440306 |  103414  1503061  3496191 |        1   110686    674 |  3.994 % |
1214.24/1214.37	c |    440407 |  103414  1503061  3496191 |        1   110787    674 |  3.994 % |
1214.24/1214.37	c |    441525 |  103391  1503061  3496191 |        1   111902    693 |  4.015 % |
1214.24/1214.37	c |    441625 |  103391  1503061  3496191 |

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 4.26 4.07 3.70 5/192 7367
/proc/meminfo: memFree=20460532/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 219987402 8912896 253 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 253 211 178 0 69 0

[startup+0.0131229 s]
/proc/loadavg: 4.26 4.07 3.70 5/192 7367
/proc/meminfo: memFree=20460532/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 219987402 8912896 253 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100142 s]
/proc/loadavg: 4.26 4.07 3.70 5/192 7367
/proc/meminfo: memFree=20460532/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 219987402 8912896 253 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301108 s]
/proc/loadavg: 4.26 4.07 3.70 5/192 7367
/proc/meminfo: memFree=20460532/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 219987402 8912896 253 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.701043 s]
/proc/loadavg: 4.26 4.07 3.70 5/192 7367
/proc/meminfo: memFree=20460532/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 219987402 8912896 253 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50091 s]
/proc/loadavg: 4.26 4.07 3.70 5/194 7369
/proc/meminfo: memFree=20292388/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 219987402 8912896 253 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 253 211 178 0 69 0
[pid=7368] ppid=7367 vsize=183040 CPUtime=1.49 cores=5,7
/proc/7368/stat : 7368 (SatELite_releas) R 7367 7367 5286 0 -1 4202496 41961 0 0 0 139 10 0 0 25 0 1 0 219987403 187432960 37489 33554432000 134512640 135144242 4288594672 18446744073709551615 134585357 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/7368/statm: 45760 37489 77 155 0 45603 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 191744

[startup+3.10061 s]
/proc/loadavg: 4.26 4.07 3.70 5/194 7369
/proc/meminfo: memFree=20287552/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 219987402 8912896 253 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 253 211 178 0 69 0
[pid=7368] ppid=7367 vsize=182344 CPUtime=3.09 cores=5,7
/proc/7368/stat : 7368 (SatELite_releas) R 7367 7367 5286 0 -1 4202496 46161 0 0 0 298 11 0 0 25 0 1 0 219987403 186720256 37363 33554432000 134512640 135144242 4288594672 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/7368/statm: 45586 37363 77 155 0 45429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 191048

[startup+6.30106 s]
/proc/loadavg: 4.24 4.07 3.70 5/194 7370
/proc/meminfo: memFree=20375604/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=122424 CPUtime=2.74 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 21892 0 0 0 271 3 0 0 25 0 1 0 219987757 125362176 21539 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209353 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 30606 21539 250 17 0 27247 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 131128

[startup+12.7009 s]
/proc/loadavg: 4.22 4.07 3.70 5/194 7370
/proc/meminfo: memFree=20296904/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=122920 CPUtime=9.14 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 34107 0 0 0 909 5 0 0 25 0 1 0 219987757 125870080 22042 33554432000 4194304 4260849 140734093135584 18446744073709551615 4224445 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 30730 22042 251 17 0 27371 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 131624

[startup+25.5007 s]
/proc/loadavg: 4.17 4.06 3.70 5/194 7370
/proc/meminfo: memFree=20337440/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=105468 CPUtime=21.94 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 49098 0 0 0 2187 7 0 0 25 0 1 0 219987757 107999232 21877 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209649 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 26367 21877 252 17 0 23008 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 114172

[startup+51.1012 s]
/proc/loadavg: 4.11 4.06 3.71 5/194 7371
/proc/meminfo: memFree=20307580/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=125996 CPUtime=47.54 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 71326 0 0 0 4743 11 0 0 25 0 1 0 219987757 129019904 24215 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209990 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 31499 24215 252 17 0 28140 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 134700

[startup+102.307 s]
/proc/loadavg: 4.10 4.06 3.73 5/194 7411
/proc/meminfo: memFree=19800460/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=209076 CPUtime=98.75 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 106885 0 0 0 9858 17 0 0 25 0 1 0 219987757 214093824 35771 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 52269 35771 252 17 0 48910 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 217780

[startup+162.301 s]
/proc/loadavg: 4.04 4.05 3.74 5/194 7443
/proc/meminfo: memFree=20246900/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=161352 CPUtime=158.74 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 157036 0 0 0 15848 26 0 0 25 0 1 0 219987757 165224448 32010 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 40338 32010 252 17 0 36979 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 170056

[startup+222.301 s]
/proc/loadavg: 4.01 4.04 3.75 5/194 7445
/proc/meminfo: memFree=20130536/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=212572 CPUtime=218.74 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 197381 0 0 0 21839 35 0 0 25 0 1 0 219987757 217673728 39028 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 53143 39028 252 17 0 49784 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 221276

[startup+282.301 s]
/proc/loadavg: 4.04 4.04 3.77 5/194 7446
/proc/meminfo: memFree=20186520/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=213756 CPUtime=278.74 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 238807 0 0 0 27833 41 0 0 25 0 1 0 219987757 218886144 45411 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 53439 45411 252 17 0 50080 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 222460

[startup+342.301 s]
/proc/loadavg: 4.01 4.03 3.78 5/194 7448
/proc/meminfo: memFree=20092476/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=214552 CPUtime=338.73 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 282006 0 0 0 33825 48 0 0 25 0 1 0 219987757 219701248 45436 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209635 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 53638 45436 252 17 0 50279 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 223256

[startup+402.3 s]
/proc/loadavg: 4.00 4.02 3.79 5/194 7449
/proc/meminfo: memFree=20079508/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7

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

/proc/7370/statm: 54609 41358 252 17 0 51250 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 227140

[startup+642.3 s]
/proc/loadavg: 4.08 4.03 3.84 5/194 7456
/proc/meminfo: memFree=20028240/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=300364 CPUtime=638.73 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 472097 0 0 0 63792 81 0 0 25 0 1 0 219987757 307572736 69714 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209332 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 75091 69714 252 17 0 71732 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 309068

[startup+702.301 s]
/proc/loadavg: 4.03 4.02 3.84 5/194 7457
/proc/meminfo: memFree=20174636/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=219512 CPUtime=698.72 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 519208 0 0 0 69782 90 0 0 25 0 1 0 219987757 224780288 45674 33554432000 4194304 4260849 140734093135584 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 54878 45674 252 17 0 51519 0
Current children cumulated CPU time (s) 702.25
Current children cumulated vsize (KiB) 228216

[startup+762.307 s]
/proc/loadavg: 4.01 4.02 3.85 5/194 7459
/proc/meminfo: memFree=19911472/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=433704 CPUtime=758.72 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 548747 0 0 0 75778 94 0 0 25 0 1 0 219987757 444112896 75193 33554432000 4194304 4260849 140734093135584 18446744073709551615 4229282 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 108426 75193 252 17 0 105067 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 442408

[startup+822.301 s]
/proc/loadavg: 4.06 4.03 3.86 5/194 7461
/proc/meminfo: memFree=20121392/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=302028 CPUtime=818.71 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 593334 0 0 0 81767 104 0 0 25 0 1 0 219987757 309276672 50919 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209338 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 75507 50919 252 17 0 72148 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 310732

[startup+882.301 s]
/proc/loadavg: 4.02 4.02 3.87 5/194 7462
/proc/meminfo: memFree=19858488/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=435184 CPUtime=878.71 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 625566 0 0 0 87761 110 0 0 25 0 1 0 219987757 445628416 83133 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 108796 83133 252 17 0 105437 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 443888

[startup+942.3 s]
/proc/loadavg: 4.01 4.02 3.87 5/194 7464
/proc/meminfo: memFree=20175780/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=172248 CPUtime=938.71 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 669491 0 0 0 93751 120 0 0 25 0 1 0 219987757 176381952 34947 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209476 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 43062 34947 252 17 0 39703 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 180952

[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.88 5/194 7465
/proc/meminfo: memFree=19938056/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=304636 CPUtime=998.71 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 698972 0 0 0 99746 125 0 0 25 0 1 0 219987757 311947264 64408 33554432000 4194304 4260849 140734093135584 18446744073709551615 4224448 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 76159 64408 252 17 0 72800 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 313340

[startup+1062.3 s]
/proc/loadavg: 4.07 4.02 3.89 5/194 7467
/proc/meminfo: memFree=19894120/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=436896 CPUtime=1058.71 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 728479 0 0 0 105740 131 0 0 25 0 1 0 219987757 447381504 93897 33554432000 4194304 4260849 140734093135584 18446744073709551615 4224434 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 109224 93897 252 17 0 105865 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 445600

[startup+1122.3 s]
/proc/loadavg: 4.02 4.02 3.89 5/194 7469
/proc/meminfo: memFree=19944952/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=305112 CPUtime=1118.71 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 773468 0 0 0 111731 140 0 0 25 0 1 0 219987757 312434688 58962 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209295 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 76278 58962 252 17 0 72919 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 313816

[startup+1182.3 s]
/proc/loadavg: 3.93 3.99 3.90 4/187 7488
/proc/meminfo: memFree=20174984/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=437964 CPUtime=1178.71 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 800610 0 0 0 117726 145 0 0 25 0 1 0 219987757 448475136 86087 33554432000 4194304 4260849 140734093135584 18446744073709551615 4226847 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 109491 86087 252 17 0 106132 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 446668

[startup+1242.3 s]
/proc/loadavg: 3.34 3.81 3.84 4/187 7490
/proc/meminfo: memFree=19904656/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=653168 CPUtime=1238.71 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 831150 0 0 0 123720 151 0 0 25 0 1 0 219987757 668844032 116609 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209639 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 163292 116609 252 17 0 159933 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 661872



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.59 3.52 3.73 3/180 7509
/proc/meminfo: memFree=20233940/32951124 swapFree=67111528/67111528
[pid=7367] ppid=7365 vsize=8704 CPUtime=3.53 cores=5,7
/proc/7367/stat : 7367 (glucose.sh) S 7365 7367 5286 0 -1 4202496 359 46162 0 0 0 0 339 14 18 0 1 0 219987402 8912896 255 33554432000 4194304 4922060 140734776336992 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7367/statm: 2176 255 211 178 0 69 0
[pid=7370] ppid=7367 vsize=225936 CPUtime=1296.41 cores=5,7
/proc/7370/stat : 7370 (glucose_static) R 7367 7367 5286 0 -1 4202496 876058 0 0 0 129479 162 0 0 25 0 1 0 219987757 231358464 48234 33554432000 4194304 4260849 140734093135584 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 56484 48234 252 17 0 53125 0
Current children cumulated CPU time (s) 1299.94
Current children cumulated vsize (KiB) 234640

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1299.94
CPU user time (s): 1298.18
CPU system time (s): 1.76
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 743352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.39448
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 22

runsolver used 2.02269 second user time and 5.08623 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-25 20:59:21
IDJOB=3284802
IDBENCH=82363
IDSOLVER=1651
FILE ID=node107/3284802-1303757960
RUNJOBID= node107-1303756522-6697
PBS_JOBID= 13154055
Free space on /tmp= 71596 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284802-1303757960/watcher-3284802-1303757960 -o /tmp/evaluation-result-3284802-1303757960/solver-3284802-1303757960 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3284802-1303757960.cnf 

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

MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=844661786

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:      20460812 kB
Buffers:       2026496 kB
Cached:        9549104 kB
SwapCached:          0 kB
Active:        8117388 kB
Inactive:      3888804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20460812 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           85956 kB
Writeback:           0 kB
AnonPages:      429680 kB
Mapped:          15348 kB
Slab:           418556 kB
PageTables:       6204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   634336 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= 71564 MiB
End job on node107 at 2011-04-25 21:21:03