Trace number 3262968

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.01 1300.01

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
MD5SUM731331ace9dcb7404987f98927f5c914
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables840
Number of clauses72688
Sum of the clauses size146160
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 272660
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 528

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.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   72688   146160 |   21806       0        0     nan |  0.000 % |
0.00/0.20	c |         0 |   71848   194340 |      --       0       --      -- |     --   | -840/48180
0.00/0.20	c ==============================================================================
0.00/0.20	c Result  :   #vars: 812   #clauses: 71848   #literals: 194340
0.00/0.20	c CPU time:   0.197969 s
0.00/0.20	c ==============================================================================
0.00/0.23	c
0.00/0.23	c Starting glucose
0.00/0.23	c
26.69/26.71	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
26.69/26.71	c WARNING: for repeatability, setting FPU to use double precision
26.69/26.71	c ============================[ Problem Statistics ]=============================
26.69/26.71	c |                                                                             |
26.69/26.71	c |  Number of variables:           812                                         |
26.69/26.71	c |  Number of clauses:           71848                                         |
26.69/26.71	c |  Parse time:                   0.01 s                                       |
26.69/26.71	c |                                                                             |
26.69/26.71	c ============================[ Search Statistics ]==============================
26.69/26.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.69/26.71	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
26.69/26.71	c ===============================================================================
26.69/26.71	c |       970 |     812    71848   194340 |        1      970    155 |  0.000 % |
26.69/26.72	c |      1072 |     812    71848   194340 |        1     1072    156 |  0.000 % |
26.69/26.72	c |      1173 |     812    71848   194340 |        1     1173    153 |  0.000 % |
26.69/26.72	c |      1274 |     812    71848   194340 |        1     1274    153 |  0.000 % |
26.69/26.72	c |      1376 |     812    71848   194340 |        1     1376    151 |  0.000 % |
26.69/26.72	c |      1715 |     812    71848   194340 |        1     1715    151 |  0.000 % |
26.69/26.72	c |      1815 |     812    71848   194340 |        1     1815    152 |  0.000 % |
26.69/26.72	c |      1915 |     812    71848   194340 |        1     1915    150 |  0.000 % |
26.69/26.72	c |      2015 |     812    71848   194340 |        1     2015    149 |  0.000 % |
26.69/26.72	c |      2260 |     812    71848   194340 |        1     2260    151 |  0.000 % |
26.69/26.72	c |      2361 |     812    71848   194340 |        1     2361    149 |  0.000 % |
26.69/26.72	c |      2461 |     812    71848   194340 |        1     2461    151 |  0.000 % |
26.69/26.72	c |      2565 |     812    71848   194340 |        1     2565    151 |  0.000 % |
26.69/26.72	c |      2667 |     812    71848   194340 |        1     2667    150 |  0.000 % |
26.69/26.72	c |      2767 |     812    71848   194340 |        1     2767    149 |  0.000 % |
26.69/26.72	c |      2870 |     812    71848   194340 |        1     2870    149 |  0.000 % |
26.69/26.72	c |      2970 |     812    71848   194340 |        1     2970    148 |  0.000 % |
26.69/26.72	c |      3071 |     812    71848   194340 |        1     3071    148 |  0.000 % |
26.69/26.72	c |      5210 |     812    71848   194340 |        1     3214    141 |  0.000 % |
26.69/26.72	c |      5312 |     812    71848   194340 |        1     3316    141 |  0.000 % |
26.69/26.72	c |      5470 |     812    71848   194340 |        1     3474    140 |  0.000 % |
26.69/26.72	c |      7230 |     812    71848   194340 |        1     5234    145 |  0.000 % |
26.69/26.72	c |      7330 |     812    71848   194340 |        1     5334    146 |  0.000 % |
26.69/26.72	c |      7430 |     812    71848   194340 |        1     5434    145 |  0.000 % |
26.69/26.72	c |      7854 |     812    71848   194340 |        1     5858    144 |  0.000 % |
26.69/26.72	c |      7955 |     812    71848   194340 |        1     5959    143 |  0.000 % |
26.69/26.72	c |    161025 |     812    71848   194340 |        1    28854     82 |  0.000 % |
26.69/26.72	c |    161130 |     812    71848   194340 |        1    28959     82 |  0.000 % |
26.69/26.72	c |    161438 |     812    71848   194340 |        1    29267     83 |  0.000 % |
26.69/26.72	c |    164129 |     812    71848   194340 |        1    31958     84 |  0.000 % |
26.69/26.72	c |    165385 |     812    71848   194340 |        1    33214     84 |  0.000 % |
26.69/26.72	c |    167519 |     812    71848   194340 |        1    35348     84 |  0.000 % |
26.69/26.72	c |    168195 |     812    71848   194340 |        1    36024     84 |  0.000 % |
26.69/26.72	c |    181912 |     812    71848   194340 |        1    49741     87 |  0.000 % |
26.69/26.72	c |    198080 |     812    71848   194340 |        1    38503     83 |  0.000 % |
26.69/26.72	c |    198182 |     812    71848   194340 |        1    38605     83 |  0.000 % |
26.69/26.72	c |    201319 |     812    71848   194340 |        1    41742     84 |  0.000 % |
26.69/26.72	c |    202046 |     812    71848   194340 |        1    42469     85 |  0.000 % |
26.69/26.72	c |    205079 |     812    71848   194340 |        1    45502     86 |  0.000 % |
161.08/161.11	c |    210229 |     812    71848   194340 |        1    50652     86 |  0.000 % |
161.08/161.11	c |    349671 |     812    71848   194340 |        1    54500     89 |  0.000 % |
161.08/161.11	c |    349928 |     812    71848   194340 |        1    54757     89 |  0.000 % |
161.08/161.11	c |    350914 |     812    71848   194340 |        1    55743     89 |  0.000 % |
161.08/161.11	c |    351296 |     812    71848   194340 |        1    56125     90 |  0.000 % |
161.08/161.11	c |    351744 |     812    71848   194340 |        1    56573     90 |  0.000 % |
161.08/161.11	c |    351845 |     812    71848   194340 |        1    56674     90 |  0.000 % |
161.08/161.11	c |    352237 |     812    71848   194340 |        1    57066     91 |  0.000 % |
161.08/161.11	c |    352338 |     812    71848   194340 |        1    57167     91 |  0.000 % |
161.08/161.11	c |    352438 |     812    71848   194340 |        1    57267     91 |  0.000 % |
161.08/161.11	c |    554042 |     812    71848   194340 |        1    81662     98 |  0.000 % |
161.08/161.11	c |    554143 |     812    71848   194340 |        1    81763     98 |  0.000 % |
161.08/161.11	c |    554287 |     812    71848   194340 |        1    81907     98 |  0.000 % |
161.08/161.11	c |    718964 |     812    71848   194340 |        1    86376     86 |  0.000 % |
161.08/161.11	c |    719064 |     812    71848   194340 |        1    86476     86 |  0.000 % |
161.08/161.11	c |    719165 |     812    71848   194340 |        1    86577     86 |  0.000 % |
161.08/161.11	c |    719370 |     812    71848   194340 |        1    86782     86 |  0.000 % |
161.08/161.11	c |    793659 |     812    71848   194340 |        1   102465     86 |  0.000 % |
161.08/161.11	c |    793765 |     812    71848   194340 |        1   102571     86 |  0.000 % |
161.08/161.11	c |    793867 |     812    71848   194340 |        1   102673     86 |  0.000 % |
161.08/161.11	c |    798724 |     812    71848   194340 |        1   107530     87 |  0.000 % |
161.08/161.11	c |    801204 |     812    71848   194340 |        1   110010     87 |  0.000 % |
161.08/161.11	c |    801674 |     812    71848   194340 |        1   110480     87 |  0.000 % |
161.08/161.11	c |    801774 |     812    71848   194340 |        1   110580     87 |  0.000 % |
161.08/161.11	c |    801875 |     812    71848   194340 |        1   110681     88 |  0.000 % |
161.08/161.11	c |    827508 |     812    71848   194340 |        1    75115     86 |  0.000 % |
161.08/161.11	c |    848414 |     812    71848   194340 |        1    96021     88 |  0.000 % |
161.08/161.11	c |    849003 |     812    71848   194340 |        1    96610     88 |  0.000 % |
161.08/161.11	c |    850822 |     812    71848   194340 |        1    98429     88 |  0.000 % |
161.08/161.11	c |    850922 |     812    71848   194340 |        1    98529     88 |  0.000 % |
161.08/161.11	c |    851025 |     812    71848   194340 |        1    98632     88 |  0.000 % |
161.08/161.11	c |    851126 |     812    71848   194340 |        1    98733     88 |  0.000 % |
161.08/161.11	c |    851227 |     812    71848   194340 |        1    98834     88 |  0.000 % |
161.08/161.11	c |    851911 |     812    71848   194340 |        1    99518     88 |  0.000 % |
161.08/161.11	c |    885377 |     812    71848   194340 |        1    69188     83 |  0.000 % |
161.08/161.11	c |    886207 |     812    71848   194340 |        1    70018     84 |  0.000 % |
161.08/161.11	c |    886307 |     812    71848   194340 |        1    70118     84 |  0.000 % |
161.08/161.11	c |    916655 |     812    71848   194340 |        1   100466     88 |  0.000 % |
161.08/161.11	c |    916755 |     812    71848   194340 |        1   100566     88 |  0.000 % |
161.08/161.11	c |    916856 |     812    71848   194340 |        1   100667     88 |  0.000 % |
161.08/161.11	c |    920738 |     812    71848   194340 |        1   104549     90 |  0.000 % |
161.08/161.11	c |    920838 |     812    71848   194340 |        1   104649     90 |  0.000 % |
161.08/161.11	c |    920939 |     812    71848   194340 |        1   104750     90 |  0.000 % |
161.08/161.11	c |    921040 |     812    71848   194340 |        1   104851     90 |  0.000 % |
161.08/161.11	c |    921141 |     812    71848   194340 |        1   104952     90 |  0.000 % |
161.08/161.11	c |    921241 |     812    71848   194340 |        1   105052     90 |  0.000 % |
161.08/161.11	c |    921341 |     812    71848   194340 |        1   105152     90 |  0.000 % |
161.08/161.11	c |    921442 |     812    71848   194340 |        1   105253     90 |  0.000 % |
161.08/161.11	c |    921542 |     812    71848   194340 |        1   105353     90 |  0.000 % |
161.08/161.11	c |    921642 |     812    71848   194340 |        1   105453     90 |  0.000 % |
240.59/240.67	c |    921742 |     812    71848   194340 |        1   105553     90 |  0.000 % |
240.59/240.67	c |    921847 |     812    71848   194340 |        1   105658     90 |  0.000 % |
240.59/240.67	c |    921950 |     812    71848   194340 |        1   105761     90 |  0.000 % |
240.59/240.67	c |    922054 |     812    71848   194340 |        1   105865     90 |  0.000 % |
240.59/240.67	c |    922154 |     812    71848   194340 |        1   105965     90 |  0.000 % |
240.59/240.67	c |    923602 |     812    71848   194340 |        1   107413     91 |  0.000 % |
240.59/240.67	c |    923702 |     812    71848   194340 |        1   107513     91 |  0.000 % |
240.59/240.67	c |    923804 |     812    71848   194340 |        1   107615     91 |  0.000 % |
240.59/240.67	c |    923904 |     812    71848   194340 |        1   107715     91 |  0.000 % |
240.59/240.67	c |    924048 |     812    71848   194340 |        1   107859     91 |  0.000 % |
240.59/240.67	c |    924151 |     812    71848   194340 |        1   107962     91 |  0.000 % |
240.59/240.67	c |    924251 |     812    71848   194340 |        1   108062     91 |  0.000 % |
240.59/240.67	c |    924352 |     812    71848   194340 |        1   108163     91 |  0.000 % |
240.59/240.67	c |    924465 |     812    71848   194340 |        1   108276     91 |  0.000 % |
240.59/240.67	c |   1017653 |     812    71848   194340 |        1   135065    101 |  0.000 % |
240.59/240.67	c |   1017821 |     812    71848   194340 |        1   135233    101 |  0.000 % |
240.59/240.67	c |   1042321 |     812    71848   194340 |        1    90729     83 |  0.000 % |
240.59/240.67	c |   1042894 |     812    71848   194340 |        1    91302     83 |  0.000 % |
240.59/240.67	c |   1043085 |     812    71848   194340 |        1    91493     83 |  0.000 % |
240.59/240.67	c |   1045029 |     812    71848   194340 |        1    93437     83 |  0.000 % |
240.59/240.67	c |   1045131 |     812    71848   194340 |        1    93539     83 |  0.000 % |
240.59/240.67	c |   1045232 |     812    71848   194340 |        1    93640     84 |  0.000 % |
240.59/240.67	c |   1058662 |     812    71848   194340 |        1   107070     85 |  0.000 % |
240.59/240.67	c |   1276482 |     812    71848   194340 |        1   102310     90 |  0.000 % |
240.59/240.67	c |   1278401 |     812    71848   194340 |        1   104229     90 |  0.000 % |
240.59/240.67	c |   1278502 |     812    71848   194340 |        1   104330     90 |  0.000 % |
240.59/240.67	c |   1278602 |     812    71848   194340 |        1   104430     91 |  0.000 % |
240.59/240.67	c |   1278702 |     812    71848   194340 |        1   104530     91 |  0.000 % |
240.59/240.67	c |   1278802 |     812    71848   194340 |        1   104630     91 |  0.000 % |
240.59/240.67	c |   1278903 |     812    71848   194340 |        1   104731     91 |  0.000 % |
240.59/240.67	c |   1279003 |     812    71848   194340 |        1   104831     91 |  0.000 % |
240.59/240.67	c |   1279103 |     812    71848   194340 |        1   104931     91 |  0.000 % |
240.59/240.67	c |   1279203 |     812    71848   194340 |        1   105031     91 |  0.000 % |
240.59/240.67	c |   1279304 |     812    71848   194340 |        1   105132     91 |  0.000 % |
240.59/240.67	c |   1279405 |     812    71848   194340 |        1   105233     91 |  0.000 % |
240.59/240.67	c |   1280873 |     812    71848   194340 |        1   106701     91 |  0.000 % |
240.59/240.67	c |   1281030 |     812    71848   194340 |        1   106858     91 |  0.000 % |
240.59/240.67	c |   1281132 |     812    71848   194340 |        1   106960     91 |  0.000 % |
240.59/240.67	c |   1281233 |     812    71848   194340 |        1   107061     92 |  0.000 % |
240.59/240.67	c |   1281373 |     812    71848   194340 |        1   107201     92 |  0.000 % |
240.59/240.67	c |   1281777 |     812    71848   194340 |        1   107605     92 |  0.000 % |
240.59/240.67	c |   1281880 |     812    71848   194340 |        1   107708     92 |  0.000 % |
240.59/240.67	c |   1281984 |     812    71848   194340 |        1   107812     92 |  0.000 % |
240.59/240.67	c |   1282087 |     812    71848   194340 |        1   107915     92 |  0.000 % |
240.59/240.67	c |   1282189 |     812    71848   194340 |        1   108017     92 |  0.000 % |
240.59/240.67	c |   1282295 |     812    71848   194340 |        1   108123     92 |  0.000 % |
240.59/240.67	c |   1282397 |     812    71848   194340 |        1   108225     92 |  0.000 % |
240.59/240.67	c |   1282498 |     812    71848   194340 |        1   108326     92 |  0.000 % |
240.59/240.67	c |   1282638 |     812    71848   194340 |        1   108466     92 |  0.000 % |
240.59/240.67	c |   1283101 |     812    71848   194340 |        1   108929     92 |  0.000 % |
242.38/242.47	c |   1283202 |     812    71848   194340 |        1   109030     92 |  0.000 % |
242.38/242.47	c |   1284932 |     812    71848   194340 |        1   110760     93 |  0.000 % |
242.38/242.47	c |   1285033 |     812    71848   194340 |        1   110861     93 |  0.000 % |
242.38/242.47	c |   1285133 |     812    71848   194340 |        1   110961     93 |  0.000 % |
242.38/242.47	c |   1285234 |     812    71848   194340 |        1   111062     93 |  0.000 % |
242.38/242.47	c |   1285334 |     812    71848   194340 |        1   111162     93 |  0.000 % |
242.38/242.47	c |   1285435 |     812    71848   194340 |        1   111263     93 |  0.000 % |
242.38/242.47	c |   1285538 |     812    71848   194340 |        1   111366     93 |  0.000 % |
242.38/242.47	c |   1285639 |     812    71848   194340 |        1   111467     93 |  0.000 % |
242.38/242.47	c |   1285739 |     812    71848   194340 |        1   111567     93 |  0.000 % |
242.38/242.47	c |   1285840 |     812    71848   194340 |        1   111668     93 |  0.000 % |
242.38/242.47	c |   1285941 |     812    71848   194340 |        1   111769     93 |  0.000 % |
242.38/242.47	c |   1286042 |     812    71848   194340 |        1   111870     93 |  0.000 % |
242.38/242.47	c |   1286145 |     812    71848   194340 |        1   111973     93 |  0.000 % |
242.38/242.47	c |   1287065 |     812    71848   194340 |        1   112893     94 |  0.000 % |
242.38/242.47	c |   1287208 |     812    71848   194340 |        1   113036     94 |  0.000 % |
242.38/242.47	c |   1287309 |     812    71848   194340 |        1   113137     94 |  0.000 % |
242.38/242.47	c |   1287583 |     812    71848   194340 |        1   113411     94 |  0.000 % |
242.38/242.47	c |   1287685 |     812    71848   194340 |        1   113513     94 |  0.000 % |
242.38/242.47	c |   1287786 |     812    71848   194340 |        1   113614     94 |  0.000 % |
242.38/242.47	c |   1287886 |     812    71848   194340 |        1   113714     94 |  0.000 % |
242.38/242.47	c |   1287987 |     812    71848   194340 |        1   113815     94 |  0.000 % |
242.38/242.47	c |   1288088 |     812    71848   194340 |        1   113916     94 |  0.000 % |
242.38/242.47	c |   1288191 |     812    71848   194340 |        1   114019     94 |  0.000 % |
242.38/242.47	c |   1288292 |     812    71848   194340 |        1   114120     94 |  0.000 % |
242.38/242.47	c |   1288392 |     812    71848   194340 |        1   114220     94 |  0.000 % |
242.38/242.47	c |   1288493 |     812    71848   194340 |        1   114321     94 |  0.000 % |
242.38/242.47	c |   1288594 |     812    71848   194340 |        1   114422     94 |  0.000 % |
242.38/242.47	c |   1288694 |     812    71848   194340 |        1   114522     94 |  0.000 % |
242.38/242.47	c |   1288794 |     812    71848   194340 |        1   114622     94 |  0.000 % |
242.38/242.47	c |   1288896 |     812    71848   194340 |        1   114724     94 |  0.000 % |
242.38/242.47	c |   1288996 |     812    71848   194340 |        1   114824     94 |  0.000 % |
242.38/242.47	c |   1289098 |     812    71848   194340 |        1   114926     95 |  0.000 % |
242.38/242.47	c |   1289198 |     812    71848   194340 |        1   115026     95 |  0.000 % |
242.38/242.47	c |   1289299 |     812    71848   194340 |        1   115127     95 |  0.000 % |
242.38/242.47	c |   1289399 |     812    71848   194340 |        1   115227     95 |  0.000 % |
242.38/242.47	c |   1289499 |     812    71848   194340 |        1   115327     95 |  0.000 % |
242.38/242.47	c |   1289600 |     812    71848   194340 |        1   115428     95 |  0.000 % |
242.38/242.47	c |   1289700 |     812    71848   194340 |        1   115528     95 |  0.000 % |
242.38/242.47	c |   1289800 |     812    71848   194340 |        1   115628     95 |  0.000 % |
242.38/242.47	c |   1289900 |     812    71848   194340 |        1   115728     95 |  0.000 % |
242.38/242.47	c |   1290002 |     812    71848   194340 |        1   115830     95 |  0.000 % |
242.38/242.47	c |   1290104 |     812    71848   194340 |        1   115932     95 |  0.000 % |
242.38/242.47	c |   1290206 |     812    71848   194340 |        1   116034     95 |  0.000 % |
242.38/242.47	c |   1290309 |     812    71848   194340 |        1   116137     95 |  0.000 % |
242.38/242.47	c |   1290409 |     812    71848   194340 |        1   116237     95 |  0.000 % |
242.38/242.47	c |   1290511 |     812    71848   194340 |        1   116339     95 |  0.000 % |
242.38/242.47	c |   1290611 |     812    71848   194340 |        1   116439     95 |  0.000 % |
242.38/242.47	c |   1290715 |     812    71848   194340 |        1   116543     95 |  0.000 % |
242.38/242.47	c |   1290910 |     812    71848   194340 |        1   116738     95 |  0.000 % |
443.79/443.82	c |   1291011 |     812    71848   194340 |        1   116839     95 |  0.000 % |
443.79/443.82	c |   1291114 |     812    71848   194340 |        1   116942     95 |  0.000 % |
443.79/443.82	c |   1291352 |     812    71848   194340 |        1   117180     95 |  0.000 % |
443.79/443.82	c |   1291452 |     812    71848   194340 |        1   117280     95 |  0.000 % |
443.79/443.82	c |   1291592 |     812    71848   194340 |        1   117420     96 |  0.000 % |
443.79/443.82	c |   1291692 |     812    71848   194340 |        1   117520     96 |  0.000 % |
443.79/443.82	c |   1291792 |     812    71848   194340 |        1   117620     96 |  0.000 % |
443.79/443.82	c |   1291892 |     812    71848   194340 |        1   117720     96 |  0.000 % |
443.79/443.82	c |   1291995 |     812    71848   194340 |        1   117823     96 |  0.000 % |
443.79/443.82	c |   1292465 |     812    71848   194340 |        1   118293     96 |  0.000 % |
443.79/443.82	c |   1292581 |     812    71848   194340 |        1   118409     96 |  0.000 % |
443.79/443.82	c |   1293240 |     812    71848   194340 |        1   119068     96 |  0.000 % |
443.79/443.82	c |   1293340 |     812    71848   194340 |        1   119168     96 |  0.000 % |
443.79/443.82	c |   1293484 |     812    71848   194340 |        1   119312     96 |  0.000 % |
443.79/443.82	c |   1296643 |     812    71848   194340 |        1   122471     96 |  0.000 % |
443.79/443.82	c |   1387231 |     812    71848   194340 |        1   133659     83 |  0.000 % |
443.79/443.82	c |   1387332 |     812    71848   194340 |        1   133760     83 |  0.000 % |
443.79/443.82	c |   1387433 |     812    71848   194340 |        1   133861     83 |  0.000 % |
443.79/443.82	c |   1402232 |     812    71848   194340 |        1   148660     83 |  0.000 % |
443.79/443.82	c |   1443149 |     812    71848   194340 |        1   107567     78 |  0.000 % |
443.79/443.82	c |   1492932 |     812    71848   194340 |        1   157350     84 |  0.000 % |
443.79/443.82	c |   1503419 |     812    71848   194340 |        1   167837     86 |  0.000 % |
443.79/443.82	c |   1503520 |     812    71848   194340 |        1   167938     86 |  0.000 % |
443.79/443.82	c |   1759163 |     812    71848   194340 |        1   161977     83 |  0.000 % |
443.79/443.82	c |   1760819 |     812    71848   194340 |        1   163633     83 |  0.000 % |
443.79/443.82	c |   1760922 |     812    71848   194340 |        1   163736     83 |  0.000 % |
443.79/443.82	c |   1761027 |     812    71848   194340 |        1   163841     83 |  0.000 % |
443.79/443.82	c |   1767891 |     812    71848   194340 |        1   170705     83 |  0.000 % |
443.79/443.82	c |   1768080 |     812    71848   194340 |        1   170894     83 |  0.000 % |
443.79/443.82	c |   1768571 |     812    71848   194340 |        1   171385     83 |  0.000 % |
443.79/443.82	c |   1768671 |     812    71848   194340 |        1   171485     83 |  0.000 % |
443.79/443.82	c |   1768773 |     812    71848   194340 |        1   171587     83 |  0.000 % |
443.79/443.82	c |   1768873 |     812    71848   194340 |        1   171687     83 |  0.000 % |
443.79/443.82	c |   1768973 |     812    71848   194340 |        1   171787     84 |  0.000 % |
443.79/443.82	c |   1769073 |     812    71848   194340 |        1   171887     84 |  0.000 % |
443.79/443.82	c |   1769173 |     812    71848   194340 |        1   171987     84 |  0.000 % |
443.79/443.82	c |   1792964 |     812    71848   194340 |        1   103378     76 |  0.000 % |
443.79/443.82	c |   1870993 |     812    71848   194340 |        1   181407     87 |  0.000 % |
443.79/443.82	c |   1871093 |     812    71848   194340 |        1   181507     87 |  0.000 % |
443.79/443.82	c |   1871196 |     812    71848   194340 |        1   181610     87 |  0.000 % |
443.79/443.82	c |   1871300 |     812    71848   194340 |        1   181714     87 |  0.000 % |
443.79/443.82	c |   1871545 |     812    71848   194340 |        1   181959     87 |  0.000 % |
443.79/443.82	c |   1883057 |     812    71848   194340 |        1    98471     74 |  0.000 % |
443.79/443.82	c |   1883157 |     812    71848   194340 |        1    98571     74 |  0.000 % |
443.79/443.82	c |   1907540 |     812    71848   194340 |        1   122954     80 |  0.000 % |
443.79/443.82	c |   1912346 |     812    71848   194340 |        1   127760     81 |  0.000 % |
443.79/443.82	c |   1915555 |     812    71848   194340 |        1   130969     82 |  0.000 % |
443.79/443.82	c |   1915658 |     812    71848   194340 |        1   131072     82 |  0.000 % |
443.79/443.82	c |   1915759 |     812    71848   194340 |        1   131173     82 |  0.000 % |
443.79/443.82	c |   1919131 |     812    71848   194340 |        1   134545     82 |  0.000 % |
1225.50/1225.58	c |   1925919 |     812    71848   194340 |        1   141333     83 |  0.000 % |
1225.50/1225.58	c |   1926023 |     812    71848   194340 |        1   141437     83 |  0.000 % |
1225.50/1225.58	c |   1926123 |     812    71848   194340 |        1   141537     83 |  0.000 % |
1225.50/1225.58	c |   1926260 |     812    71848   194340 |        1   141674     83 |  0.000 % |
1225.50/1225.58	c |   2057265 |     812    71848   194340 |        1   175079     82 |  0.000 % |
1225.50/1225.58	c |   3259955 |     812    71848   194340 |        1   132580     56 |  0.000 % |
1225.50/1225.58	c |   3260632 |     812    71848   194340 |        1   133257     56 |  0.000 % |
1225.50/1225.58	c |   3261115 |     812    71848   194340 |        1   133740     57 |  0.000 % |
1225.50/1225.58	c |   3324020 |     812    71848   194340 |        1   196645     61 |  0.000 % |
1225.50/1225.58	c |   3324121 |     812    71848   194340 |        1   196746     61 |  0.000 % |
1225.50/1225.58	c |   3324223 |     812    71848   194340 |        1   196848     61 |  0.000 % |
1225.50/1225.58	c |   3324323 |     812    71848   194340 |        1   196948     61 |  0.000 % |
1225.50/1225.58	c |   3324423 |     812    71848   194340 |        1   197048     61 |  0.000 % |
1225.50/1225.58	c |   3324524 |     812    71848   194340 |        1   197149     61 |  0.000 % |
1225.50/1225.58	c |   3326107 |     812    71848   194340 |        1   198732     61 |  0.000 % |
1225.50/1225.58	c |   3332951 |     812    71848   194340 |        1   205576     62 |  0.000 % |
1225.50/1225.58	c |   3350888 |     812    71848   194340 |        1   223513     62 |  0.000 % |
1225.50/1225.58	c |   3350990 |     812    71848   194340 |        1   223615     62 |  0.000 % |
1225.50/1225.58	c |   3351485 |     812    71848   194340 |        1   224110     62 |  0.000 % |
1225.50/1225.58	c |   3887135 |     812    71848   194340 |        1   228950     54 |  0.000 % |
1225.50/1225.58	c |   3887235 |     812    71848   194340 |        1   229050     54 |  0.000 % |
1225.50/1225.58	c |   3887352 |     812    71848   194340 |        1   229167     54 |  0.000 % |
1225.50/1225.58	c |   3887454 |     812    71848   194340 |        1   229269     54 |  0.000 % |
1225.50/1225.58	c |   3887554 |     812    71848   194340 |        1   229369     54 |  0.000 % |
1225.50/1225.58	c |   3887655 |     812    71848   194340 |        1   229470     54 |  0.000 % |
1225.50/1225.58	c |   3889109 |     812    71848   194340 |        1   230924     54 |  0.000 % |
1225.50/1225.58	c |   3889211 |     812    71848   194340 |        1   231026     54 |  0.000 % |
1225.50/1225.58	c |   3889311 |     812    71848   194340 |        1   231126     54 |  0.000 % |
1225.50/1225.58	c |   4112882 |     811    71825   193650 |        1   103125    115 |  0.123 % |
1225.50/1225.58	c |   4113015 |     811    71825   193650 |        1   103258    115 |  0.123 % |
1225.50/1225.58	c |   4113133 |     811    71825   193650 |        1   103376    115 |  0.123 % |
1225.50/1225.58	c |   4113267 |     811    71825   193650 |        1   103510    115 |  0.123 % |
1225.50/1225.58	c |   4113368 |     811    71825   193650 |        1   103611    115 |  0.123 % |
1225.50/1225.58	c |   4113468 |     811    71825   193650 |        1   103711    115 |  0.123 % |
1225.50/1225.58	c |   4113568 |     811    71825   193650 |        1   103811    115 |  0.123 % |
1225.50/1225.58	c |   4113668 |     811    71825   193650 |        1   103911    115 |  0.123 % |
1225.50/1225.58	c |   4114237 |     811    71825   193650 |        1   104480    115 |  0.123 % |
1225.50/1225.58	c |   4114519 |     811    71825   193650 |        1   104762    115 |  0.123 % |
1225.50/1225.58	c |   4114620 |     811    71825   193650 |        1   104863    115 |  0.123 % |
1225.50/1225.58	c |   4114720 |     811    71825   193650 |        1   104963    115 |  0.123 % |
1225.50/1225.58	c |   4114821 |     811    71825   193650 |        1   105064    115 |  0.123 % |
1225.50/1225.58	c |   4114921 |     811    71825   193650 |        1   105164    115 |  0.123 % |
1225.50/1225.58	c |   4115021 |     811    71825   193650 |        1   105264    115 |  0.123 % |
1225.50/1225.58	c |   4115121 |     811    71825   193650 |        1   105364    115 |  0.123 % |
1225.50/1225.58	c |   4115221 |     811    71825   193650 |        1   105464    115 |  0.123 % |
1225.50/1225.58	c |   4115321 |     811    71825   193650 |        1   105564    115 |  0.123 % |
1225.50/1225.58	c |   4115422 |     811    71825   193650 |        1   105665    115 |  0.123 % |
1225.50/1225.58	c |   4115558 |     811    71825   193650 |        1   105801    115 |  0.123 % |
1225.50/1225.58	c |   4117157 |     811    71825   193650 |        1   107400    115 |  0.123 % |
1225.50/1225.58	c |   4117257 |     811    71825   193650 |        1   107500    115 |  0.123 % |
1233.40/1233.49	c |   4117404 |     811    71825   193650 |        1   107647    115 |  0.123 % |
1233.40/1233.49	c |   4128587 |     811    71825   193650 |        1   118830    115 |  0.123 % |
1233.40/1233.49	c |   4128687 |     811    71825   193650 |        1   118930    115 |  0.123 % |
1233.40/1233.49	c |   4128791 |     811    71825   193650 |        1   119034    115 |  0.123 % |
1233.40/1233.49	c |   4128891 |     811    71825   193650 |        1   119134    115 |  0.123 % |
1233.40/1233.49	c |   4128993 |     811    71825   193650 |        1   119236    115 |  0.123 % |
1233.40/1233.49	c |   4129095 |     811    71825   193650 |        1   119338    115 |  0.123 % |
1233.40/1233.49	c |   4129197 |     811    71825   193650 |        1   119440    115 |  0.123 % |
1233.40/1233.49	c |   4129699 |     811    71825   193650 |        1   119942    116 |  0.123 % |
1233.40/1233.49	c |   4129799 |     811    71825   193650 |        1   120042    116 |  0.123 % |
1233.40/1233.49	c |   4129899 |     811    71825   193650 |        1   120142    116 |  0.123 % |
1233.40/1233.49	c |   4130001 |     811    71825   193650 |        1   120244    116 |  0.123 % |
1233.40/1233.49	c |   4130102 |     811    71825   193650 |        1   120345    116 |  0.123 % |
1233.40/1233.49	c |   4130203 |     811    71825   193650 |        1   120446    116 |  0.123 % |
1233.40/1233.49	c |   4130303 |     811    71825   193650 |        1   120546    116 |  0.123 % |
1233.40/1233.49	c |   4130404 |     811    71825   193650 |        1   120647    116 |  0.123 % |
1233.40/1233.49	c |   4130504 |     811    71825   193650 |        1   120747    116 |  0.123 % |
1233.40/1233.49	c |   4130607 |     811    71825   193650 |        1   120850    116 |  0.123 % |
1233.40/1233.49	c |   4130709 |     811    71825   193650 |        1   120952    116 |  0.123 % |
1233.40/1233.49	c |   4130810 |     811    71825   193650 |        1   121053    116 |  0.123 % |
1233.40/1233.49	c |   4130913 |     811    71825   193650 |        1   121156    116 |  0.123 % |
1233.40/1233.49	c |   4131013 |     811    71825   193650 |        1   121256    116 |  0.123 % |
1233.40/1233.49	c |   4131113 |     811    71825   193650 |        1   121356    116 |  0.123 % |
1233.40/1233.49	c |   4131214 |     811    71825   193650 |        1   121457    116 |  0.123 % |
1233.40/1233.49	c |   4131314 |     811    71825   193650 |        1   121557    116 |  0.123 % |
1233.40/1233.49	c |   4131416 |     811    71825   193650 |        1   121659    116 |  0.123 % |
1233.40/1233.49	c |   4131516 |     811    71825   193650 |        1   121759    116 |  0.123 % |
1233.40/1233.49	c |   4131617 |     811    71825   193650 |        1   121860    116 |  0.123 % |
1233.40/1233.49	c |   4131718 |     811    71825   193650 |        1   121961    116 |  0.123 % |
1233.40/1233.49	c |   4131818 |     811    71825   193650 |        1   122061    116 |  0.123 % |
1233.40/1233.49	c |   4131927 |     811    71825   193650 |        1   122170    116 |  0.123 % |
1233.40/1233.49	c |   4132028 |     811    71825   193650 |        1   122271    116 |  0.123 % |
1233.40/1233.49	c |   4132284 |     811    71825   193650 |        1   122527    116 |  0.123 % |
1233.40/1233.49	c |   4133527 |     811    71825   193650 |        1   123770    116 |  0.123 % |
1233.40/1233.49	c |   4133764 |     811    71825   193650 |        1   124007    116 |  0.123 % |
1233.40/1233.49	c |   4133865 |     811    71825   193650 |        1   124108    116 |  0.123 % |
1233.40/1233.49	c |   4133965 |     811    71825   193650 |        1   124208    116 |  0.123 % |
1233.40/1233.49	c |   4134573 |     811    71825   193650 |        1   124816    116 |  0.123 % |
1233.40/1233.49	c |   4134673 |     811    71825   193650 |        1   124916    116 |  0.123 % |
1233.40/1233.49	c |   4134775 |     811    71825   193650 |        1   125018    116 |  0.123 % |
1233.40/1233.49	c |   4135643 |     811    71825   193650 |        1   125886    116 |  0.123 % |
1233.40/1233.49	c |   4135743 |     811    71825   193650 |        1   125986    116 |  0.123 % |
1233.40/1233.49	c |   4135843 |     811    71825   193650 |        1   126086    116 |  0.123 % |
1233.40/1233.49	c |   4141875 |     811    71825   193650 |        1   132118    117 |  0.123 % |
1233.40/1233.49	c |   4141977 |     811    71825   193650 |        1   132220    117 |  0.123 % |
1233.40/1233.49	c |   4142080 |     811    71825   193650 |        1   132323    117 |  0.123 % |
1233.40/1233.49	c |   4142180 |     811    71825   193650 |        1   132423    117 |  0.123 % |
1233.40/1233.49	c |   4142281 |     811    71825   193650 |        1   132524    117 |  0.123 % |
1233.40/1233.49	c |   4142382 |     811    71825   193650 |        1   132625    117 |  0.123 % |
1236.90/1236.97	c |   4144165 |     811    71825   193650 |        1   134408    117 |  0.123 % |
1236.90/1236.97	c |   4144399 |     811    71825   193650 |        1   134642    117 |  0.123 % |
1236.90/1236.97	c |   4144500 |     811    71825   193650 |        1   134743    117 |  0.123 % |
1236.90/1236.97	c |   4144600 |     811    71825   193650 |        1   134843    117 |  0.123 % |
1236.90/1236.97	c |   4144780 |     811    71825   193650 |        1   135023    117 |  0.123 % |
1236.90/1236.97	c |   4144881 |     811    71825   193650 |        1   135124    117 |  0.123 % |
1236.90/1236.97	c |   4144982 |     811    71825   193650 |        1   135225    117 |  0.123 % |
1236.90/1236.97	c |   4145082 |     811    71825   193650 |        1   135325    117 |  0.123 % |
1236.90/1236.97	c |   4145182 |     811    71825   193650 |        1   135425    117 |  0.123 % |
1236.90/1236.97	c |   4145283 |     811    71825   193650 |        1   135526    117 |  0.123 % |
1236.90/1236.97	c |   4145386 |     811    71825   193650 |        1   135629    117 |  0.123 % |
1236.90/1236.97	c |   4145487 |     811    71825   193650 |        1   135730    117 |  0.123 % |
1236.90/1236.97	c |   4145587 |     811    71825   193650 |        1   135830    117 |  0.123 % |
1236.90/1236.97	c |   4145687 |     811    71825   193650 |        1   135930    117 |  0.123 % |
1236.90/1236.97	c |   4145788 |     811    71825   193650 |        1   136031    117 |  0.123 % |
1236.90/1236.97	c |   4145888 |     811    71825   193650 |        1   136131    117 |  0.123 % |
1236.90/1236.97	c |   4145989 |     811    71825   193650 |        1   136232    117 |  0.123 % |
1236.90/1236.97	c |   4146089 |     811    71825   193650 |        1   136332    117 |  0.123 % |
1236.90/1236.97	c |   4146191 |     811    71825   193650 |        1   136434    117 |  0.123 % |
1236.90/1236.97	c |   4146293 |     811    71825   193650 |        1   136536    117 |  0.123 % |
1236.90/1236.97	c |   4146393 |     811    71825   193650 |        1   136636    117 |  0.123 % |
1236.90/1236.97	c |   4146493 |     811    71825   193650 |        1   136736    117 |  0.123 % |
1236.90/1236.97	c |   4146594 |     811    71825   193650 |        1   136837    117 |  0.123 % |
1236.90/1236.97	c |   4146694 |     811    71825   193650 |        1   136937    117 |  0.123 % |
1236.90/1236.97	c |   4146795 |     811    71825   193650 |        1   137038    117 |  0.123 % |
1236.90/1236.97	c |   4146897 |     811    71825   193650 |        1   137140    117 |  0.123 % |
1236.90/1236.97	c |   4146999 |     811    71825   193650 |        1   137242    117 |  0.123 % |
1236.90/1236.97	c |   4147099 |     811    71825   193650 |        1   137342    117 |  0.123 % |
1236.90/1236.97	c |   4147202 |     811    71825   193650 |        1   137445    117 |  0.123 % |
1236.90/1236.97	c |   4147305 |     811    71825   193650 |        1   137548    117 |  0.123 % |
1236.90/1236.97	c |   4147405 |     811    71825   193650 |        1   137648    117 |  0.123 % |
1236.90/1236.97	c |   4147505 |     811    71825   193650 |        1   137748    117 |  0.123 % |
1236.90/1236.97	c |   4147605 |     811    71825   193650 |        1   137848    117 |  0.123 % |
1236.90/1236.97	c |   4147708 |     811    71825   193650 |        1   137951    117 |  0.123 % |
1236.90/1236.97	c |   4147808 |     811    71825   193650 |        1   138051    117 |  0.123 % |
1236.90/1236.97	c |   4147908 |     811    71825   193650 |        1   138151    117 |  0.123 % |
1236.90/1236.97	c |   4148008 |     811    71825   193650 |        1   138251    117 |  0.123 % |
1236.90/1236.97	c |   4148108 |     811    71825   193650 |        1   138351    117 |  0.123 % |
1236.90/1236.97	c |   4148211 |     811    71825   193650 |        1   138454    117 |  0.123 % |
1236.90/1236.97	c |   4148311 |     811    71825   193650 |        1   138554    117 |  0.123 % |
1236.90/1236.97	c |   4148411 |     811    71825   193650 |        1   138654    117 |  0.123 % |
1236.90/1236.97	c |   4148511 |     811    71825   193650 |        1   138754    117 |  0.123 % |
1236.90/1236.97	c |   4148612 |     811    71825   193650 |        1   138855    117 |  0.123 % |
1236.90/1236.97	c |   4148714 |     811    71825   193650 |        1   138957    117 |  0.123 % |
1236.90/1236.97	c |   4148815 |     811    71825   193650 |        1   139058    117 |  0.123 % |
1236.90/1236.97	c |   4148915 |     811    71825   193650 |        1   139158    117 |  0.123 % |
1236.90/1236.97	c |   4149016 |     811    71825   193650 |        1   139259    117 |  0.123 % |
1236.90/1236.97	c |   4149116 |     811    71825   193650 |        1   139359    117 |  0.123 % |
1236.90/1236.97	c |   4149218 |     811    71825   193650 |        1   139461    117 |  0.123 % |
1236.90/1236.97	c |   4149323 |     811    71825   193650 |        1   139566    117 |  0.123 % |
1240.60/1240.61	c |   4149424 |     811    71825   193650 |        1   139667    117 |  0.123 % |
1240.60/1240.61	c |   4149525 |     811    71825   193650 |        1   139768    117 |  0.123 % |
1240.60/1240.61	c |   4149626 |     811    71825   193650 |        1   139869    117 |  0.123 % |
1240.60/1240.61	c |   4149726 |     811    71825   193650 |        1   139969    117 |  0.123 % |
1240.60/1240.61	c |   4149828 |     811    71825   193650 |        1   140071    117 |  0.123 % |
1240.60/1240.61	c |   4149928 |     811    71825   193650 |        1   140171    117 |  0.123 % |
1240.60/1240.61	c |   4150028 |     811    71825   193650 |        1   140271    117 |  0.123 % |
1240.60/1240.61	c |   4150129 |     811    71825   193650 |        1   140372    117 |  0.123 % |
1240.60/1240.61	c |   4150230 |     811    71825   193650 |        1   140473    117 |  0.123 % |
1240.60/1240.61	c |   4150330 |     811    71825   193650 |        1   140573    117 |  0.123 % |
1240.60/1240.61	c |   4150430 |     811    71825   193650 |        1   140673    117 |  0.123 % |
1240.60/1240.61	c |   4150536 |     811    71825   193650 |        1   140779    117 |  0.123 % |
1240.60/1240.61	c |   4150637 |     811    71825   193650 |        1   140880    117 |  0.123 % |
1240.60/1240.61	c |   4150739 |     811    71825   193650 |        1   140982    117 |  0.123 % |
1240.60/1240.61	c |   4150840 |     811    71825   193650 |        1   141083    117 |  0.123 % |
1240.60/1240.61	c |   4150940 |     811    71825   193650 |        1   141183    118 |  0.123 % |
1240.60/1240.61	c |   4151042 |     811    71825   193650 |        1   141285    118 |  0.123 % |
1240.60/1240.61	c |   4151142 |     811    71825   193650 |        1   141385    118 |  0.123 % |
1240.60/1240.61	c |   4151242 |     811    71825   193650 |        1   141485    118 |  0.123 % |
1240.60/1240.61	c |   4151342 |     811    71825   193650 |        1   141585    118 |  0.123 % |
1240.60/1240.61	c |   4151442 |     811    71825   193650 |        1   141685    118 |  0.123 % |
1240.60/1240.61	c |   4151542 |     811    71825   193650 |        1   141785    118 |  0.123 % |
1240.60/1240.61	c |   4151642 |     811    71825   193650 |        1   141885    118 |  0.123 % |
1240.60/1240.61	c |   4151743 |     811    71825   193650 |        1   141986    118 |  0.123 % |
1240.60/1240.61	c |   4151843 |     811    71825   193650 |        1   142086    118 |  0.123 % |
1240.60/1240.61	c |   4151944 |     811    71825   193650 |        1   142187    118 |  0.123 % |
1240.60/1240.61	c |   4152044 |     811    71825   193650 |        1   142287    118 |  0.123 % |
1240.60/1240.61	c |   4152147 |     811    71825   193650 |        1   142390    118 |  0.123 % |
1240.60/1240.61	c |   4152247 |     811    71825   193650 |        1   142490    118 |  0.123 % |
1240.60/1240.61	c |   4152347 |     811    71825   193650 |        1   142590    118 |  0.123 % |
1240.60/1240.61	c |   4152448 |     811    71825   193650 |        1   142691    118 |  0.123 % |
1240.60/1240.61	c |   4152550 |     811    71825   193650 |        1   142793    118 |  0.123 % |
1240.60/1240.61	c |   4152651 |     811    71825   193650 |        1   142894    118 |  0.123 % |
1240.60/1240.61	c |   4152752 |     811    71825   193650 |        1   142995    118 |  0.123 % |
1240.60/1240.61	c |   4152852 |     811    71825   193650 |        1   143095    118 |  0.123 % |
1240.60/1240.61	c |   4152956 |     811    71825   193650 |        1   143199    118 |  0.123 % |
1240.60/1240.61	c |   4153056 |     811    71825   193650 |        1   143299    118 |  0.123 % |
1240.60/1240.61	c |   4153160 |     811    71825   193650 |        1   143403    118 |  0.123 % |
1240.60/1240.61	c |   4153261 |     811    71825   193650 |        1   143504    118 |  0.123 % |
1240.60/1240.61	c |   4153362 |     811    71825   193650 |        1   143605    118 |  0.123 % |
1240.60/1240.61	c |   4153462 |     811    71825   193650 |        1   143705    118 |  0.123 % |
1240.60/1240.61	c |   4153564 |     811    71825   193650 |        1   143807    118 |  0.123 % |
1240.60/1240.61	c |   4153664 |     811    71825   193650 |        1   143907    118 |  0.123 % |
1240.60/1240.61	c |   4153764 |     811    71825   193650 |        1   144007    118 |  0.123 % |
1240.60/1240.61	c |   4153865 |     811    71825   193650 |        1   144108    118 |  0.123 % |
1240.60/1240.61	c |   4153965 |     811    71825   193650 |        1   144208    118 |  0.123 % |
1240.60/1240.61	c |   4154065 |     811    71825   193650 |        1   144308    118 |  0.123 % |
1240.60/1240.61	c |   4154165 |     811    71825   193650 |        1   144408    118 |  0.123 % |
1240.60/1240.61	c |   4157198 |     811    71825   193650 |        1   147441    118 |  0.123 % |
1240.60/1240.61	c |   4157299 |     811    71825   193650 |        1   147542    118 |  0.123 % |
1244.11/1244.18	c |   4157401 |     811    71825   193650 |        1   147644    118 |  0.123 % |
1244.11/1244.18	c |   4157532 |     811    71825   193650 |        1   147775    118 |  0.123 % |
1244.11/1244.18	c |   4157633 |     811    71825   193650 |        1   147876    118 |  0.123 % |
1244.11/1244.18	c |   4157734 |     811    71825   193650 |        1   147977    118 |  0.123 % |
1244.11/1244.18	c |   4157838 |     811    71825   193650 |        1   148081    118 |  0.123 % |
1244.11/1244.18	c |   4157938 |     811    71825   193650 |        1   148181    118 |  0.123 % |
1244.11/1244.18	c |   4158041 |     811    71825   193650 |        1   148284    118 |  0.123 % |
1244.11/1244.18	c |   4158141 |     811    71825   193650 |        1   148384    118 |  0.123 % |
1244.11/1244.18	c |   4158243 |     811    71825   193650 |        1   148486    118 |  0.123 % |
1244.11/1244.18	c |   4158345 |     811    71825   193650 |        1   148588    118 |  0.123 % |
1244.11/1244.18	c |   4158446 |     811    71825   193650 |        1   148689    118 |  0.123 % |
1244.11/1244.18	c |   4158546 |     811    71825   193650 |        1   148789    118 |  0.123 % |
1244.11/1244.18	c |   4158646 |     811    71825   193650 |        1   148889    118 |  0.123 % |
1244.11/1244.18	c |   4158746 |     811    71825   193650 |        1   148989    118 |  0.123 % |
1244.11/1244.18	c |   4158848 |     811    71825   193650 |        1   149091    118 |  0.123 % |
1244.11/1244.18	c |   4158948 |     811    71825   193650 |        1   149191    118 |  0.123 % |
1244.11/1244.18	c |   4159048 |     811    71825   193650 |        1   149291    118 |  0.123 % |
1244.11/1244.18	c |   4159149 |     811    71825   193650 |        1   149392    118 |  0.123 % |
1244.11/1244.18	c |   4159249 |     811    71825   193650 |        1   149492    118 |  0.123 % |
1244.11/1244.18	c |   4159349 |     811    71825   193650 |        1   149592    118 |  0.123 % |
1244.11/1244.18	c |   4159449 |     811    71825   193650 |        1   149692    118 |  0.123 % |
1244.11/1244.18	c |   4159549 |     811    71825   193650 |        1   149792    118 |  0.123 % |
1244.11/1244.18	c |   4159649 |     811    71825   193650 |        1   149892    119 |  0.123 % |
1244.11/1244.18	c |   4159750 |     811    71825   193650 |        1   149993    119 |  0.123 % |
1244.11/1244.18	c |   4159850 |     811    71825   193650 |        1   150093    119 |  0.123 % |
1244.11/1244.18	c |   4159951 |     811    71825   193650 |        1   150194    119 |  0.123 % |
1244.11/1244.18	c |   4160053 |     811    71825   193650 |        1   150296    119 |  0.123 % |
1244.11/1244.18	c |   4160156 |     811    71825   193650 |        1   150399    119 |  0.123 % |
1244.11/1244.18	c |   4160256 |     811    71825   193650 |        1   150499    119 |  0.123 % |
1244.11/1244.18	c |   4160358 |     811    71825   193650 |        1   150601    119 |  0.123 % |
1244.11/1244.18	c |   4160459 |     811    71825   193650 |        1   150702    119 |  0.123 % |
1244.11/1244.18	c |   4160559 |     811    71825   193650 |        1   150802    119 |  0.123 % |
1244.11/1244.18	c |   4160660 |     811    71825   193650 |        1   150903    119 |  0.123 % |
1244.11/1244.18	c |   4160760 |     811    71825   193650 |        1   151003    119 |  0.123 % |
1244.11/1244.18	c |   4160860 |     811    71825   193650 |        1   151103    119 |  0.123 % |
1244.11/1244.18	c |   4160960 |     811    71825   193650 |        1   151203    119 |  0.123 % |
1244.11/1244.18	c |   4161060 |     811    71825   193650 |        1   151303    119 |  0.123 % |
1244.11/1244.18	c |   4161160 |     811    71825   193650 |        1   151403    119 |  0.123 % |
1244.11/1244.18	c |   4161260 |     811    71825   193650 |        1   151503    119 |  0.123 % |
1244.11/1244.18	c |   4161362 |     811    71825   193650 |        1   151605    119 |  0.123 % |
1244.11/1244.18	c |   4161463 |     811    71825   193650 |        1   151706    119 |  0.123 % |
1244.11/1244.18	c |   4161564 |     811    71825   193650 |        1   151807    119 |  0.123 % |
1244.11/1244.18	c |   4161665 |     811    71825   193650 |        1   151908    119 |  0.123 % |
1244.11/1244.18	c |   4161765 |     811    71825   193650 |        1   152008    119 |  0.123 % |
1244.11/1244.18	c |   4161865 |     811    71825   193650 |        1   152108    119 |  0.123 % |
1244.11/1244.18	c |   4161966 |     811    71825   193650 |        1   152209    119 |  0.123 % |
1244.11/1244.18	c |   4162067 |     811    71825   193650 |        1   152310    119 |  0.123 % |
1244.11/1244.18	c |   4162167 |     811    71825   193650 |        1   152410    119 |  0.123 % |
1244.11/1244.18	c |   4162267 |     811    71825   193650 |        1   152510    119 |  0.123 % |
1244.11/1244.18	c |   4162373 |     811    71825   193650 |        1   152616    119 |  0.123 % |
1247.60/1247.67	c |   4162477 |     811    71825   193650 |        1   152720    119 |  0.123 % |
1247.60/1247.67	c |   4162578 |     811    71825   193650 |        1   152821    119 |  0.123 % |
1247.60/1247.67	c |   4162679 |     811    71825   193650 |        1   152922    119 |  0.123 % |
1247.60/1247.67	c |   4162781 |     811    71825   193650 |        1   153024    119 |  0.123 % |
1247.60/1247.67	c |   4162881 |     811    71825   193650 |        1   153124    119 |  0.123 % |
1247.60/1247.67	c |   4162981 |     811    71825   193650 |        1   153224    119 |  0.123 % |
1247.60/1247.67	c |   4163081 |     811    71825   193650 |        1   153324    119 |  0.123 % |
1247.60/1247.67	c |   4163182 |     811    71825   193650 |        1   153425    119 |  0.123 % |
1247.60/1247.67	c |   4163284 |     811    71825   193650 |        1   153527    119 |  0.123 % |
1247.60/1247.67	c |   4163386 |     811    71825   193650 |        1   153629    119 |  0.123 % |
1247.60/1247.67	c |   4163489 |     811    71825   193650 |        1   153732    119 |  0.123 % |
1247.60/1247.67	c |   4163591 |     811    71825   193650 |        1   153834    119 |  0.123 % |
1247.60/1247.67	c |   4163691 |     811    71825   193650 |        1   153934    119 |  0.123 % |
1247.60/1247.67	c |   4163792 |     811    71825   193650 |        1   154035    119 |  0.123 % |
1247.60/1247.67	c |   4163892 |     811    71825   193650 |        1   154135    119 |  0.123 % |
1247.60/1247.67	c |   4163992 |     811    71825   193650 |        1   154235    119 |  0.123 % |
1247.60/1247.67	c |   4164092 |     811    71825   193650 |        1   154335    119 |  0.123 % |
1247.60/1247.67	c |   4164194 |     811    71825   193650 |        1   154437    119 |  0.123 % |
1247.60/1247.67	c |   4164294 |     811    71825   193650 |        1   154537    119 |  0.123 % |
1247.60/1247.67	c |   4164394 |     811    71825   193650 |        1   154637    119 |  0.123 % |
1247.60/1247.67	c |   4164499 |     811    71825   193650 |        1   154742    119 |  0.123 % |
1247.60/1247.67	c |   4164599 |     811    71825   193650 |        1   154842    119 |  0.123 % |
1247.60/1247.67	c |   4164699 |     811    71825   193650 |        1   154942    119 |  0.123 % |
1247.60/1247.67	c |   4164802 |     811    71825   193650 |        1   155045    119 |  0.123 % |
1247.60/1247.67	c |   4164902 |     811    71825   193650 |        1   155145    119 |  0.123 % |
1247.60/1247.67	c |   4165004 |     811    71825   193650 |        1   155247    119 |  0.123 % |
1247.60/1247.67	c |   4165105 |     811    71825   193650 |        1   155348    120 |  0.123 % |
1247.60/1247.67	c |   4165205 |     811    71825   193650 |        1   155448    120 |  0.123 % |
1247.60/1247.67	c |   4165306 |     811    71825   193650 |        1   155549    120 |  0.123 % |
1247.60/1247.67	c |   4165406 |     811    71825   193650 |        1   155649    120 |  0.123 % |
1247.60/1247.67	c |   4165508 |     811    71825   193650 |        1   155751    120 |  0.123 % |
1247.60/1247.67	c |   4165609 |     811    71825   193650 |        1   155852    120 |  0.123 % |
1247.60/1247.67	c |   4165709 |     811    71825   193650 |        1   155952    120 |  0.123 % |
1247.60/1247.67	c |   4165809 |     811    71825   193650 |        1   156052    120 |  0.123 % |
1247.60/1247.67	c |   4165911 |     811    71825   193650 |        1   156154    120 |  0.123 % |
1247.60/1247.67	c |   4166012 |     811    71825   193650 |        1   156255    120 |  0.123 % |
1247.60/1247.67	c |   4166114 |     811    71825   193650 |        1   156357    120 |  0.123 % |
1247.60/1247.67	c |   4166214 |     811    71825   193650 |        1   156457    120 |  0.123 % |
1247.60/1247.67	c |   4166315 |     811    71825   193650 |        1   156558    120 |  0.123 % |
1247.60/1247.67	c |   4166415 |     811    71825   193650 |        1   156658    120 |  0.123 % |
1247.60/1247.67	c |   4166516 |     811    71825   193650 |        1   156759    120 |  0.123 % |
1247.60/1247.67	c |   4166616 |     811    71825   193650 |        1   156859    120 |  0.123 % |
1247.60/1247.67	c |   4166716 |     811    71825   193650 |        1   156959    120 |  0.123 % |
1247.60/1247.67	c |   4166816 |     811    71825   193650 |        1   157059    120 |  0.123 % |
1247.60/1247.67	c |   4166917 |     811    71825   193650 |        1   157160    120 |  0.123 % |
1247.60/1247.67	c |   4167018 |     811    71825   193650 |        1   157261    120 |  0.123 % |
1247.60/1247.67	c |   4167119 |     811    71825   193650 |        1   157362    120 |  0.123 % |
1247.60/1247.67	c |   4167219 |     811    71825   193650 |        1   157462    120 |  0.123 % |
1247.60/1247.67	c |   4167319 |     811    71825   193650 |        1   157562    120 |  0.123 % |
1247.60/1247.67	c |   4167420 |     811    71825   193650 |        1   157663    120 |  0.123 % |
1251.00/1251.03	c |   4167520 |     811    71825   193650 |        1   157763    120 |  0.123 % |
1251.00/1251.03	c |   4167623 |     811    71825   193650 |        1   157866    120 |  0.123 % |
1251.00/1251.03	c |   4167726 |     811    71825   193650 |        1   157969    120 |  0.123 % |
1251.00/1251.03	c |   4167828 |     811    71825   193650 |        1   158071    120 |  0.123 % |
1251.00/1251.03	c |   4167929 |     811    71825   193650 |        1   158172    120 |  0.123 % |
1251.00/1251.03	c |   4168033 |     811    71825   193650 |        1   158276    120 |  0.123 % |
1251.00/1251.03	c |   4168135 |     811    71825   193650 |        1   158378    120 |  0.123 % |
1251.00/1251.03	c |   4168235 |     811    71825   193650 |        1   158478    120 |  0.123 % |
1251.00/1251.03	c |   4168336 |     811    71825   193650 |        1   158579    120 |  0.123 % |
1251.00/1251.03	c |   4168438 |     811    71825   193650 |        1   158681    120 |  0.123 % |
1251.00/1251.03	c |   4168538 |     811    71825   193650 |        1   158781    120 |  0.123 % |
1251.00/1251.03	c |   4168642 |     811    71825   193650 |        1   158885    120 |  0.123 % |
1251.00/1251.03	c |   4168743 |     811    71825   193650 |        1   158986    120 |  0.123 % |
1251.00/1251.03	c |   4168843 |     811    71825   193650 |        1   159086    120 |  0.123 % |
1251.00/1251.03	c |   4168944 |     811    71825   193650 |        1   159187    120 |  0.123 % |
1251.00/1251.03	c |   4169044 |     811    71825   193650 |        1   159287    120 |  0.123 % |
1251.00/1251.03	c |   4169146 |     811    71825   193650 |        1   159389    120 |  0.123 % |
1251.00/1251.03	c |   4169247 |     811    71825   193650 |        1   159490    120 |  0.123 % |
1251.00/1251.03	c |   4169347 |     811    71825   193650 |        1   159590    120 |  0.123 % |
1251.00/1251.03	c |   4169448 |     811    71825   193650 |        1   159691    120 |  0.123 % |
1251.00/1251.03	c |   4169548 |     811    71825   193650 |        1   159791    120 |  0.123 % |
1251.00/1251.03	c |   4169650 |     811    71825   193650 |        1   159893    120 |  0.123 % |
1251.00/1251.03	c |   4169750 |     811    71825   193650 |        1   159993    120 |  0.123 % |
1251.00/1251.03	c |   4169853 |     811    71825   193650 |        1   160096    120 |  0.123 % |
1251.00/1251.03	c |   4169953 |     811    71825   193650 |        1   160196    120 |  0.123 % |
1251.00/1251.03	c |   4170053 |     811    71825   193650 |        1   160296    120 |  0.123 % |
1251.00/1251.03	c |   4170154 |     811    71825   193650 |        1   160397    120 |  0.123 % |
1251.00/1251.03	c |   4170254 |     811    71825   193650 |        1   160497    120 |  0.123 % |
1251.00/1251.03	c |   4170355 |     811    71825   193650 |        1   160598    120 |  0.123 % |
1251.00/1251.03	c |   4170456 |     811    71825   193650 |        1   160699    120 |  0.123 % |
1251.00/1251.03	c |   4170556 |     811    71825   193650 |        1   160799    120 |  0.123 % |
1251.00/1251.03	c |   4170656 |     811    71825   193650 |        1   160899    120 |  0.123 % |
1251.00/1251.03	c |   4170757 |     811    71825   193650 |        1   161000    120 |  0.123 % |
1251.00/1251.03	c |   4170859 |     811    71825   193650 |        1   161102    120 |  0.123 % |
1251.00/1251.03	c |   4170961 |     811    71825   193650 |        1   161204    120 |  0.123 % |
1251.00/1251.03	c |   4171062 |     811    71825   193650 |        1   161305    121 |  0.123 % |
1251.00/1251.03	c |   4171162 |     811    71825   193650 |        1   161405    121 |  0.123 % |
1251.00/1251.03	c |   4171262 |     811    71825   193650 |        1   161505    121 |  0.123 % |
1251.00/1251.03	c |   4171363 |     811    71825   193650 |        1   161606    121 |  0.123 % |
1251.00/1251.03	c |   4171463 |     811    71825   193650 |        1   161706    121 |  0.123 % |
1251.00/1251.03	c |   4171564 |     811    71825   193650 |        1   161807    121 |  0.123 % |
1251.00/1251.03	c |   4171664 |     811    71825   193650 |        1   161907    121 |  0.123 % |
1251.00/1251.03	c |   4171766 |     811    71825   193650 |        1   162009    121 |  0.123 % |
1251.00/1251.03	c |   4171868 |     811    71825   193650 |        1   162111    121 |  0.123 % |
1251.00/1251.03	c |   4171969 |     811    71825   193650 |        1   162212    121 |  0.123 % |
1251.00/1251.03	c |   4172069 |     811    71825   193650 |        1   162312    121 |  0.123 % |
1251.00/1251.03	c |   4172170 |     811    71825   193650 |        1   162413    121 |  0.123 % |
1251.00/1251.03	c |   4172271 |     811    71825   193650 |        1   162514    121 |  0.123 % |
1251.00/1251.03	c |   4172373 |     811    71825   193650 |        1   162616    121 |  0.123 % |
1251.00/1251.03	c |   4172474 |     811    71825   193650 |        1   162717    121 |  0.123 % |
1254.80/1254.86	c |   4172574 |     811    71825   193650 |        1   162817    121 |  0.123 % |
1254.80/1254.86	c |   4172675 |     811    71825   193650 |        1   162918    121 |  0.123 % |
1254.80/1254.86	c |   4172778 |     811    71825   193650 |        1   163021    121 |  0.123 % |
1254.80/1254.86	c |   4172878 |     811    71825   193650 |        1   163121    121 |  0.123 % |
1254.80/1254.86	c |   4172981 |     811    71825   193650 |        1   163224    121 |  0.123 % |
1254.80/1254.86	c |   4173084 |     811    71825   193650 |        1   163327    121 |  0.123 % |
1254.80/1254.86	c |   4173186 |     811    71825   193650 |        1   163429    121 |  0.123 % |
1254.80/1254.86	c |   4173287 |     811    71825   193650 |        1   163530    121 |  0.123 % |
1254.80/1254.86	c |   4173390 |     811    71825   193650 |        1   163633    121 |  0.123 % |
1254.80/1254.86	c |   4173490 |     811    71825   193650 |        1   163733    121 |  0.123 % |
1254.80/1254.86	c |   4173590 |     811    71825   193650 |        1   163833    121 |  0.123 % |
1254.80/1254.86	c |   4173692 |     811    71825   193650 |        1   163935    121 |  0.123 % |
1254.80/1254.86	c |   4173792 |     811    71825   193650 |        1   164035    121 |  0.123 % |
1254.80/1254.86	c |   4173892 |     811    71825   193650 |        1   164135    121 |  0.123 % |
1254.80/1254.86	c |   4173993 |     811    71825   193650 |        1   164236    121 |  0.123 % |
1254.80/1254.86	c |   4174093 |     811    71825   193650 |        1   164336    121 |  0.123 % |
1254.80/1254.86	c |   4174193 |     811    71825   193650 |        1   164436    121 |  0.123 % |
1254.80/1254.86	c |   4174293 |     811    71825   193650 |        1   164536    121 |  0.123 % |
1254.80/1254.86	c |   4174396 |     811    71825   193650 |        1   164639    121 |  0.123 % |
1254.80/1254.86	c |   4174496 |     811    71825   193650 |        1   164739    121 |  0.123 % |
1254.80/1254.86	c |   4174597 |     811    71825   193650 |        1   164840    121 |  0.123 % |
1254.80/1254.86	c |   4174697 |     811    71825   193650 |        1   164940    121 |  0.123 % |
1254.80/1254.86	c |   4174800 |     811    71825   193650 |        1   165043    121 |  0.123 % |
1254.80/1254.86	c |   4174900 |     811    71825   193650 |        1   165143    121 |  0.123 % |
1254.80/1254.86	c |   4175001 |     811    71825   193650 |        1   165244    121 |  0.123 % |
1254.80/1254.86	c |   4175101 |     811    71825   193650 |        1   165344    121 |  0.123 % |
1254.80/1254.86	c |   4175203 |     811    71825   193650 |        1   165446    121 |  0.123 % |
1254.80/1254.86	c |   4175304 |     811    71825   193650 |        1   165547    121 |  0.123 % |
1254.80/1254.86	c |   4175404 |     811    71825   193650 |        1   165647    121 |  0.123 % |
1254.80/1254.86	c |   4175505 |     811    71825   193650 |        1   165748    121 |  0.123 % |
1254.80/1254.86	c |   4175605 |     811    71825   193650 |        1   165848    121 |  0.123 % |
1254.80/1254.86	c |   4175705 |     811    71825   193650 |        1   165948    121 |  0.123 % |
1254.80/1254.86	c |   4175805 |     811    71825   193650 |        1   166048    121 |  0.123 % |
1254.80/1254.86	c |   4175906 |     811    71825   193650 |        1   166149    121 |  0.123 % |
1254.80/1254.86	c |   4176006 |     811    71825   193650 |        1   166249    121 |  0.123 % |
1254.80/1254.86	c |   4176106 |     811    71825   193650 |        1   166349    121 |  0.123 % |
1254.80/1254.86	c |   4176207 |     811    71825   193650 |        1   166450    121 |  0.123 % |
1254.80/1254.86	c |   4176308 |     811    71825   193650 |        1   166551    121 |  0.123 % |
1254.80/1254.86	c |   4176410 |     811    71825   193650 |        1   166653    121 |  0.123 % |
1254.80/1254.86	c |   4176510 |     811    71825   193650 |        1   166753    121 |  0.123 % |
1254.80/1254.86	c |   4176614 |     811    71825   193650 |        1   166857    121 |  0.123 % |
1254.80/1254.86	c |   4176714 |     811    71825   193650 |        1   166957    122 |  0.123 % |
1254.80/1254.86	c |   4176815 |     811    71825   193650 |        1   167058    122 |  0.123 % |
1254.80/1254.86	c |   4176915 |     811    71825   193650 |        1   167158    122 |  0.123 % |
1254.80/1254.86	c |   4177016 |     811    71825   193650 |        1   167259    122 |  0.123 % |
1254.80/1254.86	c |   4177117 |     811    71825   193650 |        1   167360    122 |  0.123 % |
1254.80/1254.86	c |   4177219 |     811    71825   193650 |        1   167462    122 |  0.123 % |
1254.80/1254.86	c |   4177319 |     811    71825   193650 |        1   167562    122 |  0.123 % |
1254.80/1254.86	c |   4177422 |     811    71825   193650 |        1   167665    122 |  0.123 % |
1254.80/1254.86	c |   4177522 |     811    71825   193650 |        1   167765    122 |  0.123 % |
1259.00/1259.05	c |   4177622 |     811    71825   193650 |        1   167865    122 |  0.123 % |
1259.00/1259.05	c |   4177723 |     811    71825   193650 |        1   167966    122 |  0.123 % |
1259.00/1259.05	c |   4177823 |     811    71825   193650 |        1   168066    122 |  0.123 % |
1259.00/1259.05	c |   4177923 |     811    71825   193650 |        1   168166    122 |  0.123 % |
1259.00/1259.05	c |   4178023 |     811    71825   193650 |        1   168266    122 |  0.123 % |
1259.00/1259.05	c |   4178124 |     811    71825   193650 |        1   168367    122 |  0.123 % |
1259.00/1259.05	c |   4178224 |     811    71825   193650 |        1   168467    122 |  0.123 % |
1259.00/1259.05	c |   4178324 |     811    71825   193650 |        1   168567    122 |  0.123 % |
1259.00/1259.05	c |   4178425 |     811    71825   193650 |        1   168668    122 |  0.123 % |
1259.00/1259.05	c |   4178525 |     811    71825   193650 |        1   168768    122 |  0.123 % |
1259.00/1259.05	c |   4178625 |     811    71825   193650 |        1   168868    122 |  0.123 % |
1259.00/1259.05	c |   4178725 |     811    71825   193650 |        1   168968    122 |  0.123 % |
1259.00/1259.05	c |   4178825 |     811    71825   193650 |        1   169068    122 |  0.123 % |
1259.00/1259.05	c |   4178926 |     811    71825   193650 |        1   169169    122 |  0.123 % |
1259.00/1259.05	c |   4179030 |     811    71825   193650 |        1   169273    122 |  0.123 % |
1259.00/1259.05	c |   4179130 |     811    71825   193650 |        1   169373    122 |  0.123 % |
1259.00/1259.05	c |   4179231 |     811    71825   193650 |        1   169474    122 |  0.123 % |
1259.00/1259.05	c |   4179331 |     811    71825   193650 |        1   169574    122 |  0.123 % |
1259.00/1259.05	c |   4179432 |     811    71825   193650 |        1   169675    122 |  0.123 % |
1259.00/1259.05	c |   4179533 |     811    71825   193650 |        1   169776    122 |  0.123 % |
1259.00/1259.05	c |   4179633 |     811    71825   193650 |        1   169876    122 |  0.123 % |
1259.00/1259.05	c |   4179736 |     811    71825   193650 |        1   169979    122 |  0.123 % |
1259.00/1259.05	c |   4179837 |     811    71825   193650 |        1   170080    122 |  0.123 % |
1259.00/1259.05	c |   4179937 |     811    71825   193650 |        1   170180    122 |  0.123 % |
1259.00/1259.05	c |   4180039 |     811    71825   193650 |        1   170282    122 |  0.123 % |
1259.00/1259.05	c |   4180140 |     811    71825   193650 |        1   170383    122 |  0.123 % |
1259.00/1259.05	c |   4180242 |     811    71825   193650 |        1   170485    122 |  0.123 % |
1259.00/1259.05	c |   4180344 |     811    71825   193650 |        1   170587    122 |  0.123 % |
1259.00/1259.05	c |   4180444 |     811    71825   193650 |        1   170687    122 |  0.123 % |
1259.00/1259.05	c |   4180544 |     811    71825   193650 |        1   170787    122 |  0.123 % |
1259.00/1259.05	c |   4180645 |     811    71825   193650 |        1   170888    122 |  0.123 % |
1259.00/1259.05	c |   4180749 |     811    71825   193650 |        1   170992    122 |  0.123 % |
1259.00/1259.05	c |   4180850 |     811    71825   193650 |        1   171093    122 |  0.123 % |
1259.00/1259.05	c |   4180950 |     811    71825   193650 |        1   171193    122 |  0.123 % |
1259.00/1259.05	c |   4181050 |     811    71825   193650 |        1   171293    122 |  0.123 % |
1259.00/1259.05	c |   4181150 |     811    71825   193650 |        1   171393    122 |  0.123 % |
1259.00/1259.05	c |   4181251 |     811    71825   193650 |        1   171494    122 |  0.123 % |
1259.00/1259.05	c |   4181352 |     811    71825   193650 |        1   171595    122 |  0.123 % |
1259.00/1259.05	c |   4181455 |     811    71825   193650 |        1   171698    122 |  0.123 % |
1259.00/1259.05	c |   4181558 |     811    71825   193650 |        1   171801    122 |  0.123 % |
1259.00/1259.05	c |   4181660 |     811    71825   193650 |        1   171903    122 |  0.123 % |
1259.00/1259.05	c |   4181760 |     811    71825   193650 |        1   172003    122 |  0.123 % |
1259.00/1259.05	c |   4181860 |     811    71825   193650 |        1   172103    122 |  0.123 % |
1259.00/1259.05	c |   4181961 |     811    71825   193650 |        1   172204    122 |  0.123 % |
1259.00/1259.05	c |   4182061 |     811    71825   193650 |        1   172304    122 |  0.123 % |
1259.00/1259.05	c |   4182161 |     811    71825   193650 |        1   172404    122 |  0.123 % |
1259.00/1259.05	c |   4182261 |     811    71825   193650 |        1   172504    122 |  0.123 % |
1259.00/1259.05	c |   4182362 |     811    71825   193650 |        1   172605    122 |  0.123 % |
1259.00/1259.05	c |   4182462 |     811    71825   193650 |        1   172705    122 |  0.123 % |
1259.00/1259.05	c |   4182562 |     811    71825   193650 |        1   172805    122 |  0.123 % |
1263.60/1263.60	c |   4182664 |     811    71825   193650 |        1   172907    122 |  0.123 % |
1263.60/1263.60	c |   4182764 |     811    71825   193650 |        1   173007    122 |  0.123 % |
1263.60/1263.60	c |   4182864 |     811    71825   193650 |        1   173107    122 |  0.123 % |
1263.60/1263.60	c |   4182964 |     811    71825   193650 |        1   173207    122 |  0.123 % |
1263.60/1263.60	c |   4183064 |     811    71825   193650 |        1   173307    122 |  0.123 % |
1263.60/1263.60	c |   4183165 |     811    71825   193650 |        1   173408    122 |  0.123 % |
1263.60/1263.60	c |   4183269 |     811    71825   193650 |        1   173512    122 |  0.123 % |
1263.60/1263.60	c |   4183371 |     811    71825   193650 |        1   173614    122 |  0.123 % |
1263.60/1263.60	c |   4183474 |     811    71825   193650 |        1   173717    123 |  0.123 % |
1263.60/1263.60	c |   4183574 |     811    71825   193650 |        1   173817    123 |  0.123 % |
1263.60/1263.60	c |   4183674 |     811    71825   193650 |        1   173917    123 |  0.123 % |
1263.60/1263.60	c |   4183774 |     811    71825   193650 |        1   174017    123 |  0.123 % |
1263.60/1263.60	c |   4183874 |     811    71825   193650 |        1   174117    123 |  0.123 % |
1263.60/1263.60	c |   4183974 |     811    71825   193650 |        1   174217    123 |  0.123 % |
1263.60/1263.60	c |   4184077 |     811    71825   193650 |        1   174320    123 |  0.123 % |
1263.60/1263.60	c |   4184180 |     811    71825   193650 |        1   174423    123 |  0.123 % |
1263.60/1263.60	c |   4184281 |     811    71825   193650 |        1   174524    123 |  0.123 % |
1263.60/1263.60	c |   4184382 |     811    71825   193650 |        1   174625    123 |  0.123 % |
1263.60/1263.60	c |   4184485 |     811    71825   193650 |        1   174728    123 |  0.123 % |
1263.60/1263.60	c |   4184586 |     811    71825   193650 |        1   174829    123 |  0.123 % |
1263.60/1263.60	c |   4184686 |     811    71825   193650 |        1   174929    123 |  0.123 % |
1263.60/1263.60	c |   4184786 |     811    71825   193650 |        1   175029    123 |  0.123 % |
1263.60/1263.60	c |   4184886 |     811    71825   193650 |        1   175129    123 |  0.123 % |
1263.60/1263.60	c |   4184986 |     811    71825   193650 |        1   175229    123 |  0.123 % |
1263.60/1263.60	c |   4185087 |     811    71825   193650 |        1   175330    123 |  0.123 % |
1263.60/1263.60	c |   4185192 |     811    71825   193650 |        1   175435    123 |  0.123 % |
1263.60/1263.60	c |   4185294 |     811    71825   193650 |        1   175537    123 |  0.123 % |
1263.60/1263.60	c |   4185394 |     811    71825   193650 |        1   175637    123 |  0.123 % |
1263.60/1263.60	c |   4185499 |     811    71825   193650 |        1   175742    123 |  0.123 % |
1263.60/1263.60	c |   4185599 |     811    71825   193650 |        1   175842    123 |  0.123 % |
1263.60/1263.60	c |   4185699 |     811    71825   193650 |        1   175942    123 |  0.123 % |
1263.60/1263.60	c |   4185800 |     811    71825   193650 |        1   176043    123 |  0.123 % |
1263.60/1263.60	c |   4185902 |     811    71825   193650 |        1   176145    123 |  0.123 % |
1263.60/1263.60	c |   4186002 |     811    71825   193650 |        1   176245    123 |  0.123 % |
1263.60/1263.60	c |   4186104 |     811    71825   193650 |        1   176347    123 |  0.123 % |
1263.60/1263.60	c |   4186207 |     811    71825   193650 |        1   176450    123 |  0.123 % |
1263.60/1263.60	c |   4186308 |     811    71825   193650 |        1   176551    123 |  0.123 % |
1263.60/1263.60	c |   4186408 |     811    71825   193650 |        1   176651    123 |  0.123 % |
1263.60/1263.60	c |   4186511 |     811    71825   193650 |        1   176754    123 |  0.123 % |
1263.60/1263.60	c |   4186613 |     811    71825   193650 |        1   176856    123 |  0.123 % |
1263.60/1263.60	c |   4186713 |     811    71825   193650 |        1   176956    123 |  0.123 % |
1263.60/1263.60	c |   4186817 |     811    71825   193650 |        1   177060    123 |  0.123 % |
1263.60/1263.60	c |   4186918 |     811    71825   193650 |        1   177161    123 |  0.123 % |
1263.60/1263.60	c |   4187020 |     811    71825   193650 |        1   177263    123 |  0.123 % |
1263.60/1263.60	c |   4187124 |     811    71825   193650 |        1   177367    123 |  0.123 % |
1263.60/1263.60	c |   4187226 |     811    71825   193650 |        1   177469    123 |  0.123 % |
1263.60/1263.60	c |   4187326 |     811    71825   193650 |        1   177569    123 |  0.123 % |
1263.60/1263.60	c |   4187426 |     811    71825   193650 |        1   177669    123 |  0.123 % |
1263.60/1263.60	c |   4187527 |     811    71825   193650 |        1   177770    123 |  0.123 % |
1263.60/1263.60	c |   4187635 |     811    71825   193650 |        1   177878    123 |  0.123 % |
1268.21/1268.20	c |   4187735 |     811    71825   193650 |        1   177978    123 |  0.123 % |
1268.21/1268.20	c |   4187835 |     811    71825   193650 |        1   178078    123 |  0.123 % |
1268.21/1268.20	c |   4187939 |     811    71825   193650 |        1   178182    123 |  0.123 % |
1268.21/1268.20	c |   4188039 |     811    71825   193650 |        1   178282    123 |  0.123 % |
1268.21/1268.20	c |   4188139 |     811    71825   193650 |        1   178382    123 |  0.123 % |
1268.21/1268.20	c |   4188240 |     811    71825   193650 |        1   178483    123 |  0.123 % |
1268.21/1268.20	c |   4188341 |     811    71825   193650 |        1   178584    123 |  0.123 % |
1268.21/1268.20	c |   4188442 |     811    71825   193650 |        1   178685    123 |  0.123 % |
1268.21/1268.20	c |   4188542 |     811    71825   193650 |        1   178785    123 |  0.123 % |
1268.21/1268.20	c |   4188642 |     811    71825   193650 |        1   178885    123 |  0.123 % |
1268.21/1268.20	c |   4188744 |     811    71825   193650 |        1   178987    123 |  0.123 % |
1268.21/1268.20	c |   4188844 |     811    71825   193650 |        1   179087    123 |  0.123 % |
1268.21/1268.20	c |   4188944 |     811    71825   193650 |        1   179187    123 |  0.123 % |
1268.21/1268.20	c |   4189044 |     811    71825   193650 |        1   179287    123 |  0.123 % |
1268.21/1268.20	c |   4189144 |     811    71825   193650 |        1   179387    123 |  0.123 % |
1268.21/1268.20	c |   4189244 |     811    71825   193650 |        1   179487    123 |  0.123 % |
1268.21/1268.20	c |   4189345 |     811    71825   193650 |        1   179588    123 |  0.123 % |
1268.21/1268.20	c |   4189446 |     811    71825   193650 |        1   179689    123 |  0.123 % |
1268.21/1268.20	c |   4189546 |     811    71825   193650 |        1   179789    123 |  0.123 % |
1268.21/1268.20	c |   4189648 |     811    71825   193650 |        1   179891    123 |  0.123 % |
1268.21/1268.20	c |   4189748 |     811    71825   193650 |        1   179991    123 |  0.123 % |
1268.21/1268.20	c |   4189848 |     811    71825   193650 |        1   180091    123 |  0.123 % |
1268.21/1268.20	c |   4189949 |     811    71825   193650 |        1   180192    124 |  0.123 % |
1268.21/1268.20	c |   4190049 |     811    71825   193650 |        1   180292    124 |  0.123 % |
1268.21/1268.20	c |   4190150 |     811    71825   193650 |        1   180393    124 |  0.123 % |
1268.21/1268.20	c |   4190251 |     811    71825   193650 |        1   180494    124 |  0.123 % |
1268.21/1268.20	c |   4190351 |     811    71825   193650 |        1   180594    124 |  0.123 % |
1268.21/1268.20	c |   4190452 |     811    71825   193650 |        1   180695    124 |  0.123 % |
1268.21/1268.20	c |   4190557 |     811    71825   193650 |        1   180800    124 |  0.123 % |
1268.21/1268.20	c |   4190657 |     811    71825   193650 |        1   180900    124 |  0.123 % |
1268.21/1268.20	c |   4190757 |     811    71825   193650 |        1   181000    124 |  0.123 % |
1268.21/1268.20	c |   4190857 |     811    71825   193650 |        1   181100    124 |  0.123 % |
1268.21/1268.20	c |   4190957 |     811    71825   193650 |        1   181200    124 |  0.123 % |
1268.21/1268.20	c |   4191061 |     811    71825   193650 |        1   181304    124 |  0.123 % |
1268.21/1268.20	c |   4191161 |     811    71825   193650 |        1   181404    124 |  0.123 % |
1268.21/1268.20	c |   4191261 |     811    71825   193650 |        1   181504    124 |  0.123 % |
1268.21/1268.20	c |   4191361 |     811    71825   193650 |        1   181604    124 |  0.123 % |
1268.21/1268.20	c |   4191461 |     811    71825   193650 |        1   181704    124 |  0.123 % |
1268.21/1268.20	c |   4191561 |     811    71825   193650 |        1   181804    124 |  0.123 % |
1268.21/1268.20	c |   4191664 |     811    71825   193650 |        1   181907    124 |  0.123 % |
1268.21/1268.20	c |   4191766 |     811    71825   193650 |        1   182009    124 |  0.123 % |
1268.21/1268.20	c |   4191867 |     811    71825   193650 |        1   182110    124 |  0.123 % |
1268.21/1268.20	c |   4191969 |     811    71825   193650 |        1   182212    124 |  0.123 % |
1268.21/1268.20	c |   4192072 |     811    71825   193650 |        1   182315    124 |  0.123 % |
1268.21/1268.20	c |   4192172 |     811    71825   193650 |        1   182415    124 |  0.123 % |
1268.21/1268.20	c |   4192276 |     811    71825   193650 |        1   182519    124 |  0.123 % |
1268.21/1268.20	c |   4192377 |     811    71825   193650 |        1   182620    124 |  0.123 % |
1268.21/1268.20	c |   4192478 |     811    71825   193650 |        1   182721    124 |  0.123 % |
1268.21/1268.20	c |   4192578 |     811    71825   193650 |        1   182821    124 |  0.123 % |
1268.21/1268.20	c |   4192678 |     811    71825   193650 |        1   182921    124 |  0.123 % |
1273.20/1273.21	c |   4192778 |     811    71825   193650 |        1   183021    124 |  0.123 % |
1273.20/1273.21	c |   4192878 |     811    71825   193650 |        1   183121    124 |  0.123 % |
1273.20/1273.21	c |   4192980 |     811    71825   193650 |        1   183223    124 |  0.123 % |
1273.20/1273.21	c |   4193081 |     811    71825   193650 |        1   183324    124 |  0.123 % |
1273.20/1273.21	c |   4193182 |     811    71825   193650 |        1   183425    124 |  0.123 % |
1273.20/1273.21	c |   4193283 |     811    71825   193650 |        1   183526    124 |  0.123 % |
1273.20/1273.21	c |   4193383 |     811    71825   193650 |        1   183626    124 |  0.123 % |
1273.20/1273.21	c |   4193485 |     811    71825   193650 |        1   183728    124 |  0.123 % |
1273.20/1273.21	c |   4193585 |     811    71825   193650 |        1   183828    124 |  0.123 % |
1273.20/1273.21	c |   4193685 |     811    71825   193650 |        1   183928    124 |  0.123 % |
1273.20/1273.21	c |   4193785 |     811    71825   193650 |        1   184028    124 |  0.123 % |
1273.20/1273.21	c |   4193888 |     811    71825   193650 |        1   184131    124 |  0.123 % |
1273.20/1273.21	c |   4193989 |     811    71825   193650 |        1   184232    124 |  0.123 % |
1273.20/1273.21	c |   4194089 |     811    71825   193650 |        1   184332    124 |  0.123 % |
1273.20/1273.21	c |   4194190 |     811    71825   193650 |        1   184433    124 |  0.123 % |
1273.20/1273.21	c |   4194290 |     811    71825   193650 |        1   184533    124 |  0.123 % |
1273.20/1273.21	c |   4194390 |     811    71825   193650 |        1   184633    124 |  0.123 % |
1273.20/1273.21	c |   4194491 |     811    71825   193650 |        1   184734    124 |  0.123 % |
1273.20/1273.21	c |   4194593 |     811    71825   193650 |        1   184836    124 |  0.123 % |
1273.20/1273.21	c |   4194695 |     811    71825   193650 |        1   184938    124 |  0.123 % |
1273.20/1273.21	c |   4194795 |     811    71825   193650 |        1   185038    124 |  0.123 % |
1273.20/1273.21	c |   4194895 |     811    71825   193650 |        1   185138    124 |  0.123 % |
1273.20/1273.21	c |   4194995 |     811    71825   193650 |        1   185238    124 |  0.123 % |
1273.20/1273.21	c |   4195095 |     811    71825   193650 |        1   185338    124 |  0.123 % |
1273.20/1273.21	c |   4195197 |     811    71825   193650 |        1   185440    124 |  0.123 % |
1273.20/1273.21	c |   4195298 |     811    71825   193650 |        1   185541    124 |  0.123 % |
1273.20/1273.21	c |   4195398 |     811    71825   193650 |        1   185641    124 |  0.123 % |
1273.20/1273.21	c |   4195500 |     811    71825   193650 |        1   185743    124 |  0.123 % |
1273.20/1273.21	c |   4195600 |     811    71825   193650 |        1   185843    124 |  0.123 % |
1273.20/1273.21	c |   4195701 |     811    71825   193650 |        1   185944    124 |  0.123 % |
1273.20/1273.21	c |   4195802 |     811    71825   193650 |        1   186045    124 |  0.123 % |
1273.20/1273.21	c |   4195902 |     811    71825   193650 |        1   186145    124 |  0.123 % |
1273.20/1273.21	c |   4196002 |     811    71825   193650 |        1   186245    124 |  0.123 % |
1273.20/1273.21	c |   4196102 |     811    71825   193650 |        1   186345    124 |  0.123 % |
1273.20/1273.21	c |   4196204 |     811    71825   193650 |        1   186447    124 |  0.123 % |
1273.20/1273.21	c |   4196305 |     811    71825   193650 |        1   186548    124 |  0.123 % |
1273.20/1273.21	c |   4196405 |     811    71825   193650 |        1   186648    124 |  0.123 % |
1273.20/1273.21	c |   4196505 |     811    71825   193650 |        1   186748    125 |  0.123 % |
1273.20/1273.21	c |   4196607 |     811    71825   193650 |        1   186850    125 |  0.123 % |
1273.20/1273.21	c |   4196707 |     811    71825   193650 |        1   186950    125 |  0.123 % |
1273.20/1273.21	c |   4196808 |     811    71825   193650 |        1   187051    125 |  0.123 % |
1273.20/1273.21	c |   4196912 |     811    71825   193650 |        1   187155    125 |  0.123 % |
1273.20/1273.21	c |   4197013 |     811    71825   193650 |        1   187256    125 |  0.123 % |
1273.20/1273.21	c |   4197115 |     811    71825   193650 |        1   187358    125 |  0.123 % |
1273.20/1273.21	c |   4197216 |     811    71825   193650 |        1   187459    125 |  0.123 % |
1273.20/1273.21	c |   4197316 |     811    71825   193650 |        1   187559    125 |  0.123 % |
1273.20/1273.21	c |   4197416 |     811    71825   193650 |        1   187659    125 |  0.123 % |
1273.20/1273.21	c |   4197517 |     811    71825   193650 |        1   187760    125 |  0.123 % |
1273.20/1273.21	c |   4197619 |     811    71825   193650 |        1   187862    125 |  0.123 % |
1273.20/1273.21	c |   4197721 |     811    71825   193650 |        1   187964    125 |  0.123 % |
1278.40/1278.43	c |   4197824 |     811    71825   193650 |        1   188067    125 |  0.123 % |
1278.40/1278.43	c |   4197925 |     811    71825   193650 |        1   188168    125 |  0.123 % |
1278.40/1278.43	c |   4198028 |     811    71825   193650 |        1   188271    125 |  0.123 % |
1278.40/1278.43	c |   4198129 |     811    71825   193650 |        1   188372    125 |  0.123 % |
1278.40/1278.43	c |   4198229 |     811    71825   193650 |        1   188472    125 |  0.123 % |
1278.40/1278.43	c |   4198330 |     811    71825   193650 |        1   188573    125 |  0.123 % |
1278.40/1278.43	c |   4198431 |     811    71825   193650 |        1   188674    125 |  0.123 % |
1278.40/1278.43	c |   4198533 |     811    71825   193650 |        1   188776    125 |  0.123 % |
1278.40/1278.43	c |   4198635 |     811    71825   193650 |        1   188878    125 |  0.123 % |
1278.40/1278.43	c |   4198736 |     811    71825   193650 |        1   188979    125 |  0.123 % |
1278.40/1278.43	c |   4198836 |     811    71825   193650 |        1   189079    125 |  0.123 % |
1278.40/1278.43	c |   4198936 |     811    71825   193650 |        1   189179    125 |  0.123 % |
1278.40/1278.43	c |   4199037 |     811    71825   193650 |        1   189280    125 |  0.123 % |
1278.40/1278.43	c |   4199139 |     811    71825   193650 |        1   189382    125 |  0.123 % |
1278.40/1278.43	c |   4199243 |     811    71825   193650 |        1   189486    125 |  0.123 % |
1278.40/1278.43	c |   4199343 |     811    71825   193650 |        1   189586    125 |  0.123 % |
1278.40/1278.43	c |   4199443 |     811    71825   193650 |        1   189686    125 |  0.123 % |
1278.40/1278.43	c |   4199543 |     811    71825   193650 |        1   189786    125 |  0.123 % |
1278.40/1278.43	c |   4199643 |     811    71825   193650 |        1   189886    125 |  0.123 % |
1278.40/1278.43	c |   4199744 |     811    71825   193650 |        1   189987    125 |  0.123 % |
1278.40/1278.43	c |   4199844 |     811    71825   193650 |        1   190087    125 |  0.123 % |
1278.40/1278.43	c |   4199945 |     811    71825   193650 |        1   190188    125 |  0.123 % |
1278.40/1278.43	c |   4200046 |     811    71825   193650 |        1   190289    125 |  0.123 % |
1278.40/1278.43	c |   4200146 |     811    71825   193650 |        1   190389    125 |  0.123 % |
1278.40/1278.43	c |   4200248 |     811    71825   193650 |        1   190491    125 |  0.123 % |
1278.40/1278.43	c |   4200348 |     811    71825   193650 |        1   190591    125 |  0.123 % |
1278.40/1278.43	c |   4200448 |     811    71825   193650 |        1   190691    125 |  0.123 % |
1278.40/1278.43	c |   4200550 |     811    71825   193650 |        1   190793    125 |  0.123 % |
1278.40/1278.43	c |   4200653 |     811    71825   193650 |        1   190896    125 |  0.123 % |
1278.40/1278.43	c |   4200753 |     811    71825   193650 |        1   190996    125 |  0.123 % |
1278.40/1278.43	c |   4200853 |     811    71825   193650 |        1   191096    125 |  0.123 % |
1278.40/1278.43	c |   4200955 |     811    71825   193650 |        1   191198    125 |  0.123 % |
1278.40/1278.43	c |   4201056 |     811    71825   193650 |        1   191299    125 |  0.123 % |
1278.40/1278.43	c |   4201156 |     811    71825   193650 |        1   191399    125 |  0.123 % |
1278.40/1278.43	c |   4201257 |     811    71825   193650 |        1   191500    125 |  0.123 % |
1278.40/1278.43	c |   4201358 |     811    71825   193650 |        1   191601    125 |  0.123 % |
1278.40/1278.43	c |   4201458 |     811    71825   193650 |        1   191701    125 |  0.123 % |
1278.40/1278.43	c |   4201559 |     811    71825   193650 |        1   191802    125 |  0.123 % |
1278.40/1278.43	c |   4201660 |     811    71825   193650 |        1   191903    125 |  0.123 % |
1278.40/1278.43	c |   4201763 |     811    71825   193650 |        1   192006    125 |  0.123 % |
1278.40/1278.43	c |   4201863 |     811    71825   193650 |        1   192106    125 |  0.123 % |
1278.40/1278.43	c |   4201964 |     811    71825   193650 |        1   192207    125 |  0.123 % |
1278.40/1278.43	c |   4202064 |     811    71825   193650 |        1   192307    125 |  0.123 % |
1278.40/1278.43	c |   4202166 |     811    71825   193650 |        1   192409    125 |  0.123 % |
1278.40/1278.43	c |   4202267 |     811    71825   193650 |        1   192510    125 |  0.123 % |
1278.40/1278.43	c |   4202367 |     811    71825   193650 |        1   192610    125 |  0.123 % |
1278.40/1278.43	c |   4202468 |     811    71825   193650 |        1   192711    125 |  0.123 % |
1278.40/1278.43	c |   4202568 |     811    71825   193650 |        1   192811    125 |  0.123 % |
1278.40/1278.43	c |   4202669 |     811    71825   193650 |        1   192912    125 |  0.123 % |
1278.40/1278.43	c |   4202771 |     811    71825   193650 |        1   193014    125 |  0.123 % |
1283.80/1283.87	c |   4202871 |     811    71825   193650 |        1   193114    125 |  0.123 % |
1283.80/1283.87	c |   4202972 |     811    71825   193650 |        1   193215    125 |  0.123 % |
1283.80/1283.87	c |   4203074 |     811    71825   193650 |        1   193317    125 |  0.123 % |
1283.80/1283.87	c |   4203176 |     811    71825   193650 |        1   193419    125 |  0.123 % |
1283.80/1283.87	c |   4203277 |     811    71825   193650 |        1   193520    125 |  0.123 % |
1283.80/1283.87	c |   4203377 |     811    71825   193650 |        1   193620    125 |  0.123 % |
1283.80/1283.87	c |   4203480 |     811    71825   193650 |        1   193723    126 |  0.123 % |
1283.80/1283.87	c |   4203580 |     811    71825   193650 |        1   193823    126 |  0.123 % |
1283.80/1283.87	c |   4203681 |     811    71825   193650 |        1   193924    126 |  0.123 % |
1283.80/1283.87	c |   4203783 |     811    71825   193650 |        1   194026    126 |  0.123 % |
1283.80/1283.87	c |   4203883 |     811    71825   193650 |        1   194126    126 |  0.123 % |
1283.80/1283.87	c |   4203985 |     811    71825   193650 |        1   194228    126 |  0.123 % |
1283.80/1283.87	c |   4204088 |     811    71825   193650 |        1   194331    126 |  0.123 % |
1283.80/1283.87	c |   4204190 |     811    71825   193650 |        1   194433    126 |  0.123 % |
1283.80/1283.87	c |   4204291 |     811    71825   193650 |        1   194534    126 |  0.123 % |
1283.80/1283.87	c |   4204392 |     811    71825   193650 |        1   194635    126 |  0.123 % |
1283.80/1283.87	c |   4204493 |     811    71825   193650 |        1   194736    126 |  0.123 % |
1283.80/1283.87	c |   4204594 |     811    71825   193650 |        1   194837    126 |  0.123 % |
1283.80/1283.87	c |   4204695 |     811    71825   193650 |        1   194938    126 |  0.123 % |
1283.80/1283.87	c |   4204795 |     811    71825   193650 |        1   195038    126 |  0.123 % |
1283.80/1283.87	c |   4204899 |     811    71825   193650 |        1   195142    126 |  0.123 % |
1283.80/1283.87	c |   4205002 |     811    71825   193650 |        1   195245    126 |  0.123 % |
1283.80/1283.87	c |   4205103 |     811    71825   193650 |        1   195346    126 |  0.123 % |
1283.80/1283.87	c |   4205204 |     811    71825   193650 |        1   195447    126 |  0.123 % |
1283.80/1283.87	c |   4205306 |     811    71825   193650 |        1   195549    126 |  0.123 % |
1283.80/1283.87	c |   4205406 |     811    71825   193650 |        1   195649    126 |  0.123 % |
1283.80/1283.87	c |   4205509 |     811    71825   193650 |        1   195752    126 |  0.123 % |
1283.80/1283.87	c |   4205609 |     811    71825   193650 |        1   195852    126 |  0.123 % |
1283.80/1283.87	c |   4205710 |     811    71825   193650 |        1   195953    126 |  0.123 % |
1283.80/1283.87	c |   4205812 |     811    71825   193650 |        1   196055    126 |  0.123 % |
1283.80/1283.87	c |   4205912 |     811    71825   193650 |        1   196155    126 |  0.123 % |
1283.80/1283.87	c |   4206012 |     811    71825   193650 |        1   196255    126 |  0.123 % |
1283.80/1283.87	c |   4206117 |     811    71825   193650 |        1   196360    126 |  0.123 % |
1283.80/1283.87	c |   4206217 |     811    71825   193650 |        1   196460    126 |  0.123 % |
1283.80/1283.87	c |   4206317 |     811    71825   193650 |        1   196560    126 |  0.123 % |
1283.80/1283.87	c |   4206417 |     811    71825   193650 |        1   196660    126 |  0.123 % |
1283.80/1283.87	c |   4206525 |     811    71825   193650 |        1   196768    126 |  0.123 % |
1283.80/1283.87	c |   4206625 |     811    71825   193650 |        1   196868    126 |  0.123 % |
1283.80/1283.87	c |   4206727 |     811    71825   193650 |        1   196970    126 |  0.123 % |
1283.80/1283.87	c |   4206827 |     811    71825   193650 |        1   197070    126 |  0.123 % |
1283.80/1283.87	c |   4206928 |     811    71825   193650 |        1   197171    126 |  0.123 % |
1283.80/1283.87	c |   4207029 |     811    71825   193650 |        1   197272    126 |  0.123 % |
1283.80/1283.87	c |   4207129 |     811    71825   193650 |        1   197372    126 |  0.123 % |
1283.80/1283.87	c |   4207232 |     811    71825   193650 |        1   197475    126 |  0.123 % |
1283.80/1283.87	c |   4207332 |     811    71825   193650 |        1   197575    126 |  0.123 % |
1283.80/1283.87	c |   4207432 |     811    71825   193650 |        1   197675    126 |  0.123 % |
1283.80/1283.87	c |   4207532 |     811    71825   193650 |        1   197775    126 |  0.123 % |
1283.80/1283.87	c |   4207634 |     811    71825   193650 |        1   197877    126 |  0.123 % |
1283.80/1283.87	c |   4207735 |     811    71825   193650 |        1   197978    126 |  0.123 % |
1283.80/1283.87	c |   4207835 |     811    71825   193650 |        1   198078    126 |  0.123 % |
1290.10/1290.16	c |   4207935 |     811    71825   193650 |        1   198178    126 |  0.123 % |
1290.10/1290.16	c |   4208035 |     811    71825   193650 |        1   198278    126 |  0.123 % |
1290.10/1290.16	c |   4208136 |     811    71825   193650 |        1   198379    126 |  0.123 % |
1290.10/1290.16	c |   4208236 |     811    71825   193650 |        1   198479    126 |  0.123 % |
1290.10/1290.16	c |   4208336 |     811    71825   193650 |        1   198579    126 |  0.123 % |
1290.10/1290.16	c |   4208436 |     811    71825   193650 |        1   198679    126 |  0.123 % |
1290.10/1290.16	c |   4208537 |     811    71825   193650 |        1   198780    126 |  0.123 % |
1290.10/1290.16	c |   4208637 |     811    71825   193650 |        1   198880    126 |  0.123 % |
1290.10/1290.16	c |   4208737 |     811    71825   193650 |        1   198980    126 |  0.123 % |
1290.10/1290.16	c |   4208839 |     811    71825   193650 |        1   199082    126 |  0.123 % |
1290.10/1290.16	c |   4208940 |     811    71825   193650 |        1   199183    126 |  0.123 % |
1290.10/1290.16	c |   4209042 |     811    71825   193650 |        1   199285    126 |  0.123 % |
1290.10/1290.16	c |   4209142 |     811    71825   193650 |        1   199385    126 |  0.123 % |
1290.10/1290.16	c |   4209242 |     811    71825   193650 |        1   199485    126 |  0.123 % |
1290.10/1290.16	c |   4209345 |     811    71825   193650 |        1   199588    126 |  0.123 % |
1290.10/1290.16	c |   4209446 |     811    71825   193650 |        1   199689    126 |  0.123 % |
1290.10/1290.16	c |   4209546 |     811    71825   193650 |        1   199789    126 |  0.123 % |
1290.10/1290.16	c |   4209649 |     811    71825   193650 |        1   199892    126 |  0.123 % |
1290.10/1290.16	c |   4209750 |     811    71825   193650 |        1   199993    126 |  0.123 % |
1290.10/1290.16	c |   4209850 |     811    71825   193650 |        1   200093    126 |  0.123 % |
1290.10/1290.16	c |   4209950 |     811    71825   193650 |        1   200193    126 |  0.123 % |
1290.10/1290.16	c |   4210051 |     811    71825   193650 |        1   200294    126 |  0.123 % |
1290.10/1290.16	c |   4210151 |     811    71825   193650 |        1   200394    126 |  0.123 % |
1290.10/1290.16	c |   4210251 |     811    71825   193650 |        1   200494    127 |  0.123 % |
1290.10/1290.16	c |   4210352 |     811    71825   193650 |        1   200595    127 |  0.123 % |
1290.10/1290.16	c |   4210453 |     811    71825   193650 |        1   200696    127 |  0.123 % |
1290.10/1290.16	c |   4210553 |     811    71825   193650 |        1   200796    127 |  0.123 % |
1290.10/1290.16	c |   4210655 |     811    71825   193650 |        1   200898    127 |  0.123 % |
1290.10/1290.16	c |   4210757 |     811    71825   193650 |        1   201000    127 |  0.123 % |
1290.10/1290.16	c |   4210857 |     811    71825   193650 |        1   201100    127 |  0.123 % |
1290.10/1290.16	c |   4210960 |     811    71825   193650 |        1   201203    127 |  0.123 % |
1290.10/1290.16	c |   4211060 |     811    71825   193650 |        1   201303    127 |  0.123 % |
1290.10/1290.16	c |   4211160 |     811    71825   193650 |        1   201403    127 |  0.123 % |
1290.10/1290.16	c |   4211264 |     811    71825   193650 |        1   201507    127 |  0.123 % |
1290.10/1290.16	c |   4211364 |     811    71825   193650 |        1   201607    127 |  0.123 % |
1290.10/1290.16	c |   4211465 |     811    71825   193650 |        1   201708    127 |  0.123 % |
1290.10/1290.16	c |   4211567 |     811    71825   193650 |        1   201810    127 |  0.123 % |
1290.10/1290.16	c |   4211669 |     811    71825   193650 |        1   201912    127 |  0.123 % |
1290.10/1290.16	c |   4211770 |     811    71825   193650 |        1   202013    127 |  0.123 % |
1290.10/1290.16	c |   4211872 |     811    71825   193650 |        1   202115    127 |  0.123 % |
1290.10/1290.16	c |   4211972 |     811    71825   193650 |        1   202215    127 |  0.123 % |
1290.10/1290.16	c |   4212072 |     811    71825   193650 |        1   202315    127 |  0.123 % |
1290.10/1290.16	c |   4212172 |     811    71825   193650 |        1   202415    127 |  0.123 % |
1290.10/1290.16	c |   4212275 |     811    71825   193650 |        1   202518    127 |  0.123 % |
1290.10/1290.16	c |   4212375 |     811    71825   193650 |        1   202618    127 |  0.123 % |
1290.10/1290.16	c |   4212475 |     811    71825   193650 |        1   202718    127 |  0.123 % |
1290.10/1290.16	c |   4212576 |     811    71825   193650 |        1   202819    127 |  0.123 % |
1290.10/1290.16	c |   4212677 |     811    71825   193650 |        1   202920    127 |  0.123 % |
1290.10/1290.16	c |   4212778 |     811    71825   193650 |        1   203021    127 |  0.123 % |
1290.10/1290.16	c |   4212878 |     811    71825   193650 |        1   203121    127 |  0.123 % |
1296.10/1296.18	c |   4212981 |     811    71825   193650 |        1   203224    127 |  0.123 % |
1296.10/1296.18	c |   4213083 |     811    71825   193650 |        1   203326    127 |  0.123 % |
1296.10/1296.18	c |   4213185 |     811    71825   193650 |        1   203428    127 |  0.123 % |
1296.10/1296.18	c |   4213287 |     811    71825   193650 |        1   203530    127 |  0.123 % |
1296.10/1296.18	c |   4213389 |     811    71825   193650 |        1   203632    127 |  0.123 % |
1296.10/1296.18	c |   4213490 |     811    71825   193650 |        1   203733    127 |  0.123 % |
1296.10/1296.18	c |   4213590 |     811    71825   193650 |        1   203833    127 |  0.123 % |
1296.10/1296.18	c |   4213690 |     811    71825   193650 |        1   203933    127 |  0.123 % |
1296.10/1296.18	c |   4213790 |     811    71825   193650 |        1   204033    127 |  0.123 % |
1296.10/1296.18	c |   4213891 |     811    71825   193650 |        1   204134    127 |  0.123 % |
1296.10/1296.18	c |   4213991 |     811    71825   193650 |        1   204234    127 |  0.123 % |
1296.10/1296.18	c |   4214093 |     811    71825   193650 |        1   204336    127 |  0.123 % |
1296.10/1296.18	c |   4214194 |     811    71825   193650 |        1   204437    127 |  0.123 % |
1296.10/1296.18	c |   4214296 |     811    71825   193650 |        1   204539    127 |  0.123 % |
1296.10/1296.18	c |   4214396 |     811    71825   193650 |        1   204639    127 |  0.123 % |
1296.10/1296.18	c |   4214496 |     811    71825   193650 |        1   204739    127 |  0.123 % |
1296.10/1296.18	c |   4214596 |     811    71825   193650 |        1   204839    127 |  0.123 % |
1296.10/1296.18	c |   4214698 |     811    71825   193650 |        1   204941    127 |  0.123 % |
1296.10/1296.18	c |   4214800 |     811    71825   193650 |        1   205043    127 |  0.123 % |
1296.10/1296.18	c |   4214900 |     811    71825   193650 |        1   205143    127 |  0.123 % |
1296.10/1296.18	c |   4215003 |     811    71825   193650 |        1   205246    127 |  0.123 % |
1296.10/1296.18	c |   4215103 |     811    71825   193650 |        1   205346    127 |  0.123 % |
1296.10/1296.18	c |   4215206 |     811    71825   193650 |        1   205449    127 |  0.123 % |
1296.10/1296.18	c |   4215307 |     811    71825   193650 |        1   205550    127 |  0.123 % |
1296.10/1296.18	c |   4215408 |     811    71825   193650 |        1   205651    127 |  0.123 % |
1296.10/1296.18	c |   4215509 |     811    71825   193650 |        1   205752    127 |  0.123 % |
1296.10/1296.18	c |   4215609 |     811    71825   193650 |        1   205852    127 |  0.123 % |
1296.10/1296.18	c |   4215709 |     811    71825   193650 |        1   205952    127 |  0.123 % |
1296.10/1296.18	c |   4215811 |     811    71825   193650 |        1   206054    127 |  0.123 % |
1296.10/1296.18	c |   4215911 |     811    71825   193650 |        1   206154    127 |  0.123 % |
1296.10/1296.18	c |   4216012 |     811    71825   193650 |        1   206255    127 |  0.123 % |
1296.10/1296.18	c |   4216115 |     811    71825   193650 |        1   206358    127 |  0.123 % |
1296.10/1296.18	c |   4216215 |     811    71825   193650 |        1   206458    127 |  0.123 % |
1296.10/1296.18	c |   4216316 |     811    71825   193650 |        1   206559    127 |  0.123 % |
1296.10/1296.18	c |   4216418 |     811    71825   193650 |        1   206661    127 |  0.123 % |
1296.10/1296.18	c |   4216525 |     811    71825   193650 |        1   206768    127 |  0.123 % |
1296.10/1296.18	c |   4216625 |     811    71825   193650 |        1   206868    127 |  0.123 % |
1296.10/1296.18	c |   4216725 |     811    71825   193650 |        1   206968    127 |  0.123 % |
1296.10/1296.18	c |   4216826 |     811    71825   193650 |        1   207069    127 |  0.123 % |
1296.10/1296.18	c |   4216928 |     811    71825   193650 |        1   207171    127 |  0.123 % |
1296.10/1296.18	c |   4217028 |     811    71825   193650 |        1   207271    127 |  0.123 % |
1296.10/1296.18	c |   4217128 |     811    71825   193650 |        1   207371    127 |  0.123 % |
1296.10/1296.18	c |   4217229 |     811    71825   193650 |        1   207472    127 |  0.123 % |
1296.10/1296.18	c |   4217330 |     811    71825   193650 |        1   207573    127 |  0.123 % |
1296.10/1296.18	c |   4217430 |     811    71825   193650 |        1   207673    127 |  0.123 % |
1296.10/1296.18	c |   4217532 |     811    71825   193650 |        1   207775    127 |  0.123 % |
1296.10/1296.18	c |   4217633 |     811    71825   193650 |        1   207876    127 |  0.123 % |
1296.10/1296.18	c |   4217733 |     811    71825   193650 |        1   207976    127 |  0.123 % |
1296.10/1296.18	c |   4217833 |     811    71825   193650 |        1   208076    127 |  0.123 % |
1296.10/1296.18	c |   4217934 |     811

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: 977)

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

