Trace number 3303851

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2UNSAT 2270.49 2270.43

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
MD5SUM36e8e2178d03f08fa4223da0e3d9beb5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark477.605
Satisfiable
(Un)Satisfiability was proved
Number of variables87884
Number of clauses1413816
Sum of the clauses size3227576
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21364160
Number of clauses of size 33840
Number of clauses of size 417760
Number of clauses of size 57680
Number of clauses of size over 519680

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.37	c ==============================================================================
0.00/0.37	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.37	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.37	c ==============================================================================
0.00/0.37	c |         0 | 1040158  2379025 |  312047       0        0     nan |  0.000 % |
1.39/1.45	c |         0 |  741497  1727155 |      --       0       --      -- |     --   | -35/-52
1.39/1.45	c ==============================================================================
1.39/1.45	c Result  :   #vars: 53836   #clauses: 741497   #literals: 1727155
1.39/1.45	c CPU time:   1.40279 s
1.39/1.45	c ==============================================================================
1.69/1.75	c
1.69/1.75	c Starting glucose
1.69/1.75	c
29.58/29.62	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
29.58/29.62	c WARNING: for repeatability, setting FPU to use double precision
29.58/29.62	c ============================[ Problem Statistics ]=============================
29.58/29.62	c |                                                                             |
29.58/29.62	c |  Number of variables:         53836                                         |
29.58/29.62	c |  Number of clauses:          741497                                         |
29.58/29.62	c |  Parse time:                   0.14 s                                       |
29.58/29.62	c |                                                                             |
29.58/29.62	c ============================[ Search Statistics ]==============================
29.58/29.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.58/29.62	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
29.58/29.62	c ===============================================================================
29.58/29.62	c |       160 |   53836   741497  1727155 |        1      160   2278 |  0.000 % |
29.58/29.62	c |      1748 |   53833   741497  1727155 |        1     1745   1525 |  0.006 % |
29.58/29.62	c |      1852 |   53833   741497  1727155 |        1     1849   1480 |  0.006 % |
29.58/29.62	c |      1953 |   53833   741497  1727155 |        1     1950   1429 |  0.006 % |
29.58/29.62	c |      3446 |   53708   741497  1727155 |        1     3440   1150 |  0.238 % |
29.58/29.62	c |      4012 |   53694   741456  1726970 |        1     2003    562 |  0.264 % |
29.58/29.62	c |      4112 |   53693   741456  1726970 |        1     2102    591 |  0.266 % |
29.58/29.62	c |      4321 |   53504   741456  1726970 |        1     2309    604 |  0.617 % |
29.58/29.62	c |      4559 |   53501   741456  1726970 |        1     2544    633 |  0.622 % |
29.58/29.62	c |      4664 |   53501   741456  1726970 |        1     2649    643 |  0.622 % |
29.58/29.62	c |      5435 |   53447   741370  1726588 |        1     3401    671 |  0.723 % |
29.58/29.62	c |      5535 |   53445   741370  1726588 |        1     3499    674 |  0.726 % |
29.58/29.62	c |      7925 |   53419   741359  1726539 |        1     5883    846 |  0.775 % |
29.58/29.62	c |      8025 |   53419   741359  1726539 |        1     5983    837 |  0.775 % |
29.58/29.62	c |      8434 |   53411   741359  1726539 |        1     6390    862 |  0.789 % |
29.58/29.62	c |      9407 |   53406   741359  1726539 |        1     7358    844 |  0.799 % |
29.58/29.62	c |      9509 |   53406   741354  1726513 |        1     7459    852 |  0.799 % |
29.58/29.62	c |      9609 |   53406   741354  1726513 |        1     7559    849 |  0.799 % |
29.58/29.62	c |     10088 |   53220   741354  1726513 |        1     8031    848 |  1.144 % |
29.58/29.62	c |     10300 |   53220   741354  1726513 |        1     8243    858 |  1.144 % |
29.58/29.62	c |     10400 |   53219   741354  1726513 |        1     8342    856 |  1.146 % |
29.58/29.62	c |     12315 |   53153   741354  1726513 |        1     5988    525 |  1.269 % |
29.58/29.62	c |     12416 |   53153   741253  1726048 |        1     6086    531 |  1.269 % |
29.58/29.62	c |     13212 |   52667   741253  1726048 |        1     6866    532 |  2.171 % |
29.58/29.62	c |     13351 |   52667   741253  1726048 |        1     7005    542 |  2.171 % |
29.58/29.62	c |     13477 |   52666   741253  1726048 |        1     7130    550 |  2.173 % |
29.58/29.62	c |     14484 |   52654   741059  1725159 |        1     8115    612 |  2.196 % |
29.58/29.62	c |     14584 |   52653   741059  1725159 |        1     8214    612 |  2.197 % |
29.58/29.62	c |     14684 |   52653   741059  1725159 |        1     8314    623 |  2.197 % |
29.58/29.62	c |     14928 |   52653   741059  1725159 |        1     8558    628 |  2.197 % |
29.58/29.62	c |     15697 |   52652   741059  1725159 |        1     9326    670 |  2.199 % |
29.58/29.62	c |     16191 |   52652   741059  1725159 |        1     9820    721 |  2.199 % |
29.58/29.62	c |     16541 |   52580   741059  1725159 |        1    10165    721 |  2.333 % |
29.58/29.62	c |     16903 |   52577   741059  1725159 |        1    10524    711 |  2.339 % |
29.58/29.62	c |     17362 |   52558   741059  1725159 |        1    10981    729 |  2.374 % |
29.58/29.62	c |     19155 |   52544   741059  1725159 |        1    12770    715 |  2.400 % |
29.58/29.62	c |     19483 |   52441   741059  1725159 |        1    13090    718 |  2.591 % |
29.58/29.62	c |     19985 |   52438   740973  1724759 |        1     6890    191 |  2.597 % |
29.58/29.62	c |     20290 |   52438   740973  1724759 |        1     7195    245 |  2.597 % |
78.37/78.43	c |     21112 |   52321   740973  1724759 |        1     8014    325 |  2.814 % |
78.37/78.43	c |     21222 |   52321   740973  1724759 |        1     8124    335 |  2.814 % |
78.37/78.43	c |     21430 |   52320   740973  1724759 |        1     8331    352 |  2.816 % |
78.37/78.43	c |     21571 |   52295   740973  1724759 |        1     8470    359 |  2.862 % |
78.37/78.43	c |     21671 |   52295   740973  1724759 |        1     8570    360 |  2.862 % |
78.37/78.43	c |     22041 |   52233   740973  1724759 |        1     8935    379 |  2.978 % |
78.37/78.43	c |     22776 |   52165   740973  1724759 |        1     9666    434 |  3.104 % |
78.37/78.43	c |     23260 |   52165   740973  1724759 |        1    10150    455 |  3.104 % |
78.37/78.43	c |     25590 |   52140   740838  1724117 |        1    12459    551 |  3.150 % |
78.37/78.43	c |     28402 |   52126   740832  1724090 |        1    15267    769 |  3.176 % |
78.37/78.43	c |     28502 |   52126   740832  1724090 |        1    15367    776 |  3.176 % |
78.37/78.43	c |     28817 |   52125   740832  1724090 |        1    15681    800 |  3.178 % |
78.37/78.43	c |     29311 |   52125   740826  1724060 |        1    16175    810 |  3.178 % |
78.37/78.43	c |     29500 |   52125   740826  1724060 |        1    16364    808 |  3.178 % |
78.37/78.43	c |     30953 |   51960   740826  1724060 |        1    17814    826 |  3.485 % |
78.37/78.43	c |     31627 |   51955   740826  1724060 |        1     9267    177 |  3.494 % |
78.37/78.43	c |     32300 |   51955   740826  1724060 |        1     9940    342 |  3.494 % |
78.37/78.43	c |     33221 |   51953   740826  1724060 |        1    10859    428 |  3.498 % |
78.37/78.43	c |     33324 |   51943   740826  1724060 |        1    10961    432 |  3.516 % |
78.37/78.43	c |     33613 |   51943   740826  1724060 |        1    11250    446 |  3.516 % |
78.37/78.43	c |     33713 |   51943   740826  1724060 |        1    11350    446 |  3.516 % |
78.37/78.43	c |     33817 |   51942   740826  1724060 |        1    11453    459 |  3.518 % |
78.37/78.43	c |     33917 |   51941   740741  1723675 |        1    11536    469 |  3.520 % |
78.37/78.43	c |     34301 |   51941   740741  1723675 |        1    11920    468 |  3.520 % |
78.37/78.43	c |     36205 |   51938   740741  1723675 |        1    13821    547 |  3.526 % |
78.37/78.43	c |     36305 |   51938   740741  1723675 |        1    13921    545 |  3.526 % |
78.37/78.43	c |     36405 |   51938   740741  1723675 |        1    14021    560 |  3.526 % |
78.37/78.43	c |     37532 |   51853   740741  1723675 |        1    15139    627 |  3.683 % |
78.37/78.43	c |     37845 |   51791   740741  1723675 |        1    15449    630 |  3.799 % |
78.37/78.43	c |     37947 |   51781   740741  1723675 |        1    15550    635 |  3.817 % |
78.37/78.43	c |     38047 |   51781   740741  1723675 |        1    15650    639 |  3.817 % |
78.37/78.43	c |     38148 |   51781   740741  1723675 |        1    15751    645 |  3.817 % |
78.37/78.43	c |     38248 |   51781   740741  1723675 |        1    15851    645 |  3.817 % |
78.37/78.43	c |     39266 |   51780   740741  1723675 |        1    16868    695 |  3.819 % |
78.37/78.43	c |     39467 |   51773   740669  1723333 |        1    17060    691 |  3.832 % |
78.37/78.43	c |     39913 |   51773   740669  1723333 |        1    17506    697 |  3.832 % |
78.37/78.43	c |     40210 |   51763   740669  1723333 |        1    17802    700 |  3.851 % |
78.37/78.43	c |     40310 |   51763   740669  1723333 |        1    17902    699 |  3.851 % |
78.37/78.43	c |     40864 |   51748   740669  1723333 |        1    18451    703 |  3.878 % |
78.37/78.43	c |     41550 |   51730   740669  1723333 |        1    19132    708 |  3.912 % |
78.37/78.43	c |     41650 |   51729   740669  1723333 |        1    19231    713 |  3.914 % |
78.37/78.43	c |     41923 |   51728   740669  1723333 |        1    19503    718 |  3.916 % |
78.37/78.43	c |     42327 |   51726   740669  1723333 |        1    19905    724 |  3.919 % |
78.37/78.43	c |     43026 |   51713   740669  1723333 |        1    20601    751 |  3.943 % |
78.37/78.43	c |     43369 |   51712   740669  1723333 |        1    20943    755 |  3.945 % |
78.37/78.43	c |     43583 |   51711   740669  1723333 |        1    21156    755 |  3.947 % |
78.37/78.43	c |     44570 |   51696   740655  1723265 |        1    22134    792 |  3.975 % |
78.37/78.43	c |     45101 |   51692   740655  1723265 |        1    22661    807 |  3.982 % |
78.37/78.43	c |     45329 |   51691   740655  1723265 |        1    22888    814 |  3.984 % |
78.37/78.43	c |     45724 |   51689   740655  1723265 |        1    23281    820 |  3.988 % |
144.67/144.73	c |     45825 |   51689   740655  1723265 |        1    23382    820 |  3.988 % |
144.67/144.73	c |     45940 |   51689   740655  1723265 |        1    23497    826 |  3.988 % |
144.67/144.73	c |     46041 |   51689   740655  1723265 |        1    11834    180 |  3.988 % |
144.67/144.73	c |     46141 |   51689   740655  1723265 |        1    11934    188 |  3.988 % |
144.67/144.73	c |     46518 |   51689   740655  1723265 |        1    12311    224 |  3.988 % |
144.67/144.73	c |     47203 |   51689   740655  1723265 |        1    12996    251 |  3.988 % |
144.67/144.73	c |     47685 |   51689   740655  1723265 |        1    13478    305 |  3.988 % |
144.67/144.73	c |     47786 |   51689   740655  1723265 |        1    13579    313 |  3.988 % |
144.67/144.73	c |     47888 |   51689   740655  1723265 |        1    13681    320 |  3.988 % |
144.67/144.73	c |     49091 |   51687   740655  1723265 |        1    14882    497 |  3.992 % |
144.67/144.73	c |     49193 |   51687   740655  1723265 |        1    14984    505 |  3.992 % |
144.67/144.73	c |     50116 |   51678   740655  1723265 |        1    15905    567 |  4.008 % |
144.67/144.73	c |     51275 |   51674   740645  1723214 |        1    17055    621 |  4.016 % |
144.67/144.73	c |     52727 |   51401   740645  1723214 |        1    18503    639 |  4.523 % |
144.67/144.73	c |     54055 |   51397   740645  1723214 |        1    19830    718 |  4.530 % |
144.67/144.73	c |     54156 |   51397   740525  1722701 |        1    19920    716 |  4.530 % |
144.67/144.73	c |     54415 |   51396   740525  1722701 |        1    20178    734 |  4.532 % |
144.67/144.73	c |     54989 |   51396   740525  1722701 |        1    20752    743 |  4.532 % |
144.67/144.73	c |     56093 |   51393   740525  1722701 |        1    21853    771 |  4.538 % |
144.67/144.73	c |     56348 |   51384   740525  1722701 |        1    22106    772 |  4.555 % |
144.67/144.73	c |     57215 |   51365   740525  1722701 |        1    22971    789 |  4.590 % |
144.67/144.73	c |     57320 |   51365   740525  1722701 |        1    23076    795 |  4.590 % |
144.67/144.73	c |     57422 |   51365   740525  1722701 |        1    23178    798 |  4.590 % |
144.67/144.73	c |     58883 |   51363   740525  1722701 |        1    24637    829 |  4.594 % |
144.67/144.73	c |     59262 |   51323   740525  1722701 |        1    25013    843 |  4.668 % |
144.67/144.73	c |     59589 |   51318   740500  1722596 |        1    25333    844 |  4.677 % |
144.67/144.73	c |     59691 |   51318   740500  1722596 |        1    25435    844 |  4.677 % |
144.67/144.73	c |     60005 |   51318   740500  1722596 |        1    25749    860 |  4.677 % |
144.67/144.73	c |     61145 |   51317   740500  1722596 |        1    26888    905 |  4.679 % |
144.67/144.73	c |     61245 |   51317   740500  1722596 |        1    26988    905 |  4.679 % |
144.67/144.73	c |     61349 |   51317   740500  1722596 |        1    27092    909 |  4.679 % |
144.67/144.73	c |     61812 |   51316   740500  1722596 |        1    27554    924 |  4.681 % |
144.67/144.73	c |     61912 |   51316   740500  1722596 |        1    27654    928 |  4.681 % |
144.67/144.73	c |     62016 |   51316   740500  1722596 |        1    27758    927 |  4.681 % |
144.67/144.73	c |     62948 |   51315   740500  1722596 |        1    28689    946 |  4.683 % |
144.67/144.73	c |     63697 |   51314   740500  1722596 |        1    15078    277 |  4.685 % |
144.67/144.73	c |     64689 |   51312   740500  1722596 |        1    16068    348 |  4.688 % |
144.67/144.73	c |     64794 |   51312   740500  1722596 |        1    16173    360 |  4.688 % |
144.67/144.73	c |     65224 |   51311   740500  1722596 |        1    16602    386 |  4.690 % |
144.67/144.73	c |     68327 |   51297   740500  1722596 |        1    19702    529 |  4.716 % |
144.67/144.73	c |     69682 |   51297   740496  1722579 |        1    21056    538 |  4.716 % |
144.67/144.73	c |     69854 |   51297   740496  1722579 |        1    21228    543 |  4.716 % |
144.67/144.73	c |     69954 |   51297   740496  1722579 |        1    21328    545 |  4.716 % |
144.67/144.73	c |     70094 |   51297   740496  1722579 |        1    21468    555 |  4.716 % |
144.67/144.73	c |     70195 |   51297   740496  1722579 |        1    21569    559 |  4.716 % |
144.67/144.73	c |     70378 |   51295   740496  1722579 |        1    21750    568 |  4.720 % |
144.67/144.73	c |     70885 |   51294   740496  1722579 |        1    22256    580 |  4.722 % |
144.67/144.73	c |     70988 |   51294   740496  1722579 |        1    22359    585 |  4.722 % |
144.67/144.73	c |     71105 |   51293   740496  1722579 |        1    22475    588 |  4.724 % |
144.67/144.73	c |     71581 |   51292   740496  1722579 |        1    22950    631 |  4.725 % |
200.08/200.17	c |     71681 |   51291   740496  1722579 |        1    23049    632 |  4.727 % |
200.08/200.17	c |     73339 |   51287   740496  1722579 |        1    24701    688 |  4.735 % |
200.08/200.17	c |     73524 |   51286   740496  1722579 |        1    24885    688 |  4.737 % |
200.08/200.17	c |     73665 |   51286   740496  1722579 |        1    25026    688 |  4.737 % |
200.08/200.17	c |     73949 |   51286   740496  1722579 |        1    25310    689 |  4.737 % |
200.08/200.17	c |     74050 |   51285   740496  1722579 |        1    25410    690 |  4.738 % |
200.08/200.17	c |     74152 |   51285   740496  1722579 |        1    25512    691 |  4.738 % |
200.08/200.17	c |     74503 |   51285   740496  1722579 |        1    25863    713 |  4.738 % |
200.08/200.17	c |     74603 |   51285   740496  1722579 |        1    25963    713 |  4.738 % |
200.08/200.17	c |     75143 |   51237   740496  1722579 |        1    26500    715 |  4.828 % |
200.08/200.17	c |     75245 |   51236   740496  1722579 |        1    26601    714 |  4.829 % |
200.08/200.17	c |     76527 |   51236   740496  1722579 |        1    27883    736 |  4.829 % |
200.08/200.17	c |     76627 |   51236   740496  1722579 |        1    27983    736 |  4.829 % |
200.08/200.17	c |     77321 |   51236   740496  1722579 |        1    28677    753 |  4.829 % |
200.08/200.17	c |     77432 |   51236   740496  1722579 |        1    28788    758 |  4.829 % |
200.08/200.17	c |     77532 |   51236   740496  1722579 |        1    28888    759 |  4.829 % |
200.08/200.17	c |     77670 |   51166   740496  1722579 |        1    29025    759 |  4.960 % |
200.08/200.17	c |     78250 |   51065   740390  1722101 |        1    29583    769 |  5.147 % |
200.08/200.17	c |     78361 |   51065   740390  1722101 |        1    29694    770 |  5.147 % |
200.08/200.17	c |     80664 |   51065   740390  1722101 |        1    31997    888 |  5.147 % |
200.08/200.17	c |     80766 |   51065   740390  1722101 |        1    32099    889 |  5.147 % |
200.08/200.17	c |     80938 |   51065   740390  1722101 |        1    32271    893 |  5.147 % |
200.08/200.17	c |     81038 |   51065   740390  1722101 |        1    32371    892 |  5.147 % |
200.08/200.17	c |     82470 |   51063   740390  1722101 |        1    33801    893 |  5.151 % |
200.08/200.17	c |     82596 |   51063   740390  1722101 |        1    33927    895 |  5.151 % |
200.08/200.17	c |     82700 |   51062   740390  1722101 |        1    17462    196 |  5.153 % |
200.08/200.17	c |     82813 |   51062   740390  1722101 |        1    17575    207 |  5.153 % |
200.08/200.17	c |     82914 |   51062   740390  1722101 |        1    17676    218 |  5.153 % |
200.08/200.17	c |     83017 |   51062   740390  1722101 |        1    17779    221 |  5.153 % |
200.08/200.17	c |     84201 |   51061   740390  1722101 |        1    18962    280 |  5.155 % |
200.08/200.17	c |     84301 |   51061   740390  1722101 |        1    19062    286 |  5.155 % |
200.08/200.17	c |     84429 |   51061   740390  1722101 |        1    19190    299 |  5.155 % |
200.08/200.17	c |     84530 |   51061   740390  1722101 |        1    19291    304 |  5.155 % |
200.08/200.17	c |     84829 |   51060   740390  1722101 |        1    19589    318 |  5.156 % |
200.08/200.17	c |     84951 |   51060   740390  1722101 |        1    19711    323 |  5.156 % |
200.08/200.17	c |     85051 |   51060   740390  1722101 |        1    19811    329 |  5.156 % |
200.08/200.17	c |     86097 |   51060   740390  1722101 |        1    20857    381 |  5.156 % |
200.08/200.17	c |     86199 |   51060   740390  1722101 |        1    20959    386 |  5.156 % |
200.08/200.17	c |     88274 |   51042   740390  1722101 |        1    23020    455 |  5.190 % |
200.08/200.17	c |     88422 |   51042   740390  1722101 |        1    23168    464 |  5.190 % |
200.08/200.17	c |     88523 |   51042   740390  1722101 |        1    23269    469 |  5.190 % |
200.08/200.17	c |     89296 |   51039   740390  1722101 |        1    24039    488 |  5.195 % |
200.08/200.17	c |     89398 |   51039   740390  1722101 |        1    24141    491 |  5.195 % |
200.08/200.17	c |     89619 |   51038   740390  1722101 |        1    24361    501 |  5.197 % |
200.08/200.17	c |     89719 |   51038   740390  1722101 |        1    24461    505 |  5.197 % |
200.08/200.17	c |     89902 |   51038   740390  1722101 |        1    24644    513 |  5.197 % |
200.08/200.17	c |     90351 |   51036   740385  1722077 |        1    25087    528 |  5.201 % |
200.08/200.17	c |     92396 |   51033   740385  1722077 |        1    27129    702 |  5.207 % |
200.08/200.17	c |     92498 |   51033   740385  1722077 |        1    27231    702 |  5.207 % |
200.08/200.17	c |     93968 |   51029   740385  1722077 |        1    28697    722 |  5.214 % |
282.08/282.18	c |     94699 |   51029   740385  1722077 |        1    29428    765 |  5.214 % |
282.08/282.18	c |     94799 |   51029   740385  1722077 |        1    29528    767 |  5.214 % |
282.08/282.18	c |     95150 |   51029   740385  1722077 |        1    29879    775 |  5.214 % |
282.08/282.18	c |     95251 |   51029   740385  1722077 |        1    29980    774 |  5.214 % |
282.08/282.18	c |     95880 |   51027   740385  1722077 |        1    30605    792 |  5.218 % |
282.08/282.18	c |     95980 |   51027   740385  1722077 |        1    30705    793 |  5.218 % |
282.08/282.18	c |     97030 |   51027   740385  1722077 |        1    31755    872 |  5.218 % |
282.08/282.18	c |     97132 |   51020   740385  1722077 |        1    31855    870 |  5.231 % |
282.08/282.18	c |     97793 |   51019   740385  1722077 |        1    32515    875 |  5.233 % |
282.08/282.18	c |     98084 |   51019   740385  1722077 |        1    32806    874 |  5.233 % |
282.08/282.18	c |     98383 |   51016   740385  1722077 |        1    33102    879 |  5.238 % |
282.08/282.18	c |     99026 |   51014   740385  1722077 |        1    33743    882 |  5.242 % |
282.08/282.18	c |     99127 |   51014   740385  1722077 |        1    33844    882 |  5.242 % |
282.08/282.18	c |     99228 |   51014   740385  1722077 |        1    33945    884 |  5.242 % |
282.08/282.18	c |     99328 |   51014   740385  1722077 |        1    34045    883 |  5.242 % |
282.08/282.18	c |     99551 |   51014   740385  1722077 |        1    34268    895 |  5.242 % |
282.08/282.18	c |     99654 |   51014   740385  1722077 |        1    34371    896 |  5.242 % |
282.08/282.18	c |    100067 |   51014   740385  1722077 |        1    34784    905 |  5.242 % |
282.08/282.18	c |    101018 |   51008   740385  1722077 |        1    35732    905 |  5.253 % |
282.08/282.18	c |    101118 |   51008   740385  1722077 |        1    35832    905 |  5.253 % |
282.08/282.18	c |    101934 |   50991   740385  1722077 |        1    36645    910 |  5.285 % |
282.08/282.18	c |    102267 |   50982   740385  1722077 |        1    36976    908 |  5.301 % |
282.08/282.18	c |    102398 |   50982   740385  1722077 |        1    37107    915 |  5.301 % |
282.08/282.18	c |    102501 |   50982   740385  1722077 |        1    37210    915 |  5.301 % |
282.08/282.18	c |    103015 |   50981   740385  1722077 |        1    37723    933 |  5.303 % |
282.08/282.18	c |    104259 |   50974   740385  1722077 |        1    38964    961 |  5.316 % |
282.08/282.18	c |    106706 |   50929   740362  1721980 |        1    22338    238 |  5.400 % |
282.08/282.18	c |    107553 |   50928   740362  1721980 |        1    23184    277 |  5.402 % |
282.08/282.18	c |    107838 |   50926   740341  1721878 |        1    23464    284 |  5.405 % |
282.08/282.18	c |    107940 |   50926   740341  1721878 |        1    23566    288 |  5.405 % |
282.08/282.18	c |    108117 |   50926   740341  1721878 |        1    23743    291 |  5.405 % |
282.08/282.18	c |    108846 |   50926   740341  1721878 |        1    24472    340 |  5.405 % |
282.08/282.18	c |    108950 |   50926   740341  1721878 |        1    24576    342 |  5.405 % |
282.08/282.18	c |    109310 |   50921   740341  1721878 |        1    24935    365 |  5.415 % |
282.08/282.18	c |    109412 |   50921   740341  1721878 |        1    25037    367 |  5.415 % |
282.08/282.18	c |    112942 |   50910   740337  1721862 |        1    28559    494 |  5.435 % |
282.08/282.18	c |    113042 |   50910   740337  1721862 |        1    28659    493 |  5.435 % |
282.08/282.18	c |    113855 |   50910   740337  1721862 |        1    29472    509 |  5.435 % |
282.08/282.18	c |    113956 |   50910   740337  1721862 |        1    29573    510 |  5.435 % |
282.08/282.18	c |    114056 |   50910   740337  1721862 |        1    29673    509 |  5.435 % |
282.08/282.18	c |    114158 |   50910   740337  1721862 |        1    29775    511 |  5.435 % |
282.08/282.18	c |    114412 |   50909   740337  1721862 |        1    30028    526 |  5.437 % |
282.08/282.18	c |    114680 |   50909   740337  1721862 |        1    30296    535 |  5.437 % |
282.08/282.18	c |    114931 |   50909   740337  1721862 |        1    30547    536 |  5.437 % |
282.08/282.18	c |    117750 |   50884   740327  1721817 |        1    33351    596 |  5.483 % |
282.08/282.18	c |    117858 |   50883   740327  1721817 |        1    33458    598 |  5.485 % |
282.08/282.18	c |    118590 |   50883   740327  1721817 |        1    34190    620 |  5.485 % |
282.08/282.18	c |    120133 |   50883   740327  1721817 |        1    35733    650 |  5.485 % |
282.08/282.18	c |    121596 |   50882   740327  1721817 |        1    37195    674 |  5.487 % |
282.08/282.18	c |    122254 |   50881   740327  1721817 |        1    37852    681 |  5.489 % |
344.09/344.14	c |    124068 |   50877   740327  1721817 |        1    39662    684 |  5.496 % |
344.09/344.14	c |    124492 |   50876   740327  1721817 |        1    40085    683 |  5.498 % |
344.09/344.14	c |    124593 |   50876   740327  1721817 |        1    40186    684 |  5.498 % |
344.09/344.14	c |    124851 |   50876   740327  1721817 |        1    40444    684 |  5.498 % |
344.09/344.14	c |    124955 |   50873   740327  1721817 |        1    40545    683 |  5.504 % |
344.09/344.14	c |    125623 |   50866   740327  1721817 |        1    41211    689 |  5.517 % |
344.09/344.14	c |    127187 |   50859   740327  1721817 |        1    42770    697 |  5.530 % |
344.09/344.14	c |    127287 |   50859   740327  1721817 |        1    42870    697 |  5.530 % |
344.09/344.14	c |    128138 |   50856   740327  1721817 |        1    43718    703 |  5.535 % |
344.09/344.14	c |    128238 |   50856   740327  1721817 |        1    43818    706 |  5.535 % |
344.09/344.14	c |    128342 |   50856   740327  1721817 |        1    43922    706 |  5.535 % |
344.09/344.14	c |    129549 |   50856   740327  1721817 |        1    45129    772 |  5.535 % |
344.09/344.14	c |    129649 |   50856   740327  1721817 |        1    24203    154 |  5.535 % |
344.09/344.14	c |    130129 |   50855   740327  1721817 |        1    24682    162 |  5.537 % |
344.09/344.14	c |    130437 |   50801   740327  1721817 |        1    24989    172 |  5.637 % |
344.09/344.14	c |    131160 |   50799   740327  1721817 |        1    25710    182 |  5.641 % |
344.09/344.14	c |    131428 |   50799   740327  1721817 |        1    25978    211 |  5.641 % |
344.09/344.14	c |    131880 |   50798   740327  1721817 |        1    26429    221 |  5.643 % |
344.09/344.14	c |    132044 |   50798   740327  1721817 |        1    26593    227 |  5.643 % |
344.09/344.14	c |    132833 |   50798   740327  1721817 |        1    27382    275 |  5.643 % |
344.09/344.14	c |    132935 |   50797   740327  1721817 |        1    27483    278 |  5.645 % |
344.09/344.14	c |    133231 |   50797   740327  1721817 |        1    27779    288 |  5.645 % |
344.09/344.14	c |    133420 |   50789   740327  1721817 |        1    27967    295 |  5.660 % |
344.09/344.14	c |    133794 |   50789   740327  1721817 |        1    28341    304 |  5.660 % |
344.09/344.14	c |    135240 |   50787   740291  1721655 |        1    29775    337 |  5.663 % |
344.09/344.14	c |    135357 |   50787   740291  1721655 |        1    29892    345 |  5.663 % |
344.09/344.14	c |    135459 |   50787   740291  1721655 |        1    29994    349 |  5.663 % |
344.09/344.14	c |    135635 |   50787   740291  1721655 |        1    30170    353 |  5.663 % |
344.09/344.14	c |    135761 |   50787   740291  1721655 |        1    30296    354 |  5.663 % |
344.09/344.14	c |    139126 |   50784   740291  1721655 |        1    33655    474 |  5.669 % |
344.09/344.14	c |    139229 |   50784   740291  1721655 |        1    33758    476 |  5.669 % |
344.09/344.14	c |    139340 |   50784   740291  1721655 |        1    33869    476 |  5.669 % |
344.09/344.14	c |    139697 |   50784   740291  1721655 |        1    34226    496 |  5.669 % |
344.09/344.14	c |    140617 |   50784   740291  1721655 |        1    35146    497 |  5.669 % |
344.09/344.14	c |    141046 |   50784   740291  1721655 |        1    35575    518 |  5.669 % |
344.09/344.14	c |    142928 |   50780   740291  1721655 |        1    37453    542 |  5.676 % |
344.09/344.14	c |    143031 |   50780   740291  1721655 |        1    37556    545 |  5.676 % |
344.09/344.14	c |    143132 |   50780   740291  1721655 |        1    37657    546 |  5.676 % |
344.09/344.14	c |    143234 |   50778   740291  1721655 |        1    37757    546 |  5.680 % |
344.09/344.14	c |    144121 |   50774   740291  1721655 |        1    38643    583 |  5.688 % |
344.09/344.14	c |    144278 |   50774   740289  1721647 |        1    38797    584 |  5.688 % |
344.09/344.14	c |    144628 |   50774   740289  1721647 |        1    39147    584 |  5.688 % |
344.09/344.14	c |    144756 |   50774   740289  1721647 |        1    39275    585 |  5.688 % |
344.09/344.14	c |    144857 |   50773   740289  1721647 |        1    39375    586 |  5.690 % |
344.09/344.14	c |    144991 |   50773   740289  1721647 |        1    39509    585 |  5.690 % |
344.09/344.14	c |    145301 |   50772   740289  1721647 |        1    39818    595 |  5.691 % |
344.09/344.14	c |    145719 |   50589   740289  1721647 |        1    40235    598 |  6.031 % |
344.09/344.14	c |    147897 |   50530   740289  1721647 |        1    42410    642 |  6.141 % |
344.09/344.14	c |    148172 |   50529   740289  1721647 |        1    42684    648 |  6.143 % |
344.09/344.14	c |    149567 |   50528   740289  1721647 |        1    44078    647 |  6.145 % |
459.59/459.62	c |    150015 |   50528   740289  1721647 |        1    44526    648 |  6.145 % |
459.59/459.62	c |    152468 |   50526   740162  1721053 |        1    46952    724 |  6.148 % |
459.59/459.62	c |    152568 |   50526   740162  1721053 |        1    47052    725 |  6.148 % |
459.59/459.62	c |    152669 |   50525   740162  1721053 |        1    47152    727 |  6.150 % |
459.59/459.62	c |    152841 |   50525   740162  1721053 |        1    47324    729 |  6.150 % |
459.59/459.62	c |    152942 |   50525   740162  1721053 |        1    47425    729 |  6.150 % |
459.59/459.62	c |    153824 |   50525   740162  1721053 |        1    48307    766 |  6.150 % |
459.59/459.62	c |    153924 |   50524   740162  1721053 |        1    48406    766 |  6.152 % |
459.59/459.62	c |    154030 |   50524   740162  1721053 |        1    48512    768 |  6.152 % |
459.59/459.62	c |    154839 |   50522   740162  1721053 |        1    49319    771 |  6.156 % |
459.59/459.62	c |    154939 |   50522   740162  1721053 |        1    49419    772 |  6.156 % |
459.59/459.62	c |    155182 |   50522   740162  1721053 |        1    49662    770 |  6.156 % |
459.59/459.62	c |    156027 |   50522   740162  1721053 |        1    50507    774 |  6.156 % |
459.59/459.62	c |    156208 |   50522   740162  1721053 |        1    50688    774 |  6.156 % |
459.59/459.62	c |    156559 |   50522   740162  1721053 |        1    51039    777 |  6.156 % |
459.59/459.62	c |    156948 |   50520   740162  1721053 |        1    51427    777 |  6.159 % |
459.59/459.62	c |    157160 |   50519   740162  1721053 |        1    28546    169 |  6.161 % |
459.59/459.62	c |    158025 |   50518   740162  1721053 |        1    29410    204 |  6.163 % |
459.59/459.62	c |    158963 |   50516   740162  1721053 |        1    30346    239 |  6.167 % |
459.59/459.62	c |    161595 |   50502   740162  1721053 |        1    32975    280 |  6.193 % |
459.59/459.62	c |    161699 |   50500   740162  1721053 |        1    33078    284 |  6.197 % |
459.59/459.62	c |    163186 |   50497   740162  1721053 |        1    34563    347 |  6.202 % |
459.59/459.62	c |    166131 |   50495   740157  1721031 |        1    37499    507 |  6.206 % |
459.59/459.62	c |    166691 |   50494   740157  1721031 |        1    38058    521 |  6.208 % |
459.59/459.62	c |    167851 |   50493   740157  1721031 |        1    39217    522 |  6.210 % |
459.59/459.62	c |    169998 |   50491   740157  1721031 |        1    41361    552 |  6.213 % |
459.59/459.62	c |    170098 |   50491   740157  1721031 |        1    41461    553 |  6.213 % |
459.59/459.62	c |    171311 |   50442   740157  1721031 |        1    42671    580 |  6.304 % |
459.59/459.62	c |    171941 |   50442   740157  1721031 |        1    43301    591 |  6.304 % |
459.59/459.62	c |    172043 |   50442   740157  1721031 |        1    43403    593 |  6.304 % |
459.59/459.62	c |    172147 |   50442   740157  1721031 |        1    43507    593 |  6.304 % |
459.59/459.62	c |    172389 |   50442   740157  1721031 |        1    43749    593 |  6.304 % |
459.59/459.62	c |    175265 |   50442   740157  1721031 |        1    46625    626 |  6.304 % |
459.59/459.62	c |    175943 |   50442   740157  1721031 |        1    47303    631 |  6.304 % |
459.59/459.62	c |    178635 |   50420   740125  1720881 |        1    49985    649 |  6.345 % |
459.59/459.62	c |    178737 |   50420   740125  1720881 |        1    50087    649 |  6.345 % |
459.59/459.62	c |    179744 |   50419   740125  1720881 |        1    51093    673 |  6.347 % |
459.59/459.62	c |    179848 |   50419   740125  1720881 |        1    51197    673 |  6.347 % |
459.59/459.62	c |    180141 |   50419   740125  1720881 |        1    51490    678 |  6.347 % |
459.59/459.62	c |    180244 |   50419   740125  1720881 |        1    51593    680 |  6.347 % |
459.59/459.62	c |    180866 |   50418   740125  1720881 |        1    52214    688 |  6.349 % |
459.59/459.62	c |    180966 |   50417   740125  1720881 |        1    52313    689 |  6.351 % |
459.59/459.62	c |    181164 |   50417   740125  1720881 |        1    52511    694 |  6.351 % |
459.59/459.62	c |    181265 |   50416   740125  1720881 |        1    52611    694 |  6.353 % |
459.59/459.62	c |    182379 |   50385   740125  1720881 |        1    53722    699 |  6.410 % |
459.59/459.62	c |    182484 |   50385   740125  1720881 |        1    53827    698 |  6.410 % |
459.59/459.62	c |    182584 |   50385   740125  1720881 |        1    53927    697 |  6.410 % |
459.59/459.62	c |    182687 |   50385   740125  1720881 |        1    54030    697 |  6.410 % |
459.59/459.62	c |    182787 |   50385   740125  1720881 |        1    54130    696 |  6.410 % |
601.09/601.16	c |    184672 |   50380   740125  1720881 |        1    56013    711 |  6.419 % |
601.09/601.16	c |    184774 |   50380   740125  1720881 |        1    56115    712 |  6.419 % |
601.09/601.16	c |    185126 |   50380   740125  1720881 |        1    56467    720 |  6.419 % |
601.09/601.16	c |    188482 |   50377   740125  1720881 |        1    34420    201 |  6.425 % |
601.09/601.16	c |    188582 |   50377   740125  1720881 |        1    34520    204 |  6.425 % |
601.09/601.16	c |    188953 |   50377   740125  1720881 |        1    34891    214 |  6.425 % |
601.09/601.16	c |    190653 |   50376   740108  1720809 |        1    36588    272 |  6.427 % |
601.09/601.16	c |    191070 |   50375   740108  1720809 |        1    37004    284 |  6.429 % |
601.09/601.16	c |    192392 |   50375   740108  1720809 |        1    38326    302 |  6.429 % |
601.09/601.16	c |    192492 |   50375   740108  1720809 |        1    38426    302 |  6.429 % |
601.09/601.16	c |    192778 |   50375   740108  1720809 |        1    38712    313 |  6.429 % |
601.09/601.16	c |    192878 |   50375   740108  1720809 |        1    38812    314 |  6.429 % |
601.09/601.16	c |    193190 |   50375   740108  1720809 |        1    39124    324 |  6.429 % |
601.09/601.16	c |    193290 |   50375   740108  1720809 |        1    39224    324 |  6.429 % |
601.09/601.16	c |    194887 |   50372   740108  1720809 |        1    40820    377 |  6.434 % |
601.09/601.16	c |    194988 |   50372   740108  1720809 |        1    40921    378 |  6.434 % |
601.09/601.16	c |    195535 |   50372   740108  1720809 |        1    41468    380 |  6.434 % |
601.09/601.16	c |    196044 |   50371   740108  1720809 |        1    41976    396 |  6.436 % |
601.09/601.16	c |    196144 |   50371   740108  1720809 |        1    42076    398 |  6.436 % |
601.09/601.16	c |    196249 |   50371   740108  1720809 |        1    42181    399 |  6.436 % |
601.09/601.16	c |    196920 |   50368   740108  1720809 |        1    42849    414 |  6.442 % |
601.09/601.16	c |    197124 |   50367   740108  1720809 |        1    43052    422 |  6.444 % |
601.09/601.16	c |    198397 |   50367   740108  1720809 |        1    44325    457 |  6.444 % |
601.09/601.16	c |    201839 |   50361   740106  1720800 |        1    47765    512 |  6.455 % |
601.09/601.16	c |    201939 |   50361   740106  1720800 |        1    47865    513 |  6.455 % |
601.09/601.16	c |    202039 |   50360   740106  1720800 |        1    47964    516 |  6.457 % |
601.09/601.16	c |    202139 |   50360   740106  1720800 |        1    48064    517 |  6.457 % |
601.09/601.16	c |    204836 |   50355   740106  1720800 |        1    50759    574 |  6.466 % |
601.09/601.16	c |    204936 |   50355   740106  1720800 |        1    50859    575 |  6.466 % |
601.09/601.16	c |    205039 |   50355   740106  1720800 |        1    50962    580 |  6.466 % |
601.09/601.16	c |    205140 |   50355   740106  1720800 |        1    51063    583 |  6.466 % |
601.09/601.16	c |    205241 |   50355   740106  1720800 |        1    51164    584 |  6.466 % |
601.09/601.16	c |    206127 |   50354   740102  1720784 |        1    52046    588 |  6.468 % |
601.09/601.16	c |    206231 |   50354   740102  1720784 |        1    52150    590 |  6.468 % |
601.09/601.16	c |    207073 |   50354   740102  1720784 |        1    52992    590 |  6.468 % |
601.09/601.16	c |    207173 |   50353   740102  1720784 |        1    53091    592 |  6.470 % |
601.09/601.16	c |    207275 |   50353   740102  1720784 |        1    53193    596 |  6.470 % |
601.09/601.16	c |    208770 |   50352   740102  1720784 |        1    54687    622 |  6.472 % |
601.09/601.16	c |    211391 |   50350   740102  1720784 |        1    57307    648 |  6.475 % |
601.09/601.16	c |    211497 |   50350   740102  1720784 |        1    57413    650 |  6.475 % |
601.09/601.16	c |    215355 |   50336   740102  1720784 |        1    61268    663 |  6.501 % |
601.09/601.16	c |    215456 |   50336   740102  1720784 |        1    61369    663 |  6.501 % |
601.09/601.16	c |    218562 |   50333   740097  1720760 |        1    64472    675 |  6.507 % |
601.09/601.16	c |    220795 |   50332   740097  1720760 |        1    39031    206 |  6.509 % |
601.09/601.16	c |    220895 |   50332   740097  1720760 |        1    39131    209 |  6.509 % |
601.09/601.16	c |    222707 |   50331   740097  1720760 |        1    40942    256 |  6.511 % |
601.09/601.16	c |    225496 |   50322   740097  1720760 |        1    43730    328 |  6.527 % |
601.09/601.16	c |    225602 |   50322   740097  1720760 |        1    43836    328 |  6.527 % |
601.09/601.16	c |    226113 |   50321   740097  1720760 |        1    44346    340 |  6.529 % |
601.09/601.16	c |    227414 |   50315   740097  1720760 |        1    45645    362 |  6.540 % |
783.40/783.49	c |    227540 |   50315   740097  1720760 |        1    45771    366 |  6.540 % |
783.40/783.49	c |    227644 |   50315   740097  1720760 |        1    45875    367 |  6.540 % |
783.40/783.49	c |    227954 |   50314   740097  1720760 |        1    46184    374 |  6.542 % |
783.40/783.49	c |    228185 |   50314   740097  1720760 |        1    46415    379 |  6.542 % |
783.40/783.49	c |    228286 |   50314   740097  1720760 |        1    46516    382 |  6.542 % |
783.40/783.49	c |    228386 |   50313   740097  1720760 |        1    46615    382 |  6.544 % |
783.40/783.49	c |    229602 |   50313   740097  1720760 |        1    47831    404 |  6.544 % |
783.40/783.49	c |    231790 |   50312   740092  1720736 |        1    50009    446 |  6.546 % |
783.40/783.49	c |    231894 |   50312   740092  1720736 |        1    50113    450 |  6.546 % |
783.40/783.49	c |    232506 |   50312   740092  1720736 |        1    50725    461 |  6.546 % |
783.40/783.49	c |    233180 |   50307   740092  1720736 |        1    51397    477 |  6.555 % |
783.40/783.49	c |    233280 |   50307   740092  1720736 |        1    51497    477 |  6.555 % |
783.40/783.49	c |    235094 |   50307   740092  1720736 |        1    53311    508 |  6.555 % |
783.40/783.49	c |    236749 |   50306   740092  1720736 |        1    54965    554 |  6.557 % |
783.40/783.49	c |    236852 |   50306   740092  1720736 |        1    55068    555 |  6.557 % |
783.40/783.49	c |    239692 |   50305   740092  1720736 |        1    57907    585 |  6.559 % |
783.40/783.49	c |    239794 |   50304   740090  1720729 |        1    58007    586 |  6.561 % |
783.40/783.49	c |    243937 |   50304   740090  1720729 |        1    62150    636 |  6.561 % |
783.40/783.49	c |    244896 |   50303   740090  1720729 |        1    63108    653 |  6.563 % |
783.40/783.49	c |    245121 |   50303   740090  1720729 |        1    63333    655 |  6.563 % |
783.40/783.49	c |    247180 |   50300   740090  1720729 |        1    65389    669 |  6.568 % |
783.40/783.49	c |    247452 |   50300   740090  1720729 |        1    65661    672 |  6.568 % |
783.40/783.49	c |    248087 |   50300   740090  1720729 |        1    66296    670 |  6.568 % |
783.40/783.49	c |    249481 |   50299   740090  1720729 |        1    67689    694 |  6.570 % |
783.40/783.49	c |    249581 |   50299   740090  1720729 |        1    67789    694 |  6.570 % |
783.40/783.49	c |    249846 |   50299   740090  1720729 |        1    68054    702 |  6.570 % |
783.40/783.49	c |    249948 |   50299   740090  1720729 |        1    68156    703 |  6.570 % |
783.40/783.49	c |    256090 |   50251   740062  1720597 |        1    43529    217 |  6.659 % |
783.40/783.49	c |    256605 |   50239   740062  1720597 |        1    44041    221 |  6.681 % |
783.40/783.49	c |    259620 |   50149   740062  1720597 |        1    47055    298 |  6.849 % |
783.40/783.49	c |    259978 |   50148   740062  1720597 |        1    47412    308 |  6.850 % |
783.40/783.49	c |    260078 |   50148   740062  1720597 |        1    47512    309 |  6.850 % |
783.40/783.49	c |    263499 |   50138   740062  1720597 |        1    50932    392 |  6.869 % |
783.40/783.49	c |    264933 |   50138   740062  1720597 |        1    52366    405 |  6.869 % |
783.40/783.49	c |    267343 |   50136   740062  1720597 |        1    54774    453 |  6.873 % |
783.40/783.49	c |    267444 |   50136   740062  1720597 |        1    54875    454 |  6.873 % |
783.40/783.49	c |    268088 |   50135   740062  1720597 |        1    55518    458 |  6.875 % |
783.40/783.49	c |    268565 |   50134   740010  1720350 |        1    55973    466 |  6.876 % |
783.40/783.49	c |    269110 |   50133   740010  1720350 |        1    56517    468 |  6.878 % |
783.40/783.49	c |    269214 |   50133   740010  1720350 |        1    56621    468 |  6.878 % |
783.40/783.49	c |    271692 |   50131   740010  1720350 |        1    59098    507 |  6.882 % |
783.40/783.49	c |    271793 |   50131   740010  1720350 |        1    59199    508 |  6.882 % |
783.40/783.49	c |    271975 |   50131   740010  1720350 |        1    59381    511 |  6.882 % |
783.40/783.49	c |    272889 |   50131   740010  1720350 |        1    60295    522 |  6.882 % |
783.40/783.49	c |    276124 |   50129   740010  1720350 |        1    63528    553 |  6.886 % |
783.40/783.49	c |    277345 |   50129   740010  1720350 |        1    64749    569 |  6.886 % |
783.40/783.49	c |    277622 |   50129   740009  1720347 |        1    65024    576 |  6.886 % |
783.40/783.49	c |    277722 |   50129   740009  1720347 |        1    65124    577 |  6.886 % |
783.40/783.49	c |    278143 |   50128   740009  1720347 |        1    65544    583 |  6.888 % |
783.40/783.49	c |    279254 |   50127   740009  1720347 |        1    66654    588 |  6.889 % |
944.60/944.67	c |    280624 |   50127   740009  1720347 |        1    68024    592 |  6.889 % |
944.60/944.67	c |    280953 |   50127   740009  1720347 |        1    68353    594 |  6.889 % |
944.60/944.67	c |    282614 |   50117   740009  1720347 |        1    70012    603 |  6.908 % |
944.60/944.67	c |    284021 |   50116   740009  1720347 |        1    71418    622 |  6.910 % |
944.60/944.67	c |    284121 |   50116   740009  1720347 |        1    71518    622 |  6.910 % |
944.60/944.67	c |    284230 |   50116   740009  1720347 |        1    71627    624 |  6.910 % |
944.60/944.67	c |    284334 |   50116   740009  1720347 |        1    71731    624 |  6.910 % |
944.60/944.67	c |    284600 |   50116   740009  1720347 |        1    71997    626 |  6.910 % |
944.60/944.67	c |    284701 |   50116   740009  1720347 |        1    72098    626 |  6.910 % |
944.60/944.67	c |    287419 |   50099   740009  1720347 |        1    74815    647 |  6.941 % |
944.60/944.67	c |    287519 |   50099   740009  1720347 |        1    74915    648 |  6.941 % |
944.60/944.67	c |    287840 |   50099   740009  1720347 |        1    75236    652 |  6.941 % |
944.60/944.67	c |    289131 |   50099   740009  1720347 |        1    76527    657 |  6.941 % |
944.60/944.67	c |    289231 |   50099   740009  1720347 |        1    76627    659 |  6.941 % |
944.60/944.67	c |    289331 |   50098   740009  1720347 |        1    76726    660 |  6.943 % |
944.60/944.67	c |    289433 |   50098   740009  1720347 |        1    76828    661 |  6.943 % |
944.60/944.67	c |    289638 |   50098   740009  1720347 |        1    77033    664 |  6.943 % |
944.60/944.67	c |    289738 |   50098   739995  1720284 |        1    77123    664 |  6.943 % |
944.60/944.67	c |    290155 |   50098   739995  1720284 |        1    77540    668 |  6.943 % |
944.60/944.67	c |    290255 |   50098   739995  1720284 |        1    77640    667 |  6.943 % |
944.60/944.67	c |    291335 |   50098   739995  1720284 |        1    78720    679 |  6.943 % |
944.60/944.67	c |    295063 |   50087   739995  1720284 |        1    49336    207 |  6.964 % |
944.60/944.67	c |    297898 |   50054   739995  1720284 |        1    52170    242 |  7.025 % |
944.60/944.67	c |    298237 |   50054   739995  1720284 |        1    52509    243 |  7.025 % |
944.60/944.67	c |    298495 |   50027   739995  1720284 |        1    52766    245 |  7.075 % |
944.60/944.67	c |    299137 |   50026   739995  1720284 |        1    53407    253 |  7.077 % |
944.60/944.67	c |    301588 |   50023   739995  1720284 |        1    55856    289 |  7.083 % |
944.60/944.67	c |    301688 |   50023   739995  1720284 |        1    55956    290 |  7.083 % |
944.60/944.67	c |    301788 |   50023   739995  1720284 |        1    56056    292 |  7.083 % |
944.60/944.67	c |    303749 |   50021   739995  1720284 |        1    58015    312 |  7.086 % |
944.60/944.67	c |    305483 |   50011   739995  1720284 |        1    59748    366 |  7.105 % |
944.60/944.67	c |    305584 |   50011   739995  1720284 |        1    59849    366 |  7.105 % |
944.60/944.67	c |    308070 |   50006   739962  1720138 |        1    62310    383 |  7.114 % |
944.60/944.67	c |    312572 |   49958   739962  1720138 |        1    66811    467 |  7.203 % |
944.60/944.67	c |    316184 |   49957   739962  1720138 |        1    70422    497 |  7.205 % |
944.60/944.67	c |    316284 |   49957   739939  1720030 |        1    70508    498 |  7.205 % |
944.60/944.67	c |    318712 |   49957   739939  1720030 |        1    72936    522 |  7.205 % |
944.60/944.67	c |    319364 |   49956   739939  1720030 |        1    73587    533 |  7.207 % |
944.60/944.67	c |    320543 |   49901   739939  1720030 |        1    74765    546 |  7.309 % |
944.60/944.67	c |    320795 |   49900   739939  1720030 |        1    75016    549 |  7.311 % |
944.60/944.67	c |    320921 |   49900   739939  1720030 |        1    75142    552 |  7.311 % |
944.60/944.67	c |    321089 |   49900   739939  1720030 |        1    75310    552 |  7.311 % |
944.60/944.67	c |    321713 |   49900   739939  1720030 |        1    75934    573 |  7.311 % |
944.60/944.67	c |    321814 |   49900   739939  1720030 |        1    76035    574 |  7.311 % |
944.60/944.67	c |    323042 |   49888   739939  1720030 |        1    77262    578 |  7.333 % |
944.60/944.67	c |    327065 |   49887   739939  1720030 |        1    81284    600 |  7.335 % |
944.60/944.67	c |    327283 |   49887   739939  1720030 |        1    81502    600 |  7.335 % |
944.60/944.67	c |    332782 |   49881   739906  1719872 |        1    86986    634 |  7.346 % |
944.60/944.67	c |    332980 |   49881   739906  1719872 |        1    87184    633 |  7.346 % |
944.60/944.67	c |    333080 |   49881   739906  1719872 |        1    52469    179 |  7.346 % |
1105.71/1105.79	c |    333779 |   49880   739906  1719872 |        1    53167    189 |  7.348 % |
1105.71/1105.79	c |    333880 |   49880   739906  1719872 |        1    53268    191 |  7.348 % |
1105.71/1105.79	c |    334821 |   49879   739906  1719872 |        1    54208    210 |  7.350 % |
1105.71/1105.79	c |    334922 |   49879   739906  1719872 |        1    54309    211 |  7.350 % |
1105.71/1105.79	c |    336250 |   49871   739906  1719872 |        1    55636    227 |  7.365 % |
1105.71/1105.79	c |    336400 |   49871   739906  1719872 |        1    55786    228 |  7.365 % |
1105.71/1105.79	c |    336554 |   49871   739906  1719872 |        1    55940    233 |  7.365 % |
1105.71/1105.79	c |    337067 |   49870   739906  1719872 |        1    56452    247 |  7.367 % |
1105.71/1105.79	c |    338937 |   49869   739906  1719872 |        1    58321    317 |  7.369 % |
1105.71/1105.79	c |    339044 |   49869   739906  1719872 |        1    58428    318 |  7.369 % |
1105.71/1105.79	c |    340243 |   49869   739906  1719872 |        1    59627    351 |  7.369 % |
1105.71/1105.79	c |    340509 |   49869   739906  1719872 |        1    59893    355 |  7.369 % |
1105.71/1105.79	c |    340682 |   49869   739906  1719872 |        1    60066    356 |  7.369 % |
1105.71/1105.79	c |    340873 |   49869   739906  1719872 |        1    60257    359 |  7.369 % |
1105.71/1105.79	c |    341954 |   49860   739906  1719872 |        1    61337    376 |  7.385 % |
1105.71/1105.79	c |    342055 |   49859   739906  1719872 |        1    61437    377 |  7.387 % |
1105.71/1105.79	c |    342594 |   49859   739906  1719872 |        1    61976    388 |  7.387 % |
1105.71/1105.79	c |    342698 |   49859   739906  1719872 |        1    62080    388 |  7.387 % |
1105.71/1105.79	c |    344042 |   49859   739906  1719872 |        1    63424    392 |  7.387 % |
1105.71/1105.79	c |    345197 |   49855   739900  1719844 |        1    64304    413 |  7.395 % |
1105.71/1105.79	c |    347341 |   49855   739900  1719844 |        1    66448    439 |  7.395 % |
1105.71/1105.79	c |    347800 |   49854   739900  1719844 |        1    66906    444 |  7.397 % |
1105.71/1105.79	c |    347901 |   49854   739900  1719844 |        1    67007    444 |  7.397 % |
1105.71/1105.79	c |    349380 |   49839   739900  1719844 |        1    68485    470 |  7.424 % |
1105.71/1105.79	c |    351122 |   49838   739900  1719844 |        1    70226    490 |  7.426 % |
1105.71/1105.79	c |    351296 |   49830   739900  1719844 |        1    70398    492 |  7.441 % |
1105.71/1105.79	c |    351399 |   49830   739900  1719844 |        1    70501    492 |  7.441 % |
1105.71/1105.79	c |    351983 |   49829   739900  1719844 |        1    71084    497 |  7.443 % |
1105.71/1105.79	c |    352086 |   49829   739900  1719844 |        1    71187    498 |  7.443 % |
1105.71/1105.79	c |    353392 |   49829   739900  1719844 |        1    72493    514 |  7.443 % |
1105.71/1105.79	c |    354417 |   49824   739885  1719774 |        1    73512    516 |  7.452 % |
1105.71/1105.79	c |    354745 |   49824   739885  1719774 |        1    73840    517 |  7.452 % |
1105.71/1105.79	c |    354847 |   49824   739885  1719774 |        1    73942    520 |  7.452 % |
1105.71/1105.79	c |    355062 |   49824   739885  1719774 |        1    74157    521 |  7.452 % |
1105.71/1105.79	c |    358406 |   49818   739885  1719774 |        1    77500    533 |  7.463 % |
1105.71/1105.79	c |    360295 |   49768   739885  1719774 |        1    79386    549 |  7.556 % |
1105.71/1105.79	c |    360395 |   49768   739885  1719774 |        1    79486    549 |  7.556 % |
1105.71/1105.79	c |    363582 |   49767   739885  1719774 |        1    82672    550 |  7.558 % |
1105.71/1105.79	c |    365178 |   49767   739885  1719774 |        1    84268    565 |  7.558 % |
1105.71/1105.79	c |    365890 |   49766   739854  1719637 |        1    84958    571 |  7.560 % |
1105.71/1105.79	c |    371036 |   49764   739854  1719637 |        1    90102    612 |  7.564 % |
1105.71/1105.79	c |    373559 |   49761   739854  1719637 |        1    92624    624 |  7.569 % |
1105.71/1105.79	c |    375065 |   49760   739854  1719637 |        1    94129    633 |  7.571 % |
1105.71/1105.79	c |    375166 |   49760   739854  1719637 |        1    94230    633 |  7.571 % |
1105.71/1105.79	c |    375331 |   49759   739854  1719637 |        1    94394    635 |  7.573 % |
1105.71/1105.79	c |    375431 |   49759   739854  1719637 |        1    94494    634 |  7.573 % |
1105.71/1105.79	c |    377288 |   49758   739854  1719637 |        1    57333    200 |  7.575 % |
1105.71/1105.79	c |    377390 |   49758   739854  1719637 |        1    57435    200 |  7.575 % |
1105.71/1105.79	c |    379267 |   49756   739854  1719637 |        1    59310    238 |  7.579 % |
1105.71/1105.79	c |    379998 |   49756   739854  1719637 |        1    60041    256 |  7.579 % |
1461.82/1461.81	c |    382321 |   49753   739852  1719628 |        1    62359    283 |  7.584 % |
1461.82/1461.81	c |    383895 |   49753   739852  1719628 |        1    63933    300 |  7.584 % |
1461.82/1461.81	c |    383996 |   49753   739852  1719628 |        1    64034    303 |  7.584 % |
1461.82/1461.81	c |    384101 |   49753   739852  1719628 |        1    64139    304 |  7.584 % |
1461.82/1461.81	c |    385658 |   49752   739852  1719628 |        1    65695    335 |  7.586 % |
1461.82/1461.81	c |    385848 |   49752   739852  1719628 |        1    65885    338 |  7.586 % |
1461.82/1461.81	c |    387666 |   49752   739852  1719628 |        1    67703    376 |  7.586 % |
1461.82/1461.81	c |    387771 |   49752   739852  1719628 |        1    67808    379 |  7.586 % |
1461.82/1461.81	c |    388891 |   49750   739852  1719628 |        1    68926    393 |  7.590 % |
1461.82/1461.81	c |    391638 |   49742   739852  1719628 |        1    71671    421 |  7.605 % |
1461.82/1461.81	c |    392799 |   49698   739852  1719628 |        1    72829    428 |  7.686 % |
1461.82/1461.81	c |    393529 |   49698   739852  1719628 |        1    73559    432 |  7.686 % |
1461.82/1461.81	c |    394355 |   49697   739852  1719628 |        1    74384    449 |  7.688 % |
1461.82/1461.81	c |    395266 |   49695   739852  1719628 |        1    75294    458 |  7.692 % |
1461.82/1461.81	c |    396393 |   49694   739852  1719628 |        1    76420    464 |  7.694 % |
1461.82/1461.81	c |    397109 |   49694   739825  1719505 |        1    77121    470 |  7.694 % |
1461.82/1461.81	c |    398846 |   49693   739825  1719505 |        1    78857    473 |  7.696 % |
1461.82/1461.81	c |    405496 |   49671   739825  1719505 |        1    85504    518 |  7.736 % |
1461.82/1461.81	c |    406626 |   49670   739825  1719505 |        1    86633    525 |  7.738 % |
1461.82/1461.81	c |    406726 |   49670   739825  1719505 |        1    86733    525 |  7.738 % |
1461.82/1461.81	c |    407290 |   49670   739825  1719505 |        1    87297    531 |  7.738 % |
1461.82/1461.81	c |    407394 |   49670   739825  1719505 |        1    87401    531 |  7.738 % |
1461.82/1461.81	c |    408865 |   49669   739815  1719455 |        1    88856    541 |  7.740 % |
1461.82/1461.81	c |    409663 |   49669   739815  1719455 |        1    89654    542 |  7.740 % |
1461.82/1461.81	c |    412094 |   49669   739815  1719455 |        1    92085    561 |  7.740 % |
1461.82/1461.81	c |    412196 |   49669   739815  1719455 |        1    92187    563 |  7.740 % |
1461.82/1461.81	c |    412296 |   49669   739815  1719455 |        1    92287    565 |  7.740 % |
1461.82/1461.81	c |    412396 |   49669   739815  1719455 |        1    92387    565 |  7.740 % |
1461.82/1461.81	c |    415359 |   49668   739815  1719455 |        1    95349    576 |  7.742 % |
1461.82/1461.81	c |    418050 |   49668   739815  1719455 |        1    98040    581 |  7.742 % |
1461.82/1461.81	c |    418303 |   49668   739815  1719455 |        1    98293    583 |  7.742 % |
1461.82/1461.81	c |    427004 |   49667   739815  1719455 |        1    66777    248 |  7.744 % |
1461.82/1461.81	c |    431051 |   49661   739815  1719455 |        1    70820    291 |  7.755 % |
1461.82/1461.81	c |    431327 |   49661   739815  1719455 |        1    71096    296 |  7.755 % |
1461.82/1461.81	c |    434506 |   49660   739815  1719455 |        1    74274    308 |  7.757 % |
1461.82/1461.81	c |    435641 |   49660   739813  1719447 |        1    75409    327 |  7.757 % |
1461.82/1461.81	c |    438023 |   49653   739813  1719447 |        1    77788    352 |  7.770 % |
1461.82/1461.81	c |    439677 |   49652   739813  1719447 |        1    79441    360 |  7.772 % |
1461.82/1461.81	c |    439778 |   49652   739813  1719447 |        1    79542    360 |  7.772 % |
1461.82/1461.81	c |    447735 |   49648   739809  1719432 |        1    87491    407 |  7.779 % |
1461.82/1461.81	c |    447928 |   49648   739809  1719432 |        1    87684    409 |  7.779 % |
1461.82/1461.81	c |    457748 |   49647   739809  1719432 |        1    97503    444 |  7.781 % |
1461.82/1461.81	c |    457849 |   49647   739809  1719432 |        1    97598    445 |  7.781 % |
1461.82/1461.81	c |    459311 |   49646   739809  1719432 |        1    99059    453 |  7.783 % |
1461.82/1461.81	c |    462210 |   49643   739809  1719432 |        1   101955    463 |  7.788 % |
1461.82/1461.81	c |    469292 |   49642   739809  1719432 |        1   109036    500 |  7.790 % |
1461.82/1461.81	c |    471210 |   49641   739809  1719432 |        1    69350    185 |  7.792 % |
1461.82/1461.81	c |    471311 |   49641   739809  1719432 |        1    69449    185 |  7.792 % |
1461.82/1461.81	c |    476538 |   49640   739809  1719432 |        1    74675    239 |  7.794 % |
1461.82/1461.81	c |    477772 |   49640   739809  1719432 |        1    75908    246 |  7.794 % |
1705.22/1705.29	c |    479072 |   49635   739809  1719432 |        1    77207    252 |  7.803 % |
1705.22/1705.29	c |    479174 |   49635   739809  1719432 |        1    77309    252 |  7.803 % |
1705.22/1705.29	c |    481610 |   49635   739809  1719432 |        1    79745    278 |  7.803 % |
1705.22/1705.29	c |    485935 |   49634   739805  1719414 |        1    84064    327 |  7.805 % |
1705.22/1705.29	c |    486036 |   49634   739805  1719414 |        1    84165    328 |  7.805 % |
1705.22/1705.29	c |    488848 |   49633   739805  1719414 |        1    86976    355 |  7.807 % |
1705.22/1705.29	c |    488950 |   49633   739805  1719414 |        1    87078    356 |  7.807 % |
1705.22/1705.29	c |    489503 |   49633   739805  1719414 |        1    87631    362 |  7.807 % |
1705.22/1705.29	c |    491987 |   49632   739805  1719414 |        1    90113    369 |  7.809 % |
1705.22/1705.29	c |    496492 |   49631   739805  1719414 |        1    94617    394 |  7.811 % |
1705.22/1705.29	c |    496592 |   49631   739805  1719414 |        1    94717    395 |  7.811 % |
1705.22/1705.29	c |    498628 |   49631   739805  1719414 |        1    96753    411 |  7.811 % |
1705.22/1705.29	c |    499439 |   49631   739805  1719414 |        1    97564    413 |  7.811 % |
1705.22/1705.29	c |    500164 |   49631   739805  1719414 |        1    98289    419 |  7.811 % |
1705.22/1705.29	c |    500265 |   49631   739805  1719414 |        1    98390    420 |  7.811 % |
1705.22/1705.29	c |    500371 |   49629   739805  1719414 |        1    98494    421 |  7.814 % |
1705.22/1705.29	c |    500499 |   49629   739805  1719414 |        1    98622    422 |  7.814 % |
1705.22/1705.29	c |    501757 |   49628   739805  1719414 |        1    99879    426 |  7.816 % |
1705.22/1705.29	c |    502646 |   49628   739805  1719414 |        1   100768    436 |  7.816 % |
1705.22/1705.29	c |    506282 |   49621   739805  1719414 |        1   104399    450 |  7.829 % |
1705.22/1705.29	c |    508594 |   49583   739805  1719414 |        1   106709    473 |  7.900 % |
1705.22/1705.29	c |    509978 |   49583   739805  1719414 |        1   108093    484 |  7.900 % |
1705.22/1705.29	c |    511116 |   49583   739805  1719414 |        1   109231    485 |  7.900 % |
1705.22/1705.29	c |    512145 |   49583   739805  1719414 |        1   110260    486 |  7.900 % |
1705.22/1705.29	c |    512248 |   49583   739805  1719414 |        1   110363    486 |  7.900 % |
1705.22/1705.29	c |    514469 |   49558   739805  1719414 |        1   112582    494 |  7.946 % |
1705.22/1705.29	c |    514571 |   49558   739805  1719414 |        1   112684    494 |  7.946 % |
1705.22/1705.29	c |    517222 |   49557   739774  1719268 |        1   115330    504 |  7.948 % |
1705.22/1705.29	c |    517322 |   49557   739774  1719268 |        1   115430    504 |  7.948 % |
1705.22/1705.29	c |    517454 |   49557   739774  1719268 |        1   115562    505 |  7.948 % |
1705.22/1705.29	c |    521194 |   49554   739774  1719268 |        1    73466    172 |  7.954 % |
1705.22/1705.29	c |    524395 |   49550   739774  1719268 |        1    76665    195 |  7.961 % |
1705.22/1705.29	c |    527574 |   49443   739774  1719268 |        1    79842    225 |  8.160 % |
1705.22/1705.29	c |    537810 |   49438   739717  1719006 |        1    90028    295 |  8.169 % |
1705.22/1705.29	c |    537910 |   49438   739717  1719006 |        1    90128    296 |  8.169 % |
1705.22/1705.29	c |    538015 |   49432   739717  1719006 |        1    90231    296 |  8.180 % |
1705.22/1705.29	c |    538117 |   49432   739717  1719006 |        1    90333    298 |  8.180 % |
1705.22/1705.29	c |    538219 |   49432   739717  1719006 |        1    90435    301 |  8.180 % |
1705.22/1705.29	c |    538322 |   49432   739717  1719006 |        1    90538    302 |  8.180 % |
1705.22/1705.29	c |    538951 |   49432   739717  1719006 |        1    91167    306 |  8.180 % |
1705.22/1705.29	c |    542336 |   49431   739717  1719006 |        1    94551    336 |  8.182 % |
1705.22/1705.29	c |    545412 |   49431   739715  1718995 |        1    97624    346 |  8.182 % |
1705.22/1705.29	c |    550687 |   49429   739715  1718995 |        1   102897    362 |  8.186 % |
1705.22/1705.29	c |    551147 |   49429   739715  1718995 |        1   103357    363 |  8.186 % |
1705.22/1705.29	c |    553990 |   49428   739715  1718995 |        1   106195    374 |  8.188 % |
1705.22/1705.29	c |    554457 |   49428   739715  1718995 |        1   106662    378 |  8.188 % |
1705.22/1705.29	c |    555993 |   49427   739715  1718995 |        1   108197    387 |  8.190 % |
1705.22/1705.29	c |    556093 |   49427   739715  1718995 |        1   108297    387 |  8.190 % |
1705.22/1705.29	c |    558600 |   49425   739715  1718995 |        1   110802    396 |  8.193 % |
1705.22/1705.29	c |    559099 |   49425   739715  1718995 |        1   111301    399 |  8.193 % |
2098.04/2098.09	c |    559199 |   49425   739715  1718995 |        1   111401    400 |  8.193 % |
2098.04/2098.09	c |    561286 |   49425   739715  1718995 |        1   113488    412 |  8.193 % |
2098.04/2098.09	c |    566175 |   49416   739715  1718995 |        1   118373    444 |  8.210 % |
2098.04/2098.09	c |    568422 |   49416   739712  1718984 |        1   120617    451 |  8.210 % |
2098.04/2098.09	c |    569687 |   49415   739712  1718984 |        1   121881    455 |  8.212 % |
2098.04/2098.09	c |    578639 |   49412   739712  1718984 |        1    82968    186 |  8.218 % |
2098.04/2098.09	c |    578739 |   49412   739712  1718984 |        1    83068    187 |  8.218 % |
2098.04/2098.09	c |    579202 |   49412   739712  1718984 |        1    83531    197 |  8.218 % |
2098.04/2098.09	c |    580749 |   49411   739712  1718984 |        1    85077    212 |  8.219 % |
2098.04/2098.09	c |    587187 |   49410   739712  1718984 |        1    91511    233 |  8.221 % |
2098.04/2098.09	c |    587287 |   49409   739712  1718984 |        1    91610    234 |  8.223 % |
2098.04/2098.09	c |    587763 |   49409   739712  1718984 |        1    92086    241 |  8.223 % |
2098.04/2098.09	c |    587863 |   49409   739712  1718984 |        1    92186    242 |  8.223 % |
2098.04/2098.09	c |    590952 |   49409   739712  1718984 |        1    95275    273 |  8.223 % |
2098.04/2098.09	c |    591901 |   49409   739712  1718984 |        1    96224    279 |  8.223 % |
2098.04/2098.09	c |    592001 |   49409   739712  1718984 |        1    96324    280 |  8.223 % |
2098.04/2098.09	c |    593951 |   49409   739712  1718984 |        1    98274    290 |  8.223 % |
2098.04/2098.09	c |    595950 |   49409   739712  1718984 |        1   100273    296 |  8.223 % |
2098.04/2098.09	c |    597705 |   49409   739712  1718984 |        1   102028    298 |  8.223 % |
2098.04/2098.09	c |    598222 |   49409   739712  1718984 |        1   102545    300 |  8.223 % |
2098.04/2098.09	c |    601402 |   49403   739712  1718984 |        1   105722    308 |  8.234 % |
2098.04/2098.09	c |    612184 |   49400   739710  1718976 |        1   116500    343 |  8.240 % |
2098.04/2098.09	c |    612291 |   49400   739710  1718976 |        1   116601    344 |  8.240 % |
2098.04/2098.09	c |    623309 |   49400   739710  1718976 |        1   127619    389 |  8.240 % |
2098.04/2098.09	c |    623409 |   49399   739710  1718976 |        1   127718    389 |  8.242 % |
2098.04/2098.09	c |    626923 |   49386   739704  1718947 |        1   131214    401 |  8.266 % |
2098.04/2098.09	c |    627023 |   49386   739704  1718947 |        1   131314    401 |  8.266 % |
2098.04/2098.09	c |    630656 |   49386   739704  1718947 |        1   134947    404 |  8.266 % |
2098.04/2098.09	c |    635268 |   49385   739704  1718947 |        1   139558    408 |  8.268 % |
2098.04/2098.09	c |    635372 |   49385   739704  1718947 |        1   139662    408 |  8.268 % |
2098.04/2098.09	c |    636014 |   49385   739704  1718947 |        1   140304    410 |  8.268 % |
2098.04/2098.09	c |    645056 |   49384   739704  1718947 |        1   149345    434 |  8.270 % |
2098.04/2098.09	c |    652751 |   49377   739704  1718947 |        1    96499    177 |  8.283 % |
2098.04/2098.09	c |    653298 |   49376   739704  1718947 |        1    97045    182 |  8.284 % |
2098.04/2098.09	c |    653398 |   49375   739704  1718947 |        1    97144    183 |  8.286 % |
2098.04/2098.09	c |    653499 |   49375   739704  1718947 |        1    97245    184 |  8.286 % |
2098.04/2098.09	c |    654355 |   49374   739704  1718947 |        1    98100    190 |  8.288 % |
2098.04/2098.09	c |    655699 |   49373   739704  1718947 |        1    99443    197 |  8.290 % |
2098.04/2098.09	c |    655801 |   49373   739704  1718947 |        1    99545    198 |  8.290 % |
2098.04/2098.09	c |    657091 |   49373   739704  1718947 |        1   100835    215 |  8.290 % |
2098.04/2098.09	c |    657192 |   49373   739704  1718947 |        1   100936    216 |  8.290 % |
2098.04/2098.09	c |    671245 |   49371   739702  1718939 |        1   114970    270 |  8.294 % |
2098.04/2098.09	c |    673136 |   49371   739702  1718939 |        1   116861    284 |  8.294 % |
2098.04/2098.09	c |    673284 |   49371   739702  1718939 |        1   117009    285 |  8.294 % |
2098.04/2098.09	c |    676791 |   49371   739702  1718939 |        1   120516    309 |  8.294 % |
2098.04/2098.09	c |    678301 |   49370   739702  1718939 |        1   122025    318 |  8.296 % |
2098.04/2098.09	c |    678723 |   49370   739702  1718939 |        1   122447    322 |  8.296 % |
2098.04/2098.09	c |    678986 |   49370   739702  1718939 |        1   122710    325 |  8.296 % |
2098.04/2098.09	c |    679241 |   49370   739702  1718939 |        1   122965    327 |  8.296 % |
2098.04/2098.09	c |    679342 |   49370   739702  1718939 |        1   123066    327 |  8.296 % |
2270.46/2270.41	c |    690739 |   49348   739702  1718939 |        1   134459    363 |  8.336 % |
2270.46/2270.41	c |    692037 |   49348   739694  1718901 |        1   128802    344 |  8.336 % |
2270.46/2270.41	c |    692152 |   49348   739694  1718901 |        1   128917    346 |  8.336 % |
2270.46/2270.41	c |    692252 |   49348   739694  1718901 |        1   129017    347 |  8.336 % |
2270.46/2270.41	c |    694917 |   49347   739694  1718901 |        1   131681    354 |  8.338 % |
2270.46/2270.41	c |    700059 |   49347   739694  1718901 |        1   136823    370 |  8.338 % |
2270.46/2270.41	c |    700160 |   49347   739694  1718901 |        1   136924    371 |  8.338 % |
2270.46/2270.41	c |    701587 |   49287   739694  1718901 |        1   138349    372 |  8.450 % |
2270.46/2270.41	c |    709355 |   49286   739662  1718748 |        1   146045    404 |  8.452 % |
2270.46/2270.41	c |    709455 |   49286   739662  1718748 |        1   146145    404 |  8.452 % |
2270.46/2270.41	c |    711024 |   49286   739662  1718748 |        1    92692    150 |  8.452 % |
2270.46/2270.41	c |    713109 |   49286   739662  1718748 |        1    94777    168 |  8.452 % |
2270.46/2270.41	c |    718558 |   49284   739662  1718748 |        1   100224    215 |  8.455 % |
2270.46/2270.41	c |    729656 |   29094   737093  1702963 |        1    72481    112 | 45.958 % |
2270.46/2270.41	c ===============================================================================
2270.46/2270.41	c restarts              : 702
2270.46/2270.41	c nb ReduceDB           : 22
2270.46/2270.41	c nb removed Clauses    : 609881
2270.46/2270.41	c nb learnts DL2        : 8874
2270.46/2270.41	c nb learnts size 2     : 3042
2270.46/2270.41	c nb learnts size 1     : 664
2270.46/2270.41	c conflicts             : 729656         (322 /sec)
2270.46/2270.41	c decisions             : 5413360        (0.00 % random) (2388 /sec)
2270.46/2270.41	c propagations          : 2447844657     (1079804 /sec)
2270.46/2270.41	c conflict literals     : 795855532      (38.44 % deleted)
2270.46/2270.41	c nb reduced Clauses    : 2151
2270.46/2270.41	c CPU time              : 2266.93 s
2270.46/2270.41	
2270.46/2270.42	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303851-1303904349/watcher-3303851-1303904349 -o /tmp/evaluation-result-3303851-1303904349/solver-3303851-1303904349 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303851-1303904349.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 19573
/proc/meminfo: memFree=12906956/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 580665631 8912896 253 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19573/statm: 2176 253 211 178 0 69 0

