Trace number 3285354

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
MD5SUM6ed645315c9ffb8177453b955fbe1737
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1200.86
Satisfiable
(Un)Satisfiability was proved
Number of variables109684
Number of clauses1767096
Sum of the clauses size4034296
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21705200
Number of clauses of size 34800
Number of clauses of size 422200
Number of clauses of size 59600
Number of clauses of size over 524600

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.49	c ==============================================================================
0.00/0.49	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.49	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.49	c ==============================================================================
0.00/0.49	c |         0 | 1393438  3185745 |  418031       0        0     nan |  0.000 % |
1.89/1.97	c |         0 |  995897  2319315 |      --       0       --      -- |     --   | -35/-52
1.89/1.97	c ==============================================================================
1.89/1.97	c Result  :   #vars: 71796   #clauses: 995897   #literals: 2319315
1.89/1.97	c CPU time:   1.86871 s
1.89/1.97	c ==============================================================================
2.29/2.38	c
2.29/2.38	c Starting glucose
2.29/2.38	c
36.88/36.98	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
36.88/36.98	c WARNING: for repeatability, setting FPU to use double precision
36.88/36.98	c ============================[ Problem Statistics ]=============================
36.88/36.98	c |                                                                             |
36.88/36.98	c |  Number of variables:         71796                                         |
36.88/36.98	c |  Number of clauses:          995897                                         |
36.88/36.98	c |  Parse time:                   0.19 s                                       |
36.88/36.98	c |                                                                             |
36.88/36.98	c ============================[ Search Statistics ]==============================
36.88/36.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.88/36.98	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
36.88/36.98	c ===============================================================================
36.88/36.98	c |       196 |   71796   995897  2319315 |        1      196   1484 |  0.000 % |
36.88/36.98	c |      1049 |   71445   995767  2318736 |        1     1043   1100 |  0.489 % |
36.88/36.98	c |      1691 |   71423   995767  2318736 |        1     1679    846 |  0.520 % |
36.88/36.98	c |      1833 |   71416   995767  2318736 |        1     1820    859 |  0.529 % |
36.88/36.98	c |      2042 |   71414   995767  2318736 |        1     2027    925 |  0.532 % |
36.88/36.98	c |      2773 |   71346   995762  2318710 |        1     2753    966 |  0.627 % |
36.88/36.98	c |      2876 |   71345   995762  2318710 |        1     2855    954 |  0.628 % |
36.88/36.98	c |      2981 |   71335   995762  2318710 |        1     2959    951 |  0.642 % |
36.88/36.98	c |      3082 |   71328   995762  2318710 |        1     3059    938 |  0.652 % |
36.88/36.98	c |      4374 |   71206   995696  2318411 |        1     2360    419 |  0.822 % |
36.88/36.98	c |      5203 |   71077   995696  2318411 |        1     3187    538 |  1.001 % |
36.88/36.98	c |      5304 |   71077   995632  2318121 |        1     3287    561 |  1.001 % |
36.88/36.98	c |      5657 |   71059   995632  2318121 |        1     3638    622 |  1.027 % |
36.88/36.98	c |      8556 |   70910   995594  2317950 |        1     6521    880 |  1.234 % |
36.88/36.98	c |      8656 |   70910   995576  2317870 |        1     6618    876 |  1.234 % |
36.88/36.98	c |      9585 |   70782   995576  2317870 |        1     7542    899 |  1.412 % |
36.88/36.98	c |      9720 |   70782   995576  2317870 |        1     7677    903 |  1.412 % |
36.88/36.98	c |      9878 |   70771   995576  2317870 |        1     7833    931 |  1.428 % |
36.88/36.98	c |      9978 |   70770   995576  2317870 |        1     7932    925 |  1.429 % |
36.88/36.98	c |     10308 |   70710   995576  2317870 |        1     8260    968 |  1.513 % |
36.88/36.98	c |     10408 |   70593   995576  2317870 |        1     8359    965 |  1.676 % |
36.88/36.98	c |     10588 |   70525   995576  2317870 |        1     8536    963 |  1.770 % |
36.88/36.98	c |     11080 |   70524   995576  2317870 |        1     4756    310 |  1.772 % |
36.88/36.98	c |     11277 |   70523   995422  2317146 |        1     4947    320 |  1.773 % |
36.88/36.98	c |     11444 |   70523   995422  2317146 |        1     5114    331 |  1.773 % |
36.88/36.98	c |     11546 |   70521   995422  2317146 |        1     5215    357 |  1.776 % |
36.88/36.98	c |     12203 |   70519   995422  2317146 |        1     5870    414 |  1.779 % |
36.88/36.98	c |     12918 |   70518   995421  2317142 |        1     6582    506 |  1.780 % |
36.88/36.98	c |     13018 |   70518   995421  2317142 |        1     6682    521 |  1.780 % |
36.88/36.98	c |     13124 |   70518   995421  2317142 |        1     6788    532 |  1.780 % |
36.88/36.98	c |     15630 |   70517   995421  2317142 |        1     9293    742 |  1.781 % |
36.88/36.98	c |     15889 |   70516   995421  2317142 |        1     9551    748 |  1.783 % |
36.88/36.98	c |     15989 |   70516   995421  2317142 |        1     9651    763 |  1.783 % |
36.88/36.98	c |     16933 |   70508   995421  2317142 |        1    10593    776 |  1.794 % |
36.88/36.98	c |     17033 |   70508   995421  2317142 |        1    10693    772 |  1.794 % |
36.88/36.98	c |     17365 |   70506   995421  2317142 |        1    11023    771 |  1.797 % |
36.88/36.98	c |     18152 |   70506   995421  2317142 |        1    11810    823 |  1.797 % |
36.88/36.98	c |     18253 |   70506   995421  2317142 |        1    11911    826 |  1.797 % |
36.88/36.98	c |     18771 |   70505   995421  2317142 |        1    12428    876 |  1.798 % |
99.48/99.59	c |     18872 |   70505   995421  2317142 |        1    12529    874 |  1.798 % |
99.48/99.59	c |     19652 |   70504   995420  2317136 |        1    13308    877 |  1.800 % |
99.48/99.59	c |     19755 |   70504   995420  2317136 |        1    13411    880 |  1.800 % |
99.48/99.59	c |     19855 |   70504   995420  2317136 |        1     6787    178 |  1.800 % |
99.48/99.59	c |     20961 |   70491   995420  2317136 |        1     7886    264 |  1.818 % |
99.48/99.59	c |     22794 |   70478   995420  2317136 |        1     9712    379 |  1.836 % |
99.48/99.59	c |     22901 |   70472   995420  2317136 |        1     9818    379 |  1.844 % |
99.48/99.59	c |     23011 |   70471   995420  2317136 |        1     9927    379 |  1.846 % |
99.48/99.59	c |     25121 |   70411   995391  2317015 |        1    12029    487 |  1.929 % |
99.48/99.59	c |     25746 |   70409   995391  2317015 |        1    12652    544 |  1.932 % |
99.48/99.59	c |     25847 |   70409   995391  2317015 |        1    12753    559 |  1.932 % |
99.48/99.59	c |     26022 |   70382   995391  2317015 |        1    12927    587 |  1.969 % |
99.48/99.59	c |     26124 |   70380   995391  2317015 |        1    13027    595 |  1.972 % |
99.48/99.59	c |     26370 |   70379   995391  2317015 |        1    13272    619 |  1.974 % |
99.48/99.59	c |     26470 |   70374   995391  2317015 |        1    13367    628 |  1.981 % |
99.48/99.59	c |     27884 |   70368   995377  2316931 |        1    14770    638 |  1.989 % |
99.48/99.59	c |     28055 |   70368   995377  2316931 |        1    14941    649 |  1.989 % |
99.48/99.59	c |     28982 |   70363   995377  2316931 |        1    15865    664 |  1.996 % |
99.48/99.59	c |     31246 |   70341   995375  2316925 |        1    18124    740 |  2.027 % |
99.48/99.59	c |     32277 |   70294   995375  2316925 |        1     9938    188 |  2.092 % |
99.48/99.59	c |     32700 |   70293   995375  2316925 |        1    10360    252 |  2.093 % |
99.48/99.59	c |     32947 |   70293   995375  2316925 |        1    10607    279 |  2.093 % |
99.48/99.59	c |     33451 |   70262   995375  2316925 |        1    11107    338 |  2.137 % |
99.48/99.59	c |     33551 |   70262   995375  2316925 |        1    11207    342 |  2.137 % |
99.48/99.59	c |     34270 |   70256   995375  2316925 |        1    11923    360 |  2.145 % |
99.48/99.59	c |     34832 |   70256   995375  2316925 |        1    12485    393 |  2.145 % |
99.48/99.59	c |     34932 |   70253   995375  2316925 |        1    12582    393 |  2.149 % |
99.48/99.59	c |     35033 |   70253   995375  2316925 |        1    12683    405 |  2.149 % |
99.48/99.59	c |     35198 |   70253   995375  2316925 |        1    12848    416 |  2.149 % |
99.48/99.59	c |     35298 |   70253   995375  2316925 |        1    12948    422 |  2.149 % |
99.48/99.59	c |     36047 |   70248   995327  2316714 |        1    13690    469 |  2.156 % |
99.48/99.59	c |     36154 |   70246   995327  2316714 |        1    13796    479 |  2.159 % |
99.48/99.59	c |     36255 |   70242   995327  2316714 |        1    13893    485 |  2.164 % |
99.48/99.59	c |     36650 |   70223   995327  2316714 |        1    14285    516 |  2.191 % |
99.48/99.59	c |     37293 |   70195   995327  2316714 |        1    14926    528 |  2.230 % |
99.48/99.59	c |     39130 |   70188   995327  2316714 |        1    16761    556 |  2.240 % |
99.48/99.59	c |     40860 |   70184   995302  2316610 |        1    18487    668 |  2.245 % |
99.48/99.59	c |     40961 |   70184   995302  2316610 |        1    18588    668 |  2.245 % |
99.48/99.59	c |     42050 |   70183   995302  2316610 |        1    19676    695 |  2.247 % |
99.48/99.59	c |     42151 |   70183   995302  2316610 |        1    19777    695 |  2.247 % |
99.48/99.59	c |     43361 |   70180   995302  2316610 |        1    20984    818 |  2.251 % |
99.48/99.59	c |     44150 |   70175   995302  2316610 |        1    21772    839 |  2.258 % |
99.48/99.59	c |     44251 |   70168   995300  2316602 |        1    21863    839 |  2.268 % |
99.48/99.59	c |     44498 |   70168   995300  2316602 |        1    22110    837 |  2.268 % |
99.48/99.59	c |     46264 |   70164   995300  2316602 |        1    12092    216 |  2.273 % |
99.48/99.59	c |     47961 |   70161   995300  2316602 |        1    13786    324 |  2.277 % |
99.48/99.59	c |     48445 |   70160   995300  2316602 |        1    14269    358 |  2.279 % |
99.48/99.59	c |     49353 |   70157   995300  2316602 |        1    15174    402 |  2.283 % |
99.48/99.59	c |     49453 |   70102   995300  2316602 |        1    15273    402 |  2.359 % |
99.48/99.59	c |     50643 |   70086   995300  2316602 |        1    16455    478 |  2.382 % |
172.27/172.32	c |     51021 |   70086   995300  2316602 |        1    16833    506 |  2.382 % |
172.27/172.32	c |     51121 |   70086   995300  2316602 |        1    16933    524 |  2.382 % |
172.27/172.32	c |     51227 |   70086   995300  2316602 |        1    17039    535 |  2.382 % |
172.27/172.32	c |     51674 |   70085   995277  2316498 |        1    17479    576 |  2.383 % |
172.27/172.32	c |     52144 |   70083   995277  2316498 |        1    17947    580 |  2.386 % |
172.27/172.32	c |     52621 |   70083   995277  2316498 |        1    18424    595 |  2.386 % |
172.27/172.32	c |     52721 |   70083   995277  2316498 |        1    18524    599 |  2.386 % |
172.27/172.32	c |     54706 |   70083   995277  2316498 |        1    20509    683 |  2.386 % |
172.27/172.32	c |     55185 |   70081   995277  2316498 |        1    20985    690 |  2.389 % |
172.27/172.32	c |     55285 |   70081   995277  2316498 |        1    21085    691 |  2.389 % |
172.27/172.32	c |     57617 |   70080   995277  2316498 |        1    23416    796 |  2.390 % |
172.27/172.32	c |     57719 |   70080   995277  2316498 |        1    23518    796 |  2.390 % |
172.27/172.32	c |     57858 |   70080   995277  2316498 |        1    23657    810 |  2.390 % |
172.27/172.32	c |     57958 |   70080   995277  2316498 |        1    23757    816 |  2.390 % |
172.27/172.32	c |     58356 |   70078   995277  2316498 |        1    24153    818 |  2.393 % |
172.27/172.32	c |     58480 |   70075   995277  2316498 |        1    24276    820 |  2.397 % |
172.27/172.32	c |     58603 |   70075   995277  2316498 |        1    24399    820 |  2.397 % |
172.27/172.32	c |     58717 |   70075   995277  2316498 |        1    24513    818 |  2.397 % |
172.27/172.32	c |     60169 |   70071   995277  2316498 |        1    25963    901 |  2.403 % |
172.27/172.32	c |     61432 |   70053   995277  2316498 |        1    27224    950 |  2.428 % |
172.27/172.32	c |     61963 |   70053   995266  2316455 |        1    27755    948 |  2.428 % |
172.27/172.32	c |     63019 |   69917   995266  2316455 |        1    14439    177 |  2.617 % |
172.27/172.32	c |     63429 |   69916   995266  2316455 |        1    14848    186 |  2.619 % |
172.27/172.32	c |     63529 |   69916   995266  2316455 |        1    14948    187 |  2.619 % |
172.27/172.32	c |     64150 |   69915   995266  2316455 |        1    15568    218 |  2.620 % |
172.27/172.32	c |     65591 |   69852   995266  2316455 |        1    17006    299 |  2.708 % |
172.27/172.32	c |     65693 |   69707   995266  2316455 |        1    17107    300 |  2.910 % |
172.27/172.32	c |     68048 |   69705   995266  2316455 |        1    19460    539 |  2.912 % |
172.27/172.32	c |     68368 |   69705   995266  2316455 |        1    19780    568 |  2.912 % |
172.27/172.32	c |     68469 |   69705   995266  2316455 |        1    19881    573 |  2.912 % |
172.27/172.32	c |     68723 |   69705   995266  2316455 |        1    20135    577 |  2.912 % |
172.27/172.32	c |     69796 |   69703   995266  2316455 |        1    21206    692 |  2.915 % |
172.27/172.32	c |     69896 |   69703   995266  2316455 |        1    21306    693 |  2.915 % |
172.27/172.32	c |     70034 |   69670   995266  2316455 |        1    21442    695 |  2.961 % |
172.27/172.32	c |     70198 |   69669   995266  2316455 |        1    21605    697 |  2.963 % |
172.27/172.32	c |     70914 |   69667   995266  2316455 |        1    22319    738 |  2.965 % |
172.27/172.32	c |     71014 |   69667   995266  2316455 |        1    22419    738 |  2.965 % |
172.27/172.32	c |     71941 |   69667   995266  2316455 |        1    23346    830 |  2.965 % |
172.27/172.32	c |     72621 |   69665   995266  2316455 |        1    24024    847 |  2.968 % |
172.27/172.32	c |     73007 |   69661   995082  2315626 |        1    24390    847 |  2.974 % |
172.27/172.32	c |     74766 |   69661   995082  2315626 |        1    26149    896 |  2.974 % |
172.27/172.32	c |     74868 |   69661   995082  2315626 |        1    26251    895 |  2.974 % |
172.27/172.32	c |     75038 |   69661   995082  2315626 |        1    26421    895 |  2.974 % |
172.27/172.32	c |     75139 |   69661   995082  2315626 |        1    26522    893 |  2.974 % |
172.27/172.32	c |     75502 |   69660   995082  2315626 |        1    26884    894 |  2.975 % |
172.27/172.32	c |     75602 |   69659   995082  2315626 |        1    26983    894 |  2.976 % |
172.27/172.32	c |     75742 |   69659   995082  2315626 |        1    27123    897 |  2.976 % |
172.27/172.32	c |     78507 |   69658   995082  2315626 |        1    29887    967 |  2.978 % |
172.27/172.32	c |     78609 |   69658   995082  2315626 |        1    29989    966 |  2.978 % |
172.27/172.32	c |     79063 |   69658   995082  2315626 |        1    30443    967 |  2.978 % |
269.68/269.72	c |     79516 |   69658   995080  2315618 |        1    30896    962 |  2.978 % |
269.68/269.72	c |     79616 |   69658   995080  2315618 |        1    30996    967 |  2.978 % |
269.68/269.72	c |     80426 |   69621   995080  2315618 |        1    31805    983 |  3.029 % |
269.68/269.72	c |     80526 |   69620   995080  2315618 |        1    31904    987 |  3.031 % |
269.68/269.72	c |     80630 |   69620   995080  2315618 |        1    32008    986 |  3.031 % |
269.68/269.72	c |     80987 |   69620   995080  2315618 |        1    32365    993 |  3.031 % |
269.68/269.72	c |     81090 |   69620   995080  2315618 |        1    32468    993 |  3.031 % |
269.68/269.72	c |     81622 |   69608   995080  2315618 |        1    32997   1014 |  3.048 % |
269.68/269.72	c |     82035 |   69608   995080  2315618 |        1    33410   1017 |  3.048 % |
269.68/269.72	c |     82178 |   69608   995080  2315618 |        1    33553   1028 |  3.048 % |
269.68/269.72	c |     82279 |   69608   995080  2315618 |        1    33654   1028 |  3.048 % |
269.68/269.72	c |     82532 |   69608   995080  2315618 |        1    33907   1025 |  3.048 % |
269.68/269.72	c |     82632 |   69608   995080  2315618 |        1    17033    184 |  3.048 % |
269.68/269.72	c |     84427 |   69608   995080  2315618 |        1    18828    352 |  3.048 % |
269.68/269.72	c |     84529 |   69608   995080  2315618 |        1    18930    352 |  3.048 % |
269.68/269.72	c |     85447 |   69607   995080  2315618 |        1    19847    389 |  3.049 % |
269.68/269.72	c |     85549 |   69607   995080  2315618 |        1    19949    390 |  3.049 % |
269.68/269.72	c |     85653 |   69607   995080  2315618 |        1    20053    393 |  3.049 % |
269.68/269.72	c |     85754 |   69607   995080  2315618 |        1    20154    394 |  3.049 % |
269.68/269.72	c |     86310 |   69607   995080  2315618 |        1    20710    443 |  3.049 % |
269.68/269.72	c |     86410 |   69607   995080  2315618 |        1    20810    444 |  3.049 % |
269.68/269.72	c |     87100 |   69605   995080  2315618 |        1    21498    475 |  3.052 % |
269.68/269.72	c |     87200 |   69605   995080  2315618 |        1    21598    477 |  3.052 % |
269.68/269.72	c |     87461 |   69605   995080  2315618 |        1    21859    479 |  3.052 % |
269.68/269.72	c |     87561 |   69605   995080  2315618 |        1    21959    483 |  3.052 % |
269.68/269.72	c |     87810 |   69605   995080  2315618 |        1    22208    490 |  3.052 % |
269.68/269.72	c |     87915 |   69605   995080  2315618 |        1    22313    491 |  3.052 % |
269.68/269.72	c |     88409 |   69603   995080  2315618 |        1    22805    496 |  3.054 % |
269.68/269.72	c |     88976 |   69603   995080  2315618 |        1    23372    505 |  3.054 % |
269.68/269.72	c |     89076 |   69603   995080  2315618 |        1    23472    507 |  3.054 % |
269.68/269.72	c |     89794 |   69550   995080  2315618 |        1    24187    518 |  3.128 % |
269.68/269.72	c |     93879 |   69550   995028  2315389 |        1    28267    849 |  3.128 % |
269.68/269.72	c |     93980 |   69549   995028  2315389 |        1    28367    848 |  3.130 % |
269.68/269.72	c |     95672 |   69548   995028  2315389 |        1    30058    924 |  3.131 % |
269.68/269.72	c |     95772 |   69547   995028  2315389 |        1    30157    926 |  3.132 % |
269.68/269.72	c |     95911 |   69546   995028  2315389 |        1    30295    928 |  3.134 % |
269.68/269.72	c |     96040 |   69545   995028  2315389 |        1    30423    928 |  3.135 % |
269.68/269.72	c |     96142 |   69543   995028  2315389 |        1    30523    927 |  3.138 % |
269.68/269.72	c |     96754 |   69543   995028  2315389 |        1    31135    935 |  3.138 % |
269.68/269.72	c |     96856 |   69543   995028  2315389 |        1    31237    935 |  3.138 % |
269.68/269.72	c |     97467 |   69542   995028  2315389 |        1    31847    957 |  3.139 % |
269.68/269.72	c |     97572 |   69542   995028  2315389 |        1    31952    956 |  3.139 % |
269.68/269.72	c |    100777 |   69541   995028  2315389 |        1    35156   1242 |  3.141 % |
269.68/269.72	c |    100877 |   69541   995028  2315389 |        1    35256   1240 |  3.141 % |
269.68/269.72	c |    102037 |   69538   995028  2315389 |        1    36414   1261 |  3.145 % |
269.68/269.72	c |    103217 |   69537   995028  2315389 |        1    37593   1258 |  3.146 % |
269.68/269.72	c |    103605 |   69537   995028  2315389 |        1    37981   1255 |  3.146 % |
269.68/269.72	c |    104476 |   69537   995028  2315389 |        1    38852   1265 |  3.146 % |
269.68/269.72	c |    104819 |   69535   995028  2315389 |        1    20037    204 |  3.149 % |
269.68/269.72	c |    104920 |   69535   995028  2315389 |        1    20138    209 |  3.149 % |
341.48/341.50	c |    105709 |   69526   995028  2315389 |        1    20926    261 |  3.162 % |
341.48/341.50	c |    105810 |   69526   995028  2315389 |        1    21027    262 |  3.162 % |
341.48/341.50	c |    105911 |   69526   995028  2315389 |        1    21128    263 |  3.162 % |
341.48/341.50	c |    106038 |   69526   995028  2315389 |        1    21255    269 |  3.162 % |
341.48/341.50	c |    106139 |   69526   995028  2315389 |        1    21356    271 |  3.162 % |
341.48/341.50	c |    108440 |   69520   995023  2315368 |        1    23650    545 |  3.170 % |
341.48/341.50	c |    108543 |   69520   995023  2315368 |        1    23753    546 |  3.170 % |
341.48/341.50	c |    108735 |   69519   995023  2315368 |        1    23944    554 |  3.171 % |
341.48/341.50	c |    108835 |   69519   995023  2315368 |        1    24044    555 |  3.171 % |
341.48/341.50	c |    109695 |   69519   995023  2315368 |        1    24904    593 |  3.171 % |
341.48/341.50	c |    109987 |   69519   995023  2315368 |        1    25195    603 |  3.171 % |
341.48/341.50	c |    110135 |   69519   995023  2315368 |        1    25343    615 |  3.171 % |
341.48/341.50	c |    110632 |   69518   995023  2315368 |        1    25839    647 |  3.173 % |
341.48/341.50	c |    110732 |   69518   995023  2315368 |        1    25939    650 |  3.173 % |
341.48/341.50	c |    111679 |   69517   995023  2315368 |        1    26885    732 |  3.174 % |
341.48/341.50	c |    111781 |   69517   995023  2315368 |        1    26987    732 |  3.174 % |
341.48/341.50	c |    112365 |   69516   995023  2315368 |        1    27570    734 |  3.176 % |
341.48/341.50	c |    112969 |   69516   995023  2315368 |        1    28174    732 |  3.176 % |
341.48/341.50	c |    113289 |   69515   995023  2315368 |        1    28493    729 |  3.177 % |
341.48/341.50	c |    113759 |   69515   995023  2315368 |        1    28963    759 |  3.177 % |
341.48/341.50	c |    113859 |   69515   995023  2315368 |        1    29063    764 |  3.177 % |
341.48/341.50	c |    114620 |   69513   995023  2315368 |        1    29822    771 |  3.180 % |
341.48/341.50	c |    115739 |   69513   995023  2315368 |        1    30941    819 |  3.180 % |
341.48/341.50	c |    116654 |   69510   995023  2315368 |        1    31852    813 |  3.184 % |
341.48/341.50	c |    116920 |   69509   995023  2315368 |        1    32117    817 |  3.185 % |
341.48/341.50	c |    117611 |   69508   995023  2315368 |        1    32807    816 |  3.187 % |
341.48/341.50	c |    117713 |   69508   995023  2315368 |        1    32909    817 |  3.187 % |
341.48/341.50	c |    118512 |   69506   995023  2315368 |        1    33706    814 |  3.190 % |
341.48/341.50	c |    118613 |   69506   995023  2315368 |        1    33807    815 |  3.190 % |
341.48/341.50	c |    118717 |   69506   995023  2315368 |        1    33911    816 |  3.190 % |
341.48/341.50	c |    119198 |   69505   995023  2315368 |        1    34391    831 |  3.191 % |
341.48/341.50	c |    119299 |   69505   995023  2315368 |        1    34492    832 |  3.191 % |
341.48/341.50	c |    120777 |   69497   995023  2315368 |        1    35966    849 |  3.202 % |
341.48/341.50	c |    120877 |   69497   995023  2315368 |        1    36066    854 |  3.202 % |
341.48/341.50	c |    121138 |   69478   995023  2315368 |        1    36325    853 |  3.229 % |
341.48/341.50	c |    123001 |   69476   995023  2315368 |        1    38186    895 |  3.231 % |
341.48/341.50	c |    124002 |   69476   995023  2315368 |        1    39187    917 |  3.231 % |
341.48/341.50	c |    125011 |   69407   995023  2315368 |        1    40194    907 |  3.327 % |
341.48/341.50	c |    125526 |   69402   994976  2315170 |        1    40697    908 |  3.334 % |
341.48/341.50	c |    125626 |   69402   994976  2315170 |        1    40797    908 |  3.334 % |
341.48/341.50	c |    125853 |   69402   994976  2315170 |        1    41024    923 |  3.334 % |
341.48/341.50	c |    125955 |   69402   994976  2315170 |        1    41126    926 |  3.334 % |
341.48/341.50	c |    126132 |   69401   994976  2315170 |        1    41302    927 |  3.336 % |
341.48/341.50	c |    126232 |   69400   994976  2315170 |        1    41401    928 |  3.337 % |
341.48/341.50	c |    126959 |   69398   994976  2315170 |        1    42126    935 |  3.340 % |
341.48/341.50	c |    127065 |   69398   994976  2315170 |        1    42232    935 |  3.340 % |
341.48/341.50	c |    128191 |   69397   994976  2315170 |        1    43357    993 |  3.341 % |
341.48/341.50	c |    128291 |   69397   994976  2315170 |        1    43457    994 |  3.341 % |
341.48/341.50	c |    128391 |   69397   994976  2315170 |        1    43557    993 |  3.341 % |
341.48/341.50	c |    128948 |   69397   994976  2315170 |        1    44114   1001 |  3.341 % |
412.08/412.14	c |    130725 |   69393   994976  2315170 |        1    24598    261 |  3.347 % |
412.08/412.14	c |    130828 |   69392   994976  2315170 |        1    24700    261 |  3.348 % |
412.08/412.14	c |    132277 |   69392   994976  2315170 |        1    26149    391 |  3.348 % |
412.08/412.14	c |    132379 |   69392   994976  2315170 |        1    26251    392 |  3.348 % |
412.08/412.14	c |    133434 |   69389   994976  2315170 |        1    27304    486 |  3.353 % |
412.08/412.14	c |    133537 |   69389   994976  2315170 |        1    27407    486 |  3.353 % |
412.08/412.14	c |    133824 |   69389   994976  2315170 |        1    27694    510 |  3.353 % |
412.08/412.14	c |    133927 |   69389   994976  2315170 |        1    27797    513 |  3.353 % |
412.08/412.14	c |    135623 |   69389   994976  2315170 |        1    29493    606 |  3.353 % |
412.08/412.14	c |    136431 |   69388   994976  2315170 |        1    30300    621 |  3.354 % |
412.08/412.14	c |    136532 |   69388   994976  2315170 |        1    30401    623 |  3.354 % |
412.08/412.14	c |    136633 |   69388   994976  2315170 |        1    30502    632 |  3.354 % |
412.08/412.14	c |    137312 |   69388   994976  2315170 |        1    31181    639 |  3.354 % |
412.08/412.14	c |    137420 |   69388   994976  2315170 |        1    31289    649 |  3.354 % |
412.08/412.14	c |    137520 |   69388   994976  2315170 |        1    31389    648 |  3.354 % |
412.08/412.14	c |    138169 |   69387   994976  2315170 |        1    32037    651 |  3.355 % |
412.08/412.14	c |    138269 |   69387   994976  2315170 |        1    32137    653 |  3.355 % |
412.08/412.14	c |    138421 |   69387   994976  2315170 |        1    32289    659 |  3.355 % |
412.08/412.14	c |    138521 |   69387   994976  2315170 |        1    32389    660 |  3.355 % |
412.08/412.14	c |    139351 |   69384   994976  2315170 |        1    33216    679 |  3.360 % |
412.08/412.14	c |    139451 |   69384   994976  2315170 |        1    33316    679 |  3.360 % |
412.08/412.14	c |    140831 |   69384   994976  2315170 |        1    34696    773 |  3.360 % |
412.08/412.14	c |    140933 |   69384   994975  2315166 |        1    34791    774 |  3.360 % |
412.08/412.14	c |    141376 |   69384   994975  2315166 |        1    35234    808 |  3.360 % |
412.08/412.14	c |    141805 |   69384   994975  2315166 |        1    35663    807 |  3.360 % |
412.08/412.14	c |    141907 |   69384   994975  2315166 |        1    35765    807 |  3.360 % |
412.08/412.14	c |    142315 |   69384   994975  2315166 |        1    36173    820 |  3.360 % |
412.08/412.14	c |    142415 |   69384   994975  2315166 |        1    36273    821 |  3.360 % |
412.08/412.14	c |    142720 |   69384   994975  2315166 |        1    36578    817 |  3.360 % |
412.08/412.14	c |    143893 |   69384   994975  2315166 |        1    37751    826 |  3.360 % |
412.08/412.14	c |    144128 |   69384   994975  2315166 |        1    37986    825 |  3.360 % |
412.08/412.14	c |    144355 |   69384   994975  2315166 |        1    38213    822 |  3.360 % |
412.08/412.14	c |    145184 |   69384   994975  2315166 |        1    39042    861 |  3.360 % |
412.08/412.14	c |    145581 |   69381   994975  2315166 |        1    39436    858 |  3.364 % |
412.08/412.14	c |    145681 |   69380   994975  2315166 |        1    39535    857 |  3.365 % |
412.08/412.14	c |    145936 |   69342   994975  2315166 |        1    39787    867 |  3.418 % |
412.08/412.14	c |    146164 |   69342   994975  2315166 |        1    40015    870 |  3.418 % |
412.08/412.14	c |    147629 |   69258   994975  2315166 |        1    41477    880 |  3.535 % |
412.08/412.14	c |    147730 |   69258   994975  2315166 |        1    41578    882 |  3.535 % |
412.08/412.14	c |    148489 |   69258   994975  2315166 |        1    42337    907 |  3.535 % |
412.08/412.14	c |    148590 |   69257   994975  2315166 |        1    42437    907 |  3.536 % |
412.08/412.14	c |    150089 |   69257   994975  2315166 |        1    43936    948 |  3.536 % |
412.08/412.14	c |    150194 |   69257   994975  2315166 |        1    44041    950 |  3.536 % |
412.08/412.14	c |    150560 |   69257   994975  2315166 |        1    44407    952 |  3.536 % |
412.08/412.14	c |    150924 |   69257   994975  2315166 |        1    44771    962 |  3.536 % |
412.08/412.14	c |    151025 |   69257   994975  2315166 |        1    44872    960 |  3.536 % |
412.08/412.14	c |    151525 |   69257   994975  2315166 |        1    45372    968 |  3.536 % |
412.08/412.14	c |    151693 |   69257   994975  2315166 |        1    45540    966 |  3.536 % |
412.08/412.14	c |    152096 |   69256   994975  2315166 |        1    45942    991 |  3.538 % |
412.08/412.14	c |    152486 |   69256   994925  2314948 |        1    46312    992 |  3.538 % |
530.88/530.95	c |    152586 |   69255   994925  2314948 |        1    46411    993 |  3.539 % |
530.88/530.95	c |    152686 |   69255   994925  2314948 |        1    46511    994 |  3.539 % |
530.88/530.95	c |    152788 |   69255   994925  2314948 |        1    46613    993 |  3.539 % |
530.88/530.95	c |    153392 |   69255   994925  2314948 |        1    47217   1001 |  3.539 % |
530.88/530.95	c |    153684 |   69255   994925  2314948 |        1    47509   1001 |  3.539 % |
530.88/530.95	c |    153949 |   69255   994925  2314948 |        1    47774   1001 |  3.539 % |
530.88/530.95	c |    154049 |   69255   994925  2314948 |        1    47874   1002 |  3.539 % |
530.88/530.95	c |    156326 |   69255   994925  2314948 |        1    50151   1039 |  3.539 % |
530.88/530.95	c |    156426 |   69255   994925  2314948 |        1    50251   1037 |  3.539 % |
530.88/530.95	c |    158558 |   69249   994925  2314948 |        1    28975    275 |  3.548 % |
530.88/530.95	c |    158659 |   69249   994925  2314948 |        1    29076    278 |  3.548 % |
530.88/530.95	c |    158759 |   69249   994925  2314948 |        1    29176    283 |  3.548 % |
530.88/530.95	c |    158917 |   69249   994925  2314948 |        1    29334    285 |  3.548 % |
530.88/530.95	c |    159121 |   69249   994925  2314948 |        1    29538    295 |  3.548 % |
530.88/530.95	c |    159224 |   69249   994925  2314948 |        1    29641    295 |  3.548 % |
530.88/530.95	c |    159357 |   69249   994925  2314948 |        1    29774    299 |  3.548 % |
530.88/530.95	c |    159777 |   69249   994925  2314948 |        1    30194    305 |  3.548 % |
530.88/530.95	c |    159878 |   69249   994925  2314948 |        1    30295    305 |  3.548 % |
530.88/530.95	c |    160831 |   69248   994925  2314948 |        1    31247    352 |  3.549 % |
530.88/530.95	c |    160932 |   69248   994925  2314948 |        1    31348    357 |  3.549 % |
530.88/530.95	c |    163328 |   69245   994925  2314948 |        1    33741    438 |  3.553 % |
530.88/530.95	c |    163491 |   69244   994925  2314948 |        1    33903    445 |  3.555 % |
530.88/530.95	c |    163593 |   69243   994925  2314948 |        1    34004    445 |  3.556 % |
530.88/530.95	c |    164175 |   69231   994925  2314948 |        1    34583    483 |  3.573 % |
530.88/530.95	c |    164277 |   69231   994925  2314948 |        1    34685    487 |  3.573 % |
530.88/530.95	c |    164656 |   69229   994925  2314948 |        1    35062    494 |  3.575 % |
530.88/530.95	c |    165136 |   69229   994925  2314948 |        1    35542    498 |  3.575 % |
530.88/530.95	c |    165504 |   69229   994925  2314948 |        1    35910    500 |  3.575 % |
530.88/530.95	c |    165680 |   69229   994925  2314948 |        1    36086    503 |  3.575 % |
530.88/530.95	c |    166726 |   69229   994925  2314948 |        1    37132    551 |  3.575 % |
530.88/530.95	c |    166828 |   69229   994925  2314948 |        1    37234    557 |  3.575 % |
530.88/530.95	c |    166928 |   69229   994925  2314948 |        1    37334    564 |  3.575 % |
530.88/530.95	c |    167099 |   69229   994925  2314948 |        1    37505    567 |  3.575 % |
530.88/530.95	c |    167201 |   69229   994925  2314948 |        1    37607    570 |  3.575 % |
530.88/530.95	c |    167783 |   69229   994925  2314948 |        1    38189    591 |  3.575 % |
530.88/530.95	c |    167883 |   69229   994925  2314948 |        1    38289    592 |  3.575 % |
530.88/530.95	c |    168593 |   69225   994918  2314916 |        1    38987    625 |  3.581 % |
530.88/530.95	c |    169504 |   69225   994918  2314916 |        1    39898    642 |  3.581 % |
530.88/530.95	c |    169605 |   69216   994918  2314916 |        1    39998    643 |  3.594 % |
530.88/530.95	c |    170126 |   69203   994918  2314916 |        1    40518    670 |  3.612 % |
530.88/530.95	c |    170226 |   69203   994918  2314916 |        1    40618    672 |  3.612 % |
530.88/530.95	c |    170327 |   69203   994918  2314916 |        1    40719    671 |  3.612 % |
530.88/530.95	c |    170430 |   69203   994918  2314916 |        1    40822    672 |  3.612 % |
530.88/530.95	c |    173003 |   69201   994918  2314916 |        1    43393    736 |  3.614 % |
530.88/530.95	c |    175984 |   69200   994918  2314916 |        1    46373    859 |  3.616 % |
530.88/530.95	c |    176088 |   69200   994918  2314916 |        1    46477    860 |  3.616 % |
530.88/530.95	c |    182145 |   69199   994918  2314916 |        1    52533   1062 |  3.617 % |
530.88/530.95	c |    182246 |   69199   994908  2314867 |        1    52631   1062 |  3.617 % |
530.88/530.95	c |    182346 |   69199   994908  2314867 |        1    52731   1069 |  3.617 % |
630.79/630.87	c |    182454 |   69199   994908  2314867 |        1    52839   1068 |  3.617 % |
630.79/630.87	c |    182584 |   69199   994908  2314867 |        1    52969   1066 |  3.617 % |
630.79/630.87	c |    182686 |   69199   994908  2314867 |        1    53071   1074 |  3.617 % |
630.79/630.87	c |    182789 |   69199   994908  2314867 |        1    53174   1076 |  3.617 % |
630.79/630.87	c |    182889 |   69199   994908  2314867 |        1    53274   1080 |  3.617 % |
630.79/630.87	c |    183378 |   69199   994908  2314867 |        1    53763   1089 |  3.617 % |
630.79/630.87	c |    184545 |   69199   994908  2314867 |        1    54930   1078 |  3.617 % |
630.79/630.87	c |    184649 |   69199   994908  2314867 |        1    55034   1081 |  3.617 % |
630.79/630.87	c |    184751 |   69199   994908  2314867 |        1    55136   1081 |  3.617 % |
630.79/630.87	c |    185764 |   69199   994908  2314867 |        1    56149   1103 |  3.617 % |
630.79/630.87	c |    185864 |   69198   994908  2314867 |        1    56248   1104 |  3.619 % |
630.79/630.87	c |    186259 |   69187   994908  2314867 |        1    56641   1104 |  3.634 % |
630.79/630.87	c |    186455 |   69187   994908  2314867 |        1    56837   1101 |  3.634 % |
630.79/630.87	c |    187539 |   69186   994908  2314867 |        1    31601    240 |  3.635 % |
630.79/630.87	c |    187639 |   69186   994908  2314867 |        1    31701    246 |  3.635 % |
630.79/630.87	c |    187739 |   69185   994908  2314867 |        1    31800    251 |  3.637 % |
630.79/630.87	c |    187902 |   69185   994908  2314867 |        1    31963    252 |  3.637 % |
630.79/630.87	c |    188859 |   69185   994908  2314867 |        1    32920    283 |  3.637 % |
630.79/630.87	c |    188959 |   69185   994908  2314867 |        1    33020    284 |  3.637 % |
630.79/630.87	c |    190113 |   69091   994908  2314867 |        1    34173    319 |  3.768 % |
630.79/630.87	c |    190315 |   69091   994908  2314867 |        1    34375    324 |  3.768 % |
630.79/630.87	c |    190522 |   69089   994908  2314867 |        1    34580    336 |  3.770 % |
630.79/630.87	c |    190754 |   69089   994908  2314867 |        1    34812    339 |  3.770 % |
630.79/630.87	c |    190854 |   69089   994908  2314867 |        1    34912    341 |  3.770 % |
630.79/630.87	c |    192635 |   69088   994908  2314867 |        1    36692    372 |  3.772 % |
630.79/630.87	c |    193762 |   68946   994908  2314867 |        1    37817    398 |  3.970 % |
630.79/630.87	c |    194668 |   68945   994908  2314867 |        1    38722    423 |  3.971 % |
630.79/630.87	c |    195373 |   68878   994908  2314867 |        1    39426    429 |  4.064 % |
630.79/630.87	c |    195612 |   68877   994908  2314867 |        1    39664    431 |  4.066 % |
630.79/630.87	c |    196903 |   68877   994908  2314867 |        1    40955    450 |  4.066 % |
630.79/630.87	c |    197005 |   68877   994908  2314867 |        1    41057    451 |  4.066 % |
630.79/630.87	c |    197105 |   68877   994908  2314867 |        1    41157    454 |  4.066 % |
630.79/630.87	c |    198201 |   68877   994908  2314867 |        1    42253    539 |  4.066 % |
630.79/630.87	c |    198302 |   68877   994908  2314867 |        1    42354    541 |  4.066 % |
630.79/630.87	c |    198647 |   68877   994908  2314867 |        1    42699    573 |  4.066 % |
630.79/630.87	c |    198747 |   68877   994908  2314867 |        1    42799    575 |  4.066 % |
630.79/630.87	c |    199035 |   68877   994908  2314867 |        1    43087    589 |  4.066 % |
630.79/630.87	c |    199175 |   68877   994908  2314867 |        1    43227    589 |  4.066 % |
630.79/630.87	c |    200167 |   68877   994908  2314867 |        1    44219    628 |  4.066 % |
630.79/630.87	c |    200269 |   68877   994908  2314867 |        1    44321    629 |  4.066 % |
630.79/630.87	c |    200369 |   68877   994908  2314867 |        1    44421    630 |  4.066 % |
630.79/630.87	c |    201378 |   68877   994908  2314867 |        1    45430    627 |  4.066 % |
630.79/630.87	c |    202165 |   68860   994908  2314867 |        1    46216    657 |  4.089 % |
630.79/630.87	c |    202265 |   68860   994747  2314133 |        1    46279    659 |  4.089 % |
630.79/630.87	c |    205381 |   68858   994747  2314133 |        1    49393    714 |  4.092 % |
630.79/630.87	c |    205482 |   68857   994747  2314133 |        1    49493    716 |  4.094 % |
630.79/630.87	c |    206600 |   68857   994747  2314133 |        1    50611    715 |  4.094 % |
630.79/630.87	c |    208713 |   68857   994747  2314133 |        1    52724    850 |  4.094 % |
630.79/630.87	c |    208813 |   68857   994747  2314133 |        1    52824    855 |  4.094 % |
630.79/630.87	c |    208915 |   68857   994747  2314133 |        1    52926    857 |  4.094 % |
756.38/756.49	c |    209019 |   68857   994747  2314133 |        1    53030    857 |  4.094 % |
756.38/756.49	c |    210115 |   68857   994747  2314133 |        1    54126    913 |  4.094 % |
756.38/756.49	c |    210220 |   68857   994747  2314133 |        1    54231    914 |  4.094 % |
756.38/756.49	c |    210547 |   68857   994747  2314133 |        1    54558    922 |  4.094 % |
756.38/756.49	c |    211420 |   68853   994747  2314133 |        1    55430    932 |  4.099 % |
756.38/756.49	c |    214057 |   68852   994747  2314133 |        1    58066    963 |  4.101 % |
756.38/756.49	c |    214726 |   68850   994745  2314124 |        1    58733    973 |  4.103 % |
756.38/756.49	c |    216263 |   68849   994745  2314124 |        1    60269   1010 |  4.105 % |
756.38/756.49	c |    216363 |   68849   994745  2314124 |        1    60369   1010 |  4.105 % |
756.38/756.49	c |    216677 |   68849   994745  2314124 |        1    60683   1012 |  4.105 % |
756.38/756.49	c |    218593 |   68839   994745  2314124 |        1    62598   1023 |  4.119 % |
756.38/756.49	c |    218773 |   68839   994745  2314124 |        1    62778   1024 |  4.119 % |
756.38/756.49	c |    218874 |   68839   994745  2314124 |        1    62879   1026 |  4.119 % |
756.38/756.49	c |    219712 |   68838   994745  2314124 |        1    35664    193 |  4.120 % |
756.38/756.49	c |    219812 |   68836   994745  2314124 |        1    35763    197 |  4.123 % |
756.38/756.49	c |    219912 |   68836   994745  2314124 |        1    35863    200 |  4.123 % |
756.38/756.49	c |    220012 |   68836   994745  2314124 |        1    35963    206 |  4.123 % |
756.38/756.49	c |    220114 |   68836   994745  2314124 |        1    36065    211 |  4.123 % |
756.38/756.49	c |    221407 |   68835   994745  2314124 |        1    37357    273 |  4.124 % |
756.38/756.49	c |    221525 |   68835   994745  2314124 |        1    37475    278 |  4.124 % |
756.38/756.49	c |    221625 |   68834   994745  2314124 |        1    37574    279 |  4.126 % |
756.38/756.49	c |    222492 |   68809   994745  2314124 |        1    38438    287 |  4.160 % |
756.38/756.49	c |    222592 |   68809   994745  2314124 |        1    38538    289 |  4.160 % |
756.38/756.49	c |    225225 |   68798   994745  2314124 |        1    41167    392 |  4.176 % |
756.38/756.49	c |    225401 |   68797   994745  2314124 |        1    41342    395 |  4.177 % |
756.38/756.49	c |    225501 |   68797   994745  2314124 |        1    41442    396 |  4.177 % |
756.38/756.49	c |    227090 |   68797   994745  2314124 |        1    43031    483 |  4.177 % |
756.38/756.49	c |    228547 |   68795   994745  2314124 |        1    44486    528 |  4.180 % |
756.38/756.49	c |    228720 |   68795   994745  2314124 |        1    44659    534 |  4.180 % |
756.38/756.49	c |    228833 |   68795   994745  2314124 |        1    44772    535 |  4.180 % |
756.38/756.49	c |    229351 |   68794   994745  2314124 |        1    45289    549 |  4.181 % |
756.38/756.49	c |    229452 |   68794   994745  2314124 |        1    45390    549 |  4.181 % |
756.38/756.49	c |    230185 |   68793   994745  2314124 |        1    46122    571 |  4.183 % |
756.38/756.49	c |    231739 |   68792   994745  2314124 |        1    47675    620 |  4.184 % |
756.38/756.49	c |    231839 |   68792   994745  2314124 |        1    47775    622 |  4.184 % |
756.38/756.49	c |    232476 |   68792   994745  2314124 |        1    48412    624 |  4.184 % |
756.38/756.49	c |    233393 |   68792   994745  2314124 |        1    49329    636 |  4.184 % |
756.38/756.49	c |    233504 |   68792   994745  2314124 |        1    49440    637 |  4.184 % |
756.38/756.49	c |    237812 |   68791   994724  2314028 |        1    53735    716 |  4.185 % |
756.38/756.49	c |    237944 |   68791   994724  2314028 |        1    53867    716 |  4.185 % |
756.38/756.49	c |    238234 |   68791   994724  2314028 |        1    54157    727 |  4.185 % |
756.38/756.49	c |    238570 |   68790   994724  2314028 |        1    54492    736 |  4.187 % |
756.38/756.49	c |    238670 |   68790   994724  2314028 |        1    54592    736 |  4.187 % |
756.38/756.49	c |    238772 |   68790   994724  2314028 |        1    54694    736 |  4.187 % |
756.38/756.49	c |    239227 |   68790   994724  2314028 |        1    55149    750 |  4.187 % |
756.38/756.49	c |    239327 |   68790   994724  2314028 |        1    55249    751 |  4.187 % |
756.38/756.49	c |    239427 |   68790   994724  2314028 |        1    55349    755 |  4.187 % |
756.38/756.49	c |    239529 |   68790   994724  2314028 |        1    55451    755 |  4.187 % |
756.38/756.49	c |    241997 |   68787   994724  2314028 |        1    57916    804 |  4.191 % |
756.38/756.49	c |    242397 |   68787   994724  2314028 |        1    58316    802 |  4.191 % |
864.39/864.47	c |    243311 |   68782   994724  2314028 |        1    59229    819 |  4.198 % |
864.39/864.47	c |    243411 |   68782   994724  2314028 |        1    59329    818 |  4.198 % |
864.39/864.47	c |    245021 |   68780   994724  2314028 |        1    60937    845 |  4.201 % |
864.39/864.47	c |    246067 |   68778   994724  2314028 |        1    61981    867 |  4.204 % |
864.39/864.47	c |    246167 |   68778   994724  2314028 |        1    62081    869 |  4.204 % |
864.39/864.47	c |    246267 |   68778   994724  2314028 |        1    62181    869 |  4.204 % |
864.39/864.47	c |    246370 |   68778   994724  2314028 |        1    62284    869 |  4.204 % |
864.39/864.47	c |    246975 |   68778   994724  2314028 |        1    62889    870 |  4.204 % |
864.39/864.47	c |    247079 |   68776   994724  2314028 |        1    62991    871 |  4.206 % |
864.39/864.47	c |    247339 |   68776   994724  2314028 |        1    63251    878 |  4.206 % |
864.39/864.47	c |    248260 |   68775   994724  2314028 |        1    64171    894 |  4.208 % |
864.39/864.47	c |    248360 |   68775   994724  2314028 |        1    64271    894 |  4.208 % |
864.39/864.47	c |    249593 |   68775   994724  2314028 |        1    65504    912 |  4.208 % |
864.39/864.47	c |    249697 |   68775   994722  2314020 |        1    65599    914 |  4.208 % |
864.39/864.47	c |    250091 |   68775   994722  2314020 |        1    65993    916 |  4.208 % |
864.39/864.47	c |    250299 |   68775   994722  2314020 |        1    66201    921 |  4.208 % |
864.39/864.47	c |    250399 |   68775   994722  2314020 |        1    66301    920 |  4.208 % |
864.39/864.47	c |    251699 |   68774   994722  2314020 |        1    67600    947 |  4.209 % |
864.39/864.47	c |    251804 |   68774   994722  2314020 |        1    67705    947 |  4.209 % |
864.39/864.47	c |    252425 |   68714   994722  2314020 |        1    68323    951 |  4.293 % |
864.39/864.47	c |    252525 |   68714   994722  2314020 |        1    68423    951 |  4.293 % |
864.39/864.47	c |    252896 |   68714   994722  2314020 |        1    68794    958 |  4.293 % |
864.39/864.47	c |    253002 |   68714   994722  2314020 |        1    68900    958 |  4.293 % |
864.39/864.47	c |    253322 |   68714   994722  2314020 |        1    69220    958 |  4.293 % |
864.39/864.47	c |    253422 |   68714   994722  2314020 |        1    69320    958 |  4.293 % |
864.39/864.47	c |    253524 |   68710   994722  2314020 |        1    69421    957 |  4.298 % |
864.39/864.47	c |    254442 |   68710   994722  2314020 |        1    70339    991 |  4.298 % |
864.39/864.47	c |    254542 |   68710   994722  2314020 |        1    70439    992 |  4.298 % |
864.39/864.47	c |    254778 |   68710   994722  2314020 |        1    70675    994 |  4.298 % |
864.39/864.47	c |    254879 |   68710   994722  2314020 |        1    39691    149 |  4.298 % |
864.39/864.47	c |    256311 |   68710   994722  2314020 |        1    41123    239 |  4.298 % |
864.39/864.47	c |    256413 |   68710   994722  2314020 |        1    41225    240 |  4.298 % |
864.39/864.47	c |    256513 |   68709   994722  2314020 |        1    41324    244 |  4.300 % |
864.39/864.47	c |    256648 |   68709   994722  2314020 |        1    41459    246 |  4.300 % |
864.39/864.47	c |    257759 |   68709   994722  2314020 |        1    42570    308 |  4.300 % |
864.39/864.47	c |    257990 |   68707   994722  2314020 |        1    42799    312 |  4.302 % |
864.39/864.47	c |    258093 |   68707   994722  2314020 |        1    42902    315 |  4.302 % |
864.39/864.47	c |    258500 |   68703   994722  2314020 |        1    43307    318 |  4.308 % |
864.39/864.47	c |    258600 |   68703   994722  2314020 |        1    43407    320 |  4.308 % |
864.39/864.47	c |    260682 |   68641   994722  2314020 |        1    45487    461 |  4.394 % |
864.39/864.47	c |    262440 |   68638   994722  2314020 |        1    47242    501 |  4.399 % |
864.39/864.47	c |    262541 |   68638   994722  2314020 |        1    47343    503 |  4.399 % |
864.39/864.47	c |    263774 |   68638   994722  2314020 |        1    48576    543 |  4.399 % |
864.39/864.47	c |    263877 |   68638   994722  2314020 |        1    48679    546 |  4.399 % |
864.39/864.47	c |    265721 |   68638   994722  2314020 |        1    50523    618 |  4.399 % |
864.39/864.47	c |    265821 |   68638   994722  2314020 |        1    50623    617 |  4.399 % |
864.39/864.47	c |    266732 |   68623   994722  2314020 |        1    51533    629 |  4.419 % |
864.39/864.47	c |    266832 |   68623   994722  2314020 |        1    51633    633 |  4.419 % |
864.39/864.47	c |    267116 |   68623   994722  2314020 |        1    51917    636 |  4.419 % |
864.39/864.47	c |    267620 |   68622   994722  2314020 |        1    52420    643 |  4.421 % |
1015.99/1016.03	c |    267722 |   68622   994722  2314020 |        1    52522    643 |  4.421 % |
1015.99/1016.03	c |    267823 |   68621   994722  2314020 |        1    52622    646 |  4.422 % |
1015.99/1016.03	c |    268485 |   68620   994722  2314020 |        1    53283    655 |  4.424 % |
1015.99/1016.03	c |    268585 |   68620   994722  2314020 |        1    53383    656 |  4.424 % |
1015.99/1016.03	c |    269233 |   68619   994722  2314020 |        1    54030    662 |  4.425 % |
1015.99/1016.03	c |    269333 |   68619   994722  2314020 |        1    54130    665 |  4.425 % |
1015.99/1016.03	c |    270000 |   68608   994722  2314020 |        1    54796    696 |  4.440 % |
1015.99/1016.03	c |    271199 |   68608   994722  2314020 |        1    55995    766 |  4.440 % |
1015.99/1016.03	c |    271301 |   68608   994653  2313710 |        1    56087    767 |  4.440 % |
1015.99/1016.03	c |    271405 |   68608   994653  2313710 |        1    56191    766 |  4.440 % |
1015.99/1016.03	c |    271505 |   68608   994653  2313710 |        1    56291    765 |  4.440 % |
1015.99/1016.03	c |    272868 |   68598   994653  2313710 |        1    57650    797 |  4.454 % |
1015.99/1016.03	c |    274580 |   68597   994653  2313710 |        1    59361    840 |  4.456 % |
1015.99/1016.03	c |    275124 |   68579   994653  2313710 |        1    59904    844 |  4.481 % |
1015.99/1016.03	c |    275537 |   68579   994653  2313710 |        1    60317    848 |  4.481 % |
1015.99/1016.03	c |    278834 |   68578   994653  2313710 |        1    63613    868 |  4.482 % |
1015.99/1016.03	c |    278975 |   68577   994653  2313710 |        1    63753    868 |  4.484 % |
1015.99/1016.03	c |    279975 |   68577   994653  2313710 |        1    64753    881 |  4.484 % |
1015.99/1016.03	c |    280077 |   68577   994653  2313710 |        1    64855    881 |  4.484 % |
1015.99/1016.03	c |    280661 |   68576   994653  2313710 |        1    65438    893 |  4.485 % |
1015.99/1016.03	c |    280901 |   68576   994653  2313710 |        1    65678    894 |  4.485 % |
1015.99/1016.03	c |    281403 |   68576   994653  2313710 |        1    66180    905 |  4.485 % |
1015.99/1016.03	c |    281504 |   68575   994653  2313710 |        1    66280    905 |  4.486 % |
1015.99/1016.03	c |    282001 |   68575   994653  2313710 |        1    66777    901 |  4.486 % |
1015.99/1016.03	c |    284136 |   68575   994653  2313710 |        1    68912    995 |  4.486 % |
1015.99/1016.03	c |    284364 |   68575   994653  2313710 |        1    69140    994 |  4.486 % |
1015.99/1016.03	c |    284979 |   68569   994653  2313710 |        1    69754   1001 |  4.495 % |
1015.99/1016.03	c |    285080 |   68569   994653  2313710 |        1    69855   1000 |  4.495 % |
1015.99/1016.03	c |    285472 |   68569   994653  2313710 |        1    70247   1000 |  4.495 % |
1015.99/1016.03	c |    285574 |   68569   994653  2313710 |        1    70349   1000 |  4.495 % |
1015.99/1016.03	c |    286814 |   68568   994653  2313710 |        1    71588    994 |  4.496 % |
1015.99/1016.03	c |    287110 |   68568   994653  2313710 |        1    71884   1001 |  4.496 % |
1015.99/1016.03	c |    288639 |   68567   994653  2313710 |        1    73412   1017 |  4.497 % |
1015.99/1016.03	c |    288743 |   68565   994639  2313650 |        1    73509   1017 |  4.500 % |
1015.99/1016.03	c |    289541 |   68565   994639  2313650 |        1    74307   1035 |  4.500 % |
1015.99/1016.03	c |    289791 |   68565   994639  2313650 |        1    74557   1033 |  4.500 % |
1015.99/1016.03	c |    291087 |   68565   994639  2313650 |        1    75853   1068 |  4.500 % |
1015.99/1016.03	c |    293218 |   68558   994639  2313650 |        1    45525    227 |  4.510 % |
1015.99/1016.03	c |    293318 |   68557   994639  2313650 |        1    45624    228 |  4.511 % |
1015.99/1016.03	c |    294300 |   68555   994639  2313650 |        1    46604    261 |  4.514 % |
1015.99/1016.03	c |    294405 |   68555   994639  2313650 |        1    46709    264 |  4.514 % |
1015.99/1016.03	c |    295160 |   68555   994639  2313650 |        1    47464    302 |  4.514 % |
1015.99/1016.03	c |    296064 |   68553   994639  2313650 |        1    48367    329 |  4.517 % |
1015.99/1016.03	c |    296165 |   68553   994639  2313650 |        1    48468    330 |  4.517 % |
1015.99/1016.03	c |    300329 |   68550   994639  2313650 |        1    52629    499 |  4.521 % |
1015.99/1016.03	c |    304578 |   68537   994639  2313650 |        1    56873    547 |  4.539 % |
1015.99/1016.03	c |    304680 |   68537   994639  2313650 |        1    56975    548 |  4.539 % |
1015.99/1016.03	c |    304783 |   68537   994639  2313650 |        1    57078    552 |  4.539 % |
1015.99/1016.03	c |    307185 |   68536   994639  2313650 |        1    59479    591 |  4.541 % |
1015.99/1016.03	c |    307285 |   68536   994639  2313650 |        1    59579    590 |  4.541 % |
1116.49/1116.51	c |    307888 |   68536   994639  2313650 |        1    60182    589 |  4.541 % |
1116.49/1116.51	c |    308084 |   68536   994639  2313650 |        1    60378    593 |  4.541 % |
1116.49/1116.51	c |    308199 |   68536   994639  2313650 |        1    60493    595 |  4.541 % |
1116.49/1116.51	c |    308300 |   68536   994639  2313650 |        1    60594    595 |  4.541 % |
1116.49/1116.51	c |    308497 |   68536   994639  2313650 |        1    60791    595 |  4.541 % |
1116.49/1116.51	c |    309171 |   68536   994639  2313650 |        1    61465    618 |  4.541 % |
1116.49/1116.51	c |    310299 |   68533   994639  2313650 |        1    62590    656 |  4.545 % |
1116.49/1116.51	c |    311103 |   68530   994639  2313650 |        1    63393    663 |  4.549 % |
1116.49/1116.51	c |    311204 |   68530   994639  2313650 |        1    63494    663 |  4.549 % |
1116.49/1116.51	c |    311558 |   68530   994639  2313650 |        1    63848    671 |  4.549 % |
1116.49/1116.51	c |    312185 |   68530   994639  2313650 |        1    64475    673 |  4.549 % |
1116.49/1116.51	c |    312454 |   68530   994639  2313650 |        1    64744    681 |  4.549 % |
1116.49/1116.51	c |    312603 |   68530   994639  2313650 |        1    64893    684 |  4.549 % |
1116.49/1116.51	c |    312703 |   68530   994639  2313650 |        1    64993    684 |  4.549 % |
1116.49/1116.51	c |    314066 |   68528   994639  2313650 |        1    66354    696 |  4.552 % |
1116.49/1116.51	c |    316543 |   68527   994639  2313650 |        1    68830    710 |  4.553 % |
1116.49/1116.51	c |    316649 |   68527   994630  2313609 |        1    68921    710 |  4.553 % |
1116.49/1116.51	c |    316749 |   68527   994630  2313609 |        1    69021    710 |  4.553 % |
1116.49/1116.51	c |    318755 |   68526   994630  2313609 |        1    71026    753 |  4.555 % |
1116.49/1116.51	c |    318857 |   68525   994630  2313609 |        1    71127    753 |  4.556 % |
1116.49/1116.51	c |    319150 |   68524   994630  2313609 |        1    71419    760 |  4.557 % |
1116.49/1116.51	c |    320640 |   68523   994630  2313609 |        1    72908    783 |  4.559 % |
1116.49/1116.51	c |    320740 |   68523   994630  2313609 |        1    73008    785 |  4.559 % |
1116.49/1116.51	c |    320840 |   68523   994630  2313609 |        1    73108    786 |  4.559 % |
1116.49/1116.51	c |    324297 |   68519   994630  2313609 |        1    76561    850 |  4.564 % |
1116.49/1116.51	c |    324743 |   68518   994630  2313609 |        1    77006    852 |  4.566 % |
1116.49/1116.51	c |    324846 |   68518   994630  2313609 |        1    77109    851 |  4.566 % |
1116.49/1116.51	c |    326222 |   68518   994630  2313609 |        1    78485    898 |  4.566 % |
1116.49/1116.51	c |    326413 |   68518   994630  2313609 |        1    78676    899 |  4.566 % |
1116.49/1116.51	c |    327297 |   68517   994630  2313609 |        1    79559    930 |  4.567 % |
1116.49/1116.51	c |    327398 |   68517   994630  2313609 |        1    79660    930 |  4.567 % |
1116.49/1116.51	c |    328058 |   68517   994630  2313609 |        1    80320    937 |  4.567 % |
1116.49/1116.51	c |    328159 |   68517   994630  2313609 |        1    80421    937 |  4.567 % |
1116.49/1116.51	c |    328261 |   68517   994630  2313609 |        1    80523    938 |  4.567 % |
1116.49/1116.51	c |    329152 |   68517   994630  2313609 |        1    81414    947 |  4.567 % |
1116.49/1116.51	c |    329258 |   68517   994630  2313609 |        1    81520    951 |  4.567 % |
1116.49/1116.51	c |    329693 |   68515   994630  2313609 |        1    81953    950 |  4.570 % |
1116.49/1116.51	c |    330162 |   68515   994630  2313609 |        1    82422    958 |  4.570 % |
1116.49/1116.51	c |    330528 |   68512   994630  2313609 |        1    82785    962 |  4.574 % |
1116.49/1116.51	c |    330645 |   68512   994630  2313609 |        1    82902    962 |  4.574 % |
1116.49/1116.51	c |    331689 |   68511   994630  2313609 |        1    83945    968 |  4.575 % |
1116.49/1116.51	c |    332287 |   68511   994630  2313609 |        1    84543    977 |  4.575 % |
1116.49/1116.51	c |    332825 |   68511   994630  2313609 |        1    85081    982 |  4.575 % |
1116.49/1116.51	c |    333176 |   68510   994630  2313609 |        1    49770    191 |  4.577 % |
1116.49/1116.51	c |    333424 |   68509   994630  2313609 |        1    50017    195 |  4.578 % |
1116.49/1116.51	c |    335948 |   68509   994630  2313609 |        1    52541    217 |  4.578 % |
1116.49/1116.51	c |    337116 |   68509   994630  2313609 |        1    53708    246 |  4.578 % |
1116.49/1116.51	c |    337217 |   68509   994630  2313609 |        1    53809    247 |  4.578 % |
1116.49/1116.51	c |    337853 |   68509   994630  2313609 |        1    54445    265 |  4.578 % |
1116.49/1116.51	c |    337953 |   68509   994630  2313609 |        1    54545    265 |  4.578 % |
1189.19/1189.25	c |    338417 |   68509   994630  2313609 |        1    55009    274 |  4.578 % |
1189.19/1189.25	c |    338519 |   68508   994630  2313609 |        1    55110    275 |  4.580 % |
1189.19/1189.25	c |    338732 |   68508   994630  2313609 |        1    55323    281 |  4.580 % |
1189.19/1189.25	c |    338832 |   68508   994630  2313609 |        1    55423    282 |  4.580 % |
1189.19/1189.25	c |    339078 |   68507   994630  2313609 |        1    55668    290 |  4.581 % |
1189.19/1189.25	c |    339274 |   68507   994630  2313609 |        1    55864    293 |  4.581 % |
1189.19/1189.25	c |    339910 |   68506   994630  2313609 |        1    56499    310 |  4.582 % |
1189.19/1189.25	c |    340614 |   68505   994630  2313609 |        1    57202    321 |  4.584 % |
1189.19/1189.25	c |    341380 |   68504   994630  2313609 |        1    57966    340 |  4.585 % |
1189.19/1189.25	c |    341480 |   68504   994630  2313609 |        1    58066    340 |  4.585 % |
1189.19/1189.25	c |    341774 |   68504   994630  2313609 |        1    58360    345 |  4.585 % |
1189.19/1189.25	c |    342757 |   68450   994630  2313609 |        1    59341    371 |  4.660 % |
1189.19/1189.25	c |    342857 |   68450   994630  2313609 |        1    59441    373 |  4.660 % |
1189.19/1189.25	c |    343099 |   68450   994630  2313609 |        1    59683    375 |  4.660 % |
1189.19/1189.25	c |    343203 |   68450   994630  2313609 |        1    59787    376 |  4.660 % |
1189.19/1189.25	c |    343984 |   68449   994630  2313609 |        1    60567    395 |  4.662 % |
1189.19/1189.25	c |    344087 |   68434   994630  2313609 |        1    60667    395 |  4.683 % |
1189.19/1189.25	c |    344685 |   68434   994630  2313609 |        1    61265    409 |  4.683 % |
1189.19/1189.25	c |    344785 |   68434   994630  2313609 |        1    61365    411 |  4.683 % |
1189.19/1189.25	c |    344909 |   68434   994630  2313609 |        1    61489    411 |  4.683 % |
1189.19/1189.25	c |    345146 |   68433   994630  2313609 |        1    61725    418 |  4.684 % |
1189.19/1189.25	c |    346366 |   68433   994630  2313609 |        1    62945    430 |  4.684 % |
1189.19/1189.25	c |    346469 |   68433   994630  2313609 |        1    63048    430 |  4.684 % |
1189.19/1189.25	c |    348665 |   68433   994630  2313609 |        1    65244    484 |  4.684 % |
1189.19/1189.25	c |    348833 |   68433   994595  2313444 |        1    65406    485 |  4.684 % |
1189.19/1189.25	c |    349316 |   68433   994595  2313444 |        1    65889    496 |  4.684 % |
1189.19/1189.25	c |    349416 |   68433   994595  2313444 |        1    65989    496 |  4.684 % |
1189.19/1189.25	c |    349897 |   68424   994595  2313444 |        1    66469    500 |  4.697 % |
1189.19/1189.25	c |    349998 |   68424   994595  2313444 |        1    66570    502 |  4.697 % |
1189.19/1189.25	c |    350187 |   68424   994595  2313444 |        1    66759    503 |  4.697 % |
1189.19/1189.25	c |    350404 |   68424   994595  2313444 |        1    66976    505 |  4.697 % |
1189.19/1189.25	c |    350509 |   68424   994595  2313444 |        1    67081    507 |  4.697 % |
1189.19/1189.25	c |    350609 |   68424   994595  2313444 |        1    67181    507 |  4.697 % |
1189.19/1189.25	c |    351967 |   68424   994595  2313444 |        1    68539    522 |  4.697 % |
1189.19/1189.25	c |    352182 |   68424   994595  2313444 |        1    68754    524 |  4.697 % |
1189.19/1189.25	c |    352406 |   68423   994595  2313444 |        1    68977    529 |  4.698 % |
1189.19/1189.25	c |    352509 |   68423   994595  2313444 |        1    69080    532 |  4.698 % |
1189.19/1189.25	c |    352612 |   68423   994595  2313444 |        1    69183    533 |  4.698 % |
1189.19/1189.25	c |    352713 |   68423   994595  2313444 |        1    69284    534 |  4.698 % |
1189.19/1189.25	c |    352813 |   68423   994595  2313444 |        1    69384    537 |  4.698 % |
1189.19/1189.25	c |    352913 |   68423   994595  2313444 |        1    69484    538 |  4.698 % |
1189.19/1189.25	c |    355206 |   68395   994595  2313444 |        1    71775    626 |  4.737 % |
1189.19/1189.25	c |    355483 |   68395   994595  2313444 |        1    72052    629 |  4.737 % |
1189.19/1189.25	c |    355586 |   68395   994595  2313444 |        1    72155    629 |  4.737 % |
1189.19/1189.25	c |    356193 |   68395   994595  2313444 |        1    72762    648 |  4.737 % |
1189.19/1189.25	c |    356294 |   68394   994595  2313444 |        1    72862    649 |  4.738 % |
1189.19/1189.25	c |    356680 |   68392   994595  2313444 |        1    73246    663 |  4.741 % |
1189.19/1189.25	c |    356781 |   68391   994595  2313444 |        1    73346    664 |  4.743 % |
1189.19/1189.25	c |    356884 |   68391   994595  2313444 |        1    73449    665 |  4.743 % |
1189.19/1189.25	c |    357230 |   68391   994595  2313444 |        1    73795    671 |  4.743 % |
1286.70/1286.75	c |    357332 |   68391   994595  2313444 |        1    73897    672 |  4.743 % |
1286.70/1286.75	c |    358293 |   68391   994595  2313444 |        1    74858    681 |  4.743 % |
1286.70/1286.75	c |    359041 |   68391   994595  2313444 |        1    75606    694 |  4.743 % |
1286.70/1286.75	c |    359423 |   68391   994595  2313444 |        1    75988    694 |  4.743 % |
1286.70/1286.75	c |    359523 |   68391   994595  2313444 |        1    76088    694 |  4.743 % |
1286.70/1286.75	c |    362272 |   68389   994595  2313444 |        1    78835    748 |  4.745 % |
1286.70/1286.75	c |    362372 |   68389   994579  2313370 |        1    78932    749 |  4.745 % |
1286.70/1286.75	c |    363286 |   68389   994579  2313370 |        1    79846    771 |  4.745 % |
1286.70/1286.75	c |    363560 |   68389   994579  2313370 |        1    80120    771 |  4.745 % |
1286.70/1286.75	c |    363660 |   68389   994579  2313370 |        1    80220    771 |  4.745 % |
1286.70/1286.75	c |    364025 |   68389   994579  2313370 |        1    80585    769 |  4.745 % |
1286.70/1286.75	c |    365538 |   68389   994579  2313370 |        1    82098    792 |  4.745 % |
1286.70/1286.75	c |    368166 |   68363   994579  2313370 |        1    84721    843 |  4.782 % |
1286.70/1286.75	c |    368266 |   68363   994579  2313370 |        1    84821    843 |  4.782 % |
1286.70/1286.75	c |    368497 |   68363   994579  2313370 |        1    85052    843 |  4.782 % |
1286.70/1286.75	c |    371471 |   68361   994579  2313370 |        1    88024    881 |  4.784 % |
1286.70/1286.75	c |    371596 |   68361   994579  2313370 |        1    88149    881 |  4.784 % |
1286.70/1286.75	c |    371966 |   68360   994579  2313370 |        1    88518    881 |  4.786 % |
1286.70/1286.75	c |    372447 |   68360   994579  2313370 |        1    88999    883 |  4.786 % |
1286.70/1286.75	c |    372547 |   68360   994579  2313370 |        1    89099    883 |  4.786 % |
1286.70/1286.75	c |    373453 |   68360   994579  2313370 |        1    90005    905 |  4.786 % |
1286.70/1286.75	c |    373969 |   68360   994579  2313370 |        1    90521    903 |  4.786 % |
1286.70/1286.75	c |    374672 |   68360   994579  2313370 |        1    91224    921 |  4.786 % |
1286.70/1286.75	c |    374773 |   68359   994579  2313370 |        1    91324    921 |  4.787 % |
1286.70/1286.75	c |    376017 |   68359   994579  2313370 |        1    53353    147 |  4.787 % |
1286.70/1286.75	c |    376259 |   68359   994579  2313370 |        1    53595    161 |  4.787 % |
1286.70/1286.75	c |    376363 |   68359   994579  2313370 |        1    53699    161 |  4.787 % |
1286.70/1286.75	c |    376466 |   68359   994579  2313370 |        1    53802    166 |  4.787 % |
1286.70/1286.75	c |    376805 |   68359   994579  2313370 |        1    54141    169 |  4.787 % |
1286.70/1286.75	c |    377466 |   68359   994579  2313370 |        1    54802    185 |  4.787 % |
1286.70/1286.75	c |    377569 |   68359   994579  2313370 |        1    54905    188 |  4.787 % |
1286.70/1286.75	c |    377670 |   68359   994579  2313370 |        1    55006    189 |  4.787 % |
1286.70/1286.75	c |    378560 |   68359   994579  2313370 |        1    55896    200 |  4.787 % |
1286.70/1286.75	c |    378661 |   68359   994579  2313370 |        1    55997    206 |  4.787 % |
1286.70/1286.75	c |    380258 |   68357   994579  2313370 |        1    57592    227 |  4.790 % |
1286.70/1286.75	c |    380358 |   68357   994579  2313370 |        1    57692    228 |  4.790 % |
1286.70/1286.75	c |    380623 |   68357   994579  2313370 |        1    57957    231 |  4.790 % |
1286.70/1286.75	c |    380770 |   68357   994579  2313370 |        1    58104    240 |  4.790 % |
1286.70/1286.75	c |    380870 |   68357   994579  2313370 |        1    58204    243 |  4.790 % |
1286.70/1286.75	c |    380972 |   68357   994579  2313370 |        1    58306    246 |  4.790 % |
1286.70/1286.75	c |    381073 |   68357   994579  2313370 |        1    58407    248 |  4.790 % |
1286.70/1286.75	c |    382831 |   68357   994579  2313370 |        1    60165    278 |  4.790 % |
1286.70/1286.75	c |    383258 |   68354   994566  2313309 |        1    60587    283 |  4.794 % |
1286.70/1286.75	c |    383507 |   68354   994566  2313309 |        1    60836    289 |  4.794 % |
1286.70/1286.75	c |    383607 |   68353   994566  2313309 |        1    60935    290 |  4.796 % |
1286.70/1286.75	c |    383941 |   68353   994566  2313309 |        1    61269    290 |  4.796 % |
1286.70/1286.75	c |    384159 |   68307   994566  2313309 |        1    61486    294 |  4.860 % |
1286.70/1286.75	c |    384293 |   68307   994566  2313309 |        1    61620    299 |  4.860 % |
1286.70/1286.75	c |    385479 |   68305   994566  2313309 |        1    62804    329 |  4.862 % |
1286.70/1286.75	c |    385579 |   68305   994566  2313309 |

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 1.95 2.80 3.28 2/178 25321
/proc/meminfo: memFree=19815388/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=0 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 566369880 8912896 252 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 252 211 178 0 69 0

