Trace number 3285722

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) 1300.03 1300.01

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
MD5SUM1ca09a2b911e29894c6603aee8d3e672
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark153.91
Satisfiable
(Un)Satisfiability was proved
Number of variables175084
Number of clauses2826936
Sum of the clauses size6454456
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22728320
Number of clauses of size 37680
Number of clauses of size 435520
Number of clauses of size 515360
Number of clauses of size over 539360

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.81	c ==============================================================================
0.00/0.81	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.81	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.81	c ==============================================================================
0.00/0.81	c |         0 | 2453278  5605905 |  735983       0        0     nan |  0.000 % |
3.08/3.43	c |         0 | 1759097  4095795 |      --       0       --      -- |     --   | -35/-52
4.16/4.73	c ==============================================================================
4.16/4.73	c Result  :   #vars: 125676   #clauses: 1759097   #literals: 4095795
4.16/4.73	c CPU time:   3.33049 s
4.16/4.73	c ==============================================================================
4.16/4.73	c
4.16/4.73	c Starting glucose
4.16/4.73	c
42.18/42.20	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
42.18/42.20	c WARNING: for repeatability, setting FPU to use double precision
42.18/42.20	c ============================[ Problem Statistics ]=============================
42.18/42.20	c |                                                                             |
42.18/42.20	c |  Number of variables:        125676                                         |
42.18/42.20	c |  Number of clauses:         1759097                                         |
42.18/42.20	c |  Parse time:                   0.34 s                                       |
42.18/42.20	c |                                                                             |
42.18/42.20	c ============================[ Search Statistics ]==============================
42.18/42.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.18/42.20	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
42.18/42.20	c ===============================================================================
42.18/42.20	c |      1116 |  125446  1759097  4095795 |        1     1107    967 |  0.183 % |
42.18/42.20	c |      1763 |  125385  1759022  4095457 |        1     1753   1049 |  0.232 % |
42.18/42.20	c |      1863 |  125353  1759022  4095457 |        1     1849   1029 |  0.257 % |
42.18/42.20	c |      2085 |  125162  1759022  4095457 |        1     2064   1045 |  0.409 % |
42.18/42.20	c |      2524 |  125162  1759022  4095457 |        1     2503    980 |  0.409 % |
42.18/42.20	c |      2695 |  124848  1759022  4095457 |        1     2671    982 |  0.659 % |
42.18/42.20	c |      3302 |  124833  1758784  4094408 |        1     3271    915 |  0.671 % |
42.18/42.20	c |      3402 |  124832  1758784  4094408 |        1     3370    902 |  0.672 % |
42.18/42.20	c |      3887 |  124829  1758784  4094408 |        1     3852    887 |  0.674 % |
42.18/42.20	c |      3988 |  124828  1758784  4094408 |        1     3952    876 |  0.675 % |
42.18/42.20	c |      4188 |  124828  1758784  4094408 |        1     2173    269 |  0.675 % |
42.18/42.20	c |      4516 |  124828  1758784  4094408 |        1     2501    398 |  0.675 % |
42.18/42.20	c |      4943 |  124739  1758745  4094243 |        1     2924    477 |  0.746 % |
42.18/42.20	c |      5043 |  124739  1758745  4094243 |        1     3024    480 |  0.746 % |
42.18/42.20	c |      5143 |  124739  1758745  4094243 |        1     3124    506 |  0.746 % |
42.18/42.20	c |      5434 |  124732  1758745  4094243 |        1     3411    533 |  0.751 % |
42.18/42.20	c |      6060 |  124732  1758745  4094243 |        1     4037    580 |  0.751 % |
42.18/42.20	c |      6210 |  124731  1758745  4094243 |        1     4186    571 |  0.752 % |
42.18/42.20	c |      7892 |  124724  1758739  4094218 |        1     5865    733 |  0.758 % |
42.18/42.20	c |      8545 |  124575  1758739  4094218 |        1     6512    866 |  0.876 % |
42.18/42.20	c |      8646 |  124559  1758739  4094218 |        1     6612    861 |  0.889 % |
42.18/42.20	c |      8863 |  124558  1758660  4093846 |        1     6827    856 |  0.890 % |
42.18/42.20	c |      9272 |  124517  1758660  4093846 |        1     7233    842 |  0.922 % |
42.18/42.20	c |     11103 |  124516  1758660  4093846 |        1     4784    229 |  0.923 % |
42.18/42.20	c |     12007 |  124514  1758660  4093846 |        1     5686    334 |  0.925 % |
42.18/42.20	c |     12488 |  124510  1758647  4093788 |        1     6165    386 |  0.928 % |
42.18/42.20	c |     13376 |  124327  1758647  4093788 |        1     7050    431 |  1.073 % |
42.18/42.20	c |     13733 |  124327  1758647  4093788 |        1     7407    465 |  1.073 % |
42.18/42.20	c |     13836 |  124327  1758581  4093493 |        1     7507    475 |  1.073 % |
42.18/42.20	c |     14241 |  124325  1758581  4093493 |        1     7910    519 |  1.075 % |
42.18/42.20	c |     14346 |  124325  1758581  4093493 |        1     8015    518 |  1.075 % |
42.18/42.20	c |     15076 |  124196  1758581  4093493 |        1     8740    524 |  1.178 % |
42.18/42.20	c |     16072 |  124043  1758581  4093493 |        1     9731    567 |  1.299 % |
42.18/42.20	c |     16532 |  124043  1758454  4092859 |        1    10178    575 |  1.299 % |
42.18/42.20	c |     16848 |  124042  1758454  4092859 |        1    10493    629 |  1.300 % |
42.18/42.20	c |     16948 |  124042  1758454  4092859 |        1    10593    649 |  1.300 % |
42.18/42.20	c |     17173 |  124036  1758454  4092859 |        1    10816    664 |  1.305 % |
42.18/42.20	c |     18729 |  124035  1758454  4092859 |        1    12371    834 |  1.306 % |
42.18/42.20	c |     18829 |  124035  1758454  4092859 |        1    12471    833 |  1.306 % |
104.78/104.83	c |     18929 |  124035  1758454  4092859 |        1    12571    835 |  1.306 % |
104.78/104.83	c |     19070 |  124035  1758454  4092859 |        1    12712    831 |  1.306 % |
104.78/104.83	c |     20342 |  124029  1758452  4092850 |        1     7286    377 |  1.311 % |
104.78/104.83	c |     20445 |  124029  1758452  4092850 |        1     7389    382 |  1.311 % |
104.78/104.83	c |     20878 |  124024  1758452  4092850 |        1     7821    431 |  1.314 % |
104.78/104.83	c |     20981 |  124023  1758452  4092850 |        1     7923    441 |  1.315 % |
104.78/104.83	c |     21083 |  124023  1758452  4092850 |        1     8025    444 |  1.315 % |
104.78/104.83	c |     21457 |  124022  1758452  4092850 |        1     8398    474 |  1.316 % |
104.78/104.83	c |     21817 |  124022  1758452  4092850 |        1     8758    489 |  1.316 % |
104.78/104.83	c |     22382 |  124020  1758452  4092850 |        1     9321    533 |  1.318 % |
104.78/104.83	c |     23477 |  123995  1758452  4092850 |        1    10410    552 |  1.338 % |
104.78/104.83	c |     24065 |  123994  1758452  4092850 |        1    10997    563 |  1.338 % |
104.78/104.83	c |     25149 |  123983  1758441  4092804 |        1    12076    585 |  1.347 % |
104.78/104.83	c |     26550 |  123968  1758441  4092804 |        1    13473    629 |  1.359 % |
104.78/104.83	c |     26654 |  123962  1758441  4092804 |        1    13571    627 |  1.364 % |
104.78/104.83	c |     28936 |  123960  1758431  4092757 |        1    15850    727 |  1.365 % |
104.78/104.83	c |     29036 |  123960  1758431  4092757 |        1    15950    724 |  1.365 % |
104.78/104.83	c |     29174 |  123960  1758431  4092757 |        1    16088    724 |  1.365 % |
104.78/104.83	c |     29959 |  123949  1758431  4092757 |        1    16867    745 |  1.374 % |
104.78/104.83	c |     30148 |  123949  1758431  4092757 |        1    17056    749 |  1.374 % |
104.78/104.83	c |     30940 |  123948  1758431  4092757 |        1    17847    751 |  1.375 % |
104.78/104.83	c |     33012 |  123946  1758431  4092757 |        1    10687    249 |  1.377 % |
104.78/104.83	c |     33114 |  123946  1758431  4092757 |        1    10789    253 |  1.377 % |
104.78/104.83	c |     34440 |  123941  1758426  4092738 |        1    12114    317 |  1.381 % |
104.78/104.83	c |     34813 |  123940  1758426  4092738 |        1    12486    342 |  1.381 % |
104.78/104.83	c |     34913 |  123940  1758426  4092738 |        1    12586    345 |  1.381 % |
104.78/104.83	c |     35115 |  123940  1758426  4092738 |        1    12788    352 |  1.381 % |
104.78/104.83	c |     37423 |  123940  1758426  4092738 |        1    15096    565 |  1.381 % |
104.78/104.83	c |     37523 |  123932  1758426  4092738 |        1    15195    566 |  1.388 % |
104.78/104.83	c |     38864 |  123923  1758426  4092738 |        1    16531    588 |  1.395 % |
104.78/104.83	c |     38964 |  123923  1758426  4092738 |        1    16631    597 |  1.395 % |
104.78/104.83	c |     39064 |  123923  1758426  4092738 |        1    16731    600 |  1.395 % |
104.78/104.83	c |     39164 |  123923  1758426  4092738 |        1    16831    601 |  1.395 % |
104.78/104.83	c |     39636 |  123923  1758426  4092738 |        1    17303    602 |  1.395 % |
104.78/104.83	c |     39905 |  123923  1758426  4092738 |        1    17572    607 |  1.395 % |
104.78/104.83	c |     40167 |  123922  1758426  4092738 |        1    17833    610 |  1.396 % |
104.78/104.83	c |     40269 |  123921  1758426  4092738 |        1    17934    611 |  1.396 % |
104.78/104.83	c |     40816 |  123920  1758426  4092738 |        1    18480    614 |  1.397 % |
104.78/104.83	c |     40919 |  123920  1758426  4092738 |        1    18583    619 |  1.397 % |
104.78/104.83	c |     41374 |  123915  1758426  4092738 |        1    19033    618 |  1.401 % |
104.78/104.83	c |     42055 |  123906  1758422  4092719 |        1    19711    623 |  1.408 % |
104.78/104.83	c |     43165 |  123906  1758422  4092719 |        1    20821    644 |  1.408 % |
104.78/104.83	c |     43265 |  123906  1758422  4092719 |        1    20921    646 |  1.408 % |
104.78/104.83	c |     43391 |  123905  1758422  4092719 |        1    21046    649 |  1.409 % |
104.78/104.83	c |     43494 |  123905  1758422  4092719 |        1    21149    652 |  1.409 % |
104.78/104.83	c |     43725 |  123888  1758422  4092719 |        1    21379    659 |  1.423 % |
104.78/104.83	c |     43828 |  123888  1758422  4092719 |        1    21482    659 |  1.423 % |
104.78/104.83	c |     43929 |  123888  1758422  4092719 |        1    21583    659 |  1.423 % |
104.78/104.83	c |     44936 |  123888  1758422  4092719 |        1    22590    666 |  1.423 % |
104.78/104.83	c |     45065 |  123887  1758422  4092719 |        1    22718    669 |  1.424 % |
175.39/175.47	c |     46764 |  123877  1758422  4092719 |        1    12646    190 |  1.431 % |
175.39/175.47	c |     46866 |  123877  1758408  4092659 |        1    12744    198 |  1.431 % |
175.39/175.47	c |     46969 |  123877  1758408  4092659 |        1    12847    200 |  1.431 % |
175.39/175.47	c |     47550 |  123877  1758408  4092659 |        1    13428    231 |  1.431 % |
175.39/175.47	c |     47650 |  123877  1758408  4092659 |        1    13528    232 |  1.431 % |
175.39/175.47	c |     48885 |  123875  1758408  4092659 |        1    14761    265 |  1.433 % |
175.39/175.47	c |     48985 |  123875  1758408  4092659 |        1    14861    267 |  1.433 % |
175.39/175.47	c |     51111 |  123861  1758408  4092659 |        1    16980    324 |  1.444 % |
175.39/175.47	c |     51304 |  123838  1758404  4092642 |        1    17172    338 |  1.462 % |
175.39/175.47	c |     51550 |  123838  1758404  4092642 |        1    17418    350 |  1.462 % |
175.39/175.47	c |     51827 |  123838  1758404  4092642 |        1    17695    358 |  1.462 % |
175.39/175.47	c |     52018 |  123837  1758404  4092642 |        1    17885    377 |  1.463 % |
175.39/175.47	c |     52141 |  123836  1758404  4092642 |        1    18007    378 |  1.464 % |
175.39/175.47	c |     53012 |  123835  1758404  4092642 |        1    18877    482 |  1.465 % |
175.39/175.47	c |     53112 |  123824  1758404  4092642 |        1    18975    483 |  1.474 % |
175.39/175.47	c |     53674 |  123824  1758404  4092642 |        1    19537    520 |  1.474 % |
175.39/175.47	c |     54253 |  123736  1758404  4092642 |        1    20112    528 |  1.544 % |
175.39/175.47	c |     54611 |  123734  1758404  4092642 |        1    20468    529 |  1.545 % |
175.39/175.47	c |     55285 |  123722  1758347  4092395 |        1    21132    543 |  1.555 % |
175.39/175.47	c |     55388 |  123722  1758347  4092395 |        1    21235    545 |  1.555 % |
175.39/175.47	c |     55752 |  123720  1758347  4092395 |        1    21598    552 |  1.556 % |
175.39/175.47	c |     55852 |  123719  1758347  4092395 |        1    21697    556 |  1.557 % |
175.39/175.47	c |     55957 |  123719  1758347  4092395 |        1    21802    563 |  1.557 % |
175.39/175.47	c |     56284 |  123671  1758347  4092395 |        1    22128    571 |  1.595 % |
175.39/175.47	c |     57645 |  123671  1758347  4092395 |        1    23489    597 |  1.595 % |
175.39/175.47	c |     57745 |  123666  1758347  4092395 |        1    23584    600 |  1.599 % |
175.39/175.47	c |     58151 |  123666  1758347  4092395 |        1    23990    602 |  1.599 % |
175.39/175.47	c |     58251 |  123666  1758347  4092395 |        1    24090    602 |  1.599 % |
175.39/175.47	c |     58739 |  123664  1758347  4092395 |        1    24576    605 |  1.601 % |
175.39/175.47	c |     59665 |  123659  1758318  4092272 |        1    25497    610 |  1.605 % |
175.39/175.47	c |     60028 |  123650  1758318  4092272 |        1    25859    616 |  1.612 % |
175.39/175.47	c |     60128 |  123650  1758318  4092272 |        1    25959    617 |  1.612 % |
175.39/175.47	c |     60346 |  123649  1758318  4092272 |        1    26176    620 |  1.613 % |
175.39/175.47	c |     60446 |  123649  1758318  4092272 |        1    26276    623 |  1.613 % |
175.39/175.47	c |     61872 |  123648  1758318  4092272 |        1    27701    655 |  1.614 % |
175.39/175.47	c |     61972 |  123648  1758318  4092272 |        1    27801    654 |  1.614 % |
175.39/175.47	c |     62072 |  123648  1758318  4092272 |        1    27901    653 |  1.614 % |
175.39/175.47	c |     62743 |  123648  1758318  4092272 |        1    28572    662 |  1.614 % |
175.39/175.47	c |     66610 |  123641  1758313  4092248 |        1    18112    636 |  1.619 % |
175.39/175.47	c |     66710 |  123640  1758313  4092248 |        1    18211    634 |  1.620 % |
175.39/175.47	c |     67248 |  123639  1758313  4092248 |        1    18748    630 |  1.621 % |
175.39/175.47	c |     67405 |  123639  1758313  4092248 |        1    18905    639 |  1.621 % |
175.39/175.47	c |     67506 |  123639  1758313  4092248 |        1    19006    639 |  1.621 % |
175.39/175.47	c |     67854 |  123629  1758313  4092248 |        1    19353    643 |  1.629 % |
175.39/175.47	c |     68761 |  123629  1758313  4092248 |        1    20260    723 |  1.629 % |
175.39/175.47	c |     68862 |  123629  1758313  4092248 |        1    20361    725 |  1.629 % |
175.39/175.47	c |     71476 |  123623  1758313  4092248 |        1    22973    736 |  1.634 % |
175.39/175.47	c |     71646 |  123623  1758308  4092228 |        1    23142    738 |  1.634 % |
175.39/175.47	c |     72375 |  123622  1758308  4092228 |        1    23870    758 |  1.634 % |
175.39/175.47	c |     72475 |  123621  1758308  4092228 |        1    23969    757 |  1.635 % |
251.49/251.50	c |     72653 |  123620  1758308  4092228 |        1    24146    756 |  1.636 % |
251.49/251.50	c |     72983 |  123619  1758308  4092228 |        1    24475    753 |  1.637 % |
251.49/251.50	c |     73084 |  123611  1758308  4092228 |        1    24569    751 |  1.643 % |
251.49/251.50	c |     73622 |  123610  1758308  4092228 |        1    25106    760 |  1.644 % |
251.49/251.50	c |     73792 |  123610  1758308  4092228 |        1    25276    763 |  1.644 % |
251.49/251.50	c |     73893 |  123610  1758308  4092228 |        1    25377    762 |  1.644 % |
251.49/251.50	c |     74120 |  123602  1758308  4092228 |        1    25603    764 |  1.650 % |
251.49/251.50	c |     74337 |  123602  1758308  4092228 |        1    25820    762 |  1.650 % |
251.49/251.50	c |     74580 |  123602  1758308  4092228 |        1    26063    767 |  1.650 % |
251.49/251.50	c |     74680 |  123602  1758308  4092228 |        1    26163    767 |  1.650 % |
251.49/251.50	c |     75515 |  123589  1758308  4092228 |        1    26993    785 |  1.661 % |
251.49/251.50	c |     75616 |  123589  1758308  4092228 |        1    27094    784 |  1.661 % |
251.49/251.50	c |     76062 |  123589  1758308  4092228 |        1    27540    786 |  1.661 % |
251.49/251.50	c |     78236 |  123501  1758262  4092012 |        1    29697    839 |  1.731 % |
251.49/251.50	c |     78437 |  123501  1758262  4092012 |        1    29898    843 |  1.731 % |
251.49/251.50	c |     78676 |  123501  1758262  4092012 |        1    30137    852 |  1.731 % |
251.49/251.50	c |     79220 |  123492  1758262  4092012 |        1    30680    877 |  1.738 % |
251.49/251.50	c |     79323 |  123492  1758262  4092012 |        1    30783    875 |  1.738 % |
251.49/251.50	c |     79423 |  123491  1758262  4092012 |        1    30882    874 |  1.739 % |
251.49/251.50	c |     79619 |  123491  1758262  4092012 |        1    31078    873 |  1.739 % |
251.49/251.50	c |     79834 |  123491  1758262  4092012 |        1    31293    872 |  1.739 % |
251.49/251.50	c |     79934 |  123491  1758262  4092012 |        1    31393    872 |  1.739 % |
251.49/251.50	c |     80059 |  123491  1758262  4092012 |        1    31518    874 |  1.739 % |
251.49/251.50	c |     80738 |  123491  1758262  4092012 |        1    32197    876 |  1.739 % |
251.49/251.50	c |     81005 |  123490  1758262  4092012 |        1    32463    878 |  1.739 % |
251.49/251.50	c |     81399 |  123485  1758262  4092012 |        1    32855    873 |  1.743 % |
251.49/251.50	c |     83675 |  123485  1758262  4092012 |        1    19058    448 |  1.743 % |
251.49/251.50	c |     83775 |  123485  1758262  4092012 |        1    19158    464 |  1.743 % |
251.49/251.50	c |     84387 |  123475  1758262  4092012 |        1    19764    485 |  1.751 % |
251.49/251.50	c |     84487 |  123475  1758262  4092012 |        1    19864    486 |  1.751 % |
251.49/251.50	c |     85282 |  123475  1758262  4092012 |        1    20659    491 |  1.751 % |
251.49/251.50	c |     85382 |  123475  1758262  4092012 |        1    20759    491 |  1.751 % |
251.49/251.50	c |     86483 |  123474  1758262  4092012 |        1    21859    511 |  1.752 % |
251.49/251.50	c |     86587 |  123474  1758262  4092012 |        1    21963    512 |  1.752 % |
251.49/251.50	c |     88243 |  123473  1758262  4092012 |        1    23618    565 |  1.753 % |
251.49/251.50	c |     88499 |  123473  1758254  4091976 |        1    23874    566 |  1.753 % |
251.49/251.50	c |     88792 |  123473  1758254  4091976 |        1    24167    567 |  1.753 % |
251.49/251.50	c |     90807 |  123471  1758254  4091976 |        1    26180    583 |  1.755 % |
251.49/251.50	c |     91368 |  123470  1758254  4091976 |        1    26740    589 |  1.755 % |
251.49/251.50	c |     91768 |  123470  1758254  4091976 |        1    27140    592 |  1.755 % |
251.49/251.50	c |     92173 |  123470  1758254  4091976 |        1    27545    597 |  1.755 % |
251.49/251.50	c |     94605 |  123393  1758217  4091825 |        1    29969    676 |  1.817 % |
251.49/251.50	c |     94705 |  123393  1758217  4091825 |        1    30069    676 |  1.817 % |
251.49/251.50	c |     94950 |  123393  1758217  4091825 |        1    30314    682 |  1.817 % |
251.49/251.50	c |     98070 |  123392  1758217  4091825 |        1    33433    776 |  1.817 % |
251.49/251.50	c |     98172 |  123392  1758217  4091825 |        1    33535    776 |  1.817 % |
251.49/251.50	c |     98533 |  123392  1758217  4091825 |        1    33896    778 |  1.817 % |
251.49/251.50	c |     99719 |  123387  1758217  4091825 |        1    35077    777 |  1.821 % |
251.49/251.50	c |     99821 |  123387  1758217  4091825 |        1    35179    779 |  1.821 % |
251.49/251.50	c |     99923 |  123387  1758217  4091825 |        1    35281    780 |  1.821 % |
342.19/342.25	c |    100023 |  123387  1758217  4091825 |        1    35381    779 |  1.821 % |
342.19/342.25	c |    100130 |  123386  1758217  4091825 |        1    35487    780 |  1.822 % |
342.19/342.25	c |    100323 |  123386  1758217  4091825 |        1    35680    783 |  1.822 % |
342.19/342.25	c |    100602 |  123369  1758217  4091825 |        1    35958    781 |  1.836 % |
342.19/342.25	c |    100722 |  123369  1758217  4091825 |        1    36078    781 |  1.836 % |
342.19/342.25	c |    100996 |  123343  1758217  4091825 |        1    36350    792 |  1.856 % |
342.19/342.25	c |    101096 |  123343  1758217  4091825 |        1    36450    792 |  1.856 % |
342.19/342.25	c |    101279 |  123343  1758217  4091825 |        1    36633    794 |  1.856 % |
342.19/342.25	c |    101786 |  123343  1758217  4091825 |        1    37140    792 |  1.856 % |
342.19/342.25	c |    101886 |  123342  1758217  4091825 |        1    37239    792 |  1.857 % |
342.19/342.25	c |    102100 |  123342  1758217  4091825 |        1    37453    792 |  1.857 % |
342.19/342.25	c |    102342 |  123341  1758201  4091749 |        1    37687    797 |  1.858 % |
342.19/342.25	c |    102442 |  123341  1758201  4091749 |        1    37787    797 |  1.858 % |
342.19/342.25	c |    102802 |  123341  1758201  4091749 |        1    38147    796 |  1.858 % |
342.19/342.25	c |    103060 |  123339  1758201  4091749 |        1    38403    804 |  1.860 % |
342.19/342.25	c |    103160 |  123339  1758201  4091749 |        1    38503    805 |  1.860 % |
342.19/342.25	c |    103550 |  123339  1758201  4091749 |        1    38893    806 |  1.860 % |
342.19/342.25	c |    103780 |  123338  1758201  4091749 |        1    39122    809 |  1.860 % |
342.19/342.25	c |    103981 |  123337  1758201  4091749 |        1    39322    807 |  1.861 % |
342.19/342.25	c |    104775 |  123335  1758201  4091749 |        1    40114    808 |  1.863 % |
342.19/342.25	c |    104877 |  123335  1758201  4091749 |        1    22104    136 |  1.863 % |
342.19/342.25	c |    105403 |  123335  1758201  4091749 |        1    22630    152 |  1.863 % |
342.19/342.25	c |    107213 |  123328  1758201  4091749 |        1    24437    212 |  1.868 % |
342.19/342.25	c |    107414 |  123309  1758201  4091749 |        1    24635    218 |  1.883 % |
342.19/342.25	c |    109397 |  123309  1758201  4091749 |        1    26618    258 |  1.883 % |
342.19/342.25	c |    109647 |  123309  1758201  4091749 |        1    26868    263 |  1.883 % |
342.19/342.25	c |    109747 |  123308  1758201  4091749 |        1    26967    266 |  1.884 % |
342.19/342.25	c |    110065 |  123308  1758201  4091749 |        1    27285    270 |  1.884 % |
342.19/342.25	c |    110722 |  123299  1758201  4091749 |        1    27939    286 |  1.891 % |
342.19/342.25	c |    110823 |  123299  1758201  4091749 |        1    28040    288 |  1.891 % |
342.19/342.25	c |    111313 |  123299  1758201  4091749 |        1    28530    300 |  1.891 % |
342.19/342.25	c |    111419 |  123299  1758201  4091749 |        1    28636    301 |  1.891 % |
342.19/342.25	c |    111601 |  123299  1758201  4091749 |        1    28818    309 |  1.891 % |
342.19/342.25	c |    111701 |  123299  1758201  4091749 |        1    28918    310 |  1.891 % |
342.19/342.25	c |    111808 |  123299  1758201  4091749 |        1    29025    313 |  1.891 % |
342.19/342.25	c |    113475 |  123298  1758189  4091698 |        1    30676    357 |  1.892 % |
342.19/342.25	c |    113698 |  123298  1758189  4091698 |        1    30899    358 |  1.892 % |
342.19/342.25	c |    116118 |  123297  1758189  4091698 |        1    33318    482 |  1.893 % |
342.19/342.25	c |    116572 |  123296  1758189  4091698 |        1    33771    489 |  1.894 % |
342.19/342.25	c |    116675 |  123296  1758189  4091698 |        1    33874    492 |  1.894 % |
342.19/342.25	c |    116992 |  123296  1758189  4091698 |        1    34191    492 |  1.894 % |
342.19/342.25	c |    125671 |  123294  1758189  4091698 |        1    42868   1049 |  1.895 % |
342.19/342.25	c |    125772 |  123294  1758189  4091698 |        1    42969   1050 |  1.895 % |
342.19/342.25	c |    126964 |  123218  1758189  4091698 |        1    44158   1041 |  1.956 % |
342.19/342.25	c |    128256 |  123218  1758149  4091495 |        1    45437   1072 |  1.956 % |
342.19/342.25	c |    128943 |  123218  1758149  4091495 |        1    46124   1081 |  1.956 % |
342.19/342.25	c |    129043 |  123218  1758149  4091495 |        1    46224   1081 |  1.956 % |
342.19/342.25	c |    129143 |  123218  1758149  4091495 |        1    46324   1080 |  1.956 % |
342.19/342.25	c |    129409 |  123218  1758149  4091495 |        1    46590   1082 |  1.956 % |
342.19/342.25	c |    129989 |  123218  1758149  4091495 |        1    26413    223 |  1.956 % |
408.49/408.55	c |    130092 |  123218  1758149  4091495 |        1    26516    227 |  1.956 % |
408.49/408.55	c |    130395 |  123218  1758149  4091495 |        1    26819    238 |  1.956 % |
408.49/408.55	c |    131197 |  123218  1758149  4091495 |        1    27621    259 |  1.956 % |
408.49/408.55	c |    131300 |  123217  1758149  4091495 |        1    27723    261 |  1.957 % |
408.49/408.55	c |    134596 |  123204  1758149  4091495 |        1    31015    340 |  1.967 % |
408.49/408.55	c |    134697 |  123204  1758149  4091495 |        1    31116    342 |  1.967 % |
408.49/408.55	c |    134836 |  123204  1758149  4091495 |        1    31255    345 |  1.967 % |
408.49/408.55	c |    134939 |  123204  1758149  4091495 |        1    31358    345 |  1.967 % |
408.49/408.55	c |    135172 |  123204  1758149  4091495 |        1    31591    353 |  1.967 % |
408.49/408.55	c |    135329 |  123202  1758149  4091495 |        1    31746    354 |  1.969 % |
408.49/408.55	c |    135744 |  123202  1758149  4091495 |        1    32161    358 |  1.969 % |
408.49/408.55	c |    137170 |  123200  1758149  4091495 |        1    33585    380 |  1.970 % |
408.49/408.55	c |    137270 |  123200  1758149  4091495 |        1    33685    381 |  1.970 % |
408.49/408.55	c |    137793 |  123199  1758149  4091495 |        1    34207    382 |  1.971 % |
408.49/408.55	c |    138328 |  123185  1758149  4091495 |        1    34740    400 |  1.982 % |
408.49/408.55	c |    138428 |  123185  1758149  4091495 |        1    34840    400 |  1.982 % |
408.49/408.55	c |    138674 |  123185  1758149  4091495 |        1    35086    405 |  1.982 % |
408.49/408.55	c |    138778 |  123185  1758149  4091495 |        1    35190    412 |  1.982 % |
408.49/408.55	c |    139406 |  123184  1758149  4091495 |        1    35817    428 |  1.983 % |
408.49/408.55	c |    139899 |  123184  1758149  4091495 |        1    36310    437 |  1.983 % |
408.49/408.55	c |    140276 |  123179  1758149  4091495 |        1    36682    438 |  1.987 % |
408.49/408.55	c |    140378 |  123179  1758149  4091495 |        1    36784    439 |  1.987 % |
408.49/408.55	c |    142561 |  123176  1758149  4091495 |        1    38965    528 |  1.989 % |
408.49/408.55	c |    143381 |  123176  1758149  4091495 |        1    39785    534 |  1.989 % |
408.49/408.55	c |    144578 |  123176  1758149  4091495 |        1    40982    578 |  1.989 % |
408.49/408.55	c |    144680 |  123176  1758149  4091495 |        1    41084    580 |  1.989 % |
408.49/408.55	c |    144781 |  123176  1758137  4091444 |        1    41170    585 |  1.989 % |
408.49/408.55	c |    145207 |  123175  1758137  4091444 |        1    41595    587 |  1.990 % |
408.49/408.55	c |    145308 |  123175  1758137  4091444 |        1    41696    586 |  1.990 % |
408.49/408.55	c |    146077 |  123174  1758137  4091444 |        1    42464    593 |  1.991 % |
408.49/408.55	c |    146895 |  123174  1758137  4091444 |        1    43282    611 |  1.991 % |
408.49/408.55	c |    147021 |  123174  1758137  4091444 |        1    43408    611 |  1.991 % |
408.49/408.55	c |    147137 |  123174  1758137  4091444 |        1    43524    614 |  1.991 % |
408.49/408.55	c |    147238 |  123174  1758137  4091444 |        1    43625    614 |  1.991 % |
408.49/408.55	c |    147363 |  123174  1758137  4091444 |        1    43750    615 |  1.991 % |
408.49/408.55	c |    147863 |  123173  1758137  4091444 |        1    44249    614 |  1.992 % |
408.49/408.55	c |    149255 |  123173  1758137  4091444 |        1    45641    644 |  1.992 % |
408.49/408.55	c |    149357 |  123173  1758137  4091444 |        1    45743    645 |  1.992 % |
408.49/408.55	c |    151428 |  123173  1758137  4091444 |        1    47814    723 |  1.992 % |
408.49/408.55	c |    151528 |  123173  1758137  4091444 |        1    47914    723 |  1.992 % |
408.49/408.55	c |    151841 |  123173  1758137  4091444 |        1    48227    724 |  1.992 % |
408.49/408.55	c |    152473 |  123173  1758137  4091444 |        1    48859    724 |  1.992 % |
408.49/408.55	c |    152703 |  123173  1758137  4091444 |        1    49089    724 |  1.992 % |
408.49/408.55	c |    152849 |  123172  1758137  4091444 |        1    49234    724 |  1.992 % |
408.49/408.55	c |    153019 |  123171  1758137  4091444 |        1    49403    726 |  1.993 % |
408.49/408.55	c |    155438 |  123148  1758137  4091444 |        1    51821    749 |  2.012 % |
408.49/408.55	c |    155541 |  123146  1758124  4091382 |        1    51922    748 |  2.013 % |
408.49/408.55	c |    156010 |  123146  1758124  4091382 |        1    52391    755 |  2.013 % |
408.49/408.55	c |    156110 |  123146  1758124  4091382 |        1    52491    755 |  2.013 % |
408.49/408.55	c |    156291 |  123146  1758124  4091382 |        1    52672    756 |  2.013 % |
481.09/481.13	c |    157074 |  123145  1758124  4091382 |        1    30232    150 |  2.014 % |
481.09/481.13	c |    157351 |  123145  1758124  4091382 |        1    30509    154 |  2.014 % |
481.09/481.13	c |    158170 |  123140  1758124  4091382 |        1    31327    186 |  2.018 % |
481.09/481.13	c |    158271 |  123140  1758124  4091382 |        1    31428    187 |  2.018 % |
481.09/481.13	c |    158467 |  123140  1758124  4091382 |        1    31624    192 |  2.018 % |
481.09/481.13	c |    161236 |  123129  1758124  4091382 |        1    34391    337 |  2.027 % |
481.09/481.13	c |    161336 |  123129  1758124  4091382 |        1    34491    349 |  2.027 % |
481.09/481.13	c |    161436 |  123128  1758124  4091382 |        1    34590    351 |  2.027 % |
481.09/481.13	c |    161682 |  123127  1758124  4091382 |        1    34835    355 |  2.028 % |
481.09/481.13	c |    161901 |  123120  1758124  4091382 |        1    35053    358 |  2.034 % |
481.09/481.13	c |    162002 |  123120  1758124  4091382 |        1    35154    359 |  2.034 % |
481.09/481.13	c |    163073 |  123120  1758124  4091382 |        1    36225    379 |  2.034 % |
481.09/481.13	c |    165313 |  123117  1758124  4091382 |        1    38462    429 |  2.036 % |
481.09/481.13	c |    166021 |  123117  1758124  4091382 |        1    39170    437 |  2.036 % |
481.09/481.13	c |    166511 |  123117  1758124  4091382 |        1    39660    446 |  2.036 % |
481.09/481.13	c |    168511 |  123115  1758124  4091382 |        1    41658    540 |  2.038 % |
481.09/481.13	c |    168612 |  123115  1758124  4091382 |        1    41759    540 |  2.038 % |
481.09/481.13	c |    169518 |  123114  1758124  4091382 |        1    42664    543 |  2.039 % |
481.09/481.13	c |    169964 |  123114  1758124  4091382 |        1    43110    552 |  2.039 % |
481.09/481.13	c |    170436 |  123113  1758124  4091382 |        1    43581    553 |  2.039 % |
481.09/481.13	c |    170536 |  123113  1758124  4091382 |        1    43681    553 |  2.039 % |
481.09/481.13	c |    172219 |  123111  1758116  4091346 |        1    45357    605 |  2.041 % |
481.09/481.13	c |    172319 |  123111  1758116  4091346 |        1    45457    607 |  2.041 % |
481.09/481.13	c |    172916 |  123111  1758116  4091346 |        1    46054    621 |  2.041 % |
481.09/481.13	c |    173016 |  123111  1758116  4091346 |        1    46154    621 |  2.041 % |
481.09/481.13	c |    173290 |  123011  1758116  4091346 |        1    46426    624 |  2.121 % |
481.09/481.13	c |    173390 |  122999  1758116  4091346 |        1    46525    625 |  2.130 % |
481.09/481.13	c |    174013 |  122998  1758116  4091346 |        1    47147    632 |  2.131 % |
481.09/481.13	c |    174113 |  122998  1758116  4091346 |        1    47247    635 |  2.131 % |
481.09/481.13	c |    174392 |  122998  1758116  4091346 |        1    47526    634 |  2.131 % |
481.09/481.13	c |    174845 |  122998  1758116  4091346 |        1    47979    645 |  2.131 % |
481.09/481.13	c |    174947 |  122995  1758116  4091346 |        1    48078    646 |  2.133 % |
481.09/481.13	c |    175622 |  122995  1758116  4091346 |        1    48753    659 |  2.133 % |
481.09/481.13	c |    176691 |  122991  1758116  4091346 |        1    49820    667 |  2.136 % |
481.09/481.13	c |    177039 |  122991  1758116  4091346 |        1    50168    667 |  2.136 % |
481.09/481.13	c |    178927 |  122991  1758116  4091346 |        1    52056    699 |  2.136 % |
481.09/481.13	c |    179188 |  122986  1758116  4091346 |        1    52316    700 |  2.140 % |
481.09/481.13	c |    179288 |  122986  1758116  4091346 |        1    52416    701 |  2.140 % |
481.09/481.13	c |    179462 |  122985  1758116  4091346 |        1    52589    700 |  2.141 % |
481.09/481.13	c |    179650 |  122984  1758116  4091346 |        1    52776    702 |  2.142 % |
481.09/481.13	c |    180953 |  122981  1758116  4091346 |        1    54076    723 |  2.144 % |
481.09/481.13	c |    181252 |  122979  1758055  4091067 |        1    54362    723 |  2.146 % |
481.09/481.13	c |    181400 |  122979  1758055  4091067 |        1    54510    723 |  2.146 % |
481.09/481.13	c |    181601 |  122974  1758055  4091067 |        1    54710    726 |  2.150 % |
481.09/481.13	c |    181702 |  122974  1758055  4091067 |        1    54811    731 |  2.150 % |
481.09/481.13	c |    181802 |  122974  1758055  4091067 |        1    54911    734 |  2.150 % |
481.09/481.13	c |    181905 |  122972  1758055  4091067 |        1    55012    736 |  2.152 % |
481.09/481.13	c |    182009 |  122972  1758055  4091067 |        1    55116    737 |  2.152 % |
481.09/481.13	c |    182330 |  122972  1758055  4091067 |        1    55437    740 |  2.152 % |
556.20/556.28	c |    182432 |  122972  1758055  4091067 |        1    55539    740 |  2.152 % |
556.20/556.28	c |    182533 |  122971  1758055  4091067 |        1    55639    740 |  2.152 % |
556.20/556.28	c |    183190 |  122971  1758055  4091067 |        1    56296    745 |  2.152 % |
556.20/556.28	c |    183290 |  122971  1758055  4091067 |        1    56396    746 |  2.152 % |
556.20/556.28	c |    183642 |  122971  1758055  4091067 |        1    56748    747 |  2.152 % |
556.20/556.28	c |    183745 |  122971  1758055  4091067 |        1    56851    748 |  2.152 % |
556.20/556.28	c |    184261 |  122971  1758055  4091067 |        1    57367    758 |  2.152 % |
556.20/556.28	c |    184436 |  122971  1758055  4091067 |        1    57542    759 |  2.152 % |
556.20/556.28	c |    185647 |  122971  1758055  4091067 |        1    58753    762 |  2.152 % |
556.20/556.28	c |    185747 |  122971  1758055  4091067 |        1    58853    761 |  2.152 % |
556.20/556.28	c |    185916 |  122971  1758055  4091067 |        1    59022    764 |  2.152 % |
556.20/556.28	c |    186298 |  122957  1758055  4091067 |        1    59403    763 |  2.163 % |
556.20/556.28	c |    187609 |  122957  1758055  4091067 |        1    34813    130 |  2.163 % |
556.20/556.28	c |    188492 |  122955  1758055  4091067 |        1    35694    173 |  2.165 % |
556.20/556.28	c |    188593 |  122955  1758055  4091067 |        1    35795    174 |  2.165 % |
556.20/556.28	c |    190069 |  122955  1758055  4091067 |        1    37271    292 |  2.165 % |
556.20/556.28	c |    190172 |  122955  1758055  4091067 |        1    37374    301 |  2.165 % |
556.20/556.28	c |    190925 |  122954  1758055  4091067 |        1    38126    318 |  2.166 % |
556.20/556.28	c |    191222 |  122947  1758055  4091067 |        1    38421    325 |  2.171 % |
556.20/556.28	c |    191326 |  122947  1758055  4091067 |        1    38525    325 |  2.171 % |
556.20/556.28	c |    191612 |  122947  1758055  4091067 |        1    38811    328 |  2.171 % |
556.20/556.28	c |    193384 |  122947  1758055  4091067 |        1    40583    403 |  2.171 % |
556.20/556.28	c |    193487 |  122947  1758055  4091067 |        1    40686    404 |  2.171 % |
556.20/556.28	c |    196015 |  122944  1758055  4091067 |        1    43212    512 |  2.174 % |
556.20/556.28	c |    196115 |  122944  1758045  4091025 |        1    43308    513 |  2.174 % |
556.20/556.28	c |    196215 |  122944  1758045  4091025 |        1    43408    513 |  2.174 % |
556.20/556.28	c |    196376 |  122943  1758045  4091025 |        1    43568    518 |  2.175 % |
556.20/556.28	c |    196610 |  122943  1758045  4091025 |        1    43802    526 |  2.175 % |
556.20/556.28	c |    196714 |  122943  1758045  4091025 |        1    43906    531 |  2.175 % |
556.20/556.28	c |    196816 |  122943  1758045  4091025 |        1    44008    531 |  2.175 % |
556.20/556.28	c |    197634 |  122943  1758045  4091025 |        1    44826    531 |  2.175 % |
556.20/556.28	c |    197735 |  122943  1758045  4091025 |        1    44927    531 |  2.175 % |
556.20/556.28	c |    198007 |  122943  1758045  4091025 |        1    45199    537 |  2.175 % |
556.20/556.28	c |    198108 |  122943  1758045  4091025 |        1    45300    538 |  2.175 % |
556.20/556.28	c |    199400 |  122942  1758045  4091025 |        1    46591    556 |  2.175 % |
556.20/556.28	c |    200823 |  122941  1758045  4091025 |        1    48013    557 |  2.176 % |
556.20/556.28	c |    202053 |  122939  1758045  4091025 |        1    49241    588 |  2.178 % |
556.20/556.28	c |    202449 |  122939  1758045  4091025 |        1    49637    592 |  2.178 % |
556.20/556.28	c |    202549 |  122939  1758045  4091025 |        1    49737    592 |  2.178 % |
556.20/556.28	c |    202650 |  122939  1758045  4091025 |        1    49838    594 |  2.178 % |
556.20/556.28	c |    202913 |  122939  1758045  4091025 |        1    50101    597 |  2.178 % |
556.20/556.28	c |    203021 |  122939  1758045  4091025 |        1    50209    597 |  2.178 % |
556.20/556.28	c |    203122 |  122939  1758045  4091025 |        1    50310    598 |  2.178 % |
556.20/556.28	c |    203225 |  122939  1758045  4091025 |        1    50413    599 |  2.178 % |
556.20/556.28	c |    204184 |  122920  1758045  4091025 |        1    51369    606 |  2.193 % |
556.20/556.28	c |    205550 |  122920  1758045  4091025 |        1    52735    637 |  2.193 % |
556.20/556.28	c |    205747 |  122920  1758037  4090988 |        1    52931    638 |  2.193 % |
556.20/556.28	c |    205847 |  122920  1758037  4090988 |        1    53031    638 |  2.193 % |
556.20/556.28	c |    206600 |  122871  1758037  4090988 |        1    53781    645 |  2.232 % |
556.20/556.28	c |    206700 |  122871  1758037  4090988 |        1    53881    647 |  2.232 % |
649.61/649.62	c |    207661 |  122871  1758037  4090988 |        1    54842    656 |  2.232 % |
649.61/649.62	c |    207761 |  122871  1758037  4090988 |        1    54942    655 |  2.232 % |
649.61/649.62	c |    207863 |  122871  1758037  4090988 |        1    55044    656 |  2.232 % |
649.61/649.62	c |    208444 |  122866  1758037  4090988 |        1    55623    658 |  2.236 % |
649.61/649.62	c |    209515 |  122865  1758037  4090988 |        1    56693    662 |  2.237 % |
649.61/649.62	c |    209679 |  122865  1758037  4090988 |        1    56857    664 |  2.237 % |
649.61/649.62	c |    209957 |  122865  1758037  4090988 |        1    57135    669 |  2.237 % |
649.61/649.62	c |    212259 |  122865  1758037  4090988 |        1    59437    709 |  2.237 % |
649.61/649.62	c |    212359 |  122865  1758037  4090988 |        1    59537    710 |  2.237 % |
649.61/649.62	c |    212526 |  122865  1758037  4090988 |        1    59704    711 |  2.237 % |
649.61/649.62	c |    213029 |  122865  1758037  4090988 |        1    60207    721 |  2.237 % |
649.61/649.62	c |    213456 |  122865  1758037  4090988 |        1    60634    722 |  2.237 % |
649.61/649.62	c |    213689 |  122865  1758037  4090988 |        1    60867    722 |  2.237 % |
649.61/649.62	c |    214092 |  122862  1758037  4090988 |        1    61269    721 |  2.239 % |
649.61/649.62	c |    214192 |  122862  1758037  4090988 |        1    61369    720 |  2.239 % |
649.61/649.62	c |    214631 |  122860  1758037  4090988 |        1    61806    721 |  2.241 % |
649.61/649.62	c |    215114 |  122852  1758037  4090988 |        1    62288    722 |  2.247 % |
649.61/649.62	c |    215216 |  122852  1758037  4090988 |        1    62390    721 |  2.247 % |
649.61/649.62	c |    215851 |  122851  1758037  4090988 |        1    63024    730 |  2.248 % |
649.61/649.62	c |    218285 |  122850  1758037  4090988 |        1    65457    770 |  2.249 % |
649.61/649.62	c |    218387 |  122850  1758010  4090870 |        1    65553    770 |  2.249 % |
649.61/649.62	c |    219421 |  122849  1758010  4090870 |        1    66586    772 |  2.249 % |
649.61/649.62	c |    219524 |  122849  1758010  4090870 |        1    66689    772 |  2.249 % |
649.61/649.62	c |    220643 |  122849  1758010  4090870 |        1    40107    175 |  2.249 % |
649.61/649.62	c |    220764 |  122849  1758010  4090870 |        1    40228    178 |  2.249 % |
649.61/649.62	c |    221210 |  122849  1758010  4090870 |        1    40674    191 |  2.249 % |
649.61/649.62	c |    222500 |  122820  1758010  4090870 |        1    41958    207 |  2.273 % |
649.61/649.62	c |    222610 |  122820  1758010  4090870 |        1    42068    208 |  2.273 % |
649.61/649.62	c |    222920 |  122820  1758010  4090870 |        1    42378    212 |  2.273 % |
649.61/649.62	c |    223021 |  122815  1758010  4090870 |        1    42478    214 |  2.276 % |
649.61/649.62	c |    223472 |  122815  1758010  4090870 |        1    42929    222 |  2.276 % |
649.61/649.62	c |    225669 |  122808  1758010  4090870 |        1    45124    271 |  2.282 % |
649.61/649.62	c |    225769 |  122807  1758010  4090870 |        1    45223    272 |  2.283 % |
649.61/649.62	c |    225869 |  122807  1758010  4090870 |        1    45323    273 |  2.283 % |
649.61/649.62	c |    228561 |  122806  1758010  4090870 |        1    48014    437 |  2.284 % |
649.61/649.62	c |    228666 |  122806  1758010  4090870 |        1    48119    445 |  2.284 % |
649.61/649.62	c |    229894 |  122806  1758010  4090870 |        1    49347    453 |  2.284 % |
649.61/649.62	c |    231715 |  122804  1758010  4090870 |        1    51166    565 |  2.285 % |
649.61/649.62	c |    231816 |  122804  1758010  4090870 |        1    51267    572 |  2.285 % |
649.61/649.62	c |    231932 |  122804  1758010  4090870 |        1    51383    573 |  2.285 % |
649.61/649.62	c |    232780 |  122804  1758010  4090870 |        1    52231    576 |  2.285 % |
649.61/649.62	c |    232881 |  122804  1758010  4090870 |        1    52332    576 |  2.285 % |
649.61/649.62	c |    232981 |  122804  1758010  4090870 |        1    52432    576 |  2.285 % |
649.61/649.62	c |    233541 |  122795  1758010  4090870 |        1    52989    576 |  2.292 % |
649.61/649.62	c |    233642 |  122795  1758010  4090870 |        1    53090    576 |  2.292 % |
649.61/649.62	c |    235002 |  122763  1758010  4090870 |        1    54448    606 |  2.318 % |
649.61/649.62	c |    235102 |  122763  1758010  4090870 |        1    54548    608 |  2.318 % |
649.61/649.62	c |    235685 |  122762  1758010  4090870 |        1    55130    612 |  2.319 % |
649.61/649.62	c |    236132 |  122761  1758010  4090870 |        1    55576    615 |  2.319 % |
649.61/649.62	c |    237702 |  122761  1758010  4090870 |        1    57146    647 |  2.319 % |
751.01/751.03	c |    237802 |  122761  1757974  4090712 |        1    57227    647 |  2.319 % |
751.01/751.03	c |    238089 |  122761  1757974  4090712 |        1    57514    652 |  2.319 % |
751.01/751.03	c |    238193 |  122761  1757974  4090712 |        1    57618    652 |  2.319 % |
751.01/751.03	c |    239901 |  122761  1757974  4090712 |        1    59326    679 |  2.319 % |
751.01/751.03	c |    240002 |  122761  1757974  4090712 |        1    59427    678 |  2.319 % |
751.01/751.03	c |    240551 |  122760  1757974  4090712 |        1    59975    683 |  2.320 % |
751.01/751.03	c |    242661 |  122756  1757974  4090712 |        1    62082    704 |  2.323 % |
751.01/751.03	c |    242950 |  122756  1757974  4090712 |        1    62371    704 |  2.323 % |
751.01/751.03	c |    243293 |  122756  1757974  4090712 |        1    62714    710 |  2.323 % |
751.01/751.03	c |    243394 |  122756  1757974  4090712 |        1    62815    710 |  2.323 % |
751.01/751.03	c |    244458 |  122740  1757974  4090712 |        1    63878    715 |  2.336 % |
751.01/751.03	c |    244575 |  122740  1757974  4090712 |        1    63995    714 |  2.336 % |
751.01/751.03	c |    244687 |  122740  1757974  4090712 |        1    64107    715 |  2.336 % |
751.01/751.03	c |    245592 |  122740  1757974  4090712 |        1    65012    720 |  2.336 % |
751.01/751.03	c |    245694 |  122740  1757974  4090712 |        1    65114    727 |  2.336 % |
751.01/751.03	c |    245795 |  122740  1757974  4090712 |        1    65215    726 |  2.336 % |
751.01/751.03	c |    247219 |  122737  1757974  4090712 |        1    66636    726 |  2.339 % |
751.01/751.03	c |    247546 |  122737  1757974  4090712 |        1    66963    728 |  2.339 % |
751.01/751.03	c |    247647 |  122737  1757974  4090712 |        1    67064    728 |  2.339 % |
751.01/751.03	c |    248387 |  122737  1757974  4090712 |        1    67804    738 |  2.339 % |
751.01/751.03	c |    249513 |  122737  1757974  4090712 |        1    68930    743 |  2.339 % |
751.01/751.03	c |    249613 |  122737  1757974  4090712 |        1    69030    742 |  2.339 % |
751.01/751.03	c |    249750 |  122737  1757974  4090712 |        1    69167    742 |  2.339 % |
751.01/751.03	c |    249851 |  122737  1757974  4090712 |        1    69268    745 |  2.339 % |
751.01/751.03	c |    249951 |  122737  1757974  4090712 |        1    69368    751 |  2.339 % |
751.01/751.03	c |    250051 |  122735  1757964  4090668 |        1    69465    750 |  2.340 % |
751.01/751.03	c |    250156 |  122735  1757964  4090668 |        1    69570    753 |  2.340 % |
751.01/751.03	c |    250424 |  122735  1757964  4090668 |        1    69838    754 |  2.340 % |
751.01/751.03	c |    251646 |  122733  1757964  4090668 |        1    71058    758 |  2.342 % |
751.01/751.03	c |    252114 |  122733  1757964  4090668 |        1    71526    761 |  2.342 % |
751.01/751.03	c |    253639 |  122732  1757964  4090668 |        1    73050    771 |  2.343 % |
751.01/751.03	c |    253742 |  122732  1757964  4090668 |        1    73153    771 |  2.343 % |
751.01/751.03	c |    254148 |  122729  1757964  4090668 |        1    73558    779 |  2.345 % |
751.01/751.03	c |    254248 |  122729  1757964  4090668 |        1    73658    779 |  2.345 % |
751.01/751.03	c |    255187 |  122723  1757964  4090668 |        1    44257    110 |  2.350 % |
751.01/751.03	c |    255288 |  122723  1757964  4090668 |        1    44358    111 |  2.350 % |
751.01/751.03	c |    255557 |  122649  1757964  4090668 |        1    44625    116 |  2.409 % |
751.01/751.03	c |    255659 |  122649  1757964  4090668 |        1    44727    118 |  2.409 % |
751.01/751.03	c |    255759 |  122649  1757964  4090668 |        1    44827    119 |  2.409 % |
751.01/751.03	c |    255865 |  122649  1757964  4090668 |        1    44933    121 |  2.409 % |
751.01/751.03	c |    258864 |  122649  1757964  4090668 |        1    47932    291 |  2.409 % |
751.01/751.03	c |    260408 |  122648  1757964  4090668 |        1    49475    374 |  2.409 % |
751.01/751.03	c |    260509 |  122648  1757964  4090668 |        1    49576    376 |  2.409 % |
751.01/751.03	c |    261130 |  122647  1757964  4090668 |        1    50196    390 |  2.410 % |
751.01/751.03	c |    264943 |  122635  1757964  4090668 |        1    54006    533 |  2.420 % |
751.01/751.03	c |    265043 |  122635  1757964  4090668 |        1    54106    533 |  2.420 % |
751.01/751.03	c |    266496 |  122635  1757964  4090668 |        1    55559    580 |  2.420 % |
751.01/751.03	c |    266892 |  122635  1757964  4090668 |        1    55955    580 |  2.420 % |
751.01/751.03	c |    267241 |  122635  1757964  4090668 |        1    56304    586 |  2.420 % |
751.01/751.03	c |    269934 |  122627  1757964  4090668 |        1    58996    687 |  2.426 % |
809.60/809.68	c |    270035 |  122610  1757964  4090668 |        1    59095    688 |  2.440 % |
809.60/809.68	c |    270135 |  122610  1757964  4090668 |        1    59195    688 |  2.440 % |
809.60/809.68	c |    270394 |  122609  1757964  4090668 |        1    59453    692 |  2.440 % |
809.60/809.68	c |    271069 |  122605  1757903  4090395 |        1    60099    699 |  2.444 % |
809.60/809.68	c |    271487 |  122603  1757903  4090395 |        1    60515    700 |  2.445 % |
809.60/809.68	c |    271996 |  122603  1757903  4090395 |        1    61024    701 |  2.445 % |
809.60/809.68	c |    272122 |  122603  1757903  4090395 |        1    61150    702 |  2.445 % |
809.60/809.68	c |    272224 |  122603  1757903  4090395 |        1    61252    706 |  2.445 % |
809.60/809.68	c |    272361 |  122602  1757903  4090395 |        1    61388    709 |  2.446 % |
809.60/809.68	c |    272541 |  122601  1757903  4090395 |        1    61567    709 |  2.447 % |
809.60/809.68	c |    272641 |  122601  1757903  4090395 |        1    61667    712 |  2.447 % |
809.60/809.68	c |    273121 |  122601  1757903  4090395 |        1    62147    717 |  2.447 % |
809.60/809.68	c |    273222 |  122601  1757903  4090395 |        1    62248    717 |  2.447 % |
809.60/809.68	c |    274353 |  122601  1757903  4090395 |        1    63379    730 |  2.447 % |
809.60/809.68	c |    274587 |  122601  1757903  4090395 |        1    63613    733 |  2.447 % |
809.60/809.68	c |    274731 |  122601  1757903  4090395 |        1    63757    735 |  2.447 % |
809.60/809.68	c |    274831 |  122601  1757903  4090395 |        1    63857    736 |  2.447 % |
809.60/809.68	c |    274931 |  122601  1757903  4090395 |        1    63957    741 |  2.447 % |
809.60/809.68	c |    275109 |  122601  1757903  4090395 |        1    64135    742 |  2.447 % |
809.60/809.68	c |    275435 |  122601  1757903  4090395 |        1    64461    743 |  2.447 % |
809.60/809.68	c |    277640 |  122600  1757903  4090395 |        1    66665    767 |  2.448 % |
809.60/809.68	c |    277740 |  122598  1757903  4090395 |        1    66763    767 |  2.449 % |
809.60/809.68	c |    278076 |  122598  1757903  4090395 |        1    67099    768 |  2.449 % |
809.60/809.68	c |    278341 |  122597  1757903  4090395 |        1    67363    769 |  2.450 % |
809.60/809.68	c |    279332 |  122597  1757903  4090395 |        1    68354    767 |  2.450 % |
809.60/809.68	c |    279581 |  122597  1757903  4090395 |        1    68603    772 |  2.450 % |
809.60/809.68	c |    280304 |  122597  1757903  4090395 |        1    69326    773 |  2.450 % |
809.60/809.68	c |    280405 |  122597  1757903  4090395 |        1    69427    772 |  2.450 % |
809.60/809.68	c |    280505 |  122597  1757903  4090395 |        1    69527    775 |  2.450 % |
809.60/809.68	c |    280605 |  122597  1757903  4090395 |        1    69627    776 |  2.450 % |
809.60/809.68	c |    280705 |  122597  1757903  4090395 |        1    69727    776 |  2.450 % |
809.60/809.68	c |    280805 |  122597  1757903  4090395 |        1    69827    777 |  2.450 % |
809.60/809.68	c |    281007 |  122597  1757903  4090395 |        1    70029    776 |  2.450 % |
809.60/809.68	c |    281117 |  122597  1757903  4090395 |        1    70139    776 |  2.450 % |
809.60/809.68	c |    281348 |  122597  1757903  4090395 |        1    70370    779 |  2.450 % |
809.60/809.68	c |    281448 |  122597  1757903  4090395 |        1    70470    778 |  2.450 % |
809.60/809.68	c |    282689 |  122596  1757903  4090395 |        1    71710    800 |  2.451 % |
809.60/809.68	c |    282789 |  122596  1757903  4090395 |        1    71810    800 |  2.451 % |
809.60/809.68	c |    283514 |  122594  1757903  4090395 |        1    72533    798 |  2.452 % |
809.60/809.68	c |    284673 |  122593  1757903  4090395 |        1    73691    799 |  2.453 % |
809.60/809.68	c |    285518 |  122592  1757903  4090395 |        1    74535    805 |  2.454 % |
809.60/809.68	c |    285618 |  122592  1757903  4090395 |        1    74633    804 |  2.454 % |
809.60/809.68	c |    285719 |  122592  1757903  4090395 |        1    74734    804 |  2.454 % |
809.60/809.68	c |    286052 |  122591  1757903  4090395 |        1    75066    805 |  2.455 % |
809.60/809.68	c |    288984 |  122591  1757903  4090395 |        1    77998    847 |  2.455 % |
809.60/809.68	c |    289084 |  122591  1757903  4090395 |        1    78098    847 |  2.455 % |
809.60/809.68	c |    289468 |  122591  1757903  4090395 |        1    78482    852 |  2.455 % |
809.60/809.68	c |    289568 |  122591  1757903  4090395 |        1    78582    852 |  2.455 % |
809.60/809.68	c |    290077 |  122591  1757903  4090395 |        1    79091    858 |  2.455 % |
809.60/809.68	c |    290358 |  122591  1757903  4090395 |        1    79372    859 |  2.455 % |
892.72/892.74	c |    290458 |  122591  1757903  4090395 |        1    79472    858 |  2.455 % |
892.72/892.74	c |    290606 |  122591  1757903  4090395 |        1    79620    859 |  2.455 % |
892.72/892.74	c |    291120 |  122591  1757903  4090395 |        1    80134    863 |  2.455 % |
892.72/892.74	c |    291220 |  122591  1757903  4090395 |        1    80234    864 |  2.455 % |
892.72/892.74	c |    291320 |  122591  1757903  4090395 |        1    80334    864 |  2.455 % |
892.72/892.74	c |    291423 |  122591  1757903  4090395 |        1    80437    864 |  2.455 % |
892.72/892.74	c |    291525 |  122591  1757903  4090395 |        1    80539    866 |  2.455 % |
892.72/892.74	c |    292382 |  122591  1757903  4090395 |        1    81396    865 |  2.455 % |
892.72/892.74	c |    293951 |  122587  1757903  4090395 |        1    82963    865 |  2.458 % |
892.72/892.74	c |    294053 |  122587  1757903  4090395 |        1    83065    864 |  2.458 % |
892.72/892.74	c |    294153 |  122586  1757903  4090395 |        1    83164    864 |  2.459 % |
892.72/892.74	c |    294356 |  122586  1757903  4090395 |        1    83367    865 |  2.459 % |
892.72/892.74	c |    294456 |  122586  1757903  4090395 |        1    83467    865 |  2.459 % |
892.72/892.74	c |    294815 |  122579  1757903  4090395 |        1    83824    867 |  2.464 % |
892.72/892.74	c |    294915 |  122571  1757903  4090395 |        1    83923    867 |  2.471 % |
892.72/892.74	c |    295917 |  122570  1757903  4090395 |        1    84924    870 |  2.471 % |
892.72/892.74	c |    296539 |  122559  1757903  4090395 |        1    85543    871 |  2.480 % |
892.72/892.74	c |    297682 |  122559  1757903  4090395 |        1    86686    865 |  2.480 % |
892.72/892.74	c |    297785 |  122559  1757903  4090395 |        1    86789    865 |  2.480 % |
892.72/892.74	c |    297888 |  122558  1757903  4090395 |        1    86891    864 |  2.481 % |
892.72/892.74	c |    297988 |  122558  1757903  4090395 |        1    86991    864 |  2.481 % |
892.72/892.74	c |    298088 |  122558  1757903  4090395 |        1    87091    863 |  2.481 % |
892.72/892.74	c |    298451 |  122558  1757903  4090395 |        1    87454    866 |  2.481 % |
892.72/892.74	c |    298599 |  122558  1757903  4090395 |        1    87602    866 |  2.481 % |
892.72/892.74	c |    298699 |  122558  1757903  4090395 |        1    87702    867 |  2.481 % |
892.72/892.74	c |    301829 |  122550  1757903  4090395 |        1    90830    890 |  2.487 % |
892.72/892.74	c |    302333 |  122546  1757903  4090395 |        1    91332    890 |  2.491 % |
892.72/892.74	c |    302474 |  122545  1757903  4090395 |        1    91472    890 |  2.491 % |
892.72/892.74	c |    303307 |  122540  1757903  4090395 |        1    92304    887 |  2.495 % |
892.72/892.74	c |    303407 |  122540  1757903  4090395 |        1    92404    887 |  2.495 % |
892.72/892.74	c |    303545 |  122539  1757903  4090395 |        1    92541    887 |  2.496 % |
892.72/892.74	c |    303646 |  122539  1757903  4090395 |        1    92642    888 |  2.496 % |
892.72/892.74	c |    304555 |  122536  1757903  4090395 |        1    93550    890 |  2.498 % |
892.72/892.74	c |    304951 |  122476  1757903  4090395 |        1    93945    894 |  2.546 % |
892.72/892.74	c |    305055 |  122476  1757903  4090395 |        1    94049    895 |  2.546 % |
892.72/892.74	c |    305809 |  122476  1757903  4090395 |        1    94803    894 |  2.546 % |
892.72/892.74	c |    305910 |  122476  1757903  4090395 |        1    94904    894 |  2.546 % |
892.72/892.74	c |    308832 |  122476  1757903  4090395 |        1    57790    299 |  2.546 % |
892.72/892.74	c |    308932 |  122476  1757858  4090205 |        1    57882    299 |  2.546 % |
892.72/892.74	c |    309458 |  122476  1757858  4090205 |        1    58408    311 |  2.546 % |
892.72/892.74	c |    311773 |  122475  1757858  4090205 |        1    60722    360 |  2.547 % |
892.72/892.74	c |    311883 |  122409  1757858  4090205 |        1    60831    362 |  2.600 % |
892.72/892.74	c |    311984 |  122409  1757858  4090205 |        1    60932    363 |  2.600 % |
892.72/892.74	c |    313277 |  122407  1757858  4090205 |        1    62223    380 |  2.601 % |
892.72/892.74	c |    316831 |  122405  1757858  4090205 |        1    65775    452 |  2.603 % |
892.72/892.74	c |    316932 |  122405  1757825  4090052 |        1    65871    454 |  2.603 % |
892.72/892.74	c |    317254 |  122404  1757825  4090052 |        1    66192    457 |  2.604 % |
892.72/892.74	c |    318141 |  122404  1757825  4090052 |        1    67079    461 |  2.604 % |
892.72/892.74	c |    318310 |  122404  1757825  4090052 |        1    67248    462 |  2.604 % |
892.72/892.74	c |    319788 |  122398  1757825  4090052 |        1    68724    477 |  2.608 % |
1027.12/1027.18	c |    320479 |  122397  1757825  4090052 |        1    69414    492 |  2.609 % |
1027.12/1027.18	c |    320957 |  122397  1757825  4090052 |        1    69892    511 |  2.609 % |
1027.12/1027.18	c |    321678 |  122397  1757825  4090052 |        1    70613    514 |  2.609 % |
1027.12/1027.18	c |    321782 |  122397  1757825  4090052 |        1    70717    516 |  2.609 % |
1027.12/1027.18	c |    321883 |  122397  1757825  4090052 |        1    70818    518 |  2.609 % |
1027.12/1027.18	c |    322121 |  122397  1757825  4090052 |        1    71056    520 |  2.609 % |
1027.12/1027.18	c |    322222 |  122397  1757825  4090052 |        1    71157    521 |  2.609 % |
1027.12/1027.18	c |    322401 |  122396  1757825  4090052 |        1    71335    523 |  2.610 % |
1027.12/1027.18	c |    322507 |  122396  1757825  4090052 |        1    71441    522 |  2.610 % |
1027.12/1027.18	c |    322609 |  122396  1757825  4090052 |        1    71543    523 |  2.610 % |
1027.12/1027.18	c |    323004 |  122396  1757825  4090052 |        1    71938    532 |  2.610 % |
1027.12/1027.18	c |    323226 |  122396  1757825  4090052 |        1    72160    533 |  2.610 % |
1027.12/1027.18	c |    325241 |  122396  1757825  4090052 |        1    74175    611 |  2.610 % |
1027.12/1027.18	c |    325342 |  122396  1757825  4090052 |        1    74276    614 |  2.610 % |
1027.12/1027.18	c |    325444 |  122396  1757825  4090052 |        1    74378    615 |  2.610 % |
1027.12/1027.18	c |    325632 |  122395  1757825  4090052 |        1    74565    615 |  2.611 % |
1027.12/1027.18	c |    330791 |  122395  1757825  4090052 |        1    79724    806 |  2.611 % |
1027.12/1027.18	c |    330891 |  122395  1757823  4090044 |        1    79823    807 |  2.611 % |
1027.12/1027.18	c |    331283 |  122378  1757823  4090044 |        1    80214    811 |  2.624 % |
1027.12/1027.18	c |    331385 |  122378  1757823  4090044 |        1    80316    812 |  2.624 % |
1027.12/1027.18	c |    331687 |  122378  1757823  4090044 |        1    80618    812 |  2.624 % |
1027.12/1027.18	c |    333613 |  122378  1757823  4090044 |        1    82544    873 |  2.624 % |
1027.12/1027.18	c |    333713 |  122378  1757823  4090044 |        1    82644    873 |  2.624 % |
1027.12/1027.18	c |    339878 |  122378  1757823  4090044 |        1    88809   1055 |  2.624 % |
1027.12/1027.18	c |    339980 |  122378  1757823  4090044 |        1    88911   1056 |  2.624 % |
1027.12/1027.18	c |    340726 |  122371  1757823  4090044 |        1    89656   1054 |  2.630 % |
1027.12/1027.18	c |    341116 |  122371  1757823  4090044 |        1    90046   1060 |  2.630 % |
1027.12/1027.18	c |    341218 |  122371  1757823  4090044 |        1    90148   1061 |  2.630 % |
1027.12/1027.18	c |    341321 |  122370  1757823  4090044 |        1    90250   1061 |  2.631 % |
1027.12/1027.18	c |    341421 |  122369  1757823  4090044 |        1    90349   1061 |  2.631 % |
1027.12/1027.18	c |    342354 |  122369  1757823  4090044 |        1    91282   1078 |  2.631 % |
1027.12/1027.18	c |    342454 |  122369  1757823  4090044 |        1    91382   1078 |  2.631 % |
1027.12/1027.18	c |    342554 |  122369  1757823  4090044 |        1    91482   1079 |  2.631 % |
1027.12/1027.18	c |    343136 |  122368  1757823  4090044 |        1    92063   1083 |  2.632 % |
1027.12/1027.18	c |    343492 |  122368  1757823  4090044 |        1    92419   1083 |  2.632 % |
1027.12/1027.18	c |    343592 |  122368  1757823  4090044 |        1    92519   1084 |  2.632 % |
1027.12/1027.18	c |    343692 |  122368  1757823  4090044 |        1    92619   1084 |  2.632 % |
1027.12/1027.18	c |    344022 |  122368  1757823  4090044 |        1    92949   1084 |  2.632 % |
1027.12/1027.18	c |    344707 |  122368  1757823  4090044 |        1    93634   1088 |  2.632 % |
1027.12/1027.18	c |    347091 |  122358  1757823  4090044 |        1    96017   1095 |  2.640 % |
1027.12/1027.18	c |    347516 |  122358  1757823  4090044 |        1    96442   1093 |  2.640 % |
1027.12/1027.18	c |    348194 |  122358  1757823  4090044 |        1    57865    180 |  2.640 % |
1027.12/1027.18	c |    348298 |  122358  1757823  4090044 |        1    57969    183 |  2.640 % |
1027.12/1027.18	c |    348698 |  122358  1757823  4090044 |        1    58369    190 |  2.640 % |
1027.12/1027.18	c |    348798 |  122358  1757823  4090044 |        1    58469    191 |  2.640 % |
1027.12/1027.18	c |    348989 |  122358  1757823  4090044 |        1    58660    196 |  2.640 % |
1027.12/1027.18	c |    349092 |  122358  1757823  4090044 |        1    58763    197 |  2.640 % |
1027.12/1027.18	c |    349653 |  122358  1757823  4090044 |        1    59324    206 |  2.640 % |
1027.12/1027.18	c |    349753 |  122358  1757823  4090044 |        1    59424    208 |  2.640 % |
1027.12/1027.18	c |    350220 |  122358  1757823  4090044 |        1    59891    213 |  2.640 % |
1156.43/1156.49	c |    350386 |  122358  1757823  4090044 |        1    60057    214 |  2.640 % |
1156.43/1156.49	c |    351524 |  122351  1757823  4090044 |        1    61194    242 |  2.646 % |
1156.43/1156.49	c |    351697 |  122351  1757823  4090044 |        1    61367    243 |  2.646 % |
1156.43/1156.49	c |    352155 |  122351  1757823  4090044 |        1    61825    256 |  2.646 % |
1156.43/1156.49	c |    352256 |  122351  1757823  4090044 |        1    61926    258 |  2.646 % |
1156.43/1156.49	c |    353790 |  122351  1757823  4090044 |        1    63460    269 |  2.646 % |
1156.43/1156.49	c |    353892 |  122351  1757823  4090044 |        1    63562    270 |  2.646 % |
1156.43/1156.49	c |    354839 |  122351  1757823  4090044 |        1    64509    300 |  2.646 % |
1156.43/1156.49	c |    355528 |  122351  1757823  4090044 |        1    65198    321 |  2.646 % |
1156.43/1156.49	c |    355628 |  122351  1757823  4090044 |        1    65298    322 |  2.646 % |
1156.43/1156.49	c |    356049 |  122351  1757823  4090044 |        1    65719    326 |  2.646 % |
1156.43/1156.49	c |    356656 |  122351  1757823  4090044 |        1    66326    335 |  2.646 % |
1156.43/1156.49	c |    356946 |  122351  1757823  4090044 |        1    66616    340 |  2.646 % |
1156.43/1156.49	c |    357154 |  122349  1757823  4090044 |        1    66822    341 |  2.647 % |
1156.43/1156.49	c |    357254 |  122349  1757823  4090044 |        1    66922    341 |  2.647 % |
1156.43/1156.49	c |    359614 |  122342  1757807  4089969 |        1    69271    387 |  2.653 % |
1156.43/1156.49	c |    360174 |  122342  1757807  4089969 |        1    69831    389 |  2.653 % |
1156.43/1156.49	c |    361847 |  122340  1757807  4089969 |        1    71503    422 |  2.654 % |
1156.43/1156.49	c |    361947 |  122340  1757807  4089969 |        1    71603    422 |  2.654 % |
1156.43/1156.49	c |    362955 |  122220  1757807  4089969 |        1    72608    438 |  2.750 % |
1156.43/1156.49	c |    363057 |  122220  1757807  4089969 |        1    72710    438 |  2.750 % |
1156.43/1156.49	c |    363467 |  122219  1757807  4089969 |        1    73119    443 |  2.751 % |
1156.43/1156.49	c |    363567 |  122219  1757807  4089969 |        1    73219    443 |  2.751 % |
1156.43/1156.49	c |    363818 |  122218  1757807  4089969 |        1    73469    447 |  2.752 % |
1156.43/1156.49	c |    363919 |  122218  1757807  4089969 |        1    73570    448 |  2.752 % |
1156.43/1156.49	c |    366658 |  122218  1757807  4089969 |        1    76309    494 |  2.752 % |
1156.43/1156.49	c |    368903 |  122204  1757807  4089969 |        1    78550    547 |  2.763 % |
1156.43/1156.49	c |    369003 |  122198  1757807  4089969 |        1    78648    547 |  2.767 % |
1156.43/1156.49	c |    369280 |  122197  1757807  4089969 |        1    78924    552 |  2.768 % |
1156.43/1156.49	c |    369548 |  122197  1757807  4089969 |        1    79192    553 |  2.768 % |
1156.43/1156.49	c |    373717 |  122194  1757735  4089635 |        1    83320    649 |  2.771 % |
1156.43/1156.49	c |    374011 |  122194  1757735  4089635 |        1    83614    648 |  2.771 % |
1156.43/1156.49	c |    374113 |  122194  1757735  4089635 |        1    83716    649 |  2.771 % |
1156.43/1156.49	c |    374693 |  122190  1757735  4089635 |        1    84294    654 |  2.774 % |
1156.43/1156.49	c |    374793 |  122190  1757735  4089635 |        1    84394    655 |  2.774 % |
1156.43/1156.49	c |    375561 |  122190  1757735  4089635 |        1    85162    655 |  2.774 % |
1156.43/1156.49	c |    375748 |  122190  1757735  4089635 |        1    85349    657 |  2.774 % |
1156.43/1156.49	c |    376089 |  122190  1757735  4089635 |        1    85690    656 |  2.774 % |
1156.43/1156.49	c |    376385 |  122190  1757735  4089635 |        1    85986    660 |  2.774 % |
1156.43/1156.49	c |    376508 |  122190  1757735  4089635 |        1    86109    661 |  2.774 % |
1156.43/1156.49	c |    381773 |  122126  1757735  4089635 |        1    91367    681 |  2.825 % |
1156.43/1156.49	c |    383306 |  122126  1757735  4089635 |        1    92900    719 |  2.825 % |
1156.43/1156.49	c |    383406 |  122126  1757735  4089635 |        1    93000    720 |  2.825 % |
1156.43/1156.49	c |    384196 |  122126  1757735  4089635 |        1    93790    719 |  2.825 % |
1156.43/1156.49	c |    384501 |  122126  1757735  4089635 |        1    94095    722 |  2.825 % |
1156.43/1156.49	c |    384601 |  122126  1757735  4089635 |        1    94195    722 |  2.825 % |
1156.43/1156.49	c |    384701 |  122126  1757735  4089635 |        1    94295    724 |  2.825 % |
1156.43/1156.49	c |    385451 |  122125  1757735  4089635 |        1    95044    724 |  2.826 % |
1156.43/1156.49	c |    386591 |  122125  1757735  4089635 |        1    96184    744 |  2.826 % |
1156.43/1156.49	c |    387259 |  122124  1757703  4089489 |        1    96836    746 |  2.826 % |
1232.23/1232.25	c |    387364 |  122124  1757703  4089489 |        1    96941    747 |  2.826 % |
1232.23/1232.25	c |    387466 |  122124  1757703  4089489 |        1    97043    747 |  2.826 % |
1232.23/1232.25	c |    387568 |  122124  1757703  4089489 |        1    97145    746 |  2.826 % |
1232.23/1232.25	c |    387822 |  122124  1757703  4089489 |        1    97399    746 |  2.826 % |
1232.23/1232.25	c |    388725 |  122124  1757703  4089489 |        1    98302    755 |  2.826 % |
1232.23/1232.25	c |    389159 |  122123  1757703  4089489 |        1    98735    755 |  2.827 % |
1232.23/1232.25	c |    389477 |  122123  1757703  4089489 |        1    99053    755 |  2.827 % |
1232.23/1232.25	c |    389577 |  122123  1757703  4089489 |        1    99153    755 |  2.827 % |
1232.23/1232.25	c |    389684 |  122123  1757703  4089489 |        1    99260    756 |  2.827 % |
1232.23/1232.25	c |    389784 |  122123  1757703  4089489 |        1    99360    757 |  2.827 % |
1232.23/1232.25	c |    389885 |  122123  1757703  4089489 |        1    99461    757 |  2.827 % |
1232.23/1232.25	c |    390604 |  122122  1757703  4089489 |        1   100179    757 |  2.828 % |
1232.23/1232.25	c |    392080 |  122106  1757703  4089489 |        1   101650    768 |  2.841 % |
1232.23/1232.25	c |    392181 |  122106  1757703  4089489 |        1   101751    768 |  2.841 % |
1232.23/1232.25	c |    392745 |  122106  1757703  4089489 |        1   102315    772 |  2.841 % |
1232.23/1232.25	c |    393634 |  122094  1757703  4089489 |        1   103203    787 |  2.850 % |
1232.23/1232.25	c |    394132 |  122094  1757703  4089489 |        1   103701    787 |  2.850 % |
1232.23/1232.25	c |    394279 |  122094  1757703  4089489 |        1   103848    788 |  2.850 % |
1232.23/1232.25	c |    394379 |  122094  1757703  4089489 |        1   103948    788 |  2.850 % |
1232.23/1232.25	c |    394480 |  122094  1757703  4089489 |        1   104049    788 |  2.850 % |
1232.23/1232.25	c |    394584 |  122094  1757703  4089489 |        1   104153    788 |  2.850 % |
1232.23/1232.25	c |    395079 |  122094  1757703  4089489 |        1   104648    789 |  2.850 % |
1232.23/1232.25	c |    395180 |  122093  1757703  4089489 |        1   104748    790 |  2.851 % |
1232.23/1232.25	c |    395403 |  122093  1757703  4089489 |        1   104971    791 |  2.851 % |
1232.23/1232.25	c |    396744 |  122071  1757703  4089489 |        1   106311    816 |  2.868 % |
1232.23/1232.25	c |    396845 |  122071  1757703  4089489 |        1   106412    816 |  2.868 % |
1232.23/1232.25	c |    396945 |  122071  1757703  4089489 |        1   106512    815 |  2.868 % |
1232.23/1232.25	c |    397771 |  122034  1757703  4089489 |        1   107336    822 |  2.898 % |
1232.23/1232.25	c |    397962 |  122034  1757703  4089489 |        1   107527    823 |  2.898 % |
1232.23/1232.25	c |    398062 |  122032  1757703  4089489 |        1   107625    823 |  2.900 % |
1232.23/1232.25	c |    398341 |  122032  1757703  4089489 |        1   107904    823 |  2.900 % |
1232.23/1232.25	c |    398642 |  121964  1757703  4089489 |        1   108204    822 |  2.954 % |
1232.23/1232.25	c |    399933 |  121963  1757703  4089489 |        1   109494    828 |  2.954 % |
1232.23/1232.25	c |    400127 |  121963  1757703  4089489 |        1   109688    828 |  2.954 % |
1232.23/1232.25	c |    400559 |  121963  1757703  4089489 |        1   110120    833 |  2.954 % |
1232.23/1232.25	c |    400659 |  121963  1757703  4089489 |        1   110220    833 |  2.954 % |
1232.23/1232.25	c |    400761 |  121963  1757703  4089489 |        1   110322    834 |  2.954 % |
1232.23/1232.25	c |    404964 |  121963  1757703  4089489 |        1   114525    933 |  2.954 % |
1232.23/1232.26	c |    405064 |  121963  1757703  4089489 |        1   114625    934 |  2.954 % |
1232.23/1232.26	c |    405166 |  121963  1757703  4089489 |        1   114727    934 |  2.954 % |
1232.23/1232.26	c |    405271 |  121963  1757703  4089489 |        1   114832    934 |  2.954 % |
1232.23/1232.26	c |    405371 |  121963  1757703  4089489 |        1   114932    934 |  2.954 % |
1232.23/1232.26	c |    406220 |  121963  1757703  4089489 |        1   115781    936 |  2.954 % |
1232.23/1232.26	c |    406555 |  121963  1757703  4089489 |        1   116116    935 |  2.954 % |
1232.23/1232.26	c |    406955 |  121963  1757703  4089489 |        1   116516    938 |  2.954 % |
1232.23/1232.26	c |    407055 |  121963  1757703  4089489 |        1   116616    940 |  2.954 % |
1232.23/1232.26	c |    407155 |  121963  1757703  4089489 |        1   116716    940 |  2.954 % |
1232.23/1232.26	c |    407461 |  121963  1757703  4089489 |        1   117022    939 |  2.954 % |
1232.23/1232.26	c |    407671 |  121961  1757703  4089489 |        1   117230    939 |  2.956 % |
1232.23/1232.26	c |    407772 |  121961  1757703  4089489 |

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 1.17 1.48 2.47 5/188 21608
/proc/meminfo: memFree=28705132/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=0 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 487820548 8912896 252 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 252 211 178 0 69 0

