Trace number 3259052

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

General information on the benchmark

NameCRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
MD5SUM4de3b21cb74a7ec60763201555524736
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.9317
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   61409   123673 |   18422       0        0     nan |  0.000 % |
0.00/0.12	c |         0 |   60464   199974 |      --       0       --      -- |     --   | -945/76301
0.00/0.12	c ==============================================================================
0.00/0.12	c Result  :   #vars: 900   #clauses: 60464   #literals: 199974
0.00/0.12	c CPU time:   0.118981 s
0.00/0.12	c ==============================================================================
0.00/0.15	c
0.00/0.15	c Starting glucose
0.00/0.15	c
111.38/111.43	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
111.38/111.43	c WARNING: for repeatability, setting FPU to use double precision
111.38/111.43	c ============================[ Problem Statistics ]=============================
111.38/111.43	c |                                                                             |
111.38/111.43	c |  Number of variables:           900                                         |
111.38/111.43	c |  Number of clauses:           60464                                         |
111.38/111.43	c |  Parse time:                   0.01 s                                       |
111.38/111.43	c |                                                                             |
111.38/111.43	c ============================[ Search Statistics ]==============================
111.38/111.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
111.38/111.43	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
111.38/111.43	c ===============================================================================
111.38/111.43	c |      2758 |     900    60464   199974 |        1     2758    103 |  0.000 % |
111.38/111.43	c |     72297 |     900    60464   199974 |        1    23739     46 |  0.000 % |
111.38/111.43	c |     75223 |     900    60464   199974 |        1    26665     48 |  0.000 % |
111.38/111.43	c |    382230 |     900    60464   199974 |        1    46655     34 |  0.000 % |
111.38/111.43	c |    439333 |     900    60464   199974 |        1    60753     37 |  0.000 % |
111.38/111.43	c |    498619 |     900    60464   199974 |        1    74436     37 |  0.000 % |
111.38/111.43	c |    498732 |     900    60464   199974 |        1    74549     37 |  0.000 % |
111.38/111.43	c |    498832 |     900    60464   199974 |        1    74649     37 |  0.000 % |
111.38/111.43	c |    503318 |     900    60464   199974 |        1    79135     37 |  0.000 % |
111.38/111.43	c |    504151 |     900    60464   199974 |        1    79968     37 |  0.000 % |
111.38/111.43	c |    515396 |     900    60464   199974 |        1    91213     39 |  0.000 % |
111.38/111.43	c |    557390 |     900    60464   199974 |        1    85009     37 |  0.000 % |
111.38/111.43	c |    557505 |     900    60464   199974 |        1    85124     37 |  0.000 % |
111.38/111.43	c |    557781 |     900    60464   199974 |        1    85400     37 |  0.000 % |
111.38/111.43	c |    558180 |     900    60464   199974 |        1    85799     37 |  0.000 % |
111.38/111.43	c |    565632 |     900    60464   199974 |        1    93251     38 |  0.000 % |
111.38/111.43	c |    581805 |     900    60464   199974 |        1    58623     33 |  0.000 % |
111.38/111.43	c |    591404 |     900    60464   199974 |        1    68222     35 |  0.000 % |
111.38/111.43	c |    668928 |     900    60464   199974 |        1    92349     35 |  0.000 % |
111.38/111.43	c |    705998 |     900    60464   199974 |        1    73413     32 |  0.000 % |
111.38/111.43	c |    732441 |     900    60464   199974 |        1    99856     35 |  0.000 % |
111.38/111.43	c |    742733 |     900    60464   199974 |        1   110148     36 |  0.000 % |
111.38/111.43	c |    749749 |     900    60464   199974 |        1   117164     36 |  0.000 % |
111.38/111.43	c |    763461 |     900    60464   199974 |        1    72270     31 |  0.000 % |
111.38/111.43	c |    798336 |     900    60464   199974 |        1   107145     36 |  0.000 % |
111.38/111.43	c |    836382 |     900    60464   199974 |        1    83999     34 |  0.000 % |
111.38/111.43	c |    844231 |     900    60464   199974 |        1    91848     35 |  0.000 % |
111.38/111.43	c |    844966 |     900    60464   199974 |        1    92583     35 |  0.000 % |
111.38/111.43	c |    861037 |     900    60464   199974 |        1   108654     38 |  0.000 % |
111.38/111.43	c |    865596 |     900    60464   199974 |        1   113213     39 |  0.000 % |
111.38/111.43	c |    877741 |     900    60464   199974 |        1   125358     40 |  0.000 % |
111.38/111.43	c |    880901 |     900    60464   199974 |        1    64718     30 |  0.000 % |
111.38/111.43	c |    885145 |     900    60464   199974 |        1    68962     32 |  0.000 % |
111.38/111.43	c |    885771 |     900    60464   199974 |        1    69588     32 |  0.000 % |
111.38/111.43	c |    893696 |     900    60464   199974 |        1    77513     33 |  0.000 % |
111.38/111.43	c |    911759 |     900    60464   199974 |        1    95576     35 |  0.000 % |
111.38/111.43	c |    914513 |     900    60464   199974 |        1    98330     36 |  0.000 % |
111.38/111.43	c |    917163 |     900    60464   199974 |        1   100980     36 |  0.000 % |
111.38/111.43	c |    929581 |     900    60464   199974 |        1   113398     38 |  0.000 % |
194.69/194.73	c |    942335 |     900    60464   199974 |        1   126152     39 |  0.000 % |
194.69/194.73	c |    946881 |     900    60464   199974 |        1   130698     40 |  0.000 % |
194.69/194.73	c |    951967 |     900    60464   199974 |        1    69382     30 |  0.000 % |
194.69/194.73	c |    960021 |     900    60464   199974 |        1    77436     32 |  0.000 % |
194.69/194.73	c |    968242 |     900    60464   199974 |        1    85657     33 |  0.000 % |
194.69/194.73	c |    968928 |     900    60464   199974 |        1    86343     33 |  0.000 % |
194.69/194.73	c |    981085 |     900    60464   199974 |        1    98500     34 |  0.000 % |
194.69/194.73	c |   1014282 |     900    60464   199974 |        1   131697     39 |  0.000 % |
194.69/194.73	c |   1014383 |     900    60464   199974 |        1   131798     39 |  0.000 % |
194.69/194.73	c |   1018857 |     900    60464   199974 |        1   136272     39 |  0.000 % |
194.69/194.73	c |   1061955 |     900    60464   199974 |        1   110370     33 |  0.000 % |
194.69/194.73	c |   1062056 |     900    60464   199974 |        1   110471     33 |  0.000 % |
194.69/194.73	c |   1068482 |     900    60464   199974 |        1   116897     34 |  0.000 % |
194.69/194.73	c |   1069626 |     900    60464   199974 |        1   118041     34 |  0.000 % |
194.69/194.73	c |   1078886 |     900    60464   199974 |        1   127301     35 |  0.000 % |
194.69/194.73	c |   1082458 |     900    60464   199974 |        1   130873     35 |  0.000 % |
194.69/194.73	c |   1082627 |     900    60464   199974 |        1   131042     35 |  0.000 % |
194.69/194.73	c |   1108985 |     900    60464   199974 |        1    85799     31 |  0.000 % |
194.69/194.73	c |   1109085 |     900    60464   199974 |        1    85899     31 |  0.000 % |
194.69/194.73	c |   1109509 |     900    60464   199974 |        1    86323     31 |  0.000 % |
194.69/194.73	c |   1116768 |     900    60464   199974 |        1    93582     32 |  0.000 % |
194.69/194.73	c |   1138201 |     900    60464   199974 |        1   115015     37 |  0.000 % |
194.69/194.73	c |   1150267 |     900    60464   199974 |        1   127081     38 |  0.000 % |
194.69/194.73	c |   1150816 |     900    60464   199974 |        1   127630     38 |  0.000 % |
194.69/194.73	c |   1198679 |     900    60464   199974 |        1   101292     34 |  0.000 % |
194.69/194.73	c |   1208995 |     900    60464   199974 |        1   111608     36 |  0.000 % |
194.69/194.73	c |   1213937 |     900    60464   199974 |        1   116550     36 |  0.000 % |
194.69/194.73	c |   1239019 |     900    60464   199974 |        1   141632     39 |  0.000 % |
194.69/194.73	c |   1252633 |     900    60464   199974 |        1    78452     29 |  0.000 % |
194.69/194.73	c |   1252733 |     900    60464   199974 |        1    78552     29 |  0.000 % |
194.69/194.73	c |   1271596 |     900    60464   199974 |        1    97415     33 |  0.000 % |
194.69/194.73	c |   1280074 |     900    60464   199974 |        1   105893     35 |  0.000 % |
194.69/194.73	c |   1280174 |     900    60464   199974 |        1   105993     35 |  0.000 % |
194.69/194.73	c |   1280899 |     900    60464   199974 |        1   106718     35 |  0.000 % |
194.69/194.73	c |   1310938 |     900    60464   199974 |        1   136757     38 |  0.000 % |
194.69/194.73	c |   1317845 |     900    60464   199974 |        1   143664     38 |  0.000 % |
194.69/194.73	c |   1360271 |     900    60464   199974 |        1   106688     33 |  0.000 % |
194.69/194.73	c |   1383611 |     900    60464   199974 |        1   130028     37 |  0.000 % |
194.69/194.73	c |   1383865 |     900    60464   199974 |        1   130282     37 |  0.000 % |
194.69/194.73	c |   1425882 |     900    60464   199974 |        1    90298     30 |  0.000 % |
194.69/194.73	c |   1427336 |     900    60464   199974 |        1    91752     30 |  0.000 % |
194.69/194.73	c |   1438983 |     900    60464   199974 |        1   103399     31 |  0.000 % |
194.69/194.73	c |   1448228 |     900    60464   199974 |        1   112644     33 |  0.000 % |
194.69/194.73	c |   1448383 |     900    60464   199974 |        1   112799     33 |  0.000 % |
194.69/194.73	c |   1450014 |     900    60464   199974 |        1   114430     33 |  0.000 % |
194.69/194.73	c |   1460919 |     900    60464   199974 |        1   125335     35 |  0.000 % |
194.69/194.73	c |   1472772 |     900    60464   199974 |        1   137188     36 |  0.000 % |
194.69/194.73	c |   1477756 |     900    60464   199974 |        1   142172     36 |  0.000 % |
194.69/194.73	c |   1485171 |     900    60464   199974 |        1   149587     37 |  0.000 % |
194.69/194.73	c |   1507151 |     900    60464   199974 |        1    86967     29 |  0.000 % |
295.68/295.74	c |   1536975 |     900    60464   199974 |        1   116791     34 |  0.000 % |
295.68/295.74	c |   1538206 |     900    60464   199974 |        1   118022     34 |  0.000 % |
295.68/295.74	c |   1549536 |     900    60464   199974 |        1   129352     36 |  0.000 % |
295.68/295.74	c |   1553213 |     900    60464   199974 |        1   133029     36 |  0.000 % |
295.68/295.74	c |   1572051 |     900    60464   199974 |        1   151867     38 |  0.000 % |
295.68/295.74	c |   1575746 |     900    60464   199974 |        1   155562     38 |  0.000 % |
295.68/295.74	c |   1592685 |     900    60464   199974 |        1   172501     39 |  0.000 % |
295.68/295.74	c |   1608102 |     900    60464   199974 |        1   100719     30 |  0.000 % |
295.68/295.74	c |   1626617 |     900    60464   199974 |        1   119234     33 |  0.000 % |
295.68/295.74	c |   1632664 |     900    60464   199974 |        1   125281     34 |  0.000 % |
295.68/295.74	c |   1644398 |     900    60464   199974 |        1   137015     35 |  0.000 % |
295.68/295.74	c |   1644737 |     900    60464   199974 |        1   137354     35 |  0.000 % |
295.68/295.74	c |   1667226 |     900    60464   199974 |        1   159843     37 |  0.000 % |
295.68/295.74	c |   1711130 |     900    60464   199974 |        1   113945     31 |  0.000 % |
295.68/295.74	c |   1711288 |     900    60464   199974 |        1   114103     32 |  0.000 % |
295.68/295.74	c |   1714001 |     900    60464   199974 |        1   116816     32 |  0.000 % |
295.68/295.74	c |   1733236 |     900    60464   199974 |        1   136051     34 |  0.000 % |
295.68/295.74	c |   1736469 |     900    60464   199974 |        1   139284     34 |  0.000 % |
295.68/295.74	c |   1738965 |     900    60464   199974 |        1   141780     35 |  0.000 % |
295.68/295.74	c |   1746614 |     900    60464   199974 |        1   149429     35 |  0.000 % |
295.68/295.74	c |   1746753 |     900    60464   199974 |        1   149568     35 |  0.000 % |
295.68/295.74	c |   1768005 |     900    60464   199974 |        1   170820     37 |  0.000 % |
295.68/295.74	c |   1792015 |     900    60464   199974 |        1   102431     30 |  0.000 % |
295.68/295.74	c |   1828241 |     900    60464   199974 |        1   138657     35 |  0.000 % |
295.68/295.74	c |   1831721 |     900    60464   199974 |        1   142137     35 |  0.000 % |
295.68/295.74	c |   1861488 |     900    60464   199974 |        1   171904     38 |  0.000 % |
295.68/295.74	c |   1891746 |     900    60464   199974 |        1   107164     30 |  0.000 % |
295.68/295.74	c |   1894479 |     900    60464   199974 |        1   109897     30 |  0.000 % |
295.68/295.74	c |   1897800 |     900    60464   199974 |        1   113218     31 |  0.000 % |
295.68/295.74	c |   1903073 |     900    60464   199974 |        1   118491     32 |  0.000 % |
295.68/295.74	c |   1903269 |     900    60464   199974 |        1   118687     32 |  0.000 % |
295.68/295.74	c |   1903563 |     900    60464   199974 |        1   118981     32 |  0.000 % |
295.68/295.74	c |   1904892 |     900    60464   199974 |        1   120310     32 |  0.000 % |
295.68/295.74	c |   1905174 |     900    60464   199974 |        1   120592     32 |  0.000 % |
295.68/295.74	c |   1905300 |     900    60464   199974 |        1   120718     32 |  0.000 % |
295.68/295.74	c |   1922634 |     900    60464   199974 |        1   138052     34 |  0.000 % |
295.68/295.74	c |   1966029 |     900    60464   199974 |        1   181447     36 |  0.000 % |
295.68/295.74	c |   1970343 |     900    60464   199974 |        1   185761     36 |  0.000 % |
295.68/295.74	c |   1984863 |     900    60464   199974 |        1   102685     28 |  0.000 % |
295.68/295.74	c |   1988335 |     900    60464   199974 |        1   106157     28 |  0.000 % |
295.68/295.74	c |   1993298 |     900    60464   199974 |        1   111120     29 |  0.000 % |
295.68/295.74	c |   2000779 |     900    60464   199974 |        1   118601     30 |  0.000 % |
295.68/295.74	c |   2012294 |     900    60464   199974 |        1   130116     31 |  0.000 % |
295.68/295.74	c |   2025180 |     900    60464   199974 |        1   143002     32 |  0.000 % |
295.68/295.74	c |   2026642 |     900    60464   199974 |        1   144464     32 |  0.000 % |
295.68/295.74	c |   2046723 |     900    60464   199974 |        1   164545     34 |  0.000 % |
295.68/295.74	c |   2077134 |     900    60464   199974 |        1   194956     35 |  0.000 % |
295.68/295.74	c |   2100466 |     900    60464   199974 |        1   118088     30 |  0.000 % |
295.68/295.74	c |   2108785 |     900    60464   199974 |        1   126407     31 |  0.000 % |
295.68/295.74	c |   2117347 |     900    60464   199974 |        1   134969     32 |  0.000 % |
363.38/363.47	c |   2121373 |     900    60464   199974 |        1   138995     32 |  0.000 % |
363.38/363.47	c |   2121474 |     900    60464   199974 |        1   139096     32 |  0.000 % |
363.38/363.47	c |   2121575 |     900    60464   199974 |        1   139197     32 |  0.000 % |
363.38/363.47	c |   2122958 |     900    60464   199974 |        1   140580     32 |  0.000 % |
363.38/363.47	c |   2124247 |     900    60464   199974 |        1   141869     33 |  0.000 % |
363.38/363.47	c |   2125371 |     900    60464   199974 |        1   142993     33 |  0.000 % |
363.38/363.47	c |   2138724 |     900    60464   199974 |        1   156346     34 |  0.000 % |
363.38/363.47	c |   2149573 |     900    60464   199974 |        1   167195     35 |  0.000 % |
363.38/363.47	c |   2151530 |     900    60464   199974 |        1   169152     35 |  0.000 % |
363.38/363.47	c |   2152752 |     900    60464   199974 |        1   170374     35 |  0.000 % |
363.38/363.47	c |   2153770 |     900    60464   199974 |        1   171392     36 |  0.000 % |
363.38/363.47	c |   2157786 |     900    60464   199974 |        1   175408     36 |  0.000 % |
363.38/363.47	c |   2159531 |     900    60464   199974 |        1   177153     36 |  0.000 % |
363.38/363.47	c |   2190336 |     900    60464   199974 |        1   105158     28 |  0.000 % |
363.38/363.47	c |   2204761 |     900    60464   199974 |        1   119583     30 |  0.000 % |
363.38/363.47	c |   2213073 |     900    60464   199974 |        1   127895     31 |  0.000 % |
363.38/363.47	c |   2226982 |     900    60464   199974 |        1   141804     32 |  0.000 % |
363.38/363.47	c |   2234288 |     900    60464   199974 |        1   149110     33 |  0.000 % |
363.38/363.47	c |   2249202 |     900    60464   199974 |        1   164024     34 |  0.000 % |
363.38/363.47	c |   2263110 |     900    60464   199974 |        1   177932     35 |  0.000 % |
363.38/363.47	c |   2273133 |     900    60464   199974 |        1   187955     36 |  0.000 % |
363.38/363.47	c |   2274311 |     900    60464   199974 |        1   189133     36 |  0.000 % |
363.38/363.47	c |   2276132 |     900    60464   199974 |        1   190954     36 |  0.000 % |
363.38/363.47	c |   2293085 |     900    60464   199974 |        1   207907     38 |  0.000 % |
363.38/363.47	c |   2295255 |     900    60464   199974 |        1   210077     38 |  0.000 % |
363.38/363.47	c |   2307241 |     900    60464   199974 |        1   116656     30 |  0.000 % |
363.38/363.47	c |   2309890 |     900    60464   199974 |        1   119305     31 |  0.000 % |
363.38/363.47	c |   2318572 |     900    60464   199974 |        1   127987     34 |  0.000 % |
363.38/363.47	c |   2318681 |     900    60464   199974 |        1   128096     34 |  0.000 % |
363.38/363.47	c |   2334973 |     900    60464   199974 |        1   144388     35 |  0.000 % |
363.38/363.47	c |   2335101 |     900    60464   199974 |        1   144516     35 |  0.000 % |
363.38/363.47	c |   2335812 |     900    60464   199974 |        1   145227     35 |  0.000 % |
363.38/363.47	c |   2343040 |     900    60464   199974 |        1   152455     36 |  0.000 % |
363.38/363.47	c |   2345860 |     900    60464   199974 |        1   155275     36 |  0.000 % |
363.38/363.47	c |   2347296 |     900    60464   199974 |        1   156711     36 |  0.000 % |
363.38/363.47	c |   2364749 |     900    60464   199974 |        1   174164     38 |  0.000 % |
363.38/363.47	c |   2420126 |     900    60464   199974 |        1   121537     29 |  0.000 % |
363.38/363.47	c |   2431282 |     900    60464   199974 |        1   132693     30 |  0.000 % |
363.38/363.47	c |   2432811 |     900    60464   199974 |        1   134222     31 |  0.000 % |
363.38/363.47	c |   2435907 |     900    60464   199974 |        1   137318     31 |  0.000 % |
363.38/363.47	c |   2440787 |     900    60464   199974 |        1   142198     32 |  0.000 % |
363.38/363.47	c |   2445941 |     900    60464   199974 |        1   147352     32 |  0.000 % |
363.38/363.47	c |   2446411 |     900    60464   199974 |        1   147822     32 |  0.000 % |
363.38/363.47	c |   2455589 |     900    60464   199974 |        1   157000     33 |  0.000 % |
363.38/363.47	c |   2455707 |     900    60464   199974 |        1   157118     33 |  0.000 % |
363.38/363.47	c |   2473635 |     900    60464   199974 |        1   175046     35 |  0.000 % |
363.38/363.47	c |   2519260 |     900    60464   199974 |        1   220671     37 |  0.000 % |
363.38/363.47	c |   2519540 |     900    60464   199974 |        1   220951     37 |  0.000 % |
363.38/363.47	c |   2519641 |     900    60464   199974 |        1   221052     37 |  0.000 % |
363.38/363.47	c |   2524630 |     900    60464   199974 |        1   115439     28 |  0.000 % |
432.89/432.96	c |   2532953 |     900    60464   199974 |        1   123762     29 |  0.000 % |
432.89/432.96	c |   2555246 |     900    60464   199974 |        1   146055     32 |  0.000 % |
432.89/432.96	c |   2560099 |     900    60464   199974 |        1   150908     32 |  0.000 % |
432.89/432.96	c |   2562550 |     900    60464   199974 |        1   153359     32 |  0.000 % |
432.89/432.96	c |   2562768 |     900    60464   199974 |        1   153577     32 |  0.000 % |
432.89/432.96	c |   2563552 |     900    60464   199974 |        1   154361     33 |  0.000 % |
432.89/432.96	c |   2569423 |     900    60464   199974 |        1   160232     33 |  0.000 % |
432.89/432.96	c |   2576407 |     900    60464   199974 |        1   167216     34 |  0.000 % |
432.89/432.96	c |   2582910 |     900    60464   199974 |        1   173719     34 |  0.000 % |
432.89/432.96	c |   2583610 |     900    60464   199974 |        1   174419     34 |  0.000 % |
432.89/432.96	c |   2583833 |     900    60464   199974 |        1   174642     34 |  0.000 % |
432.89/432.96	c |   2592966 |     900    60464   199974 |        1   183775     35 |  0.000 % |
432.89/432.96	c |   2612403 |     900    60464   199974 |        1   203212     36 |  0.000 % |
432.89/432.96	c |   2613079 |     900    60464   199974 |        1   203888     36 |  0.000 % |
432.89/432.96	c |   2614421 |     900    60464   199974 |        1   205230     36 |  0.000 % |
432.89/432.96	c |   2638614 |     900    60464   199974 |        1   116224     27 |  0.000 % |
432.89/432.96	c |   2639534 |     900    60464   199974 |        1   117144     27 |  0.000 % |
432.89/432.96	c |   2642344 |     900    60464   199974 |        1   119954     28 |  0.000 % |
432.89/432.96	c |   2643423 |     900    60464   199974 |        1   121033     28 |  0.000 % |
432.89/432.96	c |   2650173 |     900    60464   199974 |        1   127783     29 |  0.000 % |
432.89/432.96	c |   2667283 |     900    60464   199974 |        1   144893     31 |  0.000 % |
432.89/432.96	c |   2690930 |     900    60464   199974 |        1   168540     34 |  0.000 % |
432.89/432.96	c |   2691637 |     900    60464   199974 |        1   169247     34 |  0.000 % |
432.89/432.96	c |   2693778 |     900    60464   199974 |        1   171388     34 |  0.000 % |
432.89/432.96	c |   2693880 |     900    60464   199974 |        1   171490     34 |  0.000 % |
432.89/432.96	c |   2695294 |     900    60464   199974 |        1   172904     34 |  0.000 % |
432.89/432.96	c |   2718284 |     900    60464   199974 |        1   195894     35 |  0.000 % |
432.89/432.96	c |   2719591 |     900    60464   199974 |        1   197201     35 |  0.000 % |
432.89/432.96	c |   2727793 |     900    60464   199974 |        1   205403     36 |  0.000 % |
432.89/432.96	c |   2732933 |     900    60464   199974 |        1   210543     36 |  0.000 % |
432.89/432.96	c |   2738430 |     900    60464   199974 |        1   216040     37 |  0.000 % |
432.89/432.96	c |   2749328 |     900    60464   199974 |        1   226938     37 |  0.000 % |
432.89/432.96	c |   2752467 |     900    60464   199974 |        1   230077     37 |  0.000 % |
432.89/432.96	c |   2763925 |     900    60464   199974 |        1   125739     28 |  0.000 % |
432.89/432.96	c |   2769290 |     900    60464   199974 |        1   131104     29 |  0.000 % |
432.89/432.96	c |   2780168 |     900    60464   199974 |        1   141982     30 |  0.000 % |
432.89/432.96	c |   2781867 |     900    60464   199974 |        1   143681     30 |  0.000 % |
432.89/432.96	c |   2789306 |     900    60464   199974 |        1   151120     31 |  0.000 % |
432.89/432.96	c |   2790184 |     900    60464   199974 |        1   151998     31 |  0.000 % |
432.89/432.96	c |   2790284 |     900    60464   199974 |        1   152098     31 |  0.000 % |
432.89/432.96	c |   2805158 |     900    60464   199974 |        1   166972     32 |  0.000 % |
432.89/432.96	c |   2806677 |     900    60464   199974 |        1   168491     32 |  0.000 % |
432.89/432.96	c |   2808442 |     900    60464   199974 |        1   170256     33 |  0.000 % |
432.89/432.96	c |   2817744 |     900    60464   199974 |        1   179558     33 |  0.000 % |
432.89/432.96	c |   2820061 |     900    60464   199974 |        1   181875     34 |  0.000 % |
432.89/432.96	c |   2834563 |     900    60464   199974 |        1   196377     35 |  0.000 % |
432.89/432.96	c |   2835219 |     900    60464   199974 |        1   197033     35 |  0.000 % |
432.89/432.96	c |   2867561 |     900    60464   199974 |        1   229375     37 |  0.000 % |
432.89/432.96	c |   2885817 |     900    60464   199974 |        1   129236     29 |  0.000 % |
432.89/432.96	c |   2911010 |     900    60464   199974 |        1   154429     32 |  0.000 % |
512.19/512.26	c |   2946683 |     900    60464   199974 |        1   190102     34 |  0.000 % |
512.19/512.26	c |   2949897 |     900    60464   199974 |        1   193316     35 |  0.000 % |
512.19/512.26	c |   2951939 |     900    60464   199974 |        1   195358     35 |  0.000 % |
512.19/512.26	c |   2963621 |     900    60464   199974 |        1   207040     35 |  0.000 % |
512.19/512.26	c |   2967094 |     900    60464   199974 |        1   210513     35 |  0.000 % |
512.19/512.26	c |   2987408 |     900    60464   199974 |        1   230827     36 |  0.000 % |
512.19/512.26	c |   2989763 |     900    60464   199974 |        1   233182     37 |  0.000 % |
512.19/512.26	c |   2990304 |     900    60464   199974 |        1   233723     37 |  0.000 % |
512.19/512.26	c |   3011569 |     900    60464   199974 |        1   133987     29 |  0.000 % |
512.19/512.26	c |   3020090 |     900    60464   199974 |        1   142508     30 |  0.000 % |
512.19/512.26	c |   3021529 |     900    60464   199974 |        1   143947     31 |  0.000 % |
512.19/512.26	c |   3026064 |     900    60464   199974 |        1   148482     31 |  0.000 % |
512.19/512.26	c |   3041948 |     900    60464   199974 |        1   164366     33 |  0.000 % |
512.19/512.26	c |   3059492 |     900    60464   199974 |        1   181910     35 |  0.000 % |
512.19/512.26	c |   3064646 |     900    60464   199974 |        1   187064     35 |  0.000 % |
512.19/512.26	c |   3082076 |     900    60464   199974 |        1   204494     36 |  0.000 % |
512.19/512.26	c |   3093515 |     900    60464   199974 |        1   215933     36 |  0.000 % |
512.19/512.26	c |   3117109 |     900    60464   199974 |        1   239527     38 |  0.000 % |
512.19/512.26	c |   3121261 |     900    60464   199974 |        1   243679     38 |  0.000 % |
512.19/512.26	c |   3131761 |     900    60464   199974 |        1   130570     28 |  0.000 % |
512.19/512.26	c |   3153412 |     900    60464   199974 |        1   152221     31 |  0.000 % |
512.19/512.26	c |   3165645 |     900    60464   199974 |        1   164454     32 |  0.000 % |
512.19/512.26	c |   3179863 |     900    60464   199974 |        1   178672     33 |  0.000 % |
512.19/512.26	c |   3189968 |     900    60464   199974 |        1   188777     34 |  0.000 % |
512.19/512.26	c |   3190531 |     900    60464   199974 |        1   189340     34 |  0.000 % |
512.19/512.26	c |   3209040 |     900    60464   199974 |        1   207849     35 |  0.000 % |
512.19/512.26	c |   3217378 |     900    60464   199974 |        1   216187     36 |  0.000 % |
512.19/512.26	c |   3247994 |     900    60464   199974 |        1   246803     39 |  0.000 % |
512.19/512.26	c |   3257204 |     900    60464   199974 |        1   129818     28 |  0.000 % |
512.19/512.26	c |   3260047 |     900    60464   199974 |        1   132661     29 |  0.000 % |
512.19/512.26	c |   3260861 |     900    60464   199974 |        1   133475     29 |  0.000 % |
512.19/512.26	c |   3261065 |     900    60464   199974 |        1   133679     29 |  0.000 % |
512.19/512.26	c |   3263477 |     900    60464   199974 |        1   136091     29 |  0.000 % |
512.19/512.26	c |   3268441 |     900    60464   199974 |        1   141055     30 |  0.000 % |
512.19/512.26	c |   3268607 |     900    60464   199974 |        1   141221     30 |  0.000 % |
512.19/512.26	c |   3285197 |     900    60464   199974 |        1   157811     32 |  0.000 % |
512.19/512.26	c |   3286439 |     900    60464   199974 |        1   159053     32 |  0.000 % |
512.19/512.26	c |   3291150 |     900    60464   199974 |        1   163764     33 |  0.000 % |
512.19/512.26	c |   3297895 |     900    60464   199974 |        1   170509     34 |  0.000 % |
512.19/512.26	c |   3298232 |     900    60464   199974 |        1   170846     34 |  0.000 % |
512.19/512.26	c |   3339935 |     900    60464   199974 |        1   212549     36 |  0.000 % |
512.19/512.26	c |   3340037 |     900    60464   199974 |        1   212651     36 |  0.000 % |
512.19/512.26	c |   3352766 |     900    60464   199974 |        1   225380     37 |  0.000 % |
512.19/512.26	c |   3352866 |     900    60464   199974 |        1   225480     37 |  0.000 % |
512.19/512.26	c |   3353540 |     900    60464   199974 |        1   226154     37 |  0.000 % |
512.19/512.26	c |   3387797 |     900    60464   199974 |        1   131615     27 |  0.000 % |
512.19/512.26	c |   3402394 |     900    60464   199974 |        1   146212     29 |  0.000 % |
512.19/512.26	c |   3402536 |     900    60464   199974 |        1   146354     29 |  0.000 % |
512.19/512.26	c |   3407067 |     900    60464   199974 |        1   150885     30 |  0.000 % |
512.19/512.26	c |   3410787 |     900    60464   199974 |        1   154605     30 |  0.000 % |
606.59/606.67	c |   3422806 |     900    60464   199974 |        1   166624     31 |  0.000 % |
606.59/606.67	c |   3427726 |     900    60464   199974 |        1   171544     32 |  0.000 % |
606.59/606.67	c |   3455100 |     900    60464   199974 |        1   198918     34 |  0.000 % |
606.59/606.67	c |   3458616 |     900    60464   199974 |        1   202434     35 |  0.000 % |
606.59/606.67	c |   3481114 |     900    60464   199974 |        1   224932     37 |  0.000 % |
606.59/606.67	c |   3483246 |     900    60464   199974 |        1   227064     37 |  0.000 % |
606.59/606.67	c |   3484532 |     900    60464   199974 |        1   228350     37 |  0.000 % |
606.59/606.67	c |   3499047 |     900    60464   199974 |        1   242865     38 |  0.000 % |
606.59/606.67	c |   3499205 |     900    60464   199974 |        1   243023     38 |  0.000 % |
606.59/606.67	c |   3499796 |     900    60464   199974 |        1   243614     38 |  0.000 % |
606.59/606.67	c |   3499974 |     900    60464   199974 |        1   243792     38 |  0.000 % |
606.59/606.67	c |   3503307 |     900    60464   199974 |        1   247125     38 |  0.000 % |
606.59/606.67	c |   3508573 |     900    60464   199974 |        1   252391     38 |  0.000 % |
606.59/606.67	c |   3515605 |     900    60464   199974 |        1   259423     39 |  0.000 % |
606.59/606.67	c |   3517243 |     900    60464   199974 |        1   261061     39 |  0.000 % |
606.59/606.67	c |   3523847 |     900    60464   199974 |        1   136268     28 |  0.000 % |
606.59/606.67	c |   3544361 |     900    60464   199974 |        1   156782     30 |  0.000 % |
606.59/606.67	c |   3549250 |     900    60464   199974 |        1   161671     31 |  0.000 % |
606.59/606.67	c |   3564652 |     900    60464   199974 |        1   177073     32 |  0.000 % |
606.59/606.67	c |   3579824 |     900    60464   199974 |        1   192245     33 |  0.000 % |
606.59/606.67	c |   3592684 |     900    60464   199974 |        1   205105     34 |  0.000 % |
606.59/606.67	c |   3596034 |     900    60464   199974 |        1   208455     34 |  0.000 % |
606.59/606.67	c |   3648422 |     900    60464   199974 |        1   260843     37 |  0.000 % |
606.59/606.67	c |   3653106 |     900    60464   199974 |        1   265527     37 |  0.000 % |
606.59/606.67	c |   3724369 |     900    60464   199974 |        1   202784     34 |  0.000 % |
606.59/606.67	c |   3742131 |     900    60464   199974 |        1   220546     35 |  0.000 % |
606.59/606.67	c |   3744695 |     900    60464   199974 |        1   223110     35 |  0.000 % |
606.59/606.67	c |   3749985 |     900    60464   199974 |        1   228400     36 |  0.000 % |
606.59/606.67	c |   3761762 |     900    60464   199974 |        1   240177     37 |  0.000 % |
606.59/606.67	c |   3779925 |     900    60464   199974 |        1   258340     38 |  0.000 % |
606.59/606.67	c |   3780521 |     900    60464   199974 |        1   258936     38 |  0.000 % |
606.59/606.67	c |   3782536 |     900    60464   199974 |        1   260951     38 |  0.000 % |
606.59/606.67	c |   3791018 |     900    60464   199974 |        1   269433     38 |  0.000 % |
606.59/606.67	c |   3830048 |     900    60464   199974 |        1   171859     30 |  0.000 % |
606.59/606.67	c |   3839820 |     900    60464   199974 |        1   181631     31 |  0.000 % |
606.59/606.67	c |   3847886 |     900    60464   199974 |        1   189697     32 |  0.000 % |
606.59/606.67	c |   3868516 |     900    60464   199974 |        1   210327     34 |  0.000 % |
606.59/606.67	c |   3876266 |     900    60464   199974 |        1   218077     35 |  0.000 % |
606.59/606.67	c |   3883628 |     900    60464   199974 |        1   225439     35 |  0.000 % |
606.59/606.67	c |   3895041 |     900    60464   199974 |        1   236852     36 |  0.000 % |
606.59/606.67	c |   3898015 |     900    60464   199974 |        1   239826     36 |  0.000 % |
606.59/606.67	c |   3903337 |     900    60464   199974 |        1   245148     36 |  0.000 % |
606.59/606.67	c |   3919896 |     900    60464   199974 |        1   261707     37 |  0.000 % |
606.59/606.67	c |   3920108 |     900    60464   199974 |        1   261919     37 |  0.000 % |
606.59/606.67	c |   3923971 |     900    60464   199974 |        1   265782     37 |  0.000 % |
606.59/606.67	c |   3942535 |     900    60464   199974 |        1   145147     27 |  0.000 % |
606.59/606.67	c |   3962401 |     900    60464   199974 |        1   165013     30 |  0.000 % |
606.59/606.67	c |   3968724 |     900    60464   199974 |        1   171336     31 |  0.000 % |
606.59/606.67	c |   3969177 |     900    60464   199974 |        1   171789     31 |  0.000 % |
691.60/691.62	c |   3969280 |     900    60464   199974 |        1   171892     31 |  0.000 % |
691.60/691.62	c |   3971921 |     900    60464   199974 |        1   174533     31 |  0.000 % |
691.60/691.62	c |   3974245 |     900    60464   199974 |        1   176857     31 |  0.000 % |
691.60/691.62	c |   3975136 |     900    60464   199974 |        1   177748     31 |  0.000 % |
691.60/691.62	c |   3975254 |     900    60464   199974 |        1   177866     31 |  0.000 % |
691.60/691.62	c |   3975590 |     900    60464   199974 |        1   178202     31 |  0.000 % |
691.60/691.62	c |   3992657 |     900    60464   199974 |        1   195269     33 |  0.000 % |
691.60/691.62	c |   4003464 |     900    60464   199974 |        1   206076     33 |  0.000 % |
691.60/691.62	c |   4005536 |     900    60464   199974 |        1   208148     33 |  0.000 % |
691.60/691.62	c |   4006960 |     900    60464   199974 |        1   209572     33 |  0.000 % |
691.60/691.62	c |   4016714 |     900    60464   199974 |        1   219326     34 |  0.000 % |
691.60/691.62	c |   4023549 |     900    60464   199974 |        1   226161     35 |  0.000 % |
691.60/691.62	c |   4038129 |     900    60464   199974 |        1   240741     36 |  0.000 % |
691.60/691.62	c |   4038609 |     900    60464   199974 |        1   241221     36 |  0.000 % |
691.60/691.62	c |   4041634 |     900    60464   199974 |        1   244246     36 |  0.000 % |
691.60/691.62	c |   4044899 |     900    60464   199974 |        1   247511     36 |  0.000 % |
691.60/691.62	c |   4058620 |     900    60464   199974 |        1   261232     37 |  0.000 % |
691.60/691.62	c |   4081134 |     900    60464   199974 |        1   141954     26 |  0.000 % |
691.60/691.62	c |   4082852 |     900    60464   199974 |        1   143672     26 |  0.000 % |
691.60/691.62	c |   4087319 |     900    60464   199974 |        1   148139     27 |  0.000 % |
691.60/691.62	c |   4108671 |     900    60464   199974 |        1   169491     29 |  0.000 % |
691.60/691.62	c |   4135845 |     900    60464   199974 |        1   196665     31 |  0.000 % |
691.60/691.62	c |   4137433 |     900    60464   199974 |        1   198253     31 |  0.000 % |
691.60/691.62	c |   4146174 |     900    60464   199974 |        1   206994     31 |  0.000 % |
691.60/691.62	c |   4178825 |     900    60464   199974 |        1   239645     32 |  0.000 % |
691.60/691.62	c |   4188149 |     900    60464   199974 |        1   248969     33 |  0.000 % |
691.60/691.62	c |   4237019 |     900    60464   199974 |        1   153437     26 |  0.000 % |
691.60/691.62	c |   4244286 |     900    60464   199974 |        1   160704     28 |  0.000 % |
691.60/691.62	c |   4244417 |     900    60464   199974 |        1   160835     28 |  0.000 % |
691.60/691.62	c |   4281267 |     900    60464   199974 |        1   197685     30 |  0.000 % |
691.60/691.62	c |   4296106 |     900    60464   199974 |        1   212524     31 |  0.000 % |
691.60/691.62	c |   4297799 |     900    60464   199974 |        1   214217     31 |  0.000 % |
691.60/691.62	c |   4302190 |     900    60464   199974 |        1   218608     31 |  0.000 % |
691.60/691.62	c |   4306631 |     900    60464   199974 |        1   223049     31 |  0.000 % |
691.60/691.62	c |   4312304 |     900    60464   199974 |        1   228722     32 |  0.000 % |
691.60/691.62	c |   4316797 |     900    60464   199974 |        1   233215     32 |  0.000 % |
691.60/691.62	c |   4316898 |     900    60464   199974 |        1   233316     32 |  0.000 % |
691.60/691.62	c |   4326925 |     900    60464   199974 |        1   243343     33 |  0.000 % |
691.60/691.62	c |   4332190 |     900    60464   199974 |        1   248608     33 |  0.000 % |
691.60/691.62	c |   4362044 |     900    60464   199974 |        1   278462     34 |  0.000 % |
691.60/691.62	c |   4369182 |     900    60464   199974 |        1   285600     34 |  0.000 % |
691.60/691.62	c |   4374647 |     900    60464   199974 |        1   291065     34 |  0.000 % |
691.60/691.62	c |   4375273 |     900    60464   199974 |        1   291691     34 |  0.000 % |
691.60/691.62	c |   4385931 |     900    60464   199974 |        1   155345     26 |  0.000 % |
691.60/691.62	c |   4389984 |     900    60464   199974 |        1   159398     27 |  0.000 % |
691.60/691.62	c |   4400367 |     900    60464   199974 |        1   169781     28 |  0.000 % |
691.60/691.62	c |   4405729 |     900    60464   199974 |        1   175143     28 |  0.000 % |
691.60/691.62	c |   4422475 |     900    60464   199974 |        1   191889     30 |  0.000 % |
691.60/691.62	c |   4422826 |     900    60464   199974 |        1   192240     30 |  0.000 % |
691.60/691.62	c |   4422928 |     900    60464   199974 |        1   192342     30 |  0.000 % |
788.10/788.16	c |   4440821 |     900    60464   199974 |        1   210235     33 |  0.000 % |
788.10/788.16	c |   4461673 |     900    60464   199974 |        1   231087     35 |  0.000 % |
788.10/788.16	c |   4471049 |     900    60464   199974 |        1   240463     35 |  0.000 % |
788.10/788.16	c |   4483697 |     900    60464   199974 |        1   253111     36 |  0.000 % |
788.10/788.16	c |   4502631 |     900    60464   199974 |        1   272045     37 |  0.000 % |
788.10/788.16	c |   4502732 |     900    60464   199974 |        1   272146     37 |  0.000 % |
788.10/788.16	c |   4503078 |     900    60464   199974 |        1   272492     37 |  0.000 % |
788.10/788.16	c |   4508534 |     900    60464   199974 |        1   277948     37 |  0.000 % |
788.10/788.16	c |   4510153 |     900    60464   199974 |        1   279567     37 |  0.000 % |
788.10/788.16	c |   4531575 |     900    60464   199974 |        1   151394     27 |  0.000 % |
788.10/788.16	c |   4534777 |     900    60464   199974 |        1   154596     27 |  0.000 % |
788.10/788.16	c |   4538021 |     900    60464   199974 |        1   157840     27 |  0.000 % |
788.10/788.16	c |   4556034 |     900    60464   199974 |        1   175853     29 |  0.000 % |
788.10/788.17	c |   4576995 |     900    60464   199974 |        1   196814     32 |  0.000 % |
788.10/788.17	c |   4599950 |     900    60464   199974 |        1   219769     35 |  0.000 % |
788.10/788.17	c |   4600050 |     900    60464   199974 |        1   219869     35 |  0.000 % |
788.10/788.17	c |   4600211 |     900    60464   199974 |        1   220030     35 |  0.000 % |
788.10/788.17	c |   4617752 |     900    60464   199974 |        1   237571     36 |  0.000 % |
788.10/788.17	c |   4618756 |     900    60464   199974 |        1   238575     36 |  0.000 % |
788.10/788.17	c |   4622048 |     900    60464   199974 |        1   241867     37 |  0.000 % |
788.10/788.17	c |   4624923 |     900    60464   199974 |        1   244742     37 |  0.000 % |
788.10/788.17	c |   4632196 |     900    60464   199974 |        1   252015     37 |  0.000 % |
788.10/788.17	c |   4634511 |     900    60464   199974 |        1   254330     37 |  0.000 % |
788.10/788.17	c |   4644083 |     900    60464   199974 |        1   263902     38 |  0.000 % |
788.10/788.17	c |   4644413 |     900    60464   199974 |        1   264232     38 |  0.000 % |
788.10/788.17	c |   4645862 |     900    60464   199974 |        1   265681     38 |  0.000 % |
788.10/788.17	c |   4654407 |     900    60464   199974 |        1   274226     38 |  0.000 % |
788.10/788.17	c |   4687673 |     900    60464   199974 |        1   155294     27 |  0.000 % |
788.10/788.17	c |   4709562 |     900    60464   199974 |        1   177183     31 |  0.000 % |
788.10/788.17	c |   4725428 |     900    60464   199974 |        1   193049     32 |  0.000 % |
788.10/788.17	c |   4728909 |     900    60464   199974 |        1   196530     32 |  0.000 % |
788.10/788.17	c |   4732627 |     900    60464   199974 |        1   200248     33 |  0.000 % |
788.10/788.17	c |   4739872 |     900    60464   199974 |        1   207493     33 |  0.000 % |
788.10/788.17	c |   4740596 |     900    60464   199974 |        1   208217     33 |  0.000 % |
788.10/788.17	c |   4747405 |     900    60464   199974 |        1   215026     34 |  0.000 % |
788.10/788.17	c |   4747825 |     900    60464   199974 |        1   215446     34 |  0.000 % |
788.10/788.17	c |   4759139 |     900    60464   199974 |        1   226760     34 |  0.000 % |
788.10/788.17	c |   4764833 |     900    60464   199974 |        1   232454     35 |  0.000 % |
788.10/788.17	c |   4821529 |     900    60464   199974 |        1   289150     37 |  0.000 % |
788.10/788.17	c |   4824846 |     900    60464   199974 |        1   292467     37 |  0.000 % |
788.10/788.17	c |   4831761 |     900    60464   199974 |        1   299382     37 |  0.000 % |
788.10/788.17	c |   4834125 |     900    60464   199974 |        1   301746     37 |  0.000 % |
788.10/788.17	c |   4912954 |     900    60464   199974 |        1   225774     32 |  0.000 % |
788.10/788.17	c |   4928137 |     900    60464   199974 |        1   240957     33 |  0.000 % |
788.10/788.17	c |   4936165 |     900    60464   199974 |        1   248985     34 |  0.000 % |
788.10/788.17	c |   4945715 |     900    60464   199974 |        1   258535     34 |  0.000 % |
788.10/788.17	c |   4946663 |     900    60464   199974 |        1   259483     34 |  0.000 % |
788.10/788.17	c |   4947064 |     900    60464   199974 |        1   259884     34 |  0.000 % |
788.10/788.17	c |   4950405 |     900    60464   199974 |        1   263225     34 |  0.000 % |
788.10/788.17	c |   4963645 |     900    60464   199974 |        1   276465     35 |  0.000 % |
871.40/871.42	c |   4993839 |     900    60464   199974 |        1   306659     37 |  0.000 % |
871.40/871.42	c |   5030146 |     900    60464   199974 |        1   185565     29 |  0.000 % |
871.40/871.42	c |   5044969 |     900    60464   199974 |        1   200388     30 |  0.000 % |
871.40/871.42	c |   5052162 |     900    60464   199974 |        1   207581     31 |  0.000 % |
871.40/871.42	c |   5064916 |     900    60464   199974 |        1   220335     32 |  0.000 % |
871.40/871.42	c |   5069259 |     900    60464   199974 |        1   224678     33 |  0.000 % |
871.40/871.42	c |   5070041 |     900    60464   199974 |        1   225460     33 |  0.000 % |
871.40/871.42	c |   5076789 |     900    60464   199974 |        1   232208     33 |  0.000 % |
871.40/871.42	c |   5099543 |     900    60464   199974 |        1   254962     34 |  0.000 % |
871.40/871.42	c |   5118280 |     900    60464   199974 |        1   273699     35 |  0.000 % |
871.40/871.42	c |   5139196 |     900    60464   199974 |        1   294615     36 |  0.000 % |
871.40/871.42	c |   5141388 |     900    60464   199974 |        1   296807     36 |  0.000 % |
871.40/871.42	c |   5141541 |     900    60464   199974 |        1   296960     36 |  0.000 % |
871.40/871.42	c |   5141790 |     900    60464   199974 |        1   297209     36 |  0.000 % |
871.40/871.42	c |   5151113 |     900    60464   199974 |        1   306532     37 |  0.000 % |
871.40/871.42	c |   5166214 |     900    60464   199974 |        1   161634     26 |  0.000 % |
871.40/871.42	c |   5166400 |     900    60464   199974 |        1   161820     26 |  0.000 % |
871.40/871.42	c |   5180029 |     900    60464   199974 |        1   175449     28 |  0.000 % |
871.40/871.42	c |   5184274 |     900    60464   199974 |        1   179694     28 |  0.000 % |
871.40/871.42	c |   5191864 |     900    60464   199974 |        1   187284     29 |  0.000 % |
871.40/871.42	c |   5192348 |     900    60464   199974 |        1   187768     29 |  0.000 % |
871.40/871.42	c |   5192449 |     900    60464   199974 |        1   187869     29 |  0.000 % |
871.40/871.42	c |   5249501 |     900    60464   199974 |        1   244921     32 |  0.000 % |
871.40/871.42	c |   5251842 |     900    60464   199974 |        1   247262     32 |  0.000 % |
871.40/871.42	c |   5254436 |     900    60464   199974 |        1   249856     32 |  0.000 % |
871.40/871.42	c |   5259649 |     900    60464   199974 |        1   255069     33 |  0.000 % |
871.40/871.42	c |   5265887 |     900    60464   199974 |        1   261307     33 |  0.000 % |
871.40/871.42	c |   5278957 |     900    60464   199974 |        1   274377     34 |  0.000 % |
871.40/871.42	c |   5282124 |     900    60464   199974 |        1   277544     34 |  0.000 % |
871.40/871.42	c |   5282484 |     900    60464   199974 |        1   277904     34 |  0.000 % |
871.40/871.42	c |   5285089 |     900    60464   199974 |        1   280509     34 |  0.000 % |
871.40/871.42	c |   5285279 |     900    60464   199974 |        1   280699     34 |  0.000 % |
871.40/871.42	c |   5285829 |     900    60464   199974 |        1   281249     34 |  0.000 % |
871.40/871.42	c |   5290217 |     900    60464   199974 |        1   285637     34 |  0.000 % |
871.40/871.42	c |   5308016 |     900    60464   199974 |        1   303436     35 |  0.000 % |
871.40/871.42	c |   5311732 |     900    60464   199974 |        1   307152     35 |  0.000 % |
871.40/871.42	c |   5316503 |     900    60464   199974 |        1   311923     35 |  0.000 % |
871.40/871.42	c |   5326977 |     900    60464   199974 |        1   322397     35 |  0.000 % |
871.40/871.42	c |   5327078 |     900    60464   199974 |        1   322498     35 |  0.000 % |
871.40/871.42	c |   5327857 |     900    60464   199974 |        1   323277     35 |  0.000 % |
871.40/871.42	c |   5333625 |     900    60464   199974 |        1   166450     26 |  0.000 % |
871.40/871.42	c |   5333790 |     900    60464   199974 |        1   166615     26 |  0.000 % |
871.40/871.42	c |   5334845 |     900    60464   199974 |        1   167670     26 |  0.000 % |
871.40/871.42	c |   5351956 |     900    60464   199974 |        1   184781     28 |  0.000 % |
871.40/871.42	c |   5353132 |     900    60464   199974 |        1   185957     28 |  0.000 % |
871.40/871.42	c |   5373777 |     900    60464   199974 |        1   206602     30 |  0.000 % |
871.40/871.42	c |   5393916 |     900    60464   199974 |        1   226741     31 |  0.000 % |
871.40/871.42	c |   5399795 |     900    60464   199974 |        1   232620     32 |  0.000 % |
871.40/871.42	c |   5399957 |     900    60464   199974 |        1   232782     32 |  0.000 % |
871.40/871.42	c |   5408061 |     900    60464   199974 |        1   240886     32 |  0.000 % |
922.00/922.05	c |   5413439 |     900    60464   199974 |        1   246264     33 |  0.000 % |
922.00/922.05	c |   5425930 |     900    60464   199974 |        1   258755     33 |  0.000 % |
922.00/922.05	c |   5427093 |     900    60464   199974 |        1   259918     33 |  0.000 % |
922.00/922.05	c |   5455296 |     900    60464   199974 |        1   288121     35 |  0.000 % |
922.00/922.05	c |   5455398 |     900    60464   199974 |        1   288223     35 |  0.000 % |
922.00/922.05	c |   5458878 |     900    60464   199974 |        1   291703     35 |  0.000 % |
922.00/922.05	c |   5460966 |     900    60464   199974 |        1   293791     35 |  0.000 % |
922.00/922.05	c |   5461067 |     900    60464   199974 |        1   293892     35 |  0.000 % |
922.00/922.05	c |   5461784 |     900    60464   199974 |        1   294609     35 |  0.000 % |
922.00/922.05	c |   5463135 |     900    60464   199974 |        1   295960     35 |  0.000 % |
922.00/922.05	c |   5463236 |     900    60464   199974 |        1   296061     35 |  0.000 % |
922.00/922.05	c |   5463337 |     900    60464   199974 |        1   296162     35 |  0.000 % |
922.00/922.05	c |   5467654 |     900    60464   199974 |        1   300479     35 |  0.000 % |
922.00/922.05	c |   5471373 |     900    60464   199974 |        1   304198     35 |  0.000 % |
922.00/922.05	c |   5471473 |     900    60464   199974 |        1   304298     35 |  0.000 % |
922.00/922.05	c |   5472799 |     900    60464   199974 |        1   305624     36 |  0.000 % |
922.00/922.05	c |   5473620 |     900    60464   199974 |        1   306445     36 |  0.000 % |
922.00/922.05	c |   5473971 |     900    60464   199974 |        1   306796     36 |  0.000 % |
922.00/922.05	c |   5474439 |     900    60464   199974 |        1   307264     36 |  0.000 % |
922.00/922.05	c |   5480675 |     900    60464   199974 |        1   313500     36 |  0.000 % |
922.00/922.05	c |   5481475 |     900    60464   199974 |        1   314300     36 |  0.000 % |
922.00/922.05	c |   5538081 |     900    60464   199974 |        1   205703     30 |  0.000 % |
922.00/922.05	c |   5538264 |     900    60464   199974 |        1   205886     30 |  0.000 % |
922.00/922.05	c |   5551208 |     900    60464   199974 |        1   218830     31 |  0.000 % |
922.00/922.05	c |   5552269 |     900    60464   199974 |        1   219891     31 |  0.000 % |
922.00/922.05	c |   5552370 |     900    60464   199974 |        1   219992     31 |  0.000 % |
922.00/922.05	c |   5557374 |     900    60464   199974 |        1   224996     31 |  0.000 % |
922.00/922.05	c |   5565401 |     900    60464   199974 |        1   233023     32 |  0.000 % |
922.00/922.05	c |   5568018 |     900    60464   199974 |        1   235640     32 |  0.000 % |
922.00/922.05	c |   5571037 |     900    60464   199974 |        1   238659     32 |  0.000 % |
922.00/922.05	c |   5571138 |     900    60464   199974 |        1   238760     32 |  0.000 % |
922.00/922.05	c |   5582796 |     900    60464   199974 |        1   250418     32 |  0.000 % |
922.00/922.05	c |   5594503 |     900    60464   199974 |        1   262125     33 |  0.000 % |
922.00/922.05	c |   5596849 |     900    60464   199974 |        1   264471     33 |  0.000 % |
922.00/922.05	c |   5602114 |     900    60464   199974 |        1   269736     33 |  0.000 % |
922.00/922.05	c |   5607796 |     900    60464   199974 |        1   275418     33 |  0.000 % |
922.00/922.05	c |   5608651 |     900    60464   199974 |        1   276273     33 |  0.000 % |
922.00/922.05	c |   5618103 |     900    60464   199974 |        1   285725     34 |  0.000 % |
922.00/922.05	c |   5618445 |     900    60464   199974 |        1   286067     34 |  0.000 % |
922.00/922.05	c |   5619035 |     900    60464   199974 |        1   286657     34 |  0.000 % |
922.00/922.05	c |   5619137 |     900    60464   199974 |        1   286759     34 |  0.000 % |
922.00/922.05	c |   5620131 |     900    60464   199974 |        1   287753     34 |  0.000 % |
922.00/922.05	c |   5631762 |     900    60464   199974 |        1   299384     34 |  0.000 % |
922.00/922.05	c |   5643449 |     900    60464   199974 |        1   311071     35 |  0.000 % |
922.00/922.05	c |   5643613 |     900    60464   199974 |        1   311235     35 |  0.000 % |
922.00/922.05	c |   5644833 |     900    60464   199974 |        1   312455     35 |  0.000 % |
922.00/922.05	c |   5652671 |     900    60464   199974 |        1   320293     35 |  0.000 % |
922.00/922.05	c |   5653403 |     900    60464   199974 |        1   321025     35 |  0.000 % |
922.00/922.05	c |   5662602 |     900    60464   199974 |        1   330224     36 |  0.000 % |
922.00/922.05	c |   5663780 |     900    60464   199974 |        1   331402     36 |  0.000 % |
958.90/958.92	c |   5673605 |     900    60464   199974 |        1   173423     26 |  0.000 % |
958.90/958.92	c |   5677356 |     900    60464   199974 |        1   177174     26 |  0.000 % |
958.90/958.92	c |   5694923 |     900    60464   199974 |        1   194741     28 |  0.000 % |
958.90/958.92	c |   5695287 |     900    60464   199974 |        1   195105     28 |  0.000 % |
958.90/958.92	c |   5704594 |     900    60464   199974 |        1   204412     29 |  0.000 % |
958.90/958.92	c |   5708804 |     900    60464   199974 |        1   208622     29 |  0.000 % |
958.90/958.92	c |   5708996 |     900    60464   199974 |        1   208814     29 |  0.000 % |
958.90/958.92	c |   5710409 |     900    60464   199974 |        1   210227     30 |  0.000 % |
958.90/958.92	c |   5718128 |     900    60464   199974 |        1   217946     30 |  0.000 % |
958.90/958.92	c |   5718526 |     900    60464   199974 |        1   218344     31 |  0.000 % |
958.90/958.92	c |   5719216 |     900    60464   199974 |        1   219034     31 |  0.000 % |
958.90/958.92	c |   5719335 |     900    60464   199974 |        1   219153     31 |  0.000 % |
958.90/958.92	c |   5719437 |     900    60464   199974 |        1   219255     31 |  0.000 % |
958.90/958.92	c |   5723639 |     900    60464   199974 |        1   223457     31 |  0.000 % |
958.90/958.92	c |   5725880 |     900    60464   199974 |        1   225698     31 |  0.000 % |
958.90/958.92	c |   5730881 |     900    60464   199974 |        1   230699     32 |  0.000 % |
958.90/958.92	c |   5731685 |     900    60464   199974 |        1   231503     32 |  0.000 % |
958.90/958.92	c |   5732956 |     900    60464   199974 |        1   232774     32 |  0.000 % |
958.90/958.92	c |   5733059 |     900    60464   199974 |        1   232877     32 |  0.000 % |
958.90/958.92	c |   5743095 |     900    60464   199974 |        1   242913     33 |  0.000 % |
958.90/958.92	c |   5745924 |     900    60464   199974 |        1   245742     33 |  0.000 % |
958.90/958.92	c |   5747839 |     900    60464   199974 |        1   247657     33 |  0.000 % |
958.90/958.92	c |   5764298 |     900    60464   199974 |        1   264116     34 |  0.000 % |
958.90/958.92	c |   5773803 |     900    60464   199974 |        1   273621     35 |  0.000 % |
958.90/958.92	c |   5773903 |     900    60464   199974 |        1   273721     35 |  0.000 % |
958.90/958.92	c |   5781004 |     900    60464   199974 |        1   280822     35 |  0.000 % |
958.90/958.92	c |   5794289 |     900    60464   199974 |        1   294107     36 |  0.000 % |
958.90/958.92	c |   5795526 |     900    60464   199974 |        1   295344     37 |  0.000 % |
958.90/958.92	c |   5795912 |     900    60464   199974 |        1   295730     37 |  0.000 % |
958.90/958.92	c |   5796012 |     900    60464   199974 |        1   295830     37 |  0.000 % |
958.90/958.92	c |   5796112 |     900    60464   199974 |        1   295930     37 |  0.000 % |
958.90/958.92	c |   5797656 |     900    60464   199974 |        1   297474     37 |  0.000 % |
958.90/958.92	c |   5805261 |     900    60464   199974 |        1   305079     37 |  0.000 % |
958.90/958.92	c |   5805568 |     900    60464   199974 |        1   305386     37 |  0.000 % |
958.90/958.92	c |   5810869 |     900    60464   199974 |        1   310687     37 |  0.000 % |
958.90/958.92	c |   5811407 |     900    60464   199974 |        1   311225     37 |  0.000 % |
958.90/958.92	c |   5814061 |     900    60464   199974 |        1   313879     38 |  0.000 % |
958.90/958.92	c |   5814965 |     900    60464   199974 |        1   314783     38 |  0.000 % |
958.90/958.92	c |   5821386 |     900    60464   199974 |        1   321204     38 |  0.000 % |
958.90/958.92	c |   5821511 |     900    60464   199974 |        1   321329     38 |  0.000 % |
958.90/958.92	c |   5825955 |     900    60464   199974 |        1   325773     38 |  0.000 % |
958.90/958.92	c |   5826055 |     900    60464   199974 |        1   325873     38 |  0.000 % |
958.90/958.92	c |   5831645 |     900    60464   199974 |        1   331463     39 |  0.000 % |
958.90/958.92	c |   5840397 |     900    60464   199974 |        1   340215     39 |  0.000 % |
958.90/958.92	c |   5854835 |     900    60464   199974 |        1   184246     28 |  0.000 % |
958.90/958.92	c |   5865643 |     900    60464   199974 |        1   195054     29 |  0.000 % |
958.90/958.92	c |   5865850 |     900    60464   199974 |        1   195261     29 |  0.000 % |
958.90/958.92	c |   5873120 |     900    60464   199974 |        1   202531     30 |  0.000 % |
958.90/958.92	c |   5876730 |     900    60464   199974 |        1   206141     30 |  0.000 % |
958.90/958.92	c |   5876830 |     900    60464   199974 |        1   206241     30 |  0.000 % |
1006.41/1006.40	c |   5877345 |     900    60464   199974 |        1   206756     30 |  0.000 % |
1006.41/1006.40	c |   5877715 |     900    60464   199974 |        1   207126     30 |  0.000 % |
1006.41/1006.40	c |   5878303 |     900    60464   199974 |        1   207714     31 |  0.000 % |
1006.41/1006.40	c |   5889388 |     900    60464   199974 |        1   218799     31 |  0.000 % |
1006.41/1006.40	c |   5901967 |     900    60464   199974 |        1   231378     32 |  0.000 % |
1006.41/1006.40	c |   5921173 |     900    60464   199974 |        1   250584     33 |  0.000 % |
1006.41/1006.40	c |   5925331 |     900    60464   199974 |        1   254742     33 |  0.000 % |
1006.41/1006.40	c |   5925431 |     900    60464   199974 |        1   254842     33 |  0.000 % |
1006.41/1006.40	c |   5925637 |     900    60464   199974 |        1   255048     33 |  0.000 % |
1006.41/1006.40	c |   5927645 |     900    60464   199974 |        1   257056     33 |  0.000 % |
1006.41/1006.40	c |   5942163 |     900    60464   199974 |        1   271574     34 |  0.000 % |
1006.41/1006.40	c |   5943378 |     900    60464   199974 |        1   272789     34 |  0.000 % |
1006.41/1006.40	c |   5947025 |     900    60464   199974 |        1   276436     34 |  0.000 % |
1006.41/1006.40	c |   5947125 |     900    60464   199974 |        1   276536     34 |  0.000 % |
1006.41/1006.40	c |   5956189 |     900    60464   199974 |        1   285600     35 |  0.000 % |
1006.41/1006.40	c |   5956290 |     900    60464   199974 |        1   285701     35 |  0.000 % |
1006.41/1006.40	c |   5976599 |     900    60464   199974 |        1   306010     36 |  0.000 % |
1006.41/1006.40	c |   5976700 |     900    60464   199974 |        1   306111     36 |  0.000 % |
1006.41/1006.40	c |   5983945 |     900    60464   199974 |        1   313356     36 |  0.000 % |
1006.41/1006.40	c |   5995031 |     900    60464   199974 |        1   324442     36 |  0.000 % |
1006.41/1006.40	c |   5996949 |     900    60464   199974 |        1   326360     37 |  0.000 % |
1006.41/1006.40	c |   6012547 |     900    60464   199974 |        1   341958     37 |  0.000 % |
1006.41/1006.40	c |   6019080 |     900    60464   199974 |        1   175493     26 |  0.000 % |
1006.41/1006.40	c |   6023638 |     900    60464   199974 |        1   180051     26 |  0.000 % |
1006.41/1006.40	c |   6032977 |     900    60464   199974 |        1   189390     27 |  0.000 % |
1006.41/1006.40	c |   6033155 |     900    60464   199974 |        1   189568     27 |  0.000 % |
1006.41/1006.40	c |   6039647 |     900    60464   199974 |        1   196060     28 |  0.000 % |
1006.41/1006.40	c |   6041264 |     900    60464   199974 |        1   197677     28 |  0.000 % |
1006.41/1006.40	c |   6041986 |     900    60464   199974 |        1   198399     28 |  0.000 % |
1006.41/1006.40	c |   6043710 |     900    60464   199974 |        1   200123     28 |  0.000 % |
1006.41/1006.40	c |   6044635 |     900    60464   199974 |        1   201048     28 |  0.000 % |
1006.41/1006.40	c |   6046883 |     900    60464   199974 |        1   203296     28 |  0.000 % |
1006.41/1006.40	c |   6050544 |     900    60464   199974 |        1   206957     29 |  0.000 % |
1006.41/1006.40	c |   6053288 |     900    60464   199974 |        1   209701     29 |  0.000 % |
1006.41/1006.40	c |   6055030 |     900    60464   199974 |        1   211443     29 |  0.000 % |
1006.41/1006.40	c |   6058486 |     900    60464   199974 |        1   214899     30 |  0.000 % |
1006.41/1006.40	c |   6058587 |     900    60464   199974 |        1   215000     30 |  0.000 % |
1006.41/1006.40	c |   6064249 |     900    60464   199974 |        1   220662     30 |  0.000 % |
1006.41/1006.40	c |   6065220 |     900    60464   199974 |        1   221633     30 |  0.000 % |
1006.41/1006.40	c |   6070699 |     900    60464   199974 |        1   227112     30 |  0.000 % |
1006.41/1006.40	c |   6078136 |     900    60464   199974 |        1   234549     31 |  0.000 % |
1006.41/1006.40	c |   6081905 |     900    60464   199974 |        1   238318     31 |  0.000 % |
1006.41/1006.40	c |   6094367 |     900    60464   199974 |        1   250780     32 |  0.000 % |
1006.41/1006.40	c |   6097421 |     900    60464   199974 |        1   253834     33 |  0.000 % |
1006.41/1006.40	c |   6106065 |     900    60464   199974 |        1   262478     33 |  0.000 % |
1006.41/1006.40	c |   6113152 |     900    60464   199974 |        1   269565     33 |  0.000 % |
1006.41/1006.40	c |   6117577 |     900    60464   199974 |        1   273990     33 |  0.000 % |
1006.41/1006.40	c |   6121158 |     900    60464   199974 |        1   277571     33 |  0.000 % |
1006.41/1006.40	c |   6122619 |     900    60464   199974 |        1   279032     33 |  0.000 % |
1006.41/1006.40	c |   6122877 |     900    60464   199974 |        1   279290     33 |  0.000 % |
1074.21/1074.21	c |   6138160 |     900    60464   199974 |        1   294573     34 |  0.000 % |
1074.21/1074.21	c |   6181372 |     900    60464   199974 |        1   337785     36 |  0.000 % |
1074.21/1074.21	c |   6183327 |     900    60464   199974 |        1   339740     36 |  0.000 % |
1074.21/1074.21	c |   6183606 |     900    60464   199974 |        1   340019     36 |  0.000 % |
1074.21/1074.21	c |   6193763 |     900    60464   199974 |        1   350176     36 |  0.000 % |
1074.21/1074.21	c |   6193866 |     900    60464   199974 |        1   350279     36 |  0.000 % |
1074.21/1074.21	c |   6194269 |     900    60464   199974 |        1   350682     36 |  0.000 % |
1074.21/1074.21	c |   6194432 |     900    60464   199974 |        1   350845     36 |  0.000 % |
1074.21/1074.21	c |   6194817 |     900    60464   199974 |        1   175631     25 |  0.000 % |
1074.21/1074.21	c |   6215690 |     900    60464   199974 |        1   196504     27 |  0.000 % |
1074.21/1074.21	c |   6222468 |     900    60464   199974 |        1   203282     28 |  0.000 % |
1074.21/1074.21	c |   6224278 |     900    60464   199974 |        1   205092     28 |  0.000 % |
1074.21/1074.21	c |   6230038 |     900    60464   199974 |        1   210852     28 |  0.000 % |
1074.21/1074.21	c |   6252412 |     900    60464   199974 |        1   233226     30 |  0.000 % |
1074.21/1074.21	c |   6253641 |     900    60464   199974 |        1   234455     30 |  0.000 % |
1074.21/1074.21	c |   6258057 |     900    60464   199974 |        1   238871     30 |  0.000 % |
1074.21/1074.21	c |   6262384 |     900    60464   199974 |        1   243198     31 |  0.000 % |
1074.21/1074.21	c |   6262585 |     900    60464   199974 |        1   243399     31 |  0.000 % |
1074.21/1074.21	c |   6264208 |     900    60464   199974 |        1   245022     31 |  0.000 % |
1074.21/1074.21	c |   6271309 |     900    60464   199974 |        1   252123     31 |  0.000 % |
1074.21/1074.21	c |   6274248 |     900    60464   199974 |        1   255062     31 |  0.000 % |
1074.21/1074.21	c |   6274349 |     900    60464   199974 |        1   255163     31 |  0.000 % |
1074.21/1074.21	c |   6276467 |     900    60464   199974 |        1   257281     31 |  0.000 % |
1074.21/1074.21	c |   6277895 |     900    60464   199974 |        1   258709     32 |  0.000 % |
1074.21/1074.21	c |   6278093 |     900    60464   199974 |        1   258907     32 |  0.000 % |
1074.21/1074.21	c |   6284971 |     900    60464   199974 |        1   265785     32 |  0.000 % |
1074.21/1074.21	c |   6285456 |     900    60464   199974 |        1   266270     32 |  0.000 % |
1074.21/1074.21	c |   6286445 |     900    60464   199974 |        1   267259     32 |  0.000 % |
1074.21/1074.21	c |   6286577 |     900    60464   199974 |        1   267391     32 |  0.000 % |
1074.21/1074.21	c |   6299597 |     900    60464   199974 |        1   280411     34 |  0.000 % |
1074.21/1074.21	c |   6299700 |     900    60464   199974 |        1   280514     34 |  0.000 % |
1074.21/1074.21	c |   6329673 |     900    60464   199974 |        1   310487     34 |  0.000 % |
1074.21/1074.21	c |   6330548 |     900    60464   199974 |        1   311362     34 |  0.000 % |
1074.21/1074.21	c |   6331239 |     900    60464   199974 |        1   312053     34 |  0.000 % |
1074.21/1074.21	c |   6347811 |     900    60464   199974 |        1   328625     35 |  0.000 % |
1074.21/1074.21	c |   6348773 |     900    60464   199974 |        1   329587     35 |  0.000 % |
1074.21/1074.21	c |   6350846 |     900    60464   199974 |        1   331660     35 |  0.000 % |
1074.21/1074.21	c |   6381239 |     900    60464   199974 |        1   183859     25 |  0.000 % |
1074.21/1074.21	c |   6381341 |     900    60464   199974 |        1   183961     25 |  0.000 % |
1074.21/1074.21	c |   6384075 |     900    60464   199974 |        1   186695     26 |  0.000 % |
1074.21/1074.21	c |   6397934 |     900    60464   199974 |        1   200554     27 |  0.000 % |
1074.21/1074.21	c |   6407948 |     900    60464   199974 |        1   210568     28 |  0.000 % |
1074.21/1074.21	c |   6425241 |     900    60464   199974 |        1   227861     30 |  0.000 % |
1074.21/1074.21	c |   6425449 |     900    60464   199974 |        1   228069     30 |  0.000 % |
1074.21/1074.21	c |   6425570 |     900    60464   199974 |        1   228190     30 |  0.000 % |
1074.21/1074.21	c |   6425953 |     900    60464   199974 |        1   228573     30 |  0.000 % |
1074.21/1074.21	c |   6430755 |     900    60464   199974 |        1   233375     30 |  0.000 % |
1074.21/1074.21	c |   6431809 |     900    60464   199974 |        1   234429     30 |  0.000 % |
1074.21/1074.21	c |   6443977 |     900    60464   199974 |        1   246597     31 |  0.000 % |
1074.21/1074.21	c |   6451163 |     900    60464   199974 |        1   253783     31 |  0.000 % |
1133.91/1133.90	c |   6456839 |     900    60464   199974 |        1   259459     32 |  0.000 % |
1133.91/1133.90	c |   6461405 |     900    60464   199974 |        1   264025     32 |  0.000 % |
1133.91/1133.90	c |   6461505 |     900    60464   199974 |        1   264125     32 |  0.000 % |
1133.91/1133.90	c |   6463425 |     900    60464   199974 |        1   266045     32 |  0.000 % |
1133.91/1133.90	c |   6471422 |     900    60464   199974 |        1   274042     33 |  0.000 % |
1133.91/1133.90	c |   6475536 |     900    60464   199974 |        1   278156     33 |  0.000 % |
1133.91/1133.90	c |   6475660 |     900    60464   199974 |        1   278280     33 |  0.000 % |
1133.91/1133.90	c |   6475800 |     900    60464   199974 |        1   278420     33 |  0.000 % |
1133.91/1133.90	c |   6479690 |     900    60464   199974 |        1   282310     33 |  0.000 % |
1133.91/1133.90	c |   6498825 |     900    60464   199974 |        1   301445     34 |  0.000 % |
1133.91/1133.90	c |   6508283 |     900    60464   199974 |        1   310903     34 |  0.000 % |
1133.91/1133.90	c |   6513086 |     900    60464   199974 |        1   315706     34 |  0.000 % |
1133.91/1133.90	c |   6520175 |     900    60464   199974 |        1   322795     35 |  0.000 % |
1133.91/1133.90	c |   6532390 |     900    60464   199974 |        1   335010     35 |  0.000 % |
1133.91/1133.90	c |   6536073 |     900    60464   199974 |        1   338693     35 |  0.000 % |
1133.91/1133.90	c |   6538229 |     900    60464   199974 |        1   340849     35 |  0.000 % |
1133.91/1133.90	c |   6538681 |     900    60464   199974 |        1   341301     35 |  0.000 % |
1133.91/1133.90	c |   6538815 |     900    60464   199974 |        1   341435     35 |  0.000 % |
1133.91/1133.90	c |   6545159 |     900    60464   199974 |        1   347779     35 |  0.000 % |
1133.91/1133.90	c |   6550739 |     900    60464   199974 |        1   353359     36 |  0.000 % |
1133.91/1133.90	c |   6556342 |     900    60464   199974 |        1   358962     36 |  0.000 % |
1133.91/1133.90	c |   6558297 |     900    60464   199974 |        1   360917     36 |  0.000 % |
1133.91/1133.90	c |   6569639 |     900    60464   199974 |        1   191454     26 |  0.000 % |
1133.91/1133.90	c |   6569851 |     900    60464   199974 |        1   191666     26 |  0.000 % |
1133.91/1133.90	c |   6573394 |     900    60464   199974 |        1   195209     27 |  0.000 % |
1133.91/1133.90	c |   6584509 |     900    60464   199974 |        1   206324     28 |  0.000 % |
1133.91/1133.90	c |   6601046 |     900    60464   199974 |        1   222861     29 |  0.000 % |
1133.91/1133.90	c |   6616171 |     900    60464   199974 |        1   237986     30 |  0.000 % |
1133.91/1133.90	c |   6616920 |     900    60464   199974 |        1   238735     30 |  0.000 % |
1133.91/1133.90	c |   6618555 |     900    60464   199974 |        1   240370     30 |  0.000 % |
1133.91/1133.90	c |   6629983 |     900    60464   199974 |        1   251798     32 |  0.000 % |
1133.91/1133.90	c |   6631721 |     900    60464   199974 |        1   253536     32 |  0.000 % |
1133.91/1133.90	c |   6632085 |     900    60464   199974 |        1   253900     32 |  0.000 % |
1133.91/1133.90	c |   6638863 |     900    60464   199974 |        1   260678     32 |  0.000 % |
1133.91/1133.90	c |   6641985 |     900    60464   199974 |        1   263800     32 |  0.000 % |
1133.91/1133.90	c |   6656628 |     900    60464   199974 |        1   278443     33 |  0.000 % |
1133.91/1133.90	c |   6668276 |     900    60464   199974 |        1   290091     33 |  0.000 % |
1133.91/1133.90	c |   6687272 |     900    60464   199974 |        1   309087     35 |  0.000 % |
1133.91/1133.90	c |   6692720 |     900    60464   199974 |        1   314535     35 |  0.000 % |
1133.91/1133.90	c |   6692820 |     900    60464   199974 |        1   314635     35 |  0.000 % |
1133.91/1133.90	c |   6696178 |     900    60464   199974 |        1   317993     35 |  0.000 % |
1133.91/1133.90	c |   6696753 |     900    60464   199974 |        1   318568     35 |  0.000 % |
1133.91/1133.90	c |   6704770 |     900    60464   199974 |        1   326585     35 |  0.000 % |
1133.91/1133.90	c |   6710745 |     900    60464   199974 |        1   332560     35 |  0.000 % |
1133.91/1133.90	c |   6731378 |     900    60464   199974 |        1   353193     36 |  0.000 % |
1133.91/1133.90	c |   6735634 |     900    60464   199974 |        1   357449     36 |  0.000 % |
1133.91/1133.90	c |   6739408 |     900    60464   199974 |        1   361223     36 |  0.000 % |
1133.91/1133.90	c |   6739609 |     900    60464   199974 |        1   361424     36 |  0.000 % |
1133.91/1133.90	c |   6745215 |     900    60464   199974 |        1   183631     25 |  0.000 % |
1133.91/1133.90	c |   6752176 |     900    60464   199974 |        1   190592     26 |  0.000 % |
1188.81/1188.82	c |   6768192 |     900    60464   199974 |        1   206608     28 |  0.000 % |
1188.81/1188.82	c |   6768567 |     900    60464   199974 |        1   206983     28 |  0.000 % |
1188.81/1188.82	c |   6786653 |     900    60464   199974 |        1   225069     30 |  0.000 % |
1188.81/1188.82	c |   6787720 |     900    60464   199974 |        1   226136     30 |  0.000 % |
1188.81/1188.82	c |   6793621 |     900    60464   199974 |        1   232037     30 |  0.000 % |
1188.81/1188.82	c |   6793721 |     900    60464   199974 |        1   232137     30 |  0.000 % |
1188.81/1188.82	c |   6803247 |     900    60464   199974 |        1   241663     31 |  0.000 % |
1188.81/1188.82	c |   6821114 |     900    60464   199974 |        1   259530     32 |  0.000 % |
1188.81/1188.82	c |   6822564 |     900    60464   199974 |        1   260980     32 |  0.000 % |
1188.81/1188.82	c |   6825280 |     900    60464   199974 |        1   263696     32 |  0.000 % |
1188.81/1188.82	c |   6842388 |     900    60464   199974 |        1   280804     33 |  0.000 % |
1188.81/1188.82	c |   6847166 |     900    60464   199974 |        1   285582     33 |  0.000 % |
1188.81/1188.82	c |   6849228 |     900    60464   199974 |        1   287644     33 |  0.000 % |
1188.81/1188.82	c |   6849330 |     900    60464   199974 |        1   287746     33 |  0.000 % |
1188.81/1188.82	c |   6861233 |     900    60464   199974 |        1   299649     34 |  0.000 % |
1188.81/1188.82	c |   6861334 |     900    60464   199974 |        1   299750     34 |  0.000 % |
1188.81/1188.82	c |   6866557 |     900    60464   199974 |        1   304973     34 |  0.000 % |
1188.81/1188.82	c |   6867101 |     900    60464   199974 |        1   305517     34 |  0.000 % |
1188.81/1188.82	c |   6872639 |     900    60464   199974 |        1   311055     34 |  0.000 % |
1188.81/1188.82	c |   6872847 |     900    60464   199974 |        1   311263     34 |  0.000 % |
1188.81/1188.82	c |   6872947 |     900    60464   199974 |        1   311363     34 |  0.000 % |
1188.81/1188.82	c |   6883489 |     900    60464   199974 |        1   321905     35 |  0.000 % |
1188.81/1188.82	c |   6883594 |     900    60464   199974 |        1   322010     35 |  0.000 % |
1188.81/1188.82	c |   6904943 |     900    60464   199974 |        1   343359     35 |  0.000 % |
1188.81/1188.82	c |   6907767 |     900    60464   199974 |        1   346183     36 |  0.000 % |
1188.81/1188.82	c |   6907867 |     900    60464   199974 |        1   346283     36 |  0.000 % |
1188.81/1188.82	c |   6922996 |     900    60464   199974 |        1   361412     36 |  0.000 % |
1188.81/1188.82	c |   6923096 |     900    60464   199974 |        1   361512     36 |  0.000 % |
1188.81/1188.82	c |   6929559 |     900    60464   199974 |        1   367975     36 |  0.000 % |
1188.81/1188.82	c |   6930090 |     900    60464   199974 |        1   368506     36 |  0.000 % |
1188.81/1188.82	c |   6942592 |     900    60464   199974 |        1   195011     26 |  0.000 % |
1188.81/1188.82	c |   6942873 |     900    60464   199974 |        1   195292     26 |  0.000 % |
1188.81/1188.82	c |   6944712 |     900    60464   199974 |        1   197131     26 |  0.000 % |
1188.81/1188.82	c |   6947249 |     900    60464   199974 |        1   199668     26 |  0.000 % |
1188.81/1188.82	c |   6953737 |     900    60464   199974 |        1   206156     27 |  0.000 % |
1188.81/1188.82	c |   6958764 |     900    60464   199974 |        1   211183     28 |  0.000 % |
1188.81/1188.82	c |   6960151 |     900    60464   199974 |        1   212570     28 |  0.000 % |
1188.81/1188.82	c |   6964808 |     900    60464   199974 |        1   217227     28 |  0.000 % |
1188.81/1188.82	c |   6966736 |     900    60464   199974 |        1   219155     28 |  0.000 % |
1188.81/1188.82	c |   6966853 |     900    60464   199974 |        1   219272     28 |  0.000 % |
1188.81/1188.82	c |   6970944 |     900    60464   199974 |        1   223363     29 |  0.000 % |
1188.81/1188.82	c |   6980006 |     900    60464   199974 |        1   232425     29 |  0.000 % |
1188.81/1188.82	c |   6980109 |     900    60464   199974 |        1   232528     30 |  0.000 % |
1188.81/1188.82	c |   6990360 |     900    60464   199974 |        1   242779     30 |  0.000 % |
1188.81/1188.82	c |   6993370 |     900    60464   199974 |        1   245789     31 |  0.000 % |
1188.81/1188.82	c |   6994621 |     900    60464   199974 |        1   247040     31 |  0.000 % |
1188.81/1188.82	c |   6996966 |     900    60464   199974 |        1   249385     31 |  0.000 % |
1188.81/1188.82	c |   7000097 |     900    60464   199974 |        1   252516     31 |  0.000 % |
1188.81/1188.82	c |   7003182 |     900    60464   199974 |        1   255601     31 |  0.000 % |
1188.81/1188.82	c |   7006388 |     900    60464   199974 |        1   258807     31 |  0.000 % |
1262.61/1262.68	c |   7010140 |     900    60464   199974 |        1   262559     32 |  0.000 % |
1262.61/1262.68	c |   7013585 |     900    60464   199974 |        1   266004     32 |  0.000 % |
1262.61/1262.68	c |   7013685 |     900    60464   199974 |        1   266104     32 |  0.000 % |
1262.61/1262.68	c |   7014590 |     900    60464   199974 |        1   267009     32 |  0.000 % |
1262.61/1262.68	c |   7032665 |     900    60464   199974 |        1   285084     34 |  0.000 % |
1262.61/1262.68	c |   7033277 |     900    60464   199974 |        1   285696     34 |  0.000 % |
1262.61/1262.68	c |   7034241 |     900    60464   199974 |        1   286660     34 |  0.000 % |
1262.61/1262.68	c |   7048982 |     900    60464   199974 |        1   301401     35 |  0.000 % |
1262.61/1262.68	c |   7073420 |     900    60464   199974 |        1   325839     36 |  0.000 % |
1262.61/1262.68	c |   7087176 |     900    60464   199974 |        1   339595     36 |  0.000 % |
1262.61/1262.68	c |   7088368 |     900    60464   199974 |        1   340787     36 |  0.000 % |
1262.61/1262.68	c |   7092809 |     900    60464   199974 |        1   345228     36 |  0.000 % |
1262.61/1262.68	c |   7097821 |     900    60464   199974 |        1   350240     36 |  0.000 % |
1262.61/1262.68	c |   7114057 |     900    60464   199974 |        1   366476     37 |  0.000 % |
1262.61/1262.68	c |   7130922 |     900    60464   199974 |        1   194739     26 |  0.000 % |
1262.61/1262.68	c |   7134564 |     900    60464   199974 |        1   198381     26 |  0.000 % |
1262.61/1262.68	c |   7134666 |     900    60464   199974 |        1   198483     26 |  0.000 % |
1262.61/1262.68	c |   7135202 |     900    60464   199974 |        1   199019     27 |  0.000 % |
1262.61/1262.68	c |   7140448 |     900    60464   199974 |        1   204265     27 |  0.000 % |
1262.61/1262.68	c |   7143073 |     900    60464   199974 |        1   206890     27 |  0.000 % |
1262.61/1262.68	c |   7143492 |     900    60464   199974 |        1   207309     27 |  0.000 % |
1262.61/1262.68	c |   7145292 |     900    60464   199974 |        1   209109     28 |  0.000 % |
1262.61/1262.68	c |   7147126 |     900    60464   199974 |        1   210943     28 |  0.000 % |
1262.61/1262.68	c |   7159769 |     900    60464   199974 |        1   223586     29 |  0.000 % |
1262.61/1262.68	c |   7166179 |     900    60464   199974 |        1   229996     30 |  0.000 % |
1262.61/1262.68	c |   7167514 |     900    60464   199974 |        1   231331     30 |  0.000 % |
1262.61/1262.68	c |   7178597 |     900    60464   199974 |        1   242414     31 |  0.000 % |
1262.61/1262.68	c |   7200139 |     900    60464   199974 |        1   263956     33 |  0.000 % |
1262.61/1262.68	c |   7213492 |     900    60464   199974 |        1   277309     34 |  0.000 % |
1262.61/1262.68	c |   7245049 |     900    60464   199974 |        1   308866     35 |  0.000 % |
1262.61/1262.68	c |   7249822 |     900    60464   199974 |        1   313639     36 |  0.000 % |
1262.61/1262.68	c |   7249922 |     900    60464   199974 |        1   313739     36 |  0.000 % |
1262.61/1262.68	c |   7250023 |     900    60464   199974 |        1   313840     36 |  0.000 % |
1262.61/1262.68	c |   7250751 |     900    60464   199974 |        1   314568     36 |  0.000 % |
1262.61/1262.68	c |   7250851 |     900    60464   199974 |        1   314668     36 |  0.000 % |
1262.61/1262.68	c |   7260232 |     900    60464   199974 |        1   324049     36 |  0.000 % |
1262.61/1262.68	c |   7260332 |     900    60464   199974 |        1   324149     36 |  0.000 % |
1262.61/1262.68	c |   7268161 |     900    60464   199974 |        1   331978     36 |  0.000 % |
1262.61/1262.68	c |   7268261 |     900    60464   199974 |        1   332078     36 |  0.000 % |
1262.61/1262.68	c |   7294990 |     900    60464   199974 |        1   358807     38 |  0.000 % |
1262.61/1262.68	c |   7295090 |     900    60464   199974 |        1   358907     38 |  0.000 % |
1262.61/1262.68	c |   7301892 |     900    60464   199974 |        1   365709     38 |  0.000 % |
1262.61/1262.68	c |   7317841 |     900    60464   199974 |        1   381658     38 |  0.000 % |
1262.61/1262.68	c |   7338778 |     900    60464   199974 |        1   211397     27 |  0.000 % |
1262.61/1262.68	c |   7354134 |     900    60464   199974 |        1   226753     29 |  0.000 % |
1262.61/1262.68	c |   7365344 |     900    60464   199974 |        1   237963     30 |  0.000 % |
1262.61/1262.68	c |   7367892 |     900    60464   199974 |        1   240511     30 |  0.000 % |
1262.61/1262.68	c |   7373513 |     900    60464   199974 |        1   246132     30 |  0.000 % |
1262.61/1262.68	c |   7373613 |     900    60464   199974 |        1   246232     30 |  0.000 % |
1262.61/1262.68	c |   7378564 |     900    60464   1999

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3259052-1303503341/watcher-3259052-1303503341 -o /tmp/evaluation-result-3259052-1303503341/solver-3259052-1303503341 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3259052-1303503341.cnf 

