Trace number 3303875

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2? (TO) 5000 5000.02

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
MD5SUM6c2d25eda70423643946d76935ceb950
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1512832
Number of clauses8233086
Sum of the clauses size19530286
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 28165680
Number of clauses of size 31280
Number of clauses of size 41600
Number of clauses of size 51600
Number of clauses of size over 562080

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.00	c num clauses = 8233086
0.00/0.00	c too many clauses .. no preprocessing
0.00/0.00	c
0.00/0.00	c Starting glucose
0.00/0.00	c
608.75/608.89	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
608.75/608.89	c WARNING: for repeatability, setting FPU to use double precision
608.75/608.89	c ============================[ Problem Statistics ]=============================
608.75/608.89	c |                                                                             |
608.75/608.89	c |  Number of variables:       1512832                                         |
608.75/608.89	c |  Number of clauses:         7144473                                         |
608.75/608.89	c |  Parse time:                   1.67 s                                       |
608.75/608.89	c |                                                                             |
608.75/608.89	c ============================[ Search Statistics ]==============================
608.75/608.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
608.75/608.89	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
608.75/608.89	c ===============================================================================
608.75/608.89	c |       336 | 1364595  7142681 16858462 |        1      336   2258 |  9.799 % |
608.75/608.89	c |       475 | 1364595  7142681 16858462 |        1      475   2003 |  9.799 % |
608.75/608.89	c |       575 | 1364595  7142681 16858462 |        1      575   1979 |  9.799 % |
608.75/608.89	c |       704 | 1364595  7142681 16858462 |        1      704   2186 |  9.799 % |
608.75/608.89	c |       804 | 1364595  7142681 16858462 |        1      804   2618 |  9.799 % |
608.75/608.89	c |       904 | 1364595  7142681 16858462 |        1      904   2472 |  9.799 % |
608.75/608.89	c |      1241 | 1364595  7142681 16858462 |        1     1241   2316 |  9.799 % |
608.75/608.89	c |      1341 | 1364595  7142681 16858462 |        1     1341   2433 |  9.799 % |
608.75/608.89	c |      1715 | 1364593  7142681 16858462 |        1     1713   3046 |  9.799 % |
608.75/608.89	c |      1815 | 1364593  7142681 16858462 |        1     1813   3002 |  9.799 % |
608.75/608.89	c |      3038 | 1364592  7142681 16858462 |        1     3035   3977 |  9.799 % |
608.75/608.89	c |      3139 | 1364592  7142681 16858462 |        1     3136   4079 |  9.799 % |
608.75/608.89	c |      4124 | 1364590  7142681 16858462 |        1     2122    962 |  9.799 % |
608.75/608.89	c |      6968 | 1364584  7142681 16858462 |        1     4964   4726 |  9.799 % |
608.75/608.89	c |      7070 | 1364581  7142681 16858462 |        1     5063   4739 |  9.800 % |
608.75/608.89	c |      7170 | 1364581  7142681 16858462 |        1     5163   4717 |  9.800 % |
608.75/608.89	c |     10088 | 1364523  7142681 16858462 |        1     8071   4007 |  9.803 % |
608.75/608.89	c |     10189 | 1364523  7142681 16858462 |        1     8172   3973 |  9.803 % |
608.75/608.89	c |     10420 | 1364522  7142681 16858462 |        1     8402   3917 |  9.803 % |
608.75/608.89	c |     10522 | 1364522  7142681 16858462 |        1     8504   3899 |  9.803 % |
608.75/608.89	c |     18994 | 1364510  7142673 16858390 |        1    12684   4294 |  9.804 % |
608.75/608.89	c |     19094 | 1364510  7142673 16858390 |        1    12784   4282 |  9.804 % |
608.75/608.89	c |     19195 | 1364510  7142673 16858390 |        1    12885   4269 |  9.804 % |
608.75/608.89	c |     19586 | 1364508  7142673 16858390 |        1    13274   4232 |  9.804 % |
608.75/608.89	c |     19690 | 1364508  7142673 16858390 |        1    13378   4218 |  9.804 % |
608.75/608.89	c |     19790 | 1364508  7142673 16858390 |        1    13478   4193 |  9.804 % |
608.75/608.89	c |     20052 | 1364505  7142673 16858390 |        1     6995    488 |  9.805 % |
608.75/608.89	c |     20152 | 1364504  7142673 16858390 |        1     7094    506 |  9.805 % |
608.75/608.89	c |     20252 | 1364504  7142673 16858390 |        1     7194    515 |  9.805 % |
608.75/608.89	c |     23478 | 1364503  7142673 16858390 |        1    10419   1718 |  9.805 % |
608.75/608.89	c |     24575 | 1364502  7142673 16858390 |        1    11515   1713 |  9.805 % |
608.75/608.89	c |     24677 | 1364497  7142673 16858390 |        1    11612   1709 |  9.805 % |
608.75/608.89	c |     25661 | 1364496  7142673 16858390 |        1    12595   1821 |  9.805 % |
608.75/608.89	c |     25761 | 1364496  7142673 16858390 |        1    12695   1820 |  9.805 % |
608.75/608.89	c |     35564 | 1364483  7142673 16858390 |        1    13255   2165 |  9.806 % |
608.75/608.89	c |     35788 | 1364403  7142673 16858390 |        1    13478   2177 |  9.811 % |
608.75/608.89	c |     43147 | 1364227  7142667 16858290 |        1    20811   2775 |  9.823 % |
608.75/608.89	c |     43250 | 1364227  7142667 16858290 |        1    20914   2771 |  9.823 % |
608.75/608.89	c |     45597 | 1364227  7142667 16858290 |        1    23261   2878 |  9.823 % |
999.04/999.15	c |     46153 | 1364226  7142667 16858290 |        1    12005    559 |  9.823 % |
999.04/999.15	c |     46253 | 1364226  7142667 16858290 |        1    12105    561 |  9.823 % |
999.04/999.15	c |     48036 | 1364224  7142667 16858290 |        1    13886   1308 |  9.823 % |
999.04/999.15	c |     48231 | 1364222  7142667 16858290 |        1    14079   1308 |  9.823 % |
999.04/999.15	c |     48466 | 1364221  7142667 16858290 |        1    14313   1349 |  9.823 % |
999.04/999.15	c |     49477 | 1364221  7142667 16858290 |        1    15324   1578 |  9.823 % |
999.04/999.15	c |     51373 | 1364220  7142667 16858290 |        1    17219   1840 |  9.823 % |
999.04/999.15	c |     51577 | 1364220  7142667 16858290 |        1    17423   1827 |  9.823 % |
999.04/999.15	c |     51918 | 1363895  7142667 16858290 |        1    17762   1810 |  9.845 % |
999.04/999.15	c |     52018 | 1363895  7142667 16858290 |        1    17862   1814 |  9.845 % |
999.04/999.15	c |     52122 | 1363895  7142667 16858290 |        1    17966   1811 |  9.845 % |
999.04/999.15	c |     55948 | 1363893  7142667 16858290 |        1    21790   2169 |  9.845 % |
999.04/999.15	c |     56048 | 1363893  7142667 16858290 |        1    21890   2162 |  9.845 % |
999.04/999.15	c |     56203 | 1363893  7142667 16858290 |        1    22045   2156 |  9.845 % |
999.04/999.15	c |     57084 | 1363892  7142617 16857708 |        1    22893   2150 |  9.845 % |
999.04/999.15	c |     57184 | 1363891  7142617 16857708 |        1    22992   2147 |  9.845 % |
999.04/999.15	c |     67851 | 1363887  7142617 16857708 |        1    19304   2280 |  9.845 % |
999.04/999.15	c |     69215 | 1363886  7142617 16857708 |        1    20667   2246 |  9.846 % |
999.04/999.15	c |     70205 | 1363882  7142617 16857708 |        1    21653   2261 |  9.846 % |
999.04/999.15	c |     70785 | 1363882  7142617 16857708 |        1    22233   2277 |  9.846 % |
999.04/999.15	c |     71213 | 1363882  7142617 16857708 |        1    22661   2266 |  9.846 % |
999.04/999.15	c |     71313 | 1363882  7142617 16857708 |        1    22761   2257 |  9.846 % |
999.04/999.15	c |     71523 | 1363882  7142617 16857708 |        1    22971   2240 |  9.846 % |
999.04/999.15	c |     71623 | 1363882  7142617 16857708 |        1    23071   2233 |  9.846 % |
999.04/999.15	c |     71724 | 1363671  7142617 16857708 |        1    23171   2232 |  9.860 % |
999.04/999.15	c |     71858 | 1363671  7142617 16857708 |        1    23305   2230 |  9.860 % |
999.04/999.15	c |     71960 | 1363671  7142617 16857708 |        1    23407   2225 |  9.860 % |
999.04/999.15	c |     72060 | 1363671  7142617 16857708 |        1    23507   2222 |  9.860 % |
999.04/999.15	c |     72160 | 1363671  7142617 16857708 |        1    23607   2218 |  9.860 % |
999.04/999.15	c |     72261 | 1363534  7142617 16857708 |        1    23703   2212 |  9.869 % |
999.04/999.15	c |     72361 | 1363517  7142617 16857708 |        1    23802   2206 |  9.870 % |
999.04/999.15	c |     72461 | 1363517  7142617 16857708 |        1    23902   2201 |  9.870 % |
999.04/999.15	c |     72562 | 1363516  7142617 16857708 |        1    24002   2196 |  9.870 % |
999.04/999.15	c |     72662 | 1363515  7142617 16857708 |        1    24101   2191 |  9.870 % |
999.04/999.15	c |     74439 | 1363515  7142617 16857708 |        1    25878   2354 |  9.870 % |
999.04/999.15	c |     75286 | 1363514  7142617 16857708 |        1    26724   2385 |  9.870 % |
999.04/999.15	c |     77104 | 1363513  7142617 16857708 |        1    28541   2369 |  9.870 % |
999.04/999.15	c |     77204 | 1363513  7142579 16857263 |        1    28627   2366 |  9.870 % |
999.04/999.15	c |     80901 | 1363499  7142579 16857263 |        1    32320   2402 |  9.871 % |
999.04/999.15	c |     81060 | 1362915  7142579 16857263 |        1    32478   2399 |  9.910 % |
999.04/999.15	c |     84921 | 1362915  7142579 16857263 |        1    19341    756 |  9.910 % |
999.04/999.15	c |     85021 | 1362915  7142579 16857263 |        1    19441    764 |  9.910 % |
999.04/999.15	c |     85158 | 1362915  7142579 16857263 |        1    19578    761 |  9.910 % |
999.04/999.15	c |     85259 | 1362915  7142579 16857263 |        1    19679    762 |  9.910 % |
999.04/999.15	c |     86269 | 1362915  7142579 16857263 |        1    20689    799 |  9.910 % |
999.04/999.15	c |     86374 | 1362915  7142579 16857263 |        1    20794    797 |  9.910 % |
999.04/999.15	c |     86475 | 1362896  7142579 16857263 |        1    20894    801 |  9.911 % |
999.04/999.15	c |     87285 | 1362893  7142579 16857263 |        1    21701    846 |  9.911 % |
999.04/999.15	c |     87989 | 1362893  7142579 16857263 |        1    22405   1035 |  9.911 % |
999.04/999.15	c |     88091 | 1362893  7142579 16857263 |        1    22507   1040 |  9.911 % |
1957.74/1957.84	c |     88199 | 1362893  7142579 16857263 |        1    22615   1038 |  9.911 % |
1957.74/1957.84	c |     88299 | 1362804  7142579 16857263 |        1    22711   1037 |  9.917 % |
1957.74/1957.84	c |     88400 | 1362804  7142579 16857263 |        1    22812   1034 |  9.917 % |
1957.74/1957.84	c |     88538 | 1362804  7142579 16857263 |        1    22950   1039 |  9.917 % |
1957.74/1957.84	c |     88742 | 1362804  7142579 16857263 |        1    23154   1093 |  9.917 % |
1957.74/1957.84	c |     88881 | 1362802  7142579 16857263 |        1    23292   1100 |  9.917 % |
1957.74/1957.84	c |     89248 | 1362782  7142579 16857263 |        1    23646   1118 |  9.918 % |
1957.74/1957.84	c |     89348 | 1362657  7142579 16857263 |        1    23745   1121 |  9.927 % |
1957.74/1957.84	c |     89580 | 1362657  7142579 16857263 |        1    23977   1125 |  9.927 % |
1957.74/1957.84	c |     90744 | 1362657  7142579 16857263 |        1    25141   1326 |  9.927 % |
1957.74/1957.84	c |     90844 | 1362657  7142579 16857263 |        1    25241   1341 |  9.927 % |
1957.74/1957.84	c |     91461 | 1362642  7142579 16857263 |        1    25856   1358 |  9.928 % |
1957.74/1957.84	c |     93051 | 1362626  7142579 16857263 |        1    27445   1581 |  9.929 % |
1957.74/1957.84	c |     93151 | 1362626  7142579 16857263 |        1    27545   1585 |  9.929 % |
1957.74/1957.84	c |     93252 | 1362626  7142579 16857263 |        1    27646   1586 |  9.929 % |
1957.74/1957.84	c |     94055 | 1362439  7142547 16856186 |        1    28393   1811 |  9.941 % |
1957.74/1957.84	c |     94155 | 1362439  7142547 16856186 |        1    28493   1812 |  9.941 % |
1957.74/1957.84	c |     95759 | 1362437  7142547 16856186 |        1    30095   1843 |  9.941 % |
1957.74/1957.84	c |     95862 | 1362437  7142547 16856186 |        1    30198   1838 |  9.941 % |
1957.74/1957.84	c |     96056 | 1362436  7142547 16856186 |        1    30391   1838 |  9.941 % |
1957.74/1957.84	c |     96794 | 1362435  7142547 16856186 |        1    31128   1877 |  9.941 % |
1957.74/1957.84	c |     96894 | 1362435  7142547 16856186 |        1    31228   1876 |  9.941 % |
1957.74/1957.84	c |     96994 | 1362435  7142547 16856186 |        1    31328   1893 |  9.941 % |
1957.74/1957.84	c |     97182 | 1362435  7142547 16856186 |        1    31516   1892 |  9.941 % |
1957.74/1957.84	c |     97285 | 1362435  7142547 16856186 |        1    31619   1891 |  9.941 % |
1957.74/1957.84	c |     97895 | 1362434  7142547 16856186 |        1    32228   1902 |  9.941 % |
1957.74/1957.84	c |     97995 | 1362434  7142547 16856186 |        1    32328   1914 |  9.941 % |
1957.74/1957.84	c |     98727 | 1362434  7142547 16856186 |        1    33060   1938 |  9.941 % |
1957.74/1957.84	c |    128328 | 1362434  7142547 16856186 |        1    43132   6471 |  9.941 % |
1957.74/1957.84	c |    128898 | 1362434  7142543 16855902 |        1    43687   6413 |  9.941 % |
1957.74/1957.84	c |    129821 | 1362418  7142543 16855902 |        1    22403    367 |  9.943 % |
1957.74/1957.84	c |    133568 | 1362417  7142543 16855902 |        1    26149   1407 |  9.943 % |
1957.74/1957.84	c |    134359 | 1362415  7142543 16855902 |        1    26938   1461 |  9.943 % |
1957.74/1957.84	c |    134460 | 1362415  7142543 16855902 |        1    27039   1467 |  9.943 % |
1957.74/1957.84	c |    134560 | 1362397  7142543 16855902 |        1    27138   1466 |  9.944 % |
1957.74/1957.84	c |    134662 | 1362397  7142543 16855902 |        1    27240   1462 |  9.944 % |
1957.74/1957.84	c |    136384 | 1361960  7142543 16855902 |        1    28961   1872 |  9.973 % |
1957.74/1957.84	c |    136485 | 1361960  7142543 16855902 |        1    29062   1887 |  9.973 % |
1957.74/1957.84	c |    136585 | 1361960  7142543 16855902 |        1    29162   1884 |  9.973 % |
1957.74/1957.84	c |    139312 | 1361959  7142543 16855902 |        1    31888   2081 |  9.973 % |
1957.74/1957.84	c |    139412 | 1361958  7142543 16855902 |        1    31987   2077 |  9.973 % |
1957.74/1957.84	c |    152431 | 1361957  7142543 16855902 |        1    45005   4526 |  9.973 % |
1957.74/1957.84	c |    152532 | 1361957  7142543 16855902 |        1    45106   4518 |  9.973 % |
1957.74/1957.84	c |    153479 | 1361957  7142543 16855902 |        1    46053   4515 |  9.973 % |
1957.74/1957.84	c |    153943 | 1361956  7142543 16855902 |        1    46516   4488 |  9.973 % |
1957.74/1957.84	c |    154698 | 1361956  7142543 16855902 |        1    47271   4472 |  9.973 % |
1957.74/1957.84	c |    158152 | 1361956  7142543 16855902 |        1    25969    666 |  9.973 % |
1957.74/1957.84	c |    158252 | 1361956  7142543 16855902 |        1    26069    669 |  9.973 % |
1957.74/1957.84	c |    158556 | 1361956  7142543 16855902 |        1    26373    678 |  9.973 % |
1957.74/1957.84	c |    161511 | 1361955  7142543 16855902 |        1    29327   1052 |  9.973 % |
2221.55/2221.69	c |    161629 | 1361955  7142543 16855902 |        1    29445   1053 |  9.973 % |
2221.55/2221.69	c |    163391 | 1361955  7142543 16855902 |        1    31207   1151 |  9.973 % |
2221.55/2221.69	c |    164466 | 1361953  7142543 16855902 |        1    32280   1315 |  9.973 % |
2221.55/2221.69	c |    164568 | 1361953  7142543 16855902 |        1    32382   1322 |  9.973 % |
2221.55/2221.69	c |    166106 | 1361952  7142543 16855902 |        1    33919   1358 |  9.973 % |
2221.55/2221.69	c |    166209 | 1361950  7142543 16855902 |        1    34020   1357 |  9.973 % |
2221.55/2221.69	c |    166979 | 1361947  7142543 16855902 |        1    34787   1359 |  9.974 % |
2221.55/2221.69	c |    167084 | 1361947  7142543 16855902 |        1    34892   1360 |  9.974 % |
2221.55/2221.69	c |    167185 | 1361947  7142543 16855902 |        1    34993   1361 |  9.974 % |
2221.55/2221.69	c |    167288 | 1361947  7142543 16855902 |        1    35096   1361 |  9.974 % |
2221.55/2221.69	c |    171373 | 1361947  7142543 16855902 |        1    39181   1630 |  9.974 % |
2221.55/2221.69	c |    173268 | 1361912  7142543 16855902 |        1    41073   1796 |  9.976 % |
2221.55/2221.69	c |    174131 | 1361912  7142543 16855902 |        1    41936   1884 |  9.976 % |
2221.55/2221.69	c |    174232 | 1361912  7142543 16855902 |        1    42037   1883 |  9.976 % |
2221.55/2221.69	c |    174335 | 1361912  7142543 16855902 |        1    42140   1885 |  9.976 % |
2221.55/2221.69	c |    178454 | 1361910  7142543 16855902 |        1    46257   1995 |  9.976 % |
2221.55/2221.69	c |    179246 | 1361910  7142543 16855902 |        1    47049   1996 |  9.976 % |
2221.55/2221.69	c |    179428 | 1361910  7142543 16855902 |        1    47231   1992 |  9.976 % |
2221.55/2221.69	c |    179795 | 1361910  7142543 16855902 |        1    47598   2003 |  9.976 % |
2221.55/2221.69	c |    179934 | 1361910  7142543 16855902 |        1    47737   2013 |  9.976 % |
2221.55/2221.69	c |    180118 | 1361909  7142543 16855902 |        1    47920   2011 |  9.976 % |
2221.55/2221.69	c |    180580 | 1361909  7142543 16855902 |        1    48382   2044 |  9.976 % |
2221.55/2221.69	c |    180680 | 1361908  7142543 16855902 |        1    48481   2044 |  9.976 % |
2221.55/2221.69	c |    182946 | 1361907  7142543 16855902 |        1    50746   2046 |  9.976 % |
2221.55/2221.69	c |    183742 | 1361907  7142543 16855902 |        1    51542   2074 |  9.976 % |
2221.55/2221.69	c |    184337 | 1361905  7142543 16855902 |        1    52135   2067 |  9.976 % |
2221.55/2221.69	c |    184437 | 1361904  7142543 16855902 |        1    52234   2067 |  9.977 % |
2221.55/2221.69	c |    184694 | 1361904  7142543 16855902 |        1    52491   2091 |  9.977 % |
2221.55/2221.69	c |    185209 | 1361904  7142543 16855902 |        1    53006   2088 |  9.977 % |
2221.55/2221.69	c |    185520 | 1361899  7142543 16855902 |        1    53316   2090 |  9.977 % |
2221.55/2221.69	c |    185954 | 1361899  7142543 16855902 |        1    53750   2087 |  9.977 % |
2221.55/2221.69	c |    186607 | 1361897  7142543 16855902 |        1    54401   2104 |  9.977 % |
2221.55/2221.69	c |    186709 | 1361897  7142543 16855902 |        1    54503   2102 |  9.977 % |
2221.55/2221.69	c |    186885 | 1361897  7142543 16855902 |        1    54679   2105 |  9.977 % |
2221.55/2221.69	c |    187474 | 1361834  7142543 16855902 |        1    27879    375 |  9.981 % |
2221.55/2221.69	c |    187575 | 1361834  7142543 16855902 |        1    27980    383 |  9.981 % |
2221.55/2221.69	c |    187675 | 1361834  7142543 16855902 |        1    28080    384 |  9.981 % |
2221.55/2221.69	c |    188060 | 1361834  7142543 16855902 |        1    28465    409 |  9.981 % |
2221.55/2221.69	c |    189517 | 1361833  7142543 16855902 |        1    29921    645 |  9.981 % |
2221.55/2221.69	c |    189977 | 1361833  7142543 16855902 |        1    30381    687 |  9.981 % |
2221.55/2221.69	c |    191057 | 1361833  7142543 16855902 |        1    31461    827 |  9.981 % |
2221.55/2221.69	c |    191187 | 1361833  7142543 16855902 |        1    31591    835 |  9.981 % |
2221.55/2221.69	c |    191291 | 1361833  7142543 16855902 |        1    31695    838 |  9.981 % |
2221.55/2221.69	c |    191533 | 1361833  7142543 16855902 |        1    31937    857 |  9.981 % |
2221.55/2221.69	c |    191717 | 1361831  7142543 16855902 |        1    32119    860 |  9.981 % |
2221.55/2221.69	c |    191823 | 1361830  7142543 16855902 |        1    32224    861 |  9.981 % |
2221.55/2221.69	c |    193920 | 1361828  7142543 16855902 |        1    34319    983 |  9.982 % |
2221.55/2221.69	c |    194525 | 1361828  7142543 16855902 |        1    34924   1016 |  9.982 % |
2221.55/2221.69	c |    194675 | 1361827  7142543 16855902 |        1    35073   1023 |  9.982 % |
2221.55/2221.69	c |    194784 | 1361827  7142543 16855902 |        1    35182   1025 |  9.982 % |
2359.95/2360.01	c |    195552 | 1361825  7142543 16855902 |        1    35948   1082 |  9.982 % |
2359.95/2360.01	c |    195652 | 1361825  7142543 16855902 |        1    36048   1084 |  9.982 % |
2359.95/2360.01	c |    196894 | 1361819  7142543 16855902 |        1    37284   1199 |  9.982 % |
2359.95/2360.01	c |    196994 | 1361819  7142543 16855902 |        1    37384   1199 |  9.982 % |
2359.95/2360.01	c |    197094 | 1361819  7142543 16855902 |        1    37484   1199 |  9.982 % |
2359.95/2360.01	c |    197340 | 1361819  7142543 16855902 |        1    37730   1210 |  9.982 % |
2359.95/2360.01	c |    197440 | 1361819  7142529 16855164 |        1    37768   1213 |  9.982 % |
2359.95/2360.01	c |    197540 | 1361819  7142529 16855164 |        1    37868   1216 |  9.982 % |
2359.95/2360.01	c |    198436 | 1361818  7142529 16855164 |        1    38763   1253 |  9.982 % |
2359.95/2360.01	c |    198536 | 1361818  7142529 16855164 |        1    38863   1256 |  9.982 % |
2359.95/2360.01	c |    201003 | 1361818  7142529 16855164 |        1    41330   1309 |  9.982 % |
2359.95/2360.01	c |    201360 | 1361817  7142529 16855164 |        1    41686   1337 |  9.982 % |
2359.95/2360.01	c |    202649 | 1361803  7142529 16855164 |        1    42973   1357 |  9.983 % |
2359.95/2360.01	c |    202953 | 1361797  7142529 16855164 |        1    43271   1366 |  9.984 % |
2359.95/2360.01	c |    203053 | 1361795  7142529 16855164 |        1    43369   1366 |  9.984 % |
2359.95/2360.01	c |    205174 | 1361788  7142529 16855164 |        1    45487   1644 |  9.984 % |
2359.95/2360.01	c |    205274 | 1361788  7142529 16855164 |        1    45587   1649 |  9.984 % |
2359.95/2360.01	c |    205374 | 1361788  7142529 16855164 |        1    45687   1656 |  9.984 % |
2359.95/2360.01	c |    205474 | 1361788  7142529 16855164 |        1    45787   1661 |  9.984 % |
2359.95/2360.01	c |    205614 | 1361788  7142529 16855164 |        1    45927   1673 |  9.984 % |
2359.95/2360.01	c |    205807 | 1361787  7142529 16855164 |        1    46119   1671 |  9.984 % |
2359.95/2360.01	c |    207582 | 1361787  7142529 16855164 |        1    47894   1792 |  9.984 % |
2359.95/2360.01	c |    208081 | 1361787  7142529 16855164 |        1    48393   1786 |  9.984 % |
2359.95/2360.01	c |    208183 | 1361787  7142529 16855164 |        1    48495   1784 |  9.984 % |
2359.95/2360.01	c |    208283 | 1361785  7142529 16855164 |        1    48593   1781 |  9.984 % |
2359.95/2360.01	c |    208438 | 1361784  7142529 16855164 |        1    48747   1776 |  9.984 % |
2359.95/2360.01	c |    208538 | 1361784  7142529 16855164 |        1    48847   1773 |  9.984 % |
2359.95/2360.01	c |    209043 | 1361784  7142529 16855164 |        1    49352   1796 |  9.984 % |
2359.95/2360.01	c |    209283 | 1361784  7142529 16855164 |        1    49592   1797 |  9.984 % |
2359.95/2360.01	c |    209455 | 1361784  7142529 16855164 |        1    49764   1805 |  9.984 % |
2359.95/2360.01	c |    209557 | 1361784  7142529 16855164 |        1    49866   1806 |  9.984 % |
2359.95/2360.01	c |    210425 | 1361784  7142529 16855164 |        1    50734   1844 |  9.984 % |
2359.95/2360.01	c |    210867 | 1361784  7142529 16855164 |        1    51176   1861 |  9.984 % |
2359.95/2360.01	c |    210967 | 1361784  7142525 16855138 |        1    51272   1861 |  9.984 % |
2359.95/2360.01	c |    214408 | 1361781  7142525 16855138 |        1    54710   2102 |  9.985 % |
2359.95/2360.01	c |    215177 | 1361781  7142525 16855138 |        1    55479   2127 |  9.985 % |
2359.95/2360.01	c |    215279 | 1361781  7142525 16855138 |        1    55581   2130 |  9.985 % |
2359.95/2360.01	c |    215379 | 1361781  7142525 16855138 |        1    55681   2130 |  9.985 % |
2359.95/2360.01	c |    215542 | 1361781  7142525 16855138 |        1    55844   2127 |  9.985 % |
2359.95/2360.01	c |    215965 | 1361781  7142525 16855138 |        1    56267   2140 |  9.985 % |
2359.95/2360.01	c |    216119 | 1361781  7142525 16855138 |        1    56421   2139 |  9.985 % |
2359.95/2360.01	c |    216445 | 1361623  7142525 16855138 |        1    56744   2142 |  9.995 % |
2359.95/2360.01	c |    217032 | 1361623  7142525 16855138 |        1    57331   2134 |  9.995 % |
2359.95/2360.01	c |    218205 | 1361623  7142525 16855138 |        1    58504   2145 |  9.995 % |
2359.95/2360.01	c |    218305 | 1361623  7142525 16855138 |        1    58604   2143 |  9.995 % |
2359.95/2360.01	c |    218713 | 1361623  7142525 16855138 |        1    59012   2166 |  9.995 % |
2359.95/2360.01	c |    218813 | 1361623  7142525 16855138 |        1    59112   2167 |  9.995 % |
2359.95/2360.01	c |    218913 | 1361623  7142525 16855138 |        1    59212   2170 |  9.995 % |
2359.95/2360.01	c |    219069 | 1361623  7142525 16855138 |        1    59368   2174 |  9.995 % |
2359.95/2360.01	c |    219211 | 1361620  7142525 16855138 |        1    59507   2172 |  9.995 % |
2753.76/2753.82	c |    219351 | 1361620  7142525 16855138 |        1    59647   2172 |  9.995 % |
2753.76/2753.82	c |    221215 | 1361620  7142525 16855138 |        1    31574    619 |  9.995 % |
2753.76/2753.82	c |    221315 | 1361620  7142525 16855138 |        1    31674    626 |  9.995 % |
2753.76/2753.82	c |    221562 | 1361619  7142525 16855138 |        1    31920    631 |  9.995 % |
2753.76/2753.82	c |    222402 | 1361619  7142525 16855138 |        1    32760    744 |  9.995 % |
2753.76/2753.82	c |    223475 | 1361619  7142525 16855138 |        1    33833    961 |  9.995 % |
2753.76/2753.82	c |    223576 | 1361619  7142525 16855138 |        1    33934    961 |  9.995 % |
2753.76/2753.82	c |    224023 | 1361619  7142525 16855138 |        1    34381   1002 |  9.995 % |
2753.76/2753.82	c |    224718 | 1361618  7142525 16855138 |        1    35075   1022 |  9.995 % |
2753.76/2753.82	c |    225036 | 1361618  7142525 16855138 |        1    35393   1055 |  9.995 % |
2753.76/2753.82	c |    225137 | 1361611  7142525 16855138 |        1    35491   1054 |  9.996 % |
2753.76/2753.82	c |    225264 | 1361609  7142525 16855138 |        1    35616   1059 |  9.996 % |
2753.76/2753.82	c |    225367 | 1361609  7142525 16855138 |        1    35719   1060 |  9.996 % |
2753.76/2753.82	c |    226938 | 1361609  7142525 16855138 |        1    37290   1117 |  9.996 % |
2753.76/2753.82	c |    227039 | 1361609  7142525 16855138 |        1    37391   1117 |  9.996 % |
2753.76/2753.82	c |    227348 | 1361609  7142525 16855138 |        1    37700   1165 |  9.996 % |
2753.76/2753.82	c |    229977 | 1361609  7142525 16855138 |        1    40329   1313 |  9.996 % |
2753.76/2753.82	c |    230077 | 1361609  7142525 16855138 |        1    40429   1313 |  9.996 % |
2753.76/2753.82	c |    232901 | 1361607  7142525 16855138 |        1    43251   1366 |  9.996 % |
2753.76/2753.82	c |    233013 | 1361607  7142525 16855138 |        1    43363   1370 |  9.996 % |
2753.76/2753.82	c |    233618 | 1361607  7142525 16855138 |        1    43968   1386 |  9.996 % |
2753.76/2753.82	c |    235051 | 1361607  7142525 16855138 |        1    45401   1435 |  9.996 % |
2753.76/2753.82	c |    235211 | 1361607  7142511 16854872 |        1    45552   1436 |  9.996 % |
2753.76/2753.82	c |    235742 | 1361607  7142511 16854872 |        1    46083   1466 |  9.996 % |
2753.76/2753.82	c |    235961 | 1361606  7142511 16854872 |        1    46301   1463 |  9.996 % |
2753.76/2753.82	c |    236410 | 1361606  7142511 16854872 |        1    46750   1483 |  9.996 % |
2753.76/2753.82	c |    238174 | 1361606  7142511 16854872 |        1    48514   1548 |  9.996 % |
2753.76/2753.82	c |    238278 | 1361606  7142511 16854872 |        1    48618   1549 |  9.996 % |
2753.76/2753.82	c |    240364 | 1361606  7142511 16854872 |        1    50704   1611 |  9.996 % |
2753.76/2753.82	c |    240464 | 1361606  7142511 16854872 |        1    50804   1609 |  9.996 % |
2753.76/2753.82	c |    240668 | 1361605  7142511 16854872 |        1    51007   1611 |  9.996 % |
2753.76/2753.82	c |    244691 | 1361605  7142511 16854872 |        1    55030   1904 |  9.996 % |
2753.76/2753.82	c |    244791 | 1361605  7142511 16854872 |        1    55130   1903 |  9.996 % |
2753.76/2753.82	c |    244895 | 1361605  7142511 16854872 |        1    55234   1904 |  9.996 % |
2753.76/2753.82	c |    244995 | 1361604  7142511 16854872 |        1    55333   1907 |  9.996 % |
2753.76/2753.82	c |    248387 | 1361603  7142511 16854872 |        1    58724   2105 |  9.996 % |
2753.76/2753.82	c |    248487 | 1361603  7142511 16854872 |        1    58824   2102 |  9.996 % |
2753.76/2753.82	c |    248727 | 1361600  7142511 16854872 |        1    59061   2095 |  9.997 % |
2753.76/2753.82	c |    249106 | 1361591  7142511 16854872 |        1    59431   2087 |  9.997 % |
2753.76/2753.82	c |    250346 | 1361591  7142511 16854872 |        1    60671   2326 |  9.997 % |
2753.76/2753.82	c |    250447 | 1361591  7142511 16854872 |        1    60772   2326 |  9.997 % |
2753.76/2753.82	c |    256678 | 1361589  7142511 16854872 |        1    34495    659 |  9.997 % |
2753.76/2753.82	c |    257249 | 1361589  7142511 16854872 |        1    35066    712 |  9.997 % |
2753.76/2753.82	c |    257439 | 1361589  7142511 16854872 |        1    35256    714 |  9.997 % |
2753.76/2753.82	c |    257546 | 1361589  7142511 16854872 |        1    35363    724 |  9.997 % |
2753.76/2753.82	c |    258307 | 1361588  7142511 16854872 |        1    36123    775 |  9.997 % |
2753.76/2753.82	c |    258437 | 1361588  7142511 16854872 |        1    36253    776 |  9.997 % |
2753.76/2753.82	c |    258927 | 1361588  7142511 16854872 |        1    36743    791 |  9.997 % |
2753.76/2753.82	c |    259663 | 1361587  7142511 16854872 |        1    37478    821 |  9.997 % |
2753.76/2753.82	c |    259763 | 1361586  7142511 16854872 |        1    37577    825 |  9.998 % |
3015.57/3015.69	c |    260229 | 1361585  7142511 16854872 |        1    38042    849 |  9.998 % |
3015.57/3015.69	c |    261324 | 1361585  7142511 16854872 |        1    39137    880 |  9.998 % |
3015.57/3015.69	c |    261429 | 1361585  7142511 16854872 |        1    39242    881 |  9.998 % |
3015.57/3015.69	c |    261529 | 1361585  7142511 16854872 |        1    39342    880 |  9.998 % |
3015.57/3015.69	c |    261629 | 1361585  7142511 16854872 |        1    39442    879 |  9.998 % |
3015.57/3015.69	c |    261731 | 1361585  7142511 16854872 |        1    39544    877 |  9.998 % |
3015.57/3015.69	c |    261831 | 1361585  7142511 16854872 |        1    39644    876 |  9.998 % |
3015.57/3015.69	c |    263735 | 1361584  7142511 16854872 |        1    41547    928 |  9.998 % |
3015.57/3015.69	c |    263844 | 1361584  7142511 16854872 |        1    41656    927 |  9.998 % |
3015.57/3015.69	c |    263947 | 1361584  7142511 16854872 |        1    41759    926 |  9.998 % |
3015.57/3015.69	c |    264473 | 1361584  7142511 16854872 |        1    42285    949 |  9.998 % |
3015.57/3015.69	c |    264573 | 1361584  7142511 16854872 |        1    42385    952 |  9.998 % |
3015.57/3015.69	c |    265380 | 1361582  7142511 16854872 |        1    43190    967 |  9.998 % |
3015.57/3015.69	c |    265482 | 1361582  7142511 16854872 |        1    43292    966 |  9.998 % |
3015.57/3015.69	c |    266391 | 1361580  7142511 16854872 |        1    44199   1026 |  9.998 % |
3015.57/3015.69	c |    266491 | 1361580  7142511 16854872 |        1    44299   1031 |  9.998 % |
3015.57/3015.69	c |    267443 | 1361580  7142511 16854872 |        1    45251   1114 |  9.998 % |
3015.57/3015.69	c |    270436 | 1361579  7142511 16854872 |        1    48243   1337 |  9.998 % |
3015.57/3015.69	c |    272061 | 1361579  7142511 16854872 |        1    49861   1474 |  9.998 % |
3015.57/3015.69	c |    272162 | 1361576  7142511 16854872 |        1    49959   1473 |  9.998 % |
3015.57/3015.69	c |    274755 | 1361575  7142511 16854872 |        1    52551   1629 |  9.998 % |
3015.57/3015.69	c |    274856 | 1361575  7142511 16854872 |        1    52652   1629 |  9.998 % |
3015.57/3015.69	c |    275039 | 1361575  7142511 16854872 |        1    52835   1633 |  9.998 % |
3015.57/3015.69	c |    275145 | 1361575  7142511 16854872 |        1    52941   1630 |  9.998 % |
3015.57/3015.69	c |    275247 | 1361575  7142511 16854872 |        1    53043   1627 |  9.998 % |
3015.57/3015.69	c |    276738 | 1361574  7142511 16854872 |        1    54533   1678 |  9.998 % |
3015.57/3015.69	c |    276845 | 1361574  7142511 16854872 |        1    54640   1679 |  9.998 % |
3015.57/3015.69	c |    277559 | 1361574  7142511 16854872 |        1    55354   1709 |  9.998 % |
3015.57/3015.69	c |    277659 | 1361574  7142511 16854872 |        1    55454   1713 |  9.998 % |
3015.57/3015.69	c |    278651 | 1361574  7142511 16854872 |        1    56446   1715 |  9.998 % |
3015.57/3015.69	c |    278754 | 1361574  7142511 16854872 |        1    56549   1715 |  9.998 % |
3015.57/3015.69	c |    283357 | 1361574  7142511 16854872 |        1    61152   1915 |  9.998 % |
3015.57/3015.69	c |    283457 | 1361574  7142511 16854872 |        1    61252   1913 |  9.998 % |
3015.57/3015.69	c |    283707 | 1361574  7142511 16854872 |        1    61502   1922 |  9.998 % |
3015.57/3015.69	c |    283808 | 1361574  7142511 16854872 |        1    61603   1921 |  9.998 % |
3015.57/3015.69	c |    284532 | 1361574  7142511 16854872 |        1    62327   1935 |  9.998 % |
3015.57/3015.69	c |    284633 | 1361574  7142511 16854872 |        1    62428   1934 |  9.998 % |
3015.57/3015.69	c |    284823 | 1361574  7142511 16854872 |        1    62618   1941 |  9.998 % |
3015.57/3015.69	c |    285402 | 1361574  7142511 16854872 |        1    63197   1941 |  9.998 % |
3015.57/3015.69	c |    285577 | 1361574  7142511 16854872 |        1    63372   1937 |  9.998 % |
3015.57/3015.69	c |    285678 | 1361574  7142511 16854872 |        1    63473   1934 |  9.998 % |
3015.57/3015.69	c |    285782 | 1361574  7142511 16854872 |        1    63577   1932 |  9.998 % |
3015.57/3015.69	c |    286178 | 1361574  7142511 16854872 |        1    63973   1939 |  9.998 % |
3015.57/3015.69	c |    286786 | 1361573  7142511 16854872 |        1    64580   1940 |  9.998 % |
3015.57/3015.69	c |    286889 | 1361573  7142511 16854872 |        1    64683   1938 |  9.998 % |
3015.57/3015.69	c |    290790 | 1361572  7142511 16854872 |        1    68583   1942 |  9.998 % |
3015.57/3015.69	c |    291894 | 1361417  7142511 16854872 |        1    69682   1959 | 10.009 % |
3015.57/3015.69	c |    291994 | 1361417  7142511 16854872 |        1    69782   1958 | 10.009 % |
3015.57/3015.69	c |    294470 | 1361417  7142511 16854872 |        1    37086    670 | 10.009 % |
3302.77/3302.80	c |    294570 | 1361417  7142511 16854872 |        1    37186    679 | 10.009 % |
3302.77/3302.80	c |    294670 | 1361417  7142511 16854872 |        1    37286    680 | 10.009 % |
3302.77/3302.80	c |    294890 | 1361417  7142511 16854872 |        1    37506    696 | 10.009 % |
3302.77/3302.80	c |    297428 | 1361417  7142511 16854872 |        1    40044   1592 | 10.009 % |
3302.77/3302.80	c |    297528 | 1361412  7142511 16854872 |        1    40143   1593 | 10.009 % |
3302.77/3302.80	c |    297963 | 1361412  7142511 16854872 |        1    40578   1625 | 10.009 % |
3302.77/3302.80	c |    298572 | 1361399  7142511 16854872 |        1    41185   1656 | 10.010 % |
3302.77/3302.80	c |    299345 | 1361376  7142511 16854872 |        1    41954   1723 | 10.011 % |
3302.77/3302.80	c |    299445 | 1361376  7142511 16854872 |        1    42054   1731 | 10.011 % |
3302.77/3302.80	c |    300488 | 1361376  7142511 16854872 |        1    43097   1802 | 10.011 % |
3302.77/3302.80	c |    300591 | 1361376  7142511 16854872 |        1    43200   1808 | 10.011 % |
3302.77/3302.80	c |    301464 | 1361376  7142511 16854872 |        1    44073   1894 | 10.011 % |
3302.77/3302.80	c |    302365 | 1361376  7142511 16854872 |        1    44974   1951 | 10.011 % |
3302.77/3302.80	c |    302467 | 1361376  7142511 16854872 |        1    45076   1959 | 10.011 % |
3302.77/3302.80	c |    305253 | 1361373  7142511 16854872 |        1    47859   1951 | 10.012 % |
3302.77/3302.80	c |    306532 | 1361373  7142511 16854872 |        1    49138   1990 | 10.012 % |
3302.77/3302.80	c |    306632 | 1361373  7142511 16854872 |        1    49238   1988 | 10.012 % |
3302.77/3302.80	c |    307467 | 1361373  7142511 16854872 |        1    50073   1984 | 10.012 % |
3302.77/3302.80	c |    307568 | 1361366  7142511 16854872 |        1    50167   1983 | 10.012 % |
3302.77/3302.80	c |    309471 | 1361366  7142511 16854872 |        1    52070   2066 | 10.012 % |
3302.77/3302.80	c |    309571 | 1361366  7142511 16854872 |        1    52170   2064 | 10.012 % |
3302.77/3302.80	c |    315903 | 1361363  7142511 16854872 |        1    58499   2226 | 10.012 % |
3302.77/3302.80	c |    316757 | 1361363  7142511 16854872 |        1    59353   2222 | 10.012 % |
3302.77/3302.80	c |    316930 | 1361363  7142511 16854872 |        1    59526   2239 | 10.012 % |
3302.77/3302.80	c |    317032 | 1361363  7142511 16854872 |        1    59628   2242 | 10.012 % |
3302.77/3302.81	c |    317876 | 1361363  7142511 16854872 |        1    60472   2274 | 10.012 % |
3302.77/3302.81	c |    318473 | 1361362  7142511 16854872 |        1    61068   2274 | 10.012 % |
3302.77/3302.81	c |    322315 | 1361362  7142511 16854872 |        1    64910   2550 | 10.012 % |
3302.77/3302.81	c |    324444 | 1361359  7142511 16854872 |        1    67036   2530 | 10.013 % |
3302.77/3302.81	c |    325160 | 1361359  7142501 16854637 |        1    67737   2521 | 10.013 % |
3302.77/3302.81	c |    325512 | 1361359  7142501 16854637 |        1    68089   2524 | 10.013 % |
3302.77/3302.81	c |    326203 | 1361358  7142501 16854637 |        1    68779   2523 | 10.013 % |
3302.77/3302.81	c |    327860 | 1361358  7142501 16854637 |        1    70436   2590 | 10.013 % |
3302.77/3302.81	c |    327960 | 1361358  7142501 16854637 |        1    70536   2591 | 10.013 % |
3302.77/3302.81	c |    329049 | 1361356  7142501 16854637 |        1    71623   2570 | 10.013 % |
3302.77/3302.81	c |    329465 | 1361356  7142501 16854637 |        1    72039   2572 | 10.013 % |
3302.77/3302.81	c |    330658 | 1361355  7142501 16854637 |        1    73231   2561 | 10.013 % |
3302.77/3302.81	c |    334088 | 1361355  7142501 16854637 |        1    38906    448 | 10.013 % |
3302.77/3302.81	c |    334335 | 1361355  7142501 16854637 |        1    39153    451 | 10.013 % |
3302.77/3302.81	c |    336689 | 1361353  7142501 16854637 |        1    41505    544 | 10.013 % |
3302.77/3302.81	c |    336790 | 1361353  7142501 16854637 |        1    41606    544 | 10.013 % |
3302.77/3302.81	c |    337170 | 1361353  7142501 16854637 |        1    41986    568 | 10.013 % |
3302.77/3302.81	c |    338077 | 1361353  7142501 16854637 |        1    42893    605 | 10.013 % |
3302.77/3302.81	c |    340542 | 1361352  7142501 16854637 |        1    45357    723 | 10.013 % |
3302.77/3302.81	c |    340713 | 1361352  7142501 16854637 |        1    45528    725 | 10.013 % |
3302.77/3302.81	c |    343118 | 1361352  7142501 16854637 |        1    47933    852 | 10.013 % |
3302.77/3302.81	c |    343415 | 1361352  7142501 16854637 |        1    48230    865 | 10.013 % |
3302.77/3302.81	c |    344193 | 1361345  7142501 16854637 |        1    49001    950 | 10.013 % |
3302.77/3302.81	c |    344294 | 1361345  7142501 16854637 |        1    49102    956 | 10.013 % |
3302.77/3302.81	c |    344394 | 1361345  7142501 16854637 |        1    49202    957 | 10.013 % |
3527.07/3527.18	c |    344494 | 1361345  7142501 16854637 |        1    49302    956 | 10.013 % |
3527.07/3527.18	c |    344598 | 1361345  7142501 16854637 |        1    49406    955 | 10.013 % |
3527.07/3527.18	c |    345266 | 1361345  7142501 16854637 |        1    50074   1029 | 10.013 % |
3527.07/3527.18	c |    345366 | 1361345  7142501 16854637 |        1    50174   1032 | 10.013 % |
3527.07/3527.18	c |    345742 | 1361345  7142501 16854637 |        1    50550   1038 | 10.013 % |
3527.07/3527.18	c |    345843 | 1361345  7142501 16854637 |        1    50651   1037 | 10.013 % |
3527.07/3527.18	c |    347775 | 1361345  7142501 16854637 |        1    52583   1113 | 10.013 % |
3527.07/3527.18	c |    347875 | 1361345  7142501 16854637 |        1    52683   1115 | 10.013 % |
3527.07/3527.18	c |    349494 | 1361344  7142501 16854637 |        1    54301   1172 | 10.014 % |
3527.07/3527.18	c |    349757 | 1361344  7142501 16854637 |        1    54564   1177 | 10.014 % |
3527.07/3527.18	c |    353761 | 1361342  7142501 16854637 |        1    58566   1218 | 10.014 % |
3527.07/3527.18	c |    353861 | 1361342  7142501 16854637 |        1    58660   1222 | 10.014 % |
3527.07/3527.18	c |    354056 | 1361341  7142501 16854637 |        1    58854   1233 | 10.014 % |
3527.07/3527.18	c |    354551 | 1361339  7142501 16854637 |        1    59347   1239 | 10.014 % |
3527.07/3527.18	c |    354651 | 1361339  7142501 16854637 |        1    59447   1241 | 10.014 % |
3527.07/3527.18	c |    354969 | 1361338  7142501 16854637 |        1    59764   1255 | 10.014 % |
3527.07/3527.18	c |    355071 | 1361338  7142501 16854637 |        1    59866   1259 | 10.014 % |
3527.07/3527.18	c |    355171 | 1361338  7142501 16854637 |        1    59966   1262 | 10.014 % |
3527.07/3527.18	c |    355528 | 1361337  7142501 16854637 |        1    60322   1275 | 10.014 % |
3527.07/3527.18	c |    355628 | 1361324  7142501 16854637 |        1    60421   1277 | 10.015 % |
3527.07/3527.18	c |    355728 | 1361323  7142501 16854637 |        1    60520   1277 | 10.015 % |
3527.07/3527.18	c |    355829 | 1360806  7142501 16854637 |        1    60619   1277 | 10.049 % |
3527.07/3527.18	c |    357025 | 1360806  7142501 16854637 |        1    61815   1350 | 10.049 % |
3527.07/3527.18	c |    357125 | 1360806  7142501 16854637 |        1    61915   1349 | 10.049 % |
3527.07/3527.18	c |    357299 | 1360694  7142501 16854637 |        1    62087   1348 | 10.057 % |
3527.07/3527.18	c |    357399 | 1360693  7142501 16854637 |        1    62186   1349 | 10.057 % |
3527.07/3527.18	c |    358533 | 1360693  7142501 16854637 |        1    63320   1372 | 10.057 % |
3527.07/3527.18	c |    359318 | 1360664  7142501 16854637 |        1    64104   1393 | 10.058 % |
3527.07/3527.18	c |    359772 | 1360664  7142501 16854637 |        1    64558   1415 | 10.058 % |
3527.07/3527.18	c |    359950 | 1360664  7142501 16854637 |        1    64736   1425 | 10.058 % |
3527.07/3527.18	c |    360171 | 1360662  7142501 16854637 |        1    64955   1428 | 10.059 % |
3527.07/3527.18	c |    360320 | 1359811  7142501 16854637 |        1    65103   1433 | 10.115 % |
3527.07/3527.18	c |    360421 | 1359806  7142501 16854637 |        1    65203   1432 | 10.115 % |
3527.07/3527.18	c |    360604 | 1359806  7142501 16854637 |        1    65386   1434 | 10.115 % |
3527.07/3527.18	c |    369483 | 1359806  7142501 16854637 |        1    74265   1948 | 10.115 % |
3527.07/3527.18	c |    370385 | 1359787  7142501 16854637 |        1    75166   1953 | 10.116 % |
3527.07/3527.18	c |    370485 | 1359784  7142501 16854637 |        1    75263   1952 | 10.117 % |
3527.07/3527.18	c |    371648 | 1359784  7142501 16854637 |        1    76426   1959 | 10.117 % |
3527.07/3527.18	c |    371749 | 1359784  7142501 16854637 |        1    76527   1959 | 10.117 % |
3527.07/3527.18	c |    372327 | 1359783  7142501 16854637 |        1    77104   1960 | 10.117 % |
3527.07/3527.18	c |    373538 | 1359783  7142501 16854637 |        1    78315   1990 | 10.117 % |
3527.07/3527.18	c |    373638 | 1359783  7142501 16854637 |        1    78415   1990 | 10.117 % |
3527.07/3527.18	c |    376210 | 1359782  7142501 16854637 |        1    40632    342 | 10.117 % |
3527.07/3527.18	c |    377335 | 1359777  7142483 16852689 |        1    41612    422 | 10.117 % |
3527.07/3527.18	c |    379208 | 1359775  7142483 16852689 |        1    43483    483 | 10.117 % |
3527.07/3527.18	c |    379308 | 1359775  7142483 16852689 |        1    43583    485 | 10.117 % |
3527.07/3527.18	c |    379475 | 1359775  7142483 16852689 |        1    43750    498 | 10.117 % |
3527.07/3527.18	c |    385392 | 1359775  7142483 16852689 |        1    49667   1137 | 10.117 % |
3527.07/3527.18	c |    385654 | 1359775  7142483 16852689 |        1    49929   1148 | 10.117 % |
3527.07/3527.18	c |    385771 | 1359775  7142483 16852689 |        1    50046   1156 | 10.117 % |
3761.47/3761.51	c |    386283 | 1359775  7142483 16852689 |        1    50558   1187 | 10.117 % |
3761.47/3761.51	c |    386487 | 1359774  7142483 16852689 |        1    50761   1195 | 10.117 % |
3761.47/3761.51	c |    386597 | 1359774  7142483 16852689 |        1    50871   1194 | 10.117 % |
3761.47/3761.51	c |    386698 | 1359774  7142483 16852689 |        1    50972   1197 | 10.117 % |
3761.47/3761.51	c |    391712 | 1359774  7142483 16852689 |        1    55986   1548 | 10.117 % |
3761.47/3761.51	c |    392205 | 1359771  7142483 16852689 |        1    56473   1548 | 10.118 % |
3761.47/3761.51	c |    394658 | 1359771  7142483 16852689 |        1    58926   1703 | 10.118 % |
3761.47/3761.51	c |    394759 | 1359771  7142483 16852689 |        1    59027   1706 | 10.118 % |
3761.47/3761.51	c |    395363 | 1359771  7142483 16852689 |        1    59631   1708 | 10.118 % |
3761.47/3761.51	c |    395630 | 1359771  7142483 16852689 |        1    59898   1712 | 10.118 % |
3761.47/3761.51	c |    395730 | 1359770  7142483 16852689 |        1    59997   1716 | 10.118 % |
3761.47/3761.51	c |    396273 | 1359754  7142483 16852689 |        1    60538   1730 | 10.119 % |
3761.47/3761.51	c |    396373 | 1359754  7142483 16852689 |        1    60638   1730 | 10.119 % |
3761.47/3761.51	c |    396474 | 1359754  7142483 16852689 |        1    60739   1730 | 10.119 % |
3761.47/3761.51	c |    396575 | 1359753  7142483 16852689 |        1    60839   1730 | 10.119 % |
3761.47/3761.51	c |    396978 | 1359752  7142483 16852689 |        1    61241   1735 | 10.119 % |
3761.47/3761.51	c |    397532 | 1358827  7142483 16852689 |        1    61793   1748 | 10.180 % |
3761.47/3761.51	c |    397632 | 1358827  7142483 16852689 |        1    61893   1746 | 10.180 % |
3761.47/3761.51	c |    397998 | 1358827  7142483 16852689 |        1    62259   1768 | 10.180 % |
3761.47/3761.51	c |    398098 | 1358827  7142483 16852689 |        1    62359   1769 | 10.180 % |
3761.47/3761.51	c |    398243 | 1358827  7142483 16852689 |        1    62504   1766 | 10.180 % |
3761.47/3761.51	c |    398376 | 1358827  7142483 16852689 |        1    62637   1764 | 10.180 % |
3761.47/3761.51	c |    398477 | 1358827  7142483 16852689 |        1    62738   1762 | 10.180 % |
3761.47/3761.51	c |    398657 | 1358827  7142483 16852689 |        1    62918   1763 | 10.180 % |
3761.47/3761.51	c |    401575 | 1358824  7142483 16852689 |        1    65833   1790 | 10.180 % |
3761.47/3761.51	c |    401676 | 1358824  7142483 16852689 |        1    65934   1788 | 10.180 % |
3761.47/3761.51	c |    403138 | 1358822  7142483 16852689 |        1    67394   1868 | 10.180 % |
3761.47/3761.51	c |    404951 | 1358798  7142483 16852689 |        1    69205   1928 | 10.182 % |
3761.47/3761.51	c |    405934 | 1358796  7142483 16852689 |        1    70186   1947 | 10.182 % |
3761.47/3761.51	c |    406034 | 1358796  7142483 16852689 |        1    70286   1955 | 10.182 % |
3761.47/3761.51	c |    406141 | 1358796  7142483 16852689 |        1    70393   1954 | 10.182 % |
3761.47/3761.51	c |    406241 | 1358796  7142483 16852689 |        1    70493   1955 | 10.182 % |
3761.47/3761.51	c |    406666 | 1358796  7142483 16852689 |        1    70918   1962 | 10.182 % |
3761.47/3761.51	c |    407410 | 1358794  7142483 16852689 |        1    71660   1961 | 10.182 % |
3761.47/3761.51	c |    407510 | 1358794  7142483 16852689 |        1    71760   1960 | 10.182 % |
3761.47/3761.51	c |    408714 | 1358794  7142483 16852689 |        1    72964   1974 | 10.182 % |
3761.47/3761.51	c |    410189 | 1358794  7142483 16852689 |        1    74439   2109 | 10.182 % |
3761.47/3761.51	c |    410292 | 1358794  7142483 16852689 |        1    74542   2108 | 10.182 % |
3761.47/3761.51	c |    410392 | 1358794  7142473 16851310 |        1    74582   2109 | 10.182 % |
3761.47/3761.51	c |    410540 | 1358794  7142473 16851310 |        1    74730   2115 | 10.182 % |
3761.47/3761.51	c |    410640 | 1358794  7142473 16851310 |        1    74830   2114 | 10.182 % |
3761.47/3761.51	c |    410850 | 1358794  7142473 16851310 |        1    75040   2117 | 10.182 % |
3761.47/3761.51	c |    411061 | 1358794  7142473 16851310 |        1    75251   2120 | 10.182 % |
3761.47/3761.51	c |    411346 | 1358794  7142473 16851310 |        1    75536   2130 | 10.182 % |
3761.47/3761.51	c |    424238 | 1358793  7142473 16851310 |        1    45607    687 | 10.182 % |
3761.47/3761.51	c |    425161 | 1358790  7142473 16851310 |        1    46527    779 | 10.182 % |
3761.47/3761.51	c |    426284 | 1358639  7142473 16851310 |        1    47645    804 | 10.192 % |
3761.47/3761.51	c |    426459 | 1358639  7142473 16851310 |        1    47820    814 | 10.192 % |
3761.47/3761.51	c |    426647 | 1358639  7142473 16851310 |        1    48008    813 | 10.192 % |
3761.47/3761.51	c |    426859 | 1357618  7142473 16851310 |        1    48218    819 | 10.260 % |
4296.28/4296.38	c |    426959 | 1357618  7142473 16851310 |        1    48318    822 | 10.260 % |
4296.28/4296.38	c |    427059 | 1357618  7142473 16851310 |        1    48418    825 | 10.260 % |
4296.28/4296.38	c |    427159 | 1357618  7142473 16851310 |        1    48518    827 | 10.260 % |
4296.28/4296.38	c |    430797 | 1357617  7142473 16851310 |        1    52155    891 | 10.260 % |
4296.28/4296.38	c |    431284 | 1357617  7142473 16851310 |        1    52642    904 | 10.260 % |
4296.28/4296.38	c |    431428 | 1357617  7142473 16851310 |        1    52786    910 | 10.260 % |
4296.28/4296.38	c |    431604 | 1357617  7142473 16851310 |        1    52962    916 | 10.260 % |
4296.28/4296.38	c |    433188 | 1357617  7142473 16851310 |        1    54546   1077 | 10.260 % |
4296.28/4296.38	c |    437207 | 1357610  7142473 16851310 |        1    58558   1298 | 10.260 % |
4296.28/4296.38	c |    437311 | 1357610  7142473 16851310 |        1    58662   1301 | 10.260 % |
4296.28/4296.38	c |    437628 | 1357610  7142473 16851310 |        1    58979   1318 | 10.260 % |
4296.28/4296.38	c |    437730 | 1357610  7142473 16851310 |        1    59081   1323 | 10.260 % |
4296.28/4296.38	c |    437830 | 1357610  7142473 16851310 |        1    59181   1329 | 10.260 % |
4296.28/4296.38	c |    437957 | 1357610  7142473 16851310 |        1    59308   1332 | 10.260 % |
4296.28/4296.38	c |    439601 | 1357607  7142473 16851310 |        1    60949   1349 | 10.261 % |
4296.28/4296.38	c |    441207 | 1357607  7142473 16851310 |        1    62555   1491 | 10.261 % |
4296.28/4296.38	c |    441353 | 1357607  7142473 16851310 |        1    62701   1491 | 10.261 % |
4296.28/4296.38	c |    446559 | 1357607  7142473 16851310 |        1    67907   1579 | 10.261 % |
4296.28/4296.38	c |    448531 | 1357605  7142473 16851310 |        1    69877   1662 | 10.261 % |
4296.28/4296.38	c |    448825 | 1357605  7142473 16851310 |        1    70171   1676 | 10.261 % |
4296.28/4296.38	c |    448925 | 1357605  7142473 16851310 |        1    70271   1677 | 10.261 % |
4296.28/4296.38	c |    449527 | 1357604  7142473 16851310 |        1    70872   1679 | 10.261 % |
4296.28/4296.38	c |    449628 | 1357604  7142473 16851310 |        1    70973   1677 | 10.261 % |
4296.28/4296.38	c |    453820 | 1357603  7142473 16851310 |        1    75164   2117 | 10.261 % |
4296.28/4296.38	c |    453923 | 1357603  7142473 16851310 |        1    75267   2124 | 10.261 % |
4296.28/4296.38	c |    454602 | 1357590  7142473 16851310 |        1    75945   2129 | 10.262 % |
4296.28/4296.38	c |    454702 | 1357588  7142473 16851310 |        1    76043   2130 | 10.262 % |
4296.28/4296.38	c |    456167 | 1357588  7142473 16851310 |        1    77508   2201 | 10.262 % |
4296.28/4296.38	c |    456627 | 1357588  7142473 16851310 |        1    77968   2203 | 10.262 % |
4296.28/4296.38	c |    457065 | 1357587  7142473 16851310 |        1    78405   2202 | 10.262 % |
4296.28/4296.38	c |    464888 | 1357586  7142473 16851310 |        1    86227   2295 | 10.262 % |
4296.28/4296.38	c |    464988 | 1357586  7142465 16849704 |        1    86264   2298 | 10.262 % |
4296.28/4296.38	c |    465372 | 1357586  7142465 16849704 |        1    86648   2300 | 10.262 % |
4296.28/4296.38	c |    465499 | 1357586  7142465 16849704 |        1    86775   2302 | 10.262 % |
4296.28/4296.38	c |    469609 | 1357586  7142465 16849704 |        1    90885   2387 | 10.262 % |
4296.28/4296.38	c |    472689 | 1357586  7142465 16849704 |        1    48481    547 | 10.262 % |
4296.28/4296.38	c |    472791 | 1357585  7142465 16849704 |        1    48582    551 | 10.262 % |
4296.28/4296.38	c |    476481 | 1357578  7142465 16849704 |        1    52265    762 | 10.262 % |
4296.28/4296.38	c |    476581 | 1357578  7142465 16849704 |        1    52365    765 | 10.262 % |
4296.28/4296.38	c |    476685 | 1357578  7142465 16849704 |        1    52469    766 | 10.262 % |
4296.28/4296.38	c |    477361 | 1357573  7142465 16849704 |        1    53144    775 | 10.263 % |
4296.28/4296.38	c |    479711 | 1357571  7142465 16849704 |        1    55492    815 | 10.263 % |
4296.28/4296.38	c |    479971 | 1357570  7142465 16849704 |        1    55751    813 | 10.263 % |
4296.28/4296.38	c |    480933 | 1357567  7142465 16849704 |        1    56710    927 | 10.263 % |
4296.28/4296.38	c |    483667 | 1357567  7142465 16849704 |        1    59444   1078 | 10.263 % |
4296.28/4296.38	c |    483770 | 1357567  7142465 16849704 |        1    59547   1078 | 10.263 % |
4296.28/4296.38	c |    483952 | 1357567  7142465 16849704 |        1    59729   1086 | 10.263 % |
4296.28/4296.38	c |    484798 | 1357567  7142465 16849704 |        1    60575   1146 | 10.263 % |
4296.28/4296.38	c |    486923 | 1357556  7142465 16849704 |        1    62697   1192 | 10.264 % |
4296.28/4296.38	c |    487079 | 1357556  7142465 16849704 |        1    62853   1194 | 10.264 % |
4569.08/4569.12	c |    487657 | 1357555  7142465 16849704 |        1    63430   1202 | 10.264 % |
4569.08/4569.12	c |    488006 | 1357555  7142465 16849704 |        1    63779   1206 | 10.264 % |
4569.08/4569.12	c |    488107 | 1357555  7142465 16849704 |        1    63880   1206 | 10.264 % |
4569.08/4569.12	c |    489478 | 1357555  7142465 16849704 |        1    65251   1264 | 10.264 % |
4569.08/4569.12	c |    489671 | 1357554  7142465 16849704 |        1    65443   1267 | 10.264 % |
4569.08/4569.12	c |    490323 | 1357553  7142465 16849704 |        1    66094   1275 | 10.264 % |
4569.08/4569.12	c |    490913 | 1357553  7142465 16849704 |        1    66684   1298 | 10.264 % |
4569.08/4569.12	c |    497192 | 1357477  7142465 16849704 |        1    72961   1672 | 10.269 % |
4569.08/4569.12	c |    497294 | 1357477  7142465 16849704 |        1    73063   1672 | 10.269 % |
4569.08/4569.12	c |    497394 | 1357477  7142465 16849704 |        1    73163   1671 | 10.269 % |
4569.08/4569.12	c |    497495 | 1357477  7142465 16849704 |        1    73264   1669 | 10.269 % |
4569.08/4569.12	c |    499143 | 1357472  7142465 16849704 |        1    74907   1768 | 10.269 % |
4569.08/4569.12	c |    499245 | 1357472  7142465 16849704 |        1    75009   1771 | 10.269 % |
4569.08/4569.12	c |    499481 | 1357472  7142465 16849704 |        1    75245   1778 | 10.269 % |
4569.08/4569.12	c |    500157 | 1357472  7142465 16849704 |        1    75921   1814 | 10.269 % |
4569.08/4569.12	c |    500925 | 1357472  7142465 16849704 |        1    76689   1820 | 10.269 % |
4569.08/4569.12	c |    501025 | 1357472  7142465 16849704 |        1    76789   1819 | 10.269 % |
4569.08/4569.12	c |    501492 | 1357472  7142465 16849704 |        1    77256   1825 | 10.269 % |
4569.08/4569.12	c |    502611 | 1357471  7142465 16849704 |        1    78374   1835 | 10.270 % |
4569.08/4569.12	c |    502711 | 1357471  7142465 16849704 |        1    78474   1837 | 10.270 % |
4569.08/4569.12	c |    502891 | 1357471  7142465 16849704 |        1    78654   1838 | 10.270 % |
4569.08/4569.12	c |    503015 | 1357471  7142465 16849704 |        1    78778   1839 | 10.270 % |
4569.08/4569.12	c |    504617 | 1357470  7142465 16849704 |        1    80379   1902 | 10.270 % |
4569.08/4569.12	c |    506531 | 1357469  7142465 16849704 |        1    82292   1904 | 10.270 % |
4569.08/4569.12	c |    506856 | 1357468  7142465 16849704 |        1    82616   1907 | 10.270 % |
4569.08/4569.12	c |    509333 | 1357465  7142465 16849704 |        1    85090   1913 | 10.270 % |
4569.08/4569.12	c |    509572 | 1357465  7142465 16849704 |        1    85329   1917 | 10.270 % |
4569.08/4569.12	c |    509750 | 1357465  7142465 16849704 |        1    85507   1921 | 10.270 % |
4569.08/4569.12	c |    509852 | 1357465  7142465 16849704 |        1    85609   1920 | 10.270 % |
4569.08/4569.12	c |    510241 | 1357464  7142465 16849704 |        1    85997   1925 | 10.270 % |
4569.08/4569.12	c |    510403 | 1357464  7142465 16849704 |        1    86159   1927 | 10.270 % |
4569.08/4569.12	c |    510827 | 1357464  7142465 16849704 |        1    86583   1935 | 10.270 % |
4569.08/4569.12	c |    510945 | 1357464  7142465 16849704 |        1    86701   1942 | 10.270 % |
4569.08/4569.12	c |    511819 | 1357459  7142465 16849704 |        1    87574   1962 | 10.270 % |
4569.08/4569.12	c |    514468 | 1357450  7142465 16849704 |        1    90219   1980 | 10.271 % |
4569.08/4569.12	c |    514571 | 1357450  7142465 16849704 |        1    90322   1979 | 10.271 % |
4569.08/4569.12	c |    515422 | 1357449  7142465 16849704 |        1    91172   1981 | 10.271 % |
4569.08/4569.12	c |    515523 | 1357449  7142455 16849551 |        1    91257   1990 | 10.271 % |
4569.08/4569.12	c |    515627 | 1357449  7142455 16849551 |        1    91361   1989 | 10.271 % |
4569.08/4569.12	c |    515728 | 1357449  7142455 16849551 |        1    91462   1988 | 10.271 % |
4569.08/4569.12	c |    515828 | 1357449  7142455 16849551 |        1    91562   1993 | 10.271 % |
4569.08/4569.12	c |    516858 | 1357449  7142455 16849551 |        1    92592   2033 | 10.271 % |
4569.08/4569.12	c |    517910 | 1357446  7142455 16849551 |        1    93641   2089 | 10.271 % |
4569.08/4569.12	c |    518010 | 1357445  7142455 16849551 |        1    93740   2093 | 10.271 % |
4569.08/4569.12	c |    518112 | 1357445  7142455 16849551 |        1    93842   2093 | 10.271 % |
4569.08/4569.12	c |    520817 | 1357445  7142455 16849551 |        1    48435    336 | 10.271 % |
4569.08/4569.12	c |    520917 | 1357445  7142455 16849551 |        1    48535    341 | 10.271 % |
4569.08/4569.12	c |    521018 | 1357250  7142455 16849551 |        1    48635    342 | 10.284 % |
4569.08/4569.12	c |    521223 | 1357250  7142455 16849551 |        1    48840    371 | 10.284 % |
4569.08/4569.12	c |    521330 | 1357250  7142455 16849551 |        1    48947    371 | 10.284 % |
4800.99/4801.01	c |    521448 | 1357234  7142455 16849551 |        1    49064    373 | 10.285 % |
4800.99/4801.01	c |    524507 | 1357234  7142455 16849551 |        1    52123    607 | 10.285 % |
4800.99/4801.01	c |    524867 | 1357222  7142455 16849551 |        1    52482    622 | 10.286 % |
4800.99/4801.01	c |    524973 | 1357222  7142455 16849551 |        1    52588    626 | 10.286 % |
4800.99/4801.01	c |    525707 | 1357221  7142455 16849551 |        1    53321    644 | 10.286 % |
4800.99/4801.01	c |    525807 | 1357221  7142455 16849551 |        1    53421    645 | 10.286 % |
4800.99/4801.01	c |    529076 | 1357220  7142455 16849551 |        1    56689    891 | 10.286 % |
4800.99/4801.01	c |    529176 | 1357220  7142455 16849551 |        1    56789    892 | 10.286 % |
4800.99/4801.01	c |    529277 | 1357220  7142455 16849551 |        1    56890    895 | 10.286 % |
4800.99/4801.01	c |    529736 | 1357220  7142455 16849551 |        1    57349    959 | 10.286 % |
4800.99/4801.01	c |    529838 | 1357220  7142455 16849551 |        1    57451    960 | 10.286 % |
4800.99/4801.01	c |    530350 | 1357220  7142455 16849551 |        1    57963    986 | 10.286 % |
4800.99/4801.01	c |    532122 | 1357216  7142455 16849551 |        1    59731   1082 | 10.286 % |
4800.99/4801.01	c |    532877 | 1357215  7142455 16849551 |        1    60485   1123 | 10.286 % |
4800.99/4801.01	c |    533438 | 1357214  7142455 16849551 |        1    61045   1135 | 10.287 % |
4800.99/4801.01	c |    535018 | 1357214  7142455 16849551 |        1    62625   1201 | 10.287 % |
4800.99/4801.01	c |    535118 | 1357214  7142455 16849551 |        1    62725   1201 | 10.287 % |
4800.99/4801.01	c |    535532 | 1357214  7142455 16849551 |        1    63139   1200 | 10.287 % |
4800.99/4801.01	c |    535744 | 1357214  7142455 16849551 |        1    63351   1198 | 10.287 % |
4800.99/4801.01	c |    536013 | 1357214  7142455 16849551 |        1    63620   1196 | 10.287 % |
4800.99/4801.01	c |    537204 | 1357214  7142455 16849551 |        1    64811   1214 | 10.287 % |
4800.99/4801.01	c |    537334 | 1357214  7142455 16849551 |        1    64941   1215 | 10.287 % |
4800.99/4801.01	c |    537434 | 1357214  7142455 16849551 |        1    65041   1216 | 10.287 % |
4800.99/4801.01	c |    537534 | 1357214  7142455 16849551 |        1    65141   1217 | 10.287 % |
4800.99/4801.01	c |    537769 | 1357208  7142455 16849551 |        1    65375   1226 | 10.287 % |
4800.99/4801.01	c |    537873 | 1357206  7142455 16849551 |        1    65477   1226 | 10.287 % |
4800.99/4801.01	c |    540714 | 1357206  7142455 16849551 |        1    68318   1467 | 10.287 % |
4800.99/4801.01	c |    540816 | 1357206  7142455 16849551 |        1    68420   1467 | 10.287 % |
4800.99/4801.01	c |    540920 | 1357205  7142455 16849551 |        1    68523   1469 | 10.287 % |
4800.99/4801.01	c |    541022 | 1357205  7142455 16849551 |        1    68625   1468 | 10.287 % |
4800.99/4801.01	c |    542136 | 1357204  7142455 16849551 |        1    69738   1518 | 10.287 % |
4800.99/4801.01	c |    543495 | 1357204  7142455 16849551 |        1    71097   1570 | 10.287 % |
4800.99/4801.01	c |    543595 | 1357204  7142455 16849551 |        1    71197   1571 | 10.287 % |
4800.99/4801.01	c |    543695 | 1357204  7142455 16849551 |        1    71297   1573 | 10.287 % |
4800.99/4801.01	c |    543958 | 1357204  7142455 16849551 |        1    71560   1573 | 10.287 % |
4800.99/4801.01	c |    545615 | 1357203  7142455 16849551 |        1    73216   1577 | 10.287 % |
4800.99/4801.01	c |    546218 | 1357203  7142455 16849551 |        1    73819   1656 | 10.287 % |
4800.99/4801.01	c |    547765 | 1357202  7142455 16849551 |        1    75365   1704 | 10.287 % |
4800.99/4801.01	c |    548883 | 1357202  7142455 16849551 |        1    76483   1751 | 10.287 % |
4800.99/4801.01	c |    548983 | 1357202  7142455 16849551 |        1    76583   1751 | 10.287 % |
4800.99/4801.01	c |    549358 | 1357202  7142455 16849551 |        1    76958   1750 | 10.287 % |
4800.99/4801.01	c |    549834 | 1357201  7142455 16849551 |        1    77433   1750 | 10.287 % |
4800.99/4801.01	c |    549935 | 1357201  7142455 16849551 |        1    77534   1750 | 10.287 % |
4800.99/4801.01	c |    555356 | 1357191  7142455 16849551 |        1    82953   1734 | 10.288 % |
4800.99/4801.01	c |    556965 | 1357189  7142455 16849551 |        1    84560   1789 | 10.288 % |
4800.99/4801.01	c |    557067 | 1357189  7142455 16849551 |        1    84662   1795 | 10.288 % |
4800.99/4801.01	c |    557168 | 1357189  7142455 16849551 |        1    84763   1795 | 10.288 % |
4800.99/4801.01	c |    558260 | 1357188  7142455 16849551 |        1    85854   1810 | 10.288 % |
4800.99/4801.01	c |    558360 | 1357188  7142455 16849551 |        1    85954   1811 | 10.288 % |
4800.99/4801.01	c |    558461 | 1357188  7142455 16849551 |        1

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 4 cores: 1,3,5,7

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: 2.15 2.03 1.94 2/176 27953
/proc/meminfo: memFree=16904128/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0