[startup+0.046839 s]
/proc/loadavg: 1.17 1.48 2.47 5/188 21608
/proc/meminfo: memFree=28705132/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=0 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 487820548 8912896 252 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100838 s]
/proc/loadavg: 1.17 1.48 2.47 5/188 21608
/proc/meminfo: memFree=28705132/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=0 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 487820548 8912896 252 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300808 s]
/proc/loadavg: 1.17 1.48 2.47 5/188 21608
/proc/meminfo: memFree=28705132/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=0 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 487820548 8912896 252 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700718 s]
/proc/loadavg: 1.17 1.48 2.47 5/188 21608
/proc/meminfo: memFree=28705132/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=0 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 487820548 8912896 252 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50057 s]
/proc/loadavg: 1.17 1.48 2.47 5/190 21610
/proc/meminfo: memFree=28498100/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=0 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 487820548 8912896 252 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 252 211 178 0 69 0
[pid=21609] ppid=21608 vsize=203648 CPUtime=1.48 cores=4,6
/proc/21609/stat : 21609 (SatELite_releas) R 21608 21608 20892 0 -1 4202496 48817 0 0 0 139 9 0 0 25 0 1 0 487820548 208535552 43602 33554432000 134512640 135144242 4293327664 18446744073709551615 134585381 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/21609/statm: 50912 43602 77 155 0 50755 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 212352