running on 2 cores: 1,3

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: 3.26 2.49 1.29 3/182 2317
/proc/meminfo: memFree=14317888/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 461934826 8912896 252 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 252 211 178 0 69 0

[startup+0.105867 s]
/proc/loadavg: 3.26 2.49 1.29 3/182 2317
/proc/meminfo: memFree=14317888/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 461934826 8912896 252 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.200816 s]
/proc/loadavg: 3.26 2.49 1.29 3/182 2317
/proc/meminfo: memFree=14317888/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+0.300796 s]
/proc/loadavg: 3.26 2.49 1.29 3/182 2317
/proc/meminfo: memFree=14317888/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+0.700722 s]
/proc/loadavg: 3.26 2.49 1.29 3/182 2317
/proc/meminfo: memFree=14317888/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+1.50061 s]
/proc/loadavg: 3.24 2.50 1.29 5/194 2340
/proc/meminfo: memFree=14258632/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=24276 CPUtime=1.33 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 5997 0 0 0 133 0 0 0 25 0 1 0 461934841 24858624 2895 33554432000 4194304 4260849 140735638013520 18446744073709551615 4227007 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 6069 2895 248 17 0 2710 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32980

[startup+3.10032 s]
/proc/loadavg: 3.24 2.50 1.29 5/194 2341
/proc/meminfo: memFree=14239040/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=31348 CPUtime=2.93 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 7674 0 0 0 293 0 0 0 25 0 1 0 461934841 32100352 4495 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 7837 4495 248 17 0 4478 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 40052