[startup+0.0904281 s]
/proc/loadavg: 1.95 2.80 3.28 2/178 25321
/proc/meminfo: memFree=19815388/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=0 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 566369880 8912896 252 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100425 s]
/proc/loadavg: 1.95 2.80 3.28 2/178 25321
/proc/meminfo: memFree=19815388/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=0 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 566369880 8912896 252 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300405 s]
/proc/loadavg: 1.95 2.80 3.28 2/178 25321
/proc/meminfo: memFree=19815388/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=0 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 566369880 8912896 252 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700325 s]
/proc/loadavg: 1.95 2.80 3.28 2/178 25321
/proc/meminfo: memFree=19815388/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=0 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 566369880 8912896 252 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50019 s]
/proc/loadavg: 1.95 2.80 3.28 3/180 25323
/proc/meminfo: memFree=19710984/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=0 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 566369880 8912896 252 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 252 211 178 0 69 0
[pid=25322] ppid=25321 vsize=113036 CPUtime=1.49 cores=5,7
/proc/25322/stat : 25322 (SatELite_releas) R 25321 25321 24306 0 -1 4202496 28191 0 0 0 139 10 0 0 25 0 1 0 566369880 115748864 25227 33554432000 134512640 135144242 4288483408 18446744073709551615 134585628 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25322/statm: 28259 25227 77 155 0 28102 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121740