[startup+3.10015 s]
/proc/loadavg: 1.17 1.48 2.47 5/190 21610
/proc/meminfo: memFree=28438524/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=0 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 487820548 8912896 252 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 252 211 178 0 69 0
[pid=21609] ppid=21608 vsize=203648 CPUtime=3.08 cores=4,6
/proc/21609/stat : 21609 (SatELite_releas) R 21608 21608 20892 0 -1 4202496 48817 0 0 0 299 9 0 0 25 0 1 0 487820548 208535552 43602 33554432000 134512640 135144242 4293327664 18446744073709551615 134585739 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/21609/statm: 50912 43602 77 155 0 50755 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 212352

[startup+6.30055 s]
/proc/loadavg: 1.64 1.58 2.50 5/194 21619
/proc/meminfo: memFree=27984284/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=130160 CPUtime=2.12 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 24602 0 0 0 208 4 0 0 25 0 1 0 487820965 133283840 24231 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209311 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 32540 24231 239 17 0 29181 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 138864

[startup+12.7074 s]
/proc/loadavg: 1.83 1.62 2.50 5/194 21619
/proc/meminfo: memFree=27972608/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=131952 CPUtime=8.53 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 37801 0 0 0 847 6 0 0 25 0 1 0 487820965 135118848 24796 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 32988 24796 251 17 0 29629 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140656