[startup+6.30073 s]
/proc/loadavg: 3.38 2.54 1.31 5/194 2341
/proc/meminfo: memFree=14196756/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=35768 CPUtime=6.14 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 9034 0 0 0 613 1 0 0 25 0 1 0 461934841 36626432 5753 33554432000 4194304 4260849 140735638013520 18446744073709551615 4209925 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 8942 5753 248 17 0 5583 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44472

[startup+12.7006 s]
/proc/loadavg: 3.43 2.56 1.33 5/194 2341
/proc/meminfo: memFree=14164292/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=42924 CPUtime=12.53 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 12754 0 0 0 1252 1 0 0 25 0 1 0 461934841 43954176 7130 33554432000 4194304 4260849 140735638013520 18446744073709551615 4210379 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 10731 7130 248 17 0 7372 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 51628

[startup+25.5002 s]
/proc/loadavg: 3.72 2.67 1.38 5/194 2342
/proc/meminfo: memFree=14114232/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=42924 CPUtime=25.33 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 16299 0 0 0 2531 2 0 0 25 0 1 0 461934841 43954176 7543 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 10731 7543 248 17 0 7372 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 51628

[startup+51.1005 s]
/proc/loadavg: 3.81 2.77 1.45 5/194 2342
/proc/meminfo: memFree=14079852/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=61608 CPUtime=50.94 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 20365 0 0 0 5091 3 0 0 25 0 1 0 461934841 63086592 11467 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 15402 11467 248 17 0 12043 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70312