[startup+0.011045 s]
/proc/loadavg: 2.15 2.03 1.94 2/176 27953
/proc/meminfo: memFree=16904128/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.101032 s]
/proc/loadavg: 2.15 2.03 1.94 2/176 27953
/proc/meminfo: memFree=16904128/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300984 s]
/proc/loadavg: 2.15 2.03 1.94 2/176 27953
/proc/meminfo: memFree=16904128/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+35.1941 s]
/proc/loadavg: 2.15 2.03 1.94 2/176 27953
/proc/meminfo: memFree=16904128/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
heavy processes:

[startup+35.2061 s]
/proc/loadavg: 4.35 2.58 2.13 3/178 27956
/proc/meminfo: memFree=16339816/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=650960 CPUtime=35.2 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 219809 0 0 0 3492 28 0 0 25 0 1 0 502035330 666583040 136789 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27955/statm: 162740 136789 251 17 0 159381 0
Current children cumulated CPU time (s) 35.2
Current children cumulated vsize (KiB) 659664

[startup+35.3011 s]
/proc/loadavg: 4.35 2.58 2.13 3/178 27956
/proc/meminfo: memFree=16339816/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=650960 CPUtime=35.29 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 219917 0 0 0 3501 28 0 0 25 0 1 0 502035330 666583040 136897 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209635 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27955/statm: 162740 136897 251 17 0 159381 0
Current children cumulated CPU time (s) 35.29
Current children cumulated vsize (KiB) 659664