[startup+25.5009 s]
/proc/loadavg: 2.31 1.73 2.53 5/194 21620
/proc/meminfo: memFree=27944612/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=132788 CPUtime=21.32 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 54495 0 0 0 2124 8 0 0 25 0 1 0 487820965 135974912 25358 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209426 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 33197 25358 251 17 0 29838 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 141492

[startup+51.1011 s]
/proc/loadavg: 2.88 1.91 2.57 5/194 21620
/proc/meminfo: memFree=27899972/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=134944 CPUtime=46.93 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 77335 0 0 0 4681 12 0 0 25 0 1 0 487820965 138182656 27934 33554432000 4194304 4260849 140736393883312 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 33736 27934 251 17 0 30377 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 143648

[startup+102.3 s]
/proc/loadavg: 3.51 2.23 2.64 5/194 21622
/proc/meminfo: memFree=27733492/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=218280 CPUtime=98.12 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 110911 0 0 0 9795 17 0 0 25 0 1 0 487820965 223518720 38722 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 54570 38722 251 17 0 51211 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 226984

[startup+162.307 s]
/proc/loadavg: 3.82 2.55 2.72 5/194 21623
/proc/meminfo: memFree=27731668/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=169864 CPUtime=158.13 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 162584 0 0 0 15788 25 0 0 25 0 1 0 487820965 173940736 37446 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 42466 37446 251 17 0 39107 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 178568