[startup+102.301 s]
/proc/loadavg: 3.92 2.96 1.58 5/194 2344
/proc/meminfo: memFree=14001728/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=80460 CPUtime=102.14 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 30664 0 0 0 10210 4 0 0 25 0 1 0 461934841 82391040 16898 33554432000 4194304 4260849 140735638013520 18446744073709551615 4228560 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 20115 16898 249 17 0 16756 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 89164

[startup+162.301 s]
/proc/loadavg: 3.97 3.15 1.73 5/194 2345
/proc/meminfo: memFree=14007544/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=111888 CPUtime=162.14 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 41778 0 0 0 16207 7 0 0 25 0 1 0 461934841 114573312 17653 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 27972 17653 250 17 0 24613 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 120592

[startup+222.307 s]
/proc/loadavg: 4.02 3.31 1.87 5/194 2347
/proc/meminfo: memFree=13914276/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=111888 CPUtime=222.15 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 42733 0 0 0 22208 7 0 0 25 0 1 0 461934841 114573312 18591 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224669 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 27972 18591 250 17 0 24613 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 120592

[startup+282.301 s]
/proc/loadavg: 4.07 3.45 2.01 5/194 2349
/proc/meminfo: memFree=13916112/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=111888 CPUtime=282.14 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 74648 0 0 0 28203 11 0 0 25 0 1 0 461934841 114573312 19279 33554432000 4194304 4260849 140735638013520 18446744073709551615 4229353 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 27972 19279 250 17 0 24613 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 120592