[startup+3.1009 s]
/proc/loadavg: 1.95 2.80 3.28 3/180 25323
/proc/meminfo: memFree=19701684/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 8704
heavy processes:

[startup+6.30039 s]
/proc/loadavg: 1.95 2.78 3.27 3/180 25324
/proc/meminfo: memFree=19843584/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=84388 CPUtime=3.89 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 16234 0 0 0 387 2 0 0 25 0 1 0 566370119 86413312 15929 33554432000 4194304 4260849 140733197095088 18446744073709551615 4226926 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 21097 15929 250 17 0 17738 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 93092

[startup+12.7003 s]
/proc/loadavg: 1.96 2.77 3.27 3/180 25324
/proc/meminfo: memFree=19827596/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=84748 CPUtime=10.3 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 25835 0 0 0 1026 4 0 0 25 0 1 0 566370119 86781952 16503 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 21187 16503 251 17 0 17828 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93452

[startup+25.5012 s]
/proc/loadavg: 1.97 2.73 3.25 3/180 25326
/proc/meminfo: memFree=19796948/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=104644 CPUtime=23.09 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 40349 0 0 0 2303 6 0 0 25 0 1 0 566370119 107155456 17654 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209385 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 26161 17654 252 17 0 22802 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 113348

[startup+51.1009 s]
/proc/loadavg: 1.98 2.67 3.21 3/180 25326
/proc/meminfo: memFree=19722468/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=136908 CPUtime=48.7 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 62571 0 0 0 4860 10 0 0 25 0 1 0 566370119 140193792 22984 33554432000 4194304 4260849 140733197095088 18446744073709551615 4225409 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 34227 22984 252 17 0 30868 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 145612

