Trace number 4079884

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx30.opb
MD5SUMa013c9210a7cfe037db9246041ce6240
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables774
Total number of constraints994
Number of constraints which are clauses771
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints192
Minimum length of a constraint2
Maximum length of a constraint192
Number of terms in the objective function 3
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3
Number of bits of the sum of numbers in the objective function 2
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 380
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T04:23:17+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079884-1465266197.opb"]
0.00/0.01	c use --random-gen="2252915166 138199172 796429874 2005948250 1840538683 3944430279 2151061984 798642503 3358946214 1086598689 1451479596 3607714967 1476675621 3767649541 339171670 392121173 2215375142 2850444126 99364507 1094272091 1024003236 4198530790 99976915 4062588681 2243541359 4043994238 3466461334 2335192999 4009369615 3042767766 2414363737 1444886087 217076577 1288881616 4018444002 2519510655 3012437319 4287263235 2178997295 1742376888 2695856363 1818563670 1327870633 2794306983 3751041506 3034305101 370306095 4180777633 1210078391 1287250438 157171596 1508386875 330925808 2545190688 821507383 3537980879 210292280 606826566 3361178655 719879729 2618744821 2165935146 3963960811 1134691722 992050992 1135711945 328019332 960835218 3246603667 1798226992 1349172411 428683143 3446053505 1419190853 3014985175 1689062164 2426254517 1170653497 2847521313 1294166309 1831059787 622360545 992076598 1527607861 3434665649 583856848 505174802 2343657405 386663946 1977089668 2885552576 1178498090 212283473 1775579299 472451646 1502827987 1263519612 497228786 3075354395 457973985 235351228 2219114943 3897389823 580419748 735197294 1490052135 3598243952 1874142270 1853634125 158893215 2744054091 2750643834 2788197782 998207450 2212993795 568234615 3287371788 754856803 397974864 3964619403 2109330749 3381058779 3788784911 3594718663 849561671 856528431 992778383 3485431502 2213186904 694476371 2531327422 193117528 635691080 2804957666 1080881173 3107069840 4047862975 2095397990 41398435 1315731069 1777623068 771506934 3028504995 1184987763 155681259 2076864594 1808504024 1032731071 2815327687 2155507508 283758815 421840461 3898954792 3857757745 1016138358 3076805439 928986464 2706092243 15131416 962056708 983906601 1011547657 3529998024 1609995243 2987305494 3604516224 1011662797 2270240205 1716008421 26719405 392601827 2557573006 528258800 1534081382 2303828693 1882467338 768476730 1923548746 3225966420 3920675658 951529827 2684923964 2868615863 640396914 1616879800 2519853340 1750905222 4238484202 911581060 2786183187 1824013926 4030037112 860385750 1611523981 1202375755 696634080 1011465151 3972667213 4087410743 930357713 128000649 1105616754 1194952038 1711366788 531506917 3465824221 388042441 1877033834 1739139186 1518249203 4058677943 1057421304 3707811314 2091361796 2252747601 3164857284 2413212174 3495196277 3778088086 243097988 3324188996 778133532 1331016692 209036293 2505417138 2437648334 322247409 2011107516 2833646086 1793696014 2647609116 2358088113 3862889411 54617690 27449465 986664681 2038444400 364043359 1617301086 830929533 4024162135 591676380 1816448146 1886707307 1807886348 4206062464 504351903 3293749873 2012496934 1286816303 1536637647 2566188431 3539274127 2867613417 2034678262 630441027 255 362436" option to reproduce the execution
0.00/0.03	c #vars 774
0.00/0.03	c #constraints 994
0.00/0.06	c BCD2: Hardening is enabled.
0.00/0.06	c BCD2: BiasedSearch is enabled.
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      599      0 |        3 |        0
0.09/0.10	c  0.0s |       1 |      140 |      100 |      599      0 |        3 |      771
0.09/0.18	c  0.1s |       2 |      391 |      250 |      659      0 |        3 |      771
0.19/0.29	c  0.2s |       3 |      928 |      475 |      725      0 |        3 |      771
0.39/0.46	c  0.4s |       4 |     1450 |      813 |      798      0 |        3 |      771
0.69/0.71	c  0.6s |       5 |     2327 |     1320 |      878      1 |        3 |      771
0.99/1.06	c  1.0s |       6 |     3370 |     2081 |     1063      3 |        3 |      771
1.68/1.72	c  1.7s |       7 |     4924 |     3223 |     1170      4 |        3 |      771
2.29/2.39	c  2.3s |       8 |     7492 |     4936 |     1287      6 |        3 |      771
3.29/3.33	c  3.3s |       9 |    11229 |     7506 |     1416     10 |        3 |      771
4.79/4.85	c  4.8s |      10 |    16884 |    11361 |     1558     15 |        3 |      771
6.79/6.87	c  6.8s |      10 |    22270 |    15661 |     1558     19 |        3 |      771
7.39/7.47	c  7.4s |      11 |    24308 |    17144 |     1714     21 |        3 |      771
9.49/9.55	c  9.5s |      11 |    29749 |    20844 |     1714     25 |        3 |      771
11.59/11.61	c 11.5s |      11 |    33831 |    23944 |     1714     28 |        3 |      771
12.59/12.62	c 12.6s |      12 |    36956 |    25819 |     1886     30 |        3 |      771
14.59/14.65	c 14.6s |      12 |    41294 |    29319 |     1886     34 |        3 |      771
16.59/16.70	c 16.6s |      12 |    46172 |    32819 |     1886     37 |        3 |      771
18.69/18.77	c 18.7s |      12 |    50477 |    35919 |     1886     40 |        3 |      771
20.49/20.51	c 20.5s |      13 |    55003 |    38832 |     2075     43 |        3 |      771
22.49/22.56	c 22.5s |      13 |    60175 |    42532 |     2075     46 |        3 |      771
24.49/24.57	c 24.5s |      13 |    64962 |    45932 |     2075     49 |        3 |      771
26.49/26.57	c 26.5s |      13 |    69545 |    49332 |     2075     52 |        3 |      771
28.59/28.61	c 28.5s |      13 |    74288 |    53032 |     2075     55 |        3 |      771
30.59/30.64	c 30.6s |      13 |    79992 |    56532 |     2075     58 |        3 |      771
31.39/31.41	c 31.3s |      14 |    82451 |    58352 |     2283     60 |        3 |      771
33.38/33.41	c 33.3s |      14 |    89697 |    63252 |     2283     64 |        3 |      771
35.38/35.44	c 35.4s |      14 |    95986 |    67652 |     2283     67 |        3 |      771
37.39/37.48	c 37.4s |      14 |   102115 |    72252 |     2283     71 |        3 |      771
39.48/39.51	c 39.4s |      14 |   107270 |    75952 |     2283     74 |        3 |      771
41.48/41.57	c 41.5s |      14 |   111204 |    78852 |     2283     76 |        3 |      771
43.58/43.66	c 43.6s |      14 |   114295 |    81152 |     2283     78 |        3 |      771
45.68/45.72	c 45.7s |      14 |   117980 |    83952 |     2283     80 |        3 |      771
47.68/47.77	c 47.7s |      14 |   121306 |    86452 |     2283     82 |        3 |      771
48.98/49.08	c 49.0s |      15 |   122724 |    87632 |     2512     83 |        3 |      771
51.18/51.26	c 51.2s |      15 |   125735 |    89632 |     2512     84 |        3 |      771
53.28/53.36	c 53.3s |      15 |   127967 |    91132 |     2512     85 |        3 |      771
55.48/55.50	c 55.4s |      15 |   130768 |    92832 |     2512     86 |        3 |      771
57.48/57.52	c 57.5s |      15 |   133059 |    94532 |     2512     88 |        3 |      771
59.49/59.54	c 59.5s |      15 |   134788 |    96032 |     2512     89 |        3 |      771
61.48/61.58	c 61.5s |      15 |   137426 |    98132 |     2512     90 |        3 |      771
63.58/63.63	c 63.6s |      15 |   141159 |   101432 |     2512     92 |        3 |      771
65.58/65.69	c 65.6s |      15 |   145638 |   104432 |     2512     95 |        3 |      771
67.67/67.74	c 67.7s |      15 |   148450 |   106732 |     2512     96 |        3 |      771
69.67/69.74	c 69.7s |      15 |   151292 |   109232 |     2512     98 |        3 |      771
71.67/71.77	c 71.7s |      15 |   155038 |   112132 |     2512    100 |        3 |      771
73.68/73.77	c 73.7s |      15 |   158931 |   115032 |     2512    103 |        3 |      771
75.77/75.80	c 75.7s |      15 |   163771 |   118732 |     2512    105 |        3 |      771
77.77/77.83	c 77.8s |      15 |   168898 |   122732 |     2512    108 |        3 |      771
79.77/79.84	c 79.8s |      15 |   174583 |   126532 |     2512    111 |        3 |      771
81.87/81.91	c 81.8s |      15 |   177525 |   128832 |     2512    113 |        3 |      771
83.27/83.31	c 83.2s |      16 |   181607 |   131552 |     2764    115 |        3 |      771
85.27/85.33	c 85.3s |      16 |   188316 |   136452 |     2764    118 |        3 |      771
87.27/87.35	c 87.3s |      16 |   194455 |   141352 |     2764    121 |        3 |      771
89.37/89.40	c 89.3s |      16 |   200549 |   145752 |     2764    124 |        3 |      771
91.38/91.41	c 91.3s |      16 |   206204 |   149652 |     2764    127 |        3 |      771
93.37/93.41	c 93.3s |      16 |   211664 |   153952 |     2764    130 |        3 |      771
95.38/95.42	c 95.4s |      16 |   217554 |   158252 |     2764    133 |        3 |      771
97.38/97.42	c 97.4s |      16 |   223325 |   162152 |     2764    135 |        3 |      771
99.38/99.46	c 99.4s |      16 |   227840 |   165552 |     2764    137 |        3 |      771
101.38/101.46	c  101s |      16 |   233034 |   169152 |     2764    140 |        3 |      771
103.48/103.51	c  103s |      16 |   238339 |   172652 |     2764    142 |        3 |      771
105.48/105.52	c  105s |      16 |   243155 |   175352 |     2764    144 |        3 |      771
107.48/107.57	c  107s |      16 |   246474 |   178052 |     2764    146 |        3 |      771
109.48/109.58	c  109s |      16 |   249477 |   180452 |     2764    148 |        3 |      771
111.58/111.62	c  111s |      16 |   255606 |   184552 |     2764    151 |        3 |      771
113.57/113.63	c  113s |      16 |   261076 |   188652 |     2764    153 |        3 |      771
115.67/115.71	c  115s |      16 |   265766 |   192152 |     2764    156 |        3 |      771
117.68/117.75	c  117s |      16 |   270059 |   194452 |     2764    157 |        3 |      771
119.57/119.61	c  119s |      17 |   275686 |   197432 |     3041    159 |        3 |      771
121.57/121.63	c  121s |      17 |   281559 |   201632 |     3041    162 |        3 |      771
123.57/123.69	c  123s |      17 |   287426 |   206032 |     3041    165 |        3 |      771
125.57/125.69	c  125s |      17 |   293101 |   209932 |     3041    167 |        3 |      771
127.68/127.71	c  127s |      17 |   297814 |   214132 |     3041    169 |        3 |      771
129.67/129.72	c  129s |      17 |   302220 |   218132 |     3041    172 |        3 |      771
131.67/131.72	c  131s |      17 |   306735 |   222032 |     3041    174 |        3 |      771
133.67/133.72	c  133s |      17 |   311430 |   225932 |     3041    176 |        3 |      771
135.67/135.75	c  135s |      17 |   316846 |   230332 |     3041    179 |        3 |      771
137.67/137.79	c  137s |      17 |   323126 |   235032 |     3041    182 |        3 |      771
139.68/139.79	c  139s |      17 |   328494 |   239232 |     3041    185 |        3 |      771
141.77/141.80	c  141s |      17 |   334353 |   243732 |     3041    187 |        3 |      771
143.77/143.83	c  143s |      17 |   340030 |   247932 |     3041    190 |        3 |      771
145.77/145.83	c  145s |      17 |   345810 |   252332 |     3041    193 |        3 |      771
147.77/147.84	c  147s |      17 |   351509 |   256832 |     3041    196 |        3 |      771
149.77/149.89	c  149s |      17 |   357745 |   261632 |     3041    199 |        3 |      771
151.87/151.95	c  151s |      17 |   363700 |   266232 |     3041    202 |        3 |      771
153.87/153.97	c  153s |      17 |   370134 |   270932 |     3041    204 |        3 |      771
155.87/155.98	c  155s |      17 |   375561 |   275032 |     3041    207 |        3 |      771
157.87/157.99	c  157s |      17 |   382042 |   279432 |     3041    210 |        3 |      771
159.96/160.02	c  159s |      17 |   387537 |   283832 |     3041    212 |        3 |      771
161.96/162.03	c  161s |      17 |   393443 |   288132 |     3041    215 |        3 |      771
163.97/164.06	c  163s |      17 |   398714 |   292532 |     3041    218 |        3 |      771
165.56/165.60	c  165s |      18 |   403697 |   296252 |     3346    220 |        3 |      771
167.56/167.64	c  167s |      18 |   409964 |   300552 |     3346    222 |        3 |      771
169.56/169.66	c  169s |      18 |   414782 |   304252 |     3346    225 |        3 |      771
171.57/171.68	c  171s |      18 |   419970 |   308152 |     3346    227 |        3 |      771
173.56/173.70	c  173s |      18 |   424975 |   312052 |     3346    229 |        3 |      771
175.66/175.72	c  175s |      18 |   430224 |   316152 |     3346    231 |        3 |      771
177.66/177.78	c  177s |      18 |   435428 |   320052 |     3346    234 |        3 |      771
179.76/179.80	c  179s |      18 |   440263 |   323752 |     3346    236 |        3 |      771
181.76/181.80	c  181s |      18 |   446082 |   328252 |     3346    238 |        3 |      771
183.77/183.85	c  183s |      18 |   451256 |   332552 |     3346    241 |        3 |      771
185.76/185.87	c  185s |      18 |   456751 |   336752 |     3346    243 |        3 |      771
187.76/187.88	c  187s |      18 |   458888 |   338752 |     3346    244 |        3 |      771
189.86/189.92	c  189s |      18 |   462687 |   341452 |     3346    245 |        3 |      771
191.86/191.93	c  191s |      18 |   464587 |   343052 |     3346    246 |        3 |      771
193.86/193.94	c  193s |      18 |   468249 |   345952 |     3346    248 |        3 |      771
195.86/196.00	c  195s |      18 |   470862 |   348152 |     3346    249 |        3 |      771
197.96/198.01	c  197s |      18 |   474293 |   350852 |     3346    251 |        3 |      771
199.95/200.02	c  199s |      18 |   477996 |   353052 |     3346    252 |        3 |      771
201.95/202.06	c  201s |      18 |   481248 |   355552 |     3346    254 |        3 |      771
204.05/204.10	c  204s |      18 |   488117 |   360252 |     3346    256 |        3 |      771
206.05/206.13	c  206s |      18 |   494352 |   364952 |     3346    259 |        3 |      771
208.05/208.14	c  208s |      18 |   499663 |   369152 |     3346    261 |        3 |      771
210.06/210.15	c  210s |      18 |   505444 |   373652 |     3346    264 |        3 |      771
212.05/212.17	c  212s |      18 |   511197 |   378252 |     3346    267 |        3 |      771
214.15/214.20	c  214s |      18 |   517569 |   383052 |     3346    269 |        3 |      771
216.15/216.21	c  216s |      18 |   524466 |   387952 |     3346    272 |        3 |      771
218.26/218.33	c  218s |      18 |   527876 |   390352 |     3346    273 |        3 |      771
220.26/220.38	c  220s |      18 |   530199 |   392152 |     3346    274 |        3 |      771
222.36/222.46	c  222s |      18 |   532868 |   394052 |     3346    275 |        3 |      771
224.37/224.50	c  224s |      18 |   535112 |   395952 |     3346    277 |        3 |      771
226.46/226.51	c  226s |      18 |   539580 |   398952 |     3346    278 |        3 |      771
228.46/228.53	c  228s |      18 |   544133 |   402552 |     3346    280 |        3 |      771
230.46/230.55	c  230s |      18 |   549822 |   406752 |     3346    283 |        3 |      771
232.46/232.58	c  232s |      18 |   554597 |   410552 |     3346    285 |        3 |      771
234.46/234.58	c  234s |      18 |   559087 |   414052 |     3346    287 |        3 |      771
236.56/236.63	c  236s |      18 |   565814 |   418552 |     3346    290 |        3 |      771
238.56/238.69	c  238s |      18 |   571540 |   422752 |     3346    292 |        3 |      771
240.66/240.72	c  240s |      18 |   574196 |   424952 |     3346    293 |        3 |      771
242.66/242.76	c  242s |      18 |   579191 |   428552 |     3346    295 |        3 |      771
244.65/244.78	c  244s |      18 |   583371 |   431552 |     3346    297 |        3 |      771
246.65/246.78	c  246s |      18 |   587782 |   434752 |     3346    298 |        3 |      771
248.75/248.82	c  248s |      18 |   592522 |   438252 |     3346    300 |        3 |      771
250.76/250.82	c  250s |      18 |   598054 |   442652 |     3681    303 |        3 |      771
252.15/252.28	c  252s |      19 |   600136 |   444482 |     3681    304 |        3 |      771
254.25/254.38	c  254s |      19 |   602507 |   446582 |     3681    305 |        3 |      771
256.26/256.38	c  256s |      19 |   604840 |   448682 |     3681    306 |        3 |      771
258.35/258.41	c  258s |      19 |   608438 |   451482 |     3681    307 |        3 |      771
260.35/260.43	c  260s |      19 |   613474 |   455582 |     3681    309 |        3 |      771
262.35/262.47	c  262s |      19 |   618229 |   459882 |     3681    311 |        3 |      771
264.35/264.48	c  264s |      19 |   624078 |   464182 |     3681    314 |        3 |      771
266.35/266.49	c  266s |      19 |   630293 |   468582 |     3681    316 |        3 |      771
268.46/268.51	c  268s |      19 |   637040 |   473082 |     3681    318 |        3 |      771
270.45/270.53	c  270s |      19 |   644532 |   478182 |     3681    321 |        3 |      771
272.45/272.54	c  272s |      19 |   648140 |   481282 |     3681    322 |        3 |      771
274.45/274.57	c  274s |      19 |   652567 |   484982 |     3681    324 |        3 |      771
276.55/276.61	c  276s |      19 |   658618 |   489182 |     3681    326 |        3 |      771
278.55/278.62	c  278s |      19 |   664231 |   493282 |     3681    329 |        3 |      771
280.56/280.65	c  280s |      19 |   671134 |   497882 |     3681    331 |        3 |      771
282.55/282.65	c  282s |      19 |   676014 |   501182 |     3681    333 |        3 |      771
284.55/284.68	c  284s |      19 |   680998 |   503982 |     3681    334 |        3 |      771
286.55/286.68	c  286s |      19 |   684709 |   506382 |     3681    335 |        3 |      771
288.65/288.74	c  288s |      19 |   688405 |   508782 |     3681    337 |        3 |      771
290.65/290.77	c  290s |      19 |   691600 |   511182 |     3681    338 |        3 |      771
292.65/292.78	c  292s |      19 |   696584 |   514682 |     3681    340 |        3 |      771
294.75/294.83	c  294s |      19 |   701003 |   518182 |     3681    342 |        3 |      771
296.74/296.86	c  296s |      19 |   707890 |   522782 |     3681    344 |        3 |      771
298.74/298.88	c  298s |      19 |   714116 |   526982 |     3681    346 |        3 |      771
300.84/300.91	c  300s |      19 |   720364 |   531682 |     3681    349 |        3 |      771
302.84/302.93	c  302s |      19 |   726873 |   535982 |     3681    351 |        3 |      771
304.84/304.95	c  304s |      19 |   732292 |   539982 |     3681    353 |        3 |      771
306.85/306.97	c  306s |      19 |   737651 |   544482 |     3681    355 |        3 |      771
308.84/308.99	c  308s |      19 |   744364 |   549082 |     3681    358 |        3 |      771
310.94/311.03	c  310s |      19 |   750501 |   553582 |     3681    360 |        3 |      771
312.94/313.04	c  312s |      19 |   755553 |   557782 |     3681    362 |        3 |      771
314.94/315.07	c  315s |      19 |   760925 |   562082 |     3681    364 |        3 |      771
316.94/317.08	c  317s |      19 |   765982 |   566182 |     3681    366 |        3 |      771
318.95/319.08	c  319s |      19 |   770882 |   570182 |     3681    368 |        3 |      771
321.04/321.10	c  321s |      19 |   775701 |   574082 |     3681    370 |        3 |      771
323.04/323.13	c  323s |      19 |   781322 |   578382 |     3681    372 |        3 |      771
325.04/325.15	c  325s |      19 |   788000 |   582782 |     3681    375 |        3 |      771
327.14/327.20	c  327s |      19 |   793235 |   586882 |     3681    377 |        3 |      771
329.14/329.21	c  329s |      19 |   799047 |   591382 |     3681    379 |        3 |      771
331.14/331.24	c  331s |      19 |   804116 |   595382 |     3681    381 |        3 |      771
333.14/333.26	c  333s |      19 |   809897 |   599582 |     3681    383 |        3 |      771
335.14/335.30	c  335s |      19 |   813780 |   602582 |     3681    385 |        3 |      771
337.24/337.32	c  337s |      19 |   818396 |   606182 |     3681    387 |        3 |      771
339.24/339.36	c  339s |      19 |   821073 |   608582 |     3681    388 |        3 |      771
341.34/341.40	c  341s |      19 |   823763 |   610682 |     3681    389 |        3 |      771
343.33/343.40	c  343s |      19 |   829520 |   614782 |     3681    391 |        3 |      771
345.34/345.45	c  345s |      19 |   834911 |   618882 |     3681    393 |        3 |      771
347.33/347.48	c  347s |      19 |   839849 |   622182 |     3681    395 |        3 |      771
349.43/349.54	c  349s |      19 |   844172 |   625482 |     3681    396 |        3 |      771
351.53/351.63	c  351s |      19 |   847315 |   627782 |     3681    398 |        3 |      771
353.53/353.65	c  353s |      19 |   850026 |   630082 |     3681    399 |        3 |      771
355.53/355.69	c  355s |      19 |   855551 |   634282 |     3681    401 |        3 |      771
357.63/357.71	c  357s |      19 |   860667 |   638182 |     3681    403 |        3 |      771
359.64/359.76	c  359s |      19 |   863012 |   640082 |     3681    404 |        3 |      771
361.63/361.76	c  361s |      19 |   867065 |   643282 |     3681    405 |        3 |      771
363.73/363.83	c  363s |      19 |   872535 |   647182 |     3681    407 |        3 |      771
365.73/365.86	c  365s |      19 |   874509 |   648982 |     3681    408 |        3 |      771
367.73/367.87	c  367s |      19 |   879288 |   652582 |     3681    410 |        3 |      771
369.73/369.89	c  369s |      19 |   885687 |   656982 |     3681    412 |        3 |      771
371.84/371.92	c  371s |      19 |   890814 |   660982 |     3681    414 |        3 |      771
373.83/373.93	c  373s |      19 |   894784 |   663382 |     4050    415 |        3 |      771
375.83/375.97	c  375s |      19 |   898169 |   665882 |     4050    417 |        3 |      771
376.43/376.57	c  376s |      20 |   899225 |   666827 |     4050    417 |        3 |      771
378.53/378.60	c  378s |      20 |   905080 |   670827 |     4050    419 |        3 |      771
380.43/380.60	c  380s |      20 |   911077 |   675327 |     4050    421 |        3 |      771
382.53/382.63	c  382s |      20 |   916977 |   679827 |     4050    423 |        3 |      771
384.53/384.65	c  384s |      20 |   920966 |   682827 |     4050    425 |        3 |      771
386.63/386.70	c  386s |      20 |   925364 |   685927 |     4050    426 |        3 |      771
388.62/388.72	c  388s |      20 |   929293 |   688227 |     4050    427 |        3 |      771
390.62/390.80	c  390s |      20 |   932188 |   690327 |     4050    428 |        3 |      771
392.73/392.83	c  392s |      20 |   934851 |   692427 |     4050    429 |        3 |      771
394.72/394.84	c  394s |      20 |   938512 |   695127 |     4050    431 |        3 |      771
396.72/396.87	c  396s |      20 |   944908 |   698127 |     4050    432 |        3 |      771
398.82/398.95	c  398s |      20 |   948751 |   700627 |     4050    433 |        3 |      771
400.92/401.05	c  400s |      20 |   951959 |   702627 |     4050    434 |        3 |      771
402.92/403.06	c  402s |      20 |   955199 |   704927 |     4050    435 |        3 |      771
404.92/405.07	c  405s |      20 |   958113 |   706927 |     4050    436 |        3 |      771
406.93/407.07	c  407s |      20 |   962480 |   710327 |     4050    438 |        3 |      771
409.03/409.10	c  409s |      20 |   968083 |   714727 |     4050    440 |        3 |      771
411.03/411.15	c  411s |      20 |   974163 |   719227 |     4050    442 |        3 |      771
413.03/413.16	c  413s |      20 |   979073 |   723327 |     4050    444 |        3 |      771
415.03/415.19	c  415s |      20 |   984249 |   727427 |     4050    446 |        3 |      771
417.13/417.22	c  417s |      20 |   989328 |   731527 |     4050    448 |        3 |      771
419.14/419.27	c  419s |      20 |   994882 |   736127 |     4050    450 |        3 |      771
421.13/421.29	c  421s |      20 |  1000645 |   740627 |     4050    452 |        3 |      771
423.23/423.31	c  423s |      20 |  1006226 |   745027 |     4050    454 |        3 |      771
425.23/425.35	c  425s |      20 |  1012004 |   749627 |     4050    456 |        3 |      771
427.23/427.36	c  427s |      20 |  1017632 |   754127 |     4050    458 |        3 |      771
429.23/429.38	c  429s |      20 |  1022730 |   758327 |     4050    460 |        3 |      771
431.33/431.41	c  431s |      20 |  1027796 |   762527 |     4050    462 |        3 |      771
433.33/433.48	c  433s |      20 |  1033400 |   766827 |     4050    464 |        3 |      771
435.43/435.51	c  435s |      20 |  1039951 |   771627 |     4050    466 |        3 |      771
437.43/437.53	c  437s |      20 |  1045230 |   775927 |     4050    468 |        3 |      771
439.43/439.57	c  439s |      20 |  1050427 |   780027 |     4050    470 |        3 |      771
441.43/441.59	c  441s |      20 |  1056166 |   784527 |     4050    472 |        3 |      771
443.43/443.59	c  443s |      20 |  1061497 |   788827 |     4050    474 |        3 |      771
445.53/445.62	c  445s |      20 |  1067270 |   792727 |     4050    476 |        3 |      771
447.63/447.71	c  447s |      20 |  1071478 |   796027 |     4050    478 |        3 |      771
449.62/449.75	c  449s |      20 |  1073874 |   797927 |     4050    479 |        3 |      771
451.62/451.79	c  451s |      20 |  1079418 |   802027 |     4050    481 |        3 |      771
453.72/453.82	c  453s |      20 |  1084844 |   806027 |     4050    483 |        3 |      771
455.72/455.87	c  455s |      20 |  1090093 |   809927 |     4050    485 |        3 |      771
457.72/457.88	c  457s |      20 |  1095361 |   814427 |     4050    487 |        3 |      771
459.83/459.93	c  459s |      20 |  1100915 |   818527 |     4050    489 |        3 |      771
461.82/461.94	c  461s |      20 |  1106583 |   822927 |     4050    491 |        3 |      771
463.82/463.98	c  463s |      20 |  1111892 |   827127 |     4050    493 |        3 |      771
465.92/466.00	c  465s |      20 |  1117114 |   831427 |     4050    495 |        3 |      771
467.92/468.05	c  467s |      20 |  1122212 |   835527 |     4050    496 |        3 |      771
469.92/470.06	c  469s |      20 |  1126811 |   839427 |     4050    498 |        3 |      771
471.93/472.08	c  472s |      20 |  1131469 |   843527 |     4050    500 |        3 |      771
474.03/474.12	c  474s |      20 |  1136386 |   847527 |     4050    502 |        3 |      771
476.02/476.14	c  476s |      20 |  1139745 |   850127 |     4050    503 |        3 |      771
478.02/478.16	c  478s |      20 |  1142230 |   852127 |     4050    504 |        3 |      771
480.12/480.22	c  480s |      20 |  1144439 |   854127 |     4050    505 |        3 |      771
482.22/482.30	c  482s |      20 |  1148143 |   856727 |     4050    506 |        3 |      771
484.22/484.37	c  484s |      20 |  1150849 |   859027 |     4050    507 |        3 |      771
486.22/486.38	c  486s |      20 |  1155723 |   862827 |     4050    509 |        3 |      771
488.32/488.42	c  488s |      20 |  1160750 |   867127 |     4050    511 |        3 |      771
490.32/490.43	c  490s |      20 |  1164883 |   870827 |     4050    513 |        3 |      771
492.32/492.46	c  492s |      20 |  1169663 |   874727 |     4050    515 |        3 |      771
494.31/494.48	c  494s |      20 |  1174109 |   878327 |     4050    516 |        3 |      771
496.31/496.49	c  496s |      20 |  1179186 |   882227 |     4050    518 |        3 |      771
498.41/498.53	c  498s |      20 |  1184847 |   886727 |     4050    520 |        3 |      771
500.42/500.54	c  500s |      20 |  1189662 |   890527 |     4050    522 |        3 |      771
502.41/502.56	c  502s |      20 |  1194814 |   894427 |     4050    524 |        3 |      771
504.41/504.57	c  504s |      20 |  1199490 |   898427 |     4050    526 |        3 |      771
506.51/506.60	c  506s |      20 |  1204740 |   902427 |     4050    528 |        3 |      771
508.51/508.65	c  508s |      20 |  1209439 |   906427 |     4050    529 |        3 |      771
510.51/510.67	c  510s |      20 |  1214397 |   910227 |     4050    531 |        3 |      771
512.52/512.67	c  512s |      20 |  1219371 |   914227 |     4050    533 |        3 |      771
514.61/514.72	c  514s |      20 |  1224552 |   918227 |     4050    535 |        3 |      771
516.61/516.77	c  516s |      20 |  1229802 |   922227 |     4050    537 |        3 |      771
518.71/518.81	c  518s |      20 |  1234683 |   926027 |     4050    539 |        3 |      771
520.71/520.86	c  520s |      20 |  1239723 |   930427 |     4050    541 |        3 |      771
522.71/522.87	c  522s |      20 |  1244264 |   934127 |     4050    542 |        3 |      771
524.72/524.89	c  524s |      20 |  1250041 |   938227 |     4050    544 |        3 |      771
526.71/526.90	c  526s |      20 |  1255259 |   942327 |     4050    546 |        3 |      771
528.81/528.94	c  528s |      20 |  1260280 |   946227 |     4050    548 |        3 |      771
530.81/530.96	c  530s |      20 |  1265746 |   950027 |     4050    550 |        3 |      771
532.81/532.97	c  532s |      20 |  1270677 |   954027 |     4050    552 |        3 |      771
534.91/535.03	c  534s |      20 |  1275635 |   958027 |     4050    554 |        3 |      771
536.91/537.05	c  536s |      20 |  1281230 |   962227 |     4050    555 |        3 |      771
538.91/539.07	c  539s |      20 |  1285756 |   966127 |     4050    557 |        3 |      771
540.91/541.08	c  541s |      20 |  1291084 |   970027 |     4050    559 |        3 |      771
543.01/543.18	c  543s |      20 |  1294992 |   972927 |     4050    561 |        3 |      771
545.10/545.22	c  545s |      20 |  1298828 |   975827 |     4050    562 |        3 |      771
547.10/547.27	c  547s |      20 |  1302826 |   978527 |     4050    563 |        3 |      771
549.20/549.33	c  549s |      20 |  1308168 |   982227 |     4050    565 |        3 |      771
551.20/551.36	c  551s |      20 |  1311978 |   984627 |     4050    566 |        3 |      771
553.31/553.47	c  553s |      20 |  1315109 |   987127 |     4050    567 |        3 |      771
555.41/555.52	c  555s |      20 |  1319691 |   990527 |     4050    569 |        3 |      771
557.40/557.54	c  557s |      20 |  1324937 |   994727 |     4455    571 |        3 |      771
559.40/559.58	c  559s |      20 |  1330811 |   998927 |     4455    572 |        3 |      771
560.20/560.33	c  560s |      21 |  1332467 |  1000345 |     4455    573 |        3 |      771
562.20/562.36	c  562s |      21 |  1336752 |  1003945 |     4455    575 |        3 |      771
564.31/564.42	c  564s |      21 |  1341246 |  1007845 |     4455    576 |        3 |      771
566.30/566.42	c  566s |      21 |  1346110 |  1011445 |     4455    578 |        3 |      771
568.30/568.43	c  568s |      21 |  1351524 |  1014645 |     4455    579 |        3 |      771
570.30/570.44	c  570s |      21 |  1356403 |  1017845 |     4455    581 |        3 |      771
572.30/572.45	c  572s |      21 |  1360615 |  1020945 |     4455    582 |        3 |      771
574.30/574.48	c  574s |      21 |  1365035 |  1024045 |     4455    583 |        3 |      771
576.30/576.49	c  576s |      21 |  1369826 |  1027345 |     4455    585 |        3 |      771
578.40/578.52	c  578s |      21 |  1373565 |  1030045 |     4455    586 |        3 |      771
580.40/580.56	c  580s |      21 |  1378002 |  1033445 |     4455    587 |        3 |      771
582.40/582.57	c  582s |      21 |  1383109 |  1037245 |     4455    589 |        3 |      771
584.40/584.59	c  584s |      21 |  1388002 |  1040545 |     4455    590 |        3 |      771
586.50/586.60	c  586s |      21 |  1393055 |  1044345 |     4455    592 |        3 |      771
588.50/588.66	c  588s |      21 |  1397317 |  1047145 |     4455    593 |        3 |      771
590.50/590.69	c  590s |      21 |  1400952 |  1049845 |     4455    594 |        3 |      771
592.59/592.72	c  592s |      21 |  1405257 |  1053445 |     4455    596 |        3 |      771
594.59/594.79	c  594s |      21 |  1409744 |  1057045 |     4455    597 |        3 |      771
596.69/596.88	c  596s |      21 |  1414334 |  1059845 |     4455    599 |        3 |      771
598.79/598.95	c  598s |      21 |  1418686 |  1063045 |     4455    600 |        3 |      771
600.79/600.97	c  600s |      21 |  1422686 |  1065945 |     4455    601 |        3 |      771
602.89/603.04	c  602s |      21 |  1426687 |  1068445 |     4455    602 |        3 |      771
604.90/605.06	c  604s |      21 |  1431152 |  1071945 |     4455    604 |        3 |      771
606.89/607.07	c  607s |      21 |  1437414 |  1075545 |     4455    605 |        3 |      771
609.00/609.11	c  609s |      21 |  1443164 |  1079545 |     4455    607 |        3 |      771
611.10/611.21	c  611s |      21 |  1446763 |  1082445 |     4455    608 |        3 |      771
613.20/613.30	c  613s |      21 |  1450279 |  1085045 |     4455    609 |        3 |      771
615.20/615.37	c  615s |      21 |  1453806 |  1087745 |     4455    611 |        3 |      771
617.30/617.42	c  617s |      21 |  1457586 |  1090345 |     4455    612 |        3 |      771
619.40/619.51	c  619s |      21 |  1460887 |  1092745 |     4455    613 |        3 |      771
621.40/621.54	c  621s |      21 |  1464005 |  1095245 |     4455    614 |        3 |      771
623.40/623.57	c  623s |      21 |  1467185 |  1097745 |     4455    615 |        3 |      771
625.50/625.62	c  625s |      21 |  1470698 |  1100445 |     4455    616 |        3 |      771
627.50/627.62	c  627s |      21 |  1474340 |  1103345 |     4455    617 |        3 |      771
629.59/629.71	c  629s |      21 |  1477142 |  1105545 |     4455    618 |        3 |      771
631.59/631.77	c  631s |      21 |  1479936 |  1107845 |     4455    619 |        3 |      771
633.60/633.77	c  633s |      21 |  1482724 |  1110045 |     4455    620 |        3 |      771
635.70/635.84	c  635s |      21 |  1487182 |  1113345 |     4455    621 |        3 |      771
637.69/637.86	c  637s |      21 |  1490089 |  1115745 |     4455    622 |        3 |      771
639.69/639.87	c  639s |      21 |  1492836 |  1117945 |     4455    623 |        3 |      771
641.69/641.88	c  641s |      21 |  1497028 |  1120845 |     4455    625 |        3 |      771
643.79/643.91	c  643s |      21 |  1504516 |  1124845 |     4455    626 |        3 |      771
645.79/645.95	c  645s |      21 |  1507031 |  1126745 |     4455    627 |        3 |      771
647.80/647.98	c  647s |      21 |  1509214 |  1128345 |     4455    628 |        3 |      771
649.89/650.01	c  649s |      21 |  1512965 |  1131245 |     4455    629 |        3 |      771
651.89/652.09	c  652s |      21 |  1515020 |  1133145 |     4455    630 |        3 |      771
653.99/654.14	c  654s |      21 |  1517228 |  1135045 |     4455    631 |        3 |      771
656.09/656.28	c  656s |      21 |  1519956 |  1137345 |     4455    631 |        3 |      771
658.19/658.36	c  658s |      21 |  1522502 |  1139245 |     4455    632 |        3 |      771
660.38/660.50	c  660s |      21 |  1524496 |  1140945 |     4455    633 |        3 |      771
662.38/662.56	c  662s |      21 |  1526348 |  1142445 |     4455    634 |        3 |      771
664.48/664.61	c  664s |      21 |  1528496 |  1144245 |     4455    634 |        3 |      771
666.49/666.63	c  666s |      21 |  1530363 |  1145945 |     4455    635 |        3 |      771
668.48/668.65	c  668s |      21 |  1532266 |  1147645 |     4455    636 |        3 |      771
670.48/670.69	c  670s |      21 |  1534004 |  1149245 |     4455    636 |        3 |      771
672.68/672.81	c  672s |      21 |  1535848 |  1150945 |     4455    637 |        3 |      771
674.68/674.81	c  674s |      21 |  1537543 |  1152445 |     4455    638 |        3 |      771
676.68/676.85	c  676s |      21 |  1539883 |  1154445 |     4455    639 |        3 |      771
678.69/678.89	c  678s |      21 |  1543251 |  1156645 |     4455    640 |        3 |      771
680.89/681.00	c  680s |      21 |  1546594 |  1158845 |     4455    641 |        3 |      771
682.88/683.02	c  682s |      21 |  1551208 |  1161545 |     4455    642 |        3 |      771
684.98/685.11	c  685s |      21 |  1554181 |  1163845 |     4455    643 |        3 |      771
686.98/687.11	c  687s |      21 |  1556459 |  1165745 |     4455    643 |        3 |      771
689.08/689.21	c  689s |      21 |  1559028 |  1167945 |     4455    644 |        3 |      771
691.08/691.29	c  691s |      21 |  1561590 |  1170145 |     4455    645 |        3 |      771
693.18/693.34	c  693s |      21 |  1564842 |  1172845 |     4455    646 |        3 |      771
695.19/695.35	c  695s |      21 |  1567137 |  1174645 |     4455    647 |        3 |      771
697.18/697.36	c  697s |      21 |  1569630 |  1176545 |     4455    648 |        3 |      771
699.18/699.38	c  699s |      21 |  1571986 |  1178345 |     4455    649 |        3 |      771
701.28/701.41	c  701s |      21 |  1574494 |  1180345 |     4455    650 |        3 |      771
703.28/703.49	c  703s |      21 |  1578005 |  1182745 |     4455    651 |        3 |      771
705.38/705.53	c  705s |      21 |  1581386 |  1185145 |     4455    652 |        3 |      771
707.37/707.56	c  707s |      21 |  1585858 |  1188245 |     4455    653 |        3 |      771
709.38/709.58	c  709s |      21 |  1589700 |  1191145 |     4455    654 |        3 |      771
711.47/711.64	c  711s |      21 |  1592211 |  1193345 |     4455    655 |        3 |      771
713.57/713.73	c  713s |      21 |  1594047 |  1195045 |     4455    656 |        3 |      771
715.57/715.79	c  715s |      21 |  1596694 |  1197345 |     4455    657 |        3 |      771
717.77/717.96	c  717s |      21 |  1599160 |  1199345 |     4455    658 |        3 |      771
719.87/720.05	c  719s |      21 |  1601683 |  1201445 |     4455    658 |        3 |      771
721.87/722.06	c  721s |      21 |  1603801 |  1203245 |     4455    659 |        3 |      771
723.97/724.16	c  724s |      21 |  1605785 |  1204945 |     4455    660 |        3 |      771
726.07/726.24	c  726s |      21 |  1607728 |  1206645 |     4455    661 |        3 |      771
728.17/728.36	c  728s |      21 |  1610129 |  1208745 |     4455    661 |        3 |      771
730.27/730.43	c  730s |      21 |  1612102 |  1210345 |     4455    662 |        3 |      771
732.26/732.44	c  732s |      21 |  1613734 |  1211745 |     4455    663 |        3 |      771
734.36/734.59	c  734s |      21 |  1617007 |  1213245 |     4455    663 |        3 |      771
736.46/736.66	c  736s |      21 |  1619168 |  1215045 |     4455    664 |        3 |      771
738.56/738.75	c  738s |      21 |  1621230 |  1216645 |     4455    665 |        3 |      771
740.66/740.85	c  740s |      21 |  1623679 |  1218645 |     4455    666 |        3 |      771
742.76/742.94	c  742s |      21 |  1625356 |  1220245 |     4455    666 |        3 |      771
744.87/745.04	c  744s |      21 |  1627094 |  1221645 |     4455    667 |        3 |      771
746.87/747.04	c  746s |      21 |  1628966 |  1223145 |     4455    667 |        3 |      771
748.97/749.17	c  749s |      21 |  1631432 |  1225145 |     4455    668 |        3 |      771
751.17/751.31	c  751s |      21 |  1634645 |  1227545 |     4455    669 |        3 |      771
753.16/753.32	c  753s |      21 |  1636574 |  1228945 |     4455    670 |        3 |      771
755.16/755.39	c  755s |      21 |  1638695 |  1230845 |     4455    671 |        3 |      771
757.16/757.39	c  757s |      21 |  1640656 |  1232545 |     4455    671 |        3 |      771
759.36/759.50	c  759s |      21 |  1642358 |  1234045 |     4455    672 |        3 |      771
761.36/761.52	c  761s |      21 |  1644485 |  1235645 |     4455    673 |        3 |      771
763.37/763.54	c  763s |      21 |  1646537 |  1237145 |     4455    673 |        3 |      771
765.36/765.60	c  765s |      21 |  1649350 |  1239245 |     4455    674 |        3 |      771
767.46/767.65	c  767s |      21 |  1651301 |  1240945 |     4455    675 |        3 |      771
769.56/769.78	c  769s |      21 |  1653497 |  1242545 |     4455    676 |        3 |      771
771.66/771.81	c  771s |      21 |  1657298 |  1245445 |     4455    677 |        3 |      771
773.66/773.85	c  773s |      21 |  1659546 |  1247345 |     4455    678 |        3 |      771
775.66/775.89	c  775s |      21 |  1662321 |  1249245 |     4455    678 |        3 |      771
777.85/778.03	c  777s |      21 |  1664399 |  1250945 |     4455    679 |        3 |      771
779.95/780.15	c  780s |      21 |  1665855 |  1252345 |     4455    680 |        3 |      771
782.06/782.27	c  782s |      21 |  1667523 |  1253845 |     4455    680 |        3 |      771
784.16/784.32	c  784s |      21 |  1669029 |  1255245 |     4455    681 |        3 |      771
786.15/786.35	c  786s |      21 |  1670289 |  1256445 |     4455    681 |        3 |      771
788.25/788.42	c  788s |      21 |  1671433 |  1257545 |     4455    682 |        3 |      771
790.35/790.51	c  790s |      21 |  1672686 |  1258745 |     4455    682 |        3 |      771
792.45/792.67	c  792s |      21 |  1673779 |  1259745 |     4455    683 |        3 |      771
794.55/794.73	c  794s |      21 |  1675247 |  1261045 |     4455    683 |        3 |      771
796.54/796.76	c  796s |      21 |  1677762 |  1262845 |     4455    684 |        3 |      771
798.74/798.91	c  798s |      21 |  1679530 |  1264345 |     4455    685 |        3 |      771
800.84/801.01	c  800s |      21 |  1681559 |  1265845 |     4455    685 |        3 |      771
802.85/803.10	c  803s |      21 |  1683256 |  1267345 |     4455    686 |        3 |      771
805.05/805.20	c  805s |      21 |  1684882 |  1268745 |     4455    687 |        3 |      771
807.04/807.21	c  807s |      21 |  1687589 |  1270745 |     4455    688 |        3 |      771
809.14/809.30	c  809s |      21 |  1689867 |  1272645 |     4455    688 |        3 |      771
811.14/811.37	c  811s |      21 |  1691437 |  1274045 |     4455    689 |        3 |      771
813.24/813.41	c  813s |      21 |  1693449 |  1275645 |     4455    690 |        3 |      771
815.24/815.45	c  815s |      21 |  1695353 |  1277245 |     4455    690 |        3 |      771
817.24/817.46	c  817s |      21 |  1697246 |  1278745 |     4455    691 |        3 |      771
819.34/819.57	c  819s |      21 |  1698896 |  1280145 |     4455    691 |        3 |      771
821.43/821.69	c  821s |      21 |  1701251 |  1282045 |     4455    692 |        3 |      771
823.43/823.69	c  823s |      21 |  1702961 |  1283545 |     4455    693 |        3 |      771
825.53/825.76	c  825s |      21 |  1704942 |  1285245 |     4455    694 |        3 |      771
827.53/827.78	c  827s |      21 |  1706680 |  1286645 |     4455    694 |        3 |      771
829.63/829.82	c  829s |      21 |  1708928 |  1288245 |     4455    695 |        3 |      771
831.63/831.89	c  831s |      21 |  1713529 |  1290945 |     4455    696 |        3 |      771
833.74/833.92	c  833s |      21 |  1716678 |  1293445 |     4455    697 |        3 |      771
835.73/835.93	c  835s |      21 |  1719711 |  1295945 |     4455    698 |        3 |      771
837.72/837.98	c  837s |      21 |  1722870 |  1298545 |     4455    699 |        3 |      771
839.82/840.02	c  839s |      21 |  1726156 |  1301145 |     4455    700 |        3 |      771
841.82/842.06	c  841s |      21 |  1729069 |  1303645 |     4455    701 |        3 |      771
843.82/844.07	c  844s |      21 |  1732159 |  1306245 |     4455    703 |        3 |      771
845.83/846.09	c  846s |      21 |  1735409 |  1308845 |     4455    704 |        3 |      771
847.93/848.16	c  848s |      21 |  1739152 |  1311845 |     4455    705 |        3 |      771
850.02/850.21	c  850s |      21 |  1742389 |  1314545 |     4455    706 |        3 |      771
852.02/852.23	c  852s |      21 |  1746135 |  1317545 |     4455    707 |        3 |      771
854.12/854.32	c  854s |      21 |  1750059 |  1320445 |     4455    709 |        3 |      771
856.12/856.33	c  856s |      21 |  1754683 |  1323245 |     4455    710 |        3 |      771
858.12/858.38	c  858s |      21 |  1759010 |  1326045 |     4455    711 |        3 |      771
860.22/860.43	c  860s |      21 |  1761860 |  1328245 |     4455    712 |        3 |      771
862.22/862.46	c  862s |      21 |  1765397 |  1330345 |     4455    713 |        3 |      771
864.31/864.52	c  864s |      21 |  1767710 |  1332245 |     4455    713 |        3 |      771
866.31/866.52	c  866s |      21 |  1770603 |  1334045 |     4455    714 |        3 |      771
868.31/868.53	c  868s |      21 |  1772703 |  1335745 |     4455    715 |        3 |      771
870.31/870.55	c  870s |      21 |  1774762 |  1337445 |     4455    716 |        3 |      771
872.31/872.57	c  872s |      21 |  1779896 |  1340545 |     4455    717 |        3 |      771
874.32/874.59	c  874s |      21 |  1785066 |  1344645 |     4455    719 |        3 |      771
876.41/876.65	c  876s |      21 |  1789145 |  1347245 |     4455    720 |        3 |      771
878.51/878.76	c  878s |      21 |  1791992 |  1349545 |     4455    721 |        3 |      771
880.51/880.78	c  880s |      21 |  1794471 |  1351645 |     4455    722 |        3 |      771
882.50/882.79	c  882s |      21 |  1797097 |  1353645 |     4455    722 |        3 |      771
884.60/884.87	c  884s |      21 |  1799225 |  1355545 |     4455    723 |        3 |      771
886.70/886.94	c  886s |      21 |  1801719 |  1357345 |     4455    724 |        3 |      771
888.80/889.03	c  888s |      21 |  1804182 |  1359145 |     4455    725 |        3 |      771
890.91/891.12	c  891s |      21 |  1807076 |  1361145 |     4455    726 |        3 |      771
893.01/893.23	c  893s |      21 |  1809816 |  1363045 |     4455    726 |        3 |      771
895.00/895.26	c  895s |      21 |  1812011 |  1364745 |     4455    727 |        3 |      771
897.09/897.34	c  897s |      21 |  1814319 |  1366645 |     4455    728 |        3 |      771
899.09/899.37	c  899s |      21 |  1816479 |  1368445 |     4455    729 |        3 |      771
901.09/901.38	c  901s |      21 |  1820986 |  1371645 |     4455    730 |        3 |      771
903.19/903.47	c  903s |      21 |  1825692 |  1375245 |     4455    732 |        3 |      771
905.29/905.51	c  905s |      21 |  1828673 |  1377345 |     4455    733 |        3 |      771
907.30/907.54	c  907s |      21 |  1832865 |  1380545 |     4455    734 |        3 |      771
909.39/909.67	c  909s |      21 |  1836303 |  1383145 |     4455    735 |        3 |      771
911.49/911.74	c  911s |      21 |  1838985 |  1385045 |     4455    736 |        3 |      771
913.59/913.83	c  913s |      21 |  1842637 |  1387545 |     4455    737 |        3 |      771
915.59/915.86	c  915s |      21 |  1846237 |  1390245 |     4455    738 |        3 |      771
917.58/917.88	c  917s |      21 |  1851747 |  1393745 |     4455    740 |        3 |      771
919.68/919.94	c  919s |      21 |  1855501 |  1396545 |     4455    741 |        3 |      771
921.70/921.94	c  921s |      21 |  1858626 |  1398945 |     4455    742 |        3 |      771
923.69/923.99	c  923s |      21 |  1862072 |  1401445 |     4455    743 |        3 |      771
925.79/926.00	c  925s |      21 |  1865972 |  1404245 |     4455    744 |        3 |      771
927.79/928.07	c  928s |      21 |  1869294 |  1406945 |     4455    745 |        3 |      771
929.89/930.10	c  930s |      21 |  1872741 |  1409645 |     4455    746 |        3 |      771
931.89/932.14	c  932s |      21 |  1876126 |  1412245 |     4455    747 |        3 |      771
933.89/934.19	c  934s |      21 |  1879729 |  1415245 |     4455    749 |        3 |      771
936.00/936.22	c  936s |      21 |  1885655 |  1419045 |     4455    750 |        3 |      771
937.99/938.24	c  938s |      21 |  1891772 |  1422945 |     4455    752 |        3 |      771
939.99/940.29	c  940s |      21 |  1897557 |  1427245 |     4455    754 |        3 |      771
942.08/942.32	c  942s |      21 |  1902036 |  1430845 |     4455    755 |        3 |      771
944.08/944.33	c  944s |      21 |  1905926 |  1434045 |     4455    757 |        3 |      771
946.08/946.37	c  946s |      21 |  1910876 |  1437445 |     4455    758 |        3 |      771
948.09/948.39	c  948s |      21 |  1914669 |  1440145 |     4455    759 |        3 |      771
950.19/950.44	c  950s |      21 |  1918755 |  1443345 |     4455    761 |        3 |      771
952.28/952.50	c  952s |      21 |  1924292 |  1447245 |     4455    762 |        3 |      771
954.28/954.54	c  954s |      21 |  1929700 |  1450745 |     4455    764 |        3 |      771
956.28/956.58	c  956s |      21 |  1935556 |  1454745 |     4455    766 |        3 |      771
958.37/958.61	c  958s |      21 |  1939744 |  1458245 |     4455    767 |        3 |      771
960.37/960.65	c  960s |      21 |  1943203 |  1461345 |     4455    768 |        3 |      771
962.38/962.66	c  962s |      21 |  1948261 |  1465045 |     4455    770 |        3 |      771
964.37/964.70	c  964s |      21 |  1953364 |  1468745 |     4455    771 |        3 |      771
966.47/966.73	c  966s |      21 |  1957747 |  1472345 |     4455    773 |        3 |      771
968.57/968.81	c  968s |      21 |  1961958 |  1475745 |     4455    775 |        3 |      771
970.57/970.83	c  970s |      21 |  1966014 |  1479145 |     4455    776 |        3 |      771
972.57/972.84	c  972s |      21 |  1969780 |  1482045 |     4455    777 |        3 |      771
974.57/974.85	c  974s |      21 |  1972914 |  1484645 |     4455    778 |        3 |      771
976.57/976.87	c  976s |      21 |  1979142 |  1488745 |     4455    780 |        3 |      771
978.67/978.91	c  978s |      21 |  1984198 |  1492745 |     4901    782 |        3 |      771
980.66/980.92	c  980s |      21 |  1989015 |  1496645 |     4901    783 |        3 |      771
982.56/982.83	c  982s |      22 |  1993829 |  1500622 |     4901    785 |        3 |      771
984.56/984.89	c  984s |      22 |  1998267 |  1503822 |     4901    786 |        3 |      771
986.66/986.93	c  986s |      22 |  2001194 |  1506022 |     4901    787 |        3 |      771
988.66/988.97	c  988s |      22 |  2003347 |  1507822 |     4901    787 |        3 |      771
990.66/990.97	c  990s |      22 |  2005745 |  1509822 |     4901    788 |        3 |      771
992.76/993.04	c  992s |      22 |  2008058 |  1511822 |     4901    789 |        3 |      771
994.76/995.08	c  995s |      22 |  2011912 |  1514622 |     4901    790 |        3 |      771
996.85/997.11	c  997s |      22 |  2015596 |  1517722 |     4901    791 |        3 |      771
998.85/999.15	c  999s |      22 |  2019200 |  1520622 |     4901    792 |        3 |      771
1000.86/1001.20	c 1001s |      22 |  2022167 |  1523122 |     4901    793 |        3 |      771
1002.96/1003.24	c 1003s |      22 |  2024688 |  1525322 |     4901    794 |        3 |      771
1004.95/1005.27	c 1005s |      22 |  2027143 |  1527522 |     4901    795 |        3 |      771
1007.05/1007.31	c 1007s |      22 |  2029733 |  1529622 |     4901    796 |        3 |      771
1009.05/1009.34	c 1009s |      22 |  2032111 |  1531722 |     4901    797 |        3 |      771
1011.15/1011.41	c 1011s |      22 |  2035847 |  1534322 |     4901    798 |        3 |      771
1013.15/1013.48	c 1013s |      22 |  2039564 |  1536922 |     4901    799 |        3 |      771
1015.25/1015.52	c 1015s |      22 |  2042672 |  1539522 |     4901    800 |        3 |      771
1017.25/1017.58	c 1017s |      22 |  2045755 |  1541922 |     4901    801 |        3 |      771
1019.34/1019.62	c 1019s |      22 |  2049970 |  1545222 |     4901    802 |        3 |      771
1021.34/1021.67	c 1021s |      22 |  2055095 |  1549222 |     4901    804 |        3 |      771
1023.44/1023.71	c 1023s |      22 |  2060297 |  1553022 |     4901    805 |        3 |      771
1025.44/1025.73	c 1025s |      22 |  2065143 |  1556522 |     4901    806 |        3 |      771
1027.44/1027.74	c 1027s |      22 |  2070299 |  1560122 |     4901    808 |        3 |      771
1029.44/1029.74	c 1029s |      22 |  2075558 |  1563922 |     4901    809 |        3 |      771
1031.44/1031.78	c 1031s |      22 |  2079863 |  1567522 |     4901    811 |        3 |      771
1033.44/1033.80	c 1033s |      22 |  2084023 |  1570622 |     4901    812 |        3 |      771
1035.54/1035.86	c 1035s |      22 |  2088613 |  1574022 |     4901    813 |        3 |      771
1037.63/1037.91	c 1037s |      22 |  2092264 |  1576722 |     4901    814 |        3 |      771
1039.63/1039.97	c 1039s |      22 |  2096648 |  1580422 |     4901    816 |        3 |      771
1041.73/1042.00	c 1041s |      22 |  2102567 |  1584522 |     4901    817 |        3 |      771
1043.74/1044.02	c 1043s |      22 |  2107357 |  1588222 |     4901    819 |        3 |      771
1045.73/1046.09	c 1046s |      22 |  2111995 |  1591822 |     4901    820 |        3 |      771
1047.83/1048.10	c 1048s |      22 |  2117789 |  1595722 |     4901    822 |        3 |      771
1049.83/1050.13	c 1050s |      22 |  2123215 |  1599822 |     4901    823 |        3 |      771
1051.83/1052.15	c 1052s |      22 |  2127928 |  1603522 |     4901    825 |        3 |      771
1053.83/1054.17	c 1054s |      22 |  2133360 |  1607222 |     4901    826 |        3 |      771
1055.93/1056.20	c 1056s |      22 |  2138238 |  1610722 |     4901    828 |        3 |      771
1057.93/1058.26	c 1058s |      22 |  2145746 |  1615222 |     4901    830 |        3 |      771
1059.92/1060.28	c 1060s |      22 |  2150944 |  1619022 |     4901    831 |        3 |      771
1062.02/1062.32	c 1062s |      22 |  2156297 |  1622622 |     4901    832 |        3 |      771
1064.02/1064.33	c 1064s |      22 |  2161078 |  1626522 |     4901    834 |        3 |      771
1066.02/1066.37	c 1066s |      22 |  2167428 |  1630722 |     4901    836 |        3 |      771
1068.12/1068.42	c 1068s |      22 |  2173008 |  1634822 |     4901    837 |        3 |      771
1070.12/1070.45	c 1070s |      22 |  2178564 |  1638922 |     4901    839 |        3 |      771
1072.11/1072.48	c 1072s |      22 |  2183274 |  1642822 |     4901    840 |        3 |      771
1074.21/1074.50	c 1074s |      22 |  2189460 |  1646922 |     4901    842 |        3 |      771
1076.21/1076.53	c 1076s |      22 |  2194705 |  1650922 |     4901    843 |        3 |      771
1078.21/1078.53	c 1078s |      22 |  2199631 |  1654822 |     4901    845 |        3 |      771
1080.21/1080.54	c 1080s |      22 |  2204965 |  1659022 |     4901    847 |        3 |      771
1082.21/1082.58	c 1082s |      22 |  2210809 |  1663322 |     4901    848 |        3 |      771
1084.21/1084.58	c 1084s |      22 |  2216320 |  1667322 |     4901    850 |        3 |      771
1086.30/1086.64	c 1086s |      22 |  2221388 |  1671422 |     4901    851 |        3 |      771
1088.30/1088.69	c 1088s |      22 |  2226153 |  1675522 |     4901    853 |        3 |      771
1090.40/1090.71	c 1090s |      22 |  2231321 |  1679522 |     4901    855 |        3 |      771
1092.40/1092.73	c 1092s |      22 |  2236576 |  1683622 |     4901    856 |        3 |      771
1094.40/1094.78	c 1094s |      22 |  2241572 |  1687722 |     4901    858 |        3 |      771
1096.40/1096.80	c 1096s |      22 |  2246169 |  1691622 |     4901    859 |        3 |      771
1098.50/1098.85	c 1098s |      22 |  2250884 |  1695622 |     4901    861 |        3 |      771
1100.50/1100.89	c 1100s |      22 |  2255360 |  1699522 |     4901    862 |        3 |      771
1102.60/1102.91	c 1102s |      22 |  2259998 |  1703422 |     4901    864 |        3 |      771
1104.60/1104.92	c 1104s |      22 |  2264615 |  1707222 |     4901    865 |        3 |      771
1106.59/1106.93	c 1106s |      22 |  2269385 |  1711022 |     4901    867 |        3 |      771
1108.60/1108.97	c 1108s |      22 |  2274752 |  1714922 |     4901    868 |        3 |      771
1110.59/1111.00	c 1110s |      22 |  2280126 |  1719222 |     4901    870 |        3 |      771
1112.69/1113.04	c 1112s |      22 |  2285370 |  1723122 |     4901    872 |        3 |      771
1114.70/1115.04	c 1114s |      22 |  2290618 |  1727122 |     4901    873 |        3 |      771
1116.79/1117.11	c 1117s |      22 |  2295736 |  1730622 |     4901    874 |        3 |      771
1118.79/1119.18	c 1119s |      22 |  2299413 |  1733522 |     4901    876 |        3 |      771
1120.89/1121.24	c 1121s |      22 |  2303177 |  1736122 |     4901    877 |        3 |      771
1122.90/1123.27	c 1123s |      22 |  2306974 |  1739422 |     4901    878 |        3 |      771
1124.89/1125.28	c 1125s |      22 |  2310310 |  1741822 |     4901    879 |        3 |      771
1126.89/1127.30	c 1127s |      22 |  2313867 |  1744322 |     4901    880 |        3 |      771
1128.99/1129.35	c 1129s |      22 |  2317280 |  1747022 |     4901    881 |        3 |      771
1130.99/1131.37	c 1131s |      22 |  2321462 |  1750422 |     4901    882 |        3 |      771
1132.99/1133.37	c 1133s |      22 |  2325875 |  1754222 |     4901    884 |        3 |      771
1135.09/1135.41	c 1135s |      22 |  2330598 |  1758022 |     4901    885 |        3 |      771
1137.09/1137.42	c 1137s |      22 |  2334785 |  1761522 |     4901    887 |        3 |      771
1139.08/1139.46	c 1139s |      22 |  2340167 |  1765822 |     4901    888 |        3 |      771
1141.08/1141.46	c 1141s |      22 |  2345335 |  1769922 |     4901    890 |        3 |      771
1143.18/1143.51	c 1143s |      22 |  2349876 |  1773722 |     4901    891 |        3 |      771
1145.18/1145.54	c 1145s |      22 |  2354754 |  1777922 |     4901    893 |        3 |      771
1147.18/1147.58	c 1147s |      22 |  2359915 |  1782122 |     4901    895 |        3 |      771
1149.18/1149.59	c 1149s |      22 |  2364624 |  1786022 |     4901    896 |        3 |      771
1151.28/1151.61	c 1151s |      22 |  2368812 |  1789722 |     4901    898 |        3 |      771
1153.28/1153.62	c 1153s |      22 |  2373456 |  1793622 |     4901    899 |        3 |      771
1155.28/1155.65	c 1155s |      22 |  2378673 |  1797422 |     4901    900 |        3 |      771
1157.37/1157.70	c 1157s |      22 |  2383769 |  1801422 |     4901    902 |        3 |      771
1159.37/1159.72	c 1159s |      22 |  2388633 |  1805022 |     4901    903 |        3 |      771
1161.38/1161.76	c 1161s |      22 |  2393803 |  1808722 |     4901    905 |        3 |      771
1163.37/1163.76	c 1163s |      22 |  2399062 |  1812522 |     4901    906 |        3 |      771
1165.47/1165.80	c 1165s |      22 |  2404019 |  1816422 |     4901    908 |        3 |      771
1167.47/1167.81	c 1167s |      22 |  2408408 |  1819822 |     4901    909 |        3 |      771
1169.47/1169.86	c 1169s |      22 |  2414036 |  1823722 |     4901    911 |        3 |      771
1171.46/1171.87	c 1171s |      22 |  2417997 |  1827122 |     4901    912 |        3 |      771
1173.47/1173.88	c 1173s |      22 |  2422264 |  1830622 |     4901    913 |        3 |      771
1175.46/1175.90	c 1175s |      22 |  2426760 |  1834122 |     4901    915 |        3 |      771
1177.56/1177.94	c 1177s |      22 |  2431126 |  1837622 |     4901    916 |        3 |      771
1179.56/1179.95	c 1179s |      22 |  2435141 |  1840922 |     4901    917 |        3 |      771
1181.56/1181.95	c 1181s |      22 |  2439231 |  1844222 |     4901    919 |        3 |      771
1183.66/1184.00	c 1183s |      22 |  2443219 |  1847722 |     4901    920 |        3 |      771
1185.66/1186.04	c 1185s |      22 |  2447271 |  1851122 |     4901    921 |        3 |      771
1187.66/1188.07	c 1188s |      22 |  2452007 |  1854822 |     4901    923 |        3 |      771
1189.75/1190.12	c 1190s |      22 |  2456525 |  1858422 |     4901    924 |        3 |      771
1191.75/1192.13	c 1192s |      22 |  2460667 |  1861622 |     4901    925 |        3 |      771
1193.75/1194.15	c 1194s |      22 |  2465198 |  1865022 |     4901    927 |        3 |      771
1195.75/1196.17	c 1196s |      22 |  2469776 |  1868522 |     4901    928 |        3 |      771
1197.85/1198.21	c 1198s |      22 |  2474102 |  1871722 |     4901    929 |        3 |      771
1199.85/1200.21	c 1200s |      22 |  2478993 |  1875222 |     4901    931 |        3 |      771
1201.85/1202.21	c 1202s |      22 |  2483284 |  1878722 |     4901    932 |        3 |      771
1203.85/1204.24	c 1204s |      22 |  2486955 |  1881922 |     4901    933 |        3 |      771
1205.95/1206.30	c 1206s |      22 |  2490646 |  1884822 |     4901    935 |        3 |      771
1207.95/1208.32	c 1208s |      22 |  2495902 |  1888722 |     4901    936 |        3 |      771
1209.95/1210.38	c 1210s |      22 |  2500406 |  1892322 |     4901    937 |        3 |      771
1212.05/1212.41	c 1212s |      22 |  2504749 |  1895722 |     4901    939 |        3 |      771
1214.06/1214.43	c 1214s |      22 |  2509346 |  1899422 |     4901    940 |        3 |      771
1216.05/1216.48	c 1216s |      22 |  2513195 |  1902722 |     4901    941 |        3 |      771
1218.15/1218.52	c 1218s |      22 |  2517262 |  1906022 |     4901    943 |        3 |      771
1220.15/1220.56	c 1220s |      22 |  2522107 |  1909822 |     4901    944 |        3 |      771
1222.25/1222.60	c 1222s |      22 |  2527435 |  1913822 |     4901    946 |        3 |      771
1224.24/1224.65	c 1224s |      22 |  2532544 |  1917622 |     4901    947 |        3 |      771
1226.25/1226.66	c 1226s |      22 |  2537230 |  1921522 |     4901    949 |        3 |      771
1228.24/1228.69	c 1228s |      22 |  2541994 |  1925522 |     4901    950 |        3 |      771
1230.34/1230.71	c 1230s |      22 |  2546045 |  1928822 |     4901    952 |        3 |      771
1232.34/1232.71	c 1232s |      22 |  2550584 |  1932222 |     4901    953 |        3 |      771
1234.34/1234.79	c 1234s |      22 |  2553588 |  1934522 |     4901    954 |        3 |      771
1236.34/1236.79	c 1236s |      22 |  2556724 |  1936922 |     4901    955 |        3 |      771
1238.54/1238.90	c 1238s |      22 |  2559801 |  1939022 |     4901    956 |        3 |      771
1240.54/1240.93	c 1240s |      22 |  2562656 |  1940622 |     4901    956 |        3 |      771
1242.54/1242.95	c 1242s |      22 |  2566505 |  1943922 |     4901    957 |        3 |      771
1244.63/1245.02	c 1244s |      22 |  2570374 |  1946422 |     4901    958 |        3 |      771
1246.63/1247.06	c 1246s |      22 |  2572710 |  1948322 |     4901    959 |        3 |      771
1248.73/1249.11	c 1249s |      22 |  2574698 |  1950122 |     4901    960 |        3 |      771
1250.73/1251.19	c 1251s |      22 |  2576763 |  1952022 |     4901    961 |        3 |      771
1252.83/1253.25	c 1253s |      22 |  2579310 |  1954022 |     4901    961 |        3 |      771
1254.84/1255.29	c 1255s |      22 |  2583729 |  1957222 |     4901    963 |        3 |      771
1256.93/1257.31	c 1257s |      22 |  2588091 |  1960322 |     4901    964 |        3 |      771
1258.92/1259.33	c 1259s |      22 |  2592265 |  1963622 |     4901    965 |        3 |      771
1261.02/1261.43	c 1261s |      22 |  2596162 |  1966122 |     4901    966 |        3 |      771
1263.02/1263.46	c 1263s |      22 |  2598352 |  1967522 |     4901    967 |        3 |      771
1265.02/1265.48	c 1265s |      22 |  2602177 |  1970322 |     4901    968 |        3 |      771
1267.02/1267.49	c 1267s |      22 |  2605201 |  1972322 |     4901    968 |        3 |      771
1269.13/1269.56	c 1269s |      22 |  2606961 |  1973622 |     4901    969 |        3 |      771
1271.12/1271.59	c 1271s |      22 |  2611034 |  1976922 |     4901    970 |        3 |      771
1273.22/1273.63	c 1273s |      22 |  2614946 |  1980322 |     4901    971 |        3 |      771
1275.22/1275.69	c 1275s |      22 |  2618350 |  1983022 |     4901    972 |        3 |      771
1277.32/1277.75	c 1277s |      22 |  2621288 |  1985622 |     4901    973 |        3 |      771
1279.32/1279.79	c 1279s |      22 |  2624411 |  1988222 |     4901    975 |        3 |      771
1281.32/1281.79	c 1281s |      22 |  2627519 |  1990722 |     4901    975 |        3 |      771
1283.42/1283.85	c 1283s |      22 |  2630635 |  1993422 |     4901    976 |        3 |      771
1285.41/1285.87	c 1285s |      22 |  2634620 |  1996522 |     4901    978 |        3 |      771
1287.41/1287.88	c 1287s |      22 |  2638362 |  1999722 |     4901    979 |        3 |      771
1289.51/1289.92	c 1289s |      22 |  2643025 |  2003422 |     4901    980 |        3 |      771
1291.51/1291.96	c 1291s |      22 |  2647208 |  2007022 |     4901    982 |        3 |      771
1293.51/1293.98	c 1293s |      22 |  2651862 |  2010722 |     4901    983 |        3 |      771
1295.61/1296.03	c 1295s |      22 |  2655473 |  2013622 |     4901    984 |        3 |      771
1297.61/1298.04	c 1297s |      22 |  2659688 |  2016822 |     4901    986 |        3 |      771
1299.60/1300.06	c 1299s |      22 |  2665231 |  2020422 |     4901    987 |        3 |      771
1301.70/1302.10	c 1302s |      22 |  2671019 |  2024622 |     4901    989 |        3 |      771
1303.70/1304.11	c 1304s |      22 |  2676308 |  2028622 |     4901    990 |        3 |      771
1305.70/1306.13	c 1306s |      22 |  2682075 |  2032822 |     4901    992 |        3 |      771
1307.70/1308.14	c 1308s |      22 |  2688351 |  2037122 |     4901    994 |        3 |      771
1309.70/1310.20	c 1310s |      22 |  2694109 |  2041122 |     4901    995 |        3 |      771
1311.80/1312.23	c 1312s |      22 |  2698755 |  2045022 |     4901    997 |        3 |      771
1313.80/1314.24	c 1314s |      22 |  2703794 |  2049022 |     4901    998 |        3 |      771
1315.80/1316.26	c 1316s |      22 |  2709646 |  2053222 |     4901   1000 |        3 |      771
1317.89/1318.32	c 1318s |      22 |  2715206 |  2057122 |     4901   1001 |        3 |      771
1319.89/1320.35	c 1320s |      22 |  2720363 |  2061122 |     4901   1003 |        3 |      771
1321.90/1322.36	c 1322s |      22 |  2724972 |  2064822 |     4901   1004 |        3 |      771
1323.89/1324.39	c 1324s |      22 |  2729973 |  2068822 |     4901   1006 |        3 |      771
1325.99/1326.45	c 1326s |      22 |  2735552 |  2072822 |     4901   1008 |        3 |      771
1328.09/1328.51	c 1328s |      22 |  2740558 |  2076722 |     4901   1009 |        3 |      771
1330.08/1330.59	c 1330s |      22 |  2744599 |  2080222 |     4901   1010 |        3 |      771
1332.18/1332.61	c 1332s |      22 |  2748861 |  2083722 |     4901   1012 |        3 |      771
1334.18/1334.63	c 1334s |      22 |  2755392 |  2088122 |     4901   1013 |        3 |      771
1336.19/1336.64	c 1336s |      22 |  2760373 |  2092022 |     4901   1015 |        3 |      771
1338.18/1338.65	c 1338s |      22 |  2765420 |  2095922 |     4901   1016 |        3 |      771
1340.18/1340.66	c 1340s |      22 |  2771179 |  2100322 |     4901   1018 |        3 |      771
1342.28/1342.70	c 1342s |      22 |  2777136 |  2104222 |     4901   1020 |        3 |      771
1344.28/1344.73	c 1344s |      22 |  2780192 |  2106422 |     4901   1021 |        3 |      771
1346.28/1346.74	c 1346s |      22 |  2782504 |  2108422 |     4901   1021 |        3 |      771
1348.37/1348.81	c 1348s |      22 |  2784677 |  2110222 |     4901   1022 |        3 |      771
1350.38/1350.83	c 1350s |      22 |  2786550 |  2111822 |     4901   1023 |        3 |      771
1352.47/1352.90	c 1352s |      22 |  2788278 |  2113422 |     4901   1023 |        3 |      771
1354.47/1354.93	c 1354s |      22 |  2789905 |  2114922 |     4901   1024 |        3 |      771
1356.47/1356.96	c 1356s |      22 |  2791400 |  2116322 |     4901   1024 |        3 |      771
1358.57/1359.01	c 1358s |      22 |  2793168 |  2117922 |     4901   1025 |        3 |      771
1360.57/1361.09	c 1361s |      22 |  2795283 |  2119822 |     4901   1026 |        3 |      771
1362.77/1363.23	c 1363s |      22 |  2797154 |  2121322 |     4901   1026 |        3 |      771
1364.87/1365.35	c 1365s |      22 |  2798708 |  2122622 |     4901   1027 |        3 |      771
1366.97/1367.44	c 1367s |      22 |  2799888 |  2123722 |     4901   1027 |        3 |      771
1369.07/1369.57	c 1369s |      22 |  2800978 |  2124722 |     4901   1027 |        3 |      771
1371.17/1371.62	c 1371s |      22 |  2804418 |  2127522 |     4901   1029 |        3 |      771
1373.17/1373.64	c 1373s |      22 |  2807865 |  2130522 |     4901   1030 |        3 |      771
1375.17/1375.66	c 1375s |      22 |  2810982 |  2133122 |     4901   1031 |        3 |      771
1377.26/1377.73	c 1377s |      22 |  2814585 |  2136122 |     4901   1032 |        3 |      771
1379.36/1379.85	c 1379s |      22 |  2816599 |  2137922 |     4901   1033 |        3 |      771
1381.46/1381.94	c 1381s |      22 |  2819279 |  2139822 |     4901   1033 |        3 |      771
1383.47/1383.99	c 1383s |      22 |  2821259 |  2141222 |     4901   1034 |        3 |      771
1385.57/1386.10	c 1386s |      22 |  2823116 |  2142822 |     4901   1034 |        3 |      771
1387.77/1388.22	c 1388s |      22 |  2825110 |  2144422 |     4901   1035 |        3 |      771
1389.76/1390.27	c 1390s |      22 |  2826882 |  2145922 |     4901   1036 |        3 |      771
1391.86/1392.38	c 1392s |      22 |  2828728 |  2147522 |     4901   1036 |        3 |      771
1393.96/1394.46	c 1394s |      22 |  2830251 |  2148922 |     4901   1037 |        3 |      771
1395.96/1396.47	c 1396s |      22 |  2832173 |  2150622 |     4901   1037 |        3 |      771
1398.06/1398.56	c 1398s |      22 |  2834002 |  2152122 |     4901   1038 |        3 |      771
1400.06/1400.57	c 1400s |      22 |  2835768 |  2153722 |     4901   1039 |        3 |      771
1402.17/1402.62	c 1402s |      22 |  2837880 |  2155622 |     4901   1039 |        3 |      771
1404.27/1404.73	c 1404s |      22 |  2839838 |  2157322 |     4901   1040 |        3 |      771
1406.26/1406.74	c 1406s |      22 |  2841893 |  2159222 |     4901   1041 |        3 |      771
1408.36/1408.81	c 1408s |      22 |  2843689 |  2160822 |     4901   1041 |        3 |      771
1410.56/1411.02	c 1410s |      22 |  2845246 |  2162322 |     4901   1042 |        3 |      771
1412.56/1413.02	c 1412s |      22 |  2846695 |  2163422 |     4901   1042 |        3 |      771
1414.56/1415.04	c 1414s |      22 |  2848977 |  2165422 |     4901   1043 |        3 |      771
1416.66/1417.11	c 1417s |      22 |  2851094 |  2167322 |     4901   1044 |        3 |      771
1418.66/1419.15	c 1419s |      22 |  2853060 |  2168922 |     4901   1044 |        3 |      771
1420.76/1421.29	c 1421s |      22 |  2854936 |  2170522 |     4901   1045 |        3 |      771
1422.86/1423.38	c 1423s |      22 |  2857116 |  2172222 |     4901   1046 |        3 |      771
1424.96/1425.42	c 1425s |      22 |  2859272 |  2174022 |     4901   1046 |        3 |      771
1426.96/1427.46	c 1427s |      22 |  2861663 |  2176022 |     4901   1047 |        3 |      771
1429.05/1429.55	c 1429s |      22 |  2863136 |  2177422 |     4901   1048 |        3 |      771
1431.15/1431.64	c 1431s |      22 |  2865692 |  2179322 |     4901   1048 |        3 |      771
1433.25/1433.77	c 1433s |      22 |  2867480 |  2181022 |     4901   1049 |        3 |      771
1435.35/1435.90	c 1435s |      22 |  2870435 |  2183422 |     4901   1050 |        3 |      771
1437.45/1437.95	c 1437s |      22 |  2872616 |  2185222 |     4901   1051 |        3 |      771
1439.65/1440.11	c 1440s |      22 |  2874451 |  2186722 |     4901   1051 |        3 |      771
1441.76/1442.23	c 1442s |      22 |  2876406 |  2188522 |     4901   1052 |        3 |      771
1443.86/1444.34	c 1444s |      22 |  2878122 |  2190122 |     4901   1053 |        3 |      771
1445.95/1446.45	c 1446s |      22 |  2879928 |  2191522 |     4901   1053 |        3 |      771
1448.05/1448.53	c 1448s |      22 |  2882019 |  2193222 |     4901   1054 |        3 |      771
1450.05/1450.58	c 1450s |      22 |  2883808 |  2194822 |     4901   1054 |        3 |      771
1452.15/1452.68	c 1452s |      22 |  2885459 |  2196222 |     4901   1055 |        3 |      771
1454.35/1454.86	c 1454s |      22 |  2886982 |  2197522 |     4901   1055 |        3 |      771
1456.45/1456.95	c 1456s |      22 |  2888661 |  2198922 |     4901   1056 |        3 |      771
1458.55/1459.03	c 1458s |      22 |  2890445 |  2200522 |     4901   1057 |        3 |      771
1460.65/1461.11	c 1461s |      22 |  2892200 |  2202122 |     4901   1057 |        3 |      771
1462.66/1463.19	c 1463s |      22 |  2893640 |  2203422 |     4901   1058 |        3 |      771
1464.86/1465.32	c 1465s |      22 |  2895461 |  2205022 |     4901   1058 |        3 |      771
1466.85/1467.36	c 1467s |      22 |  2897434 |  2206722 |     4901   1059 |        3 |      771
1468.85/1469.37	c 1469s |      22 |  2899143 |  2208222 |     4901   1059 |        3 |      771
1470.95/1471.44	c 1471s |      22 |  2900897 |  2209722 |     4901   1060 |        3 |      771
1472.95/1473.46	c 1473s |      22 |  2904819 |  2212522 |     4901   1061 |        3 |      771
1474.95/1475.48	c 1475s |      22 |  2907526 |  2214522 |     4901   1062 |        3 |      771
1477.05/1477.55	c 1477s |      22 |  2909577 |  2216122 |     4901   1063 |        3 |      771
1479.15/1479.63	c 1479s |      22 |  2911940 |  2218022 |     4901   1063 |        3 |      771
1481.15/1481.70	c 1481s |      22 |  2913682 |  2219522 |     4901   1064 |        3 |      771
1483.25/1483.74	c 1483s |      22 |  2916396 |  2221722 |     4901   1065 |        3 |      771
1485.25/1485.75	c 1485s |      22 |  2920123 |  2224822 |     4901   1066 |        3 |      771
1487.25/1487.78	c 1487s |      22 |  2923754 |  2227922 |     4901   1067 |        3 |      771
1489.35/1489.81	c 1489s |      22 |  2927346 |  2230822 |     4901   1068 |        3 |      771
1491.35/1491.87	c 1491s |      22 |  2931227 |  2233922 |     4901   1069 |        3 |      771
1493.35/1493.87	c 1493s |      22 |  2935278 |  2236922 |     5392   1070 |        3 |      771
1495.44/1495.91	c 1495s |      22 |  2939088 |  2239822 |     5392   1071 |        3 |      771
1497.44/1497.91	c 1497s |      22 |  2942552 |  2242722 |     5392   1072 |        3 |      771
1499.44/1499.95	c 1499s |      22 |  2946678 |  2245822 |     5392   1074 |        3 |      771
1501.44/1501.99	c 1501s |      22 |  2950169 |  2248522 |     5392   1074 |        3 |      771
1502.94/1503.48	c 1503s |      23 |  2953676 |  2251038 |     5392   1075 |        3 |      771
1505.04/1505.57	c 1505s |      23 |  2957008 |  2253338 |     5392   1076 |        3 |      771
1507.04/1507.58	c 1507s |      23 |  2961382 |  2256238 |     5392   1077 |        3 |      771
1509.14/1509.62	c 1509s |      23 |  2966661 |  2260038 |     5392   1079 |        3 |      771
1511.15/1511.66	c 1511s |      23 |  2971323 |  2263938 |     5392   1080 |        3 |      771
1513.16/1513.69	c 1513s |      23 |  2976388 |  2267638 |     5392   1081 |        3 |      771
1515.25/1515.71	c 1515s |      23 |  2981094 |  2271238 |     5392   1083 |        3 |      771
1517.25/1517.73	c 1517s |      23 |  2986372 |  2275138 |     5392   1084 |        3 |      771
1519.25/1519.78	c 1519s |      23 |  2991643 |  2279038 |     5392   1085 |        3 |      771
1521.35/1521.82	c 1521s |      23 |  2997008 |  2282838 |     5392   1087 |        3 |      771
1523.35/1523.82	c 1523s |      23 |  3001762 |  2286238 |     5392   1088 |        3 |      771
1525.36/1525.82	c 1525s |      23 |  3006694 |  2289838 |     5392   1089 |        3 |      771
1527.35/1527.86	c 1527s |      23 |  3011487 |  2293538 |     5392   1091 |        3 |      771
1529.45/1529.90	c 1529s |      23 |  3016706 |  2297338 |     5392   1092 |        3 |      771
1531.45/1531.95	c 1531s |      23 |  3021911 |  2301038 |     5392   1093 |        3 |      771
1533.55/1534.00	c 1533s |      23 |  3026645 |  2304838 |     5392   1094 |        3 |      771
1535.55/1536.07	c 1536s |      23 |  3030313 |  2307938 |     5392   1096 |        3 |      771
1537.55/1538.08	c 1538s |      23 |  3034064 |  2311038 |     5392   1097 |        3 |      771
1539.55/1540.09	c 1540s |      23 |  3038975 |  2314638 |     5392   1098 |        3 |      771
1541.64/1542.13	c 1542s |      23 |  3043793 |  2318538 |     5392   1099 |        3 |      771
1543.64/1544.14	c 1544s |      23 |  3048073 |  2321938 |     5392   1101 |        3 |      771
1545.64/1546.15	c 1546s |      23 |  3053265 |  2326038 |     5392   1102 |        3 |      771
1547.74/1548.22	c 1548s |      23 |  3058392 |  2329738 |     5392   1103 |        3 |      771
1549.74/1550.25	c 1550s |      23 |  3063727 |  2333738 |     5392   1105 |        3 |      771
1551.84/1552.33	c 1552s |      23 |  3068570 |  2336838 |     5392   1106 |        3 |      771
1553.85/1554.37	c 1554s |      23 |  3072592 |  2340038 |     5392   1107 |        3 |      771
1555.94/1556.45	c 1556s |      23 |  3076366 |  2343238 |     5392   1108 |        3 |      771
1557.94/1558.45	c 1558s |      23 |  3079772 |  2345738 |     5392   1109 |        3 |      771
1559.94/1560.46	c 1560s |      23 |  3083435 |  2348738 |     5392   1110 |        3 |      771
1562.04/1562.54	c 1562s |      23 |  3086345 |  2351038 |     5392   1111 |        3 |      771
1564.14/1564.67	c 1564s |      23 |  3088727 |  2352838 |     5392   1111 |        3 |      771
1566.24/1566.77	c 1566s |      23 |  3091764 |  2355038 |     5392   1112 |        3 |      771
1568.34/1568.82	c 1568s |      23 |  3094633 |  2357138 |     5392   1113 |        3 |      771
1570.35/1570.89	c 1570s |      23 |  3097253 |  2359438 |     5392   1114 |        3 |      771
1572.44/1572.97	c 1572s |      23 |  3100155 |  2361838 |     5392   1115 |        3 |      771
1574.54/1575.02	c 1574s |      23 |  3103399 |  2364438 |     5392   1115 |        3 |      771
1576.54/1577.02	c 1576s |      23 |  3106449 |  2367038 |     5392   1116 |        3 |      771
1578.54/1579.06	c 1578s |      23 |  3109819 |  2369938 |     5392   1117 |        3 |      771
1580.54/1581.09	c 1581s |      23 |  3113035 |  2372738 |     5392   1118 |        3 |      771
1582.64/1583.13	c 1583s |      23 |  3116307 |  2375338 |     5392   1119 |        3 |      771
1584.65/1585.18	c 1585s |      23 |  3118497 |  2377138 |     5392   1120 |        3 |      771
1586.74/1587.23	c 1587s |      23 |  3120770 |  2378938 |     5392   1120 |        3 |      771
1588.74/1589.26	c 1589s |      23 |  3123143 |  2380938 |     5392   1121 |        3 |      771
1590.74/1591.29	c 1591s |      23 |  3126664 |  2383938 |     5392   1122 |        3 |      771
1592.84/1593.30	c 1593s |      23 |  3130173 |  2386338 |     5392   1123 |        3 |      771
1594.84/1595.39	c 1595s |      23 |  3132564 |  2388338 |     5392   1124 |        3 |      771
1596.94/1597.41	c 1597s |      23 |  3136040 |  2391338 |     5392   1125 |        3 |      771
1598.94/1599.44	c 1599s |      23 |  3139219 |  2394238 |     5392   1126 |        3 |      771
1600.94/1601.45	c 1601s |      23 |  3142384 |  2397138 |     5392   1127 |        3 |      771
1602.94/1603.45	c 1603s |      23 |  3145660 |  2399538 |     5392   1128 |        3 |      771
1605.04/1605.50	c 1605s |      23 |  3148869 |  2401938 |     5392   1129 |        3 |      771
1607.03/1607.54	c 1607s |      23 |  3151897 |  2404138 |     5392   1129 |        3 |      771
1609.03/1609.55	c 1609s |      23 |  3156601 |  2407938 |     5392   1131 |        3 |      771
1611.04/1611.58	c 1611s |      23 |  3159150 |  2409838 |     5392   1131 |        3 |      771
1613.13/1613.67	c 1613s |      23 |  3161376 |  2411638 |     5392   1132 |        3 |      771
1615.23/1615.77	c 1615s |      23 |  3163112 |  2413238 |     5392   1133 |        3 |      771
1617.33/1617.86	c 1617s |      23 |  3165860 |  2415338 |     5392   1133 |        3 |      771
1619.33/1619.86	c 1619s |      23 |  3167721 |  2417038 |     5392   1134 |        3 |      771
1621.43/1621.94	c 1621s |      23 |  3170039 |  2419038 |     5392   1135 |        3 |      771
1623.43/1623.98	c 1623s |      23 |  3172346 |  2420938 |     5392   1135 |        3 |      771
1625.53/1626.03	c 1625s |      23 |  3174860 |  2423038 |     5392   1136 |        3 |      771
1627.54/1628.05	c 1627s |      23 |  3176894 |  2424838 |     5392   1137 |        3 |      771
1629.53/1630.09	c 1630s |      23 |  3178845 |  2426538 |     5392   1137 |        3 |      771
1631.73/1632.20	c 1632s |      23 |  3181337 |  2428738 |     5392   1138 |        3 |      771
1633.83/1634.32	c 1634s |      23 |  3183174 |  2430338 |     5392   1139 |        3 |      771
1635.83/1636.36	c 1636s |      23 |  3186108 |  2432238 |     5392   1139 |        3 |      771
1637.93/1638.45	c 1638s |      23 |  3188093 |  2433738 |     5392   1140 |        3 |      771
1639.93/1640.45	c 1640s |      23 |  3189705 |  2435038 |     5392   1140 |        3 |      771
1642.03/1642.53	c 1642s |      23 |  3191282 |  2436438 |     5392   1141 |        3 |      771
1644.14/1644.65	c 1644s |      23 |  3193182 |  2438138 |     5392   1141 |        3 |      771
1646.13/1646.68	c 1646s |      23 |  3196370 |  2440838 |     5392   1142 |        3 |      771
1648.23/1648.73	c 1648s |      23 |  3199554 |  2443638 |     5392   1143 |        3 |      771
1650.23/1650.74	c 1650s |      23 |  3203625 |  2446638 |     5392   1144 |        3 |      771
1652.33/1652.82	c 1652s |      23 |  3209135 |  2450038 |     5392   1146 |        3 |      771
1654.33/1654.84	c 1654s |      23 |  3213763 |  2453638 |     5392   1147 |        3 |      771
1656.33/1656.86	c 1656s |      23 |  3217822 |  2456338 |     5392   1148 |        3 |      771
1658.33/1658.89	c 1658s |      23 |  3221035 |  2458838 |     5392   1149 |        3 |      771
1660.53/1661.03	c 1660s |      23 |  3224274 |  2461038 |     5392   1149 |        3 |      771
1662.63/1663.16	c 1663s |      23 |  3227172 |  2463038 |     5392   1150 |        3 |      771
1664.63/1665.17	c 1665s |      23 |  3229779 |  2465038 |     5392   1151 |        3 |      771
1666.72/1667.22	c 1667s |      23 |  3231606 |  2466738 |     5392   1151 |        3 |      771
1668.72/1669.29	c 1669s |      23 |  3233783 |  2468438 |     5392   1152 |        3 |      771
1670.92/1671.42	c 1671s |      23 |  3235071 |  2469638 |     5392   1152 |        3 |      771
1672.92/1673.45	c 1673s |      23 |  3237485 |  2471638 |     5392   1153 |        3 |      771
1675.02/1675.59	c 1675s |      23 |  3239758 |  2473538 |     5392   1154 |        3 |      771
1677.22/1677.71	c 1677s |      23 |  3241195 |  2474738 |     5392   1154 |        3 |      771
1679.23/1679.80	c 1679s |      23 |  3243054 |  2476338 |     5392   1155 |        3 |      771
1681.32/1681.81	c 1681s |      23 |  3244575 |  2477738 |     5392   1155 |        3 |      771
1683.42/1683.95	c 1683s |      23 |  3246151 |  2479038 |     5392   1156 |        3 |      771
1685.42/1685.99	c 1685s |      23 |  3247562 |  2480238 |     5392   1156 |        3 |      771
1687.52/1688.09	c 1688s |      23 |  3248500 |  2481138 |     5392   1156 |        3 |      771
1689.72/1690.22	c 1690s |      23 |  3250450 |  2482538 |     5392   1157 |        3 |      771
1691.72/1692.28	c 1692s |      23 |  3253505 |  2485138 |     5392   1158 |        3 |      771
1693.82/1694.32	c 1694s |      23 |  3256551 |  2487638 |     5392   1159 |        3 |      771
1695.83/1696.33	c 1696s |      23 |  3259461 |  2490038 |     5392   1159 |        3 |      771
1697.93/1698.41	c 1698s |      23 |  3262703 |  2492838 |     5392   1160 |        3 |      771
1699.92/1700.44	c 1700s |      23 |  3265451 |  2495238 |     5392   1161 |        3 |      771
1701.92/1702.44	c 1702s |      23 |  3267830 |  2497238 |     5392   1162 |        3 |      771
1704.02/1704.52	c 1704s |      23 |  3270142 |  2498938 |     5392   1163 |        3 |      771
1706.02/1706.55	c 1706s |      23 |  3272779 |  2501238 |     5392   1163 |        3 |      771
1708.12/1708.62	c 1708s |      23 |  3276290 |  2504138 |     5392   1164 |        3 |      771
1710.13/1710.65	c 1710s |      23 |  3280591 |  2507138 |     5392   1165 |        3 |      771
1712.12/1712.68	c 1712s |      23 |  3285586 |  2510738 |     5392   1167 |        3 |      771
1714.12/1714.68	c 1714s |      23 |  3290645 |  2514338 |     5392   1168 |        3 |      771
1716.22/1716.71	c 1716s |      23 |  3295245 |  2518138 |     5392   1169 |        3 |      771
1718.22/1718.75	c 1718s |      23 |  3300099 |  2521738 |     5392   1171 |        3 |      771
1720.22/1720.79	c 1720s |      23 |  3304593 |  2525238 |     5392   1172 |        3 |      771
1722.32/1722.81	c 1722s |      23 |  3308699 |  2528538 |     5392   1173 |        3 |      771
1724.32/1724.86	c 1724s |      23 |  3312058 |  2531538 |     5392   1174 |        3 |      771
1726.41/1726.92	c 1726s |      23 |  3314542 |  2533638 |     5392   1175 |        3 |      771
1728.41/1728.96	c 1728s |      23 |  3316835 |  2535538 |     5392   1176 |        3 |      771
1730.51/1731.00	c 1730s |      23 |  3319231 |  2537338 |     5392   1176 |        3 |      771
1732.51/1733.09	c 1733s |      23 |  3321876 |  2539538 |     5392   1177 |        3 |      771
1734.61/1735.14	c 1735s |      23 |  3324221 |  2541438 |     5392   1178 |        3 |      771
1736.61/1737.18	c 1737s |      23 |  3327446 |  2544238 |     5392   1179 |        3 |      771
1738.72/1739.24	c 1739s |      23 |  3329538 |  2546138 |     5392   1179 |        3 |      771
1740.71/1741.29	c 1741s |      23 |  3331241 |  2547738 |     5392   1180 |        3 |      771
1742.81/1743.35	c 1743s |      23 |  3332895 |  2549238 |     5392   1180 |        3 |      771
1744.91/1745.42	c 1745s |      23 |  3336772 |  2552238 |     5392   1181 |        3 |      771
1746.91/1747.48	c 1747s |      23 |  3340431 |  2555138 |     5392   1182 |        3 |      771
1749.01/1749.50	c 1749s |      23 |  3342564 |  2557038 |     5392   1183 |        3 |      771
1751.01/1751.57	c 1751s |      23 |  3344890 |  2559138 |     5392   1184 |        3 |      771
1753.11/1753.67	c 1753s |      23 |  3346875 |  2560838 |     5392   1184 |        3 |      771
1755.22/1755.75	c 1755s |      23 |  3349165 |  2562738 |     5392   1185 |        3 |      771
1757.21/1757.75	c 1757s |      23 |  3352536 |  2565538 |     5392   1186 |        3 |      771
1759.31/1759.81	c 1759s |      23 |  3359367 |  2568938 |     5392   1187 |        3 |      771
1761.31/1761.85	c 1761s |      23 |  3362254 |  2571038 |     5392   1188 |        3 |      771
1763.31/1763.87	c 1763s |      23 |  3364037 |  2572638 |     5392   1189 |        3 |      771
1765.31/1765.88	c 1765s |      23 |  3366008 |  2574438 |     5392   1189 |        3 |      771
1767.41/1767.90	c 1767s |      23 |  3367784 |  2576038 |     5392   1190 |        3 |      771
1769.41/1769.94	c 1769s |      23 |  3373227 |  2580038 |     5392   1191 |        3 |      771
1771.41/1771.98	c 1771s |      23 |  3378627 |  2584138 |     5392   1193 |        3 |      771
1773.51/1774.02	c 1773s |      23 |  3384078 |  2588038 |     5392   1194 |        3 |      771
1775.50/1776.06	c 1776s |      23 |  3389473 |  2591938 |     5392   1195 |        3 |      771
1777.50/1778.09	c 1778s |      23 |  3395377 |  2595738 |     5392   1197 |        3 |      771
1779.60/1780.10	c 1780s |      23 |  3400697 |  2599438 |     5392   1198 |        3 |      771
1781.61/1782.14	c 1782s |      23 |  3406005 |  2603238 |     5392   1200 |        3 |      771
1783.60/1784.18	c 1784s |      23 |  3410224 |  2606638 |     5392   1201 |        3 |      771
1785.60/1786.18	c 1786s |      23 |  3414179 |  2609038 |     5392   1201 |        3 |      771
1787.70/1788.24	c 1788s |      23 |  3417140 |  2611238 |     5392   1202 |        3 |      771
1789.70/1790.26	c 1790s |      23 |  3421001 |  2614438 |     5392   1203 |        3 |      771
1791.70/1792.29	c 1792s |      23 |  3424612 |  2617038 |     5392   1204 |        3 |      771
1793.80/1794.30	c 1794s |      23 |  3428399 |  2619938 |     5392   1205 |        3 |      771
1795.70/1796.30	c 1796s |      23 |  3432411 |  2623138 |     5392   1206 |        3 |      771
1797.80/1798.32	c 1798s |      23 |  3438543 |  2627238 |     5392   1208 |        3 |      771
1799.81/1800.38	c 1800s |      23 |  3444055 |  2631238 |     5392   1209 |        3 |      771

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4079884-1465266197/watcher-4079884-1465266197 -o /tmp/evaluation-result-4079884-1465266197/solver-4079884-1465266197 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079884-1465266197.opb 