[startup+35.4011 s]
/proc/loadavg: 4.35 2.58 2.13 3/178 27956
/proc/meminfo: memFree=16339816/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=650960 CPUtime=35.39 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 220025 0 0 0 3511 28 0 0 25 0 1 0 502035330 666583040 137005 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209374 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27955/statm: 162740 137005 251 17 0 159381 0
Current children cumulated CPU time (s) 35.39
Current children cumulated vsize (KiB) 659664

[startup+35.501 s]
/proc/loadavg: 4.35 2.58 2.13 3/178 27956
/proc/meminfo: memFree=16339816/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=650960 CPUtime=35.49 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 220131 0 0 0 3521 28 0 0 25 0 1 0 502035330 666583040 137111 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27955/statm: 162740 137111 251 17 0 159381 0
Current children cumulated CPU time (s) 35.49
Current children cumulated vsize (KiB) 659664

[startup+35.601 s]
/proc/loadavg: 4.35 2.58 2.13 3/178 27956
/proc/meminfo: memFree=16339816/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=650960 CPUtime=35.59 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 220218 0 0 0 3531 28 0 0 25 0 1 0 502035330 666583040 137198 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209295 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27955/statm: 162740 137198 251 17 0 159381 0
Current children cumulated CPU time (s) 35.59
Current children cumulated vsize (KiB) 659664