[startup+102.306 s]
/proc/loadavg: 1.99 2.57 3.15 3/180 25328
/proc/meminfo: memFree=19776560/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=138852 CPUtime=99.9 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 109235 0 0 0 9971 19 0 0 25 0 1 0 566370119 142184448 24768 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 34713 24768 252 17 0 31354 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 147556

[startup+162.3 s]
/proc/loadavg: 1.99 2.46 3.07 3/180 25328
/proc/meminfo: memFree=19646636/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=190132 CPUtime=159.89 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 155680 0 0 0 15961 28 0 0 25 0 1 0 566370119 194695168 38485 33554432000 4194304 4260849 140733197095088 18446744073709551615 4211159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 47533 38485 252 17 0 44174 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 198836

[startup+222.3 s]
/proc/loadavg: 1.99 2.37 3.00 3/180 25330
/proc/meminfo: memFree=19701144/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=191044 CPUtime=219.9 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 193813 0 0 0 21953 37 0 0 25 0 1 0 566370119 195629056 37352 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209338 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 47761 37352 252 17 0 44402 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 199748

[startup+282.3 s]
/proc/loadavg: 1.99 2.30 2.94 3/180 25341
/proc/meminfo: memFree=19658948/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=141776 CPUtime=279.9 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 237936 0 0 0 27945 45 0 0 25 0 1 0 566370119 145178624 27578 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 35444 27578 252 17 0 32085 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 150480