running on 2 cores: 0,2

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: 2.76 2.95 3.62 4/179 16451
/proc/meminfo: memFree=32168788/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 957109500 8912896 252 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 252 211 178 0 69 0

[startup+0.0948701 s]
/proc/loadavg: 2.76 2.95 3.62 4/179 16451
/proc/meminfo: memFree=32168788/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 957109500 8912896 252 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100856 s]
/proc/loadavg: 2.76 2.95 3.62 4/179 16451
/proc/meminfo: memFree=32168788/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 957109500 8912896 252 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.30081 s]
/proc/loadavg: 2.76 2.95 3.62 4/179 16451
/proc/meminfo: memFree=32168788/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 8704

[startup+0.700724 s]
/proc/loadavg: 2.76 2.95 3.62 4/179 16451
/proc/meminfo: memFree=32168788/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 8704

[startup+1.50065 s]
/proc/loadavg: 2.76 2.95 3.62 5/194 16488
/proc/meminfo: memFree=32112400/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=40584 CPUtime=1.26 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 8716 0 0 0 125 1 0 0 25 0 1 0 957109524 41558016 5922 33554432000 4194304 4260849 140733577720944 18446744073709551615 4227959 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 10146 5922 252 17 0 6787 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49288

[startup+3.10036 s]
/proc/loadavg: 2.76 2.95 3.62 5/194 16488
/proc/meminfo: memFree=32099388/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=40580 CPUtime=2.85 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 11085 0 0 0 284 1 0 0 25 0 1 0 957109524 41553920 6275 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 10145 6275 252 17 0 6786 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49284