[startup+342.301 s]
/proc/loadavg: 4.02 3.55 2.13 5/194 2350
/proc/meminfo: memFree=13868108/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=111888 CPUtime=342.15 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 109335 0 0 0 34199 16 0 0 25 0 1 0 461934841 114573312 19770 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 27972 19770 250 17 0 24613 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 120592

[startup+402.301 s]
/proc/loadavg: 4.01 3.63 2.25 5/194 2352
/proc/meminfo: memFree=13837956/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3

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

/proc/2327/statm: 40302 27768 250 17 0 36943 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 169912

[startup+702.301 s]
/proc/loadavg: 4.00 3.86 2.72 5/194 2360
/proc/meminfo: memFree=13741384/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=161208 CPUtime=702.15 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 276541 0 0 0 70171 44 0 0 25 0 1 0 461934841 165076992 30119 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 40302 30119 250 17 0 36943 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 169912

[startup+762.301 s]
/proc/loadavg: 4.00 3.88 2.80 5/194 2361
/proc/meminfo: memFree=13701188/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=161208 CPUtime=762.17 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 303056 0 0 0 76165 52 0 0 25 0 1 0 461934841 165076992 31440 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 40302 31440 250 17 0 36943 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 169912

[startup+822.301 s]
/proc/loadavg: 4.00 3.90 2.87 5/194 2363
/proc/meminfo: memFree=13787968/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=192028 CPUtime=822.16 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 329842 0 0 0 82158 58 0 0 25 0 1 0 461934841 196636672 32765 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 48007 32765 250 17 0 44648 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 200732