[startup+342.3 s]
/proc/loadavg: 1.99 2.25 2.87 3/180 25343
/proc/meminfo: memFree=19593564/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=273976 CPUtime=339.9 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 269918 0 0 0 33939 51 0 0 25 0 1 0 566370119 280551424 59458 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 68494 59458 252 17 0 65135 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 282680

[startup+402.3 s]
/proc/loadavg: 1.99 2.20 2.82 3/180 25345
/proc/meminfo: memFree=19526808/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0

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

/proc/25324/statm: 48619 38953 252 17 0 45260 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 203180

[startup+642.3 s]
/proc/loadavg: 2.02 2.09 2.63 3/180 25351
/proc/meminfo: memFree=19499996/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=408564 CPUtime=639.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 451261 0 0 0 63905 86 0 0 25 0 1 0 566370119 418369536 66901 33554432000 4194304 4260849 140733197095088 18446744073709551615 4229282 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 102141 66901 252 17 0 98782 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 417268

[startup+702.301 s]
/proc/loadavg: 2.00 2.07 2.58 3/180 25353
/proc/meminfo: memFree=19706556/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=195316 CPUtime=699.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 491221 0 0 0 69897 94 0 0 25 0 1 0 566370119 200003584 37861 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209374 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 48829 37861 252 17 0 45470 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 204020