[startup+6.30086 s]
/proc/loadavg: 2.86 2.97 3.62 5/194 16488
/proc/meminfo: memFree=32064348/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=40580 CPUtime=6.05 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 11799 0 0 0 604 1 0 0 25 0 1 0 957109524 41553920 6982 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 10145 6982 252 17 0 6786 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49284

[startup+12.7008 s]
/proc/loadavg: 2.95 2.99 3.62 5/194 16488
/proc/meminfo: memFree=32033412/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=52184 CPUtime=12.45 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 14768 0 0 0 1244 1 0 0 25 0 1 0 957109524 53436416 9856 33554432000 4194304 4260849 140733577720944 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 13046 9856 252 17 0 9687 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60888

[startup+25.5007 s]
/proc/loadavg: 3.18 3.04 3.63 5/194 16488
/proc/meminfo: memFree=31996772/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=90124 CPUtime=25.26 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 22093 0 0 0 2523 3 0 0 25 0 1 0 957109524 92286976 12291 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 22531 12291 252 17 0 19172 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 98828

[startup+51.1004 s]
/proc/loadavg: 3.54 3.13 3.64 5/194 16488
/proc/meminfo: memFree=31923916/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=90124 CPUtime=50.85 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 29173 0 0 0 5081 4 0 0 25 0 1 0 957109524 92286976 19254 33554432000 4194304 4260849 140733577720944 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 22531 19254 252 17 0 19172 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98828