[startup+882.307 s]
/proc/loadavg: 4.04 3.93 2.94 5/194 2365
/proc/meminfo: memFree=13840148/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=161208 CPUtime=882.16 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 353507 0 0 0 88153 63 0 0 25 0 1 0 461934841 165076992 30943 33554432000 4194304 4260849 140735638013520 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 40302 30943 250 17 0 36943 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 169912

[startup+942.301 s]
/proc/loadavg: 4.01 3.94 3.01 5/194 2366
/proc/meminfo: memFree=13789912/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=161208 CPUtime=942.16 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 379561 0 0 0 94147 69 0 0 25 0 1 0 461934841 165076992 30647 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 40302 30647 250 17 0 36943 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 169912

[startup+1002.3 s]
/proc/loadavg: 4.00 3.95 3.07 5/194 2368
/proc/meminfo: memFree=13734968/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=161208 CPUtime=1002.16 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 406776 0 0 0 100142 74 0 0 25 0 1 0 461934841 165076992 29427 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 40302 29427 250 17 0 36943 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 169912

[startup+1062.3 s]
/proc/loadavg: 4.00 3.95 3.12 5/194 2369
/proc/meminfo: memFree=13783432/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=123616 CPUtime=1062.16 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 430848 0 0 0 106136 80 0 0 25 0 1 0 461934841 126582784 25535 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 30904 25535 250 17 0 27545 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 132320