[startup+762.307 s]
/proc/loadavg: 2.00 2.06 2.54 3/180 25353
/proc/meminfo: memFree=19506996/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=409428 CPUtime=759.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 518871 0 0 0 75892 99 0 0 25 0 1 0 566370119 419254272 65495 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209216 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 102357 65495 252 17 0 98998 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 418132

[startup+822.301 s]
/proc/loadavg: 2.07 2.06 2.51 3/180 25355
/proc/meminfo: memFree=19583364/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=145952 CPUtime=819.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 558544 0 0 0 81884 107 0 0 25 0 1 0 566370119 149454848 31074 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 36488 31074 252 17 0 33129 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 154656

[startup+882.301 s]
/proc/loadavg: 2.02 2.05 2.48 3/180 25357
/proc/meminfo: memFree=19587776/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=277628 CPUtime=879.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 585221 0 0 0 87878 113 0 0 25 0 1 0 566370119 284291072 57736 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209295 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 69407 57736 252 17 0 66048 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 286332

[startup+942.301 s]
/proc/loadavg: 2.01 2.04 2.44 3/180 25359
/proc/meminfo: memFree=19386840/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=410480 CPUtime=939.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 615905 0 0 0 93873 118 0 0 25 0 1 0 566370119 420331520 88365 33554432000 4194304 4260849 140733197095088 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 102620 88365 252 17 0 99261 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 419184