[startup+102.307 s]
/proc/loadavg: 3.80 3.26 3.66 5/194 16490
/proc/meminfo: memFree=31831860/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=139444 CPUtime=102.06 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 83206 0 0 0 10193 13 0 0 25 0 1 0 957109524 142790656 27464 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 34861 27464 252 17 0 31502 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 148148

[startup+162.301 s]
/proc/loadavg: 3.96 3.41 3.68 5/194 16492
/proc/meminfo: memFree=31793616/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=139444 CPUtime=162.06 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 140515 0 0 0 16183 23 0 0 25 0 1 0 957109524 142790656 30359 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 34861 30359 252 17 0 31502 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 148148

[startup+222.301 s]
/proc/loadavg: 3.98 3.51 3.70 5/194 16494
/proc/meminfo: memFree=31787096/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=139444 CPUtime=222.05 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 194273 0 0 0 22173 32 0 0 25 0 1 0 957109524 142790656 28552 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 34861 28552 252 17 0 31502 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 148148

[startup+282.301 s]
/proc/loadavg: 3.99 3.60 3.71 5/194 16496
/proc/meminfo: memFree=31717856/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=170264 CPUtime=282.06 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 229637 0 0 0 28167 39 0 0 25 0 1 0 957109524 174350336 33019 33554432000 4194304 4260849 140733577720944 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 42566 33019 252 17 0 39207 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 178968