pid=8185
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 8188
/proc/meminfo: memFree=29381364/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 2625 0 0 0 0 0 0 0 20 0 4 0 108552846 721874944 2986 33554432000 4194304 16246674 140736812048896 140736812048320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 177007 2998 441 2943 0 173901 0
[pid=8188/tid=8189] ppid=8185 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 740749312 3058 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 744943616 3074 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552846 749137920 3091 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 8188
/proc/meminfo: memFree=29381364/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 23093 0 0 0 6 3 0 0 20 0 4 0 108552846 1247350784 23441 33554432000 4194304 16246674 140736812048896 140736812048320 5600539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 304529 23441 761 2943 0 301423 0
[pid=8188/tid=8189] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 23443 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 23444 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 23446 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200494 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 8188
/proc/meminfo: memFree=29381364/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 36965 0 0 0 14 5 0 0 20 0 4 0 108552846 1247350784 37313 33554432000 4194304 16246674 140736812048896 140736812048320 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 304529 37319 761 2943 0 301423 0
[pid=8188/tid=8189] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 37321 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 37324 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 37324 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300466 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 8188
/proc/meminfo: memFree=29381364/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 49440 0 0 0 23 6 0 0 20 0 4 0 108552846 1247350784 49788 33554432000 4194304 16246674 140736812048896 140736812030784 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 304529 49792 761 2943 0 301423 0
[pid=8188/tid=8189] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 49799 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 49803 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 49808 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700379 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 8188
/proc/meminfo: memFree=29381364/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 104555 0 0 0 56 13 0 0 20 0 4 0 108552846 1247350784 104904 33554432000 4194304 16246674 140736812048896 140736812030784 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 304529 104911 761 2943 0 301423 0
[pid=8188/tid=8189] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 104912 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 104915 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 104917 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 8192
/proc/meminfo: memFree=28725648/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 216175 0 0 0 121 28 0 0 20 0 4 0 108552846 1247350784 216523 33554432000 4194304 16246674 140736812048896 140736812030784 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 304529 216532 761 2943 0 301423 0
[pid=8188/tid=8189] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 216540 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 216548 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108552846 1247350784 216555 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10035 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 8192
/proc/meminfo: memFree=28395568/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1302084 CPUtime=3.08 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 266460 0 0 0 273 35 0 0 20 0 4 0 108552846 1333334016 266785 33554432000 4194304 16246674 140736812048896 140736812030784 6837186 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 325521 266785 832 2943 0 322415 0
[pid=8188/tid=8189] ppid=8185 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1333334016 266785 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1333334016 266785 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1333334016 266785 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1302084