[startup+1002.3 s]
/proc/loadavg: 1.92 2.01 2.41 2/174 25379
/proc/meminfo: memFree=19821168/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=196964 CPUtime=999.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 658929 0 0 0 99864 127 0 0 25 0 1 0 566370119 201691136 44835 33554432000 4194304 4260849 140733197095088 18446744073709551615 4226306 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 49241 44835 252 17 0 45882 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 205668

[startup+1062.3 s]
/proc/loadavg: 1.34 1.82 2.32 2/173 25379
/proc/meminfo: memFree=19702868/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=411076 CPUtime=1059.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 688934 0 0 0 105859 132 0 0 25 0 1 0 566370119 420941824 74823 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 102769 74823 252 17 0 99410 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 419780

[startup+1122.3 s]
/proc/loadavg: 1.12 1.67 2.23 2/173 25381
/proc/meminfo: memFree=19861436/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=198160 CPUtime=1119.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 736363 0 0 0 111849 142 0 0 25 0 1 0 566370119 202915840 35039 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 49540 35039 252 17 0 46181 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 206864

[startup+1182.3 s]
/proc/loadavg: 1.12 1.56 2.16 2/173 25383
/proc/meminfo: memFree=19751420/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=279548 CPUtime=1179.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 764018 0 0 0 117844 147 0 0 25 0 1 0 566370119 286257152 62684 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 69887 62684 252 17 0 66528 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 288252