[startup+1122.3 s]
/proc/loadavg: 4.00 3.96 3.17 5/194 2371
/proc/meminfo: memFree=13671072/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=172936 CPUtime=1122.17 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 459205 0 0 0 112130 87 0 0 25 0 1 0 461934841 177086464 39641 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 43234 39641 250 17 0 39875 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 181640

[startup+1182.3 s]
/proc/loadavg: 4.00 3.97 3.22 5/194 2373
/proc/meminfo: memFree=13712224/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=123616 CPUtime=1182.17 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 476538 0 0 0 118125 92 0 0 25 0 1 0 461934841 126582784 27624 33554432000 4194304 4260849 140735638013520 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 30904 27624 250 17 0 27545 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 132320

[startup+1242.3 s]
/proc/loadavg: 4.08 3.99 3.27 5/194 2374
/proc/meminfo: memFree=13708984/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=203756 CPUtime=1242.17 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 505264 0 0 0 124119 98 0 0 25 0 1 0 461934841 208646144 41070 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 50939 41070 250 17 0 47580 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 212460



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.03 3.99 3.31 4/192 2377
/proc/meminfo: memFree=13868828/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=123616 CPUtime=1299.88 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 522683 0 0 0 129884 104 0 0 25 0 1 0 461934841 126582784 27631 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 30904 27631 250 17 0 27545 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 132320

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

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