[startup+222.3 s]
/proc/loadavg: 3.93 2.81 2.80 5/194 21625
/proc/meminfo: memFree=27755040/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=221704 CPUtime=218.13 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 204277 0 0 0 21783 30 0 0 25 0 1 0 487820965 227024896 39137 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 55426 39137 251 17 0 52067 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 230408

[startup+282.301 s]
/proc/loadavg: 4.03 3.04 2.87 5/194 21626
/proc/meminfo: memFree=27646864/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=223032 CPUtime=278.13 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 246087 0 0 0 27777 36 0 0 25 0 1 0 487820965 228384768 39966 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 55758 39966 251 17 0 52399 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 231736

[startup+342.301 s]
/proc/loadavg: 4.01 3.21 2.94 5/194 21628
/proc/meminfo: memFree=27501240/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=173464 CPUtime=338.13 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 297231 0 0 0 33771 42 0 0 25 0 1 0 487820965 177627136 32302 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 43366 32302 251 17 0 40007 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 182168

[startup+402.301 s]
/proc/loadavg: 4.00 3.36 3.01 5/194 21630
/proc/meminfo: memFree=27517808/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6

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

/proc/21619/statm: 110191 74753 251 17 0 106832 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 449468

[startup+642.3 s]
/proc/loadavg: 4.02 3.72 3.23 5/194 21636
/proc/meminfo: memFree=27497516/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=309008 CPUtime=638.14 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 488398 0 0 0 63746 68 0 0 25 0 1 0 487820965 316424192 60741 33554432000 4194304 4260849 140736393883312 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 77252 60741 251 17 0 73893 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 317712