[startup+51.1004 s]
/proc/loadavg: 4.18 2.64 2.15 3/178 27957
/proc/meminfo: memFree=16274348/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=789912 CPUtime=51.05 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 236147 0 0 0 5075 30 0 0 25 0 1 0 502035330 808869888 153124 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209476 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27955/statm: 197478 153124 252 17 0 194119 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 798616

[startup+102.301 s]
/proc/loadavg: 2.95 2.54 2.14 3/178 27958
/proc/meminfo: memFree=16313500/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=657652 CPUtime=102.24 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 294517 0 0 0 10187 37 0 0 25 0 1 0 502035330 673435648 141975 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209619 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27955/statm: 164413 141975 252 17 0 161054 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 666356

[startup+162.307 s]
/proc/loadavg: 2.35 2.43 2.13 3/178 27960
/proc/meminfo: memFree=16235908/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=789912 CPUtime=162.24 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 307816 0 0 0 16185 39 0 0 25 0 1 0 502035330 808869888 155274 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209539 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 197478 155274 252 17 0 194119 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 798616

[startup+222.301 s]
/proc/loadavg: 2.12 2.35 2.12 3/178 27962
/proc/meminfo: memFree=16186812/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=789912 CPUtime=222.24 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 319504 0 0 0 22183 41 0 0 25 0 1 0 502035330 808869888 166960 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 197478 166960 252 17 0 194119 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 798616