[startup+6.30035 s]
/proc/loadavg: 2.28 2.22 2.19 4/183 8192
/proc/meminfo: memFree=28310268/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 267623 0 0 0 593 36 0 0 20 0 4 0 108552846 1337528320 267948 33554432000 4194304 16246674 140736812048896 140736812030784 5827728 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 326545 267948 832 2943 0 323439 0
[pid=8188/tid=8189] ppid=8185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1337528320 267948 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1337528320 267948 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1337528320 267948 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.26 2.22 2.19 3/183 8192
/proc/meminfo: memFree=28309408/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 267778 0 0 0 1233 36 0 0 20 0 4 0 108552846 1338576896 268103 33554432000 4194304 16246674 140736812048896 140736812030784 5659572 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 326801 268103 832 2943 0 323695 0
[pid=8188/tid=8189] ppid=8185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1338576896 268103 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1338576896 268103 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1338576896 268103 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 8192
/proc/meminfo: memFree=28308640/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 268137 0 0 0 2513 36 0 0 20 0 4 0 108552846 1339625472 268462 33554432000 4194304 16246674 140736812048896 140736812030784 12474600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 327057 268462 834 2943 0 323951 0
[pid=8188/tid=8189] ppid=8185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1339625472 268462 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1339625472 268462 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1339625472 268462 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.21 2.21 2.18 4/183 8192
/proc/meminfo: memFree=28307480/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 268393 0 0 0 5072 36 0 0 20 0 4 0 108552846 1340674048 268718 33554432000 4194304 16246674 140736812048896 140736812030784 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 327313 268718 834 2943 0 324207 0
[pid=8188/tid=8189] ppid=8185 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1340674048 268718 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1340674048 268718 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1340674048 268718 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 8193
/proc/meminfo: memFree=28302740/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 269673 0 0 0 10191 37 0 0 20 0 4 0 108552846 1345916928 269998 33554432000 4194304 16246674 140736812048896 140736812030784 5823508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 328593 269998 834 2943 0 325487 0
[pid=8188/tid=8189] ppid=8185 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1345916928 269998 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1345916928 269998 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1345916928 269998 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.06 2.12 2.15 3/183 8225
/proc/meminfo: memFree=28254912/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1361.87 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 136143 44 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.12 2.13 2.15 3/183 8226
/proc/meminfo: memFree=28196472/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1421.86 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 142142 44 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.17 2.13 2.15 3/183 8227
/proc/meminfo: memFree=28122064/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1481.85 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 148141 44 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 12875016 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1322564