[startup+702.301 s]
/proc/loadavg: 4.05 3.78 3.28 5/194 21638
/proc/meminfo: memFree=27668084/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=178280 CPUtime=698.15 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 532909 0 0 0 69739 76 0 0 25 0 1 0 487820965 182558720 39473 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 44570 39473 251 17 0 41211 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 186984

[startup+762.301 s]
/proc/loadavg: 4.07 3.83 3.32 5/194 21639
/proc/meminfo: memFree=27490096/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=442964 CPUtime=758.14 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 567147 0 0 0 75734 80 0 0 25 0 1 0 487820965 453595136 73696 33554432000 4194304 4260849 140736393883312 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 110741 73696 251 17 0 107382 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 451668

[startup+822.307 s]
/proc/loadavg: 4.02 3.86 3.37 5/194 21641
/proc/meminfo: memFree=27239696/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=443788 CPUtime=818.15 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 594031 0 0 0 81731 84 0 0 25 0 1 0 487820965 454438912 100560 33554432000 4194304 4260849 140736393883312 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 110947 100560 251 17 0 107588 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 452492

[startup+882.301 s]
/proc/loadavg: 4.01 3.88 3.40 5/194 21642
/proc/meminfo: memFree=27574196/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=312552 CPUtime=878.15 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 643196 0 0 0 87722 93 0 0 25 0 1 0 487820965 320053248 55655 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209619 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 78138 55655 251 17 0 74779 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 321256