[startup+282.3 s]
/proc/loadavg: 2.04 2.29 2.11 3/178 27963
/proc/meminfo: memFree=16303220/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=664680 CPUtime=282.23 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 382832 0 0 0 28173 50 0 0 25 0 1 0 502035330 680632320 137447 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 166170 137447 252 17 0 162811 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 673384

[startup+342.3 s]
/proc/loadavg: 2.01 2.23 2.09 3/178 27965
/proc/meminfo: memFree=16204128/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=796940 CPUtime=342.24 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 406885 0 0 0 34170 54 0 0 25 0 1 0 502035330 816066560 161493 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209599 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 199235 161493 252 17 0 195876 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 805644

[startup+402.3 s]
/proc/loadavg: 2.00 2.19 2.09 3/178 27966
/proc/meminfo: memFree=16139380/32951132 swapFree=67111524/67111528

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

/proc/27955/statm: 270456 251289 252 17 0 267097 0
Current children cumulated CPU time (s) 4362.28
Current children cumulated vsize (KiB) 1090528

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28086
/proc/meminfo: memFree=15635156/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=1431072 CPUtime=4422.28 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3327499 0 0 0 441797 431 0 0 25 0 1 0 502035330 1465417728 279038 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209476 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 357768 279038 252 17 0 354409 0
Current children cumulated CPU time (s) 4422.28
Current children cumulated vsize (KiB) 1439776

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28087
/proc/meminfo: memFree=15505692/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=1431072 CPUtime=4482.28 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3355206 0 0 0 447793 435 0 0 25 0 1 0 502035330 1465417728 306733 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 357768 306733 252 17 0 354409 0
Current children cumulated CPU time (s) 4482.28
Current children cumulated vsize (KiB) 1439776

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28089
/proc/meminfo: memFree=15408948/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=1433872 CPUtime=4542.28 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3385078 0 0 0 453788 440 0 0 25 0 1 0 502035330 1468284928 336601 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 358468 336601 252 17 0 355109 0
Current children cumulated CPU time (s) 4542.28
Current children cumulated vsize (KiB) 1442576

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28090
/proc/meminfo: memFree=15989756/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=869700 CPUtime=4602.28 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3481665 0 0 0 459774 454 0 0 25 0 1 0 502035330 890572800 187060 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209398 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 217425 187060 252 17 0 214066 0
Current children cumulated CPU time (s) 4602.28
Current children cumulated vsize (KiB) 878404

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28092
/proc/meminfo: memFree=15841820/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=1084624 CPUtime=4662.29 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3522659 0 0 0 465769 460 0 0 25 0 1 0 502035330 1110654976 228047 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 271156 228047 252 17 0 267797 0
Current children cumulated CPU time (s) 4662.29
Current children cumulated vsize (KiB) 1093328