[startup+342.301 s]
/proc/loadavg: 3.99 3.67 3.73 5/194 16496
/proc/meminfo: memFree=31700276/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=139444 CPUtime=342.06 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 268203 0 0 0 34160 46 0 0 25 0 1 0 957109524 142790656 27513 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224751 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 34861 27513 252 17 0 31502 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 148148

[startup+402.301 s]
/proc/loadavg: 3.99 3.73 3.74 5/194 16498
/proc/meminfo: memFree=31672192/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2

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

/proc/16487/statm: 36195 31000 252 17 0 32836 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 153484

[startup+642.301 s]
/proc/loadavg: 4.02 3.88 3.79 5/194 16504
/proc/meminfo: memFree=31681744/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=148052 CPUtime=642.06 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 427935 0 0 0 64129 77 0 0 25 0 1 0 957109524 151605248 31474 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 37013 31474 252 17 0 33654 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 156756

[startup+702.301 s]
/proc/loadavg: 4.05 3.92 3.81 5/194 16506
/proc/meminfo: memFree=31667152/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=209220 CPUtime=702.06 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 456368 0 0 0 70123 83 0 0 25 0 1 0 957109524 214241280 44902 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 52305 44902 252 17 0 48946 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 217924

[startup+762.307 s]
/proc/loadavg: 4.11 3.96 3.83 5/194 16508
/proc/meminfo: memFree=31642900/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=178400 CPUtime=762.07 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 482449 0 0 0 76119 88 0 0 25 0 1 0 957109524 182681600 39259 33554432000 4194304 4260849 140733577720944 18446744073709551615 4225114 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 44600 39259 252 17 0 41241 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 187104