[startup+0.030929 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 19573
/proc/meminfo: memFree=12906956/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 580665631 8912896 253 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19573/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100918 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 19573
/proc/meminfo: memFree=12906956/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 580665631 8912896 253 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19573/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300879 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 19573
/proc/meminfo: memFree=12906956/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 580665631 8912896 253 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19573/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.7008 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 19573
/proc/meminfo: memFree=12906956/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 580665631 8912896 253 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19573/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50065 s]
/proc/loadavg: 1.92 1.98 1.92 3/180 19575
/proc/meminfo: memFree=12830060/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 580665631 8912896 253 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19573/statm: 2176 253 211 178 0 69 0
[pid=19574] ppid=19573 vsize=87948 CPUtime=1.49 cores=0,2,4,6
/proc/19574/stat : 19574 (SatELite_releas) R 19573 19573 19293 0 -1 4202496 23429 0 0 0 145 4 0 0 25 0 1 0 580665631 90058752 19087 33554432000 134512640 135144242 4292400880 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/19574/statm: 21987 19087 77 155 0 21830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96652

[startup+3.10036 s]
/proc/loadavg: 1.92 1.98 1.92 3/180 19576
/proc/meminfo: memFree=12850396/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=60936 CPUtime=1.32 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 11390 0 0 0 131 1 0 0 22 0 1 0 580665807 62398464 11114 33554432000 4194304 4260849 140735852809280 18446744073709551615 4229282 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19576/statm: 15234 11114 250 17 0 11875 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 69640