[startup+4722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28094
/proc/meminfo: memFree=15765916/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=1084624 CPUtime=4722.29 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3545459 0 0 0 471766 463 0 0 25 0 1 0 502035330 1110654976 250841 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209536 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 271156 250841 252 17 0 267797 0
Current children cumulated CPU time (s) 4722.29
Current children cumulated vsize (KiB) 1093328

[startup+4782.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 28095
/proc/meminfo: memFree=15596264/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=1433872 CPUtime=4782.29 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3582688 0 0 0 477762 467 0 0 25 0 1 0 502035330 1468284928 288055 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209361 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 358468 288055 252 17 0 355109 0
Current children cumulated CPU time (s) 4782.29
Current children cumulated vsize (KiB) 1442576

[startup+4842.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 28097
/proc/meminfo: memFree=15508932/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=1433872 CPUtime=4842.28 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3608452 0 0 0 483758 470 0 0 25 0 1 0 502035330 1468284928 313818 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 358468 313818 252 17 0 355109 0
Current children cumulated CPU time (s) 4842.28
Current children cumulated vsize (KiB) 1442576

[startup+4902.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 28098
/proc/meminfo: memFree=15349952/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=2009868 CPUtime=4902.29 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3643636 0 0 0 489755 474 0 0 25 0 1 0 502035330 2058104832 348991 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209476 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 502467 348991 252 17 0 499108 0
Current children cumulated CPU time (s) 4902.29
Current children cumulated vsize (KiB) 2018572

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28109
/proc/meminfo: memFree=16048472/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=878168 CPUtime=4962.29 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3725904 0 0 0 495743 486 0 0 25 0 1 0 502035330 899244032 178066 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 219542 178066 252 17 0 216183 0
Current children cumulated CPU time (s) 4962.29
Current children cumulated vsize (KiB) 886872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 1.78 1.95 1.98 2/171 28128
/proc/meminfo: memFree=16141580/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=878168 CPUtime=5000 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3746796 0 0 0 499510 490 0 0 25 0 1 0 502035330 899244032 198953 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209649 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 219542 198953 252 17 0 216183 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 886872

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

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

[startup+5000 s]
/proc/loadavg: 1.78 1.95 1.98 2/171 28128
/proc/meminfo: memFree=16141580/32951132 swapFree=67111524/67111528
[pid=27953] ppid=27951 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (glucose.sh) S 27951 27953 27676 0 -1 4202496 360 112 0 0 0 0 0 0 23 0 1 0 502035330 8912896 254 33554432000 4194304 4922060 140735697734640 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/27953/statm: 2176 254 211 178 0 69 0
[pid=27955] ppid=27953 vsize=878168 CPUtime=5000 cores=1,3,5,7
/proc/27955/stat : 27955 (glucose_static) R 27953 27953 27676 0 -1 4202496 3746796 0 0 0 499510 490 0 0 25 0 1 0 502035330 899244032 198953 33554432000 4194304 4260849 140736097111088 18446744073709551615 4209649 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27955/statm: 219542 198953 252 17 0 216183 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 886872

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 5000.02
CPU time (s): 5000
CPU user time (s): 4995.1
CPU system time (s): 4.9
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 2230188

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

runsolver used 6.66999 second user time and 16.1016 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-27 13:39:17
IDJOB=3303875
IDBENCH=82404
IDSOLVER=1687
FILE ID=node129/3303875-1303904352
RUNJOBID= node129-1303899342-27695
PBS_JOBID= 13164519
Free space on /tmp= 66208 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303875-1303904352/watcher-3303875-1303904352 -o /tmp/evaluation-result-3303875-1303904352/solver-3303875-1303904352 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303875-1303904352.cnf 

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

MD5SUM BENCH= 6c2d25eda70423643946d76935ceb950
RANDOM SEED=1586346215

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      16904408 kB
Buffers:       1266748 kB
Cached:       14018072 kB
SwapCached:          4 kB
Active:        3864964 kB
Inactive:     11511424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      16904408 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          171620 kB
Writeback:           0 kB
AnonPages:       91256 kB
Mapped:          15460 kB
Slab:           607460 kB
PageTables:       4736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   234068 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66208 MiB
End job on node129 at 2011-04-27 15:02:39