[startup+822.301 s]
/proc/loadavg: 4.04 3.96 3.84 5/194 16510
/proc/meminfo: memFree=31634980/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=209220 CPUtime=822.06 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 502191 0 0 0 82114 92 0 0 25 0 1 0 957109524 214241280 42013 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 52305 42013 252 17 0 48946 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 217924

[startup+882.301 s]
/proc/loadavg: 4.01 3.97 3.84 5/194 16512
/proc/meminfo: memFree=31577644/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=178400 CPUtime=882.06 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 518648 0 0 0 88110 96 0 0 25 0 1 0 957109524 182681600 40582 33554432000 4194304 4260849 140733577720944 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 44600 40582 252 17 0 41241 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 187104

[startup+942.301 s]
/proc/loadavg: 4.00 3.97 3.85 5/194 16512
/proc/meminfo: memFree=31608440/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=178400 CPUtime=942.07 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 533359 0 0 0 94107 100 0 0 25 0 1 0 957109524 182681600 38270 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 44600 38270 252 17 0 41241 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 187104

[startup+1002.3 s]
/proc/loadavg: 4.00 3.97 3.85 5/194 16514
/proc/meminfo: memFree=31621868/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=178400 CPUtime=1002.06 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 552374 0 0 0 100102 104 0 0 25 0 1 0 957109524 182681600 40662 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 44600 40662 252 17 0 41241 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 187104