[startup+942.3 s]
/proc/loadavg: 4.00 3.90 3.44 5/194 21644
/proc/meminfo: memFree=27448144/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=444972 CPUtime=938.15 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 677829 0 0 0 93717 98 0 0 25 0 1 0 487820965 455651328 90269 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 111243 90269 251 17 0 107884 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 453676

[startup+1002.3 s]
/proc/loadavg: 4.00 3.92 3.47 5/194 21676
/proc/meminfo: memFree=27493892/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=660716 CPUtime=998.16 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 710330 0 0 0 99712 104 0 0 25 0 1 0 487820965 676573184 122760 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 165179 122760 251 17 0 161820 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 669420

[startup+1062.3 s]
/proc/loadavg: 4.00 3.93 3.50 5/194 21677
/proc/meminfo: memFree=27775188/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=314244 CPUtime=1058.16 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 758340 0 0 0 105703 113 0 0 25 0 1 0 487820965 321785856 57735 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209456 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 78561 57735 251 17 0 75202 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 322948

[startup+1122.3 s]
/proc/loadavg: 4.00 3.94 3.53 5/194 21679
/proc/meminfo: memFree=27738048/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=446504 CPUtime=1118.16 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 784882 0 0 0 111699 117 0 0 25 0 1 0 487820965 457220096 84262 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209277 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 111626 84262 251 17 0 108267 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 455208