[startup+6.30076 s]
/proc/loadavg: 1.93 1.98 1.92 3/180 19577
/proc/meminfo: memFree=12840480/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=72988 CPUtime=4.53 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 13581 0 0 0 451 2 0 0 25 0 1 0 580665807 74739712 13280 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19576/statm: 18247 13280 250 17 0 14888 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 81692

[startup+12.7006 s]
/proc/loadavg: 1.93 1.98 1.92 3/180 19577
/proc/meminfo: memFree=12831524/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=73892 CPUtime=10.92 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 23286 0 0 0 1089 3 0 0 25 0 1 0 580665807 75665408 14551 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209536 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19576/statm: 18473 14551 251 17 0 15114 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 82596

[startup+25.5012 s]
/proc/loadavg: 1.95 1.98 1.92 3/180 19577
/proc/meminfo: memFree=12809784/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=94040 CPUtime=23.72 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 37957 0 0 0 2367 5 0 0 25 0 1 0 580665807 96296960 18200 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209338 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 23510 18200 252 17 0 20151 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 102744

[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.92 3/180 19578
/proc/meminfo: memFree=12766132/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=76536 CPUtime=49.33 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 65543 0 0 0 4924 9 0 0 25 0 1 0 580665807 78372864 13001 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209374 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 19134 13001 252 17 0 15775 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85240

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.92 3/180 19579
/proc/meminfo: memFree=12741984/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=127860 CPUtime=100.53 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 103390 0 0 0 10038 15 0 0 25 0 1 0 580665807 130928640 27916 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 31965 27916 252 17 0 28606 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 136564

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/180 19581
/proc/meminfo: memFree=12743860/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=178988 CPUtime=160.53 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 142191 0 0 0 16031 22 0 0 25 0 1 0 580665807 183283712 36162 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209227 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 44747 36162 252 17 0 41388 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 187692

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/180 19582
/proc/meminfo: memFree=12689408/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=261208 CPUtime=220.53 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 182608 0 0 0 22026 27 0 0 25 0 1 0 580665807 267476992 42903 33554432000 4194304 4260849 140735852809280 18446744073709551615 4224509 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 65302 42903 252 17 0 61943 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 269912

[startup+282.301 s]
/proc/loadavg: 1.94 1.97 1.91 3/180 19614
/proc/meminfo: memFree=12879612/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=180580 CPUtime=280.53 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 218165 0 0 0 28021 32 0 0 25 0 1 0 580665807 184913920 37616 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 45145 37616 252 17 0 41786 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 189284

[startup+342.3 s]
/proc/loadavg: 2.02 1.99 1.92 3/180 19616
/proc/meminfo: memFree=12850372/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=181252 CPUtime=340.54 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 258499 0 0 0 34016 38 0 0 25 0 1 0 580665807 185602048 39911 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209374 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 45313 39911 252 17 0 41954 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 189956

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/180 19617
/proc/meminfo: memFree=12876748/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6

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


[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19665
/proc/meminfo: memFree=12738848/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=270292 CPUtime=1840.58 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 889817 0 0 0 183909 149 0 0 25 0 1 0 580665807 276779008 46192 33554432000 4194304 4260849 140735852809280 18446744073709551615 4225537 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 67573 46192 252 17 0 64214 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 278996

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19666
/proc/meminfo: memFree=12677208/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=270784 CPUtime=1900.59 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 903568 0 0 0 189907 152 0 0 25 0 1 0 580665807 277282816 59897 33554432000 4194304 4260849 140735852809280 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 67696 59897 252 17 0 64337 0
Current children cumulated CPU time (s) 1902.34
Current children cumulated vsize (KiB) 279488

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19668
/proc/meminfo: memFree=12621524/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=403384 CPUtime=1960.59 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 916418 0 0 0 195905 154 0 0 25 0 1 0 580665807 413065216 72729 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 100846 72729 252 17 0 97487 0
Current children cumulated CPU time (s) 1962.34
Current children cumulated vsize (KiB) 412088

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19669
/proc/meminfo: memFree=12781716/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=190324 CPUtime=2020.59 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 948806 0 0 0 201898 161 0 0 25 0 1 0 580665807 194891776 33003 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209306 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 47581 33003 252 17 0 44222 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 199028

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19671
/proc/meminfo: memFree=12710404/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=271932 CPUtime=2080.6 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 965291 0 0 0 207896 164 0 0 25 0 1 0 580665807 278458368 49473 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 67983 49473 252 17 0 64624 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 280636

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19673
/proc/meminfo: memFree=12646516/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=404192 CPUtime=2140.59 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 981243 0 0 0 213892 167 0 0 25 0 1 0 580665807 413892608 65403 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 101048 65403 252 17 0 97689 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 412896

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19674
/proc/meminfo: memFree=12595784/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=404456 CPUtime=2200.59 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 994528 0 0 0 219890 169 0 0 25 0 1 0 580665807 414162944 78632 33554432000 4194304 4260849 140735852809280 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 101114 78632 252 17 0 97755 0
Current children cumulated CPU time (s) 2202.34
Current children cumulated vsize (KiB) 413160

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19676
/proc/meminfo: memFree=12796764/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=140848 CPUtime=2260.6 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 1041344 0 0 0 225883 177 0 0 25 0 1 0 580665807 144228352 28857 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 35212 28857 252 17 0 31853 0
Current children cumulated CPU time (s) 2262.35
Current children cumulated vsize (KiB) 149552

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

[startup+2265.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19676
/proc/meminfo: memFree=12791432/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=140848 CPUtime=2263.8 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 1041822 0 0 0 226203 177 0 0 25 0 1 0 580665807 144228352 29335 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 35212 29335 252 17 0 31853 0
Current children cumulated CPU time (s) 2265.55
Current children cumulated vsize (KiB) 149552

[startup+2268.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19676
/proc/meminfo: memFree=12786100/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=140848 CPUtime=2267 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 1042356 0 0 0 226523 177 0 0 25 0 1 0 580665807 144228352 29869 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 35212 29869 252 17 0 31853 0
Current children cumulated CPU time (s) 2268.75
Current children cumulated vsize (KiB) 149552

[startup+2269.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19676
/proc/meminfo: memFree=12784860/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=110264 CPUtime=2267.8 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 1054389 0 0 0 226601 179 0 0 25 0 1 0 580665807 112910336 22849 33554432000 4194304 4260849 140735852809280 18446744073709551615 4226689 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 27566 22849 252 17 0 24207 0
Current children cumulated CPU time (s) 2269.55
Current children cumulated vsize (KiB) 118968

[startup+2269.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19676
/proc/meminfo: memFree=12784860/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=110264 CPUtime=2268.2 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 1054451 0 0 0 226641 179 0 0 25 0 1 0 580665807 112910336 22910 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 27566 22910 252 17 0 24207 0
Current children cumulated CPU time (s) 2269.95
Current children cumulated vsize (KiB) 118968

[startup+2270.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19676
/proc/meminfo: memFree=12812264/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=110264 CPUtime=2268.61 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 1054500 0 0 0 226682 179 0 0 25 0 1 0 580665807 112910336 22959 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 27566 22959 252 17 0 24207 0
Current children cumulated CPU time (s) 2270.36
Current children cumulated vsize (KiB) 118968

[startup+2270.41 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 19676
/proc/meminfo: memFree=12812264/32950928 swapFree=67111528/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=1.75 cores=0,2,4,6
/proc/19573/stat : 19573 (glucose.sh) S 19571 19573 19293 0 -1 4202496 360 23430 0 0 0 0 168 7 18 0 1 0 580665631 8912896 255 33554432000 4194304 4922060 140733906392096 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19576] ppid=19573 vsize=110264 CPUtime=2268.71 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose_static) R 19573 19573 19293 0 -1 4202496 1054507 0 0 0 226692 179 0 0 25 0 1 0 580665807 112910336 22966 33554432000 4194304 4260849 140735852809280 18446744073709551615 4209242 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19576/statm: 27566 22966 252 17 0 24207 0
Current children cumulated CPU time (s) 2270.46
Current children cumulated vsize (KiB) 118968

Child status: 20
Real time (s): 2270.43
CPU time (s): 2270.49
CPU user time (s): 2268.62
CPU system time (s): 1.87271
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 493300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2268.62
system time used= 1.87271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1078515
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= 43
involuntary context switches= 3926

runsolver used 4.04638 second user time and 8.25375 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-27 13:39:10
IDJOB=3303851
IDBENCH=82378
IDSOLVER=1687
FILE ID=node113/3303851-1303904349
RUNJOBID= node113-1303899345-19311
PBS_JOBID= 13164535
Free space on /tmp= 71144 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303851-1303904349/watcher-3303851-1303904349 -o /tmp/evaluation-result-3303851-1303904349/solver-3303851-1303904349 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303851-1303904349.cnf 

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

MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=310181417

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12907104 kB
Buffers:       1868556 kB
Cached:       17324832 kB
SwapCached:          0 kB
Active:       10903880 kB
Inactive:      8542496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12907104 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26240 kB
Writeback:           0 kB
AnonPages:      252688 kB
Mapped:          15156 kB
Slab:           533612 kB
PageTables:       5040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   417152 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= 71128 MiB
End job on node113 at 2011-04-27 14:17:00