[startup+1062.3 s]
/proc/loadavg: 4.00 3.97 3.86 5/194 16516
/proc/meminfo: memFree=31561428/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=178400 CPUtime=1062.07 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 569370 0 0 0 106097 110 0 0 25 0 1 0 957109524 182681600 40605 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 44600 40605 252 17 0 41241 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 187104

[startup+1122.3 s]
/proc/loadavg: 4.00 3.97 3.87 5/194 16518
/proc/meminfo: memFree=31597312/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=178400 CPUtime=1122.07 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 585525 0 0 0 112093 114 0 0 25 0 1 0 957109524 182681600 40284 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 44600 40284 252 17 0 41241 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 187104

[startup+1182.3 s]
/proc/loadavg: 4.13 4.00 3.88 5/194 16523
/proc/meminfo: memFree=31595488/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=130700 CPUtime=1182.07 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 599378 0 0 0 118090 117 0 0 25 0 1 0 957109524 133836800 29505 33554432000 4194304 4260849 140733577720944 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 32675 29505 252 17 0 29316 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 139404

[startup+1242.3 s]
/proc/loadavg: 4.05 4.00 3.89 5/194 16523
/proc/meminfo: memFree=31558784/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=210840 CPUtime=1242.07 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 635119 0 0 0 124082 125 0 0 25 0 1 0 957109524 215900160 47640 33554432000 4194304 4260849 140733577720944 18446744073709551615 4225142 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 52710 47640 252 17 0 49351 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 219544



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.00 3.89 5/194 16525
/proc/meminfo: memFree=31502904/32951124 swapFree=67049456/67111528
[pid=16451] ppid=16448 vsize=8704 CPUtime=0.23 cores=0,2
/proc/16451/stat : 16451 (glucose.sh) S 16448 16451 16237 0 -1 4202496 358 1511 0 0 0 0 23 0 23 0 1 0 957109500 8912896 254 33554432000 4194304 4922060 140736592232496 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16451/statm: 2176 254 211 178 0 69 0
[pid=16487] ppid=16451 vsize=260928 CPUtime=1299.78 cores=0,2
/proc/16487/stat : 16487 (glucose_static) R 16451 16451 16237 0 -1 4202496 644377 0 0 0 129850 128 0 0 25 0 1 0 957109524 267190272 56835 33554432000 4194304 4260849 140733577720944 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16487/statm: 65232 56835 252 17 0 61873 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 269632

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 16451 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=231964
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.233963
# while last known CPU time is 1300.01
#
# 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.01
CPU user time (s): 1298.73
CPU system time (s): 1.28
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 269632

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

runsolver used 2.29765 second user time and 4.81427 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-10 03:19:48
IDJOB=3262968
IDBENCH=83907
IDSOLVER=1651
FILE ID=node118/3262968-1307668788
RUNJOBID= node118-1307668788-16421
PBS_JOBID= 13549504
Free space on /tmp= 74176 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262968-1307668788/watcher-3262968-1307668788 -o /tmp/evaluation-result-3262968-1307668788/solver-3262968-1307668788 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3262968-1307668788.cnf 

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

MD5SUM BENCH= 731331ace9dcb7404987f98927f5c914
RANDOM SEED=1157677930

node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32169884 kB
Buffers:        200920 kB
Cached:         361584 kB
SwapCached:      15436 kB
Active:         310836 kB
Inactive:       275184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32169884 kB
SwapTotal:    67111528 kB
SwapFree:     67049456 kB
Dirty:            2348 kB
Writeback:           0 kB
AnonPages:       20588 kB
Mapped:           8420 kB
Slab:           129392 kB
PageTables:       4924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   199692 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= 74164 MiB
End job on node118 at 2011-06-10 03:41:30