[startup+1182.3 s]
/proc/loadavg: 4.07 3.96 3.56 5/194 21680
/proc/meminfo: memFree=27418700/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=662256 CPUtime=1178.16 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 812199 0 0 0 117695 121 0 0 25 0 1 0 487820965 678150144 111564 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209409 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 165564 111564 251 17 0 162205 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 670960

[startup+1242.3 s]
/proc/loadavg: 4.13 4.00 3.59 5/194 21713
/proc/meminfo: memFree=27357232/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=233684 CPUtime=1238.16 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 860600 0 0 0 123686 130 0 0 25 0 1 0 487820965 239292416 42447 33554432000 4194304 4260849 140736393883312 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 58421 42447 251 17 0 55062 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 242388



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.97 3.98 3.61 3/188 21717
/proc/meminfo: memFree=27614768/32950928 swapFree=67111364/67111528
[pid=21608] ppid=21606 vsize=8704 CPUtime=4.16 cores=4,6
/proc/21608/stat : 21608 (glucose.sh) S 21606 21608 20892 0 -1 4202496 358 53844 0 0 0 0 401 15 18 0 1 0 487820548 8912896 254 33554432000 4194304 4922060 140733646097328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21608/statm: 2176 254 211 178 0 69 0
[pid=21619] ppid=21608 vsize=316404 CPUtime=1295.87 cores=4,6
/proc/21619/stat : 21619 (glucose_static) R 21608 21608 20892 0 -1 4202496 885490 0 0 0 129454 133 0 0 25 0 1 0 487820965 323997696 67310 33554432000 4194304 4260849 140736393883312 18446744073709551615 4224331 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21619/statm: 79101 67310 251 17 0 75742 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 325108

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 21608 and gives
#  childrusage.ru_utime.tv_sec=4
#  childrusage.ru_utime.tv_usec=11390
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=157975
# CPU time returned by wait4() is 4.16937
# while last known CPU time is 1300.03
#
# 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): 1300.03
CPU user time (s): 1298.55
CPU system time (s): 1.48
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 751100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.01139
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54202
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= 6

runsolver used 2.12368 second user time and 4.98124 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-25 22:10:09
IDJOB=3285722
IDBENCH=82394
IDSOLVER=1651
FILE ID=node127/3285722-1303762207
RUNJOBID= node127-1303762207-21569
PBS_JOBID= 13157130
Free space on /tmp= 71204 MiB

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

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

MD5SUM BENCH= 1ca09a2b911e29894c6603aee8d3e672
RANDOM SEED=366518370

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28705800 kB
Buffers:       1231912 kB
Cached:        2434220 kB
SwapCached:          0 kB
Active:         459920 kB
Inactive:      3314384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28705800 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:          144180 kB
Writeback:           0 kB
AnonPages:      107424 kB
Mapped:          14868 kB
Slab:           404528 kB
PageTables:       5548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   275356 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= 70992 MiB
End job on node127 at 2011-04-25 22:31:51