[startup+1242.3 s]
/proc/loadavg: 1.04 1.46 2.08 2/173 25385
/proc/meminfo: memFree=19641020/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=412064 CPUtime=1239.91 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 791526 0 0 0 123839 152 0 0 25 0 1 0 566370119 421953536 90144 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 103016 90144 252 17 0 99657 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 420768



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.01 1.37 2.01 2/173 25387
/proc/meminfo: memFree=19828732/32951124 swapFree=67110396/67111528
[pid=25321] ppid=25319 vsize=8704 CPUtime=2.38 cores=5,7
/proc/25321/stat : 25321 (glucose.sh) S 25319 25321 24306 0 -1 4202496 358 31017 0 0 0 0 225 13 18 0 1 0 566369880 8912896 254 33554432000 4194304 4922060 140735453395968 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25321/statm: 2176 254 211 178 0 69 0
[pid=25324] ppid=25321 vsize=198876 CPUtime=1297.61 cores=5,7
/proc/25324/stat : 25324 (glucose_static) R 25321 25321 24306 0 -1 4202496 833188 0 0 0 129599 162 0 0 25 0 1 0 566370119 203649024 43104 33554432000 4194304 4260849 140733197095088 18446744073709551615 4209374 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25324/statm: 49719 43104 252 17 0 46360 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 207580

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1299.99
CPU user time (s): 1298.24
CPU system time (s): 1.75
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 715328

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

runsolver used 1.84272 second user time and 5.07323 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-25 21:56:32
IDJOB=3285354
IDBENCH=82379
IDSOLVER=1651
FILE ID=node118/3285354-1303761391
RUNJOBID= node118-1303759785-25014
PBS_JOBID= 13154063
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 6ed645315c9ffb8177453b955fbe1737
RANDOM SEED=1297380738

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19815668 kB
Buffers:       1869440 kB
Cached:       10497180 kB
SwapCached:        600 kB
Active:        8799220 kB
Inactive:      3811476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19815668 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           31080 kB
Writeback:           0 kB
AnonPages:      243200 kB
Mapped:          15252 kB
Slab:           461024 kB
PageTables:       5136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   462020 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71680 MiB
End job on node118 at 2011-04-25 22:18:14