[startup+1542.31 s]
/proc/loadavg: 2.14 2.12 2.14 3/183 8229
/proc/meminfo: memFree=28122160/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1541.85 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 154140 45 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 5523315 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.23 2.14 2.15 3/183 8230
/proc/meminfo: memFree=28121892/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1601.84 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 160139 45 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 12483326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.19 2.15 2.15 3/184 8234
/proc/meminfo: memFree=28072472/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1661.83 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 166138 45 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 5600492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.24 2.16 2.15 3/183 8235
/proc/meminfo: memFree=28062524/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1721.82 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 172137 45 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.20 2.16 2.15 4/183 8285
/proc/meminfo: memFree=29132224/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1781.8 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 178135 45 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 13006805 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.22 2.16 2.15 3/182 8285
/proc/meminfo: memFree=28975920/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1800.01 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 179955 46 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 5823534 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1322564

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8188 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.22 2.16 2.15 3/182 8285
/proc/meminfo: memFree=28975920/32872528 swapFree=16252/1391864
[pid=8188] ppid=8185 vsize=1322564 CPUtime=1800.01 cores=0,2,4,6
/proc/8188/stat : 8188 (toysat) R 8185 8188 5783 0 -1 4202496 272158 0 0 0 179955 46 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 140736812030784 5823534 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8188/statm: 330641 272304 836 2943 0 327535 0
[pid=8188/tid=8189] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8189/stat : 8189 (toysat) S 8185 8188 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734295751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8188/tid=8190] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8190/stat : 8190 (toysat) S 8185 8188 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734210817264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8188/tid=8191] ppid=8185 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/8188/task/8191/stat : 8191 (toysat) S 8185 8188 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108552846 1354305536 272304 33554432000 4194304 16246674 140736812048896 139734200343728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1322564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.56
CPU system time (s): 0.45993
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.45993
maximum resident set size= 1089216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272158
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= 449
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65129 second user time and 6.84996 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 04:23:17
IDJOB=4079884
IDBENCH=71846
IDSOLVER=2542
FILE ID=node119/4079884-1465266197
RUNJOBID= node119-1465252213-5799
PBS_JOBID= 19843259
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079884-1465266197/watcher-4079884-1465266197 -o /tmp/evaluation-result-4079884-1465266197/solver-4079884-1465266197 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079884-1465266197.opb

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

MD5SUM BENCH= a013c9210a7cfe037db9246041ce6240
RANDOM SEED=2086647945

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.410
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.410
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.410
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.410
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29382000 kB
Buffers:          117328 kB
Cached:           162088 kB
SwapCached:          888 kB
Active:          1210384 kB
Inactive:         154244 kB
Active(anon):    1085620 kB
Inactive(anon):     1712 kB
Active(file):     124764 kB
Inactive(file):   152532 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100176 kB
Dirty:             33468 kB
Writeback:             0 kB
AnonPages:       2480188 kB
Mapped:            10824 kB
Shmem:                 0 kB
Slab:             599752 kB
SReclaimable:      43340 kB
SUnreclaim:       556412 kB
KernelStack:        1520 kB
PageTables:         8884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2617296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1386496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node119 at 2016-06-07 04:53:18