[startup+1300 s]
/proc/loadavg: 4.03 3.99 3.31 4/192 2377
/proc/meminfo: memFree=13868828/32951124 swapFree=67111528/67111528
[pid=2317] ppid=2315 vsize=8704 CPUtime=0.14 cores=1,3
/proc/2317/stat : 2317 (glucose.sh) S 2315 2317 2261 0 -1 4202496 361 1402 0 0 0 0 14 0 22 0 1 0 461934826 8912896 254 33554432000 4194304 4922060 140733352170256 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2317/statm: 2176 254 211 178 0 69 0
[pid=2327] ppid=2317 vsize=123616 CPUtime=1299.88 cores=1,3
/proc/2327/stat : 2327 (glucose_static) R 2317 2317 2261 0 -1 4202496 522683 0 0 0 129884 104 0 0 25 0 1 0 461934841 126582784 27631 33554432000 4194304 4260849 140735638013520 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2327/statm: 30904 27631 250 17 0 27545 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 132320

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2317 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=147977
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.152976
# while last known CPU time is 1300.02
#
# 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.02
CPU user time (s): 1298.98
CPU system time (s): 1.04
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 212460

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

runsolver used 2.07168 second user time and 5.02724 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-22 22:15:41
IDJOB=3259052
IDBENCH=71481
IDSOLVER=1651
FILE ID=node109/3259052-1303503341
RUNJOBID= node109-1303503341-2290
PBS_JOBID= 13134242
Free space on /tmp= 71272 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v945c61409g3.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259052-1303503341/watcher-3259052-1303503341 -o /tmp/evaluation-result-3259052-1303503341/solver-3259052-1303503341 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3259052-1303503341.cnf 

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

MD5SUM BENCH= 4de3b21cb74a7ec60763201555524736
RANDOM SEED=736713396

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14318532 kB
Buffers:       1897752 kB
Cached:       16088604 kB
SwapCached:          0 kB
Active:        9581828 kB
Inactive:      8478884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14318532 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7392 kB
Writeback:           0 kB
AnonPages:       73832 kB
Mapped:          14928 kB
Slab:           505312 kB
PageTables:       5068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   218860 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= 71260 MiB
End job on node109 at 2011-04-22 22:37:23